user=mdettweiler [2016-04-10 00:28:48] 751*2^1425823-1 is not prime. Res64: C877D514AC8703D1 Time : 0.0 sec. user=mdettweiler [2016-04-10 00:28:49] 811*2^1425823-1 is not prime. Res64: FCA526EE5865D712 Time : 0.0 sec. user=mdettweiler [2016-04-10 00:28:49] 819*2^1425823-1 is not prime. Res64: 9479F97C827B367C Time : 0.0 sec. user=mdettweiler [2016-04-10 00:28:49] 871*2^1425823-1 is not prime. Res64: 1550B0B38E70FBC4 Time : 0.0 sec. user=mdettweiler [2016-04-10 00:28:50] 901*2^1425823-1 is not prime. Res64: 761F89A92D40B43B Time : 0.0 sec. user=mdettweiler [2016-04-10 01:19:52] 915*2^1425823-1 is not prime. Res64: 2A68F9F6B7C74BA3 Time : 0.0 sec. user=mdettweiler [2016-04-10 01:19:52] 689*2^1425824-1 is not prime. Res64: 420240262795C62D Time : 0.0 sec. user=mdettweiler [2016-04-10 01:19:52] 915*2^1425824-1 is not prime. Res64: F6FBAB2DA9D78C47 Time : 0.0 sec. user=mdettweiler [2016-04-10 01:19:53] 917*2^1425824-1 is not prime. Res64: 0C546FCF931F98E8 Time : 0.0 sec. user=mdettweiler [2016-04-10 01:19:53] 923*2^1425824-1 is not prime. Res64: 24B2A72F33F62B5F Time : 0.0 sec. user=mdettweiler [2016-04-10 02:10:51] 969*2^1425824-1 is not prime. Res64: E0698D22D3183284 Time : 0.0 sec. user=mdettweiler [2016-04-10 02:10:51] 679*2^1425825-1 is not prime. Res64: 0644B031BD70007E Time : 0.0 sec. user=mdettweiler [2016-04-10 02:10:52] 735*2^1425825-1 is not prime. Res64: 4896E62DD90C6E85 Time : 0.0 sec. user=mdettweiler [2016-04-10 02:10:52] 789*2^1425825-1 is not prime. Res64: 5493D873A3B90B13 Time : 0.0 sec. user=mdettweiler [2016-04-10 02:10:52] 805*2^1425825-1 is not prime. Res64: 113C6331246384E9 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:02:29] 889*2^1425825-1 is not prime. Res64: 00F94257A708C58F Time : 0.0 sec. user=mdettweiler [2016-04-10 03:02:31] 603*2^1425826-1 is not prime. Res64: 3C11B395B92F27E6 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:02:31] 765*2^1425826-1 is not prime. Res64: DF4AB5EEB8736B2B Time : 0.0 sec. user=mdettweiler [2016-04-10 03:02:32] 777*2^1425826-1 is not prime. Res64: 190F32913D6C3D55 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:02:32] 873*2^1425826-1 is not prime. Res64: 33C0C7ED1C144A4C Time : 0.0 sec. user=mdettweiler [2016-04-10 03:53:21] 933*2^1425826-1 is not prime. Res64: 0DBAA9E0BE174DB0 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:53:21] 619*2^1425827-1 is not prime. Res64: 0B94954D71301719 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:53:22] 693*2^1425827-1 is not prime. Res64: 327FAAD075E4CC0D Time : 0.0 sec. user=mdettweiler [2016-04-10 03:53:22] 819*2^1425827-1 is not prime. Res64: 6F8CD2690BF96DF2 Time : 0.0 sec. user=mdettweiler [2016-04-10 03:53:22] 829*2^1425827-1 is not prime. Res64: 407AA3FF35A2AD0F Time : 0.0 sec. user=mdettweiler [2016-04-10 04:47:11] 843*2^1425827-1 is not prime. Res64: B9D0F4529EF40E40 Time : 0.0 sec. user=mdettweiler [2016-04-10 04:47:11] 707*2^1425828-1 is not prime. Res64: F98118ED70E12DD6 Time : 0.0 sec. user=mdettweiler [2016-04-10 04:47:11] 725*2^1425828-1 is not prime. Res64: 1645E24F0D77107D Time : 0.0 sec. user=mdettweiler [2016-04-10 04:47:12] 819*2^1425828-1 is not prime. Res64: 14FAC0579E440F3A Time : 0.0 sec. user=mdettweiler [2016-04-10 04:47:12] 879*2^1425828-1 is not prime. Res64: BA45DED5C4CF4CB2 Time : 0.0 sec. user=mdettweiler [2016-04-10 05:44:40] 929*2^1425828-1 is not prime. Res64: 043360A635D645F7 Time : 0.0 sec. user=mdettweiler [2016-04-10 05:44:41] 945*2^1425828-1 is not prime. Res64: 3160CDBB0719BBD2 Time : 0.0 sec. user=mdettweiler [2016-04-10 05:44:41] 615*2^1425829-1 is not prime. Res64: 90C17F8DA0D3B02E Time : 0.0 sec. user=mdettweiler [2016-04-10 05:44:41] 741*2^1425829-1 is not prime. Res64: B300BBC5DA1BE972 Time : 0.0 sec. user=mdettweiler [2016-04-10 05:44:41] 765*2^1425829-1 is not prime. Res64: EE65B8BEA64DBC7E Time : 0.0 sec. user=mdettweiler [2016-04-10 06:35:12] 831*2^1425829-1 is not prime. Res64: E3CC7394C0EB4F5A Time : 0.0 sec. user=mdettweiler [2016-04-10 06:35:12] 861*2^1425829-1 is not prime. Res64: 345B554D3F293A26 Time : 0.0 sec. user=mdettweiler [2016-04-10 06:35:12] 671*2^1425830-1 is not prime. Res64: C20F993AA5FD1DFA Time : 0.0 sec. user=mdettweiler [2016-04-10 06:35:13] 675*2^1425830-1 is not prime. Res64: D655CE07619B5A60 Time : 0.0 sec. user=mdettweiler [2016-04-10 06:35:13] 731*2^1425830-1 is not prime. Res64: C564EBB3171E8499 Time : 0.0 sec. user=mdettweiler [2016-04-10 07:26:08] 801*2^1425830-1 is not prime. Res64: 9C5BB9F522ED7645 Time : 0.0 sec. user=mdettweiler [2016-04-10 07:26:08] 813*2^1425830-1 is not prime. Res64: BEFD4295F06EF1C8 Time : 0.0 sec. user=mdettweiler [2016-04-10 07:26:08] 875*2^1425830-1 is not prime. Res64: CE905C816E245A82 Time : 0.0 sec. user=mdettweiler [2016-04-10 07:26:09] 911*2^1425830-1 is not prime. Res64: 0A327C1C943BFE12 Time : 0.0 sec. user=mdettweiler [2016-04-10 07:26:09] 923*2^1425830-1 is not prime. Res64: E7B0A34714841BE5 Time : 0.0 sec. user=mdettweiler [2016-04-10 08:17:30] 1001*2^1425830-1 is not prime. Res64: 2BD5AF72FDA186BC Time : 0.0 sec. user=mdettweiler [2016-04-10 08:17:30] 625*2^1425831-1 is not prime. Res64: 48D5BBF2CE558775 Time : 0.0 sec. user=mdettweiler [2016-04-10 08:17:31] 735*2^1425831-1 is not prime. Res64: 4579915FD657D93C Time : 0.0 sec. user=mdettweiler [2016-04-10 08:17:31] 745*2^1425831-1 is not prime. Res64: F96114E8E3A60FBD Time : 0.0 sec. user=mdettweiler [2016-04-10 08:17:31] 805*2^1425831-1 is not prime. Res64: A17EE9AA2D1AD2A3 Time : 0.0 sec. user=mdettweiler [2016-04-10 09:08:33] 819*2^1425831-1 is not prime. Res64: 2A59ED31D0D3F8C6 Time : 0.0 sec. user=mdettweiler [2016-04-10 09:08:33] 909*2^1425831-1 is not prime. Res64: B8BD4531EB39096E Time : 0.0 sec. user=mdettweiler [2016-04-10 09:08:34] 689*2^1425832-1 is not prime. Res64: 5090BE2FB47CDD4A Time : 0.0 sec. user=mdettweiler [2016-04-10 09:08:34] 827*2^1425832-1 is not prime. Res64: 3FF1715E9A48CCAE Time : 0.0 sec. user=mdettweiler [2016-04-10 09:08:34] 869*2^1425832-1 is not prime. Res64: 81855B399A335C7A Time : 0.0 sec. user=mdettweiler [2016-04-10 09:59:45] 899*2^1425832-1 is not prime. Res64: B6D7BB89300EF83D Time : 0.0 sec. user=mdettweiler [2016-04-10 09:59:45] 975*2^1425832-1 is not prime. Res64: 0C56813C65E197A5 Time : 0.0 sec. user=mdettweiler [2016-04-10 09:59:45] 983*2^1425832-1 is not prime. Res64: 502E7FA4D721D6BE Time : 0.0 sec. user=mdettweiler [2016-04-10 09:59:46] 657*2^1425833-1 is not prime. Res64: 4E86B847A0106AE4 Time : 0.0 sec. user=mdettweiler [2016-04-10 09:59:46] 691*2^1425833-1 is not prime. Res64: AF3FB9192A2E953B Time : 0.0 sec. user=mdettweiler [2016-04-10 10:50:42] 847*2^1425833-1 is not prime. Res64: 9506644781E01465 Time : 0.0 sec. user=mdettweiler [2016-04-10 10:50:42] 915*2^1425833-1 is not prime. Res64: 05081163A66C7600 Time : 0.0 sec. user=mdettweiler [2016-04-10 10:50:42] 939*2^1425833-1 is not prime. Res64: 1C6383E8913592BA Time : 0.0 sec. user=mdettweiler [2016-04-10 10:50:43] 981*2^1425833-1 is not prime. Res64: 603F695EE1D5E180 Time : 0.0 sec. user=mdettweiler [2016-04-10 10:50:43] 657*2^1425834-1 is not prime. Res64: 054DFA23AE6AAB60 Time : 0.0 sec. user=mdettweiler [2016-04-10 11:42:04] 663*2^1425834-1 is not prime. Res64: DDDA5F2812E9D730 Time : 0.0 sec. user=mdettweiler [2016-04-10 11:42:04] 707*2^1425834-1 is not prime. Res64: E34E765744D726EC Time : 0.0 sec. user=mdettweiler [2016-04-10 11:42:04] 803*2^1425834-1 is not prime. Res64: 192C2923B345CC17 Time : 0.0 sec. user=mdettweiler [2016-04-10 11:42:05] 807*2^1425834-1 is not prime. Res64: 97E97BA0F4C3F848 Time : 0.0 sec. user=mdettweiler [2016-04-10 11:42:05] 815*2^1425834-1 is not prime. Res64: 7C087C003A850412 Time : 0.0 sec. user=mdettweiler [2016-04-10 12:33:13] 917*2^1425834-1 is not prime. Res64: 1E6C02616AE5D1F3 Time : 0.0 sec. user=mdettweiler [2016-04-10 12:33:14] 673*2^1425835-1 is not prime. Res64: B76440B9B2386847 Time : 0.0 sec. user=mdettweiler [2016-04-10 12:33:14] 709*2^1425835-1 is not prime. Res64: 8F22E0DA68DE5155 Time : 0.0 sec. user=mdettweiler [2016-04-10 12:33:14] 723*2^1425835-1 is not prime. Res64: CE7D4B540AA2A19E Time : 0.0 sec. user=mdettweiler [2016-04-10 12:33:15] 735*2^1425835-1 is not prime. Res64: 46D0CDD7BD05CE5B Time : 0.0 sec. user=mdettweiler [2016-04-10 13:32:24] 793*2^1425835-1 is not prime. Res64: 519818D0C10ABABD Time : 0.0 sec. user=mdettweiler [2016-04-10 13:32:25] 819*2^1425835-1 is not prime. Res64: E9ED1A7EC2FA94CB Time : 0.0 sec. user=mdettweiler [2016-04-10 13:32:25] 829*2^1425835-1 is not prime. Res64: EAA0B968D28BD96F Time : 0.0 sec. user=mdettweiler [2016-04-10 13:32:25] 883*2^1425835-1 is not prime. Res64: AA4C5B205B6DB8A4 Time : 0.0 sec. user=mdettweiler [2016-04-10 13:32:26] 895*2^1425835-1 is not prime. Res64: 4A239237C38324AC Time : 0.0 sec. user=mdettweiler [2016-04-10 14:23:37] 951*2^1425835-1 is not prime. Res64: 50182F3339D8D075 Time : 0.0 sec. user=mdettweiler [2016-04-10 14:23:38] 973*2^1425835-1 is not prime. Res64: 6EAB954CD9C114B1 Time : 0.0 sec. user=mdettweiler [2016-04-10 14:23:38] 999*2^1425835-1 is not prime. Res64: D50F169A4E18EECD Time : 0.0 sec. user=mdettweiler [2016-04-10 14:23:38] 669*2^1425836-1 is not prime. Res64: CE4119AC88E21AEA Time : 0.0 sec. user=mdettweiler [2016-04-10 14:23:39] 743*2^1425836-1 is not prime. Res64: 2EC9C24907E90B67 Time : 0.0 sec. user=mdettweiler [2016-04-10 15:14:42] 873*2^1425836-1 is not prime. Res64: 368CCAB7C3205927 Time : 0.0 sec. user=mdettweiler [2016-04-10 15:14:42] 957*2^1425836-1 is not prime. Res64: 1EC9269D677BE3C4 Time : 0.0 sec. user=mdettweiler [2016-04-10 15:14:43] 691*2^1425837-1 is not prime. Res64: CE65DFBD06D59AF1 Time : 0.0 sec. user=mdettweiler [2016-04-10 15:14:43] 805*2^1425837-1 is not prime. Res64: F3413CB690FDC9E0 Time : 0.0 sec. user=mdettweiler [2016-04-10 15:14:43] 937*2^1425837-1 is not prime. Res64: D4AE85D191B90DA3 Time : 0.0 sec. user=mdettweiler [2016-04-10 16:06:27] 663*2^1425838-1 is not prime. Res64: 1F84786461955FAB Time : 0.0 sec. user=mdettweiler [2016-04-10 16:06:28] 695*2^1425838-1 is not prime. Res64: 9DCF4FE15CF21C02 Time : 0.0 sec. user=mdettweiler [2016-04-10 16:06:28] 755*2^1425838-1 is not prime. Res64: 6546D2EA2C36DB32 Time : 0.0 sec. user=mdettweiler [2016-04-10 16:06:28] 845*2^1425838-1 is not prime. Res64: 60117E4A33F983EE Time : 0.0 sec. user=mdettweiler [2016-04-10 16:06:28] 987*2^1425838-1 is not prime. Res64: 84EC49C440BBBE63 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:04:01] 661*2^1425839-1 is not prime. Res64: 0AF487ECF80C6E32 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:04:03] 825*2^1425839-1 is not prime. Res64: BACB1918BBD89F65 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:04:04] 909*2^1425839-1 is not prime. Res64: 9C457318E8EF4A78 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:04:05] 999*2^1425839-1 is not prime. Res64: 3CC3900DDBFC7E4F Time : 0.0 sec. user=mdettweiler [2016-04-10 17:04:06] 669*2^1425840-1 is not prime. Res64: E3384FFD22BE205A Time : 0.0 sec. user=mdettweiler [2016-04-10 17:14:19] 609*2^1425820-1 is not prime. Res64: 69C87C657263257F Time : 0.0 sec. user=mdettweiler [2016-04-10 17:14:20] 647*2^1425820-1 is not prime. Res64: A5B3B3E10A7EE13D Time : 0.0 sec. user=mdettweiler [2016-04-10 17:14:21] 735*2^1425820-1 is not prime. Res64: 4E2F9B715C0544CC Time : 0.0 sec. user=mdettweiler [2016-04-10 17:14:21] 759*2^1425820-1 is not prime. Res64: E7E27B241241C1D6 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:14:22] 797*2^1425820-1 is not prime. Res64: 868990C2D44FF1A3 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:19:24] 607*2^1425821-1 is not prime. Res64: FA02A58132E641DA Time : 0.0 sec. user=mdettweiler [2016-04-10 17:19:24] 631*2^1425821-1 is not prime. Res64: 3D470327FAF2B884 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:19:25] 691*2^1425821-1 is not prime. Res64: 5CB5788747632C09 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:19:25] 805*2^1425821-1 is not prime. Res64: 8E06FA6267391AF2 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:19:25] 945*2^1425821-1 is not prime. Res64: 3464700BE31D045E Time : 0.0 sec. user=mdettweiler [2016-04-10 17:21:02] 615*2^1425822-1 is not prime. Res64: 8EC72F0124607EFB Time : 0.0 sec. user=mdettweiler [2016-04-10 17:21:02] 681*2^1425822-1 is not prime. Res64: 964B4295A542FA6B Time : 0.0 sec. user=mdettweiler [2016-04-10 17:21:03] 713*2^1425822-1 is not prime. Res64: 89BC9C25ED47FCDD Time : 0.0 sec. user=mdettweiler [2016-04-10 17:21:03] 725*2^1425822-1 is not prime. Res64: 512971BDCEBF8A85 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:21:03] 797*2^1425822-1 is not prime. Res64: 3F5C1BE849D961E4 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:54:06] 725*2^1425840-1 is not prime. Res64: 6A1E81021E0FD37B Time : 0.0 sec. user=mdettweiler [2016-04-10 17:54:06] 737*2^1425840-1 is not prime. Res64: 552174D791C955FB Time : 0.0 sec. user=mdettweiler [2016-04-10 17:54:06] 753*2^1425840-1 is not prime. Res64: 52F7935C6BEE6A12 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:54:06] 765*2^1425840-1 is not prime. Res64: 7998C61AB67185E9 Time : 0.0 sec. user=mdettweiler [2016-04-10 17:54:07] 797*2^1425840-1 is not prime. Res64: 94B1E75EBBDC0918 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:02:25] 819*2^1425840-1 is not prime. Res64: 05573E91DF844236 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:02:26] 619*2^1425841-1 is not prime. Res64: 9A6F8B42B2708025 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:02:26] 649*2^1425841-1 is not prime. Res64: CAE4C8FE49B938D8 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:02:27] 741*2^1425841-1 is not prime. Res64: 0631CF45FD0F3521 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:02:27] 829*2^1425841-1 is not prime. Res64: DB452EA9D62774F7 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:08:21] 847*2^1425841-1 is not prime. Res64: A5AD94DF72A335B4 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:08:21] 855*2^1425841-1 is not prime. Res64: 83CDBCDF8A28D525 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:08:21] 925*2^1425841-1 is not prime. Res64: B2ED7FF0FC557B2D Time : 0.0 sec. user=mdettweiler [2016-04-10 18:08:21] 987*2^1425841-1 is not prime. Res64: 56A9BB23385B8D7E Time : 0.0 sec. user=mdettweiler [2016-04-10 18:08:22] 791*2^1425842-1 is not prime. Res64: 5B730E32EDFFDAA3 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:10:23] 833*2^1425842-1 is not prime. Res64: E751FA81595E293F Time : 0.0 sec. user=mdettweiler [2016-04-10 18:10:23] 981*2^1425842-1 is not prime. Res64: 5B21479BBAA52A08 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:10:23] 615*2^1425843-1 is not prime. Res64: 2FE728C4079AF789 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:10:24] 643*2^1425843-1 is not prime. Res64: DAE57A1994FBE240 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:10:25] 699*2^1425843-1 is not prime. Res64: D401D43675229D9C Time : 0.0 sec. user=mdettweiler [2016-04-10 18:47:19] 723*2^1425843-1 is not prime. Res64: F54CBEF41C7F4437 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:47:20] 751*2^1425843-1 is not prime. Res64: EC611DD38A93753C Time : 0.0 sec. user=mdettweiler [2016-04-10 18:47:20] 765*2^1425843-1 is not prime. Res64: B4ABE1491392AD5A Time : 0.0 sec. user=mdettweiler [2016-04-10 18:47:20] 769*2^1425843-1 is not prime. Res64: 39CF53D63E26FD58 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:47:20] 801*2^1425843-1 is not prime. Res64: F8D11CFA7B69CA02 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:54:26] 623*2^1425844-1 is not prime. Res64: A0639A19E2CD3BAA Time : 0.0 sec. user=mdettweiler [2016-04-10 18:54:27] 675*2^1425844-1 is not prime. Res64: 24FBC225EA250BC1 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:54:27] 717*2^1425844-1 is not prime. Res64: 74E0CFB7F977FD33 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:54:27] 743*2^1425844-1 is not prime. Res64: FEDE4B0C98C4D694 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:54:27] 773*2^1425844-1 is not prime. Res64: 551719C107F95C56 Time : 0.0 sec. user=mdettweiler [2016-04-10 18:59:35] 843*2^1425844-1 is not prime. Res64: 3C0C7B3DAB4C5FAC Time : 0.0 sec. user=mdettweiler [2016-04-10 18:59:35] 649*2^1425845-1 is not prime. Res64: 05BECE9D319E4BDC Time : 0.0 sec. user=mdettweiler [2016-04-10 18:59:36] 949*2^1425845-1 is not prime. Res64: 7B5F2BD36C46D87B Time : 0.0 sec. user=mdettweiler [2016-04-10 18:59:36] 815*2^1425846-1 is not prime. Res64: 5F907622164032DB Time : 0.0 sec. user=mdettweiler [2016-04-10 18:59:36] 851*2^1425846-1 is not prime. Res64: 42E5AA4CE53DA8D3 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:01:16] 917*2^1425846-1 is not prime. Res64: 59695DC1DA556A76 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:01:17] 971*2^1425846-1 is not prime. Res64: 57ABA8429916D427 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:01:19] 615*2^1425847-1 is not prime. Res64: 04172DA9430D4E46 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:01:19] 693*2^1425847-1 is not prime. Res64: 983F84EB3903153D Time : 0.0 sec. user=mdettweiler [2016-04-10 19:01:20] 703*2^1425847-1 is not prime. Res64: AAEC21C368DE95C3 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:34:23] 741*2^1425847-1 is not prime. Res64: F61B3E24F4117A03 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:34:23] 859*2^1425847-1 is not prime. Res64: 78C1D762FC70B619 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:34:23] 861*2^1425847-1 is not prime. Res64: A3489C78DA0D9A93 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:34:24] 871*2^1425847-1 is not prime. Res64: 53425ED4F9958B68 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:34:24] 909*2^1425847-1 is not prime. Res64: 01E274D4D77E247A Time : 0.0 sec. user=mdettweiler [2016-04-10 19:41:10] 975*2^1425847-1 is not prime. Res64: 3B49BA4DA40E50A4 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:41:10] 985*2^1425847-1 is not prime. Res64: 6ABBC3DB8E37A06C Time : 0.0 sec. user=mdettweiler [2016-04-10 19:41:10] 993*2^1425847-1 is not prime. Res64: 0F7858129BD39D38 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:41:11] 617*2^1425848-1 is not prime. Res64: 796E11BC007074AD Time : 0.0 sec. user=mdettweiler [2016-04-10 19:41:11] 797*2^1425848-1 is not prime. Res64: 830F658714B686B3 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:46:27] 875*2^1425848-1 is not prime. Res64: A91930A167B299AE Time : 0.0 sec. user=mdettweiler [2016-04-10 19:46:28] 915*2^1425848-1 is not prime. Res64: 284E0EFB3DF9D5FA Time : 0.0 sec. user=mdettweiler [2016-04-10 19:46:28] 935*2^1425848-1 is not prime. Res64: 5CEF83053906B3B5 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:46:28] 999*2^1425848-1 is not prime. Res64: 117B54E1B58F605B Time : 0.0 sec. user=mdettweiler [2016-04-10 19:46:28] 601*2^1425849-1 is not prime. Res64: C62526A22A8A835B Time : 0.0 sec. user=mdettweiler [2016-04-10 19:47:23] 649*2^1425849-1 is not prime. Res64: BDA7127BD2F39402 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:47:23] 681*2^1425849-1 is not prime. Res64: 9FC844F6CBE51134 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:47:23] 745*2^1425849-1 is not prime. Res64: 3D2FA08D5697D906 Time : 0.0 sec. user=mdettweiler [2016-04-10 19:47:24] 747*2^1425849-1 is not prime. Res64: B05A5FCBE1C834FA Time : 0.0 sec. user=mdettweiler [2016-04-10 19:47:24] 837*2^1425849-1 is not prime. Res64: BA38BF21C1F19387 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:19:29] 877*2^1425849-1 is not prime. Res64: F904BF36590575EA Time : 0.0 sec. user=mdettweiler [2016-04-10 20:19:29] 999*2^1425849-1 is not prime. Res64: B184696B1D4B7F33 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:19:30] 611*2^1425850-1 is not prime. Res64: E2439FC92BC2ED00 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:19:30] 623*2^1425850-1 is not prime. Res64: B4AFC1EB5F65B9AD Time : 0.0 sec. user=mdettweiler [2016-04-10 20:19:30] 653*2^1425850-1 is not prime. Res64: 049C2D471CCEF98C Time : 0.0 sec. user=mdettweiler [2016-04-10 20:26:28] 657*2^1425850-1 is not prime. Res64: B765415D9B83639D Time : 0.0 sec. user=mdettweiler [2016-04-10 20:26:29] 663*2^1425850-1 is not prime. Res64: 4184B2732D620182 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:26:29] 723*2^1425850-1 is not prime. Res64: 719FD59A0BCB3DAC Time : 0.0 sec. user=mdettweiler [2016-04-10 20:26:29] 735*2^1425850-1 is not prime. Res64: 34272C0A3D2C6E12 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:26:30] 703*2^1425851-1 is not prime. Res64: 7205524136F97C7C Time : 0.0 sec. user=mdettweiler [2016-04-10 20:31:49] 711*2^1425851-1 is not prime. Res64: FB427E584235B4B3 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:31:49] 841*2^1425851-1 is not prime. Res64: C68045921DC1D9EB Time : 0.0 sec. user=mdettweiler [2016-04-10 20:31:49] 843*2^1425851-1 is not prime. Res64: 5DE94FA858F26AD4 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:31:50] 909*2^1425851-1 is not prime. Res64: FF4CB3EC1FDA1D67 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:31:50] 913*2^1425851-1 is not prime. Res64: 32CBD3DA07497984 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:32:28] 969*2^1425851-1 is not prime. Res64: 3C701897F4A163BC Time : 0.0 sec. user=mdettweiler [2016-04-10 20:32:29] 981*2^1425851-1 is not prime. Res64: A5F97D9A31BE74C4 Time : 0.0 sec. user=mdettweiler [2016-04-10 20:32:29] 665*2^1425852-1 is not prime. Res64: A3F7031857D31A1D Time : 0.0 sec. user=mdettweiler [2016-04-10 20:32:30] 749*2^1425852-1 is not prime. Res64: A4C7AB10F7F2FB5F Time : 0.0 sec. user=mdettweiler [2016-04-10 20:32:30] 759*2^1425852-1 is not prime. Res64: A72FD08110CE827D Time : 0.0 sec. user=mdettweiler [2016-04-10 21:04:31] 765*2^1425852-1 is not prime. Res64: 777A2FCE8AAD4561 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:04:35] 975*2^1425852-1 is not prime. Res64: 1A0C21F0EC63EB5F Time : 0.0 sec. user=mdettweiler [2016-04-10 21:04:36] 609*2^1425853-1 is not prime. Res64: 8EBA8497914842EE Time : 0.0 sec. user=mdettweiler [2016-04-10 21:04:36] 687*2^1425853-1 is not prime. Res64: 6E218D2CC20A22C6 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:04:37] 715*2^1425853-1 is not prime. Res64: 4BA5F03453EB320E Time : 0.0 sec. user=mdettweiler [2016-04-10 21:11:54] 727*2^1425853-1 is not prime. Res64: 1EB84163914454C6 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:11:55] 729*2^1425853-1 is not prime. Res64: 7FF8168CB9190DB5 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:11:55] 745*2^1425853-1 is not prime. Res64: A9FDC01E53A19784 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:11:56] 831*2^1425853-1 is not prime. Res64: B484441CF12A800A Time : 0.0 sec. user=mdettweiler [2016-04-10 21:11:57] 847*2^1425853-1 is not prime. Res64: 17E183F70761A725 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:19] 915*2^1425853-1 is not prime. Res64: F52E3ECA0287EBA1 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:20] 937*2^1425853-1 is not prime. Res64: 0F154237AA850ED1 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:21] 961*2^1425853-1 is not prime. Res64: F4D2D92346F382C8 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:22] 987*2^1425853-1 is not prime. Res64: 552C7CB9B9BF1903 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:22] 999*2^1425853-1 is not prime. Res64: 90D3037B7BC8652E Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:53] 615*2^1425854-1 is not prime. Res64: 7C1367F809A871DF Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:53] 623*2^1425854-1 is not prime. Res64: CFFFF1CD919E7BB2 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:54] 677*2^1425854-1 is not prime. Res64: D59BB49BC7B33D92 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:54] 693*2^1425854-1 is not prime. Res64: 294B617C94ADACFE Time : 0.0 sec. user=mdettweiler [2016-04-10 21:17:54] 945*2^1425854-1 is not prime. Res64: 935110396AB01C4D Time : 0.0 sec. user=mdettweiler [2016-04-10 21:49:55] 981*2^1425854-1 is not prime. Res64: AE27CBED78D47E2B Time : 0.0 sec. user=mdettweiler [2016-04-10 21:49:56] 619*2^1425855-1 is not prime. Res64: 721AF938E05C201A Time : 0.0 sec. user=mdettweiler [2016-04-10 21:49:56] 679*2^1425855-1 is not prime. Res64: A6F4AAA6DDA7077E Time : 0.0 sec. user=mdettweiler [2016-04-10 21:49:56] 781*2^1425855-1 is not prime. Res64: 1CFC105762325A7D Time : 0.0 sec. user=mdettweiler [2016-04-10 21:49:56] 831*2^1425855-1 is not prime. Res64: B0BF5DF4FAC191A1 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:57:13] 895*2^1425855-1 is not prime. Res64: 07855D5272A9D164 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:57:13] 919*2^1425855-1 is not prime. Res64: 884DC96819B16F6F Time : 0.0 sec. user=mdettweiler [2016-04-10 21:57:14] 961*2^1425855-1 is not prime. Res64: E0A8B983F1FB7C6F Time : 0.0 sec. user=mdettweiler [2016-04-10 21:57:14] 985*2^1425855-1 is not prime. Res64: 611DFD0DB50D0BE7 Time : 0.0 sec. user=mdettweiler [2016-04-10 21:57:14] 629*2^1425856-1 is not prime. Res64: ADC4B686A02245FF Time : 0.0 sec. user=mdettweiler [2016-04-10 22:02:40] 645*2^1425856-1 is not prime. Res64: 49CA4E020F0A598A Time : 0.0 sec. user=mdettweiler [2016-04-10 22:02:41] 699*2^1425856-1 is not prime. Res64: 81917801AC1F21AF Time : 0.0 sec. user=mdettweiler [2016-04-10 22:02:41] 765*2^1425856-1 is not prime. Res64: B4E6B1B1598874B6 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:02:42] 773*2^1425856-1 is not prime. Res64: 3E856C6B4253D89D Time : 0.0 sec. user=mdettweiler [2016-04-10 22:02:42] 807*2^1425856-1 is not prime. Res64: 5D42D0A66829FD35 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:03:14] 845*2^1425856-1 is not prime. Res64: FF43D581C20D38D4 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:03:15] 917*2^1425856-1 is not prime. Res64: D7C39CDB08C491BA Time : 0.0 sec. user=mdettweiler [2016-04-10 22:03:16] 989*2^1425856-1 is not prime. Res64: 53AB5855BE88F452 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:03:17] 685*2^1425857-1 is not prime. Res64: 9E3DD46A0DE706AC Time : 0.0 sec. user=mdettweiler [2016-04-10 22:03:17] 697*2^1425857-1 is not prime. Res64: FBA98689D6ED48A9 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:34:59] 711*2^1425857-1 is not prime. Res64: 8F904CF62EBFAAA7 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:34:59] 871*2^1425857-1 is not prime. Res64: EEFF0FB844C8A1BA Time : 0.0 sec. user=mdettweiler [2016-04-10 22:34:59] 885*2^1425857-1 is not prime. Res64: DCFCF1FECA15EAEE Time : 0.0 sec. user=mdettweiler [2016-04-10 22:35:00] 711*2^1425858-1 is not prime. Res64: 2922CD2C813EED36 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:35:00] 755*2^1425858-1 is not prime. Res64: 97521441F95841FD Time : 0.0 sec. user=mdettweiler [2016-04-10 22:42:18] 803*2^1425858-1 is not prime. Res64: 2266C2934880483D Time : 0.0 sec. user=mdettweiler [2016-04-10 22:42:18] 881*2^1425858-1 is not prime. Res64: C6CF8816068A5B78 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:42:19] 609*2^1425859-1 is not prime. Res64: 3F342A7091759C40 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:42:19] 615*2^1425859-1 is not prime. Res64: E3AD79E3B022C7AD Time : 0.0 sec. user=mdettweiler [2016-04-10 22:42:19] 633*2^1425859-1 is not prime. Res64: B9ACC80316CC6D32 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:47:45] 639*2^1425859-1 is not prime. Res64: D371AE54A93B5597 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:47:46] 645*2^1425859-1 is not prime. Res64: 7AA86A5D0CFEBE24 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:47:46] 663*2^1425859-1 is not prime. Res64: A2477A7B2A58A3F3 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:47:46] 789*2^1425859-1 is not prime. Res64: 44E52883544DC64F Time : 0.0 sec. user=mdettweiler [2016-04-10 22:47:47] 629*2^1425860-1 is not prime. Res64: 5E62C4A1758BD82F Time : 0.0 sec. user=mdettweiler [2016-04-10 22:48:20] 633*2^1425860-1 is not prime. Res64: 926410F6103E4971 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:48:20] 825*2^1425860-1 is not prime. Res64: 609C6FDB3FCC2222 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:48:21] 893*2^1425860-1 is not prime. Res64: 2FE6A182B9645BD5 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:48:21] 963*2^1425860-1 is not prime. Res64: 3EDE9F7166839CA1 Time : 0.0 sec. user=mdettweiler [2016-04-10 22:48:21] 977*2^1425860-1 is not prime. Res64: DF848718A563E230 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:20:04] 609*2^1425861-1 is not prime. Res64: 43FE3BAEA6F5124C Time : 0.0 sec. user=mdettweiler [2016-04-10 23:20:05] 649*2^1425861-1 is not prime. Res64: 6443579674F2AFD8 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:20:05] 819*2^1425861-1 is not prime. Res64: 5CF60DAFBECCD7F8 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:20:05] 937*2^1425861-1 is not prime. Res64: 1B18D772C559B223 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:20:06] 961*2^1425861-1 is not prime. Res64: DD65422B02503803 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:27:26] 979*2^1425861-1 is not prime. Res64: F888CE06E71A16FF Time : 0.0 sec. user=mdettweiler [2016-04-10 23:27:26] 765*2^1425862-1 is not prime. Res64: 8070EAC5093E6013 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:27:26] 833*2^1425862-1 is not prime. Res64: ACC1B6FEC7B5B68A Time : 0.0 sec. user=mdettweiler [2016-04-10 23:27:26] 873*2^1425862-1 is not prime. Res64: 02CBD20CD77AE15D Time : 0.0 sec. user=mdettweiler [2016-04-10 23:27:27] 609*2^1425863-1 is not prime. Res64: E9F0ACF74BD18373 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:32:47] 721*2^1425863-1 is not prime. Res64: B28B0D1FD5414923 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:32:48] 753*2^1425863-1 is not prime. Res64: 2B24CF54E6D1718E Time : 0.0 sec. user=mdettweiler [2016-04-10 23:32:48] 825*2^1425863-1 is not prime. Res64: 71F08399C0A21777 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:32:49] 859*2^1425863-1 is not prime. Res64: 2AD73568002729C3 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:32:49] 861*2^1425863-1 is not prime. Res64: 21F2C24770AAEB6D Time : 0.0 sec. user=mdettweiler [2016-04-10 23:33:25] 913*2^1425863-1 is not prime. Res64: 89F7C0CD476803F6 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:33:25] 973*2^1425863-1 is not prime. Res64: 6D5AC510301BA67F Time : 0.0 sec. user=mdettweiler [2016-04-10 23:33:26] 837*2^1425864-1 is not prime. Res64: 1017A65010E5A5D5 Time : 0.0 sec. user=mdettweiler [2016-04-10 23:33:26] 983*2^1425864-1 is not prime. Res64: B0CC4A4DAD10A97D Time : 0.0 sec. user=mdettweiler [2016-04-10 23:33:27] 649*2^1425865-1 is not prime. Res64: 35536DF7A721730F Time : 0.0 sec.