user=mdettweiler [2016-07-06 00:03:50] 735*2^1434467-1 is not prime. Res64: 43BFB22C622C0573 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:03:51] 741*2^1434467-1 is not prime. Res64: 008B1A3E49D6607E Time : 0.0 sec. user=mdettweiler [2016-07-06 00:03:51] 781*2^1434467-1 is not prime. Res64: 1201DA5C880DD11C Time : 0.0 sec. user=mdettweiler [2016-07-06 00:03:52] 963*2^1434467-1 is not prime. Res64: BB6C54C43F68778E Time : 0.0 sec. user=mdettweiler [2016-07-06 00:03:52] 795*2^1434468-1 is not prime. Res64: 5ED961613E9514F4 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:08:32] 839*2^1434468-1 is not prime. Res64: 62BE9040952AEDE9 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:08:33] 875*2^1434468-1 is not prime. Res64: 368BA1D0BED9400F Time : 0.0 sec. user=mdettweiler [2016-07-06 00:08:34] 887*2^1434468-1 is not prime. Res64: A65964ACF6548A3E Time : 0.0 sec. user=mdettweiler [2016-07-06 00:08:36] 945*2^1434468-1 is not prime. Res64: 1E6BA5034BA49660 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:08:37] 681*2^1434469-1 is not prime. Res64: 6B4DA2ED768F7CC8 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:47:16] 801*2^1434469-1 is not prime. Res64: 409C8A65835AD38E Time : 0.0 sec. user=mdettweiler [2016-07-06 00:47:22] 979*2^1434469-1 is not prime. Res64: 301BA3E3D54F25C6 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:47:29] 707*2^1434470-1 is not prime. Res64: 8CC7809894F8D5B9 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:47:29] 893*2^1434470-1 is not prime. Res64: 31FE4DC7C8DFA9FB Time : 0.0 sec. user=mdettweiler [2016-07-06 00:47:35] 951*2^1434470-1 is not prime. Res64: F0BEE13E044A2D81 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:54:58] 981*2^1434470-1 is not prime. Res64: 0DE4963A8397FDA8 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:55:02] 703*2^1434471-1 is not prime. Res64: BCC1397257F9644B Time : 0.0 sec. user=mdettweiler [2016-07-06 00:55:06] 739*2^1434471-1 is not prime. Res64: 419055CE3D77009F Time : 0.0 sec. user=mdettweiler [2016-07-06 00:55:10] 849*2^1434471-1 is not prime. Res64: A7ADAB0B18386B2E Time : 0.0 sec. user=mdettweiler [2016-07-06 00:55:10] 859*2^1434471-1 is not prime. Res64: 18BB8C92E2DAC64B Time : 0.0 sec. user=mdettweiler [2016-07-06 00:59:43] 931*2^1434471-1 is not prime. Res64: 1465E37191F01423 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:59:44] 975*2^1434471-1 is not prime. Res64: 8201709FD627E6EF Time : 0.0 sec. user=mdettweiler [2016-07-06 00:59:47] 979*2^1434471-1 is not prime. Res64: D3CB8677EAC499DB Time : 0.0 sec. user=mdettweiler [2016-07-06 00:59:51] 675*2^1434472-1 is not prime. Res64: 3D022A8EE1A19EE4 Time : 0.0 sec. user=mdettweiler [2016-07-06 00:59:55] 689*2^1434472-1 is not prime. Res64: 2C3C32EC8C84218B Time : 0.0 sec. user=mdettweiler [2016-07-06 01:27:48] 871*2^1434463-1 is not prime. Res64: D520EED339C255A9 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:38:59] 713*2^1434472-1 is not prime. Res64: AD7200AEB5DA7BC8 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:39:00] 843*2^1434472-1 is not prime. Res64: 029D028BB43DD729 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:39:00] 675*2^1434473-1 is not prime. Res64: C0035E9BDD0CE949 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:39:00] 627*2^1434474-1 is not prime. Res64: 3FE0EEF0F06F612F Time : 0.0 sec. user=mdettweiler [2016-07-06 01:39:00] 681*2^1434474-1 is not prime. Res64: 8D8017D877C1ECAA Time : 0.0 sec. user=mdettweiler [2016-07-06 01:45:16] 705*2^1434474-1 is not prime. Res64: BDBA82F325CA7DFA Time : 0.0 sec. user=mdettweiler [2016-07-06 01:45:16] 755*2^1434474-1 is not prime. Res64: 149EF6083E548FE5 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:45:17] 773*2^1434474-1 is not prime. Res64: 23564656307E824C Time : 0.0 sec. user=mdettweiler [2016-07-06 01:45:17] 861*2^1434474-1 is not prime. Res64: C723C59C888812A5 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:45:17] 893*2^1434474-1 is not prime. Res64: D3D05C44FEA48212 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:51:17] 993*2^1434474-1 is not prime. Res64: 13A71C783AD67409 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:51:18] 609*2^1434475-1 is not prime. Res64: 312D00F03B669CC3 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:51:18] 631*2^1434475-1 is not prime. Res64: 0076992A6FE3C51D Time : 0.0 sec. user=mdettweiler [2016-07-06 01:51:18] 651*2^1434475-1 is not prime. Res64: BB9487AF4A4D2F56 Time : 0.0 sec. user=mdettweiler [2016-07-06 01:51:18] 819*2^1434475-1 is not prime. Res64: A46560ABE4C29005 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:17:57] 915*2^1434475-1 is not prime. Res64: E2A74B02D79E8BC0 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:17:57] 999*2^1434475-1 is not prime. Res64: EAE8DF7F6C81AD4B Time : 0.0 sec. user=mdettweiler [2016-07-06 02:17:57] 659*2^1434476-1 is not prime. Res64: 04E10FDCAF3A595F Time : 0.0 sec. user=mdettweiler [2016-07-06 02:17:57] 693*2^1434476-1 is not prime. Res64: 37C1E74784EAB859 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:17:58] 725*2^1434476-1 is not prime. Res64: AEBDC4824C0CAA7F Time : 0.0 sec. user=mdettweiler [2016-07-06 02:27:32] 755*2^1434476-1 is not prime. Res64: 0469FF19B4632CCA Time : 0.0 sec. user=mdettweiler [2016-07-06 02:27:32] 839*2^1434476-1 is not prime. Res64: 723D7B5EFD6D4F69 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:27:33] 855*2^1434476-1 is not prime. Res64: 4F526C4CA2157EE9 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:27:33] 741*2^1434477-1 is not prime. Res64: 7F142E745B553FC1 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:27:33] 769*2^1434477-1 is not prime. Res64: 5829E08157D164B8 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:34:14] 781*2^1434477-1 is not prime. Res64: D2AF86C075E43D97 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:34:16] 835*2^1434477-1 is not prime. Res64: 039BB4E86968B02E Time : 0.0 sec. user=mdettweiler [2016-07-06 02:34:18] 895*2^1434477-1 is not prime. Res64: 3E8044A8C9641F2A Time : 0.0 sec. user=mdettweiler [2016-07-06 02:34:23] 949*2^1434477-1 is not prime. Res64: 25F278A0A71710F2 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:34:25] 979*2^1434477-1 is not prime. Res64: BD9A673E557E6D84 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:40:54] 611*2^1434478-1 is not prime. Res64: 33FC5BBC3105AB68 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:40:55] 713*2^1434478-1 is not prime. Res64: B3EA4C0772F5B6D0 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:40:55] 731*2^1434478-1 is not prime. Res64: 3100312A1160E585 Time : 0.0 sec. user=mdettweiler [2016-07-06 02:40:55] 755*2^1434478-1 is not prime. Res64: E6B822612178C32F Time : 0.0 sec. user=mdettweiler [2016-07-06 02:40:56] 891*2^1434478-1 is not prime. Res64: FD8E9BB220CF8E1E Time : 0.0 sec. user=mdettweiler [2016-07-06 03:06:18] 663*2^1434479-1 is not prime. Res64: 4FA785364C56A6D4 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:06:20] 669*2^1434479-1 is not prime. Res64: 78941306EB8049D9 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:06:22] 841*2^1434479-1 is not prime. Res64: 09A65329E4AFEAD1 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:06:23] 969*2^1434479-1 is not prime. Res64: 63016E4C18F60FFB Time : 0.0 sec. user=mdettweiler [2016-07-06 03:06:25] 689*2^1434480-1 is not prime. Res64: 4C8EFA7FAFC5444C Time : 0.0 sec. user=mdettweiler [2016-07-06 03:15:31] 765*2^1434480-1 is not prime. Res64: BC1C7C72663E95DA Time : 0.0 sec. user=mdettweiler [2016-07-06 03:15:31] 825*2^1434480-1 is not prime. Res64: 1967A649B93D764E Time : 0.0 sec. user=mdettweiler [2016-07-06 03:15:32] 917*2^1434480-1 is not prime. Res64: F7C6ECBC4CB86436 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:15:32] 705*2^1434481-1 is not prime. Res64: A65A7BF8C999D21B Time : 0.0 sec. user=mdettweiler [2016-07-06 03:15:32] 847*2^1434481-1 is not prime. Res64: 67575E8BD6E2DE53 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:24:07] 855*2^1434481-1 is not prime. Res64: CCAAC24770A928A1 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:24:07] 645*2^1434482-1 is not prime. Res64: 346EE6B1412BB530 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:24:07] 735*2^1434482-1 is not prime. Res64: 3B56FB8DE0A11F27 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:24:07] 743*2^1434482-1 is not prime. Res64: 04EEBB725FA7AE7F Time : 0.0 sec. user=mdettweiler [2016-07-06 03:24:08] 843*2^1434482-1 is not prime. Res64: 3AD53C311A67A1FC Time : 0.0 sec. user=mdettweiler [2016-07-06 03:28:49] 917*2^1434482-1 is not prime. Res64: 6471EEBD61685368 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:28:50] 953*2^1434482-1 is not prime. Res64: B4C189E19EE09586 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:28:50] 977*2^1434482-1 is not prime. Res64: 8E65E084A33F4217 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:28:51] 1001*2^1434482-1 is not prime. Res64: 273E599EBC784DCF Time : 0.0 sec. user=mdettweiler [2016-07-06 03:28:52] 793*2^1434483-1 is not prime. Res64: B3E436196F01B908 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:54:58] 853*2^1434483-1 is not prime. Res64: 185E4E1EBF23E1AC Time : 0.0 sec. user=mdettweiler [2016-07-06 03:54:58] 609*2^1434484-1 is not prime. Res64: 9F6C5209E7BA0406 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:54:59] 719*2^1434484-1 is not prime. Res64: 43B75F80099A4398 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:54:59] 923*2^1434484-1 is not prime. Res64: 16CF8C85B0C1B665 Time : 0.0 sec. user=mdettweiler [2016-07-06 03:54:59] 619*2^1434485-1 is not prime. Res64: 9745F0A38F2A3B4D Time : 0.0 sec. user=mdettweiler [2016-07-06 04:03:53] 657*2^1434485-1 is not prime. Res64: 7573E8EEA0FA2C5A Time : 0.0 sec. user=mdettweiler [2016-07-06 04:03:54] 699*2^1434485-1 is not prime. Res64: 900C350638CC18F0 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:03:55] 781*2^1434485-1 is not prime. Res64: 20D3A368EF43B608 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:04:01] 837*2^1434485-1 is not prime. Res64: B95B9080215FD470 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:04:02] 855*2^1434485-1 is not prime. Res64: 9D5DB776AC283FE4 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:13:12] 955*2^1434485-1 is not prime. Res64: 9308472C37F64BBD Time : 0.0 sec. user=mdettweiler [2016-07-06 04:13:13] 969*2^1434485-1 is not prime. Res64: 7431224C614641AA Time : 0.0 sec. user=mdettweiler [2016-07-06 04:13:13] 981*2^1434485-1 is not prime. Res64: 4D59007DFBDDB914 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:13:13] 985*2^1434485-1 is not prime. Res64: 3241CAE4B2E4DD55 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:13:13] 677*2^1434486-1 is not prime. Res64: 9B0534288D3467EC Time : 0.0 sec. user=mdettweiler [2016-07-06 04:16:30] 695*2^1434486-1 is not prime. Res64: FB3443156BD85025 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:16:30] 807*2^1434486-1 is not prime. Res64: CA4D26B762B766C3 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:16:31] 825*2^1434486-1 is not prime. Res64: EBD15491EB11DB0F Time : 0.0 sec. user=mdettweiler [2016-07-06 04:16:31] 903*2^1434486-1 is not prime. Res64: 791DDB77CD049A9A Time : 0.0 sec. user=mdettweiler [2016-07-06 04:16:31] 921*2^1434486-1 is not prime. Res64: 2FB3A1F32F41FCF7 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:43:53] 601*2^1434487-1 is not prime. Res64: 94F6FD4DBC2D54DC Time : 0.0 sec. user=mdettweiler [2016-07-06 04:43:54] 645*2^1434487-1 is not prime. Res64: AC0FC932C672B288 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:43:54] 651*2^1434487-1 is not prime. Res64: 635D02C2835959C2 Time : 0.0 sec. user=mdettweiler [2016-07-06 04:43:55] 663*2^1434487-1 is not prime. Res64: 35FA83C44DB4BC5C Time : 0.0 sec. user=mdettweiler [2016-07-06 04:43:55] 829*2^1434487-1 is not prime. Res64: 17A952D340BD815E Time : 0.0 sec. user=mdettweiler [2016-07-06 04:54:53] 999*2^1434487-1 is not prime. Res64: 9157C30CD74F4DAE Time : 0.0 sec. user=mdettweiler [2016-07-06 04:54:53] 603*2^1434488-1 is not prime. Res64: 0434665973BC0B2E Time : 0.0 sec. user=mdettweiler [2016-07-06 04:54:54] 615*2^1434488-1 is not prime. Res64: D872F12C5FB4CA0E Time : 0.0 sec. user=mdettweiler [2016-07-06 04:54:54] 617*2^1434488-1 is not prime. Res64: 02642ED4E943052D Time : 0.0 sec. user=mdettweiler [2016-07-06 04:54:54] 687*2^1434488-1 is not prime. Res64: 00226BA0AD51D078 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:02:51] 759*2^1434488-1 is not prime. Res64: ED433631F974DEA5 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:02:53] 869*2^1434488-1 is not prime. Res64: 68D1243D996FFE6E Time : 0.0 sec. user=mdettweiler [2016-07-06 05:02:53] 893*2^1434488-1 is not prime. Res64: 09E7665216E893D1 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:02:53] 899*2^1434488-1 is not prime. Res64: 830977BD77A43134 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:02:54] 959*2^1434488-1 is not prime. Res64: C287CE954B407571 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:05:14] 999*2^1434488-1 is not prime. Res64: 19824C0517CD0367 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:05:15] 609*2^1434489-1 is not prime. Res64: 5815FB4A4C1D925F Time : 0.0 sec. user=mdettweiler [2016-07-06 05:05:20] 627*2^1434489-1 is not prime. Res64: 956CBA9AAA6678A5 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:05:21] 661*2^1434489-1 is not prime. Res64: C78FAF1A0DC7521C Time : 0.0 sec. user=mdettweiler [2016-07-06 05:05:22] 861*2^1434489-1 is not prime. Res64: BE17628D7D649EF1 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:33:26] 979*2^1434489-1 is not prime. Res64: 026AC720B4E2A13B Time : 0.0 sec. user=mdettweiler [2016-07-06 05:33:26] 605*2^1434490-1 is not prime. Res64: 32345D1F7028F531 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:33:27] 647*2^1434490-1 is not prime. Res64: FC690E9CE6317A0C Time : 0.0 sec. user=mdettweiler [2016-07-06 05:33:27] 813*2^1434490-1 is not prime. Res64: 0D5AC99834C3877A Time : 0.0 sec. user=mdettweiler [2016-07-06 05:33:27] 827*2^1434490-1 is not prime. Res64: 19DFC19106172823 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:43:46] 911*2^1434490-1 is not prime. Res64: 7923FB5B2D7F088A Time : 0.0 sec. user=mdettweiler [2016-07-06 05:43:47] 951*2^1434490-1 is not prime. Res64: 80E3A42D9C4D73ED Time : 0.0 sec. user=mdettweiler [2016-07-06 05:43:47] 643*2^1434491-1 is not prime. Res64: 44364A981012C95E Time : 0.0 sec. user=mdettweiler [2016-07-06 05:43:47] 645*2^1434491-1 is not prime. Res64: D4C4F7775E853384 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:43:47] 669*2^1434491-1 is not prime. Res64: 8E4F5034C749ACD9 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:51:08] 759*2^1434491-1 is not prime. Res64: 20D0520B2D33F5E6 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:51:08] 859*2^1434491-1 is not prime. Res64: F3F1F0FD6E6DA7BA Time : 0.0 sec. user=mdettweiler [2016-07-06 05:51:09] 973*2^1434491-1 is not prime. Res64: 8910B1693A2BCA3C Time : 0.0 sec. user=mdettweiler [2016-07-06 05:51:09] 979*2^1434491-1 is not prime. Res64: DED444B21422D97B Time : 0.0 sec. user=mdettweiler [2016-07-06 05:51:09] 635*2^1434492-1 is not prime. Res64: 1893FE3567B20FD4 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:52:59] 669*2^1434492-1 is not prime. Res64: B51A4126628BDA5B Time : 0.0 sec. user=mdettweiler [2016-07-06 05:53:00] 717*2^1434492-1 is not prime. Res64: 0FF9FC9DF6E4277E Time : 0.0 sec. user=mdettweiler [2016-07-06 05:53:00] 737*2^1434492-1 is not prime. Res64: 9BB969CFB2198841 Time : 0.0 sec. user=mdettweiler [2016-07-06 05:53:00] 797*2^1434492-1 is not prime. Res64: B58CA93EB80C373E Time : 0.0 sec. user=mdettweiler [2016-07-06 05:53:00] 819*2^1434492-1 is not prime. Res64: BF8B778FD2E8BE32 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:21:24] 983*2^1434492-1 is not prime. Res64: 0DA959457836A0C2 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:21:24] 987*2^1434492-1 is not prime. Res64: 05F5EC72679306CF Time : 0.0 sec. user=mdettweiler [2016-07-06 06:21:24] 615*2^1434494-1 is not prime. Res64: 0F7A5C2EE8FC273F Time : 0.0 sec. user=mdettweiler [2016-07-06 06:21:25] 705*2^1434494-1 is not prime. Res64: 8B2E449AE7E0544A Time : 0.0 sec. user=mdettweiler [2016-07-06 06:21:25] 707*2^1434494-1 is not prime. Res64: 5F2E7ADCDB7CDFC1 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:33:23] 755*2^1434494-1 is not prime. Res64: 6A8B0F28C8617F2C Time : 0.0 sec. user=mdettweiler [2016-07-06 06:33:24] 773*2^1434494-1 is not prime. Res64: 11A88A9547235EFC Time : 0.0 sec. user=mdettweiler [2016-07-06 06:33:24] 857*2^1434494-1 is not prime. Res64: E2399A6917601738 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:33:24] 927*2^1434494-1 is not prime. Res64: 7BCB2D6560874F81 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:33:24] 951*2^1434494-1 is not prime. Res64: BD710A423FAFD38D Time : 0.0 sec. user=mdettweiler [2016-07-06 06:40:19] 613*2^1434495-1 is not prime. Res64: 7FADBCDA246003D0 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:40:19] 705*2^1434495-1 is not prime. Res64: 19F2D30766A4F81F Time : 0.0 sec. user=mdettweiler [2016-07-06 06:40:19] 709*2^1434495-1 is not prime. Res64: 38CD75F3C14C38FD Time : 0.0 sec. user=mdettweiler [2016-07-06 06:40:19] 741*2^1434495-1 is not prime. Res64: B1F850E5B6B3C764 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:40:20] 763*2^1434495-1 is not prime. Res64: AC8539B11AEFC2F6 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:41:39] 823*2^1434495-1 is not prime. Res64: 26747AC4C4A0AB79 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:41:39] 861*2^1434495-1 is not prime. Res64: 7F1FCBE613EE3822 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:41:40] 873*2^1434495-1 is not prime. Res64: BA3BB9EC5145C63D Time : 0.0 sec. user=mdettweiler [2016-07-06 06:41:40] 895*2^1434495-1 is not prime. Res64: 8102DCEBA0A51086 Time : 0.0 sec. user=mdettweiler [2016-07-06 06:41:40] 921*2^1434495-1 is not prime. Res64: 6562E52D1A12231A Time : 0.0 sec. user=mdettweiler [2016-07-06 07:08:34] 961*2^1434495-1 is not prime. Res64: C5B1880EEF00380F Time : 0.0 sec. user=mdettweiler [2016-07-06 07:08:34] 973*2^1434495-1 is not prime. Res64: 832CB1C3AE7A4F89 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:08:35] 623*2^1434496-1 is not prime. Res64: 2C4FB45B4BF8CF65 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:08:35] 645*2^1434496-1 is not prime. Res64: F109DCC5156FF65F Time : 0.0 sec. user=mdettweiler [2016-07-06 07:08:35] 657*2^1434496-1 is not prime. Res64: 5CCD003EE395B622 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:21:57] 705*2^1434496-1 is not prime. Res64: 0DFE75C9B3B2917A Time : 0.0 sec. user=mdettweiler [2016-07-06 07:21:57] 707*2^1434496-1 is not prime. Res64: D403CB481321FA05 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:21:58] 839*2^1434496-1 is not prime. Res64: 71A66E03BCA29EC2 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:21:58] 843*2^1434496-1 is not prime. Res64: E9A7BB94C2FE59B1 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:21:58] 855*2^1434496-1 is not prime. Res64: 7FF1D285C06F6DCD Time : 0.0 sec. user=mdettweiler [2016-07-06 07:29:08] 675*2^1434497-1 is not prime. Res64: C4AECC6FD0E44254 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:29:08] 759*2^1434497-1 is not prime. Res64: AB608A493C6099FC Time : 0.0 sec. user=mdettweiler [2016-07-06 07:29:08] 865*2^1434497-1 is not prime. Res64: 0EDB719AA286F329 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:29:09] 611*2^1434498-1 is not prime. Res64: CD7046DC773C4D97 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:29:09] 647*2^1434498-1 is not prime. Res64: FE7AA160919B0674 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:31:30] 663*2^1434498-1 is not prime. Res64: D15D67B7979393F4 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:31:30] 671*2^1434498-1 is not prime. Res64: 8591D146391A7411 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:31:30] 927*2^1434498-1 is not prime. Res64: 9472A3760856419B Time : 0.0 sec. user=mdettweiler [2016-07-06 07:31:30] 663*2^1434499-1 is not prime. Res64: 74D5E54FC6E5A0E0 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:31:31] 681*2^1434499-1 is not prime. Res64: B139CDE26634FE7E Time : 0.0 sec. user=mdettweiler [2016-07-06 07:57:16] 705*2^1434499-1 is not prime. Res64: E95F9DE1E9CF0E87 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:57:16] 735*2^1434499-1 is not prime. Res64: 4498D7B3287FD44C Time : 0.0 sec. user=mdettweiler [2016-07-06 07:57:16] 853*2^1434499-1 is not prime. Res64: 47DB0ADC0E940406 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:57:17] 855*2^1434499-1 is not prime. Res64: AA897B5C79B7C917 Time : 0.0 sec. user=mdettweiler [2016-07-06 07:57:17] 985*2^1434499-1 is not prime. Res64: 378E18E2D6C415A6 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:09:54] 609*2^1434500-1 is not prime. Res64: E50DA09D885EE57C Time : 0.0 sec. user=mdettweiler [2016-07-06 08:09:55] 615*2^1434500-1 is not prime. Res64: CD4EEB2E45EA403B Time : 0.0 sec. user=mdettweiler [2016-07-06 08:09:55] 699*2^1434500-1 is not prime. Res64: 15AC5D17736303D7 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:09:55] 719*2^1434500-1 is not prime. Res64: 1F79A84668E530C9 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:09:56] 797*2^1434500-1 is not prime. Res64: B68209521A121EF8 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:18:23] 843*2^1434500-1 is not prime. Res64: 6900ECD59E6E3CAA Time : 0.0 sec. user=mdettweiler [2016-07-06 08:18:23] 845*2^1434500-1 is not prime. Res64: 5E91AB02D4C08915 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:18:23] 879*2^1434500-1 is not prime. Res64: 24CDF3C99C7BD8F4 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:18:23] 999*2^1434500-1 is not prime. Res64: 842BCD88B73E0CD4 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:18:24] 661*2^1434501-1 is not prime. Res64: 4036B937B05D9455 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:20:22] 691*2^1434501-1 is not prime. Res64: D354433542CDA30E Time : 0.0 sec. user=mdettweiler [2016-07-06 08:20:22] 745*2^1434501-1 is not prime. Res64: 16AF9466F81CA415 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:20:23] 789*2^1434501-1 is not prime. Res64: B4E34EE6BA9241D5 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:20:23] 997*2^1434501-1 is not prime. Res64: D841758EB83D7384 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:20:24] 657*2^1434502-1 is not prime. Res64: CEF9C62ED4B341F8 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:46:27] 897*2^1434502-1 is not prime. Res64: 8532FD2385ADFC96 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:46:27] 917*2^1434502-1 is not prime. Res64: 5126888DE193EF30 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:46:27] 945*2^1434502-1 is not prime. Res64: 2B6CC923E633E246 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:46:27] 957*2^1434502-1 is not prime. Res64: 5B39CF16A9666D47 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:46:28] 609*2^1434503-1 is not prime. Res64: 5792172DF1964344 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:59:16] 673*2^1434503-1 is not prime. Res64: E38CD24E0781026E Time : 0.0 sec. user=mdettweiler [2016-07-06 08:59:16] 705*2^1434503-1 is not prime. Res64: F516E4691F1BED34 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:59:17] 741*2^1434503-1 is not prime. Res64: B2F7C807EE4A3482 Time : 0.0 sec. user=mdettweiler [2016-07-06 08:59:17] 783*2^1434503-1 is not prime. Res64: 07339E84E20969FF Time : 0.0 sec. user=mdettweiler [2016-07-06 08:59:17] 855*2^1434503-1 is not prime. Res64: 81A146EB9E1F88D7 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:07:59] 915*2^1434503-1 is not prime. Res64: 0B7E8878AAEE65ED Time : 0.0 sec. user=mdettweiler [2016-07-06 09:08:01] 921*2^1434503-1 is not prime. Res64: 86C5C1F6D9646A44 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:08:01] 689*2^1434504-1 is not prime. Res64: F354207E7E2E050F Time : 0.0 sec. user=mdettweiler [2016-07-06 09:08:01] 753*2^1434504-1 is not prime. Res64: 81A8A0AB8020F299 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:08:02] 887*2^1434504-1 is not prime. Res64: DE33CD86598A0445 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:10:16] 899*2^1434504-1 is not prime. Res64: D8F3214CFFC4ABE7 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:10:16] 903*2^1434504-1 is not prime. Res64: EF7F3AD96C33E1CE Time : 0.0 sec. user=mdettweiler [2016-07-06 09:10:17] 601*2^1434505-1 is not prime. Res64: 903CD75E1E3CA549 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:10:17] 645*2^1434505-1 is not prime. Res64: C50D12FD0EEB2ECB Time : 0.0 sec. user=mdettweiler [2016-07-06 09:10:17] 651*2^1434505-1 is not prime. Res64: CE4BF53495D2E1BD Time : 0.0 sec. user=mdettweiler [2016-07-06 09:35:31] 721*2^1434505-1 is not prime. Res64: E2E1DDFCE63C896B Time : 0.0 sec. user=mdettweiler [2016-07-06 09:35:32] 771*2^1434505-1 is not prime. Res64: 5648CA6B9A4F2B84 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:35:32] 889*2^1434505-1 is not prime. Res64: 4371D922F9F9BC99 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:35:32] 909*2^1434505-1 is not prime. Res64: A7F9713A41A00286 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:35:32] 997*2^1434505-1 is not prime. Res64: 58E43F0D9BF0AE9F Time : 0.0 sec. user=mdettweiler [2016-07-06 09:48:47] 783*2^1434506-1 is not prime. Res64: E3C4F8810FB13551 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:48:47] 857*2^1434506-1 is not prime. Res64: 5E5BF678ED3A5644 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:48:47] 893*2^1434506-1 is not prime. Res64: B0D6FC5BE9B72874 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:48:47] 953*2^1434506-1 is not prime. Res64: 5E41853F627A4AA2 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:48:48] 669*2^1434507-1 is not prime. Res64: 043232D440C07C39 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:57:34] 781*2^1434507-1 is not prime. Res64: C88B5BF82A3C4672 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:57:34] 849*2^1434507-1 is not prime. Res64: D75BFDB8DA1B613F Time : 0.0 sec. user=mdettweiler [2016-07-06 09:57:35] 909*2^1434507-1 is not prime. Res64: 185AD945EE652B8B Time : 0.0 sec. user=mdettweiler [2016-07-06 09:57:35] 945*2^1434507-1 is not prime. Res64: 1C9F395F52A60A55 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:57:35] 749*2^1434508-1 is not prime. Res64: A08392061F36F902 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:58:23] 813*2^1434508-1 is not prime. Res64: 6EB83F9221E6B816 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:58:23] 843*2^1434508-1 is not prime. Res64: AC49C748A7182ADC Time : 0.0 sec. user=mdettweiler [2016-07-06 09:58:23] 987*2^1434508-1 is not prime. Res64: BA0EB1E7DECF24C9 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:58:24] 675*2^1434509-1 is not prime. Res64: E611A411638FBAB1 Time : 0.0 sec. user=mdettweiler [2016-07-06 09:58:24] 711*2^1434509-1 is not prime. Res64: A70380917B0A54B4 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:26:46] 729*2^1434509-1 is not prime. Res64: 6F016E6238C63268 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:26:46] 787*2^1434509-1 is not prime. Res64: 376467CF2792E247 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:26:47] 861*2^1434509-1 is not prime. Res64: 02717C32FB97DC39 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:26:47] 889*2^1434509-1 is not prime. Res64: 63740C84C1805E60 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:26:47] 967*2^1434509-1 is not prime. Res64: 2C8EE4C857F0FACC Time : 0.0 sec. user=mdettweiler [2016-07-06 10:37:54] 725*2^1434510-1 is not prime. Res64: C69E84D2E6FC1485 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:37:55] 843*2^1434510-1 is not prime. Res64: 01AE1F036EAB9BAE Time : 0.0 sec. user=mdettweiler [2016-07-06 10:37:55] 963*2^1434510-1 is not prime. Res64: 1D458C1462AFD333 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:37:55] 971*2^1434510-1 is not prime. Res64: C235DA64C2FF196D Time : 0.0 sec. user=mdettweiler [2016-07-06 10:37:56] 977*2^1434510-1 is not prime. Res64: 19173DC30D25BE77 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:46:28] 625*2^1434511-1 is not prime. Res64: 897EDEEC292E2782 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:46:28] 661*2^1434511-1 is not prime. Res64: 1459F9B39CB214BA Time : 0.0 sec. user=mdettweiler [2016-07-06 10:46:29] 685*2^1434511-1 is not prime. Res64: 0ADFAC2C94087A65 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:46:29] 693*2^1434511-1 is not prime. Res64: F7CAA54E5B95FE08 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:46:30] 723*2^1434511-1 is not prime. Res64: 9EC47DA01904825F Time : 0.0 sec. user=mdettweiler [2016-07-06 10:47:37] 745*2^1434511-1 is not prime. Res64: 49838CB9F037ABA3 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:47:38] 759*2^1434511-1 is not prime. Res64: 0C04DFF854A8B99F Time : 0.0 sec. user=mdettweiler [2016-07-06 10:47:38] 793*2^1434511-1 is not prime. Res64: 1CD33B417A1298E2 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:47:38] 939*2^1434511-1 is not prime. Res64: 4CB328DD380A81D0 Time : 0.0 sec. user=mdettweiler [2016-07-06 10:47:39] 961*2^1434511-1 is not prime. Res64: 0E7E54CA1F4829E3 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:11:58] 635*2^1434512-1 is not prime. Res64: AB7CA0695C136B38 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:11:58] 665*2^1434512-1 is not prime. Res64: 8FEFE49D0B772134 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:11:59] 753*2^1434512-1 is not prime. Res64: 6AB81DD8DD8CD13D Time : 0.0 sec. user=mdettweiler [2016-07-06 11:11:59] 767*2^1434512-1 is not prime. Res64: A2B636A6440CD009 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:12:00] 777*2^1434512-1 is not prime. Res64: 7C2CF1BC24374066 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:22:45] 855*2^1434512-1 is not prime. Res64: 20546B711AC16BED Time : 0.0 sec. user=mdettweiler [2016-07-06 11:22:45] 867*2^1434512-1 is not prime. Res64: 1594EB4F32A3CB10 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:22:45] 909*2^1434512-1 is not prime. Res64: 6CF623A1FE1566BB Time : 0.0 sec. user=mdettweiler [2016-07-06 11:22:46] 607*2^1434513-1 is not prime. Res64: 2B3534F106E1046F Time : 0.0 sec. user=mdettweiler [2016-07-06 11:22:46] 609*2^1434513-1 is not prime. Res64: 1682E6EC903FF3BF Time : 0.0 sec. user=mdettweiler [2016-07-06 11:31:30] 625*2^1434513-1 is not prime. Res64: 3FE5ED9DCF3E2B54 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:31:30] 699*2^1434513-1 is not prime. Res64: E8E796E2B5A28DE9 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:31:31] 745*2^1434513-1 is not prime. Res64: 243AF412AA45DBE8 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:31:31] 751*2^1434513-1 is not prime. Res64: 8AE139F66946A38E Time : 0.0 sec. user=mdettweiler [2016-07-06 11:31:31] 789*2^1434513-1 is not prime. Res64: BD6F0D1208B5D6E0 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:32:45] 871*2^1434513-1 is not prime. Res64: 0E800B5E00380459 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:32:45] 889*2^1434513-1 is not prime. Res64: 48703E8B773D61B6 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:32:46] 901*2^1434513-1 is not prime. Res64: AF169FD56BE33732 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:32:46] 919*2^1434513-1 is not prime. Res64: A281C5F2F8118293 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:32:47] 991*2^1434513-1 is not prime. Res64: 69D7BBA42280AE9C Time : 0.0 sec. user=mdettweiler [2016-07-06 11:58:19] 651*2^1434514-1 is not prime. Res64: B4D83E871C5020B3 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:58:19] 815*2^1434514-1 is not prime. Res64: F826EECDCFA43965 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:58:19] 885*2^1434514-1 is not prime. Res64: CA09CE1C3A425258 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:58:19] 609*2^1434515-1 is not prime. Res64: B86278EECDB445A5 Time : 0.0 sec. user=mdettweiler [2016-07-06 11:58:20] 693*2^1434515-1 is not prime. Res64: 77EC1747736E98C3 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:11:23] 963*2^1434515-1 is not prime. Res64: 1B543821E8129A59 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:11:24] 973*2^1434515-1 is not prime. Res64: B9D2E5C22CCA19D8 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:11:24] 981*2^1434515-1 is not prime. Res64: CD41C18EF41EDC6B Time : 0.0 sec. user=mdettweiler [2016-07-06 12:11:24] 683*2^1434516-1 is not prime. Res64: 97DDBEC8350DF919 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:11:25] 735*2^1434516-1 is not prime. Res64: F29C364879A09823 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:19:40] 843*2^1434516-1 is not prime. Res64: EE7DF7C2A3FCB933 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:19:41] 845*2^1434516-1 is not prime. Res64: 63A46F07F448E211 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:19:41] 857*2^1434516-1 is not prime. Res64: 3A7C8BF296D8766A Time : 0.0 sec. user=mdettweiler [2016-07-06 12:19:41] 899*2^1434516-1 is not prime. Res64: AB091C04551BF36D Time : 0.0 sec. user=mdettweiler [2016-07-06 12:19:41] 909*2^1434516-1 is not prime. Res64: 926BCDEF7F01980B Time : 0.0 sec. user=mdettweiler [2016-07-06 12:21:08] 947*2^1434516-1 is not prime. Res64: 9B626A8FF4B9F2CF Time : 0.0 sec. user=mdettweiler [2016-07-06 12:21:09] 983*2^1434516-1 is not prime. Res64: CCFAED5C289A5CB3 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:21:09] 829*2^1434517-1 is not prime. Res64: 7F604C6647154DC8 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:21:09] 937*2^1434517-1 is not prime. Res64: C5B040E30B0A1A1F Time : 0.0 sec. user=mdettweiler [2016-07-06 12:21:09] 961*2^1434517-1 is not prime. Res64: 0758DDEB1F387B67 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:47:28] 967*2^1434517-1 is not prime. Res64: BB7F8A66D2E423E0 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:47:28] 705*2^1434518-1 is not prime. Res64: B3BA5B3187105BB0 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:47:28] 707*2^1434518-1 is not prime. Res64: 2FEF722F029F77C8 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:47:28] 747*2^1434518-1 is not prime. Res64: DCC144BACEB158F6 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:47:28] 893*2^1434518-1 is not prime. Res64: 978F6CC0CC2489E8 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:59:11] 911*2^1434518-1 is not prime. Res64: 3F2B920C74C29143 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:59:11] 955*2^1434519-1 is not prime. Res64: 3B2E5B6310188FA4 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:59:12] 985*2^1434519-1 is not prime. Res64: A29F3C0C78D5C0F1 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:59:12] 999*2^1434519-1 is not prime. Res64: 77A7CCA963CE08C4 Time : 0.0 sec. user=mdettweiler [2016-07-06 12:59:12] 603*2^1434520-1 is not prime. Res64: 862B53D672213FB6 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:08:16] 645*2^1434520-1 is not prime. Res64: DD88AC251DAF0D76 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:08:16] 827*2^1434520-1 is not prime. Res64: FB2BF9A65E030058 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:08:17] 873*2^1434520-1 is not prime. Res64: E880BB920DDD2700 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:08:17] 923*2^1434520-1 is not prime. Res64: 27416BD3253A9D3C Time : 0.0 sec. user=mdettweiler [2016-07-06 13:08:17] 989*2^1434520-1 is not prime. Res64: 6744991A3A61C6B1 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:09:31] 995*2^1434520-1 is not prime. Res64: 195DAA221ACB0B4A Time : 0.0 sec. user=mdettweiler [2016-07-06 13:09:32] 615*2^1434521-1 is not prime. Res64: F17AA669661059A7 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:09:32] 619*2^1434521-1 is not prime. Res64: 1D97CA9F40FD2E3C Time : 0.0 sec. user=mdettweiler [2016-07-06 13:09:32] 735*2^1434521-1 is not prime. Res64: 75A7F4BCABC06619 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:09:33] 889*2^1434521-1 is not prime. Res64: 11F40AD914129B87 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:35:06] 955*2^1434521-1 is not prime. Res64: D7F39EA873D3F628 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:35:07] 681*2^1434522-1 is not prime. Res64: 3ED54308F562B249 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:35:07] 695*2^1434522-1 is not prime. Res64: 376B42BDF576AE15 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:35:07] 791*2^1434522-1 is not prime. Res64: 03418466D95FA4FB Time : 0.0 sec. user=mdettweiler [2016-07-06 13:35:07] 801*2^1434522-1 is not prime. Res64: 1BA31CE1D29B8B97 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:46:47] 815*2^1434522-1 is not prime. Res64: C715ECAA731711B8 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:46:47] 833*2^1434522-1 is not prime. Res64: 4CCD0A984B18184E Time : 0.0 sec. user=mdettweiler [2016-07-06 13:46:48] 837*2^1434522-1 is not prime. Res64: 4FEBB09F4C8816EC Time : 0.0 sec. user=mdettweiler [2016-07-06 13:46:48] 891*2^1434522-1 is not prime. Res64: 2C4AF81B4E110B3C Time : 0.0 sec. user=mdettweiler [2016-07-06 13:46:48] 615*2^1434523-1 is not prime. Res64: C191951B3549CF84 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:56:03] 699*2^1434523-1 is not prime. Res64: 9CA5BA2EF75FCCB1 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:56:03] 709*2^1434523-1 is not prime. Res64: 0D447ADE6298EA97 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:56:04] 861*2^1434523-1 is not prime. Res64: ECE56B4EF30757C9 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:56:04] 915*2^1434523-1 is not prime. Res64: 8244B078A886BA0D Time : 0.0 sec. user=mdettweiler [2016-07-06 13:56:04] 945*2^1434523-1 is not prime. Res64: 33184BE922554140 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:57:08] 961*2^1434523-1 is not prime. Res64: 50C8DBA3684E4877 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:57:08] 993*2^1434523-1 is not prime. Res64: DC4F5E42312F39BA Time : 0.0 sec. user=mdettweiler [2016-07-06 13:57:09] 999*2^1434523-1 is not prime. Res64: F768C47DD2BD3EB9 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:57:09] 615*2^1434524-1 is not prime. Res64: AF5F26CE70399276 Time : 0.0 sec. user=mdettweiler [2016-07-06 13:57:09] 617*2^1434524-1 is not prime. Res64: F5948C9A806B9A52 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:22:13] 665*2^1434524-1 is not prime. Res64: 97373E6BE180F99F Time : 0.0 sec. user=mdettweiler [2016-07-06 14:22:14] 707*2^1434524-1 is not prime. Res64: DC80B5203B9462B9 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:22:14] 875*2^1434524-1 is not prime. Res64: 8469D84AA114B5F0 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:22:14] 897*2^1434524-1 is not prime. Res64: DBE00C86359F465F Time : 0.0 sec. user=mdettweiler [2016-07-06 14:22:15] 927*2^1434524-1 is not prime. Res64: C35773BE8D3AE390 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:33:40] 957*2^1434524-1 is not prime. Res64: E5E3F3B1074BAA77 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:33:40] 983*2^1434524-1 is not prime. Res64: 8B35D70F8AC2B425 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:33:41] 993*2^1434524-1 is not prime. Res64: 6C89DA1A64E84C8A Time : 0.0 sec. user=mdettweiler [2016-07-06 14:33:41] 651*2^1434525-1 is not prime. Res64: 6768C11C7A27CBBC Time : 0.0 sec. user=mdettweiler [2016-07-06 14:33:42] 717*2^1434525-1 is not prime. Res64: DDD6F7377615FCA6 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:42:33] 721*2^1434525-1 is not prime. Res64: 545592ED84913868 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:42:34] 727*2^1434525-1 is not prime. Res64: 638E71BC9CE8C7FB Time : 0.0 sec. user=mdettweiler [2016-07-06 14:42:34] 741*2^1434525-1 is not prime. Res64: B037CFB25758E91E Time : 0.0 sec. user=mdettweiler [2016-07-06 14:42:34] 997*2^1434525-1 is not prime. Res64: 52BE0301ABE0FF39 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:42:34] 611*2^1434526-1 is not prime. Res64: 9C3265C30FD2D182 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:43:30] 945*2^1434526-1 is not prime. Res64: 64E7FA9AD2C10518 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:43:30] 661*2^1434527-1 is not prime. Res64: 36DB5FB1148FF5C6 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:43:30] 673*2^1434527-1 is not prime. Res64: B7303AB29AF0DBF5 Time : 0.0 sec. user=mdettweiler [2016-07-06 14:43:30] 739*2^1434527-1 is not prime. Res64: 6DDC35FC62C2393E Time : 0.0 sec. user=mdettweiler [2016-07-06 14:43:31] 799*2^1434527-1 is not prime. Res64: 2BDF9CCE3A9CDA3F Time : 0.0 sec. user=mdettweiler [2016-07-06 15:08:18] 825*2^1434527-1 is not prime. Res64: A3873B8360A73887 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:08:19] 831*2^1434527-1 is not prime. Res64: 59FB1ACFE27DA0C3 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:08:19] 885*2^1434527-1 is not prime. Res64: 9E36BCAD0AB9BC64 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:08:19] 981*2^1434527-1 is not prime. Res64: 6AD812052EB5EC4D Time : 0.0 sec. user=mdettweiler [2016-07-06 15:08:26] 605*2^1434528-1 is not prime. Res64: 00E4FA58C38C3C8C Time : 0.0 sec. user=mdettweiler [2016-07-06 15:19:42] 695*2^1434528-1 is not prime. Res64: 4D24AC61708EB5DB Time : 0.0 sec. user=mdettweiler [2016-07-06 15:19:43] 759*2^1434528-1 is not prime. Res64: 15B5E1430A50C7E3 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:19:43] 905*2^1434528-1 is not prime. Res64: 92636D1802AD80DE Time : 0.0 sec. user=mdettweiler [2016-07-06 15:19:43] 945*2^1434528-1 is not prime. Res64: A55E804ED5E811B2 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:19:44] 625*2^1434529-1 is not prime. Res64: 024B3D5A52C9D099 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:29:11] 679*2^1434529-1 is not prime. Res64: C33FC3A4CC8F1DCC Time : 0.0 sec. user=mdettweiler [2016-07-06 15:29:11] 687*2^1434529-1 is not prime. Res64: 8BECD9A9801BB0C2 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:29:12] 705*2^1434529-1 is not prime. Res64: B5D1874FC0DF2E4A Time : 0.0 sec. user=mdettweiler [2016-07-06 15:29:12] 771*2^1434529-1 is not prime. Res64: E2474F9E06A8A277 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:29:13] 775*2^1434529-1 is not prime. Res64: 629F83FA5C92EE16 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:30:21] 841*2^1434529-1 is not prime. Res64: 6ADCFC6F9899F38D Time : 0.0 sec. user=mdettweiler [2016-07-06 15:30:22] 925*2^1434529-1 is not prime. Res64: B0E7E70DC51DE114 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:30:22] 975*2^1434529-1 is not prime. Res64: 8E403C86A0225BF2 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:30:22] 999*2^1434529-1 is not prime. Res64: 96512C5AC1EDB4F6 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:30:23] 675*2^1434530-1 is not prime. Res64: 0B6120B77E342204 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:54:40] 677*2^1434530-1 is not prime. Res64: FBA8DD386FBC0A4F Time : 0.0 sec. user=mdettweiler [2016-07-06 15:54:40] 711*2^1434530-1 is not prime. Res64: 2F7B69318A90B61E Time : 0.0 sec. user=mdettweiler [2016-07-06 15:54:40] 767*2^1434530-1 is not prime. Res64: 947E07608A5ABC25 Time : 0.0 sec. user=mdettweiler [2016-07-06 15:54:41] 831*2^1434530-1 is not prime. Res64: 2849AEE71627BABA Time : 0.0 sec. user=mdettweiler [2016-07-06 15:54:41] 843*2^1434530-1 is not prime. Res64: 9C272763791431B2 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:05:57] 935*2^1434530-1 is not prime. Res64: 3DF9F54E03B89946 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:05:59] 941*2^1434530-1 is not prime. Res64: 3AD2620C5EAD94E4 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:06:00] 621*2^1434531-1 is not prime. Res64: 3ACCD8F240FFF8A3 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:06:00] 735*2^1434531-1 is not prime. Res64: D75D3299E01C0684 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:06:01] 769*2^1434531-1 is not prime. Res64: 318ECAE6964CEA8C Time : 0.0 sec. user=mdettweiler [2016-07-06 16:14:49] 825*2^1434531-1 is not prime. Res64: B2A7C79825CF9EFB Time : 0.0 sec. user=mdettweiler [2016-07-06 16:14:49] 891*2^1434531-1 is not prime. Res64: 4E3B69D5DBDF779F Time : 0.0 sec. user=mdettweiler [2016-07-06 16:14:50] 949*2^1434531-1 is not prime. Res64: 393026B808DF38F3 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:14:50] 999*2^1434531-1 is not prime. Res64: 6211F78EAF55A07F Time : 0.0 sec. user=mdettweiler [2016-07-06 16:14:51] 609*2^1434532-1 is not prime. Res64: 43E27C4F73015F12 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:15:57] 629*2^1434532-1 is not prime. Res64: 920B5AFDCC85EBB2 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:15:58] 677*2^1434532-1 is not prime. Res64: F638A1DDB52E31EC Time : 0.0 sec. user=mdettweiler [2016-07-06 16:15:58] 687*2^1434532-1 is not prime. Res64: 17EABEF31D02118A Time : 0.0 sec. user=mdettweiler [2016-07-06 16:15:59] 807*2^1434532-1 is not prime. Res64: 5E969AF5C4EB3067 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:15:59] 897*2^1434532-1 is not prime. Res64: 6A2E23F2C5D5CA50 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:40:19] 987*2^1434532-1 is not prime. Res64: 21454C36B9678879 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:40:26] 621*2^1434533-1 is not prime. Res64: 347FC16CF9389766 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:40:26] 631*2^1434533-1 is not prime. Res64: F9F7DD63D05CD0AB Time : 0.0 sec. user=mdettweiler [2016-07-06 16:40:27] 697*2^1434533-1 is not prime. Res64: 6ADE806CB0DF9DB5 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:40:27] 795*2^1434533-1 is not prime. Res64: DA000CED239A925A Time : 0.0 sec. user=mdettweiler [2016-07-06 16:51:42] 937*2^1434533-1 is not prime. Res64: C4A805F23DD26160 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:51:42] 939*2^1434533-1 is not prime. Res64: 8399531437248B15 Time : 0.0 sec. user=mdettweiler [2016-07-06 16:51:43] 663*2^1434534-1 is not prime. Res64: 0C41F0D309DC33FC Time : 0.0 sec. user=mdettweiler [2016-07-06 16:51:43] 693*2^1434534-1 is not prime. Res64: FC59922200B2510C Time : 0.0 sec. user=mdettweiler [2016-07-06 16:51:43] 723*2^1434534-1 is not prime. Res64: 7B296E9AB742E3C8 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:00:41] 737*2^1434534-1 is not prime. Res64: 13321980E8B8E670 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:00:42] 755*2^1434534-1 is not prime. Res64: A72C5A3C5C3FB383 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:00:43] 861*2^1434534-1 is not prime. Res64: BEAAD22C41ADEA0A Time : 0.0 sec. user=mdettweiler [2016-07-06 17:00:49] 863*2^1434534-1 is not prime. Res64: 438A47C88637EB88 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:00:49] 887*2^1434534-1 is not prime. Res64: E1C50E40AB5F2D53 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:01:52] 893*2^1434534-1 is not prime. Res64: 0C1FE0C4F3944062 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:01:58] 927*2^1434534-1 is not prime. Res64: 93D9FBE9265C5A06 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:02:00] 645*2^1434535-1 is not prime. Res64: 968DFA823D76D6DE Time : 0.0 sec. user=mdettweiler [2016-07-06 17:02:01] 705*2^1434535-1 is not prime. Res64: F5DD533914DEB0EF Time : 0.0 sec. user=mdettweiler [2016-07-06 17:02:02] 771*2^1434535-1 is not prime. Res64: D30C8D42567ADD6D Time : 0.0 sec. user=mdettweiler [2016-07-06 17:26:25] 829*2^1434535-1 is not prime. Res64: 89A049832719D699 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:26:26] 849*2^1434535-1 is not prime. Res64: 523BB44CCA4C8C19 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:26:26] 855*2^1434535-1 is not prime. Res64: 61F9D0770FDD7CB7 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:26:27] 859*2^1434535-1 is not prime. Res64: A77B9C9D527BA44D Time : 0.0 sec. user=mdettweiler [2016-07-06 17:26:27] 951*2^1434535-1 is not prime. Res64: 7F41073B1AFBED6E Time : 0.0 sec. user=mdettweiler [2016-07-06 17:37:39] 699*2^1434536-1 is not prime. Res64: 5D27BB2BC78076F2 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:37:39] 869*2^1434536-1 is not prime. Res64: 7F9558F14C9B71DE Time : 0.0 sec. user=mdettweiler [2016-07-06 17:37:39] 873*2^1434536-1 is not prime. Res64: BE3F64F467E9A6FA Time : 0.0 sec. user=mdettweiler [2016-07-06 17:37:40] 935*2^1434536-1 is not prime. Res64: 238ED13414CC22C1 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:37:40] 609*2^1434537-1 is not prime. Res64: 8D38D2656D47A460 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:46:41] 901*2^1434537-1 is not prime. Res64: 2672EBD723F425D7 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:46:41] 919*2^1434537-1 is not prime. Res64: 3C6ADA8192846997 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:46:41] 813*2^1434538-1 is not prime. Res64: FB7DF26B819234FF Time : 0.0 sec. user=mdettweiler [2016-07-06 17:46:42] 911*2^1434538-1 is not prime. Res64: 44599EC2A6402B2F Time : 0.0 sec. user=mdettweiler [2016-07-06 17:46:42] 941*2^1434538-1 is not prime. Res64: 61AA60784AD6442C Time : 0.0 sec. user=mdettweiler [2016-07-06 17:48:17] 951*2^1434538-1 is not prime. Res64: 437DD3A84D6172C6 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:48:17] 995*2^1434538-1 is not prime. Res64: D96E8E90297A8F65 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:48:18] 609*2^1434539-1 is not prime. Res64: F23666B05573F2C8 Time : 0.0 sec. user=mdettweiler [2016-07-06 17:48:18] 615*2^1434539-1 is not prime. Res64: 1BFEB3281103DA0C Time : 0.0 sec. user=mdettweiler [2016-07-06 17:48:18] 631*2^1434539-1 is not prime. Res64: 3B12DF4898FDB1F8 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:13:01] 711*2^1434539-1 is not prime. Res64: 206E60F25AA95129 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:13:02] 759*2^1434539-1 is not prime. Res64: 19EA46085CA70E4B Time : 0.0 sec. user=mdettweiler [2016-07-06 18:13:02] 825*2^1434539-1 is not prime. Res64: 7A9EE04F9F132ED8 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:13:02] 969*2^1434539-1 is not prime. Res64: D590CC1DA6E843BE Time : 0.0 sec. user=mdettweiler [2016-07-06 18:13:03] 797*2^1434540-1 is not prime. Res64: 61CA5E2436465339 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:24:22] 845*2^1434540-1 is not prime. Res64: 788A0F6ED7D869FB Time : 0.0 sec. user=mdettweiler [2016-07-06 18:24:23] 959*2^1434540-1 is not prime. Res64: E0CA92DB4D3586FF Time : 0.0 sec. user=mdettweiler [2016-07-06 18:24:23] 615*2^1434541-1 is not prime. Res64: 24C843BF644652A1 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:24:23] 691*2^1434541-1 is not prime. Res64: C27E1242444B1F8D Time : 0.0 sec. user=mdettweiler [2016-07-06 18:24:24] 777*2^1434541-1 is not prime. Res64: F6288018B1AFF8E6 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:33:26] 927*2^1434541-1 is not prime. Res64: 474B9A3E89CFF3D3 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:33:33] 931*2^1434541-1 is not prime. Res64: B9D38A19B81FE4A5 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:33:33] 945*2^1434541-1 is not prime. Res64: 14ED654AEAE82825 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:33:33] 961*2^1434541-1 is not prime. Res64: C6E97166F6EB81D5 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:33:34] 635*2^1434542-1 is not prime. Res64: 6B3E8DE4315054E8 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:34:54] 923*2^1434542-1 is not prime. Res64: 2BD65CC5E7594630 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:34:54] 977*2^1434542-1 is not prime. Res64: 8251E97FAC8467EF Time : 0.0 sec. user=mdettweiler [2016-07-06 18:34:54] 615*2^1434543-1 is not prime. Res64: 66094F481120AB6C Time : 0.0 sec. user=mdettweiler [2016-07-06 18:34:54] 661*2^1434543-1 is not prime. Res64: 5E8E199ADAAB07FD Time : 0.0 sec. user=mdettweiler [2016-07-06 18:34:55] 663*2^1434543-1 is not prime. Res64: D46AF6627126BD97 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:59:22] 679*2^1434543-1 is not prime. Res64: 81D0649D512AD622 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:59:23] 709*2^1434543-1 is not prime. Res64: 82CBF0BB8E6EA2A4 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:59:23] 739*2^1434543-1 is not prime. Res64: 9C4A6B0AAE16E484 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:59:23] 763*2^1434543-1 is not prime. Res64: 4112FA6C4620AA40 Time : 0.0 sec. user=mdettweiler [2016-07-06 18:59:23] 819*2^1434543-1 is not prime. Res64: 795567A674C5C6B6 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:10:48] 823*2^1434543-1 is not prime. Res64: 3402E0A5606B8610 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:10:49] 945*2^1434543-1 is not prime. Res64: 58766C1A763E7CE1 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:10:49] 955*2^1434543-1 is not prime. Res64: 922E66CDF818EECB Time : 0.0 sec. user=mdettweiler [2016-07-06 19:10:49] 609*2^1434544-1 is not prime. Res64: F09F2A105DE03F4D Time : 0.0 sec. user=mdettweiler [2016-07-06 19:10:50] 623*2^1434544-1 is not prime. Res64: 9F453553D0EBBAE2 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:20:19] 635*2^1434544-1 is not prime. Res64: E0DCFF269F13E358 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:20:20] 687*2^1434544-1 is not prime. Res64: 81ADDF4916843A26 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:20:20] 693*2^1434544-1 is not prime. Res64: 05BED8FAF71337FC Time : 0.0 sec. user=mdettweiler [2016-07-06 19:20:20] 695*2^1434544-1 is not prime. Res64: DD260B19B0150D17 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:20:21] 747*2^1434544-1 is not prime. Res64: C58B477E4F01296E Time : 0.0 sec. user=mdettweiler [2016-07-06 19:21:32] 827*2^1434544-1 is not prime. Res64: 0694491826DC9C73 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:21:33] 869*2^1434544-1 is not prime. Res64: 262169DE36B29388 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:21:33] 875*2^1434544-1 is not prime. Res64: 8A718C01285CDD49 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:21:34] 899*2^1434544-1 is not prime. Res64: E9A18E273E58A923 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:21:34] 917*2^1434544-1 is not prime. Res64: 4D86AD397502D1C2 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:45:35] 927*2^1434544-1 is not prime. Res64: 2536A62A329AB331 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:45:36] 939*2^1434544-1 is not prime. Res64: 23FD79CF4C204987 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:45:36] 965*2^1434544-1 is not prime. Res64: EA0B49B174206FCC Time : 0.0 sec. user=mdettweiler [2016-07-06 19:45:36] 759*2^1434545-1 is not prime. Res64: 04D42A4A2256374C Time : 0.0 sec. user=mdettweiler [2016-07-06 19:45:37] 801*2^1434545-1 is not prime. Res64: 4B4D2034D0D0B8C5 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:56:11] 861*2^1434545-1 is not prime. Res64: 6D103A52FF3CAA94 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:56:12] 981*2^1434545-1 is not prime. Res64: 80565629B95CAC51 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:56:12] 633*2^1434546-1 is not prime. Res64: BD0366B1D4F2D72A Time : 0.0 sec. user=mdettweiler [2016-07-06 19:56:13] 677*2^1434546-1 is not prime. Res64: CFB1B0684AB1C055 Time : 0.0 sec. user=mdettweiler [2016-07-06 19:56:13] 705*2^1434546-1 is not prime. Res64: 61EA1E8543A9CB65 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:05:35] 713*2^1434546-1 is not prime. Res64: E4CC968BE5DF68E5 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:05:36] 765*2^1434546-1 is not prime. Res64: DEB0192913DD35B0 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:05:37] 801*2^1434546-1 is not prime. Res64: 1E67067CDBDE421E Time : 0.0 sec. user=mdettweiler [2016-07-06 20:05:38] 843*2^1434546-1 is not prime. Res64: C4422682E0FAA0FF Time : 0.0 sec. user=mdettweiler [2016-07-06 20:05:46] 873*2^1434546-1 is not prime. Res64: 874331BE407CFC29 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:06:38] 941*2^1434546-1 is not prime. Res64: 05C676B5773FA17D Time : 0.0 sec. user=mdettweiler [2016-07-06 20:06:38] 741*2^1434547-1 is not prime. Res64: 5AB29DDD0F5AAB83 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:06:39] 889*2^1434547-1 is not prime. Res64: C60C95C54ACE80E7 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:06:39] 951*2^1434547-1 is not prime. Res64: D73FE3026987E557 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:06:39] 629*2^1434548-1 is not prime. Res64: 61F811F3DE5DEA35 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:30:41] 735*2^1434548-1 is not prime. Res64: 3868B0800A542EFD Time : 0.0 sec. user=mdettweiler [2016-07-06 20:30:41] 837*2^1434548-1 is not prime. Res64: 466410165505F4E7 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:30:42] 839*2^1434548-1 is not prime. Res64: 8A3D402F10ECD78B Time : 0.0 sec. user=mdettweiler [2016-07-06 20:30:42] 875*2^1434548-1 is not prime. Res64: 242289E6394D8CAF Time : 0.0 sec. user=mdettweiler [2016-07-06 20:30:43] 927*2^1434548-1 is not prime. Res64: AE316D57101C5B92 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:41:18] 957*2^1434548-1 is not prime. Res64: 870947E0DD37E82B Time : 0.0 sec. user=mdettweiler [2016-07-06 20:41:18] 959*2^1434548-1 is not prime. Res64: 984B2A70DCAD2D78 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:41:19] 977*2^1434548-1 is not prime. Res64: 4E0B922108383685 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:41:19] 741*2^1434549-1 is not prime. Res64: 7E29C1CAD77C5A87 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:41:20] 765*2^1434549-1 is not prime. Res64: 04B8AB93C5A20C25 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:50:53] 921*2^1434549-1 is not prime. Res64: A43EE2170ABA0420 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:50:53] 945*2^1434549-1 is not prime. Res64: 1EC155E28A6D8505 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:50:54] 949*2^1434549-1 is not prime. Res64: 3DCEBBD63559C9AB Time : 0.0 sec. user=mdettweiler [2016-07-06 20:50:54] 955*2^1434549-1 is not prime. Res64: EA1E5E2024203D7B Time : 0.0 sec. user=mdettweiler [2016-07-06 20:50:54] 961*2^1434549-1 is not prime. Res64: 965F2BEF387749AB Time : 0.0 sec. user=mdettweiler [2016-07-06 20:51:52] 999*2^1434549-1 is not prime. Res64: 88EF3728273F4F47 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:51:52] 611*2^1434550-1 is not prime. Res64: CF17D028A88CF720 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:51:53] 623*2^1434550-1 is not prime. Res64: 1A5CF52A6A869F1D Time : 0.0 sec. user=mdettweiler [2016-07-06 20:51:53] 755*2^1434550-1 is not prime. Res64: 378C709A432A92F2 Time : 0.0 sec. user=mdettweiler [2016-07-06 20:51:53] 831*2^1434550-1 is not prime. Res64: 004431BEF19D579C Time : 0.0 sec. user=mdettweiler [2016-07-06 21:15:53] 855*2^1434550-1 is not prime. Res64: 1FF133B58AE1FD7B Time : 0.0 sec. user=mdettweiler [2016-07-06 21:15:54] 857*2^1434550-1 is not prime. Res64: A4450CAEF7C7992A Time : 0.0 sec. user=mdettweiler [2016-07-06 21:15:54] 1001*2^1434550-1 is not prime. Res64: 8F379F1348ACE617 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:15:54] 619*2^1434551-1 is not prime. Res64: E67F9A62E66E7F50 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:15:55] 735*2^1434551-1 is not prime. Res64: B5D4A68C15C0F3E8 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:26:39] 789*2^1434551-1 is not prime. Res64: DA01600C1EE9617F Time : 0.0 sec. user=mdettweiler [2016-07-06 21:26:39] 865*2^1434551-1 is not prime. Res64: 38A0C2C74573B2C8 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:26:39] 609*2^1434552-1 is not prime. Res64: 95DD505B5991D7C2 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:26:40] 635*2^1434552-1 is not prime. Res64: 5055F5819CFEA0B5 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:26:40] 767*2^1434552-1 is not prime. Res64: 7C91738B0311C940 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:36:01] 863*2^1434552-1 is not prime. Res64: 8DFAC29CF0B582BB Time : 0.0 sec. user=mdettweiler [2016-07-06 21:36:01] 887*2^1434552-1 is not prime. Res64: 3108388EDD431B68 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:36:01] 893*2^1434552-1 is not prime. Res64: 88123C1A6D9EDD31 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:36:02] 959*2^1434552-1 is not prime. Res64: 1C9C29B0BAE8A27B Time : 0.0 sec. user=mdettweiler [2016-07-06 21:36:02] 977*2^1434552-1 is not prime. Res64: C7F42A449B56DF1E Time : 0.0 sec. user=mdettweiler [2016-07-06 21:37:12] 705*2^1434553-1 is not prime. Res64: 2684E2018CBACEE6 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:37:13] 805*2^1434553-1 is not prime. Res64: DF937AF8CF59BE33 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:37:13] 831*2^1434553-1 is not prime. Res64: 220A22AB973DB523 Time : 0.0 sec. user=mdettweiler [2016-07-06 21:37:13] 939*2^1434553-1 is not prime. Res64: BE7696DA8C80D37D Time : 0.0 sec. user=mdettweiler [2016-07-06 21:37:14] 605*2^1434554-1 is not prime. Res64: 3AB618FF9CB4ED3D Time : 0.0 sec. user=mdettweiler [2016-07-06 22:01:55] 635*2^1434554-1 is not prime. Res64: 5686692ECFAFA1B2 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:01:56] 641*2^1434554-1 is not prime. Res64: F504136C17885F37 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:01:56] 741*2^1434554-1 is not prime. Res64: 7FE592D5B5995406 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:01:57] 945*2^1434554-1 is not prime. Res64: FFC7EAEF53112C81 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:01:57] 609*2^1434555-1 is not prime. Res64: 9B2DADD52DA2E6CF Time : 0.0 sec. user=mdettweiler [2016-07-06 22:13:26] 625*2^1434555-1 is not prime. Res64: 800BEE46AEBB5C04 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:13:27] 781*2^1434555-1 is not prime. Res64: EB1CB4101AD3F3FB Time : 0.0 sec. user=mdettweiler [2016-07-06 22:13:27] 829*2^1434555-1 is not prime. Res64: CCB16FA85CF69EC7 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:13:28] 755*2^1434556-1 is not prime. Res64: 681AB4AB748A8524 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:13:32] 833*2^1434556-1 is not prime. Res64: A861F9D449282A6D Time : 0.0 sec. user=mdettweiler [2016-07-06 22:23:25] 843*2^1434556-1 is not prime. Res64: 828CA38039D679D0 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:23:26] 875*2^1434556-1 is not prime. Res64: BC2F585B6EA1C271 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:23:26] 999*2^1434556-1 is not prime. Res64: B9822988F5C7CF4D Time : 0.0 sec. user=mdettweiler [2016-07-06 22:23:27] 711*2^1434557-1 is not prime. Res64: 7B3809A789E4A9C5 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:23:27] 915*2^1434557-1 is not prime. Res64: 46B01A517B3C2F30 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:24:37] 621*2^1434558-1 is not prime. Res64: A3BDB5F9588F7B73 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:24:37] 635*2^1434558-1 is not prime. Res64: F6A27277704986FB Time : 0.0 sec. user=mdettweiler [2016-07-06 22:24:38] 663*2^1434558-1 is not prime. Res64: A23FDA85C7C2826E Time : 0.0 sec. user=mdettweiler [2016-07-06 22:24:38] 665*2^1434558-1 is not prime. Res64: 6C48FCD0A029A859 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:24:39] 677*2^1434558-1 is not prime. Res64: A47972AAC6A134CB Time : 0.0 sec. user=mdettweiler [2016-07-06 22:48:33] 681*2^1434558-1 is not prime. Res64: ECBCF0E522594F07 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:48:33] 713*2^1434558-1 is not prime. Res64: 7C21CC73534BC975 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:48:34] 731*2^1434558-1 is not prime. Res64: 0157F75495C048A6 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:48:34] 747*2^1434558-1 is not prime. Res64: 8DA75DAB23FCD58C Time : 0.0 sec. user=mdettweiler [2016-07-06 22:48:35] 755*2^1434558-1 is not prime. Res64: 37BD18CBDC47F436 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:59:22] 825*2^1434558-1 is not prime. Res64: E99B1F7B8D34C600 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:59:22] 893*2^1434558-1 is not prime. Res64: 44CCA745D7D66505 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:59:23] 945*2^1434558-1 is not prime. Res64: A66940FBE0A49E58 Time : 0.0 sec. user=mdettweiler [2016-07-06 22:59:23] 951*2^1434558-1 is not prime. Res64: C6A5818710466A3E Time : 0.0 sec. user=mdettweiler [2016-07-06 22:59:24] 609*2^1434559-1 is not prime. Res64: AF686D46A971DB36 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:08:54] 675*2^1434559-1 is not prime. Res64: DCB8E296074F6A26 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:08:55] 681*2^1434559-1 is not prime. Res64: B8E02EC427E05A92 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:08:56] 741*2^1434559-1 is not prime. Res64: 8774B9582E413034 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:08:56] 759*2^1434559-1 is not prime. Res64: 47FCB3739F8C548F Time : 0.0 sec. user=mdettweiler [2016-07-06 23:08:56] 831*2^1434559-1 is not prime. Res64: 4B852226F1277DEC Time : 0.0 sec. user=mdettweiler [2016-07-06 23:09:51] 861*2^1434559-1 is not prime. Res64: EB19DFFEEDA2E92B Time : 0.0 sec. user=mdettweiler [2016-07-06 23:09:52] 913*2^1434559-1 is not prime. Res64: CEBF20977FE7C01A Time : 0.0 sec. user=mdettweiler [2016-07-06 23:09:52] 931*2^1434559-1 is not prime. Res64: 5D508DD56DA5A820 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:09:53] 675*2^1434560-1 is not prime. Res64: 68E8189C54E37770 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:09:53] 857*2^1434560-1 is not prime. Res64: 29DE443B0FC7337D Time : 0.0 sec. user=mdettweiler [2016-07-06 23:33:54] 999*2^1434560-1 is not prime. Res64: 261422782B9DAD0D Time : 0.0 sec. user=mdettweiler [2016-07-06 23:33:55] 625*2^1434561-1 is not prime. Res64: 7FD18582A679DFCE Time : 0.0 sec. user=mdettweiler [2016-07-06 23:33:55] 735*2^1434561-1 is not prime. Res64: 461CA559FC377282 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:33:56] 747*2^1434561-1 is not prime. Res64: 1F721444684A1199 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:34:00] 795*2^1434561-1 is not prime. Res64: 01932C1C20A7CB77 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:44:34] 653*2^1434562-1 is not prime. Res64: D0DA644AA9D5C45A Time : 0.0 sec. user=mdettweiler [2016-07-06 23:44:34] 743*2^1434562-1 is not prime. Res64: 16BE4066BC34CCB3 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:44:35] 911*2^1434562-1 is not prime. Res64: 786E687F7DF2820E Time : 0.0 sec. user=mdettweiler [2016-07-06 23:44:35] 915*2^1434562-1 is not prime. Res64: E3F7BA9DCF51BA38 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:44:35] 917*2^1434562-1 is not prime. Res64: AEDE3CCC2719A01C Time : 0.0 sec. user=mdettweiler [2016-07-06 23:53:59] 603*2^1434563-1 is not prime. Res64: AEB4A07B4E8FE112 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:53:59] 675*2^1434563-1 is not prime. Res64: 5E63F52FB4CCA401 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:00] 715*2^1434563-1 is not prime. Res64: 8166F24E199A5D13 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:00] 811*2^1434563-1 is not prime. Res64: 5D7011351FB6561B Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:00] 973*2^1434563-1 is not prime. Res64: 9D26430568D505FC Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:54] 749*2^1434564-1 is not prime. Res64: 1C65A4786A03AEF1 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:54] 909*2^1434564-1 is not prime. Res64: 8261B704D3127592 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:55] 915*2^1434564-1 is not prime. Res64: ADFAB51135A0D9CC Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:55] 699*2^1434565-1 is not prime. Res64: 13015BD466F84536 Time : 0.0 sec. user=mdettweiler [2016-07-06 23:54:55] 975*2^1434565-1 is not prime. Res64: BE2C6FB558431E03 Time : 0.0 sec.