user=mdettweiler [2018-06-10 00:03:31] 871*2^1512871-1 is not prime. Res64: F10B5FA4C49EA436 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:03:32] 883*2^1512871-1 is not prime. Res64: FCF7DB8788C3DCDA Time : 0.0 sec. user=mdettweiler [2018-06-10 00:03:35] 913*2^1512871-1 is not prime. Res64: 9282F9B40251E42A Time : 0.0 sec. user=mdettweiler [2018-06-10 00:03:38] 943*2^1512871-1 is not prime. Res64: 0D52BBEBE3027696 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:03:40] 975*2^1512871-1 is not prime. Res64: EE5ECF1C84785A76 Time : 0.0 sec. user=juhehe [2018-06-10 00:09:18] 979*2^1512871-1 is not prime. Res64: D52209D0C925F80C Time : 0.0 sec. user=mdettweiler [2018-06-10 00:22:37] 691*2^1512853-1 is not prime. Res64: E0257901EF3DC9E1 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:22:38] 721*2^1512853-1 is not prime. Res64: 6B19D125FA02186D Time : 0.0 sec. user=mdettweiler [2018-06-10 00:22:39] 751*2^1512853-1 is not prime. Res64: 6950FED51C3B89D0 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:22:39] 855*2^1512853-1 is not prime. Res64: 691F6939B30E28C5 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:43:15] 993*2^1512871-1 is not prime. Res64: 370D8C036371698D Time : 0.0 sec. user=mdettweiler [2018-06-10 00:43:15] 603*2^1512872-1 is not prime. Res64: 471507B3E7DB2F6C Time : 0.0 sec. user=mdettweiler [2018-06-10 00:43:15] 675*2^1512872-1 is not prime. Res64: 31F11229F079022D Time : 0.0 sec. user=mdettweiler [2018-06-10 00:43:16] 767*2^1512872-1 is not prime. Res64: 7AD1CC03BA0A2ED1 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:43:16] 915*2^1512872-1 is not prime. Res64: FBE4BCFA6DE28B12 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:56:09] 627*2^1512873-1 is not prime. Res64: AB84479FAB048EA1 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:56:09] 781*2^1512873-1 is not prime. Res64: 712CD9E60893C44E Time : 0.0 sec. user=mdettweiler [2018-06-10 00:56:10] 885*2^1512873-1 is not prime. Res64: EB8AFDEA6DB842CE Time : 0.0 sec. user=mdettweiler [2018-06-10 00:56:10] 919*2^1512873-1 is not prime. Res64: CC787B829C37F899 Time : 0.0 sec. user=mdettweiler [2018-06-10 00:56:10] 657*2^1512874-1 is not prime. Res64: 14E7DA6D4A957D8F Time : 0.0 sec. user=mdettweiler [2018-06-10 01:15:16] 671*2^1512874-1 is not prime. Res64: 7E96B298E615CDE3 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:15:16] 705*2^1512874-1 is not prime. Res64: 0374F514579E565E Time : 0.0 sec. user=mdettweiler [2018-06-10 01:15:17] 831*2^1512874-1 is not prime. Res64: 8DA1F28ADA770717 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:15:17] 715*2^1512875-1 is not prime. Res64: 289E64A98ED6DA40 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:15:17] 741*2^1512875-1 is not prime. Res64: 964D76F6A5D3173C Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:33] 889*2^1512861-1 is not prime. Res64: 3660469F6F3335C8 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:37] 675*2^1512862-1 is not prime. Res64: 13880532035247EF Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:41] 713*2^1512862-1 is not prime. Res64: 72CBEAB6564CEF65 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:42] 723*2^1512862-1 is not prime. Res64: 6541D353425F2464 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:44] 783*2^1512875-1 is not prime. Res64: 57638610B152C05D Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:46] 789*2^1512875-1 is not prime. Res64: E2FAE1002C0D657B Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:49] 921*2^1512875-1 is not prime. Res64: B95039688AF22D0B Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:51] 939*2^1512875-1 is not prime. Res64: 574A922EBFBB0BCB Time : 0.0 sec. user=mdettweiler [2018-06-10 01:38:54] 705*2^1512876-1 is not prime. Res64: 8C1801694B1F856E Time : 0.0 sec. user=mdettweiler [2018-06-10 01:50:13] 717*2^1512876-1 is not prime. Res64: 9089574ACF8CD6E7 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:50:14] 899*2^1512876-1 is not prime. Res64: 24C9B259C9FFA59D Time : 0.0 sec. user=mdettweiler [2018-06-10 01:50:16] 945*2^1512876-1 is not prime. Res64: BA3774C70F0B2F39 Time : 0.0 sec. user=mdettweiler [2018-06-10 01:50:17] 609*2^1512877-1 is not prime. Res64: B419E445F0CDFB6B Time : 0.0 sec. user=mdettweiler [2018-06-10 01:50:20] 675*2^1512877-1 is not prime. Res64: 2D898492CFBDC5D3 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:09:33] 715*2^1512877-1 is not prime. Res64: 5E3634BBA2127EAB Time : 0.0 sec. user=mdettweiler [2018-06-10 02:09:38] 801*2^1512877-1 is not prime. Res64: 3150C9F3676B0586 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:09:42] 825*2^1512877-1 is not prime. Res64: 5ED9F0DE2881AF74 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:09:47] 901*2^1512877-1 is not prime. Res64: 880A8717953760AB Time : 0.0 sec. user=mdettweiler [2018-06-10 02:09:52] 957*2^1512877-1 is not prime. Res64: FF167A31CA140018 Time : 0.0 sec. user=juhehe [2018-06-10 02:30:14] 921*2^1512879-1 is not prime. Res64: 957F410C13A4C3B6 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:24] 923*2^1512878-1 is not prime. Res64: 0A97B598B167D6F8 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:25] 951*2^1512878-1 is not prime. Res64: 8CBE8BC9F03A5009 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:27] 993*2^1512878-1 is not prime. Res64: 3254BFE236DCCDDA Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:28] 705*2^1512879-1 is not prime. Res64: 93CB27ED4D3BEBFA Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:30] 793*2^1512879-1 is not prime. Res64: AB494C9AAA1E843B Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:31] 755*2^1512878-1 is not prime. Res64: 80119A2D5EDFF4B6 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:32] 773*2^1512878-1 is not prime. Res64: 8A229544D3DE0BE6 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:37] 857*2^1512878-1 is not prime. Res64: A485EAEEE525C866 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:39] 875*2^1512878-1 is not prime. Res64: A37C977F3A7A5C19 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:30:40] 921*2^1512878-1 is not prime. Res64: 00C6F81913D588FB Time : 0.0 sec. user=mdettweiler [2018-06-10 02:41:38] 933*2^1512879-1 is not prime. Res64: 07A346EDC284B8AE Time : 0.0 sec. user=mdettweiler [2018-06-10 02:41:40] 985*2^1512879-1 is not prime. Res64: 1DDCCF6BA4EB6D74 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:41:42] 999*2^1512879-1 is not prime. Res64: 858916D9EE3B4A06 Time : 0.0 sec. user=mdettweiler [2018-06-10 02:41:44] 743*2^1512880-1 is not prime. Res64: C00F96009B758EAC Time : 0.0 sec. user=mdettweiler [2018-06-10 02:41:47] 747*2^1512880-1 is not prime. Res64: 3471BD32C20F465A Time : 0.0 sec. user=mdettweiler [2018-06-10 03:04:36] 777*2^1512880-1 is not prime. Res64: 4BC260D188B539F9 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:04:38] 875*2^1512880-1 is not prime. Res64: 581E5BCF62FD9A0C Time : 0.0 sec. user=mdettweiler [2018-06-10 03:04:41] 909*2^1512880-1 is not prime. Res64: DA6474AB1669425F Time : 0.0 sec. user=mdettweiler [2018-06-10 03:04:43] 685*2^1512881-1 is not prime. Res64: D54AF62BB91625D9 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:04:45] 727*2^1512881-1 is not prime. Res64: D90214A61FE32C4C Time : 0.0 sec. user=mdettweiler [2018-06-10 03:23:29] 747*2^1512881-1 is not prime. Res64: C69DC259F97FC035 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:23:29] 931*2^1512881-1 is not prime. Res64: 5EF99F8EAC000641 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:23:30] 945*2^1512881-1 is not prime. Res64: 3D3758CBAEF7120E Time : 0.0 sec. user=mdettweiler [2018-06-10 03:23:30] 957*2^1512881-1 is not prime. Res64: 1C08539EC8DE1EAA Time : 0.0 sec. user=mdettweiler [2018-06-10 03:23:31] 967*2^1512881-1 is not prime. Res64: AA401BF5229FD741 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:25:23] 987*2^1512881-1 is not prime. Res64: 25E54D48510705E8 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:25:24] 681*2^1512882-1 is not prime. Res64: 7F279A27AC7017A0 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:25:25] 705*2^1512882-1 is not prime. Res64: E1905E55C7C9FAC6 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:25:26] 765*2^1512882-1 is not prime. Res64: 8257C703F50F3257 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:25:28] 791*2^1512882-1 is not prime. Res64: 8C769D779FD0C32C Time : 0.0 sec. user=mdettweiler [2018-06-10 03:35:58] 815*2^1512882-1 is not prime. Res64: 0B065052E974CD6F Time : 0.0 sec. user=mdettweiler [2018-06-10 03:36:04] 843*2^1512882-1 is not prime. Res64: 989E531462445E12 Time : 0.0 sec. user=mdettweiler [2018-06-10 03:36:08] 945*2^1512882-1 is not prime. Res64: EF240E65DBD9893E Time : 0.0 sec. user=mdettweiler [2018-06-10 03:36:13] 983*2^1512882-1 is not prime. Res64: 9AECF9F01E40BD2A Time : 0.0 sec. user=mdettweiler [2018-06-10 03:36:19] 691*2^1512883-1 is not prime. Res64: 51DFE4A760AC8DD1 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:01:42] 741*2^1512883-1 is not prime. Res64: 96E8E819AFC99752 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:01:45] 765*2^1512883-1 is not prime. Res64: E1041F11C368AC88 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:01:47] 891*2^1512883-1 is not prime. Res64: 69CFC63BA2B1DA11 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:01:51] 615*2^1512884-1 is not prime. Res64: 8BD94D4DC9D206A9 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:01:55] 635*2^1512884-1 is not prime. Res64: 081558072159C89E Time : 0.0 sec. user=mdettweiler [2018-06-10 04:14:19] 659*2^1512884-1 is not prime. Res64: 2CBC50EC3493676B Time : 0.0 sec. user=mdettweiler [2018-06-10 04:14:24] 665*2^1512884-1 is not prime. Res64: B0DF340BFA76D3A9 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:14:32] 743*2^1512884-1 is not prime. Res64: 63B0EFED8733F336 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:14:37] 909*2^1512884-1 is not prime. Res64: 161A1B298C8164E8 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:14:46] 959*2^1512884-1 is not prime. Res64: E2D5FE09DB953BE3 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:18:40] 675*2^1512885-1 is not prime. Res64: C0CE1BAA7B978AB4 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:18:46] 679*2^1512885-1 is not prime. Res64: 2ED0C1BED59BDE04 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:18:51] 699*2^1512885-1 is not prime. Res64: 23FA3046CB2DBD21 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:18:55] 709*2^1512885-1 is not prime. Res64: 274D7EF76D9756E9 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:19:00] 727*2^1512885-1 is not prime. Res64: C3A8C5A76BB3212D Time : 0.0 sec. user=mdettweiler [2018-06-10 04:37:43] 795*2^1512885-1 is not prime. Res64: 313F10123F9771F2 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:37:44] 645*2^1512886-1 is not prime. Res64: 928DCE5948B4DEA1 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:37:45] 651*2^1512886-1 is not prime. Res64: 7B20316ADB2EC3EF Time : 0.0 sec. user=mdettweiler [2018-06-10 04:37:49] 657*2^1512886-1 is not prime. Res64: 5A8499D8021A581F Time : 0.0 sec. user=mdettweiler [2018-06-10 04:37:50] 933*2^1512886-1 is not prime. Res64: 789105FDBAFE3B6B Time : 0.0 sec. user=juhehe [2018-06-10 04:40:00] 615*2^1512888-1 is not prime. Res64: B0BC0DB4FB9CC067 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:58:29] 947*2^1512886-1 is not prime. Res64: 1BB6CC26270C404D Time : 0.0 sec. user=mdettweiler [2018-06-10 04:58:30] 603*2^1512887-1 is not prime. Res64: 489D343E93D32973 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:58:31] 669*2^1512887-1 is not prime. Res64: 5AEA1A73561AF318 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:58:32] 799*2^1512887-1 is not prime. Res64: 236068B9F3561421 Time : 0.0 sec. user=mdettweiler [2018-06-10 04:58:33] 993*2^1512887-1 is not prime. Res64: CE767AB21FB0C241 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:17:21] 837*2^1512888-1 is not prime. Res64: 5914B53899C1C8EC Time : 0.0 sec. user=mdettweiler [2018-06-10 05:17:25] 867*2^1512888-1 is not prime. Res64: D61E4D570A8FDCB6 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:17:27] 691*2^1512889-1 is not prime. Res64: DC0E165307463EAF Time : 0.0 sec. user=mdettweiler [2018-06-10 05:17:29] 741*2^1512889-1 is not prime. Res64: 8BE35B17DD648C17 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:17:31] 765*2^1512889-1 is not prime. Res64: DA3910E5AFEC77A3 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:32:09] 835*2^1512889-1 is not prime. Res64: ED1EAEEDD0BE084B Time : 0.0 sec. user=mdettweiler [2018-06-10 05:32:10] 997*2^1512889-1 is not prime. Res64: 5A733CF176A14558 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:32:10] 635*2^1512890-1 is not prime. Res64: 4C14CE474C104ED5 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:32:11] 831*2^1512890-1 is not prime. Res64: 21184C883A20A453 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:32:11] 911*2^1512890-1 is not prime. Res64: 5B9AF7E800C32287 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:52:40] 643*2^1512891-1 is not prime. Res64: EA2B9CD3B863CDE0 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:52:42] 651*2^1512891-1 is not prime. Res64: 74412AB89ECAEFAE Time : 0.0 sec. user=mdettweiler [2018-06-10 05:52:43] 795*2^1512891-1 is not prime. Res64: A48218743EF14FBF Time : 0.0 sec. user=mdettweiler [2018-06-10 05:52:44] 801*2^1512891-1 is not prime. Res64: 3BCC29001077F438 Time : 0.0 sec. user=mdettweiler [2018-06-10 05:52:45] 859*2^1512891-1 is not prime. Res64: BF678AA16723941B Time : 0.0 sec. user=juhehe [2018-06-10 06:12:17] 735*2^1512892-1 is not prime. Res64: DED6700880A4C5D2 Time : 0.0 sec. user=mdettweiler [2018-06-10 06:12:21] 871*2^1512891-1 is not prime. Res64: 91E12134B89324EB Time : 0.0 sec. user=mdettweiler [2018-06-10 06:12:24] 903*2^1512891-1 is not prime. Res64: 03E0151FAD5F382F Time : 0.0 sec. user=mdettweiler [2018-06-10 06:12:27] 961*2^1512891-1 is not prime. Res64: DB922790FF2505D0 Time : 0.0 sec. user=mdettweiler [2018-06-10 06:12:30] 999*2^1512891-1 is not prime. Res64: 7F66E28D41C6961B Time : 0.0 sec. user=mdettweiler [2018-06-10 06:12:32] 605*2^1512892-1 is not prime. Res64: C62AAD310AF6FC62 Time : 0.0 sec. user=mdettweiler [2018-06-10 06:25:05] 743*2^1512892-1 is not prime. Res64: 59D46C791954030A Time : 0.0 sec. user=mdettweiler [2018-06-10 06:25:06] 797*2^1512892-1 is not prime. Res64: FAFD9976B32798FB Time : 0.0 sec. user=mdettweiler [2018-06-10 06:25:07] 825*2^1512892-1 is not prime. Res64: C5CCA2E699DC57A5 Time : 0.0 sec. user=mdettweiler [2018-06-10 06:25:07] 899*2^1512892-1 is not prime. Res64: B4C1C07262EDD4AF Time : 0.0 sec. user=mdettweiler [2018-06-10 06:25:08] 745*2^1512893-1 is not prime. Res64: 0324F351B5546E8A Time : 0.0 sec. user=mdettweiler [2018-06-10 06:47:57] 811*2^1512893-1 is not prime. Res64: 2809A4B3F78093CA Time : 0.0 sec. user=mdettweiler [2018-06-10 06:47:58] 871*2^1512893-1 is not prime. Res64: 0041472008E00410 Time : 0.0 sec. user=mdettweiler [2018-06-10 06:47:58] 957*2^1512893-1 is not prime. Res64: FCF7436B7E57D87F Time : 0.0 sec. user=mdettweiler [2018-06-10 06:47:58] 705*2^1512894-1 is not prime. Res64: 646D78E939086E7E Time : 0.0 sec. user=mdettweiler [2018-06-10 06:47:59] 755*2^1512894-1 is not prime. Res64: 10F641D67362B7B6 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:07:52] 773*2^1512894-1 is not prime. Res64: FF14F8129F48AEE2 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:07:55] 797*2^1512894-1 is not prime. Res64: 1DD319D091546B09 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:07:59] 833*2^1512894-1 is not prime. Res64: 4339A3EE7D89D6BB Time : 0.0 sec. user=mdettweiler [2018-06-10 07:08:03] 705*2^1512895-1 is not prime. Res64: 5DD381ABEA9131E7 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:08:08] 829*2^1512895-1 is not prime. Res64: E221E0B90FA0928E Time : 0.0 sec. user=mdettweiler [2018-06-10 07:19:09] 913*2^1512895-1 is not prime. Res64: 3B1B779638DE92FC Time : 0.0 sec. user=mdettweiler [2018-06-10 07:19:09] 933*2^1512895-1 is not prime. Res64: 8E1CB5488D56FFBF Time : 0.0 sec. user=mdettweiler [2018-06-10 07:19:10] 979*2^1512895-1 is not prime. Res64: AD5314DDB8B3AF59 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:19:10] 785*2^1512896-1 is not prime. Res64: 6B5D626DEB25CA11 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:19:11] 827*2^1512896-1 is not prime. Res64: 97482ABB5BBE3287 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:40:22] 935*2^1512896-1 is not prime. Res64: E0F9273A308E746E Time : 0.0 sec. user=mdettweiler [2018-06-10 07:40:22] 993*2^1512896-1 is not prime. Res64: 448EC8C2B0EBD48B Time : 0.0 sec. user=mdettweiler [2018-06-10 07:40:22] 625*2^1512897-1 is not prime. Res64: 4AEF59F23961481A Time : 0.0 sec. user=mdettweiler [2018-06-10 07:40:23] 717*2^1512897-1 is not prime. Res64: 2CFBEB2E4DB31617 Time : 0.0 sec. user=mdettweiler [2018-06-10 07:40:23] 865*2^1512897-1 is not prime. Res64: 686D8E518A3EAA69 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:06:10] 919*2^1512897-1 is not prime. Res64: 65EE88C916812F8B Time : 0.0 sec. user=mdettweiler [2018-06-10 08:06:14] 937*2^1512897-1 is not prime. Res64: 2CFD505E254FFAC2 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:06:21] 949*2^1512897-1 is not prime. Res64: 2D7E9F780BD0073C Time : 0.0 sec. user=mdettweiler [2018-06-10 08:06:24] 657*2^1512898-1 is not prime. Res64: 558AA9C69B1F83D8 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:06:28] 663*2^1512898-1 is not prime. Res64: A69CA651F11E1FB4 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:11:22] 801*2^1512898-1 is not prime. Res64: 0313163071933BC6 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:11:23] 867*2^1512898-1 is not prime. Res64: ED74BC5258F6BCBF Time : 0.0 sec. user=mdettweiler [2018-06-10 08:11:24] 885*2^1512898-1 is not prime. Res64: 858F86D2BC73867F Time : 0.0 sec. user=mdettweiler [2018-06-10 08:11:25] 891*2^1512898-1 is not prime. Res64: E96A0D375F18B0B5 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:11:28] 615*2^1512899-1 is not prime. Res64: 9F319D4B493DFFF7 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:31:57] 685*2^1512899-1 is not prime. Res64: 158876A516E395B1 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:31:58] 733*2^1512899-1 is not prime. Res64: B8AED71E5422B596 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:31:58] 745*2^1512899-1 is not prime. Res64: 9EF43F5D6B46BB52 Time : 0.0 sec. user=mdettweiler [2018-06-10 08:31:58] 775*2^1512899-1 is not prime. Res64: 0F0A22A27DDBABED Time : 0.0 sec. user=mdettweiler [2018-06-10 08:31:59] 825*2^1512899-1 is not prime. Res64: 113CBD7DCBAFA1FA Time : 0.0 sec. user=juhehe [2018-06-10 08:32:33] 829*2^1512899-1 is not prime. Res64: 831789FEF60CE737 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:00] 883*2^1512899-1 is not prime. Res64: 145361FA1A5B85A4 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:01] 653*2^1512900-1 is not prime. Res64: 4CFCE214CF326A81 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:02] 707*2^1512900-1 is not prime. Res64: 6908E6CA8126C4C7 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:03] 753*2^1512900-1 is not prime. Res64: F3BE7179F0F041A9 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:03] 767*2^1512900-1 is not prime. Res64: 91A4C3928D98AA4C Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:47] 779*2^1512900-1 is not prime. Res64: E397C1D075E5726E Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:48] 789*2^1512900-1 is not prime. Res64: 74915933F77DC915 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:49] 923*2^1512900-1 is not prime. Res64: 1E2C08175E7A154D Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:51] 717*2^1512901-1 is not prime. Res64: AE4A12F5BEFA16F1 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:01:53] 775*2^1512901-1 is not prime. Res64: BD483F28FC635634 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:02:56] 805*2^1512901-1 is not prime. Res64: CCF3978ACDB20090 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:02:57] 937*2^1512901-1 is not prime. Res64: 06BB869FB2D38A6E Time : 0.0 sec. user=mdettweiler [2018-06-10 09:02:57] 755*2^1512902-1 is not prime. Res64: 68EC6EAC29E2EA9D Time : 0.0 sec. user=mdettweiler [2018-06-10 09:02:58] 831*2^1512902-1 is not prime. Res64: AFA27D5BF26D4959 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:02:59] 893*2^1512902-1 is not prime. Res64: 23AAB5A02A7F6298 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:22:20] 945*2^1512902-1 is not prime. Res64: 98CE87624D2EC6F6 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:22:21] 1001*2^1512902-1 is not prime. Res64: B49AC8681A0EF9E8 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:22:21] 649*2^1512903-1 is not prime. Res64: C3D350DD569873C5 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:22:22] 669*2^1512903-1 is not prime. Res64: F265D0B83F949BD3 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:22:22] 709*2^1512903-1 is not prime. Res64: E74333D9F43F22B0 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:48] 891*2^1512903-1 is not prime. Res64: 515277F469BDF551 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:48] 895*2^1512903-1 is not prime. Res64: BDE99005D823FA25 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:48] 645*2^1512904-1 is not prime. Res64: 8D28C75592263456 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:49] 909*2^1512904-1 is not prime. Res64: C0C37B83765DC777 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:49] 983*2^1512904-1 is not prime. Res64: 0B406E3B704566DF Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:56] 789*2^1512903-1 is not prime. Res64: 0FBD09C34C2F7686 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:56] 795*2^1512903-1 is not prime. Res64: 9E566F2EA6A209D9 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:57] 831*2^1512903-1 is not prime. Res64: 709303A2ECF33D7E Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:57] 955*2^1512903-1 is not prime. Res64: 2505801DB5DECFAE Time : 0.0 sec. user=mdettweiler [2018-06-10 09:52:58] 617*2^1512904-1 is not prime. Res64: 90A81AB4866027CC Time : 0.0 sec. user=mdettweiler [2018-06-10 09:53:51] 989*2^1512904-1 is not prime. Res64: B0D345FBC624A9C6 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:53:51] 619*2^1512905-1 is not prime. Res64: 42497E544C3F54F4 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:53:52] 669*2^1512905-1 is not prime. Res64: 10EDD637D9AFCD67 Time : 0.0 sec. user=mdettweiler [2018-06-10 09:53:52] 685*2^1512905-1 is not prime. Res64: 2201F32E84C438CA Time : 0.0 sec. user=mdettweiler [2018-06-10 09:53:54] 699*2^1512905-1 is not prime. Res64: F3BE33359B3B8C92 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:14:28] 775*2^1512905-1 is not prime. Res64: 3AAE82F431F06134 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:14:29] 781*2^1512905-1 is not prime. Res64: 4CD0CA915DA133AD Time : 0.0 sec. user=mdettweiler [2018-06-10 10:14:29] 789*2^1512905-1 is not prime. Res64: 3E6374F64CEC2D08 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:14:30] 847*2^1512905-1 is not prime. Res64: 70368982521053C4 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:14:30] 937*2^1512905-1 is not prime. Res64: 1CF0EACDD491B778 Time : 0.0 sec. user=juhehe [2018-06-10 10:42:54] 639*2^1512909-1 is not prime. Res64: 924D1F487ADC64C2 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:15] 623*2^1512908-1 is not prime. Res64: F57920C1E14321C1 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:15] 629*2^1512908-1 is not prime. Res64: 5CDD029E50D5185D Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:15] 687*2^1512908-1 is not prime. Res64: 90956CAD130EFC24 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:16] 963*2^1512908-1 is not prime. Res64: 91C921DA6502E726 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:16] 609*2^1512909-1 is not prime. Res64: F81F33663DB82960 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:18] 867*2^1512906-1 is not prime. Res64: E65BEA0644814EF5 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:19] 993*2^1512906-1 is not prime. Res64: 2FCAD6813A51DB69 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:19] 751*2^1512907-1 is not prime. Res64: 882E082EE94A515E Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:20] 871*2^1512907-1 is not prime. Res64: 1827F85282DF361C Time : 0.0 sec. user=mdettweiler [2018-06-10 10:44:20] 603*2^1512908-1 is not prime. Res64: CDCC5667007CF9D5 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:45:29] 979*2^1512905-1 is not prime. Res64: 9F73CE750969E6CA Time : 0.0 sec. user=mdettweiler [2018-06-10 10:45:29] 683*2^1512906-1 is not prime. Res64: 199331CD38AE76B7 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:45:30] 717*2^1512906-1 is not prime. Res64: 655D596D1033351E Time : 0.0 sec. user=mdettweiler [2018-06-10 10:45:30] 735*2^1512906-1 is not prime. Res64: 59D89E7EC231D0E5 Time : 0.0 sec. user=mdettweiler [2018-06-10 10:45:31] 815*2^1512906-1 is not prime. Res64: 2D29233082C14D51 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:05:21] 969*2^1512909-1 is not prime. Res64: BEE2FFA3F31D3546 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:05:25] 985*2^1512909-1 is not prime. Res64: BB57B93C8B95ED69 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:05:28] 653*2^1512910-1 is not prime. Res64: 944F152D65E7A3D4 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:05:33] 681*2^1512910-1 is not prime. Res64: 4E5B67F0F7839720 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:05:35] 687*2^1512910-1 is not prime. Res64: F3D5529D8A27F570 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:45] 783*2^1512910-1 is not prime. Res64: E717D4F00464E3F7 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:45] 855*2^1512910-1 is not prime. Res64: 88B2A2744AC92B37 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:46] 957*2^1512910-1 is not prime. Res64: BF77A6C85E797B5C Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:46] 1001*2^1512910-1 is not prime. Res64: FB8E145ECF6664AC Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:46] 609*2^1512911-1 is not prime. Res64: 7D78F46FDD484B53 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:56] 661*2^1512911-1 is not prime. Res64: 5303966718B6F40E Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:57] 705*2^1512911-1 is not prime. Res64: AFD8D9A23C3168F4 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:57] 741*2^1512911-1 is not prime. Res64: D5A770DA2FBDFA7A Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:58] 775*2^1512911-1 is not prime. Res64: 4E4536FF8E1C5749 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:34:58] 823*2^1512911-1 is not prime. Res64: FC448CCCE56F47E5 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:36:10] 669*2^1512912-1 is not prime. Res64: C6A94BC5521469AE Time : 0.0 sec. user=mdettweiler [2018-06-10 11:36:11] 695*2^1512912-1 is not prime. Res64: 2301C8CFA4313B6D Time : 0.0 sec. user=mdettweiler [2018-06-10 11:36:11] 723*2^1512912-1 is not prime. Res64: 0B3FE5A73C9C8335 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:36:12] 753*2^1512912-1 is not prime. Res64: 39D2462278FBB921 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:36:12] 797*2^1512912-1 is not prime. Res64: 925197956F876B8D Time : 0.0 sec. user=mdettweiler [2018-06-10 11:57:13] 809*2^1512912-1 is not prime. Res64: 170E4C49A8CE6F6E Time : 0.0 sec. user=mdettweiler [2018-06-10 11:57:14] 825*2^1512912-1 is not prime. Res64: 7722A7DA56433849 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:57:15] 837*2^1512912-1 is not prime. Res64: EB345BF3F5B9C583 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:57:16] 899*2^1512912-1 is not prime. Res64: 8E4721243341AA93 Time : 0.0 sec. user=mdettweiler [2018-06-10 11:57:18] 983*2^1512912-1 is not prime. Res64: 8DD0453EC3D9C5EF Time : 0.0 sec. user=juhehe [2018-06-10 12:15:28] 681*2^1512913-1 is not prime. Res64: 658AF2294EFA5CFF Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:27] 751*2^1512913-1 is not prime. Res64: 16CCE53DB1767331 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:27] 889*2^1512913-1 is not prime. Res64: 1B5D27CBEBE9267D Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:27] 915*2^1512913-1 is not prime. Res64: 88A0373578886B35 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:28] 945*2^1512913-1 is not prime. Res64: A00C4FBF0E7E3775 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:28] 617*2^1512914-1 is not prime. Res64: 19B37B221D21A681 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:40] 657*2^1512914-1 is not prime. Res64: 5813EF39EE09E350 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:41] 743*2^1512914-1 is not prime. Res64: 63C97148BD5C832B Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:41] 785*2^1512914-1 is not prime. Res64: 635F86F525A14316 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:41] 915*2^1512914-1 is not prime. Res64: D9A698AAC3415CAB Time : 0.0 sec. user=mdettweiler [2018-06-10 12:25:42] 685*2^1512915-1 is not prime. Res64: ADD79F06EEFD8192 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:27:02] 765*2^1512915-1 is not prime. Res64: 412C19D970AB1F75 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:27:02] 775*2^1512915-1 is not prime. Res64: 5B0C41E2676A71DF Time : 0.0 sec. user=mdettweiler [2018-06-10 12:27:03] 783*2^1512915-1 is not prime. Res64: F6C05C701789191E Time : 0.0 sec. user=mdettweiler [2018-06-10 12:27:03] 795*2^1512915-1 is not prime. Res64: 567ADF1FAA9C78FC Time : 0.0 sec. user=mdettweiler [2018-06-10 12:27:03] 895*2^1512915-1 is not prime. Res64: 67169932E0CD5DED Time : 0.0 sec. user=mdettweiler [2018-06-10 12:47:49] 903*2^1512915-1 is not prime. Res64: 8D7F5619136870A1 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:47:50] 909*2^1512915-1 is not prime. Res64: 711381378FE0BD86 Time : 0.0 sec. user=mdettweiler [2018-06-10 12:47:50] 921*2^1512915-1 is not prime. Res64: 90759014A4D25F8E Time : 0.0 sec. user=mdettweiler [2018-06-10 12:47:51] 615*2^1512916-1 is not prime. Res64: 304A7A8EB32D993B Time : 0.0 sec. user=mdettweiler [2018-06-10 12:47:51] 639*2^1512916-1 is not prime. Res64: 123F55C8B0F7B672 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:15:37] 657*2^1512916-1 is not prime. Res64: EB2122D82A4156FE Time : 0.0 sec. user=mdettweiler [2018-06-10 13:15:37] 689*2^1512916-1 is not prime. Res64: 0AECB805BD3DEC6E Time : 0.0 sec. user=mdettweiler [2018-06-10 13:15:38] 693*2^1512916-1 is not prime. Res64: 099D8B32A3C9650C Time : 0.0 sec. user=mdettweiler [2018-06-10 13:15:38] 777*2^1512916-1 is not prime. Res64: F07B95C00381FCE0 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:15:39] 619*2^1512917-1 is not prime. Res64: 6FAFAE40348CAD7B Time : 0.0 sec. user=mdettweiler [2018-06-10 13:16:22] 837*2^1512917-1 is not prime. Res64: 7CCC30712904F652 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:16:23] 925*2^1512917-1 is not prime. Res64: AD565E4BED67A870 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:16:23] 931*2^1512917-1 is not prime. Res64: 3DC3851FB9D784E4 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:16:24] 949*2^1512917-1 is not prime. Res64: FC6D3801386EE68C Time : 0.0 sec. user=mdettweiler [2018-06-10 13:16:24] 621*2^1512918-1 is not prime. Res64: C25ED78B77716714 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:18:02] 683*2^1512918-1 is not prime. Res64: D1A00AB92AED6A4B Time : 0.0 sec. user=mdettweiler [2018-06-10 13:18:03] 707*2^1512918-1 is not prime. Res64: E2AD4E4F3A4D3BF0 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:18:03] 755*2^1512918-1 is not prime. Res64: D576B17193E9B7F3 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:18:04] 833*2^1512918-1 is not prime. Res64: 695EDFF84777DA20 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:18:04] 933*2^1512918-1 is not prime. Res64: 14E5FDE2507501A9 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:38:43] 941*2^1512918-1 is not prime. Res64: CEDA8EA2B37D785F Time : 0.0 sec. user=mdettweiler [2018-06-10 13:38:43] 945*2^1512918-1 is not prime. Res64: CC15915615F7C0B7 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:38:44] 993*2^1512918-1 is not prime. Res64: 27BEF81AFD228075 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:38:44] 609*2^1512919-1 is not prime. Res64: 6E0401E8B90F8930 Time : 0.0 sec. user=mdettweiler [2018-06-10 13:38:45] 723*2^1512919-1 is not prime. Res64: 07CBA483C6A42106 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:06:46] 855*2^1512919-1 is not prime. Res64: 9C13304D0F4C4917 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:06:49] 885*2^1512919-1 is not prime. Res64: D8F96C08DC6E2A76 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:06:51] 939*2^1512919-1 is not prime. Res64: D450070E11598DB7 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:06:52] 993*2^1512919-1 is not prime. Res64: EF48C61B2E27410B Time : 0.0 sec. user=mdettweiler [2018-06-10 14:06:53] 773*2^1512920-1 is not prime. Res64: E8C74A9A4EF02C10 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:07:07] 789*2^1512920-1 is not prime. Res64: DC685B933CA78953 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:07:10] 855*2^1512920-1 is not prime. Res64: 4E3F87FD794CE9F8 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:07:12] 651*2^1512921-1 is not prime. Res64: 0C0959E44E3155DF Time : 0.0 sec. user=mdettweiler [2018-06-10 14:07:13] 705*2^1512921-1 is not prime. Res64: C577446457459D74 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:07:14] 777*2^1512921-1 is not prime. Res64: AAAEF8712746D9F2 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:09:19] 937*2^1512921-1 is not prime. Res64: E961F9AA73750FBD Time : 0.0 sec. user=mdettweiler [2018-06-10 14:09:20] 955*2^1512921-1 is not prime. Res64: 2A2F82FE7C99AF2D Time : 0.0 sec. user=mdettweiler [2018-06-10 14:09:20] 979*2^1512921-1 is not prime. Res64: A08D3C152A047956 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:09:21] 701*2^1512922-1 is not prime. Res64: 5AC7BAAF7AC73075 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:09:21] 713*2^1512922-1 is not prime. Res64: 7EB04A28A9CC0144 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:29:33] 815*2^1512922-1 is not prime. Res64: 142B464339538981 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:29:34] 945*2^1512922-1 is not prime. Res64: E3AF175248BA6A34 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:29:34] 957*2^1512922-1 is not prime. Res64: B7D8955C8C63FB32 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:29:35] 603*2^1512923-1 is not prime. Res64: B7F239F534F3B1CE Time : 0.0 sec. user=mdettweiler [2018-06-10 14:29:35] 753*2^1512923-1 is not prime. Res64: CB5146ACA708BEB2 Time : 0.0 sec. user=juhehe [2018-06-10 14:35:11] 771*2^1512923-1 is not prime. Res64: 8BCFA884B1F1BE25 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:22] 773*2^1512924-1 is not prime. Res64: 43596A7CF5B36B8A Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:24] 915*2^1512924-1 is not prime. Res64: 9C7528C78FE8FD5B Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:25] 601*2^1512925-1 is not prime. Res64: 6E46693810B7AC15 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:26] 685*2^1512925-1 is not prime. Res64: AE93D146B65DB3E0 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:27] 721*2^1512925-1 is not prime. Res64: 1BA9E4C440D0501F Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:30] 955*2^1512923-1 is not prime. Res64: ADF0788D311442D3 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:32] 683*2^1512924-1 is not prime. Res64: 057D5A30340E4D24 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:36] 737*2^1512924-1 is not prime. Res64: 11713974FC009F23 Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:37] 749*2^1512924-1 is not prime. Res64: 2F997964BB2F1F4D Time : 0.0 sec. user=mdettweiler [2018-06-10 14:59:37] 765*2^1512924-1 is not prime. Res64: A80BB4E9E02544C2 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:01:15] 825*2^1512925-1 is not prime. Res64: AAF593BD7CEA2985 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:01:16] 831*2^1512925-1 is not prime. Res64: CB7BDC276EA8BE24 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:01:18] 871*2^1512925-1 is not prime. Res64: 37ECBEB87447075A Time : 0.0 sec. user=mdettweiler [2018-06-10 15:01:19] 999*2^1512925-1 is not prime. Res64: 5ED15131D963FC09 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:01:20] 657*2^1512926-1 is not prime. Res64: 7DE23C0C28B514EB Time : 0.0 sec. user=mdettweiler [2018-06-10 15:22:52] 671*2^1512926-1 is not prime. Res64: FA6E20150BDAB559 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:22:53] 693*2^1512926-1 is not prime. Res64: F17177BF6247BC74 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:22:53] 743*2^1512926-1 is not prime. Res64: 9246215F3BC7BD89 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:22:54] 833*2^1512926-1 is not prime. Res64: A49970055DF1034C Time : 0.0 sec. user=mdettweiler [2018-06-10 15:22:54] 851*2^1512926-1 is not prime. Res64: A31F52B3241D5953 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:53:42] 923*2^1512926-1 is not prime. Res64: 644C6B76C958EA3C Time : 0.0 sec. user=mdettweiler [2018-06-10 15:53:43] 935*2^1512926-1 is not prime. Res64: 7777012AB5115039 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:53:44] 609*2^1512927-1 is not prime. Res64: 155D190CFD06C225 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:53:45] 739*2^1512927-1 is not prime. Res64: C0D7EA043F5EE4EB Time : 0.0 sec. user=mdettweiler [2018-06-10 15:53:46] 913*2^1512927-1 is not prime. Res64: 0B30997BB1AD89B3 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:54:25] 961*2^1512927-1 is not prime. Res64: 4D680A1613182490 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:54:26] 979*2^1512927-1 is not prime. Res64: 77DD3A6738A51EEB Time : 0.0 sec. user=mdettweiler [2018-06-10 15:54:26] 999*2^1512927-1 is not prime. Res64: 5CCD4F05FF2F3D7C Time : 0.0 sec. user=mdettweiler [2018-06-10 15:54:27] 699*2^1512928-1 is not prime. Res64: CC2A08FE0FAB4A88 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:54:27] 875*2^1512928-1 is not prime. Res64: F5501C34E10A02A2 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:56:02] 993*2^1512928-1 is not prime. Res64: 39770D088675D1A2 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:56:02] 601*2^1512929-1 is not prime. Res64: C544545FB4C02A5C Time : 0.0 sec. user=mdettweiler [2018-06-10 15:56:03] 627*2^1512929-1 is not prime. Res64: 637ED2410A042BE7 Time : 0.0 sec. user=mdettweiler [2018-06-10 15:56:03] 637*2^1512929-1 is not prime. Res64: A108E64B330BEEEA Time : 0.0 sec. user=mdettweiler [2018-06-10 15:56:04] 675*2^1512929-1 is not prime. Res64: A883ABBA93A1AEB4 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:15:15] 721*2^1512929-1 is not prime. Res64: B90B45A8E65D1C20 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:15:16] 861*2^1512929-1 is not prime. Res64: A76C7DBB809FE8D6 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:15:16] 867*2^1512929-1 is not prime. Res64: DEEE4880843789BC Time : 0.0 sec. user=mdettweiler [2018-06-10 16:15:17] 665*2^1512930-1 is not prime. Res64: 3783162FE1B8AEAE Time : 0.0 sec. user=mdettweiler [2018-06-10 16:15:17] 723*2^1512930-1 is not prime. Res64: 5828A6979DEC021F Time : 0.0 sec. user=juhehe [2018-06-10 16:45:15] 607*2^1512933-1 is not prime. Res64: 27FF45C962097592 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:45:41] 765*2^1512930-1 is not prime. Res64: 9AE7BEC4B87D3E69 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:45:42] 797*2^1512930-1 is not prime. Res64: 3B93AE5E60823CAF Time : 0.0 sec. user=mdettweiler [2018-06-10 16:45:42] 821*2^1512930-1 is not prime. Res64: D4CE01F36CDE4D78 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:45:43] 941*2^1512930-1 is not prime. Res64: BDB864E41AB9DB0F Time : 0.0 sec. user=mdettweiler [2018-06-10 16:45:43] 951*2^1512930-1 is not prime. Res64: 25BF2EE708E15106 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:46:05] 625*2^1512931-1 is not prime. Res64: 1A5D83BA4B21D690 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:46:05] 703*2^1512931-1 is not prime. Res64: 2795DC26A71BF4D5 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:46:06] 723*2^1512931-1 is not prime. Res64: C2E2EE64B5330F2E Time : 0.0 sec. user=mdettweiler [2018-06-10 16:46:06] 745*2^1512931-1 is not prime. Res64: C9C43BFAEC72A47F Time : 0.0 sec. user=mdettweiler [2018-06-10 16:46:07] 891*2^1512931-1 is not prime. Res64: C50CCC02673051E2 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:47:17] 665*2^1512932-1 is not prime. Res64: 03BD4F538288E889 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:47:18] 683*2^1512932-1 is not prime. Res64: 4ADAE3D46D21FC0E Time : 0.0 sec. user=mdettweiler [2018-06-10 16:47:18] 873*2^1512932-1 is not prime. Res64: B02F219E2AB9C56E Time : 0.0 sec. user=mdettweiler [2018-06-10 16:47:19] 963*2^1512932-1 is not prime. Res64: C981714D88E301F6 Time : 0.0 sec. user=mdettweiler [2018-06-10 16:47:19] 983*2^1512932-1 is not prime. Res64: 4A59BFEB51D20862 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:05:44] 615*2^1512933-1 is not prime. Res64: 21464C7AC0E07DD1 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:05:46] 651*2^1512933-1 is not prime. Res64: AED10DE5B2197E4D Time : 0.0 sec. user=mdettweiler [2018-06-10 17:05:49] 741*2^1512933-1 is not prime. Res64: 2C085B89C9ECFB33 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:05:50] 829*2^1512933-1 is not prime. Res64: 96FA03B4C17FFF13 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:05:53] 837*2^1512933-1 is not prime. Res64: BE87527A2C393309 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:35:58] 791*2^1512934-1 is not prime. Res64: 5A6FBEF6127038DB Time : 0.0 sec. user=mdettweiler [2018-06-10 17:35:59] 813*2^1512934-1 is not prime. Res64: B88E369646EE5F2E Time : 0.0 sec. user=mdettweiler [2018-06-10 17:35:59] 609*2^1512935-1 is not prime. Res64: 87DED6B553CDFA5C Time : 0.0 sec. user=mdettweiler [2018-06-10 17:35:59] 619*2^1512935-1 is not prime. Res64: 514AF799BC288F32 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:00] 633*2^1512935-1 is not prime. Res64: C31B60A76BC3D160 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:24] 945*2^1512933-1 is not prime. Res64: 5B3F46D1D585B3EC Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:25] 951*2^1512933-1 is not prime. Res64: 90003135004F4D36 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:26] 955*2^1512933-1 is not prime. Res64: 9E4807EDE7391BC3 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:26] 665*2^1512934-1 is not prime. Res64: 6D55622E8A3375AB Time : 0.0 sec. user=mdettweiler [2018-06-10 17:36:27] 737*2^1512934-1 is not prime. Res64: B2D3F41F3FC5261A Time : 0.0 sec. user=mdettweiler [2018-06-10 17:38:02] 693*2^1512935-1 is not prime. Res64: 7E92B71F526B2897 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:38:02] 763*2^1512935-1 is not prime. Res64: A42ED8678D3CA1C5 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:38:03] 979*2^1512935-1 is not prime. Res64: 7E6A3B47D1DE1B74 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:38:03] 669*2^1512936-1 is not prime. Res64: E78153743138559C Time : 0.0 sec. user=mdettweiler [2018-06-10 17:38:03] 693*2^1512936-1 is not prime. Res64: 474CD32192569B54 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:57:05] 773*2^1512936-1 is not prime. Res64: E76B1A2FFBDE30AB Time : 0.0 sec. user=mdettweiler [2018-06-10 17:57:06] 903*2^1512936-1 is not prime. Res64: 87FE6C17E51A64EE Time : 0.0 sec. user=mdettweiler [2018-06-10 17:57:07] 947*2^1512936-1 is not prime. Res64: FC6820B291B3DCF0 Time : 0.0 sec. user=mdettweiler [2018-06-10 17:57:07] 957*2^1512936-1 is not prime. Res64: EC721822A839564F Time : 0.0 sec. user=mdettweiler [2018-06-10 17:57:08] 625*2^1512937-1 is not prime. Res64: C85379899F4B1EFC Time : 0.0 sec. user=juhehe [2018-06-10 18:08:01] 639*2^1512937-1 is not prime. Res64: FF62DA1A27A2B157 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:26:40] 645*2^1512937-1 is not prime. Res64: 2C6ECE7E8AD0DBEA Time : 0.0 sec. user=mdettweiler [2018-06-10 18:26:40] 651*2^1512937-1 is not prime. Res64: 38FD2263E679013F Time : 0.0 sec. user=mdettweiler [2018-06-10 18:26:41] 687*2^1512937-1 is not prime. Res64: 99DAA595C7BCFBC8 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:26:41] 729*2^1512937-1 is not prime. Res64: 885628E287C74C68 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:26:42] 841*2^1512937-1 is not prime. Res64: BF700E7D10AABA04 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:27:40] 847*2^1512937-1 is not prime. Res64: 64DEAA3E6A4B43F6 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:27:41] 861*2^1512937-1 is not prime. Res64: 8655ECE17DB649EC Time : 0.0 sec. user=mdettweiler [2018-06-10 18:27:41] 885*2^1512937-1 is not prime. Res64: 834CA41384B4EF79 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:27:41] 915*2^1512937-1 is not prime. Res64: EB902A8ADF2D24B6 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:27:42] 919*2^1512937-1 is not prime. Res64: 9DE8725A98DABA98 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:28:23] 623*2^1512938-1 is not prime. Res64: C7A980EB99C66689 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:28:26] 801*2^1512938-1 is not prime. Res64: 8115777EAF6E48B1 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:28:26] 971*2^1512938-1 is not prime. Res64: 70DD2DE9A72D7EAE Time : 0.0 sec. user=mdettweiler [2018-06-10 18:28:26] 633*2^1512939-1 is not prime. Res64: 8C094468757966DD Time : 0.0 sec. user=mdettweiler [2018-06-10 18:28:27] 723*2^1512939-1 is not prime. Res64: 3B88AD2805FF6C66 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:48:01] 735*2^1512939-1 is not prime. Res64: 9EE73D09601B137A Time : 0.0 sec. user=mdettweiler [2018-06-10 18:48:02] 823*2^1512939-1 is not prime. Res64: E75198E19BD3AD1B Time : 0.0 sec. user=mdettweiler [2018-06-10 18:48:03] 843*2^1512939-1 is not prime. Res64: 192841A65DFC0572 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:48:05] 879*2^1512939-1 is not prime. Res64: 654442B7C12A0699 Time : 0.0 sec. user=mdettweiler [2018-06-10 18:48:07] 603*2^1512940-1 is not prime. Res64: 6F1435038262AB20 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:16:53] 609*2^1512940-1 is not prime. Res64: 5475D77EEEE45D08 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:16:53] 843*2^1512940-1 is not prime. Res64: AA9198111F4D0DB4 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:16:54] 909*2^1512940-1 is not prime. Res64: C730298B756B5EC7 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:16:55] 601*2^1512941-1 is not prime. Res64: 6FF7B9E9797478C5 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:16:55] 691*2^1512941-1 is not prime. Res64: 556B6D6465843BD5 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:40] 615*2^1512942-1 is not prime. Res64: A7B7C19805BE26E1 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:41] 621*2^1512942-1 is not prime. Res64: 21F72FD96D1BE273 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:42] 693*2^1512942-1 is not prime. Res64: 53CA10D27299D7D3 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:43] 755*2^1512942-1 is not prime. Res64: 54BCB881F504BEA6 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:44] 861*2^1512941-1 is not prime. Res64: 43DF40D9BB33C650 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:45] 797*2^1512942-1 is not prime. Res64: 82DE78B5514EA8D9 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:46] 865*2^1512941-1 is not prime. Res64: 71BB7C6A34491116 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:47] 889*2^1512941-1 is not prime. Res64: 74519B452000F69B Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:48] 925*2^1512941-1 is not prime. Res64: E821361E9B0729AE Time : 0.0 sec. user=mdettweiler [2018-06-10 19:18:49] 931*2^1512941-1 is not prime. Res64: DB77F21DADC4C9C0 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:38:27] 633*2^1512943-1 is not prime. Res64: 8F37595C76A62733 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:38:28] 663*2^1512943-1 is not prime. Res64: 848225FCD91F806A Time : 0.0 sec. user=mdettweiler [2018-06-10 19:38:28] 681*2^1512943-1 is not prime. Res64: 4EE45BCCA015EA30 Time : 0.0 sec. user=mdettweiler [2018-06-10 19:38:28] 849*2^1512943-1 is not prime. Res64: EBF000F794DACA7F Time : 0.0 sec. user=mdettweiler [2018-06-10 19:38:29] 605*2^1512944-1 is not prime. Res64: CEE9670A32C6BC22 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:08:26] 677*2^1512944-1 is not prime. Res64: 1FAF0B3AC68EBBBD Time : 0.0 sec. user=mdettweiler [2018-06-10 20:08:30] 687*2^1512944-1 is not prime. Res64: 1684DE9276E0ABE8 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:08:34] 719*2^1512944-1 is not prime. Res64: 4F5B8266E1E3417C Time : 0.0 sec. user=mdettweiler [2018-06-10 20:08:37] 857*2^1512944-1 is not prime. Res64: D7B17DF386D598D6 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:08:40] 875*2^1512944-1 is not prime. Res64: FCA29CA74AAFE32E Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:21] 611*2^1512946-1 is not prime. Res64: 82E179FA7CC7C6AA Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:24] 857*2^1512946-1 is not prime. Res64: A5DC4605FA9823B0 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:24] 657*2^1512945-1 is not prime. Res64: 1640A348B8D56265 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:28] 873*2^1512946-1 is not prime. Res64: 40D713D5792A1FDD Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:30] 933*2^1512946-1 is not prime. Res64: 7EBA09B5F275AB7A Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:31] 787*2^1512945-1 is not prime. Res64: 81FB5694ADEC95AA Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:34] 1001*2^1512946-1 is not prime. Res64: 20BDA577531ADBD8 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:36] 891*2^1512945-1 is not prime. Res64: 3449661577A75C28 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:44] 895*2^1512945-1 is not prime. Res64: A469766D04633F09 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:09:47] 955*2^1512945-1 is not prime. Res64: 69EEA556202964CC Time : 0.0 sec. user=juhehe [2018-06-10 20:27:53] 963*2^1512947-1 is not prime. Res64: C259BE16E1E811E5 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:29:08] 675*2^1512947-1 is not prime. Res64: B11BDB466D820D90 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:29:09] 781*2^1512947-1 is not prime. Res64: F25C69CB73FE25C4 Time : 0.0 sec. user=mdettweiler [2018-06-10 20:29:09] 879*2^1512947-1 is not prime. Res64: 85AD597AB84112EB Time : 0.0 sec. user=mdettweiler [2018-06-10 20:29:09] 883*2^1512947-1 is not prime. Res64: 7AA182B3DDBB8BFB Time : 0.0 sec. user=mdettweiler [2018-06-10 20:29:10] 885*2^1512947-1 is not prime. Res64: 2BE95BE93BBB3A52 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:33] 609*2^1512949-1 is not prime. Res64: F7E6C502059C0C5D Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:36] 615*2^1512949-1 is not prime. Res64: 1649AC977358AAFC Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:37] 685*2^1512949-1 is not prime. Res64: 427A1307C51F29D5 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:39] 741*2^1512949-1 is not prime. Res64: 7924F05227355F46 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:40] 759*2^1512949-1 is not prime. Res64: 163B85FDFC66A8FA Time : 0.0 sec. user=mdettweiler [2018-06-10 21:02:59] 831*2^1512949-1 is not prime. Res64: B01874EF4BA836C3 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:00] 931*2^1512949-1 is not prime. Res64: 388552EBE1D32335 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:01] 987*2^1512949-1 is not prime. Res64: 772292AE7D35C41F Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:03] 615*2^1512950-1 is not prime. Res64: 64F5998526E696AE Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:04] 773*2^1512950-1 is not prime. Res64: F0CA9ADF9573192F Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:05] 753*2^1512948-1 is not prime. Res64: 5F3A5F2E9C4BFA49 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:07] 795*2^1512948-1 is not prime. Res64: 8D87B8C9F5312D67 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:08] 933*2^1512948-1 is not prime. Res64: BE97B51215688C1C Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:09] 947*2^1512948-1 is not prime. Res64: 262EF0AB10BA4D6A Time : 0.0 sec. user=mdettweiler [2018-06-10 21:03:10] 789*2^1512949-1 is not prime. Res64: BF2F5C315F99C4C7 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:20:37] 851*2^1512950-1 is not prime. Res64: D159FC1F54064E83 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:20:38] 951*2^1512950-1 is not prime. Res64: 8EDB21E80F9CAE06 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:20:39] 739*2^1512951-1 is not prime. Res64: D95C9D3A144BB5E6 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:20:39] 741*2^1512951-1 is not prime. Res64: F7A288C004832C98 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:20:40] 975*2^1512951-1 is not prime. Res64: 8CFD5F381F3F9404 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:52:58] 797*2^1512952-1 is not prime. Res64: 6384846F01556E9E Time : 0.0 sec. user=mdettweiler [2018-06-10 21:52:58] 899*2^1512952-1 is not prime. Res64: C1D5FB9AC538BCFE Time : 0.0 sec. user=mdettweiler [2018-06-10 21:52:59] 637*2^1512953-1 is not prime. Res64: EB94D08F9583EF5A Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:00] 649*2^1512953-1 is not prime. Res64: 1BE7850B12A4843F Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:00] 675*2^1512953-1 is not prime. Res64: 10DBAF568BE40227 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:33] 979*2^1512951-1 is not prime. Res64: A66D33BC3AE043D5 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:33] 617*2^1512952-1 is not prime. Res64: E97E85C35D6BBB47 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:34] 653*2^1512952-1 is not prime. Res64: E288FEE14BF111A5 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:34] 719*2^1512952-1 is not prime. Res64: FEE653824906C52E Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:35] 785*2^1512952-1 is not prime. Res64: D6F867CB0D86B8B6 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:55] 697*2^1512953-1 is not prime. Res64: 5A75BFF8D612D085 Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:56] 847*2^1512953-1 is not prime. Res64: 800C9BB512DA459C Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:58] 889*2^1512953-1 is not prime. Res64: 0AD82B464508185C Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:59] 945*2^1512953-1 is not prime. Res64: AE059DBA547AACCE Time : 0.0 sec. user=mdettweiler [2018-06-10 21:53:59] 641*2^1512954-1 is not prime. Res64: 3C9EE206ED78F60D Time : 0.0 sec. user=mdettweiler [2018-06-10 22:12:19] 657*2^1512954-1 is not prime. Res64: 0AB1DCB48380730E Time : 0.0 sec. user=mdettweiler [2018-06-10 22:12:20] 683*2^1512954-1 is not prime. Res64: CCD2501145049DEE Time : 0.0 sec. user=mdettweiler [2018-06-10 22:12:20] 767*2^1512954-1 is not prime. Res64: C319974926353C24 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:12:21] 873*2^1512954-1 is not prime. Res64: BA17A83BE72D5E61 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:12:22] 905*2^1512954-1 is not prime. Res64: 485210DA806035FE Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:10] 915*2^1512954-1 is not prime. Res64: BB047A8121BA1FD6 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:11] 735*2^1512955-1 is not prime. Res64: B7C390193A980F3F Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:11] 983*2^1512954-1 is not prime. Res64: B6E288E677EFDD54 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:11] 741*2^1512955-1 is not prime. Res64: A16A1104E06AE806 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:12] 603*2^1512956-1 is not prime. Res64: 1CD037EA21FB61D1 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:12] 619*2^1512955-1 is not prime. Res64: B82907E2572DAA36 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:12] 609*2^1512956-1 is not prime. Res64: C2530AADE8919F95 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:12] 685*2^1512955-1 is not prime. Res64: A42878DEECDFB14C Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:13] 623*2^1512956-1 is not prime. Res64: E398D16C21E11523 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:13] 733*2^1512955-1 is not prime. Res64: 4BCBB3195D4CA472 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:16] 669*2^1512956-1 is not prime. Res64: A80E940464DBD7E5 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:17] 909*2^1512956-1 is not prime. Res64: 6F6AFE8F32C35C9E Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:18] 625*2^1512957-1 is not prime. Res64: 0CB0A7EFAA0F955C Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:18] 661*2^1512957-1 is not prime. Res64: 1B3C97E3006D7AE0 Time : 0.0 sec. user=mdettweiler [2018-06-10 22:44:19] 667*2^1512957-1 is not prime. Res64: 981B3DEF8C337021 Time : 0.0 sec. user=juhehe [2018-06-10 22:48:32] 717*2^1512957-1 is not prime. Res64: 22E0D5EE6A56CA5C Time : 0.0 sec. user=mdettweiler [2018-06-10 23:04:17] 765*2^1512957-1 is not prime. Res64: 5C941375B8829AA6 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:04:21] 895*2^1512957-1 is not prime. Res64: 359AA27F47A6BC4F Time : 0.0 sec. user=mdettweiler [2018-06-10 23:04:28] 991*2^1512957-1 is not prime. Res64: 636DBDEAA98A7187 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:04:30] 623*2^1512958-1 is not prime. Res64: E8FB44EBD21D5CC1 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:04:32] 723*2^1512958-1 is not prime. Res64: 04B7BEE0E1E88F97 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:11] 931*2^1512959-1 is not prime. Res64: 1B0B8F46E1409B99 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:12] 731*2^1512958-1 is not prime. Res64: 5086050346653BEC Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:13] 993*2^1512959-1 is not prime. Res64: 1A5559514DCB8575 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:13] 791*2^1512958-1 is not prime. Res64: FD77A293BC5FA771 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:13] 801*2^1512958-1 is not prime. Res64: 9F6858604137AC11 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:13] 999*2^1512959-1 is not prime. Res64: E6E712208939073B Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:14] 845*2^1512958-1 is not prime. Res64: B4F7CF130FA20ABC Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:14] 707*2^1512960-1 is not prime. Res64: 076F593EBFC1A2C7 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:15] 915*2^1512958-1 is not prime. Res64: A86C94DD7B04356E Time : 0.0 sec. user=mdettweiler [2018-06-10 23:36:15] 735*2^1512960-1 is not prime. Res64: 1C59B6080EF1329E Time : 0.0 sec. user=mdettweiler [2018-06-10 23:37:10] 951*2^1512958-1 is not prime. Res64: 68A652E8818F58B1 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:37:12] 621*2^1512959-1 is not prime. Res64: FA73C82C3BCB67AF Time : 0.0 sec. user=mdettweiler [2018-06-10 23:37:13] 799*2^1512959-1 is not prime. Res64: D82A4A5676A849D4 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:37:14] 865*2^1512959-1 is not prime. Res64: 59155CDCCC8BFEF6 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:37:14] 885*2^1512959-1 is not prime. Res64: EDE995C2CA6F5A1C Time : 0.0 sec. user=mdettweiler [2018-06-10 23:56:31] 857*2^1512960-1 is not prime. Res64: A10B258A34F54CD0 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:56:31] 899*2^1512960-1 is not prime. Res64: 7F39A20DB54931F3 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:56:32] 639*2^1512961-1 is not prime. Res64: EAB4C2DF4CC4E910 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:56:33] 651*2^1512961-1 is not prime. Res64: 5570B4156F77EBE3 Time : 0.0 sec. user=mdettweiler [2018-06-10 23:56:33] 801*2^1512961-1 is not prime. Res64: 6CEC2083CD741582 Time : 0.0 sec.