user=mdettweiler [2015-09-09 00:07:31] 885*2^1408771-1 is not prime. Res64: FF4F2644E5ADA25B Time : 0.0 sec. user=mdettweiler [2015-09-09 00:07:32] 901*2^1408771-1 is not prime. Res64: 4501285A1BBCEE6E Time : 0.0 sec. user=mdettweiler [2015-09-09 00:10:45] 925*2^1408771-1 is not prime. Res64: 1068B6DCCBCD731E Time : 0.0 sec. user=mdettweiler [2015-09-09 00:10:46] 633*2^1408772-1 is not prime. Res64: 3713EE1C819DFDA3 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:12:24] 717*2^1408772-1 is not prime. Res64: 9D10BF8E48077581 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:12:24] 963*2^1408772-1 is not prime. Res64: 4E1E4B70E234DA0E Time : 0.0 sec. user=mdettweiler [2015-09-09 00:19:09] 649*2^1408773-1 is not prime. Res64: FF2F27AC3DEB63DC Time : 0.0 sec. user=mdettweiler [2015-09-09 00:19:09] 745*2^1408773-1 is not prime. Res64: 4D27F3958704FC4D Time : 0.0 sec. user=mdettweiler [2015-09-09 00:27:01] 795*2^1408773-1 is not prime. Res64: CB2F4E83C89DCCD4 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:27:02] 805*2^1408773-1 is not prime. Res64: 9629E19DA4C59A23 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:30:48] 861*2^1408773-1 is not prime. Res64: A17C9EC3DDCD346A Time : 0.0 sec. user=mdettweiler [2015-09-09 00:30:49] 891*2^1408773-1 is not prime. Res64: 76B65A3E0945BDFB Time : 0.0 sec. user=mdettweiler [2015-09-09 00:31:38] 999*2^1408773-1 is not prime. Res64: 791EC4C46EA901B6 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:31:39] 621*2^1408774-1 is not prime. Res64: 26D25B31A97ECB1D Time : 0.0 sec. user=mdettweiler [2015-09-09 00:38:28] 663*2^1408774-1 is not prime. Res64: 72B66F63FBEF87E7 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:38:28] 737*2^1408774-1 is not prime. Res64: CCA6D1F4C49AB23D Time : 0.0 sec. user=juhehe [2015-09-09 00:43:05] 787*2^1408773-1 is not prime. Res64: 7D606FE6E60E5187 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:46:17] 791*2^1408774-1 is not prime. Res64: 16B2C3EA03EB2E6A Time : 0.0 sec. user=mdettweiler [2015-09-09 00:46:18] 897*2^1408774-1 is not prime. Res64: 1A8EE165356DD390 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:50:01] 957*2^1408774-1 is not prime. Res64: DBBD96DC9C9FFFC2 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:50:01] 633*2^1408775-1 is not prime. Res64: C2D0238643B81473 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:51:08] 675*2^1408775-1 is not prime. Res64: 2027A86848A264E6 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:51:09] 735*2^1408775-1 is not prime. Res64: 309E1903E16B438E Time : 0.0 sec. user=mdettweiler [2015-09-09 00:57:50] 759*2^1408775-1 is not prime. Res64: 229E3B21FDE00699 Time : 0.0 sec. user=mdettweiler [2015-09-09 00:57:50] 859*2^1408775-1 is not prime. Res64: C4F8C9E5B50038D1 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:05:18] 615*2^1408776-1 is not prime. Res64: A263460CFA3D03E9 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:05:19] 629*2^1408776-1 is not prime. Res64: FB6024189CC609B5 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:08:13] 767*2^1408776-1 is not prime. Res64: BEE2DEB2F566E3D1 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:08:13] 773*2^1408776-1 is not prime. Res64: 8D59A141EC0B71B4 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:09:30] 815*2^1408776-1 is not prime. Res64: 93062EA608A4F2C1 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:09:30] 845*2^1408776-1 is not prime. Res64: E4FA68F4CF5E1033 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:16:02] 879*2^1408776-1 is not prime. Res64: FD2E1099C0E945E7 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:16:02] 917*2^1408776-1 is not prime. Res64: AEB2A37C6E522EB1 Time : 0.0 sec. user=juhehe [2015-09-09 01:21:32] 939*2^1408775-1 is not prime. Res64: 755A68A592102D25 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:23:25] 983*2^1408776-1 is not prime. Res64: 00CD6CF6248BF2B4 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:23:26] 691*2^1408777-1 is not prime. Res64: 56F015669E4D23D8 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:26:14] 759*2^1408777-1 is not prime. Res64: 1A3620E83A3B7E7F Time : 0.0 sec. user=mdettweiler [2015-09-09 01:26:15] 841*2^1408777-1 is not prime. Res64: 9F425A7BF1BF1946 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:27:29] 909*2^1408777-1 is not prime. Res64: C943C09DEAC8878F Time : 0.0 sec. user=mdettweiler [2015-09-09 01:27:31] 945*2^1408777-1 is not prime. Res64: 66EE198ED1A8C892 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:34:04] 651*2^1408778-1 is not prime. Res64: A0AE6B78B1A1D3BB Time : 0.0 sec. user=mdettweiler [2015-09-09 01:34:04] 687*2^1408778-1 is not prime. Res64: 12E50E6924B751A2 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:41:32] 773*2^1408778-1 is not prime. Res64: 1B7AFD2BF4DC239F Time : 0.0 sec. user=mdettweiler [2015-09-09 01:41:33] 801*2^1408778-1 is not prime. Res64: 23AF9822D87A4EEE Time : 0.0 sec. user=mdettweiler [2015-09-09 01:44:14] 857*2^1408778-1 is not prime. Res64: 465DEF91FA8A4CDF Time : 0.0 sec. user=mdettweiler [2015-09-09 01:44:14] 875*2^1408778-1 is not prime. Res64: ADADC7F514421768 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:45:29] 923*2^1408778-1 is not prime. Res64: EB8BBB09C88E13CD Time : 0.0 sec. user=mdettweiler [2015-09-09 01:45:29] 957*2^1408778-1 is not prime. Res64: EA1759E50E6A9348 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:52:07] 1001*2^1408778-1 is not prime. Res64: 723066E7BABD0F93 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:52:07] 619*2^1408779-1 is not prime. Res64: D4A22EC55B0D73E1 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:59:25] 769*2^1408779-1 is not prime. Res64: 068F00FF5BF85623 Time : 0.0 sec. user=mdettweiler [2015-09-09 01:59:25] 879*2^1408779-1 is not prime. Res64: 8FB8526B25F1D1C8 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:02:15] 921*2^1408779-1 is not prime. Res64: 8D81E80A95ADA78F Time : 0.0 sec. user=mdettweiler [2015-09-09 02:02:16] 955*2^1408779-1 is not prime. Res64: 2BE19F8D0CC0D25B Time : 0.0 sec. user=mdettweiler [2015-09-09 02:03:46] 961*2^1408779-1 is not prime. Res64: D0A3A868C610BC61 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:03:47] 999*2^1408779-1 is not prime. Res64: F1698A86C6DC0C4E Time : 0.0 sec. user=mdettweiler [2015-09-09 02:11:09] 603*2^1408780-1 is not prime. Res64: 293BB92990EFE2C5 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:11:09] 605*2^1408780-1 is not prime. Res64: 9CAFA423B8D92BF0 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:19:01] 615*2^1408780-1 is not prime. Res64: CA76D1BCF4A178A5 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:19:02] 635*2^1408780-1 is not prime. Res64: EE0614B8C5781265 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:22:14] 677*2^1408780-1 is not prime. Res64: F2BCD82658224096 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:22:14] 765*2^1408780-1 is not prime. Res64: 3E4CC841BC61E6EF Time : 0.0 sec. user=mdettweiler [2015-09-09 02:24:15] 833*2^1408780-1 is not prime. Res64: 627402FE7718131F Time : 0.0 sec. user=mdettweiler [2015-09-09 02:24:16] 855*2^1408780-1 is not prime. Res64: 3B4344B23E73E6F8 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:31:58] 905*2^1408780-1 is not prime. Res64: 84359A5E43FC9C7D Time : 0.0 sec. user=mdettweiler [2015-09-09 02:31:59] 927*2^1408780-1 is not prime. Res64: 936EE7753C36EA3E Time : 0.0 sec. user=mdettweiler [2015-09-09 02:40:20] 929*2^1408780-1 is not prime. Res64: B5B034061DE39CB8 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:40:20] 953*2^1408780-1 is not prime. Res64: 0EA670B3E420E8C2 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:56:40] 861*2^1408781-1 is not prime. Res64: 4E97C51C4E113200 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:56:41] 865*2^1408781-1 is not prime. Res64: A72DD2F85B825F72 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:56:52] 937*2^1408781-1 is not prime. Res64: A4AC654E7DB67684 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:56:53] 955*2^1408781-1 is not prime. Res64: 2A7D951BEC022AB8 Time : 0.0 sec. user=mdettweiler [2015-09-09 02:57:03] 631*2^1408781-1 is not prime. Res64: 102FEEE171F00B6F Time : 0.0 sec. user=mdettweiler [2015-09-09 02:57:04] 819*2^1408781-1 is not prime. Res64: CABD654469340618 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:05:35] 677*2^1408782-1 is not prime. Res64: C9A6319E27FB9602 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:05:36] 683*2^1408782-1 is not prime. Res64: A9C52AF048BCFC63 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:16] 711*2^1408782-1 is not prime. Res64: 287EFEA27697FBEE Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:16] 833*2^1408782-1 is not prime. Res64: 2D6DAF9EFF56BEB6 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:28] 917*2^1408782-1 is not prime. Res64: 13ED1B0D1B992A35 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:28] 941*2^1408782-1 is not prime. Res64: 310376553145AD64 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:41] 951*2^1408782-1 is not prime. Res64: 6075958397D53F5E Time : 0.0 sec. user=mdettweiler [2015-09-09 03:14:41] 709*2^1408783-1 is not prime. Res64: 4C8905C9CA393D95 Time : 0.0 sec. user=juhehe [2015-09-09 03:16:32] 981*2^1408781-1 is not prime. Res64: 2BB6D9B9CAF86376 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:23:13] 751*2^1408783-1 is not prime. Res64: F3192DB1E6EA74C0 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:23:13] 873*2^1408783-1 is not prime. Res64: 220F5432AFC3C0CD Time : 0.0 sec. user=mdettweiler [2015-09-09 03:31:43] 895*2^1408783-1 is not prime. Res64: 5941BDBBE3319282 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:31:44] 663*2^1408784-1 is not prime. Res64: 0608B9A4E8015300 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:31:54] 725*2^1408784-1 is not prime. Res64: 287ABE8B40D87145 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:31:54] 899*2^1408784-1 is not prime. Res64: FE64A5909F245DA0 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:32:04] 927*2^1408784-1 is not prime. Res64: 29F08052B79BB9A1 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:32:06] 983*2^1408784-1 is not prime. Res64: 411EE87E6210819F Time : 0.0 sec. user=juhehe [2015-09-09 03:37:39] 723*2^1408783-1 is not prime. Res64: F55C1C8EDA953C5C Time : 0.0 sec. user=mdettweiler [2015-09-09 03:40:46] 995*2^1408784-1 is not prime. Res64: E515277D91C5A0E2 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:40:47] 607*2^1408785-1 is not prime. Res64: 234D9953303256EE Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:19] 609*2^1408785-1 is not prime. Res64: 4605394E0CEAFE11 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:20] 739*2^1408785-1 is not prime. Res64: 38BE0DB62D1BA835 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:30] 759*2^1408785-1 is not prime. Res64: 0336E6B03A6D872B Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:32] 789*2^1408785-1 is not prime. Res64: F8E9F1D83F3600D4 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:36] 805*2^1408785-1 is not prime. Res64: 986D2C052F72E404 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:49:37] 837*2^1408785-1 is not prime. Res64: 78E27D0589D131A5 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:58:24] 889*2^1408785-1 is not prime. Res64: 7EA6A5703742E190 Time : 0.0 sec. user=mdettweiler [2015-09-09 03:58:24] 999*2^1408785-1 is not prime. Res64: 5D775282867E5BDB Time : 0.0 sec. user=mdettweiler [2015-09-09 04:06:55] 933*2^1408786-1 is not prime. Res64: 0B8E2717A5D4C4E6 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:06:56] 945*2^1408786-1 is not prime. Res64: 0E4F2C6B80EBC9B6 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:06:57] 647*2^1408786-1 is not prime. Res64: D286B456597463AE Time : 0.0 sec. user=mdettweiler [2015-09-09 04:06:58] 765*2^1408786-1 is not prime. Res64: 2A82F1C510A8FB74 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:07:04] 615*2^1408787-1 is not prime. Res64: 09FB656F55AA2112 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:07:04] 619*2^1408787-1 is not prime. Res64: E5CABD9F9E9B9097 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:15:52] 673*2^1408787-1 is not prime. Res64: 9450ADD6223323B1 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:15:53] 825*2^1408787-1 is not prime. Res64: 8DE69EEBC684E296 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:17] 915*2^1408787-1 is not prime. Res64: E864390608C7F155 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:18] 979*2^1408787-1 is not prime. Res64: 4C83BBE2FF1673DB Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:20] 999*2^1408787-1 is not prime. Res64: D4ACEDAF0884CD44 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:21] 657*2^1408788-1 is not prime. Res64: B3EC4101F9083FDD Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:28] 737*2^1408788-1 is not prime. Res64: 31ABD851B67977A3 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:24:29] 803*2^1408788-1 is not prime. Res64: 023129F9F771F840 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:33:19] 809*2^1408788-1 is not prime. Res64: 2AD7B6FDC7F149BA Time : 0.0 sec. user=mdettweiler [2015-09-09 04:33:20] 819*2^1408788-1 is not prime. Res64: 3A20A82EEED9D4C8 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:47] 927*2^1408788-1 is not prime. Res64: BEEF17D63465FEA7 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:48] 999*2^1408788-1 is not prime. Res64: 5AC113C42135A01C Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:51] 639*2^1408789-1 is not prime. Res64: 8078392F52B55B68 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:51] 667*2^1408789-1 is not prime. Res64: 2C39BD618E688044 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:58] 741*2^1408789-1 is not prime. Res64: B011E3572B8CA1F1 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:41:59] 771*2^1408789-1 is not prime. Res64: 423CE87EFFC555E7 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:50:48] 817*2^1408789-1 is not prime. Res64: A567D7B9DE19825A Time : 0.0 sec. user=mdettweiler [2015-09-09 04:50:49] 831*2^1408789-1 is not prime. Res64: 405E44A1C6801C2F Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:16] 713*2^1408790-1 is not prime. Res64: B048594EC1513EE3 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:16] 791*2^1408790-1 is not prime. Res64: 1480604F75A3E001 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:19] 867*2^1408790-1 is not prime. Res64: 2643B2809045BC86 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:20] 915*2^1408790-1 is not prime. Res64: A0DA5360B09ADA41 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:24] 861*2^1408789-1 is not prime. Res64: B786794BCC98C850 Time : 0.0 sec. user=mdettweiler [2015-09-09 04:59:24] 919*2^1408789-1 is not prime. Res64: 28197D49EB03485C Time : 0.0 sec. user=mdettweiler [2015-09-09 05:08:13] 977*2^1408790-1 is not prime. Res64: E4BF5856ADB0AD8A Time : 0.0 sec. user=mdettweiler [2015-09-09 05:08:14] 981*2^1408790-1 is not prime. Res64: 4D33C7BA00345F25 Time : 0.0 sec. user=juhehe [2015-09-09 05:12:59] 855*2^1408789-1 is not prime. Res64: 4EAA0D4EE6AE4CD3 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:40] 623*2^1408792-1 is not prime. Res64: FC1CA6F3FC7F1DA0 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:41] 693*2^1408792-1 is not prime. Res64: D0F76880F0DB6123 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:41] 615*2^1408792-1 is not prime. Res64: 78F0DEBF2CDD5C33 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:41] 617*2^1408792-1 is not prime. Res64: CDDC05C493F924C4 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:56] 777*2^1408792-1 is not prime. Res64: C3DFAB29C0A4C8D6 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:16:57] 803*2^1408792-1 is not prime. Res64: F21B111957391ADD Time : 0.0 sec. user=mdettweiler [2015-09-09 05:25:53] 807*2^1408792-1 is not prime. Res64: D630E23A6ECE6124 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:25:54] 819*2^1408792-1 is not prime. Res64: 17B150274AC31C01 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:34:09] 747*2^1408793-1 is not prime. Res64: 838274522869E1DD Time : 0.0 sec. user=mdettweiler [2015-09-09 05:34:10] 759*2^1408793-1 is not prime. Res64: 830FC903A4EFFBE2 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:34:35] 831*2^1408793-1 is not prime. Res64: 84A5D5FAD7D90FC0 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:34:35] 837*2^1408793-1 is not prime. Res64: BA93825680DD8E67 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:34:59] 923*2^1408792-1 is not prime. Res64: 0EB2014436BAAE5B Time : 0.0 sec. user=mdettweiler [2015-09-09 05:35:00] 705*2^1408793-1 is not prime. Res64: 952480EBD592F680 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:43:18] 871*2^1408793-1 is not prime. Res64: A02DDD3B79C59D13 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:43:19] 621*2^1408794-1 is not prime. Res64: E3BF2E298D3D5320 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:04] 681*2^1408794-1 is not prime. Res64: DE5A4E7CFB1DDE28 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:04] 941*2^1408794-1 is not prime. Res64: 6203E5E7FF94C7CE Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:05] 993*2^1408794-1 is not prime. Res64: E7E7988E925F2528 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:05] 685*2^1408795-1 is not prime. Res64: E284CD7A7547D8AA Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:28] 691*2^1408795-1 is not prime. Res64: 9A4E69184EE81130 Time : 0.0 sec. user=mdettweiler [2015-09-09 05:52:28] 723*2^1408795-1 is not prime. Res64: BB4BE7673B0A7942 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:01:01] 759*2^1408795-1 is not prime. Res64: F9DBF74EA384DC94 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:01:02] 855*2^1408795-1 is not prime. Res64: 6451FFDB2C4D6B30 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:09:50] 647*2^1408796-1 is not prime. Res64: 19386DCCA85D648B Time : 0.0 sec. user=mdettweiler [2015-09-09 06:09:50] 693*2^1408796-1 is not prime. Res64: 6C52E11BE550339D Time : 0.0 sec. user=mdettweiler [2015-09-09 06:10:11] 957*2^1408796-1 is not prime. Res64: 888B639D82944312 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:10:11] 963*2^1408796-1 is not prime. Res64: A2C36437BC42DFA3 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:10:38] 871*2^1408795-1 is not prime. Res64: 518567DF63F9C16D Time : 0.0 sec. user=mdettweiler [2015-09-09 06:10:39] 915*2^1408795-1 is not prime. Res64: CA6189674E666F90 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:18:25] 751*2^1408797-1 is not prime. Res64: 93B6BFA8CD4C965D Time : 0.0 sec. user=mdettweiler [2015-09-09 06:18:25] 859*2^1408797-1 is not prime. Res64: 9EDA9BFCEF4ABF7A Time : 0.0 sec. user=mdettweiler [2015-09-09 06:27:15] 867*2^1408797-1 is not prime. Res64: 0B139D42D3EFBDCA Time : 0.0 sec. user=mdettweiler [2015-09-09 06:27:15] 919*2^1408797-1 is not prime. Res64: DD8127025830E58B Time : 0.0 sec. user=mdettweiler [2015-09-09 06:27:38] 945*2^1408797-1 is not prime. Res64: 8A96B6A19EF70F20 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:27:38] 999*2^1408797-1 is not prime. Res64: 71384FC4720331BE Time : 0.0 sec. user=mdettweiler [2015-09-09 06:28:07] 665*2^1408798-1 is not prime. Res64: E966160AE0BDB560 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:28:07] 681*2^1408798-1 is not prime. Res64: 95680116CB45EBEE Time : 0.0 sec. user=mdettweiler [2015-09-09 06:35:57] 695*2^1408798-1 is not prime. Res64: 96BF887355E24D4D Time : 0.0 sec. user=mdettweiler [2015-09-09 06:35:58] 773*2^1408798-1 is not prime. Res64: 9823CD28215B49F9 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:44:46] 911*2^1408798-1 is not prime. Res64: DE6E7554533974BC Time : 0.0 sec. user=mdettweiler [2015-09-09 06:44:47] 915*2^1408798-1 is not prime. Res64: 17563EE40E3C584F Time : 0.0 sec. user=mdettweiler [2015-09-09 06:45:17] 945*2^1408798-1 is not prime. Res64: A19366356E102674 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:45:18] 999*2^1408799-1 is not prime. Res64: 03392AF35CEF2F06 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:45:59] 747*2^1408800-1 is not prime. Res64: 8009CC9829074074 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:46:00] 779*2^1408800-1 is not prime. Res64: 1BBD18F24312E4D8 Time : 0.0 sec. user=mdettweiler [2015-09-09 06:53:34] 825*2^1408800-1 is not prime. Res64: C14FF513534B310D Time : 0.0 sec. user=mdettweiler [2015-09-09 06:53:35] 839*2^1408800-1 is not prime. Res64: 68E0E390FDFA815D Time : 0.0 sec. user=mdettweiler [2015-09-09 07:02:21] 873*2^1408800-1 is not prime. Res64: 6F900834A9E9A85A Time : 0.0 sec. user=mdettweiler [2015-09-09 07:02:23] 887*2^1408800-1 is not prime. Res64: CCA20918D1F41136 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:02:44] 899*2^1408800-1 is not prime. Res64: 0B32C68CF57CE8AB Time : 0.0 sec. user=mdettweiler [2015-09-09 07:02:46] 909*2^1408800-1 is not prime. Res64: 441CFB8CAF1A2399 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:03:31] 915*2^1408800-1 is not prime. Res64: CEEA2D105657A0BC Time : 0.0 sec. user=mdettweiler [2015-09-09 07:03:33] 929*2^1408800-1 is not prime. Res64: 76D288310E587D08 Time : 0.0 sec. user=juhehe [2015-09-09 07:10:05] 789*2^1408800-1 is not prime. Res64: AB1F86569E748EB7 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:19:49] 681*2^1408801-1 is not prime. Res64: 49288A1056AC6521 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:19:50] 775*2^1408801-1 is not prime. Res64: 3D00D1C248182914 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:20:07] 789*2^1408801-1 is not prime. Res64: 403B8143D1B58928 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:20:08] 799*2^1408801-1 is not prime. Res64: A497FF524B8D31C8 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:20:52] 975*2^1408801-1 is not prime. Res64: 5B603654C45A7A2E Time : 0.0 sec. user=mdettweiler [2015-09-09 07:20:53] 603*2^1408802-1 is not prime. Res64: F3EA555F1C179917 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:37:14] 635*2^1408802-1 is not prime. Res64: B037E02F1986359E Time : 0.0 sec. user=mdettweiler [2015-09-09 07:37:14] 713*2^1408802-1 is not prime. Res64: 61EA3627DC9774F3 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:37:32] 873*2^1408802-1 is not prime. Res64: 52E436DBF5043B7F Time : 0.0 sec. user=mdettweiler [2015-09-09 07:37:32] 915*2^1408802-1 is not prime. Res64: F574A74C87E47858 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:38:16] 921*2^1408802-1 is not prime. Res64: 95C79CBA679017C7 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:38:17] 995*2^1408802-1 is not prime. Res64: A127591ECBDCDA32 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:54:35] 639*2^1408803-1 is not prime. Res64: 9916F6B1ABCE088F Time : 0.0 sec. user=mdettweiler [2015-09-09 07:54:36] 753*2^1408803-1 is not prime. Res64: DCCEBD1EFDA1475F Time : 0.0 sec. user=mdettweiler [2015-09-09 07:54:50] 765*2^1408803-1 is not prime. Res64: 1739F906E5B1C62A Time : 0.0 sec. user=mdettweiler [2015-09-09 07:54:50] 801*2^1408803-1 is not prime. Res64: 5E1D1DD760FC68DB Time : 0.0 sec. user=mdettweiler [2015-09-09 07:55:34] 805*2^1408803-1 is not prime. Res64: BEC2341F2DA21170 Time : 0.0 sec. user=mdettweiler [2015-09-09 07:55:35] 885*2^1408803-1 is not prime. Res64: 046DFF3EDD96E6B7 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:11:53] 955*2^1408803-1 is not prime. Res64: C738D3D54E1FA8F3 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:11:54] 687*2^1408804-1 is not prime. Res64: 3984FA73D1BB8BE4 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:12:09] 819*2^1408804-1 is not prime. Res64: 87FF80F9B2102F43 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:12:09] 869*2^1408804-1 is not prime. Res64: 7256B98A793970F2 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:12:53] 887*2^1408804-1 is not prime. Res64: 7E3FB6372C94DBDE Time : 0.0 sec. user=mdettweiler [2015-09-09 08:12:54] 905*2^1408804-1 is not prime. Res64: 360AFCC6055F808D Time : 0.0 sec. user=mdettweiler [2015-09-09 08:29:12] 947*2^1408804-1 is not prime. Res64: A5F11CE71573A4B2 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:29:12] 965*2^1408804-1 is not prime. Res64: 217C1AAC74526D7D Time : 0.0 sec. user=mdettweiler [2015-09-09 08:29:26] 619*2^1408805-1 is not prime. Res64: 256E1A08C801FAB9 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:29:27] 741*2^1408805-1 is not prime. Res64: E6C33DE21FA1A82F Time : 0.0 sec. user=mdettweiler [2015-09-09 08:30:11] 837*2^1408805-1 is not prime. Res64: D62EC7E2A86AC814 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:30:12] 725*2^1408806-1 is not prime. Res64: 6B2B0CE528DAF869 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:46:32] 917*2^1408806-1 is not prime. Res64: 24A72508F805F588 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:46:32] 957*2^1408806-1 is not prime. Res64: 310F5C53935427DD Time : 0.0 sec. user=mdettweiler [2015-09-09 08:46:43] 645*2^1408807-1 is not prime. Res64: 7C541FFFB3CBEA93 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:46:44] 705*2^1408807-1 is not prime. Res64: 3FB1B74AF6EB10B2 Time : 0.0 sec. user=mdettweiler [2015-09-09 08:47:28] 729*2^1408807-1 is not prime. Res64: 96DE36D5FFC83F9E Time : 0.0 sec. user=mdettweiler [2015-09-09 08:47:29] 939*2^1408807-1 is not prime. Res64: 06C3D1FBA679892F Time : 0.0 sec. user=mdettweiler [2015-09-09 09:03:51] 985*2^1408807-1 is not prime. Res64: F7D3D72EA91E29B7 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:03:53] 993*2^1408807-1 is not prime. Res64: 93CEFEAC082F8CF3 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:04:03] 633*2^1408808-1 is not prime. Res64: 4A1CAB1A0FCB2C01 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:04:05] 677*2^1408808-1 is not prime. Res64: 8CF5F40BAE7128FA Time : 0.0 sec. user=mdettweiler [2015-09-09 09:04:46] 725*2^1408808-1 is not prime. Res64: 50368D1B20A29E04 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:04:48] 755*2^1408808-1 is not prime. Res64: A0A1932F2C51130C Time : 0.0 sec. user=juhehe [2015-09-09 09:07:18] 893*2^1408806-1 is not prime. Res64: 680AD988954C3640 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:21:31] 929*2^1408808-1 is not prime. Res64: 03DC5C9ED2F3F86B Time : 0.0 sec. user=mdettweiler [2015-09-09 09:21:32] 963*2^1408808-1 is not prime. Res64: 6697A15BB496E2D0 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:21:33] 767*2^1408808-1 is not prime. Res64: C3796EAA50B8B293 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:21:33] 795*2^1408808-1 is not prime. Res64: A2DE701F99C4B391 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:22:10] 679*2^1408809-1 is not prime. Res64: C3C0A148DC709F6F Time : 0.0 sec. user=mdettweiler [2015-09-09 09:22:11] 711*2^1408809-1 is not prime. Res64: 48CF0F9130CD7ED3 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:38:50] 811*2^1408809-1 is not prime. Res64: 62CE5CD595135176 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:38:50] 741*2^1408809-1 is not prime. Res64: 75033A4B63F94AC9 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:38:51] 907*2^1408809-1 is not prime. Res64: 4BAEB36B201CFC54 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:38:51] 807*2^1408809-1 is not prime. Res64: 9497CCCBB4440BE0 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:39:28] 651*2^1408810-1 is not prime. Res64: 23F4A902A8452868 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:39:28] 665*2^1408810-1 is not prime. Res64: 3EFC5D30FAAE342B Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:09] 735*2^1408810-1 is not prime. Res64: E5FB14060273C119 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:09] 843*2^1408810-1 is not prime. Res64: B4EF4EE6E688A3B2 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:09] 833*2^1408810-1 is not prime. Res64: 659BD142C19330CF Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:09] 957*2^1408810-1 is not prime. Res64: 3C89A50D35816440 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:46] 705*2^1408811-1 is not prime. Res64: 8CA548CE6B2E8138 Time : 0.0 sec. user=mdettweiler [2015-09-09 09:56:46] 711*2^1408811-1 is not prime. Res64: 374D7E355219418F Time : 0.0 sec. user=mdettweiler [2015-09-09 10:13:27] 753*2^1408811-1 is not prime. Res64: BDDF03C10EBBF908 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:13:28] 647*2^1408812-1 is not prime. Res64: C91CDF02AB832874 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:13:28] 805*2^1408811-1 is not prime. Res64: 151DD1C395686D16 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:13:28] 725*2^1408812-1 is not prime. Res64: F197544EA5C76FCB Time : 0.0 sec. user=mdettweiler [2015-09-09 10:14:03] 873*2^1408812-1 is not prime. Res64: BFE825A98B28C898 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:14:04] 649*2^1408813-1 is not prime. Res64: 765FCA6746BFB8DE Time : 0.0 sec. user=juhehe [2015-09-09 10:23:41] 733*2^1408811-1 is not prime. Res64: 5130D591A249BC44 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:30:49] 939*2^1408813-1 is not prime. Res64: 7C8F8C24FDEB7A94 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:30:50] 967*2^1408813-1 is not prime. Res64: 4E9353586829B9A8 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:30:51] 691*2^1408813-1 is not prime. Res64: C829ED761B81C4DE Time : 0.0 sec. user=mdettweiler [2015-09-09 10:30:51] 745*2^1408813-1 is not prime. Res64: 6798B666812BEEF4 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:31:24] 985*2^1408813-1 is not prime. Res64: BA090910E69E74BB Time : 0.0 sec. user=mdettweiler [2015-09-09 10:31:24] 627*2^1408814-1 is not prime. Res64: 5BC261AFA7E574F4 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:08] 641*2^1408814-1 is not prime. Res64: 01559FDD91C8C00F Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:08] 945*2^1408814-1 is not prime. Res64: FD68194A5116516B Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:09] 983*2^1408814-1 is not prime. Res64: 1A6F8481887B868F Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:09] 781*2^1408815-1 is not prime. Res64: F67039F35E4BCB78 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:41] 783*2^1408815-1 is not prime. Res64: 68FAD931C7CCDAE2 Time : 0.0 sec. user=mdettweiler [2015-09-09 10:48:42] 825*2^1408815-1 is not prime. Res64: 1E46FCF6F7898E47 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:05:32] 861*2^1408815-1 is not prime. Res64: AA638FC1B2B15389 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:05:35] 871*2^1408815-1 is not prime. Res64: A03DF4FAC1A83376 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:05:38] 951*2^1408815-1 is not prime. Res64: C721960C6A7C6B67 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:05:41] 999*2^1408815-1 is not prime. Res64: E49CCC6A2B7DF78F Time : 0.0 sec. user=mdettweiler [2015-09-09 11:06:12] 609*2^1408816-1 is not prime. Res64: 17CB8FB9120C59C8 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:06:12] 639*2^1408816-1 is not prime. Res64: FBB72A95648A43F5 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:22:55] 675*2^1408816-1 is not prime. Res64: E389DF37F84D78DF Time : 0.0 sec. user=mdettweiler [2015-09-09 11:22:56] 705*2^1408816-1 is not prime. Res64: F44DE5E798C2609D Time : 0.0 sec. user=mdettweiler [2015-09-09 11:22:58] 691*2^1408817-1 is not prime. Res64: F09569073BC01CBF Time : 0.0 sec. user=mdettweiler [2015-09-09 11:22:58] 735*2^1408817-1 is not prime. Res64: AD4CC774BBD1D9F0 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:23:29] 771*2^1408817-1 is not prime. Res64: E9ABE1A8D358C0CE Time : 0.0 sec. user=mdettweiler [2015-09-09 11:23:29] 777*2^1408817-1 is not prime. Res64: 77AEA169AD61811A Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:13] 967*2^1408817-1 is not prime. Res64: 6D1A25189DCF6E2A Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:13] 981*2^1408817-1 is not prime. Res64: D4506E3850A10DE2 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:14] 985*2^1408817-1 is not prime. Res64: C23D7F2974838756 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:15] 651*2^1408818-1 is not prime. Res64: F4C45040138DF1BE Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:46] 663*2^1408818-1 is not prime. Res64: 3F608F4BDD6F7A5F Time : 0.0 sec. user=mdettweiler [2015-09-09 11:40:46] 747*2^1408818-1 is not prime. Res64: EBF61F638192B435 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:57:30] 773*2^1408818-1 is not prime. Res64: DCCCF4BF23FDA0C6 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:57:30] 861*2^1408818-1 is not prime. Res64: C415A1E83E576E1A Time : 0.0 sec. user=mdettweiler [2015-09-09 11:57:32] 875*2^1408818-1 is not prime. Res64: DC1BCC16475CA67C Time : 0.0 sec. user=mdettweiler [2015-09-09 11:57:32] 945*2^1408818-1 is not prime. Res64: E519BFF1F2E05106 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:58:03] 977*2^1408818-1 is not prime. Res64: C8F934DE76BE5995 Time : 0.0 sec. user=mdettweiler [2015-09-09 11:58:03] 601*2^1408819-1 is not prime. Res64: 2C9809E8C6AA7B9A Time : 0.0 sec. user=mdettweiler [2015-09-09 12:14:48] 609*2^1408819-1 is not prime. Res64: BF754047AD98C677 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:14:48] 691*2^1408819-1 is not prime. Res64: C042EA6273388F9B Time : 0.0 sec. user=mdettweiler [2015-09-09 12:14:49] 723*2^1408819-1 is not prime. Res64: 0C93DF1A234B54E0 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:14:49] 751*2^1408819-1 is not prime. Res64: BC8DC8F6A8E9BB07 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:15:20] 759*2^1408819-1 is not prime. Res64: D957149CD98677BA Time : 0.0 sec. user=mdettweiler [2015-09-09 12:15:21] 765*2^1408819-1 is not prime. Res64: 9547803E643A8427 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:04] 771*2^1408819-1 is not prime. Res64: 15B221ECD53BD717 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:05] 861*2^1408819-1 is not prime. Res64: 70551D35D64AC5A5 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:05] 669*2^1408820-1 is not prime. Res64: 6EC0004B2B855FC7 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:06] 687*2^1408820-1 is not prime. Res64: 3A22D25F0C923340 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:38] 735*2^1408820-1 is not prime. Res64: 0A229FDF12E53EFD Time : 0.0 sec. user=mdettweiler [2015-09-09 12:32:38] 875*2^1408820-1 is not prime. Res64: D6C9BA56EC4E01EE Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:22] 999*2^1408820-1 is not prime. Res64: 29C61C5C4B716F15 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:23] 727*2^1408821-1 is not prime. Res64: 2207158E79B9D632 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:24] 751*2^1408821-1 is not prime. Res64: 16ED9761B4A3B579 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:25] 805*2^1408821-1 is not prime. Res64: 4062F5CCD0BEAD31 Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:57] 997*2^1408821-1 is not prime. Res64: DF4B1D90D591C9DD Time : 0.0 sec. user=mdettweiler [2015-09-09 12:49:58] 635*2^1408822-1 is not prime. Res64: 5938E402771A8945 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:06:41] 765*2^1408822-1 is not prime. Res64: 5A5E7F23395E2D38 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:06:42] 791*2^1408822-1 is not prime. Res64: D7B11DC9B79278AB Time : 0.0 sec. user=mdettweiler [2015-09-09 13:06:44] 843*2^1408822-1 is not prime. Res64: 4FCB3FDC1DAA6C40 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:06:44] 881*2^1408822-1 is not prime. Res64: A77B3B67B2D9A56E Time : 0.0 sec. user=mdettweiler [2015-09-09 13:07:15] 911*2^1408822-1 is not prime. Res64: A6C43A8D7A9B756A Time : 0.0 sec. user=mdettweiler [2015-09-09 13:07:16] 703*2^1408823-1 is not prime. Res64: F8739694D16A39D8 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:00] 639*2^1408824-1 is not prime. Res64: B140F257BE5E222C Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:01] 675*2^1408824-1 is not prime. Res64: BE05D8FE75EE8B95 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:03] 753*2^1408824-1 is not prime. Res64: 767E2ED8D95CF35A Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:04] 765*2^1408824-1 is not prime. Res64: 0BC2DA45A8D8D008 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:33] 773*2^1408824-1 is not prime. Res64: 68612BFCE7FECBFE Time : 0.0 sec. user=mdettweiler [2015-09-09 13:24:34] 849*2^1408824-1 is not prime. Res64: 4A6CC37BE9ED52D9 Time : 0.0 sec. user=juhehe [2015-09-09 13:32:14] 605*2^1408824-1 is not prime. Res64: 39974FE54EC44B20 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:20] 651*2^1408825-1 is not prime. Res64: 373F5E323E74BCDE Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:20] 667*2^1408825-1 is not prime. Res64: 24FD4C55DEF093CD Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:27] 717*2^1408825-1 is not prime. Res64: C9E941D9836121F3 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:27] 811*2^1408825-1 is not prime. Res64: 24B96EC69B9EC923 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:51] 877*2^1408825-1 is not prime. Res64: A1EA670A296627E2 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:41:52] 895*2^1408825-1 is not prime. Res64: 4978832BFF3D7D0D Time : 0.0 sec. user=mdettweiler [2015-09-09 13:58:49] 999*2^1408825-1 is not prime. Res64: 661C607D978A1C69 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:58:49] 675*2^1408826-1 is not prime. Res64: 9C2CC8B931D9AEF3 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:58:49] 925*2^1408825-1 is not prime. Res64: 9C6E0909701B6CE3 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:58:50] 987*2^1408825-1 is not prime. Res64: D35BAEFE380E74BC Time : 0.0 sec. user=mdettweiler [2015-09-09 13:59:14] 717*2^1408826-1 is not prime. Res64: 3A0B8184BA8C7FD5 Time : 0.0 sec. user=mdettweiler [2015-09-09 13:59:15] 735*2^1408826-1 is not prime. Res64: 2843F49BAEE2E425 Time : 0.0 sec. user=juhehe [2015-09-09 14:09:37] 919*2^1408825-1 is not prime. Res64: 5CCB1BC97473D25A Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:11] 813*2^1408826-1 is not prime. Res64: 21D02DB3E1A79DEE Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:12] 825*2^1408826-1 is not prime. Res64: EF0E95D19312D717 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:13] 743*2^1408826-1 is not prime. Res64: F1BCE538CA59A214 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:13] 767*2^1408826-1 is not prime. Res64: A6BC87681C391211 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:38] 963*2^1408826-1 is not prime. Res64: C00D5210DB7FD8A4 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:16:38] 705*2^1408827-1 is not prime. Res64: 0B1FB9CF25FCB30C Time : 0.0 sec. user=mdettweiler [2015-09-09 14:33:37] 795*2^1408827-1 is not prime. Res64: B29063F9A876FAE5 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:33:37] 901*2^1408827-1 is not prime. Res64: E4BBDDE26B632850 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:33:41] 615*2^1408828-1 is not prime. Res64: F74E4F539DB54F94 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:33:41] 663*2^1408828-1 is not prime. Res64: 4FCD9EAF00350AA1 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:34:00] 897*2^1408828-1 is not prime. Res64: 180DF35D17D133C2 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:34:01] 927*2^1408828-1 is not prime. Res64: 79CCE91C186E6791 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:50:59] 889*2^1408829-1 is not prime. Res64: E4307E62748F3822 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:51:00] 939*2^1408829-1 is not prime. Res64: B6AF719BA1143795 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:51:11] 653*2^1408830-1 is not prime. Res64: 201E15E0E257F2D0 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:51:11] 707*2^1408830-1 is not prime. Res64: 5BBABC0FD274333A Time : 0.0 sec. user=mdettweiler [2015-09-09 14:51:20] 717*2^1408830-1 is not prime. Res64: 6B856C14D0EA4CA1 Time : 0.0 sec. user=mdettweiler [2015-09-09 14:51:21] 921*2^1408830-1 is not prime. Res64: A87CC8FBE45C7C3D Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:18] 971*2^1408830-1 is not prime. Res64: CB961F1E592D58C3 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:18] 619*2^1408831-1 is not prime. Res64: FB0E2D79583DA067 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:30] 625*2^1408831-1 is not prime. Res64: 41C3DA89FDBAAAE7 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:31] 649*2^1408831-1 is not prime. Res64: 9EFE621140DFFEFB Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:40] 663*2^1408831-1 is not prime. Res64: E25390D5C1B4A312 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:08:40] 675*2^1408831-1 is not prime. Res64: 1EE15F2F4441DA1E Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:39] 759*2^1408831-1 is not prime. Res64: 0194F8A1BCF33AA9 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:40] 789*2^1408831-1 is not prime. Res64: D8F16BB870C4A151 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:49] 793*2^1408831-1 is not prime. Res64: 358DA51FBA87813A Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:50] 843*2^1408831-1 is not prime. Res64: 245615D653F79135 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:58] 861*2^1408831-1 is not prime. Res64: 23C98C56685339E0 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:25:59] 931*2^1408831-1 is not prime. Res64: 314A7114B90FB68E Time : 0.0 sec. user=mdettweiler [2015-09-09 15:42:59] 713*2^1408832-1 is not prime. Res64: 82AA296AA3CC7260 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:43:00] 717*2^1408832-1 is not prime. Res64: 2A19ECF8C4FB66C7 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:43:08] 819*2^1408832-1 is not prime. Res64: 0212D95389CE2800 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:43:09] 833*2^1408832-1 is not prime. Res64: A0C7CD0048C925BC Time : 0.0 sec. user=mdettweiler [2015-09-09 15:43:19] 669*2^1408833-1 is not prime. Res64: DF6F88EB94A49070 Time : 0.0 sec. user=mdettweiler [2015-09-09 15:43:20] 829*2^1408833-1 is not prime. Res64: 84CA857689A3FD28 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:20] 633*2^1408834-1 is not prime. Res64: CB93BB18A0F8130F Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:22] 657*2^1408834-1 is not prime. Res64: 36693D89A581077D Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:26] 681*2^1408834-1 is not prime. Res64: 0304BD8FA690FAB4 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:28] 971*2^1408834-1 is not prime. Res64: 778F2F386E1A8037 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:39] 981*2^1408834-1 is not prime. Res64: 4F458D1CEE47678E Time : 0.0 sec. user=mdettweiler [2015-09-09 16:00:40] 609*2^1408835-1 is not prime. Res64: FD16E923FA7BE7AA Time : 0.0 sec. user=juhehe [2015-09-09 16:15:09] 945*2^1408833-1 is not prime. Res64: 3AD4B4E50E6183D1 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:17:46] 735*2^1408835-1 is not prime. Res64: 521738CCC1D4B9D4 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:17:46] 819*2^1408835-1 is not prime. Res64: AD3E34425144EFDC Time : 0.0 sec. user=mdettweiler [2015-09-09 16:17:47] 741*2^1408835-1 is not prime. Res64: A15D04D9766C0E1A Time : 0.0 sec. user=mdettweiler [2015-09-09 16:17:47] 825*2^1408835-1 is not prime. Res64: 6E544D946F09E6E7 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:17:59] 909*2^1408835-1 is not prime. Res64: 589D91DDC6CDD79D Time : 0.0 sec. user=mdettweiler [2015-09-09 16:18:00] 943*2^1408835-1 is not prime. Res64: BC3CDE751F147C33 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:20] 999*2^1408835-1 is not prime. Res64: 9C245DCCF7D783E5 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:20] 707*2^1408836-1 is not prime. Res64: 1255350DA9847D8F Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:21] 615*2^1408837-1 is not prime. Res64: 1CD67E613BC27AED Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:21] 639*2^1408837-1 is not prime. Res64: C896EAF8CC4E1CF2 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:27] 667*2^1408837-1 is not prime. Res64: 798C99B33BCAA49F Time : 0.0 sec. user=mdettweiler [2015-09-09 16:35:27] 861*2^1408837-1 is not prime. Res64: 2ADE8BAA25086ECD Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:08] 773*2^1408838-1 is not prime. Res64: FA99677F1C4C2F80 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:08] 867*2^1408838-1 is not prime. Res64: 92E804AA509CA405 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:10] 871*2^1408837-1 is not prime. Res64: 24A51E386342AB01 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:10] 937*2^1408837-1 is not prime. Res64: A11B2DE87D7AC506 Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:15] 887*2^1408838-1 is not prime. Res64: 3BA6E84601E2D5BB Time : 0.0 sec. user=mdettweiler [2015-09-09 16:53:15] 951*2^1408838-1 is not prime. Res64: 7A67151FADA037AE Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:12] 977*2^1408838-1 is not prime. Res64: 61FCE03DA78CCBB8 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:12] 615*2^1408839-1 is not prime. Res64: 5411346DB4CCE660 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:13] 613*2^1408839-1 is not prime. Res64: D2FBFDF99568C725 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:13] 649*2^1408839-1 is not prime. Res64: 48FF2E6026D33507 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:15] 859*2^1408839-1 is not prime. Res64: 18DF39069D58D636 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:11:16] 861*2^1408839-1 is not prime. Res64: C96FB3AE48E6485C Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:48] 955*2^1408839-1 is not prime. Res64: D73C164D90DD1823 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:49] 603*2^1408840-1 is not prime. Res64: 110B5036C4177130 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:49] 975*2^1408839-1 is not prime. Res64: EA6586699D844281 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:49] 933*2^1408839-1 is not prime. Res64: 676B318044B706EC Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:49] 653*2^1408840-1 is not prime. Res64: 56B8F7F112D10782 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:28:49] 949*2^1408839-1 is not prime. Res64: D67459BD062A0EBA Time : 0.0 sec. user=juhehe [2015-09-09 17:32:59] 895*2^1408839-1 is not prime. Res64: 5EB7A1C623725C25 Time : 0.0 sec. user=juhehe [2015-09-09 17:38:37] 931*2^1408839-1 is not prime. Res64: 29F4229043510812 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:21] 665*2^1408840-1 is not prime. Res64: 8ACC8AB7CE6EEF5D Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:22] 695*2^1408840-1 is not prime. Res64: B4716545F730A5D0 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:22] 983*2^1408840-1 is not prime. Res64: 0A8275C52EAF4C7E Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:23] 649*2^1408841-1 is not prime. Res64: 62F108B25214512B Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:25] 797*2^1408840-1 is not prime. Res64: 8E2F8BADE2934E55 Time : 0.0 sec. user=mdettweiler [2015-09-09 17:46:25] 975*2^1408840-1 is not prime. Res64: BE3665DB81448740 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:42] 931*2^1408841-1 is not prime. Res64: 6525446D1165127B Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:43] 657*2^1408842-1 is not prime. Res64: 1FF83E43A1DBA640 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:44] 633*2^1408842-1 is not prime. Res64: C7967573B0B88030 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:44] 671*2^1408842-1 is not prime. Res64: 4CA7AA015CA4B34B Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:45] 705*2^1408842-1 is not prime. Res64: EBA2FB4C2AB57C53 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:03:46] 735*2^1408842-1 is not prime. Res64: B5EB804467F6543E Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:33] 777*2^1408842-1 is not prime. Res64: C3C87F80ECFE7923 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:34] 815*2^1408842-1 is not prime. Res64: D05EFE6251227DB1 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:36] 921*2^1408842-1 is not prime. Res64: 88EAFDCBE1124B32 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:36] 923*2^1408842-1 is not prime. Res64: 8265D62E7FCA22E8 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:36] 801*2^1408842-1 is not prime. Res64: E01E476A8ACF6DFA Time : 0.0 sec. user=mdettweiler [2015-09-09 18:21:36] 609*2^1408843-1 is not prime. Res64: 2C28D10D14A7EADA Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:53] 631*2^1408843-1 is not prime. Res64: 1BA80DC579741BAC Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:53] 735*2^1408843-1 is not prime. Res64: 12051BB13C9EAE87 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:54] 793*2^1408843-1 is not prime. Res64: 8D469A98B13385CA Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:55] 859*2^1408843-1 is not prime. Res64: 3CCEB71D83DBCD71 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:57] 945*2^1408843-1 is not prime. Res64: 72EB092A87E3A70A Time : 0.0 sec. user=mdettweiler [2015-09-09 18:38:57] 795*2^1408844-1 is not prime. Res64: C3B86CACF8B48155 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:12] 873*2^1408844-1 is not prime. Res64: 78A15E6EE1B5516A Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:12] 885*2^1408844-1 is not prime. Res64: 6E3AB71DD8302AD4 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:13] 909*2^1408844-1 is not prime. Res64: 04A7C5739D7F3010 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:13] 923*2^1408844-1 is not prime. Res64: 61CE997CC51BA167 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:15] 609*2^1408845-1 is not prime. Res64: D5273128405A6BA4 Time : 0.0 sec. user=mdettweiler [2015-09-09 18:56:15] 741*2^1408845-1 is not prime. Res64: CBFEEC1DC28422BA Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:32] 871*2^1408845-1 is not prime. Res64: 5836BCA56E594EBE Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:32] 787*2^1408845-1 is not prime. Res64: C4C5CDF08F3A08B4 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:33] 889*2^1408845-1 is not prime. Res64: A5F38563452A18C2 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:33] 789*2^1408845-1 is not prime. Res64: 72C1A4F6DE5FD39D Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:34] 969*2^1408845-1 is not prime. Res64: 1B05E8F64EC59113 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:13:34] 979*2^1408845-1 is not prime. Res64: CBC0C1362FC7F4D8 Time : 0.0 sec. user=juhehe [2015-09-09 19:25:59] 759*2^1408845-1 is not prime. Res64: 0642EC823F5D9B67 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:52] 801*2^1408846-1 is not prime. Res64: 17C9B5F7F81E4901 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:53] 891*2^1408846-1 is not prime. Res64: F2F5733A364DA225 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:53] 653*2^1408846-1 is not prime. Res64: 980C62A2A3575DF6 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:54] 765*2^1408846-1 is not prime. Res64: 954D83078BB87250 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:54] 923*2^1408846-1 is not prime. Res64: 60CA4C4A536A1962 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:30:55] 615*2^1408847-1 is not prime. Res64: 98F485C356187C28 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:17] 615*2^1408848-1 is not prime. Res64: 01810F027F6ED09B Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:17] 707*2^1408848-1 is not prime. Res64: 30EE77004357E0DD Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:22] 799*2^1408847-1 is not prime. Res64: 6DBCD70723DDCB23 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:22] 861*2^1408847-1 is not prime. Res64: FDE322E31B77DB89 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:23] 655*2^1408847-1 is not prime. Res64: C54DD63D30757545 Time : 0.0 sec. user=mdettweiler [2015-09-09 19:48:23] 729*2^1408847-1 is not prime. Res64: A593845E725693F0 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:39] 723*2^1408848-1 is not prime. Res64: FB8C560218FD4387 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:41] 759*2^1408848-1 is not prime. Res64: 3A988E60938BC58A Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:44] 887*2^1408848-1 is not prime. Res64: BA0C63EBA3A52CD6 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:45] 747*2^1408849-1 is not prime. Res64: 66C60F2EF7BC82E1 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:46] 933*2^1408848-1 is not prime. Res64: 24719974D36C8DD8 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:05:47] 799*2^1408849-1 is not prime. Res64: 90393998FBEA0F5A Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:28] 835*2^1408849-1 is not prime. Res64: DC6FFAAA9023764E Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:29] 623*2^1408850-1 is not prime. Res64: 52372A41A52F3185 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:30] 677*2^1408850-1 is not prime. Res64: A880AA1C0E97F0BD Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:30] 919*2^1408849-1 is not prime. Res64: 53D69B2DF484DEF3 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:31] 735*2^1408850-1 is not prime. Res64: 685B22E49A935C64 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:23:31] 857*2^1408850-1 is not prime. Res64: 8582BFC9C6BAF40D Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:50] 945*2^1408850-1 is not prime. Res64: EA942D5A2CD1EC51 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:50] 867*2^1408850-1 is not prime. Res64: BD61EEE90F06B39E Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:50] 953*2^1408850-1 is not prime. Res64: 1593C41458F76CA7 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:50] 893*2^1408850-1 is not prime. Res64: C580575D5EC5F209 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:51] 971*2^1408850-1 is not prime. Res64: CEF1A84E6455A476 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:40:51] 1001*2^1408850-1 is not prime. Res64: 81F67E3B73ECB462 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:10] 711*2^1408851-1 is not prime. Res64: 89A494A8A363FF22 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:10] 805*2^1408851-1 is not prime. Res64: 0FF13570643558A0 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:10] 675*2^1408851-1 is not prime. Res64: 73AA65EEC6F11C38 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:11] 709*2^1408851-1 is not prime. Res64: 21D74F63CAE86545 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:11] 895*2^1408851-1 is not prime. Res64: 273179B3D6AEA0A5 Time : 0.0 sec. user=mdettweiler [2015-09-09 20:58:11] 909*2^1408851-1 is not prime. Res64: D990E1DE01049E73 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:28] 699*2^1408852-1 is not prime. Res64: 3A27FB25F645915B Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:29] 759*2^1408852-1 is not prime. Res64: D69F0F67A8B05C99 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:29] 875*2^1408852-1 is not prime. Res64: 6CE60EE7E6BAF157 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:30] 987*2^1408852-1 is not prime. Res64: 2FDFB7D1E4C8E8B0 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:34] 691*2^1408853-1 is not prime. Res64: B3056357FAEC14BF Time : 0.0 sec. user=mdettweiler [2015-09-09 21:15:34] 811*2^1408853-1 is not prime. Res64: 7227CD5A519E2C51 Time : 0.0 sec. user=juhehe [2015-09-09 21:24:18] 635*2^1408852-1 is not prime. Res64: 87E76723D6BAC92B Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:48] 747*2^1408854-1 is not prime. Res64: F40C99E1A39BAC5B Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:48] 791*2^1408854-1 is not prime. Res64: 3E26A594D53A0106 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:52] 897*2^1408853-1 is not prime. Res64: DB5CA7997CDA5BC3 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:52] 937*2^1408853-1 is not prime. Res64: 4271E619F69584B0 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:53] 833*2^1408854-1 is not prime. Res64: 2EC8AF9E2140EC45 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:32:54] 645*2^1408855-1 is not prime. Res64: 1E4E23D3BC3865CD Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:08] 673*2^1408855-1 is not prime. Res64: 4FCC64DA6696DCA1 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:08] 693*2^1408855-1 is not prime. Res64: EF79F563C8ECC9AB Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:12] 765*2^1408855-1 is not prime. Res64: AB68BDE47993F388 Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:12] 861*2^1408855-1 is not prime. Res64: EC768980F70BF8FD Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:13] 943*2^1408855-1 is not prime. Res64: 9DD50F0EB45FBF5D Time : 0.0 sec. user=mdettweiler [2015-09-09 21:50:13] 689*2^1408856-1 is not prime. Res64: 581ABB69E26D2E32 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:28] 759*2^1408856-1 is not prime. Res64: 6E209138227C466B Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:29] 813*2^1408856-1 is not prime. Res64: 4627E8ED3A7778D8 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:31] 839*2^1408856-1 is not prime. Res64: FCCBA2EACDD5217C Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:32] 873*2^1408856-1 is not prime. Res64: 45D0A963F4A89D8D Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:32] 897*2^1408856-1 is not prime. Res64: 32DD9738C9DFBC82 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:07:33] 903*2^1408856-1 is not prime. Res64: 35D4CA71B073192D Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:52] 805*2^1408857-1 is not prime. Res64: D00D21AD83FF8F99 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:53] 895*2^1408857-1 is not prime. Res64: BE20C587976CCD0D Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:54] 999*2^1408856-1 is not prime. Res64: 7EF0CD0E9B21C031 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:54] 615*2^1408857-1 is not prime. Res64: 0B125CA2288C1F3D Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:54] 649*2^1408857-1 is not prime. Res64: 327E2E03B8EDF299 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:24:55] 699*2^1408857-1 is not prime. Res64: F663EEF8D710480B Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:12] 979*2^1408857-1 is not prime. Res64: 5CAB33A48D0D7B7C Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:13] 735*2^1408858-1 is not prime. Res64: 195E98D2DF4FDC67 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:13] 813*2^1408858-1 is not prime. Res64: A383C31C6756DF7E Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:13] 831*2^1408858-1 is not prime. Res64: BDDF82B80E608179 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:13] 827*2^1408858-1 is not prime. Res64: 2A62635EDDE0946A Time : 0.0 sec. user=mdettweiler [2015-09-09 22:42:14] 857*2^1408858-1 is not prime. Res64: 8AC51A76E1405E12 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:32] 629*2^1408860-1 is not prime. Res64: B403EA920F106E37 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:32] 915*2^1408858-1 is not prime. Res64: 0728069212D1FFFF Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:32] 767*2^1408860-1 is not prime. Res64: 37D412157906CE9F Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:32] 957*2^1408858-1 is not prime. Res64: CC494858B035DD23 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:35] 903*2^1408859-1 is not prime. Res64: CA7533ECFE440AC3 Time : 0.0 sec. user=mdettweiler [2015-09-09 22:59:35] 991*2^1408859-1 is not prime. Res64: C9635898838B392E Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:51] 965*2^1408860-1 is not prime. Res64: 50196637042C701C Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:52] 609*2^1408861-1 is not prime. Res64: 348E4D0C750823E9 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:53] 679*2^1408861-1 is not prime. Res64: FDC7813CC1FD4CE5 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:53] 775*2^1408861-1 is not prime. Res64: E213E75335F62CFD Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:59] 777*2^1408860-1 is not prime. Res64: 18A5677B117467FE Time : 0.0 sec. user=mdettweiler [2015-09-09 23:16:59] 935*2^1408860-1 is not prime. Res64: 2FDB2B0E1D0B152B Time : 0.0 sec. user=juhehe [2015-09-09 23:17:16] 911*2^1408858-1 is not prime. Res64: 72C5F37A36AA7184 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:11] 829*2^1408861-1 is not prime. Res64: C9F64B497E53BE7C Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:11] 855*2^1408861-1 is not prime. Res64: 5FF45356074315E4 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:12] 889*2^1408861-1 is not prime. Res64: 5BAB7F59E118179B Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:12] 937*2^1408861-1 is not prime. Res64: 47B15F79AE88AC83 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:18] 945*2^1408861-1 is not prime. Res64: 236AFB8AA241E03D Time : 0.0 sec. user=mdettweiler [2015-09-09 23:34:18] 951*2^1408861-1 is not prime. Res64: 1A07883FAA6FA694 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:30] 705*2^1408862-1 is not prime. Res64: 5B744461DE7E13FE Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:30] 755*2^1408862-1 is not prime. Res64: 5BA85E57623B9A04 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:31] 767*2^1408862-1 is not prime. Res64: 15AEC61849C3A336 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:31] 885*2^1408862-1 is not prime. Res64: 5A77011590785D80 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:36] 951*2^1408862-1 is not prime. Res64: 67A281CECA05FF65 Time : 0.0 sec. user=mdettweiler [2015-09-09 23:51:36] 625*2^1408863-1 is not prime. Res64: 637885AC7C791D83 Time : 0.0 sec.