user=mdettweiler [2013-04-09 00:05:29] 675*2^1244246-1 is not prime. Res64: E701FCF95101FBC3 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:05:29] 861*2^1244246-1 is not prime. Res64: 0612D2A90A550DA7 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:05:30] 743*2^1244246-1 is not prime. Res64: 7AC82966EF35D7DB Time : 0.0 sec. user=mdettweiler [2013-04-09 00:05:30] 957*2^1244246-1 is not prime. Res64: 79B2D40ECAA522FF Time : 0.0 sec. user=juhehe [2013-04-09 00:22:29] 803*2^1244244-1 is not prime. Res64: 6C8339F92C971123 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:23:42] 987*2^1244246-1 is not prime. Res64: A755060BBFB33192 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:23:42] 823*2^1244247-1 is not prime. Res64: EBD8AD02DAA3C4E1 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:23:42] 615*2^1244247-1 is not prime. Res64: 4A055FE76137C540 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:23:43] 945*2^1244247-1 is not prime. Res64: F16884B1F5ABE3D0 Time : 0.0 sec. user=vaughan [2013-04-09 00:29:11] 975*2^1244245-1 is not prime. Res64: AEB89224DDFB058F Time : 0.0 sec. user=mdettweiler [2013-04-09 00:41:26] 623*2^1244248-1 is not prime. Res64: A53FD57263BB08B8 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:41:26] 975*2^1244247-1 is not prime. Res64: DBA3E9DB5756720A Time : 0.0 sec. user=mdettweiler [2013-04-09 00:41:26] 631*2^1244249-1 is not prime. Res64: 7B514F9208F7DF8A Time : 0.0 sec. user=mdettweiler [2013-04-09 00:41:26] 999*2^1244247-1 is not prime. Res64: 7E22525D3392A3BA Time : 0.0 sec. user=mdettweiler [2013-04-09 00:59:07] 795*2^1244249-1 is not prime. Res64: 983E3EEBEAA06049 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:59:08] 865*2^1244249-1 is not prime. Res64: 11CE4C7BBC0A2257 Time : 0.0 sec. user=mdettweiler [2013-04-09 00:59:08] 735*2^1244250-1 is not prime. Res64: B763E6604C9F525C Time : 0.0 sec. user=mdettweiler [2013-04-09 00:59:08] 773*2^1244250-1 is not prime. Res64: D1F960D16DD72B82 Time : 0.0 sec. user=vaughan [2013-04-09 01:07:25] 697*2^1244249-1 is not prime. Res64: 414935D24A2EF2AD Time : 0.0 sec. user=mdettweiler [2013-04-09 01:16:48] 825*2^1244250-1 is not prime. Res64: D060A5AA07032084 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:16:48] 957*2^1244250-1 is not prime. Res64: 79C2DEC2192C7DBE Time : 0.0 sec. user=mdettweiler [2013-04-09 01:16:49] 873*2^1244250-1 is not prime. Res64: BB38982A929D2853 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:16:49] 603*2^1244251-1 is not prime. Res64: 5A69E4DCA9DAA1FD Time : 0.0 sec. user=mdettweiler [2013-04-09 01:34:56] 819*2^1244251-1 is not prime. Res64: 2CF29CE4C93FB28F Time : 0.0 sec. user=mdettweiler [2013-04-09 01:34:56] 999*2^1244251-1 is not prime. Res64: F3E7006F20262625 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:34:57] 617*2^1244252-1 is not prime. Res64: FD792B06AB12D67F Time : 0.0 sec. user=mdettweiler [2013-04-09 01:34:57] 665*2^1244252-1 is not prime. Res64: 9069E1BA6EDB8AC0 Time : 0.0 sec. user=vaughan [2013-04-09 01:45:41] 769*2^1244251-1 is not prime. Res64: 315B66F1997A5D0A Time : 0.0 sec. user=juhehe [2013-04-09 01:46:06] 801*2^1244250-1 is not prime. Res64: CEE67E944A735FE1 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:52:36] 767*2^1244252-1 is not prime. Res64: FA5C13415204C7EA Time : 0.0 sec. user=mdettweiler [2013-04-09 01:52:37] 825*2^1244252-1 is not prime. Res64: 2DD2C808662D7E23 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:52:37] 735*2^1244253-1 is not prime. Res64: 63632DA21C9068E4 Time : 0.0 sec. user=mdettweiler [2013-04-09 01:52:37] 847*2^1244253-1 is not prime. Res64: A727A9D74BC6BD6E Time : 0.0 sec. user=mdettweiler [2013-04-09 02:10:15] 937*2^1244253-1 is not prime. Res64: 866881C2B754A813 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:10:15] 621*2^1244254-1 is not prime. Res64: 66D345322727CA16 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:10:16] 951*2^1244253-1 is not prime. Res64: DDACAAF8449221A2 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:10:16] 635*2^1244254-1 is not prime. Res64: 38EB005BE9636BD2 Time : 0.0 sec. user=vaughan [2013-04-09 02:23:56] 915*2^1244253-1 is not prime. Res64: 46120F6E836AB43D Time : 0.0 sec. user=juhehe [2013-04-09 02:24:40] 677*2^1244252-1 is not prime. Res64: 61D5A4524CA2C0A3 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:27:58] 675*2^1244254-1 is not prime. Res64: 25CE4F6F2ECB48B4 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:27:58] 815*2^1244254-1 is not prime. Res64: 84088A1EC9736152 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:27:58] 885*2^1244254-1 is not prime. Res64: 3F0E64AE26BE312B Time : 0.0 sec. user=mdettweiler [2013-04-09 02:27:59] 917*2^1244254-1 is not prime. Res64: 43E4409A6C4ADEB9 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:45:36] 721*2^1244255-1 is not prime. Res64: BBBEC4F3B839CA23 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:45:37] 971*2^1244254-1 is not prime. Res64: 7EE16E73AC097161 Time : 0.0 sec. user=mdettweiler [2013-04-09 02:45:37] 753*2^1244255-1 is not prime. Res64: E994570D19C836CE Time : 0.0 sec. user=mdettweiler [2013-04-09 02:45:37] 643*2^1244255-1 is not prime. Res64: 89DE72B14260CD67 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:03:43] 883*2^1244255-1 is not prime. Res64: 4E71DBFD7A747D06 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:03:44] 921*2^1244255-1 is not prime. Res64: FE35B198B41CAAEB Time : 0.0 sec. user=mdettweiler [2013-04-09 03:03:44] 963*2^1244255-1 is not prime. Res64: E1C815D1B13D97AD Time : 0.0 sec. user=mdettweiler [2013-04-09 03:03:45] 973*2^1244255-1 is not prime. Res64: 9AF9990A6D32EDD9 Time : 0.0 sec. user=vaughan [2013-04-09 03:07:12] 945*2^1244254-1 is not prime. Res64: EE8EDFAC208D1E46 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:21:40] 735*2^1244256-1 is not prime. Res64: BFD5907A03EE7454 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:21:40] 639*2^1244256-1 is not prime. Res64: E555E108CD2660A1 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:21:40] 737*2^1244256-1 is not prime. Res64: 519EE893360D611F Time : 0.0 sec. user=mdettweiler [2013-04-09 03:21:40] 705*2^1244256-1 is not prime. Res64: E2C4DBBAD01E4988 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:39:24] 945*2^1244256-1 is not prime. Res64: 6B8B2ED63FE75E84 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:39:25] 729*2^1244257-1 is not prime. Res64: 2943D357905392A1 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:39:25] 969*2^1244256-1 is not prime. Res64: 2F1AB0DAAA8FE11B Time : 0.0 sec. user=mdettweiler [2013-04-09 03:39:25] 771*2^1244257-1 is not prime. Res64: F63886C82D69C983 Time : 0.0 sec. user=vaughan [2013-04-09 03:45:30] 837*2^1244256-1 is not prime. Res64: 690300947ECA5C16 Time : 0.0 sec. user=juhehe [2013-04-09 03:55:11] 979*2^1244255-1 is not prime. Res64: D53CBEADA1CCCE27 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:57:08] 871*2^1244257-1 is not prime. Res64: 76F5FCD3D9F55AD0 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:57:08] 955*2^1244257-1 is not prime. Res64: EE1437057AE4F257 Time : 0.0 sec. user=mdettweiler [2013-04-09 03:57:08] 771*2^1244258-1 is not prime. Res64: D2A58F623DF2772A Time : 0.0 sec. user=mdettweiler [2013-04-09 03:57:08] 857*2^1244258-1 is not prime. Res64: FD38B6E67C040558 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:14:47] 625*2^1244259-1 is not prime. Res64: 4C5DF3502E2A0A6B Time : 0.0 sec. user=mdettweiler [2013-04-09 04:14:47] 745*2^1244259-1 is not prime. Res64: 71EE5091E16908D9 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:14:48] 675*2^1244259-1 is not prime. Res64: DF4855BD932AC25B Time : 0.0 sec. user=mdettweiler [2013-04-09 04:14:48] 895*2^1244259-1 is not prime. Res64: A53F96744E7B276D Time : 0.0 sec. user=vaughan [2013-04-09 04:23:47] 921*2^1244258-1 is not prime. Res64: 0FC39A691F7B2E09 Time : 0.0 sec. user=juhehe [2013-04-09 04:26:37] 829*2^1244257-1 is not prime. Res64: FCD1961F123C99BD Time : 0.0 sec. user=mdettweiler [2013-04-09 04:32:31] 887*2^1244260-1 is not prime. Res64: 9628AB1EB833A6CF Time : 0.0 sec. user=mdettweiler [2013-04-09 04:32:32] 913*2^1244259-1 is not prime. Res64: 28DF9369D1B8F2A5 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:32:33] 601*2^1244261-1 is not prime. Res64: 5B9EA4797D88B3D6 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:32:33] 689*2^1244260-1 is not prime. Res64: 00C6E29D04BA26A1 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:50:43] 741*2^1244261-1 is not prime. Res64: 8F5BD46A41513F05 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:50:44] 805*2^1244261-1 is not prime. Res64: 039224BFFA304848 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:50:44] 859*2^1244261-1 is not prime. Res64: AECC56C2FC6AD559 Time : 0.0 sec. user=mdettweiler [2013-04-09 04:50:45] 889*2^1244261-1 is not prime. Res64: 7811C6E4D968A228 Time : 0.0 sec. user=vaughan [2013-04-09 05:02:02] 735*2^1244261-1 is not prime. Res64: 391C7E8A65BE17E6 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:08:26] 939*2^1244261-1 is not prime. Res64: 8363ADF2FC9705DA Time : 0.0 sec. user=mdettweiler [2013-04-09 05:08:27] 957*2^1244261-1 is not prime. Res64: DF441B519F089B05 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:08:27] 677*2^1244262-1 is not prime. Res64: 09E8E5FC43B6AE33 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:08:27] 711*2^1244262-1 is not prime. Res64: 8D2B379A2B4EC745 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:26:13] 833*2^1244262-1 is not prime. Res64: AFE6BFF6453AF4DD Time : 0.0 sec. user=mdettweiler [2013-04-09 05:26:14] 875*2^1244262-1 is not prime. Res64: 54DE343023D735B1 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:26:14] 921*2^1244262-1 is not prime. Res64: 1C7DAE04594407AC Time : 0.0 sec. user=mdettweiler [2013-04-09 05:26:14] 965*2^1244262-1 is not prime. Res64: 28A09A607823C0A4 Time : 0.0 sec. user=vaughan [2013-04-09 05:40:20] 765*2^1244262-1 is not prime. Res64: 1C0E7A94D5E5F9A8 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:43:56] 619*2^1244263-1 is not prime. Res64: 6F5243048C9710BE Time : 0.0 sec. user=mdettweiler [2013-04-09 05:43:56] 853*2^1244263-1 is not prime. Res64: 214A6FD2FFED922D Time : 0.0 sec. user=mdettweiler [2013-04-09 05:43:56] 871*2^1244263-1 is not prime. Res64: D128D0AFD61F8CF8 Time : 0.0 sec. user=mdettweiler [2013-04-09 05:43:56] 933*2^1244263-1 is not prime. Res64: FE057131C3BC8086 Time : 0.0 sec. user=juhehe [2013-04-09 05:58:30] 755*2^1244262-1 is not prime. Res64: 81A00B541D93FD76 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:01:36] 951*2^1244263-1 is not prime. Res64: 668C47B8C5960739 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:01:37] 825*2^1244264-1 is not prime. Res64: 83C9F8D6A098BF9F Time : 0.0 sec. user=mdettweiler [2013-04-09 06:01:37] 635*2^1244264-1 is not prime. Res64: 4ABF7A119C0D6A79 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:01:38] 983*2^1244264-1 is not prime. Res64: 320B809DEC8DE0D3 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:19:39] 993*2^1244264-1 is not prime. Res64: 81B7A2D7E5BBBDBF Time : 0.0 sec. user=mdettweiler [2013-04-09 06:19:39] 709*2^1244265-1 is not prime. Res64: BDB86F08B6058E54 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:19:39] 789*2^1244265-1 is not prime. Res64: 7F83A5AFD7D45017 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:19:40] 795*2^1244265-1 is not prime. Res64: E22AE0BADF211AEA Time : 0.0 sec. user=vaughan [2013-04-09 06:23:46] 943*2^1244263-1 is not prime. Res64: D7485B633A51CD8E Time : 0.0 sec. user=juhehe [2013-04-09 06:34:52] 939*2^1244263-1 is not prime. Res64: 878E0A7CF65E0A9E Time : 0.0 sec. user=mdettweiler [2013-04-09 06:37:23] 919*2^1244265-1 is not prime. Res64: DAC7552A7126AAF2 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:37:23] 975*2^1244265-1 is not prime. Res64: 1A0882BF22CCD8E8 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:37:24] 611*2^1244266-1 is not prime. Res64: A55152B76DA61FED Time : 0.0 sec. user=mdettweiler [2013-04-09 06:37:24] 645*2^1244266-1 is not prime. Res64: 8B43AB63788E3F15 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:55:03] 675*2^1244266-1 is not prime. Res64: D4BB565A4D212B8E Time : 0.0 sec. user=mdettweiler [2013-04-09 06:55:04] 701*2^1244266-1 is not prime. Res64: A257D50965D3CC00 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:55:06] 735*2^1244266-1 is not prime. Res64: 04D24926CFC0D7F4 Time : 0.0 sec. user=mdettweiler [2013-04-09 06:55:07] 765*2^1244266-1 is not prime. Res64: A138F4DEA416BA2F Time : 0.0 sec. user=vaughan [2013-04-09 07:01:50] 657*2^1244266-1 is not prime. Res64: D2A48F1605AC973B Time : 0.0 sec. user=mdettweiler [2013-04-09 07:12:43] 773*2^1244266-1 is not prime. Res64: 9E8F05B7C5423F7C Time : 0.0 sec. user=mdettweiler [2013-04-09 07:12:44] 861*2^1244266-1 is not prime. Res64: 5B91A7615957DC04 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:12:46] 923*2^1244266-1 is not prime. Res64: 92234CD0EF0671A1 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:12:46] 975*2^1244266-1 is not prime. Res64: 110899BA898DB87F Time : 0.0 sec. user=mdettweiler [2013-04-09 07:30:28] 633*2^1244268-1 is not prime. Res64: A083B1B735E49934 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:30:28] 705*2^1244268-1 is not prime. Res64: E33FF1F1E84A58FB Time : 0.0 sec. user=mdettweiler [2013-04-09 07:30:30] 783*2^1244268-1 is not prime. Res64: 7D6959408F026E2B Time : 0.0 sec. user=mdettweiler [2013-04-09 07:30:31] 843*2^1244268-1 is not prime. Res64: 5B18E0B9E89EB529 Time : 0.0 sec. user=vaughan [2013-04-09 07:44:59] 985*2^1244267-1 is not prime. Res64: CEBB07D39C18D188 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:48:12] 867*2^1244268-1 is not prime. Res64: 99F03C857E277102 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:48:12] 899*2^1244268-1 is not prime. Res64: A1C730D700883CF4 Time : 0.0 sec. user=mdettweiler [2013-04-09 07:48:13] 609*2^1244269-1 is not prime. Res64: 250F370D53A0A7CA Time : 0.0 sec. user=mdettweiler [2013-04-09 07:48:14] 625*2^1244269-1 is not prime. Res64: EC06CE5545701844 Time : 0.0 sec. user=juhehe [2013-04-09 08:01:35] 615*2^1244267-1 is not prime. Res64: AAD908E9DBF41012 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:05:51] 895*2^1244269-1 is not prime. Res64: 9CC8ADBFB3CE753B Time : 0.0 sec. user=mdettweiler [2013-04-09 08:05:52] 925*2^1244269-1 is not prime. Res64: 8A48F3B6936E3127 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:05:53] 987*2^1244269-1 is not prime. Res64: 341767C53D558907 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:05:54] 717*2^1244270-1 is not prime. Res64: 351F2EB9732EF59C Time : 0.0 sec. user=vaughan [2013-04-09 08:23:05] 877*2^1244269-1 is not prime. Res64: 581786B83FB5D142 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:23:39] 753*2^1244270-1 is not prime. Res64: F4C3EEDD8A0DE8E5 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:23:40] 795*2^1244270-1 is not prime. Res64: 61238F80B09FC62D Time : 0.0 sec. user=mdettweiler [2013-04-09 08:23:40] 767*2^1244270-1 is not prime. Res64: E9651E542E9AB7D4 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:23:40] 813*2^1244270-1 is not prime. Res64: 5DC25462B94968B7 Time : 0.0 sec. user=juhehe [2013-04-09 08:37:05] 831*2^1244269-1 is not prime. Res64: 093A459D3EC7E487 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:41:20] 921*2^1244270-1 is not prime. Res64: E97724E1BCB26C2D Time : 0.0 sec. user=mdettweiler [2013-04-09 08:41:20] 703*2^1244271-1 is not prime. Res64: 146FD36A5FC748E7 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:41:21] 873*2^1244271-1 is not prime. Res64: 9FC7A7596DA69737 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:41:21] 895*2^1244271-1 is not prime. Res64: 16920899FDC31B7E Time : 0.0 sec. user=mdettweiler [2013-04-09 08:59:01] 615*2^1244272-1 is not prime. Res64: 966408620CD925B8 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:59:01] 675*2^1244272-1 is not prime. Res64: 0C35F88D50DB7A69 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:59:01] 645*2^1244272-1 is not prime. Res64: 6EF755E4D68B2E90 Time : 0.0 sec. user=mdettweiler [2013-04-09 08:59:01] 677*2^1244272-1 is not prime. Res64: 64F90D0ED9CD034B Time : 0.0 sec. user=vaughan [2013-04-09 09:01:10] 857*2^1244270-1 is not prime. Res64: DB938193D07C93DD Time : 0.0 sec. user=mdettweiler [2013-04-09 09:16:42] 797*2^1244272-1 is not prime. Res64: 8D2A2DB1092AC23F Time : 0.0 sec. user=mdettweiler [2013-04-09 09:16:43] 869*2^1244272-1 is not prime. Res64: 532508729712D69F Time : 0.0 sec. user=mdettweiler [2013-04-09 09:16:43] 795*2^1244273-1 is not prime. Res64: 9C45439A8B226244 Time : 0.0 sec. user=mdettweiler [2013-04-09 09:16:44] 871*2^1244273-1 is not prime. Res64: 4A34898833E79F07 Time : 0.0 sec. user=mdettweiler [2013-04-09 09:34:31] 723*2^1244274-1 is not prime. Res64: DE21BB218D2374B1 Time : 0.0 sec. user=mdettweiler [2013-04-09 09:34:31] 955*2^1244273-1 is not prime. Res64: 348A729728429019 Time : 0.0 sec. user=mdettweiler [2013-04-09 09:34:31] 737*2^1244274-1 is not prime. Res64: B79FF476962C319E Time : 0.0 sec. user=mdettweiler [2013-04-09 09:34:31] 711*2^1244274-1 is not prime. Res64: 44BB54EFE54BD510 Time : 0.0 sec. user=vaughan [2013-04-09 09:39:15] 897*2^1244273-1 is not prime. Res64: F781C369F96BD17F Time : 0.0 sec. user=mdettweiler [2013-04-09 09:52:17] 875*2^1244274-1 is not prime. Res64: 5BF21BE702D6198A Time : 0.0 sec. user=mdettweiler [2013-04-09 09:52:17] 893*2^1244274-1 is not prime. Res64: 1F1A510B9903B37F Time : 0.0 sec. user=mdettweiler [2013-04-09 09:52:18] 903*2^1244274-1 is not prime. Res64: B6791DE30072ABCD Time : 0.0 sec. user=mdettweiler [2013-04-09 09:52:18] 951*2^1244274-1 is not prime. Res64: CAF5A5A142C57233 Time : 0.0 sec. user=mdettweiler [2013-04-09 10:09:58] 673*2^1244275-1 is not prime. Res64: 2D743D1EA9FEF0DD Time : 0.0 sec. user=mdettweiler [2013-04-09 10:09:59] 675*2^1244275-1 is not prime. Res64: DAD128206FC724BA Time : 0.0 sec. user=mdettweiler [2013-04-09 10:10:00] 733*2^1244275-1 is not prime. Res64: 39CD0BD41E79DE9D Time : 0.0 sec. user=mdettweiler [2013-04-09 10:10:02] 805*2^1244275-1 is not prime. Res64: 21E4FAD5A6DF80E7 Time : 0.0 sec. user=juhehe [2013-04-09 10:10:45] 945*2^1244273-1 is not prime. Res64: 531F48AAD9149903 Time : 0.0 sec. user=vaughan [2013-04-09 10:17:23] 645*2^1244275-1 is not prime. Res64: D8D032A7E450128A Time : 0.0 sec. user=mdettweiler [2013-04-09 10:27:46] 939*2^1244275-1 is not prime. Res64: 7944CDE499920A5D Time : 0.0 sec. user=mdettweiler [2013-04-09 10:27:46] 603*2^1244276-1 is not prime. Res64: DD2178F907626161 Time : 0.0 sec. user=mdettweiler [2013-04-09 10:27:46] 609*2^1244276-1 is not prime. Res64: 29406E0C3E7FED73 Time : 0.0 sec. user=mdettweiler [2013-04-09 10:27:47] 617*2^1244276-1 is not prime. Res64: A9D641A49F801698 Time : 0.0 sec. user=juhehe [2013-04-09 10:39:51] 639*2^1244275-1 is not prime. Res64: 6A0DEAC3D66F83A4 Time : 0.0 sec. user=mdettweiler [2013-04-09 10:45:28] 669*2^1244276-1 is not prime. Res64: 8F6D160BD0ECDAF0 Time : 0.0 sec. user=mdettweiler [2013-04-09 10:45:28] 683*2^1244276-1 is not prime. Res64: 792A82DD7018847C Time : 0.0 sec. user=mdettweiler [2013-04-09 10:45:28] 639*2^1244277-1 is not prime. Res64: 4079E1F957E31DFF Time : 0.0 sec. user=mdettweiler [2013-04-09 10:45:28] 669*2^1244277-1 is not prime. Res64: ABF7B53ECAEC69EF Time : 0.0 sec. user=vaughan [2013-04-09 10:55:30] 633*2^1244276-1 is not prime. Res64: 83F62EDFA255FED4 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:03:10] 717*2^1244277-1 is not prime. Res64: 3C1D37DC8B26FECC Time : 0.0 sec. user=mdettweiler [2013-04-09 11:03:11] 805*2^1244277-1 is not prime. Res64: 6ABA28D20A263993 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:03:12] 871*2^1244277-1 is not prime. Res64: 2A28751BB00A1974 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:03:12] 885*2^1244277-1 is not prime. Res64: 836AFDD0E8C8E2A3 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:20:54] 961*2^1244277-1 is not prime. Res64: 66B7F13D77E5A2D8 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:20:54] 737*2^1244278-1 is not prime. Res64: CE418FF4BE7E849B Time : 0.0 sec. user=mdettweiler [2013-04-09 11:20:55] 777*2^1244278-1 is not prime. Res64: E7330B33FD7C985B Time : 0.0 sec. user=mdettweiler [2013-04-09 11:20:55] 609*2^1244279-1 is not prime. Res64: 52850EF7E17048F2 Time : 0.0 sec. user=vaughan [2013-04-09 11:33:35] 901*2^1244277-1 is not prime. Res64: DA6976D436B597B6 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:38:45] 705*2^1244279-1 is not prime. Res64: 1756C1B7E4086E2C Time : 0.0 sec. user=mdettweiler [2013-04-09 11:38:45] 889*2^1244279-1 is not prime. Res64: 8CA13406A9269D1D Time : 0.0 sec. user=mdettweiler [2013-04-09 11:38:46] 735*2^1244279-1 is not prime. Res64: B571140A497F1C3D Time : 0.0 sec. user=mdettweiler [2013-04-09 11:38:46] 895*2^1244279-1 is not prime. Res64: 0CA760870F1B4002 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:56:33] 863*2^1244280-1 is not prime. Res64: CDF03EEC52355CE2 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:56:33] 725*2^1244280-1 is not prime. Res64: D86632CC38FC2107 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:56:33] 873*2^1244280-1 is not prime. Res64: B02F1805561CD739 Time : 0.0 sec. user=mdettweiler [2013-04-09 11:56:33] 849*2^1244280-1 is not prime. Res64: 3024EAB63DC5AB6A Time : 0.0 sec. user=vaughan [2013-04-09 12:11:42] 717*2^1244280-1 is not prime. Res64: 12B05CDBCAFF4498 Time : 0.0 sec. user=juhehe [2013-04-09 12:13:28] 663*2^1244279-1 is not prime. Res64: CE862B3B65B287F2 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:14:23] 915*2^1244280-1 is not prime. Res64: F74E9DB56AFC0385 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:14:23] 625*2^1244281-1 is not prime. Res64: 11457E8034D02BB9 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:14:24] 945*2^1244281-1 is not prime. Res64: 39F4E9184822F606 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:14:24] 657*2^1244282-1 is not prime. Res64: 85AF4021CC5D9D36 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:32:04] 945*2^1244282-1 is not prime. Res64: 5AAE02FDD5143528 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:32:04] 951*2^1244282-1 is not prime. Res64: 2C1C51C39865D686 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:32:05] 813*2^1244282-1 is not prime. Res64: AA2366EFA8D2163E Time : 0.0 sec. user=mdettweiler [2013-04-09 12:32:05] 827*2^1244282-1 is not prime. Res64: 378D1ECBFC4C05F7 Time : 0.0 sec. user=juhehe [2013-04-09 12:42:26] 909*2^1244280-1 is not prime. Res64: 488E2458F2501B11 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:49:43] 619*2^1244283-1 is not prime. Res64: 1B647AC3F9DF67EB Time : 0.0 sec. user=mdettweiler [2013-04-09 12:49:43] 669*2^1244283-1 is not prime. Res64: E7BDD29B8E2E917E Time : 0.0 sec. user=mdettweiler [2013-04-09 12:49:44] 705*2^1244283-1 is not prime. Res64: ED3D9331800D5C67 Time : 0.0 sec. user=mdettweiler [2013-04-09 12:49:44] 723*2^1244283-1 is not prime. Res64: 82A395F2D010B075 Time : 0.0 sec. user=vaughan [2013-04-09 12:49:53] 797*2^1244282-1 is not prime. Res64: 499045B257E1D2E7 Time : 0.0 sec. user=mdettweiler [2013-04-09 13:07:24] 919*2^1244283-1 is not prime. Res64: 1DAE3CC596B760A0 Time : 0.0 sec. user=mdettweiler [2013-04-09 13:07:25] 819*2^1244283-1 is not prime. Res64: 3A3F3319C9272D1F Time : 0.0 sec. user=mdettweiler [2013-04-09 13:07:27] 961*2^1244283-1 is not prime. Res64: C5E53F630C9748A6 Time : 0.0 sec. user=mdettweiler [2013-04-09 13:07:27] 823*2^1244283-1 is not prime. Res64: F9173A9A785433BC Time : 0.0 sec. user=juhehe [2013-04-09 13:08:03] 963*2^1244282-1 is not prime. Res64: 27D6B4CCE8A82DEE Time : 0.0 sec. user=mdettweiler [2013-04-09 13:25:15] 857*2^1244284-1 is not prime. Res64: AA72FCA23AE09CDA Time : 0.0 sec. user=mdettweiler [2013-04-09 13:25:15] 903*2^1244284-1 is not prime. Res64: 924FEA94F6E67D7D Time : 0.0 sec. user=mdettweiler [2013-04-09 13:25:15] 929*2^1244284-1 is not prime. Res64: EF9B740D21E51CEC Time : 0.0 sec. user=mdettweiler [2013-04-09 13:25:15] 607*2^1244285-1 is not prime. Res64: 98688ED52BF37846 Time : 0.0 sec. user=vaughan [2013-04-09 13:28:01] 803*2^1244284-1 is not prime. Res64: 66233DE9246AE398 Time : 0.0 sec. user=juhehe [2013-04-09 13:41:03] 619*2^1244285-1 is not prime. Res64: C274DCFF59557ABD Time : 0.0 sec. user=mdettweiler [2013-04-09 13:42:56] 697*2^1244285-1 is not prime. Res64: CE7708342CEF03A4 Time : 0.0 sec. user=mdettweiler [2013-04-09 13:42:57] 801*2^1244285-1 is not prime. Res64: 30E6BA1A92A3C214 Time : 0.0 sec. user=mdettweiler [2013-04-09 13:42:57] 867*2^1244285-1 is not prime. Res64: 72713341F180819C Time : 0.0 sec. user=mdettweiler [2013-04-09 13:42:57] 897*2^1244285-1 is not prime. Res64: C8A6F79F90747DF9 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:00:37] 683*2^1244286-1 is not prime. Res64: 19CE8E9DDECFF122 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:00:38] 725*2^1244286-1 is not prime. Res64: BD6540BBED0EF4E7 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:00:39] 821*2^1244286-1 is not prime. Res64: 1139E8F7AE84623A Time : 0.0 sec. user=mdettweiler [2013-04-09 14:00:40] 867*2^1244286-1 is not prime. Res64: 9A7E30CAA17CC0CA Time : 0.0 sec. user=vaughan [2013-04-09 14:11:24] 955*2^1244285-1 is not prime. Res64: E2DD25B17A8E5B37 Time : 0.0 sec. user=juhehe [2013-04-09 14:15:55] 657*2^1244285-1 is not prime. Res64: BE73FD8AE3A1AD8A Time : 0.0 sec. user=mdettweiler [2013-04-09 14:18:45] 917*2^1244286-1 is not prime. Res64: 0D645B1BCE17C51C Time : 0.0 sec. user=mdettweiler [2013-04-09 14:18:46] 971*2^1244286-1 is not prime. Res64: C5DAE7E369A2AB64 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:18:46] 615*2^1244287-1 is not prime. Res64: 9F54AB557A93FFBC Time : 0.0 sec. user=mdettweiler [2013-04-09 14:18:47] 619*2^1244287-1 is not prime. Res64: 3156F86612AFF4F3 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:36:49] 673*2^1244287-1 is not prime. Res64: D75A50C90C6BD11B Time : 0.0 sec. user=mdettweiler [2013-04-09 14:36:50] 975*2^1244287-1 is not prime. Res64: 6F85BA4A6283B022 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:36:50] 615*2^1244288-1 is not prime. Res64: B6C202001C83448B Time : 0.0 sec. user=mdettweiler [2013-04-09 14:36:50] 755*2^1244288-1 is not prime. Res64: A1982CB19166AECE Time : 0.0 sec. user=juhehe [2013-04-09 14:44:48] 627*2^1244286-1 is not prime. Res64: 27A293DB4232B5ED Time : 0.0 sec. user=vaughan [2013-04-09 14:49:30] 639*2^1244287-1 is not prime. Res64: 3DFC2DAF903E43D8 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:54:33] 767*2^1244288-1 is not prime. Res64: FECA790327EF09C7 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:54:34] 945*2^1244288-1 is not prime. Res64: 2EDAB4C9FB11BA81 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:54:34] 963*2^1244288-1 is not prime. Res64: 5EEEF3303D88E9E3 Time : 0.0 sec. user=mdettweiler [2013-04-09 14:54:34] 609*2^1244289-1 is not prime. Res64: 035BBE417B881060 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:12:15] 975*2^1244289-1 is not prime. Res64: 3187F9DE5362A699 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:12:15] 741*2^1244289-1 is not prime. Res64: D11F6A6829218A28 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:12:16] 909*2^1244289-1 is not prime. Res64: 762440B4752F1303 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:12:16] 611*2^1244290-1 is not prime. Res64: A937953197D9E167 Time : 0.0 sec. user=vaughan [2013-04-09 15:27:40] 711*2^1244289-1 is not prime. Res64: D1887BF06CF45FE4 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:30:08] 755*2^1244290-1 is not prime. Res64: 69A493FB1523994E Time : 0.0 sec. user=mdettweiler [2013-04-09 15:30:08] 827*2^1244290-1 is not prime. Res64: 1A083478AC0680D8 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:30:08] 857*2^1244290-1 is not prime. Res64: ADFF0FB6B6CB7795 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:30:09] 873*2^1244290-1 is not prime. Res64: 5F2E3B5560433434 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:47:50] 759*2^1244291-1 is not prime. Res64: 7C7717BDAD3D72E4 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:47:51] 955*2^1244291-1 is not prime. Res64: 068CE8F0DB0FC6BB Time : 0.0 sec. user=mdettweiler [2013-04-09 15:47:51] 993*2^1244291-1 is not prime. Res64: 54A126F2F6619C42 Time : 0.0 sec. user=mdettweiler [2013-04-09 15:47:51] 609*2^1244292-1 is not prime. Res64: 58CC7088EDF818B0 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:05:31] 863*2^1244292-1 is not prime. Res64: D1FCEDC034E45847 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:05:32] 975*2^1244292-1 is not prime. Res64: B5AC1EB6F6D1C139 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:05:32] 887*2^1244292-1 is not prime. Res64: 0F3AB50643E5EBAC Time : 0.0 sec. user=mdettweiler [2013-04-09 16:05:33] 625*2^1244293-1 is not prime. Res64: BD54F9C5C3444E50 Time : 0.0 sec. user=vaughan [2013-04-09 16:05:47] 651*2^1244291-1 is not prime. Res64: AD83A0E9F26B4857 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:23:17] 867*2^1244293-1 is not prime. Res64: EC0711C9D2416739 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:23:18] 615*2^1244294-1 is not prime. Res64: A18AE8129C9E4D2A Time : 0.0 sec. user=mdettweiler [2013-04-09 16:23:19] 795*2^1244294-1 is not prime. Res64: 3105CA0760929368 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:23:20] 813*2^1244294-1 is not prime. Res64: 87F1BEE464ADCAF7 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:40:58] 693*2^1244295-1 is not prime. Res64: 0468FB0FCDA89D7C Time : 0.0 sec. user=mdettweiler [2013-04-09 16:40:58] 751*2^1244295-1 is not prime. Res64: BFD4F66FC807370B Time : 0.0 sec. user=mdettweiler [2013-04-09 16:40:59] 695*2^1244296-1 is not prime. Res64: E329125556ED003B Time : 0.0 sec. user=mdettweiler [2013-04-09 16:41:00] 755*2^1244296-1 is not prime. Res64: DE3E9DBDE378A74F Time : 0.0 sec. user=vaughan [2013-04-09 16:43:54] 857*2^1244294-1 is not prime. Res64: CB17D3CE2948F8F7 Time : 0.0 sec. user=juhehe [2013-04-09 16:46:59] 669*2^1244292-1 is not prime. Res64: 0BA2741C5315C7C8 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:58:40] 773*2^1244296-1 is not prime. Res64: 5FC3B74EF13E8DBE Time : 0.0 sec. user=mdettweiler [2013-04-09 16:58:40] 843*2^1244296-1 is not prime. Res64: 482B783132BA320C Time : 0.0 sec. user=mdettweiler [2013-04-09 16:58:41] 873*2^1244296-1 is not prime. Res64: 0085D1458A8724E8 Time : 0.0 sec. user=mdettweiler [2013-04-09 16:58:41] 933*2^1244296-1 is not prime. Res64: 89769A0F131A2F20 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:16:11] 697*2^1244297-1 is not prime. Res64: 6DE70F099CCACF9B Time : 0.0 sec. user=mdettweiler [2013-04-09 17:16:12] 795*2^1244297-1 is not prime. Res64: ED0D22815C4C89AA Time : 0.0 sec. user=mdettweiler [2013-04-09 17:16:12] 799*2^1244297-1 is not prime. Res64: 77B19596655926DC Time : 0.0 sec. user=mdettweiler [2013-04-09 17:16:12] 819*2^1244297-1 is not prime. Res64: E38BD617C71BD9CD Time : 0.0 sec. user=vaughan [2013-04-09 17:21:59] 601*2^1244297-1 is not prime. Res64: 53B54A025FD5B82D Time : 0.0 sec. user=juhehe [2013-04-09 17:23:53] 965*2^1244294-1 is not prime. Res64: E522EFEAD606AA7B Time : 0.0 sec. user=mdettweiler [2013-04-09 17:33:46] 915*2^1244297-1 is not prime. Res64: E6AC7D0BA346CF46 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:33:46] 651*2^1244298-1 is not prime. Res64: 39802BC2E6DCA833 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:33:47] 657*2^1244298-1 is not prime. Res64: E38F5E8B4612DF66 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:33:48] 681*2^1244298-1 is not prime. Res64: CE5F80FFBDD7E41E Time : 0.0 sec. user=mdettweiler [2013-04-09 17:51:17] 861*2^1244298-1 is not prime. Res64: D9E61FCF8145CDC0 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:51:17] 625*2^1244299-1 is not prime. Res64: 7D378007390E8AA2 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:51:18] 681*2^1244299-1 is not prime. Res64: DAADA3C6BBB9D122 Time : 0.0 sec. user=mdettweiler [2013-04-09 17:51:19] 723*2^1244299-1 is not prime. Res64: A44E422948668551 Time : 0.0 sec. user=vaughan [2013-04-09 18:00:02] 773*2^1244298-1 is not prime. Res64: 2829020C412D6107 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:08:47] 775*2^1244299-1 is not prime. Res64: E7C207E255D3B9BF Time : 0.0 sec. user=mdettweiler [2013-04-09 18:08:48] 793*2^1244299-1 is not prime. Res64: 0C76997E48EF09AB Time : 0.0 sec. user=mdettweiler [2013-04-09 18:08:48] 853*2^1244299-1 is not prime. Res64: F93C9E5D9778CCB7 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:08:49] 931*2^1244299-1 is not prime. Res64: 60667552CCE39FCC Time : 0.0 sec. user=mdettweiler [2013-04-09 18:26:24] 717*2^1244300-1 is not prime. Res64: 9F7E6DE5278D914B Time : 0.0 sec. user=mdettweiler [2013-04-09 18:26:25] 789*2^1244300-1 is not prime. Res64: 2EBDA2D5A39C9801 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:26:25] 825*2^1244300-1 is not prime. Res64: 8639F7693FA834C0 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:26:26] 855*2^1244300-1 is not prime. Res64: 8074E7BAAE827C2E Time : 0.0 sec. user=vaughan [2013-04-09 18:38:10] 665*2^1244300-1 is not prime. Res64: 4B94FE25E3B991E3 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:43:55] 927*2^1244300-1 is not prime. Res64: 88C5FC88D07B437D Time : 0.0 sec. user=mdettweiler [2013-04-09 18:43:55] 929*2^1244300-1 is not prime. Res64: 2237087B4695A464 Time : 0.0 sec. user=mdettweiler [2013-04-09 18:43:55] 959*2^1244300-1 is not prime. Res64: 3F4513D81CB3562C Time : 0.0 sec. user=mdettweiler [2013-04-09 18:43:56] 977*2^1244300-1 is not prime. Res64: 5550721A19ACC85B Time : 0.0 sec. user=juhehe [2013-04-09 18:49:34] 733*2^1244299-1 is not prime. Res64: 54ED6B1B32B47A71 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:01:26] 649*2^1244301-1 is not prime. Res64: 7BA9512EB5CD30C5 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:01:27] 651*2^1244301-1 is not prime. Res64: 183BB0C45F00F3C5 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:01:28] 675*2^1244301-1 is not prime. Res64: 131E2ED11FDAD5B8 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:01:29] 727*2^1244301-1 is not prime. Res64: 2C97464ACCA2007C Time : 0.0 sec. user=mdettweiler [2013-04-09 19:19:12] 781*2^1244301-1 is not prime. Res64: ED4AF4E8D0892CCE Time : 0.0 sec. user=mdettweiler [2013-04-09 19:19:13] 945*2^1244301-1 is not prime. Res64: F4045AC5746D7907 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:19:13] 961*2^1244301-1 is not prime. Res64: 48A90848BBCA6E49 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:19:14] 979*2^1244301-1 is not prime. Res64: 2D08E84C253B6340 Time : 0.0 sec. user=vaughan [2013-04-09 19:21:19] 983*2^1244300-1 is not prime. Res64: 4542739BDCE6E997 Time : 0.0 sec. user=juhehe [2013-04-09 19:26:01] 897*2^1244300-1 is not prime. Res64: E225B8A8671D2863 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:36:46] 617*2^1244302-1 is not prime. Res64: CAB65E6E44659AE8 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:36:47] 621*2^1244302-1 is not prime. Res64: CD5416321C8FAA4A Time : 0.0 sec. user=mdettweiler [2013-04-09 19:36:47] 635*2^1244302-1 is not prime. Res64: 9280225305A2136D Time : 0.0 sec. user=mdettweiler [2013-04-09 19:36:48] 705*2^1244302-1 is not prime. Res64: BA52C9C6A96875F6 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:54:18] 741*2^1244302-1 is not prime. Res64: 14E4A365F1E2524E Time : 0.0 sec. user=mdettweiler [2013-04-09 19:54:18] 777*2^1244302-1 is not prime. Res64: 43C15AA1689D3270 Time : 0.0 sec. user=mdettweiler [2013-04-09 19:54:18] 815*2^1244302-1 is not prime. Res64: BAC48F5E6701A66C Time : 0.0 sec. user=mdettweiler [2013-04-09 19:54:19] 843*2^1244302-1 is not prime. Res64: 959EA9D3180D75AE Time : 0.0 sec. user=vaughan [2013-04-09 19:59:25] 731*2^1244302-1 is not prime. Res64: FF18F3DBCFF4F001 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:11:49] 915*2^1244302-1 is not prime. Res64: 42AA6B221E23B767 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:11:50] 957*2^1244302-1 is not prime. Res64: DF1265A9DDF75ED8 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:11:50] 609*2^1244303-1 is not prime. Res64: 80D84929BE741CA2 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:11:51] 673*2^1244303-1 is not prime. Res64: A8BCA1F074352D8A Time : 0.0 sec. user=mdettweiler [2013-04-09 20:29:28] 813*2^1244303-1 is not prime. Res64: 2B9EA3F036874E91 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:29:29] 871*2^1244303-1 is not prime. Res64: F2AFB9DFA8EC2D0C Time : 0.0 sec. user=mdettweiler [2013-04-09 20:29:30] 889*2^1244303-1 is not prime. Res64: 5C630BF3D490A75D Time : 0.0 sec. user=mdettweiler [2013-04-09 20:29:30] 615*2^1244304-1 is not prime. Res64: F819C6FC99AD748C Time : 0.0 sec. user=vaughan [2013-04-09 20:37:31] 693*2^1244303-1 is not prime. Res64: 7BAA98935CEFDAF8 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:47:17] 689*2^1244304-1 is not prime. Res64: 1DEB595FB128CE28 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:47:17] 765*2^1244304-1 is not prime. Res64: 8CABA04889AD7F6A Time : 0.0 sec. user=mdettweiler [2013-04-09 20:47:18] 803*2^1244304-1 is not prime. Res64: E4D93B6AFD169B85 Time : 0.0 sec. user=mdettweiler [2013-04-09 20:47:18] 857*2^1244304-1 is not prime. Res64: 24ACB20C9F73B312 Time : 0.0 sec. user=juhehe [2013-04-09 20:51:52] 867*2^1244302-1 is not prime. Res64: E2803785556C0C22 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:05:22] 619*2^1244305-1 is not prime. Res64: 41C2E1489B2C1371 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:05:22] 687*2^1244305-1 is not prime. Res64: D51ABCCA387CDC08 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:05:23] 679*2^1244305-1 is not prime. Res64: FF3F004E9B339E52 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:05:23] 699*2^1244305-1 is not prime. Res64: 3E7E6015C7FEE497 Time : 0.0 sec. user=vaughan [2013-04-09 21:20:41] 947*2^1244304-1 is not prime. Res64: 599924BF0A6878A6 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:23:51] 765*2^1244305-1 is not prime. Res64: 359DE9F315FF1C13 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:23:51] 877*2^1244305-1 is not prime. Res64: 37A104120A5212C0 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:23:52] 925*2^1244305-1 is not prime. Res64: 4753E8FE8C5484A2 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:23:53] 937*2^1244305-1 is not prime. Res64: 3C6CB7A3058BE877 Time : 0.0 sec. user=juhehe [2013-04-09 21:28:57] 629*2^1244304-1 is not prime. Res64: 3384359601049918 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:42:03] 705*2^1244306-1 is not prime. Res64: DC507B13CAAB22A0 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:42:03] 743*2^1244306-1 is not prime. Res64: 6D5C9A34388405AF Time : 0.0 sec. user=mdettweiler [2013-04-09 21:42:05] 755*2^1244306-1 is not prime. Res64: A425C2E699024694 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:42:05] 801*2^1244306-1 is not prime. Res64: 3BF6CE4AD79CCB6B Time : 0.0 sec. user=mdettweiler [2013-04-09 21:59:38] 831*2^1244306-1 is not prime. Res64: 2FED420F43D8778D Time : 0.0 sec. user=mdettweiler [2013-04-09 21:59:39] 837*2^1244306-1 is not prime. Res64: 4038DEE84C03F01C Time : 0.0 sec. user=mdettweiler [2013-04-09 21:59:40] 957*2^1244306-1 is not prime. Res64: FEC285E1EC1C5BB4 Time : 0.0 sec. user=mdettweiler [2013-04-09 21:59:41] 1001*2^1244306-1 is not prime. Res64: 23AD4AC4053F5283 Time : 0.0 sec. user=vaughan [2013-04-09 22:03:47] 997*2^1244305-1 is not prime. Res64: 881BF6A68C4887A9 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:17:05] 651*2^1244307-1 is not prime. Res64: F37C7116F79AF431 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:17:05] 793*2^1244307-1 is not prime. Res64: 5A43737753730F16 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:17:05] 795*2^1244307-1 is not prime. Res64: DDA664AB3C489009 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:17:06] 849*2^1244307-1 is not prime. Res64: 024BCB90DAA042A7 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:34:32] 979*2^1244307-1 is not prime. Res64: D3D1EAC5927FAB49 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:34:33] 687*2^1244308-1 is not prime. Res64: F45DC08C8C942000 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:34:33] 735*2^1244308-1 is not prime. Res64: 343CAFA414F6517E Time : 0.0 sec. user=mdettweiler [2013-04-09 22:34:34] 749*2^1244308-1 is not prime. Res64: 1244245255DB3736 Time : 0.0 sec. user=vaughan [2013-04-09 22:47:11] 949*2^1244307-1 is not prime. Res64: A9695AEF98FECD01 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:51:58] 863*2^1244308-1 is not prime. Res64: 3C80C1FB0D97B55E Time : 0.0 sec. user=mdettweiler [2013-04-09 22:51:58] 995*2^1244308-1 is not prime. Res64: AB10BBEA49A2C35C Time : 0.0 sec. user=mdettweiler [2013-04-09 22:52:00] 999*2^1244308-1 is not prime. Res64: DFAA7F8C5D7860A7 Time : 0.0 sec. user=mdettweiler [2013-04-09 22:52:01] 679*2^1244309-1 is not prime. Res64: 907281994C9FF01D Time : 0.0 sec. user=mdettweiler [2013-04-09 23:09:24] 787*2^1244309-1 is not prime. Res64: 19E52F65A8180DBA Time : 0.0 sec. user=mdettweiler [2013-04-09 23:09:25] 825*2^1244309-1 is not prime. Res64: 916C1574670CD2A0 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:09:27] 847*2^1244309-1 is not prime. Res64: 4BBB89B347971152 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:09:28] 611*2^1244310-1 is not prime. Res64: 5C2EEF17301AE137 Time : 0.0 sec. user=vaughan [2013-04-09 23:25:19] 721*2^1244309-1 is not prime. Res64: 33D1E9A9B835AE52 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:26:59] 945*2^1244310-1 is not prime. Res64: 881066651FF107CF Time : 0.0 sec. user=mdettweiler [2013-04-09 23:27:00] 619*2^1244311-1 is not prime. Res64: 5BFA5FF14F4BFD74 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:27:03] 621*2^1244311-1 is not prime. Res64: 5C4AE7A0402BE43D Time : 0.0 sec. user=mdettweiler [2013-04-09 23:27:03] 649*2^1244311-1 is not prime. Res64: A3B7FF43EBADF294 Time : 0.0 sec. user=juhehe [2013-04-09 23:31:26] 783*2^1244308-1 is not prime. Res64: 6171526B6625C9B2 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:44:27] 789*2^1244311-1 is not prime. Res64: 8C816A8238ACB348 Time : 0.0 sec. user=mdettweiler [2013-04-09 23:44:28] 883*2^1244311-1 is not prime. Res64: 5397BC161A1383CF Time : 0.0 sec. user=mdettweiler [2013-04-09 23:44:31] 931*2^1244311-1 is not prime. Res64: 89260DC4D312853C Time : 0.0 sec. user=mdettweiler [2013-04-09 23:44:32] 943*2^1244311-1 is not prime. Res64: F835F4DB368140E7 Time : 0.0 sec. user=juhehe [2013-04-09 23:54:32] 635*2^1244310-1 is not prime. Res64: D2ECB72195FBF663 Time : 0.0 sec.