user=mdettweiler [2018-04-21 00:22:12] 661*2^1507657-1 is not prime. Res64: 9BE7F6893D730F77 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:22:13] 641*2^1507658-1 is not prime. Res64: 0240F7CED3A1362F Time : 0.0 sec. user=mdettweiler [2018-04-21 00:22:13] 683*2^1507658-1 is not prime. Res64: 8BA66383B6F186E6 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:22:14] 713*2^1507658-1 is not prime. Res64: 31A4F27F46744F54 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:22:14] 827*2^1507658-1 is not prime. Res64: D153032D0ADCF273 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:07] 861*2^1507658-1 is not prime. Res64: AB81CDEA69EBDD60 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:08] 915*2^1507658-1 is not prime. Res64: C685962B4D2A1FA4 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:08] 921*2^1507658-1 is not prime. Res64: 96FAEC3ACDE321FD Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:09] 957*2^1507658-1 is not prime. Res64: 82D847F0FF939803 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:09] 675*2^1507659-1 is not prime. Res64: 1AFDE0FB35A61A4A Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:35] 665*2^1507660-1 is not prime. Res64: 4EB65E21CE665236 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:36] 677*2^1507660-1 is not prime. Res64: FC27161D950EC0F9 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:36] 863*2^1507660-1 is not prime. Res64: 9B58F9A36A821249 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:37] 933*2^1507660-1 is not prime. Res64: 28220C4547598DEC Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:37] 957*2^1507660-1 is not prime. Res64: E767B120C2DD67E1 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:41] 775*2^1507659-1 is not prime. Res64: 9ACA6ECBA9869319 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:41] 919*2^1507659-1 is not prime. Res64: 664460C1E94F9DF8 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:42] 955*2^1507659-1 is not prime. Res64: 2B830212BD87B8F8 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:42] 623*2^1507660-1 is not prime. Res64: 982EB94AB54A67C7 Time : 0.0 sec. user=mdettweiler [2018-04-21 00:49:43] 635*2^1507660-1 is not prime. Res64: 9FD75F2A6B5A6801 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:16:39] 975*2^1507660-1 is not prime. Res64: 3CD4F63C78211DB6 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:16:39] 999*2^1507660-1 is not prime. Res64: A8957ED7018FEF1A Time : 0.0 sec. user=mdettweiler [2018-04-21 01:16:40] 615*2^1507661-1 is not prime. Res64: 711A1F1E13284FB2 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:16:41] 631*2^1507661-1 is not prime. Res64: 5CC83C6143EBBED6 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:16:41] 657*2^1507661-1 is not prime. Res64: 3B3FEAA74B7FD917 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:43:05] 625*2^1507663-1 is not prime. Res64: 13EE3F66B4D960F3 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:43:06] 633*2^1507663-1 is not prime. Res64: B7CF9812AEC71F89 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:43:06] 639*2^1507663-1 is not prime. Res64: 253DF3843BFBCA55 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:43:07] 679*2^1507663-1 is not prime. Res64: B3F0375CE2647CBA Time : 0.0 sec. user=mdettweiler [2018-04-21 01:43:08] 709*2^1507663-1 is not prime. Res64: F009055CA71B89F1 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:21] 799*2^1507661-1 is not prime. Res64: 830C68ADF1B964BD Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:24] 981*2^1507661-1 is not prime. Res64: FFE9D00DBFF81551 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:29] 723*2^1507663-1 is not prime. Res64: 54A0576F4F4D99CE Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:30] 729*2^1507663-1 is not prime. Res64: 572FA4B59396FE14 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:31] 991*2^1507661-1 is not prime. Res64: CBE80CC2D3B80F85 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:34] 859*2^1507663-1 is not prime. Res64: D154EB90832C5864 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:35] 915*2^1507663-1 is not prime. Res64: 5E144557CD913A73 Time : 0.0 sec. user=mdettweiler [2018-04-21 01:44:35] 717*2^1507664-1 is not prime. Res64: 9133016AABDDB064 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:15:24] 869*2^1507664-1 is not prime. Res64: 4B8AF46D5B6B1168 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:15:25] 903*2^1507664-1 is not prime. Res64: 35B2A9547A86F888 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:15:25] 957*2^1507664-1 is not prime. Res64: 630717B3CCA9F943 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:15:25] 995*2^1507664-1 is not prime. Res64: D73B9DF762EC93DE Time : 0.0 sec. user=mdettweiler [2018-04-21 02:15:26] 627*2^1507665-1 is not prime. Res64: 888BD43437580BAC Time : 0.0 sec. user=mdettweiler [2018-04-21 02:41:12] 969*2^1507665-1 is not prime. Res64: B88DE93A9C205554 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:41:15] 991*2^1507665-1 is not prime. Res64: 276D3EF4D86D715D Time : 0.0 sec. user=mdettweiler [2018-04-21 02:44:10] 649*2^1507665-1 is not prime. Res64: 6FE4803829F80E20 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:44:10] 705*2^1507665-1 is not prime. Res64: 0D63657C473874DB Time : 0.0 sec. user=mdettweiler [2018-04-21 02:44:11] 877*2^1507665-1 is not prime. Res64: 749FA75B42BEBF28 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:44:12] 895*2^1507665-1 is not prime. Res64: 30429C5B6E9947F0 Time : 0.0 sec. user=mdettweiler [2018-04-21 02:44:12] 921*2^1507665-1 is not prime. Res64: BF8BD5BC8AA94CE8 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:15:50] 843*2^1507666-1 is not prime. Res64: 897E1C4CE20AA4FD Time : 0.0 sec. user=mdettweiler [2018-04-21 03:15:50] 857*2^1507666-1 is not prime. Res64: AC56C518ACA7BD14 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:15:51] 911*2^1507666-1 is not prime. Res64: 9E2EFC05D5CDBD4C Time : 0.0 sec. user=mdettweiler [2018-04-21 03:15:51] 685*2^1507667-1 is not prime. Res64: D22135B8A5DD2E02 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:15:51] 733*2^1507667-1 is not prime. Res64: 6D5AAA69E016AB24 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:51:55] 823*2^1507667-1 is not prime. Res64: 0C9280EB4D6B991C Time : 0.0 sec. user=mdettweiler [2018-04-21 03:51:56] 883*2^1507667-1 is not prime. Res64: 968B9FD9E053EBA1 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:51:57] 615*2^1507668-1 is not prime. Res64: 1C028CFE7928D155 Time : 0.0 sec. user=mdettweiler [2018-04-21 03:51:58] 683*2^1507668-1 is not prime. Res64: 853E3B3838060D6B Time : 0.0 sec. user=mdettweiler [2018-04-21 03:51:58] 765*2^1507668-1 is not prime. Res64: A80C52FB85CD0183 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:19:40] 773*2^1507668-1 is not prime. Res64: D77E101A1B62C349 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:19:42] 843*2^1507668-1 is not prime. Res64: 46A8DC0B267DE543 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:19:43] 867*2^1507668-1 is not prime. Res64: DD371E2EDDF54D1C Time : 0.0 sec. user=mdettweiler [2018-04-21 04:19:44] 927*2^1507668-1 is not prime. Res64: 5E9F16EAAD2E21A9 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:19:45] 933*2^1507668-1 is not prime. Res64: 9AC1E9E5CB2FDDAA Time : 0.0 sec. user=mdettweiler [2018-04-21 04:56:35] 619*2^1507669-1 is not prime. Res64: 31A537D328F2E6ED Time : 0.0 sec. user=mdettweiler [2018-04-21 04:56:35] 621*2^1507669-1 is not prime. Res64: 392DAACE2845DEB7 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:56:36] 765*2^1507669-1 is not prime. Res64: 922A57D1C0413F57 Time : 0.0 sec. user=mdettweiler [2018-04-21 04:56:36] 769*2^1507669-1 is not prime. Res64: B6BE98B97F767EED Time : 0.0 sec. user=mdettweiler [2018-04-21 04:56:37] 847*2^1507669-1 is not prime. Res64: 26699E7FE8C2648E Time : 0.0 sec. user=mdettweiler [2018-04-21 05:23:59] 951*2^1507669-1 is not prime. Res64: 8C27DA90C35BF9BA Time : 0.0 sec. user=mdettweiler [2018-04-21 05:24:01] 955*2^1507669-1 is not prime. Res64: 2C16FBC54D6E2C45 Time : 0.0 sec. user=mdettweiler [2018-04-21 05:24:02] 615*2^1507670-1 is not prime. Res64: 7C4FFEA4C1AC45C7 Time : 0.0 sec. user=mdettweiler [2018-04-21 05:24:02] 731*2^1507670-1 is not prime. Res64: 3BDB2EA1E9DB6703 Time : 0.0 sec. user=mdettweiler [2018-04-21 05:24:02] 953*2^1507670-1 is not prime. Res64: C153898FC3D9EE06 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:06:42] 965*2^1507670-1 is not prime. Res64: 0D0FBCDE7D6E3BC6 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:06:42] 613*2^1507671-1 is not prime. Res64: 11BEB921F1EC297D Time : 0.0 sec. user=mdettweiler [2018-04-21 06:06:43] 651*2^1507671-1 is not prime. Res64: 3D6EB952609A6A09 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:06:43] 795*2^1507671-1 is not prime. Res64: CF0C9F53CFE59D72 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:06:44] 819*2^1507671-1 is not prime. Res64: 62F7AEDB85003A94 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:31:20] 913*2^1507671-1 is not prime. Res64: DAFE137707473A5B Time : 0.0 sec. user=mdettweiler [2018-04-21 06:31:21] 933*2^1507671-1 is not prime. Res64: 7D80C639753726E5 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:31:21] 973*2^1507671-1 is not prime. Res64: 44A5DDA325ECA480 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:31:21] 615*2^1507672-1 is not prime. Res64: 1385AE2E525D9A94 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:31:22] 653*2^1507672-1 is not prime. Res64: AC0B4F03F2AC0D76 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:35:57] 611*2^1507666-1 is not prime. Res64: 6327AA850AEB2374 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:35:57] 657*2^1507666-1 is not prime. Res64: AB98D37D1F5D4299 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:35:58] 783*2^1507666-1 is not prime. Res64: 661C12571C845AD4 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:45:18] 755*2^1507662-1 is not prime. Res64: 4CA47B4CD6F8AC94 Time : 0.0 sec. user=mdettweiler [2018-04-21 06:45:18] 893*2^1507662-1 is not prime. Res64: 5A0DD0E30AF9C203 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:08:30] 687*2^1507672-1 is not prime. Res64: 28D6354F0C9EC837 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:08:30] 957*2^1507672-1 is not prime. Res64: 6937A82D61E360A5 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:08:31] 995*2^1507672-1 is not prime. Res64: 4A72E0AD5C841C9B Time : 0.0 sec. user=mdettweiler [2018-04-21 07:08:31] 631*2^1507673-1 is not prime. Res64: 17256D01B52F0789 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:08:32] 657*2^1507673-1 is not prime. Res64: 74D68D9F9350C454 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:29:04] 691*2^1507673-1 is not prime. Res64: A062A2B2C3C6851F Time : 0.0 sec. user=mdettweiler [2018-04-21 07:29:04] 697*2^1507673-1 is not prime. Res64: F87E64BF4A3969DA Time : 0.0 sec. user=mdettweiler [2018-04-21 07:29:05] 729*2^1507673-1 is not prime. Res64: BF5CF80B9A4BC9A4 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:29:05] 775*2^1507673-1 is not prime. Res64: FB87CBD9E1573FA3 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:29:06] 855*2^1507673-1 is not prime. Res64: E21F2162E21FD53B Time : 0.0 sec. user=mdettweiler [2018-04-21 07:30:43] 879*2^1507673-1 is not prime. Res64: 23E3872C85908527 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:30:44] 925*2^1507673-1 is not prime. Res64: ABC85B23BB31EFCF Time : 0.0 sec. user=mdettweiler [2018-04-21 07:30:44] 633*2^1507674-1 is not prime. Res64: 2D0B69871527C303 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:30:44] 651*2^1507674-1 is not prime. Res64: 789685C950F60262 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:30:44] 681*2^1507674-1 is not prime. Res64: 006076BF4A2DA044 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:40:45] 741*2^1507674-1 is not prime. Res64: 6BF9F8A1F378FDD2 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:40:45] 833*2^1507674-1 is not prime. Res64: 7057569D562FB603 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:40:46] 837*2^1507674-1 is not prime. Res64: 96412F3AF5C748D9 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:40:46] 851*2^1507674-1 is not prime. Res64: A89EFF6207FBD633 Time : 0.0 sec. user=mdettweiler [2018-04-21 07:40:46] 887*2^1507674-1 is not prime. Res64: 594ED707DDF3BBBE Time : 0.0 sec. user=mdettweiler [2018-04-21 08:03:43] 941*2^1507674-1 is not prime. Res64: 38339F158AB5ED6B Time : 0.0 sec. user=mdettweiler [2018-04-21 08:03:43] 945*2^1507674-1 is not prime. Res64: C7EAE61B86F4FE59 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:03:44] 983*2^1507674-1 is not prime. Res64: 9427937CD02BF5F1 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:03:45] 603*2^1507675-1 is not prime. Res64: 80B53B4CDDE92C31 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:03:46] 675*2^1507675-1 is not prime. Res64: 98A432EB826D9B81 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:27:11] 691*2^1507675-1 is not prime. Res64: D428143EC326B9E3 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:27:11] 741*2^1507675-1 is not prime. Res64: 457FBD7078F6C467 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:27:12] 819*2^1507675-1 is not prime. Res64: F0D9D24F96D1FD00 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:27:12] 943*2^1507675-1 is not prime. Res64: FF981EC91B199236 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:27:13] 725*2^1507676-1 is not prime. Res64: 6A4F97F862B6C8BA Time : 0.0 sec. user=mdettweiler [2018-04-21 08:29:34] 845*2^1507676-1 is not prime. Res64: DEDC1EF072A7D9EF Time : 0.0 sec. user=mdettweiler [2018-04-21 08:29:35] 795*2^1507677-1 is not prime. Res64: C349A75925DFCD5C Time : 0.0 sec. user=mdettweiler [2018-04-21 08:29:35] 847*2^1507677-1 is not prime. Res64: 32E55C6F23A5EC42 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:29:36] 623*2^1507678-1 is not prime. Res64: 3F8340A87E54A539 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:29:36] 657*2^1507678-1 is not prime. Res64: EC5F73C5279AC0C8 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:39:11] 731*2^1507678-1 is not prime. Res64: B7D7A53183B26465 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:39:11] 773*2^1507678-1 is not prime. Res64: D853E017ABD74194 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:39:11] 825*2^1507678-1 is not prime. Res64: C97AB1CE0A2B5243 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:39:12] 827*2^1507678-1 is not prime. Res64: 6FB6C4CA5A284A20 Time : 0.0 sec. user=mdettweiler [2018-04-21 08:39:13] 915*2^1507678-1 is not prime. Res64: 684EB1370558C58D Time : 0.0 sec. user=mdettweiler [2018-04-21 09:06:16] 789*2^1507679-1 is not prime. Res64: 82430576AD4FB387 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:06:17] 811*2^1507679-1 is not prime. Res64: 4D686F9B25680715 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:06:17] 823*2^1507679-1 is not prime. Res64: AEE557D889B78D77 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:06:18] 909*2^1507679-1 is not prime. Res64: 2C7B836EC21267C8 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:06:19] 615*2^1507680-1 is not prime. Res64: 4833A0AB8CC29EB8 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:07] 879*2^1507680-1 is not prime. Res64: 89854B33C7BCE33F Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:08] 927*2^1507680-1 is not prime. Res64: BCE2B856DE24623D Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:08] 651*2^1507681-1 is not prime. Res64: BF800C0129109BE1 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:08] 925*2^1507681-1 is not prime. Res64: D220D6B0A0849B40 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:09] 937*2^1507681-1 is not prime. Res64: 3EC9873E81C29797 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:28] 653*2^1507680-1 is not prime. Res64: BF82A5E6A72F6CCC Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:29] 669*2^1507680-1 is not prime. Res64: AB625AEFA59AC553 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:29] 737*2^1507680-1 is not prime. Res64: 9870E19773D2198A Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:29] 759*2^1507680-1 is not prime. Res64: 37562C50B0D8499F Time : 0.0 sec. user=mdettweiler [2018-04-21 09:24:30] 863*2^1507680-1 is not prime. Res64: 182099060729955F Time : 0.0 sec. user=mdettweiler [2018-04-21 09:36:11] 997*2^1507681-1 is not prime. Res64: 25BF6D2D56495932 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:36:11] 617*2^1507682-1 is not prime. Res64: B9751F95B7C5C738 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:36:11] 671*2^1507682-1 is not prime. Res64: 8E60CC1288B562B9 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:36:12] 741*2^1507682-1 is not prime. Res64: 508475D7E4967510 Time : 0.0 sec. user=mdettweiler [2018-04-21 09:36:12] 813*2^1507682-1 is not prime. Res64: 26A55BC865D13368 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:03:02] 837*2^1507682-1 is not prime. Res64: F71C35D7CD8C2C8B Time : 0.0 sec. user=mdettweiler [2018-04-21 10:03:03] 945*2^1507682-1 is not prime. Res64: 15C1314F2B997025 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:03:04] 769*2^1507683-1 is not prime. Res64: BE547E1FEE828BB8 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:03:04] 781*2^1507683-1 is not prime. Res64: C4290EA85A66CAF3 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:03:05] 801*2^1507683-1 is not prime. Res64: 6E86C3BBA7D06665 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:16] 827*2^1507684-1 is not prime. Res64: F66DE313115987CF Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:17] 843*2^1507684-1 is not prime. Res64: C098B985F18947CF Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:17] 699*2^1507685-1 is not prime. Res64: B348FA8C566EBE62 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:18] 721*2^1507685-1 is not prime. Res64: 1E0D070438D9FC0B Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:18] 729*2^1507685-1 is not prime. Res64: F1A23056E48085E6 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:56] 919*2^1507683-1 is not prime. Res64: 6DABBEB42C7CA3E3 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:56] 623*2^1507684-1 is not prime. Res64: F91097718774AA18 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:57] 657*2^1507684-1 is not prime. Res64: 907DD50E230421F0 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:57] 773*2^1507684-1 is not prime. Res64: E3C587AA64B989D6 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:20:57] 803*2^1507684-1 is not prime. Res64: A403A2454E5CC932 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:31:24] 781*2^1507685-1 is not prime. Res64: 03D93BA824A4D6CF Time : 0.0 sec. user=mdettweiler [2018-04-21 10:31:24] 985*2^1507685-1 is not prime. Res64: BA03DEB937B24B47 Time : 0.0 sec. user=mdettweiler [2018-04-21 10:31:25] 635*2^1507686-1 is not prime. Res64: 5412805F9FC98BBB Time : 0.0 sec. user=mdettweiler [2018-04-21 10:31:25] 713*2^1507686-1 is not prime. Res64: 2141E6FF12DAF94A Time : 0.0 sec. user=mdettweiler [2018-04-21 10:31:25] 783*2^1507686-1 is not prime. Res64: A6D3B45FAB0257FD Time : 0.0 sec. user=mdettweiler [2018-04-21 11:01:34] 921*2^1507686-1 is not prime. Res64: 218D2E395FE43004 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:01:35] 625*2^1507687-1 is not prime. Res64: A523B139F3F5FF2D Time : 0.0 sec. user=mdettweiler [2018-04-21 11:01:36] 645*2^1507687-1 is not prime. Res64: 3ECAB2B872B2BBC3 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:01:37] 729*2^1507687-1 is not prime. Res64: FF0170F5D373F66A Time : 0.0 sec. user=mdettweiler [2018-04-21 11:01:37] 735*2^1507687-1 is not prime. Res64: 7C24E47D2CCF8762 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:17:46] 741*2^1507687-1 is not prime. Res64: 0C8A0345125BADE3 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:17:46] 831*2^1507687-1 is not prime. Res64: 4AB37E2CA916A0B3 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:17:46] 871*2^1507687-1 is not prime. Res64: ECCBFCE0BEF3C9A4 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:17:47] 909*2^1507687-1 is not prime. Res64: 78063A74D7C7ACA9 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:17:47] 951*2^1507687-1 is not prime. Res64: C8DB85DE11ABB1C9 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:18:18] 635*2^1507688-1 is not prime. Res64: 9BA0F107A00F0540 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:18:20] 669*2^1507688-1 is not prime. Res64: A417F6D81221437A Time : 0.0 sec. user=mdettweiler [2018-04-21 11:18:20] 677*2^1507688-1 is not prime. Res64: B692A3736FA60668 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:18:20] 795*2^1507688-1 is not prime. Res64: 0CF8ED406F89AEE3 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:18:21] 797*2^1507688-1 is not prime. Res64: D83ADACA55BEAD48 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:28:38] 827*2^1507688-1 is not prime. Res64: 6E0F092721E9ACAB Time : 0.0 sec. user=mdettweiler [2018-04-21 11:28:39] 899*2^1507688-1 is not prime. Res64: 1DCFD18DD597E03E Time : 0.0 sec. user=mdettweiler [2018-04-21 11:28:39] 945*2^1507688-1 is not prime. Res64: 911111161EBA65EB Time : 0.0 sec. user=mdettweiler [2018-04-21 11:28:40] 957*2^1507688-1 is not prime. Res64: 5C202919A9C7E9D4 Time : 0.0 sec. user=mdettweiler [2018-04-21 11:28:40] 657*2^1507689-1 is not prime. Res64: 72C18FA3B9F2BFA7 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:03:31] 685*2^1507689-1 is not prime. Res64: 9C4B9CFFE9D574FB Time : 0.0 sec. user=mdettweiler [2018-04-21 12:03:33] 781*2^1507689-1 is not prime. Res64: E1E1E626634CCB97 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:03:34] 795*2^1507689-1 is not prime. Res64: 198616A41A649BD0 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:03:34] 831*2^1507689-1 is not prime. Res64: B4C71B25DF70F2D0 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:03:35] 861*2^1507689-1 is not prime. Res64: 55B58C12D08C32B2 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:02] 873*2^1507690-1 is not prime. Res64: 786D76E14119AC9B Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:07] 673*2^1507691-1 is not prime. Res64: 6B883A9DC5551EBE Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:09] 711*2^1507691-1 is not prime. Res64: 456877C5D219D520 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:13] 865*2^1507689-1 is not prime. Res64: 6C91863DB7576E7C Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:14] 841*2^1507691-1 is not prime. Res64: 6E5A2087BC98F0B6 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:15] 913*2^1507691-1 is not prime. Res64: 25BB96796C68E41B Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:15] 635*2^1507690-1 is not prime. Res64: 2AB4EA7AD4C55108 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:17] 657*2^1507690-1 is not prime. Res64: 1987D222F5E3C89C Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:19] 701*2^1507690-1 is not prime. Res64: 71D9E732F9F86677 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:15:21] 825*2^1507690-1 is not prime. Res64: CB57DFC714B9256F Time : 0.0 sec. user=mdettweiler [2018-04-21 12:23:36] 999*2^1507691-1 is not prime. Res64: A7F971B2EA6EDD81 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:23:36] 635*2^1507692-1 is not prime. Res64: 92F464E90560A472 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:23:36] 717*2^1507692-1 is not prime. Res64: F52D40C9EDA05AB7 Time : 0.0 sec. user=mdettweiler [2018-04-21 12:23:37] 719*2^1507692-1 is not prime. Res64: F069F5D1A70FD4DC Time : 0.0 sec. user=mdettweiler [2018-04-21 12:23:37] 777*2^1507692-1 is not prime. Res64: 8B34142E7EBE277D Time : 0.0 sec. user=mdettweiler [2018-04-21 13:00:27] 875*2^1507692-1 is not prime. Res64: 2090845CE4301D1F Time : 0.0 sec. user=mdettweiler [2018-04-21 13:00:29] 983*2^1507692-1 is not prime. Res64: 8EF66554E3E13C3F Time : 0.0 sec. user=mdettweiler [2018-04-21 13:00:30] 607*2^1507693-1 is not prime. Res64: FC8CE09041C144A6 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:00:31] 685*2^1507693-1 is not prime. Res64: 9A85924A657BEC4C Time : 0.0 sec. user=mdettweiler [2018-04-21 13:00:32] 751*2^1507693-1 is not prime. Res64: 80838B581A3BA560 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:09] 693*2^1507694-1 is not prime. Res64: 66C10B99E281089A Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:10] 707*2^1507694-1 is not prime. Res64: 11B6D296B7580B7E Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:10] 767*2^1507694-1 is not prime. Res64: D23E1753E38E7B46 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:11] 825*2^1507694-1 is not prime. Res64: 7788A1AF2F8F954D Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:11] 861*2^1507694-1 is not prime. Res64: D16579314FA249A3 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:32] 817*2^1507693-1 is not prime. Res64: DE7ACFBDDBEDB775 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:33] 867*2^1507693-1 is not prime. Res64: 121D238BEC2B0DEB Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:33] 937*2^1507693-1 is not prime. Res64: 2EA968CA7E2B0744 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:33] 939*2^1507693-1 is not prime. Res64: CEF4B62949DF8B3C Time : 0.0 sec. user=mdettweiler [2018-04-21 13:11:33] 999*2^1507693-1 is not prime. Res64: AB8E0B646FEF7F55 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:19:23] 917*2^1507694-1 is not prime. Res64: 876DDB383A7AE6D8 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:19:24] 651*2^1507695-1 is not prime. Res64: 0834BFF360DDB010 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:19:24] 735*2^1507695-1 is not prime. Res64: 8A6457F899C4E66F Time : 0.0 sec. user=mdettweiler [2018-04-21 13:19:24] 789*2^1507695-1 is not prime. Res64: 16781D98A93136B8 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:19:25] 793*2^1507695-1 is not prime. Res64: 1EFBDDE68CF96CE2 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:56:24] 805*2^1507695-1 is not prime. Res64: 2ADCB43E1B1B159B Time : 0.0 sec. user=mdettweiler [2018-04-21 13:56:24] 831*2^1507695-1 is not prime. Res64: F42E4560B631DCAB Time : 0.0 sec. user=mdettweiler [2018-04-21 13:56:24] 615*2^1507696-1 is not prime. Res64: 278B1BA4757ABF1D Time : 0.0 sec. user=mdettweiler [2018-04-21 13:56:25] 639*2^1507696-1 is not prime. Res64: D188429E46845B14 Time : 0.0 sec. user=mdettweiler [2018-04-21 13:56:25] 875*2^1507696-1 is not prime. Res64: B36B2379191B4DED Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:04] 949*2^1507697-1 is not prime. Res64: 13E577C1F056844D Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:08] 635*2^1507698-1 is not prime. Res64: B9CCFEE0439A6746 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:10] 683*2^1507698-1 is not prime. Res64: 6BEC9065F3749311 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:13] 713*2^1507698-1 is not prime. Res64: D053928454894F9A Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:16] 725*2^1507698-1 is not prime. Res64: 8FD771C012245375 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:20] 637*2^1507697-1 is not prime. Res64: 8BA52EC273A4DDD4 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:24] 675*2^1507697-1 is not prime. Res64: 62086710F73F4765 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:28] 735*2^1507697-1 is not prime. Res64: 502F9AB83CFBE4E8 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:31] 769*2^1507697-1 is not prime. Res64: E8DD4BDF077B1C25 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:07:35] 879*2^1507697-1 is not prime. Res64: F9C4EBA40276C50E Time : 0.0 sec. user=mdettweiler [2018-04-21 14:15:52] 773*2^1507698-1 is not prime. Res64: 28AEF33A32A8AE39 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:15:53] 815*2^1507698-1 is not prime. Res64: AA5809EA5200CC3C Time : 0.0 sec. user=mdettweiler [2018-04-21 14:15:53] 891*2^1507698-1 is not prime. Res64: B1F888F45DA39EFB Time : 0.0 sec. user=mdettweiler [2018-04-21 14:15:53] 893*2^1507698-1 is not prime. Res64: 4114F42289E214CC Time : 0.0 sec. user=mdettweiler [2018-04-21 14:15:54] 963*2^1507698-1 is not prime. Res64: B313B91F06F15838 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:51:11] 975*2^1507698-1 is not prime. Res64: B46971DB878915E0 Time : 0.0 sec. user=mdettweiler [2018-04-21 14:51:11] 977*2^1507698-1 is not prime. Res64: FB02E0037C054BAB Time : 0.0 sec. user=mdettweiler [2018-04-21 14:51:12] 645*2^1507699-1 is not prime. Res64: 9339B1471CE0881F Time : 0.0 sec. user=mdettweiler [2018-04-21 14:51:12] 741*2^1507699-1 is not prime. Res64: 8F7DB550A07DC4FB Time : 0.0 sec. user=mdettweiler [2018-04-21 14:51:13] 801*2^1507699-1 is not prime. Res64: 03E30C8945F1C836 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:35] 813*2^1507699-1 is not prime. Res64: 48F710F2E7E91F0F Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:36] 859*2^1507699-1 is not prime. Res64: A57E5C3DE28930D3 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:37] 633*2^1507700-1 is not prime. Res64: 9A0C7E27FE54FC41 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:38] 635*2^1507700-1 is not prime. Res64: B57086588D8EB38E Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:38] 647*2^1507700-1 is not prime. Res64: 04FEFBF36A1FAD2B Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:57] 719*2^1507700-1 is not prime. Res64: D81CBBDFB3A9B485 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:58] 767*2^1507700-1 is not prime. Res64: C2BC4785311660F3 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:03:59] 839*2^1507700-1 is not prime. Res64: AB48834A0F64D5C1 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:04:01] 717*2^1507701-1 is not prime. Res64: 77A90B59BFCA44C5 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:04:02] 805*2^1507701-1 is not prime. Res64: 7FEC8529522824B1 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:12:43] 825*2^1507701-1 is not prime. Res64: 282CEA589CE03774 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:12:43] 921*2^1507701-1 is not prime. Res64: 0730A084B3505452 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:12:44] 969*2^1507701-1 is not prime. Res64: F8C2F94104604503 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:12:44] 979*2^1507701-1 is not prime. Res64: B8ABF6C1D9F488F5 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:12:45] 999*2^1507701-1 is not prime. Res64: D48653921C466D25 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:45:32] 617*2^1507702-1 is not prime. Res64: 4BD2849AE9B5C579 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:45:33] 705*2^1507702-1 is not prime. Res64: E2F0F7F3851CDC7F Time : 0.0 sec. user=mdettweiler [2018-04-21 15:45:33] 755*2^1507702-1 is not prime. Res64: 8E70DCF2ADBB61AF Time : 0.0 sec. user=mdettweiler [2018-04-21 15:45:33] 777*2^1507702-1 is not prime. Res64: DD0EFF592712045C Time : 0.0 sec. user=mdettweiler [2018-04-21 15:45:34] 887*2^1507702-1 is not prime. Res64: 843267C4D4B07193 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:59:55] 721*2^1507703-1 is not prime. Res64: C051A9CBFD71CCE1 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:59:56] 729*2^1507703-1 is not prime. Res64: 186F8CEDE2647708 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:59:56] 789*2^1507703-1 is not prime. Res64: 17BE85400EA393A3 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:59:58] 805*2^1507703-1 is not prime. Res64: BD4DF2AA287D3C31 Time : 0.0 sec. user=mdettweiler [2018-04-21 15:59:59] 885*2^1507703-1 is not prime. Res64: 7B07D9BBE365D996 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:00:03] 635*2^1507704-1 is not prime. Res64: 9505E6BA4B657DB7 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:00:04] 663*2^1507704-1 is not prime. Res64: 109F6C7518948711 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:00:04] 705*2^1507704-1 is not prime. Res64: AE1D71AEF50A6528 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:00:04] 815*2^1507704-1 is not prime. Res64: D0C9AB383F005E8B Time : 0.0 sec. user=mdettweiler [2018-04-21 16:00:05] 825*2^1507704-1 is not prime. Res64: B69E71CA1F4DB4A1 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:08:47] 863*2^1507704-1 is not prime. Res64: 91FB7417BFD3DA61 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:08:49] 873*2^1507704-1 is not prime. Res64: 19304BB4213B8FEC Time : 0.0 sec. user=mdettweiler [2018-04-21 16:08:52] 899*2^1507704-1 is not prime. Res64: 7849521C02DC39A2 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:08:54] 915*2^1507704-1 is not prime. Res64: A9A9F8251BACCA52 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:08:55] 927*2^1507704-1 is not prime. Res64: A9C7F6F62EC35533 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:48:05] 975*2^1507704-1 is not prime. Res64: EB49D45C2ADEF71E Time : 0.0 sec. user=mdettweiler [2018-04-21 16:48:06] 607*2^1507705-1 is not prime. Res64: 18C3463D23490E03 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:48:06] 705*2^1507705-1 is not prime. Res64: BA942359FB7136D4 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:48:07] 789*2^1507705-1 is not prime. Res64: 9162FE9159B18F04 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:48:07] 811*2^1507705-1 is not prime. Res64: 1C321CDB98F9F8DA Time : 0.0 sec. user=mdettweiler [2018-04-21 16:58:06] 885*2^1507705-1 is not prime. Res64: 508C861AF35D9A55 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:58:06] 987*2^1507705-1 is not prime. Res64: 0558AF4376C120F7 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:58:07] 997*2^1507705-1 is not prime. Res64: C8F38915C2A102A1 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:58:07] 741*2^1507706-1 is not prime. Res64: 29E127C6310325D2 Time : 0.0 sec. user=mdettweiler [2018-04-21 16:58:08] 743*2^1507706-1 is not prime. Res64: D81BF830E85470B9 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:07:47] 747*2^1507706-1 is not prime. Res64: 0B4931EB77EFF2E3 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:07:49] 755*2^1507706-1 is not prime. Res64: E1EF112D40514E44 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:07:50] 875*2^1507706-1 is not prime. Res64: 30A2EA71CA896FF4 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:07:51] 935*2^1507706-1 is not prime. Res64: 3BB3E3F60E5C50BA Time : 0.0 sec. user=mdettweiler [2018-04-21 17:07:52] 649*2^1507707-1 is not prime. Res64: 0FBE35BCDA794E27 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:08:08] 741*2^1507707-1 is not prime. Res64: 847006F2DF2879D2 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:08:10] 801*2^1507707-1 is not prime. Res64: EBCBB3120B0BB67C Time : 0.0 sec. user=mdettweiler [2018-04-21 17:08:11] 819*2^1507707-1 is not prime. Res64: 05C1B231A851D5E0 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:08:12] 843*2^1507707-1 is not prime. Res64: A1F4622EF2EB25A8 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:08:13] 891*2^1507707-1 is not prime. Res64: 5F6A831849ECC953 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:37:43] 901*2^1507707-1 is not prime. Res64: 6FAB142DA1EE3E70 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:37:43] 975*2^1507707-1 is not prime. Res64: F7D658F0998E48AE Time : 0.0 sec. user=mdettweiler [2018-04-21 17:37:44] 979*2^1507707-1 is not prime. Res64: 402F061C8FEA9BAD Time : 0.0 sec. user=mdettweiler [2018-04-21 17:37:44] 687*2^1507708-1 is not prime. Res64: CD0CE92EFA36BB7F Time : 0.0 sec. user=mdettweiler [2018-04-21 17:37:45] 777*2^1507708-1 is not prime. Res64: ABC78C09C6652C5C Time : 0.0 sec. user=mdettweiler [2018-04-21 17:47:44] 797*2^1507708-1 is not prime. Res64: DD2641AC04F3ED1E Time : 0.0 sec. user=mdettweiler [2018-04-21 17:47:44] 711*2^1507709-1 is not prime. Res64: FDA600D42B577FB2 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:47:45] 745*2^1507709-1 is not prime. Res64: CC552D45D2427A54 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:47:45] 799*2^1507709-1 is not prime. Res64: 7278F34FA98FA494 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:47:45] 819*2^1507709-1 is not prime. Res64: D736C11B15F730F6 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:12] 887*2^1507710-1 is not prime. Res64: 9E9181D5CBDDA25A Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:12] 965*2^1507710-1 is not prime. Res64: A5C109CFAFF79157 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:13] 977*2^1507710-1 is not prime. Res64: 8823CF475C468DF5 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:13] 601*2^1507711-1 is not prime. Res64: 5F8B939165073BD6 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:14] 619*2^1507711-1 is not prime. Res64: D2FF41141C3A2D87 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:45] 889*2^1507709-1 is not prime. Res64: F1A91DED211ED174 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:46] 987*2^1507709-1 is not prime. Res64: 83F8EBBAEFAE7B2E Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:46] 641*2^1507710-1 is not prime. Res64: 15F33891BB36E5D9 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:47] 765*2^1507710-1 is not prime. Res64: DEE3F57F194A1D77 Time : 0.0 sec. user=mdettweiler [2018-04-21 17:57:47] 845*2^1507710-1 is not prime. Res64: 5377AB27B0A1C6D5 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:27:43] 771*2^1507711-1 is not prime. Res64: 04991AACC9B76A77 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:27:44] 841*2^1507711-1 is not prime. Res64: E957640E1CB4D8B1 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:27:44] 843*2^1507711-1 is not prime. Res64: AD3DE5FF317B3BAB Time : 0.0 sec. user=mdettweiler [2018-04-21 18:27:45] 969*2^1507711-1 is not prime. Res64: 47307A46DF450186 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:27:45] 993*2^1507711-1 is not prime. Res64: A0ED9472F7CF7C57 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:37:19] 855*2^1507712-1 is not prime. Res64: BB29590EEF15BC31 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:37:19] 873*2^1507712-1 is not prime. Res64: EE311D3686AA5A7B Time : 0.0 sec. user=mdettweiler [2018-04-21 18:37:20] 879*2^1507712-1 is not prime. Res64: E18FB1D1DF431E1A Time : 0.0 sec. user=mdettweiler [2018-04-21 18:37:20] 963*2^1507712-1 is not prime. Res64: 6BC6D9A39362F039 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:37:21] 657*2^1507713-1 is not prime. Res64: F7AC74CB87C80573 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:27] 605*2^1507714-1 is not prime. Res64: B61A68DA42F1BEA6 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:27] 651*2^1507714-1 is not prime. Res64: F459CFA7E3590FB4 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:28] 677*2^1507714-1 is not prime. Res64: 87EF1F852DB0DB14 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:28] 731*2^1507714-1 is not prime. Res64: 0AC491613E893FAB Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:29] 825*2^1507714-1 is not prime. Res64: 46459231FAB84680 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:44] 685*2^1507713-1 is not prime. Res64: 1B2150E0869E24F6 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:44] 735*2^1507713-1 is not prime. Res64: 316DF23B515C0D62 Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:45] 759*2^1507713-1 is not prime. Res64: 3A3D4932AB28A8BD Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:45] 765*2^1507713-1 is not prime. Res64: 2FF193E92360795B Time : 0.0 sec. user=mdettweiler [2018-04-21 18:46:46] 861*2^1507713-1 is not prime. Res64: 5A7E13441AB9DE58 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:16:56] 885*2^1507714-1 is not prime. Res64: E917551C051EB7FC Time : 0.0 sec. user=mdettweiler [2018-04-21 19:16:57] 891*2^1507714-1 is not prime. Res64: 81B43610E5237D8B Time : 0.0 sec. user=mdettweiler [2018-04-21 19:16:57] 651*2^1507715-1 is not prime. Res64: 164DD0A4369CACA7 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:16:58] 693*2^1507715-1 is not prime. Res64: 9295021BD1B45EE4 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:16:58] 741*2^1507715-1 is not prime. Res64: 490F619E66E22243 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:27:09] 799*2^1507715-1 is not prime. Res64: 8931AA09E9FB300B Time : 0.0 sec. user=mdettweiler [2018-04-21 19:27:10] 801*2^1507715-1 is not prime. Res64: 65F213FF126E331B Time : 0.0 sec. user=mdettweiler [2018-04-21 19:27:10] 859*2^1507715-1 is not prime. Res64: 23188A3F5AAD657F Time : 0.0 sec. user=mdettweiler [2018-04-21 19:27:11] 885*2^1507715-1 is not prime. Res64: 2A2CA78CDB682978 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:27:11] 939*2^1507715-1 is not prime. Res64: 1A255A1D68EA37FC Time : 0.0 sec. user=mdettweiler [2018-04-21 19:35:41] 803*2^1507716-1 is not prime. Res64: 73B974AC8FB7A226 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:35:42] 843*2^1507716-1 is not prime. Res64: 73D8F1636FEC71BD Time : 0.0 sec. user=mdettweiler [2018-04-21 19:35:42] 879*2^1507716-1 is not prime. Res64: DAE449E18254D0D2 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:35:43] 645*2^1507717-1 is not prime. Res64: E3444D5D856D8C06 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:35:43] 717*2^1507717-1 is not prime. Res64: 6B9830157450C6C8 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:36:21] 849*2^1507717-1 is not prime. Res64: 5569F1855F6B8ADE Time : 0.0 sec. user=mdettweiler [2018-04-21 19:36:22] 861*2^1507717-1 is not prime. Res64: 4274AB31096D30C7 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:36:22] 889*2^1507717-1 is not prime. Res64: 2B0A8806EBF14962 Time : 0.0 sec. user=mdettweiler [2018-04-21 19:36:23] 937*2^1507717-1 is not prime. Res64: 74F732D58C454A5C Time : 0.0 sec. user=mdettweiler [2018-04-21 19:36:23] 663*2^1507718-1 is not prime. Res64: E5DE49CD0059556D Time : 0.0 sec. user=mdettweiler [2018-04-21 20:07:12] 743*2^1507718-1 is not prime. Res64: EDA59283868615F5 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:07:15] 761*2^1507718-1 is not prime. Res64: 297A900F255B3CAA Time : 0.0 sec. user=mdettweiler [2018-04-21 20:07:17] 827*2^1507718-1 is not prime. Res64: 6029C18249D2D5D7 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:07:19] 857*2^1507718-1 is not prime. Res64: 489ADA887D1D531E Time : 0.0 sec. user=mdettweiler [2018-04-21 20:07:20] 911*2^1507718-1 is not prime. Res64: C0C1D34243B89F28 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:16:54] 941*2^1507718-1 is not prime. Res64: BCFE4DFEBA5F7CF1 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:16:55] 661*2^1507719-1 is not prime. Res64: 540E0735C174581C Time : 0.0 sec. user=mdettweiler [2018-04-21 20:16:55] 709*2^1507719-1 is not prime. Res64: 3669F17E47096541 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:16:56] 735*2^1507719-1 is not prime. Res64: 7B660D462258CDCB Time : 0.0 sec. user=mdettweiler [2018-04-21 20:16:56] 763*2^1507719-1 is not prime. Res64: C0D1146584467343 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:25:16] 825*2^1507719-1 is not prime. Res64: 5D80B6B828045266 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:25:16] 873*2^1507719-1 is not prime. Res64: DDC561964A430970 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:25:17] 895*2^1507719-1 is not prime. Res64: E7E31AEBD2349091 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:25:17] 951*2^1507719-1 is not prime. Res64: 8E61637069089F7A Time : 0.0 sec. user=mdettweiler [2018-04-21 20:25:18] 605*2^1507720-1 is not prime. Res64: 49FF88289AAFF328 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:26:24] 693*2^1507720-1 is not prime. Res64: A721F88EB1B7008A Time : 0.0 sec. user=mdettweiler [2018-04-21 20:26:25] 773*2^1507720-1 is not prime. Res64: 3E5C05F3869D77ED Time : 0.0 sec. user=mdettweiler [2018-04-21 20:26:25] 873*2^1507720-1 is not prime. Res64: 8755E0DF105838E2 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:26:26] 927*2^1507720-1 is not prime. Res64: 4DA260C947039C05 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:26:26] 871*2^1507721-1 is not prime. Res64: 6F11DC8B6FC12295 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:58:34] 885*2^1507721-1 is not prime. Res64: 632D82CF494FAA61 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:58:34] 945*2^1507721-1 is not prime. Res64: 5655F75511931B9B Time : 0.0 sec. user=mdettweiler [2018-04-21 20:58:35] 731*2^1507722-1 is not prime. Res64: 2A03685273BBFDC4 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:58:35] 791*2^1507722-1 is not prime. Res64: 7061F891B07B3832 Time : 0.0 sec. user=mdettweiler [2018-04-21 20:58:36] 887*2^1507722-1 is not prime. Res64: 3E92894D04836874 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:06:10] 945*2^1507722-1 is not prime. Res64: 4CD5E1DDDD286899 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:06:11] 963*2^1507722-1 is not prime. Res64: ECEDF96DD3AEE769 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:06:12] 615*2^1507723-1 is not prime. Res64: D62F88308F572E48 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:06:13] 681*2^1507723-1 is not prime. Res64: 9EAAFB554D40BEA4 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:06:14] 703*2^1507723-1 is not prime. Res64: 339E789E4EC60957 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:14:46] 709*2^1507723-1 is not prime. Res64: D71C3CDFDD8BC63A Time : 0.0 sec. user=mdettweiler [2018-04-21 21:14:47] 805*2^1507723-1 is not prime. Res64: EADA0A525E593B5F Time : 0.0 sec. user=mdettweiler [2018-04-21 21:14:47] 861*2^1507723-1 is not prime. Res64: 0606E6B144E2ABA7 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:14:47] 605*2^1507724-1 is not prime. Res64: 8C866DAB17B37C5D Time : 0.0 sec. user=mdettweiler [2018-04-21 21:14:48] 743*2^1507724-1 is not prime. Res64: 78447EA9298B6E72 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:17:06] 857*2^1507724-1 is not prime. Res64: D09345663488FC70 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:17:07] 873*2^1507724-1 is not prime. Res64: BA19D720DF3BC254 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:17:07] 897*2^1507724-1 is not prime. Res64: 96306C9B5F07B444 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:17:08] 903*2^1507724-1 is not prime. Res64: D98937F71C83A4A7 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:17:08] 945*2^1507724-1 is not prime. Res64: 2056143023707A1C Time : 0.0 sec. user=mdettweiler [2018-04-21 21:47:30] 969*2^1507724-1 is not prime. Res64: 36E610C78F1CA6BA Time : 0.0 sec. user=mdettweiler [2018-04-21 21:47:30] 601*2^1507725-1 is not prime. Res64: A64032DE9ADD9744 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:47:30] 679*2^1507725-1 is not prime. Res64: 4AC12F7E2C2EF75C Time : 0.0 sec. user=mdettweiler [2018-04-21 21:47:31] 805*2^1507725-1 is not prime. Res64: 363B8D8AE4D8B1F0 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:47:31] 603*2^1507726-1 is not prime. Res64: A2B324FE87FD09AE Time : 0.0 sec. user=mdettweiler [2018-04-21 21:57:04] 623*2^1507726-1 is not prime. Res64: CADEF0ABD6B71552 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:57:05] 741*2^1507726-1 is not prime. Res64: 0B3176ECF98323E5 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:57:05] 761*2^1507726-1 is not prime. Res64: 84C78A4D7A3468D8 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:57:05] 773*2^1507726-1 is not prime. Res64: 131924FEF9785963 Time : 0.0 sec. user=mdettweiler [2018-04-21 21:57:06] 873*2^1507726-1 is not prime. Res64: 9C54E7325B2EC483 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:04:48] 897*2^1507726-1 is not prime. Res64: FB2486CBA40FBFAA Time : 0.0 sec. user=mdettweiler [2018-04-21 22:04:50] 753*2^1507727-1 is not prime. Res64: A495CFDDDAA95D79 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:04:51] 763*2^1507727-1 is not prime. Res64: 9B2B8D472C1DDFF9 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:04:52] 981*2^1507727-1 is not prime. Res64: DF14747C67048C4D Time : 0.0 sec. user=mdettweiler [2018-04-21 22:04:53] 629*2^1507728-1 is not prime. Res64: 73B2D3EDD1C86D9E Time : 0.0 sec. user=mdettweiler [2018-04-21 22:06:31] 665*2^1507728-1 is not prime. Res64: A3E0E45D6AF119E7 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:06:34] 689*2^1507728-1 is not prime. Res64: 797B06FBBEDC4DDA Time : 0.0 sec. user=mdettweiler [2018-04-21 22:06:38] 695*2^1507728-1 is not prime. Res64: 868C34B9A7017E9C Time : 0.0 sec. user=mdettweiler [2018-04-21 22:06:40] 809*2^1507728-1 is not prime. Res64: 7171BDB230184DCB Time : 0.0 sec. user=mdettweiler [2018-04-21 22:06:41] 825*2^1507728-1 is not prime. Res64: 768094D513E30C35 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:37:41] 839*2^1507728-1 is not prime. Res64: 8EA87AD0E494681A Time : 0.0 sec. user=mdettweiler [2018-04-21 22:37:42] 875*2^1507728-1 is not prime. Res64: 64E4123D5058E46B Time : 0.0 sec. user=mdettweiler [2018-04-21 22:37:42] 909*2^1507728-1 is not prime. Res64: D74D920BFD561D37 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:37:42] 807*2^1507729-1 is not prime. Res64: E69ACE06486AE4BA Time : 0.0 sec. user=mdettweiler [2018-04-21 22:37:43] 817*2^1507729-1 is not prime. Res64: 8D4502B585B8211F Time : 0.0 sec. user=mdettweiler [2018-04-21 22:46:35] 985*2^1507729-1 is not prime. Res64: A2FCEDCB144AE72E Time : 0.0 sec. user=mdettweiler [2018-04-21 22:46:36] 635*2^1507730-1 is not prime. Res64: 5C2DE4846CA60831 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:46:36] 701*2^1507730-1 is not prime. Res64: 1FD468B38234B1F6 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:46:36] 741*2^1507730-1 is not prime. Res64: FD432BCA3852AC72 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:46:37] 783*2^1507730-1 is not prime. Res64: E5D6019996F7A73C Time : 0.0 sec. user=mdettweiler [2018-04-21 22:54:56] 785*2^1507730-1 is not prime. Res64: F3FCAD7A42AB3F8B Time : 0.0 sec. user=mdettweiler [2018-04-21 22:54:56] 801*2^1507730-1 is not prime. Res64: 98E3D6C75E7D2644 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:54:57] 825*2^1507730-1 is not prime. Res64: 19793506FDFE613B Time : 0.0 sec. user=mdettweiler [2018-04-21 22:54:57] 857*2^1507730-1 is not prime. Res64: 932329D7D2CB2130 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:54:58] 911*2^1507730-1 is not prime. Res64: D6D7B45A86346DAB Time : 0.0 sec. user=mdettweiler [2018-04-21 22:57:06] 917*2^1507730-1 is not prime. Res64: 4F6CA22B4165D6DA Time : 0.0 sec. user=mdettweiler [2018-04-21 22:57:06] 921*2^1507730-1 is not prime. Res64: AFEA887F6C7780D6 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:57:06] 649*2^1507731-1 is not prime. Res64: EB3D369B595A1FF9 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:57:07] 741*2^1507731-1 is not prime. Res64: 4E5B90C2BAD80346 Time : 0.0 sec. user=mdettweiler [2018-04-21 22:57:07] 783*2^1507731-1 is not prime. Res64: 7C0B2ED404029BA1 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:27:02] 819*2^1507731-1 is not prime. Res64: 6879873E98009386 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:27:03] 931*2^1507731-1 is not prime. Res64: CF6C8B55B4A3AE99 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:27:03] 975*2^1507731-1 is not prime. Res64: B253DCE524EC5636 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:27:03] 677*2^1507732-1 is not prime. Res64: E5FBF0F15F3FDCDE Time : 0.0 sec. user=mdettweiler [2018-04-21 23:27:04] 687*2^1507732-1 is not prime. Res64: BCE10AA5920289E5 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:36:56] 749*2^1507732-1 is not prime. Res64: 61669BF59729849B Time : 0.0 sec. user=mdettweiler [2018-04-21 23:36:57] 813*2^1507732-1 is not prime. Res64: 18815562BC74CD41 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:36:57] 855*2^1507732-1 is not prime. Res64: 5B1BB301C6CC93BF Time : 0.0 sec. user=mdettweiler [2018-04-21 23:36:58] 857*2^1507732-1 is not prime. Res64: 45F6C50929490E95 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:36:58] 903*2^1507732-1 is not prime. Res64: C5E86CBC892806E7 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:44:48] 909*2^1507732-1 is not prime. Res64: 3532C51D733EEFF7 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:44:48] 679*2^1507733-1 is not prime. Res64: 4D23631B6DA8F61D Time : 0.0 sec. user=mdettweiler [2018-04-21 23:44:49] 789*2^1507733-1 is not prime. Res64: 4FC21AAF9BBE376B Time : 0.0 sec. user=mdettweiler [2018-04-21 23:44:49] 811*2^1507733-1 is not prime. Res64: AF28B9F37FBFD4BA Time : 0.0 sec. user=mdettweiler [2018-04-21 23:44:49] 969*2^1507733-1 is not prime. Res64: 6887AA2F4A2F35B5 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:46:16] 981*2^1507733-1 is not prime. Res64: 96095FA7642FE801 Time : 0.0 sec. user=mdettweiler [2018-04-21 23:46:16] 605*2^1507734-1 is not prime. Res64: DCF4BF2AACE3ED9A Time : 0.0 sec. user=mdettweiler [2018-04-21 23:46:17] 627*2^1507734-1 is not prime. Res64: B273B06038EAEABB Time : 0.0 sec. user=mdettweiler [2018-04-21 23:46:17] 663*2^1507734-1 is not prime. Res64: B85151B565A08E5B Time : 0.0 sec. user=mdettweiler [2018-04-21 23:46:17] 747*2^1507734-1 is not prime. Res64: D36DFA3F47AA7ED3 Time : 0.0 sec.