user=mdettweiler [2016-05-25 00:04:59] 849*2^1430272-1 is not prime. Res64: C9191AD7BCBFD7E9 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:00] 903*2^1430272-1 is not prime. Res64: 27EE9C9FE5C7544E Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:01] 917*2^1430272-1 is not prime. Res64: 588A2EA702B9BA7B Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:02] 939*2^1430272-1 is not prime. Res64: 70F9E536F4FBA86B Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:03] 999*2^1430272-1 is not prime. Res64: C9FF35DD9E7C1C80 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:33] 771*2^1430273-1 is not prime. Res64: 6B75859A49CC55EA Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:35] 635*2^1430274-1 is not prime. Res64: 8DB6A6A27D042F2D Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:36] 657*2^1430274-1 is not prime. Res64: 8905FD73191B1368 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:37] 683*2^1430274-1 is not prime. Res64: 02774B0A68DC9E5E Time : 0.0 sec. user=mdettweiler [2016-05-25 00:05:38] 705*2^1430274-1 is not prime. Res64: BBC4F688566797F0 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:06:06] 741*2^1430274-1 is not prime. Res64: 7DDB15ABC1640554 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:06:08] 747*2^1430274-1 is not prime. Res64: B231026C50810712 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:06:09] 905*2^1430274-1 is not prime. Res64: ADC0303378153EF2 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:06:11] 921*2^1430274-1 is not prime. Res64: D371292C222423AB Time : 0.0 sec. user=mdettweiler [2016-05-25 00:06:12] 951*2^1430274-1 is not prime. Res64: 116E8D9AA03E1FAF Time : 0.0 sec. user=mdettweiler [2016-05-25 00:28:16] 603*2^1430275-1 is not prime. Res64: 2A43D04CCB492675 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:28:16] 715*2^1430275-1 is not prime. Res64: 43E202EBF20DC66A Time : 0.0 sec. user=mdettweiler [2016-05-25 00:28:17] 765*2^1430275-1 is not prime. Res64: 32667E853BD87633 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:28:17] 861*2^1430275-1 is not prime. Res64: 0876C361B59CEB5A Time : 0.0 sec. user=mdettweiler [2016-05-25 00:28:17] 659*2^1430276-1 is not prime. Res64: A23FE37FB5EFA54F Time : 0.0 sec. user=mdettweiler [2016-05-25 00:50:41] 677*2^1430276-1 is not prime. Res64: F53EB1E85CCC11FD Time : 0.0 sec. user=mdettweiler [2016-05-25 00:50:41] 717*2^1430276-1 is not prime. Res64: 92BA4BE5742A4289 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:50:41] 789*2^1430276-1 is not prime. Res64: 6954A7DAB8C5D687 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:50:42] 825*2^1430276-1 is not prime. Res64: B0DA16F5743759FF Time : 0.0 sec. user=mdettweiler [2016-05-25 00:50:42] 875*2^1430276-1 is not prime. Res64: 21F6377F89E712FA Time : 0.0 sec. user=mdettweiler [2016-05-25 00:51:12] 923*2^1430276-1 is not prime. Res64: 950D748E0C3714D5 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:51:13] 675*2^1430277-1 is not prime. Res64: CFFAF5771A986C29 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:51:13] 781*2^1430277-1 is not prime. Res64: 3F5660DF6FC904F5 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:51:14] 805*2^1430277-1 is not prime. Res64: 71F0A5F983C81EF9 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:51:14] 835*2^1430277-1 is not prime. Res64: 686C3E7B0900955B Time : 0.0 sec. user=mdettweiler [2016-05-25 00:52:02] 885*2^1430277-1 is not prime. Res64: D130A1EEADA31FFB Time : 0.0 sec. user=mdettweiler [2016-05-25 00:52:03] 937*2^1430277-1 is not prime. Res64: 2191F5C84AC630C0 Time : 0.0 sec. user=mdettweiler [2016-05-25 00:52:03] 961*2^1430277-1 is not prime. Res64: 41CD7AD8B908D15A Time : 0.0 sec. user=mdettweiler [2016-05-25 00:52:04] 979*2^1430277-1 is not prime. Res64: 16E75BF45FB7E9FC Time : 0.0 sec. user=mdettweiler [2016-05-25 00:52:04] 611*2^1430278-1 is not prime. Res64: E7600B052CD6F226 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:14:53] 617*2^1430278-1 is not prime. Res64: AB9A8600DC7D9748 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:14:54] 621*2^1430278-1 is not prime. Res64: B8837DDA681EE809 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:14:54] 677*2^1430278-1 is not prime. Res64: 908FC14719F181C1 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:14:55] 687*2^1430278-1 is not prime. Res64: B934D799943DDF0D Time : 0.0 sec. user=mdettweiler [2016-05-25 01:14:55] 743*2^1430278-1 is not prime. Res64: D07E208CE78BE3E4 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:27] 867*2^1430278-1 is not prime. Res64: 3C4904B908B32DB6 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:27] 891*2^1430278-1 is not prime. Res64: 61F50F4653B67391 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:28] 933*2^1430278-1 is not prime. Res64: 462395E4AEB47322 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:28] 971*2^1430278-1 is not prime. Res64: A3A5191647D09637 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:28] 995*2^1430278-1 is not prime. Res64: C920B540D8388A10 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:57] 621*2^1430279-1 is not prime. Res64: 579DBF7BD1DB56F1 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:57] 661*2^1430279-1 is not prime. Res64: F8446534830CD22A Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:58] 663*2^1430279-1 is not prime. Res64: C83E27BDECF7C789 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:58] 741*2^1430279-1 is not prime. Res64: 1A6DD5ADBF3D87A3 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:36:58] 789*2^1430279-1 is not prime. Res64: 99AD888A2CD0C03B Time : 0.0 sec. user=mdettweiler [2016-05-25 01:37:59] 909*2^1430279-1 is not prime. Res64: D952BB5323975536 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:37:59] 993*2^1430279-1 is not prime. Res64: 389681338422A560 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:38:00] 653*2^1430280-1 is not prime. Res64: 175779B1A9C69BC9 Time : 0.0 sec. user=mdettweiler [2016-05-25 01:38:00] 665*2^1430280-1 is not prime. Res64: 1349EBB0DE2DCA8D Time : 0.0 sec. user=mdettweiler [2016-05-25 01:38:01] 707*2^1430280-1 is not prime. Res64: 68445341F6E31CC4 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:00:12] 759*2^1430280-1 is not prime. Res64: 4B3D9AEA02F7FD42 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:00:13] 819*2^1430280-1 is not prime. Res64: F2804E90D963AE2C Time : 0.0 sec. user=mdettweiler [2016-05-25 02:00:14] 899*2^1430280-1 is not prime. Res64: 7A52A36E7E08F880 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:00:16] 615*2^1430281-1 is not prime. Res64: 922B8CEEBE7C08F8 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:00:17] 717*2^1430281-1 is not prime. Res64: 6E2D2F83FBE6DBCB Time : 0.0 sec. user=mdettweiler [2016-05-25 02:22:37] 855*2^1430281-1 is not prime. Res64: C90D15F17CE05539 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:22:38] 931*2^1430281-1 is not prime. Res64: 0C67B1E093CABB2A Time : 0.0 sec. user=mdettweiler [2016-05-25 02:22:38] 645*2^1430282-1 is not prime. Res64: 560AA1EE8CDB38FB Time : 0.0 sec. user=mdettweiler [2016-05-25 02:22:39] 741*2^1430282-1 is not prime. Res64: BCCACB0951FFC9DF Time : 0.0 sec. user=mdettweiler [2016-05-25 02:22:39] 873*2^1430282-1 is not prime. Res64: D9EC346CC391D41B Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:03] 921*2^1430282-1 is not prime. Res64: 72E2E6D0E5652CF0 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:03] 1001*2^1430282-1 is not prime. Res64: 33901F83BA601655 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:04] 609*2^1430283-1 is not prime. Res64: 9CBDA5043D8C69ED Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:04] 769*2^1430283-1 is not prime. Res64: 61F465927CD6F0B2 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:04] 835*2^1430283-1 is not prime. Res64: 9AFF22E2D6593DAA Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:54] 963*2^1430283-1 is not prime. Res64: 471E0D38C6D4F55C Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:54] 609*2^1430284-1 is not prime. Res64: 8379A50A4780DA7E Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:55] 639*2^1430284-1 is not prime. Res64: 23D2B5AB0093DD3A Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:55] 693*2^1430284-1 is not prime. Res64: DBD7FB0581079592 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:23:55] 719*2^1430284-1 is not prime. Res64: 84702515F1E0996B Time : 0.0 sec. user=mdettweiler [2016-05-25 02:46:07] 803*2^1430284-1 is not prime. Res64: F5BD0A09FC444E15 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:46:08] 657*2^1430285-1 is not prime. Res64: DD2AF6973627CE73 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:46:08] 711*2^1430285-1 is not prime. Res64: 75FBFB728FD2B5A3 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:46:09] 717*2^1430285-1 is not prime. Res64: 8C0F65238EDF1A95 Time : 0.0 sec. user=mdettweiler [2016-05-25 02:46:09] 955*2^1430285-1 is not prime. Res64: DE27A278872AAA51 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:01] 957*2^1430285-1 is not prime. Res64: 330737AD8CC14A8D Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:02] 717*2^1430286-1 is not prime. Res64: 111CD6D079A1BD24 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:02] 767*2^1430286-1 is not prime. Res64: 2C2541FB185A6695 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:03] 801*2^1430286-1 is not prime. Res64: 57145AE5DF3361CE Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:03] 843*2^1430286-1 is not prime. Res64: C9199F68D1FAA7C8 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:05] 881*2^1430286-1 is not prime. Res64: 4AE861163F0750CF Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:06] 933*2^1430286-1 is not prime. Res64: F78F67BD0CB12708 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:07] 975*2^1430286-1 is not prime. Res64: B74EEC002DC3064E Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:07] 601*2^1430287-1 is not prime. Res64: C5FA31D19FE9411C Time : 0.0 sec. user=mdettweiler [2016-05-25 03:08:08] 651*2^1430287-1 is not prime. Res64: 1BE4569A15738D35 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:09:06] 703*2^1430287-1 is not prime. Res64: 50CE49D867891391 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:09:07] 763*2^1430287-1 is not prime. Res64: 6F0C4C5E697EF52C Time : 0.0 sec. user=mdettweiler [2016-05-25 03:09:07] 805*2^1430287-1 is not prime. Res64: E48CCE7207B1E65F Time : 0.0 sec. user=mdettweiler [2016-05-25 03:09:07] 871*2^1430287-1 is not prime. Res64: D9237A67AAFF96DA Time : 0.0 sec. user=mdettweiler [2016-05-25 03:09:08] 885*2^1430287-1 is not prime. Res64: 9920C1D57A8D3A5A Time : 0.0 sec. user=mdettweiler [2016-05-25 03:31:33] 951*2^1430287-1 is not prime. Res64: 9144CB051613E1AE Time : 0.0 sec. user=mdettweiler [2016-05-25 03:31:35] 629*2^1430288-1 is not prime. Res64: 4E603A7EC75D2492 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:31:37] 635*2^1430288-1 is not prime. Res64: 315F0CA7983B375C Time : 0.0 sec. user=mdettweiler [2016-05-25 03:31:38] 645*2^1430288-1 is not prime. Res64: 8861524F40D8ECA3 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:31:39] 747*2^1430288-1 is not prime. Res64: 456D8E48E09CC5D6 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:04] 753*2^1430288-1 is not prime. Res64: 470BB5596BE996CA Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:06] 759*2^1430288-1 is not prime. Res64: 7CF777BFE85C9E88 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:08] 855*2^1430288-1 is not prime. Res64: 542FEFCB9E9422F7 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:10] 869*2^1430288-1 is not prime. Res64: C211A74A4FD1E0D8 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:11] 879*2^1430288-1 is not prime. Res64: BA6946E2097BB091 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:11] 915*2^1430288-1 is not prime. Res64: DA0278A30A9E756E Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:12] 935*2^1430288-1 is not prime. Res64: 617C80AEA5CE5173 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:14] 959*2^1430288-1 is not prime. Res64: B40D59CDE52D411D Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:17] 609*2^1430289-1 is not prime. Res64: CEA76C377004ED5E Time : 0.0 sec. user=mdettweiler [2016-05-25 03:53:19] 807*2^1430289-1 is not prime. Res64: A552556557DAE80A Time : 0.0 sec. user=mdettweiler [2016-05-25 03:54:07] 861*2^1430289-1 is not prime. Res64: 2FA1C47B2AEC8F20 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:54:08] 885*2^1430289-1 is not prime. Res64: 6CF24E131B49B358 Time : 0.0 sec. user=mdettweiler [2016-05-25 03:54:09] 909*2^1430289-1 is not prime. Res64: 906F4FE04A2C265E Time : 0.0 sec. user=mdettweiler [2016-05-25 03:54:10] 603*2^1430290-1 is not prime. Res64: 5AAC2721CEC49A8E Time : 0.0 sec. user=mdettweiler [2016-05-25 03:54:11] 647*2^1430290-1 is not prime. Res64: 6AE5EC9EB2507A12 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:16:37] 663*2^1430290-1 is not prime. Res64: 310032F7CA4AF41D Time : 0.0 sec. user=mdettweiler [2016-05-25 04:16:38] 755*2^1430290-1 is not prime. Res64: B6B1AE11C77CCB2A Time : 0.0 sec. user=mdettweiler [2016-05-25 04:16:38] 801*2^1430290-1 is not prime. Res64: EDBEF481AEAF8E2E Time : 0.0 sec. user=mdettweiler [2016-05-25 04:16:38] 833*2^1430290-1 is not prime. Res64: EC84FE03B45D54B7 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:16:39] 861*2^1430290-1 is not prime. Res64: B105CE1D05E60467 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:22] 945*2^1430290-1 is not prime. Res64: 8CEDF5C7DC53B839 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:22] 951*2^1430290-1 is not prime. Res64: 570BFCDFD0513F04 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:23] 1001*2^1430290-1 is not prime. Res64: A73DE0F7D524D0BA Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:24] 669*2^1430291-1 is not prime. Res64: 0C0F5A3271B05CFE Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:24] 715*2^1430291-1 is not prime. Res64: 056DA0F7C6D0C8EB Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:31] 741*2^1430291-1 is not prime. Res64: DBF47AC0AECD52B3 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:32] 811*2^1430291-1 is not prime. Res64: 4581B3C2039B5CCE Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:33] 609*2^1430292-1 is not prime. Res64: A87D1C9DF11B4F69 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:34] 629*2^1430292-1 is not prime. Res64: 3AD2F9ED3882873B Time : 0.0 sec. user=mdettweiler [2016-05-25 04:38:34] 647*2^1430292-1 is not prime. Res64: DAB1A553666D78D4 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:39:10] 657*2^1430292-1 is not prime. Res64: 84A519B6231D8984 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:39:11] 669*2^1430292-1 is not prime. Res64: 9BD4C6866BE69283 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:39:11] 725*2^1430292-1 is not prime. Res64: EF89EC33F199FB17 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:39:12] 687*2^1430293-1 is not prime. Res64: C034436BD3EDD079 Time : 0.0 sec. user=mdettweiler [2016-05-25 04:39:13] 757*2^1430293-1 is not prime. Res64: 65F2880EF69D6F59 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:01:46] 801*2^1430293-1 is not prime. Res64: FAE38FF80B6EB043 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:01:46] 877*2^1430293-1 is not prime. Res64: FAC44A60E7D92198 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:01:47] 927*2^1430293-1 is not prime. Res64: 779FB8AC66353CE5 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:01:48] 939*2^1430293-1 is not prime. Res64: 4E38CD460098BC0E Time : 0.0 sec. user=mdettweiler [2016-05-25 05:01:49] 945*2^1430293-1 is not prime. Res64: 79BA53FB5D33B038 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:27] 615*2^1430294-1 is not prime. Res64: F2CC883E63925FF0 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:27] 707*2^1430294-1 is not prime. Res64: 764A729A3567B104 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:28] 743*2^1430294-1 is not prime. Res64: 3783BB15762566E4 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:28] 827*2^1430294-1 is not prime. Res64: CB4C17A5C7CC9065 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:28] 851*2^1430294-1 is not prime. Res64: 512E51897C4F99BA Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:36] 971*2^1430294-1 is not prime. Res64: 8F678F261C773272 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:37] 663*2^1430295-1 is not prime. Res64: 933541E1134E27E0 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:37] 765*2^1430295-1 is not prime. Res64: 50931C53B700FAF5 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:38] 789*2^1430295-1 is not prime. Res64: 39B37D846A782207 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:23:38] 861*2^1430295-1 is not prime. Res64: EE1B36F006968093 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:24:17] 865*2^1430295-1 is not prime. Res64: 338A2526EA940F58 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:24:17] 871*2^1430295-1 is not prime. Res64: 2B744E0ED7B51322 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:24:18] 873*2^1430295-1 is not prime. Res64: AF562DD17BE17F83 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:24:18] 615*2^1430296-1 is not prime. Res64: B216685A0CD8BEA8 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:24:18] 747*2^1430296-1 is not prime. Res64: F82E91A739B4508D Time : 0.0 sec. user=mdettweiler [2016-05-25 05:47:01] 825*2^1430296-1 is not prime. Res64: 7F114B393D819794 Time : 0.0 sec. user=mdettweiler [2016-05-25 05:47:02] 839*2^1430296-1 is not prime. Res64: 0E794ABE8FA07B7C Time : 0.0 sec. user=mdettweiler [2016-05-25 05:47:02] 843*2^1430296-1 is not prime. Res64: 996B587C196E029E Time : 0.0 sec. user=mdettweiler [2016-05-25 05:47:02] 857*2^1430296-1 is not prime. Res64: 9BDE225A57A7FA8B Time : 0.0 sec. user=mdettweiler [2016-05-25 05:47:03] 869*2^1430296-1 is not prime. Res64: 53DA2ABAD0828430 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:34] 887*2^1430296-1 is not prime. Res64: 9E84CF4AEF3EFE50 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:35] 903*2^1430296-1 is not prime. Res64: D253F9F0E8705386 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:35] 975*2^1430296-1 is not prime. Res64: 5CB8ED13D7612FD1 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:36] 983*2^1430296-1 is not prime. Res64: 0CB1EB75F0C34EBC Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:36] 631*2^1430297-1 is not prime. Res64: 41001B9D9487B496 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:41] 771*2^1430297-1 is not prime. Res64: B8A58B21009E20B5 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:41] 795*2^1430297-1 is not prime. Res64: 88E489543B5DC0CD Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:41] 635*2^1430298-1 is not prime. Res64: 36891B9938723472 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:42] 927*2^1430298-1 is not prime. Res64: 70522979C0CD9BC3 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:08:42] 971*2^1430298-1 is not prime. Res64: 80B819ECAEF1B2E8 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:09:23] 625*2^1430299-1 is not prime. Res64: 744E2E5FB6D4B294 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:09:24] 639*2^1430299-1 is not prime. Res64: 01BC57C85C92B298 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:09:24] 645*2^1430299-1 is not prime. Res64: 5E02EABC38657AE7 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:09:25] 759*2^1430299-1 is not prime. Res64: 59A6F425E61D5197 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:09:25] 771*2^1430299-1 is not prime. Res64: AE9E8AC50F6EE482 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:32:08] 961*2^1430299-1 is not prime. Res64: A779B525777586CF Time : 0.0 sec. user=mdettweiler [2016-05-25 06:32:09] 635*2^1430300-1 is not prime. Res64: 96ACC06862AD822C Time : 0.0 sec. user=mdettweiler [2016-05-25 06:32:10] 659*2^1430300-1 is not prime. Res64: C8DF0EFB3AA43AEF Time : 0.0 sec. user=mdettweiler [2016-05-25 06:32:11] 663*2^1430300-1 is not prime. Res64: 1A9CE829C1BEB136 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:32:11] 759*2^1430300-1 is not prime. Res64: ECE38201CC48E563 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:43] 795*2^1430300-1 is not prime. Res64: 2E6C6436F30AE89B Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:43] 797*2^1430300-1 is not prime. Res64: F351B17CE6B83918 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:44] 843*2^1430300-1 is not prime. Res64: F96255439B6AFCDA Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:44] 885*2^1430300-1 is not prime. Res64: A8B1D93F907FB01C Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:44] 987*2^1430300-1 is not prime. Res64: 4FD41D11D181F75D Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:48] 781*2^1430301-1 is not prime. Res64: 8458312B032E84BA Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:48] 975*2^1430301-1 is not prime. Res64: 1456012638673F03 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:48] 603*2^1430302-1 is not prime. Res64: 601221BED8664A1F Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:49] 621*2^1430302-1 is not prime. Res64: 8793DDB24C656EFC Time : 0.0 sec. user=mdettweiler [2016-05-25 06:53:49] 681*2^1430302-1 is not prime. Res64: 7DA34E8636EA35E1 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:54:41] 831*2^1430302-1 is not prime. Res64: 2C120EB9249A2265 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:54:42] 863*2^1430302-1 is not prime. Res64: 6044BE57C482F360 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:54:42] 911*2^1430302-1 is not prime. Res64: EA5FAB5BAE39B6F8 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:54:42] 965*2^1430302-1 is not prime. Res64: C73DD156707FA2F4 Time : 0.0 sec. user=mdettweiler [2016-05-25 06:54:43] 983*2^1430302-1 is not prime. Res64: 2A41AD75F6C34B8C Time : 0.0 sec. user=mdettweiler [2016-05-25 07:17:14] 685*2^1430303-1 is not prime. Res64: F38BA063054864C5 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:17:14] 739*2^1430303-1 is not prime. Res64: 7D1855669D7F5896 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:17:15] 753*2^1430303-1 is not prime. Res64: C99E7B9984F5F23D Time : 0.0 sec. user=mdettweiler [2016-05-25 07:17:15] 943*2^1430303-1 is not prime. Res64: 4B62C5D803BED787 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:17:15] 675*2^1430304-1 is not prime. Res64: 3CEAA2E793182F3E Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:42] 873*2^1430304-1 is not prime. Res64: 1EB492706255B4BB Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:42] 969*2^1430304-1 is not prime. Res64: 46DA6E94AA1CB7F1 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:42] 609*2^1430305-1 is not prime. Res64: 17BFA194605DD881 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:43] 649*2^1430305-1 is not prime. Res64: 33CA3F67B0E2503E Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:43] 729*2^1430305-1 is not prime. Res64: F4867A0E4024B2E8 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:54] 689*2^1430304-1 is not prime. Res64: 412C66697A7A667D Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:54] 693*2^1430304-1 is not prime. Res64: 8EEEAC0586A1844C Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:55] 725*2^1430304-1 is not prime. Res64: 6881A79CC82F4B67 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:55] 765*2^1430304-1 is not prime. Res64: 1A20863AA3ABE9F7 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:38:55] 789*2^1430304-1 is not prime. Res64: C7B6A1EC650BDD21 Time : 0.0 sec. user=mdettweiler [2016-05-25 07:39:31] 741*2^1430305-1 is not prime. Res64: 0A36653AEC7C4E4B Time : 0.0 sec. user=mdettweiler [2016-05-25 07:39:31] 877*2^1430305-1 is not prime. Res64: C6489C5B2D51F6CE Time : 0.0 sec. user=mdettweiler [2016-05-25 07:39:31] 915*2^1430305-1 is not prime. Res64: E82202046255DA8D Time : 0.0 sec. user=mdettweiler [2016-05-25 07:39:32] 675*2^1430306-1 is not prime. Res64: C42AF1CA4AA9C28D Time : 0.0 sec. user=mdettweiler [2016-05-25 07:39:32] 705*2^1430306-1 is not prime. Res64: 1EE2251A33FD6C65 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:02:22] 713*2^1430306-1 is not prime. Res64: 7503032F951B280E Time : 0.0 sec. user=mdettweiler [2016-05-25 08:02:23] 785*2^1430306-1 is not prime. Res64: 3D1793765FF32D31 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:02:24] 827*2^1430306-1 is not prime. Res64: C70871816A483EF5 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:02:25] 903*2^1430306-1 is not prime. Res64: 3BE878C8AD32AF74 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:02:26] 923*2^1430306-1 is not prime. Res64: C981ABD0D1004A06 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:01] 885*2^1430307-1 is not prime. Res64: 38DCDD1D6D8C9A79 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:01] 895*2^1430307-1 is not prime. Res64: BC17770138037D62 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:02] 963*2^1430307-1 is not prime. Res64: E7ACFA98C6F72C4A Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:03] 635*2^1430308-1 is not prime. Res64: 6A6ECDAB5D5554E7 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:04] 665*2^1430308-1 is not prime. Res64: 05E47C59CEC77FDD Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:13] 633*2^1430307-1 is not prime. Res64: FDF957186D48AEE5 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:14] 711*2^1430307-1 is not prime. Res64: 18118757E5DCE6C8 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:15] 849*2^1430307-1 is not prime. Res64: 63FAF96C1589E1EE Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:16] 871*2^1430307-1 is not prime. Res64: 3CD7CD0198BEB67F Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:16] 879*2^1430307-1 is not prime. Res64: 31C2FFEC64538B3E Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:46] 687*2^1430308-1 is not prime. Res64: 820ED1E64793983F Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:47] 825*2^1430308-1 is not prime. Res64: 05B88C284812B902 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:47] 827*2^1430308-1 is not prime. Res64: 80CF378BEB44259C Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:48] 915*2^1430308-1 is not prime. Res64: AE93DD8E10A8F0B1 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:24:48] 947*2^1430308-1 is not prime. Res64: A3A7E51EB140EF35 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:47:50] 699*2^1430309-1 is not prime. Res64: 90979B94CFB856F4 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:47:50] 811*2^1430309-1 is not prime. Res64: E9BE3DF287E45B2A Time : 0.0 sec. user=mdettweiler [2016-05-25 08:47:50] 865*2^1430309-1 is not prime. Res64: 6CF52EB52AAB9A06 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:47:51] 889*2^1430309-1 is not prime. Res64: FC318889EF3C9368 Time : 0.0 sec. user=mdettweiler [2016-05-25 08:47:51] 951*2^1430309-1 is not prime. Res64: 57A8AC75A24E59EF Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:26] 917*2^1430310-1 is not prime. Res64: 161424910E3100C6 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:29] 965*2^1430310-1 is not prime. Res64: 437EED912E52D254 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:31] 763*2^1430311-1 is not prime. Res64: 67BF132D37F93433 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:33] 987*2^1430309-1 is not prime. Res64: E10A990198D7B128 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:33] 771*2^1430311-1 is not prime. Res64: B07246FE0A1E954D Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:34] 665*2^1430310-1 is not prime. Res64: 5C3ED21122C11DDF Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:34] 841*2^1430311-1 is not prime. Res64: 91E81F3D6FCEA735 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:35] 717*2^1430310-1 is not prime. Res64: 841C94DB87AFDC1C Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:38] 821*2^1430310-1 is not prime. Res64: AE545EF94537FEE5 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:09:40] 851*2^1430310-1 is not prime. Res64: 2D6AE7C67EB1452A Time : 0.0 sec. user=mdettweiler [2016-05-25 09:10:08] 889*2^1430311-1 is not prime. Res64: 0ECADD897866E454 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:10:11] 951*2^1430311-1 is not prime. Res64: B43862018DE9952B Time : 0.0 sec. user=mdettweiler [2016-05-25 09:10:12] 675*2^1430312-1 is not prime. Res64: F659B5499CF1C543 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:10:15] 755*2^1430312-1 is not prime. Res64: B3CF13BA0D741CFC Time : 0.0 sec. user=mdettweiler [2016-05-25 09:10:18] 855*2^1430312-1 is not prime. Res64: 5D46988CBB07CFBF Time : 0.0 sec. user=mdettweiler [2016-05-25 09:33:43] 609*2^1430313-1 is not prime. Res64: F6AB24D031DC1D77 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:33:43] 681*2^1430313-1 is not prime. Res64: 86639B08D50C4FEF Time : 0.0 sec. user=mdettweiler [2016-05-25 09:33:44] 727*2^1430313-1 is not prime. Res64: 1A61BEB36763E091 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:33:44] 871*2^1430313-1 is not prime. Res64: EFC443C71E1EE98D Time : 0.0 sec. user=mdettweiler [2016-05-25 09:33:44] 945*2^1430313-1 is not prime. Res64: 9F07E00CE2951CCE Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:42] 979*2^1430313-1 is not prime. Res64: 53BC78883C0B49B6 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:42] 635*2^1430314-1 is not prime. Res64: 217ADDD90F10C266 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:42] 657*2^1430314-1 is not prime. Res64: 14215E7E4BA8E051 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:43] 737*2^1430314-1 is not prime. Res64: FD66F49AE63C382E Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:43] 669*2^1430315-1 is not prime. Res64: 1348CA2B275E0119 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:47] 675*2^1430315-1 is not prime. Res64: 59476ADC79349AA3 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:47] 741*2^1430315-1 is not prime. Res64: F4A4BB856BC0277F Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:48] 903*2^1430315-1 is not prime. Res64: 31CCD13591027CB6 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:48] 909*2^1430315-1 is not prime. Res64: 1B4F6BE2F4148B10 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:48] 973*2^1430315-1 is not prime. Res64: 3DDA11F2A5AE92C6 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:56] 627*2^1430316-1 is not prime. Res64: 655546CE1CA11225 Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:56] 689*2^1430316-1 is not prime. Res64: 460E584232190A7E Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:56] 725*2^1430316-1 is not prime. Res64: 80A08967A27212AF Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:56] 945*2^1430316-1 is not prime. Res64: 8C2F08F1F132412E Time : 0.0 sec. user=mdettweiler [2016-05-25 09:57:56] 993*2^1430316-1 is not prime. Res64: 07C3CB86F3E08597 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:20:38] 609*2^1430317-1 is not prime. Res64: 1FCF1B3091B231EF Time : 0.0 sec. user=mdettweiler [2016-05-25 10:20:39] 667*2^1430317-1 is not prime. Res64: E4C324B979E22F75 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:20:39] 691*2^1430317-1 is not prime. Res64: D7A6F579AB596406 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:20:39] 757*2^1430317-1 is not prime. Res64: AA7D7EB4932F24A6 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:20:40] 889*2^1430317-1 is not prime. Res64: 70D97DCF11A4CFC5 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:55] 897*2^1430318-1 is not prime. Res64: AA717A918E58AD99 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:55] 621*2^1430319-1 is not prime. Res64: 4FA406917F1CD01E Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:55] 745*2^1430319-1 is not prime. Res64: 69A2AE5F94A2105E Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:56] 895*2^1430319-1 is not prime. Res64: E259D4D83775868A Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:56] 665*2^1430320-1 is not prime. Res64: F6AD6B1A9A2C9632 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:59] 603*2^1430318-1 is not prime. Res64: 3C21CA2629F80C33 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:59] 797*2^1430318-1 is not prime. Res64: 284AAAC079032FE0 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:42:59] 813*2^1430318-1 is not prime. Res64: 29C851F452FDA4DB Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:00] 843*2^1430318-1 is not prime. Res64: FF07F2667A535BAF Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:00] 867*2^1430318-1 is not prime. Res64: DD946E6060082333 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:27] 677*2^1430320-1 is not prime. Res64: 78FFD831C06174E1 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:28] 707*2^1430320-1 is not prime. Res64: A389CF48C6D4D66F Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:28] 719*2^1430320-1 is not prime. Res64: E88324EFEEC11DFF Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:28] 875*2^1430320-1 is not prime. Res64: 115F576C83637926 Time : 0.0 sec. user=mdettweiler [2016-05-25 10:43:29] 715*2^1430321-1 is not prime. Res64: 4D7EDB26283B8A05 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:05:49] 777*2^1430321-1 is not prime. Res64: 2D1DE16E0BFD2319 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:05:51] 955*2^1430321-1 is not prime. Res64: C4AD135A84B47695 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:05:52] 611*2^1430322-1 is not prime. Res64: 3D8F9D2DDF78DB0D Time : 0.0 sec. user=mdettweiler [2016-05-25 11:05:53] 683*2^1430322-1 is not prime. Res64: 7F4A7F7D6AFA6869 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:05:54] 711*2^1430322-1 is not prime. Res64: 1754142E484202FE Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:29] 663*2^1430323-1 is not prime. Res64: DFE335E2A74DB7DE Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:30] 735*2^1430323-1 is not prime. Res64: E816EBA5631E77FA Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:30] 835*2^1430323-1 is not prime. Res64: 65D6D0480DCE3410 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:31] 885*2^1430323-1 is not prime. Res64: A7F647B541D084C5 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:31] 699*2^1430324-1 is not prime. Res64: 0980626AAC1B9C6D Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:42] 731*2^1430322-1 is not prime. Res64: 073630AA8FE7D2FE Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:42] 737*2^1430322-1 is not prime. Res64: F1A65E2021F373AD Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:43] 815*2^1430322-1 is not prime. Res64: 1AEAEC6DB3A8E123 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:43] 891*2^1430322-1 is not prime. Res64: C9EE8569A6579DC4 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:29:44] 1001*2^1430322-1 is not prime. Res64: EE0E659D0B747B56 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:30:11] 719*2^1430324-1 is not prime. Res64: 516FD3EA9383ABEB Time : 0.0 sec. user=mdettweiler [2016-05-25 11:30:12] 759*2^1430324-1 is not prime. Res64: BA5BF2D5A490E463 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:30:12] 873*2^1430324-1 is not prime. Res64: 62FDC0BFB905F7B7 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:30:12] 885*2^1430324-1 is not prime. Res64: 237F5F1DF1121C29 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:30:13] 957*2^1430324-1 is not prime. Res64: D758D974F7398B7C Time : 0.0 sec. user=mdettweiler [2016-05-25 11:53:10] 625*2^1430325-1 is not prime. Res64: EA0161FDA20EE33F Time : 0.0 sec. user=mdettweiler [2016-05-25 11:53:11] 675*2^1430325-1 is not prime. Res64: E7C1E419BF7CD044 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:53:11] 717*2^1430325-1 is not prime. Res64: 28C6642B2AF70D49 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:53:11] 727*2^1430325-1 is not prime. Res64: 16B64B2CDD0A45A3 Time : 0.0 sec. user=mdettweiler [2016-05-25 11:53:12] 867*2^1430325-1 is not prime. Res64: 1C8E7B605AF93A5C Time : 0.0 sec. user=mdettweiler [2016-05-25 12:14:55] 891*2^1430325-1 is not prime. Res64: A7D5D632224E04BC Time : 0.0 sec. user=mdettweiler [2016-05-25 12:14:56] 955*2^1430325-1 is not prime. Res64: 1766CA61822A62A3 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:14:58] 645*2^1430326-1 is not prime. Res64: 70EFCD7CF87439DA Time : 0.0 sec. user=mdettweiler [2016-05-25 12:14:58] 647*2^1430326-1 is not prime. Res64: 4486A329AE07C2B0 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:14:59] 761*2^1430326-1 is not prime. Res64: EFA7DEDE2C56A4CA Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:23] 773*2^1430326-1 is not prime. Res64: F8A02FEE6E27E586 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:23] 801*2^1430326-1 is not prime. Res64: 7166B68866BFFEB3 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:24] 843*2^1430326-1 is not prime. Res64: BC1F5646891158DA Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:24] 911*2^1430326-1 is not prime. Res64: 2C4D579E44A61069 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:25] 941*2^1430326-1 is not prime. Res64: 8ED7FF4BBD52587E Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:47] 987*2^1430326-1 is not prime. Res64: 750E95F7FF4E9FD2 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:48] 661*2^1430327-1 is not prime. Res64: 330CE18DFDE9ABF0 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:48] 729*2^1430327-1 is not prime. Res64: 4A655AC04F77488E Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:49] 775*2^1430327-1 is not prime. Res64: 317397AE1DFC9EAC Time : 0.0 sec. user=mdettweiler [2016-05-25 12:15:49] 799*2^1430327-1 is not prime. Res64: 8592356980E82212 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:38:26] 819*2^1430327-1 is not prime. Res64: 0DAD22E370E3CCAC Time : 0.0 sec. user=mdettweiler [2016-05-25 12:38:26] 895*2^1430327-1 is not prime. Res64: C0730B281F373720 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:38:27] 915*2^1430327-1 is not prime. Res64: 470F067E4AA6A1B0 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:38:27] 657*2^1430328-1 is not prime. Res64: 3F1417AD619DFE81 Time : 0.0 sec. user=mdettweiler [2016-05-25 12:38:27] 837*2^1430328-1 is not prime. Res64: CFE2B112A1C70ABF Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:13] 909*2^1430328-1 is not prime. Res64: 4B64233C6AD9B4FF Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:14] 649*2^1430329-1 is not prime. Res64: F12B38757F9B9B72 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:15] 661*2^1430329-1 is not prime. Res64: E17EA53931CE6355 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:16] 687*2^1430329-1 is not prime. Res64: 1BF8C86092445026 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:17] 705*2^1430329-1 is not prime. Res64: ABB4AFEA86D82943 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:29] 831*2^1430329-1 is not prime. Res64: 9BFED5AE6907C757 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:31] 847*2^1430329-1 is not prime. Res64: 21D6FC70913D94F5 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:32] 877*2^1430329-1 is not prime. Res64: 7DDAE6B011B693F3 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:32] 897*2^1430329-1 is not prime. Res64: 72FFD3315FA39CA9 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:33] 987*2^1430329-1 is not prime. Res64: 29F5F0C6712E6C6F Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:57] 711*2^1430330-1 is not prime. Res64: BFD49939F68CF37C Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:58] 735*2^1430330-1 is not prime. Res64: B95C06557B39219E Time : 0.0 sec. user=mdettweiler [2016-05-25 13:00:59] 917*2^1430330-1 is not prime. Res64: 29E77DDC87B81341 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:01:00] 927*2^1430330-1 is not prime. Res64: 25EAB52D10A18DBE Time : 0.0 sec. user=mdettweiler [2016-05-25 13:01:01] 649*2^1430331-1 is not prime. Res64: 000FD8C9C80CDCFC Time : 0.0 sec. user=mdettweiler [2016-05-25 13:23:43] 669*2^1430331-1 is not prime. Res64: 570E5B2032E8BA7B Time : 0.0 sec. user=mdettweiler [2016-05-25 13:23:43] 709*2^1430331-1 is not prime. Res64: DEDEA04202BDC1AA Time : 0.0 sec. user=mdettweiler [2016-05-25 13:23:44] 739*2^1430331-1 is not prime. Res64: 9A59C6197B44EF04 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:23:44] 961*2^1430331-1 is not prime. Res64: 5F2827CC8B98B04C Time : 0.0 sec. user=mdettweiler [2016-05-25 13:23:45] 605*2^1430332-1 is not prime. Res64: 85A7C78BB1840216 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:25] 617*2^1430332-1 is not prime. Res64: D7565395DC996CEF Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:25] 689*2^1430332-1 is not prime. Res64: CAB2B24EC63FFF41 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:25] 723*2^1430332-1 is not prime. Res64: 68CE4C9ED0E62361 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:26] 819*2^1430332-1 is not prime. Res64: 3777B4BD8EFB5209 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:26] 863*2^1430332-1 is not prime. Res64: EA9B53890CD140FD Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:47] 929*2^1430332-1 is not prime. Res64: E98BE2C18B346151 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:48] 669*2^1430333-1 is not prime. Res64: 89EDBEBD7AE920A0 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:48] 757*2^1430333-1 is not prime. Res64: 6B38EDCFB31C9F63 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:49] 769*2^1430333-1 is not prime. Res64: 4106446092697772 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:45:49] 859*2^1430333-1 is not prime. Res64: 621DC8AA3F2731A8 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:46:10] 615*2^1430334-1 is not prime. Res64: CB4DDD6E5D22E8E4 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:46:10] 663*2^1430334-1 is not prime. Res64: 71DC50EA2064949C Time : 0.0 sec. user=mdettweiler [2016-05-25 13:46:11] 671*2^1430334-1 is not prime. Res64: CA4C52389A0649F1 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:46:11] 681*2^1430334-1 is not prime. Res64: FB87B08383604156 Time : 0.0 sec. user=mdettweiler [2016-05-25 13:46:11] 695*2^1430334-1 is not prime. Res64: 6E344F4E2FDEA822 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:08:58] 863*2^1430334-1 is not prime. Res64: A937DFCED823F163 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:08:58] 893*2^1430334-1 is not prime. Res64: 3E142FAB778E27FE Time : 0.0 sec. user=mdettweiler [2016-05-25 14:08:59] 645*2^1430335-1 is not prime. Res64: 5B17044C429549D4 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:08:59] 651*2^1430335-1 is not prime. Res64: 8463152153F31B25 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:09:00] 765*2^1430335-1 is not prime. Res64: D9406D23B20DFAD8 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:18] 843*2^1430335-1 is not prime. Res64: 938379FF123962F2 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:19] 609*2^1430336-1 is not prime. Res64: 5EEF3AC1D5A704AD Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:19] 677*2^1430336-1 is not prime. Res64: 1C5591A286DE909F Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:19] 683*2^1430336-1 is not prime. Res64: 43694595101E1318 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:20] 693*2^1430336-1 is not prime. Res64: 6B1180FF97BF3C34 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:51] 719*2^1430336-1 is not prime. Res64: 765C61D8054F76C1 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:52] 773*2^1430336-1 is not prime. Res64: EAAFCCFB3C111699 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:52] 857*2^1430336-1 is not prime. Res64: C3E9B09875FFE2D3 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:53] 875*2^1430336-1 is not prime. Res64: 93A7B587965E3CD8 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:30:53] 945*2^1430336-1 is not prime. Res64: BB0C7883C1A419F6 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:31:07] 983*2^1430336-1 is not prime. Res64: B4A5350F289C6BE6 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:31:08] 649*2^1430337-1 is not prime. Res64: C61A05AC5A4C4566 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:31:08] 849*2^1430337-1 is not prime. Res64: C3C625991B8ACE26 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:31:08] 885*2^1430337-1 is not prime. Res64: CA0709874B2E1797 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:31:09] 605*2^1430338-1 is not prime. Res64: 47ED7FF072F63470 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:53:45] 611*2^1430338-1 is not prime. Res64: 4FD33D812FE875E9 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:53:45] 705*2^1430338-1 is not prime. Res64: 6C13A615E44E864A Time : 0.0 sec. user=mdettweiler [2016-05-25 14:53:46] 723*2^1430338-1 is not prime. Res64: 53298DDFE4CBF62E Time : 0.0 sec. user=mdettweiler [2016-05-25 14:53:46] 731*2^1430338-1 is not prime. Res64: 64BD9D7684FD1585 Time : 0.0 sec. user=mdettweiler [2016-05-25 14:53:46] 915*2^1430338-1 is not prime. Res64: E1AB183421B2EF0D Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:05] 993*2^1430338-1 is not prime. Res64: DA88C2B8FFAA62E2 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:06] 631*2^1430339-1 is not prime. Res64: 7F939B5C4B23B066 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:06] 655*2^1430339-1 is not prime. Res64: 7603DB5580655472 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:06] 775*2^1430339-1 is not prime. Res64: 8D9932FC5C2C1C1C Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:07] 811*2^1430339-1 is not prime. Res64: 2950F428BF5AE19F Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:36] 813*2^1430339-1 is not prime. Res64: 1C6C72B7567130AC Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:37] 823*2^1430339-1 is not prime. Res64: FA4CB2BCB74A4171 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:37] 939*2^1430339-1 is not prime. Res64: 8BDA907464E70440 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:38] 615*2^1430340-1 is not prime. Res64: 157D16FC5CD3D8E3 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:38] 629*2^1430340-1 is not prime. Res64: CC58328F4235EA9F Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:50] 707*2^1430340-1 is not prime. Res64: D00D9D41B48731D4 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:50] 783*2^1430340-1 is not prime. Res64: 1D537D3AC68CDB02 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:51] 795*2^1430340-1 is not prime. Res64: 857BE27EF77B9A5C Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:51] 845*2^1430340-1 is not prime. Res64: 697229E64C64534E Time : 0.0 sec. user=mdettweiler [2016-05-25 15:15:51] 687*2^1430341-1 is not prime. Res64: 8783C5A72CEE9405 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:38:57] 817*2^1430341-1 is not prime. Res64: 227ABBABC0D93F57 Time : 0.0 sec. user=mdettweiler [2016-05-25 15:38:57] 855*2^1430341-1 is not prime. Res64: E97E95B18A8597CC Time : 0.0 sec. user=mdettweiler [2016-05-25 15:38:57] 871*2^1430341-1 is not prime. Res64: ADC818008835196E Time : 0.0 sec. user=mdettweiler [2016-05-25 15:38:57] 895*2^1430341-1 is not prime. Res64: 7C3252B88812F95A Time : 0.0 sec. user=mdettweiler [2016-05-25 15:38:58] 955*2^1430341-1 is not prime. Res64: 7E87B489606A6C9B Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:40] 997*2^1430341-1 is not prime. Res64: 9C843CC9CBB476C4 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:41] 999*2^1430341-1 is not prime. Res64: 198B098736A37223 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:42] 623*2^1430342-1 is not prime. Res64: 978CDF692CE9613D Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:42] 983*2^1430342-1 is not prime. Res64: 7FD2F842130F9616 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:43] 703*2^1430343-1 is not prime. Res64: 41FB4D393FB584B2 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:53] 723*2^1430343-1 is not prime. Res64: AA001ACA2064EA05 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:54] 745*2^1430343-1 is not prime. Res64: 082AB6BCFEA17A6F Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:54] 829*2^1430343-1 is not prime. Res64: 1FA52CC34B78584B Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:55] 963*2^1430343-1 is not prime. Res64: 8B6C0FE5A41E2E94 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:55] 623*2^1430344-1 is not prime. Res64: 72FED0CF641B34C3 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:59] 657*2^1430344-1 is not prime. Res64: 65E1BFDABD07D2F7 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:01:59] 695*2^1430344-1 is not prime. Res64: DB55FEEE64D04ACC Time : 0.0 sec. user=mdettweiler [2016-05-25 16:02:00] 699*2^1430344-1 is not prime. Res64: 8CAD255AC36B5D09 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:02:01] 705*2^1430344-1 is not prime. Res64: 36DFC4AAA757AB78 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:02:01] 825*2^1430344-1 is not prime. Res64: 4CC76E13086BA84C Time : 0.0 sec. user=mdettweiler [2016-05-25 16:25:16] 917*2^1430344-1 is not prime. Res64: 260C0B2F4ECE9DA4 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:25:16] 627*2^1430345-1 is not prime. Res64: 950489BDD29985B9 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:25:17] 715*2^1430345-1 is not prime. Res64: 1238C441B4FC5602 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:25:18] 777*2^1430345-1 is not prime. Res64: 3CADE50522A2F874 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:25:18] 787*2^1430345-1 is not prime. Res64: 4D13F84374030B9B Time : 0.0 sec. user=mdettweiler [2016-05-25 16:46:58] 847*2^1430345-1 is not prime. Res64: F9A8C0A0DA3C5D7B Time : 0.0 sec. user=mdettweiler [2016-05-25 16:46:59] 861*2^1430345-1 is not prime. Res64: B65B7C6AF47BB93B Time : 0.0 sec. user=mdettweiler [2016-05-25 16:46:59] 871*2^1430345-1 is not prime. Res64: A6E14F64EED01927 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:00] 925*2^1430345-1 is not prime. Res64: 003E14CC77C25580 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:00] 657*2^1430346-1 is not prime. Res64: C11F4A8ED7AC3ECF Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:04] 815*2^1430346-1 is not prime. Res64: 144C786AB7F25DBD Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:04] 945*2^1430346-1 is not prime. Res64: FE164B1AB87DA536 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:05] 619*2^1430347-1 is not prime. Res64: 62081A36A322A46F Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:05] 651*2^1430347-1 is not prime. Res64: 4A463F2DBE012897 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:05] 675*2^1430347-1 is not prime. Res64: E9CE85FEFBA73BED Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:11] 681*2^1430347-1 is not prime. Res64: 57D3FAAE99831463 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:11] 871*2^1430347-1 is not prime. Res64: F93EC5ED0E90034C Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:12] 615*2^1430348-1 is not prime. Res64: 41338EBCF4F441F1 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:12] 743*2^1430348-1 is not prime. Res64: 34BC4AA8E38AFB63 Time : 0.0 sec. user=mdettweiler [2016-05-25 16:47:12] 759*2^1430348-1 is not prime. Res64: 33602428E23CA273 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:10:35] 825*2^1430348-1 is not prime. Res64: 1860A80D9705E794 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:10:35] 609*2^1430349-1 is not prime. Res64: 280920EA14FE7DEB Time : 0.0 sec. user=mdettweiler [2016-05-25 17:10:36] 649*2^1430349-1 is not prime. Res64: A3DAEDB695F31600 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:10:36] 741*2^1430349-1 is not prime. Res64: 7228BAA626EFFB0C Time : 0.0 sec. user=mdettweiler [2016-05-25 17:10:37] 919*2^1430349-1 is not prime. Res64: 00C53CB1723EF2B1 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:10] 921*2^1430349-1 is not prime. Res64: E7C0D9FB33B6840B Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:10] 927*2^1430349-1 is not prime. Res64: DDF0C5C2B88D6FFC Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:11] 985*2^1430349-1 is not prime. Res64: 1C6E1A84ADF513B1 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:13] 647*2^1430350-1 is not prime. Res64: 2CE6F06F46B7CE69 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:14] 651*2^1430350-1 is not prime. Res64: 8454ACA746324ED0 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:19] 713*2^1430350-1 is not prime. Res64: 602FAE900464FA91 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:20] 755*2^1430350-1 is not prime. Res64: 79F10071151C21F0 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:21] 863*2^1430350-1 is not prime. Res64: A3CBDEFC8745632C Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:22] 867*2^1430350-1 is not prime. Res64: A2F75597FAD6CCCF Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:23] 923*2^1430350-1 is not prime. Res64: DB2DA5D5FDED541D Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:31] 941*2^1430350-1 is not prime. Res64: 2D423BCAF9765E82 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:32] 975*2^1430350-1 is not prime. Res64: 15D8E84704342A19 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:33] 995*2^1430350-1 is not prime. Res64: 8688D17255EE1AE5 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:35] 621*2^1430351-1 is not prime. Res64: F58C4AA6262ADAD0 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:32:36] 823*2^1430351-1 is not prime. Res64: A3AEA44B7607C27B Time : 0.0 sec. user=mdettweiler [2016-05-25 17:55:43] 829*2^1430351-1 is not prime. Res64: 5777FE2D9283E081 Time : 0.0 sec. user=mdettweiler [2016-05-25 17:55:43] 883*2^1430351-1 is not prime. Res64: 1761A3200889A05A Time : 0.0 sec. user=mdettweiler [2016-05-25 17:55:43] 889*2^1430351-1 is not prime. Res64: 2E29A938FE11D09D Time : 0.0 sec. user=mdettweiler [2016-05-25 17:55:44] 909*2^1430351-1 is not prime. Res64: 08E7CBFA7410A15A Time : 0.0 sec. user=mdettweiler [2016-05-25 17:55:44] 605*2^1430352-1 is not prime. Res64: E033BF9B47EAE571 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:12] 717*2^1430352-1 is not prime. Res64: 03DF657A1DF68D44 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:13] 725*2^1430352-1 is not prime. Res64: 9D137C2A0EED3FD9 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:13] 983*2^1430352-1 is not prime. Res64: 744D5F6E499C379B Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:13] 691*2^1430353-1 is not prime. Res64: 0ED0667E17E75221 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:14] 721*2^1430353-1 is not prime. Res64: 264627A0F1B24A92 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:33] 727*2^1430353-1 is not prime. Res64: 86C6F72CCBD2B6F7 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:33] 747*2^1430353-1 is not prime. Res64: 04DAC0942CA1BF2C Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:33] 765*2^1430353-1 is not prime. Res64: F1C3D66CF24C77B3 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:34] 867*2^1430353-1 is not prime. Res64: DB3F0AB0FC661046 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:34] 915*2^1430353-1 is not prime. Res64: E96D33034C2637B7 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:46] 919*2^1430353-1 is not prime. Res64: DBD267CFE0F5613E Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:46] 957*2^1430353-1 is not prime. Res64: 22559EE3921F69CA Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:47] 641*2^1430354-1 is not prime. Res64: 7EE090BF9E3ABA41 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:47] 683*2^1430354-1 is not prime. Res64: 0A30863A9A597CE6 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:17:48] 753*2^1430354-1 is not prime. Res64: C8542CAD88F0980D Time : 0.0 sec. user=mdettweiler [2016-05-25 18:40:42] 833*2^1430354-1 is not prime. Res64: 7DFFE48451C3DDD5 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:40:43] 851*2^1430354-1 is not prime. Res64: CAB5B75302439CBD Time : 0.0 sec. user=mdettweiler [2016-05-25 18:40:43] 983*2^1430354-1 is not prime. Res64: AEE0731EBDF125CE Time : 0.0 sec. user=mdettweiler [2016-05-25 18:40:43] 987*2^1430354-1 is not prime. Res64: 049B8C868328EAF3 Time : 0.0 sec. user=mdettweiler [2016-05-25 18:40:44] 675*2^1430355-1 is not prime. Res64: 52CE70FCFF0C22F8 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:12] 789*2^1430355-1 is not prime. Res64: FE4E71F3C21DD5F5 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:14] 891*2^1430355-1 is not prime. Res64: 3FE8AB6FF25FCB96 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:15] 617*2^1430356-1 is not prime. Res64: 0E5CA8C591C51D0A Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:15] 675*2^1430356-1 is not prime. Res64: 884CCFCCC51751E6 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:16] 773*2^1430356-1 is not prime. Res64: A8802A9931C3D797 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:25] 833*2^1430356-1 is not prime. Res64: 6F708BB31C84902A Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:27] 987*2^1430356-1 is not prime. Res64: 5DE9E015E952C2C9 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:29] 645*2^1430357-1 is not prime. Res64: 9D591FCE3E0CD81B Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:30] 829*2^1430357-1 is not prime. Res64: FA4291E2BBA012B8 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:31] 861*2^1430357-1 is not prime. Res64: 7A981F2F56E86664 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:42] 981*2^1430357-1 is not prime. Res64: 1F6C4370ADC41D42 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:43] 605*2^1430358-1 is not prime. Res64: 278F96A6F6C58C00 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:43] 615*2^1430358-1 is not prime. Res64: AF23F79EB1B3DAB6 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:44] 707*2^1430358-1 is not prime. Res64: BB3250D0FD8D3273 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:02:45] 713*2^1430358-1 is not prime. Res64: A43CD801FBD42FEF Time : 0.0 sec. user=mdettweiler [2016-05-25 19:25:39] 675*2^1430359-1 is not prime. Res64: 63062AA9794677A2 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:25:40] 693*2^1430359-1 is not prime. Res64: 2B7E9CE4BDF51252 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:25:40] 705*2^1430359-1 is not prime. Res64: 9CBA9923C9D73E13 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:25:40] 741*2^1430359-1 is not prime. Res64: 6305340E92EAFB2A Time : 0.0 sec. user=mdettweiler [2016-05-25 19:25:41] 843*2^1430359-1 is not prime. Res64: 8C6317B94CB13143 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:41] 919*2^1430359-1 is not prime. Res64: 46F42B9708397BD0 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:41] 689*2^1430360-1 is not prime. Res64: 4B006F3AC78E2E2F Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:41] 773*2^1430360-1 is not prime. Res64: 10C4ACBA1B618BCC Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:42] 857*2^1430360-1 is not prime. Res64: BDD6CEA8EAB3DB2C Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:42] 861*2^1430361-1 is not prime. Res64: 7FA473EFDDA0F1EE Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:42] 999*2^1430360-1 is not prime. Res64: 5D88E99584BDFAA5 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:42] 695*2^1430362-1 is not prime. Res64: 8C47C136AD4686D4 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:43] 723*2^1430362-1 is not prime. Res64: D01C2D6AF43ADA8F Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:43] 741*2^1430362-1 is not prime. Res64: 372D44EA6E14D27D Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:43] 857*2^1430362-1 is not prime. Res64: 7D77E66ABA1A7BEE Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:49] 615*2^1430361-1 is not prime. Res64: C0A0534040FAE691 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:49] 739*2^1430361-1 is not prime. Res64: 4570BAFE4239B672 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:50] 777*2^1430361-1 is not prime. Res64: 373C8A25AA1CDC38 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:50] 795*2^1430361-1 is not prime. Res64: 1379651F053A9A86 Time : 0.0 sec. user=mdettweiler [2016-05-25 19:47:50] 837*2^1430361-1 is not prime. Res64: 48D48845153DA529 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:10:43] 983*2^1430362-1 is not prime. Res64: 7E639380F467AA3A Time : 0.0 sec. user=mdettweiler [2016-05-25 20:10:45] 669*2^1430363-1 is not prime. Res64: 220BB91774D8364A Time : 0.0 sec. user=mdettweiler [2016-05-25 20:10:47] 889*2^1430363-1 is not prime. Res64: AE052511CB50FB72 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:10:48] 991*2^1430363-1 is not prime. Res64: ADE50F2568852A26 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:10:50] 783*2^1430364-1 is not prime. Res64: 6BB417CA990BB1AF Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:42] 827*2^1430366-1 is not prime. Res64: EF925698EFE1131B Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:42] 843*2^1430366-1 is not prime. Res64: 527F2580C0D0ED5A Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:42] 857*2^1430366-1 is not prime. Res64: 2AE7572EF9A24F04 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:43] 981*2^1430366-1 is not prime. Res64: 33AB467A5079FFC0 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:43] 651*2^1430367-1 is not prime. Res64: E31561075B06E97B Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:49] 929*2^1430364-1 is not prime. Res64: F093FC52B0E2FF3D Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:49] 947*2^1430364-1 is not prime. Res64: A7A526B1EF31FE98 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:50] 685*2^1430365-1 is not prime. Res64: 86788BB443579712 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:50] 651*2^1430366-1 is not prime. Res64: A736463A88F2E426 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:51] 663*2^1430366-1 is not prime. Res64: D5118F1C94A00F49 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:56] 849*2^1430367-1 is not prime. Res64: F1D9AE42134B63ED Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:56] 861*2^1430367-1 is not prime. Res64: D3141D7572FB541E Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:57] 909*2^1430367-1 is not prime. Res64: BACCA0496120E2CE Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:57] 945*2^1430367-1 is not prime. Res64: 7608E2B0A87CA7FE Time : 0.0 sec. user=mdettweiler [2016-05-25 20:32:58] 665*2^1430368-1 is not prime. Res64: D198D49393A5478E Time : 0.0 sec. user=mdettweiler [2016-05-25 20:56:06] 849*2^1430368-1 is not prime. Res64: 85DDBB31682F1319 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:56:06] 927*2^1430368-1 is not prime. Res64: 07BD22EC575AD6ED Time : 0.0 sec. user=mdettweiler [2016-05-25 20:56:06] 947*2^1430368-1 is not prime. Res64: F0E6D1B81B669373 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:56:07] 959*2^1430368-1 is not prime. Res64: FC906ABEF48BF967 Time : 0.0 sec. user=mdettweiler [2016-05-25 20:56:07] 999*2^1430368-1 is not prime. Res64: 67C0F2F99BCA970B Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:36] 615*2^1430369-1 is not prime. Res64: 2DF43830CD3BFFFC Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:36] 631*2^1430369-1 is not prime. Res64: 5054CA9263460426 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:37] 787*2^1430369-1 is not prime. Res64: 40FA4A4ED0E06881 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:37] 885*2^1430369-1 is not prime. Res64: 3A58BAA53F872E12 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:38] 925*2^1430369-1 is not prime. Res64: 1EF6F5EA057F5D6D Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:48] 949*2^1430369-1 is not prime. Res64: 4D338A2AE8C8EAC9 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:48] 987*2^1430369-1 is not prime. Res64: EAC4152F0CFFC901 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:49] 677*2^1430370-1 is not prime. Res64: 4BCA4ACEC3FA3A22 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:49] 735*2^1430370-1 is not prime. Res64: 7A739BD572A0C0EE Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:49] 945*2^1430370-1 is not prime. Res64: 235822FFE39B18C2 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:50] 971*2^1430370-1 is not prime. Res64: 8FFC78FF41E61F78 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:51] 1001*2^1430370-1 is not prime. Res64: D58AAE78488604E9 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:51] 651*2^1430371-1 is not prime. Res64: 1AE403354069ADD9 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:51] 673*2^1430371-1 is not prime. Res64: 93BE9193E85AB475 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:17:52] 709*2^1430371-1 is not prime. Res64: 65CECC639E7E03AA Time : 0.0 sec. user=mdettweiler [2016-05-25 21:41:10] 735*2^1430371-1 is not prime. Res64: E9723FA072B61AE5 Time : 0.0 sec. user=mdettweiler [2016-05-25 21:41:11] 741*2^1430371-1 is not prime. Res64: 92AE83A293DB5CCA Time : 0.0 sec. user=mdettweiler [2016-05-25 21:41:11] 775*2^1430371-1 is not prime. Res64: 33507BC9072CA6DD Time : 0.0 sec. user=mdettweiler [2016-05-25 21:41:12] 939*2^1430371-1 is not prime. Res64: 940A5F5FCE7F109A Time : 0.0 sec. user=mdettweiler [2016-05-25 21:41:12] 725*2^1430372-1 is not prime. Res64: 73DE728CC56783AD Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:44] 735*2^1430372-1 is not prime. Res64: 863D265C2BCC880F Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:45] 767*2^1430372-1 is not prime. Res64: FEE19F45F5C498C1 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:46] 959*2^1430372-1 is not prime. Res64: 5ACCE122B23CB191 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:47] 627*2^1430373-1 is not prime. Res64: 0BBC287A1361C8B2 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:48] 745*2^1430373-1 is not prime. Res64: 0C08EE46FDD01A21 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:58] 741*2^1430374-1 is not prime. Res64: FF4E00D1A76156D6 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:02:59] 759*2^1430373-1 is not prime. Res64: 32B4C14410FC87A7 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:00] 887*2^1430374-1 is not prime. Res64: 25D29BB657866E89 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:00] 781*2^1430373-1 is not prime. Res64: E10D8535A5E3EC39 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:02] 817*2^1430373-1 is not prime. Res64: E45F4B266D96E0F9 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:02] 917*2^1430374-1 is not prime. Res64: B32B6115CD8A6387 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:03] 891*2^1430373-1 is not prime. Res64: D217EFD3E26F767D Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:04] 707*2^1430374-1 is not prime. Res64: EF89DA0A2026E9C8 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:04] 957*2^1430374-1 is not prime. Res64: 3A9750E648029934 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:03:06] 971*2^1430374-1 is not prime. Res64: C73447216E233B13 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:26:14] 603*2^1430375-1 is not prime. Res64: 5AF8067A3CCF0354 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:26:15] 661*2^1430375-1 is not prime. Res64: 14ABA0D2C031B2A4 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:26:15] 739*2^1430375-1 is not prime. Res64: 039FD2FB664574FE Time : 0.0 sec. user=mdettweiler [2016-05-25 22:26:15] 775*2^1430375-1 is not prime. Res64: E8ECB68748D44839 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:26:16] 831*2^1430375-1 is not prime. Res64: 0F8AE49AF59E3D0C Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:00] 843*2^1430375-1 is not prime. Res64: CEBD7E3C16D5677E Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:00] 853*2^1430375-1 is not prime. Res64: A9C0D498542A1DA5 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:01] 939*2^1430375-1 is not prime. Res64: 8B25406651E3C550 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:01] 943*2^1430375-1 is not prime. Res64: 4FDECC6BBE1A8B8A Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:02] 979*2^1430375-1 is not prime. Res64: 2B1EFFBA7688B4DF Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:08] 875*2^1430376-1 is not prime. Res64: F63CBF318BAC9CB3 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:08] 879*2^1430376-1 is not prime. Res64: DFF5623EA6425623 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:09] 607*2^1430377-1 is not prime. Res64: DF690E8746D0F42B Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:09] 639*2^1430377-1 is not prime. Res64: 6C0E252D35F8FAD9 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:10] 771*2^1430377-1 is not prime. Res64: D5E730A6D8123FD9 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:19] 609*2^1430376-1 is not prime. Res64: A82A41AB5061F201 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:19] 725*2^1430376-1 is not prime. Res64: 46588B87A0F75410 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:19] 777*2^1430376-1 is not prime. Res64: 89A6CA0012345153 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:20] 815*2^1430376-1 is not prime. Res64: BB7B377449FFC450 Time : 0.0 sec. user=mdettweiler [2016-05-25 22:48:20] 867*2^1430376-1 is not prime. Res64: F64E931FB7ED946C Time : 0.0 sec. user=mdettweiler [2016-05-25 23:11:33] 777*2^1430377-1 is not prime. Res64: 4385788D505A465A Time : 0.0 sec. user=mdettweiler [2016-05-25 23:11:34] 835*2^1430377-1 is not prime. Res64: E1ABF9DBD99C6B01 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:11:35] 867*2^1430377-1 is not prime. Res64: 7B690071AB5130E5 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:11:36] 623*2^1430378-1 is not prime. Res64: 1D88BDA548594C2A Time : 0.0 sec. user=mdettweiler [2016-05-25 23:11:36] 651*2^1430378-1 is not prime. Res64: 20AD43A526B19A39 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:32:59] 677*2^1430378-1 is not prime. Res64: 310E3F2C71A9DFBE Time : 0.0 sec. user=mdettweiler [2016-05-25 23:32:59] 687*2^1430378-1 is not prime. Res64: CD360E18AAACF874 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:32:59] 707*2^1430378-1 is not prime. Res64: A663FA26E1C49194 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:00] 857*2^1430378-1 is not prime. Res64: 473B909D35EC2456 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:00] 921*2^1430378-1 is not prime. Res64: 8E6742D1F6F138E5 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:22] 923*2^1430378-1 is not prime. Res64: E4172A20C4CEE1D0 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:22] 853*2^1430379-1 is not prime. Res64: 5722C393337E1600 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:22] 895*2^1430379-1 is not prime. Res64: 6FA22CDE7293C306 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:23] 903*2^1430379-1 is not prime. Res64: 845928CD2972E6B4 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:23] 909*2^1430379-1 is not prime. Res64: AD8A406611026197 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:29] 913*2^1430379-1 is not prime. Res64: 1FE73DD25B5C6556 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:30] 969*2^1430379-1 is not prime. Res64: 12280063436ADC4F Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:30] 615*2^1430380-1 is not prime. Res64: 1AD9B66FFACBD3DC Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:31] 717*2^1430380-1 is not prime. Res64: A3987EBFD8F052E4 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:33:31] 723*2^1430380-1 is not prime. Res64: 100435150D98BCB7 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:56:47] 759*2^1430380-1 is not prime. Res64: E25BFBC6504E54AE Time : 0.0 sec. user=mdettweiler [2016-05-25 23:56:47] 773*2^1430380-1 is not prime. Res64: F6B3BABAA3A7E363 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:56:48] 855*2^1430380-1 is not prime. Res64: 5470C857899FDA71 Time : 0.0 sec. user=mdettweiler [2016-05-25 23:56:48] 909*2^1430380-1 is not prime. Res64: 086DA8F7DDE4962F Time : 0.0 sec. user=mdettweiler [2016-05-25 23:56:48] 933*2^1430380-1 is not prime. Res64: 17D0E7D24EEBFD53 Time : 0.0 sec.