user=mdettweiler [2013-02-16 00:08:40] 717*2^1241140-1 is not prime. Res64: D8E4BAD2D1F302BA Time : 0.0 sec. user=mdettweiler [2013-02-16 00:08:41] 723*2^1241140-1 is not prime. Res64: 4F180C37A6FCC3EB Time : 0.0 sec. user=mdettweiler [2013-02-16 00:09:06] 765*2^1241140-1 is not prime. Res64: F697A62594635508 Time : 0.0 sec. user=mdettweiler [2013-02-16 00:09:07] 825*2^1241140-1 is not prime. Res64: 3FFB4853533A32AB Time : 0.0 sec. user=juhehe [2013-02-16 00:19:39] 973*2^1241139-1 is not prime. Res64: 1EE2F4418078D442 Time : 0.0 sec. user=mdettweiler [2013-02-16 00:26:19] 615*2^1241141-1 is not prime. Res64: 447C8AD64A6B12FC Time : 0.0 sec. user=mdettweiler [2013-02-16 00:26:19] 657*2^1241141-1 is not prime. Res64: CACF99405355A68E Time : 0.0 sec. user=mdettweiler [2013-02-16 00:26:37] 757*2^1241141-1 is not prime. Res64: DA6C55B6A477CE30 Time : 0.0 sec. user=mdettweiler [2013-02-16 00:26:38] 889*2^1241141-1 is not prime. Res64: 91D70F56CE55E538 Time : 0.0 sec. user=mdettweiler [2013-02-16 00:43:47] 927*2^1241141-1 is not prime. Res64: B865B201D907C5DF Time : 0.0 sec. user=mdettweiler [2013-02-16 00:43:48] 957*2^1241141-1 is not prime. Res64: 85E304CDA8BF2FD6 Time : 0.0 sec. user=mdettweiler [2013-02-16 00:44:06] 997*2^1241141-1 is not prime. Res64: AC53FE339F1B00EB Time : 0.0 sec. user=mdettweiler [2013-02-16 00:44:07] 711*2^1241142-1 is not prime. Res64: 923B3DBAF8E05737 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:01:20] 741*2^1241142-1 is not prime. Res64: B0E062C4F725BE67 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:01:22] 765*2^1241142-1 is not prime. Res64: 7FE3B9C45CC112D3 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:01:35] 843*2^1241142-1 is not prime. Res64: 59F252067B8FF920 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:01:36] 745*2^1241143-1 is not prime. Res64: E5497D5446B55391 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:18:57] 849*2^1241143-1 is not prime. Res64: 0848067DCC8CC312 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:18:57] 883*2^1241143-1 is not prime. Res64: 8292CF9FA515B13F Time : 0.0 sec. user=mdettweiler [2013-02-16 01:19:07] 885*2^1241143-1 is not prime. Res64: 5579C51480CFA7F7 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:19:07] 999*2^1241143-1 is not prime. Res64: 9C43FF2D4EA09CD7 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:36:29] 675*2^1241144-1 is not prime. Res64: 7C08566CD6B86487 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:36:30] 743*2^1241144-1 is not prime. Res64: 62EBCCEAF9B60CC6 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:36:36] 755*2^1241144-1 is not prime. Res64: F10B14DB5367CD30 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:36:36] 773*2^1241144-1 is not prime. Res64: 699563D355CCB70B Time : 0.0 sec. user=mdettweiler [2013-02-16 01:53:58] 601*2^1241145-1 is not prime. Res64: 5CF890F499264D54 Time : 0.0 sec. user=mdettweiler [2013-02-16 01:53:59] 609*2^1241145-1 is not prime. Res64: 67D4D461A5AEFCFC Time : 0.0 sec. user=mdettweiler [2013-02-16 01:54:04] 705*2^1241145-1 is not prime. Res64: 6EC475D2A12222FC Time : 0.0 sec. user=mdettweiler [2013-02-16 01:54:04] 871*2^1241145-1 is not prime. Res64: 8843A782F9F5056C Time : 0.0 sec. user=mdettweiler [2013-02-16 02:11:27] 889*2^1241145-1 is not prime. Res64: 638768A538C1BCF8 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:11:29] 919*2^1241145-1 is not prime. Res64: 48CF65A740BE84D4 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:11:33] 991*2^1241145-1 is not prime. Res64: 7B29DAE03CFF44F5 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:11:35] 999*2^1241145-1 is not prime. Res64: 8F599DFF1A26542F Time : 0.0 sec. user=juhehe [2013-02-16 02:13:50] 623*2^1241144-1 is not prime. Res64: 926E8013C40FBD91 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:28:58] 603*2^1241146-1 is not prime. Res64: 30139F691DF05289 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:28:59] 633*2^1241146-1 is not prime. Res64: B7631C4376401D38 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:29:03] 813*2^1241146-1 is not prime. Res64: 32577EDAAED13EF7 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:29:04] 825*2^1241146-1 is not prime. Res64: 7B9F18EDF7E0A5B0 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:46:28] 861*2^1241146-1 is not prime. Res64: 75A8A14FD53329CF Time : 0.0 sec. user=mdettweiler [2013-02-16 02:46:29] 941*2^1241146-1 is not prime. Res64: 7CEDDB66D8B32909 Time : 0.0 sec. user=mdettweiler [2013-02-16 02:46:33] 975*2^1241146-1 is not prime. Res64: E08B97668188C62E Time : 0.0 sec. user=mdettweiler [2013-02-16 02:46:35] 643*2^1241147-1 is not prime. Res64: D7E1E3C27C90EF69 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:03:59] 669*2^1241147-1 is not prime. Res64: 80441483FFE9F64F Time : 0.0 sec. user=mdettweiler [2013-02-16 03:04:01] 799*2^1241147-1 is not prime. Res64: 436BADD5F1E70ED9 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:04:05] 843*2^1241147-1 is not prime. Res64: 3ABDF5DC29131095 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:04:07] 963*2^1241147-1 is not prime. Res64: 216E653BC52279A7 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:21:37] 999*2^1241147-1 is not prime. Res64: E6DE5C09F10983EF Time : 0.0 sec. user=mdettweiler [2013-02-16 03:21:38] 725*2^1241148-1 is not prime. Res64: 7CB40051CB8B5CEB Time : 0.0 sec. user=mdettweiler [2013-02-16 03:21:43] 783*2^1241148-1 is not prime. Res64: 7049E8180B6B2370 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:21:43] 789*2^1241148-1 is not prime. Res64: 58C8D3B08F93B286 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:39:08] 809*2^1241148-1 is not prime. Res64: A188FDA1214B6F36 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:39:09] 839*2^1241148-1 is not prime. Res64: D362A10B2636DB25 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:39:16] 899*2^1241148-1 is not prime. Res64: DD3C6B1DF33E0AF0 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:39:17] 999*2^1241148-1 is not prime. Res64: 200C28CA4B2111C5 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:56:39] 667*2^1241149-1 is not prime. Res64: BF3799A7C64A348B Time : 0.0 sec. user=mdettweiler [2013-02-16 03:56:40] 867*2^1241149-1 is not prime. Res64: 4573D0EEC17C7110 Time : 0.0 sec. user=mdettweiler [2013-02-16 03:56:48] 885*2^1241149-1 is not prime. Res64: 3A7235033E0AFEEF Time : 0.0 sec. user=mdettweiler [2013-02-16 03:56:49] 641*2^1241150-1 is not prime. Res64: 809F62F293BE2C2E Time : 0.0 sec. user=mdettweiler [2013-02-16 04:14:09] 665*2^1241150-1 is not prime. Res64: 45850F41C97F7DF1 Time : 0.0 sec. user=mdettweiler [2013-02-16 04:14:10] 861*2^1241150-1 is not prime. Res64: 1B1C0C78B9D7B590 Time : 0.0 sec. user=mdettweiler [2013-02-16 04:14:18] 613*2^1241151-1 is not prime. Res64: 67CB91B331AB68A1 Time : 0.0 sec. user=mdettweiler [2013-02-16 04:14:18] 651*2^1241151-1 is not prime. Res64: F831362934FA1469 Time : 0.0 sec. user=mdettweiler [2013-02-16 07:00:28] 783*2^1241151-1 is not prime. Res64: 31A9036178AF53B6 Time : 0.0 sec. user=mdettweiler [2013-02-16 07:00:29] 829*2^1241151-1 is not prime. Res64: F3DB798292F141E3 Time : 0.0 sec. user=mdettweiler [2013-02-16 07:00:46] 909*2^1241151-1 is not prime. Res64: BB97FCA014936D81 Time : 0.0 sec. user=mdettweiler [2013-02-16 07:00:47] 913*2^1241151-1 is not prime. Res64: 32539A85DC4A35D6 Time : 0.0 sec. user=juhehe [2013-02-16 07:01:54] 709*2^1241151-1 is not prime. Res64: 01E296E1D4A55ECC Time : 0.0 sec. user=juhehe [2013-02-16 08:01:01] 675*2^1241152-1 is not prime. Res64: BE90423E5DBB3620 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:07:23] 955*2^1241151-1 is not prime. Res64: 0A7DD1D9526F50A6 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:07:24] 969*2^1241151-1 is not prime. Res64: 6FF326DD6E919BFD Time : 0.0 sec. user=mdettweiler [2013-02-16 08:07:41] 609*2^1241152-1 is not prime. Res64: 61A7BF537DB01266 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:07:42] 657*2^1241152-1 is not prime. Res64: 138F21FC5D448342 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:24:58] 705*2^1241152-1 is not prime. Res64: 1209E15D15856C9F Time : 0.0 sec. user=mdettweiler [2013-02-16 08:24:59] 735*2^1241152-1 is not prime. Res64: FE7C94ED4ACFD842 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:25:12] 743*2^1241152-1 is not prime. Res64: FD2AAD9B80C9097D Time : 0.0 sec. user=mdettweiler [2013-02-16 08:25:13] 797*2^1241152-1 is not prime. Res64: A8302AF4C2AB7082 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:42:34] 819*2^1241152-1 is not prime. Res64: 56FAEE9C459DC9C0 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:42:35] 887*2^1241152-1 is not prime. Res64: 4BF4ADBD3D5ED166 Time : 0.0 sec. user=mdettweiler [2013-02-16 08:42:48] 903*2^1241152-1 is not prime. Res64: 2D0BBC2021F1626A Time : 0.0 sec. user=mdettweiler [2013-02-16 08:42:49] 939*2^1241152-1 is not prime. Res64: 788F3FC17B007115 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:00:18] 735*2^1241153-1 is not prime. Res64: BF6E136D15DCB3E7 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:00:19] 847*2^1241153-1 is not prime. Res64: E8E4152457CBA2B1 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:00:29] 885*2^1241153-1 is not prime. Res64: A6BCD11A9867FE93 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:00:30] 985*2^1241153-1 is not prime. Res64: 1DEFB68E941F0E69 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:18:01] 677*2^1241154-1 is not prime. Res64: D7ED197D50D2E21E Time : 0.0 sec. user=mdettweiler [2013-02-16 09:18:02] 747*2^1241154-1 is not prime. Res64: 5B4E3BA39809CF03 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:18:13] 773*2^1241154-1 is not prime. Res64: 73095E4ACB89F749 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:18:14] 905*2^1241154-1 is not prime. Res64: 0BDD98E6247D45EE Time : 0.0 sec. user=mdettweiler [2013-02-16 09:35:34] 651*2^1241155-1 is not prime. Res64: D035C5E3C87681E0 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:35:35] 735*2^1241155-1 is not prime. Res64: 0F83AFC0AE24A896 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:35:45] 775*2^1241155-1 is not prime. Res64: 81AD80FF6488557F Time : 0.0 sec. user=mdettweiler [2013-02-16 09:35:46] 973*2^1241155-1 is not prime. Res64: 3E5865FA6914474A Time : 0.0 sec. user=mdettweiler [2013-02-16 09:53:07] 999*2^1241155-1 is not prime. Res64: B7103F994024D976 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:53:07] 633*2^1241156-1 is not prime. Res64: 32460B1F8F5F5F99 Time : 0.0 sec. user=mdettweiler [2013-02-16 09:53:19] 777*2^1241156-1 is not prime. Res64: C8BAF423C48CB83F Time : 0.0 sec. user=mdettweiler [2013-02-16 09:53:20] 833*2^1241156-1 is not prime. Res64: 4BA5269CC0C6CFEA Time : 0.0 sec. user=juhehe [2013-02-16 09:55:49] 651*2^1241154-1 is not prime. Res64: 8804BBFB718E004D Time : 0.0 sec. user=mdettweiler [2013-02-16 10:10:42] 839*2^1241156-1 is not prime. Res64: 44045F1C777DBF85 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:10:43] 909*2^1241156-1 is not prime. Res64: E465CADA837EA3A2 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:10:54] 983*2^1241156-1 is not prime. Res64: A814810A9362A91B Time : 0.0 sec. user=mdettweiler [2013-02-16 10:10:55] 655*2^1241157-1 is not prime. Res64: 56DC79A94AAD528E Time : 0.0 sec. user=mdettweiler [2013-02-16 10:28:14] 819*2^1241157-1 is not prime. Res64: 340892250C23A493 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:28:15] 871*2^1241157-1 is not prime. Res64: 3F139781D71FC8B9 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:28:28] 991*2^1241157-1 is not prime. Res64: 6E04A6255B716FBA Time : 0.0 sec. user=mdettweiler [2013-02-16 10:28:29] 687*2^1241158-1 is not prime. Res64: EDAF5B1BA97F9CC9 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:45:49] 963*2^1241055-1 is not prime. Res64: ABD14AAA9516E223 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:45:49] 695*2^1241158-1 is not prime. Res64: 5319697A1E0C9861 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:45:59] 755*2^1241158-1 is not prime. Res64: A337A5C270256AB2 Time : 0.0 sec. user=mdettweiler [2013-02-16 10:45:59] 813*2^1241158-1 is not prime. Res64: 763F6D9D12F65E8A Time : 0.0 sec. user=mdettweiler [2013-02-16 11:03:19] 821*2^1241158-1 is not prime. Res64: D8A7139057186608 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:03:20] 831*2^1241158-1 is not prime. Res64: 5505A6B789EFF677 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:03:28] 887*2^1241158-1 is not prime. Res64: 3481A1F33D0F0D19 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:03:29] 891*2^1241158-1 is not prime. Res64: 32C3B71686ECC7E7 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:20:54] 705*2^1241159-1 is not prime. Res64: 11463DB277ECC9C7 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:20:54] 735*2^1241159-1 is not prime. Res64: 335FB203B1899BAC Time : 0.0 sec. user=mdettweiler [2013-02-16 11:20:58] 759*2^1241159-1 is not prime. Res64: B0E9C874196EAE4D Time : 0.0 sec. user=mdettweiler [2013-02-16 11:20:59] 865*2^1241159-1 is not prime. Res64: 127F1BEA0241326E Time : 0.0 sec. user=mdettweiler [2013-02-16 11:38:23] 921*2^1241159-1 is not prime. Res64: 4A6CF4F1484C1580 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:38:23] 985*2^1241159-1 is not prime. Res64: F8EF6A22028EBF8F Time : 0.0 sec. user=mdettweiler [2013-02-16 11:38:27] 693*2^1241160-1 is not prime. Res64: 5CFE81DA87E8346C Time : 0.0 sec. user=mdettweiler [2013-02-16 11:38:28] 777*2^1241160-1 is not prime. Res64: A8336C00091A0CD6 Time : 0.0 sec. user=juhehe [2013-02-16 11:49:38] 971*2^1241158-1 is not prime. Res64: 44780563C47A4F98 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:55:52] 825*2^1241160-1 is not prime. Res64: 43B0521F6E3A6210 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:55:52] 873*2^1241160-1 is not prime. Res64: C797927C4D74DCA7 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:55:59] 917*2^1241160-1 is not prime. Res64: 30AF6EA4492FFE14 Time : 0.0 sec. user=mdettweiler [2013-02-16 11:56:00] 645*2^1241161-1 is not prime. Res64: ECA5B73F26CE3FE1 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:13:20] 681*2^1241161-1 is not prime. Res64: F59E6466DB8A8CAD Time : 0.0 sec. user=mdettweiler [2013-02-16 12:13:22] 771*2^1241161-1 is not prime. Res64: 81C4E263F4EA5451 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:13:32] 799*2^1241161-1 is not prime. Res64: 1D2D317968EEEC8D Time : 0.0 sec. user=mdettweiler [2013-02-16 12:13:33] 925*2^1241161-1 is not prime. Res64: BB00BB8B2CDD63F8 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:30:58] 937*2^1241161-1 is not prime. Res64: 76D928F1A13803DF Time : 0.0 sec. user=mdettweiler [2013-02-16 12:30:58] 945*2^1241161-1 is not prime. Res64: 21D2B0397444D7C0 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:31:02] 645*2^1241162-1 is not prime. Res64: B2E5BF84CBA97C90 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:31:02] 665*2^1241162-1 is not prime. Res64: C534608BF938AB1F Time : 0.0 sec. user=mdettweiler [2013-02-16 12:48:27] 705*2^1241162-1 is not prime. Res64: 6B4EF851844CCF61 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:48:27] 911*2^1241162-1 is not prime. Res64: 0435CD87623EAA6B Time : 0.0 sec. user=mdettweiler [2013-02-16 12:48:33] 685*2^1241163-1 is not prime. Res64: 4E93E2B11AF17D21 Time : 0.0 sec. user=mdettweiler [2013-02-16 12:48:34] 745*2^1241163-1 is not prime. Res64: 1F93BBE041A70601 Time : 0.0 sec. user=mdettweiler [2013-02-16 13:05:57] 823*2^1241163-1 is not prime. Res64: EE464457448AD7EB Time : 0.0 sec. user=mdettweiler [2013-02-16 13:05:59] 853*2^1241163-1 is not prime. Res64: 24FD407C13B338BC Time : 0.0 sec. user=mdettweiler [2013-02-16 13:06:02] 895*2^1241163-1 is not prime. Res64: 9CE492F81C94C3FE Time : 0.0 sec. user=mdettweiler [2013-02-16 13:06:04] 991*2^1241163-1 is not prime. Res64: 71F12BE1D96FC78C Time : 0.0 sec. user=mdettweiler [2013-02-16 13:23:36] 715*2^1241165-1 is not prime. Res64: 4FF7BAFFA2379D36 Time : 0.0 sec. user=mdettweiler [2013-02-16 13:23:37] 727*2^1241165-1 is not prime. Res64: F3C53A46030A215A Time : 0.0 sec. user=mdettweiler [2013-02-16 13:23:39] 723*2^1241164-1 is not prime. Res64: 84D085E0DE9F763A Time : 0.0 sec. user=mdettweiler [2013-02-16 13:23:39] 897*2^1241164-1 is not prime. Res64: FC6F26E8A39168E6 Time : 0.0 sec. user=mdettweiler [2013-02-16 13:41:05] 735*2^1241165-1 is not prime. Res64: 4E2500CD6670D48B Time : 0.0 sec. user=mdettweiler [2013-02-16 13:41:06] 795*2^1241165-1 is not prime. Res64: AEFE1D5BE0FDB48F Time : 0.0 sec. user=mdettweiler [2013-02-16 13:41:08] 819*2^1241165-1 is not prime. Res64: 24750BC85712B708 Time : 0.0 sec. user=mdettweiler [2013-02-16 13:41:08] 825*2^1241165-1 is not prime. Res64: 6E9573E82332A7EC Time : 0.0 sec. user=juhehe [2013-02-16 13:43:21] 805*2^1241163-1 is not prime. Res64: ECD690BC73774D9A Time : 0.0 sec. user=mdettweiler [2013-02-16 13:58:36] 641*2^1241166-1 is not prime. Res64: D4DCBFF791D30379 Time : 0.0 sec. user=mdettweiler [2013-02-16 13:58:37] 885*2^1241165-1 is not prime. Res64: EFFD1B7835902EFD Time : 0.0 sec. user=mdettweiler [2013-02-16 13:58:37] 705*2^1241166-1 is not prime. Res64: 367B9160B374599C Time : 0.0 sec. user=mdettweiler [2013-02-16 13:58:37] 981*2^1241165-1 is not prime. Res64: 7D600EE42A35EE0B Time : 0.0 sec. user=mdettweiler [2013-02-16 14:16:08] 761*2^1241166-1 is not prime. Res64: 361C9AA75A4CB42A Time : 0.0 sec. user=mdettweiler [2013-02-16 14:16:09] 765*2^1241166-1 is not prime. Res64: ACDDAA51874656A7 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:16:11] 851*2^1241166-1 is not prime. Res64: D2EAF247967824B5 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:16:12] 983*2^1241166-1 is not prime. Res64: A7DEA1274FC107E2 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:33:47] 993*2^1241166-1 is not prime. Res64: 169EC5658EC34AEB Time : 0.0 sec. user=mdettweiler [2013-02-16 14:33:48] 609*2^1241167-1 is not prime. Res64: 9077AFB9EDBB9C80 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:33:50] 681*2^1241167-1 is not prime. Res64: BAC82F5F1F3F5776 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:33:50] 819*2^1241167-1 is not prime. Res64: 6FBDBAAF82C9ED05 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:51:16] 901*2^1241167-1 is not prime. Res64: AA38B24049B6BBBD Time : 0.0 sec. user=mdettweiler [2013-02-16 14:51:17] 919*2^1241167-1 is not prime. Res64: EA6D889F47DBC931 Time : 0.0 sec. user=mdettweiler [2013-02-16 14:51:21] 939*2^1241167-1 is not prime. Res64: 2AFFCA0107880ECA Time : 0.0 sec. user=mdettweiler [2013-02-16 14:51:22] 973*2^1241167-1 is not prime. Res64: 864C173673D87CA6 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:08:46] 657*2^1241168-1 is not prime. Res64: CD5221F8D6C00CA5 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:08:47] 669*2^1241168-1 is not prime. Res64: A3B868CF138E951D Time : 0.0 sec. user=mdettweiler [2013-02-16 15:08:51] 767*2^1241168-1 is not prime. Res64: E9CFAF31FF052E6B Time : 0.0 sec. user=mdettweiler [2013-02-16 15:08:52] 929*2^1241168-1 is not prime. Res64: 1B11351C43D56FDD Time : 0.0 sec. user=mdettweiler [2013-02-16 15:26:16] 935*2^1241168-1 is not prime. Res64: 9609985FB880246D Time : 0.0 sec. user=mdettweiler [2013-02-16 15:26:16] 959*2^1241168-1 is not prime. Res64: BEC8ABEBC4950866 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:26:23] 969*2^1241168-1 is not prime. Res64: 08A6BFC076572ED0 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:26:24] 747*2^1241169-1 is not prime. Res64: 6A9615C55EC2B156 Time : 0.0 sec. user=juhehe [2013-02-16 15:43:10] 993*2^1241167-1 is not prime. Res64: A938CAA54C4EB455 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:43:46] 795*2^1241169-1 is not prime. Res64: DCB19E938EF9430E Time : 0.0 sec. user=mdettweiler [2013-02-16 15:43:47] 877*2^1241169-1 is not prime. Res64: 08C51517EE3F0DB0 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:43:52] 895*2^1241169-1 is not prime. Res64: 54E4302634E49B50 Time : 0.0 sec. user=mdettweiler [2013-02-16 15:43:53] 653*2^1241170-1 is not prime. Res64: 80C980D8D6F43EC2 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:01:19] 657*2^1241170-1 is not prime. Res64: C28C7937762BB4FC Time : 0.0 sec. user=mdettweiler [2013-02-16 16:01:21] 663*2^1241170-1 is not prime. Res64: 91D1993E4D48DB80 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:01:23] 843*2^1241170-1 is not prime. Res64: 51AEF8713C866787 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:01:24] 857*2^1241170-1 is not prime. Res64: 54DB5B814D96B628 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:18:53] 911*2^1241170-1 is not prime. Res64: 72F8AB2D832DBD94 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:18:54] 669*2^1241171-1 is not prime. Res64: 0CBDBF11AF1877BE Time : 0.0 sec. user=mdettweiler [2013-02-16 16:18:55] 693*2^1241171-1 is not prime. Res64: F3791B03BAC1D21A Time : 0.0 sec. user=mdettweiler [2013-02-16 16:18:55] 735*2^1241171-1 is not prime. Res64: ECAC44FC44C3A5E4 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:36:27] 981*2^1241171-1 is not prime. Res64: FF47EDB16FE11FBF Time : 0.0 sec. user=mdettweiler [2013-02-16 16:36:27] 987*2^1241172-1 is not prime. Res64: A014DCBAB2A09759 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:36:27] 863*2^1241172-1 is not prime. Res64: C576827BC3F78870 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:36:27] 609*2^1241173-1 is not prime. Res64: B10AE985C61FF21B Time : 0.0 sec. user=mdettweiler [2013-02-16 16:53:58] 819*2^1241173-1 is not prime. Res64: 0B0428485032B42C Time : 0.0 sec. user=mdettweiler [2013-02-16 16:53:59] 925*2^1241173-1 is not prime. Res64: 95D467B6958E2A18 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:53:59] 951*2^1241173-1 is not prime. Res64: E4A2898DA0643131 Time : 0.0 sec. user=mdettweiler [2013-02-16 16:54:00] 967*2^1241173-1 is not prime. Res64: 40212B6740E6FC1C Time : 0.0 sec. user=mdettweiler [2013-02-16 17:11:58] 791*2^1241174-1 is not prime. Res64: 2B60F9D613585D80 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:11:59] 795*2^1241174-1 is not prime. Res64: 8D85717C87A6D2D5 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:11:59] 797*2^1241174-1 is not prime. Res64: 7E455C475852185E Time : 0.0 sec. user=mdettweiler [2013-02-16 17:11:59] 873*2^1241174-1 is not prime. Res64: DC22A686F1E512DB Time : 0.0 sec. user=mdettweiler [2013-02-16 17:30:07] 1001*2^1241174-1 is not prime. Res64: 754D364F9BEEB7C6 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:30:07] 651*2^1241175-1 is not prime. Res64: F4D048AB3EE0F866 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:30:08] 691*2^1241175-1 is not prime. Res64: 07FC7A5C85C18B42 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:30:08] 693*2^1241175-1 is not prime. Res64: 6B3D955792DC2C77 Time : 0.0 sec. user=juhehe [2013-02-16 17:43:34] 987*2^1241173-1 is not prime. Res64: D2E989D80F8B4F97 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:48:48] 723*2^1241175-1 is not prime. Res64: 717ADF52BAA92FBB Time : 0.0 sec. user=mdettweiler [2013-02-16 17:48:48] 741*2^1241175-1 is not prime. Res64: A974ED891A427C70 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:48:48] 783*2^1241175-1 is not prime. Res64: 86D14C65D5F5B9F0 Time : 0.0 sec. user=mdettweiler [2013-02-16 17:48:48] 853*2^1241175-1 is not prime. Res64: 81378F342B0FC26A Time : 0.0 sec. user=mdettweiler [2013-02-16 18:06:30] 999*2^1241175-1 is not prime. Res64: 596152EB9984A68C Time : 0.0 sec. user=mdettweiler [2013-02-16 18:06:33] 873*2^1241176-1 is not prime. Res64: 7FC28389A1B2AB41 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:06:34] 869*2^1241176-1 is not prime. Res64: 42161AF76C41CD54 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:06:35] 711*2^1241177-1 is not prime. Res64: 18B5FAD4DE8F7346 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:24:10] 717*2^1241177-1 is not prime. Res64: F6D91C9B68C57190 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:24:10] 759*2^1241177-1 is not prime. Res64: D6B081411666BB94 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:24:11] 885*2^1241177-1 is not prime. Res64: 3916BD65A5261D33 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:24:12] 909*2^1241177-1 is not prime. Res64: 70430FF29BC07962 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:41:36] 843*2^1241178-1 is not prime. Res64: B038EE07E9C75829 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:41:37] 891*2^1241178-1 is not prime. Res64: F4B382D3701DB314 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:41:38] 705*2^1241178-1 is not prime. Res64: 5EE623C97E876E33 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:41:39] 837*2^1241178-1 is not prime. Res64: 82094C529A3269D5 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:58:59] 681*2^1241179-1 is not prime. Res64: 6B7B6BDD6F0D4AD9 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:59:00] 691*2^1241179-1 is not prime. Res64: 7DB7741432813289 Time : 0.0 sec. user=mdettweiler [2013-02-16 18:59:00] 733*2^1241179-1 is not prime. Res64: 9BDA1259A19BF27A Time : 0.0 sec. user=mdettweiler [2013-02-16 18:59:01] 759*2^1241179-1 is not prime. Res64: 2E81BDF484D42C58 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:16:23] 829*2^1241179-1 is not prime. Res64: 3D46EE4B6232CCC6 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:16:24] 943*2^1241179-1 is not prime. Res64: A589AEDBDD675BB2 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:16:24] 973*2^1241179-1 is not prime. Res64: 8A64FCFD74E6BEBA Time : 0.0 sec. user=mdettweiler [2013-02-16 19:16:25] 993*2^1241179-1 is not prime. Res64: 1D6FCCF248F5DFA0 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:33:47] 759*2^1241180-1 is not prime. Res64: 1730933EBB9E1612 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:33:47] 819*2^1241180-1 is not prime. Res64: DDAA925800A10D3A Time : 0.0 sec. user=mdettweiler [2013-02-16 19:33:48] 879*2^1241180-1 is not prime. Res64: 93D2CB135C22411A Time : 0.0 sec. user=mdettweiler [2013-02-16 19:33:48] 885*2^1241180-1 is not prime. Res64: B66D49D2CE74FE55 Time : 0.0 sec. user=juhehe [2013-02-16 19:43:51] 1001*2^1241178-1 is not prime. Res64: 792686788EC9C88E Time : 0.0 sec. user=mdettweiler [2013-02-16 19:51:09] 977*2^1241180-1 is not prime. Res64: AEA086D37B6FE552 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:51:10] 625*2^1241181-1 is not prime. Res64: A358D0B83F6C61C4 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:51:13] 657*2^1241181-1 is not prime. Res64: 2FF10270371B4899 Time : 0.0 sec. user=mdettweiler [2013-02-16 19:51:14] 745*2^1241181-1 is not prime. Res64: 8C039D5A4B28F2F8 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:08:32] 751*2^1241181-1 is not prime. Res64: 7CF45C9230BFADC2 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:08:33] 927*2^1241181-1 is not prime. Res64: 8CEF9BE9A0347905 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:08:36] 945*2^1241181-1 is not prime. Res64: 73BCC8A400DE0F31 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:08:39] 961*2^1241181-1 is not prime. Res64: EAB161BBAB5E0BB3 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:26:03] 975*2^1241181-1 is not prime. Res64: 12027B8B864B55CD Time : 0.0 sec. user=mdettweiler [2013-02-16 20:26:04] 653*2^1241182-1 is not prime. Res64: DD53296EC35FCBE1 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:26:05] 737*2^1241182-1 is not prime. Res64: A3A13A56004F13FF Time : 0.0 sec. user=mdettweiler [2013-02-16 20:26:05] 915*2^1241182-1 is not prime. Res64: B41A6A822333C884 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:43:26] 685*2^1241183-1 is not prime. Res64: 343818954C79284B Time : 0.0 sec. user=mdettweiler [2013-02-16 20:43:27] 729*2^1241183-1 is not prime. Res64: E6C82E2ECF70FDB5 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:43:27] 813*2^1241183-1 is not prime. Res64: B7C15F7C8CBFA993 Time : 0.0 sec. user=mdettweiler [2013-02-16 20:43:28] 861*2^1241183-1 is not prime. Res64: 78C372DF0ADCC12A Time : 0.0 sec. user=mdettweiler [2013-02-16 21:00:50] 921*2^1241183-1 is not prime. Res64: B14786058544FE8F Time : 0.0 sec. user=mdettweiler [2013-02-16 21:00:51] 609*2^1241184-1 is not prime. Res64: 0C5E0FE6AAE267B7 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:00:52] 627*2^1241184-1 is not prime. Res64: 215A325B24B00C36 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:00:53] 707*2^1241184-1 is not prime. Res64: 6777021CDC9ED219 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:18:22] 719*2^1241184-1 is not prime. Res64: 4E7A4E690D29F430 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:18:22] 759*2^1241184-1 is not prime. Res64: 8586CA4179424F9D Time : 0.0 sec. user=mdettweiler [2013-02-16 21:18:24] 765*2^1241184-1 is not prime. Res64: 0D95D71ADA8C08CF Time : 0.0 sec. user=mdettweiler [2013-02-16 21:18:25] 809*2^1241184-1 is not prime. Res64: 86A459761904B3ED Time : 0.0 sec. user=mdettweiler [2013-02-16 21:35:45] 825*2^1241184-1 is not prime. Res64: 95DC05BA246FF3CF Time : 0.0 sec. user=mdettweiler [2013-02-16 21:35:46] 893*2^1241184-1 is not prime. Res64: E8639553BC9CB1B9 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:35:47] 923*2^1241184-1 is not prime. Res64: A889FFAE4614AB7F Time : 0.0 sec. user=mdettweiler [2013-02-16 21:35:48] 765*2^1241185-1 is not prime. Res64: 06BC05F334551854 Time : 0.0 sec. user=juhehe [2013-02-16 21:37:26] 895*2^1241183-1 is not prime. Res64: 3E99F962510FE24E Time : 0.0 sec. user=mdettweiler [2013-02-16 21:53:08] 805*2^1241185-1 is not prime. Res64: BA315F66AF26810C Time : 0.0 sec. user=mdettweiler [2013-02-16 21:53:09] 817*2^1241185-1 is not prime. Res64: 6EA5969B3ABF0686 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:53:09] 831*2^1241185-1 is not prime. Res64: 11F94B60D6B9BBD5 Time : 0.0 sec. user=mdettweiler [2013-02-16 21:53:10] 841*2^1241185-1 is not prime. Res64: 0FEC4F352E00C974 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:10:31] 855*2^1241185-1 is not prime. Res64: 79DA43A4808DEB21 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:10:32] 861*2^1241185-1 is not prime. Res64: F5F73E7A24568582 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:10:32] 877*2^1241185-1 is not prime. Res64: 3E5F4509878C98F2 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:10:33] 987*2^1241185-1 is not prime. Res64: 00EDAEAA74390D74 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:27:56] 997*2^1241185-1 is not prime. Res64: 492D4B2F62F33C3B Time : 0.0 sec. user=mdettweiler [2013-02-16 22:27:57] 623*2^1241186-1 is not prime. Res64: D4E44D079F92BF78 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:27:58] 635*2^1241186-1 is not prime. Res64: 41600629AB6134EB Time : 0.0 sec. user=mdettweiler [2013-02-16 22:27:59] 677*2^1241186-1 is not prime. Res64: D77BD55971613E50 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:45:19] 705*2^1241186-1 is not prime. Res64: 84029F333749A1CC Time : 0.0 sec. user=mdettweiler [2013-02-16 22:45:19] 717*2^1241186-1 is not prime. Res64: 675CFD49FC276F72 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:45:23] 767*2^1241186-1 is not prime. Res64: AF0B0E4A1ED5AB58 Time : 0.0 sec. user=mdettweiler [2013-02-16 22:45:24] 837*2^1241186-1 is not prime. Res64: 5262A400F6A3E7F0 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:02:42] 893*2^1241186-1 is not prime. Res64: 70B25C7FF24F9819 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:02:43] 963*2^1241186-1 is not prime. Res64: DDAF8698684CACB7 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:02:49] 609*2^1241187-1 is not prime. Res64: 5EBBD71BD7B62C53 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:02:52] 615*2^1241187-1 is not prime. Res64: 5B98051D81F7F15B Time : 0.0 sec. user=mdettweiler [2013-02-16 23:20:17] 633*2^1241187-1 is not prime. Res64: 5A486812CED74255 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:20:18] 685*2^1241187-1 is not prime. Res64: 665CCF13A306D427 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:20:24] 709*2^1241187-1 is not prime. Res64: 12CB62D16E2DED0B Time : 0.0 sec. user=mdettweiler [2013-02-16 23:20:25] 835*2^1241187-1 is not prime. Res64: EC408D5AE9A45318 Time : 0.0 sec. user=juhehe [2013-02-16 23:32:58] 851*2^1241186-1 is not prime. Res64: 3D5456E26D6B7829 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:37:40] 891*2^1241187-1 is not prime. Res64: 1BA3CC8848ADA8CF Time : 0.0 sec. user=mdettweiler [2013-02-16 23:37:40] 931*2^1241187-1 is not prime. Res64: 597BC1EBBD813D95 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:37:46] 955*2^1241187-1 is not prime. Res64: 9A2F85D123D25E20 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:37:47] 605*2^1241188-1 is not prime. Res64: 9E3062BE8DFE50C1 Time : 0.0 sec. user=mdettweiler [2013-02-16 23:55:04] 617*2^1241188-1 is not prime. Res64: B5A1CEACF8A5DC3E Time : 0.0 sec. user=mdettweiler [2013-02-16 23:55:05] 689*2^1241188-1 is not prime. Res64: 784630F51A44809F Time : 0.0 sec. user=mdettweiler [2013-02-16 23:55:09] 909*2^1241188-1 is not prime. Res64: 8DEBECE7E5A8A79A Time : 0.0 sec. user=mdettweiler [2013-02-16 23:55:10] 933*2^1241188-1 is not prime. Res64: 8D69F511F667749A Time : 0.0 sec.