user=mdettweiler [2016-10-31 00:01:44] 813*2^1444463-1 is not prime. Res64: 33587DCCBF4C0AA2 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:01:44] 825*2^1444463-1 is not prime. Res64: C656A63C1CBCC492 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:01:44] 879*2^1444463-1 is not prime. Res64: 30CD843D793FA133 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:01:45] 999*2^1444463-1 is not prime. Res64: C0CFFF36A0768F1C Time : 0.0 sec. user=mdettweiler [2016-10-31 00:01:45] 705*2^1444464-1 is not prime. Res64: 08E6C1D463A650FE Time : 0.0 sec. user=mdettweiler [2016-10-31 00:07:22] 719*2^1444464-1 is not prime. Res64: 6801A64E2348E91F Time : 0.0 sec. user=mdettweiler [2016-10-31 00:07:25] 753*2^1444464-1 is not prime. Res64: DEE155B8D247756F Time : 0.0 sec. user=mdettweiler [2016-10-31 00:07:28] 915*2^1444464-1 is not prime. Res64: F62D93400AF55085 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:07:30] 923*2^1444464-1 is not prime. Res64: 8A5E584F3A877BDE Time : 0.0 sec. user=mdettweiler [2016-10-31 00:07:33] 993*2^1444464-1 is not prime. Res64: F341BDAE4CEF4B1F Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:36] 619*2^1444465-1 is not prime. Res64: 439C09B28B864183 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:37] 661*2^1444465-1 is not prime. Res64: D9D8C0B40000CDB4 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:37] 741*2^1444465-1 is not prime. Res64: 5608A46561DB6F02 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:37] 819*2^1444465-1 is not prime. Res64: CFC86D21DD5F7017 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:37] 831*2^1444465-1 is not prime. Res64: 239CD1C034EEFAB9 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:59] 641*2^1444466-1 is not prime. Res64: 19E6A01CC7507607 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:28:59] 705*2^1444466-1 is not prime. Res64: 8E4B165502DECCBB Time : 0.0 sec. user=mdettweiler [2016-10-31 00:29:00] 815*2^1444466-1 is not prime. Res64: 906D219C076454DB Time : 0.0 sec. user=mdettweiler [2016-10-31 00:29:00] 827*2^1444466-1 is not prime. Res64: A1DEB31778B8A4E3 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:29:00] 837*2^1444466-1 is not prime. Res64: 532F63279543354B Time : 0.0 sec. user=mdettweiler [2016-10-31 00:46:23] 843*2^1444466-1 is not prime. Res64: C40A257F03325403 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:46:24] 867*2^1444466-1 is not prime. Res64: 83A11E3B27EBE07C Time : 0.0 sec. user=mdettweiler [2016-10-31 00:46:24] 923*2^1444466-1 is not prime. Res64: 6A6A385BD10957DC Time : 0.0 sec. user=mdettweiler [2016-10-31 00:46:24] 945*2^1444466-1 is not prime. Res64: 7F329FF4C0F22297 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:46:25] 619*2^1444467-1 is not prime. Res64: 31E2A79C07FF113F Time : 0.0 sec. user=mdettweiler [2016-10-31 00:53:16] 621*2^1444467-1 is not prime. Res64: 55362ABC1AFFBF14 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:53:16] 699*2^1444468-1 is not prime. Res64: 65C62D6DA7D4EF35 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:53:16] 909*2^1444468-1 is not prime. Res64: 582B7C30DEC35E1B Time : 0.0 sec. user=mdettweiler [2016-10-31 00:53:16] 655*2^1444469-1 is not prime. Res64: 68189F88A1B6B5C7 Time : 0.0 sec. user=mdettweiler [2016-10-31 00:53:17] 685*2^1444469-1 is not prime. Res64: 787763D1C6C1EFE9 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:28] 721*2^1444469-1 is not prime. Res64: CC35FFF7E62CD12D Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:28] 781*2^1444469-1 is not prime. Res64: FE1F01E85BC498F4 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:28] 653*2^1444470-1 is not prime. Res64: FCB73586677E6251 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:28] 755*2^1444470-1 is not prime. Res64: 625C40051FFC36C7 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:29] 851*2^1444470-1 is not prime. Res64: A7902B66FBBE1098 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:45] 649*2^1444471-1 is not prime. Res64: 7E547E33B5A469B3 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:45] 651*2^1444471-1 is not prime. Res64: 9DCCC42AD956FE3E Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:45] 723*2^1444471-1 is not prime. Res64: E77151351137B834 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:45] 849*2^1444471-1 is not prime. Res64: E4C662E1259DE1EB Time : 0.0 sec. user=mdettweiler [2016-10-31 01:13:46] 873*2^1444471-1 is not prime. Res64: 821855A340672FB4 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:31:33] 891*2^1444471-1 is not prime. Res64: 41CF1A911F1E5D4C Time : 0.0 sec. user=mdettweiler [2016-10-31 01:31:34] 909*2^1444471-1 is not prime. Res64: DE4C1CE84BAD7157 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:31:35] 933*2^1444471-1 is not prime. Res64: 9742C8F04A4EBE4E Time : 0.0 sec. user=mdettweiler [2016-10-31 01:31:37] 633*2^1444472-1 is not prime. Res64: 0F097DA1121F695F Time : 0.0 sec. user=mdettweiler [2016-10-31 01:31:39] 669*2^1444472-1 is not prime. Res64: 796DC38DB58327F9 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:38:26] 743*2^1444472-1 is not prime. Res64: BC6DE3D524D153F7 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:38:27] 797*2^1444472-1 is not prime. Res64: 95A402EB9ABD5023 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:38:27] 923*2^1444472-1 is not prime. Res64: 920EBE6493BBEBB4 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:38:27] 627*2^1444473-1 is not prime. Res64: 26A0AD93B3230194 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:38:27] 765*2^1444473-1 is not prime. Res64: 84369A45C751360D Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:17] 781*2^1444473-1 is not prime. Res64: 02C706FF272AFA99 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:17] 805*2^1444473-1 is not prime. Res64: B59F742B048F741A Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:17] 895*2^1444473-1 is not prime. Res64: 15A7177186FF489E Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:18] 611*2^1444474-1 is not prime. Res64: 60919F3155298F6B Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:18] 681*2^1444474-1 is not prime. Res64: 55726305C36033F4 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:39] 701*2^1444474-1 is not prime. Res64: 8581892B211E2BA0 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:39] 755*2^1444474-1 is not prime. Res64: 149CE0A770EC29F5 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:39] 887*2^1444474-1 is not prime. Res64: 5AF75FED9C19F64A Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:39] 903*2^1444474-1 is not prime. Res64: D5B191448F97CE32 Time : 0.0 sec. user=mdettweiler [2016-10-31 01:58:40] 975*2^1444474-1 is not prime. Res64: 458792C3B6A7BDAF Time : 0.0 sec. user=mdettweiler [2016-10-31 02:16:48] 759*2^1444475-1 is not prime. Res64: D142DDDF7F417002 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:16:48] 823*2^1444475-1 is not prime. Res64: B2FA7B923C4D29B4 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:16:48] 843*2^1444475-1 is not prime. Res64: E33F744341BF0635 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:16:49] 633*2^1444476-1 is not prime. Res64: CCE50E2CA4D851EE Time : 0.0 sec. user=mdettweiler [2016-10-31 02:16:49] 845*2^1444476-1 is not prime. Res64: 5CEA7DFADDAF8938 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:23:11] 857*2^1444476-1 is not prime. Res64: 333EFD046D3E2307 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:23:11] 873*2^1444476-1 is not prime. Res64: A8BD9CE8ED573641 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:23:12] 903*2^1444476-1 is not prime. Res64: F76C84FCBA3630B1 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:23:12] 945*2^1444476-1 is not prime. Res64: 76AECBA97DDDA351 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:23:12] 687*2^1444477-1 is not prime. Res64: 183F536DE719C04C Time : 0.0 sec. user=mdettweiler [2016-10-31 02:43:38] 691*2^1444477-1 is not prime. Res64: 35B5D1BB9E16C5C1 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:43:38] 715*2^1444477-1 is not prime. Res64: E5CC751663B391E6 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:43:39] 729*2^1444477-1 is not prime. Res64: C8CFC9550024A480 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:43:39] 915*2^1444477-1 is not prime. Res64: 23058D6D0C299AB1 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:43:39] 665*2^1444478-1 is not prime. Res64: 7F3E81DCD72AF266 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:44:15] 711*2^1444478-1 is not prime. Res64: A15315FA282F6E4E Time : 0.0 sec. user=mdettweiler [2016-10-31 02:44:16] 771*2^1444478-1 is not prime. Res64: FFFBC4D0B22859D2 Time : 0.0 sec. user=mdettweiler [2016-10-31 02:44:16] 1001*2^1444478-1 is not prime. Res64: 8349F183A798A84D Time : 0.0 sec. user=mdettweiler [2016-10-31 02:44:16] 609*2^1444479-1 is not prime. Res64: 57F0091686AA4D8B Time : 0.0 sec. user=mdettweiler [2016-10-31 02:44:16] 685*2^1444479-1 is not prime. Res64: 569D1AFE973D90DF Time : 0.0 sec. user=mdettweiler [2016-10-31 03:02:50] 741*2^1444479-1 is not prime. Res64: 38808DFB0A26FE67 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:02:50] 859*2^1444479-1 is not prime. Res64: E6A3E1D090407447 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:02:51] 985*2^1444479-1 is not prime. Res64: 33DDE75F3C13D6DA Time : 0.0 sec. user=mdettweiler [2016-10-31 03:02:52] 717*2^1444480-1 is not prime. Res64: 4F6553BA7F3553DD Time : 0.0 sec. user=mdettweiler [2016-10-31 03:02:52] 719*2^1444480-1 is not prime. Res64: 8A21C8093F9CFDDC Time : 0.0 sec. user=mdettweiler [2016-10-31 03:09:09] 723*2^1444480-1 is not prime. Res64: D00B77A804F62EFC Time : 0.0 sec. user=mdettweiler [2016-10-31 03:09:10] 747*2^1444480-1 is not prime. Res64: 9A317985630C80F5 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:09:11] 803*2^1444480-1 is not prime. Res64: 0A2C6F0D7CCFF028 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:09:11] 839*2^1444480-1 is not prime. Res64: 091D25197FA2951F Time : 0.0 sec. user=mdettweiler [2016-10-31 03:09:12] 917*2^1444480-1 is not prime. Res64: E47D5C638D2B5AD2 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:28:44] 927*2^1444480-1 is not prime. Res64: 369E4BCED55C3CE3 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:28:48] 989*2^1444480-1 is not prime. Res64: CD3772DB352C323D Time : 0.0 sec. user=mdettweiler [2016-10-31 03:28:50] 747*2^1444481-1 is not prime. Res64: A387528478C69FC0 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:28:51] 879*2^1444481-1 is not prime. Res64: 0B931347F945C8B2 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:28:53] 901*2^1444481-1 is not prime. Res64: C0F5CF594104E628 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:31:34] 909*2^1444481-1 is not prime. Res64: DF63A6FBC3F99A29 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:48:13] 603*2^1444483-1 is not prime. Res64: 21874388C6DD0C08 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:48:14] 735*2^1444483-1 is not prime. Res64: D94B5FEAA418B224 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:48:15] 741*2^1444483-1 is not prime. Res64: 63D3A75753D56FF0 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:48:15] 811*2^1444483-1 is not prime. Res64: CB8223199C151F9A Time : 0.0 sec. user=mdettweiler [2016-10-31 03:48:16] 861*2^1444483-1 is not prime. Res64: 21573D4190BF330C Time : 0.0 sec. user=mdettweiler [2016-10-31 03:55:00] 901*2^1444483-1 is not prime. Res64: B2B64FBD14A2BE38 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:55:01] 609*2^1444484-1 is not prime. Res64: 6F4B4B6C32822C91 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:55:02] 855*2^1444484-1 is not prime. Res64: 4FD2B428E18B5B89 Time : 0.0 sec. user=mdettweiler [2016-10-31 03:55:02] 873*2^1444484-1 is not prime. Res64: C38EE9775784D2AB Time : 0.0 sec. user=mdettweiler [2016-10-31 03:55:02] 875*2^1444484-1 is not prime. Res64: FB1FEC4A4F5D6D2F Time : 0.0 sec. user=mdettweiler [2016-10-31 04:15:09] 983*2^1444484-1 is not prime. Res64: A02DE10F51A648B1 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:15:09] 667*2^1444485-1 is not prime. Res64: 40F243D6A4528382 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:15:10] 685*2^1444485-1 is not prime. Res64: D9D7798F88E796A0 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:15:10] 691*2^1444485-1 is not prime. Res64: 245C5E54CB266734 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:15:10] 765*2^1444485-1 is not prime. Res64: 7A9F512E6CAA7EEB Time : 0.0 sec. user=mdettweiler [2016-10-31 04:34:09] 961*2^1444485-1 is not prime. Res64: F99A30CB3B747DA3 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:34:09] 975*2^1444485-1 is not prime. Res64: DDEB568487959615 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:34:09] 801*2^1444486-1 is not prime. Res64: B4E70DEAB4701604 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:34:10] 813*2^1444486-1 is not prime. Res64: 71A63BEA0EF2F84E Time : 0.0 sec. user=mdettweiler [2016-10-31 04:34:10] 897*2^1444486-1 is not prime. Res64: 4BA59BE3F4A691B1 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:40:38] 911*2^1444486-1 is not prime. Res64: 7530BEEC40B202C7 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:40:38] 917*2^1444486-1 is not prime. Res64: 5B44A3F573379179 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:40:38] 923*2^1444486-1 is not prime. Res64: 49188B1F384F7038 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:40:38] 965*2^1444486-1 is not prime. Res64: 3ED7347BB4845F81 Time : 0.0 sec. user=mdettweiler [2016-10-31 04:40:39] 675*2^1444487-1 is not prime. Res64: BE839EE1656E281C Time : 0.0 sec. user=mdettweiler [2016-10-31 05:01:02] 715*2^1444487-1 is not prime. Res64: 863D4DEF6C5067D6 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:01:03] 825*2^1444487-1 is not prime. Res64: 2DF24B6D2CF55C82 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:01:04] 963*2^1444487-1 is not prime. Res64: EEF0C422FB107C51 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:01:05] 979*2^1444487-1 is not prime. Res64: B4E28E4D35C5B52E Time : 0.0 sec. user=mdettweiler [2016-10-31 05:01:05] 993*2^1444487-1 is not prime. Res64: E7A2F38EB67B233B Time : 0.0 sec. user=mdettweiler [2016-10-31 05:19:46] 615*2^1444488-1 is not prime. Res64: AD2FCDD72F27F325 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:19:46] 669*2^1444488-1 is not prime. Res64: F65ABDEDE1A1401B Time : 0.0 sec. user=mdettweiler [2016-10-31 05:19:46] 759*2^1444488-1 is not prime. Res64: DE0FD8107A654BA4 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:19:46] 773*2^1444488-1 is not prime. Res64: 9DB58202DAC91BE4 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:19:47] 797*2^1444488-1 is not prime. Res64: 37FEAF1C366AB74D Time : 0.0 sec. user=mdettweiler [2016-10-31 05:26:32] 879*2^1444488-1 is not prime. Res64: AF465B39F8E92EDE Time : 0.0 sec. user=mdettweiler [2016-10-31 05:26:33] 927*2^1444488-1 is not prime. Res64: 9DEBD6B14B5FFABD Time : 0.0 sec. user=mdettweiler [2016-10-31 05:26:33] 615*2^1444489-1 is not prime. Res64: 97507B7C02231C50 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:26:33] 721*2^1444489-1 is not prime. Res64: DFBB55B2CF324D9E Time : 0.0 sec. user=mdettweiler [2016-10-31 05:26:33] 789*2^1444489-1 is not prime. Res64: 5B2D5ADA9212E968 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:47:08] 801*2^1444489-1 is not prime. Res64: 3DD996BB704D9508 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:47:08] 819*2^1444489-1 is not prime. Res64: 089D5D9E61991527 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:47:08] 987*2^1444489-1 is not prime. Res64: 4F0882974978A1A7 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:47:08] 605*2^1444490-1 is not prime. Res64: F27CE310D44CF5B5 Time : 0.0 sec. user=mdettweiler [2016-10-31 05:47:09] 675*2^1444490-1 is not prime. Res64: 39B87388C5E7EA35 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:05:27] 677*2^1444490-1 is not prime. Res64: 367DD01A78749BD1 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:05:29] 713*2^1444490-1 is not prime. Res64: E1AE5A92DD768AF9 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:05:29] 731*2^1444490-1 is not prime. Res64: 1B239CEA072BE833 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:05:30] 857*2^1444490-1 is not prime. Res64: AEBFCD6845BC3DD2 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:05:30] 887*2^1444490-1 is not prime. Res64: 2E304D6031C8E2F3 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:12:37] 917*2^1444490-1 is not prime. Res64: 718FC58328B86743 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:12:37] 927*2^1444490-1 is not prime. Res64: 11AEBC044C48ED26 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:12:37] 953*2^1444490-1 is not prime. Res64: B0EBEAF10CF137FE Time : 0.0 sec. user=mdettweiler [2016-10-31 06:12:38] 957*2^1444490-1 is not prime. Res64: 876095BDD9FD3803 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:12:38] 1001*2^1444490-1 is not prime. Res64: 1595E82648FDF570 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:24:39] 777*2^1444482-1 is not prime. Res64: 6A51DAF69A37BB29 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:24:39] 921*2^1444482-1 is not prime. Res64: E20289AB46430470 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:24:39] 945*2^1444482-1 is not prime. Res64: 25A266A0EECB055C Time : 0.0 sec. user=mdettweiler [2016-10-31 06:24:39] 1001*2^1444482-1 is not prime. Res64: 346EA2227D9BF959 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:32:40] 709*2^1444491-1 is not prime. Res64: D8FCEB31A5EB679E Time : 0.0 sec. user=mdettweiler [2016-10-31 06:32:40] 739*2^1444491-1 is not prime. Res64: 43AB9CEDB42501E6 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:32:40] 781*2^1444491-1 is not prime. Res64: A8A3E96290A689AB Time : 0.0 sec. user=mdettweiler [2016-10-31 06:32:40] 825*2^1444491-1 is not prime. Res64: F16B51C03D6D1967 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:32:41] 849*2^1444491-1 is not prime. Res64: 34E1D4BA6E046BE5 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:50:58] 931*2^1444491-1 is not prime. Res64: 27C1C0E76C63E4FD Time : 0.0 sec. user=mdettweiler [2016-10-31 06:50:58] 951*2^1444491-1 is not prime. Res64: F2FEEF01952AB229 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:50:59] 969*2^1444491-1 is not prime. Res64: 578CFE41307834BF Time : 0.0 sec. user=mdettweiler [2016-10-31 06:50:59] 653*2^1444492-1 is not prime. Res64: BF9BCAAE72965B60 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:50:59] 657*2^1444492-1 is not prime. Res64: 78CAF8D03791DA03 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:57:42] 735*2^1444492-1 is not prime. Res64: D891EE8A12DCE849 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:57:42] 785*2^1444492-1 is not prime. Res64: 806128FCC941490D Time : 0.0 sec. user=mdettweiler [2016-10-31 06:57:42] 803*2^1444492-1 is not prime. Res64: 4B1118D10FEB225F Time : 0.0 sec. user=mdettweiler [2016-10-31 06:57:43] 825*2^1444492-1 is not prime. Res64: 95E7BFA35550EE49 Time : 0.0 sec. user=mdettweiler [2016-10-31 06:57:43] 863*2^1444492-1 is not prime. Res64: 14EC00C925D78DCE Time : 0.0 sec. user=mdettweiler [2016-10-31 07:09:22] 873*2^1444492-1 is not prime. Res64: B9AC058CC899F8AA Time : 0.0 sec. user=mdettweiler [2016-10-31 07:09:24] 875*2^1444492-1 is not prime. Res64: 69A92544E49BA38A Time : 0.0 sec. user=mdettweiler [2016-10-31 07:09:25] 939*2^1444492-1 is not prime. Res64: 27E8B26C910E7615 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:09:26] 965*2^1444492-1 is not prime. Res64: AD6391664DFAC01A Time : 0.0 sec. user=mdettweiler [2016-10-31 07:09:27] 649*2^1444493-1 is not prime. Res64: C93D1F38F958C900 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:17:48] 675*2^1444493-1 is not prime. Res64: EF98B28DE16141E8 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:17:48] 789*2^1444493-1 is not prime. Res64: 26AF34CEB476C5C5 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:17:48] 805*2^1444493-1 is not prime. Res64: 99DA8DBAE608039F Time : 0.0 sec. user=mdettweiler [2016-10-31 07:17:49] 859*2^1444493-1 is not prime. Res64: 9C810320A7833EEA Time : 0.0 sec. user=mdettweiler [2016-10-31 07:17:49] 901*2^1444493-1 is not prime. Res64: F4C6C11B5A353CEC Time : 0.0 sec. user=mdettweiler [2016-10-31 07:35:55] 783*2^1444494-1 is not prime. Res64: 2CDA55069CB20296 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:35:55] 795*2^1444494-1 is not prime. Res64: 320303FB7F920DF3 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:35:56] 893*2^1444494-1 is not prime. Res64: 1F95453666781AA2 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:35:56] 993*2^1444494-1 is not prime. Res64: C29D26BD80AFB30A Time : 0.0 sec. user=mdettweiler [2016-10-31 07:35:56] 759*2^1444495-1 is not prime. Res64: 79F85BA5507C8B64 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:42:40] 999*2^1444495-1 is not prime. Res64: FB7AE7426A8673B7 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:42:40] 675*2^1444496-1 is not prime. Res64: E1653D62785E4F55 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:42:40] 693*2^1444496-1 is not prime. Res64: B925D8B15B5CEE7C Time : 0.0 sec. user=mdettweiler [2016-10-31 07:42:40] 699*2^1444496-1 is not prime. Res64: 4034B5945B95CB57 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:42:40] 735*2^1444496-1 is not prime. Res64: CC2DD1111B76B960 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:54:14] 747*2^1444496-1 is not prime. Res64: BD689955A9D6AE63 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:54:14] 789*2^1444496-1 is not prime. Res64: 690E65B9BC66E767 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:54:14] 957*2^1444496-1 is not prime. Res64: 7B37815D85BEA71F Time : 0.0 sec. user=mdettweiler [2016-10-31 07:54:14] 649*2^1444497-1 is not prime. Res64: C294951D95BFECB1 Time : 0.0 sec. user=mdettweiler [2016-10-31 07:54:15] 667*2^1444497-1 is not prime. Res64: E517D16BB8F06907 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:02:34] 675*2^1444497-1 is not prime. Res64: 4C8F6ACD4B768244 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:02:35] 709*2^1444497-1 is not prime. Res64: 9653EF92BFFBAC07 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:02:36] 747*2^1444497-1 is not prime. Res64: 7D4A2AF730E970A0 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:02:37] 805*2^1444497-1 is not prime. Res64: D7D8ACC98B443647 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:02:38] 955*2^1444497-1 is not prime. Res64: 0FDE4358EB8D07C9 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:20:56] 997*2^1444497-1 is not prime. Res64: DF745C5F23C8184E Time : 0.0 sec. user=mdettweiler [2016-10-31 08:20:57] 999*2^1444497-1 is not prime. Res64: F23C8C8C4FB70BC0 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:20:57] 623*2^1444498-1 is not prime. Res64: 5CC66D2937C10B35 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:20:57] 615*2^1444499-1 is not prime. Res64: 5389CA6093A55784 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:20:57] 855*2^1444499-1 is not prime. Res64: F5758F8B3B5D08C9 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:27:44] 943*2^1444499-1 is not prime. Res64: 396F44AEF4E80DCF Time : 0.0 sec. user=mdettweiler [2016-10-31 08:27:44] 789*2^1444500-1 is not prime. Res64: 68CF12564A65800C Time : 0.0 sec. user=mdettweiler [2016-10-31 08:27:44] 879*2^1444500-1 is not prime. Res64: CAB39FE2297406DD Time : 0.0 sec. user=mdettweiler [2016-10-31 08:27:45] 965*2^1444500-1 is not prime. Res64: EF3D3F3720DE148E Time : 0.0 sec. user=mdettweiler [2016-10-31 08:27:45] 681*2^1444501-1 is not prime. Res64: 05CEBF849951A297 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:39:06] 717*2^1444501-1 is not prime. Res64: CAC58F7717733742 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:39:07] 745*2^1444501-1 is not prime. Res64: 623AF5BCD609A2CF Time : 0.0 sec. user=mdettweiler [2016-10-31 08:39:07] 775*2^1444501-1 is not prime. Res64: 356ABE8884C3854D Time : 0.0 sec. user=mdettweiler [2016-10-31 08:39:07] 801*2^1444501-1 is not prime. Res64: 4859692C6A005F33 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:39:07] 861*2^1444501-1 is not prime. Res64: FEFD9125DD5BC505 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:47:40] 955*2^1444501-1 is not prime. Res64: 4151CC438586195A Time : 0.0 sec. user=mdettweiler [2016-10-31 08:47:40] 961*2^1444501-1 is not prime. Res64: 10DB8411779866F1 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:47:40] 975*2^1444501-1 is not prime. Res64: D5178A609699BE87 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:47:40] 999*2^1444501-1 is not prime. Res64: 550FD2A79C26DA97 Time : 0.0 sec. user=mdettweiler [2016-10-31 08:47:41] 713*2^1444502-1 is not prime. Res64: 1117D3A1E7E149EB Time : 0.0 sec. user=mdettweiler [2016-10-31 09:05:53] 797*2^1444502-1 is not prime. Res64: 9C366D7D9180DDAE Time : 0.0 sec. user=mdettweiler [2016-10-31 09:05:55] 859*2^1444503-1 is not prime. Res64: 7B4E849804876B08 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:05:56] 895*2^1444503-1 is not prime. Res64: 44CA90D8062A9222 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:05:56] 955*2^1444503-1 is not prime. Res64: 941F372E96CAFCD2 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:05:57] 963*2^1444503-1 is not prime. Res64: A7D062C2E0FE8FEC Time : 0.0 sec. user=mdettweiler [2016-10-31 09:12:32] 615*2^1444504-1 is not prime. Res64: 7683416763F7AC2F Time : 0.0 sec. user=mdettweiler [2016-10-31 09:12:32] 657*2^1444504-1 is not prime. Res64: 1C8E01E0CBF35252 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:12:32] 687*2^1444504-1 is not prime. Res64: 8AEF0E3905834BC7 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:12:32] 719*2^1444504-1 is not prime. Res64: 7DC1C734E2FF995F Time : 0.0 sec. user=mdettweiler [2016-10-31 09:12:33] 819*2^1444504-1 is not prime. Res64: F1351665FD8BDE9E Time : 0.0 sec. user=mdettweiler [2016-10-31 09:24:03] 869*2^1444504-1 is not prime. Res64: 721658E14397A9E8 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:24:03] 909*2^1444504-1 is not prime. Res64: 86897691F6A4B748 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:24:04] 717*2^1444505-1 is not prime. Res64: A7E483388535A6DD Time : 0.0 sec. user=mdettweiler [2016-10-31 09:24:04] 787*2^1444505-1 is not prime. Res64: 17416AF67AB0AD73 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:24:04] 865*2^1444505-1 is not prime. Res64: 00DF58ABDD2C2FCB Time : 0.0 sec. user=mdettweiler [2016-10-31 09:32:36] 871*2^1444505-1 is not prime. Res64: 78CFF16AC2EF3E1F Time : 0.0 sec. user=mdettweiler [2016-10-31 09:32:36] 939*2^1444505-1 is not prime. Res64: ED28949A83D45991 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:32:36] 979*2^1444505-1 is not prime. Res64: 366D7D0B17FFCBCB Time : 0.0 sec. user=mdettweiler [2016-10-31 09:32:37] 647*2^1444506-1 is not prime. Res64: 030272744BEEE467 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:32:37] 671*2^1444506-1 is not prime. Res64: 2F5533D93FA8CC79 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:50:53] 843*2^1444506-1 is not prime. Res64: 03334B507DEF3070 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:50:53] 881*2^1444506-1 is not prime. Res64: 1A2F7CBA125C8CBF Time : 0.0 sec. user=mdettweiler [2016-10-31 09:50:53] 891*2^1444506-1 is not prime. Res64: A842F290D17CC252 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:50:54] 921*2^1444506-1 is not prime. Res64: 8093EFE11DFF3EF3 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:50:54] 941*2^1444506-1 is not prime. Res64: 9A3DD4CE3FCF6825 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:57:20] 633*2^1444507-1 is not prime. Res64: 8B7311B87F7B75C1 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:57:20] 651*2^1444507-1 is not prime. Res64: E04DE38D15135217 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:57:20] 673*2^1444507-1 is not prime. Res64: BEAE3A733C6E3442 Time : 0.0 sec. user=mdettweiler [2016-10-31 09:57:21] 693*2^1444507-1 is not prime. Res64: 28F81D7D11D0AB5B Time : 0.0 sec. user=mdettweiler [2016-10-31 09:57:21] 741*2^1444507-1 is not prime. Res64: 3991D8E267BE2E25 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:08:51] 835*2^1444507-1 is not prime. Res64: 9051DD612C5DEFCC Time : 0.0 sec. user=mdettweiler [2016-10-31 10:08:53] 861*2^1444507-1 is not prime. Res64: 06C54F508DA89E49 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:08:55] 891*2^1444507-1 is not prime. Res64: 9ADDDBD69DD3A6C4 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:08:57] 753*2^1444508-1 is not prime. Res64: 25B11099609FAC2B Time : 0.0 sec. user=mdettweiler [2016-10-31 10:08:58] 797*2^1444508-1 is not prime. Res64: FF90F5006050918E Time : 0.0 sec. user=mdettweiler [2016-10-31 10:17:14] 727*2^1444509-1 is not prime. Res64: F944512B2BF406D3 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:17:14] 745*2^1444509-1 is not prime. Res64: 906BCC499A84B230 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:17:14] 751*2^1444509-1 is not prime. Res64: 810DF2AA0266BAC6 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:17:15] 789*2^1444509-1 is not prime. Res64: 9F4C7DDF638A7803 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:17:15] 885*2^1444509-1 is not prime. Res64: 1D11ADBA92E94ED2 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:35:25] 955*2^1444509-1 is not prime. Res64: AD937279E07880DA Time : 0.0 sec. user=mdettweiler [2016-10-31 10:35:25] 961*2^1444509-1 is not prime. Res64: 65F126E21D3D27E9 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:35:26] 997*2^1444509-1 is not prime. Res64: AB497D05C8759C7D Time : 0.0 sec. user=mdettweiler [2016-10-31 10:35:26] 611*2^1444510-1 is not prime. Res64: DCDF0E2D092E27A3 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:35:26] 707*2^1444510-1 is not prime. Res64: D89F9E6400860207 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:42:03] 713*2^1444510-1 is not prime. Res64: 46B0ACAA411E0210 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:42:04] 765*2^1444510-1 is not prime. Res64: 01E1C6461321DF80 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:42:04] 619*2^1444511-1 is not prime. Res64: 863C13F123182233 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:42:04] 805*2^1444511-1 is not prime. Res64: 0D604BC95C8269E4 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:42:04] 901*2^1444511-1 is not prime. Res64: 7D494CC35D3E5595 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:53:59] 973*2^1444511-1 is not prime. Res64: 478015EEE081C436 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:54:00] 991*2^1444511-1 is not prime. Res64: 33E1F05EF05AC884 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:54:00] 635*2^1444512-1 is not prime. Res64: 1A29270AA483632C Time : 0.0 sec. user=mdettweiler [2016-10-31 10:54:00] 857*2^1444512-1 is not prime. Res64: EF0415BAD783B5E3 Time : 0.0 sec. user=mdettweiler [2016-10-31 10:54:00] 929*2^1444512-1 is not prime. Res64: 3EA62E94F5E1434D Time : 0.0 sec. user=mdettweiler [2016-10-31 11:01:59] 801*2^1444513-1 is not prime. Res64: 8BA49E9A18E48079 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:02:00] 901*2^1444513-1 is not prime. Res64: C8AB7DDB2631A5BE Time : 0.0 sec. user=mdettweiler [2016-10-31 11:02:01] 987*2^1444513-1 is not prime. Res64: 3A404CC54AAE2A20 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:02:01] 641*2^1444514-1 is not prime. Res64: 1BE34728BF653CDF Time : 0.0 sec. user=mdettweiler [2016-10-31 11:02:01] 657*2^1444514-1 is not prime. Res64: 765E4D627D57B380 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:20:11] 675*2^1444514-1 is not prime. Res64: 612AC63DD46F32A8 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:20:12] 753*2^1444514-1 is not prime. Res64: BB85BEB46EA0C43D Time : 0.0 sec. user=mdettweiler [2016-10-31 11:20:12] 857*2^1444514-1 is not prime. Res64: 2E94FF1EC9BBD591 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:20:12] 903*2^1444514-1 is not prime. Res64: 63F49EA52D5662D6 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:20:12] 923*2^1444514-1 is not prime. Res64: 983A655FF1B8E4A4 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:26:49] 927*2^1444514-1 is not prime. Res64: 8479E234B13B0C54 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:26:49] 995*2^1444514-1 is not prime. Res64: A6A290D34293E363 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:26:50] 609*2^1444515-1 is not prime. Res64: 0C3D50F7229A2BAE Time : 0.0 sec. user=mdettweiler [2016-10-31 11:26:50] 639*2^1444515-1 is not prime. Res64: 70626C0479F4E450 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:26:50] 643*2^1444515-1 is not prime. Res64: B866182C03990BCD Time : 0.0 sec. user=mdettweiler [2016-10-31 11:38:52] 691*2^1444515-1 is not prime. Res64: 0A64B3D09165B8F7 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:38:52] 829*2^1444515-1 is not prime. Res64: 1CA494AE368137DD Time : 0.0 sec. user=mdettweiler [2016-10-31 11:38:52] 871*2^1444515-1 is not prime. Res64: C338FA1F00EF08DB Time : 0.0 sec. user=mdettweiler [2016-10-31 11:38:52] 885*2^1444515-1 is not prime. Res64: BE7F5333A9ECAD9C Time : 0.0 sec. user=mdettweiler [2016-10-31 11:38:53] 603*2^1444516-1 is not prime. Res64: 33D2614012E14D33 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:46:40] 617*2^1444516-1 is not prime. Res64: CA7A0C67CA625AE7 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:46:40] 647*2^1444516-1 is not prime. Res64: F414B0CBA1FD58EF Time : 0.0 sec. user=mdettweiler [2016-10-31 11:46:41] 705*2^1444516-1 is not prime. Res64: AFEFDFCD7D22F860 Time : 0.0 sec. user=mdettweiler [2016-10-31 11:46:41] 719*2^1444516-1 is not prime. Res64: 348CE3F33FE24D0A Time : 0.0 sec. user=mdettweiler [2016-10-31 11:46:41] 887*2^1444516-1 is not prime. Res64: 3A318D180119AA72 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:04:55] 607*2^1444517-1 is not prime. Res64: 80F2122897FBB63D Time : 0.0 sec. user=mdettweiler [2016-10-31 12:04:58] 669*2^1444517-1 is not prime. Res64: 64C54069E84A74BC Time : 0.0 sec. user=mdettweiler [2016-10-31 12:05:05] 697*2^1444517-1 is not prime. Res64: 5BAAD4AC54925A87 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:05:10] 735*2^1444517-1 is not prime. Res64: 5E5CAE2314B4F7FC Time : 0.0 sec. user=mdettweiler [2016-10-31 12:05:15] 759*2^1444517-1 is not prime. Res64: 807C313C8EF9ED13 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:11:53] 915*2^1444517-1 is not prime. Res64: AA05F4B9631B76C8 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:11:53] 927*2^1444517-1 is not prime. Res64: D0149D402B8FB46B Time : 0.0 sec. user=mdettweiler [2016-10-31 12:11:54] 945*2^1444517-1 is not prime. Res64: FC49A4D9773D1F23 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:11:55] 681*2^1444518-1 is not prime. Res64: E74AA3E8B772404D Time : 0.0 sec. user=mdettweiler [2016-10-31 12:11:56] 707*2^1444518-1 is not prime. Res64: E7A31BA3E507877C Time : 0.0 sec. user=mdettweiler [2016-10-31 12:23:52] 801*2^1444518-1 is not prime. Res64: DE61958FD81C1B53 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:23:53] 923*2^1444518-1 is not prime. Res64: C3CBFC6D50764EFA Time : 0.0 sec. user=mdettweiler [2016-10-31 12:23:53] 971*2^1444518-1 is not prime. Res64: B352B3DD83A082FC Time : 0.0 sec. user=mdettweiler [2016-10-31 12:23:53] 763*2^1444519-1 is not prime. Res64: 7A7E74184815BB38 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:23:53] 765*2^1444519-1 is not prime. Res64: FA3437A6AC72E637 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:31:58] 969*2^1444519-1 is not prime. Res64: 9D8351B7705296A9 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:31:58] 975*2^1444519-1 is not prime. Res64: A636A0C5DAF5E00B Time : 0.0 sec. user=mdettweiler [2016-10-31 12:31:59] 635*2^1444520-1 is not prime. Res64: EE57DB73676D8698 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:31:59] 743*2^1444520-1 is not prime. Res64: 70046BCB4CD45054 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:31:59] 753*2^1444520-1 is not prime. Res64: 0F4E33EA4DF094E2 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:51:36] 767*2^1444520-1 is not prime. Res64: 79D789AE3234C52F Time : 0.0 sec. user=mdettweiler [2016-10-31 12:51:36] 797*2^1444520-1 is not prime. Res64: E7D5F16C466BA94A Time : 0.0 sec. user=mdettweiler [2016-10-31 12:51:37] 827*2^1444520-1 is not prime. Res64: D51469F4EBA78DCB Time : 0.0 sec. user=mdettweiler [2016-10-31 12:51:37] 935*2^1444520-1 is not prime. Res64: D8095B82E1834999 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:51:37] 977*2^1444520-1 is not prime. Res64: F6B20108E852C94D Time : 0.0 sec. user=mdettweiler [2016-10-31 12:58:04] 999*2^1444520-1 is not prime. Res64: 653AA9B34725D32C Time : 0.0 sec. user=mdettweiler [2016-10-31 12:58:04] 669*2^1444521-1 is not prime. Res64: 0BE0F143C1A1F386 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:58:04] 805*2^1444521-1 is not prime. Res64: C01597FCF7B08800 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:58:04] 847*2^1444521-1 is not prime. Res64: 4E34EA65D0EB7A69 Time : 0.0 sec. user=mdettweiler [2016-10-31 12:58:05] 889*2^1444521-1 is not prime. Res64: 6536011E97B01A0F Time : 0.0 sec. user=mdettweiler [2016-10-31 13:11:57] 901*2^1444521-1 is not prime. Res64: 61379798FC22B1B4 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:11:58] 987*2^1444521-1 is not prime. Res64: 3A483F1E63DFC9ED Time : 0.0 sec. user=mdettweiler [2016-10-31 13:11:59] 611*2^1444522-1 is not prime. Res64: 5214C49426CE2FB3 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:11:59] 645*2^1444522-1 is not prime. Res64: 54B33717BA31B74A Time : 0.0 sec. user=mdettweiler [2016-10-31 13:11:59] 677*2^1444522-1 is not prime. Res64: 5664E6E00E42F654 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:20:52] 813*2^1444522-1 is not prime. Res64: 63C53CB70F2D8787 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:20:52] 843*2^1444522-1 is not prime. Res64: AA45AADD1CDFE800 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:20:52] 855*2^1444522-1 is not prime. Res64: EDF9FB3D0BC12E0F Time : 0.0 sec. user=mdettweiler [2016-10-31 13:20:53] 885*2^1444522-1 is not prime. Res64: 6321D26541BE7747 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:20:53] 891*2^1444522-1 is not prime. Res64: 143AD2C7BC37B8FA Time : 0.0 sec. user=mdettweiler [2016-10-31 13:40:09] 951*2^1444522-1 is not prime. Res64: 91C8A7DB63726170 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:40:09] 633*2^1444523-1 is not prime. Res64: 4957DBC59AD473EC Time : 0.0 sec. user=mdettweiler [2016-10-31 13:40:09] 675*2^1444523-1 is not prime. Res64: 676331120A17C0E4 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:40:10] 745*2^1444523-1 is not prime. Res64: BBE65FC723E13191 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:40:10] 759*2^1444523-1 is not prime. Res64: C290ED7906222DD3 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:46:39] 705*2^1444524-1 is not prime. Res64: 910DBFF0FD920DF3 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:46:40] 765*2^1444524-1 is not prime. Res64: C563CB2146CE0DEA Time : 0.0 sec. user=mdettweiler [2016-10-31 13:46:40] 875*2^1444524-1 is not prime. Res64: E0F9FED232AECAD1 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:46:40] 729*2^1444525-1 is not prime. Res64: 5D8C14A7BEF4090D Time : 0.0 sec. user=mdettweiler [2016-10-31 13:46:40] 751*2^1444525-1 is not prime. Res64: F3FED2B338AEEB6C Time : 0.0 sec. user=mdettweiler [2016-10-31 13:58:14] 759*2^1444525-1 is not prime. Res64: B1ED85BCDC3BD035 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:58:14] 825*2^1444525-1 is not prime. Res64: FA16200D9A77690C Time : 0.0 sec. user=mdettweiler [2016-10-31 13:58:14] 867*2^1444525-1 is not prime. Res64: 459EC03B145BE188 Time : 0.0 sec. user=mdettweiler [2016-10-31 13:58:15] 981*2^1444525-1 is not prime. Res64: D1F0AE89813B82FF Time : 0.0 sec. user=mdettweiler [2016-10-31 13:58:15] 813*2^1444526-1 is not prime. Res64: EC60918AEEF1B6C0 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:06:29] 887*2^1444526-1 is not prime. Res64: 14560C2169A40DE2 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:06:32] 669*2^1444527-1 is not prime. Res64: B2B995B1D9B94527 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:06:33] 765*2^1444527-1 is not prime. Res64: 18EAEA10EF4F2987 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:06:36] 955*2^1444527-1 is not prime. Res64: 082264F0BB899CB2 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:06:37] 975*2^1444527-1 is not prime. Res64: B11AF9E8BA1009BF Time : 0.0 sec. user=mdettweiler [2016-10-31 14:25:37] 979*2^1444527-1 is not prime. Res64: 7CA50F94B73FDDB5 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:25:38] 605*2^1444528-1 is not prime. Res64: 4C0434D064789F2A Time : 0.0 sec. user=mdettweiler [2016-10-31 14:25:38] 735*2^1444528-1 is not prime. Res64: 7CD2E16BCBFBD9B0 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:25:38] 803*2^1444528-1 is not prime. Res64: 2CCF1E8C0B479942 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:25:38] 839*2^1444528-1 is not prime. Res64: 917B170826B0607F Time : 0.0 sec. user=mdettweiler [2016-10-31 14:32:12] 863*2^1444528-1 is not prime. Res64: E0B5C007ABFB7CC9 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:32:12] 929*2^1444528-1 is not prime. Res64: B3F531B196F838B5 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:32:12] 699*2^1444529-1 is not prime. Res64: EDB50C90EFF92D99 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:32:13] 727*2^1444529-1 is not prime. Res64: C28F82C49E86623C Time : 0.0 sec. user=mdettweiler [2016-10-31 14:32:13] 735*2^1444529-1 is not prime. Res64: 3FE22C0113FE7CD7 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:43:00] 775*2^1444529-1 is not prime. Res64: 0188B018DFC95307 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:43:00] 789*2^1444529-1 is not prime. Res64: 1E341D6CEA867A7A Time : 0.0 sec. user=mdettweiler [2016-10-31 14:43:00] 957*2^1444529-1 is not prime. Res64: 0BFA21E975570FC9 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:43:01] 967*2^1444529-1 is not prime. Res64: 3A8F54F52AA96F00 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:43:01] 987*2^1444529-1 is not prime. Res64: 15C4435E0DEABE20 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:51:59] 627*2^1444530-1 is not prime. Res64: 95CFB23B1CB27693 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:51:59] 647*2^1444530-1 is not prime. Res64: 56734270C1BC856E Time : 0.0 sec. user=mdettweiler [2016-10-31 14:51:59] 657*2^1444530-1 is not prime. Res64: F722C97445E880E2 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:52:00] 665*2^1444530-1 is not prime. Res64: 8180B3EF60C38B05 Time : 0.0 sec. user=mdettweiler [2016-10-31 14:52:00] 671*2^1444530-1 is not prime. Res64: 93A14F7F0E3FB032 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:10:40] 677*2^1444530-1 is not prime. Res64: EF8C7E03887518FA Time : 0.0 sec. user=mdettweiler [2016-10-31 15:10:41] 723*2^1444530-1 is not prime. Res64: D276309F0B8DC429 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:10:41] 875*2^1444530-1 is not prime. Res64: 6EEF77300BB9728E Time : 0.0 sec. user=mdettweiler [2016-10-31 15:10:42] 923*2^1444530-1 is not prime. Res64: 2CE4A8F768BF1D1F Time : 0.0 sec. user=mdettweiler [2016-10-31 15:10:42] 619*2^1444531-1 is not prime. Res64: A84D5367CB02DEFD Time : 0.0 sec. user=mdettweiler [2016-10-31 15:17:06] 679*2^1444531-1 is not prime. Res64: 8145BE24950CE8D7 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:17:07] 723*2^1444531-1 is not prime. Res64: BD42056F2F77BD5B Time : 0.0 sec. user=mdettweiler [2016-10-31 15:17:07] 771*2^1444531-1 is not prime. Res64: AA43F62313C985BB Time : 0.0 sec. user=mdettweiler [2016-10-31 15:17:07] 789*2^1444531-1 is not prime. Res64: AE40ED6021677D10 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:17:08] 801*2^1444531-1 is not prime. Res64: C52371CC4BEDB8EE Time : 0.0 sec. user=mdettweiler [2016-10-31 15:27:48] 843*2^1444531-1 is not prime. Res64: 4A69C1647FD2E60B Time : 0.0 sec. user=mdettweiler [2016-10-31 15:27:48] 861*2^1444531-1 is not prime. Res64: 9BAF13BC0A7FD6B9 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:27:49] 961*2^1444531-1 is not prime. Res64: C30437C96E4EE4FF Time : 0.0 sec. user=mdettweiler [2016-10-31 15:27:49] 603*2^1444532-1 is not prime. Res64: 49B6A64A78878F52 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:27:49] 665*2^1444532-1 is not prime. Res64: D5676AB7E6C104F4 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:36:34] 677*2^1444532-1 is not prime. Res64: 03CE7A12426FE073 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:36:34] 797*2^1444532-1 is not prime. Res64: 428D999D5D4366D6 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:36:35] 825*2^1444532-1 is not prime. Res64: 30CF9BC22D564E43 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:36:35] 827*2^1444532-1 is not prime. Res64: 484EEDABA9A1D8C2 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:36:35] 843*2^1444532-1 is not prime. Res64: 0ED728831D8089D5 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:55:54] 929*2^1444532-1 is not prime. Res64: 07B5B7048E5702C6 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:55:54] 609*2^1444533-1 is not prime. Res64: E39DDEC87A0504C2 Time : 0.0 sec. user=mdettweiler [2016-10-31 15:55:54] 621*2^1444533-1 is not prime. Res64: BCC0E2D92476549A Time : 0.0 sec. user=mdettweiler [2016-10-31 15:55:54] 669*2^1444533-1 is not prime. Res64: C5958689181CEF5E Time : 0.0 sec. user=mdettweiler [2016-10-31 15:55:55] 675*2^1444533-1 is not prime. Res64: 3FE4BE21D92A7D27 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:02:47] 735*2^1444533-1 is not prime. Res64: AB0F6239A8ECF51A Time : 0.0 sec. user=mdettweiler [2016-10-31 16:02:48] 861*2^1444533-1 is not prime. Res64: AE0C221D2CF95643 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:02:49] 937*2^1444533-1 is not prime. Res64: 3B1365B2C4F39431 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:02:49] 621*2^1444534-1 is not prime. Res64: B13DF82C5BC27BBE Time : 0.0 sec. user=mdettweiler [2016-10-31 16:02:50] 663*2^1444534-1 is not prime. Res64: D94D28F2988451DB Time : 0.0 sec. user=mdettweiler [2016-10-31 16:14:01] 717*2^1444534-1 is not prime. Res64: 288A39346135FA16 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:14:01] 755*2^1444534-1 is not prime. Res64: 0D273942ED9560F7 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:14:01] 765*2^1444534-1 is not prime. Res64: 7500C87ECBB92930 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:14:01] 885*2^1444534-1 is not prime. Res64: BC201395BEE114C4 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:14:02] 957*2^1444534-1 is not prime. Res64: 2D40E69E43614916 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:23:20] 949*2^1444535-1 is not prime. Res64: C38C354BC128D2BC Time : 0.0 sec. user=mdettweiler [2016-10-31 16:23:20] 623*2^1444536-1 is not prime. Res64: 52AE3E0E944457E3 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:23:21] 629*2^1444536-1 is not prime. Res64: BC82F8927C199A9D Time : 0.0 sec. user=mdettweiler [2016-10-31 16:23:21] 669*2^1444536-1 is not prime. Res64: 3A2210AF3AE0553A Time : 0.0 sec. user=mdettweiler [2016-10-31 16:23:21] 689*2^1444536-1 is not prime. Res64: F2A118AC33A87DF4 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:43:48] 737*2^1444536-1 is not prime. Res64: 4DD1D6AB9AD79E78 Time : 0.0 sec. user=mdettweiler [2016-10-31 16:43:49] 759*2^1444536-1 is not prime. Res64: 3CF687F2D2A7EC9F Time : 0.0 sec. user=mdettweiler [2016-10-31 16:43:49] 767*2^1444536-1 is not prime. Res64: D1A7A9050502CA5A Time : 0.0 sec. user=mdettweiler [2016-10-31 16:43:49] 839*2^1444536-1 is not prime. Res64: DE5B3567AFE563EE Time : 0.0 sec. user=mdettweiler [2016-10-31 16:43:49] 845*2^1444536-1 is not prime. Res64: 7B64ACF7B68A42FD Time : 0.0 sec. user=mdettweiler [2016-10-31 16:51:02] 857*2^1444536-1 is not prime. Res64: 4CBC442C8CC1545B Time : 0.0 sec. user=mdettweiler [2016-10-31 16:51:02] 927*2^1444536-1 is not prime. Res64: 913E0E8AB232181F Time : 0.0 sec. user=mdettweiler [2016-10-31 16:51:03] 983*2^1444536-1 is not prime. Res64: E97E042B08DDB35B Time : 0.0 sec. user=mdettweiler [2016-10-31 16:51:03] 999*2^1444536-1 is not prime. Res64: A8258E2BF8232F3C Time : 0.0 sec. user=mdettweiler [2016-10-31 16:51:03] 889*2^1444537-1 is not prime. Res64: 4A430ACF0E8A5147 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:01:04] 901*2^1444537-1 is not prime. Res64: 1B3F1CD0A4EC52E9 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:01:08] 937*2^1444537-1 is not prime. Res64: 4277801F2D9327A4 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:01:09] 955*2^1444537-1 is not prime. Res64: 88F74E1052C6308D Time : 0.0 sec. user=mdettweiler [2016-10-31 17:01:10] 967*2^1444537-1 is not prime. Res64: 1FA6B4683F155AF0 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:01:11] 767*2^1444538-1 is not prime. Res64: 38EC3BCF9C48C7D5 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:09:40] 831*2^1444538-1 is not prime. Res64: 66D2C8DFD768DA48 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:09:43] 875*2^1444538-1 is not prime. Res64: E5D8720429A0396C Time : 0.0 sec. user=mdettweiler [2016-10-31 17:09:44] 885*2^1444538-1 is not prime. Res64: 0D5E23053ADEC426 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:09:45] 893*2^1444538-1 is not prime. Res64: 45B85CDAAA986945 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:09:46] 945*2^1444538-1 is not prime. Res64: FC7FAD81EC3BFEE7 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:28:55] 663*2^1444539-1 is not prime. Res64: D6742D05E1BDF122 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:28:56] 669*2^1444539-1 is not prime. Res64: CA7F3DECFE694333 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:28:56] 703*2^1444539-1 is not prime. Res64: BBB808F357FC5BD5 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:28:56] 709*2^1444539-1 is not prime. Res64: ED750FB7AC26DAE1 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:28:56] 723*2^1444539-1 is not prime. Res64: 7234557A3DD82A38 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:35:58] 741*2^1444539-1 is not prime. Res64: 8B6A050BC6519B89 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:35:58] 973*2^1444539-1 is not prime. Res64: 8EAC8EEE39EFD2CA Time : 0.0 sec. user=mdettweiler [2016-10-31 17:35:58] 603*2^1444540-1 is not prime. Res64: AFB3012650B6DB77 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:35:59] 609*2^1444540-1 is not prime. Res64: 4A4754ABB1364E5F Time : 0.0 sec. user=mdettweiler [2016-10-31 17:35:59] 723*2^1444540-1 is not prime. Res64: 2767705E6C803506 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:46:02] 755*2^1444540-1 is not prime. Res64: 46B2476014B9857F Time : 0.0 sec. user=mdettweiler [2016-10-31 17:46:03] 797*2^1444540-1 is not prime. Res64: 480806E107B1F4CE Time : 0.0 sec. user=mdettweiler [2016-10-31 17:46:03] 803*2^1444540-1 is not prime. Res64: 2AAE2AE3D314FD94 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:46:03] 825*2^1444540-1 is not prime. Res64: B303499BD43A873C Time : 0.0 sec. user=mdettweiler [2016-10-31 17:46:03] 887*2^1444540-1 is not prime. Res64: B2E47235F5E52036 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:54:45] 939*2^1444540-1 is not prime. Res64: 4490E3A0567F2FF5 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:54:46] 989*2^1444540-1 is not prime. Res64: DDE0B3D6BFAB765C Time : 0.0 sec. user=mdettweiler [2016-10-31 17:54:46] 747*2^1444541-1 is not prime. Res64: 2D4CB1A79256BCF7 Time : 0.0 sec. user=mdettweiler [2016-10-31 17:54:46] 789*2^1444541-1 is not prime. Res64: D6B8DAF6EE0E6A7A Time : 0.0 sec. user=mdettweiler [2016-10-31 17:54:46] 927*2^1444541-1 is not prime. Res64: 09DFF86B2003A617 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:14:01] 951*2^1444542-1 is not prime. Res64: 0EBF91875EAAF639 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:14:01] 1001*2^1444542-1 is not prime. Res64: E747AC5534292719 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:14:01] 709*2^1444543-1 is not prime. Res64: 14B243CD4FCFFD6F Time : 0.0 sec. user=mdettweiler [2016-10-31 18:14:02] 723*2^1444543-1 is not prime. Res64: D20A76538753C632 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:14:02] 751*2^1444543-1 is not prime. Res64: 8F809329F7189D62 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:20:57] 789*2^1444543-1 is not prime. Res64: 5269D724D2087CB5 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:20:58] 883*2^1444543-1 is not prime. Res64: 0DA5FB3AD6EC6D7E Time : 0.0 sec. user=mdettweiler [2016-10-31 18:20:58] 915*2^1444543-1 is not prime. Res64: 82DC6B5E65B68433 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:20:59] 999*2^1444543-1 is not prime. Res64: D1BA0F639F1F5C2A Time : 0.0 sec. user=mdettweiler [2016-10-31 18:20:59] 605*2^1444544-1 is not prime. Res64: 354E71621025DCAF Time : 0.0 sec. user=mdettweiler [2016-10-31 18:31:15] 617*2^1444544-1 is not prime. Res64: 7A7A748AC0992D24 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:31:16] 629*2^1444544-1 is not prime. Res64: 252CF8A64B64BDF3 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:31:16] 675*2^1444544-1 is not prime. Res64: 415C170BAD900755 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:31:16] 743*2^1444544-1 is not prime. Res64: 70AC9BEE6D6CE4A8 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:31:17] 927*2^1444544-1 is not prime. Res64: 1C709E26B2092518 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:40:08] 969*2^1444544-1 is not prime. Res64: 2BD010345431BF10 Time : 0.0 sec. user=mdettweiler [2016-10-31 18:40:08] 609*2^1444545-1 is not prime. Res64: 69A05C37162517BA Time : 0.0 sec. user=mdettweiler [2016-10-31 18:40:08] 625*2^1444545-1 is not prime. Res64: EE471884CDEABA9C Time : 0.0 sec. user=mdettweiler [2016-10-31 18:40:09] 649*2^1444545-1 is not prime. Res64: 84C74B63A026E86A Time : 0.0 sec. user=mdettweiler [2016-10-31 18:40:09] 699*2^1444545-1 is not prime. Res64: 31D1B2D70FE21765 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:01:35] 705*2^1444545-1 is not prime. Res64: 51B2323A5BB916A5 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:01:37] 781*2^1444545-1 is not prime. Res64: 8F7744906BB48576 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:01:40] 819*2^1444545-1 is not prime. Res64: E40A7B73317C2FBB Time : 0.0 sec. user=mdettweiler [2016-10-31 19:01:41] 861*2^1444545-1 is not prime. Res64: 97F44EFE5A523266 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:01:41] 909*2^1444545-1 is not prime. Res64: AEE36F511CF9C293 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:09:31] 647*2^1444546-1 is not prime. Res64: D300B247508F4129 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:09:35] 723*2^1444546-1 is not prime. Res64: 008D7EC864B8FAAA Time : 0.0 sec. user=mdettweiler [2016-10-31 19:09:37] 873*2^1444546-1 is not prime. Res64: 4253363A720F775E Time : 0.0 sec. user=mdettweiler [2016-10-31 19:09:39] 941*2^1444546-1 is not prime. Res64: 0BACECDED19CE6F8 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:09:42] 971*2^1444546-1 is not prime. Res64: A2953E3049E4F7E1 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:19:37] 601*2^1444547-1 is not prime. Res64: 5225B7EAE6E59DC5 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:19:37] 673*2^1444547-1 is not prime. Res64: 068BED8DEBDC9355 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:19:37] 801*2^1444547-1 is not prime. Res64: 2EE3F409C0CA04AC Time : 0.0 sec. user=mdettweiler [2016-10-31 19:19:38] 909*2^1444547-1 is not prime. Res64: BF19747B291235AF Time : 0.0 sec. user=mdettweiler [2016-10-31 19:19:38] 963*2^1444547-1 is not prime. Res64: 25FD4DE89552AFC3 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:27:54] 973*2^1444547-1 is not prime. Res64: EED11E58AAA3E655 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:27:54] 985*2^1444547-1 is not prime. Res64: 67F26ED0D6ADB21D Time : 0.0 sec. user=mdettweiler [2016-10-31 19:27:54] 789*2^1444548-1 is not prime. Res64: EA480E0BBBDA7F5D Time : 0.0 sec. user=mdettweiler [2016-10-31 19:27:55] 819*2^1444548-1 is not prime. Res64: D353450EFD4D5ECE Time : 0.0 sec. user=mdettweiler [2016-10-31 19:27:55] 615*2^1444549-1 is not prime. Res64: 1681F55DE6E04727 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:47:36] 625*2^1444549-1 is not prime. Res64: 5D21AA41BD8E512D Time : 0.0 sec. user=mdettweiler [2016-10-31 19:47:36] 931*2^1444549-1 is not prime. Res64: A13EC12FB02E0F89 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:47:36] 651*2^1444550-1 is not prime. Res64: 6AB81DD417C391F2 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:47:37] 657*2^1444550-1 is not prime. Res64: 452D35FAF81C1F61 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:47:37] 677*2^1444550-1 is not prime. Res64: A72EE5102BF16B64 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:54:54] 773*2^1444550-1 is not prime. Res64: ACA5A8A7667A5BA3 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:54:54] 791*2^1444550-1 is not prime. Res64: 55C9646B6085CF13 Time : 0.0 sec. user=mdettweiler [2016-10-31 19:54:55] 923*2^1444550-1 is not prime. Res64: B45F0E5F7EC625DC Time : 0.0 sec. user=mdettweiler [2016-10-31 19:54:55] 995*2^1444550-1 is not prime. Res64: AD081AAA7D4F028A Time : 0.0 sec. user=mdettweiler [2016-10-31 19:54:55] 751*2^1444551-1 is not prime. Res64: F28E1B551CDFF75E Time : 0.0 sec. user=mdettweiler [2016-10-31 20:04:32] 775*2^1444551-1 is not prime. Res64: 5137A10A9874AC16 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:04:34] 955*2^1444551-1 is not prime. Res64: BB6C284C68D27189 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:04:36] 857*2^1444552-1 is not prime. Res64: C71461798203D864 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:04:38] 903*2^1444552-1 is not prime. Res64: 82B0290E90569296 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:04:39] 909*2^1444552-1 is not prime. Res64: BAEA2E4EA4E105D9 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:12:49] 923*2^1444552-1 is not prime. Res64: 6F7C5164A8F66723 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:12:50] 975*2^1444552-1 is not prime. Res64: 2F9997DDD5E3DE31 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:12:50] 983*2^1444552-1 is not prime. Res64: 0BCAC658070D20FC Time : 0.0 sec. user=mdettweiler [2016-10-31 20:12:50] 989*2^1444552-1 is not prime. Res64: FAD3E82375C6A122 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:12:51] 675*2^1444553-1 is not prime. Res64: 35AF04BA20D00E4F Time : 0.0 sec. user=mdettweiler [2016-10-31 20:32:26] 685*2^1444553-1 is not prime. Res64: 9321FA529FA51B75 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:32:27] 729*2^1444553-1 is not prime. Res64: EDAD1F147FE09756 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:32:27] 861*2^1444553-1 is not prime. Res64: FC9AB665F983F1D3 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:32:27] 937*2^1444553-1 is not prime. Res64: CD5BE1F41576260A Time : 0.0 sec. user=mdettweiler [2016-10-31 20:32:27] 717*2^1444554-1 is not prime. Res64: 62F83B26B6B6B316 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:39:46] 747*2^1444554-1 is not prime. Res64: A0A4EF431F354353 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:39:47] 767*2^1444554-1 is not prime. Res64: 36B28F0516CAFECE Time : 0.0 sec. user=mdettweiler [2016-10-31 20:39:47] 797*2^1444554-1 is not prime. Res64: B0F82FE710B5B7D8 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:39:47] 903*2^1444554-1 is not prime. Res64: 85F456943D6FCB83 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:39:47] 905*2^1444554-1 is not prime. Res64: AB14DF026A757CA4 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:49:38] 947*2^1444554-1 is not prime. Res64: 12173AE8E65EC309 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:49:38] 685*2^1444555-1 is not prime. Res64: B84E1E1DA9A4256C Time : 0.0 sec. user=mdettweiler [2016-10-31 20:49:38] 693*2^1444555-1 is not prime. Res64: CD5F5D8CC9566460 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:49:38] 843*2^1444555-1 is not prime. Res64: 7DB4710C24D7C819 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:49:39] 873*2^1444555-1 is not prime. Res64: 66DB9487D4DD5F9B Time : 0.0 sec. user=mdettweiler [2016-10-31 20:57:40] 915*2^1444555-1 is not prime. Res64: 4D5529199E2101A9 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:57:40] 919*2^1444555-1 is not prime. Res64: 8521A88866E8AEFC Time : 0.0 sec. user=mdettweiler [2016-10-31 20:57:41] 609*2^1444556-1 is not prime. Res64: 251C1A9DC3B4632C Time : 0.0 sec. user=mdettweiler [2016-10-31 20:57:41] 827*2^1444556-1 is not prime. Res64: 1D4197A7BA9586F8 Time : 0.0 sec. user=mdettweiler [2016-10-31 20:57:41] 839*2^1444556-1 is not prime. Res64: F14721D5C813D7F8 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:17:25] 935*2^1444556-1 is not prime. Res64: 676290276D65B55C Time : 0.0 sec. user=mdettweiler [2016-10-31 21:17:25] 963*2^1444556-1 is not prime. Res64: C4F5A2B385147297 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:17:26] 675*2^1444557-1 is not prime. Res64: 1372B426660D8C56 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:17:26] 685*2^1444557-1 is not prime. Res64: 0CAC25AEFC99A18C Time : 0.0 sec. user=mdettweiler [2016-10-31 21:17:26] 699*2^1444557-1 is not prime. Res64: 9217FB6AA03A04F2 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:24:41] 769*2^1444557-1 is not prime. Res64: 4B6F78D66A4C01D1 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:24:41] 861*2^1444557-1 is not prime. Res64: D8CC89999A25E5AE Time : 0.0 sec. user=mdettweiler [2016-10-31 21:24:41] 949*2^1444557-1 is not prime. Res64: 0B47032A5A7543D8 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:24:41] 991*2^1444557-1 is not prime. Res64: 8E35B2B89327866E Time : 0.0 sec. user=mdettweiler [2016-10-31 21:24:42] 997*2^1444557-1 is not prime. Res64: 8B74CF1A63EA5331 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:34:24] 611*2^1444558-1 is not prime. Res64: C34A33B0292BB65D Time : 0.0 sec. user=mdettweiler [2016-10-31 21:34:24] 657*2^1444558-1 is not prime. Res64: FA23835796259005 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:34:24] 681*2^1444558-1 is not prime. Res64: 16CA90D72ABA69E5 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:34:24] 761*2^1444558-1 is not prime. Res64: DABB3442B0FA788D Time : 0.0 sec. user=mdettweiler [2016-10-31 21:34:25] 813*2^1444558-1 is not prime. Res64: 3FA32CA24514C9D4 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:42:36] 845*2^1444558-1 is not prime. Res64: 9E443E95FC103FE0 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:42:37] 895*2^1444559-1 is not prime. Res64: 455F3253F9A7F388 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:42:37] 973*2^1444559-1 is not prime. Res64: 402E453870DBE5A0 Time : 0.0 sec. user=mdettweiler [2016-10-31 21:42:37] 737*2^1444560-1 is not prime. Res64: 821171707A47741E Time : 0.0 sec. user=mdettweiler [2016-10-31 21:42:37] 767*2^1444560-1 is not prime. Res64: 97F93EBA0361CFD2 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:02:27] 863*2^1444560-1 is not prime. Res64: 7AC5F8D1E03D6D44 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:02:27] 879*2^1444560-1 is not prime. Res64: 01FDAF1177A3F0F9 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:02:28] 929*2^1444560-1 is not prime. Res64: B144F97E734B174E Time : 0.0 sec. user=mdettweiler [2016-10-31 22:02:29] 975*2^1444560-1 is not prime. Res64: EF050B06833AA8B1 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:02:29] 619*2^1444561-1 is not prime. Res64: 5A50189204D7938F Time : 0.0 sec. user=mdettweiler [2016-10-31 22:09:34] 817*2^1444561-1 is not prime. Res64: A2D00D75EDDC8A54 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:09:37] 871*2^1444561-1 is not prime. Res64: F8FE52EED676D9E0 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:09:38] 939*2^1444561-1 is not prime. Res64: 3CCC9800DCEFB963 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:09:40] 945*2^1444561-1 is not prime. Res64: 3FE26B6E551763A5 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:09:42] 705*2^1444562-1 is not prime. Res64: 03E9DC3B77B1C15D Time : 0.0 sec. user=mdettweiler [2016-10-31 22:19:06] 743*2^1444562-1 is not prime. Res64: 09C6E6039FC927C4 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:19:06] 791*2^1444562-1 is not prime. Res64: EF9CFA8454FF7B55 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:19:07] 911*2^1444562-1 is not prime. Res64: 5E074B52D0A54A9E Time : 0.0 sec. user=mdettweiler [2016-10-31 22:19:07] 981*2^1444562-1 is not prime. Res64: F35646248600EF55 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:19:07] 663*2^1444563-1 is not prime. Res64: 4D890A16F2C7578E Time : 0.0 sec. user=mdettweiler [2016-10-31 22:27:27] 829*2^1444563-1 is not prime. Res64: 44596A2180BD133C Time : 0.0 sec. user=mdettweiler [2016-10-31 22:27:27] 943*2^1444563-1 is not prime. Res64: 85FB908E44E23FF8 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:27:27] 963*2^1444563-1 is not prime. Res64: 1FD073449A9C8AF0 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:27:27] 639*2^1444564-1 is not prime. Res64: F1A0028C6B403621 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:27:28] 675*2^1444564-1 is not prime. Res64: 3EA3D4EB9A03C090 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:47:37] 743*2^1444564-1 is not prime. Res64: 10F9AC78CDC51002 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:47:38] 989*2^1444564-1 is not prime. Res64: 688992486EE3A52F Time : 0.0 sec. user=mdettweiler [2016-10-31 22:47:38] 735*2^1444565-1 is not prime. Res64: CF40BDB9E50E865A Time : 0.0 sec. user=mdettweiler [2016-10-31 22:47:38] 775*2^1444565-1 is not prime. Res64: 00E1A55701ACA534 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:47:38] 781*2^1444565-1 is not prime. Res64: 38042D283EDEB144 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:55:03] 799*2^1444565-1 is not prime. Res64: 94379EC72E16F3E3 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:55:03] 871*2^1444565-1 is not prime. Res64: 45F5D926E42D0A68 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:55:04] 927*2^1444565-1 is not prime. Res64: 2D10C6CB6D931949 Time : 0.0 sec. user=mdettweiler [2016-10-31 22:55:04] 939*2^1444565-1 is not prime. Res64: E6376D4E17F0A47B Time : 0.0 sec. user=mdettweiler [2016-10-31 22:55:04] 957*2^1444565-1 is not prime. Res64: 9F8B6F7CDDC4A5FB Time : 0.0 sec. user=mdettweiler [2016-10-31 23:04:36] 981*2^1444565-1 is not prime. Res64: 065AF0DB00628E5C Time : 0.0 sec. user=mdettweiler [2016-10-31 23:04:38] 717*2^1444566-1 is not prime. Res64: 001D184D14706512 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:04:39] 755*2^1444566-1 is not prime. Res64: 9BFA5AE2C5CB2CEA Time : 0.0 sec. user=mdettweiler [2016-10-31 23:04:40] 807*2^1444566-1 is not prime. Res64: F82059E7DA28AC4B Time : 0.0 sec. user=mdettweiler [2016-10-31 23:04:41] 825*2^1444566-1 is not prime. Res64: 97918BB5895DEDCC Time : 0.0 sec. user=mdettweiler [2016-10-31 23:14:38] 705*2^1444567-1 is not prime. Res64: 571D7E9E787E2AAB Time : 0.0 sec. user=mdettweiler [2016-10-31 23:14:38] 759*2^1444567-1 is not prime. Res64: 3200E5BFC9F56190 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:14:38] 871*2^1444567-1 is not prime. Res64: 8DEC1A310892780D Time : 0.0 sec. user=mdettweiler [2016-10-31 23:14:39] 909*2^1444567-1 is not prime. Res64: 524D4953B72F6C0D Time : 0.0 sec. user=mdettweiler [2016-10-31 23:14:39] 973*2^1444567-1 is not prime. Res64: AF777D5AEE578D37 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:34:43] 663*2^1444568-1 is not prime. Res64: 7B0E7822BC1776C1 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:34:43] 669*2^1444568-1 is not prime. Res64: F5F264F7A00A8BC3 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:34:43] 893*2^1444568-1 is not prime. Res64: F07AC1D5E2336F30 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:34:43] 969*2^1444568-1 is not prime. Res64: 7210610228AE57C0 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:34:44] 999*2^1444568-1 is not prime. Res64: DAAF653DC7BC2746 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:42:12] 625*2^1444569-1 is not prime. Res64: 8A80F51936BA4C34 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:42:13] 745*2^1444569-1 is not prime. Res64: 0DE1539EB553604E Time : 0.0 sec. user=mdettweiler [2016-10-31 23:42:13] 889*2^1444569-1 is not prime. Res64: CB0A4D5C28C14EF0 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:42:13] 895*2^1444569-1 is not prime. Res64: 9E1A0C84AF8968F9 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:42:14] 985*2^1444569-1 is not prime. Res64: CD3F6EAD0E276BBE Time : 0.0 sec. user=mdettweiler [2016-10-31 23:51:38] 713*2^1444570-1 is not prime. Res64: 3B20D3174B7B7073 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:51:38] 773*2^1444570-1 is not prime. Res64: C51E2455CE1EAFD1 Time : 0.0 sec. user=mdettweiler [2016-10-31 23:51:39] 803*2^1444570-1 is not prime. Res64: B665C0948BFA4BCD Time : 0.0 sec. user=mdettweiler [2016-10-31 23:51:39] 887*2^1444570-1 is not prime. Res64: DA08155485B0F41B Time : 0.0 sec. user=mdettweiler [2016-10-31 23:51:39] 923*2^1444570-1 is not prime. Res64: 855AC9AE815FAA44 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:00:01] 601*2^1444571-1 is not prime. Res64: 9C439D1F2DFC1550 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:00:05] 619*2^1444571-1 is not prime. Res64: 0B3036188152DE5E Time : 0.0 sec.