user=PCZ [2012-10-13 00:01:36] 693*2^1232423-1 is not prime. Res64: 0290604CB61FEB39 Time : 0.0 sec. user=PCZ [2012-10-13 00:01:57] 771*2^1232423-1 is not prime. Res64: 98DFB2A8A026FF85 Time : 0.0 sec. user=vaughan [2012-10-13 00:03:40] 657*2^1232418-1 is not prime. Res64: B7F61FEBCC24C604 Time : 0.0 sec. user=PCZ [2012-10-13 00:08:01] 901*2^1232423-1 is not prime. Res64: 4343D6060B85DEE4 Time : 0.0 sec. user=mdettweiler [2012-10-13 00:08:02] 677*2^1232408-1 is not prime. Res64: D8D607783E184749 Time : 0.0 sec. user=PCZ [2012-10-13 00:11:14] 913*2^1232423-1 is not prime. Res64: 6250305C9B6B1BCF Time : 0.0 sec. user=PCZ [2012-10-13 00:11:56] 949*2^1232423-1 is not prime. Res64: D50BED91B3167342 Time : 0.0 sec. user=PCZ [2012-10-13 00:11:57] 969*2^1232423-1 is not prime. Res64: 7E1B2B51042145AD Time : 0.0 sec. user=PCZ [2012-10-13 00:12:21] 665*2^1232424-1 is not prime. Res64: 55204217947A49DF Time : 0.0 sec. user=PCZ [2012-10-13 00:13:35] 887*2^1232424-1 is not prime. Res64: 4D49C369A66D0032 Time : 0.0 sec. user=PCZ [2012-10-13 00:13:35] 795*2^1232424-1 is not prime. Res64: D6DA3B0FA76A752A Time : 0.0 sec. user=PCZ [2012-10-13 00:13:38] 917*2^1232424-1 is not prime. Res64: 9EF55C05DBEA297D Time : 0.0 sec. user=PCZ [2012-10-13 00:21:58] 957*2^1232424-1 is not prime. Res64: D8709951B28FF2A5 Time : 0.0 sec. user=PCZ [2012-10-13 00:21:58] 945*2^1232424-1 is not prime. Res64: 74DDF90D88564EE0 Time : 0.0 sec. user=PCZ [2012-10-13 00:22:27] 715*2^1232425-1 is not prime. Res64: CD56DF70D442FF92 Time : 0.0 sec. user=PCZ [2012-10-13 00:22:50] 679*2^1232425-1 is not prime. Res64: 540B6991F3BE52A4 Time : 0.0 sec. user=PCZ [2012-10-13 00:24:14] 777*2^1232425-1 is not prime. Res64: 457577EC8E8D1E87 Time : 0.0 sec. user=PCZ [2012-10-13 00:26:27] 805*2^1232425-1 is not prime. Res64: 274A38969C93CD1E Time : 0.0 sec. user=PCZ [2012-10-13 00:27:50] 951*2^1232425-1 is not prime. Res64: 817A73BC066A9B09 Time : 0.0 sec. user=PCZ [2012-10-13 00:28:12] 997*2^1232425-1 is not prime. Res64: 30A131BD32BDDBCA Time : 0.0 sec. user=PCZ [2012-10-13 00:33:28] 615*2^1232426-1 is not prime. Res64: 8D4D48CF361BF87E Time : 0.0 sec. user=PCZ [2012-10-13 00:34:28] 641*2^1232426-1 is not prime. Res64: FEE23C04BB3D4DE4 Time : 0.0 sec. user=PCZ [2012-10-13 00:36:25] 801*2^1232426-1 is not prime. Res64: 174C9B0705718ECD Time : 0.0 sec. user=PCZ [2012-10-13 00:37:30] 861*2^1232426-1 is not prime. Res64: F1A158C79C2159FD Time : 0.0 sec. user=PCZ [2012-10-13 00:38:21] 981*2^1232426-1 is not prime. Res64: B1C747347F696A18 Time : 0.0 sec. user=PCZ [2012-10-13 00:38:59] 703*2^1232427-1 is not prime. Res64: DDEF0BB5D799CBF1 Time : 0.0 sec. user=PCZ [2012-10-13 00:40:22] 711*2^1232427-1 is not prime. Res64: B5535BFA033C631A Time : 0.0 sec. user=PCZ [2012-10-13 00:40:39] 861*2^1232427-1 is not prime. Res64: 72B61FB2ED76E686 Time : 0.0 sec. user=vaughan [2012-10-13 00:41:30] 927*2^1232424-1 is not prime. Res64: 9994F1528F94C920 Time : 0.0 sec. user=mdettweiler [2012-10-13 00:43:32] 645*2^1232426-1 is not prime. Res64: 75795E9E93C2D789 Time : 0.0 sec. user=mdettweiler [2012-10-13 00:43:33] 705*2^1232426-1 is not prime. Res64: 3D5FB18623678E35 Time : 0.0 sec. user=PCZ [2012-10-13 00:46:05] 605*2^1232428-1 is not prime. Res64: 019DB809462F96BA Time : 0.0 sec. user=PCZ [2012-10-13 00:47:03] 743*2^1232428-1 is not prime. Res64: 2EDC2DB73351845A Time : 0.0 sec. user=PCZ [2012-10-13 00:48:29] 813*2^1232428-1 is not prime. Res64: 81A0E12203D07C48 Time : 0.0 sec. user=PCZ [2012-10-13 00:49:08] 621*2^1232429-1 is not prime. Res64: 138BE37900F46FE6 Time : 0.0 sec. user=PCZ [2012-10-13 00:49:55] 861*2^1232429-1 is not prime. Res64: F2C47545B0EF301F Time : 0.0 sec. user=PCZ [2012-10-13 00:50:44] 931*2^1232429-1 is not prime. Res64: 2E698F8450DFA3A6 Time : 0.0 sec. user=PCZ [2012-10-13 00:51:36] 647*2^1232430-1 is not prime. Res64: 27182BA885F0165A Time : 0.0 sec. user=PCZ [2012-10-13 00:52:05] 711*2^1232430-1 is not prime. Res64: 25CE2EEF7640224F Time : 0.0 sec. user=odicin [2012-10-13 00:55:22] 723*2^1232430-1 is not prime. Res64: 1B56067785CCB802 Time : 0.0 sec. user=PCZ [2012-10-13 00:59:49] 793*2^1232431-1 is not prime. Res64: 50B17A3E8B65C15B Time : 0.0 sec. user=PCZ [2012-10-13 01:00:30] 829*2^1232431-1 is not prime. Res64: 47C4CDB34AA3287F Time : 0.0 sec. user=PCZ [2012-10-13 01:00:30] 861*2^1232431-1 is not prime. Res64: 93DE995E84DD203D Time : 0.0 sec. user=PCZ [2012-10-13 01:00:56] 871*2^1232431-1 is not prime. Res64: 54F91BC941C4E517 Time : 0.0 sec. user=PCZ [2012-10-13 01:01:20] 603*2^1232432-1 is not prime. Res64: 18C1EA86C02E34FA Time : 0.0 sec. user=PCZ [2012-10-13 01:02:08] 665*2^1232432-1 is not prime. Res64: 684877E0AA617108 Time : 0.0 sec. user=PCZ [2012-10-13 01:03:21] 857*2^1232432-1 is not prime. Res64: 94B9A915A288A43E Time : 0.0 sec. user=mdettweiler [2012-10-13 01:04:26] 791*2^1232430-1 is not prime. Res64: 93766B06B868C75A Time : 0.0 sec. user=PCZ [2012-10-13 01:04:50] 897*2^1232432-1 is not prime. Res64: EDE17A6986848827 Time : 0.0 sec. user=odicin [2012-10-13 01:09:00] 899*2^1232432-1 is not prime. Res64: 9AD69E8FCB28F61C Time : 0.0 sec. user=mdettweiler [2012-10-13 01:09:27] 679*2^1232431-1 is not prime. Res64: 4D9FA3E875F2DDD7 Time : 0.0 sec. user=PCZ [2012-10-13 01:11:08] 917*2^1232432-1 is not prime. Res64: 9B39151C2FE4A852 Time : 0.0 sec. user=PCZ [2012-10-13 01:13:55] 959*2^1232432-1 is not prime. Res64: E15DB02E37B3DFD1 Time : 0.0 sec. user=PCZ [2012-10-13 01:14:18] 609*2^1232433-1 is not prime. Res64: C5C3DB2A84E34672 Time : 0.0 sec. user=PCZ [2012-10-13 01:14:43] 805*2^1232433-1 is not prime. Res64: 8D060F1590124942 Time : 0.0 sec. user=PCZ [2012-10-13 01:14:43] 741*2^1232433-1 is not prime. Res64: 6FEC196CD8C8B271 Time : 0.0 sec. user=PCZ [2012-10-13 01:15:53] 871*2^1232433-1 is not prime. Res64: 75AFE4C73C29D184 Time : 0.0 sec. user=PCZ [2012-10-13 01:16:35] 885*2^1232433-1 is not prime. Res64: AD924A7B7C78D781 Time : 0.0 sec. user=PCZ [2012-10-13 01:18:48] 895*2^1232433-1 is not prime. Res64: F769514A622008B2 Time : 0.0 sec. user=vaughan [2012-10-13 01:19:13] 765*2^1232430-1 is not prime. Res64: 3DB05D32407C8E0F Time : 0.0 sec. user=odicin [2012-10-13 01:22:53] 937*2^1232433-1 is not prime. Res64: 7F431354D669A302 Time : 0.0 sec. user=PCZ [2012-10-13 01:24:59] 999*2^1232433-1 is not prime. Res64: 988C55AA5312378F Time : 0.0 sec. user=PCZ [2012-10-13 01:24:59] 611*2^1232434-1 is not prime. Res64: 85192B969BF22717 Time : 0.0 sec. user=PCZ [2012-10-13 01:25:02] 857*2^1232434-1 is not prime. Res64: 1917E86E0F83BCBA Time : 0.0 sec. user=PCZ [2012-10-13 01:25:24] 833*2^1232434-1 is not prime. Res64: 52557FAE839D3E7E Time : 0.0 sec. user=PCZ [2012-10-13 01:27:08] 987*2^1232434-1 is not prime. Res64: 8E92F95BDA9F1DF4 Time : 0.0 sec. user=PCZ [2012-10-13 01:29:25] 993*2^1232434-1 is not prime. Res64: 41DE95F43503F058 Time : 0.0 sec. user=PCZ [2012-10-13 01:30:10] 735*2^1232435-1 is not prime. Res64: 23A2586AD0AFED37 Time : 0.0 sec. user=PCZ [2012-10-13 01:32:27] 771*2^1232435-1 is not prime. Res64: A82EC5FE0C099105 Time : 0.0 sec. user=PCZ [2012-10-13 01:35:54] 801*2^1232435-1 is not prime. Res64: 05FC2A3EECF6AB85 Time : 0.0 sec. user=odicin [2012-10-13 01:35:57] 799*2^1232435-1 is not prime. Res64: 292377E82731A6BD Time : 0.0 sec. user=mdettweiler [2012-10-13 01:37:15] 763*2^1232431-1 is not prime. Res64: ED49B54189FB8208 Time : 0.0 sec. user=PCZ [2012-10-13 01:39:12] 819*2^1232435-1 is not prime. Res64: 311B639DA2093E53 Time : 0.0 sec. user=PCZ [2012-10-13 01:40:38] 969*2^1232435-1 is not prime. Res64: DDC214D70443593C Time : 0.0 sec. user=PCZ [2012-10-13 01:40:38] 921*2^1232435-1 is not prime. Res64: 7605060E16A90AA1 Time : 0.0 sec. user=PCZ [2012-10-13 01:41:06] 609*2^1232436-1 is not prime. Res64: 6AF1266F11CB768E Time : 0.0 sec. user=PCZ [2012-10-13 01:41:54] 623*2^1232436-1 is not prime. Res64: 59A5693061BA05D5 Time : 0.0 sec. user=PCZ [2012-10-13 01:42:31] 657*2^1232436-1 is not prime. Res64: 785FA6736874EC52 Time : 0.0 sec. user=PCZ [2012-10-13 01:44:37] 839*2^1232436-1 is not prime. Res64: 920A56E944AB7096 Time : 0.0 sec. user=odicin [2012-10-13 01:45:31] 693*2^1232436-1 is not prime. Res64: E8C034BFB8C332F6 Time : 0.0 sec. user=odicin [2012-10-13 01:45:59] 789*2^1232436-1 is not prime. Res64: 482F5DE9DC90C4D8 Time : 0.0 sec. user=mdettweiler [2012-10-13 01:47:06] 649*2^1232431-1 is not prime. Res64: 9B7D1C8C69BDC6E8 Time : 0.0 sec. user=PCZ [2012-10-13 01:47:26] 987*2^1232436-1 is not prime. Res64: EECF6A3226D79396 Time : 0.0 sec. user=odicin [2012-10-13 01:50:06] 649*2^1232437-1 is not prime. Res64: D834F5DEA9A95253 Time : 0.0 sec. user=PCZ [2012-10-13 01:50:31] 765*2^1232437-1 is not prime. Res64: A700D5352E5EEECE Time : 0.0 sec. user=PCZ [2012-10-13 01:52:18] 957*2^1232437-1 is not prime. Res64: CD7CEB4F8BE9E102 Time : 0.0 sec. user=PCZ [2012-10-13 01:52:18] 847*2^1232437-1 is not prime. Res64: E03577918E9BB150 Time : 0.0 sec. user=PCZ [2012-10-13 01:53:25] 635*2^1232438-1 is not prime. Res64: AC40804769A350DF Time : 0.0 sec. user=PCZ [2012-10-13 01:53:53] 843*2^1232438-1 is not prime. Res64: AF1BE85B083E8C86 Time : 0.0 sec. user=PCZ [2012-10-13 01:54:39] 923*2^1232438-1 is not prime. Res64: 5743FEC6CDC9249B Time : 0.0 sec. user=PCZ [2012-10-13 01:57:46] 703*2^1232439-1 is not prime. Res64: 520407F2EB938020 Time : 0.0 sec. user=PCZ [2012-10-13 01:57:46] 675*2^1232439-1 is not prime. Res64: CF4C895F05958590 Time : 0.0 sec. user=mdettweiler [2012-10-13 01:58:08] 717*2^1232437-1 is not prime. Res64: 64A0970A71503C1B Time : 0.0 sec. user=odicin [2012-10-13 01:59:47] 945*2^1232438-1 is not prime. Res64: 7CEF085C04575EF1 Time : 0.0 sec. user=PCZ [2012-10-13 02:00:06] 951*2^1232439-1 is not prime. Res64: 1BAB377BCDD8BBC1 Time : 0.0 sec. user=PCZ [2012-10-13 02:05:41] 717*2^1232440-1 is not prime. Res64: C450E448D8AAFEB4 Time : 0.0 sec. user=PCZ [2012-10-13 02:07:03] 957*2^1232440-1 is not prime. Res64: 45CA4858924FA81F Time : 0.0 sec. user=PCZ [2012-10-13 02:07:05] 849*2^1232440-1 is not prime. Res64: 44A974837065070A Time : 0.0 sec. user=mdettweiler [2012-10-13 02:07:47] 951*2^1232438-1 is not prime. Res64: C5C55AC10024E32B Time : 0.0 sec. user=mdettweiler [2012-10-13 02:07:48] 977*2^1232438-1 is not prime. Res64: 3DDA5C0572165D0B Time : 0.0 sec. user=PCZ [2012-10-13 02:08:21] 959*2^1232440-1 is not prime. Res64: DC6A485816ADA41E Time : 0.0 sec. user=PCZ [2012-10-13 02:09:14] 607*2^1232441-1 is not prime. Res64: 2005050E8DDFA3CE Time : 0.0 sec. user=PCZ [2012-10-13 02:09:48] 615*2^1232441-1 is not prime. Res64: 323D53C43549D006 Time : 0.0 sec. user=PCZ [2012-10-13 02:12:31] 657*2^1232441-1 is not prime. Res64: 4B472EB757255A60 Time : 0.0 sec. user=PCZ [2012-10-13 02:13:21] 711*2^1232441-1 is not prime. Res64: 0D485CE3B3B076CA Time : 0.0 sec. user=odicin [2012-10-13 02:13:34] 631*2^1232441-1 is not prime. Res64: D82550A16EAB64BB Time : 0.0 sec. user=PCZ [2012-10-13 02:18:07] 747*2^1232441-1 is not prime. Res64: BC6361B505A3C226 Time : 0.0 sec. user=PCZ [2012-10-13 02:19:33] 777*2^1232441-1 is not prime. Res64: 3C25BFD34A6C8982 Time : 0.0 sec. user=PCZ [2012-10-13 02:19:36] 799*2^1232441-1 is not prime. Res64: 53E246F74A01D1D6 Time : 0.0 sec. user=PCZ [2012-10-13 02:20:49] 671*2^1232442-1 is not prime. Res64: 4963F455856C97A1 Time : 0.0 sec. user=PCZ [2012-10-13 02:21:45] 747*2^1232442-1 is not prime. Res64: F651E4C7416E62FA Time : 0.0 sec. user=PCZ [2012-10-13 02:22:11] 801*2^1232442-1 is not prime. Res64: 10E2A2BFA6134578 Time : 0.0 sec. user=PCZ [2012-10-13 02:25:01] 915*2^1232442-1 is not prime. Res64: DFBF46E0C639821E Time : 0.0 sec. user=PCZ [2012-10-13 02:25:46] 977*2^1232442-1 is not prime. Res64: 8BB4AA7E1BA0C413 Time : 0.0 sec. user=odicin [2012-10-13 02:27:28] 631*2^1232443-1 is not prime. Res64: 144AC09BE88044BE Time : 0.0 sec. user=mdettweiler [2012-10-13 02:28:36] 885*2^1232441-1 is not prime. Res64: D6DC6E77AF2E035F Time : 0.0 sec. user=mdettweiler [2012-10-13 02:28:36] 957*2^1232441-1 is not prime. Res64: 8978A59D60E01C13 Time : 0.0 sec. user=PCZ [2012-10-13 02:30:52] 649*2^1232443-1 is not prime. Res64: F377B0181CFB6704 Time : 0.0 sec. user=PCZ [2012-10-13 02:32:16] 691*2^1232443-1 is not prime. Res64: 4A29FC8B9FE160BC Time : 0.0 sec. user=PCZ [2012-10-13 02:32:17] 663*2^1232443-1 is not prime. Res64: E9E088153206BBEF Time : 0.0 sec. user=vaughan [2012-10-13 02:32:37] 719*2^1232440-1 is not prime. Res64: 61A29FEBA4A96B58 Time : 0.0 sec. user=PCZ [2012-10-13 02:33:02] 805*2^1232443-1 is not prime. Res64: 0DA8197DA81BD148 Time : 0.0 sec. user=PCZ [2012-10-13 02:33:45] 813*2^1232443-1 is not prime. Res64: 860257F530858E92 Time : 0.0 sec. user=PCZ [2012-10-13 02:34:08] 835*2^1232443-1 is not prime. Res64: AAFC5B8C00A2F8C1 Time : 0.0 sec. user=PCZ [2012-10-13 02:35:39] 895*2^1232443-1 is not prime. Res64: 42238CA4B3E2589F Time : 0.0 sec. user=PCZ [2012-10-13 02:36:18] 919*2^1232443-1 is not prime. Res64: F74F27611EE7C8D3 Time : 0.0 sec. user=mdettweiler [2012-10-13 02:38:14] 757*2^1232437-1 is not prime. Res64: E6D54D6AC100CCCE Time : 0.0 sec. user=PCZ [2012-10-13 02:40:29] 893*2^1232444-1 is not prime. Res64: 2224C88E1C007117 Time : 0.0 sec. user=odicin [2012-10-13 02:41:20] 945*2^1232443-1 is not prime. Res64: 65A69DAA0458D9F8 Time : 0.0 sec. user=PCZ [2012-10-13 02:42:55] 741*2^1232445-1 is not prime. Res64: 918FC565ED565606 Time : 0.0 sec. user=PCZ [2012-10-13 02:46:24] 781*2^1232445-1 is not prime. Res64: C869933E6541287B Time : 0.0 sec. user=PCZ [2012-10-13 02:46:46] 895*2^1232445-1 is not prime. Res64: CACCFD2A02E05992 Time : 0.0 sec. user=PCZ [2012-10-13 02:47:12] 919*2^1232445-1 is not prime. Res64: C3DB1EE4C058FE3A Time : 0.0 sec. user=PCZ [2012-10-13 02:48:32] 927*2^1232445-1 is not prime. Res64: 9A382B53C7229CA0 Time : 0.0 sec. user=PCZ [2012-10-13 02:48:56] 937*2^1232445-1 is not prime. Res64: 66E68B0B5BA6A3C1 Time : 0.0 sec. user=mdettweiler [2012-10-13 02:49:23] 819*2^1232444-1 is not prime. Res64: 17563BC34F0F7391 Time : 0.0 sec. user=mdettweiler [2012-10-13 02:49:24] 843*2^1232444-1 is not prime. Res64: 84AFA454C0B4A8AE Time : 0.0 sec. user=PCZ [2012-10-13 02:50:31] 743*2^1232446-1 is not prime. Res64: 8E9A3181B56B7869 Time : 0.0 sec. user=PCZ [2012-10-13 02:50:52] 857*2^1232446-1 is not prime. Res64: 42543851DBAA214C Time : 0.0 sec. user=PCZ [2012-10-13 02:52:13] 917*2^1232446-1 is not prime. Res64: C3025225E52794E7 Time : 0.0 sec. user=PCZ [2012-10-13 02:55:20] 1001*2^1232446-1 is not prime. Res64: 089104A363EEC6C1 Time : 0.0 sec. user=odicin [2012-10-13 02:56:57] 957*2^1232446-1 is not prime. Res64: F3B2855D0E9D45FA Time : 0.0 sec. user=mdettweiler [2012-10-13 02:59:27] 955*2^1232445-1 is not prime. Res64: 965B4031AAA9F773 Time : 0.0 sec. user=PCZ [2012-10-13 03:00:37] 735*2^1232447-1 is not prime. Res64: F4D9CB01C4924FBF Time : 0.0 sec. user=PCZ [2012-10-13 03:01:02] 831*2^1232447-1 is not prime. Res64: 16850DAD256B8EF5 Time : 0.0 sec. user=odicin [2012-10-13 03:02:09] 685*2^1232447-1 is not prime. Res64: 73B3FF95F45A3AB3 Time : 0.0 sec. user=PCZ [2012-10-13 03:03:14] 885*2^1232447-1 is not prime. Res64: 35D4F225C5DD0B37 Time : 0.0 sec. user=PCZ [2012-10-13 03:03:39] 955*2^1232447-1 is not prime. Res64: E9692013F1640D0D Time : 0.0 sec. user=PCZ [2012-10-13 03:03:41] 979*2^1232447-1 is not prime. Res64: C714B22F66B65DF1 Time : 0.0 sec. user=PCZ [2012-10-13 03:05:41] 993*2^1232447-1 is not prime. Res64: D3A27B956B99D33F Time : 0.0 sec. user=PCZ [2012-10-13 03:06:06] 999*2^1232447-1 is not prime. Res64: 649E7D6ECBCF1359 Time : 0.0 sec. user=PCZ [2012-10-13 03:06:56] 699*2^1232448-1 is not prime. Res64: 67D429996763D53F Time : 0.0 sec. user=vaughan [2012-10-13 03:10:15] 995*2^1232444-1 is not prime. Res64: C193135CB984EDE8 Time : 0.0 sec. user=mdettweiler [2012-10-13 03:10:15] 705*2^1232447-1 is not prime. Res64: E0D7529A680AB947 Time : 0.0 sec. user=PCZ [2012-10-13 03:12:24] 725*2^1232448-1 is not prime. Res64: 3D0AB57E8F908E34 Time : 0.0 sec. user=PCZ [2012-10-13 03:14:34] 753*2^1232448-1 is not prime. Res64: C223B04E3426AE43 Time : 0.0 sec. user=PCZ [2012-10-13 03:14:55] 691*2^1232449-1 is not prime. Res64: B0BD9568008EB4F4 Time : 0.0 sec. user=PCZ [2012-10-13 03:14:57] 867*2^1232448-1 is not prime. Res64: 3CCF602BD352DAB1 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 961*2^1232415-1 is not prime. Res64: F3060FE632F7F3A5 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 923*2^1232414-1 is not prime. Res64: 556AA74C0647383F Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 633*2^1232418-1 is not prime. Res64: 75B011619C041258 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 609*2^1232449-1 is not prime. Res64: 7478C81DEDAF2D30 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 865*2^1232415-1 is not prime. Res64: 6D8A137DFCC0D6C1 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 909*2^1232415-1 is not prime. Res64: 34E723BF2A4153A3 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:18] 771*2^1232413-1 is not prime. Res64: DBBF4A0D6B2ABC78 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 887*2^1232416-1 is not prime. Res64: 81E0BD839E39F92A Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 611*2^1232418-1 is not prime. Res64: C161762D5FBD4056 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 989*2^1232416-1 is not prime. Res64: 9B59DB8EA74A5C63 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 771*2^1232417-1 is not prime. Res64: 85BA3F5A5BDCABA8 Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 755*2^1232418-1 is not prime. Res64: 737AD27EA8C85C5B Time : 0.0 sec. user=PCZ [2012-10-13 03:15:19] 985*2^1232417-1 is not prime. Res64: CDEEFC799E57149A Time : 0.0 sec. user=odicin [2012-10-13 03:16:08] 735*2^1232448-1 is not prime. Res64: B8345F0F028755A7 Time : 0.0 sec. user=PCZ [2012-10-13 03:18:41] 765*2^1232449-1 is not prime. Res64: 8385098B0FF37500 Time : 0.0 sec. user=PCZ [2012-10-13 03:20:43] 811*2^1232449-1 is not prime. Res64: 32B3873240955287 Time : 0.0 sec. user=PCZ [2012-10-13 03:21:08] 861*2^1232449-1 is not prime. Res64: B820C29B2D86F541 Time : 0.0 sec. user=PCZ [2012-10-13 03:24:12] 675*2^1232450-1 is not prime. Res64: 47BA01EE28F0045A Time : 0.0 sec. user=odicin [2012-10-13 03:25:00] 651*2^1232450-1 is not prime. Res64: E5F4B55F06F58690 Time : 0.0 sec. user=PCZ [2012-10-13 03:26:34] 731*2^1232450-1 is not prime. Res64: 1C40AE71A6BB4567 Time : 0.0 sec. user=mdettweiler [2012-10-13 03:26:34] 675*2^1232446-1 is not prime. Res64: 009DC48B1CADDE08 Time : 0.0 sec. user=PCZ [2012-10-13 03:27:22] 833*2^1232450-1 is not prime. Res64: B58064A107226C27 Time : 0.0 sec. user=PCZ [2012-10-13 03:27:22] 887*2^1232450-1 is not prime. Res64: 738DD3089CABBB8D Time : 0.0 sec. user=PCZ [2012-10-13 03:28:59] 953*2^1232450-1 is not prime. Res64: 4C8B5A2149A80651 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:16] 795*2^1232451-1 is not prime. Res64: 9FB8E1D9F1A62B7D Time : 0.0 sec. user=PCZ [2012-10-13 03:29:16] 819*2^1232451-1 is not prime. Res64: CD8A24029A2B5BF0 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:17] 977*2^1232450-1 is not prime. Res64: 26583648ECA60CE8 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:17] 793*2^1232451-1 is not prime. Res64: 4AD2019ED1D4079A Time : 0.0 sec. user=PCZ [2012-10-13 03:29:17] 769*2^1232451-1 is not prime. Res64: 391EAE50335ACB14 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 639*2^1232452-1 is not prime. Res64: 884F26E439B67A4A Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 951*2^1232451-1 is not prime. Res64: D3ED968ADE7C4E65 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 735*2^1232452-1 is not prime. Res64: FF0E429ACFD270C2 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 827*2^1232452-1 is not prime. Res64: BA0FE586C70644A4 Time : 0.0 sec. user=odicin [2012-10-13 03:29:43] 903*2^1232452-1 is not prime. Res64: 25935075F1830F94 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 765*2^1232452-1 is not prime. Res64: 41C625A518DB1C99 Time : 0.0 sec. user=PCZ [2012-10-13 03:29:43] 609*2^1232452-1 is not prime. Res64: C1125C86AFF944A0 Time : 0.0 sec. user=PCZ [2012-10-13 03:30:03] 933*2^1232452-1 is not prime. Res64: 3326F3E17A1DEC55 Time : 0.0 sec. user=PCZ [2012-10-13 03:30:05] 939*2^1232452-1 is not prime. Res64: 6B8CC03C713A7E8D Time : 0.0 sec. user=PCZ [2012-10-13 03:31:57] 957*2^1232452-1 is not prime. Res64: 8872C23AD48CEC8F Time : 0.0 sec. user=PCZ [2012-10-13 03:32:21] 675*2^1232453-1 is not prime. Res64: 69F414E943274E20 Time : 0.0 sec. user=PCZ [2012-10-13 03:34:20] 697*2^1232453-1 is not prime. Res64: BEB8181562F3FE1D Time : 0.0 sec. user=PCZ [2012-10-13 03:37:08] 829*2^1232453-1 is not prime. Res64: 41306A459D55706A Time : 0.0 sec. user=mdettweiler [2012-10-13 03:38:38] 711*2^1232447-1 is not prime. Res64: CE1E48FF7B924026 Time : 0.0 sec. user=PCZ [2012-10-13 03:39:58] 663*2^1232454-1 is not prime. Res64: 1FEE7CC6E732DC18 Time : 0.0 sec. user=PCZ [2012-10-13 03:40:24] 645*2^1232455-1 is not prime. Res64: FA10FFA746BFFD36 Time : 0.0 sec. user=PCZ [2012-10-13 03:40:53] 693*2^1232455-1 is not prime. Res64: D532293F143204B3 Time : 0.0 sec. user=odicin [2012-10-13 03:43:24] 711*2^1232454-1 is not prime. Res64: 904142E19F259F5A Time : 0.0 sec. user=PCZ [2012-10-13 03:44:21] 979*2^1232457-1 is not prime. Res64: 4651E3B2A0DC5549 Time : 0.0 sec. user=PCZ [2012-10-13 03:46:33] 621*2^1232458-1 is not prime. Res64: 7A083560613EFA85 Time : 0.0 sec. user=PCZ [2012-10-13 03:46:59] 657*2^1232458-1 is not prime. Res64: 62FF6011A595DD5D Time : 0.0 sec. user=mdettweiler [2012-10-13 03:47:14] 721*2^1232453-1 is not prime. Res64: 5D24597EF15E6D3C Time : 0.0 sec. user=mdettweiler [2012-10-13 03:47:15] 801*2^1232453-1 is not prime. Res64: 6DE8C7D7FFF8240C Time : 0.0 sec. user=PCZ [2012-10-13 03:47:32] 773*2^1232458-1 is not prime. Res64: 0D6ADD7373AAE351 Time : 0.0 sec. user=vaughan [2012-10-13 03:47:47] 641*2^1232450-1 is not prime. Res64: 3E2656FF77DD209C Time : 0.0 sec. user=PCZ [2012-10-13 03:52:27] 703*2^1232459-1 is not prime. Res64: CC5C361F22571F60 Time : 0.0 sec. user=PCZ [2012-10-13 03:52:39] 811*2^1232459-1 is not prime. Res64: B53336CE57AC5A48 Time : 0.0 sec. user=PCZ [2012-10-13 03:52:53] 903*2^1232459-1 is not prime. Res64: 8931A7BCFF0FAD1E Time : 0.0 sec. user=PCZ [2012-10-13 03:53:21] 931*2^1232459-1 is not prime. Res64: F649FA798FB2A9A6 Time : 0.0 sec. user=PCZ [2012-10-13 03:56:53] 653*2^1232460-1 is not prime. Res64: 856F59D7840BB887 Time : 0.0 sec. user=odicin [2012-10-13 03:57:13] 969*2^1232459-1 is not prime. Res64: 4CB61172A99D873C Time : 0.0 sec. user=PCZ [2012-10-13 03:59:09] 699*2^1232460-1 is not prime. Res64: E0560BEF2F91F762 Time : 0.0 sec. user=mdettweiler [2012-10-13 03:59:33] 911*2^1232458-1 is not prime. Res64: EDDC2B2D9FD8EEEF Time : 0.0 sec. user=PCZ [2012-10-13 03:59:34] 707*2^1232460-1 is not prime. Res64: 1A66BEB89B63D40F Time : 0.0 sec. user=PCZ [2012-10-13 03:59:58] 845*2^1232460-1 is not prime. Res64: DD7C41CC0A7CCE77 Time : 0.0 sec. user=PCZ [2012-10-13 04:04:03] 601*2^1232461-1 is not prime. Res64: DE9C642C41AE22BA Time : 0.0 sec. user=PCZ [2012-10-13 04:04:03] 987*2^1232460-1 is not prime. Res64: DD15059A13AFDB04 Time : 0.0 sec. user=PCZ [2012-10-13 04:04:22] 609*2^1232461-1 is not prime. Res64: 68EA73610A5A533F Time : 0.0 sec. user=PCZ [2012-10-13 04:04:25] 615*2^1232461-1 is not prime. Res64: C55CB7688C6CA2CE Time : 0.0 sec. user=PCZ [2012-10-13 04:07:28] 931*2^1232461-1 is not prime. Res64: C2958F6CF87D610A Time : 0.0 sec. user=mdettweiler [2012-10-13 04:08:13] 767*2^1232460-1 is not prime. Res64: 7DF25BA2E1D79283 Time : 0.0 sec. user=PCZ [2012-10-13 04:10:13] 957*2^1232461-1 is not prime. Res64: 68522F8227267D13 Time : 0.0 sec. user=odicin [2012-10-13 04:11:10] 937*2^1232461-1 is not prime. Res64: 19D8EFC7F557FE30 Time : 0.0 sec. user=PCZ [2012-10-13 04:13:25] 987*2^1232461-1 is not prime. Res64: B93FBA65953DC8BD Time : 0.0 sec. user=PCZ [2012-10-13 04:13:44] 675*2^1232462-1 is not prime. Res64: 61FC9E7AC0A1199A Time : 0.0 sec. user=PCZ [2012-10-13 04:14:34] 693*2^1232462-1 is not prime. Res64: 2C23B8CECEDC112A Time : 0.0 sec. user=PCZ [2012-10-13 04:15:12] 831*2^1232462-1 is not prime. Res64: D87C8370E6702F8E Time : 0.0 sec. user=odicin [2012-10-13 04:15:39] 967*2^1232461-1 is not prime. Res64: 0E0EC6677FA42425 Time : 0.0 sec. user=PCZ [2012-10-13 04:17:44] 625*2^1232463-1 is not prime. Res64: BECE1EB45CD1F779 Time : 0.0 sec. user=PCZ [2012-10-13 04:17:45] 619*2^1232463-1 is not prime. Res64: 32FB559DA6069BF9 Time : 0.0 sec. user=PCZ [2012-10-13 04:20:47] 693*2^1232463-1 is not prime. Res64: 4721C62A6E978BB6 Time : 0.0 sec. user=PCZ [2012-10-13 04:21:33] 735*2^1232463-1 is not prime. Res64: 39251703C8F03B6F Time : 0.0 sec. user=vaughan [2012-10-13 04:25:26] 863*2^1232460-1 is not prime. Res64: 4974C3B2BE1A1537 Time : 0.0 sec. user=PCZ [2012-10-13 04:25:32] 765*2^1232463-1 is not prime. Res64: 41E97FE8752940F2 Time : 0.0 sec. user=mdettweiler [2012-10-13 04:28:08] 669*2^1232459-1 is not prime. Res64: 8858BC62D2469320 Time : 0.0 sec. user=PCZ [2012-10-13 04:28:34] 635*2^1232464-1 is not prime. Res64: 7F0560329E0AB8A0 Time : 0.0 sec. user=PCZ [2012-10-13 04:28:59] 657*2^1232464-1 is not prime. Res64: BA20DE2A4AE90264 Time : 0.0 sec. user=PCZ [2012-10-13 04:29:35] 687*2^1232464-1 is not prime. Res64: 96A379CA5FCAEF5E Time : 0.0 sec. user=PCZ [2012-10-13 04:29:35] 759*2^1232464-1 is not prime. Res64: B5AEAA42B576DF91 Time : 0.0 sec. user=PCZ [2012-10-13 04:29:54] 855*2^1232464-1 is not prime. Res64: 1BCE5A099D996C70 Time : 0.0 sec. user=PCZ [2012-10-13 04:31:05] 869*2^1232464-1 is not prime. Res64: 5B69449EDDD5B13E Time : 0.0 sec. user=PCZ [2012-10-13 04:34:36] 887*2^1232464-1 is not prime. Res64: 5B9FE3F74BA1663F Time : 0.0 sec. user=PCZ [2012-10-13 04:35:33] 657*2^1232465-1 is not prime. Res64: D2250268504C4149 Time : 0.0 sec. user=mdettweiler [2012-10-13 04:36:21] 783*2^1232460-1 is not prime. Res64: 49F9587608802669 Time : 0.0 sec. user=PCZ [2012-10-13 04:39:51] 705*2^1232465-1 is not prime. Res64: D7801B19F08091E8 Time : 0.0 sec. user=PCZ [2012-10-13 04:42:19] 711*2^1232465-1 is not prime. Res64: 29786836F4B69825 Time : 0.0 sec. user=PCZ [2012-10-13 04:43:18] 727*2^1232465-1 is not prime. Res64: B5518A7753AB3A81 Time : 0.0 sec. user=PCZ [2012-10-13 04:43:40] 633*2^1232466-1 is not prime. Res64: D2914FAA8BD85A5D Time : 0.0 sec. user=PCZ [2012-10-13 04:44:42] 641*2^1232466-1 is not prime. Res64: 95690CCF3886F68E Time : 0.0 sec. user=PCZ [2012-10-13 04:44:42] 671*2^1232466-1 is not prime. Res64: 775BE5D4FF46C7C9 Time : 0.0 sec. user=PCZ [2012-10-13 04:46:40] 747*2^1232466-1 is not prime. Res64: 97E2779B2582962A Time : 0.0 sec. user=PCZ [2012-10-13 04:48:19] 867*2^1232466-1 is not prime. Res64: 469DC121F56ECFCF Time : 0.0 sec. user=mdettweiler [2012-10-13 04:49:30] 679*2^1232465-1 is not prime. Res64: BAC5AD9F210FFFBB Time : 0.0 sec. user=PCZ [2012-10-13 04:49:58] 615*2^1232467-1 is not prime. Res64: EBF19C3AB5D29D3E Time : 0.0 sec. user=PCZ [2012-10-13 04:53:09] 645*2^1232467-1 is not prime. Res64: F636C771A3DED390 Time : 0.0 sec. user=PCZ [2012-10-13 04:53:31] 649*2^1232467-1 is not prime. Res64: 26653D7B93DE2C82 Time : 0.0 sec. user=PCZ [2012-10-13 04:56:02] 673*2^1232467-1 is not prime. Res64: F4D5EE4DAE39DF25 Time : 0.0 sec. user=mdettweiler [2012-10-13 04:57:19] 807*2^1232466-1 is not prime. Res64: EF2D483DCC54BEDB Time : 0.0 sec. user=PCZ [2012-10-13 04:59:09] 925*2^1232467-1 is not prime. Res64: C2EB710ED70B84A5 Time : 0.0 sec. user=PCZ [2012-10-13 04:59:11] 635*2^1232468-1 is not prime. Res64: AA2C6E178EDC1EF4 Time : 0.0 sec. user=PCZ [2012-10-13 05:01:31] 687*2^1232468-1 is not prime. Res64: 371FBADB29FDB05F Time : 0.0 sec. user=PCZ [2012-10-13 05:01:51] 753*2^1232468-1 is not prime. Res64: 55E19CA0E57E487C Time : 0.0 sec. user=vaughan [2012-10-13 05:02:57] 927*2^1232464-1 is not prime. Res64: FB58C3934296750D Time : 0.0 sec. user=PCZ [2012-10-13 05:03:22] 845*2^1232468-1 is not prime. Res64: D03540A535DECD4D Time : 0.0 sec. user=PCZ [2012-10-13 05:05:31] 875*2^1232468-1 is not prime. Res64: 56500AC2C955B0EC Time : 0.0 sec. user=PCZ [2012-10-13 05:05:33] 615*2^1232469-1 is not prime. Res64: 91CD363F4DAB9436 Time : 0.0 sec. user=PCZ [2012-10-13 05:11:39] 685*2^1232469-1 is not prime. Res64: 2EB03B04E65E12BE Time : 0.0 sec. user=PCZ [2012-10-13 05:11:39] 829*2^1232469-1 is not prime. Res64: 125AFDFE010B1DFB Time : 0.0 sec. user=PCZ [2012-10-13 05:11:39] 649*2^1232469-1 is not prime. Res64: 20124F3E939671E6 Time : 0.0 sec. user=PCZ [2012-10-13 05:14:04] 831*2^1232469-1 is not prime. Res64: A8D5016BAC5979FC Time : 0.0 sec. user=PCZ [2012-10-13 05:14:04] 885*2^1232469-1 is not prime. Res64: FAA3E10ED591B61E Time : 0.0 sec. user=PCZ [2012-10-13 05:15:08] 681*2^1232470-1 is not prime. Res64: FFA69D634972E90C Time : 0.0 sec. user=PCZ [2012-10-13 05:16:58] 723*2^1232470-1 is not prime. Res64: CE3B15B2FE603352 Time : 0.0 sec. user=PCZ [2012-10-13 05:16:59] 755*2^1232470-1 is not prime. Res64: 26BA8BCA0F28A111 Time : 0.0 sec. user=PCZ [2012-10-13 05:23:09] 791*2^1232470-1 is not prime. Res64: B7250340EDBCF92F Time : 0.0 sec. user=PCZ [2012-10-13 05:23:10] 941*2^1232470-1 is not prime. Res64: 753C56E7A64E5E58 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:26] 873*2^1232456-1 is not prime. Res64: 0FB597ADCB60062C Time : 0.0 sec. user=PCZ [2012-10-13 05:24:28] 831*2^1232455-1 is not prime. Res64: B9D28A149FF152E9 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:28] 663*2^1232456-1 is not prime. Res64: D357AAA1780942BB Time : 0.0 sec. user=PCZ [2012-10-13 05:24:28] 741*2^1232455-1 is not prime. Res64: 06F21EC1FF2320F0 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:28] 857*2^1232456-1 is not prime. Res64: 3CF22BF8A2F1D8FC Time : 0.0 sec. user=PCZ [2012-10-13 05:24:29] 617*2^1232456-1 is not prime. Res64: D6FDCADCD941B293 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:30] 615*2^1232456-1 is not prime. Res64: FD82D019B073234B Time : 0.0 sec. user=PCZ [2012-10-13 05:24:30] 909*2^1232455-1 is not prime. Res64: 92DF0C4E8CC70367 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:30] 691*2^1232457-1 is not prime. Res64: F102FCEE4A2C6371 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:30] 765*2^1232455-1 is not prime. Res64: A8ADBBD265D70F79 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:31] 807*2^1232457-1 is not prime. Res64: 51DF8FE37D48D682 Time : 0.0 sec. user=PCZ [2012-10-13 05:24:33] 889*2^1232453-1 is not prime. Res64: 2597B1344A9F5E37 Time : 0.0 sec. user=PCZ [2012-10-13 05:25:57] 975*2^1232470-1 is not prime. Res64: D10F1401EF049D9F Time : 0.0 sec. user=PCZ [2012-10-13 05:26:53] 981*2^1232470-1 is not prime. Res64: 3D28182A4EBBE847 Time : 0.0 sec. user=PCZ [2012-10-13 05:27:19] 673*2^1232471-1 is not prime. Res64: 822A59CE43CC832A Time : 0.0 sec. user=PCZ [2012-10-13 05:29:29] 843*2^1232471-1 is not prime. Res64: 8F442818FAAFAB54 Time : 0.0 sec. user=PCZ [2012-10-13 05:29:30] 783*2^1232471-1 is not prime. Res64: 4453E4E5AEE0EBB2 Time : 0.0 sec. user=PCZ [2012-10-13 05:29:32] 859*2^1232471-1 is not prime. Res64: 827CEF92E075FF78 Time : 0.0 sec. user=mdettweiler [2012-10-13 05:33:38] 699*2^1232465-1 is not prime. Res64: B90194EF21A904AD Time : 0.0 sec. user=mdettweiler [2012-10-13 05:34:58] 861*2^1232466-1 is not prime. Res64: D14B0C9544D17365 Time : 0.0 sec. user=PCZ [2012-10-13 05:35:45] 981*2^1232471-1 is not prime. Res64: BE67B5B38F91FDDA Time : 0.0 sec. user=PCZ [2012-10-13 05:35:45] 719*2^1232472-1 is not prime. Res64: B174A426AF903DC5 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:20] 827*2^1232474-1 is not prime. Res64: 242C6F1C8646A7B9 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:20] 999*2^1232472-1 is not prime. Res64: 7FFA50CB5754F2C3 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:20] 643*2^1232475-1 is not prime. Res64: FD39D487FF84D1E8 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 651*2^1232474-1 is not prime. Res64: CDB0C2619D5242A2 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 657*2^1232474-1 is not prime. Res64: 3AB68640BEB7CBD7 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 797*2^1232472-1 is not prime. Res64: 4F3B34841BD29394 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 749*2^1232476-1 is not prime. Res64: 49B0D122D538E072 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 923*2^1232472-1 is not prime. Res64: C037C3A49744D5CD Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 739*2^1232475-1 is not prime. Res64: DD6248B622701631 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 625*2^1232473-1 is not prime. Res64: C84623A2ADEADAAB Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 853*2^1232475-1 is not prime. Res64: 465A33F8B96B3E13 Time : 0.0 sec. user=PCZ [2012-10-13 05:37:21] 675*2^1232475-1 is not prime. Res64: 0D79275DE258E6EE Time : 0.0 sec. user=PCZ [2012-10-13 05:38:34] 777*2^1232476-1 is not prime. Res64: BD4F28A5A87D3438 Time : 0.0 sec. user=PCZ [2012-10-13 05:39:33] 869*2^1232476-1 is not prime. Res64: 9AB2870358EDB9B0 Time : 0.0 sec. user=PCZ [2012-10-13 05:40:02] 903*2^1232476-1 is not prime. Res64: 3EB5194308368438 Time : 0.0 sec. user=vaughan [2012-10-13 05:40:27] 635*2^1232470-1 is not prime. Res64: D9443548B0F878A8 Time : 0.0 sec. user=PCZ [2012-10-13 05:41:33] 999*2^1232476-1 is not prime. Res64: 9694D25687BB25C5 Time : 0.0 sec. user=PCZ [2012-10-13 05:41:33] 927*2^1232476-1 is not prime. Res64: FDA6C5F5917C462F Time : 0.0 sec. user=PCZ [2012-10-13 05:41:33] 669*2^1232477-1 is not prime. Res64: C91E4B7D0F329169 Time : 0.0 sec. user=PCZ [2012-10-13 05:46:30] 867*2^1232478-1 is not prime. Res64: B90618B913B4250B Time : 0.0 sec. user=PCZ [2012-10-13 05:46:30] 861*2^1232478-1 is not prime. Res64: 86C1E28F83528E55 Time : 0.0 sec. user=PCZ [2012-10-13 05:49:17] 709*2^1232481-1 is not prime. Res64: 947A5767061782C2 Time : 0.0 sec. user=PCZ [2012-10-13 05:49:39] 945*2^1232478-1 is not prime. Res64: F30969AAFED11023 Time : 0.0 sec. user=PCZ [2012-10-13 05:49:40] 603*2^1232479-1 is not prime. Res64: AE9B1570C9526A4D Time : 0.0 sec. user=PCZ [2012-10-13 05:49:41] 681*2^1232479-1 is not prime. Res64: 9CA4AFEFCC924504 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 735*2^1232479-1 is not prime. Res64: F8EEE92A6C7DE8CE Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 645*2^1232479-1 is not prime. Res64: AD02853EA2C45C4F Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 861*2^1232479-1 is not prime. Res64: 9E48B180E2F7C7A6 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 775*2^1232479-1 is not prime. Res64: 0A80A641B5D60545 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 615*2^1232480-1 is not prime. Res64: D74A9D5F024F3193 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:02] 923*2^1232480-1 is not prime. Res64: 519FAB1075931F85 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:03] 909*2^1232480-1 is not prime. Res64: 50B55D1317F84558 Time : 0.0 sec. user=PCZ [2012-10-13 05:50:03] 645*2^1232480-1 is not prime. Res64: A812ACDA6AC4063C Time : 0.0 sec. user=PCZ [2012-10-13 05:52:32] 747*2^1232481-1 is not prime. Res64: 16591B9A61117223 Time : 0.0 sec. user=PCZ [2012-10-13 05:53:14] 835*2^1232481-1 is not prime. Res64: 6AD6DBC1DA5D5E07 Time : 0.0 sec. user=PCZ [2012-10-13 05:53:14] 861*2^1232481-1 is not prime. Res64: ED9DD270E476B3CC Time : 0.0 sec. user=PCZ [2012-10-13 05:54:12] 871*2^1232481-1 is not prime. Res64: 0253D779DB8511A1 Time : 0.0 sec. user=mdettweiler [2012-10-13 05:54:29] 675*2^1232477-1 is not prime. Res64: 2C4C87F2E54E7C7C Time : 0.0 sec. user=mdettweiler [2012-10-13 05:54:29] 799*2^1232477-1 is not prime. Res64: 52350C7023520296 Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 875*2^1232404-1 is not prime. Res64: 30B5875C6C6D3406 Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 857*2^1232402-1 is not prime. Res64: 19B6CAA7274A385F Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 857*2^1232400-1 is not prime. Res64: E59C77F96EAE9E40 Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 797*2^1232400-1 is not prime. Res64: 5FD02D65C15D4A4A Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 995*2^1232402-1 is not prime. Res64: 664FFE6C2B5282A9 Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 707*2^1232400-1 is not prime. Res64: D037FA8C2DAC9011 Time : 0.0 sec. user=PCZ [2012-10-13 05:54:54] 889*2^1232481-1 is not prime. Res64: 9894E2E8B0A3DE39 Time : 0.0 sec. user=PCZ [2012-10-13 05:55:20] 949*2^1232405-1 is not prime. Res64: 586C4A1F012BC148 Time : 0.0 sec. user=PCZ [2012-10-13 05:55:20] 889*2^1232401-1 is not prime. Res64: 35E333F24D585ADD Time : 0.0 sec. user=mdettweiler [2012-10-13 05:55:43] 837*2^1232477-1 is not prime. Res64: 4F41E6C1A4D6EFDD Time : 0.0 sec. user=mdettweiler [2012-10-13 05:55:44] 621*2^1232478-1 is not prime. Res64: FB54DCDED9DBF4A4 Time : 0.0 sec. user=PCZ [2012-10-13 05:56:38] 713*2^1232482-1 is not prime. Res64: 31C185BCEF52EF8C Time : 0.0 sec. user=PCZ [2012-10-13 05:57:42] 731*2^1232482-1 is not prime. Res64: 26B507CDEDE80340 Time : 0.0 sec. user=PCZ [2012-10-13 05:57:42] 821*2^1232482-1 is not prime. Res64: E40A5A37A5334D4B Time : 0.0 sec. user=PCZ [2012-10-13 06:00:30] 679*2^1232483-1 is not prime. Res64: 414CBAB50ECD49B5 Time : 0.0 sec. user=PCZ [2012-10-13 06:01:41] 745*2^1232483-1 is not prime. Res64: CFF22F737821FC02 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:02] 823*2^1232483-1 is not prime. Res64: B247B3323ED72581 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:03] 675*2^1232484-1 is not prime. Res64: 48AED3AF6AA0C110 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:03] 635*2^1232484-1 is not prime. Res64: 65CEF75C439BB2E3 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:06] 959*2^1232484-1 is not prime. Res64: 7A48B85108035EB0 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:06] 857*2^1232484-1 is not prime. Res64: BE58D0DE201E32A2 Time : 0.0 sec. user=PCZ [2012-10-13 06:02:07] 707*2^1232484-1 is not prime. Res64: B7555E8C14AE489E Time : 0.0 sec. user=PCZ [2012-10-13 06:02:07] 625*2^1232485-1 is not prime. Res64: 5BC4A0C6AD64B5FB Time : 0.0 sec. user=PCZ [2012-10-13 06:02:08] 691*2^1232485-1 is not prime. Res64: 2CB5B6A9A5B857EE Time : 0.0 sec. user=PCZ [2012-10-13 06:03:39] 981*2^1232486-1 is not prime. Res64: CDFF11ED32971C91 Time : 0.0 sec. user=PCZ [2012-10-13 06:05:10] 717*2^1232485-1 is not prime. Res64: 8C2BE7425EFA8EDF Time : 0.0 sec. user=PCZ [2012-10-13 06:05:12] 859*2^1232485-1 is not prime. Res64: ABB828F63E5742FB Time : 0.0 sec. user=PCZ [2012-10-13 06:05:16] 721*2^1232485-1 is not prime. Res64: 2889CAF2C8C8CF8C Time : 0.0 sec. user=PCZ [2012-10-13 06:05:16] 603*2^1232486-1 is not prime. Res64: 5854D0577652C0E3 Time : 0.0 sec. user=PCZ [2012-10-13 06:05:54] 993*2^1232486-1 is not prime. Res64: 005D6AB6250F8F2C Time : 0.0 sec. user=PCZ [2012-10-13 06:08:20] 823*2^1232487-1 is not prime. Res64: E951858DD35D109A Time : 0.0 sec. user=PCZ [2012-10-13 06:08:23] 871*2^1232487-1 is not prime. Res64: 1AD6030C7365ECDD Time : 0.0 sec. user=PCZ [2012-10-13 06:09:10] 645*2^1232488-1 is not prime. Res64: 5FF81B95DA65BF5F Time : 0.0 sec. user=PCZ [2012-10-13 06:09:10] 665*2^1232488-1 is not prime. Res64: 0F80050188554C7C Time : 0.0 sec. user=PCZ [2012-10-13 06:09:59] 863*2^1232488-1 is not prime. Res64: 031EF15DD7A15A1E Time : 0.0 sec. user=PCZ [2012-10-13 06:09:59] 699*2^1232488-1 is not prime. Res64: F957752A2BC1D54D Time : 0.0 sec. user=PCZ [2012-10-13 06:09:59] 843*2^1232488-1 is not prime. Res64: E8085B574BF79EA8 Time : 0.0 sec. user=PCZ [2012-10-13 06:09:59] 755*2^1232488-1 is not prime. Res64: B9732AF10A85D794 Time : 0.0 sec. user=PCZ [2012-10-13 06:09:59] 747*2^1232488-1 is not prime. Res64: B4AEF8C85B913174 Time : 0.0 sec. user=PCZ [2012-10-13 06:10:00] 627*2^1232489-1 is not prime. Res64: 53F38CD68F7DF17A Time : 0.0 sec. user=PCZ [2012-10-13 06:10:02] 699*2^1232489-1 is not prime. Res64: 0D7A78C5B7BB12B0 Time : 0.0 sec. user=PCZ [2012-10-13 06:10:41] 729*2^1232489-1 is not prime. Res64: 8ADCDA26AC8889F7 Time : 0.0 sec. user=PCZ [2012-10-13 06:13:02] 945*2^1232490-1 is not prime. Res64: E704B530C1BA1698 Time : 0.0 sec. user=PCZ [2012-10-13 06:13:50] 747*2^1232489-1 is not prime. Res64: C100ECBB402569BE Time : 0.0 sec. user=PCZ [2012-10-13 06:14:13] 799*2^1232489-1 is not prime. Res64: B6D107A01455C993 Time : 0.0 sec. user=PCZ [2012-10-13 06:14:33] 627*2^1232490-1 is not prime. Res64: E789684D3AD5F86A Time : 0.0 sec. user=PCZ [2012-10-13 06:14:36] 855*2^1232489-1 is not prime. Res64: 13B0FA6D2CA4F8C8 Time : 0.0 sec. user=PCZ [2012-10-13 06:14:36] 889*2^1232489-1 is not prime. Res64: FB285B2C0C576CFB Time : 0.0 sec. user=PCZ [2012-10-13 06:14:36] 969*2^1232489-1 is not prime. Res64: 2C0577E91BF5BC51 Time : 0.0 sec. user=PCZ [2012-10-13 06:14:37] 717*2^1232490-1 is not prime. Res64: 2D6F8CE960804987 Time : 0.0 sec. user=PCZ [2012-10-13 06:14:38] 957*2^1232489-1 is not prime. Res64: 1CF5AAAE504B3279 Time : 0.0 sec. user=PCZ [2012-10-13 06:15:03] 723*2^1232490-1 is not prime. Res64: 291A3A4C96FF90DC Time : 0.0 sec. user=mdettweiler [2012-10-13 06:15:31] 641*2^1232486-1 is not prime. Res64: F5B25AA0B6196481 Time : 0.0 sec. user=mdettweiler [2012-10-13 06:16:24] 615*2^1232487-1 is not prime. Res64: 9EA5356B49376606 Time : 0.0 sec. user=PCZ [2012-10-13 06:16:25] 963*2^1232490-1 is not prime. Res64: EFBDC3F5AB9A8B27 Time : 0.0 sec. user=PCZ [2012-10-13 06:16:48] 693*2^1232491-1 is not prime. Res64: E94F78C12C100AF5 Time : 0.0 sec. user=mdettweiler [2012-10-13 06:16:48] 709*2^1232487-1 is not prime. Res64: 04652391D8B2DDDE Time : 0.0 sec. user=PCZ [2012-10-13 06:16:50] 615*2^1232491-1 is not prime. Res64: 65862C77D4713A3B Time : 0.0 sec. user=PCZ [2012-10-13 06:16:54] 801*2^1232491-1 is not prime. Res64: 7BD1A41E1F8D5150 Time : 0.0 sec. user=PCZ [2012-10-13 06:17:17] 793*2^1232491-1 is not prime. Res64: 0A33B1748861BD9D Time : 0.0 sec. user=vaughan [2012-10-13 06:18:28] 789*2^1232481-1 is not prime. Res64: 1025DB5B40FB08A1 Time : 0.0 sec. user=PCZ [2012-10-13 06:19:12] 983*2^1232492-1 is not prime. Res64: 636EEAE4ABBCE3AC Time : 0.0 sec. user=PCZ [2012-10-13 06:19:12] 875*2^1232492-1 is not prime. Res64: 30CB915DAB2127F5 Time : 0.0 sec. user=PCZ [2012-10-13 06:19:34] 975*2^1232491-1 is not prime. Res64: D35DEE6F6BA5FD3E Time : 0.0 sec. user=PCZ [2012-10-13 06:20:20] 617*2^1232492-1 is not prime. Res64: F641A4264E4DB150 Time : 0.0 sec. user=PCZ [2012-10-13 06:20:47] 665*2^1232492-1 is not prime. Res64: 81B69E28682FCCE0 Time : 0.0 sec. user=PCZ [2012-10-13 06:22:17] 721*2^1232493-1 is not prime. Res64: 1B66E038EE8F2A6C Time : 0.0 sec. user=PCZ [2012-10-13 06:23:06] 889*2^1232493-1 is not prime. Res64: AC392A9B3FAC24FE Time : 0.0 sec. user=PCZ [2012-10-13 06:23:06] 837*2^1232493-1 is not prime. Res64: E633A0B8C65D853B Time : 0.0 sec. user=PCZ [2012-10-13 06:23:57] 921*2^1232493-1 is not prime. Res64: 676C6336475A007B Time : 0.0 sec. user=PCZ [2012-10-13 06:23:57] 987*2^1232493-1 is not prime. Res64: 22EF64095BBB10AA Time : 0.0 sec. user=PCZ [2012-10-13 06:23:57] 927*2^1232493-1 is not prime. Res64: DE60C999D9B3CDC5 Time : 0.0 sec. user=PCZ [2012-10-13 06:24:20] 621*2^1232494-1 is not prime. Res64: 65D9990AE4D73B79 Time : 0.0 sec. user=PCZ [2012-10-13 06:24:20] 999*2^1232493-1 is not prime. Res64: 6F2DFEB622CB2E72 Time : 0.0 sec. user=PCZ [2012-10-13 06:24:20] 651*2^1232494-1 is not prime. Res64: 3E9D33933261300F Time : 0.0 sec. user=PCZ [2012-10-13 06:25:25] 765*2^1232494-1 is not prime. Res64: 1CC10E9633238083 Time : 0.0 sec. user=PCZ [2012-10-13 06:25:25] 741*2^1232494-1 is not prime. Res64: 7C9DCA515974282B Time : 0.0 sec. user=PCZ [2012-10-13 06:26:01] 827*2^1232494-1 is not prime. Res64: 449C794F68271F2C Time : 0.0 sec. user=PCZ [2012-10-13 06:26:02] 815*2^1232494-1 is not prime. Res64: B17AE6A698F2305E Time : 0.0 sec. user=PCZ [2012-10-13 06:26:27] 987*2^1232494-1 is not prime. Res64: 5441A2C1234C4F2A Time : 0.0 sec. user=PCZ [2012-10-13 06:27:07] 915*2^1232494-1 is not prime. Res64: 344FEE9F4B2E77F1 Time : 0.0 sec. user=PCZ [2012-10-13 06:27:07] 609*2^1232495-1 is not prime. Res64: 2621065FA720328D Time : 0.0 sec. user=PCZ [2012-10-13 06:28:22] 909*2^1232495-1 is not prime. Res64: CCD32A0304F0CEE2 Time : 0.0 sec. user=PCZ [2012-10-13 06:28:22] 957*2^1232494-1 is not prime. Res64: 00DCB95C60564B8C Time : 0.0 sec. user=PCZ [2012-10-13 06:29:00] 735*2^1232495-1 is not prime. Res64: C6AF7F644A3253AD Time : 0.0 sec. user=PCZ [2012-10-13 06:29:48] 859*2^1232495-1 is not prime. Res64: 97911112AA76727F Time : 0.0 sec. user=PCZ [2012-10-13 06:29:48] 841*2^1232495-1 is not prime. Res64: 8C583DC1D71309E8 Time : 0.0 sec. user=PCZ [2012-10-13 06:30:13] 939*2^1232495-1 is not prime. Res64: 756427FDFC83DE86 Time : 0.0 sec. user=PCZ [2012-10-13 06:30:32] 719*2^1232496-1 is not prime. Res64: 1D8CF6528BAB6B26 Time : 0.0 sec. user=PCZ [2012-10-13 06:31:52] 623*2^1232496-1 is not prime. Res64: 4920CF86AEA7F6BE Time : 0.0 sec. user=PCZ [2012-10-13 06:32:27] 699*2^1232496-1 is not prime. Res64: 539D11B089E607EB Time : 0.0 sec. user=PCZ [2012-10-13 06:33:10] 773*2^1232496-1 is not prime. Res64: 60A407BC681A3918 Time : 0.0 sec. user=PCZ [2012-10-13 06:34:38] 651*2^1232497-1 is not prime. Res64: 020C57D3BCC6AD28 Time : 0.0 sec. user=PCZ [2012-10-13 06:34:57] 699*2^1232497-1 is not prime. Res64: 97708E2547966FF9 Time : 0.0 sec. user=PCZ [2012-10-13 06:34:57] 729*2^1232497-1 is not prime. Res64: FE9E64230932DB03 Time : 0.0 sec. user=PCZ [2012-10-13 06:34:58] 777*2^1232497-1 is not prime. Res64: 8E66E04B28CBD4CB Time : 0.0 sec. user=PCZ [2012-10-13 06:35:25] 807*2^1232497-1 is not prime. Res64: DB11B9B53EDE2637 Time : 0.0 sec. user=PCZ [2012-10-13 06:35:25] 829*2^1232497-1 is not prime. Res64: 2A83EE7BCBF7D526 Time : 0.0 sec. user=PCZ [2012-10-13 06:36:05] 955*2^1232497-1 is not prime. Res64: 8EA65645D76340F3 Time : 0.0 sec. user=PCZ [2012-10-13 06:36:4] 617*2^1232498-1 is not prime. Res64: D4B104FF324E41FA Time : 0.0 sec. user=PCZ [2012-10-13 06:36:48] 997*2^1232497-1 is not prime. Res64: 8166FCADCB42DFF2 Time : 0.0 sec. user=PCZ [2012-10-13 06:36:48] 975*2^1232497-1 is not prime. Res64: 7D0AE3B0E614DE91 Time : 0.0 sec. user=PCZ [2012-10-13 06:37:07] 735*2^1232499-1 is not prime. Res64: EB7FD0C3B4A0F6C2 Time : 0.0 sec. user=PCZ [2012-10-13 06:37:31] 633*2^1232498-1 is not prime. Res64: 396C4E7B2760568B Time : 0.0 sec. user=PCZ [2012-10-13 06:37:31] 767*2^1232498-1 is not prime. Res64: 9B48DF8F0D813F77 Time : 0.0 sec. user=PCZ [2012-10-13 06:37:31] 619*2^1232499-1 is not prime. Res64: E0C0D7F5853C55EA Time : 0.0 sec. user=PCZ [2012-10-13 06:37:55] 837*2^1232498-1 is not prime. Res64: 4AAFBD3591961D21 Time : 0.0 sec. user=PCZ [2012-10-13 06:38:18] 867*2^1232498-1 is not prime. Res64: F9ACB4EDCDB081A0 Time : 0.0 sec. user=PCZ [2012-10-13 06:38:18] 977*2^1232498-1 is not prime. Res64: F52C6C71B1333F3C Time : 0.0 sec. user=PCZ [2012-10-13 06:38:22] 949*2^1232499-1 is not prime. Res64: 08A87AF479D3B40A Time : 0.0 sec. user=PCZ [2012-10-13 06:39:15] 615*2^1232500-1 is not prime. Res64: 76AD9739A522437D Time : 0.0 sec. user=PCZ [2012-10-13 06:39:35] 677*2^1232500-1 is not prime. Res64: 618A2D7D8B60F195 Time : 0.0 sec. user=PCZ [2012-10-13 06:41:26] 693*2^1232500-1 is not prime. Res64: 5D50BB5059AF6447 Time : 0.0 sec. user=PCZ [2012-10-13 06:42:09] 695*2^1232500-1 is not prime. Res64: 694883DF70D336CF Time : 0.0 sec. user=PCZ [2012-10-13 06:42:12] 783*2^1232500-1 is not prime. Res64: 3CDE7FC3DF75903E Time : 0.0 sec. user=PCZ [2012-10-13 06:42:51] 615*2^1232501-1 is not prime. Res64: F6150630BC2192CC Time : 0.0 sec. user=PCZ [2012-10-13 06:42:51] 619*2^1232501-1 is not prime. Res64: 28DCD2C40EF7CCE2 Time : 0.0 sec. user=PCZ [2012-10-13 06:43:31] 999*2^1232500-1 is not prime. Res64: DEDFC43B2417865B Time : 0.0 sec. user=PCZ [2012-10-13 06:43:31] 909*2^1232500-1 is not prime. Res64: 35D00048969B77C8 Time : 0.0 sec. user=mdettweiler [2012-10-13 06:43:34] 813*2^1232486-1 is not prime. Res64: 714C03521286C64A Time : 0.0 sec. user=PCZ [2012-10-13 06:44:09] 627*2^1232501-1 is not prime. Res64: 33A2E26CF8F98581 Time : 0.0 sec. user=PCZ [2012-10-13 06:46:29] 685*2^1232501-1 is not prime. Res64: E5F0DC23320305F6 Time : 0.0 sec. user=PCZ [2012-10-13 06:47:11] 867*2^1232501-1 is not prime. Res64: 7B0616189EE66AB8 Time : 0.0 sec. user=PCZ [2012-10-13 06:47:35] 747*2^1232501-1 is not prime. Res64: BA431C1C4A6B19E8 Time : 0.0 sec. user=PCZ [2012-10-13 06:47:55] 865*2^1232501-1 is not prime. Res64: 3A412848E027BF92 Time : 0.0 sec. user=PCZ [2012-10-13 06:47:55] 805*2^1232501-1 is not prime. Res64: 61F6C22470F9B2A8 Time : 0.0 sec. user=PCZ [2012-10-13 06:48:56] 871*2^1232501-1 is not prime. Res64: E5CEE7204435BEC1 Time : 0.0 sec. user=PCZ [2012-10-13 06:49:19] 621*2^1232503-1 is not prime. Res64: F233030FAAD14A0C Time : 0.0 sec. user=PCZ [2012-10-13 06:49:19] 807*2^1232502-1 is not prime. Res64: 3C65E20A39509671 Time : 0.0 sec. user=PCZ [2012-10-13 06:49:19] 951*2^1232502-1 is not prime. Res64: 2D8E834B83F0E71B Time : 0.0 sec. user=PCZ [2012-10-13 06:49:19] 977*2^1232502-1 is not prime. Res64: 25C1B675C53D0BD9 Time : 0.0 sec. user=PCZ [2012-10-13 06:49:19] 833*2^1232502-1 is not prime. Res64: 950DA3BECDC52B63 Time : 0.0 sec. user=PCZ [2012-10-13 06:49:38] 693*2^1232503-1 is not prime. Res64: FFCB698A5C0F993D Time : 0.0 sec. user=PCZ [2012-10-13 06:50:34] 763*2^1232503-1 is not prime. Res64: F985167CDB00AF68 Time : 0.0 sec. user=PCZ [2012-10-13 06:51:07] 849*2^1232503-1 is not prime. Res64: 47C2B898D87D1202 Time : 0.0 sec. user=PCZ [2012-10-13 06:51:34] 883*2^1232503-1 is not prime. Res64: 60EB30D30F3626C0 Time : 0.0 sec. user=PCZ [2012-10-13 06:51:55] 691*2^1232505-1 is not prime. Res64: 844D07C49F9977A8 Time : 0.0 sec. user=PCZ [2012-10-13 06:51:56] 657*2^1232505-1 is not prime. Res64: 81C4E09850A79DDB Time : 0.0 sec. user=PCZ [2012-10-13 06:52:25] 969*2^1232504-1 is not prime. Res64: 0DF0BEE2220CCE1A Time : 0.0 sec. user=PCZ [2012-10-13 06:52:29] 875*2^1232504-1 is not prime. Res64: 1DA6ACCF3E09A618 Time : 0.0 sec. user=PCZ [2012-10-13 06:52:32] 739*2^1232505-1 is not prime. Res64: E2C5A2E592D0E749 Time : 0.0 sec. user=PCZ [2012-10-13 06:53:39] 979*2^1232505-1 is not prime. Res64: BDE63F40C0132EC5 Time : 0.0 sec. user=PCZ [2012-10-13 06:54:29] 781*2^1232505-1 is not prime. Res64: 5036A53BD60D4867 Time : 0.0 sec. user=PCZ [2012-10-13 06:54:30] 787*2^1232505-1 is not prime. Res64: BE368D9377D5DA80 Time : 0.0 sec. user=PCZ [2012-10-13 06:55:12] 945*2^1232506-1 is not prime. Res64: 6176EB657C2F6A67 Time : 0.0 sec. user=PCZ [2012-10-13 06:55:12] 843*2^1232506-1 is not prime. Res64: 76BC913917D70CA8 Time : 0.0 sec. user=PCZ [2012-10-13 06:55:32] 677*2^1232506-1 is not prime. Res64: 07B58824E6362A96 Time : 0.0 sec. user=PCZ [2012-10-13 06:57:07] 971*2^1232506-1 is not prime. Res64: 2EA5B51D7E6562D9 Time : 0.0 sec. user=PCZ [2012-10-13 06:58:34] 781*2^1232507-1 is not prime. Res64: 0E47876EFED26D5A Time : 0.0 sec. user=PCZ [2012-10-13 06:58:49] 981*2^1232506-1 is not prime. Res64: 1057645FF5BE0C91 Time : 0.0 sec. user=PCZ [2012-10-13 06:59:07] 669*2^1232507-1 is not prime. Res64: E74DEF7F654C8CB5 Time : 0.0 sec. user=PCZ [2012-10-13 07:00:19] 883*2^1232507-1 is not prime. Res64: 1AB0AE030A96C3B2 Time : 0.0 sec. user=PCZ [2012-10-13 07:00:35] 993*2^1232507-1 is not prime. Res64: E7EDFFD9739A11C6 Time : 0.0 sec. user=PCZ [2012-10-13 07:00:39] 683*2^1232508-1 is not prime. Res64: 4E162341A394785E Time : 0.0 sec. user=PCZ [2012-10-13 07:00:43] 663*2^1232508-1 is not prime. Res64: 0830FF82392A4624 Time : 0.0 sec. user=PCZ [2012-10-13 07:02:28] 789*2^1232508-1 is not prime. Res64: E7C04B304290F4D1 Time : 0.0 sec. user=PCZ [2012-10-13 07:03:11] 875*2^1232508-1 is not prime. Res64: B394C5CDDB3F13A3 Time : 0.0 sec. user=PCZ [2012-10-13 07:04:19] 887*2^1232508-1 is not prime. Res64: 95E4B1D2B7E1937D Time : 0.0 sec. user=PCZ [2012-10-13 07:04:26] 927*2^1232508-1 is not prime. Res64: 08DE6366F049EF41 Time : 0.0 sec. user=PCZ [2012-10-13 07:04:27] 677*2^1232510-1 is not prime. Res64: 2DFC6A7D0C3B4A14 Time : 0.0 sec. user=mdettweiler [2012-10-13 07:04:30] 723*2^1232506-1 is not prime. Res64: F5B2AD93290A5F47 Time : 0.0 sec. user=mdettweiler [2012-10-13 07:04:31] 815*2^1232506-1 is not prime. Res64: F0658E4237633A2D Time : 0.0 sec. user=PCZ [2012-10-13 07:04:45] 933*2^1232508-1 is not prime. Res64: F407585D70EEBD52 Time : 0.0 sec. user=PCZ [2012-10-13 07:04:52] 661*2^1232509-1 is not prime. Res64: AE0283C25C8979C3 Time : 0.0 sec. user=PCZ [2012-10-13 07:05:01] 769*2^1232509-1 is not prime. Res64: 4A7AA9585E5D1F96 Time : 0.0 sec. user=PCZ [2012-10-13 07:05:27] 713*2^1232510-1 is not prime. Res64: 87628D8F209D4097 Time : 0.0 sec. user=PCZ [2012-10-13 07:06:56] 691*2^1232511-1 is not prime. Res64: 7BA3B06DECB0BB42 Time : 0.0 sec. user=PCZ [2012-10-13 07:07:36] 911*2^1232510-1 is not prime. Res64: 5B290AF8DB99898E Time : 0.0 sec. user=PCZ [2012-10-13 07:08:51] 949*2^1232511-1 is not prime. Res64: 9FC9A974EE8287E6 Time : 0.0 sec. user=PCZ [2012-10-13 07:10:17] 609*2^1232512-1 is not prime. Res64: B1189782EAB58229 Time : 0.0 sec. user=PCZ [2012-10-13 07:12:27] 803*2^1232512-1 is not prime. Res64: F333FF2967912A0C Time : 0.0 sec. user=PCZ [2012-10-13 07:12:27] 797*2^1232512-1 is not prime. Res64: FC732F82C1193F65 Time : 0.0 sec. user=PCZ [2012-10-13 07:13:18] 869*2^1232512-1 is not prime. Res64: 245ACFBD49C5E0EE Time : 0.0 sec. user=PCZ [2012-10-13 07:14:52] 631*2^1232513-1 is not prime. Res64: 451C976013056607 Time : 0.0 sec. user=PCZ [2012-10-13 07:14:58] 983*2^1232512-1 is not prime. Res64: BCA1948F0541E414 Time : 0.0 sec. user=PCZ [2012-10-13 07:16:25] 765*2^1232514-1 is not prime. Res64: 0FF1FE48728F6795 Time : 0.0 sec. user=mdettweiler [2012-10-13 07:16:27] 709*2^1232511-1 is not prime. Res64: F2E6CDA916745B57 Time : 0.0 sec. user=PCZ [2012-10-13 07:16:54] 641*2^1232514-1 is not prime. Res64: 52730899CFC2582C Time : 0.0 sec. user=PCZ [2012-10-13 07:16:55] 627*2^1232514-1 is not prime. Res64: BB5D074C6CAD3900 Time : 0.0 sec. user=PCZ [2012-10-13 07:17:21] 741*2^1232515-1 is not prime. Res64: DE41272DE7DEBE7F Time : 0.0 sec. user=PCZ [2012-10-13 07:17:21] 771*2^1232515-1 is not prime. Res64: 201B497475CF66ED Time : 0.0 sec. user=PCZ [2012-10-13 07:17:22] 957*2^1232514-1 is not prime. Res64: A7FF679672907F37 Time : 0.0 sec. user=PCZ [2012-10-13 07:17:22] 915*2^1232514-1 is not prime. Res64: C80406E9FF7D7548 Time : 0.0 sec. user=PCZ [2012-10-13 07:19:11] 861*2^1232515-1 is not prime. Res64: DCCB0BB78AF9E67B Time : 0.0 sec. user=mdettweiler [2012-10-13 07:25:22] 861*2^1232514-1 is not prime. Res64: D0F3242178671C45 Time : 0.0 sec. user=vaughan [2012-10-13 07:31:35] 813*2^1232510-1 is not prime. Res64: 6AD8CE2A324D16F8 Time : 0.0 sec. user=mdettweiler [2012-10-13 07:52:09] 881*2^1232514-1 is not prime. Res64: 1A7E99F657189487 Time : 0.0 sec. user=mdettweiler [2012-10-13 07:58:00] 735*2^1232511-1 is not prime. Res64: 886884ED6CB60FCE Time : 0.0 sec. user=vaughan [2012-10-13 08:09:10] 835*2^1232517-1 is not prime. Res64: AC79E8B889D0A943 Time : 0.0 sec. user=mdettweiler [2012-10-13 08:13:01] 645*2^1232518-1 is not prime. Res64: 693CEFC4B2A130EB Time : 0.0 sec. user=mdettweiler [2012-10-13 08:18:43] 777*2^1232518-1 is not prime. Res64: 66DFE9541C92CA79 Time : 0.0 sec. user=mdettweiler [2012-10-13 08:18:44] 791*2^1232518-1 is not prime. Res64: 0DEF1697F45EB235 Time : 0.0 sec. user=mdettweiler [2012-10-13 08:39:47] 815*2^1232518-1 is not prime. Res64: 9EB09EB806F420CF Time : 0.0 sec. user=mdettweiler [2012-10-13 08:39:48] 705*2^1232519-1 is not prime. Res64: 74CB625E49A40EB6 Time : 0.0 sec. user=mdettweiler [2012-10-13 08:41:37] 765*2^1232518-1 is not prime. Res64: 0B1D41957CC569AB Time : 0.0 sec. user=vaughan [2012-10-13 08:47:11] 801*2^1232518-1 is not prime. Res64: 0E3A7D19ED0D03F1 Time : 0.0 sec. user=mdettweiler [2012-10-13 09:00:32] 745*2^1232519-1 is not prime. Res64: 4224A4DF36CE954F Time : 0.0 sec. user=mdettweiler [2012-10-13 09:00:52] 885*2^1232519-1 is not prime. Res64: 4F1D4E9C1F65B3CD Time : 0.0 sec. user=mdettweiler [2012-10-13 09:02:23] 939*2^1232519-1 is not prime. Res64: 57727DA61A2F7416 Time : 0.0 sec. user=mdettweiler [2012-10-13 09:02:26] 999*2^1232519-1 is not prime. Res64: E1BAC47E7EA1671F Time : 0.0 sec. user=mdettweiler [2012-10-13 09:23:42] 713*2^1232520-1 is not prime. Res64: 79F2BF1F8D8343CF Time : 0.0 sec. user=vaughan [2012-10-13 09:25:00] 669*2^1232520-1 is not prime. Res64: F380EBEA4C1C7913 Time : 0.0 sec. user=mdettweiler [2012-10-13 09:51:50] 719*2^1232520-1 is not prime. Res64: 795A96F235FA41F4 Time : 0.0 sec. user=mdettweiler [2012-10-13 09:55:54] 737*2^1232520-1 is not prime. Res64: 1FB6BB3796F04DD6 Time : 0.0 sec. user=mdettweiler [2012-10-13 09:55:54] 765*2^1232520-1 is not prime. Res64: 419C4B3A2C385648 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:16:36] 773*2^1232520-1 is not prime. Res64: C048FC2EFF9AFD31 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:16:39] 915*2^1232520-1 is not prime. Res64: EB8B5F56C6B64D7B Time : 0.0 sec. user=mdettweiler [2012-10-13 10:37:33] 975*2^1232520-1 is not prime. Res64: AE4622CD62E7BEB6 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:37:34] 983*2^1232520-1 is not prime. Res64: 03B85837C4481AE1 Time : 0.0 sec. user=vaughan [2012-10-13 10:38:07] 917*2^1232520-1 is not prime. Res64: 8EF936A75C0D0272 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:47:14] 645*2^1232521-1 is not prime. Res64: BF7A34FB68DFC704 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:47:15] 675*2^1232521-1 is not prime. Res64: 5D006EF69C3C9167 Time : 0.0 sec. user=mdettweiler [2012-10-13 10:58:53] 687*2^1232521-1 is not prime. Res64: A1DA561B6C893DDA Time : 0.0 sec. user=mdettweiler [2012-10-13 11:08:20] 871*2^1232521-1 is not prime. Res64: CBF0D7CAD9AF4649 Time : 0.0 sec. user=vaughan [2012-10-13 11:16:03] 847*2^1232521-1 is not prime. Res64: A0FE4FC407EFAEFE Time : 0.0 sec. user=mdettweiler [2012-10-13 11:23:32] 829*2^1232521-1 is not prime. Res64: D82B3CE0D53E57C3 Time : 0.0 sec. user=mdettweiler [2012-10-13 11:47:18] 997*2^1232521-1 is not prime. Res64: 1D4B75860817C668 Time : 0.0 sec. user=vaughan [2012-10-13 11:53:56] 665*2^1232522-1 is not prime. Res64: 1F2130D6A75E5933 Time : 0.0 sec. user=mdettweiler [2012-10-13 12:08:27] 671*2^1232522-1 is not prime. Res64: 9C990E3111811A50 Time : 0.0 sec. user=mdettweiler [2012-10-13 12:11:28] 609*2^1232523-1 is not prime. Res64: E1758952EE934B93 Time : 0.0 sec. user=vaughan [2012-10-13 12:31:33] 735*2^1232523-1 is not prime. Res64: 6B2CBC1DB9966746 Time : 0.0 sec. user=mdettweiler [2012-10-13 12:52:22] 723*2^1232523-1 is not prime. Res64: F1340AF03B9CBCB0 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:01:53] 1001*2^1232522-1 is not prime. Res64: AD6F1FEDB97BA33F Time : 0.0 sec. user=mdettweiler [2012-10-13 13:08:02] 793*2^1232523-1 is not prime. Res64: 06F5939FF853A463 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:13:16] 751*2^1232523-1 is not prime. Res64: 6EA71D4A90D0EB29 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:13:16] 765*2^1232523-1 is not prime. Res64: 260D3CB8AB1E179D Time : 0.0 sec. user=mdettweiler [2012-10-13 13:22:46] 823*2^1232523-1 is not prime. Res64: 62042E4621D4FD39 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:22:46] 861*2^1232523-1 is not prime. Res64: FBD23CEBDFEFE3D4 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:34:07] 605*2^1232524-1 is not prime. Res64: 594940205D366AED Time : 0.0 sec. user=mdettweiler [2012-10-13 13:34:08] 615*2^1232524-1 is not prime. Res64: 74A665B01CF1AE99 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:43:39] 675*2^1232524-1 is not prime. Res64: A024272A3C8088A3 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:43:40] 765*2^1232524-1 is not prime. Res64: A4F67DD5CCA3DEF1 Time : 0.0 sec. user=vaughan [2012-10-13 13:44:52] 891*2^1232523-1 is not prime. Res64: 3CC75E200B2E35D5 Time : 0.0 sec. user=mdettweiler [2012-10-13 13:55:19] 773*2^1232524-1 is not prime. Res64: 6F5B0469A607E8BA Time : 0.0 sec. user=mdettweiler [2012-10-13 14:04:30] 607*2^1232525-1 is not prime. Res64: 804079E9B1261328 Time : 0.0 sec. user=mdettweiler [2012-10-13 14:04:31] 759*2^1232525-1 is not prime. Res64: 2616782362573960 Time : 0.0 sec. user=mdettweiler [2012-10-13 14:24:11] 953*2^1232524-1 is not prime. Res64: A83DF66B28B77A94 Time : 0.0 sec. user=mdettweiler [2012-10-13 14:25:56] 777*2^1232525-1 is not prime. Res64: 658E2D8B3A653563 Time : 0.0 sec. user=vaughan [2012-10-13 14:56:16] 837*2^1232525-1 is not prime. Res64: A2C7925B078F6A9C Time : 0.0 sec. user=mdettweiler [2012-10-13 15:11:52] 787*2^1232525-1 is not prime. Res64: 5104872498EC22AF Time : 0.0 sec. user=mdettweiler [2012-10-13 15:16:54] 847*2^1232525-1 is not prime. Res64: F5A7247388C6B5BD Time : 0.0 sec. user=mdettweiler [2012-10-13 15:16:56] 871*2^1232525-1 is not prime. Res64: 6442E3F71BC80937 Time : 0.0 sec. user=mdettweiler [2012-10-13 15:33:40] 635*2^1232526-1 is not prime. Res64: C87CCD953B68FF50 Time : 0.0 sec. user=vaughan [2012-10-13 15:34:04] 897*2^1232525-1 is not prime. Res64: 783727E740BCAD4A Time : 0.0 sec. user=mdettweiler [2012-10-13 15:38:54] 695*2^1232526-1 is not prime. Res64: E035A18E5E4B574A Time : 0.0 sec. user=mdettweiler [2012-10-13 16:15:18] 677*2^1232526-1 is not prime. Res64: 5F3A7BB039461F77 Time : 0.0 sec. user=mdettweiler [2012-10-13 16:23:24] 737*2^1232526-1 is not prime. Res64: FF26BD897E2433B9 Time : 0.0 sec. user=mdettweiler [2012-10-13 16:37:04] 917*2^1232526-1 is not prime. Res64: 88D1745C5E94DD13 Time : 0.0 sec. user=mdettweiler [2012-10-13 16:37:05] 601*2^1232527-1 is not prime. Res64: D800849251650302 Time : 0.0 sec. user=vaughan [2012-10-13 16:45:24] 825*2^1232526-1 is not prime. Res64: 295BB26FFEF27020 Time : 0.0 sec. user=mdettweiler [2012-10-13 16:58:26] 675*2^1232527-1 is not prime. Res64: AB1EBB3E683A9EF7 Time : 0.0 sec. user=mdettweiler [2012-10-13 16:58:27] 705*2^1232527-1 is not prime. Res64: A13D5DF3C56ABA15 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:14:37] 871*2^1232527-1 is not prime. Res64: 2562E8F2F5AE0CBF Time : 0.0 sec. user=mdettweiler [2012-10-13 17:14:38] 885*2^1232527-1 is not prime. Res64: C2E2822697E62E3A Time : 0.0 sec. user=mdettweiler [2012-10-13 17:20:18] 891*2^1232527-1 is not prime. Res64: 439914EA5CBE9D39 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:20:19] 901*2^1232527-1 is not prime. Res64: DF327CAB60F35378 Time : 0.0 sec. user=vaughan [2012-10-13 17:23:12] 859*2^1232527-1 is not prime. Res64: 1CC346A38FEFD4D0 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:36:28] 961*2^1232527-1 is not prime. Res64: 74FBBD9FD9B6CB00 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:36:28] 973*2^1232527-1 is not prime. Res64: A5372EFB37C0DB41 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:42:11] 615*2^1232528-1 is not prime. Res64: E37C687962581786 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:57:51] 687*2^1232528-1 is not prime. Res64: 2E14FB4128023875 Time : 0.0 sec. user=mdettweiler [2012-10-13 17:57:52] 825*2^1232528-1 is not prime. Res64: EA4BDDD127DCC46F Time : 0.0 sec. user=vaughan [2012-10-13 18:00:43] 629*2^1232528-1 is not prime. Res64: DAA6057D3A7A7DF0 Time : 0.0 sec. user=mdettweiler [2012-10-13 18:13:43] 617*2^1232528-1 is not prime. Res64: 04C8A8D5FC4F722C Time : 0.0 sec. user=mdettweiler [2012-10-13 18:19:42] 929*2^1232528-1 is not prime. Res64: F5FB3127DAC7B6B7 Time : 0.0 sec. user=mdettweiler [2012-10-13 18:35:39] 765*2^1232529-1 is not prime. Res64: 792171620F924816 Time : 0.0 sec. user=mdettweiler [2012-10-13 18:35:40] 781*2^1232529-1 is not prime. Res64: 216E775C6B454E89 Time : 0.0 sec. user=vaughan [2012-10-13 18:38:15] 709*2^1232529-1 is not prime. Res64: 4AE5E788D44B070F Time : 0.0 sec. user=mdettweiler [2012-10-13 18:49:12] 649*2^1232529-1 is not prime. Res64: F28A8461A5976032 Time : 0.0 sec. user=mdettweiler [2012-10-13 18:57:31] 829*2^1232529-1 is not prime. Res64: 9148F4EC0725DE81 Time : 0.0 sec. user=mdettweiler [2012-10-13 18:57:31] 865*2^1232529-1 is not prime. Res64: 070A904C9EDA3517 Time : 0.0 sec. user=mdettweiler [2012-10-13 19:11:01] 945*2^1232529-1 is not prime. Res64: 8C814DC777C764C7 Time : 0.0 sec. user=vaughan [2012-10-13 19:16:01] 891*2^1232529-1 is not prime. Res64: 777CF4605BEFFE3D Time : 0.0 sec. user=mdettweiler [2012-10-13 19:19:24] 985*2^1232529-1 is not prime. Res64: 72A9E86EA88D3218 Time : 0.0 sec. user=mdettweiler [2012-10-13 19:43:39] 951*2^1232529-1 is not prime. Res64: 84BCEFAF9724530C Time : 0.0 sec. user=mdettweiler [2012-10-13 19:46:30] 603*2^1232530-1 is not prime. Res64: BAAEAC7C9D1E8B3A Time : 0.0 sec. user=vaughan [2012-10-13 19:53:44] 663*2^1232530-1 is not prime. Res64: D49C78EBE6F66625 Time : 0.0 sec. user=mdettweiler [2012-10-13 20:04:25] 773*2^1232530-1 is not prime. Res64: 6431F0529DFADC9D Time : 0.0 sec. user=mdettweiler [2012-10-13 20:04:26] 975*2^1232530-1 is not prime. Res64: BDC828DD17BEBCE3 Time : 0.0 sec. user=mdettweiler [2012-10-13 20:07:27] 645*2^1232531-1 is not prime. Res64: E418729FE4BA5CAC Time : 0.0 sec. user=mdettweiler [2012-10-13 20:25:39] 829*2^1232531-1 is not prime. Res64: AF4A1519DD1E957D Time : 0.0 sec. user=vaughan [2012-10-13 20:31:16] 663*2^1232531-1 is not prime. Res64: 3B55611B9BD24BD0 Time : 0.0 sec. user=mdettweiler [2012-10-13 20:34:06] 651*2^1232531-1 is not prime. Res64: 259B1024FAE6BB4F Time : 0.0 sec. user=mdettweiler [2012-10-13 20:56:28] 717*2^1232532-1 is not prime. Res64: 23041BC06B413EED Time : 0.0 sec. user=mdettweiler [2012-10-13 21:07:44] 955*2^1232531-1 is not prime. Res64: B579197D37545537 Time : 0.0 sec. user=vaughan [2012-10-13 21:08:46] 981*2^1232531-1 is not prime. Res64: 4BCE202DBE3C13A5 Time : 0.0 sec. user=mdettweiler [2012-10-13 21:39:30] 719*2^1232532-1 is not prime. Res64: D168BB168C3AD611 Time : 0.0 sec. user=vaughan [2012-10-13 21:46:37] 825*2^1232532-1 is not prime. Res64: BF570DBB366B49BE Time : 0.0 sec. user=mdettweiler [2012-10-13 22:00:23] 899*2^1232532-1 is not prime. Res64: 961806CB4FCC805C Time : 0.0 sec. user=mdettweiler [2012-10-13 22:00:24] 935*2^1232532-1 is not prime. Res64: 450CEEF160F0B7EC Time : 0.0 sec. user=mdettweiler [2012-10-13 22:01:03] 959*2^1232532-1 is not prime. Res64: FB76E571DF40C0CF Time : 0.0 sec. user=mdettweiler [2012-10-13 22:22:02] 691*2^1232533-1 is not prime. Res64: 4E5D02C277732936 Time : 0.0 sec. user=mdettweiler [2012-10-13 22:22:03] 745*2^1232533-1 is not prime. Res64: E0C618DE30B054AB Time : 0.0 sec. user=vaughan [2012-10-13 22:24:25] 983*2^1232532-1 is not prime. Res64: B68E2C1990646BBA Time : 0.0 sec. user=mdettweiler [2012-10-13 22:28:46] 965*2^1232532-1 is not prime. Res64: 6434FA6B13A21282 Time : 0.0 sec. user=mdettweiler [2012-10-13 22:43:36] 831*2^1232533-1 is not prime. Res64: 02B1DCC4492E724D Time : 0.0 sec. user=mdettweiler [2012-10-13 22:43:36] 641*2^1232534-1 is not prime. Res64: C34BE285FA84C4C3 Time : 0.0 sec. user=mdettweiler [2012-10-13 22:50:10] 663*2^1232534-1 is not prime. Res64: 5B885AD1E5694791 Time : 0.0 sec. user=mdettweiler [2012-10-13 22:50:11] 707*2^1232534-1 is not prime. Res64: 7A65A71517666038 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:05:01] 825*2^1232534-1 is not prime. Res64: B259CA0FEDE26384 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:05:03] 857*2^1232534-1 is not prime. Res64: 945D00962D2035E0 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:11:45] 897*2^1232534-1 is not prime. Res64: 39F393639C764195 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:26:38] 987*2^1232534-1 is not prime. Res64: BECAB0C8E1ACFBE2 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:26:39] 619*2^1232535-1 is not prime. Res64: F3948E48FED72BCF Time : 0.0 sec. user=vaughan [2012-10-13 23:37:26] 935*2^1232534-1 is not prime. Res64: 7829BA37F1B8FCE9 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:48:12] 751*2^1232535-1 is not prime. Res64: 1C841899C6906165 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:48:13] 963*2^1232535-1 is not prime. Res64: AC31758366F00EF5 Time : 0.0 sec. user=mdettweiler [2012-10-13 23:55:10] 923*2^1232534-1 is not prime. Res64: B9727A719B8F9516 Time : 0.0 sec.