user=mdettweiler [2016-09-01 00:04:36] 783*2^1438471-1 is not prime. Res64: B7679583948920B1 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:04:39] 617*2^1438472-1 is not prime. Res64: C15F51FB940A4186 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:04:40] 629*2^1438472-1 is not prime. Res64: 6721E8141732FABB Time : 0.0 sec. user=mdettweiler [2016-09-01 00:04:41] 645*2^1438472-1 is not prime. Res64: 7AAB123E9A9FB546 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:04:42] 677*2^1438472-1 is not prime. Res64: 34CE2F86D64D6EF2 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:14:41] 683*2^1438472-1 is not prime. Res64: B7A004AB0D2074AE Time : 0.0 sec. user=mdettweiler [2016-09-01 00:14:42] 693*2^1438472-1 is not prime. Res64: 39BBF43B870E3AA0 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:14:43] 725*2^1438472-1 is not prime. Res64: E51B4A665A4FC93A Time : 0.0 sec. user=mdettweiler [2016-09-01 00:14:43] 797*2^1438472-1 is not prime. Res64: BD7ED1C7D6087627 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:14:44] 827*2^1438472-1 is not prime. Res64: E103966220289FFE Time : 0.0 sec. user=mdettweiler [2016-09-01 00:29:25] 691*2^1438473-1 is not prime. Res64: 26C3873599B9E89C Time : 0.0 sec. user=mdettweiler [2016-09-01 00:29:26] 727*2^1438473-1 is not prime. Res64: F6347EBC4CB1B49A Time : 0.0 sec. user=mdettweiler [2016-09-01 00:29:26] 849*2^1438473-1 is not prime. Res64: D4F4A90C9E7E5B43 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:29:28] 895*2^1438473-1 is not prime. Res64: 2C3506071F575D27 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:29:31] 979*2^1438473-1 is not prime. Res64: 7B57F51BA1E122AF Time : 0.0 sec. user=mdettweiler [2016-09-01 00:50:44] 991*2^1438473-1 is not prime. Res64: B2083E442ABBBE62 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:50:45] 663*2^1438474-1 is not prime. Res64: 0AE6A69C695F2D9C Time : 0.0 sec. user=mdettweiler [2016-09-01 00:50:45] 665*2^1438474-1 is not prime. Res64: C0F41D934166FA68 Time : 0.0 sec. user=mdettweiler [2016-09-01 00:50:45] 731*2^1438474-1 is not prime. Res64: 153B3F0441FF32CB Time : 0.0 sec. user=mdettweiler [2016-09-01 00:50:46] 737*2^1438474-1 is not prime. Res64: E88AAD15A276ACA7 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:01:14] 755*2^1438474-1 is not prime. Res64: 34F8FC12AFE76ABB Time : 0.0 sec. user=mdettweiler [2016-09-01 01:01:22] 765*2^1438474-1 is not prime. Res64: EF87E49D9313AC7A Time : 0.0 sec. user=mdettweiler [2016-09-01 01:01:25] 771*2^1438475-1 is not prime. Res64: B5017E8467175E2B Time : 0.0 sec. user=mdettweiler [2016-09-01 01:01:26] 789*2^1438475-1 is not prime. Res64: 192E13CCE3BB5B52 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:01:27] 843*2^1438475-1 is not prime. Res64: 9E1B63BBBBE4D150 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:16:10] 883*2^1438475-1 is not prime. Res64: 3FDCB79DA823164E Time : 0.0 sec. user=mdettweiler [2016-09-01 01:16:11] 943*2^1438475-1 is not prime. Res64: 3CCD6CDC09B65DE2 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:16:12] 963*2^1438475-1 is not prime. Res64: 3FBD89F5EB32F890 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:16:12] 773*2^1438476-1 is not prime. Res64: 6E6FB954D249DD11 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:16:13] 777*2^1438476-1 is not prime. Res64: 0183F815F0D73275 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:36:56] 873*2^1438476-1 is not prime. Res64: 610E524A0E8553A9 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:36:56] 927*2^1438476-1 is not prime. Res64: F291495B11507251 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:36:57] 983*2^1438476-1 is not prime. Res64: 6F5F2A40C2D8FB0D Time : 0.0 sec. user=mdettweiler [2016-09-01 01:36:59] 601*2^1438477-1 is not prime. Res64: 3795DA0C35DE98C5 Time : 0.0 sec. user=mdettweiler [2016-09-01 01:36:59] 675*2^1438477-1 is not prime. Res64: 7A3244691A933158 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:03:42] 657*2^1438478-1 is not prime. Res64: C81015941558F89F Time : 0.0 sec. user=mdettweiler [2016-09-01 02:03:44] 755*2^1438478-1 is not prime. Res64: 26E62E4995B4F064 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:03:45] 795*2^1438478-1 is not prime. Res64: 85DA8DD0C4F93D0E Time : 0.0 sec. user=mdettweiler [2016-09-01 02:03:46] 971*2^1438478-1 is not prime. Res64: 3DE527F98A13AA95 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:03:47] 661*2^1438479-1 is not prime. Res64: 37D079D3C9D90CFF Time : 0.0 sec. user=mdettweiler [2016-09-01 02:26:01] 891*2^1438479-1 is not prime. Res64: E0E08D925036A796 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:26:01] 675*2^1438480-1 is not prime. Res64: B0CAC5D25FE3B86E Time : 0.0 sec. user=mdettweiler [2016-09-01 02:26:02] 677*2^1438480-1 is not prime. Res64: 593A8C157DD57703 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:26:02] 743*2^1438480-1 is not prime. Res64: 47A948446D3E6AE8 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:26:02] 755*2^1438480-1 is not prime. Res64: 47DC90835C45BBEB Time : 0.0 sec. user=mdettweiler [2016-09-01 02:47:30] 957*2^1438469-1 is not prime. Res64: CA588B6B246CE936 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:47:30] 969*2^1438469-1 is not prime. Res64: 90D41A637F4ABC31 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:47:31] 861*2^1438470-1 is not prime. Res64: 470DA0C68CB20974 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:47:31] 917*2^1438470-1 is not prime. Res64: E2A44953A278D5C6 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:47:32] 1001*2^1438470-1 is not prime. Res64: 52334F48A37D4EBE Time : 0.0 sec. user=mdettweiler [2016-09-01 02:53:23] 765*2^1438480-1 is not prime. Res64: AF983F347BC35055 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:53:23] 917*2^1438480-1 is not prime. Res64: 0DEDBB861714D2E8 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:53:24] 657*2^1438481-1 is not prime. Res64: 44252515F1646DCC Time : 0.0 sec. user=mdettweiler [2016-09-01 02:53:24] 697*2^1438481-1 is not prime. Res64: 8F7DAC75A6A145B5 Time : 0.0 sec. user=mdettweiler [2016-09-01 02:53:24] 727*2^1438481-1 is not prime. Res64: 35586A35C78EF8D7 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:13:01] 769*2^1438481-1 is not prime. Res64: 7DEFC3FF56BC91D1 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:13:02] 789*2^1438481-1 is not prime. Res64: 1330F2CBDA73B6E7 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:13:02] 879*2^1438481-1 is not prime. Res64: F564F7CA2C5D374C Time : 0.0 sec. user=mdettweiler [2016-09-01 03:13:02] 909*2^1438481-1 is not prime. Res64: 671FB39868693C85 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:13:03] 955*2^1438481-1 is not prime. Res64: 7B48579E9121FE00 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:33:55] 837*2^1438482-1 is not prime. Res64: B5545E2182398B3E Time : 0.0 sec. user=mdettweiler [2016-09-01 03:33:56] 873*2^1438482-1 is not prime. Res64: AD01131107D3B52B Time : 0.0 sec. user=mdettweiler [2016-09-01 03:33:57] 887*2^1438482-1 is not prime. Res64: 8DF7C9FD0284C3FE Time : 0.0 sec. user=mdettweiler [2016-09-01 03:33:57] 699*2^1438483-1 is not prime. Res64: A53DE45AE04609A4 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:33:58] 745*2^1438483-1 is not prime. Res64: 1374B87645373838 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:39:37] 771*2^1438483-1 is not prime. Res64: 88D07B1DD012DB80 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:39:38] 943*2^1438483-1 is not prime. Res64: 87B27485B2FC8043 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:39:39] 945*2^1438483-1 is not prime. Res64: 38594A7C7984ADB9 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:39:40] 635*2^1438484-1 is not prime. Res64: 1EE7511E45C75A6B Time : 0.0 sec. user=mdettweiler [2016-09-01 03:39:41] 665*2^1438484-1 is not prime. Res64: 285A6B9CCF152986 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:59:17] 677*2^1438484-1 is not prime. Res64: 57E1D1E9B4A9DA7B Time : 0.0 sec. user=mdettweiler [2016-09-01 03:59:17] 869*2^1438484-1 is not prime. Res64: 2F89C04387B96B45 Time : 0.0 sec. user=mdettweiler [2016-09-01 03:59:18] 899*2^1438484-1 is not prime. Res64: E5A5B4ED7F34D5CD Time : 0.0 sec. user=mdettweiler [2016-09-01 03:59:18] 709*2^1438485-1 is not prime. Res64: B7485A457D2C3AFB Time : 0.0 sec. user=mdettweiler [2016-09-01 03:59:19] 817*2^1438485-1 is not prime. Res64: 7575BA40639AB447 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:20:04] 885*2^1438485-1 is not prime. Res64: 2F5009E1C7811AB7 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:20:05] 969*2^1438485-1 is not prime. Res64: EC2C48E0DB92CCE5 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:20:05] 623*2^1438486-1 is not prime. Res64: BE721F092083F34F Time : 0.0 sec. user=mdettweiler [2016-09-01 04:20:05] 843*2^1438486-1 is not prime. Res64: 56EA6D59AB49C127 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:20:06] 933*2^1438486-1 is not prime. Res64: E83849187971F2BA Time : 0.0 sec. user=mdettweiler [2016-09-01 04:22:42] 801*2^1438477-1 is not prime. Res64: 31C30CDFEC179FC5 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:22:42] 895*2^1438477-1 is not prime. Res64: D4897653ECDC376F Time : 0.0 sec. user=mdettweiler [2016-09-01 04:22:43] 937*2^1438477-1 is not prime. Res64: 191C2FDAFE73E192 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:22:43] 997*2^1438477-1 is not prime. Res64: 8F35FBE5A865C365 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:22:43] 627*2^1438478-1 is not prime. Res64: D0224A89F1086FC0 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:25:26] 663*2^1438487-1 is not prime. Res64: 0962F8D771F5316F Time : 0.0 sec. user=mdettweiler [2016-09-01 04:25:27] 669*2^1438487-1 is not prime. Res64: 8D0A9E1BC81A2A14 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:25:27] 931*2^1438487-1 is not prime. Res64: F801F9992F5669F6 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:25:27] 635*2^1438488-1 is not prime. Res64: E09C8D4D74DB68C7 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:25:28] 753*2^1438488-1 is not prime. Res64: 912C7A6E2E0B05D3 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:44:55] 809*2^1438488-1 is not prime. Res64: 0FBC9A479AA0BF1A Time : 0.0 sec. user=mdettweiler [2016-09-01 04:44:56] 879*2^1438488-1 is not prime. Res64: 5C5CF1ED34487E04 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:44:56] 899*2^1438488-1 is not prime. Res64: F1DBBC3DB905D110 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:44:56] 929*2^1438488-1 is not prime. Res64: 6927C58E6D6BADB0 Time : 0.0 sec. user=mdettweiler [2016-09-01 04:44:57] 681*2^1438489-1 is not prime. Res64: DE9F45360480EDD7 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:05:18] 687*2^1438489-1 is not prime. Res64: 9A3BF21C941A1ACE Time : 0.0 sec. user=mdettweiler [2016-09-01 05:05:19] 705*2^1438489-1 is not prime. Res64: ED3C785FBAE1B70B Time : 0.0 sec. user=mdettweiler [2016-09-01 05:05:21] 861*2^1438489-1 is not prime. Res64: 9AF1474179259EE0 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:05:22] 605*2^1438490-1 is not prime. Res64: F9BDA796B788E09F Time : 0.0 sec. user=mdettweiler [2016-09-01 05:05:23] 633*2^1438490-1 is not prime. Res64: 48AB717CA19E5680 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:08:00] 665*2^1438490-1 is not prime. Res64: ABB382FD562508A7 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:08:01] 735*2^1438490-1 is not prime. Res64: 4E15C8187FD517AC Time : 0.0 sec. user=mdettweiler [2016-09-01 05:08:01] 857*2^1438490-1 is not prime. Res64: 6ACED30122E2A081 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:08:02] 875*2^1438490-1 is not prime. Res64: F3B6A94E49CFBE85 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:08:02] 941*2^1438490-1 is not prime. Res64: F13F168A90441AB7 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:10:36] 977*2^1438490-1 is not prime. Res64: 661C29D9580B92E7 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:10:36] 703*2^1438491-1 is not prime. Res64: 3AA460DB94A3A755 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:10:37] 751*2^1438491-1 is not prime. Res64: 56FBE6BE40312434 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:10:37] 769*2^1438491-1 is not prime. Res64: 48FBB1A6C300FC42 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:10:37] 781*2^1438491-1 is not prime. Res64: 578337BFAC9F6BAE Time : 0.0 sec. user=mdettweiler [2016-09-01 05:29:46] 783*2^1438491-1 is not prime. Res64: 31AF656378CB8278 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:29:47] 835*2^1438491-1 is not prime. Res64: 395FED3792C1445E Time : 0.0 sec. user=mdettweiler [2016-09-01 05:29:47] 891*2^1438491-1 is not prime. Res64: 66E642EC1A266640 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:29:48] 909*2^1438491-1 is not prime. Res64: 4EB5DED24525BBDA Time : 0.0 sec. user=mdettweiler [2016-09-01 05:29:48] 975*2^1438491-1 is not prime. Res64: 99A96DEDBC9E2325 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:50:35] 603*2^1438492-1 is not prime. Res64: 922C86AC29C77F47 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:50:35] 635*2^1438492-1 is not prime. Res64: 51B74A5D7D3DD332 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:50:36] 639*2^1438492-1 is not prime. Res64: DBB0BAB21C60F3F7 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:50:36] 803*2^1438492-1 is not prime. Res64: EBF2DEECE278202C Time : 0.0 sec. user=mdettweiler [2016-09-01 05:50:36] 825*2^1438492-1 is not prime. Res64: 3C8CAE5EC0D2282D Time : 0.0 sec. user=mdettweiler [2016-09-01 05:53:00] 897*2^1438492-1 is not prime. Res64: 71E6D6700692D77F Time : 0.0 sec. user=mdettweiler [2016-09-01 05:53:00] 915*2^1438492-1 is not prime. Res64: 7707468E21C5B611 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:53:01] 929*2^1438492-1 is not prime. Res64: 31B77292F1F661E8 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:53:01] 627*2^1438493-1 is not prime. Res64: 5E5DE4D5AD86CBA1 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:53:02] 657*2^1438493-1 is not prime. Res64: 34D5A5BE240F5EF2 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:55:39] 759*2^1438493-1 is not prime. Res64: DA412259866BB879 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:55:39] 837*2^1438493-1 is not prime. Res64: A2FD8085DB790937 Time : 0.0 sec. user=mdettweiler [2016-09-01 05:55:39] 847*2^1438493-1 is not prime. Res64: 881F70AD3789324E Time : 0.0 sec. user=mdettweiler [2016-09-01 05:55:40] 871*2^1438493-1 is not prime. Res64: C1C6DFAEFDDB656A Time : 0.0 sec. user=mdettweiler [2016-09-01 05:55:40] 957*2^1438493-1 is not prime. Res64: B6242A747642A834 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:14:45] 605*2^1438494-1 is not prime. Res64: 00A3B7AA8107D189 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:14:46] 635*2^1438494-1 is not prime. Res64: 37C762852B017B6F Time : 0.0 sec. user=mdettweiler [2016-09-01 06:14:46] 651*2^1438494-1 is not prime. Res64: B9B9C8DAC83227D1 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:14:46] 711*2^1438494-1 is not prime. Res64: AA5BE6757AEB4F16 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:14:47] 893*2^1438494-1 is not prime. Res64: C1280C3D4166929E Time : 0.0 sec. user=mdettweiler [2016-09-01 06:35:39] 723*2^1438495-1 is not prime. Res64: A9233C4E3263B01F Time : 0.0 sec. user=mdettweiler [2016-09-01 06:35:40] 771*2^1438495-1 is not prime. Res64: 13285E563C5D1782 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:35:40] 853*2^1438495-1 is not prime. Res64: 28D781ABD96E8060 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:35:41] 859*2^1438495-1 is not prime. Res64: AB2730476803A9BF Time : 0.0 sec. user=mdettweiler [2016-09-01 06:35:41] 925*2^1438495-1 is not prime. Res64: D51993DC4D8CCF43 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:38:15] 693*2^1438496-1 is not prime. Res64: 33BF770D834A8411 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:38:16] 699*2^1438496-1 is not prime. Res64: 26E65425114F3AF9 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:38:16] 735*2^1438496-1 is not prime. Res64: 1A72347D3C92F8C3 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:38:17] 875*2^1438496-1 is not prime. Res64: 50A5D07A677043FF Time : 0.0 sec. user=mdettweiler [2016-09-01 06:38:17] 917*2^1438496-1 is not prime. Res64: AA69653BE4B04882 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:40:52] 957*2^1438496-1 is not prime. Res64: 30945BE958E62EB4 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:40:53] 983*2^1438496-1 is not prime. Res64: 9BBFCA62E58A2756 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:40:53] 649*2^1438497-1 is not prime. Res64: 47597D1D45011D68 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:40:53] 711*2^1438497-1 is not prime. Res64: 107EA42C9294565C Time : 0.0 sec. user=mdettweiler [2016-09-01 06:40:54] 751*2^1438497-1 is not prime. Res64: F49E888ECB08DA5C Time : 0.0 sec. user=mdettweiler [2016-09-01 06:59:49] 769*2^1438497-1 is not prime. Res64: A6522EFB093C4551 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:59:50] 837*2^1438497-1 is not prime. Res64: 868F707BB1551833 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:59:50] 999*2^1438497-1 is not prime. Res64: E7940F18AE1E286B Time : 0.0 sec. user=mdettweiler [2016-09-01 06:59:50] 645*2^1438498-1 is not prime. Res64: D4E3A0EC5AEC4993 Time : 0.0 sec. user=mdettweiler [2016-09-01 06:59:51] 657*2^1438498-1 is not prime. Res64: CEC3908044EDBBAE Time : 0.0 sec. user=mdettweiler [2016-09-01 07:20:36] 687*2^1438498-1 is not prime. Res64: 6F4BB550726B8291 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:20:36] 777*2^1438498-1 is not prime. Res64: 3EAA810BEA2DFB8B Time : 0.0 sec. user=mdettweiler [2016-09-01 07:20:37] 995*2^1438498-1 is not prime. Res64: FA26BAE94EC85BE2 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:20:37] 615*2^1438499-1 is not prime. Res64: 5A37EF0CF7CED59B Time : 0.0 sec. user=mdettweiler [2016-09-01 07:20:38] 655*2^1438499-1 is not prime. Res64: 897E7F7D5FDA9D40 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:23:14] 799*2^1438499-1 is not prime. Res64: 4927A30904C82A19 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:23:15] 885*2^1438499-1 is not prime. Res64: 8D32BC809E752ADD Time : 0.0 sec. user=mdettweiler [2016-09-01 07:23:15] 895*2^1438499-1 is not prime. Res64: 9C5ADECF792759F7 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:23:15] 909*2^1438499-1 is not prime. Res64: D2FB46CA7933E127 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:23:16] 985*2^1438499-1 is not prime. Res64: 0C05F1CDCDBFA0FB Time : 0.0 sec. user=mdettweiler [2016-09-01 07:25:43] 693*2^1438500-1 is not prime. Res64: 436E9F42383D691D Time : 0.0 sec. user=mdettweiler [2016-09-01 07:25:43] 717*2^1438500-1 is not prime. Res64: 699F412C52777FB0 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:25:44] 723*2^1438500-1 is not prime. Res64: F4552C3FC1F216F2 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:25:44] 725*2^1438500-1 is not prime. Res64: B72185F6EEA31C7C Time : 0.0 sec. user=mdettweiler [2016-09-01 07:25:44] 753*2^1438500-1 is not prime. Res64: 9BEE8FE8E8590C5A Time : 0.0 sec. user=mdettweiler [2016-09-01 07:44:50] 875*2^1438500-1 is not prime. Res64: D967B418F3545DCC Time : 0.0 sec. user=mdettweiler [2016-09-01 07:44:50] 645*2^1438501-1 is not prime. Res64: D99D27AB7C96BB24 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:44:50] 799*2^1438501-1 is not prime. Res64: FDAC27DB70AF289B Time : 0.0 sec. user=mdettweiler [2016-09-01 07:44:51] 861*2^1438501-1 is not prime. Res64: 21EBBFC02D4EF7A5 Time : 0.0 sec. user=mdettweiler [2016-09-01 07:44:51] 615*2^1438502-1 is not prime. Res64: 743B44C36E87C8F0 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:05:41] 671*2^1438502-1 is not prime. Res64: C92C8047EBFB07FE Time : 0.0 sec. user=mdettweiler [2016-09-01 08:05:42] 683*2^1438502-1 is not prime. Res64: C48EC32280F4C720 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:05:43] 813*2^1438502-1 is not prime. Res64: 20EEACDBA0F47C2F Time : 0.0 sec. user=mdettweiler [2016-09-01 08:05:45] 825*2^1438502-1 is not prime. Res64: FF79EC246DF2F157 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:05:47] 831*2^1438502-1 is not prime. Res64: E616740B28902971 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:08:23] 613*2^1438503-1 is not prime. Res64: 1F0844E79AFC3F8A Time : 0.0 sec. user=mdettweiler [2016-09-01 08:08:24] 615*2^1438503-1 is not prime. Res64: F7C122CBADB0B358 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:08:24] 705*2^1438503-1 is not prime. Res64: 1F43B06F808A3AC8 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:08:24] 885*2^1438503-1 is not prime. Res64: 9A6086B667C0A6B6 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:08:25] 943*2^1438503-1 is not prime. Res64: EB964EECC4B2F61D Time : 0.0 sec. user=mdettweiler [2016-09-01 08:11:05] 949*2^1438503-1 is not prime. Res64: 9B02065FECC66F64 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:11:06] 617*2^1438504-1 is not prime. Res64: 8F0667AAC8E1B6D9 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:11:06] 719*2^1438504-1 is not prime. Res64: B35789CC05BEFE00 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:11:07] 843*2^1438504-1 is not prime. Res64: 636AC2BED1F111BB Time : 0.0 sec. user=mdettweiler [2016-09-01 08:11:07] 875*2^1438504-1 is not prime. Res64: 83E0CC3F5ED1FC64 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:30:09] 657*2^1438505-1 is not prime. Res64: CEC5741BB001E0FC Time : 0.0 sec. user=mdettweiler [2016-09-01 08:30:09] 685*2^1438505-1 is not prime. Res64: 402AC4AA9DF9D8AB Time : 0.0 sec. user=mdettweiler [2016-09-01 08:30:09] 717*2^1438505-1 is not prime. Res64: 2C81B37A1F5CAA31 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:30:10] 729*2^1438505-1 is not prime. Res64: 5FEF5A24CD4B657F Time : 0.0 sec. user=mdettweiler [2016-09-01 08:30:10] 795*2^1438505-1 is not prime. Res64: A426B293D5770A34 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:50:55] 841*2^1438505-1 is not prime. Res64: 45B939E8EC446082 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:50:56] 847*2^1438505-1 is not prime. Res64: 439EAD144F40B413 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:50:56] 981*2^1438505-1 is not prime. Res64: 0EA0BD1458CECAD7 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:50:56] 713*2^1438506-1 is not prime. Res64: F6342807CD881D8E Time : 0.0 sec. user=mdettweiler [2016-09-01 08:50:57] 747*2^1438506-1 is not prime. Res64: 567534ED864CEF18 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:53:27] 767*2^1438506-1 is not prime. Res64: 6E11B33B8541A1F1 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:53:28] 801*2^1438506-1 is not prime. Res64: 85AA1E9E2D4FCFE3 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:53:28] 843*2^1438506-1 is not prime. Res64: 85B054C14CB01BFF Time : 0.0 sec. user=mdettweiler [2016-09-01 08:53:28] 633*2^1438507-1 is not prime. Res64: A240345C8C12AD58 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:53:29] 691*2^1438507-1 is not prime. Res64: 7B33D1E0B41BF995 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:56:22] 849*2^1438507-1 is not prime. Res64: DF1903C15A8B0680 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:56:22] 617*2^1438508-1 is not prime. Res64: 4074FC15FAF89875 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:56:23] 663*2^1438508-1 is not prime. Res64: AB26E41DD9FB93AF Time : 0.0 sec. user=mdettweiler [2016-09-01 08:56:23] 773*2^1438508-1 is not prime. Res64: 170A5D55010F2741 Time : 0.0 sec. user=mdettweiler [2016-09-01 08:56:23] 813*2^1438508-1 is not prime. Res64: CDDF4AD789BA3BFD Time : 0.0 sec. user=mdettweiler [2016-09-01 09:15:10] 843*2^1438508-1 is not prime. Res64: 13CF3C8A61B6D5E1 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:15:11] 845*2^1438508-1 is not prime. Res64: 4147D6F6D5045B42 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:15:11] 855*2^1438508-1 is not prime. Res64: 22468F94D55F0ED5 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:15:11] 885*2^1438508-1 is not prime. Res64: 8B4CCE35410714A0 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:15:12] 963*2^1438508-1 is not prime. Res64: 11244F1DBF27EEE0 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:35:48] 625*2^1438509-1 is not prime. Res64: 4644F2F8E26E3FB6 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:35:48] 669*2^1438509-1 is not prime. Res64: F1EEF9D953654532 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:35:49] 675*2^1438509-1 is not prime. Res64: B5053B671DD88649 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:35:49] 787*2^1438509-1 is not prime. Res64: D8CF6E0E16907119 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:35:49] 919*2^1438509-1 is not prime. Res64: 0A490B5C6B3F26E4 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:38:21] 987*2^1438509-1 is not prime. Res64: 2A619AD6CC9CC793 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:38:21] 653*2^1438510-1 is not prime. Res64: 6F2C70764AD15621 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:38:22] 717*2^1438510-1 is not prime. Res64: 0E7902DD48EB62AB Time : 0.0 sec. user=mdettweiler [2016-09-01 09:38:22] 741*2^1438510-1 is not prime. Res64: 90C5067F319B9688 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:38:22] 773*2^1438510-1 is not prime. Res64: EA37405BBB07683A Time : 0.0 sec. user=mdettweiler [2016-09-01 09:41:34] 863*2^1438510-1 is not prime. Res64: 2A01CF6C48F251FB Time : 0.0 sec. user=mdettweiler [2016-09-01 09:41:34] 965*2^1438510-1 is not prime. Res64: D0FA90686CEB7612 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:41:34] 609*2^1438511-1 is not prime. Res64: FD56D142F78E1D3B Time : 0.0 sec. user=mdettweiler [2016-09-01 09:41:35] 615*2^1438511-1 is not prime. Res64: 3D3BFD4D20EB4131 Time : 0.0 sec. user=mdettweiler [2016-09-01 09:41:35] 619*2^1438511-1 is not prime. Res64: 3AB6B6200A59E079 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:00:23] 663*2^1438511-1 is not prime. Res64: E8639CE0EE533153 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:00:24] 679*2^1438511-1 is not prime. Res64: E676EB059911312B Time : 0.0 sec. user=mdettweiler [2016-09-01 10:00:25] 711*2^1438511-1 is not prime. Res64: 6E92608E7828EE80 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:00:26] 823*2^1438511-1 is not prime. Res64: 3E57462F308ABAC6 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:00:27] 879*2^1438511-1 is not prime. Res64: 60F722FB2E57B9C0 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:21:01] 913*2^1438511-1 is not prime. Res64: BDB6DE5A059ABD1F Time : 0.0 sec. user=mdettweiler [2016-09-01 10:21:01] 699*2^1438512-1 is not prime. Res64: A1E9090F20A2630E Time : 0.0 sec. user=mdettweiler [2016-09-01 10:21:02] 713*2^1438512-1 is not prime. Res64: 07B12DB7F9B17A50 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:21:02] 765*2^1438512-1 is not prime. Res64: 3171BB955BC2875E Time : 0.0 sec. user=mdettweiler [2016-09-01 10:21:03] 797*2^1438512-1 is not prime. Res64: AD8E6921B6BC9BF7 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:23:18] 815*2^1438512-1 is not prime. Res64: D7024F0253A4676E Time : 0.0 sec. user=mdettweiler [2016-09-01 10:23:19] 899*2^1438512-1 is not prime. Res64: BEF7D06FF05E610B Time : 0.0 sec. user=mdettweiler [2016-09-01 10:23:19] 917*2^1438512-1 is not prime. Res64: 59455042E060E2DB Time : 0.0 sec. user=mdettweiler [2016-09-01 10:23:20] 959*2^1438512-1 is not prime. Res64: 4C09A0C87426433D Time : 0.0 sec. user=mdettweiler [2016-09-01 10:23:20] 649*2^1438513-1 is not prime. Res64: E0C5E521A8EE8D74 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:26:40] 691*2^1438513-1 is not prime. Res64: D1AAE90F061AE4F6 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:26:40] 705*2^1438513-1 is not prime. Res64: CF03F373E08FA7D3 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:26:41] 727*2^1438513-1 is not prime. Res64: 34681821765EB77E Time : 0.0 sec. user=mdettweiler [2016-09-01 10:26:41] 769*2^1438513-1 is not prime. Res64: 2B89FE2556F0E461 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:26:41] 861*2^1438513-1 is not prime. Res64: 2E81742518DDC7B5 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:45:55] 895*2^1438513-1 is not prime. Res64: 246E035D852A1D52 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:45:56] 615*2^1438514-1 is not prime. Res64: CD9DB5B497318308 Time : 0.0 sec. user=mdettweiler [2016-09-01 10:45:57] 641*2^1438514-1 is not prime. Res64: D552DD99B1D575EA Time : 0.0 sec. user=mdettweiler [2016-09-01 10:45:57] 665*2^1438514-1 is not prime. Res64: 0147C0C143E1B78D Time : 0.0 sec. user=mdettweiler [2016-09-01 10:45:57] 741*2^1438514-1 is not prime. Res64: 9BA174D0C00FE60F Time : 0.0 sec. user=mdettweiler [2016-09-01 11:06:55] 941*2^1438514-1 is not prime. Res64: 57CAAC7F43A31B63 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:06:57] 957*2^1438514-1 is not prime. Res64: B1B001CDA3AD0A99 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:06:57] 639*2^1438515-1 is not prime. Res64: 74482A20F72C5C48 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:06:58] 795*2^1438515-1 is not prime. Res64: 102D3BA137721345 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:07:00] 859*2^1438515-1 is not prime. Res64: C1F41BF90CB32D58 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:09:13] 943*2^1438515-1 is not prime. Res64: 19A51C3CB1391D70 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:09:14] 973*2^1438515-1 is not prime. Res64: 08212A6BBFBC5C02 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:09:14] 991*2^1438515-1 is not prime. Res64: 59290C9AE8984EE0 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:09:14] 999*2^1438515-1 is not prime. Res64: 1AA578ABC1B606CD Time : 0.0 sec. user=mdettweiler [2016-09-01 11:09:15] 773*2^1438516-1 is not prime. Res64: 2359C67266603008 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:12:27] 939*2^1438516-1 is not prime. Res64: FDCE9CBA6C0A6BE1 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:12:28] 989*2^1438516-1 is not prime. Res64: B77867DF1F093677 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:12:28] 675*2^1438517-1 is not prime. Res64: 50903F316E0FDA67 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:12:29] 759*2^1438517-1 is not prime. Res64: D3B63262A6D79B2E Time : 0.0 sec. user=mdettweiler [2016-09-01 11:12:29] 837*2^1438517-1 is not prime. Res64: 25CF5010C5EF003F Time : 0.0 sec. user=mdettweiler [2016-09-01 11:31:31] 861*2^1438517-1 is not prime. Res64: 35A857A2ED34483A Time : 0.0 sec. user=mdettweiler [2016-09-01 11:31:32] 901*2^1438517-1 is not prime. Res64: 71F10CD4F2D946FD Time : 0.0 sec. user=mdettweiler [2016-09-01 11:31:32] 981*2^1438517-1 is not prime. Res64: 9BFC35A76607C0E9 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:31:32] 627*2^1438518-1 is not prime. Res64: 9EB4E2AAB0BE14F4 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:31:33] 747*2^1438518-1 is not prime. Res64: 5A0A39E9E6C659DD Time : 0.0 sec. user=mdettweiler [2016-09-01 11:53:30] 755*2^1438518-1 is not prime. Res64: 80BE0DB91FCE8C04 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:53:30] 945*2^1438518-1 is not prime. Res64: 92F42FC0529A7C88 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:53:31] 963*2^1438518-1 is not prime. Res64: A18EA27B1AB956B4 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:53:31] 645*2^1438519-1 is not prime. Res64: 4CAF202E690D248F Time : 0.0 sec. user=mdettweiler [2016-09-01 11:53:31] 681*2^1438519-1 is not prime. Res64: EECA4BDB70FB0513 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:55:18] 703*2^1438519-1 is not prime. Res64: 34856B2696C581E6 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:55:19] 765*2^1438519-1 is not prime. Res64: F6FCFD03219EBD15 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:55:19] 771*2^1438519-1 is not prime. Res64: 2FACA8914F3C2768 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:55:19] 775*2^1438519-1 is not prime. Res64: B4CA2351D5872E1F Time : 0.0 sec. user=mdettweiler [2016-09-01 11:55:19] 789*2^1438519-1 is not prime. Res64: 2639D23FFD22863C Time : 0.0 sec. user=mdettweiler [2016-09-01 11:58:38] 843*2^1438519-1 is not prime. Res64: 73769F81097672E2 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:58:39] 859*2^1438519-1 is not prime. Res64: FA4D2847348B0045 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:58:40] 689*2^1438520-1 is not prime. Res64: 2137FD79A78341C3 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:58:40] 759*2^1438520-1 is not prime. Res64: B8F75BDA553CDDD9 Time : 0.0 sec. user=mdettweiler [2016-09-01 11:58:41] 777*2^1438520-1 is not prime. Res64: 8932110C8C776312 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:19:47] 983*2^1438520-1 is not prime. Res64: 4EE421B3812D6EC6 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:19:48] 607*2^1438521-1 is not prime. Res64: 336E53FD5FD19E9F Time : 0.0 sec. user=mdettweiler [2016-09-01 12:19:48] 609*2^1438521-1 is not prime. Res64: B6C4A87A60942AE5 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:19:49] 681*2^1438521-1 is not prime. Res64: 9525AC90680E22FD Time : 0.0 sec. user=mdettweiler [2016-09-01 12:19:49] 685*2^1438521-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-09-01 12:44:20] 705*2^1438521-1 is not prime. Res64: F9160C95BB8E8D63 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:44:20] 727*2^1438521-1 is not prime. Res64: FABF89EC0D93493A Time : 0.0 sec. user=mdettweiler [2016-09-01 12:44:20] 735*2^1438521-1 is not prime. Res64: 039E7C292A4C2A8A Time : 0.0 sec. user=mdettweiler [2016-09-01 12:44:21] 739*2^1438521-1 is not prime. Res64: 82204F57CDDCC9B1 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:44:21] 777*2^1438521-1 is not prime. Res64: D3E48B8A71357A56 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:45:30] 871*2^1438521-1 is not prime. Res64: D0BEF7F993FB2CA8 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:45:31] 949*2^1438521-1 is not prime. Res64: 8F89E6A1273C75D1 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:45:31] 955*2^1438521-1 is not prime. Res64: 1EB1F0F12A426DF5 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:45:32] 991*2^1438521-1 is not prime. Res64: ABACE55D14450CC4 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:45:32] 635*2^1438522-1 is not prime. Res64: 1D0B91AE002D6C85 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:48:43] 713*2^1438522-1 is not prime. Res64: 7233DBF54DF8CD7D Time : 0.0 sec. user=mdettweiler [2016-09-01 12:48:44] 827*2^1438522-1 is not prime. Res64: 864D7EAD332984C8 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:48:44] 831*2^1438522-1 is not prime. Res64: 1D5736713FA2A08D Time : 0.0 sec. user=mdettweiler [2016-09-01 12:48:45] 619*2^1438523-1 is not prime. Res64: E683E54AB499BB74 Time : 0.0 sec. user=mdettweiler [2016-09-01 12:48:46] 663*2^1438523-1 is not prime. Res64: D81081C1CF697906 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:07:56] 745*2^1438523-1 is not prime. Res64: 48A286F3A81C7323 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:08:00] 771*2^1438523-1 is not prime. Res64: 765E2ADC18586B89 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:08:01] 861*2^1438523-1 is not prime. Res64: 65CAEF37F86BBEEF Time : 0.0 sec. user=mdettweiler [2016-09-01 13:08:03] 665*2^1438524-1 is not prime. Res64: 11DA80CF7762351C Time : 0.0 sec. user=mdettweiler [2016-09-01 13:08:05] 749*2^1438524-1 is not prime. Res64: 98CD127C1C586E9D Time : 0.0 sec. user=mdettweiler [2016-09-01 13:29:31] 773*2^1438524-1 is not prime. Res64: 1E57552E17089175 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:29:32] 825*2^1438524-1 is not prime. Res64: 199B5C8D4BE66977 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:29:33] 957*2^1438524-1 is not prime. Res64: 302CC2AFBDE030A7 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:29:34] 661*2^1438525-1 is not prime. Res64: 82E826A76E0326DE Time : 0.0 sec. user=mdettweiler [2016-09-01 13:29:34] 667*2^1438525-1 is not prime. Res64: 797C9BD40A7EDA3A Time : 0.0 sec. user=mdettweiler [2016-09-01 13:30:47] 717*2^1438525-1 is not prime. Res64: 66400D3D09A04359 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:30:48] 817*2^1438525-1 is not prime. Res64: 247D1A5E88E5378F Time : 0.0 sec. user=mdettweiler [2016-09-01 13:30:48] 855*2^1438525-1 is not prime. Res64: CB9A7A8917997B3F Time : 0.0 sec. user=mdettweiler [2016-09-01 13:30:49] 937*2^1438525-1 is not prime. Res64: B12034FD793B061B Time : 0.0 sec. user=mdettweiler [2016-09-01 13:30:49] 773*2^1438526-1 is not prime. Res64: 1CDBC08E231588DA Time : 0.0 sec. user=mdettweiler [2016-09-01 13:34:04] 861*2^1438526-1 is not prime. Res64: EAE87A74492ED9C8 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:34:05] 921*2^1438526-1 is not prime. Res64: 273A54C44BD4AA4C Time : 0.0 sec. user=mdettweiler [2016-09-01 13:34:05] 983*2^1438526-1 is not prime. Res64: 134B457EAEBA7FFC Time : 0.0 sec. user=mdettweiler [2016-09-01 13:34:06] 769*2^1438527-1 is not prime. Res64: 031376D194C67E76 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:34:06] 849*2^1438527-1 is not prime. Res64: 0112FB81E24F2D80 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:53:30] 885*2^1438527-1 is not prime. Res64: DD717BC239EBA1FE Time : 0.0 sec. user=mdettweiler [2016-09-01 13:53:30] 945*2^1438527-1 is not prime. Res64: 65E84B0F38145ACA Time : 0.0 sec. user=mdettweiler [2016-09-01 13:53:31] 979*2^1438527-1 is not prime. Res64: 84FBAB52B45F5321 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:53:31] 999*2^1438527-1 is not prime. Res64: 6F1AAF73F87FB078 Time : 0.0 sec. user=mdettweiler [2016-09-01 13:53:31] 707*2^1438528-1 is not prime. Res64: 7A02756D73E424C9 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:14:30] 735*2^1438528-1 is not prime. Res64: 6BF6DA955CC40D3F Time : 0.0 sec. user=mdettweiler [2016-09-01 14:14:30] 843*2^1438528-1 is not prime. Res64: 41CBAAE471CBA226 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:14:30] 869*2^1438528-1 is not prime. Res64: 5DD4EBE7E0963485 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:14:31] 897*2^1438528-1 is not prime. Res64: 24E18A54B9632480 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:14:31] 957*2^1438528-1 is not prime. Res64: D5E1FEAEE0884129 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:15:50] 601*2^1438529-1 is not prime. Res64: EB4A6AD8DFE1CDC7 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:15:51] 741*2^1438529-1 is not prime. Res64: 610F3A255DAB464A Time : 0.0 sec. user=mdettweiler [2016-09-01 14:15:51] 931*2^1438529-1 is not prime. Res64: ED99DED9C7AB8BC0 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:15:52] 641*2^1438530-1 is not prime. Res64: 3CEFD60FE083BB4E Time : 0.0 sec. user=mdettweiler [2016-09-01 14:15:52] 867*2^1438530-1 is not prime. Res64: 98C0515001057132 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:19:09] 951*2^1438530-1 is not prime. Res64: 6AC9C01B74152815 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:19:09] 1001*2^1438530-1 is not prime. Res64: 2D805004D7516487 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:19:10] 621*2^1438531-1 is not prime. Res64: 5BEB422C50F7AC7F Time : 0.0 sec. user=mdettweiler [2016-09-01 14:19:10] 679*2^1438531-1 is not prime. Res64: 4863920B9D4D337E Time : 0.0 sec. user=mdettweiler [2016-09-01 14:19:10] 733*2^1438531-1 is not prime. Res64: 4A34E6CB0DEEA906 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:38:28] 835*2^1438531-1 is not prime. Res64: 910A5B99A9232D42 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:38:28] 859*2^1438531-1 is not prime. Res64: 91844187E53B9D31 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:38:28] 891*2^1438531-1 is not prime. Res64: 5CC3F5FD91C9EE71 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:38:29] 615*2^1438532-1 is not prime. Res64: DA1CCDDCF0DC0D77 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:38:29] 669*2^1438532-1 is not prime. Res64: 8EFD365E9540D7D9 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:59:55] 677*2^1438532-1 is not prime. Res64: 4393514A7590D590 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:59:55] 719*2^1438532-1 is not prime. Res64: 80CE911F3FAE2081 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:59:56] 725*2^1438532-1 is not prime. Res64: 8A54A4B7BB4C62B2 Time : 0.0 sec. user=mdettweiler [2016-09-01 14:59:56] 813*2^1438532-1 is not prime. Res64: 852C86B47B3C7EAE Time : 0.0 sec. user=mdettweiler [2016-09-01 14:59:56] 855*2^1438532-1 is not prime. Res64: A6721A51285D57FC Time : 0.0 sec. user=mdettweiler [2016-09-01 15:01:02] 935*2^1438532-1 is not prime. Res64: C9D7A33F866E77E2 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:01:03] 957*2^1438532-1 is not prime. Res64: BACA5ADBF65D7802 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:01:04] 609*2^1438533-1 is not prime. Res64: 56FE62B90275728F Time : 0.0 sec. user=mdettweiler [2016-09-01 15:01:05] 669*2^1438533-1 is not prime. Res64: A7794374F47119AF Time : 0.0 sec. user=mdettweiler [2016-09-01 15:01:06] 751*2^1438533-1 is not prime. Res64: 22D408E2AAFB0022 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:04:17] 789*2^1438533-1 is not prime. Res64: 93E06CC506BACD24 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:04:18] 837*2^1438533-1 is not prime. Res64: BF656B61CEADEDCE Time : 0.0 sec. user=mdettweiler [2016-09-01 15:04:19] 871*2^1438533-1 is not prime. Res64: C7BEAEA3B3498243 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:04:21] 969*2^1438533-1 is not prime. Res64: 4F760D101DC65043 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:04:22] 645*2^1438534-1 is not prime. Res64: A85FD5347C3C7B66 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:23:29] 825*2^1438534-1 is not prime. Res64: 5C4A983B83402AC0 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:23:30] 915*2^1438534-1 is not prime. Res64: 2EA31E9923EBFCC8 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:23:30] 941*2^1438534-1 is not prime. Res64: 2F3E496FFBF4E7CA Time : 0.0 sec. user=mdettweiler [2016-09-01 15:23:31] 981*2^1438534-1 is not prime. Res64: 6D853E263EC98829 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:23:31] 609*2^1438535-1 is not prime. Res64: A82282A26AEDA681 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:45:05] 643*2^1438535-1 is not prime. Res64: 44FAA1F26E8397E6 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:45:05] 741*2^1438535-1 is not prime. Res64: 98D1569494319220 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:45:06] 775*2^1438535-1 is not prime. Res64: 74F7512C8EB91230 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:45:06] 883*2^1438535-1 is not prime. Res64: 93F6EE4BC48C0A1C Time : 0.0 sec. user=mdettweiler [2016-09-01 15:45:06] 921*2^1438535-1 is not prime. Res64: 5BD909C0CE79FB62 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:46:18] 969*2^1438535-1 is not prime. Res64: 00748EF05366F380 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:46:18] 999*2^1438535-1 is not prime. Res64: D17C830AB3022C44 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:46:19] 629*2^1438536-1 is not prime. Res64: 6475598DA28440F0 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:46:19] 693*2^1438536-1 is not prime. Res64: FB1817CCB7C942AD Time : 0.0 sec. user=mdettweiler [2016-09-01 15:46:19] 723*2^1438536-1 is not prime. Res64: B765126DD4C7B914 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:49:42] 601*2^1438537-1 is not prime. Res64: 2A4D4FF07EA6D020 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:49:42] 615*2^1438537-1 is not prime. Res64: 091E583F6F21B260 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:49:42] 939*2^1438537-1 is not prime. Res64: FAD863EDE4A1C9C4 Time : 0.0 sec. user=mdettweiler [2016-09-01 15:49:43] 979*2^1438537-1 is not prime. Res64: 5BAB5B5DCA9193FC Time : 0.0 sec. user=mdettweiler [2016-09-01 15:49:43] 997*2^1438537-1 is not prime. Res64: CA053D55AACF55F4 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:08:40] 603*2^1438538-1 is not prime. Res64: 79824474025AACB8 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:08:41] 713*2^1438538-1 is not prime. Res64: 2096D25B44BEFDCE Time : 0.0 sec. user=mdettweiler [2016-09-01 16:08:42] 837*2^1438538-1 is not prime. Res64: 075522368D6925CD Time : 0.0 sec. user=mdettweiler [2016-09-01 16:08:44] 921*2^1438538-1 is not prime. Res64: C8C4F348EF1A5CD0 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:08:52] 705*2^1438539-1 is not prime. Res64: 0F3AD5E8C1282500 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:30:23] 709*2^1438539-1 is not prime. Res64: 529EE6EF76B1542D Time : 0.0 sec. user=mdettweiler [2016-09-01 16:30:23] 735*2^1438539-1 is not prime. Res64: 3BC826FBACC2AAAF Time : 0.0 sec. user=mdettweiler [2016-09-01 16:30:23] 745*2^1438539-1 is not prime. Res64: 506BA3AD0773D264 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:30:24] 873*2^1438539-1 is not prime. Res64: 12F0476E34ADEE89 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:30:24] 833*2^1438540-1 is not prime. Res64: 3E4DF1C7C526E535 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:31:29] 839*2^1438540-1 is not prime. Res64: D8F45E9A46CD8E1A Time : 0.0 sec. user=mdettweiler [2016-09-01 16:31:30] 857*2^1438540-1 is not prime. Res64: 8C06E20B7ABDBF12 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:31:30] 875*2^1438540-1 is not prime. Res64: 63040CA974EB4833 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:31:30] 615*2^1438541-1 is not prime. Res64: 89D9C9F072C953A0 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:31:31] 631*2^1438541-1 is not prime. Res64: 1633570198275EB3 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:35:02] 651*2^1438541-1 is not prime. Res64: 39F75FBCD7DDB7EB Time : 0.0 sec. user=mdettweiler [2016-09-01 16:35:02] 747*2^1438541-1 is not prime. Res64: D459DB40ADEF1041 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:35:03] 795*2^1438541-1 is not prime. Res64: ED160EE8C2E196E9 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:35:03] 799*2^1438541-1 is not prime. Res64: C1AA5DA9004172FE Time : 0.0 sec. user=mdettweiler [2016-09-01 16:35:04] 867*2^1438541-1 is not prime. Res64: 814B4792DDB13F62 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:54:03] 615*2^1438542-1 is not prime. Res64: 918A138BD77575C3 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:54:03] 873*2^1438542-1 is not prime. Res64: 3811DE8F71E6C484 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:54:03] 885*2^1438542-1 is not prime. Res64: FD18E4E8146E190D Time : 0.0 sec. user=mdettweiler [2016-09-01 16:54:04] 685*2^1438543-1 is not prime. Res64: 0A1342A32206E274 Time : 0.0 sec. user=mdettweiler [2016-09-01 16:54:04] 883*2^1438543-1 is not prime. Res64: 311271BBA4CB8B81 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:15:34] 915*2^1438543-1 is not prime. Res64: 1EC6EE904DEDBFF8 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:15:35] 635*2^1438544-1 is not prime. Res64: 2246F6D70D3A5E3D Time : 0.0 sec. user=mdettweiler [2016-09-01 17:15:35] 663*2^1438544-1 is not prime. Res64: 4B9FC0E0B5DC316B Time : 0.0 sec. user=mdettweiler [2016-09-01 17:15:35] 683*2^1438544-1 is not prime. Res64: E7089D167167A851 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:15:36] 719*2^1438544-1 is not prime. Res64: 99C55CD9DB6C7CBB Time : 0.0 sec. user=mdettweiler [2016-09-01 17:16:45] 743*2^1438544-1 is not prime. Res64: 603090C257854C82 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:16:45] 753*2^1438544-1 is not prime. Res64: 6308D74F17B26219 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:16:46] 755*2^1438544-1 is not prime. Res64: B75ACA42781DE0C3 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:16:46] 795*2^1438544-1 is not prime. Res64: 003F431543913951 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:16:46] 609*2^1438545-1 is not prime. Res64: 219D016E12CF6DAB Time : 0.0 sec. user=mdettweiler [2016-09-01 17:20:14] 699*2^1438545-1 is not prime. Res64: 390ECC2C63F8220E Time : 0.0 sec. user=mdettweiler [2016-09-01 17:20:14] 705*2^1438545-1 is not prime. Res64: E8B33219BF8B0AFF Time : 0.0 sec. user=mdettweiler [2016-09-01 17:20:15] 711*2^1438545-1 is not prime. Res64: 2E208892796F9CD7 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:20:15] 891*2^1438545-1 is not prime. Res64: B006235E97E27A84 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:20:15] 979*2^1438545-1 is not prime. Res64: DB476A91FE5C5924 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:39:01] 997*2^1438545-1 is not prime. Res64: 74557E4DA8337EBC Time : 0.0 sec. user=mdettweiler [2016-09-01 17:39:02] 611*2^1438546-1 is not prime. Res64: 00B7FFF9A3527039 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:39:02] 773*2^1438546-1 is not prime. Res64: A75C369472B1091D Time : 0.0 sec. user=mdettweiler [2016-09-01 17:39:02] 917*2^1438546-1 is not prime. Res64: EB65C27E7D883C69 Time : 0.0 sec. user=mdettweiler [2016-09-01 17:39:03] 933*2^1438546-1 is not prime. Res64: 4A2C91A1F7C70053 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:00:29] 971*2^1438546-1 is not prime. Res64: BAC9AD1937C3A6E5 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:00:30] 987*2^1438546-1 is not prime. Res64: 2F3F9F43A8E048C5 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:00:31] 1001*2^1438546-1 is not prime. Res64: 1F805E663FB92F73 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:00:31] 619*2^1438547-1 is not prime. Res64: DCA91776A0910782 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:00:32] 631*2^1438547-1 is not prime. Res64: D6E232C8A90ACE79 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:01:30] 753*2^1438547-1 is not prime. Res64: 3EE7D763374AF600 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:01:31] 781*2^1438547-1 is not prime. Res64: F2F5DC12331D9903 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:01:32] 823*2^1438547-1 is not prime. Res64: 88B7A7D36E355D86 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:01:33] 883*2^1438547-1 is not prime. Res64: 3B478DF380ACBC65 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:01:34] 931*2^1438547-1 is not prime. Res64: 159B6F916118187D Time : 0.0 sec. user=mdettweiler [2016-09-01 18:05:10] 963*2^1438547-1 is not prime. Res64: A27DAAB99D2627A7 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:05:11] 845*2^1438548-1 is not prime. Res64: 4F3A6E6CFA89A385 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:05:13] 887*2^1438548-1 is not prime. Res64: 52D07745EB388C7F Time : 0.0 sec. user=mdettweiler [2016-09-01 18:05:14] 893*2^1438548-1 is not prime. Res64: C2A87D2C15995C67 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:05:15] 959*2^1438548-1 is not prime. Res64: 2B0D7116CD836449 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:24:17] 609*2^1438549-1 is not prime. Res64: A45708A3EB579E5F Time : 0.0 sec. user=mdettweiler [2016-09-01 18:24:17] 619*2^1438549-1 is not prime. Res64: DE7552D540CEEEFD Time : 0.0 sec. user=mdettweiler [2016-09-01 18:24:18] 649*2^1438549-1 is not prime. Res64: ED43EEDDB694BD11 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:24:18] 789*2^1438549-1 is not prime. Res64: 32C71BD70AD0BF40 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:24:18] 829*2^1438549-1 is not prime. Res64: 62070272776B26DA Time : 0.0 sec. user=mdettweiler [2016-09-01 18:45:33] 861*2^1438549-1 is not prime. Res64: 94FDAC37AD0C0461 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:45:33] 951*2^1438549-1 is not prime. Res64: AFA458AEE0A0E0BD Time : 0.0 sec. user=mdettweiler [2016-09-01 18:45:33] 987*2^1438549-1 is not prime. Res64: DC0962E1CB15B8B5 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:45:34] 671*2^1438550-1 is not prime. Res64: 8E19A22830EF94E8 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:45:34] 677*2^1438550-1 is not prime. Res64: 4AF2CA0F5E933538 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:46:46] 707*2^1438550-1 is not prime. Res64: 2F6C41B3F6796D75 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:46:47] 711*2^1438550-1 is not prime. Res64: CC7C0271B1E9D7AD Time : 0.0 sec. user=mdettweiler [2016-09-01 18:46:47] 713*2^1438550-1 is not prime. Res64: 91EBAF3A1FB839A9 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:46:47] 741*2^1438550-1 is not prime. Res64: 920C183DFA58C9B8 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:46:48] 813*2^1438550-1 is not prime. Res64: 4FAC74FC18969137 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:50:38] 887*2^1438550-1 is not prime. Res64: 40B0E1EE0F797253 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:50:38] 1001*2^1438550-1 is not prime. Res64: E720383D187C63DF Time : 0.0 sec. user=mdettweiler [2016-09-01 18:50:39] 619*2^1438551-1 is not prime. Res64: D8EEDC9769A858F5 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:50:39] 709*2^1438551-1 is not prime. Res64: C4A2993C25A8CE58 Time : 0.0 sec. user=mdettweiler [2016-09-01 18:50:39] 711*2^1438551-1 is not prime. Res64: 14DA6323E19B92EE Time : 0.0 sec. user=mdettweiler [2016-09-01 19:09:19] 775*2^1438551-1 is not prime. Res64: 347E3F2D1150C978 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:09:20] 825*2^1438551-1 is not prime. Res64: 8E072C6D08047CDF Time : 0.0 sec. user=mdettweiler [2016-09-01 19:09:22] 951*2^1438551-1 is not prime. Res64: 773F489EDF2058D9 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:09:23] 955*2^1438551-1 is not prime. Res64: 67B721D879662F0F Time : 0.0 sec. user=mdettweiler [2016-09-01 19:09:24] 975*2^1438551-1 is not prime. Res64: A9697A50B32B4C2F Time : 0.0 sec. user=mdettweiler [2016-09-01 19:30:33] 699*2^1438552-1 is not prime. Res64: D257B5D27266B6D5 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:30:34] 765*2^1438552-1 is not prime. Res64: D30C98073C039A69 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:30:34] 819*2^1438552-1 is not prime. Res64: DB09B87998C5FEBD Time : 0.0 sec. user=mdettweiler [2016-09-01 19:30:35] 685*2^1438553-1 is not prime. Res64: F81B82F12310BB88 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:30:35] 829*2^1438553-1 is not prime. Res64: 562858CE3DA3FDD5 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:31:30] 985*2^1438553-1 is not prime. Res64: F689EB27EAEF6B1A Time : 0.0 sec. user=mdettweiler [2016-09-01 19:31:31] 601*2^1438555-1 is not prime. Res64: 3A17312F74794985 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:31:31] 651*2^1438555-1 is not prime. Res64: 22ABD5A4C79AA9FE Time : 0.0 sec. user=mdettweiler [2016-09-01 19:31:31] 775*2^1438555-1 is not prime. Res64: A45A4A7EA177C76D Time : 0.0 sec. user=mdettweiler [2016-09-01 19:31:32] 841*2^1438555-1 is not prime. Res64: 6A3BBD4B0A78938D Time : 0.0 sec. user=mdettweiler [2016-09-01 19:35:23] 895*2^1438555-1 is not prime. Res64: 40F6E0CFAF29F235 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:35:23] 913*2^1438555-1 is not prime. Res64: 592FC5DF44FE1083 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:35:23] 699*2^1438556-1 is not prime. Res64: 17D3E42B9C4ACFC2 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:35:24] 725*2^1438556-1 is not prime. Res64: B153D746E20434E3 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:35:24] 903*2^1438556-1 is not prime. Res64: C6A5313571E0E8EA Time : 0.0 sec. user=mdettweiler [2016-09-01 19:54:30] 923*2^1438556-1 is not prime. Res64: F5B3DF459D534D75 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:54:30] 953*2^1438556-1 is not prime. Res64: E8FCD069FA144960 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:54:31] 759*2^1438557-1 is not prime. Res64: 0F36D81163599215 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:54:31] 781*2^1438557-1 is not prime. Res64: 4C19E775B3E1F0C6 Time : 0.0 sec. user=mdettweiler [2016-09-01 19:54:31] 805*2^1438557-1 is not prime. Res64: 468F7B92B2BF9437 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:15:35] 817*2^1438557-1 is not prime. Res64: CD3F94457B45B452 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:15:35] 927*2^1438557-1 is not prime. Res64: 465784DE509347D0 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:15:35] 997*2^1438557-1 is not prime. Res64: AD2AD4DEC3E8E613 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:15:36] 605*2^1438558-1 is not prime. Res64: 062870AFA9AEE2FC Time : 0.0 sec. user=mdettweiler [2016-09-01 20:15:36] 651*2^1438558-1 is not prime. Res64: E8E402A59D2C9C67 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:16:26] 657*2^1438558-1 is not prime. Res64: B3A31585AE9255CB Time : 0.0 sec. user=mdettweiler [2016-09-01 20:16:27] 663*2^1438558-1 is not prime. Res64: 8F0944C188DD7BA2 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:16:27] 681*2^1438558-1 is not prime. Res64: EB7E5BE22D37A039 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:16:28] 801*2^1438558-1 is not prime. Res64: FF11D257AE8177CF Time : 0.0 sec. user=mdettweiler [2016-09-01 20:16:28] 915*2^1438558-1 is not prime. Res64: 807DC4D933F0A239 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:20:32] 923*2^1438558-1 is not prime. Res64: EE97F8C2B2984FF3 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:20:33] 951*2^1438558-1 is not prime. Res64: 2BDC2EF087A9BAB9 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:20:33] 971*2^1438558-1 is not prime. Res64: F0A960117E555307 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:20:33] 1001*2^1438558-1 is not prime. Res64: E1BB529CFB7DB406 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:20:34] 601*2^1438559-1 is not prime. Res64: D149C191A968DEAB Time : 0.0 sec. user=mdettweiler [2016-09-01 20:39:26] 661*2^1438559-1 is not prime. Res64: 2E8A1DC930F3BE76 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:39:26] 735*2^1438559-1 is not prime. Res64: 4C0459630E08EA35 Time : 0.0 sec. user=mdettweiler [2016-09-01 20:39:27] 861*2^1438559-1 is not prime. Res64: 703A20830BF6335E Time : 0.0 sec. user=mdettweiler [2016-09-01 20:39:27] 889*2^1438559-1 is not prime. Res64: E7298E2FA8A741EC Time : 0.0 sec. user=mdettweiler [2016-09-01 20:39:27] 931*2^1438559-1 is not prime. Res64: 19206DDC5F5F80B3 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:00:37] 633*2^1438560-1 is not prime. Res64: 1EA99145FFD181D4 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:00:38] 665*2^1438560-1 is not prime. Res64: B18065177DE5480F Time : 0.0 sec. user=mdettweiler [2016-09-01 21:00:39] 695*2^1438560-1 is not prime. Res64: A9EE5D217C2A5AF2 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:00:39] 839*2^1438560-1 is not prime. Res64: ADF113E73FBB2B16 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:00:40] 923*2^1438560-1 is not prime. Res64: 46D20CCC6DDEC2F7 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:01:35] 777*2^1438561-1 is not prime. Res64: EB574FDE65EAB821 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:01:36] 855*2^1438561-1 is not prime. Res64: 408A1CAC642C313E Time : 0.0 sec. user=mdettweiler [2016-09-01 21:01:39] 861*2^1438561-1 is not prime. Res64: 4123CEFB93FC33AD Time : 0.0 sec. user=mdettweiler [2016-09-01 21:01:40] 945*2^1438561-1 is not prime. Res64: 6A327B0DF88E0197 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:01:41] 951*2^1438561-1 is not prime. Res64: 9DCD67C22A51E89D Time : 0.0 sec. user=mdettweiler [2016-09-01 21:05:34] 675*2^1438562-1 is not prime. Res64: 542F91B0217BDB28 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:05:35] 705*2^1438562-1 is not prime. Res64: 489926098379F472 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:05:36] 747*2^1438562-1 is not prime. Res64: 92162B9C02495BCF Time : 0.0 sec. user=mdettweiler [2016-09-01 21:05:38] 767*2^1438562-1 is not prime. Res64: AF9B674A15DEFE1A Time : 0.0 sec. user=mdettweiler [2016-09-01 21:05:39] 837*2^1438562-1 is not prime. Res64: 031DA84B15F2554A Time : 0.0 sec. user=mdettweiler [2016-09-01 21:24:27] 885*2^1438562-1 is not prime. Res64: B01A8D3271A6AB04 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:24:28] 893*2^1438562-1 is not prime. Res64: 657CCD4CAE6DD531 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:24:28] 921*2^1438562-1 is not prime. Res64: 0CC8F421F3DE1FD5 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:24:29] 609*2^1438563-1 is not prime. Res64: D199270FAC8A0738 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:24:29] 649*2^1438563-1 is not prime. Res64: 8D3B8287253D85E4 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:45:41] 819*2^1438563-1 is not prime. Res64: 0C57B54ECA93BD9B Time : 0.0 sec. user=mdettweiler [2016-09-01 21:45:41] 853*2^1438563-1 is not prime. Res64: 31F0386942648D5C Time : 0.0 sec. user=mdettweiler [2016-09-01 21:45:42] 991*2^1438563-1 is not prime. Res64: A741FD077E5E526A Time : 0.0 sec. user=mdettweiler [2016-09-01 21:45:42] 743*2^1438564-1 is not prime. Res64: B4743C3873BE3AB3 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:45:42] 813*2^1438564-1 is not prime. Res64: F49B651D023BF393 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:46:32] 819*2^1438564-1 is not prime. Res64: 375014F437E1468E Time : 0.0 sec. user=mdettweiler [2016-09-01 21:46:32] 959*2^1438564-1 is not prime. Res64: FA8EA81133847C64 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:46:33] 607*2^1438565-1 is not prime. Res64: 1B1A6E1AF43726D3 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:46:33] 619*2^1438565-1 is not prime. Res64: EE11E66746C5B97E Time : 0.0 sec. user=mdettweiler [2016-09-01 21:46:33] 627*2^1438565-1 is not prime. Res64: 2F7926C02FB3A7E9 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:51:04] 675*2^1438565-1 is not prime. Res64: 66B14D35B20C09EE Time : 0.0 sec. user=mdettweiler [2016-09-01 21:51:04] 697*2^1438565-1 is not prime. Res64: 000CE2739442DA05 Time : 0.0 sec. user=mdettweiler [2016-09-01 21:51:05] 711*2^1438565-1 is not prime. Res64: ED809124E145A3BA Time : 0.0 sec. user=mdettweiler [2016-09-01 21:51:05] 717*2^1438565-1 is not prime. Res64: FEC1A4CB39E7732C Time : 0.0 sec. user=mdettweiler [2016-09-01 21:51:05] 795*2^1438565-1 is not prime. Res64: D7AAD8A1954CC4DD Time : 0.0 sec. user=mdettweiler [2016-09-01 22:09:36] 811*2^1438565-1 is not prime. Res64: A4B9A5BEB3132DEC Time : 0.0 sec. user=mdettweiler [2016-09-01 22:09:37] 859*2^1438565-1 is not prime. Res64: 5793C9CF8ADA10E7 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:09:37] 885*2^1438565-1 is not prime. Res64: 7D704E661F45387F Time : 0.0 sec. user=mdettweiler [2016-09-01 22:09:38] 707*2^1438566-1 is not prime. Res64: F00159C0EDB915FF Time : 0.0 sec. user=mdettweiler [2016-09-01 22:09:38] 717*2^1438566-1 is not prime. Res64: E0080CDB04FF2794 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:30:58] 765*2^1438566-1 is not prime. Res64: 291682D71DBD48C2 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:30:58] 783*2^1438566-1 is not prime. Res64: 836F1F5D148372F6 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:30:59] 851*2^1438566-1 is not prime. Res64: 296B50DC8EFEC201 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:30:59] 917*2^1438566-1 is not prime. Res64: DEF80B75FCD969BF Time : 0.0 sec. user=mdettweiler [2016-09-01 22:30:59] 933*2^1438566-1 is not prime. Res64: 4C7A3A9334A28EEE Time : 0.0 sec. user=mdettweiler [2016-09-01 22:31:40] 963*2^1438566-1 is not prime. Res64: 3AE4569B49FD5307 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:31:41] 765*2^1438567-1 is not prime. Res64: 399D064A26E43888 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:31:41] 871*2^1438567-1 is not prime. Res64: 4BD4F28D3245DC30 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:31:41] 915*2^1438567-1 is not prime. Res64: C90A4674AC24DD83 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:31:42] 973*2^1438567-1 is not prime. Res64: CCEA2F2168A4FBD5 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:36:36] 677*2^1438568-1 is not prime. Res64: 9CE1660E13963A81 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:36:36] 687*2^1438568-1 is not prime. Res64: A366777B6ABC3EC7 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:36:37] 759*2^1438568-1 is not prime. Res64: EF2C218E8B72E4DF Time : 0.0 sec. user=mdettweiler [2016-09-01 22:36:37] 773*2^1438568-1 is not prime. Res64: E9C72148C2C3F519 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:36:37] 867*2^1438568-1 is not prime. Res64: CFDF49B0904DFB01 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:55:00] 995*2^1438568-1 is not prime. Res64: B5AF9F8D02DF074D Time : 0.0 sec. user=mdettweiler [2016-09-01 22:55:00] 625*2^1438569-1 is not prime. Res64: 90C8E869891299BB Time : 0.0 sec. user=mdettweiler [2016-09-01 22:55:01] 675*2^1438569-1 is not prime. Res64: EA0B85C6F652F240 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:55:01] 685*2^1438569-1 is not prime. Res64: 1120FCF8A43A2039 Time : 0.0 sec. user=mdettweiler [2016-09-01 22:55:01] 705*2^1438569-1 is not prime. Res64: 948C4F946EA34F67 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:16:31] 997*2^1438569-1 is not prime. Res64: 9108D3A275965458 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:16:31] 635*2^1438570-1 is not prime. Res64: 270DAF8C55BC8AEC Time : 0.0 sec. user=mdettweiler [2016-09-01 23:16:32] 645*2^1438570-1 is not prime. Res64: 3986AE8FF2DB7E1F Time : 0.0 sec. user=mdettweiler [2016-09-01 23:16:32] 747*2^1438570-1 is not prime. Res64: F5DCE576C271C6F6 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:16:33] 803*2^1438570-1 is not prime. Res64: 99852BF033036052 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:17:09] 843*2^1438570-1 is not prime. Res64: A952252B1C75E566 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:17:09] 923*2^1438570-1 is not prime. Res64: 715602743F837B77 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:17:10] 933*2^1438570-1 is not prime. Res64: D03F0544C864B01C Time : 0.0 sec. user=mdettweiler [2016-09-01 23:17:10] 711*2^1438571-1 is not prime. Res64: 84AD498FDA314B3E Time : 0.0 sec. user=mdettweiler [2016-09-01 23:17:10] 715*2^1438571-1 is not prime. Res64: 87A7AFE6C19BD895 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:22:23] 801*2^1438571-1 is not prime. Res64: E04FE1E2B4BCCD50 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:22:24] 859*2^1438571-1 is not prime. Res64: E99C03AA92A33A7E Time : 0.0 sec. user=mdettweiler [2016-09-01 23:22:24] 895*2^1438571-1 is not prime. Res64: 56A8D89DFCA68E8E Time : 0.0 sec. user=mdettweiler [2016-09-01 23:22:25] 901*2^1438571-1 is not prime. Res64: 506A2EED96DDEDEE Time : 0.0 sec. user=mdettweiler [2016-09-01 23:22:25] 717*2^1438572-1 is not prime. Res64: 0C13C466EEBB98C0 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:40:36] 725*2^1438572-1 is not prime. Res64: E9A220C8DE8A5A47 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:40:36] 749*2^1438572-1 is not prime. Res64: 10B9EDF925FE9E27 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:40:36] 759*2^1438572-1 is not prime. Res64: 8792FE79DC7CB691 Time : 0.0 sec. user=mdettweiler [2016-09-01 23:40:37] 797*2^1438572-1 is not prime. Res64: 1D65DF0FF7828C0F Time : 0.0 sec. user=mdettweiler [2016-09-01 23:40:37] 837*2^1438572-1 is not prime. Res64: 0A25A9756B03A12A Time : 0.0 sec.