user=mdettweiler [2016-04-18 00:07:23] 891*2^1426626-1 is not prime. Res64: 1B6817A59CA636FF Time : 0.0 sec. user=mdettweiler [2016-04-18 00:07:24] 609*2^1426627-1 is not prime. Res64: E04339DF155CDA1F Time : 0.0 sec. user=mdettweiler [2016-04-18 00:07:25] 693*2^1426627-1 is not prime. Res64: A1C7A291F76A12EB Time : 0.0 sec. user=mdettweiler [2016-04-18 00:07:25] 705*2^1426627-1 is not prime. Res64: DE6EC99718527180 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:07:26] 715*2^1426627-1 is not prime. Res64: EC6D1DCB1795353C Time : 0.0 sec. user=mdettweiler [2016-04-18 00:23:01] 945*2^1426627-1 is not prime. Res64: 22AAC65C6AD4CB9B Time : 0.0 sec. user=mdettweiler [2016-04-18 00:23:01] 665*2^1426628-1 is not prime. Res64: 763CC7E6EB16F26B Time : 0.0 sec. user=mdettweiler [2016-04-18 00:23:02] 669*2^1426628-1 is not prime. Res64: 093E73B71B6E2D8E Time : 0.0 sec. user=mdettweiler [2016-04-18 00:23:02] 843*2^1426628-1 is not prime. Res64: 423F0332C1EB022F Time : 0.0 sec. user=mdettweiler [2016-04-18 00:23:03] 845*2^1426628-1 is not prime. Res64: E3D020AA172FFC4C Time : 0.0 sec. user=mdettweiler [2016-04-18 00:39:18] 625*2^1426629-1 is not prime. Res64: 541A9BD19F7BF289 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:39:18] 649*2^1426629-1 is not prime. Res64: 6DB6033DEB56166A Time : 0.0 sec. user=mdettweiler [2016-04-18 00:39:19] 669*2^1426629-1 is not prime. Res64: B383F0396F27AD9A Time : 0.0 sec. user=mdettweiler [2016-04-18 00:39:19] 681*2^1426629-1 is not prime. Res64: 271457347B9C689D Time : 0.0 sec. user=mdettweiler [2016-04-18 00:39:19] 685*2^1426629-1 is not prime. Res64: 397A3754FBF01684 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:40:49] 765*2^1426629-1 is not prime. Res64: 43BFE78AB1D92A55 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:40:50] 825*2^1426629-1 is not prime. Res64: BD677D289881AADA Time : 0.0 sec. user=mdettweiler [2016-04-18 00:40:50] 891*2^1426629-1 is not prime. Res64: 3C04586D85EE2AB9 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:40:50] 945*2^1426629-1 is not prime. Res64: D62F9FA98815D9F9 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:40:51] 969*2^1426629-1 is not prime. Res64: FDBC4D6406AB9089 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:52:24] 999*2^1426629-1 is not prime. Res64: B414EDADCEE69E5B Time : 0.0 sec. user=mdettweiler [2016-04-18 00:52:24] 717*2^1426630-1 is not prime. Res64: 18356B2DC901AC70 Time : 0.0 sec. user=mdettweiler [2016-04-18 00:52:25] 761*2^1426630-1 is not prime. Res64: 4BF4FD7D7887BF6C Time : 0.0 sec. user=mdettweiler [2016-04-18 00:52:25] 765*2^1426630-1 is not prime. Res64: 70B03505449BE22A Time : 0.0 sec. user=mdettweiler [2016-04-18 00:52:26] 917*2^1426630-1 is not prime. Res64: 7C573890A4D3906C Time : 0.0 sec. user=mdettweiler [2016-04-18 01:07:57] 603*2^1426631-1 is not prime. Res64: BCF0ED9750E78FEB Time : 0.0 sec. user=mdettweiler [2016-04-18 01:07:57] 619*2^1426631-1 is not prime. Res64: 623901FAFC412664 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:07:58] 753*2^1426631-1 is not prime. Res64: A15F0996FEF92BBD Time : 0.0 sec. user=mdettweiler [2016-04-18 01:07:58] 783*2^1426631-1 is not prime. Res64: 56735BDAAEC538E5 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:07:59] 609*2^1426632-1 is not prime. Res64: 30F1757E51BD56C4 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:24:21] 635*2^1426632-1 is not prime. Res64: 01907D9684F53785 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:24:22] 669*2^1426632-1 is not prime. Res64: DC3730A600026050 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:24:22] 765*2^1426632-1 is not prime. Res64: E22D2A7C23373BFA Time : 0.0 sec. user=mdettweiler [2016-04-18 01:24:22] 825*2^1426632-1 is not prime. Res64: B7DA38AE7C0A7A30 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:24:23] 879*2^1426632-1 is not prime. Res64: 989E53FF03CA4EA9 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:25:31] 745*2^1426633-1 is not prime. Res64: 8BFFFFC76EC42D2B Time : 0.0 sec. user=mdettweiler [2016-04-18 01:25:31] 751*2^1426633-1 is not prime. Res64: 51434AE90B4682E4 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:25:32] 831*2^1426633-1 is not prime. Res64: F7BBE81A249C6AEB Time : 0.0 sec. user=mdettweiler [2016-04-18 01:25:33] 835*2^1426633-1 is not prime. Res64: BB92FB7F89E9AE40 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:25:34] 855*2^1426633-1 is not prime. Res64: 839A0C7B9A587662 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:37:08] 895*2^1426633-1 is not prime. Res64: EC2E7A3C9A0EAE70 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:37:09] 919*2^1426633-1 is not prime. Res64: 6C7D294DBD6D01A5 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:37:09] 987*2^1426633-1 is not prime. Res64: CCD94D11A2C04F1A Time : 0.0 sec. user=mdettweiler [2016-04-18 01:37:10] 615*2^1426634-1 is not prime. Res64: 45F333A19038F33A Time : 0.0 sec. user=mdettweiler [2016-04-18 01:37:10] 651*2^1426634-1 is not prime. Res64: 5BF0EC4A2D5D7705 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:52:37] 687*2^1426634-1 is not prime. Res64: 52F6EB6BA38D9C94 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:52:38] 753*2^1426634-1 is not prime. Res64: B29DC65058C69CEF Time : 0.0 sec. user=mdettweiler [2016-04-18 01:52:38] 767*2^1426634-1 is not prime. Res64: 3A042127D43352AE Time : 0.0 sec. user=mdettweiler [2016-04-18 01:52:39] 791*2^1426634-1 is not prime. Res64: 91D229B7D0C5F231 Time : 0.0 sec. user=mdettweiler [2016-04-18 01:52:39] 857*2^1426634-1 is not prime. Res64: 318BC297F0A4EF41 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:08:57] 861*2^1426634-1 is not prime. Res64: 65D1F6FE8D5F048F Time : 0.0 sec. user=mdettweiler [2016-04-18 02:08:57] 823*2^1426635-1 is not prime. Res64: 5126287308CBE708 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:08:58] 895*2^1426635-1 is not prime. Res64: 570754981465BC08 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:08:58] 943*2^1426635-1 is not prime. Res64: 08A5DFEB365AC80D Time : 0.0 sec. user=mdettweiler [2016-04-18 02:08:58] 963*2^1426635-1 is not prime. Res64: 9D0A2C8E42BDCFC9 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:10:23] 647*2^1426636-1 is not prime. Res64: A57EBC822C4A308B Time : 0.0 sec. user=mdettweiler [2016-04-18 02:10:24] 689*2^1426636-1 is not prime. Res64: 0B1E10231B0C99CE Time : 0.0 sec. user=mdettweiler [2016-04-18 02:10:24] 705*2^1426636-1 is not prime. Res64: 32F92728555B1212 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:10:24] 723*2^1426636-1 is not prime. Res64: 2AD7215896F9036F Time : 0.0 sec. user=mdettweiler [2016-04-18 02:10:25] 899*2^1426636-1 is not prime. Res64: 3D5D482D07F57CB2 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:21:51] 927*2^1426636-1 is not prime. Res64: DE1AB7A36AD6C7EC Time : 0.0 sec. user=mdettweiler [2016-04-18 02:21:51] 649*2^1426637-1 is not prime. Res64: DD0674A42634AD44 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:21:52] 825*2^1426637-1 is not prime. Res64: 10C00A4920DCE5F3 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:21:52] 885*2^1426637-1 is not prime. Res64: 8715C3F722944110 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:21:53] 889*2^1426637-1 is not prime. Res64: E69957FD3724AEC5 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:37:24] 915*2^1426637-1 is not prime. Res64: C98EC366F93D8F37 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:37:25] 711*2^1426638-1 is not prime. Res64: 1445D0277CB5DEE8 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:37:26] 761*2^1426638-1 is not prime. Res64: F3359054CF04858F Time : 0.0 sec. user=mdettweiler [2016-04-18 02:37:27] 773*2^1426638-1 is not prime. Res64: 1A1AFDD7B8A22400 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:37:28] 791*2^1426638-1 is not prime. Res64: C8206E75FCA1F958 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:54:05] 885*2^1426638-1 is not prime. Res64: 49EEA862F05176F2 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:54:05] 945*2^1426638-1 is not prime. Res64: F8BDB5BBA3F21C5A Time : 0.0 sec. user=mdettweiler [2016-04-18 02:54:05] 975*2^1426638-1 is not prime. Res64: 336204392682E516 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:54:06] 993*2^1426638-1 is not prime. Res64: 622D6D4B28CE1A6A Time : 0.0 sec. user=mdettweiler [2016-04-18 02:54:06] 681*2^1426639-1 is not prime. Res64: 8902E2284070B416 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:55:13] 693*2^1426639-1 is not prime. Res64: 9424B6F26FC86856 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:55:14] 759*2^1426639-1 is not prime. Res64: E1B4AB968815A8C0 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:55:14] 855*2^1426639-1 is not prime. Res64: 42CB3DB2FA5A9794 Time : 0.0 sec. user=mdettweiler [2016-04-18 02:55:15] 889*2^1426639-1 is not prime. Res64: 279BC9B7FD38341B Time : 0.0 sec. user=mdettweiler [2016-04-18 02:55:15] 933*2^1426639-1 is not prime. Res64: 16C01AD5C3A45E49 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:06:40] 975*2^1426639-1 is not prime. Res64: 4127317AD01A5614 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:06:41] 999*2^1426639-1 is not prime. Res64: 7A0B296709AD950D Time : 0.0 sec. user=mdettweiler [2016-04-18 03:06:42] 603*2^1426640-1 is not prime. Res64: 5B927F10B61DD764 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:06:43] 615*2^1426640-1 is not prime. Res64: 52A5F3644FA68F59 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:06:44] 635*2^1426640-1 is not prime. Res64: 47B26BC27FFBBFD9 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:22:22] 665*2^1426640-1 is not prime. Res64: 679A4D91D875410D Time : 0.0 sec. user=mdettweiler [2016-04-18 03:22:23] 675*2^1426640-1 is not prime. Res64: 9FDD282FABE774C7 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:22:23] 717*2^1426640-1 is not prime. Res64: 0C2E70B1B2B7936D Time : 0.0 sec. user=mdettweiler [2016-04-18 03:22:23] 789*2^1426640-1 is not prime. Res64: 6A710919888671E9 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:22:24] 855*2^1426640-1 is not prime. Res64: ACBCC2A1C96C3623 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:38:39] 875*2^1426640-1 is not prime. Res64: 2E9C1EA65C309A2A Time : 0.0 sec. user=mdettweiler [2016-04-18 03:38:40] 899*2^1426640-1 is not prime. Res64: E9BD10B7B758C4A0 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:38:41] 915*2^1426640-1 is not prime. Res64: 2C936F9734D04664 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:38:42] 945*2^1426640-1 is not prime. Res64: DCB4560FE6A19E35 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:38:42] 615*2^1426641-1 is not prime. Res64: F742DA3C8FE7604E Time : 0.0 sec. user=mdettweiler [2016-04-18 03:39:47] 727*2^1426641-1 is not prime. Res64: E48D99568203A960 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:39:48] 745*2^1426641-1 is not prime. Res64: 79FA02A003962AA4 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:39:48] 747*2^1426641-1 is not prime. Res64: 3BE63746948A597C Time : 0.0 sec. user=mdettweiler [2016-04-18 03:39:49] 805*2^1426641-1 is not prime. Res64: 999A1710ECD46390 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:39:50] 895*2^1426641-1 is not prime. Res64: B28E35F19BBE28B2 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:51:41] 741*2^1426642-1 is not prime. Res64: BF84EF22502BFEEE Time : 0.0 sec. user=mdettweiler [2016-04-18 03:51:42] 765*2^1426642-1 is not prime. Res64: 86E1E890321CCA85 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:51:43] 785*2^1426642-1 is not prime. Res64: A221FD4BE5104E84 Time : 0.0 sec. user=mdettweiler [2016-04-18 03:51:44] 827*2^1426642-1 is not prime. Res64: A012F0094B048DEF Time : 0.0 sec. user=mdettweiler [2016-04-18 03:51:45] 881*2^1426642-1 is not prime. Res64: 88367DEFA5A5B76C Time : 0.0 sec. user=mdettweiler [2016-04-18 04:07:24] 957*2^1426642-1 is not prime. Res64: 3F58280C35170F22 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:07:25] 669*2^1426643-1 is not prime. Res64: 4734332873BD4737 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:07:27] 715*2^1426643-1 is not prime. Res64: 3E1F6145E78498D2 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:07:28] 915*2^1426643-1 is not prime. Res64: A5222E9FD3B7FCB2 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:07:29] 921*2^1426643-1 is not prime. Res64: 6CC05F387CB29875 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:24:51] 943*2^1426643-1 is not prime. Res64: 97F984C4D37EDB30 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:24:51] 945*2^1426643-1 is not prime. Res64: 92C98F85DF39532D Time : 0.0 sec. user=mdettweiler [2016-04-18 04:24:52] 949*2^1426643-1 is not prime. Res64: 97953BE94F569C86 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:24:52] 981*2^1426643-1 is not prime. Res64: 1EDE3635792BE8A3 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:24:53] 627*2^1426644-1 is not prime. Res64: AF30BBC1DCA2D466 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:25:29] 683*2^1426644-1 is not prime. Res64: 95A4122B94982721 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:25:30] 863*2^1426644-1 is not prime. Res64: F352C34F43363A52 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:25:30] 959*2^1426644-1 is not prime. Res64: 5894904EB7BE874B Time : 0.0 sec. user=mdettweiler [2016-04-18 04:25:30] 867*2^1426645-1 is not prime. Res64: AC1946742F97B510 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:25:31] 925*2^1426645-1 is not prime. Res64: E53F209635805B04 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:37:46] 961*2^1426645-1 is not prime. Res64: D6A0557609AFAE94 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:37:47] 987*2^1426645-1 is not prime. Res64: 6BF3CBC72218C878 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:37:47] 677*2^1426646-1 is not prime. Res64: 407291ACF5316CFD Time : 0.0 sec. user=mdettweiler [2016-04-18 04:37:47] 683*2^1426646-1 is not prime. Res64: 4303AE0F816AA7A0 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:37:48] 711*2^1426646-1 is not prime. Res64: A4EFD5C96397A057 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:52:59] 713*2^1426646-1 is not prime. Res64: E7201FD930EAB551 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:52:59] 773*2^1426646-1 is not prime. Res64: 091709554D2D8CEC Time : 0.0 sec. user=mdettweiler [2016-04-18 04:53:00] 987*2^1426646-1 is not prime. Res64: 6EAECA9950108FF9 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:53:00] 615*2^1426647-1 is not prime. Res64: 4DE043D881CE6E70 Time : 0.0 sec. user=mdettweiler [2016-04-18 04:53:01] 685*2^1426647-1 is not prime. Res64: 1E4B58DC1AEDA956 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:09:38] 693*2^1426647-1 is not prime. Res64: B595579A07537C4B Time : 0.0 sec. user=mdettweiler [2016-04-18 05:09:38] 793*2^1426647-1 is not prime. Res64: 2E963ED4D13D651F Time : 0.0 sec. user=mdettweiler [2016-04-18 05:09:39] 843*2^1426647-1 is not prime. Res64: 15FDA439F9967A49 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:09:40] 885*2^1426647-1 is not prime. Res64: 85686E3A08A946F9 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:09:40] 951*2^1426647-1 is not prime. Res64: 7A11D89A9096B537 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:10:20] 617*2^1426648-1 is not prime. Res64: C43D4CF9CDE14CC5 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:10:21] 635*2^1426648-1 is not prime. Res64: CB51E92E5AF0A04E Time : 0.0 sec. user=mdettweiler [2016-04-18 05:10:22] 645*2^1426648-1 is not prime. Res64: 0832FB50614E7109 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:10:22] 657*2^1426648-1 is not prime. Res64: 527075DB41387B7D Time : 0.0 sec. user=mdettweiler [2016-04-18 05:10:23] 735*2^1426648-1 is not prime. Res64: 4E0C07E772FA2E59 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:22:26] 825*2^1426648-1 is not prime. Res64: 4E846CD1978F19F4 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:22:26] 995*2^1426648-1 is not prime. Res64: 5CBC681D2239FFC2 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:22:26] 645*2^1426649-1 is not prime. Res64: 86200523A3B92BF1 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:22:27] 711*2^1426649-1 is not prime. Res64: E5519E8217BB755A Time : 0.0 sec. user=mdettweiler [2016-04-18 05:22:27] 729*2^1426649-1 is not prime. Res64: DCE8055FB9AF3D74 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:37:51] 847*2^1426649-1 is not prime. Res64: 54D68C2F95E2D5D9 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:37:51] 861*2^1426649-1 is not prime. Res64: 2B4BB8E5DAED0BB5 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:37:51] 635*2^1426650-1 is not prime. Res64: B3F355A0C4D4F9FB Time : 0.0 sec. user=mdettweiler [2016-04-18 05:37:52] 671*2^1426650-1 is not prime. Res64: C030B743465BE85D Time : 0.0 sec. user=mdettweiler [2016-04-18 05:37:52] 803*2^1426650-1 is not prime. Res64: 1C93941C27550493 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:54:30] 601*2^1426651-1 is not prime. Res64: 6CE2DB6CF6D415EF Time : 0.0 sec. user=mdettweiler [2016-04-18 05:54:30] 603*2^1426651-1 is not prime. Res64: 4E2FF7752B79C1B4 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:54:30] 639*2^1426651-1 is not prime. Res64: D5D34A5A8103D75F Time : 0.0 sec. user=mdettweiler [2016-04-18 05:54:31] 735*2^1426651-1 is not prime. Res64: 59A190C81A7C2E4A Time : 0.0 sec. user=mdettweiler [2016-04-18 05:54:31] 829*2^1426651-1 is not prime. Res64: 5DF21E492FE9A593 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:55:16] 891*2^1426651-1 is not prime. Res64: 306305EFCBF104D8 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:55:16] 939*2^1426651-1 is not prime. Res64: ACF04464CAE019D0 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:55:17] 961*2^1426651-1 is not prime. Res64: F7270F6C8232BFB3 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:55:17] 993*2^1426651-1 is not prime. Res64: 792FEEC28D0DC383 Time : 0.0 sec. user=mdettweiler [2016-04-18 05:55:17] 635*2^1426652-1 is not prime. Res64: D28C3F0E56057E36 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:07:17] 687*2^1426652-1 is not prime. Res64: 1C3D0BD66DE23BFD Time : 0.0 sec. user=mdettweiler [2016-04-18 06:07:18] 885*2^1426652-1 is not prime. Res64: E9AB3C13BDD7530F Time : 0.0 sec. user=mdettweiler [2016-04-18 06:07:18] 999*2^1426652-1 is not prime. Res64: 12A8A7290A91F239 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:07:18] 621*2^1426653-1 is not prime. Res64: EE6E20426AEAF2DC Time : 0.0 sec. user=mdettweiler [2016-04-18 06:07:19] 627*2^1426653-1 is not prime. Res64: 2A84959E4C023112 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:22:27] 679*2^1426653-1 is not prime. Res64: 144DC4E76F6EBE3D Time : 0.0 sec. user=mdettweiler [2016-04-18 06:22:27] 765*2^1426653-1 is not prime. Res64: 9F5773A8733D99BC Time : 0.0 sec. user=mdettweiler [2016-04-18 06:22:28] 937*2^1426653-1 is not prime. Res64: 5C1D5C8C1BA5BA8B Time : 0.0 sec. user=mdettweiler [2016-04-18 06:22:28] 635*2^1426654-1 is not prime. Res64: 3F0DFF03021CA56F Time : 0.0 sec. user=mdettweiler [2016-04-18 06:22:28] 651*2^1426654-1 is not prime. Res64: 8D8F14DA53E10786 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:17] 657*2^1426654-1 is not prime. Res64: 3393B744FB222929 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:18] 663*2^1426654-1 is not prime. Res64: 88715325557A480A Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:18] 723*2^1426654-1 is not prime. Res64: 5DECBEDB4991801F Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:18] 831*2^1426654-1 is not prime. Res64: 5C613EA0DC96773B Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:19] 881*2^1426654-1 is not prime. Res64: E40FD91AB61B17A5 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:55] 945*2^1426654-1 is not prime. Res64: 15538B1F63B0DEDF Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:55] 673*2^1426655-1 is not prime. Res64: 7052BE696CD72A88 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:56] 789*2^1426655-1 is not prime. Res64: 369CB88C7AB534B2 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:56] 915*2^1426655-1 is not prime. Res64: A38AE93CB4D2DFE8 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:39:56] 623*2^1426656-1 is not prime. Res64: 55A7A6EBC70E37FD Time : 0.0 sec. user=mdettweiler [2016-04-18 06:52:07] 635*2^1426656-1 is not prime. Res64: 1295A18664782518 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:52:08] 815*2^1426656-1 is not prime. Res64: ED10D796F419F48B Time : 0.0 sec. user=mdettweiler [2016-04-18 06:52:08] 687*2^1426657-1 is not prime. Res64: B818BF7B84AB8671 Time : 0.0 sec. user=mdettweiler [2016-04-18 06:52:08] 717*2^1426657-1 is not prime. Res64: 295BB3A46996F4EF Time : 0.0 sec. user=mdettweiler [2016-04-18 06:52:09] 829*2^1426657-1 is not prime. Res64: 9352C8C952FAEDDD Time : 0.0 sec. user=mdettweiler [2016-04-18 07:07:10] 847*2^1426657-1 is not prime. Res64: 7CD2AF750A61DFE8 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:07:10] 975*2^1426657-1 is not prime. Res64: 43F0DBDF8F8C8556 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:07:11] 997*2^1426657-1 is not prime. Res64: 1C9FFE1AEEE7F0CD Time : 0.0 sec. user=mdettweiler [2016-04-18 07:07:11] 633*2^1426658-1 is not prime. Res64: FFAA645CDD6106BC Time : 0.0 sec. user=mdettweiler [2016-04-18 07:07:12] 645*2^1426658-1 is not prime. Res64: C6192839AF6003DD Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:00] 683*2^1426658-1 is not prime. Res64: 0AA2BC81F21B4EE3 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:00] 735*2^1426658-1 is not prime. Res64: C0DED51E8F653A53 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:01] 773*2^1426658-1 is not prime. Res64: 837C28291344CDE4 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:01] 797*2^1426658-1 is not prime. Res64: 16F41D8159E1E457 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:01] 827*2^1426658-1 is not prime. Res64: 4FC7674D7AB1E14A Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:30] 885*2^1426658-1 is not prime. Res64: 29BB2B9529632EFA Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:30] 887*2^1426658-1 is not prime. Res64: C6A3A5CD08C0ADFE Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:30] 915*2^1426658-1 is not prime. Res64: 1D5102450A880B96 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:31] 789*2^1426659-1 is not prime. Res64: 945A30234777E92B Time : 0.0 sec. user=mdettweiler [2016-04-18 07:24:31] 891*2^1426659-1 is not prime. Res64: 7BD29BFB0C235864 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:36:56] 603*2^1426660-1 is not prime. Res64: D3F77BB4A31F2723 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:36:57] 689*2^1426660-1 is not prime. Res64: D351CAE22E4C5115 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:36:57] 729*2^1426660-1 is not prime. Res64: 6C772B41E09281E8 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:36:57] 735*2^1426660-1 is not prime. Res64: 74B891E662B8A5D2 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:36:58] 777*2^1426660-1 is not prime. Res64: E50E0307D7CD47BE Time : 0.0 sec. user=mdettweiler [2016-04-18 07:52:04] 785*2^1426660-1 is not prime. Res64: 092D39C14E54E57B Time : 0.0 sec. user=mdettweiler [2016-04-18 07:52:05] 843*2^1426660-1 is not prime. Res64: 46A4C73EBD7D8A44 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:52:05] 649*2^1426661-1 is not prime. Res64: 0C243D48D39DCEDC Time : 0.0 sec. user=mdettweiler [2016-04-18 07:52:05] 811*2^1426661-1 is not prime. Res64: 6E81D3768EF82211 Time : 0.0 sec. user=mdettweiler [2016-04-18 07:52:06] 925*2^1426661-1 is not prime. Res64: 7261E914B029EFB0 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:02] 635*2^1426662-1 is not prime. Res64: 2776013DBBCDD3DE Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:02] 725*2^1426662-1 is not prime. Res64: 04DF9DFAE0236BB2 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:03] 801*2^1426662-1 is not prime. Res64: 76CFD59F2BDF70D9 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:03] 873*2^1426662-1 is not prime. Res64: E13A19EBFA39E0C4 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:04] 921*2^1426662-1 is not prime. Res64: A9F441BD769A2DC1 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:15] 957*2^1426662-1 is not prime. Res64: D8C92FA58915B23C Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:16] 963*2^1426662-1 is not prime. Res64: B47720161271E272 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:17] 633*2^1426663-1 is not prime. Res64: 5AD2DA1279049BA5 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:17] 679*2^1426663-1 is not prime. Res64: 1DE30434AF8AFF10 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:09:18] 793*2^1426663-1 is not prime. Res64: 9F89B933E8566B01 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:21:45] 813*2^1426663-1 is not prime. Res64: C783B9734A0151D3 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:21:46] 849*2^1426663-1 is not prime. Res64: 6E9C253D4503D9C3 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:21:46] 853*2^1426663-1 is not prime. Res64: 4DFE53D714608106 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:21:46] 861*2^1426663-1 is not prime. Res64: 7F50F42003C988CD Time : 0.0 sec. user=mdettweiler [2016-04-18 08:21:47] 873*2^1426663-1 is not prime. Res64: 122E80C9B4085591 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:36:56] 885*2^1426663-1 is not prime. Res64: 5DE7D2504048A2F6 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:36:56] 891*2^1426663-1 is not prime. Res64: EB14924FDE1360A5 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:36:56] 895*2^1426663-1 is not prime. Res64: F18B3CB3D98FE5DA Time : 0.0 sec. user=mdettweiler [2016-04-18 08:36:57] 919*2^1426663-1 is not prime. Res64: 048BDBB9B13E4C22 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:36:57] 985*2^1426663-1 is not prime. Res64: 87A4C60124427560 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:14] 789*2^1426664-1 is not prime. Res64: B6D04173312C0A52 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:15] 869*2^1426664-1 is not prime. Res64: 7C7E7BFCCC11471C Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:15] 875*2^1426664-1 is not prime. Res64: 5C42DCFA89BCED6D Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:15] 669*2^1426665-1 is not prime. Res64: E8F06BA5DB2FFC2E Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:16] 691*2^1426665-1 is not prime. Res64: 3822B84B36516BAA Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:19] 705*2^1426665-1 is not prime. Res64: CA8BF41925487758 Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:19] 727*2^1426665-1 is not prime. Res64: 70DAF09AE843E7BD Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:19] 739*2^1426665-1 is not prime. Res64: B699417425886D9F Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:20] 889*2^1426665-1 is not prime. Res64: C9ADF37E65D5B74E Time : 0.0 sec. user=mdettweiler [2016-04-18 08:54:20] 895*2^1426665-1 is not prime. Res64: BFA11983196A2B1B Time : 0.0 sec. user=mdettweiler [2016-04-18 09:06:36] 915*2^1426665-1 is not prime. Res64: 5ADF9D99EE11A4E4 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:06:36] 999*2^1426665-1 is not prime. Res64: A39A98F049C99DEF Time : 0.0 sec. user=mdettweiler [2016-04-18 09:06:37] 755*2^1426666-1 is not prime. Res64: 413FE56110336748 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:06:37] 773*2^1426666-1 is not prime. Res64: F64A6BF709AFB789 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:06:38] 621*2^1426667-1 is not prime. Res64: 08CAB387315DCF13 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:21:25] 759*2^1426667-1 is not prime. Res64: 3630A1629340DE10 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:21:25] 799*2^1426667-1 is not prime. Res64: 1B3C93AC42A22A82 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:21:26] 871*2^1426667-1 is not prime. Res64: 097E3B7981752F57 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:21:26] 909*2^1426667-1 is not prime. Res64: FFD5C9163AA5E72E Time : 0.0 sec. user=mdettweiler [2016-04-18 09:21:26] 913*2^1426667-1 is not prime. Res64: 9FEB5AC03E2AD302 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:38:55] 981*2^1426667-1 is not prime. Res64: 65C5402D13C3C850 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:38:55] 629*2^1426668-1 is not prime. Res64: 396A997F74F6E3D1 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:38:56] 689*2^1426668-1 is not prime. Res64: 6673B3185FAF50D4 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:38:56] 737*2^1426668-1 is not prime. Res64: 60EF7FAC37A9CFCF Time : 0.0 sec. user=mdettweiler [2016-04-18 09:38:56] 843*2^1426668-1 is not prime. Res64: 7FA5AACB6ECE5558 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:39:01] 615*2^1426669-1 is not prime. Res64: 3FBCB30326921DD0 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:39:01] 681*2^1426669-1 is not prime. Res64: 3D5A23AAA3BD3CD1 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:39:02] 877*2^1426669-1 is not prime. Res64: 8F8274614C2ADFD7 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:39:02] 885*2^1426669-1 is not prime. Res64: D86FB7C1BBD32300 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:39:02] 919*2^1426669-1 is not prime. Res64: E6073AFB7EA9188F Time : 0.0 sec. user=mdettweiler [2016-04-18 09:51:38] 605*2^1426670-1 is not prime. Res64: 06A7EE9C95AEB070 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:51:38] 755*2^1426670-1 is not prime. Res64: C3735C885B9BBC86 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:51:38] 893*2^1426670-1 is not prime. Res64: BC484024937E7468 Time : 0.0 sec. user=mdettweiler [2016-04-18 09:51:39] 917*2^1426670-1 is not prime. Res64: 454EF3ED7CCD902B Time : 0.0 sec. user=mdettweiler [2016-04-18 09:51:39] 921*2^1426670-1 is not prime. Res64: 2DCB994B98EAEEAE Time : 0.0 sec. user=mdettweiler [2016-04-18 10:06:50] 651*2^1426671-1 is not prime. Res64: 7FBA10234AFB22F3 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:06:51] 709*2^1426671-1 is not prime. Res64: B006582746422797 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:06:51] 819*2^1426671-1 is not prime. Res64: 913FCBD0B875BA1F Time : 0.0 sec. user=mdettweiler [2016-04-18 10:06:52] 859*2^1426671-1 is not prime. Res64: 0D67B500451B93AF Time : 0.0 sec. user=mdettweiler [2016-04-18 10:06:52] 865*2^1426671-1 is not prime. Res64: 4DD48C1C54EBEB1A Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:12] 723*2^1426672-1 is not prime. Res64: 6BA574624673248A Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:13] 765*2^1426672-1 is not prime. Res64: 155BEF7AC231B0C6 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:13] 825*2^1426672-1 is not prime. Res64: 7C98AA88E0D27207 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:13] 903*2^1426672-1 is not prime. Res64: 42254E6926C5EEEA Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:13] 947*2^1426672-1 is not prime. Res64: 1371C8CE2551FFFD Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:42] 995*2^1426672-1 is not prime. Res64: 1C10381F87157572 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:42] 631*2^1426673-1 is not prime. Res64: 7CE6AA189B5802C0 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:43] 829*2^1426673-1 is not prime. Res64: AFB5A28E07D73EDD Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:43] 855*2^1426673-1 is not prime. Res64: F6764C5B6F87F614 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:25:43] 925*2^1426673-1 is not prime. Res64: 7385FD988035BAF2 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:38:55] 955*2^1426673-1 is not prime. Res64: BE9F8A56B1734CDC Time : 0.0 sec. user=mdettweiler [2016-04-18 10:38:55] 627*2^1426674-1 is not prime. Res64: 9A665F5C92FB711A Time : 0.0 sec. user=mdettweiler [2016-04-18 10:38:56] 641*2^1426674-1 is not prime. Res64: F6A3B3D839E68BFF Time : 0.0 sec. user=mdettweiler [2016-04-18 10:38:56] 711*2^1426674-1 is not prime. Res64: B9404F58FBDF7405 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:38:56] 737*2^1426674-1 is not prime. Res64: C9A19DA24E687879 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:54:54] 747*2^1426674-1 is not prime. Res64: 7E256F8A49E46627 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:54:55] 773*2^1426674-1 is not prime. Res64: E8287FD83E5D78A0 Time : 0.0 sec. user=mdettweiler [2016-04-18 10:54:55] 797*2^1426674-1 is not prime. Res64: D92B5DB01F8B550E Time : 0.0 sec. user=mdettweiler [2016-04-18 10:54:55] 803*2^1426674-1 is not prime. Res64: 82242E09021969BA Time : 0.0 sec. user=mdettweiler [2016-04-18 10:54:56] 851*2^1426674-1 is not prime. Res64: F4BB6E91CF5A3FF2 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:42] 873*2^1426674-1 is not prime. Res64: 9D5212D177919E34 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:43] 885*2^1426674-1 is not prime. Res64: 285A2BAB13CF28C4 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:44] 923*2^1426674-1 is not prime. Res64: C7D045B646D6D7CF Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:45] 927*2^1426674-1 is not prime. Res64: F008D6011E559D0C Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:46] 945*2^1426674-1 is not prime. Res64: 4AF79525C47ACE17 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:48] 947*2^1426674-1 is not prime. Res64: 390E561A2B9A28CB Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:49] 693*2^1426675-1 is not prime. Res64: A8FFA6AF15C9F954 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:50] 829*2^1426675-1 is not prime. Res64: 843CB4899949CA06 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:51] 913*2^1426675-1 is not prime. Res64: 75BEFCCB3400A7F8 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:12:52] 939*2^1426675-1 is not prime. Res64: C3EB42D2AAB35871 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:25:29] 999*2^1426675-1 is not prime. Res64: 0E9E0C516F0058E2 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:25:29] 615*2^1426676-1 is not prime. Res64: CBD3AFC7D5CB2E91 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:25:29] 617*2^1426676-1 is not prime. Res64: D5E063B097D9B15D Time : 0.0 sec. user=mdettweiler [2016-04-18 11:25:30] 689*2^1426676-1 is not prime. Res64: F648731F3E59D122 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:25:30] 725*2^1426676-1 is not prime. Res64: 9C543B023FE7E317 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:40:46] 735*2^1426676-1 is not prime. Res64: C7AE4C6557234E3E Time : 0.0 sec. user=mdettweiler [2016-04-18 11:40:46] 825*2^1426676-1 is not prime. Res64: 2F06B3F93DD14679 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:40:46] 843*2^1426676-1 is not prime. Res64: D4C73831194AEB7A Time : 0.0 sec. user=mdettweiler [2016-04-18 11:40:47] 869*2^1426676-1 is not prime. Res64: ACE7E627DA349893 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:40:47] 935*2^1426676-1 is not prime. Res64: 10F2649A456A65CA Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:55] 889*2^1426677-1 is not prime. Res64: CEE62BBF031C79F2 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:56] 611*2^1426678-1 is not prime. Res64: A5C05DC2D940C433 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:56] 617*2^1426678-1 is not prime. Res64: 6DDC6D8F054B42E0 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:57] 773*2^1426678-1 is not prime. Res64: 98E10B92C998EE1C Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:57] 915*2^1426678-1 is not prime. Res64: C2458A8F247E542F Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:57] 945*2^1426676-1 is not prime. Res64: 995B048EEF6A9B7B Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:57] 615*2^1426677-1 is not prime. Res64: C865E9AC1D68393C Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:58] 651*2^1426677-1 is not prime. Res64: 54AE6ABA45400942 Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:58] 699*2^1426677-1 is not prime. Res64: AF36F5B748897F0C Time : 0.0 sec. user=mdettweiler [2016-04-18 11:57:59] 709*2^1426677-1 is not prime. Res64: 76DB30FEDB0CEDCE Time : 0.0 sec. user=mdettweiler [2016-04-18 12:10:49] 941*2^1426678-1 is not prime. Res64: 6C51ACF8B4EE51FD Time : 0.0 sec. user=mdettweiler [2016-04-18 12:10:50] 987*2^1426678-1 is not prime. Res64: 8EAFDBBBEDE183B9 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:10:51] 603*2^1426679-1 is not prime. Res64: CF9B7C43D8287911 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:10:51] 615*2^1426679-1 is not prime. Res64: 07F37BD37AAF28B6 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:10:52] 831*2^1426679-1 is not prime. Res64: D7D9ED9AC208CD10 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:25:49] 885*2^1426679-1 is not prime. Res64: D5643AE8C29BA2D6 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:25:49] 653*2^1426680-1 is not prime. Res64: 7119CBC3833AEEDF Time : 0.0 sec. user=mdettweiler [2016-04-18 12:25:49] 675*2^1426680-1 is not prime. Res64: 8B7FFB4EFFE44F30 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:25:50] 707*2^1426680-1 is not prime. Res64: A5D6E4A36EC1113B Time : 0.0 sec. user=mdettweiler [2016-04-18 12:25:50] 735*2^1426680-1 is not prime. Res64: 99C04E3E16B9EC8E Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:04] 745*2^1426681-1 is not prime. Res64: 03615C2760D57FD4 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:05] 835*2^1426681-1 is not prime. Res64: B199427DC648AF9C Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:05] 855*2^1426681-1 is not prime. Res64: 3E101EEF37B7DADC Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:06] 925*2^1426681-1 is not prime. Res64: 29338EC0AB02C077 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:06] 957*2^1426681-1 is not prime. Res64: CFC2E7F9CBF0FB52 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:08] 737*2^1426680-1 is not prime. Res64: 6AECBB18C0CBF7EC Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:09] 927*2^1426680-1 is not prime. Res64: 77523D9E6B549533 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:09] 935*2^1426680-1 is not prime. Res64: 5684B82C78CC17E1 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:10] 681*2^1426681-1 is not prime. Res64: 7750B76B2A2280D6 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:43:10] 705*2^1426681-1 is not prime. Res64: 4F274C6CF3F5929C Time : 0.0 sec. user=mdettweiler [2016-04-18 12:56:08] 967*2^1426681-1 is not prime. Res64: 6534C2B005212C9C Time : 0.0 sec. user=mdettweiler [2016-04-18 12:56:08] 987*2^1426681-1 is not prime. Res64: F6B4DD0CF2B0BE55 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:56:09] 645*2^1426682-1 is not prime. Res64: DB4B189CBA690439 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:56:09] 675*2^1426682-1 is not prime. Res64: 39A12B9F29E729C0 Time : 0.0 sec. user=mdettweiler [2016-04-18 12:56:09] 683*2^1426682-1 is not prime. Res64: 5B127B7E68E16EDB Time : 0.0 sec. user=mdettweiler [2016-04-18 13:11:06] 701*2^1426682-1 is not prime. Res64: 3F7323DCEF34F6A5 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:11:07] 711*2^1426682-1 is not prime. Res64: 30D780E3A91CF30F Time : 0.0 sec. user=mdettweiler [2016-04-18 13:11:07] 753*2^1426682-1 is not prime. Res64: 7E96A253FD195E3E Time : 0.0 sec. user=mdettweiler [2016-04-18 13:11:07] 825*2^1426682-1 is not prime. Res64: 812B1206A5568ED2 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:11:08] 827*2^1426682-1 is not prime. Res64: F71847D10A34BA72 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:31] 911*2^1426682-1 is not prime. Res64: 977F124C2C3E3E1E Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:32] 923*2^1426682-1 is not prime. Res64: 8A8FEBDC39582B99 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:32] 957*2^1426682-1 is not prime. Res64: 9F608BC3121E754F Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:33] 981*2^1426682-1 is not prime. Res64: A09FB1DBD618AA31 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:33] 853*2^1426683-1 is not prime. Res64: 1D75A6C8237D044F Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:48] 873*2^1426683-1 is not prime. Res64: 32EB3B3D9EE6BE32 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:48] 895*2^1426683-1 is not prime. Res64: 326B42237184E4EF Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:49] 615*2^1426684-1 is not prime. Res64: A0C9EF2FDBD157ED Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:49] 695*2^1426684-1 is not prime. Res64: 108684E539AF98EA Time : 0.0 sec. user=mdettweiler [2016-04-18 13:28:49] 857*2^1426684-1 is not prime. Res64: AB879ECE18080F54 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:41:25] 927*2^1426684-1 is not prime. Res64: 4BEC1AC36DDA4DD0 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:41:26] 959*2^1426684-1 is not prime. Res64: C647B30191B6B90F Time : 0.0 sec. user=mdettweiler [2016-04-18 13:41:26] 965*2^1426684-1 is not prime. Res64: 2E9FBB38FB1C1D91 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:41:27] 717*2^1426685-1 is not prime. Res64: 92EEA2BC34271688 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:41:27] 787*2^1426685-1 is not prime. Res64: 26148EB20CED5910 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:56:27] 795*2^1426685-1 is not prime. Res64: ED490F5105F70DC0 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:56:27] 847*2^1426685-1 is not prime. Res64: 7DDDDA572CE16AE7 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:56:28] 937*2^1426685-1 is not prime. Res64: 83837CF0F7E12C10 Time : 0.0 sec. user=mdettweiler [2016-04-18 13:56:28] 969*2^1426685-1 is not prime. Res64: FC2883689259765F Time : 0.0 sec. user=mdettweiler [2016-04-18 13:56:28] 683*2^1426686-1 is not prime. Res64: 92B5F3157715C096 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:20] 693*2^1426686-1 is not prime. Res64: 324CB6B550CB987A Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:21] 795*2^1426686-1 is not prime. Res64: 730506A8D08F6C5D Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:22] 807*2^1426686-1 is not prime. Res64: 5D3AD872F4B1D8EA Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:23] 861*2^1426686-1 is not prime. Res64: 2222B73B67B9E58F Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:24] 867*2^1426686-1 is not prime. Res64: 9319BAE935457DBC Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:56] 893*2^1426686-1 is not prime. Res64: 8CB6C79C1C92BD79 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:57] 945*2^1426686-1 is not prime. Res64: 04C1DDF5759A4FE9 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:58] 971*2^1426686-1 is not prime. Res64: 1324900F48AFB03D Time : 0.0 sec. user=mdettweiler [2016-04-18 14:13:59] 975*2^1426686-1 is not prime. Res64: B5C510EA553F1528 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:14:00] 685*2^1426687-1 is not prime. Res64: E4590442FF7ACE32 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:26:29] 741*2^1426687-1 is not prime. Res64: 2A1F781946F7155B Time : 0.0 sec. user=mdettweiler [2016-04-18 14:26:30] 891*2^1426687-1 is not prime. Res64: 14D3A5492D0D22AB Time : 0.0 sec. user=mdettweiler [2016-04-18 14:26:30] 979*2^1426687-1 is not prime. Res64: 8E7607924C0B426C Time : 0.0 sec. user=mdettweiler [2016-04-18 14:26:31] 617*2^1426688-1 is not prime. Res64: D55AADF8AFF44E59 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:26:31] 683*2^1426688-1 is not prime. Res64: 4C21E850A92D3876 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:41:13] 773*2^1426688-1 is not prime. Res64: 39085EA692B8A7DC Time : 0.0 sec. user=mdettweiler [2016-04-18 14:41:14] 875*2^1426688-1 is not prime. Res64: BCA9D816B762E0D2 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:41:14] 893*2^1426688-1 is not prime. Res64: 102A33B5CBE8F783 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:41:15] 927*2^1426688-1 is not prime. Res64: 06E5C502AC43850B Time : 0.0 sec. user=mdettweiler [2016-04-18 14:41:15] 957*2^1426688-1 is not prime. Res64: 4062199DF917821E Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:32] 959*2^1426688-1 is not prime. Res64: 429F665DB0912FB0 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:32] 969*2^1426688-1 is not prime. Res64: F31458A6B7A169D6 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:32] 999*2^1426688-1 is not prime. Res64: 85E8EEAC6F615CBB Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:33] 765*2^1426689-1 is not prime. Res64: 1D08A87D4A30BD5D Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:33] 795*2^1426689-1 is not prime. Res64: 5334819157D73893 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:54] 885*2^1426689-1 is not prime. Res64: 1FAF6245EBC0DF0A Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:55] 991*2^1426689-1 is not prime. Res64: 03731B5FEC5BAC35 Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:55] 677*2^1426690-1 is not prime. Res64: D107640697C133FF Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:56] 833*2^1426690-1 is not prime. Res64: 255F810F51870FAF Time : 0.0 sec. user=mdettweiler [2016-04-18 14:58:56] 855*2^1426690-1 is not prime. Res64: E44078D97D4EE0E8 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:11:14] 867*2^1426690-1 is not prime. Res64: AAAE8FC99728E71B Time : 0.0 sec. user=mdettweiler [2016-04-18 15:11:15] 873*2^1426690-1 is not prime. Res64: 7076E34F12B33A3D Time : 0.0 sec. user=mdettweiler [2016-04-18 15:11:15] 911*2^1426690-1 is not prime. Res64: 813DCB146ECE353F Time : 0.0 sec. user=mdettweiler [2016-04-18 15:11:16] 975*2^1426690-1 is not prime. Res64: EB71E1E9EC5F56B4 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:11:16] 609*2^1426691-1 is not prime. Res64: B2578CAC563D7406 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:26:00] 685*2^1426691-1 is not prime. Res64: 9AE51A427F1205EF Time : 0.0 sec. user=mdettweiler [2016-04-18 15:26:01] 715*2^1426691-1 is not prime. Res64: BAC942945753BF6D Time : 0.0 sec. user=mdettweiler [2016-04-18 15:26:01] 783*2^1426691-1 is not prime. Res64: 01807BD8E4BD749F Time : 0.0 sec. user=mdettweiler [2016-04-18 15:26:01] 801*2^1426691-1 is not prime. Res64: 99D08A928E8218C4 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:26:02] 885*2^1426691-1 is not prime. Res64: 7F1B7B1BC70262F0 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:43:27] 753*2^1426692-1 is not prime. Res64: E3886A9DB369CC34 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:43:27] 825*2^1426692-1 is not prime. Res64: B7CD4116CD1E3DC1 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:43:28] 899*2^1426692-1 is not prime. Res64: FBA63CC49D9C85A9 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:43:28] 789*2^1426693-1 is not prime. Res64: 3378BBA96F61F9B2 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:43:28] 897*2^1426693-1 is not prime. Res64: 72B570A627F7AA72 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:44:00] 955*2^1426693-1 is not prime. Res64: F3094580FE26BAAA Time : 0.0 sec. user=mdettweiler [2016-04-18 15:44:01] 957*2^1426693-1 is not prime. Res64: E6AA93808AC739AC Time : 0.0 sec. user=mdettweiler [2016-04-18 15:44:01] 999*2^1426693-1 is not prime. Res64: 4DC3478D309F0166 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:44:01] 785*2^1426694-1 is not prime. Res64: 6727B1928BFAEDBF Time : 0.0 sec. user=mdettweiler [2016-04-18 15:44:02] 857*2^1426694-1 is not prime. Res64: 0F5BAD40E029D565 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:56:33] 981*2^1426694-1 is not prime. Res64: C6CB0CA9F687ED71 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:56:33] 651*2^1426695-1 is not prime. Res64: DA15ECF004DCA545 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:56:34] 691*2^1426695-1 is not prime. Res64: 46691817DC7ACE7D Time : 0.0 sec. user=mdettweiler [2016-04-18 15:56:34] 693*2^1426695-1 is not prime. Res64: 578575D208AA6FA0 Time : 0.0 sec. user=mdettweiler [2016-04-18 15:56:35] 735*2^1426695-1 is not prime. Res64: D7B6A01D61335E64 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:11:00] 765*2^1426695-1 is not prime. Res64: D6293421612FB0CB Time : 0.0 sec. user=mdettweiler [2016-04-18 16:11:00] 795*2^1426695-1 is not prime. Res64: A8CCCF25FDE8699B Time : 0.0 sec. user=mdettweiler [2016-04-18 16:11:01] 831*2^1426695-1 is not prime. Res64: 9DAA54E8BAED36E3 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:11:01] 853*2^1426695-1 is not prime. Res64: 9DC000B0A0E7FF8C Time : 0.0 sec. user=mdettweiler [2016-04-18 16:11:02] 961*2^1426695-1 is not prime. Res64: DF4566B50876405C Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:39] 985*2^1426695-1 is not prime. Res64: 38DD71FCD8A6AEB9 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:40] 717*2^1426696-1 is not prime. Res64: 09B6FA69DE124FB6 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:40] 743*2^1426696-1 is not prime. Res64: 6E600BE6B5F5F55C Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:40] 765*2^1426696-1 is not prime. Res64: F14894562FF4FDDF Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:41] 785*2^1426696-1 is not prime. Res64: 0769A53C24D1C6C1 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:54] 875*2^1426696-1 is not prime. Res64: C3FB84CB1FB39B5B Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:54] 975*2^1426696-1 is not prime. Res64: B355E9CC925CA979 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:55] 983*2^1426696-1 is not prime. Res64: 50CE8E0FFE49F715 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:55] 619*2^1426697-1 is not prime. Res64: 5F711CE038F8B902 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:28:55] 699*2^1426697-1 is not prime. Res64: C80A5F4FCCDE9D02 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:41:41] 727*2^1426697-1 is not prime. Res64: 5562936DA9109BE0 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:41:42] 729*2^1426697-1 is not prime. Res64: 0BEC03E60617FB60 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:41:42] 741*2^1426697-1 is not prime. Res64: ADC0D226D4EFFFE5 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:41:43] 759*2^1426697-1 is not prime. Res64: 39BFF22783D505BA Time : 0.0 sec. user=mdettweiler [2016-04-18 16:41:43] 799*2^1426697-1 is not prime. Res64: C6D16B75148467F4 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:56:16] 879*2^1426697-1 is not prime. Res64: 8180B5577AB61A5E Time : 0.0 sec. user=mdettweiler [2016-04-18 16:56:16] 949*2^1426697-1 is not prime. Res64: 6FBA2E13A3C8FFAD Time : 0.0 sec. user=mdettweiler [2016-04-18 16:56:17] 615*2^1426698-1 is not prime. Res64: EA1D4584C3636245 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:56:17] 621*2^1426698-1 is not prime. Res64: BBDA134F76A577F8 Time : 0.0 sec. user=mdettweiler [2016-04-18 16:56:18] 663*2^1426698-1 is not prime. Res64: 3919C495C9559346 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:31] 707*2^1426698-1 is not prime. Res64: 20A7BE0BA36BF8D2 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:32] 815*2^1426698-1 is not prime. Res64: DF45B09879C3BD79 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:33] 825*2^1426698-1 is not prime. Res64: 8F5035EDF8D58FFE Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:34] 833*2^1426698-1 is not prime. Res64: 116F6D59CBDB20ED Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:34] 881*2^1426698-1 is not prime. Res64: F617F1F83D555018 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:53] 893*2^1426698-1 is not prime. Res64: 059EE8E6C963949B Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:54] 915*2^1426698-1 is not prime. Res64: 73D6FA4677C3D092 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:55] 963*2^1426698-1 is not prime. Res64: BAE71E6B4E315BDA Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:56] 615*2^1426699-1 is not prime. Res64: 198B8EEE0E537D1C Time : 0.0 sec. user=mdettweiler [2016-04-18 17:13:57] 631*2^1426699-1 is not prime. Res64: 3A13B3A38354ECDA Time : 0.0 sec. user=mdettweiler [2016-04-18 17:26:36] 633*2^1426699-1 is not prime. Res64: DC0333B7C69862C2 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:26:37] 645*2^1426699-1 is not prime. Res64: 68624083EC656377 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:26:39] 679*2^1426699-1 is not prime. Res64: 5B0CC4D5EDFB02AB Time : 0.0 sec. user=mdettweiler [2016-04-18 17:26:39] 741*2^1426699-1 is not prime. Res64: 65EE86406D3626CF Time : 0.0 sec. user=mdettweiler [2016-04-18 17:26:41] 793*2^1426699-1 is not prime. Res64: 362625DB69532BC4 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:41:05] 813*2^1426699-1 is not prime. Res64: 5667FA3615826A9D Time : 0.0 sec. user=mdettweiler [2016-04-18 17:41:06] 895*2^1426699-1 is not prime. Res64: 3A5704DA995E1692 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:41:06] 931*2^1426699-1 is not prime. Res64: 14136BE887D72ABC Time : 0.0 sec. user=mdettweiler [2016-04-18 17:41:07] 985*2^1426699-1 is not prime. Res64: 9E047AA7486D512F Time : 0.0 sec. user=mdettweiler [2016-04-18 17:41:07] 629*2^1426700-1 is not prime. Res64: BB559804398FEB39 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:31] 759*2^1426700-1 is not prime. Res64: 5CB1945010D75495 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:31] 839*2^1426700-1 is not prime. Res64: 8D81DEF7A61746BC Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:32] 923*2^1426700-1 is not prime. Res64: A95225CD266628F9 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:32] 959*2^1426700-1 is not prime. Res64: 161947D844B93FF8 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:33] 727*2^1426701-1 is not prime. Res64: 0A26D97F10DD1A1B Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:56] 735*2^1426701-1 is not prime. Res64: C729E731AC4CBD7A Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:57] 741*2^1426701-1 is not prime. Res64: 3C42A71A7EEA5EF6 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:57] 745*2^1426701-1 is not prime. Res64: 0373840666EB69A4 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:57] 825*2^1426701-1 is not prime. Res64: 871068C471D406A9 Time : 0.0 sec. user=mdettweiler [2016-04-18 17:58:58] 997*2^1426701-1 is not prime. Res64: 20BB5845302D8C01 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:11:24] 611*2^1426702-1 is not prime. Res64: 73AE92964801CC28 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:11:25] 815*2^1426702-1 is not prime. Res64: FA09AA9D69C8D1E5 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:11:26] 855*2^1426702-1 is not prime. Res64: 99BB2E3CF44CC39D Time : 0.0 sec. user=mdettweiler [2016-04-18 18:11:26] 863*2^1426702-1 is not prime. Res64: 7AAA4C22E24D8403 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:11:26] 965*2^1426702-1 is not prime. Res64: 5EB56C2984B7C568 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:25:52] 669*2^1426703-1 is not prime. Res64: 7343F2710E0E2F41 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:25:52] 721*2^1426703-1 is not prime. Res64: D5B22C942CB19EB5 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:25:52] 759*2^1426703-1 is not prime. Res64: BBC58C92E30ACC47 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:25:53] 855*2^1426703-1 is not prime. Res64: F41BB944BF604EC2 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:25:53] 859*2^1426703-1 is not prime. Res64: 9DFFBF498942240F Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:19] 871*2^1426703-1 is not prime. Res64: F405132C3494D851 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:19] 993*2^1426703-1 is not prime. Res64: 0FAAE5779782C47F Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:20] 629*2^1426704-1 is not prime. Res64: 918E1D29E171B243 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:20] 663*2^1426704-1 is not prime. Res64: DAE69894F488AD5F Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:20] 675*2^1426704-1 is not prime. Res64: AEFDF6884FA4746A Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:35] 737*2^1426704-1 is not prime. Res64: D0571831BECAD081 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:35] 789*2^1426704-1 is not prime. Res64: A6C37FFBD2A18252 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:36] 903*2^1426704-1 is not prime. Res64: 7B1373F7D04C2EC7 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:36] 959*2^1426704-1 is not prime. Res64: 19FAEF4B803E380D Time : 0.0 sec. user=mdettweiler [2016-04-18 18:43:36] 705*2^1426705-1 is not prime. Res64: 1A4BF125DD8583A4 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:56:15] 759*2^1426705-1 is not prime. Res64: B48BF8D2D2BD22C3 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:56:15] 939*2^1426705-1 is not prime. Res64: 252D04A252AFF3D1 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:56:16] 635*2^1426706-1 is not prime. Res64: 764CEF1270E94BA8 Time : 0.0 sec. user=mdettweiler [2016-04-18 18:56:16] 831*2^1426706-1 is not prime. Res64: 2376842C3E9C9EFA Time : 0.0 sec. user=mdettweiler [2016-04-18 18:56:16] 843*2^1426706-1 is not prime. Res64: 117CB75771DC4A64 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:10:49] 873*2^1426706-1 is not prime. Res64: 8EF8297074B06C68 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:10:50] 741*2^1426707-1 is not prime. Res64: 394409A54844C610 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:10:51] 843*2^1426707-1 is not prime. Res64: D596A368799843FF Time : 0.0 sec. user=mdettweiler [2016-04-18 19:10:52] 895*2^1426707-1 is not prime. Res64: 67CAD347A96D43B9 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:10:52] 975*2^1426707-1 is not prime. Res64: 043976AA4B0897DA Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:28] 985*2^1426707-1 is not prime. Res64: 608BFA49DB08B0F4 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:28] 647*2^1426708-1 is not prime. Res64: 054C4097E4F7F90B Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:29] 677*2^1426708-1 is not prime. Res64: 8F73DE64E992FBF0 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:29] 699*2^1426708-1 is not prime. Res64: 12F412BEC474A300 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:30] 723*2^1426708-1 is not prime. Res64: D73043CD67FC865A Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:51] 927*2^1426708-1 is not prime. Res64: 8C5DB75F97A6502D Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:51] 947*2^1426708-1 is not prime. Res64: 889D5306C3C8C638 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:52] 993*2^1426708-1 is not prime. Res64: EA04448D7F6784A7 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:52] 995*2^1426708-1 is not prime. Res64: 87CBE95E83E24BE0 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:28:52] 619*2^1426709-1 is not prime. Res64: 0190905ED0C3E7E6 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:41:28] 631*2^1426709-1 is not prime. Res64: 433A3D35E3DE3854 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:41:28] 727*2^1426709-1 is not prime. Res64: 57886DAB286CF423 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:41:29] 729*2^1426709-1 is not prime. Res64: 0F4721BC642565E0 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:41:29] 745*2^1426709-1 is not prime. Res64: AC35C56BEEFD25A6 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:41:29] 747*2^1426709-1 is not prime. Res64: D9DA17764BD082F4 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:55:43] 775*2^1426709-1 is not prime. Res64: 58F56C8A7663B178 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:55:43] 949*2^1426709-1 is not prime. Res64: 563D644F7F92F0C6 Time : 0.0 sec. user=mdettweiler [2016-04-18 19:55:44] 783*2^1426710-1 is not prime. Res64: E5091E55E0791C7F Time : 0.0 sec. user=mdettweiler [2016-04-18 19:55:44] 791*2^1426710-1 is not prime. Res64: 22A6E6542C3C8A1D Time : 0.0 sec. user=mdettweiler [2016-04-18 19:55:45] 851*2^1426710-1 is not prime. Res64: 412EF1719F8D16FE Time : 0.0 sec.