user=mdettweiler [2021-06-14 00:51:53] 721*2^1607705-1 is not prime. Res64: 88EEE53EDF7BD9F0 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:53] 713*2^1607706-1 is not prime. Res64: E26DE1F3F56FF94A Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:54] 759*2^1607705-1 is not prime. Res64: CCEC3F078EEB1E13 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:54] 717*2^1607706-1 is not prime. Res64: 12CF36D21D789108 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:54] 889*2^1607705-1 is not prime. Res64: D3BC980D14C9585A Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:54] 755*2^1607706-1 is not prime. Res64: A96B7FF37FD86E01 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:55] 939*2^1607705-1 is not prime. Res64: 6636FFEA711F22D7 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:55] 873*2^1607706-1 is not prime. Res64: DB3B2DD4B9893BDD Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:55] 615*2^1607706-1 is not prime. Res64: 11649CBE931EEA74 Time : 0.0 sec. user=mdettweiler [2021-06-14 00:51:55] 881*2^1607706-1 is not prime. Res64: 50BFD85D279BA5E8 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:43] 741*2^1607707-1 is not prime. Res64: C3483E7AE873457F Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:43] 891*2^1607706-1 is not prime. Res64: D8B7BDFD7E13E435 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:44] 891*2^1607707-1 is not prime. Res64: 1C7CCFBF79BF5814 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:45] 893*2^1607706-1 is not prime. Res64: CC6F731206EE253D Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:45] 743*2^1607708-1 is not prime. Res64: 4CDF6A35F2C98E1D Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:45] 633*2^1607707-1 is not prime. Res64: BCDA5DEE5B47CD31 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:46] 777*2^1607708-1 is not prime. Res64: AA09B1A91D2F25B4 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:47] 691*2^1607707-1 is not prime. Res64: 8CA88BB1BD9C6D32 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:48] 733*2^1607707-1 is not prime. Res64: 420131D05475F915 Time : 0.0 sec. user=mdettweiler [2021-06-14 01:51:48] 789*2^1607708-1 is not prime. Res64: 81E44CD79AF378EF Time : 0.0 sec. user=mdettweiler [2021-06-14 02:52:58] 797*2^1607708-1 is not prime. Res64: DF25869533A2A1D5 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:52:59] 825*2^1607708-1 is not prime. Res64: 46479F7856CA7FE5 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:52:59] 999*2^1607708-1 is not prime. Res64: 57B2672990814861 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:00] 627*2^1607709-1 is not prime. Res64: E8D129766AD613B0 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:00] 669*2^1607709-1 is not prime. Res64: 3A0A041920CF5CDC Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:00] 691*2^1607709-1 is not prime. Res64: 503964C6C8F1B355 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:01] 769*2^1607709-1 is not prime. Res64: C674D1894041445E Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:01] 787*2^1607709-1 is not prime. Res64: B729976D527DF360 Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:02] 835*2^1607709-1 is not prime. Res64: 1E85629B3FFB448E Time : 0.0 sec. user=mdettweiler [2021-06-14 02:53:03] 945*2^1607709-1 is not prime. Res64: C4950970E40352AD Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:47] 723*2^1607710-1 is not prime. Res64: 7FD4B7D86F33AE71 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:47] 961*2^1607709-1 is not prime. Res64: 942AC51A1CC6F9B2 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:48] 917*2^1607710-1 is not prime. Res64: 99C579F9939D3604 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:49] 991*2^1607709-1 is not prime. Res64: 2790FAD5D8FE249E Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:49] 923*2^1607710-1 is not prime. Res64: CA04327C36CED494 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:50] 603*2^1607711-1 is not prime. Res64: E594ED8E9C546AD9 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:51] 651*2^1607710-1 is not prime. Res64: C8B814B96C639F12 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:51] 661*2^1607711-1 is not prime. Res64: 3BFDC80C260032F9 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:52] 695*2^1607710-1 is not prime. Res64: 12AF56AF3478F438 Time : 0.0 sec. user=mdettweiler [2021-06-14 03:52:53] 713*2^1607710-1 is not prime. Res64: 4BDDF0A79940CAEF Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:04] 855*2^1607711-1 is not prime. Res64: F2896E2D185B351C Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:04] 745*2^1607713-1 is not prime. Res64: FD61C3F6AF1F9F1D Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:04] 765*2^1607713-1 is not prime. Res64: 862E72A0BAAF284F Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:04] 993*2^1607711-1 is not prime. Res64: 93BF98D321043DB3 Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:05] 805*2^1607713-1 is not prime. Res64: D73A289B5B240CAC Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:05] 713*2^1607712-1 is not prime. Res64: 566E2A7EDD499E0E Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:05] 939*2^1607713-1 is not prime. Res64: 2AB4E68C4B65A0D7 Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:05] 825*2^1607712-1 is not prime. Res64: F6FCE0BF64127CDA Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:06] 635*2^1607714-1 is not prime. Res64: 51D2CC68008EDF14 Time : 0.0 sec. user=mdettweiler [2021-06-14 04:53:06] 915*2^1607712-1 is not prime. Res64: E66BE4FA8B522407 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:03] 719*2^1607716-1 is not prime. Res64: E89C258F2557C2C1 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:03] 723*2^1607716-1 is not prime. Res64: 8C2A3A6E02C956BD Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:04] 749*2^1607716-1 is not prime. Res64: 823451A5E5582CB9 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:04] 773*2^1607716-1 is not prime. Res64: A50C6AB698FD211C Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:05] 857*2^1607716-1 is not prime. Res64: 8692D3A0DA445FB9 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:06] 741*2^1607714-1 is not prime. Res64: 305654348B4C70B7 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:07] 885*2^1607714-1 is not prime. Res64: 6FABD65D28B9C672 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:07] 923*2^1607714-1 is not prime. Res64: 5A668CEB10A89D41 Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:08] 663*2^1607715-1 is not prime. Res64: 4A8B46807F3B616D Time : 0.0 sec. user=mdettweiler [2021-06-14 05:53:08] 615*2^1607716-1 is not prime. Res64: 392806A998DB9C67 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:53] 901*2^1607717-1 is not prime. Res64: 9B48F54F12B75E09 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:53] 799*2^1607717-1 is not prime. Res64: 6993160151EA7BE2 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:53] 863*2^1607718-1 is not prime. Res64: 1E20FC81EA622ED7 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:53] 829*2^1607717-1 is not prime. Res64: 248CE5B543E6EE2A Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:54] 875*2^1607718-1 is not prime. Res64: 31F7997459FB16A9 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:54] 861*2^1607717-1 is not prime. Res64: 67A99A43B9EF4D57 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:54] 941*2^1607718-1 is not prime. Res64: 611EE340BFD44CAC Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:54] 871*2^1607717-1 is not prime. Res64: 2562D931B4940B39 Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:55] 619*2^1607719-1 is not prime. Res64: 60C2F3AC477DA9BE Time : 0.0 sec. user=mdettweiler [2021-06-14 06:52:55] 885*2^1607717-1 is not prime. Res64: 7A0A6B06FC114060 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:40] 979*2^1607719-1 is not prime. Res64: C225F233E1CE0DE9 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:40] 675*2^1607719-1 is not prime. Res64: B3A8C28AA3A6DB63 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:41] 663*2^1607720-1 is not prime. Res64: 700F5BE3D0DD8892 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:41] 763*2^1607719-1 is not prime. Res64: 5A0568FBD78E632F Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:41] 687*2^1607720-1 is not prime. Res64: 59489C6EF7E3A22E Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:42] 841*2^1607719-1 is not prime. Res64: 920C599549C25A69 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:42] 825*2^1607720-1 is not prime. Res64: C57FFB888F7B0AB6 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:42] 939*2^1607719-1 is not prime. Res64: D9FB901D8487E669 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:42] 857*2^1607720-1 is not prime. Res64: 7874D08BA752D992 Time : 0.0 sec. user=mdettweiler [2021-06-14 07:52:43] 961*2^1607719-1 is not prime. Res64: 692D8E2A7C31252D Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:28] 875*2^1607720-1 is not prime. Res64: 75E6F1496887B589 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:29] 983*2^1607720-1 is not prime. Res64: 3FAF211C2D799D31 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:30] 999*2^1607720-1 is not prime. Res64: D53DCBC54659E7F0 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:30] 895*2^1607721-1 is not prime. Res64: DE6D1218E5204F79 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:30] 675*2^1607721-1 is not prime. Res64: BC0F0BA19E32F68D Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:30] 999*2^1607721-1 is not prime. Res64: 2570EDDF0B7BD9BC Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:31] 835*2^1607721-1 is not prime. Res64: 047F62F1676A34EA Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:31] 665*2^1607722-1 is not prime. Res64: 3188AD9166D6CBD1 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:31] 675*2^1607722-1 is not prime. Res64: 32DDD423E869ECE1 Time : 0.0 sec. user=mdettweiler [2021-06-14 08:52:32] 713*2^1607722-1 is not prime. Res64: 0DD1ABD6592784FC Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:19] 915*2^1607723-1 is not prime. Res64: E800E2EB61543433 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:19] 803*2^1607722-1 is not prime. Res64: 750CC0FB3AAAFF78 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:19] 945*2^1607723-1 is not prime. Res64: 23B4CE1239FEF6BD Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:20] 843*2^1607722-1 is not prime. Res64: A3B645AC4045C4F7 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:20] 665*2^1607724-1 is not prime. Res64: 0B376D4CDF4EDCF6 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:20] 873*2^1607722-1 is not prime. Res64: A0564A92C84FD3B3 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:20] 719*2^1607724-1 is not prime. Res64: 19E54256CDE8A24A Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:21] 669*2^1607723-1 is not prime. Res64: ED30151A41010736 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:21] 887*2^1607724-1 is not prime. Res64: AEAFAC6C9A5FC7D4 Time : 0.0 sec. user=mdettweiler [2021-06-14 09:52:21] 879*2^1607723-1 is not prime. Res64: 9F8FEFD56E17F972 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:06] 929*2^1607724-1 is not prime. Res64: C2BD74197D76EAD2 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:06] 975*2^1607725-1 is not prime. Res64: 81AFB158B51715E2 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:06] 947*2^1607724-1 is not prime. Res64: 4A90BF85C34DD526 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:07] 987*2^1607725-1 is not prime. Res64: 9338F60170D5EFC9 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:07] 965*2^1607724-1 is not prime. Res64: C1422208276404EB Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:07] 641*2^1607726-1 is not prime. Res64: F1C55DB8822DEC45 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:07] 825*2^1607725-1 is not prime. Res64: BE9AFA179030D0F4 Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:08] 677*2^1607726-1 is not prime. Res64: 0E6310D8B7758AFD Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:08] 895*2^1607725-1 is not prime. Res64: D945B8F060B2442D Time : 0.0 sec. user=mdettweiler [2021-06-14 10:52:08] 717*2^1607726-1 is not prime. Res64: CBE15B38981F4352 Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:54] 945*2^1607727-1 is not prime. Res64: C3A8CF86D852DB8C Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:54] 963*2^1607727-1 is not prime. Res64: 8EBFD2B11E6FFCEB Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:55] 999*2^1607727-1 is not prime. Res64: 55A2D8D37EC2A7E2 Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:55] 773*2^1607726-1 is not prime. Res64: 7E5317AAD67368E9 Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:55] 603*2^1607728-1 is not prime. Res64: 2BCE6F78DE70943E Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:55] 813*2^1607726-1 is not prime. Res64: 16F314BD667397BB Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:56] 615*2^1607727-1 is not prime. Res64: BBE22BAC6C5B232F Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:56] 605*2^1607728-1 is not prime. Res64: 3599FCBD8D58EEAA Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:56] 625*2^1607727-1 is not prime. Res64: 2C91D48E02E5B09F Time : 0.0 sec. user=mdettweiler [2021-06-14 11:51:57] 649*2^1607727-1 is not prime. Res64: 2EB091E4C5A890CB Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:44] 699*2^1607729-1 is not prime. Res64: DDFB70557E2E74F0 Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:45] 705*2^1607729-1 is not prime. Res64: E7C5D2408D8E45E0 Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:45] 663*2^1607728-1 is not prime. Res64: 86A3E38BB64DB6AF Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:45] 789*2^1607729-1 is not prime. Res64: F3AD3EBB1806A7FF Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:45] 665*2^1607728-1 is not prime. Res64: E8BFD1D5E20F05A9 Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:45] 841*2^1607729-1 is not prime. Res64: 35790C6151117B3C Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:46] 677*2^1607728-1 is not prime. Res64: F6B04453328A4B14 Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:46] 861*2^1607729-1 is not prime. Res64: 1BFA5A798E26E73F Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:46] 687*2^1607728-1 is not prime. Res64: DF48EEF4E2CC8E1A Time : 0.0 sec. user=mdettweiler [2021-06-14 12:51:47] 869*2^1607728-1 is not prime. Res64: E7F10E3478D890EC Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:31] 725*2^1607730-1 is not prime. Res64: C0CF6915ECEA9091 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:31] 885*2^1607729-1 is not prime. Res64: B38BD52A6DD40935 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:32] 861*2^1607730-1 is not prime. Res64: ED679A8BA64A54D8 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:32] 931*2^1607729-1 is not prime. Res64: EE581AA89E7AF9A4 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:32] 891*2^1607730-1 is not prime. Res64: 1D0089A1865A7F69 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:33] 633*2^1607730-1 is not prime. Res64: 0F3120A86F689594 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:33] 921*2^1607730-1 is not prime. Res64: 857212C5B6F389F6 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:33] 711*2^1607730-1 is not prime. Res64: B56E7684896C7A6E Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:33] 927*2^1607730-1 is not prime. Res64: AB1926749A08D4F7 Time : 0.0 sec. user=mdettweiler [2021-06-14 13:51:34] 717*2^1607730-1 is not prime. Res64: 87E2BF79F7387E2D Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:23] 715*2^1607731-1 is not prime. Res64: 447E05A3937ECE5E Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:23] 759*2^1607731-1 is not prime. Res64: 4D54B199EFCA1252 Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:24] 861*2^1607731-1 is not prime. Res64: 394AC95ECE2E4D2B Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:24] 951*2^1607730-1 is not prime. Res64: A162FD6ED955DF0C Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:24] 925*2^1607731-1 is not prime. Res64: 0F678C4488B47DD7 Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:25] 619*2^1607731-1 is not prime. Res64: 656A67B9DCEEF595 Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:25] 873*2^1607732-1 is not prime. Res64: DEF7F81DA067F39F Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:25] 631*2^1607731-1 is not prime. Res64: AE336F0462E01357 Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:26] 663*2^1607731-1 is not prime. Res64: 015FBF0445FA5425 Time : 0.0 sec. user=mdettweiler [2021-06-14 14:51:26] 691*2^1607731-1 is not prime. Res64: A241BEF9DAB724AD Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:12] 867*2^1607733-1 is not prime. Res64: 52DD17F4A548ADCC Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:13] 623*2^1607734-1 is not prime. Res64: 787F67ADF2BED574 Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:14] 755*2^1607734-1 is not prime. Res64: E7D99EAF6D2D5EE5 Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:14] 783*2^1607734-1 is not prime. Res64: 70554D0B52FC9B8B Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:14] 945*2^1607732-1 is not prime. Res64: 0666C2BDAC4841EE Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:15] 651*2^1607733-1 is not prime. Res64: 41B21BB2CA0E8D4A Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:15] 815*2^1607734-1 is not prime. Res64: 18889886076FB354 Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:15] 691*2^1607733-1 is not prime. Res64: C7A4ACD6690EFED4 Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:16] 781*2^1607733-1 is not prime. Res64: 4573D60913996FFB Time : 0.0 sec. user=mdettweiler [2021-06-14 15:51:17] 795*2^1607733-1 is not prime. Res64: E1A88FCA343C5072 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:02] 831*2^1607734-1 is not prime. Res64: A0AED9B21F87814A Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:03] 609*2^1607735-1 is not prime. Res64: 83E2E75F7744F637 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:03] 857*2^1607734-1 is not prime. Res64: C098E33FBF7EE26E Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:03] 619*2^1607735-1 is not prime. Res64: BDD1F620E91A4AB4 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:04] 885*2^1607734-1 is not prime. Res64: 6916FFF092FEE644 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:04] 645*2^1607735-1 is not prime. Res64: ECB8BFF97264F951 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:04] 897*2^1607734-1 is not prime. Res64: 878AA430B09A5014 Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:04] 775*2^1607735-1 is not prime. Res64: 015B68EC4AAB597D Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:05] 975*2^1607734-1 is not prime. Res64: D29FC8E4847C3A1B Time : 0.0 sec. user=mdettweiler [2021-06-14 16:51:05] 885*2^1607735-1 is not prime. Res64: 18CC215A2F90C82F Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:52] 921*2^1607735-1 is not prime. Res64: 30280C2983BC2830 Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:52] 927*2^1607736-1 is not prime. Res64: F1F78D62D139FE95 Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:52] 969*2^1607735-1 is not prime. Res64: AD0823B16181BDB5 Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:52] 999*2^1607736-1 is not prime. Res64: 5182A6F4703C41C4 Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:53] 985*2^1607735-1 is not prime. Res64: 60DD2039F00F7A6D Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:53] 615*2^1607737-1 is not prime. Res64: B8F610BF7AA4FE8D Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:53] 759*2^1607736-1 is not prime. Res64: A7E8D04960B4BD55 Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:53] 645*2^1607737-1 is not prime. Res64: 5F675A5600403F1D Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:54] 815*2^1607736-1 is not prime. Res64: 47B892C5F7B5DDFC Time : 0.0 sec. user=mdettweiler [2021-06-14 17:50:54] 741*2^1607737-1 is not prime. Res64: EEA92B3A08DA6F00 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:50] 775*2^1607737-1 is not prime. Res64: D2E2978D3D459109 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:51] 777*2^1607737-1 is not prime. Res64: E44E83CA16C39A0B Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:51] 893*2^1607738-1 is not prime. Res64: 0DBD14FA9C4D5C50 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:52] 895*2^1607737-1 is not prime. Res64: 0F6760BC884C43DF Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:52] 609*2^1607739-1 is not prime. Res64: D20B144A677B1EB8 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:52] 915*2^1607737-1 is not prime. Res64: 788D6D25ACCD7859 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:53] 615*2^1607739-1 is not prime. Res64: CE16BC43BB46F969 Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:53] 649*2^1607739-1 is not prime. Res64: D0C0908FB682A1AA Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:53] 827*2^1607738-1 is not prime. Res64: 270E3D8E2A700EEA Time : 0.0 sec. user=mdettweiler [2021-06-14 18:50:54] 751*2^1607739-1 is not prime. Res64: 562A60C751F6046C Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:29] 801*2^1607739-1 is not prime. Res64: C18F966039723325 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:29] 895*2^1607739-1 is not prime. Res64: 73E46927962075FF Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:30] 961*2^1607739-1 is not prime. Res64: E2E32BD676A58251 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:30] 985*2^1607739-1 is not prime. Res64: 70725AB094BCA299 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:31] 615*2^1607740-1 is not prime. Res64: 6FAAB051D9DF68A6 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:31] 635*2^1607740-1 is not prime. Res64: 36F98684738D0437 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:32] 717*2^1607740-1 is not prime. Res64: 237E21F93C82BE08 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:32] 965*2^1607740-1 is not prime. Res64: 38D28BF797435A0C Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:33] 999*2^1607740-1 is not prime. Res64: 493B069C6AD6DCC0 Time : 0.0 sec. user=mdettweiler [2021-06-14 19:51:33] 607*2^1607741-1 is not prime. Res64: C57D8DFBEA25FF80 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:28] 675*2^1607741-1 is not prime. Res64: 6C9358A4FDBA9008 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:28] 871*2^1607741-1 is not prime. Res64: 11697A51E15D23F2 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:28] 679*2^1607741-1 is not prime. Res64: 8B56CD0CC22BE064 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:28] 889*2^1607741-1 is not prime. Res64: 3DC4D0030822FDC3 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:29] 697*2^1607741-1 is not prime. Res64: 952BB19FB9C95546 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:29] 615*2^1607742-1 is not prime. Res64: 7285BCFE1104116B Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:29] 745*2^1607741-1 is not prime. Res64: 506B0BB95CDFFC91 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:29] 677*2^1607742-1 is not prime. Res64: DBF9888F7CB176D2 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:30] 825*2^1607741-1 is not prime. Res64: F20722023F98B9B6 Time : 0.0 sec. user=mdettweiler [2021-06-14 20:51:30] 725*2^1607742-1 is not prime. Res64: D16BB1F65D029425 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:20] 649*2^1607743-1 is not prime. Res64: 8D738F444C4686F4 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:20] 755*2^1607742-1 is not prime. Res64: 29ADD75F7231857C Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:21] 705*2^1607743-1 is not prime. Res64: 1B2539F5CE0A9D2A Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:21] 893*2^1607742-1 is not prime. Res64: F438434206EA02D1 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:21] 763*2^1607743-1 is not prime. Res64: 8093CDDA14374366 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:21] 917*2^1607742-1 is not prime. Res64: E3D42FEAE3A16098 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:22] 811*2^1607743-1 is not prime. Res64: F0E6B5205F5754A4 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:22] 615*2^1607743-1 is not prime. Res64: B7AAAFCA56A5B839 Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:22] 831*2^1607743-1 is not prime. Res64: 94868959F09E863E Time : 0.0 sec. user=mdettweiler [2021-06-14 21:51:22] 633*2^1607743-1 is not prime. Res64: EE32B91D485965F9 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:08] 927*2^1607744-1 is not prime. Res64: 94CD1729D6F582EA Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:08] 925*2^1607743-1 is not prime. Res64: 4987010FBDC4FEA6 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:08] 983*2^1607744-1 is not prime. Res64: A67AF788F767F154 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:09] 973*2^1607743-1 is not prime. Res64: 936CD2CAC56BB506 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:09] 609*2^1607745-1 is not prime. Res64: 18EE4C534608A8FD Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:09] 767*2^1607744-1 is not prime. Res64: C21A2DD604BF5E94 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:09] 699*2^1607745-1 is not prime. Res64: FA52B5571A18BB5E Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:10] 909*2^1607744-1 is not prime. Res64: A9BE0C3322111751 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:10] 759*2^1607745-1 is not prime. Res64: 5967F7A4B35515C6 Time : 0.0 sec. user=mdettweiler [2021-06-14 22:51:10] 915*2^1607744-1 is not prime. Res64: B70726E3471CE8E3 Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:08] 821*2^1607746-1 is not prime. Res64: AF8CA2AE8A883B5C Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:08] 787*2^1607745-1 is not prime. Res64: EC1F67CE43813F74 Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:08] 825*2^1607746-1 is not prime. Res64: 33BE43CCA30AA2E7 Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:08] 909*2^1607745-1 is not prime. Res64: 6E129A78018B27B2 Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:09] 971*2^1607746-1 is not prime. Res64: C2BDE7252A228F4A Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:09] 651*2^1607746-1 is not prime. Res64: 87807D326D40121F Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:09] 615*2^1607747-1 is not prime. Res64: 24DA7719C0A316FA Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:09] 657*2^1607746-1 is not prime. Res64: 3DFB9618B232DF36 Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:10] 633*2^1607747-1 is not prime. Res64: 8FBF17028704033C Time : 0.0 sec. user=mdettweiler [2021-06-14 23:51:10] 765*2^1607746-1 is not prime. Res64: DADAFB83521F5372 Time : 0.0 sec.