user=mdettweiler [2016-05-16 00:05:50] 923*2^1429302-1 is not prime. Res64: 1B934A8DEAAE7E4B Time : 0.0 sec. user=mdettweiler [2016-05-16 00:05:52] 963*2^1429302-1 is not prime. Res64: C7A3B72192F525CF Time : 0.0 sec. user=mdettweiler [2016-05-16 00:05:53] 619*2^1429303-1 is not prime. Res64: 3021F424C8521E7A Time : 0.0 sec. user=mdettweiler [2016-05-16 00:05:54] 625*2^1429303-1 is not prime. Res64: 30DF44A53E768654 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:05:54] 673*2^1429303-1 is not prime. Res64: 15745352EA773B8D Time : 0.0 sec. user=mdettweiler [2016-05-16 00:07:57] 723*2^1429303-1 is not prime. Res64: 9BC68D2D36020704 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:07:58] 783*2^1429303-1 is not prime. Res64: 7638D007121CB438 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:07:59] 871*2^1429303-1 is not prime. Res64: D0C17330B6ACEE7C Time : 0.0 sec. user=mdettweiler [2016-05-16 00:08:00] 889*2^1429303-1 is not prime. Res64: 6D6DFF4F08422698 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:08:01] 891*2^1429303-1 is not prime. Res64: FE84A2D9555C0E88 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:12:22] 969*2^1429303-1 is not prime. Res64: A77976E906C4D02E Time : 0.0 sec. user=mdettweiler [2016-05-16 00:12:23] 623*2^1429304-1 is not prime. Res64: A423C54C900AB4C1 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:12:23] 657*2^1429304-1 is not prime. Res64: 05DB7BB5DE47950E Time : 0.0 sec. user=mdettweiler [2016-05-16 00:12:24] 755*2^1429304-1 is not prime. Res64: 4C0287F0351D370F Time : 0.0 sec. user=mdettweiler [2016-05-16 00:12:24] 875*2^1429304-1 is not prime. Res64: E5063FECCF1F54A4 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:34:26] 601*2^1429305-1 is not prime. Res64: 0DAE655F7DF73682 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:34:27] 669*2^1429305-1 is not prime. Res64: D61E13A3FEFBBCE7 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:34:27] 709*2^1429305-1 is not prime. Res64: D68AE91FEEFEEE58 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:34:28] 759*2^1429305-1 is not prime. Res64: FA421602C90875F1 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:34:29] 795*2^1429305-1 is not prime. Res64: D94B60DC03FF892B Time : 0.0 sec. user=mdettweiler [2016-05-16 00:51:05] 713*2^1429306-1 is not prime. Res64: 56666FAEBC66D8C6 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:51:06] 747*2^1429306-1 is not prime. Res64: 5C9C59E2E7E6B398 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:51:06] 815*2^1429306-1 is not prime. Res64: 99744D09DE7AE4EE Time : 0.0 sec. user=mdettweiler [2016-05-16 00:51:07] 887*2^1429306-1 is not prime. Res64: 1E46BFAAC1683104 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:51:07] 933*2^1429306-1 is not prime. Res64: 528F90FCAEE17EC9 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:52:49] 693*2^1429307-1 is not prime. Res64: FA725996F376B7D3 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:52:49] 843*2^1429307-1 is not prime. Res64: FA1CF32AB20CD099 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:52:50] 861*2^1429307-1 is not prime. Res64: FF91C7D6EE68E3BC Time : 0.0 sec. user=mdettweiler [2016-05-16 00:52:50] 883*2^1429307-1 is not prime. Res64: 27350E9A0BFEADC7 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:52:51] 913*2^1429307-1 is not prime. Res64: F0D602929834A2E5 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:57:08] 991*2^1429307-1 is not prime. Res64: DF218BD19F2DCBDE Time : 0.0 sec. user=mdettweiler [2016-05-16 00:57:08] 683*2^1429308-1 is not prime. Res64: F0ABB256F37A2C87 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:57:09] 777*2^1429308-1 is not prime. Res64: 115A0BF4B1E53A61 Time : 0.0 sec. user=mdettweiler [2016-05-16 00:57:09] 825*2^1429308-1 is not prime. Res64: EA537310CA6BE72F Time : 0.0 sec. user=mdettweiler [2016-05-16 00:57:10] 899*2^1429308-1 is not prime. Res64: D7488EAE4AF143A4 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:19:25] 927*2^1429308-1 is not prime. Res64: 6DEC3A7E80E99D33 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:19:26] 999*2^1429308-1 is not prime. Res64: BFE118D053182FD6 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:19:26] 721*2^1429309-1 is not prime. Res64: 54374C5C62F4C5BE Time : 0.0 sec. user=mdettweiler [2016-05-16 01:19:26] 741*2^1429309-1 is not prime. Res64: 80E60B09A0D978A4 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:19:27] 801*2^1429309-1 is not prime. Res64: 94978CC3B5B21BAE Time : 0.0 sec. user=mdettweiler [2016-05-16 01:36:08] 829*2^1429309-1 is not prime. Res64: C93C2B82ED914556 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:36:09] 855*2^1429309-1 is not prime. Res64: CE38906F1265707C Time : 0.0 sec. user=mdettweiler [2016-05-16 01:36:09] 951*2^1429309-1 is not prime. Res64: BD1F04DB171822AC Time : 0.0 sec. user=mdettweiler [2016-05-16 01:36:10] 967*2^1429309-1 is not prime. Res64: 1619B43EAD51D681 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:36:10] 665*2^1429310-1 is not prime. Res64: 675F41F6879081A3 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:37:37] 675*2^1429310-1 is not prime. Res64: 035B85143E41C36D Time : 0.0 sec. user=mdettweiler [2016-05-16 01:37:37] 833*2^1429310-1 is not prime. Res64: 04315A10DFAD749E Time : 0.0 sec. user=mdettweiler [2016-05-16 01:37:38] 911*2^1429310-1 is not prime. Res64: 9732DA1779D4037C Time : 0.0 sec. user=mdettweiler [2016-05-16 01:37:38] 957*2^1429310-1 is not prime. Res64: 7E9C9FB37BD98772 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:37:39] 783*2^1429311-1 is not prime. Res64: 23EECF4ACAF3D4E6 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:41:58] 789*2^1429311-1 is not prime. Res64: 07A5D714988252DF Time : 0.0 sec. user=mdettweiler [2016-05-16 01:41:59] 951*2^1429311-1 is not prime. Res64: C71CF0836335DA83 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:41:59] 969*2^1429311-1 is not prime. Res64: 227E3D9395687B52 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:42:00] 605*2^1429312-1 is not prime. Res64: D7AD1E1088E085A2 Time : 0.0 sec. user=mdettweiler [2016-05-16 01:42:00] 635*2^1429312-1 is not prime. Res64: 14E4D78E5F97ADCD Time : 0.0 sec. user=mdettweiler [2016-05-16 02:04:50] 803*2^1429312-1 is not prime. Res64: 6D7B08D291774FBC Time : 0.0 sec. user=mdettweiler [2016-05-16 02:04:51] 873*2^1429312-1 is not prime. Res64: 03E5F6B30FFB007A Time : 0.0 sec. user=mdettweiler [2016-05-16 02:04:52] 897*2^1429312-1 is not prime. Res64: C5A6A15954CCA8B2 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:04:54] 933*2^1429312-1 is not prime. Res64: 3B5275934AEE18BE Time : 0.0 sec. user=mdettweiler [2016-05-16 02:04:56] 939*2^1429312-1 is not prime. Res64: 16635E073123F9B9 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:22:02] 957*2^1429312-1 is not prime. Res64: 501265A944C6BDE9 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:22:02] 657*2^1429313-1 is not prime. Res64: 3FCB26987A76E8D2 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:22:03] 669*2^1429313-1 is not prime. Res64: A9313DAC4C634561 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:22:03] 679*2^1429313-1 is not prime. Res64: C53B7D5DB7F3BABE Time : 0.0 sec. user=mdettweiler [2016-05-16 02:22:04] 741*2^1429313-1 is not prime. Res64: FC2E4408E2419772 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:23:24] 747*2^1429313-1 is not prime. Res64: C4438046DD3A5640 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:23:24] 871*2^1429313-1 is not prime. Res64: 8467369220999F38 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:23:25] 627*2^1429314-1 is not prime. Res64: 1DE2D1BF073B5D64 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:23:25] 641*2^1429314-1 is not prime. Res64: 59FF0639DBA37F43 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:23:26] 681*2^1429314-1 is not prime. Res64: EE491C91CF8E3367 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:27:40] 797*2^1429314-1 is not prime. Res64: 88C6914452098341 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:27:41] 873*2^1429314-1 is not prime. Res64: C5312F912030E1D9 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:27:42] 921*2^1429314-1 is not prime. Res64: 4CA8483E30E36638 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:27:42] 945*2^1429314-1 is not prime. Res64: 31D3567699881670 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:27:43] 947*2^1429314-1 is not prime. Res64: B82EB685B04FCF0B Time : 0.0 sec. user=mdettweiler [2016-05-16 02:50:24] 601*2^1429315-1 is not prime. Res64: 19545CBBCA141625 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:50:25] 619*2^1429315-1 is not prime. Res64: 43B0410C969F5E79 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:50:25] 625*2^1429315-1 is not prime. Res64: D3A21B87B21F9273 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:50:26] 673*2^1429315-1 is not prime. Res64: AA6D18102B974DB0 Time : 0.0 sec. user=mdettweiler [2016-05-16 02:50:26] 783*2^1429315-1 is not prime. Res64: D0EC9E2FF8977CDD Time : 0.0 sec. user=mdettweiler [2016-05-16 03:07:06] 909*2^1429315-1 is not prime. Res64: 9C0C0BAD22D49ADC Time : 0.0 sec. user=mdettweiler [2016-05-16 03:07:07] 961*2^1429315-1 is not prime. Res64: 0F64BF5123779606 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:07:07] 633*2^1429316-1 is not prime. Res64: 1217CE51B6673314 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:07:08] 707*2^1429316-1 is not prime. Res64: 90966EA11304F5E6 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:07:08] 785*2^1429316-1 is not prime. Res64: A8BEB524F45E5982 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:08:11] 803*2^1429316-1 is not prime. Res64: 97A61380D62A0164 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:08:12] 843*2^1429316-1 is not prime. Res64: 2451C5F9641F4FC5 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:08:13] 903*2^1429316-1 is not prime. Res64: BCBCE6FAE2CEC5E3 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:08:14] 909*2^1429316-1 is not prime. Res64: 154829F94C682847 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:08:16] 999*2^1429316-1 is not prime. Res64: 726365D33B3DDB7F Time : 0.0 sec. user=mdettweiler [2016-05-16 03:12:33] 727*2^1429317-1 is not prime. Res64: F68EEFC16875A463 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:12:34] 741*2^1429317-1 is not prime. Res64: 7B870A9213464347 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:12:34] 849*2^1429317-1 is not prime. Res64: 671FA506D6B91949 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:12:35] 867*2^1429317-1 is not prime. Res64: 7DA8B48D7CB3286D Time : 0.0 sec. user=mdettweiler [2016-05-16 03:12:36] 895*2^1429317-1 is not prime. Res64: 34A37A5699BDA0B3 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:35:17] 901*2^1429317-1 is not prime. Res64: C11C52FB96462391 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:35:18] 955*2^1429317-1 is not prime. Res64: AA1A66EDC54112DD Time : 0.0 sec. user=mdettweiler [2016-05-16 03:35:19] 651*2^1429318-1 is not prime. Res64: AAFC3AEE04D00AEE Time : 0.0 sec. user=mdettweiler [2016-05-16 03:35:21] 657*2^1429318-1 is not prime. Res64: AD2FBF1E2ECBD81A Time : 0.0 sec. user=mdettweiler [2016-05-16 03:35:22] 663*2^1429318-1 is not prime. Res64: 1D05A9993F621575 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:52:10] 695*2^1429318-1 is not prime. Res64: 9B6FF0C69F243F46 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:52:12] 777*2^1429318-1 is not prime. Res64: DE7CF51F2850FB4A Time : 0.0 sec. user=mdettweiler [2016-05-16 03:52:14] 801*2^1429318-1 is not prime. Res64: 8EF176255A43EEE3 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:52:16] 813*2^1429318-1 is not prime. Res64: C74EE10C7BB340DD Time : 0.0 sec. user=mdettweiler [2016-05-16 03:52:18] 857*2^1429318-1 is not prime. Res64: 1F4869E40B19C538 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:53:06] 867*2^1429318-1 is not prime. Res64: C523166F128499B3 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:53:09] 941*2^1429318-1 is not prime. Res64: F9F9793A76F944CA Time : 0.0 sec. user=mdettweiler [2016-05-16 03:53:11] 993*2^1429318-1 is not prime. Res64: B6841DC8DC4B0266 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:53:13] 1001*2^1429318-1 is not prime. Res64: C57A71EC1D72F6D2 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:53:15] 619*2^1429319-1 is not prime. Res64: 12F2F9D82F741C2C Time : 0.0 sec. user=mdettweiler [2016-05-16 03:57:24] 675*2^1429319-1 is not prime. Res64: 7D7EF0D3893E2019 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:57:25] 685*2^1429319-1 is not prime. Res64: 69F96CCF3E569D22 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:57:27] 729*2^1429319-1 is not prime. Res64: 463EDB752E8FAAE8 Time : 0.0 sec. user=mdettweiler [2016-05-16 03:57:28] 855*2^1429319-1 is not prime. Res64: F85D6986AB161ACD Time : 0.0 sec. user=mdettweiler [2016-05-16 03:57:29] 913*2^1429319-1 is not prime. Res64: 939571A1EBFC3277 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:20:23] 969*2^1429319-1 is not prime. Res64: E268B3F19647F2FE Time : 0.0 sec. user=mdettweiler [2016-05-16 04:20:23] 725*2^1429320-1 is not prime. Res64: 4CDCA5AEA10D8B11 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:20:24] 747*2^1429320-1 is not prime. Res64: B9033F74EA2BE649 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:20:24] 789*2^1429320-1 is not prime. Res64: E112556E952DF411 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:20:24] 915*2^1429320-1 is not prime. Res64: B408CD1E1D2335AF Time : 0.0 sec. user=mdettweiler [2016-05-16 04:37:31] 929*2^1429320-1 is not prime. Res64: EAE02BBBA1A56438 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:37:31] 687*2^1429321-1 is not prime. Res64: 167CCF06F17B64CE Time : 0.0 sec. user=mdettweiler [2016-05-16 04:37:32] 741*2^1429321-1 is not prime. Res64: 52ECA9200D2906C3 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:37:32] 747*2^1429321-1 is not prime. Res64: B83DD611FB6ABE22 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:37:33] 623*2^1429322-1 is not prime. Res64: AAB18022E8881642 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:38:23] 671*2^1429322-1 is not prime. Res64: E0844432E92E5624 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:38:24] 675*2^1429322-1 is not prime. Res64: 3AE5FF238A647EF9 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:38:25] 705*2^1429322-1 is not prime. Res64: 938544A540B43B3A Time : 0.0 sec. user=mdettweiler [2016-05-16 04:38:25] 755*2^1429322-1 is not prime. Res64: 52105CCB63DB8094 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:38:26] 785*2^1429322-1 is not prime. Res64: 449FD5D44AFF9843 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:42:29] 857*2^1429322-1 is not prime. Res64: 82F9B292ACDB0E45 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:42:30] 885*2^1429322-1 is not prime. Res64: BBB486DA37D6BA1C Time : 0.0 sec. user=mdettweiler [2016-05-16 04:42:30] 915*2^1429322-1 is not prime. Res64: 512DF260930469F9 Time : 0.0 sec. user=mdettweiler [2016-05-16 04:42:30] 709*2^1429323-1 is not prime. Res64: 008B7CEBE71B2E6E Time : 0.0 sec. user=mdettweiler [2016-05-16 04:42:31] 723*2^1429323-1 is not prime. Res64: 8E0157FADB581B50 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:05:18] 781*2^1429323-1 is not prime. Res64: 4D88DAC63EE37898 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:05:19] 789*2^1429323-1 is not prime. Res64: 2DFA3548FC0D71B2 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:05:20] 835*2^1429323-1 is not prime. Res64: 7BA2B7EF77C32A7B Time : 0.0 sec. user=mdettweiler [2016-05-16 05:05:21] 891*2^1429323-1 is not prime. Res64: 145A2C42900C52D0 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:05:22] 919*2^1429323-1 is not prime. Res64: D90EB03F9E8B6195 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:22:36] 665*2^1429324-1 is not prime. Res64: 5B068C87F15CCEC7 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:22:36] 765*2^1429324-1 is not prime. Res64: A17145F9DFCE6906 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:22:37] 785*2^1429324-1 is not prime. Res64: 7C217185E73845F8 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:22:37] 857*2^1429324-1 is not prime. Res64: 7667907EA937ED2A Time : 0.0 sec. user=mdettweiler [2016-05-16 05:22:37] 863*2^1429324-1 is not prime. Res64: 6ACF5F9935275ECC Time : 0.0 sec. user=mdettweiler [2016-05-16 05:23:12] 989*2^1429324-1 is not prime. Res64: C6AA61A84EC1517B Time : 0.0 sec. user=mdettweiler [2016-05-16 05:23:12] 607*2^1429325-1 is not prime. Res64: EDFDB6B9BAC1A41E Time : 0.0 sec. user=mdettweiler [2016-05-16 05:23:12] 847*2^1429325-1 is not prime. Res64: 3EC54F3966F1B66E Time : 0.0 sec. user=mdettweiler [2016-05-16 05:23:13] 897*2^1429325-1 is not prime. Res64: 95D5AF35DDA659A9 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:23:13] 937*2^1429325-1 is not prime. Res64: 4D986C620D34F1EC Time : 0.0 sec. user=mdettweiler [2016-05-16 05:27:13] 711*2^1429326-1 is not prime. Res64: 651C1F1E2C1B0778 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:27:13] 795*2^1429326-1 is not prime. Res64: B5DDD19C22F5B33B Time : 0.0 sec. user=mdettweiler [2016-05-16 05:27:13] 801*2^1429326-1 is not prime. Res64: 2DF99584E9BC2894 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:27:14] 893*2^1429326-1 is not prime. Res64: 303BE9A557B10E5A Time : 0.0 sec. user=mdettweiler [2016-05-16 05:27:14] 917*2^1429326-1 is not prime. Res64: CAE68F71342711D0 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:50:21] 983*2^1429326-1 is not prime. Res64: 9A9C0929997C6913 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:50:21] 993*2^1429326-1 is not prime. Res64: 37B980D42E47CA10 Time : 0.0 sec. user=mdettweiler [2016-05-16 05:50:22] 645*2^1429327-1 is not prime. Res64: 08AF1117F036BF4D Time : 0.0 sec. user=mdettweiler [2016-05-16 05:50:22] 673*2^1429327-1 is not prime. Res64: FE373A89F821286E Time : 0.0 sec. user=mdettweiler [2016-05-16 05:50:23] 849*2^1429327-1 is not prime. Res64: 960379C0519FC818 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:07:40] 933*2^1429327-1 is not prime. Res64: 7AE2F140C5BA49E9 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:07:41] 939*2^1429327-1 is not prime. Res64: 85E72C85D34A0927 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:07:41] 951*2^1429327-1 is not prime. Res64: F0723CB0C34F2158 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:07:42] 973*2^1429327-1 is not prime. Res64: 31D58C78C9EAD1E9 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:07:42] 999*2^1429327-1 is not prime. Res64: CF3F8A7D6997B75F Time : 0.0 sec. user=mdettweiler [2016-05-16 06:08:06] 657*2^1429328-1 is not prime. Res64: E40798AC3FE629C0 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:08:06] 767*2^1429328-1 is not prime. Res64: DB72234EEE66EF63 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:08:07] 657*2^1429329-1 is not prime. Res64: 9A4363BC3B24A457 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:08:07] 727*2^1429329-1 is not prime. Res64: 0D477005E99E4712 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:08:08] 735*2^1429329-1 is not prime. Res64: 53783B2453A5CE26 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:12:01] 847*2^1429329-1 is not prime. Res64: AE1C5E9DE5E26043 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:12:02] 877*2^1429329-1 is not prime. Res64: 309D817BCB2938BB Time : 0.0 sec. user=mdettweiler [2016-05-16 06:12:02] 885*2^1429329-1 is not prime. Res64: 475FE211687B44E8 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:12:02] 949*2^1429329-1 is not prime. Res64: EAF7165BA8340A21 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:12:03] 783*2^1429330-1 is not prime. Res64: 8CE9A8822C16FE31 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:35:11] 791*2^1429330-1 is not prime. Res64: 4BD902B9EFEAEC4C Time : 0.0 sec. user=mdettweiler [2016-05-16 06:35:12] 855*2^1429330-1 is not prime. Res64: 187669BF352BC069 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:35:12] 857*2^1429330-1 is not prime. Res64: 5DA09EFABE1210F8 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:35:12] 917*2^1429330-1 is not prime. Res64: 6C1F1EE07F1D572A Time : 0.0 sec. user=mdettweiler [2016-05-16 06:35:13] 619*2^1429331-1 is not prime. Res64: 74A09D0EFB52973F Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:21] 711*2^1429331-1 is not prime. Res64: A491315474505B2D Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:22] 745*2^1429331-1 is not prime. Res64: 25E4DE92D371470A Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:22] 843*2^1429331-1 is not prime. Res64: 43155C387AD09215 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:22] 629*2^1429332-1 is not prime. Res64: 1C50D00FFA73D732 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:23] 669*2^1429332-1 is not prime. Res64: 75A66152F5E90646 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:56] 767*2^1429332-1 is not prime. Res64: D6C6C64A94B51448 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:57] 777*2^1429332-1 is not prime. Res64: 1EDB5D7F4C3E89D2 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:57] 873*2^1429332-1 is not prime. Res64: 665EE0316FD93980 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:58] 899*2^1429332-1 is not prime. Res64: E31FDB3AE852117D Time : 0.0 sec. user=mdettweiler [2016-05-16 06:52:58] 607*2^1429333-1 is not prime. Res64: 5F01BE0FFB2C71EA Time : 0.0 sec. user=mdettweiler [2016-05-16 06:56:45] 939*2^1429333-1 is not prime. Res64: 73A66C3C3717A0E8 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:56:45] 955*2^1429333-1 is not prime. Res64: EA4FE7EB1D3CDE09 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:56:45] 987*2^1429333-1 is not prime. Res64: 25680D91B204FE21 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:56:46] 605*2^1429334-1 is not prime. Res64: EE41D0BEBC591FD5 Time : 0.0 sec. user=mdettweiler [2016-05-16 06:56:46] 711*2^1429334-1 is not prime. Res64: 804C0EF3DA1C2245 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:19:58] 717*2^1429334-1 is not prime. Res64: FA1E7898F559202D Time : 0.0 sec. user=mdettweiler [2016-05-16 07:20:00] 773*2^1429334-1 is not prime. Res64: E278B0B6B48FCDBF Time : 0.0 sec. user=mdettweiler [2016-05-16 07:20:00] 813*2^1429334-1 is not prime. Res64: 3229BB3D8DAE33F5 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:20:01] 851*2^1429334-1 is not prime. Res64: FDB79625355C2F8F Time : 0.0 sec. user=mdettweiler [2016-05-16 07:20:01] 601*2^1429335-1 is not prime. Res64: 9C44E0E399954D65 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:09] 643*2^1429335-1 is not prime. Res64: 7918BFB8E13F1ED0 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:10] 685*2^1429335-1 is not prime. Res64: E29EEAB81BBA563D Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:10] 691*2^1429335-1 is not prime. Res64: 5E97D684FF2B4197 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:11] 739*2^1429335-1 is not prime. Res64: 4017E15E7A970823 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:11] 909*2^1429335-1 is not prime. Res64: D75E2A73788797F5 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:41] 921*2^1429335-1 is not prime. Res64: 1E1B17ED80F7A6D6 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:41] 933*2^1429335-1 is not prime. Res64: CCA35EA46BDF4599 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:41] 623*2^1429336-1 is not prime. Res64: 7F1998FFE87DF0C7 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:42] 717*2^1429336-1 is not prime. Res64: 6252B09B89FFE330 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:37:42] 765*2^1429336-1 is not prime. Res64: 57129C651B18995F Time : 0.0 sec. user=mdettweiler [2016-05-16 07:41:23] 957*2^1429336-1 is not prime. Res64: 0755715DB99FCAF5 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:41:24] 965*2^1429336-1 is not prime. Res64: D677A94D64F719F1 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:41:24] 989*2^1429336-1 is not prime. Res64: F4778F580DABFB87 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:41:25] 607*2^1429337-1 is not prime. Res64: 7353837E2998AC75 Time : 0.0 sec. user=mdettweiler [2016-05-16 07:41:25] 645*2^1429337-1 is not prime. Res64: 962FB85822547972 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:05:02] 651*2^1429337-1 is not prime. Res64: 9981A33719D2C075 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:05:04] 741*2^1429337-1 is not prime. Res64: F04B1B6C806A2EBE Time : 0.0 sec. user=mdettweiler [2016-05-16 08:05:05] 759*2^1429337-1 is not prime. Res64: 168AB2FB4549849E Time : 0.0 sec. user=mdettweiler [2016-05-16 08:05:06] 909*2^1429337-1 is not prime. Res64: F7055D91D46812FA Time : 0.0 sec. user=mdettweiler [2016-05-16 08:05:07] 695*2^1429338-1 is not prime. Res64: 20B297D26720A60E Time : 0.0 sec. user=mdettweiler [2016-05-16 08:21:45] 705*2^1429338-1 is not prime. Res64: B7E88CEC25504885 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:21:46] 861*2^1429338-1 is not prime. Res64: B0BF8E89235F244C Time : 0.0 sec. user=mdettweiler [2016-05-16 08:21:47] 941*2^1429338-1 is not prime. Res64: 07E558B4954D7A39 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:21:48] 1001*2^1429338-1 is not prime. Res64: BD1F450DAF874AB2 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:21:49] 649*2^1429339-1 is not prime. Res64: E9430CEB20AB2F56 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:22:43] 759*2^1429339-1 is not prime. Res64: 7ADE78CDD7683638 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:22:45] 789*2^1429339-1 is not prime. Res64: 2EA6EE42BA9DBF86 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:22:46] 801*2^1429339-1 is not prime. Res64: F8BAF0DC1E3AFBAC Time : 0.0 sec. user=mdettweiler [2016-05-16 08:22:47] 841*2^1429339-1 is not prime. Res64: DA9D8C1D431C42D7 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:22:49] 855*2^1429339-1 is not prime. Res64: CC4B3B1DDC3B7A56 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:26:17] 861*2^1429339-1 is not prime. Res64: A5914CFC2DAA5F6E Time : 0.0 sec. user=mdettweiler [2016-05-16 08:26:17] 909*2^1429339-1 is not prime. Res64: 2FA9B9DBF2292C9F Time : 0.0 sec. user=mdettweiler [2016-05-16 08:26:18] 759*2^1429340-1 is not prime. Res64: 26949FC36657562A Time : 0.0 sec. user=mdettweiler [2016-05-16 08:26:18] 825*2^1429340-1 is not prime. Res64: A34C4FD82384886C Time : 0.0 sec. user=mdettweiler [2016-05-16 08:26:19] 827*2^1429340-1 is not prime. Res64: E86BFACC270C992C Time : 0.0 sec. user=mdettweiler [2016-05-16 08:49:56] 845*2^1429340-1 is not prime. Res64: 8D37B1A58368FA4C Time : 0.0 sec. user=mdettweiler [2016-05-16 08:49:57] 923*2^1429340-1 is not prime. Res64: DB5980312A9CEFD9 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:49:57] 927*2^1429340-1 is not prime. Res64: 0B1080F0CEC75FEF Time : 0.0 sec. user=mdettweiler [2016-05-16 08:49:58] 929*2^1429340-1 is not prime. Res64: F140CC0121E5C2A1 Time : 0.0 sec. user=mdettweiler [2016-05-16 08:49:58] 615*2^1429341-1 is not prime. Res64: 03D7D6AAD3DF15E7 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:06:49] 651*2^1429341-1 is not prime. Res64: 61ED908B83432D9F Time : 0.0 sec. user=mdettweiler [2016-05-16 09:06:49] 685*2^1429341-1 is not prime. Res64: E46F679CFA1BF371 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:06:50] 861*2^1429341-1 is not prime. Res64: 566B063EB074A27F Time : 0.0 sec. user=mdettweiler [2016-05-16 09:06:50] 961*2^1429341-1 is not prime. Res64: C2C1E4253BD1F051 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:06:50] 705*2^1429342-1 is not prime. Res64: 7CBBCA34AC31448C Time : 0.0 sec. user=mdettweiler [2016-05-16 09:07:36] 741*2^1429342-1 is not prime. Res64: 189CAF247398C8BB Time : 0.0 sec. user=mdettweiler [2016-05-16 09:07:36] 785*2^1429342-1 is not prime. Res64: A6830ACD191470E3 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:07:37] 801*2^1429342-1 is not prime. Res64: 747B82856B61DE3D Time : 0.0 sec. user=mdettweiler [2016-05-16 09:07:37] 825*2^1429342-1 is not prime. Res64: 2C10096ED47F36BE Time : 0.0 sec. user=mdettweiler [2016-05-16 09:07:38] 833*2^1429342-1 is not prime. Res64: 5B3F4187308AB214 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:11:01] 867*2^1429342-1 is not prime. Res64: 454D85A85B395C6D Time : 0.0 sec. user=mdettweiler [2016-05-16 09:11:02] 633*2^1429343-1 is not prime. Res64: BD5AB4D2D71D5570 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:11:02] 643*2^1429343-1 is not prime. Res64: 87E8E1BB5F63C467 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:11:03] 663*2^1429343-1 is not prime. Res64: E382A58FA6AE4E98 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:11:03] 673*2^1429343-1 is not prime. Res64: C2B3D36F1478E68D Time : 0.0 sec. user=mdettweiler [2016-05-16 09:35:09] 715*2^1429343-1 is not prime. Res64: 8666FABA1B97C667 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:35:10] 825*2^1429343-1 is not prime. Res64: DEC64DAC06AA68F2 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:35:10] 913*2^1429343-1 is not prime. Res64: D5FE8486868A915C Time : 0.0 sec. user=mdettweiler [2016-05-16 09:35:11] 981*2^1429343-1 is not prime. Res64: F410E9191AD7482A Time : 0.0 sec. user=mdettweiler [2016-05-16 09:35:11] 999*2^1429343-1 is not prime. Res64: 8E4ED7B5E998028F Time : 0.0 sec. user=mdettweiler [2016-05-16 09:53:24] 683*2^1429344-1 is not prime. Res64: EFCDDA3F99224574 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:53:25] 693*2^1429344-1 is not prime. Res64: CF3B5FAE3A6232BC Time : 0.0 sec. user=mdettweiler [2016-05-16 09:53:25] 699*2^1429344-1 is not prime. Res64: 2180F074003C47A6 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:53:25] 737*2^1429344-1 is not prime. Res64: 0449024419377A12 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:53:25] 765*2^1429344-1 is not prime. Res64: 6170D5C00CD24F5A Time : 0.0 sec. user=mdettweiler [2016-05-16 09:54:22] 789*2^1429344-1 is not prime. Res64: B87AFBBD5EC8A80E Time : 0.0 sec. user=mdettweiler [2016-05-16 09:54:23] 825*2^1429344-1 is not prime. Res64: 4EA3C759DA5A124E Time : 0.0 sec. user=mdettweiler [2016-05-16 09:54:23] 975*2^1429344-1 is not prime. Res64: D35263244C0183D1 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:54:23] 601*2^1429345-1 is not prime. Res64: B343B2CB6FDCE403 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:54:23] 679*2^1429345-1 is not prime. Res64: D73B596A744A15AB Time : 0.0 sec. user=mdettweiler [2016-05-16 09:57:08] 721*2^1429345-1 is not prime. Res64: C2661D26928AE7D8 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:57:09] 771*2^1429345-1 is not prime. Res64: 345C45A1EB888C8C Time : 0.0 sec. user=mdettweiler [2016-05-16 09:57:09] 985*2^1429345-1 is not prime. Res64: 5565A2EE4541D1B9 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:57:10] 987*2^1429345-1 is not prime. Res64: ECD3966BEED8A645 Time : 0.0 sec. user=mdettweiler [2016-05-16 09:57:10] 645*2^1429346-1 is not prime. Res64: 44CD933C26AA31B4 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:21:20] 813*2^1429346-1 is not prime. Res64: 54A99AB666BB81B0 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:21:21] 887*2^1429346-1 is not prime. Res64: FE7AAF1B7CA8BB34 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:21:21] 971*2^1429346-1 is not prime. Res64: 5E69C5A15B9E37D6 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:21:22] 1001*2^1429346-1 is not prime. Res64: 3A8E4D2C379D0BF9 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:21:22] 615*2^1429347-1 is not prime. Res64: 2C4998F9903EF120 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:38:42] 619*2^1429347-1 is not prime. Res64: 5C42853AF3C66200 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:38:43] 705*2^1429347-1 is not prime. Res64: 82F0243CECA72F7E Time : 0.0 sec. user=mdettweiler [2016-05-16 10:38:43] 741*2^1429347-1 is not prime. Res64: 13145D65DFE22D27 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:38:43] 819*2^1429347-1 is not prime. Res64: F2EBCA7EEC7FBAA7 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:38:44] 879*2^1429347-1 is not prime. Res64: DDF061AD15E53228 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:39:48] 885*2^1429347-1 is not prime. Res64: 6A98962E3FA21A60 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:39:48] 909*2^1429347-1 is not prime. Res64: D94CE9E1187FAE88 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:39:49] 699*2^1429348-1 is not prime. Res64: D500F45CBE541140 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:39:49] 833*2^1429348-1 is not prime. Res64: 07A9EEF591AB0640 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:39:49] 863*2^1429348-1 is not prime. Res64: C081A45B46AE6C0D Time : 0.0 sec. user=mdettweiler [2016-05-16 10:42:42] 675*2^1429349-1 is not prime. Res64: 93DB3BF058509354 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:42:43] 811*2^1429349-1 is not prime. Res64: 31E7E76F77B00A21 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:42:43] 931*2^1429349-1 is not prime. Res64: 06E9252314DCEC99 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:42:43] 945*2^1429349-1 is not prime. Res64: D50C4CB62A1BAB57 Time : 0.0 sec. user=mdettweiler [2016-05-16 10:42:43] 949*2^1429349-1 is not prime. Res64: 50EF62411AB79640 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:08:57] 641*2^1429350-1 is not prime. Res64: 8C28E9DA72B8F4DC Time : 0.0 sec. user=mdettweiler [2016-05-16 11:08:57] 795*2^1429350-1 is not prime. Res64: BD067584B5C5552A Time : 0.0 sec. user=mdettweiler [2016-05-16 11:08:58] 625*2^1429351-1 is not prime. Res64: AFBF84F65885E957 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:08:58] 681*2^1429351-1 is not prime. Res64: 6895357BEB5DF54B Time : 0.0 sec. user=mdettweiler [2016-05-16 11:08:58] 741*2^1429351-1 is not prime. Res64: 4526D56B564660B9 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:27:55] 841*2^1429351-1 is not prime. Res64: C4225963ECA8E211 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:27:55] 629*2^1429352-1 is not prime. Res64: DC3CF99BE4646773 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:27:56] 635*2^1429352-1 is not prime. Res64: 76ACA94804D56063 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:27:56] 753*2^1429352-1 is not prime. Res64: BE4BB8F913F20F88 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:27:56] 797*2^1429352-1 is not prime. Res64: CF86FDB6FA518A93 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:28:40] 873*2^1429352-1 is not prime. Res64: 77AFC17505AC2E26 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:28:41] 875*2^1429352-1 is not prime. Res64: AD9D8AF365E8AD21 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:28:41] 657*2^1429353-1 is not prime. Res64: 2651B8AE59F0B514 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:28:41] 685*2^1429353-1 is not prime. Res64: 452A7105E04954A3 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:28:42] 699*2^1429353-1 is not prime. Res64: A03C8F5E7D0B29D0 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:30:43] 819*2^1429353-1 is not prime. Res64: DDDFA62E4F53599D Time : 0.0 sec. user=mdettweiler [2016-05-16 11:30:43] 861*2^1429353-1 is not prime. Res64: 44101B7BA2E54BBD Time : 0.0 sec. user=mdettweiler [2016-05-16 11:30:43] 895*2^1429353-1 is not prime. Res64: 34DFAD10B44DAA32 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:30:44] 919*2^1429353-1 is not prime. Res64: F2B0375E337557CD Time : 0.0 sec. user=mdettweiler [2016-05-16 11:30:44] 623*2^1429354-1 is not prime. Res64: E71071398A6DBBA0 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:58:03] 657*2^1429354-1 is not prime. Res64: 361AD38DD5DB2F2E Time : 0.0 sec. user=mdettweiler [2016-05-16 11:58:04] 705*2^1429354-1 is not prime. Res64: E1DFE76370B10147 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:58:04] 773*2^1429354-1 is not prime. Res64: B7228D194EA500D1 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:58:04] 663*2^1429355-1 is not prime. Res64: 0163652DE2FD53F6 Time : 0.0 sec. user=mdettweiler [2016-05-16 11:58:04] 675*2^1429355-1 is not prime. Res64: 894B37DCC3E8FD13 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:16:54] 733*2^1429355-1 is not prime. Res64: E0B2007A25C53821 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:16:54] 861*2^1429355-1 is not prime. Res64: D9F760F404699DCE Time : 0.0 sec. user=mdettweiler [2016-05-16 12:16:54] 913*2^1429355-1 is not prime. Res64: D638514A93488877 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:16:55] 609*2^1429356-1 is not prime. Res64: 27E705CC14AFBB5F Time : 0.0 sec. user=mdettweiler [2016-05-16 12:16:55] 669*2^1429356-1 is not prime. Res64: 37C035F1618BF8BB Time : 0.0 sec. user=mdettweiler [2016-05-16 12:17:36] 689*2^1429356-1 is not prime. Res64: 45D5B8383F0ED76F Time : 0.0 sec. user=mdettweiler [2016-05-16 12:17:36] 625*2^1429357-1 is not prime. Res64: 924FB59374A595D9 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:17:36] 667*2^1429357-1 is not prime. Res64: 9999735CA8A47C03 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:17:37] 759*2^1429357-1 is not prime. Res64: 9667438B470C923A Time : 0.0 sec. user=mdettweiler [2016-05-16 12:17:37] 777*2^1429357-1 is not prime. Res64: 10359114A7846A35 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:19:23] 939*2^1429357-1 is not prime. Res64: 7B0E820D2B12E58E Time : 0.0 sec. user=mdettweiler [2016-05-16 12:19:24] 957*2^1429357-1 is not prime. Res64: A32F3C4ED7E97F87 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:19:24] 979*2^1429357-1 is not prime. Res64: D6BF15CEF7F214AD Time : 0.0 sec. user=mdettweiler [2016-05-16 12:19:24] 693*2^1429358-1 is not prime. Res64: D28EBF9951921AD9 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:19:24] 885*2^1429358-1 is not prime. Res64: 6E5D03F7144422CA Time : 0.0 sec. user=mdettweiler [2016-05-16 12:44:20] 971*2^1429358-1 is not prime. Res64: 0A6D9DA23027BF95 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:44:21] 625*2^1429359-1 is not prime. Res64: C2C45D7B5CA8DE85 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:44:21] 669*2^1429359-1 is not prime. Res64: D9F31F6277511485 Time : 0.0 sec. user=mdettweiler [2016-05-16 12:44:21] 693*2^1429359-1 is not prime. Res64: DC1A0A2BDBE0C9AD Time : 0.0 sec. user=mdettweiler [2016-05-16 12:44:22] 861*2^1429359-1 is not prime. Res64: 971B837E06BC6D33 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:16] 865*2^1429359-1 is not prime. Res64: 912A1C7445186707 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:17] 909*2^1429359-1 is not prime. Res64: EA5E48C8B4D4B94E Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:19] 609*2^1429360-1 is not prime. Res64: C5F79592440B4099 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:19] 629*2^1429360-1 is not prime. Res64: 66C51EAA1B2AF35A Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:20] 765*2^1429360-1 is not prime. Res64: 1665973EDF18D3ED Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:45] 803*2^1429360-1 is not prime. Res64: E7AD043D01DD37E4 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:45] 923*2^1429360-1 is not prime. Res64: 9E1C8B1BD30B46D4 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:45] 933*2^1429360-1 is not prime. Res64: 88A86CE06E3A0369 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:46] 975*2^1429360-1 is not prime. Res64: 70655CD0DECD897B Time : 0.0 sec. user=mdettweiler [2016-05-16 13:02:46] 697*2^1429361-1 is not prime. Res64: F5DB7551A32DA3E5 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:04:28] 861*2^1429361-1 is not prime. Res64: 20DCABCF3F347CAC Time : 0.0 sec. user=mdettweiler [2016-05-16 13:04:29] 867*2^1429361-1 is not prime. Res64: A0A811AC9CAE5698 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:04:30] 907*2^1429361-1 is not prime. Res64: 8D3F2C0BC0D51797 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:04:31] 611*2^1429362-1 is not prime. Res64: 1E0FB2D0DE95ED2B Time : 0.0 sec. user=mdettweiler [2016-05-16 13:04:32] 657*2^1429362-1 is not prime. Res64: 29C3890AFAFD6AA8 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:29:23] 741*2^1429362-1 is not prime. Res64: 4CCCDF3738B136F6 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:29:23] 767*2^1429362-1 is not prime. Res64: 18F219EBADE00AD6 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:29:24] 975*2^1429362-1 is not prime. Res64: DCFCEDACC52843FA Time : 0.0 sec. user=mdettweiler [2016-05-16 13:29:24] 983*2^1429362-1 is not prime. Res64: 7DB112E967494C6F Time : 0.0 sec. user=mdettweiler [2016-05-16 13:29:24] 663*2^1429363-1 is not prime. Res64: 4EA20D2D73924507 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:42] 829*2^1429363-1 is not prime. Res64: 6586A1E8499568AD Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:43] 835*2^1429363-1 is not prime. Res64: B2ADC7AABE9824FC Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:43] 849*2^1429363-1 is not prime. Res64: AEEEE0129289B6F1 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:43] 883*2^1429363-1 is not prime. Res64: DABBE9B06FB0D4F6 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:43] 605*2^1429364-1 is not prime. Res64: 30FD235CC0128B94 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:59] 635*2^1429364-1 is not prime. Res64: 894AACCA213BB95D Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:59] 773*2^1429364-1 is not prime. Res64: 17272A9C4779C8B9 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:59] 789*2^1429364-1 is not prime. Res64: EE4DFBF15CFC7110 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:47:59] 819*2^1429364-1 is not prime. Res64: FBE2911B413F5E52 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:48:00] 827*2^1429364-1 is not prime. Res64: 019C94976A0BCFE0 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:49:35] 855*2^1429364-1 is not prime. Res64: 5576FBBB9429794B Time : 0.0 sec. user=mdettweiler [2016-05-16 13:49:35] 869*2^1429364-1 is not prime. Res64: 926B4DDBB0869E97 Time : 0.0 sec. user=mdettweiler [2016-05-16 13:49:35] 945*2^1429364-1 is not prime. Res64: 49E7E963FFF91ECE Time : 0.0 sec. user=mdettweiler [2016-05-16 13:49:36] 609*2^1429365-1 is not prime. Res64: A26E348DF8A6916B Time : 0.0 sec. user=mdettweiler [2016-05-16 13:49:36] 625*2^1429365-1 is not prime. Res64: 7C486DBD41CD5E40 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:14:24] 699*2^1429365-1 is not prime. Res64: 7320A66FDD700873 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:14:24] 751*2^1429365-1 is not prime. Res64: 41A2CAC4F6ACE6EA Time : 0.0 sec. user=mdettweiler [2016-05-16 14:14:25] 979*2^1429365-1 is not prime. Res64: BB412B9D26E63B8A Time : 0.0 sec. user=mdettweiler [2016-05-16 14:14:25] 647*2^1429366-1 is not prime. Res64: B0137B2736939997 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:14:25] 917*2^1429366-1 is not prime. Res64: B8A89BC68497DF94 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:32:57] 993*2^1429366-1 is not prime. Res64: 05A5A60F90B60C96 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:32:57] 711*2^1429367-1 is not prime. Res64: E0F03F2BB72B4258 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:32:57] 841*2^1429367-1 is not prime. Res64: ACC1789D2DBDA2C5 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:32:57] 973*2^1429367-1 is not prime. Res64: F4CAE91755902318 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:32:58] 773*2^1429368-1 is not prime. Res64: ACDDB19279D360F6 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:33:14] 777*2^1429368-1 is not prime. Res64: A5AB0BD70F9AF58D Time : 0.0 sec. user=mdettweiler [2016-05-16 14:33:15] 789*2^1429368-1 is not prime. Res64: 729F59DDFBF5F23B Time : 0.0 sec. user=mdettweiler [2016-05-16 14:33:15] 845*2^1429368-1 is not prime. Res64: 487E472FFA2BCFEC Time : 0.0 sec. user=mdettweiler [2016-05-16 14:33:15] 849*2^1429368-1 is not prime. Res64: 3FECAE00156CE8C9 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:33:15] 879*2^1429368-1 is not prime. Res64: A93B924BF80438E2 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:34:51] 649*2^1429369-1 is not prime. Res64: 212D67A9194605BC Time : 0.0 sec. user=mdettweiler [2016-05-16 14:34:51] 925*2^1429369-1 is not prime. Res64: 9C658529E5CDF1B7 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:34:51] 979*2^1429369-1 is not prime. Res64: E97979C849659F08 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:34:52] 657*2^1429370-1 is not prime. Res64: 309DF67EFB5703B3 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:34:52] 707*2^1429370-1 is not prime. Res64: 80463EF0102FF90B Time : 0.0 sec. user=mdettweiler [2016-05-16 14:59:39] 747*2^1429370-1 is not prime. Res64: DF6E89D93754AA5C Time : 0.0 sec. user=mdettweiler [2016-05-16 14:59:39] 867*2^1429370-1 is not prime. Res64: 609318A5C57894CB Time : 0.0 sec. user=mdettweiler [2016-05-16 14:59:39] 703*2^1429371-1 is not prime. Res64: C61C0EA66AA16584 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:59:40] 795*2^1429371-1 is not prime. Res64: 62FC2F4001AC16E8 Time : 0.0 sec. user=mdettweiler [2016-05-16 14:59:40] 859*2^1429371-1 is not prime. Res64: 8EFA93FFB70AFEFA Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:24] 895*2^1429371-1 is not prime. Res64: 7DCC44CB9A13F83C Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:25] 909*2^1429371-1 is not prime. Res64: E70C2F487ED1BC57 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:25] 999*2^1429371-1 is not prime. Res64: 53729DED230695F0 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:26] 635*2^1429372-1 is not prime. Res64: A02B1E4DCD9F51D0 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:26] 675*2^1429372-1 is not prime. Res64: F835ED90F3A75D2A Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:38] 777*2^1429372-1 is not prime. Res64: 015C0BFE80A191F0 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:39] 863*2^1429372-1 is not prime. Res64: 53217E1370AAEE85 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:39] 923*2^1429372-1 is not prime. Res64: 918C7B2D2B99579E Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:39] 975*2^1429372-1 is not prime. Res64: 7E53A75649274DA5 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:18:39] 651*2^1429373-1 is not prime. Res64: 761AC0CA6DB7FF8F Time : 0.0 sec. user=mdettweiler [2016-05-16 15:20:01] 745*2^1429373-1 is not prime. Res64: 18C592C7E1CD274C Time : 0.0 sec. user=mdettweiler [2016-05-16 15:20:02] 805*2^1429373-1 is not prime. Res64: 170DFABE9EDEE03F Time : 0.0 sec. user=mdettweiler [2016-05-16 15:20:02] 621*2^1429374-1 is not prime. Res64: 309E05585B72CF39 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:20:02] 723*2^1429374-1 is not prime. Res64: E4FDA997035D9273 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:20:03] 807*2^1429374-1 is not prime. Res64: BDC3EEEC2347E3C1 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:46:19] 891*2^1429374-1 is not prime. Res64: 6D201F4C028E4254 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:46:20] 917*2^1429374-1 is not prime. Res64: 4C6254ED5B58D021 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:46:20] 965*2^1429374-1 is not prime. Res64: 12B72457F9F97D6C Time : 0.0 sec. user=mdettweiler [2016-05-16 15:46:21] 625*2^1429375-1 is not prime. Res64: 79A7902014DFDC53 Time : 0.0 sec. user=mdettweiler [2016-05-16 15:46:21] 639*2^1429375-1 is not prime. Res64: ACD5F93F763B50DA Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:11] 645*2^1429375-1 is not prime. Res64: 9C672D1DA97EB361 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:12] 783*2^1429375-1 is not prime. Res64: 2A46833CE288A99B Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:13] 805*2^1429375-1 is not prime. Res64: D48F8D0854737267 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:15] 819*2^1429375-1 is not prime. Res64: 9A8D371A1306023F Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:17] 855*2^1429375-1 is not prime. Res64: 7D1387BD4D78C9BF Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:40] 933*2^1429375-1 is not prime. Res64: 6F9C8C485A2989B8 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:42] 969*2^1429375-1 is not prime. Res64: B4CA56AE699883ED Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:43] 999*2^1429375-1 is not prime. Res64: CF5D73BB41D16A84 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:46] 623*2^1429376-1 is not prime. Res64: FF5E27609A5C4239 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:06:49] 675*2^1429376-1 is not prime. Res64: 0141E752AF7AFB1F Time : 0.0 sec. user=mdettweiler [2016-05-16 16:07:47] 677*2^1429376-1 is not prime. Res64: 1E8C6732290D8854 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:07:49] 683*2^1429376-1 is not prime. Res64: DC09C32B140D8223 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:07:50] 755*2^1429376-1 is not prime. Res64: AF87EEB1CFC80284 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:07:51] 789*2^1429376-1 is not prime. Res64: 2690B8E1CB5E5301 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:07:52] 957*2^1429376-1 is not prime. Res64: 1FA466E49FE3F82C Time : 0.0 sec. user=mdettweiler [2016-05-16 16:32:54] 993*2^1429376-1 is not prime. Res64: C5FC3312CF263572 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:32:55] 609*2^1429377-1 is not prime. Res64: 4ABA3E4B831F17B3 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:32:55] 615*2^1429377-1 is not prime. Res64: A4A7E0E5D856FF73 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:32:56] 685*2^1429377-1 is not prime. Res64: C6A5AEDFE30E0DD6 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:32:56] 709*2^1429377-1 is not prime. Res64: B9B9E25A730CF106 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:04] 747*2^1429377-1 is not prime. Res64: 325C3D61F633CCE8 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:04] 759*2^1429377-1 is not prime. Res64: EDB583E2A288FD91 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:05] 915*2^1429377-1 is not prime. Res64: BF4C796DD26AF016 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:05] 945*2^1429377-1 is not prime. Res64: D8F362E9BA5EB337 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:06] 949*2^1429377-1 is not prime. Res64: 7693639103D36F36 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:30] 955*2^1429377-1 is not prime. Res64: 0CB91C49FA7D5B13 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:30] 677*2^1429378-1 is not prime. Res64: 736EEF1D1EBCC7E0 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:34] 735*2^1429378-1 is not prime. Res64: 022A26688D39738D Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:34] 833*2^1429378-1 is not prime. Res64: 5135EBEE8A8EC29C Time : 0.0 sec. user=mdettweiler [2016-05-16 16:52:35] 945*2^1429378-1 is not prime. Res64: A591F25CB38C59C2 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:53:37] 649*2^1429379-1 is not prime. Res64: 8E3A9E2C2478AB81 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:53:38] 811*2^1429379-1 is not prime. Res64: 17BC42EFDB44CFD3 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:53:38] 979*2^1429379-1 is not prime. Res64: 38B372A89EFA87F5 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:53:39] 629*2^1429380-1 is not prime. Res64: 7491B72F8AB66746 Time : 0.0 sec. user=mdettweiler [2016-05-16 16:53:39] 633*2^1429380-1 is not prime. Res64: ABF257A9CA61851F Time : 0.0 sec. user=mdettweiler [2016-05-16 17:17:53] 653*2^1429380-1 is not prime. Res64: B74A7156D7415C77 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:17:53] 773*2^1429380-1 is not prime. Res64: 26411BCE2889BEF9 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:17:54] 803*2^1429380-1 is not prime. Res64: 3F5BBBC2BC8630FD Time : 0.0 sec. user=mdettweiler [2016-05-16 17:17:54] 819*2^1429380-1 is not prime. Res64: F05175471C6414F4 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:17:55] 915*2^1429380-1 is not prime. Res64: 7EB04B6F726AEA86 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:05] 929*2^1429380-1 is not prime. Res64: 5CE4E846AF129DC1 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:05] 965*2^1429380-1 is not prime. Res64: A1E0295A3457A455 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:05] 745*2^1429381-1 is not prime. Res64: 486DC947FDF186CA Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:06] 757*2^1429381-1 is not prime. Res64: 83CD6F4A693840BC Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:06] 855*2^1429381-1 is not prime. Res64: AD99B779E21A8FE9 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:12] 955*2^1429381-1 is not prime. Res64: 887AA0766C6C98DE Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:12] 961*2^1429381-1 is not prime. Res64: 530CA02E31314CE6 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:12] 603*2^1429382-1 is not prime. Res64: 3880A1BB0E8B2EED Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:13] 755*2^1429382-1 is not prime. Res64: 83A83BC53F20DC7F Time : 0.0 sec. user=mdettweiler [2016-05-16 17:37:13] 791*2^1429382-1 is not prime. Res64: A241B3B19CDA64E4 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:38:33] 797*2^1429382-1 is not prime. Res64: EE175C8E168306A3 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:38:33] 827*2^1429382-1 is not prime. Res64: 6BFEC5C2217E78B6 Time : 0.0 sec. user=mdettweiler [2016-05-16 17:38:34] 831*2^1429382-1 is not prime. Res64: 217EEE303FC9C9DB Time : 0.0 sec. user=mdettweiler [2016-05-16 17:38:34] 867*2^1429382-1 is not prime. Res64: 70EA3100E45E45CD Time : 0.0 sec. user=mdettweiler [2016-05-16 17:38:36] 887*2^1429382-1 is not prime. Res64: 67A141444511B899 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:02:40] 921*2^1429382-1 is not prime. Res64: 484F57D0A7267769 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:02:40] 951*2^1429382-1 is not prime. Res64: 36D846ABEBF272F8 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:02:41] 613*2^1429383-1 is not prime. Res64: A801A8DEF8E2D586 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:02:42] 649*2^1429383-1 is not prime. Res64: 90BBBBC4E05D17D1 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:02:42] 705*2^1429383-1 is not prime. Res64: EF1AB7835C03BECC Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:05] 745*2^1429383-1 is not prime. Res64: 24979DADE33EEE5B Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:06] 827*2^1429384-1 is not prime. Res64: E1ACADF56DB54A4C Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:06] 751*2^1429383-1 is not prime. Res64: 3350021A6DBB3309 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:06] 849*2^1429384-1 is not prime. Res64: 23FFF57E3500C4E2 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:07] 793*2^1429383-1 is not prime. Res64: ABFCDB038D8CBC94 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:07] 927*2^1429384-1 is not prime. Res64: 6D89448F4F89D140 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:07] 635*2^1429384-1 is not prime. Res64: 9B1C48E1C0B7EF83 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:07] 699*2^1429385-1 is not prime. Res64: DE340FF86F6C839A Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:07] 755*2^1429384-1 is not prime. Res64: 56078AAAEF5A58FB Time : 0.0 sec. user=mdettweiler [2016-05-16 18:22:08] 717*2^1429385-1 is not prime. Res64: 204D3C64351B159B Time : 0.0 sec. user=mdettweiler [2016-05-16 18:23:44] 795*2^1429385-1 is not prime. Res64: A58E9538E04E0ACE Time : 0.0 sec. user=mdettweiler [2016-05-16 18:23:45] 985*2^1429385-1 is not prime. Res64: B63BB3AA4B1665B1 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:23:45] 615*2^1429386-1 is not prime. Res64: EAD2FAD7C71C1A9B Time : 0.0 sec. user=mdettweiler [2016-05-16 18:23:46] 707*2^1429386-1 is not prime. Res64: B8DF5C6A7F538C23 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:23:46] 723*2^1429386-1 is not prime. Res64: 36800B9C3578E586 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:47:54] 735*2^1429386-1 is not prime. Res64: EBD2EF65FFDAB79F Time : 0.0 sec. user=mdettweiler [2016-05-16 18:47:55] 807*2^1429386-1 is not prime. Res64: EBB403680B5BC4EE Time : 0.0 sec. user=mdettweiler [2016-05-16 18:47:55] 891*2^1429386-1 is not prime. Res64: EAEAE7047075A97D Time : 0.0 sec. user=mdettweiler [2016-05-16 18:47:55] 893*2^1429386-1 is not prime. Res64: 5EC727519287BC10 Time : 0.0 sec. user=mdettweiler [2016-05-16 18:47:56] 905*2^1429386-1 is not prime. Res64: 4FBEB4CF59EF892D Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:00] 765*2^1429387-1 is not prime. Res64: FAEC044299AD7DB4 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:00] 861*2^1429387-1 is not prime. Res64: 8D8D57EAC38F618A Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:01] 885*2^1429387-1 is not prime. Res64: 9BF2D95C98BDF1A2 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:01] 939*2^1429387-1 is not prime. Res64: AEA4F578F522FDF4 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:02] 647*2^1429388-1 is not prime. Res64: 19A87A832C002583 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:05] 993*2^1429386-1 is not prime. Res64: 9CF17453F8660A0F Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:05] 663*2^1429387-1 is not prime. Res64: F16399D9DF6B8021 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:06] 703*2^1429387-1 is not prime. Res64: AF385F169F3305AE Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:06] 735*2^1429387-1 is not prime. Res64: CF6F6DF11D963995 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:07:07] 759*2^1429387-1 is not prime. Res64: AAE223545DEA819D Time : 0.0 sec. user=mdettweiler [2016-05-16 19:08:33] 725*2^1429388-1 is not prime. Res64: 4602A210500869AD Time : 0.0 sec. user=mdettweiler [2016-05-16 19:08:33] 753*2^1429388-1 is not prime. Res64: 334B67C9C1AD6EC2 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:08:33] 803*2^1429388-1 is not prime. Res64: 1D99FC430E85F5FB Time : 0.0 sec. user=mdettweiler [2016-05-16 19:08:34] 843*2^1429388-1 is not prime. Res64: 701AC3BB91535DF8 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:08:34] 845*2^1429388-1 is not prime. Res64: 5DAD635EEA95A8B2 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:32:41] 869*2^1429388-1 is not prime. Res64: 3C6064130FAC8995 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:32:42] 875*2^1429388-1 is not prime. Res64: AB8D9A642F3C391B Time : 0.0 sec. user=mdettweiler [2016-05-16 19:32:42] 885*2^1429388-1 is not prime. Res64: E0646500EDF889E4 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:32:42] 923*2^1429388-1 is not prime. Res64: 70CF263A2DE722FA Time : 0.0 sec. user=mdettweiler [2016-05-16 19:32:43] 741*2^1429389-1 is not prime. Res64: 95AA21FBC1ED9693 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:53] 789*2^1429389-1 is not prime. Res64: 27B31D54B9C83976 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:54] 861*2^1429389-1 is not prime. Res64: CFA149F53DB4A90E Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:54] 919*2^1429389-1 is not prime. Res64: F48E19A623D7B27F Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:55] 605*2^1429390-1 is not prime. Res64: 91D719E2386212C2 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:55] 695*2^1429390-1 is not prime. Res64: 99EBDB7A5DCEB2E3 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:56] 747*2^1429390-1 is not prime. Res64: 822E3FDA00FA8677 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:56] 755*2^1429390-1 is not prime. Res64: 8398685EB9C69235 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:57] 761*2^1429390-1 is not prime. Res64: 096BFDFB075A496A Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:57] 783*2^1429390-1 is not prime. Res64: 0DBB58A0C1FF1DC1 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:51:58] 843*2^1429390-1 is not prime. Res64: 94542EDF2D7A4F31 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:53:13] 745*2^1429391-1 is not prime. Res64: 446C434E48115D93 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:53:14] 909*2^1429391-1 is not prime. Res64: C6C19FAE5253B55E Time : 0.0 sec. user=mdettweiler [2016-05-16 19:53:14] 939*2^1429391-1 is not prime. Res64: C0B52C94626164AE Time : 0.0 sec. user=mdettweiler [2016-05-16 19:53:15] 949*2^1429391-1 is not prime. Res64: 67F3D8C1E68355B5 Time : 0.0 sec. user=mdettweiler [2016-05-16 19:53:15] 605*2^1429392-1 is not prime. Res64: B07311147816FCD4 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:17:35] 623*2^1429392-1 is not prime. Res64: 810195C33377DE04 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:17:35] 627*2^1429392-1 is not prime. Res64: 53E3C8776DF995EA Time : 0.0 sec. user=mdettweiler [2016-05-16 20:17:36] 765*2^1429392-1 is not prime. Res64: 2DEEB9D7A07781A7 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:17:36] 959*2^1429392-1 is not prime. Res64: A0F9252453CCFBF3 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:17:37] 727*2^1429393-1 is not prime. Res64: D6EE62955EE121E4 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:39] 751*2^1429393-1 is not prime. Res64: 24D0543A58C5EC73 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:39] 633*2^1429394-1 is not prime. Res64: 15B6AC583050899A Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:40] 641*2^1429394-1 is not prime. Res64: DC19F02B871CC379 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:40] 677*2^1429394-1 is not prime. Res64: CDE0DF84A47A0B41 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:41] 711*2^1429394-1 is not prime. Res64: 934E256E95D073C6 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:46] 741*2^1429394-1 is not prime. Res64: F2023D46EACF5ABC Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:47] 825*2^1429394-1 is not prime. Res64: 72E5FF3E02B6CE43 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:47] 1001*2^1429394-1 is not prime. Res64: 2A24A77E64E7990E Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:48] 663*2^1429395-1 is not prime. Res64: B35B43487E014508 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:36:48] 705*2^1429395-1 is not prime. Res64: 8D6A1A0E95CF25FC Time : 0.0 sec. user=mdettweiler [2016-05-16 20:37:50] 871*2^1429395-1 is not prime. Res64: F130B6BCF6634984 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:37:50] 913*2^1429395-1 is not prime. Res64: C8881FED8D66B9FA Time : 0.0 sec. user=mdettweiler [2016-05-16 20:37:51] 961*2^1429395-1 is not prime. Res64: FB67CF615E532109 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:37:51] 615*2^1429396-1 is not prime. Res64: 58C7A46B97BB0E81 Time : 0.0 sec. user=mdettweiler [2016-05-16 20:37:51] 705*2^1429396-1 is not prime. Res64: 7581A1A5BB9E3004 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:02:29] 803*2^1429396-1 is not prime. Res64: 8464DA69C4428542 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:02:30] 615*2^1429397-1 is not prime. Res64: A6CCBA8B7CA695E9 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:02:31] 631*2^1429397-1 is not prime. Res64: C800E4E5B7C1E8B6 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:02:32] 651*2^1429397-1 is not prime. Res64: 56FAB9850CA98267 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:02:32] 697*2^1429397-1 is not prime. Res64: 0BE1AA60A6384396 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:29] 771*2^1429397-1 is not prime. Res64: B1A65831A8F46783 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:30] 859*2^1429397-1 is not prime. Res64: 2E96AD3C8B9730DD Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:30] 865*2^1429397-1 is not prime. Res64: A9F333CAEB38657D Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:31] 867*2^1429397-1 is not prime. Res64: C01E04F5A31DED2A Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:31] 937*2^1429397-1 is not prime. Res64: FDDDDA91607D0ACC Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:36] 611*2^1429398-1 is not prime. Res64: CA56DBE6C20D7DEF Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:37] 755*2^1429398-1 is not prime. Res64: 65E8E0E1EB1C5BCA Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:37] 773*2^1429398-1 is not prime. Res64: A22C9BF1655D4BF9 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:38] 801*2^1429398-1 is not prime. Res64: 5F9887A3FA0C5DE8 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:21:38] 977*2^1429398-1 is not prime. Res64: F6CCDD7EAEFC51A9 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:22:44] 1001*2^1429398-1 is not prime. Res64: 39D663E451541B46 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:22:44] 729*2^1429399-1 is not prime. Res64: 9A9C4F51D491C880 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:22:45] 775*2^1429399-1 is not prime. Res64: 1C742A5BD832EE82 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:22:45] 873*2^1429399-1 is not prime. Res64: 1278DCC96AF7CA0D Time : 0.0 sec. user=mdettweiler [2016-05-16 21:22:46] 919*2^1429399-1 is not prime. Res64: 5FB86FECB9445E79 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:47:24] 615*2^1429400-1 is not prime. Res64: D0E4EC7837C327AB Time : 0.0 sec. user=mdettweiler [2016-05-16 21:47:24] 659*2^1429400-1 is not prime. Res64: 4B1DC5986C88DBB6 Time : 0.0 sec. user=mdettweiler [2016-05-16 21:47:25] 665*2^1429400-1 is not prime. Res64: 4FEC2E0F57D776FB Time : 0.0 sec. user=mdettweiler [2016-05-16 21:47:25] 759*2^1429400-1 is not prime. Res64: A1A3DDC7C182852A Time : 0.0 sec. user=mdettweiler [2016-05-16 21:47:26] 825*2^1429400-1 is not prime. Res64: FA8CB3229D1F90C9 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:24] 651*2^1429401-1 is not prime. Res64: 69BE4DE7CC2E19D8 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:26] 717*2^1429401-1 is not prime. Res64: 9714FB38DFB95291 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:28] 795*2^1429401-1 is not prime. Res64: 680D53C82C7EEC72 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:29] 865*2^1429401-1 is not prime. Res64: CD8C74D89E5D1C3D Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:31] 621*2^1429402-1 is not prime. Res64: F3152B3C9CFF4D99 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:40] 839*2^1429400-1 is not prime. Res64: FED33A1BD058B87F Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:42] 957*2^1429400-1 is not prime. Res64: F2933A714C35B9F0 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:45] 959*2^1429400-1 is not prime. Res64: CFDBE221CFE3919A Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:48] 627*2^1429401-1 is not prime. Res64: 66808E0589E4C0F8 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:06:49] 649*2^1429401-1 is not prime. Res64: 8BD11C508FCB4590 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:07:25] 653*2^1429402-1 is not prime. Res64: 2DADD73AB7A668EB Time : 0.0 sec. user=mdettweiler [2016-05-16 22:07:25] 681*2^1429402-1 is not prime. Res64: D834230AD21B21C5 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:07:26] 705*2^1429402-1 is not prime. Res64: A53DACBBFEC01F4B Time : 0.0 sec. user=mdettweiler [2016-05-16 22:07:27] 831*2^1429402-1 is not prime. Res64: 8E7021CB16499434 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:07:27] 885*2^1429402-1 is not prime. Res64: 856346445893B99B Time : 0.0 sec. user=mdettweiler [2016-05-16 22:32:29] 987*2^1429402-1 is not prime. Res64: 977BA73EDB256456 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:32:30] 621*2^1429403-1 is not prime. Res64: 996707FF5270EEEC Time : 0.0 sec. user=mdettweiler [2016-05-16 22:32:30] 643*2^1429403-1 is not prime. Res64: 9C249ADB84C399EE Time : 0.0 sec. user=mdettweiler [2016-05-16 22:32:30] 783*2^1429403-1 is not prime. Res64: 6E437A9EC658008E Time : 0.0 sec. user=mdettweiler [2016-05-16 22:32:31] 825*2^1429403-1 is not prime. Res64: 78C3DD939C3314D5 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:39] 949*2^1429403-1 is not prime. Res64: 47AA8629C9FF19CA Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:40] 963*2^1429403-1 is not prime. Res64: 61B9FBCC7D28AE45 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:40] 981*2^1429403-1 is not prime. Res64: C94967037D7E35A0 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:40] 993*2^1429403-1 is not prime. Res64: 32B4ED686DF4CAF1 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:41] 789*2^1429404-1 is not prime. Res64: 4B90BFA231CE1910 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:51] 857*2^1429404-1 is not prime. Res64: 60C9BA766EFEB185 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:51] 863*2^1429404-1 is not prime. Res64: 44964795DD571820 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:52] 929*2^1429404-1 is not prime. Res64: 556C9213E1DEBE30 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:52] 945*2^1429404-1 is not prime. Res64: 64D0FB9AEE6CF7DA Time : 0.0 sec. user=mdettweiler [2016-05-16 22:51:52] 777*2^1429405-1 is not prime. Res64: FEFCFDCBC16798AC Time : 0.0 sec. user=mdettweiler [2016-05-16 22:52:25] 867*2^1429405-1 is not prime. Res64: 4FA10B084CAE0740 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:52:25] 897*2^1429405-1 is not prime. Res64: FC1FC133D9218886 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:52:26] 925*2^1429405-1 is not prime. Res64: 97EE47FACD35FCA5 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:52:26] 627*2^1429406-1 is not prime. Res64: 9001B7E56386D025 Time : 0.0 sec. user=mdettweiler [2016-05-16 22:52:27] 743*2^1429406-1 is not prime. Res64: B715DF6BC3D1C8C0 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:17:27] 887*2^1429406-1 is not prime. Res64: 028E604080641DE3 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:17:27] 903*2^1429406-1 is not prime. Res64: DD36F2EBF4C9271B Time : 0.0 sec. user=mdettweiler [2016-05-16 23:17:28] 917*2^1429406-1 is not prime. Res64: 8E2844AA1F1FA232 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:17:28] 935*2^1429406-1 is not prime. Res64: 5057EF76FC8B4DCA Time : 0.0 sec. user=mdettweiler [2016-05-16 23:17:29] 953*2^1429406-1 is not prime. Res64: B52C9E24925CB228 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:43] 993*2^1429406-1 is not prime. Res64: 599AF050E439EC70 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:43] 1001*2^1429406-1 is not prime. Res64: 7FAAF60B7B711BA1 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:43] 831*2^1429407-1 is not prime. Res64: E4A2367C43D4B172 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:44] 931*2^1429407-1 is not prime. Res64: A2A64D3B2D0F9DBC Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:44] 615*2^1429408-1 is not prime. Res64: BB3EB589249FFB6A Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:51] 695*2^1429408-1 is not prime. Res64: E121C019C7D20AA8 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:51] 705*2^1429408-1 is not prime. Res64: F1A9933FF547AD6A Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:51] 827*2^1429408-1 is not prime. Res64: 0A49970A51F0E870 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:52] 855*2^1429408-1 is not prime. Res64: 855968B035D614EE Time : 0.0 sec. user=mdettweiler [2016-05-16 23:36:52] 869*2^1429408-1 is not prime. Res64: 39C2A8789B7FC00A Time : 0.0 sec. user=mdettweiler [2016-05-16 23:37:28] 999*2^1429408-1 is not prime. Res64: 2D5AF864512872D0 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:37:28] 685*2^1429409-1 is not prime. Res64: 34440D870EE1F3B3 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:37:29] 705*2^1429409-1 is not prime. Res64: 01BEDB43369CF882 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:37:30] 711*2^1429409-1 is not prime. Res64: 954BDDC4F64DBEF8 Time : 0.0 sec. user=mdettweiler [2016-05-16 23:37:31] 721*2^1429409-1 is not prime. Res64: DD12FF6B67124B76 Time : 0.0 sec.