user=mdettweiler [2012-10-14 00:09:42] 743*2^1232536-1 is not prime. Res64: AE295D69931AC1DE Time : 0.0 sec. user=vaughan [2012-10-14 00:15:07] 617*2^1232536-1 is not prime. Res64: EEC33B13174BAA96 Time : 0.0 sec. user=mdettweiler [2012-10-14 00:16:20] 777*2^1232536-1 is not prime. Res64: F0DF473DCBF17451 Time : 0.0 sec. user=mdettweiler [2012-10-14 00:41:11] 845*2^1232536-1 is not prime. Res64: 13E6C5CCCDFA2CA3 Time : 0.0 sec. user=mdettweiler [2012-10-14 00:48:54] 765*2^1232536-1 is not prime. Res64: 03AD34F004647FE1 Time : 0.0 sec. user=mdettweiler [2012-10-14 01:02:27] 927*2^1232536-1 is not prime. Res64: 9C76F790C42AADF0 Time : 0.0 sec. user=mdettweiler [2012-10-14 01:02:44] 939*2^1232536-1 is not prime. Res64: 28B6339E81A3484E Time : 0.0 sec. user=mdettweiler [2012-10-14 01:10:20] 865*2^1232537-1 is not prime. Res64: 27920B006557C795 Time : 0.0 sec. user=vaughan [2012-10-14 01:29:51] 707*2^1232538-1 is not prime. Res64: 636C0A607EBE3432 Time : 0.0 sec. user=mdettweiler [2012-10-14 01:31:59] 711*2^1232537-1 is not prime. Res64: 4F0B9C2A68065219 Time : 0.0 sec. user=mdettweiler [2012-10-14 01:52:45] 621*2^1232538-1 is not prime. Res64: 3FB80FF9832CC75F Time : 0.0 sec. user=mdettweiler [2012-10-14 01:59:09] 755*2^1232538-1 is not prime. Res64: 548008D3996667C7 Time : 0.0 sec. user=mdettweiler [2012-10-14 02:13:28] 861*2^1232538-1 is not prime. Res64: 59E97B425B5427DE Time : 0.0 sec. user=mdettweiler [2012-10-14 02:13:30] 887*2^1232538-1 is not prime. Res64: F24B91D3F95789FA Time : 0.0 sec. user=mdettweiler [2012-10-14 02:25:40] 821*2^1232538-1 is not prime. Res64: 459649335EA90188 Time : 0.0 sec. user=mdettweiler [2012-10-14 02:34:40] 993*2^1232538-1 is not prime. Res64: C875593A8560F982 Time : 0.0 sec. user=vaughan [2012-10-14 02:43:11] 951*2^1232538-1 is not prime. Res64: D64DD24D7A73FC8B Time : 0.0 sec. user=mdettweiler [2012-10-14 02:46:45] 685*2^1232539-1 is not prime. Res64: F44036D175960256 Time : 0.0 sec. user=mdettweiler [2012-10-14 02:46:47] 853*2^1232539-1 is not prime. Res64: AF932D82D62EBF1A Time : 0.0 sec. user=mdettweiler [2012-10-14 03:07:54] 999*2^1232539-1 is not prime. Res64: 2015C06C6DF4DE09 Time : 0.0 sec. user=mdettweiler [2012-10-14 03:08:12] 665*2^1232540-1 is not prime. Res64: 13928914EB287CBA Time : 0.0 sec. user=mdettweiler [2012-10-14 03:11:44] 681*2^1232539-1 is not prime. Res64: EC402B0AB4367044 Time : 0.0 sec. user=mdettweiler [2012-10-14 03:33:08] 797*2^1232540-1 is not prime. Res64: 706DE091A41B4021 Time : 0.0 sec. user=mdettweiler [2012-10-14 03:49:04] 923*2^1232540-1 is not prime. Res64: 33CF900588035151 Time : 0.0 sec. user=mdettweiler [2012-10-14 03:49:04] 963*2^1232540-1 is not prime. Res64: C8993753657C9271 Time : 0.0 sec. user=vaughan [2012-10-14 03:56:42] 885*2^1232540-1 is not prime. Res64: B2402123FA471891 Time : 0.0 sec. user=mdettweiler [2012-10-14 04:00:26] 827*2^1232540-1 is not prime. Res64: B2CCB6600078E0D7 Time : 0.0 sec. user=mdettweiler [2012-10-14 04:09:52] 657*2^1232541-1 is not prime. Res64: B2B86F277174F7C7 Time : 0.0 sec. user=mdettweiler [2012-10-14 04:10:12] 661*2^1232541-1 is not prime. Res64: D781FE3D0BC9F85A Time : 0.0 sec. user=vaughan [2012-10-14 04:34:24] 961*2^1232541-1 is not prime. Res64: 8A8E93578FDE8F83 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:01:04] 969*2^1232541-1 is not prime. Res64: 6596AA74DC644C30 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:10:38] 657*2^1232542-1 is not prime. Res64: 91D8B33312407868 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:27:53] 979*2^1232541-1 is not prime. Res64: AFA661515D32FCD4 Time : 0.0 sec. user=vaughan [2012-10-14 05:46:12] 975*2^1232542-1 is not prime. Res64: 2B7C1876EFA61FF1 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:46:16] 873*2^1232542-1 is not prime. Res64: 19AEC4832F7E0371 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:48:43] 981*2^1232542-1 is not prime. Res64: 0B29A23B33DEF681 Time : 0.0 sec. user=mdettweiler [2012-10-14 05:48:44] 661*2^1232543-1 is not prime. Res64: 90C1FEE6149C4F89 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:07:41] 753*2^1232543-1 is not prime. Res64: 91DCEE2CB134905F Time : 0.0 sec. user=mdettweiler [2012-10-14 06:09:30] 889*2^1232543-1 is not prime. Res64: 32CC8EF685681CC8 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:09:31] 895*2^1232543-1 is not prime. Res64: A042E8176A3136BA Time : 0.0 sec. user=vaughan [2012-10-14 06:23:39] 669*2^1232543-1 is not prime. Res64: EB532E5E644D5D5A Time : 0.0 sec. user=mdettweiler [2012-10-14 06:30:37] 901*2^1232543-1 is not prime. Res64: E51670752AF1924A Time : 0.0 sec. user=mdettweiler [2012-10-14 06:30:38] 693*2^1232544-1 is not prime. Res64: FA4358949FB7C4BC Time : 0.0 sec. user=mdettweiler [2012-10-14 06:38:22] 819*2^1232543-1 is not prime. Res64: 7F6ABD48C280F920 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:51:23] 753*2^1232544-1 is not prime. Res64: B20228C5B77C0D47 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:51:24] 789*2^1232544-1 is not prime. Res64: 37C3869E4A9C93D0 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:59:07] 903*2^1232544-1 is not prime. Res64: 066F248AFFEDAAE6 Time : 0.0 sec. user=mdettweiler [2012-10-14 06:59:07] 909*2^1232544-1 is not prime. Res64: F323CAD9D8541F10 Time : 0.0 sec. user=vaughan [2012-10-14 07:01:09] 717*2^1232544-1 is not prime. Res64: 77E46E368469E01C Time : 0.0 sec. user=mdettweiler [2012-10-14 07:12:18] 959*2^1232544-1 is not prime. Res64: E544EA9FF8414D0D Time : 0.0 sec. user=mdettweiler [2012-10-14 07:12:19] 619*2^1232545-1 is not prime. Res64: 3D27F4C984F608BB Time : 0.0 sec. user=mdettweiler [2012-10-14 07:20:11] 651*2^1232545-1 is not prime. Res64: 2BCF00D2E428D02D Time : 0.0 sec. user=mdettweiler [2012-10-14 07:33:30] 759*2^1232545-1 is not prime. Res64: A75AF3E045CAE39E Time : 0.0 sec. user=mdettweiler [2012-10-14 07:33:31] 765*2^1232545-1 is not prime. Res64: 04F64402F1DA8837 Time : 0.0 sec. user=vaughan [2012-10-14 07:38:37] 727*2^1232545-1 is not prime. Res64: D649FD6D276D0BCB Time : 0.0 sec. user=mdettweiler [2012-10-14 07:53:23] 687*2^1232545-1 is not prime. Res64: 277F8B81DCB3B315 Time : 0.0 sec. user=mdettweiler [2012-10-14 07:54:43] 805*2^1232545-1 is not prime. Res64: 04FFA1D23B00CC0F Time : 0.0 sec. user=mdettweiler [2012-10-14 07:54:44] 855*2^1232545-1 is not prime. Res64: F0732B15A51C6A51 Time : 0.0 sec. user=mdettweiler [2012-10-14 08:14:22] 997*2^1232545-1 is not prime. Res64: 11F02CA8BD111A59 Time : 0.0 sec. user=mdettweiler [2012-10-14 08:15:43] 873*2^1232546-1 is not prime. Res64: E25982B9ED2EE94C Time : 0.0 sec. user=vaughan [2012-10-14 08:16:36] 861*2^1232545-1 is not prime. Res64: 45461D4C7EBBFB55 Time : 0.0 sec. user=mdettweiler [2012-10-14 08:40:41] 641*2^1232546-1 is not prime. Res64: 23A0D8982F0438BC Time : 0.0 sec. user=mdettweiler [2012-10-14 09:00:27] 993*2^1232546-1 is not prime. Res64: 5E934E3365A68776 Time : 0.0 sec. user=mdettweiler [2012-10-14 09:01:42] 601*2^1232547-1 is not prime. Res64: 3C311FF4BA724319 Time : 0.0 sec. user=mdettweiler [2012-10-14 09:02:05] 615*2^1232547-1 is not prime. Res64: 15CC3237123A442A Time : 0.0 sec. user=vaughan [2012-10-14 09:29:54] 619*2^1232547-1 is not prime. Res64: 79CD06E890D437E0 Time : 0.0 sec. user=mdettweiler [2012-10-14 09:44:48] 651*2^1232547-1 is not prime. Res64: 32A4CDD7A3D4B0E7 Time : 0.0 sec. user=mdettweiler [2012-10-14 09:44:49] 741*2^1232547-1 is not prime. Res64: 95A592F93A274654 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:05:27] 829*2^1232547-1 is not prime. Res64: 1277AF2FCEB1C793 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:05:28] 871*2^1232547-1 is not prime. Res64: 6D7D8E32B08111A9 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:05:49] 873*2^1232547-1 is not prime. Res64: D71C3E50B9EA45C6 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:05:50] 885*2^1232547-1 is not prime. Res64: E841301083BC5012 Time : 0.0 sec. user=vaughan [2012-10-14 10:07:19] 751*2^1232547-1 is not prime. Res64: 17425AF3A6D8E78C Time : 0.0 sec. user=mdettweiler [2012-10-14 10:26:24] 931*2^1232547-1 is not prime. Res64: C90F21C96FCC59C1 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:26:24] 955*2^1232547-1 is not prime. Res64: 9FDDF957D0F7B7D0 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:26:49] 975*2^1232547-1 is not prime. Res64: 1212AF1C55C2BDC0 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:26:49] 647*2^1232548-1 is not prime. Res64: 8A5B540BF55B6505 Time : 0.0 sec. user=vaughan [2012-10-14 10:44:51] 813*2^1232548-1 is not prime. Res64: B1BCA9822FF61A14 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:47:28] 827*2^1232548-1 is not prime. Res64: 7723721783A418B2 Time : 0.0 sec. user=mdettweiler [2012-10-14 10:47:52] 829*2^1232549-1 is not prime. Res64: E57FB3D0F17011E9 Time : 0.0 sec. user=mdettweiler [2012-10-14 11:16:13] 787*2^1232549-1 is not prime. Res64: 134A7409A1712B6A Time : 0.0 sec. user=vaughan [2012-10-14 11:22:30] 897*2^1232549-1 is not prime. Res64: 9B93841322237A4A Time : 0.0 sec. user=mdettweiler [2012-10-14 11:29:23] 831*2^1232549-1 is not prime. Res64: BE65B354A3302E32 Time : 0.0 sec. user=mdettweiler [2012-10-14 11:50:33] 985*2^1232549-1 is not prime. Res64: BAC98F5E66CB8FBE Time : 0.0 sec. user=mdettweiler [2012-10-14 11:50:34] 777*2^1232550-1 is not prime. Res64: 74E8AE43A2851BC8 Time : 0.0 sec. user=vaughan [2012-10-14 12:00:03] 969*2^1232549-1 is not prime. Res64: 78E28C4B92735179 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:05:16] 845*2^1232550-1 is not prime. Res64: DB638016767DF837 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:05:17] 851*2^1232550-1 is not prime. Res64: F1914D03FC1FDA64 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:11:38] 863*2^1232550-1 is not prime. Res64: 5A8EA4DA0F094ED4 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:11:40] 867*2^1232550-1 is not prime. Res64: 32EEDABCAADBEB58 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:26:18] 927*2^1232550-1 is not prime. Res64: F8EC2E56345A1E98 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:26:19] 941*2^1232550-1 is not prime. Res64: 6DFB8036C2A1ADB8 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:32:38] 945*2^1232550-1 is not prime. Res64: B1A8C411CB4C2C81 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:32:39] 1001*2^1232550-1 is not prime. Res64: 39719A8CE9DC59A6 Time : 0.0 sec. user=vaughan [2012-10-14 12:37:55] 917*2^1232550-1 is not prime. Res64: 7FE425AE5A95C25D Time : 0.0 sec. user=mdettweiler [2012-10-14 12:47:16] 673*2^1232551-1 is not prime. Res64: 00BCE8F0FC71B69B Time : 0.0 sec. user=mdettweiler [2012-10-14 12:47:16] 723*2^1232551-1 is not prime. Res64: A137A2B276FC3C65 Time : 0.0 sec. user=mdettweiler [2012-10-14 12:53:49] 745*2^1232551-1 is not prime. Res64: 97453C6F9777AD7C Time : 0.0 sec. user=mdettweiler [2012-10-14 12:54:09] 759*2^1232551-1 is not prime. Res64: C859298563573314 Time : 0.0 sec. user=mdettweiler [2012-10-14 13:08:09] 859*2^1232551-1 is not prime. Res64: 10419CB1EDE80C8F Time : 0.0 sec. user=mdettweiler [2012-10-14 13:08:09] 717*2^1232552-1 is not prime. Res64: 5E0B8FD634AB2E31 Time : 0.0 sec. user=mdettweiler [2012-10-14 13:30:28] 843*2^1232552-1 is not prime. Res64: 9822CD0097A33B57 Time : 0.0 sec. user=mdettweiler [2012-10-14 13:49:30] 781*2^1232553-1 is not prime. Res64: 29B9E6A3AD8241BE Time : 0.0 sec. user=mdettweiler [2012-10-14 13:49:30] 861*2^1232553-1 is not prime. Res64: 7DF07D61C7B2C507 Time : 0.0 sec. user=vaughan [2012-10-14 13:50:42] 751*2^1232553-1 is not prime. Res64: C74DEB7FB2CA47CA Time : 0.0 sec. user=mdettweiler [2012-10-14 14:05:13] 745*2^1232553-1 is not prime. Res64: 1FD2FC6441F46F70 Time : 0.0 sec. user=mdettweiler [2012-10-14 14:10:14] 635*2^1232554-1 is not prime. Res64: CC2DF161618E88B7 Time : 0.0 sec. user=mdettweiler [2012-10-14 14:10:15] 687*2^1232554-1 is not prime. Res64: AAC1858E9E46604D Time : 0.0 sec. user=vaughan [2012-10-14 14:28:36] 733*2^1232555-1 is not prime. Res64: 1D7EA5854F3FCAD4 Time : 0.0 sec. user=mdettweiler [2012-10-14 14:31:28] 861*2^1232555-1 is not prime. Res64: 11533E1351DD24C4 Time : 0.0 sec. user=mdettweiler [2012-10-14 14:54:00] 981*2^1232555-1 is not prime. Res64: 6217BE1671C2984B Time : 0.0 sec. user=mdettweiler [2012-10-14 14:54:01] 725*2^1232556-1 is not prime. Res64: 2FE1E334B1E713BC Time : 0.0 sec. user=mdettweiler [2012-10-14 15:06:11] 963*2^1232555-1 is not prime. Res64: 68EAC3E01A20D174 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:15:10] 843*2^1232556-1 is not prime. Res64: 7EA9F07E75A1DBD0 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:27:23] 933*2^1232556-1 is not prime. Res64: 1CD9C59CD13A3451 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:27:24] 619*2^1232557-1 is not prime. Res64: 2BD630648571A5C4 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:41:30] 845*2^1232556-1 is not prime. Res64: 8774F30E629B43B8 Time : 0.0 sec. user=vaughan [2012-10-14 15:42:20] 899*2^1232556-1 is not prime. Res64: 6751A010C79F3F01 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:48:10] 741*2^1232557-1 is not prime. Res64: F2D97896D9AA6778 Time : 0.0 sec. user=mdettweiler [2012-10-14 15:48:10] 757*2^1232557-1 is not prime. Res64: DD48395B939CFFBC Time : 0.0 sec. user=mdettweiler [2012-10-14 16:02:13] 801*2^1232557-1 is not prime. Res64: A12B1411982D1308 Time : 0.0 sec. user=mdettweiler [2012-10-14 16:02:15] 829*2^1232557-1 is not prime. Res64: 2C31D022C6A1E557 Time : 0.0 sec. user=mdettweiler [2012-10-14 16:09:30] 847*2^1232557-1 is not prime. Res64: 8876272129EA586C Time : 0.0 sec. user=mdettweiler [2012-10-14 16:23:15] 939*2^1232557-1 is not prime. Res64: 8819ACFD8DB43525 Time : 0.0 sec. user=mdettweiler [2012-10-14 16:23:34] 961*2^1232557-1 is not prime. Res64: A2FDF846AEA30506 Time : 0.0 sec. user=mdettweiler [2012-10-14 16:53:53] 859*2^1232557-1 is not prime. Res64: 854FC7C323D015F4 Time : 0.0 sec. user=vaughan [2012-10-14 16:55:22] 627*2^1232558-1 is not prime. Res64: ABA93097E915C7A5 Time : 0.0 sec. user=mdettweiler [2012-10-14 17:25:28] 651*2^1232558-1 is not prime. Res64: 56951BAD05BC3891 Time : 0.0 sec. user=vaughan [2012-10-14 17:33:20] 645*2^1232558-1 is not prime. Res64: 7A9567F947F13F60 Time : 0.0 sec. user=mdettweiler [2012-10-14 17:41:27] 693*2^1232558-1 is not prime. Res64: 5BBE66F6B834FAAD Time : 0.0 sec. user=mdettweiler [2012-10-14 17:41:28] 711*2^1232558-1 is not prime. Res64: C8D8223349C8E547 Time : 0.0 sec. user=mdettweiler [2012-10-14 18:02:15] 773*2^1232558-1 is not prime. Res64: 23074345FF4722BA Time : 0.0 sec. user=mdettweiler [2012-10-14 18:02:16] 897*2^1232558-1 is not prime. Res64: 07CAD305B42ED794 Time : 0.0 sec. user=mdettweiler [2012-10-14 18:06:49] 677*2^1232558-1 is not prime. Res64: DA60423D98228119 Time : 0.0 sec. user=vaughan [2012-10-14 18:10:46] 755*2^1232558-1 is not prime. Res64: 8882C65B8EEBA57F Time : 0.0 sec. user=mdettweiler [2012-10-14 18:23:24] 971*2^1232558-1 is not prime. Res64: E05B752DAF133DC0 Time : 0.0 sec. user=mdettweiler [2012-10-14 18:27:45] 663*2^1232559-1 is not prime. Res64: CCE3EBC9585FDD51 Time : 0.0 sec. user=vaughan [2012-10-14 18:48:33] 829*2^1232559-1 is not prime. Res64: 9808D5964C9004DA Time : 0.0 sec. user=mdettweiler [2012-10-14 18:53:08] 675*2^1232559-1 is not prime. Res64: A438B13DBA6E2613 Time : 0.0 sec. user=mdettweiler [2012-10-14 19:17:36] 601*2^1232559-1 is not prime. Res64: 5F04C7A95DF025C4 Time : 0.0 sec. user=mdettweiler [2012-10-14 19:38:08] 831*2^1232559-1 is not prime. Res64: AE8437E0525B20C8 Time : 0.0 sec. user=mdettweiler [2012-10-14 19:38:09] 861*2^1232559-1 is not prime. Res64: D47D683953F299F6 Time : 0.0 sec. user=mdettweiler [2012-10-14 19:59:15] 961*2^1232559-1 is not prime. Res64: 99FAD680B10FCE2D Time : 0.0 sec. user=mdettweiler [2012-10-14 19:59:56] 675*2^1232560-1 is not prime. Res64: A2CD503FC4150C6D Time : 0.0 sec. user=mdettweiler [2012-10-14 19:59:56] 785*2^1232560-1 is not prime. Res64: D6E2954B5CA32964 Time : 0.0 sec. user=vaughan [2012-10-14 20:01:20] 895*2^1232559-1 is not prime. Res64: 265AEBA7E9DDDDBC Time : 0.0 sec. user=mdettweiler [2012-10-14 20:20:56] 635*2^1232560-1 is not prime. Res64: 070E30FD06CF8D2C Time : 0.0 sec. user=mdettweiler [2012-10-14 20:21:19] 825*2^1232560-1 is not prime. Res64: FC2EDDD6F5308122 Time : 0.0 sec. user=mdettweiler [2012-10-14 20:21:20] 875*2^1232560-1 is not prime. Res64: E669A5D3F35A1980 Time : 0.0 sec. user=vaughan [2012-10-14 20:38:55] 927*2^1232560-1 is not prime. Res64: D0CB6916F58B1788 Time : 0.0 sec. user=mdettweiler [2012-10-14 20:41:49] 727*2^1232561-1 is not prime. Res64: 03D27C0FFC2F6D61 Time : 0.0 sec. user=mdettweiler [2012-10-14 20:41:50] 867*2^1232561-1 is not prime. Res64: D7E7BA8F0A1CA8F1 Time : 0.0 sec. user=mdettweiler [2012-10-14 20:42:31] 735*2^1232562-1 is not prime. Res64: EEEFF09D4B1E875A Time : 0.0 sec. user=mdettweiler [2012-10-14 20:42:32] 765*2^1232562-1 is not prime. Res64: 90EE853B7372B8DE Time : 0.0 sec. user=mdettweiler [2012-10-14 21:03:09] 833*2^1232562-1 is not prime. Res64: 6D7893DDF2B6CF67 Time : 0.0 sec. user=mdettweiler [2012-10-14 21:03:38] 903*2^1232562-1 is not prime. Res64: AC0D8CAA9441432E Time : 0.0 sec. user=vaughan [2012-10-14 21:16:23] 803*2^1232562-1 is not prime. Res64: 311F95A22F307D2C Time : 0.0 sec. user=mdettweiler [2012-10-14 21:23:02] 873*2^1232562-1 is not prime. Res64: A8C64F8B6A859243 Time : 0.0 sec. user=mdettweiler [2012-10-14 21:34:41] 615*2^1232563-1 is not prime. Res64: 38917E8602DE406A Time : 0.0 sec. user=mdettweiler [2012-10-14 21:43:53] 891*2^1232563-1 is not prime. Res64: 74D5B67F08C0944D Time : 0.0 sec. user=mdettweiler [2012-10-14 21:43:54] 665*2^1232564-1 is not prime. Res64: 7DB642E9F99625E7 Time : 0.0 sec. user=vaughan [2012-10-14 21:54:02] 769*2^1232563-1 is not prime. Res64: C73DFAFC5459B693 Time : 0.0 sec. user=mdettweiler [2012-10-14 22:04:59] 699*2^1232564-1 is not prime. Res64: 5C96E36004D766DF Time : 0.0 sec. user=mdettweiler [2012-10-14 22:05:00] 743*2^1232564-1 is not prime. Res64: 5ABDF46F3C69E6C7 Time : 0.0 sec. user=mdettweiler [2012-10-14 22:26:05] 759*2^1232564-1 is not prime. Res64: 14379C471E539681 Time : 0.0 sec. user=mdettweiler [2012-10-14 22:26:06] 893*2^1232564-1 is not prime. Res64: 59633250A313A21C Time : 0.0 sec. user=mdettweiler [2012-10-14 22:31:24] 915*2^1232564-1 is not prime. Res64: 2B1BB5DDD09003E5 Time : 0.0 sec. user=vaughan [2012-10-14 22:32:06] 753*2^1232564-1 is not prime. Res64: 067399E9603ABD55 Time : 0.0 sec. user=mdettweiler [2012-10-14 22:47:04] 625*2^1232565-1 is not prime. Res64: 5F799C5214E88CB1 Time : 0.0 sec. user=mdettweiler [2012-10-14 22:47:05] 685*2^1232565-1 is not prime. Res64: 54457765ED82E071 Time : 0.0 sec. user=mdettweiler [2012-10-14 23:08:36] 999*2^1232565-1 is not prime. Res64: CC6E39C5B8FF8728 Time : 0.0 sec. user=mdettweiler [2012-10-14 23:08:36] 657*2^1232566-1 is not prime. Res64: 326FB4A21C7CD79C Time : 0.0 sec. user=mdettweiler [2012-10-14 23:11:51] 927*2^1232564-1 is not prime. Res64: BBCCFCF521C2A439 Time : 0.0 sec. user=mdettweiler [2012-10-14 23:29:55] 669*2^1232567-1 is not prime. Res64: E1DA1E29FD8EA492 Time : 0.0 sec. user=mdettweiler [2012-10-14 23:33:12] 973*2^1232567-1 is not prime. Res64: 58D37D3A875D3F96 Time : 0.0 sec. user=vaughan [2012-10-14 23:45:10] 695*2^1232566-1 is not prime. Res64: 96AA0C81B2146C7C Time : 0.0 sec.