user=mdettweiler [2017-05-17 00:02:16] 843*2^1454122-1 is not prime. Res64: A9A6A79F5893D7C1 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:02:18] 867*2^1454122-1 is not prime. Res64: A642F33D15FD16C8 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:02:19] 911*2^1454122-1 is not prime. Res64: C97012E2F7E27081 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:02:19] 621*2^1454123-1 is not prime. Res64: 1EFEA35ED2E05AE3 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:02:20] 703*2^1454123-1 is not prime. Res64: EC050192FA486918 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:23:51] 643*2^1453803-1 is not prime. Res64: C7C8F9DBAE0A9EBF Time : 0.0 sec. user=mdettweiler [2017-05-17 00:23:52] 789*2^1454123-1 is not prime. Res64: 127FC4F2F164E7DC Time : 0.0 sec. user=mdettweiler [2017-05-17 00:23:52] 889*2^1454123-1 is not prime. Res64: EED4D8A1E0B10C85 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:23:52] 683*2^1454124-1 is not prime. Res64: 25F1D64D43FEEDEA Time : 0.0 sec. user=mdettweiler [2017-05-17 00:23:53] 723*2^1454124-1 is not prime. Res64: EF8305AC28FFB644 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:24:15] 749*2^1454124-1 is not prime. Res64: 3B60C578E5A44506 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:24:15] 753*2^1454124-1 is not prime. Res64: 0384352A3DA4F9BE Time : 0.0 sec. user=mdettweiler [2017-05-17 00:24:16] 969*2^1454124-1 is not prime. Res64: F9433492B892BACB Time : 0.0 sec. user=mdettweiler [2017-05-17 00:24:16] 775*2^1454125-1 is not prime. Res64: 9D10D0E100F305C1 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:24:17] 789*2^1454125-1 is not prime. Res64: 7CABF48FD66122C9 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:29:25] 877*2^1454125-1 is not prime. Res64: 8DE327035E08A699 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:29:26] 915*2^1454125-1 is not prime. Res64: 233DC05D6829E69D Time : 0.0 sec. user=mdettweiler [2017-05-17 00:29:26] 955*2^1454125-1 is not prime. Res64: 7607943C24CF8B18 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:29:26] 975*2^1454125-1 is not prime. Res64: B4646C6055D37D4F Time : 0.0 sec. user=mdettweiler [2017-05-17 00:29:26] 999*2^1454125-1 is not prime. Res64: 2E165C2F60B99A11 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:48:43] 741*2^1454126-1 is not prime. Res64: 87561760106C7A7E Time : 0.0 sec. user=mdettweiler [2017-05-17 00:48:43] 601*2^1454127-1 is not prime. Res64: E3C047F651276E43 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:48:44] 609*2^1454127-1 is not prime. Res64: 9849D7522C554075 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:48:44] 685*2^1454127-1 is not prime. Res64: BAD2729BBB0EF777 Time : 0.0 sec. user=mdettweiler [2017-05-17 00:48:44] 693*2^1454127-1 is not prime. Res64: 5CC2192BB1CCDAC6 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:01] 705*2^1454127-1 is not prime. Res64: 8E02DD810189EFC1 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:02] 909*2^1454127-1 is not prime. Res64: FB4F8B858F30E54B Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:03] 931*2^1454127-1 is not prime. Res64: C7452479A6CF3EAE Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:03] 789*2^1454129-1 is not prime. Res64: AA69CEF4C637ECC6 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:04] 611*2^1454130-1 is not prime. Res64: 6196606CBE051AAB Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:37] 633*2^1454130-1 is not prime. Res64: C7FB7B89DB4ED717 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:37] 657*2^1454130-1 is not prime. Res64: B002F633CFAB5DF3 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:38] 695*2^1454130-1 is not prime. Res64: 212585124F44B84B Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:38] 773*2^1454130-1 is not prime. Res64: D7CAC85F07D5FC0F Time : 0.0 sec. user=mdettweiler [2017-05-17 01:10:39] 783*2^1454130-1 is not prime. Res64: 1C5B91F7970265BC Time : 0.0 sec. user=mdettweiler [2017-05-17 01:15:29] 791*2^1454130-1 is not prime. Res64: 1BBAE434B86CF8BE Time : 0.0 sec. user=mdettweiler [2017-05-17 01:15:29] 843*2^1454130-1 is not prime. Res64: 65D1A56D569E6A60 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:15:30] 873*2^1454130-1 is not prime. Res64: BDC8B1AE9BEEDF54 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:15:30] 885*2^1454130-1 is not prime. Res64: 83204E7793D1BAD7 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:15:30] 905*2^1454130-1 is not prime. Res64: EE40A8F551054A92 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:34:52] 923*2^1454130-1 is not prime. Res64: 534964F3B5E2FA39 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:34:53] 793*2^1454131-1 is not prime. Res64: 11CCC0F2C43FEC79 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:34:53] 861*2^1454131-1 is not prime. Res64: 06022BCC7F68CD80 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:34:54] 885*2^1454131-1 is not prime. Res64: CBC7D630E4EB736E Time : 0.0 sec. user=mdettweiler [2017-05-17 01:34:54] 975*2^1454131-1 is not prime. Res64: A706FC0D723D7591 Time : 0.0 sec. user=juhehe [2017-05-17 01:46:11] 605*2^1454132-1 is not prime. Res64: 726DB3A307FCB785 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:48] 923*2^1454132-1 is not prime. Res64: E3D2C8895EF71828 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:49] 995*2^1454132-1 is not prime. Res64: BC4E00C7F9E735D5 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:49] 627*2^1454133-1 is not prime. Res64: A08D5B59531686D0 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:50] 649*2^1454133-1 is not prime. Res64: BD5B4BFE34F12B0F Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:50] 675*2^1454133-1 is not prime. Res64: 175B6D7AF2CFC1CD Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:52] 629*2^1454132-1 is not prime. Res64: 97FABC9B3C6E6559 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:53] 633*2^1454132-1 is not prime. Res64: 383E4F8E5C81AD95 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:54] 669*2^1454132-1 is not prime. Res64: B0F2F42D27C98D6D Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:54] 767*2^1454132-1 is not prime. Res64: F991BC6ED56B7538 Time : 0.0 sec. user=mdettweiler [2017-05-17 01:56:55] 827*2^1454132-1 is not prime. Res64: 162DC0FEFF6C612B Time : 0.0 sec. user=mdettweiler [2017-05-17 02:01:51] 727*2^1454133-1 is not prime. Res64: 8B6409323091C3DA Time : 0.0 sec. user=mdettweiler [2017-05-17 02:01:52] 735*2^1454133-1 is not prime. Res64: 51AEC26084A828F7 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:01:53] 781*2^1454133-1 is not prime. Res64: BCDDAE1680F9F488 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:01:53] 819*2^1454133-1 is not prime. Res64: 27CD5FA2AA46235F Time : 0.0 sec. user=mdettweiler [2017-05-17 02:01:54] 605*2^1454134-1 is not prime. Res64: 8EFA8039ACD154C4 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:21:31] 731*2^1454134-1 is not prime. Res64: E7E3FBE76F69575B Time : 0.0 sec. user=mdettweiler [2017-05-17 02:21:31] 857*2^1454134-1 is not prime. Res64: 1B249AAE2BC7F06B Time : 0.0 sec. user=mdettweiler [2017-05-17 02:21:31] 885*2^1454134-1 is not prime. Res64: A7C52858B5B8C5E3 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:21:32] 993*2^1454134-1 is not prime. Res64: C415C7588D741E4D Time : 0.0 sec. user=mdettweiler [2017-05-17 02:21:32] 609*2^1454135-1 is not prime. Res64: B9AFE72D725271E3 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:43:56] 675*2^1454135-1 is not prime. Res64: D113D1EC05A90D16 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:43:56] 623*2^1454136-1 is not prime. Res64: 4B4AE9562ED6E3E3 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:43:56] 669*2^1454136-1 is not prime. Res64: 609046653054B000 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:43:57] 879*2^1454136-1 is not prime. Res64: 639EAFA10657989A Time : 0.0 sec. user=mdettweiler [2017-05-17 02:43:57] 899*2^1454136-1 is not prime. Res64: 3540B9932949572A Time : 0.0 sec. user=mdettweiler [2017-05-17 02:44:02] 917*2^1454136-1 is not prime. Res64: 32DA59E638BB71A2 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:44:02] 649*2^1454137-1 is not prime. Res64: 1AE7CBB5F48094AC Time : 0.0 sec. user=mdettweiler [2017-05-17 02:44:03] 715*2^1454137-1 is not prime. Res64: DB64B4203E981C88 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:44:03] 729*2^1454137-1 is not prime. Res64: 37109AA203A713D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:44:03] 751*2^1454137-1 is not prime. Res64: 786ADA10444B27CA Time : 0.0 sec. user=mdettweiler [2017-05-17 02:49:04] 915*2^1454137-1 is not prime. Res64: D3BD7B5F0B82C691 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:49:04] 979*2^1454137-1 is not prime. Res64: 676BC48955412515 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:49:05] 711*2^1454138-1 is not prime. Res64: B2FEA723061AAEB3 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:49:05] 735*2^1454138-1 is not prime. Res64: 7407C08C006CBB75 Time : 0.0 sec. user=mdettweiler [2017-05-17 02:49:05] 867*2^1454138-1 is not prime. Res64: B7ADC04EB83A3074 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:09:47] 923*2^1454138-1 is not prime. Res64: 193EFCC32B211213 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:09:48] 953*2^1454138-1 is not prime. Res64: 91F542B2598D8D40 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:09:48] 971*2^1454138-1 is not prime. Res64: E10ED4AD6DAFEFED Time : 0.0 sec. user=mdettweiler [2017-05-17 03:09:48] 735*2^1454139-1 is not prime. Res64: 07DA646D53CDE4A9 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:09:49] 745*2^1454139-1 is not prime. Res64: 1728C08D92379A20 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:40] 943*2^1454139-1 is not prime. Res64: 92613AF840B9D9BC Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:41] 939*2^1454140-1 is not prime. Res64: 8824103AF66138C2 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:43] 987*2^1454140-1 is not prime. Res64: 53B89BCF83A105F4 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:44] 657*2^1454141-1 is not prime. Res64: 9F6D1BB272058ECD Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:45] 647*2^1454140-1 is not prime. Res64: 418CCB5880255B13 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:47] 691*2^1454141-1 is not prime. Res64: 9FCB25F17F1B02D6 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:48] 741*2^1454141-1 is not prime. Res64: 376E37C9BCA3A943 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:49] 687*2^1454140-1 is not prime. Res64: F691D0C51985380B Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:51] 863*2^1454140-1 is not prime. Res64: A6ED7541B6E67AB4 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:31:53] 927*2^1454140-1 is not prime. Res64: 4221BF3560810369 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:36:39] 683*2^1454142-1 is not prime. Res64: CB37CD413A821F8E Time : 0.0 sec. user=mdettweiler [2017-05-17 03:36:41] 777*2^1454142-1 is not prime. Res64: 30A84385BE6F8AA1 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:36:42] 825*2^1454142-1 is not prime. Res64: 90348C9522F9C03A Time : 0.0 sec. user=mdettweiler [2017-05-17 03:36:43] 873*2^1454142-1 is not prime. Res64: 4F0540EC07C35F79 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:36:44] 875*2^1454142-1 is not prime. Res64: B932CA578FCDBD16 Time : 0.0 sec. user=juhehe [2017-05-17 03:44:05] 921*2^1454142-1 is not prime. Res64: 51187C894155EAB5 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:56:54] 963*2^1454142-1 is not prime. Res64: 798CF8A4A6ED3A30 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:56:54] 615*2^1454143-1 is not prime. Res64: 52DE4913AB13AFDC Time : 0.0 sec. user=mdettweiler [2017-05-17 03:56:55] 675*2^1454143-1 is not prime. Res64: 486AD6BF3BA5F295 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:56:55] 681*2^1454143-1 is not prime. Res64: CFA562553CF38852 Time : 0.0 sec. user=mdettweiler [2017-05-17 03:56:56] 609*2^1454144-1 is not prime. Res64: 896D37F712B32A68 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:12] 687*2^1454144-1 is not prime. Res64: 48094843C012DFE6 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:12] 843*2^1454144-1 is not prime. Res64: 4AAE94FB3F2134C0 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:12] 875*2^1454144-1 is not prime. Res64: B28B5E4F2411F19B Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:13] 885*2^1454145-1 is not prime. Res64: B926BB69935658A6 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:13] 657*2^1454146-1 is not prime. Res64: 05F1645787C3BC7A Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:33] 915*2^1454144-1 is not prime. Res64: 45CAD86F2AF9C5C6 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:34] 917*2^1454144-1 is not prime. Res64: 65A95032E6990EE1 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:34] 959*2^1454144-1 is not prime. Res64: 200BE804C50BF0F9 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:35] 699*2^1454145-1 is not prime. Res64: E5802E82F85CD052 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:19:35] 867*2^1454145-1 is not prime. Res64: A3C6211883C2482B Time : 0.0 sec. user=mdettweiler [2017-05-17 04:23:56] 663*2^1454146-1 is not prime. Res64: 83BE0FCB7CB8DFA3 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:23:56] 747*2^1454146-1 is not prime. Res64: C06B102931C3C989 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:23:56] 773*2^1454146-1 is not prime. Res64: 646CED9B0D28E08C Time : 0.0 sec. user=mdettweiler [2017-05-17 04:23:57] 833*2^1454146-1 is not prime. Res64: 8444E1A855009716 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:23:57] 873*2^1454146-1 is not prime. Res64: D7AAEF6454267DCF Time : 0.0 sec. user=mdettweiler [2017-05-17 04:43:59] 923*2^1454146-1 is not prime. Res64: ABE5C06386042CE3 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:44:00] 933*2^1454146-1 is not prime. Res64: D7AD3FEE291C64CD Time : 0.0 sec. user=mdettweiler [2017-05-17 04:44:00] 945*2^1454146-1 is not prime. Res64: 1799BE383A0A92CD Time : 0.0 sec. user=mdettweiler [2017-05-17 04:44:01] 655*2^1454147-1 is not prime. Res64: D36C32687F0D1686 Time : 0.0 sec. user=mdettweiler [2017-05-17 04:44:01] 693*2^1454147-1 is not prime. Res64: 0229580D06F7C11E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:13] 703*2^1454147-1 is not prime. Res64: F118B8573DAF2536 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:14] 813*2^1454147-1 is not prime. Res64: FF057597A8EC317E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:14] 871*2^1454147-1 is not prime. Res64: C15A5AC19CB93F3B Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:14] 885*2^1454147-1 is not prime. Res64: 7E4EE193A8E401F8 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:14] 915*2^1454147-1 is not prime. Res64: 9C540FBD294C7433 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:37] 945*2^1454147-1 is not prime. Res64: 3A3E16708F54A650 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:38] 963*2^1454147-1 is not prime. Res64: C861E2588DB6374E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:38] 973*2^1454147-1 is not prime. Res64: 5C24627E2C8E9696 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:38] 981*2^1454147-1 is not prime. Res64: 33C283D592DCEC7A Time : 0.0 sec. user=mdettweiler [2017-05-17 05:06:39] 633*2^1454148-1 is not prime. Res64: 518399C57B434E87 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:10:52] 635*2^1454148-1 is not prime. Res64: AFE430C5D1AFA491 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:10:52] 665*2^1454148-1 is not prime. Res64: 64AC245B72729C0E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:10:52] 797*2^1454148-1 is not prime. Res64: 16E93E6F7F5E7491 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:10:53] 977*2^1454148-1 is not prime. Res64: EB06F131CE11F188 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:10:53] 999*2^1454148-1 is not prime. Res64: 511141C18F4EE3A4 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:30:51] 667*2^1454149-1 is not prime. Res64: 83E74EC9EE2F04FC Time : 0.0 sec. user=mdettweiler [2017-05-17 05:30:52] 687*2^1454149-1 is not prime. Res64: 9A899C7B94A80365 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:30:52] 729*2^1454149-1 is not prime. Res64: FC31DC663A1CE470 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:30:53] 757*2^1454149-1 is not prime. Res64: 223980623FBE7C21 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:30:53] 769*2^1454149-1 is not prime. Res64: BEE59FE3273A9E4D Time : 0.0 sec. user=juhehe [2017-05-17 05:41:35] 957*2^1454149-1 is not prime. Res64: 047FFBAE6E32E9CD Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:41] 1001*2^1454150-1 is not prime. Res64: 2EFB12095D625DE6 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:41] 693*2^1454151-1 is not prime. Res64: 66BF9C5C06C0195E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:42] 741*2^1454151-1 is not prime. Res64: 127F65E9A9D419D5 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:42] 859*2^1454151-1 is not prime. Res64: 8106C69C7632BA1E Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:43] 921*2^1454151-1 is not prime. Res64: 7B05EEE8C329E94D Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:51] 985*2^1454149-1 is not prime. Res64: 8D27F65FDE7398B5 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:52] 707*2^1454150-1 is not prime. Res64: 781FCEB799CE2CB5 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:52] 831*2^1454150-1 is not prime. Res64: 1F350EA513DD4DD9 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:52] 887*2^1454150-1 is not prime. Res64: 871AC5A547DBB144 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:53:53] 965*2^1454150-1 is not prime. Res64: A557B6C035D65111 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:57:52] 961*2^1454151-1 is not prime. Res64: C5262D4095E75ADC Time : 0.0 sec. user=mdettweiler [2017-05-17 05:57:53] 645*2^1454152-1 is not prime. Res64: F1D99B054C73CBAC Time : 0.0 sec. user=mdettweiler [2017-05-17 05:57:53] 657*2^1454152-1 is not prime. Res64: BCA984A4EDF85CA4 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:57:53] 827*2^1454152-1 is not prime. Res64: C450F549DF3DBCE4 Time : 0.0 sec. user=mdettweiler [2017-05-17 05:57:54] 903*2^1454152-1 is not prime. Res64: 904E94E1A9767515 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:18:20] 909*2^1454152-1 is not prime. Res64: D07DBF8195E91152 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:18:20] 989*2^1454152-1 is not prime. Res64: 21611194A52489B5 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:18:20] 771*2^1454153-1 is not prime. Res64: 7E998367F4B7E7CF Time : 0.0 sec. user=mdettweiler [2017-05-17 06:18:21] 795*2^1454153-1 is not prime. Res64: F9994B65BC1D13A2 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:18:21] 811*2^1454153-1 is not prime. Res64: 36675180258401AD Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:03] 879*2^1454153-1 is not prime. Res64: 200F120FBF759B1D Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:04] 611*2^1454154-1 is not prime. Res64: 4FCD19ADE5BFA69C Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:04] 683*2^1454154-1 is not prime. Res64: 5147CA5C72579659 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:04] 707*2^1454154-1 is not prime. Res64: 176EA03E72A8BB4B Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:04] 731*2^1454154-1 is not prime. Res64: B0A2DC68289FC739 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:21] 767*2^1454154-1 is not prime. Res64: 120B79FAC03FE882 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:22] 773*2^1454154-1 is not prime. Res64: 35B8B1804EE61AA2 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:22] 893*2^1454154-1 is not prime. Res64: 22E78C6B1977296F Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:23] 945*2^1454154-1 is not prime. Res64: 22DFDB86C1B494F7 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:41:23] 975*2^1454154-1 is not prime. Res64: 1552994F87233759 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:45:05] 1001*2^1454154-1 is not prime. Res64: 579920F0D813C1C5 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:45:06] 601*2^1454155-1 is not prime. Res64: 6D4AEF5F173177DF Time : 0.0 sec. user=mdettweiler [2017-05-17 06:45:06] 645*2^1454155-1 is not prime. Res64: 41B763A1157A5222 Time : 0.0 sec. user=mdettweiler [2017-05-17 06:45:06] 663*2^1454155-1 is not prime. Res64: 857609F8421D513D Time : 0.0 sec. user=mdettweiler [2017-05-17 06:45:07] 759*2^1454155-1 is not prime. Res64: 1697F625A78C79EE Time : 0.0 sec. user=mdettweiler [2017-05-17 07:04:52] 871*2^1454155-1 is not prime. Res64: 9456C894B620EC04 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:04:54] 913*2^1454155-1 is not prime. Res64: 0E9FF58248F253CD Time : 0.0 sec. user=mdettweiler [2017-05-17 07:04:55] 943*2^1454155-1 is not prime. Res64: 561130939D4C3CF3 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:04:56] 603*2^1454156-1 is not prime. Res64: B8D414B30883963E Time : 0.0 sec. user=mdettweiler [2017-05-17 07:04:57] 633*2^1454156-1 is not prime. Res64: 1CB4DB0C9BCBFCA0 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:29:49] 945*2^1454156-1 is not prime. Res64: 71F503C28AA78460 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:29:49] 987*2^1454156-1 is not prime. Res64: 05010259A97B30AA Time : 0.0 sec. user=mdettweiler [2017-05-17 07:29:50] 741*2^1454157-1 is not prime. Res64: A4E27C9286FBCDC5 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:29:50] 895*2^1454157-1 is not prime. Res64: 4924EE116B7E5C9A Time : 0.0 sec. user=mdettweiler [2017-05-17 07:29:50] 937*2^1454157-1 is not prime. Res64: 0B76B77C98147E02 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:30:22] 773*2^1454156-1 is not prime. Res64: E753164DB13459B8 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:30:23] 843*2^1454156-1 is not prime. Res64: F534B959DD320C22 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:30:23] 899*2^1454156-1 is not prime. Res64: C68CF8C30D8DD946 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:30:23] 927*2^1454156-1 is not prime. Res64: 972320B054649549 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:30:23] 935*2^1454156-1 is not prime. Res64: D20B4B4CB0ECF833 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:33:30] 657*2^1454158-1 is not prime. Res64: 4ABCC4BEEF7537F6 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:33:30] 705*2^1454158-1 is not prime. Res64: BC4322F42AB55210 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:33:31] 713*2^1454158-1 is not prime. Res64: 904477447C64112D Time : 0.0 sec. user=mdettweiler [2017-05-17 07:33:31] 801*2^1454158-1 is not prime. Res64: 11881B770655EAE7 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:33:31] 821*2^1454158-1 is not prime. Res64: BAD9BEF9295712ED Time : 0.0 sec. user=juhehe [2017-05-17 07:39:08] 945*2^1454158-1 is not prime. Res64: D8C671BACB99D84B Time : 0.0 sec. user=mdettweiler [2017-05-17 07:55:19] 975*2^1454158-1 is not prime. Res64: F2A2D777CE8DAF48 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:55:19] 633*2^1454159-1 is not prime. Res64: 5837FE1766D14DA5 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:55:20] 645*2^1454159-1 is not prime. Res64: 2FEB44DC4F3A5688 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:55:20] 669*2^1454159-1 is not prime. Res64: CB1E25CB32567307 Time : 0.0 sec. user=mdettweiler [2017-05-17 07:55:20] 703*2^1454159-1 is not prime. Res64: 2FE22980C322D142 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:39] 711*2^1454159-1 is not prime. Res64: 434678CA29BCDF63 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:40] 819*2^1454159-1 is not prime. Res64: 33953C143222762A Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:40] 823*2^1454159-1 is not prime. Res64: AE762151A39058E3 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:40] 865*2^1454159-1 is not prime. Res64: 99D89FE18F8D6FB7 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:40] 895*2^1454159-1 is not prime. Res64: 413F26CF3B34C973 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:52] 909*2^1454159-1 is not prime. Res64: 9A961C66939FB62B Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:52] 985*2^1454159-1 is not prime. Res64: F0D1ACF1DAAE0D07 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:53] 993*2^1454159-1 is not prime. Res64: E2049D9E503AAA5E Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:53] 609*2^1454160-1 is not prime. Res64: 6EE59493B616D501 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:16:53] 675*2^1454160-1 is not prime. Res64: BB9182F285D7CA4C Time : 0.0 sec. user=mdettweiler [2017-05-17 08:20:29] 735*2^1454160-1 is not prime. Res64: E958732E6B4F3B5A Time : 0.0 sec. user=mdettweiler [2017-05-17 08:20:29] 759*2^1454160-1 is not prime. Res64: 2A5D0737949E4367 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:20:30] 651*2^1454161-1 is not prime. Res64: 147F123A9EA6A819 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:20:30] 771*2^1454161-1 is not prime. Res64: 25C3C02CC501E319 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:20:30] 775*2^1454161-1 is not prime. Res64: 8446682E3826C31B Time : 0.0 sec. user=mdettweiler [2017-05-17 08:42:16] 871*2^1454161-1 is not prime. Res64: F6A7DDA242F353E2 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:42:17] 889*2^1454161-1 is not prime. Res64: 0FECD645BAD86DFC Time : 0.0 sec. user=mdettweiler [2017-05-17 08:42:17] 909*2^1454161-1 is not prime. Res64: 72E4B6732C1322B9 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:42:17] 975*2^1454161-1 is not prime. Res64: E9CA849719926D28 Time : 0.0 sec. user=mdettweiler [2017-05-17 08:42:18] 617*2^1454162-1 is not prime. Res64: 1728B23664F6F715 Time : 0.0 sec. user=juhehe [2017-05-17 08:59:07] 781*2^1454163-1 is not prime. Res64: 1C9981C9129067DC Time : 0.0 sec. user=mdettweiler [2017-05-17 09:03:52] 911*2^1454162-1 is not prime. Res64: FD5844168F092424 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:03:53] 951*2^1454162-1 is not prime. Res64: 73795F0B8EE2BE5D Time : 0.0 sec. user=mdettweiler [2017-05-17 09:03:53] 987*2^1454162-1 is not prime. Res64: 57ED65CB3C03A1CE Time : 0.0 sec. user=mdettweiler [2017-05-17 09:03:54] 625*2^1454163-1 is not prime. Res64: 48D1D04268A46019 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:03:56] 663*2^1454163-1 is not prime. Res64: 2072D0715C19F02D Time : 0.0 sec. user=mdettweiler [2017-05-17 09:04:03] 645*2^1454162-1 is not prime. Res64: 5CEA0F617C3820EF Time : 0.0 sec. user=mdettweiler [2017-05-17 09:04:04] 665*2^1454162-1 is not prime. Res64: 6F51FADEB9CE89AB Time : 0.0 sec. user=mdettweiler [2017-05-17 09:04:05] 671*2^1454162-1 is not prime. Res64: A1C81E3BC4AFDD91 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:04:08] 675*2^1454162-1 is not prime. Res64: F16F1147847BCFDF Time : 0.0 sec. user=mdettweiler [2017-05-17 09:04:12] 713*2^1454162-1 is not prime. Res64: C5C7B68ECED8FAB1 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:07:24] 849*2^1454163-1 is not prime. Res64: BE4A44E57CAE09D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:07:25] 609*2^1454164-1 is not prime. Res64: 62D3FCA2A7A4565B Time : 0.0 sec. user=mdettweiler [2017-05-17 09:07:25] 677*2^1454164-1 is not prime. Res64: 9F62422FD0891BBB Time : 0.0 sec. user=mdettweiler [2017-05-17 09:07:26] 843*2^1454164-1 is not prime. Res64: 3430F8FC60D2FB81 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:07:26] 947*2^1454164-1 is not prime. Res64: A89F14A23914C727 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:28:47] 619*2^1454165-1 is not prime. Res64: E89CDA84E5C92AAA Time : 0.0 sec. user=mdettweiler [2017-05-17 09:28:47] 655*2^1454165-1 is not prime. Res64: F8354EAA02D712CB Time : 0.0 sec. user=mdettweiler [2017-05-17 09:28:47] 771*2^1454165-1 is not prime. Res64: E41214394A5FF0A3 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:28:48] 787*2^1454165-1 is not prime. Res64: 8104CDFBD3EBBF63 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:28:48] 799*2^1454165-1 is not prime. Res64: DA536E93FDBE59D5 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:27] 843*2^1454166-1 is not prime. Res64: 0B3539B1F3A7D179 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:28] 867*2^1454166-1 is not prime. Res64: 8CC409FC23EEACD9 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:28] 1001*2^1454166-1 is not prime. Res64: E8186D78FFC652A6 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:28] 609*2^1454167-1 is not prime. Res64: F2AA7D5163C48FC8 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:28] 673*2^1454167-1 is not prime. Res64: 656794512C00A230 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:30] 865*2^1454165-1 is not prime. Res64: F9BDFE0F60541879 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:30] 713*2^1454166-1 is not prime. Res64: 7032C6ED7F269386 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:30] 825*2^1454166-1 is not prime. Res64: 632EF848C97EC0BA Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:31] 841*2^1454167-1 is not prime. Res64: 9A1FA239ADF9DEB8 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:50:31] 873*2^1454167-1 is not prime. Res64: 705007DF8226AE52 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:53:29] 933*2^1454167-1 is not prime. Res64: 9BC4BD3C2B054450 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:53:29] 993*2^1454167-1 is not prime. Res64: 038485CFB09D7C71 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:53:29] 623*2^1454168-1 is not prime. Res64: 7B67DBD80EB39485 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:53:30] 635*2^1454168-1 is not prime. Res64: 9002E1820839C816 Time : 0.0 sec. user=mdettweiler [2017-05-17 09:53:30] 665*2^1454168-1 is not prime. Res64: 95CE674E5500F688 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:15:43] 747*2^1454168-1 is not prime. Res64: A3D2B03AA00D8171 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:15:43] 813*2^1454168-1 is not prime. Res64: ABB0EDECE6C9D8E6 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:15:43] 893*2^1454168-1 is not prime. Res64: 8784A399846B9A4A Time : 0.0 sec. user=mdettweiler [2017-05-17 10:15:43] 751*2^1454169-1 is not prime. Res64: 5E981445E3D9D6F4 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:15:44] 759*2^1454169-1 is not prime. Res64: 7F0E791CD0D67345 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:38:51] 919*2^1454169-1 is not prime. Res64: 8247756AEFD1C5C4 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:38:51] 997*2^1454169-1 is not prime. Res64: F3D7871F14F46D7D Time : 0.0 sec. user=mdettweiler [2017-05-17 10:38:52] 695*2^1454170-1 is not prime. Res64: AB2D9F35B55147F2 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:38:52] 717*2^1454170-1 is not prime. Res64: E930E30CEAE15B7A Time : 0.0 sec. user=mdettweiler [2017-05-17 10:38:53] 735*2^1454170-1 is not prime. Res64: 7ED55775CC011AEC Time : 0.0 sec. user=mdettweiler [2017-05-17 10:39:17] 827*2^1454170-1 is not prime. Res64: 14BBECABB5F950FE Time : 0.0 sec. user=mdettweiler [2017-05-17 10:39:18] 845*2^1454170-1 is not prime. Res64: 62E1B94CB05EEBF2 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:39:18] 855*2^1454170-1 is not prime. Res64: 278051DF1C048877 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:39:19] 905*2^1454170-1 is not prime. Res64: 2755435C009F1856 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:39:19] 917*2^1454170-1 is not prime. Res64: B17A1F6A7A882F4D Time : 0.0 sec. user=mdettweiler [2017-05-17 10:42:09] 957*2^1454170-1 is not prime. Res64: 03A21DEE60F61696 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:42:10] 663*2^1454171-1 is not prime. Res64: 8D744C25BFF57D33 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:42:10] 921*2^1454171-1 is not prime. Res64: DE042747BA31331F Time : 0.0 sec. user=mdettweiler [2017-05-17 10:42:10] 931*2^1454171-1 is not prime. Res64: 52D4C81A263419F0 Time : 0.0 sec. user=mdettweiler [2017-05-17 10:42:10] 945*2^1454171-1 is not prime. Res64: 490ACA111A0AC72E Time : 0.0 sec. user=juhehe [2017-05-17 10:56:19] 903*2^1454172-1 is not prime. Res64: 60846145B47216D8 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:06:00] 993*2^1454171-1 is not prime. Res64: 5B6D3738246A56B8 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:06:01] 629*2^1454172-1 is not prime. Res64: 0371FC17D71B6C3D Time : 0.0 sec. user=mdettweiler [2017-05-17 11:06:01] 693*2^1454172-1 is not prime. Res64: 68A51D6140A78BB3 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:06:02] 765*2^1454172-1 is not prime. Res64: D376C2FB05B6362B Time : 0.0 sec. user=mdettweiler [2017-05-17 11:06:02] 819*2^1454172-1 is not prime. Res64: 5B4B1D2F0D2087BC Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:27] 639*2^1454173-1 is not prime. Res64: 1B6DEE0176D8E5A1 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:27] 801*2^1454173-1 is not prime. Res64: 3FB49F0A66690720 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:28] 819*2^1454173-1 is not prime. Res64: 8DA26723CC7CCE7A Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:28] 867*2^1454173-1 is not prime. Res64: 6629C0FEE8846C6E Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:29] 915*2^1454173-1 is not prime. Res64: 8C27C14B6D5D6ED1 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:33] 967*2^1454173-1 is not prime. Res64: 29AEE463C098C33A Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:34] 641*2^1454174-1 is not prime. Res64: 5DAD177CB595928F Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:34] 651*2^1454174-1 is not prime. Res64: 71588423B871EF0F Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:34] 827*2^1454174-1 is not prime. Res64: B6D14C69AEE570FD Time : 0.0 sec. user=mdettweiler [2017-05-17 11:28:35] 833*2^1454174-1 is not prime. Res64: E92531ECFBACCE53 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:31:30] 903*2^1454174-1 is not prime. Res64: B25B72F47D501C63 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:31:30] 935*2^1454174-1 is not prime. Res64: CF677A9F7E6D5693 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:31:31] 1001*2^1454174-1 is not prime. Res64: 6A0FD7D61B0A212D Time : 0.0 sec. user=mdettweiler [2017-05-17 11:31:31] 619*2^1454175-1 is not prime. Res64: 9FCC918DBB8EDCDC Time : 0.0 sec. user=mdettweiler [2017-05-17 11:31:31] 643*2^1454175-1 is not prime. Res64: DBF6EDDB7F121218 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:55:02] 765*2^1454175-1 is not prime. Res64: FDDFFBBDFA3D2FD7 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:55:02] 861*2^1454175-1 is not prime. Res64: 901BBDDC0198A714 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:55:03] 963*2^1454175-1 is not prime. Res64: 1DF14A25AC9847E1 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:55:03] 653*2^1454176-1 is not prime. Res64: 86C3B313FA3B6D18 Time : 0.0 sec. user=mdettweiler [2017-05-17 11:55:03] 759*2^1454176-1 is not prime. Res64: 9160897649D9B6A6 Time : 0.0 sec. user=juhehe [2017-05-17 12:03:18] 777*2^1454176-1 is not prime. Res64: 846044F3948B228E Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:23] 897*2^1454176-1 is not prime. Res64: AE5C4719C691A15D Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:24] 989*2^1454176-1 is not prime. Res64: C0F3E15E96095EE6 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:24] 631*2^1454177-1 is not prime. Res64: D562F72463B5D5FD Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:24] 837*2^1454177-1 is not prime. Res64: 7B7F7B96C8D549B8 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:25] 677*2^1454178-1 is not prime. Res64: 63BCCBD919855E57 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:36] 731*2^1454178-1 is not prime. Res64: EAFF9527F33E0099 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:37] 815*2^1454178-1 is not prime. Res64: 81B52318EF41B860 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:37] 861*2^1454178-1 is not prime. Res64: 760ED89173411F7D Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:38] 601*2^1454179-1 is not prime. Res64: 89E3D1505A8B8D27 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:17:38] 741*2^1454179-1 is not prime. Res64: 4695B6D5BA14EB60 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:21:38] 765*2^1454179-1 is not prime. Res64: 1110450673E3FEB8 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:21:38] 855*2^1454179-1 is not prime. Res64: C915905AED8AA22B Time : 0.0 sec. user=mdettweiler [2017-05-17 12:21:39] 859*2^1454179-1 is not prime. Res64: 4B71BFF3011040A1 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:21:39] 889*2^1454179-1 is not prime. Res64: 12AC52E3886A8DD7 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:21:40] 635*2^1454180-1 is not prime. Res64: DDF6F7F7470202AA Time : 0.0 sec. user=mdettweiler [2017-05-17 12:43:47] 647*2^1454180-1 is not prime. Res64: B67454C2EE50559D Time : 0.0 sec. user=mdettweiler [2017-05-17 12:43:47] 669*2^1454180-1 is not prime. Res64: C7E7B5390D0E7B7A Time : 0.0 sec. user=mdettweiler [2017-05-17 12:43:48] 899*2^1454180-1 is not prime. Res64: 70E1D89789B69659 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:43:48] 923*2^1454180-1 is not prime. Res64: B7E2876A5A6816B3 Time : 0.0 sec. user=mdettweiler [2017-05-17 12:43:48] 669*2^1454181-1 is not prime. Res64: 5614D4F33B20ED66 Time : 0.0 sec. user=juhehe [2017-05-17 12:54:14] 685*2^1454181-1 is not prime. Res64: 0F98294891F48F91 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:05:59] 691*2^1454181-1 is not prime. Res64: 14908E3AC6135782 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:00] 751*2^1454181-1 is not prime. Res64: 29A8082FC814F82F Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:00] 867*2^1454181-1 is not prime. Res64: 07BA478885F537C9 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:01] 635*2^1454182-1 is not prime. Res64: C586274E8067A293 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:01] 653*2^1454182-1 is not prime. Res64: B4CF7305E1AF9ADE Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:17] 713*2^1454182-1 is not prime. Res64: 190B3CE5CE60583D Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:17] 743*2^1454182-1 is not prime. Res64: 63EC116BDCAFE896 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:18] 827*2^1454182-1 is not prime. Res64: 44E8F02B83F0652D Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:18] 867*2^1454182-1 is not prime. Res64: FA8C2B44589BB726 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:06:19] 615*2^1454183-1 is not prime. Res64: 69C6DEC814D77A6D Time : 0.0 sec. user=mdettweiler [2017-05-17 13:09:47] 675*2^1454183-1 is not prime. Res64: 1123427534AD7B85 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:09:47] 679*2^1454183-1 is not prime. Res64: AD9970E72875319B Time : 0.0 sec. user=mdettweiler [2017-05-17 13:09:47] 703*2^1454183-1 is not prime. Res64: 67DFDD8CE670778C Time : 0.0 sec. user=mdettweiler [2017-05-17 13:09:48] 721*2^1454183-1 is not prime. Res64: 36246922A90EFA95 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:09:48] 739*2^1454183-1 is not prime. Res64: F0F2167C96D4527A Time : 0.0 sec. user=mdettweiler [2017-05-17 13:30:58] 759*2^1454183-1 is not prime. Res64: 3FAC2A581BA0061E Time : 0.0 sec. user=mdettweiler [2017-05-17 13:30:59] 623*2^1454184-1 is not prime. Res64: 7300C86AFF68CD68 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:30:59] 689*2^1454184-1 is not prime. Res64: 25DBCD717333789C Time : 0.0 sec. user=mdettweiler [2017-05-17 13:30:59] 707*2^1454184-1 is not prime. Res64: 336E73FD0679A72A Time : 0.0 sec. user=mdettweiler [2017-05-17 13:31:00] 719*2^1454184-1 is not prime. Res64: E43E034DD9C06ACB Time : 0.0 sec. user=FritzsHero [2017-05-17 13:43:26] 835*2^1454187-1 is not prime. Res64: 676FF8281A30950A Time : 0.0 sec. user=FritzsHero [2017-05-17 13:44:45] 711*2^1454187-1 is not prime. Res64: 445B85BACDAC634F Time : 0.0 sec. user=mdettweiler [2017-05-17 13:51:58] 765*2^1454184-1 is not prime. Res64: BD61BA62A58D2DF7 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:51:58] 927*2^1454184-1 is not prime. Res64: 4A1003CC588CDC42 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:51:59] 993*2^1454184-1 is not prime. Res64: 5A7DB6FD9D235805 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:51:59] 607*2^1454185-1 is not prime. Res64: E87BA54001E093F4 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:00] 679*2^1454185-1 is not prime. Res64: A32DA2ECFCCDBE33 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:10] 765*2^1454185-1 is not prime. Res64: 6020F65A134BC8FD Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:10] 937*2^1454185-1 is not prime. Res64: 27FC95785828CBCB Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:11] 999*2^1454185-1 is not prime. Res64: 33E21E15FF0EA8E1 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:11] 741*2^1454186-1 is not prime. Res64: 56AF3E9413465B8A Time : 0.0 sec. user=mdettweiler [2017-05-17 13:52:11] 783*2^1454186-1 is not prime. Res64: FB4352599DED2649 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:55:46] 893*2^1454186-1 is not prime. Res64: 8672F4CB10C9DB83 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:55:47] 945*2^1454186-1 is not prime. Res64: 8EAB424F7DBC6B7C Time : 0.0 sec. user=mdettweiler [2017-05-17 13:55:47] 971*2^1454186-1 is not prime. Res64: FDF6B7298EA83949 Time : 0.0 sec. user=mdettweiler [2017-05-17 13:55:47] 981*2^1454186-1 is not prime. Res64: D5B9365A8502984E Time : 0.0 sec. user=mdettweiler [2017-05-17 13:55:48] 621*2^1454187-1 is not prime. Res64: 87F010FB42806407 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:16:51] 849*2^1454187-1 is not prime. Res64: A848B89ABB0D9EAD Time : 0.0 sec. user=mdettweiler [2017-05-17 14:16:52] 903*2^1454187-1 is not prime. Res64: 91F584247FFB4340 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:16:52] 993*2^1454188-1 is not prime. Res64: 0BF433159FD43593 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:16:52] 615*2^1454189-1 is not prime. Res64: FB4F3B69F2965DBC Time : 0.0 sec. user=mdettweiler [2017-05-17 14:16:53] 627*2^1454189-1 is not prime. Res64: BCFE91BE0E570C40 Time : 0.0 sec. user=FritzsHero [2017-05-17 14:32:14] 699*2^1454189-1 is not prime. Res64: 293C6C52905FF1E1 Time : 0.0 sec. user=FritzsHero [2017-05-17 14:33:05] 795*2^1454189-1 is not prime. Res64: 6C3B9779EBA192FB Time : 0.0 sec. user=mdettweiler [2017-05-17 14:37:51] 825*2^1454189-1 is not prime. Res64: 8AB1D1F8C87FF7AC Time : 0.0 sec. user=mdettweiler [2017-05-17 14:37:52] 847*2^1454189-1 is not prime. Res64: 0D550B926E54E628 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:37:52] 615*2^1454190-1 is not prime. Res64: A657E65D4B5F2A4E Time : 0.0 sec. user=mdettweiler [2017-05-17 14:37:53] 647*2^1454190-1 is not prime. Res64: D6977469F870A157 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:37:53] 653*2^1454190-1 is not prime. Res64: AB009ABE155B3C15 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:38:03] 707*2^1454190-1 is not prime. Res64: C4F4EC894E29E407 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:38:03] 777*2^1454190-1 is not prime. Res64: B03D6E0FBBA919BC Time : 0.0 sec. user=mdettweiler [2017-05-17 14:38:03] 965*2^1454190-1 is not prime. Res64: BBA2F7F8BF4BFDCD Time : 0.0 sec. user=mdettweiler [2017-05-17 14:38:04] 603*2^1454191-1 is not prime. Res64: 7424DA816D8BFF65 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:38:04] 619*2^1454191-1 is not prime. Res64: F650BC829DAA4FD2 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:41:40] 649*2^1454191-1 is not prime. Res64: D98F1B741D5BC57C Time : 0.0 sec. user=mdettweiler [2017-05-17 14:41:40] 693*2^1454191-1 is not prime. Res64: BFCED43C9A5714F2 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:41:40] 745*2^1454191-1 is not prime. Res64: E83760612CD24E16 Time : 0.0 sec. user=mdettweiler [2017-05-17 14:41:41] 759*2^1454191-1 is not prime. Res64: 0008B123A3C6420B Time : 0.0 sec. user=mdettweiler [2017-05-17 14:41:41] 789*2^1454191-1 is not prime. Res64: F0125D289F2950D5 Time : 0.0 sec. user=FritzsHero [2017-05-17 14:47:16] 843*2^1454192-1 is not prime. Res64: FA2FFDDAFBA09F6C Time : 0.0 sec. user=FritzsHero [2017-05-17 14:47:56] 873*2^1454192-1 is not prime. Res64: A191B97038DBD638 Time : 0.0 sec. user=juhehe [2017-05-17 14:51:35] 793*2^1454191-1 is not prime. Res64: 25C3BB2D9CEEF66B Time : 0.0 sec. user=mdettweiler [2017-05-17 15:02:37] 819*2^1454191-1 is not prime. Res64: 3C9219BFE7FC85A2 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:02:38] 933*2^1454191-1 is not prime. Res64: 41F6A3230324A1D1 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:02:40] 951*2^1454191-1 is not prime. Res64: 020E0DF7E0F841DF Time : 0.0 sec. user=mdettweiler [2017-05-17 15:02:41] 755*2^1454192-1 is not prime. Res64: 9F547F108E13C084 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:02:42] 827*2^1454192-1 is not prime. Res64: AC3FFFC3EA99B185 Time : 0.0 sec. user=FritzsHero [2017-05-17 15:04:45] 693*2^1454195-1 is not prime. Res64: 62ACB740F49726DF Time : 0.0 sec. user=FritzsHero [2017-05-17 15:05:25] 781*2^1454195-1 is not prime. Res64: 3D6648A8C62FA0AB Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:41] 903*2^1454192-1 is not prime. Res64: F3332B2F791EB3FB Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:41] 959*2^1454192-1 is not prime. Res64: 0750C465FA803D6C Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:42] 675*2^1454193-1 is not prime. Res64: 940FEC13FF271599 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:42] 691*2^1454193-1 is not prime. Res64: 697813968DC766C3 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:43] 739*2^1454193-1 is not prime. Res64: A3753EFC503E92DD Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:46] 937*2^1454193-1 is not prime. Res64: 8E3399012F58BFD9 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:47] 985*2^1454193-1 is not prime. Res64: ECDC9D155AD667F1 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:47] 611*2^1454194-1 is not prime. Res64: 7B13E5F3D1DB87A7 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:48] 623*2^1454194-1 is not prime. Res64: 5DB5888E9B140813 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:23:49] 681*2^1454194-1 is not prime. Res64: BA221A45EDE8FF6D Time : 0.0 sec. user=mdettweiler [2017-05-17 15:27:36] 741*2^1454194-1 is not prime. Res64: 4E3FB4985E984F7A Time : 0.0 sec. user=mdettweiler [2017-05-17 15:27:36] 765*2^1454194-1 is not prime. Res64: 6DD2EB64D8290DF2 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:27:36] 783*2^1454194-1 is not prime. Res64: 6B3006B7D573231B Time : 0.0 sec. user=mdettweiler [2017-05-17 15:27:37] 951*2^1454194-1 is not prime. Res64: BE6A18574E49FB10 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:27:37] 675*2^1454195-1 is not prime. Res64: 766005E4CCE84485 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:48:41] 885*2^1454195-1 is not prime. Res64: D7443F70C1D5CC24 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:48:41] 939*2^1454195-1 is not prime. Res64: 859776625D65BE2A Time : 0.0 sec. user=mdettweiler [2017-05-17 15:48:42] 623*2^1454196-1 is not prime. Res64: 72CAD8D8A10482F2 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:48:42] 633*2^1454196-1 is not prime. Res64: A6D603A717892302 Time : 0.0 sec. user=mdettweiler [2017-05-17 15:48:42] 647*2^1454196-1 is not prime. Res64: DDF589953CB4F9CC Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:22] 983*2^1454196-1 is not prime. Res64: 10C926950D345B91 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:23] 987*2^1454196-1 is not prime. Res64: 2E683F4D2373FC67 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:23] 615*2^1454197-1 is not prime. Res64: 2EECBCAA7F10C19F Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:24] 649*2^1454197-1 is not prime. Res64: 6C46077E7403B607 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:24] 861*2^1454197-1 is not prime. Res64: 5703EA7703C77CA3 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:30] 839*2^1454196-1 is not prime. Res64: 7A437151E82B4C8C Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:30] 893*2^1454196-1 is not prime. Res64: A2374427D958C343 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:31] 905*2^1454196-1 is not prime. Res64: 9A58815D7FE99091 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:32] 945*2^1454196-1 is not prime. Res64: 7ADD668B75FF0BCA Time : 0.0 sec. user=mdettweiler [2017-05-17 16:09:33] 969*2^1454196-1 is not prime. Res64: 14CD67BAED0353E9 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:13:22] 937*2^1454197-1 is not prime. Res64: E518EF4BE8012A7C Time : 0.0 sec. user=mdettweiler [2017-05-17 16:13:22] 945*2^1454197-1 is not prime. Res64: 93D8A8828BCBB92E Time : 0.0 sec. user=mdettweiler [2017-05-17 16:13:23] 707*2^1454198-1 is not prime. Res64: ACC505FF6EA48CBD Time : 0.0 sec. user=mdettweiler [2017-05-17 16:13:23] 713*2^1454198-1 is not prime. Res64: 1DFAF9CFD08CCF20 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:13:23] 773*2^1454198-1 is not prime. Res64: 249D0F25EB0C6FD1 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:35:53] 797*2^1454198-1 is not prime. Res64: 3832522F676F3D9F Time : 0.0 sec. user=mdettweiler [2017-05-17 16:35:53] 867*2^1454198-1 is not prime. Res64: EC269EA11427911F Time : 0.0 sec. user=mdettweiler [2017-05-17 16:35:54] 923*2^1454198-1 is not prime. Res64: AB674CDC2605F02E Time : 0.0 sec. user=mdettweiler [2017-05-17 16:35:54] 945*2^1454198-1 is not prime. Res64: 4134AC157294564B Time : 0.0 sec. user=mdettweiler [2017-05-17 16:35:54] 971*2^1454198-1 is not prime. Res64: FC1A041956BA59AC Time : 0.0 sec. user=juhehe [2017-05-17 16:48:45] 909*2^1454200-1 is not prime. Res64: 1C8B4EC692B90903 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:39] 765*2^1454200-1 is not prime. Res64: 3DF06A96EC2D86DE Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:39] 819*2^1454200-1 is not prime. Res64: FFCB4D56D641DC16 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:40] 825*2^1454200-1 is not prime. Res64: ED979B4DE305F447 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:40] 827*2^1454200-1 is not prime. Res64: 049ADE97B16A41D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:40] 899*2^1454200-1 is not prime. Res64: F70296081B6B465F Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:49] 619*2^1454199-1 is not prime. Res64: C63BBB5884DB7F48 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:50] 663*2^1454199-1 is not prime. Res64: 574CE2068725B5C2 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:50] 691*2^1454199-1 is not prime. Res64: 186BB74CB482F413 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:51] 721*2^1454199-1 is not prime. Res64: 91E2EDAD0B3AAFF8 Time : 0.0 sec. user=mdettweiler [2017-05-17 16:57:51] 999*2^1454199-1 is not prime. Res64: 70CF27B614A2C8EE Time : 0.0 sec. user=mdettweiler [2017-05-17 17:01:38] 615*2^1454201-1 is not prime. Res64: 93896047E823F1C3 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:01:39] 649*2^1454201-1 is not prime. Res64: CD68734AAA7D3214 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:01:40] 697*2^1454201-1 is not prime. Res64: 1CF78E57B9B3E1C7 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:01:40] 735*2^1454201-1 is not prime. Res64: 50A8EF3E7B9226C3 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:01:41] 747*2^1454201-1 is not prime. Res64: BA0CAB81809A8346 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:22:35] 885*2^1454201-1 is not prime. Res64: 93C71A3BA5DE4D5E Time : 0.0 sec. user=mdettweiler [2017-05-17 17:22:35] 611*2^1454202-1 is not prime. Res64: 1A9CAC9E35506A26 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:22:36] 621*2^1454202-1 is not prime. Res64: CFD0AC89A00E2E7C Time : 0.0 sec. user=mdettweiler [2017-05-17 17:22:36] 677*2^1454202-1 is not prime. Res64: 03EBABF102051BE4 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:22:37] 767*2^1454202-1 is not prime. Res64: 97BA24D5A374E86C Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:15] 893*2^1454202-1 is not prime. Res64: 49C75EC62FDD8BDB Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:15] 917*2^1454202-1 is not prime. Res64: AEFC2DD6E2890CE9 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:16] 947*2^1454202-1 is not prime. Res64: 544E4C2D3DF7EC53 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:16] 639*2^1454203-1 is not prime. Res64: DDDE1E25BD844D92 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:17] 769*2^1454203-1 is not prime. Res64: F80924F3EA36ACEB Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:23] 973*2^1454203-1 is not prime. Res64: 7E5E62EDADDB536D Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:24] 985*2^1454203-1 is not prime. Res64: DE6DE01817B931A2 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:24] 869*2^1454204-1 is not prime. Res64: DFBB8CFF0CDBDF05 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:24] 969*2^1454204-1 is not prime. Res64: EB70058529D910B0 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:43:25] 609*2^1454205-1 is not prime. Res64: 4AF23E7513C0B36C Time : 0.0 sec. user=mdettweiler [2017-05-17 17:47:10] 679*2^1454205-1 is not prime. Res64: 68430AF7894F9D70 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:47:11] 699*2^1454205-1 is not prime. Res64: 5DB995F1DFA19BF9 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:47:11] 711*2^1454205-1 is not prime. Res64: 2EDD939EDBD9C35A Time : 0.0 sec. user=mdettweiler [2017-05-17 17:47:12] 789*2^1454205-1 is not prime. Res64: 0FB9A966F23B0FC6 Time : 0.0 sec. user=mdettweiler [2017-05-17 17:47:12] 859*2^1454205-1 is not prime. Res64: 0BB4164579BE8D5C Time : 0.0 sec. user=mdettweiler [2017-05-17 18:08:12] 895*2^1454205-1 is not prime. Res64: 5D4BFFEB6C7D0621 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:08:13] 921*2^1454205-1 is not prime. Res64: 5106A0158FDCA21C Time : 0.0 sec. user=mdettweiler [2017-05-17 18:08:14] 603*2^1454206-1 is not prime. Res64: 5C3B1B0B52E1C05E Time : 0.0 sec. user=mdettweiler [2017-05-17 18:08:15] 611*2^1454206-1 is not prime. Res64: 5DB543F5ABFE1207 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:08:15] 623*2^1454206-1 is not prime. Res64: D3C047C9375346C9 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:09] 657*2^1454206-1 is not prime. Res64: C8EE0C59EBD76F71 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:10] 801*2^1454206-1 is not prime. Res64: 2C443D9148AFF7F7 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:10] 857*2^1454206-1 is not prime. Res64: CF906EE7A2A5FD28 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:11] 933*2^1454206-1 is not prime. Res64: 73051A23875AC197 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:11] 1001*2^1454206-1 is not prime. Res64: BC247D4438A83E0E Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:12] 965*2^1454206-1 is not prime. Res64: 534FA1A6B4EAAD90 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:12] 633*2^1454207-1 is not prime. Res64: BBAAD4732A4EB52D Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:12] 645*2^1454207-1 is not prime. Res64: EC2241D62C1273C8 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:13] 861*2^1454207-1 is not prime. Res64: 2484B64DB6C67A05 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:29:13] 993*2^1454207-1 is not prime. Res64: 098EFADA373B268A Time : 0.0 sec. user=mdettweiler [2017-05-17 18:33:01] 663*2^1454208-1 is not prime. Res64: E9F48177531A874E Time : 0.0 sec. user=mdettweiler [2017-05-17 18:33:01] 723*2^1454208-1 is not prime. Res64: C2EE581E3910E4CC Time : 0.0 sec. user=mdettweiler [2017-05-17 18:33:01] 747*2^1454208-1 is not prime. Res64: 54D0F703A351CA33 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:33:02] 753*2^1454208-1 is not prime. Res64: 9DA607DE38357B5B Time : 0.0 sec. user=mdettweiler [2017-05-17 18:33:02] 759*2^1454208-1 is not prime. Res64: 4E464BC101B5597F Time : 0.0 sec. user=juhehe [2017-05-17 18:46:14] 609*2^1454209-1 is not prime. Res64: 92F8215ABAB998E4 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:54:00] 615*2^1454209-1 is not prime. Res64: F4D66C63E16AEEC5 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:54:00] 681*2^1454209-1 is not prime. Res64: 807CB61DA4ACF971 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:54:01] 741*2^1454209-1 is not prime. Res64: CA8834F2337BAED5 Time : 0.0 sec. user=mdettweiler [2017-05-17 18:54:01] 799*2^1454209-1 is not prime. Res64: 4059146F180F2F5E Time : 0.0 sec. user=mdettweiler [2017-05-17 18:54:01] 861*2^1454209-1 is not prime. Res64: B548A51F9BFE6927 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:52] 641*2^1454210-1 is not prime. Res64: AD87ACBD4A1B304B Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:53] 675*2^1454210-1 is not prime. Res64: 4F6D879053029994 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:54] 717*2^1454210-1 is not prime. Res64: BB15FDEF7D92842C Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:54] 755*2^1454210-1 is not prime. Res64: E979AED90C019119 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:55] 797*2^1454210-1 is not prime. Res64: 362D57BC38512801 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:57] 877*2^1454209-1 is not prime. Res64: 85E8A967E9EE59F9 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:58] 895*2^1454209-1 is not prime. Res64: 9738EAD592039EB7 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:58] 957*2^1454209-1 is not prime. Res64: D57A23243A71E959 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:14:59] 603*2^1454210-1 is not prime. Res64: 31799D08A7374717 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:15:00] 627*2^1454210-1 is not prime. Res64: A20DBA543D4B5D80 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:18:48] 851*2^1454210-1 is not prime. Res64: 454606E56AC6A906 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:18:49] 887*2^1454210-1 is not prime. Res64: 10A1C33CEECDDFF5 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:18:49] 935*2^1454210-1 is not prime. Res64: 1CC9671FE35FC837 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:18:50] 643*2^1454211-1 is not prime. Res64: 6D2E8BED1212DCB8 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:18:50] 723*2^1454211-1 is not prime. Res64: 824B57560D0462A0 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:40:01] 751*2^1454211-1 is not prime. Res64: 8D9830AB45ADBC75 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:40:01] 769*2^1454211-1 is not prime. Res64: A10ECC6EC5524CA4 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:40:01] 819*2^1454211-1 is not prime. Res64: 4225AE0EDF510011 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:40:02] 871*2^1454211-1 is not prime. Res64: F6770C9CE34C6D66 Time : 0.0 sec. user=mdettweiler [2017-05-17 19:40:02] 955*2^1454211-1 is not prime. Res64: 98E7BD53CF3D51F7 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:03:35] 975*2^1454211-1 is not prime. Res64: E3FC938B97DD2F53 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:03:37] 635*2^1454212-1 is not prime. Res64: 606E8B776AD91D9B Time : 0.0 sec. user=mdettweiler [2017-05-17 20:03:39] 777*2^1454212-1 is not prime. Res64: D0BC31BDB3B3ED2C Time : 0.0 sec. user=mdettweiler [2017-05-17 20:03:41] 855*2^1454212-1 is not prime. Res64: 6CC9C8EF5F097C2E Time : 0.0 sec. user=mdettweiler [2017-05-17 20:03:43] 873*2^1454212-1 is not prime. Res64: 7208619EF89F56D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:04:07] 929*2^1454212-1 is not prime. Res64: 2F46BA5151A8DD2D Time : 0.0 sec. user=mdettweiler [2017-05-17 20:04:09] 607*2^1454213-1 is not prime. Res64: 72D628F1B3EAF4CC Time : 0.0 sec. user=mdettweiler [2017-05-17 20:04:11] 657*2^1454213-1 is not prime. Res64: 96E185A7F49852A2 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:04:14] 697*2^1454213-1 is not prime. Res64: 807A0CB2AB2E2870 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:04:16] 775*2^1454213-1 is not prime. Res64: 2C7265C5D29C2889 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:08:15] 789*2^1454213-1 is not prime. Res64: 4EBE7DA5800981D1 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:08:16] 819*2^1454213-1 is not prime. Res64: 3837CEB2D30D085D Time : 0.0 sec. user=mdettweiler [2017-05-17 20:08:17] 829*2^1454213-1 is not prime. Res64: 2A7CB80F6A8F1FAA Time : 0.0 sec. user=mdettweiler [2017-05-17 20:08:18] 855*2^1454213-1 is not prime. Res64: 81FD0E339BC16B72 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:08:20] 885*2^1454213-1 is not prime. Res64: AB571DA2CD6A4265 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:28:58] 901*2^1454213-1 is not prime. Res64: 66F2E4F71FD1607B Time : 0.0 sec. user=mdettweiler [2017-05-17 20:28:59] 611*2^1454214-1 is not prime. Res64: 6AD9BEC2F21E975D Time : 0.0 sec. user=mdettweiler [2017-05-17 20:28:59] 627*2^1454214-1 is not prime. Res64: A33B40E19A7861C5 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:28:59] 651*2^1454214-1 is not prime. Res64: 393F2105042AEAE7 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:29:00] 755*2^1454214-1 is not prime. Res64: 06DB9F2FD2DA9146 Time : 0.0 sec. user=juhehe [2017-05-17 20:45:26] 767*2^1454216-1 is not prime. Res64: 3BFF8A07BD892B68 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:52] 765*2^1454214-1 is not prime. Res64: F2BBEC8AAF4E66D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:53] 861*2^1454214-1 is not prime. Res64: AEF1E08FB7AE6342 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:53] 1001*2^1454214-1 is not prime. Res64: D8E0EEEAD9F50668 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:54] 633*2^1454215-1 is not prime. Res64: B412C09FFD3E1E2D Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:54] 819*2^1454215-1 is not prime. Res64: A7FB927FFFE56BDB Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:54] 831*2^1454215-1 is not prime. Res64: 3B28FB6A1E867A53 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:55] 871*2^1454215-1 is not prime. Res64: 2FEFB0F17F0EF422 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:55] 915*2^1454215-1 is not prime. Res64: C0710900894B9C37 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:56] 999*2^1454215-1 is not prime. Res64: FF25582B3213A4E6 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:49:56] 735*2^1454216-1 is not prime. Res64: 0E9BF45ECECBF243 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:54:02] 789*2^1454216-1 is not prime. Res64: D5ED54DC072FB559 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:54:03] 813*2^1454216-1 is not prime. Res64: 57B86B067228887A Time : 0.0 sec. user=mdettweiler [2017-05-17 20:54:03] 815*2^1454216-1 is not prime. Res64: 9CBAB7321885A6F9 Time : 0.0 sec. user=mdettweiler [2017-05-17 20:54:04] 873*2^1454216-1 is not prime. Res64: BE9ACE96AFC63D4C Time : 0.0 sec. user=mdettweiler [2017-05-17 20:54:04] 927*2^1454216-1 is not prime. Res64: 6BA56408D07BFEB7 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:14:46] 935*2^1454216-1 is not prime. Res64: FEA86FE362CBE125 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:14:46] 675*2^1454217-1 is not prime. Res64: A13DE7610E5A6290 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:14:47] 747*2^1454217-1 is not prime. Res64: A46CCECC986D0B1C Time : 0.0 sec. user=mdettweiler [2017-05-17 21:14:47] 805*2^1454217-1 is not prime. Res64: F01C49299EBF0DA4 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:14:48] 847*2^1454217-1 is not prime. Res64: B7285503CED24563 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:33] 997*2^1454217-1 is not prime. Res64: 3393882B12D2C7CB Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:34] 621*2^1454218-1 is not prime. Res64: A338C38A433744D7 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:34] 623*2^1454218-1 is not prime. Res64: B9DD45CA0D748584 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:35] 665*2^1454218-1 is not prime. Res64: 166C37BE4281459D Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:35] 723*2^1454218-1 is not prime. Res64: 2E3E463167268779 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:42] 765*2^1454218-1 is not prime. Res64: 6527B0E41D9C77F4 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:42] 987*2^1454218-1 is not prime. Res64: 5C8FF24621981E11 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:43] 693*2^1454219-1 is not prime. Res64: 7EB05D19C1474C4E Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:43] 735*2^1454219-1 is not prime. Res64: A6F01169840B8F88 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:35:44] 759*2^1454219-1 is not prime. Res64: C28592288F31826E Time : 0.0 sec. user=mdettweiler [2017-05-17 21:40:00] 909*2^1454219-1 is not prime. Res64: B46FC117F190FB65 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:40:00] 973*2^1454219-1 is not prime. Res64: 660BF68948002442 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:40:01] 999*2^1454219-1 is not prime. Res64: C0D184230B4991CC Time : 0.0 sec. user=mdettweiler [2017-05-17 21:40:01] 783*2^1454220-1 is not prime. Res64: 4EB58BA155C1CD90 Time : 0.0 sec. user=mdettweiler [2017-05-17 21:40:02] 795*2^1454220-1 is not prime. Res64: 0F562ED8752BE2EF Time : 0.0 sec. user=mdettweiler [2017-05-17 22:00:29] 839*2^1454220-1 is not prime. Res64: D33E232CAC6FFDA3 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:00:31] 879*2^1454220-1 is not prime. Res64: BC18C847AE571D11 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:00:33] 933*2^1454220-1 is not prime. Res64: 32FBAB9C40F1BE1B Time : 0.0 sec. user=mdettweiler [2017-05-17 22:00:34] 999*2^1454220-1 is not prime. Res64: 8E6C0AD28D8DB8C9 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:00:36] 679*2^1454221-1 is not prime. Res64: 033CEDC8A53CFD94 Time : 0.0 sec. user=juhehe [2017-05-17 22:03:28] 687*2^1454221-1 is not prime. Res64: DCA65B12A6012DCC Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:20] 747*2^1454221-1 is not prime. Res64: 29277F83EF69E90E Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:21] 895*2^1454221-1 is not prime. Res64: E4082AEC18CE64B3 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:21] 957*2^1454221-1 is not prime. Res64: 4B6F66898F67C51B Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:22] 617*2^1454222-1 is not prime. Res64: ED5807B7A838E367 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:22] 741*2^1454222-1 is not prime. Res64: EBC3169F91D87794 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:31] 761*2^1454222-1 is not prime. Res64: 9FC7C74381511F0A Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:31] 767*2^1454222-1 is not prime. Res64: F802CA1B8F09ED85 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:32] 797*2^1454222-1 is not prime. Res64: 245970E081411F60 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:32] 887*2^1454222-1 is not prime. Res64: 1EC474070680C699 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:21:32] 893*2^1454222-1 is not prime. Res64: 70E5D5B66F872C3E Time : 0.0 sec. user=mdettweiler [2017-05-17 22:25:49] 765*2^1454223-1 is not prime. Res64: A78E9CBB8C83933C Time : 0.0 sec. user=mdettweiler [2017-05-17 22:25:50] 871*2^1454223-1 is not prime. Res64: F5DEC662310E14CB Time : 0.0 sec. user=mdettweiler [2017-05-17 22:25:50] 895*2^1454223-1 is not prime. Res64: F9C1604CA2D62F2A Time : 0.0 sec. user=mdettweiler [2017-05-17 22:25:51] 921*2^1454223-1 is not prime. Res64: AC9ADAB27150EB8A Time : 0.0 sec. user=mdettweiler [2017-05-17 22:25:51] 963*2^1454223-1 is not prime. Res64: 5493BDC60E0A8A21 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:46:37] 623*2^1454224-1 is not prime. Res64: A1326DB36B1C798C Time : 0.0 sec. user=mdettweiler [2017-05-17 22:46:38] 639*2^1454224-1 is not prime. Res64: 991BCCFE47434D02 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:46:38] 875*2^1454224-1 is not prime. Res64: 2D9BF1C573C2D11E Time : 0.0 sec. user=mdettweiler [2017-05-17 22:46:38] 905*2^1454224-1 is not prime. Res64: 114F292FDE8BEA98 Time : 0.0 sec. user=mdettweiler [2017-05-17 22:46:39] 923*2^1454224-1 is not prime. Res64: CC56B95746A5B469 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:33] 983*2^1454224-1 is not prime. Res64: 044B2DCA55A65242 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:33] 657*2^1454225-1 is not prime. Res64: AD5029BAE3134983 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:34] 669*2^1454225-1 is not prime. Res64: C854FD777EDE69D4 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:35] 775*2^1454225-1 is not prime. Res64: 44EADD38E9D973F6 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:35] 861*2^1454225-1 is not prime. Res64: 65CD7CC447E914A5 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:36] 937*2^1454225-1 is not prime. Res64: 40C3BABAA2287860 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:36] 955*2^1454225-1 is not prime. Res64: 3C059E6B6ED514A5 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:37] 641*2^1454226-1 is not prime. Res64: 74DE4D540535E438 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:38] 765*2^1454226-1 is not prime. Res64: 43D5318190482A4F Time : 0.0 sec. user=mdettweiler [2017-05-17 23:07:38] 867*2^1454226-1 is not prime. Res64: F38D044BD5E68396 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:11:48] 941*2^1454226-1 is not prime. Res64: 32CF8C7D9292793A Time : 0.0 sec. user=mdettweiler [2017-05-17 23:11:48] 947*2^1454226-1 is not prime. Res64: 5E32A6206607AA72 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:11:49] 993*2^1454226-1 is not prime. Res64: 86DF155C8F460572 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:11:49] 631*2^1454227-1 is not prime. Res64: 23077AEBEA6E9C6D Time : 0.0 sec. user=mdettweiler [2017-05-17 23:11:50] 681*2^1454227-1 is not prime. Res64: BB58A553C38FE0CE Time : 0.0 sec. user=mdettweiler [2017-05-17 23:33:03] 759*2^1454227-1 is not prime. Res64: 695AC4C28C6BAD46 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:33:04] 919*2^1454227-1 is not prime. Res64: 51AAF80474BB54B2 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:33:04] 617*2^1454228-1 is not prime. Res64: 830643BD1C9416B2 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:33:05] 819*2^1454228-1 is not prime. Res64: 9604B9FE2F519910 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:33:05] 855*2^1454228-1 is not prime. Res64: D88893E3718EF486 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:47] 671*2^1454230-1 is not prime. Res64: 5054C5C82166CDF4 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:48] 723*2^1454230-1 is not prime. Res64: C2978612D12F3593 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:48] 941*2^1454230-1 is not prime. Res64: A3F554EE431BA8A7 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:49] 705*2^1454231-1 is not prime. Res64: B58E653BF9BEF23A Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:49] 969*2^1454231-1 is not prime. Res64: 4F27D6CD09864D7E Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:49] 893*2^1454228-1 is not prime. Res64: 4C44D392976B81AC Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:49] 927*2^1454228-1 is not prime. Res64: EAB6F0DF43523786 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:50] 747*2^1454229-1 is not prime. Res64: B656CD8BE73D8832 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:50] 787*2^1454229-1 is not prime. Res64: DC04F3964A98FCB6 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:53:51] 951*2^1454229-1 is not prime. Res64: 2E1C4587EFCB1C00 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:58:11] 981*2^1454231-1 is not prime. Res64: 33BD5073347B4A78 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:58:11] 999*2^1454231-1 is not prime. Res64: D28DA887715E2716 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:58:12] 797*2^1454232-1 is not prime. Res64: 65ABECDA49F68A49 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:58:12] 933*2^1454232-1 is not prime. Res64: 4F444E3ADEE26460 Time : 0.0 sec. user=mdettweiler [2017-05-17 23:58:12] 959*2^1454232-1 is not prime. Res64: E5AC7C543BB5D68A Time : 0.0 sec. user=juhehe [2017-05-18 00:00:50] 983*2^1454232-1 is not prime. Res64: 581B1D01D6578A46 Time : 0.0 sec.