user=mdettweiler [2016-05-10 00:08:18] 647*2^1428670-1 is not prime. Res64: 67E67789CC2EB43B Time : 0.0 sec. user=mdettweiler [2016-05-10 00:08:18] 663*2^1428670-1 is not prime. Res64: 7BE2D4C84BABE25F Time : 0.0 sec. user=mdettweiler [2016-05-10 00:08:19] 773*2^1428670-1 is not prime. Res64: 80FA4E5607331A76 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:08:19] 783*2^1428670-1 is not prime. Res64: B3B92D5C4DB16507 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:08:20] 915*2^1428670-1 is not prime. Res64: A11A257CC32B21BB Time : 0.0 sec. user=mdettweiler [2016-05-10 00:25:12] 615*2^1428671-1 is not prime. Res64: 557803B97658B71D Time : 0.0 sec. user=mdettweiler [2016-05-10 00:25:13] 645*2^1428671-1 is not prime. Res64: 8365B492F69D2195 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:25:15] 685*2^1428671-1 is not prime. Res64: C8FBECCF9ACF2CFC Time : 0.0 sec. user=mdettweiler [2016-05-10 00:25:16] 745*2^1428671-1 is not prime. Res64: 11D21173909ADD21 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:25:17] 763*2^1428671-1 is not prime. Res64: BEE984D5B6D6B2E4 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:39:55] 683*2^1428672-1 is not prime. Res64: E52CCC3752DCBBE9 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:39:56] 819*2^1428672-1 is not prime. Res64: 210A3BE3D9C334F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:39:56] 903*2^1428672-1 is not prime. Res64: 3B7B03DFC26695DD Time : 0.0 sec. user=mdettweiler [2016-05-10 00:39:56] 625*2^1428673-1 is not prime. Res64: E17111DDD16C4467 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:39:57] 679*2^1428673-1 is not prime. Res64: 2F2EC97A66B302CA Time : 0.0 sec. user=mdettweiler [2016-05-10 00:43:30] 705*2^1428673-1 is not prime. Res64: F3FB7E70CED2F9F2 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:43:30] 789*2^1428673-1 is not prime. Res64: 3C1A4F912019C7CC Time : 0.0 sec. user=mdettweiler [2016-05-10 00:43:31] 867*2^1428673-1 is not prime. Res64: 419E0C7D95F8D65D Time : 0.0 sec. user=mdettweiler [2016-05-10 00:43:31] 617*2^1428674-1 is not prime. Res64: 7BDA027D64114B72 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:43:31] 657*2^1428674-1 is not prime. Res64: 2CCB2D265A76CD70 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:53:48] 683*2^1428674-1 is not prime. Res64: CA0EC8863D537E94 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:53:48] 753*2^1428674-1 is not prime. Res64: F267BFD4F6783836 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:53:48] 783*2^1428674-1 is not prime. Res64: 3BA4E9142041D167 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:53:49] 857*2^1428674-1 is not prime. Res64: C05BCAD454DB61D9 Time : 0.0 sec. user=mdettweiler [2016-05-10 00:53:49] 935*2^1428674-1 is not prime. Res64: DD25DAB2340B0295 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:10:56] 633*2^1428675-1 is not prime. Res64: 0D567663C01A9DC2 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:10:56] 663*2^1428675-1 is not prime. Res64: A5297AEDEF9FC0FB Time : 0.0 sec. user=mdettweiler [2016-05-10 01:10:57] 859*2^1428675-1 is not prime. Res64: BFEE58B8BF250E4E Time : 0.0 sec. user=mdettweiler [2016-05-10 01:10:57] 943*2^1428675-1 is not prime. Res64: 36CCF4AEEDC94D1A Time : 0.0 sec. user=mdettweiler [2016-05-10 01:10:58] 695*2^1428676-1 is not prime. Res64: F62674A60982FBD2 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:25:23] 743*2^1428676-1 is not prime. Res64: E704E616EF4FDB44 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:25:24] 749*2^1428676-1 is not prime. Res64: F456C7B5AC441A5B Time : 0.0 sec. user=mdettweiler [2016-05-10 01:25:25] 923*2^1428676-1 is not prime. Res64: A011D0C26076FDE9 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:25:25] 939*2^1428676-1 is not prime. Res64: 4EF279137055A85D Time : 0.0 sec. user=mdettweiler [2016-05-10 01:25:26] 607*2^1428677-1 is not prime. Res64: 43007BCBCB859D9F Time : 0.0 sec. user=mdettweiler [2016-05-10 01:28:51] 651*2^1428677-1 is not prime. Res64: F8503C9C0AB68ABC Time : 0.0 sec. user=mdettweiler [2016-05-10 01:28:52] 699*2^1428677-1 is not prime. Res64: D934466816760D63 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:28:53] 717*2^1428677-1 is not prime. Res64: 2DE2AEFC6BE6EDF4 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:28:53] 771*2^1428677-1 is not prime. Res64: 5592AF0EDFE94B52 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:28:54] 885*2^1428677-1 is not prime. Res64: 551D1836397EA276 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:39:10] 915*2^1428677-1 is not prime. Res64: A9116D48061BAE86 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:39:10] 939*2^1428677-1 is not prime. Res64: 5F984F74914306A5 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:39:11] 711*2^1428678-1 is not prime. Res64: B73E9820D3E21239 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:39:11] 725*2^1428678-1 is not prime. Res64: 7EA4087470FF7546 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:39:11] 765*2^1428678-1 is not prime. Res64: B9E54A05F2C3E7DB Time : 0.0 sec. user=mdettweiler [2016-05-10 01:56:46] 843*2^1428678-1 is not prime. Res64: 6220CA5BC78CD491 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:56:46] 915*2^1428678-1 is not prime. Res64: 47DC98349C85FBD0 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:56:47] 681*2^1428679-1 is not prime. Res64: DAF297E6B7157DE6 Time : 0.0 sec. user=mdettweiler [2016-05-10 01:56:47] 705*2^1428679-1 is not prime. Res64: 51F274BBA11E9F1A Time : 0.0 sec. user=mdettweiler [2016-05-10 01:56:48] 841*2^1428679-1 is not prime. Res64: 224646C35AF5968E Time : 0.0 sec. user=mdettweiler [2016-05-10 02:10:54] 985*2^1428679-1 is not prime. Res64: 3070E97C2941AC2D Time : 0.0 sec. user=mdettweiler [2016-05-10 02:10:55] 605*2^1428680-1 is not prime. Res64: 4AB26F955F420281 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:10:55] 663*2^1428680-1 is not prime. Res64: BE2BB48759084033 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:10:56] 743*2^1428680-1 is not prime. Res64: 585F7F822A340DC8 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:10:56] 825*2^1428680-1 is not prime. Res64: CAB131F452046F28 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:14:26] 827*2^1428680-1 is not prime. Res64: D30B12569BCD346A Time : 0.0 sec. user=mdettweiler [2016-05-10 02:14:26] 855*2^1428680-1 is not prime. Res64: BCC1827515F2785D Time : 0.0 sec. user=mdettweiler [2016-05-10 02:14:27] 857*2^1428680-1 is not prime. Res64: 2C32144FF4BB637A Time : 0.0 sec. user=mdettweiler [2016-05-10 02:14:27] 995*2^1428680-1 is not prime. Res64: 06E7DB0F893DE70D Time : 0.0 sec. user=mdettweiler [2016-05-10 02:14:28] 607*2^1428681-1 is not prime. Res64: 91CA2972475F5342 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:25:04] 625*2^1428681-1 is not prime. Res64: 187A1A4E13C5D3B5 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:25:05] 675*2^1428681-1 is not prime. Res64: BC375024D92779B4 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:25:05] 705*2^1428681-1 is not prime. Res64: B1F83472C425ED05 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:25:06] 871*2^1428681-1 is not prime. Res64: 6AF425B2716A910D Time : 0.0 sec. user=mdettweiler [2016-05-10 02:25:06] 885*2^1428681-1 is not prime. Res64: F15311D7CD2DB9EE Time : 0.0 sec. user=mdettweiler [2016-05-10 02:42:11] 949*2^1428681-1 is not prime. Res64: D57CDAC3969E7152 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:42:11] 717*2^1428682-1 is not prime. Res64: 6CB9D5FCF3DF56C5 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:42:12] 603*2^1428683-1 is not prime. Res64: 65A80D61F09D2437 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:42:12] 619*2^1428683-1 is not prime. Res64: 15CA2606668E2029 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:42:13] 675*2^1428683-1 is not prime. Res64: 20ABA590CF531756 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:56:48] 781*2^1428683-1 is not prime. Res64: 9A2AAB09F61395F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:56:48] 811*2^1428683-1 is not prime. Res64: 96AC18A07EE38794 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:56:48] 913*2^1428683-1 is not prime. Res64: 8476ED65CA00EC23 Time : 0.0 sec. user=mdettweiler [2016-05-10 02:56:49] 955*2^1428683-1 is not prime. Res64: 89AAA5CEECEF7ACD Time : 0.0 sec. user=mdettweiler [2016-05-10 02:56:49] 973*2^1428683-1 is not prime. Res64: EC0E1C0DC8F17298 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:00:12] 985*2^1428683-1 is not prime. Res64: B3658772ECA2D833 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:00:13] 635*2^1428684-1 is not prime. Res64: B2AE86FBFDF7C90B Time : 0.0 sec. user=mdettweiler [2016-05-10 03:00:14] 723*2^1428684-1 is not prime. Res64: B37650002AB69BDA Time : 0.0 sec. user=mdettweiler [2016-05-10 03:00:15] 857*2^1428684-1 is not prime. Res64: 22A0051C4ADC4645 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:00:16] 873*2^1428684-1 is not prime. Res64: A050F09044673D4E Time : 0.0 sec. user=mdettweiler [2016-05-10 03:10:53] 855*2^1428685-1 is not prime. Res64: 9AC1BA8B43573041 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:10:56] 867*2^1428685-1 is not prime. Res64: 7F5FB0C81AD3F210 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:10:58] 885*2^1428685-1 is not prime. Res64: 27F2BBE244BE4EAB Time : 0.0 sec. user=mdettweiler [2016-05-10 03:11:00] 937*2^1428685-1 is not prime. Res64: C5D142A230FEEB70 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:11:02] 951*2^1428685-1 is not prime. Res64: 513715772DE37C1C Time : 0.0 sec. user=mdettweiler [2016-05-10 03:28:21] 985*2^1428685-1 is not prime. Res64: 173F3B7D5079CF3B Time : 0.0 sec. user=mdettweiler [2016-05-10 03:28:22] 997*2^1428685-1 is not prime. Res64: AEACC41D1807A22C Time : 0.0 sec. user=mdettweiler [2016-05-10 03:28:23] 623*2^1428686-1 is not prime. Res64: 4A478E68DC18A516 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:28:24] 705*2^1428686-1 is not prime. Res64: F2582645DC1EE8EC Time : 0.0 sec. user=mdettweiler [2016-05-10 03:28:25] 767*2^1428686-1 is not prime. Res64: DC242DB8720FB287 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:42:21] 893*2^1428686-1 is not prime. Res64: 8FBB8330C94E0F83 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:42:22] 993*2^1428686-1 is not prime. Res64: 925641F03A38F6D0 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:42:22] 643*2^1428687-1 is not prime. Res64: CDC9042DD3012AB7 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:42:23] 661*2^1428687-1 is not prime. Res64: AC2757F76D557269 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:42:24] 805*2^1428687-1 is not prime. Res64: C2499BD3F61A0C51 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:45:58] 895*2^1428687-1 is not prime. Res64: 618E7CDCCD254699 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:45:58] 963*2^1428687-1 is not prime. Res64: 43A08B817086FC5C Time : 0.0 sec. user=mdettweiler [2016-05-10 03:46:00] 973*2^1428687-1 is not prime. Res64: 961ECA114DD5365C Time : 0.0 sec. user=mdettweiler [2016-05-10 03:46:00] 985*2^1428687-1 is not prime. Res64: D0DA0D887C1BBBE5 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:46:01] 603*2^1428688-1 is not prime. Res64: 43E92B84715EA1E9 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:57:18] 605*2^1428688-1 is not prime. Res64: 603E597519845A6E Time : 0.0 sec. user=mdettweiler [2016-05-10 03:57:19] 735*2^1428688-1 is not prime. Res64: E1D9580733E42BA1 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:57:20] 755*2^1428688-1 is not prime. Res64: 458B3EDA3C9DDD5C Time : 0.0 sec. user=mdettweiler [2016-05-10 03:57:21] 803*2^1428688-1 is not prime. Res64: 01A67CFD0968B010 Time : 0.0 sec. user=mdettweiler [2016-05-10 03:57:22] 675*2^1428689-1 is not prime. Res64: D323440684FFFEAA Time : 0.0 sec. user=mdettweiler [2016-05-10 04:15:23] 721*2^1428689-1 is not prime. Res64: E9D86771AF0F37D2 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:15:23] 861*2^1428689-1 is not prime. Res64: 4119D7CC39F6EF54 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:15:24] 879*2^1428689-1 is not prime. Res64: 79937A09BCDC1356 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:15:24] 957*2^1428689-1 is not prime. Res64: 9E9A2DDC48DE0FAF Time : 0.0 sec. user=mdettweiler [2016-05-10 04:15:24] 969*2^1428689-1 is not prime. Res64: F6AB46FF579151B2 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:29:14] 671*2^1428690-1 is not prime. Res64: 87E88996765E586F Time : 0.0 sec. user=mdettweiler [2016-05-10 04:29:15] 695*2^1428690-1 is not prime. Res64: 95F14169DF82B75B Time : 0.0 sec. user=mdettweiler [2016-05-10 04:29:15] 711*2^1428690-1 is not prime. Res64: E713187891EC374D Time : 0.0 sec. user=mdettweiler [2016-05-10 04:29:15] 741*2^1428690-1 is not prime. Res64: 9C1228186F262129 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:29:16] 783*2^1428690-1 is not prime. Res64: D249C876643C05CC Time : 0.0 sec. user=mdettweiler [2016-05-10 04:33:02] 825*2^1428690-1 is not prime. Res64: 0C20C071CC79283C Time : 0.0 sec. user=mdettweiler [2016-05-10 04:33:03] 875*2^1428690-1 is not prime. Res64: 56B96DEEA623A235 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:33:03] 887*2^1428690-1 is not prime. Res64: 02DF195D722F0757 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:33:04] 601*2^1428691-1 is not prime. Res64: 29C458539C8008DD Time : 0.0 sec. user=mdettweiler [2016-05-10 04:33:04] 705*2^1428691-1 is not prime. Res64: 72D1CCE0B43BFD03 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:44:25] 771*2^1428691-1 is not prime. Res64: C0CF7113F6E1236F Time : 0.0 sec. user=mdettweiler [2016-05-10 04:44:26] 805*2^1428691-1 is not prime. Res64: 5D68E0E9641D7B69 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:44:27] 939*2^1428691-1 is not prime. Res64: E26E3A4311139D66 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:44:28] 999*2^1428691-1 is not prime. Res64: 51846C25D1A563A0 Time : 0.0 sec. user=mdettweiler [2016-05-10 04:44:28] 785*2^1428692-1 is not prime. Res64: 789BD8064721F890 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:01:52] 803*2^1428692-1 is not prime. Res64: 97E88BE4F8DA4C69 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:01:54] 825*2^1428692-1 is not prime. Res64: 7C679AA10ADC0761 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:01:54] 903*2^1428692-1 is not prime. Res64: 503048CAABB0245D Time : 0.0 sec. user=mdettweiler [2016-05-10 05:01:56] 999*2^1428692-1 is not prime. Res64: 92F51A3EAD35CF03 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:01:57] 607*2^1428693-1 is not prime. Res64: D7853A2A416D1942 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:14:46] 681*2^1428693-1 is not prime. Res64: BF856D18B25C3974 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:14:46] 699*2^1428693-1 is not prime. Res64: 3098047F76E8A0C7 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:14:47] 727*2^1428693-1 is not prime. Res64: 1DC9981868625B9D Time : 0.0 sec. user=mdettweiler [2016-05-10 05:14:47] 747*2^1428693-1 is not prime. Res64: D71D37C247519511 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:14:48] 819*2^1428693-1 is not prime. Res64: AA62B68FF725B36C Time : 0.0 sec. user=mdettweiler [2016-05-10 05:18:23] 861*2^1428693-1 is not prime. Res64: 006B69CF4C09576A Time : 0.0 sec. user=mdettweiler [2016-05-10 05:18:23] 871*2^1428693-1 is not prime. Res64: A4388C38AA4473B6 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:18:23] 895*2^1428693-1 is not prime. Res64: B19714250A828572 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:18:24] 915*2^1428693-1 is not prime. Res64: 86955844E3D0D61D Time : 0.0 sec. user=mdettweiler [2016-05-10 05:18:24] 951*2^1428693-1 is not prime. Res64: 69BB0D15D08A06B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:29:47] 723*2^1428694-1 is not prime. Res64: E51A546D1EC76321 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:29:48] 737*2^1428694-1 is not prime. Res64: C016DFD1BCD09924 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:29:48] 747*2^1428694-1 is not prime. Res64: E96D69A1EA9C3A5C Time : 0.0 sec. user=mdettweiler [2016-05-10 05:29:49] 827*2^1428694-1 is not prime. Res64: A78D8A6FEE017020 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:29:49] 945*2^1428694-1 is not prime. Res64: 352E1C818D96C099 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:47:43] 619*2^1428695-1 is not prime. Res64: 3DC97B4F6DB875E3 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:47:43] 679*2^1428695-1 is not prime. Res64: 41D37707D103C45B Time : 0.0 sec. user=mdettweiler [2016-05-10 05:47:44] 685*2^1428695-1 is not prime. Res64: 1B6ABD7D91EDEF7A Time : 0.0 sec. user=mdettweiler [2016-05-10 05:47:44] 829*2^1428695-1 is not prime. Res64: A8CCE18E4F4254D8 Time : 0.0 sec. user=mdettweiler [2016-05-10 05:47:44] 831*2^1428695-1 is not prime. Res64: BDA1A9C703C785B0 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:00:10] 699*2^1428696-1 is not prime. Res64: 11ED36E1FE8AC4EB Time : 0.0 sec. user=mdettweiler [2016-05-10 06:00:11] 707*2^1428696-1 is not prime. Res64: AB000CE0018D642A Time : 0.0 sec. user=mdettweiler [2016-05-10 06:00:12] 765*2^1428696-1 is not prime. Res64: 8F3802826462F20E Time : 0.0 sec. user=mdettweiler [2016-05-10 06:00:13] 845*2^1428696-1 is not prime. Res64: 93F89BF818CC96F9 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:00:14] 975*2^1428696-1 is not prime. Res64: C61639CF29F76725 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:03:53] 625*2^1428697-1 is not prime. Res64: 42CD63E02CD5C61E Time : 0.0 sec. user=mdettweiler [2016-05-10 06:03:54] 649*2^1428697-1 is not prime. Res64: 3FDA58EC2C24C557 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:03:55] 771*2^1428697-1 is not prime. Res64: 41DBE319636D00C2 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:03:56] 801*2^1428697-1 is not prime. Res64: 720C432A69EB80BB Time : 0.0 sec. user=mdettweiler [2016-05-10 06:03:57] 807*2^1428697-1 is not prime. Res64: 93A745AFC947D423 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:15:12] 889*2^1428697-1 is not prime. Res64: 9D74102D968E99BC Time : 0.0 sec. user=mdettweiler [2016-05-10 06:15:13] 937*2^1428697-1 is not prime. Res64: B92005962DE354B1 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:15:14] 633*2^1428698-1 is not prime. Res64: 5DA800E3A7A23CA2 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:15:15] 641*2^1428698-1 is not prime. Res64: 2BCA17DD833DB03D Time : 0.0 sec. user=mdettweiler [2016-05-10 06:15:16] 801*2^1428698-1 is not prime. Res64: A2464BC26E0A78CB Time : 0.0 sec. user=mdettweiler [2016-05-10 06:33:24] 825*2^1428698-1 is not prime. Res64: B5976581604C5A41 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:33:25] 833*2^1428698-1 is not prime. Res64: D7FE36836F8F9440 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:33:25] 837*2^1428698-1 is not prime. Res64: BE93AAE7215F6012 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:33:26] 861*2^1428698-1 is not prime. Res64: 0BE0E8EE70F0124F Time : 0.0 sec. user=mdettweiler [2016-05-10 06:33:26] 923*2^1428698-1 is not prime. Res64: 0D521B4CAAB71B11 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:46:02] 935*2^1428698-1 is not prime. Res64: 3EDC35C42EAB3555 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:46:02] 625*2^1428699-1 is not prime. Res64: 1EA37CBE6A7851EE Time : 0.0 sec. user=mdettweiler [2016-05-10 06:46:02] 685*2^1428699-1 is not prime. Res64: 6468ACEFD4BB1DB5 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:46:03] 723*2^1428699-1 is not prime. Res64: BF72183F0002559B Time : 0.0 sec. user=mdettweiler [2016-05-10 06:46:03] 795*2^1428699-1 is not prime. Res64: 5E3DB291011714B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:49:28] 835*2^1428699-1 is not prime. Res64: 0847E295F19BC7EF Time : 0.0 sec. user=mdettweiler [2016-05-10 06:49:28] 873*2^1428699-1 is not prime. Res64: 4B96DAFED32198C1 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:49:28] 931*2^1428699-1 is not prime. Res64: BF41ADC3640CD6D8 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:49:29] 955*2^1428699-1 is not prime. Res64: EE480C56B9A4C2E6 Time : 0.0 sec. user=mdettweiler [2016-05-10 06:49:29] 699*2^1428700-1 is not prime. Res64: ED4D366EEBAB52A0 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:00:48] 759*2^1428700-1 is not prime. Res64: 4177BDDC02BB49BC Time : 0.0 sec. user=mdettweiler [2016-05-10 07:00:49] 863*2^1428700-1 is not prime. Res64: C7660DD0F9C40BA1 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:00:50] 619*2^1428701-1 is not prime. Res64: 87BE80B9227D76A0 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:00:51] 645*2^1428701-1 is not prime. Res64: 55133ECBB06AF6CE Time : 0.0 sec. user=mdettweiler [2016-05-10 07:00:51] 777*2^1428701-1 is not prime. Res64: 2B3D3CB7BB8541A4 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:18:56] 805*2^1428701-1 is not prime. Res64: 2EC7809560C75E31 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:18:56] 951*2^1428701-1 is not prime. Res64: 827A1A00522F7263 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:18:57] 957*2^1428701-1 is not prime. Res64: DF36F17615406369 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:18:57] 651*2^1428702-1 is not prime. Res64: E72AEF2FE3C099E7 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:18:57] 681*2^1428702-1 is not prime. Res64: A596B2A8B52B3BA8 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:31:27] 777*2^1428702-1 is not prime. Res64: 2570F62CA49FD6DF Time : 0.0 sec. user=mdettweiler [2016-05-10 07:31:27] 887*2^1428702-1 is not prime. Res64: FD46D5BF8F14F7FE Time : 0.0 sec. user=mdettweiler [2016-05-10 07:31:28] 951*2^1428702-1 is not prime. Res64: 8C04FA18D489B2AF Time : 0.0 sec. user=mdettweiler [2016-05-10 07:31:28] 675*2^1428703-1 is not prime. Res64: D6C87A87A97FE1FD Time : 0.0 sec. user=mdettweiler [2016-05-10 07:31:29] 705*2^1428703-1 is not prime. Res64: 489C0A060318B464 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:34:55] 901*2^1428703-1 is not prime. Res64: 6006B047D99D725F Time : 0.0 sec. user=mdettweiler [2016-05-10 07:34:55] 635*2^1428704-1 is not prime. Res64: D0874164F7BAF457 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:34:56] 753*2^1428704-1 is not prime. Res64: 3F543F5267DD2575 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:34:56] 755*2^1428704-1 is not prime. Res64: 6F834B0EC9127103 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:34:56] 825*2^1428704-1 is not prime. Res64: FF18A840D2700176 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:46:13] 875*2^1428704-1 is not prime. Res64: D8F69F4929F459BD Time : 0.0 sec. user=mdettweiler [2016-05-10 07:46:13] 927*2^1428704-1 is not prime. Res64: 9DF13AD2F0ACC524 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:46:14] 935*2^1428704-1 is not prime. Res64: 7E9D81CD57D2D20E Time : 0.0 sec. user=mdettweiler [2016-05-10 07:46:14] 969*2^1428704-1 is not prime. Res64: 99526F8506772AA7 Time : 0.0 sec. user=mdettweiler [2016-05-10 07:46:14] 627*2^1428705-1 is not prime. Res64: 76B5A765E1EFFA3C Time : 0.0 sec. user=mdettweiler [2016-05-10 08:05:28] 675*2^1428705-1 is not prime. Res64: 06B15E222F98DCBA Time : 0.0 sec. user=mdettweiler [2016-05-10 08:05:30] 777*2^1428705-1 is not prime. Res64: 47E7BF80723AA59E Time : 0.0 sec. user=mdettweiler [2016-05-10 08:05:31] 811*2^1428705-1 is not prime. Res64: 5558F134472CEA34 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:05:31] 817*2^1428705-1 is not prime. Res64: 58835086A51EFEE7 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:05:32] 635*2^1428706-1 is not prime. Res64: F8FA3324D82A567F Time : 0.0 sec. user=mdettweiler [2016-05-10 08:18:28] 671*2^1428706-1 is not prime. Res64: 0D44BCD4CF092C40 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:18:29] 677*2^1428706-1 is not prime. Res64: 879463179735D3FB Time : 0.0 sec. user=mdettweiler [2016-05-10 08:18:29] 695*2^1428706-1 is not prime. Res64: 4FB4AE8E0FEE8EBF Time : 0.0 sec. user=mdettweiler [2016-05-10 08:18:30] 713*2^1428706-1 is not prime. Res64: 11BCCF507C8C6692 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:18:30] 741*2^1428706-1 is not prime. Res64: 59EBE1C0F5E1EFBF Time : 0.0 sec. user=mdettweiler [2016-05-10 08:21:40] 777*2^1428706-1 is not prime. Res64: C65A9093E5AF8B26 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:21:41] 803*2^1428706-1 is not prime. Res64: 64E532F8811D67B3 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:21:42] 813*2^1428706-1 is not prime. Res64: 71702FD55ECF2165 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:21:42] 861*2^1428706-1 is not prime. Res64: 18AD1EE8620B3E2E Time : 0.0 sec. user=mdettweiler [2016-05-10 08:21:43] 911*2^1428706-1 is not prime. Res64: 30691684F02FDFEF Time : 0.0 sec. user=mdettweiler [2016-05-10 08:32:43] 609*2^1428707-1 is not prime. Res64: 3B3990FE568325D9 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:32:44] 669*2^1428707-1 is not prime. Res64: 3B962BA1F295836D Time : 0.0 sec. user=mdettweiler [2016-05-10 08:32:44] 699*2^1428707-1 is not prime. Res64: DFDEAE2F9CB73772 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:32:45] 735*2^1428707-1 is not prime. Res64: 8BCB9B2343C04EBD Time : 0.0 sec. user=mdettweiler [2016-05-10 08:32:45] 819*2^1428707-1 is not prime. Res64: 97674891001C6126 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:51:23] 841*2^1428707-1 is not prime. Res64: 1FD1C36C8E4E2127 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:51:24] 665*2^1428708-1 is not prime. Res64: 2E9BB2446AB6D8FF Time : 0.0 sec. user=mdettweiler [2016-05-10 08:51:24] 737*2^1428708-1 is not prime. Res64: BB95704A7ADE51C0 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:51:24] 839*2^1428708-1 is not prime. Res64: EB346708F8EF62E8 Time : 0.0 sec. user=mdettweiler [2016-05-10 08:51:25] 875*2^1428708-1 is not prime. Res64: 2D3987E5DA270CB6 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:04:10] 899*2^1428708-1 is not prime. Res64: FF247C71AEB49666 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:04:11] 947*2^1428708-1 is not prime. Res64: 6125EABAE002AB5F Time : 0.0 sec. user=mdettweiler [2016-05-10 09:04:12] 855*2^1428709-1 is not prime. Res64: D21106E5BE2E0AC5 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:04:13] 895*2^1428709-1 is not prime. Res64: 5B072923C3C3FB4E Time : 0.0 sec. user=mdettweiler [2016-05-10 09:04:14] 897*2^1428709-1 is not prime. Res64: 65537F4160C7F04A Time : 0.0 sec. user=mdettweiler [2016-05-10 09:07:17] 635*2^1428710-1 is not prime. Res64: 2E51D1BD41DE764C Time : 0.0 sec. user=mdettweiler [2016-05-10 09:07:18] 645*2^1428710-1 is not prime. Res64: 52FB69A65760E404 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:07:19] 657*2^1428710-1 is not prime. Res64: AB7E31DC77C72E62 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:07:19] 773*2^1428710-1 is not prime. Res64: 6F182CC71ED88995 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:07:20] 797*2^1428710-1 is not prime. Res64: F222196AADA6D317 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:18:15] 827*2^1428710-1 is not prime. Res64: 1D5F98F50829FCFA Time : 0.0 sec. user=mdettweiler [2016-05-10 09:18:16] 921*2^1428710-1 is not prime. Res64: 9985D22129A36493 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:18:16] 613*2^1428711-1 is not prime. Res64: 8BE7DA425A1D8BEF Time : 0.0 sec. user=mdettweiler [2016-05-10 09:18:17] 651*2^1428711-1 is not prime. Res64: 1C8DF6C380A540CA Time : 0.0 sec. user=mdettweiler [2016-05-10 09:18:17] 661*2^1428711-1 is not prime. Res64: 69C27DBE83A46E2A Time : 0.0 sec. user=mdettweiler [2016-05-10 09:36:51] 693*2^1428711-1 is not prime. Res64: 2272A04E382C7639 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:36:52] 741*2^1428711-1 is not prime. Res64: 5A0D52E8A5689BFE Time : 0.0 sec. user=mdettweiler [2016-05-10 09:36:52] 751*2^1428711-1 is not prime. Res64: BEC9E3746394E831 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:36:53] 933*2^1428711-1 is not prime. Res64: 7413E13726AB6B4C Time : 0.0 sec. user=mdettweiler [2016-05-10 09:36:53] 969*2^1428711-1 is not prime. Res64: 2A298B2943F40813 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:50:11] 603*2^1428712-1 is not prime. Res64: E5123F8EE68AE4FC Time : 0.0 sec. user=mdettweiler [2016-05-10 09:50:11] 635*2^1428712-1 is not prime. Res64: FA58138D5AF69D75 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:50:12] 687*2^1428712-1 is not prime. Res64: 68A718E769947D9E Time : 0.0 sec. user=mdettweiler [2016-05-10 09:50:12] 693*2^1428712-1 is not prime. Res64: 9DCB37B628D62645 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:50:12] 743*2^1428712-1 is not prime. Res64: A16A557747335D99 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:53:25] 959*2^1428712-1 is not prime. Res64: B2D8CD2B28CAC33E Time : 0.0 sec. user=mdettweiler [2016-05-10 09:53:25] 983*2^1428712-1 is not prime. Res64: C307290B710D8A40 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:53:25] 649*2^1428713-1 is not prime. Res64: CB6EE1291B813719 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:53:26] 675*2^1428713-1 is not prime. Res64: E9227D8B2FD97B67 Time : 0.0 sec. user=mdettweiler [2016-05-10 09:53:26] 811*2^1428713-1 is not prime. Res64: E39DA2B359300785 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:04:15] 847*2^1428713-1 is not prime. Res64: 9BDCAFE116F26989 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:04:16] 987*2^1428713-1 is not prime. Res64: 8D5F5C693742A5FD Time : 0.0 sec. user=mdettweiler [2016-05-10 10:04:18] 681*2^1428714-1 is not prime. Res64: 8CD446FA69B5FBF7 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:04:19] 747*2^1428714-1 is not prime. Res64: 15C6CBAA67A1AF14 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:04:19] 791*2^1428714-1 is not prime. Res64: E225F11E8F1830DA Time : 0.0 sec. user=mdettweiler [2016-05-10 10:23:05] 885*2^1428714-1 is not prime. Res64: 19233175BBD60037 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:23:06] 923*2^1428714-1 is not prime. Res64: B4B7B48B33A9B2F1 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:23:06] 971*2^1428714-1 is not prime. Res64: 3A9798BA7BB48C0D Time : 0.0 sec. user=mdettweiler [2016-05-10 10:23:06] 603*2^1428715-1 is not prime. Res64: 850E00F10C3E3D6E Time : 0.0 sec. user=mdettweiler [2016-05-10 10:23:07] 625*2^1428715-1 is not prime. Res64: 28675D25CDDD0895 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:36:06] 639*2^1428715-1 is not prime. Res64: 80DBB4A3615E18CE Time : 0.0 sec. user=mdettweiler [2016-05-10 10:36:07] 715*2^1428715-1 is not prime. Res64: 7CD2693DFDC22978 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:36:08] 849*2^1428715-1 is not prime. Res64: 7E75F7ED7070AEAE Time : 0.0 sec. user=mdettweiler [2016-05-10 10:36:08] 853*2^1428715-1 is not prime. Res64: 9AF0EB822A356263 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:36:09] 861*2^1428715-1 is not prime. Res64: A1EED332F6F8D7D8 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:39:33] 889*2^1428715-1 is not prime. Res64: 332FBFCA8A4DC697 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:39:33] 813*2^1428716-1 is not prime. Res64: C084370D5EFB5E1E Time : 0.0 sec. user=mdettweiler [2016-05-10 10:39:33] 833*2^1428716-1 is not prime. Res64: 32DF5F5666D77047 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:39:34] 843*2^1428716-1 is not prime. Res64: B58B675BA651DD3A Time : 0.0 sec. user=mdettweiler [2016-05-10 10:39:34] 873*2^1428716-1 is not prime. Res64: 9B0D8291B1434992 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:50:38] 903*2^1428716-1 is not prime. Res64: 7DFD9F89408564CF Time : 0.0 sec. user=mdettweiler [2016-05-10 10:50:38] 963*2^1428716-1 is not prime. Res64: F1BF5F85B0562DCD Time : 0.0 sec. user=mdettweiler [2016-05-10 10:50:38] 699*2^1428717-1 is not prime. Res64: 112226D12E14457A Time : 0.0 sec. user=mdettweiler [2016-05-10 10:50:39] 735*2^1428717-1 is not prime. Res64: 0A603FB936E92437 Time : 0.0 sec. user=mdettweiler [2016-05-10 10:50:39] 777*2^1428717-1 is not prime. Res64: 2759CCF120DBC677 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:09:18] 915*2^1428717-1 is not prime. Res64: 6BB0ADC4399A2EF3 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:09:19] 945*2^1428717-1 is not prime. Res64: 1CDF3D5F9C0C9972 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:09:19] 955*2^1428717-1 is not prime. Res64: F597C99CFD49E7F5 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:09:20] 623*2^1428718-1 is not prime. Res64: FD211080651358DE Time : 0.0 sec. user=mdettweiler [2016-05-10 11:09:20] 681*2^1428718-1 is not prime. Res64: 9444DE1548EE29C3 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:22:11] 885*2^1428718-1 is not prime. Res64: BA440B7AD53F8A19 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:22:12] 951*2^1428718-1 is not prime. Res64: 54B06F2221DB039B Time : 0.0 sec. user=mdettweiler [2016-05-10 11:22:13] 987*2^1428718-1 is not prime. Res64: 529C8C82A5929836 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:22:13] 609*2^1428719-1 is not prime. Res64: 8B434CBCB29249EB Time : 0.0 sec. user=mdettweiler [2016-05-10 11:22:14] 619*2^1428719-1 is not prime. Res64: 6E4F592E8EC6F17C Time : 0.0 sec. user=mdettweiler [2016-05-10 11:25:40] 669*2^1428719-1 is not prime. Res64: 04061BF733A9999B Time : 0.0 sec. user=mdettweiler [2016-05-10 11:25:41] 931*2^1428719-1 is not prime. Res64: 21AEF5D716FC9655 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:25:41] 629*2^1428720-1 is not prime. Res64: 593DC38406CA8DAE Time : 0.0 sec. user=mdettweiler [2016-05-10 11:25:41] 669*2^1428720-1 is not prime. Res64: F54E2853D7372414 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:25:42] 765*2^1428720-1 is not prime. Res64: 028CFB82A9E8F0A1 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:36:46] 843*2^1428720-1 is not prime. Res64: 392B7376475736AE Time : 0.0 sec. user=mdettweiler [2016-05-10 11:36:47] 899*2^1428720-1 is not prime. Res64: A396F6271B82341F Time : 0.0 sec. user=mdettweiler [2016-05-10 11:36:47] 927*2^1428720-1 is not prime. Res64: 68B1D6486CDDAD6C Time : 0.0 sec. user=mdettweiler [2016-05-10 11:36:47] 615*2^1428721-1 is not prime. Res64: C49E276D1AFEAC57 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:36:48] 685*2^1428721-1 is not prime. Res64: 53FD42E1C355C7BF Time : 0.0 sec. user=mdettweiler [2016-05-10 11:55:29] 717*2^1428721-1 is not prime. Res64: D1E523C032E76928 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:55:29] 727*2^1428721-1 is not prime. Res64: 6B5ACC745DF4BE71 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:55:30] 871*2^1428721-1 is not prime. Res64: 5B44B04E8427B27B Time : 0.0 sec. user=mdettweiler [2016-05-10 11:55:30] 937*2^1428721-1 is not prime. Res64: 9831160BEF591950 Time : 0.0 sec. user=mdettweiler [2016-05-10 11:55:31] 957*2^1428721-1 is not prime. Res64: 2BB74A0F1334514F Time : 0.0 sec. user=mdettweiler [2016-05-10 12:08:09] 981*2^1428721-1 is not prime. Res64: EA518BBE0F68BF7E Time : 0.0 sec. user=mdettweiler [2016-05-10 12:08:12] 657*2^1428722-1 is not prime. Res64: 590776A72EFC08D2 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:08:13] 677*2^1428722-1 is not prime. Res64: 342DAB9B41DA0E04 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:08:14] 741*2^1428722-1 is not prime. Res64: E33070059DD0016B Time : 0.0 sec. user=mdettweiler [2016-05-10 12:08:16] 771*2^1428722-1 is not prime. Res64: 418083DCCCAA16F6 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:11:47] 801*2^1428722-1 is not prime. Res64: 4B7FE46A5B94C316 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:11:48] 833*2^1428722-1 is not prime. Res64: 500B371EE87101E8 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:11:48] 857*2^1428722-1 is not prime. Res64: 3F1B04041E33E42A Time : 0.0 sec. user=mdettweiler [2016-05-10 12:11:49] 911*2^1428722-1 is not prime. Res64: 5C453A50A17FBD91 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:11:49] 753*2^1428723-1 is not prime. Res64: 353AFF0B2B03F4DA Time : 0.0 sec. user=mdettweiler [2016-05-10 12:22:52] 781*2^1428723-1 is not prime. Res64: E504DC2B38EA839C Time : 0.0 sec. user=mdettweiler [2016-05-10 12:22:52] 801*2^1428723-1 is not prime. Res64: 2E7510B3239B2A1F Time : 0.0 sec. user=mdettweiler [2016-05-10 12:22:53] 629*2^1428724-1 is not prime. Res64: E730F8ADD3FDF656 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:22:53] 665*2^1428724-1 is not prime. Res64: 0187BED5077F5FEC Time : 0.0 sec. user=mdettweiler [2016-05-10 12:22:53] 675*2^1428724-1 is not prime. Res64: 1CF946067E3A20D2 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:41:23] 743*2^1428724-1 is not prime. Res64: A59A5DE4937A09F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:41:23] 843*2^1428724-1 is not prime. Res64: 665997F895FD80B0 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:41:24] 909*2^1428724-1 is not prime. Res64: BFCB87EDC88C551D Time : 0.0 sec. user=mdettweiler [2016-05-10 12:41:24] 995*2^1428724-1 is not prime. Res64: 798314FDE49D7B58 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:41:25] 601*2^1428725-1 is not prime. Res64: F542AA6EAB338F8A Time : 0.0 sec. user=mdettweiler [2016-05-10 12:54:18] 607*2^1428725-1 is not prime. Res64: 44EBCA9D08450A2B Time : 0.0 sec. user=mdettweiler [2016-05-10 12:54:18] 847*2^1428725-1 is not prime. Res64: 93AEE9369F2E12BB Time : 0.0 sec. user=mdettweiler [2016-05-10 12:54:18] 705*2^1428726-1 is not prime. Res64: 2A420D3005FE51B3 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:54:19] 783*2^1428726-1 is not prime. Res64: 92C4260970043B1E Time : 0.0 sec. user=mdettweiler [2016-05-10 12:54:19] 807*2^1428726-1 is not prime. Res64: 31E6EA34913E14A3 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:57:34] 851*2^1428726-1 is not prime. Res64: D79C455EC9B054A5 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:57:35] 921*2^1428726-1 is not prime. Res64: 3D9F1C04862FB264 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:57:35] 945*2^1428726-1 is not prime. Res64: 136E0084097049F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 12:57:35] 649*2^1428727-1 is not prime. Res64: A83A8F22349BB6DF Time : 0.0 sec. user=mdettweiler [2016-05-10 12:57:36] 703*2^1428727-1 is not prime. Res64: A630FF0B6B4C9A6C Time : 0.0 sec. user=mdettweiler [2016-05-10 13:08:40] 741*2^1428727-1 is not prime. Res64: F255707B67740F5D Time : 0.0 sec. user=mdettweiler [2016-05-10 13:08:41] 805*2^1428727-1 is not prime. Res64: 6E22BBEBFB0ABAE2 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:08:41] 931*2^1428727-1 is not prime. Res64: 227403828EF658D1 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:08:41] 951*2^1428727-1 is not prime. Res64: DB0B6C4EF1CE951C Time : 0.0 sec. user=mdettweiler [2016-05-10 13:08:42] 659*2^1428728-1 is not prime. Res64: E3723F013DCF04EC Time : 0.0 sec. user=mdettweiler [2016-05-10 13:27:24] 773*2^1428728-1 is not prime. Res64: 202F30384319CF4A Time : 0.0 sec. user=mdettweiler [2016-05-10 13:27:24] 827*2^1428728-1 is not prime. Res64: 51D1F3DE2EE586D6 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:27:24] 839*2^1428728-1 is not prime. Res64: FD619FAEEBBE3815 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:27:25] 923*2^1428728-1 is not prime. Res64: CB73553B02E227F7 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:27:25] 957*2^1428728-1 is not prime. Res64: 84F064D7BFCBAC3E Time : 0.0 sec. user=mdettweiler [2016-05-10 13:40:01] 977*2^1428728-1 is not prime. Res64: B5D0929794EF0182 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:40:02] 995*2^1428728-1 is not prime. Res64: FD4CDB141680437B Time : 0.0 sec. user=mdettweiler [2016-05-10 13:40:02] 625*2^1428729-1 is not prime. Res64: 1DD009E7C09B83B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:40:02] 751*2^1428729-1 is not prime. Res64: C7ADA9B5A06BC305 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:40:03] 781*2^1428729-1 is not prime. Res64: E2ED6E5BF80A37FE Time : 0.0 sec. user=mdettweiler [2016-05-10 13:43:42] 817*2^1428729-1 is not prime. Res64: E23D605AF40EC6ED Time : 0.0 sec. user=mdettweiler [2016-05-10 13:43:42] 909*2^1428729-1 is not prime. Res64: A297262E033973D2 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:43:43] 949*2^1428729-1 is not prime. Res64: D17F454B93202C41 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:43:43] 997*2^1428729-1 is not prime. Res64: 1BCFFD7FCACD9B99 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:43:44] 665*2^1428730-1 is not prime. Res64: 314FCD56C2B3322C Time : 0.0 sec. user=mdettweiler [2016-05-10 13:54:53] 687*2^1428730-1 is not prime. Res64: 6A2F10004BA816AC Time : 0.0 sec. user=mdettweiler [2016-05-10 13:54:53] 777*2^1428730-1 is not prime. Res64: D725BAA98966C598 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:54:54] 857*2^1428730-1 is not prime. Res64: 6072B41F63E0CA5A Time : 0.0 sec. user=mdettweiler [2016-05-10 13:54:54] 923*2^1428730-1 is not prime. Res64: 2D9EB80BC4517591 Time : 0.0 sec. user=mdettweiler [2016-05-10 13:54:54] 945*2^1428730-1 is not prime. Res64: 806F70670AC4DE07 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:13:44] 951*2^1428730-1 is not prime. Res64: 4F2E4A25B6A985F6 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:13:44] 995*2^1428730-1 is not prime. Res64: 52E890C7B63070F5 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:13:44] 619*2^1428731-1 is not prime. Res64: CA44E9858FE67B37 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:13:45] 643*2^1428731-1 is not prime. Res64: 63A2C58A7569CAAA Time : 0.0 sec. user=mdettweiler [2016-05-10 14:13:45] 741*2^1428731-1 is not prime. Res64: 083C926D9F2F0346 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:26:30] 783*2^1428731-1 is not prime. Res64: F0F2C7EBEF40AA73 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:26:30] 999*2^1428731-1 is not prime. Res64: A48539E5049E18CB Time : 0.0 sec. user=mdettweiler [2016-05-10 14:26:30] 635*2^1428732-1 is not prime. Res64: 1B147058A500B45B Time : 0.0 sec. user=mdettweiler [2016-05-10 14:26:31] 669*2^1428732-1 is not prime. Res64: 97028F9248CF5615 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:26:31] 753*2^1428732-1 is not prime. Res64: 9C574016380371D6 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:29:51] 779*2^1428732-1 is not prime. Res64: EA9FA833C978346A Time : 0.0 sec. user=mdettweiler [2016-05-10 14:29:51] 887*2^1428732-1 is not prime. Res64: 918E93FED3DB32C2 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:29:51] 923*2^1428732-1 is not prime. Res64: 60C8667EA876E075 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:29:52] 965*2^1428732-1 is not prime. Res64: 94A97090011B1E16 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:29:52] 849*2^1428733-1 is not prime. Res64: 3BA33AD6E9B15ABF Time : 0.0 sec. user=mdettweiler [2016-05-10 14:40:49] 889*2^1428733-1 is not prime. Res64: 3DD022BE08DE9A24 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:40:49] 945*2^1428733-1 is not prime. Res64: 3011AE28DD781968 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:40:49] 663*2^1428734-1 is not prime. Res64: D1B7682C059124DB Time : 0.0 sec. user=mdettweiler [2016-05-10 14:40:50] 665*2^1428734-1 is not prime. Res64: B9C45C755EC5362A Time : 0.0 sec. user=mdettweiler [2016-05-10 14:40:50] 773*2^1428734-1 is not prime. Res64: B5A65555064AE390 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:59:43] 813*2^1428734-1 is not prime. Res64: 978B4B88AD861D5C Time : 0.0 sec. user=mdettweiler [2016-05-10 14:59:44] 861*2^1428734-1 is not prime. Res64: 35985C146D455565 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:59:44] 873*2^1428734-1 is not prime. Res64: C7A46B83E44A655F Time : 0.0 sec. user=mdettweiler [2016-05-10 14:59:44] 921*2^1428734-1 is not prime. Res64: E619828CDA71AC05 Time : 0.0 sec. user=mdettweiler [2016-05-10 14:59:45] 923*2^1428734-1 is not prime. Res64: 1798E4693BC8FBEF Time : 0.0 sec. user=mdettweiler [2016-05-10 15:12:40] 633*2^1428735-1 is not prime. Res64: E6EF3EC054F92E39 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:12:41] 781*2^1428735-1 is not prime. Res64: 21237F710989CFC8 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:12:41] 805*2^1428735-1 is not prime. Res64: B2D088BA2FD74DF9 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:12:42] 933*2^1428735-1 is not prime. Res64: 7674205D57507ECD Time : 0.0 sec. user=mdettweiler [2016-05-10 15:12:42] 961*2^1428735-1 is not prime. Res64: 59899F7F5BA0E622 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:15:57] 973*2^1428735-1 is not prime. Res64: A76FAC36C195AF34 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:15:58] 653*2^1428736-1 is not prime. Res64: 7792D5B982B3FB1D Time : 0.0 sec. user=mdettweiler [2016-05-10 15:15:58] 743*2^1428736-1 is not prime. Res64: F40E1A4DAB388A03 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:15:58] 759*2^1428736-1 is not prime. Res64: 76C9F59B0C34B021 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:15:59] 807*2^1428736-1 is not prime. Res64: F3C8BA57EC8BCF49 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:26:59] 873*2^1428736-1 is not prime. Res64: 7E7125313DEDF432 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:26:59] 669*2^1428737-1 is not prime. Res64: 1C0D558EC5CE915E Time : 0.0 sec. user=mdettweiler [2016-05-10 15:27:00] 691*2^1428737-1 is not prime. Res64: FC45ABAF28FAAC1A Time : 0.0 sec. user=mdettweiler [2016-05-10 15:27:00] 769*2^1428737-1 is not prime. Res64: F02B4A4F9B77A35D Time : 0.0 sec. user=mdettweiler [2016-05-10 15:27:00] 795*2^1428737-1 is not prime. Res64: BC6318C3147F950F Time : 0.0 sec. user=mdettweiler [2016-05-10 15:45:58] 885*2^1428737-1 is not prime. Res64: 0F2BF167F4C1C66B Time : 0.0 sec. user=mdettweiler [2016-05-10 15:45:58] 611*2^1428738-1 is not prime. Res64: CA4BB1B2B663C0EA Time : 0.0 sec. user=mdettweiler [2016-05-10 15:45:59] 627*2^1428738-1 is not prime. Res64: 58E08E90738A5350 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:45:59] 755*2^1428738-1 is not prime. Res64: AB717EE716354753 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:45:59] 837*2^1428738-1 is not prime. Res64: CE77FBEC42B18A07 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:59:26] 893*2^1428738-1 is not prime. Res64: 29B6CD0ED2F1ABE0 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:59:27] 951*2^1428738-1 is not prime. Res64: 09BD88CD1BD8F14B Time : 0.0 sec. user=mdettweiler [2016-05-10 15:59:27] 663*2^1428739-1 is not prime. Res64: 6A820DAC7865658E Time : 0.0 sec. user=mdettweiler [2016-05-10 15:59:27] 709*2^1428739-1 is not prime. Res64: 5CC0A4D67FB65082 Time : 0.0 sec. user=mdettweiler [2016-05-10 15:59:28] 765*2^1428739-1 is not prime. Res64: D557F0A351001BF9 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:02:36] 861*2^1428739-1 is not prime. Res64: 61CE4D66B80B5F4C Time : 0.0 sec. user=mdettweiler [2016-05-10 16:02:37] 975*2^1428739-1 is not prime. Res64: CBEB6F3FBB32E2ED Time : 0.0 sec. user=mdettweiler [2016-05-10 16:02:38] 633*2^1428740-1 is not prime. Res64: 9374F368A9966E9F Time : 0.0 sec. user=mdettweiler [2016-05-10 16:02:39] 785*2^1428740-1 is not prime. Res64: 4EEFEE89CAEA267C Time : 0.0 sec. user=mdettweiler [2016-05-10 16:02:39] 797*2^1428740-1 is not prime. Res64: 26EAE3CEDC476C84 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:13:30] 803*2^1428740-1 is not prime. Res64: 9273DDC14A250C97 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:13:31] 615*2^1428741-1 is not prime. Res64: 3FC3FC3D712B9313 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:13:31] 639*2^1428741-1 is not prime. Res64: FB45A0FF8AE48138 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:13:31] 889*2^1428741-1 is not prime. Res64: 3E5C890A8F3B3AFB Time : 0.0 sec. user=mdettweiler [2016-05-10 16:13:32] 951*2^1428741-1 is not prime. Res64: 16C29C188B87B6B7 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:32:11] 897*2^1428742-1 is not prime. Res64: 77211C748652B667 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:32:12] 915*2^1428742-1 is not prime. Res64: B4706CA9A1D08103 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:32:12] 951*2^1428742-1 is not prime. Res64: 3372BE331BBF36B9 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:32:13] 987*2^1428742-1 is not prime. Res64: F6D31EFFBB8F7D70 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:32:14] 685*2^1428743-1 is not prime. Res64: EFA1DA355036F13B Time : 0.0 sec. user=mdettweiler [2016-05-10 16:45:40] 735*2^1428743-1 is not prime. Res64: 9A3A2704AA9576E5 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:45:40] 861*2^1428743-1 is not prime. Res64: 30F4AB9B3892141C Time : 0.0 sec. user=mdettweiler [2016-05-10 16:45:41] 999*2^1428743-1 is not prime. Res64: 263D7DC1BE7F6FC9 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:45:41] 705*2^1428744-1 is not prime. Res64: 38E67B831ACCD839 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:45:41] 753*2^1428744-1 is not prime. Res64: 77D0815203120B03 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:48:46] 795*2^1428744-1 is not prime. Res64: E08D60B90B5C049E Time : 0.0 sec. user=mdettweiler [2016-05-10 16:48:46] 825*2^1428744-1 is not prime. Res64: C7C8B3669B1C472B Time : 0.0 sec. user=mdettweiler [2016-05-10 16:48:46] 915*2^1428744-1 is not prime. Res64: AD040300654795B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:48:47] 721*2^1428745-1 is not prime. Res64: E300B2EFE25B9188 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:48:47] 841*2^1428745-1 is not prime. Res64: 85F4DCA94FE454C5 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:59:23] 909*2^1428745-1 is not prime. Res64: D7896EB3397A8E0E Time : 0.0 sec. user=mdettweiler [2016-05-10 16:59:23] 915*2^1428745-1 is not prime. Res64: F7E1DB35D802FD11 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:59:24] 951*2^1428745-1 is not prime. Res64: C91D86315E725B55 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:59:24] 987*2^1428745-1 is not prime. Res64: FE2DD0247998D275 Time : 0.0 sec. user=mdettweiler [2016-05-10 16:59:24] 603*2^1428746-1 is not prime. Res64: 08B92008AF0EB9AD Time : 0.0 sec. user=mdettweiler [2016-05-10 17:18:14] 633*2^1428746-1 is not prime. Res64: 10EEDC1683135970 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:18:15] 651*2^1428746-1 is not prime. Res64: C9C90FE5985C8A51 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:18:16] 683*2^1428746-1 is not prime. Res64: BE3552DF6878C835 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:18:16] 831*2^1428746-1 is not prime. Res64: 89E3AF63009AF807 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:18:17] 851*2^1428746-1 is not prime. Res64: 1947EB0FA97607E2 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:31:30] 923*2^1428746-1 is not prime. Res64: 865CD7B084866EC2 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:31:31] 953*2^1428746-1 is not prime. Res64: 68F9D6F755701193 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:31:31] 971*2^1428746-1 is not prime. Res64: 86DB52F64C316CFD Time : 0.0 sec. user=mdettweiler [2016-05-10 17:31:32] 1001*2^1428746-1 is not prime. Res64: 9370045325E9ED1A Time : 0.0 sec. user=mdettweiler [2016-05-10 17:31:32] 619*2^1428747-1 is not prime. Res64: EDADE7BA9E8334CA Time : 0.0 sec. user=mdettweiler [2016-05-10 17:34:37] 735*2^1428747-1 is not prime. Res64: 16C9CE930C6BA734 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:34:37] 741*2^1428747-1 is not prime. Res64: 1A260B01CD5986D2 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:34:37] 819*2^1428747-1 is not prime. Res64: 89D17159D6A115F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:34:38] 823*2^1428747-1 is not prime. Res64: 020A5D2B138B1292 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:34:38] 829*2^1428747-1 is not prime. Res64: DBB46D450CF34D4B Time : 0.0 sec. user=mdettweiler [2016-05-10 17:45:08] 835*2^1428747-1 is not prime. Res64: 90456EB979FBBD34 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:45:08] 879*2^1428747-1 is not prime. Res64: E37E1FB8FF45017E Time : 0.0 sec. user=mdettweiler [2016-05-10 17:45:09] 903*2^1428747-1 is not prime. Res64: 8146419438DBEB1C Time : 0.0 sec. user=mdettweiler [2016-05-10 17:45:09] 963*2^1428747-1 is not prime. Res64: 1B15581B1310A7A0 Time : 0.0 sec. user=mdettweiler [2016-05-10 17:45:09] 603*2^1428748-1 is not prime. Res64: 578BCC3B5594195D Time : 0.0 sec. user=mdettweiler [2016-05-10 18:04:04] 735*2^1428748-1 is not prime. Res64: 02742EEF63BC5A8E Time : 0.0 sec. user=mdettweiler [2016-05-10 18:04:05] 839*2^1428748-1 is not prime. Res64: 3E9100E8A1102C65 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:04:07] 929*2^1428748-1 is not prime. Res64: 3EDD811BF557F5A7 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:04:08] 993*2^1428748-1 is not prime. Res64: 50009A06DB3BF32F Time : 0.0 sec. user=mdettweiler [2016-05-10 18:04:10] 631*2^1428749-1 is not prime. Res64: 57C802697D380C56 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:17:42] 649*2^1428749-1 is not prime. Res64: 97974C098F871F07 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:17:42] 675*2^1428749-1 is not prime. Res64: A07AF57B9CC66B66 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:17:42] 729*2^1428749-1 is not prime. Res64: 0BD4818739FA2773 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:17:43] 745*2^1428749-1 is not prime. Res64: 755D2C68BAD52A27 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:17:43] 799*2^1428749-1 is not prime. Res64: 9B765A53276DE712 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:20:45] 931*2^1428749-1 is not prime. Res64: 155E9047683FE9FE Time : 0.0 sec. user=mdettweiler [2016-05-10 18:20:45] 985*2^1428749-1 is not prime. Res64: 763B802FD4FE814C Time : 0.0 sec. user=mdettweiler [2016-05-10 18:20:45] 717*2^1428750-1 is not prime. Res64: CA8F04A4D466A096 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:20:46] 765*2^1428750-1 is not prime. Res64: A2981D2E1360319D Time : 0.0 sec. user=mdettweiler [2016-05-10 18:20:46] 821*2^1428750-1 is not prime. Res64: B8A7714C0E25F1AB Time : 0.0 sec. user=mdettweiler [2016-05-10 18:31:20] 885*2^1428750-1 is not prime. Res64: 01BD73C80DD7B02C Time : 0.0 sec. user=mdettweiler [2016-05-10 18:31:21] 893*2^1428750-1 is not prime. Res64: 78650BDC8451308C Time : 0.0 sec. user=mdettweiler [2016-05-10 18:31:21] 917*2^1428750-1 is not prime. Res64: EE20FBB749C050FD Time : 0.0 sec. user=mdettweiler [2016-05-10 18:31:22] 927*2^1428750-1 is not prime. Res64: 50312F4B5B428F78 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:31:22] 651*2^1428751-1 is not prime. Res64: BC509F37B26F9354 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:50:40] 673*2^1428751-1 is not prime. Res64: 6FB1815602051F99 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:50:40] 759*2^1428751-1 is not prime. Res64: 08FAC601D00611E1 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:50:40] 843*2^1428751-1 is not prime. Res64: 711AE1715BEC15C9 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:50:41] 951*2^1428751-1 is not prime. Res64: 8784223E231E48A5 Time : 0.0 sec. user=mdettweiler [2016-05-10 18:50:41] 617*2^1428752-1 is not prime. Res64: 3B5CBE263CC7CC50 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:03:26] 945*2^1428752-1 is not prime. Res64: 04265F5B84B18B1F Time : 0.0 sec. user=mdettweiler [2016-05-10 19:03:28] 999*2^1428752-1 is not prime. Res64: 1ACB05A7A0D25EB7 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:03:28] 681*2^1428753-1 is not prime. Res64: B0E77941F41E47A8 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:03:29] 765*2^1428753-1 is not prime. Res64: C7798927BF2AE1D5 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:03:30] 795*2^1428753-1 is not prime. Res64: C592DECF3D62FC2C Time : 0.0 sec. user=mdettweiler [2016-05-10 19:06:31] 811*2^1428753-1 is not prime. Res64: 2B1FF87D448E188E Time : 0.0 sec. user=mdettweiler [2016-05-10 19:06:31] 847*2^1428753-1 is not prime. Res64: EEEF019378484FF7 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:06:32] 919*2^1428753-1 is not prime. Res64: 7E6B162B445DE44A Time : 0.0 sec. user=mdettweiler [2016-05-10 19:06:32] 987*2^1428753-1 is not prime. Res64: E96767138457D0F7 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:06:33] 621*2^1428754-1 is not prime. Res64: 5C85CDFA51F0BEDC Time : 0.0 sec. user=mdettweiler [2016-05-10 19:17:04] 665*2^1428754-1 is not prime. Res64: D6E5730E9CBD5FED Time : 0.0 sec. user=mdettweiler [2016-05-10 19:17:05] 891*2^1428754-1 is not prime. Res64: E57508423326D821 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:17:05] 945*2^1428754-1 is not prime. Res64: E725AF6A63810710 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:17:05] 705*2^1428755-1 is not prime. Res64: 8F1AB01A184912A1 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:17:06] 759*2^1428755-1 is not prime. Res64: 0FA59AD209B0C4E9 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:36:11] 853*2^1428755-1 is not prime. Res64: E31F058280FD2B8A Time : 0.0 sec. user=mdettweiler [2016-05-10 19:36:11] 861*2^1428755-1 is not prime. Res64: 2ABAD6AE847401B6 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:36:12] 969*2^1428756-1 is not prime. Res64: 507D8101E6E63899 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:36:13] 607*2^1428757-1 is not prime. Res64: E786704E4C14162A Time : 0.0 sec. user=mdettweiler [2016-05-10 19:36:13] 621*2^1428757-1 is not prime. Res64: 976696E26A4893B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:49:15] 727*2^1428757-1 is not prime. Res64: C3EB0544347B0AD8 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:49:16] 741*2^1428757-1 is not prime. Res64: 67A5EF1C67F74BE2 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:49:16] 897*2^1428757-1 is not prime. Res64: 7F49C8A4513B14C6 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:49:17] 945*2^1428757-1 is not prime. Res64: 120DEA4AB55DD819 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:49:17] 957*2^1428757-1 is not prime. Res64: CA731B182BDDF1EC Time : 0.0 sec. user=mdettweiler [2016-05-10 19:52:05] 985*2^1428757-1 is not prime. Res64: 286E4C34777A677B Time : 0.0 sec. user=mdettweiler [2016-05-10 19:52:05] 641*2^1428758-1 is not prime. Res64: 0F00906289AA9CED Time : 0.0 sec. user=mdettweiler [2016-05-10 19:52:06] 677*2^1428758-1 is not prime. Res64: 85309DD0A4B45AE1 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:52:06] 711*2^1428758-1 is not prime. Res64: 5031D3FE5B3470A9 Time : 0.0 sec. user=mdettweiler [2016-05-10 19:52:07] 791*2^1428758-1 is not prime. Res64: 8B5F1D2EF48386A5 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:02:50] 827*2^1428758-1 is not prime. Res64: 5A5EF51EB852BDB8 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:02:51] 887*2^1428758-1 is not prime. Res64: E1F6665091FF1A4B Time : 0.0 sec. user=mdettweiler [2016-05-10 20:02:51] 953*2^1428758-1 is not prime. Res64: 275F2D9DE6955839 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:02:52] 971*2^1428758-1 is not prime. Res64: 352B6176B5D440E2 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:02:53] 619*2^1428759-1 is not prime. Res64: ACE2016A0B8C482F Time : 0.0 sec. user=mdettweiler [2016-05-10 20:22:09] 745*2^1428759-1 is not prime. Res64: 3883900CD355F420 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:22:09] 921*2^1428759-1 is not prime. Res64: 9A473009BC13D2FC Time : 0.0 sec. user=mdettweiler [2016-05-10 20:22:10] 985*2^1428759-1 is not prime. Res64: CB2E3DC02A93F6CA Time : 0.0 sec. user=mdettweiler [2016-05-10 20:22:11] 777*2^1428760-1 is not prime. Res64: C736087EFA903C51 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:22:12] 863*2^1428760-1 is not prime. Res64: FC5ED466F0C95B14 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:35:51] 909*2^1428760-1 is not prime. Res64: 8C194A9473018485 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:35:52] 999*2^1428760-1 is not prime. Res64: 1EBD9280FF781C14 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:35:52] 697*2^1428761-1 is not prime. Res64: F85913F7A9B3DB52 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:35:52] 715*2^1428761-1 is not prime. Res64: 592EA7C91A2B4829 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:35:53] 781*2^1428761-1 is not prime. Res64: 8DB3F33F80035137 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:38:22] 861*2^1428761-1 is not prime. Res64: 64EA2B0A9F4B327E Time : 0.0 sec. user=mdettweiler [2016-05-10 20:38:22] 925*2^1428761-1 is not prime. Res64: 2E0E9298A56169FD Time : 0.0 sec. user=mdettweiler [2016-05-10 20:38:22] 981*2^1428761-1 is not prime. Res64: 689C04B0D48AB0F3 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:38:23] 997*2^1428761-1 is not prime. Res64: 0AD51668885E71C4 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:38:23] 635*2^1428762-1 is not prime. Res64: 05D7270F6DF771BC Time : 0.0 sec. user=mdettweiler [2016-05-10 20:49:33] 651*2^1428762-1 is not prime. Res64: 2C169482E89F8656 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:49:34] 665*2^1428762-1 is not prime. Res64: F72D178D3EF25145 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:49:34] 705*2^1428762-1 is not prime. Res64: DB703156A221C432 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:49:34] 723*2^1428762-1 is not prime. Res64: 8F56C528D56043D5 Time : 0.0 sec. user=mdettweiler [2016-05-10 20:49:35] 837*2^1428762-1 is not prime. Res64: 7915FC61E8EE0546 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:08:32] 903*2^1428762-1 is not prime. Res64: 10E8E89AADF3C4D5 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:08:33] 951*2^1428762-1 is not prime. Res64: EE3B09DCA0417078 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:08:34] 603*2^1428763-1 is not prime. Res64: 6530CDCC96BB64F5 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:08:35] 709*2^1428763-1 is not prime. Res64: B8BAA9FE8A0A5CF8 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:08:36] 723*2^1428763-1 is not prime. Res64: 6E19CA343ED67A16 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:22:27] 765*2^1428763-1 is not prime. Res64: 2242AF76B97D6381 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:22:27] 775*2^1428763-1 is not prime. Res64: 7C4A801F8DBC408E Time : 0.0 sec. user=mdettweiler [2016-05-10 21:22:27] 813*2^1428763-1 is not prime. Res64: 34450F147CE7E388 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:22:28] 819*2^1428763-1 is not prime. Res64: 48478453BA2F15B5 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:22:28] 951*2^1428763-1 is not prime. Res64: 481BECF308FB97A9 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:24:46] 617*2^1428764-1 is not prime. Res64: 034D1E93AFAB8DE9 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:24:46] 635*2^1428764-1 is not prime. Res64: 34F1027BFDA8EC25 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:24:47] 657*2^1428764-1 is not prime. Res64: A2617ED61600C751 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:24:47] 665*2^1428764-1 is not prime. Res64: 317AE32629B12CDC Time : 0.0 sec. user=mdettweiler [2016-05-10 21:24:48] 675*2^1428764-1 is not prime. Res64: D90E33F78F5415A0 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:35:32] 789*2^1428764-1 is not prime. Res64: 791CF76E677FFC56 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:35:32] 827*2^1428764-1 is not prime. Res64: 366543A44B87249D Time : 0.0 sec. user=mdettweiler [2016-05-10 21:35:33] 869*2^1428764-1 is not prime. Res64: C455AA0E664BFF0C Time : 0.0 sec. user=mdettweiler [2016-05-10 21:35:33] 885*2^1428764-1 is not prime. Res64: A5A1947163C49D17 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:35:33] 935*2^1428764-1 is not prime. Res64: 3D302EA8B466B7F7 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:54:14] 983*2^1428764-1 is not prime. Res64: 618553D7660B2861 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:54:15] 607*2^1428765-1 is not prime. Res64: BE06AEFBA219853D Time : 0.0 sec. user=mdettweiler [2016-05-10 21:54:15] 649*2^1428765-1 is not prime. Res64: AA7EC51CD66F04B8 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:54:16] 685*2^1428765-1 is not prime. Res64: C95AFD7C98F27625 Time : 0.0 sec. user=mdettweiler [2016-05-10 21:54:16] 805*2^1428765-1 is not prime. Res64: 9799976AABDFB4A6 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:08:01] 831*2^1428765-1 is not prime. Res64: 53E0F2ED2F974680 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:08:02] 969*2^1428765-1 is not prime. Res64: 8736FBFEF4ED0617 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:08:02] 653*2^1428766-1 is not prime. Res64: 134B1431000C9F2C Time : 0.0 sec. user=mdettweiler [2016-05-10 22:08:03] 657*2^1428766-1 is not prime. Res64: 6D6162D0AFC4924E Time : 0.0 sec. user=mdettweiler [2016-05-10 22:08:03] 723*2^1428766-1 is not prime. Res64: AE49B1324D222E7B Time : 0.0 sec. user=mdettweiler [2016-05-10 22:10:13] 813*2^1428766-1 is not prime. Res64: D7F76EA096F5D2AE Time : 0.0 sec. user=mdettweiler [2016-05-10 22:10:14] 861*2^1428766-1 is not prime. Res64: 9F323B65A9C2900F Time : 0.0 sec. user=mdettweiler [2016-05-10 22:10:14] 965*2^1428766-1 is not prime. Res64: 9551CD064A70A505 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:10:15] 987*2^1428766-1 is not prime. Res64: 6B13609CB536FFD8 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:10:15] 813*2^1428767-1 is not prime. Res64: 41D35484C3CD6EB3 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:20:55] 963*2^1428767-1 is not prime. Res64: 420111F53F9495A1 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:20:55] 627*2^1428768-1 is not prime. Res64: 8AA7A66F766B5791 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:20:56] 683*2^1428768-1 is not prime. Res64: C0ED883C37431B65 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:20:56] 695*2^1428768-1 is not prime. Res64: BC862BEBFFF58013 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:20:57] 839*2^1428768-1 is not prime. Res64: A1CEE91E8759884D Time : 0.0 sec. user=mdettweiler [2016-05-10 22:39:49] 915*2^1428768-1 is not prime. Res64: B28D6AA3121E36B4 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:39:49] 933*2^1428768-1 is not prime. Res64: 27B11AD7C573B0A6 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:39:49] 945*2^1428768-1 is not prime. Res64: 46898CF418E2A537 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:39:50] 705*2^1428769-1 is not prime. Res64: 87C55676B856EA4F Time : 0.0 sec. user=mdettweiler [2016-05-10 22:39:50] 769*2^1428769-1 is not prime. Res64: 431FD86762868E72 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:53:50] 855*2^1428769-1 is not prime. Res64: A397610B2CE6B4CA Time : 0.0 sec. user=mdettweiler [2016-05-10 22:53:50] 861*2^1428769-1 is not prime. Res64: 29F0522D9BB76489 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:53:50] 671*2^1428770-1 is not prime. Res64: 9B4E8BA4B109D251 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:53:51] 701*2^1428770-1 is not prime. Res64: 40AAEBBAC1C66A1E Time : 0.0 sec. user=mdettweiler [2016-05-10 22:53:51] 717*2^1428770-1 is not prime. Res64: 8C635A48C4C16BAA Time : 0.0 sec. user=mdettweiler [2016-05-10 22:56:04] 977*2^1428770-1 is not prime. Res64: 2297D8DA784611A4 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:56:04] 709*2^1428771-1 is not prime. Res64: 94A1B1CDE81F16FF Time : 0.0 sec. user=mdettweiler [2016-05-10 22:56:05] 741*2^1428771-1 is not prime. Res64: 644C82A3084CB65D Time : 0.0 sec. user=mdettweiler [2016-05-10 22:56:05] 745*2^1428771-1 is not prime. Res64: 875B57AE5D38A6A5 Time : 0.0 sec. user=mdettweiler [2016-05-10 22:56:05] 835*2^1428771-1 is not prime. Res64: 7D5C2BBCF19BEA5E Time : 0.0 sec. user=mdettweiler [2016-05-10 23:06:36] 849*2^1428771-1 is not prime. Res64: E1425F67044ABD79 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:06:36] 859*2^1428771-1 is not prime. Res64: A3CF41D41119DFC3 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:06:37] 885*2^1428771-1 is not prime. Res64: 5EE3542A5EDE3228 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:06:38] 949*2^1428771-1 is not prime. Res64: EDD83EFB06961104 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:06:38] 979*2^1428771-1 is not prime. Res64: 7E5186933ADDFBC8 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:25:28] 991*2^1428771-1 is not prime. Res64: ED53CAB1DE8306B5 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:25:29] 807*2^1428772-1 is not prime. Res64: A4FAFFF3F4935774 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:25:29] 855*2^1428772-1 is not prime. Res64: 2EEDAC0A2360A4BD Time : 0.0 sec. user=mdettweiler [2016-05-10 23:25:29] 745*2^1428773-1 is not prime. Res64: 013AEE2D3DBBD8A4 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:25:30] 831*2^1428773-1 is not prime. Res64: 4C545EA0568F667C Time : 0.0 sec. user=mdettweiler [2016-05-10 23:39:42] 847*2^1428773-1 is not prime. Res64: 482167A6C6BE4581 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:39:43] 901*2^1428773-1 is not prime. Res64: 0644191977EF7414 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:39:49] 951*2^1428773-1 is not prime. Res64: CCF018B3253D206F Time : 0.0 sec. user=mdettweiler [2016-05-10 23:39:50] 985*2^1428773-1 is not prime. Res64: 8B72984C5A832FB6 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:39:50] 707*2^1428774-1 is not prime. Res64: 1AFEA489591D8AF8 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:41:51] 737*2^1428774-1 is not prime. Res64: E45471D8A57900AF Time : 0.0 sec. user=mdettweiler [2016-05-10 23:41:51] 773*2^1428774-1 is not prime. Res64: F07F775C98182794 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:41:52] 875*2^1428774-1 is not prime. Res64: D03691E3151370AB Time : 0.0 sec. user=mdettweiler [2016-05-10 23:41:52] 881*2^1428774-1 is not prime. Res64: 76CDE2189C38988C Time : 0.0 sec. user=mdettweiler [2016-05-10 23:41:53] 915*2^1428774-1 is not prime. Res64: ABFF6D8035960638 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:52:19] 927*2^1428774-1 is not prime. Res64: BFEE2435BD31F4A1 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:52:20] 993*2^1428774-1 is not prime. Res64: E48CAB29D01CBD53 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:52:20] 619*2^1428775-1 is not prime. Res64: 9BEF6743C628C10C Time : 0.0 sec. user=mdettweiler [2016-05-10 23:52:21] 609*2^1428776-1 is not prime. Res64: 87DC4FFE03A9F214 Time : 0.0 sec. user=mdettweiler [2016-05-10 23:52:21] 677*2^1428776-1 is not prime. Res64: D2EC97349830A09B Time : 0.0 sec.