user=mdettweiler [2016-08-16 00:02:02] 715*2^1437631-1 is not prime. Res64: C72912EFA3CA6025 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:02:02] 735*2^1437631-1 is not prime. Res64: A85A94C21AC8F28B Time : 0.0 sec. user=mdettweiler [2016-08-16 00:02:03] 763*2^1437631-1 is not prime. Res64: F609341FDB037095 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:02:03] 783*2^1437631-1 is not prime. Res64: 9167DAB36C612EE0 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:02:03] 909*2^1437631-1 is not prime. Res64: 5CAF5E3FDFF8B9F7 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:03:24] 913*2^1437631-1 is not prime. Res64: EFC48EDCFDFAED7E Time : 0.0 sec. user=mdettweiler [2016-08-16 00:03:31] 925*2^1437631-1 is not prime. Res64: 2E4D9A8F41C67BC4 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:03:33] 975*2^1437631-1 is not prime. Res64: 40F84E80287D6A35 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:03:34] 999*2^1437631-1 is not prime. Res64: 3190C096036ED369 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:03:35] 633*2^1437632-1 is not prime. Res64: FC0255BD57E21451 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:25:35] 657*2^1437632-1 is not prime. Res64: F2D4FED26D9105D9 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:25:35] 735*2^1437632-1 is not prime. Res64: 7F90501892517D36 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:25:36] 785*2^1437632-1 is not prime. Res64: 35FD7EAD134C9FAE Time : 0.0 sec. user=mdettweiler [2016-08-16 00:25:39] 825*2^1437632-1 is not prime. Res64: D6DB6B63A7635B93 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:25:39] 833*2^1437632-1 is not prime. Res64: 2FE08956C8A21310 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:38:12] 897*2^1437632-1 is not prime. Res64: E67B573D76D374C8 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:38:13] 945*2^1437632-1 is not prime. Res64: DCE551CFE7D8B744 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:38:13] 639*2^1437633-1 is not prime. Res64: EF78211C65BA10E0 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:38:14] 657*2^1437633-1 is not prime. Res64: EC0A1239C9A4EE5F Time : 0.0 sec. user=mdettweiler [2016-08-16 00:38:14] 705*2^1437633-1 is not prime. Res64: 90DAE9B3417A7327 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:46:53] 739*2^1437633-1 is not prime. Res64: B66F3A82C8CF3FDC Time : 0.0 sec. user=mdettweiler [2016-08-16 00:46:53] 741*2^1437633-1 is not prime. Res64: 37FB531C159DC128 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:46:53] 745*2^1437633-1 is not prime. Res64: 77F7CC487B466A55 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:46:54] 787*2^1437633-1 is not prime. Res64: 569915EEC7422BD8 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:46:54] 871*2^1437633-1 is not prime. Res64: 620A1393625D539D Time : 0.0 sec. user=mdettweiler [2016-08-16 00:48:36] 663*2^1437634-1 is not prime. Res64: 297C01B073C62819 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:48:36] 665*2^1437634-1 is not prime. Res64: C023A5E80894E558 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:48:37] 677*2^1437634-1 is not prime. Res64: 5EEBA3236BB06054 Time : 0.0 sec. user=mdettweiler [2016-08-16 00:48:37] 755*2^1437634-1 is not prime. Res64: C403ED0EC5BC448E Time : 0.0 sec. user=mdettweiler [2016-08-16 00:48:38] 765*2^1437634-1 is not prime. Res64: 155E88F7EDDA466A Time : 0.0 sec. user=mdettweiler [2016-08-16 01:10:24] 881*2^1437634-1 is not prime. Res64: C95753F52EAB5DA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:10:25] 975*2^1437634-1 is not prime. Res64: A0E23A8D599C6496 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:10:26] 643*2^1437635-1 is not prime. Res64: 598D28EF5F436798 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:10:26] 753*2^1437635-1 is not prime. Res64: 0243901EC65A6F16 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:10:26] 829*2^1437635-1 is not prime. Res64: F396BCDBDA4F25AA Time : 0.0 sec. user=mdettweiler [2016-08-16 01:23:00] 841*2^1437635-1 is not prime. Res64: 7B158F829AEBBFAC Time : 0.0 sec. user=mdettweiler [2016-08-16 01:23:01] 861*2^1437635-1 is not prime. Res64: BA237417B3313007 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:23:01] 885*2^1437635-1 is not prime. Res64: 0622A764B42CDD44 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:23:02] 921*2^1437635-1 is not prime. Res64: 8BE432B0E8A45D80 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:23:02] 969*2^1437635-1 is not prime. Res64: 8239B11F9C16C571 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:31:35] 979*2^1437635-1 is not prime. Res64: DCE0713F05F98CC0 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:31:40] 981*2^1437635-1 is not prime. Res64: 211B9269F8F00CA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:31:46] 657*2^1437636-1 is not prime. Res64: 0B7D37E9F781E49A Time : 0.0 sec. user=mdettweiler [2016-08-16 01:31:50] 783*2^1437636-1 is not prime. Res64: B31E375708DDF32D Time : 0.0 sec. user=mdettweiler [2016-08-16 01:31:57] 923*2^1437636-1 is not prime. Res64: 8EC47BDF09DD5B57 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:33:16] 999*2^1437636-1 is not prime. Res64: 6BF3D90CD7EBBBC5 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:33:19] 625*2^1437637-1 is not prime. Res64: FBB6C2F8B0C68E17 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:33:24] 675*2^1437637-1 is not prime. Res64: B5F3CCF676F4157B Time : 0.0 sec. user=mdettweiler [2016-08-16 01:33:28] 747*2^1437637-1 is not prime. Res64: BCBF975333C4A085 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:33:31] 915*2^1437637-1 is not prime. Res64: ACED795729767081 Time : 0.0 sec. user=mdettweiler [2016-08-16 01:55:18] 979*2^1437637-1 is not prime. Res64: 2ECC9806CFE8D56C Time : 0.0 sec. user=mdettweiler [2016-08-16 01:55:20] 623*2^1437638-1 is not prime. Res64: F499E0B242F2311D Time : 0.0 sec. user=mdettweiler [2016-08-16 01:55:20] 705*2^1437638-1 is not prime. Res64: 46F372BBC804180B Time : 0.0 sec. user=mdettweiler [2016-08-16 01:55:21] 771*2^1437638-1 is not prime. Res64: 8E081C7D7F3090BF Time : 0.0 sec. user=mdettweiler [2016-08-16 01:55:21] 827*2^1437638-1 is not prime. Res64: 7FEE28B6D30B8B29 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:08:10] 893*2^1437638-1 is not prime. Res64: 14FEE7BE842FE689 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:08:10] 993*2^1437638-1 is not prime. Res64: 0FBE7FB5E8922F2F Time : 0.0 sec. user=mdettweiler [2016-08-16 02:08:11] 831*2^1437639-1 is not prime. Res64: 6D57AF1A8DD95799 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:08:11] 921*2^1437639-1 is not prime. Res64: 9FAAA0E3EE415323 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:08:12] 985*2^1437639-1 is not prime. Res64: 1791F51A071C6C27 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:17:30] 677*2^1437640-1 is not prime. Res64: 4AF5A729C0FFF72E Time : 0.0 sec. user=mdettweiler [2016-08-16 02:17:33] 723*2^1437640-1 is not prime. Res64: 33287346D413E2C8 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:17:35] 765*2^1437640-1 is not prime. Res64: 4BC88024E05DF1D6 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:17:38] 887*2^1437640-1 is not prime. Res64: BA858FD7284971C0 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:17:40] 933*2^1437640-1 is not prime. Res64: 2B4C74F89CA5C357 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:18:52] 983*2^1437640-1 is not prime. Res64: AC61D76A6E237851 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:18:53] 619*2^1437641-1 is not prime. Res64: F8870EF0BF4C9E52 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:18:55] 675*2^1437641-1 is not prime. Res64: 0F391C025C7850C8 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:18:56] 715*2^1437641-1 is not prime. Res64: CDA30CEDFB3EA7C6 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:18:57] 717*2^1437641-1 is not prime. Res64: D808FB4D4161542E Time : 0.0 sec. user=mdettweiler [2016-08-16 02:40:29] 871*2^1437641-1 is not prime. Res64: B4F0BCE90EF51DE4 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:40:31] 987*2^1437641-1 is not prime. Res64: 881342853765C044 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:40:32] 677*2^1437642-1 is not prime. Res64: 05B10E7B37AD8C2D Time : 0.0 sec. user=mdettweiler [2016-08-16 02:40:33] 711*2^1437642-1 is not prime. Res64: 313E0BDFA5CF6EB0 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:40:34] 915*2^1437642-1 is not prime. Res64: 23FF5DF3186E6AFF Time : 0.0 sec. user=mdettweiler [2016-08-16 02:53:26] 957*2^1437642-1 is not prime. Res64: 05DFE8DF18A7EF3E Time : 0.0 sec. user=mdettweiler [2016-08-16 02:53:26] 699*2^1437643-1 is not prime. Res64: C35E2DF38601A2DF Time : 0.0 sec. user=mdettweiler [2016-08-16 02:53:26] 703*2^1437643-1 is not prime. Res64: 9C2F4D6300F1B839 Time : 0.0 sec. user=mdettweiler [2016-08-16 02:53:27] 745*2^1437643-1 is not prime. Res64: C8DB885BF8945B2A Time : 0.0 sec. user=mdettweiler [2016-08-16 02:53:27] 801*2^1437643-1 is not prime. Res64: 81C1C1B5D1862706 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:02:58] 849*2^1437643-1 is not prime. Res64: E24101AC3203A6ED Time : 0.0 sec. user=mdettweiler [2016-08-16 03:03:00] 919*2^1437643-1 is not prime. Res64: 17CFDE98F3673701 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:03:01] 925*2^1437643-1 is not prime. Res64: 1CF063706722158E Time : 0.0 sec. user=mdettweiler [2016-08-16 03:03:02] 945*2^1437643-1 is not prime. Res64: 73937394316ED986 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:03:04] 609*2^1437644-1 is not prime. Res64: 562749CD0FF790BE Time : 0.0 sec. user=mdettweiler [2016-08-16 03:04:10] 659*2^1437644-1 is not prime. Res64: 91694B865A93A00A Time : 0.0 sec. user=mdettweiler [2016-08-16 03:04:12] 755*2^1437644-1 is not prime. Res64: 5795B9E0651C600B Time : 0.0 sec. user=mdettweiler [2016-08-16 03:04:15] 813*2^1437644-1 is not prime. Res64: ED6EF1E1D82508A5 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:04:18] 923*2^1437644-1 is not prime. Res64: 33A5A3F9CAEBE03D Time : 0.0 sec. user=mdettweiler [2016-08-16 03:04:23] 959*2^1437644-1 is not prime. Res64: 61046A883115C5BB Time : 0.0 sec. user=mdettweiler [2016-08-16 03:26:11] 735*2^1437645-1 is not prime. Res64: 6D5CC052F5D1B145 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:26:12] 751*2^1437645-1 is not prime. Res64: 0BEA8D0D86C2DBFE Time : 0.0 sec. user=mdettweiler [2016-08-16 03:26:13] 919*2^1437645-1 is not prime. Res64: 98CCC3CB058D594D Time : 0.0 sec. user=mdettweiler [2016-08-16 03:26:13] 949*2^1437645-1 is not prime. Res64: FB5EAF1A425476DD Time : 0.0 sec. user=mdettweiler [2016-08-16 03:26:14] 645*2^1437646-1 is not prime. Res64: DD6E4F8BB34B1228 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:39:42] 653*2^1437646-1 is not prime. Res64: B26A21902A7743CB Time : 0.0 sec. user=mdettweiler [2016-08-16 03:39:46] 657*2^1437646-1 is not prime. Res64: 66EA9DEB0BBFA20E Time : 0.0 sec. user=mdettweiler [2016-08-16 03:39:48] 717*2^1437646-1 is not prime. Res64: A5B96FFDA4B09878 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:39:50] 911*2^1437646-1 is not prime. Res64: 0D209053F7FF07C1 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:39:53] 983*2^1437646-1 is not prime. Res64: D3072AD180019001 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:22] 993*2^1437646-1 is not prime. Res64: 8F459E42FBE17BB4 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:27] 651*2^1437647-1 is not prime. Res64: BB7ADB935AD77911 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:30] 729*2^1437647-1 is not prime. Res64: 31A4363EFFC4A1B9 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:32] 813*2^1437647-1 is not prime. Res64: 67B7A1D069D49A19 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:34] 871*2^1437647-1 is not prime. Res64: 72142F1A23242728 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:43] 939*2^1437647-1 is not prime. Res64: 4164775DEF871C52 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:47] 999*2^1437647-1 is not prime. Res64: 4881541E14629172 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:49] 627*2^1437648-1 is not prime. Res64: F4F200869BE5A2B9 Time : 0.0 sec. user=mdettweiler [2016-08-16 03:50:55] 683*2^1437648-1 is not prime. Res64: FAEF6D64A528515A Time : 0.0 sec. user=mdettweiler [2016-08-16 03:51:03] 767*2^1437648-1 is not prime. Res64: 826E8D48F0BB517E Time : 0.0 sec. user=mdettweiler [2016-08-16 04:11:49] 797*2^1437648-1 is not prime. Res64: 7FA5DC726C302671 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:11:51] 875*2^1437648-1 is not prime. Res64: 45C881F9992FDEC5 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:11:56] 887*2^1437648-1 is not prime. Res64: C5A04B85D4779AA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:11:59] 933*2^1437648-1 is not prime. Res64: 9DEBC81FFF585EAF Time : 0.0 sec. user=mdettweiler [2016-08-16 04:12:04] 945*2^1437648-1 is not prime. Res64: FDEC40233A22C400 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:25:07] 601*2^1437649-1 is not prime. Res64: CFDE0813A9F1EDEF Time : 0.0 sec. user=mdettweiler [2016-08-16 04:25:07] 667*2^1437649-1 is not prime. Res64: 3C315986B1EE3A75 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:25:07] 687*2^1437649-1 is not prime. Res64: 2C08D04F7A57CC64 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:25:08] 769*2^1437649-1 is not prime. Res64: 1DCDC6E62C426960 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:25:08] 897*2^1437649-1 is not prime. Res64: 7EA75EC0E4F8752A Time : 0.0 sec. user=mdettweiler [2016-08-16 04:35:51] 919*2^1437649-1 is not prime. Res64: 8A78C3347306B878 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:35:51] 997*2^1437649-1 is not prime. Res64: 0646154C7A11DF21 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:35:51] 675*2^1437650-1 is not prime. Res64: ED4739F153202E74 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:35:52] 783*2^1437650-1 is not prime. Res64: 7BC2F39A3767CB06 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:35:52] 613*2^1437651-1 is not prime. Res64: 1D4B38EF30D532EB Time : 0.0 sec. user=mdettweiler [2016-08-16 04:36:04] 649*2^1437651-1 is not prime. Res64: 41B437D6D8198746 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:36:05] 829*2^1437651-1 is not prime. Res64: AC63CFFBBFD8BA71 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:36:05] 945*2^1437651-1 is not prime. Res64: 16D7EB13FA1426FB Time : 0.0 sec. user=mdettweiler [2016-08-16 04:36:06] 961*2^1437651-1 is not prime. Res64: 88599997964DF04D Time : 0.0 sec. user=mdettweiler [2016-08-16 04:36:06] 603*2^1437652-1 is not prime. Res64: EECF3D8295076DF6 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:57:55] 629*2^1437652-1 is not prime. Res64: B4D5DE3809145978 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:57:56] 695*2^1437652-1 is not prime. Res64: 4AAAD6F33435F15B Time : 0.0 sec. user=mdettweiler [2016-08-16 04:57:56] 873*2^1437652-1 is not prime. Res64: 1610A0B50B62FCE8 Time : 0.0 sec. user=mdettweiler [2016-08-16 04:57:56] 933*2^1437652-1 is not prime. Res64: 7F57939C8E148FAB Time : 0.0 sec. user=mdettweiler [2016-08-16 04:57:57] 947*2^1437652-1 is not prime. Res64: B0A44F08FC542B83 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:10:01] 627*2^1437653-1 is not prime. Res64: 88165527A039D8C9 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:10:02] 657*2^1437653-1 is not prime. Res64: 78E6FF1F3CB8F8B0 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:10:02] 735*2^1437653-1 is not prime. Res64: DB5191B1241DF7AC Time : 0.0 sec. user=mdettweiler [2016-08-16 05:10:03] 769*2^1437653-1 is not prime. Res64: 139BF2B8BB333D96 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:10:03] 775*2^1437653-1 is not prime. Res64: E2609ACC90729339 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:20:28] 787*2^1437653-1 is not prime. Res64: F85B6DD97F28EC31 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:20:29] 811*2^1437653-1 is not prime. Res64: E99A576371258BDC Time : 0.0 sec. user=mdettweiler [2016-08-16 05:20:29] 879*2^1437653-1 is not prime. Res64: 14789EB9BD75276A Time : 0.0 sec. user=mdettweiler [2016-08-16 05:20:29] 901*2^1437653-1 is not prime. Res64: C39D47802B027344 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:20:30] 925*2^1437653-1 is not prime. Res64: 9FD8B8FF5B832678 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:21:09] 981*2^1437653-1 is not prime. Res64: B07F4CBD7F2DF888 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:21:09] 681*2^1437654-1 is not prime. Res64: 5EA19974DA9AD5C4 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:21:10] 723*2^1437654-1 is not prime. Res64: D4742E8A11BBFDC9 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:21:10] 725*2^1437654-1 is not prime. Res64: 80B51CC2E7464B05 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:21:10] 821*2^1437654-1 is not prime. Res64: D513849B96CE0AF3 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:42:52] 825*2^1437654-1 is not prime. Res64: 7367232136F46869 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:42:52] 891*2^1437654-1 is not prime. Res64: 9DAEF828669B55BB Time : 0.0 sec. user=mdettweiler [2016-08-16 05:42:53] 903*2^1437654-1 is not prime. Res64: B45338AD1231BBF9 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:42:53] 1001*2^1437654-1 is not prime. Res64: C0672D733F02E8FE Time : 0.0 sec. user=mdettweiler [2016-08-16 05:42:53] 639*2^1437655-1 is not prime. Res64: 1546792209CA7BB3 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:54:56] 783*2^1437655-1 is not prime. Res64: 7A51AB34CF23D507 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:54:56] 789*2^1437655-1 is not prime. Res64: BF8197DD6FB414A4 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:54:57] 891*2^1437655-1 is not prime. Res64: B334DB5578C4DC31 Time : 0.0 sec. user=mdettweiler [2016-08-16 05:54:57] 951*2^1437655-1 is not prime. Res64: EBEC52D415A0E87A Time : 0.0 sec. user=mdettweiler [2016-08-16 05:54:57] 603*2^1437656-1 is not prime. Res64: FA4B696C96557B50 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:05:20] 675*2^1437656-1 is not prime. Res64: B193267FF47E12F6 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:05:21] 689*2^1437656-1 is not prime. Res64: 9FC49373AF74E854 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:05:22] 999*2^1437656-1 is not prime. Res64: D338EE80FA5EECE4 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:05:23] 685*2^1437657-1 is not prime. Res64: 4ED4F4963DB2CEFE Time : 0.0 sec. user=mdettweiler [2016-08-16 06:05:24] 735*2^1437657-1 is not prime. Res64: 8D6ACFDEFF19565D Time : 0.0 sec. user=mdettweiler [2016-08-16 06:06:02] 777*2^1437657-1 is not prime. Res64: A1D67C797EA4C3A5 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:06:03] 647*2^1437658-1 is not prime. Res64: ECE1882B2CBBE1E7 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:06:05] 777*2^1437658-1 is not prime. Res64: 9FFCEAE95D312445 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:06:07] 813*2^1437658-1 is not prime. Res64: 2983AF5954EF0161 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:06:08] 891*2^1437658-1 is not prime. Res64: E14B174831D35C95 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:27:41] 675*2^1437659-1 is not prime. Res64: C62B6A4CCB73273A Time : 0.0 sec. user=mdettweiler [2016-08-16 06:27:41] 685*2^1437659-1 is not prime. Res64: 9B9B253813B0D47A Time : 0.0 sec. user=mdettweiler [2016-08-16 06:27:42] 735*2^1437659-1 is not prime. Res64: 728CC4D662054383 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:27:42] 741*2^1437659-1 is not prime. Res64: 013E8C51B45A5B4E Time : 0.0 sec. user=mdettweiler [2016-08-16 06:27:43] 745*2^1437659-1 is not prime. Res64: C3855873CF6C98F4 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:39:46] 759*2^1437659-1 is not prime. Res64: B8A2D6DF8DB908EF Time : 0.0 sec. user=mdettweiler [2016-08-16 06:39:47] 775*2^1437659-1 is not prime. Res64: 51878913A2A02FF0 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:39:47] 909*2^1437659-1 is not prime. Res64: DC4935327BE27B9A Time : 0.0 sec. user=mdettweiler [2016-08-16 06:39:48] 921*2^1437659-1 is not prime. Res64: D7118ED001796316 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:39:48] 939*2^1437659-1 is not prime. Res64: 26E20B0DE8D8BD6E Time : 0.0 sec. user=mdettweiler [2016-08-16 06:50:30] 633*2^1437660-1 is not prime. Res64: 4ED8979E3034BFA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:50:30] 635*2^1437660-1 is not prime. Res64: 09E06A7CA7DCB8B8 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:50:30] 665*2^1437660-1 is not prime. Res64: A54A2530512612B0 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:50:31] 797*2^1437660-1 is not prime. Res64: F51972A20143EC1D Time : 0.0 sec. user=mdettweiler [2016-08-16 06:50:31] 819*2^1437660-1 is not prime. Res64: 0418264E90B68A13 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:51:01] 867*2^1437660-1 is not prime. Res64: 8F1B80E142108DBE Time : 0.0 sec. user=mdettweiler [2016-08-16 06:51:01] 975*2^1437660-1 is not prime. Res64: A219EACE3D14A9B2 Time : 0.0 sec. user=mdettweiler [2016-08-16 06:51:02] 609*2^1437661-1 is not prime. Res64: 212FD0EE77FA0DFD Time : 0.0 sec. user=mdettweiler [2016-08-16 06:51:02] 645*2^1437661-1 is not prime. Res64: 224503849BFF4DFC Time : 0.0 sec. user=mdettweiler [2016-08-16 06:51:02] 745*2^1437661-1 is not prime. Res64: 672DE946DAF95814 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:12:31] 859*2^1437661-1 is not prime. Res64: 5C6BFCA92C8ADCED Time : 0.0 sec. user=mdettweiler [2016-08-16 07:12:33] 827*2^1437662-1 is not prime. Res64: BAAAA6362ACF1E14 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:12:34] 981*2^1437662-1 is not prime. Res64: 3F8C4F5616ADC7BA Time : 0.0 sec. user=mdettweiler [2016-08-16 07:12:35] 987*2^1437662-1 is not prime. Res64: E040D5823DFC5352 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:12:36] 669*2^1437663-1 is not prime. Res64: BD35A6A23A4DD7A6 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:24:33] 693*2^1437663-1 is not prime. Res64: EBD5046D7E9CD3A1 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:24:34] 703*2^1437663-1 is not prime. Res64: C3A6E4CD12BA236E Time : 0.0 sec. user=mdettweiler [2016-08-16 07:24:34] 891*2^1437663-1 is not prime. Res64: 496EBB20D8775E4C Time : 0.0 sec. user=mdettweiler [2016-08-16 07:24:35] 605*2^1437664-1 is not prime. Res64: 18B58C681FD9DC96 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:24:35] 717*2^1437664-1 is not prime. Res64: DB3AFB2E3F2DF055 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:18] 833*2^1437664-1 is not prime. Res64: 366C272F0E7DE582 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:19] 873*2^1437664-1 is not prime. Res64: 260C30781892158A Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:19] 917*2^1437664-1 is not prime. Res64: 19B7BB9C96C979D5 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:19] 705*2^1437665-1 is not prime. Res64: 390CA6EB52812235 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:20] 937*2^1437665-1 is not prime. Res64: 52A6F6B5B5036E5F Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:53] 611*2^1437666-1 is not prime. Res64: 0F07D49E601C4126 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:53] 627*2^1437666-1 is not prime. Res64: 33F369A5C1A67C11 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:54] 971*2^1437666-1 is not prime. Res64: F728EA9513CBCC94 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:54] 603*2^1437667-1 is not prime. Res64: EE3562ED73B81C12 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:35:54] 639*2^1437667-1 is not prime. Res64: BD70731B5F44C3A9 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:57:41] 703*2^1437667-1 is not prime. Res64: BC8265FD17521655 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:57:41] 769*2^1437667-1 is not prime. Res64: 80CFFCE9DCD3E5C1 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:57:42] 805*2^1437667-1 is not prime. Res64: 8AED0583BE213C46 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:57:42] 819*2^1437667-1 is not prime. Res64: AFF4E0407A658AD6 Time : 0.0 sec. user=mdettweiler [2016-08-16 07:57:42] 885*2^1437667-1 is not prime. Res64: F3A6425D841B0D99 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:09:37] 993*2^1437667-1 is not prime. Res64: E92F53CFA719379E Time : 0.0 sec. user=mdettweiler [2016-08-16 08:09:38] 683*2^1437668-1 is not prime. Res64: 02458BBB396593B5 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:09:39] 707*2^1437668-1 is not prime. Res64: 669158DA40BB8DE8 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:09:39] 839*2^1437668-1 is not prime. Res64: 88FD9610E88E0AC3 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:09:40] 845*2^1437668-1 is not prime. Res64: 271770AC710AA5F6 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:15] 927*2^1437668-1 is not prime. Res64: 29B6F8188A2C8FD5 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:16] 655*2^1437669-1 is not prime. Res64: 73C8B2D77FD8D9DE Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:16] 781*2^1437669-1 is not prime. Res64: 8A73B7320F51FE0B Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:16] 837*2^1437669-1 is not prime. Res64: F7BB3BD5DA1E0D13 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:17] 861*2^1437669-1 is not prime. Res64: 0C543DD05239B941 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:52] 927*2^1437669-1 is not prime. Res64: AE1DD1B864E0F34C Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:53] 955*2^1437669-1 is not prime. Res64: D2DC28D472FF990D Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:53] 975*2^1437669-1 is not prime. Res64: F74C5E3EAFAAA3E4 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:53] 681*2^1437670-1 is not prime. Res64: 54B676D0D790B844 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:20:54] 713*2^1437670-1 is not prime. Res64: 2ED977EB82941D99 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:42:50] 723*2^1437670-1 is not prime. Res64: 28DD7A19052BCEDA Time : 0.0 sec. user=mdettweiler [2016-08-16 08:42:51] 861*2^1437670-1 is not prime. Res64: 67CD65CE712C68F0 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:42:51] 957*2^1437670-1 is not prime. Res64: D6C856DB24AE15F8 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:42:52] 669*2^1437671-1 is not prime. Res64: 7B56D278DF66A761 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:42:52] 753*2^1437671-1 is not prime. Res64: 969C5705AD9816B2 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:55:03] 805*2^1437671-1 is not prime. Res64: 5FC89F4502C0EB9F Time : 0.0 sec. user=mdettweiler [2016-08-16 08:55:03] 859*2^1437671-1 is not prime. Res64: 88EA3BE45F3AD290 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:55:04] 991*2^1437671-1 is not prime. Res64: 01D741EB512F1AFF Time : 0.0 sec. user=mdettweiler [2016-08-16 08:55:04] 929*2^1437672-1 is not prime. Res64: A7E2D62026C25141 Time : 0.0 sec. user=mdettweiler [2016-08-16 08:55:04] 639*2^1437673-1 is not prime. Res64: FBE11B93C427D17B Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:04] 675*2^1437673-1 is not prime. Res64: 980FB676CE1F8829 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:05] 741*2^1437673-1 is not prime. Res64: 1E8AAE5B8B03F0E3 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:06] 805*2^1437673-1 is not prime. Res64: 1F073F71DFAD934C Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:07] 829*2^1437673-1 is not prime. Res64: 230AFAF85E525068 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:08] 877*2^1437673-1 is not prime. Res64: 0D2AAB6188A2E175 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:53] 951*2^1437673-1 is not prime. Res64: BF6FA7D21AD31870 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:54] 941*2^1437674-1 is not prime. Res64: 8F5C65629FC97188 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:55] 981*2^1437674-1 is not prime. Res64: 47C60E1729813E03 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:56] 619*2^1437675-1 is not prime. Res64: 7306E48E0BB9F55B Time : 0.0 sec. user=mdettweiler [2016-08-16 09:05:57] 633*2^1437675-1 is not prime. Res64: 9BBB33A6B9BD1431 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:27:32] 649*2^1437675-1 is not prime. Res64: C4D929BF329B5836 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:27:32] 685*2^1437675-1 is not prime. Res64: 43E26AFEEC5B07C2 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:27:33] 805*2^1437675-1 is not prime. Res64: 658D5B6A94D6B102 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:27:33] 823*2^1437675-1 is not prime. Res64: 548A9825C4FC9221 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:27:33] 629*2^1437676-1 is not prime. Res64: 29084C6416654BAD Time : 0.0 sec. user=mdettweiler [2016-08-16 09:39:59] 647*2^1437676-1 is not prime. Res64: 3C354D19DD19D545 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:39:59] 899*2^1437676-1 is not prime. Res64: EF1FD7D88BD15638 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:39:59] 939*2^1437676-1 is not prime. Res64: 382A7DE86D7EDEC5 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:40:00] 969*2^1437676-1 is not prime. Res64: A842B6CD1AFF6268 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:40:00] 975*2^1437676-1 is not prime. Res64: CC55B7C4493EC49B Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:20] 615*2^1437677-1 is not prime. Res64: FEA18046379ECD2B Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:21] 619*2^1437677-1 is not prime. Res64: 10170C2EC7361AF2 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:21] 621*2^1437677-1 is not prime. Res64: 7AC93DC69FFDC8FB Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:21] 627*2^1437678-1 is not prime. Res64: B50F30EAADEEAA03 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:22] 681*2^1437678-1 is not prime. Res64: 66EE2ED66CE17A6E Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:51] 765*2^1437678-1 is not prime. Res64: 697EF5A710F8D524 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:51] 881*2^1437678-1 is not prime. Res64: 2E1342AAF5224AFB Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:52] 893*2^1437678-1 is not prime. Res64: 94C50BF126213A10 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:52] 915*2^1437678-1 is not prime. Res64: 49EAA06F189CBF12 Time : 0.0 sec. user=mdettweiler [2016-08-16 09:50:52] 927*2^1437678-1 is not prime. Res64: 2CD546CF50029E83 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:12:28] 975*2^1437678-1 is not prime. Res64: 2BDB0782827720E5 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:12:29] 609*2^1437679-1 is not prime. Res64: BBF977B251B31E8D Time : 0.0 sec. user=mdettweiler [2016-08-16 10:12:30] 759*2^1437679-1 is not prime. Res64: D7F72D0DDC3B5A29 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:12:30] 853*2^1437679-1 is not prime. Res64: FC2DFB7221D0A9D2 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:12:32] 885*2^1437679-1 is not prime. Res64: 5A13FAB1F64E9FED Time : 0.0 sec. user=mdettweiler [2016-08-16 10:24:52] 931*2^1437679-1 is not prime. Res64: 18D62B70FE0CA1C7 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:24:52] 969*2^1437679-1 is not prime. Res64: CF2506B800C70EB0 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:24:52] 759*2^1437680-1 is not prime. Res64: FEB2AFDB8716B7B9 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:24:53] 773*2^1437680-1 is not prime. Res64: FD7B7132DEF5F82F Time : 0.0 sec. user=mdettweiler [2016-08-16 10:24:53] 827*2^1437680-1 is not prime. Res64: 11EB66DB8541C898 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:02] 845*2^1437680-1 is not prime. Res64: ED0B0302414A178E Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:02] 607*2^1437681-1 is not prime. Res64: 6A76BAE90808E3EC Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:03] 669*2^1437681-1 is not prime. Res64: 9F0FB480BC23FCE2 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:03] 711*2^1437681-1 is not prime. Res64: 2B78C57F994A159E Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:03] 921*2^1437681-1 is not prime. Res64: 7BCD2A3960558CA3 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:36] 937*2^1437681-1 is not prime. Res64: E198DFB9F0F4C665 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:36] 987*2^1437681-1 is not prime. Res64: E6744AB559F9EC5B Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:36] 647*2^1437682-1 is not prime. Res64: 235A9BEED2E98AB0 Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:37] 701*2^1437682-1 is not prime. Res64: 13B1A5AF719641BD Time : 0.0 sec. user=mdettweiler [2016-08-16 10:35:37] 713*2^1437682-1 is not prime. Res64: 41E748906EFD6EB9 Time : 0.0 sec. user=juhehe [2016-08-16 10:50:43] 827*2^1437682-1 is not prime. Res64: 5BC747EB7CEA5D4D Time : 0.0 sec. user=mdettweiler [2016-08-16 10:57:27] 833*2^1437682-1 is not prime. Res64: 1F60E4D3F025297E Time : 0.0 sec. user=mdettweiler [2016-08-16 10:57:27] 885*2^1437682-1 is not prime. Res64: B990FE2C046F778A Time : 0.0 sec. user=mdettweiler [2016-08-16 10:57:28] 891*2^1437682-1 is not prime. Res64: 531E342CBE3D2F1E Time : 0.0 sec. user=mdettweiler [2016-08-16 10:57:28] 923*2^1437682-1 is not prime. Res64: 072E51354BC9115C Time : 0.0 sec. user=mdettweiler [2016-08-16 10:57:29] 945*2^1437682-1 is not prime. Res64: A84D57A56033D486 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:09:36] 983*2^1437682-1 is not prime. Res64: 7F82C7D5D43E6F1A Time : 0.0 sec. user=mdettweiler [2016-08-16 11:09:37] 615*2^1437683-1 is not prime. Res64: 5F8F77522217107F Time : 0.0 sec. user=mdettweiler [2016-08-16 11:09:38] 783*2^1437683-1 is not prime. Res64: FAD95D2E2ECFA842 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:09:40] 981*2^1437683-1 is not prime. Res64: EA4EAA8F67E064FF Time : 0.0 sec. user=mdettweiler [2016-08-16 11:09:41] 985*2^1437683-1 is not prime. Res64: 15A02F86779CE2E3 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:19:48] 627*2^1437684-1 is not prime. Res64: A35149117D00E4F6 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:19:49] 705*2^1437684-1 is not prime. Res64: 1A292874247AE606 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:19:49] 875*2^1437684-1 is not prime. Res64: 8A85092C44B38F47 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:19:49] 993*2^1437684-1 is not prime. Res64: 1D163A5159CA88CA Time : 0.0 sec. user=mdettweiler [2016-08-16 11:19:50] 685*2^1437685-1 is not prime. Res64: 2FA7A616B7EE5A3A Time : 0.0 sec. user=mdettweiler [2016-08-16 11:20:13] 691*2^1437685-1 is not prime. Res64: FD9F8423285477A8 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:20:14] 759*2^1437685-1 is not prime. Res64: 0F04B6FF881C9E17 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:20:14] 777*2^1437685-1 is not prime. Res64: 4B483493A3DDC8F0 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:20:15] 871*2^1437685-1 is not prime. Res64: 34C89D5BABECB4FB Time : 0.0 sec. user=mdettweiler [2016-08-16 11:20:15] 939*2^1437685-1 is not prime. Res64: E094233E86FCE670 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:42:13] 999*2^1437685-1 is not prime. Res64: AA1E3624CEFC5827 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:42:13] 635*2^1437686-1 is not prime. Res64: 3434E3C4876A2C90 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:42:13] 645*2^1437686-1 is not prime. Res64: 6AFCA19099FEB5D7 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:42:14] 875*2^1437686-1 is not prime. Res64: 7720FC0B21ADD38C Time : 0.0 sec. user=mdettweiler [2016-08-16 11:42:14] 941*2^1437686-1 is not prime. Res64: 4DD6916D76E99C2B Time : 0.0 sec. user=mdettweiler [2016-08-16 11:54:55] 751*2^1437687-1 is not prime. Res64: AF271DAA9DD7CD4B Time : 0.0 sec. user=mdettweiler [2016-08-16 11:54:56] 765*2^1437687-1 is not prime. Res64: 178E7DC327F96E13 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:54:56] 829*2^1437687-1 is not prime. Res64: 5A3E7D99756DA0CA Time : 0.0 sec. user=mdettweiler [2016-08-16 11:54:56] 831*2^1437687-1 is not prime. Res64: 4238EB8A872EDC84 Time : 0.0 sec. user=mdettweiler [2016-08-16 11:54:57] 849*2^1437687-1 is not prime. Res64: F11A6A4D4C23C2D5 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:04:45] 665*2^1437688-1 is not prime. Res64: E47E440CD4EC22A3 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:04:47] 687*2^1437688-1 is not prime. Res64: DB1D24F178FC158E Time : 0.0 sec. user=mdettweiler [2016-08-16 12:04:49] 699*2^1437688-1 is not prime. Res64: 482ABEE95C880A95 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:04:51] 773*2^1437688-1 is not prime. Res64: DFE2EB13149FC661 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:04:52] 915*2^1437688-1 is not prime. Res64: 196765B125191344 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:05:11] 989*2^1437688-1 is not prime. Res64: 5744CB96B32D08CE Time : 0.0 sec. user=mdettweiler [2016-08-16 12:05:12] 631*2^1437689-1 is not prime. Res64: BFF06A4E64B504B2 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:05:13] 741*2^1437689-1 is not prime. Res64: D991DD7C5ADE5072 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:05:14] 771*2^1437689-1 is not prime. Res64: E35ADAB449E74BC9 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:05:15] 819*2^1437689-1 is not prime. Res64: C26D0E0E7CB16E23 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:27:35] 837*2^1437689-1 is not prime. Res64: 2B9957912EE2B18F Time : 0.0 sec. user=mdettweiler [2016-08-16 12:27:36] 861*2^1437689-1 is not prime. Res64: F14E2EAEA72A3369 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:27:36] 867*2^1437689-1 is not prime. Res64: F7FAD2ED6602CDD3 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:27:36] 949*2^1437689-1 is not prime. Res64: 1D695B0B21CD3926 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:27:36] 991*2^1437689-1 is not prime. Res64: B8D4C7AB018D132D Time : 0.0 sec. user=mdettweiler [2016-08-16 12:40:13] 651*2^1437690-1 is not prime. Res64: 06F73A447622733B Time : 0.0 sec. user=mdettweiler [2016-08-16 12:40:14] 665*2^1437690-1 is not prime. Res64: B18033D7B612929B Time : 0.0 sec. user=mdettweiler [2016-08-16 12:40:14] 755*2^1437690-1 is not prime. Res64: 9873140B2D6597A9 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:40:14] 777*2^1437690-1 is not prime. Res64: ECC28474FC332876 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:40:14] 783*2^1437690-1 is not prime. Res64: 50C8F2505FE804F0 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:15] 801*2^1437690-1 is not prime. Res64: 455ABF76FF1ECD8F Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:16] 845*2^1437690-1 is not prime. Res64: D88BBEBD9D206470 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:16] 927*2^1437690-1 is not prime. Res64: F94A955854E234A8 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:16] 619*2^1437691-1 is not prime. Res64: C781C28FFBD4B9CE Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:16] 741*2^1437691-1 is not prime. Res64: 83DC2ADD88D4B836 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:40] 771*2^1437691-1 is not prime. Res64: D89C1CD8730AC2F6 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:40] 819*2^1437691-1 is not prime. Res64: 93CAF3CAB8E5351A Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:40] 931*2^1437691-1 is not prime. Res64: 31C7E79845B3B739 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:40] 993*2^1437691-1 is not prime. Res64: 9EBDF2387C926290 Time : 0.0 sec. user=mdettweiler [2016-08-16 12:50:41] 665*2^1437692-1 is not prime. Res64: 9BD7D3771C18F639 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:15:34] 777*2^1437692-1 is not prime. Res64: 2F328F7598EEA784 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:15:35] 825*2^1437692-1 is not prime. Res64: 857E91B8051A0CC7 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:15:35] 957*2^1437692-1 is not prime. Res64: F81AEC1A984647F3 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:15:36] 999*2^1437692-1 is not prime. Res64: 585A08B36DB0184E Time : 0.0 sec. user=mdettweiler [2016-08-16 13:15:37] 679*2^1437693-1 is not prime. Res64: 3C61CFD72A131BBF Time : 0.0 sec. user=mdettweiler [2016-08-16 13:28:52] 721*2^1437693-1 is not prime. Res64: 0610BB576B66F6DE Time : 0.0 sec. user=mdettweiler [2016-08-16 13:28:53] 861*2^1437693-1 is not prime. Res64: 8BA48A628839D350 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:28:53] 895*2^1437693-1 is not prime. Res64: A90F6B7B1E4A6E12 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:28:53] 915*2^1437693-1 is not prime. Res64: E52289E0CAA987DC Time : 0.0 sec. user=mdettweiler [2016-08-16 13:28:53] 991*2^1437693-1 is not prime. Res64: CC9C94044B6F85C3 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:38:14] 681*2^1437694-1 is not prime. Res64: 1834C198CC16F6AD Time : 0.0 sec. user=mdettweiler [2016-08-16 13:38:14] 737*2^1437694-1 is not prime. Res64: 7F5E5452F38A2BC3 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:38:14] 857*2^1437694-1 is not prime. Res64: B542D41955C3DF64 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:38:15] 971*2^1437694-1 is not prime. Res64: 3D9DC03D153017EF Time : 0.0 sec. user=mdettweiler [2016-08-16 13:38:15] 983*2^1437694-1 is not prime. Res64: B8E19EA2DB1B6AE5 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:40:09] 831*2^1437695-1 is not prime. Res64: 0A594019869AD874 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:40:09] 943*2^1437695-1 is not prime. Res64: 4704FE5A79FF9303 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:40:09] 695*2^1437696-1 is not prime. Res64: 58A31B8E54843F1A Time : 0.0 sec. user=mdettweiler [2016-08-16 13:40:09] 707*2^1437696-1 is not prime. Res64: 72B1CBEC4046D2B8 Time : 0.0 sec. user=mdettweiler [2016-08-16 13:40:09] 737*2^1437696-1 is not prime. Res64: 70B76E1A3DDBC038 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:02:57] 759*2^1437696-1 is not prime. Res64: A261B3C49779BE94 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:02:58] 879*2^1437696-1 is not prime. Res64: 6659EAD14404BB76 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:02:59] 729*2^1437697-1 is not prime. Res64: B6E6D6FEE5109BB7 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:03:00] 747*2^1437697-1 is not prime. Res64: 5E9257A567938DCF Time : 0.0 sec. user=mdettweiler [2016-08-16 14:03:01] 771*2^1437697-1 is not prime. Res64: E949D71BC907F394 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:16:23] 775*2^1437697-1 is not prime. Res64: 6EF1AFD6C3D85F42 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:16:24] 831*2^1437697-1 is not prime. Res64: A2736108ED30E2B6 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:16:25] 885*2^1437697-1 is not prime. Res64: 11071C442A168C63 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:16:26] 901*2^1437697-1 is not prime. Res64: 6749B818FC3D4B82 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:16:27] 919*2^1437697-1 is not prime. Res64: B3D5D237996D5C26 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:25:07] 617*2^1437698-1 is not prime. Res64: 74D307717BDF770D Time : 0.0 sec. user=mdettweiler [2016-08-16 14:25:08] 945*2^1437698-1 is not prime. Res64: CF07DC64ECC4621B Time : 0.0 sec. user=mdettweiler [2016-08-16 14:25:08] 977*2^1437698-1 is not prime. Res64: 96DF55DE80BF9CC0 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:25:09] 609*2^1437699-1 is not prime. Res64: 728349AC1B8B9EFC Time : 0.0 sec. user=mdettweiler [2016-08-16 14:25:09] 615*2^1437699-1 is not prime. Res64: DDC8174EC7BFBF76 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:26:55] 705*2^1437699-1 is not prime. Res64: A3F2B50EF22059BD Time : 0.0 sec. user=mdettweiler [2016-08-16 14:26:55] 745*2^1437699-1 is not prime. Res64: 4BD774059AA14C29 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:26:56] 903*2^1437699-1 is not prime. Res64: 0287AA705F6430A9 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:26:56] 931*2^1437699-1 is not prime. Res64: 3E6A60651566CBEF Time : 0.0 sec. user=mdettweiler [2016-08-16 14:26:57] 951*2^1437699-1 is not prime. Res64: CDA5478E10A4A8EE Time : 0.0 sec. user=mdettweiler [2016-08-16 14:48:54] 973*2^1437699-1 is not prime. Res64: 0B880C60DD538AA4 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:48:54] 975*2^1437699-1 is not prime. Res64: 71125C6184549AAD Time : 0.0 sec. user=mdettweiler [2016-08-16 14:48:54] 653*2^1437700-1 is not prime. Res64: B9C00C85828DC1BA Time : 0.0 sec. user=mdettweiler [2016-08-16 14:48:55] 719*2^1437700-1 is not prime. Res64: 8205CE269FD9C303 Time : 0.0 sec. user=mdettweiler [2016-08-16 14:48:55] 723*2^1437700-1 is not prime. Res64: C188294D3EC142F4 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:01:49] 765*2^1437700-1 is not prime. Res64: 511219D363CE2208 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:01:51] 773*2^1437700-1 is not prime. Res64: E07958C7A9219071 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:01:52] 813*2^1437700-1 is not prime. Res64: 4818DD26BB517D5B Time : 0.0 sec. user=mdettweiler [2016-08-16 15:01:53] 845*2^1437700-1 is not prime. Res64: 84892315EE9305E5 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:01:54] 857*2^1437700-1 is not prime. Res64: 19D901FEB608636E Time : 0.0 sec. user=mdettweiler [2016-08-16 15:10:14] 983*2^1437700-1 is not prime. Res64: 166C46B31A1C10E2 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:10:15] 989*2^1437700-1 is not prime. Res64: 656510A88986D656 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:10:15] 995*2^1437700-1 is not prime. Res64: C7C8AA72ECAB0E36 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:10:16] 669*2^1437701-1 is not prime. Res64: 5EB69829FCEAA495 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:10:16] 717*2^1437701-1 is not prime. Res64: 99C512B3AA3A66F7 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:12:05] 735*2^1437701-1 is not prime. Res64: 5DA81166E3DC2A40 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:12:07] 795*2^1437701-1 is not prime. Res64: 314E3973C4B29D80 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:12:07] 811*2^1437701-1 is not prime. Res64: D2E61FC091CB566E Time : 0.0 sec. user=mdettweiler [2016-08-16 15:12:08] 861*2^1437701-1 is not prime. Res64: DA2D541D4A978C50 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:12:09] 949*2^1437701-1 is not prime. Res64: 0E3CFD1FDB478445 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:34:19] 997*2^1437701-1 is not prime. Res64: 3AFC0860DACAE450 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:34:20] 713*2^1437702-1 is not prime. Res64: 55F9276E46239EA3 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:34:20] 725*2^1437702-1 is not prime. Res64: 0598BB1F8E800ABF Time : 0.0 sec. user=mdettweiler [2016-08-16 15:34:20] 815*2^1437702-1 is not prime. Res64: 835F23BDE5019639 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:34:21] 833*2^1437702-1 is not prime. Res64: FCBD075FC0CAF853 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:47:45] 893*2^1437702-1 is not prime. Res64: 85FC2F50FB13882B Time : 0.0 sec. user=mdettweiler [2016-08-16 15:47:46] 951*2^1437702-1 is not prime. Res64: DA71D1014419AAEF Time : 0.0 sec. user=mdettweiler [2016-08-16 15:47:46] 977*2^1437702-1 is not prime. Res64: 17CCA3C873F6D290 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:47:46] 649*2^1437703-1 is not prime. Res64: 895DE5F77905A584 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:47:47] 709*2^1437703-1 is not prime. Res64: 7798D4FC5763D6A6 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:55:18] 723*2^1437703-1 is not prime. Res64: C6CD90D63AF2D560 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:55:18] 741*2^1437703-1 is not prime. Res64: A6E6A4820175A737 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:55:19] 765*2^1437703-1 is not prime. Res64: F88B0EE16262B070 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:55:19] 859*2^1437703-1 is not prime. Res64: 186D13349D11E522 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:55:20] 873*2^1437703-1 is not prime. Res64: DB64081666BF0028 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:57:13] 891*2^1437703-1 is not prime. Res64: 14AB6CD12503AEF8 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:57:14] 687*2^1437704-1 is not prime. Res64: 20F60F530D046570 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:57:14] 903*2^1437704-1 is not prime. Res64: 5CF456CAD49F5914 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:57:14] 915*2^1437704-1 is not prime. Res64: 260D045255B32102 Time : 0.0 sec. user=mdettweiler [2016-08-16 15:57:15] 983*2^1437704-1 is not prime. Res64: 2CEA9153E6732291 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:19:30] 691*2^1437705-1 is not prime. Res64: D2E4BDA848299418 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:19:30] 727*2^1437705-1 is not prime. Res64: DC575D1255804AC4 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:19:30] 735*2^1437705-1 is not prime. Res64: 5C86CED7556DF2FE Time : 0.0 sec. user=mdettweiler [2016-08-16 16:19:31] 985*2^1437705-1 is not prime. Res64: FC682D1EB67FE93F Time : 0.0 sec. user=mdettweiler [2016-08-16 16:19:31] 635*2^1437706-1 is not prime. Res64: F6E2D957A53B3CA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:32:46] 735*2^1437706-1 is not prime. Res64: B24F6ABDF7F0AAE0 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:32:46] 777*2^1437706-1 is not prime. Res64: 2DBFE00FF7DDEDB3 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:32:47] 803*2^1437706-1 is not prime. Res64: E96D11DBBEAD0836 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:32:47] 933*2^1437706-1 is not prime. Res64: 93D66A963052BB48 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:32:47] 601*2^1437707-1 is not prime. Res64: D08775B872C465F1 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:40:19] 651*2^1437707-1 is not prime. Res64: C2AA132F4BA79A84 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:40:20] 669*2^1437707-1 is not prime. Res64: A18542DEA19A6C7A Time : 0.0 sec. user=mdettweiler [2016-08-16 16:40:20] 699*2^1437707-1 is not prime. Res64: 0FCB630DB7CB490A Time : 0.0 sec. user=mdettweiler [2016-08-16 16:40:21] 703*2^1437707-1 is not prime. Res64: 5710D417607CCBB3 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:40:21] 801*2^1437707-1 is not prime. Res64: 3779406CCB85EC6B Time : 0.0 sec. user=mdettweiler [2016-08-16 16:42:18] 879*2^1437707-1 is not prime. Res64: 11582A086DB841C6 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:42:18] 979*2^1437707-1 is not prime. Res64: 85CD8BCE3ED56EDB Time : 0.0 sec. user=mdettweiler [2016-08-16 16:42:18] 605*2^1437708-1 is not prime. Res64: DA73BA10ABA8C3CC Time : 0.0 sec. user=mdettweiler [2016-08-16 16:42:19] 723*2^1437708-1 is not prime. Res64: 4BD50567E16928E8 Time : 0.0 sec. user=mdettweiler [2016-08-16 16:42:19] 959*2^1437708-1 is not prime. Res64: 8330906DA6E22F79 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:04:56] 993*2^1437708-1 is not prime. Res64: 1169B06F8594566E Time : 0.0 sec. user=mdettweiler [2016-08-16 17:04:57] 699*2^1437709-1 is not prime. Res64: 857C211CEE94F7E2 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:04:58] 721*2^1437709-1 is not prime. Res64: E4E53D0F2431A1B7 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:04:59] 729*2^1437709-1 is not prime. Res64: BBCFCE57015BDBF9 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:05:00] 769*2^1437709-1 is not prime. Res64: 75021289C742F5A7 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:18:38] 931*2^1437709-1 is not prime. Res64: CE8FD6564BB64B19 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:18:38] 957*2^1437709-1 is not prime. Res64: C002F06EBDE87F10 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:18:38] 665*2^1437710-1 is not prime. Res64: 95B1D5CCA9963C19 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:18:38] 675*2^1437710-1 is not prime. Res64: F1576E79357D3120 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:18:39] 717*2^1437710-1 is not prime. Res64: 171955A0455E8990 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:26:50] 801*2^1437710-1 is not prime. Res64: 61A0DCB4D8E88401 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:26:51] 827*2^1437710-1 is not prime. Res64: 72FC818F5710CFBC Time : 0.0 sec. user=mdettweiler [2016-08-16 17:26:51] 857*2^1437710-1 is not prime. Res64: F898C3B1FF53DB80 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:26:51] 709*2^1437711-1 is not prime. Res64: 451FDFEFB76FF332 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:26:51] 745*2^1437711-1 is not prime. Res64: 593AF20643F60D5C Time : 0.0 sec. user=mdettweiler [2016-08-16 17:28:51] 861*2^1437711-1 is not prime. Res64: 41B46FC7EE298351 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:28:51] 885*2^1437711-1 is not prime. Res64: 93A29915D4174322 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:28:51] 949*2^1437711-1 is not prime. Res64: 78D66958F121C937 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:28:52] 951*2^1437711-1 is not prime. Res64: 58535BA25F404969 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:28:52] 615*2^1437712-1 is not prime. Res64: 9C27C7E7A6326C81 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:52:13] 653*2^1437712-1 is not prime. Res64: 20F1419F1743AFF9 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:52:13] 693*2^1437712-1 is not prime. Res64: 16392EE53092A5A6 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:52:13] 717*2^1437712-1 is not prime. Res64: 67E3D76F9E8D0FC0 Time : 0.0 sec. user=mdettweiler [2016-08-16 17:52:13] 785*2^1437712-1 is not prime. Res64: 06D8284E799E940B Time : 0.0 sec. user=mdettweiler [2016-08-16 17:52:13] 827*2^1437712-1 is not prime. Res64: CE1DB3740969EC0D Time : 0.0 sec. user=mdettweiler [2016-08-16 18:05:31] 869*2^1437712-1 is not prime. Res64: FBD5EC99BC357585 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:05:32] 957*2^1437712-1 is not prime. Res64: BC2AE7CD7049B7ED Time : 0.0 sec. user=mdettweiler [2016-08-16 18:05:33] 989*2^1437712-1 is not prime. Res64: B9A4299548A86142 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:05:34] 999*2^1437712-1 is not prime. Res64: 32134D773477EC49 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:05:35] 607*2^1437713-1 is not prime. Res64: F2C9FF1DDEB7600A Time : 0.0 sec. user=mdettweiler [2016-08-16 18:13:25] 699*2^1437713-1 is not prime. Res64: 671F5C2E96EDCD54 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:13:26] 727*2^1437713-1 is not prime. Res64: 27AB957946D2AFA6 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:13:27] 855*2^1437713-1 is not prime. Res64: A5039B037DE6C5A9 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:13:28] 605*2^1437714-1 is not prime. Res64: 7D60A961EA6B69CC Time : 0.0 sec. user=mdettweiler [2016-08-16 18:13:29] 641*2^1437714-1 is not prime. Res64: D15ABE48337D0D27 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:15:22] 657*2^1437714-1 is not prime. Res64: 21F8EA849A43BFE4 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:15:22] 677*2^1437714-1 is not prime. Res64: 48BA8D6AA083F096 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:15:22] 767*2^1437714-1 is not prime. Res64: 48F74FEAD276CCB3 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:15:23] 807*2^1437714-1 is not prime. Res64: 2A3BCF4E75E2DC16 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:15:23] 851*2^1437714-1 is not prime. Res64: DDA158D2012CAD8C Time : 0.0 sec. user=mdettweiler [2016-08-16 18:37:45] 917*2^1437714-1 is not prime. Res64: 51BC21E87CB2DF29 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:37:46] 921*2^1437714-1 is not prime. Res64: 4503D9E54EEC77CF Time : 0.0 sec. user=mdettweiler [2016-08-16 18:37:46] 957*2^1437714-1 is not prime. Res64: 4B61C33BC300D1B0 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:37:46] 971*2^1437714-1 is not prime. Res64: 481135AD03438AE8 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:37:47] 975*2^1437714-1 is not prime. Res64: 732E44ED107FC4E5 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:51:03] 663*2^1437715-1 is not prime. Res64: 3948DB053B32C91B Time : 0.0 sec. user=mdettweiler [2016-08-16 18:51:03] 849*2^1437715-1 is not prime. Res64: 6048EE5861B2797A Time : 0.0 sec. user=mdettweiler [2016-08-16 18:51:03] 623*2^1437716-1 is not prime. Res64: 998E4C1E0D72EC8F Time : 0.0 sec. user=mdettweiler [2016-08-16 18:51:04] 789*2^1437716-1 is not prime. Res64: 96BA59CFEF43F5E8 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:51:04] 923*2^1437716-1 is not prime. Res64: 005F81602744D7EB Time : 0.0 sec. user=mdettweiler [2016-08-16 18:58:41] 847*2^1437717-1 is not prime. Res64: 41E84D467A727FD1 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:58:41] 919*2^1437717-1 is not prime. Res64: 780954DDED37D34E Time : 0.0 sec. user=mdettweiler [2016-08-16 18:58:42] 927*2^1437717-1 is not prime. Res64: 9E10F0D80F688F9F Time : 0.0 sec. user=mdettweiler [2016-08-16 18:58:42] 603*2^1437718-1 is not prime. Res64: 97547148D182E743 Time : 0.0 sec. user=mdettweiler [2016-08-16 18:58:43] 731*2^1437718-1 is not prime. Res64: 6A9DAFD66C68AB7D Time : 0.0 sec. user=mdettweiler [2016-08-16 19:00:27] 765*2^1437718-1 is not prime. Res64: 9EABBB50C2E50E9F Time : 0.0 sec. user=mdettweiler [2016-08-16 19:00:28] 815*2^1437718-1 is not prime. Res64: 697A9853D1E7B828 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:00:30] 843*2^1437718-1 is not prime. Res64: AF511D42D3C242C8 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:00:31] 911*2^1437718-1 is not prime. Res64: BA0CB59E424F7AC7 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:00:32] 945*2^1437718-1 is not prime. Res64: D03F4418F833DA38 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:22:48] 987*2^1437718-1 is not prime. Res64: F1A9076B6424DBE9 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:22:48] 993*2^1437718-1 is not prime. Res64: E535A0885DAAA15A Time : 0.0 sec. user=mdettweiler [2016-08-16 19:22:49] 669*2^1437719-1 is not prime. Res64: EE3BD519B18600D1 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:22:49] 831*2^1437719-1 is not prime. Res64: E12F8D863C1C17B0 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:22:49] 855*2^1437719-1 is not prime. Res64: C6421CF081116953 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:36:18] 883*2^1437719-1 is not prime. Res64: 8CA07BEE1EFA7579 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:36:19] 753*2^1437720-1 is not prime. Res64: 3CD3B59F843C2E0A Time : 0.0 sec. user=mdettweiler [2016-08-16 19:36:19] 607*2^1437721-1 is not prime. Res64: E9134CDA788161C0 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:36:19] 615*2^1437721-1 is not prime. Res64: EAAE5BAAD1D2C71C Time : 0.0 sec. user=mdettweiler [2016-08-16 19:36:20] 645*2^1437721-1 is not prime. Res64: 6B09822BAE62D4CE Time : 0.0 sec. user=mdettweiler [2016-08-16 19:43:38] 675*2^1437721-1 is not prime. Res64: 3A90A6E60F8395A1 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:43:38] 955*2^1437721-1 is not prime. Res64: 0BBFF5A0E35C2648 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:43:38] 671*2^1437722-1 is not prime. Res64: 543FC6AB025AA117 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:43:39] 705*2^1437722-1 is not prime. Res64: 41DBEB870379DC8C Time : 0.0 sec. user=mdettweiler [2016-08-16 19:43:39] 743*2^1437722-1 is not prime. Res64: 20FAE8828B01E75F Time : 0.0 sec. user=mdettweiler [2016-08-16 19:45:40] 825*2^1437722-1 is not prime. Res64: 80EC5A27429C6CCC Time : 0.0 sec. user=mdettweiler [2016-08-16 19:45:40] 893*2^1437722-1 is not prime. Res64: 825DDDA4A4ED6200 Time : 0.0 sec. user=mdettweiler [2016-08-16 19:45:40] 705*2^1437723-1 is not prime. Res64: 8BF7209C2FDEFB8A Time : 0.0 sec. user=mdettweiler [2016-08-16 19:45:41] 709*2^1437723-1 is not prime. Res64: A883B914783E211B Time : 0.0 sec. user=mdettweiler [2016-08-16 19:45:41] 765*2^1437723-1 is not prime. Res64: 818700FDFBCAB123 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:07:51] 781*2^1437723-1 is not prime. Res64: 3E2F3D2F5D0134BB Time : 0.0 sec. user=mdettweiler [2016-08-16 20:07:55] 783*2^1437723-1 is not prime. Res64: 13A1B1BB2A79CC02 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:07:59] 795*2^1437723-1 is not prime. Res64: BB84EF5253906471 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:08:01] 891*2^1437723-1 is not prime. Res64: 481C34A09D6F9224 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:08:03] 677*2^1437724-1 is not prime. Res64: F677AADA18DF8F21 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:21:22] 759*2^1437724-1 is not prime. Res64: 13A17293CA032448 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:21:22] 803*2^1437724-1 is not prime. Res64: 036F1E11787FB778 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:21:23] 869*2^1437724-1 is not prime. Res64: 02EF4DB8F11F157E Time : 0.0 sec. user=mdettweiler [2016-08-16 20:21:23] 873*2^1437724-1 is not prime. Res64: A770051B35B06997 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:21:23] 969*2^1437724-1 is not prime. Res64: 389E8F1A7DDD6524 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:28:47] 989*2^1437724-1 is not prime. Res64: D1ADA76BA2DFC903 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:28:48] 627*2^1437725-1 is not prime. Res64: 08F140DBF02856EB Time : 0.0 sec. user=mdettweiler [2016-08-16 20:28:48] 949*2^1437725-1 is not prime. Res64: B2296B5E8291AC76 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:28:49] 957*2^1437725-1 is not prime. Res64: B128C06164977B73 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:28:49] 647*2^1437726-1 is not prime. Res64: 4E546D28AAAA7D89 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:30:46] 723*2^1437726-1 is not prime. Res64: 939E9F116942870B Time : 0.0 sec. user=mdettweiler [2016-08-16 20:30:47] 761*2^1437726-1 is not prime. Res64: 1F9997D1CA68970E Time : 0.0 sec. user=mdettweiler [2016-08-16 20:30:47] 801*2^1437726-1 is not prime. Res64: 4DF41DA25A3C78FE Time : 0.0 sec. user=mdettweiler [2016-08-16 20:30:48] 821*2^1437726-1 is not prime. Res64: 74CB35E4DE786983 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:30:48] 873*2^1437726-1 is not prime. Res64: CF5AB56C548673E2 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:53:34] 603*2^1437727-1 is not prime. Res64: 72256B01581670C5 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:53:35] 759*2^1437727-1 is not prime. Res64: CFA3AC0C690CBDE7 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:53:35] 813*2^1437727-1 is not prime. Res64: 48212AFA77D93ADE Time : 0.0 sec. user=mdettweiler [2016-08-16 20:53:36] 859*2^1437727-1 is not prime. Res64: E82CE24F4F36B944 Time : 0.0 sec. user=mdettweiler [2016-08-16 20:53:36] 945*2^1437727-1 is not prime. Res64: 8267770876EF8D46 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:06:35] 951*2^1437727-1 is not prime. Res64: B93E15E6FAA08E45 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:06:37] 665*2^1437728-1 is not prime. Res64: 34D0F02989FAAC64 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:06:38] 677*2^1437728-1 is not prime. Res64: 2D7F1507875516BC Time : 0.0 sec. user=mdettweiler [2016-08-16 21:06:39] 755*2^1437728-1 is not prime. Res64: 51EB9B7656322FA0 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:06:40] 813*2^1437728-1 is not prime. Res64: 890FBA8CB7D850C7 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:14:02] 945*2^1437728-1 is not prime. Res64: 3D1E72C0F4C4060F Time : 0.0 sec. user=mdettweiler [2016-08-16 21:14:03] 957*2^1437728-1 is not prime. Res64: A20CF536BDF529A1 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:14:04] 999*2^1437728-1 is not prime. Res64: FC76AF7EC6968D59 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:14:05] 657*2^1437729-1 is not prime. Res64: E18F7913C5092615 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:14:05] 669*2^1437729-1 is not prime. Res64: C594D87965BC5B11 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:16:03] 705*2^1437729-1 is not prime. Res64: 4E3EB35BF0FFDF82 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:16:04] 709*2^1437729-1 is not prime. Res64: 3FE2D3DD7A384E89 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:16:04] 735*2^1437729-1 is not prime. Res64: F48E9A5792B4D22D Time : 0.0 sec. user=mdettweiler [2016-08-16 21:16:05] 847*2^1437729-1 is not prime. Res64: B54DBBE1E63E70D7 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:16:06] 919*2^1437729-1 is not prime. Res64: EDE6BB2E4629FDCA Time : 0.0 sec. user=mdettweiler [2016-08-16 21:38:54] 653*2^1437730-1 is not prime. Res64: B90480CFEEA877FA Time : 0.0 sec. user=mdettweiler [2016-08-16 21:38:54] 671*2^1437730-1 is not prime. Res64: EE7A3D2E58075F27 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:38:55] 701*2^1437730-1 is not prime. Res64: 314939839FABA96A Time : 0.0 sec. user=mdettweiler [2016-08-16 21:38:55] 803*2^1437730-1 is not prime. Res64: 6B757FC8FD90DDA7 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:38:56] 827*2^1437730-1 is not prime. Res64: A77C82078D66B353 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:52:03] 857*2^1437730-1 is not prime. Res64: 6C0795EA184A4DAE Time : 0.0 sec. user=mdettweiler [2016-08-16 21:52:04] 917*2^1437730-1 is not prime. Res64: CFD7F52819AB466D Time : 0.0 sec. user=mdettweiler [2016-08-16 21:52:04] 601*2^1437731-1 is not prime. Res64: D6B166B39EDDA632 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:52:04] 619*2^1437731-1 is not prime. Res64: F7706138E65C66CE Time : 0.0 sec. user=mdettweiler [2016-08-16 21:52:05] 859*2^1437731-1 is not prime. Res64: 25D1AF08B8ADF509 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:59:17] 871*2^1437731-1 is not prime. Res64: 55A79CA410B6C374 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:59:17] 973*2^1437731-1 is not prime. Res64: 34655A1690244AA6 Time : 0.0 sec. user=mdettweiler [2016-08-16 21:59:17] 665*2^1437732-1 is not prime. Res64: 23B10E14CEFF6D7D Time : 0.0 sec. user=mdettweiler [2016-08-16 21:59:18] 809*2^1437732-1 is not prime. Res64: 81FB6598975E441A Time : 0.0 sec. user=mdettweiler [2016-08-16 21:59:18] 825*2^1437732-1 is not prime. Res64: C0621FE63B21D1B7 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:01:08] 887*2^1437732-1 is not prime. Res64: 95313AA066D891BD Time : 0.0 sec. user=mdettweiler [2016-08-16 22:01:10] 607*2^1437733-1 is not prime. Res64: 09A84E2F4A2EED62 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:01:10] 687*2^1437733-1 is not prime. Res64: ACD4F6B769994C45 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:01:12] 867*2^1437733-1 is not prime. Res64: EC8BA399730821A5 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:01:12] 889*2^1437733-1 is not prime. Res64: BD05CFF1572EED44 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:24:08] 895*2^1437733-1 is not prime. Res64: 530DB161A4F185F9 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:24:08] 937*2^1437733-1 is not prime. Res64: BDCAD86668FE9C9C Time : 0.0 sec. user=mdettweiler [2016-08-16 22:24:08] 945*2^1437733-1 is not prime. Res64: D87A10ABDEB297CB Time : 0.0 sec. user=mdettweiler [2016-08-16 22:24:09] 957*2^1437733-1 is not prime. Res64: C273B5FAFC0E656D Time : 0.0 sec. user=mdettweiler [2016-08-16 22:24:09] 675*2^1437734-1 is not prime. Res64: 8A8DF384799D0198 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:37:36] 773*2^1437734-1 is not prime. Res64: 8E6DF83526797F5F Time : 0.0 sec. user=mdettweiler [2016-08-16 22:37:37] 815*2^1437734-1 is not prime. Res64: D1072116A35EF0D7 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:37:37] 965*2^1437734-1 is not prime. Res64: 393E522AE15BB807 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:37:38] 983*2^1437734-1 is not prime. Res64: 60BB9801A43A2E7F Time : 0.0 sec. user=mdettweiler [2016-08-16 22:37:38] 649*2^1437735-1 is not prime. Res64: D8D61EAA37690C28 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:44:17] 741*2^1437735-1 is not prime. Res64: 408DEE668BDD8A80 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:44:18] 763*2^1437735-1 is not prime. Res64: E3CFD7ED6D37EEB6 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:44:18] 853*2^1437735-1 is not prime. Res64: 4369F4B9A35BD425 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:44:19] 895*2^1437735-1 is not prime. Res64: 390C6AA5EB9E9061 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:44:19] 951*2^1437735-1 is not prime. Res64: D8ED7976E10A08A9 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:46:27] 963*2^1437735-1 is not prime. Res64: 664F5CAC2A3C934C Time : 0.0 sec. user=mdettweiler [2016-08-16 22:46:28] 677*2^1437736-1 is not prime. Res64: B87EB96047D142D5 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:46:28] 699*2^1437736-1 is not prime. Res64: 632378B8BE64E3C8 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:46:29] 803*2^1437736-1 is not prime. Res64: 2F3967D728D3FEA5 Time : 0.0 sec. user=mdettweiler [2016-08-16 22:46:29] 983*2^1437736-1 is not prime. Res64: 0199EB982FDD359C Time : 0.0 sec. user=mdettweiler [2016-08-16 23:09:44] 615*2^1437737-1 is not prime. Res64: A95A201FAE6F8EF7 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:09:46] 627*2^1437737-1 is not prime. Res64: 3FEA3E88657F7C83 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:09:47] 675*2^1437737-1 is not prime. Res64: 9C6C0742177CA46A Time : 0.0 sec. user=mdettweiler [2016-08-16 23:09:49] 777*2^1437737-1 is not prime. Res64: 41542F9F2EF82235 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:09:52] 879*2^1437737-1 is not prime. Res64: E0F82397C788488F Time : 0.0 sec. user=mdettweiler [2016-08-16 23:23:20] 925*2^1437737-1 is not prime. Res64: A4114668DB2AF69F Time : 0.0 sec. user=mdettweiler [2016-08-16 23:23:21] 931*2^1437737-1 is not prime. Res64: 62E06EDA80096071 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:23:21] 711*2^1437738-1 is not prime. Res64: C402E67C55E0743D Time : 0.0 sec. user=mdettweiler [2016-08-16 23:23:21] 765*2^1437738-1 is not prime. Res64: 752E4B366FF7AD4E Time : 0.0 sec. user=mdettweiler [2016-08-16 23:23:22] 875*2^1437738-1 is not prime. Res64: F798D856A2F4FC2D Time : 0.0 sec. user=mdettweiler [2016-08-16 23:30:15] 609*2^1437739-1 is not prime. Res64: F2E693F7BC10353A Time : 0.0 sec. user=mdettweiler [2016-08-16 23:30:16] 829*2^1437739-1 is not prime. Res64: 96A43115F10D85E7 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:30:16] 861*2^1437739-1 is not prime. Res64: 9EC22B5091F9A7CA Time : 0.0 sec. user=mdettweiler [2016-08-16 23:30:16] 913*2^1437739-1 is not prime. Res64: F7577B104334535A Time : 0.0 sec. user=mdettweiler [2016-08-16 23:30:17] 735*2^1437740-1 is not prime. Res64: A5CA098E6B35F3A1 Time : 0.0 sec. user=juhehe [2016-08-16 23:31:55] 751*2^1437741-1 is not prime. Res64: 2A25ACAA0F439444 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:32:36] 767*2^1437740-1 is not prime. Res64: C45F9338C3C1ADF0 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:32:37] 885*2^1437740-1 is not prime. Res64: B5752102C5E92AD6 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:32:37] 657*2^1437741-1 is not prime. Res64: 1C46F792E128A0CD Time : 0.0 sec. user=mdettweiler [2016-08-16 23:32:38] 661*2^1437741-1 is not prime. Res64: 49B6670D40A0C58E Time : 0.0 sec. user=mdettweiler [2016-08-16 23:32:38] 717*2^1437741-1 is not prime. Res64: 1EC98F929509DC55 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:57:40] 921*2^1437741-1 is not prime. Res64: 82B7DBF6BF86791D Time : 0.0 sec. user=mdettweiler [2016-08-16 23:57:40] 991*2^1437741-1 is not prime. Res64: 36146C7F7B911CB2 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:57:40] 611*2^1437742-1 is not prime. Res64: A44A343B27498490 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:57:41] 645*2^1437742-1 is not prime. Res64: E12E1944E239BB70 Time : 0.0 sec. user=mdettweiler [2016-08-16 23:57:41] 695*2^1437742-1 is not prime. Res64: 0E91D14DEEEDEEB6 Time : 0.0 sec.