user=mdettweiler [2016-02-08 00:04:24] 789*2^1421645-1 is not prime. Res64: B7F37BFC80BAD87E Time : 0.0 sec. user=mdettweiler [2016-02-08 00:04:25] 859*2^1421645-1 is not prime. Res64: 4BD486E8C8C3A531 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:10:32] 949*2^1421645-1 is not prime. Res64: 21D0146FF326DB1B Time : 0.0 sec. user=mdettweiler [2016-02-08 00:10:32] 955*2^1421645-1 is not prime. Res64: 49659DB19DEED997 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:18:06] 979*2^1421645-1 is not prime. Res64: 314C57CAD59975BF Time : 0.0 sec. user=mdettweiler [2016-02-08 00:18:07] 615*2^1421646-1 is not prime. Res64: 269544F56E33E576 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:22:08] 635*2^1421646-1 is not prime. Res64: B7B53690321C63FA Time : 0.0 sec. user=mdettweiler [2016-02-08 00:22:08] 723*2^1421646-1 is not prime. Res64: CD031ACDB9D6501E Time : 0.0 sec. user=mdettweiler [2016-02-08 00:28:08] 765*2^1421646-1 is not prime. Res64: BAE10244A5B35A45 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:28:08] 767*2^1421646-1 is not prime. Res64: 26C9FF6DFB145255 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:35:42] 971*2^1421646-1 is not prime. Res64: 68ECC917EE17D355 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:35:42] 693*2^1421647-1 is not prime. Res64: 955845F127B42C70 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:39:41] 705*2^1421647-1 is not prime. Res64: C433061A1EB89A51 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:39:42] 841*2^1421647-1 is not prime. Res64: 9B950C31B647F1C3 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:45:42] 843*2^1421647-1 is not prime. Res64: 1340B3063BCAE9FD Time : 0.0 sec. user=mdettweiler [2016-02-08 00:45:42] 861*2^1421647-1 is not prime. Res64: 3AB66B79190B8156 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:53:18] 871*2^1421647-1 is not prime. Res64: E89209C56CB54865 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:53:18] 883*2^1421647-1 is not prime. Res64: 0616ADB50836EDBE Time : 0.0 sec. user=mdettweiler [2016-02-08 00:57:15] 933*2^1421647-1 is not prime. Res64: 01D1CDF2DBCCCFD0 Time : 0.0 sec. user=mdettweiler [2016-02-08 00:57:16] 999*2^1421647-1 is not prime. Res64: 3EB7812C6C6D03FE Time : 0.0 sec. user=mdettweiler [2016-02-08 01:03:15] 603*2^1421648-1 is not prime. Res64: F9C974D412D11129 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:03:17] 657*2^1421648-1 is not prime. Res64: 6ACC7977C96D7D20 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:10:52] 669*2^1421648-1 is not prime. Res64: 8E7067A600CB6F4C Time : 0.0 sec. user=mdettweiler [2016-02-08 01:10:53] 743*2^1421648-1 is not prime. Res64: 00115D424BA91C62 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:14:50] 855*2^1421648-1 is not prime. Res64: CF7440E3141A8CEF Time : 0.0 sec. user=mdettweiler [2016-02-08 01:14:51] 893*2^1421648-1 is not prime. Res64: BAB01461BA0DFAA9 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:20:53] 959*2^1421648-1 is not prime. Res64: CF215E3B2278ECC9 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:20:54] 963*2^1421648-1 is not prime. Res64: 1640FBCFA09C148C Time : 0.0 sec. user=mdettweiler [2016-02-08 01:28:30] 615*2^1421649-1 is not prime. Res64: 7F3C4C9A2963F542 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:28:31] 637*2^1421649-1 is not prime. Res64: 2BF85EE45CD7B43F Time : 0.0 sec. user=mdettweiler [2016-02-08 01:32:30] 685*2^1421649-1 is not prime. Res64: 7F9954ABC71E4570 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:32:30] 781*2^1421649-1 is not prime. Res64: A21591A2E7496B54 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:38:32] 789*2^1421649-1 is not prime. Res64: D8967F30FBA2993C Time : 0.0 sec. user=mdettweiler [2016-02-08 01:38:32] 603*2^1421650-1 is not prime. Res64: BD9F596D07F12492 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:46:19] 773*2^1421650-1 is not prime. Res64: E337363A32740A32 Time : 0.0 sec. user=mdettweiler [2016-02-08 01:46:20] 785*2^1421650-1 is not prime. Res64: EC634C662B0724CE Time : 0.0 sec. user=mdettweiler [2016-02-08 01:50:06] 975*2^1421650-1 is not prime. Res64: 0DB20182D7F191CF Time : 0.0 sec. user=mdettweiler [2016-02-08 01:50:07] 609*2^1421651-1 is not prime. Res64: 14E76ACB2957359E Time : 0.0 sec. user=mdettweiler [2016-02-08 01:56:06] 705*2^1421651-1 is not prime. Res64: C71FAB275410797F Time : 0.0 sec. user=mdettweiler [2016-02-08 01:56:06] 753*2^1421651-1 is not prime. Res64: 795DF5BB4E14EA6F Time : 0.0 sec. user=mdettweiler [2016-02-08 02:03:55] 939*2^1421651-1 is not prime. Res64: 817A18AF117B760C Time : 0.0 sec. user=mdettweiler [2016-02-08 02:03:57] 647*2^1421652-1 is not prime. Res64: F4B1934CEFEBBED0 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:07:42] 675*2^1421652-1 is not prime. Res64: 36A5F01C8A01D452 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:07:43] 749*2^1421652-1 is not prime. Res64: 569117B583CCEA47 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:13:41] 899*2^1421652-1 is not prime. Res64: 8806974D107B46A4 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:13:41] 915*2^1421652-1 is not prime. Res64: 6BB97F6393B6D48E Time : 0.0 sec. user=mdettweiler [2016-02-08 02:21:45] 947*2^1421652-1 is not prime. Res64: 7B8707549D0BA0C5 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:21:45] 609*2^1421653-1 is not prime. Res64: 901448A748983F2B Time : 0.0 sec. user=mdettweiler [2016-02-08 02:25:30] 727*2^1421653-1 is not prime. Res64: D28ADC69E8BA130A Time : 0.0 sec. user=mdettweiler [2016-02-08 02:25:31] 747*2^1421653-1 is not prime. Res64: A738AB484AB8BA17 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:31:16] 937*2^1421653-1 is not prime. Res64: AE1957F0A628C941 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:31:17] 999*2^1421653-1 is not prime. Res64: C6B8CC94687ED425 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:39:19] 617*2^1421654-1 is not prime. Res64: 240EFB24B9D02263 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:39:19] 623*2^1421654-1 is not prime. Res64: BDB7A032A32F992C Time : 0.0 sec. user=mdettweiler [2016-02-08 02:43:10] 675*2^1421654-1 is not prime. Res64: AB156157F7E0EDB4 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:43:10] 705*2^1421654-1 is not prime. Res64: 284BD85244B7FF90 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:48:58] 711*2^1421654-1 is not prime. Res64: 3BC89253E846DCBC Time : 0.0 sec. user=mdettweiler [2016-02-08 02:48:59] 731*2^1421654-1 is not prime. Res64: 5CEAA173389C6B7B Time : 0.0 sec. user=mdettweiler [2016-02-08 02:56:54] 753*2^1421654-1 is not prime. Res64: 7C31614AE2ABE705 Time : 0.0 sec. user=mdettweiler [2016-02-08 02:56:55] 875*2^1421654-1 is not prime. Res64: AF92CE6F08B98EBE Time : 0.0 sec. user=mdettweiler [2016-02-08 03:00:45] 915*2^1421654-1 is not prime. Res64: A5DDAE745B9FC8D0 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:00:46] 945*2^1421654-1 is not prime. Res64: 6EAE754B891D1216 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:06:36] 951*2^1421654-1 is not prime. Res64: 5954E8AC28584887 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:06:38] 993*2^1421654-1 is not prime. Res64: CEDA41E5B29DCF53 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:14:29] 675*2^1421655-1 is not prime. Res64: 266CAC4FA585DDFD Time : 0.0 sec. user=mdettweiler [2016-02-08 03:14:30] 679*2^1421655-1 is not prime. Res64: 52025453489AF220 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:18:21] 685*2^1421655-1 is not prime. Res64: 5D07AC5608F2E84B Time : 0.0 sec. user=mdettweiler [2016-02-08 03:18:21] 805*2^1421655-1 is not prime. Res64: 8521C9B67C295EB4 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:24:29] 819*2^1421655-1 is not prime. Res64: 0BA02105BF1A982B Time : 0.0 sec. user=mdettweiler [2016-02-08 03:24:30] 955*2^1421655-1 is not prime. Res64: 368943FDC6EA3BC3 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:32:04] 693*2^1421656-1 is not prime. Res64: 84012AC92D99863D Time : 0.0 sec. user=mdettweiler [2016-02-08 03:32:06] 833*2^1421656-1 is not prime. Res64: D938C134A2BE3211 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:35:54] 849*2^1421656-1 is not prime. Res64: 92DF267FBFE4FC5D Time : 0.0 sec. user=mdettweiler [2016-02-08 03:35:57] 903*2^1421656-1 is not prime. Res64: 8CFD23AE8FEAE190 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:42:04] 947*2^1421656-1 is not prime. Res64: C2FFB82FF38DB631 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:42:05] 747*2^1421657-1 is not prime. Res64: 0409A9F606BD921E Time : 0.0 sec. user=mdettweiler [2016-02-08 03:49:54] 981*2^1421657-1 is not prime. Res64: A3BE1F45DD1621B3 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:49:55] 651*2^1421658-1 is not prime. Res64: C3CD4D17D8E92CCF Time : 0.0 sec. user=mdettweiler [2016-02-08 03:53:54] 663*2^1421658-1 is not prime. Res64: 683108AE1F97FBF6 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:53:55] 735*2^1421658-1 is not prime. Res64: EE502D15F7556B26 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:59:45] 747*2^1421658-1 is not prime. Res64: 577B3416AED996D5 Time : 0.0 sec. user=mdettweiler [2016-02-08 03:59:46] 893*2^1421658-1 is not prime. Res64: 94433C1FA1591538 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:07:47] 957*2^1421658-1 is not prime. Res64: 91871371AA96782E Time : 0.0 sec. user=mdettweiler [2016-02-08 04:07:48] 645*2^1421659-1 is not prime. Res64: 69B92307DF80AFC7 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:11:32] 649*2^1421659-1 is not prime. Res64: 77DFBD6456D96639 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:11:32] 693*2^1421659-1 is not prime. Res64: 33FC35143A497B68 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:17:22] 735*2^1421659-1 is not prime. Res64: F83F25F9B508191F Time : 0.0 sec. user=mdettweiler [2016-02-08 04:17:22] 769*2^1421659-1 is not prime. Res64: 3616A5EF64A6EB66 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:25:25] 811*2^1421659-1 is not prime. Res64: F574F2A1967149BD Time : 0.0 sec. user=mdettweiler [2016-02-08 04:25:25] 909*2^1421659-1 is not prime. Res64: 91B052732D67D82A Time : 0.0 sec. user=mdettweiler [2016-02-08 04:29:08] 999*2^1421659-1 is not prime. Res64: 0B1D5F28D057CC3D Time : 0.0 sec. user=mdettweiler [2016-02-08 04:29:08] 825*2^1421660-1 is not prime. Res64: 35963C591C6BB368 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:34:58] 963*2^1421660-1 is not prime. Res64: 4E9B84175C67605B Time : 0.0 sec. user=mdettweiler [2016-02-08 04:34:58] 607*2^1421661-1 is not prime. Res64: A0072BDD1A65FC0C Time : 0.0 sec. user=mdettweiler [2016-02-08 04:42:59] 649*2^1421661-1 is not prime. Res64: E2FB956C39E96396 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:42:59] 709*2^1421661-1 is not prime. Res64: C11FFF664FB2DE92 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:46:43] 877*2^1421661-1 is not prime. Res64: B78E128ACD5B5AA4 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:46:43] 895*2^1421661-1 is not prime. Res64: D483C1E38DEF6673 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:52:31] 997*2^1421661-1 is not prime. Res64: 1E86294090268F61 Time : 0.0 sec. user=mdettweiler [2016-02-08 04:52:32] 611*2^1421662-1 is not prime. Res64: 723A45BEC7BCB4DE Time : 0.0 sec. user=mdettweiler [2016-02-08 05:00:35] 741*2^1421662-1 is not prime. Res64: 896A82B7A6532407 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:00:36] 777*2^1421662-1 is not prime. Res64: 2026D3B512A54643 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:04:18] 825*2^1421662-1 is not prime. Res64: E8CB4CD7153302E1 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:04:19] 863*2^1421662-1 is not prime. Res64: 4CD00D1F4ACDA7A3 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:10:07] 885*2^1421662-1 is not prime. Res64: 736F168B7594E53B Time : 0.0 sec. user=mdettweiler [2016-02-08 05:10:07] 945*2^1421662-1 is not prime. Res64: 9B2B3F118AA2FDC5 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:18:12] 663*2^1421663-1 is not prime. Res64: 0189AD2431C5A54C Time : 0.0 sec. user=mdettweiler [2016-02-08 05:18:13] 705*2^1421663-1 is not prime. Res64: BB548AF9987F4ED6 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:21:56] 735*2^1421663-1 is not prime. Res64: BA9369A11371F0CD Time : 0.0 sec. user=mdettweiler [2016-02-08 05:21:57] 615*2^1421664-1 is not prime. Res64: 0ED4EB62CC2F68E4 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:27:44] 689*2^1421664-1 is not prime. Res64: A29C2F0CB839C059 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:27:44] 705*2^1421664-1 is not prime. Res64: CF361637AEB8F90A Time : 0.0 sec. user=mdettweiler [2016-02-08 05:35:47] 825*2^1421664-1 is not prime. Res64: 71B433F4AE706782 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:35:48] 849*2^1421664-1 is not prime. Res64: 9C5947DE3331D535 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:39:33] 875*2^1421664-1 is not prime. Res64: A679101017B00279 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:39:34] 927*2^1421664-1 is not prime. Res64: F80B74941ADFDEFE Time : 0.0 sec. user=mdettweiler [2016-02-08 05:45:21] 983*2^1421664-1 is not prime. Res64: BF4C47421AE9FF50 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:45:21] 751*2^1421665-1 is not prime. Res64: A7873EE5B5772BC5 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:53:22] 771*2^1421665-1 is not prime. Res64: 3B76ACDFC5A91B5A Time : 0.0 sec. user=mdettweiler [2016-02-08 05:53:22] 801*2^1421665-1 is not prime. Res64: AC09EEEB052CAFDF Time : 0.0 sec. user=mdettweiler [2016-02-08 05:57:07] 841*2^1421665-1 is not prime. Res64: 2FC89087AC8814D9 Time : 0.0 sec. user=mdettweiler [2016-02-08 05:57:07] 861*2^1421665-1 is not prime. Res64: 083A1B0F1B72613C Time : 0.0 sec. user=mdettweiler [2016-02-08 06:02:55] 895*2^1421665-1 is not prime. Res64: 23920C33A9A86DF7 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:02:56] 925*2^1421665-1 is not prime. Res64: 10AB7FACEF93B823 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:10:57] 985*2^1421665-1 is not prime. Res64: 8439ECF49981FDED Time : 0.0 sec. user=mdettweiler [2016-02-08 06:10:58] 635*2^1421666-1 is not prime. Res64: 7BC4C384A9174887 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:14:41] 671*2^1421666-1 is not prime. Res64: 6CCBAD3FE5482E87 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:14:41] 785*2^1421666-1 is not prime. Res64: FD6B2C155166D31A Time : 0.0 sec. user=mdettweiler [2016-02-08 06:20:42] 827*2^1421666-1 is not prime. Res64: 225881AC0AB9043F Time : 0.0 sec. user=mdettweiler [2016-02-08 06:20:43] 831*2^1421666-1 is not prime. Res64: F1892F6432932F46 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:28:32] 833*2^1421666-1 is not prime. Res64: 4D2BBFC4352BA921 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:28:32] 765*2^1421667-1 is not prime. Res64: 041208D94A129C40 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:32:14] 793*2^1421667-1 is not prime. Res64: 266678FE5CB2047C Time : 0.0 sec. user=mdettweiler [2016-02-08 06:32:15] 615*2^1421668-1 is not prime. Res64: 12EA98571609541E Time : 0.0 sec. user=mdettweiler [2016-02-08 06:38:16] 749*2^1421668-1 is not prime. Res64: 17D7983BA189C370 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:38:16] 783*2^1421668-1 is not prime. Res64: 9741AC93D101F3C5 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:46:07] 819*2^1421668-1 is not prime. Res64: 91C5610933E1A44B Time : 0.0 sec. user=mdettweiler [2016-02-08 06:46:08] 923*2^1421668-1 is not prime. Res64: 0852656C0A7F228C Time : 0.0 sec. user=mdettweiler [2016-02-08 06:49:49] 987*2^1421668-1 is not prime. Res64: BC5AA5DF02110EAE Time : 0.0 sec. user=mdettweiler [2016-02-08 06:49:49] 989*2^1421668-1 is not prime. Res64: 13CDBCA18B70269D Time : 0.0 sec. user=mdettweiler [2016-02-08 06:55:52] 995*2^1421668-1 is not prime. Res64: 32AB0DAE9F022A55 Time : 0.0 sec. user=mdettweiler [2016-02-08 06:55:52] 621*2^1421669-1 is not prime. Res64: 8AC4032C669745DE Time : 0.0 sec. user=mdettweiler [2016-02-08 07:03:43] 685*2^1421669-1 is not prime. Res64: 31286B008958281B Time : 0.0 sec. user=mdettweiler [2016-02-08 07:03:45] 787*2^1421669-1 is not prime. Res64: AFC2DCF664C724F1 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:07:22] 795*2^1421669-1 is not prime. Res64: 6BCFAFB4AEF79AAE Time : 0.0 sec. user=mdettweiler [2016-02-08 07:07:23] 635*2^1421670-1 is not prime. Res64: E05DBD9E2BB23E7E Time : 0.0 sec. user=mdettweiler [2016-02-08 07:13:25] 647*2^1421670-1 is not prime. Res64: A332431D9F18D991 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:13:26] 681*2^1421670-1 is not prime. Res64: B0CFF7C5E9CBC406 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:21:35] 711*2^1421670-1 is not prime. Res64: D97EEF8C67A30D91 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:21:36] 723*2^1421670-1 is not prime. Res64: 1C1F47C29E75418D Time : 0.0 sec. user=mdettweiler [2016-02-08 07:25:09] 773*2^1421670-1 is not prime. Res64: 76424EBA80BF5E2E Time : 0.0 sec. user=mdettweiler [2016-02-08 07:25:10] 797*2^1421670-1 is not prime. Res64: 5E5B3A0AE439B495 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:30:59] 1001*2^1421670-1 is not prime. Res64: 819DFD79F8EC70C0 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:31:00] 619*2^1421671-1 is not prime. Res64: 9AC6F35501AF59A0 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:39:10] 651*2^1421671-1 is not prime. Res64: E85B425725C381D7 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:39:10] 693*2^1421671-1 is not prime. Res64: 33C1077802756AF5 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:42:45] 705*2^1421671-1 is not prime. Res64: A0227D5C8C35C5D6 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:42:45] 859*2^1421671-1 is not prime. Res64: 5321038AB013D1DF Time : 0.0 sec. user=mdettweiler [2016-02-08 07:48:34] 871*2^1421671-1 is not prime. Res64: C571DE76E87B8D23 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:48:35] 909*2^1421671-1 is not prime. Res64: E0B7E400E554C256 Time : 0.0 sec. user=mdettweiler [2016-02-08 07:56:44] 675*2^1421672-1 is not prime. Res64: FD644FC60409753D Time : 0.0 sec. user=mdettweiler [2016-02-08 07:56:45] 683*2^1421672-1 is not prime. Res64: F2F249F3EC86A6A7 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:00:18] 687*2^1421672-1 is not prime. Res64: C172463848452367 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:00:19] 699*2^1421672-1 is not prime. Res64: D02754D75ADC46B7 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:06:10] 879*2^1421672-1 is not prime. Res64: F7284C3BE670F466 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:06:12] 957*2^1421672-1 is not prime. Res64: 77830FF87EB1AD9E Time : 0.0 sec. user=mdettweiler [2016-02-08 08:14:22] 627*2^1421673-1 is not prime. Res64: 6FC8B11C73D73F97 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:14:23] 765*2^1421673-1 is not prime. Res64: D1F2C843B78D3BE1 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:17:56] 999*2^1421673-1 is not prime. Res64: C98E995B60DAE2B5 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:17:56] 737*2^1421674-1 is not prime. Res64: 7E9234FC6A85872D Time : 0.0 sec. user=mdettweiler [2016-02-08 08:24:03] 857*2^1421674-1 is not prime. Res64: FEAF0E9890CA3DCF Time : 0.0 sec. user=mdettweiler [2016-02-08 08:24:03] 881*2^1421674-1 is not prime. Res64: 03866F9733B22551 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:31:58] 941*2^1421674-1 is not prime. Res64: CD678724D7D6C652 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:31:59] 945*2^1421674-1 is not prime. Res64: 12DF69D70E23632F Time : 0.0 sec. user=mdettweiler [2016-02-08 08:35:29] 987*2^1421674-1 is not prime. Res64: 692CD8EE7B302AFF Time : 0.0 sec. user=mdettweiler [2016-02-08 08:35:30] 643*2^1421675-1 is not prime. Res64: 69A1D1EE80849D92 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:41:40] 685*2^1421675-1 is not prime. Res64: 843CCF606B11104C Time : 0.0 sec. user=mdettweiler [2016-02-08 08:41:40] 693*2^1421675-1 is not prime. Res64: B43FFB3EAC8A6D41 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:49:35] 741*2^1421675-1 is not prime. Res64: F72524E133C47926 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:49:35] 775*2^1421675-1 is not prime. Res64: 6C4C0646ED480032 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:53:07] 783*2^1421675-1 is not prime. Res64: CA5A31086D32A3D8 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:53:07] 789*2^1421675-1 is not prime. Res64: F11736BB2C868D6E Time : 0.0 sec. user=mdettweiler [2016-02-08 08:59:15] 859*2^1421675-1 is not prime. Res64: 89C019B2199BE8F2 Time : 0.0 sec. user=mdettweiler [2016-02-08 08:59:15] 913*2^1421675-1 is not prime. Res64: 53DC96046C8813B6 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:07:11] 981*2^1421675-1 is not prime. Res64: 4278BEC837194C28 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:07:11] 985*2^1421675-1 is not prime. Res64: A6C6DE6CDA189FCF Time : 0.0 sec. user=mdettweiler [2016-02-08 09:10:41] 623*2^1421676-1 is not prime. Res64: 95200E04AD6C4746 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:10:41] 633*2^1421676-1 is not prime. Res64: D4F82BA4719CDF57 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:16:49] 759*2^1421676-1 is not prime. Res64: 818F2C5805BB3D11 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:16:49] 601*2^1421677-1 is not prime. Res64: E1D5B4EBEDC4C777 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:24:44] 651*2^1421677-1 is not prime. Res64: 8E70F584C140830E Time : 0.0 sec. user=mdettweiler [2016-02-08 09:24:44] 667*2^1421677-1 is not prime. Res64: 75923C513644934D Time : 0.0 sec. user=mdettweiler [2016-02-08 09:28:15] 687*2^1421677-1 is not prime. Res64: 015A032A61E86826 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:28:15] 741*2^1421677-1 is not prime. Res64: 4A1A582715FD27F7 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:34:25] 747*2^1421677-1 is not prime. Res64: 5601ACD2D456CFE0 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:34:25] 757*2^1421677-1 is not prime. Res64: 6A0468DBCAA06F14 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:42:21] 871*2^1421677-1 is not prime. Res64: 3AC43A3989469B0B Time : 0.0 sec. user=mdettweiler [2016-02-08 09:42:21] 885*2^1421677-1 is not prime. Res64: 9938555A205B04A4 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:45:49] 889*2^1421677-1 is not prime. Res64: 5F4245E10AD1985D Time : 0.0 sec. user=mdettweiler [2016-02-08 09:45:50] 897*2^1421677-1 is not prime. Res64: DE1177898B927E65 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:52:01] 773*2^1421678-1 is not prime. Res64: F9E08E02A5764D74 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:52:01] 945*2^1421678-1 is not prime. Res64: 7039BD6D0AE2443C Time : 0.0 sec. user=mdettweiler [2016-02-08 09:59:57] 971*2^1421678-1 is not prime. Res64: 50141E1595927382 Time : 0.0 sec. user=mdettweiler [2016-02-08 09:59:57] 609*2^1421679-1 is not prime. Res64: 62645B52449A858A Time : 0.0 sec. user=mdettweiler [2016-02-08 10:03:23] 621*2^1421679-1 is not prime. Res64: 36A384140F3A81A8 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:03:25] 861*2^1421679-1 is not prime. Res64: 7439B065272C9557 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:09:35] 973*2^1421679-1 is not prime. Res64: DC794A0DB4932C6C Time : 0.0 sec. user=mdettweiler [2016-02-08 10:09:35] 979*2^1421679-1 is not prime. Res64: 4E0B64646645C9C2 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:17:32] 827*2^1421680-1 is not prime. Res64: BCBE3C877E618A13 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:17:32] 897*2^1421680-1 is not prime. Res64: A88E5E8FC2139E84 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:21:05] 909*2^1421680-1 is not prime. Res64: 3B90276810E7BB07 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:21:06] 923*2^1421680-1 is not prime. Res64: FDCC98F407A42267 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:27:13] 679*2^1421681-1 is not prime. Res64: 48F236428CF33942 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:27:14] 747*2^1421681-1 is not prime. Res64: EF3968789F0AEBD2 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:35:09] 811*2^1421681-1 is not prime. Res64: E68E21ED60161F10 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:35:10] 901*2^1421681-1 is not prime. Res64: 3E86440D154E6CDC Time : 0.0 sec. user=mdettweiler [2016-02-08 10:38:39] 907*2^1421681-1 is not prime. Res64: 306F4261D93D00FE Time : 0.0 sec. user=mdettweiler [2016-02-08 10:38:40] 909*2^1421681-1 is not prime. Res64: 7FCDF04E9DFB7612 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:44:48] 931*2^1421681-1 is not prime. Res64: EC136C18B84335A6 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:44:49] 945*2^1421681-1 is not prime. Res64: F3719AB44DC97090 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:52:46] 955*2^1421681-1 is not prime. Res64: BFE0EF88C0BE7494 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:52:46] 737*2^1421682-1 is not prime. Res64: 7A7D9FC285007D1C Time : 0.0 sec. user=mdettweiler [2016-02-08 10:56:14] 755*2^1421682-1 is not prime. Res64: 2AE490BFDE5AFBE9 Time : 0.0 sec. user=mdettweiler [2016-02-08 10:56:15] 887*2^1421682-1 is not prime. Res64: 48A19CD9387B0844 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:02:24] 921*2^1421682-1 is not prime. Res64: 5CDF0E9182933353 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:02:25] 609*2^1421683-1 is not prime. Res64: 1E86C54821A035A3 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:10:21] 663*2^1421683-1 is not prime. Res64: 75E9296E4384EE20 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:10:22] 679*2^1421683-1 is not prime. Res64: AD7A589BEEE4B546 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:13:49] 705*2^1421683-1 is not prime. Res64: 8CEEC2D349601209 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:13:50] 769*2^1421683-1 is not prime. Res64: 49661087C7DA7A4C Time : 0.0 sec. user=mdettweiler [2016-02-08 11:20:04] 805*2^1421683-1 is not prime. Res64: D3A1484F66607BF3 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:20:04] 835*2^1421683-1 is not prime. Res64: B43AFCDC885DC660 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:27:56] 919*2^1421683-1 is not prime. Res64: D1938BD64FAF2F0B Time : 0.0 sec. user=mdettweiler [2016-02-08 11:27:57] 951*2^1421683-1 is not prime. Res64: BEEE739151E3736C Time : 0.0 sec. user=mdettweiler [2016-02-08 11:31:24] 623*2^1421684-1 is not prime. Res64: 7689987E997DAFAE Time : 0.0 sec. user=mdettweiler [2016-02-08 11:31:25] 819*2^1421684-1 is not prime. Res64: 2AAF9CFCAECB7724 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:37:39] 833*2^1421684-1 is not prime. Res64: 1DC9345EF94594A2 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:37:39] 873*2^1421684-1 is not prime. Res64: 5EDAE809913BACC6 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:45:32] 897*2^1421684-1 is not prime. Res64: 24202BD781B31DC6 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:45:33] 903*2^1421684-1 is not prime. Res64: 709ADF4F8FABF0F7 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:48:59] 915*2^1421684-1 is not prime. Res64: 3E7695EA6BDA8AB3 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:49:00] 983*2^1421684-1 is not prime. Res64: 8A9581E2CD3A277A Time : 0.0 sec. user=mdettweiler [2016-02-08 11:55:15] 987*2^1421684-1 is not prime. Res64: 458FC881FF8A9331 Time : 0.0 sec. user=mdettweiler [2016-02-08 11:55:15] 669*2^1421685-1 is not prime. Res64: 6E6175FC1EFEDB61 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:03:07] 805*2^1421685-1 is not prime. Res64: E4B19E318BBEBA21 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:03:08] 861*2^1421685-1 is not prime. Res64: 44DB115B18934E0E Time : 0.0 sec. user=mdettweiler [2016-02-08 12:06:33] 937*2^1421685-1 is not prime. Res64: 4AF1B1BB725147DE Time : 0.0 sec. user=mdettweiler [2016-02-08 12:06:34] 713*2^1421686-1 is not prime. Res64: 622A978D24C71E89 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:12:48] 923*2^1421686-1 is not prime. Res64: B683A342F4E6392C Time : 0.0 sec. user=mdettweiler [2016-02-08 12:12:49] 987*2^1421686-1 is not prime. Res64: A6854B86FD0D3ED5 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:20:52] 609*2^1421687-1 is not prime. Res64: FC57F5B1D7FB4A87 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:20:53] 661*2^1421687-1 is not prime. Res64: C3AF75F2485034A7 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:24:08] 703*2^1421687-1 is not prime. Res64: BF46237D8B2D4389 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:24:08] 715*2^1421687-1 is not prime. Res64: 3D34EA0366DDC73F Time : 0.0 sec. user=mdettweiler [2016-02-08 12:30:24] 825*2^1421687-1 is not prime. Res64: 17FF3B1AA7EBEF02 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:30:25] 991*2^1421687-1 is not prime. Res64: 372250C13D4F8EBB Time : 0.0 sec. user=mdettweiler [2016-02-08 12:38:26] 627*2^1421688-1 is not prime. Res64: 9563238DED14E20F Time : 0.0 sec. user=mdettweiler [2016-02-08 12:38:27] 839*2^1421688-1 is not prime. Res64: 86B8B2C56CEBB9E5 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:41:42] 675*2^1421689-1 is not prime. Res64: 869043FCB5BA852B Time : 0.0 sec. user=mdettweiler [2016-02-08 12:41:42] 679*2^1421689-1 is not prime. Res64: E9A44D02815AC016 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:48:00] 747*2^1421689-1 is not prime. Res64: 90DDFEA250513291 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:48:01] 861*2^1421689-1 is not prime. Res64: 22AD1C0539FE4A95 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:56:00] 985*2^1421689-1 is not prime. Res64: 1B740615C907EDF3 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:56:01] 999*2^1421689-1 is not prime. Res64: DBF87AC3CFBB9F96 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:59:15] 615*2^1421690-1 is not prime. Res64: 7E208294095CC3F0 Time : 0.0 sec. user=mdettweiler [2016-02-08 12:59:16] 657*2^1421690-1 is not prime. Res64: 6578B1C4DC626A55 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:05:35] 675*2^1421690-1 is not prime. Res64: 6BD227FD2616EEC4 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:05:36] 711*2^1421690-1 is not prime. Res64: 7DEBBA78B80B83B0 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:13:35] 843*2^1421690-1 is not prime. Res64: 06B1220CF97AAFC0 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:13:36] 885*2^1421690-1 is not prime. Res64: 07F8A83DFAD85AD9 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:16:49] 941*2^1421690-1 is not prime. Res64: 34F724334466CAFB Time : 0.0 sec. user=mdettweiler [2016-02-08 13:16:50] 1001*2^1421690-1 is not prime. Res64: C2170AEA173A48FF Time : 0.0 sec. user=mdettweiler [2016-02-08 13:23:25] 705*2^1421691-1 is not prime. Res64: 35521A0ECB4700A6 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:23:25] 739*2^1421691-1 is not prime. Res64: 2F16D1833A0B3C58 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:31:11] 783*2^1421691-1 is not prime. Res64: 12FAE04EEC5C3740 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:31:11] 823*2^1421691-1 is not prime. Res64: DEF3647A1FC3133C Time : 0.0 sec. user=mdettweiler [2016-02-08 13:34:24] 835*2^1421691-1 is not prime. Res64: 2E3EC39910BF659D Time : 0.0 sec. user=mdettweiler [2016-02-08 13:34:25] 859*2^1421691-1 is not prime. Res64: 5A9C721B3C43D1C9 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:41:02] 723*2^1421692-1 is not prime. Res64: FAE2FD241FB32FE8 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:41:03] 797*2^1421692-1 is not prime. Res64: 2C53B963FAFF915E Time : 0.0 sec. user=mdettweiler [2016-02-08 13:48:46] 875*2^1421692-1 is not prime. Res64: B610492CD513A8DC Time : 0.0 sec. user=mdettweiler [2016-02-08 13:48:47] 933*2^1421692-1 is not prime. Res64: 41B69E08ED1CB09B Time : 0.0 sec. user=mdettweiler [2016-02-08 13:51:58] 735*2^1421693-1 is not prime. Res64: E19ED495907AE806 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:51:59] 981*2^1421693-1 is not prime. Res64: BA3D8163E27AD700 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:58:38] 991*2^1421693-1 is not prime. Res64: AC94DA6A82435762 Time : 0.0 sec. user=mdettweiler [2016-02-08 13:58:39] 627*2^1421694-1 is not prime. Res64: 7B8E14ED4CB69181 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:06:20] 717*2^1421694-1 is not prime. Res64: 7BC9C3C8FF4C6551 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:06:20] 825*2^1421694-1 is not prime. Res64: D6DEC5C42D1DA5A1 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:09:32] 971*2^1421694-1 is not prime. Res64: BD8696D1DF3FD1A4 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:09:32] 619*2^1421695-1 is not prime. Res64: 03735309D7B13FA2 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:16:13] 693*2^1421695-1 is not prime. Res64: E07CB4C4C525BAC5 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:16:13] 765*2^1421695-1 is not prime. Res64: C952E5156370B4A0 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:23:58] 805*2^1421695-1 is not prime. Res64: 5A23EC5492455A34 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:23:59] 855*2^1421695-1 is not prime. Res64: 2EE4888D675817AE Time : 0.0 sec. user=mdettweiler [2016-02-08 14:27:07] 933*2^1421695-1 is not prime. Res64: 33EB480931D86037 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:27:07] 961*2^1421695-1 is not prime. Res64: 77A079BABE9CB795 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:33:47] 985*2^1421695-1 is not prime. Res64: D79BA8DEBCA3CA3D Time : 0.0 sec. user=mdettweiler [2016-02-08 14:33:47] 777*2^1421696-1 is not prime. Res64: AED5457053986FCD Time : 0.0 sec. user=mdettweiler [2016-02-08 14:41:34] 789*2^1421696-1 is not prime. Res64: 5972027553114700 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:41:34] 813*2^1421696-1 is not prime. Res64: 5432083AA297B131 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:44:43] 843*2^1421696-1 is not prime. Res64: 1F2A303795966743 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:44:43] 873*2^1421696-1 is not prime. Res64: 5F49A576D721CE98 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:51:20] 999*2^1421696-1 is not prime. Res64: B906E23E8D658664 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:51:20] 637*2^1421697-1 is not prime. Res64: 2FBCD36DB7376870 Time : 0.0 sec. user=mdettweiler [2016-02-08 14:59:08] 649*2^1421697-1 is not prime. Res64: 02EAC54B24B9361C Time : 0.0 sec. user=mdettweiler [2016-02-08 14:59:08] 651*2^1421697-1 is not prime. Res64: 1CD420D8CD17ED7E Time : 0.0 sec. user=mdettweiler [2016-02-08 15:02:18] 667*2^1421697-1 is not prime. Res64: 70AEA8DB3A22FCF7 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:02:19] 685*2^1421697-1 is not prime. Res64: A34D6BC16DD6DDAE Time : 0.0 sec. user=mdettweiler [2016-02-08 15:08:54] 795*2^1421697-1 is not prime. Res64: C9BAF516FB9EE874 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:08:54] 885*2^1421697-1 is not prime. Res64: 5C6C9AA4C53C773B Time : 0.0 sec. user=mdettweiler [2016-02-08 15:16:43] 999*2^1421697-1 is not prime. Res64: D9CBC01FDAB122B7 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:16:44] 737*2^1421698-1 is not prime. Res64: E9BE8EE308E8A2D1 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:20:05] 765*2^1421698-1 is not prime. Res64: 45DA6C029E95D738 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:20:05] 855*2^1421698-1 is not prime. Res64: A461C562B10D1EB5 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:26:30] 891*2^1421698-1 is not prime. Res64: 25AB6C757C8C37AE Time : 0.0 sec. user=mdettweiler [2016-02-08 15:26:30] 957*2^1421698-1 is not prime. Res64: 11F8392583D05E70 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:34:26] 775*2^1421699-1 is not prime. Res64: 91374498D3661925 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:34:26] 883*2^1421699-1 is not prime. Res64: 978B341B69286BCD Time : 0.0 sec. user=mdettweiler [2016-02-08 15:37:53] 909*2^1421699-1 is not prime. Res64: 4C33137A71E206B3 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:37:54] 939*2^1421699-1 is not prime. Res64: 729CC463B18528C6 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:44:17] 949*2^1421699-1 is not prime. Res64: 8B5EC8FFC1EB7A0D Time : 0.0 sec. user=mdettweiler [2016-02-08 15:44:18] 609*2^1421700-1 is not prime. Res64: DC769025E8ACA5D5 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:52:16] 669*2^1421700-1 is not prime. Res64: B2638E86C9DFA5B7 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:52:16] 719*2^1421700-1 is not prime. Res64: D82483218D473159 Time : 0.0 sec. user=mdettweiler [2016-02-08 15:55:39] 789*2^1421700-1 is not prime. Res64: 7E311D10DEAA24DB Time : 0.0 sec. user=mdettweiler [2016-02-08 15:55:39] 863*2^1421700-1 is not prime. Res64: C2F7B808F71A109F Time : 0.0 sec. user=mdettweiler [2016-02-08 16:02:05] 867*2^1421700-1 is not prime. Res64: CE838377EA75AE84 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:02:06] 873*2^1421700-1 is not prime. Res64: 661622E545F58F13 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:10:13] 965*2^1421700-1 is not prime. Res64: 7C46478122744FDC Time : 0.0 sec. user=mdettweiler [2016-02-08 16:10:13] 691*2^1421701-1 is not prime. Res64: B56976DB6DB113C3 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:13:42] 741*2^1421701-1 is not prime. Res64: 2B6336D107C2232B Time : 0.0 sec. user=mdettweiler [2016-02-08 16:13:42] 829*2^1421701-1 is not prime. Res64: D6CF6780108BB9B3 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:20:03] 871*2^1421701-1 is not prime. Res64: 17BB22E9B29E98EE Time : 0.0 sec. user=mdettweiler [2016-02-08 16:20:03] 877*2^1421701-1 is not prime. Res64: 3C5616124C3DC199 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:27:56] 895*2^1421701-1 is not prime. Res64: 9C4226C69DB22967 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:27:56] 671*2^1421702-1 is not prime. Res64: 78165987BA4C481C Time : 0.0 sec. user=mdettweiler [2016-02-08 16:31:21] 731*2^1421702-1 is not prime. Res64: C08A5B63E8394613 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:31:22] 791*2^1421702-1 is not prime. Res64: E8D3647BCA46BBD4 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:37:40] 801*2^1421702-1 is not prime. Res64: 2AC261592E5C767C Time : 0.0 sec. user=mdettweiler [2016-02-08 16:37:41] 857*2^1421702-1 is not prime. Res64: 3534995AACC3220F Time : 0.0 sec. user=mdettweiler [2016-02-08 16:45:32] 983*2^1421702-1 is not prime. Res64: 9E6000B421CA088F Time : 0.0 sec. user=mdettweiler [2016-02-08 16:45:32] 613*2^1421703-1 is not prime. Res64: ED9199E93AF9BE25 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:48:57] 615*2^1421703-1 is not prime. Res64: 900461D58E157405 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:48:57] 709*2^1421703-1 is not prime. Res64: 3070AF52910DBF6E Time : 0.0 sec. user=mdettweiler [2016-02-08 16:55:17] 751*2^1421703-1 is not prime. Res64: A92EBD4E32FCAC55 Time : 0.0 sec. user=mdettweiler [2016-02-08 16:55:17] 775*2^1421703-1 is not prime. Res64: 3868485440C357D2 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:03:09] 819*2^1421703-1 is not prime. Res64: E16D73241DD9570C Time : 0.0 sec. user=mdettweiler [2016-02-08 17:03:10] 829*2^1421703-1 is not prime. Res64: 86CD137212B87DBD Time : 0.0 sec. user=mdettweiler [2016-02-08 17:06:32] 961*2^1421703-1 is not prime. Res64: A8FF7022167B2D91 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:06:32] 985*2^1421703-1 is not prime. Res64: 4EFFE535047442E1 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:12:52] 609*2^1421704-1 is not prime. Res64: F79A671ED127E737 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:12:52] 623*2^1421704-1 is not prime. Res64: 8C2072A33899772F Time : 0.0 sec. user=mdettweiler [2016-02-08 17:20:59] 719*2^1421704-1 is not prime. Res64: 9169DE73E5C621AC Time : 0.0 sec. user=mdettweiler [2016-02-08 17:21:00] 755*2^1421704-1 is not prime. Res64: A7129198786EF8DA Time : 0.0 sec. user=mdettweiler [2016-02-08 17:24:07] 813*2^1421704-1 is not prime. Res64: 50524683609FCE4E Time : 0.0 sec. user=mdettweiler [2016-02-08 17:24:07] 887*2^1421704-1 is not prime. Res64: 4074135F5BE85850 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:30:29] 905*2^1421704-1 is not prime. Res64: F4A300F62EB97766 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:30:30] 909*2^1421704-1 is not prime. Res64: 4C6FA424AB5CDF74 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:38:35] 651*2^1421705-1 is not prime. Res64: CDD00590C73E47EF Time : 0.0 sec. user=mdettweiler [2016-02-08 17:38:35] 657*2^1421705-1 is not prime. Res64: 35BC37D65D15181D Time : 0.0 sec. user=mdettweiler [2016-02-08 17:41:42] 697*2^1421705-1 is not prime. Res64: 546C431FE8AA11FB Time : 0.0 sec. user=mdettweiler [2016-02-08 17:41:43] 729*2^1421705-1 is not prime. Res64: 7CB6B8BF2E440111 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:48:06] 759*2^1421705-1 is not prime. Res64: 197461BDC4AFD55F Time : 0.0 sec. user=mdettweiler [2016-02-08 17:48:07] 787*2^1421705-1 is not prime. Res64: 688D6C72238E9448 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:56:12] 819*2^1421705-1 is not prime. Res64: 52B140190453BD4F Time : 0.0 sec. user=mdettweiler [2016-02-08 17:56:12] 841*2^1421705-1 is not prime. Res64: C0E7C11864431691 Time : 0.0 sec. user=mdettweiler [2016-02-08 17:59:17] 885*2^1421705-1 is not prime. Res64: 7F8B08CDDA9D7FAB Time : 0.0 sec. user=mdettweiler [2016-02-08 17:59:18] 647*2^1421706-1 is not prime. Res64: 78560076F28013A8 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:05:42] 695*2^1421706-1 is not prime. Res64: EFDD07D2932204BE Time : 0.0 sec. user=mdettweiler [2016-02-08 18:05:43] 717*2^1421706-1 is not prime. Res64: CA087DAD09A9B67B Time : 0.0 sec. user=mdettweiler [2016-02-08 18:13:49] 725*2^1421706-1 is not prime. Res64: 051AAB1F97EC8DB8 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:13:49] 807*2^1421706-1 is not prime. Res64: 6C96818ECD689CC7 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:16:53] 833*2^1421706-1 is not prime. Res64: 5C147E84DE265DF4 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:16:54] 887*2^1421706-1 is not prime. Res64: 28F27B13E27ED4B9 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:23:23] 893*2^1421706-1 is not prime. Res64: 5A8B84B7A9D1BDF1 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:23:23] 945*2^1421706-1 is not prime. Res64: 2D2791C0C8F569E3 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:31:26] 947*2^1421706-1 is not prime. Res64: 1AAD15CDC4FE541E Time : 0.0 sec. user=mdettweiler [2016-02-08 18:31:26] 651*2^1421707-1 is not prime. Res64: A727DFDBA6AD993E Time : 0.0 sec. user=mdettweiler [2016-02-08 18:34:30] 769*2^1421707-1 is not prime. Res64: C8CC00B1C4BC8F11 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:34:30] 873*2^1421707-1 is not prime. Res64: 635A17FE61BC0B28 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:40:58] 931*2^1421707-1 is not prime. Res64: DF682C2B5B230C5C Time : 0.0 sec. user=mdettweiler [2016-02-08 18:40:58] 979*2^1421707-1 is not prime. Res64: DBE354BC1E9FD199 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:49:02] 993*2^1421707-1 is not prime. Res64: CD1E0D8EFC6D4AB5 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:49:02] 663*2^1421708-1 is not prime. Res64: 42817CBC6D1D9FB8 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:52:07] 725*2^1421708-1 is not prime. Res64: 2C0F1AD1353FDA5E Time : 0.0 sec. user=mdettweiler [2016-02-08 18:52:07] 749*2^1421708-1 is not prime. Res64: B3CDB098DDD42DA1 Time : 0.0 sec. user=mdettweiler [2016-02-08 18:58:32] 813*2^1421708-1 is not prime. Res64: 63C97377008148FE Time : 0.0 sec. user=mdettweiler [2016-02-08 18:58:33] 929*2^1421708-1 is not prime. Res64: 1892812B67063341 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:06:39] 987*2^1421708-1 is not prime. Res64: 1F291AE8ED2A115F Time : 0.0 sec. user=mdettweiler [2016-02-08 19:06:40] 999*2^1421708-1 is not prime. Res64: F7DDBC5A5D4C28CB Time : 0.0 sec. user=mdettweiler [2016-02-08 19:09:43] 745*2^1421709-1 is not prime. Res64: 1690A534A3DE1A98 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:09:43] 817*2^1421709-1 is not prime. Res64: ADFC1C02A7280D4F Time : 0.0 sec. user=mdettweiler [2016-02-08 19:16:09] 889*2^1421709-1 is not prime. Res64: FA7E233B0819486E Time : 0.0 sec. user=mdettweiler [2016-02-08 19:16:09] 891*2^1421709-1 is not prime. Res64: 755F7E051B069204 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:24:20] 927*2^1421709-1 is not prime. Res64: BE3211B530844C3D Time : 0.0 sec. user=mdettweiler [2016-02-08 19:24:20] 675*2^1421710-1 is not prime. Res64: D30E7C5F59EDBEE5 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:27:26] 843*2^1421710-1 is not prime. Res64: 8FE2BD411FEFBC68 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:27:27] 917*2^1421710-1 is not prime. Res64: 565ED0EB0DD01481 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:33:43] 987*2^1421710-1 is not prime. Res64: C3DA0B05901F7845 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:33:44] 663*2^1421711-1 is not prime. Res64: 914055469265C13C Time : 0.0 sec. user=mdettweiler [2016-02-08 19:41:54] 679*2^1421711-1 is not prime. Res64: FA1EF0040930712D Time : 0.0 sec. user=mdettweiler [2016-02-08 19:41:54] 889*2^1421711-1 is not prime. Res64: 15F663940AE8BE2B Time : 0.0 sec. user=mdettweiler [2016-02-08 19:44:59] 657*2^1421712-1 is not prime. Res64: 210CA2B697943085 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:44:59] 765*2^1421712-1 is not prime. Res64: 2948A6F85CB71893 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:51:16] 803*2^1421712-1 is not prime. Res64: BC3AB702C1AF3971 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:51:17] 809*2^1421712-1 is not prime. Res64: 31128EA008211174 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:59:28] 705*2^1421713-1 is not prime. Res64: DEF4C0496956CBB9 Time : 0.0 sec. user=mdettweiler [2016-02-08 19:59:28] 721*2^1421713-1 is not prime. Res64: 068E70EA23330AD2 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:02:32] 741*2^1421713-1 is not prime. Res64: 5D8C756321007BB7 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:02:32] 951*2^1421713-1 is not prime. Res64: 6A297DDB55C51C36 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:08:51] 635*2^1421714-1 is not prime. Res64: 7F43B90B9CC4626F Time : 0.0 sec. user=mdettweiler [2016-02-08 20:08:51] 641*2^1421714-1 is not prime. Res64: D5D8CD9ED929C3B8 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:17:03] 743*2^1421714-1 is not prime. Res64: DA8EA9F6E58E0042 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:17:03] 833*2^1421714-1 is not prime. Res64: 981B9AE657D27CC2 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:20:08] 851*2^1421714-1 is not prime. Res64: 930F5D3BD6B2F4C6 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:20:09] 875*2^1421714-1 is not prime. Res64: 2033E326433550F1 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:26:27] 981*2^1421714-1 is not prime. Res64: 1DA3B0FC430A94CD Time : 0.0 sec. user=mdettweiler [2016-02-08 20:26:28] 765*2^1421715-1 is not prime. Res64: 1E4959543F4310F2 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:34:40] 825*2^1421715-1 is not prime. Res64: 102D4ACD85B42604 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:34:41] 891*2^1421715-1 is not prime. Res64: E229C42F4D5ED345 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:37:43] 895*2^1421715-1 is not prime. Res64: 21945A1B66FD5C3B Time : 0.0 sec. user=mdettweiler [2016-02-08 20:37:46] 979*2^1421715-1 is not prime. Res64: 7D399F181E27E5C3 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:44:03] 639*2^1421716-1 is not prime. Res64: 813565901F609F1E Time : 0.0 sec. user=mdettweiler [2016-02-08 20:44:03] 777*2^1421716-1 is not prime. Res64: BD195DD003841ECE Time : 0.0 sec. user=mdettweiler [2016-02-08 20:52:16] 615*2^1421717-1 is not prime. Res64: 6696D789CE5C470C Time : 0.0 sec. user=mdettweiler [2016-02-08 20:52:17] 619*2^1421717-1 is not prime. Res64: 43AA2E6CC5ED52B7 Time : 0.0 sec. user=mdettweiler [2016-02-08 20:55:17] 747*2^1421718-1 is not prime. Res64: 318C7345D46F91EF Time : 0.0 sec. user=mdettweiler [2016-02-08 20:55:18] 801*2^1421718-1 is not prime. Res64: CD503695396C4894 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:01:35] 945*2^1421718-1 is not prime. Res64: 59652D6554F6829F Time : 0.0 sec. user=mdettweiler [2016-02-08 21:01:36] 963*2^1421718-1 is not prime. Res64: CB8B371C5F33A29A Time : 0.0 sec. user=mdettweiler [2016-02-08 21:09:49] 975*2^1421718-1 is not prime. Res64: 0C8FEE17BDE5F8A7 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:09:50] 977*2^1421718-1 is not prime. Res64: 85E8B80C4A72ED78 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:12:53] 615*2^1421719-1 is not prime. Res64: D474DE21084DD219 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:12:53] 649*2^1421719-1 is not prime. Res64: A3373A7A0E6D5934 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:19:18] 693*2^1421719-1 is not prime. Res64: 940ED04A1D15EF57 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:19:19] 789*2^1421719-1 is not prime. Res64: 5DDF166014FE305F Time : 0.0 sec. user=mdettweiler [2016-02-08 21:27:27] 843*2^1421719-1 is not prime. Res64: 492E29F328E93D3F Time : 0.0 sec. user=mdettweiler [2016-02-08 21:27:27] 913*2^1421719-1 is not prime. Res64: 59393C500316A353 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:30:25] 925*2^1421719-1 is not prime. Res64: 590F273A98978F49 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:30:25] 951*2^1421719-1 is not prime. Res64: F6398DE9E41C2AFF Time : 0.0 sec. user=mdettweiler [2016-02-08 21:36:52] 629*2^1421720-1 is not prime. Res64: 53B6D9D3D595F3AA Time : 0.0 sec. user=mdettweiler [2016-02-08 21:36:53] 669*2^1421720-1 is not prime. Res64: 2949AD0A04195F24 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:45:08] 675*2^1421720-1 is not prime. Res64: 5CB95EA35907D528 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:45:08] 689*2^1421720-1 is not prime. Res64: CC9D4CF30F677557 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:48:00] 743*2^1421720-1 is not prime. Res64: 05458A896C993804 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:48:01] 915*2^1421720-1 is not prime. Res64: 71C0BAB62A57455D Time : 0.0 sec. user=mdettweiler [2016-02-08 21:54:25] 963*2^1421720-1 is not prime. Res64: 69B369524DD12919 Time : 0.0 sec. user=mdettweiler [2016-02-08 21:54:25] 627*2^1421721-1 is not prime. Res64: ED4BED56938D39AB Time : 0.0 sec. user=mdettweiler [2016-02-08 22:02:41] 649*2^1421721-1 is not prime. Res64: 3C6F52D265BCB162 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:02:42] 661*2^1421721-1 is not prime. Res64: B3F53293C7D1C367 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:05:34] 711*2^1421721-1 is not prime. Res64: 632295532A04DFB6 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:05:35] 819*2^1421721-1 is not prime. Res64: F35980CBE06C09D2 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:11:59] 865*2^1421721-1 is not prime. Res64: 0EC7A92C1C7290CA Time : 0.0 sec. user=mdettweiler [2016-02-08 22:12:00] 889*2^1421721-1 is not prime. Res64: A54B743B74DFFF57 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:20:17] 921*2^1421721-1 is not prime. Res64: 4ADFC3B4D7046D0C Time : 0.0 sec. user=mdettweiler [2016-02-08 22:20:18] 645*2^1421722-1 is not prime. Res64: B28663A83CC4BC9A Time : 0.0 sec. user=mdettweiler [2016-02-08 22:23:10] 651*2^1421722-1 is not prime. Res64: 5E5D1CE47819113F Time : 0.0 sec. user=mdettweiler [2016-02-08 22:23:11] 723*2^1421722-1 is not prime. Res64: F250D764C0F3EE70 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:29:39] 813*2^1421722-1 is not prime. Res64: D36DF2B5FDC31E87 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:29:40] 833*2^1421722-1 is not prime. Res64: FBEE75302F48E653 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:37:49] 873*2^1421722-1 is not prime. Res64: 4D1F56C2F6AE21A2 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:37:50] 987*2^1421722-1 is not prime. Res64: D13C08AA4E167434 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:40:43] 1001*2^1421722-1 is not prime. Res64: 4E7B334C3D9A0BE1 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:40:44] 621*2^1421723-1 is not prime. Res64: 4C67BC8FF24A528D Time : 0.0 sec. user=mdettweiler [2016-02-08 22:47:13] 675*2^1421723-1 is not prime. Res64: 1FFF1AC229350E86 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:47:13] 879*2^1421723-1 is not prime. Res64: 1918F32538DB0D5A Time : 0.0 sec. user=mdettweiler [2016-02-08 22:55:21] 885*2^1421723-1 is not prime. Res64: 05EB90230FF8F72A Time : 0.0 sec. user=mdettweiler [2016-02-08 22:55:21] 913*2^1421723-1 is not prime. Res64: F30F54A60CB55F42 Time : 0.0 sec. user=mdettweiler [2016-02-08 22:58:16] 949*2^1421723-1 is not prime. Res64: 2539BBB89A74C6BC Time : 0.0 sec. user=mdettweiler [2016-02-08 22:58:16] 609*2^1421724-1 is not prime. Res64: E0EBBD3DB7F244CA Time : 0.0 sec. user=mdettweiler [2016-02-08 23:04:46] 693*2^1421724-1 is not prime. Res64: 4A959DABEA6D2828 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:04:49] 737*2^1421724-1 is not prime. Res64: 66AD9064073CB3AD Time : 0.0 sec. user=mdettweiler [2016-02-08 23:12:53] 863*2^1421724-1 is not prime. Res64: 6BC0BBB6FFE21FDE Time : 0.0 sec. user=mdettweiler [2016-02-08 23:12:53] 875*2^1421724-1 is not prime. Res64: B4707DF8846D6825 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:15:51] 899*2^1421724-1 is not prime. Res64: 835039792344C0DE Time : 0.0 sec. user=mdettweiler [2016-02-08 23:15:51] 927*2^1421724-1 is not prime. Res64: 8C7B88222511A29D Time : 0.0 sec. user=mdettweiler [2016-02-08 23:22:44] 715*2^1421725-1 is not prime. Res64: 400A8814AE8A01B3 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:22:44] 831*2^1421725-1 is not prime. Res64: 9FD2EDE42BE318F8 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:30:31] 861*2^1421725-1 is not prime. Res64: 204FCA24DAA39C7E Time : 0.0 sec. user=mdettweiler [2016-02-08 23:30:31] 979*2^1421725-1 is not prime. Res64: 416C4D86B6BA596B Time : 0.0 sec. user=mdettweiler [2016-02-08 23:33:25] 617*2^1421726-1 is not prime. Res64: BAF856B0A9941EE6 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:33:25] 651*2^1421726-1 is not prime. Res64: AD57F931F02B1E52 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:40:17] 741*2^1421726-1 is not prime. Res64: 5AD1651800ECBFEC Time : 0.0 sec. user=mdettweiler [2016-02-08 23:40:17] 743*2^1421726-1 is not prime. Res64: D61449EF2796437A Time : 0.0 sec. user=mdettweiler [2016-02-08 23:48:04] 857*2^1421726-1 is not prime. Res64: 0D5450644CA735BD Time : 0.0 sec. user=mdettweiler [2016-02-08 23:48:04] 873*2^1421726-1 is not prime. Res64: F382DF001400C772 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:50:57] 875*2^1421726-1 is not prime. Res64: 9F1B7A2F1E50A5E4 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:50:57] 911*2^1421726-1 is not prime. Res64: 2AB4185EE35E77BE Time : 0.0 sec. user=mdettweiler [2016-02-08 23:57:49] 935*2^1421726-1 is not prime. Res64: 8B63EE1DC8F60A72 Time : 0.0 sec. user=mdettweiler [2016-02-08 23:57:49] 945*2^1421726-1 is not prime. Res64: FD8417372CE05AC1 Time : 0.0 sec.