user=mdettweiler [2020-03-17 00:16:26] 901*2^1555581-1 is not prime. Res64: 73688ACBC3904F14 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:16:27] 681*2^1555582-1 is not prime. Res64: 737C54221F0F0DFC Time : 0.0 sec. user=mdettweiler [2020-03-17 00:16:28] 813*2^1555582-1 is not prime. Res64: 767EEB98ADB97D18 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:16:29] 885*2^1555582-1 is not prime. Res64: 855F42CF449889A2 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:16:30] 915*2^1555582-1 is not prime. Res64: E63EA8B385FA5655 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:44:06] 923*2^1555582-1 is not prime. Res64: 2553BD833290C565 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:44:07] 633*2^1555583-1 is not prime. Res64: A6B3054CDC9D2E5A Time : 0.0 sec. user=mdettweiler [2020-03-17 00:44:07] 663*2^1555583-1 is not prime. Res64: 0379318A1E8C8EBA Time : 0.0 sec. user=mdettweiler [2020-03-17 00:44:07] 693*2^1555583-1 is not prime. Res64: F3AA148570E72DF6 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:44:08] 745*2^1555583-1 is not prime. Res64: 9A186DF7D3CA2BC0 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:51:13] 781*2^1555583-1 is not prime. Res64: 0C44C79E7A652CB1 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:51:13] 639*2^1555584-1 is not prime. Res64: 21AF62644ACCF863 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:51:13] 723*2^1555584-1 is not prime. Res64: CDAA379AD7B87348 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:51:14] 815*2^1555584-1 is not prime. Res64: 862E20EB0074C774 Time : 0.0 sec. user=mdettweiler [2020-03-17 00:51:14] 899*2^1555584-1 is not prime. Res64: 6D68383D8F1C34DF Time : 0.0 sec. user=mdettweiler [2020-03-17 01:11:50] 947*2^1555584-1 is not prime. Res64: 48F5B02C41E309A6 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:11:51] 959*2^1555584-1 is not prime. Res64: B567E7FD361868DC Time : 0.0 sec. user=mdettweiler [2020-03-17 01:11:51] 969*2^1555584-1 is not prime. Res64: 88D461DC77F8DF6E Time : 0.0 sec. user=mdettweiler [2020-03-17 01:11:52] 649*2^1555585-1 is not prime. Res64: 8BB3A314D0214C99 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:11:52] 705*2^1555585-1 is not prime. Res64: CD4BF2A68B542DE7 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:36:08] 759*2^1555585-1 is not prime. Res64: 847ED929717FA8EE Time : 0.0 sec. user=mdettweiler [2020-03-17 01:36:08] 841*2^1555585-1 is not prime. Res64: 3CDF39A41EA077F3 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:36:09] 847*2^1555585-1 is not prime. Res64: 0BD9910964370B78 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:36:09] 657*2^1555586-1 is not prime. Res64: 7906288669CAAD93 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:36:10] 741*2^1555586-1 is not prime. Res64: 0E895D640B91CEC2 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:43:51] 783*2^1555586-1 is not prime. Res64: 8E5AF18F7D08792B Time : 0.0 sec. user=mdettweiler [2020-03-17 01:43:52] 801*2^1555586-1 is not prime. Res64: 5F7082AA2931251F Time : 0.0 sec. user=mdettweiler [2020-03-17 01:43:52] 831*2^1555586-1 is not prime. Res64: 31AF509F4BA91336 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:43:53] 833*2^1555586-1 is not prime. Res64: 6D6F9A1B41422BD7 Time : 0.0 sec. user=mdettweiler [2020-03-17 01:43:53] 843*2^1555586-1 is not prime. Res64: 2F87829DDDFEF9CB Time : 0.0 sec. user=mdettweiler [2020-03-17 02:04:43] 873*2^1555586-1 is not prime. Res64: 87A713FE504CC8A7 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:04:46] 893*2^1555586-1 is not prime. Res64: 147CBB8D08EE3CC0 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:04:52] 615*2^1555587-1 is not prime. Res64: 01F83ABD46D820F8 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:04:55] 633*2^1555587-1 is not prime. Res64: 4F38F4C85AE10E8D Time : 0.0 sec. user=mdettweiler [2020-03-17 02:04:58] 741*2^1555587-1 is not prime. Res64: 1D23499B76E9CD5C Time : 0.0 sec. user=mdettweiler [2020-03-17 02:31:02] 769*2^1555587-1 is not prime. Res64: DDBE2527121590AF Time : 0.0 sec. user=mdettweiler [2020-03-17 02:31:03] 781*2^1555587-1 is not prime. Res64: D9081FDACE19D420 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:31:04] 859*2^1555587-1 is not prime. Res64: EA27B5F4D9E605EF Time : 0.0 sec. user=mdettweiler [2020-03-17 02:31:04] 963*2^1555587-1 is not prime. Res64: 80AF4DB670F760AA Time : 0.0 sec. user=mdettweiler [2020-03-17 02:31:04] 979*2^1555587-1 is not prime. Res64: 6A612A28C3DBAD32 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:35:38] 623*2^1555588-1 is not prime. Res64: 20A41C96ACCEC222 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:35:38] 699*2^1555588-1 is not prime. Res64: ED75C22D00E8FB3D Time : 0.0 sec. user=mdettweiler [2020-03-17 02:35:39] 707*2^1555588-1 is not prime. Res64: BDC2934E57E4335F Time : 0.0 sec. user=mdettweiler [2020-03-17 02:35:39] 773*2^1555588-1 is not prime. Res64: D87223C8B4FCB9B7 Time : 0.0 sec. user=mdettweiler [2020-03-17 02:35:40] 797*2^1555588-1 is not prime. Res64: 4D15A335BF403936 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:00:40] 827*2^1555588-1 is not prime. Res64: DA9E1CCE390FD0A8 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:00:43] 855*2^1555588-1 is not prime. Res64: F00B5961EBAADCEC Time : 0.0 sec. user=mdettweiler [2020-03-17 03:00:44] 993*2^1555588-1 is not prime. Res64: F7AC0784F60C15D1 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:00:47] 995*2^1555588-1 is not prime. Res64: 637C3371A284C0F8 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:00:49] 799*2^1555589-1 is not prime. Res64: 9DF46ABEE568AEFB Time : 0.0 sec. user=mdettweiler [2020-03-17 03:25:40] 889*2^1555589-1 is not prime. Res64: 3AC78D98F87BA37E Time : 0.0 sec. user=mdettweiler [2020-03-17 03:25:40] 925*2^1555589-1 is not prime. Res64: D7C9640AE2CEE8AD Time : 0.0 sec. user=mdettweiler [2020-03-17 03:25:41] 713*2^1555590-1 is not prime. Res64: 1E4A6BD617A8953C Time : 0.0 sec. user=mdettweiler [2020-03-17 03:25:42] 747*2^1555590-1 is not prime. Res64: 6E890E77B3FCA40A Time : 0.0 sec. user=mdettweiler [2020-03-17 03:25:43] 765*2^1555590-1 is not prime. Res64: 7A267B6F0042654A Time : 0.0 sec. user=mdettweiler [2020-03-17 03:29:20] 783*2^1555590-1 is not prime. Res64: 1BF627B841FDC842 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:29:21] 797*2^1555590-1 is not prime. Res64: D1F5E2FFC6ACD4FB Time : 0.0 sec. user=mdettweiler [2020-03-17 03:29:23] 845*2^1555590-1 is not prime. Res64: F370186CE6E00594 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:29:24] 863*2^1555590-1 is not prime. Res64: 1CD37A30375BB401 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:29:25] 917*2^1555590-1 is not prime. Res64: 9D1D84ACE0817F15 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:54:53] 941*2^1555590-1 is not prime. Res64: 46D0675DA5FA290E Time : 0.0 sec. user=mdettweiler [2020-03-17 03:54:55] 681*2^1555591-1 is not prime. Res64: ACFCEE06568D98C3 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:54:57] 745*2^1555591-1 is not prime. Res64: A57CEEADA3CD0381 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:54:58] 943*2^1555591-1 is not prime. Res64: 2F5C9BC160876255 Time : 0.0 sec. user=mdettweiler [2020-03-17 03:55:00] 617*2^1555592-1 is not prime. Res64: B382E0D2C8A3A7F0 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:20:19] 665*2^1555592-1 is not prime. Res64: 52692429AB202003 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:20:21] 797*2^1555592-1 is not prime. Res64: F4D483261F2E5D34 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:20:23] 825*2^1555592-1 is not prime. Res64: 06136F77FC23BF0B Time : 0.0 sec. user=mdettweiler [2020-03-17 04:20:24] 945*2^1555592-1 is not prime. Res64: F8C332ACD8B33E7A Time : 0.0 sec. user=mdettweiler [2020-03-17 04:20:25] 999*2^1555592-1 is not prime. Res64: 08040E275E485414 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:23:45] 627*2^1555593-1 is not prime. Res64: 597F8332778DA935 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:23:46] 705*2^1555593-1 is not prime. Res64: 6BA861AAE6526684 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:23:47] 789*2^1555593-1 is not prime. Res64: 49C52B5ABEBE6BD4 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:23:48] 945*2^1555593-1 is not prime. Res64: D2D5F03E02AF3AA7 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:23:49] 985*2^1555593-1 is not prime. Res64: A4272003BC7F47ED Time : 0.0 sec. user=mdettweiler [2020-03-17 04:48:05] 617*2^1555594-1 is not prime. Res64: 39425BA38B247D8B Time : 0.0 sec. user=mdettweiler [2020-03-17 04:48:06] 705*2^1555594-1 is not prime. Res64: D3C5018784E6FA81 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:48:06] 741*2^1555594-1 is not prime. Res64: 4C233CDE6E982061 Time : 0.0 sec. user=mdettweiler [2020-03-17 04:48:07] 947*2^1555594-1 is not prime. Res64: 2A8C5AC76C53BDAF Time : 0.0 sec. user=mdettweiler [2020-03-17 04:48:07] 649*2^1555595-1 is not prime. Res64: 3C841C801134B864 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:14:54] 741*2^1555595-1 is not prime. Res64: B67DB233C501D215 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:14:54] 759*2^1555595-1 is not prime. Res64: 6ADA470B7A7499CE Time : 0.0 sec. user=mdettweiler [2020-03-17 05:14:55] 909*2^1555595-1 is not prime. Res64: EF2AEB92D35B6910 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:14:55] 915*2^1555595-1 is not prime. Res64: 3DA7AA2309EC26F6 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:14:56] 705*2^1555596-1 is not prime. Res64: 8CF8830FC79141F1 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:16:38] 759*2^1555596-1 is not prime. Res64: 0BF83DD19BD46095 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:16:38] 779*2^1555596-1 is not prime. Res64: F467B3D650D519FB Time : 0.0 sec. user=mdettweiler [2020-03-17 05:16:39] 825*2^1555596-1 is not prime. Res64: DB4BAB71DC1A8DDB Time : 0.0 sec. user=mdettweiler [2020-03-17 05:16:39] 843*2^1555596-1 is not prime. Res64: 0884B9A5E00B428D Time : 0.0 sec. user=mdettweiler [2020-03-17 05:16:40] 867*2^1555596-1 is not prime. Res64: AF1EE94DDDE07D24 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:42:41] 975*2^1555596-1 is not prime. Res64: 5B47E0A24F826320 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:42:41] 775*2^1555597-1 is not prime. Res64: 244D101822C8FED5 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:42:41] 955*2^1555597-1 is not prime. Res64: 54EBA501DC580139 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:42:42] 693*2^1555598-1 is not prime. Res64: 050897185BF50F61 Time : 0.0 sec. user=mdettweiler [2020-03-17 05:42:42] 827*2^1555598-1 is not prime. Res64: 640EF7489E521D04 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:07:48] 885*2^1555598-1 is not prime. Res64: 139F90FF6839A748 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:07:50] 951*2^1555598-1 is not prime. Res64: 6C8B4937405D9E77 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:07:51] 621*2^1555599-1 is not prime. Res64: 27A22A263AD7BCC1 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:07:52] 625*2^1555599-1 is not prime. Res64: 198EF29FA58EC2FF Time : 0.0 sec. user=mdettweiler [2020-03-17 06:07:53] 693*2^1555599-1 is not prime. Res64: 19AB2B4D34D8502F Time : 0.0 sec. user=mdettweiler [2020-03-17 06:08:04] 705*2^1555599-1 is not prime. Res64: 64A8669E36AEB377 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:08:06] 745*2^1555599-1 is not prime. Res64: A493A55B4CD8B738 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:08:07] 763*2^1555599-1 is not prime. Res64: 28C5C64738EE566E Time : 0.0 sec. user=mdettweiler [2020-03-17 06:08:09] 605*2^1555600-1 is not prime. Res64: BDC88E78B2F0ACD8 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:08:10] 645*2^1555600-1 is not prime. Res64: 642857BB227DD673 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:37:09] 843*2^1555600-1 is not prime. Res64: 1EC623E509661F4A Time : 0.0 sec. user=mdettweiler [2020-03-17 06:37:09] 717*2^1555601-1 is not prime. Res64: FB30E01AD4670E7B Time : 0.0 sec. user=mdettweiler [2020-03-17 06:37:10] 861*2^1555601-1 is not prime. Res64: AA8715A50CB90B4E Time : 0.0 sec. user=mdettweiler [2020-03-17 06:37:10] 949*2^1555601-1 is not prime. Res64: D084603E73325595 Time : 0.0 sec. user=mdettweiler [2020-03-17 06:37:11] 981*2^1555601-1 is not prime. Res64: F73B7D5012045024 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:00:21] 673*2^1555603-1 is not prime. Res64: CF2C76EE56576A64 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:00:22] 703*2^1555603-1 is not prime. Res64: 13D114141D4690E7 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:00:23] 751*2^1555603-1 is not prime. Res64: 805D1A9BD8A443E7 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:00:24] 783*2^1555603-1 is not prime. Res64: 7D816C0A659190D8 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:00:25] 789*2^1555603-1 is not prime. Res64: AE3027CA1526486B Time : 0.0 sec. user=mdettweiler [2020-03-17 07:01:26] 651*2^1555602-1 is not prime. Res64: 99881A96317C299E Time : 0.0 sec. user=mdettweiler [2020-03-17 07:01:27] 705*2^1555602-1 is not prime. Res64: E9A6245EFA9B086B Time : 0.0 sec. user=mdettweiler [2020-03-17 07:01:27] 767*2^1555602-1 is not prime. Res64: C252922AFBE88E43 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:01:28] 801*2^1555602-1 is not prime. Res64: 405DA58D27F69441 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:01:29] 951*2^1555602-1 is not prime. Res64: 9A323729F9FF1F09 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:32:58] 793*2^1555603-1 is not prime. Res64: 336A1701492F57F6 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:32:58] 835*2^1555603-1 is not prime. Res64: BE51003E78707AD0 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:32:59] 913*2^1555603-1 is not prime. Res64: 8738B7EBAFF3FAB3 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:32:59] 925*2^1555603-1 is not prime. Res64: 87C0FAFF6CCFDEFB Time : 0.0 sec. user=mdettweiler [2020-03-17 07:32:59] 985*2^1555603-1 is not prime. Res64: FF164F3CC66008F2 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:53:33] 819*2^1555604-1 is not prime. Res64: 05B7D6251E7814CC Time : 0.0 sec. user=mdettweiler [2020-03-17 07:53:34] 843*2^1555604-1 is not prime. Res64: 2EFE8D30AE66C8F5 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:53:34] 899*2^1555604-1 is not prime. Res64: A15375B6B801CA11 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:53:34] 655*2^1555605-1 is not prime. Res64: D3A8F76A329965F9 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:53:35] 647*2^1555606-1 is not prime. Res64: 0B72CEBF23D34CC5 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:57:18] 765*2^1555606-1 is not prime. Res64: 08F061D7604D2EC3 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:57:18] 855*2^1555606-1 is not prime. Res64: EA2D54AC7E575F0B Time : 0.0 sec. user=mdettweiler [2020-03-17 07:57:18] 887*2^1555606-1 is not prime. Res64: 0E29C5CD87A8142B Time : 0.0 sec. user=mdettweiler [2020-03-17 07:57:19] 933*2^1555606-1 is not prime. Res64: 99D3BA1BC6E90E67 Time : 0.0 sec. user=mdettweiler [2020-03-17 07:57:19] 981*2^1555606-1 is not prime. Res64: C0A2BC8EE9E20435 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:24:09] 645*2^1555607-1 is not prime. Res64: 5CAD457D1B7A105B Time : 0.0 sec. user=mdettweiler [2020-03-17 08:24:09] 663*2^1555607-1 is not prime. Res64: A86964219A9CB632 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:24:10] 669*2^1555607-1 is not prime. Res64: F8C0D59BD749BED7 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:24:10] 673*2^1555607-1 is not prime. Res64: E35C81B0E8D0D952 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:24:10] 675*2^1555607-1 is not prime. Res64: 5B4BCF4702C7B453 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:45:55] 703*2^1555607-1 is not prime. Res64: 3F96760F6CFFD541 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:45:56] 843*2^1555607-1 is not prime. Res64: EB739AE7613351DB Time : 0.0 sec. user=mdettweiler [2020-03-17 08:45:56] 879*2^1555607-1 is not prime. Res64: F96CAD45C037321C Time : 0.0 sec. user=mdettweiler [2020-03-17 08:45:56] 815*2^1555608-1 is not prime. Res64: 7614D85413FE335C Time : 0.0 sec. user=mdettweiler [2020-03-17 08:45:57] 839*2^1555608-1 is not prime. Res64: A81788D03EFDFAD0 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:49:50] 975*2^1555608-1 is not prime. Res64: E516C933279DC477 Time : 0.0 sec. user=mdettweiler [2020-03-17 08:49:50] 615*2^1555609-1 is not prime. Res64: EA377B8C51829C7E Time : 0.0 sec. user=mdettweiler [2020-03-17 08:49:51] 649*2^1555609-1 is not prime. Res64: 447C5E2C2DE2AA2F Time : 0.0 sec. user=mdettweiler [2020-03-17 08:49:51] 699*2^1555609-1 is not prime. Res64: F8217D52B577A47D Time : 0.0 sec. user=mdettweiler [2020-03-17 08:49:51] 729*2^1555609-1 is not prime. Res64: 84178A303F7B0288 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:16:32] 741*2^1555609-1 is not prime. Res64: 38D1369EEF9C8A35 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:16:33] 747*2^1555609-1 is not prime. Res64: 3FFB2AE6CFE0DAB3 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:16:33] 751*2^1555609-1 is not prime. Res64: 1B75D8FFBC319290 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:16:33] 771*2^1555609-1 is not prime. Res64: 20B82BFDE1D6B17B Time : 0.0 sec. user=mdettweiler [2020-03-17 09:16:34] 831*2^1555609-1 is not prime. Res64: 9903B8EEF0CB7031 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:39:39] 867*2^1555609-1 is not prime. Res64: C79326E71198508F Time : 0.0 sec. user=mdettweiler [2020-03-17 09:39:39] 877*2^1555609-1 is not prime. Res64: 1938E0745A789942 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:39:40] 951*2^1555609-1 is not prime. Res64: 1FF9E4EC63513F90 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:39:40] 773*2^1555610-1 is not prime. Res64: 30289FEE2479307C Time : 0.0 sec. user=mdettweiler [2020-03-17 09:39:40] 831*2^1555610-1 is not prime. Res64: 7DFB587C9AC0BB81 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:43:31] 845*2^1555610-1 is not prime. Res64: 0D187A36172F71A8 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:43:31] 851*2^1555610-1 is not prime. Res64: BA437CA537881DB1 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:43:32] 867*2^1555610-1 is not prime. Res64: AE4D5F9EBF84C401 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:43:32] 875*2^1555610-1 is not prime. Res64: 9AA85E9C499B2F79 Time : 0.0 sec. user=mdettweiler [2020-03-17 09:43:32] 893*2^1555610-1 is not prime. Res64: 41C9F4BE5C03009A Time : 0.0 sec. user=mdettweiler [2020-03-17 10:09:27] 613*2^1555611-1 is not prime. Res64: 147D401203D573A2 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:09:27] 709*2^1555611-1 is not prime. Res64: 685634A9B8DFF54B Time : 0.0 sec. user=mdettweiler [2020-03-17 10:09:28] 793*2^1555611-1 is not prime. Res64: 4D65A16BC32EC0E3 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:09:28] 931*2^1555611-1 is not prime. Res64: 708EBD0BE2575CD2 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:09:29] 639*2^1555612-1 is not prime. Res64: E0B218ADF99A88A8 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:32:54] 675*2^1555612-1 is not prime. Res64: E0977B173AA95829 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:32:54] 869*2^1555612-1 is not prime. Res64: 061D8F65725F2BCE Time : 0.0 sec. user=mdettweiler [2020-03-17 10:32:55] 875*2^1555612-1 is not prime. Res64: E6F86DEEF072F2DD Time : 0.0 sec. user=mdettweiler [2020-03-17 10:32:55] 975*2^1555612-1 is not prime. Res64: 2B04C021AF697ED1 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:32:56] 607*2^1555613-1 is not prime. Res64: 08D7576AECA9B2E3 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:36:50] 691*2^1555613-1 is not prime. Res64: 23A89D4ECE1EDBCF Time : 0.0 sec. user=mdettweiler [2020-03-17 10:36:50] 729*2^1555613-1 is not prime. Res64: 59EAE4079270BB07 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:36:50] 747*2^1555613-1 is not prime. Res64: 937F0C0B30A60CD4 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:36:51] 847*2^1555613-1 is not prime. Res64: 8E7702B6D1AE7CC8 Time : 0.0 sec. user=mdettweiler [2020-03-17 10:36:51] 901*2^1555613-1 is not prime. Res64: 71EF2EB6E9A81EE5 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:06:25] 915*2^1555613-1 is not prime. Res64: 05E72000076836A7 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:06:26] 937*2^1555613-1 is not prime. Res64: EEF410A6E0F8582F Time : 0.0 sec. user=mdettweiler [2020-03-17 11:06:28] 967*2^1555613-1 is not prime. Res64: 38D3115155E8485F Time : 0.0 sec. user=mdettweiler [2020-03-17 11:06:29] 969*2^1555613-1 is not prime. Res64: 7A4D5F17CC941B6D Time : 0.0 sec. user=mdettweiler [2020-03-17 11:06:30] 611*2^1555614-1 is not prime. Res64: C5F1D36B25DCF2B7 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:25:32] 741*2^1555614-1 is not prime. Res64: EE75B6EBCE7B9534 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:25:32] 767*2^1555614-1 is not prime. Res64: 729A5ED0F134C1A1 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:25:33] 773*2^1555614-1 is not prime. Res64: D2D7E118A1BC5904 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:25:33] 815*2^1555614-1 is not prime. Res64: FD5E8CCF46E41E63 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:25:33] 825*2^1555614-1 is not prime. Res64: 4C488CDEF0F8E25B Time : 0.0 sec. user=mdettweiler [2020-03-17 11:29:40] 993*2^1555614-1 is not prime. Res64: 053E19C77A3BB1F4 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:29:40] 609*2^1555615-1 is not prime. Res64: 794ECC6D10A96DC3 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:29:40] 651*2^1555615-1 is not prime. Res64: 26BB70797F728778 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:29:41] 705*2^1555615-1 is not prime. Res64: E7F5CD0D2D1AECD1 Time : 0.0 sec. user=mdettweiler [2020-03-17 11:29:41] 723*2^1555615-1 is not prime. Res64: C5F3BF00FCECF2BA Time : 0.0 sec. user=mdettweiler [2020-03-17 12:01:23] 885*2^1555615-1 is not prime. Res64: 52CB6C774EE1008D Time : 0.0 sec. user=mdettweiler [2020-03-17 12:01:24] 951*2^1555615-1 is not prime. Res64: CDA517E08F0712D3 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:01:24] 973*2^1555615-1 is not prime. Res64: F395AD188C83D618 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:01:25] 609*2^1555616-1 is not prime. Res64: D09D49804AE279B4 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:01:26] 617*2^1555616-1 is not prime. Res64: E92CD2617C8B4F78 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:20:18] 629*2^1555616-1 is not prime. Res64: A70CC7E3B1FD0088 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:20:18] 825*2^1555616-1 is not prime. Res64: 3D6CAB756B3C9B73 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:20:19] 869*2^1555616-1 is not prime. Res64: 58044E1D449853AD Time : 0.0 sec. user=mdettweiler [2020-03-17 12:20:19] 893*2^1555616-1 is not prime. Res64: F3F4378AE46C2A55 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:20:20] 935*2^1555616-1 is not prime. Res64: CD070B1691877DF0 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:23:01] 983*2^1555616-1 is not prime. Res64: 22899A9A592E9352 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:23:02] 625*2^1555617-1 is not prime. Res64: EFCD13BA829882F1 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:23:02] 741*2^1555617-1 is not prime. Res64: 57FF75EB9BD248C6 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:23:02] 781*2^1555617-1 is not prime. Res64: 6EB51E647BC5995A Time : 0.0 sec. user=mdettweiler [2020-03-17 12:23:03] 807*2^1555617-1 is not prime. Res64: 88132C7CF512E693 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:54:52] 865*2^1555617-1 is not prime. Res64: 7EABFCB20479AF01 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:54:53] 885*2^1555617-1 is not prime. Res64: 8DDDF5126EEC8383 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:54:53] 937*2^1555617-1 is not prime. Res64: 0529E0CAFF544145 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:54:53] 657*2^1555618-1 is not prime. Res64: 09FBF712F7ED3CB4 Time : 0.0 sec. user=mdettweiler [2020-03-17 12:54:54] 743*2^1555618-1 is not prime. Res64: E5BD3413F437B5AA Time : 0.0 sec. user=mdettweiler [2020-03-17 13:12:47] 755*2^1555618-1 is not prime. Res64: D45514F718D2641D Time : 0.0 sec. user=mdettweiler [2020-03-17 13:12:48] 765*2^1555618-1 is not prime. Res64: 75C80E62D151E773 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:12:48] 615*2^1555619-1 is not prime. Res64: F34D0CAE40FECFE7 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:12:49] 643*2^1555619-1 is not prime. Res64: 38163169A412D704 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:12:50] 855*2^1555619-1 is not prime. Res64: 5BE3EBADEAD94866 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:19:08] 913*2^1555619-1 is not prime. Res64: 28D924BF08F674B2 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:19:08] 949*2^1555619-1 is not prime. Res64: E479CB960419619F Time : 0.0 sec. user=mdettweiler [2020-03-17 13:19:09] 955*2^1555619-1 is not prime. Res64: 5459FAC07F29CB55 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:19:09] 719*2^1555620-1 is not prime. Res64: 1B61450E47AEA083 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:19:10] 767*2^1555620-1 is not prime. Res64: 4451799B7E884474 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:48:18] 779*2^1555620-1 is not prime. Res64: CEE64FA49BD9E21E Time : 0.0 sec. user=mdettweiler [2020-03-17 13:48:19] 789*2^1555620-1 is not prime. Res64: B3CEC9AFB0F7DF26 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:48:19] 717*2^1555621-1 is not prime. Res64: 81F8665B758476F6 Time : 0.0 sec. user=mdettweiler [2020-03-17 13:48:20] 741*2^1555621-1 is not prime. Res64: D476ACE7FFA1317E Time : 0.0 sec. user=mdettweiler [2020-03-17 13:48:20] 957*2^1555621-1 is not prime. Res64: 77F955BB5E711AD1 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:07:24] 615*2^1555622-1 is not prime. Res64: 2C03B04C4D7732CE Time : 0.0 sec. user=mdettweiler [2020-03-17 14:07:25] 645*2^1555622-1 is not prime. Res64: B00E0C9101717A1A Time : 0.0 sec. user=mdettweiler [2020-03-17 14:07:25] 843*2^1555622-1 is not prime. Res64: DFDCA703FAFCF9AF Time : 0.0 sec. user=mdettweiler [2020-03-17 14:07:26] 917*2^1555622-1 is not prime. Res64: 431D6F0A96E5FAEB Time : 0.0 sec. user=mdettweiler [2020-03-17 14:07:26] 941*2^1555622-1 is not prime. Res64: C3AC6453D5E15E2B Time : 0.0 sec. user=mdettweiler [2020-03-17 14:13:39] 965*2^1555622-1 is not prime. Res64: 1B7343D6C050D278 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:13:40] 981*2^1555622-1 is not prime. Res64: 43AB1C4649C1A364 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:13:41] 615*2^1555623-1 is not prime. Res64: 8897386ABFE64D53 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:13:41] 723*2^1555623-1 is not prime. Res64: 78BF1BFF8F40A6DA Time : 0.0 sec. user=mdettweiler [2020-03-17 14:13:42] 849*2^1555623-1 is not prime. Res64: C7F1C20DACBB30AA Time : 0.0 sec. user=mdettweiler [2020-03-17 14:41:21] 635*2^1555624-1 is not prime. Res64: 7B1C12F98927C17E Time : 0.0 sec. user=mdettweiler [2020-03-17 14:41:21] 645*2^1555624-1 is not prime. Res64: 454052D2183F93D3 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:41:21] 665*2^1555624-1 is not prime. Res64: F3B94AB1FD9CCD71 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:41:22] 975*2^1555624-1 is not prime. Res64: FC3732F1B3E81705 Time : 0.0 sec. user=mdettweiler [2020-03-17 14:41:22] 841*2^1555625-1 is not prime. Res64: 00ECBBA343955778 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:02:59] 909*2^1555625-1 is not prime. Res64: 89314192A989D1E2 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:03:00] 969*2^1555625-1 is not prime. Res64: EB1393D92EE840B7 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:03:00] 987*2^1555625-1 is not prime. Res64: 352C876EA8BC6203 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:03:01] 683*2^1555626-1 is not prime. Res64: 4560539454EBE695 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:03:02] 713*2^1555626-1 is not prime. Res64: 162016E01585C86D Time : 0.0 sec. user=mdettweiler [2020-03-17 15:09:16] 717*2^1555626-1 is not prime. Res64: F9C3C5EAABA1F13A Time : 0.0 sec. user=mdettweiler [2020-03-17 15:09:17] 923*2^1555626-1 is not prime. Res64: F4CCAC336BBBBA61 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:09:17] 945*2^1555626-1 is not prime. Res64: 076BF6673AC6A051 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:09:17] 983*2^1555626-1 is not prime. Res64: 9CA645FBE8C671BD Time : 0.0 sec. user=mdettweiler [2020-03-17 15:09:18] 633*2^1555627-1 is not prime. Res64: ABFE5E2513FEFD32 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:32:54] 645*2^1555627-1 is not prime. Res64: 4C1E12F97EC1290D Time : 0.0 sec. user=mdettweiler [2020-03-17 15:32:54] 663*2^1555627-1 is not prime. Res64: 0E3FDBB2AD0FCE86 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:32:55] 691*2^1555627-1 is not prime. Res64: BED5F87859285DC3 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:32:55] 699*2^1555627-1 is not prime. Res64: 8DFACCEDA510572D Time : 0.0 sec. user=mdettweiler [2020-03-17 15:32:55] 741*2^1555627-1 is not prime. Res64: 85DC1F9D12B183A4 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:56:45] 805*2^1555627-1 is not prime. Res64: E654786D8C043E52 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:56:45] 861*2^1555627-1 is not prime. Res64: 8D0E656717B018F8 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:56:45] 979*2^1555627-1 is not prime. Res64: E4F9CE7E4816DE7A Time : 0.0 sec. user=mdettweiler [2020-03-17 15:56:46] 657*2^1555628-1 is not prime. Res64: 194EE482C88009A0 Time : 0.0 sec. user=mdettweiler [2020-03-17 15:56:46] 707*2^1555628-1 is not prime. Res64: A579E056F5D55704 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:03:08] 759*2^1555628-1 is not prime. Res64: C4964C24AE4EF1D7 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:03:09] 837*2^1555628-1 is not prime. Res64: 8AB4377BBCA02BFC Time : 0.0 sec. user=mdettweiler [2020-03-17 16:03:10] 995*2^1555628-1 is not prime. Res64: 3F5C4BB73E1DC1FF Time : 0.0 sec. user=mdettweiler [2020-03-17 16:03:10] 667*2^1555629-1 is not prime. Res64: 9AF7CEBC6E4A48AC Time : 0.0 sec. user=mdettweiler [2020-03-17 16:03:11] 789*2^1555629-1 is not prime. Res64: 20C43ACBB7D8E88C Time : 0.0 sec. user=mdettweiler [2020-03-17 16:27:33] 795*2^1555629-1 is not prime. Res64: B78BD45C00746DA2 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:27:33] 865*2^1555629-1 is not prime. Res64: 0E31022B9692487B Time : 0.0 sec. user=mdettweiler [2020-03-17 16:27:34] 785*2^1555630-1 is not prime. Res64: 4FDC373FAE28B95C Time : 0.0 sec. user=mdettweiler [2020-03-17 16:27:34] 791*2^1555630-1 is not prime. Res64: 9DC921A83ACA8684 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:27:35] 951*2^1555630-1 is not prime. Res64: 192DFD85636D45D3 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:50:04] 1001*2^1555630-1 is not prime. Res64: C00F70A6E400FEA2 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:50:05] 619*2^1555631-1 is not prime. Res64: 67F52F956258609A Time : 0.0 sec. user=mdettweiler [2020-03-17 16:50:05] 673*2^1555631-1 is not prime. Res64: B0007E789683BEFB Time : 0.0 sec. user=mdettweiler [2020-03-17 16:50:05] 679*2^1555631-1 is not prime. Res64: 859C4C4A3A9CF8C4 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:50:06] 741*2^1555631-1 is not prime. Res64: EC7C0419EA961352 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:57:08] 813*2^1555631-1 is not prime. Res64: CE800429EF380D94 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:57:09] 823*2^1555631-1 is not prime. Res64: 51D5B46BD77BCE50 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:57:09] 855*2^1555631-1 is not prime. Res64: 4FE6BA76BB102164 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:57:09] 879*2^1555631-1 is not prime. Res64: 410A6B990E8E2306 Time : 0.0 sec. user=mdettweiler [2020-03-17 16:57:10] 883*2^1555631-1 is not prime. Res64: C4B5FFE8D1941A7C Time : 0.0 sec. user=mdettweiler [2020-03-17 17:25:52] 913*2^1555631-1 is not prime. Res64: 6CAC4BF99A4DCFFD Time : 0.0 sec. user=mdettweiler [2020-03-17 17:25:53] 943*2^1555631-1 is not prime. Res64: D889A81ABFFCEF8E Time : 0.0 sec. user=mdettweiler [2020-03-17 17:25:53] 955*2^1555631-1 is not prime. Res64: BB393A0CDBF867CD Time : 0.0 sec. user=mdettweiler [2020-03-17 17:25:54] 979*2^1555631-1 is not prime. Res64: 4B6FF1C80F83B9F3 Time : 0.0 sec. user=mdettweiler [2020-03-17 17:25:54] 999*2^1555631-1 is not prime. Res64: A90BF208833A027F Time : 0.0 sec. user=mdettweiler [2020-03-17 17:43:07] 615*2^1555632-1 is not prime. Res64: B4D4472AB98B9020 Time : 0.0 sec. user=mdettweiler [2020-03-17 17:43:07] 689*2^1555632-1 is not prime. Res64: 4B45E6C64CFC9DA3 Time : 0.0 sec. user=mdettweiler [2020-03-17 17:43:07] 695*2^1555632-1 is not prime. Res64: 0E51F6BE1462009E Time : 0.0 sec. user=mdettweiler [2020-03-17 17:43:08] 809*2^1555632-1 is not prime. Res64: 16E07A6C6E9483E1 Time : 0.0 sec. user=mdettweiler [2020-03-17 17:43:08] 915*2^1555632-1 is not prime. Res64: 8E662CD49639F681 Time : 0.0 sec. user=mdettweiler [2020-03-17 17:50:27] 983*2^1555632-1 is not prime. Res64: 69E2370D9CF9404F Time : 0.0 sec. user=mdettweiler [2020-03-17 17:50:27] 715*2^1555633-1 is not prime. Res64: AE1CE57308AC186F Time : 0.0 sec. user=mdettweiler [2020-03-17 17:50:28] 741*2^1555633-1 is not prime. Res64: 50AA7243F2A1738A Time : 0.0 sec. user=mdettweiler [2020-03-17 17:50:28] 747*2^1555633-1 is not prime. Res64: 468FBCE3B13E370D Time : 0.0 sec. user=mdettweiler [2020-03-17 17:50:28] 775*2^1555633-1 is not prime. Res64: 54009CC4F633FBAE Time : 0.0 sec. user=mdettweiler [2020-03-17 18:17:53] 805*2^1555633-1 is not prime. Res64: B6AFD9915C990A15 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:17:54] 615*2^1555634-1 is not prime. Res64: 405E63714B8E4CA5 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:17:54] 675*2^1555634-1 is not prime. Res64: AA97D43B28B17B24 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:17:55] 797*2^1555634-1 is not prime. Res64: 4D6770BA4F0E68B5 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:17:55] 827*2^1555634-1 is not prime. Res64: 3EB30DB870B161AB Time : 0.0 sec. user=mdettweiler [2020-03-17 18:37:33] 875*2^1555634-1 is not prime. Res64: 8A9209A8C4567C22 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:37:33] 887*2^1555634-1 is not prime. Res64: 2705F58DC94EF485 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:37:34] 915*2^1555634-1 is not prime. Res64: 8485DB66CF97BDBD Time : 0.0 sec. user=mdettweiler [2020-03-17 18:37:34] 691*2^1555635-1 is not prime. Res64: 1480EE2521C467FE Time : 0.0 sec. user=mdettweiler [2020-03-17 18:37:35] 819*2^1555635-1 is not prime. Res64: 2CD1A4BE99929C23 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:46:22] 849*2^1555635-1 is not prime. Res64: A92C8CD4C91932D6 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:46:22] 909*2^1555635-1 is not prime. Res64: F7E520FC21917E31 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:46:23] 963*2^1555635-1 is not prime. Res64: 38D2D771F4D60494 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:46:23] 973*2^1555635-1 is not prime. Res64: 31925A37695AACC3 Time : 0.0 sec. user=mdettweiler [2020-03-17 18:46:23] 807*2^1555636-1 is not prime. Res64: 58D82CB6B55345A6 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:11:00] 813*2^1555636-1 is not prime. Res64: ACE9D2D0260999F0 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:11:00] 873*2^1555636-1 is not prime. Res64: F92D84EC031915DB Time : 0.0 sec. user=mdettweiler [2020-03-17 19:11:01] 987*2^1555636-1 is not prime. Res64: BAC64A2DE8175BDB Time : 0.0 sec. user=mdettweiler [2020-03-17 19:11:01] 615*2^1555637-1 is not prime. Res64: E4CF712CE192A3DC Time : 0.0 sec. user=mdettweiler [2020-03-17 19:11:01] 619*2^1555637-1 is not prime. Res64: 0F53AD0666C8E580 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:30:19] 937*2^1555637-1 is not prime. Res64: 3BC17219EB48C788 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:30:19] 621*2^1555638-1 is not prime. Res64: 266B8109E0E676B2 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:30:20] 663*2^1555638-1 is not prime. Res64: D244AE3822C5E958 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:30:20] 671*2^1555638-1 is not prime. Res64: 804B2D406870649E Time : 0.0 sec. user=mdettweiler [2020-03-17 19:30:21] 765*2^1555638-1 is not prime. Res64: 43D5EF7747A8DCA5 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:39:29] 601*2^1555639-1 is not prime. Res64: CC8C46FBEC379846 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:39:29] 633*2^1555639-1 is not prime. Res64: C6914F19F06D3196 Time : 0.0 sec. user=mdettweiler [2020-03-17 19:39:30] 841*2^1555639-1 is not prime. Res64: F1BD528E3F27401E Time : 0.0 sec. user=mdettweiler [2020-03-17 19:39:30] 883*2^1555639-1 is not prime. Res64: BFD447F10331FD3E Time : 0.0 sec. user=mdettweiler [2020-03-17 19:39:30] 933*2^1555639-1 is not prime. Res64: 471CB4EEC969A58E Time : 0.0 sec. user=mdettweiler [2020-03-17 20:07:07] 939*2^1555639-1 is not prime. Res64: 0204E33CD152987D Time : 0.0 sec. user=mdettweiler [2020-03-17 20:07:08] 675*2^1555640-1 is not prime. Res64: 6139BF5512163C72 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:07:10] 845*2^1555640-1 is not prime. Res64: EDAE258BE36A4C97 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:07:11] 893*2^1555640-1 is not prime. Res64: F4D257EC47C46C3A Time : 0.0 sec. user=mdettweiler [2020-03-17 20:07:12] 923*2^1555640-1 is not prime. Res64: 0E2216457708858D Time : 0.0 sec. user=mdettweiler [2020-03-17 20:25:15] 995*2^1555640-1 is not prime. Res64: 2579173CDBF68B52 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:25:15] 999*2^1555640-1 is not prime. Res64: F621C606EFC51BDE Time : 0.0 sec. user=mdettweiler [2020-03-17 20:25:15] 615*2^1555641-1 is not prime. Res64: 1CDE05EF9B49F214 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:25:16] 741*2^1555641-1 is not prime. Res64: C1899ECDAA5DA8E5 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:25:16] 747*2^1555641-1 is not prime. Res64: 5DF785FE862132AF Time : 0.0 sec. user=mdettweiler [2020-03-17 20:35:45] 751*2^1555641-1 is not prime. Res64: EADFF1B953F5EE19 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:35:46] 909*2^1555641-1 is not prime. Res64: 21762DE80C59E919 Time : 0.0 sec. user=mdettweiler [2020-03-17 20:35:46] 979*2^1555641-1 is not prime. Res64: 3F15883ACD23C18A Time : 0.0 sec. user=mdettweiler [2020-03-17 20:35:46] 999*2^1555641-1 is not prime. Res64: 54014D0643EB682A Time : 0.0 sec. user=mdettweiler [2020-03-17 20:35:46] 623*2^1555642-1 is not prime. Res64: 739B803D263367D2 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:01:54] 665*2^1555642-1 is not prime. Res64: 76B07DE80C2AC37A Time : 0.0 sec. user=mdettweiler [2020-03-17 21:01:55] 695*2^1555642-1 is not prime. Res64: F2EA157CDBB6A6E8 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:01:56] 825*2^1555642-1 is not prime. Res64: 3B3F474CFC0BCC99 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:01:57] 941*2^1555642-1 is not prime. Res64: 9A8AB934F18A78F5 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:01:58] 957*2^1555642-1 is not prime. Res64: 772DFC81A31B543F Time : 0.0 sec. user=mdettweiler [2020-03-17 21:18:13] 1001*2^1555642-1 is not prime. Res64: 59125AEFE9178BB9 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:18:13] 621*2^1555643-1 is not prime. Res64: D1D84FD710221630 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:18:13] 631*2^1555643-1 is not prime. Res64: 5DE906FCA292044B Time : 0.0 sec. user=mdettweiler [2020-03-17 21:18:14] 663*2^1555643-1 is not prime. Res64: 621776FBC85C1DC2 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:18:14] 801*2^1555643-1 is not prime. Res64: 703A244D964F477D Time : 0.0 sec. user=mdettweiler [2020-03-17 21:31:39] 805*2^1555643-1 is not prime. Res64: 90507CB1C41EAE67 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:31:39] 885*2^1555643-1 is not prime. Res64: 6DC5BEE7DCF973AD Time : 0.0 sec. user=mdettweiler [2020-03-17 21:31:39] 943*2^1555643-1 is not prime. Res64: 7A2D9C2B7E8C1591 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:31:40] 963*2^1555643-1 is not prime. Res64: AA899C3742419023 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:31:40] 973*2^1555643-1 is not prime. Res64: C304F8570D1CCFC6 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:55:24] 683*2^1555644-1 is not prime. Res64: CB397868CC688FAF Time : 0.0 sec. user=mdettweiler [2020-03-17 21:55:25] 693*2^1555644-1 is not prime. Res64: 582E6C91C16C41D1 Time : 0.0 sec. user=mdettweiler [2020-03-17 21:55:25] 773*2^1555644-1 is not prime. Res64: 4748991AE2408B0C Time : 0.0 sec. user=mdettweiler [2020-03-17 21:55:25] 899*2^1555644-1 is not prime. Res64: 51C6BAF27A22FE2E Time : 0.0 sec. user=mdettweiler [2020-03-17 21:55:26] 817*2^1555645-1 is not prime. Res64: A51164B21C8C3ED3 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:15:07] 895*2^1555645-1 is not prime. Res64: 9F72F06052F849A0 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:15:08] 927*2^1555645-1 is not prime. Res64: 055D01815FBF3A86 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:15:09] 951*2^1555645-1 is not prime. Res64: 6B4038F937DDCFE9 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:15:10] 985*2^1555645-1 is not prime. Res64: 58979F3CA80154C2 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:15:12] 773*2^1555646-1 is not prime. Res64: EE0565BFE6EE4630 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:27:32] 861*2^1555646-1 is not prime. Res64: 592FA600C865EC77 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:27:32] 875*2^1555646-1 is not prime. Res64: 31BE1079009C1D4E Time : 0.0 sec. user=mdettweiler [2020-03-17 22:27:33] 911*2^1555646-1 is not prime. Res64: 298410B41DCCDBBC Time : 0.0 sec. user=mdettweiler [2020-03-17 22:27:33] 923*2^1555646-1 is not prime. Res64: 82EC51F4BA2B8769 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:27:33] 945*2^1555646-1 is not prime. Res64: 8AD7EC887FBB24DB Time : 0.0 sec. user=mdettweiler [2020-03-17 22:51:18] 751*2^1555647-1 is not prime. Res64: 5B322DCDF8666C2F Time : 0.0 sec. user=mdettweiler [2020-03-17 22:51:18] 805*2^1555647-1 is not prime. Res64: A32DC07C18AC59EF Time : 0.0 sec. user=mdettweiler [2020-03-17 22:51:19] 919*2^1555647-1 is not prime. Res64: 01EF999713AB230F Time : 0.0 sec. user=mdettweiler [2020-03-17 22:51:19] 979*2^1555647-1 is not prime. Res64: 80072702C5E59232 Time : 0.0 sec. user=mdettweiler [2020-03-17 22:51:19] 985*2^1555647-1 is not prime. Res64: E40630C4B3AF704D Time : 0.0 sec. user=mdettweiler [2020-03-17 23:06:42] 639*2^1555648-1 is not prime. Res64: FBB295F7361F3FF1 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:06:43] 663*2^1555648-1 is not prime. Res64: D9436A3DD75C882A Time : 0.0 sec. user=mdettweiler [2020-03-17 23:06:44] 677*2^1555648-1 is not prime. Res64: F5EF489B0A32D213 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:06:45] 743*2^1555648-1 is not prime. Res64: 68D973A51C2F3177 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:06:46] 813*2^1555648-1 is not prime. Res64: B2A6A6E44179742C Time : 0.0 sec. user=mdettweiler [2020-03-17 23:22:51] 909*2^1555648-1 is not prime. Res64: EE8B2AF367000792 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:22:51] 947*2^1555648-1 is not prime. Res64: A28A033324BF4009 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:22:52] 989*2^1555648-1 is not prime. Res64: F5A56F33E54BC0CC Time : 0.0 sec. user=mdettweiler [2020-03-17 23:22:52] 619*2^1555649-1 is not prime. Res64: F468C175A6F2F90A Time : 0.0 sec. user=mdettweiler [2020-03-17 23:22:52] 697*2^1555649-1 is not prime. Res64: C3243A0F930226BE Time : 0.0 sec. user=mdettweiler [2020-03-17 23:46:54] 837*2^1555649-1 is not prime. Res64: A13C929259974688 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:46:54] 909*2^1555649-1 is not prime. Res64: 81C627659EF70693 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:46:55] 955*2^1555649-1 is not prime. Res64: 89B6CCB48F22DD43 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:46:55] 969*2^1555649-1 is not prime. Res64: C088AE37B68C4936 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:46:55] 633*2^1555650-1 is not prime. Res64: 170A3875722FFE23 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:58:13] 651*2^1555650-1 is not prime. Res64: 06C74C2F3A006FD6 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:58:14] 695*2^1555650-1 is not prime. Res64: FAC92A8ED9F70BDB Time : 0.0 sec. user=mdettweiler [2020-03-17 23:58:14] 711*2^1555650-1 is not prime. Res64: DF8831F15BD209D4 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:58:14] 717*2^1555650-1 is not prime. Res64: D9CE5C3670447DD2 Time : 0.0 sec. user=mdettweiler [2020-03-17 23:58:15] 791*2^1555650-1 is not prime. Res64: 59D45FB6B1FF3B3E Time : 0.0 sec.