user=mdettweiler [2015-02-14 00:09:41] 765*2^1390983-1 is not prime. Res64: D1E7FFA5F1B95C33 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:09:46] 789*2^1390983-1 is not prime. Res64: 90066B7FFB44EC68 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:11:14] 795*2^1390983-1 is not prime. Res64: CFDF6800FD5E35B4 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:11:16] 849*2^1390983-1 is not prime. Res64: 1975E98BA656BED2 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:24:49] 687*2^1390984-1 is not prime. Res64: 03162D9FEE9BD822 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:24:50] 719*2^1390984-1 is not prime. Res64: 4CDE266279F8F9DA Time : 0.0 sec. user=mdettweiler [2015-02-14 00:24:56] 605*2^1390984-1 is not prime. Res64: B9B6AEC4C0D99F33 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:36:27] 785*2^1390984-1 is not prime. Res64: 8540D1DE8666F3F5 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:36:28] 803*2^1390984-1 is not prime. Res64: 74BC52FDF1EE7A8A Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:31] 843*2^1390984-1 is not prime. Res64: FA390A349DB28302 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:32] 923*2^1390984-1 is not prime. Res64: CBF6CBBD98DE9E3B Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:46] 939*2^1390984-1 is not prime. Res64: 221E3ADB09DE0B68 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:47] 607*2^1390985-1 is not prime. Res64: 818D591B471EEB88 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:49] 715*2^1390985-1 is not prime. Res64: DBD702C55F5E5660 Time : 0.0 sec. user=mdettweiler [2015-02-14 00:51:50] 727*2^1390985-1 is not prime. Res64: C85A2E901D00E72A Time : 0.0 sec. user=mdettweiler [2015-02-14 01:03:04] 795*2^1390985-1 is not prime. Res64: 7892F67FB8635D21 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:03:06] 937*2^1390985-1 is not prime. Res64: C78172B785D3EAD1 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:42] 985*2^1390985-1 is not prime. Res64: DA5642DA81099E2C Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:43] 635*2^1390986-1 is not prime. Res64: E1F07171C4F75BDE Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:52] 707*2^1390986-1 is not prime. Res64: 5C4C2B3E366317F9 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:53] 713*2^1390986-1 is not prime. Res64: 8C685FB15C30045E Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:59] 741*2^1390986-1 is not prime. Res64: 263EF156A007D636 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:17:59] 767*2^1390986-1 is not prime. Res64: 62B42DAF919F6684 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:29:33] 1001*2^1390986-1 is not prime. Res64: C38D44A74C6D0AED Time : 0.0 sec. user=mdettweiler [2015-02-14 01:29:34] 601*2^1390987-1 is not prime. Res64: 20CF290B7D401C03 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:43:53] 619*2^1390987-1 is not prime. Res64: 9706F45598E8B3CA Time : 0.0 sec. user=mdettweiler [2015-02-14 01:43:54] 805*2^1390987-1 is not prime. Res64: 72D13B30DA35D3BC Time : 0.0 sec. user=mdettweiler [2015-02-14 01:43:58] 849*2^1390987-1 is not prime. Res64: ACABD7E918112137 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:43:58] 895*2^1390987-1 is not prime. Res64: 25A63CB2966F25B1 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:44:01] 901*2^1390987-1 is not prime. Res64: A90EE405B6DE2CE1 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:44:01] 951*2^1390987-1 is not prime. Res64: 65ABD7AE763664D1 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:55:59] 961*2^1390987-1 is not prime. Res64: 62528E82BC4351C9 Time : 0.0 sec. user=mdettweiler [2015-02-14 01:56:00] 923*2^1390988-1 is not prime. Res64: E5872745BFB6C281 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:09:54] 995*2^1390988-1 is not prime. Res64: 38D07C40563FB385 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:09:55] 865*2^1390989-1 is not prime. Res64: 9239BAE042B1B58C Time : 0.0 sec. user=mdettweiler [2015-02-14 02:10:04] 927*2^1390989-1 is not prime. Res64: C79DA958417C13FC Time : 0.0 sec. user=mdettweiler [2015-02-14 02:10:05] 603*2^1390990-1 is not prime. Res64: A092C6ECE9F44FF3 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:10:13] 885*2^1390989-1 is not prime. Res64: 5CA53F5DEA38094E Time : 0.0 sec. user=mdettweiler [2015-02-14 02:10:13] 889*2^1390989-1 is not prime. Res64: 3AB3A8605AE39113 Time : 0.0 sec. user=juhehe [2015-02-14 02:21:03] 657*2^1390990-1 is not prime. Res64: 5FA53F33BC4331FF Time : 0.0 sec. user=mdettweiler [2015-02-14 02:22:01] 825*2^1390990-1 is not prime. Res64: FAC86A0B4528F557 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:22:01] 911*2^1390990-1 is not prime. Res64: F410172A6A30367C Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:07] 951*2^1390990-1 is not prime. Res64: 1B3722F17E6CB744 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:08] 1001*2^1390990-1 is not prime. Res64: 8BFAC874DE9829F7 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:18] 775*2^1390991-1 is not prime. Res64: 088F2A23421D84AE Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:18] 999*2^1390991-1 is not prime. Res64: 3F7543268158650F Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:22] 705*2^1390991-1 is not prime. Res64: E77174C007BB48A5 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:36:23] 711*2^1390991-1 is not prime. Res64: 1ED89BDC86E73094 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:48:00] 725*2^1390992-1 is not prime. Res64: B73C7BE811E759D3 Time : 0.0 sec. user=mdettweiler [2015-02-14 02:48:00] 691*2^1390993-1 is not prime. Res64: 4A844742D5C351D5 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:02:48] 727*2^1390993-1 is not prime. Res64: 321278914FBD59CE Time : 0.0 sec. user=mdettweiler [2015-02-14 03:02:49] 861*2^1390993-1 is not prime. Res64: 5076E0F1C9C822C9 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:03:20] 967*2^1390993-1 is not prime. Res64: 7089211B77B61B20 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:03:23] 987*2^1390993-1 is not prime. Res64: 77D7195E7DB0EA56 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:03:32] 675*2^1390994-1 is not prime. Res64: 04402E49DA45B474 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:03:34] 731*2^1390994-1 is not prime. Res64: BFB7F6433C5C849B Time : 0.0 sec. user=mdettweiler [2015-02-14 03:14:42] 885*2^1390994-1 is not prime. Res64: A2B61C720348831D Time : 0.0 sec. user=mdettweiler [2015-02-14 03:14:43] 613*2^1390995-1 is not prime. Res64: 5C463D6784918FD0 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:30] 625*2^1390995-1 is not prime. Res64: 840FB19F1468C472 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:31] 723*2^1390995-1 is not prime. Res64: 3F693E55CE9416B1 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:40] 819*2^1390995-1 is not prime. Res64: A08FB64EEF548CCC Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:42] 895*2^1390995-1 is not prime. Res64: 847FA08B53F9A542 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:48] 921*2^1390995-1 is not prime. Res64: 3C68AF0397C03DA0 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:29:49] 963*2^1390995-1 is not prime. Res64: 8E59551E37CDEB5A Time : 0.0 sec. user=mdettweiler [2015-02-14 03:40:53] 973*2^1390995-1 is not prime. Res64: 579C3EC796FC2190 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:40:55] 615*2^1390996-1 is not prime. Res64: 17C334F31EA7C33E Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:49] 695*2^1390996-1 is not prime. Res64: 3E588CFE896E98DD Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:49] 777*2^1390996-1 is not prime. Res64: 40466715132DB171 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:50] 839*2^1390996-1 is not prime. Res64: E81FD970E41C647E Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:50] 843*2^1390996-1 is not prime. Res64: 065FA1FC31A048B3 Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:52] 813*2^1390996-1 is not prime. Res64: BCD24EA56D74E8BE Time : 0.0 sec. user=mdettweiler [2015-02-14 03:55:52] 825*2^1390996-1 is not prime. Res64: 5E99566A3BBED8B5 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:07:16] 909*2^1390996-1 is not prime. Res64: E064DC5C1B4F5E87 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:07:16] 983*2^1390996-1 is not prime. Res64: D42F9A85D60F9869 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:01] 729*2^1390997-1 is not prime. Res64: 443B702B60AC2278 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:01] 771*2^1390997-1 is not prime. Res64: 747F7D2A4BD8E016 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:04] 759*2^1390997-1 is not prime. Res64: 04EEBFA225F6C391 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:04] 799*2^1390997-1 is not prime. Res64: 0DA7A31AAF44D6BB Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:05] 801*2^1390997-1 is not prime. Res64: 59D633017A3B9434 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:22:05] 867*2^1390997-1 is not prime. Res64: 68BD65CE625B5C2B Time : 0.0 sec. user=mdettweiler [2015-02-14 04:33:31] 901*2^1390997-1 is not prime. Res64: 437B88315BA81030 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:33:32] 621*2^1390998-1 is not prime. Res64: FF69EE61EFB781EE Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:04] 875*2^1390998-1 is not prime. Res64: EBB54BEC5C5BC95A Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:04] 885*2^1390998-1 is not prime. Res64: BE3DF06862C4C0C4 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:11] 671*2^1390998-1 is not prime. Res64: 208D176F5DD4403C Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:12] 765*2^1390998-1 is not prime. Res64: 38697BE526AAB597 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:18] 601*2^1390999-1 is not prime. Res64: 1F739FE1D8DDAF19 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:48:18] 633*2^1390999-1 is not prime. Res64: 51274B1EBBB07034 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:59:43] 705*2^1390999-1 is not prime. Res64: 20A6F495419E8047 Time : 0.0 sec. user=mdettweiler [2015-02-14 04:59:43] 741*2^1390999-1 is not prime. Res64: F3688655AAFF4867 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:18] 765*2^1390999-1 is not prime. Res64: 67F349065E96848C Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:18] 771*2^1390999-1 is not prime. Res64: 697DCCD857A5C3C8 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:27] 951*2^1390999-1 is not prime. Res64: 7A18DC1ACE59B70D Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:27] 969*2^1390999-1 is not prime. Res64: F2336E936D40B90D Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:31] 889*2^1390999-1 is not prime. Res64: F8EB213AD6BE857C Time : 0.0 sec. user=mdettweiler [2015-02-14 05:14:32] 931*2^1390999-1 is not prime. Res64: 8DF1FDDE3D06F6CF Time : 0.0 sec. user=mdettweiler [2015-02-14 05:26:04] 993*2^1390999-1 is not prime. Res64: 916AF87B881001D9 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:26:04] 633*2^1391000-1 is not prime. Res64: BBFA62B7864C54E9 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:28] 917*2^1391000-1 is not prime. Res64: 51A218D048863664 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:29] 945*2^1391000-1 is not prime. Res64: E67743EFEE760976 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:30] 767*2^1391000-1 is not prime. Res64: 041B7D8B1784172B Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:30] 839*2^1391000-1 is not prime. Res64: 45F58DBA99C08352 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:40] 691*2^1391001-1 is not prime. Res64: 5E255562CCD499A8 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:40:41] 705*2^1391001-1 is not prime. Res64: 7EB13D35231BAF55 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:52:25] 717*2^1391001-1 is not prime. Res64: EF0ED61B7DCE9D30 Time : 0.0 sec. user=mdettweiler [2015-02-14 05:52:25] 741*2^1391001-1 is not prime. Res64: 81541F34E65B3F54 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:30] 909*2^1391001-1 is not prime. Res64: 9C9C6B725BD0076F Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:31] 991*2^1391001-1 is not prime. Res64: 9B9D89157D9B62BC Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:42] 745*2^1391001-1 is not prime. Res64: 0DAA825894556142 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:42] 781*2^1391001-1 is not prime. Res64: 064C070E0E634B14 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:53] 635*2^1391002-1 is not prime. Res64: 1BD0C9E5F35EA3B2 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:06:53] 651*2^1391002-1 is not prime. Res64: 577346446852DA23 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:18:36] 657*2^1391002-1 is not prime. Res64: 0540AE98F58B070C Time : 0.0 sec. user=mdettweiler [2015-02-14 06:18:36] 713*2^1391002-1 is not prime. Res64: 9C135706D550747D Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:39] 717*2^1391002-1 is not prime. Res64: 98D1DDF09DA8E47A Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:40] 747*2^1391002-1 is not prime. Res64: 361344ACB5EC0FAC Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:45] 867*2^1391002-1 is not prime. Res64: 7F3BB29AA8990F36 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:46] 885*2^1391002-1 is not prime. Res64: 77DAC01C4640C95A Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:58] 891*2^1391002-1 is not prime. Res64: 655D3CC0CF7D8F01 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:32:58] 915*2^1391002-1 is not prime. Res64: 31B1FF6C21964C71 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:44:51] 675*2^1391003-1 is not prime. Res64: 555C96619C4639D3 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:44:52] 771*2^1391003-1 is not prime. Res64: 42F6009ABC6D4CA4 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:58:48] 949*2^1391003-1 is not prime. Res64: FC695B188A1EE7AD Time : 0.0 sec. user=mdettweiler [2015-02-14 06:58:48] 963*2^1391003-1 is not prime. Res64: 9C95DC1EE599B65A Time : 0.0 sec. user=mdettweiler [2015-02-14 06:58:57] 663*2^1391004-1 is not prime. Res64: 635D7E02384EDCF2 Time : 0.0 sec. user=mdettweiler [2015-02-14 06:58:58] 887*2^1391004-1 is not prime. Res64: 44362348A3B3416C Time : 0.0 sec. user=mdettweiler [2015-02-14 06:59:09] 959*2^1391004-1 is not prime. Res64: D2CBDD4FEBD22E9E Time : 0.0 sec. user=mdettweiler [2015-02-14 06:59:10] 983*2^1391004-1 is not prime. Res64: 2B9728538A6A6A62 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:11:06] 811*2^1391005-1 is not prime. Res64: 11569A6F4A5C822E Time : 0.0 sec. user=mdettweiler [2015-02-14 07:11:06] 825*2^1391005-1 is not prime. Res64: 8263A3CB73551613 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:24:57] 861*2^1391005-1 is not prime. Res64: 46625784BAFF9BD5 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:24:57] 871*2^1391005-1 is not prime. Res64: CAD640F5BFC39444 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:25:19] 683*2^1391006-1 is not prime. Res64: 093CC865E8AB840F Time : 0.0 sec. user=mdettweiler [2015-02-14 07:25:19] 827*2^1391006-1 is not prime. Res64: 692F9A2A5E8B4ADE Time : 0.0 sec. user=mdettweiler [2015-02-14 07:25:20] 617*2^1391006-1 is not prime. Res64: 6D5554A5669B10E8 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:25:20] 635*2^1391006-1 is not prime. Res64: 7ED13C8895422B7B Time : 0.0 sec. user=mdettweiler [2015-02-14 07:37:25] 831*2^1391006-1 is not prime. Res64: B740C8FBFE2688AD Time : 0.0 sec. user=mdettweiler [2015-02-14 07:37:26] 893*2^1391006-1 is not prime. Res64: 94857AB8DFFE5498 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:12] 971*2^1391006-1 is not prime. Res64: A03D8D22766DE08B Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:13] 625*2^1391007-1 is not prime. Res64: DB5A68E51B7D5574 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:24] 831*2^1391007-1 is not prime. Res64: 860253C48942ABF2 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:24] 859*2^1391007-1 is not prime. Res64: E2D0AC20016F0201 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:39] 741*2^1391007-1 is not prime. Res64: B0EF558AAE415D69 Time : 0.0 sec. user=mdettweiler [2015-02-14 07:51:39] 793*2^1391007-1 is not prime. Res64: 39F47C61361B334B Time : 0.0 sec. user=mdettweiler [2015-02-14 08:03:41] 945*2^1391007-1 is not prime. Res64: 51C144871703A032 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:03:42] 985*2^1391007-1 is not prime. Res64: 9F687C5176D1938B Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:19] 603*2^1391008-1 is not prime. Res64: 9B508886614468C5 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:19] 615*2^1391008-1 is not prime. Res64: 1D91CDED91B3AD4F Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:44] 827*2^1391008-1 is not prime. Res64: 8181E715EABE7FB0 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:44] 657*2^1391008-1 is not prime. Res64: 431C632E25562E54 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:44] 887*2^1391008-1 is not prime. Res64: 607AA1983534A244 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:17:44] 735*2^1391008-1 is not prime. Res64: 2CB25276172EA7EE Time : 0.0 sec. user=mdettweiler [2015-02-14 08:30:17] 959*2^1391008-1 is not prime. Res64: B064FFC92549ECCC Time : 0.0 sec. user=mdettweiler [2015-02-14 08:30:18] 989*2^1391008-1 is not prime. Res64: 895FD46CB6A37344 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:43:26] 685*2^1391009-1 is not prime. Res64: ACAAA3CBF4A27532 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:43:26] 691*2^1391009-1 is not prime. Res64: CA2C2EEB20A62CEA Time : 0.0 sec. user=mdettweiler [2015-02-14 08:43:54] 781*2^1391009-1 is not prime. Res64: F63C0A9351C181AF Time : 0.0 sec. user=mdettweiler [2015-02-14 08:43:54] 829*2^1391009-1 is not prime. Res64: 393C0B0EE5CB1D18 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:44:00] 699*2^1391009-1 is not prime. Res64: 963C916E9A9675CE Time : 0.0 sec. user=mdettweiler [2015-02-14 08:44:00] 735*2^1391009-1 is not prime. Res64: 2206FA2F2C747059 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:56:33] 847*2^1391009-1 is not prime. Res64: BA62FC35F227AF28 Time : 0.0 sec. user=mdettweiler [2015-02-14 08:56:34] 931*2^1391009-1 is not prime. Res64: 166B46181C81249E Time : 0.0 sec. user=mdettweiler [2015-02-14 09:09:41] 969*2^1391009-1 is not prime. Res64: EE6A1FAFCCAE7F49 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:09:42] 611*2^1391010-1 is not prime. Res64: 054937795BEF394E Time : 0.0 sec. user=mdettweiler [2015-02-14 09:10:06] 627*2^1391010-1 is not prime. Res64: 78744A55ACA1D168 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:10:07] 725*2^1391010-1 is not prime. Res64: 655C494EF8D1EC11 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:10:09] 765*2^1391010-1 is not prime. Res64: 3C6B2D68EDB3ADBA Time : 0.0 sec. user=mdettweiler [2015-02-14 09:10:10] 851*2^1391010-1 is not prime. Res64: 137D7BDAAF16BC59 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:22:41] 631*2^1391011-1 is not prime. Res64: C770E2D70931B797 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:22:42] 639*2^1391011-1 is not prime. Res64: FB591498125E1773 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:35:55] 651*2^1391011-1 is not prime. Res64: 24E864D6566E2346 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:35:55] 709*2^1391011-1 is not prime. Res64: 6D5F2011B13B66C4 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:36:12] 969*2^1391011-1 is not prime. Res64: FAC2D1E6316EF054 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:36:13] 999*2^1391011-1 is not prime. Res64: 619505DC0DD3FDBB Time : 0.0 sec. user=mdettweiler [2015-02-14 09:36:22] 855*2^1391011-1 is not prime. Res64: E18F890D7C1D7292 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:36:22] 943*2^1391011-1 is not prime. Res64: 157CDC7FF20B6042 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:48:55] 669*2^1391012-1 is not prime. Res64: C4B8D44E79B4D8F2 Time : 0.0 sec. user=mdettweiler [2015-02-14 09:48:56] 675*2^1391012-1 is not prime. Res64: 270839117ADDBE3E Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:13] 725*2^1391012-1 is not prime. Res64: D9BED0E4A126615A Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:14] 749*2^1391012-1 is not prime. Res64: 680DE88EB20630BC Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:18] 767*2^1391012-1 is not prime. Res64: 58BFF4856A2EB730 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:19] 785*2^1391012-1 is not prime. Res64: 81866954383015B7 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:26] 873*2^1391012-1 is not prime. Res64: DE79E38E615D8DDA Time : 0.0 sec. user=mdettweiler [2015-02-14 10:02:26] 885*2^1391012-1 is not prime. Res64: CAB8C773D931920C Time : 0.0 sec. user=mdettweiler [2015-02-14 10:15:02] 923*2^1391012-1 is not prime. Res64: 6409A596A68B3EEC Time : 0.0 sec. user=mdettweiler [2015-02-14 10:15:02] 935*2^1391012-1 is not prime. Res64: 3E39304804E6E0C8 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:49] 751*2^1391013-1 is not prime. Res64: 1A2297F0BC75FAA4 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:49] 635*2^1391014-1 is not prime. Res64: 154D099CADBE5DB5 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:52] 963*2^1391012-1 is not prime. Res64: 29544F9CA9D2A010 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:53] 639*2^1391013-1 is not prime. Res64: 8537455916F74FCD Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:56] 663*2^1391014-1 is not prime. Res64: E846813CCEBD0987 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:28:56] 665*2^1391014-1 is not prime. Res64: 7604AEAD03AFC86E Time : 0.0 sec. user=mdettweiler [2015-02-14 10:41:14] 677*2^1391014-1 is not prime. Res64: E77366777F3A7170 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:41:14] 825*2^1391014-1 is not prime. Res64: BD30B3CD494DAD15 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:03] 633*2^1391015-1 is not prime. Res64: 7F36D999E7EB2E73 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:03] 643*2^1391015-1 is not prime. Res64: 426C5E12CF858F40 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:03] 763*2^1391015-1 is not prime. Res64: 46291098FB3ED50A Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:04] 783*2^1391015-1 is not prime. Res64: A32BC556E7737365 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:06] 881*2^1391014-1 is not prime. Res64: 7FC72157200FAD81 Time : 0.0 sec. user=mdettweiler [2015-02-14 10:55:07] 923*2^1391014-1 is not prime. Res64: D25F48985F92FFF3 Time : 0.0 sec. user=juhehe [2015-02-14 11:04:07] 825*2^1391015-1 is not prime. Res64: 76F632B512DB9D36 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:07:31] 895*2^1391015-1 is not prime. Res64: F80464E6C9378889 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:07:32] 969*2^1391015-1 is not prime. Res64: FACAE6F6A45A74EE Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:15] 837*2^1391016-1 is not prime. Res64: 8EA3368BF12ED8D7 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:15] 857*2^1391016-1 is not prime. Res64: 7FAF0A4E0681A576 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:16] 627*2^1391016-1 is not prime. Res64: 5D7B5F3950EBD410 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:17] 719*2^1391016-1 is not prime. Res64: 60976EAD8CC73276 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:17] 683*2^1391016-1 is not prime. Res64: 9EB95B80422A92A1 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:21:17] 789*2^1391016-1 is not prime. Res64: D5B03E539786D206 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:33:46] 975*2^1391016-1 is not prime. Res64: 5B2EB7FB1EBE3703 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:33:46] 983*2^1391016-1 is not prime. Res64: DDADA0AA8A06768F Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:23] 645*2^1391017-1 is not prime. Res64: ACC27E450EC5EE4A Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:24] 675*2^1391017-1 is not prime. Res64: EFC2D4ADD3EBF309 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:28] 777*2^1391017-1 is not prime. Res64: 09FA23F8E833A346 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:28] 871*2^1391017-1 is not prime. Res64: 39ACFF00CADDDDE3 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:30] 741*2^1391017-1 is not prime. Res64: F171C540191D3989 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:47:31] 765*2^1391017-1 is not prime. Res64: 235C946F1AD8815F Time : 0.0 sec. user=mdettweiler [2015-02-14 11:59:55] 885*2^1391017-1 is not prime. Res64: 425EF5E68FB0A2D4 Time : 0.0 sec. user=mdettweiler [2015-02-14 11:59:55] 707*2^1391018-1 is not prime. Res64: 3531B4A211F6FA38 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:37] 745*2^1391019-1 is not prime. Res64: 3EB1E36F21EA49E3 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:37] 635*2^1391020-1 is not prime. Res64: 70F0940B35FDE96E Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:42] 797*2^1391018-1 is not prime. Res64: 9E333840F4CFEC49 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:43] 921*2^1391018-1 is not prime. Res64: 848026C2081FA15E Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:52] 875*2^1391020-1 is not prime. Res64: 43313D72F42392FF Time : 0.0 sec. user=mdettweiler [2015-02-14 12:13:53] 905*2^1391020-1 is not prime. Res64: 764B472D96A1AC00 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:26:20] 607*2^1391021-1 is not prime. Res64: 13192C1E7F08A477 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:26:20] 645*2^1391021-1 is not prime. Res64: D5B352EEC2047D89 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:39:46] 859*2^1391021-1 is not prime. Res64: E63C7E261CBF7BD6 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:39:46] 885*2^1391021-1 is not prime. Res64: D4683F90B526411C Time : 0.0 sec. user=mdettweiler [2015-02-14 12:39:57] 621*2^1391022-1 is not prime. Res64: A8671D8227E6ECB0 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:39:57] 797*2^1391022-1 is not prime. Res64: 60829F4D8056E706 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:40:02] 843*2^1391022-1 is not prime. Res64: 45DF49C9F8296B70 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:40:03] 867*2^1391022-1 is not prime. Res64: EAAF8FA5B8578B56 Time : 0.0 sec. user=mdettweiler [2015-02-14 12:52:41] 977*2^1391022-1 is not prime. Res64: 2CBAE6524EC1084C Time : 0.0 sec. user=mdettweiler [2015-02-14 12:52:42] 663*2^1391023-1 is not prime. Res64: 5FF1066502186888 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:12] 745*2^1391023-1 is not prime. Res64: 2E86FC18978F13F7 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:13] 871*2^1391023-1 is not prime. Res64: 52E037E22A7C85AB Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:22] 889*2^1391023-1 is not prime. Res64: 62B1EB3D3D04EE28 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:23] 659*2^1391024-1 is not prime. Res64: B242E4ADE0667F32 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:24] 725*2^1391024-1 is not prime. Res64: 9DB44BEBAF4EC3D9 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:06:25] 875*2^1391024-1 is not prime. Res64: 3A5265CE8B2CA85E Time : 0.0 sec. user=mdettweiler [2015-02-14 13:19:16] 923*2^1391024-1 is not prime. Res64: C8D1A819E65ED004 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:19:17] 969*2^1391024-1 is not prime. Res64: 41F3CEE794668945 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:32:55] 705*2^1391025-1 is not prime. Res64: 24F7A56BABC5BBC2 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:32:55] 861*2^1391025-1 is not prime. Res64: 94644329F70EAF86 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:32:59] 685*2^1391025-1 is not prime. Res64: 73C2387038A4C863 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:33:00] 699*2^1391025-1 is not prime. Res64: EF17D77D1D4DB1A9 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:33:01] 649*2^1391025-1 is not prime. Res64: 213CF6F133033A84 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:33:01] 675*2^1391025-1 is not prime. Res64: 7E9F301C98B50B0E Time : 0.0 sec. user=mdettweiler [2015-02-14 13:45:58] 871*2^1391025-1 is not prime. Res64: 07872FB39C922D58 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:45:58] 895*2^1391025-1 is not prime. Res64: 07B2A6670C0CED1E Time : 0.0 sec. user=mdettweiler [2015-02-14 13:59:54] 975*2^1391025-1 is not prime. Res64: 6E9024F96EE9B53A Time : 0.0 sec. user=mdettweiler [2015-02-14 13:59:54] 645*2^1391026-1 is not prime. Res64: 61C4DDC74151A9B2 Time : 0.0 sec. user=mdettweiler [2015-02-14 13:59:59] 743*2^1391026-1 is not prime. Res64: 68A3F7A02E881534 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:00:00] 777*2^1391026-1 is not prime. Res64: 0F3C560D1C87A36F Time : 0.0 sec. user=mdettweiler [2015-02-14 14:00:01] 705*2^1391026-1 is not prime. Res64: CCBF6E8661474270 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:00:01] 735*2^1391026-1 is not prime. Res64: 3DE4C5A46B09E128 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:13:03] 821*2^1391026-1 is not prime. Res64: 12378D6E2443AD0A Time : 0.0 sec. user=mdettweiler [2015-02-14 14:13:04] 759*2^1391027-1 is not prime. Res64: 080216E65751BC47 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:47] 859*2^1391027-1 is not prime. Res64: B522813B32237E04 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:47] 909*2^1391027-1 is not prime. Res64: 5AA65C8014D2B803 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:56] 605*2^1391028-1 is not prime. Res64: 50914A4EEA3F07A2 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:56] 689*2^1391028-1 is not prime. Res64: B7ADC5104DB9985A Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:58] 949*2^1391027-1 is not prime. Res64: BE6CB01860A02624 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:26:58] 955*2^1391027-1 is not prime. Res64: 0084E09115FD6FA5 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:43:09] 789*2^1391028-1 is not prime. Res64: 4015CC44095B2310 Time : 0.0 sec. user=mdettweiler [2015-02-14 14:43:10] 839*2^1391028-1 is not prime. Res64: 5AE2025B4E294BE9 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:02:25] 977*2^1391028-1 is not prime. Res64: BC777A1B6F8FC504 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:02:27] 639*2^1391029-1 is not prime. Res64: 728BB6F3A7B7D559 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:03:02] 829*2^1391029-1 is not prime. Res64: 4509B920FADB3808 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:03:03] 847*2^1391029-1 is not prime. Res64: 24D465175F23EB53 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:03:19] 675*2^1391029-1 is not prime. Res64: EA42322A8E3B8D54 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:03:20] 771*2^1391029-1 is not prime. Res64: 499E337EA9B44A2C Time : 0.0 sec. user=mdettweiler [2015-02-14 15:16:06] 861*2^1391029-1 is not prime. Res64: A931BA79EC00B272 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:16:06] 931*2^1391029-1 is not prime. Res64: 1A97CE00517EADFF Time : 0.0 sec. user=mdettweiler [2015-02-14 15:29:44] 997*2^1391029-1 is not prime. Res64: F4692BFC6BB81FD4 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:29:44] 605*2^1391030-1 is not prime. Res64: 774878170DA0BC00 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:30:26] 731*2^1391030-1 is not prime. Res64: 28E81F85975342E8 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:30:26] 851*2^1391030-1 is not prime. Res64: 75B8A1F859E10C5C Time : 0.0 sec. user=mdettweiler [2015-02-14 15:30:37] 875*2^1391030-1 is not prime. Res64: E332B3A119B8A290 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:30:37] 613*2^1391031-1 is not prime. Res64: 98341FAC70F79817 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:43:33] 615*2^1391031-1 is not prime. Res64: 3BDCFF246A0FCFAF Time : 0.0 sec. user=mdettweiler [2015-02-14 15:43:33] 619*2^1391031-1 is not prime. Res64: 41B0C723CED00211 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:12] 775*2^1391031-1 is not prime. Res64: 3E2C7D542A7B4D44 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:12] 823*2^1391031-1 is not prime. Res64: 798A831CC7E88382 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:56] 873*2^1391032-1 is not prime. Res64: FC2A1E705433578F Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:56] 903*2^1391032-1 is not prime. Res64: 5914E21069018F9D Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:58] 969*2^1391031-1 is not prime. Res64: A944942F571614A0 Time : 0.0 sec. user=mdettweiler [2015-02-14 15:57:58] 723*2^1391032-1 is not prime. Res64: F985592689FD0FD3 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:10:49] 933*2^1391032-1 is not prime. Res64: 9ED9EA70372B0790 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:10:49] 983*2^1391032-1 is not prime. Res64: F89BBEA427B96099 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:24:26] 675*2^1391033-1 is not prime. Res64: 6B3B9CAB68B55862 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:24:26] 691*2^1391033-1 is not prime. Res64: EBEF39932E16AF58 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:25:21] 811*2^1391033-1 is not prime. Res64: 04302BEB7E82C306 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:25:21] 981*2^1391033-1 is not prime. Res64: AC23BEF9B633EE73 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:25:21] 771*2^1391033-1 is not prime. Res64: EDF472C061C68C96 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:25:22] 775*2^1391033-1 is not prime. Res64: 38BCD9EDC11C6E35 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:38:01] 621*2^1391034-1 is not prime. Res64: 65DA6A2CB45BEBC7 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:38:01] 633*2^1391034-1 is not prime. Res64: 0F91569BFD2D1554 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:51:31] 725*2^1391034-1 is not prime. Res64: DD3060401C0BD53D Time : 0.0 sec. user=mdettweiler [2015-02-14 16:51:32] 773*2^1391034-1 is not prime. Res64: 921A776B2CD16854 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:52:33] 783*2^1391034-1 is not prime. Res64: D79CB5B961A26CB2 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:52:33] 941*2^1391034-1 is not prime. Res64: 517788EFEF49398E Time : 0.0 sec. user=mdettweiler [2015-02-14 16:52:42] 945*2^1391034-1 is not prime. Res64: 1F1290F3CA70DC86 Time : 0.0 sec. user=mdettweiler [2015-02-14 16:52:42] 975*2^1391034-1 is not prime. Res64: ECC7572D50E526FE Time : 0.0 sec. user=mdettweiler [2015-02-14 17:05:05] 993*2^1391034-1 is not prime. Res64: 0CA6B647BDB1E73F Time : 0.0 sec. user=mdettweiler [2015-02-14 17:05:05] 625*2^1391035-1 is not prime. Res64: 9123CFDC436F6D0E Time : 0.0 sec. user=mdettweiler [2015-02-14 17:18:46] 651*2^1391035-1 is not prime. Res64: 6FD9CBD576E351BF Time : 0.0 sec. user=mdettweiler [2015-02-14 17:18:47] 693*2^1391035-1 is not prime. Res64: F0C31BFD81C5597E Time : 0.0 sec. user=mdettweiler [2015-02-14 17:19:55] 715*2^1391035-1 is not prime. Res64: DBFED7328C770C9D Time : 0.0 sec. user=mdettweiler [2015-02-14 17:19:55] 765*2^1391035-1 is not prime. Res64: FF3A314A03507888 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:19:58] 909*2^1391035-1 is not prime. Res64: 49107C210265F268 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:19:58] 943*2^1391035-1 is not prime. Res64: 51029FF20F0E5A36 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:32:31] 635*2^1391036-1 is not prime. Res64: FF9A149FB880B597 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:32:32] 659*2^1391036-1 is not prime. Res64: CBFE93F23E6332FA Time : 0.0 sec. user=mdettweiler [2015-02-14 17:46:05] 777*2^1391036-1 is not prime. Res64: A911C1227B8A28DF Time : 0.0 sec. user=mdettweiler [2015-02-14 17:46:06] 839*2^1391036-1 is not prime. Res64: 8CBE074DBE6DEBE3 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:47:04] 667*2^1391037-1 is not prime. Res64: A15AC3FDEA468C52 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:47:05] 717*2^1391037-1 is not prime. Res64: 136BCB0F6A09F716 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:47:10] 893*2^1391036-1 is not prime. Res64: 6BC6A232472FEE4D Time : 0.0 sec. user=mdettweiler [2015-02-14 17:47:11] 999*2^1391036-1 is not prime. Res64: 0B662BCE08A6BE22 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:59:40] 727*2^1391037-1 is not prime. Res64: 8C7D6F0C003FDC56 Time : 0.0 sec. user=mdettweiler [2015-02-14 17:59:40] 735*2^1391037-1 is not prime. Res64: 837A7F1CE251DB5E Time : 0.0 sec. user=mdettweiler [2015-02-14 18:13:14] 831*2^1391037-1 is not prime. Res64: 7B8E94E77A3880A9 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:13:15] 955*2^1391037-1 is not prime. Res64: D4918E8869EDB8AE Time : 0.0 sec. user=mdettweiler [2015-02-14 18:14:21] 705*2^1391038-1 is not prime. Res64: 2E8D323C8A50BDDE Time : 0.0 sec. user=mdettweiler [2015-02-14 18:14:22] 723*2^1391038-1 is not prime. Res64: 75B01160743F7E20 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:14:24] 623*2^1391038-1 is not prime. Res64: 3135008B6731B455 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:14:24] 657*2^1391038-1 is not prime. Res64: A699CC6793935CA5 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:26:57] 773*2^1391038-1 is not prime. Res64: 02D3B09356B06EDA Time : 0.0 sec. user=mdettweiler [2015-02-14 18:26:58] 801*2^1391038-1 is not prime. Res64: 602B4432BBD74183 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:40:11] 827*2^1391038-1 is not prime. Res64: 6A6F8E1F827E3793 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:40:11] 885*2^1391038-1 is not prime. Res64: 5B7EFE8EA12E20E7 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:41:20] 811*2^1391039-1 is not prime. Res64: 2BCBCB4DD6A54535 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:41:20] 829*2^1391039-1 is not prime. Res64: C49975CBACFCAD66 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:41:30] 957*2^1391038-1 is not prime. Res64: 73A77A813B43155E Time : 0.0 sec. user=mdettweiler [2015-02-14 18:41:31] 789*2^1391039-1 is not prime. Res64: A6CF2C91FD2F08B7 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:53:59] 939*2^1391039-1 is not prime. Res64: 6A995CEB02DB8827 Time : 0.0 sec. user=mdettweiler [2015-02-14 18:54:00] 943*2^1391039-1 is not prime. Res64: 9AFBB6817B060AC0 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:07:26] 973*2^1391039-1 is not prime. Res64: 0048436A4D57C604 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:07:26] 695*2^1391040-1 is not prime. Res64: 49460F43FA2548E9 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:08:33] 717*2^1391041-1 is not prime. Res64: A91A8F3D5292D2FD Time : 0.0 sec. user=mdettweiler [2015-02-14 19:08:34] 775*2^1391041-1 is not prime. Res64: FF98D700E3805DB0 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:08:36] 713*2^1391040-1 is not prime. Res64: 33E23D63AF53EFB3 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:08:36] 803*2^1391040-1 is not prime. Res64: 1B9319FD63638499 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:21:01] 849*2^1391041-1 is not prime. Res64: 2D0F29FA40780CEF Time : 0.0 sec. user=mdettweiler [2015-02-14 19:21:01] 855*2^1391041-1 is not prime. Res64: DA58BD771E612268 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:34:27] 987*2^1391041-1 is not prime. Res64: 40DFF5D8D7ADD0AC Time : 0.0 sec. user=mdettweiler [2015-02-14 19:34:27] 635*2^1391042-1 is not prime. Res64: 57A72E39E4F8B0DD Time : 0.0 sec. user=mdettweiler [2015-02-14 19:35:43] 815*2^1391042-1 is not prime. Res64: 6CD141FA5B2C66B9 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:35:44] 827*2^1391042-1 is not prime. Res64: 486515B1E3B23DCC Time : 0.0 sec. user=mdettweiler [2015-02-14 19:35:51] 671*2^1391042-1 is not prime. Res64: E9AC4B0BC6740954 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:35:51] 753*2^1391042-1 is not prime. Res64: CFA567DDD2DFD1C2 Time : 0.0 sec. user=mdettweiler [2015-02-14 19:47:44] 843*2^1391042-1 is not prime. Res64: E4CB17EB3993C26E Time : 0.0 sec. user=mdettweiler [2015-02-14 19:47:45] 963*2^1391042-1 is not prime. Res64: 185EA04F61A780A7 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:00:47] 983*2^1391042-1 is not prime. Res64: D1B47947DBAAF6CC Time : 0.0 sec. user=mdettweiler [2015-02-14 20:00:49] 987*2^1391042-1 is not prime. Res64: 12BB385D40FEF35D Time : 0.0 sec. user=mdettweiler [2015-02-14 20:02:02] 699*2^1391043-1 is not prime. Res64: 03E2C13FDCEC74AD Time : 0.0 sec. user=mdettweiler [2015-02-14 20:02:03] 849*2^1391043-1 is not prime. Res64: 5C1FDF5106074B2B Time : 0.0 sec. user=mdettweiler [2015-02-14 20:02:13] 859*2^1391043-1 is not prime. Res64: B8EADD49569F8CBA Time : 0.0 sec. user=mdettweiler [2015-02-14 20:02:14] 873*2^1391043-1 is not prime. Res64: 2802FA6795BBC2BD Time : 0.0 sec. user=juhehe [2015-02-14 20:11:22] 895*2^1391043-1 is not prime. Res64: F030D9196876D12D Time : 0.0 sec. user=mdettweiler [2015-02-14 20:14:11] 635*2^1391044-1 is not prime. Res64: D732628CCCC549F0 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:14:12] 675*2^1391044-1 is not prime. Res64: DD4E74BDBC7BE3A5 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:27:13] 743*2^1391044-1 is not prime. Res64: 12A433AC9FD16457 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:27:13] 819*2^1391044-1 is not prime. Res64: 3C504698070F2D66 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:28:20] 827*2^1391044-1 is not prime. Res64: 926602BAF71B2A23 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:28:20] 875*2^1391044-1 is not prime. Res64: F6C79D1058977F8C Time : 0.0 sec. user=mdettweiler [2015-02-14 20:28:35] 959*2^1391044-1 is not prime. Res64: 9F9E5F5080BA4A5F Time : 0.0 sec. user=mdettweiler [2015-02-14 20:28:36] 691*2^1391045-1 is not prime. Res64: EB4C86A1E913ABAC Time : 0.0 sec. user=mdettweiler [2015-02-14 20:40:30] 715*2^1391045-1 is not prime. Res64: BB8A14CA9F77CE1F Time : 0.0 sec. user=mdettweiler [2015-02-14 20:40:31] 805*2^1391045-1 is not prime. Res64: F2AAC2C640899C9C Time : 0.0 sec. user=mdettweiler [2015-02-14 20:53:29] 847*2^1391045-1 is not prime. Res64: ABA8E0BA17A4B5CA Time : 0.0 sec. user=mdettweiler [2015-02-14 20:53:29] 861*2^1391045-1 is not prime. Res64: 63864B4115460B68 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:54:41] 897*2^1391045-1 is not prime. Res64: BBE657D57CF13631 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:54:41] 955*2^1391045-1 is not prime. Res64: 4EE157FFC84BF165 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:54:49] 969*2^1391045-1 is not prime. Res64: AAA8D5D5A2720476 Time : 0.0 sec. user=mdettweiler [2015-02-14 20:54:49] 635*2^1391046-1 is not prime. Res64: 70C4EC8FCFFB4AF3 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:06:50] 683*2^1391046-1 is not prime. Res64: 08682F3CC127DFDA Time : 0.0 sec. user=mdettweiler [2015-02-14 21:06:51] 737*2^1391046-1 is not prime. Res64: 8FA71D2B0D2D6ED4 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:20:04] 603*2^1391047-1 is not prime. Res64: B8F225EA4A801F4A Time : 0.0 sec. user=mdettweiler [2015-02-14 21:20:04] 619*2^1391047-1 is not prime. Res64: C820B8A2EEDFBC98 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:21:06] 841*2^1391047-1 is not prime. Res64: 85E438621C33A9C0 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:21:06] 705*2^1391047-1 is not prime. Res64: 278666328B2DB3B6 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:21:07] 909*2^1391047-1 is not prime. Res64: 2C3D7851C0E36F5C Time : 0.0 sec. user=mdettweiler [2015-02-14 21:21:07] 729*2^1391047-1 is not prime. Res64: CCC8482F3E3FBDDC Time : 0.0 sec. user=mdettweiler [2015-02-14 21:33:08] 925*2^1391047-1 is not prime. Res64: E31EAE2F17A9593C Time : 0.0 sec. user=mdettweiler [2015-02-14 21:33:08] 931*2^1391047-1 is not prime. Res64: 5345BF9AD82D3693 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:46:16] 813*2^1391048-1 is not prime. Res64: 4B014EDC512A9377 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:46:17] 837*2^1391048-1 is not prime. Res64: DA0670F72FC12E9A Time : 0.0 sec. user=mdettweiler [2015-02-14 21:47:19] 935*2^1391048-1 is not prime. Res64: 69396A1A3CF51756 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:47:20] 615*2^1391049-1 is not prime. Res64: 42DEE2CB852626A2 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:47:23] 747*2^1391049-1 is not prime. Res64: A31D903895D161E3 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:47:23] 807*2^1391049-1 is not prime. Res64: 615CB358F88CBE56 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:59:25] 847*2^1391049-1 is not prime. Res64: 370B5DE4DC67BA54 Time : 0.0 sec. user=mdettweiler [2015-02-14 21:59:26] 865*2^1391049-1 is not prime. Res64: D533225B26719EAD Time : 0.0 sec. user=mdettweiler [2015-02-14 22:12:38] 951*2^1391049-1 is not prime. Res64: 17A652F8DC6915F9 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:12:38] 657*2^1391050-1 is not prime. Res64: 2B5FF03FE2D38F52 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:13:31] 773*2^1391050-1 is not prime. Res64: DB44C80318D8E995 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:13:32] 821*2^1391050-1 is not prime. Res64: 849C79060ED5E8DF Time : 0.0 sec. user=mdettweiler [2015-02-14 22:13:36] 855*2^1391050-1 is not prime. Res64: 3538A76349055E01 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:13:37] 951*2^1391050-1 is not prime. Res64: 702D79C0E402A99A Time : 0.0 sec. user=mdettweiler [2015-02-14 22:25:40] 957*2^1391050-1 is not prime. Res64: 8BE3CEA5FE6047AA Time : 0.0 sec. user=mdettweiler [2015-02-14 22:25:40] 987*2^1391050-1 is not prime. Res64: 3589AC819731EA8A Time : 0.0 sec. user=mdettweiler [2015-02-14 22:39:06] 995*2^1391050-1 is not prime. Res64: 5979BE2A34C01C30 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:39:07] 609*2^1391051-1 is not prime. Res64: B9FA364F86AA31F3 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:39:41] 693*2^1391051-1 is not prime. Res64: 619928887DEFEB61 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:39:41] 745*2^1391051-1 is not prime. Res64: 59890FF241649033 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:40:01] 819*2^1391051-1 is not prime. Res64: 82AF45F6DB15453C Time : 0.0 sec. user=mdettweiler [2015-02-14 22:40:01] 939*2^1391051-1 is not prime. Res64: 1F5702217ACA96C9 Time : 0.0 sec. user=mdettweiler [2015-02-14 22:51:49] 955*2^1391051-1 is not prime. Res64: DF98B2197970C15C Time : 0.0 sec. user=mdettweiler [2015-02-14 22:51:49] 635*2^1391052-1 is not prime. Res64: 5CDE57F78A62513F Time : 0.0 sec. user=mdettweiler [2015-02-14 23:05:15] 689*2^1391052-1 is not prime. Res64: 1567A498D15C15ED Time : 0.0 sec. user=mdettweiler [2015-02-14 23:05:16] 719*2^1391052-1 is not prime. Res64: 7197A7C5F225E89C Time : 0.0 sec. user=mdettweiler [2015-02-14 23:05:59] 765*2^1391052-1 is not prime. Res64: 421881319BC34F17 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:05:59] 863*2^1391052-1 is not prime. Res64: 58F527F4C566082C Time : 0.0 sec. user=mdettweiler [2015-02-14 23:06:30] 899*2^1391052-1 is not prime. Res64: 97222AE0DB5BD87E Time : 0.0 sec. user=mdettweiler [2015-02-14 23:06:30] 945*2^1391052-1 is not prime. Res64: 89A7A8850AE95D96 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:18:09] 959*2^1391052-1 is not prime. Res64: F727C2EF5E527C25 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:18:10] 977*2^1391052-1 is not prime. Res64: F81B67D887ED1E4C Time : 0.0 sec. user=mdettweiler [2015-02-14 23:31:53] 681*2^1391053-1 is not prime. Res64: 5DE3F4E8C26CCCE6 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:31:53] 747*2^1391053-1 is not prime. Res64: 6D4FC1D856E824FF Time : 0.0 sec. user=mdettweiler [2015-02-14 23:32:32] 801*2^1391053-1 is not prime. Res64: 1E3DCC9F66378780 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:32:32] 867*2^1391053-1 is not prime. Res64: 0AF43C13E85BE5D3 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:33:07] 937*2^1391053-1 is not prime. Res64: DF3A77E9EAAC8508 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:33:08] 957*2^1391053-1 is not prime. Res64: 420F72C26A79F88D Time : 0.0 sec. user=mdettweiler [2015-02-14 23:45:01] 627*2^1391054-1 is not prime. Res64: 5DB56BCFD02E8CD4 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:45:02] 705*2^1391054-1 is not prime. Res64: B7880201DCCD21FA Time : 0.0 sec. user=mdettweiler [2015-02-14 23:58:10] 773*2^1391054-1 is not prime. Res64: 00B599A32DA269AB Time : 0.0 sec. user=mdettweiler [2015-02-14 23:58:10] 851*2^1391054-1 is not prime. Res64: 633C628153EE6444 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:58:48] 981*2^1391054-1 is not prime. Res64: 29A6AE2C86DAD415 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:58:48] 639*2^1391055-1 is not prime. Res64: D90A3FA0684E1372 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:59:16] 609*2^1391056-1 is not prime. Res64: 25D06D359B999831 Time : 0.0 sec. user=mdettweiler [2015-02-14 23:59:16] 615*2^1391056-1 is not prime. Res64: 8094F54FB3FA631A Time : 0.0 sec.