user=mdettweiler [2015-02-01 00:06:50] 825*2^1390058-1 is not prime. Res64: 2E6509E1F5392AD9 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:06:51] 833*2^1390058-1 is not prime. Res64: 7A307FFA0348116F Time : 0.0 sec. user=mdettweiler [2015-02-01 00:07:45] 963*2^1390058-1 is not prime. Res64: 4DECA7B4AF6ACAC4 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:07:45] 971*2^1390058-1 is not prime. Res64: 97153FF1BABBAF1B Time : 0.0 sec. user=mdettweiler [2015-02-01 00:13:45] 705*2^1390059-1 is not prime. Res64: DD104DE48915F579 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:13:45] 711*2^1390059-1 is not prime. Res64: D008C8CB23CB47BF Time : 0.0 sec. user=mdettweiler [2015-02-01 00:16:53] 745*2^1390059-1 is not prime. Res64: 2CD3AF7C5DE8D011 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:16:53] 775*2^1390059-1 is not prime. Res64: 01C0E31A11AA0B37 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:36:28] 795*2^1390059-1 is not prime. Res64: 99F904F8D45A6F8B Time : 0.0 sec. user=mdettweiler [2015-02-01 00:36:28] 605*2^1390060-1 is not prime. Res64: 231EB71CF7FDF69D Time : 0.0 sec. user=mdettweiler [2015-02-01 00:36:29] 609*2^1390060-1 is not prime. Res64: 092B721EBD7A5A36 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:36:29] 975*2^1390059-1 is not prime. Res64: FE7BCA7BED187D15 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:42:20] 665*2^1390060-1 is not prime. Res64: 694D70EB2959E837 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:42:21] 819*2^1390060-1 is not prime. Res64: A6F73B44E932CC74 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:44:52] 825*2^1390060-1 is not prime. Res64: C432895308569883 Time : 0.0 sec. user=mdettweiler [2015-02-01 00:44:52] 857*2^1390060-1 is not prime. Res64: 1B6A6DD850BD96EB Time : 0.0 sec. user=mdettweiler [2015-02-01 01:02:20] 875*2^1390060-1 is not prime. Res64: 576CDF61691E201C Time : 0.0 sec. user=mdettweiler [2015-02-01 01:02:22] 727*2^1390061-1 is not prime. Res64: 01EAACA6C75597E1 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:02:26] 781*2^1390061-1 is not prime. Res64: 66939A1DD7E57DEA Time : 0.0 sec. user=mdettweiler [2015-02-01 01:02:28] 867*2^1390061-1 is not prime. Res64: 2FB88D67A63AB8DA Time : 0.0 sec. user=mdettweiler [2015-02-01 01:08:31] 901*2^1390061-1 is not prime. Res64: FDBCA6642CC20924 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:08:32] 651*2^1390062-1 is not prime. Res64: 11EDAEEB8E49FA7C Time : 0.0 sec. user=mdettweiler [2015-02-01 01:10:59] 683*2^1390062-1 is not prime. Res64: A73337CC92EC510C Time : 0.0 sec. user=mdettweiler [2015-02-01 01:11:00] 713*2^1390062-1 is not prime. Res64: 0834464A510B5216 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:29:11] 893*2^1390062-1 is not prime. Res64: 0A4E4F7BE8CCDEA6 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:29:13] 603*2^1390063-1 is not prime. Res64: 92ABBAD3A3F8BB34 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:29:18] 717*2^1390062-1 is not prime. Res64: 1CCF37B5E2A4F0E6 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:29:20] 791*2^1390062-1 is not prime. Res64: 24697134E811E367 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:34:23] 615*2^1390063-1 is not prime. Res64: E8758D9C2197413E Time : 0.0 sec. user=mdettweiler [2015-02-01 01:34:23] 745*2^1390063-1 is not prime. Res64: E85781163701A2EA Time : 0.0 sec. user=mdettweiler [2015-02-01 01:36:47] 763*2^1390063-1 is not prime. Res64: B9FA4D8D311BFFA0 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:36:47] 769*2^1390063-1 is not prime. Res64: 32B517688DF1DBA8 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:55:19] 859*2^1390063-1 is not prime. Res64: DCED0BB5A4CA398A Time : 0.0 sec. user=mdettweiler [2015-02-01 01:55:20] 951*2^1390063-1 is not prime. Res64: CDDDA9BAC4D39523 Time : 0.0 sec. user=mdettweiler [2015-02-01 01:55:26] 609*2^1390064-1 is not prime. Res64: 2FE674E5E8FBBDFC Time : 0.0 sec. user=mdettweiler [2015-02-01 01:55:26] 659*2^1390064-1 is not prime. Res64: FD328A7BEF36315E Time : 0.0 sec. user=mdettweiler [2015-02-01 02:00:19] 677*2^1390064-1 is not prime. Res64: 28C87F189F9D1515 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:00:20] 825*2^1390064-1 is not prime. Res64: BE82560CA70C33F9 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:02:31] 843*2^1390064-1 is not prime. Res64: 36E961C7D9779513 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:02:32] 993*2^1390064-1 is not prime. Res64: DEC2E7C453CBB4A9 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:21:06] 649*2^1390065-1 is not prime. Res64: 3430B1690A44808D Time : 0.0 sec. user=mdettweiler [2015-02-01 02:21:06] 721*2^1390065-1 is not prime. Res64: 1EE6AA869B47D4B1 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:21:09] 751*2^1390065-1 is not prime. Res64: 511DB1C9EE8B10E8 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:21:09] 915*2^1390065-1 is not prime. Res64: 7A707441C6594AC9 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:26:14] 657*2^1390066-1 is not prime. Res64: 0E672E10046A39A7 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:26:14] 675*2^1390066-1 is not prime. Res64: 1CE81A28F1FEC23A Time : 0.0 sec. user=mdettweiler [2015-02-01 02:28:20] 747*2^1390066-1 is not prime. Res64: F63C7908A2E4BE86 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:28:21] 755*2^1390066-1 is not prime. Res64: 1EA5533330CE056C Time : 0.0 sec. user=mdettweiler [2015-02-01 02:46:45] 833*2^1390066-1 is not prime. Res64: 963BFE1033E45479 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:46:45] 911*2^1390066-1 is not prime. Res64: 795229DFD262D3F6 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:46:52] 971*2^1390066-1 is not prime. Res64: F0A4745A20978F36 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:46:52] 615*2^1390067-1 is not prime. Res64: 03909D568C982DD2 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:52:02] 669*2^1390067-1 is not prime. Res64: 8BF9CBDF5656DA24 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:52:02] 775*2^1390067-1 is not prime. Res64: 80EDA119D39A156D Time : 0.0 sec. user=mdettweiler [2015-02-01 02:54:11] 801*2^1390067-1 is not prime. Res64: 525E74B1A2FCCAB1 Time : 0.0 sec. user=mdettweiler [2015-02-01 02:54:11] 841*2^1390067-1 is not prime. Res64: 06EF384FA7514A98 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:13:24] 915*2^1390067-1 is not prime. Res64: 1373E238FC3AFA94 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:13:24] 981*2^1390067-1 is not prime. Res64: D8C475F469A59202 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:13:24] 955*2^1390067-1 is not prime. Res64: B9942C4D5FE657DE Time : 0.0 sec. user=mdettweiler [2015-02-01 03:13:25] 765*2^1390068-1 is not prime. Res64: 94EA9CB82733ACFB Time : 0.0 sec. user=mdettweiler [2015-02-01 03:18:22] 797*2^1390068-1 is not prime. Res64: 65E1AB1AB6397F95 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:18:22] 843*2^1390068-1 is not prime. Res64: 4FE21E303F156609 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:20:31] 927*2^1390068-1 is not prime. Res64: 16034EF9FDBAF7E8 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:20:31] 929*2^1390068-1 is not prime. Res64: 6EDD8DE6BB4ECF3F Time : 0.0 sec. user=mdettweiler [2015-02-01 03:39:04] 999*2^1390068-1 is not prime. Res64: 3EE0201CBBAB45AC Time : 0.0 sec. user=mdettweiler [2015-02-01 03:39:06] 615*2^1390069-1 is not prime. Res64: B18AE33621E6C788 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:39:10] 933*2^1390068-1 is not prime. Res64: CFE13A757DA15B5B Time : 0.0 sec. user=mdettweiler [2015-02-01 03:39:12] 975*2^1390068-1 is not prime. Res64: 36DB43AF68037421 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:43:58] 817*2^1390069-1 is not prime. Res64: 356256363B4EBA8C Time : 0.0 sec. user=mdettweiler [2015-02-01 03:43:59] 877*2^1390069-1 is not prime. Res64: 54284FC2C535F4A8 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:46:05] 605*2^1390070-1 is not prime. Res64: F277656151A1D969 Time : 0.0 sec. user=mdettweiler [2015-02-01 03:46:06] 641*2^1390070-1 is not prime. Res64: 24876C16F1E05F1A Time : 0.0 sec. user=mdettweiler [2015-02-01 04:05:05] 827*2^1390070-1 is not prime. Res64: 0BCAF311B1F4E820 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:05:06] 867*2^1390070-1 is not prime. Res64: C5232C7BDC784B7C Time : 0.0 sec. user=mdettweiler [2015-02-01 04:05:11] 923*2^1390070-1 is not prime. Res64: 7499738C62BC3842 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:05:13] 621*2^1390071-1 is not prime. Res64: 5B38662926DACB77 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:09:53] 625*2^1390071-1 is not prime. Res64: 4844FB4B4A1FE99E Time : 0.0 sec. user=mdettweiler [2015-02-01 04:09:53] 723*2^1390071-1 is not prime. Res64: 51D93246332B75CF Time : 0.0 sec. user=mdettweiler [2015-02-01 04:12:57] 793*2^1390071-1 is not prime. Res64: DD3E260FAEB55ACA Time : 0.0 sec. user=mdettweiler [2015-02-01 04:12:57] 979*2^1390071-1 is not prime. Res64: DF330E715FA1D324 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:32:29] 645*2^1390072-1 is not prime. Res64: 6E4E4BBB93FE026C Time : 0.0 sec. user=mdettweiler [2015-02-01 04:32:29] 657*2^1390072-1 is not prime. Res64: 45F6AEE802BBADCD Time : 0.0 sec. user=mdettweiler [2015-02-01 04:32:56] 665*2^1390072-1 is not prime. Res64: BB386300077C44CA Time : 0.0 sec. user=mdettweiler [2015-02-01 04:32:56] 797*2^1390072-1 is not prime. Res64: 4FE895D2A1689E28 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:37:14] 807*2^1390072-1 is not prime. Res64: D70C63E52D278B7A Time : 0.0 sec. user=mdettweiler [2015-02-01 04:37:15] 833*2^1390072-1 is not prime. Res64: 5F207043ACFE3D6B Time : 0.0 sec. user=mdettweiler [2015-02-01 04:40:00] 983*2^1390072-1 is not prime. Res64: 31D0F6EE3BA0147F Time : 0.0 sec. user=mdettweiler [2015-02-01 04:40:00] 627*2^1390073-1 is not prime. Res64: 96FEC9B23F2CCF8B Time : 0.0 sec. user=mdettweiler [2015-02-01 04:58:36] 705*2^1390073-1 is not prime. Res64: E0D74F03009084E4 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:58:37] 967*2^1390073-1 is not prime. Res64: D2FC4C064F33105D Time : 0.0 sec. user=mdettweiler [2015-02-01 04:58:45] 681*2^1390074-1 is not prime. Res64: CCE1F3BD61957238 Time : 0.0 sec. user=mdettweiler [2015-02-01 04:58:45] 741*2^1390074-1 is not prime. Res64: 496E4D8F8258825D Time : 0.0 sec. user=mdettweiler [2015-02-01 05:03:02] 791*2^1390074-1 is not prime. Res64: 660F7EC9055C519D Time : 0.0 sec. user=mdettweiler [2015-02-01 05:03:03] 881*2^1390074-1 is not prime. Res64: 4D7A098CA0F79B00 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:05:49] 983*2^1390074-1 is not prime. Res64: AD3963731667ED1D Time : 0.0 sec. user=mdettweiler [2015-02-01 05:05:49] 993*2^1390074-1 is not prime. Res64: E850F87A16484508 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:24:12] 693*2^1390075-1 is not prime. Res64: DABC1D9ACD9B24D9 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:24:13] 733*2^1390075-1 is not prime. Res64: 7E144A31D9243C69 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:24:19] 735*2^1390075-1 is not prime. Res64: 1FBF655A38E6E32D Time : 0.0 sec. user=mdettweiler [2015-02-01 05:24:20] 859*2^1390075-1 is not prime. Res64: 55C24885FB2118A2 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:28:49] 909*2^1390075-1 is not prime. Res64: 43179684D5904D7E Time : 0.0 sec. user=mdettweiler [2015-02-01 05:28:49] 985*2^1390075-1 is not prime. Res64: 14F23D05239B858D Time : 0.0 sec. user=mdettweiler [2015-02-01 05:31:23] 633*2^1390076-1 is not prime. Res64: 8E6418590F0C0E53 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:31:24] 827*2^1390076-1 is not prime. Res64: 0BD8F75422497E54 Time : 0.0 sec. user=juhehe [2015-02-01 05:45:24] 999*2^1390075-1 is not prime. Res64: 5C35471E0AB17597 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:49:47] 897*2^1390076-1 is not prime. Res64: 083EE081551CD14F Time : 0.0 sec. user=mdettweiler [2015-02-01 05:49:47] 909*2^1390076-1 is not prime. Res64: 5975501F7930B69C Time : 0.0 sec. user=mdettweiler [2015-02-01 05:49:49] 945*2^1390076-1 is not prime. Res64: C9188480F874E19A Time : 0.0 sec. user=mdettweiler [2015-02-01 05:49:50] 609*2^1390077-1 is not prime. Res64: 2037C9E827AEAADF Time : 0.0 sec. user=mdettweiler [2015-02-01 05:54:24] 625*2^1390077-1 is not prime. Res64: C0B1AD78CB1F06F5 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:54:24] 825*2^1390077-1 is not prime. Res64: 45DA3F9851BDB58B Time : 0.0 sec. user=mdettweiler [2015-02-01 05:56:53] 837*2^1390077-1 is not prime. Res64: 66543955EF7D2E28 Time : 0.0 sec. user=mdettweiler [2015-02-01 05:56:54] 865*2^1390077-1 is not prime. Res64: 929B79310407CF96 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:15:26] 889*2^1390077-1 is not prime. Res64: 80724CF9BB6D6231 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:15:27] 937*2^1390077-1 is not prime. Res64: 8A8773E272EC629E Time : 0.0 sec. user=mdettweiler [2015-02-01 06:15:30] 657*2^1390078-1 is not prime. Res64: BA5115D780C8C8E1 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:15:30] 761*2^1390078-1 is not prime. Res64: 61E8CE5B8E979787 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:20:13] 831*2^1390078-1 is not prime. Res64: 6B40CDC736E4CCC5 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:20:14] 933*2^1390078-1 is not prime. Res64: 438DEDE0A7C5957B Time : 0.0 sec. user=mdettweiler [2015-02-01 06:22:27] 753*2^1390079-1 is not prime. Res64: 0E1786D65161EF8E Time : 0.0 sec. user=mdettweiler [2015-02-01 06:22:27] 799*2^1390079-1 is not prime. Res64: FD2CE66E655F55A6 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:41:00] 843*2^1390079-1 is not prime. Res64: E67EA4528B5E5940 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:41:00] 991*2^1390079-1 is not prime. Res64: 883CC5AF87DEC6A7 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:41:06] 627*2^1390080-1 is not prime. Res64: 08BF7D6C9A67D8BE Time : 0.0 sec. user=mdettweiler [2015-02-01 06:41:07] 665*2^1390080-1 is not prime. Res64: E72D4694610ED35E Time : 0.0 sec. user=mdettweiler [2015-02-01 06:45:44] 695*2^1390080-1 is not prime. Res64: E2983BF1875E5289 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:45:45] 707*2^1390080-1 is not prime. Res64: 9D30243343772458 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:48:06] 789*2^1390080-1 is not prime. Res64: 14AB4F98FD4568A7 Time : 0.0 sec. user=mdettweiler [2015-02-01 06:48:06] 809*2^1390080-1 is not prime. Res64: 475E256701DD77A8 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:06:39] 747*2^1390081-1 is not prime. Res64: CCF76B1B71D021CE Time : 0.0 sec. user=mdettweiler [2015-02-01 07:06:40] 771*2^1390081-1 is not prime. Res64: 6705D11E0735FE7A Time : 0.0 sec. user=mdettweiler [2015-02-01 07:06:43] 819*2^1390080-1 is not prime. Res64: 4BEE1B4BCE7D149F Time : 0.0 sec. user=mdettweiler [2015-02-01 07:06:43] 717*2^1390081-1 is not prime. Res64: 09AB6DCAC2CBA379 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:11:17] 789*2^1390081-1 is not prime. Res64: 47733F525D7A9B41 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:11:18] 801*2^1390081-1 is not prime. Res64: 5E78A1C9BAA69023 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:13:39] 957*2^1390081-1 is not prime. Res64: 494C63911FF77FD4 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:13:39] 975*2^1390081-1 is not prime. Res64: DEE2F1C11C2CF25F Time : 0.0 sec. user=mdettweiler [2015-02-01 07:32:24] 997*2^1390081-1 is not prime. Res64: 3BF84B4C19905AD2 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:32:24] 603*2^1390082-1 is not prime. Res64: 2B1EA5C674D9C42C Time : 0.0 sec. user=mdettweiler [2015-02-01 07:32:26] 683*2^1390082-1 is not prime. Res64: 91FACE1A2BBD093B Time : 0.0 sec. user=mdettweiler [2015-02-01 07:32:26] 785*2^1390082-1 is not prime. Res64: E0AE9C2FB65666BD Time : 0.0 sec. user=mdettweiler [2015-02-01 07:37:04] 827*2^1390082-1 is not prime. Res64: 1D7C2D63FF46EAA4 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:37:04] 951*2^1390082-1 is not prime. Res64: B6641E09CF4F6868 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:39:22] 781*2^1390083-1 is not prime. Res64: 28195F1592C55E54 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:39:22] 835*2^1390083-1 is not prime. Res64: 72354F0BDB2349C8 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:57:56] 943*2^1390083-1 is not prime. Res64: 05DFDF736D43CA9F Time : 0.0 sec. user=mdettweiler [2015-02-01 07:57:57] 639*2^1390084-1 is not prime. Res64: 5B4F501E7E5D1625 Time : 0.0 sec. user=mdettweiler [2015-02-01 07:57:59] 665*2^1390084-1 is not prime. Res64: 4A0810A94FCAB56F Time : 0.0 sec. user=mdettweiler [2015-02-01 07:57:59] 675*2^1390084-1 is not prime. Res64: E3932E62DDCBC51A Time : 0.0 sec. user=mdettweiler [2015-02-01 08:02:39] 687*2^1390084-1 is not prime. Res64: 1BDD3C3FD4A337F8 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:02:41] 705*2^1390084-1 is not prime. Res64: E9E6B7F21E6CF648 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:04:56] 743*2^1390084-1 is not prime. Res64: EFD10262635BE9EC Time : 0.0 sec. user=mdettweiler [2015-02-01 08:04:57] 927*2^1390084-1 is not prime. Res64: 6EA647893845574A Time : 0.0 sec. user=mdettweiler [2015-02-01 08:23:45] 619*2^1390085-1 is not prime. Res64: BE2E95EF9D833363 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:23:45] 929*2^1390084-1 is not prime. Res64: 9AE94A9A1B0EFD86 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:23:45] 645*2^1390085-1 is not prime. Res64: 06EB9C379E0AF813 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:23:45] 947*2^1390084-1 is not prime. Res64: 589DA9A7FF9A85DB Time : 0.0 sec. user=mdettweiler [2015-02-01 08:28:24] 685*2^1390085-1 is not prime. Res64: DB9674D87258E413 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:28:24] 721*2^1390085-1 is not prime. Res64: A66A8F114DE1438A Time : 0.0 sec. user=mdettweiler [2015-02-01 08:30:38] 741*2^1390085-1 is not prime. Res64: 1098C75DB3EEC012 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:30:39] 787*2^1390085-1 is not prime. Res64: 780E9E501D1A1EFB Time : 0.0 sec. user=mdettweiler [2015-02-01 08:49:18] 855*2^1390085-1 is not prime. Res64: 7AFC43D503762C67 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:49:18] 859*2^1390085-1 is not prime. Res64: 9B1196BFDEE6D83E Time : 0.0 sec. user=mdettweiler [2015-02-01 08:49:20] 957*2^1390085-1 is not prime. Res64: 8F58118619BAB76F Time : 0.0 sec. user=mdettweiler [2015-02-01 08:49:21] 987*2^1390085-1 is not prime. Res64: 961E6B781087BDC0 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:53:55] 627*2^1390086-1 is not prime. Res64: 9994C62373F16749 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:53:55] 683*2^1390086-1 is not prime. Res64: 08F8EF240812FD75 Time : 0.0 sec. user=mdettweiler [2015-02-01 08:56:15] 713*2^1390086-1 is not prime. Res64: 37030EE74F7DB7BB Time : 0.0 sec. user=mdettweiler [2015-02-01 08:56:16] 717*2^1390086-1 is not prime. Res64: B50E0702B1BDB9E8 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:14:48] 843*2^1390086-1 is not prime. Res64: 3DDE94E0F2369BA8 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:14:49] 923*2^1390086-1 is not prime. Res64: 534E5473D18BFE3C Time : 0.0 sec. user=mdettweiler [2015-02-01 09:14:56] 941*2^1390086-1 is not prime. Res64: CD9186DA55ED6AF7 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:14:57] 971*2^1390086-1 is not prime. Res64: 3111B469BF8EF12D Time : 0.0 sec. user=mdettweiler [2015-02-01 09:19:26] 1001*2^1390086-1 is not prime. Res64: BD80864161526EA2 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:19:26] 615*2^1390087-1 is not prime. Res64: 521238AA09F0CAE7 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:21:50] 685*2^1390087-1 is not prime. Res64: 579ABE4369C9411C Time : 0.0 sec. user=mdettweiler [2015-02-01 09:21:51] 871*2^1390087-1 is not prime. Res64: F0C7F69F597DE9B0 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:40:20] 919*2^1390087-1 is not prime. Res64: BDF9CA00AB1DE3CE Time : 0.0 sec. user=mdettweiler [2015-02-01 09:40:20] 623*2^1390088-1 is not prime. Res64: 5FBB2D5595C7808B Time : 0.0 sec. user=mdettweiler [2015-02-01 09:40:28] 789*2^1390088-1 is not prime. Res64: 97082589B8D61615 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:40:29] 869*2^1390088-1 is not prime. Res64: 533DE3AB37934709 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:45:09] 661*2^1390089-1 is not prime. Res64: 3738FCD195D1A035 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:45:09] 695*2^1390090-1 is not prime. Res64: D2763CD3812C0F00 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:47:28] 723*2^1390090-1 is not prime. Res64: 45E23501363275B0 Time : 0.0 sec. user=mdettweiler [2015-02-01 09:47:29] 735*2^1390090-1 is not prime. Res64: E86DEC5CF15E2F94 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:05:57] 603*2^1390091-1 is not prime. Res64: F6D796A8E9C1D58D Time : 0.0 sec. user=mdettweiler [2015-02-01 10:05:57] 679*2^1390091-1 is not prime. Res64: CC952327C702271E Time : 0.0 sec. user=mdettweiler [2015-02-01 10:05:59] 825*2^1390090-1 is not prime. Res64: 1D7C629246CC284C Time : 0.0 sec. user=mdettweiler [2015-02-01 10:05:59] 995*2^1390090-1 is not prime. Res64: 958A11BCF4EB761D Time : 0.0 sec. user=mdettweiler [2015-02-01 10:10:45] 705*2^1390091-1 is not prime. Res64: B6157365817DFB8E Time : 0.0 sec. user=mdettweiler [2015-02-01 10:10:46] 735*2^1390091-1 is not prime. Res64: 2F97F64CF43B3031 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:13:00] 825*2^1390091-1 is not prime. Res64: 6DEE320CE8EDEDA7 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:13:01] 855*2^1390091-1 is not prime. Res64: 2579D93D788E4254 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:31:30] 859*2^1390091-1 is not prime. Res64: 0F93817095AB0C6B Time : 0.0 sec. user=mdettweiler [2015-02-01 10:31:31] 943*2^1390091-1 is not prime. Res64: E0F414876FD27D3F Time : 0.0 sec. user=mdettweiler [2015-02-01 10:31:41] 605*2^1390092-1 is not prime. Res64: 35BB82C1072A2772 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:31:41] 635*2^1390092-1 is not prime. Res64: 5AAA0E81219E0EF7 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:36:16] 669*2^1390092-1 is not prime. Res64: 371D7BB6172CF435 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:36:16] 675*2^1390092-1 is not prime. Res64: B67127667CAE7124 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:38:35] 693*2^1390092-1 is not prime. Res64: 52DD4A89C7BEF1E4 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:38:35] 699*2^1390092-1 is not prime. Res64: C3D2BE5DC75EA582 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:57:06] 749*2^1390092-1 is not prime. Res64: F582D9A8980282CB Time : 0.0 sec. user=mdettweiler [2015-02-01 10:57:07] 777*2^1390092-1 is not prime. Res64: 410D76DE9709FFCC Time : 0.0 sec. user=mdettweiler [2015-02-01 10:57:15] 873*2^1390092-1 is not prime. Res64: 7C217536A2BCADC3 Time : 0.0 sec. user=mdettweiler [2015-02-01 10:57:15] 887*2^1390092-1 is not prime. Res64: 1D4685534B437666 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:01:46] 899*2^1390092-1 is not prime. Res64: 8898AA1102CCF6BD Time : 0.0 sec. user=mdettweiler [2015-02-01 11:01:47] 903*2^1390092-1 is not prime. Res64: 5E92F946C743785B Time : 0.0 sec. user=mdettweiler [2015-02-01 11:04:08] 933*2^1390092-1 is not prime. Res64: 0AC5F34512BE8B52 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:04:09] 983*2^1390092-1 is not prime. Res64: 164BBCCE918BE47B Time : 0.0 sec. user=mdettweiler [2015-02-01 11:22:55] 615*2^1390093-1 is not prime. Res64: 10E7C3E8699E1E1A Time : 0.0 sec. user=mdettweiler [2015-02-01 11:22:55] 675*2^1390093-1 is not prime. Res64: 24B4F8F02ADC2172 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:23:01] 715*2^1390093-1 is not prime. Res64: 68A50E5EEE34DE16 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:23:01] 745*2^1390093-1 is not prime. Res64: 58A9278292DD9704 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:27:54] 747*2^1390093-1 is not prime. Res64: BDA71B5EB0CF783D Time : 0.0 sec. user=mdettweiler [2015-02-01 11:27:54] 855*2^1390093-1 is not prime. Res64: 59D0C1E9155E4C25 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:31:40] 961*2^1390093-1 is not prime. Res64: CB0A4BFF334477DE Time : 0.0 sec. user=mdettweiler [2015-02-01 11:31:40] 651*2^1390094-1 is not prime. Res64: 0D7EE724CA6775D0 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:55:58] 825*2^1390094-1 is not prime. Res64: FA9026D7EE59AFA9 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:55:59] 885*2^1390094-1 is not prime. Res64: 62E6BD7A469139F2 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:56:38] 923*2^1390094-1 is not prime. Res64: E36D061FBA1FF359 Time : 0.0 sec. user=mdettweiler [2015-02-01 11:56:38] 953*2^1390094-1 is not prime. Res64: DCE634F9C47C41D0 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:02:05] 993*2^1390094-1 is not prime. Res64: C4CE3199452A5D70 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:02:05] 691*2^1390095-1 is not prime. Res64: C9FD8FC86B959E00 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:05:03] 751*2^1390095-1 is not prime. Res64: E5F94E54425718CB Time : 0.0 sec. user=mdettweiler [2015-02-01 12:05:04] 955*2^1390095-1 is not prime. Res64: 235748CDFCB6AB24 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:29:47] 973*2^1390095-1 is not prime. Res64: 23B877D0C9F90B84 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:29:47] 979*2^1390095-1 is not prime. Res64: 19DA8222CF43F4ED Time : 0.0 sec. user=mdettweiler [2015-02-01 12:30:28] 813*2^1390096-1 is not prime. Res64: 7D352FAE15C2895A Time : 0.0 sec. user=mdettweiler [2015-02-01 12:30:28] 833*2^1390096-1 is not prime. Res64: AA5A857FFE2C08D6 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:37:00] 839*2^1390096-1 is not prime. Res64: CADB25002B09AB8F Time : 0.0 sec. user=mdettweiler [2015-02-01 12:37:00] 909*2^1390096-1 is not prime. Res64: 7D673BB4BA1BCF4E Time : 0.0 sec. user=mdettweiler [2015-02-01 12:39:42] 969*2^1390096-1 is not prime. Res64: 41EBD7765DBF1726 Time : 0.0 sec. user=mdettweiler [2015-02-01 12:39:42] 747*2^1390097-1 is not prime. Res64: 32085C1529A36AE4 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:07:01] 889*2^1390097-1 is not prime. Res64: EA53B752A5C28AB4 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:07:02] 901*2^1390097-1 is not prime. Res64: EC1A8267029B85FA Time : 0.0 sec. user=mdettweiler [2015-02-01 13:08:10] 949*2^1390097-1 is not prime. Res64: E5DB8E89C8C8D7D7 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:08:10] 997*2^1390097-1 is not prime. Res64: CC614D18585CB3AB Time : 0.0 sec. user=mdettweiler [2015-02-01 13:13:33] 611*2^1390098-1 is not prime. Res64: E42EA9C18FD32925 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:13:33] 663*2^1390098-1 is not prime. Res64: 276B630723DF1871 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:16:38] 725*2^1390098-1 is not prime. Res64: 7D0A0E1E508F333F Time : 0.0 sec. user=mdettweiler [2015-02-01 13:16:38] 737*2^1390098-1 is not prime. Res64: E5B468A4C6C88B7C Time : 0.0 sec. user=mdettweiler [2015-02-01 13:43:12] 963*2^1390098-1 is not prime. Res64: 6A6BECF9F8915F79 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:43:13] 619*2^1390099-1 is not prime. Res64: B2FA106F26F4BF7D Time : 0.0 sec. user=mdettweiler [2015-02-01 13:44:45] 663*2^1390099-1 is not prime. Res64: 9E857B968C756B0F Time : 0.0 sec. user=mdettweiler [2015-02-01 13:44:45] 693*2^1390099-1 is not prime. Res64: FE47FE60D594E9F3 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:50:31] 765*2^1390099-1 is not prime. Res64: 23F4CBCA4744D83A Time : 0.0 sec. user=mdettweiler [2015-02-01 13:50:32] 793*2^1390099-1 is not prime. Res64: 7B64994C05CBB5DD Time : 0.0 sec. user=mdettweiler [2015-02-01 13:53:49] 909*2^1390099-1 is not prime. Res64: F13D3653A8309A49 Time : 0.0 sec. user=mdettweiler [2015-02-01 13:53:49] 973*2^1390099-1 is not prime. Res64: C22573AA4BFE29E1 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:19:24] 993*2^1390099-1 is not prime. Res64: 23B2F4D0EC100CEA Time : 0.0 sec. user=mdettweiler [2015-02-01 14:19:25] 609*2^1390100-1 is not prime. Res64: 036886C30938302D Time : 0.0 sec. user=mdettweiler [2015-02-01 14:21:28] 785*2^1390100-1 is not prime. Res64: 1D389A1257A1FE99 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:21:28] 789*2^1390100-1 is not prime. Res64: FC4462797E538500 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:27:06] 639*2^1390101-1 is not prime. Res64: 02AA72F6880C066E Time : 0.0 sec. user=mdettweiler [2015-02-01 14:27:06] 829*2^1390101-1 is not prime. Res64: CBE1EE198573BEA6 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:30:00] 847*2^1390101-1 is not prime. Res64: 763FE112154EA8F3 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:30:01] 895*2^1390101-1 is not prime. Res64: 6393202344EA0D14 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:49:35] 987*2^1390101-1 is not prime. Res64: 67A101EA3BD667DE Time : 0.0 sec. user=mdettweiler [2015-02-01 14:49:36] 617*2^1390102-1 is not prime. Res64: 6F5751CC22CCDC80 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:51:06] 843*2^1390102-1 is not prime. Res64: 430A37070C85854E Time : 0.0 sec. user=mdettweiler [2015-02-01 14:51:06] 891*2^1390102-1 is not prime. Res64: EE4DA55B2FB264A4 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:55:18] 1001*2^1390102-1 is not prime. Res64: 7AB60AD056E0256D Time : 0.0 sec. user=mdettweiler [2015-02-01 14:55:18] 619*2^1390103-1 is not prime. Res64: 110AA319E32B575D Time : 0.0 sec. user=mdettweiler [2015-02-01 14:57:30] 775*2^1390103-1 is not prime. Res64: A937CC0449781692 Time : 0.0 sec. user=mdettweiler [2015-02-01 14:57:30] 885*2^1390103-1 is not prime. Res64: 5FFC222C9016C30B Time : 0.0 sec. user=mdettweiler [2015-02-01 15:16:24] 945*2^1390103-1 is not prime. Res64: BC46BCEF3220CD1E Time : 0.0 sec. user=mdettweiler [2015-02-01 15:16:25] 627*2^1390104-1 is not prime. Res64: 5F4C453F4138D735 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:18:24] 635*2^1390104-1 is not prime. Res64: 4F22A7A34F053EA0 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:18:24] 753*2^1390104-1 is not prime. Res64: 02D26C48B8F1D8F2 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:22:30] 773*2^1390104-1 is not prime. Res64: B0EC95900877ED02 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:22:30] 825*2^1390104-1 is not prime. Res64: 4F3381771BB46F01 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:24:47] 849*2^1390104-1 is not prime. Res64: 72D3E166FE2805BA Time : 0.0 sec. user=mdettweiler [2015-02-01 15:24:47] 929*2^1390104-1 is not prime. Res64: AF2E5CE2C7C623AC Time : 0.0 sec. user=mdettweiler [2015-02-01 15:43:14] 983*2^1390104-1 is not prime. Res64: 8111F583C2E167DB Time : 0.0 sec. user=mdettweiler [2015-02-01 15:43:14] 607*2^1390105-1 is not prime. Res64: FD06C034976A5BC1 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:45:03] 609*2^1390105-1 is not prime. Res64: B620B058E60FF770 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:45:04] 741*2^1390105-1 is not prime. Res64: 81EDB601A1B1F1E3 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:49:15] 771*2^1390105-1 is not prime. Res64: 1F0C10ED1BC6C9D0 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:49:16] 951*2^1390105-1 is not prime. Res64: 5E63CC52F7017000 Time : 0.0 sec. user=mdettweiler [2015-02-01 15:51:54] 987*2^1390105-1 is not prime. Res64: 537944144EECA52D Time : 0.0 sec. user=mdettweiler [2015-02-01 15:51:55] 671*2^1390106-1 is not prime. Res64: EF9F06474572E6AB Time : 0.0 sec. user=mdettweiler [2015-02-01 16:10:25] 675*2^1390106-1 is not prime. Res64: CC99D200FC0F1AA6 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:10:26] 713*2^1390106-1 is not prime. Res64: 370BABBD60F9D543 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:12:35] 801*2^1390106-1 is not prime. Res64: 929D32AF2FF044AC Time : 0.0 sec. user=mdettweiler [2015-02-01 16:12:36] 843*2^1390106-1 is not prime. Res64: C5B5713BAB0977DD Time : 0.0 sec. user=mdettweiler [2015-02-01 16:16:59] 851*2^1390106-1 is not prime. Res64: 4509DE1D8F4966FC Time : 0.0 sec. user=mdettweiler [2015-02-01 16:17:00] 633*2^1390107-1 is not prime. Res64: B63BBA3E3FEDFD5E Time : 0.0 sec. user=mdettweiler [2015-02-01 16:19:16] 801*2^1390107-1 is not prime. Res64: 92861CE70EDE9E9A Time : 0.0 sec. user=mdettweiler [2015-02-01 16:19:16] 835*2^1390107-1 is not prime. Res64: F36A52012AECC896 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:37:48] 843*2^1390107-1 is not prime. Res64: 99E7F2C9035394B2 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:37:48] 891*2^1390107-1 is not prime. Res64: 78A5FD03F3861C15 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:39:51] 603*2^1390108-1 is not prime. Res64: F8A117F62137B59C Time : 0.0 sec. user=mdettweiler [2015-02-01 16:39:51] 657*2^1390108-1 is not prime. Res64: A322098D3774858B Time : 0.0 sec. user=mdettweiler [2015-02-01 16:43:57] 663*2^1390108-1 is not prime. Res64: F69F0E606705E141 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:43:58] 813*2^1390108-1 is not prime. Res64: 29875F4FECCCCAE6 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:46:15] 825*2^1390108-1 is not prime. Res64: BFE9CBA7CAAD4792 Time : 0.0 sec. user=mdettweiler [2015-02-01 16:46:16] 855*2^1390108-1 is not prime. Res64: 6A51FCDA7430267E Time : 0.0 sec. user=mdettweiler [2015-02-01 17:04:35] 909*2^1390108-1 is not prime. Res64: 5EA94487755C2FE9 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:04:36] 953*2^1390108-1 is not prime. Res64: 0B7D365CE3BD77EC Time : 0.0 sec. user=mdettweiler [2015-02-01 17:06:32] 995*2^1390108-1 is not prime. Res64: D6C9527558852749 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:06:33] 645*2^1390109-1 is not prime. Res64: 8569A63CF04B22CA Time : 0.0 sec. user=mdettweiler [2015-02-01 17:10:27] 723*2^1390110-1 is not prime. Res64: 09FAA8F7D79CAA0C Time : 0.0 sec. user=mdettweiler [2015-02-01 17:10:28] 845*2^1390110-1 is not prime. Res64: B24F0899C13EA2FA Time : 0.0 sec. user=mdettweiler [2015-02-01 17:12:52] 861*2^1390110-1 is not prime. Res64: 32DF8C3C5C4B4883 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:12:53] 693*2^1390111-1 is not prime. Res64: 110D80A71DA0D8F0 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:31:13] 745*2^1390111-1 is not prime. Res64: 8043E14F2A27437A Time : 0.0 sec. user=mdettweiler [2015-02-01 17:31:13] 913*2^1390111-1 is not prime. Res64: 1DA9D5A414C43B25 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:32:37] 999*2^1390111-1 is not prime. Res64: 1F15D0CFA40E2013 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:32:38] 629*2^1390112-1 is not prime. Res64: 82C5324A922D2812 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:36:32] 633*2^1390112-1 is not prime. Res64: 0F3159303A4C6E31 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:36:32] 689*2^1390112-1 is not prime. Res64: 10BB444D3CADCF05 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:38:54] 693*2^1390112-1 is not prime. Res64: BABDB521365FDAE4 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:38:54] 819*2^1390112-1 is not prime. Res64: 2266AF8BA1DC3F15 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:57:53] 909*2^1390112-1 is not prime. Res64: FD644F20D74DC2BC Time : 0.0 sec. user=mdettweiler [2015-02-01 17:57:54] 999*2^1390112-1 is not prime. Res64: 225CDD16820A293C Time : 0.0 sec. user=mdettweiler [2015-02-01 17:59:04] 637*2^1390113-1 is not prime. Res64: 78BE69EA7719E8A9 Time : 0.0 sec. user=mdettweiler [2015-02-01 17:59:04] 741*2^1390113-1 is not prime. Res64: CC05870454D68B41 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:03:27] 817*2^1390113-1 is not prime. Res64: 618FB6EBCE692DDC Time : 0.0 sec. user=mdettweiler [2015-02-01 18:03:28] 837*2^1390113-1 is not prime. Res64: D8BC3484A0669C12 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:05:48] 871*2^1390113-1 is not prime. Res64: E666EB2DC55E76B3 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:05:49] 663*2^1390114-1 is not prime. Res64: 1637162B6E3FF96F Time : 0.0 sec. user=mdettweiler [2015-02-01 18:24:49] 665*2^1390114-1 is not prime. Res64: 6FE45225DA0279B4 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:24:49] 687*2^1390114-1 is not prime. Res64: 29386EC537A822C8 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:26:00] 747*2^1390114-1 is not prime. Res64: 53D6C88FB482F4A8 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:26:01] 785*2^1390114-1 is not prime. Res64: AFD902BAC8399978 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:30:20] 825*2^1390114-1 is not prime. Res64: 1BA2EAA5F27B35C0 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:30:21] 917*2^1390114-1 is not prime. Res64: EA8FEC05CE291CC8 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:32:46] 945*2^1390114-1 is not prime. Res64: 0B17FD653CD5D977 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:32:46] 983*2^1390114-1 is not prime. Res64: 7A6C36CA18BBFCA2 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:51:41] 669*2^1390116-1 is not prime. Res64: 84E442D2C53A90F2 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:51:41] 705*2^1390116-1 is not prime. Res64: BD1037229C394BAF Time : 0.0 sec. user=mdettweiler [2015-02-01 18:52:55] 759*2^1390116-1 is not prime. Res64: EAE50313A4782078 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:52:55] 825*2^1390116-1 is not prime. Res64: 8D1AD2DB59F47ED5 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:57:08] 887*2^1390116-1 is not prime. Res64: CB42171E268FDC1A Time : 0.0 sec. user=mdettweiler [2015-02-01 18:57:08] 975*2^1390116-1 is not prime. Res64: 2E4BABCD5BC50737 Time : 0.0 sec. user=mdettweiler [2015-02-01 18:59:24] 999*2^1390116-1 is not prime. Res64: E8B720037D4C35FB Time : 0.0 sec. user=mdettweiler [2015-02-01 18:59:24] 639*2^1390117-1 is not prime. Res64: F857BB650A402246 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:18:06] 729*2^1390117-1 is not prime. Res64: 7C368BE0A4BA469B Time : 0.0 sec. user=mdettweiler [2015-02-01 19:18:07] 747*2^1390117-1 is not prime. Res64: 34F206BF440F6339 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:19:22] 757*2^1390117-1 is not prime. Res64: EEB296E3A5E64096 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:19:22] 919*2^1390117-1 is not prime. Res64: DCC5ABA4B6C3A555 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:23:36] 707*2^1390118-1 is not prime. Res64: BE23D2FA274B0923 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:23:36] 755*2^1390118-1 is not prime. Res64: 4831B11D2663F3BB Time : 0.0 sec. user=mdettweiler [2015-02-01 19:25:50] 801*2^1390118-1 is not prime. Res64: 4DFF243C05AFB98B Time : 0.0 sec. user=mdettweiler [2015-02-01 19:25:50] 827*2^1390118-1 is not prime. Res64: 5A7C73BDB0F1559C Time : 0.0 sec. user=juhehe [2015-02-01 19:31:27] 717*2^1390117-1 is not prime. Res64: 1DAD879C33B360DC Time : 0.0 sec. user=mdettweiler [2015-02-01 19:44:19] 885*2^1390118-1 is not prime. Res64: 4C99EFF80D676EA8 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:44:19] 915*2^1390118-1 is not prime. Res64: A7785B625EECFB17 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:45:31] 971*2^1390118-1 is not prime. Res64: 56E6452D7AA82123 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:45:32] 679*2^1390119-1 is not prime. Res64: 18BA284FD4DFDCF3 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:49:45] 703*2^1390119-1 is not prime. Res64: C0D6C6FC8F012FF9 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:49:46] 741*2^1390119-1 is not prime. Res64: 8B97CFB7F2E9FD9A Time : 0.0 sec. user=mdettweiler [2015-02-01 19:52:02] 885*2^1390119-1 is not prime. Res64: 03D8DDE9BDAE2492 Time : 0.0 sec. user=mdettweiler [2015-02-01 19:52:02] 949*2^1390119-1 is not prime. Res64: 938DEF570CDCE892 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:10:31] 951*2^1390119-1 is not prime. Res64: 1B281A11469D4B23 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:10:31] 623*2^1390120-1 is not prime. Res64: 0A081D214E2FDAD8 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:11:56] 663*2^1390120-1 is not prime. Res64: 908DD43CAD61FCD3 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:11:57] 765*2^1390120-1 is not prime. Res64: CD2D417458DBB560 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:15:57] 777*2^1390120-1 is not prime. Res64: 901B00CD2907D69A Time : 0.0 sec. user=mdettweiler [2015-02-01 20:15:58] 843*2^1390120-1 is not prime. Res64: 0686FD094452D9F9 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:18:16] 607*2^1390121-1 is not prime. Res64: AC79AF19969D5256 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:18:16] 657*2^1390121-1 is not prime. Res64: 566C636CE40E2951 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:36:42] 741*2^1390121-1 is not prime. Res64: 71BB295C9D1FEE2E Time : 0.0 sec. user=mdettweiler [2015-02-01 20:36:43] 799*2^1390121-1 is not prime. Res64: 8EC9A9439180F55F Time : 0.0 sec. user=mdettweiler [2015-02-01 20:38:07] 811*2^1390121-1 is not prime. Res64: CD5357E6823B02C7 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:38:07] 865*2^1390121-1 is not prime. Res64: D465A47435D8ACB6 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:42:11] 879*2^1390121-1 is not prime. Res64: 03F4538D0E161425 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:42:11] 945*2^1390121-1 is not prime. Res64: 30ADD72D29337681 Time : 0.0 sec. user=mdettweiler [2015-02-01 20:44:25] 681*2^1390122-1 is not prime. Res64: 20478840D361155C Time : 0.0 sec. user=mdettweiler [2015-02-01 20:44:25] 705*2^1390122-1 is not prime. Res64: F7A5D459C4906B22 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:03:00] 725*2^1390122-1 is not prime. Res64: D4B27975C2F8CAA9 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:03:01] 765*2^1390122-1 is not prime. Res64: 7EAA8A176CB990A0 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:04:26] 867*2^1390122-1 is not prime. Res64: 9CBFEAE70FD7847F Time : 0.0 sec. user=mdettweiler [2015-02-01 21:04:27] 975*2^1390122-1 is not prime. Res64: CB9A6BD5D2DC4A77 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:08:31] 703*2^1390123-1 is not prime. Res64: 883552040116B0C3 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:08:31] 745*2^1390123-1 is not prime. Res64: B68AB53899C874E0 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:10:40] 793*2^1390123-1 is not prime. Res64: 9CEBC2407E1172F3 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:10:41] 915*2^1390123-1 is not prime. Res64: A810BEFDB9D155BD Time : 0.0 sec. user=mdettweiler [2015-02-01 21:30:16] 973*2^1390123-1 is not prime. Res64: ADE8D26D44FBC39D Time : 0.0 sec. user=mdettweiler [2015-02-01 21:30:16] 635*2^1390124-1 is not prime. Res64: 9D02C3B727C78C56 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:31:09] 659*2^1390124-1 is not prime. Res64: C3885352FAB8A42E Time : 0.0 sec. user=mdettweiler [2015-02-01 21:31:09] 813*2^1390124-1 is not prime. Res64: 1AFF4869D57BC705 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:35:22] 857*2^1390124-1 is not prime. Res64: 73ABDAF33BD935E4 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:35:23] 909*2^1390124-1 is not prime. Res64: 75D9181C394D6275 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:37:38] 927*2^1390124-1 is not prime. Res64: D8D09EB81A1C6F34 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:37:38] 929*2^1390124-1 is not prime. Res64: 0BDF298EECFE1F25 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:56:49] 935*2^1390124-1 is not prime. Res64: 0DB3D32FC551DAE0 Time : 0.0 sec. user=mdettweiler [2015-02-01 21:56:50] 959*2^1390124-1 is not prime. Res64: B641D2D548B37B1F Time : 0.0 sec. user=mdettweiler [2015-02-01 21:57:51] 627*2^1390125-1 is not prime. Res64: B122A9737C85B26B Time : 0.0 sec. user=mdettweiler [2015-02-01 21:57:52] 699*2^1390125-1 is not prime. Res64: D455BF472E75F916 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:01:49] 727*2^1390125-1 is not prime. Res64: EBCA939608355B86 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:01:50] 735*2^1390125-1 is not prime. Res64: E746B56AE00F5F13 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:04:09] 795*2^1390125-1 is not prime. Res64: AA8FA042447B42F5 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:04:10] 895*2^1390125-1 is not prime. Res64: C279C703968646E1 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:23:45] 999*2^1390125-1 is not prime. Res64: 725A2E9FCF53D2BE Time : 0.0 sec. user=mdettweiler [2015-02-01 22:23:45] 663*2^1390126-1 is not prime. Res64: 4F83300FB557D505 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:24:51] 761*2^1390126-1 is not prime. Res64: 0B825227E2C74A0D Time : 0.0 sec. user=mdettweiler [2015-02-01 22:24:52] 777*2^1390126-1 is not prime. Res64: B2F1F53694BEDF18 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:28:40] 783*2^1390126-1 is not prime. Res64: 8997345A27CC42A8 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:28:41] 983*2^1390126-1 is not prime. Res64: E6CB9DE6B846976C Time : 0.0 sec. user=mdettweiler [2015-02-01 22:31:01] 621*2^1390127-1 is not prime. Res64: 866EBC1E291E894F Time : 0.0 sec. user=mdettweiler [2015-02-01 22:31:01] 655*2^1390127-1 is not prime. Res64: BBBB35F73F759FF1 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:50:05] 685*2^1390127-1 is not prime. Res64: C967FE15303D3592 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:50:06] 895*2^1390127-1 is not prime. Res64: 1F98FA37F2D8A8B7 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:51:05] 615*2^1390128-1 is not prime. Res64: C3D2B0980E285F07 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:51:06] 689*2^1390128-1 is not prime. Res64: 115D438159014951 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:55:01] 759*2^1390128-1 is not prime. Res64: 409FA6DA723B27DA Time : 0.0 sec. user=mdettweiler [2015-02-01 22:55:01] 789*2^1390128-1 is not prime. Res64: 3F46511C50BB54F2 Time : 0.0 sec. user=mdettweiler [2015-02-01 22:57:13] 875*2^1390128-1 is not prime. Res64: 146F23939C28E71C Time : 0.0 sec. user=mdettweiler [2015-02-01 22:57:14] 887*2^1390128-1 is not prime. Res64: 50A8D338066158D4 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:16:10] 959*2^1390128-1 is not prime. Res64: 70A8F0B09D62544E Time : 0.0 sec. user=mdettweiler [2015-02-01 23:16:10] 667*2^1390129-1 is not prime. Res64: 2BD1A37502C64BEA Time : 0.0 sec. user=mdettweiler [2015-02-01 23:17:18] 691*2^1390129-1 is not prime. Res64: F3B0A0D807C120AA Time : 0.0 sec. user=mdettweiler [2015-02-01 23:17:18] 705*2^1390129-1 is not prime. Res64: 73D0CB3D586D51DB Time : 0.0 sec. user=mdettweiler [2015-02-01 23:21:13] 769*2^1390129-1 is not prime. Res64: D1A986CA4EFB8704 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:21:14] 771*2^1390129-1 is not prime. Res64: 0890EF1BA8CE8208 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:23:25] 831*2^1390129-1 is not prime. Res64: 6E1DA87D9EDEE902 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:23:25] 855*2^1390129-1 is not prime. Res64: 4CB2BD9AFFB2D24D Time : 0.0 sec. user=mdettweiler [2015-02-01 23:42:21] 641*2^1390130-1 is not prime. Res64: 484AB6E104522988 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:42:21] 755*2^1390130-1 is not prime. Res64: 7F7CB82E8139E945 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:43:25] 785*2^1390130-1 is not prime. Res64: 26087798810383C0 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:43:25] 911*2^1390130-1 is not prime. Res64: EF5840DDBF447BB7 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:47:40] 917*2^1390130-1 is not prime. Res64: D39DA152866F3B4F Time : 0.0 sec. user=mdettweiler [2015-02-01 23:47:40] 619*2^1390131-1 is not prime. Res64: 4A136C9C0255F89F Time : 0.0 sec. user=mdettweiler [2015-02-01 23:50:08] 651*2^1390131-1 is not prime. Res64: 542F403589C9BC27 Time : 0.0 sec. user=mdettweiler [2015-02-01 23:50:08] 691*2^1390131-1 is not prime. Res64: AE36812D1D1E8FAE Time : 0.0 sec.