user=mdettweiler [2015-07-11 00:02:26] 843*2^1402702-1 is not prime. Res64: 67BDED618AA1FBAA Time : 0.0 sec. user=mdettweiler [2015-07-11 00:02:27] 873*2^1402702-1 is not prime. Res64: CCEBCFA23E9B8440 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:15:12] 885*2^1402702-1 is not prime. Res64: D60DA86D7F9C0A20 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:15:13] 987*2^1402702-1 is not prime. Res64: 4DD3C996897BB60F Time : 0.0 sec. user=mdettweiler [2015-07-11 00:15:16] 609*2^1402703-1 is not prime. Res64: 19A3D48867BCBE27 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:15:16] 633*2^1402703-1 is not prime. Res64: CDF3E460519B105E Time : 0.0 sec. user=mdettweiler [2015-07-11 00:19:49] 663*2^1402703-1 is not prime. Res64: CE7313A80027D2B8 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:19:49] 741*2^1402703-1 is not prime. Res64: 4B1FE7ED25DE9CA1 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:32:40] 657*2^1402704-1 is not prime. Res64: C6D04FAC694122E7 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:32:40] 981*2^1402703-1 is not prime. Res64: 9FDF8EF878EF5632 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:32:40] 753*2^1402704-1 is not prime. Res64: C3D570E17C3742FE Time : 0.0 sec. user=mdettweiler [2015-07-11 00:32:41] 605*2^1402704-1 is not prime. Res64: 3875814D41883B4A Time : 0.0 sec. user=mdettweiler [2015-07-11 00:37:14] 843*2^1402704-1 is not prime. Res64: F4AD560CA77A42B8 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:37:15] 927*2^1402704-1 is not prime. Res64: 36950E2F025A58F1 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:50:03] 771*2^1402705-1 is not prime. Res64: 9AA74C92CC8A60CA Time : 0.0 sec. user=mdettweiler [2015-07-11 00:50:03] 741*2^1402706-1 is not prime. Res64: A2C2F9797B1A7787 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:50:04] 861*2^1402705-1 is not prime. Res64: AC81CB3258DF7192 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:50:04] 755*2^1402706-1 is not prime. Res64: AACBC6D18CB115C6 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:54:36] 801*2^1402706-1 is not prime. Res64: 2175E82399CB3047 Time : 0.0 sec. user=mdettweiler [2015-07-11 00:54:36] 857*2^1402706-1 is not prime. Res64: C6EEA8DBBE91FCC2 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:07:28] 615*2^1402707-1 is not prime. Res64: A6816B848E724BD7 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:07:28] 867*2^1402706-1 is not prime. Res64: 4C0F769362DCE154 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:07:29] 801*2^1402707-1 is not prime. Res64: FC9ACDA1036DA5B5 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:07:29] 945*2^1402706-1 is not prime. Res64: 109292CB7E30523B Time : 0.0 sec. user=mdettweiler [2015-07-11 01:11:59] 891*2^1402707-1 is not prime. Res64: 131BD53803CD58EF Time : 0.0 sec. user=mdettweiler [2015-07-11 01:12:00] 657*2^1402708-1 is not prime. Res64: 7D0B926324BC839D Time : 0.0 sec. user=S_K_ [2015-07-11 01:19:52] 801*2^1402698-1 is not prime. Res64: 6C2794AC1C361D87 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:24:54] 783*2^1402708-1 is not prime. Res64: 6AC660836FFB8941 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:24:54] 887*2^1402708-1 is not prime. Res64: 8E5AEAD448A59729 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:24:56] 897*2^1402708-1 is not prime. Res64: 92EA47123CB75871 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:24:57] 927*2^1402708-1 is not prime. Res64: BFD03404A2A675C9 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:29:21] 959*2^1402708-1 is not prime. Res64: E5E9239B3F8188BA Time : 0.0 sec. user=mdettweiler [2015-07-11 01:29:23] 989*2^1402708-1 is not prime. Res64: 5AEF155F33F6380F Time : 0.0 sec. user=mdettweiler [2015-07-11 01:42:17] 721*2^1402709-1 is not prime. Res64: 88F49C83ECBBCDE5 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:42:17] 729*2^1402709-1 is not prime. Res64: FD84F07CBA7048A3 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:42:18] 861*2^1402709-1 is not prime. Res64: 7808C93DAEDF285A Time : 0.0 sec. user=mdettweiler [2015-07-11 01:42:18] 865*2^1402709-1 is not prime. Res64: 2AE232B4546166DD Time : 0.0 sec. user=mdettweiler [2015-07-11 01:46:48] 957*2^1402709-1 is not prime. Res64: 6D330604D3248281 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:46:48] 997*2^1402709-1 is not prime. Res64: 2DB57FD85DD5EEB3 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:59:46] 647*2^1402710-1 is not prime. Res64: D58E948FAD315279 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:59:47] 755*2^1402710-1 is not prime. Res64: 99557FCF0ECC6A78 Time : 0.0 sec. user=mdettweiler [2015-07-11 01:59:49] 761*2^1402710-1 is not prime. Res64: 8AC5B373EBC1F5DB Time : 0.0 sec. user=mdettweiler [2015-07-11 01:59:49] 821*2^1402710-1 is not prime. Res64: 92E6DA030814B525 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:04:14] 649*2^1402711-1 is not prime. Res64: 7DDD4B170EC999C1 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:04:15] 745*2^1402711-1 is not prime. Res64: 2498F0B6EE331604 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:17:08] 829*2^1402711-1 is not prime. Res64: 678FC964D374E1BD Time : 0.0 sec. user=mdettweiler [2015-07-11 02:17:09] 615*2^1402712-1 is not prime. Res64: C3FFA102F6F1B600 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:17:11] 623*2^1402712-1 is not prime. Res64: B4BE4C3D99A56F68 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:17:11] 797*2^1402712-1 is not prime. Res64: 51FCD73E1DBAF191 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:21:38] 803*2^1402712-1 is not prime. Res64: 26AE29ECA970E76D Time : 0.0 sec. user=mdettweiler [2015-07-11 02:21:38] 897*2^1402712-1 is not prime. Res64: 14C9300B39231DC1 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:34:30] 903*2^1402712-1 is not prime. Res64: BA91773FFC56053C Time : 0.0 sec. user=mdettweiler [2015-07-11 02:34:31] 781*2^1402713-1 is not prime. Res64: 8534D532FCBCC884 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:34:33] 723*2^1402714-1 is not prime. Res64: 0FC1C5D90967C605 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:34:33] 765*2^1402714-1 is not prime. Res64: B224C3FA5DA48A53 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:39:01] 783*2^1402714-1 is not prime. Res64: CBFB72341B638F1D Time : 0.0 sec. user=mdettweiler [2015-07-11 02:39:01] 815*2^1402714-1 is not prime. Res64: 8331FADAF88D06BA Time : 0.0 sec. user=mdettweiler [2015-07-11 02:51:58] 885*2^1402714-1 is not prime. Res64: 18F2FB84B2A00DBB Time : 0.0 sec. user=mdettweiler [2015-07-11 02:51:59] 887*2^1402714-1 is not prime. Res64: BC4855410684CA52 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:51:59] 905*2^1402714-1 is not prime. Res64: 2BCEDE5E41DB45EA Time : 0.0 sec. user=mdettweiler [2015-07-11 02:51:59] 981*2^1402714-1 is not prime. Res64: A17AC8A47DFE1420 Time : 0.0 sec. user=mdettweiler [2015-07-11 02:56:27] 633*2^1402715-1 is not prime. Res64: F21993344AB2681A Time : 0.0 sec. user=mdettweiler [2015-07-11 02:56:27] 645*2^1402715-1 is not prime. Res64: B3D70DFA1C262110 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:09:20] 675*2^1402715-1 is not prime. Res64: 887DA7202698851B Time : 0.0 sec. user=mdettweiler [2015-07-11 03:09:21] 801*2^1402715-1 is not prime. Res64: 838A4A67B354EE56 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:09:21] 753*2^1402715-1 is not prime. Res64: 85E8CCD5797D6103 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:09:21] 855*2^1402715-1 is not prime. Res64: 499FF41DA1AF8860 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:13:47] 895*2^1402715-1 is not prime. Res64: 6D57540B5738EEE5 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:13:48] 909*2^1402715-1 is not prime. Res64: CEFF3273EF8AB4C5 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:26:46] 943*2^1402715-1 is not prime. Res64: E9A76D62D30B62C3 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:26:47] 981*2^1402715-1 is not prime. Res64: 7E3D53A33871BE5F Time : 0.0 sec. user=mdettweiler [2015-07-11 03:26:47] 609*2^1402716-1 is not prime. Res64: E37302CE731F89B7 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:26:50] 623*2^1402716-1 is not prime. Res64: 0067C4428C99CC8A Time : 0.0 sec. user=mdettweiler [2015-07-11 03:31:10] 647*2^1402716-1 is not prime. Res64: CCA4F68A6123F640 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:31:11] 737*2^1402716-1 is not prime. Res64: DBED60B75114BAD3 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:44:23] 909*2^1402716-1 is not prime. Res64: 601DFA43BF7CEE2C Time : 0.0 sec. user=mdettweiler [2015-07-11 03:44:24] 975*2^1402716-1 is not prime. Res64: 271E8DFC07671AA4 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:44:25] 983*2^1402716-1 is not prime. Res64: 39E1818F6545CD35 Time : 0.0 sec. user=mdettweiler [2015-07-11 03:44:27] 993*2^1402716-1 is not prime. Res64: DA36C2B5871B20FC Time : 0.0 sec. user=mdettweiler [2015-07-11 03:48:44] 651*2^1402717-1 is not prime. Res64: 6B6438AC0EFCBA3D Time : 0.0 sec. user=mdettweiler [2015-07-11 03:48:46] 687*2^1402717-1 is not prime. Res64: DC1459B6DBF93396 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:02:03] 777*2^1402717-1 is not prime. Res64: D7A1360D7710ACC5 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:02:05] 799*2^1402717-1 is not prime. Res64: 7DCAA7A95321901C Time : 0.0 sec. user=mdettweiler [2015-07-11 04:02:05] 915*2^1402717-1 is not prime. Res64: BBE7ED8D9A3123E6 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:02:06] 955*2^1402717-1 is not prime. Res64: 7D921C7DAB13D323 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:06:08] 657*2^1402718-1 is not prime. Res64: 3425F2DA55F605AC Time : 0.0 sec. user=mdettweiler [2015-07-11 04:06:09] 711*2^1402718-1 is not prime. Res64: 202729444FC5D69C Time : 0.0 sec. user=mdettweiler [2015-07-11 04:19:41] 791*2^1402718-1 is not prime. Res64: 2AB3EB54DDBD085E Time : 0.0 sec. user=mdettweiler [2015-07-11 04:19:41] 815*2^1402718-1 is not prime. Res64: BD0EC67B053FD69F Time : 0.0 sec. user=mdettweiler [2015-07-11 04:19:41] 813*2^1402718-1 is not prime. Res64: AD6AF35DB90DC301 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:19:42] 825*2^1402718-1 is not prime. Res64: CB2FB62D7F1693D7 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:23:31] 831*2^1402718-1 is not prime. Res64: 83C973BE6C2169C6 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:23:31] 609*2^1402719-1 is not prime. Res64: 2887F30648389205 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:37:08] 895*2^1402719-1 is not prime. Res64: 27F98DF16DE977BF Time : 0.0 sec. user=mdettweiler [2015-07-11 04:37:08] 933*2^1402719-1 is not prime. Res64: 86D6CE3B4696A711 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:37:09] 615*2^1402719-1 is not prime. Res64: 1452FEB5A2511AB3 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:37:09] 741*2^1402719-1 is not prime. Res64: 97253D6E0E908E8E Time : 0.0 sec. user=mdettweiler [2015-07-11 04:40:54] 961*2^1402719-1 is not prime. Res64: B142F8AC0312B4B7 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:40:55] 675*2^1402720-1 is not prime. Res64: F45EBD92F403649A Time : 0.0 sec. user=mdettweiler [2015-07-11 04:54:31] 785*2^1402720-1 is not prime. Res64: 2D424A20ECDCAA8C Time : 0.0 sec. user=mdettweiler [2015-07-11 04:54:32] 989*2^1402720-1 is not prime. Res64: C1FF0F8E456EDC84 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:54:32] 719*2^1402720-1 is not prime. Res64: 37A093EE3B4D4B87 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:54:33] 747*2^1402720-1 is not prime. Res64: FDFF6C4EB0E749E2 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:58:16] 601*2^1402721-1 is not prime. Res64: DA19366EC2603871 Time : 0.0 sec. user=mdettweiler [2015-07-11 04:58:17] 685*2^1402721-1 is not prime. Res64: 14C8A820F561537C Time : 0.0 sec. user=mdettweiler [2015-07-11 05:11:54] 697*2^1402721-1 is not prime. Res64: B20C2F62A787AB71 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:11:54] 865*2^1402721-1 is not prime. Res64: B876B9C82D3CB479 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:11:55] 949*2^1402721-1 is not prime. Res64: CCF9763C9EBE2A72 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:11:55] 777*2^1402721-1 is not prime. Res64: 1B195EDF26B983FD Time : 0.0 sec. user=mdettweiler [2015-07-11 05:15:38] 717*2^1402722-1 is not prime. Res64: DBA17B228AEE475F Time : 0.0 sec. user=mdettweiler [2015-07-11 05:15:39] 725*2^1402722-1 is not prime. Res64: B732374431F3EA98 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:29:22] 947*2^1402722-1 is not prime. Res64: 00AFAC490829F2E5 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:29:22] 975*2^1402722-1 is not prime. Res64: 952FB3AC1E1C1522 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:29:24] 737*2^1402722-1 is not prime. Res64: 39C719933889B384 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:29:24] 741*2^1402722-1 is not prime. Res64: 716CB1AD9B450D08 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:33:00] 639*2^1402723-1 is not prime. Res64: 6C5E739FD40ED9CA Time : 0.0 sec. user=mdettweiler [2015-07-11 05:33:00] 691*2^1402723-1 is not prime. Res64: E99287666174C7AD Time : 0.0 sec. user=mdettweiler [2015-07-11 05:46:43] 735*2^1402723-1 is not prime. Res64: E5BD87E245B30356 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:46:44] 861*2^1402723-1 is not prime. Res64: 424C5D676987D2A1 Time : 0.0 sec. user=mdettweiler [2015-07-11 05:46:46] 915*2^1402723-1 is not prime. Res64: 958460CF5473CBCD Time : 0.0 sec. user=mdettweiler [2015-07-11 05:46:46] 961*2^1402723-1 is not prime. Res64: 95686D6379FB284B Time : 0.0 sec. user=mdettweiler [2015-07-11 05:50:21] 717*2^1402724-1 is not prime. Res64: A649EC4D060CBCBF Time : 0.0 sec. user=mdettweiler [2015-07-11 05:50:22] 813*2^1402724-1 is not prime. Res64: 84B155EF8FA069C2 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:04:06] 873*2^1402724-1 is not prime. Res64: 274B1C2354AA270C Time : 0.0 sec. user=mdettweiler [2015-07-11 06:04:08] 903*2^1402724-1 is not prime. Res64: 734EED7633F585B3 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:04:10] 655*2^1402725-1 is not prime. Res64: B243A050C2A28914 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:04:12] 889*2^1402725-1 is not prime. Res64: B9F81F9B28854D45 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:07:46] 951*2^1402725-1 is not prime. Res64: 8CE1FE099B7F4299 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:07:46] 603*2^1402726-1 is not prime. Res64: B9B1CFED120F7E18 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:22:07] 911*2^1402726-1 is not prime. Res64: 3337A2FC98E8BE66 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:22:08] 923*2^1402726-1 is not prime. Res64: 7308BB1524501E64 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:22:10] 657*2^1402726-1 is not prime. Res64: A53A091780A41C21 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:22:11] 867*2^1402726-1 is not prime. Res64: 9BD26FC8A6FB09D3 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:25:08] 965*2^1402726-1 is not prime. Res64: 5792D7EE9971BD6E Time : 0.0 sec. user=mdettweiler [2015-07-11 06:25:08] 619*2^1402727-1 is not prime. Res64: 3D7B67D2447AA20B Time : 0.0 sec. user=mdettweiler [2015-07-11 06:39:30] 759*2^1402727-1 is not prime. Res64: AC7750B4941BFE8B Time : 0.0 sec. user=mdettweiler [2015-07-11 06:39:30] 799*2^1402727-1 is not prime. Res64: 4ECDC5E178728E2D Time : 0.0 sec. user=mdettweiler [2015-07-11 06:39:31] 895*2^1402727-1 is not prime. Res64: D35146ED52DD9203 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:39:32] 939*2^1402727-1 is not prime. Res64: 2BBB25F8C97DFD68 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:42:30] 955*2^1402727-1 is not prime. Res64: 444DFB1870F4C48C Time : 0.0 sec. user=mdettweiler [2015-07-11 06:42:30] 615*2^1402728-1 is not prime. Res64: 7B6E981495FD6251 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:56:52] 747*2^1402728-1 is not prime. Res64: E982FCAFC57B6322 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:56:53] 875*2^1402728-1 is not prime. Res64: 60FE11C8FD5F5203 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:56:53] 627*2^1402728-1 is not prime. Res64: C05F24197B376CE7 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:56:54] 713*2^1402728-1 is not prime. Res64: D8A450D8F178A7E7 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:59:51] 667*2^1402729-1 is not prime. Res64: AC56322627ABEC96 Time : 0.0 sec. user=mdettweiler [2015-07-11 06:59:51] 681*2^1402729-1 is not prime. Res64: A4427CB0937759DC Time : 0.0 sec. user=mdettweiler [2015-07-11 07:14:15] 771*2^1402729-1 is not prime. Res64: 010AC7E58A036E88 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:14:16] 885*2^1402729-1 is not prime. Res64: 71B88F8ED73F3E2C Time : 0.0 sec. user=mdettweiler [2015-07-11 07:14:16] 861*2^1402729-1 is not prime. Res64: 1D0F638FAFFE6005 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:14:17] 919*2^1402729-1 is not prime. Res64: 3E31A1F708AEED90 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:17:12] 979*2^1402729-1 is not prime. Res64: 047FB6EE09A87D91 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:17:12] 997*2^1402729-1 is not prime. Res64: 461C470135A278C7 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:31:40] 657*2^1402730-1 is not prime. Res64: 7766E2ED5CBC7FF8 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:31:41] 801*2^1402730-1 is not prime. Res64: 46C4DDF9D5700F8E Time : 0.0 sec. user=mdettweiler [2015-07-11 07:31:41] 893*2^1402730-1 is not prime. Res64: C4566A2A94604CFB Time : 0.0 sec. user=mdettweiler [2015-07-11 07:31:41] 957*2^1402730-1 is not prime. Res64: 06C494F996BA23EE Time : 0.0 sec. user=mdettweiler [2015-07-11 07:34:36] 613*2^1402731-1 is not prime. Res64: 307C29ACDCABD8A4 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:34:37] 651*2^1402731-1 is not prime. Res64: 4EB78F92AE9DB6F1 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:49:03] 709*2^1402731-1 is not prime. Res64: D5A956F356055F59 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:49:04] 751*2^1402731-1 is not prime. Res64: 65112FD44FF3A157 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:49:04] 775*2^1402731-1 is not prime. Res64: E1C0D93A4E91EE97 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:49:05] 823*2^1402731-1 is not prime. Res64: A04DE8D00FFA2FF3 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:51:59] 975*2^1402731-1 is not prime. Res64: 35D526A1500EB400 Time : 0.0 sec. user=mdettweiler [2015-07-11 07:52:00] 689*2^1402732-1 is not prime. Res64: 34197097AB6267DB Time : 0.0 sec. user=mdettweiler [2015-07-11 08:06:29] 695*2^1402732-1 is not prime. Res64: D6CDFB6571276BDB Time : 0.0 sec. user=mdettweiler [2015-07-11 08:06:30] 825*2^1402732-1 is not prime. Res64: 5654BA54D8DBF135 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:06:30] 777*2^1402732-1 is not prime. Res64: 8273F6DD18E9D749 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:06:30] 873*2^1402732-1 is not prime. Res64: 5698EC5667126234 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:09:24] 875*2^1402732-1 is not prime. Res64: A925225CC24523FA Time : 0.0 sec. user=mdettweiler [2015-07-11 08:09:26] 899*2^1402732-1 is not prime. Res64: FA75FFE2D54B8F0A Time : 0.0 sec. user=mdettweiler [2015-07-11 08:23:56] 947*2^1402732-1 is not prime. Res64: 8E3979352FFBAF05 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:23:57] 995*2^1402732-1 is not prime. Res64: BE30D1F6D58FBA3B Time : 0.0 sec. user=mdettweiler [2015-07-11 08:23:57] 649*2^1402733-1 is not prime. Res64: 7153FC558A91AB11 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:23:58] 721*2^1402733-1 is not prime. Res64: 22AED35C7BD07FCD Time : 0.0 sec. user=mdettweiler [2015-07-11 08:26:50] 729*2^1402733-1 is not prime. Res64: 9FE16F85F4968C23 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:26:51] 855*2^1402733-1 is not prime. Res64: 5AE7107FC5C079D8 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:41:21] 879*2^1402733-1 is not prime. Res64: B152689F23672AF6 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:41:21] 901*2^1402733-1 is not prime. Res64: B2B9C7449B2CC76A Time : 0.0 sec. user=mdettweiler [2015-07-11 08:41:21] 885*2^1402733-1 is not prime. Res64: 9F63FD0A92203D99 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:41:21] 925*2^1402733-1 is not prime. Res64: 8A61648E64048DEE Time : 0.0 sec. user=mdettweiler [2015-07-11 08:44:17] 939*2^1402733-1 is not prime. Res64: 3949CE8965F5611A Time : 0.0 sec. user=mdettweiler [2015-07-11 08:44:18] 605*2^1402734-1 is not prime. Res64: E544B5E7BFB80519 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:58:46] 755*2^1402734-1 is not prime. Res64: 1A13842B76869355 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:58:46] 833*2^1402734-1 is not prime. Res64: 08D928D28B18747A Time : 0.0 sec. user=mdettweiler [2015-07-11 08:58:46] 861*2^1402734-1 is not prime. Res64: 1663EFE3BFEDA437 Time : 0.0 sec. user=mdettweiler [2015-07-11 08:58:47] 863*2^1402734-1 is not prime. Res64: 0B8B52497E4D20FC Time : 0.0 sec. user=mdettweiler [2015-07-11 09:01:41] 601*2^1402735-1 is not prime. Res64: 60A590DD099EEEDB Time : 0.0 sec. user=mdettweiler [2015-07-11 09:01:42] 633*2^1402735-1 is not prime. Res64: 967C449B5B78E38B Time : 0.0 sec. user=mdettweiler [2015-07-11 09:16:09] 805*2^1402735-1 is not prime. Res64: FB81DBE18EA80E5B Time : 0.0 sec. user=mdettweiler [2015-07-11 09:16:10] 649*2^1402737-1 is not prime. Res64: 4D52899ED010F271 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:16:10] 843*2^1402736-1 is not prime. Res64: D4795AB7389032D2 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:16:11] 765*2^1402737-1 is not prime. Res64: F80458298440CC3D Time : 0.0 sec. user=mdettweiler [2015-07-11 09:19:05] 805*2^1402737-1 is not prime. Res64: 7A487FA958CD78B8 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:19:05] 817*2^1402737-1 is not prime. Res64: 31D1C371A86C9267 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:33:35] 889*2^1402737-1 is not prime. Res64: 7402EC6642855167 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:33:36] 979*2^1402737-1 is not prime. Res64: 998657ED88710584 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:33:36] 621*2^1402738-1 is not prime. Res64: ADA5C4FA4624BFC0 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:33:36] 645*2^1402738-1 is not prime. Res64: 5D9AE3C77FFFAB8C Time : 0.0 sec. user=mdettweiler [2015-07-11 09:36:29] 773*2^1402738-1 is not prime. Res64: 3E7BBA121C7AF3D8 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:36:29] 857*2^1402738-1 is not prime. Res64: 0D835B71408FBB45 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:51:00] 891*2^1402738-1 is not prime. Res64: 5B83A4A72B0F04D7 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:51:01] 993*2^1402738-1 is not prime. Res64: E0A98AD2383D7DE1 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:51:02] 601*2^1402739-1 is not prime. Res64: 74C4025015836DF9 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:51:02] 735*2^1402739-1 is not prime. Res64: C5AE600E7B5E3429 Time : 0.0 sec. user=mdettweiler [2015-07-11 09:53:51] 861*2^1402739-1 is not prime. Res64: 7EA08F0B0021E7ED Time : 0.0 sec. user=mdettweiler [2015-07-11 09:53:51] 903*2^1402739-1 is not prime. Res64: EDD5D95310AFFAFE Time : 0.0 sec. user=mdettweiler [2015-07-11 10:08:24] 789*2^1402740-1 is not prime. Res64: 3B0422BA75D78F01 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:08:24] 979*2^1402739-1 is not prime. Res64: B892FC2C8823B7F1 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:08:25] 803*2^1402740-1 is not prime. Res64: B1F50F937071C2A9 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:08:25] 999*2^1402739-1 is not prime. Res64: 6CC3454CFC71B8EE Time : 0.0 sec. user=mdettweiler [2015-07-11 10:11:16] 845*2^1402740-1 is not prime. Res64: 6260F2D214DF038F Time : 0.0 sec. user=mdettweiler [2015-07-11 10:11:16] 999*2^1402740-1 is not prime. Res64: 93481538A224B576 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:25:51] 639*2^1402741-1 is not prime. Res64: 2DC2C5803A73AF14 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:25:53] 679*2^1402741-1 is not prime. Res64: 8A56F54AAC6AD9FD Time : 0.0 sec. user=mdettweiler [2015-07-11 10:25:53] 687*2^1402741-1 is not prime. Res64: 8E2278EF1928FCDB Time : 0.0 sec. user=mdettweiler [2015-07-11 10:25:54] 727*2^1402741-1 is not prime. Res64: DCB432D9938263B8 Time : 0.0 sec. user=mdettweiler [2015-07-11 10:28:39] 747*2^1402741-1 is not prime. Res64: 3621BB239EB58FAA Time : 0.0 sec. user=mdettweiler [2015-07-11 10:28:39] 975*2^1402741-1 is not prime. Res64: 7572D69F1C39150C Time : 0.0 sec. user=mdettweiler [2015-07-11 10:43:19] 677*2^1402742-1 is not prime. Res64: 156F61866A220A5D Time : 0.0 sec. user=mdettweiler [2015-07-11 10:43:19] 987*2^1402741-1 is not prime. Res64: C8398B9C0427334E Time : 0.0 sec. user=mdettweiler [2015-07-11 10:43:20] 761*2^1402742-1 is not prime. Res64: 71BA9F0B7E1F08CB Time : 0.0 sec. user=mdettweiler [2015-07-11 10:43:20] 603*2^1402742-1 is not prime. Res64: 035271CBA682482D Time : 0.0 sec. user=mdettweiler [2015-07-11 10:46:04] 813*2^1402742-1 is not prime. Res64: A2CB248FBD46CDFB Time : 0.0 sec. user=mdettweiler [2015-07-11 10:46:05] 833*2^1402742-1 is not prime. Res64: 7F12E70FE961A67F Time : 0.0 sec. user=mdettweiler [2015-07-11 11:00:44] 885*2^1402742-1 is not prime. Res64: F9F7A343FDC77ACF Time : 0.0 sec. user=mdettweiler [2015-07-11 11:00:45] 915*2^1402742-1 is not prime. Res64: 4D379128506C1192 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:00:46] 923*2^1402742-1 is not prime. Res64: 43568108C5FFC44A Time : 0.0 sec. user=mdettweiler [2015-07-11 11:00:47] 951*2^1402742-1 is not prime. Res64: 11747D699AB84066 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:03:31] 977*2^1402742-1 is not prime. Res64: 05BC10B4E6E2353E Time : 0.0 sec. user=mdettweiler [2015-07-11 11:03:32] 649*2^1402743-1 is not prime. Res64: 63F8741C10C97681 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:18:16] 703*2^1402743-1 is not prime. Res64: 3C94ACF8CBFBB0D2 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:18:17] 823*2^1402743-1 is not prime. Res64: C217D488BFCADE8A Time : 0.0 sec. user=mdettweiler [2015-07-11 11:18:20] 885*2^1402743-1 is not prime. Res64: 818B73CF5EF95BB7 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:18:20] 605*2^1402744-1 is not prime. Res64: A7AF7948B2EF08AC Time : 0.0 sec. user=mdettweiler [2015-07-11 11:21:01] 863*2^1402744-1 is not prime. Res64: 69D5C80A4D543F11 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:21:02] 917*2^1402744-1 is not prime. Res64: 2BC6D0E108070130 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:35:52] 959*2^1402744-1 is not prime. Res64: 576BB6C36ED54DB7 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:35:52] 705*2^1402745-1 is not prime. Res64: 9537024AC9C546FA Time : 0.0 sec. user=mdettweiler [2015-07-11 11:35:52] 627*2^1402745-1 is not prime. Res64: 9ED9222501FAD691 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:35:52] 717*2^1402745-1 is not prime. Res64: BB63FFE75881353A Time : 0.0 sec. user=mdettweiler [2015-07-11 11:38:36] 729*2^1402745-1 is not prime. Res64: E98CC67A584D9151 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:38:36] 981*2^1402745-1 is not prime. Res64: D47DAFE36AEBCB6D Time : 0.0 sec. user=mdettweiler [2015-07-11 11:53:25] 671*2^1402746-1 is not prime. Res64: 2B7C68C3C233FD68 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:53:25] 735*2^1402746-1 is not prime. Res64: 9D40D45507BE82AA Time : 0.0 sec. user=mdettweiler [2015-07-11 11:53:26] 765*2^1402746-1 is not prime. Res64: 08F58891098FD116 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:53:26] 861*2^1402746-1 is not prime. Res64: 970F944EA80E6195 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:56:05] 993*2^1402746-1 is not prime. Res64: 697B36891C3F8D94 Time : 0.0 sec. user=mdettweiler [2015-07-11 11:56:05] 621*2^1402747-1 is not prime. Res64: 52CE34C1781DD382 Time : 0.0 sec. user=mdettweiler [2015-07-11 12:24:26] 909*2^1402747-1 is not prime. Res64: 8E2F73B1CCA6827E Time : 0.0 sec. user=mdettweiler [2015-07-11 12:24:27] 913*2^1402747-1 is not prime. Res64: 2E1F968420BA6AD8 Time : 0.0 sec. user=mdettweiler [2015-07-11 12:43:19] 993*2^1402747-1 is not prime. Res64: DF1A5C114B5BE007 Time : 0.0 sec. user=mdettweiler [2015-07-11 12:43:19] 623*2^1402748-1 is not prime. Res64: DC2D6CD1561FBC9B Time : 0.0 sec. user=mdettweiler [2015-07-11 13:01:53] 647*2^1402748-1 is not prime. Res64: CC75F69480558B07 Time : 0.0 sec. user=mdettweiler [2015-07-11 13:01:54] 677*2^1402748-1 is not prime. Res64: 88C45DDC141583E9 Time : 0.0 sec. user=mdettweiler [2015-07-11 13:20:25] 915*2^1402748-1 is not prime. Res64: 6466A91F3B9FC03F Time : 0.0 sec. user=mdettweiler [2015-07-11 13:20:25] 969*2^1402748-1 is not prime. Res64: 7E9D3A6DDE36F015 Time : 0.0 sec. user=juhehe [2015-07-11 13:28:53] 867*2^1402748-1 is not prime. Res64: 97BE8C06C3CAF9BC Time : 0.0 sec. user=mdettweiler [2015-07-11 13:38:51] 601*2^1402749-1 is not prime. Res64: 15053D69DD00F263 Time : 0.0 sec. user=mdettweiler [2015-07-11 13:38:51] 679*2^1402749-1 is not prime. Res64: AB67D0600FB87760 Time : 0.0 sec. user=mdettweiler [2015-07-11 13:57:13] 781*2^1402749-1 is not prime. Res64: E2FE311CF19B720E Time : 0.0 sec. user=mdettweiler [2015-07-11 13:57:13] 895*2^1402749-1 is not prime. Res64: F00EF01D97318373 Time : 0.0 sec. user=mdettweiler [2015-07-11 14:15:33] 945*2^1402749-1 is not prime. Res64: B31E013A79B43E4B Time : 0.0 sec. user=mdettweiler [2015-07-11 14:15:34] 961*2^1402749-1 is not prime. Res64: 01AAFCE060A85554 Time : 0.0 sec. user=mdettweiler [2015-07-11 14:34:02] 657*2^1402750-1 is not prime. Res64: E76A59689DB3E226 Time : 0.0 sec. user=mdettweiler [2015-07-11 14:34:03] 687*2^1402750-1 is not prime. Res64: CCC32A502B5399D1 Time : 0.0 sec. user=mdettweiler [2015-07-11 14:52:23] 707*2^1402750-1 is not prime. Res64: 03018F3D0BA8B3C3 Time : 0.0 sec. user=mdettweiler [2015-07-11 14:52:23] 755*2^1402750-1 is not prime. Res64: 081C516DDD91D721 Time : 0.0 sec. user=mdettweiler [2015-07-11 15:10:42] 783*2^1402750-1 is not prime. Res64: 62D73668026A8F15 Time : 0.0 sec. user=mdettweiler [2015-07-11 15:10:43] 971*2^1402750-1 is not prime. Res64: BB365BE2FBF07C85 Time : 0.0 sec. user=mdettweiler [2015-07-11 15:29:05] 1001*2^1402750-1 is not prime. Res64: B6FA6CAD1A53B00D Time : 0.0 sec. user=mdettweiler [2015-07-11 15:29:06] 789*2^1402751-1 is not prime. Res64: 2A112448C0FB890A Time : 0.0 sec. user=mdettweiler [2015-07-11 15:47:26] 819*2^1402751-1 is not prime. Res64: 1660A72110528E8F Time : 0.0 sec. user=mdettweiler [2015-07-11 15:47:26] 895*2^1402751-1 is not prime. Res64: 43AB81F8B10D52A0 Time : 0.0 sec. user=mdettweiler [2015-07-11 16:05:52] 921*2^1402751-1 is not prime. Res64: 564BC9A2700A496A Time : 0.0 sec. user=mdettweiler [2015-07-11 16:05:54] 949*2^1402751-1 is not prime. Res64: D0789E6E0D46D082 Time : 0.0 sec. user=mdettweiler [2015-07-11 16:25:05] 999*2^1402751-1 is not prime. Res64: 469EA9E161CAC702 Time : 0.0 sec. user=mdettweiler [2015-07-11 16:25:06] 747*2^1402752-1 is not prime. Res64: 47DF7E25CC3B3062 Time : 0.0 sec. user=mdettweiler [2015-07-11 16:43:31] 753*2^1402752-1 is not prime. Res64: 8BD3BC0F8E9CDD9E Time : 0.0 sec. user=mdettweiler [2015-07-11 16:43:31] 873*2^1402752-1 is not prime. Res64: CB8B6ABA6C413F23 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:01:52] 999*2^1402752-1 is not prime. Res64: 1C9374B2C3D62E74 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:01:54] 651*2^1402753-1 is not prime. Res64: A23F1DBC8FD6DF18 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:20:29] 679*2^1402753-1 is not prime. Res64: 14CA7EEF9A3FF3E6 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:20:29] 685*2^1402753-1 is not prime. Res64: C517C70BBD5B1F95 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:38:54] 945*2^1402753-1 is not prime. Res64: 37F70A867E490E2E Time : 0.0 sec. user=mdettweiler [2015-07-11 17:38:54] 615*2^1402754-1 is not prime. Res64: 27402B93460901CF Time : 0.0 sec. user=S_K_ [2015-07-11 17:49:40] 895*2^1402753-1 is not prime. Res64: 80DDAF6ACB6F4D68 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:57:16] 837*2^1402754-1 is not prime. Res64: A5C0719A458D4647 Time : 0.0 sec. user=mdettweiler [2015-07-11 17:57:17] 873*2^1402754-1 is not prime. Res64: 39F2902461FFC10F Time : 0.0 sec. user=mdettweiler [2015-07-11 18:15:37] 981*2^1402754-1 is not prime. Res64: 319BC1DB76975917 Time : 0.0 sec. user=mdettweiler [2015-07-11 18:15:38] 993*2^1402754-1 is not prime. Res64: 987F3B3997D03A0C Time : 0.0 sec. user=mdettweiler [2015-07-11 18:34:03] 691*2^1402755-1 is not prime. Res64: C9A9111C046C13B4 Time : 0.0 sec. user=mdettweiler [2015-07-11 18:34:03] 963*2^1402755-1 is not prime. Res64: 40A0FAEA33C7D53F Time : 0.0 sec. user=mdettweiler [2015-07-11 18:52:25] 705*2^1402756-1 is not prime. Res64: 8D9624BA7BFA896E Time : 0.0 sec. user=mdettweiler [2015-07-11 18:52:26] 749*2^1402756-1 is not prime. Res64: A83CD53B33598ED6 Time : 0.0 sec. user=mdettweiler [2015-07-11 19:10:49] 833*2^1402756-1 is not prime. Res64: 04329EC2D74EB02B Time : 0.0 sec. user=mdettweiler [2015-07-11 19:10:51] 843*2^1402756-1 is not prime. Res64: 4A882AB33B7436C8 Time : 0.0 sec. user=mdettweiler [2015-07-11 19:29:16] 887*2^1402756-1 is not prime. Res64: 4BB6EB9325C2BA54 Time : 0.0 sec. user=mdettweiler [2015-07-11 19:29:17] 957*2^1402756-1 is not prime. Res64: CE720156C5D4CBB4 Time : 0.0 sec. user=mdettweiler [2015-07-11 19:47:43] 989*2^1402756-1 is not prime. Res64: 89137C7AAA90DC6B Time : 0.0 sec. user=mdettweiler [2015-07-11 19:47:44] 619*2^1402757-1 is not prime. Res64: D0188AF89453B302 Time : 0.0 sec. user=mdettweiler [2015-07-11 20:06:05] 649*2^1402757-1 is not prime. Res64: 6ABD1FE6C4A26984 Time : 0.0 sec. user=mdettweiler [2015-07-11 20:06:06] 655*2^1402757-1 is not prime. Res64: F84E9C51A91F60FA Time : 0.0 sec. user=mdettweiler [2015-07-11 20:24:32] 685*2^1402757-1 is not prime. Res64: 37BA50E3F161C8E6 Time : 0.0 sec. user=mdettweiler [2015-07-11 20:24:33] 691*2^1402757-1 is not prime. Res64: 25EF578302BAE1D6 Time : 0.0 sec. user=S_K_ [2015-07-11 20:42:46] 887*2^1402754-1 is not prime. Res64: 23CC054F64706291 Time : 0.0 sec. user=mdettweiler [2015-07-11 20:42:59] 757*2^1402757-1 is not prime. Res64: 33E31E81B816E121 Time : 0.0 sec. user=mdettweiler [2015-07-11 20:42:59] 771*2^1402757-1 is not prime. Res64: 4A990AD16F78C836 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:01:27] 799*2^1402757-1 is not prime. Res64: 62F2459FE0C5EB1B Time : 0.0 sec. user=mdettweiler [2015-07-11 21:01:28] 871*2^1402757-1 is not prime. Res64: E53383D0E9B62DD0 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:20:19] 927*2^1402757-1 is not prime. Res64: 9CF7AF5B4440E052 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:20:20] 939*2^1402757-1 is not prime. Res64: CEB5B3D15CAFC06F Time : 0.0 sec. user=mdettweiler [2015-07-11 21:30:21] 741*2^1402747-1 is not prime. Res64: A644C8EDD2804743 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:30:21] 819*2^1402747-1 is not prime. Res64: 20AE07ABE33AA3BB Time : 0.0 sec. user=mdettweiler [2015-07-11 21:35:27] 675*2^1402747-1 is not prime. Res64: F18D8CB9FEB934EB Time : 0.0 sec. user=mdettweiler [2015-07-11 21:35:27] 735*2^1402747-1 is not prime. Res64: 9CD0F3DE4EBD1094 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:39:08] 635*2^1402758-1 is not prime. Res64: AE809F78C2A9EC9E Time : 0.0 sec. user=mdettweiler [2015-07-11 21:39:09] 711*2^1402758-1 is not prime. Res64: 93A7E60EC6683245 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:48:15] 755*2^1402758-1 is not prime. Res64: 8520FD4998A46942 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:48:15] 825*2^1402758-1 is not prime. Res64: 0D889E7A6129DEE1 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:52:56] 843*2^1402758-1 is not prime. Res64: 42CD5BFA9C80106D Time : 0.0 sec. user=mdettweiler [2015-07-11 21:52:56] 963*2^1402758-1 is not prime. Res64: F83D75BCCCFDD479 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:56:35] 971*2^1402758-1 is not prime. Res64: EBF5EAC68CA0C594 Time : 0.0 sec. user=mdettweiler [2015-07-11 21:56:36] 601*2^1402759-1 is not prime. Res64: CF71752C5478E660 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:05:39] 615*2^1402759-1 is not prime. Res64: 599D96326D3FD8C2 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:05:39] 633*2^1402759-1 is not prime. Res64: 81657568EBB7EA1B Time : 0.0 sec. user=mdettweiler [2015-07-11 22:10:18] 679*2^1402759-1 is not prime. Res64: 05545808626F1EF9 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:10:19] 735*2^1402759-1 is not prime. Res64: 97E0AEEF5D51D93A Time : 0.0 sec. user=mdettweiler [2015-07-11 22:14:01] 759*2^1402759-1 is not prime. Res64: F760EFE6FAD16127 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:14:01] 831*2^1402759-1 is not prime. Res64: 93F943B15AC569F7 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:23:03] 663*2^1402760-1 is not prime. Res64: 0F34364379138488 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:23:03] 677*2^1402760-1 is not prime. Res64: 9D5EF65D778AAFF8 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:27:47] 717*2^1402760-1 is not prime. Res64: B4CB2D0DFC244539 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:27:48] 755*2^1402760-1 is not prime. Res64: 5ECCA6329CFCA3EB Time : 0.0 sec. user=mdettweiler [2015-07-11 22:31:28] 839*2^1402760-1 is not prime. Res64: 09E5D7CF5EA5A5F0 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:31:29] 963*2^1402760-1 is not prime. Res64: F2F04F7B49D9783F Time : 0.0 sec. user=mdettweiler [2015-07-11 22:40:42] 625*2^1402761-1 is not prime. Res64: 3EED7A7011830BFF Time : 0.0 sec. user=mdettweiler [2015-07-11 22:40:42] 751*2^1402761-1 is not prime. Res64: 0AAB951FFA2ABBC1 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:45:37] 795*2^1402761-1 is not prime. Res64: 6F0C969AF570ED75 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:45:37] 877*2^1402761-1 is not prime. Res64: F3E70DDA397FB8E4 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:49:17] 907*2^1402761-1 is not prime. Res64: 5ECD4F02BCDE4048 Time : 0.0 sec. user=mdettweiler [2015-07-11 22:49:18] 909*2^1402761-1 is not prime. Res64: 1B7AFE757FFDAC4A Time : 0.0 sec. user=mdettweiler [2015-07-11 22:58:17] 695*2^1402762-1 is not prime. Res64: CAEC6FFCA98B6ACD Time : 0.0 sec. user=mdettweiler [2015-07-11 22:58:18] 833*2^1402762-1 is not prime. Res64: EE322021F374E11A Time : 0.0 sec. user=mdettweiler [2015-07-11 23:03:12] 615*2^1402763-1 is not prime. Res64: F849A2DD47642376 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:03:13] 663*2^1402763-1 is not prime. Res64: 3EA983E332C2F359 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:06:50] 679*2^1402763-1 is not prime. Res64: 66FAB24245C8FAA0 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:06:51] 943*2^1402763-1 is not prime. Res64: 912348D94FDB807F Time : 0.0 sec. user=mdettweiler [2015-07-11 23:15:54] 963*2^1402763-1 is not prime. Res64: E147B24B3DF02B40 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:15:55] 663*2^1402764-1 is not prime. Res64: 26BC192B2FEA1B2E Time : 0.0 sec. user=juhehe [2015-07-11 23:16:35] 617*2^1402762-1 is not prime. Res64: 113BB8511323AB88 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:20:55] 693*2^1402764-1 is not prime. Res64: E1A5CA818D49B95E Time : 0.0 sec. user=mdettweiler [2015-07-11 23:20:55] 789*2^1402764-1 is not prime. Res64: 21023FAA51F1C450 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:24:30] 903*2^1402764-1 is not prime. Res64: F3C3BE92ECF4D075 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:24:30] 945*2^1402764-1 is not prime. Res64: 7A6AFDA24BE5DF6F Time : 0.0 sec. user=mdettweiler [2015-07-11 23:33:43] 969*2^1402764-1 is not prime. Res64: 23D753D06AE1856E Time : 0.0 sec. user=mdettweiler [2015-07-11 23:33:43] 975*2^1402764-1 is not prime. Res64: 9929459D6FC07B2A Time : 0.0 sec. user=mdettweiler [2015-07-11 23:38:42] 649*2^1402765-1 is not prime. Res64: B32ECD0C9034E5B3 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:38:42] 685*2^1402765-1 is not prime. Res64: 25EDE4E3A73C5E10 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:42:22] 961*2^1402765-1 is not prime. Res64: 39FA5904CEF12B7C Time : 0.0 sec. user=mdettweiler [2015-07-11 23:42:22] 979*2^1402765-1 is not prime. Res64: 219E2FD83B24C1C1 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:51:19] 997*2^1402765-1 is not prime. Res64: 8527C68195821330 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:51:19] 999*2^1402765-1 is not prime. Res64: 5C54C94E2DC96C18 Time : 0.0 sec. user=juhehe [2015-07-11 23:53:15] 965*2^1402764-1 is not prime. Res64: 1FDCE3135A67945C Time : 0.0 sec. user=mdettweiler [2015-07-11 23:56:20] 747*2^1402766-1 is not prime. Res64: 80FB39809BACBAFA Time : 0.0 sec. user=mdettweiler [2015-07-11 23:56:20] 843*2^1402766-1 is not prime. Res64: 0F3F2757F4536530 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:59:57] 923*2^1402766-1 is not prime. Res64: FA12FAE8DA0F7506 Time : 0.0 sec. user=mdettweiler [2015-07-11 23:59:57] 935*2^1402766-1 is not prime. Res64: 5102CF5048FF6B44 Time : 0.0 sec.