user=juhehe [2012-11-14 00:09:58] 687*2^1234372-1 is not prime. Res64: B8AA03FB26DA0BB4 Time : 0.0 sec. user=mdettweiler [2012-11-14 00:11:21] 827*2^1234372-1 is not prime. Res64: D20DF4EF74989D8C Time : 0.0 sec. user=mdettweiler [2012-11-14 00:11:21] 875*2^1234372-1 is not prime. Res64: 9E7D305FC48D9D24 Time : 0.0 sec. user=mdettweiler [2012-11-14 00:22:02] 897*2^1234372-1 is not prime. Res64: 5DC4D1B09D96913A Time : 0.0 sec. user=mdettweiler [2012-11-14 00:22:03] 929*2^1234372-1 is not prime. Res64: 8C5DE747A3DFAB91 Time : 0.0 sec. user=mdettweiler [2012-11-14 00:32:30] 771*2^1234373-1 is not prime. Res64: 8A2A6380D47E1FFB Time : 0.0 sec. user=mdettweiler [2012-11-14 00:32:31] 789*2^1234373-1 is not prime. Res64: 1BCE515E52E3401E Time : 0.0 sec. user=mdettweiler [2012-11-14 00:43:39] 871*2^1234373-1 is not prime. Res64: CDE73C0D5DE49DC8 Time : 0.0 sec. user=mdettweiler [2012-11-14 00:43:39] 981*2^1234373-1 is not prime. Res64: 95561747BD9EE3F1 Time : 0.0 sec. user=juhehe [2012-11-14 00:46:36] 657*2^1234373-1 is not prime. Res64: 93B519DC9276B9EB Time : 0.0 sec. user=mdettweiler [2012-11-14 00:54:02] 621*2^1234374-1 is not prime. Res64: E0B49A0753A1326E Time : 0.0 sec. user=mdettweiler [2012-11-14 00:54:02] 651*2^1234374-1 is not prime. Res64: 45F0A4803C50A7E8 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:04:55] 683*2^1234374-1 is not prime. Res64: B7A09B8F20B62270 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:04:57] 765*2^1234374-1 is not prime. Res64: C7553E0848E1B43D Time : 0.0 sec. user=mdettweiler [2012-11-14 01:15:11] 861*2^1234374-1 is not prime. Res64: 1D70CC19CABD746F Time : 0.0 sec. user=mdettweiler [2012-11-14 01:15:12] 873*2^1234374-1 is not prime. Res64: 3EF8CA23320AF755 Time : 0.0 sec. user=juhehe [2012-11-14 01:22:33] 851*2^1234374-1 is not prime. Res64: E6259EA56401268A Time : 0.0 sec. user=mdettweiler [2012-11-14 01:26:25] 887*2^1234374-1 is not prime. Res64: 2F3DB626B0ED9DF0 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:26:25] 673*2^1234375-1 is not prime. Res64: 11EC1B02599CF05F Time : 0.0 sec. user=juhehe [2012-11-14 01:34:07] 875*2^1234374-1 is not prime. Res64: 1E9ADAB90AEAE134 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:36:45] 693*2^1234375-1 is not prime. Res64: BB2A7DE0A8BB6F92 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:36:46] 735*2^1234375-1 is not prime. Res64: 5CECAA5071D5D8BF Time : 0.0 sec. user=mdettweiler [2012-11-14 01:47:35] 793*2^1234375-1 is not prime. Res64: 28DF45185A535A4E Time : 0.0 sec. user=mdettweiler [2012-11-14 01:47:35] 841*2^1234375-1 is not prime. Res64: 57FCAF0F5D3143EE Time : 0.0 sec. user=mdettweiler [2012-11-14 01:57:56] 843*2^1234375-1 is not prime. Res64: F8862171EBE10351 Time : 0.0 sec. user=mdettweiler [2012-11-14 01:57:56] 883*2^1234375-1 is not prime. Res64: 57A8E11F5DDBFABC Time : 0.0 sec. user=juhehe [2012-11-14 01:59:14] 741*2^1234375-1 is not prime. Res64: 58FD2DA60191B003 Time : 0.0 sec. user=mdettweiler [2012-11-14 02:08:45] 885*2^1234375-1 is not prime. Res64: EECAD3FCB79DCD76 Time : 0.0 sec. user=mdettweiler [2012-11-14 02:08:46] 891*2^1234375-1 is not prime. Res64: AE2CBB7C720E105D Time : 0.0 sec. user=mdettweiler [2012-11-14 02:19:09] 635*2^1234376-1 is not prime. Res64: ED2AE4EAF6AE62EB Time : 0.0 sec. user=mdettweiler [2012-11-14 02:19:12] 785*2^1234376-1 is not prime. Res64: DEB89F2C8EB316DD Time : 0.0 sec. user=mdettweiler [2012-11-14 02:29:59] 897*2^1234376-1 is not prime. Res64: 6A59AE2900BABECF Time : 0.0 sec. user=mdettweiler [2012-11-14 02:29:59] 969*2^1234376-1 is not prime. Res64: 312C521984786274 Time : 0.0 sec. user=juhehe [2012-11-14 02:35:39] 837*2^1234376-1 is not prime. Res64: F5423FB0AB38760E Time : 0.0 sec. user=mdettweiler [2012-11-14 02:40:44] 625*2^1234377-1 is not prime. Res64: 5174DB133F2F1934 Time : 0.0 sec. user=mdettweiler [2012-11-14 02:40:52] 627*2^1234377-1 is not prime. Res64: AA9FE063CC28BDFE Time : 0.0 sec. user=mdettweiler [2012-11-14 02:51:08] 805*2^1234377-1 is not prime. Res64: 80478FFB530E44BF Time : 0.0 sec. user=mdettweiler [2012-11-14 02:51:11] 837*2^1234377-1 is not prime. Res64: 7D14438E884E125B Time : 0.0 sec. user=mdettweiler [2012-11-14 03:02:39] 915*2^1234377-1 is not prime. Res64: 9BE64FE6CB58666B Time : 0.0 sec. user=mdettweiler [2012-11-14 03:02:41] 605*2^1234378-1 is not prime. Res64: 4A93B1817843E372 Time : 0.0 sec. user=juhehe [2012-11-14 03:12:03] 889*2^1234377-1 is not prime. Res64: 8E3ECB231D704837 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:12:46] 657*2^1234378-1 is not prime. Res64: 2533D423A4819472 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:12:47] 867*2^1234378-1 is not prime. Res64: 836993E237AA9F4F Time : 0.0 sec. user=mdettweiler [2012-11-14 03:24:14] 911*2^1234378-1 is not prime. Res64: F870778087D8E787 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:24:14] 745*2^1234379-1 is not prime. Res64: DC609E8CCE15D8C5 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:33:56] 759*2^1234379-1 is not prime. Res64: F33295878DED9F50 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:33:58] 789*2^1234379-1 is not prime. Res64: CCB42A790AE1D50E Time : 0.0 sec. user=mdettweiler [2012-11-14 03:45:23] 955*2^1234379-1 is not prime. Res64: 18250EE61A532A74 Time : 0.0 sec. user=mdettweiler [2012-11-14 03:45:24] 609*2^1234380-1 is not prime. Res64: B3E43EFEDA9661C2 Time : 0.0 sec. user=juhehe [2012-11-14 03:48:29] 753*2^1234379-1 is not prime. Res64: 58A84579BE2130E1 Time : 0.0 sec. user=juhehe [2012-11-14 03:53:27] 885*2^1234379-1 is not prime. Res64: 0CBBE9E080A3BF8A Time : 0.0 sec. user=mdettweiler [2012-11-14 03:55:22] 623*2^1234380-1 is not prime. Res64: F90E92D84AC888BE Time : 0.0 sec. user=mdettweiler [2012-11-14 03:55:22] 693*2^1234380-1 is not prime. Res64: E1162E2D637E0225 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:06:36] 707*2^1234380-1 is not prime. Res64: 6BD2587BFC047CF3 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:06:38] 765*2^1234380-1 is not prime. Res64: 30265D6CF48487A3 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:16:33] 839*2^1234380-1 is not prime. Res64: EC1343441EB58C1C Time : 0.0 sec. user=mdettweiler [2012-11-14 04:16:35] 915*2^1234380-1 is not prime. Res64: 998F08F4538E09F1 Time : 0.0 sec. user=juhehe [2012-11-14 04:24:49] 803*2^1234380-1 is not prime. Res64: F9E466D2024F107A Time : 0.0 sec. user=mdettweiler [2012-11-14 04:27:51] 965*2^1234380-1 is not prime. Res64: 86734685B0376A0D Time : 0.0 sec. user=mdettweiler [2012-11-14 04:27:51] 999*2^1234380-1 is not prime. Res64: C33905E9C99F920D Time : 0.0 sec. user=mdettweiler [2012-11-14 04:38:04] 601*2^1234381-1 is not prime. Res64: 14B8CB0E60A5AB27 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:38:08] 681*2^1234381-1 is not prime. Res64: 3050D76ED9388B81 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:49:02] 901*2^1234381-1 is not prime. Res64: D42DEDF125519B00 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:49:02] 945*2^1234381-1 is not prime. Res64: FA0150D1F6FC6CD7 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:59:30] 951*2^1234381-1 is not prime. Res64: 7248A3043ED16297 Time : 0.0 sec. user=mdettweiler [2012-11-14 04:59:31] 979*2^1234381-1 is not prime. Res64: AF68454CFF8EE9A8 Time : 0.0 sec. user=juhehe [2012-11-14 05:01:21] 741*2^1234381-1 is not prime. Res64: ACEA9B0FA407A93F Time : 0.0 sec. user=mdettweiler [2012-11-14 05:10:13] 675*2^1234382-1 is not prime. Res64: F7539E0DA3FEA880 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:10:14] 713*2^1234382-1 is not prime. Res64: CE253FE3F45FA293 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:20:43] 797*2^1234382-1 is not prime. Res64: E11D4DBDB4E75434 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:20:44] 815*2^1234382-1 is not prime. Res64: 0082F7AB1B0C6B06 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:31:56] 609*2^1234383-1 is not prime. Res64: 8EADECC9EA92A874 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:31:56] 643*2^1234383-1 is not prime. Res64: 28F7789905A3572C Time : 0.0 sec. user=juhehe [2012-11-14 05:37:45] 935*2^1234382-1 is not prime. Res64: C69FC576B384B08B Time : 0.0 sec. user=juhehe [2012-11-14 05:38:37] 987*2^1234382-1 is not prime. Res64: 599479E2439E6B61 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:41:54] 679*2^1234383-1 is not prime. Res64: EC91E9FE2ABEA27F Time : 0.0 sec. user=mdettweiler [2012-11-14 05:41:54] 745*2^1234383-1 is not prime. Res64: 6DD73F6B101F3511 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:53:08] 921*2^1234383-1 is not prime. Res64: E3B8E0203F70C406 Time : 0.0 sec. user=mdettweiler [2012-11-14 05:53:08] 949*2^1234383-1 is not prime. Res64: 9D9EA2EB1E56D701 Time : 0.0 sec. user=mdettweiler [2012-11-14 06:03:04] 635*2^1234384-1 is not prime. Res64: EC06B33B6D1C12AE Time : 0.0 sec. user=mdettweiler [2012-11-14 06:03:04] 695*2^1234384-1 is not prime. Res64: 7A10FAE158604645 Time : 0.0 sec. user=juhehe [2012-11-14 06:14:13] 951*2^1234383-1 is not prime. Res64: C9D00289E82CB8C4 Time : 0.0 sec. user=mdettweiler [2012-11-14 06:14:18] 929*2^1234384-1 is not prime. Res64: 8CB29AD57400605D Time : 0.0 sec. user=mdettweiler [2012-11-14 06:14:19] 939*2^1234384-1 is not prime. Res64: 0BDB60068CA480EE Time : 0.0 sec. user=mdettweiler [2012-11-14 06:24:20] 601*2^1234385-1 is not prime. Res64: 7C35B3802444A04C Time : 0.0 sec. user=mdettweiler [2012-11-14 06:24:20] 669*2^1234385-1 is not prime. Res64: 24BA6E7590E103AD Time : 0.0 sec. user=mdettweiler [2012-11-14 06:35:34] 841*2^1234385-1 is not prime. Res64: 57015D22DABBE25E Time : 0.0 sec. user=mdettweiler [2012-11-14 06:35:35] 907*2^1234385-1 is not prime. Res64: C6136B6F81FECD52 Time : 0.0 sec. user=mdettweiler [2012-11-14 06:45:28] 937*2^1234385-1 is not prime. Res64: 89DA5DA3B0BBDAD8 Time : 0.0 sec. user=mdettweiler [2012-11-14 06:45:29] 955*2^1234385-1 is not prime. Res64: 2C6EA00D4D591A52 Time : 0.0 sec. user=juhehe [2012-11-14 06:50:47] 799*2^1234385-1 is not prime. Res64: 2B319B6E247D6AAF Time : 0.0 sec. user=mdettweiler [2012-11-14 06:56:43] 705*2^1234386-1 is not prime. Res64: 04C882864F4FCC7D Time : 0.0 sec. user=mdettweiler [2012-11-14 06:56:43] 717*2^1234386-1 is not prime. Res64: 80C11FA53444E124 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:06:38] 725*2^1234386-1 is not prime. Res64: 92E722786D658A64 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:06:38] 825*2^1234386-1 is not prime. Res64: EC32447C7FA892FF Time : 0.0 sec. user=mdettweiler [2012-11-14 07:17:53] 903*2^1234386-1 is not prime. Res64: A31F73916FC99049 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:17:54] 699*2^1234387-1 is not prime. Res64: 666AD3A3A57DFFF1 Time : 0.0 sec. user=juhehe [2012-11-14 07:24:03] 843*2^1234386-1 is not prime. Res64: 986A979B43A466BA Time : 0.0 sec. user=juhehe [2012-11-14 07:27:09] 893*2^1234386-1 is not prime. Res64: D6D736346A0D5A96 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:27:49] 735*2^1234387-1 is not prime. Res64: 53EBE244CC69D3DB Time : 0.0 sec. user=mdettweiler [2012-11-14 07:27:50] 895*2^1234387-1 is not prime. Res64: FFE49DD4444A1CB8 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:39:15] 647*2^1234388-1 is not prime. Res64: BAC6369F28508C40 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:39:15] 665*2^1234388-1 is not prime. Res64: 7C794AED557D4CF6 Time : 0.0 sec. user=mdettweiler [2012-11-14 07:48:59] 827*2^1234388-1 is not prime. Res64: 29D2A49853BE374B Time : 0.0 sec. user=mdettweiler [2012-11-14 07:48:59] 999*2^1234388-1 is not prime. Res64: A9A622E5AADBEDA1 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:00:23] 787*2^1234389-1 is not prime. Res64: 9C8B6625ED4207A1 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:00:23] 795*2^1234389-1 is not prime. Res64: CFB6FD8260A31619 Time : 0.0 sec. user=juhehe [2012-11-14 08:03:36] 669*2^1234388-1 is not prime. Res64: F54A6A3400352371 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:10:07] 835*2^1234389-1 is not prime. Res64: 019C5A9F57F152C4 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:10:09] 907*2^1234389-1 is not prime. Res64: EE797798156BC2E8 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:21:31] 657*2^1234390-1 is not prime. Res64: 6A681E2BAB886269 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:21:32] 801*2^1234390-1 is not prime. Res64: 704003FB00357D2C Time : 0.0 sec. user=mdettweiler [2012-11-14 08:31:25] 855*2^1234390-1 is not prime. Res64: C55CA96DFBC40B00 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:31:26] 873*2^1234390-1 is not prime. Res64: 7D35E6E65F043BCE Time : 0.0 sec. user=juhehe [2012-11-14 08:34:42] 919*2^1234389-1 is not prime. Res64: 0917C125446C6A51 Time : 0.0 sec. user=juhehe [2012-11-14 08:40:50] 821*2^1234390-1 is not prime. Res64: 213B9D4DED7B2F3A Time : 0.0 sec. user=mdettweiler [2012-11-14 08:42:40] 987*2^1234390-1 is not prime. Res64: 31A9CB0F1788DD88 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:42:40] 705*2^1234391-1 is not prime. Res64: 6BDC272C97AA7493 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:52:33] 759*2^1234391-1 is not prime. Res64: AA573139AAC9B072 Time : 0.0 sec. user=mdettweiler [2012-11-14 08:52:33] 805*2^1234391-1 is not prime. Res64: 1EA1879BC367EE5C Time : 0.0 sec. user=mdettweiler [2012-11-14 09:03:48] 759*2^1234392-1 is not prime. Res64: D2FC96A90C4009CF Time : 0.0 sec. user=mdettweiler [2012-11-14 09:03:49] 767*2^1234392-1 is not prime. Res64: DF3A735952A64873 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:13:42] 867*2^1234392-1 is not prime. Res64: 29D13E14B1AB1168 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:13:44] 875*2^1234392-1 is not prime. Res64: E8F02821B863CA04 Time : 0.0 sec. user=juhehe [2012-11-14 09:23:00] 813*2^1234391-1 is not prime. Res64: 7D76E328C0B53460 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:25:01] 959*2^1234392-1 is not prime. Res64: 37AD258A40F6E511 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:25:01] 771*2^1234393-1 is not prime. Res64: B5F84F6CA31D2110 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:35:03] 817*2^1234393-1 is not prime. Res64: 180E97FBF907CE2C Time : 0.0 sec. user=mdettweiler [2012-11-14 09:35:03] 877*2^1234393-1 is not prime. Res64: 968839232C3E6E1F Time : 0.0 sec. user=mdettweiler [2012-11-14 09:46:10] 755*2^1234394-1 is not prime. Res64: C0A8ABA8D86A23C5 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:46:10] 785*2^1234394-1 is not prime. Res64: 868CE44322FF0BD4 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:56:12] 825*2^1234394-1 is not prime. Res64: E2DB1444F79FDE76 Time : 0.0 sec. user=mdettweiler [2012-11-14 09:56:12] 873*2^1234394-1 is not prime. Res64: CF71CD007595116D Time : 0.0 sec. user=juhehe [2012-11-14 10:05:13] 705*2^1234394-1 is not prime. Res64: F07A9DDED95ABF6C Time : 0.0 sec. user=mdettweiler [2012-11-14 10:07:19] 935*2^1234394-1 is not prime. Res64: 0CF4A2B507B94A02 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:07:20] 983*2^1234394-1 is not prime. Res64: F5AF9ADDDE05F36F Time : 0.0 sec. user=mdettweiler [2012-11-14 10:17:21] 601*2^1234395-1 is not prime. Res64: 92AE7CBF5DD8E389 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:17:22] 679*2^1234395-1 is not prime. Res64: 20BDC700E27C36C8 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:28:37] 805*2^1234395-1 is not prime. Res64: EB9EA223EDF5899B Time : 0.0 sec. user=mdettweiler [2012-11-14 10:28:37] 849*2^1234395-1 is not prime. Res64: D39BACE4FD8F31A8 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:38:42] 861*2^1234395-1 is not prime. Res64: 2B5B590557BC8957 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:38:42] 973*2^1234395-1 is not prime. Res64: 75B36386FAF57D02 Time : 0.0 sec. user=juhehe [2012-11-14 10:47:35] 711*2^1234395-1 is not prime. Res64: C7BB3D7D961D523A Time : 0.0 sec. user=mdettweiler [2012-11-14 10:49:43] 991*2^1234395-1 is not prime. Res64: 63D0BE949C7BADF0 Time : 0.0 sec. user=mdettweiler [2012-11-14 10:49:43] 653*2^1234396-1 is not prime. Res64: 47ACD05C325556CC Time : 0.0 sec. user=mdettweiler [2012-11-14 10:59:45] 695*2^1234396-1 is not prime. Res64: C982EEB2892B1F8E Time : 0.0 sec. user=mdettweiler [2012-11-14 10:59:46] 707*2^1234396-1 is not prime. Res64: 0EC2AA20A50E2246 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:10:46] 755*2^1234396-1 is not prime. Res64: FA2B777564B33F8E Time : 0.0 sec. user=mdettweiler [2012-11-14 11:10:47] 803*2^1234396-1 is not prime. Res64: 06358B595434004E Time : 0.0 sec. user=mdettweiler [2012-11-14 11:20:49] 873*2^1234396-1 is not prime. Res64: 1F86AC20E4C221D6 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:20:49] 927*2^1234396-1 is not prime. Res64: 25D15AE495CDF667 Time : 0.0 sec. user=juhehe [2012-11-14 11:29:45] 743*2^1234396-1 is not prime. Res64: 8B7928C297D28464 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:31:53] 939*2^1234396-1 is not prime. Res64: 0DAC8CB428C362CB Time : 0.0 sec. user=mdettweiler [2012-11-14 11:31:54] 621*2^1234397-1 is not prime. Res64: 4F26F1DB1F682D9B Time : 0.0 sec. user=mdettweiler [2012-11-14 11:41:57] 727*2^1234397-1 is not prime. Res64: 9510B69010938F70 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:41:58] 771*2^1234397-1 is not prime. Res64: 1DEC21E397980FB6 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:52:57] 871*2^1234397-1 is not prime. Res64: 0B871D36536CB167 Time : 0.0 sec. user=mdettweiler [2012-11-14 11:52:57] 901*2^1234397-1 is not prime. Res64: FC2FF994D17C4A12 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:03:01] 967*2^1234397-1 is not prime. Res64: A8F4E59E465792F9 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:03:01] 985*2^1234397-1 is not prime. Res64: E76F22105B4C63BD Time : 0.0 sec. user=juhehe [2012-11-14 12:12:57] 819*2^1234397-1 is not prime. Res64: 8005DF61FF25F03F Time : 0.0 sec. user=mdettweiler [2012-11-14 12:14:05] 611*2^1234398-1 is not prime. Res64: 38D82AF98C4397A7 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:14:05] 833*2^1234398-1 is not prime. Res64: 83A9B20209BB3F4E Time : 0.0 sec. user=mdettweiler [2012-11-14 12:24:22] 963*2^1234398-1 is not prime. Res64: FECDD5B5125D953E Time : 0.0 sec. user=mdettweiler [2012-11-14 12:24:23] 977*2^1234398-1 is not prime. Res64: 117B42922207E4E3 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:35:27] 763*2^1234399-1 is not prime. Res64: F1DE1815C42BAF1D Time : 0.0 sec. user=mdettweiler [2012-11-14 12:35:28] 775*2^1234399-1 is not prime. Res64: 966218232ECC03BC Time : 0.0 sec. user=mdettweiler [2012-11-14 12:45:50] 829*2^1234399-1 is not prime. Res64: 7A4A6AD17241F25B Time : 0.0 sec. user=mdettweiler [2012-11-14 12:45:51] 615*2^1234400-1 is not prime. Res64: A377CD112B3FC5EE Time : 0.0 sec. user=juhehe [2012-11-14 12:56:08] 663*2^1234399-1 is not prime. Res64: 465933F177C91526 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:56:48] 725*2^1234400-1 is not prime. Res64: 731639ACF10291A0 Time : 0.0 sec. user=mdettweiler [2012-11-14 12:56:48] 777*2^1234400-1 is not prime. Res64: 4B3D9A59FC7138C5 Time : 0.0 sec. user=mdettweiler [2012-11-14 13:07:14] 813*2^1234400-1 is not prime. Res64: 24FFF3580CA32570 Time : 0.0 sec. user=mdettweiler [2012-11-14 13:07:16] 927*2^1234400-1 is not prime. Res64: ABB60792AA464D27 Time : 0.0 sec. user=mdettweiler [2012-11-14 13:18:10] 627*2^1234401-1 is not prime. Res64: 7276A21E74773A85 Time : 0.0 sec. user=mdettweiler [2012-11-14 13:18:11] 685*2^1234401-1 is not prime. Res64: 291EB57EB657B25C Time : 0.0 sec. user=mdettweiler [2012-11-14 13:29:05] 861*2^1234401-1 is not prime. Res64: 95CE245F84A17DDB Time : 0.0 sec. user=mdettweiler [2012-11-14 13:29:06] 951*2^1234401-1 is not prime. Res64: 1134C6F0F9ED1056 Time : 0.0 sec. user=juhehe [2012-11-14 13:39:19] 607*2^1234401-1 is not prime. Res64: 20ED66D8ECBB0F1F Time : 0.0 sec. user=mdettweiler [2012-11-14 13:39:52] 621*2^1234402-1 is not prime. Res64: DF5D29F1CE9826BD Time : 0.0 sec. user=mdettweiler [2012-11-14 13:39:53] 675*2^1234402-1 is not prime. Res64: DCAC3D6F854B8C90 Time : 0.0 sec. user=mdettweiler [2012-11-14 13:50:27] 713*2^1234402-1 is not prime. Res64: C3B9A4B5F5CA8F5E Time : 0.0 sec. user=mdettweiler [2012-11-14 13:50:28] 735*2^1234402-1 is not prime. Res64: 3F5019E4382F2309 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:02:03] 765*2^1234402-1 is not prime. Res64: 06376DFDB928D68E Time : 0.0 sec. user=mdettweiler [2012-11-14 14:02:03] 815*2^1234402-1 is not prime. Res64: 8F3A2114B78F4275 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:12:58] 857*2^1234402-1 is not prime. Res64: 065E884D085DA6C5 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:13:00] 885*2^1234402-1 is not prime. Res64: 51768C8265ADA3BB Time : 0.0 sec. user=mdettweiler [2012-11-14 14:24:05] 981*2^1234402-1 is not prime. Res64: A032EA22CF87E998 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:24:06] 1001*2^1234402-1 is not prime. Res64: 24FC61DC527F540B Time : 0.0 sec. user=mdettweiler [2012-11-14 14:34:47] 621*2^1234403-1 is not prime. Res64: 9302E1E2F1A2E2DB Time : 0.0 sec. user=mdettweiler [2012-11-14 14:34:47] 649*2^1234403-1 is not prime. Res64: 783693403C137895 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:45:49] 811*2^1234403-1 is not prime. Res64: 676DEC23AE67A95D Time : 0.0 sec. user=mdettweiler [2012-11-14 14:45:50] 813*2^1234403-1 is not prime. Res64: 82C1DA440F18796F Time : 0.0 sec. user=juhehe [2012-11-14 14:48:49] 747*2^1234402-1 is not prime. Res64: 7709E61A4F74A783 Time : 0.0 sec. user=mdettweiler [2012-11-14 14:56:25] 985*2^1234403-1 is not prime. Res64: 7BF344D338DA7C8C Time : 0.0 sec. user=mdettweiler [2012-11-14 14:56:25] 993*2^1234403-1 is not prime. Res64: 290A3E41D799CC5E Time : 0.0 sec. user=mdettweiler [2012-11-14 15:07:11] 695*2^1234404-1 is not prime. Res64: CB28A9340B9D5D1D Time : 0.0 sec. user=mdettweiler [2012-11-14 15:07:13] 707*2^1234404-1 is not prime. Res64: F9480B498A78711C Time : 0.0 sec. user=mdettweiler [2012-11-14 15:17:37] 737*2^1234404-1 is not prime. Res64: 54BDFD7C3DFC0F7C Time : 0.0 sec. user=mdettweiler [2012-11-14 15:17:39] 773*2^1234404-1 is not prime. Res64: EB90834F5386ADE7 Time : 0.0 sec. user=mdettweiler [2012-11-14 15:28:34] 803*2^1234404-1 is not prime. Res64: 698941518B7F75F8 Time : 0.0 sec. user=mdettweiler [2012-11-14 15:28:35] 993*2^1234404-1 is not prime. Res64: 00AFC6E363FE90A0 Time : 0.0 sec. user=juhehe [2012-11-14 15:35:27] 719*2^1234404-1 is not prime. Res64: FB8C4FEA7E419E40 Time : 0.0 sec. user=mdettweiler [2012-11-14 15:39:12] 687*2^1234405-1 is not prime. Res64: 674E662351AA895F Time : 0.0 sec. user=mdettweiler [2012-11-14 15:39:12] 717*2^1234405-1 is not prime. Res64: 62F2E7A283BD30D6 Time : 0.0 sec. user=mdettweiler [2012-11-14 15:50:04] 871*2^1234405-1 is not prime. Res64: BAFBFE1A280AD871 Time : 0.0 sec. user=mdettweiler [2012-11-14 15:50:04] 937*2^1234405-1 is not prime. Res64: 1560B5607196DB65 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:00:40] 741*2^1234406-1 is not prime. Res64: E8005D670C9BF5B2 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:00:41] 773*2^1234406-1 is not prime. Res64: BD3084353E0F96C4 Time : 0.0 sec. user=juhehe [2012-11-14 16:07:52] 975*2^1234405-1 is not prime. Res64: 0A7FFCB7DB541879 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:11:33] 857*2^1234406-1 is not prime. Res64: 41FFBA60FD49BE5F Time : 0.0 sec. user=mdettweiler [2012-11-14 16:11:34] 873*2^1234406-1 is not prime. Res64: 55A7614231AC1C9F Time : 0.0 sec. user=juhehe [2012-11-14 16:13:41] 683*2^1234406-1 is not prime. Res64: A9501E5F151C3057 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:22:19] 711*2^1234407-1 is not prime. Res64: ADB5A6D0BE309435 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:22:19] 775*2^1234407-1 is not prime. Res64: B1D20BA629904C33 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:33:00] 743*2^1234408-1 is not prime. Res64: 909DC2C51BF84A1B Time : 0.0 sec. user=mdettweiler [2012-11-14 16:33:01] 833*2^1234408-1 is not prime. Res64: 2C84C07DF9C4D59F Time : 0.0 sec. user=mdettweiler [2012-11-14 16:43:49] 869*2^1234408-1 is not prime. Res64: A9DE16D1AFC36972 Time : 0.0 sec. user=mdettweiler [2012-11-14 16:43:49] 923*2^1234408-1 is not prime. Res64: D88E90C40DA7E1EE Time : 0.0 sec. user=juhehe [2012-11-14 16:44:04] 931*2^1234407-1 is not prime. Res64: E4FBB2C952E6412C Time : 0.0 sec. user=juhehe [2012-11-14 16:49:29] 855*2^1234408-1 is not prime. Res64: 671D7D3E5DF0DB4B Time : 0.0 sec. user=mdettweiler [2012-11-14 16:54:30] 933*2^1234408-1 is not prime. Res64: 2F499611D91E899F Time : 0.0 sec. user=mdettweiler [2012-11-14 16:54:31] 959*2^1234408-1 is not prime. Res64: 1B2A7D6FFD2A57A8 Time : 0.0 sec. user=mdettweiler [2012-11-14 17:05:18] 995*2^1234408-1 is not prime. Res64: 2185092997D35BDE Time : 0.0 sec. user=mdettweiler [2012-11-14 17:05:19] 601*2^1234409-1 is not prime. Res64: D61FAE74F0E7EE41 Time : 0.0 sec. user=mdettweiler [2012-11-14 17:16:01] 721*2^1234409-1 is not prime. Res64: 77568CA03F43109F Time : 0.0 sec. user=mdettweiler [2012-11-14 17:16:02] 741*2^1234409-1 is not prime. Res64: 886A448CE6BB71E9 Time : 0.0 sec. user=mdettweiler [2012-11-14 17:26:55] 745*2^1234409-1 is not prime. Res64: AA992EA57DF1F6DA Time : 0.0 sec. user=mdettweiler [2012-11-14 17:26:55] 775*2^1234409-1 is not prime. Res64: 3CF14B83368CF58E Time : 0.0 sec. user=mdettweiler [2012-11-14 17:37:48] 653*2^1234410-1 is not prime. Res64: 5C921F67C70C5D0C Time : 0.0 sec. user=mdettweiler [2012-11-14 17:37:49] 681*2^1234410-1 is not prime. Res64: 910B8C5681481BEE Time : 0.0 sec. user=mdettweiler [2012-11-14 17:48:35] 711*2^1234410-1 is not prime. Res64: 4B45AC3527B6C988 Time : 0.0 sec. user=mdettweiler [2012-11-14 17:48:36] 755*2^1234410-1 is not prime. Res64: EE966A0B45B531F3 Time : 0.0 sec. user=mdettweiler [2012-11-14 17:59:38] 845*2^1234410-1 is not prime. Res64: 967DE7AE5789E0BE Time : 0.0 sec. user=mdettweiler [2012-11-14 17:59:38] 851*2^1234410-1 is not prime. Res64: 7F4D1EDC3ECB552B Time : 0.0 sec. user=mdettweiler [2012-11-14 18:10:20] 861*2^1234410-1 is not prime. Res64: 71538D7931EC4DC9 Time : 0.0 sec. user=mdettweiler [2012-11-14 18:10:21] 867*2^1234410-1 is not prime. Res64: 4DF4179756C4B2DE Time : 0.0 sec. user=mdettweiler [2012-11-14 18:21:15] 887*2^1234410-1 is not prime. Res64: B9296252C1C9BE35 Time : 0.0 sec. user=mdettweiler [2012-11-14 18:21:16] 917*2^1234410-1 is not prime. Res64: A9547041DD108BEA Time : 0.0 sec. user=mdettweiler [2012-11-14 18:32:00] 951*2^1234410-1 is not prime. Res64: 36C84D51DFC8262B Time : 0.0 sec. user=mdettweiler [2012-11-14 18:32:00] 663*2^1234411-1 is not prime. Res64: CFAEB8F670D6F767 Time : 0.0 sec. user=mdettweiler [2012-11-14 18:43:05] 751*2^1234411-1 is not prime. Res64: 94F0C7B1CD1E517B Time : 0.0 sec. user=mdettweiler [2012-11-14 18:43:05] 835*2^1234411-1 is not prime. Res64: 85AE31D83EA64D93 Time : 0.0 sec. user=mdettweiler [2012-11-14 18:53:34] 855*2^1234411-1 is not prime. Res64: 87428B353634244A Time : 0.0 sec. user=mdettweiler [2012-11-14 18:53:34] 931*2^1234411-1 is not prime. Res64: 00C25693EC82BBCC Time : 0.0 sec. user=mdettweiler [2012-11-14 19:04:31] 943*2^1234411-1 is not prime. Res64: 794C87102A579C78 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:04:31] 951*2^1234411-1 is not prime. Res64: 63707163466F8EB7 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:15:00] 961*2^1234411-1 is not prime. Res64: 1AC9F451A5066246 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:15:01] 605*2^1234412-1 is not prime. Res64: F3782E5E81E1AA8F Time : 0.0 sec. user=mdettweiler [2012-11-14 19:25:56] 749*2^1234412-1 is not prime. Res64: 38865FCDF9A3CD71 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:25:57] 867*2^1234412-1 is not prime. Res64: DBB6FDB0A4C70703 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:36:49] 945*2^1234412-1 is not prime. Res64: 0CC530ADB8160015 Time : 0.0 sec. user=mdettweiler [2012-11-14 19:36:50] 963*2^1234412-1 is not prime. Res64: 861644642BEAD28B Time : 0.0 sec. user=mdettweiler [2012-11-14 19:47:19] 685*2^1234413-1 is not prime. Res64: DA2C6A1264D5C64E Time : 0.0 sec. user=mdettweiler [2012-11-14 19:47:20] 699*2^1234413-1 is not prime. Res64: 9DED9C67C226F21F Time : 0.0 sec. user=mdettweiler [2012-11-14 19:58:13] 745*2^1234413-1 is not prime. Res64: 4E76E6BF51C7ABFA Time : 0.0 sec. user=mdettweiler [2012-11-14 19:58:13] 891*2^1234413-1 is not prime. Res64: A46938B4B6377C41 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:08:44] 895*2^1234413-1 is not prime. Res64: DE8F83516F519220 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:08:45] 937*2^1234413-1 is not prime. Res64: D1F2056EB5264BC0 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:19:39] 945*2^1234413-1 is not prime. Res64: 6E0D2459F3AB288B Time : 0.0 sec. user=mdettweiler [2012-11-14 20:19:40] 773*2^1234414-1 is not prime. Res64: DDC2D16DB3884600 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:30:09] 791*2^1234414-1 is not prime. Res64: 4844E41C6F157AB5 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:30:10] 825*2^1234414-1 is not prime. Res64: B30E6B6E04166AB2 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:41:14] 861*2^1234414-1 is not prime. Res64: F50C75459CB89E2F Time : 0.0 sec. user=mdettweiler [2012-11-14 20:41:14] 881*2^1234414-1 is not prime. Res64: 70FEA70F41E57B87 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:51:36] 941*2^1234414-1 is not prime. Res64: 86F918153581C0F3 Time : 0.0 sec. user=mdettweiler [2012-11-14 20:51:36] 981*2^1234414-1 is not prime. Res64: BB99E0A29D55A0E5 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:02:41] 669*2^1234415-1 is not prime. Res64: 1A11C0A249A3EFE7 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:02:42] 673*2^1234415-1 is not prime. Res64: 9831E587B44936E8 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:13:04] 759*2^1234415-1 is not prime. Res64: 3E344F99AB9A8D9E Time : 0.0 sec. user=mdettweiler [2012-11-14 21:13:05] 969*2^1234415-1 is not prime. Res64: EF76283AD6CAFE1D Time : 0.0 sec. user=mdettweiler [2012-11-14 21:24:18] 999*2^1234415-1 is not prime. Res64: E7E8E5E5DCDA9D54 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:24:18] 707*2^1234416-1 is not prime. Res64: 12791A9EF05FE191 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:34:44] 779*2^1234416-1 is not prime. Res64: 3B565197DDE822E4 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:34:44] 923*2^1234416-1 is not prime. Res64: F48661ADF01E73F8 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:45:45] 601*2^1234417-1 is not prime. Res64: A23CA3A3B044B106 Time : 0.0 sec. user=mdettweiler [2012-11-14 21:45:45] 607*2^1234417-1 is not prime. Res64: CE16622940A43D6F Time : 0.0 sec. user=mdettweiler [2012-11-14 21:56:08] 609*2^1234417-1 is not prime. Res64: 081E500C74202C9C Time : 0.0 sec. user=mdettweiler [2012-11-14 21:56:09] 661*2^1234417-1 is not prime. Res64: 43215EFCDBDA89E4 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:07:10] 715*2^1234417-1 is not prime. Res64: 5B1C847F71144688 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:07:11] 727*2^1234417-1 is not prime. Res64: 3D0D13FBED24DA88 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:17:33] 807*2^1234417-1 is not prime. Res64: D5EBE9768DD46FB0 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:17:34] 841*2^1234417-1 is not prime. Res64: 1EAA633A0A487EDC Time : 0.0 sec. user=mdettweiler [2012-11-14 22:28:41] 665*2^1234418-1 is not prime. Res64: 10D907BF180C3930 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:28:41] 837*2^1234418-1 is not prime. Res64: 773F3F82AF76BBDB Time : 0.0 sec. user=mdettweiler [2012-11-14 22:39:17] 911*2^1234418-1 is not prime. Res64: BE1A7C078BA53A1A Time : 0.0 sec. user=mdettweiler [2012-11-14 22:39:17] 923*2^1234418-1 is not prime. Res64: 28ECDD49FE3C94DB Time : 0.0 sec. user=mdettweiler [2012-11-14 22:50:07] 951*2^1234418-1 is not prime. Res64: 36EF5C882CA02FD1 Time : 0.0 sec. user=mdettweiler [2012-11-14 22:50:07] 619*2^1234419-1 is not prime. Res64: E1D16E986A801C98 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:00:44] 675*2^1234419-1 is not prime. Res64: 4912E03FC6B4D458 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:00:45] 741*2^1234419-1 is not prime. Res64: 24245803B18FDCCB Time : 0.0 sec. user=mdettweiler [2012-11-14 23:11:33] 823*2^1234419-1 is not prime. Res64: 3329B41A767075D3 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:11:34] 859*2^1234419-1 is not prime. Res64: D706AC006620BDFA Time : 0.0 sec. user=mdettweiler [2012-11-14 23:22:22] 919*2^1234419-1 is not prime. Res64: A8F415DF048618DA Time : 0.0 sec. user=mdettweiler [2012-11-14 23:22:24] 943*2^1234419-1 is not prime. Res64: 3BF37CC95E5DBB46 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:33:00] 955*2^1234419-1 is not prime. Res64: 395809957835D775 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:33:00] 975*2^1234419-1 is not prime. Res64: A26307F503D8E16B Time : 0.0 sec. user=mdettweiler [2012-11-14 23:44:07] 609*2^1234420-1 is not prime. Res64: BFE9B5E04FB81392 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:44:07] 653*2^1234420-1 is not prime. Res64: 294D9473362C9494 Time : 0.0 sec. user=gd_barnes [2012-11-14 23:47:41] 603*2^1234420-1 is not prime. Res64: CB8303D258675EB9 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:54:25] 689*2^1234420-1 is not prime. Res64: 9A4F01F52BE1BED1 Time : 0.0 sec. user=mdettweiler [2012-11-14 23:54:25] 695*2^1234420-1 is not prime. Res64: B2C4C217459D7CE0 Time : 0.0 sec.