user=mdettweiler [2016-08-07 00:10:19] 885*2^1436854-1 is not prime. Res64: 06DCA1D129289E80 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:10:20] 645*2^1436855-1 is not prime. Res64: C93523414B159534 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:10:20] 675*2^1436855-1 is not prime. Res64: 71437E38CEFC7564 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:10:20] 679*2^1436855-1 is not prime. Res64: 106744262FCADE7C Time : 0.0 sec. user=mdettweiler [2016-08-07 00:10:21] 823*2^1436855-1 is not prime. Res64: F30E1DFCB9EA326B Time : 0.0 sec. user=mdettweiler [2016-08-07 00:42:49] 831*2^1436855-1 is not prime. Res64: C35B35E2F1420475 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:42:49] 861*2^1436855-1 is not prime. Res64: B13E49374D94370E Time : 0.0 sec. user=mdettweiler [2016-08-07 00:42:49] 943*2^1436855-1 is not prime. Res64: BE447CD3282E8B76 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:42:50] 635*2^1436856-1 is not prime. Res64: AAE2C44645F2350D Time : 0.0 sec. user=mdettweiler [2016-08-07 00:42:50] 815*2^1436856-1 is not prime. Res64: D0632A0F0713E407 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:54:54] 849*2^1436856-1 is not prime. Res64: 6FB7DAC01C018F00 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:54:56] 933*2^1436856-1 is not prime. Res64: FB3D58585586C958 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:54:58] 947*2^1436856-1 is not prime. Res64: 580CD14EBADFF768 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:55:00] 639*2^1436857-1 is not prime. Res64: 39DFACB64D2C5743 Time : 0.0 sec. user=mdettweiler [2016-08-07 00:55:02] 741*2^1436857-1 is not prime. Res64: C1BDE7A97B8993AE Time : 0.0 sec. user=mdettweiler [2016-08-07 01:27:29] 861*2^1436857-1 is not prime. Res64: A319BFD4A7E55F63 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:27:32] 915*2^1436857-1 is not prime. Res64: 666D6147013BBA32 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:27:35] 645*2^1436858-1 is not prime. Res64: C781FF331389D992 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:27:39] 711*2^1436858-1 is not prime. Res64: 53ECCB4FCB2EF815 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:27:39] 713*2^1436858-1 is not prime. Res64: D3E69C34CAF554CF Time : 0.0 sec. user=mdettweiler [2016-08-07 01:39:36] 797*2^1436858-1 is not prime. Res64: 82A99FAF36E4A01D Time : 0.0 sec. user=mdettweiler [2016-08-07 01:39:37] 935*2^1436858-1 is not prime. Res64: 25623167247FC637 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:39:37] 649*2^1436859-1 is not prime. Res64: 0E4A374E8E8FE555 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:39:37] 709*2^1436859-1 is not prime. Res64: AEA1DB9AE8ED48BC Time : 0.0 sec. user=mdettweiler [2016-08-07 01:39:38] 741*2^1436859-1 is not prime. Res64: 284F23C9E218FDB1 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:50:51] 957*2^1436852-1 is not prime. Res64: 3D188AEA55D0E947 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:50:53] 987*2^1436852-1 is not prime. Res64: 643C65DE70CDAB6E Time : 0.0 sec. user=mdettweiler [2016-08-07 01:50:55] 651*2^1436853-1 is not prime. Res64: DBEEB1AF091E30D6 Time : 0.0 sec. user=mdettweiler [2016-08-07 01:50:57] 681*2^1436853-1 is not prime. Res64: 6B01275E439B5930 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:12:12] 769*2^1436859-1 is not prime. Res64: 3F8C30EE53B4DFA2 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:12:13] 861*2^1436859-1 is not prime. Res64: 21684319D267C92B Time : 0.0 sec. user=mdettweiler [2016-08-07 02:12:13] 961*2^1436859-1 is not prime. Res64: B4DD632F678DA42D Time : 0.0 sec. user=mdettweiler [2016-08-07 02:12:14] 647*2^1436860-1 is not prime. Res64: 64A324C02F880F61 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:12:14] 675*2^1436860-1 is not prime. Res64: DC238C7A139A3CA8 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:23:58] 773*2^1436860-1 is not prime. Res64: CB7370BC886BF622 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:23:58] 777*2^1436860-1 is not prime. Res64: 3809C35044AA1B26 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:23:58] 803*2^1436860-1 is not prime. Res64: E274BB99A20887B6 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:23:59] 813*2^1436860-1 is not prime. Res64: 1B3790AEC9F81C03 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:23:59] 843*2^1436860-1 is not prime. Res64: AA3C9DF232507421 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:35:06] 873*2^1436860-1 is not prime. Res64: C4C01A4F082EF5D3 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:35:06] 887*2^1436860-1 is not prime. Res64: 89E31C64B93D1BA1 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:35:07] 909*2^1436860-1 is not prime. Res64: B985A51F44C0AFEE Time : 0.0 sec. user=mdettweiler [2016-08-07 02:35:08] 923*2^1436860-1 is not prime. Res64: 46C0C5A04AC3ADED Time : 0.0 sec. user=mdettweiler [2016-08-07 02:35:08] 965*2^1436860-1 is not prime. Res64: CDC87805DFD35EF0 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:56:23] 975*2^1436860-1 is not prime. Res64: 1C380DF333A7D826 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:56:23] 983*2^1436860-1 is not prime. Res64: 1581AD512AC92D14 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:56:23] 989*2^1436860-1 is not prime. Res64: 894C2266851FA387 Time : 0.0 sec. user=mdettweiler [2016-08-07 02:56:24] 999*2^1436860-1 is not prime. Res64: 3D0B851A89DF19BD Time : 0.0 sec. user=mdettweiler [2016-08-07 02:56:28] 801*2^1436861-1 is not prime. Res64: 53BF72C5C1C55C4A Time : 0.0 sec. user=mdettweiler [2016-08-07 03:08:06] 805*2^1436861-1 is not prime. Res64: E996B2A1F28A5243 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:08:06] 861*2^1436861-1 is not prime. Res64: F2383C9B6544F13F Time : 0.0 sec. user=mdettweiler [2016-08-07 03:08:07] 957*2^1436861-1 is not prime. Res64: 854D8F4AAFD87F0E Time : 0.0 sec. user=mdettweiler [2016-08-07 03:08:07] 681*2^1436862-1 is not prime. Res64: C7590EDC3A260198 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:08:08] 731*2^1436862-1 is not prime. Res64: 65A40EFA03D9B156 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:19:18] 615*2^1436863-1 is not prime. Res64: 7EA031B5E1510718 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:19:18] 619*2^1436863-1 is not prime. Res64: A1773CEA900D0885 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:19:19] 783*2^1436863-1 is not prime. Res64: B98C7F82D8B2B133 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:19:20] 871*2^1436863-1 is not prime. Res64: 993D1255918DE093 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:19:21] 973*2^1436863-1 is not prime. Res64: E84232F181841C20 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:40:34] 659*2^1436864-1 is not prime. Res64: E0BCE246AA9CD3FF Time : 0.0 sec. user=mdettweiler [2016-08-07 03:40:35] 683*2^1436864-1 is not prime. Res64: 0687598BB712A20F Time : 0.0 sec. user=mdettweiler [2016-08-07 03:40:40] 689*2^1436864-1 is not prime. Res64: 22F5746FAC9F814F Time : 0.0 sec. user=mdettweiler [2016-08-07 03:40:42] 755*2^1436864-1 is not prime. Res64: 2A12A02FB8194E63 Time : 0.0 sec. user=mdettweiler [2016-08-07 03:40:43] 803*2^1436864-1 is not prime. Res64: AD830DA0A256E7CC Time : 0.0 sec. user=mdettweiler [2016-08-07 03:52:09] 813*2^1436864-1 is not prime. Res64: 0B8DCCCF7CE6C56E Time : 0.0 sec. user=mdettweiler [2016-08-07 04:03:35] 861*2^1436865-1 is not prime. Res64: 321FC863DC162422 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:03:39] 635*2^1436866-1 is not prime. Res64: 301FCCADEB63A142 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:03:41] 773*2^1436866-1 is not prime. Res64: 03BEA87347FE24E4 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:03:43] 833*2^1436866-1 is not prime. Res64: 849F5F4D0A9CA307 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:03:44] 843*2^1436866-1 is not prime. Res64: 0FD02C18E4EC482A Time : 0.0 sec. user=juhehe [2016-08-07 04:09:36] 621*2^1436867-1 is not prime. Res64: D9F99F86C05A702A Time : 0.0 sec. user=mdettweiler [2016-08-07 04:25:33] 633*2^1436867-1 is not prime. Res64: 90A9709E95B92EFB Time : 0.0 sec. user=mdettweiler [2016-08-07 04:25:34] 883*2^1436867-1 is not prime. Res64: 46A2601720DD585B Time : 0.0 sec. user=mdettweiler [2016-08-07 04:25:34] 913*2^1436867-1 is not prime. Res64: 45C6D0E69BB542C9 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:25:34] 979*2^1436867-1 is not prime. Res64: 7796263E4C52FFE7 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:25:35] 991*2^1436867-1 is not prime. Res64: 55C2319412A27F5E Time : 0.0 sec. user=mdettweiler [2016-08-07 04:49:09] 605*2^1436868-1 is not prime. Res64: 030996FC67FF603C Time : 0.0 sec. user=mdettweiler [2016-08-07 04:49:10] 639*2^1436868-1 is not prime. Res64: 2E557314A33DF4E6 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:49:11] 683*2^1436868-1 is not prime. Res64: 5CFBE200BBD34952 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:49:12] 789*2^1436868-1 is not prime. Res64: 30CBF33B857A9160 Time : 0.0 sec. user=mdettweiler [2016-08-07 04:49:12] 845*2^1436868-1 is not prime. Res64: F96647C524DE260F Time : 0.0 sec. user=mdettweiler [2016-08-07 05:10:17] 879*2^1436868-1 is not prime. Res64: D45F24D238E44F1D Time : 0.0 sec. user=mdettweiler [2016-08-07 05:10:17] 915*2^1436868-1 is not prime. Res64: 6A9D0F00EAF2620C Time : 0.0 sec. user=mdettweiler [2016-08-07 05:10:18] 999*2^1436868-1 is not prime. Res64: 9D90B6D6AE621ADD Time : 0.0 sec. user=mdettweiler [2016-08-07 05:10:18] 885*2^1436869-1 is not prime. Res64: 0945A033343DE65B Time : 0.0 sec. user=mdettweiler [2016-08-07 05:10:19] 925*2^1436869-1 is not prime. Res64: 064C2316A59CD7E2 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:33:55] 711*2^1436870-1 is not prime. Res64: E6F92B3E62963459 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:33:56] 857*2^1436870-1 is not prime. Res64: 291BB45DE8CB0919 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:33:59] 893*2^1436870-1 is not prime. Res64: EB9DEEAA210CD5C1 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:33:59] 649*2^1436871-1 is not prime. Res64: 79F0A5E94ED4BEAC Time : 0.0 sec. user=mdettweiler [2016-08-07 05:34:00] 651*2^1436871-1 is not prime. Res64: C6D118C2B1278559 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:54:52] 739*2^1436871-1 is not prime. Res64: DA6EB80205C52DB5 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:54:52] 781*2^1436871-1 is not prime. Res64: 789DDAD81FB40821 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:54:53] 789*2^1436871-1 is not prime. Res64: D59F67248AE9B14C Time : 0.0 sec. user=mdettweiler [2016-08-07 05:54:53] 653*2^1436872-1 is not prime. Res64: 579B8C4F9B2CDB14 Time : 0.0 sec. user=mdettweiler [2016-08-07 05:54:53] 777*2^1436872-1 is not prime. Res64: 8D3B26E9D5EECD2B Time : 0.0 sec. user=mdettweiler [2016-08-07 06:18:36] 779*2^1436872-1 is not prime. Res64: 09D68CDFD1EB032B Time : 0.0 sec. user=mdettweiler [2016-08-07 06:18:37] 803*2^1436872-1 is not prime. Res64: DE3A3049D582CA3D Time : 0.0 sec. user=mdettweiler [2016-08-07 06:18:37] 869*2^1436872-1 is not prime. Res64: 2FA899F36C9E8A5A Time : 0.0 sec. user=mdettweiler [2016-08-07 06:18:38] 887*2^1436872-1 is not prime. Res64: 45AC79A214925456 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:18:38] 903*2^1436872-1 is not prime. Res64: D71A6543C6769D07 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:36:24] 945*2^1436864-1 is not prime. Res64: A0D53E972F34891C Time : 0.0 sec. user=mdettweiler [2016-08-07 06:36:25] 741*2^1436865-1 is not prime. Res64: B0E6742AFDA1D157 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:36:25] 765*2^1436865-1 is not prime. Res64: 15356C293556E6CB Time : 0.0 sec. user=mdettweiler [2016-08-07 06:36:26] 837*2^1436865-1 is not prime. Res64: A2024C631207BA4C Time : 0.0 sec. user=mdettweiler [2016-08-07 06:39:25] 923*2^1436872-1 is not prime. Res64: 3ED596D405EA63E1 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:39:25] 607*2^1436873-1 is not prime. Res64: BD443A4BAF88796A Time : 0.0 sec. user=mdettweiler [2016-08-07 06:39:26] 775*2^1436873-1 is not prime. Res64: B4F780A08D958720 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:39:26] 831*2^1436873-1 is not prime. Res64: 77844DE4EBB25334 Time : 0.0 sec. user=mdettweiler [2016-08-07 06:39:27] 861*2^1436873-1 is not prime. Res64: 7FDC0E0C3CC956A7 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:03:02] 985*2^1436873-1 is not prime. Res64: 9A9E42FBF9374A69 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:03:03] 635*2^1436874-1 is not prime. Res64: 9B57739EC484CD1E Time : 0.0 sec. user=mdettweiler [2016-08-07 07:03:04] 707*2^1436874-1 is not prime. Res64: A9D4CA663BDE352E Time : 0.0 sec. user=mdettweiler [2016-08-07 07:03:04] 725*2^1436874-1 is not prime. Res64: 8499E61E5F34FDA6 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:03:05] 731*2^1436874-1 is not prime. Res64: F8521B1AE3015D1B Time : 0.0 sec. user=mdettweiler [2016-08-07 07:20:27] 747*2^1436874-1 is not prime. Res64: 584CC9C9BB68060E Time : 0.0 sec. user=mdettweiler [2016-08-07 07:20:27] 783*2^1436874-1 is not prime. Res64: 22DDD553D8945D95 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:20:28] 815*2^1436874-1 is not prime. Res64: 3A508C1547C3A17C Time : 0.0 sec. user=mdettweiler [2016-08-07 07:20:28] 917*2^1436874-1 is not prime. Res64: 67C0F8C0CDCB3C8B Time : 0.0 sec. user=mdettweiler [2016-08-07 07:20:29] 941*2^1436874-1 is not prime. Res64: A7AE11CA231A27EC Time : 0.0 sec. user=mdettweiler [2016-08-07 07:23:27] 983*2^1436874-1 is not prime. Res64: 7216DBCF3A864CDF Time : 0.0 sec. user=mdettweiler [2016-08-07 07:23:28] 735*2^1436875-1 is not prime. Res64: CD324BAF643E02D5 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:23:28] 861*2^1436875-1 is not prime. Res64: 473B41BCC2BFF6A4 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:23:29] 961*2^1436875-1 is not prime. Res64: FD55EF5D1603A716 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:23:29] 615*2^1436876-1 is not prime. Res64: 2061634F26AC378C Time : 0.0 sec. user=mdettweiler [2016-08-07 07:47:09] 623*2^1436876-1 is not prime. Res64: 1516ADCDA7CAF55F Time : 0.0 sec. user=mdettweiler [2016-08-07 07:47:09] 657*2^1436876-1 is not prime. Res64: 837E53C741C56B86 Time : 0.0 sec. user=mdettweiler [2016-08-07 07:47:10] 785*2^1436876-1 is not prime. Res64: 315965CB8B50AE6A Time : 0.0 sec. user=mdettweiler [2016-08-07 07:47:10] 903*2^1436876-1 is not prime. Res64: 9E34119306AC014C Time : 0.0 sec. user=mdettweiler [2016-08-07 07:47:10] 923*2^1436876-1 is not prime. Res64: F97D77D1244C367B Time : 0.0 sec. user=mdettweiler [2016-08-07 08:04:35] 747*2^1436877-1 is not prime. Res64: B0468B00E8065248 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:04:37] 915*2^1436877-1 is not prime. Res64: 94819AF2137B6E58 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:04:42] 997*2^1436877-1 is not prime. Res64: 513469223097147A Time : 0.0 sec. user=mdettweiler [2016-08-07 08:04:45] 635*2^1436878-1 is not prime. Res64: 400530A84C441CEC Time : 0.0 sec. user=mdettweiler [2016-08-07 08:04:49] 681*2^1436878-1 is not prime. Res64: 374C3C968503B3DE Time : 0.0 sec. user=mdettweiler [2016-08-07 08:07:36] 723*2^1436878-1 is not prime. Res64: 71677B70E3CAF727 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:07:38] 755*2^1436878-1 is not prime. Res64: A1E1AB6C0EC78C36 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:07:40] 827*2^1436878-1 is not prime. Res64: 1100AF7D31377A6A Time : 0.0 sec. user=mdettweiler [2016-08-07 08:07:43] 669*2^1436879-1 is not prime. Res64: 3D38B33746A399B0 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:07:47] 775*2^1436879-1 is not prime. Res64: 32D580E41849B0A7 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:31:24] 825*2^1436879-1 is not prime. Res64: DD8FBCDF5B99D8EF Time : 0.0 sec. user=mdettweiler [2016-08-07 08:31:24] 883*2^1436879-1 is not prime. Res64: F91E04AE25720B12 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:31:25] 955*2^1436879-1 is not prime. Res64: 73A63E087E4496BE Time : 0.0 sec. user=mdettweiler [2016-08-07 08:31:25] 717*2^1436880-1 is not prime. Res64: A41E631E8FCF38E2 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:31:25] 759*2^1436880-1 is not prime. Res64: 286A5F18D9EC74BE Time : 0.0 sec. user=mdettweiler [2016-08-07 08:49:35] 929*2^1436880-1 is not prime. Res64: 0BB71F9020E6A63A Time : 0.0 sec. user=mdettweiler [2016-08-07 08:49:36] 959*2^1436880-1 is not prime. Res64: 48452DC14D14A975 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:49:36] 789*2^1436881-1 is not prime. Res64: 9C6E2C0B590845EB Time : 0.0 sec. user=mdettweiler [2016-08-07 08:49:39] 895*2^1436881-1 is not prime. Res64: D06B0A467193F8EA Time : 0.0 sec. user=mdettweiler [2016-08-07 08:49:39] 931*2^1436881-1 is not prime. Res64: FEBDC622AE9C55B1 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:52:38] 987*2^1436881-1 is not prime. Res64: BF40B712D5BC1753 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:52:39] 603*2^1436882-1 is not prime. Res64: 3EDFE9EA4F457152 Time : 0.0 sec. user=mdettweiler [2016-08-07 08:52:39] 825*2^1436882-1 is not prime. Res64: F1A6627097415FDF Time : 0.0 sec. user=mdettweiler [2016-08-07 08:52:39] 827*2^1436882-1 is not prime. Res64: F470794BB02E2F4C Time : 0.0 sec. user=mdettweiler [2016-08-07 08:52:42] 893*2^1436882-1 is not prime. Res64: F09BAD4ED71A9FBA Time : 0.0 sec. user=mdettweiler [2016-08-07 09:15:30] 609*2^1436883-1 is not prime. Res64: B431719A28515245 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:15:31] 685*2^1436883-1 is not prime. Res64: 564B8CBDE5C9A7AA Time : 0.0 sec. user=mdettweiler [2016-08-07 09:15:31] 705*2^1436883-1 is not prime. Res64: F84F9D6A8B66E60E Time : 0.0 sec. user=mdettweiler [2016-08-07 09:15:31] 741*2^1436883-1 is not prime. Res64: B48D416AD6276073 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:15:32] 765*2^1436883-1 is not prime. Res64: E303270E21C4DB97 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:33:41] 801*2^1436883-1 is not prime. Res64: 3E6BAE1AFF714684 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:33:42] 835*2^1436883-1 is not prime. Res64: 4366790389E38D0A Time : 0.0 sec. user=mdettweiler [2016-08-07 09:33:42] 885*2^1436883-1 is not prime. Res64: AE491A0AFF0C59E4 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:33:43] 913*2^1436883-1 is not prime. Res64: DED80E1E2B2773B2 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:33:43] 693*2^1436884-1 is not prime. Res64: A3C0F99B1914B478 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:36:43] 723*2^1436884-1 is not prime. Res64: 64E7A1540769EDF6 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:36:44] 785*2^1436884-1 is not prime. Res64: 52A6A4CF5C3C83DB Time : 0.0 sec. user=mdettweiler [2016-08-07 09:36:44] 601*2^1436885-1 is not prime. Res64: CF78567702258483 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:36:45] 645*2^1436885-1 is not prime. Res64: 72F5AF2D21DEDA84 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:36:45] 655*2^1436885-1 is not prime. Res64: F52290BA5190353A Time : 0.0 sec. user=mdettweiler [2016-08-07 09:59:34] 679*2^1436885-1 is not prime. Res64: F92642AB724959CB Time : 0.0 sec. user=mdettweiler [2016-08-07 09:59:35] 969*2^1436885-1 is not prime. Res64: FF0F498AFCC80592 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:59:35] 635*2^1436886-1 is not prime. Res64: 49D162D11FCECA1B Time : 0.0 sec. user=mdettweiler [2016-08-07 09:59:35] 815*2^1436886-1 is not prime. Res64: F631729CA063E685 Time : 0.0 sec. user=mdettweiler [2016-08-07 09:59:36] 867*2^1436886-1 is not prime. Res64: 1374BDAE296058CD Time : 0.0 sec. user=mdettweiler [2016-08-07 10:17:49] 735*2^1436887-1 is not prime. Res64: 3B057EC7F8E925B5 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:17:50] 871*2^1436887-1 is not prime. Res64: F1360F2A700E74D1 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:17:50] 883*2^1436887-1 is not prime. Res64: AB82B9A2FC44C177 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:17:50] 747*2^1436888-1 is not prime. Res64: D62BF76D473A8D90 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:17:53] 795*2^1436888-1 is not prime. Res64: 5BE682B52372B3DC Time : 0.0 sec. user=mdettweiler [2016-08-07 10:20:53] 813*2^1436888-1 is not prime. Res64: A65A5479C299E598 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:20:54] 875*2^1436888-1 is not prime. Res64: 00577CA7DC7B99BF Time : 0.0 sec. user=mdettweiler [2016-08-07 10:20:54] 945*2^1436888-1 is not prime. Res64: 2AEE1E4C1713E81D Time : 0.0 sec. user=mdettweiler [2016-08-07 10:20:55] 999*2^1436888-1 is not prime. Res64: 5A9A3EDC62C68F74 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:20:55] 675*2^1436889-1 is not prime. Res64: 23A7C5462E84500F Time : 0.0 sec. user=mdettweiler [2016-08-07 10:43:39] 945*2^1436889-1 is not prime. Res64: 9EAADB26797C85B1 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:43:40] 999*2^1436889-1 is not prime. Res64: 54D09892BE7149D6 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:43:40] 623*2^1436890-1 is not prime. Res64: D9FA6179A3BF8309 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:43:40] 735*2^1436890-1 is not prime. Res64: CFA11626BCD04CF9 Time : 0.0 sec. user=mdettweiler [2016-08-07 10:43:41] 743*2^1436890-1 is not prime. Res64: 7B99C316195A7D6D Time : 0.0 sec. user=mdettweiler [2016-08-07 11:01:57] 791*2^1436890-1 is not prime. Res64: 825524CD710190F1 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:01:58] 915*2^1436890-1 is not prime. Res64: A7CE53D252D80642 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:01:59] 917*2^1436890-1 is not prime. Res64: 4181BD90A0445B96 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:01:59] 945*2^1436890-1 is not prime. Res64: A1E4406F90F90EE0 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:02:02] 663*2^1436891-1 is not prime. Res64: 66D83B42CE057D2A Time : 0.0 sec. user=mdettweiler [2016-08-07 11:05:03] 733*2^1436891-1 is not prime. Res64: 6C8039AAD7E03D23 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:05:07] 759*2^1436891-1 is not prime. Res64: B810B9ABAA57DC8C Time : 0.0 sec. user=mdettweiler [2016-08-07 11:05:08] 805*2^1436891-1 is not prime. Res64: D3502168ED9E3433 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:05:12] 945*2^1436891-1 is not prime. Res64: 621E80092043B09E Time : 0.0 sec. user=mdettweiler [2016-08-07 11:05:13] 609*2^1436892-1 is not prime. Res64: 835275A789861A03 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:27:48] 647*2^1436892-1 is not prime. Res64: 33024C0D1D588FA5 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:27:49] 669*2^1436892-1 is not prime. Res64: 18C3F4C0CE788BCD Time : 0.0 sec. user=mdettweiler [2016-08-07 11:27:50] 863*2^1436892-1 is not prime. Res64: 2477CAA40FF28DEE Time : 0.0 sec. user=mdettweiler [2016-08-07 11:27:50] 959*2^1436892-1 is not prime. Res64: 3B2666CB4FE7F5F1 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:27:52] 987*2^1436892-1 is not prime. Res64: C58FB0AB19190391 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:46:11] 819*2^1436893-1 is not prime. Res64: 7834885B1F433A1E Time : 0.0 sec. user=mdettweiler [2016-08-07 11:46:11] 855*2^1436893-1 is not prime. Res64: C74404FA04D8421C Time : 0.0 sec. user=mdettweiler [2016-08-07 11:46:11] 877*2^1436893-1 is not prime. Res64: 0F374D1F4DE47616 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:46:12] 985*2^1436893-1 is not prime. Res64: 498A8E5C7D9D208C Time : 0.0 sec. user=mdettweiler [2016-08-07 11:46:12] 615*2^1436894-1 is not prime. Res64: E3316F8EEA37A7DA Time : 0.0 sec. user=mdettweiler [2016-08-07 11:49:36] 717*2^1436894-1 is not prime. Res64: 476C59F289A5E22E Time : 0.0 sec. user=mdettweiler [2016-08-07 11:49:36] 743*2^1436894-1 is not prime. Res64: 7B43D7064194ECE9 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:49:37] 791*2^1436894-1 is not prime. Res64: FD6B9262516AC78E Time : 0.0 sec. user=mdettweiler [2016-08-07 11:49:37] 795*2^1436894-1 is not prime. Res64: 87C902ED6B1E0075 Time : 0.0 sec. user=mdettweiler [2016-08-07 11:49:38] 825*2^1436894-1 is not prime. Res64: B73BA68B52CAAFA8 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:11:58] 831*2^1436894-1 is not prime. Res64: 2A71F670D9CC97A3 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:12:00] 887*2^1436894-1 is not prime. Res64: 5E69425FA4766012 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:12:00] 941*2^1436894-1 is not prime. Res64: 4ECC70AA5F6A92C6 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:12:01] 609*2^1436895-1 is not prime. Res64: 24DD584EF0AB104B Time : 0.0 sec. user=mdettweiler [2016-08-07 12:12:01] 675*2^1436895-1 is not prime. Res64: 1C733FF893D87513 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:30:24] 853*2^1436895-1 is not prime. Res64: CD5EAF27798AC996 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:30:25] 951*2^1436895-1 is not prime. Res64: 90819D6F51FE426E Time : 0.0 sec. user=mdettweiler [2016-08-07 12:30:25] 961*2^1436895-1 is not prime. Res64: A7BB87ACFA4889D2 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:30:26] 963*2^1436895-1 is not prime. Res64: 04DF9044B6F1FD13 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:30:26] 979*2^1436895-1 is not prime. Res64: 6141FBD0A139AE38 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:33:47] 629*2^1436896-1 is not prime. Res64: C9D98E145C54155A Time : 0.0 sec. user=mdettweiler [2016-08-07 12:33:47] 677*2^1436896-1 is not prime. Res64: 47A162D54F382D83 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:33:48] 743*2^1436896-1 is not prime. Res64: 77205CA654AC9BB9 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:33:48] 747*2^1436896-1 is not prime. Res64: 9DEF2079CF27A305 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:33:49] 773*2^1436896-1 is not prime. Res64: 4BF7715E16C939B6 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:56:22] 777*2^1436896-1 is not prime. Res64: 8E9F92CAF0D0F2D2 Time : 0.0 sec. user=mdettweiler [2016-08-07 12:56:22] 813*2^1436896-1 is not prime. Res64: 8AE76120F57D33BA Time : 0.0 sec. user=mdettweiler [2016-08-07 12:56:23] 905*2^1436896-1 is not prime. Res64: AC122AADFAF70F6C Time : 0.0 sec. user=mdettweiler [2016-08-07 12:56:23] 675*2^1436897-1 is not prime. Res64: B77C30AF5B50C50B Time : 0.0 sec. user=mdettweiler [2016-08-07 12:56:23] 711*2^1436897-1 is not prime. Res64: 46AF23A46B569FA9 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:14:33] 781*2^1436897-1 is not prime. Res64: F58F0BB6B865E3D9 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:14:33] 867*2^1436897-1 is not prime. Res64: 40D93081445D23B1 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:14:34] 621*2^1436898-1 is not prime. Res64: 780416CBDEC52586 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:14:35] 683*2^1436898-1 is not prime. Res64: 8E408A52CBC6BF0B Time : 0.0 sec. user=mdettweiler [2016-08-07 13:14:35] 821*2^1436898-1 is not prime. Res64: 36B6F62AC4587493 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:17:50] 837*2^1436898-1 is not prime. Res64: 30B4789F07A9091A Time : 0.0 sec. user=mdettweiler [2016-08-07 13:17:50] 923*2^1436898-1 is not prime. Res64: B25830A7991B3489 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:17:51] 927*2^1436898-1 is not prime. Res64: BD760A2571DA1CF4 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:17:51] 975*2^1436898-1 is not prime. Res64: 19E23977C2C4BB5A Time : 0.0 sec. user=mdettweiler [2016-08-07 13:17:52] 977*2^1436898-1 is not prime. Res64: FC2AB42FE0FC6669 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:40:28] 993*2^1436898-1 is not prime. Res64: 414D6A80A703CD1E Time : 0.0 sec. user=mdettweiler [2016-08-07 13:40:28] 609*2^1436899-1 is not prime. Res64: 43BCED10E8353E09 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:40:28] 625*2^1436899-1 is not prime. Res64: 494E3CF9451E7CE4 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:40:29] 663*2^1436899-1 is not prime. Res64: 54E1797F9676162C Time : 0.0 sec. user=mdettweiler [2016-08-07 13:40:29] 691*2^1436899-1 is not prime. Res64: 1AC50148E6052276 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:58:42] 769*2^1436899-1 is not prime. Res64: FE8BD48157729BE4 Time : 0.0 sec. user=mdettweiler [2016-08-07 13:58:42] 885*2^1436899-1 is not prime. Res64: EE04863DFB7E62DB Time : 0.0 sec. user=mdettweiler [2016-08-07 13:58:42] 951*2^1436899-1 is not prime. Res64: 3AC3949EB52FD15F Time : 0.0 sec. user=mdettweiler [2016-08-07 13:58:43] 603*2^1436900-1 is not prime. Res64: 3084A920EAB89BBE Time : 0.0 sec. user=mdettweiler [2016-08-07 13:58:43] 707*2^1436900-1 is not prime. Res64: 99CAAB364DD56900 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:01:55] 767*2^1436900-1 is not prime. Res64: 5880F604E477F88A Time : 0.0 sec. user=mdettweiler [2016-08-07 14:01:56] 789*2^1436900-1 is not prime. Res64: E62DF347E7C9BE04 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:01:57] 953*2^1436900-1 is not prime. Res64: D9AC3A7EB719EB5E Time : 0.0 sec. user=mdettweiler [2016-08-07 14:01:57] 957*2^1436900-1 is not prime. Res64: 6F15EACCF62885C5 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:01:58] 607*2^1436901-1 is not prime. Res64: EADDACECF4D8E914 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:24:34] 709*2^1436901-1 is not prime. Res64: 15006C49368A14D7 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:24:35] 835*2^1436901-1 is not prime. Res64: B84363C239FA1AD5 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:24:35] 927*2^1436901-1 is not prime. Res64: 2F018D00C66A27FE Time : 0.0 sec. user=mdettweiler [2016-08-07 14:24:36] 785*2^1436902-1 is not prime. Res64: E76538D27733A07E Time : 0.0 sec. user=mdettweiler [2016-08-07 14:24:38] 791*2^1436902-1 is not prime. Res64: 5B8558FF3F361257 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:42:44] 815*2^1436902-1 is not prime. Res64: 155D95CFAD80006C Time : 0.0 sec. user=mdettweiler [2016-08-07 14:42:44] 843*2^1436902-1 is not prime. Res64: 5D60B8A571DB58BF Time : 0.0 sec. user=mdettweiler [2016-08-07 14:42:45] 885*2^1436902-1 is not prime. Res64: 3F10C44393F34D05 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:42:45] 947*2^1436902-1 is not prime. Res64: 1FA9E4BA875B53FE Time : 0.0 sec. user=mdettweiler [2016-08-07 14:42:46] 975*2^1436902-1 is not prime. Res64: 0EF8122BEAB55BB7 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:46:03] 621*2^1436903-1 is not prime. Res64: 22DF2AF99D43BC07 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:46:03] 649*2^1436903-1 is not prime. Res64: 60977EBE4A3AD53C Time : 0.0 sec. user=mdettweiler [2016-08-07 14:46:04] 763*2^1436903-1 is not prime. Res64: AE7A248204207913 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:46:04] 889*2^1436903-1 is not prime. Res64: C6472B9C83CFA970 Time : 0.0 sec. user=mdettweiler [2016-08-07 14:46:05] 747*2^1436904-1 is not prime. Res64: 6A29F3ED40F153AE Time : 0.0 sec. user=mdettweiler [2016-08-07 15:08:44] 903*2^1436904-1 is not prime. Res64: 1418E5A660002FFF Time : 0.0 sec. user=mdettweiler [2016-08-07 15:08:45] 945*2^1436904-1 is not prime. Res64: E0A2759AFD48FB81 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:08:45] 661*2^1436905-1 is not prime. Res64: 8E77F839127171B2 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:08:46] 811*2^1436905-1 is not prime. Res64: 32BE79EBBB76BD62 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:08:46] 841*2^1436905-1 is not prime. Res64: B1BECA50E1FBBDAB Time : 0.0 sec. user=mdettweiler [2016-08-07 15:26:51] 877*2^1436905-1 is not prime. Res64: 17F396487F920710 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:26:52] 889*2^1436905-1 is not prime. Res64: 5CD974341CDAA44D Time : 0.0 sec. user=mdettweiler [2016-08-07 15:26:53] 895*2^1436905-1 is not prime. Res64: 323EA4DE9C579FFE Time : 0.0 sec. user=mdettweiler [2016-08-07 15:26:54] 975*2^1436905-1 is not prime. Res64: 13B6306D26135C3C Time : 0.0 sec. user=mdettweiler [2016-08-07 15:26:55] 617*2^1436906-1 is not prime. Res64: 19B07AAB0C66AF2D Time : 0.0 sec. user=mdettweiler [2016-08-07 15:30:15] 713*2^1436906-1 is not prime. Res64: 63A0F60F70C02248 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:30:16] 851*2^1436906-1 is not prime. Res64: 0F808F6C3A838114 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:30:17] 941*2^1436906-1 is not prime. Res64: 80F3F20182E0623B Time : 0.0 sec. user=mdettweiler [2016-08-07 15:30:18] 819*2^1436907-1 is not prime. Res64: 0BA86EEA3ABB1B74 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:30:18] 861*2^1436907-1 is not prime. Res64: 9CC779027FD0E076 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:52:51] 963*2^1436907-1 is not prime. Res64: EB4A49A5E7F92303 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:52:52] 605*2^1436908-1 is not prime. Res64: DA8E9856ECA49F45 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:52:52] 663*2^1436908-1 is not prime. Res64: 761E945292085643 Time : 0.0 sec. user=mdettweiler [2016-08-07 15:52:52] 735*2^1436908-1 is not prime. Res64: A0FE810E5FA0DFBB Time : 0.0 sec. user=mdettweiler [2016-08-07 15:52:53] 843*2^1436908-1 is not prime. Res64: 6DDE680DB0248FFE Time : 0.0 sec. user=mdettweiler [2016-08-07 16:11:41] 845*2^1436908-1 is not prime. Res64: 98263F984659093F Time : 0.0 sec. user=mdettweiler [2016-08-07 16:11:42] 885*2^1436908-1 is not prime. Res64: E96D163F41D630DB Time : 0.0 sec. user=mdettweiler [2016-08-07 16:11:43] 675*2^1436909-1 is not prime. Res64: FDDC9DE85906846D Time : 0.0 sec. user=mdettweiler [2016-08-07 16:11:43] 889*2^1436909-1 is not prime. Res64: 3EC2C413360F1CD8 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:11:44] 635*2^1436910-1 is not prime. Res64: CA8B77909BD44F07 Time : 0.0 sec. user=juhehe [2016-08-07 16:13:38] 703*2^1436911-1 is not prime. Res64: 7B27750983A50B7D Time : 0.0 sec. user=mdettweiler [2016-08-07 16:15:01] 845*2^1436910-1 is not prime. Res64: FD42EBB700B7FC9E Time : 0.0 sec. user=mdettweiler [2016-08-07 16:15:02] 861*2^1436910-1 is not prime. Res64: 2BC20B5D1000D024 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:15:04] 927*2^1436910-1 is not prime. Res64: 3BC9756C95C16F6E Time : 0.0 sec. user=mdettweiler [2016-08-07 16:15:05] 679*2^1436911-1 is not prime. Res64: ED2DE040CA08D24F Time : 0.0 sec. user=mdettweiler [2016-08-07 16:15:05] 681*2^1436911-1 is not prime. Res64: B2211DC1F43A5CFF Time : 0.0 sec. user=mdettweiler [2016-08-07 16:37:38] 741*2^1436911-1 is not prime. Res64: 4DD3713FD49120B4 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:37:38] 759*2^1436911-1 is not prime. Res64: 260F195993278E8A Time : 0.0 sec. user=mdettweiler [2016-08-07 16:37:38] 793*2^1436911-1 is not prime. Res64: 8531E5E414C9E63C Time : 0.0 sec. user=mdettweiler [2016-08-07 16:37:39] 811*2^1436911-1 is not prime. Res64: 0FD1AF03BAE1A627 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:37:39] 855*2^1436911-1 is not prime. Res64: C1724E1A1A126C98 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:56:10] 925*2^1436911-1 is not prime. Res64: 23E19C9C5779C55C Time : 0.0 sec. user=mdettweiler [2016-08-07 16:56:12] 973*2^1436911-1 is not prime. Res64: F757440CBEC8BA0F Time : 0.0 sec. user=mdettweiler [2016-08-07 16:56:13] 693*2^1436912-1 is not prime. Res64: 3D14F8C3923C1E2E Time : 0.0 sec. user=mdettweiler [2016-08-07 16:56:13] 759*2^1436912-1 is not prime. Res64: 6D545A90A5E96343 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:56:17] 873*2^1436912-1 is not prime. Res64: 623A54DEDCC16356 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:59:17] 675*2^1436913-1 is not prime. Res64: 12DFAA5E2529F91B Time : 0.0 sec. user=mdettweiler [2016-08-07 16:59:17] 691*2^1436913-1 is not prime. Res64: D78D2DD5A6210215 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:59:17] 727*2^1436913-1 is not prime. Res64: CC940A5A90B4C826 Time : 0.0 sec. user=mdettweiler [2016-08-07 16:59:18] 735*2^1436913-1 is not prime. Res64: 1EC6CA2CC810B03D Time : 0.0 sec. user=mdettweiler [2016-08-07 16:59:18] 861*2^1436913-1 is not prime. Res64: D93016231DB65BAA Time : 0.0 sec. user=mdettweiler [2016-08-07 17:21:43] 951*2^1436913-1 is not prime. Res64: B34F89D2180B81F3 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:21:44] 999*2^1436913-1 is not prime. Res64: 998E059F63E659AB Time : 0.0 sec. user=mdettweiler [2016-08-07 17:21:44] 677*2^1436914-1 is not prime. Res64: DEC7B936D11D2CCD Time : 0.0 sec. user=mdettweiler [2016-08-07 17:21:45] 687*2^1436914-1 is not prime. Res64: 8D1E87A7E7E4D8F9 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:21:45] 701*2^1436914-1 is not prime. Res64: A3E0FD9432E7F826 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:40:40] 717*2^1436914-1 is not prime. Res64: F42E12E9C5787F60 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:40:43] 887*2^1436914-1 is not prime. Res64: B315BAFF6FB5852A Time : 0.0 sec. user=mdettweiler [2016-08-07 17:40:43] 971*2^1436914-1 is not prime. Res64: ED89C4D6E8C33A43 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:40:44] 685*2^1436915-1 is not prime. Res64: B845A5E021779259 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:40:44] 829*2^1436915-1 is not prime. Res64: 3B1555B746A07D08 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:43:40] 861*2^1436915-1 is not prime. Res64: 5BB49D75043F9E39 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:43:43] 647*2^1436916-1 is not prime. Res64: D2AF35D88291D7AC Time : 0.0 sec. user=mdettweiler [2016-08-07 17:43:44] 705*2^1436916-1 is not prime. Res64: C66E62639DC23A21 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:43:44] 759*2^1436916-1 is not prime. Res64: D283F17AA08134E4 Time : 0.0 sec. user=mdettweiler [2016-08-07 17:43:44] 873*2^1436916-1 is not prime. Res64: A5E3E449C717FE58 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:06:06] 887*2^1436916-1 is not prime. Res64: 69EC28CAC35212ED Time : 0.0 sec. user=mdettweiler [2016-08-07 18:06:08] 969*2^1436916-1 is not prime. Res64: A8EAA03BD737B960 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:06:10] 639*2^1436917-1 is not prime. Res64: 86204728476C4F1B Time : 0.0 sec. user=mdettweiler [2016-08-07 18:06:12] 661*2^1436917-1 is not prime. Res64: 957915635820C580 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:06:13] 691*2^1436917-1 is not prime. Res64: 0F27DD8227DE06BF Time : 0.0 sec. user=mdettweiler [2016-08-07 18:24:46] 741*2^1436917-1 is not prime. Res64: F893F03493B98D6E Time : 0.0 sec. user=mdettweiler [2016-08-07 18:24:49] 747*2^1436917-1 is not prime. Res64: 293E9BA10E85947F Time : 0.0 sec. user=mdettweiler [2016-08-07 18:24:50] 777*2^1436917-1 is not prime. Res64: 5E35799FEBC57D6D Time : 0.0 sec. user=mdettweiler [2016-08-07 18:24:50] 635*2^1436918-1 is not prime. Res64: 7E865A7F85F94CBC Time : 0.0 sec. user=mdettweiler [2016-08-07 18:24:51] 663*2^1436918-1 is not prime. Res64: 307D646F6D75E79B Time : 0.0 sec. user=mdettweiler [2016-08-07 18:27:48] 755*2^1436918-1 is not prime. Res64: 182457D8BA121931 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:27:48] 813*2^1436918-1 is not prime. Res64: 4A7731FAD3E21302 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:27:49] 827*2^1436918-1 is not prime. Res64: 55B7F486304690CF Time : 0.0 sec. user=mdettweiler [2016-08-07 18:27:49] 875*2^1436918-1 is not prime. Res64: E92B11E01D3CE10F Time : 0.0 sec. user=mdettweiler [2016-08-07 18:27:49] 685*2^1436919-1 is not prime. Res64: 15DE996E43910785 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:50:36] 751*2^1436919-1 is not prime. Res64: 2DBCF75202786F29 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:50:36] 795*2^1436919-1 is not prime. Res64: B6B01E10D00AB6A0 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:50:37] 933*2^1436919-1 is not prime. Res64: F8D94B050634E7DE Time : 0.0 sec. user=mdettweiler [2016-08-07 18:50:38] 943*2^1436919-1 is not prime. Res64: 4578BF395F109998 Time : 0.0 sec. user=mdettweiler [2016-08-07 18:50:39] 603*2^1436920-1 is not prime. Res64: 27EC169BEA5BBC03 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:08:55] 623*2^1436920-1 is not prime. Res64: 95D3A13055370110 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:08:55] 629*2^1436920-1 is not prime. Res64: 555A41AB33E0CA57 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:08:55] 675*2^1436920-1 is not prime. Res64: 5BACA95E6E41B303 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:08:56] 729*2^1436920-1 is not prime. Res64: 31B1C8C9283CCF77 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:08:56] 899*2^1436920-1 is not prime. Res64: 298ADF022A29BB30 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:11:55] 615*2^1436921-1 is not prime. Res64: DA59DA49C5869DA8 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:11:56] 691*2^1436921-1 is not prime. Res64: 5670BC4A9D92B2C8 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:11:56] 789*2^1436921-1 is not prime. Res64: 838EB1B4FD3D2F33 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:11:56] 795*2^1436921-1 is not prime. Res64: 4366CFF7079D1C37 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:11:57] 945*2^1436921-1 is not prime. Res64: 8D690BCAF844481A Time : 0.0 sec. user=mdettweiler [2016-08-07 19:34:46] 711*2^1436922-1 is not prime. Res64: 5164E64D9A3EED5D Time : 0.0 sec. user=mdettweiler [2016-08-07 19:34:47] 765*2^1436922-1 is not prime. Res64: E2086D36FEEC5FB9 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:34:47] 767*2^1436922-1 is not prime. Res64: C367C8A75762A9DC Time : 0.0 sec. user=mdettweiler [2016-08-07 19:34:47] 917*2^1436922-1 is not prime. Res64: B56AE10DAEC6EA31 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:34:48] 957*2^1436922-1 is not prime. Res64: 1EECD6BD5D8F00D1 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:53:07] 679*2^1436923-1 is not prime. Res64: 3EBE0E47A8864C36 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:53:07] 681*2^1436923-1 is not prime. Res64: 96FEFE073214523A Time : 0.0 sec. user=mdettweiler [2016-08-07 19:53:08] 849*2^1436923-1 is not prime. Res64: 79122758F0E5205C Time : 0.0 sec. user=mdettweiler [2016-08-07 19:53:08] 853*2^1436923-1 is not prime. Res64: CC3FDFFCA089BA2B Time : 0.0 sec. user=mdettweiler [2016-08-07 19:53:09] 883*2^1436923-1 is not prime. Res64: ED05E225FACAFFD8 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:56:02] 743*2^1436924-1 is not prime. Res64: 00E89CF7F730BD9E Time : 0.0 sec. user=mdettweiler [2016-08-07 19:56:03] 755*2^1436924-1 is not prime. Res64: 1037AA015C63AD20 Time : 0.0 sec. user=mdettweiler [2016-08-07 19:56:03] 819*2^1436924-1 is not prime. Res64: 99803F8C28CF8D8F Time : 0.0 sec. user=mdettweiler [2016-08-07 19:56:03] 953*2^1436924-1 is not prime. Res64: 9DF5040ABC217FBF Time : 0.0 sec. user=mdettweiler [2016-08-07 19:56:04] 983*2^1436924-1 is not prime. Res64: D08B328A7F47E5FB Time : 0.0 sec. user=mdettweiler [2016-08-07 20:18:54] 717*2^1436925-1 is not prime. Res64: CB566C7D3563C5B1 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:18:54] 727*2^1436925-1 is not prime. Res64: 766CF3DE2BE1663E Time : 0.0 sec. user=mdettweiler [2016-08-07 20:18:55] 861*2^1436925-1 is not prime. Res64: 23C05781E9FF80A5 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:18:55] 895*2^1436925-1 is not prime. Res64: 436A8B6E774D34C2 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:18:56] 979*2^1436925-1 is not prime. Res64: A8FB157878510826 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:37:14] 997*2^1436925-1 is not prime. Res64: 6683D494B4545508 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:37:14] 611*2^1436926-1 is not prime. Res64: E30B690E4BC8F10D Time : 0.0 sec. user=mdettweiler [2016-08-07 20:37:15] 857*2^1436926-1 is not prime. Res64: 979C34D70C2F51B4 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:37:15] 987*2^1436926-1 is not prime. Res64: 1C2017C3F5D20489 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:37:16] 993*2^1436926-1 is not prime. Res64: BA800133D60E89DD Time : 0.0 sec. user=mdettweiler [2016-08-07 20:40:12] 651*2^1436927-1 is not prime. Res64: 72153CD636E563F4 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:40:12] 655*2^1436927-1 is not prime. Res64: D50862E78601F5EF Time : 0.0 sec. user=mdettweiler [2016-08-07 20:40:13] 715*2^1436927-1 is not prime. Res64: 63259918497233B8 Time : 0.0 sec. user=mdettweiler [2016-08-07 20:40:13] 739*2^1436927-1 is not prime. Res64: F7D596CFA99C400E Time : 0.0 sec. user=mdettweiler [2016-08-07 20:40:14] 825*2^1436927-1 is not prime. Res64: 6A1F624C55FB54DC Time : 0.0 sec. user=mdettweiler [2016-08-07 21:03:12] 861*2^1436927-1 is not prime. Res64: 253F9B749A8DAD3D Time : 0.0 sec. user=mdettweiler [2016-08-07 21:03:13] 945*2^1436927-1 is not prime. Res64: C7AF6F30DB720E99 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:03:14] 981*2^1436927-1 is not prime. Res64: BBFB16AD2D66EDC9 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:03:15] 985*2^1436927-1 is not prime. Res64: 827FCB1D0F891EC1 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:03:16] 605*2^1436928-1 is not prime. Res64: DBFCFFB2D8DAF1BC Time : 0.0 sec. user=mdettweiler [2016-08-07 21:21:21] 615*2^1436928-1 is not prime. Res64: 480532ADFA3456EF Time : 0.0 sec. user=mdettweiler [2016-08-07 21:21:22] 633*2^1436928-1 is not prime. Res64: 1DAAC8E05C09C402 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:21:22] 669*2^1436928-1 is not prime. Res64: D26D0A9951B0B374 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:21:23] 927*2^1436928-1 is not prime. Res64: B89A838E87C35DC8 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:21:23] 977*2^1436928-1 is not prime. Res64: B9E021635DB3CC2E Time : 0.0 sec. user=mdettweiler [2016-08-07 21:24:16] 639*2^1436929-1 is not prime. Res64: 5E63E7E472F7A048 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:24:17] 667*2^1436929-1 is not prime. Res64: 550677A45FA86F34 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:24:18] 751*2^1436929-1 is not prime. Res64: 5AD29C138EDC708B Time : 0.0 sec. user=mdettweiler [2016-08-07 21:24:18] 771*2^1436929-1 is not prime. Res64: 67E0161DADE2A142 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:24:19] 867*2^1436929-1 is not prime. Res64: 168A18767B522DB4 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:47:24] 957*2^1436929-1 is not prime. Res64: 2F006DFCEE453525 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:47:25] 967*2^1436929-1 is not prime. Res64: 8A5E30AA0E1CE4DE Time : 0.0 sec. user=mdettweiler [2016-08-07 21:47:25] 623*2^1436930-1 is not prime. Res64: C8660392A5F269C4 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:47:26] 657*2^1436930-1 is not prime. Res64: 8653FFDC63DCCEB8 Time : 0.0 sec. user=mdettweiler [2016-08-07 21:47:26] 827*2^1436930-1 is not prime. Res64: 755B5D2E19F64846 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:05:34] 923*2^1436930-1 is not prime. Res64: C4122D876F329657 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:05:36] 927*2^1436930-1 is not prime. Res64: F52FE88BB6F4AD9E Time : 0.0 sec. user=mdettweiler [2016-08-07 22:05:38] 935*2^1436930-1 is not prime. Res64: 9E0F216AF8D7D608 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:05:40] 941*2^1436930-1 is not prime. Res64: 8097B7DE2AB4E86F Time : 0.0 sec. user=mdettweiler [2016-08-07 22:05:41] 625*2^1436931-1 is not prime. Res64: 029F7799AF374712 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:08:29] 643*2^1436931-1 is not prime. Res64: 39EB366F466CDA26 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:08:31] 903*2^1436931-1 is not prime. Res64: 021C38A33EA242C5 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:08:32] 969*2^1436931-1 is not prime. Res64: EFF682D11BA39ED5 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:08:34] 749*2^1436932-1 is not prime. Res64: 78624AF6F0C8408B Time : 0.0 sec. user=mdettweiler [2016-08-07 22:08:37] 803*2^1436932-1 is not prime. Res64: 067C0A8A2457D7FC Time : 0.0 sec. user=mdettweiler [2016-08-07 22:31:29] 843*2^1436932-1 is not prime. Res64: B68F4EC7B3C6B674 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:31:30] 863*2^1436932-1 is not prime. Res64: 5C43D6637DB9A1CC Time : 0.0 sec. user=mdettweiler [2016-08-07 22:31:30] 875*2^1436932-1 is not prime. Res64: D14155B04B7427EC Time : 0.0 sec. user=mdettweiler [2016-08-07 22:31:31] 657*2^1436933-1 is not prime. Res64: E4498A0A61810A42 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:31:31] 685*2^1436933-1 is not prime. Res64: 2D6338B40588F2BC Time : 0.0 sec. user=mdettweiler [2016-08-07 22:49:59] 811*2^1436933-1 is not prime. Res64: 6D7A0B252CDB4E09 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:49:59] 829*2^1436933-1 is not prime. Res64: 83E37E4DBC2D2881 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:49:59] 627*2^1436934-1 is not prime. Res64: D4194B3834410ED7 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:50:00] 641*2^1436934-1 is not prime. Res64: 3BA74028320DED96 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:50:00] 705*2^1436934-1 is not prime. Res64: 7C504CC653160752 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:52:48] 797*2^1436934-1 is not prime. Res64: 151A5BB181F096D0 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:52:48] 833*2^1436934-1 is not prime. Res64: D2FD315BB70D8A4E Time : 0.0 sec. user=mdettweiler [2016-08-07 22:52:48] 1001*2^1436934-1 is not prime. Res64: 859C8D7208144FCB Time : 0.0 sec. user=mdettweiler [2016-08-07 22:52:49] 789*2^1436935-1 is not prime. Res64: 461D28FF345E59C8 Time : 0.0 sec. user=mdettweiler [2016-08-07 22:52:49] 859*2^1436935-1 is not prime. Res64: FBCE35B72AC5CCDE Time : 0.0 sec. user=mdettweiler [2016-08-07 23:15:35] 885*2^1436935-1 is not prime. Res64: F0A3933DB59957B1 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:15:36] 969*2^1436935-1 is not prime. Res64: FE90C1DE2F5D225F Time : 0.0 sec. user=mdettweiler [2016-08-07 23:15:36] 999*2^1436935-1 is not prime. Res64: B682A891019EA80A Time : 0.0 sec. user=mdettweiler [2016-08-07 23:15:37] 623*2^1436936-1 is not prime. Res64: A0AA28B4531DEBDE Time : 0.0 sec. user=mdettweiler [2016-08-07 23:15:37] 725*2^1436936-1 is not prime. Res64: 6D506D6EA143A393 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:34:07] 789*2^1436936-1 is not prime. Res64: F0E2520CAB840748 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:34:07] 813*2^1436936-1 is not prime. Res64: A7F3FD7328B33352 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:34:08] 845*2^1436936-1 is not prime. Res64: 4E55C75DF7543518 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:34:08] 875*2^1436936-1 is not prime. Res64: C0D14C59C20B7B5B Time : 0.0 sec. user=mdettweiler [2016-08-07 23:34:09] 917*2^1436936-1 is not prime. Res64: FBC41156936F4FF3 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:36:53] 935*2^1436936-1 is not prime. Res64: 4AFC4B2AB4A1D040 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:36:54] 681*2^1436937-1 is not prime. Res64: CDC384EDBE824904 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:36:54] 807*2^1436937-1 is not prime. Res64: BF48DF9B6BD9F829 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:36:54] 979*2^1436937-1 is not prime. Res64: 5411881881B7A24D Time : 0.0 sec. user=mdettweiler [2016-08-07 23:36:55] 611*2^1436938-1 is not prime. Res64: E8044EFB1982CEF5 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:59:46] 671*2^1436938-1 is not prime. Res64: 63862C340E72CA0C Time : 0.0 sec. user=mdettweiler [2016-08-07 23:59:46] 705*2^1436938-1 is not prime. Res64: 967DCF3D578EA419 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:59:47] 777*2^1436938-1 is not prime. Res64: BCA5A51D7CA6CE54 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:59:48] 843*2^1436938-1 is not prime. Res64: B2562BB7FD3619F3 Time : 0.0 sec. user=mdettweiler [2016-08-07 23:59:49] 857*2^1436938-1 is not prime. Res64: 37EE01661F840C44 Time : 0.0 sec.