user=mdettweiler [2016-06-24 00:05:25] 861*2^1433355-1 is not prime. Res64: FDA6895B2B37963D Time : 0.0 sec. user=mdettweiler [2016-06-24 00:05:26] 985*2^1433355-1 is not prime. Res64: EE674697BFEAC010 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:05:27] 813*2^1433356-1 is not prime. Res64: 9AEAD7D468C96888 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:05:28] 869*2^1433356-1 is not prime. Res64: 082EF4C1F6A6FF4F Time : 0.0 sec. user=mdettweiler [2016-06-24 00:05:29] 875*2^1433356-1 is not prime. Res64: 50DBF37BB9CB3EF1 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:14:57] 939*2^1433356-1 is not prime. Res64: C1723017F84196B4 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:14:57] 957*2^1433356-1 is not prime. Res64: 7B87C9CBD761CD18 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:14:57] 711*2^1433357-1 is not prime. Res64: 9F0D561CEA4E93E0 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:14:58] 717*2^1433357-1 is not prime. Res64: EA0579F250DF1878 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:14:58] 741*2^1433357-1 is not prime. Res64: 5AE069611EB436EA Time : 0.0 sec. user=mdettweiler [2016-06-24 00:22:44] 837*2^1433357-1 is not prime. Res64: 15925992EE0D2AB1 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:22:48] 861*2^1433357-1 is not prime. Res64: 1147332A79ABA539 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:22:52] 915*2^1433357-1 is not prime. Res64: 622A1E0646BE033C Time : 0.0 sec. user=mdettweiler [2016-06-24 00:22:56] 991*2^1433357-1 is not prime. Res64: DAC868856D238324 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:23:01] 711*2^1433358-1 is not prime. Res64: A8F9C7DBAFF833D1 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:51:02] 755*2^1433358-1 is not prime. Res64: 05AB98FB66DCF58B Time : 0.0 sec. user=mdettweiler [2016-06-24 00:51:03] 867*2^1433358-1 is not prime. Res64: 1C109426AD01EAE9 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:51:03] 927*2^1433358-1 is not prime. Res64: E5563A2836999763 Time : 0.0 sec. user=mdettweiler [2016-06-24 00:51:03] 971*2^1433358-1 is not prime. Res64: 3CDF55A2A71602CF Time : 0.0 sec. user=mdettweiler [2016-06-24 00:51:04] 793*2^1433359-1 is not prime. Res64: F76DED77055D3BD6 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:00:24] 883*2^1433359-1 is not prime. Res64: DCB48498262E5C7F Time : 0.0 sec. user=mdettweiler [2016-06-24 01:00:24] 925*2^1433359-1 is not prime. Res64: DF84E17D8D039B7E Time : 0.0 sec. user=mdettweiler [2016-06-24 01:00:31] 939*2^1433359-1 is not prime. Res64: 58091C6DC55FD4CE Time : 0.0 sec. user=mdettweiler [2016-06-24 01:00:39] 993*2^1433359-1 is not prime. Res64: 27392F7DE474C615 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:00:45] 633*2^1433360-1 is not prime. Res64: DD36A7F13DD69A37 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:08:35] 759*2^1433360-1 is not prime. Res64: 99A14164005A4A84 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:08:39] 795*2^1433360-1 is not prime. Res64: 03353CECAB6BFEAD Time : 0.0 sec. user=mdettweiler [2016-06-24 01:08:43] 959*2^1433360-1 is not prime. Res64: FEB6F17728CD8929 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:08:47] 711*2^1433361-1 is not prime. Res64: 764C71BE6E00E8D4 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:08:51] 805*2^1433361-1 is not prime. Res64: 6641AC0158301426 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:36:26] 865*2^1433361-1 is not prime. Res64: 0C7E606D0D6FA09C Time : 0.0 sec. user=mdettweiler [2016-06-24 01:36:32] 949*2^1433361-1 is not prime. Res64: FCC2D8F6227D5D87 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:36:37] 979*2^1433361-1 is not prime. Res64: 6F3834A93AB0FB4D Time : 0.0 sec. user=mdettweiler [2016-06-24 01:36:43] 617*2^1433362-1 is not prime. Res64: 4BEDD61C858CE6DF Time : 0.0 sec. user=mdettweiler [2016-06-24 01:36:49] 635*2^1433362-1 is not prime. Res64: EC1D0E8C34A23A16 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:46:29] 741*2^1433362-1 is not prime. Res64: 06C76D63AA9AA26C Time : 0.0 sec. user=mdettweiler [2016-06-24 01:46:33] 827*2^1433362-1 is not prime. Res64: D2F53D7F945AD2CC Time : 0.0 sec. user=mdettweiler [2016-06-24 01:46:37] 945*2^1433362-1 is not prime. Res64: 84C660DE892C91BE Time : 0.0 sec. user=mdettweiler [2016-06-24 01:46:41] 603*2^1433363-1 is not prime. Res64: 07738D019D316937 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:46:45] 783*2^1433363-1 is not prime. Res64: DB2C6887A68683C1 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:54:10] 945*2^1433363-1 is not prime. Res64: 4FB7F56DDFBCB630 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:54:10] 605*2^1433364-1 is not prime. Res64: 66730358FE363E99 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:54:11] 693*2^1433364-1 is not prime. Res64: E70D15138F258DEE Time : 0.0 sec. user=mdettweiler [2016-06-24 01:54:11] 863*2^1433364-1 is not prime. Res64: FC8C72AAB090D782 Time : 0.0 sec. user=mdettweiler [2016-06-24 01:54:12] 765*2^1433365-1 is not prime. Res64: 1B757959556BF9E2 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:09] 939*2^1433365-1 is not prime. Res64: EC96A32A67EA5E53 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:09] 983*2^1433352-1 is not prime. Res64: 3C17F7DA799686F8 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:15] 957*2^1433365-1 is not prime. Res64: A39EA4C1B3CD687B Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:15] 705*2^1433353-1 is not prime. Res64: 588E69E92B851BF5 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:22] 603*2^1433366-1 is not prime. Res64: FB15D03FD9F023FF Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:22] 829*2^1433353-1 is not prime. Res64: 246E803E7CE9D25B Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:28] 915*2^1433353-1 is not prime. Res64: 818584E3D1AA6948 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:28] 671*2^1433366-1 is not prime. Res64: 926D935F529F7F6C Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:28] 919*2^1433353-1 is not prime. Res64: D3204188744C3F33 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:24:35] 773*2^1433366-1 is not prime. Res64: 10803F809B6A41DB Time : 0.0 sec. user=mdettweiler [2016-06-24 02:34:18] 953*2^1433366-1 is not prime. Res64: 918F92500A2E9994 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:34:19] 965*2^1433366-1 is not prime. Res64: 3C3045806099C44F Time : 0.0 sec. user=mdettweiler [2016-06-24 02:34:19] 993*2^1433366-1 is not prime. Res64: B41AA453E67F59DA Time : 0.0 sec. user=mdettweiler [2016-06-24 02:34:20] 693*2^1433367-1 is not prime. Res64: A94C23D090BB272B Time : 0.0 sec. user=mdettweiler [2016-06-24 02:34:20] 765*2^1433367-1 is not prime. Res64: F9BB809111182709 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:43:44] 859*2^1433367-1 is not prime. Res64: DE1EB8EBE9A22EC1 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:43:44] 963*2^1433367-1 is not prime. Res64: C01941CB36EDC3EB Time : 0.0 sec. user=mdettweiler [2016-06-24 02:43:44] 979*2^1433367-1 is not prime. Res64: BDA52575EB4CE685 Time : 0.0 sec. user=mdettweiler [2016-06-24 02:43:45] 603*2^1433368-1 is not prime. Res64: E024F2951013C89B Time : 0.0 sec. user=mdettweiler [2016-06-24 02:43:45] 639*2^1433368-1 is not prime. Res64: 19FA2DD354448A92 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:09:35] 627*2^1433369-1 is not prime. Res64: 2E06C32860F2AB84 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:09:36] 727*2^1433369-1 is not prime. Res64: 27398212A5AF9C9F Time : 0.0 sec. user=mdettweiler [2016-06-24 03:09:36] 759*2^1433369-1 is not prime. Res64: C0B4FACDB66FFBAA Time : 0.0 sec. user=mdettweiler [2016-06-24 03:09:37] 819*2^1433369-1 is not prime. Res64: D4414EB64B7F9992 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:09:37] 841*2^1433369-1 is not prime. Res64: 0FC021D030CEA800 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:10:04] 687*2^1433368-1 is not prime. Res64: 8360F4B25F7D6DD2 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:10:04] 735*2^1433368-1 is not prime. Res64: 3EF1AEB611DBDB55 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:10:04] 849*2^1433368-1 is not prime. Res64: 1F42B6AB6522ACC0 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:10:05] 869*2^1433368-1 is not prime. Res64: F13B5F980E965C20 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:10:05] 999*2^1433368-1 is not prime. Res64: 0098401FD581FBB7 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:19:48] 847*2^1433369-1 is not prime. Res64: 4E18DFC1862863F6 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:19:48] 991*2^1433369-1 is not prime. Res64: F26A48F9CD485BF2 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:19:49] 681*2^1433370-1 is not prime. Res64: 6A6BD12A129AC4E4 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:19:49] 713*2^1433370-1 is not prime. Res64: 3D455DBD1F8B6C15 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:19:50] 747*2^1433370-1 is not prime. Res64: 34CBB3B5ECD89335 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:28:54] 755*2^1433370-1 is not prime. Res64: 10F9700DD6594CE5 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:28:59] 941*2^1433370-1 is not prime. Res64: C20D45E6B588EFC5 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:29:03] 625*2^1433371-1 is not prime. Res64: 13E2625118FD3906 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:29:07] 651*2^1433371-1 is not prime. Res64: 38A96F310CAF44B7 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:29:11] 673*2^1433371-1 is not prime. Res64: A0E3D6F8F0B6A0E6 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:16] 703*2^1433371-1 is not prime. Res64: 58551C70296FE6D8 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:16] 733*2^1433371-1 is not prime. Res64: 9F9ABFD1F2364562 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:17] 855*2^1433371-1 is not prime. Res64: 67463E2A3886F610 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:17] 871*2^1433371-1 is not prime. Res64: 729BC74EEDAA4DA7 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:18] 797*2^1433372-1 is not prime. Res64: F002F8C1D0A1D045 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:57] 803*2^1433372-1 is not prime. Res64: C6BB0C17DEAB60D7 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:57] 879*2^1433372-1 is not prime. Res64: D80BF9247CAF043D Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:58] 899*2^1433372-1 is not prime. Res64: 8888A94B60AC122D Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:58] 609*2^1433373-1 is not prime. Res64: C75980ABAEC407E6 Time : 0.0 sec. user=mdettweiler [2016-06-24 03:54:58] 625*2^1433373-1 is not prime. Res64: 6FC530946BF0CD5A Time : 0.0 sec. user=mdettweiler [2016-06-24 04:04:42] 679*2^1433373-1 is not prime. Res64: 176B07A43C80FF45 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:04:47] 835*2^1433373-1 is not prime. Res64: A6ED74CD7DFBF416 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:04:51] 885*2^1433373-1 is not prime. Res64: D76DE0C751D2C9A6 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:04:56] 919*2^1433373-1 is not prime. Res64: EF2626B0D773C038 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:05:00] 755*2^1433374-1 is not prime. Res64: 378BB796D6B4C78D Time : 0.0 sec. user=mdettweiler [2016-06-24 04:14:02] 791*2^1433374-1 is not prime. Res64: 2F47AEB6796E6482 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:14:07] 891*2^1433374-1 is not prime. Res64: 797DDC72D78D03DA Time : 0.0 sec. user=mdettweiler [2016-06-24 04:14:07] 941*2^1433374-1 is not prime. Res64: 312820A4EF0234A3 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:14:12] 685*2^1433375-1 is not prime. Res64: 1735E87271F509B8 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:14:18] 715*2^1433375-1 is not prime. Res64: DD0A646ECC4E2A74 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:00] 735*2^1433375-1 is not prime. Res64: D0ECF7DF441B902D Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:07] 783*2^1433375-1 is not prime. Res64: 6D981116301B782A Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:14] 799*2^1433375-1 is not prime. Res64: A5C54DEFD0766BB8 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:20] 829*2^1433375-1 is not prime. Res64: 1883B2A144703E2F Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:21] 985*2^1433375-1 is not prime. Res64: 73F33B32E61A4105 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:35] 633*2^1433376-1 is not prime. Res64: D521600E39DCB1CB Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:42] 765*2^1433376-1 is not prime. Res64: A7DFDBA01EEA3C89 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:49] 767*2^1433376-1 is not prime. Res64: 91FAD8A6144C89D4 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:39:56] 789*2^1433376-1 is not prime. Res64: DB362E55F2A2A474 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:40:03] 887*2^1433376-1 is not prime. Res64: 07FBE7BEC271A460 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:49:54] 983*2^1433376-1 is not prime. Res64: A673172B76334B66 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:49:58] 661*2^1433377-1 is not prime. Res64: 479F109F4F7A3D78 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:49:58] 841*2^1433377-1 is not prime. Res64: 57ED7DFB83072CA8 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:50:02] 901*2^1433377-1 is not prime. Res64: 6C99AEF010E0CE36 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:50:06] 919*2^1433377-1 is not prime. Res64: 48F9D542F14784B8 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:59:02] 975*2^1433377-1 is not prime. Res64: 48AA715D17C76AEF Time : 0.0 sec. user=mdettweiler [2016-06-24 04:59:02] 641*2^1433378-1 is not prime. Res64: 55E03AC0473C0FF5 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:59:02] 687*2^1433378-1 is not prime. Res64: AD42D55746DBE0E7 Time : 0.0 sec. user=mdettweiler [2016-06-24 04:59:03] 711*2^1433378-1 is not prime. Res64: EE7D610FE06FC1BD Time : 0.0 sec. user=mdettweiler [2016-06-24 04:59:03] 767*2^1433378-1 is not prime. Res64: 932DA31F601FD55D Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:07] 861*2^1433378-1 is not prime. Res64: 7323C8254F5F347D Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:12] 887*2^1433378-1 is not prime. Res64: 2520BBA5E7C2E921 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:16] 923*2^1433378-1 is not prime. Res64: CCCA1FB8D93CB1D7 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:20] 945*2^1433378-1 is not prime. Res64: 6CF8CC21BFA24A09 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:24] 621*2^1433379-1 is not prime. Res64: 5AD699CE1E154363 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:44] 679*2^1433379-1 is not prime. Res64: 80656468C738839C Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:48] 709*2^1433379-1 is not prime. Res64: 1E09CBB2C236F3DE Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:52] 775*2^1433379-1 is not prime. Res64: 57FBDF620A56FE6B Time : 0.0 sec. user=mdettweiler [2016-06-24 05:24:56] 795*2^1433379-1 is not prime. Res64: E25A13337ABEE73E Time : 0.0 sec. user=mdettweiler [2016-06-24 05:25:00] 951*2^1433379-1 is not prime. Res64: 6D109BE9FBD8E06A Time : 0.0 sec. user=mdettweiler [2016-06-24 05:34:54] 605*2^1433380-1 is not prime. Res64: EED92766C4903D8C Time : 0.0 sec. user=mdettweiler [2016-06-24 05:34:54] 677*2^1433380-1 is not prime. Res64: 3EBE6D27EF01F652 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:34:54] 797*2^1433380-1 is not prime. Res64: A605A43902E28540 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:34:55] 825*2^1433380-1 is not prime. Res64: 472B5EF2B5CACD0B Time : 0.0 sec. user=mdettweiler [2016-06-24 05:34:55] 875*2^1433380-1 is not prime. Res64: 83C976B96387E6AA Time : 0.0 sec. user=mdettweiler [2016-06-24 05:43:55] 959*2^1433380-1 is not prime. Res64: F3F927F2AA368EFE Time : 0.0 sec. user=mdettweiler [2016-06-24 05:43:55] 989*2^1433380-1 is not prime. Res64: 9B3ACC72E9FEB875 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:43:56] 607*2^1433381-1 is not prime. Res64: E08B118DA54D3835 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:43:56] 685*2^1433381-1 is not prime. Res64: D26D1622552C0D52 Time : 0.0 sec. user=mdettweiler [2016-06-24 05:43:57] 927*2^1433381-1 is not prime. Res64: 36833300433F6804 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:14] 615*2^1433382-1 is not prime. Res64: 2048AD3950041D23 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:15] 671*2^1433382-1 is not prime. Res64: 1A8A6A84B20DBDE8 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:15] 705*2^1433382-1 is not prime. Res64: 21454CEAB8D2AA02 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:16] 723*2^1433382-1 is not prime. Res64: 252CCBEB130B2B64 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:16] 797*2^1433382-1 is not prime. Res64: 19BFA51EB2A91C3D Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:58] 821*2^1433382-1 is not prime. Res64: 65864C1F7673FFDF Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:58] 863*2^1433382-1 is not prime. Res64: D6AF6EBCF63A5DA5 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:59] 867*2^1433382-1 is not prime. Res64: 20043804502BE8A6 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:59] 887*2^1433382-1 is not prime. Res64: EB76E85EFDB88695 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:09:59] 983*2^1433382-1 is not prime. Res64: 7640CF30FF8933F3 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:19:35] 685*2^1433383-1 is not prime. Res64: 6BC56C66DB010461 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:19:35] 789*2^1433383-1 is not prime. Res64: 1A5E0C68AF7992C8 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:19:36] 793*2^1433383-1 is not prime. Res64: 09048CF381A19954 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:19:37] 853*2^1433383-1 is not prime. Res64: 141DCF79A394ADEA Time : 0.0 sec. user=mdettweiler [2016-06-24 06:19:37] 939*2^1433383-1 is not prime. Res64: FF990510D5CD185A Time : 0.0 sec. user=mdettweiler [2016-06-24 06:29:02] 993*2^1433383-1 is not prime. Res64: A22305709073F7DB Time : 0.0 sec. user=mdettweiler [2016-06-24 06:29:09] 687*2^1433384-1 is not prime. Res64: 8D6C77642A446A95 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:29:14] 689*2^1433384-1 is not prime. Res64: B8DBBA94AB6021C0 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:29:19] 897*2^1433384-1 is not prime. Res64: B27AF047D1F87656 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:29:24] 927*2^1433384-1 is not prime. Res64: 773B6BF83253E26C Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:09] 699*2^1433385-1 is not prime. Res64: EB22B4494777DB81 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:09] 705*2^1433385-1 is not prime. Res64: 4804CAF3CF31C831 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:09] 735*2^1433385-1 is not prime. Res64: 183F5F626EA584EF Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:10] 819*2^1433385-1 is not prime. Res64: 7BC9193939C741B6 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:10] 909*2^1433385-1 is not prime. Res64: DDC28AB545BAD67A Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:35] 611*2^1433386-1 is not prime. Res64: 1B8398918C7C8B9B Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:35] 633*2^1433386-1 is not prime. Res64: 33812A78A0105C5B Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:35] 755*2^1433386-1 is not prime. Res64: 1D868D81E55E2DFA Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:36] 777*2^1433386-1 is not prime. Res64: FCAD3641AA829051 Time : 0.0 sec. user=mdettweiler [2016-06-24 06:54:36] 857*2^1433386-1 is not prime. Res64: B7DFECD4773815CF Time : 0.0 sec. user=mdettweiler [2016-06-24 07:04:38] 917*2^1433386-1 is not prime. Res64: 7A2CE84A981D9718 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:04:44] 945*2^1433386-1 is not prime. Res64: 7D36693696BF03AB Time : 0.0 sec. user=mdettweiler [2016-06-24 07:04:51] 655*2^1433387-1 is not prime. Res64: AF7B647F559262BF Time : 0.0 sec. user=mdettweiler [2016-06-24 07:04:57] 693*2^1433387-1 is not prime. Res64: 61EE0BB35E1EB45D Time : 0.0 sec. user=mdettweiler [2016-06-24 07:05:03] 799*2^1433387-1 is not prime. Res64: F99E744374D9C6FD Time : 0.0 sec. user=mdettweiler [2016-06-24 07:14:05] 861*2^1433387-1 is not prime. Res64: F26BDFCD598BAA19 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:14:06] 915*2^1433387-1 is not prime. Res64: 7BB01890C7E7F513 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:14:06] 647*2^1433388-1 is not prime. Res64: 9E4DB3F488066C15 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:14:07] 669*2^1433388-1 is not prime. Res64: 721DF05993AF2192 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:14:07] 797*2^1433388-1 is not prime. Res64: 7DC8360821A989FE Time : 0.0 sec. user=mdettweiler [2016-06-24 07:38:57] 899*2^1433388-1 is not prime. Res64: 06FF9B5FE5BD5921 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:01] 977*2^1433388-1 is not prime. Res64: CCA3C2971F51FB71 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:05] 625*2^1433389-1 is not prime. Res64: 077F3B58301AA100 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:09] 681*2^1433389-1 is not prime. Res64: 2659D016FB612182 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:13] 861*2^1433389-1 is not prime. Res64: CD59F9EB68072EB9 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:22] 957*2^1433389-1 is not prime. Res64: 28104158C0825CD6 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:26] 979*2^1433389-1 is not prime. Res64: 40E1CA25009A51C9 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:30] 985*2^1433389-1 is not prime. Res64: EC73A18E92E6D409 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:34] 999*2^1433389-1 is not prime. Res64: 40A2CB23A0719079 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:39:38] 731*2^1433390-1 is not prime. Res64: 0D6B54A7C0133B01 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:50:03] 785*2^1433390-1 is not prime. Res64: 0C74661E02FE0543 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:50:03] 801*2^1433390-1 is not prime. Res64: 1414817C001D6F56 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:50:04] 825*2^1433390-1 is not prime. Res64: 8801D9B635F79FE3 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:50:04] 851*2^1433390-1 is not prime. Res64: 7D47CB45BAED59D8 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:50:04] 867*2^1433390-1 is not prime. Res64: 75BA894BBEF26CA2 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:58:58] 935*2^1433390-1 is not prime. Res64: 17CFE2D8FF403A2C Time : 0.0 sec. user=mdettweiler [2016-06-24 07:58:59] 945*2^1433390-1 is not prime. Res64: ACB8A2ACF62C863D Time : 0.0 sec. user=mdettweiler [2016-06-24 07:58:59] 643*2^1433391-1 is not prime. Res64: 5FCF67C02584E94E Time : 0.0 sec. user=mdettweiler [2016-06-24 07:58:59] 741*2^1433391-1 is not prime. Res64: A0B3636E1170B1E2 Time : 0.0 sec. user=mdettweiler [2016-06-24 07:59:00] 783*2^1433391-1 is not prime. Res64: BC13AED0DB0661CF Time : 0.0 sec. user=mdettweiler [2016-06-24 08:23:59] 793*2^1433391-1 is not prime. Res64: 46A9FC0597AE7675 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:03] 975*2^1433391-1 is not prime. Res64: 4F27B53DEDFFACAC Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:07] 665*2^1433392-1 is not prime. Res64: 2C910E19A3E5801A Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:07] 747*2^1433392-1 is not prime. Res64: B0059B9D97097644 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:11] 833*2^1433392-1 is not prime. Res64: C3516515612DE156 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:24] 975*2^1433392-1 is not prime. Res64: 9E412E4314F54F50 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:28] 795*2^1433393-1 is not prime. Res64: 89FA91807A3DAA13 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:32] 811*2^1433393-1 is not prime. Res64: C370964FDCD19BDC Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:36] 901*2^1433393-1 is not prime. Res64: D683B8EEEC139AD3 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:24:40] 981*2^1433393-1 is not prime. Res64: AFAAEFD871FBB1E0 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:34:36] 985*2^1433393-1 is not prime. Res64: 08F1392FC985752A Time : 0.0 sec. user=mdettweiler [2016-06-24 08:34:37] 605*2^1433394-1 is not prime. Res64: F589C64CB98A0C04 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:34:37] 663*2^1433394-1 is not prime. Res64: 2D4AA1BA6461F7C1 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:34:37] 905*2^1433394-1 is not prime. Res64: 8CE278C9C375922A Time : 0.0 sec. user=mdettweiler [2016-06-24 08:34:38] 927*2^1433394-1 is not prime. Res64: 4EEDEC644220BC3F Time : 0.0 sec. user=mdettweiler [2016-06-24 08:43:44] 941*2^1433394-1 is not prime. Res64: 13B756E84C3F339C Time : 0.0 sec. user=mdettweiler [2016-06-24 08:43:49] 971*2^1433394-1 is not prime. Res64: 9E58557DBDE7E5C1 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:43:53] 631*2^1433395-1 is not prime. Res64: 41E3A702768DCB79 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:43:57] 651*2^1433395-1 is not prime. Res64: 5CA785D64B824403 Time : 0.0 sec. user=mdettweiler [2016-06-24 08:44:01] 693*2^1433395-1 is not prime. Res64: 7EFC05C69F6DAA85 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:00] 735*2^1433395-1 is not prime. Res64: B59D723E04964E16 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:01] 853*2^1433395-1 is not prime. Res64: 0DED010E61C1D6AF Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:01] 861*2^1433395-1 is not prime. Res64: FAEB679C987F024E Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:02] 883*2^1433395-1 is not prime. Res64: 39EB82F055A1B1BC Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:02] 659*2^1433396-1 is not prime. Res64: 44B92D5B1F7661E7 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:20] 735*2^1433396-1 is not prime. Res64: 961E4589AB677D30 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:20] 759*2^1433396-1 is not prime. Res64: EB870CDF2784DD10 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:21] 867*2^1433396-1 is not prime. Res64: 7758DAAD6176B43A Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:21] 873*2^1433396-1 is not prime. Res64: 5527F289E00C8F69 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:09:21] 909*2^1433396-1 is not prime. Res64: 5C9F7CEEF1AEAFC4 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:19:30] 999*2^1433396-1 is not prime. Res64: 952B97D736DF781D Time : 0.0 sec. user=mdettweiler [2016-06-24 09:19:34] 711*2^1433397-1 is not prime. Res64: 5A11D5DF9A8D1AF5 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:19:38] 765*2^1433397-1 is not prime. Res64: 8E938571799D5D51 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:19:42] 915*2^1433397-1 is not prime. Res64: 541F2711175541DF Time : 0.0 sec. user=mdettweiler [2016-06-24 09:19:46] 949*2^1433397-1 is not prime. Res64: 6092F1E47E507A2D Time : 0.0 sec. user=mdettweiler [2016-06-24 09:28:44] 621*2^1433398-1 is not prime. Res64: 157D530DA56AE332 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:28:50] 657*2^1433398-1 is not prime. Res64: 5901E1F85259A389 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:28:57] 665*2^1433398-1 is not prime. Res64: 7626DB5D50481D61 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:29:03] 707*2^1433398-1 is not prime. Res64: 620CF81C6A6DE6AD Time : 0.0 sec. user=mdettweiler [2016-06-24 09:29:09] 831*2^1433398-1 is not prime. Res64: A32767A6E11F1C5D Time : 0.0 sec. user=mdettweiler [2016-06-24 09:53:49] 941*2^1433398-1 is not prime. Res64: 1B328713BB060DED Time : 0.0 sec. user=mdettweiler [2016-06-24 09:53:56] 655*2^1433399-1 is not prime. Res64: 92B3058662DBBCF3 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:01] 705*2^1433399-1 is not prime. Res64: 6327C0FE15343B50 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:02] 799*2^1433399-1 is not prime. Res64: E1503F6E7400B569 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:08] 711*2^1433399-1 is not prime. Res64: E3476FCCEA42DD6B Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:08] 841*2^1433399-1 is not prime. Res64: 0912133E551D203A Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:14] 855*2^1433399-1 is not prime. Res64: 964769B4470BD663 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:14] 753*2^1433399-1 is not prime. Res64: E3A4291371CCD6B8 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:20] 913*2^1433399-1 is not prime. Res64: DBF9035D713478A2 Time : 0.0 sec. user=mdettweiler [2016-06-24 09:54:20] 993*2^1433399-1 is not prime. Res64: FD8432DD9A2EC37D Time : 0.0 sec. user=mdettweiler [2016-06-24 10:04:33] 795*2^1433400-1 is not prime. Res64: 908F9D2677B1B58A Time : 0.0 sec. user=mdettweiler [2016-06-24 10:04:37] 797*2^1433400-1 is not prime. Res64: 410422F67EF6BA67 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:04:42] 887*2^1433400-1 is not prime. Res64: 6A133AD71E8C9600 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:04:48] 619*2^1433401-1 is not prime. Res64: 1E806F16CF437ECA Time : 0.0 sec. user=mdettweiler [2016-06-24 10:04:55] 651*2^1433401-1 is not prime. Res64: 9F8AD4DC9473B8C8 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:14:08] 685*2^1433401-1 is not prime. Res64: F8429D7EDE25B8CF Time : 0.0 sec. user=mdettweiler [2016-06-24 10:14:08] 777*2^1433401-1 is not prime. Res64: AFB0039F03F9D5AB Time : 0.0 sec. user=mdettweiler [2016-06-24 10:14:09] 817*2^1433401-1 is not prime. Res64: 72FCCF384B3D6F72 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:14:09] 861*2^1433401-1 is not prime. Res64: 484ACB6E92DDAFE5 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:14:10] 871*2^1433401-1 is not prime. Res64: 91963ECDD4C7C247 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:38:56] 931*2^1433401-1 is not prime. Res64: FB2E756598343FB0 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:00] 951*2^1433401-1 is not prime. Res64: DF694BDBF98F7F9E Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:00] 603*2^1433402-1 is not prime. Res64: E0FE9A3056F35A61 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:04] 623*2^1433402-1 is not prime. Res64: 722606BA9ED81919 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:04] 967*2^1433401-1 is not prime. Res64: 8EA4B293E2CD87F5 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:08] 987*2^1433401-1 is not prime. Res64: BBD59592E8C0C9E7 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:08] 713*2^1433402-1 is not prime. Res64: 99C3E4290155B1D1 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:12] 743*2^1433402-1 is not prime. Res64: EE1968A2F3A98C6B Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:12] 999*2^1433401-1 is not prime. Res64: A8B9A83EED3B89F9 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:39:13] 875*2^1433402-1 is not prime. Res64: FC4CA90CBDA0BDC2 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:49:59] 921*2^1433402-1 is not prime. Res64: 6E2672329662ABA2 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:49:59] 953*2^1433402-1 is not prime. Res64: 1BD51A7A1BC0675B Time : 0.0 sec. user=mdettweiler [2016-06-24 10:50:00] 957*2^1433402-1 is not prime. Res64: 6F92CCC1C6BA1E37 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:50:00] 963*2^1433402-1 is not prime. Res64: EFCDAF060A2159F0 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:50:01] 679*2^1433403-1 is not prime. Res64: 411EC1ECCB2F73AB Time : 0.0 sec. user=mdettweiler [2016-06-24 10:59:03] 781*2^1433403-1 is not prime. Res64: 63383BB56EDD5765 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:59:04] 825*2^1433403-1 is not prime. Res64: F444FF1B75C6A3C4 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:59:04] 879*2^1433403-1 is not prime. Res64: 9E39F80342CA7D37 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:59:04] 895*2^1433403-1 is not prime. Res64: 43E644AB56710578 Time : 0.0 sec. user=mdettweiler [2016-06-24 10:59:05] 665*2^1433404-1 is not prime. Res64: A89AC1546357D694 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:23:56] 783*2^1433404-1 is not prime. Res64: 880A5AB80166FBA4 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:00] 785*2^1433404-1 is not prime. Res64: 302DAB95F8C7672C Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:05] 875*2^1433404-1 is not prime. Res64: B1A664DCF83857F6 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:09] 857*2^1433404-1 is not prime. Res64: BFCB1935D09BB403 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:09] 927*2^1433404-1 is not prime. Res64: 2D295620C7C15B49 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:13] 989*2^1433404-1 is not prime. Res64: A8010680A5112C72 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:13] 965*2^1433404-1 is not prime. Res64: DA550DD2FB26C87B Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:17] 619*2^1433405-1 is not prime. Res64: 81E2F49B61C7AD13 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:21] 669*2^1433405-1 is not prime. Res64: DF53D629DED33FC1 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:24:25] 675*2^1433405-1 is not prime. Res64: C32DAEE718F67749 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:34:52] 685*2^1433405-1 is not prime. Res64: 7B513ED6B2C91E91 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:34:53] 741*2^1433405-1 is not prime. Res64: E2CCE7138B444F77 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:34:53] 787*2^1433405-1 is not prime. Res64: C624D915E46E2B43 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:34:54] 811*2^1433405-1 is not prime. Res64: A8B6CB4FCDDA9046 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:34:54] 985*2^1433405-1 is not prime. Res64: 18EAA2D2707910DB Time : 0.0 sec. user=mdettweiler [2016-06-24 11:43:47] 705*2^1433406-1 is not prime. Res64: 1178F9802C4D19FA Time : 0.0 sec. user=mdettweiler [2016-06-24 11:43:48] 723*2^1433406-1 is not prime. Res64: C21B4D152B995E8B Time : 0.0 sec. user=mdettweiler [2016-06-24 11:43:48] 755*2^1433406-1 is not prime. Res64: 4B250FF29AAB2C22 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:43:48] 777*2^1433406-1 is not prime. Res64: 930007867C882AC4 Time : 0.0 sec. user=mdettweiler [2016-06-24 11:43:49] 795*2^1433406-1 is not prime. Res64: 9A0AD0232997E50E Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:03] 963*2^1433406-1 is not prime. Res64: 855FE8E7295EB00F Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:04] 601*2^1433407-1 is not prime. Res64: 4EA5B7F9A0B04E4F Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:04] 645*2^1433407-1 is not prime. Res64: 248E1EE91FEA4E55 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:04] 693*2^1433407-1 is not prime. Res64: E941250775CD67A7 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:05] 705*2^1433407-1 is not prime. Res64: 0C81F60F02A5E8FF Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:11] 741*2^1433407-1 is not prime. Res64: 1EB1D9390EA36D6C Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:12] 871*2^1433407-1 is not prime. Res64: 14635F163F973280 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:12] 915*2^1433407-1 is not prime. Res64: B5C873FA910EC3CE Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:12] 931*2^1433407-1 is not prime. Res64: 2D25AC47237194EB Time : 0.0 sec. user=mdettweiler [2016-06-24 12:09:13] 933*2^1433407-1 is not prime. Res64: 684F9091109313C8 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:19:45] 615*2^1433408-1 is not prime. Res64: 3EF091FD4FE12B84 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:19:45] 689*2^1433408-1 is not prime. Res64: D49D49643D0630A3 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:19:45] 699*2^1433408-1 is not prime. Res64: E5AA5FDDD850D327 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:19:46] 845*2^1433408-1 is not prime. Res64: 7A8F58458E892E6C Time : 0.0 sec. user=mdettweiler [2016-06-24 12:19:46] 893*2^1433408-1 is not prime. Res64: CB543A5194E36EAD Time : 0.0 sec. user=mdettweiler [2016-06-24 12:28:40] 963*2^1433408-1 is not prime. Res64: 52AA57F8842939C8 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:28:44] 675*2^1433409-1 is not prime. Res64: 9E8AA6885154926B Time : 0.0 sec. user=mdettweiler [2016-06-24 12:28:48] 679*2^1433409-1 is not prime. Res64: 260FF6C8409D4C0C Time : 0.0 sec. user=mdettweiler [2016-06-24 12:28:52] 681*2^1433409-1 is not prime. Res64: 2CC2D96AA8281A1F Time : 0.0 sec. user=mdettweiler [2016-06-24 12:28:57] 829*2^1433409-1 is not prime. Res64: D54FCAB7F5A9371B Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:35] 847*2^1433409-1 is not prime. Res64: 637AF9DA7C34330B Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:36] 955*2^1433409-1 is not prime. Res64: 7619EF0E84F1EE17 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:36] 687*2^1433410-1 is not prime. Res64: 0D113B00A0D89736 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:37] 981*2^1433410-1 is not prime. Res64: 8C6C5BA571AB64BE Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:37] 995*2^1433410-1 is not prime. Res64: 0F06FB92B396B6FB Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:43] 609*2^1433411-1 is not prime. Res64: 5A93EBA86485793D Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:43] 621*2^1433411-1 is not prime. Res64: 39B087FFFE4ECE37 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:44] 649*2^1433411-1 is not prime. Res64: 43B5B59EB4F195A8 Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:44] 669*2^1433411-1 is not prime. Res64: C0509A37EB4E825F Time : 0.0 sec. user=mdettweiler [2016-06-24 12:53:44] 931*2^1433411-1 is not prime. Res64: D7BD1DD4452E16F0 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:04:25] 939*2^1433411-1 is not prime. Res64: 75B176707075EF26 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:04:32] 639*2^1433412-1 is not prime. Res64: 3D56E08805D97AEA Time : 0.0 sec. user=mdettweiler [2016-06-24 13:04:35] 657*2^1433412-1 is not prime. Res64: 36736551ADF3EED2 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:04:36] 767*2^1433412-1 is not prime. Res64: 0BACC55C10376A07 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:04:37] 803*2^1433412-1 is not prime. Res64: 1013BB5F91959565 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:13:36] 863*2^1433412-1 is not prime. Res64: 13B38A6729A9AF38 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:13:36] 715*2^1433413-1 is not prime. Res64: 8C7227AB0540E846 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:13:36] 769*2^1433413-1 is not prime. Res64: EFE1D5488AB6D31F Time : 0.0 sec. user=mdettweiler [2016-06-24 13:13:37] 835*2^1433413-1 is not prime. Res64: A201C2CE05E91982 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:13:37] 859*2^1433413-1 is not prime. Res64: 0308D67452425300 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:18] 889*2^1433413-1 is not prime. Res64: 7FB1F1AE2472B1B6 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:22] 939*2^1433413-1 is not prime. Res64: F4BB3E55910BC031 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:26] 635*2^1433414-1 is not prime. Res64: 6CAEC048E0892777 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:30] 773*2^1433414-1 is not prime. Res64: DC38908FE42CDC74 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:34] 851*2^1433414-1 is not prime. Res64: 4A320B17A5D7072C Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:34] 857*2^1433414-1 is not prime. Res64: F08292B159E84C20 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:38] 873*2^1433414-1 is not prime. Res64: 1411AA17960B143A Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:42] 663*2^1433415-1 is not prime. Res64: 6BB37A11D104712E Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:46] 765*2^1433415-1 is not prime. Res64: C8926DA715A105B5 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:38:50] 861*2^1433415-1 is not prime. Res64: EB581EA750886990 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:49:23] 909*2^1433415-1 is not prime. Res64: C588687E316A1651 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:49:24] 693*2^1433416-1 is not prime. Res64: 0477D43CA1F5712B Time : 0.0 sec. user=mdettweiler [2016-06-24 13:49:24] 723*2^1433416-1 is not prime. Res64: 850D740D0F720BBA Time : 0.0 sec. user=mdettweiler [2016-06-24 13:49:24] 765*2^1433416-1 is not prime. Res64: 72C2351C8E79A9E1 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:49:25] 843*2^1433416-1 is not prime. Res64: E26CA5F3E89F3062 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:58:21] 849*2^1433416-1 is not prime. Res64: 5D75A4EC0B0584ED Time : 0.0 sec. user=mdettweiler [2016-06-24 13:58:22] 619*2^1433417-1 is not prime. Res64: 7065B42158222A26 Time : 0.0 sec. user=mdettweiler [2016-06-24 13:58:22] 669*2^1433417-1 is not prime. Res64: D2B65F3279DBE74A Time : 0.0 sec. user=mdettweiler [2016-06-24 13:58:22] 711*2^1433417-1 is not prime. Res64: 0BE875E035311FED Time : 0.0 sec. user=mdettweiler [2016-06-24 13:58:23] 735*2^1433417-1 is not prime. Res64: A9B14D8FB3DA1606 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:03] 841*2^1433417-1 is not prime. Res64: 8C2A422A8243A6DC Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:03] 861*2^1433417-1 is not prime. Res64: 197DE175F4EC3B9A Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:04] 945*2^1433417-1 is not prime. Res64: 996CA5621E22EC2C Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:04] 957*2^1433417-1 is not prime. Res64: A8BD1117653D9374 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:05] 647*2^1433418-1 is not prime. Res64: D4B7569C89DF4DB9 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:31] 867*2^1433418-1 is not prime. Res64: 43857C45F7921CB1 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:32] 751*2^1433419-1 is not prime. Res64: 8BD997509A4917C2 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:32] 909*2^1433419-1 is not prime. Res64: 2D67C0FF0B9A16BC Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:33] 919*2^1433419-1 is not prime. Res64: 3C2AA7454E2976A0 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:23:33] 615*2^1433420-1 is not prime. Res64: 13A62F881F728CC1 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:34:12] 687*2^1433420-1 is not prime. Res64: 33B229428A0EFB20 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:34:16] 797*2^1433420-1 is not prime. Res64: EE95FB88E55268C4 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:34:20] 827*2^1433420-1 is not prime. Res64: 859BA9026855A38C Time : 0.0 sec. user=mdettweiler [2016-06-24 14:34:24] 855*2^1433420-1 is not prime. Res64: 180DAF1FB08AF51F Time : 0.0 sec. user=mdettweiler [2016-06-24 14:34:28] 711*2^1433421-1 is not prime. Res64: 350B508AAEC0C1E5 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:43:04] 735*2^1433421-1 is not prime. Res64: 465C3FBF5F28318F Time : 0.0 sec. user=mdettweiler [2016-06-24 14:43:11] 789*2^1433421-1 is not prime. Res64: F61D5DFC009CBB68 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:43:18] 889*2^1433421-1 is not prime. Res64: A2731231D4A77491 Time : 0.0 sec. user=mdettweiler [2016-06-24 14:43:25] 907*2^1433421-1 is not prime. Res64: 771CAD6C6A6C876C Time : 0.0 sec. user=mdettweiler [2016-06-24 14:43:31] 623*2^1433422-1 is not prime. Res64: 72BB77C8FAF01F97 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:07:41] 713*2^1433422-1 is not prime. Res64: 62F347A94BBA4DA2 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:07:42] 741*2^1433422-1 is not prime. Res64: DB16555CDC07C5A9 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:07:42] 983*2^1433422-1 is not prime. Res64: 9E50AB8C32E451D4 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:07:43] 987*2^1433422-1 is not prime. Res64: ED21607A49422F60 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:07:43] 663*2^1433423-1 is not prime. Res64: 987A82536FCA2F95 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:08:11] 825*2^1433423-1 is not prime. Res64: B9F73DB8C09D909F Time : 0.0 sec. user=mdettweiler [2016-06-24 15:08:11] 981*2^1433423-1 is not prime. Res64: 615E5A6F98EB3E34 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:08:11] 689*2^1433424-1 is not prime. Res64: BCD15DD5551C89F0 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:08:12] 707*2^1433424-1 is not prime. Res64: 2DF74C470016E3E1 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:08:12] 789*2^1433424-1 is not prime. Res64: 3B75053065296AF7 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:19:24] 795*2^1433424-1 is not prime. Res64: 846516987CEEA724 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:19:30] 927*2^1433424-1 is not prime. Res64: FBDAA1AED520DFAD Time : 0.0 sec. user=mdettweiler [2016-06-24 15:19:37] 947*2^1433424-1 is not prime. Res64: FEBD5C08FD4907C0 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:19:44] 661*2^1433425-1 is not prime. Res64: 6775F75A4801BD1B Time : 0.0 sec. user=mdettweiler [2016-06-24 15:19:50] 705*2^1433425-1 is not prime. Res64: 8D6B44C0FAF0F6A9 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:28:13] 727*2^1433425-1 is not prime. Res64: 2BAA683CAB45A1F0 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:28:13] 729*2^1433425-1 is not prime. Res64: 786D1200264E82E5 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:28:13] 789*2^1433425-1 is not prime. Res64: 6B18B8AEFEC396D9 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:28:14] 801*2^1433425-1 is not prime. Res64: C14A97D047EAFB87 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:28:14] 855*2^1433425-1 is not prime. Res64: F6EAE3295FB99D28 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:38] 885*2^1433425-1 is not prime. Res64: 56FB69E7103CB2B9 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:42] 985*2^1433425-1 is not prime. Res64: 7333DD4190774483 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:46] 633*2^1433426-1 is not prime. Res64: 35C115826C92CADD Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:50] 657*2^1433426-1 is not prime. Res64: 03ED205181DB75D8 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:50] 743*2^1433426-1 is not prime. Res64: AC84BCFA610F1801 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:54] 773*2^1433426-1 is not prime. Res64: 8982656AB3961ED5 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:54] 735*2^1433426-1 is not prime. Res64: 952520B68BAEE89B Time : 0.0 sec. user=mdettweiler [2016-06-24 15:52:58] 783*2^1433426-1 is not prime. Res64: 81B7A88FBF3CFFF8 Time : 0.0 sec. user=mdettweiler [2016-06-24 15:53:02] 887*2^1433426-1 is not prime. Res64: 9D28898B7B728FAA Time : 0.0 sec. user=mdettweiler [2016-06-24 15:53:06] 911*2^1433426-1 is not prime. Res64: 6826AF5089FB46FA Time : 0.0 sec. user=mdettweiler [2016-06-24 16:04:36] 981*2^1433426-1 is not prime. Res64: A34958736EC32535 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:04:37] 609*2^1433427-1 is not prime. Res64: 2F6D7B9F42802033 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:04:38] 675*2^1433427-1 is not prime. Res64: 8CCB71168D8B9D9A Time : 0.0 sec. user=mdettweiler [2016-06-24 16:04:39] 685*2^1433427-1 is not prime. Res64: 7AF7517D105840D5 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:04:40] 751*2^1433427-1 is not prime. Res64: FFD072C09C29BAD1 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:12:41] 951*2^1433427-1 is not prime. Res64: 2B41FABD2A990628 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:12:42] 963*2^1433427-1 is not prime. Res64: 2E7377D430DFE931 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:12:42] 689*2^1433428-1 is not prime. Res64: 6B5A060B1A436055 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:12:42] 743*2^1433428-1 is not prime. Res64: 9CA74B137F5F6C2B Time : 0.0 sec. user=mdettweiler [2016-06-24 16:12:43] 765*2^1433428-1 is not prime. Res64: 01FE0C5800885187 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:24] 777*2^1433428-1 is not prime. Res64: CDBC70E1B572340E Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:30] 839*2^1433428-1 is not prime. Res64: 245264F026CE9073 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:31] 993*2^1433428-1 is not prime. Res64: FB6C1CBBB2DDC428 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:35] 615*2^1433429-1 is not prime. Res64: 5C2D70548C973FF5 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:35] 865*2^1433429-1 is not prime. Res64: 4803309086C47E1A Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:39] 867*2^1433429-1 is not prime. Res64: B6DE2CC7592FA1E9 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:39] 649*2^1433429-1 is not prime. Res64: 2F5C7A34D705674D Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:43] 939*2^1433429-1 is not prime. Res64: 9FEAF4FB13FE39D3 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:47] 611*2^1433430-1 is not prime. Res64: A74F95903EC4EB8A Time : 0.0 sec. user=mdettweiler [2016-06-24 16:37:52] 695*2^1433430-1 is not prime. Res64: 52B134A4D6979BA4 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:49:19] 707*2^1433430-1 is not prime. Res64: 34B2526E2CDCE1A2 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:49:20] 863*2^1433430-1 is not prime. Res64: 1296FD19054B45A9 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:49:20] 891*2^1433430-1 is not prime. Res64: CB8FD311DB8E0B47 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:49:20] 941*2^1433430-1 is not prime. Res64: 6981EDA67F31E09D Time : 0.0 sec. user=mdettweiler [2016-06-24 16:49:21] 601*2^1433431-1 is not prime. Res64: 3D698AA49DD77274 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:57:19] 763*2^1433431-1 is not prime. Res64: 10C77EC14FC116A7 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:57:26] 841*2^1433431-1 is not prime. Res64: A0CF6BE076C44A81 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:57:32] 871*2^1433431-1 is not prime. Res64: B570B48B0B0DF360 Time : 0.0 sec. user=mdettweiler [2016-06-24 16:57:38] 925*2^1433431-1 is not prime. Res64: 28289197BCB939CB Time : 0.0 sec. user=mdettweiler [2016-06-24 16:57:45] 931*2^1433431-1 is not prime. Res64: 32C530C370B1122A Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:20] 975*2^1433431-1 is not prime. Res64: DD0DDD14A1254C43 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:20] 665*2^1433432-1 is not prime. Res64: 7D4E44E3361B20A0 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:21] 693*2^1433432-1 is not prime. Res64: 39C11DCCD399D892 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:21] 725*2^1433432-1 is not prime. Res64: EC57DABAA42A11DC Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:21] 915*2^1433432-1 is not prime. Res64: 107EE1A0DCEFA0C4 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:28] 977*2^1433432-1 is not prime. Res64: 7B37BC97E08C670E Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:28] 983*2^1433432-1 is not prime. Res64: 22503855DC47428C Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:28] 759*2^1433433-1 is not prime. Res64: F558AB1ED60FA810 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:29] 889*2^1433433-1 is not prime. Res64: 4545B8CAEFA75E31 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:22:29] 919*2^1433433-1 is not prime. Res64: 4EB4321B5368F28A Time : 0.0 sec. user=mdettweiler [2016-06-24 17:33:56] 949*2^1433433-1 is not prime. Res64: 2D0D948FF8141B9C Time : 0.0 sec. user=mdettweiler [2016-06-24 17:34:00] 621*2^1433434-1 is not prime. Res64: 416382957FA6CBF1 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:34:04] 645*2^1433434-1 is not prime. Res64: 2218F65F9ABFAE56 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:34:08] 755*2^1433434-1 is not prime. Res64: 878FC105C8B67403 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:34:12] 791*2^1433434-1 is not prime. Res64: 836461A70147FB6F Time : 0.0 sec. user=mdettweiler [2016-06-24 17:42:19] 813*2^1433434-1 is not prime. Res64: 66E359C57B8FB2CE Time : 0.0 sec. user=mdettweiler [2016-06-24 17:42:23] 825*2^1433434-1 is not prime. Res64: 1EC08BCF26AD3F82 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:42:27] 833*2^1433434-1 is not prime. Res64: EABBCD3C2B151D58 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:42:31] 887*2^1433434-1 is not prime. Res64: 10FE1115011A18F5 Time : 0.0 sec. user=mdettweiler [2016-06-24 17:42:35] 945*2^1433434-1 is not prime. Res64: B402A9C807136F3D Time : 0.0 sec. user=mdettweiler [2016-06-24 18:06:52] 983*2^1433434-1 is not prime. Res64: DFD422FEC809B868 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:06:54] 655*2^1433435-1 is not prime. Res64: 143E0F3F48BB3AF1 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:06:55] 669*2^1433435-1 is not prime. Res64: 2869E558F876CBEB Time : 0.0 sec. user=mdettweiler [2016-06-24 18:06:55] 675*2^1433435-1 is not prime. Res64: 3A6BCCFB80FC242E Time : 0.0 sec. user=mdettweiler [2016-06-24 18:06:56] 759*2^1433435-1 is not prime. Res64: 91314A0E59107E7D Time : 0.0 sec. user=mdettweiler [2016-06-24 18:07:01] 771*2^1433435-1 is not prime. Res64: D500FDFCA34D094C Time : 0.0 sec. user=mdettweiler [2016-06-24 18:07:03] 789*2^1433435-1 is not prime. Res64: 177CCA0ACC1264DC Time : 0.0 sec. user=mdettweiler [2016-06-24 18:07:04] 825*2^1433435-1 is not prime. Res64: A6D7FC9C3F01CE85 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:07:06] 883*2^1433435-1 is not prime. Res64: C572785FD765D998 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:07:08] 909*2^1433435-1 is not prime. Res64: AC9B8A36C488A5F4 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:18:47] 979*2^1433435-1 is not prime. Res64: 6FF75743FC2165E5 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:18:56] 633*2^1433436-1 is not prime. Res64: 397DBEACC38131B6 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:19:05] 675*2^1433436-1 is not prime. Res64: CCB911FA0B346992 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:19:11] 719*2^1433436-1 is not prime. Res64: 80F0403461772010 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:19:19] 725*2^1433436-1 is not prime. Res64: F9509296551B686E Time : 0.0 sec. user=mdettweiler [2016-06-24 18:27:07] 779*2^1433436-1 is not prime. Res64: 3EF9BDEC8AEDD283 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:27:07] 783*2^1433436-1 is not prime. Res64: 06AD4F175AEE6EF1 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:27:08] 825*2^1433436-1 is not prime. Res64: 36B7276DB2D9AB3A Time : 0.0 sec. user=mdettweiler [2016-06-24 18:27:08] 899*2^1433436-1 is not prime. Res64: EED103E489D6FC5B Time : 0.0 sec. user=mdettweiler [2016-06-24 18:27:08] 909*2^1433436-1 is not prime. Res64: 52F3FFE4511F0D63 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:51:56] 927*2^1433436-1 is not prime. Res64: EB2961B9E7D4EF65 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:51:56] 799*2^1433437-1 is not prime. Res64: D4ED1D6BF1DE6F0D Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:00] 947*2^1433436-1 is not prime. Res64: 555BBA54CE69D6DF Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:00] 817*2^1433437-1 is not prime. Res64: 3A21DF6F55D59D11 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:04] 885*2^1433437-1 is not prime. Res64: 39E2130F51EA13A3 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:04] 645*2^1433437-1 is not prime. Res64: EE99A0F973AE775A Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:08] 931*2^1433437-1 is not prime. Res64: 2BCFF389E15EAED4 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:08] 717*2^1433437-1 is not prime. Res64: D8FDBF39BC7A9692 Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:12] 937*2^1433437-1 is not prime. Res64: 264026933F99BAAE Time : 0.0 sec. user=mdettweiler [2016-06-24 18:52:12] 759*2^1433437-1 is not prime. Res64: 0116B3D8B2DBAA0B Time : 0.0 sec. user=mdettweiler [2016-06-24 19:04:40] 955*2^1433437-1 is not prime. Res64: 7CB7B963D33A0370 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:04:41] 605*2^1433438-1 is not prime. Res64: A06B1D39EC8CC004 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:04:42] 645*2^1433438-1 is not prime. Res64: B29149BFEFACBAFE Time : 0.0 sec. user=mdettweiler [2016-06-24 19:04:43] 743*2^1433438-1 is not prime. Res64: 49BB25F210DED06E Time : 0.0 sec. user=mdettweiler [2016-06-24 19:04:44] 767*2^1433438-1 is not prime. Res64: FDDF23D9CBBC6103 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:12:11] 897*2^1433438-1 is not prime. Res64: F4433491F40C8EE5 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:12:12] 971*2^1433438-1 is not prime. Res64: 4B0EE012D624924D Time : 0.0 sec. user=mdettweiler [2016-06-24 19:12:12] 609*2^1433439-1 is not prime. Res64: 08E6A58EE885A9E0 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:12:12] 669*2^1433439-1 is not prime. Res64: 435FB688663F096F Time : 0.0 sec. user=mdettweiler [2016-06-24 19:12:13] 711*2^1433439-1 is not prime. Res64: 525C4782C6235CA3 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:37:06] 653*2^1433440-1 is not prime. Res64: D517DE8D225D6B38 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:37:07] 819*2^1433440-1 is not prime. Res64: 628DBF560EE17EF8 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:37:07] 887*2^1433440-1 is not prime. Res64: 39D6F25992C15FFA Time : 0.0 sec. user=mdettweiler [2016-06-24 19:37:07] 897*2^1433440-1 is not prime. Res64: 29DFF7501D5B4A11 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:37:08] 965*2^1433440-1 is not prime. Res64: 0F10C84FAB2082AB Time : 0.0 sec. user=mdettweiler [2016-06-24 19:38:24] 843*2^1433439-1 is not prime. Res64: 05546F17B75E064C Time : 0.0 sec. user=mdettweiler [2016-06-24 19:38:24] 895*2^1433439-1 is not prime. Res64: F5B1EB10A5461C65 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:38:25] 909*2^1433439-1 is not prime. Res64: 97817FA0B07C1F15 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:38:25] 969*2^1433439-1 is not prime. Res64: B7EAB6F9067E9142 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:38:25] 609*2^1433440-1 is not prime. Res64: C963CA8FB3F43629 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:49:16] 607*2^1433441-1 is not prime. Res64: 839E8C47BBDF8675 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:49:17] 637*2^1433441-1 is not prime. Res64: F4CAABBFEDEBDA42 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:49:17] 705*2^1433441-1 is not prime. Res64: 416B9014337B80D1 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:49:17] 769*2^1433441-1 is not prime. Res64: 4E5E58F661C29BED Time : 0.0 sec. user=mdettweiler [2016-06-24 19:49:18] 799*2^1433441-1 is not prime. Res64: 8E30488406EA5CA0 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:56:49] 837*2^1433441-1 is not prime. Res64: CA8BF8CC6A7E737D Time : 0.0 sec. user=mdettweiler [2016-06-24 19:56:56] 865*2^1433441-1 is not prime. Res64: C1EFECB81B4890E8 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:57:02] 981*2^1433441-1 is not prime. Res64: 30BD15C725562F41 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:57:08] 621*2^1433442-1 is not prime. Res64: 2576E0C0E6335D83 Time : 0.0 sec. user=mdettweiler [2016-06-24 19:57:08] 635*2^1433442-1 is not prime. Res64: 0470CC33665269CB Time : 0.0 sec. user=mdettweiler [2016-06-24 20:21:45] 677*2^1433442-1 is not prime. Res64: 7ED9D8341C356D43 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:21:46] 725*2^1433442-1 is not prime. Res64: 09F9529589CA135A Time : 0.0 sec. user=mdettweiler [2016-06-24 20:21:46] 741*2^1433442-1 is not prime. Res64: BAF892D4DEBA3823 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:21:47] 921*2^1433442-1 is not prime. Res64: D1101C95481451AA Time : 0.0 sec. user=mdettweiler [2016-06-24 20:21:47] 963*2^1433442-1 is not prime. Res64: 1B55EA4048AEA4C5 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:22:56] 615*2^1433443-1 is not prime. Res64: 44456ED85F951237 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:22:57] 631*2^1433443-1 is not prime. Res64: F75CC0D65095CFA7 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:22:57] 741*2^1433443-1 is not prime. Res64: A5B52483F9FE433A Time : 0.0 sec. user=mdettweiler [2016-06-24 20:22:57] 769*2^1433443-1 is not prime. Res64: EB68939B0AA2D32F Time : 0.0 sec. user=mdettweiler [2016-06-24 20:22:58] 813*2^1433443-1 is not prime. Res64: EC16E204F4BA0785 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:34:05] 853*2^1433443-1 is not prime. Res64: FC254BEDCF56E854 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:34:10] 859*2^1433443-1 is not prime. Res64: 785D9456650A1597 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:34:16] 973*2^1433443-1 is not prime. Res64: F02CE6F2DE2A136B Time : 0.0 sec. user=mdettweiler [2016-06-24 20:34:22] 623*2^1433444-1 is not prime. Res64: A39E558063D8035B Time : 0.0 sec. user=mdettweiler [2016-06-24 20:34:28] 699*2^1433444-1 is not prime. Res64: 2AD74B828E7CC7C3 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:41:59] 707*2^1433444-1 is not prime. Res64: 2219031E9A1FE55E Time : 0.0 sec. user=mdettweiler [2016-06-24 20:42:03] 869*2^1433444-1 is not prime. Res64: 0A2DEC8DD2C31452 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:42:07] 875*2^1433444-1 is not prime. Res64: 608641EEB297BBBE Time : 0.0 sec. user=mdettweiler [2016-06-24 20:42:11] 639*2^1433445-1 is not prime. Res64: C1EB0AFBBB244561 Time : 0.0 sec. user=mdettweiler [2016-06-24 20:42:15] 691*2^1433445-1 is not prime. Res64: CFF02A714670CA7C Time : 0.0 sec. user=mdettweiler [2016-06-24 21:06:43] 717*2^1433445-1 is not prime. Res64: 61E2E9917BD15DB6 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:06:45] 777*2^1433445-1 is not prime. Res64: 1D8F5C8B8A9F4206 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:06:47] 849*2^1433445-1 is not prime. Res64: D3002E6C7D704056 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:06:47] 915*2^1433445-1 is not prime. Res64: C406F7E9CB14C2FE Time : 0.0 sec. user=mdettweiler [2016-06-24 21:06:49] 937*2^1433445-1 is not prime. Res64: 4A8203EDFF1B9A44 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:07:41] 969*2^1433445-1 is not prime. Res64: 302482C27EFB007A Time : 0.0 sec. user=mdettweiler [2016-06-24 21:07:44] 611*2^1433446-1 is not prime. Res64: ACD6E25B47D46803 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:07:46] 635*2^1433446-1 is not prime. Res64: 98ABA8118BAC997D Time : 0.0 sec. user=mdettweiler [2016-06-24 21:07:47] 713*2^1433446-1 is not prime. Res64: AAF2FE2F7A6E82E8 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:07:49] 741*2^1433446-1 is not prime. Res64: 7AFD6137FBC3AB08 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:19:39] 755*2^1433446-1 is not prime. Res64: CE0C384C29392558 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:19:45] 815*2^1433446-1 is not prime. Res64: 22004FCE715FB327 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:19:45] 857*2^1433446-1 is not prime. Res64: EF0ED24FEB0E30EF Time : 0.0 sec. user=mdettweiler [2016-06-24 21:19:51] 873*2^1433446-1 is not prime. Res64: 481237CA3E86B7CB Time : 0.0 sec. user=mdettweiler [2016-06-24 21:19:57] 663*2^1433447-1 is not prime. Res64: B3C6718A6B487B91 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:27:15] 669*2^1433447-1 is not prime. Res64: 57637FA4DBCD99FB Time : 0.0 sec. user=mdettweiler [2016-06-24 21:27:19] 823*2^1433447-1 is not prime. Res64: 38B3639EC1D69047 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:27:19] 861*2^1433447-1 is not prime. Res64: C2707E0477F84B30 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:27:23] 981*2^1433447-1 is not prime. Res64: 897072E3538980B3 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:27:27] 657*2^1433448-1 is not prime. Res64: 300C396E7EC67606 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:51:38] 713*2^1433448-1 is not prime. Res64: E3A354CD425A974A Time : 0.0 sec. user=mdettweiler [2016-06-24 21:51:44] 735*2^1433448-1 is not prime. Res64: E92F88388D863BB1 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:51:50] 803*2^1433448-1 is not prime. Res64: 11CBC663CDFF8D11 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:51:57] 809*2^1433448-1 is not prime. Res64: EF49CEB6A5D07686 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:52:03] 893*2^1433448-1 is not prime. Res64: 4DA3FE2DB0390DD7 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:52:46] 609*2^1433449-1 is not prime. Res64: D35F9623019BFBB3 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:52:52] 687*2^1433449-1 is not prime. Res64: C13FB9E4F46394BC Time : 0.0 sec. user=mdettweiler [2016-06-24 21:52:58] 817*2^1433449-1 is not prime. Res64: 99C5709230648DC7 Time : 0.0 sec. user=mdettweiler [2016-06-24 21:53:04] 819*2^1433449-1 is not prime. Res64: 7B72419C5CEA83EF Time : 0.0 sec. user=mdettweiler [2016-06-24 21:53:10] 829*2^1433449-1 is not prime. Res64: 6D75A88567175311 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:04:38] 877*2^1433449-1 is not prime. Res64: 3B384D8E1F6F6AF2 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:04:39] 957*2^1433449-1 is not prime. Res64: 4561619574F96D6F Time : 0.0 sec. user=mdettweiler [2016-06-24 22:04:40] 985*2^1433449-1 is not prime. Res64: 58B7D840DD34D057 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:04:41] 997*2^1433449-1 is not prime. Res64: 801CDDB01A636EC4 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:04:42] 633*2^1433450-1 is not prime. Res64: 2011BAB94BFA700F Time : 0.0 sec. user=mdettweiler [2016-06-24 22:12:23] 635*2^1433450-1 is not prime. Res64: E5E655A55CDA6C0C Time : 0.0 sec. user=mdettweiler [2016-06-24 22:12:23] 671*2^1433450-1 is not prime. Res64: 21FA576D59DCFE42 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:12:23] 791*2^1433450-1 is not prime. Res64: 326431C380B1980E Time : 0.0 sec. user=mdettweiler [2016-06-24 22:12:24] 833*2^1433450-1 is not prime. Res64: B444720BEB8FFA44 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:12:24] 971*2^1433450-1 is not prime. Res64: 61CA6C1254C13C12 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:36:28] 619*2^1433451-1 is not prime. Res64: 60D8957B90EA6164 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:36:35] 679*2^1433451-1 is not prime. Res64: B83DF6D870C1D54C Time : 0.0 sec. user=mdettweiler [2016-06-24 22:36:42] 769*2^1433451-1 is not prime. Res64: 40984344F7DA2F05 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:36:49] 783*2^1433451-1 is not prime. Res64: 6486B7150EB5871D Time : 0.0 sec. user=mdettweiler [2016-06-24 22:36:56] 961*2^1433451-1 is not prime. Res64: 91D0125CF4A317DF Time : 0.0 sec. user=mdettweiler [2016-06-24 22:37:38] 999*2^1433451-1 is not prime. Res64: 6A0BA689332D7956 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:37:46] 609*2^1433452-1 is not prime. Res64: A197E580E39CF25E Time : 0.0 sec. user=mdettweiler [2016-06-24 22:37:53] 629*2^1433452-1 is not prime. Res64: 14998555E963D38E Time : 0.0 sec. user=mdettweiler [2016-06-24 22:38:00] 639*2^1433452-1 is not prime. Res64: 97D1D9CD69DB975B Time : 0.0 sec. user=mdettweiler [2016-06-24 22:38:06] 695*2^1433452-1 is not prime. Res64: 512E7013516462F5 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:49:07] 743*2^1433452-1 is not prime. Res64: 14009262601D25AF Time : 0.0 sec. user=mdettweiler [2016-06-24 22:49:07] 755*2^1433452-1 is not prime. Res64: C6FE8D5E969B3F39 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:49:07] 765*2^1433452-1 is not prime. Res64: BC75B0BAC5E8F562 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:49:08] 933*2^1433452-1 is not prime. Res64: 6A5B53C71629118C Time : 0.0 sec. user=mdettweiler [2016-06-24 22:49:08] 631*2^1433453-1 is not prime. Res64: FA5F7284A644F33B Time : 0.0 sec. user=mdettweiler [2016-06-24 22:56:51] 691*2^1433453-1 is not prime. Res64: FE7FD98ADADF2249 Time : 0.0 sec. user=mdettweiler [2016-06-24 22:56:57] 699*2^1433453-1 is not prime. Res64: F5D53565AD1D21DA Time : 0.0 sec. user=mdettweiler [2016-06-24 22:57:03] 745*2^1433453-1 is not prime. Res64: D5E8983BEE1950DF Time : 0.0 sec. user=mdettweiler [2016-06-24 22:57:10] 775*2^1433453-1 is not prime. Res64: 7CFBD8C311BCECAE Time : 0.0 sec. user=mdettweiler [2016-06-24 22:57:16] 831*2^1433453-1 is not prime. Res64: 9F37D2C96A9753BA Time : 0.0 sec. user=mdettweiler [2016-06-24 23:21:35] 901*2^1433453-1 is not prime. Res64: 2DC0AE1C3FD088B5 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:21:36] 925*2^1433453-1 is not prime. Res64: E0FD2DC81729F397 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:21:36] 927*2^1433453-1 is not prime. Res64: 649852E3AB37F1F3 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:21:36] 985*2^1433453-1 is not prime. Res64: 9C641E0D95B65350 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:21:37] 621*2^1433454-1 is not prime. Res64: 7D738D572FEC944C Time : 0.0 sec. user=mdettweiler [2016-06-24 23:22:34] 663*2^1433454-1 is not prime. Res64: D2152AB345B22FB0 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:22:35] 681*2^1433454-1 is not prime. Res64: D90468249153793F Time : 0.0 sec. user=mdettweiler [2016-06-24 23:22:35] 791*2^1433454-1 is not prime. Res64: 6EF0C76C9C9B7C51 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:22:35] 821*2^1433454-1 is not prime. Res64: A1A964F43400C9BD Time : 0.0 sec. user=mdettweiler [2016-06-24 23:22:36] 887*2^1433454-1 is not prime. Res64: C7BD50E1FAB855E8 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:33:33] 915*2^1433454-1 is not prime. Res64: B551467905E7D8BF Time : 0.0 sec. user=mdettweiler [2016-06-24 23:33:40] 941*2^1433454-1 is not prime. Res64: D344CF36D8895F24 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:33:40] 965*2^1433454-1 is not prime. Res64: 1A6813A8CF0BF236 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:33:46] 601*2^1433455-1 is not prime. Res64: 6AA4F2D96CF72DAB Time : 0.0 sec. user=mdettweiler [2016-06-24 23:33:51] 609*2^1433455-1 is not prime. Res64: 2D90A3C1925BA1AD Time : 0.0 sec. user=mdettweiler [2016-06-24 23:42:01] 693*2^1433455-1 is not prime. Res64: 3E852E5619DE824A Time : 0.0 sec. user=mdettweiler [2016-06-24 23:42:05] 789*2^1433455-1 is not prime. Res64: CFA84617E670AA23 Time : 0.0 sec. user=mdettweiler [2016-06-24 23:42:09] 883*2^1433455-1 is not prime. Res64: 8F07279C951F7D6F Time : 0.0 sec. user=mdettweiler [2016-06-24 23:42:13] 913*2^1433455-1 is not prime. Res64: 0B083797E488F43A Time : 0.0 sec. user=mdettweiler [2016-06-24 23:42:17] 915*2^1433455-1 is not prime. Res64: 95CA8F961B7B18B9 Time : 0.0 sec.