user=mdettweiler [2013-04-10 00:01:52] 645*2^1244312-1 is not prime. Res64: 1A54C2547D4BF312 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:01:53] 713*2^1244312-1 is not prime. Res64: 78613189F5C4CA1E Time : 0.0 sec. user=mdettweiler [2013-04-10 00:01:55] 717*2^1244312-1 is not prime. Res64: 74EA97CA5AC66D2A Time : 0.0 sec. user=mdettweiler [2013-04-10 00:01:55] 767*2^1244312-1 is not prime. Res64: F0CA4195C5D0CF90 Time : 0.0 sec. user=vaughan [2013-04-10 00:03:24] 735*2^1244311-1 is not prime. Res64: 29CAA58319F9B138 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:19:17] 977*2^1244312-1 is not prime. Res64: E4B541EAFA056181 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:19:18] 983*2^1244312-1 is not prime. Res64: E60DE42FB04F43E1 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:19:20] 609*2^1244313-1 is not prime. Res64: 34B34BC66A5E1443 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:19:21] 627*2^1244313-1 is not prime. Res64: 3D77F15C3B2B28C6 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:36:43] 705*2^1244313-1 is not prime. Res64: A811E95CEB7E29A1 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:36:43] 769*2^1244313-1 is not prime. Res64: B1EF98ACCE070F6A Time : 0.0 sec. user=mdettweiler [2013-04-10 00:36:46] 807*2^1244313-1 is not prime. Res64: 7A70B750201CFC13 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:36:46] 885*2^1244313-1 is not prime. Res64: 8224C97E16558446 Time : 0.0 sec. user=vaughan [2013-04-10 00:41:31] 685*2^1244313-1 is not prime. Res64: 20DF1446F9A60A65 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:54:20] 605*2^1244314-1 is not prime. Res64: 50C72122A7164019 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:54:21] 645*2^1244314-1 is not prime. Res64: FB5E92584F6CBF61 Time : 0.0 sec. user=mdettweiler [2013-04-10 00:54:22] 723*2^1244314-1 is not prime. Res64: 800E24D3CAD5127F Time : 0.0 sec. user=mdettweiler [2013-04-10 00:54:23] 825*2^1244314-1 is not prime. Res64: 19FEEA846AC1C56B Time : 0.0 sec. user=mdettweiler [2013-04-10 01:11:47] 993*2^1244314-1 is not prime. Res64: C21F12E2735A2C90 Time : 0.0 sec. user=mdettweiler [2013-04-10 01:11:47] 675*2^1244315-1 is not prime. Res64: 5F994C80EF26E68C Time : 0.0 sec. user=mdettweiler [2013-04-10 01:11:48] 843*2^1244315-1 is not prime. Res64: A1B735FCA05C20C6 Time : 0.0 sec. user=mdettweiler [2013-04-10 01:11:48] 627*2^1244316-1 is not prime. Res64: 5C0DB86F1CE9E7D6 Time : 0.0 sec. user=vaughan [2013-04-10 01:19:35] 917*2^1244314-1 is not prime. Res64: 3F7CA8FFB1F5C797 Time : 0.0 sec. user=mdettweiler [2013-04-10 01:29:16] 693*2^1244316-1 is not prime. Res64: 52B9CB714480717D Time : 0.0 sec. user=mdettweiler [2013-04-10 01:29:16] 705*2^1244316-1 is not prime. Res64: EB07166510C6F960 Time : 0.0 sec. user=mdettweiler [2013-04-10 01:29:17] 717*2^1244316-1 is not prime. Res64: 11D9CC7DB9C2FA2C Time : 0.0 sec. user=mdettweiler [2013-04-10 01:29:18] 773*2^1244316-1 is not prime. Res64: 4B9F53B2F77B992A Time : 0.0 sec. user=juhehe [2013-04-10 01:33:52] 895*2^1244313-1 is not prime. Res64: 51C8CC50099BA65B Time : 0.0 sec. user=mdettweiler [2013-04-10 01:46:42] 947*2^1244316-1 is not prime. Res64: 31B1CCBD2B310ACE Time : 0.0 sec. user=mdettweiler [2013-04-10 01:46:43] 717*2^1244317-1 is not prime. Res64: 8DFDE1EC4402FE4F Time : 0.0 sec. user=mdettweiler [2013-04-10 01:46:43] 699*2^1244317-1 is not prime. Res64: A6FD2D0CFE84FD16 Time : 0.0 sec. user=mdettweiler [2013-04-10 01:46:43] 751*2^1244317-1 is not prime. Res64: EE0AF267E4122B94 Time : 0.0 sec. user=juhehe [2013-04-10 01:57:25] 669*2^1244316-1 is not prime. Res64: 872516AB37B80218 Time : 0.0 sec. user=vaughan [2013-04-10 01:57:39] 837*2^1244316-1 is not prime. Res64: 7A7A3D7BEE08ED10 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:04:09] 757*2^1244317-1 is not prime. Res64: 7C61CDDA24EF25DB Time : 0.0 sec. user=mdettweiler [2013-04-10 02:04:10] 805*2^1244317-1 is not prime. Res64: 1BB2BE75BF898C4B Time : 0.0 sec. user=mdettweiler [2013-04-10 02:04:10] 867*2^1244317-1 is not prime. Res64: 1CC4D35F1E22BC27 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:04:11] 871*2^1244317-1 is not prime. Res64: 6DDDFD673A3693F6 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:21:49] 955*2^1244317-1 is not prime. Res64: 0701A58752ACBC50 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:21:50] 635*2^1244318-1 is not prime. Res64: 6052A97A5A9120F7 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:21:51] 663*2^1244318-1 is not prime. Res64: 0005B7063CBCCA89 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:21:51] 711*2^1244318-1 is not prime. Res64: 0E55E775DFFFE8A8 Time : 0.0 sec. user=vaughan [2013-04-10 02:35:45] 895*2^1244317-1 is not prime. Res64: C5521E38D5719B0A Time : 0.0 sec. user=mdettweiler [2013-04-10 02:39:26] 843*2^1244318-1 is not prime. Res64: 23296315ECD2D5EE Time : 0.0 sec. user=mdettweiler [2013-04-10 02:39:27] 923*2^1244318-1 is not prime. Res64: 67F478BE37EA318D Time : 0.0 sec. user=mdettweiler [2013-04-10 02:39:27] 915*2^1244318-1 is not prime. Res64: 4A6E02EEDF1C5881 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:39:27] 945*2^1244318-1 is not prime. Res64: 4BFCA85CAA942C24 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:56:54] 913*2^1244319-1 is not prime. Res64: 21BE2F3AB60A0336 Time : 0.0 sec. user=mdettweiler [2013-04-10 02:56:54] 985*2^1244319-1 is not prime. Res64: 0CDD79A2DC84C3AD Time : 0.0 sec. user=mdettweiler [2013-04-10 02:56:56] 635*2^1244320-1 is not prime. Res64: 6398EF2D82745BDF Time : 0.0 sec. user=mdettweiler [2013-04-10 02:56:56] 695*2^1244320-1 is not prime. Res64: 8AFF98519D38C5A7 Time : 0.0 sec. user=vaughan [2013-04-10 03:13:51] 829*2^1244319-1 is not prime. Res64: A012883C247B5245 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:14:20] 723*2^1244320-1 is not prime. Res64: B8033F9B2B47626D Time : 0.0 sec. user=mdettweiler [2013-04-10 03:14:21] 777*2^1244320-1 is not prime. Res64: D2C57046B6FB5949 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:14:21] 825*2^1244320-1 is not prime. Res64: 39384A97D5B1CE2D Time : 0.0 sec. user=mdettweiler [2013-04-10 03:14:22] 839*2^1244320-1 is not prime. Res64: 198E7347691AEC96 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:31:46] 999*2^1244320-1 is not prime. Res64: 89E5F4B32E48057A Time : 0.0 sec. user=mdettweiler [2013-04-10 03:31:48] 669*2^1244321-1 is not prime. Res64: 60B8D2982CAA676A Time : 0.0 sec. user=mdettweiler [2013-04-10 03:31:48] 801*2^1244321-1 is not prime. Res64: 6D717639BAB0A3C0 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:31:49] 811*2^1244321-1 is not prime. Res64: B537C7CE3324555A Time : 0.0 sec. user=juhehe [2013-04-10 03:36:26] 691*2^1244319-1 is not prime. Res64: 51C4E59D745063AF Time : 0.0 sec. user=mdettweiler [2013-04-10 03:49:51] 867*2^1244321-1 is not prime. Res64: D17C9A86751AB1AF Time : 0.0 sec. user=mdettweiler [2013-04-10 03:49:52] 633*2^1244322-1 is not prime. Res64: D022A166402AC8F4 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:49:55] 635*2^1244322-1 is not prime. Res64: C975243E2382D711 Time : 0.0 sec. user=mdettweiler [2013-04-10 03:49:56] 705*2^1244322-1 is not prime. Res64: 26DC27F4E8887B88 Time : 0.0 sec. user=vaughan [2013-04-10 03:57:00] 975*2^1244320-1 is not prime. Res64: 49D36CE7336B1B67 Time : 0.0 sec. user=juhehe [2013-04-10 04:06:18] 939*2^1244320-1 is not prime. Res64: F3F1F73506D61C0A Time : 0.0 sec. user=mdettweiler [2013-04-10 04:07:17] 803*2^1244322-1 is not prime. Res64: 8A3DC7DB919F8D5B Time : 0.0 sec. user=mdettweiler [2013-04-10 04:07:18] 977*2^1244322-1 is not prime. Res64: E776A808F7095F89 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:07:21] 1001*2^1244322-1 is not prime. Res64: B0F6932B7F698649 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:07:22] 685*2^1244323-1 is not prime. Res64: F9092A746E3E4A18 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:24:44] 775*2^1244323-1 is not prime. Res64: 4A2FC5291C0A2894 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:24:44] 889*2^1244323-1 is not prime. Res64: 74D3F74D462BEDE6 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:24:47] 919*2^1244323-1 is not prime. Res64: D12D0F6F5EC30852 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:24:48] 719*2^1244324-1 is not prime. Res64: 2B1198B73278A63C Time : 0.0 sec. user=vaughan [2013-04-10 04:35:06] 741*2^1244323-1 is not prime. Res64: 3613CFA9819E799A Time : 0.0 sec. user=mdettweiler [2013-04-10 04:42:09] 759*2^1244324-1 is not prime. Res64: 3B00E8A8EBBBBE30 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:42:10] 825*2^1244324-1 is not prime. Res64: DFE5FC3112B02196 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:42:13] 837*2^1244324-1 is not prime. Res64: 1490168F0C413D99 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:42:14] 875*2^1244324-1 is not prime. Res64: C186928A94D08D00 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:59:35] 915*2^1244324-1 is not prime. Res64: 206A7D3B94E08B0A Time : 0.0 sec. user=mdettweiler [2013-04-10 04:59:36] 959*2^1244324-1 is not prime. Res64: A7CEFCE6C3D2DEC5 Time : 0.0 sec. user=mdettweiler [2013-04-10 04:59:39] 627*2^1244325-1 is not prime. Res64: 871F9A08AF2466CB Time : 0.0 sec. user=mdettweiler [2013-04-10 04:59:40] 709*2^1244325-1 is not prime. Res64: 64A3F61EA8771244 Time : 0.0 sec. user=vaughan [2013-04-10 05:13:48] 885*2^1244324-1 is not prime. Res64: F3B9B4914EE39B04 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:17:01] 711*2^1244325-1 is not prime. Res64: 695824EE97CBCB98 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:17:02] 979*2^1244325-1 is not prime. Res64: F7BC770481A42D85 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:17:05] 717*2^1244326-1 is not prime. Res64: 33266760CEBF834B Time : 0.0 sec. user=mdettweiler [2013-04-10 05:17:05] 737*2^1244326-1 is not prime. Res64: F6CAB1AD042F9626 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:34:27] 609*2^1244327-1 is not prime. Res64: 83D2BDEF852D9590 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:34:27] 705*2^1244327-1 is not prime. Res64: E7241221B90F57D5 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:34:31] 843*2^1244327-1 is not prime. Res64: 9C9CAD7021203E05 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:34:31] 931*2^1244327-1 is not prime. Res64: 4FC99E420E9534D0 Time : 0.0 sec. user=juhehe [2013-04-10 05:39:03] 903*2^1244324-1 is not prime. Res64: 91304BE66F4BE354 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:51:52] 747*2^1244328-1 is not prime. Res64: 52D94F9D4B7B97CA Time : 0.0 sec. user=mdettweiler [2013-04-10 05:51:53] 773*2^1244328-1 is not prime. Res64: 92C4A7DEF8BE3856 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:51:57] 815*2^1244328-1 is not prime. Res64: 4DF7053050A49042 Time : 0.0 sec. user=mdettweiler [2013-04-10 05:51:57] 887*2^1244328-1 is not prime. Res64: 757D32EC2DFC42FA Time : 0.0 sec. user=juhehe [2013-04-10 06:08:15] 813*2^1244326-1 is not prime. Res64: C1E6665E42E748A9 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:09:18] 929*2^1244328-1 is not prime. Res64: 9FA7525C61373525 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:09:19] 947*2^1244328-1 is not prime. Res64: 83260BEFC8FA0652 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:09:22] 615*2^1244329-1 is not prime. Res64: 8F2B7D38E6B0D3FF Time : 0.0 sec. user=mdettweiler [2013-04-10 06:09:23] 685*2^1244329-1 is not prime. Res64: EB1424AAFE8C1C08 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:26:46] 789*2^1244329-1 is not prime. Res64: 1B96972E27F21C8F Time : 0.0 sec. user=mdettweiler [2013-04-10 06:26:48] 799*2^1244329-1 is not prime. Res64: 9192BF49794980BF Time : 0.0 sec. user=mdettweiler [2013-04-10 06:26:50] 817*2^1244329-1 is not prime. Res64: 99B97CEFA7D72619 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:26:52] 831*2^1244329-1 is not prime. Res64: 91CB52AB00B107C7 Time : 0.0 sec. user=vaughan [2013-04-10 06:30:18] 745*2^1244329-1 is not prime. Res64: 8F5C74DB2002FAD5 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:44:21] 605*2^1244330-1 is not prime. Res64: 460FADA3D36B0841 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:44:22] 615*2^1244330-1 is not prime. Res64: 8AF2699FA288F02A Time : 0.0 sec. user=mdettweiler [2013-04-10 06:44:23] 657*2^1244330-1 is not prime. Res64: 31DF7545551AD026 Time : 0.0 sec. user=mdettweiler [2013-04-10 06:44:23] 675*2^1244330-1 is not prime. Res64: 887396D606387945 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:01:48] 753*2^1244330-1 is not prime. Res64: 2DA3979C831C71B3 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:01:49] 801*2^1244330-1 is not prime. Res64: F55E87E855502477 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:01:49] 783*2^1244330-1 is not prime. Res64: A1F203A62562EE24 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:01:49] 619*2^1244331-1 is not prime. Res64: 4D8448E7B2D9C00C Time : 0.0 sec. user=vaughan [2013-04-10 07:08:22] 677*2^1244330-1 is not prime. Res64: 5A6929864F7320C4 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:19:40] 639*2^1244331-1 is not prime. Res64: 5D032EFB04978D16 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:19:40] 741*2^1244331-1 is not prime. Res64: FC8B6758515CB720 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:19:41] 679*2^1244331-1 is not prime. Res64: FD3473C0DD76FEB0 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:19:41] 793*2^1244331-1 is not prime. Res64: 439214FA11CE8540 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:37:09] 719*2^1244332-1 is not prime. Res64: 54F499FC60600647 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:37:09] 723*2^1244332-1 is not prime. Res64: A237CD12D1737A22 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:37:10] 843*2^1244332-1 is not prime. Res64: 5CCFC37DC05F8732 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:37:10] 619*2^1244333-1 is not prime. Res64: 5480B386B9E77DC6 Time : 0.0 sec. user=juhehe [2013-04-10 07:41:39] 707*2^1244330-1 is not prime. Res64: 108132B57B50A443 Time : 0.0 sec. user=vaughan [2013-04-10 07:46:37] 913*2^1244331-1 is not prime. Res64: 63AE8A1BDADD950E Time : 0.0 sec. user=mdettweiler [2013-04-10 07:54:36] 631*2^1244333-1 is not prime. Res64: 49DC4BE7A4BFCD9C Time : 0.0 sec. user=mdettweiler [2013-04-10 07:54:36] 675*2^1244333-1 is not prime. Res64: 174D61003C431DA4 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:54:37] 795*2^1244333-1 is not prime. Res64: 82AA599BC371EA54 Time : 0.0 sec. user=mdettweiler [2013-04-10 07:54:38] 829*2^1244333-1 is not prime. Res64: B8EBE4C65C7973C6 Time : 0.0 sec. user=juhehe [2013-04-10 08:10:13] 819*2^1244331-1 is not prime. Res64: E9F0F7196A05750B Time : 0.0 sec. user=mdettweiler [2013-04-10 08:12:02] 901*2^1244333-1 is not prime. Res64: F2DF1E9F8589921F Time : 0.0 sec. user=mdettweiler [2013-04-10 08:12:02] 611*2^1244334-1 is not prime. Res64: 438CEC9ACA8FB76F Time : 0.0 sec. user=mdettweiler [2013-04-10 08:12:03] 663*2^1244334-1 is not prime. Res64: A791D57931BF315B Time : 0.0 sec. user=mdettweiler [2013-04-10 08:12:03] 773*2^1244334-1 is not prime. Res64: EB5DE12F5F4C2EDB Time : 0.0 sec. user=vaughan [2013-04-10 08:24:52] 879*2^1244333-1 is not prime. Res64: B8C25B0622F1C2E8 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:29:32] 971*2^1244334-1 is not prime. Res64: 3DD94D4DB8419C52 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:29:33] 619*2^1244335-1 is not prime. Res64: A5F950BECFDDC150 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:29:34] 675*2^1244335-1 is not prime. Res64: 76D3581CF9FD8CE5 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:29:34] 763*2^1244335-1 is not prime. Res64: CF3F23A8A3BE041E Time : 0.0 sec. user=mdettweiler [2013-04-10 08:46:59] 819*2^1244335-1 is not prime. Res64: 0402319E9AFCF445 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:46:59] 919*2^1244335-1 is not prime. Res64: EE0EAB4F8976EC60 Time : 0.0 sec. user=mdettweiler [2013-04-10 08:46:59] 871*2^1244335-1 is not prime. Res64: 120D307EEA0E65FE Time : 0.0 sec. user=mdettweiler [2013-04-10 08:47:00] 689*2^1244336-1 is not prime. Res64: 056808EE2E3CD904 Time : 0.0 sec. user=vaughan [2013-04-10 09:03:10] 793*2^1244335-1 is not prime. Res64: E2DD01237A6140C8 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:04:26] 945*2^1244336-1 is not prime. Res64: 0E10EF996B8974DD Time : 0.0 sec. user=mdettweiler [2013-04-10 09:04:27] 825*2^1244336-1 is not prime. Res64: 5A878F7BC5414A9D Time : 0.0 sec. user=mdettweiler [2013-04-10 09:04:28] 601*2^1244337-1 is not prime. Res64: 3FB1C12F92A6C0F8 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:04:29] 681*2^1244337-1 is not prime. Res64: 556778EF5D6D3E9B Time : 0.0 sec. user=mdettweiler [2013-04-10 09:21:56] 751*2^1244337-1 is not prime. Res64: 0E1D88C0F2BEF7C8 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:21:56] 831*2^1244337-1 is not prime. Res64: D80B25AE284C312A Time : 0.0 sec. user=mdettweiler [2013-04-10 09:21:56] 867*2^1244337-1 is not prime. Res64: 48DCB370066774EE Time : 0.0 sec. user=mdettweiler [2013-04-10 09:21:57] 891*2^1244337-1 is not prime. Res64: B3E4797C90280321 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:39:26] 1001*2^1244338-1 is not prime. Res64: 9C512F1247B1846B Time : 0.0 sec. user=mdettweiler [2013-04-10 09:39:26] 609*2^1244339-1 is not prime. Res64: A17480FB3DD67D6E Time : 0.0 sec. user=mdettweiler [2013-04-10 09:39:26] 831*2^1244338-1 is not prime. Res64: 66BE6AC5B8A51363 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:39:27] 987*2^1244338-1 is not prime. Res64: 9AFD9D4E3F880466 Time : 0.0 sec. user=vaughan [2013-04-10 09:41:54] 735*2^1244337-1 is not prime. Res64: 4C6104470B4B865E Time : 0.0 sec. user=juhehe [2013-04-10 09:44:31] 759*2^1244336-1 is not prime. Res64: 1868C7320C1CF534 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:56:53] 621*2^1244339-1 is not prime. Res64: 136D1978E8B60972 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:56:53] 879*2^1244339-1 is not prime. Res64: E2FC7718B60B3986 Time : 0.0 sec. user=mdettweiler [2013-04-10 09:56:54] 999*2^1244339-1 is not prime. Res64: E03866CAC24CA26B Time : 0.0 sec. user=mdettweiler [2013-04-10 09:56:55] 737*2^1244340-1 is not prime. Res64: 01D60D37263F805A Time : 0.0 sec. user=juhehe [2013-04-10 10:12:17] 617*2^1244338-1 is not prime. Res64: E92B9C3000D204AE Time : 0.0 sec. user=mdettweiler [2013-04-10 10:14:21] 619*2^1244341-1 is not prime. Res64: F374B0C1BAE290FE Time : 0.0 sec. user=mdettweiler [2013-04-10 10:14:21] 867*2^1244340-1 is not prime. Res64: 60525E86E2CFAA5F Time : 0.0 sec. user=mdettweiler [2013-04-10 10:14:21] 717*2^1244341-1 is not prime. Res64: 09656E1D72B333A7 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:14:21] 905*2^1244340-1 is not prime. Res64: 2592E8FE5053A149 Time : 0.0 sec. user=vaughan [2013-04-10 10:20:07] 857*2^1244340-1 is not prime. Res64: 4CDF67F46E742F0F Time : 0.0 sec. user=mdettweiler [2013-04-10 10:31:51] 747*2^1244341-1 is not prime. Res64: 0322929F4E71A7D1 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:31:52] 805*2^1244341-1 is not prime. Res64: 80E361F541DC2536 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:31:53] 817*2^1244341-1 is not prime. Res64: 8D944B9D2DFAAD35 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:31:53] 825*2^1244341-1 is not prime. Res64: 10DEC50C0DC73EA4 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:49:19] 693*2^1244342-1 is not prime. Res64: A3E9B45D0202B1B4 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:49:20] 743*2^1244342-1 is not prime. Res64: 0021FB3FF1689B25 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:49:20] 761*2^1244342-1 is not prime. Res64: 69B2A2EB720E0D22 Time : 0.0 sec. user=mdettweiler [2013-04-10 10:49:20] 825*2^1244342-1 is not prime. Res64: 5A1B3BD59ABDEA57 Time : 0.0 sec. user=vaughan [2013-04-10 11:03:27] 951*2^1244341-1 is not prime. Res64: B5F76FFEE94EC414 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:06:46] 897*2^1244342-1 is not prime. Res64: 933C61F3FFD6D44C Time : 0.0 sec. user=mdettweiler [2013-04-10 11:06:47] 911*2^1244342-1 is not prime. Res64: 47236D1DB2AD01E5 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:06:47] 915*2^1244342-1 is not prime. Res64: AEF2DCF5E3F69FDD Time : 0.0 sec. user=mdettweiler [2013-04-10 11:06:48] 723*2^1244343-1 is not prime. Res64: 787563C1B63E6830 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:24:14] 765*2^1244343-1 is not prime. Res64: EBAD019C44C0B8EB Time : 0.0 sec. user=mdettweiler [2013-04-10 11:24:14] 663*2^1244344-1 is not prime. Res64: B9B854393AAB94D2 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:24:15] 961*2^1244343-1 is not prime. Res64: 5C94E483BCE691B7 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:24:15] 759*2^1244344-1 is not prime. Res64: 4CAC04573F28946C Time : 0.0 sec. user=mdettweiler [2013-04-10 11:41:50] 927*2^1244344-1 is not prime. Res64: 475F0A7CC51E9A61 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:41:50] 861*2^1244345-1 is not prime. Res64: E1BB64E1D44BEC6F Time : 0.0 sec. user=mdettweiler [2013-04-10 11:41:50] 679*2^1244345-1 is not prime. Res64: 869678B713BBBF4A Time : 0.0 sec. user=mdettweiler [2013-04-10 11:41:50] 939*2^1244345-1 is not prime. Res64: 5C1A509C6FDB7E7C Time : 0.0 sec. user=vaughan [2013-04-10 11:41:54] 739*2^1244343-1 is not prime. Res64: CA9703EAF3ECD477 Time : 0.0 sec. user=juhehe [2013-04-10 11:46:21] 885*2^1244342-1 is not prime. Res64: 11F6CF32AC0BEED2 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:59:16] 949*2^1244345-1 is not prime. Res64: 7A5899563D73E640 Time : 0.0 sec. user=mdettweiler [2013-04-10 11:59:17] 633*2^1244346-1 is not prime. Res64: 2399E3F71FA44EAE Time : 0.0 sec. user=mdettweiler [2013-04-10 11:59:18] 713*2^1244346-1 is not prime. Res64: 2FD91FAF41FFC0CD Time : 0.0 sec. user=mdettweiler [2013-04-10 11:59:18] 723*2^1244346-1 is not prime. Res64: 82ED01FB9A45E212 Time : 0.0 sec. user=juhehe [2013-04-10 12:14:39] 819*2^1244344-1 is not prime. Res64: 665F5E33DFF9F8BA Time : 0.0 sec. user=mdettweiler [2013-04-10 12:17:11] 861*2^1244346-1 is not prime. Res64: F37A526328557E12 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:17:11] 945*2^1244346-1 is not prime. Res64: 604CC90581B7A24B Time : 0.0 sec. user=mdettweiler [2013-04-10 12:17:12] 971*2^1244346-1 is not prime. Res64: 4B223CCCEA5090D3 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:17:13] 983*2^1244346-1 is not prime. Res64: E9FCCB2259E43D7E Time : 0.0 sec. user=mdettweiler [2013-04-10 12:35:07] 633*2^1244347-1 is not prime. Res64: D50990F34F0B0751 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:35:07] 715*2^1244347-1 is not prime. Res64: 69CF8C4AE4963B39 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:35:08] 859*2^1244347-1 is not prime. Res64: 4EC8DCC6F2060BAE Time : 0.0 sec. user=mdettweiler [2013-04-10 12:35:08] 925*2^1244347-1 is not prime. Res64: F97E3DA390CCA1C5 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:53:01] 985*2^1244347-1 is not prime. Res64: A702F1458983B0F9 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:53:01] 629*2^1244348-1 is not prime. Res64: D557071E1DEB8E19 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:53:02] 669*2^1244348-1 is not prime. Res64: 7E21BE06952CD812 Time : 0.0 sec. user=mdettweiler [2013-04-10 12:53:02] 743*2^1244348-1 is not prime. Res64: 28409261263D3664 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:10:51] 879*2^1244348-1 is not prime. Res64: 6B683C37FEEF2E9C Time : 0.0 sec. user=mdettweiler [2013-04-10 13:10:52] 899*2^1244348-1 is not prime. Res64: E855BD049BCCA434 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:10:53] 945*2^1244348-1 is not prime. Res64: 9D02355A75BC8C56 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:10:53] 977*2^1244348-1 is not prime. Res64: D7573E620FB8119F Time : 0.0 sec. user=mdettweiler [2013-04-10 13:28:49] 995*2^1244348-1 is not prime. Res64: 8C25D892741B4963 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:28:49] 627*2^1244349-1 is not prime. Res64: 786FB5CB9B2FD6E0 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:28:50] 661*2^1244349-1 is not prime. Res64: 282A8CF94B019AB7 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:28:51] 685*2^1244349-1 is not prime. Res64: 6F418E6C03833E25 Time : 0.0 sec. user=mdettweiler [2013-04-10 13:46:40] 781*2^1244349-1 is not prime. Res64: B5BC6A323B6705EC Time : 0.0 sec. user=mdettweiler [2013-04-10 13:46:40] 789*2^1244349-1 is not prime. Res64: FF3E5FC37D3F726B Time : 0.0 sec. user=mdettweiler [2013-04-10 13:46:41] 847*2^1244349-1 is not prime. Res64: 82A07833757D7D1C Time : 0.0 sec. user=mdettweiler [2013-04-10 13:46:41] 945*2^1244349-1 is not prime. Res64: DDEDE471A03F8DFF Time : 0.0 sec. user=juhehe [2013-04-10 13:48:48] 773*2^1244348-1 is not prime. Res64: 6009C298FBE5219C Time : 0.0 sec. user=mdettweiler [2013-04-10 14:04:34] 969*2^1244349-1 is not prime. Res64: 75B9824BC10DC3C5 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:04:35] 723*2^1244350-1 is not prime. Res64: B1A5C4CA5F5B338A Time : 0.0 sec. user=mdettweiler [2013-04-10 14:04:35] 777*2^1244350-1 is not prime. Res64: 61F4DE5B80AE2242 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:04:35] 873*2^1244350-1 is not prime. Res64: DC046F5228E40F87 Time : 0.0 sec. user=juhehe [2013-04-10 14:16:57] 747*2^1244349-1 is not prime. Res64: 4D78318C4CFC0FB0 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:22:51] 811*2^1244351-1 is not prime. Res64: 9CDA9C872D75843D Time : 0.0 sec. user=mdettweiler [2013-04-10 14:22:51] 819*2^1244351-1 is not prime. Res64: 55A863BDFC66B806 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:22:52] 885*2^1244350-1 is not prime. Res64: 8FAE94DB73701D3B Time : 0.0 sec. user=mdettweiler [2013-04-10 14:22:52] 615*2^1244351-1 is not prime. Res64: 4D25BDBD134467C4 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:40:59] 825*2^1244351-1 is not prime. Res64: 94071F55F89B0012 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:40:59] 717*2^1244352-1 is not prime. Res64: E3A1FCCD894C8457 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:41:00] 719*2^1244352-1 is not prime. Res64: B42854313254B19B Time : 0.0 sec. user=mdettweiler [2013-04-10 14:41:00] 759*2^1244352-1 is not prime. Res64: 8E059CB4C5D631B0 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:58:52] 779*2^1244352-1 is not prime. Res64: C2D821687723CF05 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:58:53] 797*2^1244352-1 is not prime. Res64: 2367DE43EEC17498 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:58:55] 903*2^1244352-1 is not prime. Res64: C35E9972197E1287 Time : 0.0 sec. user=mdettweiler [2013-04-10 14:58:56] 933*2^1244352-1 is not prime. Res64: 02532C2205815E38 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:16:46] 687*2^1244353-1 is not prime. Res64: 9B67B7EC5BC81820 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:16:46] 699*2^1244353-1 is not prime. Res64: CD86851A1AFD6562 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:16:49] 901*2^1244353-1 is not prime. Res64: BD8F7E562F4F5891 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:16:49] 915*2^1244353-1 is not prime. Res64: FEF8F2A8FF428ECB Time : 0.0 sec. user=mdettweiler [2013-04-10 15:34:41] 617*2^1244354-1 is not prime. Res64: A2CACFE223E7DF17 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:34:42] 623*2^1244354-1 is not prime. Res64: 23874F63DAED7B8C Time : 0.0 sec. user=mdettweiler [2013-04-10 15:34:42] 903*2^1244354-1 is not prime. Res64: 014CB344A19C9F71 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:34:42] 669*2^1244355-1 is not prime. Res64: F49ABC3DEC77C45A Time : 0.0 sec. user=juhehe [2013-04-10 15:51:18] 679*2^1244353-1 is not prime. Res64: 01CECDE58644D426 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:52:34] 783*2^1244355-1 is not prime. Res64: 494A8DC84D213EB0 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:52:34] 735*2^1244355-1 is not prime. Res64: 262BD1AD6F21F884 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:52:34] 801*2^1244355-1 is not prime. Res64: A028CE9873B54585 Time : 0.0 sec. user=mdettweiler [2013-04-10 15:52:34] 775*2^1244355-1 is not prime. Res64: 1A256832C6203B10 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:10:23] 819*2^1244355-1 is not prime. Res64: 1330A9F0EB0AE188 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:10:23] 913*2^1244355-1 is not prime. Res64: 1176E42F185C348F Time : 0.0 sec. user=mdettweiler [2013-04-10 16:10:25] 873*2^1244355-1 is not prime. Res64: 9667FFB8C0BDBE69 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:10:26] 919*2^1244355-1 is not prime. Res64: D734E5415517C9EC Time : 0.0 sec. user=juhehe [2013-04-10 16:19:53] 699*2^1244355-1 is not prime. Res64: 5F87644742009DD9 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:28:18] 963*2^1244355-1 is not prime. Res64: FE4BF1DDBF2C4C5C Time : 0.0 sec. user=mdettweiler [2013-04-10 16:28:18] 663*2^1244356-1 is not prime. Res64: 99CC068A1646A6A9 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:28:18] 839*2^1244356-1 is not prime. Res64: 8ADB8EC9D73A780F Time : 0.0 sec. user=mdettweiler [2013-04-10 16:28:18] 651*2^1244357-1 is not prime. Res64: F8E46F1B2802A963 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:46:05] 729*2^1244357-1 is not prime. Res64: 7E5B428465E1597F Time : 0.0 sec. user=mdettweiler [2013-04-10 16:46:05] 711*2^1244358-1 is not prime. Res64: 52935A4AFA48F59E Time : 0.0 sec. user=mdettweiler [2013-04-10 16:46:05] 957*2^1244357-1 is not prime. Res64: 80386DC555477AD8 Time : 0.0 sec. user=mdettweiler [2013-04-10 16:46:05] 881*2^1244358-1 is not prime. Res64: F3319276AD49C778 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:03:53] 963*2^1244358-1 is not prime. Res64: 835FDC32FA0E5B6A Time : 0.0 sec. user=mdettweiler [2013-04-10 17:03:54] 681*2^1244359-1 is not prime. Res64: 193A18FD63B37C71 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:03:55] 639*2^1244359-1 is not prime. Res64: 715440184F7FAA68 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:03:55] 729*2^1244359-1 is not prime. Res64: C17EE5D18491B139 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:22:04] 925*2^1244359-1 is not prime. Res64: 4DCEDEB180171AA1 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:22:04] 603*2^1244360-1 is not prime. Res64: 6F8BCDFEF023150D Time : 0.0 sec. user=mdettweiler [2013-04-10 17:22:05] 795*2^1244360-1 is not prime. Res64: 2CF6F851A0C5A6C8 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:22:05] 957*2^1244360-1 is not prime. Res64: 416545453561DFF9 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:39:50] 871*2^1244361-1 is not prime. Res64: 7FFB10A9964E0BF7 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:39:50] 889*2^1244361-1 is not prime. Res64: 2EB6D61B49EC0658 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:39:52] 617*2^1244362-1 is not prime. Res64: A1239EE32A06777E Time : 0.0 sec. user=mdettweiler [2013-04-10 17:39:52] 675*2^1244362-1 is not prime. Res64: 03D20318CDA0FD87 Time : 0.0 sec. user=juhehe [2013-04-10 17:54:08] 735*2^1244359-1 is not prime. Res64: DD3C753315D3BB13 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:57:37] 713*2^1244362-1 is not prime. Res64: 45885106E3830520 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:57:37] 815*2^1244362-1 is not prime. Res64: 15600B5C941715F1 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:57:38] 615*2^1244363-1 is not prime. Res64: 50819FEF5569CDF1 Time : 0.0 sec. user=mdettweiler [2013-04-10 17:57:38] 633*2^1244363-1 is not prime. Res64: 4C269902AEE79EDF Time : 0.0 sec. user=mdettweiler [2013-04-10 18:15:25] 879*2^1244363-1 is not prime. Res64: 1719B1FC4DD66218 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:15:25] 745*2^1244363-1 is not prime. Res64: 82D3E3B1183CA01E Time : 0.0 sec. user=mdettweiler [2013-04-10 18:15:25] 885*2^1244363-1 is not prime. Res64: 18583A86BFF5953D Time : 0.0 sec. user=mdettweiler [2013-04-10 18:15:25] 789*2^1244363-1 is not prime. Res64: C7D6410BE22BE16B Time : 0.0 sec. user=juhehe [2013-04-10 18:21:52] 625*2^1244361-1 is not prime. Res64: 2D3D84159A9A98A8 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:33:15] 623*2^1244364-1 is not prime. Res64: F8F75EE5736B3D38 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:33:15] 943*2^1244363-1 is not prime. Res64: 25692F33B6DFA4A2 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:33:15] 629*2^1244364-1 is not prime. Res64: DD5833DC894AD8F9 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:33:15] 949*2^1244363-1 is not prime. Res64: EDE9AE9D496AC287 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:51:04] 689*2^1244364-1 is not prime. Res64: B4257B4A36C81580 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:51:04] 723*2^1244364-1 is not prime. Res64: 5487E5AE6B3B7716 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:51:05] 767*2^1244364-1 is not prime. Res64: F871679B0A9B4FB1 Time : 0.0 sec. user=mdettweiler [2013-04-10 18:51:05] 773*2^1244364-1 is not prime. Res64: 544F445CBDE4BAC4 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:08:53] 909*2^1244364-1 is not prime. Res64: EF765490F6D51B88 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:08:53] 667*2^1244365-1 is not prime. Res64: 1545E7D1C4D5131A Time : 0.0 sec. user=mdettweiler [2013-04-10 19:08:53] 649*2^1244365-1 is not prime. Res64: CA7E000720B16E1D Time : 0.0 sec. user=mdettweiler [2013-04-10 19:08:53] 729*2^1244365-1 is not prime. Res64: B3EB3B7403AF4592 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:26:47] 831*2^1244365-1 is not prime. Res64: BBC1D7DAA0346891 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:26:47] 915*2^1244365-1 is not prime. Res64: 36DBDCB53801FB2B Time : 0.0 sec. user=mdettweiler [2013-04-10 19:26:47] 861*2^1244365-1 is not prime. Res64: 95C4978342F10CC8 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:26:47] 925*2^1244365-1 is not prime. Res64: 49848B103E96AC6F Time : 0.0 sec. user=mdettweiler [2013-04-10 19:44:37] 999*2^1244365-1 is not prime. Res64: 0B12EF0ACE8B7564 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:44:37] 635*2^1244366-1 is not prime. Res64: 5799FAA4CDAFC026 Time : 0.0 sec. user=mdettweiler [2013-04-10 19:44:38] 651*2^1244366-1 is not prime. Res64: 90ABC797A83318AC Time : 0.0 sec. user=mdettweiler [2013-04-10 19:44:38] 945*2^1244366-1 is not prime. Res64: 20A460B3FDD64B6A Time : 0.0 sec. user=juhehe [2013-04-10 19:56:59] 799*2^1244365-1 is not prime. Res64: 852229FCD32A6FE5 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:02:28] 971*2^1244366-1 is not prime. Res64: F9C6288324066F1C Time : 0.0 sec. user=mdettweiler [2013-04-10 20:02:29] 669*2^1244367-1 is not prime. Res64: 5FFE8241A020EEC9 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:02:29] 643*2^1244367-1 is not prime. Res64: F27C5A9D8DC5FF5D Time : 0.0 sec. user=mdettweiler [2013-04-10 20:02:30] 705*2^1244367-1 is not prime. Res64: 3F1CB6ED05AFF05E Time : 0.0 sec. user=mdettweiler [2013-04-10 20:21:06] 711*2^1244367-1 is not prime. Res64: 7DD57E52E0E43AB9 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:21:07] 735*2^1244367-1 is not prime. Res64: B1851689C2977E95 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:21:07] 825*2^1244367-1 is not prime. Res64: 06DDDF0ACBFE65C0 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:21:08] 963*2^1244367-1 is not prime. Res64: 18DF3A46A64B791E Time : 0.0 sec. user=juhehe [2013-04-10 20:30:31] 939*2^1244365-1 is not prime. Res64: 81D4FF75469B755F Time : 0.0 sec. user=mdettweiler [2013-04-10 20:39:15] 615*2^1244368-1 is not prime. Res64: 2CC5CFEDC73E19F2 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:39:16] 645*2^1244368-1 is not prime. Res64: 68F894025BD0EBFB Time : 0.0 sec. user=mdettweiler [2013-04-10 20:39:17] 687*2^1244368-1 is not prime. Res64: 1446CDBBBBD9F43C Time : 0.0 sec. user=mdettweiler [2013-04-10 20:39:17] 773*2^1244368-1 is not prime. Res64: B7193E6B9757CDEE Time : 0.0 sec. user=mdettweiler [2013-04-10 20:57:07] 819*2^1244368-1 is not prime. Res64: 297FDE70B11640C2 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:57:08] 833*2^1244368-1 is not prime. Res64: 63648A8F477C6C01 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:57:09] 843*2^1244368-1 is not prime. Res64: 2B64C3C37A4AE7C1 Time : 0.0 sec. user=mdettweiler [2013-04-10 20:57:09] 897*2^1244368-1 is not prime. Res64: A0746808BA4D4745 Time : 0.0 sec. user=mdettweiler [2013-04-10 21:15:00] 909*2^1244368-1 is not prime. Res64: C9968169CFE16FE4 Time : 0.0 sec. user=mdettweiler [2013-04-10 21:15:01] 969*2^1244368-1 is not prime. Res64: F17E7A7AA94622BE Time : 0.0 sec. user=mdettweiler [2013-04-10 21:15:01] 957*2^1244368-1 is not prime. Res64: 96F320612CFAA7DB Time : 0.0 sec. user=mdettweiler [2013-04-10 21:15:02] 649*2^1244369-1 is not prime. Res64: ED1B2ABF0B0A9DFD Time : 0.0 sec. user=mdettweiler [2013-04-10 21:33:24] 691*2^1244369-1 is not prime. Res64: 197BFD9169856A42 Time : 0.0 sec. user=mdettweiler [2013-04-10 21:33:24] 889*2^1244369-1 is not prime. Res64: 887AD930A7FFB212 Time : 0.0 sec. user=mdettweiler [2013-04-10 21:33:25] 909*2^1244369-1 is not prime. Res64: 7EE00A16000FDA7D Time : 0.0 sec. user=mdettweiler [2013-04-10 21:33:25] 845*2^1244370-1 is not prime. Res64: E45D22E3B86D37DA Time : 0.0 sec. user=mdettweiler [2013-04-10 21:51:15] 933*2^1244370-1 is not prime. Res64: E6F55E681A4A8F4D Time : 0.0 sec. user=mdettweiler [2013-04-10 21:51:16] 645*2^1244371-1 is not prime. Res64: 553F96A304DA1EE2 Time : 0.0 sec. user=mdettweiler [2013-04-10 21:51:17] 709*2^1244371-1 is not prime. Res64: 48F6815C250989AA Time : 0.0 sec. user=mdettweiler [2013-04-10 21:51:17] 759*2^1244371-1 is not prime. Res64: 24ECC10F3EF5F1B9 Time : 0.0 sec. user=juhehe [2013-04-10 21:59:39] 675*2^1244369-1 is not prime. Res64: 96C038166D6DA35F Time : 0.0 sec. user=mdettweiler [2013-04-10 22:09:06] 783*2^1244371-1 is not prime. Res64: 0D978560B240EC74 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:09:07] 961*2^1244371-1 is not prime. Res64: BD77DDA6175DF377 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:09:07] 969*2^1244371-1 is not prime. Res64: F1C28A7A56004A20 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:09:08] 797*2^1244372-1 is not prime. Res64: 237246434F246D33 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:27:09] 827*2^1244372-1 is not prime. Res64: C6CBFBCD39ADFFB4 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:27:10] 837*2^1244372-1 is not prime. Res64: FC365B40D2A1B8C6 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:27:10] 875*2^1244372-1 is not prime. Res64: C552CE0786B802E9 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:27:10] 897*2^1244372-1 is not prime. Res64: F85FF161E6675100 Time : 0.0 sec. user=juhehe [2013-04-10 22:33:05] 885*2^1244370-1 is not prime. Res64: 2233641A61A747BB Time : 0.0 sec. user=mdettweiler [2013-04-10 22:44:56] 999*2^1244372-1 is not prime. Res64: A36D5AE8ABC0C03B Time : 0.0 sec. user=mdettweiler [2013-04-10 22:44:56] 607*2^1244373-1 is not prime. Res64: 6F6381DF056A6526 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:44:57] 615*2^1244373-1 is not prime. Res64: 71F5B3F34A75B166 Time : 0.0 sec. user=mdettweiler [2013-04-10 22:44:57] 691*2^1244373-1 is not prime. Res64: 7930F188BE737CA3 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:02:42] 759*2^1244373-1 is not prime. Res64: 2BD518B7070AC5E7 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:02:43] 781*2^1244373-1 is not prime. Res64: 490ED0C93A97C51C Time : 0.0 sec. user=mdettweiler [2013-04-10 23:02:44] 919*2^1244373-1 is not prime. Res64: 93859F875C4D0871 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:02:44] 927*2^1244373-1 is not prime. Res64: 48B9D30AE20F4557 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:20:29] 999*2^1244373-1 is not prime. Res64: 12576B5B37B52CE9 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:20:30] 677*2^1244374-1 is not prime. Res64: 8F7C60639177F409 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:20:32] 687*2^1244374-1 is not prime. Res64: 10DDB530081751BA Time : 0.0 sec. user=mdettweiler [2013-04-10 23:20:32] 747*2^1244374-1 is not prime. Res64: 9AF9DF58DB49C693 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:38:21] 857*2^1244374-1 is not prime. Res64: 5E739A4B1AEFF2C0 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:38:21] 885*2^1244374-1 is not prime. Res64: 11454F6103A8B8E4 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:38:22] 923*2^1244374-1 is not prime. Res64: 902276D03CA951E8 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:38:22] 951*2^1244374-1 is not prime. Res64: 74A38400261B6BCF Time : 0.0 sec. user=mdettweiler [2013-04-10 23:56:07] 987*2^1244374-1 is not prime. Res64: 28BEDCAE733350E2 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:56:07] 649*2^1244375-1 is not prime. Res64: 091E574EE0AF9DB7 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:56:07] 693*2^1244375-1 is not prime. Res64: C2BAA3F713C3A685 Time : 0.0 sec. user=mdettweiler [2013-04-10 23:56:07] 831*2^1244375-1 is not prime. Res64: 201EE1301F6295DE Time : 0.0 sec.