user=mdettweiler [2012-11-08 00:05:14] 825*2^1233810-1 is not prime. Res64: 0912791221DF1F0C Time : 0.0 sec. user=mdettweiler [2012-11-08 00:05:16] 927*2^1233810-1 is not prime. Res64: 08FE8FA89025156D Time : 0.0 sec. user=vaughan [2012-11-08 00:07:49] 611*2^1233810-1 is not prime. Res64: 77F126E780BE4BC2 Time : 0.0 sec. user=mdettweiler [2012-11-08 00:09:25] 977*2^1233810-1 is not prime. Res64: BC6646C99B672173 Time : 0.0 sec. user=mdettweiler [2012-11-08 00:09:27] 645*2^1233811-1 is not prime. Res64: 0B342663DB0CEC2C Time : 0.0 sec. user=mdettweiler [2012-11-08 00:26:15] 649*2^1233811-1 is not prime. Res64: 3183DAB6B41D93A1 Time : 0.0 sec. user=mdettweiler [2012-11-08 00:26:17] 973*2^1233811-1 is not prime. Res64: E0E38AE9CD36ECAA Time : 0.0 sec. user=mdettweiler [2012-11-08 00:30:22] 837*2^1233812-1 is not prime. Res64: FFB87DBA7E86C4DC Time : 0.0 sec. user=mdettweiler [2012-11-08 00:30:23] 885*2^1233812-1 is not prime. Res64: 3036E27D7FF4FDD2 Time : 0.0 sec. user=vaughan [2012-11-08 00:45:39] 743*2^1233812-1 is not prime. Res64: 31D494CF9545E38A Time : 0.0 sec. user=mdettweiler [2012-11-08 00:47:14] 945*2^1233812-1 is not prime. Res64: 06A95F4A4BEFE408 Time : 0.0 sec. user=mdettweiler [2012-11-08 00:47:16] 957*2^1233812-1 is not prime. Res64: 180A27D25700A8E9 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:01:54] 657*2^1233813-1 is not prime. Res64: 1D1979707B27261A Time : 0.0 sec. user=mdettweiler [2012-11-08 01:01:56] 765*2^1233813-1 is not prime. Res64: 2FCC76BE8A14A155 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:08:10] 877*2^1233813-1 is not prime. Res64: D25BA505D935FDF5 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:08:12] 755*2^1233814-1 is not prime. Res64: 39237D54DB9F8ED6 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:22:58] 773*2^1233814-1 is not prime. Res64: AAFD8A30F5116A91 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:23:00] 821*2^1233814-1 is not prime. Res64: 3D0C4C2D74CB206F Time : 0.0 sec. user=vaughan [2012-11-08 01:23:26] 849*2^1233813-1 is not prime. Res64: 2DA0D9B5F97A7DA8 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:29:13] 971*2^1233814-1 is not prime. Res64: CAA9B728B2B8A497 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:29:14] 993*2^1233814-1 is not prime. Res64: F24CE552AD816E06 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:43:54] 601*2^1233815-1 is not prime. Res64: CBCD598624BA2C5F Time : 0.0 sec. user=mdettweiler [2012-11-08 01:43:56] 705*2^1233815-1 is not prime. Res64: 3A8EC129AA98ABAC Time : 0.0 sec. user=mdettweiler [2012-11-08 01:50:08] 771*2^1233815-1 is not prime. Res64: 0F57715E28883360 Time : 0.0 sec. user=mdettweiler [2012-11-08 01:50:09] 831*2^1233815-1 is not prime. Res64: 1D2B29E1B27053F6 Time : 0.0 sec. user=vaughan [2012-11-08 02:01:12] 759*2^1233815-1 is not prime. Res64: 4C84EA3090D34547 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:04:53] 855*2^1233815-1 is not prime. Res64: 0826C72C9E449428 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:04:54] 885*2^1233815-1 is not prime. Res64: 637750740D0561ED Time : 0.0 sec. user=mdettweiler [2012-11-08 02:11:03] 913*2^1233815-1 is not prime. Res64: 932993AB92F8036C Time : 0.0 sec. user=mdettweiler [2012-11-08 02:11:05] 693*2^1233816-1 is not prime. Res64: FDD73A83A951399E Time : 0.0 sec. user=mdettweiler [2012-11-08 02:25:55] 707*2^1233816-1 is not prime. Res64: D7C2E41170FB592C Time : 0.0 sec. user=mdettweiler [2012-11-08 02:25:56] 723*2^1233816-1 is not prime. Res64: 6F72480F523C4541 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:31:59] 779*2^1233816-1 is not prime. Res64: 266F1D419E6B80EA Time : 0.0 sec. user=mdettweiler [2012-11-08 02:32:01] 789*2^1233816-1 is not prime. Res64: EE07BDE78E0D6EC5 Time : 0.0 sec. user=vaughan [2012-11-08 02:39:09] 705*2^1233816-1 is not prime. Res64: 1ACE41F85575B041 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:46:53] 843*2^1233816-1 is not prime. Res64: B428C1E83BD47856 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:46:56] 873*2^1233816-1 is not prime. Res64: 9EE5B5BFF56E64DB Time : 0.0 sec. user=mdettweiler [2012-11-08 02:53:01] 875*2^1233816-1 is not prime. Res64: 6D5CCE6DFF4593C1 Time : 0.0 sec. user=mdettweiler [2012-11-08 02:53:05] 879*2^1233816-1 is not prime. Res64: A9346072EBDAF307 Time : 0.0 sec. user=mdettweiler [2012-11-08 03:08:12] 649*2^1233817-1 is not prime. Res64: DF145E573B882241 Time : 0.0 sec. user=mdettweiler [2012-11-08 03:08:13] 747*2^1233817-1 is not prime. Res64: 12C751112C4CBCA3 Time : 0.0 sec. user=mdettweiler [2012-11-08 03:14:21] 805*2^1233817-1 is not prime. Res64: 6907D06106EBEDBB Time : 0.0 sec. user=mdettweiler [2012-11-08 03:14:23] 817*2^1233817-1 is not prime. Res64: E37747450DC579B0 Time : 0.0 sec. user=vaughan [2012-11-08 03:17:20] 625*2^1233817-1 is not prime. Res64: 9B2416AEC779A785 Time : 0.0 sec. user=mdettweiler [2012-11-08 03:35:11] 861*2^1233817-1 is not prime. Res64: 241A1F198F19D5ED Time : 0.0 sec. user=mdettweiler [2012-11-08 03:35:12] 633*2^1233818-1 is not prime. Res64: 52CC509059EC8F5D Time : 0.0 sec. user=mdettweiler [2012-11-08 03:51:56] 835*2^1233817-1 is not prime. Res64: 1980D058F9859A18 Time : 0.0 sec. user=mdettweiler [2012-11-08 03:51:58] 847*2^1233817-1 is not prime. Res64: 7376DEB094D33D6D Time : 0.0 sec. user=vaughan [2012-11-08 03:55:11] 645*2^1233818-1 is not prime. Res64: 3A0BF70ED639BA7D Time : 0.0 sec. user=mdettweiler [2012-11-08 03:56:06] 731*2^1233818-1 is not prime. Res64: E282BDA487486E5E Time : 0.0 sec. user=mdettweiler [2012-11-08 03:56:07] 705*2^1233819-1 is not prime. Res64: 0F7FAB05322B4E44 Time : 0.0 sec. user=mdettweiler [2012-11-08 04:13:08] 769*2^1233819-1 is not prime. Res64: BD95F990DED1C749 Time : 0.0 sec. user=mdettweiler [2012-11-08 04:13:14] 861*2^1233819-1 is not prime. Res64: 83391FC76C2A4BBE Time : 0.0 sec. user=mdettweiler [2012-11-08 04:16:59] 759*2^1233820-1 is not prime. Res64: 24E02245D980B428 Time : 0.0 sec. user=mdettweiler [2012-11-08 04:17:01] 819*2^1233820-1 is not prime. Res64: A7B967646030E74C Time : 0.0 sec. user=vaughan [2012-11-08 04:32:58] 913*2^1233819-1 is not prime. Res64: D0BE67EB48396E4B Time : 0.0 sec. user=mdettweiler [2012-11-08 04:38:10] 843*2^1233820-1 is not prime. Res64: 878762791ADDB514 Time : 0.0 sec. user=mdettweiler [2012-11-08 04:38:11] 899*2^1233820-1 is not prime. Res64: 933DBE230CEF4D12 Time : 0.0 sec. user=mdettweiler [2012-11-08 04:45:12] 923*2^1233820-1 is not prime. Res64: 43B39DA2E61F4C1B Time : 0.0 sec. user=mdettweiler [2012-11-08 04:45:14] 975*2^1233820-1 is not prime. Res64: 3D99504EC0E09A1A Time : 0.0 sec. user=mdettweiler [2012-11-08 04:59:13] 741*2^1233821-1 is not prime. Res64: C89C43FCAEDB310C Time : 0.0 sec. user=mdettweiler [2012-11-08 04:59:15] 781*2^1233821-1 is not prime. Res64: 81538A10047187B8 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:06:06] 855*2^1233821-1 is not prime. Res64: 9A222692594FA234 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:06:09] 859*2^1233821-1 is not prime. Res64: EE39042D5C70AE63 Time : 0.0 sec. user=vaughan [2012-11-08 05:10:51] 615*2^1233821-1 is not prime. Res64: B50700DC013FEFDA Time : 0.0 sec. user=mdettweiler [2012-11-08 05:20:09] 955*2^1233821-1 is not prime. Res64: 820973D585DE9724 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:20:10] 967*2^1233821-1 is not prime. Res64: 6BCCC3B617D0F5ED Time : 0.0 sec. user=mdettweiler [2012-11-08 05:27:20] 651*2^1233822-1 is not prime. Res64: 78A96DD5D288AC41 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:27:21] 677*2^1233822-1 is not prime. Res64: 56463826B68EB1A6 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:41:01] 731*2^1233822-1 is not prime. Res64: B77B11DE84C96686 Time : 0.0 sec. user=mdettweiler [2012-11-08 05:41:02] 873*2^1233822-1 is not prime. Res64: 5D9E8D68F5AFE2AB Time : 0.0 sec. user=mdettweiler [2012-11-08 05:48:14] 875*2^1233822-1 is not prime. Res64: 3E5CCB18E05584EF Time : 0.0 sec. user=mdettweiler [2012-11-08 05:48:15] 983*2^1233822-1 is not prime. Res64: 53C31D2D7431C114 Time : 0.0 sec. user=vaughan [2012-11-08 05:48:36] 695*2^1233822-1 is not prime. Res64: 97929C48B3B8417E Time : 0.0 sec. user=mdettweiler [2012-11-08 06:01:55] 673*2^1233823-1 is not prime. Res64: DDEA383C9D4892C1 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:01:57] 681*2^1233823-1 is not prime. Res64: C7BB90E82FC05E17 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:09:07] 789*2^1233823-1 is not prime. Res64: 94BF878F24DFFF57 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:09:08] 913*2^1233823-1 is not prime. Res64: C4DDF16651B3EBEC Time : 0.0 sec. user=mdettweiler [2012-11-08 06:22:57] 943*2^1233823-1 is not prime. Res64: A17595A759BE8D7F Time : 0.0 sec. user=mdettweiler [2012-11-08 06:22:58] 659*2^1233824-1 is not prime. Res64: 06848A088EC8E6B8 Time : 0.0 sec. user=vaughan [2012-11-08 06:26:24] 933*2^1233823-1 is not prime. Res64: 68E956C5C7FB651A Time : 0.0 sec. user=mdettweiler [2012-11-08 06:30:11] 665*2^1233824-1 is not prime. Res64: B145BF26A83B1561 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:30:12] 699*2^1233824-1 is not prime. Res64: AC60A252BFBFEB52 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:43:51] 773*2^1233824-1 is not prime. Res64: 5DE1935DD6B6ED95 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:43:53] 843*2^1233824-1 is not prime. Res64: 6E1D7E3E00879E36 Time : 0.0 sec. user=mdettweiler [2012-11-08 06:51:05] 959*2^1233824-1 is not prime. Res64: D4BE74B6EB9F24AE Time : 0.0 sec. user=mdettweiler [2012-11-08 06:51:06] 649*2^1233825-1 is not prime. Res64: FD6F31C72446B251 Time : 0.0 sec. user=vaughan [2012-11-08 07:04:12] 903*2^1233824-1 is not prime. Res64: CA714F4A91AF1A95 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:04:46] 709*2^1233825-1 is not prime. Res64: 7D6BB96ACD06C40D Time : 0.0 sec. user=mdettweiler [2012-11-08 07:04:50] 739*2^1233825-1 is not prime. Res64: 805CB0E1109FD09D Time : 0.0 sec. user=mdettweiler [2012-11-08 07:11:57] 741*2^1233825-1 is not prime. Res64: 841D890C2053A11E Time : 0.0 sec. user=mdettweiler [2012-11-08 07:11:59] 819*2^1233825-1 is not prime. Res64: 6DF54FFDD5333750 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:25:43] 889*2^1233825-1 is not prime. Res64: 853073A082644C8E Time : 0.0 sec. user=mdettweiler [2012-11-08 07:25:45] 611*2^1233826-1 is not prime. Res64: 86DB9ECF49A08C57 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:32:53] 617*2^1233826-1 is not prime. Res64: D82181C83A674D42 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:32:54] 647*2^1233826-1 is not prime. Res64: 7D02AC1856CAF28A Time : 0.0 sec. user=vaughan [2012-11-08 07:42:18] 885*2^1233825-1 is not prime. Res64: 2DA8B6172FAFBD85 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:46:40] 741*2^1233826-1 is not prime. Res64: D80C919189937D37 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:46:41] 813*2^1233826-1 is not prime. Res64: 52FD60D6D62F93EE Time : 0.0 sec. user=mdettweiler [2012-11-08 07:53:45] 825*2^1233826-1 is not prime. Res64: 03F8E90E4816AF75 Time : 0.0 sec. user=mdettweiler [2012-11-08 07:53:47] 911*2^1233826-1 is not prime. Res64: 5845BD2305B25B47 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:07:35] 1001*2^1233826-1 is not prime. Res64: E7CDEC2741218ED3 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:07:37] 703*2^1233827-1 is not prime. Res64: 7F3E29924EB1A987 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:14:41] 711*2^1233827-1 is not prime. Res64: EC33E3E34320F5CB Time : 0.0 sec. user=mdettweiler [2012-11-08 08:14:42] 733*2^1233827-1 is not prime. Res64: FA5C29F71D83D013 Time : 0.0 sec. user=vaughan [2012-11-08 08:20:00] 993*2^1233826-1 is not prime. Res64: F12F252F92FAF8CD Time : 0.0 sec. user=mdettweiler [2012-11-08 08:28:35] 823*2^1233827-1 is not prime. Res64: 71A58228B2C01D4D Time : 0.0 sec. user=mdettweiler [2012-11-08 08:28:37] 843*2^1233827-1 is not prime. Res64: E15CB8C8712CB797 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:35:33] 915*2^1233827-1 is not prime. Res64: 290E31BAEE719C5E Time : 0.0 sec. user=mdettweiler [2012-11-08 08:35:34] 963*2^1233827-1 is not prime. Res64: AB6E084C8A049F76 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:49:32] 707*2^1233828-1 is not prime. Res64: 584E97567A4F3940 Time : 0.0 sec. user=mdettweiler [2012-11-08 08:49:33] 737*2^1233828-1 is not prime. Res64: BBB72EAC44604D7B Time : 0.0 sec. user=mdettweiler [2012-11-08 08:56:25] 767*2^1233828-1 is not prime. Res64: 32CDE0064B1B327D Time : 0.0 sec. user=mdettweiler [2012-11-08 08:56:27] 887*2^1233828-1 is not prime. Res64: D4FFFE71AD4AA826 Time : 0.0 sec. user=vaughan [2012-11-08 08:58:01] 605*2^1233828-1 is not prime. Res64: 979034CB368D9818 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:10:29] 905*2^1233828-1 is not prime. Res64: CAD66B9896331BC4 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:10:31] 999*2^1233828-1 is not prime. Res64: 9747E1C273ED29F6 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:17:20] 691*2^1233829-1 is not prime. Res64: DF9B5F5BD2C647F8 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:17:22] 765*2^1233829-1 is not prime. Res64: 2B6E5237DD9B02CE Time : 0.0 sec. user=mdettweiler [2012-11-08 09:31:28] 895*2^1233829-1 is not prime. Res64: 00F2F5FF2D27F113 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:31:29] 939*2^1233829-1 is not prime. Res64: E364E18CEE287495 Time : 0.0 sec. user=vaughan [2012-11-08 09:35:47] 885*2^1233829-1 is not prime. Res64: 5626061AF2112DAE Time : 0.0 sec. user=mdettweiler [2012-11-08 09:38:38] 945*2^1233829-1 is not prime. Res64: 794152DACAA1290B Time : 0.0 sec. user=mdettweiler [2012-11-08 09:38:39] 975*2^1233829-1 is not prime. Res64: BC3DC20F18B0180B Time : 0.0 sec. user=mdettweiler [2012-11-08 09:52:21] 797*2^1233830-1 is not prime. Res64: E1E04133610119A6 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:52:23] 857*2^1233830-1 is not prime. Res64: 49E5CCF23B909507 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:59:31] 723*2^1233831-1 is not prime. Res64: 2D7327F93D173170 Time : 0.0 sec. user=mdettweiler [2012-11-08 09:59:32] 735*2^1233831-1 is not prime. Res64: 59A0162EB7ED6A2C Time : 0.0 sec. user=mdettweiler [2012-11-08 10:13:19] 751*2^1233831-1 is not prime. Res64: D0FD988642B70033 Time : 0.0 sec. user=mdettweiler [2012-11-08 10:13:21] 873*2^1233831-1 is not prime. Res64: 151743B748DBEE48 Time : 0.0 sec. user=vaughan [2012-11-08 10:13:31] 649*2^1233831-1 is not prime. Res64: 8E647941B9E66444 Time : 0.0 sec. user=mdettweiler [2012-11-08 10:20:26] 665*2^1233832-1 is not prime. Res64: A8A9110A6F4F7749 Time : 0.0 sec. user=mdettweiler [2012-11-08 10:20:27] 677*2^1233832-1 is not prime. Res64: C7729F2F2C40174C Time : 0.0 sec. user=mdettweiler [2012-11-08 10:34:19] 695*2^1233832-1 is not prime. Res64: 9CA09553466E287F Time : 0.0 sec. user=mdettweiler [2012-11-08 10:34:20] 765*2^1233832-1 is not prime. Res64: FFBA7072F62D6181 Time : 0.0 sec. user=mdettweiler [2012-11-08 10:41:24] 869*2^1233832-1 is not prime. Res64: 9B5CA8E6C1E9F0DD Time : 0.0 sec. user=mdettweiler [2012-11-08 10:41:25] 631*2^1233833-1 is not prime. Res64: 27E90D67CE820E47 Time : 0.0 sec. user=vaughan [2012-11-08 10:51:22] 813*2^1233832-1 is not prime. Res64: C43EE171D9CF9DC7 Time : 0.0 sec. user=mdettweiler [2012-11-08 10:55:09] 747*2^1233833-1 is not prime. Res64: 6266BD15F9CD076D Time : 0.0 sec. user=mdettweiler [2012-11-08 10:55:10] 815*2^1233834-1 is not prime. Res64: 70A90502BE7FB092 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:02:19] 851*2^1233834-1 is not prime. Res64: AC3D1104F5CDDCAC Time : 0.0 sec. user=mdettweiler [2012-11-08 11:02:20] 971*2^1233834-1 is not prime. Res64: 86124BEE962265DA Time : 0.0 sec. user=mdettweiler [2012-11-08 11:16:03] 715*2^1233835-1 is not prime. Res64: C6EF29F9EB151716 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:16:05] 751*2^1233835-1 is not prime. Res64: F3E7935543715224 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:23:15] 759*2^1233835-1 is not prime. Res64: E5153820DB7B4E61 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:23:16] 793*2^1233835-1 is not prime. Res64: EA5E6900AA1E26D3 Time : 0.0 sec. user=vaughan [2012-11-08 11:29:03] 709*2^1233835-1 is not prime. Res64: BAF47F1E4D2B18C8 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:37:45] 883*2^1233835-1 is not prime. Res64: 0B988D6D8512D870 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:37:46] 919*2^1233835-1 is not prime. Res64: B895D9CF6225BB99 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:44:19] 961*2^1233835-1 is not prime. Res64: 571917EBD63B96B7 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:44:20] 985*2^1233835-1 is not prime. Res64: 855A4FF8A9045FEC Time : 0.0 sec. user=mdettweiler [2012-11-08 11:58:47] 647*2^1233836-1 is not prime. Res64: E50ECB21E3756772 Time : 0.0 sec. user=mdettweiler [2012-11-08 11:58:48] 897*2^1233836-1 is not prime. Res64: 6919ECC1CD383604 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:05:23] 621*2^1233837-1 is not prime. Res64: 3EF4381D883A9A93 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:05:25] 741*2^1233837-1 is not prime. Res64: FB86D71DA3208D53 Time : 0.0 sec. user=vaughan [2012-11-08 12:06:46] 629*2^1233836-1 is not prime. Res64: 6F0FC5B0C4C6D7C1 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:19:47] 837*2^1233837-1 is not prime. Res64: 1F7CAA6B697B2C28 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:19:49] 961*2^1233837-1 is not prime. Res64: AEDA2FA1B5C92731 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:26:42] 611*2^1233838-1 is not prime. Res64: C353A8C138E37041 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:26:42] 761*2^1233838-1 is not prime. Res64: 8D06C61588474A0C Time : 0.0 sec. user=mdettweiler [2012-11-08 12:40:50] 703*2^1233839-1 is not prime. Res64: 90D19A30E4C48394 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:40:51] 711*2^1233839-1 is not prime. Res64: E97B3BF40FB1ABB0 Time : 0.0 sec. user=vaughan [2012-11-08 12:44:29] 643*2^1233839-1 is not prime. Res64: 5BCDCE68DFF96DD7 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:47:40] 623*2^1233840-1 is not prime. Res64: 160F392759290937 Time : 0.0 sec. user=mdettweiler [2012-11-08 12:47:41] 669*2^1233840-1 is not prime. Res64: 148FB47F4ED02916 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:01:47] 875*2^1233840-1 is not prime. Res64: 4F4D8968AA4FF33C Time : 0.0 sec. user=mdettweiler [2012-11-08 13:01:49] 983*2^1233840-1 is not prime. Res64: E4FAF227B39260E4 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:08:38] 705*2^1233841-1 is not prime. Res64: 9812025721B11527 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:08:41] 861*2^1233841-1 is not prime. Res64: 8144416A6FEBAC00 Time : 0.0 sec. user=vaughan [2012-11-08 13:22:12] 651*2^1233841-1 is not prime. Res64: 9B16F9AC0ADEDB05 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:22:57] 871*2^1233841-1 is not prime. Res64: 6BDA3F335BBDE11C Time : 0.0 sec. user=mdettweiler [2012-11-08 13:22:59] 955*2^1233841-1 is not prime. Res64: 8313F360AB50BC76 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:29:45] 791*2^1233842-1 is not prime. Res64: AE0A06735FBE5CB3 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:29:46] 843*2^1233842-1 is not prime. Res64: FFD47F282B843F73 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:43:57] 887*2^1233842-1 is not prime. Res64: 481143E3D2E52B38 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:43:58] 893*2^1233842-1 is not prime. Res64: 8BA176FC426B29EE Time : 0.0 sec. user=mdettweiler [2012-11-08 13:50:43] 977*2^1233842-1 is not prime. Res64: 91586FC6582EC590 Time : 0.0 sec. user=mdettweiler [2012-11-08 13:50:44] 669*2^1233843-1 is not prime. Res64: C376FB8F11519D8A Time : 0.0 sec. user=vaughan [2012-11-08 14:00:07] 867*2^1233842-1 is not prime. Res64: 91BCC3822E2D279B Time : 0.0 sec. user=mdettweiler [2012-11-08 14:04:55] 721*2^1233843-1 is not prime. Res64: 87C64F06EAD390E0 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:04:57] 735*2^1233843-1 is not prime. Res64: 6AD92B2DBC72D898 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:11:44] 879*2^1233843-1 is not prime. Res64: 115FF1B1E700B9E6 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:11:45] 895*2^1233843-1 is not prime. Res64: 2758429FA852E808 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:26:00] 743*2^1233844-1 is not prime. Res64: A0008F41AE0C3CB1 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:26:02] 803*2^1233844-1 is not prime. Res64: B29C3BEEBF9FE285 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:32:46] 843*2^1233844-1 is not prime. Res64: 041C48747240EF95 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:32:47] 947*2^1233844-1 is not prime. Res64: 3687E78F2C4CCC8A Time : 0.0 sec. user=vaughan [2012-11-08 14:37:55] 617*2^1233844-1 is not prime. Res64: 17DD25338DADB971 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:47:04] 619*2^1233845-1 is not prime. Res64: 3094A088BD9661E4 Time : 0.0 sec. user=mdettweiler [2012-11-08 14:47:05] 651*2^1233845-1 is not prime. Res64: 4E60904D2093B34A Time : 0.0 sec. user=mdettweiler [2012-11-08 14:53:44] 685*2^1233845-1 is not prime. Res64: BB81108FD8CB044A Time : 0.0 sec. user=mdettweiler [2012-11-08 14:53:45] 789*2^1233845-1 is not prime. Res64: 5C057923AA55E584 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:08:02] 885*2^1233845-1 is not prime. Res64: A798E6FFBB71571F Time : 0.0 sec. user=mdettweiler [2012-11-08 15:08:06] 957*2^1233845-1 is not prime. Res64: 8CE50C6A312EA375 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:14:40] 693*2^1233846-1 is not prime. Res64: FD919082B607B630 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:14:41] 713*2^1233846-1 is not prime. Res64: 5F24EAAFE4CB54E5 Time : 0.0 sec. user=vaughan [2012-11-08 15:15:38] 867*2^1233845-1 is not prime. Res64: B4928ACBDAC9F5B7 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:29:13] 765*2^1233846-1 is not prime. Res64: 020BCCB1ADA1B2B9 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:29:14] 833*2^1233846-1 is not prime. Res64: 72528B82DBFE4911 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:35:44] 921*2^1233846-1 is not prime. Res64: 5CD720412D82DBEF Time : 0.0 sec. user=mdettweiler [2012-11-08 15:35:45] 957*2^1233846-1 is not prime. Res64: 44DCEE923F902D3C Time : 0.0 sec. user=mdettweiler [2012-11-08 15:50:16] 735*2^1233847-1 is not prime. Res64: AFFDF0A4425F4405 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:50:17] 829*2^1233847-1 is not prime. Res64: 929721688623708B Time : 0.0 sec. user=vaughan [2012-11-08 15:53:19] 673*2^1233847-1 is not prime. Res64: F5CE25541B4C0347 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:56:44] 861*2^1233847-1 is not prime. Res64: 71558D8DE8FA35B1 Time : 0.0 sec. user=mdettweiler [2012-11-08 15:56:45] 871*2^1233847-1 is not prime. Res64: 8A14B31A6F7352B8 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:11:17] 939*2^1233847-1 is not prime. Res64: 3A94789EC80E79B6 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:11:19] 725*2^1233848-1 is not prime. Res64: 05E41A66BBB139C0 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:17:46] 923*2^1233848-1 is not prime. Res64: 98F6D2342785C6E8 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:17:48] 957*2^1233848-1 is not prime. Res64: 38AE9906726CDF92 Time : 0.0 sec. user=vaughan [2012-11-08 16:31:02] 777*2^1233848-1 is not prime. Res64: D921971A783BEBED Time : 0.0 sec. user=mdettweiler [2012-11-08 16:32:59] 969*2^1233848-1 is not prime. Res64: 8A410E46B48254E8 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:32:59] 657*2^1233849-1 is not prime. Res64: FD4250292E23E766 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:39:37] 661*2^1233849-1 is not prime. Res64: E41FE26AC177C287 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:39:37] 691*2^1233849-1 is not prime. Res64: DBFBFC9D9692E8B2 Time : 0.0 sec. user=mdettweiler [2012-11-08 16:54:47] 807*2^1233849-1 is not prime. Res64: 45E35A4E771BFC0E Time : 0.0 sec. user=mdettweiler [2012-11-08 16:54:47] 847*2^1233849-1 is not prime. Res64: 7EBE3A02A01511FE Time : 0.0 sec. user=mdettweiler [2012-11-08 17:01:14] 889*2^1233849-1 is not prime. Res64: CA07DBED174C972B Time : 0.0 sec. user=mdettweiler [2012-11-08 17:01:14] 951*2^1233849-1 is not prime. Res64: 4CE1CEF5E480771F Time : 0.0 sec. user=vaughan [2012-11-08 17:08:46] 745*2^1233849-1 is not prime. Res64: 4123CD06018DC200 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:15:54] 975*2^1233849-1 is not prime. Res64: B4F1F4ACAE8C7202 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:15:55] 997*2^1233849-1 is not prime. Res64: D90D1929FD9415D5 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:22:19] 999*2^1233849-1 is not prime. Res64: 6D8E936DBA1FC7E7 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:22:20] 681*2^1233850-1 is not prime. Res64: A89C63FB65ACE18E Time : 0.0 sec. user=mdettweiler [2012-11-08 17:37:18] 843*2^1233850-1 is not prime. Res64: 99E6E956A48F03B1 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:37:19] 855*2^1233850-1 is not prime. Res64: 84A8B93193F1FEEF Time : 0.0 sec. user=mdettweiler [2012-11-08 17:43:29] 685*2^1233851-1 is not prime. Res64: 35F1C1A28710C8BF Time : 0.0 sec. user=mdettweiler [2012-11-08 17:43:29] 735*2^1233851-1 is not prime. Res64: 5EE1DAF3E9A90881 Time : 0.0 sec. user=vaughan [2012-11-08 17:46:50] 801*2^1233850-1 is not prime. Res64: B0F4F74A1A5C6461 Time : 0.0 sec. user=mdettweiler [2012-11-08 17:58:25] 745*2^1233851-1 is not prime. Res64: E23DDE136D1D143E Time : 0.0 sec. user=mdettweiler [2012-11-08 17:58:25] 805*2^1233851-1 is not prime. Res64: 792739E91F6895C8 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:04:39] 825*2^1233851-1 is not prime. Res64: B305173CBC70C916 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:04:41] 841*2^1233851-1 is not prime. Res64: D14CA98170477F07 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:20:33] 855*2^1233851-1 is not prime. Res64: 7F47458F43C48B88 Time : 0.0 sec. user=vaughan [2012-11-08 18:24:33] 843*2^1233851-1 is not prime. Res64: 23B4E1C1902F0E69 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:26:03] 945*2^1233851-1 is not prime. Res64: 7E8F322CB8DB97DE Time : 0.0 sec. user=mdettweiler [2012-11-08 18:26:04] 993*2^1233851-1 is not prime. Res64: 665EBDCA6878D577 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:47:14] 633*2^1233852-1 is not prime. Res64: 8AB210D7C348F530 Time : 0.0 sec. user=mdettweiler [2012-11-08 18:47:15] 669*2^1233852-1 is not prime. Res64: 2010C69849CAEFE1 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:00:28] 913*2^1233851-1 is not prime. Res64: BE382B78D83DBF9E Time : 0.0 sec. user=vaughan [2012-11-08 19:02:26] 627*2^1233852-1 is not prime. Res64: E1EE50E59DDBA84D Time : 0.0 sec. user=mdettweiler [2012-11-08 19:08:27] 683*2^1233852-1 is not prime. Res64: 1D60BC4496098B93 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:08:29] 693*2^1233852-1 is not prime. Res64: 5DC4D3588DAAE30E Time : 0.0 sec. user=mdettweiler [2012-11-08 19:21:41] 765*2^1233852-1 is not prime. Res64: A92292A69ACDE02F Time : 0.0 sec. user=mdettweiler [2012-11-08 19:21:42] 867*2^1233852-1 is not prime. Res64: 45B89B16C4199538 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:30:01] 983*2^1233852-1 is not prime. Res64: E05293488C6642C8 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:30:04] 987*2^1233852-1 is not prime. Res64: 7C47595F64C87036 Time : 0.0 sec. user=vaughan [2012-11-08 19:40:18] 873*2^1233852-1 is not prime. Res64: 9076B14E5F9AA0D0 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:43:05] 651*2^1233853-1 is not prime. Res64: 23D6728BF74DA42A Time : 0.0 sec. user=mdettweiler [2012-11-08 19:43:06] 729*2^1233853-1 is not prime. Res64: 068A0F77242B2440 Time : 0.0 sec. user=mdettweiler [2012-11-08 19:51:24] 771*2^1233853-1 is not prime. Res64: 93B043412C9FEAEF Time : 0.0 sec. user=mdettweiler [2012-11-08 19:51:25] 789*2^1233853-1 is not prime. Res64: E91993F19FDEF7E7 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:04:16] 635*2^1233854-1 is not prime. Res64: EEE11777443A6C1B Time : 0.0 sec. user=mdettweiler [2012-11-08 20:04:17] 753*2^1233854-1 is not prime. Res64: 51D5D63BB2198156 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:12:39] 795*2^1233854-1 is not prime. Res64: 388072CBEA9862E2 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:12:41] 613*2^1233855-1 is not prime. Res64: 2E654040FA973EEA Time : 0.0 sec. user=vaughan [2012-11-08 20:18:48] 867*2^1233853-1 is not prime. Res64: 3A71F209441ADA82 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:25:29] 723*2^1233855-1 is not prime. Res64: 7A9002ABEB829F3C Time : 0.0 sec. user=mdettweiler [2012-11-08 20:25:30] 831*2^1233855-1 is not prime. Res64: FBE213C054AF6279 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:34:14] 933*2^1233855-1 is not prime. Res64: 08C5FF706AA65B20 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:34:15] 979*2^1233855-1 is not prime. Res64: 7CE11B93254C51B2 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:47:12] 723*2^1233856-1 is not prime. Res64: B9E48D2B9FAA4BF2 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:47:13] 735*2^1233856-1 is not prime. Res64: 5C29D51549CACC1E Time : 0.0 sec. user=mdettweiler [2012-11-08 20:55:58] 765*2^1233856-1 is not prime. Res64: 0347C0A25A1DDD62 Time : 0.0 sec. user=mdettweiler [2012-11-08 20:55:58] 833*2^1233856-1 is not prime. Res64: 6473DE21E91C94BA Time : 0.0 sec. user=mdettweiler [2012-11-08 21:08:58] 855*2^1233856-1 is not prime. Res64: 4C54DED17F683DBC Time : 0.0 sec. user=mdettweiler [2012-11-08 21:09:00] 869*2^1233856-1 is not prime. Res64: A64D92F68FE1A901 Time : 0.0 sec. user=mdettweiler [2012-11-08 21:21:06] 999*2^1233856-1 is not prime. Res64: F6521B7910203647 Time : 0.0 sec. user=vaughan [2012-11-08 21:30:10] 939*2^1233856-1 is not prime. Res64: 4CE8F157C65AE29E Time : 0.0 sec. user=mdettweiler [2012-11-08 21:30:50] 675*2^1233857-1 is not prime. Res64: 51E81A1DE90DDF6F Time : 0.0 sec. user=mdettweiler [2012-11-08 21:30:51] 819*2^1233857-1 is not prime. Res64: 1973040C523E8861 Time : 0.0 sec. user=mdettweiler [2012-11-08 21:52:31] 865*2^1233857-1 is not prime. Res64: E1682F071F052072 Time : 0.0 sec. user=mdettweiler [2012-11-08 21:52:32] 885*2^1233857-1 is not prime. Res64: C8F58C4AC591F9D4 Time : 0.0 sec. user=mdettweiler [2012-11-08 21:55:12] 615*2^1233857-1 is not prime. Res64: ECCD6252D258C13B Time : 0.0 sec. user=vaughan [2012-11-08 22:12:06] 847*2^1233857-1 is not prime. Res64: 2EED0677002884FE Time : 0.0 sec. user=mdettweiler [2012-11-08 22:13:46] 621*2^1233858-1 is not prime. Res64: 24407BEBC3477900 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:13:48] 677*2^1233858-1 is not prime. Res64: 2692E048FE6E9726 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:16:22] 755*2^1233858-1 is not prime. Res64: 3632658C25195B77 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:16:23] 791*2^1233858-1 is not prime. Res64: 455EBCC141F9343D Time : 0.0 sec. user=mdettweiler [2012-11-08 22:35:03] 993*2^1233858-1 is not prime. Res64: 0E5195D7AA56FF40 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:35:03] 705*2^1233859-1 is not prime. Res64: A1E24892D8CDBDA6 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:37:31] 733*2^1233859-1 is not prime. Res64: 1C96FD08622AE5CE Time : 0.0 sec. user=mdettweiler [2012-11-08 22:37:32] 741*2^1233859-1 is not prime. Res64: 863C19B624841FAB Time : 0.0 sec. user=mdettweiler [2012-11-08 22:56:16] 855*2^1233859-1 is not prime. Res64: 47B66662FE32E0A3 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:56:16] 919*2^1233859-1 is not prime. Res64: 974D869D28D3AEC0 Time : 0.0 sec. user=mdettweiler [2012-11-08 22:58:46] 843*2^1233860-1 is not prime. Res64: 41B27FA4FAEBE5AE Time : 0.0 sec. user=mdettweiler [2012-11-08 22:58:47] 897*2^1233860-1 is not prime. Res64: FE11CAA51152DBB1 Time : 0.0 sec. user=vaughan [2012-11-08 23:06:51] 815*2^1233858-1 is not prime. Res64: 9D13A55F8B178777 Time : 0.0 sec. user=mdettweiler [2012-11-08 23:17:28] 977*2^1233860-1 is not prime. Res64: 8A7EAE2330009D71 Time : 0.0 sec. user=mdettweiler [2012-11-08 23:17:29] 609*2^1233861-1 is not prime. Res64: 1AAF0EC58CD24B48 Time : 0.0 sec. user=mdettweiler [2012-11-08 23:20:00] 651*2^1233861-1 is not prime. Res64: 52638BCBB9525C25 Time : 0.0 sec. user=mdettweiler [2012-11-08 23:20:01] 709*2^1233861-1 is not prime. Res64: D4A85F6B6E99595B Time : 0.0 sec. user=mdettweiler [2012-11-08 23:39:02] 717*2^1233861-1 is not prime. Res64: C7AD312BF10C7A41 Time : 0.0 sec. user=mdettweiler [2012-11-08 23:39:03] 861*2^1233861-1 is not prime. Res64: FFE06D507C2DC14B Time : 0.0 sec. user=mdettweiler [2012-11-08 23:41:13] 871*2^1233861-1 is not prime. Res64: 2DD4BA548A2FDBDB Time : 0.0 sec. user=mdettweiler [2012-11-08 23:41:13] 907*2^1233861-1 is not prime. Res64: F6CFA952E628426F Time : 0.0 sec. user=mdettweiler [2012-11-09 00:00:16] 951*2^1233861-1 is not prime. Res64: 6FEE0F18971D584B Time : 0.0 sec. user=mdettweiler [2012-11-09 00:00:17] 987*2^1233861-1 is not prime. Res64: A714F4240AA229C5 Time : 0.0 sec.