user=mdettweiler [2020-10-08 00:19:31] 831*2^1565735-1 is not prime. Res64: 24523212413E4894 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:19:33] 841*2^1565735-1 is not prime. Res64: F91082575B8E2185 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:19:34] 855*2^1565735-1 is not prime. Res64: 130A33139E3D5495 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:19:34] 909*2^1565735-1 is not prime. Res64: C57BC13BBC4B08C0 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:19:35] 693*2^1565736-1 is not prime. Res64: 4074CEF0180E0699 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:57:28] 837*2^1565736-1 is not prime. Res64: 4563481DEF4B01D6 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:57:29] 909*2^1565736-1 is not prime. Res64: D24A1D452FBAE1C6 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:57:29] 983*2^1565736-1 is not prime. Res64: C19FA5F1C55E1C1F Time : 0.0 sec. user=mdettweiler [2020-10-08 00:57:30] 729*2^1565737-1 is not prime. Res64: 788782A95C7C2503 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:57:30] 777*2^1565737-1 is not prime. Res64: 0C9549BB283574B1 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:14:59] 885*2^1565737-1 is not prime. Res64: 39D8F300D223A934 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:15:00] 915*2^1565737-1 is not prime. Res64: 1D9E94B6A21BFC50 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:15:00] 979*2^1565737-1 is not prime. Res64: 80C56C353A6FF090 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:15:01] 623*2^1565738-1 is not prime. Res64: ECBDBD21E7189E4F Time : 0.0 sec. user=mdettweiler [2020-10-08 01:15:01] 633*2^1565738-1 is not prime. Res64: 2B74D5E7FAB049E7 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:52:04] 713*2^1565738-1 is not prime. Res64: A6A5E06727964D5D Time : 0.0 sec. user=mdettweiler [2020-10-08 01:52:06] 773*2^1565738-1 is not prime. Res64: 6305A3E2BEA53C33 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:52:07] 927*2^1565738-1 is not prime. Res64: 7B93E2BEBEB6181E Time : 0.0 sec. user=mdettweiler [2020-10-08 01:52:08] 609*2^1565739-1 is not prime. Res64: DCBD3208E22C6385 Time : 0.0 sec. user=mdettweiler [2020-10-08 01:52:10] 861*2^1565739-1 is not prime. Res64: C180531B31C90AD3 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:09:24] 973*2^1565739-1 is not prime. Res64: DBACB19ED11A48F3 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:09:29] 609*2^1565740-1 is not prime. Res64: CBEF41974CDEB999 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:09:36] 615*2^1565740-1 is not prime. Res64: 2ED7527F5219BF72 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:09:41] 689*2^1565740-1 is not prime. Res64: 5ABC8589EF4A55C5 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:09:45] 839*2^1565740-1 is not prime. Res64: 3F26111D6650A0AC Time : 0.0 sec. user=mdettweiler [2020-10-08 02:48:23] 939*2^1565740-1 is not prime. Res64: 8F53D128FDAC855A Time : 0.0 sec. user=mdettweiler [2020-10-08 02:48:23] 987*2^1565740-1 is not prime. Res64: A2F919A2F0697CD2 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:48:24] 685*2^1565741-1 is not prime. Res64: 0958F8BDA4431379 Time : 0.0 sec. user=mdettweiler [2020-10-08 02:48:24] 735*2^1565741-1 is not prime. Res64: 91F37371C4F1F24C Time : 0.0 sec. user=mdettweiler [2020-10-08 02:48:24] 775*2^1565741-1 is not prime. Res64: 2A8F40C77AAE8661 Time : 0.0 sec. user=mdettweiler [2020-10-08 03:07:43] 855*2^1565741-1 is not prime. Res64: 84CBFE478F1C5471 Time : 0.0 sec. user=mdettweiler [2020-10-08 03:07:45] 871*2^1565741-1 is not prime. Res64: 8D4CB81553005E58 Time : 0.0 sec. user=mdettweiler [2020-10-08 03:07:46] 885*2^1565741-1 is not prime. Res64: 4BE3BD10A787ABBB Time : 0.0 sec. user=mdettweiler [2020-10-08 03:07:48] 987*2^1565741-1 is not prime. Res64: AC6DAB4A2B4DF7C1 Time : 0.0 sec. user=mdettweiler [2020-10-08 03:07:50] 755*2^1565742-1 is not prime. Res64: CBAFF24A099C021E Time : 0.0 sec. user=mdettweiler [2020-10-08 03:43:19] 983*2^1565742-1 is not prime. Res64: 9198B4371E54F0CA Time : 0.0 sec. user=mdettweiler [2020-10-08 03:43:23] 663*2^1565743-1 is not prime. Res64: 2B9D3C45D8CDDCDC Time : 0.0 sec. user=mdettweiler [2020-10-08 03:43:25] 673*2^1565743-1 is not prime. Res64: D2943AD67425CF7D Time : 0.0 sec. user=mdettweiler [2020-10-08 03:43:26] 723*2^1565743-1 is not prime. Res64: 63866EC2E93489DF Time : 0.0 sec. user=mdettweiler [2020-10-08 03:43:29] 805*2^1565743-1 is not prime. Res64: EE35E4737D9308E8 Time : 0.0 sec. user=mdettweiler [2020-10-08 04:06:10] 819*2^1565743-1 is not prime. Res64: 03AB98B618AB4EEF Time : 0.0 sec. user=mdettweiler [2020-10-08 04:06:17] 873*2^1565743-1 is not prime. Res64: C5A61A8222786E7E Time : 0.0 sec. user=mdettweiler [2020-10-08 04:06:30] 901*2^1565743-1 is not prime. Res64: C8507275FE67770D Time : 0.0 sec. user=mdettweiler [2020-10-08 04:39:24] 617*2^1565744-1 is not prime. Res64: D2DAAE81152469CC Time : 0.0 sec. user=mdettweiler [2020-10-08 04:39:25] 675*2^1565744-1 is not prime. Res64: 2113BDA334AE251E Time : 0.0 sec. user=mdettweiler [2020-10-08 04:39:25] 827*2^1565744-1 is not prime. Res64: 60BD1D7A8DDA4F0D Time : 0.0 sec. user=mdettweiler [2020-10-08 04:39:25] 903*2^1565744-1 is not prime. Res64: 9BE7A61B46DC47B2 Time : 0.0 sec. user=mdettweiler [2020-10-08 04:39:26] 923*2^1565744-1 is not prime. Res64: DDAE1FB5A9AFDC41 Time : 0.0 sec. user=mdettweiler [2020-10-08 05:36:16] 935*2^1565744-1 is not prime. Res64: A189C30C15B7B880 Time : 0.0 sec. user=mdettweiler [2020-10-08 05:36:16] 625*2^1565745-1 is not prime. Res64: CDDA6421B0CEC9AF Time : 0.0 sec. user=mdettweiler [2020-10-08 05:36:17] 805*2^1565745-1 is not prime. Res64: D0F6762DB114B791 Time : 0.0 sec. user=mdettweiler [2020-10-08 05:36:17] 849*2^1565745-1 is not prime. Res64: 6CFF746292DA7B21 Time : 0.0 sec. user=mdettweiler [2020-10-08 05:36:18] 895*2^1565745-1 is not prime. Res64: A6965A0BB048E60F Time : 0.0 sec. user=mdettweiler [2020-10-08 06:31:25] 951*2^1565745-1 is not prime. Res64: BCEAF24E91F9E268 Time : 0.0 sec. user=mdettweiler [2020-10-08 06:31:26] 999*2^1565745-1 is not prime. Res64: F20945617B670594 Time : 0.0 sec. user=mdettweiler [2020-10-08 06:31:26] 675*2^1565746-1 is not prime. Res64: 28B23616F25BEA71 Time : 0.0 sec. user=mdettweiler [2020-10-08 06:31:27] 735*2^1565746-1 is not prime. Res64: 03F22D9E8B480370 Time : 0.0 sec. user=mdettweiler [2020-10-08 06:31:28] 747*2^1565746-1 is not prime. Res64: 157939DBAF32591A Time : 0.0 sec. user=mdettweiler [2020-10-08 07:28:33] 801*2^1565746-1 is not prime. Res64: D17D0CAA79E660F8 Time : 0.0 sec. user=mdettweiler [2020-10-08 07:28:34] 815*2^1565746-1 is not prime. Res64: 97FDDD5C222284E4 Time : 0.0 sec. user=mdettweiler [2020-10-08 07:28:35] 887*2^1565746-1 is not prime. Res64: 243A36C1180EA094 Time : 0.0 sec. user=mdettweiler [2020-10-08 07:28:35] 1001*2^1565746-1 is not prime. Res64: 3758327B224ABE72 Time : 0.0 sec. user=mdettweiler [2020-10-08 07:28:36] 619*2^1565747-1 is not prime. Res64: 6082D8AC03C00298 Time : 0.0 sec. user=mdettweiler [2020-10-08 08:23:34] 669*2^1565747-1 is not prime. Res64: 068400FED27A74B0 Time : 0.0 sec. user=mdettweiler [2020-10-08 08:23:35] 673*2^1565747-1 is not prime. Res64: C74FAB62C0435704 Time : 0.0 sec. user=mdettweiler [2020-10-08 08:23:35] 703*2^1565747-1 is not prime. Res64: D09E8953BB0FBA51 Time : 0.0 sec. user=mdettweiler [2020-10-08 08:23:36] 931*2^1565747-1 is not prime. Res64: 1CF162C61EABD590 Time : 0.0 sec. user=mdettweiler [2020-10-08 08:23:37] 945*2^1565747-1 is not prime. Res64: 277F927ED728DCD8 Time : 0.0 sec. user=mdettweiler [2020-10-08 09:11:19] 939*2^1565743-1 is not prime. Res64: F138AF5EB1FA3004 Time : 0.0 sec. user=mdettweiler [2020-10-08 09:11:26] 993*2^1565743-1 is not prime. Res64: A5B088B1F07DD044 Time : 0.0 sec. user=mdettweiler [2020-10-08 09:20:45] 765*2^1565748-1 is not prime. Res64: 53851F3EFE3E79B4 Time : 0.0 sec. user=mdettweiler [2020-10-08 09:20:45] 777*2^1565748-1 is not prime. Res64: 7447848DEC945D3C Time : 0.0 sec. user=mdettweiler [2020-10-08 09:20:46] 797*2^1565748-1 is not prime. Res64: 7EBE12DA4DB51E0C Time : 0.0 sec. user=mdettweiler [2020-10-08 09:20:47] 839*2^1565748-1 is not prime. Res64: 5A91E788288DC875 Time : 0.0 sec. user=mdettweiler [2020-10-08 09:20:47] 843*2^1565748-1 is not prime. Res64: D6FD52337653EF0C Time : 0.0 sec. user=mdettweiler [2020-10-08 10:08:56] 845*2^1565748-1 is not prime. Res64: 0236A0038B9DDC62 Time : 0.0 sec. user=mdettweiler [2020-10-08 10:08:57] 879*2^1565748-1 is not prime. Res64: 4F3E79130D8D32AD Time : 0.0 sec. user=mdettweiler [2020-10-08 10:08:58] 933*2^1565748-1 is not prime. Res64: D30ECC586FB993DF Time : 0.0 sec. user=mdettweiler [2020-10-08 10:08:58] 969*2^1565748-1 is not prime. Res64: AE49D8CBA14161C1 Time : 0.0 sec. user=mdettweiler [2020-10-08 10:08:59] 691*2^1565749-1 is not prime. Res64: 5130066EF42656F2 Time : 0.0 sec. user=mdettweiler [2020-10-08 10:17:46] 877*2^1565749-1 is not prime. Res64: 49D884DA45A7B369 Time : 0.0 sec. user=mdettweiler [2020-10-08 10:17:46] 897*2^1565749-1 is not prime. Res64: E8A0A19B96D8843A Time : 0.0 sec. user=mdettweiler [2020-10-08 10:17:47] 665*2^1565750-1 is not prime. Res64: C81340CCBA95200D Time : 0.0 sec. user=mdettweiler [2020-10-08 10:17:47] 795*2^1565750-1 is not prime. Res64: E06E95A4326F3F55 Time : 0.0 sec. user=mdettweiler [2020-10-08 10:17:48] 851*2^1565750-1 is not prime. Res64: B1E7A7D119A943A5 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:06:01] 893*2^1565750-1 is not prime. Res64: D4C0ADE6928CE3C0 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:06:03] 915*2^1565750-1 is not prime. Res64: 573F5960D9A8E0A0 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:06:06] 987*2^1565750-1 is not prime. Res64: D6E6CC4058D9B07B Time : 0.0 sec. user=mdettweiler [2020-10-08 11:06:08] 693*2^1565751-1 is not prime. Res64: 319E09DFF44FF2F6 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:06:10] 781*2^1565751-1 is not prime. Res64: 6054E6E62D6960CD Time : 0.0 sec. user=mdettweiler [2020-10-08 11:14:51] 909*2^1565751-1 is not prime. Res64: 320D1E052AD8BF25 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:14:52] 951*2^1565751-1 is not prime. Res64: BB7A4A5E0394D04A Time : 0.0 sec. user=mdettweiler [2020-10-08 11:14:53] 657*2^1565752-1 is not prime. Res64: 51736193F4FB1726 Time : 0.0 sec. user=mdettweiler [2020-10-08 11:14:53] 855*2^1565752-1 is not prime. Res64: D561BE0A15054B1B Time : 0.0 sec. user=mdettweiler [2020-10-08 11:14:54] 939*2^1565752-1 is not prime. Res64: A22AC3478E43630D Time : 0.0 sec. user=mdettweiler [2020-10-08 12:01:36] 615*2^1565753-1 is not prime. Res64: 1432E42B15F42E16 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:01:39] 657*2^1565753-1 is not prime. Res64: 37D9E8A855EFCB95 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:01:41] 715*2^1565753-1 is not prime. Res64: AA7E1CFC20B3AF10 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:01:43] 861*2^1565753-1 is not prime. Res64: DF894A37BA6C15C2 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:01:45] 867*2^1565753-1 is not prime. Res64: 59E9DC44CD1D6F2A Time : 0.0 sec. user=mdettweiler [2020-10-08 12:09:13] 901*2^1565753-1 is not prime. Res64: CBB854C8E6BC541F Time : 0.0 sec. user=mdettweiler [2020-10-08 12:09:16] 671*2^1565754-1 is not prime. Res64: 220400934D947B33 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:09:19] 711*2^1565754-1 is not prime. Res64: F0B964493DF9EBC7 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:09:23] 755*2^1565754-1 is not prime. Res64: B455F6990A390C65 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:09:26] 767*2^1565754-1 is not prime. Res64: A0614CF3A38D70F8 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:58:54] 807*2^1565754-1 is not prime. Res64: 7E7C62B2A922495D Time : 0.0 sec. user=mdettweiler [2020-10-08 12:58:55] 921*2^1565754-1 is not prime. Res64: DB0824FD126D2A81 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:58:56] 945*2^1565754-1 is not prime. Res64: 528BF5C204C30521 Time : 0.0 sec. user=mdettweiler [2020-10-08 12:58:56] 601*2^1565755-1 is not prime. Res64: E3BBC24DB89C615C Time : 0.0 sec. user=mdettweiler [2020-10-08 12:58:57] 679*2^1565755-1 is not prime. Res64: 95AE19C8312F97B5 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:05:30] 733*2^1565755-1 is not prime. Res64: C1934BF1CC71ABE0 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:05:32] 735*2^1565755-1 is not prime. Res64: 3B5BC0E7ABD34794 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:05:33] 925*2^1565755-1 is not prime. Res64: 4F35E982DA20389E Time : 0.0 sec. user=mdettweiler [2020-10-08 13:05:35] 939*2^1565755-1 is not prime. Res64: D2157069807C66D2 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:05:36] 609*2^1565756-1 is not prime. Res64: 4B191F5D14F9A0F9 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:54:27] 699*2^1565756-1 is not prime. Res64: 9A5570D8EE4E76F2 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:54:27] 707*2^1565756-1 is not prime. Res64: 59000EADE6D6F39A Time : 0.0 sec. user=mdettweiler [2020-10-08 13:54:28] 749*2^1565756-1 is not prime. Res64: 928E0845F01561B1 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:54:28] 875*2^1565756-1 is not prime. Res64: 124A6CC9E2ACD187 Time : 0.0 sec. user=mdettweiler [2020-10-08 13:54:29] 963*2^1565756-1 is not prime. Res64: F62B11EC1DE3CF3D Time : 0.0 sec. user=mdettweiler [2020-10-08 14:00:02] 625*2^1565757-1 is not prime. Res64: 2B0C43E00C16A3DC Time : 0.0 sec. user=mdettweiler [2020-10-08 14:00:03] 955*2^1565757-1 is not prime. Res64: 2639A313171D0BBA Time : 0.0 sec. user=mdettweiler [2020-10-08 14:00:05] 961*2^1565757-1 is not prime. Res64: AA14F64F745F8F2C Time : 0.0 sec. user=mdettweiler [2020-10-08 14:00:07] 623*2^1565758-1 is not prime. Res64: AF3F3A3162CEA34A Time : 0.0 sec. user=mdettweiler [2020-10-08 14:00:08] 647*2^1565758-1 is not prime. Res64: BC71BE1E43091172 Time : 0.0 sec. user=mdettweiler [2020-10-08 14:50:25] 695*2^1565758-1 is not prime. Res64: 30855630168EB46F Time : 0.0 sec. user=mdettweiler [2020-10-08 14:50:26] 713*2^1565758-1 is not prime. Res64: F40CA0AD8BA753EA Time : 0.0 sec. user=mdettweiler [2020-10-08 14:50:26] 777*2^1565758-1 is not prime. Res64: DDD6798A9DAFC16C Time : 0.0 sec. user=mdettweiler [2020-10-08 14:50:27] 815*2^1565758-1 is not prime. Res64: 1368023FDF33CF77 Time : 0.0 sec. user=mdettweiler [2020-10-08 14:50:28] 897*2^1565758-1 is not prime. Res64: 73B489195B7C14E0 Time : 0.0 sec. user=mdettweiler [2020-10-08 14:55:21] 941*2^1565758-1 is not prime. Res64: 1B32A229E6B02B12 Time : 0.0 sec. user=mdettweiler [2020-10-08 14:55:21] 971*2^1565758-1 is not prime. Res64: B3DF8FB30F49165D Time : 0.0 sec. user=mdettweiler [2020-10-08 14:55:22] 705*2^1565759-1 is not prime. Res64: AE43D516A63F59FE Time : 0.0 sec. user=mdettweiler [2020-10-08 14:55:22] 711*2^1565759-1 is not prime. Res64: 62B64EE68A77C20A Time : 0.0 sec. user=mdettweiler [2020-10-08 14:55:23] 741*2^1565759-1 is not prime. Res64: C9FDE2F5438B36F3 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:49:24] 861*2^1565759-1 is not prime. Res64: 1BE339B2D5D9C315 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:49:25] 865*2^1565759-1 is not prime. Res64: EBDF500D0D1CFCCF Time : 0.0 sec. user=mdettweiler [2020-10-08 15:49:25] 879*2^1565759-1 is not prime. Res64: 586E11729B05FC78 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:49:26] 883*2^1565759-1 is not prime. Res64: 9F00B28FF5934EBE Time : 0.0 sec. user=mdettweiler [2020-10-08 15:49:26] 921*2^1565759-1 is not prime. Res64: 9832EC6CDDA1B010 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:50:33] 943*2^1565759-1 is not prime. Res64: 1A119958C4D3E966 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:50:33] 609*2^1565760-1 is not prime. Res64: AE79A0F3AC16E6FC Time : 0.0 sec. user=mdettweiler [2020-10-08 15:50:34] 693*2^1565760-1 is not prime. Res64: 86E49C7E58690B35 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:50:34] 747*2^1565760-1 is not prime. Res64: 04F753B7062BE393 Time : 0.0 sec. user=mdettweiler [2020-10-08 15:50:35] 797*2^1565760-1 is not prime. Res64: 6FA21FDF53880AA7 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:43:48] 927*2^1565760-1 is not prime. Res64: D1DCC1C61372839D Time : 0.0 sec. user=mdettweiler [2020-10-08 16:43:49] 639*2^1565761-1 is not prime. Res64: 2316B95FB7A8EA08 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:43:49] 651*2^1565761-1 is not prime. Res64: B474BDF5F533ED93 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:43:49] 681*2^1565761-1 is not prime. Res64: 8D104E27FF202879 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:43:50] 627*2^1565762-1 is not prime. Res64: FE49CA8EFC3CC03B Time : 0.0 sec. user=mdettweiler [2020-10-08 16:47:27] 839*2^1565760-1 is not prime. Res64: 2E9662117C756122 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:47:27] 875*2^1565760-1 is not prime. Res64: 00BE849D416F1207 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:47:27] 879*2^1565760-1 is not prime. Res64: 515DE29B4EDD1A08 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:47:28] 887*2^1565760-1 is not prime. Res64: E9C865588DDD1B21 Time : 0.0 sec. user=mdettweiler [2020-10-08 16:47:28] 923*2^1565760-1 is not prime. Res64: D5AB7AE87FE979DD Time : 0.0 sec. user=mdettweiler [2020-10-08 17:38:25] 731*2^1565762-1 is not prime. Res64: 9E05FC004836B231 Time : 0.0 sec. user=mdettweiler [2020-10-08 17:38:26] 801*2^1565762-1 is not prime. Res64: A03DD564DAC911F3 Time : 0.0 sec. user=mdettweiler [2020-10-08 17:38:26] 977*2^1565762-1 is not prime. Res64: 318FE26010F4E967 Time : 0.0 sec. user=mdettweiler [2020-10-08 17:38:27] 613*2^1565763-1 is not prime. Res64: 1DBE73D5BFD2BF3F Time : 0.0 sec. user=mdettweiler [2020-10-08 17:38:27] 735*2^1565763-1 is not prime. Res64: 24C032C89156633A Time : 0.0 sec. user=mdettweiler [2020-10-08 17:42:21] 753*2^1565763-1 is not prime. Res64: 23179108164C451C Time : 0.0 sec. user=mdettweiler [2020-10-08 17:42:22] 819*2^1565763-1 is not prime. Res64: 71D52E7F31A43D83 Time : 0.0 sec. user=mdettweiler [2020-10-08 17:42:22] 949*2^1565763-1 is not prime. Res64: 1D4B4BC9DCFD623E Time : 0.0 sec. user=mdettweiler [2020-10-08 17:42:23] 693*2^1565764-1 is not prime. Res64: DE97EC77901AE003 Time : 0.0 sec. user=mdettweiler [2020-10-08 17:42:23] 749*2^1565764-1 is not prime. Res64: BBFA0E8B42CF5052 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:34:06] 825*2^1565764-1 is not prime. Res64: AAD834D1F818C970 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:34:07] 887*2^1565764-1 is not prime. Res64: C8D4AEA0AFCD6A68 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:34:07] 939*2^1565764-1 is not prime. Res64: 2F00237C24BB1CA2 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:34:08] 649*2^1565765-1 is not prime. Res64: E0BDF8038B827EA3 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:34:08] 651*2^1565765-1 is not prime. Res64: D6719E3DA909832F Time : 0.0 sec. user=mdettweiler [2020-10-08 18:36:58] 811*2^1565765-1 is not prime. Res64: 7A7DEEE247B1B1DF Time : 0.0 sec. user=mdettweiler [2020-10-08 18:36:58] 861*2^1565765-1 is not prime. Res64: 6B5ABDC8F480EC95 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:36:58] 641*2^1565766-1 is not prime. Res64: D056BC8ED589EAD1 Time : 0.0 sec. user=mdettweiler [2020-10-08 18:36:59] 695*2^1565766-1 is not prime. Res64: 52C0BDADEE596CBA Time : 0.0 sec. user=mdettweiler [2020-10-08 18:36:59] 705*2^1565766-1 is not prime. Res64: 7973069FCB19066A Time : 0.0 sec. user=mdettweiler [2020-10-08 19:30:55] 975*2^1565766-1 is not prime. Res64: 79C8D45991DF3F19 Time : 0.0 sec. user=mdettweiler [2020-10-08 19:30:56] 603*2^1565767-1 is not prime. Res64: E89A30EC64F49C0F Time : 0.0 sec. user=mdettweiler [2020-10-08 19:30:56] 633*2^1565767-1 is not prime. Res64: EC5AE94ED8A5D4A5 Time : 0.0 sec. user=mdettweiler [2020-10-08 19:30:57] 649*2^1565767-1 is not prime. Res64: FA3D3285359C66FD Time : 0.0 sec. user=mdettweiler [2020-10-08 19:30:58] 861*2^1565767-1 is not prime. Res64: C73A9E3605668D54 Time : 0.0 sec. user=mdettweiler [2020-10-08 19:32:08] 801*2^1565766-1 is not prime. Res64: 293872D6EBB399C6 Time : 0.0 sec. user=mdettweiler [2020-10-08 19:32:08] 941*2^1565766-1 is not prime. Res64: 98916361DD68A6FC Time : 0.0 sec. user=mdettweiler [2020-10-08 19:32:08] 945*2^1565766-1 is not prime. Res64: 8C54CD59483D4FE7 Time : 0.0 sec. user=mdettweiler [2020-10-08 19:32:09] 947*2^1565766-1 is not prime. Res64: B6FDE9773D8ACB5A Time : 0.0 sec. user=mdettweiler [2020-10-08 19:32:09] 971*2^1565766-1 is not prime. Res64: 3ED9898ECEB4513E Time : 0.0 sec. user=mdettweiler [2020-10-08 20:28:04] 999*2^1565768-1 is not prime. Res64: 6206814CECE5FD98 Time : 0.0 sec. user=mdettweiler [2020-10-08 20:28:04] 691*2^1565769-1 is not prime. Res64: 611E0F64251CB928 Time : 0.0 sec. user=mdettweiler [2020-10-08 20:28:05] 745*2^1565769-1 is not prime. Res64: 384FC85C272C7502 Time : 0.0 sec. user=mdettweiler [2020-10-08 20:28:05] 807*2^1565769-1 is not prime. Res64: FF2F72331AA184BF Time : 0.0 sec. user=mdettweiler [2020-10-08 20:28:06] 865*2^1565769-1 is not prime. Res64: 77065651B9C1A0AC Time : 0.0 sec. user=mdettweiler [2020-10-08 20:29:02] 871*2^1565767-1 is not prime. Res64: 3FE984D3284A3ACE Time : 0.0 sec. user=mdettweiler [2020-10-08 20:29:02] 973*2^1565767-1 is not prime. Res64: EF4DA2E4D3DD7685 Time : 0.0 sec. user=mdettweiler [2020-10-08 20:29:03] 993*2^1565767-1 is not prime. Res64: 61FC53A9266ECDDA Time : 0.0 sec. user=mdettweiler [2020-10-08 20:29:03] 875*2^1565768-1 is not prime. Res64: 13CC55F6D8F6B7B2 Time : 0.0 sec. user=mdettweiler [2020-10-08 20:29:03] 927*2^1565768-1 is not prime. Res64: CE98AA430F6FA61A Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:26] 885*2^1565769-1 is not prime. Res64: 85C2490B3339EFF1 Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:27] 951*2^1565769-1 is not prime. Res64: DA696463A8F3DA8A Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:27] 979*2^1565769-1 is not prime. Res64: 8652008F8610A03E Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:28] 603*2^1565770-1 is not prime. Res64: 9FFDC7EA23DD0334 Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:28] 611*2^1565770-1 is not prime. Res64: C8514B7672DBA1CA Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:34] 635*2^1565770-1 is not prime. Res64: DEFF479232F73AD0 Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:35] 687*2^1565770-1 is not prime. Res64: F05C333F574D2975 Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:36] 713*2^1565770-1 is not prime. Res64: F0D1BA5DABB2E35D Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:36] 855*2^1565770-1 is not prime. Res64: AEE74F7CD0DA3452 Time : 0.0 sec. user=mdettweiler [2020-10-08 21:23:36] 917*2^1565770-1 is not prime. Res64: 94A85677461F21A4 Time : 0.0 sec. user=mdettweiler [2020-10-08 22:17:26] 945*2^1565770-1 is not prime. Res64: CEEA701B3742A565 Time : 0.0 sec. user=mdettweiler [2020-10-08 22:17:27] 971*2^1565770-1 is not prime. Res64: 8C9E6DC51296B7FD Time : 0.0 sec. user=mdettweiler [2020-10-08 22:17:28] 603*2^1565771-1 is not prime. Res64: CA089C1E4F58088B Time : 0.0 sec. user=mdettweiler [2020-10-08 22:17:28] 631*2^1565771-1 is not prime. Res64: 4FA6C4A978B2BAD6 Time : 0.0 sec. user=mdettweiler [2020-10-08 22:17:29] 645*2^1565771-1 is not prime. Res64: E7A1BA15A1922DBF Time : 0.0 sec. user=mdettweiler [2020-10-08 22:19:29] 675*2^1565771-1 is not prime. Res64: 10ED3619031E02FD Time : 0.0 sec. user=mdettweiler [2020-10-08 22:19:29] 931*2^1565771-1 is not prime. Res64: A641AA90271FA04B Time : 0.0 sec. user=mdettweiler [2020-10-08 22:19:29] 939*2^1565771-1 is not prime. Res64: E20B55E45AB8159D Time : 0.0 sec. user=mdettweiler [2020-10-08 22:19:30] 943*2^1565771-1 is not prime. Res64: 9133636C1D2037FC Time : 0.0 sec. user=mdettweiler [2020-10-08 22:19:30] 675*2^1565772-1 is not prime. Res64: 8C1B42E6FB2D9B9B Time : 0.0 sec. user=mdettweiler [2020-10-08 23:12:31] 689*2^1565772-1 is not prime. Res64: 27E2E745AFD41DA1 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:12:34] 719*2^1565772-1 is not prime. Res64: A9B6F60019C70C05 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:12:43] 749*2^1565772-1 is not prime. Res64: 55E8276A93CB4B0C Time : 0.0 sec. user=mdettweiler [2020-10-08 23:12:44] 825*2^1565772-1 is not prime. Res64: 804B6585961167D1 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:12:45] 929*2^1565772-1 is not prime. Res64: A2B01991D075D517 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:15:26] 727*2^1565773-1 is not prime. Res64: 527445D1029CB932 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:15:26] 757*2^1565773-1 is not prime. Res64: EFDE02E723C81231 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:15:27] 801*2^1565773-1 is not prime. Res64: 6B23C0C0AF3A3FEF Time : 0.0 sec. user=mdettweiler [2020-10-08 23:15:27] 859*2^1565773-1 is not prime. Res64: 81DEC695B9528841 Time : 0.0 sec. user=mdettweiler [2020-10-08 23:15:27] 945*2^1565773-1 is not prime. Res64: BE9AC1C6D5E5735A Time : 0.0 sec.