user=mdettweiler [2016-04-20 00:02:02] 847*2^1426753-1 is not prime. Res64: 65B80EF9650E31EB Time : 0.0 sec. user=mdettweiler [2016-04-20 00:02:03] 925*2^1426753-1 is not prime. Res64: 96EA12A9F120AAEB Time : 0.0 sec. user=mdettweiler [2016-04-20 00:02:03] 967*2^1426753-1 is not prime. Res64: C020C9FB96C30F8B Time : 0.0 sec. user=mdettweiler [2016-04-20 00:02:04] 687*2^1426754-1 is not prime. Res64: B7ABA280F193B279 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:02:04] 837*2^1426754-1 is not prime. Res64: 92527778B2344A6C Time : 0.0 sec. user=mdettweiler [2016-04-20 00:05:15] 851*2^1426754-1 is not prime. Res64: 5D1152896F9AF1BA Time : 0.0 sec. user=mdettweiler [2016-04-20 00:05:16] 857*2^1426754-1 is not prime. Res64: 8960B2CD39497F9A Time : 0.0 sec. user=mdettweiler [2016-04-20 00:05:16] 971*2^1426754-1 is not prime. Res64: 3C736C51E948A736 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:05:18] 609*2^1426755-1 is not prime. Res64: 748FB2719A37DD15 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:05:19] 663*2^1426755-1 is not prime. Res64: F6E800E5F3385EBD Time : 0.0 sec. user=mdettweiler [2016-04-20 00:34:58] 709*2^1426755-1 is not prime. Res64: 57082C7CDB544012 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:34:59] 801*2^1426755-1 is not prime. Res64: EB60187DA1B333CB Time : 0.0 sec. user=mdettweiler [2016-04-20 00:34:59] 819*2^1426755-1 is not prime. Res64: E537BFA9896179C9 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:00] 951*2^1426755-1 is not prime. Res64: 6596F5CEE6E82279 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:00] 961*2^1426755-1 is not prime. Res64: C61DA65BAF2F52FB Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:12] 963*2^1426755-1 is not prime. Res64: 91EE94883F66A751 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:12] 603*2^1426756-1 is not prime. Res64: F4056838F7195048 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:13] 707*2^1426756-1 is not prime. Res64: 840D092FF6E7D15A Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:13] 717*2^1426756-1 is not prime. Res64: 78AC2E1D2E01A108 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:35:13] 723*2^1426756-1 is not prime. Res64: FE68F5E26630DF80 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:47:55] 735*2^1426756-1 is not prime. Res64: E8519469DD72A3E2 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:47:56] 743*2^1426756-1 is not prime. Res64: A03BE08BA4C5DAB7 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:47:56] 773*2^1426756-1 is not prime. Res64: F990741A4877DABD Time : 0.0 sec. user=mdettweiler [2016-04-20 00:47:57] 779*2^1426756-1 is not prime. Res64: 8C8F6EB12A12DCBA Time : 0.0 sec. user=mdettweiler [2016-04-20 00:47:57] 869*2^1426756-1 is not prime. Res64: 3F52DE4571BFD289 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:51:03] 939*2^1426756-1 is not prime. Res64: 13AD914DC288510E Time : 0.0 sec. user=mdettweiler [2016-04-20 00:51:04] 717*2^1426757-1 is not prime. Res64: 4E08FADCC048F401 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:51:04] 847*2^1426757-1 is not prime. Res64: CC6B4279961CB9F0 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:51:04] 885*2^1426757-1 is not prime. Res64: 70E34717CCD30645 Time : 0.0 sec. user=mdettweiler [2016-04-20 00:51:05] 901*2^1426757-1 is not prime. Res64: F048FA06DCCBE530 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:32] 773*2^1426758-1 is not prime. Res64: 3F7743F72AACFD8C Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:33] 797*2^1426758-1 is not prime. Res64: 562A13041A5F96AE Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:33] 921*2^1426758-1 is not prime. Res64: A4EB5C817EBCA3E6 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:33] 933*2^1426758-1 is not prime. Res64: 7336FC7B8F26F36B Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:34] 621*2^1426759-1 is not prime. Res64: D83C6694A808FA98 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:53] 997*2^1426757-1 is not prime. Res64: 69BF47196650DA98 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:53] 671*2^1426758-1 is not prime. Res64: A74964FFF25DF5B5 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:54] 681*2^1426758-1 is not prime. Res64: 012DE8557CE62024 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:54] 737*2^1426758-1 is not prime. Res64: BD2F3AB7687A3A04 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:20:54] 747*2^1426758-1 is not prime. Res64: DE365671AF8DBE7D Time : 0.0 sec. user=mdettweiler [2016-04-20 01:34:08] 759*2^1426759-1 is not prime. Res64: 3AEEF0D432150F6B Time : 0.0 sec. user=mdettweiler [2016-04-20 01:34:09] 763*2^1426759-1 is not prime. Res64: 3EB07FAD6C71F6E8 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:34:09] 859*2^1426759-1 is not prime. Res64: 7738E4F35CF629ED Time : 0.0 sec. user=mdettweiler [2016-04-20 01:34:10] 883*2^1426759-1 is not prime. Res64: 206DD0B2EBA6D7FA Time : 0.0 sec. user=mdettweiler [2016-04-20 01:34:11] 913*2^1426759-1 is not prime. Res64: 3A36B8F9D62B5925 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:37:43] 629*2^1426760-1 is not prime. Res64: 833BFBAC4736CA66 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:37:43] 753*2^1426760-1 is not prime. Res64: 8766CEB3F8B41646 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:37:43] 893*2^1426760-1 is not prime. Res64: 91E4E2E8080D7389 Time : 0.0 sec. user=mdettweiler [2016-04-20 01:37:44] 935*2^1426760-1 is not prime. Res64: 4FF4626910CFBA5B Time : 0.0 sec. user=mdettweiler [2016-04-20 01:37:44] 995*2^1426760-1 is not prime. Res64: 2D528714A16A9AD9 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:30] 657*2^1426761-1 is not prime. Res64: A144F76914305F96 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:31] 741*2^1426761-1 is not prime. Res64: 8DF3C816B85EB1D3 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:32] 819*2^1426761-1 is not prime. Res64: 95366E3FC5BDFACB Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:34] 861*2^1426761-1 is not prime. Res64: 94ED4416F1BB84F4 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:34] 871*2^1426761-1 is not prime. Res64: F2CCDB1D31EE627D Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:40] 717*2^1426762-1 is not prime. Res64: 46415A46924322FE Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:41] 747*2^1426762-1 is not prime. Res64: A78A695F9A30EBD9 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:44] 813*2^1426762-1 is not prime. Res64: 78081382CA2B9A1B Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:45] 857*2^1426762-1 is not prime. Res64: A70A26C1D11BCD0D Time : 0.0 sec. user=mdettweiler [2016-04-20 02:06:46] 915*2^1426762-1 is not prime. Res64: 52453B31FD0A422A Time : 0.0 sec. user=mdettweiler [2016-04-20 02:19:21] 917*2^1426762-1 is not prime. Res64: 432C29AA90BBEDD0 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:19:22] 945*2^1426762-1 is not prime. Res64: C13D427A7942E12B Time : 0.0 sec. user=mdettweiler [2016-04-20 02:19:22] 619*2^1426763-1 is not prime. Res64: 40F6700C927B9203 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:19:22] 643*2^1426763-1 is not prime. Res64: 45935B81CCA36DF5 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:19:23] 685*2^1426763-1 is not prime. Res64: 4F83465C4D3B86B6 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:22:44] 889*2^1426763-1 is not prime. Res64: 2C4A5CA875B5B611 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:22:45] 985*2^1426763-1 is not prime. Res64: 627E5FDE6277D199 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:22:45] 665*2^1426764-1 is not prime. Res64: A93121C915D3657D Time : 0.0 sec. user=mdettweiler [2016-04-20 02:22:46] 689*2^1426764-1 is not prime. Res64: 26694CF070317ABB Time : 0.0 sec. user=mdettweiler [2016-04-20 02:22:46] 693*2^1426764-1 is not prime. Res64: 2D517B78C1741AF9 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:43] 705*2^1426764-1 is not prime. Res64: 7710EB5D53719D04 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:43] 725*2^1426764-1 is not prime. Res64: B11C632232EE60D3 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:44] 737*2^1426764-1 is not prime. Res64: 4B35CEDC38F4D9F8 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:44] 783*2^1426764-1 is not prime. Res64: AF0A78FCA3043AA7 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:45] 825*2^1426764-1 is not prime. Res64: D973660C0391D91F Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:55] 893*2^1426764-1 is not prime. Res64: 81576F7FE306A0F8 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:56] 649*2^1426765-1 is not prime. Res64: 65F874D027DFB3DF Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:56] 729*2^1426765-1 is not prime. Res64: 9650757C63B7B0CF Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:57] 999*2^1426765-1 is not prime. Res64: DE53A0AF6D6C5F17 Time : 0.0 sec. user=mdettweiler [2016-04-20 02:51:57] 627*2^1426766-1 is not prime. Res64: E00206E46B2B15A2 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:04:23] 741*2^1426766-1 is not prime. Res64: 2401B077DA9AF315 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:04:24] 801*2^1426766-1 is not prime. Res64: 49377B5B369D5E07 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:04:25] 917*2^1426766-1 is not prime. Res64: C615A84BBBF866BB Time : 0.0 sec. user=mdettweiler [2016-04-20 03:04:26] 923*2^1426766-1 is not prime. Res64: FCA3B6B962571DB4 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:04:27] 619*2^1426767-1 is not prime. Res64: C91DDA67F0418B99 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:07:48] 643*2^1426767-1 is not prime. Res64: 4BA66A5842D480F5 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:07:48] 685*2^1426767-1 is not prime. Res64: EFD2FF3993407633 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:07:49] 913*2^1426767-1 is not prime. Res64: CCB3A3B83F0D611E Time : 0.0 sec. user=mdettweiler [2016-04-20 03:07:49] 931*2^1426767-1 is not prime. Res64: 2F62B3C2DD1A658A Time : 0.0 sec. user=mdettweiler [2016-04-20 03:07:49] 963*2^1426767-1 is not prime. Res64: 825144CCA130D409 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:13] 623*2^1426768-1 is not prime. Res64: D48D3B1DD30FF905 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:15] 695*2^1426768-1 is not prime. Res64: 5BCA2044DA72D1DB Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:16] 845*2^1426768-1 is not prime. Res64: 7775DD02B75D279E Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:17] 869*2^1426768-1 is not prime. Res64: 6486B8C1CCD42871 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:18] 887*2^1426768-1 is not prime. Res64: 4EA108FED4C19B9B Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:26] 685*2^1426769-1 is not prime. Res64: FE68101D49286F99 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:27] 721*2^1426769-1 is not prime. Res64: 90D5D808B978AC98 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:29] 771*2^1426769-1 is not prime. Res64: 0C153913C73873FB Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:30] 799*2^1426769-1 is not prime. Res64: FA657732A27BC33F Time : 0.0 sec. user=mdettweiler [2016-04-20 03:37:30] 829*2^1426769-1 is not prime. Res64: 009AB285FCF9497C Time : 0.0 sec. user=mdettweiler [2016-04-20 03:50:08] 865*2^1426769-1 is not prime. Res64: 5AAA207386EE5BA2 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:50:09] 651*2^1426770-1 is not prime. Res64: B8C593068AADD5E2 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:50:10] 681*2^1426770-1 is not prime. Res64: A5E7D6BF6BA5B6FC Time : 0.0 sec. user=mdettweiler [2016-04-20 03:50:11] 695*2^1426770-1 is not prime. Res64: 9FD28DC14CC56611 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:50:11] 713*2^1426770-1 is not prime. Res64: 64B2873A4B3611A7 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:53:25] 803*2^1426770-1 is not prime. Res64: 1914BC9A44CA6B21 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:53:26] 821*2^1426770-1 is not prime. Res64: 2121BDD90F33A44D Time : 0.0 sec. user=mdettweiler [2016-04-20 03:53:26] 885*2^1426770-1 is not prime. Res64: 801D76B89FB37AF9 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:53:27] 893*2^1426770-1 is not prime. Res64: 9FC6B52BE2359100 Time : 0.0 sec. user=mdettweiler [2016-04-20 03:53:27] 917*2^1426770-1 is not prime. Res64: FCDB60F82AA68D91 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:25] 871*2^1426771-1 is not prime. Res64: A861E2224D80804D Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:26] 605*2^1426772-1 is not prime. Res64: 8B0D041E03824B3E Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:26] 623*2^1426772-1 is not prime. Res64: CE0A40D5571FF095 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:26] 635*2^1426772-1 is not prime. Res64: DF7DBC52834F8CA9 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:27] 873*2^1426772-1 is not prime. Res64: 9F0104EECC96B75A Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:38] 971*2^1426770-1 is not prime. Res64: 16A0E2D435D85E60 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:38] 603*2^1426771-1 is not prime. Res64: DC7C74161931BC99 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:38] 733*2^1426771-1 is not prime. Res64: 2A018BADCF5AB147 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:39] 735*2^1426771-1 is not prime. Res64: 98393356137F2213 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:23:39] 741*2^1426771-1 is not prime. Res64: 873EFB50CECCE4B2 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:36:16] 893*2^1426772-1 is not prime. Res64: B3FB6099F07B8582 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:36:17] 935*2^1426772-1 is not prime. Res64: 936CDB08941DEF98 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:36:17] 963*2^1426772-1 is not prime. Res64: 02B80E30A627F170 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:36:17] 621*2^1426773-1 is not prime. Res64: B55D87D1E8CD8D6B Time : 0.0 sec. user=mdettweiler [2016-04-20 04:36:18] 627*2^1426773-1 is not prime. Res64: 9420392115DA2732 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:39:31] 889*2^1426773-1 is not prime. Res64: 69927B2F2E94FA84 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:39:31] 901*2^1426773-1 is not prime. Res64: 2AD1DF68A515E10A Time : 0.0 sec. user=mdettweiler [2016-04-20 04:39:31] 999*2^1426773-1 is not prime. Res64: C9BF771437C62FC7 Time : 0.0 sec. user=mdettweiler [2016-04-20 04:39:32] 611*2^1426774-1 is not prime. Res64: 7178D23604B9F75F Time : 0.0 sec. user=mdettweiler [2016-04-20 04:39:32] 645*2^1426774-1 is not prime. Res64: 52B407195BDC4999 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:41] 737*2^1426774-1 is not prime. Res64: 3DCA388886C93B62 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:41] 833*2^1426774-1 is not prime. Res64: D7F007BED574D214 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:42] 857*2^1426774-1 is not prime. Res64: DCF0D322D66BDCEB Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:42] 885*2^1426774-1 is not prime. Res64: 7CC5DAC30072132B Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:43] 923*2^1426774-1 is not prime. Res64: 31EB5A8811EE734B Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:53] 965*2^1426774-1 is not prime. Res64: C28D32F1E586D3A4 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:53] 831*2^1426775-1 is not prime. Res64: 420A9EF48839202D Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:54] 999*2^1426775-1 is not prime. Res64: 8DCAB8C8F0A6C1F8 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:54] 653*2^1426776-1 is not prime. Res64: DB42E980EFF6D85E Time : 0.0 sec. user=mdettweiler [2016-04-20 05:08:54] 693*2^1426776-1 is not prime. Res64: E1B18D497B56A594 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:21:20] 705*2^1426776-1 is not prime. Res64: BC4EBA6D8D159BE9 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:21:21] 723*2^1426776-1 is not prime. Res64: 7110998348C82DC1 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:21:21] 837*2^1426776-1 is not prime. Res64: AC2AEB872660F908 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:21:21] 857*2^1426776-1 is not prime. Res64: CC7D593A0F8D653C Time : 0.0 sec. user=mdettweiler [2016-04-20 05:21:22] 867*2^1426776-1 is not prime. Res64: C503DD8206DE0544 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:24:42] 879*2^1426776-1 is not prime. Res64: 8CEF985C06FF2B54 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:24:42] 993*2^1426776-1 is not prime. Res64: F43EE6A43D614C37 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:24:43] 601*2^1426777-1 is not prime. Res64: 45DC35E384F2F290 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:24:43] 615*2^1426777-1 is not prime. Res64: DFDA9BF661244245 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:24:44] 777*2^1426777-1 is not prime. Res64: 828957C4EA6E1641 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:40] 819*2^1426777-1 is not prime. Res64: 123EBCF788EAB623 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:40] 895*2^1426777-1 is not prime. Res64: F5368345CB2C9176 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:40] 915*2^1426777-1 is not prime. Res64: C0A399C573138423 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:41] 919*2^1426777-1 is not prime. Res64: 4F54F46CF1820C7F Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:41] 605*2^1426778-1 is not prime. Res64: 6E5FEF277586F0AE Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:42] 641*2^1426778-1 is not prime. Res64: 11BB22748F0B2E46 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:43] 705*2^1426778-1 is not prime. Res64: 1F386A3D6B55ED39 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:43] 837*2^1426778-1 is not prime. Res64: 29CD9A7C3088F20B Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:43] 887*2^1426778-1 is not prime. Res64: 90C431383301F776 Time : 0.0 sec. user=mdettweiler [2016-04-20 05:53:44] 893*2^1426778-1 is not prime. Res64: E8C0EA2BA4F2C7BC Time : 0.0 sec. user=mdettweiler [2016-04-20 06:06:18] 993*2^1426778-1 is not prime. Res64: 310F19678638FF9F Time : 0.0 sec. user=mdettweiler [2016-04-20 06:06:19] 669*2^1426779-1 is not prime. Res64: 3CB3C2E7BCFD9542 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:06:21] 675*2^1426779-1 is not prime. Res64: 7BF1BDD6341BDFB1 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:06:23] 723*2^1426779-1 is not prime. Res64: 16CDAE5B06027BB0 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:06:24] 829*2^1426779-1 is not prime. Res64: 2302D0453AEBC06A Time : 0.0 sec. user=mdettweiler [2016-04-20 06:09:31] 861*2^1426779-1 is not prime. Res64: F57C06439DAD88C2 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:09:31] 943*2^1426779-1 is not prime. Res64: 9DA2775C98E3F8B0 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:09:32] 609*2^1426780-1 is not prime. Res64: BE4A1A72F95AFC55 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:09:32] 629*2^1426780-1 is not prime. Res64: 17BDC1B6F53D72FD Time : 0.0 sec. user=mdettweiler [2016-04-20 06:09:33] 833*2^1426780-1 is not prime. Res64: 85CF7CC87BB5CD34 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:29] 863*2^1426780-1 is not prime. Res64: CDEFA9C16D9489B3 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:29] 887*2^1426780-1 is not prime. Res64: C67C994342BD645B Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:30] 601*2^1426781-1 is not prime. Res64: 26E2BB6E56A98809 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:30] 675*2^1426781-1 is not prime. Res64: 4F77EBA91999320A Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:30] 799*2^1426781-1 is not prime. Res64: F934C4B1D08963FE Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:46] 871*2^1426781-1 is not prime. Res64: 61215F8621CACF29 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:46] 901*2^1426781-1 is not prime. Res64: 792C4108BC22FD2B Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:46] 937*2^1426781-1 is not prime. Res64: 4F5AF8D1DD83F5AD Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:47] 949*2^1426781-1 is not prime. Res64: 8BD4D8E0014BAD08 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:38:47] 621*2^1426782-1 is not prime. Res64: 3D43C18A794C6715 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:51:41] 657*2^1426782-1 is not prime. Res64: 12DFA651A8C39BF3 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:51:42] 815*2^1426782-1 is not prime. Res64: E7659429A4503CCA Time : 0.0 sec. user=mdettweiler [2016-04-20 06:51:42] 1001*2^1426782-1 is not prime. Res64: 1CE2C29516AAA80D Time : 0.0 sec. user=mdettweiler [2016-04-20 06:51:42] 615*2^1426783-1 is not prime. Res64: 6066C8567E752DDF Time : 0.0 sec. user=mdettweiler [2016-04-20 06:51:43] 685*2^1426783-1 is not prime. Res64: A58122F67A86EE60 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:54:20] 861*2^1426783-1 is not prime. Res64: 8578AE763C18A355 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:54:21] 871*2^1426783-1 is not prime. Res64: 451DAE858BF809D5 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:54:21] 973*2^1426783-1 is not prime. Res64: 84C7DB0FA30ECA28 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:54:21] 999*2^1426783-1 is not prime. Res64: DF6F7BE97339F946 Time : 0.0 sec. user=mdettweiler [2016-04-20 06:54:22] 635*2^1426784-1 is not prime. Res64: DDFFEDF9B3A5649B Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:21] 747*2^1426784-1 is not prime. Res64: 302E23B6E96C059C Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:21] 803*2^1426784-1 is not prime. Res64: 0DDD09FF2998C4ED Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:22] 873*2^1426784-1 is not prime. Res64: 086AF941FC3B9ED5 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:22] 607*2^1426785-1 is not prime. Res64: 4D5A967A533A46D9 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:23] 639*2^1426785-1 is not prime. Res64: 4945A1E550F2C1AD Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:37] 667*2^1426785-1 is not prime. Res64: 158FAD374AEFAF40 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:38] 831*2^1426785-1 is not prime. Res64: 87B15202BF439901 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:38] 837*2^1426785-1 is not prime. Res64: CCBF905D960E3901 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:39] 919*2^1426785-1 is not prime. Res64: B1837EF5E06FA639 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:23:39] 603*2^1426786-1 is not prime. Res64: 89424A7543EA7426 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:36:38] 623*2^1426786-1 is not prime. Res64: 13E713ABA31D3212 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:36:39] 651*2^1426786-1 is not prime. Res64: 62353E6796EDDC5D Time : 0.0 sec. user=mdettweiler [2016-04-20 07:36:39] 843*2^1426786-1 is not prime. Res64: 017D3653AA4EDA49 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:36:39] 857*2^1426786-1 is not prime. Res64: 45129CDDA5BD1F2D Time : 0.0 sec. user=mdettweiler [2016-04-20 07:36:40] 957*2^1426786-1 is not prime. Res64: 053CCCBB96BE94F8 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:39:18] 975*2^1426786-1 is not prime. Res64: 6C3CFD0BE2B9F234 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:39:19] 619*2^1426787-1 is not prime. Res64: 868A8EE3718CCBA9 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:39:19] 663*2^1426787-1 is not prime. Res64: 6CC990FB31AA87BC Time : 0.0 sec. user=mdettweiler [2016-04-20 07:39:20] 843*2^1426787-1 is not prime. Res64: CDE2D6529CFF3872 Time : 0.0 sec. user=mdettweiler [2016-04-20 07:39:20] 883*2^1426787-1 is not prime. Res64: 9427543F93AD2C19 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:35] 615*2^1426789-1 is not prime. Res64: 3003BCE11194D5C8 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:36] 741*2^1426789-1 is not prime. Res64: 5ACBD1839A67CF22 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:36] 801*2^1426789-1 is not prime. Res64: 70F4F9ECC4A1CD65 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:36] 825*2^1426789-1 is not prime. Res64: 3E47208F8F8E7D96 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:37] 861*2^1426789-1 is not prime. Res64: 6657E06D9598AD24 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:43] 605*2^1426788-1 is not prime. Res64: C02202541785E53F Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:43] 657*2^1426788-1 is not prime. Res64: 9BC19397ABBE0DF2 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:44] 707*2^1426788-1 is not prime. Res64: 164B23646381B5FB Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:44] 789*2^1426788-1 is not prime. Res64: 0FE1105EFD0A26E9 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:08:44] 887*2^1426788-1 is not prime. Res64: 90EC8D5EADEBB7F3 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:21:44] 885*2^1426789-1 is not prime. Res64: F9AB4C0B7AB7FCCB Time : 0.0 sec. user=mdettweiler [2016-04-20 08:21:44] 961*2^1426789-1 is not prime. Res64: F04F5EF1F3EBDF13 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:21:45] 975*2^1426789-1 is not prime. Res64: BA4E1EBC77B24CD6 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:21:45] 987*2^1426789-1 is not prime. Res64: 08562003F0402DAB Time : 0.0 sec. user=mdettweiler [2016-04-20 08:21:46] 867*2^1426790-1 is not prime. Res64: BE9D33D744D19C82 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:24:26] 945*2^1426790-1 is not prime. Res64: C73254CADCD1C74A Time : 0.0 sec. user=mdettweiler [2016-04-20 08:24:26] 679*2^1426791-1 is not prime. Res64: 0F73DBE800395452 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:24:27] 685*2^1426791-1 is not prime. Res64: 01C488770CDF0EBE Time : 0.0 sec. user=mdettweiler [2016-04-20 08:24:27] 703*2^1426791-1 is not prime. Res64: 35459258F5D005EF Time : 0.0 sec. user=mdettweiler [2016-04-20 08:24:28] 751*2^1426791-1 is not prime. Res64: 4B975285201CFE95 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:44] 639*2^1426792-1 is not prime. Res64: C71CDB6AAAF3604E Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:44] 713*2^1426792-1 is not prime. Res64: 65D02E9418E5A68F Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:45] 723*2^1426792-1 is not prime. Res64: 7E5787AF9E00D201 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:45] 849*2^1426792-1 is not prime. Res64: A186731F3FA0324D Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:45] 909*2^1426792-1 is not prime. Res64: 2BD879F41CB51BB0 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:58] 939*2^1426792-1 is not prime. Res64: 5EE2FD4E09AFFE87 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:58] 983*2^1426792-1 is not prime. Res64: DEE18C6E7EBE8151 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:58] 999*2^1426792-1 is not prime. Res64: 6BBAA56BC5210B1F Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:59] 691*2^1426793-1 is not prime. Res64: 5FDD34E488CE52D6 Time : 0.0 sec. user=mdettweiler [2016-04-20 08:53:59] 699*2^1426793-1 is not prime. Res64: 7F0CEBC795058372 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:06:56] 715*2^1426793-1 is not prime. Res64: 6EBE40AA13A81D45 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:06:56] 735*2^1426793-1 is not prime. Res64: 3FCF66EFA5D768B7 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:06:57] 769*2^1426793-1 is not prime. Res64: BE9A6A7E84C2AAEF Time : 0.0 sec. user=mdettweiler [2016-04-20 09:06:57] 811*2^1426793-1 is not prime. Res64: 5BC6439678262677 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:06:58] 945*2^1426793-1 is not prime. Res64: 37F6553E723BF598 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:09:40] 967*2^1426793-1 is not prime. Res64: 80D659F7156BC925 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:09:40] 621*2^1426794-1 is not prime. Res64: 18E36A5644190A27 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:09:41] 755*2^1426794-1 is not prime. Res64: 7C51D8BE2457E7AD Time : 0.0 sec. user=mdettweiler [2016-04-20 09:09:41] 783*2^1426794-1 is not prime. Res64: 6D278023F28CE5BA Time : 0.0 sec. user=mdettweiler [2016-04-20 09:09:41] 807*2^1426794-1 is not prime. Res64: BD861F3B54FA23A5 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:38:46] 851*2^1426794-1 is not prime. Res64: 36E3CA07E3BCD575 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:38:46] 881*2^1426794-1 is not prime. Res64: 2FACD7C815B3C5D6 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:38:47] 915*2^1426794-1 is not prime. Res64: 0758C297DE513B1F Time : 0.0 sec. user=mdettweiler [2016-04-20 09:38:47] 941*2^1426794-1 is not prime. Res64: 5A343CE37F8A945C Time : 0.0 sec. user=mdettweiler [2016-04-20 09:38:47] 675*2^1426795-1 is not prime. Res64: F65518F2D0876A3B Time : 0.0 sec. user=mdettweiler [2016-04-20 09:39:02] 909*2^1426795-1 is not prime. Res64: E829CDEF7C84E865 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:39:02] 939*2^1426795-1 is not prime. Res64: D56D869D654861F9 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:39:02] 999*2^1426795-1 is not prime. Res64: E541ED419736AD62 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:39:03] 743*2^1426796-1 is not prime. Res64: 053DCB09150D200F Time : 0.0 sec. user=mdettweiler [2016-04-20 09:39:03] 983*2^1426796-1 is not prime. Res64: 783F31DA17EC1C56 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:52:15] 615*2^1426797-1 is not prime. Res64: 2146E967353D78C3 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:52:15] 639*2^1426797-1 is not prime. Res64: 6804A37788609894 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:52:15] 649*2^1426797-1 is not prime. Res64: BA1EEE00E6090933 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:52:16] 675*2^1426797-1 is not prime. Res64: 513DA3358B695682 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:52:16] 691*2^1426797-1 is not prime. Res64: F94AD80D700708EE Time : 0.0 sec. user=mdettweiler [2016-04-20 09:54:47] 849*2^1426797-1 is not prime. Res64: 422AEA4C7347AF9A Time : 0.0 sec. user=mdettweiler [2016-04-20 09:54:48] 871*2^1426797-1 is not prime. Res64: BB80E327DB1EC3A5 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:54:48] 603*2^1426798-1 is not prime. Res64: 247D4293255D1122 Time : 0.0 sec. user=mdettweiler [2016-04-20 09:54:48] 857*2^1426798-1 is not prime. Res64: D17F39AA744914FD Time : 0.0 sec. user=mdettweiler [2016-04-20 09:54:49] 867*2^1426798-1 is not prime. Res64: 6DF20CAC473A7A4E Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:39] 897*2^1426798-1 is not prime. Res64: 7F8DDB84A185C25E Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:39] 941*2^1426798-1 is not prime. Res64: F6D37C860ED3C507 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:39] 663*2^1426799-1 is not prime. Res64: 65208A50879366A0 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:40] 825*2^1426799-1 is not prime. Res64: 2A9EFFC5D0133AC6 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:40] 985*2^1426799-1 is not prime. Res64: 548C79FE0F8C1A94 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:57] 623*2^1426800-1 is not prime. Res64: 2366CC2342E7BDB3 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:57] 675*2^1426800-1 is not prime. Res64: 4B8BBD32742B7070 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:58] 695*2^1426800-1 is not prime. Res64: 0B7E4B0DD13192EF Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:58] 759*2^1426800-1 is not prime. Res64: FB95BDDA3A4069E4 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:23:58] 789*2^1426800-1 is not prime. Res64: 390368373716B956 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:37:11] 845*2^1426800-1 is not prime. Res64: 05BFF338E20CE87E Time : 0.0 sec. user=mdettweiler [2016-04-20 10:37:11] 915*2^1426800-1 is not prime. Res64: EAA4E8D825CA0DC4 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:37:11] 741*2^1426801-1 is not prime. Res64: 24DCB5714758CDEB Time : 0.0 sec. user=mdettweiler [2016-04-20 10:37:12] 805*2^1426801-1 is not prime. Res64: 7CD42A244986CC05 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:37:12] 861*2^1426801-1 is not prime. Res64: 9A203536A51900AF Time : 0.0 sec. user=mdettweiler [2016-04-20 10:39:49] 931*2^1426801-1 is not prime. Res64: 50AB6BBD9905426D Time : 0.0 sec. user=mdettweiler [2016-04-20 10:39:50] 997*2^1426801-1 is not prime. Res64: 078E7EDCD5D6B9D5 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:39:50] 677*2^1426802-1 is not prime. Res64: 0C5CA3EDDD7F04C4 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:39:51] 731*2^1426802-1 is not prime. Res64: E965433289E01219 Time : 0.0 sec. user=mdettweiler [2016-04-20 10:39:51] 885*2^1426802-1 is not prime. Res64: 6DFD496310320648 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:08:50] 887*2^1426802-1 is not prime. Res64: 2A5897B5501A681F Time : 0.0 sec. user=mdettweiler [2016-04-20 11:08:51] 981*2^1426802-1 is not prime. Res64: E27358E111921D91 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:08:51] 753*2^1426803-1 is not prime. Res64: 54EF4AF6185DBFEF Time : 0.0 sec. user=mdettweiler [2016-04-20 11:08:51] 873*2^1426803-1 is not prime. Res64: 067137038E460F8E Time : 0.0 sec. user=mdettweiler [2016-04-20 11:08:52] 921*2^1426803-1 is not prime. Res64: 244E45875B9ACBBA Time : 0.0 sec. user=mdettweiler [2016-04-20 11:09:16] 943*2^1426803-1 is not prime. Res64: 2D82483C6160A6DA Time : 0.0 sec. user=mdettweiler [2016-04-20 11:09:16] 951*2^1426803-1 is not prime. Res64: 4B873F46C3AB026C Time : 0.0 sec. user=mdettweiler [2016-04-20 11:09:17] 961*2^1426803-1 is not prime. Res64: EA974A01D686CD23 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:09:17] 605*2^1426804-1 is not prime. Res64: C5A40AF10B87B6D1 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:09:17] 617*2^1426804-1 is not prime. Res64: 488B5D4111ADFCF9 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:22:10] 813*2^1426804-1 is not prime. Res64: 8FCD8458BE17CC9F Time : 0.0 sec. user=mdettweiler [2016-04-20 11:22:11] 825*2^1426804-1 is not prime. Res64: 136A73F948D58E29 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:22:11] 857*2^1426804-1 is not prime. Res64: B11234D1B8A30654 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:22:12] 899*2^1426804-1 is not prime. Res64: DBE307C891E5D820 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:22:12] 657*2^1426805-1 is not prime. Res64: 2110119725CB866B Time : 0.0 sec. user=mdettweiler [2016-04-20 11:24:43] 757*2^1426805-1 is not prime. Res64: B27F1585DD58F272 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:24:44] 795*2^1426805-1 is not prime. Res64: CA68ED15DADA0398 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:24:44] 799*2^1426805-1 is not prime. Res64: 5C58BAE523B3AEA6 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:24:45] 957*2^1426805-1 is not prime. Res64: EE8E13306284E7E0 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:24:45] 707*2^1426806-1 is not prime. Res64: 86E6B63946FCD764 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:53:51] 807*2^1426806-1 is not prime. Res64: 934A917AE94CC718 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:53:51] 861*2^1426806-1 is not prime. Res64: 54A6DA8A16BA43DD Time : 0.0 sec. user=mdettweiler [2016-04-20 11:53:52] 921*2^1426806-1 is not prime. Res64: 31B00F1970E355A1 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:53:52] 923*2^1426806-1 is not prime. Res64: FECC7A91B60E5012 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:53:52] 975*2^1426806-1 is not prime. Res64: D30299FC0C26D23A Time : 0.0 sec. user=mdettweiler [2016-04-20 11:54:19] 663*2^1426807-1 is not prime. Res64: A2240CE81C0683EC Time : 0.0 sec. user=mdettweiler [2016-04-20 11:54:20] 681*2^1426807-1 is not prime. Res64: A09B9126171303A7 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:54:20] 693*2^1426807-1 is not prime. Res64: 04F2403E3DD87828 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:54:20] 883*2^1426807-1 is not prime. Res64: 8CE155AF529B9B98 Time : 0.0 sec. user=mdettweiler [2016-04-20 11:54:21] 895*2^1426807-1 is not prime. Res64: 7479C634AFACAEF2 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:07:18] 993*2^1426807-1 is not prime. Res64: 9E2A9B1C3E75E12B Time : 0.0 sec. user=mdettweiler [2016-04-20 12:07:18] 603*2^1426808-1 is not prime. Res64: 8CF1EEB11F5167F7 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:07:19] 615*2^1426808-1 is not prime. Res64: 764523C09CFB0FF8 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:07:19] 623*2^1426808-1 is not prime. Res64: AAE8F5C7C2260593 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:07:20] 633*2^1426808-1 is not prime. Res64: 1DA9C72FB964924B Time : 0.0 sec. user=mdettweiler [2016-04-20 12:09:48] 657*2^1426808-1 is not prime. Res64: D66F347013E95316 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:09:48] 755*2^1426808-1 is not prime. Res64: 8D9AE0417098E2F0 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:09:48] 795*2^1426808-1 is not prime. Res64: C12C8D56F15BB4DD Time : 0.0 sec. user=mdettweiler [2016-04-20 12:09:49] 815*2^1426808-1 is not prime. Res64: 672248C5FB7A6AAD Time : 0.0 sec. user=mdettweiler [2016-04-20 12:09:49] 827*2^1426808-1 is not prime. Res64: 6E04645B2F223467 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:38:48] 977*2^1426808-1 is not prime. Res64: F8C29C862CF06264 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:38:48] 995*2^1426808-1 is not prime. Res64: 501355BF1D115884 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:38:49] 657*2^1426809-1 is not prime. Res64: E10D8707020D31D0 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:38:49] 675*2^1426809-1 is not prime. Res64: EA5ACDBAD9A2236A Time : 0.0 sec. user=mdettweiler [2016-04-20 12:38:49] 811*2^1426809-1 is not prime. Res64: 36072F7CFE470DB5 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:39:27] 861*2^1426809-1 is not prime. Res64: 64E483E49DA609C5 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:39:28] 895*2^1426809-1 is not prime. Res64: 2E5EBF9DB04788CC Time : 0.0 sec. user=mdettweiler [2016-04-20 12:39:28] 907*2^1426809-1 is not prime. Res64: 45EF2CBD567AC9D1 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:39:29] 949*2^1426809-1 is not prime. Res64: D1EC92BC85725A26 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:39:29] 987*2^1426809-1 is not prime. Res64: 33535C3EC297DD64 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:52:30] 605*2^1426810-1 is not prime. Res64: 4BE933FF7B3C27D6 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:52:30] 653*2^1426810-1 is not prime. Res64: B3436BD3BE951ACC Time : 0.0 sec. user=mdettweiler [2016-04-20 12:52:31] 701*2^1426810-1 is not prime. Res64: FA983DF44489DE30 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:52:31] 843*2^1426810-1 is not prime. Res64: 329CED1FA172E164 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:52:31] 971*2^1426810-1 is not prime. Res64: 42C4A79ACAC3FA67 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:54:51] 619*2^1426811-1 is not prime. Res64: 01EEC6B011615511 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:54:51] 813*2^1426811-1 is not prime. Res64: 05FB37619EFD8BDD Time : 0.0 sec. user=mdettweiler [2016-04-20 12:54:52] 943*2^1426811-1 is not prime. Res64: 99927B6E2D14EF91 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:54:52] 949*2^1426811-1 is not prime. Res64: 3E543DD8B1CF34C8 Time : 0.0 sec. user=mdettweiler [2016-04-20 12:54:52] 969*2^1426811-1 is not prime. Res64: 25FDC8722787DB31 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:23:51] 609*2^1426812-1 is not prime. Res64: 58ADB329A592C4FD Time : 0.0 sec. user=mdettweiler [2016-04-20 13:23:51] 635*2^1426812-1 is not prime. Res64: 0737A17D3105B897 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:23:52] 737*2^1426812-1 is not prime. Res64: 6E623F647C28B33D Time : 0.0 sec. user=mdettweiler [2016-04-20 13:23:52] 863*2^1426812-1 is not prime. Res64: B72F13632167F44B Time : 0.0 sec. user=mdettweiler [2016-04-20 13:23:53] 867*2^1426812-1 is not prime. Res64: 13F7153371368D51 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:24:29] 875*2^1426812-1 is not prime. Res64: 1371B3FAE682FB90 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:24:29] 899*2^1426812-1 is not prime. Res64: 7AE3D6332217583B Time : 0.0 sec. user=mdettweiler [2016-04-20 13:24:30] 959*2^1426812-1 is not prime. Res64: FEC087572F573092 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:24:30] 975*2^1426812-1 is not prime. Res64: 65BE8B5D20476855 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:24:30] 977*2^1426812-1 is not prime. Res64: 56A6A69314AAA5BB Time : 0.0 sec. user=mdettweiler [2016-04-20 13:37:41] 687*2^1426813-1 is not prime. Res64: D78FBF4746655C63 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:37:41] 757*2^1426813-1 is not prime. Res64: E246BA18B7C0A1BB Time : 0.0 sec. user=mdettweiler [2016-04-20 13:37:42] 867*2^1426813-1 is not prime. Res64: 501D14945EF70EB7 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:37:42] 961*2^1426813-1 is not prime. Res64: B7CB0DE6C08CB31F Time : 0.0 sec. user=mdettweiler [2016-04-20 13:37:43] 623*2^1426814-1 is not prime. Res64: CCC270F06F11FC00 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:39:56] 651*2^1426814-1 is not prime. Res64: AFAF4C48D629A8BA Time : 0.0 sec. user=mdettweiler [2016-04-20 13:39:56] 731*2^1426814-1 is not prime. Res64: 03E4059BED1DB8E0 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:39:57] 747*2^1426814-1 is not prime. Res64: CCCD22763CDFCB0D Time : 0.0 sec. user=mdettweiler [2016-04-20 13:39:57] 797*2^1426814-1 is not prime. Res64: B6159AA7947C7D22 Time : 0.0 sec. user=mdettweiler [2016-04-20 13:39:58] 885*2^1426814-1 is not prime. Res64: E4866C2AD68C6A61 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:08:54] 927*2^1426814-1 is not prime. Res64: 07973B2B6C4CB645 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:08:55] 953*2^1426814-1 is not prime. Res64: 89B0A79A7DDD9D17 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:08:55] 669*2^1426815-1 is not prime. Res64: 0CFA50E3B6D0ACF0 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:08:56] 711*2^1426815-1 is not prime. Res64: DBC28CFC1DA81AC0 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:08:56] 793*2^1426815-1 is not prime. Res64: A74855046E5EC4D9 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:09:23] 859*2^1426815-1 is not prime. Res64: B5FC205D38275F35 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:09:24] 909*2^1426815-1 is not prime. Res64: 36CCAB8C4366EB91 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:09:24] 609*2^1426816-1 is not prime. Res64: FB2101F8A9F55908 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:09:25] 695*2^1426816-1 is not prime. Res64: 735168A218E4959E Time : 0.0 sec. user=mdettweiler [2016-04-20 14:09:25] 927*2^1426816-1 is not prime. Res64: 722A9A1C1FE4713E Time : 0.0 sec. user=mdettweiler [2016-04-20 14:22:46] 619*2^1426817-1 is not prime. Res64: 5A93EE1252B32754 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:22:47] 735*2^1426817-1 is not prime. Res64: 89262B21E055A4D8 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:22:47] 771*2^1426817-1 is not prime. Res64: D7B03F7B147F3FAB Time : 0.0 sec. user=mdettweiler [2016-04-20 14:22:48] 799*2^1426817-1 is not prime. Res64: 115E03EC26539711 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:22:48] 871*2^1426817-1 is not prime. Res64: F9F6FB2BD223EE0A Time : 0.0 sec. user=mdettweiler [2016-04-20 14:25:03] 909*2^1426817-1 is not prime. Res64: C0D8E08300B2509D Time : 0.0 sec. user=mdettweiler [2016-04-20 14:25:03] 611*2^1426818-1 is not prime. Res64: 477157A2D36B2627 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:25:04] 627*2^1426818-1 is not prime. Res64: B37DEFDF46BCADDF Time : 0.0 sec. user=mdettweiler [2016-04-20 14:25:04] 633*2^1426818-1 is not prime. Res64: B2827F05D6EA28BB Time : 0.0 sec. user=mdettweiler [2016-04-20 14:25:04] 755*2^1426818-1 is not prime. Res64: 4F76498025178041 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:13] 633*2^1426819-1 is not prime. Res64: B097169CFC93A764 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:13] 723*2^1426819-1 is not prime. Res64: 47E0F0E4ED721C7A Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:14] 775*2^1426819-1 is not prime. Res64: D8925ED11F2D5756 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:14] 813*2^1426819-1 is not prime. Res64: FF82BC5B00B5CCC2 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:14] 853*2^1426819-1 is not prime. Res64: EEF992EA08540809 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:35] 975*2^1426819-1 is not prime. Res64: 95B945F9D74A5820 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:36] 615*2^1426820-1 is not prime. Res64: 56F04CD5F528FC88 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:36] 665*2^1426820-1 is not prime. Res64: 9EA1811164EA9EF7 Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:36] 675*2^1426820-1 is not prime. Res64: EDBB5F4D415CD27A Time : 0.0 sec. user=mdettweiler [2016-04-20 14:54:37] 797*2^1426820-1 is not prime. Res64: E452C8B93EB6C8DF Time : 0.0 sec. user=mdettweiler [2016-04-20 15:07:51] 875*2^1426820-1 is not prime. Res64: C85D01CA2C13EAD4 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:07:53] 893*2^1426820-1 is not prime. Res64: FD686D74E88066B0 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:07:55] 923*2^1426820-1 is not prime. Res64: 18BBDA9DC2DB2AAC Time : 0.0 sec. user=mdettweiler [2016-04-20 15:07:56] 953*2^1426820-1 is not prime. Res64: DADDFE1B2329B1F9 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:07:57] 983*2^1426820-1 is not prime. Res64: DCF74DAEC3253392 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:09:59] 987*2^1426820-1 is not prime. Res64: E7E08BEED1B3D8AD Time : 0.0 sec. user=mdettweiler [2016-04-20 15:10:00] 999*2^1426820-1 is not prime. Res64: C6D3AF355AFC8232 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:10:00] 609*2^1426821-1 is not prime. Res64: E3A32E9AC8E961CD Time : 0.0 sec. user=mdettweiler [2016-04-20 15:10:01] 657*2^1426821-1 is not prime. Res64: 53BCE5FB64E026BA Time : 0.0 sec. user=mdettweiler [2016-04-20 15:10:01] 745*2^1426821-1 is not prime. Res64: 5E900A05D2116619 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:04] 751*2^1426821-1 is not prime. Res64: 9FD9DBD8C4F2B0EE Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:04] 835*2^1426821-1 is not prime. Res64: CB1DC19D99024060 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:04] 877*2^1426821-1 is not prime. Res64: 83AB12D4E1ED6D6D Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:05] 889*2^1426821-1 is not prime. Res64: 66FFA185BBA4A90C Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:05] 895*2^1426821-1 is not prime. Res64: 4CCC69CB9A9BB7E8 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:28] 611*2^1426822-1 is not prime. Res64: FF22692202C318C4 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:28] 651*2^1426822-1 is not prime. Res64: 2CD7BB7E4DA4D73C Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:28] 657*2^1426822-1 is not prime. Res64: B4012C2A86EAA127 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:29] 681*2^1426822-1 is not prime. Res64: C3DEB5F97CD4F9DF Time : 0.0 sec. user=mdettweiler [2016-04-20 15:39:29] 723*2^1426822-1 is not prime. Res64: 08385BA9E0A80433 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:53:07] 731*2^1426822-1 is not prime. Res64: 08444632C39DB50C Time : 0.0 sec. user=mdettweiler [2016-04-20 15:53:08] 743*2^1426822-1 is not prime. Res64: BE208D4D8657F4A3 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:53:08] 765*2^1426822-1 is not prime. Res64: 09680DC5D2A84EA3 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:53:08] 777*2^1426822-1 is not prime. Res64: 0B3EB139D630C7C6 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:53:09] 813*2^1426822-1 is not prime. Res64: 6AF5EC65CC8909B8 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:54:52] 873*2^1426822-1 is not prime. Res64: EB346EB5A259FCAC Time : 0.0 sec. user=mdettweiler [2016-04-20 15:54:53] 663*2^1426823-1 is not prime. Res64: 68A858158B339E77 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:54:53] 741*2^1426823-1 is not prime. Res64: D08D1351F97A9BA3 Time : 0.0 sec. user=mdettweiler [2016-04-20 15:54:53] 813*2^1426823-1 is not prime. Res64: 3F28165DD92D74BF Time : 0.0 sec. user=mdettweiler [2016-04-20 15:54:54] 855*2^1426823-1 is not prime. Res64: E13A59203FD20672 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:00] 861*2^1426823-1 is not prime. Res64: 84C615D5C9EC6202 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:01] 913*2^1426823-1 is not prime. Res64: BC7F802260B68D2D Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:01] 969*2^1426823-1 is not prime. Res64: B8746B184454A010 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:02] 623*2^1426824-1 is not prime. Res64: 5D81155153C6CD1B Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:02] 635*2^1426824-1 is not prime. Res64: C72ECD07D1AF7D25 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:30] 665*2^1426824-1 is not prime. Res64: A2F029E46633B762 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:31] 683*2^1426824-1 is not prime. Res64: C9568D769B1D4C4F Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:31] 707*2^1426824-1 is not prime. Res64: 65C985BF006BA28E Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:32] 747*2^1426824-1 is not prime. Res64: 787706FE0A87981C Time : 0.0 sec. user=mdettweiler [2016-04-20 16:24:32] 849*2^1426824-1 is not prime. Res64: 73AEA8A37EEEADE9 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:38:04] 857*2^1426824-1 is not prime. Res64: 81D339E43F897C6B Time : 0.0 sec. user=mdettweiler [2016-04-20 16:38:05] 887*2^1426824-1 is not prime. Res64: 2632FDF4B289A664 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:38:05] 651*2^1426825-1 is not prime. Res64: FDF0B0565C796CFC Time : 0.0 sec. user=mdettweiler [2016-04-20 16:38:05] 717*2^1426825-1 is not prime. Res64: 0765E27007169212 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:38:06] 771*2^1426825-1 is not prime. Res64: 13C7186A6AFC23BB Time : 0.0 sec. user=mdettweiler [2016-04-20 16:39:50] 819*2^1426825-1 is not prime. Res64: 17E474010C2143D6 Time : 0.0 sec. user=mdettweiler [2016-04-20 16:39:51] 889*2^1426825-1 is not prime. Res64: 73F03F60DCD19EDE Time : 0.0 sec. user=mdettweiler [2016-04-20 16:39:51] 705*2^1426826-1 is not prime. Res64: D8D6EA3425880CCD Time : 0.0 sec. user=mdettweiler [2016-04-20 16:39:51] 843*2^1426826-1 is not prime. Res64: 571F0CF8235BBC7D Time : 0.0 sec. user=mdettweiler [2016-04-20 16:39:52] 903*2^1426826-1 is not prime. Res64: CFB30DEDAE041192 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:08:59] 1001*2^1426826-1 is not prime. Res64: 7E7D581945AB2060 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:08:59] 775*2^1426827-1 is not prime. Res64: 70E4600570641D5C Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:00] 819*2^1426827-1 is not prime. Res64: 2C77F42D8802BBB4 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:00] 835*2^1426827-1 is not prime. Res64: F6D4FC7E4D50CC36 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:01] 859*2^1426827-1 is not prime. Res64: 995A714DF32178DA Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:41] 955*2^1426827-1 is not prime. Res64: 76E2B6355269F108 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:41] 985*2^1426827-1 is not prime. Res64: 81F8ECF9377ADF3C Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:41] 615*2^1426828-1 is not prime. Res64: CAB434CBBDE68379 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:42] 623*2^1426828-1 is not prime. Res64: CB68DC256194E93D Time : 0.0 sec. user=mdettweiler [2016-04-20 17:09:42] 825*2^1426828-1 is not prime. Res64: AF0D839C16142C8F Time : 0.0 sec. user=mdettweiler [2016-04-20 17:23:14] 905*2^1426828-1 is not prime. Res64: 6A3F686EACD792F9 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:23:15] 915*2^1426828-1 is not prime. Res64: 1DB647A9E5F0575F Time : 0.0 sec. user=mdettweiler [2016-04-20 17:23:15] 601*2^1426829-1 is not prime. Res64: A587BDE874FCBA2C Time : 0.0 sec. user=mdettweiler [2016-04-20 17:23:15] 645*2^1426829-1 is not prime. Res64: 296EA7575FA4913A Time : 0.0 sec. user=mdettweiler [2016-04-20 17:23:16] 655*2^1426829-1 is not prime. Res64: C7904CEB0FAFC7FD Time : 0.0 sec. user=mdettweiler [2016-04-20 17:24:56] 699*2^1426829-1 is not prime. Res64: EC788B990021164D Time : 0.0 sec. user=mdettweiler [2016-04-20 17:24:56] 781*2^1426829-1 is not prime. Res64: 4C6E4E3786C61FFF Time : 0.0 sec. user=mdettweiler [2016-04-20 17:24:56] 811*2^1426829-1 is not prime. Res64: 6CEE54C72FBEDAF8 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:24:57] 635*2^1426830-1 is not prime. Res64: 62270FCA79AA3919 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:24:57] 681*2^1426830-1 is not prime. Res64: E02B793EDA19A008 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:12] 693*2^1426830-1 is not prime. Res64: F72247F2DAA7D851 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:14] 707*2^1426830-1 is not prime. Res64: 17F3F0E8887E7D1D Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:14] 711*2^1426830-1 is not prime. Res64: F9C3FF3ECDC1C7D3 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:15] 791*2^1426830-1 is not prime. Res64: 51391ADCCE880537 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:15] 795*2^1426830-1 is not prime. Res64: 3B720E9F50898B76 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:46] 833*2^1426830-1 is not prime. Res64: E89BE8497E12A351 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:47] 843*2^1426830-1 is not prime. Res64: FFA0A65C3647AE6F Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:47] 887*2^1426830-1 is not prime. Res64: EDD65196F809B13B Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:48] 963*2^1426830-1 is not prime. Res64: B01509ABFC231F50 Time : 0.0 sec. user=mdettweiler [2016-04-20 17:54:48] 1001*2^1426830-1 is not prime. Res64: 27F30266028C68ED Time : 0.0 sec. user=mdettweiler [2016-04-20 18:08:43] 649*2^1426831-1 is not prime. Res64: 954DEABFFAC9C7A1 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:08:44] 751*2^1426831-1 is not prime. Res64: 9DA72CCFF3AE06B4 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:08:45] 909*2^1426831-1 is not prime. Res64: FDD3557E03307E50 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:08:45] 913*2^1426831-1 is not prime. Res64: C74DA0E158B699B5 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:08:45] 979*2^1426831-1 is not prime. Res64: 033664320C5B0310 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:10:29] 609*2^1426832-1 is not prime. Res64: 31DA6A33F24B6ABB Time : 0.0 sec. user=mdettweiler [2016-04-20 18:10:30] 617*2^1426832-1 is not prime. Res64: CBB312D4A6708412 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:10:30] 635*2^1426832-1 is not prime. Res64: FAD8092FFA72F6CF Time : 0.0 sec. user=mdettweiler [2016-04-20 18:10:31] 689*2^1426832-1 is not prime. Res64: C5729209BBA69840 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:10:31] 819*2^1426832-1 is not prime. Res64: 58196549FD5E7388 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:39:51] 959*2^1426832-1 is not prime. Res64: 3E463FB2F1A7483F Time : 0.0 sec. user=mdettweiler [2016-04-20 18:39:52] 983*2^1426832-1 is not prime. Res64: 5AFF0D2A1D9DD0AA Time : 0.0 sec. user=mdettweiler [2016-04-20 18:39:52] 609*2^1426833-1 is not prime. Res64: 46A523C44925E08D Time : 0.0 sec. user=mdettweiler [2016-04-20 18:39:52] 637*2^1426833-1 is not prime. Res64: E383D06240010790 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:39:53] 649*2^1426833-1 is not prime. Res64: 605B08599C7324C7 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:40:41] 675*2^1426833-1 is not prime. Res64: D255F21E31FAEFAD Time : 0.0 sec. user=mdettweiler [2016-04-20 18:40:41] 691*2^1426833-1 is not prime. Res64: 777250EE318EC46D Time : 0.0 sec. user=mdettweiler [2016-04-20 18:40:41] 735*2^1426833-1 is not prime. Res64: B843A6015F38FC81 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:40:41] 741*2^1426833-1 is not prime. Res64: C75BE87691414E86 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:40:42] 829*2^1426833-1 is not prime. Res64: BDFC2F509F58F1C3 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:54:45] 891*2^1426833-1 is not prime. Res64: 374E33D306E3720C Time : 0.0 sec. user=mdettweiler [2016-04-20 18:54:45] 919*2^1426833-1 is not prime. Res64: 0DFB1810160F33D3 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:54:45] 999*2^1426833-1 is not prime. Res64: 5D81C34AAF54F83B Time : 0.0 sec. user=mdettweiler [2016-04-20 18:54:45] 917*2^1426834-1 is not prime. Res64: EB2F4B1850844F1F Time : 0.0 sec. user=mdettweiler [2016-04-20 18:54:46] 609*2^1426835-1 is not prime. Res64: 0C773705E959B61D Time : 0.0 sec. user=mdettweiler [2016-04-20 18:56:20] 655*2^1426835-1 is not prime. Res64: 6CFA85FD675C7B34 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:56:20] 673*2^1426835-1 is not prime. Res64: 8EA51E191159B4CB Time : 0.0 sec. user=mdettweiler [2016-04-20 18:56:20] 781*2^1426835-1 is not prime. Res64: 8D6F16C7CE4E882D Time : 0.0 sec. user=mdettweiler [2016-04-20 18:56:20] 805*2^1426835-1 is not prime. Res64: D13F10150DEDE5C9 Time : 0.0 sec. user=mdettweiler [2016-04-20 18:56:21] 859*2^1426835-1 is not prime. Res64: D6C79784C0AF1207 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:43] 883*2^1426835-1 is not prime. Res64: 89FA7C4419B57E21 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:43] 963*2^1426835-1 is not prime. Res64: 2B532ED9856AAA0E Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:43] 981*2^1426835-1 is not prime. Res64: B17D04F81D3171AB Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:44] 633*2^1426836-1 is not prime. Res64: DB9ADF6AA1D63FB2 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:44] 635*2^1426836-1 is not prime. Res64: 167A236A698183E8 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:55] 647*2^1426836-1 is not prime. Res64: FB60709D3ECD2D16 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:55] 759*2^1426836-1 is not prime. Res64: 54E419C9487E466C Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:56] 873*2^1426836-1 is not prime. Res64: CFE16B07B5EF6024 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:56] 875*2^1426836-1 is not prime. Res64: D277EEFABB8584A1 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:28:57] 927*2^1426836-1 is not prime. Res64: F7E5987BC3129897 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:42:49] 947*2^1426836-1 is not prime. Res64: 38FC1F360EE75E0B Time : 0.0 sec. user=mdettweiler [2016-04-20 19:42:49] 983*2^1426836-1 is not prime. Res64: DDDDCDE78FB6A9F8 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:42:50] 625*2^1426837-1 is not prime. Res64: 5BE2A5D606B107F5 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:42:50] 649*2^1426837-1 is not prime. Res64: AF189BB78958D753 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:42:51] 727*2^1426837-1 is not prime. Res64: 97392DEC7CFD0A34 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:44:31] 747*2^1426837-1 is not prime. Res64: B1E13A4C4E962523 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:44:31] 901*2^1426837-1 is not prime. Res64: 93D98007B650ECB1 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:44:32] 985*2^1426837-1 is not prime. Res64: B6D87E6C29878E2C Time : 0.0 sec. user=mdettweiler [2016-04-20 19:44:32] 627*2^1426838-1 is not prime. Res64: 4FED526BD02F5FF8 Time : 0.0 sec. user=mdettweiler [2016-04-20 19:44:32] 773*2^1426838-1 is not prime. Res64: D8A670815BA172C1 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:46] 801*2^1426838-1 is not prime. Res64: 2D7E79E903A52153 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:47] 825*2^1426838-1 is not prime. Res64: 166FC598A149C72A Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:48] 857*2^1426838-1 is not prime. Res64: 520BD4BBA4B41225 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:48] 887*2^1426838-1 is not prime. Res64: 10DE6AA15A38AD88 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:49] 915*2^1426838-1 is not prime. Res64: 9E44766A8570E8F4 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:56] 923*2^1426838-1 is not prime. Res64: 875427C2193A27AF Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:57] 945*2^1426838-1 is not prime. Res64: 300C00ECD91AC5E4 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:57] 619*2^1426839-1 is not prime. Res64: C6BE86B925437C40 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:57] 625*2^1426839-1 is not prime. Res64: 20851100C5AB1740 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:13:58] 649*2^1426839-1 is not prime. Res64: 7AE4B31AD5619FF9 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:27:48] 661*2^1426839-1 is not prime. Res64: 7D912E26C515B3A0 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:27:48] 831*2^1426839-1 is not prime. Res64: 070FE128ACC53C45 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:27:49] 879*2^1426839-1 is not prime. Res64: ABEF7AA5530E1368 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:27:49] 695*2^1426840-1 is not prime. Res64: F3A5D31FAB412D4E Time : 0.0 sec. user=mdettweiler [2016-04-20 20:27:49] 843*2^1426840-1 is not prime. Res64: 060579815A9282C0 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:29:40] 857*2^1426840-1 is not prime. Res64: B336D2900C56E5EB Time : 0.0 sec. user=mdettweiler [2016-04-20 20:29:40] 923*2^1426840-1 is not prime. Res64: C935425BD28D2895 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:29:41] 619*2^1426841-1 is not prime. Res64: 2BD435C1592AD2FF Time : 0.0 sec. user=mdettweiler [2016-04-20 20:29:41] 637*2^1426841-1 is not prime. Res64: 4EAEC57BD641BBDC Time : 0.0 sec. user=mdettweiler [2016-04-20 20:29:42] 727*2^1426841-1 is not prime. Res64: 68A304295C4D0926 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:51] 769*2^1426841-1 is not prime. Res64: EACFC15A6B6CE3ED Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:51] 867*2^1426841-1 is not prime. Res64: FBF6E4690F2144DE Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 713*2^1426842-1 is not prime. Res64: 268F79E66DCB4ED1 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 937*2^1426841-1 is not prime. Res64: F47B1A1176178A74 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 741*2^1426842-1 is not prime. Res64: 3536ADD090A247BE Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 627*2^1426842-1 is not prime. Res64: 2563605C1CCF6DC5 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 765*2^1426842-1 is not prime. Res64: DD8AA03F693401D9 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:52] 683*2^1426842-1 is not prime. Res64: 640226B4E2169771 Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:53] 867*2^1426842-1 is not prime. Res64: 9261E155314478AE Time : 0.0 sec. user=mdettweiler [2016-04-20 20:58:53] 983*2^1426842-1 is not prime. Res64: 2D044F04E490CEB3 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:12:45] 615*2^1426843-1 is not prime. Res64: 1B4E5B8B97D2841C Time : 0.0 sec. user=mdettweiler [2016-04-20 21:12:46] 631*2^1426843-1 is not prime. Res64: 2B34BB216D2B6116 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:12:46] 723*2^1426843-1 is not prime. Res64: 9B14A800C0B2E289 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:12:47] 735*2^1426843-1 is not prime. Res64: 2C2F2B03841451F9 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:12:47] 741*2^1426843-1 is not prime. Res64: B13EF8A05D97A970 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:14:35] 765*2^1426843-1 is not prime. Res64: 73231BD6408F7A59 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:14:36] 835*2^1426843-1 is not prime. Res64: 9D7B3489C0B0EE0A Time : 0.0 sec. user=mdettweiler [2016-04-20 21:14:37] 853*2^1426843-1 is not prime. Res64: BC36C9BD2B637EC9 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:14:37] 855*2^1426843-1 is not prime. Res64: 1A17C85B6B30C077 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:14:38] 859*2^1426843-1 is not prime. Res64: 4ECBE1DBE23C6145 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:43:54] 901*2^1426843-1 is not prime. Res64: 2736551AFAECB6D9 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:43:54] 677*2^1426844-1 is not prime. Res64: 2FFD5C2CE65D8801 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:43:55] 743*2^1426844-1 is not prime. Res64: 589D2ABB99309B03 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:43:55] 837*2^1426844-1 is not prime. Res64: 92344AD19BCDE5E4 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:43:55] 869*2^1426844-1 is not prime. Res64: 579D19DFBD33C743 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:44:00] 983*2^1426844-1 is not prime. Res64: 57031484D3DB9F1A Time : 0.0 sec. user=mdettweiler [2016-04-20 21:44:00] 607*2^1426845-1 is not prime. Res64: 7FF44683F76D9B9C Time : 0.0 sec. user=mdettweiler [2016-04-20 21:44:01] 657*2^1426845-1 is not prime. Res64: B03319FCDEA57D70 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:44:01] 685*2^1426845-1 is not prime. Res64: 7895AF146BFCF631 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:44:02] 727*2^1426845-1 is not prime. Res64: 5AD1132F25B4B637 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:58:00] 735*2^1426845-1 is not prime. Res64: 4AA8DC987A50162F Time : 0.0 sec. user=mdettweiler [2016-04-20 21:58:01] 781*2^1426845-1 is not prime. Res64: DAEE919866C34CD4 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:58:01] 819*2^1426845-1 is not prime. Res64: 480F1AD2EB6AC083 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:58:01] 849*2^1426845-1 is not prime. Res64: 30266DFBEBF3E233 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:58:02] 975*2^1426845-1 is not prime. Res64: 36F3D01D53525CBF Time : 0.0 sec. user=mdettweiler [2016-04-20 21:59:53] 997*2^1426845-1 is not prime. Res64: 487D05482F17F0C8 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:59:53] 611*2^1426846-1 is not prime. Res64: 097C9C078C6FAD9C Time : 0.0 sec. user=mdettweiler [2016-04-20 21:59:54] 695*2^1426846-1 is not prime. Res64: B126785BF705B948 Time : 0.0 sec. user=mdettweiler [2016-04-20 21:59:54] 755*2^1426846-1 is not prime. Res64: 9CA1D9F8A85F962C Time : 0.0 sec. user=mdettweiler [2016-04-20 21:59:55] 777*2^1426846-1 is not prime. Res64: 24647463E64CDAB4 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:07] 957*2^1426846-1 is not prime. Res64: BD597A2F9B07D053 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:07] 987*2^1426846-1 is not prime. Res64: 6082CE1610C26A2F Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:08] 619*2^1426847-1 is not prime. Res64: 2EABE961E1E265C2 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:08] 735*2^1426848-1 is not prime. Res64: F0A01BD66E30A9F0 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:08] 825*2^1426847-1 is not prime. Res64: C14842285E59640B Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:08] 737*2^1426848-1 is not prime. Res64: 565501A69B50C5ED Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:08] 663*2^1426848-1 is not prime. Res64: 0DCEDF50D53D0C35 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:09] 795*2^1426848-1 is not prime. Res64: EE440B0557580285 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:09] 825*2^1426848-1 is not prime. Res64: CA55E637EFAB2F87 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:29:09] 839*2^1426848-1 is not prime. Res64: A22B50EF9E673F0A Time : 0.0 sec. user=mdettweiler [2016-04-20 22:43:05] 975*2^1426848-1 is not prime. Res64: A0FD53EFFFDFAE9F Time : 0.0 sec. user=mdettweiler [2016-04-20 22:43:05] 619*2^1426849-1 is not prime. Res64: C74505CD719F4773 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:43:06] 741*2^1426849-1 is not prime. Res64: EF04E82F353C2299 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:43:06] 771*2^1426849-1 is not prime. Res64: 77BCDFEDF8B43D27 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:43:07] 957*2^1426849-1 is not prime. Res64: 3D81BD28F7B8EDCB Time : 0.0 sec. user=mdettweiler [2016-04-20 22:45:00] 677*2^1426850-1 is not prime. Res64: 13574B7D6D80627C Time : 0.0 sec. user=mdettweiler [2016-04-20 22:45:00] 711*2^1426850-1 is not prime. Res64: 686FFA6DA5674CEF Time : 0.0 sec. user=mdettweiler [2016-04-20 22:45:00] 743*2^1426850-1 is not prime. Res64: 6918C4E3408A5050 Time : 0.0 sec. user=mdettweiler [2016-04-20 22:45:01] 767*2^1426850-1 is not prime. Res64: E1C7FCAAE549D8DE Time : 0.0 sec. user=mdettweiler [2016-04-20 22:45:01] 813*2^1426850-1 is not prime. Res64: 5D3851D0C9AE226C Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:11] 679*2^1426851-1 is not prime. Res64: 664ACAD4EDA06704 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:12] 741*2^1426851-1 is not prime. Res64: 89F27D463E672E93 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:12] 781*2^1426851-1 is not prime. Res64: DD90B11FAAAFE97D Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:13] 795*2^1426851-1 is not prime. Res64: 011C44A527112FC8 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:13] 903*2^1426851-1 is not prime. Res64: 0940285B1F627618 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:15] 921*2^1426850-1 is not prime. Res64: CEB601CEBC305AFF Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:16] 953*2^1426850-1 is not prime. Res64: 13CE344B690EF223 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:16] 957*2^1426850-1 is not prime. Res64: D37F2E3F59F71A0E Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:17] 625*2^1426851-1 is not prime. Res64: 3048227551CD586C Time : 0.0 sec. user=mdettweiler [2016-04-20 23:14:17] 639*2^1426851-1 is not prime. Res64: 88D0961CC91C210E Time : 0.0 sec. user=mdettweiler [2016-04-20 23:28:07] 921*2^1426851-1 is not prime. Res64: A0BFBA96DCB3BFC9 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:28:07] 943*2^1426851-1 is not prime. Res64: 2A51B6EF50B3906B Time : 0.0 sec. user=mdettweiler [2016-04-20 23:28:08] 945*2^1426851-1 is not prime. Res64: C13B6B1D17A03DA8 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:28:08] 955*2^1426851-1 is not prime. Res64: 0354F2D59B80ED8C Time : 0.0 sec. user=mdettweiler [2016-04-20 23:28:08] 623*2^1426852-1 is not prime. Res64: 557296E320078DE0 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:30:00] 629*2^1426852-1 is not prime. Res64: A4FAED256C971287 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:30:00] 677*2^1426852-1 is not prime. Res64: 7025FA90A82BE9BC Time : 0.0 sec. user=mdettweiler [2016-04-20 23:30:00] 675*2^1426853-1 is not prime. Res64: 2E09C2A879104C1C Time : 0.0 sec. user=mdettweiler [2016-04-20 23:30:01] 721*2^1426853-1 is not prime. Res64: 17FBF13C888D71F3 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:30:01] 787*2^1426853-1 is not prime. Res64: 4C1F22BF8128E12A Time : 0.0 sec. user=mdettweiler [2016-04-20 23:58:57] 707*2^1426854-1 is not prime. Res64: 6FC3FD03ED72BCC1 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:58:58] 717*2^1426854-1 is not prime. Res64: 93249FECB5F7843C Time : 0.0 sec. user=mdettweiler [2016-04-20 23:58:58] 755*2^1426854-1 is not prime. Res64: 8C08369D67E60CAE Time : 0.0 sec. user=mdettweiler [2016-04-20 23:58:58] 825*2^1426854-1 is not prime. Res64: F5AAB0C827FBE6D7 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:58:59] 861*2^1426854-1 is not prime. Res64: 3DF275D8023D53CA Time : 0.0 sec. user=mdettweiler [2016-04-20 23:59:07] 901*2^1426853-1 is not prime. Res64: B6B354980E9B2D4E Time : 0.0 sec. user=mdettweiler [2016-04-20 23:59:08] 951*2^1426853-1 is not prime. Res64: D9A15736D2320C9E Time : 0.0 sec. user=mdettweiler [2016-04-20 23:59:08] 611*2^1426854-1 is not prime. Res64: 51B232419CF09B6E Time : 0.0 sec. user=mdettweiler [2016-04-20 23:59:08] 621*2^1426854-1 is not prime. Res64: 83827E6E676D9C22 Time : 0.0 sec. user=mdettweiler [2016-04-20 23:59:09] 681*2^1426854-1 is not prime. Res64: 4F2EAAE40570FEF2 Time : 0.0 sec.