user=mdettweiler [2016-09-25 00:16:52] 715*2^1440695-1 is not prime. Res64: 0F2EC50AB9BA0CA9 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:16:53] 843*2^1440695-1 is not prime. Res64: BE2CD9E4455B4B84 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:16:53] 865*2^1440695-1 is not prime. Res64: 73952505790F1811 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:16:54] 921*2^1440695-1 is not prime. Res64: 25EEA519530A1905 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:16:54] 693*2^1440696-1 is not prime. Res64: CB10CF5FB1FF3B38 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:24:57] 705*2^1440696-1 is not prime. Res64: 8E53D791B00513EA Time : 0.0 sec. user=mdettweiler [2016-09-25 00:24:57] 759*2^1440696-1 is not prime. Res64: AAF9B061E0A0FD5D Time : 0.0 sec. user=mdettweiler [2016-09-25 00:24:57] 815*2^1440696-1 is not prime. Res64: E1A85B427B7E4327 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:24:58] 899*2^1440696-1 is not prime. Res64: 43BF5B3DADBFD389 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:24:58] 661*2^1440697-1 is not prime. Res64: 7346993B1C71BA2F Time : 0.0 sec. user=mdettweiler [2016-09-25 00:25:22] 775*2^1440697-1 is not prime. Res64: 47D3390B20593C75 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:25:23] 861*2^1440697-1 is not prime. Res64: 37D31FFF3918E4F5 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:25:23] 657*2^1440698-1 is not prime. Res64: E148E702CD20273D Time : 0.0 sec. user=mdettweiler [2016-09-25 00:25:23] 825*2^1440698-1 is not prime. Res64: D18E8C96F329562E Time : 0.0 sec. user=mdettweiler [2016-09-25 00:25:24] 867*2^1440698-1 is not prime. Res64: 35518153752F7A9E Time : 0.0 sec. user=mdettweiler [2016-09-25 00:29:21] 893*2^1440698-1 is not prime. Res64: D254423D45363A61 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:29:21] 915*2^1440698-1 is not prime. Res64: 15AA83F9DC04EBFB Time : 0.0 sec. user=mdettweiler [2016-09-25 00:29:22] 921*2^1440698-1 is not prime. Res64: DD7A8DF7601116E8 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:29:22] 923*2^1440698-1 is not prime. Res64: F7442E6E7AE13B24 Time : 0.0 sec. user=mdettweiler [2016-09-25 00:29:22] 957*2^1440698-1 is not prime. Res64: 958A1BDB15441D90 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:01:53] 995*2^1440698-1 is not prime. Res64: FF8336BCBE53D517 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:01:54] 609*2^1440699-1 is not prime. Res64: 47E6FDFF1AFAAD37 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:01:55] 969*2^1440699-1 is not prime. Res64: 201C3D105755C30A Time : 0.0 sec. user=mdettweiler [2016-09-25 01:01:55] 665*2^1440700-1 is not prime. Res64: 380D5013A5C88C67 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:01:56] 777*2^1440700-1 is not prime. Res64: BA8904BF1836EE25 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:23] 833*2^1440700-1 is not prime. Res64: 5A1EE1D8596DB3FE Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:23] 885*2^1440700-1 is not prime. Res64: 87D1885C666DC26D Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:24] 927*2^1440700-1 is not prime. Res64: DE1D11E0F02F4969 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:24] 929*2^1440700-1 is not prime. Res64: 871E9DCCDA47A5A2 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:25] 939*2^1440700-1 is not prime. Res64: DBD8AB378FE48715 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:28] 607*2^1440701-1 is not prime. Res64: 77BF385F4F33A105 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:29] 691*2^1440701-1 is not prime. Res64: DDF2D9B070BECCD0 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:29] 789*2^1440701-1 is not prime. Res64: 9A10FE38E4047F16 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:30] 795*2^1440701-1 is not prime. Res64: E23057779BA63922 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:10:30] 981*2^1440701-1 is not prime. Res64: 2D9EFBB60CECB2EC Time : 0.0 sec. user=mdettweiler [2016-09-25 01:14:14] 657*2^1440702-1 is not prime. Res64: 945EFF13EE1A1FB4 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:14:15] 711*2^1440702-1 is not prime. Res64: C3012081AE843758 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:14:15] 767*2^1440702-1 is not prime. Res64: 08034602B2780C6F Time : 0.0 sec. user=mdettweiler [2016-09-25 01:14:16] 825*2^1440702-1 is not prime. Res64: E18F7F823C47AD8E Time : 0.0 sec. user=mdettweiler [2016-09-25 01:14:16] 891*2^1440702-1 is not prime. Res64: 5849260476A26880 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:46:57] 957*2^1440702-1 is not prime. Res64: F1953DAF8BE4F233 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:46:58] 983*2^1440702-1 is not prime. Res64: 3971FB68769A20C2 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:46:58] 615*2^1440703-1 is not prime. Res64: F41729D23DC4401B Time : 0.0 sec. user=mdettweiler [2016-09-25 01:46:59] 663*2^1440703-1 is not prime. Res64: A74934C31D76B3B1 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:46:59] 673*2^1440703-1 is not prime. Res64: B2E437152E6B1F11 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:40] 713*2^1440706-1 is not prime. Res64: C358715EB3E2B031 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:40] 783*2^1440706-1 is not prime. Res64: 5011FD2C0698DA2E Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:41] 933*2^1440706-1 is not prime. Res64: E15C25D0F02F6448 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:41] 631*2^1440707-1 is not prime. Res64: CD1150BC0A64C4A4 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:41] 685*2^1440703-1 is not prime. Res64: 2C01120ECB042BBF Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:42] 655*2^1440707-1 is not prime. Res64: CEDF7ABFEC85D836 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:42] 705*2^1440703-1 is not prime. Res64: C91E2B1E306DDF51 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:42] 657*2^1440704-1 is not prime. Res64: D085CAC1F946A9B4 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:43] 717*2^1440705-1 is not prime. Res64: 35F8BF3ED83CEB1A Time : 0.0 sec. user=mdettweiler [2016-09-25 01:55:43] 951*2^1440705-1 is not prime. Res64: 63FC2828C752994A Time : 0.0 sec. user=mdettweiler [2016-09-25 01:59:09] 711*2^1440707-1 is not prime. Res64: CBD699224027CCF9 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:59:10] 939*2^1440707-1 is not prime. Res64: B014385207834D62 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:59:10] 985*2^1440707-1 is not prime. Res64: 01EE5A78151883DD Time : 0.0 sec. user=mdettweiler [2016-09-25 01:59:10] 707*2^1440708-1 is not prime. Res64: B593E50BFBBDC962 Time : 0.0 sec. user=mdettweiler [2016-09-25 01:59:11] 749*2^1440708-1 is not prime. Res64: 7A91307C7E6504B2 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:32:11] 789*2^1440708-1 is not prime. Res64: 6FDF0B053448027F Time : 0.0 sec. user=mdettweiler [2016-09-25 02:32:12] 837*2^1440708-1 is not prime. Res64: 9D5B8A85C1D256AB Time : 0.0 sec. user=mdettweiler [2016-09-25 02:32:13] 993*2^1440708-1 is not prime. Res64: F55C6F22B3CA4BB3 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:32:13] 601*2^1440709-1 is not prime. Res64: 096C3EACCBDBCF53 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:32:15] 771*2^1440709-1 is not prime. Res64: BA2F34B1F4A7A563 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:44] 827*2^1440710-1 is not prime. Res64: 50D49395C2BD4CB9 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:44] 911*2^1440710-1 is not prime. Res64: 211B9FD5835CD67E Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:45] 801*2^1440709-1 is not prime. Res64: 57553CD15BB6090A Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:45] 795*2^1440711-1 is not prime. Res64: CDECC86D06E1250A Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:45] 877*2^1440709-1 is not prime. Res64: A22905401F3FA29F Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:45] 829*2^1440711-1 is not prime. Res64: 01787C21E108DE55 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:45] 925*2^1440709-1 is not prime. Res64: 0BBB3833D71661CA Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:46] 975*2^1440711-1 is not prime. Res64: 1F41A4BDE04554DB Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:46] 731*2^1440710-1 is not prime. Res64: AF934C833E883077 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:40:46] 743*2^1440710-1 is not prime. Res64: 6A9A3F364C8C0914 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:44:02] 609*2^1440712-1 is not prime. Res64: 03D16D46C0111D18 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:44:02] 623*2^1440712-1 is not prime. Res64: 6B78DD97B5273B0C Time : 0.0 sec. user=mdettweiler [2016-09-25 02:44:03] 645*2^1440712-1 is not prime. Res64: 02316B4589852BF7 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:44:03] 695*2^1440712-1 is not prime. Res64: D0C51E1FB1E8C6C3 Time : 0.0 sec. user=mdettweiler [2016-09-25 02:44:03] 619*2^1440713-1 is not prime. Res64: 91CA5367D438908A Time : 0.0 sec. user=mdettweiler [2016-09-25 03:17:09] 657*2^1440713-1 is not prime. Res64: 7E4685A26E9B5C12 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:17:09] 805*2^1440713-1 is not prime. Res64: 631A9112FA9FDFC2 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:17:09] 811*2^1440713-1 is not prime. Res64: 6E181ED0B7F22CA1 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:17:10] 829*2^1440713-1 is not prime. Res64: C62D97BB1B67612D Time : 0.0 sec. user=mdettweiler [2016-09-25 03:17:10] 871*2^1440713-1 is not prime. Res64: 574DA330946EEBAF Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:45] 889*2^1440713-1 is not prime. Res64: D45586DA3F70655E Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:45] 741*2^1440714-1 is not prime. Res64: 6F8132A79D4BDFAB Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:46] 987*2^1440713-1 is not prime. Res64: B8754E8BF33ECE70 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:46] 765*2^1440714-1 is not prime. Res64: 19EDB334B41B5C0C Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:47] 665*2^1440714-1 is not prime. Res64: 145DA35F269B6566 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:47] 797*2^1440714-1 is not prime. Res64: 7A358348BEA35191 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:47] 677*2^1440714-1 is not prime. Res64: 97B31A0AFD16B973 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:47] 887*2^1440714-1 is not prime. Res64: 28CD77F10752F4C6 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:48] 681*2^1440714-1 is not prime. Res64: 161318C5727D9CBD Time : 0.0 sec. user=mdettweiler [2016-09-25 03:25:48] 927*2^1440714-1 is not prime. Res64: 62B7BB324A645144 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:29:05] 975*2^1440714-1 is not prime. Res64: FB5B032C466726E4 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:29:06] 645*2^1440715-1 is not prime. Res64: 700A8FFBB9C5FF64 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:29:08] 693*2^1440715-1 is not prime. Res64: E095D4C8DFAE7113 Time : 0.0 sec. user=mdettweiler [2016-09-25 03:29:09] 741*2^1440715-1 is not prime. Res64: 455010CF441A30AB Time : 0.0 sec. user=mdettweiler [2016-09-25 03:29:10] 819*2^1440715-1 is not prime. Res64: 3EA7A45A688CA352 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:03:02] 895*2^1440715-1 is not prime. Res64: 3161FDF438CF9F20 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:03:03] 951*2^1440715-1 is not prime. Res64: 866FBEEB5C8A2DCD Time : 0.0 sec. user=mdettweiler [2016-09-25 04:03:04] 969*2^1440715-1 is not prime. Res64: B460711CA9AA3697 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:03:05] 623*2^1440716-1 is not prime. Res64: 14DD9CCBC8B31A65 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:03:06] 633*2^1440716-1 is not prime. Res64: 2D0CE1D5494413CB Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:34] 609*2^1440717-1 is not prime. Res64: 5E02DD00F4A3705F Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:35] 669*2^1440717-1 is not prime. Res64: B10D7CA1B83ACB80 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:35] 709*2^1440717-1 is not prime. Res64: 02F7F7E201577BA3 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:35] 725*2^1440716-1 is not prime. Res64: 555ABFD0E9B6266F Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:36] 781*2^1440717-1 is not prime. Res64: 5C6A0D59E8607465 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:36] 735*2^1440716-1 is not prime. Res64: 278E003FA5CCB87F Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:36] 617*2^1440718-1 is not prime. Res64: E76824680F1C0575 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:36] 777*2^1440716-1 is not prime. Res64: CA0B84EEF1563A92 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:37] 879*2^1440716-1 is not prime. Res64: 8FB3246C04B086DB Time : 0.0 sec. user=mdettweiler [2016-09-25 04:12:37] 983*2^1440716-1 is not prime. Res64: 4259C685E924A9DB Time : 0.0 sec. user=mdettweiler [2016-09-25 04:15:39] 923*2^1440718-1 is not prime. Res64: BA1A002101331886 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:15:40] 1001*2^1440718-1 is not prime. Res64: 756FF90489330D77 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:15:40] 603*2^1440719-1 is not prime. Res64: A2A0A2FAC07618EF Time : 0.0 sec. user=mdettweiler [2016-09-25 04:15:41] 759*2^1440719-1 is not prime. Res64: 7AA7FBC918358F75 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:15:41] 775*2^1440719-1 is not prime. Res64: 45591F5D467B0073 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:48:27] 789*2^1440719-1 is not prime. Res64: 880166ABA5C894AE Time : 0.0 sec. user=mdettweiler [2016-09-25 04:48:28] 799*2^1440719-1 is not prime. Res64: 7C2BB533D6EEBC30 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:48:28] 985*2^1440719-1 is not prime. Res64: C6C5C92D79C4CEB0 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:48:29] 991*2^1440719-1 is not prime. Res64: D48F2C8ABC7D4A2B Time : 0.0 sec. user=mdettweiler [2016-09-25 04:48:29] 669*2^1440720-1 is not prime. Res64: A9A77C10FA876924 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:36] 693*2^1440720-1 is not prime. Res64: 9F596B8D9526DC55 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:36] 735*2^1440720-1 is not prime. Res64: 9601BB0A3CF3F8F1 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:37] 765*2^1440720-1 is not prime. Res64: 4D6FE3036EFF942B Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:37] 773*2^1440720-1 is not prime. Res64: C68D6098DE189676 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:37] 999*2^1440720-1 is not prime. Res64: 9EC354A6C19F14E5 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:43] 601*2^1440721-1 is not prime. Res64: E4915B4F95AC514D Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:44] 649*2^1440721-1 is not prime. Res64: D7D95100855D572A Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:44] 727*2^1440721-1 is not prime. Res64: E0B737E08742B7A9 Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:44] 741*2^1440721-1 is not prime. Res64: CA3751F530E490FD Time : 0.0 sec. user=mdettweiler [2016-09-25 04:57:45] 771*2^1440721-1 is not prime. Res64: 984998C0A822900C Time : 0.0 sec. user=mdettweiler [2016-09-25 05:01:03] 811*2^1440721-1 is not prime. Res64: 08330028FEEAD6EA Time : 0.0 sec. user=mdettweiler [2016-09-25 05:01:04] 889*2^1440721-1 is not prime. Res64: B7A0FF00B80F6100 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:01:05] 955*2^1440721-1 is not prime. Res64: 7D2C2F6A0118EC25 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:01:06] 957*2^1440721-1 is not prime. Res64: 56E53FAF43233D4D Time : 0.0 sec. user=mdettweiler [2016-09-25 05:01:06] 987*2^1440721-1 is not prime. Res64: 76918C04300D13E9 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:33:45] 665*2^1440722-1 is not prime. Res64: EECE73E65F495100 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:33:46] 701*2^1440722-1 is not prime. Res64: 36252B83872CDAAB Time : 0.0 sec. user=mdettweiler [2016-09-25 05:33:46] 705*2^1440722-1 is not prime. Res64: A71A643BBFE3A423 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:33:46] 755*2^1440722-1 is not prime. Res64: A959F16AC3F8A611 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:33:47] 797*2^1440722-1 is not prime. Res64: 660B190448ED2304 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:04] 893*2^1440722-1 is not prime. Res64: 8C82884457DEBC4C Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:05] 983*2^1440722-1 is not prime. Res64: 779C5E9B344E1A54 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:05] 793*2^1440723-1 is not prime. Res64: 08D9969DFFFE42A7 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:05] 879*2^1440723-1 is not prime. Res64: 8B9821D26F14317E Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:06] 609*2^1440724-1 is not prime. Res64: 31764F015753460B Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:11] 657*2^1440724-1 is not prime. Res64: 453F831A0AE2D648 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:12] 695*2^1440724-1 is not prime. Res64: DF0383CD99D85883 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:12] 619*2^1440725-1 is not prime. Res64: DA18ACC7F2B00132 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:12] 675*2^1440725-1 is not prime. Res64: 7AD69C0B79A10970 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:43:13] 715*2^1440725-1 is not prime. Res64: CF20C4BE72CD437A Time : 0.0 sec. user=mdettweiler [2016-09-25 05:46:14] 865*2^1440725-1 is not prime. Res64: 3CDE1611A83601F5 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:46:14] 939*2^1440725-1 is not prime. Res64: E31BE8678C66A24B Time : 0.0 sec. user=mdettweiler [2016-09-25 05:46:14] 949*2^1440725-1 is not prime. Res64: D452455F8236C9B6 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:46:15] 951*2^1440725-1 is not prime. Res64: EC2BAFB70F29C721 Time : 0.0 sec. user=mdettweiler [2016-09-25 05:46:15] 969*2^1440725-1 is not prime. Res64: 5F29B5A32EFDF3E4 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:18:59] 683*2^1440726-1 is not prime. Res64: 525EAF8CCA466D4B Time : 0.0 sec. user=mdettweiler [2016-09-25 06:18:59] 707*2^1440726-1 is not prime. Res64: A153F9E77D6622C4 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:18:59] 765*2^1440726-1 is not prime. Res64: BD225418EFA22727 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:19:00] 795*2^1440726-1 is not prime. Res64: 7FD2F40EEB44B3B6 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:19:00] 801*2^1440726-1 is not prime. Res64: C6A8E8DEFFDAA383 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:18] 807*2^1440726-1 is not prime. Res64: 98F349B172078180 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:18] 815*2^1440726-1 is not prime. Res64: 94A87D09D86736C9 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:18] 891*2^1440726-1 is not prime. Res64: 49C968FEAFB46802 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:19] 893*2^1440726-1 is not prime. Res64: 1937AB84BA98069A Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:19] 941*2^1440726-1 is not prime. Res64: 2D8772626E44AF4D Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:29] 963*2^1440726-1 is not prime. Res64: 13B58AE3CCAF3335 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:30] 971*2^1440726-1 is not prime. Res64: C01A2FCA3A038579 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:30] 619*2^1440727-1 is not prime. Res64: 9F2DC2774FB1268E Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:30] 735*2^1440727-1 is not prime. Res64: CDEF98F6CC0D2592 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:28:31] 931*2^1440727-1 is not prime. Res64: 7BAE9560DD05599B Time : 0.0 sec. user=mdettweiler [2016-09-25 06:31:22] 689*2^1440728-1 is not prime. Res64: 5120EB40ABDA0E17 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:31:22] 837*2^1440728-1 is not prime. Res64: C0DE57F1C4EF2079 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:31:23] 893*2^1440728-1 is not prime. Res64: FDD3B2BABB99B154 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:31:23] 915*2^1440728-1 is not prime. Res64: 8903BAF6F3DB3594 Time : 0.0 sec. user=mdettweiler [2016-09-25 06:31:24] 705*2^1440729-1 is not prime. Res64: D848200A99EFF4DF Time : 0.0 sec. user=mdettweiler [2016-09-25 07:04:10] 747*2^1440729-1 is not prime. Res64: 92080EFBE74537A4 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:04:11] 885*2^1440729-1 is not prime. Res64: A067960BACF42D08 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:04:12] 945*2^1440729-1 is not prime. Res64: 96E3AD5A5A122708 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:04:14] 611*2^1440730-1 is not prime. Res64: 0E19C2CF1C422B7A Time : 0.0 sec. user=mdettweiler [2016-09-25 07:04:15] 671*2^1440730-1 is not prime. Res64: 30B84C4E498E8226 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:23] 701*2^1440730-1 is not prime. Res64: BAE78E2C216CB3E4 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:23] 741*2^1440730-1 is not prime. Res64: 5274D79676AC1BE1 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:24] 755*2^1440730-1 is not prime. Res64: 114D29E389AEA3AD Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:24] 765*2^1440730-1 is not prime. Res64: 6A3E6D26BA09FF4D Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:24] 917*2^1440730-1 is not prime. Res64: 18A149D9F4785897 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:41] 945*2^1440730-1 is not prime. Res64: 5208432378C6C035 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:42] 957*2^1440730-1 is not prime. Res64: A7E487D13E11F169 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:42] 621*2^1440731-1 is not prime. Res64: D59DD2272A432EFA Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:42] 631*2^1440731-1 is not prime. Res64: CF0E4F96DA3542E3 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:13:43] 645*2^1440731-1 is not prime. Res64: 058E5F1A08650868 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:16:26] 609*2^1440732-1 is not prime. Res64: 7CD177AFC06E2BED Time : 0.0 sec. user=mdettweiler [2016-09-25 07:16:27] 623*2^1440732-1 is not prime. Res64: 8709E05DACD4AD97 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:16:27] 689*2^1440732-1 is not prime. Res64: 11312C2E70D17858 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:16:27] 693*2^1440732-1 is not prime. Res64: 33FD6B6B347CC534 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:16:28] 695*2^1440732-1 is not prime. Res64: CD3A82A6392AB933 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:49:37] 803*2^1440732-1 is not prime. Res64: BB17281498763D50 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:49:38] 819*2^1440732-1 is not prime. Res64: A763B75CF801A667 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:49:38] 857*2^1440732-1 is not prime. Res64: 4C1D3ECE17245100 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:49:38] 909*2^1440732-1 is not prime. Res64: 49BA2A5EA0990FCC Time : 0.0 sec. user=mdettweiler [2016-09-25 07:49:39] 983*2^1440732-1 is not prime. Res64: 10D6EC8961BFCE9F Time : 0.0 sec. user=mdettweiler [2016-09-25 07:58:36] 649*2^1440733-1 is not prime. Res64: 3826A247138272E2 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:58:36] 727*2^1440733-1 is not prime. Res64: D4E42DB59B456E30 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:58:37] 729*2^1440733-1 is not prime. Res64: AF9A171B76143DED Time : 0.0 sec. user=mdettweiler [2016-09-25 07:58:38] 817*2^1440733-1 is not prime. Res64: F99A5DE4A252CD32 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:58:38] 847*2^1440733-1 is not prime. Res64: 9D9EBA30C5C62E2B Time : 0.0 sec. user=mdettweiler [2016-09-25 07:59:08] 877*2^1440733-1 is not prime. Res64: 6A69EDC9C5E251F7 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:59:08] 961*2^1440733-1 is not prime. Res64: 3B4CF28D3B2772B5 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:59:09] 663*2^1440734-1 is not prime. Res64: DAE292B95BFE9BC2 Time : 0.0 sec. user=mdettweiler [2016-09-25 07:59:09] 741*2^1440734-1 is not prime. Res64: FAF3D255FB4BC39C Time : 0.0 sec. user=mdettweiler [2016-09-25 07:59:10] 791*2^1440734-1 is not prime. Res64: A86B73B767403708 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:01:41] 831*2^1440734-1 is not prime. Res64: 37E6116542987395 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:01:42] 903*2^1440734-1 is not prime. Res64: 14C06385A263613E Time : 0.0 sec. user=mdettweiler [2016-09-25 08:01:43] 927*2^1440734-1 is not prime. Res64: E119A50C947E1C78 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:01:44] 619*2^1440735-1 is not prime. Res64: F115C7703C5C5A28 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:01:45] 739*2^1440735-1 is not prime. Res64: 86952E12BD7995C3 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:35:03] 781*2^1440735-1 is not prime. Res64: 973B669CC2540387 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:35:03] 819*2^1440735-1 is not prime. Res64: 29E6D0FA40D39843 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:35:04] 895*2^1440735-1 is not prime. Res64: E16AE829F25F0F37 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:35:04] 979*2^1440735-1 is not prime. Res64: F9099D6872A4AA9D Time : 0.0 sec. user=mdettweiler [2016-09-25 08:35:04] 653*2^1440736-1 is not prime. Res64: EFE5A1EEA3B02626 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:43:58] 719*2^1440736-1 is not prime. Res64: DE8DD6190D83F58D Time : 0.0 sec. user=mdettweiler [2016-09-25 08:43:58] 743*2^1440736-1 is not prime. Res64: D684321CC5164A42 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:43:58] 765*2^1440736-1 is not prime. Res64: A7908628EBCA1971 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:43:59] 869*2^1440736-1 is not prime. Res64: 6AF033218EF6C39A Time : 0.0 sec. user=mdettweiler [2016-09-25 08:43:59] 899*2^1440736-1 is not prime. Res64: 013F4D08444A0B91 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:44:30] 983*2^1440736-1 is not prime. Res64: E1AAD5360DB555E7 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:44:30] 607*2^1440737-1 is not prime. Res64: C19A72ABF05A6200 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:44:30] 631*2^1440737-1 is not prime. Res64: 6B775EB764C544DB Time : 0.0 sec. user=mdettweiler [2016-09-25 08:44:31] 691*2^1440737-1 is not prime. Res64: 92C78F38D807C75B Time : 0.0 sec. user=mdettweiler [2016-09-25 08:44:31] 697*2^1440737-1 is not prime. Res64: B4D639F94185F74C Time : 0.0 sec. user=mdettweiler [2016-09-25 08:47:05] 711*2^1440737-1 is not prime. Res64: 6B1037C999A9BD06 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:47:05] 715*2^1440737-1 is not prime. Res64: 0D81A5495D09EC79 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:47:05] 717*2^1440737-1 is not prime. Res64: 2CBFD718D2FBB0C6 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:47:06] 727*2^1440737-1 is not prime. Res64: D40D650012599AE4 Time : 0.0 sec. user=mdettweiler [2016-09-25 08:47:06] 747*2^1440737-1 is not prime. Res64: C9D4A567F2C6A1FA Time : 0.0 sec. user=mdettweiler [2016-09-25 09:20:08] 759*2^1440737-1 is not prime. Res64: 2ED2F13BBB8A0CC6 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:20:08] 795*2^1440737-1 is not prime. Res64: 716065840C4B5BCF Time : 0.0 sec. user=mdettweiler [2016-09-25 09:20:09] 847*2^1440737-1 is not prime. Res64: E6E592B723AFFC8C Time : 0.0 sec. user=mdettweiler [2016-09-25 09:20:09] 889*2^1440737-1 is not prime. Res64: 18207CAEE3A30B64 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:20:09] 625*2^1440739-1 is not prime. Res64: B17E92B1CD1E39D4 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:29:11] 691*2^1440739-1 is not prime. Res64: C003B5569E2CFF4E Time : 0.0 sec. user=mdettweiler [2016-09-25 09:29:11] 771*2^1440739-1 is not prime. Res64: DE6029FC895F429B Time : 0.0 sec. user=mdettweiler [2016-09-25 09:29:11] 813*2^1440739-1 is not prime. Res64: 56559B97FA832B1B Time : 0.0 sec. user=mdettweiler [2016-09-25 09:29:12] 855*2^1440739-1 is not prime. Res64: 048AC1CAFD7B1C43 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:29:12] 931*2^1440739-1 is not prime. Res64: 2DE5234566568D96 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:30:03] 985*2^1440739-1 is not prime. Res64: B80C86CF8D886D2A Time : 0.0 sec. user=mdettweiler [2016-09-25 09:30:04] 999*2^1440739-1 is not prime. Res64: 8F792F876ED895A3 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:30:04] 635*2^1440740-1 is not prime. Res64: 17DFB9AF57861F1E Time : 0.0 sec. user=mdettweiler [2016-09-25 09:30:05] 647*2^1440740-1 is not prime. Res64: 65DE382B9EB7742C Time : 0.0 sec. user=mdettweiler [2016-09-25 09:30:05] 699*2^1440740-1 is not prime. Res64: DC1AA430DE56B63B Time : 0.0 sec. user=mdettweiler [2016-09-25 09:32:06] 789*2^1440740-1 is not prime. Res64: F30D82FC16E37550 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:32:07] 885*2^1440740-1 is not prime. Res64: F1FABA0C1DFE7BB1 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:32:07] 953*2^1440740-1 is not prime. Res64: 59D2672CB852DDBB Time : 0.0 sec. user=mdettweiler [2016-09-25 09:32:07] 999*2^1440740-1 is not prime. Res64: 3BCD5373496136D3 Time : 0.0 sec. user=mdettweiler [2016-09-25 09:32:08] 609*2^1440741-1 is not prime. Res64: 3E4A3D0C71E532E7 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:05:17] 681*2^1440741-1 is not prime. Res64: F76BC0AAD740EEAB Time : 0.0 sec. user=mdettweiler [2016-09-25 10:05:19] 951*2^1440741-1 is not prime. Res64: 2B01498CAA0D2388 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:05:20] 975*2^1440741-1 is not prime. Res64: EDC01C1BD4307F33 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:05:21] 695*2^1440742-1 is not prime. Res64: 696B1C6FA66085C1 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:05:27] 741*2^1440742-1 is not prime. Res64: 0AAFA82862C3900D Time : 0.0 sec. user=mdettweiler [2016-09-25 10:14:22] 755*2^1440742-1 is not prime. Res64: B67C60DACF297522 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:14:23] 777*2^1440742-1 is not prime. Res64: C2D74D89416B3CAC Time : 0.0 sec. user=mdettweiler [2016-09-25 10:14:23] 813*2^1440742-1 is not prime. Res64: 64566150F927A0F9 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:14:23] 995*2^1440742-1 is not prime. Res64: 896CAA929220AFA9 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:14:24] 685*2^1440743-1 is not prime. Res64: 89A7CDA3C2D26BAE Time : 0.0 sec. user=mdettweiler [2016-09-25 10:15:19] 735*2^1440743-1 is not prime. Res64: 86C7A2ED651A290E Time : 0.0 sec. user=mdettweiler [2016-09-25 10:15:19] 811*2^1440743-1 is not prime. Res64: 0D0CC97AC36C6309 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:15:20] 813*2^1440743-1 is not prime. Res64: 9AABA2EB48854807 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:15:20] 943*2^1440743-1 is not prime. Res64: 4B7EC126180F1D9F Time : 0.0 sec. user=mdettweiler [2016-09-25 10:15:20] 963*2^1440743-1 is not prime. Res64: 920EE831EE6588BE Time : 0.0 sec. user=mdettweiler [2016-09-25 10:17:20] 615*2^1440744-1 is not prime. Res64: 5FC589E8E48882F7 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:17:20] 843*2^1440744-1 is not prime. Res64: F36D26F4EA5E007A Time : 0.0 sec. user=mdettweiler [2016-09-25 10:17:21] 607*2^1440745-1 is not prime. Res64: B82D2B365F2F42A0 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:17:21] 687*2^1440745-1 is not prime. Res64: B1017656069796B1 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:17:21] 721*2^1440745-1 is not prime. Res64: A26989FC881A6E57 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:50:59] 759*2^1440745-1 is not prime. Res64: 5E187C118A395A66 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:50:59] 841*2^1440745-1 is not prime. Res64: 115C5000581EDE60 Time : 0.0 sec. user=mdettweiler [2016-09-25 10:50:59] 895*2^1440745-1 is not prime. Res64: 47F4BA857CCEDDCE Time : 0.0 sec. user=mdettweiler [2016-09-25 10:51:00] 951*2^1440745-1 is not prime. Res64: C5F1336A70E59B8E Time : 0.0 sec. user=mdettweiler [2016-09-25 10:51:00] 955*2^1440745-1 is not prime. Res64: A4934A4ECF535A8A Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:00] 981*2^1440745-1 is not prime. Res64: EF4C3D30D37E09C4 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:00] 635*2^1440746-1 is not prime. Res64: D85C1718BD7F8E94 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:00] 717*2^1440746-1 is not prime. Res64: BC84BDB16DA21852 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:01] 741*2^1440746-1 is not prime. Res64: F13B4B0211B54F30 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:01] 857*2^1440746-1 is not prime. Res64: 28C9A7F8C2CFC3C8 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:28] 903*2^1440746-1 is not prime. Res64: 0534500F16A2F450 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:30] 983*2^1440746-1 is not prime. Res64: 57DC41F2C8B356E4 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:31] 649*2^1440747-1 is not prime. Res64: C782F70EECE0B02F Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:32] 735*2^1440747-1 is not prime. Res64: EE75F3537EF268EA Time : 0.0 sec. user=mdettweiler [2016-09-25 11:00:33] 739*2^1440747-1 is not prime. Res64: 105D6522820F80EC Time : 0.0 sec. user=mdettweiler [2016-09-25 11:02:47] 775*2^1440747-1 is not prime. Res64: C9A6AEDCCB103CD6 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:02:47] 963*2^1440747-1 is not prime. Res64: 2C62C06AE7A9BAD5 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:02:48] 735*2^1440748-1 is not prime. Res64: 4418A310182AC80E Time : 0.0 sec. user=mdettweiler [2016-09-25 11:02:48] 749*2^1440748-1 is not prime. Res64: 37FBE18DA3EC192B Time : 0.0 sec. user=mdettweiler [2016-09-25 11:02:49] 987*2^1440748-1 is not prime. Res64: 288AB25E84A2EBEE Time : 0.0 sec. user=mdettweiler [2016-09-25 11:36:17] 995*2^1440748-1 is not prime. Res64: 67A3E9BF8D523AFB Time : 0.0 sec. user=mdettweiler [2016-09-25 11:36:18] 999*2^1440748-1 is not prime. Res64: 55BB36CA1AA6DFFD Time : 0.0 sec. user=mdettweiler [2016-09-25 11:36:18] 615*2^1440749-1 is not prime. Res64: 074B8A8612B0DC1E Time : 0.0 sec. user=mdettweiler [2016-09-25 11:36:18] 675*2^1440749-1 is not prime. Res64: 3A16278F2BB73E21 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:36:19] 691*2^1440749-1 is not prime. Res64: 54C2A4D03CB151D7 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:19] 775*2^1440749-1 is not prime. Res64: B1FAB0A3BE33543A Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:20] 799*2^1440749-1 is not prime. Res64: A7B431CFB901A2AE Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:20] 865*2^1440749-1 is not prime. Res64: AD880C45660DB19D Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:20] 991*2^1440749-1 is not prime. Res64: 96DD4D877EB1180F Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:21] 635*2^1440750-1 is not prime. Res64: FAEC1A0B00D9E534 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:47] 677*2^1440750-1 is not prime. Res64: 5C70F7C01BE8F14D Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:48] 711*2^1440750-1 is not prime. Res64: 1053B2E7BE152750 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:48] 791*2^1440750-1 is not prime. Res64: 50E649BA98E48690 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:49] 797*2^1440750-1 is not prime. Res64: 40841C0FAD1F8C30 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:45:49] 921*2^1440750-1 is not prime. Res64: 4404FFC6E5F84B56 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:48:05] 625*2^1440751-1 is not prime. Res64: AC762A07614BAE20 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:48:06] 771*2^1440751-1 is not prime. Res64: 4131D7ECFC74B932 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:48:06] 603*2^1440752-1 is not prime. Res64: 4EE02517ADA8B004 Time : 0.0 sec. user=mdettweiler [2016-09-25 11:48:07] 699*2^1440752-1 is not prime. Res64: 95E181F2770EA70C Time : 0.0 sec. user=mdettweiler [2016-09-25 11:48:07] 725*2^1440752-1 is not prime. Res64: 998670FBBB5B91DF Time : 0.0 sec. user=mdettweiler [2016-09-25 12:21:52] 743*2^1440752-1 is not prime. Res64: 5EF3147B936978FC Time : 0.0 sec. user=mdettweiler [2016-09-25 12:21:53] 897*2^1440752-1 is not prime. Res64: 18969830ED04B864 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:21:53] 929*2^1440752-1 is not prime. Res64: E2FC546FA952F5DB Time : 0.0 sec. user=mdettweiler [2016-09-25 12:21:54] 651*2^1440753-1 is not prime. Res64: 554B1AE94E2F1594 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:21:54] 735*2^1440753-1 is not prime. Res64: 910ACBA2F1040CA5 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:01] 759*2^1440753-1 is not prime. Res64: 4A5624D4CCA47E89 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:02] 867*2^1440753-1 is not prime. Res64: D36026C08D4A3658 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:02] 985*2^1440753-1 is not prime. Res64: 7B4FFCE0A62A7C00 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:03] 681*2^1440754-1 is not prime. Res64: 65557CC89D26D584 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:03] 687*2^1440754-1 is not prime. Res64: D11C4777FD62552D Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:13] 737*2^1440754-1 is not prime. Res64: A9B0939706886BCE Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:14] 831*2^1440754-1 is not prime. Res64: 127D312FDFC6ACD4 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:14] 915*2^1440754-1 is not prime. Res64: 3A07E5FF0414B8A2 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:15] 951*2^1440754-1 is not prime. Res64: 7E7877055933157E Time : 0.0 sec. user=mdettweiler [2016-09-25 12:31:15] 981*2^1440754-1 is not prime. Res64: B427DC0CE973FEB1 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:33:22] 987*2^1440754-1 is not prime. Res64: 5C3CD52CA99A8FC0 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:33:22] 609*2^1440755-1 is not prime. Res64: 048CE174CD9CCE54 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:33:23] 619*2^1440755-1 is not prime. Res64: 5894F420349CC2D9 Time : 0.0 sec. user=mdettweiler [2016-09-25 12:33:23] 649*2^1440755-1 is not prime. Res64: ECEAD2CB254E701F Time : 0.0 sec. user=mdettweiler [2016-09-25 12:33:23] 915*2^1440755-1 is not prime. Res64: D71913DEAE86A3AE Time : 0.0 sec. user=mdettweiler [2016-09-25 13:07:44] 943*2^1440755-1 is not prime. Res64: 6D57EEF475E89E52 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:07:45] 773*2^1440756-1 is not prime. Res64: 5969E1C0BFE9F8B0 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:07:45] 783*2^1440756-1 is not prime. Res64: 62DDA3C910404A8A Time : 0.0 sec. user=mdettweiler [2016-09-25 13:07:46] 843*2^1440756-1 is not prime. Res64: 5C959CFB8705B174 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:07:47] 845*2^1440756-1 is not prime. Res64: 942196441D4994A2 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:00] 895*2^1440757-1 is not prime. Res64: 637C8A8161230F07 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:00] 897*2^1440757-1 is not prime. Res64: 06E996BC35576B87 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 915*2^1440757-1 is not prime. Res64: D2E92B06EDE72EB8 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 857*2^1440756-1 is not prime. Res64: 8B0D8034B8C89F43 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 635*2^1440758-1 is not prime. Res64: 1CBE7A49303702C2 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 903*2^1440756-1 is not prime. Res64: 72D1A5C98E886724 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 663*2^1440758-1 is not prime. Res64: 12459A22411A83B2 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:01] 765*2^1440757-1 is not prime. Res64: C7987DF293A09A03 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:02] 825*2^1440757-1 is not prime. Res64: B0056E0756E8CF97 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:17:02] 871*2^1440757-1 is not prime. Res64: 0A0FFDEB05F7F49F Time : 0.0 sec. user=mdettweiler [2016-09-25 13:19:20] 743*2^1440758-1 is not prime. Res64: 99FA0DCB8E5BD94D Time : 0.0 sec. user=mdettweiler [2016-09-25 13:19:20] 843*2^1440758-1 is not prime. Res64: 87F3733C4FE58A1D Time : 0.0 sec. user=mdettweiler [2016-09-25 13:19:20] 893*2^1440758-1 is not prime. Res64: 18432F014F6FB462 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:19:21] 915*2^1440758-1 is not prime. Res64: 3DF72B859CE28348 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:19:21] 745*2^1440759-1 is not prime. Res64: 6AF63013C470A26B Time : 0.0 sec. user=mdettweiler [2016-09-25 13:56:24] 763*2^1440759-1 is not prime. Res64: 0CE0A69A50A7C98B Time : 0.0 sec. user=mdettweiler [2016-09-25 13:56:24] 795*2^1440759-1 is not prime. Res64: 201D5F17F2C45729 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:56:25] 991*2^1440759-1 is not prime. Res64: E87644DE03D595E1 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:56:25] 759*2^1440760-1 is not prime. Res64: 2A0E392FF7EFC873 Time : 0.0 sec. user=mdettweiler [2016-09-25 13:56:25] 773*2^1440760-1 is not prime. Res64: 6BD469F7D0EACE65 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:16] 803*2^1440760-1 is not prime. Res64: 2982C5649928C32F Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:17] 675*2^1440761-1 is not prime. Res64: 87BB2BA46F5B052B Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:17] 691*2^1440761-1 is not prime. Res64: 6E84EE4AD546ABE2 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:17] 829*2^1440761-1 is not prime. Res64: 8827EC6A1B1CEE5E Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:17] 939*2^1440761-1 is not prime. Res64: D9DF7CEA52515E24 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:39] 711*2^1440762-1 is not prime. Res64: 5C9171ADFAA6EDAE Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:39] 765*2^1440762-1 is not prime. Res64: 8C2066734F2C4AEC Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:39] 797*2^1440762-1 is not prime. Res64: D8D6718BC52E844D Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:40] 807*2^1440762-1 is not prime. Res64: 9B864DFA170B6057 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:09:40] 821*2^1440762-1 is not prime. Res64: 413B3B6AC771038E Time : 0.0 sec. user=mdettweiler [2016-09-25 14:12:15] 893*2^1440762-1 is not prime. Res64: E57B837E9F1B5AB6 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:12:16] 921*2^1440762-1 is not prime. Res64: A2DCFCC9848EDE50 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:12:16] 975*2^1440762-1 is not prime. Res64: 8F5EC86502331838 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:12:16] 983*2^1440762-1 is not prime. Res64: B57441D78B1A79FA Time : 0.0 sec. user=mdettweiler [2016-09-25 14:12:17] 631*2^1440763-1 is not prime. Res64: 17865667B3DD38E8 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:47:50] 709*2^1440763-1 is not prime. Res64: B4D4AC90836936AE Time : 0.0 sec. user=mdettweiler [2016-09-25 14:47:51] 835*2^1440763-1 is not prime. Res64: 037C7A5213DD21EE Time : 0.0 sec. user=mdettweiler [2016-09-25 14:47:51] 853*2^1440763-1 is not prime. Res64: 0E6852F78AB1590D Time : 0.0 sec. user=mdettweiler [2016-09-25 14:47:51] 861*2^1440763-1 is not prime. Res64: A503B27BE8560673 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:47:51] 767*2^1440764-1 is not prime. Res64: 6FE03FE2AD030F77 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:27] 903*2^1440764-1 is not prime. Res64: 7C0E06182F0E4D56 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:27] 909*2^1440764-1 is not prime. Res64: EF7DDFE245D0E61C Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:28] 935*2^1440764-1 is not prime. Res64: D25DEE16AB028AC5 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:28] 945*2^1440764-1 is not prime. Res64: D5C663F713EC4281 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:29] 957*2^1440764-1 is not prime. Res64: 9D8F7CA5CEAEBE9C Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:33] 993*2^1440764-1 is not prime. Res64: 873B5628A0A5C505 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:33] 627*2^1440765-1 is not prime. Res64: EAEB610DFB9578EF Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:33] 685*2^1440765-1 is not prime. Res64: 9587E9F87AD3D9CC Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:34] 787*2^1440765-1 is not prime. Res64: 19524B80738C13B2 Time : 0.0 sec. user=mdettweiler [2016-09-25 14:58:34] 805*2^1440765-1 is not prime. Res64: A14B511A6F3239A7 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:01:15] 891*2^1440765-1 is not prime. Res64: 5AFADBE6C9CF35F6 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:01:16] 999*2^1440765-1 is not prime. Res64: 76FFDF62E706D7CA Time : 0.0 sec. user=mdettweiler [2016-09-25 15:01:17] 647*2^1440766-1 is not prime. Res64: 685EA7E612CFEC15 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:01:18] 741*2^1440766-1 is not prime. Res64: CC2808270DEA8A12 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:01:19] 801*2^1440766-1 is not prime. Res64: 429F9E67DBB262BF Time : 0.0 sec. user=mdettweiler [2016-09-25 15:34:57] 825*2^1440766-1 is not prime. Res64: 8B1B058B8E835C6F Time : 0.0 sec. user=mdettweiler [2016-09-25 15:34:57] 843*2^1440766-1 is not prime. Res64: 80892FF4387C3B7C Time : 0.0 sec. user=mdettweiler [2016-09-25 15:34:58] 633*2^1440768-1 is not prime. Res64: 24C5C82A8878DBF2 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:34:58] 747*2^1440768-1 is not prime. Res64: 7CD867891B48334E Time : 0.0 sec. user=mdettweiler [2016-09-25 15:34:58] 759*2^1440768-1 is not prime. Res64: 80AE7F3559B731D4 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:23] 809*2^1440768-1 is not prime. Res64: 8CAC06C9B6B402F0 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:24] 969*2^1440768-1 is not prime. Res64: 6166B00A8B91C643 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:24] 993*2^1440768-1 is not prime. Res64: F67360BE1FA5CB83 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:24] 609*2^1440769-1 is not prime. Res64: 7EE33B1BEB8CD523 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:24] 615*2^1440769-1 is not prime. Res64: CD2B22FD6090D2FF Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:33] 639*2^1440769-1 is not prime. Res64: 06D219437C2AA18A Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:33] 649*2^1440769-1 is not prime. Res64: B9567E147640B1D2 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:34] 831*2^1440769-1 is not prime. Res64: B70B816F78890D48 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:34] 861*2^1440769-1 is not prime. Res64: 2EFD7B2917A59AA1 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:45:34] 951*2^1440769-1 is not prime. Res64: 2981BDA5B67F2FAA Time : 0.0 sec. user=mdettweiler [2016-09-25 15:48:06] 615*2^1440770-1 is not prime. Res64: B0348B75E71EBF8C Time : 0.0 sec. user=mdettweiler [2016-09-25 15:48:06] 735*2^1440770-1 is not prime. Res64: 48DBB5FEA32C7D77 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:48:06] 893*2^1440770-1 is not prime. Res64: 3099D8E859834053 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:48:07] 923*2^1440770-1 is not prime. Res64: 548499128D485801 Time : 0.0 sec. user=mdettweiler [2016-09-25 15:48:07] 981*2^1440770-1 is not prime. Res64: 98DA5B9D2FF60216 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:23:24] 945*2^1440771-1 is not prime. Res64: C3C6EA5A3F49C6FC Time : 0.0 sec. user=mdettweiler [2016-09-25 16:23:24] 961*2^1440771-1 is not prime. Res64: E973618247270B98 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:23:24] 975*2^1440771-1 is not prime. Res64: 632EE28E872C4969 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:23:24] 605*2^1440772-1 is not prime. Res64: F7911EB56FBC6A7D Time : 0.0 sec. user=mdettweiler [2016-09-25 16:23:25] 617*2^1440772-1 is not prime. Res64: 6A3A44030EE1C4D0 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:33:35] 735*2^1440772-1 is not prime. Res64: 9631DB3F6418988F Time : 0.0 sec. user=mdettweiler [2016-09-25 16:33:36] 749*2^1440772-1 is not prime. Res64: F4777EC69AD3BC69 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:33:36] 827*2^1440772-1 is not prime. Res64: 75A1869FFB9730A2 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:33:37] 833*2^1440772-1 is not prime. Res64: B488E32A05744911 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:33:37] 903*2^1440772-1 is not prime. Res64: AED423A0D7A0F3F6 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:34:22] 915*2^1440772-1 is not prime. Res64: 70A9A0F99EF0523F Time : 0.0 sec. user=mdettweiler [2016-09-25 16:34:22] 933*2^1440772-1 is not prime. Res64: D584A838581E77FB Time : 0.0 sec. user=mdettweiler [2016-09-25 16:34:22] 615*2^1440773-1 is not prime. Res64: 2868E1FD47B386E5 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:34:23] 855*2^1440773-1 is not prime. Res64: 0072A3737B0EC29D Time : 0.0 sec. user=mdettweiler [2016-09-25 16:34:23] 879*2^1440773-1 is not prime. Res64: 4C32C9BA7792C692 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:36:19] 889*2^1440773-1 is not prime. Res64: B0DF40F8426CEEC0 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:36:19] 633*2^1440775-1 is not prime. Res64: 0FB5BC555B76322C Time : 0.0 sec. user=mdettweiler [2016-09-25 16:36:19] 765*2^1440775-1 is not prime. Res64: 5D340E1857FA7536 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:36:19] 831*2^1440775-1 is not prime. Res64: A3AB6819F6BAC791 Time : 0.0 sec. user=mdettweiler [2016-09-25 16:36:20] 841*2^1440775-1 is not prime. Res64: B28FE40AF7301D69 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:11:47] 861*2^1440775-1 is not prime. Res64: 3AC517558E5DA53E Time : 0.0 sec. user=mdettweiler [2016-09-25 17:11:47] 915*2^1440775-1 is not prime. Res64: 23F75F640A1C56DC Time : 0.0 sec. user=mdettweiler [2016-09-25 17:11:47] 939*2^1440775-1 is not prime. Res64: E8E477FE9798B944 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:11:47] 951*2^1440775-1 is not prime. Res64: AD3C1E31124AEE1C Time : 0.0 sec. user=mdettweiler [2016-09-25 17:11:48] 615*2^1440776-1 is not prime. Res64: 5120000FE1ABC36A Time : 0.0 sec. user=mdettweiler [2016-09-25 17:21:48] 663*2^1440776-1 is not prime. Res64: F935EBC637CF0CB9 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:21:48] 789*2^1440776-1 is not prime. Res64: D30915E4A0B8BF93 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:21:48] 825*2^1440776-1 is not prime. Res64: CD30295327627C11 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:21:49] 827*2^1440776-1 is not prime. Res64: 04EA4FAACE4EE108 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:21:49] 873*2^1440776-1 is not prime. Res64: 8B65F7239A61C3AA Time : 0.0 sec. user=mdettweiler [2016-09-25 17:22:45] 923*2^1440776-1 is not prime. Res64: 99005966B21DDFEA Time : 0.0 sec. user=mdettweiler [2016-09-25 17:22:45] 927*2^1440776-1 is not prime. Res64: 982F7799DC2F9C38 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:22:46] 685*2^1440777-1 is not prime. Res64: 730150F37B0ACF93 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:22:46] 727*2^1440777-1 is not prime. Res64: E29660748B391D62 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:22:46] 605*2^1440778-1 is not prime. Res64: F44C1D582DD87094 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:24:36] 657*2^1440778-1 is not prime. Res64: E6B8E413CC2016AE Time : 0.0 sec. user=mdettweiler [2016-09-25 17:24:36] 663*2^1440778-1 is not prime. Res64: 378B077D14CE97DE Time : 0.0 sec. user=mdettweiler [2016-09-25 17:24:37] 695*2^1440778-1 is not prime. Res64: D0A391EBB0307C86 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:24:37] 723*2^1440778-1 is not prime. Res64: A8806A2560D9A1E7 Time : 0.0 sec. user=mdettweiler [2016-09-25 17:24:38] 735*2^1440778-1 is not prime. Res64: 34F6FB7AD5F39498 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:01:29] 801*2^1440778-1 is not prime. Res64: 6AA83CFB20F4250D Time : 0.0 sec. user=mdettweiler [2016-09-25 18:01:30] 831*2^1440778-1 is not prime. Res64: 4829C16F98924BA2 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:01:31] 857*2^1440778-1 is not prime. Res64: 9D1CC30CE0C06039 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:01:32] 971*2^1440778-1 is not prime. Res64: ACC8FE16F550F97A Time : 0.0 sec. user=mdettweiler [2016-09-25 18:01:32] 609*2^1440779-1 is not prime. Res64: 6754A984C997B738 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:10:08] 703*2^1440779-1 is not prime. Res64: 9739EF7C5C31B04E Time : 0.0 sec. user=mdettweiler [2016-09-25 18:10:08] 705*2^1440779-1 is not prime. Res64: AA301C186153DCFD Time : 0.0 sec. user=mdettweiler [2016-09-25 18:10:09] 879*2^1440779-1 is not prime. Res64: C4316B46193227CC Time : 0.0 sec. user=mdettweiler [2016-09-25 18:10:09] 913*2^1440779-1 is not prime. Res64: BE6283C6145EA7C2 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:10:09] 921*2^1440779-1 is not prime. Res64: 80E1456230A5C475 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:11:01] 931*2^1440779-1 is not prime. Res64: 039C5251C945F974 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:11:01] 979*2^1440779-1 is not prime. Res64: CFBC5EB837104FF9 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:11:01] 623*2^1440780-1 is not prime. Res64: 8F0527953E003CBF Time : 0.0 sec. user=mdettweiler [2016-09-25 18:11:01] 633*2^1440780-1 is not prime. Res64: 0ABC988692A31756 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:11:01] 647*2^1440780-1 is not prime. Res64: 64596A34C2AC8630 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:12:57] 765*2^1440780-1 is not prime. Res64: 37BC0C54AB72086F Time : 0.0 sec. user=mdettweiler [2016-09-25 18:12:57] 767*2^1440780-1 is not prime. Res64: E446F702A5E8AB30 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:12:58] 839*2^1440780-1 is not prime. Res64: 255FF82B9A4B0EC4 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:12:58] 933*2^1440780-1 is not prime. Res64: 8A71C86BC18593E4 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:12:58] 945*2^1440780-1 is not prime. Res64: D35E13F7A6E02B24 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:49:40] 615*2^1440781-1 is not prime. Res64: 4649D124B3FB8CC7 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:49:40] 621*2^1440781-1 is not prime. Res64: 11BF0A1FD6A39BDA Time : 0.0 sec. user=mdettweiler [2016-09-25 18:49:40] 681*2^1440781-1 is not prime. Res64: 3326062324B5A7FD Time : 0.0 sec. user=mdettweiler [2016-09-25 18:49:41] 979*2^1440781-1 is not prime. Res64: 4DA3920064226641 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:49:41] 997*2^1440781-1 is not prime. Res64: EE2C5D57F60931C1 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:58:07] 635*2^1440782-1 is not prime. Res64: 174CD69325DB67FD Time : 0.0 sec. user=mdettweiler [2016-09-25 18:58:07] 693*2^1440782-1 is not prime. Res64: 9446B154AE8B7D99 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:58:08] 785*2^1440782-1 is not prime. Res64: EBFE0EBC358F6D2E Time : 0.0 sec. user=mdettweiler [2016-09-25 18:58:08] 791*2^1440782-1 is not prime. Res64: 369FDB54ED95F573 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:58:08] 813*2^1440782-1 is not prime. Res64: C615AF9D879F7C06 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:59:16] 885*2^1440782-1 is not prime. Res64: E722437968274412 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:59:16] 887*2^1440782-1 is not prime. Res64: 63C7FC65BD704B88 Time : 0.0 sec. user=mdettweiler [2016-09-25 18:59:16] 965*2^1440782-1 is not prime. Res64: AD58AD6F0769896D Time : 0.0 sec. user=mdettweiler [2016-09-25 18:59:17] 981*2^1440782-1 is not prime. Res64: E8160EB0F1AE285A Time : 0.0 sec. user=mdettweiler [2016-09-25 18:59:17] 661*2^1440783-1 is not prime. Res64: 37600FF7C3A36866 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:01:04] 703*2^1440783-1 is not prime. Res64: DA92A87B5653DFFE Time : 0.0 sec. user=mdettweiler [2016-09-25 19:01:05] 709*2^1440783-1 is not prime. Res64: BEC9F7979B2559E2 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:01:05] 741*2^1440783-1 is not prime. Res64: 3A4738C881D1DE9C Time : 0.0 sec. user=mdettweiler [2016-09-25 19:01:06] 795*2^1440783-1 is not prime. Res64: 44D15B5FC84473D0 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:01:07] 823*2^1440783-1 is not prime. Res64: 9E6AEE8395E88509 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:36:21] 885*2^1440783-1 is not prime. Res64: 7A33FE40EB219E89 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:36:22] 951*2^1440783-1 is not prime. Res64: 5456F9352184E016 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:36:22] 615*2^1440784-1 is not prime. Res64: 92FBDA10FA4D2F8E Time : 0.0 sec. user=mdettweiler [2016-09-25 19:36:23] 743*2^1440784-1 is not prime. Res64: 7E81939139E51480 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:36:23] 803*2^1440784-1 is not prime. Res64: AD6461D3890ED274 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:44:12] 833*2^1440784-1 is not prime. Res64: 03B455FA83D1975B Time : 0.0 sec. user=mdettweiler [2016-09-25 19:44:13] 863*2^1440784-1 is not prime. Res64: A9B37A45726B3972 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:44:13] 869*2^1440784-1 is not prime. Res64: 15B690291DFE2A8D Time : 0.0 sec. user=mdettweiler [2016-09-25 19:44:13] 875*2^1440784-1 is not prime. Res64: 316EA0D7A342068D Time : 0.0 sec. user=mdettweiler [2016-09-25 19:44:14] 899*2^1440784-1 is not prime. Res64: 628B00A93D199CAF Time : 0.0 sec. user=mdettweiler [2016-09-25 19:45:16] 909*2^1440784-1 is not prime. Res64: DB27335FA8BF6674 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:45:16] 691*2^1440785-1 is not prime. Res64: 060B8556B7E3CD19 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:45:17] 727*2^1440785-1 is not prime. Res64: E025ED179302F144 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:45:17] 885*2^1440785-1 is not prime. Res64: 700A747345049E1A Time : 0.0 sec. user=mdettweiler [2016-09-25 19:45:17] 937*2^1440785-1 is not prime. Res64: 3F47B3112B9127AB Time : 0.0 sec. user=mdettweiler [2016-09-25 19:46:53] 981*2^1440785-1 is not prime. Res64: C84A7F64020BA0DA Time : 0.0 sec. user=mdettweiler [2016-09-25 19:46:54] 887*2^1440786-1 is not prime. Res64: 64795D5FFDAFED1A Time : 0.0 sec. user=mdettweiler [2016-09-25 19:46:54] 891*2^1440786-1 is not prime. Res64: 0FDA19BEBFFD83C4 Time : 0.0 sec. user=mdettweiler [2016-09-25 19:46:55] 859*2^1440787-1 is not prime. Res64: ED59505876EF4E7A Time : 0.0 sec. user=mdettweiler [2016-09-25 19:46:55] 993*2^1440787-1 is not prime. Res64: 4AA6F444CFA0BC57 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:21:32] 617*2^1440788-1 is not prime. Res64: 4B0F9B37BA1ED424 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:21:32] 735*2^1440788-1 is not prime. Res64: 5C5BACBB4E7B0359 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:21:33] 743*2^1440788-1 is not prime. Res64: E8AFCE89F25982F6 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:21:33] 789*2^1440788-1 is not prime. Res64: 063EE1DE25707170 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:21:34] 869*2^1440788-1 is not prime. Res64: D6DD334A92F68C88 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:29:19] 993*2^1440788-1 is not prime. Res64: 5F24E7EA5D8A872B Time : 0.0 sec. user=mdettweiler [2016-09-25 20:29:20] 661*2^1440789-1 is not prime. Res64: 56FD207672D7EFD8 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:29:20] 727*2^1440789-1 is not prime. Res64: 63792FD7FA85E992 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:29:20] 765*2^1440789-1 is not prime. Res64: FAE0F7E9ED62A417 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:29:21] 831*2^1440789-1 is not prime. Res64: D945E76A4237A205 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:30:18] 835*2^1440789-1 is not prime. Res64: 3300A6392E703C77 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:30:18] 999*2^1440789-1 is not prime. Res64: 1C143AA6E64A1241 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:30:19] 827*2^1440790-1 is not prime. Res64: A35633497E64F14D Time : 0.0 sec. user=mdettweiler [2016-09-25 20:30:19] 885*2^1440790-1 is not prime. Res64: D2B7E0E4FACD4B01 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:30:19] 933*2^1440790-1 is not prime. Res64: C20F7CF4F0BDF7CB Time : 0.0 sec. user=mdettweiler [2016-09-25 20:31:52] 957*2^1440790-1 is not prime. Res64: EC4A1D482CBD20BA Time : 0.0 sec. user=mdettweiler [2016-09-25 20:31:52] 621*2^1440791-1 is not prime. Res64: 97DC5C070C0A89ED Time : 0.0 sec. user=mdettweiler [2016-09-25 20:31:53] 651*2^1440791-1 is not prime. Res64: 60D9183FABB6B884 Time : 0.0 sec. user=mdettweiler [2016-09-25 20:31:53] 745*2^1440791-1 is not prime. Res64: 71C339891D90C3DC Time : 0.0 sec. user=mdettweiler [2016-09-25 20:31:53] 753*2^1440791-1 is not prime. Res64: 6609301784249F37 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:06:43] 813*2^1440791-1 is not prime. Res64: 230B6A197601FF16 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:06:44] 825*2^1440791-1 is not prime. Res64: 99A2ECCDE5F0E43A Time : 0.0 sec. user=mdettweiler [2016-09-25 21:06:45] 879*2^1440791-1 is not prime. Res64: 1CD768E22B64E879 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:06:46] 639*2^1440792-1 is not prime. Res64: 998438F4E20AD1C9 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:06:47] 653*2^1440792-1 is not prime. Res64: 7C6385C47A8DCAAE Time : 0.0 sec. user=mdettweiler [2016-09-25 21:14:58] 753*2^1440792-1 is not prime. Res64: 5B34AB2AB0836155 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:14:59] 759*2^1440792-1 is not prime. Res64: 69F899D2030EF4AB Time : 0.0 sec. user=mdettweiler [2016-09-25 21:14:59] 779*2^1440792-1 is not prime. Res64: 12ACDFC2033D2D13 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:00] 879*2^1440792-1 is not prime. Res64: 2EA9A7C64BEE94EF Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:00] 715*2^1440793-1 is not prime. Res64: 6874EC9A122ABAA9 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:50] 805*2^1440793-1 is not prime. Res64: 2945DCBA9D1D0B42 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:51] 819*2^1440793-1 is not prime. Res64: 6EC158B387BC7516 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:51] 831*2^1440793-1 is not prime. Res64: 65DAA1967DB31635 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:51] 847*2^1440793-1 is not prime. Res64: 5D0A5B3AD608A812 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:15:52] 967*2^1440793-1 is not prime. Res64: 0771F84ABC8AC1F2 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:17:45] 605*2^1440794-1 is not prime. Res64: 9216A90D7AC41344 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:17:45] 675*2^1440794-1 is not prime. Res64: 3C34FDDA9F1D8BAF Time : 0.0 sec. user=mdettweiler [2016-09-25 21:17:46] 707*2^1440794-1 is not prime. Res64: 23B43E264CBA0FB5 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:17:46] 711*2^1440794-1 is not prime. Res64: A89F98F6D07B7FA7 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:17:47] 861*2^1440794-1 is not prime. Res64: 7408459C3BC0B97D Time : 0.0 sec. user=mdettweiler [2016-09-25 21:52:22] 875*2^1440794-1 is not prime. Res64: E511B1661D4F0629 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:52:22] 927*2^1440794-1 is not prime. Res64: 8D5180A8857DC060 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:52:23] 971*2^1440794-1 is not prime. Res64: E8C74DAD75313DF1 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:52:23] 663*2^1440795-1 is not prime. Res64: ADFE9FA5314DDF45 Time : 0.0 sec. user=mdettweiler [2016-09-25 21:52:24] 685*2^1440795-1 is not prime. Res64: 727B6ECE0D099977 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:00:11] 705*2^1440795-1 is not prime. Res64: 253A7DBD7F2783B2 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:00:14] 765*2^1440795-1 is not prime. Res64: 9A670E32A81702F9 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:00:15] 775*2^1440795-1 is not prime. Res64: 032E814A4664D500 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:00:16] 783*2^1440795-1 is not prime. Res64: 8B1FC68287AE14D7 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:00:16] 699*2^1440796-1 is not prime. Res64: F9B7C3E1DC63973E Time : 0.0 sec. user=mdettweiler [2016-09-25 22:01:33] 909*2^1440796-1 is not prime. Res64: 918B7BB3F031DAF5 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:01:34] 927*2^1440796-1 is not prime. Res64: F9AA49E61CB02F72 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:01:35] 993*2^1440796-1 is not prime. Res64: 7B645A154FD03B7F Time : 0.0 sec. user=mdettweiler [2016-09-25 22:01:36] 867*2^1440797-1 is not prime. Res64: 3DA94FEFD08B44FB Time : 0.0 sec. user=mdettweiler [2016-09-25 22:01:37] 871*2^1440797-1 is not prime. Res64: BEEBEF186ECC75B1 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:02:50] 931*2^1440797-1 is not prime. Res64: 55ACB0C08C8B7DAF Time : 0.0 sec. user=mdettweiler [2016-09-25 22:02:52] 981*2^1440797-1 is not prime. Res64: 01D076F0B19AAA43 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:02:52] 627*2^1440798-1 is not prime. Res64: 59BC5A653487871F Time : 0.0 sec. user=mdettweiler [2016-09-25 22:02:53] 755*2^1440798-1 is not prime. Res64: 84209A2A5B2CADB3 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:02:54] 777*2^1440798-1 is not prime. Res64: 48E8B4982E1C585A Time : 0.0 sec. user=mdettweiler [2016-09-25 22:37:46] 945*2^1440798-1 is not prime. Res64: DE70BDB58AC5627C Time : 0.0 sec. user=mdettweiler [2016-09-25 22:37:47] 971*2^1440798-1 is not prime. Res64: ED8971D58094DB87 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:37:47] 615*2^1440799-1 is not prime. Res64: 055507F6D42439E6 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:37:48] 703*2^1440799-1 is not prime. Res64: AF1037F4E8643FDD Time : 0.0 sec. user=mdettweiler [2016-09-25 22:37:48] 735*2^1440799-1 is not prime. Res64: 07CD961D01397A37 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:45:38] 885*2^1440799-1 is not prime. Res64: 0124EAEB740D5E4A Time : 0.0 sec. user=mdettweiler [2016-09-25 22:45:38] 635*2^1440800-1 is not prime. Res64: 3EA2832756F0F995 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:45:39] 957*2^1440800-1 is not prime. Res64: 8224C6B38BE85CC3 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:45:39] 963*2^1440800-1 is not prime. Res64: A1184FBB5053A377 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:45:40] 675*2^1440801-1 is not prime. Res64: EC081B4686225BC5 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:16] 745*2^1440801-1 is not prime. Res64: 8356E4C8D3D8E29D Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:17] 781*2^1440801-1 is not prime. Res64: 26CDDC3E434FAFD6 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:17] 805*2^1440801-1 is not prime. Res64: D22D7865A396F22F Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:18] 829*2^1440801-1 is not prime. Res64: E4D805D69945957E Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:18] 885*2^1440801-1 is not prime. Res64: 9B83EE93AAE68B1A Time : 0.0 sec. user=mdettweiler [2016-09-25 22:47:59] 951*2^1440801-1 is not prime. Res64: 02BD29AA67F909E6 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:48:00] 671*2^1440802-1 is not prime. Res64: D6F334058922BADC Time : 0.0 sec. user=mdettweiler [2016-09-25 22:48:00] 677*2^1440802-1 is not prime. Res64: 27D453A0454C2966 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:48:01] 705*2^1440802-1 is not prime. Res64: 6C8213AC3015F833 Time : 0.0 sec. user=mdettweiler [2016-09-25 22:48:01] 803*2^1440802-1 is not prime. Res64: 092D385CE54DB96F Time : 0.0 sec. user=mdettweiler [2016-09-25 23:23:31] 951*2^1440802-1 is not prime. Res64: 5A1E5FFD047C9455 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:23:32] 949*2^1440803-1 is not prime. Res64: B21803D9392DD08F Time : 0.0 sec. user=mdettweiler [2016-09-25 23:23:32] 981*2^1440803-1 is not prime. Res64: 4596F22070A483A3 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:23:33] 657*2^1440804-1 is not prime. Res64: 9D43BF1DBF317906 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:23:33] 665*2^1440804-1 is not prime. Res64: 29C8EA89041A9654 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:31:29] 675*2^1440804-1 is not prime. Res64: 11D395D3CACE98C4 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:31:30] 717*2^1440804-1 is not prime. Res64: 3B1B1A9F40B19F04 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:31:30] 753*2^1440804-1 is not prime. Res64: ADC9AF19498327E9 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:31:30] 789*2^1440804-1 is not prime. Res64: 23E5755B64BBE74D Time : 0.0 sec. user=mdettweiler [2016-09-25 23:31:31] 905*2^1440804-1 is not prime. Res64: 87B277B49EF7953E Time : 0.0 sec. user=mdettweiler [2016-09-25 23:32:43] 915*2^1440804-1 is not prime. Res64: 531B4474D0BF0A22 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:32:43] 929*2^1440804-1 is not prime. Res64: 578A156FBCEAD83F Time : 0.0 sec. user=mdettweiler [2016-09-25 23:32:44] 945*2^1440804-1 is not prime. Res64: 16957A18708193BB Time : 0.0 sec. user=mdettweiler [2016-09-25 23:32:44] 607*2^1440805-1 is not prime. Res64: B6276A9180D03B82 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:32:45] 699*2^1440805-1 is not prime. Res64: 6CB2B71AFD2C6F58 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:33:32] 715*2^1440805-1 is not prime. Res64: B291AC8E96543104 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:33:32] 721*2^1440805-1 is not prime. Res64: 678A188B33A16AB5 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:33:33] 757*2^1440805-1 is not prime. Res64: 0AB72DD963464578 Time : 0.0 sec. user=mdettweiler [2016-09-25 23:33:33] 765*2^1440805-1 is not prime. Res64: 5DDCFF8769825BCB Time : 0.0 sec. user=mdettweiler [2016-09-25 23:33:34] 801*2^1440805-1 is not prime. Res64: 1F65F0A8A6924984 Time : 0.0 sec.