user=mdettweiler [2015-09-16 00:03:14] 633*2^1409396-1 is not prime. Res64: D65685DB612F156C Time : 0.0 sec. user=mdettweiler [2015-09-16 00:03:14] 635*2^1409396-1 is not prime. Res64: A3B509A6DC8EBCC6 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:15:36] 749*2^1409396-1 is not prime. Res64: 2E7111EA8DA2418C Time : 0.0 sec. user=mdettweiler [2015-09-16 00:15:37] 845*2^1409396-1 is not prime. Res64: 9251CA1EE8FB1B18 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:17:32] 855*2^1409396-1 is not prime. Res64: 4C17E2901DDFA830 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:17:33] 903*2^1409396-1 is not prime. Res64: 2FBA008A8A49AF00 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:20:37] 607*2^1409397-1 is not prime. Res64: 7718314A4CB8B7C5 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:20:37] 675*2^1409397-1 is not prime. Res64: CAEB064DF01C07E7 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:33:04] 709*2^1409397-1 is not prime. Res64: 7DFBAB8C0E869161 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:33:05] 781*2^1409397-1 is not prime. Res64: B0EEA38B918B6111 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:34:54] 831*2^1409397-1 is not prime. Res64: D4DA05CD916262D1 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:34:54] 889*2^1409397-1 is not prime. Res64: 6506ED0AD41457E3 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:37:57] 945*2^1409397-1 is not prime. Res64: 9EFE4EEFB61ECE5A Time : 0.0 sec. user=mdettweiler [2015-09-16 00:37:58] 997*2^1409397-1 is not prime. Res64: F099BDE42915F7C0 Time : 0.0 sec. user=juhehe [2015-09-16 00:40:49] 963*2^1409396-1 is not prime. Res64: 896E648DB9CB96B8 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:50:30] 999*2^1409397-1 is not prime. Res64: 7C1335C592D99BCA Time : 0.0 sec. user=mdettweiler [2015-09-16 00:50:30] 765*2^1409398-1 is not prime. Res64: 6F0123AC8CAA06A1 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:52:20] 825*2^1409398-1 is not prime. Res64: 62D126F97D1B104F Time : 0.0 sec. user=mdettweiler [2015-09-16 00:52:21] 827*2^1409398-1 is not prime. Res64: 3011B73543438F04 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:55:25] 831*2^1409398-1 is not prime. Res64: 2492258EBC2F49C6 Time : 0.0 sec. user=mdettweiler [2015-09-16 00:55:26] 861*2^1409398-1 is not prime. Res64: 61DDECAA346F194C Time : 0.0 sec. user=mdettweiler [2015-09-16 01:08:02] 923*2^1409398-1 is not prime. Res64: F242AB36D95716FA Time : 0.0 sec. user=mdettweiler [2015-09-16 01:08:02] 945*2^1409398-1 is not prime. Res64: 2C1DAEA43D2C5E0A Time : 0.0 sec. user=mdettweiler [2015-09-16 01:09:58] 645*2^1409399-1 is not prime. Res64: 6DB478533F7BB60F Time : 0.0 sec. user=mdettweiler [2015-09-16 01:09:58] 685*2^1409399-1 is not prime. Res64: 14F5F60FD10EE0A3 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:12:52] 711*2^1409399-1 is not prime. Res64: AF3B06A1F370D0C5 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:12:53] 729*2^1409399-1 is not prime. Res64: 3392F42F7D8C5D57 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:25:28] 753*2^1409399-1 is not prime. Res64: D12ED169BD5D56E9 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:25:29] 763*2^1409399-1 is not prime. Res64: 64B4D3FF4CC9964D Time : 0.0 sec. user=mdettweiler [2015-09-16 01:27:19] 885*2^1409399-1 is not prime. Res64: D9D9616CAF92B482 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:27:21] 991*2^1409399-1 is not prime. Res64: AD615DA652338773 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:30:18] 759*2^1409400-1 is not prime. Res64: 0633DC979DBB0A96 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:30:18] 843*2^1409400-1 is not prime. Res64: 4BE8A7D35A331DCE Time : 0.0 sec. user=mdettweiler [2015-09-16 01:42:52] 909*2^1409400-1 is not prime. Res64: 6F166FF940000904 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:42:53] 927*2^1409400-1 is not prime. Res64: 8275DCAE422A59FF Time : 0.0 sec. user=mdettweiler [2015-09-16 01:44:42] 625*2^1409401-1 is not prime. Res64: BF1C3E7C8E3F2581 Time : 0.0 sec. user=mdettweiler [2015-09-16 01:44:42] 741*2^1409401-1 is not prime. Res64: 45839612FDF08AFB Time : 0.0 sec. user=mdettweiler [2015-09-16 01:47:39] 771*2^1409401-1 is not prime. Res64: DF1F1A126CF8C8EE Time : 0.0 sec. user=mdettweiler [2015-09-16 01:47:39] 819*2^1409401-1 is not prime. Res64: 957EF04F0767C3D9 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:00:14] 895*2^1409401-1 is not prime. Res64: 352EA227DA526A0A Time : 0.0 sec. user=mdettweiler [2015-09-16 02:00:15] 925*2^1409401-1 is not prime. Res64: EB90928C4DC434E1 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:02:03] 831*2^1409402-1 is not prime. Res64: 81A4BEDD55562923 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:02:04] 833*2^1409402-1 is not prime. Res64: B666715642593938 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:05:03] 837*2^1409402-1 is not prime. Res64: 651F65DD602A64E2 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:05:04] 867*2^1409402-1 is not prime. Res64: 654B83DC65982362 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:17:40] 981*2^1409402-1 is not prime. Res64: E45FFE6C84506A25 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:17:41] 995*2^1409402-1 is not prime. Res64: 16C70F504E04424A Time : 0.0 sec. user=mdettweiler [2015-09-16 02:19:29] 735*2^1409403-1 is not prime. Res64: 4ECAD4D35BA4DA78 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:19:30] 769*2^1409403-1 is not prime. Res64: 525396795ED1513D Time : 0.0 sec. user=mdettweiler [2015-09-16 02:22:31] 789*2^1409403-1 is not prime. Res64: 78877A5E13BF7E0D Time : 0.0 sec. user=mdettweiler [2015-09-16 02:22:31] 835*2^1409403-1 is not prime. Res64: B51E949BB3A75FA9 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:35:06] 853*2^1409403-1 is not prime. Res64: 55E6774E61B90C52 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:35:06] 961*2^1409403-1 is not prime. Res64: 4F006B065202B71B Time : 0.0 sec. user=juhehe [2015-09-16 02:36:34] 977*2^1409402-1 is not prime. Res64: 5C8F1D4A5CFEE44D Time : 0.0 sec. user=mdettweiler [2015-09-16 02:36:52] 963*2^1409403-1 is not prime. Res64: 00AD7A1DB6652B95 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:36:52] 991*2^1409403-1 is not prime. Res64: 5AF3385425B686F3 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:39:54] 609*2^1409404-1 is not prime. Res64: A359BB2C912FA4FB Time : 0.0 sec. user=mdettweiler [2015-09-16 02:39:54] 665*2^1409404-1 is not prime. Res64: A2C171B580075AE4 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:52:30] 687*2^1409404-1 is not prime. Res64: E9DE43F4682B9FE3 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:52:30] 783*2^1409404-1 is not prime. Res64: F95D470689AE8A58 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:54:12] 869*2^1409404-1 is not prime. Res64: F24457D38F066E0C Time : 0.0 sec. user=mdettweiler [2015-09-16 02:54:13] 903*2^1409404-1 is not prime. Res64: 1A04BD0A1F12654E Time : 0.0 sec. user=mdettweiler [2015-09-16 02:57:15] 601*2^1409405-1 is not prime. Res64: 598133D4A899C323 Time : 0.0 sec. user=mdettweiler [2015-09-16 02:57:15] 645*2^1409405-1 is not prime. Res64: 4BC8268558A5D45A Time : 0.0 sec. user=mdettweiler [2015-09-16 03:09:52] 831*2^1409405-1 is not prime. Res64: 822FF4EB8CF52FAA Time : 0.0 sec. user=mdettweiler [2015-09-16 03:09:52] 861*2^1409405-1 is not prime. Res64: C73213DB7246D7A6 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:11:33] 867*2^1409405-1 is not prime. Res64: 309F9B397CAEF029 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:11:33] 939*2^1409405-1 is not prime. Res64: 31EABA940E34C063 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:14:35] 979*2^1409405-1 is not prime. Res64: E90D79E12EB81771 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:14:35] 611*2^1409406-1 is not prime. Res64: 21B4FB524EF024D2 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:27:17] 653*2^1409406-1 is not prime. Res64: 4DB7092BA7A69138 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:27:18] 747*2^1409406-1 is not prime. Res64: 2C0FB3B429455E22 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:28:56] 765*2^1409406-1 is not prime. Res64: A3B8E984589B9A04 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:28:57] 851*2^1409406-1 is not prime. Res64: 027B3AFED849BE32 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:31:58] 861*2^1409406-1 is not prime. Res64: 89E4CFE4BFAFA7DB Time : 0.0 sec. user=mdettweiler [2015-09-16 03:31:59] 639*2^1409407-1 is not prime. Res64: D3CE8CA51B274183 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:44:40] 705*2^1409407-1 is not prime. Res64: 2774BA12CBA3DF88 Time : 0.0 sec. user=mdettweiler [2015-09-16 03:44:40] 735*2^1409407-1 is not prime. Res64: E05FD334D683628E Time : 0.0 sec. user=mdettweiler [2015-09-16 03:46:18] 759*2^1409407-1 is not prime. Res64: 8921CED1EC94902E Time : 0.0 sec. user=mdettweiler [2015-09-16 03:46:19] 873*2^1409407-1 is not prime. Res64: 69512F82E98F26AE Time : 0.0 sec. user=mdettweiler [2015-09-16 03:49:21] 931*2^1409407-1 is not prime. Res64: 7C56B1BA3C1A24FB Time : 0.0 sec. user=mdettweiler [2015-09-16 03:49:22] 623*2^1409408-1 is not prime. Res64: 825E5D5C954C973E Time : 0.0 sec. user=juhehe [2015-09-16 04:00:24] 693*2^1409407-1 is not prime. Res64: 79338365B295437B Time : 0.0 sec. user=mdettweiler [2015-09-16 04:02:08] 657*2^1409408-1 is not prime. Res64: 4E59EB78376CBE70 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:02:09] 855*2^1409408-1 is not prime. Res64: B21731B54D03DCB1 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:03:42] 893*2^1409408-1 is not prime. Res64: 4210FDBA562B947F Time : 0.0 sec. user=mdettweiler [2015-09-16 04:03:44] 923*2^1409408-1 is not prime. Res64: 679AF294F533EA05 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:06:44] 945*2^1409408-1 is not prime. Res64: F232EF0523ABDEB2 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:06:44] 957*2^1409408-1 is not prime. Res64: 40500BF3BCABAE15 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:19:36] 751*2^1409409-1 is not prime. Res64: FB0AE71486AC1FD9 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:19:37] 829*2^1409409-1 is not prime. Res64: 4FDE378D85DC8BC6 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:21:08] 895*2^1409409-1 is not prime. Res64: 12533F181904241F Time : 0.0 sec. user=mdettweiler [2015-09-16 04:21:08] 945*2^1409409-1 is not prime. Res64: 1A00BDE1D63BA628 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:24:06] 985*2^1409409-1 is not prime. Res64: 2E7F44F65168224A Time : 0.0 sec. user=mdettweiler [2015-09-16 04:24:06] 605*2^1409410-1 is not prime. Res64: CF9CE76477777547 Time : 0.0 sec. user=juhehe [2015-09-16 04:31:39] 627*2^1409409-1 is not prime. Res64: C9B3F6C2B15237D7 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:36:58] 663*2^1409410-1 is not prime. Res64: B7DE0698BD3A8D77 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:36:58] 681*2^1409410-1 is not prime. Res64: 7425C4224E10F57C Time : 0.0 sec. user=mdettweiler [2015-09-16 04:38:31] 755*2^1409410-1 is not prime. Res64: 243153946D908EDD Time : 0.0 sec. user=mdettweiler [2015-09-16 04:38:31] 773*2^1409410-1 is not prime. Res64: 353032DBFEFCC19F Time : 0.0 sec. user=mdettweiler [2015-09-16 04:41:30] 933*2^1409410-1 is not prime. Res64: 23F31E9FFFEA7785 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:41:30] 951*2^1409410-1 is not prime. Res64: 115411DCAEA21523 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:54:22] 621*2^1409411-1 is not prime. Res64: 1084A8005384D832 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:54:23] 643*2^1409411-1 is not prime. Res64: 0A9BF0781276AF69 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:55:55] 669*2^1409411-1 is not prime. Res64: 1A94FC654E4C0CB6 Time : 0.0 sec. user=mdettweiler [2015-09-16 04:55:55] 745*2^1409411-1 is not prime. Res64: 43A2AAD56BD29ABA Time : 0.0 sec. user=mdettweiler [2015-09-16 04:58:50] 811*2^1409411-1 is not prime. Res64: B091CE3AD75ADDBB Time : 0.0 sec. user=mdettweiler [2015-09-16 04:58:50] 895*2^1409411-1 is not prime. Res64: BD5D846E8566615D Time : 0.0 sec. user=mdettweiler [2015-09-16 05:11:45] 909*2^1409411-1 is not prime. Res64: 426C9E20355054A4 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:11:46] 623*2^1409412-1 is not prime. Res64: E6D033784106BABC Time : 0.0 sec. user=mdettweiler [2015-09-16 05:13:17] 717*2^1409412-1 is not prime. Res64: 719E2D7C289E99F5 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:13:17] 753*2^1409412-1 is not prime. Res64: 021BCCF2F4E8942A Time : 0.0 sec. user=mdettweiler [2015-09-16 05:16:12] 899*2^1409412-1 is not prime. Res64: 47A9181B6A714D83 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:16:12] 909*2^1409412-1 is not prime. Res64: 8DA78A245CDF8D8E Time : 0.0 sec. user=mdettweiler [2015-09-16 05:29:06] 999*2^1409412-1 is not prime. Res64: E9945B5C63BDE457 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:29:06] 675*2^1409413-1 is not prime. Res64: 16F7F0E9BBE62EDF Time : 0.0 sec. user=mdettweiler [2015-09-16 05:30:38] 681*2^1409413-1 is not prime. Res64: 81E5B79733365080 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:30:39] 729*2^1409413-1 is not prime. Res64: 3FD6DC9702446665 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:33:34] 741*2^1409413-1 is not prime. Res64: A628C84936B0BC28 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:33:35] 769*2^1409413-1 is not prime. Res64: C3F5620F2534895B Time : 0.0 sec. user=mdettweiler [2015-09-16 05:46:28] 855*2^1409413-1 is not prime. Res64: ED6ACC280F62EC2C Time : 0.0 sec. user=mdettweiler [2015-09-16 05:46:28] 885*2^1409413-1 is not prime. Res64: F222361577E533D4 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:47:58] 897*2^1409413-1 is not prime. Res64: 49C5156BCE93C247 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:47:59] 675*2^1409414-1 is not prime. Res64: ED4E370AE8BE04C0 Time : 0.0 sec. user=juhehe [2015-09-16 05:48:30] 923*2^1409412-1 is not prime. Res64: 49049FE5BC2A0730 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:50:58] 797*2^1409414-1 is not prime. Res64: EE117D7E1C52A029 Time : 0.0 sec. user=mdettweiler [2015-09-16 05:50:58] 813*2^1409414-1 is not prime. Res64: 1B77183CA8E027EE Time : 0.0 sec. user=mdettweiler [2015-09-16 06:03:53] 857*2^1409414-1 is not prime. Res64: ECCF9B3859881DEA Time : 0.0 sec. user=mdettweiler [2015-09-16 06:03:55] 861*2^1409414-1 is not prime. Res64: D2A1C0179618B4F0 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:05:23] 873*2^1409414-1 is not prime. Res64: 5952A824163076A8 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:05:25] 885*2^1409414-1 is not prime. Res64: 7C2B4C32648D2D2E Time : 0.0 sec. user=mdettweiler [2015-09-16 06:08:19] 981*2^1409414-1 is not prime. Res64: 2F80E1A7D2208611 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:08:20] 679*2^1409415-1 is not prime. Res64: B64F0B89E4E22BE5 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:21:34] 705*2^1409415-1 is not prime. Res64: 81C38F543DE237FB Time : 0.0 sec. user=mdettweiler [2015-09-16 06:21:35] 949*2^1409415-1 is not prime. Res64: AA5059D8A6450EB4 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:22:48] 615*2^1409416-1 is not prime. Res64: B648EA6D83C7C7C1 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:22:48] 653*2^1409416-1 is not prime. Res64: 2BB9DBE3F403440D Time : 0.0 sec. user=mdettweiler [2015-09-16 06:25:41] 677*2^1409416-1 is not prime. Res64: AB1D21C44B8D9925 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:25:41] 917*2^1409416-1 is not prime. Res64: 6184662990B288D9 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:38:57] 933*2^1409416-1 is not prime. Res64: 8EC662F73B3C9558 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:38:57] 957*2^1409416-1 is not prime. Res64: B1C4EA8F6A847811 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:40:09] 699*2^1409417-1 is not prime. Res64: F4125EA91E4D00CA Time : 0.0 sec. user=mdettweiler [2015-09-16 06:40:09] 711*2^1409417-1 is not prime. Res64: A16609D05B6EB3A9 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:43:03] 729*2^1409417-1 is not prime. Res64: 197ABA46EA18DCC4 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:43:03] 777*2^1409417-1 is not prime. Res64: 66F045077FA4FA74 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:56:19] 865*2^1409417-1 is not prime. Res64: 1D2B9432C173B1AF Time : 0.0 sec. user=mdettweiler [2015-09-16 06:56:19] 909*2^1409417-1 is not prime. Res64: 0E641D92E4C047B4 Time : 0.0 sec. user=mdettweiler [2015-09-16 06:57:30] 931*2^1409417-1 is not prime. Res64: E766219D5489426A Time : 0.0 sec. user=mdettweiler [2015-09-16 06:57:31] 981*2^1409417-1 is not prime. Res64: 7279E5C86C391DD0 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:00:25] 621*2^1409418-1 is not prime. Res64: FB118575AD7AA9F8 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:00:26] 663*2^1409418-1 is not prime. Res64: 7952648BB2E2F199 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:13:41] 695*2^1409418-1 is not prime. Res64: 741DB0E6E19595FD Time : 0.0 sec. user=mdettweiler [2015-09-16 07:13:42] 707*2^1409418-1 is not prime. Res64: E064DD9BFF286464 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:14:51] 881*2^1409418-1 is not prime. Res64: 785CC36FFDA861EE Time : 0.0 sec. user=mdettweiler [2015-09-16 07:14:52] 933*2^1409418-1 is not prime. Res64: 13729FC6FC9EA8AF Time : 0.0 sec. user=mdettweiler [2015-09-16 07:17:48] 975*2^1409418-1 is not prime. Res64: 447D50F7733C4188 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:17:48] 977*2^1409418-1 is not prime. Res64: 19F311CAAB146371 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:31:02] 663*2^1409419-1 is not prime. Res64: CF5B06B733B1A7A2 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:31:02] 681*2^1409419-1 is not prime. Res64: 1255557A555945FA Time : 0.0 sec. user=mdettweiler [2015-09-16 07:32:13] 693*2^1409419-1 is not prime. Res64: F20A8F243C3DDB0F Time : 0.0 sec. user=mdettweiler [2015-09-16 07:32:13] 723*2^1409419-1 is not prime. Res64: EF667DF3FF13EC89 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:35:09] 793*2^1409419-1 is not prime. Res64: 6E34E480EC96900C Time : 0.0 sec. user=mdettweiler [2015-09-16 07:35:09] 843*2^1409419-1 is not prime. Res64: 3BF517311DBD8497 Time : 0.0 sec. user=juhehe [2015-09-16 07:45:03] 625*2^1409419-1 is not prime. Res64: 18B33F95E59C2157 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:48:22] 883*2^1409419-1 is not prime. Res64: 3C9B0E6D9358D4DF Time : 0.0 sec. user=mdettweiler [2015-09-16 07:48:22] 885*2^1409419-1 is not prime. Res64: 49F2D37F8D7E966E Time : 0.0 sec. user=mdettweiler [2015-09-16 07:49:33] 895*2^1409419-1 is not prime. Res64: 7FFDDCB45E2900A0 Time : 0.0 sec. user=mdettweiler [2015-09-16 07:49:33] 969*2^1409419-1 is not prime. Res64: 84059D07F71A5F4C Time : 0.0 sec. user=mdettweiler [2015-09-16 07:52:29] 975*2^1409419-1 is not prime. Res64: F243D8FE25E5D31B Time : 0.0 sec. user=mdettweiler [2015-09-16 07:52:29] 707*2^1409420-1 is not prime. Res64: 92D7E17554B987E3 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:05:44] 743*2^1409420-1 is not prime. Res64: 9A1413AF513AED00 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:05:46] 755*2^1409420-1 is not prime. Res64: 940E9CD8D159AA91 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:06:55] 795*2^1409420-1 is not prime. Res64: 00F132052487F9D1 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:06:55] 825*2^1409420-1 is not prime. Res64: 7F3A911FC8CA6856 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:09:50] 839*2^1409420-1 is not prime. Res64: B86CA03C60C1496E Time : 0.0 sec. user=mdettweiler [2015-09-16 08:09:51] 855*2^1409420-1 is not prime. Res64: 13BBD29F954379A2 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:23:12] 923*2^1409420-1 is not prime. Res64: 70822BB1CA0DE157 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:23:12] 945*2^1409420-1 is not prime. Res64: CFEA375A435EB27F Time : 0.0 sec. user=mdettweiler [2015-09-16 08:24:15] 987*2^1409420-1 is not prime. Res64: CC4E38691EF1C7FA Time : 0.0 sec. user=mdettweiler [2015-09-16 08:24:16] 609*2^1409421-1 is not prime. Res64: BABA3949950A2A03 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:27:11] 777*2^1409421-1 is not prime. Res64: 610C9F84832D741B Time : 0.0 sec. user=mdettweiler [2015-09-16 08:27:11] 817*2^1409421-1 is not prime. Res64: 360E87BB45342C74 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:40:33] 861*2^1409421-1 is not prime. Res64: 90D8772A5FEF7C10 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:40:33] 907*2^1409421-1 is not prime. Res64: A4425DD972E29054 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:41:35] 717*2^1409422-1 is not prime. Res64: C3FE611FCBD71E61 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:41:36] 825*2^1409422-1 is not prime. Res64: F2185E6408FC7018 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:44:31] 855*2^1409422-1 is not prime. Res64: E440B774F182FA9A Time : 0.0 sec. user=mdettweiler [2015-09-16 08:44:32] 863*2^1409422-1 is not prime. Res64: 6DAAE3199885AF2A Time : 0.0 sec. user=mdettweiler [2015-09-16 08:57:55] 867*2^1409422-1 is not prime. Res64: BBF08F58627B9049 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:57:55] 873*2^1409422-1 is not prime. Res64: 653EA8249C0BAF77 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:58:56] 887*2^1409422-1 is not prime. Res64: C6B89DF44E43E5E0 Time : 0.0 sec. user=mdettweiler [2015-09-16 08:58:57] 633*2^1409423-1 is not prime. Res64: 775C7C5EABA678E5 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:01:52] 661*2^1409423-1 is not prime. Res64: 5520FDB6B45CF47F Time : 0.0 sec. user=mdettweiler [2015-09-16 09:01:53] 715*2^1409423-1 is not prime. Res64: 30728D32D6A1B8D1 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:15:16] 759*2^1409423-1 is not prime. Res64: 280A9CE41C8C4B20 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:15:16] 789*2^1409423-1 is not prime. Res64: 88C3B5C64C9FDAC5 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:16:16] 861*2^1409423-1 is not prime. Res64: 0A4BB225D3A6C51B Time : 0.0 sec. user=mdettweiler [2015-09-16 09:16:17] 871*2^1409423-1 is not prime. Res64: E191A1B9EE93CFD2 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:19:15] 789*2^1409424-1 is not prime. Res64: AAD4D9C854BD2B4A Time : 0.0 sec. user=mdettweiler [2015-09-16 09:19:15] 875*2^1409424-1 is not prime. Res64: 528E6F3B558116C8 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:32:38] 899*2^1409424-1 is not prime. Res64: E617D9EEEB457A42 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:32:39] 909*2^1409424-1 is not prime. Res64: CB72857A641420AB Time : 0.0 sec. user=mdettweiler [2015-09-16 09:33:38] 645*2^1409425-1 is not prime. Res64: 63199551FB8BE8CD Time : 0.0 sec. user=mdettweiler [2015-09-16 09:33:38] 705*2^1409425-1 is not prime. Res64: CC22E7AA1CDCC831 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:36:36] 765*2^1409425-1 is not prime. Res64: 5D985D68B88673DB Time : 0.0 sec. user=mdettweiler [2015-09-16 09:36:37] 841*2^1409425-1 is not prime. Res64: D4856C69639F146B Time : 0.0 sec. user=juhehe [2015-09-16 09:39:41] 675*2^1409424-1 is not prime. Res64: 0E2F6BF7C8AFC1A5 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:49:59] 957*2^1409425-1 is not prime. Res64: AF1A42B208538A8F Time : 0.0 sec. user=mdettweiler [2015-09-16 09:50:00] 657*2^1409426-1 is not prime. Res64: 93F77491EC5AE238 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:50:58] 735*2^1409426-1 is not prime. Res64: 482CA76C34EC7160 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:50:58] 831*2^1409426-1 is not prime. Res64: BA42995B91386446 Time : 0.0 sec. user=mdettweiler [2015-09-16 09:53:56] 945*2^1409426-1 is not prime. Res64: A840550A7F38BB7B Time : 0.0 sec. user=mdettweiler [2015-09-16 09:53:57] 601*2^1409427-1 is not prime. Res64: 1DD11F24409A93A2 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:07:20] 619*2^1409427-1 is not prime. Res64: 43E530C0056BED18 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:07:21] 633*2^1409427-1 is not prime. Res64: 2EFA81843AD99854 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:08:19] 685*2^1409427-1 is not prime. Res64: 643735DE56CA4D40 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:08:20] 753*2^1409427-1 is not prime. Res64: 6C89C9DBF67E158C Time : 0.0 sec. user=mdettweiler [2015-09-16 10:11:16] 775*2^1409427-1 is not prime. Res64: DC754C0C5D1E31E3 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:11:16] 801*2^1409427-1 is not prime. Res64: CB862D60E6C42461 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:24:45] 885*2^1409427-1 is not prime. Res64: 0761EF69809BD1AC Time : 0.0 sec. user=mdettweiler [2015-09-16 10:24:46] 903*2^1409427-1 is not prime. Res64: C6F74D49A3D4E627 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:25:40] 913*2^1409427-1 is not prime. Res64: D5A876CF53264C07 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:25:40] 955*2^1409427-1 is not prime. Res64: 4AD42B057D4D7262 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:28:38] 735*2^1409428-1 is not prime. Res64: 738E9E1E9DE1E210 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:28:38] 743*2^1409428-1 is not prime. Res64: 17BD0A4711ECB8C5 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:42:05] 803*2^1409428-1 is not prime. Res64: A2061CD016B44A2C Time : 0.0 sec. user=mdettweiler [2015-09-16 10:42:06] 843*2^1409428-1 is not prime. Res64: 94E18E7472BABB30 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:43:00] 905*2^1409428-1 is not prime. Res64: 57051C1E4305780C Time : 0.0 sec. user=mdettweiler [2015-09-16 10:43:01] 995*2^1409428-1 is not prime. Res64: 21CFD54B1E5EB66E Time : 0.0 sec. user=mdettweiler [2015-09-16 10:45:58] 619*2^1409429-1 is not prime. Res64: 0378E018A671960A Time : 0.0 sec. user=mdettweiler [2015-09-16 10:45:59] 627*2^1409429-1 is not prime. Res64: 2DA1C6F78837D038 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:59:27] 691*2^1409429-1 is not prime. Res64: 662818BC867269C9 Time : 0.0 sec. user=mdettweiler [2015-09-16 10:59:28] 697*2^1409429-1 is not prime. Res64: F6B23F0F620A1805 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:00:21] 837*2^1409429-1 is not prime. Res64: 3A11CA992BE7B265 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:00:22] 847*2^1409429-1 is not prime. Res64: 0754FDB3EB1975F9 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:03:23] 865*2^1409429-1 is not prime. Res64: 64D416CF99213643 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:03:24] 951*2^1409429-1 is not prime. Res64: BC183F8630436D84 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:16:48] 627*2^1409430-1 is not prime. Res64: 6E2414A81C8FF5C1 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:16:48] 657*2^1409430-1 is not prime. Res64: DD77F721E5BA2D63 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:17:43] 665*2^1409430-1 is not prime. Res64: 594DD6114903A958 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:17:43] 707*2^1409430-1 is not prime. Res64: A6E7BA17AFE692C7 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:20:47] 725*2^1409430-1 is not prime. Res64: B9D71A5A91DC2650 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:20:48] 741*2^1409430-1 is not prime. Res64: 36C12AEF39A2A2D1 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:34:20] 845*2^1409430-1 is not prime. Res64: 97B59DDA3F49FA6B Time : 0.0 sec. user=mdettweiler [2015-09-16 11:34:20] 951*2^1409430-1 is not prime. Res64: 4A1CA19177C14076 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:35:15] 1001*2^1409430-1 is not prime. Res64: 13EB5091AAC41D4A Time : 0.0 sec. user=mdettweiler [2015-09-16 11:35:15] 649*2^1409431-1 is not prime. Res64: 577B0978034F54CA Time : 0.0 sec. user=juhehe [2015-09-16 11:35:56] 985*2^1409429-1 is not prime. Res64: 6DA4EF831B7F2525 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:38:42] 651*2^1409431-1 is not prime. Res64: 9F35127C8D184FBD Time : 0.0 sec. user=mdettweiler [2015-09-16 11:38:43] 813*2^1409431-1 is not prime. Res64: 66526502277EA42A Time : 0.0 sec. user=mdettweiler [2015-09-16 11:53:33] 843*2^1409431-1 is not prime. Res64: CD8DBA5C39F20B39 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:53:34] 891*2^1409431-1 is not prime. Res64: C1F109AC235C0D9E Time : 0.0 sec. user=mdettweiler [2015-09-16 11:54:32] 901*2^1409431-1 is not prime. Res64: 5296412491811684 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:54:33] 939*2^1409431-1 is not prime. Res64: 10A88D57BE62C7B2 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:57:35] 969*2^1409431-1 is not prime. Res64: 74FC593556DF35C2 Time : 0.0 sec. user=mdettweiler [2015-09-16 11:57:35] 623*2^1409432-1 is not prime. Res64: 1591A57E0476610B Time : 0.0 sec. user=mdettweiler [2015-09-16 12:10:55] 633*2^1409432-1 is not prime. Res64: 2C47C227BC304186 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:10:56] 755*2^1409432-1 is not prime. Res64: 053B4E5999E01D55 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:11:53] 767*2^1409432-1 is not prime. Res64: 8DD74B49258E2A96 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:11:54] 777*2^1409432-1 is not prime. Res64: 75F6C16CE5D3D1D2 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:14:56] 813*2^1409432-1 is not prime. Res64: A39221FF91C560B8 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:14:57] 827*2^1409432-1 is not prime. Res64: 9731A53DAB90B176 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:28:23] 609*2^1409433-1 is not prime. Res64: 5980A667F1DB2DCB Time : 0.0 sec. user=mdettweiler [2015-09-16 12:28:24] 735*2^1409433-1 is not prime. Res64: 10995C96FD1C92FD Time : 0.0 sec. user=mdettweiler [2015-09-16 12:29:18] 861*2^1409433-1 is not prime. Res64: 836274E85460E7BD Time : 0.0 sec. user=mdettweiler [2015-09-16 12:29:18] 867*2^1409433-1 is not prime. Res64: 5944C9978D949BD7 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:32:21] 871*2^1409433-1 is not prime. Res64: 75DAC9470AD368D2 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:32:21] 951*2^1409433-1 is not prime. Res64: EC208237E9A7A33E Time : 0.0 sec. user=mdettweiler [2015-09-16 12:45:44] 987*2^1409433-1 is not prime. Res64: A271A65631A604A8 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:45:45] 677*2^1409434-1 is not prime. Res64: 3C0A27618FA3D9D4 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:46:40] 655*2^1409435-1 is not prime. Res64: C840114A39BE3854 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:46:40] 699*2^1409435-1 is not prime. Res64: 372FCED033BA220A Time : 0.0 sec. user=mdettweiler [2015-09-16 12:49:45] 963*2^1409435-1 is not prime. Res64: 2928BAFCB5729D53 Time : 0.0 sec. user=mdettweiler [2015-09-16 12:49:46] 767*2^1409436-1 is not prime. Res64: DFDF73DCFBFD2B17 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:03:08] 969*2^1409436-1 is not prime. Res64: C1AF2246AF5104AF Time : 0.0 sec. user=mdettweiler [2015-09-16 13:03:10] 607*2^1409437-1 is not prime. Res64: 6ADA40A69692584D Time : 0.0 sec. user=mdettweiler [2015-09-16 13:04:02] 825*2^1409437-1 is not prime. Res64: 7F73E9780C02A718 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:04:03] 967*2^1409437-1 is not prime. Res64: 5693765860D64863 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:07:06] 683*2^1409438-1 is not prime. Res64: FE3B119BBFAAF1B1 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:07:06] 707*2^1409438-1 is not prime. Res64: 76AC2B39C37B968E Time : 0.0 sec. user=mdettweiler [2015-09-16 13:20:39] 797*2^1409438-1 is not prime. Res64: BD9135CFFADC0131 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:20:39] 827*2^1409438-1 is not prime. Res64: FEFCC8A8A7C1AA5E Time : 0.0 sec. user=mdettweiler [2015-09-16 13:21:29] 831*2^1409438-1 is not prime. Res64: 0E2CC1E73A5F72AB Time : 0.0 sec. user=mdettweiler [2015-09-16 13:21:30] 915*2^1409438-1 is not prime. Res64: AD2035637B7CC48A Time : 0.0 sec. user=mdettweiler [2015-09-16 13:24:30] 619*2^1409439-1 is not prime. Res64: CA60A95EDDD4CA20 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:24:30] 685*2^1409439-1 is not prime. Res64: 10D867878BCB1A87 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:38:02] 751*2^1409439-1 is not prime. Res64: 738F0396D8E7DE98 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:38:02] 775*2^1409439-1 is not prime. Res64: 72CE25D1692E7FD3 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:38:51] 789*2^1409439-1 is not prime. Res64: 4666E5B9102707B6 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:38:51] 831*2^1409439-1 is not prime. Res64: 3F7F3A7AA0D74040 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:41:56] 985*2^1409439-1 is not prime. Res64: 268D4CEDA9A180C4 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:41:56] 603*2^1409440-1 is not prime. Res64: 6240D4F1C6FD4066 Time : 0.0 sec. user=juhehe [2015-09-16 13:44:10] 753*2^1409438-1 is not prime. Res64: C8D99F6FE7B2084A Time : 0.0 sec. user=mdettweiler [2015-09-16 13:55:24] 615*2^1409440-1 is not prime. Res64: 5F8C9E93F6BE66F8 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:55:25] 635*2^1409440-1 is not prime. Res64: 623ABAA8FE4DFC83 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:56:11] 677*2^1409440-1 is not prime. Res64: 1C58CC9D13B16663 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:56:12] 719*2^1409440-1 is not prime. Res64: 67955CCE69A56B61 Time : 0.0 sec. user=mdettweiler [2015-09-16 13:59:18] 849*2^1409440-1 is not prime. Res64: 0F3189B530FD2F4C Time : 0.0 sec. user=mdettweiler [2015-09-16 13:59:18] 875*2^1409440-1 is not prime. Res64: 120D53BC7644354E Time : 0.0 sec. user=mdettweiler [2015-09-16 14:12:50] 927*2^1409440-1 is not prime. Res64: CD88ADE34D4B2DA3 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:12:50] 933*2^1409440-1 is not prime. Res64: 4543FADA6CCF5F4F Time : 0.0 sec. user=mdettweiler [2015-09-16 14:13:33] 995*2^1409440-1 is not prime. Res64: 77BBBEBBE9FBECA8 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:13:33] 669*2^1409441-1 is not prime. Res64: 70061F453BEA014D Time : 0.0 sec. user=mdettweiler [2015-09-16 14:16:39] 811*2^1409441-1 is not prime. Res64: 552764D104672B68 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:16:39] 861*2^1409441-1 is not prime. Res64: 9BA9E6A4A86AD191 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:30:12] 949*2^1409441-1 is not prime. Res64: 3E32B8257F7EED6D Time : 0.0 sec. user=mdettweiler [2015-09-16 14:30:12] 797*2^1409442-1 is not prime. Res64: B6942B41C1D2635E Time : 0.0 sec. user=mdettweiler [2015-09-16 14:30:54] 843*2^1409442-1 is not prime. Res64: 4744C676FD133F96 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:30:54] 983*2^1409442-1 is not prime. Res64: 0400651918B52903 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:34:01] 615*2^1409443-1 is not prime. Res64: EC65808B6F197E2E Time : 0.0 sec. user=mdettweiler [2015-09-16 14:34:01] 621*2^1409443-1 is not prime. Res64: F35AD2B76EC8512E Time : 0.0 sec. user=mdettweiler [2015-09-16 14:47:35] 861*2^1409443-1 is not prime. Res64: 9437E54B58031C51 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:47:35] 871*2^1409443-1 is not prime. Res64: E3C6A3803469BE15 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:48:17] 891*2^1409443-1 is not prime. Res64: 20DE657956556468 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:48:17] 913*2^1409443-1 is not prime. Res64: B790E03B2BF95BAF Time : 0.0 sec. user=mdettweiler [2015-09-16 14:51:24] 687*2^1409444-1 is not prime. Res64: B4238AB1993343B3 Time : 0.0 sec. user=mdettweiler [2015-09-16 14:51:25] 899*2^1409444-1 is not prime. Res64: A1BC4121BCE1B182 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:04:57] 959*2^1409444-1 is not prime. Res64: B6753872BDAA3E13 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:04:58] 601*2^1409445-1 is not prime. Res64: 56F35C5D3482875C Time : 0.0 sec. user=mdettweiler [2015-09-16 15:05:37] 819*2^1409445-1 is not prime. Res64: FE3B8B0E75910E13 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:05:38] 645*2^1409446-1 is not prime. Res64: 387B94891DDAAA4F Time : 0.0 sec. user=mdettweiler [2015-09-16 15:08:44] 677*2^1409446-1 is not prime. Res64: B24D7226446D13A1 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:08:45] 695*2^1409446-1 is not prime. Res64: F54D3BDDD74A0B27 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:22:20] 881*2^1409446-1 is not prime. Res64: 2C5C13AFEB05937A Time : 0.0 sec. user=mdettweiler [2015-09-16 15:22:20] 897*2^1409446-1 is not prime. Res64: 37DA4EDA885B26B0 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:23:00] 917*2^1409446-1 is not prime. Res64: CFDDBED67B1854AF Time : 0.0 sec. user=mdettweiler [2015-09-16 15:23:00] 933*2^1409446-1 is not prime. Res64: C6AA58D776396417 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:26:04] 957*2^1409446-1 is not prime. Res64: BD8F96AF8FCEE1CD Time : 0.0 sec. user=mdettweiler [2015-09-16 15:26:04] 971*2^1409446-1 is not prime. Res64: 75B8B1463F10FE81 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:39:42] 661*2^1409447-1 is not prime. Res64: 8002C315CA9A6C9A Time : 0.0 sec. user=mdettweiler [2015-09-16 15:39:42] 675*2^1409447-1 is not prime. Res64: C371AED8C90AEC4C Time : 0.0 sec. user=mdettweiler [2015-09-16 15:40:24] 859*2^1409447-1 is not prime. Res64: ECC9891F28C6097B Time : 0.0 sec. user=mdettweiler [2015-09-16 15:40:24] 913*2^1409447-1 is not prime. Res64: 5FE1E18883D41AF9 Time : 0.0 sec. user=juhehe [2015-09-16 15:41:10] 801*2^1409446-1 is not prime. Res64: 5D433DE3F3D29378 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:43:25] 985*2^1409447-1 is not prime. Res64: 50EAD3D0B3C872D7 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:43:26] 999*2^1409447-1 is not prime. Res64: 669971B2C29A2B10 Time : 0.0 sec. user=juhehe [2015-09-16 15:55:39] 621*2^1409447-1 is not prime. Res64: 9AB8928622698CC5 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:57:04] 627*2^1409448-1 is not prime. Res64: 6F075628F7C0661F Time : 0.0 sec. user=mdettweiler [2015-09-16 15:57:05] 725*2^1409448-1 is not prime. Res64: 999B2CD59005A2A6 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:57:47] 803*2^1409448-1 is not prime. Res64: 07233207AA4BFC54 Time : 0.0 sec. user=mdettweiler [2015-09-16 15:57:47] 809*2^1409448-1 is not prime. Res64: 4EB8DFACD6C202AD Time : 0.0 sec. user=mdettweiler [2015-09-16 16:00:49] 875*2^1409448-1 is not prime. Res64: 1F1DE5624C7F4B92 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:00:50] 923*2^1409448-1 is not prime. Res64: 4D5AB6B9A878F1BA Time : 0.0 sec. user=mdettweiler [2015-09-16 16:14:26] 681*2^1409449-1 is not prime. Res64: 5B87555D58ED9211 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:14:26] 801*2^1409449-1 is not prime. Res64: 8107160D63390FC3 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:15:07] 931*2^1409449-1 is not prime. Res64: DE3F2087D0DFD150 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:15:07] 975*2^1409449-1 is not prime. Res64: 1D1DC0B0F98A4141 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:18:11] 615*2^1409450-1 is not prime. Res64: A1F9B8EEB9176283 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:18:11] 657*2^1409450-1 is not prime. Res64: 9D24841EE9DF4CEA Time : 0.0 sec. user=mdettweiler [2015-09-16 16:31:49] 665*2^1409450-1 is not prime. Res64: 687818785747F32A Time : 0.0 sec. user=mdettweiler [2015-09-16 16:31:50] 741*2^1409450-1 is not prime. Res64: 4DF411EAC1C8F4B7 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:32:26] 743*2^1409450-1 is not prime. Res64: 48D8EAADBDFFCFF3 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:32:27] 831*2^1409450-1 is not prime. Res64: DD6863007F36E9D0 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:35:31] 957*2^1409450-1 is not prime. Res64: 244BEF21D7006E94 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:35:31] 649*2^1409451-1 is not prime. Res64: 1C007A22E9CA0F7F Time : 0.0 sec. user=mdettweiler [2015-09-16 16:49:10] 679*2^1409451-1 is not prime. Res64: 146C5474769A46CA Time : 0.0 sec. user=mdettweiler [2015-09-16 16:49:10] 723*2^1409451-1 is not prime. Res64: 2509FB967B0A55BB Time : 0.0 sec. user=mdettweiler [2015-09-16 16:49:46] 783*2^1409451-1 is not prime. Res64: A0B25737D42BF66E Time : 0.0 sec. user=mdettweiler [2015-09-16 16:49:47] 835*2^1409451-1 is not prime. Res64: 1B6B795E7CCAA585 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:52:51] 871*2^1409451-1 is not prime. Res64: 262ABEBAA0840987 Time : 0.0 sec. user=mdettweiler [2015-09-16 16:52:51] 903*2^1409451-1 is not prime. Res64: BC29D589762661FB Time : 0.0 sec. user=mdettweiler [2015-09-16 17:06:31] 949*2^1409451-1 is not prime. Res64: 9555230DB577A8D3 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:06:32] 615*2^1409452-1 is not prime. Res64: 1798E938BAD93E35 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:07:06] 687*2^1409452-1 is not prime. Res64: F6E3692A3B207CA4 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:07:07] 689*2^1409452-1 is not prime. Res64: F5662549DC8C8C05 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:10:11] 717*2^1409452-1 is not prime. Res64: 9D3BDA040EFC05E1 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:10:12] 803*2^1409452-1 is not prime. Res64: CEB58988AAD4C942 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:23:55] 975*2^1409452-1 is not prime. Res64: F32A85039EB13D6A Time : 0.0 sec. user=mdettweiler [2015-09-16 17:23:55] 727*2^1409453-1 is not prime. Res64: C00D5AA1CDB1BD2A Time : 0.0 sec. user=mdettweiler [2015-09-16 17:24:27] 745*2^1409453-1 is not prime. Res64: 029EBE6C48CC77A4 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:24:27] 855*2^1409453-1 is not prime. Res64: 42CF5D8F01A39C15 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:27:34] 885*2^1409453-1 is not prime. Res64: 81192979721C00E9 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:27:35] 937*2^1409453-1 is not prime. Res64: 030E36CF5FB3DBBD Time : 0.0 sec. user=juhehe [2015-09-16 17:37:08] 857*2^1409452-1 is not prime. Res64: 3DB7B22B35B1C0F8 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:43:23] 791*2^1409454-1 is not prime. Res64: 19C014897BFB4E85 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:43:23] 797*2^1409454-1 is not prime. Res64: 53D3DB68651C2B9A Time : 0.0 sec. user=mdettweiler [2015-09-16 17:43:56] 833*2^1409454-1 is not prime. Res64: 55EBE0B537EC30FF Time : 0.0 sec. user=mdettweiler [2015-09-16 17:43:56] 851*2^1409454-1 is not prime. Res64: C19703A6C0206435 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:47:57] 945*2^1409454-1 is not prime. Res64: 839A2A238F5C2309 Time : 0.0 sec. user=mdettweiler [2015-09-16 17:47:57] 983*2^1409454-1 is not prime. Res64: C34FFD92521B4090 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:02:39] 705*2^1409455-1 is not prime. Res64: 395E8E1135354EE3 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:02:40] 741*2^1409455-1 is not prime. Res64: 54671B0D0D085C42 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:03:06] 765*2^1409455-1 is not prime. Res64: C64D4049DA387C99 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:03:07] 793*2^1409455-1 is not prime. Res64: 3A41C577B77D20C5 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:06:13] 819*2^1409455-1 is not prime. Res64: 5270DBA8DAAFB007 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:06:13] 919*2^1409455-1 is not prime. Res64: 0E81D8ABD35DF747 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:20:08] 603*2^1409456-1 is not prime. Res64: 4EA82DA165779ECB Time : 0.0 sec. user=mdettweiler [2015-09-16 18:20:08] 617*2^1409456-1 is not prime. Res64: 9166349AB02CDFA5 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:20:32] 767*2^1409456-1 is not prime. Res64: 42DDF1238A10D2CB Time : 0.0 sec. user=mdettweiler [2015-09-16 18:20:33] 813*2^1409456-1 is not prime. Res64: 664E3F0308F7A5DD Time : 0.0 sec. user=mdettweiler [2015-09-16 18:23:37] 607*2^1409457-1 is not prime. Res64: 29B7F35FB3DEA734 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:23:38] 637*2^1409457-1 is not prime. Res64: B03A143B02195637 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:37:30] 649*2^1409457-1 is not prime. Res64: DBC9455BEC09EDBC Time : 0.0 sec. user=mdettweiler [2015-09-16 18:37:31] 667*2^1409457-1 is not prime. Res64: C47E179098DB26A5 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:37:53] 681*2^1409457-1 is not prime. Res64: 3ECBBF11010B1662 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:37:54] 817*2^1409457-1 is not prime. Res64: 0F29BD432A225A28 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:40:58] 819*2^1409457-1 is not prime. Res64: ECF520E290DF94CF Time : 0.0 sec. user=mdettweiler [2015-09-16 18:40:58] 835*2^1409457-1 is not prime. Res64: CDD177F19F1AC72F Time : 0.0 sec. user=mdettweiler [2015-09-16 18:54:50] 847*2^1409457-1 is not prime. Res64: E250B15B437953F3 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:54:51] 955*2^1409457-1 is not prime. Res64: 1362C568075F409D Time : 0.0 sec. user=mdettweiler [2015-09-16 18:55:13] 991*2^1409457-1 is not prime. Res64: 7C57E120086D4A84 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:55:13] 635*2^1409458-1 is not prime. Res64: F15C8238CAECF263 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:58:18] 695*2^1409458-1 is not prime. Res64: C26D3DA082565451 Time : 0.0 sec. user=mdettweiler [2015-09-16 18:58:19] 723*2^1409458-1 is not prime. Res64: 2E8377A36B46D7A4 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:12:31] 867*2^1409458-1 is not prime. Res64: 00FB0AB5303DF477 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:12:32] 891*2^1409458-1 is not prime. Res64: 2278D05291DF1321 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:12:55] 987*2^1409458-1 is not prime. Res64: 09D9C603F482E73F Time : 0.0 sec. user=mdettweiler [2015-09-16 19:12:55] 621*2^1409459-1 is not prime. Res64: AE6429BCF24D8326 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:16:30] 885*2^1409459-1 is not prime. Res64: 64CC67BE7B33694E Time : 0.0 sec. user=mdettweiler [2015-09-16 19:16:30] 895*2^1409459-1 is not prime. Res64: 9372CFE0A04530DB Time : 0.0 sec. user=mdettweiler [2015-09-16 19:32:04] 999*2^1409459-1 is not prime. Res64: A4192DA08570876A Time : 0.0 sec. user=mdettweiler [2015-09-16 19:32:05] 647*2^1409460-1 is not prime. Res64: 2FCD9A3EBC92254A Time : 0.0 sec. user=mdettweiler [2015-09-16 19:32:26] 707*2^1409460-1 is not prime. Res64: AA5A46979EDEFD2A Time : 0.0 sec. user=mdettweiler [2015-09-16 19:32:26] 725*2^1409460-1 is not prime. Res64: A63FFC6CCBC8F8EE Time : 0.0 sec. user=juhehe [2015-09-16 19:33:21] 923*2^1409458-1 is not prime. Res64: 772A5DBFCA01A15C Time : 0.0 sec. user=mdettweiler [2015-09-16 19:35:55] 651*2^1409461-1 is not prime. Res64: D12F776C55B43A44 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:35:56] 771*2^1409461-1 is not prime. Res64: 764C5B35BDF2EEDA Time : 0.0 sec. user=mdettweiler [2015-09-16 19:51:58] 777*2^1409461-1 is not prime. Res64: 8ECC2E71194FED3F Time : 0.0 sec. user=mdettweiler [2015-09-16 19:51:59] 951*2^1409461-1 is not prime. Res64: 906CD2761CB08565 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:52:20] 955*2^1409461-1 is not prime. Res64: 342617FB2DD7D313 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:52:20] 979*2^1409461-1 is not prime. Res64: BC0B58D52FE13AD0 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:55:52] 635*2^1409462-1 is not prime. Res64: 7505C2D21F1B4094 Time : 0.0 sec. user=mdettweiler [2015-09-16 19:55:52] 645*2^1409462-1 is not prime. Res64: E03BBA95F7B5BE09 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:12:16] 657*2^1409462-1 is not prime. Res64: 29545B9A113C059E Time : 0.0 sec. user=mdettweiler [2015-09-16 20:12:16] 705*2^1409462-1 is not prime. Res64: 320A67CCBD9E6F07 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:12:37] 743*2^1409462-1 is not prime. Res64: 1C07C4991390BFFE Time : 0.0 sec. user=mdettweiler [2015-09-16 20:12:37] 791*2^1409462-1 is not prime. Res64: 75B1129AD594EBA9 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:15:58] 797*2^1409462-1 is not prime. Res64: 00BAC1D2F8B90ADF Time : 0.0 sec. user=mdettweiler [2015-09-16 20:15:58] 827*2^1409462-1 is not prime. Res64: A3E913C15CA7BDF1 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:32:27] 857*2^1409462-1 is not prime. Res64: 9FB1F74A50A49CE2 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:32:27] 875*2^1409462-1 is not prime. Res64: 0388239D13E075CA Time : 0.0 sec. user=mdettweiler [2015-09-16 20:32:42] 911*2^1409462-1 is not prime. Res64: 9F09198C4B0B2201 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:32:42] 953*2^1409462-1 is not prime. Res64: 1A33C1B4200C26A8 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:36:10] 739*2^1409463-1 is not prime. Res64: D7E88591FB6E0E6D Time : 0.0 sec. user=mdettweiler [2015-09-16 20:36:10] 741*2^1409463-1 is not prime. Res64: E49BD29571D5D7AF Time : 0.0 sec. user=mdettweiler [2015-09-16 20:52:37] 751*2^1409463-1 is not prime. Res64: 2954919EBCC9A1B1 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:52:37] 789*2^1409463-1 is not prime. Res64: EADBF93C8EBD7B55 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:52:47] 795*2^1409463-1 is not prime. Res64: EA3A0B0CE164225A Time : 0.0 sec. user=mdettweiler [2015-09-16 20:52:47] 895*2^1409463-1 is not prime. Res64: 9B97B6B8CE718EA2 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:56:16] 759*2^1409464-1 is not prime. Res64: 740D4E8B710AEFF1 Time : 0.0 sec. user=mdettweiler [2015-09-16 20:56:16] 773*2^1409464-1 is not prime. Res64: 59AF3D229F60EA62 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:12:43] 857*2^1409464-1 is not prime. Res64: 7D1C40C8717EBBC3 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:12:43] 923*2^1409464-1 is not prime. Res64: 92F9DD102EA3D900 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:12:54] 927*2^1409464-1 is not prime. Res64: 51AD48603F155ECC Time : 0.0 sec. user=mdettweiler [2015-09-16 21:12:54] 915*2^1409465-1 is not prime. Res64: 307DB01B4A776BB2 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:16:23] 671*2^1409466-1 is not prime. Res64: E22266EDE9732B40 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:16:24] 683*2^1409466-1 is not prime. Res64: C5FFA4A49625E526 Time : 0.0 sec. user=juhehe [2015-09-16 21:32:27] 955*2^1409465-1 is not prime. Res64: 99602AA84F7C18E4 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:32:52] 807*2^1409466-1 is not prime. Res64: BF0145321D90557B Time : 0.0 sec. user=mdettweiler [2015-09-16 21:32:52] 837*2^1409466-1 is not prime. Res64: BBD69A486B8FF3DD Time : 0.0 sec. user=mdettweiler [2015-09-16 21:33:00] 873*2^1409466-1 is not prime. Res64: DC30D78B8F0A0395 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:33:00] 891*2^1409466-1 is not prime. Res64: BDD4496CC6ED269C Time : 0.0 sec. user=mdettweiler [2015-09-16 21:36:29] 893*2^1409466-1 is not prime. Res64: 4C752CC0062D770A Time : 0.0 sec. user=mdettweiler [2015-09-16 21:36:30] 917*2^1409466-1 is not prime. Res64: 2AAD4E565725BAE6 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:53:03] 639*2^1409467-1 is not prime. Res64: 9438721B832B3631 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:53:03] 819*2^1409467-1 is not prime. Res64: 867E17F01FC722C9 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:53:12] 913*2^1409467-1 is not prime. Res64: 8CF707E1ED5F3D33 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:53:12] 699*2^1409468-1 is not prime. Res64: 191F343FCFF8B266 Time : 0.0 sec. user=mdettweiler [2015-09-16 21:56:41] 839*2^1409468-1 is not prime. Res64: E5879E398633651B Time : 0.0 sec. user=mdettweiler [2015-09-16 21:56:41] 875*2^1409468-1 is not prime. Res64: 2692FE619F4EF72C Time : 0.0 sec. user=mdettweiler [2015-09-16 22:13:20] 885*2^1409468-1 is not prime. Res64: 181981B77790E6F5 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:13:21] 661*2^1409469-1 is not prime. Res64: 0105304CE34CF816 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:13:31] 669*2^1409469-1 is not prime. Res64: 091A1804C4A30E00 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:13:31] 685*2^1409469-1 is not prime. Res64: B0F40878885FA0FB Time : 0.0 sec. user=mdettweiler [2015-09-16 22:16:51] 691*2^1409469-1 is not prime. Res64: 95CCC05879E0A143 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:16:51] 709*2^1409469-1 is not prime. Res64: B07313AE1EA311FA Time : 0.0 sec. user=mdettweiler [2015-09-16 22:33:04] 817*2^1409469-1 is not prime. Res64: 6667DC9627BD533C Time : 0.0 sec. user=mdettweiler [2015-09-16 22:33:05] 861*2^1409469-1 is not prime. Res64: C8CA3A002D928BFC Time : 0.0 sec. user=mdettweiler [2015-09-16 22:33:14] 635*2^1409470-1 is not prime. Res64: 08834684AC6A6D39 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:33:14] 741*2^1409470-1 is not prime. Res64: 584BA2DA098D882C Time : 0.0 sec. user=mdettweiler [2015-09-16 22:36:38] 785*2^1409470-1 is not prime. Res64: 0C266DEC2B970334 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:36:38] 813*2^1409470-1 is not prime. Res64: 346DA7416EF4A627 Time : 0.0 sec. user=juhehe [2015-09-16 22:50:45] 795*2^1409469-1 is not prime. Res64: 8EA93F791BA4A2D1 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:51:16] 857*2^1409470-1 is not prime. Res64: 864770F7084E56DB Time : 0.0 sec. user=mdettweiler [2015-09-16 22:51:17] 887*2^1409470-1 is not prime. Res64: E0C76B931972BBE5 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:51:25] 975*2^1409470-1 is not prime. Res64: A41A0F32E1F39624 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:51:26] 981*2^1409470-1 is not prime. Res64: 2FB3A23247587140 Time : 0.0 sec. user=mdettweiler [2015-09-16 22:54:30] 621*2^1409471-1 is not prime. Res64: 2D4AD22594A49F1E Time : 0.0 sec. user=mdettweiler [2015-09-16 22:54:30] 741*2^1409471-1 is not prime. Res64: FAAAE54360839913 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:08:54] 789*2^1409471-1 is not prime. Res64: C3518F913D51FD56 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:08:55] 841*2^1409471-1 is not prime. Res64: 30A08D0CCAE21F4C Time : 0.0 sec. user=mdettweiler [2015-09-16 23:09:02] 843*2^1409471-1 is not prime. Res64: 003B1ED252B42250 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:09:02] 879*2^1409471-1 is not prime. Res64: 5E71C7DD0A13121B Time : 0.0 sec. user=mdettweiler [2015-09-16 23:12:02] 901*2^1409471-1 is not prime. Res64: 73F25060BF9A795F Time : 0.0 sec. user=mdettweiler [2015-09-16 23:12:03] 909*2^1409471-1 is not prime. Res64: 22E8D45ABEB20274 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:26:18] 931*2^1409471-1 is not prime. Res64: B6E6B0ED26E48C03 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:26:18] 991*2^1409471-1 is not prime. Res64: BFDADF9AC45ACFBD Time : 0.0 sec. user=mdettweiler [2015-09-16 23:26:23] 615*2^1409472-1 is not prime. Res64: B2F02D01ED2B8DF0 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:26:23] 657*2^1409472-1 is not prime. Res64: 75547EAD718732B7 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:29:26] 669*2^1409472-1 is not prime. Res64: AF4AC8D8ACDEBA7A Time : 0.0 sec. user=mdettweiler [2015-09-16 23:29:26] 683*2^1409472-1 is not prime. Res64: 80A62F823585E2D6 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:44:35] 843*2^1409472-1 is not prime. Res64: 652F9ECF0F3F94B6 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:44:35] 887*2^1409472-1 is not prime. Res64: 89A0B86EF3E5CC03 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:44:41] 929*2^1409472-1 is not prime. Res64: 65F0F63A08466217 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:44:41] 935*2^1409472-1 is not prime. Res64: 4FCF924C2273F10D Time : 0.0 sec. user=mdettweiler [2015-09-16 23:47:47] 959*2^1409472-1 is not prime. Res64: D9BCDA7FB89C4B99 Time : 0.0 sec. user=mdettweiler [2015-09-16 23:47:48] 977*2^1409472-1 is not prime. Res64: B581F630F3818A69 Time : 0.0 sec.