user=mdettweiler [2016-06-05 00:04:32] 957*2^1431428-1 is not prime. Res64: 7AFF0EFCA8C5B3D0 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:04:33] 639*2^1431429-1 is not prime. Res64: 96E62811F52EA57F Time : 0.0 sec. user=mdettweiler [2016-06-05 00:04:34] 649*2^1431429-1 is not prime. Res64: 1450D2B896921DB1 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:04:34] 741*2^1431429-1 is not prime. Res64: B32825FEF28DDA61 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:04:35] 745*2^1431429-1 is not prime. Res64: 3DC70473523D1CB9 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:05:03] 747*2^1431429-1 is not prime. Res64: A1E9252E9CC80684 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:05:04] 817*2^1431429-1 is not prime. Res64: 9D5400CEEC959BF0 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:05:04] 847*2^1431429-1 is not prime. Res64: C0D87B8DA65B1AA1 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:05:05] 861*2^1431429-1 is not prime. Res64: 7B3A31948BFEF81D Time : 0.0 sec. user=mdettweiler [2016-06-05 00:05:06] 877*2^1431429-1 is not prime. Res64: 396EA85EDC901977 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:37:59] 987*2^1431429-1 is not prime. Res64: 667C954B59EC59C7 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:37:59] 747*2^1431430-1 is not prime. Res64: 1E001EB6D5F03E77 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:37:59] 777*2^1431430-1 is not prime. Res64: FE4779A4C094043A Time : 0.0 sec. user=mdettweiler [2016-06-05 00:37:59] 825*2^1431430-1 is not prime. Res64: C63431F90C2EF1E7 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:38:00] 827*2^1431430-1 is not prime. Res64: D25E050A018A2370 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:42:40] 831*2^1431430-1 is not prime. Res64: 947DCA86F1D59BDE Time : 0.0 sec. user=mdettweiler [2016-06-05 00:42:40] 843*2^1431430-1 is not prime. Res64: FC314A6D8AD527FB Time : 0.0 sec. user=mdettweiler [2016-06-05 00:42:40] 857*2^1431430-1 is not prime. Res64: 53567A84974A9EC7 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:42:40] 867*2^1431430-1 is not prime. Res64: 21E4E025676E8D39 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:42:41] 873*2^1431430-1 is not prime. Res64: F1A542818551B0F8 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:06] 981*2^1431430-1 is not prime. Res64: F0EAF9BC5A31EAFF Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:07] 661*2^1431431-1 is not prime. Res64: EE59D222DDB1643B Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:07] 921*2^1431431-1 is not prime. Res64: 1145F93682106162 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:07] 981*2^1431431-1 is not prime. Res64: B3F2A65D8D589975 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:07] 629*2^1431432-1 is not prime. Res64: 150899AC1CC0DF61 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:24] 737*2^1431432-1 is not prime. Res64: 6D4788F96F00117D Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:24] 767*2^1431432-1 is not prime. Res64: CF18CAC78F131D66 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:25] 797*2^1431432-1 is not prime. Res64: 6165B043460A5DF6 Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:25] 917*2^1431432-1 is not prime. Res64: 95CC1CA75C9F44AD Time : 0.0 sec. user=mdettweiler [2016-06-05 00:51:25] 923*2^1431432-1 is not prime. Res64: 1DDFD23DDB7FBF24 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:24:18] 639*2^1431433-1 is not prime. Res64: 22BD42D0A6A13A22 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:24:19] 679*2^1431433-1 is not prime. Res64: 5346E98613AA7801 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:24:19] 807*2^1431433-1 is not prime. Res64: AAF6DE2BC997C96C Time : 0.0 sec. user=mdettweiler [2016-06-05 01:24:19] 817*2^1431433-1 is not prime. Res64: E754B434878D76C8 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:24:20] 855*2^1431433-1 is not prime. Res64: 6739594A9A1A5152 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:29:13] 901*2^1431433-1 is not prime. Res64: 0D171D51D56036B1 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:29:14] 925*2^1431433-1 is not prime. Res64: 5AF311E10C20F79E Time : 0.0 sec. user=mdettweiler [2016-06-05 01:29:15] 791*2^1431434-1 is not prime. Res64: 12B73C37CABB860C Time : 0.0 sec. user=mdettweiler [2016-06-05 01:29:16] 837*2^1431434-1 is not prime. Res64: 961BFF96C01F8D88 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:29:17] 861*2^1431434-1 is not prime. Res64: FF878F464C70D067 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:37:30] 873*2^1431434-1 is not prime. Res64: A9DD93B302F6C12D Time : 0.0 sec. user=mdettweiler [2016-06-05 01:37:30] 915*2^1431434-1 is not prime. Res64: 48E8DFEF1FE152B9 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:37:31] 935*2^1431434-1 is not prime. Res64: FEC630A58A232D6E Time : 0.0 sec. user=mdettweiler [2016-06-05 01:37:31] 957*2^1431434-1 is not prime. Res64: 12062A5F36614FBD Time : 0.0 sec. user=mdettweiler [2016-06-05 01:37:31] 983*2^1431434-1 is not prime. Res64: CE02270D7C281369 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:38:02] 669*2^1431435-1 is not prime. Res64: 41318BA0A4DC395A Time : 0.0 sec. user=mdettweiler [2016-06-05 01:38:02] 751*2^1431435-1 is not prime. Res64: C343C76A90F9913D Time : 0.0 sec. user=mdettweiler [2016-06-05 01:38:02] 781*2^1431435-1 is not prime. Res64: E41188246C8EF940 Time : 0.0 sec. user=mdettweiler [2016-06-05 01:38:02] 819*2^1431435-1 is not prime. Res64: 3A798A0D73EEA07A Time : 0.0 sec. user=mdettweiler [2016-06-05 01:38:03] 861*2^1431435-1 is not prime. Res64: 5123956F573D7391 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:11:03] 955*2^1431435-1 is not prime. Res64: F255D5EF72EFA2B2 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:11:04] 963*2^1431435-1 is not prime. Res64: 01CA7202A76C0C1D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:11:04] 615*2^1431436-1 is not prime. Res64: 68096776149B2283 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:11:04] 759*2^1431436-1 is not prime. Res64: A3EEA5E67BC0A22C Time : 0.0 sec. user=mdettweiler [2016-06-05 02:11:05] 803*2^1431436-1 is not prime. Res64: 6C095EF243505359 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:16:18] 903*2^1431436-1 is not prime. Res64: F826E8E9D1D20B36 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:16:18] 983*2^1431436-1 is not prime. Res64: 67ABB59D02CFA85C Time : 0.0 sec. user=mdettweiler [2016-06-05 02:16:19] 989*2^1431436-1 is not prime. Res64: ABB08547FF80915D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:16:19] 607*2^1431437-1 is not prime. Res64: 0AC5277C3CF4678D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:16:19] 655*2^1431437-1 is not prime. Res64: 020570742C133D33 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:23:55] 699*2^1431437-1 is not prime. Res64: AB2C21F173AB18D0 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:23:55] 747*2^1431437-1 is not prime. Res64: C1028C78214055EE Time : 0.0 sec. user=mdettweiler [2016-06-05 02:23:55] 771*2^1431437-1 is not prime. Res64: 93382ED2E2509FE0 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:23:56] 781*2^1431437-1 is not prime. Res64: 0308B91F12379473 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:23:56] 831*2^1431437-1 is not prime. Res64: C76C9C71B4C2F1BC Time : 0.0 sec. user=mdettweiler [2016-06-05 02:24:36] 865*2^1431437-1 is not prime. Res64: 28847DD5A2CBE9C5 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:24:36] 885*2^1431437-1 is not prime. Res64: 45972BDD8258D7C6 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:24:37] 889*2^1431437-1 is not prime. Res64: 6ECB03B31998100D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:24:37] 981*2^1431437-1 is not prime. Res64: 77B1877056A4E08D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:24:37] 683*2^1431438-1 is not prime. Res64: 7140772AF0420B23 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:57:52] 713*2^1431438-1 is not prime. Res64: C76956C4B98C7D8A Time : 0.0 sec. user=mdettweiler [2016-06-05 02:57:52] 861*2^1431438-1 is not prime. Res64: B331762AF606FBB3 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:57:52] 971*2^1431438-1 is not prime. Res64: F0CAAC42EF5FA16D Time : 0.0 sec. user=mdettweiler [2016-06-05 02:57:52] 993*2^1431438-1 is not prime. Res64: 96040D1014CA6A26 Time : 0.0 sec. user=mdettweiler [2016-06-05 02:57:53] 603*2^1431439-1 is not prime. Res64: 0560674C47BF876F Time : 0.0 sec. user=mdettweiler [2016-06-05 03:02:51] 765*2^1431439-1 is not prime. Res64: C42247AFA73B57B8 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:02:52] 951*2^1431439-1 is not prime. Res64: 734E9D7DEA2A47AD Time : 0.0 sec. user=mdettweiler [2016-06-05 03:02:53] 603*2^1431440-1 is not prime. Res64: E0CF8C7824B5ED77 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:02:53] 615*2^1431440-1 is not prime. Res64: 022608DC51B6CE43 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:02:54] 633*2^1431440-1 is not prime. Res64: 561BD7555CCFC15F Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:44] 635*2^1431440-1 is not prime. Res64: 1589C97B8CB6C947 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:44] 785*2^1431440-1 is not prime. Res64: A01D15F6A4F873F7 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:44] 959*2^1431440-1 is not prime. Res64: DA55364DA3B77A18 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:45] 639*2^1431441-1 is not prime. Res64: EC328BAF436B4410 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:45] 727*2^1431441-1 is not prime. Res64: 4CB2C5CDA86CB716 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:45] 751*2^1431441-1 is not prime. Res64: 89EE5CC3F3B43F44 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:46] 781*2^1431441-1 is not prime. Res64: FA5CA79A1CB6EA05 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:46] 811*2^1431441-1 is not prime. Res64: 288B5CE369D42510 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:46] 817*2^1431441-1 is not prime. Res64: BFE82DD4A957F80D Time : 0.0 sec. user=mdettweiler [2016-06-05 03:10:47] 889*2^1431441-1 is not prime. Res64: 342A12F0263C0EB3 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:45:48] 979*2^1431441-1 is not prime. Res64: 44C42C3204846069 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:45:49] 623*2^1431442-1 is not prime. Res64: F3D6620FD3EBA4D4 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:45:52] 635*2^1431442-1 is not prime. Res64: C8B362E51BEF51B0 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:45:53] 831*2^1431442-1 is not prime. Res64: C446428DF6E8E2F5 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:45:55] 833*2^1431442-1 is not prime. Res64: 50F6D21107BB47F3 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:50:39] 867*2^1431442-1 is not prime. Res64: 0FE52649641A15B6 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:50:40] 873*2^1431442-1 is not prime. Res64: E4B76D68DD70E0DD Time : 0.0 sec. user=mdettweiler [2016-06-05 03:50:41] 915*2^1431442-1 is not prime. Res64: D55118BC0FCADD04 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:50:41] 615*2^1431443-1 is not prime. Res64: 3393E76D7D6066A7 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:50:42] 631*2^1431443-1 is not prime. Res64: 97CF2C61EBC72C04 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:13] 749*2^1431444-1 is not prime. Res64: E8165699FC367868 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:14] 735*2^1431443-1 is not prime. Res64: D888059CE39FFEA0 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:14] 875*2^1431444-1 is not prime. Res64: 60F47445713758B3 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:15] 893*2^1431444-1 is not prime. Res64: 4D41FDA11481DA06 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:15] 801*2^1431443-1 is not prime. Res64: FA8CF3EAA96D65E0 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:15] 899*2^1431444-1 is not prime. Res64: DEC6EBA0470843DD Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:15] 623*2^1431444-1 is not prime. Res64: FCEF44D248632A9E Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:16] 607*2^1431445-1 is not prime. Res64: A81B2006CD53F5ED Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:16] 635*2^1431444-1 is not prime. Res64: F57FD6573E7AE334 Time : 0.0 sec. user=mdettweiler [2016-06-05 03:58:17] 657*2^1431444-1 is not prime. Res64: 2F62CB2F8CC61029 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:34:37] 619*2^1431445-1 is not prime. Res64: D97B15C623FC56C8 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:34:38] 679*2^1431445-1 is not prime. Res64: 3CF8C73A9E807D94 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:34:38] 691*2^1431445-1 is not prime. Res64: 3BBF0303703EC016 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:34:38] 859*2^1431445-1 is not prime. Res64: 4B42A3C1D07EB04B Time : 0.0 sec. user=mdettweiler [2016-06-05 04:34:38] 861*2^1431445-1 is not prime. Res64: 7AC3D3C0276C2F42 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:38:17] 867*2^1431445-1 is not prime. Res64: 43F2557CEB40ECC4 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:38:18] 897*2^1431445-1 is not prime. Res64: F2245CD29D444603 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:38:18] 915*2^1431445-1 is not prime. Res64: EA184A38DA0B7283 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:38:18] 927*2^1431445-1 is not prime. Res64: 8C452300B32CEFB9 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:38:18] 635*2^1431446-1 is not prime. Res64: 634A4512B2433B32 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:22] 633*2^1431447-1 is not prime. Res64: 669FEBF7C07FD9D9 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:22] 739*2^1431447-1 is not prime. Res64: 56847616298D1975 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:22] 819*2^1431447-1 is not prime. Res64: E76968E2B0CCA99B Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:22] 895*2^1431447-1 is not prime. Res64: DA628239A22B9BDE Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:23] 603*2^1431448-1 is not prime. Res64: FA7E56B47BDD4268 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:46] 675*2^1431446-1 is not prime. Res64: B543550B59A189C8 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:46] 887*2^1431446-1 is not prime. Res64: 8258D532EA750E35 Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:46] 911*2^1431446-1 is not prime. Res64: 83901A28B2700E4B Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:46] 1001*2^1431446-1 is not prime. Res64: 63B3DF84E1DE4B5B Time : 0.0 sec. user=mdettweiler [2016-06-05 04:46:47] 619*2^1431447-1 is not prime. Res64: 02318B45A32BD985 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:23:06] 797*2^1431448-1 is not prime. Res64: F351BD9E497C5E0C Time : 0.0 sec. user=mdettweiler [2016-06-05 05:23:06] 813*2^1431448-1 is not prime. Res64: 4A0A7651EC0DF715 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:23:07] 825*2^1431448-1 is not prime. Res64: 1D9DC9EC1D9C055A Time : 0.0 sec. user=mdettweiler [2016-06-05 05:23:07] 845*2^1431448-1 is not prime. Res64: C590A9E8D3B3EDCA Time : 0.0 sec. user=mdettweiler [2016-06-05 05:23:07] 875*2^1431448-1 is not prime. Res64: 9392A9504742CB98 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:26:00] 699*2^1431449-1 is not prime. Res64: 002E025F6EBC0CD8 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:26:01] 885*2^1431449-1 is not prime. Res64: B79AD2C9A4B07943 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:26:01] 651*2^1431450-1 is not prime. Res64: C3E2AA252A13B428 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:26:01] 725*2^1431450-1 is not prime. Res64: 378B7BBBAE47A538 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:26:01] 735*2^1431450-1 is not prime. Res64: B7558068C23C6A3D Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:09] 765*2^1431450-1 is not prime. Res64: 000FA3FD52151417 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:10] 783*2^1431450-1 is not prime. Res64: DB24398C33F28DD5 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:10] 803*2^1431450-1 is not prime. Res64: F615FB3D7E6B023C Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:10] 917*2^1431450-1 is not prime. Res64: 3C1D21B2B74DD3EF Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:10] 649*2^1431451-1 is not prime. Res64: 3FE8EED5B6A81BE3 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:33] 651*2^1431451-1 is not prime. Res64: ACC72FBD34730093 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:34] 679*2^1431451-1 is not prime. Res64: 95109833E292E608 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:34] 745*2^1431451-1 is not prime. Res64: F019ECA78F0DED8A Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:34] 769*2^1431451-1 is not prime. Res64: D1603F2DEFE0D438 Time : 0.0 sec. user=mdettweiler [2016-06-05 05:34:34] 849*2^1431451-1 is not prime. Res64: 4AAA66BE065653EF Time : 0.0 sec. user=mdettweiler [2016-06-05 06:10:04] 871*2^1431451-1 is not prime. Res64: C47FAEB17A7A2596 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:10:04] 629*2^1431452-1 is not prime. Res64: 2AC1EB94EC6F99A2 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:10:05] 669*2^1431452-1 is not prime. Res64: CE124F6E63F7AED5 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:10:05] 767*2^1431452-1 is not prime. Res64: E81076E84A4FE001 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:10:05] 873*2^1431452-1 is not prime. Res64: 8F97F99AC55200CA Time : 0.0 sec. user=mdettweiler [2016-06-05 06:12:38] 915*2^1431452-1 is not prime. Res64: ACC5F8EAE584F0C2 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:12:38] 977*2^1431452-1 is not prime. Res64: 42E908B417525A4D Time : 0.0 sec. user=mdettweiler [2016-06-05 06:12:38] 983*2^1431452-1 is not prime. Res64: 5B17B6C3EBC5C89B Time : 0.0 sec. user=mdettweiler [2016-06-05 06:12:39] 685*2^1431453-1 is not prime. Res64: CCC9CA7E73060169 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:12:39] 835*2^1431453-1 is not prime. Res64: 80DEAA845CB46F29 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:18] 895*2^1431453-1 is not prime. Res64: 735D9688BC67BA6E Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:18] 937*2^1431453-1 is not prime. Res64: 2D69965277C8116B Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:19] 621*2^1431454-1 is not prime. Res64: 5D80A8701E2A3414 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:19] 645*2^1431454-1 is not prime. Res64: 06ACDADE47058DC6 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:19] 773*2^1431454-1 is not prime. Res64: F23854738BB1412D Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:38] 791*2^1431454-1 is not prime. Res64: DF446BE8BABCED89 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:38] 609*2^1431455-1 is not prime. Res64: E19DABFA18C0FB63 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:38] 679*2^1431455-1 is not prime. Res64: 2CC85D9E21B5DAE8 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:38] 789*2^1431455-1 is not prime. Res64: EAA8A3AD32C11DFB Time : 0.0 sec. user=mdettweiler [2016-06-05 06:20:39] 865*2^1431455-1 is not prime. Res64: 3631D53FB5A0017D Time : 0.0 sec. user=mdettweiler [2016-06-05 06:56:44] 895*2^1431455-1 is not prime. Res64: 947C981E6824AC83 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:56:44] 999*2^1431455-1 is not prime. Res64: 0CCF90D4BDBD2E6D Time : 0.0 sec. user=mdettweiler [2016-06-05 06:56:44] 675*2^1431456-1 is not prime. Res64: 28B6B0FDC0E29DD9 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:56:44] 789*2^1431456-1 is not prime. Res64: 36987380FFF7D3C6 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:56:45] 615*2^1431457-1 is not prime. Res64: 750D6A355C174B87 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:59:30] 651*2^1431457-1 is not prime. Res64: 6650B4DFAC06CF9C Time : 0.0 sec. user=mdettweiler [2016-06-05 06:59:31] 667*2^1431457-1 is not prime. Res64: C164D2B28A212063 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:59:31] 715*2^1431457-1 is not prime. Res64: 9C801C29FE545D4A Time : 0.0 sec. user=mdettweiler [2016-06-05 06:59:31] 729*2^1431457-1 is not prime. Res64: 08D89871BD2C9027 Time : 0.0 sec. user=mdettweiler [2016-06-05 06:59:31] 747*2^1431457-1 is not prime. Res64: 5500E759F37036A9 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:22] 831*2^1431457-1 is not prime. Res64: BCA158F1FC395B5B Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:23] 871*2^1431457-1 is not prime. Res64: 93E9FEC0D90051F1 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:24] 885*2^1431457-1 is not prime. Res64: 31FDCC6C788137F0 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:24] 939*2^1431457-1 is not prime. Res64: A1D5966009312988 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:25] 945*2^1431457-1 is not prime. Res64: 231CDF27C9921F32 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:44] 705*2^1431458-1 is not prime. Res64: 9B729CDDA8C4DB21 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:45] 743*2^1431458-1 is not prime. Res64: 9D253A12A818F768 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:45] 893*2^1431458-1 is not prime. Res64: ED0BDFB7145EFAE1 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:46] 953*2^1431458-1 is not prime. Res64: 4910E13F7317DB66 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:07:46] 971*2^1431458-1 is not prime. Res64: 100867FC8791E167 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:43:36] 1001*2^1431458-1 is not prime. Res64: 2A7C193559BAA0BC Time : 0.0 sec. user=mdettweiler [2016-06-05 07:43:36] 613*2^1431459-1 is not prime. Res64: E2978B4DA9DA2CF9 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:43:36] 633*2^1431459-1 is not prime. Res64: 6635983C27C41358 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:43:36] 741*2^1431459-1 is not prime. Res64: AC5282384A4E9163 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:43:37] 829*2^1431459-1 is not prime. Res64: 3B8A0930F3174755 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:46:33] 891*2^1431459-1 is not prime. Res64: B6C32EE58F0CB1DE Time : 0.0 sec. user=mdettweiler [2016-06-05 07:46:33] 999*2^1431459-1 is not prime. Res64: F48899F14EBDC5A5 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:46:33] 635*2^1431460-1 is not prime. Res64: 534FE01234C110D4 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:46:34] 653*2^1431460-1 is not prime. Res64: 62F766E175744B8D Time : 0.0 sec. user=mdettweiler [2016-06-05 07:46:34] 707*2^1431460-1 is not prime. Res64: 8B20073D6E2426B8 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:03] 759*2^1431460-1 is not prime. Res64: C65DBDD0F69132C0 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:03] 855*2^1431460-1 is not prime. Res64: 718BC2568ACBE782 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:03] 927*2^1431460-1 is not prime. Res64: 06A442BBF6675BA4 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:03] 939*2^1431460-1 is not prime. Res64: 95BD7B09F94F516F Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:04] 975*2^1431460-1 is not prime. Res64: FFF5A396303435C2 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:14] 769*2^1431461-1 is not prime. Res64: 76DA4964CA0866E5 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:15] 811*2^1431461-1 is not prime. Res64: D556E77B45E0AC8D Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:15] 867*2^1431461-1 is not prime. Res64: C8F93FECD253E289 Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:15] 627*2^1431462-1 is not prime. Res64: 72E09610F237B3DD Time : 0.0 sec. user=mdettweiler [2016-06-05 07:54:15] 717*2^1431462-1 is not prime. Res64: 320714267CB9E225 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:29:52] 737*2^1431462-1 is not prime. Res64: DC6A267286AE4102 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:29:52] 777*2^1431462-1 is not prime. Res64: 6E9401F70AE9E1FA Time : 0.0 sec. user=mdettweiler [2016-06-05 08:29:52] 797*2^1431462-1 is not prime. Res64: EEC768CB28F61AB8 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:29:52] 815*2^1431462-1 is not prime. Res64: 273A871F615517FE Time : 0.0 sec. user=mdettweiler [2016-06-05 08:29:53] 873*2^1431462-1 is not prime. Res64: 895C16FE4F1920AD Time : 0.0 sec. user=mdettweiler [2016-06-05 08:33:35] 885*2^1431462-1 is not prime. Res64: 24469517EF3CA91A Time : 0.0 sec. user=mdettweiler [2016-06-05 08:33:35] 977*2^1431462-1 is not prime. Res64: CD9EAD5A91B75A75 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:33:35] 609*2^1431463-1 is not prime. Res64: 8704E8726B4AC0D0 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:33:36] 805*2^1431463-1 is not prime. Res64: 83E141F485B35E13 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:33:36] 819*2^1431463-1 is not prime. Res64: 1355B386BA0B1080 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:09] 885*2^1431463-1 is not prime. Res64: FFE6825E53F7B3CF Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:10] 901*2^1431463-1 is not prime. Res64: 46818A50F863A80B Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:10] 675*2^1431464-1 is not prime. Res64: 86609F92138A43CE Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:11] 743*2^1431464-1 is not prime. Res64: DB93F75AE6FA7B4E Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:11] 753*2^1431464-1 is not prime. Res64: 25C32C7A6A072E89 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:43] 773*2^1431464-1 is not prime. Res64: 7EF1246FCC54F9BA Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:43] 803*2^1431464-1 is not prime. Res64: AC0299B001DDB0CD Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:43] 837*2^1431464-1 is not prime. Res64: 06B923AA15850974 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:44] 945*2^1431464-1 is not prime. Res64: B9D26B314B6BD906 Time : 0.0 sec. user=mdettweiler [2016-06-05 08:40:44] 691*2^1431465-1 is not prime. Res64: DE0EBE7CD69DB18C Time : 0.0 sec. user=mdettweiler [2016-06-05 09:17:35] 789*2^1431465-1 is not prime. Res64: 9CD98F7A16421A02 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:17:36] 819*2^1431465-1 is not prime. Res64: 8D34A182B19AAA9C Time : 0.0 sec. user=mdettweiler [2016-06-05 09:17:36] 867*2^1431465-1 is not prime. Res64: 0A124F73C6A57120 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:17:36] 877*2^1431465-1 is not prime. Res64: A106387DC0B9B6D6 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:17:36] 885*2^1431465-1 is not prime. Res64: 6B465D606537E33F Time : 0.0 sec. user=mdettweiler [2016-06-05 09:21:10] 915*2^1431465-1 is not prime. Res64: BC2683A7B9036939 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:21:11] 937*2^1431465-1 is not prime. Res64: BFF32A0B3CE0EDA6 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:21:11] 997*2^1431465-1 is not prime. Res64: 766D496834F7F49F Time : 0.0 sec. user=mdettweiler [2016-06-05 09:21:11] 657*2^1431466-1 is not prime. Res64: 2CAF440F8E4FD4F9 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:21:11] 803*2^1431466-1 is not prime. Res64: 7750E73E343743CC Time : 0.0 sec. user=mdettweiler [2016-06-05 09:27:13] 813*2^1431466-1 is not prime. Res64: 061C7006726BCCE0 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:27:13] 857*2^1431466-1 is not prime. Res64: A04566EA02084A2D Time : 0.0 sec. user=mdettweiler [2016-06-05 09:27:13] 903*2^1431466-1 is not prime. Res64: E63ED982F51155B4 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:27:14] 603*2^1431467-1 is not prime. Res64: 15BE8D0CF1724199 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:27:14] 643*2^1431467-1 is not prime. Res64: B818A2BBEFB1A892 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:28:00] 759*2^1431467-1 is not prime. Res64: ADA0A0B0B5556AB4 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:28:00] 915*2^1431467-1 is not prime. Res64: C85016D31E9D9AF1 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:28:00] 985*2^1431467-1 is not prime. Res64: 6114D53864182D05 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:28:00] 635*2^1431468-1 is not prime. Res64: 407B8E9D8E534552 Time : 0.0 sec. user=mdettweiler [2016-06-05 09:28:01] 669*2^1431468-1 is not prime. Res64: 6670AC81B8A4C96C Time : 0.0 sec. user=mdettweiler [2016-06-05 10:05:08] 975*2^1431468-1 is not prime. Res64: D8EF668E029EA949 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:05:08] 801*2^1431469-1 is not prime. Res64: F130333D417279CD Time : 0.0 sec. user=mdettweiler [2016-06-05 10:05:08] 819*2^1431469-1 is not prime. Res64: 418C73D05CC633FB Time : 0.0 sec. user=mdettweiler [2016-06-05 10:05:09] 895*2^1431469-1 is not prime. Res64: F903D6A95AFFFD73 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:05:09] 931*2^1431469-1 is not prime. Res64: FD3AC6E01F99CDC6 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:07:52] 939*2^1431469-1 is not prime. Res64: 47544C66660945BF Time : 0.0 sec. user=mdettweiler [2016-06-05 10:07:52] 603*2^1431470-1 is not prime. Res64: AC97782487E882D1 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:07:52] 827*2^1431470-1 is not prime. Res64: 6687562C9A4BA13C Time : 0.0 sec. user=mdettweiler [2016-06-05 10:07:53] 921*2^1431470-1 is not prime. Res64: 53547145F31FABFF Time : 0.0 sec. user=mdettweiler [2016-06-05 10:07:53] 935*2^1431470-1 is not prime. Res64: D9C95E0EC77594B1 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:13:21] 661*2^1431471-1 is not prime. Res64: 13328D359E41BEB4 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:13:21] 679*2^1431471-1 is not prime. Res64: 24BE4DE35240E385 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:13:21] 705*2^1431471-1 is not prime. Res64: 3FD8FE12B0F5A45E Time : 0.0 sec. user=mdettweiler [2016-06-05 10:13:21] 873*2^1431471-1 is not prime. Res64: 8042743B1A3C80F8 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:13:22] 969*2^1431471-1 is not prime. Res64: F8AB56EFAF3E7B06 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:14:55] 629*2^1431472-1 is not prime. Res64: F759B40FB4455FEA Time : 0.0 sec. user=mdettweiler [2016-06-05 10:14:56] 909*2^1431472-1 is not prime. Res64: 9CEEEF691BF33908 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:14:56] 915*2^1431472-1 is not prime. Res64: 90567011B4B79914 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:14:56] 705*2^1431473-1 is not prime. Res64: 6120E1E8598651ED Time : 0.0 sec. user=mdettweiler [2016-06-05 10:14:56] 795*2^1431473-1 is not prime. Res64: 52B1A8B97A6CFCE9 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:52:45] 987*2^1431473-1 is not prime. Res64: C860F923E336F02E Time : 0.0 sec. user=mdettweiler [2016-06-05 10:52:45] 611*2^1431474-1 is not prime. Res64: D594B1809AC61832 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:52:45] 711*2^1431474-1 is not prime. Res64: D12AAF711EDB61FA Time : 0.0 sec. user=mdettweiler [2016-06-05 10:52:46] 893*2^1431474-1 is not prime. Res64: 900A160DF456F6E7 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:52:46] 951*2^1431474-1 is not prime. Res64: EBDE759AC81A9287 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:54:25] 975*2^1431474-1 is not prime. Res64: DFCD95EAEBB7CB9E Time : 0.0 sec. user=mdettweiler [2016-06-05 10:54:25] 1001*2^1431474-1 is not prime. Res64: 002E92E4E11345BA Time : 0.0 sec. user=mdettweiler [2016-06-05 10:54:26] 751*2^1431475-1 is not prime. Res64: 88226937C0E2161D Time : 0.0 sec. user=mdettweiler [2016-06-05 10:54:26] 793*2^1431475-1 is not prime. Res64: B9FF6320CE229074 Time : 0.0 sec. user=mdettweiler [2016-06-05 10:54:26] 819*2^1431475-1 is not prime. Res64: 9F59DDAA931B58AD Time : 0.0 sec. user=mdettweiler [2016-06-05 11:00:08] 853*2^1431475-1 is not prime. Res64: A8AEC212C2763DB4 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:00:08] 961*2^1431475-1 is not prime. Res64: 1E18FD1D9D2FEA3F Time : 0.0 sec. user=mdettweiler [2016-06-05 11:00:09] 633*2^1431476-1 is not prime. Res64: 299057575BAD55F7 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:00:09] 683*2^1431476-1 is not prime. Res64: AAB9BB4EB81EEC92 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:00:09] 615*2^1431477-1 is not prime. Res64: CA08843BBB75A2C8 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:01:30] 621*2^1431477-1 is not prime. Res64: B1D30EAB94E08204 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:01:31] 625*2^1431477-1 is not prime. Res64: DC28EA6501F04A5D Time : 0.0 sec. user=mdettweiler [2016-06-05 11:01:32] 685*2^1431477-1 is not prime. Res64: 0CAF6745D366E341 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:01:33] 699*2^1431477-1 is not prime. Res64: 6DF541CA972277BD Time : 0.0 sec. user=mdettweiler [2016-06-05 11:01:34] 741*2^1431477-1 is not prime. Res64: 08C4CE26C780B244 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:39:30] 885*2^1431477-1 is not prime. Res64: A96AA543A9C0C07E Time : 0.0 sec. user=mdettweiler [2016-06-05 11:39:30] 919*2^1431477-1 is not prime. Res64: 22FDE9FCE2FD70BB Time : 0.0 sec. user=mdettweiler [2016-06-05 11:39:30] 999*2^1431477-1 is not prime. Res64: EB8E58C9F0AE49DE Time : 0.0 sec. user=mdettweiler [2016-06-05 11:39:31] 603*2^1431478-1 is not prime. Res64: D24A7AF897C8A1D4 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:39:31] 821*2^1431478-1 is not prime. Res64: C9C4918B3127722F Time : 0.0 sec. user=mdettweiler [2016-06-05 11:40:57] 843*2^1431478-1 is not prime. Res64: 6DA4CFA6E89514EF Time : 0.0 sec. user=mdettweiler [2016-06-05 11:40:58] 897*2^1431478-1 is not prime. Res64: 84A3B870225F78CE Time : 0.0 sec. user=mdettweiler [2016-06-05 11:40:58] 945*2^1431478-1 is not prime. Res64: 1B3EB149882D0599 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:40:58] 1001*2^1431478-1 is not prime. Res64: 9417D23AFB025B0E Time : 0.0 sec. user=mdettweiler [2016-06-05 11:40:58] 643*2^1431479-1 is not prime. Res64: DC9B5C77B1E4B2F0 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:47:17] 775*2^1431479-1 is not prime. Res64: 61DA01C2C02CA144 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:47:17] 841*2^1431479-1 is not prime. Res64: 81292AD3B8A125E0 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:47:18] 895*2^1431479-1 is not prime. Res64: 2244DE6275664128 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:47:18] 943*2^1431479-1 is not prime. Res64: 10D3626B2E7F97BE Time : 0.0 sec. user=mdettweiler [2016-06-05 11:47:18] 969*2^1431479-1 is not prime. Res64: 4188A5E1FEE5EA32 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:48:50] 689*2^1431480-1 is not prime. Res64: 21471753A88DC9DD Time : 0.0 sec. user=mdettweiler [2016-06-05 11:48:51] 849*2^1431480-1 is not prime. Res64: 25C358D5F5FAF77F Time : 0.0 sec. user=mdettweiler [2016-06-05 11:48:51] 875*2^1431480-1 is not prime. Res64: 7C22ADCCED2D619D Time : 0.0 sec. user=mdettweiler [2016-06-05 11:48:51] 999*2^1431480-1 is not prime. Res64: 8AB849A2859F2660 Time : 0.0 sec. user=mdettweiler [2016-06-05 11:48:52] 607*2^1431481-1 is not prime. Res64: B5281E25C0B1C03D Time : 0.0 sec. user=mdettweiler [2016-06-05 12:25:50] 675*2^1431481-1 is not prime. Res64: EC33E34284848245 Time : 0.0 sec. user=mdettweiler [2016-06-05 12:25:50] 685*2^1431481-1 is not prime. Res64: 0B72E0DBB6DB55DC Time : 0.0 sec. user=mdettweiler [2016-06-05 12:25:51] 801*2^1431481-1 is not prime. Res64: A147E319F960AC5F Time : 0.0 sec. user=mdettweiler [2016-06-05 12:25:51] 847*2^1431481-1 is not prime. Res64: 57893ECFD5D2FE4C Time : 0.0 sec. user=mdettweiler [2016-06-05 12:25:51] 951*2^1431481-1 is not prime. Res64: 4C03FBF8E897C6DC Time : 0.0 sec. user=mdettweiler [2016-06-05 12:27:44] 683*2^1431482-1 is not prime. Res64: 49C9324A98E34EB7 Time : 0.0 sec. user=mdettweiler [2016-06-05 12:27:45] 785*2^1431482-1 is not prime. Res64: 33787C5B067DCB0A Time : 0.0 sec. user=mdettweiler [2016-06-05 12:27:46] 827*2^1431482-1 is not prime. Res64: 15E819F1EB2652B0 Time : 0.0 sec. user=mdettweiler [2016-06-05 12:27:46] 837*2^1431482-1 is not prime. Res64: 5B5FE402B6598698 Time : 0.0 sec. user=mdettweiler [2016-06-05 12:27:47] 867*2^1431482-1 is not prime. Res64: 5F34960DE76F524F Time : 0.0 sec. user=mdettweiler [2016-06-05 13:15:52] 905*2^1431484-1 is not prime. Res64: 21D7983C79128C88 Time : 0.0 sec. user=mdettweiler [2016-06-05 13:15:52] 939*2^1431484-1 is not prime. Res64: 126184911D950214 Time : 0.0 sec. user=mdettweiler [2016-06-05 13:15:53] 601*2^1431485-1 is not prime. Res64: 73AD96194C13B6D0 Time : 0.0 sec. user=mdettweiler [2016-06-05 13:15:53] 721*2^1431485-1 is not prime. Res64: CFF5C5E8977F43CF Time : 0.0 sec. user=mdettweiler [2016-06-05 13:15:53] 727*2^1431485-1 is not prime. Res64: 9F27D6A5288C09AC Time : 0.0 sec. user=mdettweiler [2016-06-05 13:17:48] 801*2^1431485-1 is not prime. Res64: 5753820B6575CEDB Time : 0.0 sec. user=mdettweiler [2016-06-05 13:17:48] 927*2^1431485-1 is not prime. Res64: 88F5E7FCE14ED35F Time : 0.0 sec. user=mdettweiler [2016-06-05 13:17:49] 611*2^1431486-1 is not prime. Res64: 6CE39C3CF730516C Time : 0.0 sec. user=mdettweiler [2016-06-05 13:17:49] 737*2^1431486-1 is not prime. Res64: E7C5128991D26528 Time : 0.0 sec. user=mdettweiler [2016-06-05 13:17:49] 633*2^1431487-1 is not prime. Res64: D9BC7318D456E60A Time : 0.0 sec. user=mdettweiler [2016-06-05 14:06:45] 663*2^1431487-1 is not prime. Res64: F6B0BE0EA87D8ED7 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:06:46] 693*2^1431487-1 is not prime. Res64: 3CE7927FA8C14270 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:06:46] 703*2^1431487-1 is not prime. Res64: E026FCB0290A37B3 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:06:47] 829*2^1431487-1 is not prime. Res64: 367AE849CE7853F4 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:06:47] 891*2^1431487-1 is not prime. Res64: B8468E2F9C7C3AC9 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:09:36] 933*2^1431487-1 is not prime. Res64: 1938A21C955C53D6 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:09:36] 743*2^1431488-1 is not prime. Res64: D04BA3E971C85095 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:09:37] 855*2^1431488-1 is not prime. Res64: 6E655C17DCAEAD8E Time : 0.0 sec. user=mdettweiler [2016-06-05 14:09:37] 893*2^1431488-1 is not prime. Res64: 414299A11A19DFBC Time : 0.0 sec. user=mdettweiler [2016-06-05 14:09:37] 675*2^1431489-1 is not prime. Res64: 12C765BE7C42B6C2 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:59:25] 769*2^1431489-1 is not prime. Res64: EC0CFDD711B20A47 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:59:26] 781*2^1431489-1 is not prime. Res64: BC9EF59BD6489C08 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:59:26] 877*2^1431489-1 is not prime. Res64: D6D006D6A90F2F1F Time : 0.0 sec. user=mdettweiler [2016-06-05 14:59:26] 907*2^1431489-1 is not prime. Res64: F3217F11898633C1 Time : 0.0 sec. user=mdettweiler [2016-06-05 14:59:27] 605*2^1431490-1 is not prime. Res64: 3022EF1FADC71373 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:01:27] 867*2^1431490-1 is not prime. Res64: 4B0C77286D471368 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:01:29] 603*2^1431491-1 is not prime. Res64: B8825A4261822D1D Time : 0.0 sec. user=mdettweiler [2016-06-05 15:01:29] 615*2^1431491-1 is not prime. Res64: 7FC7255C5E1F95DD Time : 0.0 sec. user=mdettweiler [2016-06-05 15:01:29] 735*2^1431491-1 is not prime. Res64: 6D2D708E3287DE15 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:01:30] 913*2^1431491-1 is not prime. Res64: 0627DDAF2AC5DC2F Time : 0.0 sec. user=mdettweiler [2016-06-05 15:40:30] 871*2^1431483-1 is not prime. Res64: 0E6DB68DDD28565D Time : 0.0 sec. user=mdettweiler [2016-06-05 15:40:31] 879*2^1431483-1 is not prime. Res64: A75B6EDBE78B70C9 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:40:31] 675*2^1431484-1 is not prime. Res64: 3F732145DDE5D472 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:40:31] 687*2^1431484-1 is not prime. Res64: E4CD01781AFD616F Time : 0.0 sec. user=mdettweiler [2016-06-05 15:40:31] 843*2^1431484-1 is not prime. Res64: 7FDE865D072E5EE9 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:51:49] 653*2^1431492-1 is not prime. Res64: 3F1C4B5BA0312957 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:51:49] 765*2^1431492-1 is not prime. Res64: 90EAE69DFC5F9D1C Time : 0.0 sec. user=mdettweiler [2016-06-05 15:51:50] 819*2^1431492-1 is not prime. Res64: 8C3F224E81644995 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:51:50] 873*2^1431492-1 is not prime. Res64: B29211F3533B7787 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:51:50] 811*2^1431493-1 is not prime. Res64: A9AEA6C226DFE4D6 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:52:55] 817*2^1431493-1 is not prime. Res64: 67430FDD9C39CB61 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:52:56] 861*2^1431493-1 is not prime. Res64: B436036BF808F284 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:52:56] 885*2^1431493-1 is not prime. Res64: 1840E3710C7A66D7 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:52:56] 967*2^1431493-1 is not prime. Res64: 2AEED460F645DE45 Time : 0.0 sec. user=mdettweiler [2016-06-05 15:52:56] 707*2^1431494-1 is not prime. Res64: 5911EEB154DE5E70 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:29:02] 917*2^1431494-1 is not prime. Res64: 4876839A0B6904E0 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:29:03] 651*2^1431495-1 is not prime. Res64: 467E907D5D64A506 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:29:04] 741*2^1431495-1 is not prime. Res64: 881B0D1EF401403B Time : 0.0 sec. user=mdettweiler [2016-06-05 16:29:04] 789*2^1431495-1 is not prime. Res64: 44CD0EDA53D64BCD Time : 0.0 sec. user=mdettweiler [2016-06-05 16:29:05] 805*2^1431495-1 is not prime. Res64: 0650F1394322ABF7 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:40:08] 865*2^1431495-1 is not prime. Res64: 68DE1C0E9DB00A0A Time : 0.0 sec. user=mdettweiler [2016-06-05 16:40:08] 973*2^1431495-1 is not prime. Res64: 9F22F10B2D0CFD0C Time : 0.0 sec. user=mdettweiler [2016-06-05 16:40:08] 629*2^1431496-1 is not prime. Res64: 2D286ACC386D01C6 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:40:08] 735*2^1431496-1 is not prime. Res64: 55FF1CFCD9EF298F Time : 0.0 sec. user=mdettweiler [2016-06-05 16:40:09] 755*2^1431496-1 is not prime. Res64: 77ADDF0082E3297F Time : 0.0 sec. user=mdettweiler [2016-06-05 16:41:40] 765*2^1431496-1 is not prime. Res64: 3B7E3E589EA77F83 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:41:41] 839*2^1431496-1 is not prime. Res64: 56F9849A3EEF65AF Time : 0.0 sec. user=mdettweiler [2016-06-05 16:41:41] 873*2^1431496-1 is not prime. Res64: A936504DBED69D12 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:41:41] 727*2^1431497-1 is not prime. Res64: 0468B507041264E9 Time : 0.0 sec. user=mdettweiler [2016-06-05 16:41:42] 741*2^1431497-1 is not prime. Res64: C548FEB0ABCE787F Time : 0.0 sec. user=mdettweiler [2016-06-05 17:18:01] 795*2^1431497-1 is not prime. Res64: 7A3BC91AB069F2F4 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:18:02] 901*2^1431497-1 is not prime. Res64: 3256AD822393C716 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:18:02] 621*2^1431498-1 is not prime. Res64: DABD85980D9FFBF6 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:18:02] 773*2^1431498-1 is not prime. Res64: 69C860864E257153 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:18:02] 777*2^1431498-1 is not prime. Res64: 6BAFDFCEDF03BED4 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:29:28] 791*2^1431498-1 is not prime. Res64: AF92C6A70FD4464A Time : 0.0 sec. user=mdettweiler [2016-06-05 17:29:28] 797*2^1431498-1 is not prime. Res64: A7272874FE3832FA Time : 0.0 sec. user=mdettweiler [2016-06-05 17:29:29] 825*2^1431498-1 is not prime. Res64: 688B5F2B71A6F875 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:29:29] 1001*2^1431498-1 is not prime. Res64: 1B72D8949C787D6C Time : 0.0 sec. user=mdettweiler [2016-06-05 17:29:29] 639*2^1431499-1 is not prime. Res64: E4A5C212EF16761C Time : 0.0 sec. user=mdettweiler [2016-06-05 17:30:53] 769*2^1431499-1 is not prime. Res64: 2FD0446FB50B8B20 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:30:53] 789*2^1431499-1 is not prime. Res64: 1B1C0ACAE4AF3879 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:30:53] 789*2^1431500-1 is not prime. Res64: 2436E7E585D8F1C6 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:30:54] 797*2^1431500-1 is not prime. Res64: 2E48E34EB04ADF41 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:30:54] 915*2^1431500-1 is not prime. Res64: 60B482F76A6D33A4 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:53:57] 885*2^1431482-1 is not prime. Res64: 3325CDB8C7D39927 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:53:57] 903*2^1431482-1 is not prime. Res64: A3E78B5240F42E48 Time : 0.0 sec. user=mdettweiler [2016-06-05 17:53:57] 615*2^1431483-1 is not prime. Res64: 6A7A680822E69ECF Time : 0.0 sec. user=mdettweiler [2016-06-05 17:53:57] 703*2^1431483-1 is not prime. Res64: E2B909EC9784B4DA Time : 0.0 sec. user=mdettweiler [2016-06-05 17:53:58] 835*2^1431483-1 is not prime. Res64: EA966FAA8A7BEC11 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:06:26] 923*2^1431500-1 is not prime. Res64: 70FDCE798BC61333 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:06:26] 977*2^1431500-1 is not prime. Res64: 899A6B4FA3AD68AC Time : 0.0 sec. user=mdettweiler [2016-06-05 18:06:27] 607*2^1431501-1 is not prime. Res64: 073FF618E511B280 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:06:28] 649*2^1431501-1 is not prime. Res64: 51641215AC36F5EB Time : 0.0 sec. user=mdettweiler [2016-06-05 18:06:28] 717*2^1431501-1 is not prime. Res64: 8E5B1DC68A52B2FE Time : 0.0 sec. user=mdettweiler [2016-06-05 18:17:32] 747*2^1431501-1 is not prime. Res64: 6ED066063331E951 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:17:32] 789*2^1431501-1 is not prime. Res64: 3B88C3C83FCB4E06 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:17:32] 829*2^1431501-1 is not prime. Res64: 16A6DCE0F3B80A62 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:17:32] 871*2^1431501-1 is not prime. Res64: FF458F28BAD3B02F Time : 0.0 sec. user=mdettweiler [2016-06-05 18:17:33] 889*2^1431501-1 is not prime. Res64: 3478281AEC6EDD51 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:19:13] 921*2^1431501-1 is not prime. Res64: 2EBA2A8590D0F48B Time : 0.0 sec. user=mdettweiler [2016-06-05 18:19:13] 937*2^1431501-1 is not prime. Res64: CAD4BB4E64525DF6 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:19:13] 945*2^1431501-1 is not prime. Res64: D5256D97C2B07EDF Time : 0.0 sec. user=mdettweiler [2016-06-05 18:19:13] 645*2^1431502-1 is not prime. Res64: EEBBEB1A3B6BF39A Time : 0.0 sec. user=mdettweiler [2016-06-05 18:19:14] 827*2^1431502-1 is not prime. Res64: DD62E86B44076A10 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:40:48] 891*2^1431502-1 is not prime. Res64: 33C8AB063AC3AC0E Time : 0.0 sec. user=mdettweiler [2016-06-05 18:40:48] 923*2^1431502-1 is not prime. Res64: BB0B0641AD4E6220 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:40:48] 947*2^1431502-1 is not prime. Res64: 2EC0459E192B22C7 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:40:48] 987*2^1431502-1 is not prime. Res64: 3F0F34FD5B053371 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:40:49] 633*2^1431503-1 is not prime. Res64: C67771D602F1AE4B Time : 0.0 sec. user=mdettweiler [2016-06-05 18:53:29] 831*2^1431503-1 is not prime. Res64: B470E62E2B4BA81B Time : 0.0 sec. user=mdettweiler [2016-06-05 18:53:29] 859*2^1431503-1 is not prime. Res64: FD655FC108711E2A Time : 0.0 sec. user=mdettweiler [2016-06-05 18:53:29] 871*2^1431503-1 is not prime. Res64: D9E323D10B2DCD3B Time : 0.0 sec. user=mdettweiler [2016-06-05 18:53:29] 915*2^1431503-1 is not prime. Res64: 08AAC9E53224E680 Time : 0.0 sec. user=mdettweiler [2016-06-05 18:53:30] 639*2^1431504-1 is not prime. Res64: 07A730414DBEDDD1 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:04:32] 747*2^1431504-1 is not prime. Res64: 7CD2B7B3BA0C0735 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:04:35] 759*2^1431504-1 is not prime. Res64: 5110AF27EE192F01 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:04:36] 843*2^1431504-1 is not prime. Res64: 3A764CDC85C38B05 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:04:38] 849*2^1431504-1 is not prime. Res64: 43A711987A6D553D Time : 0.0 sec. user=mdettweiler [2016-06-05 19:04:39] 983*2^1431504-1 is not prime. Res64: 3265F5848F8CEA25 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:06:12] 609*2^1431505-1 is not prime. Res64: 3E1125C72ED67DEF Time : 0.0 sec. user=mdettweiler [2016-06-05 19:06:15] 775*2^1431505-1 is not prime. Res64: 89945187A07CD89C Time : 0.0 sec. user=mdettweiler [2016-06-05 19:06:17] 849*2^1431505-1 is not prime. Res64: D50CDC5F6FC7DC66 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:06:20] 951*2^1431505-1 is not prime. Res64: 35C1ACAA811B4AB9 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:06:21] 955*2^1431505-1 is not prime. Res64: 0F96E3CBF5521DAB Time : 0.0 sec. user=mdettweiler [2016-06-05 19:28:09] 999*2^1431505-1 is not prime. Res64: C4F61B0C81A144FA Time : 0.0 sec. user=mdettweiler [2016-06-05 19:28:10] 617*2^1431506-1 is not prime. Res64: 4A773B450F874237 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:28:10] 633*2^1431506-1 is not prime. Res64: A92BA9ABEE8B5955 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:28:10] 861*2^1431506-1 is not prime. Res64: 07533A8AC040481E Time : 0.0 sec. user=mdettweiler [2016-06-05 19:28:10] 941*2^1431506-1 is not prime. Res64: F4419AC40F4EE7F8 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:41:16] 963*2^1431506-1 is not prime. Res64: 0F4DCD9C3F8B72D8 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:41:16] 633*2^1431507-1 is not prime. Res64: 5AB4C4F7983C346B Time : 0.0 sec. user=mdettweiler [2016-06-05 19:41:17] 735*2^1431507-1 is not prime. Res64: 132F2CB17F856E3F Time : 0.0 sec. user=mdettweiler [2016-06-05 19:41:17] 805*2^1431507-1 is not prime. Res64: E38790A52999AC8B Time : 0.0 sec. user=mdettweiler [2016-06-05 19:41:17] 825*2^1431507-1 is not prime. Res64: EB730583FBFFB4B4 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:52:16] 885*2^1431507-1 is not prime. Res64: 7B1130D8D9E3A4C9 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:52:16] 951*2^1431507-1 is not prime. Res64: 3190D1E8F86875A3 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:52:16] 991*2^1431507-1 is not prime. Res64: 4050EA9940E7FA36 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:52:17] 723*2^1431508-1 is not prime. Res64: 0B02A4A6CCD56ECC Time : 0.0 sec. user=mdettweiler [2016-06-05 19:52:17] 735*2^1431508-1 is not prime. Res64: 766BCB4E1C043B93 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:54:03] 833*2^1431508-1 is not prime. Res64: B07A47BF0E5138AA Time : 0.0 sec. user=mdettweiler [2016-06-05 19:54:03] 905*2^1431508-1 is not prime. Res64: 3681DB21BB3F2005 Time : 0.0 sec. user=mdettweiler [2016-06-05 19:54:04] 959*2^1431508-1 is not prime. Res64: AC2E5D5C4E5F9C7D Time : 0.0 sec. user=mdettweiler [2016-06-05 19:54:04] 995*2^1431508-1 is not prime. Res64: CD4928EFAFF9D99C Time : 0.0 sec. user=mdettweiler [2016-06-05 19:54:04] 631*2^1431509-1 is not prime. Res64: F85BC3BD1A0020FA Time : 0.0 sec. user=mdettweiler [2016-06-05 20:14:53] 655*2^1431509-1 is not prime. Res64: 5C86ABBAE9CDF228 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:14:53] 735*2^1431509-1 is not prime. Res64: 6B025A86AEEB8570 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:14:54] 745*2^1431509-1 is not prime. Res64: 6E572F3C91019269 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:14:54] 789*2^1431509-1 is not prime. Res64: 3B520D1B247D6CC5 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:14:54] 831*2^1431509-1 is not prime. Res64: 6F465B7BBD05347F Time : 0.0 sec. user=mdettweiler [2016-06-05 20:28:02] 907*2^1431509-1 is not prime. Res64: D144DEF82D7E4199 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:28:03] 939*2^1431509-1 is not prime. Res64: 74AD17D0F385B5C3 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:28:04] 945*2^1431509-1 is not prime. Res64: 656F6189DE8D0921 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:28:05] 627*2^1431510-1 is not prime. Res64: B3A0514791CD185D Time : 0.0 sec. user=mdettweiler [2016-06-05 20:28:06] 723*2^1431510-1 is not prime. Res64: 8590CA592749CC53 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:39:30] 741*2^1431510-1 is not prime. Res64: 86B07179273141DE Time : 0.0 sec. user=mdettweiler [2016-06-05 20:39:30] 861*2^1431510-1 is not prime. Res64: A6F97C52AA7BCAE5 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:39:30] 705*2^1431511-1 is not prime. Res64: 6BF058C31FF7B700 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:39:30] 819*2^1431511-1 is not prime. Res64: BCD5692BEBE0F9D8 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:39:31] 913*2^1431511-1 is not prime. Res64: D44915BA38C4D942 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:40:42] 943*2^1431511-1 is not prime. Res64: 38A1B150978CDB3A Time : 0.0 sec. user=mdettweiler [2016-06-05 20:40:42] 609*2^1431512-1 is not prime. Res64: 912AF33846EA64DA Time : 0.0 sec. user=mdettweiler [2016-06-05 20:40:42] 669*2^1431512-1 is not prime. Res64: D1D0BAF057E5A8F0 Time : 0.0 sec. user=mdettweiler [2016-06-05 20:40:43] 857*2^1431512-1 is not prime. Res64: AFA7111E0EE34E2E Time : 0.0 sec. user=mdettweiler [2016-06-05 20:40:43] 999*2^1431512-1 is not prime. Res64: 5D98771138FDA195 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:01:50] 615*2^1431513-1 is not prime. Res64: 1956E221909D51F6 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:01:51] 649*2^1431513-1 is not prime. Res64: BB61F1D1FCC6F4B3 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:01:52] 765*2^1431513-1 is not prime. Res64: 53891D13AC014E6F Time : 0.0 sec. user=mdettweiler [2016-06-05 21:01:53] 787*2^1431513-1 is not prime. Res64: 1A2BBCDF607BF20E Time : 0.0 sec. user=mdettweiler [2016-06-05 21:01:53] 847*2^1431513-1 is not prime. Res64: 38CD544888017874 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:14:57] 921*2^1431513-1 is not prime. Res64: F4E692021757052A Time : 0.0 sec. user=mdettweiler [2016-06-05 21:14:57] 951*2^1431513-1 is not prime. Res64: 636098BFCC814181 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:14:58] 645*2^1431514-1 is not prime. Res64: 087D927710B7CC5B Time : 0.0 sec. user=mdettweiler [2016-06-05 21:14:58] 651*2^1431514-1 is not prime. Res64: C0DA624B00C13CCA Time : 0.0 sec. user=mdettweiler [2016-06-05 21:14:58] 701*2^1431514-1 is not prime. Res64: 41D02B9413338E68 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:26:18] 825*2^1431514-1 is not prime. Res64: A7F731B3736159D8 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:26:18] 887*2^1431514-1 is not prime. Res64: 30A01E2130DA3795 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:26:19] 917*2^1431514-1 is not prime. Res64: 9FBEB467DB187D59 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:26:19] 759*2^1431515-1 is not prime. Res64: 5A9FA4A5732DE9E5 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:26:19] 771*2^1431515-1 is not prime. Res64: C6CAA11C836908B3 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:28:17] 861*2^1431515-1 is not prime. Res64: 2F79CC80B7087511 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:28:17] 949*2^1431515-1 is not prime. Res64: 7F8F05112B9673FA Time : 0.0 sec. user=mdettweiler [2016-06-05 21:28:17] 969*2^1431515-1 is not prime. Res64: A1A60EDC11FDED8D Time : 0.0 sec. user=mdettweiler [2016-06-05 21:28:18] 999*2^1431515-1 is not prime. Res64: 76345DEF7D0E345A Time : 0.0 sec. user=mdettweiler [2016-06-05 21:28:18] 647*2^1431516-1 is not prime. Res64: 5AEDC6CC2A9F8A72 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:49:02] 695*2^1431516-1 is not prime. Res64: 16A8A3C7FE8E7661 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:49:02] 719*2^1431516-1 is not prime. Res64: D5461645A47AF864 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:49:02] 773*2^1431516-1 is not prime. Res64: 041E62681473EE17 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:49:02] 825*2^1431516-1 is not prime. Res64: B6F9F05F93612891 Time : 0.0 sec. user=mdettweiler [2016-06-05 21:49:03] 873*2^1431516-1 is not prime. Res64: D564246E9DAEFCE4 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:01:46] 999*2^1431516-1 is not prime. Res64: FC8BDEBB223B302D Time : 0.0 sec. user=mdettweiler [2016-06-05 22:01:47] 645*2^1431517-1 is not prime. Res64: 3E1D51E143C6CAF7 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:01:47] 661*2^1431517-1 is not prime. Res64: DE0D3CC8666A724E Time : 0.0 sec. user=mdettweiler [2016-06-05 22:01:48] 717*2^1431517-1 is not prime. Res64: E98677265E7789CA Time : 0.0 sec. user=mdettweiler [2016-06-05 22:01:49] 741*2^1431517-1 is not prime. Res64: 4272F8DD901431FC Time : 0.0 sec. user=mdettweiler [2016-06-05 22:13:31] 771*2^1431517-1 is not prime. Res64: 480495499C4EA0AF Time : 0.0 sec. user=mdettweiler [2016-06-05 22:13:31] 817*2^1431517-1 is not prime. Res64: 8DD4CAE28808A126 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:13:32] 829*2^1431517-1 is not prime. Res64: 0A94A2FD30685D8B Time : 0.0 sec. user=mdettweiler [2016-06-05 22:13:32] 847*2^1431517-1 is not prime. Res64: 41B54073B7858A7B Time : 0.0 sec. user=mdettweiler [2016-06-05 22:13:32] 961*2^1431517-1 is not prime. Res64: 8207933A41404326 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:15:37] 635*2^1431518-1 is not prime. Res64: F2055183DD8082F2 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:15:37] 711*2^1431518-1 is not prime. Res64: E7551782AB82B580 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:15:38] 773*2^1431518-1 is not prime. Res64: 4929174E23362D5C Time : 0.0 sec. user=mdettweiler [2016-06-05 22:15:38] 797*2^1431518-1 is not prime. Res64: ACE3F02B3C54A8C8 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:15:38] 867*2^1431518-1 is not prime. Res64: D5BC8D4ED3D7004C Time : 0.0 sec. user=mdettweiler [2016-06-05 22:35:30] 893*2^1431518-1 is not prime. Res64: 22018EE3B176FE18 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:35:30] 977*2^1431518-1 is not prime. Res64: C0AB117B8D430BB5 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:35:31] 649*2^1431519-1 is not prime. Res64: C9E52B022A907CB6 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:35:31] 661*2^1431519-1 is not prime. Res64: 1DF33C54AC8D76BE Time : 0.0 sec. user=mdettweiler [2016-06-05 22:35:31] 685*2^1431519-1 is not prime. Res64: F6761C690CF58E23 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:48:56] 691*2^1431519-1 is not prime. Res64: 254D989DFD22E5C6 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:48:56] 705*2^1431519-1 is not prime. Res64: 7117EF5AE7A97AA1 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:48:56] 763*2^1431519-1 is not prime. Res64: 8B2D66C1CE1A26D0 Time : 0.0 sec. user=mdettweiler [2016-06-05 22:48:56] 879*2^1431519-1 is not prime. Res64: 5EB9886BF70099EB Time : 0.0 sec. user=mdettweiler [2016-06-05 22:48:57] 885*2^1431519-1 is not prime. Res64: 0FEE5E384D734A4F Time : 0.0 sec. user=mdettweiler [2016-06-05 23:00:58] 921*2^1431519-1 is not prime. Res64: 44B00FE138F4E0B6 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:00:59] 951*2^1431519-1 is not prime. Res64: A950FF22DEC2FBA0 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:00:59] 999*2^1431519-1 is not prime. Res64: C7CEA521ADE97C22 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:01:00] 609*2^1431520-1 is not prime. Res64: 76AE4F15E40311B6 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:01:01] 653*2^1431520-1 is not prime. Res64: 786F8DF6E19BA92A Time : 0.0 sec. user=mdettweiler [2016-06-05 23:02:26] 723*2^1431520-1 is not prime. Res64: 2AD5749C6B0EC2A0 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:02:27] 743*2^1431520-1 is not prime. Res64: 3A012325DA59B6CE Time : 0.0 sec. user=mdettweiler [2016-06-05 23:02:28] 797*2^1431520-1 is not prime. Res64: 76170AD6345054C3 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:02:29] 839*2^1431520-1 is not prime. Res64: 51F28E768841B02F Time : 0.0 sec. user=mdettweiler [2016-06-05 23:02:29] 855*2^1431520-1 is not prime. Res64: 57D4A60874001E50 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:22:34] 675*2^1431521-1 is not prime. Res64: 3DF07EC4C8AAFB6F Time : 0.0 sec. user=mdettweiler [2016-06-05 23:22:34] 685*2^1431521-1 is not prime. Res64: BBF2D4F88305D6BC Time : 0.0 sec. user=mdettweiler [2016-06-05 23:22:34] 789*2^1431521-1 is not prime. Res64: 248EE39E8B8AD3F8 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:22:34] 811*2^1431521-1 is not prime. Res64: 7713EB5B48FEEC31 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:22:35] 837*2^1431521-1 is not prime. Res64: 68D260152D9D5604 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:35:59] 867*2^1431521-1 is not prime. Res64: 684BE6D5CA27DDD7 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:35:59] 957*2^1431521-1 is not prime. Res64: F888C59B668E0F73 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:35:59] 671*2^1431522-1 is not prime. Res64: D8701E66E63106D8 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:36:00] 681*2^1431522-1 is not prime. Res64: A03AD6F7C6B95C98 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:36:00] 711*2^1431522-1 is not prime. Res64: 6A07DB2BA0373CC7 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:03] 747*2^1431522-1 is not prime. Res64: A9D157AFF6BD0FCF Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:04] 755*2^1431522-1 is not prime. Res64: 747D613FD561B714 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:04] 767*2^1431522-1 is not prime. Res64: 94C9B534C4D90942 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:05] 825*2^1431522-1 is not prime. Res64: 8BD356AD218FDB98 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:05] 843*2^1431522-1 is not prime. Res64: 25EA06113B03A8B7 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:30] 941*2^1431522-1 is not prime. Res64: 1B6D21F28DAC965E Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:30] 975*2^1431522-1 is not prime. Res64: A4078D73CAFB6E7F Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:31] 793*2^1431523-1 is not prime. Res64: 2241F547E0C7F015 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:31] 829*2^1431523-1 is not prime. Res64: 088EEB6AD438A476 Time : 0.0 sec. user=mdettweiler [2016-06-05 23:49:32] 895*2^1431523-1 is not prime. Res64: D844451F8E7DD524 Time : 0.0 sec.