user=mdettweiler [2020-02-22 00:11:11] 639*2^1554489-1 is not prime. Res64: F01A6F219BCF8DDC Time : 0.0 sec. user=mdettweiler [2020-02-22 00:11:11] 817*2^1554489-1 is not prime. Res64: BFF117548428E4D1 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:11:12] 837*2^1554489-1 is not prime. Res64: B2247823FF9CC4CB Time : 0.0 sec. user=mdettweiler [2020-02-22 00:11:12] 861*2^1554489-1 is not prime. Res64: 599F588FE6377CC6 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:11:12] 675*2^1554490-1 is not prime. Res64: 3804A8A735902021 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:38:14] 713*2^1554490-1 is not prime. Res64: 07E5EB0DA67BD1D2 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:38:14] 755*2^1554490-1 is not prime. Res64: 2F25FE109531A1C5 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:38:15] 783*2^1554490-1 is not prime. Res64: 16F8FBDC72F8B02C Time : 0.0 sec. user=mdettweiler [2020-02-22 00:38:15] 905*2^1554490-1 is not prime. Res64: F3A3F791B65AFF28 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:38:16] 945*2^1554490-1 is not prime. Res64: 913A726263F76AF1 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:40:45] 619*2^1554491-1 is not prime. Res64: 2E6214D19C8C3B13 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:40:45] 663*2^1554491-1 is not prime. Res64: 4A66E525E91082B8 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:40:45] 909*2^1554491-1 is not prime. Res64: 725D9BC4F64E4431 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:40:46] 969*2^1554491-1 is not prime. Res64: E1AAA536D92B75A2 Time : 0.0 sec. user=mdettweiler [2020-02-22 00:40:46] 627*2^1554492-1 is not prime. Res64: E5947953C0B0B946 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:05:15] 689*2^1554492-1 is not prime. Res64: 4CA5561E86F2FFBB Time : 0.0 sec. user=mdettweiler [2020-02-22 01:05:17] 719*2^1554492-1 is not prime. Res64: B2FB517A78C5C6E4 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:05:18] 887*2^1554492-1 is not prime. Res64: 6029690C122EB6D9 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:05:21] 965*2^1554492-1 is not prime. Res64: B897380494B8FD03 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:05:23] 999*2^1554492-1 is not prime. Res64: 43E5C59160FCF94E Time : 0.0 sec. user=mdettweiler [2020-02-22 01:30:14] 681*2^1554493-1 is not prime. Res64: 73F0622CBB818640 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:30:18] 727*2^1554493-1 is not prime. Res64: E2011E6F6A53171B Time : 0.0 sec. user=mdettweiler [2020-02-22 01:30:20] 757*2^1554493-1 is not prime. Res64: 316FCE4780089126 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:30:21] 817*2^1554493-1 is not prime. Res64: 26DCF5D15FAA0BD4 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:30:22] 877*2^1554493-1 is not prime. Res64: 6C1B32B436909AA8 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:33:43] 985*2^1554493-1 is not prime. Res64: 51234BF3C98CCE67 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:33:44] 617*2^1554494-1 is not prime. Res64: 2B8DA3F0D1B81EEF Time : 0.0 sec. user=mdettweiler [2020-02-22 01:33:44] 651*2^1554494-1 is not prime. Res64: A0E1E664787F78D0 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:33:45] 785*2^1554494-1 is not prime. Res64: 3CBEEE82D65E51B4 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:33:45] 827*2^1554494-1 is not prime. Res64: 70BFD4874DEC34AE Time : 0.0 sec. user=mdettweiler [2020-02-22 01:59:54] 873*2^1554494-1 is not prime. Res64: C1126CF3D7FE1E4C Time : 0.0 sec. user=mdettweiler [2020-02-22 01:59:56] 903*2^1554494-1 is not prime. Res64: 83F6A039FE6EF13C Time : 0.0 sec. user=mdettweiler [2020-02-22 01:59:57] 651*2^1554495-1 is not prime. Res64: ABE1139B5CB3534C Time : 0.0 sec. user=mdettweiler [2020-02-22 01:59:58] 789*2^1554495-1 is not prime. Res64: 08A89665B64B0906 Time : 0.0 sec. user=mdettweiler [2020-02-22 01:59:59] 913*2^1554495-1 is not prime. Res64: 346C04F5A1168F54 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:23:43] 963*2^1554495-1 is not prime. Res64: 595880101203400B Time : 0.0 sec. user=mdettweiler [2020-02-22 02:23:43] 615*2^1554496-1 is not prime. Res64: 66700BD90C99E694 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:23:44] 765*2^1554496-1 is not prime. Res64: 541BE185B56047CF Time : 0.0 sec. user=mdettweiler [2020-02-22 02:23:44] 825*2^1554496-1 is not prime. Res64: 6AED43740C310A0A Time : 0.0 sec. user=mdettweiler [2020-02-22 02:23:45] 839*2^1554496-1 is not prime. Res64: BD02C0DEC9929347 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:28:26] 843*2^1554496-1 is not prime. Res64: 8B0A980C28412DC3 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:28:27] 969*2^1554496-1 is not prime. Res64: E19B6705AA3F03D9 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:28:27] 841*2^1554497-1 is not prime. Res64: E22E3E0756502729 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:28:27] 861*2^1554497-1 is not prime. Res64: 7B9E7697C8D0BF77 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:28:28] 925*2^1554497-1 is not prime. Res64: 32A3063359CF7887 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:54:11] 955*2^1554497-1 is not prime. Res64: 21049581D5216176 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:54:12] 985*2^1554497-1 is not prime. Res64: 2C06D7840F56BDAB Time : 0.0 sec. user=mdettweiler [2020-02-22 02:54:12] 683*2^1554498-1 is not prime. Res64: FBAD97C124DD0C1A Time : 0.0 sec. user=mdettweiler [2020-02-22 02:54:13] 755*2^1554498-1 is not prime. Res64: 53D2B3786CB7FAE7 Time : 0.0 sec. user=mdettweiler [2020-02-22 02:54:13] 777*2^1554498-1 is not prime. Res64: B9AD322C2CB68D2A Time : 0.0 sec. user=mdettweiler [2020-02-22 03:17:10] 801*2^1554498-1 is not prime. Res64: D02C949E1837D897 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:17:10] 821*2^1554498-1 is not prime. Res64: ADD2234987E46BB3 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:17:11] 977*2^1554498-1 is not prime. Res64: 1878742EB5D16BA4 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:17:11] 609*2^1554499-1 is not prime. Res64: 54FCC43215AE2F80 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:17:12] 829*2^1554499-1 is not prime. Res64: 7F8F9A9C78711100 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:22:53] 985*2^1554499-1 is not prime. Res64: AB28AD2A57D882C5 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:22:54] 725*2^1554500-1 is not prime. Res64: 030D590DBFE4F4D6 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:22:54] 819*2^1554500-1 is not prime. Res64: 12BF2FAF49E8F127 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:22:55] 875*2^1554500-1 is not prime. Res64: E65F135F5B79D3C2 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:22:55] 987*2^1554500-1 is not prime. Res64: A6A77EEC4CD98BD8 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:46:15] 717*2^1554501-1 is not prime. Res64: 4A528FD780FDE525 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:46:16] 747*2^1554501-1 is not prime. Res64: 5766C1C719ED5977 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:46:16] 795*2^1554501-1 is not prime. Res64: 94DD09097CC9128C Time : 0.0 sec. user=mdettweiler [2020-02-22 03:46:17] 805*2^1554501-1 is not prime. Res64: D3C2602814570DA9 Time : 0.0 sec. user=mdettweiler [2020-02-22 03:46:18] 885*2^1554501-1 is not prime. Res64: 0B034EF2B700EA28 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:10:15] 975*2^1554501-1 is not prime. Res64: 90B1FA7935F2F022 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:10:23] 651*2^1554502-1 is not prime. Res64: 87A03ED920D560E9 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:10:27] 695*2^1554502-1 is not prime. Res64: 8409490FB5D95FDD Time : 0.0 sec. user=mdettweiler [2020-02-22 04:10:30] 777*2^1554502-1 is not prime. Res64: 902663F3875C6480 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:16:36] 873*2^1554502-1 is not prime. Res64: 09F9B9D80635511A Time : 0.0 sec. user=mdettweiler [2020-02-22 04:40:41] 895*2^1554503-1 is not prime. Res64: 2F200387BFCBE1C5 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:40:42] 921*2^1554503-1 is not prime. Res64: 6F057724E42D1161 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:40:43] 981*2^1554503-1 is not prime. Res64: A956F635737355F6 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:40:43] 635*2^1554504-1 is not prime. Res64: A9C184EF2A5DBE56 Time : 0.0 sec. user=mdettweiler [2020-02-22 04:40:43] 705*2^1554504-1 is not prime. Res64: 03824F92A43483E2 Time : 0.0 sec. user=mdettweiler [2020-02-22 05:36:02] 767*2^1554504-1 is not prime. Res64: 215E69F6E1EEB519 Time : 0.0 sec. user=mdettweiler [2020-02-22 05:36:02] 773*2^1554504-1 is not prime. Res64: 8084BC2CAFBB86FB Time : 0.0 sec. user=mdettweiler [2020-02-22 05:36:02] 849*2^1554504-1 is not prime. Res64: 5DD8C3FA61432224 Time : 0.0 sec. user=mdettweiler [2020-02-22 05:36:03] 927*2^1554504-1 is not prime. Res64: 6B1136773A13653C Time : 0.0 sec. user=mdettweiler [2020-02-22 05:36:03] 983*2^1554504-1 is not prime. Res64: 6E9FA3542E66BED1 Time : 0.0 sec. user=mdettweiler [2020-02-22 06:28:01] 649*2^1554505-1 is not prime. Res64: 761DB8C0C93A8E88 Time : 0.0 sec. user=mdettweiler [2020-02-22 06:28:02] 651*2^1554505-1 is not prime. Res64: EBBF0F03E0E6B4C2 Time : 0.0 sec. user=mdettweiler [2020-02-22 06:28:03] 685*2^1554505-1 is not prime. Res64: 6648260AEBF31874 Time : 0.0 sec. user=mdettweiler [2020-02-22 06:28:04] 717*2^1554505-1 is not prime. Res64: F2688E2C1DC6B030 Time : 0.0 sec. user=mdettweiler [2020-02-22 06:28:04] 789*2^1554505-1 is not prime. Res64: ECEE8BBA94CE047D Time : 0.0 sec. user=mdettweiler [2020-02-22 07:22:49] 847*2^1554505-1 is not prime. Res64: 8626AA6EA6A13EB7 Time : 0.0 sec. user=mdettweiler [2020-02-22 07:22:50] 939*2^1554505-1 is not prime. Res64: C174E9455F8C8929 Time : 0.0 sec. user=mdettweiler [2020-02-22 07:22:50] 987*2^1554505-1 is not prime. Res64: FE81B88547D24291 Time : 0.0 sec. user=mdettweiler [2020-02-22 07:22:50] 651*2^1554506-1 is not prime. Res64: 163764562A9B7873 Time : 0.0 sec. user=mdettweiler [2020-02-22 07:22:51] 705*2^1554506-1 is not prime. Res64: 0CCD3574DC5AEC3D Time : 0.0 sec. user=mdettweiler [2020-02-22 08:15:32] 735*2^1554506-1 is not prime. Res64: 2FEE99AF01472D7C Time : 0.0 sec. user=mdettweiler [2020-02-22 08:15:33] 801*2^1554506-1 is not prime. Res64: 10F138119B0A0B94 Time : 0.0 sec. user=mdettweiler [2020-02-22 08:15:33] 827*2^1554506-1 is not prime. Res64: 943469E2DCDE2591 Time : 0.0 sec. user=mdettweiler [2020-02-22 08:15:33] 867*2^1554506-1 is not prime. Res64: 6B0873F1A8E447E5 Time : 0.0 sec. user=mdettweiler [2020-02-22 08:15:34] 893*2^1554506-1 is not prime. Res64: DF1F60DCADBF7F81 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:02:38] 857*2^1554502-1 is not prime. Res64: 396A5DFDDE67BA9F Time : 0.0 sec. user=mdettweiler [2020-02-22 09:09:46] 885*2^1554502-1 is not prime. Res64: F51B8A9B852849D3 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:09:47] 947*2^1554502-1 is not prime. Res64: 5004C2C5091BCAEA Time : 0.0 sec. user=mdettweiler [2020-02-22 09:09:47] 643*2^1554503-1 is not prime. Res64: 29A4A97BE24EEA69 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:09:47] 705*2^1554503-1 is not prime. Res64: 33CDF00FFDD8C1C3 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:12:41] 903*2^1554506-1 is not prime. Res64: A55D292E16D47017 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:12:42] 923*2^1554506-1 is not prime. Res64: 316B6B6692A2B13B Time : 0.0 sec. user=mdettweiler [2020-02-22 09:12:42] 981*2^1554506-1 is not prime. Res64: FDEF5341E7497E6A Time : 0.0 sec. user=mdettweiler [2020-02-22 09:12:43] 1001*2^1554506-1 is not prime. Res64: CB4B3B8F69EA6718 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:12:43] 633*2^1554507-1 is not prime. Res64: 2B63786E4744876F Time : 0.0 sec. user=mdettweiler [2020-02-22 09:56:42] 703*2^1554507-1 is not prime. Res64: D6FFDC23B7FFB086 Time : 0.0 sec. user=mdettweiler [2020-02-22 09:56:43] 769*2^1554507-1 is not prime. Res64: E96E73BA37D64D9E Time : 0.0 sec. user=mdettweiler [2020-02-22 09:56:43] 963*2^1554507-1 is not prime. Res64: 3D7BE8F372CFBC1C Time : 0.0 sec. user=mdettweiler [2020-02-22 09:56:44] 635*2^1554508-1 is not prime. Res64: 82BE4193E827127C Time : 0.0 sec. user=mdettweiler [2020-02-22 09:56:44] 665*2^1554508-1 is not prime. Res64: 6598778C71B62941 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:04:31] 773*2^1554508-1 is not prime. Res64: E27A321731358E23 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:04:33] 843*2^1554508-1 is not prime. Res64: 62F0CD0EB6AFABB1 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:04:34] 875*2^1554508-1 is not prime. Res64: 9639D0E32B1E2E50 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:04:35] 999*2^1554508-1 is not prime. Res64: 62B1CE075EA1C8BE Time : 0.0 sec. user=mdettweiler [2020-02-22 10:04:37] 699*2^1554509-1 is not prime. Res64: D4AA600E49960329 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:06:10] 729*2^1554509-1 is not prime. Res64: AEB8D64355C78CE9 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:06:14] 747*2^1554509-1 is not prime. Res64: CB0C14C1732618CB Time : 0.0 sec. user=mdettweiler [2020-02-22 10:06:16] 781*2^1554509-1 is not prime. Res64: 0A6A7F47D4646975 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:06:17] 795*2^1554509-1 is not prime. Res64: F0E4E0FE0DC23B4F Time : 0.0 sec. user=mdettweiler [2020-02-22 10:06:19] 819*2^1554509-1 is not prime. Res64: 9C168DB005967390 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:49:33] 861*2^1554509-1 is not prime. Res64: 86B75805F06D32FC Time : 0.0 sec. user=mdettweiler [2020-02-22 10:49:33] 723*2^1554510-1 is not prime. Res64: EAA8DD78F6207110 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:49:34] 795*2^1554510-1 is not prime. Res64: A4C1FB7F3694D0AC Time : 0.0 sec. user=mdettweiler [2020-02-22 10:49:34] 639*2^1554511-1 is not prime. Res64: 13A799E838EC05DD Time : 0.0 sec. user=mdettweiler [2020-02-22 10:49:35] 685*2^1554511-1 is not prime. Res64: 989E4B84B0CA28BA Time : 0.0 sec. user=mdettweiler [2020-02-22 10:57:10] 703*2^1554511-1 is not prime. Res64: 6199BB81A663D2E5 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:57:10] 723*2^1554511-1 is not prime. Res64: BC4D273597315FA2 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:57:11] 741*2^1554511-1 is not prime. Res64: B4350C16443651A2 Time : 0.0 sec. user=mdettweiler [2020-02-22 10:57:11] 751*2^1554511-1 is not prime. Res64: D43032162DFDDC1D Time : 0.0 sec. user=mdettweiler [2020-02-22 10:57:11] 861*2^1554511-1 is not prime. Res64: 737E744FEB9569BA Time : 0.0 sec. user=mdettweiler [2020-02-22 11:01:37] 687*2^1554512-1 is not prime. Res64: 9BAAFB04311E8CC3 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:01:38] 753*2^1554512-1 is not prime. Res64: 92F63D1FBD6117CD Time : 0.0 sec. user=mdettweiler [2020-02-22 11:01:39] 797*2^1554512-1 is not prime. Res64: 1B52A4546F19DBF6 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:01:40] 957*2^1554512-1 is not prime. Res64: F95AC9C53E192F10 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:01:41] 983*2^1554512-1 is not prime. Res64: CECCAA283619092D Time : 0.0 sec. user=mdettweiler [2020-02-22 11:42:26] 649*2^1554513-1 is not prime. Res64: F2DEF04015729B0C Time : 0.0 sec. user=mdettweiler [2020-02-22 11:42:27] 669*2^1554513-1 is not prime. Res64: A28CD2858DA36528 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:42:27] 727*2^1554513-1 is not prime. Res64: 504242CB92E72956 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:42:28] 817*2^1554513-1 is not prime. Res64: 0D4DFFC2DEB426F8 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:42:28] 837*2^1554513-1 is not prime. Res64: D900031560032D75 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:20] 665*2^1554514-1 is not prime. Res64: D1D5FCA31C834C18 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:21] 681*2^1554514-1 is not prime. Res64: 151FF6745A0E1D74 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:21] 755*2^1554514-1 is not prime. Res64: D7D62EEBD5DCE3D4 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:22] 785*2^1554514-1 is not prime. Res64: 9446F9B88051491E Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:22] 857*2^1554514-1 is not prime. Res64: 2083EB495B98C64E Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:58] 919*2^1554513-1 is not prime. Res64: 7979B876241B4303 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:54:59] 945*2^1554513-1 is not prime. Res64: 16F0073BB6B1B673 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:55:00] 969*2^1554513-1 is not prime. Res64: DEFC1681799782F3 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:55:00] 987*2^1554513-1 is not prime. Res64: 8E96AA8EA7AAA6D3 Time : 0.0 sec. user=mdettweiler [2020-02-22 11:55:03] 623*2^1554514-1 is not prime. Res64: 4E80718AC78D7503 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:36:59] 881*2^1554514-1 is not prime. Res64: 61F4A4E8F1EEC132 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:37:00] 951*2^1554514-1 is not prime. Res64: 4DE029EE0F5A8E62 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:37:00] 975*2^1554514-1 is not prime. Res64: 03663D85A73CFC80 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:37:00] 603*2^1554515-1 is not prime. Res64: D77D95719822786B Time : 0.0 sec. user=mdettweiler [2020-02-22 12:37:01] 633*2^1554515-1 is not prime. Res64: BCFFB22C9264793D Time : 0.0 sec. user=mdettweiler [2020-02-22 12:47:08] 685*2^1554515-1 is not prime. Res64: B4438321E511257C Time : 0.0 sec. user=mdettweiler [2020-02-22 12:47:08] 693*2^1554515-1 is not prime. Res64: 78BB9E6D39CF3529 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:47:09] 991*2^1554515-1 is not prime. Res64: EC90159CC1859258 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:47:09] 627*2^1554516-1 is not prime. Res64: 088154F986108141 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:47:09] 633*2^1554516-1 is not prime. Res64: AB416081A7CB2E9D Time : 0.0 sec. user=mdettweiler [2020-02-22 12:48:47] 675*2^1554516-1 is not prime. Res64: 58D1D19585E75998 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:48:47] 789*2^1554516-1 is not prime. Res64: 1CF3E9773C9C3BBF Time : 0.0 sec. user=mdettweiler [2020-02-22 12:48:48] 809*2^1554516-1 is not prime. Res64: 65DD7692E3AAF6C9 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:48:48] 845*2^1554516-1 is not prime. Res64: 850F92C20247D776 Time : 0.0 sec. user=mdettweiler [2020-02-22 12:48:48] 905*2^1554516-1 is not prime. Res64: 76804F655F7C1262 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:30:44] 923*2^1554516-1 is not prime. Res64: 758C63388EAC510D Time : 0.0 sec. user=mdettweiler [2020-02-22 13:30:44] 999*2^1554516-1 is not prime. Res64: 8F1C4924EE4061EE Time : 0.0 sec. user=mdettweiler [2020-02-22 13:30:46] 615*2^1554517-1 is not prime. Res64: 1C4257F67895BDD1 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:30:46] 687*2^1554517-1 is not prime. Res64: 59A0D586283B9413 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:30:46] 699*2^1554517-1 is not prime. Res64: 6CD7ECE0582A977C Time : 0.0 sec. user=mdettweiler [2020-02-22 13:39:35] 729*2^1554517-1 is not prime. Res64: 69E1CCF7144AC46C Time : 0.0 sec. user=mdettweiler [2020-02-22 13:39:35] 747*2^1554517-1 is not prime. Res64: B43F68A813BB0DFB Time : 0.0 sec. user=mdettweiler [2020-02-22 13:39:36] 985*2^1554517-1 is not prime. Res64: 3EE7FC8A1B3621D8 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:39:37] 623*2^1554518-1 is not prime. Res64: DE1104AC7E09AD98 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:39:37] 635*2^1554518-1 is not prime. Res64: DC322C82497B1A5E Time : 0.0 sec. user=mdettweiler [2020-02-22 13:40:27] 645*2^1554518-1 is not prime. Res64: 6056841939683D84 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:40:27] 663*2^1554518-1 is not prime. Res64: B5B425B1AFB07559 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:40:27] 743*2^1554518-1 is not prime. Res64: 1EF24A7D1E65E3C1 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:40:28] 801*2^1554518-1 is not prime. Res64: 3F68CA4492B38302 Time : 0.0 sec. user=mdettweiler [2020-02-22 13:40:28] 857*2^1554518-1 is not prime. Res64: 3531A7FB18F6F114 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:23:57] 897*2^1554518-1 is not prime. Res64: 320F09B699C93F43 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:23:58] 921*2^1554518-1 is not prime. Res64: F5F1AFCAD5ACCD7D Time : 0.0 sec. user=mdettweiler [2020-02-22 14:23:58] 649*2^1554519-1 is not prime. Res64: 4D3AF9CA749B127E Time : 0.0 sec. user=mdettweiler [2020-02-22 14:23:59] 741*2^1554519-1 is not prime. Res64: B0BA060582DE5481 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:23:59] 751*2^1554519-1 is not prime. Res64: C2628AED8DA3A484 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:31:52] 603*2^1554520-1 is not prime. Res64: 2B6DB1A435C8798A Time : 0.0 sec. user=mdettweiler [2020-02-22 14:31:52] 605*2^1554520-1 is not prime. Res64: 26F7EA46B51B21DE Time : 0.0 sec. user=mdettweiler [2020-02-22 14:31:53] 615*2^1554520-1 is not prime. Res64: E8205C79F82EE648 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:31:53] 623*2^1554520-1 is not prime. Res64: 158DD9DB8842273A Time : 0.0 sec. user=mdettweiler [2020-02-22 14:31:54] 693*2^1554520-1 is not prime. Res64: FED8237D11F16D82 Time : 0.0 sec. user=mdettweiler [2020-02-22 14:33:38] 763*2^1554519-1 is not prime. Res64: A21BF0EF24B77F0D Time : 0.0 sec. user=mdettweiler [2020-02-22 14:33:38] 775*2^1554519-1 is not prime. Res64: 3352DF99913DCE6D Time : 0.0 sec. user=mdettweiler [2020-02-22 14:33:38] 793*2^1554519-1 is not prime. Res64: 7F14CF9F8670A43F Time : 0.0 sec. user=mdettweiler [2020-02-22 14:33:39] 861*2^1554519-1 is not prime. Res64: E7E50B74707ED87B Time : 0.0 sec. user=mdettweiler [2020-02-22 14:33:39] 921*2^1554519-1 is not prime. Res64: 5CE66FD4D19310C3 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:19:24] 695*2^1554520-1 is not prime. Res64: 208A9A1B1AFD80F6 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:19:25] 765*2^1554520-1 is not prime. Res64: F5927EB287913B91 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:19:25] 905*2^1554520-1 is not prime. Res64: B4E054D984353F31 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:19:26] 939*2^1554520-1 is not prime. Res64: DC927D5E5FABA691 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:19:27] 999*2^1554520-1 is not prime. Res64: DAACF77BF609B8CD Time : 0.0 sec. user=mdettweiler [2020-02-22 15:24:56] 633*2^1554522-1 is not prime. Res64: E373A84BFB38059C Time : 0.0 sec. user=mdettweiler [2020-02-22 15:24:57] 671*2^1554522-1 is not prime. Res64: 6E1D5988903EEB62 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:24:57] 867*2^1554522-1 is not prime. Res64: 69F18635F98AF996 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:24:57] 681*2^1554523-1 is not prime. Res64: 946C3700F126C360 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:24:58] 691*2^1554523-1 is not prime. Res64: 56221295D75BC136 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:26:18] 691*2^1554521-1 is not prime. Res64: A1DFFC6512E5A29F Time : 0.0 sec. user=mdettweiler [2020-02-22 15:26:19] 789*2^1554521-1 is not prime. Res64: A4800B5E30D58744 Time : 0.0 sec. user=mdettweiler [2020-02-22 15:26:19] 889*2^1554521-1 is not prime. Res64: D051BF1BE5E58E0A Time : 0.0 sec. user=mdettweiler [2020-02-22 15:26:19] 937*2^1554521-1 is not prime. Res64: 801625381FB9182D Time : 0.0 sec. user=mdettweiler [2020-02-22 15:26:20] 979*2^1554521-1 is not prime. Res64: C63B3167202C913A Time : 0.0 sec. user=mdettweiler [2020-02-22 16:12:38] 709*2^1554523-1 is not prime. Res64: 542626C6769E8FF6 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:12:38] 723*2^1554523-1 is not prime. Res64: 699AF93B9FA70871 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:12:39] 793*2^1554523-1 is not prime. Res64: 1D1971C980218CFD Time : 0.0 sec. user=mdettweiler [2020-02-22 16:12:39] 853*2^1554523-1 is not prime. Res64: 0D2219B57AFB3C93 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:12:40] 915*2^1554523-1 is not prime. Res64: 13269FFEA4F68A66 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:17:58] 961*2^1554523-1 is not prime. Res64: 8211C852E9124471 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:17:58] 605*2^1554524-1 is not prime. Res64: 652C5A37C549E07D Time : 0.0 sec. user=mdettweiler [2020-02-22 16:17:58] 707*2^1554524-1 is not prime. Res64: F38BD34682944AD7 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:17:59] 837*2^1554524-1 is not prime. Res64: F5DBA409579C5450 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:17:59] 857*2^1554524-1 is not prime. Res64: D63B141BD238B520 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:23:04] 899*2^1554524-1 is not prime. Res64: B8A94739218D2E78 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:23:04] 927*2^1554524-1 is not prime. Res64: 1002B229EF7B95AC Time : 0.0 sec. user=mdettweiler [2020-02-22 16:23:05] 935*2^1554524-1 is not prime. Res64: 79037EBB3974B312 Time : 0.0 sec. user=mdettweiler [2020-02-22 16:23:05] 959*2^1554524-1 is not prime. Res64: AC978F41C834842D Time : 0.0 sec. user=mdettweiler [2020-02-22 16:23:06] 983*2^1554524-1 is not prime. Res64: EFFC746B72720279 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:04:36] 655*2^1554525-1 is not prime. Res64: 597D6DE31501AC35 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:04:38] 691*2^1554525-1 is not prime. Res64: C46A3071BE90483F Time : 0.0 sec. user=mdettweiler [2020-02-22 17:04:39] 811*2^1554525-1 is not prime. Res64: 35E44F559C2359E3 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:04:41] 825*2^1554525-1 is not prime. Res64: 3312AAD4435511CF Time : 0.0 sec. user=mdettweiler [2020-02-22 17:04:42] 847*2^1554525-1 is not prime. Res64: 8FCCF6AB82BE9F2B Time : 0.0 sec. user=mdettweiler [2020-02-22 17:11:58] 937*2^1554525-1 is not prime. Res64: 73169A97AD6FBB66 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:11:59] 755*2^1554526-1 is not prime. Res64: 1CEE521BCF1DC9F5 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:11:59] 777*2^1554526-1 is not prime. Res64: 292987E36CBDD15C Time : 0.0 sec. user=mdettweiler [2020-02-22 17:12:00] 941*2^1554526-1 is not prime. Res64: B1769E0FC8922D86 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:12:01] 643*2^1554527-1 is not prime. Res64: 3BAB25962CFCB79A Time : 0.0 sec. user=mdettweiler [2020-02-22 17:16:02] 673*2^1554527-1 is not prime. Res64: 6AC7380DCD484988 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:16:03] 703*2^1554527-1 is not prime. Res64: 987E4D5D4E2215A8 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:16:03] 781*2^1554527-1 is not prime. Res64: 32415CC9B5DC65B6 Time : 0.0 sec. user=mdettweiler [2020-02-22 17:16:04] 865*2^1554527-1 is not prime. Res64: 2AE31BB29F4F4CBC Time : 0.0 sec. user=mdettweiler [2020-02-22 17:16:04] 901*2^1554527-1 is not prime. Res64: 16F063BD6D14190E Time : 0.0 sec. user=mdettweiler [2020-02-22 18:00:05] 963*2^1554527-1 is not prime. Res64: A6CF7C0444453574 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:00:05] 981*2^1554527-1 is not prime. Res64: 756EAC1B668B719D Time : 0.0 sec. user=mdettweiler [2020-02-22 18:00:06] 635*2^1554528-1 is not prime. Res64: 695726C3D1E43114 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:00:06] 669*2^1554528-1 is not prime. Res64: 90E611B2F89EA435 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:00:06] 695*2^1554528-1 is not prime. Res64: DD36D90EBC1694B7 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:07:35] 707*2^1554528-1 is not prime. Res64: 40971EAF602ED0EB Time : 0.0 sec. user=mdettweiler [2020-02-22 18:07:35] 909*2^1554528-1 is not prime. Res64: 5F573FCBA359B5E3 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:07:36] 929*2^1554528-1 is not prime. Res64: DB8D01CE7136454E Time : 0.0 sec. user=mdettweiler [2020-02-22 18:07:36] 615*2^1554529-1 is not prime. Res64: 7B9298419210ACC3 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:07:37] 687*2^1554529-1 is not prime. Res64: D6E231E25E06DB0B Time : 0.0 sec. user=mdettweiler [2020-02-22 18:09:55] 741*2^1554529-1 is not prime. Res64: 96E3BD1F97F47DDC Time : 0.0 sec. user=mdettweiler [2020-02-22 18:09:56] 751*2^1554529-1 is not prime. Res64: 343A66124D7D9D16 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:09:56] 759*2^1554529-1 is not prime. Res64: CF86F097B2301154 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:09:56] 769*2^1554529-1 is not prime. Res64: 8E110687FE1A12EF Time : 0.0 sec. user=mdettweiler [2020-02-22 18:09:57] 847*2^1554529-1 is not prime. Res64: 38FB78E68D99DA76 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:52:22] 701*2^1554530-1 is not prime. Res64: 3FC7A03F7B9313F3 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:52:22] 731*2^1554530-1 is not prime. Res64: 05484E40606906B0 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:52:23] 753*2^1554530-1 is not prime. Res64: 55278EF2B3CA473D Time : 0.0 sec. user=mdettweiler [2020-02-22 18:52:23] 783*2^1554530-1 is not prime. Res64: 52114D7EE9A93C43 Time : 0.0 sec. user=mdettweiler [2020-02-22 18:52:23] 857*2^1554530-1 is not prime. Res64: 900462C6D7C2376E Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:01] 995*2^1554530-1 is not prime. Res64: 998ADF63BF81FF5F Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:02] 601*2^1554531-1 is not prime. Res64: C9FD7A983D60FFD6 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:04] 789*2^1554531-1 is not prime. Res64: F51FDA026AD0995F Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:05] 949*2^1554531-1 is not prime. Res64: 7A5F36E96660217B Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:06] 617*2^1554532-1 is not prime. Res64: 707263C8876ABEFD Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:18] 693*2^1554532-1 is not prime. Res64: F57879FB4A8106D0 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:18] 779*2^1554532-1 is not prime. Res64: C13494C8AEF109C3 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:19] 885*2^1554532-1 is not prime. Res64: 239D6B4DAAF413DB Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:21] 899*2^1554532-1 is not prime. Res64: 38C403767844414E Time : 0.0 sec. user=mdettweiler [2020-02-22 19:02:22] 651*2^1554533-1 is not prime. Res64: C7F27D24675D51CF Time : 0.0 sec. user=mdettweiler [2020-02-22 19:46:27] 721*2^1554533-1 is not prime. Res64: 1E35EB1C68D1B9AD Time : 0.0 sec. user=mdettweiler [2020-02-22 19:46:28] 939*2^1554533-1 is not prime. Res64: 9EFCDF3C2DB5A02E Time : 0.0 sec. user=mdettweiler [2020-02-22 19:46:28] 987*2^1554533-1 is not prime. Res64: 8DAF0AB982FA146C Time : 0.0 sec. user=mdettweiler [2020-02-22 19:46:28] 611*2^1554534-1 is not prime. Res64: B6F3955ABCCF3250 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:46:29] 755*2^1554534-1 is not prime. Res64: 66AC60528496743E Time : 0.0 sec. user=mdettweiler [2020-02-22 19:54:34] 893*2^1554536-1 is not prime. Res64: 7870D557082D74BF Time : 0.0 sec. user=mdettweiler [2020-02-22 19:54:34] 609*2^1554537-1 is not prime. Res64: 69EFDC8D2D2EC6B4 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:54:34] 667*2^1554537-1 is not prime. Res64: 4DB2CB49C1F54424 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:54:35] 717*2^1554537-1 is not prime. Res64: CB9DB466F38E2DE0 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:54:35] 765*2^1554537-1 is not prime. Res64: 06739EFD1B2934BF Time : 0.0 sec. user=mdettweiler [2020-02-22 19:56:02] 825*2^1554534-1 is not prime. Res64: 17C13E8488BF48F0 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:56:02] 885*2^1554534-1 is not prime. Res64: 82D5894E0B114388 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:56:03] 971*2^1554534-1 is not prime. Res64: A047D7A96670AC23 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:56:03] 775*2^1554535-1 is not prime. Res64: 3341B0344D9699A5 Time : 0.0 sec. user=mdettweiler [2020-02-22 19:56:04] 615*2^1554536-1 is not prime. Res64: CBB2CEEF5A9F9503 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:41:15] 885*2^1554537-1 is not prime. Res64: 196638C51E752A4F Time : 0.0 sec. user=mdettweiler [2020-02-22 20:41:15] 945*2^1554537-1 is not prime. Res64: FD968E0586A4992F Time : 0.0 sec. user=mdettweiler [2020-02-22 20:41:15] 997*2^1554537-1 is not prime. Res64: 66D28DF109CF7A93 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:41:16] 603*2^1554538-1 is not prime. Res64: 4C69F58015869F4B Time : 0.0 sec. user=mdettweiler [2020-02-22 20:41:16] 657*2^1554538-1 is not prime. Res64: 1E273A98BC889E27 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:46:43] 735*2^1554538-1 is not prime. Res64: 9685AAF23E0CDB40 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:46:44] 813*2^1554538-1 is not prime. Res64: C1764D7001D004BF Time : 0.0 sec. user=mdettweiler [2020-02-22 20:46:44] 615*2^1554539-1 is not prime. Res64: BB449172C7177CCD Time : 0.0 sec. user=mdettweiler [2020-02-22 20:46:44] 705*2^1554539-1 is not prime. Res64: 07CA22EA459C3ED3 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:46:45] 825*2^1554539-1 is not prime. Res64: 5A62F1D81E909A01 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:49:41] 843*2^1554539-1 is not prime. Res64: CE03B4284E4154D8 Time : 0.0 sec. user=mdettweiler [2020-02-22 20:49:41] 913*2^1554539-1 is not prime. Res64: CCE3F4BB3EFD4F7D Time : 0.0 sec. user=mdettweiler [2020-02-22 20:49:41] 689*2^1554540-1 is not prime. Res64: 76D5B1D2779281AB Time : 0.0 sec. user=mdettweiler [2020-02-22 20:49:42] 723*2^1554540-1 is not prime. Res64: A42FFA33C6FAED7D Time : 0.0 sec. user=mdettweiler [2020-02-22 20:49:42] 839*2^1554540-1 is not prime. Res64: 9FDFE835AECF7D09 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:34:59] 863*2^1554540-1 is not prime. Res64: 74D4166AC40E8EDE Time : 0.0 sec. user=mdettweiler [2020-02-22 21:35:00] 899*2^1554540-1 is not prime. Res64: EF45A4C077CA6CFA Time : 0.0 sec. user=mdettweiler [2020-02-22 21:35:00] 933*2^1554540-1 is not prime. Res64: 984FB1BA6994F41E Time : 0.0 sec. user=mdettweiler [2020-02-22 21:35:00] 649*2^1554541-1 is not prime. Res64: 94E2ACC4E724E7D0 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:35:01] 741*2^1554541-1 is not prime. Res64: 4A2A6A526B8A4039 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:40:47] 777*2^1554541-1 is not prime. Res64: DDE4958DB42BA431 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:40:48] 799*2^1554541-1 is not prime. Res64: 523A4A90B3789E36 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:40:48] 825*2^1554541-1 is not prime. Res64: 916E15246AD13540 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:40:48] 967*2^1554541-1 is not prime. Res64: 80AC677A01959864 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:40:48] 627*2^1554542-1 is not prime. Res64: 24260B6DCE919F9E Time : 0.0 sec. user=mdettweiler [2020-02-22 21:41:54] 635*2^1554542-1 is not prime. Res64: 6BB6C66207B89567 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:41:54] 657*2^1554542-1 is not prime. Res64: 117A8EC79FC2A06A Time : 0.0 sec. user=mdettweiler [2020-02-22 21:41:55] 755*2^1554542-1 is not prime. Res64: 2EF7EF989E447D01 Time : 0.0 sec. user=mdettweiler [2020-02-22 21:41:55] 867*2^1554542-1 is not prime. Res64: 81680734E4465DBF Time : 0.0 sec. user=mdettweiler [2020-02-22 21:41:55] 893*2^1554542-1 is not prime. Res64: 7F0AA0A7ED0F19CA Time : 0.0 sec. user=mdettweiler [2020-02-22 22:30:57] 945*2^1554542-1 is not prime. Res64: D9E3477FF8ED246C Time : 0.0 sec. user=mdettweiler [2020-02-22 22:32:44] 859*2^1554543-1 is not prime. Res64: AD4F811E5DB83730 Time : 0.0 sec. user=mdettweiler [2020-02-22 22:32:44] 675*2^1554544-1 is not prime. Res64: FC62AFC086AF2E74 Time : 0.0 sec. user=mdettweiler [2020-02-22 22:32:45] 677*2^1554544-1 is not prime. Res64: 8EA169CF66AFC40B Time : 0.0 sec. user=mdettweiler [2020-02-22 22:32:46] 705*2^1554544-1 is not prime. Res64: F6252105A79AF372 Time : 0.0 sec. user=mdettweiler [2020-02-22 22:32:46] 717*2^1554544-1 is not prime. Res64: DF946F9479F11B3B Time : 0.0 sec. user=mdettweiler [2020-02-22 22:36:11] 759*2^1554544-1 is not prime. Res64: 67B5AB8555622C2E Time : 0.0 sec. user=mdettweiler [2020-02-22 22:36:11] 843*2^1554544-1 is not prime. Res64: 0B127257667E9EE6 Time : 0.0 sec. user=mdettweiler [2020-02-22 22:36:12] 863*2^1554544-1 is not prime. Res64: 26CE0DD24F0153A8 Time : 0.0 sec. user=mdettweiler [2020-02-22 22:36:12] 869*2^1554544-1 is not prime. Res64: 5A3165D6247B534C Time : 0.0 sec. user=mdettweiler [2020-02-22 22:36:13] 905*2^1554544-1 is not prime. Res64: 680231380E25D085 Time : 0.0 sec. user=mdettweiler [2020-02-22 23:24:28] 651*2^1554545-1 is not prime. Res64: 98A22D290D23A779 Time : 0.0 sec. user=mdettweiler [2020-02-22 23:24:29] 657*2^1554545-1 is not prime. Res64: 9796033E0025822E Time : 0.0 sec. user=mdettweiler [2020-02-22 23:24:29] 669*2^1554545-1 is not prime. Res64: D26BBFC2EBC22461 Time : 0.0 sec. user=mdettweiler [2020-02-22 23:24:30] 697*2^1554545-1 is not prime. Res64: 8B960FC91EB3A7DC Time : 0.0 sec. user=mdettweiler [2020-02-22 23:24:30] 735*2^1554545-1 is not prime. Res64: A6D58B25B094A341 Time : 0.0 sec. user=mdettweiler [2020-02-22 23:29:17] 771*2^1554545-1 is not prime. Res64: B1930DE84B90C07A Time : 0.0 sec. user=mdettweiler [2020-02-22 23:29:18] 811*2^1554545-1 is not prime. Res64: 95634C579B03EE92 Time : 0.0 sec. user=mdettweiler [2020-02-22 23:29:18] 841*2^1554545-1 is not prime. Res64: 0E7691D4E272779A Time : 0.0 sec. user=mdettweiler [2020-02-22 23:29:19] 855*2^1554545-1 is not prime. Res64: 4A3742CC7648BEBF Time : 0.0 sec. user=mdettweiler [2020-02-22 23:29:19] 865*2^1554545-1 is not prime. Res64: 9B5C7A75427EE3D8 Time : 0.0 sec.