user=mdettweiler [2020-07-18 00:02:10] 875*2^1563428-1 is not prime. Res64: DE68DAE01ECE4E6B Time : 0.0 sec. user=mdettweiler [2020-07-18 00:02:10] 995*2^1563428-1 is not prime. Res64: FBDD1E361BFA4365 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:02:11] 709*2^1563429-1 is not prime. Res64: E68D0EBF293C6C11 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:02:12] 741*2^1563429-1 is not prime. Res64: 8A5DB7B77E4BFC7D Time : 0.0 sec. user=mdettweiler [2020-07-18 00:02:12] 787*2^1563429-1 is not prime. Res64: 5E38F664B9A1380D Time : 0.0 sec. user=mdettweiler [2020-07-18 00:25:12] 825*2^1563429-1 is not prime. Res64: FF30FC48CB65BE5D Time : 0.0 sec. user=mdettweiler [2020-07-18 00:25:15] 891*2^1563429-1 is not prime. Res64: F7A856D47AE8685E Time : 0.0 sec. user=mdettweiler [2020-07-18 00:25:16] 927*2^1563429-1 is not prime. Res64: BF030A2582F75BD3 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:25:17] 979*2^1563429-1 is not prime. Res64: 77FF80656BD365D8 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:35:45] 657*2^1563430-1 is not prime. Res64: 016E0E9E35EA2E6E Time : 0.0 sec. user=mdettweiler [2020-07-18 00:35:45] 681*2^1563430-1 is not prime. Res64: 1A3DF5FDDAC6BEF5 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:35:45] 695*2^1563430-1 is not prime. Res64: 47EF1CE38D24E001 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:35:45] 741*2^1563430-1 is not prime. Res64: 138905AB9D6C0548 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:35:46] 773*2^1563430-1 is not prime. Res64: CEE9DF63B9117B81 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:57:59] 801*2^1563430-1 is not prime. Res64: 2BCE797D2D0E02E9 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:58:00] 863*2^1563430-1 is not prime. Res64: E6911AE6D34BFC6B Time : 0.0 sec. user=mdettweiler [2020-07-18 00:58:00] 987*2^1563430-1 is not prime. Res64: 01841D2BF1980D87 Time : 0.0 sec. user=mdettweiler [2020-07-18 00:58:00] 645*2^1563431-1 is not prime. Res64: 99219C797469584A Time : 0.0 sec. user=mdettweiler [2020-07-18 00:58:00] 669*2^1563431-1 is not prime. Res64: 4E2471BE5D71933A Time : 0.0 sec. user=mdettweiler [2020-07-18 01:32:27] 775*2^1563431-1 is not prime. Res64: B50C924AE25911F6 Time : 0.0 sec. user=mdettweiler [2020-07-18 01:32:28] 789*2^1563431-1 is not prime. Res64: 28D9E927A12105C9 Time : 0.0 sec. user=mdettweiler [2020-07-18 01:32:29] 879*2^1563431-1 is not prime. Res64: 8527FB2B8BCDC26B Time : 0.0 sec. user=mdettweiler [2020-07-18 01:32:30] 973*2^1563431-1 is not prime. Res64: 2D0386C8C47182B5 Time : 0.0 sec. user=mdettweiler [2020-07-18 01:32:30] 981*2^1563431-1 is not prime. Res64: 58F236913FB9F5BC Time : 0.0 sec. user=mdettweiler [2020-07-18 01:52:15] 993*2^1563431-1 is not prime. Res64: B5EDD3A4199F20E1 Time : 0.0 sec. user=mdettweiler [2020-07-18 01:52:18] 605*2^1563432-1 is not prime. Res64: 97BA0B05C62D725F Time : 0.0 sec. user=mdettweiler [2020-07-18 01:52:18] 693*2^1563432-1 is not prime. Res64: 6F9E954010381C88 Time : 0.0 sec. user=mdettweiler [2020-07-18 01:52:20] 699*2^1563432-1 is not prime. Res64: 5BC969AEF6A6566C Time : 0.0 sec. user=mdettweiler [2020-07-18 01:52:21] 767*2^1563432-1 is not prime. Res64: 44996E9B43C34581 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:28:06] 825*2^1563432-1 is not prime. Res64: E371C4A852E65791 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:28:07] 977*2^1563432-1 is not prime. Res64: 3013F2CED3A34A58 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:28:08] 681*2^1563433-1 is not prime. Res64: D56BD8CDCB194BFC Time : 0.0 sec. user=mdettweiler [2020-07-18 02:28:09] 687*2^1563433-1 is not prime. Res64: BED01CD76F5A260B Time : 0.0 sec. user=mdettweiler [2020-07-18 02:28:09] 691*2^1563433-1 is not prime. Res64: 7DCBA9357E362E00 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:47:58] 705*2^1563433-1 is not prime. Res64: E6EAF424440424D0 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:48:00] 979*2^1563433-1 is not prime. Res64: DAE6442364477487 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:48:01] 987*2^1563433-1 is not prime. Res64: 67430C19AC6F0B71 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:48:03] 615*2^1563434-1 is not prime. Res64: CCE001AA0530B177 Time : 0.0 sec. user=mdettweiler [2020-07-18 02:48:05] 707*2^1563434-1 is not prime. Res64: 25C50F3AEBA45D8E Time : 0.0 sec. user=mdettweiler [2020-07-18 03:23:41] 755*2^1563434-1 is not prime. Res64: D6F97831A19FAC34 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:23:42] 783*2^1563434-1 is not prime. Res64: 53C39F44B5F4FCEF Time : 0.0 sec. user=mdettweiler [2020-07-18 03:23:42] 785*2^1563434-1 is not prime. Res64: B5BFB8F5C28418F6 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:23:42] 831*2^1563434-1 is not prime. Res64: F2BEF31C14AFBEF3 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:23:43] 885*2^1563434-1 is not prime. Res64: 185736308A0E8F2E Time : 0.0 sec. user=mdettweiler [2020-07-18 03:44:35] 923*2^1563434-1 is not prime. Res64: 187CA0E18BDCA829 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:44:36] 651*2^1563435-1 is not prime. Res64: 89084BFA7D9CF439 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:44:38] 783*2^1563435-1 is not prime. Res64: CA8408EDB069D815 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:44:39] 951*2^1563435-1 is not prime. Res64: E60EFD392F1CE196 Time : 0.0 sec. user=mdettweiler [2020-07-18 03:44:41] 955*2^1563435-1 is not prime. Res64: BD38A35B875E130B Time : 0.0 sec. user=mdettweiler [2020-07-18 04:19:17] 707*2^1563436-1 is not prime. Res64: DD5ECF1A8E318E44 Time : 0.0 sec. user=mdettweiler [2020-07-18 04:19:19] 773*2^1563436-1 is not prime. Res64: 63A9D5DB4A6E1CCD Time : 0.0 sec. user=mdettweiler [2020-07-18 04:19:20] 777*2^1563436-1 is not prime. Res64: 04ABC531CB6178F4 Time : 0.0 sec. user=mdettweiler [2020-07-18 04:19:21] 899*2^1563436-1 is not prime. Res64: 5D41EB47D759EC5E Time : 0.0 sec. user=mdettweiler [2020-07-18 04:19:22] 927*2^1563436-1 is not prime. Res64: F84155B5DCED88CC Time : 0.0 sec. user=mdettweiler [2020-07-18 04:40:23] 993*2^1563436-1 is not prime. Res64: CD796C03A6A1CE63 Time : 0.0 sec. user=mdettweiler [2020-07-18 04:40:24] 621*2^1563437-1 is not prime. Res64: E334A9CB750B07DB Time : 0.0 sec. user=mdettweiler [2020-07-18 04:40:24] 697*2^1563437-1 is not prime. Res64: 0CFED4393462CED6 Time : 0.0 sec. user=mdettweiler [2020-07-18 04:40:25] 715*2^1563437-1 is not prime. Res64: 3137B876BC4388B7 Time : 0.0 sec. user=mdettweiler [2020-07-18 04:40:25] 799*2^1563437-1 is not prime. Res64: 579FA6C8B0C7DCA5 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:17:23] 865*2^1563437-1 is not prime. Res64: C8CCDBDAF986CC9D Time : 0.0 sec. user=mdettweiler [2020-07-18 05:17:23] 901*2^1563437-1 is not prime. Res64: 921E1166B67B9955 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:17:23] 985*2^1563437-1 is not prime. Res64: EE5A10704A81D9DE Time : 0.0 sec. user=mdettweiler [2020-07-18 05:17:24] 997*2^1563437-1 is not prime. Res64: AD60A5FC09A638FE Time : 0.0 sec. user=mdettweiler [2020-07-18 05:17:24] 621*2^1563438-1 is not prime. Res64: 1EC4E7191F441C12 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:27:57] 999*2^1563429-1 is not prime. Res64: DE0AC4F9A2477E35 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:33:10] 641*2^1563438-1 is not prime. Res64: A082E0C9427A5A17 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:33:11] 657*2^1563438-1 is not prime. Res64: 8C0597A45D5D41D2 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:33:11] 683*2^1563438-1 is not prime. Res64: 510E6390D4C17AF0 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:33:11] 713*2^1563438-1 is not prime. Res64: 347E2E87E4533304 Time : 0.0 sec. user=mdettweiler [2020-07-18 05:33:11] 765*2^1563438-1 is not prime. Res64: 88A15DC1AAF795D9 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:15:48] 815*2^1563438-1 is not prime. Res64: 22EA0AE1D930A58B Time : 0.0 sec. user=mdettweiler [2020-07-18 06:15:48] 821*2^1563438-1 is not prime. Res64: 11008F40BC784E0C Time : 0.0 sec. user=mdettweiler [2020-07-18 06:15:49] 927*2^1563438-1 is not prime. Res64: 57408B51C308D5E5 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:15:49] 975*2^1563438-1 is not prime. Res64: 7EA5F57214BD835E Time : 0.0 sec. user=mdettweiler [2020-07-18 06:15:49] 993*2^1563438-1 is not prime. Res64: 4983F6EDFE5C0373 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:24:51] 1001*2^1563438-1 is not prime. Res64: 6D16F37EAADCE2F4 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:24:52] 663*2^1563439-1 is not prime. Res64: A262082AFC890CC3 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:24:52] 843*2^1563439-1 is not prime. Res64: 76DCE15713014AF3 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:24:52] 873*2^1563439-1 is not prime. Res64: 00A810E49429723C Time : 0.0 sec. user=mdettweiler [2020-07-18 06:24:53] 931*2^1563439-1 is not prime. Res64: 71144075EBC7D177 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:29:20] 675*2^1563440-1 is not prime. Res64: 7E463071E0262621 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:29:21] 777*2^1563440-1 is not prime. Res64: 57FE5875B337D704 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:29:21] 827*2^1563440-1 is not prime. Res64: D9452581B7BE9894 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:29:21] 893*2^1563440-1 is not prime. Res64: 911D6606A9AE4C36 Time : 0.0 sec. user=mdettweiler [2020-07-18 06:29:22] 983*2^1563440-1 is not prime. Res64: 26F8F87017C72014 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:13:11] 745*2^1563441-1 is not prime. Res64: 2776EACBFD1EC930 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:13:12] 805*2^1563441-1 is not prime. Res64: 349FF5CF1C3E4143 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:13:13] 871*2^1563441-1 is not prime. Res64: 3E2E79ECA9FAD8B0 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:13:14] 945*2^1563441-1 is not prime. Res64: FE328E27804D7496 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:13:14] 949*2^1563441-1 is not prime. Res64: B11FA9D43C54EEA8 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:19:24] 955*2^1563441-1 is not prime. Res64: 5BBE084DEFC87B34 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:19:24] 997*2^1563441-1 is not prime. Res64: FFEDDF7150E58136 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:19:24] 635*2^1563442-1 is not prime. Res64: B82A8F9686B0621A Time : 0.0 sec. user=mdettweiler [2020-07-18 07:19:25] 665*2^1563442-1 is not prime. Res64: 8AC845B7EA79F4AB Time : 0.0 sec. user=mdettweiler [2020-07-18 07:19:25] 677*2^1563442-1 is not prime. Res64: 5874B40E545AE048 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:25:28] 681*2^1563442-1 is not prime. Res64: 703CAF01B88F7FA8 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:25:28] 777*2^1563442-1 is not prime. Res64: 988E67ABF9D8651A Time : 0.0 sec. user=mdettweiler [2020-07-18 07:25:28] 813*2^1563442-1 is not prime. Res64: 59F6302331B64DA9 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:25:28] 825*2^1563442-1 is not prime. Res64: 97385CE41BA779B6 Time : 0.0 sec. user=mdettweiler [2020-07-18 07:25:29] 951*2^1563442-1 is not prime. Res64: 809378D5E1265D24 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:08:07] 603*2^1563443-1 is not prime. Res64: 69077C65949EFAB8 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:08:07] 699*2^1563443-1 is not prime. Res64: 52FA6476E6BDCF3D Time : 0.0 sec. user=mdettweiler [2020-07-18 08:08:08] 783*2^1563443-1 is not prime. Res64: DF6A2D357AD44BDA Time : 0.0 sec. user=mdettweiler [2020-07-18 08:08:08] 861*2^1563443-1 is not prime. Res64: C70A96AD93C7D61C Time : 0.0 sec. user=mdettweiler [2020-07-18 08:08:09] 915*2^1563443-1 is not prime. Res64: F85C6CF2AE8AC392 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:15:38] 963*2^1563443-1 is not prime. Res64: 5B982A86506A006B Time : 0.0 sec. user=mdettweiler [2020-07-18 08:15:39] 969*2^1563443-1 is not prime. Res64: 558548FB91429555 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:15:39] 985*2^1563443-1 is not prime. Res64: EEF17B723291E806 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:15:39] 789*2^1563444-1 is not prime. Res64: ECAC6B2338A9D96C Time : 0.0 sec. user=mdettweiler [2020-07-18 08:15:40] 687*2^1563445-1 is not prime. Res64: EB7F76E8C3228786 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:20:36] 715*2^1563445-1 is not prime. Res64: B18B3FE012A2444A Time : 0.0 sec. user=mdettweiler [2020-07-18 08:20:37] 727*2^1563445-1 is not prime. Res64: F0A962DC05D39301 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:20:37] 771*2^1563445-1 is not prime. Res64: FB9B1EBBB17D276F Time : 0.0 sec. user=mdettweiler [2020-07-18 08:20:37] 799*2^1563445-1 is not prime. Res64: E08C921754CA0988 Time : 0.0 sec. user=mdettweiler [2020-07-18 08:20:38] 817*2^1563445-1 is not prime. Res64: CB409A61CA7FDE4E Time : 0.0 sec. user=mdettweiler [2020-07-18 09:05:27] 895*2^1563445-1 is not prime. Res64: 263BB97A973101DE Time : 0.0 sec. user=mdettweiler [2020-07-18 09:05:29] 919*2^1563445-1 is not prime. Res64: 8C0B2E882700D350 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:05:30] 951*2^1563445-1 is not prime. Res64: 2AB682010C66810C Time : 0.0 sec. user=mdettweiler [2020-07-18 09:05:31] 997*2^1563445-1 is not prime. Res64: FD960D3401EE77F4 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:05:32] 675*2^1563446-1 is not prime. Res64: E1AD95F89AF83439 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:11:58] 707*2^1563446-1 is not prime. Res64: 41FFB12F27E679EC Time : 0.0 sec. user=mdettweiler [2020-07-18 09:11:58] 815*2^1563446-1 is not prime. Res64: 69483139B4C67568 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:11:59] 945*2^1563446-1 is not prime. Res64: 3CB8987528BE4033 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:11:59] 795*2^1563447-1 is not prime. Res64: 281AAFF5CC40BA48 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:11:59] 831*2^1563447-1 is not prime. Res64: 046FD705E21E8336 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:16:20] 623*2^1563448-1 is not prime. Res64: 273859951B8B014D Time : 0.0 sec. user=mdettweiler [2020-07-18 09:16:21] 657*2^1563448-1 is not prime. Res64: 5189601FEEA1DAA5 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:16:21] 863*2^1563448-1 is not prime. Res64: 49AA5DCE8818714C Time : 0.0 sec. user=mdettweiler [2020-07-18 09:16:21] 957*2^1563448-1 is not prime. Res64: 9C478F7D30DA13CD Time : 0.0 sec. user=mdettweiler [2020-07-18 09:16:21] 999*2^1563448-1 is not prime. Res64: 1351167C501554D8 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:59:15] 645*2^1563449-1 is not prime. Res64: 9955FF9597F2BA8E Time : 0.0 sec. user=mdettweiler [2020-07-18 09:59:15] 685*2^1563449-1 is not prime. Res64: 4B4E4100A0E9AEAC Time : 0.0 sec. user=mdettweiler [2020-07-18 09:59:15] 741*2^1563449-1 is not prime. Res64: AD38ED85C6F0DD06 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:59:16] 771*2^1563449-1 is not prime. Res64: 364183DB1E91C6C8 Time : 0.0 sec. user=mdettweiler [2020-07-18 09:59:16] 775*2^1563449-1 is not prime. Res64: 68FEE5C32550BA0C Time : 0.0 sec. user=mdettweiler [2020-07-18 10:06:16] 939*2^1563449-1 is not prime. Res64: D04F3888FC187CA8 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:06:19] 611*2^1563450-1 is not prime. Res64: E4D8E783DBA6B999 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:06:20] 713*2^1563450-1 is not prime. Res64: B06BCD0E95A868E5 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:06:24] 741*2^1563450-1 is not prime. Res64: 8DECD9883F23A559 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:06:27] 791*2^1563450-1 is not prime. Res64: A91F26B6E6A9DFC2 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:11:05] 921*2^1563450-1 is not prime. Res64: E85699EC8895B5A1 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:11:08] 977*2^1563450-1 is not prime. Res64: 0D6AA3736A0EC8AE Time : 0.0 sec. user=mdettweiler [2020-07-18 10:11:08] 601*2^1563451-1 is not prime. Res64: B177BBD45F187782 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:11:09] 603*2^1563451-1 is not prime. Res64: C9FECA6D4C2E9FF3 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:11:10] 615*2^1563451-1 is not prime. Res64: 51FDB929CFF83467 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:54:02] 885*2^1563451-1 is not prime. Res64: E68938668E3946BD Time : 0.0 sec. user=mdettweiler [2020-07-18 10:54:03] 633*2^1563452-1 is not prime. Res64: CFC8717CE2F5F152 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:54:03] 693*2^1563452-1 is not prime. Res64: B2F10AD1C44044E3 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:54:03] 735*2^1563452-1 is not prime. Res64: 30F91A85FF1C1F30 Time : 0.0 sec. user=mdettweiler [2020-07-18 10:54:03] 855*2^1563452-1 is not prime. Res64: 0C39BADA712E8DB1 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:03:53] 873*2^1563452-1 is not prime. Res64: 243B420A11124F9E Time : 0.0 sec. user=mdettweiler [2020-07-18 11:03:54] 885*2^1563452-1 is not prime. Res64: 75F67E899D4912E4 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:03:55] 909*2^1563452-1 is not prime. Res64: E3DD89E8541EFBC8 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:03:55] 945*2^1563452-1 is not prime. Res64: 73ACF4952441E189 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:03:56] 621*2^1563453-1 is not prime. Res64: A0F9A6B39DEBCC98 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:06:07] 781*2^1563453-1 is not prime. Res64: 2B9451F754E76657 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:06:09] 837*2^1563453-1 is not prime. Res64: EC3525C2D3F316B5 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:06:11] 915*2^1563453-1 is not prime. Res64: 1E3BF002C4F2CDF3 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:06:12] 605*2^1563454-1 is not prime. Res64: DABCF5C5BD97EE31 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:06:14] 783*2^1563454-1 is not prime. Res64: 97A7410FCE00B5DB Time : 0.0 sec. user=mdettweiler [2020-07-18 11:52:32] 833*2^1563454-1 is not prime. Res64: 3F89B9841739FDFB Time : 0.0 sec. user=mdettweiler [2020-07-18 11:52:33] 887*2^1563454-1 is not prime. Res64: E6F1F52E4DA7C39E Time : 0.0 sec. user=mdettweiler [2020-07-18 11:52:33] 971*2^1563454-1 is not prime. Res64: CB29B901A7AFB53D Time : 0.0 sec. user=mdettweiler [2020-07-18 11:52:33] 993*2^1563454-1 is not prime. Res64: 39CD0C6A65961373 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:52:33] 1001*2^1563454-1 is not prime. Res64: 77855AD26B478398 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:58:48] 609*2^1563456-1 is not prime. Res64: C069F9635CAF14C3 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:58:48] 669*2^1563456-1 is not prime. Res64: DF0FA05A8E837373 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:58:49] 675*2^1563456-1 is not prime. Res64: 5F8553538470C94D Time : 0.0 sec. user=mdettweiler [2020-07-18 11:58:49] 723*2^1563456-1 is not prime. Res64: C5171F0092DC8A67 Time : 0.0 sec. user=mdettweiler [2020-07-18 11:58:49] 779*2^1563456-1 is not prime. Res64: AFE8F86C7D1A9239 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:00:10] 609*2^1563455-1 is not prime. Res64: 705B4D973B789BF3 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:00:11] 759*2^1563455-1 is not prime. Res64: 4762C04E0D247512 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:00:12] 799*2^1563455-1 is not prime. Res64: E6F4246EBF84DF27 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:00:13] 865*2^1563455-1 is not prime. Res64: B095717438A19346 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:00:14] 973*2^1563455-1 is not prime. Res64: 7D9070CA1DC5D338 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:48:31] 837*2^1563456-1 is not prime. Res64: 0967A5F8FC720C3C Time : 0.0 sec. user=mdettweiler [2020-07-18 12:48:32] 845*2^1563456-1 is not prime. Res64: 4E3600A0DC54A38C Time : 0.0 sec. user=mdettweiler [2020-07-18 12:48:32] 903*2^1563456-1 is not prime. Res64: 7822E8F980D94E4F Time : 0.0 sec. user=mdettweiler [2020-07-18 12:48:32] 607*2^1563457-1 is not prime. Res64: 5DF0603034B4DD7B Time : 0.0 sec. user=mdettweiler [2020-07-18 12:48:32] 609*2^1563457-1 is not prime. Res64: 652CFE96CCE2BB22 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:53:28] 625*2^1563457-1 is not prime. Res64: 8A476F70D0D5FEAB Time : 0.0 sec. user=mdettweiler [2020-07-18 12:53:29] 637*2^1563457-1 is not prime. Res64: 112ADFEE856549B4 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:53:29] 751*2^1563457-1 is not prime. Res64: 53AB23047089B06B Time : 0.0 sec. user=mdettweiler [2020-07-18 12:53:29] 799*2^1563457-1 is not prime. Res64: A20858886CBEFA06 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:53:29] 817*2^1563457-1 is not prime. Res64: 252648B0567D71D4 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:56:17] 861*2^1563457-1 is not prime. Res64: FF8C8B4C21CBF1A3 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:56:17] 957*2^1563457-1 is not prime. Res64: E00D542DE9F37A57 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:56:17] 657*2^1563458-1 is not prime. Res64: AA8B83A10BDBA3D4 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:56:18] 671*2^1563458-1 is not prime. Res64: 2C252405AE7BD146 Time : 0.0 sec. user=mdettweiler [2020-07-18 12:56:18] 815*2^1563458-1 is not prime. Res64: D27D4D73C4A2A1B1 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:47:02] 825*2^1563458-1 is not prime. Res64: ADB871AB154B2685 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:47:02] 875*2^1563458-1 is not prime. Res64: A3CA032204083902 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:47:02] 885*2^1563458-1 is not prime. Res64: 93638E9C317F7397 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:47:03] 911*2^1563458-1 is not prime. Res64: 10FFAAFEFBAFE935 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:47:03] 951*2^1563458-1 is not prime. Res64: D46270CAF502E91A Time : 0.0 sec. user=mdettweiler [2020-07-18 13:48:16] 977*2^1563458-1 is not prime. Res64: EF1649FB20915D8E Time : 0.0 sec. user=mdettweiler [2020-07-18 13:48:16] 669*2^1563459-1 is not prime. Res64: 5A9927D3D8B724CB Time : 0.0 sec. user=mdettweiler [2020-07-18 13:48:17] 691*2^1563459-1 is not prime. Res64: 933C562D1DB6BF42 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:48:17] 723*2^1563459-1 is not prime. Res64: FB8BFCA7ACAE228A Time : 0.0 sec. user=mdettweiler [2020-07-18 13:48:17] 835*2^1563459-1 is not prime. Res64: 831117DD4FCC2972 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:51:09] 969*2^1563459-1 is not prime. Res64: BAA706EFB5C6F086 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:51:09] 663*2^1563460-1 is not prime. Res64: 8738B2872AF94340 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:51:09] 693*2^1563460-1 is not prime. Res64: 326FEEDCC293C0F2 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:51:09] 785*2^1563460-1 is not prime. Res64: B60AC883B7A4BEC6 Time : 0.0 sec. user=mdettweiler [2020-07-18 13:51:10] 909*2^1563460-1 is not prime. Res64: D112CAA81D32FB67 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:43:56] 933*2^1563460-1 is not prime. Res64: D996121B9C2F9DF6 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:43:57] 741*2^1563461-1 is not prime. Res64: 2859CB1E2BB3E311 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:43:57] 859*2^1563461-1 is not prime. Res64: B740055EC5A9F2AB Time : 0.0 sec. user=mdettweiler [2020-07-18 14:43:58] 949*2^1563461-1 is not prime. Res64: 4390CB17020A6D62 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:43:58] 635*2^1563462-1 is not prime. Res64: 1C9C4242D34CF1B1 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:46:13] 941*2^1563462-1 is not prime. Res64: 9536A023A7AA2258 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:46:13] 849*2^1563463-1 is not prime. Res64: 66643849C1D3FC36 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:46:13] 853*2^1563463-1 is not prime. Res64: 261E3041430E1526 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:46:14] 895*2^1563463-1 is not prime. Res64: C4BA5D22A756C682 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:46:14] 635*2^1563464-1 is not prime. Res64: E064FE88D896AD27 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:47:12] 683*2^1563464-1 is not prime. Res64: 0865BEFA2459FF6E Time : 0.0 sec. user=mdettweiler [2020-07-18 14:47:12] 687*2^1563464-1 is not prime. Res64: 5CB8242FBB4D624A Time : 0.0 sec. user=mdettweiler [2020-07-18 14:47:13] 719*2^1563464-1 is not prime. Res64: 176F6167DB7A65F9 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:47:13] 827*2^1563464-1 is not prime. Res64: BD703141429869B7 Time : 0.0 sec. user=mdettweiler [2020-07-18 14:47:13] 837*2^1563464-1 is not prime. Res64: 9FD2DBBB62D643A7 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:39:51] 773*2^1563466-1 is not prime. Res64: 20ECFB9D44D1B35B Time : 0.0 sec. user=mdettweiler [2020-07-18 15:39:51] 655*2^1563467-1 is not prime. Res64: 0384247FA4D73DF9 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:39:52] 705*2^1563467-1 is not prime. Res64: 73DDE21E5EC56ED5 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:39:52] 711*2^1563467-1 is not prime. Res64: 1EA9FE47B09C4015 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:39:52] 733*2^1563467-1 is not prime. Res64: D5188A3C1FA34C32 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:40:10] 903*2^1563464-1 is not prime. Res64: 3788DEC8FCE68BC8 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:40:10] 983*2^1563464-1 is not prime. Res64: 56107530C0D60E36 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:40:10] 759*2^1563465-1 is not prime. Res64: E847E30FA420B1BD Time : 0.0 sec. user=mdettweiler [2020-07-18 15:40:10] 777*2^1563465-1 is not prime. Res64: 5AEF2D72E6A8C71B Time : 0.0 sec. user=mdettweiler [2020-07-18 15:40:11] 805*2^1563465-1 is not prime. Res64: 239421E11264EB93 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:42:23] 889*2^1563465-1 is not prime. Res64: F7E5EC35CECCE246 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:42:24] 937*2^1563465-1 is not prime. Res64: 59289F80177789D3 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:42:24] 979*2^1563465-1 is not prime. Res64: A6994E5F7FC89B82 Time : 0.0 sec. user=mdettweiler [2020-07-18 15:42:24] 675*2^1563466-1 is not prime. Res64: 903BB9C6B32BFCDC Time : 0.0 sec. user=mdettweiler [2020-07-18 15:42:24] 741*2^1563466-1 is not prime. Res64: E94450CE57A5493E Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:24] 963*2^1563467-1 is not prime. Res64: 652E53E27A9BE856 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:25] 633*2^1563468-1 is not prime. Res64: F10E26590C03D5C0 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:25] 669*2^1563468-1 is not prime. Res64: 9A5FC0C042608F50 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:26] 797*2^1563468-1 is not prime. Res64: B158955D03007668 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:26] 969*2^1563468-1 is not prime. Res64: 0FC0D9519E6DDB7B Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:46] 993*2^1563468-1 is not prime. Res64: D095BCFD65AF05EB Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:46] 621*2^1563469-1 is not prime. Res64: E8FF77663C7FD822 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:46] 625*2^1563469-1 is not prime. Res64: B6C4BC39CE22ABC4 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:47] 751*2^1563469-1 is not prime. Res64: 2728AE38E5037958 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:34:47] 925*2^1563469-1 is not prime. Res64: 071A8E5E70C8708F Time : 0.0 sec. user=mdettweiler [2020-07-18 16:36:37] 603*2^1563470-1 is not prime. Res64: BBA71476DB7C36A0 Time : 0.0 sec. user=mdettweiler [2020-07-18 16:36:38] 635*2^1563470-1 is not prime. Res64: 74AD43474F83B6FA Time : 0.0 sec. user=mdettweiler [2020-07-18 16:36:38] 657*2^1563470-1 is not prime. Res64: 3110A71C89F62ACB Time : 0.0 sec. user=mdettweiler [2020-07-18 16:36:38] 845*2^1563470-1 is not prime. Res64: 81226C6A83BF6DEE Time : 0.0 sec. user=mdettweiler [2020-07-18 16:36:39] 917*2^1563470-1 is not prime. Res64: 9DE818D640EBD3FD Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:17] 957*2^1563470-1 is not prime. Res64: D03A44121250A607 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:17] 977*2^1563470-1 is not prime. Res64: BD30691D3C7141ED Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:17] 639*2^1563471-1 is not prime. Res64: 5BD1803020825A96 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:18] 705*2^1563471-1 is not prime. Res64: A571181B24DD4886 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:18] 709*2^1563471-1 is not prime. Res64: 8989FAE16161E0A1 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:56] 735*2^1563471-1 is not prime. Res64: C6BD59E76DE423DA Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:57] 819*2^1563471-1 is not prime. Res64: BDE329CF5CC1086D Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:57] 999*2^1563471-1 is not prime. Res64: E24122C75BEABAF9 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:57] 785*2^1563472-1 is not prime. Res64: BFD7152E0D476970 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:29:57] 797*2^1563472-1 is not prime. Res64: 0B4349875C34AC0B Time : 0.0 sec. user=mdettweiler [2020-07-18 17:33:52] 819*2^1563472-1 is not prime. Res64: 66BA406CF053F01E Time : 0.0 sec. user=mdettweiler [2020-07-18 17:33:52] 833*2^1563472-1 is not prime. Res64: F35849FDD9C4F907 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:33:52] 939*2^1563472-1 is not prime. Res64: 49DEAFF1DB654A91 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:33:52] 789*2^1563473-1 is not prime. Res64: FA462A0F8F347FE1 Time : 0.0 sec. user=mdettweiler [2020-07-18 17:33:53] 819*2^1563473-1 is not prime. Res64: 91B0A6B5CCDEB3ED Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:02] 871*2^1563473-1 is not prime. Res64: 1BA5675B99BEEB9D Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:02] 605*2^1563474-1 is not prime. Res64: 4EE0AFA461617B0A Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:03] 765*2^1563474-1 is not prime. Res64: 808B9E24ABB0275A Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:03] 791*2^1563474-1 is not prime. Res64: 0DDD547E81235530 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:03] 837*2^1563474-1 is not prime. Res64: 97FDEC5E0709A35F Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:22] 887*2^1563474-1 is not prime. Res64: C544AD644BCCA1E2 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:23] 945*2^1563474-1 is not prime. Res64: 81A1E9A792BA2ACE Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:23] 625*2^1563475-1 is not prime. Res64: 17A1B2DD54E7B8D4 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:23] 651*2^1563475-1 is not prime. Res64: 9F34732E4E1ED831 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:24:23] 693*2^1563475-1 is not prime. Res64: 1EF440BDA176E53E Time : 0.0 sec. user=mdettweiler [2020-07-18 18:28:57] 741*2^1563475-1 is not prime. Res64: B6D0DC8DB64B9580 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:28:57] 759*2^1563475-1 is not prime. Res64: 2092C57F5D31FACF Time : 0.0 sec. user=mdettweiler [2020-07-18 18:28:57] 765*2^1563475-1 is not prime. Res64: EEF50AD263DA083E Time : 0.0 sec. user=mdettweiler [2020-07-18 18:28:58] 859*2^1563475-1 is not prime. Res64: 7BA585DA897657B9 Time : 0.0 sec. user=mdettweiler [2020-07-18 18:28:58] 873*2^1563475-1 is not prime. Res64: 3AC96F12FDF04FE8 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:16:09] 603*2^1563476-1 is not prime. Res64: 501ED21C0932FBBF Time : 0.0 sec. user=mdettweiler [2020-07-18 19:16:10] 617*2^1563476-1 is not prime. Res64: 1263A4C9F41DBB8E Time : 0.0 sec. user=mdettweiler [2020-07-18 19:16:10] 659*2^1563476-1 is not prime. Res64: AB038D8E87980996 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:16:11] 689*2^1563476-1 is not prime. Res64: 2F90B25C1A3754CF Time : 0.0 sec. user=mdettweiler [2020-07-18 19:16:11] 743*2^1563476-1 is not prime. Res64: FF6FA43935A89AF1 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:21:40] 873*2^1563476-1 is not prime. Res64: FB256891D5521FBD Time : 0.0 sec. user=mdettweiler [2020-07-18 19:21:40] 935*2^1563476-1 is not prime. Res64: 17F4E3D008190C80 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:21:40] 751*2^1563477-1 is not prime. Res64: DB21F11617D7AF4A Time : 0.0 sec. user=mdettweiler [2020-07-18 19:21:41] 805*2^1563477-1 is not prime. Res64: 08BB49259C5C867A Time : 0.0 sec. user=mdettweiler [2020-07-18 19:21:41] 927*2^1563477-1 is not prime. Res64: 37337BDEABBEBB40 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:24:52] 999*2^1563477-1 is not prime. Res64: 4573DE3DB6BAFFCF Time : 0.0 sec. user=mdettweiler [2020-07-18 19:24:52] 617*2^1563478-1 is not prime. Res64: 6DE6BACEE62FD95A Time : 0.0 sec. user=mdettweiler [2020-07-18 19:24:52] 747*2^1563478-1 is not prime. Res64: 23711F57A5968532 Time : 0.0 sec. user=mdettweiler [2020-07-18 19:24:53] 857*2^1563478-1 is not prime. Res64: 79C507A899CB7AEE Time : 0.0 sec. user=mdettweiler [2020-07-18 19:24:53] 941*2^1563478-1 is not prime. Res64: 575E2BF9EA4355AE Time : 0.0 sec. user=mdettweiler [2020-07-18 20:09:58] 643*2^1563479-1 is not prime. Res64: A91F2A26828A01EC Time : 0.0 sec. user=mdettweiler [2020-07-18 20:09:59] 745*2^1563479-1 is not prime. Res64: 195E8BEB29E261A0 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:09:59] 775*2^1563479-1 is not prime. Res64: 71AEC70A2E32F483 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:09:59] 789*2^1563479-1 is not prime. Res64: 116B48176711AC7B Time : 0.0 sec. user=mdettweiler [2020-07-18 20:10:00] 841*2^1563479-1 is not prime. Res64: 70EDB8F0E84316F5 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:16:13] 861*2^1563479-1 is not prime. Res64: 0703F565DE3DA177 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:16:13] 993*2^1563479-1 is not prime. Res64: CA02314E1B092049 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:16:14] 615*2^1563480-1 is not prime. Res64: 51675C0BB2856A6C Time : 0.0 sec. user=mdettweiler [2020-07-18 20:16:14] 627*2^1563480-1 is not prime. Res64: 7FBAC754C8AF2106 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:16:14] 765*2^1563480-1 is not prime. Res64: 482E3181452C1993 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:23:16] 803*2^1563480-1 is not prime. Res64: 7F9305418B578541 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:23:17] 809*2^1563480-1 is not prime. Res64: B39756C84A828E57 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:23:17] 879*2^1563480-1 is not prime. Res64: F0D1B11680F0AC8B Time : 0.0 sec. user=mdettweiler [2020-07-18 20:23:17] 945*2^1563480-1 is not prime. Res64: A98BC529E42B7515 Time : 0.0 sec. user=mdettweiler [2020-07-18 20:23:18] 959*2^1563480-1 is not prime. Res64: D81790857437933A Time : 0.0 sec. user=mdettweiler [2020-07-18 21:05:59] 649*2^1563481-1 is not prime. Res64: 94B0414D46207079 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:06:01] 777*2^1563481-1 is not prime. Res64: 5D5FC7A916B4CE1E Time : 0.0 sec. user=mdettweiler [2020-07-18 21:06:03] 849*2^1563481-1 is not prime. Res64: D75D2AC8A82BE161 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:06:05] 957*2^1563481-1 is not prime. Res64: 245850835F5A98A9 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:06:06] 999*2^1563481-1 is not prime. Res64: 2E96CFAF5964B393 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:09:28] 603*2^1563482-1 is not prime. Res64: FCAE90CDAF6826B1 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:09:29] 615*2^1563482-1 is not prime. Res64: D2C0853604C9CCCA Time : 0.0 sec. user=mdettweiler [2020-07-18 21:09:29] 623*2^1563482-1 is not prime. Res64: 314382DE4426E055 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:09:30] 701*2^1563482-1 is not prime. Res64: 5769578862BBED1F Time : 0.0 sec. user=mdettweiler [2020-07-18 21:09:30] 815*2^1563482-1 is not prime. Res64: D42227CE8541F53C Time : 0.0 sec. user=mdettweiler [2020-07-18 21:22:05] 825*2^1563482-1 is not prime. Res64: A705853AF266D706 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:22:05] 837*2^1563482-1 is not prime. Res64: CD7864C1C935E139 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:22:05] 887*2^1563482-1 is not prime. Res64: 07A5B1A2AF29AC61 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:22:06] 915*2^1563482-1 is not prime. Res64: 425FE74B52A419E0 Time : 0.0 sec. user=mdettweiler [2020-07-18 21:22:06] 923*2^1563482-1 is not prime. Res64: 87D552DCE6803BA1 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:02:17] 675*2^1563483-1 is not prime. Res64: F3570BB205D1444A Time : 0.0 sec. user=mdettweiler [2020-07-18 22:02:18] 949*2^1563483-1 is not prime. Res64: E8B249BDF6D00A2F Time : 0.0 sec. user=mdettweiler [2020-07-18 22:02:19] 707*2^1563484-1 is not prime. Res64: 64348A2A7620AA3F Time : 0.0 sec. user=mdettweiler [2020-07-18 22:02:21] 773*2^1563484-1 is not prime. Res64: 9A075445BD9240E6 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:02:22] 875*2^1563484-1 is not prime. Res64: D089E2C0549F71D9 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:06:01] 909*2^1563484-1 is not prime. Res64: 33B4FCFA8CA6B3A0 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:06:03] 627*2^1563485-1 is not prime. Res64: 32E24B2EE50901F2 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:06:04] 721*2^1563485-1 is not prime. Res64: 230C3D36383B0897 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:06:06] 805*2^1563485-1 is not prime. Res64: 048B4373820C26EB Time : 0.0 sec. user=mdettweiler [2020-07-18 22:06:07] 885*2^1563485-1 is not prime. Res64: ACE00108A3D53F3C Time : 0.0 sec. user=mdettweiler [2020-07-18 22:17:10] 755*2^1563486-1 is not prime. Res64: 581CE9EAC51DB565 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:17:11] 833*2^1563486-1 is not prime. Res64: C1271CA4FC3A9126 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:17:11] 873*2^1563486-1 is not prime. Res64: A37FFF7265B08094 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:17:11] 633*2^1563487-1 is not prime. Res64: C40AF2A43698F101 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:17:12] 675*2^1563487-1 is not prime. Res64: 56C8253062ACB836 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:56:35] 685*2^1563487-1 is not prime. Res64: F23DE57C44968D4B Time : 0.0 sec. user=mdettweiler [2020-07-18 22:56:35] 769*2^1563487-1 is not prime. Res64: 5D1D01D9F853FD3C Time : 0.0 sec. user=mdettweiler [2020-07-18 22:56:35] 669*2^1563488-1 is not prime. Res64: 29F726859BD42B27 Time : 0.0 sec. user=mdettweiler [2020-07-18 22:56:35] 759*2^1563488-1 is not prime. Res64: 82203C0DEDF421BC Time : 0.0 sec. user=mdettweiler [2020-07-18 22:56:35] 855*2^1563488-1 is not prime. Res64: 16A85FD49D6AA9C8 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:03:33] 963*2^1563488-1 is not prime. Res64: 1B7F288095819374 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:03:34] 995*2^1563488-1 is not prime. Res64: 9150E2E61A09816A Time : 0.0 sec. user=mdettweiler [2020-07-18 23:03:35] 615*2^1563489-1 is not prime. Res64: 668D2505D9D8325D Time : 0.0 sec. user=mdettweiler [2020-07-18 23:03:35] 861*2^1563489-1 is not prime. Res64: 8BC1EEEE6B38A5FE Time : 0.0 sec. user=mdettweiler [2020-07-18 23:03:36] 865*2^1563489-1 is not prime. Res64: 71F7AA7D12C72C9D Time : 0.0 sec. user=mdettweiler [2020-07-18 23:13:06] 909*2^1563489-1 is not prime. Res64: 951EC710B3BD74D2 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:13:06] 969*2^1563489-1 is not prime. Res64: 6014ADDF4C11891C Time : 0.0 sec. user=mdettweiler [2020-07-18 23:13:07] 975*2^1563489-1 is not prime. Res64: 1CBD50E2E4C5CD1A Time : 0.0 sec. user=mdettweiler [2020-07-18 23:13:07] 663*2^1563490-1 is not prime. Res64: 78B061F168901286 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:13:07] 701*2^1563490-1 is not prime. Res64: 791A756C16448997 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:53:53] 755*2^1563490-1 is not prime. Res64: B357CC2D8DC51653 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:53:53] 857*2^1563490-1 is not prime. Res64: D2BB3D0F5A3211E6 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:53:53] 861*2^1563490-1 is not prime. Res64: 60A7C67ACE0BF5C7 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:53:54] 867*2^1563490-1 is not prime. Res64: 89DE1FFEB3D864FE Time : 0.0 sec. user=mdettweiler [2020-07-18 23:53:54] 911*2^1563490-1 is not prime. Res64: 8764EBD8F8705922 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:59:21] 601*2^1563491-1 is not prime. Res64: BC54DFF022752F8E Time : 0.0 sec. user=mdettweiler [2020-07-18 23:59:21] 813*2^1563491-1 is not prime. Res64: 8B1E458827C28C75 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:59:22] 825*2^1563491-1 is not prime. Res64: B4CB00ECA9E72D7F Time : 0.0 sec. user=mdettweiler [2020-07-18 23:59:22] 895*2^1563491-1 is not prime. Res64: 0DAB4D576A28EA62 Time : 0.0 sec. user=mdettweiler [2020-07-18 23:59:22] 633*2^1563492-1 is not prime. Res64: A3C6B7A3FC88466B Time : 0.0 sec.