user=mdettweiler [2016-04-15 00:01:16] 605*2^1426300-1 is not prime. Res64: D2F555D4D5148B58 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:01:16] 629*2^1426300-1 is not prime. Res64: 151DE94D451A17F7 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:01:17] 735*2^1426300-1 is not prime. Res64: CDEC4D16021A2163 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:01:17] 899*2^1426300-1 is not prime. Res64: D3EEFDC0A0667FDD Time : 0.0 sec. user=mdettweiler [2016-04-15 00:01:17] 715*2^1426301-1 is not prime. Res64: 37C60C85B51CA6D8 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:16:05] 735*2^1426301-1 is not prime. Res64: DF8897C24C55651A Time : 0.0 sec. user=mdettweiler [2016-04-15 00:16:06] 801*2^1426301-1 is not prime. Res64: F364AD2EDA9EA428 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:16:06] 855*2^1426301-1 is not prime. Res64: 2E1C7C76AFA04554 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:16:07] 885*2^1426301-1 is not prime. Res64: 5148A62087D280F4 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:16:07] 615*2^1426302-1 is not prime. Res64: 39820F57C7179863 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:17:40] 683*2^1426302-1 is not prime. Res64: 035DDF13B6D50F31 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:17:41] 705*2^1426302-1 is not prime. Res64: DFF34920D721F05E Time : 0.0 sec. user=mdettweiler [2016-04-15 00:17:41] 801*2^1426302-1 is not prime. Res64: 2C649E1860540D0C Time : 0.0 sec. user=mdettweiler [2016-04-15 00:17:41] 945*2^1426302-1 is not prime. Res64: 153F4737E72F99C2 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:17:42] 619*2^1426303-1 is not prime. Res64: D8247DE7227EFAD5 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:30:39] 741*2^1426303-1 is not prime. Res64: 6E944419C1754BF3 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:30:40] 769*2^1426303-1 is not prime. Res64: E28490FE0788181C Time : 0.0 sec. user=mdettweiler [2016-04-15 00:30:40] 889*2^1426303-1 is not prime. Res64: EC9778ED5676C9B8 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:30:40] 895*2^1426303-1 is not prime. Res64: 1756EC3973D2DE7C Time : 0.0 sec. user=mdettweiler [2016-04-15 00:30:41] 985*2^1426303-1 is not prime. Res64: ACA0935D82905167 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:46:02] 717*2^1426304-1 is not prime. Res64: 6A56375DEF442A1F Time : 0.0 sec. user=mdettweiler [2016-04-15 00:46:02] 753*2^1426304-1 is not prime. Res64: F5774D13BF774669 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:46:02] 789*2^1426304-1 is not prime. Res64: 4E58A7C5F8DAE930 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:46:03] 813*2^1426304-1 is not prime. Res64: 239F002F15C96332 Time : 0.0 sec. user=mdettweiler [2016-04-15 00:46:03] 825*2^1426304-1 is not prime. Res64: ADDB181247CFCC83 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:00:52] 909*2^1426304-1 is not prime. Res64: 8FC04A258218C71B Time : 0.0 sec. user=mdettweiler [2016-04-15 01:00:53] 609*2^1426305-1 is not prime. Res64: EA8ABF436B46685A Time : 0.0 sec. user=mdettweiler [2016-04-15 01:00:54] 627*2^1426305-1 is not prime. Res64: E0798DDC65849D9A Time : 0.0 sec. user=mdettweiler [2016-04-15 01:00:55] 649*2^1426305-1 is not prime. Res64: 0C1014B82812E97F Time : 0.0 sec. user=mdettweiler [2016-04-15 01:00:56] 651*2^1426305-1 is not prime. Res64: 4F831C6DCC8F0D83 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:02:32] 751*2^1426305-1 is not prime. Res64: C412DAC04CF963D8 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:02:33] 787*2^1426305-1 is not prime. Res64: 92A2050855C21AB0 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:02:34] 975*2^1426305-1 is not prime. Res64: 82CBDCA560ADD48F Time : 0.0 sec. user=mdettweiler [2016-04-15 01:02:34] 675*2^1426306-1 is not prime. Res64: 53B508AF786D9C07 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:02:35] 801*2^1426306-1 is not prime. Res64: D8494E23593D0C81 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:15:31] 803*2^1426306-1 is not prime. Res64: D9457633534FFB25 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:15:31] 833*2^1426306-1 is not prime. Res64: 4F31D8FC44018C7A Time : 0.0 sec. user=mdettweiler [2016-04-15 01:15:32] 843*2^1426306-1 is not prime. Res64: 91EDD1044FF2123C Time : 0.0 sec. user=mdettweiler [2016-04-15 01:15:32] 855*2^1426306-1 is not prime. Res64: DF51E137F988AD7E Time : 0.0 sec. user=mdettweiler [2016-04-15 01:15:32] 941*2^1426306-1 is not prime. Res64: 44CF163D628A21B3 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:30:42] 993*2^1426306-1 is not prime. Res64: 99947795994E912B Time : 0.0 sec. user=mdettweiler [2016-04-15 01:30:43] 603*2^1426307-1 is not prime. Res64: 792216CE641741A7 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:30:44] 615*2^1426307-1 is not prime. Res64: 21C5E873F1844C17 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:30:44] 633*2^1426307-1 is not prime. Res64: 90E0DA43DF4AB0C7 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:30:45] 711*2^1426307-1 is not prime. Res64: AC8ED76130282832 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:45:41] 799*2^1426307-1 is not prime. Res64: DC2368229E577AFC Time : 0.0 sec. user=mdettweiler [2016-04-15 01:45:41] 813*2^1426307-1 is not prime. Res64: 1D8B13FF29091367 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:45:41] 901*2^1426307-1 is not prime. Res64: 8ECD139CEF9990FE Time : 0.0 sec. user=mdettweiler [2016-04-15 01:45:42] 909*2^1426307-1 is not prime. Res64: 08B5147A73406F1C Time : 0.0 sec. user=mdettweiler [2016-04-15 01:45:42] 725*2^1426308-1 is not prime. Res64: 84FDD2548ADF8D86 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:47:13] 867*2^1426308-1 is not prime. Res64: E852920FC984EBCF Time : 0.0 sec. user=mdettweiler [2016-04-15 01:47:13] 909*2^1426308-1 is not prime. Res64: 0B36E9FD92F6195A Time : 0.0 sec. user=mdettweiler [2016-04-15 01:47:14] 745*2^1426309-1 is not prime. Res64: 7AFAD042BDFFB5B7 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:47:14] 799*2^1426309-1 is not prime. Res64: E9490B6C92D1D8F4 Time : 0.0 sec. user=mdettweiler [2016-04-15 01:47:14] 817*2^1426309-1 is not prime. Res64: D1AE856A41083B1F Time : 0.0 sec. user=mdettweiler [2016-04-15 02:00:08] 885*2^1426309-1 is not prime. Res64: 07B247560D0F7EDC Time : 0.0 sec. user=mdettweiler [2016-04-15 02:00:08] 951*2^1426309-1 is not prime. Res64: A3B88BD91C00F941 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:00:08] 957*2^1426309-1 is not prime. Res64: D7F24C75101C7219 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:00:09] 967*2^1426309-1 is not prime. Res64: 78505AD8C0F75696 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:00:10] 987*2^1426309-1 is not prime. Res64: D2EB859BDC3F3CCD Time : 0.0 sec. user=mdettweiler [2016-04-15 02:15:18] 635*2^1426310-1 is not prime. Res64: 1D372A0BFAFCE86B Time : 0.0 sec. user=mdettweiler [2016-04-15 02:15:18] 753*2^1426310-1 is not prime. Res64: EB0A28215AA30AC9 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:15:19] 845*2^1426310-1 is not prime. Res64: 9D561AC7148051CA Time : 0.0 sec. user=mdettweiler [2016-04-15 02:15:19] 893*2^1426310-1 is not prime. Res64: 83A845266E1DEC40 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:15:20] 971*2^1426310-1 is not prime. Res64: 195D1DD390B90D58 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:30:17] 649*2^1426311-1 is not prime. Res64: 13B4DF21392D2F62 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:30:21] 669*2^1426311-1 is not prime. Res64: 9620498DE7901034 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:30:27] 679*2^1426311-1 is not prime. Res64: CC2A4C140AE068DB Time : 0.0 sec. user=mdettweiler [2016-04-15 02:30:28] 711*2^1426311-1 is not prime. Res64: F152812EE6383BFF Time : 0.0 sec. user=mdettweiler [2016-04-15 02:30:30] 741*2^1426311-1 is not prime. Res64: E54AF62749BD45D0 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:31:44] 781*2^1426311-1 is not prime. Res64: 488937536511FEF7 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:31:46] 795*2^1426311-1 is not prime. Res64: D17FCC1F6672183E Time : 0.0 sec. user=mdettweiler [2016-04-15 02:31:47] 823*2^1426311-1 is not prime. Res64: 00C370661B57AE61 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:31:48] 865*2^1426311-1 is not prime. Res64: 491D384C301B6886 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:31:49] 603*2^1426312-1 is not prime. Res64: 0F596930E688F4EE Time : 0.0 sec. user=mdettweiler [2016-04-15 02:44:51] 609*2^1426312-1 is not prime. Res64: CAF92601353149DA Time : 0.0 sec. user=mdettweiler [2016-04-15 02:44:52] 645*2^1426312-1 is not prime. Res64: FEF2355FAD4FBDA7 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:44:52] 653*2^1426312-1 is not prime. Res64: 9F1CA98F7CADABBE Time : 0.0 sec. user=mdettweiler [2016-04-15 02:44:52] 759*2^1426312-1 is not prime. Res64: 16508CEDFE3949F7 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:44:53] 777*2^1426312-1 is not prime. Res64: 832D45F57DFCF4F5 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:59:53] 779*2^1426312-1 is not prime. Res64: D6D7E47A7570244D Time : 0.0 sec. user=mdettweiler [2016-04-15 02:59:53] 785*2^1426312-1 is not prime. Res64: 88413C4ECD9A78F5 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:59:54] 797*2^1426312-1 is not prime. Res64: A48C4447C173B438 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:59:54] 947*2^1426312-1 is not prime. Res64: E78831D8F20C4A61 Time : 0.0 sec. user=mdettweiler [2016-04-15 02:59:55] 957*2^1426312-1 is not prime. Res64: 61ED9BC140F708BA Time : 0.0 sec. user=mdettweiler [2016-04-15 03:15:38] 999*2^1426312-1 is not prime. Res64: EA0511BC2958B1E8 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:15:38] 675*2^1426313-1 is not prime. Res64: C6B0CF799CDDBFD1 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:15:39] 787*2^1426313-1 is not prime. Res64: 3B8125CDD7C384B3 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:15:39] 633*2^1426314-1 is not prime. Res64: 6CA5A3F05AFA6154 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:15:40] 683*2^1426314-1 is not prime. Res64: 7068E3A91D6D56AB Time : 0.0 sec. user=mdettweiler [2016-04-15 03:16:35] 711*2^1426314-1 is not prime. Res64: 99FA009D3DAB5023 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:16:35] 723*2^1426314-1 is not prime. Res64: 20A1806A0FFC4B70 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:16:35] 825*2^1426314-1 is not prime. Res64: BF429FEF61040314 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:16:36] 923*2^1426314-1 is not prime. Res64: 5A63FEB2475D81AD Time : 0.0 sec. user=mdettweiler [2016-04-15 03:16:36] 951*2^1426314-1 is not prime. Res64: DB43AB5A1631D460 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:29:39] 993*2^1426314-1 is not prime. Res64: 7E996A8565B01B4C Time : 0.0 sec. user=mdettweiler [2016-04-15 03:29:41] 693*2^1426315-1 is not prime. Res64: 1BCF7A5BBA876105 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:29:42] 715*2^1426315-1 is not prime. Res64: 0B5E8D5C4FE93E45 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:29:43] 759*2^1426315-1 is not prime. Res64: 2E52DAF64DE65A89 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:29:44] 805*2^1426315-1 is not prime. Res64: 3175F3841148E700 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:44:48] 853*2^1426315-1 is not prime. Res64: FB5928DB269CCDDC Time : 0.0 sec. user=mdettweiler [2016-04-15 03:44:50] 861*2^1426315-1 is not prime. Res64: A9BAE5C9A749B20F Time : 0.0 sec. user=mdettweiler [2016-04-15 03:44:53] 623*2^1426316-1 is not prime. Res64: 4B7EFF045C29BEF9 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:44:54] 635*2^1426316-1 is not prime. Res64: 40E93891E5FB6A96 Time : 0.0 sec. user=mdettweiler [2016-04-15 03:44:56] 755*2^1426316-1 is not prime. Res64: FAF257AF8F5F4384 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:00:46] 827*2^1426316-1 is not prime. Res64: 550016ED6A9CEA3B Time : 0.0 sec. user=mdettweiler [2016-04-15 04:00:48] 963*2^1426316-1 is not prime. Res64: 0B190BE3E282CE49 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:00:50] 625*2^1426317-1 is not prime. Res64: 7AE717C22D2B1D24 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:00:52] 655*2^1426317-1 is not prime. Res64: 031649BAB921BC82 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:00:53] 727*2^1426317-1 is not prime. Res64: 564F8AB2EC648900 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:01:28] 751*2^1426317-1 is not prime. Res64: 3DE12F29C3BF4A7D Time : 0.0 sec. user=mdettweiler [2016-04-15 04:01:29] 891*2^1426317-1 is not prime. Res64: A69BF5CDCCB2A703 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:01:31] 937*2^1426317-1 is not prime. Res64: FA792BF815CCD8CB Time : 0.0 sec. user=mdettweiler [2016-04-15 04:01:32] 663*2^1426318-1 is not prime. Res64: ACDAA147CFD06BAD Time : 0.0 sec. user=mdettweiler [2016-04-15 04:01:35] 687*2^1426318-1 is not prime. Res64: AFA163EB0E405E08 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:15:49] 801*2^1426318-1 is not prime. Res64: B46257425FEEBEBD Time : 0.0 sec. user=mdettweiler [2016-04-15 04:15:50] 843*2^1426318-1 is not prime. Res64: C9A8CDB71C174BAA Time : 0.0 sec. user=mdettweiler [2016-04-15 04:15:50] 885*2^1426318-1 is not prime. Res64: FB4B5391918A623A Time : 0.0 sec. user=mdettweiler [2016-04-15 04:15:51] 995*2^1426318-1 is not prime. Res64: AD1BEF32395DA5C2 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:15:51] 603*2^1426319-1 is not prime. Res64: 5CD15EC6587E8689 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:31:23] 621*2^1426319-1 is not prime. Res64: A0C6515E13447D31 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:31:23] 679*2^1426319-1 is not prime. Res64: 22B6DBBE41DD24D0 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:31:23] 685*2^1426319-1 is not prime. Res64: CC38976AAF0A2E0A Time : 0.0 sec. user=mdettweiler [2016-04-15 04:31:24] 799*2^1426319-1 is not prime. Res64: 0A9442A0D3E360A1 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:31:24] 879*2^1426319-1 is not prime. Res64: 11D0ED857B16C6E6 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:47:10] 931*2^1426319-1 is not prime. Res64: AA4ABEE4E6F01025 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:47:10] 969*2^1426319-1 is not prime. Res64: 29092E258351551C Time : 0.0 sec. user=mdettweiler [2016-04-15 04:47:11] 973*2^1426319-1 is not prime. Res64: 60051BB8461E9EFB Time : 0.0 sec. user=mdettweiler [2016-04-15 04:47:11] 665*2^1426320-1 is not prime. Res64: 5AD7A70630625DF7 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:47:11] 713*2^1426320-1 is not prime. Res64: 999003D31C8B9302 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:48:27] 839*2^1426320-1 is not prime. Res64: 449F74564E0D5076 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:48:28] 933*2^1426320-1 is not prime. Res64: 12239099054AD678 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:48:28] 959*2^1426320-1 is not prime. Res64: 416AC8790D081F7C Time : 0.0 sec. user=mdettweiler [2016-04-15 04:48:28] 983*2^1426320-1 is not prime. Res64: 991CD055756094D4 Time : 0.0 sec. user=mdettweiler [2016-04-15 04:48:29] 639*2^1426321-1 is not prime. Res64: 635ABF16E2B5D06A Time : 0.0 sec. user=mdettweiler [2016-04-15 05:00:32] 645*2^1426321-1 is not prime. Res64: 613C1184028C8213 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:00:34] 649*2^1426321-1 is not prime. Res64: 3129D3E24E1B58E9 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:00:34] 679*2^1426321-1 is not prime. Res64: 796092852D8E9A25 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:00:35] 687*2^1426321-1 is not prime. Res64: A927F8D08F464127 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:00:36] 867*2^1426321-1 is not prime. Res64: EED2A31FB907A862 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:16:09] 877*2^1426321-1 is not prime. Res64: 8BB112E7D3EF4EDD Time : 0.0 sec. user=mdettweiler [2016-04-15 05:16:10] 939*2^1426321-1 is not prime. Res64: 2C002B44C34063E6 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:16:11] 999*2^1426321-1 is not prime. Res64: 8EE623E7808CE542 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:16:11] 617*2^1426322-1 is not prime. Res64: 9064889E2EAF4EFC Time : 0.0 sec. user=mdettweiler [2016-04-15 05:16:12] 711*2^1426322-1 is not prime. Res64: A2BC9BED5726E154 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:32:02] 831*2^1426322-1 is not prime. Res64: 4DF27281A7CD1BA7 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:32:03] 983*2^1426322-1 is not prime. Res64: 257B8E6CF189070C Time : 0.0 sec. user=mdettweiler [2016-04-15 05:32:03] 679*2^1426323-1 is not prime. Res64: C74CC32FED0CDA5E Time : 0.0 sec. user=mdettweiler [2016-04-15 05:32:03] 781*2^1426323-1 is not prime. Res64: C1C54CAF4869B718 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:32:04] 885*2^1426323-1 is not prime. Res64: 2D21FF3FC0007B33 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:33:14] 663*2^1426324-1 is not prime. Res64: BF8874B10A55622C Time : 0.0 sec. user=mdettweiler [2016-04-15 05:33:15] 813*2^1426324-1 is not prime. Res64: 6CEE128285108847 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:33:15] 645*2^1426325-1 is not prime. Res64: D6EBBFD4C5FF056B Time : 0.0 sec. user=mdettweiler [2016-04-15 05:33:16] 675*2^1426325-1 is not prime. Res64: D35894B035D6A738 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:33:16] 837*2^1426325-1 is not prime. Res64: 370B7A3FAE4C5E7C Time : 0.0 sec. user=mdettweiler [2016-04-15 05:45:36] 859*2^1426325-1 is not prime. Res64: 5D3287BA8F9AD119 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:45:36] 889*2^1426325-1 is not prime. Res64: 4D0225982ED396B1 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:45:36] 939*2^1426325-1 is not prime. Res64: 28D1FF0669F8E082 Time : 0.0 sec. user=mdettweiler [2016-04-15 05:45:37] 653*2^1426326-1 is not prime. Res64: 3AF308D721AE117B Time : 0.0 sec. user=mdettweiler [2016-04-15 05:45:37] 683*2^1426326-1 is not prime. Res64: 2410AFA135D23177 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:01:13] 705*2^1426326-1 is not prime. Res64: C3B0C843EDFDE5BC Time : 0.0 sec. user=mdettweiler [2016-04-15 06:01:14] 707*2^1426326-1 is not prime. Res64: 4E434D16FF82E3DC Time : 0.0 sec. user=mdettweiler [2016-04-15 06:01:15] 867*2^1426326-1 is not prime. Res64: C405731BB46AB934 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:01:16] 983*2^1426326-1 is not prime. Res64: E506A7F7D1B2AC6C Time : 0.0 sec. user=mdettweiler [2016-04-15 06:01:16] 603*2^1426327-1 is not prime. Res64: 329B5206E78E06AE Time : 0.0 sec. user=mdettweiler [2016-04-15 06:16:36] 645*2^1426327-1 is not prime. Res64: 36D6F88ADF549C6D Time : 0.0 sec. user=mdettweiler [2016-04-15 06:16:37] 819*2^1426327-1 is not prime. Res64: 7F25FE09304EBABD Time : 0.0 sec. user=mdettweiler [2016-04-15 06:16:38] 901*2^1426327-1 is not prime. Res64: D1397207EDAE6B4B Time : 0.0 sec. user=mdettweiler [2016-04-15 06:16:38] 747*2^1426328-1 is not prime. Res64: 8CA311E54419917D Time : 0.0 sec. user=mdettweiler [2016-04-15 06:16:39] 825*2^1426328-1 is not prime. Res64: C6A4FD406042E2C2 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:17:57] 869*2^1426328-1 is not prime. Res64: A4CD1BC3F4106F90 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:17:57] 963*2^1426328-1 is not prime. Res64: 0AEF1AB22A93F275 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:17:58] 615*2^1426329-1 is not prime. Res64: EDE56246A27EBC5F Time : 0.0 sec. user=mdettweiler [2016-04-15 06:17:58] 669*2^1426329-1 is not prime. Res64: D0BB8B0562496126 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:17:58] 691*2^1426329-1 is not prime. Res64: 785798F3916B1068 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:30:25] 711*2^1426329-1 is not prime. Res64: 2E3937246D693143 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:30:26] 727*2^1426329-1 is not prime. Res64: 25CB3D1F3C75A64A Time : 0.0 sec. user=mdettweiler [2016-04-15 06:30:26] 765*2^1426329-1 is not prime. Res64: F374462108921420 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:30:26] 907*2^1426329-1 is not prime. Res64: 9F0B2FB990AAB06E Time : 0.0 sec. user=mdettweiler [2016-04-15 06:30:27] 919*2^1426329-1 is not prime. Res64: 1749F18771538C72 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:46:23] 997*2^1426329-1 is not prime. Res64: 2AB2D927C64F5ABA Time : 0.0 sec. user=mdettweiler [2016-04-15 06:46:23] 605*2^1426330-1 is not prime. Res64: 6EDA15E00DA79A80 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:46:23] 663*2^1426330-1 is not prime. Res64: 61864866BB3C9499 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:46:24] 695*2^1426330-1 is not prime. Res64: 6E5DE66FA15AFBE6 Time : 0.0 sec. user=mdettweiler [2016-04-15 06:46:24] 735*2^1426330-1 is not prime. Res64: 0A99481360E76151 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:01:31] 827*2^1426330-1 is not prime. Res64: DC57781CFF6B7589 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:01:32] 867*2^1426330-1 is not prime. Res64: F88FEAECFB9CB8E6 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:01:33] 957*2^1426330-1 is not prime. Res64: 60B7BA9523663351 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:01:34] 995*2^1426330-1 is not prime. Res64: DE69E732A8FCDD82 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:01:35] 703*2^1426331-1 is not prime. Res64: E9E9986EFDD822F3 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:02:44] 711*2^1426331-1 is not prime. Res64: 0D7B7FCAFCF38F6A Time : 0.0 sec. user=mdettweiler [2016-04-15 07:02:45] 735*2^1426331-1 is not prime. Res64: 294A93B6481F853F Time : 0.0 sec. user=mdettweiler [2016-04-15 07:02:46] 745*2^1426331-1 is not prime. Res64: B5ED2260FBFE010C Time : 0.0 sec. user=mdettweiler [2016-04-15 07:02:46] 609*2^1426332-1 is not prime. Res64: AB05AEB90CF30FF3 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:02:47] 725*2^1426332-1 is not prime. Res64: 2494362DB76AF3E2 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:15:07] 797*2^1426332-1 is not prime. Res64: 57259D7E5F7DA46C Time : 0.0 sec. user=mdettweiler [2016-04-15 07:15:09] 873*2^1426332-1 is not prime. Res64: 1889E262B131C600 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:15:11] 879*2^1426332-1 is not prime. Res64: C530B5A9FF459D59 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:15:12] 887*2^1426332-1 is not prime. Res64: 3E3565A8671D1391 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:15:13] 903*2^1426332-1 is not prime. Res64: EAF5AB683CE87A7F Time : 0.0 sec. user=mdettweiler [2016-04-15 07:31:06] 923*2^1426332-1 is not prime. Res64: 4B7543C26730688F Time : 0.0 sec. user=mdettweiler [2016-04-15 07:31:07] 609*2^1426333-1 is not prime. Res64: C6306B799D5AB66C Time : 0.0 sec. user=mdettweiler [2016-04-15 07:31:07] 675*2^1426333-1 is not prime. Res64: 3F6CC020BE001968 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:31:08] 747*2^1426333-1 is not prime. Res64: B177038DA9F6798A Time : 0.0 sec. user=mdettweiler [2016-04-15 07:31:08] 801*2^1426333-1 is not prime. Res64: 8ECD05D9A1C98086 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:46:43] 805*2^1426333-1 is not prime. Res64: 2B23CA9DD36D05F3 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:46:43] 919*2^1426333-1 is not prime. Res64: A397B5C5D7C1C2E9 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:46:44] 645*2^1426334-1 is not prime. Res64: 95F8A9DD85E2BB18 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:46:44] 663*2^1426334-1 is not prime. Res64: 37DA57F061CD40E3 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:46:45] 671*2^1426334-1 is not prime. Res64: 9DB0C6B28677AFA7 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:47:56] 755*2^1426334-1 is not prime. Res64: CCE856E49E06F1C1 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:47:57] 773*2^1426334-1 is not prime. Res64: 9D5B32A18234E4B4 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:47:57] 785*2^1426334-1 is not prime. Res64: 1245524AC4E01234 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:47:57] 825*2^1426334-1 is not prime. Res64: E2DFB2D18CA736C3 Time : 0.0 sec. user=mdettweiler [2016-04-15 07:47:58] 827*2^1426334-1 is not prime. Res64: 526AB1E07CBB5D3A Time : 0.0 sec. user=mdettweiler [2016-04-15 08:00:00] 897*2^1426334-1 is not prime. Res64: C41C39813EC2F79B Time : 0.0 sec. user=mdettweiler [2016-04-15 08:00:01] 923*2^1426334-1 is not prime. Res64: 01D6597BE423E92A Time : 0.0 sec. user=mdettweiler [2016-04-15 08:00:01] 643*2^1426335-1 is not prime. Res64: 4E8DB47980542DBB Time : 0.0 sec. user=mdettweiler [2016-04-15 08:00:02] 685*2^1426335-1 is not prime. Res64: DE2617DF84FAFCDA Time : 0.0 sec. user=mdettweiler [2016-04-15 08:00:02] 831*2^1426335-1 is not prime. Res64: 1611C348B91A09A6 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:15:42] 657*2^1426336-1 is not prime. Res64: E94574F1C8C4A8A0 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:15:43] 825*2^1426336-1 is not prime. Res64: CA43EC56CE805A57 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:15:44] 873*2^1426336-1 is not prime. Res64: C00DE65C38EA791A Time : 0.0 sec. user=mdettweiler [2016-04-15 08:15:45] 969*2^1426336-1 is not prime. Res64: 80C04F295D4839E9 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:15:46] 975*2^1426336-1 is not prime. Res64: CFE52DD406E9FD5E Time : 0.0 sec. user=mdettweiler [2016-04-15 08:31:30] 989*2^1426336-1 is not prime. Res64: 99BCD41A62E91CC5 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:31:31] 999*2^1426336-1 is not prime. Res64: 18F1579EBB49D91E Time : 0.0 sec. user=mdettweiler [2016-04-15 08:31:31] 601*2^1426337-1 is not prime. Res64: F6F0C9D1C125FF97 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:31:32] 699*2^1426337-1 is not prime. Res64: 430F667F8E13F5DE Time : 0.0 sec. user=mdettweiler [2016-04-15 08:31:32] 711*2^1426337-1 is not prime. Res64: 2AFBF6D023BE2BED Time : 0.0 sec. user=mdettweiler [2016-04-15 08:32:37] 799*2^1426337-1 is not prime. Res64: BD5A5185E326656E Time : 0.0 sec. user=mdettweiler [2016-04-15 08:32:37] 885*2^1426337-1 is not prime. Res64: 0CE8790F30BA9FC0 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:32:38] 937*2^1426337-1 is not prime. Res64: 45FCECCC9C781D26 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:32:38] 981*2^1426337-1 is not prime. Res64: 949DC173BA9F06CC Time : 0.0 sec. user=mdettweiler [2016-04-15 08:32:38] 991*2^1426337-1 is not prime. Res64: 3933190FDB382E23 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:44:46] 621*2^1426338-1 is not prime. Res64: ED6C1B08FF0C800F Time : 0.0 sec. user=mdettweiler [2016-04-15 08:44:46] 767*2^1426338-1 is not prime. Res64: B7A5D2DE8FABD572 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:44:46] 777*2^1426338-1 is not prime. Res64: 3289C2916494243B Time : 0.0 sec. user=mdettweiler [2016-04-15 08:44:47] 815*2^1426338-1 is not prime. Res64: 85A3E88A4FA63531 Time : 0.0 sec. user=mdettweiler [2016-04-15 08:44:47] 843*2^1426338-1 is not prime. Res64: A09FD7247A8A1D89 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:00:27] 923*2^1426338-1 is not prime. Res64: 6C234A851A38D39B Time : 0.0 sec. user=mdettweiler [2016-04-15 09:00:28] 945*2^1426338-1 is not prime. Res64: E19E1A1B51BA3C9F Time : 0.0 sec. user=mdettweiler [2016-04-15 09:00:28] 775*2^1426339-1 is not prime. Res64: 344DB8D5F36DF85D Time : 0.0 sec. user=mdettweiler [2016-04-15 09:00:29] 669*2^1426340-1 is not prime. Res64: B0678B3CB662CE3D Time : 0.0 sec. user=mdettweiler [2016-04-15 09:00:30] 875*2^1426340-1 is not prime. Res64: 1C74894E5036754C Time : 0.0 sec. user=mdettweiler [2016-04-15 09:16:18] 885*2^1426340-1 is not prime. Res64: 450DE63EAE18292F Time : 0.0 sec. user=mdettweiler [2016-04-15 09:16:19] 929*2^1426340-1 is not prime. Res64: 92FE0D3F2D2DD6B6 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:16:20] 709*2^1426341-1 is not prime. Res64: 67273D66D45D4354 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:16:21] 711*2^1426341-1 is not prime. Res64: 48A57B6A30587A7D Time : 0.0 sec. user=mdettweiler [2016-04-15 09:16:21] 889*2^1426341-1 is not prime. Res64: B1A44C311D0551C1 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:17:25] 901*2^1426341-1 is not prime. Res64: 2C88CDA2831D523D Time : 0.0 sec. user=mdettweiler [2016-04-15 09:17:26] 987*2^1426341-1 is not prime. Res64: 090900724E431E0D Time : 0.0 sec. user=mdettweiler [2016-04-15 09:17:26] 761*2^1426342-1 is not prime. Res64: F0A2C70A404E9085 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:17:27] 911*2^1426342-1 is not prime. Res64: B2BBEC664F79224C Time : 0.0 sec. user=mdettweiler [2016-04-15 09:17:28] 703*2^1426343-1 is not prime. Res64: 454463D433C5FA53 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:29:37] 811*2^1426343-1 is not prime. Res64: D68E28877E9C23B7 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:29:37] 813*2^1426343-1 is not prime. Res64: E79AB56D93CAB823 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:29:38] 853*2^1426343-1 is not prime. Res64: 76BF776D6E9DA135 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:29:38] 969*2^1426343-1 is not prime. Res64: A42A2DEE0FC89F36 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:29:38] 605*2^1426344-1 is not prime. Res64: 7D07D738C4406231 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:45:10] 675*2^1426344-1 is not prime. Res64: A9085C11A4D4D2D6 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:45:10] 765*2^1426344-1 is not prime. Res64: 4F120FC2E34E470E Time : 0.0 sec. user=mdettweiler [2016-04-15 09:45:11] 729*2^1426345-1 is not prime. Res64: 5DD80B327F66A11A Time : 0.0 sec. user=mdettweiler [2016-04-15 09:45:11] 805*2^1426345-1 is not prime. Res64: 2AD935C0B8321273 Time : 0.0 sec. user=mdettweiler [2016-04-15 09:45:11] 909*2^1426345-1 is not prime. Res64: 9D4BF0847E808699 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:01:08] 985*2^1426345-1 is not prime. Res64: 04DC9DD6161A2944 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:01:09] 707*2^1426346-1 is not prime. Res64: 6403A2C4F9DED14B Time : 0.0 sec. user=mdettweiler [2016-04-15 10:01:10] 875*2^1426346-1 is not prime. Res64: A9A01DA715F846CC Time : 0.0 sec. user=mdettweiler [2016-04-15 10:01:11] 911*2^1426346-1 is not prime. Res64: 90398EEC3E09C592 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:01:11] 953*2^1426346-1 is not prime. Res64: 38C43F5E8F90D6B0 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:02:06] 703*2^1426347-1 is not prime. Res64: 6C75C44EC38BA717 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:02:07] 781*2^1426347-1 is not prime. Res64: B91D52B108B3BD2A Time : 0.0 sec. user=mdettweiler [2016-04-15 10:02:08] 861*2^1426347-1 is not prime. Res64: AD06C6D902779AEE Time : 0.0 sec. user=mdettweiler [2016-04-15 10:02:09] 903*2^1426347-1 is not prime. Res64: 4A691998BB830E5F Time : 0.0 sec. user=mdettweiler [2016-04-15 10:02:09] 665*2^1426348-1 is not prime. Res64: 78CA9D99F5BFBE2D Time : 0.0 sec. user=mdettweiler [2016-04-15 10:14:15] 723*2^1426348-1 is not prime. Res64: 9E21359AC7CAC5A0 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:14:16] 749*2^1426348-1 is not prime. Res64: 1A2B113C803F2157 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:14:16] 827*2^1426348-1 is not prime. Res64: 7787777014A59587 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:14:17] 855*2^1426348-1 is not prime. Res64: 2906876F78436EA5 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:14:18] 897*2^1426348-1 is not prime. Res64: 7157BAA346EB2B1B Time : 0.0 sec. user=mdettweiler [2016-04-15 10:29:53] 923*2^1426348-1 is not prime. Res64: C652A212D464CE5F Time : 0.0 sec. user=mdettweiler [2016-04-15 10:29:54] 759*2^1426349-1 is not prime. Res64: 2027999BEDE0110E Time : 0.0 sec. user=mdettweiler [2016-04-15 10:29:54] 847*2^1426349-1 is not prime. Res64: B1CC50B2B3629486 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:29:54] 855*2^1426349-1 is not prime. Res64: 9D557B695AA28689 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:29:55] 927*2^1426349-1 is not prime. Res64: EC321FA919A8244D Time : 0.0 sec. user=mdettweiler [2016-04-15 10:45:59] 951*2^1426349-1 is not prime. Res64: A0D168DC9694442B Time : 0.0 sec. user=mdettweiler [2016-04-15 10:45:59] 967*2^1426349-1 is not prime. Res64: 2B78F10E2C63886F Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:00] 985*2^1426349-1 is not prime. Res64: F7C83B2B7C27A1E9 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:00] 991*2^1426349-1 is not prime. Res64: 4A06422583E0183C Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:01] 677*2^1426350-1 is not prime. Res64: B8EB0C0AE41BF8F3 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:48] 681*2^1426350-1 is not prime. Res64: 6B5FCB6F8FEAF9CA Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:48] 707*2^1426350-1 is not prime. Res64: 693F5DF70ADF8D37 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:49] 741*2^1426350-1 is not prime. Res64: E633F2207DB6E078 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:49] 783*2^1426350-1 is not prime. Res64: 43FC65E46F6D7DEB Time : 0.0 sec. user=mdettweiler [2016-04-15 10:46:49] 663*2^1426351-1 is not prime. Res64: 518EA654D162352C Time : 0.0 sec. user=mdettweiler [2016-04-15 10:59:06] 705*2^1426351-1 is not prime. Res64: 23B9BF05623F4D19 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:59:06] 763*2^1426351-1 is not prime. Res64: F4D51F78CA056679 Time : 0.0 sec. user=mdettweiler [2016-04-15 10:59:07] 775*2^1426351-1 is not prime. Res64: F0B6A442F9D41D2F Time : 0.0 sec. user=mdettweiler [2016-04-15 10:59:07] 841*2^1426351-1 is not prime. Res64: 301BC5A282348FEA Time : 0.0 sec. user=mdettweiler [2016-04-15 10:59:08] 891*2^1426351-1 is not prime. Res64: FD65AD6D4602BA02 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:14:49] 895*2^1426351-1 is not prime. Res64: A70E157848A34FBE Time : 0.0 sec. user=mdettweiler [2016-04-15 11:14:51] 933*2^1426351-1 is not prime. Res64: 5A02945981E2DADE Time : 0.0 sec. user=mdettweiler [2016-04-15 11:14:52] 961*2^1426351-1 is not prime. Res64: FFF72835D8AD517F Time : 0.0 sec. user=mdettweiler [2016-04-15 11:14:53] 979*2^1426351-1 is not prime. Res64: 6A66D85EF9EB47C8 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:14:53] 693*2^1426352-1 is not prime. Res64: 1B71001C70113B27 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:30:44] 755*2^1426352-1 is not prime. Res64: 4036F8013599748B Time : 0.0 sec. user=mdettweiler [2016-04-15 11:30:44] 957*2^1426352-1 is not prime. Res64: 394FD002BF143094 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:30:44] 627*2^1426353-1 is not prime. Res64: 3A80469BF409FA65 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:30:45] 781*2^1426353-1 is not prime. Res64: EF588EE7C7237750 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:30:45] 921*2^1426353-1 is not prime. Res64: 75FFC1907C77836D Time : 0.0 sec. user=mdettweiler [2016-04-15 11:31:28] 651*2^1426355-1 is not prime. Res64: 9E561D3CFA4ADBC1 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:31:29] 715*2^1426355-1 is not prime. Res64: 6C0CADFAF9035147 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:31:29] 783*2^1426355-1 is not prime. Res64: ED2371DAEBB5AB58 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:31:29] 921*2^1426355-1 is not prime. Res64: 49D3DF0027BC3A19 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:31:30] 985*2^1426355-1 is not prime. Res64: B0E436D7B8FE0646 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:43:49] 635*2^1426356-1 is not prime. Res64: 5D1B75F998C0B5D4 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:43:49] 689*2^1426356-1 is not prime. Res64: E9487040C243C1DD Time : 0.0 sec. user=mdettweiler [2016-04-15 11:43:50] 749*2^1426356-1 is not prime. Res64: 156906975A55DCC2 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:43:50] 789*2^1426356-1 is not prime. Res64: 8836DCC394F0BADF Time : 0.0 sec. user=mdettweiler [2016-04-15 11:43:50] 825*2^1426356-1 is not prime. Res64: 9D35FC4042B421DB Time : 0.0 sec. user=mdettweiler [2016-04-15 11:59:29] 857*2^1426356-1 is not prime. Res64: 4F5FB31B508FEC13 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:59:30] 909*2^1426356-1 is not prime. Res64: 1877FA58B4F33FEE Time : 0.0 sec. user=mdettweiler [2016-04-15 11:59:30] 927*2^1426356-1 is not prime. Res64: FAEC167C2DC62620 Time : 0.0 sec. user=mdettweiler [2016-04-15 11:59:30] 993*2^1426356-1 is not prime. Res64: 293092E5C885F80C Time : 0.0 sec. user=mdettweiler [2016-04-15 11:59:31] 999*2^1426356-1 is not prime. Res64: 54016345E7DA5F08 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:15:14] 661*2^1426357-1 is not prime. Res64: 24318EDCC4587ECD Time : 0.0 sec. user=mdettweiler [2016-04-15 12:15:15] 775*2^1426357-1 is not prime. Res64: 356C02C47425CA72 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:15:16] 819*2^1426357-1 is not prime. Res64: 28336A27D5B39447 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:15:16] 861*2^1426357-1 is not prime. Res64: F58822C8A4A95007 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:15:17] 975*2^1426357-1 is not prime. Res64: 45FD1BDE7036B4F5 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:16:05] 677*2^1426358-1 is not prime. Res64: E92E6C85F49F3D30 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:16:06] 705*2^1426358-1 is not prime. Res64: 233FAC1CDD0B7B65 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:16:07] 711*2^1426358-1 is not prime. Res64: AC63DA804C336E34 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:16:07] 743*2^1426358-1 is not prime. Res64: BF994D2C06522A7E Time : 0.0 sec. user=mdettweiler [2016-04-15 12:16:08] 753*2^1426358-1 is not prime. Res64: A5BE823FC122B440 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:28:40] 771*2^1426358-1 is not prime. Res64: 37E38247B870E978 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:28:40] 773*2^1426358-1 is not prime. Res64: F825E1EF9660A73D Time : 0.0 sec. user=mdettweiler [2016-04-15 12:28:40] 843*2^1426358-1 is not prime. Res64: 15E1148EF7662428 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:28:41] 857*2^1426358-1 is not prime. Res64: DE9FEF3B2EEEAF08 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:28:41] 935*2^1426358-1 is not prime. Res64: 05E5E316FDE0EDE0 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:44:15] 951*2^1426358-1 is not prime. Res64: 745FFB59ABA97059 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:44:15] 971*2^1426358-1 is not prime. Res64: 371AC53183FB585D Time : 0.0 sec. user=mdettweiler [2016-04-15 12:44:15] 613*2^1426359-1 is not prime. Res64: AA8F66F108F46351 Time : 0.0 sec. user=mdettweiler [2016-04-15 12:44:16] 675*2^1426359-1 is not prime. Res64: 5F9496933259590A Time : 0.0 sec. user=mdettweiler [2016-04-15 12:44:16] 685*2^1426359-1 is not prime. Res64: 59629596A72206E2 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:00:01] 711*2^1426359-1 is not prime. Res64: F2366D3C78A9E42F Time : 0.0 sec. user=mdettweiler [2016-04-15 13:00:02] 793*2^1426359-1 is not prime. Res64: 664F42F589FF2FA2 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:00:02] 853*2^1426359-1 is not prime. Res64: EB480A3469078CE3 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:00:02] 861*2^1426359-1 is not prime. Res64: CCDC14D6F93E4038 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:00:03] 879*2^1426359-1 is not prime. Res64: 41730B2033278218 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:01:00] 985*2^1426359-1 is not prime. Res64: 1111579CCCD06139 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:01:00] 999*2^1426359-1 is not prime. Res64: FE7EFF53DB03B628 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:01:01] 675*2^1426360-1 is not prime. Res64: 62750AF1969D00FA Time : 0.0 sec. user=mdettweiler [2016-04-15 13:01:02] 695*2^1426360-1 is not prime. Res64: 2A49B5F7FE39024E Time : 0.0 sec. user=mdettweiler [2016-04-15 13:01:02] 699*2^1426360-1 is not prime. Res64: EAAA8A2A0D865F08 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:13:29] 717*2^1426360-1 is not prime. Res64: BDC1FFDEB1D6EA21 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:13:29] 843*2^1426360-1 is not prime. Res64: 4C15FEB9B5AB180B Time : 0.0 sec. user=mdettweiler [2016-04-15 13:13:30] 855*2^1426360-1 is not prime. Res64: 7E9DFFB3604FD973 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:13:30] 873*2^1426360-1 is not prime. Res64: 22A9B7B6A1226E7C Time : 0.0 sec. user=mdettweiler [2016-04-15 13:13:31] 887*2^1426360-1 is not prime. Res64: 0811257FAC238343 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:29:04] 615*2^1426361-1 is not prime. Res64: BEBB29A805C07D46 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:29:05] 717*2^1426361-1 is not prime. Res64: 1EFF334C260F185E Time : 0.0 sec. user=mdettweiler [2016-04-15 13:29:05] 727*2^1426361-1 is not prime. Res64: AA5D6A4E5B83AF59 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:29:05] 889*2^1426361-1 is not prime. Res64: A485F024CBD07559 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:29:06] 931*2^1426361-1 is not prime. Res64: 1B8AB343D971A379 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:44:39] 627*2^1426362-1 is not prime. Res64: 86EE651305952C5B Time : 0.0 sec. user=mdettweiler [2016-04-15 13:44:40] 731*2^1426362-1 is not prime. Res64: AEEC4C8660E843D2 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:44:40] 741*2^1426362-1 is not prime. Res64: BC5A30CE1E1430EE Time : 0.0 sec. user=mdettweiler [2016-04-15 13:44:40] 747*2^1426362-1 is not prime. Res64: A9598040869D4F97 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:44:41] 797*2^1426362-1 is not prime. Res64: 78CC48476A8EABD1 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:45:51] 815*2^1426362-1 is not prime. Res64: 939F093634C6704D Time : 0.0 sec. user=mdettweiler [2016-04-15 13:45:51] 893*2^1426362-1 is not prime. Res64: 5E8BA633E6007018 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:45:52] 1001*2^1426362-1 is not prime. Res64: AE815B973DF5365F Time : 0.0 sec. user=mdettweiler [2016-04-15 13:45:52] 633*2^1426363-1 is not prime. Res64: 30FE12706168BBAF Time : 0.0 sec. user=mdettweiler [2016-04-15 13:45:53] 639*2^1426363-1 is not prime. Res64: 244688A65281C4F2 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:58:03] 769*2^1426363-1 is not prime. Res64: 580686BC7B5EB61F Time : 0.0 sec. user=mdettweiler [2016-04-15 13:58:04] 883*2^1426363-1 is not prime. Res64: 08BAD7D764DAFD02 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:58:04] 901*2^1426363-1 is not prime. Res64: C42E12E125EE57AF Time : 0.0 sec. user=mdettweiler [2016-04-15 13:58:04] 919*2^1426363-1 is not prime. Res64: 94F4176E7125ABE5 Time : 0.0 sec. user=mdettweiler [2016-04-15 13:58:05] 943*2^1426363-1 is not prime. Res64: E8C914C5E51D8E4B Time : 0.0 sec. user=mdettweiler [2016-04-15 14:13:41] 969*2^1426363-1 is not prime. Res64: DC1E9BC4002170B8 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:13:42] 683*2^1426364-1 is not prime. Res64: C2FDA0DBDD77BC74 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:13:42] 707*2^1426364-1 is not prime. Res64: E4D8E4823BB3BC02 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:13:42] 837*2^1426364-1 is not prime. Res64: 1D93B43E6AC57792 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:13:43] 897*2^1426364-1 is not prime. Res64: 0AABEB2423D37E6D Time : 0.0 sec. user=mdettweiler [2016-04-15 14:29:19] 899*2^1426364-1 is not prime. Res64: 5F08C493B80AD171 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:29:20] 983*2^1426364-1 is not prime. Res64: 0D4BBAF52F3E4C33 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:29:20] 601*2^1426365-1 is not prime. Res64: D7BC58538042A59D Time : 0.0 sec. user=mdettweiler [2016-04-15 14:29:21] 675*2^1426365-1 is not prime. Res64: 474A437FBE3811FE Time : 0.0 sec. user=mdettweiler [2016-04-15 14:29:21] 819*2^1426365-1 is not prime. Res64: F1CA2EE873082DE1 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:30:31] 985*2^1426365-1 is not prime. Res64: 7E04DFA524A3454D Time : 0.0 sec. user=mdettweiler [2016-04-15 14:30:31] 785*2^1426366-1 is not prime. Res64: D72D5EFB6562910F Time : 0.0 sec. user=mdettweiler [2016-04-15 14:30:31] 825*2^1426366-1 is not prime. Res64: 013AD734A2066B45 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:30:32] 861*2^1426366-1 is not prime. Res64: FFAF3836BA92E03E Time : 0.0 sec. user=mdettweiler [2016-04-15 14:30:32] 993*2^1426366-1 is not prime. Res64: 093B56AF573E87A2 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:42:47] 799*2^1426367-1 is not prime. Res64: F7009FDF944F706B Time : 0.0 sec. user=mdettweiler [2016-04-15 14:42:47] 819*2^1426367-1 is not prime. Res64: 3049EEDF24555F99 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:42:47] 901*2^1426367-1 is not prime. Res64: F5C0C58FDB3756B8 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:42:48] 949*2^1426367-1 is not prime. Res64: 18E4F20E5F5C95B7 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:42:48] 963*2^1426367-1 is not prime. Res64: 834E314B40D91ACA Time : 0.0 sec. user=mdettweiler [2016-04-15 14:58:26] 629*2^1426368-1 is not prime. Res64: 69C3A3521B31CA86 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:58:26] 635*2^1426368-1 is not prime. Res64: 3326CD77DD806224 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:58:27] 657*2^1426368-1 is not prime. Res64: 03D5E94D420DFAA3 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:58:27] 665*2^1426368-1 is not prime. Res64: 7A20198293C84FA4 Time : 0.0 sec. user=mdettweiler [2016-04-15 14:58:28] 669*2^1426368-1 is not prime. Res64: 723721096C949BF3 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:14:05] 723*2^1426368-1 is not prime. Res64: 26135BEE5E7DB980 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:14:06] 759*2^1426368-1 is not prime. Res64: DA6AF0491C224BB8 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:14:07] 795*2^1426368-1 is not prime. Res64: D62D448BD535F646 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:14:08] 839*2^1426368-1 is not prime. Res64: A3C15FEC3DCB5BF4 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:14:08] 845*2^1426368-1 is not prime. Res64: 71A3970700664EC0 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:15:11] 909*2^1426368-1 is not prime. Res64: 86F27FB94AD0C7EC Time : 0.0 sec. user=mdettweiler [2016-04-15 15:15:12] 945*2^1426368-1 is not prime. Res64: DB748BBE35B0D687 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:15:13] 999*2^1426368-1 is not prime. Res64: 365D7150CC083F75 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:15:14] 789*2^1426369-1 is not prime. Res64: 2938FF73BDA68A53 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:15:16] 817*2^1426369-1 is not prime. Res64: 03F218F041AE8247 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:27:25] 831*2^1426369-1 is not prime. Res64: 26D0D7D8639154CD Time : 0.0 sec. user=mdettweiler [2016-04-15 15:27:26] 897*2^1426369-1 is not prime. Res64: 5D0E1489F2637F0F Time : 0.0 sec. user=mdettweiler [2016-04-15 15:27:26] 665*2^1426370-1 is not prime. Res64: 91F52CFB1047A65B Time : 0.0 sec. user=mdettweiler [2016-04-15 15:27:27] 675*2^1426370-1 is not prime. Res64: 8BD1E8A4901BC9B6 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:27:27] 711*2^1426370-1 is not prime. Res64: 16E900B11F127EF9 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:43:02] 831*2^1426370-1 is not prime. Res64: 8B8543161B66C46B Time : 0.0 sec. user=mdettweiler [2016-04-15 15:43:02] 851*2^1426370-1 is not prime. Res64: 7A8A2914C4266CB2 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:43:03] 649*2^1426371-1 is not prime. Res64: C37366FC7F77FF65 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:43:03] 709*2^1426371-1 is not prime. Res64: 4CECABD13C36076A Time : 0.0 sec. user=mdettweiler [2016-04-15 15:43:04] 801*2^1426371-1 is not prime. Res64: 00D1498912A945EC Time : 0.0 sec. user=mdettweiler [2016-04-15 15:58:44] 871*2^1426371-1 is not prime. Res64: 7D682D10B17F1D99 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:58:45] 949*2^1426371-1 is not prime. Res64: D6A60E47445F2A57 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:58:45] 961*2^1426371-1 is not prime. Res64: 403EEF64716111EF Time : 0.0 sec. user=mdettweiler [2016-04-15 15:58:46] 617*2^1426372-1 is not prime. Res64: 54AA85E7E2CB1D7D Time : 0.0 sec. user=mdettweiler [2016-04-15 15:58:46] 665*2^1426372-1 is not prime. Res64: 2399C0C1AD33B8A8 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:59:56] 723*2^1426372-1 is not prime. Res64: BF115ECF71347B7C Time : 0.0 sec. user=mdettweiler [2016-04-15 15:59:57] 825*2^1426372-1 is not prime. Res64: 06B11427A2C22840 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:59:57] 827*2^1426372-1 is not prime. Res64: 32B82C11FAB48FEC Time : 0.0 sec. user=mdettweiler [2016-04-15 15:59:58] 855*2^1426372-1 is not prime. Res64: C4E3B578BF6DE558 Time : 0.0 sec. user=mdettweiler [2016-04-15 15:59:58] 875*2^1426372-1 is not prime. Res64: 9FDD97234418A89C Time : 0.0 sec. user=mdettweiler [2016-04-15 16:12:01] 923*2^1426372-1 is not prime. Res64: 1D2A98102EA249AC Time : 0.0 sec. user=mdettweiler [2016-04-15 16:12:02] 691*2^1426373-1 is not prime. Res64: 9D0A85DFF9CC3425 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:12:02] 795*2^1426373-1 is not prime. Res64: 0297752E40655D16 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:12:03] 847*2^1426373-1 is not prime. Res64: D4D7DC1E938EA819 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:12:03] 927*2^1426373-1 is not prime. Res64: 36BF0F560B62594D Time : 0.0 sec. user=mdettweiler [2016-04-15 16:27:40] 991*2^1426373-1 is not prime. Res64: DBECC38FB590DA14 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:27:41] 651*2^1426374-1 is not prime. Res64: BF85BF7972F4CC66 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:27:41] 683*2^1426374-1 is not prime. Res64: C6B052199DF0AF7E Time : 0.0 sec. user=mdettweiler [2016-04-15 16:27:41] 773*2^1426374-1 is not prime. Res64: 0B044211556A226B Time : 0.0 sec. user=mdettweiler [2016-04-15 16:27:42] 863*2^1426374-1 is not prime. Res64: B9ED799CA120FE7A Time : 0.0 sec. user=mdettweiler [2016-04-15 16:43:30] 921*2^1426374-1 is not prime. Res64: DCF39B29A3CC1AE7 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:43:30] 923*2^1426374-1 is not prime. Res64: 84CB5183CD9B2F56 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:43:31] 927*2^1426374-1 is not prime. Res64: 8030AABA8CB797B2 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:43:31] 941*2^1426374-1 is not prime. Res64: FCD084B5261081EA Time : 0.0 sec. user=mdettweiler [2016-04-15 16:43:32] 603*2^1426375-1 is not prime. Res64: 2E4048BB4BC6948C Time : 0.0 sec. user=mdettweiler [2016-04-15 16:44:41] 645*2^1426375-1 is not prime. Res64: 10E0408D9DFE1F6B Time : 0.0 sec. user=mdettweiler [2016-04-15 16:44:42] 693*2^1426375-1 is not prime. Res64: B8DC8491D306F6C8 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:44:42] 763*2^1426375-1 is not prime. Res64: DB998E0B63A66DBB Time : 0.0 sec. user=mdettweiler [2016-04-15 16:44:43] 831*2^1426375-1 is not prime. Res64: BB169715865175CA Time : 0.0 sec. user=mdettweiler [2016-04-15 16:44:43] 855*2^1426375-1 is not prime. Res64: 879D86DACD8B6478 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:56:40] 951*2^1426375-1 is not prime. Res64: 91F41E2258C52153 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:56:40] 969*2^1426375-1 is not prime. Res64: B92E986ACFD64B3D Time : 0.0 sec. user=mdettweiler [2016-04-15 16:56:41] 659*2^1426376-1 is not prime. Res64: 64EB51E6F51F9295 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:56:41] 759*2^1426376-1 is not prime. Res64: 33D322A5E8004607 Time : 0.0 sec. user=mdettweiler [2016-04-15 16:56:41] 875*2^1426376-1 is not prime. Res64: EB2A3E6D47D594FE Time : 0.0 sec. user=mdettweiler [2016-04-15 17:12:17] 893*2^1426376-1 is not prime. Res64: 32A4FFCEC558D551 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:12:18] 963*2^1426376-1 is not prime. Res64: 696EEC5C1A1DBF39 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:12:19] 609*2^1426377-1 is not prime. Res64: 78644A155FE86F53 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:12:19] 625*2^1426377-1 is not prime. Res64: 3B27E44B97480A2E Time : 0.0 sec. user=mdettweiler [2016-04-15 17:12:20] 739*2^1426377-1 is not prime. Res64: 919F22DCBD433ACE Time : 0.0 sec. user=mdettweiler [2016-04-15 17:28:11] 759*2^1426377-1 is not prime. Res64: AB1F1712AE0892E9 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:28:11] 807*2^1426377-1 is not prime. Res64: 5D5B401461CC42DB Time : 0.0 sec. user=mdettweiler [2016-04-15 17:28:12] 819*2^1426377-1 is not prime. Res64: FDBC66033047E55E Time : 0.0 sec. user=mdettweiler [2016-04-15 17:28:12] 835*2^1426377-1 is not prime. Res64: 4432B1786C79F4DE Time : 0.0 sec. user=mdettweiler [2016-04-15 17:28:12] 849*2^1426377-1 is not prime. Res64: FC37C90D43EA86F9 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:29:23] 949*2^1426377-1 is not prime. Res64: F8EE9B0F59DF1E30 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:29:23] 623*2^1426378-1 is not prime. Res64: 36D46FC298F83A70 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:29:23] 801*2^1426378-1 is not prime. Res64: 99996530B089288E Time : 0.0 sec. user=mdettweiler [2016-04-15 17:29:24] 855*2^1426378-1 is not prime. Res64: C1F601BA98E69CBF Time : 0.0 sec. user=mdettweiler [2016-04-15 17:29:24] 887*2^1426378-1 is not prime. Res64: 9CF508BF37E10C79 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:41:32] 933*2^1426378-1 is not prime. Res64: C0374973CB69A395 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:41:32] 631*2^1426379-1 is not prime. Res64: 60CA5A2DAE628684 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:41:33] 711*2^1426379-1 is not prime. Res64: 0C7BCA6A280A3B1F Time : 0.0 sec. user=mdettweiler [2016-04-15 17:41:33] 771*2^1426379-1 is not prime. Res64: 24EB786356DE0882 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:41:33] 909*2^1426379-1 is not prime. Res64: C55BDD1FD8B8E596 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:57:24] 955*2^1426379-1 is not prime. Res64: 0DCB22817A0C04E8 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:57:25] 635*2^1426380-1 is not prime. Res64: D99E084827D26491 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:57:25] 765*2^1426380-1 is not prime. Res64: F33385BF6EC2CBE3 Time : 0.0 sec. user=mdettweiler [2016-04-15 17:57:25] 845*2^1426380-1 is not prime. Res64: F8076A3FA7FE8E8E Time : 0.0 sec. user=mdettweiler [2016-04-15 17:57:26] 863*2^1426380-1 is not prime. Res64: 2BC843E9C8F096FE Time : 0.0 sec. user=mdettweiler [2016-04-15 18:12:56] 983*2^1426380-1 is not prime. Res64: 17DAEE3479760A96 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:12:57] 625*2^1426381-1 is not prime. Res64: 0B4F78CDEC0DA2AF Time : 0.0 sec. user=mdettweiler [2016-04-15 18:12:58] 649*2^1426381-1 is not prime. Res64: 54657F6CEED27DAC Time : 0.0 sec. user=mdettweiler [2016-04-15 18:12:59] 745*2^1426381-1 is not prime. Res64: CAF84DC3853F6E6D Time : 0.0 sec. user=mdettweiler [2016-04-15 18:13:00] 771*2^1426381-1 is not prime. Res64: A8ECBB595DA9FF82 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:14:02] 825*2^1426381-1 is not prime. Res64: 4B807B7C2BBCB8D5 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:14:03] 931*2^1426381-1 is not prime. Res64: AC9CCF622EA34E50 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:14:03] 945*2^1426381-1 is not prime. Res64: A6987C41EC2547CF Time : 0.0 sec. user=mdettweiler [2016-04-15 18:14:04] 979*2^1426381-1 is not prime. Res64: B37757954D82D316 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:14:05] 623*2^1426382-1 is not prime. Res64: 9F0CA912CBE17C33 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:26:09] 645*2^1426382-1 is not prime. Res64: 033C29A151CAA4D7 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:26:09] 651*2^1426382-1 is not prime. Res64: DECDE0B5D6C91B67 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:26:10] 657*2^1426382-1 is not prime. Res64: 41798270DFEA777A Time : 0.0 sec. user=mdettweiler [2016-04-15 18:26:10] 711*2^1426382-1 is not prime. Res64: 05BF07401E24C455 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:26:10] 791*2^1426382-1 is not prime. Res64: 4B318060AA3FF153 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:42:17] 887*2^1426382-1 is not prime. Res64: 626F53DBC9FB21C6 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:42:18] 893*2^1426382-1 is not prime. Res64: 4DCCE8E8EEF6A643 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:42:18] 917*2^1426382-1 is not prime. Res64: 9F0F4E6F5B7D52CC Time : 0.0 sec. user=mdettweiler [2016-04-15 18:42:18] 965*2^1426382-1 is not prime. Res64: 9A0BE3BAC5AC6F52 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:42:19] 639*2^1426383-1 is not prime. Res64: 3972B3200832FC4D Time : 0.0 sec. user=mdettweiler [2016-04-15 18:57:45] 723*2^1426383-1 is not prime. Res64: 445E23E6BF5FE3EA Time : 0.0 sec. user=mdettweiler [2016-04-15 18:57:46] 739*2^1426383-1 is not prime. Res64: C4D633A33EDC4809 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:57:46] 819*2^1426383-1 is not prime. Res64: BDF5A77792E43FEC Time : 0.0 sec. user=mdettweiler [2016-04-15 18:57:46] 825*2^1426383-1 is not prime. Res64: DA588229976D2073 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:57:47] 871*2^1426383-1 is not prime. Res64: 92917D1C9BB5B3B8 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:58:49] 891*2^1426383-1 is not prime. Res64: BCBCC339ED7ABFC4 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:58:49] 921*2^1426383-1 is not prime. Res64: D6EC35BBBF015D10 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:58:50] 933*2^1426383-1 is not prime. Res64: CB214DE326775937 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:58:50] 951*2^1426383-1 is not prime. Res64: 8269292A105D4072 Time : 0.0 sec. user=mdettweiler [2016-04-15 18:58:51] 973*2^1426383-1 is not prime. Res64: 8B47D6BAE98316D4 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:10:59] 985*2^1426383-1 is not prime. Res64: 24CC98AE1C259D1A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:11:00] 635*2^1426384-1 is not prime. Res64: ED2AB17224EF23A8 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:11:01] 743*2^1426384-1 is not prime. Res64: 7EFBB55BE12BC7CF Time : 0.0 sec. user=mdettweiler [2016-04-15 19:11:01] 827*2^1426384-1 is not prime. Res64: 7FC7DE0C571B580A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:11:01] 869*2^1426384-1 is not prime. Res64: 5FF0D526EC9EE919 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:26:53] 875*2^1426384-1 is not prime. Res64: C7145E886A8151F4 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:26:53] 995*2^1426384-1 is not prime. Res64: BE94A06E7934B25A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:26:54] 649*2^1426385-1 is not prime. Res64: 9FF40625C209A431 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:26:54] 711*2^1426385-1 is not prime. Res64: ABC15EF6005FCEDA Time : 0.0 sec. user=mdettweiler [2016-04-15 19:26:54] 729*2^1426385-1 is not prime. Res64: F7CCC47A19722A4D Time : 0.0 sec. user=mdettweiler [2016-04-15 19:42:21] 801*2^1426385-1 is not prime. Res64: B6E3866FBA54C87A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:42:21] 981*2^1426385-1 is not prime. Res64: 8DEDED0A6DAC7F49 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:42:22] 987*2^1426385-1 is not prime. Res64: FDD0C889351C2F3A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:42:22] 683*2^1426386-1 is not prime. Res64: 2231895625065B10 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:42:22] 711*2^1426386-1 is not prime. Res64: 787F53EB30DFD20A Time : 0.0 sec. user=mdettweiler [2016-04-15 19:43:28] 713*2^1426386-1 is not prime. Res64: E556A298D0014C3E Time : 0.0 sec. user=mdettweiler [2016-04-15 19:43:29] 723*2^1426386-1 is not prime. Res64: 335C7D058448C2EF Time : 0.0 sec. user=mdettweiler [2016-04-15 19:43:29] 725*2^1426386-1 is not prime. Res64: F54DAF6C2748EF87 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:43:29] 755*2^1426386-1 is not prime. Res64: A19E3468342A14DF Time : 0.0 sec. user=mdettweiler [2016-04-15 19:43:30] 765*2^1426386-1 is not prime. Res64: 2F294E7170B8BE95 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:55:44] 837*2^1426386-1 is not prime. Res64: 1DD7C10844C292E8 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:55:44] 887*2^1426386-1 is not prime. Res64: 81773FA4F82420A5 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:55:45] 971*2^1426386-1 is not prime. Res64: 59963DBC9AB7C546 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:55:45] 975*2^1426386-1 is not prime. Res64: 612300D220717AE6 Time : 0.0 sec. user=mdettweiler [2016-04-15 19:55:45] 993*2^1426386-1 is not prime. Res64: 51EDF756B5B32EFB Time : 0.0 sec. user=mdettweiler [2016-04-15 20:11:45] 649*2^1426387-1 is not prime. Res64: B02E95AB12587E81 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:11:46] 741*2^1426387-1 is not prime. Res64: 7F5696B23DD8C78B Time : 0.0 sec. user=mdettweiler [2016-04-15 20:11:46] 885*2^1426387-1 is not prime. Res64: A6A5121F400DB85B Time : 0.0 sec. user=mdettweiler [2016-04-15 20:11:47] 889*2^1426387-1 is not prime. Res64: 400B37AC229FC09D Time : 0.0 sec. user=mdettweiler [2016-04-15 20:11:47] 939*2^1426387-1 is not prime. Res64: 468A2013B9B059E6 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:27:18] 603*2^1426388-1 is not prime. Res64: 6ABC875ADCC7D855 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:27:19] 677*2^1426388-1 is not prime. Res64: E750A2C7CCFDB36A Time : 0.0 sec. user=mdettweiler [2016-04-15 20:27:19] 725*2^1426388-1 is not prime. Res64: A140332C47CF9780 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:27:19] 777*2^1426388-1 is not prime. Res64: FCF91E92617E163E Time : 0.0 sec. user=mdettweiler [2016-04-15 20:27:20] 839*2^1426388-1 is not prime. Res64: 50AE6BE581354021 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:28:28] 875*2^1426388-1 is not prime. Res64: 9B9CC489078719A5 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:28:28] 885*2^1426388-1 is not prime. Res64: 28851904EEF12F63 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:28:29] 935*2^1426388-1 is not prime. Res64: 83F80779233B4449 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:28:29] 639*2^1426389-1 is not prime. Res64: EAD55EA37B137819 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:28:29] 649*2^1426389-1 is not prime. Res64: 4AEB287CDC4A8688 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:40:35] 747*2^1426389-1 is not prime. Res64: D0A7C57FFE051952 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:40:35] 765*2^1426389-1 is not prime. Res64: 060517CF80126F95 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:40:35] 927*2^1426389-1 is not prime. Res64: 52941D2391804AF0 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:40:36] 605*2^1426390-1 is not prime. Res64: DC646BB2E5268393 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:40:36] 651*2^1426390-1 is not prime. Res64: D1CEF23A5BED705D Time : 0.0 sec. user=mdettweiler [2016-04-15 20:56:49] 723*2^1426390-1 is not prime. Res64: 9962B667CFB37D87 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:56:50] 843*2^1426390-1 is not prime. Res64: 16BA5656F62E313F Time : 0.0 sec. user=mdettweiler [2016-04-15 20:56:50] 933*2^1426390-1 is not prime. Res64: 9D07D2F2C2BA1C88 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:56:50] 987*2^1426390-1 is not prime. Res64: EA4DD8D070C6FC96 Time : 0.0 sec. user=mdettweiler [2016-04-15 20:56:51] 645*2^1426391-1 is not prime. Res64: F930D3D5598D7CE1 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:12:33] 885*2^1426391-1 is not prime. Res64: DF03B4977C1FFD4C Time : 0.0 sec. user=mdettweiler [2016-04-15 21:12:34] 939*2^1426391-1 is not prime. Res64: 9CC53B88AC8204E7 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:12:34] 943*2^1426391-1 is not prime. Res64: 026B8959CE83069A Time : 0.0 sec. user=mdettweiler [2016-04-15 21:12:35] 969*2^1426391-1 is not prime. Res64: 743344D686C9EA77 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:12:35] 993*2^1426391-1 is not prime. Res64: 8305D9660FA4BA14 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:13:34] 639*2^1426392-1 is not prime. Res64: 291C611A27B1A537 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:13:35] 765*2^1426392-1 is not prime. Res64: 09807ECD2B8C9246 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:13:35] 825*2^1426392-1 is not prime. Res64: 999C3CBEF15E5FED Time : 0.0 sec. user=mdettweiler [2016-04-15 21:13:35] 893*2^1426392-1 is not prime. Res64: F19F7E47902401A9 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:13:36] 923*2^1426392-1 is not prime. Res64: 72697F7D68B9617A Time : 0.0 sec. user=mdettweiler [2016-04-15 21:25:25] 975*2^1426392-1 is not prime. Res64: FE87B36F5819450E Time : 0.0 sec. user=mdettweiler [2016-04-15 21:25:26] 691*2^1426393-1 is not prime. Res64: 0250529EAC7C2732 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:25:27] 741*2^1426393-1 is not prime. Res64: 1EDC488886472988 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:25:27] 633*2^1426394-1 is not prime. Res64: 45C691AC195835BC Time : 0.0 sec. user=mdettweiler [2016-04-15 21:25:28] 671*2^1426394-1 is not prime. Res64: 6AFA4D73B09B9B69 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:41:45] 707*2^1426394-1 is not prime. Res64: A6B6799DEFEF36F6 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:41:46] 753*2^1426394-1 is not prime. Res64: A0F173E435C5A971 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:41:46] 833*2^1426394-1 is not prime. Res64: 8BF573878CFC2C52 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:41:47] 885*2^1426394-1 is not prime. Res64: C0F5EEF524BAE1D5 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:41:47] 941*2^1426394-1 is not prime. Res64: 8B571963F2A8D7F2 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:57:35] 951*2^1426394-1 is not prime. Res64: AE0D90E1DED80341 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:57:36] 675*2^1426395-1 is not prime. Res64: 4B49A6D4CB6AE0D9 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:57:36] 711*2^1426395-1 is not prime. Res64: A91FA102FA8BEEF7 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:57:36] 775*2^1426395-1 is not prime. Res64: 409D18E3C67A537D Time : 0.0 sec. user=mdettweiler [2016-04-15 21:57:37] 781*2^1426395-1 is not prime. Res64: A774E5F0AE6C1B17 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:58:20] 789*2^1426395-1 is not prime. Res64: AB8FDB664296093A Time : 0.0 sec. user=mdettweiler [2016-04-15 21:58:20] 853*2^1426395-1 is not prime. Res64: 96B153DCBA6CBA5E Time : 0.0 sec. user=mdettweiler [2016-04-15 21:58:21] 873*2^1426395-1 is not prime. Res64: FE6D55AD9223BF34 Time : 0.0 sec. user=mdettweiler [2016-04-15 21:58:21] 783*2^1426396-1 is not prime. Res64: A806700070CAF33E Time : 0.0 sec. user=mdettweiler [2016-04-15 21:58:21] 909*2^1426396-1 is not prime. Res64: B942B57993CE960E Time : 0.0 sec. user=mdettweiler [2016-04-15 22:10:14] 939*2^1426396-1 is not prime. Res64: A7B2088B5DE1C035 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:10:14] 691*2^1426397-1 is not prime. Res64: 0FA01C9DF96172B8 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:10:15] 699*2^1426397-1 is not prime. Res64: B3CCE7164524FBE6 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:10:15] 727*2^1426397-1 is not prime. Res64: 173D76C32C8FB0A7 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:10:16] 735*2^1426397-1 is not prime. Res64: B4C01903EA8DF3BF Time : 0.0 sec. user=mdettweiler [2016-04-15 22:26:39] 805*2^1426397-1 is not prime. Res64: 1C05E06EEECCD3F6 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:26:39] 871*2^1426397-1 is not prime. Res64: F44093942591ED2D Time : 0.0 sec. user=mdettweiler [2016-04-15 22:26:40] 939*2^1426397-1 is not prime. Res64: 24412F371481AFB5 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:26:40] 621*2^1426398-1 is not prime. Res64: 2E7DF7C4FC5AB575 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:26:40] 627*2^1426398-1 is not prime. Res64: 2FFCF2EE0C240353 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:42:08] 663*2^1426398-1 is not prime. Res64: AA54AA509BC3DC03 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:42:09] 693*2^1426398-1 is not prime. Res64: 43B639425D3D8C33 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:42:09] 821*2^1426398-1 is not prime. Res64: FBE324867E9F04F5 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:42:09] 843*2^1426398-1 is not prime. Res64: 2975B949EE8E7920 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:42:10] 875*2^1426398-1 is not prime. Res64: EE6F9CC46F1B996F Time : 0.0 sec. user=mdettweiler [2016-04-15 22:43:04] 993*2^1426399-1 is not prime. Res64: 7D3F7499C2412362 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:43:04] 609*2^1426400-1 is not prime. Res64: F01A727F7CE402AD Time : 0.0 sec. user=mdettweiler [2016-04-15 22:43:05] 665*2^1426400-1 is not prime. Res64: 76A4C0F96FF1F9BC Time : 0.0 sec. user=mdettweiler [2016-04-15 22:43:05] 669*2^1426400-1 is not prime. Res64: 77A17F78E8607D8A Time : 0.0 sec. user=mdettweiler [2016-04-15 22:43:05] 689*2^1426400-1 is not prime. Res64: 6EBF1D350490EC60 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:55:11] 735*2^1426400-1 is not prime. Res64: BAFBF83E2A15C0AC Time : 0.0 sec. user=mdettweiler [2016-04-15 22:55:12] 785*2^1426400-1 is not prime. Res64: 6C854C7A3E50945F Time : 0.0 sec. user=mdettweiler [2016-04-15 22:55:12] 879*2^1426400-1 is not prime. Res64: 8B41FB5B428AFA15 Time : 0.0 sec. user=mdettweiler [2016-04-15 22:55:12] 899*2^1426400-1 is not prime. Res64: C496A4B2F6E9748E Time : 0.0 sec. user=mdettweiler [2016-04-15 22:55:13] 637*2^1426401-1 is not prime. Res64: F2215A545276269D Time : 0.0 sec. user=mdettweiler [2016-04-15 23:11:20] 741*2^1426401-1 is not prime. Res64: A6A34113885DCA6E Time : 0.0 sec. user=mdettweiler [2016-04-15 23:11:21] 969*2^1426401-1 is not prime. Res64: 48368F9731F8678C Time : 0.0 sec. user=mdettweiler [2016-04-15 23:11:21] 603*2^1426402-1 is not prime. Res64: FCEB0488CE6127EF Time : 0.0 sec. user=mdettweiler [2016-04-15 23:11:21] 635*2^1426402-1 is not prime. Res64: 4F954F08E72483C8 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:11:22] 831*2^1426402-1 is not prime. Res64: 9E0DEFF06FD83680 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:26:42] 987*2^1426402-1 is not prime. Res64: 5CBABB3676F5A90F Time : 0.0 sec. user=mdettweiler [2016-04-15 23:26:42] 995*2^1426402-1 is not prime. Res64: 0FBBEE74CE152CF9 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:26:42] 619*2^1426403-1 is not prime. Res64: 37F628D2105F9ECB Time : 0.0 sec. user=mdettweiler [2016-04-15 23:26:43] 705*2^1426403-1 is not prime. Res64: 81B0A2DE3AFFCA02 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:26:43] 969*2^1426403-1 is not prime. Res64: 0FA763ED50C5BBBD Time : 0.0 sec. user=mdettweiler [2016-04-15 23:27:38] 605*2^1426404-1 is not prime. Res64: 35110CB0E97E7E2A Time : 0.0 sec. user=mdettweiler [2016-04-15 23:27:38] 629*2^1426404-1 is not prime. Res64: AABD46BB4BE07A89 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:27:39] 663*2^1426404-1 is not prime. Res64: 68D2C644229463E0 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:27:39] 795*2^1426404-1 is not prime. Res64: 73B3047B20A336C3 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:27:40] 857*2^1426404-1 is not prime. Res64: F11ED2E400EA8072 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:40:04] 619*2^1426405-1 is not prime. Res64: 9C30490F6261DA84 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:40:05] 751*2^1426405-1 is not prime. Res64: F89AA1E7FD59FE76 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:40:05] 777*2^1426405-1 is not prime. Res64: 1168E8807E107C25 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:40:06] 801*2^1426405-1 is not prime. Res64: 00FED68D61BC036F Time : 0.0 sec. user=mdettweiler [2016-04-15 23:40:06] 895*2^1426405-1 is not prime. Res64: F6DCAABBFCA6A675 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:56:03] 987*2^1426405-1 is not prime. Res64: 1CF44B1DBF692130 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:56:04] 617*2^1426406-1 is not prime. Res64: 91767BF508418880 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:56:04] 707*2^1426406-1 is not prime. Res64: 13DE559A35A793D0 Time : 0.0 sec. user=mdettweiler [2016-04-15 23:56:05] 887*2^1426406-1 is not prime. Res64: B7FFB57E498D21CF Time : 0.0 sec. user=mdettweiler [2016-04-15 23:56:05] 903*2^1426406-1 is not prime. Res64: A7422B25F6F17A17 Time : 0.0 sec.