user=mdettweiler [2016-06-03 00:08:57] 671*2^1431234-1 is not prime. Res64: 5911BF517DFE7758 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:08:59] 683*2^1431234-1 is not prime. Res64: 1355D19C0F33ACE4 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:09:00] 885*2^1431234-1 is not prime. Res64: 942D0576E6855BF0 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:09:02] 983*2^1431234-1 is not prime. Res64: 9C1A8B297569B969 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:09:04] 633*2^1431235-1 is not prime. Res64: 69C759D4BC8E8AC0 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:24:57] 679*2^1431235-1 is not prime. Res64: EA212373E9998502 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:24:58] 691*2^1431235-1 is not prime. Res64: 07646B34ED885B2F Time : 0.0 sec. user=mdettweiler [2016-06-03 00:24:58] 765*2^1431235-1 is not prime. Res64: 59A73FD2B367659F Time : 0.0 sec. user=mdettweiler [2016-06-03 00:24:59] 805*2^1431235-1 is not prime. Res64: B466303F569B649B Time : 0.0 sec. user=mdettweiler [2016-06-03 00:24:59] 617*2^1431236-1 is not prime. Res64: B1891B3DBF9EFE91 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:47:05] 855*2^1431236-1 is not prime. Res64: 6BBFC32DAB2EB648 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:47:05] 923*2^1431236-1 is not prime. Res64: 4AC1946F4A2BFF41 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:47:06] 669*2^1431237-1 is not prime. Res64: 6E4799991FCEDF4C Time : 0.0 sec. user=mdettweiler [2016-06-03 00:47:06] 727*2^1431237-1 is not prime. Res64: B6E93B0EF53E7D8D Time : 0.0 sec. user=mdettweiler [2016-06-03 00:47:06] 795*2^1431237-1 is not prime. Res64: 9FDFD6E1642354AD Time : 0.0 sec. user=mdettweiler [2016-06-03 00:57:04] 889*2^1431237-1 is not prime. Res64: 2366877FFB361E98 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:57:04] 605*2^1431238-1 is not prime. Res64: 3CEDDABCE48FE82C Time : 0.0 sec. user=mdettweiler [2016-06-03 00:57:05] 731*2^1431238-1 is not prime. Res64: 5CEC53BB94D361B1 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:57:05] 923*2^1431238-1 is not prime. Res64: 6117B0CD445EE1E3 Time : 0.0 sec. user=mdettweiler [2016-06-03 00:57:05] 945*2^1431238-1 is not prime. Res64: 2EBB3773A84E3BFA Time : 0.0 sec. user=mdettweiler [2016-06-03 01:12:11] 951*2^1431238-1 is not prime. Res64: 77EC7E864BF48FD9 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:12:12] 993*2^1431238-1 is not prime. Res64: 3B33A88E16CDA9C5 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:12:13] 675*2^1431239-1 is not prime. Res64: F271C4C6860B8830 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:12:14] 705*2^1431239-1 is not prime. Res64: B613F8823291A7DF Time : 0.0 sec. user=mdettweiler [2016-06-03 01:12:15] 759*2^1431239-1 is not prime. Res64: 402F07BEE11A9079 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:33:09] 789*2^1431239-1 is not prime. Res64: 2D10EF5C2975070A Time : 0.0 sec. user=mdettweiler [2016-06-03 01:33:10] 853*2^1431239-1 is not prime. Res64: FC7A92E43391BA1F Time : 0.0 sec. user=mdettweiler [2016-06-03 01:33:10] 909*2^1431239-1 is not prime. Res64: 48628C5138E4D8D5 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:33:11] 943*2^1431239-1 is not prime. Res64: 77C9302ED58BA613 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:33:11] 955*2^1431239-1 is not prime. Res64: 8FD6D40F385509CE Time : 0.0 sec. user=mdettweiler [2016-06-03 01:42:53] 899*2^1431240-1 is not prime. Res64: 9B2A028D57142788 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:42:54] 715*2^1431241-1 is not prime. Res64: 366CAD29AF197DBA Time : 0.0 sec. user=mdettweiler [2016-06-03 01:42:54] 861*2^1431241-1 is not prime. Res64: 2E7A4565F59EB90E Time : 0.0 sec. user=mdettweiler [2016-06-03 01:42:55] 871*2^1431241-1 is not prime. Res64: 68A882BAC98B3864 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:42:55] 987*2^1431241-1 is not prime. Res64: C34422253E63DF9D Time : 0.0 sec. user=mdettweiler [2016-06-03 01:55:08] 913*2^1431223-1 is not prime. Res64: 9802076210582185 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:55:08] 677*2^1431224-1 is not prime. Res64: 1135407AAC646CBD Time : 0.0 sec. user=mdettweiler [2016-06-03 01:55:08] 819*2^1431224-1 is not prime. Res64: D16A96A05676BABD Time : 0.0 sec. user=mdettweiler [2016-06-03 01:55:09] 935*2^1431224-1 is not prime. Res64: 5721CD0ACACED365 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:55:09] 945*2^1431224-1 is not prime. Res64: 53E1CE150CEEF824 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:58:00] 627*2^1431242-1 is not prime. Res64: 21F33A797FC845C0 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:58:00] 633*2^1431242-1 is not prime. Res64: 90C63869DC7D50D0 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:58:01] 651*2^1431242-1 is not prime. Res64: 477E5A3D09F6C045 Time : 0.0 sec. user=mdettweiler [2016-06-03 01:58:01] 747*2^1431242-1 is not prime. Res64: 9A3AE58D190F69CC Time : 0.0 sec. user=mdettweiler [2016-06-03 01:58:01] 837*2^1431242-1 is not prime. Res64: C99D93E9D714F0EB Time : 0.0 sec. user=mdettweiler [2016-06-03 02:18:47] 957*2^1431242-1 is not prime. Res64: 44E2B53FD9E4D5FA Time : 0.0 sec. user=mdettweiler [2016-06-03 02:18:47] 619*2^1431243-1 is not prime. Res64: 9EC9213E4727D9AB Time : 0.0 sec. user=mdettweiler [2016-06-03 02:18:48] 639*2^1431243-1 is not prime. Res64: 20326CD8737F1A58 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:18:48] 663*2^1431243-1 is not prime. Res64: 21FA4AC729E0B8F3 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:18:49] 739*2^1431243-1 is not prime. Res64: EADD1B98F9AAB350 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:28:11] 741*2^1431243-1 is not prime. Res64: 2F7AC7C09F5BECF0 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:28:12] 789*2^1431243-1 is not prime. Res64: E5C6EFC797F6A3ED Time : 0.0 sec. user=mdettweiler [2016-06-03 02:28:14] 795*2^1431243-1 is not prime. Res64: 4A0D4C92481F9739 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:28:14] 819*2^1431243-1 is not prime. Res64: 68AC94DAE179BF1D Time : 0.0 sec. user=mdettweiler [2016-06-03 02:28:15] 853*2^1431243-1 is not prime. Res64: 77DEE1478D218155 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:40:14] 955*2^1431243-1 is not prime. Res64: 00DB90663ACFBC50 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:40:14] 961*2^1431243-1 is not prime. Res64: 5238674F9516A507 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:40:14] 963*2^1431243-1 is not prime. Res64: 4326FA59A8964F25 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:40:15] 707*2^1431244-1 is not prime. Res64: E023F7A1874FC5D1 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:40:15] 765*2^1431244-1 is not prime. Res64: EFBB5CF8C3D2FECD Time : 0.0 sec. user=mdettweiler [2016-06-03 02:43:29] 773*2^1431244-1 is not prime. Res64: 1A4B6B0BD15EBC6C Time : 0.0 sec. user=mdettweiler [2016-06-03 02:43:30] 783*2^1431244-1 is not prime. Res64: 39D3A2B72C4BE5E6 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:43:30] 989*2^1431244-1 is not prime. Res64: 5CB11FCEE5FDD0B8 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:43:31] 645*2^1431245-1 is not prime. Res64: 83F4B52E6B62AD40 Time : 0.0 sec. user=mdettweiler [2016-06-03 02:43:31] 651*2^1431245-1 is not prime. Res64: 6347BCCB43C17433 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:04:04] 685*2^1431245-1 is not prime. Res64: 2372277A16F625E1 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:04:05] 771*2^1431245-1 is not prime. Res64: 783079241CF7E689 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:04:07] 847*2^1431245-1 is not prime. Res64: 4DA920F59D84D7E1 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:04:08] 915*2^1431245-1 is not prime. Res64: 38A39F143070980F Time : 0.0 sec. user=mdettweiler [2016-06-03 03:04:09] 925*2^1431245-1 is not prime. Res64: 02D63E28144A0EA8 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:13:36] 981*2^1431245-1 is not prime. Res64: C18CE29A89C837EA Time : 0.0 sec. user=mdettweiler [2016-06-03 03:13:36] 683*2^1431246-1 is not prime. Res64: 3BD5F85B137258C5 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:13:37] 711*2^1431246-1 is not prime. Res64: B840E5340A331960 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:13:37] 747*2^1431246-1 is not prime. Res64: 569CCAA3793EB8D9 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:13:38] 825*2^1431246-1 is not prime. Res64: 98812801C5BB0C52 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:26:27] 875*2^1431246-1 is not prime. Res64: 52F167F31DFB4847 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:26:28] 891*2^1431246-1 is not prime. Res64: 1DA0FCE749B14058 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:26:29] 615*2^1431247-1 is not prime. Res64: D8C07A5B3D4DFE29 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:26:30] 619*2^1431247-1 is not prime. Res64: 852330E6A5D5A856 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:26:30] 633*2^1431247-1 is not prime. Res64: 75C399A6A88A0A7A Time : 0.0 sec. user=mdettweiler [2016-06-03 03:29:55] 645*2^1431247-1 is not prime. Res64: 9A910A628DDF4C11 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:29:57] 681*2^1431247-1 is not prime. Res64: 45AB04DA577AAF78 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:29:58] 693*2^1431247-1 is not prime. Res64: 79EBF0160BDDD622 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:29:59] 769*2^1431247-1 is not prime. Res64: C1F29E0CB6C4AC2F Time : 0.0 sec. user=mdettweiler [2016-06-03 03:30:00] 831*2^1431247-1 is not prime. Res64: EEA16F44B5DC88C3 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:51:10] 859*2^1431247-1 is not prime. Res64: 0DA014D3EAEE5778 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:51:12] 873*2^1431247-1 is not prime. Res64: 618B1E6122AD9925 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:51:14] 885*2^1431247-1 is not prime. Res64: 1A6C61D04B756E0B Time : 0.0 sec. user=mdettweiler [2016-06-03 03:51:16] 975*2^1431247-1 is not prime. Res64: 2DA02EDB9BAEE0BC Time : 0.0 sec. user=mdettweiler [2016-06-03 03:51:17] 633*2^1431248-1 is not prime. Res64: 4DA09310DD55744E Time : 0.0 sec. user=mdettweiler [2016-06-03 03:59:42] 657*2^1431248-1 is not prime. Res64: 26DD0FAC32419650 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:59:42] 999*2^1431248-1 is not prime. Res64: E7A1E7A71F5BF305 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:59:43] 751*2^1431249-1 is not prime. Res64: B07F0CE0CCA67D51 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:59:43] 759*2^1431249-1 is not prime. Res64: D788C0D97766D5C8 Time : 0.0 sec. user=mdettweiler [2016-06-03 03:59:44] 829*2^1431249-1 is not prime. Res64: F46EFD8CCC5A66B1 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:11:43] 831*2^1431249-1 is not prime. Res64: 2186578CB1F293BC Time : 0.0 sec. user=mdettweiler [2016-06-03 04:11:44] 999*2^1431249-1 is not prime. Res64: 5436A2D6C551EDB9 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:11:44] 933*2^1431250-1 is not prime. Res64: A83B5FB214153780 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:11:45] 981*2^1431250-1 is not prime. Res64: 39AF95398B27DC40 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:11:45] 609*2^1431251-1 is not prime. Res64: 123FA6006560EBFC Time : 0.0 sec. user=mdettweiler [2016-06-03 04:15:15] 645*2^1431251-1 is not prime. Res64: C2B808169EB5212F Time : 0.0 sec. user=mdettweiler [2016-06-03 04:15:16] 679*2^1431251-1 is not prime. Res64: 1C0BAA11BA2271F2 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:15:16] 703*2^1431251-1 is not prime. Res64: 3E185576F2AA0535 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:15:17] 733*2^1431251-1 is not prime. Res64: 36E31A1EE1964E9A Time : 0.0 sec. user=mdettweiler [2016-06-03 04:15:17] 745*2^1431251-1 is not prime. Res64: 0C190AD270705FB7 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:36:58] 759*2^1431251-1 is not prime. Res64: 0C02C7D48CEBCD73 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:36:58] 775*2^1431251-1 is not prime. Res64: D7A49CC8641B3123 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:36:59] 855*2^1431251-1 is not prime. Res64: 51AFDF55E30E426B Time : 0.0 sec. user=mdettweiler [2016-06-03 04:36:59] 871*2^1431251-1 is not prime. Res64: 67B7F3755094D6EF Time : 0.0 sec. user=mdettweiler [2016-06-03 04:36:59] 981*2^1431251-1 is not prime. Res64: BB7EA16EF5A55178 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:45:00] 991*2^1431251-1 is not prime. Res64: 608FE02880122BBC Time : 0.0 sec. user=mdettweiler [2016-06-03 04:45:00] 623*2^1431252-1 is not prime. Res64: 2707D5E4DBF34E79 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:45:01] 879*2^1431252-1 is not prime. Res64: 0A7AAEA48157B1B2 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:45:01] 887*2^1431252-1 is not prime. Res64: 8D8945AA92206072 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:45:01] 607*2^1431253-1 is not prime. Res64: 834B3009827AE49D Time : 0.0 sec. user=mdettweiler [2016-06-03 04:56:46] 757*2^1431253-1 is not prime. Res64: 487C5D109E76D9B0 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:56:47] 765*2^1431253-1 is not prime. Res64: 4F4A6D4E91287B7B Time : 0.0 sec. user=mdettweiler [2016-06-03 04:56:47] 801*2^1431253-1 is not prime. Res64: 042D48A82F868B80 Time : 0.0 sec. user=mdettweiler [2016-06-03 04:56:48] 849*2^1431253-1 is not prime. Res64: 34FAABACA3F5539A Time : 0.0 sec. user=mdettweiler [2016-06-03 04:56:48] 885*2^1431253-1 is not prime. Res64: B3CAEE9654E54A11 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:00:14] 889*2^1431253-1 is not prime. Res64: BBCAA2A8BF216328 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:00:15] 897*2^1431253-1 is not prime. Res64: CED75A63A1030BB5 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:00:16] 901*2^1431253-1 is not prime. Res64: E2FB94F496CEFF81 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:00:17] 683*2^1431254-1 is not prime. Res64: 34E4E27D34D61A03 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:00:18] 797*2^1431254-1 is not prime. Res64: 8FF1BEB542F4903F Time : 0.0 sec. user=mdettweiler [2016-06-03 05:22:00] 861*2^1431254-1 is not prime. Res64: 6479580208A295CA Time : 0.0 sec. user=mdettweiler [2016-06-03 05:22:01] 873*2^1431254-1 is not prime. Res64: 5C612C3092615355 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:22:01] 619*2^1431255-1 is not prime. Res64: 59A4A7F1840F988F Time : 0.0 sec. user=mdettweiler [2016-06-03 05:22:02] 669*2^1431255-1 is not prime. Res64: D3FE0C954D3DD18A Time : 0.0 sec. user=mdettweiler [2016-06-03 05:22:02] 739*2^1431255-1 is not prime. Res64: E727CF1BBC308277 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:30:11] 781*2^1431255-1 is not prime. Res64: 806828A299729DD3 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:30:11] 823*2^1431255-1 is not prime. Res64: CEB5EA75EF66FB76 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:30:12] 919*2^1431255-1 is not prime. Res64: D61EC7C70D11CECA Time : 0.0 sec. user=mdettweiler [2016-06-03 05:30:12] 979*2^1431255-1 is not prime. Res64: 03382055737AA1B3 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:30:13] 991*2^1431255-1 is not prime. Res64: 3CCB96DE9642B76D Time : 0.0 sec. user=mdettweiler [2016-06-03 05:41:48] 639*2^1431256-1 is not prime. Res64: BC6C23A5A7668FDF Time : 0.0 sec. user=mdettweiler [2016-06-03 05:41:48] 663*2^1431256-1 is not prime. Res64: 6CDBB8BF2D477BCF Time : 0.0 sec. user=mdettweiler [2016-06-03 05:41:49] 693*2^1431256-1 is not prime. Res64: 9B5DEE36DFE5E05E Time : 0.0 sec. user=mdettweiler [2016-06-03 05:41:49] 773*2^1431256-1 is not prime. Res64: 213B4C80A0278AFA Time : 0.0 sec. user=mdettweiler [2016-06-03 05:41:49] 803*2^1431256-1 is not prime. Res64: F6587C1F37C46FAF Time : 0.0 sec. user=mdettweiler [2016-06-03 05:45:19] 905*2^1431256-1 is not prime. Res64: 1A9AC67750F85261 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:45:19] 607*2^1431257-1 is not prime. Res64: F1BFE4B6D392E687 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:45:20] 669*2^1431257-1 is not prime. Res64: C12C068432A0F241 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:45:20] 735*2^1431257-1 is not prime. Res64: 6856A870D3DB9226 Time : 0.0 sec. user=mdettweiler [2016-06-03 05:45:20] 805*2^1431257-1 is not prime. Res64: F61E3BB90404FCE8 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:07:03] 865*2^1431257-1 is not prime. Res64: A2C8B6FDB567B404 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:07:05] 889*2^1431257-1 is not prime. Res64: 2A93028A686B1B8B Time : 0.0 sec. user=mdettweiler [2016-06-03 06:07:06] 909*2^1431257-1 is not prime. Res64: F8F0FBC5B1647E31 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:07:07] 945*2^1431257-1 is not prime. Res64: D1453D5148C15722 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:07:09] 949*2^1431257-1 is not prime. Res64: BF40505849DB93F2 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:15:04] 725*2^1431258-1 is not prime. Res64: 21121C055B7ABFEA Time : 0.0 sec. user=mdettweiler [2016-06-03 06:15:04] 951*2^1431258-1 is not prime. Res64: 1E250DD2F8C4062E Time : 0.0 sec. user=mdettweiler [2016-06-03 06:15:04] 603*2^1431259-1 is not prime. Res64: C09F641570649192 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:15:05] 741*2^1431259-1 is not prime. Res64: CAD3041CD852BBF7 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:15:05] 835*2^1431259-1 is not prime. Res64: EC3CD599DAD03ADB Time : 0.0 sec. user=mdettweiler [2016-06-03 06:26:43] 841*2^1431259-1 is not prime. Res64: B0534583B11ED55D Time : 0.0 sec. user=mdettweiler [2016-06-03 06:26:44] 843*2^1431259-1 is not prime. Res64: 103205BA90856FCD Time : 0.0 sec. user=mdettweiler [2016-06-03 06:26:45] 859*2^1431259-1 is not prime. Res64: D986AB82B5542AAD Time : 0.0 sec. user=mdettweiler [2016-06-03 06:26:47] 975*2^1431259-1 is not prime. Res64: 2E2410C8FA6F06D6 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:26:48] 609*2^1431260-1 is not prime. Res64: B277283B8DC817B1 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:30:26] 665*2^1431260-1 is not prime. Res64: 95C84AC7CFC253EA Time : 0.0 sec. user=mdettweiler [2016-06-03 06:30:26] 785*2^1431260-1 is not prime. Res64: 0D4FC3AABFCCAE12 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:30:27] 795*2^1431260-1 is not prime. Res64: 26CD583DFD7489D1 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:30:27] 959*2^1431260-1 is not prime. Res64: CF90541772C5107D Time : 0.0 sec. user=mdettweiler [2016-06-03 06:30:28] 601*2^1431261-1 is not prime. Res64: EF8D1EF47EFCA723 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:52:32] 621*2^1431261-1 is not prime. Res64: 6EB0130E9646DBA0 Time : 0.0 sec. user=mdettweiler [2016-06-03 06:52:32] 661*2^1431261-1 is not prime. Res64: 647420E42DC1682A Time : 0.0 sec. user=mdettweiler [2016-06-03 06:52:32] 727*2^1431261-1 is not prime. Res64: 0EBB57C43B5A4B0B Time : 0.0 sec. user=mdettweiler [2016-06-03 06:52:33] 795*2^1431261-1 is not prime. Res64: A6443D53D9A691ED Time : 0.0 sec. user=mdettweiler [2016-06-03 06:52:33] 951*2^1431261-1 is not prime. Res64: 13FF5B5AE8DA3740 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:00:21] 651*2^1431262-1 is not prime. Res64: F468C5B05F9EE90B Time : 0.0 sec. user=mdettweiler [2016-06-03 07:00:22] 653*2^1431262-1 is not prime. Res64: 6B9CA613F325E97D Time : 0.0 sec. user=mdettweiler [2016-06-03 07:00:23] 671*2^1431262-1 is not prime. Res64: 1E8B66B38BDA69B8 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:00:24] 821*2^1431262-1 is not prime. Res64: 205776899028CAF2 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:00:25] 867*2^1431262-1 is not prime. Res64: BD226C552AD33DF4 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:12:06] 885*2^1431262-1 is not prime. Res64: 24AA2DEC0612C07E Time : 0.0 sec. user=mdettweiler [2016-06-03 07:12:07] 911*2^1431262-1 is not prime. Res64: 224B23DC5C6C54E2 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:12:07] 945*2^1431262-1 is not prime. Res64: BFD7AED69094E763 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:12:08] 783*2^1431263-1 is not prime. Res64: B999687BEE69CF0B Time : 0.0 sec. user=mdettweiler [2016-06-03 07:12:09] 825*2^1431263-1 is not prime. Res64: 7FB1BAACA2F946A3 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:15:36] 963*2^1431263-1 is not prime. Res64: 5CD9A0649F65E766 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:15:37] 605*2^1431264-1 is not prime. Res64: AA50293FBD904EF7 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:15:37] 789*2^1431264-1 is not prime. Res64: 0FE9A3787CECBEF8 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:15:37] 863*2^1431264-1 is not prime. Res64: 373C75F1151ABC3D Time : 0.0 sec. user=mdettweiler [2016-06-03 07:15:38] 873*2^1431264-1 is not prime. Res64: DC0310E0B92BED0F Time : 0.0 sec. user=mdettweiler [2016-06-03 07:37:42] 929*2^1431264-1 is not prime. Res64: 379CF2A101C0307E Time : 0.0 sec. user=mdettweiler [2016-06-03 07:37:43] 679*2^1431265-1 is not prime. Res64: 97B1492BCB34BB75 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:37:43] 699*2^1431265-1 is not prime. Res64: 501AD0D95D7D98EF Time : 0.0 sec. user=mdettweiler [2016-06-03 07:37:43] 727*2^1431265-1 is not prime. Res64: 4BDA330612FBCA6B Time : 0.0 sec. user=mdettweiler [2016-06-03 07:37:44] 759*2^1431265-1 is not prime. Res64: 4DED0C2E99818BD8 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:45:48] 777*2^1431265-1 is not prime. Res64: 279D8CA9383D0E4C Time : 0.0 sec. user=mdettweiler [2016-06-03 07:45:48] 799*2^1431265-1 is not prime. Res64: F3B59D791A1BDCBD Time : 0.0 sec. user=mdettweiler [2016-06-03 07:45:49] 885*2^1431265-1 is not prime. Res64: E2A925ED5992F4A3 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:45:49] 957*2^1431265-1 is not prime. Res64: C7C3D1EFAFF0C7EF Time : 0.0 sec. user=mdettweiler [2016-06-03 07:45:50] 623*2^1431266-1 is not prime. Res64: 5A5DE6E4EFE5C1AC Time : 0.0 sec. user=mdettweiler [2016-06-03 07:57:12] 641*2^1431266-1 is not prime. Res64: E003657BF8481074 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:57:13] 735*2^1431266-1 is not prime. Res64: F8C18D3FF296D3BD Time : 0.0 sec. user=mdettweiler [2016-06-03 07:57:13] 815*2^1431266-1 is not prime. Res64: 9E4E57D88D21383F Time : 0.0 sec. user=mdettweiler [2016-06-03 07:57:13] 851*2^1431266-1 is not prime. Res64: D17E3C0116A613C2 Time : 0.0 sec. user=mdettweiler [2016-06-03 07:57:14] 873*2^1431266-1 is not prime. Res64: 10702F01CB7DA565 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:00:40] 893*2^1431266-1 is not prime. Res64: F87400DF2A05E0C5 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:00:41] 903*2^1431266-1 is not prime. Res64: C0A899BFE9211F2B Time : 0.0 sec. user=mdettweiler [2016-06-03 08:00:42] 923*2^1431266-1 is not prime. Res64: 6910E908F323DB4C Time : 0.0 sec. user=mdettweiler [2016-06-03 08:00:42] 675*2^1431267-1 is not prime. Res64: 04D4705B0D49E845 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:00:43] 699*2^1431267-1 is not prime. Res64: 20C121AC8FCCB5A2 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:22:42] 703*2^1431267-1 is not prime. Res64: 4F7C2B074281D59A Time : 0.0 sec. user=mdettweiler [2016-06-03 08:22:42] 801*2^1431267-1 is not prime. Res64: 3DA1EED67D564D5C Time : 0.0 sec. user=mdettweiler [2016-06-03 08:22:43] 895*2^1431267-1 is not prime. Res64: 003FA274FF7EC3A6 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:22:43] 617*2^1431268-1 is not prime. Res64: 6D97FF989C86757A Time : 0.0 sec. user=mdettweiler [2016-06-03 08:22:44] 705*2^1431268-1 is not prime. Res64: DED77F09B96C2DBD Time : 0.0 sec. user=mdettweiler [2016-06-03 08:30:47] 825*2^1431268-1 is not prime. Res64: 7B4DD903C7C844DD Time : 0.0 sec. user=mdettweiler [2016-06-03 08:30:47] 887*2^1431268-1 is not prime. Res64: 7325DD3C1F0EAB3B Time : 0.0 sec. user=mdettweiler [2016-06-03 08:30:47] 957*2^1431268-1 is not prime. Res64: A64B179EDE5C0D1F Time : 0.0 sec. user=mdettweiler [2016-06-03 08:30:48] 787*2^1431269-1 is not prime. Res64: D34726DC9B287667 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:30:48] 855*2^1431269-1 is not prime. Res64: 44E3AAF13FE2AD0D Time : 0.0 sec. user=mdettweiler [2016-06-03 08:42:26] 885*2^1431269-1 is not prime. Res64: E15E07EC185A4045 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:42:27] 925*2^1431269-1 is not prime. Res64: 69391A061C7CF4EC Time : 0.0 sec. user=mdettweiler [2016-06-03 08:42:27] 949*2^1431269-1 is not prime. Res64: B47038139A14C811 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:42:27] 627*2^1431270-1 is not prime. Res64: 9CFFD27B3C51404C Time : 0.0 sec. user=mdettweiler [2016-06-03 08:42:28] 725*2^1431270-1 is not prime. Res64: 10CA7D38EF5A4A79 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:45:46] 867*2^1431270-1 is not prime. Res64: 68762DDCF379BA91 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:45:46] 927*2^1431270-1 is not prime. Res64: 915DBB86CEAF055C Time : 0.0 sec. user=mdettweiler [2016-06-03 08:45:47] 759*2^1431271-1 is not prime. Res64: C0A1AC799151315D Time : 0.0 sec. user=mdettweiler [2016-06-03 08:45:47] 793*2^1431271-1 is not prime. Res64: 7DAB94FD39150543 Time : 0.0 sec. user=mdettweiler [2016-06-03 08:45:47] 829*2^1431271-1 is not prime. Res64: 5387ECD21CB5FC7A Time : 0.0 sec. user=mdettweiler [2016-06-03 09:08:19] 859*2^1431271-1 is not prime. Res64: 6B81870200C40989 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:08:21] 969*2^1431271-1 is not prime. Res64: A529A2A9A90B1492 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:08:23] 973*2^1431271-1 is not prime. Res64: B186BD11711A2932 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:08:25] 837*2^1431272-1 is not prime. Res64: 9C7B040C8A9DF88E Time : 0.0 sec. user=mdettweiler [2016-06-03 09:08:28] 855*2^1431272-1 is not prime. Res64: F74085C17E557033 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:16:42] 945*2^1431272-1 is not prime. Res64: 1880FB46E465C35D Time : 0.0 sec. user=mdettweiler [2016-06-03 09:16:42] 983*2^1431272-1 is not prime. Res64: 4528D73CE0A02352 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:16:43] 669*2^1431273-1 is not prime. Res64: 1CA5D5EE6A7B9890 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:16:43] 699*2^1431273-1 is not prime. Res64: D4715D55AC563CC1 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:16:43] 769*2^1431273-1 is not prime. Res64: F00E3CCCF16E54A6 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:28:48] 807*2^1431273-1 is not prime. Res64: D750A84E506418D2 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:28:49] 817*2^1431273-1 is not prime. Res64: 00B3B5230920373D Time : 0.0 sec. user=mdettweiler [2016-06-03 09:28:49] 921*2^1431273-1 is not prime. Res64: EAC9B9026CB6B3D1 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:28:50] 645*2^1431274-1 is not prime. Res64: 319AF709471B7593 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:28:50] 663*2^1431274-1 is not prime. Res64: 515B00F818033656 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:32:28] 677*2^1431274-1 is not prime. Res64: D013BDDF3462BC80 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:32:29] 681*2^1431274-1 is not prime. Res64: 43FF60806798E975 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:32:29] 705*2^1431274-1 is not prime. Res64: 1631B922F2635153 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:32:29] 707*2^1431274-1 is not prime. Res64: B69D6D108A93AF41 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:32:30] 731*2^1431274-1 is not prime. Res64: AE82B5AEC72B0E9F Time : 0.0 sec. user=mdettweiler [2016-06-03 09:55:25] 783*2^1431274-1 is not prime. Res64: 742F10D37565DCBB Time : 0.0 sec. user=mdettweiler [2016-06-03 09:55:25] 825*2^1431274-1 is not prime. Res64: E22B4BF53AEBBBDA Time : 0.0 sec. user=mdettweiler [2016-06-03 09:55:25] 891*2^1431274-1 is not prime. Res64: A458AAEE300DBAC6 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:55:26] 915*2^1431274-1 is not prime. Res64: 147A38564FB195A8 Time : 0.0 sec. user=mdettweiler [2016-06-03 09:55:26] 633*2^1431275-1 is not prime. Res64: ACA9860CF41D546C Time : 0.0 sec. user=mdettweiler [2016-06-03 10:03:02] 643*2^1431275-1 is not prime. Res64: 939F86AF1BCAFFAD Time : 0.0 sec. user=mdettweiler [2016-06-03 10:03:03] 741*2^1431275-1 is not prime. Res64: D0658318251E4706 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:03:04] 771*2^1431275-1 is not prime. Res64: 34DE38F595823FD8 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:03:04] 895*2^1431275-1 is not prime. Res64: 380CBA3369839402 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:03:05] 653*2^1431276-1 is not prime. Res64: 2FB0C2E08F2137F3 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:14:46] 765*2^1431276-1 is not prime. Res64: F838BA755BA8AB8A Time : 0.0 sec. user=mdettweiler [2016-06-03 10:14:46] 857*2^1431276-1 is not prime. Res64: C1F815D42D6C0C76 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:14:47] 887*2^1431276-1 is not prime. Res64: 0B100F4127A0A174 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:14:47] 945*2^1431276-1 is not prime. Res64: 949CD5FDF3060078 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:14:48] 969*2^1431276-1 is not prime. Res64: C7701CCD337E163B Time : 0.0 sec. user=mdettweiler [2016-06-03 10:18:40] 615*2^1431277-1 is not prime. Res64: 523BBE2D75C3EBF8 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:18:40] 639*2^1431277-1 is not prime. Res64: 064E5BD87896665D Time : 0.0 sec. user=mdettweiler [2016-06-03 10:18:41] 649*2^1431277-1 is not prime. Res64: 850C024F8542CD4F Time : 0.0 sec. user=mdettweiler [2016-06-03 10:18:41] 751*2^1431277-1 is not prime. Res64: 685EB185F02C477D Time : 0.0 sec. user=mdettweiler [2016-06-03 10:18:41] 931*2^1431277-1 is not prime. Res64: D6C9ECDC6DD1AC5F Time : 0.0 sec. user=mdettweiler [2016-06-03 10:43:59] 957*2^1431277-1 is not prime. Res64: BB0C057C2979FF61 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:44:00] 997*2^1431277-1 is not prime. Res64: 5B1C8EC05AE9F597 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:44:01] 999*2^1431277-1 is not prime. Res64: E4711D5D584311B1 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:44:01] 623*2^1431278-1 is not prime. Res64: C00FE9E024803F9D Time : 0.0 sec. user=mdettweiler [2016-06-03 10:44:01] 771*2^1431278-1 is not prime. Res64: ABFE760782096F90 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:52:38] 861*2^1431278-1 is not prime. Res64: 08BCD60E61B99222 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:52:38] 867*2^1431278-1 is not prime. Res64: 53252369D5E296EA Time : 0.0 sec. user=mdettweiler [2016-06-03 10:52:39] 923*2^1431278-1 is not prime. Res64: DFD36D94475E9820 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:52:39] 977*2^1431278-1 is not prime. Res64: 6E38E26B77272D46 Time : 0.0 sec. user=mdettweiler [2016-06-03 10:52:39] 703*2^1431279-1 is not prime. Res64: 0111651086D09467 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:03:55] 775*2^1431279-1 is not prime. Res64: 038A335D49F1F6B2 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:03:56] 891*2^1431279-1 is not prime. Res64: 9EFBED22FA8179D8 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:03:58] 909*2^1431279-1 is not prime. Res64: 849103A01876C39D Time : 0.0 sec. user=mdettweiler [2016-06-03 11:03:59] 603*2^1431280-1 is not prime. Res64: 2D69CD99AC4E25DD Time : 0.0 sec. user=mdettweiler [2016-06-03 11:04:01] 645*2^1431280-1 is not prime. Res64: C0EEA2181C977936 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:07:44] 699*2^1431280-1 is not prime. Res64: 251EC52D0E125C10 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:07:47] 747*2^1431280-1 is not prime. Res64: 517B6379BB6509F4 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:07:49] 627*2^1431281-1 is not prime. Res64: F554B2F401D1CF4B Time : 0.0 sec. user=mdettweiler [2016-06-03 11:07:52] 637*2^1431281-1 is not prime. Res64: 88952C3902FB5C7C Time : 0.0 sec. user=mdettweiler [2016-06-03 11:07:54] 669*2^1431281-1 is not prime. Res64: B573BC40939262D7 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:31:42] 675*2^1431281-1 is not prime. Res64: 5335B929F38C7D8C Time : 0.0 sec. user=mdettweiler [2016-06-03 11:31:43] 769*2^1431281-1 is not prime. Res64: 372CAF9EB3E2F385 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:31:43] 775*2^1431281-1 is not prime. Res64: 72AA859E2A360B38 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:31:43] 811*2^1431281-1 is not prime. Res64: 5E96514E56F2E91F Time : 0.0 sec. user=mdettweiler [2016-06-03 11:31:43] 819*2^1431281-1 is not prime. Res64: 5E266DD731E33AE6 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:40:05] 855*2^1431281-1 is not prime. Res64: E18CC22DEC839929 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:40:05] 925*2^1431281-1 is not prime. Res64: 396FCCC9E54B8C51 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:40:05] 657*2^1431282-1 is not prime. Res64: 0CC578E11ADFD852 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:40:06] 677*2^1431282-1 is not prime. Res64: FF337DCF7044DA7E Time : 0.0 sec. user=mdettweiler [2016-06-03 11:40:06] 735*2^1431282-1 is not prime. Res64: A50EF2C175F62DD0 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:51:38] 741*2^1431282-1 is not prime. Res64: 8917856FC0B97D00 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:51:39] 873*2^1431282-1 is not prime. Res64: AE76A74DC0938ECA Time : 0.0 sec. user=mdettweiler [2016-06-03 11:51:40] 941*2^1431282-1 is not prime. Res64: 642BCB046F1D2B67 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:51:40] 633*2^1431283-1 is not prime. Res64: 5751D680130419DD Time : 0.0 sec. user=mdettweiler [2016-06-03 11:51:41] 705*2^1431283-1 is not prime. Res64: 7412043FEDA00046 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:56:10] 793*2^1431283-1 is not prime. Res64: 02EC70025D814CFF Time : 0.0 sec. user=mdettweiler [2016-06-03 11:56:10] 871*2^1431283-1 is not prime. Res64: CE3E22496444C096 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:56:10] 939*2^1431283-1 is not prime. Res64: C6F51B2FCEED179D Time : 0.0 sec. user=mdettweiler [2016-06-03 11:56:10] 993*2^1431283-1 is not prime. Res64: E28B7852ED9E8C80 Time : 0.0 sec. user=mdettweiler [2016-06-03 11:56:11] 683*2^1431284-1 is not prime. Res64: C13DB5F73F23F534 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:18:15] 707*2^1431284-1 is not prime. Res64: 8FF18B1724FB7D30 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:18:16] 803*2^1431284-1 is not prime. Res64: 20A3E5999CF631E8 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:18:16] 827*2^1431284-1 is not prime. Res64: A7937636735EF318 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:18:17] 915*2^1431284-1 is not prime. Res64: 3DF4E4E35777CEA9 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:18:17] 969*2^1431284-1 is not prime. Res64: FC6081BD744080E5 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:26:25] 607*2^1431285-1 is not prime. Res64: FC24D972F7C1B4D5 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:26:26] 649*2^1431285-1 is not prime. Res64: 20222F278949EC1F Time : 0.0 sec. user=mdettweiler [2016-06-03 12:26:26] 669*2^1431285-1 is not prime. Res64: 3B3755A2A34880BE Time : 0.0 sec. user=mdettweiler [2016-06-03 12:26:27] 685*2^1431285-1 is not prime. Res64: 462ED41CEC331079 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:26:28] 741*2^1431285-1 is not prime. Res64: 3EF9DDA9F581B347 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:37:14] 861*2^1431285-1 is not prime. Res64: 7C0B44B88F5DA9FE Time : 0.0 sec. user=mdettweiler [2016-06-03 12:37:15] 871*2^1431285-1 is not prime. Res64: 5848E38D999B4E93 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:37:15] 877*2^1431285-1 is not prime. Res64: D821EC30099E95C5 Time : 0.0 sec. user=mdettweiler [2016-06-03 12:37:16] 889*2^1431285-1 is not prime. Res64: 6BB4EA74A756491C Time : 0.0 sec. user=mdettweiler [2016-06-03 12:37:16] 949*2^1431285-1 is not prime. Res64: FB6CB19104A13F02 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:03:35] 801*2^1431286-1 is not prime. Res64: 7758ECD7E995E1C1 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:03:37] 813*2^1431286-1 is not prime. Res64: FD9F1F2B6E134A44 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:03:38] 843*2^1431286-1 is not prime. Res64: 231FBC0E7C0141A8 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:03:39] 857*2^1431286-1 is not prime. Res64: A15D15D39E62F86F Time : 0.0 sec. user=mdettweiler [2016-06-03 13:03:40] 957*2^1431286-1 is not prime. Res64: D688C2C48D949904 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:12:00] 669*2^1431287-1 is not prime. Res64: 993CD0A5ADF62974 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:12:02] 759*2^1431287-1 is not prime. Res64: D120CB54F2EB0CC2 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:12:03] 799*2^1431287-1 is not prime. Res64: 211D6DCD8CF7B6F6 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:12:04] 859*2^1431287-1 is not prime. Res64: 26E0C2208493CDCF Time : 0.0 sec. user=mdettweiler [2016-06-03 13:12:05] 885*2^1431287-1 is not prime. Res64: 115B966A07DA214B Time : 0.0 sec. user=mdettweiler [2016-06-03 13:22:55] 737*2^1431288-1 is not prime. Res64: FFB59C82B493D4AA Time : 0.0 sec. user=mdettweiler [2016-06-03 13:22:56] 765*2^1431288-1 is not prime. Res64: 7918954AE10DF23F Time : 0.0 sec. user=mdettweiler [2016-06-03 13:22:59] 839*2^1431288-1 is not prime. Res64: 3622EE88C8DA26B6 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:22:59] 639*2^1431289-1 is not prime. Res64: 2A50F1302E5F6429 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:23:00] 667*2^1431289-1 is not prime. Res64: E524C9C1F6C6E460 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:49:33] 729*2^1431289-1 is not prime. Res64: 5ECC6A68D55B54CE Time : 0.0 sec. user=mdettweiler [2016-06-03 13:49:33] 861*2^1431289-1 is not prime. Res64: 167EA4F37D96974F Time : 0.0 sec. user=mdettweiler [2016-06-03 13:49:34] 975*2^1431289-1 is not prime. Res64: B28D1769706CB9CD Time : 0.0 sec. user=mdettweiler [2016-06-03 13:49:34] 713*2^1431290-1 is not prime. Res64: 6C9FB26A71CA614F Time : 0.0 sec. user=mdettweiler [2016-06-03 13:49:34] 801*2^1431290-1 is not prime. Res64: 5CE4945EF8AB34A7 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:58:00] 987*2^1431290-1 is not prime. Res64: B5DE5700BE903588 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:58:00] 609*2^1431291-1 is not prime. Res64: F4EBAD0D5F74F600 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:58:01] 709*2^1431291-1 is not prime. Res64: 38EAA0FE818357E8 Time : 0.0 sec. user=mdettweiler [2016-06-03 13:58:01] 735*2^1431291-1 is not prime. Res64: 8D1316F7924DEEFA Time : 0.0 sec. user=mdettweiler [2016-06-03 13:58:01] 931*2^1431291-1 is not prime. Res64: 35703258BB754325 Time : 0.0 sec. user=mdettweiler [2016-06-03 14:08:52] 955*2^1431291-1 is not prime. Res64: DF7FB5844D05995E Time : 0.0 sec. user=mdettweiler [2016-06-03 14:36:47] 843*2^1431292-1 is not prime. Res64: 8E11F79272D61453 Time : 0.0 sec. user=mdettweiler [2016-06-03 14:36:48] 875*2^1431292-1 is not prime. Res64: 87B1B2A475CDC87C Time : 0.0 sec. user=mdettweiler [2016-06-03 14:36:48] 903*2^1431292-1 is not prime. Res64: 59EF709454A471B9 Time : 0.0 sec. user=mdettweiler [2016-06-03 14:36:49] 775*2^1431293-1 is not prime. Res64: FD01118AACBECB9D Time : 0.0 sec. user=mdettweiler [2016-06-03 14:36:49] 949*2^1431293-1 is not prime. Res64: 284257DB315773DF Time : 0.0 sec. user=mdettweiler [2016-06-03 14:46:05] 951*2^1431293-1 is not prime. Res64: 6817D834FAD593FB Time : 0.0 sec. user=mdettweiler [2016-06-03 14:46:05] 967*2^1431293-1 is not prime. Res64: FDD42E9F8CFE0DF2 Time : 0.0 sec. user=mdettweiler [2016-06-03 14:46:06] 671*2^1431294-1 is not prime. Res64: 330DA1F590B9E014 Time : 0.0 sec. user=mdettweiler [2016-06-03 14:46:06] 741*2^1431294-1 is not prime. Res64: CC1EEC813AE8136D Time : 0.0 sec. user=mdettweiler [2016-06-03 14:46:06] 767*2^1431294-1 is not prime. Res64: 8C26C7F3A9927950 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:25:36] 875*2^1431294-1 is not prime. Res64: 10A5E39B85104C7D Time : 0.0 sec. user=mdettweiler [2016-06-03 15:25:36] 927*2^1431294-1 is not prime. Res64: 2E73B826DCDF54B4 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:25:36] 947*2^1431294-1 is not prime. Res64: 626D058244FAD093 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:25:37] 993*2^1431294-1 is not prime. Res64: ADD73A95095429EC Time : 0.0 sec. user=mdettweiler [2016-06-03 15:25:37] 735*2^1431295-1 is not prime. Res64: CB97B6DC8D9BA994 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:34:42] 759*2^1431295-1 is not prime. Res64: 45AE4C8ABBE8AFE8 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:34:42] 789*2^1431295-1 is not prime. Res64: F608FDC28EF59FDB Time : 0.0 sec. user=mdettweiler [2016-06-03 15:34:43] 819*2^1431295-1 is not prime. Res64: 7FE19746D3165171 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:34:43] 829*2^1431295-1 is not prime. Res64: 5FEFF0D137066133 Time : 0.0 sec. user=mdettweiler [2016-06-03 15:34:44] 841*2^1431295-1 is not prime. Res64: 3DECF53387D6306C Time : 0.0 sec. user=mdettweiler [2016-06-03 16:14:11] 883*2^1431295-1 is not prime. Res64: E7E849B70A6B4C6A Time : 0.0 sec. user=mdettweiler [2016-06-03 16:14:11] 915*2^1431295-1 is not prime. Res64: E0463C0F167C6736 Time : 0.0 sec. user=mdettweiler [2016-06-03 16:14:11] 925*2^1431295-1 is not prime. Res64: C695D8F3E9242C7F Time : 0.0 sec. user=mdettweiler [2016-06-03 16:14:12] 973*2^1431295-1 is not prime. Res64: 02DB5DDDB61EFBCA Time : 0.0 sec. user=mdettweiler [2016-06-03 16:14:12] 635*2^1431296-1 is not prime. Res64: A0278809EF3B0033 Time : 0.0 sec. user=mdettweiler [2016-06-03 16:24:04] 725*2^1431296-1 is not prime. Res64: 449F436A1A4C1CFB Time : 0.0 sec. user=mdettweiler [2016-06-03 16:24:04] 755*2^1431296-1 is not prime. Res64: B0EDA9646AD771C8 Time : 0.0 sec. user=mdettweiler [2016-06-03 16:24:05] 803*2^1431296-1 is not prime. Res64: 17CBF6129F3AA3E8 Time : 0.0 sec. user=mdettweiler [2016-06-03 16:24:05] 893*2^1431296-1 is not prime. Res64: 1C11574B081A887B Time : 0.0 sec. user=mdettweiler [2016-06-03 16:24:06] 649*2^1431297-1 is not prime. Res64: 89D8BB3C80DF5229 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:02:20] 667*2^1431297-1 is not prime. Res64: 4FFE39EE3618A15B Time : 0.0 sec. user=mdettweiler [2016-06-03 17:02:21] 727*2^1431297-1 is not prime. Res64: 1857C9C43F00580A Time : 0.0 sec. user=mdettweiler [2016-06-03 17:02:22] 769*2^1431297-1 is not prime. Res64: 22AE49BB107C5A48 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:02:23] 695*2^1431298-1 is not prime. Res64: 2305BD87424AC1F7 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:02:23] 723*2^1431298-1 is not prime. Res64: A290721930BB3136 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:13:41] 791*2^1431298-1 is not prime. Res64: 99269A0311A86440 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:13:42] 815*2^1431298-1 is not prime. Res64: BF4DBEE6412268CF Time : 0.0 sec. user=mdettweiler [2016-06-03 17:13:43] 827*2^1431298-1 is not prime. Res64: E486EF8B6398468E Time : 0.0 sec. user=mdettweiler [2016-06-03 17:13:44] 957*2^1431298-1 is not prime. Res64: A3811AB37CA44CB5 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:13:44] 971*2^1431298-1 is not prime. Res64: B10366B2E3C6F50B Time : 0.0 sec. user=mdettweiler [2016-06-03 17:50:40] 975*2^1431298-1 is not prime. Res64: CFABA2AE64DF195F Time : 0.0 sec. user=mdettweiler [2016-06-03 17:50:40] 987*2^1431298-1 is not prime. Res64: BC768040DED32DBE Time : 0.0 sec. user=mdettweiler [2016-06-03 17:50:40] 619*2^1431299-1 is not prime. Res64: C89F7151659BF2B1 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:50:41] 675*2^1431299-1 is not prime. Res64: 91DA64AC5DC87CC3 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:50:41] 993*2^1431299-1 is not prime. Res64: 0953B978CF3C5BFC Time : 0.0 sec. user=mdettweiler [2016-06-03 17:58:04] 961*2^1431285-1 is not prime. Res64: 7CBA4543967A2F05 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:58:05] 969*2^1431285-1 is not prime. Res64: 9AC8A0DC94688E44 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:58:05] 653*2^1431286-1 is not prime. Res64: FA76943E452A1583 Time : 0.0 sec. user=mdettweiler [2016-06-03 17:58:05] 705*2^1431286-1 is not prime. Res64: 829D665371A38D8D Time : 0.0 sec. user=mdettweiler [2016-06-03 17:58:06] 723*2^1431286-1 is not prime. Res64: 56D0E52202F3F834 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:01:46] 689*2^1431300-1 is not prime. Res64: 6BAB7C61C9A44C51 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:01:47] 759*2^1431300-1 is not prime. Res64: F09805DBC5779993 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:01:47] 773*2^1431300-1 is not prime. Res64: C0643C8BF44D8A32 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:01:48] 777*2^1431300-1 is not prime. Res64: B225094C2729DEEF Time : 0.0 sec. user=mdettweiler [2016-06-03 18:01:49] 789*2^1431300-1 is not prime. Res64: 1721BABA1EA88F9E Time : 0.0 sec. user=mdettweiler [2016-06-03 18:49:44] 797*2^1431300-1 is not prime. Res64: E98B0389491EE032 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:49:44] 819*2^1431300-1 is not prime. Res64: 4BD283F2CB059F78 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:49:44] 887*2^1431300-1 is not prime. Res64: 4BD867EA5C4E3706 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:49:45] 999*2^1431300-1 is not prime. Res64: F02C7059D04866B8 Time : 0.0 sec. user=mdettweiler [2016-06-03 18:49:45] 747*2^1431301-1 is not prime. Res64: D9ECA5629B01923D Time : 0.0 sec. user=mdettweiler [2016-06-03 19:00:05] 775*2^1431301-1 is not prime. Res64: 7F5F087817A9BE24 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:00:06] 817*2^1431301-1 is not prime. Res64: 5D46AD57D3CBC9BA Time : 0.0 sec. user=mdettweiler [2016-06-03 19:00:06] 855*2^1431301-1 is not prime. Res64: CAAACF9CB95FCE29 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:00:06] 871*2^1431301-1 is not prime. Res64: CE323CE37EB84E3B Time : 0.0 sec. user=mdettweiler [2016-06-03 19:00:06] 889*2^1431301-1 is not prime. Res64: B1253386BC190104 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:06:18] 931*2^1431301-1 is not prime. Res64: 174A23F7509E7222 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:06:19] 939*2^1431301-1 is not prime. Res64: C7B6D765CA5E13CC Time : 0.0 sec. user=mdettweiler [2016-06-03 19:06:20] 955*2^1431301-1 is not prime. Res64: FD7FEA10A859BFE6 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:06:21] 961*2^1431301-1 is not prime. Res64: 90528B18D0819478 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:06:22] 987*2^1431301-1 is not prime. Res64: 04E374344D0F8AAC Time : 0.0 sec. user=mdettweiler [2016-06-03 19:47:45] 603*2^1431302-1 is not prime. Res64: D32A0E2CD86D84B4 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:47:47] 651*2^1431302-1 is not prime. Res64: D51F5E6E146B8189 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:47:48] 665*2^1431302-1 is not prime. Res64: 5C254E1F08F52EAC Time : 0.0 sec. user=mdettweiler [2016-06-03 19:47:48] 825*2^1431302-1 is not prime. Res64: 608100A4BC3C398A Time : 0.0 sec. user=mdettweiler [2016-06-03 19:47:49] 885*2^1431302-1 is not prime. Res64: A9D88032407A7FC4 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:55:20] 957*2^1431302-1 is not prime. Res64: 3CD7AAB41EB1A030 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:55:20] 615*2^1431303-1 is not prime. Res64: 35315305C121EDBB Time : 0.0 sec. user=mdettweiler [2016-06-03 19:55:20] 643*2^1431303-1 is not prime. Res64: A8E8E2F377C1BDD3 Time : 0.0 sec. user=mdettweiler [2016-06-03 19:55:21] 649*2^1431303-1 is not prime. Res64: 6460DB9B061DB2AF Time : 0.0 sec. user=mdettweiler [2016-06-03 19:55:21] 919*2^1431303-1 is not prime. Res64: A63FD45F0DC211B7 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:01:11] 615*2^1431304-1 is not prime. Res64: 03F91DE56DD7B48F Time : 0.0 sec. user=mdettweiler [2016-06-03 20:01:12] 635*2^1431304-1 is not prime. Res64: 89D60FD671E3F24E Time : 0.0 sec. user=mdettweiler [2016-06-03 20:01:12] 687*2^1431304-1 is not prime. Res64: 662542E7109ED4E5 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:01:13] 863*2^1431304-1 is not prime. Res64: E8B2E13C0CC1F3E3 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:01:14] 899*2^1431304-1 is not prime. Res64: 3AEE592EE186E679 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:02:30] 975*2^1431291-1 is not prime. Res64: 4B2FB9BEDB34A357 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:02:31] 999*2^1431291-1 is not prime. Res64: 98E404755DEB3043 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:02:32] 755*2^1431292-1 is not prime. Res64: 21D035DA2C3320B8 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:02:32] 807*2^1431292-1 is not prime. Res64: A3566DBC88A79B07 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:33:08] 927*2^1431304-1 is not prime. Res64: F33FB1874B894465 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:33:09] 759*2^1431305-1 is not prime. Res64: 4168589EEE9AE462 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:33:09] 811*2^1431305-1 is not prime. Res64: 1A8A17B86993D4EB Time : 0.0 sec. user=mdettweiler [2016-06-03 20:33:10] 871*2^1431305-1 is not prime. Res64: CDC0AE5C79017D1D Time : 0.0 sec. user=mdettweiler [2016-06-03 20:33:10] 957*2^1431305-1 is not prime. Res64: B0C11203EA56253C Time : 0.0 sec. user=mdettweiler [2016-06-03 20:40:33] 987*2^1431305-1 is not prime. Res64: BF2481DCF83A24C5 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:40:33] 725*2^1431306-1 is not prime. Res64: AA9A94F117CCB9A4 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:40:33] 741*2^1431306-1 is not prime. Res64: C0EADEF5942D7156 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:40:34] 801*2^1431306-1 is not prime. Res64: AB9C2A126C2ECACC Time : 0.0 sec. user=mdettweiler [2016-06-03 20:40:34] 825*2^1431306-1 is not prime. Res64: 6E618AFD026EBAAD Time : 0.0 sec. user=mdettweiler [2016-06-03 20:46:25] 843*2^1431306-1 is not prime. Res64: CDA2E06E8F60FA5A Time : 0.0 sec. user=mdettweiler [2016-06-03 20:46:26] 873*2^1431306-1 is not prime. Res64: 2C0727700C633FBD Time : 0.0 sec. user=mdettweiler [2016-06-03 20:46:26] 893*2^1431306-1 is not prime. Res64: 32B482F48A797A89 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:46:27] 933*2^1431306-1 is not prime. Res64: C97C56C42948CB7A Time : 0.0 sec. user=mdettweiler [2016-06-03 20:46:27] 941*2^1431306-1 is not prime. Res64: 4FA15AE96F8628F7 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:47:25] 975*2^1431306-1 is not prime. Res64: D1D856DFC8B01F54 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:47:25] 601*2^1431307-1 is not prime. Res64: 9C662872AC45F5C9 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:47:25] 633*2^1431307-1 is not prime. Res64: 07FE661232290EEC Time : 0.0 sec. user=mdettweiler [2016-06-03 20:47:26] 693*2^1431307-1 is not prime. Res64: EA4984DE70708245 Time : 0.0 sec. user=mdettweiler [2016-06-03 20:47:26] 835*2^1431307-1 is not prime. Res64: FF715B68724D4681 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:18:29] 849*2^1431307-1 is not prime. Res64: CB52AD30179DC239 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:18:29] 861*2^1431307-1 is not prime. Res64: 14308584BC0905C3 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:18:30] 915*2^1431307-1 is not prime. Res64: F2ADD86D7EB1DC6F Time : 0.0 sec. user=mdettweiler [2016-06-03 21:18:30] 931*2^1431307-1 is not prime. Res64: D00E51226B412007 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:18:30] 951*2^1431307-1 is not prime. Res64: 58F9FD45A1F490CD Time : 0.0 sec. user=mdettweiler [2016-06-03 21:25:26] 985*2^1431307-1 is not prime. Res64: ED35268862B6B645 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:25:26] 647*2^1431308-1 is not prime. Res64: D43878F6DE221188 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:25:27] 677*2^1431308-1 is not prime. Res64: A3B9348B5B72E798 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:25:27] 755*2^1431308-1 is not prime. Res64: 5D8178DE7F4A213C Time : 0.0 sec. user=mdettweiler [2016-06-03 21:25:27] 767*2^1431308-1 is not prime. Res64: B47A315F83493770 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:31:16] 843*2^1431308-1 is not prime. Res64: EFF596E7937F4559 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:31:17] 875*2^1431308-1 is not prime. Res64: A7117F94B4CC98B4 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:31:17] 959*2^1431308-1 is not prime. Res64: B85D80F40BE8C7D2 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:31:17] 787*2^1431309-1 is not prime. Res64: 19C3F9CD5A2A67C0 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:31:18] 907*2^1431309-1 is not prime. Res64: 1EEFB831DF3F9637 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:32:24] 987*2^1431309-1 is not prime. Res64: 052C24D017886E57 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:32:24] 603*2^1431310-1 is not prime. Res64: BA155DB9A119ED26 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:32:25] 645*2^1431310-1 is not prime. Res64: AE342F2EE8828681 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:32:25] 657*2^1431310-1 is not prime. Res64: A5D2E416F1F1C4E9 Time : 0.0 sec. user=mdettweiler [2016-06-03 21:32:25] 681*2^1431310-1 is not prime. Res64: 350656E0E64C8557 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:03:44] 695*2^1431310-1 is not prime. Res64: 4266D16548CAECE3 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:03:46] 813*2^1431310-1 is not prime. Res64: DDCC865F80771CC7 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:03:46] 827*2^1431310-1 is not prime. Res64: FB8515A4D7AA3135 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:03:47] 885*2^1431310-1 is not prime. Res64: E15A61F749DE4C6E Time : 0.0 sec. user=mdettweiler [2016-06-03 22:03:48] 897*2^1431310-1 is not prime. Res64: C13DAB39C3BA0D27 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:10:34] 651*2^1431311-1 is not prime. Res64: A9B0EF89AAE42CFB Time : 0.0 sec. user=mdettweiler [2016-06-03 22:10:34] 783*2^1431311-1 is not prime. Res64: 784F565ADC170F70 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:10:35] 823*2^1431311-1 is not prime. Res64: 2D209D377E6BA0A0 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:10:35] 605*2^1431312-1 is not prime. Res64: 7422E5BFD4716B7A Time : 0.0 sec. user=mdettweiler [2016-06-03 22:10:35] 669*2^1431312-1 is not prime. Res64: D48D2C57A96230B4 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:16:34] 767*2^1431312-1 is not prime. Res64: 8E5664F37C7ACF79 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:16:35] 797*2^1431312-1 is not prime. Res64: 31EB2F2AFF8C52EF Time : 0.0 sec. user=mdettweiler [2016-06-03 22:16:35] 819*2^1431312-1 is not prime. Res64: A6F87AFC6ACDE896 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:16:36] 843*2^1431312-1 is not prime. Res64: BF8341A8091EFDC3 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:16:36] 863*2^1431312-1 is not prime. Res64: 5F7AD4D73BD4A80D Time : 0.0 sec. user=mdettweiler [2016-06-03 22:17:38] 873*2^1431312-1 is not prime. Res64: DF09BABB0EECB834 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:17:39] 929*2^1431312-1 is not prime. Res64: 21B21A0E23E4F499 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:17:39] 945*2^1431312-1 is not prime. Res64: 01BF0BD4B659ED74 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:17:39] 685*2^1431313-1 is not prime. Res64: B95C2670936F7AB4 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:17:40] 721*2^1431313-1 is not prime. Res64: 08C26619C90F3936 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:48:51] 877*2^1431313-1 is not prime. Res64: B3EE06F868FA6741 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:48:51] 623*2^1431314-1 is not prime. Res64: 60C988933049914F Time : 0.0 sec. user=mdettweiler [2016-06-03 22:48:51] 641*2^1431314-1 is not prime. Res64: 4BC668EA3AB5B60F Time : 0.0 sec. user=mdettweiler [2016-06-03 22:48:52] 645*2^1431314-1 is not prime. Res64: 3CA0FDE422923CBC Time : 0.0 sec. user=mdettweiler [2016-06-03 22:48:52] 741*2^1431314-1 is not prime. Res64: E0CB59B63F56A3F2 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:55:45] 753*2^1431314-1 is not prime. Res64: 4A64CF05F0252094 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:55:45] 785*2^1431314-1 is not prime. Res64: 201A27C740C31C43 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:55:46] 887*2^1431314-1 is not prime. Res64: FE06727B5A535B52 Time : 0.0 sec. user=mdettweiler [2016-06-03 22:55:46] 993*2^1431314-1 is not prime. Res64: 8993010D642F858C Time : 0.0 sec. user=mdettweiler [2016-06-03 22:55:47] 995*2^1431314-1 is not prime. Res64: F527D3E4F184742C Time : 0.0 sec. user=mdettweiler [2016-06-03 23:01:56] 709*2^1431315-1 is not prime. Res64: 0F5E13A8DEEC4EE2 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:01:57] 741*2^1431315-1 is not prime. Res64: 67884BAFF0A6B9D1 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:01:58] 781*2^1431315-1 is not prime. Res64: C5E093B4C3F0F66B Time : 0.0 sec. user=mdettweiler [2016-06-03 23:01:59] 903*2^1431315-1 is not prime. Res64: 56CD44C826A3F17B Time : 0.0 sec. user=mdettweiler [2016-06-03 23:01:59] 909*2^1431315-1 is not prime. Res64: CFBD78A8AB9A04E3 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:02:46] 963*2^1431315-1 is not prime. Res64: F43292A2FB3FA78C Time : 0.0 sec. user=mdettweiler [2016-06-03 23:02:47] 623*2^1431316-1 is not prime. Res64: 6E0798211D9DB869 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:02:48] 705*2^1431316-1 is not prime. Res64: D36F43D7B6E31B2A Time : 0.0 sec. user=mdettweiler [2016-06-03 23:02:49] 803*2^1431316-1 is not prime. Res64: 1C51458405582A0D Time : 0.0 sec. user=mdettweiler [2016-06-03 23:02:50] 969*2^1431316-1 is not prime. Res64: CEA8C23E8CCCF105 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:34:05] 999*2^1431316-1 is not prime. Res64: B666A9B4AF44CAD9 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:34:06] 711*2^1431317-1 is not prime. Res64: 485E0E67B59E763F Time : 0.0 sec. user=mdettweiler [2016-06-03 23:34:06] 799*2^1431317-1 is not prime. Res64: 317EAB165F8FF295 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:34:06] 801*2^1431317-1 is not prime. Res64: C1A3E1DDF36BCEEF Time : 0.0 sec. user=mdettweiler [2016-06-03 23:34:07] 805*2^1431317-1 is not prime. Res64: 56286FEE87E8D9B5 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:41:04] 915*2^1431317-1 is not prime. Res64: 1073D197C44AF47D Time : 0.0 sec. user=mdettweiler [2016-06-03 23:41:04] 925*2^1431317-1 is not prime. Res64: C63C2A0387083689 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:41:04] 651*2^1431318-1 is not prime. Res64: F73419BFFBC4ABB4 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:41:05] 657*2^1431318-1 is not prime. Res64: B4477FE1070C51A0 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:41:05] 705*2^1431318-1 is not prime. Res64: 5F73ACD16E02D5D2 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:47:16] 725*2^1431318-1 is not prime. Res64: D9EDA33A7C3EA436 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:47:17] 797*2^1431318-1 is not prime. Res64: 935E6EFC1BC3C65F Time : 0.0 sec. user=mdettweiler [2016-06-03 23:47:17] 875*2^1431318-1 is not prime. Res64: E27340200804E121 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:47:18] 893*2^1431318-1 is not prime. Res64: FBAE32713328FE99 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:47:18] 921*2^1431318-1 is not prime. Res64: EB15346E3E7D3BBA Time : 0.0 sec. user=mdettweiler [2016-06-03 23:48:09] 977*2^1431318-1 is not prime. Res64: CDC820F5DDBE6700 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:48:09] 601*2^1431319-1 is not prime. Res64: 351B53481A9A28B8 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:48:10] 723*2^1431319-1 is not prime. Res64: F5BE0B4D776974FB Time : 0.0 sec. user=mdettweiler [2016-06-03 23:48:10] 729*2^1431319-1 is not prime. Res64: 954F924EFC00EBE1 Time : 0.0 sec. user=mdettweiler [2016-06-03 23:48:11] 763*2^1431319-1 is not prime. Res64: 6051739CD482F745 Time : 0.0 sec.