user=mdettweiler [2013-02-09 00:02:14] 635*2^1240824-1 is not prime. Res64: 51C7D481181279E1 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:02:15] 663*2^1240824-1 is not prime. Res64: 3145D7B272763A0E Time : 0.0 sec. user=mdettweiler [2013-02-09 00:02:22] 693*2^1240824-1 is not prime. Res64: 6563CBE2663030F7 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:02:23] 789*2^1240824-1 is not prime. Res64: 4DADEF7B6F2D4CB7 Time : 0.0 sec. user=vaughan [2013-02-09 00:06:34] 605*2^1240824-1 is not prime. Res64: 0D3D68AC89EE937B Time : 0.0 sec. user=mdettweiler [2013-02-09 00:20:09] 661*2^1240825-1 is not prime. Res64: C2F07659EB3A55E2 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:20:10] 741*2^1240825-1 is not prime. Res64: C8781D8A76F2FB44 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:20:16] 765*2^1240825-1 is not prime. Res64: 2630E058CFAC867C Time : 0.0 sec. user=mdettweiler [2013-02-09 00:20:17] 937*2^1240825-1 is not prime. Res64: 9366A2182CD08E66 Time : 0.0 sec. user=juhehe [2013-02-09 00:37:40] 929*2^1240824-1 is not prime. Res64: 4D6FD9D38EE61076 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:38:20] 975*2^1240825-1 is not prime. Res64: C89BA2EEA59C9071 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:38:21] 713*2^1240826-1 is not prime. Res64: EFC935DC781B7604 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:38:23] 767*2^1240826-1 is not prime. Res64: 4E883C7AE14CF469 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:38:24] 785*2^1240826-1 is not prime. Res64: 44EC10356A9FB054 Time : 0.0 sec. user=vaughan [2013-02-09 00:44:49] 939*2^1240825-1 is not prime. Res64: 9767401401E96194 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:56:31] 911*2^1240826-1 is not prime. Res64: B2051E50565CA1CA Time : 0.0 sec. user=mdettweiler [2013-02-09 00:56:31] 649*2^1240827-1 is not prime. Res64: 3A6297045ECB49EB Time : 0.0 sec. user=mdettweiler [2013-02-09 00:56:33] 739*2^1240827-1 is not prime. Res64: E23E3A8145C3E280 Time : 0.0 sec. user=mdettweiler [2013-02-09 00:56:33] 751*2^1240827-1 is not prime. Res64: E9170D4C7BCD15CD Time : 0.0 sec. user=mdettweiler [2013-02-09 01:13:52] 861*2^1240827-1 is not prime. Res64: F8923FF650B0C6A8 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:13:54] 871*2^1240827-1 is not prime. Res64: 66638CA9AD915042 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:13:54] 963*2^1240827-1 is not prime. Res64: 3E837FED2171B83D Time : 0.0 sec. user=mdettweiler [2013-02-09 01:13:55] 639*2^1240828-1 is not prime. Res64: D11ACCB011B035B4 Time : 0.0 sec. user=juhehe [2013-02-09 01:20:07] 843*2^1240826-1 is not prime. Res64: 71D62993EAA6313A Time : 0.0 sec. user=vaughan [2013-02-09 01:22:32] 781*2^1240827-1 is not prime. Res64: 4FC23B0FB08CEEF4 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:31:25] 647*2^1240828-1 is not prime. Res64: 10B0D2DAF9CA6696 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:31:26] 869*2^1240828-1 is not prime. Res64: 3A31146115EFF993 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:31:27] 959*2^1240828-1 is not prime. Res64: 984A43D4326AEB98 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:31:28] 969*2^1240828-1 is not prime. Res64: 431EC5E4BAAD0124 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:48:48] 999*2^1240828-1 is not prime. Res64: 40BA132CCD424F42 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:48:49] 685*2^1240829-1 is not prime. Res64: C4C5531E82DDE3E5 Time : 0.0 sec. user=mdettweiler [2013-02-09 01:48:50] 697*2^1240829-1 is not prime. Res64: 8702FCACA7B3220A Time : 0.0 sec. user=mdettweiler [2013-02-09 01:48:51] 825*2^1240829-1 is not prime. Res64: DBE59627AAE31A57 Time : 0.0 sec. user=vaughan [2013-02-09 02:05:11] 989*2^1240828-1 is not prime. Res64: 7F3143886D6C6240 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:06:11] 847*2^1240829-1 is not prime. Res64: ACAB9114250287D1 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:06:12] 861*2^1240829-1 is not prime. Res64: AD0510336DB3F75B Time : 0.0 sec. user=mdettweiler [2013-02-09 02:06:12] 635*2^1240830-1 is not prime. Res64: 87E546901EA332ED Time : 0.0 sec. user=mdettweiler [2013-02-09 02:06:13] 693*2^1240830-1 is not prime. Res64: 28CB84DFC14AD5D2 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:23:33] 645*2^1240831-1 is not prime. Res64: 80C866D2F48C67EC Time : 0.0 sec. user=mdettweiler [2013-02-09 02:23:33] 651*2^1240831-1 is not prime. Res64: AC5E9B3CC78E57B3 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:23:34] 703*2^1240831-1 is not prime. Res64: F7BC0851C154FF45 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:23:35] 841*2^1240831-1 is not prime. Res64: A8A3497E7E83D662 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:40:55] 871*2^1240831-1 is not prime. Res64: 084ED6B12C8982A3 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:40:57] 797*2^1240832-1 is not prime. Res64: CC2C096B194B2434 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:40:58] 925*2^1240831-1 is not prime. Res64: 311A53837ACF0B3D Time : 0.0 sec. user=mdettweiler [2013-02-09 02:40:59] 903*2^1240832-1 is not prime. Res64: 8B68DE7C2776D92B Time : 0.0 sec. user=juhehe [2013-02-09 02:42:18] 891*2^1240830-1 is not prime. Res64: A4932579012E0FF7 Time : 0.0 sec. user=vaughan [2013-02-09 02:42:56] 933*2^1240830-1 is not prime. Res64: 955F52D5B43D3BBF Time : 0.0 sec. user=mdettweiler [2013-02-09 02:58:25] 915*2^1240832-1 is not prime. Res64: 7145756E2D23295B Time : 0.0 sec. user=mdettweiler [2013-02-09 02:58:26] 625*2^1240833-1 is not prime. Res64: 1D94C3FC20AAEB36 Time : 0.0 sec. user=mdettweiler [2013-02-09 02:58:26] 995*2^1240832-1 is not prime. Res64: 8892879C8D564FCC Time : 0.0 sec. user=mdettweiler [2013-02-09 02:58:27] 649*2^1240833-1 is not prime. Res64: 7532C49221DB483B Time : 0.0 sec. user=mdettweiler [2013-02-09 03:15:54] 807*2^1240833-1 is not prime. Res64: B3DC99E6B01DDFDA Time : 0.0 sec. user=mdettweiler [2013-02-09 03:15:56] 945*2^1240833-1 is not prime. Res64: C6684754801462A3 Time : 0.0 sec. user=mdettweiler [2013-02-09 03:15:56] 987*2^1240833-1 is not prime. Res64: D390174334BAD4CA Time : 0.0 sec. user=mdettweiler [2013-02-09 03:15:57] 663*2^1240834-1 is not prime. Res64: BC745BE1ED70F214 Time : 0.0 sec. user=vaughan [2013-02-09 03:20:44] 759*2^1240833-1 is not prime. Res64: 35C551123C0F0A5A Time : 0.0 sec. user=juhehe [2013-02-09 03:26:00] 685*2^1240833-1 is not prime. Res64: 90F35AC1BAAD83D3 Time : 0.0 sec. user=mdettweiler [2013-02-09 03:33:34] 917*2^1240834-1 is not prime. Res64: B544D8303B35C0CB Time : 0.0 sec. user=mdettweiler [2013-02-09 03:33:35] 705*2^1240834-1 is not prime. Res64: E102D41A046CE2B2 Time : 0.0 sec. user=mdettweiler [2013-02-09 03:33:36] 679*2^1240835-1 is not prime. Res64: FEC513CCFB62BEBB Time : 0.0 sec. user=mdettweiler [2013-02-09 03:33:36] 941*2^1240834-1 is not prime. Res64: 9FA3AD5CC2868E11 Time : 0.0 sec. user=mdettweiler [2013-02-09 03:51:12] 609*2^1240836-1 is not prime. Res64: 115F141F3EC5048A Time : 0.0 sec. user=mdettweiler [2013-02-09 03:51:12] 689*2^1240836-1 is not prime. Res64: 7E8793C6754D8B10 Time : 0.0 sec. user=mdettweiler [2013-02-09 03:51:14] 705*2^1240836-1 is not prime. Res64: DB73C9C7EB5CB3BF Time : 0.0 sec. user=mdettweiler [2013-02-09 03:51:14] 909*2^1240836-1 is not prime. Res64: 0F0CBF39DDC57F3E Time : 0.0 sec. user=vaughan [2013-02-09 03:58:32] 823*2^1240835-1 is not prime. Res64: 634856E5EDD4E326 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:08:34] 927*2^1240836-1 is not prime. Res64: 7C27A60924202696 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:08:35] 607*2^1240837-1 is not prime. Res64: FCBCE10953FB9258 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:08:36] 691*2^1240837-1 is not prime. Res64: E89960725E91720E Time : 0.0 sec. user=mdettweiler [2013-02-09 04:08:37] 727*2^1240837-1 is not prime. Res64: 5960F0B7C2E57F72 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:25:57] 831*2^1240837-1 is not prime. Res64: 53B9A003101F5B90 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:25:58] 997*2^1240837-1 is not prime. Res64: C0ABD9D5A6F9FF11 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:25:59] 755*2^1240838-1 is not prime. Res64: A1F17F9A29BC4C6C Time : 0.0 sec. user=mdettweiler [2013-02-09 04:25:59] 761*2^1240838-1 is not prime. Res64: 98A5080BE4ED6496 Time : 0.0 sec. user=vaughan [2013-02-09 04:36:23] 741*2^1240837-1 is not prime. Res64: D7BEEA4FC10B7828 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:43:19] 861*2^1240838-1 is not prime. Res64: A29D43DF9085F4F1 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:43:20] 977*2^1240838-1 is not prime. Res64: 44A4B993A65B0193 Time : 0.0 sec. user=mdettweiler [2013-02-09 04:43:21] 1001*2^1240838-1 is not prime. Res64: 1BDE30D5E697D08A Time : 0.0 sec. user=mdettweiler [2013-02-09 04:43:22] 619*2^1240839-1 is not prime. Res64: 8A36025E4EA1C787 Time : 0.0 sec. user=juhehe [2013-02-09 04:51:49] 819*2^1240837-1 is not prime. Res64: D76689A49F43AD63 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:00:45] 691*2^1240839-1 is not prime. Res64: AF7945DB92279FE6 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:00:45] 825*2^1240839-1 is not prime. Res64: 035F8C75D808079C Time : 0.0 sec. user=mdettweiler [2013-02-09 05:00:48] 693*2^1240839-1 is not prime. Res64: 51878F1872013753 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:00:48] 843*2^1240839-1 is not prime. Res64: 59918F748CF1F2BA Time : 0.0 sec. user=vaughan [2013-02-09 05:14:13] 661*2^1240839-1 is not prime. Res64: 227A9B380A41F0BD Time : 0.0 sec. user=mdettweiler [2013-02-09 05:18:23] 687*2^1240840-1 is not prime. Res64: 4F2F0BA1DEB79038 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:18:24] 735*2^1240840-1 is not prime. Res64: 91D39D720C793D7A Time : 0.0 sec. user=mdettweiler [2013-02-09 05:18:25] 759*2^1240840-1 is not prime. Res64: A4FCEC2B199A6537 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:18:26] 785*2^1240840-1 is not prime. Res64: AF1219232D08D093 Time : 0.0 sec. user=juhehe [2013-02-09 05:34:14] 675*2^1240840-1 is not prime. Res64: BB4F68704C37E7A8 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:35:47] 887*2^1240840-1 is not prime. Res64: B940CFD01256DF8F Time : 0.0 sec. user=mdettweiler [2013-02-09 05:35:48] 999*2^1240840-1 is not prime. Res64: BF972F02EFFD4BF2 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:35:49] 619*2^1240841-1 is not prime. Res64: 0648566F42FC7139 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:35:49] 775*2^1240841-1 is not prime. Res64: C226D6E8772D17B4 Time : 0.0 sec. user=vaughan [2013-02-09 05:52:00] 863*2^1240840-1 is not prime. Res64: 13D537C51BC813BA Time : 0.0 sec. user=mdettweiler [2013-02-09 05:53:10] 867*2^1240841-1 is not prime. Res64: DBD1C884F1EE5A7E Time : 0.0 sec. user=mdettweiler [2013-02-09 05:53:11] 723*2^1240842-1 is not prime. Res64: CB7D4339CBB66B11 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:53:11] 815*2^1240842-1 is not prime. Res64: A8A82946AFB47B54 Time : 0.0 sec. user=mdettweiler [2013-02-09 05:53:12] 679*2^1240843-1 is not prime. Res64: 8B846795FA8800C6 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:10:31] 859*2^1240843-1 is not prime. Res64: BF7DF49A496734FB Time : 0.0 sec. user=mdettweiler [2013-02-09 06:10:32] 617*2^1240844-1 is not prime. Res64: 55CF16812627A73E Time : 0.0 sec. user=mdettweiler [2013-02-09 06:10:32] 813*2^1240844-1 is not prime. Res64: D2749A98A1FE32B2 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:10:33] 607*2^1240845-1 is not prime. Res64: 2BC836596CDCCF2E Time : 0.0 sec. user=mdettweiler [2013-02-09 06:28:04] 649*2^1240845-1 is not prime. Res64: BE139039D7CD98A7 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:28:05] 889*2^1240845-1 is not prime. Res64: 73447BBE4FEBB3D1 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:28:05] 919*2^1240845-1 is not prime. Res64: 71F6007E3435BCD6 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:28:06] 723*2^1240846-1 is not prime. Res64: D8F89CC1A3BDCFA9 Time : 0.0 sec. user=vaughan [2013-02-09 06:29:45] 771*2^1240843-1 is not prime. Res64: E87131EE83E93921 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:45:28] 773*2^1240846-1 is not prime. Res64: E8B033E7CF8D6A1D Time : 0.0 sec. user=mdettweiler [2013-02-09 06:45:28] 777*2^1240846-1 is not prime. Res64: 3E458B9B02931226 Time : 0.0 sec. user=mdettweiler [2013-02-09 06:45:32] 825*2^1240846-1 is not prime. Res64: A364D0EC42E2D11A Time : 0.0 sec. user=mdettweiler [2013-02-09 06:45:32] 603*2^1240847-1 is not prime. Res64: 54DC261251089510 Time : 0.0 sec. user=juhehe [2013-02-09 06:54:23] 761*2^1240846-1 is not prime. Res64: A41791EEC05D1CFB Time : 0.0 sec. user=mdettweiler [2013-02-09 07:02:52] 713*2^1240848-1 is not prime. Res64: BD49648AC30FE0FF Time : 0.0 sec. user=mdettweiler [2013-02-09 07:02:53] 747*2^1240848-1 is not prime. Res64: 47937A69D851EAB2 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:02:55] 797*2^1240848-1 is not prime. Res64: C915DEA6D21D8FA6 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:02:56] 825*2^1240848-1 is not prime. Res64: 82AE090A276D4BE5 Time : 0.0 sec. user=juhehe [2013-02-09 07:04:56] 759*2^1240847-1 is not prime. Res64: 6D1C00DC853EB11D Time : 0.0 sec. user=vaughan [2013-02-09 07:07:28] 629*2^1240848-1 is not prime. Res64: 0824E591314AB227 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:20:22] 691*2^1240849-1 is not prime. Res64: BB9307A155EEA15A Time : 0.0 sec. user=mdettweiler [2013-02-09 07:20:23] 729*2^1240849-1 is not prime. Res64: F2CAFC45029133F8 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:20:24] 741*2^1240849-1 is not prime. Res64: F118690B7D529DC5 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:20:24] 747*2^1240849-1 is not prime. Res64: E4C318F8BE51A296 Time : 0.0 sec. user=juhehe [2013-02-09 07:30:24] 893*2^1240848-1 is not prime. Res64: 37081DF3BDC23FD1 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:37:45] 717*2^1240850-1 is not prime. Res64: 331D556406275FE5 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:37:45] 755*2^1240850-1 is not prime. Res64: 3F5F75DE18BA525E Time : 0.0 sec. user=mdettweiler [2013-02-09 07:37:47] 797*2^1240850-1 is not prime. Res64: 3E6C0B5A146051A3 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:37:47] 987*2^1240850-1 is not prime. Res64: 55802E41B5B6A01A Time : 0.0 sec. user=vaughan [2013-02-09 07:45:13] 799*2^1240849-1 is not prime. Res64: B79C437DAC8914D7 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:55:08] 805*2^1240851-1 is not prime. Res64: 2CFD3C386C3C9356 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:55:08] 825*2^1240851-1 is not prime. Res64: 681EF51128A4FBD7 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:55:10] 873*2^1240851-1 is not prime. Res64: 8686501A2EE7B812 Time : 0.0 sec. user=mdettweiler [2013-02-09 07:55:10] 891*2^1240851-1 is not prime. Res64: B52893ED83EE65A1 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:12:31] 951*2^1240851-1 is not prime. Res64: 7D0BA67CC30D5270 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:12:32] 975*2^1240851-1 is not prime. Res64: 3A11E3F1172C2F89 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:12:33] 743*2^1240852-1 is not prime. Res64: 483A16C8CBA84219 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:12:34] 903*2^1240852-1 is not prime. Res64: 96F27AB4475DB52B Time : 0.0 sec. user=vaughan [2013-02-09 08:22:57] 903*2^1240851-1 is not prime. Res64: 8DFAAF1574B2C280 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:29:56] 995*2^1240852-1 is not prime. Res64: 39E36CF5355F507D Time : 0.0 sec. user=mdettweiler [2013-02-09 08:29:56] 607*2^1240853-1 is not prime. Res64: 73A3C512B2D7B94E Time : 0.0 sec. user=mdettweiler [2013-02-09 08:29:57] 615*2^1240853-1 is not prime. Res64: 15F8360E069AB5AF Time : 0.0 sec. user=mdettweiler [2013-02-09 08:29:57] 631*2^1240853-1 is not prime. Res64: 49FCBC51EDEED7FB Time : 0.0 sec. user=juhehe [2013-02-09 08:41:22] 965*2^1240852-1 is not prime. Res64: 30AFE5541983CC18 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:47:20] 721*2^1240853-1 is not prime. Res64: CF6C05ABE276059F Time : 0.0 sec. user=mdettweiler [2013-02-09 08:47:20] 729*2^1240853-1 is not prime. Res64: 85229E6178B81735 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:47:21] 747*2^1240853-1 is not prime. Res64: 19E1B3C69BFED909 Time : 0.0 sec. user=mdettweiler [2013-02-09 08:47:21] 859*2^1240853-1 is not prime. Res64: F142F8E0D0CB4AE9 Time : 0.0 sec. user=vaughan [2013-02-09 09:00:41] 699*2^1240853-1 is not prime. Res64: 8E5E1543CACF3F67 Time : 0.0 sec. user=juhehe [2013-02-09 09:18:12] 795*2^1240854-1 is not prime. Res64: 5A59EAD21BD8E282 Time : 0.0 sec. user=juhehe [2013-02-09 09:24:50] 925*2^1240855-1 is not prime. Res64: B82E60A85A6C3BF7 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:27:15] 951*2^1240854-1 is not prime. Res64: C22DA011CD820624 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:27:16] 609*2^1240855-1 is not prime. Res64: 1C4E212324E7CCA7 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:27:16] 975*2^1240854-1 is not prime. Res64: E7174D4E405513B4 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:27:17] 709*2^1240855-1 is not prime. Res64: C509E0DD0271697C Time : 0.0 sec. user=vaughan [2013-02-09 09:38:34] 609*2^1240856-1 is not prime. Res64: 86829FACE3E8CFA3 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:44:42] 629*2^1240856-1 is not prime. Res64: 70BE1751065142A1 Time : 0.0 sec. user=mdettweiler [2013-02-09 09:44:43] 923*2^1240856-1 is not prime. Res64: 45660AA6E024742C Time : 0.0 sec. user=mdettweiler [2013-02-09 09:44:44] 969*2^1240856-1 is not prime. Res64: 628E12A6CE755BAA Time : 0.0 sec. user=mdettweiler [2013-02-09 09:44:45] 637*2^1240857-1 is not prime. Res64: 8D7D1A5096D39FBC Time : 0.0 sec. user=mdettweiler [2013-02-09 10:02:07] 717*2^1240857-1 is not prime. Res64: DC38E068E81F91D9 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:02:08] 739*2^1240857-1 is not prime. Res64: 4F190787E0BB5C11 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:02:09] 727*2^1240857-1 is not prime. Res64: 43C181F6725531AA Time : 0.0 sec. user=mdettweiler [2013-02-09 10:02:11] 747*2^1240857-1 is not prime. Res64: 0E3D74D1C925424D Time : 0.0 sec. user=vaughan [2013-02-09 10:16:20] 681*2^1240857-1 is not prime. Res64: 34AB0FE0BD44F64E Time : 0.0 sec. user=mdettweiler [2013-02-09 10:20:02] 831*2^1240857-1 is not prime. Res64: 5DD8360761C1556B Time : 0.0 sec. user=mdettweiler [2013-02-09 10:20:03] 865*2^1240857-1 is not prime. Res64: D537DB9BD105F4BD Time : 0.0 sec. user=mdettweiler [2013-02-09 10:20:07] 603*2^1240858-1 is not prime. Res64: EE8C839E2B3E1146 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:20:08] 623*2^1240858-1 is not prime. Res64: 9C3A736344D2D8E7 Time : 0.0 sec. user=juhehe [2013-02-09 10:29:10] 829*2^1240857-1 is not prime. Res64: DC9DC3A947679BD9 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:37:26] 791*2^1240858-1 is not prime. Res64: 9E3D1A29AD67B90E Time : 0.0 sec. user=mdettweiler [2013-02-09 10:37:27] 813*2^1240858-1 is not prime. Res64: B2BECFFE7606B11C Time : 0.0 sec. user=mdettweiler [2013-02-09 10:37:31] 867*2^1240858-1 is not prime. Res64: 011F226E21EA76D8 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:37:32] 619*2^1240859-1 is not prime. Res64: C245610780A21EB3 Time : 0.0 sec. user=vaughan [2013-02-09 10:54:04] 657*2^1240858-1 is not prime. Res64: 7B99D2E9815BE3B7 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:54:49] 861*2^1240859-1 is not prime. Res64: 37458108337A3FE9 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:54:50] 623*2^1240860-1 is not prime. Res64: 3AD4373D515E1148 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:54:55] 629*2^1240860-1 is not prime. Res64: 23EEE82104E42429 Time : 0.0 sec. user=mdettweiler [2013-02-09 10:54:55] 665*2^1240860-1 is not prime. Res64: 834F0DE5D248F3F0 Time : 0.0 sec. user=juhehe [2013-02-09 11:05:38] 631*2^1240859-1 is not prime. Res64: 713A4993DE3075DE Time : 0.0 sec. user=juhehe [2013-02-09 11:10:20] 685*2^1240859-1 is not prime. Res64: 5527B2DEF1ADFCDC Time : 0.0 sec. user=mdettweiler [2013-02-09 11:12:14] 707*2^1240860-1 is not prime. Res64: F1E81CCB26937D6E Time : 0.0 sec. user=mdettweiler [2013-02-09 11:12:14] 737*2^1240860-1 is not prime. Res64: ACA58D2AC94D4689 Time : 0.0 sec. user=mdettweiler [2013-02-09 11:12:18] 773*2^1240860-1 is not prime. Res64: E659FA5693477979 Time : 0.0 sec. user=mdettweiler [2013-02-09 11:12:19] 783*2^1240860-1 is not prime. Res64: 33123C70EE110E9F Time : 0.0 sec. user=mdettweiler [2013-02-09 11:29:38] 803*2^1240860-1 is not prime. Res64: ADB2DD05D59BA246 Time : 0.0 sec. user=mdettweiler [2013-02-09 11:29:38] 601*2^1240861-1 is not prime. Res64: F362A8392A76B0D8 Time : 0.0 sec. user=mdettweiler [2013-02-09 11:29:41] 615*2^1240861-1 is not prime. Res64: F1B0A48FE193792F Time : 0.0 sec. user=mdettweiler [2013-02-09 11:29:42] 681*2^1240861-1 is not prime. Res64: 42F5803C628DD6F6 Time : 0.0 sec. user=vaughan [2013-02-09 11:31:47] 675*2^1240860-1 is not prime. Res64: E27B70DBB3FCA54F Time : 0.0 sec. user=mdettweiler [2013-02-09 11:47:02] 727*2^1240861-1 is not prime. Res64: A19BF0A0FA7519CC Time : 0.0 sec. user=mdettweiler [2013-02-09 11:47:02] 771*2^1240861-1 is not prime. Res64: 24B0C4D6A229695D Time : 0.0 sec. user=mdettweiler [2013-02-09 11:47:05] 957*2^1240861-1 is not prime. Res64: 2855EEEDA2D6E7FB Time : 0.0 sec. user=mdettweiler [2013-02-09 11:47:05] 979*2^1240861-1 is not prime. Res64: DAF77D41E0A8638E Time : 0.0 sec. user=mdettweiler [2013-02-09 12:04:26] 675*2^1240862-1 is not prime. Res64: 14467AD129D84275 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:04:28] 711*2^1240862-1 is not prime. Res64: 59B4332FA3BDE191 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:04:31] 791*2^1240862-1 is not prime. Res64: 4A1D6926E9E60D57 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:04:33] 875*2^1240862-1 is not prime. Res64: D7B84695C2625282 Time : 0.0 sec. user=vaughan [2013-02-09 12:09:32] 617*2^1240862-1 is not prime. Res64: E7634C36C942104D Time : 0.0 sec. user=juhehe [2013-02-09 12:16:01] 665*2^1240862-1 is not prime. Res64: 986E5B92C4CAE522 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:22:13] 911*2^1240862-1 is not prime. Res64: 9C581E60D3751603 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:22:14] 921*2^1240862-1 is not prime. Res64: 6E8BA4DDE41D33A5 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:22:16] 643*2^1240863-1 is not prime. Res64: B2FDE01B603505FF Time : 0.0 sec. user=mdettweiler [2013-02-09 12:22:16] 703*2^1240863-1 is not prime. Res64: B8897D59309292FE Time : 0.0 sec. user=mdettweiler [2013-02-09 12:39:41] 831*2^1240863-1 is not prime. Res64: 83D37BC53784E019 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:39:41] 853*2^1240863-1 is not prime. Res64: 6D05965C1EBEB2C4 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:39:44] 891*2^1240863-1 is not prime. Res64: 523AE873E5F136B2 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:39:45] 919*2^1240863-1 is not prime. Res64: 719293DB82A3DF46 Time : 0.0 sec. user=vaughan [2013-02-09 12:47:24] 763*2^1240863-1 is not prime. Res64: 6AF6079CC85878E4 Time : 0.0 sec. user=juhehe [2013-02-09 12:57:18] 823*2^1240863-1 is not prime. Res64: ECB5295BEC3C9840 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:57:43] 933*2^1240863-1 is not prime. Res64: 65EF717E55F7BCC6 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:57:44] 945*2^1240863-1 is not prime. Res64: 90EE8D63CF46B9EF Time : 0.0 sec. user=mdettweiler [2013-02-09 12:57:50] 963*2^1240863-1 is not prime. Res64: C340F7A55E3BC323 Time : 0.0 sec. user=mdettweiler [2013-02-09 12:57:50] 629*2^1240864-1 is not prime. Res64: D3DF11077E06FD95 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:15:41] 813*2^1240864-1 is not prime. Res64: F06FAE25DF9E21F7 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:15:42] 827*2^1240864-1 is not prime. Res64: F3A762399F4DCE4C Time : 0.0 sec. user=mdettweiler [2013-02-09 13:15:46] 843*2^1240864-1 is not prime. Res64: 26C887D037BD1ED5 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:15:46] 849*2^1240864-1 is not prime. Res64: 0D700FCD6F6D760B Time : 0.0 sec. user=vaughan [2013-02-09 13:25:07] 695*2^1240864-1 is not prime. Res64: 9B4786E1EF23B882 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:33:35] 887*2^1240864-1 is not prime. Res64: E02DB006BEC26663 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:33:35] 965*2^1240864-1 is not prime. Res64: 044EE9E91CF2018E Time : 0.0 sec. user=mdettweiler [2013-02-09 13:33:39] 975*2^1240864-1 is not prime. Res64: 5BC4C37AD31443E0 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:33:39] 601*2^1240865-1 is not prime. Res64: DC76387BFC95FD46 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:51:11] 831*2^1240865-1 is not prime. Res64: 0791627FF87ED041 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:51:11] 915*2^1240865-1 is not prime. Res64: 610D288DA7295910 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:51:15] 987*2^1240865-1 is not prime. Res64: 4A064334AAA0DEB5 Time : 0.0 sec. user=mdettweiler [2013-02-09 13:51:16] 657*2^1240866-1 is not prime. Res64: 06ADA2058B75165C Time : 0.0 sec. user=vaughan [2013-02-09 14:02:52] 735*2^1240865-1 is not prime. Res64: C709F79BB8891437 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:08:42] 765*2^1240866-1 is not prime. Res64: 0DB3356AFFB50BF7 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:08:43] 861*2^1240866-1 is not prime. Res64: A737D76EC4DF8A7A Time : 0.0 sec. user=mdettweiler [2013-02-09 14:08:45] 699*2^1240867-1 is not prime. Res64: 435848AE1048CA6F Time : 0.0 sec. user=mdettweiler [2013-02-09 14:08:48] 705*2^1240867-1 is not prime. Res64: 658D5011C32D725A Time : 0.0 sec. user=mdettweiler [2013-02-09 14:26:26] 775*2^1240867-1 is not prime. Res64: 3FE6B205AE7BA440 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:26:27] 861*2^1240867-1 is not prime. Res64: 73D0B69964843948 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:26:29] 871*2^1240867-1 is not prime. Res64: F503F6C62AF9A8F8 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:26:30] 873*2^1240867-1 is not prime. Res64: F6E7898121FF9643 Time : 0.0 sec. user=vaughan [2013-02-09 14:40:43] 735*2^1240867-1 is not prime. Res64: 91AA4D3BBDDD86C6 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:44:03] 617*2^1240868-1 is not prime. Res64: 5C5927ED44062BB9 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:44:03] 669*2^1240868-1 is not prime. Res64: 0F85581B86EEDD27 Time : 0.0 sec. user=mdettweiler [2013-02-09 14:44:04] 735*2^1240868-1 is not prime. Res64: C788719AEF33156A Time : 0.0 sec. user=mdettweiler [2013-02-09 14:44:04] 767*2^1240868-1 is not prime. Res64: FBC32710BF73FF0A Time : 0.0 sec. user=mdettweiler [2013-02-09 15:01:36] 845*2^1240868-1 is not prime. Res64: 143846B7A4278EEC Time : 0.0 sec. user=mdettweiler [2013-02-09 15:01:36] 625*2^1240869-1 is not prime. Res64: EC1AA3A6A5220D9C Time : 0.0 sec. user=mdettweiler [2013-02-09 15:01:37] 929*2^1240868-1 is not prime. Res64: 1380CD44F1D0F63B Time : 0.0 sec. user=mdettweiler [2013-02-09 15:01:37] 655*2^1240869-1 is not prime. Res64: 2F547914401C8E4D Time : 0.0 sec. user=vaughan [2013-02-09 15:18:29] 837*2^1240868-1 is not prime. Res64: 7D363AD54829C4F2 Time : 0.0 sec. user=mdettweiler [2013-02-09 15:19:20] 669*2^1240869-1 is not prime. Res64: 98B258849ED548BF Time : 0.0 sec. user=mdettweiler [2013-02-09 15:19:20] 747*2^1240869-1 is not prime. Res64: 3AE93474AAB60D88 Time : 0.0 sec. user=mdettweiler [2013-02-09 15:19:22] 847*2^1240869-1 is not prime. Res64: 172F1C060C75673D Time : 0.0 sec. user=mdettweiler [2013-02-09 15:19:23] 921*2^1240869-1 is not prime. Res64: 01F624478C88384D Time : 0.0 sec. user=mdettweiler [2013-02-09 15:36:54] 707*2^1240870-1 is not prime. Res64: 7731C9033D15F1E2 Time : 0.0 sec. user=mdettweiler [2013-02-09 15:36:55] 801*2^1240870-1 is not prime. Res64: 87782713B1C0762B Time : 0.0 sec. user=mdettweiler [2013-02-09 15:36:55] 821*2^1240870-1 is not prime. Res64: 4D246912EC3CB622 Time : 0.0 sec. user=mdettweiler [2013-02-09 15:36:55] 833*2^1240870-1 is not prime. Res64: 8751199A89F27DAD Time : 0.0 sec. user=mdettweiler [2013-02-09 15:54:31] 891*2^1240870-1 is not prime. Res64: 971BCF0AA4D7C83C Time : 0.0 sec. user=mdettweiler [2013-02-09 15:54:32] 745*2^1240871-1 is not prime. Res64: 9CB36EA41D279E7B Time : 0.0 sec. user=mdettweiler [2013-02-09 15:54:32] 609*2^1240871-1 is not prime. Res64: 763B085614D3312F Time : 0.0 sec. user=mdettweiler [2013-02-09 15:54:32] 843*2^1240871-1 is not prime. Res64: A02CAFFF51B685B3 Time : 0.0 sec. user=vaughan [2013-02-09 16:01:13] 999*2^1240869-1 is not prime. Res64: 2498ACAC52CA858C Time : 0.0 sec. user=mdettweiler [2013-02-09 16:12:10] 885*2^1240871-1 is not prime. Res64: 781EDB8A0D06AD36 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:12:10] 913*2^1240871-1 is not prime. Res64: D62D39A90E11F21C Time : 0.0 sec. user=mdettweiler [2013-02-09 16:12:10] 895*2^1240871-1 is not prime. Res64: F039AC1B8D86BF8E Time : 0.0 sec. user=mdettweiler [2013-02-09 16:12:11] 999*2^1240871-1 is not prime. Res64: 4B5406ED80D13242 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:29:59] 797*2^1240872-1 is not prime. Res64: C7182334706339EC Time : 0.0 sec. user=mdettweiler [2013-02-09 16:30:00] 625*2^1240873-1 is not prime. Res64: C177682FF5BEFF8B Time : 0.0 sec. user=mdettweiler [2013-02-09 16:30:00] 805*2^1240873-1 is not prime. Res64: 76D63E5445518729 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:30:01] 877*2^1240873-1 is not prime. Res64: 411417B11979F90E Time : 0.0 sec. user=vaughan [2013-02-09 16:39:10] 765*2^1240872-1 is not prime. Res64: C7F51BF3EC7CB0D5 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:47:43] 939*2^1240873-1 is not prime. Res64: 048E4409828D4456 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:47:43] 951*2^1240873-1 is not prime. Res64: 5174F5772B8BEF02 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:47:45] 605*2^1240874-1 is not prime. Res64: E8131B15AC4739E5 Time : 0.0 sec. user=mdettweiler [2013-02-09 16:47:46] 641*2^1240874-1 is not prime. Res64: C70363A51EECE320 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:05:27] 755*2^1240874-1 is not prime. Res64: 5C0C4C0EA0A9DB17 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:05:30] 791*2^1240874-1 is not prime. Res64: D1BF13AE1EBFE5A1 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:05:31] 783*2^1240874-1 is not prime. Res64: D2F48CA2442C5B87 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:05:33] 797*2^1240874-1 is not prime. Res64: BA60A3DD82A53111 Time : 0.0 sec. user=vaughan [2013-02-09 17:16:53] 657*2^1240874-1 is not prime. Res64: E5D17184870BCC2D Time : 0.0 sec. user=mdettweiler [2013-02-09 17:23:27] 831*2^1240874-1 is not prime. Res64: 8FBF6526BAB045CE Time : 0.0 sec. user=mdettweiler [2013-02-09 17:23:27] 861*2^1240874-1 is not prime. Res64: 4BA63ECA3B2401C4 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:23:29] 927*2^1240874-1 is not prime. Res64: E6740CBF0A410341 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:23:30] 941*2^1240874-1 is not prime. Res64: 569ED23A2080F4F3 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:41:09] 613*2^1240875-1 is not prime. Res64: F7A985BE802ABD90 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:41:09] 739*2^1240875-1 is not prime. Res64: D5E92FB206C30DBD Time : 0.0 sec. user=mdettweiler [2013-02-09 17:41:12] 825*2^1240875-1 is not prime. Res64: 2FA5270D7E7D6590 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:41:12] 849*2^1240875-1 is not prime. Res64: 12AF2DCA509247C4 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:59:00] 961*2^1240875-1 is not prime. Res64: 119DD4C3A1A1C14E Time : 0.0 sec. user=mdettweiler [2013-02-09 17:59:00] 609*2^1240876-1 is not prime. Res64: 912035442163D991 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:59:02] 677*2^1240876-1 is not prime. Res64: 05A3E2790F7D7574 Time : 0.0 sec. user=mdettweiler [2013-02-09 17:59:03] 699*2^1240876-1 is not prime. Res64: BA179DD280024DE6 Time : 0.0 sec. user=vaughan [2013-02-09 17:59:32] 1001*2^1240874-1 is not prime. Res64: 8D4214E3FF557AAF Time : 0.0 sec. user=mdettweiler [2013-02-09 18:16:37] 719*2^1240876-1 is not prime. Res64: 6C459C460A5F6670 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:16:38] 723*2^1240876-1 is not prime. Res64: EEA791A21ECE4D8D Time : 0.0 sec. user=mdettweiler [2013-02-09 18:16:39] 843*2^1240876-1 is not prime. Res64: 4838E1BDD3E670B6 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:16:39] 869*2^1240876-1 is not prime. Res64: 53F56EC9F480699C Time : 0.0 sec. user=mdettweiler [2013-02-09 18:34:12] 957*2^1240876-1 is not prime. Res64: DE4C88C5D7196A72 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:34:12] 975*2^1240876-1 is not prime. Res64: 5299CE87D2F2F89D Time : 0.0 sec. user=mdettweiler [2013-02-09 18:34:13] 999*2^1240876-1 is not prime. Res64: 1784E0471A931AFD Time : 0.0 sec. user=mdettweiler [2013-02-09 18:34:14] 607*2^1240877-1 is not prime. Res64: 070F72D4F669E3AD Time : 0.0 sec. user=vaughan [2013-02-09 18:37:18] 887*2^1240876-1 is not prime. Res64: A24E5104A0CB8E58 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:51:46] 627*2^1240877-1 is not prime. Res64: 47D1B65916094364 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:51:46] 727*2^1240877-1 is not prime. Res64: 91C9DBC6B3114C14 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:51:48] 847*2^1240877-1 is not prime. Res64: 07E2C7453DCF71D9 Time : 0.0 sec. user=mdettweiler [2013-02-09 18:51:48] 871*2^1240877-1 is not prime. Res64: E6F3C5FBCF7B090C Time : 0.0 sec. user=mdettweiler [2013-02-09 19:09:28] 991*2^1240877-1 is not prime. Res64: AE6CCDB41EC2DF3F Time : 0.0 sec. user=mdettweiler [2013-02-09 19:09:31] 665*2^1240878-1 is not prime. Res64: D1D1E4FC272DDF67 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:09:33] 663*2^1240878-1 is not prime. Res64: 826AD42AB45A5C9B Time : 0.0 sec. user=mdettweiler [2013-02-09 19:09:36] 711*2^1240878-1 is not prime. Res64: 06173F348A9ECF52 Time : 0.0 sec. user=vaughan [2013-02-09 19:19:57] 985*2^1240877-1 is not prime. Res64: 3C0D5880DB5158B1 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:27:45] 755*2^1240878-1 is not prime. Res64: CC02E6894647380B Time : 0.0 sec. user=mdettweiler [2013-02-09 19:27:46] 951*2^1240878-1 is not prime. Res64: 3250045CDBF8A7D8 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:27:48] 971*2^1240878-1 is not prime. Res64: 6A43732C264714E2 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:27:48] 705*2^1240879-1 is not prime. Res64: BDF2D1D21401C41C Time : 0.0 sec. user=mdettweiler [2013-02-09 19:46:07] 751*2^1240879-1 is not prime. Res64: C6A4D7BBB9B26C99 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:46:07] 793*2^1240879-1 is not prime. Res64: E41A3A6B9D76C282 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:46:09] 975*2^1240879-1 is not prime. Res64: 537D553890D19C39 Time : 0.0 sec. user=mdettweiler [2013-02-09 19:46:10] 659*2^1240880-1 is not prime. Res64: 5299F3F92EFE2F22 Time : 0.0 sec. user=vaughan [2013-02-09 19:57:56] 723*2^1240879-1 is not prime. Res64: 9558EA993AAD7BCC Time : 0.0 sec. user=mdettweiler [2013-02-09 20:04:10] 675*2^1240880-1 is not prime. Res64: 9C17F37D88AC7350 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:04:12] 677*2^1240880-1 is not prime. Res64: 2F131D16D223E7CA Time : 0.0 sec. user=mdettweiler [2013-02-09 20:04:15] 899*2^1240880-1 is not prime. Res64: C5180C32D0C9984F Time : 0.0 sec. user=mdettweiler [2013-02-09 20:04:17] 915*2^1240880-1 is not prime. Res64: BC2D02C820082DAE Time : 0.0 sec. user=mdettweiler [2013-02-09 20:22:10] 709*2^1240881-1 is not prime. Res64: 8FF240DCC3B5C08D Time : 0.0 sec. user=mdettweiler [2013-02-09 20:22:10] 781*2^1240881-1 is not prime. Res64: 609BFD5CA209D550 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:22:11] 651*2^1240881-1 is not prime. Res64: 6439A4F6D1FA3E1D Time : 0.0 sec. user=mdettweiler [2013-02-09 20:22:11] 679*2^1240881-1 is not prime. Res64: 28AC163C378D617E Time : 0.0 sec. user=vaughan [2013-02-09 20:35:43] 935*2^1240880-1 is not prime. Res64: 50B4364377D535A7 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:39:43] 807*2^1240881-1 is not prime. Res64: 0DC9CE34CCB99141 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:39:44] 829*2^1240881-1 is not prime. Res64: 7EFB93E90026DF7E Time : 0.0 sec. user=mdettweiler [2013-02-09 20:39:44] 847*2^1240881-1 is not prime. Res64: B50F9BDE4C3A164F Time : 0.0 sec. user=mdettweiler [2013-02-09 20:39:44] 889*2^1240881-1 is not prime. Res64: 278330B02913C2FC Time : 0.0 sec. user=mdettweiler [2013-02-09 20:57:12] 955*2^1240881-1 is not prime. Res64: 8F7F52974A3DD209 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:57:12] 969*2^1240881-1 is not prime. Res64: 856842D5CDB879F6 Time : 0.0 sec. user=mdettweiler [2013-02-09 20:57:12] 987*2^1240881-1 is not prime. Res64: B65A51549D1A368F Time : 0.0 sec. user=mdettweiler [2013-02-09 20:57:13] 991*2^1240881-1 is not prime. Res64: 3217E2130071E6B6 Time : 0.0 sec. user=vaughan [2013-02-09 21:13:28] 945*2^1240881-1 is not prime. Res64: 5456AFA12E5793A9 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:14:33] 603*2^1240882-1 is not prime. Res64: 0F1006A2BD05D748 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:14:33] 705*2^1240882-1 is not prime. Res64: 632503035A5D4F91 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:14:35] 791*2^1240882-1 is not prime. Res64: 6AC0A4F2EB056E9F Time : 0.0 sec. user=mdettweiler [2013-02-09 21:14:35] 825*2^1240882-1 is not prime. Res64: F52E27D39A27F642 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:31:54] 887*2^1240882-1 is not prime. Res64: 3D3FE5E25824A88B Time : 0.0 sec. user=mdettweiler [2013-02-09 21:31:55] 947*2^1240882-1 is not prime. Res64: CB80ADD3CE33F9F8 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:31:57] 621*2^1240883-1 is not prime. Res64: B7E12F7EF1F00B64 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:31:57] 643*2^1240883-1 is not prime. Res64: DB3E34E9C465E0C4 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:49:16] 703*2^1240883-1 is not prime. Res64: 167344D94B86D7A5 Time : 0.0 sec. user=mdettweiler [2013-02-09 21:49:16] 735*2^1240883-1 is not prime. Res64: 5C1FECE74B896BCC Time : 0.0 sec. user=mdettweiler [2013-02-09 21:49:19] 823*2^1240883-1 is not prime. Res64: 9804F2BFC028835F Time : 0.0 sec. user=mdettweiler [2013-02-09 21:49:19] 605*2^1240884-1 is not prime. Res64: 2387F19610817273 Time : 0.0 sec. user=vaughan [2013-02-09 21:51:14] 843*2^1240882-1 is not prime. Res64: 0D817EDD5605F861 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:06:38] 627*2^1240884-1 is not prime. Res64: 25FDBD5FB6D55EA0 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:06:40] 689*2^1240884-1 is not prime. Res64: 9579776C890D39CE Time : 0.0 sec. user=mdettweiler [2013-02-09 22:06:42] 725*2^1240884-1 is not prime. Res64: 3BC567AE8C2E5FDE Time : 0.0 sec. user=mdettweiler [2013-02-09 22:06:45] 927*2^1240884-1 is not prime. Res64: 9F7A83B475E1D552 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:24:20] 741*2^1240885-1 is not prime. Res64: B8D28AA4DB64FAB4 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:24:21] 861*2^1240885-1 is not prime. Res64: 6FA7C3CF531E0BE7 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:24:25] 877*2^1240885-1 is not prime. Res64: 3FCEAC306F6A20A3 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:24:26] 615*2^1240886-1 is not prime. Res64: A0E5804E7DD38A87 Time : 0.0 sec. user=vaughan [2013-02-09 22:28:57] 609*2^1240885-1 is not prime. Res64: A4084D6B5F6D2A59 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:41:42] 635*2^1240886-1 is not prime. Res64: 58F0F324358A7DB2 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:41:43] 683*2^1240886-1 is not prime. Res64: 6F06A45E9E4BAE42 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:41:47] 693*2^1240886-1 is not prime. Res64: 075CD9DDE38F0CD4 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:41:47] 761*2^1240886-1 is not prime. Res64: 518D44AE8CECC91E Time : 0.0 sec. user=mdettweiler [2013-02-09 22:59:05] 813*2^1240886-1 is not prime. Res64: AAE0B821A163A980 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:59:05] 935*2^1240886-1 is not prime. Res64: 69EAC4B588E56E80 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:59:08] 861*2^1240887-1 is not prime. Res64: 5F7DA901F4D34759 Time : 0.0 sec. user=mdettweiler [2013-02-09 22:59:09] 951*2^1240887-1 is not prime. Res64: F07F78122CA10C8A Time : 0.0 sec. user=vaughan [2013-02-09 23:06:42] 773*2^1240886-1 is not prime. Res64: 2264A4A6F03A248A Time : 0.0 sec. user=mdettweiler [2013-02-09 23:16:27] 623*2^1240888-1 is not prime. Res64: 93D1DA1D87B141D0 Time : 0.0 sec. user=mdettweiler [2013-02-09 23:16:27] 845*2^1240888-1 is not prime. Res64: 87BFD07E0128EA5D Time : 0.0 sec. user=mdettweiler [2013-02-09 23:16:30] 855*2^1240888-1 is not prime. Res64: FB7180F5BF599E9C Time : 0.0 sec. user=mdettweiler [2013-02-09 23:16:30] 869*2^1240888-1 is not prime. Res64: 2CE5A7493115E628 Time : 0.0 sec. user=mdettweiler [2013-02-09 23:33:51] 615*2^1240889-1 is not prime. Res64: D34C44C786531DDC Time : 0.0 sec. user=mdettweiler [2013-02-09 23:33:51] 631*2^1240889-1 is not prime. Res64: B9F45943C7959B90 Time : 0.0 sec. user=mdettweiler [2013-02-09 23:33:52] 657*2^1240889-1 is not prime. Res64: DCF07DC547B94A12 Time : 0.0 sec. user=mdettweiler [2013-02-09 23:33:53] 699*2^1240889-1 is not prime. Res64: 88675E405CEE247A Time : 0.0 sec. user=vaughan [2013-02-09 23:44:35] 933*2^1240888-1 is not prime. Res64: DD88B6393DE79D39 Time : 0.0 sec. user=mdettweiler [2013-02-09 23:51:25] 747*2^1240889-1 is not prime. Res64: CBAC70FDF3C72B8A Time : 0.0 sec. user=mdettweiler [2013-02-09 23:51:26] 775*2^1240889-1 is not prime. Res64: 59C9247D9B226F9F Time : 0.0 sec. user=mdettweiler [2013-02-09 23:51:27] 837*2^1240889-1 is not prime. Res64: 2153EB44252ACE9E Time : 0.0 sec. user=mdettweiler [2013-02-09 23:51:27] 633*2^1240890-1 is not prime. Res64: E8176F782BF29D69 Time : 0.0 sec.