user=mdettweiler [2012-08-15 00:04:39] 873*2^1226462-1 is not prime. Res64: C63977EE746A94D6 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:04:40] 915*2^1226462-1 is not prime. Res64: 947C0C3E25AF1552 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:08:30] 705*2^1226462-1 is not prime. Res64: 5638E06DB140D5D1 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:10:14] 685*2^1226463-1 is not prime. Res64: 49768C4B66BFD7F3 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:10:17] 783*2^1226463-1 is not prime. Res64: CFB8915106206565 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:15:03] 827*2^1226462-1 is not prime. Res64: 33B8C4A420D04004 Time : 0.0 sec. user=vaughan [2012-08-15 00:16:57] 755*2^1226462-1 is not prime. Res64: 77A1829A9D0D6A80 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:26:51] 895*2^1226463-1 is not prime. Res64: F71B0EAA65E34EF7 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:26:53] 919*2^1226463-1 is not prime. Res64: F06D16800526B656 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:31:53] 635*2^1226464-1 is not prime. Res64: 3DB30C8C9AC7974A Time : 0.0 sec. user=mdettweiler [2012-08-15 00:31:54] 677*2^1226464-1 is not prime. Res64: 3F360C985674D972 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:41:03] 921*2^1226463-1 is not prime. Res64: BE61D54AD28CD0F6 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:48:05] 909*2^1226464-1 is not prime. Res64: 5AD48BE6387F14AD Time : 0.0 sec. user=mdettweiler [2012-08-15 00:48:06] 959*2^1226464-1 is not prime. Res64: 80E2F476A335D732 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:51:03] 855*2^1226464-1 is not prime. Res64: 802822B9AD8A1BA9 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:52:59] 969*2^1226464-1 is not prime. Res64: B204F2D0E09B4D58 Time : 0.0 sec. user=mdettweiler [2012-08-15 00:53:00] 669*2^1226465-1 is not prime. Res64: F8658151C7785305 Time : 0.0 sec. user=vaughan [2012-08-15 00:54:20] 863*2^1226464-1 is not prime. Res64: 255613E9290906A2 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:09:03] 871*2^1226465-1 is not prime. Res64: 6D8300C5B39E46E9 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:09:04] 909*2^1226465-1 is not prime. Res64: EDD73A05B86EBC57 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:14:08] 765*2^1226466-1 is not prime. Res64: 7C48F34FC7C4335E Time : 0.0 sec. user=mdettweiler [2012-08-15 01:14:11] 881*2^1226466-1 is not prime. Res64: CE3128877A5F90DA Time : 0.0 sec. user=mdettweiler [2012-08-15 01:14:56] 831*2^1226465-1 is not prime. Res64: 5AC50C3E930BF7E0 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:25:43] 957*2^1226465-1 is not prime. Res64: C10BBF2443479AA7 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:30:19] 819*2^1226467-1 is not prime. Res64: B7449A389C69AF4B Time : 0.0 sec. user=mdettweiler [2012-08-15 01:30:20] 919*2^1226467-1 is not prime. Res64: 327A7E4FAC8C5FC5 Time : 0.0 sec. user=vaughan [2012-08-15 01:31:36] 983*2^1226466-1 is not prime. Res64: 67476CDDCDF56595 Time : 0.0 sec. user=gd_barnes [2012-08-15 01:35:36] 673*2^1226467-1 is not prime. Res64: 88CF23A7BA380B58 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:35:53] 767*2^1226468-1 is not prime. Res64: C2FE6F9CACFDF50E Time : 0.0 sec. user=mdettweiler [2012-08-15 01:35:54] 777*2^1226468-1 is not prime. Res64: 3E0FE8292994ED95 Time : 0.0 sec. user=gd_barnes [2012-08-15 01:37:31] 805*2^1226467-1 is not prime. Res64: 34C625590C20FD9D Time : 0.0 sec. user=mdettweiler [2012-08-15 01:48:00] 839*2^1226468-1 is not prime. Res64: 99D96768C00C2C77 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:51:40] 963*2^1226468-1 is not prime. Res64: 7F3153548112BA66 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:51:42] 995*2^1226468-1 is not prime. Res64: B78FFCB461FD5ADF Time : 0.0 sec. user=mdettweiler [2012-08-15 01:56:57] 625*2^1226469-1 is not prime. Res64: 122BC62388E44AC1 Time : 0.0 sec. user=mdettweiler [2012-08-15 01:56:57] 649*2^1226469-1 is not prime. Res64: BAD90819C0A01AA0 Time : 0.0 sec. user=vaughan [2012-08-15 02:08:55] 621*2^1226469-1 is not prime. Res64: 7AF25DE83797E0B4 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:12:52] 667*2^1226469-1 is not prime. Res64: EE0D4AF82D918EC8 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:12:56] 709*2^1226469-1 is not prime. Res64: FF42593250428414 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:18:02] 727*2^1226469-1 is not prime. Res64: 4CF0C8536742D1C6 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:18:02] 825*2^1226469-1 is not prime. Res64: 230A5FE03F5C2BF8 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:26:30] 657*2^1226469-1 is not prime. Res64: 9225763233FB62DE Time : 0.0 sec. user=mdettweiler [2012-08-15 02:36:43] 895*2^1226469-1 is not prime. Res64: 63D625AC7F7CB45E Time : 0.0 sec. user=vaughan [2012-08-15 02:46:16] 921*2^1226469-1 is not prime. Res64: 60F92DBDAA9F8943 Time : 0.0 sec. user=mdettweiler [2012-08-15 02:48:10] 969*2^1226469-1 is not prime. Res64: 4C27A4A9E0944C7E Time : 0.0 sec. user=mdettweiler [2012-08-15 02:48:33] 979*2^1226469-1 is not prime. Res64: D25636E4E8E69A7A Time : 0.0 sec. user=mdettweiler [2012-08-15 02:48:34] 645*2^1226470-1 is not prime. Res64: 94907B250FEB8F14 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:08:30] 707*2^1226470-1 is not prime. Res64: 5EA52883FF60A00B Time : 0.0 sec. user=gd_barnes [2012-08-15 03:08:49] 741*2^1226471-1 is not prime. Res64: 866BFF088909728D Time : 0.0 sec. user=gd_barnes [2012-08-15 03:08:51] 971*2^1226470-1 is not prime. Res64: 0C7CA44515B25C31 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:08:55] 825*2^1226471-1 is not prime. Res64: 91169ECB953F8595 Time : 0.0 sec. user=gd_barnes [2012-08-15 03:08:58] 987*2^1226470-1 is not prime. Res64: F471446F5F2C0773 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:09:00] 883*2^1226471-1 is not prime. Res64: E1F1B3282CDB2974 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:09:08] 885*2^1226471-1 is not prime. Res64: B62F05485DB930DD Time : 0.0 sec. user=mdettweiler [2012-08-15 03:09:09] 945*2^1226471-1 is not prime. Res64: 3C767E648049EB5F Time : 0.0 sec. user=mdettweiler [2012-08-15 03:10:15] 713*2^1226470-1 is not prime. Res64: 685C266366231F47 Time : 0.0 sec. user=gd_barnes [2012-08-15 03:13:53] 661*2^1226471-1 is not prime. Res64: 78B91E84D769181B Time : 0.0 sec. user=gd_barnes [2012-08-15 03:14:03] 827*2^1226470-1 is not prime. Res64: B8D99D01A41C3D8D Time : 0.0 sec. user=gd_barnes [2012-08-15 03:14:11] 951*2^1226470-1 is not prime. Res64: AE11E69FDA09862C Time : 0.0 sec. user=gd_barnes [2012-08-15 03:15:24] 759*2^1226471-1 is not prime. Res64: 8EB3A60362429F85 Time : 0.0 sec. user=vaughan [2012-08-15 03:23:39] 789*2^1226471-1 is not prime. Res64: 4B16F44CC4FE3181 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:29:35] 693*2^1226472-1 is not prime. Res64: BF8B2EF20F117A7C Time : 0.0 sec. user=mdettweiler [2012-08-15 03:29:36] 737*2^1226472-1 is not prime. Res64: CAB40DFBB4624533 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:29:44] 765*2^1226472-1 is not prime. Res64: 22E1CBCF03083BBB Time : 0.0 sec. user=mdettweiler [2012-08-15 03:29:45] 825*2^1226472-1 is not prime. Res64: 10ED6AFC275F8630 Time : 0.0 sec. user=gd_barnes [2012-08-15 03:36:45] 879*2^1226472-1 is not prime. Res64: 687B9833B78D14F6 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:45:40] 689*2^1226472-1 is not prime. Res64: 3BFC8F2505EEE0B8 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:46:41] 843*2^1226472-1 is not prime. Res64: E91D29BAF6ED5C28 Time : 0.0 sec. user=mdettweiler [2012-08-15 03:50:09] 831*2^1226473-1 is not prime. Res64: D27B224D4582B85F Time : 0.0 sec. user=mdettweiler [2012-08-15 03:50:11] 835*2^1226473-1 is not prime. Res64: 93F97C1237FE7A79 Time : 0.0 sec. user=vaughan [2012-08-15 04:00:59] 947*2^1226472-1 is not prime. Res64: 354A17896F069835 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:10:45] 605*2^1226474-1 is not prime. Res64: 63546C6939BC8BD2 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:10:48] 711*2^1226474-1 is not prime. Res64: F5639E4A8CD80E98 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:20:24] 895*2^1226473-1 is not prime. Res64: CE5781A4BDF7624C Time : 0.0 sec. user=mdettweiler [2012-08-15 04:24:52] 867*2^1226473-1 is not prime. Res64: 8A5AB1D22DE1D8B0 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:31:35] 953*2^1226474-1 is not prime. Res64: 40B9D321074FD377 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:31:37] 983*2^1226474-1 is not prime. Res64: BFE31B10F698F32C Time : 0.0 sec. user=gd_barnes [2012-08-15 04:37:36] 923*2^1226474-1 is not prime. Res64: EA1CDAA226E41283 Time : 0.0 sec. user=vaughan [2012-08-15 04:38:42] 917*2^1226474-1 is not prime. Res64: 3F87D66DA0F8748E Time : 0.0 sec. user=mdettweiler [2012-08-15 04:50:45] 833*2^1226474-1 is not prime. Res64: D58AEA4B3A9CCF6E Time : 0.0 sec. user=mdettweiler [2012-08-15 04:50:46] 837*2^1226474-1 is not prime. Res64: 174CDDA87D461D2B Time : 0.0 sec. user=mdettweiler [2012-08-15 04:52:20] 795*2^1226475-1 is not prime. Res64: 0A1469C002AE9C18 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:52:21] 819*2^1226475-1 is not prime. Res64: 8F7A3DCD6E940BFF Time : 0.0 sec. user=gd_barnes [2012-08-15 04:54:55] 765*2^1226475-1 is not prime. Res64: C53398B17965B619 Time : 0.0 sec. user=mdettweiler [2012-08-15 04:56:49] 663*2^1226475-1 is not prime. Res64: 8C1591E2280976F0 Time : 0.0 sec. user=gd_barnes [2012-08-15 04:58:19] 781*2^1226475-1 is not prime. Res64: B0BC211E76EDE20C Time : 0.0 sec. user=mdettweiler [2012-08-15 05:01:40] 711*2^1226475-1 is not prime. Res64: 47D5EA2EE703A400 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:11:21] 963*2^1226475-1 is not prime. Res64: BC40715B61B3DB31 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:11:23] 639*2^1226476-1 is not prime. Res64: 7DC379E7914D6ED1 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:13:00] 755*2^1226476-1 is not prime. Res64: 88BD558CC7905A4B Time : 0.0 sec. user=mdettweiler [2012-08-15 05:13:03] 843*2^1226476-1 is not prime. Res64: 898FC55C84063F77 Time : 0.0 sec. user=vaughan [2012-08-15 05:16:05] 853*2^1226475-1 is not prime. Res64: 1360AD1C1741D52B Time : 0.0 sec. user=mdettweiler [2012-08-15 05:32:08] 691*2^1226477-1 is not prime. Res64: DC9AEB64C950B8FC Time : 0.0 sec. user=mdettweiler [2012-08-15 05:32:09] 711*2^1226477-1 is not prime. Res64: 6C6A212969AF8967 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:33:41] 729*2^1226477-1 is not prime. Res64: BA996D8C23F9AEBF Time : 0.0 sec. user=mdettweiler [2012-08-15 05:33:41] 735*2^1226477-1 is not prime. Res64: E3A9632B406E567C Time : 0.0 sec. user=mdettweiler [2012-08-15 05:40:41] 619*2^1226477-1 is not prime. Res64: 8366C86B55C2B584 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:53:02] 825*2^1226477-1 is not prime. Res64: 541E040C55867FC2 Time : 0.0 sec. user=mdettweiler [2012-08-15 05:53:03] 611*2^1226478-1 is not prime. Res64: 0C04A3315B0FB77F Time : 0.0 sec. user=vaughan [2012-08-15 05:53:26] 819*2^1226477-1 is not prime. Res64: 7829915E8B1D8F38 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:04:27] 627*2^1226478-1 is not prime. Res64: D35AC479D98EC641 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:09:31] 975*2^1226476-1 is not prime. Res64: FDC2B7168DCF631E Time : 0.0 sec. user=mdettweiler [2012-08-15 06:13:38] 615*2^1226479-1 is not prime. Res64: E477D5B3C9B22570 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:13:41] 681*2^1226479-1 is not prime. Res64: D3598D11747D5F3A Time : 0.0 sec. user=mdettweiler [2012-08-15 06:21:22] 941*2^1226478-1 is not prime. Res64: 97D5B897C0093B1F Time : 0.0 sec. user=vaughan [2012-08-15 06:30:44] 703*2^1226479-1 is not prime. Res64: 694F99C57EEFDC35 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:34:23] 759*2^1226479-1 is not prime. Res64: 9270D3B15DD08EFD Time : 0.0 sec. user=mdettweiler [2012-08-15 06:34:24] 813*2^1226479-1 is not prime. Res64: F2FC7D4D4AEEA49B Time : 0.0 sec. user=mdettweiler [2012-08-15 06:44:38] 707*2^1226478-1 is not prime. Res64: A6F1D59EAC90D9EB Time : 0.0 sec. user=mdettweiler [2012-08-15 06:47:58] 723*2^1226479-1 is not prime. Res64: EDAB74CF18743A27 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:55:04] 985*2^1226479-1 is not prime. Res64: 851610FD9C4FB5A8 Time : 0.0 sec. user=mdettweiler [2012-08-15 06:55:06] 633*2^1226480-1 is not prime. Res64: E4AFE12D5238FE9C Time : 0.0 sec. user=mdettweiler [2012-08-15 07:00:49] 885*2^1226479-1 is not prime. Res64: 119544C0F5F9620B Time : 0.0 sec. user=mdettweiler [2012-08-15 07:05:17] 663*2^1226480-1 is not prime. Res64: CDF1527703970CA0 Time : 0.0 sec. user=vaughan [2012-08-15 07:08:03] 913*2^1226479-1 is not prime. Res64: 93F50908E94671BC Time : 0.0 sec. user=mdettweiler [2012-08-15 07:15:51] 689*2^1226480-1 is not prime. Res64: 438D46F465C33073 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:15:52] 717*2^1226480-1 is not prime. Res64: 8378F6C857F28E5A Time : 0.0 sec. user=mdettweiler [2012-08-15 07:25:56] 845*2^1226480-1 is not prime. Res64: ED0B04566A515B62 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:25:57] 899*2^1226480-1 is not prime. Res64: 46B009E5CD374686 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:26:28] 677*2^1226480-1 is not prime. Res64: 7BA66F21FC77D41F Time : 0.0 sec. user=mdettweiler [2012-08-15 07:36:44] 935*2^1226480-1 is not prime. Res64: 530814D801D44636 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:36:45] 607*2^1226481-1 is not prime. Res64: F35F8CC9A2613AB7 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:38:38] 725*2^1226480-1 is not prime. Res64: C39FE10E6CD2D56F Time : 0.0 sec. user=vaughan [2012-08-15 07:45:25] 927*2^1226480-1 is not prime. Res64: 5DCB5C6DB32D4F23 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:46:31] 609*2^1226481-1 is not prime. Res64: 7F04E868881D8D09 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:46:32] 727*2^1226481-1 is not prime. Res64: AB227362B5B2D11D Time : 0.0 sec. user=mdettweiler [2012-08-15 07:57:22] 751*2^1226481-1 is not prime. Res64: CF68C060ECE55A60 Time : 0.0 sec. user=mdettweiler [2012-08-15 07:57:23] 975*2^1226481-1 is not prime. Res64: A83F07B0F8E46A49 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:02:49] 745*2^1226481-1 is not prime. Res64: C64BE6C640D279A9 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:07:15] 791*2^1226482-1 is not prime. Res64: AC7BC453E5AB8E77 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:07:19] 867*2^1226482-1 is not prime. Res64: A44409074DDD755A Time : 0.0 sec. user=mdettweiler [2012-08-15 08:14:58] 677*2^1226482-1 is not prime. Res64: 66E42EB4C8D4F050 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:18:35] 885*2^1226482-1 is not prime. Res64: 6D289B3118A1B7BB Time : 0.0 sec. user=vaughan [2012-08-15 08:22:47] 743*2^1226482-1 is not prime. Res64: E663B6E1B2479563 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:27:58] 945*2^1226482-1 is not prime. Res64: 807E04E00DDC1CD5 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:27:58] 995*2^1226482-1 is not prime. Res64: 2CBA4750E130DA6D Time : 0.0 sec. user=mdettweiler [2012-08-15 08:37:56] 917*2^1226482-1 is not prime. Res64: 1B865B71EF31464E Time : 0.0 sec. user=mdettweiler [2012-08-15 08:46:32] 915*2^1226482-1 is not prime. Res64: AE554CECA00ED4A6 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:48:37] 715*2^1226483-1 is not prime. Res64: BE51A5EDBF6D787B Time : 0.0 sec. user=mdettweiler [2012-08-15 08:48:38] 813*2^1226483-1 is not prime. Res64: EACB0E1525190C88 Time : 0.0 sec. user=mdettweiler [2012-08-15 08:50:57] 1001*2^1226482-1 is not prime. Res64: 1EF40E4C719B7671 Time : 0.0 sec. user=vaughan [2012-08-15 09:00:08] 663*2^1226483-1 is not prime. Res64: D620BD313C546352 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:07:09] 859*2^1226483-1 is not prime. Res64: CE564810C487F5D0 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:07:12] 889*2^1226483-1 is not prime. Res64: 0C219B1E1F4A636D Time : 0.0 sec. user=mdettweiler [2012-08-15 09:09:13] 969*2^1226483-1 is not prime. Res64: 8E08CED98A2B4F05 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:09:14] 705*2^1226484-1 is not prime. Res64: 4DEEDA735DBE77FF Time : 0.0 sec. user=mdettweiler [2012-08-15 09:12:56] 825*2^1226483-1 is not prime. Res64: 197F4261BA0C0B67 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:28:42] 863*2^1226484-1 is not prime. Res64: 39309070A053B183 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:29:59] 899*2^1226484-1 is not prime. Res64: 7786C7CE97631DCA Time : 0.0 sec. user=mdettweiler [2012-08-15 09:30:00] 957*2^1226484-1 is not prime. Res64: 4BF532A7AE64921A Time : 0.0 sec. user=vaughan [2012-08-15 09:37:46] 887*2^1226484-1 is not prime. Res64: 2FEC4162BD4AFAB5 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:38:44] 897*2^1226485-1 is not prime. Res64: D5EFF131888B1208 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:38:45] 957*2^1226485-1 is not prime. Res64: 293EEFAAB15DBECD Time : 0.0 sec. user=gd_barnes [2012-08-15 09:46:26] 859*2^1226485-1 is not prime. Res64: F88FC58C272EEFF4 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:47:27] 741*2^1226485-1 is not prime. Res64: 173EE983F4A1A547 Time : 0.0 sec. user=mdettweiler [2012-08-15 09:50:38] 617*2^1226486-1 is not prime. Res64: 47F2C11A7A13D3BA Time : 0.0 sec. user=mdettweiler [2012-08-15 09:50:39] 693*2^1226486-1 is not prime. Res64: B1AC71925379703C Time : 0.0 sec. user=mdettweiler [2012-08-15 09:59:18] 707*2^1226486-1 is not prime. Res64: F4889DEF241B3FCA Time : 0.0 sec. user=mdettweiler [2012-08-15 09:59:20] 717*2^1226486-1 is not prime. Res64: B86B61B83D5CF1E9 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:05:08] 985*2^1226485-1 is not prime. Res64: F43A4B9A7E810C1C Time : 0.0 sec. user=mdettweiler [2012-08-15 10:11:13] 761*2^1226486-1 is not prime. Res64: 5E60805657C6828B Time : 0.0 sec. user=mdettweiler [2012-08-15 10:11:17] 801*2^1226486-1 is not prime. Res64: C51B2EF0011D7700 Time : 0.0 sec. user=vaughan [2012-08-15 10:15:05] 705*2^1226486-1 is not prime. Res64: E54535523FD13368 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:19:52] 827*2^1226486-1 is not prime. Res64: D5785CFD6926F615 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:19:53] 903*2^1226486-1 is not prime. Res64: D4A4EAC9FADF335A Time : 0.0 sec. user=mdettweiler [2012-08-15 10:25:32] 741*2^1226486-1 is not prime. Res64: FEB06B8ACD7A7A4C Time : 0.0 sec. user=mdettweiler [2012-08-15 10:31:52] 693*2^1226487-1 is not prime. Res64: BE2653372D2E9B66 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:31:53] 735*2^1226487-1 is not prime. Res64: 31BC3F770E29B92F Time : 0.0 sec. user=mdettweiler [2012-08-15 10:40:25] 751*2^1226487-1 is not prime. Res64: 5926B3D04F39A9D7 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:40:26] 849*2^1226487-1 is not prime. Res64: DD7E6A8344399B55 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:41:27] 661*2^1226487-1 is not prime. Res64: 621558BB4960F288 Time : 0.0 sec. user=mdettweiler [2012-08-15 10:52:29] 931*2^1226487-1 is not prime. Res64: CBA3ECE6F773312B Time : 0.0 sec. user=mdettweiler [2012-08-15 10:52:30] 603*2^1226488-1 is not prime. Res64: 0BE16E49BC68BAE0 Time : 0.0 sec. user=vaughan [2012-08-15 10:52:45] 741*2^1226487-1 is not prime. Res64: E866E8D3206B935E Time : 0.0 sec. user=mdettweiler [2012-08-15 11:01:01] 863*2^1226488-1 is not prime. Res64: 14935B9A80E4BF20 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:01:02] 615*2^1226489-1 is not prime. Res64: D11B98620BFF820D Time : 0.0 sec. user=mdettweiler [2012-08-15 11:13:29] 861*2^1226489-1 is not prime. Res64: A84D311E5A17A96E Time : 0.0 sec. user=mdettweiler [2012-08-15 11:13:32] 867*2^1226489-1 is not prime. Res64: AF9A718EE0AE7105 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:19:34] 729*2^1226489-1 is not prime. Res64: 75B8AA661344AA98 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:21:54] 907*2^1226489-1 is not prime. Res64: DFE895DD322923A8 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:21:54] 925*2^1226489-1 is not prime. Res64: 89FD07150B28B53D Time : 0.0 sec. user=vaughan [2012-08-15 11:30:02] 831*2^1226489-1 is not prime. Res64: 973433B6E7D8528B Time : 0.0 sec. user=mdettweiler [2012-08-15 11:34:24] 611*2^1226490-1 is not prime. Res64: 9E8F171142400C3B Time : 0.0 sec. user=mdettweiler [2012-08-15 11:34:25] 681*2^1226490-1 is not prime. Res64: 8278F45ED1B0D95F Time : 0.0 sec. user=mdettweiler [2012-08-15 11:36:16] 909*2^1226487-1 is not prime. Res64: E872142FB2416421 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:42:25] 893*2^1226490-1 is not prime. Res64: 6F54F5A7AE892664 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:42:26] 631*2^1226491-1 is not prime. Res64: 8B5934FC8C86D389 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:54:57] 733*2^1226491-1 is not prime. Res64: 778924626573AB78 Time : 0.0 sec. user=mdettweiler [2012-08-15 11:54:58] 741*2^1226491-1 is not prime. Res64: 16D1055C49BEB3AA Time : 0.0 sec. user=mdettweiler [2012-08-15 11:55:18] 713*2^1226490-1 is not prime. Res64: 8173F4999332DE0D Time : 0.0 sec. user=mdettweiler [2012-08-15 12:03:08] 931*2^1226491-1 is not prime. Res64: CE34D91750B99028 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:03:11] 961*2^1226491-1 is not prime. Res64: 42B6648E6D8B49C1 Time : 0.0 sec. user=vaughan [2012-08-15 12:07:22] 679*2^1226491-1 is not prime. Res64: 78DFD8C0A90AEA3A Time : 0.0 sec. user=mdettweiler [2012-08-15 12:12:42] 901*2^1226491-1 is not prime. Res64: 89FA5A3837FCCC0B Time : 0.0 sec. user=mdettweiler [2012-08-15 12:15:30] 999*2^1226491-1 is not prime. Res64: 82EE4ACCA69044A6 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:15:33] 635*2^1226492-1 is not prime. Res64: 1B228CCB1FE186C8 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:35:20] 745*2^1226493-1 is not prime. Res64: AAC654CB9243753F Time : 0.0 sec. user=mdettweiler [2012-08-15 12:36:40] 859*2^1226493-1 is not prime. Res64: 25C279BD0C60BC60 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:36:40] 861*2^1226493-1 is not prime. Res64: F325D0F4492461BD Time : 0.0 sec. user=vaughan [2012-08-15 12:44:46] 995*2^1226492-1 is not prime. Res64: 8DCAA07D085F6E40 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:50:50] 627*2^1226493-1 is not prime. Res64: A2FC4722A6BB8D89 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:57:49] 871*2^1226493-1 is not prime. Res64: C3E3E173474AAA68 Time : 0.0 sec. user=mdettweiler [2012-08-15 12:57:49] 937*2^1226493-1 is not prime. Res64: BBDA4220E2935F37 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:09:48] 769*2^1226493-1 is not prime. Res64: 198AB7CC33D042EA Time : 0.0 sec. user=mdettweiler [2012-08-15 13:18:47] 821*2^1226494-1 is not prime. Res64: 3A147AB0F1180AB1 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:18:48] 993*2^1226494-1 is not prime. Res64: BAE506BE19C03922 Time : 0.0 sec. user=vaughan [2012-08-15 13:22:04] 955*2^1226493-1 is not prime. Res64: E359960846FBE7C6 Time : 0.0 sec. user=gd_barnes [2012-08-15 13:29:23] 663*2^1226495-1 is not prime. Res64: B9F0934F93BE7C1F Time : 0.0 sec. user=mdettweiler [2012-08-15 13:30:10] 785*2^1226494-1 is not prime. Res64: E59061634B4A02BF Time : 0.0 sec. user=mdettweiler [2012-08-15 13:30:44] 735*2^1226495-1 is not prime. Res64: 8E903B90FCE3B6F6 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:30:45] 741*2^1226495-1 is not prime. Res64: CC32BB954A7FBF5C Time : 0.0 sec. user=mdettweiler [2012-08-15 13:39:24] 759*2^1226495-1 is not prime. Res64: 4FEF2F394346149C Time : 0.0 sec. user=mdettweiler [2012-08-15 13:39:24] 819*2^1226495-1 is not prime. Res64: C1DC43719AB52EC8 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:46:57] 687*2^1226492-1 is not prime. Res64: 5A9C7F0C87714297 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:51:19] 973*2^1226495-1 is not prime. Res64: 4979F3918707A106 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:51:19] 981*2^1226495-1 is not prime. Res64: 02961306E4344C76 Time : 0.0 sec. user=vaughan [2012-08-15 13:59:22] 885*2^1226495-1 is not prime. Res64: E34FBC6B151C5A0B Time : 0.0 sec. user=mdettweiler [2012-08-15 13:59:59] 629*2^1226496-1 is not prime. Res64: BE8841980F0CAC23 Time : 0.0 sec. user=mdettweiler [2012-08-15 13:59:59] 693*2^1226496-1 is not prime. Res64: 3D9B6BF7DC2D40EB Time : 0.0 sec. user=mdettweiler [2012-08-15 14:01:29] 895*2^1226495-1 is not prime. Res64: 7EB205863C5D5D42 Time : 0.0 sec. user=mdettweiler [2012-08-15 14:11:55] 717*2^1226496-1 is not prime. Res64: A9E83CB5A71868AE Time : 0.0 sec. user=mdettweiler [2012-08-15 14:11:58] 789*2^1226496-1 is not prime. Res64: A8270B9526D63725 Time : 0.0 sec. user=mdettweiler [2012-08-15 14:17:16] 705*2^1226496-1 is not prime. Res64: 18A803F76108F981 Time : 0.0 sec. user=mdettweiler [2012-08-15 14:20:34] 839*2^1226496-1 is not prime. Res64: FAEA0A0F3A84F901 Time : 0.0 sec. user=mdettweiler [2012-08-15 14:20:35] 845*2^1226496-1 is not prime. Res64: FA24477A6079B6BC Time : 0.0 sec. user=mdettweiler [2012-08-15 14:31:04] 923*2^1226496-1 is not prime. Res64: 0BA92E09B34F3611 Time : 0.0 sec. user=gd_barnes [2012-08-15 14:31:05] 927*2^1226496-1 is not prime. Res64: 6EB702B538384ECB Time : 0.0 sec. user=gd_barnes [2012-08-15 14:31:38] 619*2^1226497-1 is not prime. Res64: 98012FDDD299184C Time : 0.0 sec. user=mdettweiler [2012-08-15 14:32:54] 661*2^1226497-1 is not prime. Res64: 79D7B75C61BB3721 Time : 0.0 sec. user=mdettweiler [2012-08-15 14:32:54] 831*2^1226497-1 is not prime. Res64: 385DBDA54F507052 Time : 0.0 sec. user=vaughan [2012-08-15 14:36:39] 815*2^1226496-1 is not prime. Res64: 05212B12B1229B8D Time : 0.0 sec. user=mdettweiler [2012-08-15 14:41:10] 861*2^1226497-1 is not prime. Res64: 07B3066C29F879AF Time : 0.0 sec. user=mdettweiler [2012-08-15 14:41:11] 867*2^1226497-1 is not prime. Res64: B08CCCE89DEF0C3B Time : 0.0 sec. user=mdettweiler [2012-08-15 14:53:29] 867*2^1226498-1 is not prime. Res64: 4DAE7584099BE54A Time : 0.0 sec. user=mdettweiler [2012-08-15 14:53:29] 887*2^1226498-1 is not prime. Res64: 5E1535F1617E7C48 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:00:36] 623*2^1226498-1 is not prime. Res64: 4558FA69696D9115 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:01:48] 915*2^1226498-1 is not prime. Res64: AE4E93E55786B9BA Time : 0.0 sec. user=mdettweiler [2012-08-15 15:01:49] 921*2^1226498-1 is not prime. Res64: C09B2A5C8818DA59 Time : 0.0 sec. user=vaughan [2012-08-15 15:14:00] 893*2^1226498-1 is not prime. Res64: 0B6E3F798861CE8A Time : 0.0 sec. user=mdettweiler [2012-08-15 15:14:13] 951*2^1226498-1 is not prime. Res64: 353808D7B34FCAC9 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:14:15] 977*2^1226498-1 is not prime. Res64: 159CFDD331E52030 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:18:43] 935*2^1226498-1 is not prime. Res64: 91A8A3BBA6F8A5C6 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:22:32] 955*2^1226499-1 is not prime. Res64: 80A376CD13671D8B Time : 0.0 sec. user=mdettweiler [2012-08-15 15:22:33] 961*2^1226499-1 is not prime. Res64: 3F6B5CF83610F2D8 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:31:06] 891*2^1226499-1 is not prime. Res64: 536BDD2471966B9F Time : 0.0 sec. user=mdettweiler [2012-08-15 15:35:01] 923*2^1226500-1 is not prime. Res64: DB3C004F3E385EC0 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:35:02] 675*2^1226501-1 is not prime. Res64: C6C8A6738E778C7B Time : 0.0 sec. user=gd_barnes [2012-08-15 15:38:35] 797*2^1226500-1 is not prime. Res64: D0AFC75E9A76D997 Time : 0.0 sec. user=gd_barnes [2012-08-15 15:42:41] 777*2^1226500-1 is not prime. Res64: 339F3AD54FE8452A Time : 0.0 sec. user=mdettweiler [2012-08-15 15:43:25] 621*2^1226502-1 is not prime. Res64: F00B3F5A7804044C Time : 0.0 sec. user=mdettweiler [2012-08-15 15:43:25] 657*2^1226502-1 is not prime. Res64: 5FDF7FA3A8A37311 Time : 0.0 sec. user=mdettweiler [2012-08-15 15:49:35] 795*2^1226501-1 is not prime. Res64: A3C273994BD66720 Time : 0.0 sec. user=vaughan [2012-08-15 15:51:20] 909*2^1226500-1 is not prime. Res64: C053C5A30D69ACAB Time : 0.0 sec. user=mdettweiler [2012-08-15 15:56:11] 965*2^1226502-1 is not prime. Res64: 3F70F6A4CA302E9D Time : 0.0 sec. user=mdettweiler [2012-08-15 15:56:11] 633*2^1226503-1 is not prime. Res64: AFDBB7EF56DC6E8D Time : 0.0 sec. user=mdettweiler [2012-08-15 16:01:41] 947*2^1226502-1 is not prime. Res64: 5E6A9073DC8E9830 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:04:34] 661*2^1226503-1 is not prime. Res64: AB9A56109346B3A0 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:04:36] 709*2^1226503-1 is not prime. Res64: E9E59B9CBBAA9B4A Time : 0.0 sec. user=mdettweiler [2012-08-15 16:17:22] 859*2^1226503-1 is not prime. Res64: 85A31B085CE1BF63 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:17:22] 861*2^1226503-1 is not prime. Res64: D508FE02EA3AB455 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:19:44] 741*2^1226503-1 is not prime. Res64: 475E8FD034487232 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:26:10] 617*2^1226504-1 is not prime. Res64: 4F7DC4A143D391D3 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:26:10] 607*2^1226505-1 is not prime. Res64: F36300F3038CF351 Time : 0.0 sec. user=vaughan [2012-08-15 16:28:37] 783*2^1226503-1 is not prime. Res64: 153E374AEEA96DCB Time : 0.0 sec. user=mdettweiler [2012-08-15 16:31:47] 901*2^1226503-1 is not prime. Res64: EF0787FD4925463E Time : 0.0 sec. user=mdettweiler [2012-08-15 16:38:33] 699*2^1226505-1 is not prime. Res64: C835DE3CD43440B6 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:38:34] 909*2^1226505-1 is not prime. Res64: CE5F287150C00976 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:47:17] 735*2^1226506-1 is not prime. Res64: FDE50D6DB3CE184B Time : 0.0 sec. user=mdettweiler [2012-08-15 16:47:17] 783*2^1226506-1 is not prime. Res64: D2B3F3435F8FB48C Time : 0.0 sec. user=mdettweiler [2012-08-15 16:49:54] 979*2^1226505-1 is not prime. Res64: 8517F6D695FF2B7E Time : 0.0 sec. user=mdettweiler [2012-08-15 16:59:40] 941*2^1226506-1 is not prime. Res64: 2AE9B270B81BE5C1 Time : 0.0 sec. user=mdettweiler [2012-08-15 16:59:40] 987*2^1226506-1 is not prime. Res64: 96B2F6133547CFE3 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:01:54] 821*2^1226506-1 is not prime. Res64: BC701D496EEE1CEA Time : 0.0 sec. user=vaughan [2012-08-15 17:05:56] 815*2^1226506-1 is not prime. Res64: E2B7BA173062FAEA Time : 0.0 sec. user=mdettweiler [2012-08-15 17:08:24] 619*2^1226507-1 is not prime. Res64: 31EB76FE25BA7C3E Time : 0.0 sec. user=mdettweiler [2012-08-15 17:08:25] 645*2^1226507-1 is not prime. Res64: 8BFA036B5E2E5D75 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:20:05] 655*2^1226507-1 is not prime. Res64: FB09DFABE56066FE Time : 0.0 sec. user=mdettweiler [2012-08-15 17:20:49] 735*2^1226507-1 is not prime. Res64: D4B2B34EAD83489E Time : 0.0 sec. user=mdettweiler [2012-08-15 17:20:49] 901*2^1226507-1 is not prime. Res64: 61B033BAA963CB14 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:29:33] 753*2^1226508-1 is not prime. Res64: 00DA100AB59F2358 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:29:34] 843*2^1226508-1 is not prime. Res64: E2F0BB06791024CA Time : 0.0 sec. user=mdettweiler [2012-08-15 17:32:07] 993*2^1226507-1 is not prime. Res64: 57A989EC7FDFD008 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:41:57] 811*2^1226509-1 is not prime. Res64: 0C5D63907FBCFF5E Time : 0.0 sec. user=mdettweiler [2012-08-15 17:41:57] 819*2^1226509-1 is not prime. Res64: 024DF4B8C4384BF2 Time : 0.0 sec. user=gd_barnes [2012-08-15 17:42:30] 927*2^1226508-1 is not prime. Res64: 17AB82635BDA1F82 Time : 0.0 sec. user=gd_barnes [2012-08-15 17:42:47] 947*2^1226508-1 is not prime. Res64: 964B14B3DB6FC336 Time : 0.0 sec. user=vaughan [2012-08-15 17:43:22] 699*2^1226508-1 is not prime. Res64: 2FB54438AEABA112 Time : 0.0 sec. user=gd_barnes [2012-08-15 17:43:33] 615*2^1226509-1 is not prime. Res64: 756DD2CC83B0D3DE Time : 0.0 sec. user=mdettweiler [2012-08-15 17:50:24] 789*2^1226509-1 is not prime. Res64: FEAA4757EE5E7A0F Time : 0.0 sec. user=mdettweiler [2012-08-15 17:50:42] 847*2^1226509-1 is not prime. Res64: 3BD3CAEAF66590C0 Time : 0.0 sec. user=mdettweiler [2012-08-15 17:50:42] 985*2^1226509-1 is not prime. Res64: 0977EF8F483F82F0 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:02:16] 635*2^1226510-1 is not prime. Res64: 81AF11F17739CB8E Time : 0.0 sec. user=mdettweiler [2012-08-15 18:03:05] 657*2^1226510-1 is not prime. Res64: 2BA70A293087FCE8 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:03:05] 747*2^1226510-1 is not prime. Res64: F6D1CADCACE450D4 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:11:49] 885*2^1226510-1 is not prime. Res64: D44AA7D2D50A67A2 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:11:50] 897*2^1226510-1 is not prime. Res64: EEECAD207323BA83 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:20:31] 875*2^1226510-1 is not prime. Res64: E6A8D672F7C0C960 Time : 0.0 sec. user=vaughan [2012-08-15 18:20:40] 753*2^1226510-1 is not prime. Res64: 7B5716CCA8EF698E Time : 0.0 sec. user=mdettweiler [2012-08-15 18:24:08] 639*2^1226511-1 is not prime. Res64: 901EB49AC9EE8EAB Time : 0.0 sec. user=mdettweiler [2012-08-15 18:24:09] 969*2^1226511-1 is not prime. Res64: 8223830D5B3A66AE Time : 0.0 sec. user=mdettweiler [2012-08-15 18:32:38] 935*2^1226510-1 is not prime. Res64: 113D56C6FFC13ABF Time : 0.0 sec. user=mdettweiler [2012-08-15 18:32:49] 975*2^1226511-1 is not prime. Res64: B473527FAFC0FC48 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:32:50] 635*2^1226512-1 is not prime. Res64: 794574469FCCC54D Time : 0.0 sec. user=mdettweiler [2012-08-15 18:44:46] 723*2^1226512-1 is not prime. Res64: 35A697363A492BD0 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:44:46] 735*2^1226512-1 is not prime. Res64: 8DF71A0FB5626DB5 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:50:53] 687*2^1226512-1 is not prime. Res64: AD6A0F2F375E0FF5 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:53:38] 923*2^1226512-1 is not prime. Res64: DA582536E6BA1169 Time : 0.0 sec. user=mdettweiler [2012-08-15 18:53:38] 989*2^1226512-1 is not prime. Res64: 6829DD9ABF0F8D91 Time : 0.0 sec. user=vaughan [2012-08-15 18:57:58] 719*2^1226512-1 is not prime. Res64: 77C6C21C73C8F1E2 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:02:59] 765*2^1226512-1 is not prime. Res64: 2D537CEED5858E46 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:05:24] 995*2^1226512-1 is not prime. Res64: A124552750D9CE5F Time : 0.0 sec. user=mdettweiler [2012-08-15 19:05:25] 637*2^1226513-1 is not prime. Res64: 072D3517EF6181CD Time : 0.0 sec. user=mdettweiler [2012-08-15 19:14:15] 901*2^1226513-1 is not prime. Res64: 2CA24CD5CF4B2797 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:14:16] 981*2^1226513-1 is not prime. Res64: A097C217B13D1902 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:21:07] 837*2^1226513-1 is not prime. Res64: 405C7C2FF3E464E6 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:26:10] 665*2^1226514-1 is not prime. Res64: 544FD55651B450C5 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:26:10] 723*2^1226514-1 is not prime. Res64: 6700B9C9CFA5E2CA Time : 0.0 sec. user=mdettweiler [2012-08-15 19:33:15] 641*2^1226514-1 is not prime. Res64: CC2F200CB4EBF300 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:35:12] 755*2^1226514-1 is not prime. Res64: B697333D9CAC8F8B Time : 0.0 sec. user=mdettweiler [2012-08-15 19:35:12] 797*2^1226514-1 is not prime. Res64: B86F90454D275DE5 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:46:48] 875*2^1226514-1 is not prime. Res64: FBA783C85C72F3B6 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:46:50] 603*2^1226515-1 is not prime. Res64: 614F46F318AD3BD3 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:51:23] 807*2^1226514-1 is not prime. Res64: FC1B64E6CCEF8991 Time : 0.0 sec. user=mdettweiler [2012-08-15 19:55:51] 639*2^1226515-1 is not prime. Res64: 2BF9CBAFDC8C9EBC Time : 0.0 sec. user=mdettweiler [2012-08-15 19:55:52] 705*2^1226515-1 is not prime. Res64: 5F56F4A7D84ACBFB Time : 0.0 sec. user=mdettweiler [2012-08-15 20:03:26] 631*2^1226515-1 is not prime. Res64: 88474FA2DC7E9DE3 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:07:36] 775*2^1226515-1 is not prime. Res64: 43B985FF5ABFD6DB Time : 0.0 sec. user=mdettweiler [2012-08-15 20:07:37] 889*2^1226515-1 is not prime. Res64: 41B9A00CAA86C1C1 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:16:32] 615*2^1226516-1 is not prime. Res64: 3DB367BDDE455580 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:16:33] 633*2^1226516-1 is not prime. Res64: 065FFF23D1710C0F Time : 0.0 sec. user=mdettweiler [2012-08-15 20:21:30] 609*2^1226516-1 is not prime. Res64: 66217EC507E9B2FC Time : 0.0 sec. user=mdettweiler [2012-08-15 20:28:19] 785*2^1226516-1 is not prime. Res64: 82E21D52B2E1F4A2 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:28:19] 789*2^1226516-1 is not prime. Res64: 27491E99E4975A4F Time : 0.0 sec. user=mdettweiler [2012-08-15 20:33:57] 675*2^1226516-1 is not prime. Res64: 4D57BB3B1E53587E Time : 0.0 sec. user=gd_barnes [2012-08-15 20:37:11] 813*2^1226516-1 is not prime. Res64: 82D5814FA947A4E6 Time : 0.0 sec. user=gd_barnes [2012-08-15 20:37:34] 927*2^1226516-1 is not prime. Res64: 63BA8C83581FC6F3 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:38:00] 609*2^1226517-1 is not prime. Res64: 2961A6A9778F0297 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:38:00] 675*2^1226517-1 is not prime. Res64: 379BE9BEE04CC9AC Time : 0.0 sec. user=gd_barnes [2012-08-15 20:40:34] 879*2^1226516-1 is not prime. Res64: 6DBAB617205EEF63 Time : 0.0 sec. user=gd_barnes [2012-08-15 20:40:49] 899*2^1226516-1 is not prime. Res64: F9B62566A2999E27 Time : 0.0 sec. user=gd_barnes [2012-08-15 20:43:06] 957*2^1226516-1 is not prime. Res64: 271C9B8F4D9289A0 Time : 0.0 sec. user=gd_barnes [2012-08-15 20:44:24] 999*2^1226516-1 is not prime. Res64: 7EE1FFDEA804F628 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:49:04] 885*2^1226517-1 is not prime. Res64: 2249442C521594C1 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:49:04] 949*2^1226517-1 is not prime. Res64: 74B0BC0D97BC6860 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:52:02] 759*2^1226517-1 is not prime. Res64: DF92A5E3D0CD5363 Time : 0.0 sec. user=mdettweiler [2012-08-15 20:58:38] 677*2^1226518-1 is not prime. Res64: 4145F7A26A1D2F3E Time : 0.0 sec. user=mdettweiler [2012-08-15 20:58:38] 813*2^1226518-1 is not prime. Res64: 1A5B4004EE5960D7 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:04:26] 617*2^1226518-1 is not prime. Res64: 1E7F98B8B9D2478E Time : 0.0 sec. user=mdettweiler [2012-08-15 21:09:45] 1001*2^1226518-1 is not prime. Res64: DEF8EE31EC03392B Time : 0.0 sec. user=mdettweiler [2012-08-15 21:09:48] 609*2^1226519-1 is not prime. Res64: CF0CD829D9CA0D91 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:19:14] 669*2^1226519-1 is not prime. Res64: 4C71DFD2DF3B2C15 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:19:14] 745*2^1226519-1 is not prime. Res64: AC5D544C719171D1 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:22:13] 621*2^1226519-1 is not prime. Res64: D63491EAFC629651 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:30:26] 825*2^1226519-1 is not prime. Res64: D65307D36028FCBC Time : 0.0 sec. user=mdettweiler [2012-08-15 21:30:27] 675*2^1226520-1 is not prime. Res64: A56BB77FAD454E27 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:34:45] 811*2^1226519-1 is not prime. Res64: BF889BC3054DB8F4 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:39:58] 737*2^1226520-1 is not prime. Res64: D205B05032A5189F Time : 0.0 sec. user=mdettweiler [2012-08-15 21:39:58] 789*2^1226520-1 is not prime. Res64: 4D67C00221F41BC0 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:51:20] 915*2^1226520-1 is not prime. Res64: ADB3E689CAB06FEA Time : 0.0 sec. user=mdettweiler [2012-08-15 21:51:20] 933*2^1226520-1 is not prime. Res64: 510698DB797D22A3 Time : 0.0 sec. user=mdettweiler [2012-08-15 21:52:33] 819*2^1226520-1 is not prime. Res64: 550B4A1930D8EB0C Time : 0.0 sec. user=mdettweiler [2012-08-15 22:00:49] 651*2^1226521-1 is not prime. Res64: D295776DB170BCD6 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:00:50] 691*2^1226521-1 is not prime. Res64: 186DC70EE812BE47 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:05:03] 975*2^1226520-1 is not prime. Res64: 47BFC8B87AD7E34F Time : 0.0 sec. user=mdettweiler [2012-08-15 22:12:10] 861*2^1226521-1 is not prime. Res64: 956CCE0878D04488 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:12:11] 937*2^1226521-1 is not prime. Res64: 929F2074C47F4D50 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:21:58] 743*2^1226522-1 is not prime. Res64: CAB3B6098D3644BD Time : 0.0 sec. user=mdettweiler [2012-08-15 22:22:00] 753*2^1226522-1 is not prime. Res64: 28A0D607DA11FAE4 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:23:01] 997*2^1226521-1 is not prime. Res64: A7F6DB51F104296D Time : 0.0 sec. user=mdettweiler [2012-08-15 22:33:13] 923*2^1226522-1 is not prime. Res64: 868FEE2BCC54FF26 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:33:14] 951*2^1226522-1 is not prime. Res64: B1B280D189DA8419 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:35:29] 755*2^1226522-1 is not prime. Res64: FA761BB05B867A97 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:43:03] 957*2^1226522-1 is not prime. Res64: E0F78F9DF720FB5B Time : 0.0 sec. user=mdettweiler [2012-08-15 22:43:04] 977*2^1226522-1 is not prime. Res64: 5463A2AD201CD944 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:54:05] 669*2^1226523-1 is not prime. Res64: 1D9073456D5007F2 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:54:05] 703*2^1226523-1 is not prime. Res64: F2D7A5A56EB512B1 Time : 0.0 sec. user=mdettweiler [2012-08-15 22:54:56] 619*2^1226523-1 is not prime. Res64: B360091FD6ABAA8D Time : 0.0 sec. user=mdettweiler [2012-08-15 23:04:00] 745*2^1226523-1 is not prime. Res64: 940819E11C28DE91 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:04:02] 765*2^1226523-1 is not prime. Res64: 63998DE128A3F597 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:07:33] 709*2^1226523-1 is not prime. Res64: B5754E74D4E1B69A Time : 0.0 sec. user=mdettweiler [2012-08-15 23:15:09] 819*2^1226523-1 is not prime. Res64: 23063DD1B16EB174 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:15:18] 853*2^1226523-1 is not prime. Res64: C050DA6A97D99CD5 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:25:11] 921*2^1226523-1 is not prime. Res64: 6B799965C1B41A31 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:25:11] 609*2^1226524-1 is not prime. Res64: 1E6B7E6EB02F9CF7 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:29:30] 873*2^1226523-1 is not prime. Res64: 3B07F69704F5CAE7 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:36:47] 677*2^1226524-1 is not prime. Res64: ED4D3F2FA908268C Time : 0.0 sec. user=mdettweiler [2012-08-15 23:36:47] 929*2^1226524-1 is not prime. Res64: D313E8BD487FBC7F Time : 0.0 sec. user=mdettweiler [2012-08-15 23:40:52] 635*2^1226524-1 is not prime. Res64: C9289A20B765E7E2 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:46:20] 669*2^1226525-1 is not prime. Res64: 252A891E540A549D Time : 0.0 sec. user=mdettweiler [2012-08-15 23:46:20] 691*2^1226525-1 is not prime. Res64: 1B11D24189E4FDC8 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:57:45] 715*2^1226525-1 is not prime. Res64: B56FE9930B69BCD9 Time : 0.0 sec. user=mdettweiler [2012-08-15 23:57:46] 727*2^1226525-1 is not prime. Res64: C1D6A5BBD7D0E8E6 Time : 0.0 sec.