user=mdettweiler [2016-06-22 00:17:05] 993*2^1433146-1 is not prime. Res64: 0D15BC3F72132ECF Time : 0.0 sec. user=mdettweiler [2016-06-22 00:17:06] 645*2^1433147-1 is not prime. Res64: 737F3384E9AEA0F7 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:17:06] 703*2^1433147-1 is not prime. Res64: 42544CA81ED6E634 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:17:07] 705*2^1433147-1 is not prime. Res64: 9166F3E7278BF67A Time : 0.0 sec. user=mdettweiler [2016-06-22 00:17:07] 711*2^1433147-1 is not prime. Res64: 9908B33420E4041C Time : 0.0 sec. user=mdettweiler [2016-06-22 00:28:55] 733*2^1433147-1 is not prime. Res64: A818D205D53D87CB Time : 0.0 sec. user=mdettweiler [2016-06-22 00:28:56] 949*2^1433147-1 is not prime. Res64: B538288576F51928 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:28:57] 979*2^1433147-1 is not prime. Res64: 3DACAC6A9A07A45E Time : 0.0 sec. user=mdettweiler [2016-06-22 00:28:58] 735*2^1433148-1 is not prime. Res64: AEAFC12F1AC77B7F Time : 0.0 sec. user=mdettweiler [2016-06-22 00:28:58] 767*2^1433148-1 is not prime. Res64: 3E308AD98054DB60 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:29:48] 795*2^1433148-1 is not prime. Res64: 249500FF9E1F495C Time : 0.0 sec. user=mdettweiler [2016-06-22 00:29:49] 619*2^1433149-1 is not prime. Res64: 1404EB9CE18F0B95 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:29:50] 685*2^1433149-1 is not prime. Res64: 7B793427993E910C Time : 0.0 sec. user=mdettweiler [2016-06-22 00:29:51] 741*2^1433149-1 is not prime. Res64: 7C302ACA8D665A70 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:29:52] 819*2^1433149-1 is not prime. Res64: F9C120DE53E605F9 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:44:51] 835*2^1433149-1 is not prime. Res64: 73FD30CE9DF750D6 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:44:51] 855*2^1433149-1 is not prime. Res64: 02AC4940DB3817DA Time : 0.0 sec. user=mdettweiler [2016-06-22 00:44:52] 885*2^1433149-1 is not prime. Res64: D22E79096D4F414B Time : 0.0 sec. user=mdettweiler [2016-06-22 00:44:52] 945*2^1433149-1 is not prime. Res64: 1C91ADD6F7F97751 Time : 0.0 sec. user=mdettweiler [2016-06-22 00:44:53] 961*2^1433149-1 is not prime. Res64: 0014007BF6FC3668 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:03:20] 985*2^1433149-1 is not prime. Res64: 18AC43954C0B52A5 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:03:22] 797*2^1433150-1 is not prime. Res64: E58F9A85CA57054D Time : 0.0 sec. user=mdettweiler [2016-06-22 01:03:23] 935*2^1433150-1 is not prime. Res64: 8469AFFACF691D36 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:03:24] 953*2^1433150-1 is not prime. Res64: 74144DC1947EC7A7 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:03:25] 981*2^1433150-1 is not prime. Res64: 85E4AFDD6633D344 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:14:28] 609*2^1433151-1 is not prime. Res64: FAD3FA3DA3861EB7 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:14:29] 735*2^1433151-1 is not prime. Res64: D93A774A88F10276 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:14:29] 775*2^1433151-1 is not prime. Res64: 8AD0121DC121AAB7 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:14:29] 829*2^1433151-1 is not prime. Res64: B48E95902591AEE9 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:14:30] 849*2^1433151-1 is not prime. Res64: 400493197CE3E0E7 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:16:02] 871*2^1433151-1 is not prime. Res64: B9181C45DA2C5DCC Time : 0.0 sec. user=mdettweiler [2016-06-22 01:16:03] 605*2^1433152-1 is not prime. Res64: A3A15C6A5B629168 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:16:03] 849*2^1433152-1 is not prime. Res64: 7257F90DC60AB2E3 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:16:03] 995*2^1433152-1 is not prime. Res64: 5177E9677E8CA4D4 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:16:04] 627*2^1433153-1 is not prime. Res64: C9AABC1B0496C0FB Time : 0.0 sec. user=mdettweiler [2016-06-22 01:29:57] 657*2^1433153-1 is not prime. Res64: 5AFE3E6371014AE3 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:29:58] 741*2^1433153-1 is not prime. Res64: 9E537E265CD92A40 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:30:00] 781*2^1433153-1 is not prime. Res64: 963EB298581336C2 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:30:01] 787*2^1433153-1 is not prime. Res64: FD9B020584EAB662 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:30:02] 801*2^1433153-1 is not prime. Res64: 71E9553DED600EAD Time : 0.0 sec. user=mdettweiler [2016-06-22 01:48:07] 901*2^1433153-1 is not prime. Res64: 0021638C438E11B1 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:48:07] 955*2^1433153-1 is not prime. Res64: 0A4731425767E4B1 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:48:08] 981*2^1433153-1 is not prime. Res64: DCD3C2DBD87991DB Time : 0.0 sec. user=mdettweiler [2016-06-22 01:48:08] 985*2^1433153-1 is not prime. Res64: B9AB4E7747F3D1D9 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:48:08] 657*2^1433154-1 is not prime. Res64: A6610F41E1C2AAF8 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:59:06] 663*2^1433154-1 is not prime. Res64: FA52C1BB1E1CC20A Time : 0.0 sec. user=mdettweiler [2016-06-22 01:59:06] 803*2^1433154-1 is not prime. Res64: ED94403A4E87C0B9 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:59:06] 815*2^1433154-1 is not prime. Res64: 550513545537FEFF Time : 0.0 sec. user=mdettweiler [2016-06-22 01:59:07] 893*2^1433154-1 is not prime. Res64: 77AC17440D71D4B9 Time : 0.0 sec. user=mdettweiler [2016-06-22 01:59:07] 609*2^1433155-1 is not prime. Res64: 6EC7BC5244859E79 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:00:33] 619*2^1433155-1 is not prime. Res64: 43C888744DCDE430 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:00:34] 631*2^1433155-1 is not prime. Res64: 401B34F088F59F7D Time : 0.0 sec. user=mdettweiler [2016-06-22 02:00:35] 691*2^1433155-1 is not prime. Res64: 14DE807DB3FDFAC9 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:00:36] 705*2^1433155-1 is not prime. Res64: 0B3DADED3086A0C0 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:00:37] 853*2^1433155-1 is not prime. Res64: BBFA70CD7A8B7A20 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:15:04] 859*2^1433155-1 is not prime. Res64: C1D6F9739152CE39 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:15:05] 603*2^1433156-1 is not prime. Res64: 098D5E2FA7B05050 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:15:05] 659*2^1433156-1 is not prime. Res64: 3FA48C3E55149E86 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:15:06] 689*2^1433156-1 is not prime. Res64: 5DBDE184FC1D4483 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:15:06] 777*2^1433156-1 is not prime. Res64: BC3B433DD0820FF1 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:32:25] 785*2^1433156-1 is not prime. Res64: BE89B34A3432574E Time : 0.0 sec. user=mdettweiler [2016-06-22 02:32:26] 957*2^1433156-1 is not prime. Res64: 67FC8A9E92A3FEEF Time : 0.0 sec. user=mdettweiler [2016-06-22 02:32:26] 601*2^1433157-1 is not prime. Res64: 4A1F247C7AC66E96 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:32:26] 649*2^1433157-1 is not prime. Res64: 2C58AB26EE6148D7 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:32:27] 651*2^1433157-1 is not prime. Res64: EE0311D4F42A0FEB Time : 0.0 sec. user=mdettweiler [2016-06-22 02:43:35] 667*2^1433157-1 is not prime. Res64: 41E50B3EFDD13876 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:43:36] 835*2^1433157-1 is not prime. Res64: FC1981724C74842D Time : 0.0 sec. user=mdettweiler [2016-06-22 02:43:36] 847*2^1433157-1 is not prime. Res64: BCF0550C7F1A614A Time : 0.0 sec. user=mdettweiler [2016-06-22 02:43:36] 871*2^1433157-1 is not prime. Res64: 9876BA918B882C63 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:43:37] 687*2^1433158-1 is not prime. Res64: B920B46F55FB662B Time : 0.0 sec. user=mdettweiler [2016-06-22 02:45:13] 743*2^1433158-1 is not prime. Res64: 52558742681DE3C1 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:45:14] 911*2^1433158-1 is not prime. Res64: 4B19F22A5DFD8847 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:45:14] 915*2^1433158-1 is not prime. Res64: AA135E355F3C6D7B Time : 0.0 sec. user=mdettweiler [2016-06-22 02:45:14] 619*2^1433159-1 is not prime. Res64: D02039235B216188 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:45:15] 675*2^1433159-1 is not prime. Res64: 7D3EECDCAB400F54 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:59:39] 703*2^1433159-1 is not prime. Res64: F2C2E88AACDF12AE Time : 0.0 sec. user=mdettweiler [2016-06-22 02:59:39] 729*2^1433159-1 is not prime. Res64: DB25BE6F8F6D6A3D Time : 0.0 sec. user=mdettweiler [2016-06-22 02:59:39] 745*2^1433159-1 is not prime. Res64: 49170F45145033C7 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:59:40] 939*2^1433159-1 is not prime. Res64: 54AACB34F12C77C8 Time : 0.0 sec. user=mdettweiler [2016-06-22 02:59:40] 735*2^1433160-1 is not prime. Res64: F8A35A79E09C4564 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:16:59] 759*2^1433160-1 is not prime. Res64: 94286123CE5139F3 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:17:00] 797*2^1433160-1 is not prime. Res64: 44DBD00507CEFB4B Time : 0.0 sec. user=mdettweiler [2016-06-22 03:17:00] 809*2^1433160-1 is not prime. Res64: 6965A3EB14FDF533 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:17:01] 929*2^1433160-1 is not prime. Res64: FD9F896C398E9AD6 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:17:01] 639*2^1433161-1 is not prime. Res64: 0681A91037A1DFDD Time : 0.0 sec. user=mdettweiler [2016-06-22 03:28:16] 717*2^1433161-1 is not prime. Res64: CCE8E6F49128E524 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:28:16] 777*2^1433161-1 is not prime. Res64: E0D299BA88CFF362 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:28:17] 801*2^1433161-1 is not prime. Res64: 242391AD7CF3578B Time : 0.0 sec. user=mdettweiler [2016-06-22 03:28:18] 901*2^1433161-1 is not prime. Res64: CB49D28FCE408EB2 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:28:19] 931*2^1433161-1 is not prime. Res64: 6D1CDF4466D858BF Time : 0.0 sec. user=mdettweiler [2016-06-22 03:29:48] 951*2^1433161-1 is not prime. Res64: 7B0C4C2E583A19E9 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:29:49] 633*2^1433162-1 is not prime. Res64: C362FBD4E8C2CC07 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:29:50] 713*2^1433162-1 is not prime. Res64: 535C73B78F96756A Time : 0.0 sec. user=mdettweiler [2016-06-22 03:29:51] 743*2^1433162-1 is not prime. Res64: 6A4C4CF6AD29EA34 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:29:52] 753*2^1433162-1 is not prime. Res64: 75A8F6DCEE216376 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:44:34] 887*2^1433162-1 is not prime. Res64: 086ACBAE73D03BA5 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:44:36] 613*2^1433163-1 is not prime. Res64: 22718D2FB47D85B7 Time : 0.0 sec. user=mdettweiler [2016-06-22 03:44:37] 705*2^1433163-1 is not prime. Res64: CB9F7F6405A7F38F Time : 0.0 sec. user=mdettweiler [2016-06-22 03:44:39] 765*2^1433163-1 is not prime. Res64: 6ECB773B2AD63A8D Time : 0.0 sec. user=mdettweiler [2016-06-22 03:44:40] 805*2^1433163-1 is not prime. Res64: 5AA602EAC02B60B0 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:01:57] 871*2^1433163-1 is not prime. Res64: 99D1410717F16728 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:01:58] 919*2^1433163-1 is not prime. Res64: 8FCC3E02CCDED6A8 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:01:59] 961*2^1433163-1 is not prime. Res64: 2EA63B4AAB1AAC92 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:02:00] 743*2^1433164-1 is not prime. Res64: 02FEC537452F6F37 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:02:00] 803*2^1433164-1 is not prime. Res64: E225D163DC421C44 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:14:08] 819*2^1433164-1 is not prime. Res64: 43BBF087A952852C Time : 0.0 sec. user=mdettweiler [2016-06-22 04:14:09] 843*2^1433164-1 is not prime. Res64: 0D3AF4CD64E90F65 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:14:09] 929*2^1433164-1 is not prime. Res64: CFCF1A989EBAC03A Time : 0.0 sec. user=mdettweiler [2016-06-22 04:14:09] 983*2^1433164-1 is not prime. Res64: BF237683610B0732 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:14:10] 861*2^1433165-1 is not prime. Res64: C5E35A80DD798B1D Time : 0.0 sec. user=mdettweiler [2016-06-22 04:15:09] 871*2^1433165-1 is not prime. Res64: 8DF398BD624A8B7D Time : 0.0 sec. user=mdettweiler [2016-06-22 04:15:10] 615*2^1433166-1 is not prime. Res64: 753362482BEF8151 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:15:10] 641*2^1433166-1 is not prime. Res64: 71F299C0D403BD8B Time : 0.0 sec. user=mdettweiler [2016-06-22 04:15:10] 917*2^1433166-1 is not prime. Res64: 330D8835CB079F85 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:15:11] 941*2^1433166-1 is not prime. Res64: D4A03FF850E3685B Time : 0.0 sec. user=mdettweiler [2016-06-22 04:30:29] 763*2^1433167-1 is not prime. Res64: 54069213C8F71DDD Time : 0.0 sec. user=mdettweiler [2016-06-22 04:30:29] 859*2^1433167-1 is not prime. Res64: 90F43EF228314CD1 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:30:30] 871*2^1433167-1 is not prime. Res64: B266E1DF0C13B2E6 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:30:30] 883*2^1433167-1 is not prime. Res64: 0E62B0B43460DC58 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:30:30] 891*2^1433167-1 is not prime. Res64: 07373DDF7166389D Time : 0.0 sec. user=mdettweiler [2016-06-22 04:46:43] 915*2^1433167-1 is not prime. Res64: 4A9487DB0C5A9D56 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:46:44] 919*2^1433167-1 is not prime. Res64: 3E776833FD3C4C2B Time : 0.0 sec. user=mdettweiler [2016-06-22 04:46:44] 931*2^1433167-1 is not prime. Res64: 5B6F1CF4C86EAF6B Time : 0.0 sec. user=mdettweiler [2016-06-22 04:46:44] 939*2^1433167-1 is not prime. Res64: 1CCCFD2F20FF7B15 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:46:45] 975*2^1433167-1 is not prime. Res64: FBCD175D2B8D03F8 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:58:51] 743*2^1433168-1 is not prime. Res64: B0ADEA9AD7ED9F7B Time : 0.0 sec. user=mdettweiler [2016-06-22 04:58:51] 813*2^1433168-1 is not prime. Res64: EA0F5DFEB64C609A Time : 0.0 sec. user=mdettweiler [2016-06-22 04:58:51] 869*2^1433168-1 is not prime. Res64: 05B60FDA543EF008 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:58:52] 897*2^1433168-1 is not prime. Res64: 45E054411DCA4DFD Time : 0.0 sec. user=mdettweiler [2016-06-22 04:58:52] 995*2^1433168-1 is not prime. Res64: 4107A76ABA7639D0 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:59:39] 615*2^1433169-1 is not prime. Res64: B11EBADFB58AC7B8 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:59:39] 649*2^1433169-1 is not prime. Res64: 7C88A0F0C5570960 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:59:40] 675*2^1433169-1 is not prime. Res64: D0D78B46E9328BE1 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:59:40] 711*2^1433169-1 is not prime. Res64: 23C8A920279BF938 Time : 0.0 sec. user=mdettweiler [2016-06-22 04:59:40] 765*2^1433169-1 is not prime. Res64: 3A00FFD4E9D7A31B Time : 0.0 sec. user=mdettweiler [2016-06-22 05:15:01] 781*2^1433169-1 is not prime. Res64: 0EA08C4CEF16663F Time : 0.0 sec. user=mdettweiler [2016-06-22 05:15:02] 861*2^1433169-1 is not prime. Res64: 4A05AAC415604392 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:15:04] 919*2^1433169-1 is not prime. Res64: 9645FDD3B7CFC3B6 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:15:05] 921*2^1433169-1 is not prime. Res64: D1D0A9B11B773C20 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:15:07] 985*2^1433169-1 is not prime. Res64: E1AB23FF94F27565 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:31:22] 999*2^1433169-1 is not prime. Res64: BCEAEB7B0C85068C Time : 0.0 sec. user=mdettweiler [2016-06-22 05:31:22] 827*2^1433170-1 is not prime. Res64: 8CB0A28468A566B1 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:31:22] 917*2^1433170-1 is not prime. Res64: CDD6701C9FE25F6C Time : 0.0 sec. user=mdettweiler [2016-06-22 05:31:23] 941*2^1433170-1 is not prime. Res64: D8B1A42F893A1D97 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:31:23] 951*2^1433170-1 is not prime. Res64: 1943C8AAFC2377FE Time : 0.0 sec. user=mdettweiler [2016-06-22 05:43:32] 987*2^1433170-1 is not prime. Res64: 7350470EDFBA97DB Time : 0.0 sec. user=mdettweiler [2016-06-22 05:43:32] 1001*2^1433170-1 is not prime. Res64: F7885817968F06DA Time : 0.0 sec. user=mdettweiler [2016-06-22 05:43:32] 615*2^1433171-1 is not prime. Res64: 1981EFC6A4793956 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:43:33] 631*2^1433171-1 is not prime. Res64: 579690451B04DBF6 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:43:33] 705*2^1433171-1 is not prime. Res64: 2630E966A14A4D8C Time : 0.0 sec. user=mdettweiler [2016-06-22 05:44:14] 733*2^1433171-1 is not prime. Res64: 8FBA583FD540F25A Time : 0.0 sec. user=mdettweiler [2016-06-22 05:44:14] 735*2^1433171-1 is not prime. Res64: E40E3A14E1421CFD Time : 0.0 sec. user=mdettweiler [2016-06-22 05:44:14] 783*2^1433171-1 is not prime. Res64: 9480E471A4B6E115 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:44:15] 823*2^1433171-1 is not prime. Res64: 2A93D637ADF075F0 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:44:15] 829*2^1433171-1 is not prime. Res64: 85E811B47AA02B80 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:59:45] 981*2^1433171-1 is not prime. Res64: 8D377574EAC15EEF Time : 0.0 sec. user=mdettweiler [2016-06-22 05:59:45] 991*2^1433171-1 is not prime. Res64: 6FEABEF775C84C00 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:59:46] 605*2^1433172-1 is not prime. Res64: 33B92B2186AA11EB Time : 0.0 sec. user=mdettweiler [2016-06-22 05:59:46] 689*2^1433172-1 is not prime. Res64: 8053557DD5846EA8 Time : 0.0 sec. user=mdettweiler [2016-06-22 05:59:46] 719*2^1433172-1 is not prime. Res64: A5DC3194504E1C10 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:15:49] 825*2^1433172-1 is not prime. Res64: C2F4825984D10B06 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:15:50] 947*2^1433172-1 is not prime. Res64: FC6944270AA0F6FA Time : 0.0 sec. user=mdettweiler [2016-06-22 06:15:50] 649*2^1433173-1 is not prime. Res64: 22C0AEE2FA34DC2A Time : 0.0 sec. user=mdettweiler [2016-06-22 06:15:51] 675*2^1433173-1 is not prime. Res64: 94C765A8BD639339 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:15:51] 817*2^1433173-1 is not prime. Res64: 941881B021638D3E Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:00] 627*2^1433174-1 is not prime. Res64: 64ED796B7FE13A15 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:01] 663*2^1433174-1 is not prime. Res64: 2D2C8B71331514B8 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:03] 675*2^1433174-1 is not prime. Res64: 8EC4988E3AE7203C Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:04] 743*2^1433174-1 is not prime. Res64: 12AEABD8E6774EB7 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:06] 753*2^1433174-1 is not prime. Res64: 95DFC0761C2F22AD Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:50] 825*2^1433174-1 is not prime. Res64: 32134CBF637EDBBC Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:51] 851*2^1433174-1 is not prime. Res64: 2D29C61F29C0DB15 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:52] 921*2^1433174-1 is not prime. Res64: 7A0173E0C474BE4A Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:53] 935*2^1433174-1 is not prime. Res64: 2B6770F3FD8D0DA9 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:28:53] 625*2^1433175-1 is not prime. Res64: 512D38FDC969298A Time : 0.0 sec. user=mdettweiler [2016-06-22 06:44:21] 633*2^1433175-1 is not prime. Res64: 4F5A41FDB58B41D9 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:44:21] 751*2^1433175-1 is not prime. Res64: 9C50EC89F1042C43 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:44:22] 909*2^1433175-1 is not prime. Res64: 9DC4F43285CB0580 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:44:22] 623*2^1433176-1 is not prime. Res64: 5E59ED9E7B0B8927 Time : 0.0 sec. user=mdettweiler [2016-06-22 06:44:22] 779*2^1433176-1 is not prime. Res64: D4D2006340EB4401 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:00:28] 843*2^1433176-1 is not prime. Res64: 63889E66BD88723F Time : 0.0 sec. user=mdettweiler [2016-06-22 07:00:29] 869*2^1433176-1 is not prime. Res64: 48583824FC52E528 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:00:30] 887*2^1433176-1 is not prime. Res64: B83FCFF63D99C46F Time : 0.0 sec. user=mdettweiler [2016-06-22 07:00:31] 899*2^1433176-1 is not prime. Res64: 40846E4453D517E0 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:00:32] 983*2^1433176-1 is not prime. Res64: 4719FE1AD44C897C Time : 0.0 sec. user=mdettweiler [2016-06-22 07:12:51] 993*2^1433176-1 is not prime. Res64: 553F1AFE26DA620D Time : 0.0 sec. user=mdettweiler [2016-06-22 07:12:52] 999*2^1433176-1 is not prime. Res64: 01CEAF3B057AE9F2 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:12:53] 619*2^1433177-1 is not prime. Res64: 8DB4DAB52A4400A5 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:12:53] 649*2^1433177-1 is not prime. Res64: B19D700782019C83 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:12:54] 771*2^1433177-1 is not prime. Res64: 22E7DA553D62BE12 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:13:36] 915*2^1433177-1 is not prime. Res64: F9F115B5558F67AB Time : 0.0 sec. user=mdettweiler [2016-06-22 07:13:36] 949*2^1433177-1 is not prime. Res64: 11202849E4D875DC Time : 0.0 sec. user=mdettweiler [2016-06-22 07:13:37] 985*2^1433177-1 is not prime. Res64: 71FBE34FDAACF2CA Time : 0.0 sec. user=mdettweiler [2016-06-22 07:13:37] 991*2^1433177-1 is not prime. Res64: FA17E12D4934D4FB Time : 0.0 sec. user=mdettweiler [2016-06-22 07:13:37] 635*2^1433178-1 is not prime. Res64: FF613FEC9BED5AC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:28:57] 767*2^1433178-1 is not prime. Res64: D1FB0E1BFEAB6E7A Time : 0.0 sec. user=mdettweiler [2016-06-22 07:28:58] 791*2^1433178-1 is not prime. Res64: FE598B1341B70A7A Time : 0.0 sec. user=mdettweiler [2016-06-22 07:28:58] 833*2^1433178-1 is not prime. Res64: E78E468031464595 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:28:58] 975*2^1433178-1 is not prime. Res64: 3C1B932D6ED3C098 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:28:59] 625*2^1433179-1 is not prime. Res64: 91A4319F8140F7F5 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:45:13] 631*2^1433179-1 is not prime. Res64: 096BA976FDD4BEE7 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:45:13] 723*2^1433179-1 is not prime. Res64: 50FD8C1DC9F23054 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:45:14] 745*2^1433179-1 is not prime. Res64: 32A4FC16225CB78E Time : 0.0 sec. user=mdettweiler [2016-06-22 07:45:14] 765*2^1433179-1 is not prime. Res64: 06836A9BC6977E5F Time : 0.0 sec. user=mdettweiler [2016-06-22 07:45:14] 841*2^1433179-1 is not prime. Res64: D4BD482814F10851 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:57:31] 999*2^1433179-1 is not prime. Res64: D81219D666F47AA1 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:57:32] 669*2^1433180-1 is not prime. Res64: 86CA1B234579CAA3 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:57:32] 753*2^1433180-1 is not prime. Res64: 640FDC643FA8F52C Time : 0.0 sec. user=mdettweiler [2016-06-22 07:57:33] 795*2^1433180-1 is not prime. Res64: BE5EEFAD913BA926 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:57:33] 607*2^1433181-1 is not prime. Res64: 109F5A5CEA7ED4E6 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:58:14] 789*2^1433181-1 is not prime. Res64: DF60F9ACE36E5470 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:58:14] 865*2^1433181-1 is not prime. Res64: 43170CEB5D6F1C13 Time : 0.0 sec. user=mdettweiler [2016-06-22 07:58:15] 895*2^1433181-1 is not prime. Res64: 9CE734DB1108E2ED Time : 0.0 sec. user=mdettweiler [2016-06-22 07:58:15] 969*2^1433181-1 is not prime. Res64: FB085D650D25950C Time : 0.0 sec. user=mdettweiler [2016-06-22 07:58:15] 987*2^1433181-1 is not prime. Res64: 5B683C5D22C9C424 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:13:29] 651*2^1433182-1 is not prime. Res64: 1626FC39B2020B1E Time : 0.0 sec. user=mdettweiler [2016-06-22 08:13:30] 681*2^1433182-1 is not prime. Res64: 2A41545447A50797 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:13:30] 695*2^1433182-1 is not prime. Res64: 1BB20821A3093BB2 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:13:30] 705*2^1433182-1 is not prime. Res64: 9B88F6EDA44FF534 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:13:31] 813*2^1433182-1 is not prime. Res64: 3FFD1949A1AC031F Time : 0.0 sec. user=mdettweiler [2016-06-22 08:30:12] 827*2^1433182-1 is not prime. Res64: D75D94B36E388C85 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:30:12] 917*2^1433182-1 is not prime. Res64: 2C1BD1CD3D37BED1 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:30:13] 945*2^1433182-1 is not prime. Res64: 04836D09640DF114 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:30:13] 987*2^1433182-1 is not prime. Res64: 19384D19F30A74D4 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:30:13] 619*2^1433183-1 is not prime. Res64: 4B6FD5160A92CAB2 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:14] 685*2^1433183-1 is not prime. Res64: 733392E96D8CD4BE Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:14] 789*2^1433183-1 is not prime. Res64: 122135D55242B9E4 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:14] 955*2^1433183-1 is not prime. Res64: C70870EF79B4B4C5 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:15] 969*2^1433183-1 is not prime. Res64: 55E060C16345E092 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:15] 725*2^1433184-1 is not prime. Res64: 80B5E82E99503598 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:52] 767*2^1433184-1 is not prime. Res64: 4AADB0AC5C339D57 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:52] 789*2^1433184-1 is not prime. Res64: 35C2F08C517CD5D0 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:53] 893*2^1433184-1 is not prime. Res64: 6C1AC509B4D616B3 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:53] 929*2^1433184-1 is not prime. Res64: 92E6994817F10DA4 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:43:53] 993*2^1433184-1 is not prime. Res64: 4B048FA27B57EAD4 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:59:26] 645*2^1433185-1 is not prime. Res64: 4D94619C04B857B6 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:59:27] 721*2^1433185-1 is not prime. Res64: A8022C641B3E0873 Time : 0.0 sec. user=mdettweiler [2016-06-22 08:59:27] 799*2^1433185-1 is not prime. Res64: 0D7818C51D7C90DB Time : 0.0 sec. user=mdettweiler [2016-06-22 08:59:27] 819*2^1433185-1 is not prime. Res64: BDA122307648E56C Time : 0.0 sec. user=mdettweiler [2016-06-22 08:59:28] 939*2^1433185-1 is not prime. Res64: 27A7A1F6E0C3C2D8 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:15:51] 955*2^1433185-1 is not prime. Res64: B618E1ABE64A14CB Time : 0.0 sec. user=mdettweiler [2016-06-22 09:15:52] 641*2^1433186-1 is not prime. Res64: 3298C7AE57A8EE33 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:15:52] 717*2^1433186-1 is not prime. Res64: A6D57153EF5C7BA9 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:15:52] 741*2^1433186-1 is not prime. Res64: 9FF01ABAF3AEEFA0 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:15:53] 755*2^1433186-1 is not prime. Res64: F333D9E0C784E4F1 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:14] 785*2^1433186-1 is not prime. Res64: 9F363D4417826660 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:14] 857*2^1433186-1 is not prime. Res64: B3CF4D47242A59BE Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:15] 873*2^1433186-1 is not prime. Res64: 769B8C179A0BFFCB Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:15] 981*2^1433186-1 is not prime. Res64: C37D03547F834323 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:16] 751*2^1433187-1 is not prime. Res64: 7CB30088861FB0E2 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:51] 825*2^1433187-1 is not prime. Res64: D55B8BDF7A322156 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:52] 843*2^1433187-1 is not prime. Res64: A779A4F0AC1FDA56 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:52] 991*2^1433187-1 is not prime. Res64: E5B73E7D0D8EBB0E Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:53] 615*2^1433188-1 is not prime. Res64: 4F705E8AE035EBD8 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:28:53] 695*2^1433188-1 is not prime. Res64: FE759CFBD92AFD05 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:45:04] 735*2^1433188-1 is not prime. Res64: 4FDF6843EA3DB09D Time : 0.0 sec. user=mdettweiler [2016-06-22 09:45:04] 743*2^1433188-1 is not prime. Res64: AB6CE38D739839E8 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:45:05] 863*2^1433188-1 is not prime. Res64: 7A607CD395E81044 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:45:05] 929*2^1433188-1 is not prime. Res64: 4E9889CD2D031943 Time : 0.0 sec. user=mdettweiler [2016-06-22 09:45:05] 975*2^1433188-1 is not prime. Res64: EAC3647B3940E104 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:02:36] 999*2^1433188-1 is not prime. Res64: 1F47764271D40EAC Time : 0.0 sec. user=mdettweiler [2016-06-22 10:02:38] 627*2^1433189-1 is not prime. Res64: 26C52CFC11602400 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:02:39] 645*2^1433189-1 is not prime. Res64: A1DFAB08517D8F1A Time : 0.0 sec. user=mdettweiler [2016-06-22 10:02:40] 727*2^1433189-1 is not prime. Res64: A61CA380AC8769B3 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:02:41] 825*2^1433189-1 is not prime. Res64: 028AE695D3CB8DD9 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:16] 855*2^1433189-1 is not prime. Res64: 8BB66B5FE4EB19E7 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:16] 889*2^1433189-1 is not prime. Res64: CD20CEDB09AC4CFB Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:16] 611*2^1433190-1 is not prime. Res64: 70D0266209CC2B38 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:17] 851*2^1433190-1 is not prime. Res64: 56F322C14FFB964D Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:17] 861*2^1433190-1 is not prime. Res64: 4D7B9299386E0DD9 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:49] 873*2^1433190-1 is not prime. Res64: FB8F9EE6086D741B Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:49] 885*2^1433190-1 is not prime. Res64: FF16BF12E1A01D2C Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:49] 933*2^1433190-1 is not prime. Res64: 2299B3B3B6695A37 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:50] 651*2^1433191-1 is not prime. Res64: 59EB49DE4F001141 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:16:50] 705*2^1433191-1 is not prime. Res64: D90A5406738F770A Time : 0.0 sec. user=mdettweiler [2016-06-22 10:33:09] 741*2^1433191-1 is not prime. Res64: 2764BF05B665D5FA Time : 0.0 sec. user=mdettweiler [2016-06-22 10:33:10] 805*2^1433191-1 is not prime. Res64: F08EA96CCF1F0A58 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:33:10] 843*2^1433191-1 is not prime. Res64: 8F6D4C13799A686D Time : 0.0 sec. user=mdettweiler [2016-06-22 10:33:11] 859*2^1433191-1 is not prime. Res64: DABE168033A00CC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:33:11] 969*2^1433191-1 is not prime. Res64: 861BCEA081196711 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:49:55] 973*2^1433191-1 is not prime. Res64: 8C2593789D632D58 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:49:55] 603*2^1433192-1 is not prime. Res64: 5E35470E7486A301 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:49:55] 615*2^1433192-1 is not prime. Res64: 6B06B537F3BA6A23 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:49:55] 623*2^1433192-1 is not prime. Res64: 00D8FD5D8D572A20 Time : 0.0 sec. user=mdettweiler [2016-06-22 10:49:56] 669*2^1433192-1 is not prime. Res64: EDCBB3DED66F71A1 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:26] 875*2^1433192-1 is not prime. Res64: FE9F091B390DB473 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:26] 879*2^1433192-1 is not prime. Res64: BA6413DD0728749E Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:27] 977*2^1433192-1 is not prime. Res64: 04F69AB080F1AF86 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:27] 849*2^1433193-1 is not prime. Res64: 6C97E638558F8A54 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:28] 985*2^1433193-1 is not prime. Res64: 6414D044AE8B874B Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:56] 617*2^1433194-1 is not prime. Res64: 4EF659A0E31E1973 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:57] 705*2^1433194-1 is not prime. Res64: A7B4187ABD8B751F Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:57] 815*2^1433194-1 is not prime. Res64: C4157CC5E225C37F Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:58] 923*2^1433194-1 is not prime. Res64: D8BE486343EFFC91 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:02:58] 957*2^1433194-1 is not prime. Res64: EE978C7A6F48042E Time : 0.0 sec. user=mdettweiler [2016-06-22 11:19:08] 649*2^1433195-1 is not prime. Res64: 6B15557CFDFBEAF9 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:19:09] 663*2^1433195-1 is not prime. Res64: 5C64C9F2BE354993 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:19:09] 715*2^1433195-1 is not prime. Res64: 06E7776FCC83CFD1 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:19:09] 759*2^1433195-1 is not prime. Res64: 575A74B5191EAFA9 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:19:10] 939*2^1433195-1 is not prime. Res64: 57EB1C8E5BDE6DAD Time : 0.0 sec. user=mdettweiler [2016-06-22 11:35:26] 949*2^1433195-1 is not prime. Res64: D8BDDD698145C118 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:35:26] 979*2^1433195-1 is not prime. Res64: E9B6A7567BFA73D8 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:35:27] 627*2^1433196-1 is not prime. Res64: 8F2054DD226ADD66 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:35:28] 633*2^1433196-1 is not prime. Res64: 3F46C74F3A04DFF1 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:35:28] 695*2^1433196-1 is not prime. Res64: 679BF5AFED9FCC0B Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:27] 705*2^1433196-1 is not prime. Res64: A118CAE366E616B4 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:28] 765*2^1433196-1 is not prime. Res64: 8F17B24293930869 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:28] 809*2^1433196-1 is not prime. Res64: DA25FB2DBEFD4D1D Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:28] 905*2^1433196-1 is not prime. Res64: 4F9DA3ABF6710AF2 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:29] 945*2^1433196-1 is not prime. Res64: 0D6EB5352A56A54D Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:53] 717*2^1433197-1 is not prime. Res64: 7EC24D22901BEF11 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:53] 727*2^1433197-1 is not prime. Res64: E9473E428E67A8B9 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:54] 871*2^1433197-1 is not prime. Res64: B3CDA974774E784D Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:54] 771*2^1433198-1 is not prime. Res64: 8835A4B467455F91 Time : 0.0 sec. user=mdettweiler [2016-06-22 11:47:55] 815*2^1433198-1 is not prime. Res64: 65E1B3AB115FE3B6 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:04:24] 957*2^1433198-1 is not prime. Res64: 4A95866F35F55C67 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:04:25] 661*2^1433199-1 is not prime. Res64: FA1D518E2CD269DF Time : 0.0 sec. user=mdettweiler [2016-06-22 12:04:26] 711*2^1433199-1 is not prime. Res64: 87508A1636246FC7 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:04:27] 769*2^1433199-1 is not prime. Res64: 4C2C82520872FB00 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:04:28] 861*2^1433199-1 is not prime. Res64: CA586C90D94E0E92 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:20:38] 885*2^1433199-1 is not prime. Res64: CA8B31B65065F17A Time : 0.0 sec. user=mdettweiler [2016-06-22 12:20:38] 665*2^1433200-1 is not prime. Res64: AFA4407F44F4A233 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:20:38] 677*2^1433200-1 is not prime. Res64: BCEBCB82F68E2EA3 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:20:39] 693*2^1433200-1 is not prime. Res64: 263947AD847025D7 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:20:39] 695*2^1433200-1 is not prime. Res64: BDE6872F0AC9554F Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:26] 843*2^1433200-1 is not prime. Res64: 0710CA758C098DB1 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:26] 905*2^1433200-1 is not prime. Res64: 4CAC2CBF96188DB4 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:26] 927*2^1433200-1 is not prime. Res64: 974979672D0524E0 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:27] 631*2^1433201-1 is not prime. Res64: D11E83E4792FBDB4 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:27] 705*2^1433201-1 is not prime. Res64: 845951DC6C3C297F Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:59] 909*2^1433201-1 is not prime. Res64: 64BD3C40202C2D3E Time : 0.0 sec. user=mdettweiler [2016-06-22 12:32:59] 997*2^1433201-1 is not prime. Res64: C88F54CE00296AA9 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:33:00] 647*2^1433202-1 is not prime. Res64: 635EAE760AA5F93B Time : 0.0 sec. user=mdettweiler [2016-06-22 12:33:00] 837*2^1433202-1 is not prime. Res64: AC9B19B96CB0A20D Time : 0.0 sec. user=mdettweiler [2016-06-22 12:33:01] 843*2^1433202-1 is not prime. Res64: A5F8BB183DEA5AD4 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:49:35] 873*2^1433202-1 is not prime. Res64: F8F47E2202083901 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:49:36] 945*2^1433202-1 is not prime. Res64: 46EE66FAC27B74D3 Time : 0.0 sec. user=mdettweiler [2016-06-22 12:49:36] 947*2^1433202-1 is not prime. Res64: FFFA5A28EC79004B Time : 0.0 sec. user=mdettweiler [2016-06-22 12:49:37] 639*2^1433203-1 is not prime. Res64: 948F93AE40A97A3F Time : 0.0 sec. user=mdettweiler [2016-06-22 12:49:37] 793*2^1433203-1 is not prime. Res64: 82783A3B3572B6F6 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:05:42] 919*2^1433203-1 is not prime. Res64: 82084DB1DA05AF96 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:05:44] 973*2^1433203-1 is not prime. Res64: 7DB693B2DF6E2F75 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:05:45] 687*2^1433204-1 is not prime. Res64: E869EFD959C223DB Time : 0.0 sec. user=mdettweiler [2016-06-22 13:05:46] 885*2^1433204-1 is not prime. Res64: CAA525397ED563C6 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:05:47] 935*2^1433204-1 is not prime. Res64: C14FE18FE7D96B4F Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:18] 651*2^1433205-1 is not prime. Res64: D22448D56623C070 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:19] 691*2^1433205-1 is not prime. Res64: 1D0A6D1202038E5C Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:19] 735*2^1433205-1 is not prime. Res64: B9E2235261837CC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:20] 859*2^1433205-1 is not prime. Res64: C9402DAE72F222DB Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:20] 889*2^1433205-1 is not prime. Res64: 97A2BF2D591BEE94 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:46] 891*2^1433205-1 is not prime. Res64: 2690E27F06E5615F Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:46] 961*2^1433205-1 is not prime. Res64: 1CB9B5F1C9790A2A Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:47] 975*2^1433205-1 is not prime. Res64: 26278ABBAE0BF42B Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:47] 611*2^1433206-1 is not prime. Res64: 4BD3DFC7880DA9FD Time : 0.0 sec. user=mdettweiler [2016-06-22 13:17:48] 651*2^1433206-1 is not prime. Res64: 9EF62F31E2EEAE7B Time : 0.0 sec. user=mdettweiler [2016-06-22 13:34:22] 713*2^1433206-1 is not prime. Res64: B91F9510E93D5911 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:34:22] 773*2^1433206-1 is not prime. Res64: 77F40C690BAA8E4A Time : 0.0 sec. user=mdettweiler [2016-06-22 13:34:23] 783*2^1433206-1 is not prime. Res64: 3C594C9E2F24E401 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:34:23] 873*2^1433206-1 is not prime. Res64: 9104912248298E0E Time : 0.0 sec. user=mdettweiler [2016-06-22 13:34:24] 941*2^1433206-1 is not prime. Res64: 3B15D3204C940DB6 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:51:11] 813*2^1433207-1 is not prime. Res64: 35D0F49856B46C1F Time : 0.0 sec. user=mdettweiler [2016-06-22 13:51:11] 825*2^1433207-1 is not prime. Res64: 2E4BAB65D1DAA5F9 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:51:12] 993*2^1433207-1 is not prime. Res64: BC82F8A47340A898 Time : 0.0 sec. user=mdettweiler [2016-06-22 13:51:12] 629*2^1433208-1 is not prime. Res64: 051F1847CA0554AF Time : 0.0 sec. user=mdettweiler [2016-06-22 13:51:13] 663*2^1433208-1 is not prime. Res64: 8928CDEB3FC1EDBF Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:17] 707*2^1433208-1 is not prime. Res64: C3001CFADF6E86B1 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:18] 725*2^1433208-1 is not prime. Res64: DE59D25FCFC2D5BB Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:18] 737*2^1433208-1 is not prime. Res64: 14EF821A168C25D2 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:20] 773*2^1433208-1 is not prime. Res64: D1000B27C556D732 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:20] 795*2^1433208-1 is not prime. Res64: 71FB52AFDBADF3DB Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:56] 809*2^1433208-1 is not prime. Res64: A22168DFD1E0F581 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:57] 825*2^1433208-1 is not prime. Res64: 48637C6A80291D34 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:58] 845*2^1433208-1 is not prime. Res64: EF36F9CFC9F54B68 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:59] 975*2^1433208-1 is not prime. Res64: 0C2618D23C50FCE2 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:02:59] 649*2^1433209-1 is not prime. Res64: 5EC96B4AB18ED5F6 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:19:28] 807*2^1433209-1 is not prime. Res64: CD6F372FD7319026 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:19:28] 817*2^1433209-1 is not prime. Res64: CDFAD44352760288 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:19:29] 831*2^1433209-1 is not prime. Res64: E6E2552A1E9FAF1A Time : 0.0 sec. user=mdettweiler [2016-06-22 14:19:29] 841*2^1433209-1 is not prime. Res64: AC51A3A8CF1771AE Time : 0.0 sec. user=mdettweiler [2016-06-22 14:19:29] 867*2^1433209-1 is not prime. Res64: AAA40D0567BD0FE1 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:36:11] 919*2^1433209-1 is not prime. Res64: C91D679692DCDD9C Time : 0.0 sec. user=mdettweiler [2016-06-22 14:36:11] 645*2^1433210-1 is not prime. Res64: 53B8BD3B67A7BAD9 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:36:12] 701*2^1433210-1 is not prime. Res64: 5FC63B7A8B4B2E6D Time : 0.0 sec. user=mdettweiler [2016-06-22 14:36:12] 743*2^1433210-1 is not prime. Res64: 181A773769047122 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:36:12] 755*2^1433210-1 is not prime. Res64: 283BFDB56DF523BC Time : 0.0 sec. user=mdettweiler [2016-06-22 14:47:16] 791*2^1433210-1 is not prime. Res64: FA05D65DDF3EEE4C Time : 0.0 sec. user=mdettweiler [2016-06-22 14:47:17] 827*2^1433210-1 is not prime. Res64: B48960026F0F7A0A Time : 0.0 sec. user=mdettweiler [2016-06-22 14:47:17] 857*2^1433210-1 is not prime. Res64: E3408756FC779BC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:47:17] 885*2^1433210-1 is not prime. Res64: 6D9B86D322BFCF21 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:47:18] 911*2^1433210-1 is not prime. Res64: 0726B76B3BE66369 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:48:14] 935*2^1433210-1 is not prime. Res64: 014E1665DF5CEFD2 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:48:14] 953*2^1433210-1 is not prime. Res64: E844039519D53C96 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:48:15] 741*2^1433211-1 is not prime. Res64: 77ECA7B56C1CED60 Time : 0.0 sec. user=mdettweiler [2016-06-22 14:48:16] 751*2^1433211-1 is not prime. Res64: CA404E318B00B0DF Time : 0.0 sec. user=mdettweiler [2016-06-22 14:48:16] 829*2^1433211-1 is not prime. Res64: 5587B28F1D880CC8 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:04:31] 943*2^1433211-1 is not prime. Res64: B1679B33D78E56E5 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:04:33] 605*2^1433212-1 is not prime. Res64: 3E2CAC47DF9BE111 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:04:35] 615*2^1433212-1 is not prime. Res64: BCCD764ECE0FD669 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:04:37] 693*2^1433212-1 is not prime. Res64: 91D50F8BE6738706 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:04:38] 717*2^1433212-1 is not prime. Res64: 51D66E10AD85CAAF Time : 0.0 sec. user=mdettweiler [2016-06-22 15:21:19] 715*2^1433213-1 is not prime. Res64: 13B90B9134F436F8 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:21:19] 885*2^1433213-1 is not prime. Res64: B03DD13598AD7520 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:21:20] 901*2^1433213-1 is not prime. Res64: F11F059809485D34 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:21:20] 969*2^1433213-1 is not prime. Res64: 36F501A5F4E904E0 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:21:21] 635*2^1433214-1 is not prime. Res64: 16860C1565C6CF3E Time : 0.0 sec. user=mdettweiler [2016-06-22 15:32:17] 651*2^1433214-1 is not prime. Res64: E331869950998A8C Time : 0.0 sec. user=mdettweiler [2016-06-22 15:32:18] 657*2^1433214-1 is not prime. Res64: 66BEA2820161925B Time : 0.0 sec. user=mdettweiler [2016-06-22 15:32:19] 797*2^1433214-1 is not prime. Res64: D6BE70E51F4F9BF8 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:32:19] 927*2^1433214-1 is not prime. Res64: 099C4DBE927F9D67 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:32:20] 639*2^1433215-1 is not prime. Res64: 65BAE9C4EC23DA64 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:33:17] 861*2^1433215-1 is not prime. Res64: BF66F7BA1B530A50 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:33:18] 961*2^1433215-1 is not prime. Res64: 9B59E20AB8333CF0 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:33:18] 629*2^1433216-1 is not prime. Res64: 30BF9CE73C761A20 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:33:19] 645*2^1433216-1 is not prime. Res64: E8A35B4E0C91EDD8 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:33:19] 683*2^1433216-1 is not prime. Res64: 0610E84BBC864E01 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:49:58] 843*2^1433216-1 is not prime. Res64: 4FE658019592DB67 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:49:59] 923*2^1433216-1 is not prime. Res64: C7EDC3F89E5E4CF4 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:49:59] 739*2^1433217-1 is not prime. Res64: 13C95040579BF9BF Time : 0.0 sec. user=mdettweiler [2016-06-22 15:49:59] 765*2^1433217-1 is not prime. Res64: 019B48EA24314C70 Time : 0.0 sec. user=mdettweiler [2016-06-22 15:50:00] 805*2^1433217-1 is not prime. Res64: 2CD7745FC44B4A22 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:06:28] 945*2^1433217-1 is not prime. Res64: 7F6EB950CD45C155 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:06:29] 991*2^1433217-1 is not prime. Res64: CAF48DB5EE55668A Time : 0.0 sec. user=mdettweiler [2016-06-22 16:06:31] 665*2^1433218-1 is not prime. Res64: CD33F27C097E9708 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:06:32] 735*2^1433218-1 is not prime. Res64: A5F5A9C638868831 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:06:34] 827*2^1433218-1 is not prime. Res64: 3B94969044AF36E7 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:17:08] 887*2^1433218-1 is not prime. Res64: A64E50D8663CE04F Time : 0.0 sec. user=mdettweiler [2016-06-22 16:17:09] 621*2^1433219-1 is not prime. Res64: 6B09EC8FA1742D9C Time : 0.0 sec. user=mdettweiler [2016-06-22 16:17:09] 733*2^1433219-1 is not prime. Res64: D100329FC5592276 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:17:10] 843*2^1433219-1 is not prime. Res64: 24342DF97C530C7B Time : 0.0 sec. user=mdettweiler [2016-06-22 16:17:10] 859*2^1433219-1 is not prime. Res64: 6F8D0F70932C4F7A Time : 0.0 sec. user=mdettweiler [2016-06-22 16:18:20] 999*2^1433219-1 is not prime. Res64: 19D554E01F16DC75 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:18:21] 635*2^1433220-1 is not prime. Res64: FA97F1B8D829443F Time : 0.0 sec. user=mdettweiler [2016-06-22 16:18:21] 707*2^1433220-1 is not prime. Res64: FB18D4286E8D5135 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:18:21] 737*2^1433220-1 is not prime. Res64: B9D53F5A99457C86 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:18:22] 773*2^1433220-1 is not prime. Res64: CF5189A99EC68267 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:35:03] 777*2^1433220-1 is not prime. Res64: 8AABEE9ACB0D44AC Time : 0.0 sec. user=mdettweiler [2016-06-22 16:35:03] 887*2^1433220-1 is not prime. Res64: 1FE9F25E1D457B8B Time : 0.0 sec. user=mdettweiler [2016-06-22 16:35:04] 933*2^1433220-1 is not prime. Res64: 8B6C325643C97BD5 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:35:04] 685*2^1433221-1 is not prime. Res64: BFA21F6C833702F0 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:35:04] 745*2^1433221-1 is not prime. Res64: 319C9A250CB71F7E Time : 0.0 sec. user=mdettweiler [2016-06-22 16:51:38] 751*2^1433221-1 is not prime. Res64: 50B1FE47BAA10D3F Time : 0.0 sec. user=mdettweiler [2016-06-22 16:51:39] 877*2^1433221-1 is not prime. Res64: 15D4EF9273BAAA9F Time : 0.0 sec. user=mdettweiler [2016-06-22 16:51:39] 937*2^1433221-1 is not prime. Res64: 8F904FCEB26128AE Time : 0.0 sec. user=mdettweiler [2016-06-22 16:51:40] 675*2^1433222-1 is not prime. Res64: F98365BA9CAA17B7 Time : 0.0 sec. user=mdettweiler [2016-06-22 16:51:40] 897*2^1433222-1 is not prime. Res64: 5183E12C6E647184 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:02:17] 619*2^1433223-1 is not prime. Res64: 1094E99AC6D63BD2 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:02:18] 643*2^1433223-1 is not prime. Res64: 7EE90894F249ADA8 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:02:19] 649*2^1433223-1 is not prime. Res64: 99FD55C49C6416E4 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:02:20] 675*2^1433223-1 is not prime. Res64: 5E95EED812EEFDC3 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:02:21] 795*2^1433223-1 is not prime. Res64: 7A11535A6C247A5E Time : 0.0 sec. user=mdettweiler [2016-06-22 17:03:19] 605*2^1433224-1 is not prime. Res64: 345964506533F837 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:03:20] 639*2^1433224-1 is not prime. Res64: C3B786C2CEE014C5 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:03:21] 695*2^1433224-1 is not prime. Res64: F8039A8D54223B6A Time : 0.0 sec. user=mdettweiler [2016-06-22 17:03:21] 887*2^1433224-1 is not prime. Res64: F7514349C9A03DAA Time : 0.0 sec. user=mdettweiler [2016-06-22 17:03:22] 975*2^1433224-1 is not prime. Res64: 6A4D4410E94DF9A5 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:19:51] 649*2^1433225-1 is not prime. Res64: D1870596462FE48C Time : 0.0 sec. user=mdettweiler [2016-06-22 17:19:51] 741*2^1433225-1 is not prime. Res64: CD66F0F6B8CD923F Time : 0.0 sec. user=mdettweiler [2016-06-22 17:19:52] 777*2^1433225-1 is not prime. Res64: 219BD61B8D490943 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:19:52] 789*2^1433225-1 is not prime. Res64: 7E8FD950E00CEB81 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:19:53] 925*2^1433225-1 is not prime. Res64: 8D1CE00EC570945C Time : 0.0 sec. user=mdettweiler [2016-06-22 17:36:38] 991*2^1433225-1 is not prime. Res64: D7DBB17E248AF552 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:36:38] 741*2^1433226-1 is not prime. Res64: 9BC68F63447C9EB5 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:36:39] 765*2^1433226-1 is not prime. Res64: 62081512393995CB Time : 0.0 sec. user=mdettweiler [2016-06-22 17:36:39] 807*2^1433226-1 is not prime. Res64: 65B22B953EB106BD Time : 0.0 sec. user=mdettweiler [2016-06-22 17:36:40] 815*2^1433226-1 is not prime. Res64: F1C9C5961E57AF70 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:47:39] 861*2^1433226-1 is not prime. Res64: 751BD3A90FD981B6 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:47:39] 891*2^1433226-1 is not prime. Res64: 1617489965392EB1 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:47:39] 983*2^1433226-1 is not prime. Res64: 262A05FD1B8ADBF3 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:47:40] 993*2^1433226-1 is not prime. Res64: CBF1C7BC3F9940F6 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:47:40] 1001*2^1433226-1 is not prime. Res64: B313C1F84C6EABA2 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:48:35] 693*2^1433227-1 is not prime. Res64: BCB5C0620456D32E Time : 0.0 sec. user=mdettweiler [2016-06-22 17:48:35] 975*2^1433227-1 is not prime. Res64: 836A14AE1947C5A9 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:48:35] 603*2^1433228-1 is not prime. Res64: C7DFBFC90C794570 Time : 0.0 sec. user=mdettweiler [2016-06-22 17:48:36] 635*2^1433228-1 is not prime. Res64: A5849C13F248CF7F Time : 0.0 sec. user=mdettweiler [2016-06-22 17:48:36] 707*2^1433228-1 is not prime. Res64: 1C4A02BD75F41366 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:04:51] 755*2^1433228-1 is not prime. Res64: 98C9E7D20662CADF Time : 0.0 sec. user=mdettweiler [2016-06-22 18:04:53] 813*2^1433228-1 is not prime. Res64: 25891A8560B94049 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:04:56] 825*2^1433228-1 is not prime. Res64: 28940B557913C289 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:04:57] 885*2^1433228-1 is not prime. Res64: FD81EDBACD701BFE Time : 0.0 sec. user=mdettweiler [2016-06-22 18:04:59] 847*2^1433229-1 is not prime. Res64: B689AF92902A1272 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:21:28] 861*2^1433229-1 is not prime. Res64: D86EDFCF1D85C6DA Time : 0.0 sec. user=mdettweiler [2016-06-22 18:21:28] 955*2^1433229-1 is not prime. Res64: 8B3C737B4CFD2FBD Time : 0.0 sec. user=mdettweiler [2016-06-22 18:21:29] 985*2^1433229-1 is not prime. Res64: 3E4940D727ED98CD Time : 0.0 sec. user=mdettweiler [2016-06-22 18:21:29] 987*2^1433229-1 is not prime. Res64: 670D74C3D44B8D90 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:21:30] 991*2^1433229-1 is not prime. Res64: 673C66767402C170 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:32:45] 657*2^1433230-1 is not prime. Res64: F2D80ED827C89C4E Time : 0.0 sec. user=mdettweiler [2016-06-22 18:32:46] 747*2^1433230-1 is not prime. Res64: C72FC39D0F7DC757 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:32:46] 777*2^1433230-1 is not prime. Res64: EB8A4B7BB467048E Time : 0.0 sec. user=mdettweiler [2016-06-22 18:32:47] 831*2^1433230-1 is not prime. Res64: 316E63818342AC61 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:32:47] 857*2^1433230-1 is not prime. Res64: 9A28AD00AD608CB0 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:33:41] 863*2^1433230-1 is not prime. Res64: 740F07A5AF387930 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:33:41] 887*2^1433230-1 is not prime. Res64: 76D75D2759594803 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:33:41] 619*2^1433231-1 is not prime. Res64: 3725592EC4F2976B Time : 0.0 sec. user=mdettweiler [2016-06-22 18:33:42] 621*2^1433231-1 is not prime. Res64: B07C4B4F9CE3F93F Time : 0.0 sec. user=mdettweiler [2016-06-22 18:33:42] 651*2^1433231-1 is not prime. Res64: 2B1EBE6D414D1BB1 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:50:18] 693*2^1433231-1 is not prime. Res64: 3A69358D821E92CE Time : 0.0 sec. user=mdettweiler [2016-06-22 18:50:18] 745*2^1433231-1 is not prime. Res64: 50A3D04177CC9291 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:50:18] 753*2^1433231-1 is not prime. Res64: C791D19A8969DDB9 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:50:19] 789*2^1433231-1 is not prime. Res64: 28DA11CAEB9947C4 Time : 0.0 sec. user=mdettweiler [2016-06-22 18:50:19] 871*2^1433231-1 is not prime. Res64: 315F528AFC096033 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:06:36] 885*2^1433231-1 is not prime. Res64: 9CEDAF07A5F120FA Time : 0.0 sec. user=mdettweiler [2016-06-22 19:06:37] 909*2^1433231-1 is not prime. Res64: 1F716D383BD65391 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:06:37] 633*2^1433232-1 is not prime. Res64: 66E33B835E7FA39E Time : 0.0 sec. user=mdettweiler [2016-06-22 19:06:38] 639*2^1433232-1 is not prime. Res64: 91755C8955CC50B4 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:06:38] 657*2^1433232-1 is not prime. Res64: BE1F295B0A2ACE9A Time : 0.0 sec. user=mdettweiler [2016-06-22 19:17:41] 693*2^1433232-1 is not prime. Res64: E8937C413787D96D Time : 0.0 sec. user=mdettweiler [2016-06-22 19:17:42] 929*2^1433232-1 is not prime. Res64: 8C2100B2331FED49 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:17:42] 609*2^1433233-1 is not prime. Res64: A250A8229BC3F78B Time : 0.0 sec. user=mdettweiler [2016-06-22 19:17:43] 687*2^1433233-1 is not prime. Res64: 09149A81CE8E86F5 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:17:43] 705*2^1433233-1 is not prime. Res64: 51CC5465868B916E Time : 0.0 sec. user=mdettweiler [2016-06-22 19:18:30] 775*2^1433233-1 is not prime. Res64: CD159A58761C33D7 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:18:30] 819*2^1433233-1 is not prime. Res64: 4E175F9A8962E5EF Time : 0.0 sec. user=mdettweiler [2016-06-22 19:18:30] 835*2^1433233-1 is not prime. Res64: 4559A9DDB3B71EB8 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:18:31] 915*2^1433233-1 is not prime. Res64: 8828D1BA04D581EA Time : 0.0 sec. user=mdettweiler [2016-06-22 19:18:31] 987*2^1433233-1 is not prime. Res64: EC198CB8BF2E02D6 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:35:09] 999*2^1433233-1 is not prime. Res64: 07AAA6950F2F7859 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:35:10] 633*2^1433234-1 is not prime. Res64: 2BC88FB843B34B31 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:35:10] 741*2^1433234-1 is not prime. Res64: 74645931ADA28391 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:35:10] 983*2^1433234-1 is not prime. Res64: 7352919102FDD459 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:35:11] 651*2^1433235-1 is not prime. Res64: FC1EEF20DD35E6F5 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:51:55] 709*2^1433235-1 is not prime. Res64: 78F18711C1D2C53D Time : 0.0 sec. user=mdettweiler [2016-06-22 19:51:55] 823*2^1433235-1 is not prime. Res64: 1EEA9519500851CA Time : 0.0 sec. user=mdettweiler [2016-06-22 19:51:55] 999*2^1433235-1 is not prime. Res64: 495FED5C65D65BC5 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:51:56] 657*2^1433236-1 is not prime. Res64: 9E3EA043C97968C4 Time : 0.0 sec. user=mdettweiler [2016-06-22 19:51:56] 717*2^1433236-1 is not prime. Res64: 4B24F1CCD60DB4CE Time : 0.0 sec. user=mdettweiler [2016-06-22 20:02:29] 743*2^1433236-1 is not prime. Res64: C6238279FC4854CC Time : 0.0 sec. user=mdettweiler [2016-06-22 20:02:30] 759*2^1433236-1 is not prime. Res64: 4D4C538F8AF85B60 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:02:31] 803*2^1433236-1 is not prime. Res64: 25232CF3D6A94D47 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:02:31] 855*2^1433236-1 is not prime. Res64: E1FB48E04A941479 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:02:32] 927*2^1433236-1 is not prime. Res64: D9A4E9E5D055F52E Time : 0.0 sec. user=mdettweiler [2016-06-22 20:03:48] 953*2^1433236-1 is not prime. Res64: 609B2CF136EE6262 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:03:50] 669*2^1433237-1 is not prime. Res64: 932FB8ED89E3D12A Time : 0.0 sec. user=mdettweiler [2016-06-22 20:03:50] 715*2^1433237-1 is not prime. Res64: 84D08AB173D1D6C3 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:03:51] 741*2^1433237-1 is not prime. Res64: FB9C086B43DC0D14 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:03:52] 825*2^1433237-1 is not prime. Res64: 1E123104787F076D Time : 0.0 sec. user=mdettweiler [2016-06-22 20:20:33] 861*2^1433237-1 is not prime. Res64: 7CD165C5B8AF53F0 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:20:33] 939*2^1433237-1 is not prime. Res64: 869B51E5DFAF1AF0 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:20:33] 945*2^1433237-1 is not prime. Res64: 47B72C771069BAE8 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:20:34] 981*2^1433237-1 is not prime. Res64: 4CE8140221F763C1 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:20:34] 681*2^1433238-1 is not prime. Res64: DF2BE08A177F5DC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:36:43] 693*2^1433238-1 is not prime. Res64: BDC965EBD5F88537 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:36:43] 861*2^1433238-1 is not prime. Res64: 429C3A649A8B5382 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:36:44] 951*2^1433238-1 is not prime. Res64: 1B6B550C2DBBA071 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:36:45] 975*2^1433238-1 is not prime. Res64: A3747B2681A3AB98 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:36:46] 603*2^1433239-1 is not prime. Res64: 65A44E86949442F3 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:47:33] 735*2^1433239-1 is not prime. Res64: 01F68DF8C47F2E3D Time : 0.0 sec. user=mdettweiler [2016-06-22 20:47:33] 771*2^1433239-1 is not prime. Res64: 6C47BF5F4AD3B426 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:47:34] 943*2^1433239-1 is not prime. Res64: 8851DDE5DB4DAE83 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:47:34] 979*2^1433239-1 is not prime. Res64: E0E863F7855DC17B Time : 0.0 sec. user=mdettweiler [2016-06-22 20:47:35] 999*2^1433239-1 is not prime. Res64: 72263935077937F2 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:48:40] 713*2^1433240-1 is not prime. Res64: 1DFC4B55C03916A3 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:48:40] 753*2^1433240-1 is not prime. Res64: 4DF6F7F8E79B0563 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:48:42] 767*2^1433240-1 is not prime. Res64: 9D06C95E014CD2D9 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:48:42] 827*2^1433240-1 is not prime. Res64: 50A67741BCC43374 Time : 0.0 sec. user=mdettweiler [2016-06-22 20:48:43] 843*2^1433240-1 is not prime. Res64: DC695290341D816D Time : 0.0 sec. user=mdettweiler [2016-06-22 21:05:25] 649*2^1433241-1 is not prime. Res64: 59139E284DF7AB95 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:05:26] 651*2^1433241-1 is not prime. Res64: A2605746918F9F8A Time : 0.0 sec. user=mdettweiler [2016-06-22 21:05:27] 669*2^1433241-1 is not prime. Res64: 3DC4C1E346FAE0CF Time : 0.0 sec. user=mdettweiler [2016-06-22 21:05:30] 741*2^1433241-1 is not prime. Res64: 2B485C86C74AB842 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:05:32] 805*2^1433241-1 is not prime. Res64: D09484ACBD2C21BC Time : 0.0 sec. user=mdettweiler [2016-06-22 21:21:38] 889*2^1433241-1 is not prime. Res64: DE03A5E65194711F Time : 0.0 sec. user=mdettweiler [2016-06-22 21:21:38] 895*2^1433241-1 is not prime. Res64: FBDC7DE0E65E78F2 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:21:38] 937*2^1433241-1 is not prime. Res64: ACC71625FAF961D6 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:21:39] 647*2^1433242-1 is not prime. Res64: 73AFDF8B11245F6E Time : 0.0 sec. user=mdettweiler [2016-06-22 21:21:39] 705*2^1433242-1 is not prime. Res64: EAC631FEEA34D314 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:32:34] 737*2^1433242-1 is not prime. Res64: DF642484FB177065 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:32:35] 765*2^1433242-1 is not prime. Res64: EAE0702D2B242D83 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:32:35] 821*2^1433242-1 is not prime. Res64: C5E22A266C474697 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:32:35] 873*2^1433242-1 is not prime. Res64: 4AA208443653B908 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:32:36] 775*2^1433243-1 is not prime. Res64: 3D0C87A837FF3AF8 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:33:36] 801*2^1433243-1 is not prime. Res64: 77D8C12C1DBBDBE3 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:33:37] 825*2^1433243-1 is not prime. Res64: 510BBAC58389A77C Time : 0.0 sec. user=mdettweiler [2016-06-22 21:33:37] 895*2^1433243-1 is not prime. Res64: B242721E3152A2A5 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:33:38] 963*2^1433243-1 is not prime. Res64: 8F0F72D1BF358672 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:33:38] 973*2^1433243-1 is not prime. Res64: C3A62897875D8CC8 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:50:45] 663*2^1433244-1 is not prime. Res64: ED9519D067949AE4 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:50:45] 809*2^1433244-1 is not prime. Res64: 2A9260915DEE7649 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:50:46] 825*2^1433244-1 is not prime. Res64: 2BE1FD0B4B8A30AB Time : 0.0 sec. user=mdettweiler [2016-06-22 21:50:46] 929*2^1433244-1 is not prime. Res64: 01D134B7CED97F33 Time : 0.0 sec. user=mdettweiler [2016-06-22 21:50:46] 609*2^1433245-1 is not prime. Res64: 8EA0EC30620D3F60 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:06:41] 715*2^1433245-1 is not prime. Res64: C9B0333504130E7F Time : 0.0 sec. user=mdettweiler [2016-06-22 22:06:43] 717*2^1433245-1 is not prime. Res64: 581995ECF3EDBDFE Time : 0.0 sec. user=mdettweiler [2016-06-22 22:06:44] 721*2^1433245-1 is not prime. Res64: 9438CBE1809D3C2C Time : 0.0 sec. user=mdettweiler [2016-06-22 22:06:45] 799*2^1433245-1 is not prime. Res64: 7BEFE6276CDB499E Time : 0.0 sec. user=mdettweiler [2016-06-22 22:06:45] 801*2^1433245-1 is not prime. Res64: 57F37E283F08C818 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:17:34] 825*2^1433245-1 is not prime. Res64: 1533C764AA971E7E Time : 0.0 sec. user=mdettweiler [2016-06-22 22:17:35] 859*2^1433245-1 is not prime. Res64: 963D80E6F4820C7E Time : 0.0 sec. user=mdettweiler [2016-06-22 22:17:35] 861*2^1433245-1 is not prime. Res64: FAFEA903C1100F2A Time : 0.0 sec. user=mdettweiler [2016-06-22 22:17:35] 895*2^1433245-1 is not prime. Res64: DD08AD7DC7CC637E Time : 0.0 sec. user=mdettweiler [2016-06-22 22:17:36] 937*2^1433245-1 is not prime. Res64: 89CB070E7063B060 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:18:43] 755*2^1433246-1 is not prime. Res64: F16D68147B94CDAD Time : 0.0 sec. user=mdettweiler [2016-06-22 22:18:44] 815*2^1433246-1 is not prime. Res64: C3B56B4F5D28DFF8 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:18:44] 897*2^1433246-1 is not prime. Res64: CB85BD171DF52526 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:18:44] 987*2^1433246-1 is not prime. Res64: 3F4FEC994C68EB09 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:18:45] 831*2^1433247-1 is not prime. Res64: FA493EE8CFAAE5E4 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:35:33] 885*2^1433247-1 is not prime. Res64: B7F5DA6495AD089E Time : 0.0 sec. user=mdettweiler [2016-06-22 22:35:34] 933*2^1433247-1 is not prime. Res64: 0035FCFADE78EEA0 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:35:34] 951*2^1433247-1 is not prime. Res64: 00A7C337E49EC8E8 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:35:35] 819*2^1433248-1 is not prime. Res64: B1D8509AE439D885 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:35:35] 833*2^1433248-1 is not prime. Res64: 9023276EAB7B2369 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:51:57] 849*2^1433248-1 is not prime. Res64: 93B034F84E5E2E47 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:51:57] 863*2^1433248-1 is not prime. Res64: C0FBB9C1CCA5FA01 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:51:58] 909*2^1433248-1 is not prime. Res64: DD1EB5D6F72E0BB2 Time : 0.0 sec. user=mdettweiler [2016-06-22 22:51:58] 615*2^1433249-1 is not prime. Res64: E0A216E13F3B36BC Time : 0.0 sec. user=mdettweiler [2016-06-22 22:51:59] 727*2^1433249-1 is not prime. Res64: 75A52AF15FECEE93 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:02:31] 735*2^1433249-1 is not prime. Res64: E01B248A8A9DB0CF Time : 0.0 sec. user=mdettweiler [2016-06-22 23:02:32] 799*2^1433249-1 is not prime. Res64: 825189891B230131 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:02:33] 837*2^1433249-1 is not prime. Res64: 6B77793CC3767FC0 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:02:33] 755*2^1433250-1 is not prime. Res64: 9DA33EA1CDB30C93 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:02:34] 773*2^1433250-1 is not prime. Res64: 46A7F7BA25C0999A Time : 0.0 sec. user=mdettweiler [2016-06-22 23:03:46] 803*2^1433250-1 is not prime. Res64: B7A3D97DAA4BCAFE Time : 0.0 sec. user=mdettweiler [2016-06-22 23:03:47] 885*2^1433250-1 is not prime. Res64: E005038EAF9F8381 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:03:48] 645*2^1433251-1 is not prime. Res64: 60C25A6EA5350CFE Time : 0.0 sec. user=mdettweiler [2016-06-22 23:03:49] 705*2^1433251-1 is not prime. Res64: 1A8B3806437E510B Time : 0.0 sec. user=mdettweiler [2016-06-22 23:03:49] 775*2^1433251-1 is not prime. Res64: 11E967593611477B Time : 0.0 sec. user=mdettweiler [2016-06-22 23:20:19] 813*2^1433251-1 is not prime. Res64: 175DF2E2AF83CBD2 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:20:19] 873*2^1433251-1 is not prime. Res64: 7E5D258DC5E68752 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:20:19] 895*2^1433251-1 is not prime. Res64: D6A5E3ADAE012D7E Time : 0.0 sec. user=mdettweiler [2016-06-22 23:20:20] 939*2^1433251-1 is not prime. Res64: 73FD67C7FBFE8DA7 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:20:20] 969*2^1433251-1 is not prime. Res64: C70FCE9D6F0D4117 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:36:57] 609*2^1433252-1 is not prime. Res64: 1F5CFC24219E4DB1 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:36:58] 665*2^1433252-1 is not prime. Res64: CFFB9E1C221000B4 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:36:58] 669*2^1433252-1 is not prime. Res64: 2378CB564C6B72E6 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:36:58] 687*2^1433252-1 is not prime. Res64: CEFE5E97B98977AA Time : 0.0 sec. user=mdettweiler [2016-06-22 23:36:59] 717*2^1433252-1 is not prime. Res64: 059516B9F050CCAD Time : 0.0 sec. user=mdettweiler [2016-06-22 23:47:24] 875*2^1433252-1 is not prime. Res64: E724670A3493730C Time : 0.0 sec. user=mdettweiler [2016-06-22 23:47:25] 915*2^1433252-1 is not prime. Res64: 0A38AFB661F68424 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:47:25] 699*2^1433253-1 is not prime. Res64: AC7F6944317E1F94 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:47:26] 727*2^1433253-1 is not prime. Res64: 948E817922022A6D Time : 0.0 sec. user=mdettweiler [2016-06-22 23:47:26] 759*2^1433253-1 is not prime. Res64: 810BF792D9123633 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:48:30] 789*2^1433253-1 is not prime. Res64: 8323A63698CBFD8A Time : 0.0 sec. user=mdettweiler [2016-06-22 23:48:31] 795*2^1433253-1 is not prime. Res64: ADBDD81D773F98F1 Time : 0.0 sec. user=mdettweiler [2016-06-22 23:48:31] 835*2^1433253-1 is not prime. Res64: DE054907EF5CCA9C Time : 0.0 sec. user=mdettweiler [2016-06-22 23:48:31] 847*2^1433253-1 is not prime. Res64: 99B994FB219B9D4E Time : 0.0 sec. user=mdettweiler [2016-06-22 23:48:32] 921*2^1433253-1 is not prime. Res64: 96411D7D5E88CB57 Time : 0.0 sec.