user=odicin [2012-05-17 00:10:49] 80261379225*2^1000000-1 is not prime. Res64: A955BC532B976105 Time : 0.0 sec. user=odicin [2012-05-17 00:20:43] 80263437855*2^1000000-1 is not prime. Res64: DC7E0EA865D5FCE1 Time : 0.0 sec. user=odicin [2012-05-17 00:30:36] 80268238875*2^1000000-1 is not prime. Res64: B83B7A8E969FF770 Time : 0.0 sec. user=odicin [2012-05-17 00:40:32] 80269624545*2^1000000-1 is not prime. Res64: D136A29883B0FEF6 Time : 0.0 sec. user=odicin [2012-05-17 00:50:29] 80274076755*2^1000000-1 is not prime. Res64: 318A98F48F012E38 Time : 0.0 sec. user=odicin [2012-05-17 01:00:28] 80277787155*2^1000000-1 is not prime. Res64: 56E3F76826A49269 Time : 0.0 sec. user=odicin [2012-05-17 01:10:25] 80281136955*2^1000000-1 is not prime. Res64: 1D38ECB7DF210B65 Time : 0.0 sec. user=odicin [2012-05-17 01:20:24] 80289618645*2^1000000-1 is not prime. Res64: 8B7381FE26C5A572 Time : 0.0 sec. user=odicin [2012-05-17 01:30:25] 80291545425*2^1000000-1 is not prime. Res64: 07812DF2679A064B Time : 0.0 sec. user=odicin [2012-05-17 01:40:14] 80292947685*2^1000000-1 is not prime. Res64: 372B934CB557E969 Time : 0.0 sec. user=odicin [2012-05-17 01:49:55] 80293531905*2^1000000-1 is not prime. Res64: D903430264380922 Time : 0.0 sec. user=odicin [2012-05-17 01:59:35] 80293858125*2^1000000-1 is not prime. Res64: AAF7261CC6C3C1E5 Time : 0.0 sec. user=odicin [2012-05-17 02:09:13] 80297033655*2^1000000-1 is not prime. Res64: 9CE0004248338F68 Time : 0.0 sec. user=odicin [2012-05-17 02:18:59] 80297195895*2^1000000-1 is not prime. Res64: E76B5493A44E3982 Time : 0.0 sec. user=odicin [2012-05-17 02:28:41] 80297755545*2^1000000-1 is not prime. Res64: C86AB6C7D4CBCD44 Time : 0.0 sec. user=odicin [2012-05-17 02:38:29] 80299880745*2^1000000-1 is not prime. Res64: 6EA594B7AA5DAA80 Time : 0.0 sec. user=odicin [2012-05-17 02:48:14] 80300095785*2^1000000-1 is not prime. Res64: DF6942ED5CCF40BC Time : 0.0 sec. user=odicin [2012-05-17 02:57:59] 80300393745*2^1000000-1 is not prime. Res64: 35EAA8FA3F3D08E8 Time : 0.0 sec. user=odicin [2012-05-17 03:07:46] 80300801355*2^1000000-1 is not prime. Res64: 3BB550B1F159760A Time : 0.0 sec. user=odicin [2012-05-17 03:17:42] 80304436875*2^1000000-1 is not prime. Res64: 4D4702FE2329B78A Time : 0.0 sec. user=odicin [2012-05-17 03:27:29] 80305801155*2^1000000-1 is not prime. Res64: 0DCEFA2B561CB42D Time : 0.0 sec. user=odicin [2012-05-17 03:37:13] 80306521245*2^1000000-1 is not prime. Res64: 1CD64255DD8093EC Time : 0.0 sec. user=odicin [2012-05-17 03:46:59] 80309255535*2^1000000-1 is not prime. Res64: AC847165F8D167E7 Time : 0.0 sec. user=odicin [2012-05-17 03:56:44] 80310091785*2^1000000-1 is not prime. Res64: A2C256B463E4FB9D Time : 0.0 sec. user=odicin [2012-05-17 04:06:25] 80313722145*2^1000000-1 is not prime. Res64: 22CF09EF652491D3 Time : 0.0 sec. user=odicin [2012-05-17 04:16:12] 80314174695*2^1000000-1 is not prime. Res64: 14EB379770273D7D Time : 0.0 sec. user=odicin [2012-05-17 04:25:53] 80314912125*2^1000000-1 is not prime. Res64: 1D21B768DF989E60 Time : 0.0 sec. user=odicin [2012-05-17 04:35:36] 80316405735*2^1000000-1 is not prime. Res64: 7DB6CB3C0DA882F4 Time : 0.0 sec. user=odicin [2012-05-17 04:45:18] 80317017885*2^1000000-1 is not prime. Res64: B478FD498EED8466 Time : 0.0 sec. user=odicin [2012-05-17 04:55:05] 80320708545*2^1000000-1 is not prime. Res64: DAEA51908ABB1C91 Time : 0.0 sec. user=odicin [2012-05-17 05:04:51] 80321590305*2^1000000-1 is not prime. Res64: 9AB3C3D4BE241282 Time : 0.0 sec. user=odicin [2012-05-17 05:14:42] 80323541415*2^1000000-1 is not prime. Res64: 96D7750D05397773 Time : 0.0 sec. user=odicin [2012-05-17 05:24:32] 80325140475*2^1000000-1 is not prime. Res64: 93088FDA10D66996 Time : 0.0 sec. user=odicin [2012-05-17 05:34:20] 80327843505*2^1000000-1 is not prime. Res64: 7FAADCD91D5A4F15 Time : 0.0 sec. user=odicin [2012-05-17 05:44:12] 80328928575*2^1000000-1 is not prime. Res64: A535316D0160D7A9 Time : 0.0 sec. user=odicin [2012-05-17 05:54:01] 80329374705*2^1000000-1 is not prime. Res64: 45478BEAE7C49D68 Time : 0.0 sec. user=odicin [2012-05-17 06:03:50] 80331821955*2^1000000-1 is not prime. Res64: 6FA73FC42348E76B Time : 0.0 sec. user=odicin [2012-05-17 06:13:40] 80332336125*2^1000000-1 is not prime. Res64: B0467E3FFF5ED4AB Time : 0.0 sec. user=odicin [2012-05-17 06:23:29] 80332455405*2^1000000-1 is not prime. Res64: 0B988E28C81170FB Time : 0.0 sec. user=odicin [2012-05-17 06:33:22] 80332914885*2^1000000-1 is not prime. Res64: B0F2D97B94D9C132 Time : 0.0 sec. user=odicin [2012-05-17 06:43:16] 80338188705*2^1000000-1 is not prime. Res64: 3DC8503DCB9A952B Time : 0.0 sec. user=odicin [2012-05-17 06:53:08] 80338661535*2^1000000-1 is not prime. Res64: 9B024FD048C1BD49 Time : 0.0 sec. user=odicin [2012-05-17 07:03:01] 80340977295*2^1000000-1 is not prime. Res64: 6A120DFDCAD85E9D Time : 0.0 sec. user=odicin [2012-05-17 07:12:57] 80342871825*2^1000000-1 is not prime. Res64: 13C0474BB63A0BDD Time : 0.0 sec. user=odicin [2012-05-17 07:23:02] 80343736905*2^1000000-1 is not prime. Res64: D0BBB54F2C80694A Time : 0.0 sec. user=odicin [2012-05-17 07:33:01] 80344604235*2^1000000-1 is not prime. Res64: 7C500F54CD159D7C Time : 0.0 sec. user=odicin [2012-05-17 07:42:48] 80344740315*2^1000000-1 is not prime. Res64: 912E903C32CEEDBF Time : 0.0 sec. user=odicin [2012-05-17 07:52:27] 80345573565*2^1000000-1 is not prime. Res64: 6E9346CC2A0988E4 Time : 0.0 sec. user=odicin [2012-05-17 08:02:11] 80352186285*2^1000000-1 is not prime. Res64: 0B9D31C7E0E9B8F6 Time : 0.0 sec. user=odicin [2012-05-17 08:11:52] 80354569875*2^1000000-1 is not prime. Res64: 48C4A200D84EEDD2 Time : 0.0 sec. user=odicin [2012-05-17 08:21:43] 80354794905*2^1000000-1 is not prime. Res64: E16B469814901029 Time : 0.0 sec. user=odicin [2012-05-17 08:31:36] 80359403535*2^1000000-1 is not prime. Res64: 7F752B06BF230455 Time : 0.0 sec. user=odicin [2012-05-17 08:41:31] 80359861245*2^1000000-1 is not prime. Res64: 227224D4C6CD7B9F Time : 0.0 sec. user=odicin [2012-05-17 08:51:23] 80362591155*2^1000000-1 is not prime. Res64: 9F6FFA814B07EF7E Time : 0.0 sec. user=odicin [2012-05-17 09:01:19] 80364896835*2^1000000-1 is not prime. Res64: F28563D9FE181854 Time : 0.0 sec. user=odicin [2012-05-17 09:11:16] 80365031325*2^1000000-1 is not prime. Res64: 75F91159306E0E4A Time : 0.0 sec. user=odicin [2012-05-17 09:21:12] 80365874475*2^1000000-1 is not prime. Res64: B65EFEACC037F500 Time : 0.0 sec. user=odicin [2012-05-17 09:31:06] 80374202025*2^1000000-1 is not prime. Res64: C7D806793E56BA98 Time : 0.0 sec. user=odicin [2012-05-17 09:41:02] 80374429875*2^1000000-1 is not prime. Res64: B4E3E2722A2371FD Time : 0.0 sec. user=odicin [2012-05-17 09:51:00] 80379360675*2^1000000-1 is not prime. Res64: DC04346D2E68C2A2 Time : 0.0 sec. user=odicin [2012-05-17 10:00:49] 80383294095*2^1000000-1 is not prime. Res64: 48A885443249530D Time : 0.0 sec. user=odicin [2012-05-17 10:10:43] 80385477795*2^1000000-1 is not prime. Res64: 19BACF0C517A6CC8 Time : 0.0 sec. user=odicin [2012-05-17 10:20:39] 80385587925*2^1000000-1 is not prime. Res64: 34D894561C644EA4 Time : 0.0 sec. user=odicin [2012-05-17 10:30:33] 80385996795*2^1000000-1 is not prime. Res64: 9B5BD75068D6318D Time : 0.0 sec. user=odicin [2012-05-17 10:40:24] 80387831235*2^1000000-1 is not prime. Res64: 471B644460E9A2AC Time : 0.0 sec. user=odicin [2012-05-17 10:50:19] 80392850475*2^1000000-1 is not prime. Res64: FC48361BDD406AD1 Time : 0.0 sec. user=odicin [2012-05-17 11:00:14] 80393536965*2^1000000-1 is not prime. Res64: 2C654B28E1F4BB08 Time : 0.0 sec. user=odicin [2012-05-17 11:10:09] 80400177675*2^1000000-1 is not prime. Res64: 84F166ACA4E7A98D Time : 0.0 sec. user=odicin [2012-05-17 11:20:02] 80404370625*2^1000000-1 is not prime. Res64: 2177ED1A7A93DA2B Time : 0.0 sec. user=odicin [2012-05-17 11:29:55] 80404734975*2^1000000-1 is not prime. Res64: B6344FFFFEDE8E33 Time : 0.0 sec. user=odicin [2012-05-17 11:39:44] 80404743195*2^1000000-1 is not prime. Res64: 77F1C8B99C343422 Time : 0.0 sec. user=odicin [2012-05-17 11:49:22] 80404901925*2^1000000-1 is not prime. Res64: A604D887D069F043 Time : 0.0 sec. user=odicin [2012-05-17 11:58:55] 80406176235*2^1000000-1 is not prime. Res64: B913AB89551B35FC Time : 0.0 sec. user=odicin [2012-05-17 12:08:35] 80406823425*2^1000000-1 is not prime. Res64: 78EF279FA6FA3BBF Time : 0.0 sec. user=odicin [2012-05-17 12:18:15] 80407054335*2^1000000-1 is not prime. Res64: 016ABE76E457BF0A Time : 0.0 sec. user=odicin [2012-05-17 12:28:01] 80413126995*2^1000000-1 is not prime. Res64: 563F9E53BA08E036 Time : 0.0 sec. user=odicin [2012-05-17 12:37:51] 80413398315*2^1000000-1 is not prime. Res64: F73D83D7867D9ABF Time : 0.0 sec. user=odicin [2012-05-17 12:47:40] 80413675965*2^1000000-1 is not prime. Res64: 5867EEC315C881EF Time : 0.0 sec. user=odicin [2012-05-17 12:57:33] 80413784205*2^1000000-1 is not prime. Res64: 4E4807113BCCBF68 Time : 0.0 sec. user=odicin [2012-05-17 13:07:16] 80415645765*2^1000000-1 is not prime. Res64: 8B0D8137660E4AA8 Time : 0.0 sec. user=odicin [2012-05-17 13:17:05] 80416561335*2^1000000-1 is not prime. Res64: E2AAFC310B00D672 Time : 0.0 sec. user=odicin [2012-05-17 13:26:45] 80417107785*2^1000000-1 is not prime. Res64: 9ADCE1AFA9BC55E7 Time : 0.0 sec. user=odicin [2012-05-17 13:36:32] 80418486225*2^1000000-1 is not prime. Res64: 2C476250981FD203 Time : 0.0 sec. user=odicin [2012-05-17 13:46:11] 80421447015*2^1000000-1 is not prime. Res64: D4C084540A664DAE Time : 0.0 sec. user=odicin [2012-05-17 13:56:00] 80422226085*2^1000000-1 is not prime. Res64: 1629AE37FE14B89A Time : 0.0 sec. user=odicin [2012-05-17 14:05:47] 80423294565*2^1000000-1 is not prime. Res64: 11B5C71210A4E791 Time : 0.0 sec. user=odicin [2012-05-17 14:15:46] 80423774205*2^1000000-1 is not prime. Res64: 3E50666E839BC15B Time : 0.0 sec. user=odicin [2012-05-17 14:25:42] 80427961005*2^1000000-1 is not prime. Res64: 5A629E9CC58CCECD Time : 0.0 sec. user=odicin [2012-05-17 14:35:33] 80428692195*2^1000000-1 is not prime. Res64: F0EC0AA7235488AF Time : 0.0 sec. user=odicin [2012-05-17 14:45:16] 80429783175*2^1000000-1 is not prime. Res64: 6704C5E838863086 Time : 0.0 sec. user=odicin [2012-05-17 14:55:05] 80430421155*2^1000000-1 is not prime. Res64: 45379E446D8C4D8F Time : 0.0 sec. user=odicin [2012-05-17 15:04:52] 80431590195*2^1000000-1 is not prime. Res64: 97CD8133E2CACD63 Time : 0.0 sec. user=odicin [2012-05-17 15:14:37] 80434021275*2^1000000-1 is not prime. Res64: D97106C1E093B9BB Time : 0.0 sec. user=odicin [2012-05-17 15:24:25] 80435003955*2^1000000-1 is not prime. Res64: 1356F2C74802225A Time : 0.0 sec. user=odicin [2012-05-17 15:34:14] 80435636385*2^1000000-1 is not prime. Res64: FEB99EBBA0C97815 Time : 0.0 sec. user=odicin [2012-05-17 15:44:07] 80440392135*2^1000000-1 is not prime. Res64: 9262005BA2164BEF Time : 0.0 sec. user=odicin [2012-05-17 15:53:56] 80441671065*2^1000000-1 is not prime. Res64: A5F2BD1CE8430ACF Time : 0.0 sec. user=odicin [2012-05-17 16:03:43] 80444658525*2^1000000-1 is not prime. Res64: BF9631F5CC1D1CE0 Time : 0.0 sec. user=odicin [2012-05-17 16:13:34] 80453800845*2^1000000-1 is not prime. Res64: F143CF4B0588ECC0 Time : 0.0 sec. user=odicin [2012-05-17 16:23:26] 80455524135*2^1000000-1 is not prime. Res64: 72B7A858CE59F357 Time : 0.0 sec. user=odicin [2012-05-17 16:33:16] 80455717335*2^1000000-1 is not prime. Res64: 5AD57A9152201681 Time : 0.0 sec. user=odicin [2012-05-17 16:43:08] 80456658225*2^1000000-1 is not prime. Res64: A8D9F1012E1AAF04 Time : 0.0 sec. user=odicin [2012-05-17 16:52:55] 80459414145*2^1000000-1 is not prime. Res64: 03DEFCCC631A73A1 Time : 0.0 sec. user=odicin [2012-05-17 17:02:40] 80460047745*2^1000000-1 is not prime. Res64: A538AA84C1D8BDED Time : 0.0 sec. user=odicin [2012-05-17 17:12:29] 80461693275*2^1000000-1 is not prime. Res64: 712A9F77B75C31F9 Time : 0.0 sec. user=odicin [2012-05-17 17:22:17] 80464461495*2^1000000-1 is not prime. Res64: 3C73872C6295C5EA Time : 0.0 sec. user=odicin [2012-05-17 17:32:03] 80466816765*2^1000000-1 is not prime. Res64: 5108287C8DE3D7DB Time : 0.0 sec. user=odicin [2012-05-17 17:41:50] 80469159735*2^1000000-1 is not prime. Res64: 325FE8DCF27E82A3 Time : 0.0 sec. user=odicin [2012-05-17 17:51:36] 80469893985*2^1000000-1 is not prime. Res64: 55D525CCAD37E784 Time : 0.0 sec. user=odicin [2012-05-17 18:01:20] 80475638445*2^1000000-1 is not prime. Res64: 74DFCE1E775491CA Time : 0.0 sec. user=odicin [2012-05-17 18:11:03] 80480205435*2^1000000-1 is not prime. Res64: 8B4732ADECACC264 Time : 0.0 sec. user=odicin [2012-05-17 18:20:47] 80480237775*2^1000000-1 is not prime. Res64: C91D31610395F3AA Time : 0.0 sec. user=odicin [2012-05-17 18:30:26] 80482678785*2^1000000-1 is not prime. Res64: D9E1C07D646A9AA4 Time : 0.0 sec. user=odicin [2012-05-17 18:40:12] 80483050695*2^1000000-1 is not prime. Res64: 8BE9B74F271496A5 Time : 0.0 sec. user=odicin [2012-05-17 18:50:00] 80483875395*2^1000000-1 is not prime. Res64: 2C15FB8F99E4CA87 Time : 0.0 sec. user=odicin [2012-05-17 18:59:49] 80484171255*2^1000000-1 is not prime. Res64: AD3ACDC1DB5D89BC Time : 0.0 sec. user=odicin [2012-05-17 19:09:49] 80485585305*2^1000000-1 is not prime. Res64: 6419C642A476958D Time : 0.0 sec. user=odicin [2012-05-17 19:19:38] 80487033795*2^1000000-1 is not prime. Res64: 12E0F4A1D7D4408A Time : 0.0 sec. user=odicin [2012-05-17 19:29:21] 80487072435*2^1000000-1 is not prime. Res64: DEAB5B3C53469431 Time : 0.0 sec. user=odicin [2012-05-17 19:39:08] 80489649105*2^1000000-1 is not prime. Res64: B043EF3FD6ECE184 Time : 0.0 sec. user=odicin [2012-05-17 19:48:58] 80490094305*2^1000000-1 is not prime. Res64: 73E340A5AA25D1E8 Time : 0.0 sec. user=odicin [2012-05-17 19:58:46] 80491194495*2^1000000-1 is not prime. Res64: 0CDCC1C28E4B0AA1 Time : 0.0 sec. user=odicin [2012-05-17 20:08:28] 80493184065*2^1000000-1 is not prime. Res64: 72381CB772245A58 Time : 0.0 sec. user=odicin [2012-05-17 20:18:16] 80496995565*2^1000000-1 is not prime. Res64: D253F12444D42F8D Time : 0.0 sec. user=odicin [2012-05-17 20:28:01] 80498865795*2^1000000-1 is not prime. Res64: 5CBED94DC39393A3 Time : 0.0 sec. user=odicin [2012-05-17 20:37:43] 80500538895*2^1000000-1 is not prime. Res64: D12BAEAF8E20339A Time : 0.0 sec. user=odicin [2012-05-17 20:47:30] 80504407185*2^1000000-1 is not prime. Res64: 9BA785F3451A49CF Time : 0.0 sec. user=odicin [2012-05-17 20:57:19] 80504952645*2^1000000-1 is not prime. Res64: 8321A315D97A884E Time : 0.0 sec. user=odicin [2012-05-17 21:07:10] 80506287855*2^1000000-1 is not prime. Res64: 54D5C17B396C0F04 Time : 0.0 sec. user=odicin [2012-05-17 21:17:00] 80507501115*2^1000000-1 is not prime. Res64: B5E4B3F97AF7180D Time : 0.0 sec. user=odicin [2012-05-17 21:26:47] 80511654165*2^1000000-1 is not prime. Res64: 66853A8F0AE13741 Time : 0.0 sec. user=odicin [2012-05-17 21:36:30] 80513690865*2^1000000-1 is not prime. Res64: 78703CFB2AFB9E44 Time : 0.0 sec. user=odicin [2012-05-17 21:46:08] 80514778545*2^1000000-1 is not prime. Res64: 4C2259EC94D06E99 Time : 0.0 sec. user=odicin [2012-05-17 21:55:53] 80517396825*2^1000000-1 is not prime. Res64: 0E7E2CDCCE6541DB Time : 0.0 sec. user=odicin [2012-05-17 22:05:40] 80520643335*2^1000000-1 is not prime. Res64: 968AE8EA67E77763 Time : 0.0 sec. user=odicin [2012-05-17 22:15:29] 80523976575*2^1000000-1 is not prime. Res64: D2A124221CD812DF Time : 0.0 sec. user=odicin [2012-05-17 22:25:26] 80525085465*2^1000000-1 is not prime. Res64: 0013079917194AB7 Time : 0.0 sec. user=odicin [2012-05-17 22:35:21] 80526748245*2^1000000-1 is not prime. Res64: 3C75595437EE4148 Time : 0.0 sec. user=odicin [2012-05-17 22:45:05] 80529823575*2^1000000-1 is not prime. Res64: 4BD499B177943ECD Time : 0.0 sec. user=odicin [2012-05-17 22:54:53] 80530186665*2^1000000-1 is not prime. Res64: 394F1FA4B2D5F885 Time : 0.0 sec. user=odicin [2012-05-17 23:04:35] 80531273655*2^1000000-1 is not prime. Res64: 99C27483DE9D6CF0 Time : 0.0 sec. user=odicin [2012-05-17 23:14:24] 80531427555*2^1000000-1 is not prime. Res64: 6DE6B93620119F6F Time : 0.0 sec. user=odicin [2012-05-17 23:24:10] 80536067505*2^1000000-1 is not prime. Res64: B701DCD0FFF72051 Time : 0.0 sec. user=odicin [2012-05-17 23:33:57] 80541059625*2^1000000-1 is not prime. Res64: 6195B23AFC16492C Time : 0.0 sec. user=odicin [2012-05-17 23:43:54] 80541650145*2^1000000-1 is not prime. Res64: 64C208439B4B3F31 Time : 0.0 sec. user=odicin [2012-05-17 23:53:55] 80543752275*2^1000000-1 is not prime. Res64: C9786D942B9F4DBC Time : 0.0 sec.