user=mdettweiler [2015-06-15 00:10:07] 741*2^1400346-1 is not prime. Res64: FE13920E83AA2EC2 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:10:07] 821*2^1400346-1 is not prime. Res64: AFD6E81F37095A4C Time : 0.0 sec. user=mdettweiler [2015-06-15 00:10:26] 891*2^1400346-1 is not prime. Res64: 9437620E3A1F2671 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:10:27] 945*2^1400346-1 is not prime. Res64: E94CF234D95D83B4 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:10:48] 975*2^1400346-1 is not prime. Res64: 9D01DB0CFAA7B84E Time : 0.0 sec. user=mdettweiler [2015-06-15 00:10:48] 703*2^1400347-1 is not prime. Res64: AAFC369CF2E2CA43 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:11:51] 715*2^1400347-1 is not prime. Res64: 2F2EB169E399C927 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:11:51] 769*2^1400347-1 is not prime. Res64: DD68302F713ADDE6 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:02] 805*2^1400347-1 is not prime. Res64: DE48502AE0D63DE9 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:02] 889*2^1400347-1 is not prime. Res64: 6BB7629008E4FEAD Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:15] 939*2^1400347-1 is not prime. Res64: 1F2C7962BF546EFF Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:15] 635*2^1400348-1 is not prime. Res64: 8F55E62DC92907B2 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:41] 699*2^1400348-1 is not prime. Res64: AFAE9F27372E097C Time : 0.0 sec. user=mdettweiler [2015-06-15 00:28:42] 753*2^1400348-1 is not prime. Res64: 2A4F9DA23A99F1CE Time : 0.0 sec. user=mdettweiler [2015-06-15 00:29:32] 819*2^1400348-1 is not prime. Res64: 44315DC9D519249C Time : 0.0 sec. user=mdettweiler [2015-06-15 00:29:33] 855*2^1400348-1 is not prime. Res64: 13EB3520E2BF43F0 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:45:59] 625*2^1400349-1 is not prime. Res64: 61013AF936177B63 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:46:00] 655*2^1400349-1 is not prime. Res64: 721E003FFC61C531 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:46:21] 923*2^1400348-1 is not prime. Res64: 113FED93AEEFBD28 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:46:21] 935*2^1400348-1 is not prime. Res64: CB57FB3BE75FF305 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:46:33] 765*2^1400349-1 is not prime. Res64: C7B3EAED49464FF6 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:46:34] 795*2^1400349-1 is not prime. Res64: 195E6080D2A71C04 Time : 0.0 sec. user=mdettweiler [2015-06-15 00:47:18] 811*2^1400349-1 is not prime. Res64: EB7D8F641FB2F9AC Time : 0.0 sec. user=mdettweiler [2015-06-15 00:47:19] 835*2^1400349-1 is not prime. Res64: 536FB6E26C883818 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:03:51] 847*2^1400349-1 is not prime. Res64: 5D4382244D785B69 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:03:52] 861*2^1400349-1 is not prime. Res64: 29623F1F2B24B174 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:04:05] 889*2^1400349-1 is not prime. Res64: DF799E4ED7054AB1 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:04:06] 979*2^1400349-1 is not prime. Res64: 8FFBD3AE662006F5 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:04:19] 987*2^1400349-1 is not prime. Res64: F656009F42B3E394 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:04:20] 681*2^1400350-1 is not prime. Res64: 69A7761A627CA616 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:05:12] 717*2^1400350-1 is not prime. Res64: 511A77048F8DC9AE Time : 0.0 sec. user=mdettweiler [2015-06-15 01:05:13] 777*2^1400350-1 is not prime. Res64: 67CB4ED66CA7E1D9 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:21:53] 897*2^1400350-1 is not prime. Res64: 655820B375ABEC51 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:21:54] 911*2^1400350-1 is not prime. Res64: 0E5FD832EBF76D1A Time : 0.0 sec. user=mdettweiler [2015-06-15 01:22:08] 987*2^1400350-1 is not prime. Res64: BE42AF775F20161D Time : 0.0 sec. user=mdettweiler [2015-06-15 01:22:09] 685*2^1400351-1 is not prime. Res64: 9CF6023DAD6BE147 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:22:15] 735*2^1400351-1 is not prime. Res64: 8B9C9375D4703CAD Time : 0.0 sec. user=mdettweiler [2015-06-15 01:22:16] 823*2^1400351-1 is not prime. Res64: 73DFDFC6AA8A8A3F Time : 0.0 sec. user=mdettweiler [2015-06-15 01:23:02] 859*2^1400351-1 is not prime. Res64: 29BDB6D52FFE7588 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:23:03] 865*2^1400351-1 is not prime. Res64: C0969C00BC5E0DDC Time : 0.0 sec. user=mdettweiler [2015-06-15 01:39:43] 885*2^1400351-1 is not prime. Res64: 3ADC5C7D628100D2 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:39:43] 945*2^1400351-1 is not prime. Res64: CB0CBA3C04834ECB Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:00] 993*2^1400351-1 is not prime. Res64: FFEE19B28B4C1D20 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:01] 737*2^1400352-1 is not prime. Res64: FA983473C156BE29 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:01] 759*2^1400352-1 is not prime. Res64: 9110360A0F068B10 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:02] 765*2^1400352-1 is not prime. Res64: 56D17FB265F1858C Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:51] 857*2^1400352-1 is not prime. Res64: 9B1E3A00703C830A Time : 0.0 sec. user=mdettweiler [2015-06-15 01:40:52] 909*2^1400352-1 is not prime. Res64: E049225C643C9434 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:33] 751*2^1400353-1 is not prime. Res64: C7CC58362663152F Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:33] 771*2^1400353-1 is not prime. Res64: B27EB9B9B3A248B7 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:40] 983*2^1400352-1 is not prime. Res64: 243F99D38E506B96 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:40] 639*2^1400353-1 is not prime. Res64: 8D657D434EB754A7 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:52] 877*2^1400353-1 is not prime. Res64: 1C4F42F4E04EF271 Time : 0.0 sec. user=mdettweiler [2015-06-15 01:57:52] 895*2^1400353-1 is not prime. Res64: F62AEB58E520941F Time : 0.0 sec. user=mdettweiler [2015-06-15 01:58:30] 937*2^1400353-1 is not prime. Res64: 9108BCFDD3D989EC Time : 0.0 sec. user=mdettweiler [2015-06-15 01:58:30] 987*2^1400353-1 is not prime. Res64: 2B2BEB979BDF3EED Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:18] 797*2^1400354-1 is not prime. Res64: 81777E793A242E49 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:19] 833*2^1400354-1 is not prime. Res64: CC5513B259452CF7 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:25] 615*2^1400354-1 is not prime. Res64: EFB9FB1CC118C1B5 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:25] 717*2^1400354-1 is not prime. Res64: 19901A2A04C57C05 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:40] 873*2^1400354-1 is not prime. Res64: FAF1EE2284541F00 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:15:40] 923*2^1400354-1 is not prime. Res64: 8862050E5FDE9924 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:16:14] 941*2^1400354-1 is not prime. Res64: 9C38FCC2153567D0 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:16:15] 983*2^1400354-1 is not prime. Res64: 91BC7035C80B07EE Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:13] 793*2^1400355-1 is not prime. Res64: 0868F766C50BC7FE Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:14] 795*2^1400355-1 is not prime. Res64: AEE88BE3EF510AB2 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:26] 643*2^1400355-1 is not prime. Res64: AED97D0A07389FDC Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:26] 741*2^1400355-1 is not prime. Res64: 9F99F941EA19D856 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:35] 819*2^1400355-1 is not prime. Res64: C005510ADBABABE1 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:33:36] 859*2^1400355-1 is not prime. Res64: B1A731F4D6EF7AF8 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:34:10] 895*2^1400355-1 is not prime. Res64: 7751FBA5D75DB506 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:34:10] 955*2^1400355-1 is not prime. Res64: 527F59529701192F Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:09] 963*2^1400355-1 is not prime. Res64: 4B8F9D01ECB31F56 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:10] 969*2^1400355-1 is not prime. Res64: 869BD065CF605727 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:11] 615*2^1400356-1 is not prime. Res64: DB55E78F9D2E4F82 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:11] 707*2^1400356-1 is not prime. Res64: FCC9D6040EC6BF22 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:30] 765*2^1400356-1 is not prime. Res64: 3673A31AFC4FA95B Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:30] 785*2^1400356-1 is not prime. Res64: 9F6F5FA1B85CA736 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:57] 813*2^1400356-1 is not prime. Res64: CD62DB6ABEF205D0 Time : 0.0 sec. user=mdettweiler [2015-06-15 02:51:57] 875*2^1400356-1 is not prime. Res64: FF7FEFD49A8F58C1 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:09:33] 645*2^1400357-1 is not prime. Res64: 65F9E7FB4B79450A Time : 0.0 sec. user=mdettweiler [2015-06-15 03:09:34] 735*2^1400357-1 is not prime. Res64: 8FA41FC8D6BADD1F Time : 0.0 sec. user=mdettweiler [2015-06-15 03:09:35] 927*2^1400356-1 is not prime. Res64: 81D49D16FD5AD081 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:09:36] 989*2^1400356-1 is not prime. Res64: 554D0371B90A5C50 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:10:04] 801*2^1400357-1 is not prime. Res64: E251E2C9BA5AD4AE Time : 0.0 sec. user=mdettweiler [2015-06-15 03:10:05] 861*2^1400357-1 is not prime. Res64: EAD1BF1607E628CC Time : 0.0 sec. user=mdettweiler [2015-06-15 03:11:07] 901*2^1400357-1 is not prime. Res64: 6F46EA4C68E2F6A2 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:11:07] 927*2^1400357-1 is not prime. Res64: A7B0BAEEF3D1F2DC Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:18] 801*2^1400358-1 is not prime. Res64: C620393CF93B5D78 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:18] 619*2^1400359-1 is not prime. Res64: CC9B7E39B43F410B Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:27] 755*2^1400358-1 is not prime. Res64: 0A1DC63DBEBA9368 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:29] 797*2^1400358-1 is not prime. Res64: 2C91645EC6397FD1 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:51] 625*2^1400359-1 is not prime. Res64: B05CAC77AD0F93CE Time : 0.0 sec. user=mdettweiler [2015-06-15 03:27:52] 745*2^1400359-1 is not prime. Res64: 5EC7EE291C6E4000 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:28:58] 793*2^1400359-1 is not prime. Res64: ED9645FACF361300 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:28:59] 829*2^1400359-1 is not prime. Res64: BA0186CCB0CEB5E5 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:17] 855*2^1400359-1 is not prime. Res64: 3E41AA21528FA6E1 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:19] 889*2^1400359-1 is not prime. Res64: 3D635EFD4035B8DB Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:30] 939*2^1400359-1 is not prime. Res64: 80CF33907DC6F984 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:30] 665*2^1400360-1 is not prime. Res64: 5ABB4E46F2A0B7F0 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:57] 675*2^1400360-1 is not prime. Res64: 5114B786A095F3F8 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:45:58] 855*2^1400360-1 is not prime. Res64: 200442F49CAFA08B Time : 0.0 sec. user=mdettweiler [2015-06-15 03:46:55] 963*2^1400360-1 is not prime. Res64: 8572B94CAEA93E03 Time : 0.0 sec. user=mdettweiler [2015-06-15 03:46:56] 609*2^1400361-1 is not prime. Res64: BD3198C2C8C0A5AC Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:28] 789*2^1400361-1 is not prime. Res64: 7DB5FB2708783325 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:29] 867*2^1400361-1 is not prime. Res64: FDE90825F6981450 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:34] 627*2^1400361-1 is not prime. Res64: 67B46C1D0A87D60A Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:34] 685*2^1400361-1 is not prime. Res64: 5691B6EE25A33238 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:54] 951*2^1400361-1 is not prime. Res64: ACC726FBC8450715 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:03:56] 969*2^1400361-1 is not prime. Res64: 2541CC363C33276E Time : 0.0 sec. user=mdettweiler [2015-06-15 04:04:49] 653*2^1400362-1 is not prime. Res64: 0E7A254D162851C2 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:04:50] 701*2^1400362-1 is not prime. Res64: 86EFB630D74D9B98 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:21:42] 759*2^1400363-1 is not prime. Res64: B359437F1DCEC359 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:21:43] 783*2^1400363-1 is not prime. Res64: 8671C09D79104E1D Time : 0.0 sec. user=mdettweiler [2015-06-15 04:21:55] 843*2^1400362-1 is not prime. Res64: 8CF9304FB9EDA1D2 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:21:55] 857*2^1400362-1 is not prime. Res64: 92BC069A76B5E150 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:22:00] 609*2^1400363-1 is not prime. Res64: 32426C8BB4EF5371 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:22:01] 741*2^1400363-1 is not prime. Res64: B5EBE0A7FE238A5D Time : 0.0 sec. user=mdettweiler [2015-06-15 04:22:35] 811*2^1400363-1 is not prime. Res64: 7AF1E699C2F9A964 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:22:35] 981*2^1400363-1 is not prime. Res64: 7CA696E9C983C77C Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:33] 725*2^1400364-1 is not prime. Res64: 3D6E161D41E2E1A8 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:34] 759*2^1400364-1 is not prime. Res64: 3A934192AFAFF4F5 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:39] 629*2^1400364-1 is not prime. Res64: 2558D684DDD7CAB8 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:39] 693*2^1400364-1 is not prime. Res64: 9B24E831A1F24A0A Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:56] 903*2^1400364-1 is not prime. Res64: 9E55972E995DC0F9 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:39:57] 805*2^1400365-1 is not prime. Res64: 21593C284F0302E3 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:40:19] 861*2^1400365-1 is not prime. Res64: 2ECE68DD5CF6E019 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:40:19] 937*2^1400365-1 is not prime. Res64: D77896E3AD104568 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:20] 987*2^1400365-1 is not prime. Res64: 41C60469DC0B93A4 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:21] 671*2^1400366-1 is not prime. Res64: 03262CBCA7BB71ED Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:27] 677*2^1400366-1 is not prime. Res64: 3C8010EA6EED82DC Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:28] 693*2^1400366-1 is not prime. Res64: 9D732C8E3E094410 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:41] 711*2^1400366-1 is not prime. Res64: 8903796220C39175 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:57:41] 767*2^1400366-1 is not prime. Res64: 5520EAF675442346 Time : 0.0 sec. user=mdettweiler [2015-06-15 04:58:08] 861*2^1400366-1 is not prime. Res64: 406E912EA452ACAB Time : 0.0 sec. user=mdettweiler [2015-06-15 04:58:09] 887*2^1400366-1 is not prime. Res64: 46FC927E76F236FA Time : 0.0 sec. user=juhehe [2015-06-15 05:10:37] 951*2^1400365-1 is not prime. Res64: 05802479EFA28851 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:05] 923*2^1400366-1 is not prime. Res64: 0651A2A0D33E8F7F Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:05] 963*2^1400366-1 is not prime. Res64: 0EE60EAE62335020 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:18] 981*2^1400366-1 is not prime. Res64: 3B19AF0AD3FB5C92 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:19] 675*2^1400367-1 is not prime. Res64: B3ECFDDA724CFA52 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:31] 691*2^1400367-1 is not prime. Res64: 617379C38AD2DE1A Time : 0.0 sec. user=mdettweiler [2015-06-15 05:15:32] 693*2^1400367-1 is not prime. Res64: 17DC66ACDF27A710 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:16:03] 709*2^1400367-1 is not prime. Res64: FBFECA68A7C5A5ED Time : 0.0 sec. user=mdettweiler [2015-06-15 05:16:04] 831*2^1400367-1 is not prime. Res64: 4F4B70A0F2894C06 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:32:48] 879*2^1400367-1 is not prime. Res64: 74D3455FA73F21BE Time : 0.0 sec. user=mdettweiler [2015-06-15 05:32:48] 885*2^1400367-1 is not prime. Res64: EFF3D47511EC855B Time : 0.0 sec. user=mdettweiler [2015-06-15 05:33:09] 931*2^1400367-1 is not prime. Res64: 202630DF5911C86C Time : 0.0 sec. user=mdettweiler [2015-06-15 05:33:10] 945*2^1400367-1 is not prime. Res64: F7DE05C3EED9243B Time : 0.0 sec. user=mdettweiler [2015-06-15 05:33:18] 677*2^1400368-1 is not prime. Res64: 6373336BEA1E5C67 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:33:18] 707*2^1400368-1 is not prime. Res64: 977B20ABFBAF6B73 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:33:59] 843*2^1400368-1 is not prime. Res64: BE9E498643D23364 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:34:00] 959*2^1400368-1 is not prime. Res64: 410C84210AD4381B Time : 0.0 sec. user=mdettweiler [2015-06-15 05:50:51] 811*2^1400369-1 is not prime. Res64: ACBF8481976B7332 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:50:51] 771*2^1400369-1 is not prime. Res64: 020516F427D0C844 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:50:51] 861*2^1400369-1 is not prime. Res64: FA247D1F2878CF24 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:50:52] 789*2^1400369-1 is not prime. Res64: 53D394F1BE51BC9A Time : 0.0 sec. user=mdettweiler [2015-06-15 05:51:20] 865*2^1400369-1 is not prime. Res64: E4310617FDFDCA60 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:51:20] 907*2^1400369-1 is not prime. Res64: F3C7D8588D201D21 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:51:47] 955*2^1400369-1 is not prime. Res64: A809324DDBFEA0C1 Time : 0.0 sec. user=mdettweiler [2015-06-15 05:51:47] 641*2^1400370-1 is not prime. Res64: AAC547559E08A733 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:30] 941*2^1400370-1 is not prime. Res64: 3024FCE01CB6DB51 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:31] 631*2^1400371-1 is not prime. Res64: 798B08ED537B8BA7 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:53] 733*2^1400371-1 is not prime. Res64: 05F01ADB42CE6273 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:54] 861*2^1400371-1 is not prime. Res64: 94D453C34F0EC8E3 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:58] 975*2^1400371-1 is not prime. Res64: 9623151AE721E806 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:08:59] 633*2^1400372-1 is not prime. Res64: BAD3BA2CAF41DB6F Time : 0.0 sec. user=mdettweiler [2015-06-15 06:09:45] 635*2^1400372-1 is not prime. Res64: FA9D532210D8DBAC Time : 0.0 sec. user=mdettweiler [2015-06-15 06:09:46] 669*2^1400372-1 is not prime. Res64: 19D7932037467965 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:22] 683*2^1400372-1 is not prime. Res64: DB84CB0CABDED939 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:22] 693*2^1400372-1 is not prime. Res64: BC2EF69561F72C98 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:41] 803*2^1400372-1 is not prime. Res64: A234FE67058BB952 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:42] 873*2^1400372-1 is not prime. Res64: 90DEB4AC50AF6BDF Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:49] 725*2^1400372-1 is not prime. Res64: 1C36BC41E7498527 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:26:49] 743*2^1400372-1 is not prime. Res64: C25F558ABAAA8E23 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:27:43] 935*2^1400372-1 is not prime. Res64: 86473D7668995A83 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:27:43] 983*2^1400372-1 is not prime. Res64: 647BAA7A2988D3FD Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:12] 727*2^1400373-1 is not prime. Res64: 5A0450ED97195608 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:12] 787*2^1400373-1 is not prime. Res64: BD403974E4EE7A68 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:30] 837*2^1400373-1 is not prime. Res64: D5D22B3825A7DC3D Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:30] 891*2^1400373-1 is not prime. Res64: C4A9709086831516 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:34] 951*2^1400373-1 is not prime. Res64: FC0CE11560B344B1 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:44:34] 961*2^1400373-1 is not prime. Res64: 9D1C997B53BE230B Time : 0.0 sec. user=mdettweiler [2015-06-15 06:45:28] 969*2^1400373-1 is not prime. Res64: 19F876A6459C8BE1 Time : 0.0 sec. user=mdettweiler [2015-06-15 06:45:28] 623*2^1400374-1 is not prime. Res64: 3998A545DAECCC81 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:10] 677*2^1400374-1 is not prime. Res64: 7D024658A2BB71A2 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:11] 831*2^1400374-1 is not prime. Res64: 4E709624038B3985 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:12] 687*2^1400374-1 is not prime. Res64: 1ABDEDC4EC197D67 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:12] 863*2^1400374-1 is not prime. Res64: 244DA34FA589E3CC Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:23] 887*2^1400374-1 is not prime. Res64: 9FAAA574CB234694 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:02:24] 947*2^1400374-1 is not prime. Res64: 9D6901C88DCA8E6D Time : 0.0 sec. user=mdettweiler [2015-06-15 07:03:14] 645*2^1400375-1 is not prime. Res64: 04307488BF30C49D Time : 0.0 sec. user=mdettweiler [2015-06-15 07:03:15] 651*2^1400375-1 is not prime. Res64: 91160AFB8E66464D Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:28] 909*2^1400375-1 is not prime. Res64: B7BE401E1E3A5F10 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:28] 689*2^1400376-1 is not prime. Res64: 026A654B3085AFBB Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:31] 695*2^1400376-1 is not prime. Res64: 8CA1B24A0E8F292B Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:31] 705*2^1400376-1 is not prime. Res64: E4FA4628D17AEE56 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:33] 759*2^1400375-1 is not prime. Res64: 8461BEB3D1B6B9B9 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:20:33] 841*2^1400375-1 is not prime. Res64: 13E8B1A5BF826FDD Time : 0.0 sec. user=mdettweiler [2015-06-15 07:21:19] 707*2^1400376-1 is not prime. Res64: 5C415CE5DAE0764C Time : 0.0 sec. user=mdettweiler [2015-06-15 07:21:19] 723*2^1400376-1 is not prime. Res64: F623E14CEC1DEA64 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:25] 789*2^1400376-1 is not prime. Res64: A9A09ED158D6EAC2 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:26] 809*2^1400376-1 is not prime. Res64: F9400B16D6DCF1C9 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:29] 639*2^1400377-1 is not prime. Res64: DF8879948ED5A5BC Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:29] 741*2^1400377-1 is not prime. Res64: 43D142D84BE73867 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:33] 875*2^1400376-1 is not prime. Res64: 318358A0FF4036D7 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:38:34] 975*2^1400376-1 is not prime. Res64: BB4CFC59A2DFA12A Time : 0.0 sec. user=mdettweiler [2015-06-15 07:39:22] 805*2^1400377-1 is not prime. Res64: BD61B766C76A9C80 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:39:22] 979*2^1400377-1 is not prime. Res64: 8EF1219925DA86B1 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:15] 623*2^1400378-1 is not prime. Res64: 22E15760C7D60EE5 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:16] 635*2^1400378-1 is not prime. Res64: 9AF9CA039B90575A Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:23] 985*2^1400377-1 is not prime. Res64: 88CA12A9D34B0F35 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:24] 999*2^1400377-1 is not prime. Res64: FC1A3C5A794EED88 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:30] 665*2^1400378-1 is not prime. Res64: 478CBEB2D75B5D3B Time : 0.0 sec. user=mdettweiler [2015-06-15 07:56:30] 671*2^1400378-1 is not prime. Res64: 73344F5F9078BBC7 Time : 0.0 sec. user=mdettweiler [2015-06-15 07:57:21] 845*2^1400378-1 is not prime. Res64: FA849DA7D4C486DB Time : 0.0 sec. user=mdettweiler [2015-06-15 07:57:22] 887*2^1400378-1 is not prime. Res64: 3CCB1A6DC8F8D22A Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:09] 951*2^1400378-1 is not prime. Res64: ACFE7B2842415A81 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:09] 953*2^1400378-1 is not prime. Res64: E20417B256952F97 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:11] 971*2^1400378-1 is not prime. Res64: D3AFC9B2F8AB342E Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:11] 685*2^1400379-1 is not prime. Res64: 6AC8AB5EAAC33174 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:22] 705*2^1400379-1 is not prime. Res64: EF83D28A302CA459 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:14:22] 829*2^1400379-1 is not prime. Res64: 80AE396ACB431F75 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:15:18] 859*2^1400379-1 is not prime. Res64: A0BD967C37E26373 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:15:18] 861*2^1400379-1 is not prime. Res64: FC3385B26A33F16B Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:01] 899*2^1400380-1 is not prime. Res64: A3758F339C25C2DF Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:02] 987*2^1400380-1 is not prime. Res64: 08AC25339278B8A3 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:06] 605*2^1400380-1 is not prime. Res64: A206D3CB5DA281E1 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:06] 735*2^1400380-1 is not prime. Res64: 49DFC5DB2D748813 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:23] 607*2^1400381-1 is not prime. Res64: 8AE991940F67F88C Time : 0.0 sec. user=mdettweiler [2015-06-15 08:32:23] 615*2^1400381-1 is not prime. Res64: 71CAE5BED1D5F591 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:33:08] 669*2^1400381-1 is not prime. Res64: 62C8328A635539D8 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:33:08] 679*2^1400381-1 is not prime. Res64: F1A9C36F3716954D Time : 0.0 sec. user=mdettweiler [2015-06-15 08:49:45] 757*2^1400381-1 is not prime. Res64: 0F44543974F79172 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:49:46] 837*2^1400381-1 is not prime. Res64: 064E5EBBDA14F21D Time : 0.0 sec. user=mdettweiler [2015-06-15 08:50:01] 907*2^1400381-1 is not prime. Res64: 33B79D4864F73C45 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:50:01] 957*2^1400381-1 is not prime. Res64: AF4F3BEAE1EFF7A1 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:50:09] 861*2^1400381-1 is not prime. Res64: AB79290B74806F88 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:50:09] 889*2^1400381-1 is not prime. Res64: 3B6A6E53F1A5A7E6 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:51:03] 987*2^1400381-1 is not prime. Res64: D5AB901316915EF4 Time : 0.0 sec. user=mdettweiler [2015-06-15 08:51:03] 713*2^1400382-1 is not prime. Res64: 3209CD8E898F3F82 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:07:58] 725*2^1400382-1 is not prime. Res64: 6D27A629C89E83FC Time : 0.0 sec. user=mdettweiler [2015-06-15 09:07:59] 825*2^1400382-1 is not prime. Res64: D544483F720A088D Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:00] 867*2^1400382-1 is not prime. Res64: 19AAAD94B51BFCDE Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:01] 679*2^1400383-1 is not prime. Res64: 0C7A484F0D70D6FD Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:11] 703*2^1400383-1 is not prime. Res64: 8ED412AB7862231F Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:11] 763*2^1400383-1 is not prime. Res64: 7EE741635A815518 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:58] 775*2^1400383-1 is not prime. Res64: 98F951FA4CB8EAC6 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:08:59] 973*2^1400383-1 is not prime. Res64: D6E596942DA29587 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:25:55] 805*2^1400385-1 is not prime. Res64: DCFC6DBBC2744C6A Time : 0.0 sec. user=mdettweiler [2015-06-15 09:25:55] 861*2^1400385-1 is not prime. Res64: 8172664445343830 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:25:56] 873*2^1400384-1 is not prime. Res64: 3B735E38FA5193A5 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:25:56] 957*2^1400384-1 is not prime. Res64: 237DFE4A6FDF8C19 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:26:04] 983*2^1400384-1 is not prime. Res64: 323DB05BF3B14F17 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:26:05] 657*2^1400385-1 is not prime. Res64: 7E9516428A99549A Time : 0.0 sec. user=mdettweiler [2015-06-15 09:27:03] 877*2^1400385-1 is not prime. Res64: 3A079AFE2AAF9B7F Time : 0.0 sec. user=mdettweiler [2015-06-15 09:27:03] 937*2^1400385-1 is not prime. Res64: 5ABFCAAE8D4F846A Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:47] 857*2^1400386-1 is not prime. Res64: D2C02F103FDA48D5 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:48] 891*2^1400386-1 is not prime. Res64: 5B2DC1A6DBFE7278 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:50] 917*2^1400386-1 is not prime. Res64: AB5C1C6D2141C7A8 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:51] 987*2^1400386-1 is not prime. Res64: 1EEC4EDFA9E4E526 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:59] 611*2^1400386-1 is not prime. Res64: BE56705E9B101637 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:43:59] 705*2^1400386-1 is not prime. Res64: B891414176913403 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:45:01] 601*2^1400387-1 is not prime. Res64: F50A010F5F89A624 Time : 0.0 sec. user=mdettweiler [2015-06-15 09:45:02] 655*2^1400387-1 is not prime. Res64: C479E6C07B628E7D Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:36] 759*2^1400387-1 is not prime. Res64: 273CEFBFADBAE9F0 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:37] 781*2^1400387-1 is not prime. Res64: F5E63844CEDAE8BB Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:49] 663*2^1400387-1 is not prime. Res64: 30FC0BBB00D5055C Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:52] 711*2^1400387-1 is not prime. Res64: 51555C89DDFA650F Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:53] 859*2^1400387-1 is not prime. Res64: 2D4B14BF248D8653 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:01:54] 647*2^1400388-1 is not prime. Res64: 16620BF08759268B Time : 0.0 sec. user=mdettweiler [2015-06-15 10:02:56] 753*2^1400388-1 is not prime. Res64: 7EBDFD7875E9A7D5 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:02:59] 759*2^1400388-1 is not prime. Res64: 5C62CEAE399D8B47 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:37] 767*2^1400388-1 is not prime. Res64: 0FF506B08BFDB474 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:37] 839*2^1400388-1 is not prime. Res64: 456D68072A3520AC Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:47] 691*2^1400389-1 is not prime. Res64: 4301D45AC387ED31 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:48] 769*2^1400389-1 is not prime. Res64: 8D5CA79D072189D3 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:55] 927*2^1400388-1 is not prime. Res64: CDA3B648EAB6E7D7 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:19:56] 601*2^1400389-1 is not prime. Res64: DFD507D481512B02 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:21:28] 819*2^1400389-1 is not prime. Res64: 4E477A1B3F359F6B Time : 0.0 sec. user=mdettweiler [2015-06-15 10:21:28] 861*2^1400389-1 is not prime. Res64: D8CE874D1707BA7B Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:30] 951*2^1400389-1 is not prime. Res64: 20663D9D6D7B414C Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:30] 707*2^1400390-1 is not prime. Res64: 7707EA922E8619B2 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:35] 919*2^1400389-1 is not prime. Res64: F28D91F2C93C347C Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:36] 931*2^1400389-1 is not prime. Res64: 47DE250658FA8C81 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:52] 761*2^1400390-1 is not prime. Res64: 9CEBBA078459E7D3 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:37:52] 831*2^1400390-1 is not prime. Res64: 2EED215EBD617462 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:39:12] 897*2^1400390-1 is not prime. Res64: 72A9E32319B3CCD2 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:39:13] 911*2^1400390-1 is not prime. Res64: E333BFD30C520E2C Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:15] 921*2^1400390-1 is not prime. Res64: 09ADF57EA5AFFB2B Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:15] 981*2^1400390-1 is not prime. Res64: 4C67D165F18CB6A5 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:29] 691*2^1400391-1 is not prime. Res64: 9B8C87A4B7C9E6BF Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:29] 703*2^1400391-1 is not prime. Res64: 88E598A73B688FB2 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:41] 709*2^1400391-1 is not prime. Res64: A9CBF774BA6D2855 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:55:41] 735*2^1400391-1 is not prime. Res64: 23817F00AE5A12E6 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:57:02] 829*2^1400391-1 is not prime. Res64: 671CBC6B6506D776 Time : 0.0 sec. user=mdettweiler [2015-06-15 10:57:02] 735*2^1400392-1 is not prime. Res64: 88D322C0BAAB1E9D Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:09] 843*2^1400392-1 is not prime. Res64: 94B142C59700BB9E Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:10] 869*2^1400392-1 is not prime. Res64: 3FA80F8623F24C9D Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:17] 909*2^1400392-1 is not prime. Res64: D1081A31E28FCCB4 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:17] 917*2^1400392-1 is not prime. Res64: 6352781638B80F70 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:44] 923*2^1400392-1 is not prime. Res64: 24EDE4B15D7DC3F9 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:13:44] 627*2^1400393-1 is not prime. Res64: 4365C18D255BFA08 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:15:09] 637*2^1400393-1 is not prime. Res64: CD5D96C507095224 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:15:10] 715*2^1400393-1 is not prime. Res64: 59F569F5BBB65933 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:31:30] 721*2^1400393-1 is not prime. Res64: 0EC89237E8F5CE49 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:31:30] 745*2^1400393-1 is not prime. Res64: CB4E53BC1D53989C Time : 0.0 sec. user=mdettweiler [2015-06-15 11:31:57] 951*2^1400393-1 is not prime. Res64: 292BFA860890FC90 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:31:57] 969*2^1400393-1 is not prime. Res64: 1AAB8FF3297E8B81 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:32:11] 789*2^1400393-1 is not prime. Res64: 3D4ED9B54E4CE17F Time : 0.0 sec. user=mdettweiler [2015-06-15 11:32:12] 889*2^1400393-1 is not prime. Res64: D3D46D0C8C85FD04 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:33:42] 981*2^1400393-1 is not prime. Res64: 65A38421524E0904 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:33:42] 663*2^1400394-1 is not prime. Res64: 0D8D433B023FC23F Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:04] 717*2^1400394-1 is not prime. Res64: F50CE623AA49A607 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:05] 731*2^1400394-1 is not prime. Res64: 31EE6FFBFC379CD5 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:30] 807*2^1400394-1 is not prime. Res64: 738905E825D28645 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:31] 947*2^1400394-1 is not prime. Res64: E3381650ACA15504 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:53] 951*2^1400394-1 is not prime. Res64: C923F7B620470CC9 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:50:53] 971*2^1400394-1 is not prime. Res64: 1F47E9DF04FE675A Time : 0.0 sec. user=mdettweiler [2015-06-15 11:52:03] 603*2^1400395-1 is not prime. Res64: 1C08B70F831AB692 Time : 0.0 sec. user=mdettweiler [2015-06-15 11:52:04] 691*2^1400395-1 is not prime. Res64: B0E3B31621950710 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:06] 733*2^1400395-1 is not prime. Res64: 0A7D8C95A9DB885E Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:07] 789*2^1400395-1 is not prime. Res64: 7DF417EBB7E3109D Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:08] 909*2^1400395-1 is not prime. Res64: D1E8BB9B6E8A9E5C Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:09] 603*2^1400396-1 is not prime. Res64: C44DF02B11F10DB6 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:51] 623*2^1400396-1 is not prime. Res64: AD291663D94E3A30 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:09:51] 837*2^1400396-1 is not prime. Res64: 554278A02DB92843 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:10:25] 927*2^1400396-1 is not prime. Res64: 1B9A8ADFD54E9B16 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:10:26] 607*2^1400397-1 is not prime. Res64: 1AD52EB7A57756DD Time : 0.0 sec. user=mdettweiler [2015-06-15 12:27:14] 669*2^1400397-1 is not prime. Res64: CA8507E0B69058BC Time : 0.0 sec. user=mdettweiler [2015-06-15 12:27:14] 795*2^1400397-1 is not prime. Res64: DB0B0759ABC060CC Time : 0.0 sec. user=mdettweiler [2015-06-15 12:27:30] 649*2^1400397-1 is not prime. Res64: E60BF10788949A4A Time : 0.0 sec. user=mdettweiler [2015-06-15 12:27:30] 651*2^1400397-1 is not prime. Res64: 3127AF7D9FB6BE0B Time : 0.0 sec. user=mdettweiler [2015-06-15 12:28:19] 891*2^1400397-1 is not prime. Res64: 578F43279F6DF5AC Time : 0.0 sec. user=mdettweiler [2015-06-15 12:28:19] 949*2^1400397-1 is not prime. Res64: E711D99FCD58129B Time : 0.0 sec. user=mdettweiler [2015-06-15 12:28:52] 651*2^1400398-1 is not prime. Res64: 808CB345B4D49E96 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:28:52] 687*2^1400398-1 is not prime. Res64: D275CF8E3E7EAA8B Time : 0.0 sec. user=mdettweiler [2015-06-15 12:45:20] 755*2^1400398-1 is not prime. Res64: 746F8AC1D4291015 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:45:20] 827*2^1400398-1 is not prime. Res64: F0C30740E96B6331 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:45:26] 833*2^1400398-1 is not prime. Res64: 980894C41FB1E470 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:45:27] 661*2^1400399-1 is not prime. Res64: E95FDA3F7788EB73 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:46:24] 685*2^1400399-1 is not prime. Res64: C038122E5011CE2B Time : 0.0 sec. user=mdettweiler [2015-06-15 12:46:24] 789*2^1400399-1 is not prime. Res64: BEB409176282F8A3 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:47:05] 843*2^1400399-1 is not prime. Res64: FFFF02AE9AF64AE9 Time : 0.0 sec. user=mdettweiler [2015-06-15 12:47:05] 879*2^1400399-1 is not prime. Res64: 0EA6CC61EE5CA33D Time : 0.0 sec. user=mdettweiler [2015-06-15 13:03:22] 675*2^1400400-1 is not prime. Res64: 6D50177CCBDCD613 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:03:24] 939*2^1400399-1 is not prime. Res64: 50B79EBAA1C2B5FB Time : 0.0 sec. user=mdettweiler [2015-06-15 13:03:25] 899*2^1400400-1 is not prime. Res64: DD8F53EF1FC1A987 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:03:25] 669*2^1400400-1 is not prime. Res64: 2DB024B35FDE89C1 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:04:28] 933*2^1400400-1 is not prime. Res64: 0A8BD8C6A44B2C88 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:04:30] 625*2^1400401-1 is not prime. Res64: 31E6E20702C312FD Time : 0.0 sec. user=mdettweiler [2015-06-15 13:05:06] 649*2^1400401-1 is not prime. Res64: 12F97F342C53B565 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:05:08] 681*2^1400401-1 is not prime. Res64: 1FBF37964CEC0FC0 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:21:46] 727*2^1400401-1 is not prime. Res64: 34FF9E5A3962ADB4 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:21:47] 775*2^1400401-1 is not prime. Res64: 302B94206754731F Time : 0.0 sec. user=mdettweiler [2015-06-15 13:22:21] 819*2^1400401-1 is not prime. Res64: 41F3642C57686073 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:22:22] 877*2^1400401-1 is not prime. Res64: E212E06ED0EA59C0 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:22:48] 937*2^1400401-1 is not prime. Res64: 5F08B523CEA6A7DC Time : 0.0 sec. user=mdettweiler [2015-06-15 13:22:48] 951*2^1400401-1 is not prime. Res64: 1AC15247F45D13FA Time : 0.0 sec. user=mdettweiler [2015-06-15 13:23:40] 967*2^1400401-1 is not prime. Res64: 27F0DAFCCECBB369 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:23:40] 975*2^1400401-1 is not prime. Res64: 207ED770CE920304 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:40:28] 997*2^1400401-1 is not prime. Res64: 986FF193395CB138 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:40:28] 753*2^1400402-1 is not prime. Res64: F04384B5F4E06953 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:40:58] 797*2^1400402-1 is not prime. Res64: 61D17B23B0DF24E0 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:40:59] 815*2^1400402-1 is not prime. Res64: 64096A4E7DB168C7 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:41:21] 621*2^1400403-1 is not prime. Res64: 4E674DD8FD9CFA40 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:41:21] 663*2^1400403-1 is not prime. Res64: 3817D98FF2CC62A9 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:42:10] 849*2^1400403-1 is not prime. Res64: 21227578CF096F07 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:42:10] 885*2^1400403-1 is not prime. Res64: 3DBD50F46BA3126F Time : 0.0 sec. user=mdettweiler [2015-06-15 13:58:21] 961*2^1400403-1 is not prime. Res64: 974EE8257EE71AE3 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:58:21] 985*2^1400403-1 is not prime. Res64: 0C7DE3350595DD32 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:58:50] 693*2^1400404-1 is not prime. Res64: A91F92A63CA58390 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:58:50] 695*2^1400404-1 is not prime. Res64: 6E63FC75D34DC816 Time : 0.0 sec. user=mdettweiler [2015-06-15 13:59:09] 807*2^1400404-1 is not prime. Res64: BE1EE8729F37608B Time : 0.0 sec. user=mdettweiler [2015-06-15 13:59:09] 863*2^1400404-1 is not prime. Res64: D48987F538AD1E99 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:00:09] 897*2^1400404-1 is not prime. Res64: 4070DEFC468D38BC Time : 0.0 sec. user=mdettweiler [2015-06-15 14:00:09] 983*2^1400404-1 is not prime. Res64: 090802B4223C6031 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:16:58] 601*2^1400405-1 is not prime. Res64: 89464A440A5FAEB7 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:16:59] 627*2^1400405-1 is not prime. Res64: 073840C4666DA83E Time : 0.0 sec. user=mdettweiler [2015-06-15 14:17:19] 691*2^1400405-1 is not prime. Res64: 1EDE467BDB804C46 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:17:20] 735*2^1400405-1 is not prime. Res64: 551DEE133A1CB89D Time : 0.0 sec. user=mdettweiler [2015-06-15 14:17:44] 831*2^1400405-1 is not prime. Res64: EB8A538C9309E576 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:17:44] 885*2^1400405-1 is not prime. Res64: BC4D1E10CE627380 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:18:38] 627*2^1400406-1 is not prime. Res64: 261C47B7FC253B97 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:18:38] 635*2^1400406-1 is not prime. Res64: B7822A6B54FE94F4 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:35:08] 713*2^1400406-1 is not prime. Res64: 94511F3AEEB5C80D Time : 0.0 sec. user=mdettweiler [2015-06-15 14:35:09] 725*2^1400406-1 is not prime. Res64: 27A2EAF72C8A2E9D Time : 0.0 sec. user=mdettweiler [2015-06-15 14:35:51] 793*2^1400407-1 is not prime. Res64: 8D5B5A959AC82FF8 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:35:52] 831*2^1400407-1 is not prime. Res64: 1CD2791CFC50B96F Time : 0.0 sec. user=mdettweiler [2015-06-15 14:36:04] 603*2^1400407-1 is not prime. Res64: B5724169844953EA Time : 0.0 sec. user=mdettweiler [2015-06-15 14:36:04] 649*2^1400407-1 is not prime. Res64: D3E87ED5B4C8F2A2 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:37:10] 973*2^1400407-1 is not prime. Res64: BAF6574A152D19F2 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:37:10] 979*2^1400407-1 is not prime. Res64: EAE4953F2C6AB2A8 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:53:41] 615*2^1400408-1 is not prime. Res64: 3DBAE3AB00C0B342 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:53:41] 669*2^1400408-1 is not prime. Res64: 44A10E7F567E1001 Time : 0.0 sec. user=mdettweiler [2015-06-15 14:54:36] 615*2^1400409-1 is not prime. Res64: F31393E48DC9A67A Time : 0.0 sec. user=mdettweiler [2015-06-15 14:54:36] 679*2^1400409-1 is not prime. Res64: 7CDACEC535ED71AA Time : 0.0 sec. user=mdettweiler [2015-06-15 14:54:37] 879*2^1400408-1 is not prime. Res64: 50AFECBC3C8D9EBE Time : 0.0 sec. user=mdettweiler [2015-06-15 14:54:37] 609*2^1400409-1 is not prime. Res64: 2CC1564908F19A8C Time : 0.0 sec. user=mdettweiler [2015-06-15 14:55:31] 711*2^1400409-1 is not prime. Res64: C91274D4D6FA309A Time : 0.0 sec. user=mdettweiler [2015-06-15 14:55:31] 735*2^1400409-1 is not prime. Res64: D84FF6CF65F9F059 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:12] 747*2^1400409-1 is not prime. Res64: 64821E3E5992678B Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:12] 997*2^1400409-1 is not prime. Res64: CD0BED140F834306 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:30] 755*2^1400410-1 is not prime. Res64: 0999CD1A547A6DB1 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:30] 791*2^1400410-1 is not prime. Res64: 8D81321658E793A6 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:56] 813*2^1400410-1 is not prime. Res64: 08389C3269824501 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:13:57] 857*2^1400410-1 is not prime. Res64: 14DC257BD25E0798 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:14:36] 861*2^1400410-1 is not prime. Res64: ED46A75E1ED9ADE7 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:14:36] 867*2^1400410-1 is not prime. Res64: 62C978E6E863672A Time : 0.0 sec. user=mdettweiler [2015-06-15 15:32:10] 951*2^1400410-1 is not prime. Res64: E5C9A783636A3F60 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:32:10] 975*2^1400410-1 is not prime. Res64: 3C11572817B4AA31 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:33:03] 1001*2^1400410-1 is not prime. Res64: 99C49846C70FE9FE Time : 0.0 sec. user=mdettweiler [2015-06-15 15:33:03] 615*2^1400411-1 is not prime. Res64: 183CCBC4586B6522 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:33:14] 631*2^1400411-1 is not prime. Res64: 1F871D588DB8177C Time : 0.0 sec. user=mdettweiler [2015-06-15 15:33:14] 643*2^1400411-1 is not prime. Res64: 88D602425BE27202 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:34:01] 645*2^1400411-1 is not prime. Res64: BFE1E02F808F02BA Time : 0.0 sec. user=mdettweiler [2015-06-15 15:34:01] 693*2^1400411-1 is not prime. Res64: 4DBE595C8CF5FA58 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:51:04] 711*2^1400411-1 is not prime. Res64: CBE0FD7B5DACAC89 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:51:04] 735*2^1400411-1 is not prime. Res64: C6FC1EA661B78D7F Time : 0.0 sec. user=mdettweiler [2015-06-15 15:51:57] 969*2^1400411-1 is not prime. Res64: 7C1AA25D56E43077 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:51:57] 609*2^1400412-1 is not prime. Res64: 9837E8A539100F24 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:52:33] 781*2^1400411-1 is not prime. Res64: A240EEBFCDCC996F Time : 0.0 sec. user=mdettweiler [2015-06-15 15:52:33] 885*2^1400411-1 is not prime. Res64: F033EB8C9C48A473 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:52:53] 675*2^1400412-1 is not prime. Res64: A28A78A5A5CD6152 Time : 0.0 sec. user=mdettweiler [2015-06-15 15:52:53] 863*2^1400412-1 is not prime. Res64: A2F83A49CC5A679F Time : 0.0 sec. user=mdettweiler [2015-06-15 16:10:28] 977*2^1400412-1 is not prime. Res64: 91822D7EC6A9BB2C Time : 0.0 sec. user=mdettweiler [2015-06-15 16:10:29] 691*2^1400413-1 is not prime. Res64: 39872DE5CFAD4CD5 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:11:10] 885*2^1400413-1 is not prime. Res64: F6745FBFE61DDBF3 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:11:11] 901*2^1400413-1 is not prime. Res64: 88E14E7CF4B02696 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:11:36] 957*2^1400413-1 is not prime. Res64: E559FEBD9A7F052E Time : 0.0 sec. user=mdettweiler [2015-06-15 16:11:37] 645*2^1400414-1 is not prime. Res64: BC8BA48F9C83F958 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:12:11] 675*2^1400414-1 is not prime. Res64: 4B0993F2ADB68FE5 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:12:12] 753*2^1400414-1 is not prime. Res64: D9E5E00776018594 Time : 0.0 sec. user=juhehe [2015-06-15 16:14:59] 965*2^1400412-1 is not prime. Res64: FD016731DAB4798B Time : 0.0 sec. user=mdettweiler [2015-06-15 16:30:35] 773*2^1400414-1 is not prime. Res64: AEEB80C9945DD706 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:30:35] 813*2^1400414-1 is not prime. Res64: 3D40B40F46F5633D Time : 0.0 sec. user=mdettweiler [2015-06-15 16:30:44] 923*2^1400414-1 is not prime. Res64: 3A23EA83902DEC62 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:30:44] 613*2^1400415-1 is not prime. Res64: DC8E27B28A8998E6 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:31:28] 625*2^1400415-1 is not prime. Res64: 6B05EF3C6C4CB0F7 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:31:29] 675*2^1400415-1 is not prime. Res64: 46C177572F9EEB65 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:31:40] 705*2^1400415-1 is not prime. Res64: 90679D41E1350AD1 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:31:41] 933*2^1400415-1 is not prime. Res64: 98FC164B9150155E Time : 0.0 sec. user=mdettweiler [2015-06-15 16:49:55] 735*2^1400416-1 is not prime. Res64: AABA5FBEE040FEDC Time : 0.0 sec. user=mdettweiler [2015-06-15 16:49:55] 765*2^1400416-1 is not prime. Res64: 4998ED1A009EFC82 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:50:08] 663*2^1400416-1 is not prime. Res64: F600AFE7904649C0 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:50:09] 717*2^1400416-1 is not prime. Res64: 7920ED5A9DCA4B9F Time : 0.0 sec. user=mdettweiler [2015-06-15 16:50:47] 969*2^1400416-1 is not prime. Res64: 6DA31ABB6ACBA75B Time : 0.0 sec. user=mdettweiler [2015-06-15 16:50:47] 649*2^1400417-1 is not prime. Res64: ED45D904C4F6ED81 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:51:01] 785*2^1400416-1 is not prime. Res64: EBA8020F98BFE7E7 Time : 0.0 sec. user=mdettweiler [2015-06-15 16:51:01] 903*2^1400416-1 is not prime. Res64: CDAD508143C42925 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:08:41] 669*2^1400417-1 is not prime. Res64: 01505DF35A001278 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:08:42] 697*2^1400417-1 is not prime. Res64: 35D990A166D795B2 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:09:12] 711*2^1400417-1 is not prime. Res64: FA87BDB9FC7CF0F6 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:09:12] 769*2^1400417-1 is not prime. Res64: E325073DFFE3286F Time : 0.0 sec. user=mdettweiler [2015-06-15 17:09:28] 801*2^1400417-1 is not prime. Res64: A79A3F56A30EA8A9 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:09:28] 865*2^1400417-1 is not prime. Res64: 733EFD04A43BD23F Time : 0.0 sec. user=mdettweiler [2015-06-15 17:10:14] 879*2^1400417-1 is not prime. Res64: 889A81974F6ED89C Time : 0.0 sec. user=mdettweiler [2015-06-15 17:10:14] 937*2^1400417-1 is not prime. Res64: 932344E534F44B6E Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:06] 945*2^1400417-1 is not prime. Res64: 5064E1CD68EDB9F0 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:06] 991*2^1400417-1 is not prime. Res64: 5ECD6FD918EBDF0D Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:17] 633*2^1400418-1 is not prime. Res64: 06492342040A07B6 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:17] 881*2^1400418-1 is not prime. Res64: EB3F7538E97431DB Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:39] 923*2^1400418-1 is not prime. Res64: 94AF9C74F8560D46 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:28:40] 975*2^1400418-1 is not prime. Res64: 2C506B7AE3D94F60 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:29:20] 639*2^1400419-1 is not prime. Res64: 4C2D47321254586C Time : 0.0 sec. user=mdettweiler [2015-06-15 17:29:20] 765*2^1400419-1 is not prime. Res64: 5F5A57FA976D6EFF Time : 0.0 sec. user=mdettweiler [2015-06-15 17:48:43] 759*2^1400420-1 is not prime. Res64: 5AFD753DB62385A2 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:48:44] 833*2^1400420-1 is not prime. Res64: B01BE3FE38E5132D Time : 0.0 sec. user=mdettweiler [2015-06-15 17:48:47] 935*2^1400420-1 is not prime. Res64: 1DF031C70C96DB81 Time : 0.0 sec. user=mdettweiler [2015-06-15 17:48:48] 963*2^1400420-1 is not prime. Res64: 73DF4DC110006237 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:08:07] 835*2^1400421-1 is not prime. Res64: BFD99A863E042E36 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:08:07] 859*2^1400421-1 is not prime. Res64: D425A342A12AD303 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:08:10] 811*2^1400421-1 is not prime. Res64: 33461539CCEB18B0 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:08:10] 825*2^1400421-1 is not prime. Res64: E365C887F887113E Time : 0.0 sec. user=mdettweiler [2015-06-15 18:26:29] 877*2^1400421-1 is not prime. Res64: 904496E47AD14756 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:26:29] 907*2^1400421-1 is not prime. Res64: 2096ABFDE996E163 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:27:02] 975*2^1400421-1 is not prime. Res64: 91351A4F95DC90CD Time : 0.0 sec. user=mdettweiler [2015-06-15 18:27:03] 677*2^1400422-1 is not prime. Res64: FA431EAD8DE5CCEA Time : 0.0 sec. user=mdettweiler [2015-06-15 18:45:10] 705*2^1400422-1 is not prime. Res64: 179798D612F54037 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:45:11] 777*2^1400422-1 is not prime. Res64: 5993726F6AA8063A Time : 0.0 sec. user=mdettweiler [2015-06-15 18:46:10] 801*2^1400422-1 is not prime. Res64: A2944625E7034023 Time : 0.0 sec. user=mdettweiler [2015-06-15 18:46:11] 827*2^1400422-1 is not prime. Res64: 8A82D2DF1EA1663F Time : 0.0 sec. user=mdettweiler [2015-06-15 18:51:12] 629*2^1400420-1 is not prime. Res64: 2CB8EA2ED6252F0E Time : 0.0 sec. user=mdettweiler [2015-06-15 18:51:13] 659*2^1400420-1 is not prime. Res64: 52E0482813AE23BD Time : 0.0 sec. user=mdettweiler [2015-06-15 19:03:42] 831*2^1400422-1 is not prime. Res64: 03A7457BF05D6DED Time : 0.0 sec. user=mdettweiler [2015-06-15 19:03:43] 833*2^1400422-1 is not prime. Res64: 4C8879AF6A3B5480 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:04:46] 945*2^1400422-1 is not prime. Res64: 0F1A952921B033AA Time : 0.0 sec. user=mdettweiler [2015-06-15 19:04:47] 947*2^1400422-1 is not prime. Res64: A2FD100DB67D8BB3 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:05:42] 885*2^1400419-1 is not prime. Res64: DF36FEDC9DF4229F Time : 0.0 sec. user=mdettweiler [2015-06-15 19:05:43] 609*2^1400420-1 is not prime. Res64: EBF5DB25F5E31C3F Time : 0.0 sec. user=mdettweiler [2015-06-15 19:09:44] 615*2^1400423-1 is not prime. Res64: 7993BEFE00466DF9 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:09:44] 633*2^1400423-1 is not prime. Res64: C7FB49C366B8DF5E Time : 0.0 sec. user=mdettweiler [2015-06-15 19:22:48] 705*2^1400423-1 is not prime. Res64: F831959D91B4B0A5 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:22:48] 741*2^1400423-1 is not prime. Res64: AE74713964AE5826 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:23:41] 745*2^1400423-1 is not prime. Res64: 9D9EF88436EAFC35 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:23:42] 759*2^1400423-1 is not prime. Res64: DEC4F0CC5E75E51A Time : 0.0 sec. user=mdettweiler [2015-06-15 19:24:25] 771*2^1400423-1 is not prime. Res64: AA32A79721991F41 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:24:25] 825*2^1400423-1 is not prime. Res64: D6341638A75FA7AF Time : 0.0 sec. user=mdettweiler [2015-06-15 19:28:24] 855*2^1400423-1 is not prime. Res64: 2D07F51B8E07312F Time : 0.0 sec. user=mdettweiler [2015-06-15 19:28:25] 859*2^1400423-1 is not prime. Res64: AB3FB6BBFC195328 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:41:20] 943*2^1400423-1 is not prime. Res64: 227ADBBECD0B3253 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:41:21] 605*2^1400424-1 is not prime. Res64: C9343330CDA8CA13 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:42:21] 705*2^1400424-1 is not prime. Res64: 63E6EB5F6C45474C Time : 0.0 sec. user=mdettweiler [2015-06-15 19:42:21] 725*2^1400424-1 is not prime. Res64: AD67BA969390DBB2 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:42:51] 837*2^1400424-1 is not prime. Res64: B67A82D9F5B177FB Time : 0.0 sec. user=mdettweiler [2015-06-15 19:42:52] 875*2^1400424-1 is not prime. Res64: 5E2D9965684AEA1F Time : 0.0 sec. user=mdettweiler [2015-06-15 19:46:49] 887*2^1400424-1 is not prime. Res64: D4E1C6D3F9078F35 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:46:50] 915*2^1400425-1 is not prime. Res64: 48D3CE6C20469B48 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:59:41] 955*2^1400425-1 is not prime. Res64: 9BE714F8761B4306 Time : 0.0 sec. user=mdettweiler [2015-06-15 19:59:41] 641*2^1400426-1 is not prime. Res64: AAAB736780325B56 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:00:27] 755*2^1400426-1 is not prime. Res64: 3D062D2B314607A1 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:00:27] 783*2^1400426-1 is not prime. Res64: 99DFD126C0D4F221 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:01:10] 785*2^1400426-1 is not prime. Res64: 39B774666BE6F53B Time : 0.0 sec. user=mdettweiler [2015-06-15 20:01:11] 873*2^1400426-1 is not prime. Res64: C7D5F43D2BD30495 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:04:59] 887*2^1400426-1 is not prime. Res64: 843DD893A1119777 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:05:00] 1001*2^1400426-1 is not prime. Res64: FB2E2FE3A2B3EA92 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:17:59] 891*2^1400427-1 is not prime. Res64: 4BD2322F80F4F667 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:17:59] 931*2^1400427-1 is not prime. Res64: 96B38069D914877F Time : 0.0 sec. user=mdettweiler [2015-06-15 20:18:43] 961*2^1400427-1 is not prime. Res64: 61CB8A9592E8BDBA Time : 0.0 sec. user=mdettweiler [2015-06-15 20:18:44] 635*2^1400428-1 is not prime. Res64: 646C9FA30DB1B905 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:19:24] 839*2^1400428-1 is not prime. Res64: C36670A922B0FA77 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:19:24] 897*2^1400428-1 is not prime. Res64: F74856381B657F98 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:23:29] 957*2^1400428-1 is not prime. Res64: 4922381F619579DC Time : 0.0 sec. user=mdettweiler [2015-06-15 20:23:29] 969*2^1400428-1 is not prime. Res64: 7945D9BC870A4F0A Time : 0.0 sec. user=mdettweiler [2015-06-15 20:36:11] 621*2^1400429-1 is not prime. Res64: B5D75BBD91F9ADFC Time : 0.0 sec. user=mdettweiler [2015-06-15 20:36:12] 771*2^1400429-1 is not prime. Res64: C1E774BA1F3F398A Time : 0.0 sec. user=mdettweiler [2015-06-15 20:36:43] 789*2^1400429-1 is not prime. Res64: 22DCA149052BCB5A Time : 0.0 sec. user=mdettweiler [2015-06-15 20:36:44] 801*2^1400429-1 is not prime. Res64: 1A997471352397BE Time : 0.0 sec. user=mdettweiler [2015-06-15 20:37:39] 855*2^1400429-1 is not prime. Res64: 985882CD98E99287 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:37:40] 897*2^1400429-1 is not prime. Res64: B1AEE780055507BA Time : 0.0 sec. user=mdettweiler [2015-06-15 20:41:52] 619*2^1400431-1 is not prime. Res64: 1CD54ABCB8FE094E Time : 0.0 sec. user=mdettweiler [2015-06-15 20:41:52] 675*2^1400431-1 is not prime. Res64: 12EA84C67DD33641 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:57:00] 709*2^1400431-1 is not prime. Res64: 44A742C87C5CB887 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:57:00] 873*2^1400431-1 is not prime. Res64: 84CC4458FBED55D4 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:57:01] 961*2^1400431-1 is not prime. Res64: C1F5DF04A6FD54B7 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:57:01] 999*2^1400431-1 is not prime. Res64: 3713171B1B61600C Time : 0.0 sec. user=mdettweiler [2015-06-15 20:58:20] 609*2^1400432-1 is not prime. Res64: 5CEDA38C3564B417 Time : 0.0 sec. user=mdettweiler [2015-06-15 20:58:20] 635*2^1400432-1 is not prime. Res64: 369D0FABBB52D39A Time : 0.0 sec. user=mdettweiler [2015-06-15 21:02:51] 657*2^1400432-1 is not prime. Res64: C6B48BFA97C4B2DB Time : 0.0 sec. user=mdettweiler [2015-06-15 21:02:52] 687*2^1400432-1 is not prime. Res64: C052CEAF845177F4 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:18:18] 675*2^1400433-1 is not prime. Res64: 227B4F0D45F50411 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:18:19] 751*2^1400433-1 is not prime. Res64: 817D13C13D4B0D92 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:18:33] 899*2^1400432-1 is not prime. Res64: 3E8E1196AEEBB74F Time : 0.0 sec. user=mdettweiler [2015-06-15 21:18:33] 627*2^1400433-1 is not prime. Res64: 1E6FFAE2F558581C Time : 0.0 sec. user=mdettweiler [2015-06-15 21:19:48] 915*2^1400433-1 is not prime. Res64: 264AD39EFCAC4203 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:19:48] 937*2^1400433-1 is not prime. Res64: 8BFFB765F5512C2F Time : 0.0 sec. user=mdettweiler [2015-06-15 21:23:45] 945*2^1400433-1 is not prime. Res64: FBE64626482823B8 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:23:45] 969*2^1400433-1 is not prime. Res64: BE12DCB24FF6781E Time : 0.0 sec. user=mdettweiler [2015-06-15 21:38:32] 621*2^1400434-1 is not prime. Res64: AEAC50F2DF4927BA Time : 0.0 sec. user=mdettweiler [2015-06-15 21:38:32] 657*2^1400434-1 is not prime. Res64: 6886CA4B1A29F611 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:38:58] 675*2^1400434-1 is not prime. Res64: D567CB96DD35C11D Time : 0.0 sec. user=mdettweiler [2015-06-15 21:38:59] 681*2^1400434-1 is not prime. Res64: 73577433EAE04F69 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:39:45] 723*2^1400434-1 is not prime. Res64: FE99F6611AB2A778 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:39:45] 747*2^1400434-1 is not prime. Res64: 9EF487D520CA7291 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:44:39] 831*2^1400434-1 is not prime. Res64: 4AD103B81EDF311C Time : 0.0 sec. user=mdettweiler [2015-06-15 21:44:40] 833*2^1400434-1 is not prime. Res64: 37D34B27C806D67B Time : 0.0 sec. user=mdettweiler [2015-06-15 21:58:41] 993*2^1400434-1 is not prime. Res64: 1CFCDF10D00E8808 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:58:41] 643*2^1400435-1 is not prime. Res64: DF6E41837279A7EE Time : 0.0 sec. user=mdettweiler [2015-06-15 21:58:42] 881*2^1400434-1 is not prime. Res64: 4AB54B66F34C19CA Time : 0.0 sec. user=mdettweiler [2015-06-15 21:58:42] 915*2^1400434-1 is not prime. Res64: 5FDA4D370208BCB3 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:59:41] 733*2^1400435-1 is not prime. Res64: 4B7C32BAA70F5AE4 Time : 0.0 sec. user=mdettweiler [2015-06-15 21:59:41] 939*2^1400435-1 is not prime. Res64: 7E6059F0A9B06C5E Time : 0.0 sec. user=mdettweiler [2015-06-15 22:04:50] 973*2^1400435-1 is not prime. Res64: 96B8D0210F816370 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:04:51] 979*2^1400435-1 is not prime. Res64: FCA8ACD331380CF0 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:19:55] 981*2^1400435-1 is not prime. Res64: 1FED0D534AF4029A Time : 0.0 sec. user=mdettweiler [2015-06-15 22:19:55] 991*2^1400435-1 is not prime. Res64: 59D5F6CEE2A2D692 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:19:56] 683*2^1400436-1 is not prime. Res64: 746455F1B010A6F4 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:19:56] 693*2^1400436-1 is not prime. Res64: A261E20A3CB6EABC Time : 0.0 sec. user=mdettweiler [2015-06-15 22:21:04] 737*2^1400436-1 is not prime. Res64: BA352CF07ACD66AC Time : 0.0 sec. user=mdettweiler [2015-06-15 22:21:05] 839*2^1400436-1 is not prime. Res64: 0D58936AF3810814 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:27:04] 903*2^1400436-1 is not prime. Res64: 40C252B00EEC667A Time : 0.0 sec. user=mdettweiler [2015-06-15 22:27:04] 945*2^1400436-1 is not prime. Res64: 5A3D4ADBE01487BA Time : 0.0 sec. user=mdettweiler [2015-06-15 22:42:21] 729*2^1400437-1 is not prime. Res64: 37763D3F9247D78B Time : 0.0 sec. user=mdettweiler [2015-06-15 22:42:21] 817*2^1400437-1 is not prime. Res64: E7215C6C945C1DBA Time : 0.0 sec. user=mdettweiler [2015-06-15 22:42:30] 987*2^1400436-1 is not prime. Res64: 65E5D1C067399236 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:42:30] 699*2^1400437-1 is not prime. Res64: 21237F7EC43B26F1 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:43:06] 831*2^1400437-1 is not prime. Res64: 1369F5D4CE0C9A40 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:43:06] 849*2^1400437-1 is not prime. Res64: CE6A671D5C878CA3 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:48:20] 885*2^1400437-1 is not prime. Res64: 5D451A6CDEBECC48 Time : 0.0 sec. user=mdettweiler [2015-06-15 22:48:20] 985*2^1400437-1 is not prime. Res64: DA26039DD6F06442 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:02:30] 605*2^1400438-1 is not prime. Res64: 7CD4C9EAACE6C59E Time : 0.0 sec. user=mdettweiler [2015-06-15 23:02:31] 623*2^1400438-1 is not prime. Res64: D1D3BC90BFAB2231 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:03:05] 663*2^1400438-1 is not prime. Res64: D0E0E8E3D51AA0C5 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:03:06] 683*2^1400438-1 is not prime. Res64: 97170CC61A387EB0 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:03:07] 887*2^1400438-1 is not prime. Res64: 1E0ADD2E2F458ECA Time : 0.0 sec. user=mdettweiler [2015-06-15 23:03:07] 951*2^1400438-1 is not prime. Res64: 7A5405FD15941818 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:07:43] 971*2^1400438-1 is not prime. Res64: A58348841EDA6D7B Time : 0.0 sec. user=mdettweiler [2015-06-15 23:07:43] 987*2^1400438-1 is not prime. Res64: 227B537092AC5D79 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:26] 711*2^1400439-1 is not prime. Res64: 99DB1D6BC2C2FBC3 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:27] 723*2^1400439-1 is not prime. Res64: 11CFB2821D3A65A6 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:45] 741*2^1400439-1 is not prime. Res64: 3DBC030EBED22A27 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:45] 853*2^1400439-1 is not prime. Res64: E16A7036214721BF Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:51] 873*2^1400439-1 is not prime. Res64: 12E3BA76B9CCD339 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:21:52] 931*2^1400439-1 is not prime. Res64: B66AFC430C08B04C Time : 0.0 sec. user=mdettweiler [2015-06-15 23:26:07] 949*2^1400439-1 is not prime. Res64: 38DC69DB5F9A42E4 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:26:07] 653*2^1400440-1 is not prime. Res64: A32603892AB608A8 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:39:38] 717*2^1400440-1 is not prime. Res64: 6E8D73D94DD64262 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:39:38] 959*2^1400440-1 is not prime. Res64: D94ED1BF3D152639 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:39:50] 989*2^1400440-1 is not prime. Res64: 8C2B7A27F9A4627B Time : 0.0 sec. user=mdettweiler [2015-06-15 23:39:50] 999*2^1400440-1 is not prime. Res64: BB55F71994B6433E Time : 0.0 sec. user=mdettweiler [2015-06-15 23:40:00] 705*2^1400441-1 is not prime. Res64: ECA211C8FB18A386 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:40:00] 717*2^1400442-1 is not prime. Res64: 76268483EDA59F4F Time : 0.0 sec. user=mdettweiler [2015-06-15 23:43:56] 723*2^1400442-1 is not prime. Res64: 886F1FEF9F87D3CF Time : 0.0 sec. user=mdettweiler [2015-06-15 23:43:56] 725*2^1400442-1 is not prime. Res64: 5391E9D59420D273 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:11] 1001*2^1400442-1 is not prime. Res64: CECBEC90855D4146 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:12] 675*2^1400443-1 is not prime. Res64: 4201D729CB3E5350 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:13] 735*2^1400443-1 is not prime. Res64: 57CD252DB69B6304 Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:14] 751*2^1400443-1 is not prime. Res64: B964EF8A5AB67D7A Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:43] 805*2^1400443-1 is not prime. Res64: 2C3AB82819B3FF0D Time : 0.0 sec. user=mdettweiler [2015-06-15 23:58:44] 855*2^1400443-1 is not prime. Res64: 8ECAB8A579502B90 Time : 0.0 sec.