user=mdettweiler [2016-04-30 00:12:01] 893*2^1427798-1 is not prime. Res64: 74715F09C5AC4BDE Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:02] 649*2^1427799-1 is not prime. Res64: FB83846C289F4A65 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:02] 691*2^1427799-1 is not prime. Res64: 5515A8E40DD7EF48 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:03] 693*2^1427799-1 is not prime. Res64: CAB1C145CC02896B Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:04] 711*2^1427799-1 is not prime. Res64: 8741B90FA28DAC34 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:14] 741*2^1427799-1 is not prime. Res64: F73D5DE0662EF87E Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:15] 793*2^1427799-1 is not prime. Res64: DB49DB414A338D73 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:15] 891*2^1427799-1 is not prime. Res64: 359C109BD01D8957 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:16] 985*2^1427799-1 is not prime. Res64: 592E1E4AFDC4A36C Time : 0.0 sec. user=mdettweiler [2016-04-30 00:12:16] 735*2^1427800-1 is not prime. Res64: 2BFF3ED5B60F1262 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:27:10] 773*2^1427800-1 is not prime. Res64: 98EA87DEA1EF4C32 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:27:11] 825*2^1427800-1 is not prime. Res64: 42C516077C302000 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:27:11] 827*2^1427800-1 is not prime. Res64: 661FE122FB41DAAD Time : 0.0 sec. user=mdettweiler [2016-04-30 00:27:12] 855*2^1427800-1 is not prime. Res64: 7964698F603B5626 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:27:12] 927*2^1427800-1 is not prime. Res64: 1CF3FC0420A096A4 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:29:13] 775*2^1427801-1 is not prime. Res64: 725ADD63EE23E1A8 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:29:13] 781*2^1427801-1 is not prime. Res64: 28CF60EDDA92D688 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:29:14] 805*2^1427801-1 is not prime. Res64: 7CE9582BF87CB8C2 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:29:14] 653*2^1427802-1 is not prime. Res64: C3B8ED1FC21FF454 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:29:14] 875*2^1427802-1 is not prime. Res64: CD7F25406AF0E889 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:09] 947*2^1427802-1 is not prime. Res64: 18651DD97B739659 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:09] 977*2^1427802-1 is not prime. Res64: F0A72245ECE510B0 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:09] 621*2^1427803-1 is not prime. Res64: 823E1431B20039F0 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:10] 709*2^1427803-1 is not prime. Res64: 8E5D9B48A86083E7 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:10] 751*2^1427803-1 is not prime. Res64: 82766CEDF57590EE Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:21] 871*2^1427803-1 is not prime. Res64: 61A11F4F202238A8 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:22] 873*2^1427803-1 is not prime. Res64: D8FBAC213DCB9CD3 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:22] 945*2^1427803-1 is not prime. Res64: 02B5219CF7E5AF47 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:22] 677*2^1427804-1 is not prime. Res64: D4B58553C2FB2CD2 Time : 0.0 sec. user=mdettweiler [2016-04-30 00:57:23] 699*2^1427804-1 is not prime. Res64: 61A09892BE0747DE Time : 0.0 sec. user=mdettweiler [2016-04-30 01:12:22] 803*2^1427804-1 is not prime. Res64: 2EB420E245E1F79F Time : 0.0 sec. user=mdettweiler [2016-04-30 01:12:22] 899*2^1427804-1 is not prime. Res64: D0B48D79D980A436 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:12:23] 609*2^1427805-1 is not prime. Res64: 4002D8528F3E91C5 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:12:23] 655*2^1427805-1 is not prime. Res64: 79775BA787127FA6 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:12:24] 657*2^1427805-1 is not prime. Res64: CDC79FF8ED3E9628 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:14:16] 717*2^1427805-1 is not prime. Res64: 34482A3E135692F5 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:14:17] 795*2^1427805-1 is not prime. Res64: 3C6D4FAF064E8289 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:14:18] 817*2^1427805-1 is not prime. Res64: C0B727E52444F3F8 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:14:18] 937*2^1427805-1 is not prime. Res64: EAD8497142FE6291 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:14:19] 997*2^1427805-1 is not prime. Res64: 59E11209A24527C7 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:10] 645*2^1427806-1 is not prime. Res64: 1625AAEEA89E4980 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:11] 755*2^1427806-1 is not prime. Res64: EC6D99275CF2CE6B Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:11] 777*2^1427806-1 is not prime. Res64: 58401BD1F5649FEE Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:12] 801*2^1427806-1 is not prime. Res64: 008310D5D25E9FCC Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:12] 857*2^1427806-1 is not prime. Res64: 3EFCB7150D50E1A8 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:28] 643*2^1427807-1 is not prime. Res64: 791A4FDC6F6D1311 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:29] 663*2^1427807-1 is not prime. Res64: 69F5288EB8D83AF8 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:29] 703*2^1427807-1 is not prime. Res64: BAFCB62460FD4CC3 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:30] 739*2^1427807-1 is not prime. Res64: C51BF975D385949F Time : 0.0 sec. user=mdettweiler [2016-04-30 01:42:31] 763*2^1427807-1 is not prime. Res64: 589485CBE4A9BED1 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:57:39] 843*2^1427807-1 is not prime. Res64: 4E6640B99D3C19E2 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:57:39] 895*2^1427807-1 is not prime. Res64: 3078E06101F8D005 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:57:40] 963*2^1427807-1 is not prime. Res64: 43B03233E89047CB Time : 0.0 sec. user=mdettweiler [2016-04-30 01:57:40] 991*2^1427807-1 is not prime. Res64: AD8D0E1D4E511F34 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:57:41] 725*2^1427808-1 is not prime. Res64: E21348CF64A63D63 Time : 0.0 sec. user=mdettweiler [2016-04-30 01:59:24] 753*2^1427808-1 is not prime. Res64: 906FFE4F3E20917A Time : 0.0 sec. user=mdettweiler [2016-04-30 01:59:24] 797*2^1427808-1 is not prime. Res64: CCF59DE886F0BB0D Time : 0.0 sec. user=mdettweiler [2016-04-30 01:59:25] 849*2^1427808-1 is not prime. Res64: 24F3AAC51A74A0BC Time : 0.0 sec. user=mdettweiler [2016-04-30 01:59:25] 927*2^1427808-1 is not prime. Res64: A0E3DB983EB2247C Time : 0.0 sec. user=mdettweiler [2016-04-30 01:59:26] 947*2^1427808-1 is not prime. Res64: 6C09B6A2179B64A5 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:16] 649*2^1427809-1 is not prime. Res64: 8501B8B856CA8FD2 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:17] 685*2^1427809-1 is not prime. Res64: DF4459AAC0330F52 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:17] 691*2^1427809-1 is not prime. Res64: 146C2043A562E347 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:18] 699*2^1427809-1 is not prime. Res64: 6C3D990FB86CE5A6 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:18] 751*2^1427809-1 is not prime. Res64: EFB1DA2FC75177EF Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:45] 951*2^1427809-1 is not prime. Res64: 034A73A92AF6E470 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:46] 641*2^1427810-1 is not prime. Res64: FAD27BD94E6DB6E8 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:47] 741*2^1427810-1 is not prime. Res64: 5120692DE94C2CE5 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:47] 773*2^1427810-1 is not prime. Res64: E600F97E31645C42 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:27:48] 783*2^1427810-1 is not prime. Res64: C67B143AF8CDE459 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:42:55] 843*2^1427810-1 is not prime. Res64: 507D440DE9BA959D Time : 0.0 sec. user=mdettweiler [2016-04-30 02:42:56] 857*2^1427810-1 is not prime. Res64: 949F218A1B5808D7 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:42:57] 923*2^1427810-1 is not prime. Res64: 8E07B0C34CA7FE95 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:42:59] 977*2^1427810-1 is not prime. Res64: BF045710A435BF97 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:43:00] 709*2^1427811-1 is not prime. Res64: 890B08CC2946CCD0 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:44:35] 903*2^1427811-1 is not prime. Res64: A586748B37F945B5 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:44:36] 955*2^1427811-1 is not prime. Res64: 75BEBCAD2E9A81B6 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:44:37] 605*2^1427812-1 is not prime. Res64: A441E6C0807F61F6 Time : 0.0 sec. user=mdettweiler [2016-04-30 02:44:38] 617*2^1427812-1 is not prime. Res64: E62C8924505A850C Time : 0.0 sec. user=mdettweiler [2016-04-30 02:44:39] 653*2^1427812-1 is not prime. Res64: 192E3CB2EFEE869C Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:22] 765*2^1427812-1 is not prime. Res64: AB2693195984EE5D Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:23] 857*2^1427812-1 is not prime. Res64: 1782D71D7D10725A Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:23] 887*2^1427812-1 is not prime. Res64: 7A91B09DCD5EEA15 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:24] 947*2^1427812-1 is not prime. Res64: 6C6C253E306F1CCB Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:24] 983*2^1427812-1 is not prime. Res64: 7ACC5363E58002A9 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:43] 607*2^1427813-1 is not prime. Res64: 1EB6BEC00A4C9EF3 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:43] 675*2^1427813-1 is not prime. Res64: 4ED36821713DD077 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:43] 699*2^1427813-1 is not prime. Res64: 14ECB1A52145199B Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:44] 747*2^1427813-1 is not prime. Res64: 996FE0C6DE93E8E7 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:12:44] 847*2^1427813-1 is not prime. Res64: 6E176D70A7BB77EC Time : 0.0 sec. user=mdettweiler [2016-04-30 03:28:19] 897*2^1427813-1 is not prime. Res64: B0678117C69C7B01 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:28:20] 987*2^1427813-1 is not prime. Res64: 9066384187781AA0 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:28:21] 611*2^1427814-1 is not prime. Res64: 5EF41B2605424770 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:28:22] 621*2^1427814-1 is not prime. Res64: F4A266E85173C5CD Time : 0.0 sec. user=mdettweiler [2016-04-30 03:28:23] 657*2^1427814-1 is not prime. Res64: 6747845D99E1488F Time : 0.0 sec. user=mdettweiler [2016-04-30 03:29:51] 717*2^1427814-1 is not prime. Res64: 37EBDC55AA73C5E5 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:29:52] 791*2^1427814-1 is not prime. Res64: E81390A091058177 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:29:54] 821*2^1427814-1 is not prime. Res64: ED3DD32B17D65C42 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:29:55] 851*2^1427814-1 is not prime. Res64: 43FF45DE0F83E33E Time : 0.0 sec. user=mdettweiler [2016-04-30 03:29:56] 881*2^1427814-1 is not prime. Res64: 9551A802F44085C6 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:49] 927*2^1427814-1 is not prime. Res64: 6FDEA09E89F8D5B9 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:50] 971*2^1427814-1 is not prime. Res64: EFCF1379EB5BCC3A Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:51] 625*2^1427815-1 is not prime. Res64: 55142B30F9401AA5 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:52] 661*2^1427815-1 is not prime. Res64: 567213AE0EE90462 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:52] 763*2^1427815-1 is not prime. Res64: 15D8BFBA44175395 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:53] 741*2^1427815-1 is not prime. Res64: 16854D838A67DA68 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:54] 765*2^1427815-1 is not prime. Res64: 3298537CC43C58BD Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:55] 819*2^1427815-1 is not prime. Res64: 81E41DB84F0F9998 Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:57] 831*2^1427815-1 is not prime. Res64: 8DE0B70BAC3325FC Time : 0.0 sec. user=mdettweiler [2016-04-30 03:57:58] 855*2^1427815-1 is not prime. Res64: E8B5309430AC4E1F Time : 0.0 sec. user=mdettweiler [2016-04-30 04:14:49] 915*2^1427815-1 is not prime. Res64: 717D87776FD725B5 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:14:50] 951*2^1427815-1 is not prime. Res64: D070304E2167BC01 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:14:51] 623*2^1427816-1 is not prime. Res64: 2BB931E31C694436 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:14:51] 659*2^1427816-1 is not prime. Res64: 174E0E6BFC051B6F Time : 0.0 sec. user=mdettweiler [2016-04-30 04:14:52] 719*2^1427816-1 is not prime. Res64: 282BEA38E64D12E5 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:15:59] 667*2^1427817-1 is not prime. Res64: F748C379D1C571AF Time : 0.0 sec. user=mdettweiler [2016-04-30 04:16:00] 681*2^1427817-1 is not prime. Res64: 49740EE1A5955185 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:16:00] 717*2^1427817-1 is not prime. Res64: 45975F3FA33E4C89 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:16:01] 727*2^1427817-1 is not prime. Res64: 1701A2224B821408 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:16:01] 739*2^1427817-1 is not prime. Res64: 3C84BCB293EAD0C4 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:14] 751*2^1427817-1 is not prime. Res64: F7B180039FFA3CF2 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:15] 835*2^1427817-1 is not prime. Res64: AB3418876A262DB4 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:15] 885*2^1427817-1 is not prime. Res64: CA2743E6469555C2 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:15] 901*2^1427817-1 is not prime. Res64: 5059546147D24BB1 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:16] 937*2^1427817-1 is not prime. Res64: 849CAF4BB779AB00 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:19] 707*2^1427818-1 is not prime. Res64: 5E6170BD269C4593 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:19] 815*2^1427818-1 is not prime. Res64: 3F2033AE96E38F64 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:20] 825*2^1427818-1 is not prime. Res64: B48BE806226ABD8C Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:20] 843*2^1427818-1 is not prime. Res64: 09C207A8DAF43149 Time : 0.0 sec. user=mdettweiler [2016-04-30 04:44:21] 891*2^1427818-1 is not prime. Res64: 54D578A46F680A8F Time : 0.0 sec. user=mdettweiler [2016-04-30 05:00:00] 987*2^1427818-1 is not prime. Res64: 2D5D187717E65A13 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:00:01] 669*2^1427819-1 is not prime. Res64: 9AE81C4BA6058AAE Time : 0.0 sec. user=mdettweiler [2016-04-30 05:00:01] 693*2^1427819-1 is not prime. Res64: 3C84319B14A95177 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:00:02] 771*2^1427819-1 is not prime. Res64: 435CE61D52A7C5B3 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:00:02] 979*2^1427819-1 is not prime. Res64: 13A39839B1E81448 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:01:12] 993*2^1427819-1 is not prime. Res64: 9810133C31E644D4 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:01:13] 773*2^1427820-1 is not prime. Res64: 2155B062B444685B Time : 0.0 sec. user=mdettweiler [2016-04-30 05:01:14] 839*2^1427820-1 is not prime. Res64: D643648D272A539A Time : 0.0 sec. user=mdettweiler [2016-04-30 05:01:15] 965*2^1427820-1 is not prime. Res64: 069C51513A205855 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:01:15] 847*2^1427821-1 is not prime. Res64: B7D8AF90BEB4E7AE Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:24] 871*2^1427821-1 is not prime. Res64: 3F4DCAA96EB134B3 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:24] 635*2^1427822-1 is not prime. Res64: B11038E3A58DE6CC Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:25] 675*2^1427822-1 is not prime. Res64: F466621D6837D026 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:25] 677*2^1427822-1 is not prime. Res64: 73DEFC1A72C589D8 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:26] 785*2^1427822-1 is not prime. Res64: 89FBEB26E981BB8D Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:27] 825*2^1427822-1 is not prime. Res64: A7284A8AC3540768 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:28] 857*2^1427822-1 is not prime. Res64: 77D46D64B09484E8 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:28] 885*2^1427822-1 is not prime. Res64: D1272C59CD71E2D2 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:28] 963*2^1427822-1 is not prime. Res64: C4A6ECCE8376336C Time : 0.0 sec. user=mdettweiler [2016-04-30 05:29:29] 781*2^1427823-1 is not prime. Res64: 522D668890553943 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:45:15] 805*2^1427823-1 is not prime. Res64: A8AA8708AE767041 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:45:16] 819*2^1427823-1 is not prime. Res64: C420B048538482EA Time : 0.0 sec. user=mdettweiler [2016-04-30 05:45:16] 853*2^1427823-1 is not prime. Res64: 6B73CB006A363635 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:45:16] 861*2^1427823-1 is not prime. Res64: 8F1E757E651281B3 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:45:17] 963*2^1427823-1 is not prime. Res64: 5C87DC2EE8819C30 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:46:31] 635*2^1427824-1 is not prime. Res64: 9FE651F709274ACC Time : 0.0 sec. user=mdettweiler [2016-04-30 05:46:32] 645*2^1427824-1 is not prime. Res64: 8ADB1E3DC14C34F0 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:46:32] 707*2^1427824-1 is not prime. Res64: DBB86FC6A3DA6C17 Time : 0.0 sec. user=mdettweiler [2016-04-30 05:46:33] 717*2^1427824-1 is not prime. Res64: 4099BF1F8FFAC30C Time : 0.0 sec. user=mdettweiler [2016-04-30 05:46:33] 759*2^1427824-1 is not prime. Res64: 90DFD0A40813F1FB Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:27] 773*2^1427824-1 is not prime. Res64: D0D989C6B70A76A1 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:27] 843*2^1427824-1 is not prime. Res64: F8883DF22967AEC4 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:28] 705*2^1427825-1 is not prime. Res64: C7BBA65327E3B1FF Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:28] 771*2^1427825-1 is not prime. Res64: A17A3675A8119942 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:29] 775*2^1427825-1 is not prime. Res64: 786F12D7D300D4CA Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:36] 787*2^1427825-1 is not prime. Res64: 520F408DC7659F58 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:37] 805*2^1427825-1 is not prime. Res64: DD7921CA3EBBA5F1 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:37] 861*2^1427825-1 is not prime. Res64: 3CF14C369C0D81DD Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:38] 821*2^1427826-1 is not prime. Res64: ABE30CCA17D663EB Time : 0.0 sec. user=mdettweiler [2016-04-30 06:14:38] 631*2^1427827-1 is not prime. Res64: A09107635A344819 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:30:32] 645*2^1427827-1 is not prime. Res64: 78575808EFDEED02 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:30:32] 775*2^1427827-1 is not prime. Res64: 82EE14F6FCEFF567 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:30:33] 805*2^1427827-1 is not prime. Res64: C39916ED705045A6 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:30:34] 939*2^1427827-1 is not prime. Res64: 9CB3677F4BA4152A Time : 0.0 sec. user=mdettweiler [2016-04-30 06:30:35] 687*2^1427828-1 is not prime. Res64: 56E81FB0ECD40E7C Time : 0.0 sec. user=mdettweiler [2016-04-30 06:31:38] 725*2^1427828-1 is not prime. Res64: DBA8F5A46D0018AB Time : 0.0 sec. user=mdettweiler [2016-04-30 06:31:39] 843*2^1427828-1 is not prime. Res64: 31A9E0C35A729E3B Time : 0.0 sec. user=mdettweiler [2016-04-30 06:31:40] 923*2^1427828-1 is not prime. Res64: 4C8DB4492C1F2652 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:31:40] 977*2^1427828-1 is not prime. Res64: 3D4347DA9FFB87F9 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:31:41] 609*2^1427829-1 is not prime. Res64: 1A5E466F38E016D4 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:52] 621*2^1427829-1 is not prime. Res64: FBBA517D972C97E4 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:52] 709*2^1427829-1 is not prime. Res64: CF0E4684E3517B88 Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:53] 747*2^1427829-1 is not prime. Res64: 50C87821AE246CED Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:53] 769*2^1427829-1 is not prime. Res64: 5B891A3771451D9E Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:54] 991*2^1427829-1 is not prime. Res64: C29C8876C652730F Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:58] 755*2^1427830-1 is not prime. Res64: 2764BDC6D952C48F Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:59] 601*2^1427831-1 is not prime. Res64: 60D1136D237F403A Time : 0.0 sec. user=mdettweiler [2016-04-30 06:59:59] 651*2^1427831-1 is not prime. Res64: F87B9321C8071E4E Time : 0.0 sec. user=mdettweiler [2016-04-30 07:00:00] 825*2^1427831-1 is not prime. Res64: CD79FBE79AE5AF00 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:00:00] 921*2^1427831-1 is not prime. Res64: BB15A345F890A079 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:15:47] 657*2^1427832-1 is not prime. Res64: 27DC299BD1A039B1 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:15:48] 693*2^1427832-1 is not prime. Res64: 7F36D81F1B993A22 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:15:48] 737*2^1427832-1 is not prime. Res64: 97344626C1648ECA Time : 0.0 sec. user=mdettweiler [2016-04-30 07:15:49] 765*2^1427832-1 is not prime. Res64: 677879661B346408 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:15:49] 779*2^1427832-1 is not prime. Res64: D685EFAA64D484A3 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:16:58] 863*2^1427832-1 is not prime. Res64: E40EF5138236F7AE Time : 0.0 sec. user=mdettweiler [2016-04-30 07:16:59] 887*2^1427832-1 is not prime. Res64: D94150823D12D256 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:16:59] 959*2^1427832-1 is not prime. Res64: DD19309B8523B264 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:16:59] 741*2^1427833-1 is not prime. Res64: BF532C8061FCDA95 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:17:00] 807*2^1427833-1 is not prime. Res64: 23D39E74A063BEF0 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:44:53] 677*2^1427834-1 is not prime. Res64: B0797611FBB22007 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:44:53] 687*2^1427834-1 is not prime. Res64: B465AEF7D137797A Time : 0.0 sec. user=mdettweiler [2016-04-30 07:44:54] 743*2^1427834-1 is not prime. Res64: 7B7F83E1AD4A6A3C Time : 0.0 sec. user=mdettweiler [2016-04-30 07:44:54] 767*2^1427834-1 is not prime. Res64: 7CC2CB6C28FD76D6 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:44:55] 825*2^1427834-1 is not prime. Res64: EE70C255EB2D716F Time : 0.0 sec. user=mdettweiler [2016-04-30 07:45:06] 861*2^1427834-1 is not prime. Res64: A748A49DD827B548 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:45:06] 923*2^1427834-1 is not prime. Res64: 0AFF618F5E2D981B Time : 0.0 sec. user=mdettweiler [2016-04-30 07:45:07] 941*2^1427834-1 is not prime. Res64: C0B8C1D346B3047F Time : 0.0 sec. user=mdettweiler [2016-04-30 07:45:07] 995*2^1427834-1 is not prime. Res64: 356E70704686BDF2 Time : 0.0 sec. user=mdettweiler [2016-04-30 07:45:07] 619*2^1427835-1 is not prime. Res64: 444D66FFBB0F5C6D Time : 0.0 sec. user=mdettweiler [2016-04-30 08:01:05] 669*2^1427835-1 is not prime. Res64: D0091B624BCCF38B Time : 0.0 sec. user=mdettweiler [2016-04-30 08:01:06] 675*2^1427835-1 is not prime. Res64: 9B98251095E1A12F Time : 0.0 sec. user=mdettweiler [2016-04-30 08:01:07] 685*2^1427835-1 is not prime. Res64: E0377DCE8BB2EF1A Time : 0.0 sec. user=mdettweiler [2016-04-30 08:01:08] 741*2^1427835-1 is not prime. Res64: E5C0463FA01E95F5 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:01:09] 775*2^1427835-1 is not prime. Res64: 9230E0AAEFDEF1FC Time : 0.0 sec. user=mdettweiler [2016-04-30 08:02:22] 793*2^1427835-1 is not prime. Res64: 0326C74DFD358F41 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:02:23] 795*2^1427835-1 is not prime. Res64: 01C6A14AD84D59FC Time : 0.0 sec. user=mdettweiler [2016-04-30 08:02:23] 919*2^1427835-1 is not prime. Res64: 3403B0A9A279772E Time : 0.0 sec. user=mdettweiler [2016-04-30 08:02:24] 921*2^1427835-1 is not prime. Res64: 42E61DBF3363786D Time : 0.0 sec. user=mdettweiler [2016-04-30 08:02:25] 961*2^1427835-1 is not prime. Res64: C2096081E5622174 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:29:55] 617*2^1427836-1 is not prime. Res64: 24A68B98A1FFFE4F Time : 0.0 sec. user=mdettweiler [2016-04-30 08:29:55] 663*2^1427836-1 is not prime. Res64: 0BFECB72453EDED2 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:29:56] 705*2^1427836-1 is not prime. Res64: 2F93CDC51BD1878E Time : 0.0 sec. user=mdettweiler [2016-04-30 08:29:56] 777*2^1427836-1 is not prime. Res64: 3241939BF4B1AD8A Time : 0.0 sec. user=mdettweiler [2016-04-30 08:29:57] 813*2^1427836-1 is not prime. Res64: 0FA8B48247FB6D2E Time : 0.0 sec. user=mdettweiler [2016-04-30 08:30:08] 833*2^1427836-1 is not prime. Res64: 67F9078E4350AC64 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:30:09] 855*2^1427836-1 is not prime. Res64: D156CEC53B02E453 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:30:09] 965*2^1427836-1 is not prime. Res64: 6B75A509932FC949 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:30:09] 999*2^1427836-1 is not prime. Res64: C6E339F085381A3A Time : 0.0 sec. user=mdettweiler [2016-04-30 08:30:10] 631*2^1427837-1 is not prime. Res64: 05DB2BADAA9E22A7 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:46:26] 717*2^1427837-1 is not prime. Res64: BEAE1386A0B22967 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:46:26] 805*2^1427837-1 is not prime. Res64: 2A3A6F5C460CF3C0 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:46:27] 837*2^1427837-1 is not prime. Res64: 97F0AA5024CA53AE Time : 0.0 sec. user=mdettweiler [2016-04-30 08:46:27] 937*2^1427837-1 is not prime. Res64: 2281312673EDAF27 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:46:27] 881*2^1427838-1 is not prime. Res64: ADCB6BC7AAD9C356 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:47:30] 977*2^1427838-1 is not prime. Res64: 4037608818E44A6F Time : 0.0 sec. user=mdettweiler [2016-04-30 08:47:30] 621*2^1427839-1 is not prime. Res64: 413DF4E3313D122F Time : 0.0 sec. user=mdettweiler [2016-04-30 08:47:31] 861*2^1427839-1 is not prime. Res64: EA5AE0245561EBA7 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:47:31] 913*2^1427839-1 is not prime. Res64: C2D42B9A8E96E1B0 Time : 0.0 sec. user=mdettweiler [2016-04-30 08:47:32] 675*2^1427840-1 is not prime. Res64: 128DF89D14AD5527 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:08] 785*2^1427840-1 is not prime. Res64: 4A668E98E71114D5 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:08] 857*2^1427840-1 is not prime. Res64: D28BE313EECEE28C Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:09] 879*2^1427840-1 is not prime. Res64: 7E73D62C4B5E9D5F Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:09] 977*2^1427840-1 is not prime. Res64: CDD8C8F08FFDAB01 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:10] 999*2^1427840-1 is not prime. Res64: 06FA00F51495284A Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:30] 615*2^1427841-1 is not prime. Res64: 55B3E259ECFCF682 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:30] 681*2^1427841-1 is not prime. Res64: 3A66782E172656A9 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:31] 685*2^1427841-1 is not prime. Res64: 2F69E15C1CA4C77C Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:31] 811*2^1427841-1 is not prime. Res64: 3FA8781BDDDDFA68 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:15:31] 955*2^1427841-1 is not prime. Res64: BF653429AB114166 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:31:56] 831*2^1427842-1 is not prime. Res64: 3B3DC01925AF5880 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:31:57] 889*2^1427843-1 is not prime. Res64: 93DEF7B0B3C23A72 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:31:57] 675*2^1427844-1 is not prime. Res64: 7F06A321546981F5 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:31:58] 899*2^1427844-1 is not prime. Res64: AC3BBF557BDDCBAC Time : 0.0 sec. user=mdettweiler [2016-04-30 09:31:58] 929*2^1427844-1 is not prime. Res64: 5DE0923973988B12 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:32:51] 685*2^1427845-1 is not prime. Res64: 8B73AD0CD93CA79C Time : 0.0 sec. user=mdettweiler [2016-04-30 09:32:52] 721*2^1427845-1 is not prime. Res64: EFDFD0C8A49FD337 Time : 0.0 sec. user=mdettweiler [2016-04-30 09:32:53] 727*2^1427845-1 is not prime. Res64: E21A936FBF361DDD Time : 0.0 sec. user=mdettweiler [2016-04-30 09:32:54] 801*2^1427845-1 is not prime. Res64: 1DA14C3901F2BDAB Time : 0.0 sec. user=mdettweiler [2016-04-30 09:32:55] 855*2^1427845-1 is not prime. Res64: F168CB1C5849E805 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:09] 975*2^1427845-1 is not prime. Res64: F4245BE1EED18D0B Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:10] 705*2^1427846-1 is not prime. Res64: 8ACB1B32314B83EF Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:10] 707*2^1427846-1 is not prime. Res64: B2B4B2567BD02F07 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:11] 711*2^1427846-1 is not prime. Res64: 78B937A3DDDB5A47 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:12] 875*2^1427846-1 is not prime. Res64: 7221AAA9B58EB398 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:29] 897*2^1427846-1 is not prime. Res64: AE2B2026BE7DF7FD Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:30] 709*2^1427847-1 is not prime. Res64: DCB07035EC910CE0 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:31] 823*2^1427847-1 is not prime. Res64: 822165B0024B013B Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:32] 859*2^1427847-1 is not prime. Res64: DE57009B327D3BA1 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:00:32] 861*2^1427847-1 is not prime. Res64: 1939C39BD53EE028 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:00] 909*2^1427847-1 is not prime. Res64: 87BAE1F81416943F Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:00] 755*2^1427848-1 is not prime. Res64: 8D379571C8C049EF Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:00] 839*2^1427848-1 is not prime. Res64: 62D6450BECAEF5B5 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:01] 869*2^1427848-1 is not prime. Res64: 1ABEA0E2F98017E5 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:01] 899*2^1427848-1 is not prime. Res64: 907888AACCF8E41B Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:48] 601*2^1427849-1 is not prime. Res64: 0DE23B990E9C17FE Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:49] 657*2^1427849-1 is not prime. Res64: 6711459EAB5D955E Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:49] 735*2^1427849-1 is not prime. Res64: BB69CC4FAA9C8C45 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:49] 771*2^1427849-1 is not prime. Res64: C8BDF2E45C7C8344 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:17:50] 889*2^1427849-1 is not prime. Res64: 597BFB07C57C23D0 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:29] 939*2^1427849-1 is not prime. Res64: F5C9A63CB7C69172 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:29] 955*2^1427849-1 is not prime. Res64: 3DB42DD9FE3C43A7 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:29] 767*2^1427850-1 is not prime. Res64: D3503506505DC97C Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:30] 619*2^1427851-1 is not prime. Res64: 43513F8142E4F1A6 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:30] 679*2^1427851-1 is not prime. Res64: 9E1386D9CB7D2C1B Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:47] 895*2^1427851-1 is not prime. Res64: B935F7CE752D33B7 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:47] 909*2^1427851-1 is not prime. Res64: 111AF3D01D305AB2 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:47] 617*2^1427852-1 is not prime. Res64: 0A6541CB95CE57ED Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:48] 635*2^1427852-1 is not prime. Res64: 0DFC2A003ACFD9F9 Time : 0.0 sec. user=mdettweiler [2016-04-30 10:45:48] 657*2^1427852-1 is not prime. Res64: 63C886B3FF96402F Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:20] 693*2^1427852-1 is not prime. Res64: DFA7CB04C753E1DA Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:21] 743*2^1427852-1 is not prime. Res64: DE2149F516FAC3FD Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:22] 819*2^1427852-1 is not prime. Res64: 272ADEC5A85A93B6 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:22] 837*2^1427852-1 is not prime. Res64: 712B92144389FB38 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:23] 959*2^1427852-1 is not prime. Res64: F00C72E387210098 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:58] 963*2^1427852-1 is not prime. Res64: D0423177C28325B2 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:02:59] 735*2^1427853-1 is not prime. Res64: ABA93557D87C86FA Time : 0.0 sec. user=mdettweiler [2016-04-30 11:03:00] 781*2^1427853-1 is not prime. Res64: 38CACBCDE4DFFEA7 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:03:00] 811*2^1427853-1 is not prime. Res64: FD038353C143B1D9 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:03:01] 877*2^1427853-1 is not prime. Res64: 05C4BAC3AA74CA5E Time : 0.0 sec. user=mdettweiler [2016-04-30 11:30:42] 891*2^1427853-1 is not prime. Res64: 825B6D0A0ABCAF92 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:30:42] 895*2^1427853-1 is not prime. Res64: ED1004D0B4F451AE Time : 0.0 sec. user=mdettweiler [2016-04-30 11:30:43] 949*2^1427853-1 is not prime. Res64: 58156FBDBAAED473 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:30:43] 687*2^1427854-1 is not prime. Res64: C62BEAFDCE40AB6A Time : 0.0 sec. user=mdettweiler [2016-04-30 11:30:44] 791*2^1427854-1 is not prime. Res64: 4DFD77C0577A9D0A Time : 0.0 sec. user=mdettweiler [2016-04-30 11:31:14] 815*2^1427854-1 is not prime. Res64: FDEF0F51D118EC75 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:31:15] 903*2^1427854-1 is not prime. Res64: A607E63A38093374 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:31:15] 947*2^1427854-1 is not prime. Res64: 0EB963261672B166 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:31:16] 609*2^1427855-1 is not prime. Res64: EE5134197C9D7892 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:31:16] 685*2^1427855-1 is not prime. Res64: 8DA69463D4D01E04 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:47:55] 693*2^1427855-1 is not prime. Res64: 8D14E86955A7DDCA Time : 0.0 sec. user=mdettweiler [2016-04-30 11:47:55] 705*2^1427855-1 is not prime. Res64: 819164694EE95BC8 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:47:56] 715*2^1427855-1 is not prime. Res64: 25EB43D31DD1D40A Time : 0.0 sec. user=mdettweiler [2016-04-30 11:47:56] 799*2^1427855-1 is not prime. Res64: 82335E1376D1A812 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:47:57] 853*2^1427855-1 is not prime. Res64: 2581F2D380FDD199 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:48:22] 883*2^1427855-1 is not prime. Res64: 2DE9A8FFAEC01E04 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:48:23] 939*2^1427855-1 is not prime. Res64: 6054D2E9009236EB Time : 0.0 sec. user=mdettweiler [2016-04-30 11:48:23] 981*2^1427855-1 is not prime. Res64: 90DBCDE0BE53C544 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:48:23] 693*2^1427856-1 is not prime. Res64: 21CF9B9B412A7DF8 Time : 0.0 sec. user=mdettweiler [2016-04-30 11:48:24] 707*2^1427856-1 is not prime. Res64: 5871D36435AA5D53 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:07] 779*2^1427856-1 is not prime. Res64: C959547A8EE27ECB Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:08] 867*2^1427856-1 is not prime. Res64: 5957A3E7D2EABD72 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:08] 903*2^1427856-1 is not prime. Res64: 43DCB2275ACD3EA5 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:09] 917*2^1427856-1 is not prime. Res64: 7EDA7DC7B4ABF670 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:09] 615*2^1427857-1 is not prime. Res64: 4E7C599CE4127402 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:28] 619*2^1427857-1 is not prime. Res64: 5DC7D05B37DF9B70 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:28] 639*2^1427857-1 is not prime. Res64: FFC14DF64C6B56AE Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:29] 715*2^1427857-1 is not prime. Res64: A5037C44F34E62D9 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:30] 819*2^1427857-1 is not prime. Res64: 1A0624BB95882406 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:16:30] 871*2^1427857-1 is not prime. Res64: 28D8188BB92206F4 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:13] 633*2^1427858-1 is not prime. Res64: BD97E042B0C71058 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:13] 663*2^1427859-1 is not prime. Res64: 38667EC9827C9F59 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:13] 801*2^1427859-1 is not prime. Res64: DBDC72CD82758FD2 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:14] 829*2^1427859-1 is not prime. Res64: 8926B7E02BC53464 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:14] 853*2^1427859-1 is not prime. Res64: 3E434E3BDE6FFBA5 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:24] 913*2^1427859-1 is not prime. Res64: 153A818CE2CADD91 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:24] 653*2^1427860-1 is not prime. Res64: 532693DC8CE1D54C Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:24] 707*2^1427860-1 is not prime. Res64: 717B3C023F6AC814 Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:25] 863*2^1427860-1 is not prime. Res64: 2B847E9E49C4262A Time : 0.0 sec. user=mdettweiler [2016-04-30 12:33:25] 899*2^1427860-1 is not prime. Res64: 2C125DA03A27487E Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:12] 965*2^1427860-1 is not prime. Res64: D4E2AD60597749BE Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:13] 685*2^1427861-1 is not prime. Res64: 109C39B2920BC198 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:14] 747*2^1427861-1 is not prime. Res64: CD4B3E8BDBD116B1 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:15] 775*2^1427861-1 is not prime. Res64: 89D43282CC3A3CB8 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:16] 829*2^1427861-1 is not prime. Res64: DD83AB96C288466E Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:33] 855*2^1427861-1 is not prime. Res64: 2CA96C64695A2A38 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:34] 955*2^1427861-1 is not prime. Res64: 1802DE53CF0B4D20 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:35] 635*2^1427862-1 is not prime. Res64: 21ECF3AAE931C7D9 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:35] 681*2^1427862-1 is not prime. Res64: 7DC897DF81122510 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:01:36] 777*2^1427862-1 is not prime. Res64: B7EC6DFFE5285C4B Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:45] 833*2^1427862-1 is not prime. Res64: E9E2F08124401BD2 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:46] 977*2^1427862-1 is not prime. Res64: C108F24DBB07FD7D Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:46] 705*2^1427863-1 is not prime. Res64: 57C0E1559BF18A35 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:46] 729*2^1427863-1 is not prime. Res64: CF28171657F92101 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:47] 771*2^1427863-1 is not prime. Res64: A956EC01F8FB042E Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:56] 819*2^1427863-1 is not prime. Res64: A44FFC9DBCA5649D Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:56] 889*2^1427863-1 is not prime. Res64: 8FFA19072B9D57FD Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:57] 615*2^1427864-1 is not prime. Res64: 8FF95F09EA1F6646 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:57] 657*2^1427864-1 is not prime. Res64: 2662B91D3A5C9713 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:18:58] 683*2^1427864-1 is not prime. Res64: 25D419B816D1B79D Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:20] 649*2^1427865-1 is not prime. Res64: 73A8A1F0AD3DE70D Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:20] 777*2^1427865-1 is not prime. Res64: BE8BAF64861048E5 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:20] 805*2^1427865-1 is not prime. Res64: E1C9EE98749D2101 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 819*2^1427865-1 is not prime. Res64: CC986BDB6595D3F3 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 755*2^1427864-1 is not prime. Res64: B24AD5BA60597B93 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 843*2^1427864-1 is not prime. Res64: 4D7D45442013E2E0 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 979*2^1427865-1 is not prime. Res64: D3E55558003B27E7 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 923*2^1427864-1 is not prime. Res64: BD5600B79A0FB66D Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:21] 945*2^1427864-1 is not prime. Res64: 9DB9D3F72289EDC6 Time : 0.0 sec. user=mdettweiler [2016-04-30 13:50:22] 609*2^1427865-1 is not prime. Res64: 58153AC21BBBD06E Time : 0.0 sec. user=mdettweiler [2016-04-30 14:08:47] 649*2^1427867-1 is not prime. Res64: C198A2A02AE1116F Time : 0.0 sec. user=mdettweiler [2016-04-30 14:08:47] 841*2^1427867-1 is not prime. Res64: F60CA5209EE9B270 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:08:48] 963*2^1427867-1 is not prime. Res64: 113051EB62AF2F99 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:08:48] 605*2^1427868-1 is not prime. Res64: 4987ED0C41DC157E Time : 0.0 sec. user=mdettweiler [2016-04-30 14:08:48] 689*2^1427868-1 is not prime. Res64: 4DFB36FE4E0615CE Time : 0.0 sec. user=mdettweiler [2016-04-30 14:09:08] 723*2^1427866-1 is not prime. Res64: B58A80FB36497035 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:09:08] 735*2^1427866-1 is not prime. Res64: 42E9458D50207103 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:09:08] 881*2^1427866-1 is not prime. Res64: 6BB4FD52EC082DF6 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:09:09] 911*2^1427866-1 is not prime. Res64: D44545ED57869A15 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:09:09] 621*2^1427867-1 is not prime. Res64: 037F2B7E8B7BAAB8 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:40:45] 927*2^1427868-1 is not prime. Res64: F9AA8B35EB8E5FA4 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:40:45] 747*2^1427869-1 is not prime. Res64: EC07B8E93CCDD703 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:40:45] 775*2^1427869-1 is not prime. Res64: BFFB1A4793803086 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:40:46] 855*2^1427869-1 is not prime. Res64: A9C5BE2790681BB9 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:40:46] 861*2^1427869-1 is not prime. Res64: BAF1BBA52C054217 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:41:00] 707*2^1427868-1 is not prime. Res64: C2549E5D60677E57 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:41:00] 725*2^1427868-1 is not prime. Res64: E5EC3BD8C2F387BD Time : 0.0 sec. user=mdettweiler [2016-04-30 14:41:01] 789*2^1427868-1 is not prime. Res64: 436A4BCBE5FB9E6E Time : 0.0 sec. user=mdettweiler [2016-04-30 14:41:01] 809*2^1427868-1 is not prime. Res64: 7989C99AA6C600B7 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:41:01] 887*2^1427868-1 is not prime. Res64: E5C199C7734D95D5 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:59:25] 797*2^1427870-1 is not prime. Res64: 88C9612CA21C96D4 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:59:25] 923*2^1427870-1 is not prime. Res64: BDD819C989A37242 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:59:26] 945*2^1427870-1 is not prime. Res64: 05DB5FF1D145E452 Time : 0.0 sec. user=mdettweiler [2016-04-30 14:59:26] 971*2^1427870-1 is not prime. Res64: FB83892BACDC782E Time : 0.0 sec. user=mdettweiler [2016-04-30 14:59:26] 981*2^1427870-1 is not prime. Res64: 2BD136C49E3D0778 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:00:22] 919*2^1427869-1 is not prime. Res64: 909248843D5E0A53 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:00:22] 945*2^1427869-1 is not prime. Res64: 4A66F5637AEC3831 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:00:23] 955*2^1427869-1 is not prime. Res64: DC690960559DF7CC Time : 0.0 sec. user=mdettweiler [2016-04-30 15:00:23] 967*2^1427869-1 is not prime. Res64: BC6960069E19B5F0 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:00:23] 603*2^1427870-1 is not prime. Res64: BE0E349EA13B916A Time : 0.0 sec. user=mdettweiler [2016-04-30 15:27:58] 711*2^1427871-1 is not prime. Res64: 0D5CA31BEBC5238F Time : 0.0 sec. user=mdettweiler [2016-04-30 15:27:59] 741*2^1427871-1 is not prime. Res64: 0CF1CC0DC8B4086E Time : 0.0 sec. user=mdettweiler [2016-04-30 15:27:59] 781*2^1427871-1 is not prime. Res64: 7B2EEB101BB0461D Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:00] 945*2^1427871-1 is not prime. Res64: 6F105123D2EAB1D0 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:01] 603*2^1427872-1 is not prime. Res64: A74540738EE4D3EE Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:44] 665*2^1427872-1 is not prime. Res64: A4B7EBE9DDC8F7F5 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:44] 713*2^1427872-1 is not prime. Res64: F9A5C441E4327019 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:45] 719*2^1427872-1 is not prime. Res64: 462B207F01FCFB77 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:45] 743*2^1427872-1 is not prime. Res64: 1E77D31B60D58D18 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:28:46] 869*2^1427872-1 is not prime. Res64: 2C56F62017818391 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:45:20] 917*2^1427872-1 is not prime. Res64: B1BB7264D23C94E7 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:45:21] 957*2^1427872-1 is not prime. Res64: BC81B27C5D331C31 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:45:21] 627*2^1427873-1 is not prime. Res64: FF3BD6C072AF5880 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:45:21] 631*2^1427873-1 is not prime. Res64: A307505A9239DAB9 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:45:22] 727*2^1427873-1 is not prime. Res64: 2BF8008A378E314E Time : 0.0 sec. user=mdettweiler [2016-04-30 15:46:24] 829*2^1427873-1 is not prime. Res64: 7D72D220E49BB4E3 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:46:24] 635*2^1427874-1 is not prime. Res64: 00418C04A6FB357C Time : 0.0 sec. user=mdettweiler [2016-04-30 15:46:25] 663*2^1427874-1 is not prime. Res64: 0A0E483BE2F45DE0 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:46:25] 705*2^1427874-1 is not prime. Res64: E85D41ED48F87432 Time : 0.0 sec. user=mdettweiler [2016-04-30 15:46:26] 723*2^1427874-1 is not prime. Res64: 4EB3981320E7EC20 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:13:19] 725*2^1427874-1 is not prime. Res64: 41EFC26A2BB68BD3 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:13:19] 731*2^1427874-1 is not prime. Res64: 9240D7B68B882589 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:13:20] 797*2^1427874-1 is not prime. Res64: 39B7AD7A3D26B9DA Time : 0.0 sec. user=mdettweiler [2016-04-30 16:13:20] 803*2^1427874-1 is not prime. Res64: EDE0A8EB322AF7D6 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:13:21] 891*2^1427874-1 is not prime. Res64: 5EB123F17278F6B2 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:14:01] 917*2^1427874-1 is not prime. Res64: AADA1F15F509189C Time : 0.0 sec. user=mdettweiler [2016-04-30 16:14:01] 971*2^1427874-1 is not prime. Res64: 7F25743718907866 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:14:02] 715*2^1427875-1 is not prime. Res64: 3AB93FEE581985D6 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:14:02] 789*2^1427875-1 is not prime. Res64: 74DFB89B6A18DC59 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:14:03] 819*2^1427875-1 is not prime. Res64: 39AF8007416B6BA0 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:30:38] 943*2^1427875-1 is not prime. Res64: 5E0F33A6AEA42CE2 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:30:38] 973*2^1427875-1 is not prime. Res64: FABBE96C71A538A8 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:30:39] 647*2^1427876-1 is not prime. Res64: 5B511ACA21900B86 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:30:39] 879*2^1427876-1 is not prime. Res64: 0EC2BB50CB5A49DA Time : 0.0 sec. user=mdettweiler [2016-04-30 16:30:40] 963*2^1427876-1 is not prime. Res64: 8121414AAFF35D45 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:31:27] 615*2^1427877-1 is not prime. Res64: 152B6D5941D9969C Time : 0.0 sec. user=mdettweiler [2016-04-30 16:31:27] 699*2^1427877-1 is not prime. Res64: D197E8FA57283626 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:31:28] 717*2^1427877-1 is not prime. Res64: 207EB2187BDB509F Time : 0.0 sec. user=mdettweiler [2016-04-30 16:31:28] 727*2^1427877-1 is not prime. Res64: EF3272F65879CEB2 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:31:28] 735*2^1427877-1 is not prime. Res64: B09A58518443FED8 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:58:32] 765*2^1427877-1 is not prime. Res64: 5E2DD95906744F11 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:58:32] 847*2^1427877-1 is not prime. Res64: A1EEAD9F4BD40286 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:58:32] 867*2^1427877-1 is not prime. Res64: 6BCA16ED7D63408C Time : 0.0 sec. user=mdettweiler [2016-04-30 16:58:33] 889*2^1427877-1 is not prime. Res64: 01141C2DC713C748 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:58:33] 945*2^1427877-1 is not prime. Res64: 709D959BDC779DEF Time : 0.0 sec. user=mdettweiler [2016-04-30 16:59:13] 961*2^1427877-1 is not prime. Res64: B4EE8471E5B32303 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:59:13] 623*2^1427878-1 is not prime. Res64: BD99D1ED6C7BE2D4 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:59:13] 713*2^1427878-1 is not prime. Res64: D305E4E6789B9947 Time : 0.0 sec. user=mdettweiler [2016-04-30 16:59:14] 777*2^1427878-1 is not prime. Res64: 2A73D00E4EB7FECD Time : 0.0 sec. user=mdettweiler [2016-04-30 16:59:14] 827*2^1427878-1 is not prime. Res64: BE3861DB5359E2B6 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:07] 843*2^1427878-1 is not prime. Res64: 2F1266FACDBB4E5C Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:07] 923*2^1427878-1 is not prime. Res64: E8CCAAF0E2C8CDD5 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:08] 941*2^1427878-1 is not prime. Res64: 2418D4ECB50A44A5 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:09] 957*2^1427878-1 is not prime. Res64: 0C6A2D79D8FB39BF Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:09] 621*2^1427879-1 is not prime. Res64: 28F7D820A73C1BEF Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:41] 643*2^1427879-1 is not prime. Res64: 249E7696A3A5DBF2 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:41] 663*2^1427879-1 is not prime. Res64: 845ED5BA2374F536 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:42] 711*2^1427879-1 is not prime. Res64: 843DE968614C387D Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:43] 729*2^1427879-1 is not prime. Res64: A5D280C098E90662 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:16:43] 759*2^1427879-1 is not prime. Res64: E297CBCD23310C6B Time : 0.0 sec. user=mdettweiler [2016-04-30 17:43:53] 819*2^1427879-1 is not prime. Res64: 413C1A99DCEA6817 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:43:53] 669*2^1427880-1 is not prime. Res64: 0ACA3AF82E7EF4C5 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:43:54] 773*2^1427880-1 is not prime. Res64: E71CC572FBEDA6B7 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:43:54] 779*2^1427880-1 is not prime. Res64: 0B39621440BD3FF9 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:43:55] 789*2^1427880-1 is not prime. Res64: B319DD4DDD96D8F2 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:44:29] 795*2^1427880-1 is not prime. Res64: B26F9EAF03C63D2B Time : 0.0 sec. user=mdettweiler [2016-04-30 17:44:29] 809*2^1427880-1 is not prime. Res64: D5C6CFDF2D409552 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:44:30] 845*2^1427880-1 is not prime. Res64: 571AD2DB6BB85B10 Time : 0.0 sec. user=mdettweiler [2016-04-30 17:44:30] 875*2^1427880-1 is not prime. Res64: 7DA169316266B41A Time : 0.0 sec. user=mdettweiler [2016-04-30 17:44:30] 905*2^1427880-1 is not prime. Res64: 46AA024C65113256 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:36] 933*2^1427880-1 is not prime. Res64: 57BDCE6566E2D797 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:38] 645*2^1427881-1 is not prime. Res64: 47095B7B5E6C8DF0 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:38] 691*2^1427881-1 is not prime. Res64: 25C566D048E369C0 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:39] 741*2^1427881-1 is not prime. Res64: B3FC394E240175EE Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:40] 775*2^1427881-1 is not prime. Res64: E8456C955BC13C3F Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:52] 801*2^1427881-1 is not prime. Res64: 83E2F091E64D8964 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:53] 633*2^1427882-1 is not prime. Res64: 57BCE4CB10CE8A2C Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:54] 713*2^1427882-1 is not prime. Res64: 503CB1DE978CA4BB Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:55] 741*2^1427882-1 is not prime. Res64: D6BFFAEA3BDC31EC Time : 0.0 sec. user=mdettweiler [2016-04-30 18:01:56] 785*2^1427882-1 is not prime. Res64: 5CB249C64F5B6930 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:04] 911*2^1427882-1 is not prime. Res64: 1641435214DB1E16 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:05] 941*2^1427882-1 is not prime. Res64: 5C635BEFAB1C8C63 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:06] 951*2^1427882-1 is not prime. Res64: 40DE2BBE732CA52C Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:07] 609*2^1427883-1 is not prime. Res64: DAF32335A6CED031 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:07] 639*2^1427883-1 is not prime. Res64: 2BB583819A8F8197 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:32] 679*2^1427883-1 is not prime. Res64: A0644FE609D31F99 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:33] 783*2^1427883-1 is not prime. Res64: D4297EC1D2451534 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:33] 795*2^1427883-1 is not prime. Res64: 6EC5B6FFCACD9172 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:34] 829*2^1427883-1 is not prime. Res64: 8C544DD20B977667 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:29:35] 853*2^1427883-1 is not prime. Res64: EE70DB25FE78A4CC Time : 0.0 sec. user=mdettweiler [2016-04-30 18:46:52] 963*2^1427883-1 is not prime. Res64: 212C6A243B8480AF Time : 0.0 sec. user=mdettweiler [2016-04-30 18:46:52] 657*2^1427884-1 is not prime. Res64: 9B6C26B9B642E5D6 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:46:53] 875*2^1427884-1 is not prime. Res64: 713A2AFB1A2E2DA7 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:46:53] 923*2^1427884-1 is not prime. Res64: C02D4A1BB932301E Time : 0.0 sec. user=mdettweiler [2016-04-30 18:46:54] 685*2^1427885-1 is not prime. Res64: 1A6B1DA32BC2B5B6 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:47:03] 777*2^1427885-1 is not prime. Res64: C8C23125507ABDFE Time : 0.0 sec. user=mdettweiler [2016-04-30 18:47:04] 787*2^1427885-1 is not prime. Res64: D242473759BDDFE8 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:47:04] 867*2^1427885-1 is not prime. Res64: AD7CD88FFB9587C3 Time : 0.0 sec. user=mdettweiler [2016-04-30 18:47:05] 635*2^1427886-1 is not prime. Res64: DBF92956F64F05EA Time : 0.0 sec. user=mdettweiler [2016-04-30 18:47:05] 707*2^1427886-1 is not prime. Res64: 810427F1CDE9E607 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:28] 851*2^1427886-1 is not prime. Res64: 95330575817DA1E4 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:29] 1001*2^1427886-1 is not prime. Res64: FB98E4EA4CD4E0A8 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:29] 633*2^1427887-1 is not prime. Res64: 7033143F934038B7 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:30] 681*2^1427887-1 is not prime. Res64: 85C9A6A9B28273BE Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:30] 741*2^1427887-1 is not prime. Res64: CC4AAD47D0AE06D2 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:49] 775*2^1427887-1 is not prime. Res64: A1D9B6EA2A66EFFC Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:49] 885*2^1427887-1 is not prime. Res64: 9023B824E5D0F131 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:50] 925*2^1427887-1 is not prime. Res64: 6CC44BEA99259FAE Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:50] 933*2^1427887-1 is not prime. Res64: FADFBAA999F6D593 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:14:51] 961*2^1427887-1 is not prime. Res64: 625B8126F8CDC37D Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:12] 973*2^1427887-1 is not prime. Res64: A645EA97F4310CE2 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:13] 993*2^1427887-1 is not prime. Res64: 01DC87FABAABBFFC Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:13] 635*2^1427888-1 is not prime. Res64: 184291AB7579976A Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:13] 669*2^1427888-1 is not prime. Res64: 4652E4EF4B9E5BDA Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:14] 747*2^1427888-1 is not prime. Res64: E2554274496E296C Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:26] 797*2^1427888-1 is not prime. Res64: ADE7E910B759C934 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:26] 843*2^1427888-1 is not prime. Res64: CBB93C51899CBEFD Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:26] 845*2^1427888-1 is not prime. Res64: 35F0679837515C5D Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:27] 855*2^1427888-1 is not prime. Res64: DB9F169AF2E3BEB4 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:32:27] 935*2^1427888-1 is not prime. Res64: BC85B1921ABFFDB2 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:44] 963*2^1427888-1 is not prime. Res64: 3CC2E748AAAE7FD8 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:44] 995*2^1427888-1 is not prime. Res64: F8C9CB2C46016523 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:45] 669*2^1427889-1 is not prime. Res64: 0012AFC92530F4AD Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:45] 765*2^1427889-1 is not prime. Res64: 523993D7C68E8D04 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:46] 795*2^1427889-1 is not prime. Res64: E707A25533CFCEC4 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:47] 807*2^1427889-1 is not prime. Res64: 2A5C43FB433FBA67 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:48] 895*2^1427889-1 is not prime. Res64: C2E462BFB3C0B791 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:48] 951*2^1427889-1 is not prime. Res64: D23D25C1EDD75E67 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:48] 603*2^1427890-1 is not prime. Res64: 4F5992E922A3F625 Time : 0.0 sec. user=mdettweiler [2016-04-30 19:59:49] 665*2^1427890-1 is not prime. Res64: 9E3A97F3F4548758 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:32] 675*2^1427890-1 is not prime. Res64: 8FF612F2A83FB485 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:33] 713*2^1427890-1 is not prime. Res64: 58E8D146D7E42FCA Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:34] 855*2^1427890-1 is not prime. Res64: A5F29BB2AE03494E Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:34] 933*2^1427890-1 is not prime. Res64: 5FDC3CACB400AD3B Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:35] 609*2^1427891-1 is not prime. Res64: 8609EBB6A4677320 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:36] 685*2^1427891-1 is not prime. Res64: 77EDBE2F797D69E7 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:37] 733*2^1427891-1 is not prime. Res64: 1DD8022713883CF2 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:38] 735*2^1427891-1 is not prime. Res64: E8407C19002EC8FF Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:38] 979*2^1427891-1 is not prime. Res64: D6F8E5F32E447E18 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:17:39] 683*2^1427892-1 is not prime. Res64: FA28453F44307A9C Time : 0.0 sec. user=mdettweiler [2016-04-30 20:44:57] 683*2^1427894-1 is not prime. Res64: 0C04D2EA3A1DDCEA Time : 0.0 sec. user=mdettweiler [2016-04-30 20:44:58] 693*2^1427894-1 is not prime. Res64: 0133CD4798A83C03 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:44:58] 707*2^1427894-1 is not prime. Res64: 5CDFF519517F0ABE Time : 0.0 sec. user=mdettweiler [2016-04-30 20:44:58] 827*2^1427894-1 is not prime. Res64: FC7C1B5F7221D7D5 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:44:59] 917*2^1427894-1 is not prime. Res64: 72F3890959EF368F Time : 0.0 sec. user=mdettweiler [2016-04-30 20:45:05] 825*2^1427892-1 is not prime. Res64: 19FA0D85545B07D1 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:45:05] 837*2^1427892-1 is not prime. Res64: D70BBB0F041ABE07 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:45:07] 843*2^1427892-1 is not prime. Res64: 288F28186CE9A2A7 Time : 0.0 sec. user=mdettweiler [2016-04-30 20:45:07] 715*2^1427893-1 is not prime. Res64: 61D2577C3804A6CE Time : 0.0 sec. user=mdettweiler [2016-04-30 20:45:07] 805*2^1427893-1 is not prime. Res64: DD06B2D71582CFD6 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:03] 921*2^1427894-1 is not prime. Res64: EF612FE1B0FAC2FD Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:05] 983*2^1427894-1 is not prime. Res64: AD6B1916610AA3D1 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:06] 619*2^1427895-1 is not prime. Res64: D36BB8A8B0433C15 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:08] 643*2^1427895-1 is not prime. Res64: B2DD335835D9EDDE Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:09] 649*2^1427895-1 is not prime. Res64: F28DDE280657AB96 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:10] 789*2^1427895-1 is not prime. Res64: 3927AB7413C9625B Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:11] 793*2^1427895-1 is not prime. Res64: 8DA8DFD249761C08 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:13] 825*2^1427895-1 is not prime. Res64: A2B4186BACE8521F Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:15] 831*2^1427895-1 is not prime. Res64: 912A1048D1CE9C13 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:03:17] 979*2^1427895-1 is not prime. Res64: 79EBFBED61CE924A Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:07] 991*2^1427895-1 is not prime. Res64: 13DA173E133B002A Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:09] 735*2^1427896-1 is not prime. Res64: 91429BA13E4BBB9F Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:10] 785*2^1427896-1 is not prime. Res64: 480B831628F4770D Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:11] 873*2^1427896-1 is not prime. Res64: DEB1ACBF6E3F97DB Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:12] 899*2^1427896-1 is not prime. Res64: 94A0FBFA171417E0 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:21] 903*2^1427896-1 is not prime. Res64: C6C68E8406765EF1 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:24] 939*2^1427896-1 is not prime. Res64: 468E0CA86760B109 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:25] 619*2^1427897-1 is not prime. Res64: F99A2491355B348A Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:26] 741*2^1427897-1 is not prime. Res64: 47DBA56461017829 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:30:27] 747*2^1427897-1 is not prime. Res64: 29B62A322A23FA42 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:28] 627*2^1427898-1 is not prime. Res64: 38997AD62B467F9B Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:28] 635*2^1427898-1 is not prime. Res64: 4470BB735783737D Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:28] 671*2^1427898-1 is not prime. Res64: EDB15A50DD33C2D7 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:29] 695*2^1427898-1 is not prime. Res64: 47E043A72FFD5AA6 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:29] 927*2^1427898-1 is not prime. Res64: 1C4F7FD622963A86 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:29] 841*2^1427897-1 is not prime. Res64: 45337BCA9173D63A Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:30] 871*2^1427897-1 is not prime. Res64: 99DBEB3B6762DE5F Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:30] 915*2^1427897-1 is not prime. Res64: 30170E6CA1BD2413 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:31] 937*2^1427897-1 is not prime. Res64: 8670BD85518F52C7 Time : 0.0 sec. user=mdettweiler [2016-04-30 21:48:31] 611*2^1427898-1 is not prime. Res64: FC69D30A1754585F Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:43] 933*2^1427898-1 is not prime. Res64: 0362380A70BEF277 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:43] 951*2^1427898-1 is not prime. Res64: 44613E4088AD2EE7 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:44] 977*2^1427898-1 is not prime. Res64: E6194B580E0928FF Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:44] 615*2^1427899-1 is not prime. Res64: 28F1F6AE34B437DC Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:45] 703*2^1427899-1 is not prime. Res64: 0247F3E4F634D0EE Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:55] 769*2^1427899-1 is not prime. Res64: 83597FE7EAE29C2D Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:56] 801*2^1427899-1 is not prime. Res64: 42FB8BD7AE177655 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:56] 919*2^1427899-1 is not prime. Res64: C6DD52787E6CCD25 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:57] 665*2^1427900-1 is not prime. Res64: 686EEF106600D218 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:15:57] 743*2^1427900-1 is not prime. Res64: E6741249E681A306 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:33:43] 879*2^1427900-1 is not prime. Res64: BCDE4DA5001EACD5 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:33:43] 995*2^1427900-1 is not prime. Res64: 780CB7E4A2458F39 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:33:44] 669*2^1427901-1 is not prime. Res64: E5641F130FA5072C Time : 0.0 sec. user=mdettweiler [2016-04-30 22:33:44] 877*2^1427901-1 is not prime. Res64: 99C13B86DA74C1A6 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:33:45] 889*2^1427901-1 is not prime. Res64: B7080251141F9383 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:34:03] 895*2^1427901-1 is not prime. Res64: C740628AF91BB7E0 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:34:03] 635*2^1427902-1 is not prime. Res64: EA92329C24040199 Time : 0.0 sec. user=mdettweiler [2016-04-30 22:34:04] 651*2^1427902-1 is not prime. Res64: 2A33D745D34F478D Time : 0.0 sec. user=mdettweiler [2016-04-30 22:34:04] 777*2^1427902-1 is not prime. Res64: B029C0B53A837FFF Time : 0.0 sec. user=mdettweiler [2016-04-30 22:34:05] 873*2^1427902-1 is not prime. Res64: 15BE150925EB9DA0 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:01:52] 887*2^1427902-1 is not prime. Res64: 2024EC745D388B2A Time : 0.0 sec. user=mdettweiler [2016-04-30 23:01:53] 965*2^1427902-1 is not prime. Res64: 89A74027942D1B2C Time : 0.0 sec. user=mdettweiler [2016-04-30 23:01:53] 1001*2^1427902-1 is not prime. Res64: 016BE3BF66D5C95D Time : 0.0 sec. user=mdettweiler [2016-04-30 23:01:54] 685*2^1427903-1 is not prime. Res64: 3ECD4253F8E16430 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:01:55] 721*2^1427903-1 is not prime. Res64: 87A2E60B22D48C48 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:02:03] 789*2^1427903-1 is not prime. Res64: C5F753E31367E0D4 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:02:05] 879*2^1427903-1 is not prime. Res64: C29412F9D563D96F Time : 0.0 sec. user=mdettweiler [2016-04-30 23:02:06] 901*2^1427903-1 is not prime. Res64: 6F278F85B55802F6 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:02:07] 921*2^1427903-1 is not prime. Res64: 4AF46C88F5A163CF Time : 0.0 sec. user=mdettweiler [2016-04-30 23:02:08] 693*2^1427904-1 is not prime. Res64: EAF1BFD2A3D7FF8F Time : 0.0 sec. user=mdettweiler [2016-04-30 23:19:31] 887*2^1427904-1 is not prime. Res64: 1364307F7757055F Time : 0.0 sec. user=mdettweiler [2016-04-30 23:19:32] 601*2^1427905-1 is not prime. Res64: D8B6D865F86B4352 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:19:33] 649*2^1427905-1 is not prime. Res64: A42C7A695A4736D3 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:19:34] 667*2^1427905-1 is not prime. Res64: BAA845AE5A2E58DD Time : 0.0 sec. user=mdettweiler [2016-04-30 23:19:35] 799*2^1427905-1 is not prime. Res64: 3B12F6693DC2598C Time : 0.0 sec. user=mdettweiler [2016-04-30 23:20:05] 885*2^1427905-1 is not prime. Res64: 0879E445D109AC84 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:20:06] 951*2^1427905-1 is not prime. Res64: 4D159A03C6998D5F Time : 0.0 sec. user=mdettweiler [2016-04-30 23:20:06] 999*2^1427905-1 is not prime. Res64: 064DED515E71B76E Time : 0.0 sec. user=mdettweiler [2016-04-30 23:20:07] 633*2^1427906-1 is not prime. Res64: 9884E319058D6FDE Time : 0.0 sec. user=mdettweiler [2016-04-30 23:20:08] 711*2^1427906-1 is not prime. Res64: D5391EED3AE99789 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:15] 735*2^1427908-1 is not prime. Res64: 59A8C4C5FF825A79 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:15] 827*2^1427908-1 is not prime. Res64: 426CABBC0F01810E Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:15] 843*2^1427908-1 is not prime. Res64: 3279A51E06140E07 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:16] 905*2^1427908-1 is not prime. Res64: 7D518EFD51E1FE18 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:16] 933*2^1427908-1 is not prime. Res64: 9147A09123F94054 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:18] 735*2^1427906-1 is not prime. Res64: 63B48165B4E04349 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:19] 873*2^1427906-1 is not prime. Res64: C7DB8D1E900DDFF5 Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:19] 795*2^1427907-1 is not prime. Res64: 2924D7CE05181D2D Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:20] 605*2^1427908-1 is not prime. Res64: 8895E146536F73AB Time : 0.0 sec. user=mdettweiler [2016-04-30 23:47:20] 615*2^1427908-1 is not prime. Res64: 299EC0846E446CC5 Time : 0.0 sec.