user=mdettweiler [2019-04-17 02:33:49] 867*2^1536225-1 is not prime. Res64: 2A13853144021C84 Time : 0.0 sec. user=mdettweiler [2019-04-17 02:33:51] 937*2^1536225-1 is not prime. Res64: BD4901C94221EFCF Time : 0.0 sec. user=mdettweiler [2019-04-17 02:33:52] 979*2^1536225-1 is not prime. Res64: 8C673CF6528E8B8F Time : 0.0 sec. user=mdettweiler [2019-04-17 02:33:53] 999*2^1536225-1 is not prime. Res64: 81CE1428092777C0 Time : 0.0 sec. user=mdettweiler [2019-04-17 02:33:55] 755*2^1536226-1 is not prime. Res64: 512BE4A179ACDCA7 Time : 0.0 sec. user=mdettweiler [2019-04-17 03:20:57] 721*2^1536225-1 is not prime. Res64: C93228FCA9DE81D0 Time : 0.0 sec. user=mdettweiler [2019-04-17 03:20:57] 741*2^1536225-1 is not prime. Res64: E0C98521FDD4D22F Time : 0.0 sec. user=mdettweiler [2019-04-17 03:21:15] 751*2^1536225-1 is not prime. Res64: 92C33AE46FC730B2 Time : 0.0 sec. user=mdettweiler [2019-04-17 03:29:08] 833*2^1536226-1 is not prime. Res64: FAF0D9181D0801E3 Time : 0.0 sec. user=mdettweiler [2019-04-17 04:13:51] 927*2^1536221-1 is not prime. Res64: 022950684456C4E6 Time : 0.0 sec. user=mdettweiler [2019-04-17 05:45:23] 781*2^1536215-1 is not prime. Res64: EB9C049C4026A1FE Time : 0.0 sec. user=mdettweiler [2019-04-17 10:00:21] 861*2^1536226-1 is not prime. Res64: DFFA6161AA546734 Time : 0.0 sec. user=mdettweiler [2019-04-17 10:30:31] 795*2^1536225-1 is not prime. Res64: 99E4717DA5E15742 Time : 0.0 sec. user=mdettweiler [2019-04-17 10:40:47] 635*2^1536222-1 is not prime. Res64: A11FB8CC59B5C00A Time : 0.0 sec. user=mdettweiler [2019-04-17 10:40:47] 705*2^1536222-1 is not prime. Res64: C5BACFD2D2478710 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:23:08] 973*2^1536227-1 is not prime. Res64: DFAF6CBFB5F6C134 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:23:09] 657*2^1536228-1 is not prime. Res64: 1840ECB4881C355F Time : 0.0 sec. user=mdettweiler [2019-04-17 11:23:10] 737*2^1536228-1 is not prime. Res64: 5EB9534A4A732BA5 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:23:11] 749*2^1536228-1 is not prime. Res64: 5D973A4B2B883C3E Time : 0.0 sec. user=mdettweiler [2019-04-17 11:23:12] 753*2^1536228-1 is not prime. Res64: 41E6A1E76BF7E221 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:33:20] 809*2^1536228-1 is not prime. Res64: 8DFA422FE0BD6A35 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:33:21] 845*2^1536228-1 is not prime. Res64: 45C49A66FEDCFB81 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:33:22] 929*2^1536228-1 is not prime. Res64: 847CE56771B183C7 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:33:23] 959*2^1536228-1 is not prime. Res64: 4D3336334DF3F176 Time : 0.0 sec. user=mdettweiler [2019-04-17 11:33:23] 969*2^1536228-1 is not prime. Res64: 28CDD91C7A30D680 Time : 0.0 sec. user=mdettweiler [2019-04-17 12:06:43] 883*2^1536215-1 is not prime. Res64: F7D344AE0CF8F5FC Time : 0.0 sec. user=mdettweiler [2019-04-17 12:16:42] 975*2^1536228-1 is not prime. Res64: FD105D1A4662608D Time : 0.0 sec. user=mdettweiler [2019-04-17 12:26:00] 641*2^1536230-1 is not prime. Res64: 7A8E84A252A8879B Time : 0.0 sec. user=mdettweiler [2019-04-17 12:26:41] 707*2^1536230-1 is not prime. Res64: 121AC4B8F545C995 Time : 0.0 sec. user=mdettweiler [2019-04-17 15:38:04] 957*2^1536226-1 is not prime. Res64: B5D1EA06984CCDCB Time : 0.0 sec. user=mdettweiler [2019-04-17 15:38:05] 885*2^1536227-1 is not prime. Res64: 7FAF67856502C91A Time : 0.0 sec. user=mdettweiler [2019-04-17 15:38:05] 903*2^1536227-1 is not prime. Res64: B3294D3316F9E918 Time : 0.0 sec. user=mdettweiler [2019-04-17 16:32:36] 803*2^1536232-1 is not prime. Res64: E2DA91DAEF83D4E5 Time : 0.0 sec. user=mdettweiler [2019-04-17 16:32:36] 843*2^1536232-1 is not prime. Res64: 294424F3597BA01E Time : 0.0 sec. user=mdettweiler [2019-04-17 16:32:37] 903*2^1536232-1 is not prime. Res64: 61922130147357AE Time : 0.0 sec. user=mdettweiler [2019-04-17 16:32:38] 989*2^1536232-1 is not prime. Res64: 4CCA7E2CF33BF32C Time : 0.0 sec. user=mdettweiler [2019-04-17 16:32:38] 679*2^1536233-1 is not prime. Res64: EEF69AA0B241D7CB Time : 0.0 sec. user=mdettweiler [2019-04-17 17:13:12] 909*2^1536215-1 is not prime. Res64: 914208783F648248 Time : 0.0 sec. user=mdettweiler [2019-04-17 17:26:16] 705*2^1536233-1 is not prime. Res64: 7799EB0DEFF9F308 Time : 0.0 sec. user=mdettweiler [2019-04-17 17:26:17] 775*2^1536233-1 is not prime. Res64: B2DB095BBC2DAA70 Time : 0.0 sec. user=mdettweiler [2019-04-17 17:26:17] 871*2^1536233-1 is not prime. Res64: A39D496F92E51CA9 Time : 0.0 sec. user=mdettweiler [2019-04-17 17:26:18] 939*2^1536233-1 is not prime. Res64: 9B2E7B05BA1A7AC1 Time : 0.0 sec. user=mdettweiler [2019-04-17 17:26:18] 951*2^1536233-1 is not prime. Res64: ECF93939A84636B7 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:05:26] 725*2^1536234-1 is not prime. Res64: 26D193F6CE94D20B Time : 0.0 sec. user=mdettweiler [2019-04-17 18:05:28] 731*2^1536234-1 is not prime. Res64: 9E473F3157585298 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:05:29] 815*2^1536234-1 is not prime. Res64: C478D08F0FF3E178 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:05:30] 891*2^1536234-1 is not prime. Res64: FC254E3CDCC143AC Time : 0.0 sec. user=mdettweiler [2019-04-17 18:05:31] 945*2^1536234-1 is not prime. Res64: F0055669D3386B6C Time : 0.0 sec. user=mdettweiler [2019-04-17 18:06:48] 827*2^1536230-1 is not prime. Res64: B6E4994E667645A3 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:06:50] 685*2^1536231-1 is not prime. Res64: B002320D82310A5B Time : 0.0 sec. user=mdettweiler [2019-04-17 18:06:52] 675*2^1536232-1 is not prime. Res64: 2E82F4E393230A42 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:18:27] 1001*2^1536234-1 is not prime. Res64: D7B23E12AB49C1D9 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:18:28] 693*2^1536235-1 is not prime. Res64: EE2FEAC8E63C469D Time : 0.0 sec. user=mdettweiler [2019-04-17 18:18:28] 733*2^1536235-1 is not prime. Res64: B363A12CADB1DCC9 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:18:29] 735*2^1536235-1 is not prime. Res64: 1DE987CBFF83A8EC Time : 0.0 sec. user=mdettweiler [2019-04-17 18:18:30] 805*2^1536235-1 is not prime. Res64: F48C9BCD1B64FB31 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:28:11] 999*2^1536228-1 is not prime. Res64: DD24DB22C9B523F6 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:28:12] 699*2^1536229-1 is not prime. Res64: A86A080941B757B6 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:28:12] 831*2^1536229-1 is not prime. Res64: 28AED5A87B32E847 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:28:13] 987*2^1536229-1 is not prime. Res64: BFD40694EB6086DB Time : 0.0 sec. user=mdettweiler [2019-04-17 18:57:25] 873*2^1536235-1 is not prime. Res64: 4B4BAD240CD604EF Time : 0.0 sec. user=mdettweiler [2019-04-17 18:57:26] 617*2^1536236-1 is not prime. Res64: 9302702C4B277C30 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:57:26] 633*2^1536236-1 is not prime. Res64: EF8FB16415E9E482 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:57:27] 669*2^1536236-1 is not prime. Res64: C768B7ED99180397 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:57:27] 833*2^1536236-1 is not prime. Res64: 1114BA87394299AD Time : 0.0 sec. user=mdettweiler [2019-04-17 18:58:08] 873*2^1536236-1 is not prime. Res64: A061A0FC8120917D Time : 0.0 sec. user=mdettweiler [2019-04-17 18:58:08] 747*2^1536237-1 is not prime. Res64: B36505CA57B817B5 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:58:08] 817*2^1536237-1 is not prime. Res64: 33F673E15F257BED Time : 0.0 sec. user=mdettweiler [2019-04-17 18:58:09] 847*2^1536237-1 is not prime. Res64: 038BEC3F0DC20B59 Time : 0.0 sec. user=mdettweiler [2019-04-17 18:58:09] 889*2^1536237-1 is not prime. Res64: 9CF9FFA67F8CF4E7 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:10:13] 891*2^1536237-1 is not prime. Res64: 4BFEC252D94E8369 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:10:16] 961*2^1536237-1 is not prime. Res64: 6B398941EA3F7F5A Time : 0.0 sec. user=mdettweiler [2019-04-17 19:10:18] 997*2^1536237-1 is not prime. Res64: 6BC720A361767FB7 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:10:20] 687*2^1536238-1 is not prime. Res64: 950F322A36FDC649 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:10:22] 815*2^1536238-1 is not prime. Res64: 288C094113C71C13 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:19:52] 933*2^1536238-1 is not prime. Res64: 42F2FE4C6ED60782 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:19:52] 1001*2^1536238-1 is not prime. Res64: 64E6D69EC2E00446 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:19:53] 735*2^1536239-1 is not prime. Res64: C7DECC1333DB0C93 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:19:53] 745*2^1536239-1 is not prime. Res64: 517C5DA2201723D2 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:19:54] 775*2^1536239-1 is not prime. Res64: 886B280AEF216A47 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:15] 799*2^1536239-1 is not prime. Res64: 272978E0956B240F Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:15] 823*2^1536239-1 is not prime. Res64: 87D1EA21BB7B2124 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:16] 859*2^1536239-1 is not prime. Res64: F1D0CD72061708AE Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:16] 883*2^1536239-1 is not prime. Res64: FEE8EE7E8DD7F2A9 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:17] 969*2^1536239-1 is not prime. Res64: A472F4264D784EAB Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:27] 725*2^1536240-1 is not prime. Res64: 6140AA7DC32180D4 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:27] 789*2^1536240-1 is not prime. Res64: 777C3F91BBB42CE5 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:28] 839*2^1536240-1 is not prime. Res64: E3F4300EB6B005A5 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:28] 875*2^1536240-1 is not prime. Res64: 25AA15275D0356B5 Time : 0.0 sec. user=mdettweiler [2019-04-17 19:49:29] 775*2^1536241-1 is not prime. Res64: 1045903C74F5F6E0 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:02:50] 603*2^1536242-1 is not prime. Res64: 760A9532A34C2302 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:02:51] 741*2^1536242-1 is not prime. Res64: E1DC432C7D7E48E7 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:02:53] 755*2^1536242-1 is not prime. Res64: E07CDFEAFC64C85A Time : 0.0 sec. user=mdettweiler [2019-04-17 20:02:54] 873*2^1536242-1 is not prime. Res64: 2B556DE9AAA1634C Time : 0.0 sec. user=mdettweiler [2019-04-17 20:02:55] 941*2^1536242-1 is not prime. Res64: AD7BA033D2C4C441 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:11:07] 705*2^1536243-1 is not prime. Res64: B18E8DD11A51D093 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:11:09] 721*2^1536243-1 is not prime. Res64: F13A73161033B51E Time : 0.0 sec. user=mdettweiler [2019-04-17 20:11:11] 745*2^1536243-1 is not prime. Res64: A7176AC957DBCF99 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:11:13] 753*2^1536243-1 is not prime. Res64: ACFC9E1BDEF6759A Time : 0.0 sec. user=mdettweiler [2019-04-17 20:11:15] 853*2^1536243-1 is not prime. Res64: B6082490AD714EBF Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:35] 919*2^1536243-1 is not prime. Res64: E7138F13B4BD844B Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:35] 635*2^1536244-1 is not prime. Res64: 57D26E6E661ED269 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:35] 663*2^1536244-1 is not prime. Res64: EA4F02BF764133C2 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:36] 803*2^1536244-1 is not prime. Res64: A9F874F2B4B0D3F3 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:36] 903*2^1536244-1 is not prime. Res64: 98CE70F4F84EF806 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:36] 947*2^1536244-1 is not prime. Res64: C43167B699B2CCF6 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:37] 645*2^1536245-1 is not prime. Res64: A2AC842CBF11BBC5 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:37] 649*2^1536245-1 is not prime. Res64: 399EB467F2637187 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:38] 679*2^1536245-1 is not prime. Res64: 48688BAB829303B7 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:41:38] 685*2^1536245-1 is not prime. Res64: FE07FDA1EAF859A0 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:56:13] 699*2^1536245-1 is not prime. Res64: D4E9EB774A368018 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:56:14] 711*2^1536245-1 is not prime. Res64: 79DC96192557DBD3 Time : 0.0 sec. user=mdettweiler [2019-04-17 20:56:14] 715*2^1536245-1 is not prime. Res64: 8F1E02434D05E78E Time : 0.0 sec. user=mdettweiler [2019-04-17 20:56:15] 757*2^1536245-1 is not prime. Res64: C23E23DE8D2BB1EA Time : 0.0 sec. user=mdettweiler [2019-04-17 20:56:15] 801*2^1536245-1 is not prime. Res64: 09FEE8F31571D347 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:04:11] 925*2^1536245-1 is not prime. Res64: 7DF127B77656D654 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:04:12] 927*2^1536245-1 is not prime. Res64: F9DC1411D5C2949C Time : 0.0 sec. user=mdettweiler [2019-04-17 21:04:13] 611*2^1536246-1 is not prime. Res64: 5519F2FB0334AB77 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:04:14] 783*2^1536246-1 is not prime. Res64: 42948B6F54D7D3C8 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:04:16] 807*2^1536246-1 is not prime. Res64: 015D5CEC26ABAAF6 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:32:42] 921*2^1536246-1 is not prime. Res64: 364C7880DA466C84 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:32:42] 941*2^1536246-1 is not prime. Res64: 8A2E16531D162773 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:32:43] 651*2^1536247-1 is not prime. Res64: 63299026ED119C79 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:32:43] 703*2^1536247-1 is not prime. Res64: 175269A1C9534DF6 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:32:44] 729*2^1536247-1 is not prime. Res64: 724E0C7AC4B9F616 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:33:05] 765*2^1536247-1 is not prime. Res64: 609FF4BB97C069F0 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:33:06] 831*2^1536247-1 is not prime. Res64: 987C08AF1BE4AB87 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:33:06] 861*2^1536247-1 is not prime. Res64: F0D14AA6B23AB777 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:33:07] 939*2^1536247-1 is not prime. Res64: 9E49BEF0216A1AD7 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:33:07] 975*2^1536247-1 is not prime. Res64: DCD9974B2D173C01 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:47:16] 659*2^1536248-1 is not prime. Res64: 7C0A3FC2C575A5F8 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:47:17] 665*2^1536248-1 is not prime. Res64: B1EFDC6BADFDFE71 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:47:17] 743*2^1536248-1 is not prime. Res64: 20FB37A9FFEBD470 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:47:18] 839*2^1536248-1 is not prime. Res64: EF339C812F1A6A57 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:47:19] 875*2^1536248-1 is not prime. Res64: 6923316C279561DE Time : 0.0 sec. user=mdettweiler [2019-04-17 21:55:43] 661*2^1536249-1 is not prime. Res64: 61CD873F2C2E1E8C Time : 0.0 sec. user=mdettweiler [2019-04-17 21:55:43] 681*2^1536249-1 is not prime. Res64: 0B62FFD4211B4AC2 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:55:44] 847*2^1536249-1 is not prime. Res64: 3FF2066796103FD4 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:55:44] 955*2^1536249-1 is not prime. Res64: C1D0374D33A671B2 Time : 0.0 sec. user=mdettweiler [2019-04-17 21:55:45] 827*2^1536250-1 is not prime. Res64: 2898D168A55C93DC Time : 0.0 sec. user=mdettweiler [2019-04-17 22:23:59] 843*2^1536250-1 is not prime. Res64: 0314873D80613720 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:23:59] 857*2^1536250-1 is not prime. Res64: 6F2A1B7A4A7F985D Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:00] 945*2^1536250-1 is not prime. Res64: F5E76FD706208740 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:00] 669*2^1536251-1 is not prime. Res64: 54EA83600423BBEF Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:01] 711*2^1536251-1 is not prime. Res64: 8E79E0603C026AD2 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:54] 825*2^1536251-1 is not prime. Res64: 4634C7C072A22A8B Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:54] 883*2^1536251-1 is not prime. Res64: 5581AC39AADD01BC Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:55] 955*2^1536251-1 is not prime. Res64: 7A40EEE2C0816848 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:55] 979*2^1536251-1 is not prime. Res64: 2DB2DD7ED669E179 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:24:56] 609*2^1536252-1 is not prime. Res64: DCCC6B4EC3CCBF00 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:38:17] 635*2^1536252-1 is not prime. Res64: C0CB345F78552A29 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:38:18] 689*2^1536252-1 is not prime. Res64: F501E903E210C8B0 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:38:19] 767*2^1536252-1 is not prime. Res64: 6FA0093DA6E4B109 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:38:20] 819*2^1536252-1 is not prime. Res64: 946F7E5C0758A250 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:38:21] 863*2^1536252-1 is not prime. Res64: ACAB57B3CE8E55E4 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:46:41] 867*2^1536252-1 is not prime. Res64: AEB2E771A46828BD Time : 0.0 sec. user=mdettweiler [2019-04-17 22:46:42] 875*2^1536252-1 is not prime. Res64: CFAB7C3F0D0DEA62 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:46:42] 929*2^1536252-1 is not prime. Res64: CF959BD181011B9A Time : 0.0 sec. user=mdettweiler [2019-04-17 22:46:43] 607*2^1536253-1 is not prime. Res64: 41A311B18887BA34 Time : 0.0 sec. user=mdettweiler [2019-04-17 22:46:43] 621*2^1536253-1 is not prime. Res64: 30A79C90C9C5209E Time : 0.0 sec. user=mdettweiler [2019-04-17 23:15:53] 769*2^1536253-1 is not prime. Res64: DE6F4102C6474660 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:15:54] 885*2^1536253-1 is not prime. Res64: 1C58459889AC5A50 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:15:55] 915*2^1536253-1 is not prime. Res64: 7DCD470C718D93F4 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:15:55] 627*2^1536254-1 is not prime. Res64: 516B58AD82309982 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:15:56] 743*2^1536254-1 is not prime. Res64: AE11EDF344BBCB22 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:16:59] 921*2^1536254-1 is not prime. Res64: BE1B0B11FF7A27F2 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:16:59] 953*2^1536254-1 is not prime. Res64: CA4BBA74F93A36DC Time : 0.0 sec. user=mdettweiler [2019-04-17 23:17:00] 981*2^1536254-1 is not prime. Res64: 57F5B1034190183A Time : 0.0 sec. user=mdettweiler [2019-04-17 23:17:00] 669*2^1536255-1 is not prime. Res64: 3F884E04EA5EF86C Time : 0.0 sec. user=mdettweiler [2019-04-17 23:17:01] 679*2^1536255-1 is not prime. Res64: 42705056F3A3E608 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:30:17] 735*2^1536255-1 is not prime. Res64: EB3187E353D96F2D Time : 0.0 sec. user=mdettweiler [2019-04-17 23:30:18] 805*2^1536255-1 is not prime. Res64: 097E3338D7CB62DB Time : 0.0 sec. user=mdettweiler [2019-04-17 23:30:19] 831*2^1536255-1 is not prime. Res64: 72D2B6C25E4A0336 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:30:20] 909*2^1536255-1 is not prime. Res64: D13A9E6D758CCBAA Time : 0.0 sec. user=mdettweiler [2019-04-17 23:30:21] 933*2^1536255-1 is not prime. Res64: 5B57B7E379260CF9 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:38:41] 813*2^1536256-1 is not prime. Res64: E0889316088F9A9A Time : 0.0 sec. user=mdettweiler [2019-04-17 23:38:41] 777*2^1536257-1 is not prime. Res64: 908D12513F1C6763 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:38:42] 795*2^1536257-1 is not prime. Res64: 704372A5850A6597 Time : 0.0 sec. user=mdettweiler [2019-04-17 23:38:42] 801*2^1536257-1 is not prime. Res64: E70FC84E065D77AC Time : 0.0 sec. user=mdettweiler [2019-04-17 23:38:43] 847*2^1536257-1 is not prime. Res64: 25E3DC3853FC9898 Time : 0.0 sec.