user=Zachariassen [2009-08-02 00:00:12] 631*2^705139-1 is not prime. Res64: FB76B75B368003E2 Time : 1599.0 sec. user=vaughan [2009-08-02 00:00:54] 689*2^705148-1 is not prime. Res64: 831CF849D80CE892 Time : 741.0 sec. user=Zachariassen [2009-08-02 00:00:58] 771*2^705139-1 is not prime. Res64: 4E1F4D372A26E38D Time : 1600.0 sec. user=vaughan [2009-08-02 00:02:06] 615*2^705150-1 is not prime. Res64: 2A3BFCBE3557489C Time : 527.0 sec. user=vaughan [2009-08-02 00:02:49] 675*2^705140-1 is not prime. Res64: A63FCE4ABC58B669 Time : 1617.0 sec. user=vaughan [2009-08-02 00:04:04] 685*2^705151-1 is not prime. Res64: FB71202F62A0523D Time : 527.0 sec. user=vaughan [2009-08-02 00:04:42] 723*2^705151-1 is not prime. Res64: 8A7E472009750B1D Time : 506.0 sec. user=vaughan [2009-08-02 00:06:03] 719*2^705152-1 is not prime. Res64: CC1142CA214C3D8A Time : 527.0 sec. user=Zachariassen [2009-08-02 00:06:09] 775*2^705143-1 is not prime. Res64: DBB2C60C8001AEFE Time : 1584.0 sec. user=tnerual [2009-08-02 00:07:04] 601*2^705141-1 is not prime. Res64: 5B4A837EE7F793BC Time : 1805.0 sec. user=Zachariassen [2009-08-02 00:08:03] 783*2^705143-1 is not prime. Res64: 022E69B141E1B8EB Time : 1605.0 sec. user=vaughan [2009-08-02 00:09:09] 669*2^705152-1 is not prime. Res64: BC39EDA8FCBA1D20 Time : 738.0 sec. user=vaughan [2009-08-02 00:09:36] 735*2^705152-1 is not prime. Res64: D1E6696B77194D2F Time : 717.0 sec. user=vaughan [2009-08-02 00:10:10] 657*2^705144-1 is not prime. Res64: B3943606026F65E6 Time : 1580.0 sec. user=vaughan [2009-08-02 00:10:57] 605*2^705154-1 is not prime. Res64: D14F6A16BBC466CB Time : 531.0 sec. user=Zachariassen [2009-08-02 00:12:31] 681*2^705138-1 is not prime. Res64: 6B562754E1B26B28 Time : 2531.0 sec. user=vaughan [2009-08-02 00:12:33] 695*2^705150-1 is not prime. Res64: 5E0DD9CEC4B490CB Time : 1073.0 sec. user=vaughan [2009-08-02 00:12:56] 657*2^705154-1 is not prime. Res64: BFF5F83B7ECA1459 Time : 532.0 sec. user=vaughan [2009-08-02 00:13:08] 665*2^705154-1 is not prime. Res64: 602ED66A598B624A Time : 507.0 sec. user=vaughan [2009-08-02 00:13:20] 745*2^705153-1 is not prime. Res64: D7A160B1FFF34287 Time : 747.0 sec. user=Zachariassen [2009-08-02 00:13:24] 783*2^705146-1 is not prime. Res64: D35EB7E69C06BE7F Time : 1596.0 sec. user=Zachariassen [2009-08-02 00:13:59] 625*2^705139-1 is not prime. Res64: D6C35342FB34F56E Time : 2519.0 sec. user=Zachariassen [2009-08-02 00:14:09] 793*2^705147-1 is not prime. Res64: 8986A7C1790A00F2 Time : 1590.0 sec. user=vaughan [2009-08-02 00:14:53] 701*2^705154-1 is not prime. Res64: 2708162A3A5B1A99 Time : 530.0 sec. user=Zachariassen [2009-08-02 00:16:05] 693*2^705139-1 is not prime. Res64: 5A01A65111F2CB23 Time : 2542.0 sec. user=Zachariassen [2009-08-02 00:16:58] 723*2^705139-1 is not prime. Res64: 9DDEEC9C93E95647 Time : 2561.0 sec. user=Zachariassen [2009-08-02 00:19:33] 745*2^705149-1 is not prime. Res64: EED737F0F5B54228 Time : 1584.0 sec. user=vaughan [2009-08-02 00:19:51] 741*2^705155-1 is not prime. Res64: 3C02C6A5F77571A2 Time : 534.0 sec. user=Zachariassen [2009-08-02 00:21:16] 777*2^705150-1 is not prime. Res64: 166FE5E0033C655A Time : 1595.0 sec. user=vaughan [2009-08-02 00:21:17] 705*2^705153-1 is not prime. Res64: D8C221A38BA93207 Time : 1311.0 sec. user=vaughan [2009-08-02 00:21:31] 685*2^705155-1 is not prime. Res64: 02C5F54EB6736FD7 Time : 715.0 sec. user=vaughan [2009-08-02 00:21:37] 705*2^705156-1 is not prime. Res64: 78F07F00FCB826E9 Time : 510.0 sec. user=vaughan [2009-08-02 00:21:51] 689*2^705156-1 is not prime. Res64: 0ECB09D95A9E696E Time : 535.0 sec. user=vaughan [2009-08-02 00:23:50] 729*2^705157-1 is not prime. Res64: B231CBC9008ACFCA Time : 537.0 sec. user=vaughan [2009-08-02 00:23:51] 655*2^705155-1 is not prime. Res64: E8D4C73826718AB2 Time : 883.0 sec. user=vaughan [2009-08-02 00:25:43] 735*2^705156-1 is not prime. Res64: D3ECA7A4401CE95F Time : 743.0 sec. user=Zachariassen [2009-08-02 00:26:16] 741*2^705153-1 is not prime. Res64: 1C66A1E832C74F75 Time : 1564.0 sec. user=Zachariassen [2009-08-02 00:27:13] 759*2^705153-1 is not prime. Res64: 563FFF6129DF3205 Time : 1575.0 sec. user=vaughan [2009-08-02 00:28:05] 645*2^705154-1 is not prime. Res64: 9E8280E99F30D7E9 Time : 1516.0 sec. user=vaughan [2009-08-02 00:28:47] 743*2^705158-1 is not prime. Res64: 267F39B7EDFDA1DF Time : 536.0 sec. user=vaughan [2009-08-02 00:30:06] 669*2^705159-1 is not prime. Res64: B0ADAA8495AACB7F Time : 509.0 sec. user=vaughan [2009-08-02 00:30:45] 691*2^705159-1 is not prime. Res64: 5A5AFD7A211247A8 Time : 534.0 sec. user=Zachariassen [2009-08-02 00:32:28] 741*2^705154-1 is not prime. Res64: 6FC6E0783FDA40C4 Time : 1579.0 sec. user=vaughan [2009-08-02 00:32:44] 775*2^705159-1 is not prime. Res64: 7DF0DA897D2EAB32 Time : 534.0 sec. user=vaughan [2009-08-02 00:33:25] 619*2^705159-1 is not prime. Res64: A89DE04551099136 Time : 714.0 sec. user=Zachariassen [2009-08-02 00:33:54] 619*2^705155-1 is not prime. Res64: 073907FCF9202A93 Time : 1552.0 sec. user=Zachariassen [2009-08-02 00:34:05] 727*2^705149-1 is not prime. Res64: 5537475DF30300E7 Time : 2551.0 sec. user=Zachariassen [2009-08-02 00:35:25] 611*2^705150-1 is not prime. Res64: B3C371C246448C9B Time : 2534.0 sec. user=Zachariassen [2009-08-02 00:37:14] 661*2^705151-1 is not prime. Res64: BD04711A956A8724 Time : 2530.0 sec. user=vaughan [2009-08-02 00:37:42] 741*2^705161-1 is not prime. Res64: 056EDF50981E983E Time : 535.0 sec. user=Zachariassen [2009-08-02 00:38:06] 693*2^705151-1 is not prime. Res64: C455A82CE74B39E8 Time : 2543.0 sec. user=vaughan [2009-08-02 00:38:06] 635*2^705160-1 is not prime. Res64: E403DE80780A4C72 Time : 743.0 sec. user=vaughan [2009-08-02 00:38:25] 683*2^705156-1 is not prime. Res64: 7E9F7ADC34603AC4 Time : 1553.0 sec. user=vaughan [2009-08-02 00:38:35] 795*2^705161-1 is not prime. Res64: B66AE73161AEA037 Time : 509.0 sec. user=Zachariassen [2009-08-02 00:39:32] 773*2^705156-1 is not prime. Res64: 69EC2A9886A26068 Time : 1568.0 sec. user=vaughan [2009-08-02 00:39:39] 621*2^705162-1 is not prime. Res64: 95D4841BED0763A6 Time : 534.0 sec. user=Zachariassen [2009-08-02 00:40:43] 687*2^705157-1 is not prime. Res64: AB443F10F8CCB024 Time : 1594.0 sec. user=vaughan [2009-08-02 00:41:06] 733*2^705155-1 is not prime. Res64: E053941065729CD0 Time : 1856.0 sec. user=vaughan [2009-08-02 00:41:40] 711*2^705162-1 is not prime. Res64: 85718952C906EDCF Time : 536.0 sec. user=vaughan [2009-08-02 00:44:04] 795*2^705158-1 is not prime. Res64: 27788F079FDFC69D Time : 1367.0 sec. user=vaughan [2009-08-02 00:45:06] 605*2^705160-1 is not prime. Res64: A034E0E718F708E6 Time : 1276.0 sec. user=vaughan [2009-08-02 00:45:22] 723*2^705162-1 is not prime. Res64: C9C44113B1E77912 Time : 717.0 sec. user=Zachariassen [2009-08-02 00:45:39] 683*2^705158-1 is not prime. Res64: 639B53D6253F92EE Time : 1566.0 sec. user=vaughan [2009-08-02 00:46:34] 615*2^705164-1 is not prime. Res64: 252E9F935B87E678 Time : 533.0 sec. user=vaughan [2009-08-02 00:47:05] 727*2^705165-1 is not prime. Res64: 62DD5AFF3D88CB28 Time : 510.0 sec. user=Zachariassen [2009-08-02 00:47:23] 773*2^705158-1 is not prime. Res64: 600A44038F003F9D Time : 1567.0 sec. user=vaughan [2009-08-02 00:48:31] 765*2^705165-1 is not prime. Res64: 058A4B599F49C133 Time : 532.0 sec. user=vaughan [2009-08-02 00:50:22] 773*2^705164-1 is not prime. Res64: 6FB985D1610267BF Time : 737.0 sec. user=vaughan [2009-08-02 00:50:33] 705*2^705166-1 is not prime. Res64: CDD325EECFC3A1C0 Time : 533.0 sec. user=Zachariassen [2009-08-02 00:52:36] 677*2^705160-1 is not prime. Res64: 56B59C04A5355A66 Time : 1580.0 sec. user=Zachariassen [2009-08-02 00:53:55] 713*2^705160-1 is not prime. Res64: 7016670B83C79576 Time : 1603.0 sec. user=Zachariassen [2009-08-02 00:55:20] 639*2^705156-1 is not prime. Res64: 851A6ADBF6004E0E Time : 2569.0 sec. user=Zachariassen [2009-08-02 00:56:57] 777*2^705156-1 is not prime. Res64: 3F5AF2E777B46CF2 Time : 2578.0 sec. user=Zachariassen [2009-08-02 00:58:41] 751*2^705157-1 is not prime. Res64: 8B36A5E82589A80D Time : 2556.0 sec. user=Zachariassen [2009-08-02 00:58:58] 677*2^705162-1 is not prime. Res64: B1B6998A04FFFC6A Time : 1590.0 sec. user=Zachariassen [2009-08-02 00:59:29] 623*2^705158-1 is not prime. Res64: A1E60C1001F2F024 Time : 2552.0 sec. user=Zachariassen [2009-08-02 01:00:30] 619*2^705163-1 is not prime. Res64: 151C9CFDD5C9F6AB Time : 1597.0 sec. user=Zachariassen [2009-08-02 01:05:40] 741*2^705165-1 is not prime. Res64: F365621DC4D8BE7B Time : 1568.0 sec. user=Zachariassen [2009-08-02 01:07:11] 623*2^705166-1 is not prime. Res64: B9804C8D3CB66036 Time : 1588.0 sec. user=Zachariassen [2009-08-02 01:12:25] 707*2^705168-1 is not prime. Res64: 1391E9E224A25815 Time : 1607.0 sec. user=Zachariassen [2009-08-02 01:14:17] 797*2^705168-1 is not prime. Res64: A6A9F0D0D54EE0F3 Time : 1614.0 sec. user=Zachariassen [2009-08-02 01:16:32] 633*2^705163-1 is not prime. Res64: 4DBBC84BDCA39F92 Time : 2547.0 sec. user=Zachariassen [2009-08-02 01:18:04] 789*2^705163-1 is not prime. Res64: 261824E4A6F705C5 Time : 2560.0 sec. user=Zachariassen [2009-08-02 01:18:39] 705*2^705171-1 is not prime. Res64: 9F69BEBBAC5BBE53 Time : 1563.0 sec. user=Zachariassen [2009-08-02 01:20:04] 793*2^705163-1 is not prime. Res64: 780B9C83A6C4ED02 Time : 2570.0 sec. user=Zachariassen [2009-08-02 01:20:28] 617*2^705172-1 is not prime. Res64: 2A9DFBCE25D3F62B Time : 1594.0 sec. user=Zachariassen [2009-08-02 01:20:45] 609*2^705165-1 is not prime. Res64: DD9D134E768A748C Time : 2560.0 sec. user=Zachariassen [2009-08-02 01:25:35] 735*2^705172-1 is not prime. Res64: 0E7342FC3B581D2B Time : 1598.0 sec. user=Zachariassen [2009-08-02 01:27:15] 699*2^705173-1 is not prime. Res64: 1D3A49517508BC68 Time : 1606.0 sec. user=Zachariassen [2009-08-02 01:32:11] 787*2^705173-1 is not prime. Res64: 41BFB6E21CA95316 Time : 1591.0 sec. user=Zachariassen [2009-08-02 01:33:59] 651*2^705174-1 is not prime. Res64: 39304B7DC4692ABB Time : 1608.0 sec. user=vaughan [2009-08-02 01:37:14] 705*2^705169-1 is not prime. Res64: D6743F9FFC4152C8 Time : 2812.0 sec. user=vaughan [2009-08-02 01:37:14] 693*2^705167-1 is not prime. Res64: 180D46829E1394B8 Time : 3128.0 sec. user=vaughan [2009-08-02 01:37:15] 653*2^705166-1 is not prime. Res64: 610EE10FB2CF3932 Time : 3369.0 sec. user=vaughan [2009-08-02 01:37:15] 799*2^705167-1 is not prime. Res64: 61227FFBBDA46CEA Time : 3113.0 sec. user=vaughan [2009-08-02 01:37:15] 785*2^705160-1 is not prime. Res64: 8547BEA9E07FD07B Time : 4150.0 sec. user=vaughan [2009-08-02 01:37:20] 649*2^705165-1 is not prime. Res64: C148996DE8B499B9 Time : 3536.0 sec. user=Zachariassen [2009-08-02 01:37:43] 647*2^705172-1 is not prime. Res64: FEA0F8BDC6ADCBE3 Time : 2543.0 sec. user=vaughan [2009-08-02 01:37:56] 717*2^705166-1 is not prime. Res64: BE275AA941D105C7 Time : 3233.0 sec. user=Zachariassen [2009-08-02 01:38:48] 783*2^705174-1 is not prime. Res64: 56D3629222651324 Time : 1584.0 sec. user=Zachariassen [2009-08-02 01:39:04] 657*2^705172-1 is not prime. Res64: 7088D005C8EB699D Time : 2527.0 sec. user=Zachariassen [2009-08-02 01:40:30] 609*2^705175-1 is not prime. Res64: 94E7C5C5A2A887B4 Time : 1574.0 sec. user=Zachariassen [2009-08-02 01:41:17] 723*2^705172-1 is not prime. Res64: 90B027E402F21207 Time : 2557.0 sec. user=Zachariassen [2009-08-02 01:41:25] 619*2^705173-1 is not prime. Res64: 3D0833016601966D Time : 2516.0 sec. user=Zachariassen [2009-08-02 01:45:13] 693*2^705175-1 is not prime. Res64: B1C3C05B68E1CD20 Time : 1594.0 sec. user=Zachariassen [2009-08-02 01:46:58] 735*2^705175-1 is not prime. Res64: EC482FA816AA695B Time : 1590.0 sec. user=vaughan [2009-08-02 01:49:11] 767*2^705176-1 is not prime. Res64: C75BF6A2CB6F3CEF Time : 716.0 sec. user=vaughan [2009-08-02 01:50:36] 627*2^705177-1 is not prime. Res64: CCA0AB7CDF52FCAB Time : 741.0 sec. user=Zachariassen [2009-08-02 01:51:31] 603*2^705176-1 is not prime. Res64: EAA46A7D61903487 Time : 1557.0 sec. user=Zachariassen [2009-08-02 01:53:11] 617*2^705176-1 is not prime. Res64: 6AC8517FC257D59D Time : 1556.0 sec. user=vaughan [2009-08-02 01:55:28] 615*2^705177-1 is not prime. Res64: 2A6ACC76825B5AB5 Time : 1053.0 sec. user=vaughan [2009-08-02 01:55:44] 717*2^705176-1 is not prime. Res64: 41514679A6727F2F Time : 1109.0 sec. user=Zachariassen [2009-08-02 01:58:15] 633*2^705176-1 is not prime. Res64: 895294823E84DBF3 Time : 1564.0 sec. user=Zachariassen [2009-08-02 01:59:01] 645*2^705175-1 is not prime. Res64: 50C5B13C75F40873 Time : 2549.0 sec. user=Zachariassen [2009-08-02 02:00:32] 645*2^705176-1 is not prime. Res64: 66BC1FF21D463567 Time : 1593.0 sec. user=Zachariassen [2009-08-02 02:00:36] 673*2^705175-1 is not prime. Res64: 7937311EEFA27EEC Time : 2553.0 sec. user=vaughan [2009-08-02 02:01:07] 605*2^705178-1 is not prime. Res64: 8D9C7DBAAD7D3EEE Time : 716.0 sec. user=vaughan [2009-08-02 02:01:50] 735*2^705168-1 is not prime. Res64: 843AF7998981C1C3 Time : 4516.0 sec. user=vaughan [2009-08-02 02:01:51] 713*2^705170-1 is not prime. Res64: E4832F7A1ECA73EF Time : 4278.0 sec. user=vaughan [2009-08-02 02:01:52] 747*2^705168-1 is not prime. Res64: 36E3159314669867 Time : 4488.0 sec. user=vaughan [2009-08-02 02:01:55] 625*2^705169-1 is not prime. Res64: A2F49C7C62A4A3EE Time : 4404.0 sec. user=Zachariassen [2009-08-02 02:02:40] 789*2^705175-1 is not prime. Res64: A28AF3A98729515F Time : 2515.0 sec. user=Zachariassen [2009-08-02 02:02:44] 715*2^705175-1 is not prime. Res64: DE184B6E7A4E153E Time : 2560.0 sec. user=vaughan [2009-08-02 02:02:55] 623*2^705178-1 is not prime. Res64: 66514528424573CF Time : 739.0 sec. user=Zachariassen [2009-08-02 02:05:01] 667*2^705177-1 is not prime. Res64: DDEAF29885DF2499 Time : 1573.0 sec. user=Zachariassen [2009-08-02 02:06:22] 685*2^705177-1 is not prime. Res64: A0F7E3BA1C2267F8 Time : 1552.0 sec. user=vaughan [2009-08-02 02:10:18] 685*2^705183-1 is not prime. Res64: 91A8A4A06BC2BE10 Time : 507.0 sec. user=vaughan [2009-08-02 02:10:41] 661*2^705183-1 is not prime. Res64: 6A7D5B1A861C96BC Time : 531.0 sec. user=vaughan [2009-08-02 02:10:42] 613*2^705183-1 is not prime. Res64: 3F74E82A86689F37 Time : 532.0 sec. user=vaughan [2009-08-02 02:10:45] 709*2^705183-1 is not prime. Res64: 5C78BF1B0C665E6B Time : 531.0 sec. user=Zachariassen [2009-08-02 02:11:19] 765*2^705177-1 is not prime. Res64: 41860D845066CC13 Time : 1567.0 sec. user=vaughan [2009-08-02 02:11:48] 633*2^705179-1 is not prime. Res64: 6D9A27AFB57B3AB7 Time : 980.0 sec. user=vaughan [2009-08-02 02:12:28] 703*2^705179-1 is not prime. Res64: D18B4EE946DD6C79 Time : 1005.0 sec. user=vaughan [2009-08-02 02:13:00] 771*2^705182-1 is not prime. Res64: A5754E1F834E666F Time : 714.0 sec. user=Zachariassen [2009-08-02 02:13:37] 769*2^705177-1 is not prime. Res64: 830A9B8F7D7CEE7D Time : 1600.0 sec. user=vaughan [2009-08-02 02:15:17] 605*2^705184-1 is not prime. Res64: A5B27F0855C9F990 Time : 743.0 sec. user=Zachariassen [2009-08-02 02:17:50] 765*2^705178-1 is not prime. Res64: 9A31C34879E7DEF1 Time : 1579.0 sec. user=vaughan [2009-08-02 02:18:46] 601*2^705185-1 is not prime. Res64: C9B5923A6BC9CA6E Time : 508.0 sec. user=vaughan [2009-08-02 02:19:32] 717*2^705185-1 is not prime. Res64: 0084BC68708BE3E3 Time : 531.0 sec. user=vaughan [2009-08-02 02:19:35] 741*2^705185-1 is not prime. Res64: 6525A735A33300CF Time : 533.0 sec. user=vaughan [2009-08-02 02:19:37] 635*2^705186-1 is not prime. Res64: D7C2F2498D8449E6 Time : 532.0 sec. user=Zachariassen [2009-08-02 02:19:39] 631*2^705179-1 is not prime. Res64: DD756F75484743F0 Time : 1588.0 sec. user=Zachariassen [2009-08-02 02:20:22] 785*2^705176-1 is not prime. Res64: A82763DBF2D06716 Time : 2560.0 sec. user=vaughan [2009-08-02 02:21:07] 683*2^705182-1 is not prime. Res64: 6E42B473BA34A88A Time : 1211.0 sec. user=Zachariassen [2009-08-02 02:21:57] 681*2^705177-1 is not prime. Res64: AFD30C86593E5998 Time : 2573.0 sec. user=Zachariassen [2009-08-02 02:24:09] 735*2^705177-1 is not prime. Res64: B85307D0C3516714 Time : 2572.0 sec. user=Zachariassen [2009-08-02 02:24:20] 741*2^705177-1 is not prime. Res64: 66097363EE09321A Time : 2575.0 sec. user=Zachariassen [2009-08-02 02:24:43] 705*2^705179-1 is not prime. Res64: 968B0AFCDFD02F17 Time : 1589.0 sec. user=vaughan [2009-08-02 02:24:53] 609*2^705187-1 is not prime. Res64: 4CCECB157FF91869 Time : 713.0 sec. user=vaughan [2009-08-02 02:26:19] 725*2^705186-1 is not prime. Res64: ECE619625F5DBD5F Time : 871.0 sec. user=Zachariassen [2009-08-02 02:26:40] 737*2^705180-1 is not prime. Res64: F88E239EE3DBA3EF Time : 1568.0 sec. user=vaughan [2009-08-02 02:27:04] 783*2^705186-1 is not prime. Res64: 4B14779AF1DA44A1 Time : 876.0 sec. user=vaughan [2009-08-02 02:27:14] 647*2^705188-1 is not prime. Res64: C8747970C0ED923A Time : 509.0 sec. user=vaughan [2009-08-02 02:27:37] 759*2^705187-1 is not prime. Res64: 5B3966E386426EEF Time : 740.0 sec. user=vaughan [2009-08-02 02:28:25] 683*2^705188-1 is not prime. Res64: 99DA6EEA8FD0BA41 Time : 533.0 sec. user=vaughan [2009-08-02 02:28:26] 625*2^705189-1 is not prime. Res64: B373C0073A2F0786 Time : 531.0 sec. user=vaughan [2009-08-02 02:28:27] 675*2^705189-1 is not prime. Res64: D8D8EA4F94C4DFF0 Time : 531.0 sec. user=Zachariassen [2009-08-02 02:32:27] 635*2^705184-1 is not prime. Res64: D27025076482D45C Time : 1647.0 sec. user=vaughan [2009-08-02 02:32:51] 777*2^705181-1 is not prime. Res64: F32DFDDD96DA1272 Time : 1916.0 sec. user=Zachariassen [2009-08-02 02:33:55] 717*2^705184-1 is not prime. Res64: 4DAA779537DC4C09 Time : 1653.0 sec. user=vaughan [2009-08-02 02:35:19] 713*2^705182-1 is not prime. Res64: 55DE4571FD82165D Time : 2061.0 sec. user=vaughan [2009-08-02 02:35:42] 623*2^705192-1 is not prime. Res64: 65FB11ED4634BECC Time : 508.0 sec. user=vaughan [2009-08-02 02:36:48] 663*2^705191-1 is not prime. Res64: 0783E145E65835D4 Time : 715.0 sec. user=vaughan [2009-08-02 02:37:15] 689*2^705192-1 is not prime. Res64: AA33212DCFAB321A Time : 530.0 sec. user=vaughan [2009-08-02 02:37:17] 713*2^705192-1 is not prime. Res64: 57AC6E07AE959269 Time : 531.0 sec. user=vaughan [2009-08-02 02:37:18] 759*2^705192-1 is not prime. Res64: 3119FA7129BE36C0 Time : 531.0 sec. user=vaughan [2009-08-02 02:40:01] 635*2^705192-1 is not prime. Res64: 6EF94E3783E5D0D7 Time : 744.0 sec. user=Zachariassen [2009-08-02 02:40:05] 695*2^705186-1 is not prime. Res64: 232F281C6482D4C4 Time : 1726.0 sec. user=Zachariassen [2009-08-02 02:41:13] 725*2^705180-1 is not prime. Res64: 8BCCE4C016EB8DCA Time : 2532.0 sec. user=vaughan [2009-08-02 02:41:55] 657*2^705190-1 is not prime. Res64: 6345D09EF972F2DA Time : 1248.0 sec. user=vaughan [2009-08-02 02:42:03] 715*2^705191-1 is not prime. Res64: 76E0BC4317AD5E01 Time : 944.0 sec. user=Zachariassen [2009-08-02 02:42:29] 681*2^705187-1 is not prime. Res64: FCA3A902FF6725D5 Time : 1732.0 sec. user=vaughan [2009-08-02 02:42:54] 615*2^705192-1 is not prime. Res64: C21B0A934C6F9838 Time : 950.0 sec. user=Zachariassen [2009-08-02 02:43:03] 741*2^705181-1 is not prime. Res64: C7DC1CB9BFEE51AE Time : 2548.0 sec. user=vaughan [2009-08-02 02:44:11] 685*2^705195-1 is not prime. Res64: 7C308B4BAA0CF24C Time : 509.0 sec. user=Zachariassen [2009-08-02 02:45:31] 763*2^705183-1 is not prime. Res64: 6F0DA2F36A784BE5 Time : 2568.0 sec. user=Zachariassen [2009-08-02 02:45:34] 721*2^705183-1 is not prime. Res64: 65EF0FCE3EA7FF29 Time : 2574.0 sec. user=vaughan [2009-08-02 02:46:04] 735*2^705195-1 is not prime. Res64: 1A340EB991F17316 Time : 529.0 sec. user=vaughan [2009-08-02 02:46:07] 735*2^705196-1 is not prime. Res64: 498927B174A665A1 Time : 530.0 sec. user=vaughan [2009-08-02 02:46:08] 623*2^705196-1 is not prime. Res64: 440AE0A9C35F5470 Time : 531.0 sec. user=vaughan [2009-08-02 02:48:44] 723*2^705195-1 is not prime. Res64: BAA06D902F7156E2 Time : 716.0 sec. user=Zachariassen [2009-08-02 02:48:48] 765*2^705187-1 is not prime. Res64: 70C89658EFA65E67 Time : 1859.0 sec. user=Zachariassen [2009-08-02 02:50:18] 709*2^705189-1 is not prime. Res64: 54D0F5C874CB8596 Time : 1839.0 sec. user=vaughan [2009-08-02 02:52:22] 783*2^705196-1 is not prime. Res64: 0EE49EB8B97005C3 Time : 741.0 sec. user=vaughan [2009-08-02 02:52:39] 797*2^705198-1 is not prime. Res64: 2E70E0823C8CD119 Time : 508.0 sec. user=vaughan [2009-08-02 02:54:53] 629*2^705200-1 is not prime. Res64: 7FA71FDA57B2726D Time : 529.0 sec. user=vaughan [2009-08-02 02:54:57] 727*2^705201-1 is not prime. Res64: BCD7ED2978000B9F Time : 529.0 sec. user=vaughan [2009-08-02 02:54:58] 717*2^705200-1 is not prime. Res64: 03C6B50B63D7FA6A Time : 531.0 sec. user=Zachariassen [2009-08-02 02:56:42] 621*2^705191-1 is not prime. Res64: C440A2FED5A0522F Time : 1919.0 sec. user=vaughan [2009-08-02 02:57:40] 799*2^705197-1 is not prime. Res64: 2EBD1D784A82162B Time : 937.0 sec. user=vaughan [2009-08-02 02:58:21] 677*2^705198-1 is not prime. Res64: 37825F515953AF1A Time : 927.0 sec. user=Zachariassen [2009-08-02 02:59:12] 789*2^705191-1 is not prime. Res64: 4D33D469F2E68E5A Time : 1952.0 sec. user=vaughan [2009-08-02 03:00:39] 751*2^705201-1 is not prime. Res64: D1270527B4B0BA3C Time : 715.0 sec. user=Zachariassen [2009-08-02 03:02:29] 611*2^705190-1 is not prime. Res64: 99E914552ADE0010 Time : 2527.0 sec. user=vaughan [2009-08-02 03:03:31] 795*2^705197-1 is not prime. Res64: A540AC0812466A7F Time : 1297.0 sec. user=vaughan [2009-08-02 03:03:45] 717*2^705202-1 is not prime. Res64: 93B6AF7C0B64D387 Time : 532.0 sec. user=vaughan [2009-08-02 03:03:47] 621*2^705203-1 is not prime. Res64: CA26827EAF7E8E59 Time : 530.0 sec. user=vaughan [2009-08-02 03:03:48] 673*2^705203-1 is not prime. Res64: E9092B0A21CB6259 Time : 530.0 sec. user=vaughan [2009-08-02 03:03:57] 665*2^705202-1 is not prime. Res64: 88D4D93E4404C739 Time : 678.0 sec. user=Zachariassen [2009-08-02 03:04:05] 713*2^705190-1 is not prime. Res64: FC824880053CE772 Time : 2528.0 sec. user=vaughan [2009-08-02 03:04:41] 645*2^705202-1 is not prime. Res64: 18F9CFA6A134681E Time : 740.0 sec. user=Zachariassen [2009-08-02 03:05:15] 715*2^705193-1 is not prime. Res64: 2EB34117A082DACF Time : 1968.0 sec. user=vaughan [2009-08-02 03:05:28] 771*2^705193-1 is not prime. Res64: 232B96E49204A17A Time : 1957.0 sec. user=Zachariassen [2009-08-02 03:06:28] 783*2^705190-1 is not prime. Res64: 3B175A3002B65CAE Time : 2528.0 sec. user=Zachariassen [2009-08-02 03:06:30] 743*2^705194-1 is not prime. Res64: 0DB286FA65315D24 Time : 1955.0 sec. user=Zachariassen [2009-08-02 03:06:33] 741*2^705190-1 is not prime. Res64: 9280A804E8ECB87C Time : 2545.0 sec. user=vaughan [2009-08-02 03:10:04] 619*2^705195-1 is not prime. Res64: 2B69292EFC768BAB Time : 2085.0 sec. user=vaughan [2009-08-02 03:10:43] 789*2^705204-1 is not prime. Res64: CD56FA09E163E489 Time : 783.0 sec. user=vaughan [2009-08-02 03:11:25] 619*2^705205-1 is not prime. Res64: B00E85D8011966AE Time : 785.0 sec. user=Zachariassen [2009-08-02 03:12:22] 619*2^705197-1 is not prime. Res64: 147D9BBFF0D389EA Time : 1937.0 sec. user=vaughan [2009-08-02 03:12:27] 633*2^705207-1 is not prime. Res64: 2EAF486FEFF87592 Time : 510.0 sec. user=vaughan [2009-08-02 03:12:36] 765*2^705205-1 is not prime. Res64: 5ABEFCC3CC137399 Time : 718.0 sec. user=vaughan [2009-08-02 03:12:37] 675*2^705206-1 is not prime. Res64: 650601A308133BA7 Time : 530.0 sec. user=vaughan [2009-08-02 03:12:37] 635*2^705206-1 is not prime. Res64: 37680F760DEB402A Time : 532.0 sec. user=vaughan [2009-08-02 03:12:38] 755*2^705206-1 is not prime. Res64: BE13125B8F9D0242 Time : 530.0 sec. user=Zachariassen [2009-08-02 03:14:48] 611*2^705198-1 is not prime. Res64: C409A3308306294F Time : 1939.0 sec. user=vaughan [2009-08-02 03:16:59] 629*2^705208-1 is not prime. Res64: 0D6C20D4B15E33BF Time : 738.0 sec. user=Zachariassen [2009-08-02 03:20:56] 777*2^705201-1 is not prime. Res64: 99FA70068AA77B1C Time : 1928.0 sec. user=vaughan [2009-08-02 03:20:58] 609*2^705211-1 is not prime. Res64: F09EA7EADDBA3E5E Time : 511.0 sec. user=vaughan [2009-08-02 03:21:29] 693*2^705211-1 is not prime. Res64: BA40386CE0591294 Time : 532.0 sec. user=vaughan [2009-08-02 03:21:31] 609*2^705212-1 is not prime. Res64: CF6F9CF4CF8EB18D Time : 534.0 sec. user=vaughan [2009-08-02 03:21:32] 633*2^705212-1 is not prime. Res64: 6AF3D86EE440D4DB Time : 534.0 sec. user=Zachariassen [2009-08-02 03:22:25] 781*2^705201-1 is not prime. Res64: BB62CDCBBDCFD840 Time : 1927.0 sec. user=Zachariassen [2009-08-02 03:24:08] 781*2^705197-1 is not prime. Res64: DE1DBB07A37719AC Time : 2575.0 sec. user=vaughan [2009-08-02 03:24:12] 775*2^705209-1 is not prime. Res64: 10B4C56746EF2181 Time : 809.0 sec. user=vaughan [2009-08-02 03:24:32] 615*2^705211-1 is not prime. Res64: F4F7B69A9534B6CC Time : 716.0 sec. user=vaughan [2009-08-02 03:24:55] 741*2^705210-1 is not prime. Res64: 83300386D8C777EE Time : 811.0 sec. user=Zachariassen [2009-08-02 03:25:43] 795*2^705198-1 is not prime. Res64: 0230C5C8EE972E18 Time : 2560.0 sec. user=vaughan [2009-08-02 03:27:05] 615*2^705206-1 is not prime. Res64: B9372352C7431DC4 Time : 1415.0 sec. user=Zachariassen [2009-08-02 03:27:47] 741*2^705199-1 is not prime. Res64: 15D5B49509406B30 Time : 2533.0 sec. user=Zachariassen [2009-08-02 03:28:03] 705*2^705199-1 is not prime. Res64: D728C817DB5A7231 Time : 2553.0 sec. user=Zachariassen [2009-08-02 03:28:29] 767*2^705204-1 is not prime. Res64: 640A0D90AE4FF0D0 Time : 1907.0 sec. user=vaughan [2009-08-02 03:29:20] 787*2^705213-1 is not prime. Res64: 5B29224678E8A3F7 Time : 741.0 sec. user=vaughan [2009-08-02 03:29:28] 623*2^705214-1 is not prime. Res64: B6744C2CA2A5A304 Time : 510.0 sec. user=vaughan [2009-08-02 03:30:20] 723*2^705214-1 is not prime. Res64: 6A4C714525829E0B Time : 531.0 sec. user=vaughan [2009-08-02 03:30:22] 715*2^705215-1 is not prime. Res64: AC093E6267860EF9 Time : 531.0 sec. user=vaughan [2009-08-02 03:30:23] 629*2^705216-1 is not prime. Res64: BF00EC855D57E411 Time : 532.0 sec. user=Zachariassen [2009-08-02 03:30:53] 679*2^705205-1 is not prime. Res64: 06CE4B02A350841B Time : 1901.0 sec. user=vaughan [2009-08-02 03:36:32] 685*2^705217-1 is not prime. Res64: 65DC5E24D93E17DA Time : 720.0 sec. user=Zachariassen [2009-08-02 03:37:04] 635*2^705208-1 is not prime. Res64: 7CF0565B1517E1C3 Time : 1909.0 sec. user=vaughan [2009-08-02 03:37:51] 619*2^705217-1 is not prime. Res64: 75B4657F6B88E2C0 Time : 820.0 sec. user=vaughan [2009-08-02 03:37:59] 741*2^705219-1 is not prime. Res64: E0ABD3007B80DBA6 Time : 512.0 sec. user=vaughan [2009-08-02 03:38:33] 715*2^705217-1 is not prime. Res64: 9EEA299174462396 Time : 819.0 sec. user=Zachariassen [2009-08-02 03:38:46] 627*2^705209-1 is not prime. Res64: F92187CE954881B9 Time : 1936.0 sec. user=vaughan [2009-08-02 03:39:10] 745*2^705219-1 is not prime. Res64: 73A6C1E510418859 Time : 530.0 sec. user=vaughan [2009-08-02 03:39:12] 751*2^705219-1 is not prime. Res64: 4EB0CC47FB718C3F Time : 530.0 sec. user=vaughan [2009-08-02 03:39:14] 719*2^705220-1 is not prime. Res64: B267279514A86A0C Time : 531.0 sec. user=vaughan [2009-08-02 03:41:44] 633*2^705219-1 is not prime. Res64: 6F85585D3C92D732 Time : 745.0 sec. user=vaughan [2009-08-02 03:42:01] 677*2^705208-1 is not prime. Res64: ABABCA52E060E4DC Time : 2194.0 sec. user=Zachariassen [2009-08-02 03:45:02] 777*2^705210-1 is not prime. Res64: A83CDF24DEF6149A Time : 1960.0 sec. user=Zachariassen [2009-08-02 03:45:23] 777*2^705205-1 is not prime. Res64: D395C954353E9C43 Time : 2574.0 sec. user=vaughan [2009-08-02 03:46:33] 735*2^705221-1 is not prime. Res64: E60D9B15C8283621 Time : 514.0 sec. user=Zachariassen [2009-08-02 03:47:10] 711*2^705207-1 is not prime. Res64: 82EFF8E424D63C9E Time : 2586.0 sec. user=vaughan [2009-08-02 03:47:31] 679*2^705209-1 is not prime. Res64: C72B877DEE4D64A4 Time : 2247.0 sec. user=Zachariassen [2009-08-02 03:47:42] 685*2^705213-1 is not prime. Res64: 8C9FDCE3473214CA Time : 1975.0 sec. user=vaughan [2009-08-02 03:48:03] 657*2^705222-1 is not prime. Res64: 200643C2D3C20253 Time : 533.0 sec. user=vaughan [2009-08-02 03:48:08] 711*2^705222-1 is not prime. Res64: 1E48984559428F31 Time : 534.0 sec. user=vaughan [2009-08-02 03:48:10] 681*2^705222-1 is not prime. Res64: 6465ABC49019D445 Time : 538.0 sec. user=vaughan [2009-08-02 03:48:31] 669*2^705221-1 is not prime. Res64: 69BEF0D0466B3A65 Time : 720.0 sec. user=Zachariassen [2009-08-02 03:49:21] 713*2^705208-1 is not prime. Res64: FD2ABA3B2A968ABD Time : 2573.0 sec. user=Zachariassen [2009-08-02 03:49:28] 657*2^705209-1 is not prime. Res64: 0A8F90DC32726BF8 Time : 2575.0 sec. user=vaughan [2009-08-02 03:50:22] 657*2^705218-1 is not prime. Res64: 3123525F20C70B43 Time : 1397.0 sec. user=vaughan [2009-08-02 03:51:59] 715*2^705221-1 is not prime. Res64: 7370192C70759645 Time : 849.0 sec. user=vaughan [2009-08-02 03:53:12] 757*2^705221-1 is not prime. Res64: FA4F201CE051252A Time : 879.0 sec. user=Zachariassen [2009-08-02 03:53:36] 795*2^705213-1 is not prime. Res64: 01220C1FBFBB9B4F Time : 1960.0 sec. user=vaughan [2009-08-02 03:54:05] 745*2^705223-1 is not prime. Res64: 5F7CF8F284A450D3 Time : 742.0 sec. user=vaughan [2009-08-02 03:55:10] 789*2^705225-1 is not prime. Res64: 669FFB1B9F170499 Time : 518.0 sec. user=Zachariassen [2009-08-02 03:55:15] 689*2^705216-1 is not prime. Res64: EF5D6788ED1FF2DC Time : 1970.0 sec. user=vaughan [2009-08-02 03:57:04] 685*2^705227-1 is not prime. Res64: E072578D1DAA5FF8 Time : 541.0 sec. user=vaughan [2009-08-02 03:57:06] 741*2^705227-1 is not prime. Res64: 70E14B173FCE7E65 Time : 538.0 sec. user=vaughan [2009-08-02 03:57:09] 753*2^705227-1 is not prime. Res64: 7D27711737E5E1A7 Time : 540.0 sec. user=vaughan [2009-08-02 04:00:30] 799*2^705227-1 is not prime. Res64: A74BD13CDC173CF0 Time : 720.0 sec. user=Zachariassen [2009-08-02 04:01:35] 609*2^705219-1 is not prime. Res64: C0B5BA9234A6AAFF Time : 1999.0 sec. user=vaughan [2009-08-02 04:03:45] 639*2^705229-1 is not prime. Res64: 21182A5D56D991EA Time : 515.0 sec. user=Zachariassen [2009-08-02 04:04:02] 765*2^705220-1 is not prime. Res64: 027482103B975AE8 Time : 1989.0 sec. user=vaughan [2009-08-02 04:05:55] 641*2^705230-1 is not prime. Res64: CD47844FE679305E Time : 529.0 sec. user=vaughan [2009-08-02 04:05:55] 605*2^705230-1 is not prime. Res64: 7BBEBF22B0684607 Time : 531.0 sec. user=vaughan [2009-08-02 04:05:59] 675*2^705230-1 is not prime. Res64: 32CB067507C2CEFC Time : 531.0 sec. user=Zachariassen [2009-08-02 04:06:22] 707*2^705216-1 is not prime. Res64: 57C50ADBD0026BC0 Time : 2535.0 sec. user=vaughan [2009-08-02 04:06:25] 615*2^705229-1 is not prime. Res64: 103BEC28DEF1BEB5 Time : 740.0 sec. user=vaughan [2009-08-02 04:06:44] 723*2^705228-1 is not prime. Res64: 7912F6C564574D8F Time : 885.0 sec. user=vaughan [2009-08-02 04:08:05] 759*2^705228-1 is not prime. Res64: 226E3BF4FB475D9E Time : 893.0 sec. user=Zachariassen [2009-08-02 04:08:12] 603*2^705218-1 is not prime. Res64: 064925B02A641CA5 Time : 2550.0 sec. user=Zachariassen [2009-08-02 04:10:16] 675*2^705221-1 is not prime. Res64: 9AAC94DEA65344EA Time : 1992.0 sec. user=Zachariassen [2009-08-02 04:10:17] 677*2^705218-1 is not prime. Res64: 7661B58AD690AC0F Time : 2550.0 sec. user=Zachariassen [2009-08-02 04:10:37] 743*2^705218-1 is not prime. Res64: DA78C8200F1CB18B Time : 2554.0 sec. user=Zachariassen [2009-08-02 04:12:04] 611*2^705222-1 is not prime. Res64: 9C501ECD43D1646B Time : 1999.0 sec. user=vaughan [2009-08-02 04:12:12] 703*2^705231-1 is not prime. Res64: 844B52C7320E2967 Time : 507.0 sec. user=vaughan [2009-08-02 04:12:28] 797*2^705230-1 is not prime. Res64: 9EE30870812D3F38 Time : 719.0 sec. user=vaughan [2009-08-02 04:13:23] 669*2^705228-1 is not prime. Res64: A1B826AB13B9D35C Time : 1381.0 sec. user=vaughan [2009-08-02 04:14:39] 723*2^705231-1 is not prime. Res64: B4D9FCFF8BFE0BB6 Time : 524.0 sec. user=vaughan [2009-08-02 04:14:40] 735*2^705231-1 is not prime. Res64: 6E9BD167C1644AB3 Time : 525.0 sec. user=vaughan [2009-08-02 04:14:44] 745*2^705231-1 is not prime. Res64: 4C948C472967E904 Time : 525.0 sec. user=vaughan [2009-08-02 04:17:11] 705*2^705225-1 is not prime. Res64: 69B94A183638310C Time : 2110.0 sec. user=Zachariassen [2009-08-02 04:17:46] 711*2^705225-1 is not prime. Res64: 39A8505D734CB76B Time : 1964.0 sec. user=vaughan [2009-08-02 04:18:45] 623*2^705232-1 is not prime. Res64: BB5BD938B989E3A8 Time : 741.0 sec. user=Zachariassen [2009-08-02 04:20:23] 633*2^705227-1 is not prime. Res64: 0F4C1B281ABD4DB3 Time : 1962.0 sec. user=vaughan [2009-08-02 04:20:39] 649*2^705233-1 is not prime. Res64: 9F8B262B54ACD2F2 Time : 507.0 sec. user=vaughan [2009-08-02 04:21:13] 629*2^705232-1 is not prime. Res64: B90B51EE8D260422 Time : 869.0 sec. user=vaughan [2009-08-02 04:22:12] 619*2^705227-1 is not prime. Res64: 35D5FD4BEF721B0C Time : 2082.0 sec. user=vaughan [2009-08-02 04:22:48] 657*2^705232-1 is not prime. Res64: 459D68C2AFBE656E Time : 883.0 sec. user=vaughan [2009-08-02 04:23:22] 633*2^705234-1 is not prime. Res64: 6D0EFCE860929D51 Time : 523.0 sec. user=vaughan [2009-08-02 04:23:24] 781*2^705233-1 is not prime. Res64: F1EEC10E3BC8E5AC Time : 525.0 sec. user=vaughan [2009-08-02 04:23:29] 641*2^705234-1 is not prime. Res64: E735D04BA5D9DB1A Time : 525.0 sec. user=vaughan [2009-08-02 04:24:27] 691*2^705233-1 is not prime. Res64: CB3A2DF64487790C Time : 719.0 sec. user=Zachariassen [2009-08-02 04:26:20] 795*2^705228-1 is not prime. Res64: 8B399FE8B26DE05B Time : 1964.0 sec. user=Zachariassen [2009-08-02 04:27:52] 741*2^705225-1 is not prime. Res64: 2B3FC583661ACCB7 Time : 2549.0 sec. user=Zachariassen [2009-08-02 04:28:13] 757*2^705229-1 is not prime. Res64: 897F557D39D14B57 Time : 1978.0 sec. user=vaughan [2009-08-02 04:29:08] 791*2^705234-1 is not prime. Res64: 8F90EEB337C99F3D Time : 509.0 sec. user=Zachariassen [2009-08-02 04:29:29] 601*2^705227-1 is not prime. Res64: D09ADBC976EBF964 Time : 2539.0 sec. user=vaughan [2009-08-02 04:31:08] 747*2^705234-1 is not prime. Res64: 96994C977AB61ED0 Time : 743.0 sec. user=Zachariassen [2009-08-02 04:31:23] 605*2^705228-1 is not prime. Res64: EA622762D9AC56FF Time : 2523.0 sec. user=Zachariassen [2009-08-02 04:31:50] 629*2^705228-1 is not prime. Res64: BC571AEAA0ADA647 Time : 2542.0 sec. user=vaughan [2009-08-02 04:32:13] 615*2^705236-1 is not prime. Res64: 390964F28DF41F5C Time : 530.0 sec. user=vaughan [2009-08-02 04:32:13] 775*2^705235-1 is not prime. Res64: B16E403BB5B8BAC5 Time : 531.0 sec. user=vaughan [2009-08-02 04:32:22] 625*2^705237-1 is not prime. Res64: 662653BBC57F9C72 Time : 533.0 sec. user=Zachariassen [2009-08-02 04:34:09] 649*2^705231-1 is not prime. Res64: 61857430509F2B4F Time : 1954.0 sec. user=vaughan [2009-08-02 04:35:30] 729*2^705233-1 is not prime. Res64: E7E21B381A418696 Time : 1327.0 sec. user=vaughan [2009-08-02 04:35:32] 619*2^705235-1 is not prime. Res64: 4679D2557BB7CA43 Time : 860.0 sec. user=vaughan [2009-08-02 04:36:29] 669*2^705237-1 is not prime. Res64: 8CFA58B161405B49 Time : 722.0 sec. user=Zachariassen [2009-08-02 04:36:34] 711*2^705231-1 is not prime. Res64: B92173FB123329B3 Time : 1952.0 sec. user=vaughan [2009-08-02 04:37:26] 741*2^705235-1 is not prime. Res64: 27FD693A9BE301FD Time : 878.0 sec. user=vaughan [2009-08-02 04:37:46] 773*2^705238-1 is not prime. Res64: 6B37D4DAB7AEC8EE Time : 518.0 sec. user=vaughan [2009-08-02 04:41:06] 699*2^705240-1 is not prime. Res64: 255554440EC25DA7 Time : 534.0 sec. user=vaughan [2009-08-02 04:41:07] 717*2^705240-1 is not prime. Res64: AFE4E31A48C1C3A9 Time : 534.0 sec. user=vaughan [2009-08-02 04:41:14] 651*2^705241-1 is not prime. Res64: F98F2D7DD894CB23 Time : 533.0 sec. user=Zachariassen [2009-08-02 04:42:28] 717*2^705232-1 is not prime. Res64: 1CD8C28ED9D19E7E Time : 1932.0 sec. user=vaughan [2009-08-02 04:43:31] 711*2^705239-1 is not prime. Res64: CC99C9B8C6041620 Time : 743.0 sec. user=Zachariassen [2009-08-02 04:44:35] 785*2^705232-1 is not prime. Res64: 00684FB976D71995 Time : 1952.0 sec. user=vaughan [2009-08-02 04:46:17] 739*2^705243-1 is not prime. Res64: E10BC0B6D6164D41 Time : 512.0 sec. user=vaughan [2009-08-02 04:47:15] 711*2^705234-1 is not prime. Res64: EB5CC2D8D59F2A00 Time : 1804.0 sec. user=vaughan [2009-08-02 04:48:31] 713*2^705242-1 is not prime. Res64: 23FC4AD306569496 Time : 723.0 sec. user=Zachariassen [2009-08-02 04:49:41] 609*2^705232-1 is not prime. Res64: 1A0AB79103DD59C1 Time : 2599.0 sec. user=vaughan [2009-08-02 04:49:54] 745*2^705243-1 is not prime. Res64: 6FA0C890EEB09D0A Time : 529.0 sec. user=vaughan [2009-08-02 04:49:58] 751*2^705243-1 is not prime. Res64: DABA66AFB77850B2 Time : 532.0 sec. user=vaughan [2009-08-02 04:50:03] 789*2^705243-1 is not prime. Res64: 599F30409007890F Time : 530.0 sec. user=Zachariassen [2009-08-02 04:50:11] 723*2^705234-1 is not prime. Res64: 1582AEA1271498E4 Time : 1945.0 sec. user=vaughan [2009-08-02 04:50:16] 645*2^705235-1 is not prime. Res64: 0677CC23FEBBFC66 Time : 1684.0 sec. user=Zachariassen [2009-08-02 04:51:17] 705*2^705232-1 is not prime. Res64: F2AEACF4D1921189 Time : 2586.0 sec. user=Zachariassen [2009-08-02 04:52:22] 773*2^705234-1 is not prime. Res64: 48DBEBC77B20C229 Time : 1919.0 sec. user=Zachariassen [2009-08-02 04:53:13] 735*2^705232-1 is not prime. Res64: 04AE33552B8431E4 Time : 2576.0 sec. user=Zachariassen [2009-08-02 04:53:48] 777*2^705232-1 is not prime. Res64: 0BD1D7B3FACBDCE3 Time : 2591.0 sec. user=vaughan [2009-08-02 04:54:50] 619*2^705245-1 is not prime. Res64: 2ADE46A20A6920F2 Time : 513.0 sec. user=vaughan [2009-08-02 04:55:53] 675*2^705244-1 is not prime. Res64: 60A36C2F9E038F18 Time : 743.0 sec. user=vaughan [2009-08-02 04:58:01] 665*2^705242-1 is not prime. Res64: AFD7189E80F91C7D Time : 1349.0 sec. user=Zachariassen [2009-08-02 04:58:14] 727*2^705237-1 is not prime. Res64: 04CEC72BFD160FBF Time : 1915.0 sec. user=vaughan [2009-08-02 04:58:58] 781*2^705245-1 is not prime. Res64: 798C629BA484233C Time : 544.0 sec. user=vaughan [2009-08-02 04:59:03] 789*2^705245-1 is not prime. Res64: 3E9ED3E4A64F46E8 Time : 545.0 sec. user=vaughan [2009-08-02 04:59:10] 683*2^705246-1 is not prime. Res64: EAF91A673F46FF93 Time : 547.0 sec. user=Zachariassen [2009-08-02 05:00:03] 647*2^705238-1 is not prime. Res64: FDAEE9CCA859ED20 Time : 1910.0 sec. user=vaughan [2009-08-02 05:00:30] 729*2^705245-1 is not prime. Res64: 4501C486C90C3A6E Time : 719.0 sec. user=vaughan [2009-08-02 05:00:31] 705*2^705243-1 is not prime. Res64: 33CC2820425E4956 Time : 1386.0 sec. user=vaughan [2009-08-02 05:01:17] 635*2^705242-1 is not prime. Res64: E17A9B6AB2CE2F3B Time : 1547.0 sec. user=vaughan [2009-08-02 05:03:26] 635*2^705248-1 is not prime. Res64: 3641078E476F4F91 Time : 516.0 sec. user=Zachariassen [2009-08-02 05:06:21] 777*2^705241-1 is not prime. Res64: C3E572A2403BF78B Time : 1932.0 sec. user=vaughan [2009-08-02 05:08:02] 667*2^705249-1 is not prime. Res64: A13E3887938CAF6B Time : 544.0 sec. user=vaughan [2009-08-02 05:08:09] 681*2^705249-1 is not prime. Res64: A72F80A47686A3CA Time : 546.0 sec. user=vaughan [2009-08-02 05:08:16] 665*2^705248-1 is not prime. Res64: 12070E57A7E4FA9D Time : 743.0 sec. user=vaughan [2009-08-02 05:08:17] 787*2^705249-1 is not prime. Res64: 972BF39D4A195EAF Time : 547.0 sec. user=Zachariassen [2009-08-02 05:08:22] 619*2^705243-1 is not prime. Res64: 60ED1B6A789DABFF Time : 1908.0 sec. user=vaughan [2009-08-02 05:10:32] 645*2^705245-1 is not prime. Res64: 6A41DBFD17861FE5 Time : 1397.0 sec. user=Zachariassen [2009-08-02 05:10:53] 751*2^705237-1 is not prime. Res64: 4BC004EBE5D89962 Time : 2582.0 sec. user=vaughan [2009-08-02 05:11:59] 783*2^705250-1 is not prime. Res64: 3842619C1C73ADEE Time : 513.0 sec. user=vaughan [2009-08-02 05:12:00] 795*2^705248-1 is not prime. Res64: 6D64FFDF0E56167E Time : 839.0 sec. user=vaughan [2009-08-02 05:12:30] 663*2^705250-1 is not prime. Res64: C1398646A5324BF8 Time : 720.0 sec. user=Zachariassen [2009-08-02 05:12:43] 645*2^705239-1 is not prime. Res64: 0F41AAE9A53E5F01 Time : 2594.0 sec. user=vaughan [2009-08-02 05:13:20] 741*2^705246-1 is not prime. Res64: 7419E56A61CB38A0 Time : 1384.0 sec. user=Zachariassen [2009-08-02 05:14:03] 617*2^705244-1 is not prime. Res64: A2E5352FC45CCE1D Time : 1895.0 sec. user=Zachariassen [2009-08-02 05:14:31] 753*2^705239-1 is not prime. Res64: 4A98D0BCAC6E1181 Time : 2589.0 sec. user=vaughan [2009-08-02 05:14:50] 681*2^705250-1 is not prime. Res64: 083262AA528A387A Time : 859.0 sec. user=Zachariassen [2009-08-02 05:15:14] 627*2^705240-1 is not prime. Res64: 1C9088923FB816E2 Time : 2605.0 sec. user=Zachariassen [2009-08-02 05:15:58] 743*2^705244-1 is not prime. Res64: F49D420D2ADC6767 Time : 1883.0 sec. user=vaughan [2009-08-02 05:16:54] 619*2^705251-1 is not prime. Res64: FAA14063624EB526 Time : 533.0 sec. user=vaughan [2009-08-02 05:17:03] 645*2^705251-1 is not prime. Res64: 5D0FE286E72C8E88 Time : 535.0 sec. user=vaughan [2009-08-02 05:17:12] 609*2^705252-1 is not prime. Res64: DDB85AA19C48140F Time : 536.0 sec. user=vaughan [2009-08-02 05:20:29] 779*2^705252-1 is not prime. Res64: 8B591F5F0F802D40 Time : 510.0 sec. user=vaughan [2009-08-02 05:20:41] 693*2^705251-1 is not prime. Res64: F743D1A04AF92990 Time : 746.0 sec. user=Zachariassen [2009-08-02 05:21:33] 737*2^705246-1 is not prime. Res64: F0380CFE489B6B30 Time : 1882.0 sec. user=Zachariassen [2009-08-02 05:23:27] 763*2^705247-1 is not prime. Res64: 740CB121F70B6D64 Time : 1865.0 sec. user=vaughan [2009-08-02 05:23:59] 723*2^705250-1 is not prime. Res64: 9243F4030570622E Time : 1362.0 sec. user=vaughan [2009-08-02 05:24:29] 641*2^705254-1 is not prime. Res64: F33C7C9F81C57A37 Time : 719.0 sec. user=vaughan [2009-08-02 05:25:51] 645*2^705256-1 is not prime. Res64: CDD4187AB61BAD87 Time : 537.0 sec. user=vaughan [2009-08-02 05:26:01] 675*2^705256-1 is not prime. Res64: 27ADD5963ECE1AC5 Time : 538.0 sec. user=vaughan [2009-08-02 05:26:04] 769*2^705253-1 is not prime. Res64: 6554EC2481ACBD30 Time : 844.0 sec. user=vaughan [2009-08-02 05:26:13] 705*2^705256-1 is not prime. Res64: E2BCCC36E7F9E6B1 Time : 541.0 sec. user=vaughan [2009-08-02 05:29:08] 691*2^705255-1 is not prime. Res64: B89B4C1CD2D371C0 Time : 858.0 sec. user=vaughan [2009-08-02 05:29:11] 735*2^705256-1 is not prime. Res64: C68D83D8F8EEDAFB Time : 522.0 sec. user=Zachariassen [2009-08-02 05:29:37] 625*2^705249-1 is not prime. Res64: 88DA89D347DBF419 Time : 1883.0 sec. user=Zachariassen [2009-08-02 05:31:43] 633*2^705250-1 is not prime. Res64: D654A292E420FDAD Time : 1900.0 sec. user=Zachariassen [2009-08-02 05:31:48] 775*2^705245-1 is not prime. Res64: CD87B3B34112E7EF Time : 2527.0 sec. user=vaughan [2009-08-02 05:33:06] 755*2^705256-1 is not prime. Res64: 1F8F8BE8045FDFB2 Time : 745.0 sec. user=Zachariassen [2009-08-02 05:33:46] 777*2^705246-1 is not prime. Res64: 5F2319782F84C26C Time : 2549.0 sec. user=vaughan [2009-08-02 05:34:34] 743*2^705254-1 is not prime. Res64: C7F6A3C49CDDA7DE Time : 1274.0 sec. user=vaughan [2009-08-02 05:35:06] 727*2^705257-1 is not prime. Res64: F1B3261078F3AEC3 Time : 555.0 sec. user=vaughan [2009-08-02 05:35:17] 729*2^705257-1 is not prime. Res64: 5BFF1B8A694081AF Time : 556.0 sec. user=Zachariassen [2009-08-02 05:35:24] 769*2^705247-1 is not prime. Res64: 7F8E604A0C3673B3 Time : 2531.0 sec. user=vaughan [2009-08-02 05:35:29] 747*2^705258-1 is not prime. Res64: EC6D3ADF21272A52 Time : 557.0 sec. user=Zachariassen [2009-08-02 05:36:07] 623*2^705248-1 is not prime. Res64: 5A4EE4D8DF508E9E Time : 2539.0 sec. user=vaughan [2009-08-02 05:36:33] 685*2^705257-1 is not prime. Res64: D5D1A804C4950C11 Time : 724.0 sec. user=Zachariassen [2009-08-02 05:37:40] 615*2^705251-1 is not prime. Res64: 2CE3DEC68055C111 Time : 1879.0 sec. user=vaughan [2009-08-02 05:37:54] 609*2^705259-1 is not prime. Res64: 7AD808444AFC177F Time : 523.0 sec. user=Zachariassen [2009-08-02 05:39:36] 623*2^705252-1 is not prime. Res64: 7411926B5CA92D93 Time : 1874.0 sec. user=vaughan [2009-08-02 05:39:40] 711*2^705258-1 is not prime. Res64: 1E2F3B70182D6CD0 Time : 817.0 sec. user=vaughan [2009-08-02 05:43:07] 797*2^705258-1 is not prime. Res64: C529F5CFE68B38C0 Time : 839.0 sec. user=vaughan [2009-08-02 05:43:59] 745*2^705261-1 is not prime. Res64: CB8542EB628722B2 Time : 533.0 sec. user=vaughan [2009-08-02 05:44:12] 747*2^705261-1 is not prime. Res64: 1C96904432E30C82 Time : 535.0 sec. user=vaughan [2009-08-02 05:44:18] 695*2^705252-1 is not prime. Res64: 03968A3F60111BF8 Time : 2026.0 sec. user=vaughan [2009-08-02 05:44:23] 617*2^705262-1 is not prime. Res64: 35E3952D81309EE9 Time : 534.0 sec. user=vaughan [2009-08-02 05:45:30] 669*2^705261-1 is not prime. Res64: CAE64C080676ADE5 Time : 744.0 sec. user=Zachariassen [2009-08-02 05:45:34] 753*2^705254-1 is not prime. Res64: BE5B0A95BBC470AE Time : 1891.0 sec. user=vaughan [2009-08-02 05:46:26] 761*2^705262-1 is not prime. Res64: D562107C65481183 Time : 512.0 sec. user=vaughan [2009-08-02 05:47:31] 675*2^705257-1 is not prime. Res64: B5A1E57BFA421833 Time : 1412.0 sec. user=Zachariassen [2009-08-02 05:47:52] 639*2^705256-1 is not prime. Res64: B641C520DC379144 Time : 1914.0 sec. user=vaughan [2009-08-02 05:48:43] 645*2^705262-1 is not prime. Res64: 5C7B3AA3969A3C9E Time : 730.0 sec. user=vaughan [2009-08-02 05:52:54] 737*2^705264-1 is not prime. Res64: 72129BDCDBB7EA6A Time : 535.0 sec. user=vaughan [2009-08-02 05:53:05] 747*2^705264-1 is not prime. Res64: 8759BFC93F0FDDEE Time : 534.0 sec. user=vaughan [2009-08-02 05:53:17] 765*2^705264-1 is not prime. Res64: 668FE2AC55E22081 Time : 535.0 sec. user=Zachariassen [2009-08-02 05:53:21] 777*2^705252-1 is not prime. Res64: 663BD5DD4CC9A2BF Time : 2548.0 sec. user=Zachariassen [2009-08-02 05:54:08] 619*2^705257-1 is not prime. Res64: 4EF41EAAF2617A65 Time : 1955.0 sec. user=vaughan [2009-08-02 05:54:21] 711*2^705261-1 is not prime. Res64: AE192BFAA64E4BC7 Time : 1187.0 sec. user=vaughan [2009-08-02 05:54:57] 741*2^705265-1 is not prime. Res64: C93702351DF0CD41 Time : 511.0 sec. user=vaughan [2009-08-02 05:55:06] 739*2^705263-1 is not prime. Res64: BED4B351CE6850EC Time : 926.0 sec. user=Zachariassen [2009-08-02 05:55:12] 711*2^705254-1 is not prime. Res64: 7AB15FFC48FC7753 Time : 2549.0 sec. user=Zachariassen [2009-08-02 05:56:32] 791*2^705254-1 is not prime. Res64: 80D3990C313A3DAB Time : 2522.0 sec. user=Zachariassen [2009-08-02 05:56:40] 649*2^705257-1 is not prime. Res64: 2EF9A2B61B5358B1 Time : 1994.0 sec. user=Zachariassen [2009-08-02 05:57:25] 775*2^705255-1 is not prime. Res64: D5F303DDB80A9840 Time : 2531.0 sec. user=vaughan [2009-08-02 06:01:47] 641*2^705266-1 is not prime. Res64: E5A3CC3E2EC6A0DF Time : 533.0 sec. user=vaughan [2009-08-02 06:01:58] 677*2^705266-1 is not prime. Res64: FA3707C1250A0317 Time : 533.0 sec. user=vaughan [2009-08-02 06:02:11] 735*2^705266-1 is not prime. Res64: 05EB101C92AED932 Time : 535.0 sec. user=Zachariassen [2009-08-02 06:03:22] 679*2^705259-1 is not prime. Res64: 914F6C8D05A13B24 Time : 2025.0 sec. user=vaughan [2009-08-02 06:03:31] 675*2^705267-1 is not prime. Res64: 41F94F0926AB4277 Time : 514.0 sec. user=Zachariassen [2009-08-02 06:05:53] 605*2^705260-1 is not prime. Res64: 8AE7758D5DA31562 Time : 2051.0 sec. user=vaughan [2009-08-02 06:09:56] 781*2^705263-1 is not prime. Res64: 9C50FD87C9C8E959 Time : 1609.0 sec. user=vaughan [2009-08-02 06:10:01] 781*2^705267-1 is not prime. Res64: D241B58C2F4C0768 Time : 895.0 sec. user=vaughan [2009-08-02 06:10:05] 623*2^705266-1 is not prime. Res64: 7D571DFF276153AF Time : 1282.0 sec. user=vaughan [2009-08-02 06:10:12] 601*2^705265-1 is not prime. Res64: A07B4C38B60FE4A3 Time : 1483.0 sec. user=vaughan [2009-08-02 06:10:39] 749*2^705268-1 is not prime. Res64: CC6CF95559B111E9 Time : 532.0 sec. user=vaughan [2009-08-02 06:10:48] 783*2^705268-1 is not prime. Res64: 7E077102EF6D39A6 Time : 530.0 sec. user=vaughan [2009-08-02 06:11:01] 615*2^705269-1 is not prime. Res64: 2606BFDA32F3F637 Time : 530.0 sec. user=vaughan [2009-08-02 06:12:00] 627*2^705269-1 is not prime. Res64: 0232D3CBBB8083F4 Time : 509.0 sec. user=Zachariassen [2009-08-02 06:12:44] 705*2^705262-1 is not prime. Res64: C50B9F586DD9F27A Time : 2107.0 sec. user=Zachariassen [2009-08-02 06:14:46] 705*2^705263-1 is not prime. Res64: 079C8461A5354E6E Time : 2110.0 sec. user=Zachariassen [2009-08-02 06:14:47] 767*2^705260-1 is not prime. Res64: 2635689E0C65EBEE Time : 2579.0 sec. user=Zachariassen [2009-08-02 06:16:37] 679*2^705261-1 is not prime. Res64: 5260538B54331FC1 Time : 2572.0 sec. user=Zachariassen [2009-08-02 06:17:48] 603*2^705262-1 is not prime. Res64: 680EEA279D98B3AD Time : 2545.0 sec. user=Zachariassen [2009-08-02 06:18:50] 635*2^705262-1 is not prime. Res64: 0623B4314F7E7AFA Time : 2564.0 sec. user=vaughan [2009-08-02 06:19:24] 725*2^705270-1 is not prime. Res64: 8ABE977BBDA006D9 Time : 525.0 sec. user=vaughan [2009-08-02 06:19:34] 645*2^705271-1 is not prime. Res64: 79633C866BFE350F Time : 526.0 sec. user=vaughan [2009-08-02 06:19:48] 789*2^705271-1 is not prime. Res64: 79CE0AE0876FC321 Time : 527.0 sec. user=vaughan [2009-08-02 06:20:27] 615*2^705272-1 is not prime. Res64: 5B61DF77469B8849 Time : 507.0 sec. user=Zachariassen [2009-08-02 06:21:08] 717*2^705265-1 is not prime. Res64: CA8DA82F6B194B4F Time : 2134.0 sec. user=vaughan [2009-08-02 06:22:15] 775*2^705269-1 is not prime. Res64: 4A0EAAA283AB8999 Time : 731.0 sec. user=vaughan [2009-08-02 06:22:30] 787*2^705269-1 is not prime. Res64: 57E06532670F542D Time : 738.0 sec. user=vaughan [2009-08-02 06:22:51] 645*2^705269-1 is not prime. Res64: E4289072994A2F64 Time : 775.0 sec. user=vaughan [2009-08-02 06:22:57] 675*2^705269-1 is not prime. Res64: CC1B0F4F41FCC0BC Time : 776.0 sec. user=Zachariassen [2009-08-02 06:23:17] 771*2^705265-1 is not prime. Res64: E542B818C1685B54 Time : 2126.0 sec. user=vaughan [2009-08-02 06:28:14] 617*2^705274-1 is not prime. Res64: B4B2A2E1783F9D94 Time : 530.0 sec. user=vaughan [2009-08-02 06:28:23] 665*2^705274-1 is not prime. Res64: 13F5598163EB6CAB Time : 529.0 sec. user=vaughan [2009-08-02 06:28:36] 731*2^705274-1 is not prime. Res64: AEBD7F3259CA594C Time : 529.0 sec. user=vaughan [2009-08-02 06:28:57] 655*2^705275-1 is not prime. Res64: 56278BD59417B2C4 Time : 510.0 sec. user=Zachariassen [2009-08-02 06:29:48] 783*2^705266-1 is not prime. Res64: C26DB7C0DA124A51 Time : 2140.0 sec. user=Zachariassen [2009-08-02 06:31:32] 665*2^705268-1 is not prime. Res64: 66BBC25A115E1E4C Time : 2092.0 sec. user=vaughan [2009-08-02 06:34:29] 679*2^705275-1 is not prime. Res64: 1984297564529668 Time : 734.0 sec. user=vaughan [2009-08-02 06:34:46] 789*2^705275-1 is not prime. Res64: 8786A35CFAB42517 Time : 736.0 sec. user=Zachariassen [2009-08-02 06:36:07] 755*2^705266-1 is not prime. Res64: 398B21F06277CAB8 Time : 2566.0 sec. user=vaughan [2009-08-02 06:36:53] 683*2^705276-1 is not prime. Res64: 7B47D8165E42C3FB Time : 842.0 sec. user=vaughan [2009-08-02 06:36:58] 687*2^705277-1 is not prime. Res64: 3EC1DA1A2706FC63 Time : 524.0 sec. user=vaughan [2009-08-02 06:36:59] 707*2^705276-1 is not prime. Res64: BD0C34713C616325 Time : 842.0 sec. user=vaughan [2009-08-02 06:37:09] 691*2^705277-1 is not prime. Res64: DC9C9FCE490D38CB Time : 526.0 sec. user=vaughan [2009-08-02 06:37:24] 707*2^705278-1 is not prime. Res64: AECE6B5BF9B07077 Time : 528.0 sec. user=vaughan [2009-08-02 06:37:25] 747*2^705278-1 is not prime. Res64: E4B799FFCE0CE026 Time : 508.0 sec. user=Zachariassen [2009-08-02 06:37:27] 621*2^705269-1 is not prime. Res64: FE0F1F86DF12F9A4 Time : 2046.0 sec. user=Zachariassen [2009-08-02 06:37:41] 605*2^705268-1 is not prime. Res64: 40162174F6177493 Time : 2549.0 sec. user=Zachariassen [2009-08-02 06:38:57] 639*2^705268-1 is not prime. Res64: 60CCC70967571CF5 Time : 2546.0 sec. user=Zachariassen [2009-08-02 06:39:17] 631*2^705269-1 is not prime. Res64: 9890EFB29ABE1E0A Time : 2004.0 sec. user=Zachariassen [2009-08-02 06:40:15] 695*2^705268-1 is not prime. Res64: 9C799B8E32125C85 Time : 2571.0 sec. user=Zachariassen [2009-08-02 06:45:26] 665*2^705272-1 is not prime. Res64: 7A002BD962702E50 Time : 1962.0 sec. user=vaughan [2009-08-02 06:45:41] 675*2^705280-1 is not prime. Res64: 04472EFF9335FEB9 Time : 523.0 sec. user=vaughan [2009-08-02 06:45:52] 777*2^705280-1 is not prime. Res64: 5891D8770C022A91 Time : 508.0 sec. user=vaughan [2009-08-02 06:45:52] 713*2^705280-1 is not prime. Res64: 06298B7263928699 Time : 523.0 sec. user=vaughan [2009-08-02 06:46:07] 719*2^705280-1 is not prime. Res64: 20746EA9A406EF67 Time : 523.0 sec. user=vaughan [2009-08-02 06:46:37] 691*2^705279-1 is not prime. Res64: 0C31798E88FD9705 Time : 728.0 sec. user=Zachariassen [2009-08-02 06:47:03] 759*2^705272-1 is not prime. Res64: 4FBD6057C825CB47 Time : 1938.0 sec. user=vaughan [2009-08-02 06:47:12] 741*2^705279-1 is not prime. Res64: CC4EE8512B085796 Time : 746.0 sec. user=vaughan [2009-08-02 06:49:50] 635*2^705280-1 is not prime. Res64: 45A4EAAC41080938 Time : 777.0 sec. user=vaughan [2009-08-02 06:49:55] 707*2^705280-1 is not prime. Res64: F89BC0DE2D65A305 Time : 776.0 sec. user=Zachariassen [2009-08-02 06:53:16] 675*2^705275-1 is not prime. Res64: 8F757F1EF406AC31 Time : 1929.0 sec. user=vaughan [2009-08-02 06:54:19] 771*2^705283-1 is not prime. Res64: B5A5F18226AFDE0D Time : 507.0 sec. user=vaughan [2009-08-02 06:54:25] 691*2^705283-1 is not prime. Res64: 7CB739139FAE42FB Time : 524.0 sec. user=vaughan [2009-08-02 06:54:37] 793*2^705283-1 is not prime. Res64: 9B83547432F401CE Time : 525.0 sec. user=vaughan [2009-08-02 06:54:51] 605*2^705284-1 is not prime. Res64: DB1A03E16DCBCD5A Time : 524.0 sec. user=Zachariassen [2009-08-02 06:55:02] 651*2^705277-1 is not prime. Res64: ED7A448D081F5E3F Time : 1906.0 sec. user=Zachariassen [2009-08-02 06:57:09] 705*2^705273-1 is not prime. Res64: 03E9842A88B59479 Time : 2543.0 sec. user=vaughan [2009-08-02 06:58:39] 609*2^705284-1 is not prime. Res64: E6F614550DCC8BAE Time : 722.0 sec. user=Zachariassen [2009-08-02 06:58:42] 739*2^705273-1 is not prime. Res64: 35688339D25CB41D Time : 2526.0 sec. user=vaughan [2009-08-02 06:59:36] 665*2^705284-1 is not prime. Res64: DD7B1025000D4E53 Time : 745.0 sec. user=Zachariassen [2009-08-02 07:00:00] 741*2^705273-1 is not prime. Res64: C174C0A98C540AFA Time : 2533.0 sec. user=Zachariassen [2009-08-02 07:00:57] 609*2^705279-1 is not prime. Res64: 7586071C4A61063D Time : 1870.0 sec. user=Zachariassen [2009-08-02 07:01:23] 605*2^705274-1 is not prime. Res64: 2F526F32F7E16B9C Time : 2554.0 sec. user=Zachariassen [2009-08-02 07:02:40] 625*2^705279-1 is not prime. Res64: 3F50788CFD057E22 Time : 1868.0 sec. user=vaughan [2009-08-02 07:02:53] 765*2^705286-1 is not prime. Res64: 36754AE311101D20 Time : 514.0 sec. user=vaughan [2009-08-02 07:02:53] 773*2^705284-1 is not prime. Res64: 1967AAB8AC841039 Time : 783.0 sec. user=vaughan [2009-08-02 07:02:57] 691*2^705285-1 is not prime. Res64: 058847493139AB35 Time : 782.0 sec. user=vaughan [2009-08-02 07:03:17] 729*2^705287-1 is not prime. Res64: 23133EDFEA4BAB43 Time : 532.0 sec. user=vaughan [2009-08-02 07:03:28] 605*2^705288-1 is not prime. Res64: 4ECCA3FFA2A8E617 Time : 531.0 sec. user=vaughan [2009-08-02 07:03:45] 665*2^705288-1 is not prime. Res64: E599B2CAE6FA4B2B Time : 534.0 sec. user=Zachariassen [2009-08-02 07:08:27] 607*2^705281-1 is not prime. Res64: 7CE099BC6F943E54 Time : 1860.0 sec. user=Zachariassen [2009-08-02 07:10:11] 727*2^705281-1 is not prime. Res64: 58FB0893543F118B Time : 1854.0 sec. user=vaughan [2009-08-02 07:10:44] 619*2^705289-1 is not prime. Res64: 41F15B1D0AB29264 Time : 725.0 sec. user=vaughan [2009-08-02 07:11:23] 707*2^705290-1 is not prime. Res64: 5A9CB160FE160DB5 Time : 510.0 sec. user=vaughan [2009-08-02 07:12:02] 687*2^705289-1 is not prime. Res64: B232CE3EB9407097 Time : 746.0 sec. user=vaughan [2009-08-02 07:12:05] 651*2^705291-1 is not prime. Res64: 62AE4A3FB68B4483 Time : 529.0 sec. user=vaughan [2009-08-02 07:12:19] 679*2^705291-1 is not prime. Res64: D643512CC1DED681 Time : 531.0 sec. user=vaughan [2009-08-02 07:12:33] 705*2^705291-1 is not prime. Res64: 2003F763285D1650 Time : 528.0 sec. user=vaughan [2009-08-02 07:16:03] 755*2^705290-1 is not prime. Res64: 4C3E2B5DE1A87CFC Time : 790.0 sec. user=vaughan [2009-08-02 07:16:06] 643*2^705291-1 is not prime. Res64: 3789941E31B3E12A Time : 789.0 sec. user=Zachariassen [2009-08-02 07:16:23] 795*2^705281-1 is not prime. Res64: 0A499884A76BF096 Time : 1857.0 sec. user=Zachariassen [2009-08-02 07:18:16] 623*2^705284-1 is not prime. Res64: D1F1CF74CC04C1DB Time : 1874.0 sec. user=Zachariassen [2009-08-02 07:18:34] 629*2^705280-1 is not prime. Res64: 511FE59E3A675EE0 Time : 2548.0 sec. user=Zachariassen [2009-08-02 07:19:59] 631*2^705281-1 is not prime. Res64: BFA11A137A9FA759 Time : 2539.0 sec. user=vaughan [2009-08-02 07:20:17] 617*2^705292-1 is not prime. Res64: 6B14BA145B636EAD Time : 534.0 sec. user=vaughan [2009-08-02 07:21:23] 695*2^705292-1 is not prime. Res64: F53D150CAB0D3751 Time : 558.0 sec. user=Zachariassen [2009-08-02 07:21:24] 705*2^705281-1 is not prime. Res64: 3AF3410797046DDB Time : 2547.0 sec. user=vaughan [2009-08-02 07:21:39] 719*2^705292-1 is not prime. Res64: 5CDF18B26662BE2A Time : 560.0 sec. user=vaughan [2009-08-02 07:21:55] 649*2^705293-1 is not prime. Res64: 6BA5C648143A317E Time : 562.0 sec. user=vaughan [2009-08-02 07:22:45] 609*2^705292-1 is not prime. Res64: 7A482C0076812243 Time : 721.0 sec. user=Zachariassen [2009-08-02 07:22:53] 789*2^705281-1 is not prime. Res64: ED8D96DA352BE465 Time : 2559.0 sec. user=Zachariassen [2009-08-02 07:24:28] 603*2^705286-1 is not prime. Res64: 11C7C41EF9574DD1 Time : 1872.0 sec. user=vaughan [2009-08-02 07:24:31] 657*2^705292-1 is not prime. Res64: 65E58FF9D2DB9A20 Time : 750.0 sec. user=Zachariassen [2009-08-02 07:25:59] 737*2^705288-1 is not prime. Res64: 676A032308F5BB7E Time : 1857.0 sec. user=vaughan [2009-08-02 07:29:11] 741*2^705294-1 is not prime. Res64: BF925488FBE46175 Time : 534.0 sec. user=vaughan [2009-08-02 07:29:17] 741*2^705293-1 is not prime. Res64: FEEFDCA627E37662 Time : 794.0 sec. user=vaughan [2009-08-02 07:29:19] 757*2^705293-1 is not prime. Res64: 38E0F0876D332FF4 Time : 793.0 sec. user=vaughan [2009-08-02 07:30:29] 755*2^705294-1 is not prime. Res64: FEA98C1303D95137 Time : 547.0 sec. user=vaughan [2009-08-02 07:30:44] 601*2^705295-1 is not prime. Res64: 1BCAE5ACE0E19B34 Time : 545.0 sec. user=vaughan [2009-08-02 07:30:54] 679*2^705295-1 is not prime. Res64: 1677893FDB830EB6 Time : 540.0 sec. user=Zachariassen [2009-08-02 07:32:04] 751*2^705289-1 is not prime. Res64: 0D98C8DF2E57DC82 Time : 1867.0 sec. user=Zachariassen [2009-08-02 07:33:53] 675*2^705290-1 is not prime. Res64: 8FB24DAB3E76AB5E Time : 1873.0 sec. user=vaughan [2009-08-02 07:34:47] 693*2^705295-1 is not prime. Res64: FF4931CD2BA69CF1 Time : 722.0 sec. user=vaughan [2009-08-02 07:36:59] 693*2^705296-1 is not prime. Res64: DC0719EB390C116D Time : 749.0 sec. user=vaughan [2009-08-02 07:37:40] 649*2^705297-1 is not prime. Res64: F869DA8CEBBECA80 Time : 510.0 sec. user=vaughan [2009-08-02 07:39:14] 777*2^705297-1 is not prime. Res64: 2BFD3E42267B50B5 Time : 526.0 sec. user=vaughan [2009-08-02 07:39:30] 603*2^705298-1 is not prime. Res64: FEDE9D0C61CC8D28 Time : 526.0 sec. user=vaughan [2009-08-02 07:39:41] 621*2^705298-1 is not prime. Res64: C43EED0DBE01BFA4 Time : 527.0 sec. user=Zachariassen [2009-08-02 07:39:55] 773*2^705288-1 is not prime. Res64: C1C1F7EFD7F9BF10 Time : 2566.0 sec. user=Zachariassen [2009-08-02 07:40:50] 709*2^705291-1 is not prime. Res64: ED36D8FADCFD9523 Time : 1943.0 sec. user=Zachariassen [2009-08-02 07:41:29] 625*2^705289-1 is not prime. Res64: C64467AFBC4CB3EE Time : 2567.0 sec. user=vaughan [2009-08-02 07:42:27] 699*2^705297-1 is not prime. Res64: B5E6F6BE8A59A31B Time : 790.0 sec. user=Zachariassen [2009-08-02 07:42:27] 723*2^705291-1 is not prime. Res64: BA2F76FA3D756F43 Time : 1936.0 sec. user=vaughan [2009-08-02 07:42:28] 765*2^705297-1 is not prime. Res64: F2EC020F6CD20C3E Time : 789.0 sec. user=Zachariassen [2009-08-02 07:42:48] 699*2^705289-1 is not prime. Res64: AC9B592E2AD13045 Time : 2568.0 sec. user=Zachariassen [2009-08-02 07:44:12] 633*2^705290-1 is not prime. Res64: 6BA94D3BBF784F4B Time : 2569.0 sec. user=vaughan [2009-08-02 07:46:11] 745*2^705299-1 is not prime. Res64: 126400419A1886DD Time : 511.0 sec. user=vaughan [2009-08-02 07:46:51] 777*2^705298-1 is not prime. Res64: 4804ABC52825B3FF Time : 724.0 sec. user=vaughan [2009-08-02 07:48:03] 707*2^705300-1 is not prime. Res64: 9DDBAC32669D8762 Time : 529.0 sec. user=vaughan [2009-08-02 07:48:19] 797*2^705300-1 is not prime. Res64: BAE50E594FF0C9AA Time : 530.0 sec. user=vaughan [2009-08-02 07:48:35] 619*2^705301-1 is not prime. Res64: ADCFF28674AD802F Time : 534.0 sec. user=Zachariassen [2009-08-02 07:48:38] 771*2^705293-1 is not prime. Res64: 0FC69BCDCF7E9C79 Time : 1936.0 sec. user=vaughan [2009-08-02 07:49:32] 631*2^705299-1 is not prime. Res64: 6DED947C0C6E824C Time : 753.0 sec. user=Zachariassen [2009-08-02 07:50:19] 621*2^705294-1 is not prime. Res64: 2C66810DC8A00BA0 Time : 1923.0 sec. user=vaughan [2009-08-02 07:54:44] 669*2^705303-1 is not prime. Res64: 1800D7067DBE7E94 Time : 513.0 sec. user=vaughan [2009-08-02 07:55:34] 683*2^705302-1 is not prime. Res64: 34FB0BCF44F3C03E Time : 788.0 sec. user=vaughan [2009-08-02 07:55:36] 705*2^705302-1 is not prime. Res64: 6603C1EAA86761D7 Time : 788.0 sec. user=vaughan [2009-08-02 07:56:57] 741*2^705303-1 is not prime. Res64: 4592E8E297CB6F11 Time : 534.0 sec. user=vaughan [2009-08-02 07:57:13] 615*2^705304-1 is not prime. Res64: 9D3C48F8FF70D9BB Time : 534.0 sec. user=Zachariassen [2009-08-02 07:57:16] 609*2^705296-1 is not prime. Res64: 5DBA5D2230C04C49 Time : 1968.0 sec. user=vaughan [2009-08-02 07:57:27] 657*2^705304-1 is not prime. Res64: A0399F6B49386527 Time : 532.0 sec. user=Zachariassen [2009-08-02 07:58:42] 743*2^705296-1 is not prime. Res64: FB692D8C1CE59AE2 Time : 1963.0 sec. user=vaughan [2009-08-02 07:58:51] 709*2^705303-1 is not prime. Res64: 5AE937070F1B2CE0 Time : 720.0 sec. user=Zachariassen [2009-08-02 08:00:43] 635*2^705294-1 is not prime. Res64: BC88597F72F50323 Time : 2530.0 sec. user=vaughan [2009-08-02 08:02:07] 601*2^705305-1 is not prime. Res64: BD858F547EC3E614 Time : 755.0 sec. user=Zachariassen [2009-08-02 08:02:24] 663*2^705294-1 is not prime. Res64: E89C74834A920399 Time : 2545.0 sec. user=vaughan [2009-08-02 08:03:18] 727*2^705305-1 is not prime. Res64: A7BD41CB0811B790 Time : 515.0 sec. user=Zachariassen [2009-08-02 08:03:54] 795*2^705294-1 is not prime. Res64: 51E538AB80271526 Time : 2550.0 sec. user=Zachariassen [2009-08-02 08:04:15] 647*2^705298-1 is not prime. Res64: 2BC0CD757899D020 Time : 1931.0 sec. user=Zachariassen [2009-08-02 08:05:20] 771*2^705295-1 is not prime. Res64: 5F2B4A97D103A64E Time : 2547.0 sec. user=vaughan [2009-08-02 08:05:50] 705*2^705306-1 is not prime. Res64: F04D2554C9CB9BD0 Time : 534.0 sec. user=vaughan [2009-08-02 08:06:06] 711*2^705306-1 is not prime. Res64: EFD8DE49DA2905BC Time : 533.0 sec. user=Zachariassen [2009-08-02 08:06:17] 695*2^705298-1 is not prime. Res64: A171A6F730CC5016 Time : 1944.0 sec. user=vaughan [2009-08-02 08:06:20] 725*2^705306-1 is not prime. Res64: A7C7FC184BA1E3A8 Time : 534.0 sec. user=vaughan [2009-08-02 08:08:38] 799*2^705305-1 is not prime. Res64: F9EF4C0475DA2862 Time : 785.0 sec. user=vaughan [2009-08-02 08:08:41] 627*2^705306-1 is not prime. Res64: AB4F1FEEA803A2D8 Time : 786.0 sec. user=vaughan [2009-08-02 08:10:52] 601*2^705307-1 is not prime. Res64: F4C9173C272D5997 Time : 721.0 sec. user=vaughan [2009-08-02 08:11:57] 769*2^705307-1 is not prime. Res64: C24DB89229D2BAA6 Time : 519.0 sec. user=Zachariassen [2009-08-02 08:12:55] 757*2^705301-1 is not prime. Res64: 78498F17B2E08C2B Time : 1926.0 sec. user=vaughan [2009-08-02 08:14:35] 675*2^705307-1 is not prime. Res64: 02899C843A60160D Time : 749.0 sec. user=Zachariassen [2009-08-02 08:14:37] 671*2^705302-1 is not prime. Res64: 11A4AD77C8E48ABF Time : 1931.0 sec. user=vaughan [2009-08-02 08:14:46] 797*2^705308-1 is not prime. Res64: 82D3ABE12D6AB7D1 Time : 537.0 sec. user=vaughan [2009-08-02 08:15:04] 621*2^705309-1 is not prime. Res64: 3EDC6DB4C4D0AE6C Time : 538.0 sec. user=vaughan [2009-08-02 08:15:18] 727*2^705309-1 is not prime. Res64: 09E8F40DE5300313 Time : 538.0 sec. user=Zachariassen [2009-08-02 08:20:23] 773*2^705304-1 is not prime. Res64: 21BFC0468594D673 Time : 1905.0 sec. user=vaughan [2009-08-02 08:20:31] 731*2^705310-1 is not prime. Res64: 5992FA39D8BAEED7 Time : 515.0 sec. user=vaughan [2009-08-02 08:21:44] 735*2^705309-1 is not prime. Res64: E1EECCD0E583C368 Time : 787.0 sec. user=vaughan [2009-08-02 08:21:48] 741*2^705309-1 is not prime. Res64: EFE9AFF400993CA4 Time : 787.0 sec. user=Zachariassen [2009-08-02 08:22:11] 621*2^705301-1 is not prime. Res64: 1A42A0746E276D92 Time : 2536.0 sec. user=Zachariassen [2009-08-02 08:22:21] 699*2^705305-1 is not prime. Res64: 02AA8E74D733F411 Time : 1922.0 sec. user=vaughan [2009-08-02 08:22:53] 781*2^705309-1 is not prime. Res64: EE63A0CEF2AB0E28 Time : 721.0 sec. user=vaughan [2009-08-02 08:23:35] 679*2^705311-1 is not prime. Res64: 87A1D5527C5F6F0A Time : 529.0 sec. user=Zachariassen [2009-08-02 08:23:38] 769*2^705301-1 is not prime. Res64: 13A7B3C3017D177E Time : 2529.0 sec. user=vaughan [2009-08-02 08:23:54] 753*2^705311-1 is not prime. Res64: 08A1808A5BF2EE6A Time : 531.0 sec. user=vaughan [2009-08-02 08:24:09] 689*2^705312-1 is not prime. Res64: 3892EA2CE706016F Time : 531.0 sec. user=Zachariassen [2009-08-02 08:24:57] 711*2^705302-1 is not prime. Res64: 571278E8BC3EF84E Time : 2529.0 sec. user=Zachariassen [2009-08-02 08:26:40] 771*2^705302-1 is not prime. Res64: 4E829E79B841EF76 Time : 2548.0 sec. user=vaughan [2009-08-02 08:27:05] 791*2^705310-1 is not prime. Res64: D67CC63789E67228 Time : 750.0 sec. user=Zachariassen [2009-08-02 08:28:40] 717*2^705306-1 is not prime. Res64: F785C51209BE914C Time : 1885.0 sec. user=vaughan [2009-08-02 08:29:06] 699*2^705313-1 is not prime. Res64: 4838DD7192868949 Time : 515.0 sec. user=Zachariassen [2009-08-02 08:30:23] 755*2^705306-1 is not prime. Res64: 3367B26A9227BAA4 Time : 1902.0 sec. user=vaughan [2009-08-02 08:32:25] 773*2^705314-1 is not prime. Res64: CB40233E4776FD49 Time : 530.0 sec. user=vaughan [2009-08-02 08:32:43] 669*2^705315-1 is not prime. Res64: 53E512441ABDE291 Time : 529.0 sec. user=vaughan [2009-08-02 08:33:00] 781*2^705315-1 is not prime. Res64: F9D705C6F2F615AC Time : 531.0 sec. user=vaughan [2009-08-02 08:34:49] 741*2^705313-1 is not prime. Res64: D768B97598C071D9 Time : 785.0 sec. user=vaughan [2009-08-02 08:34:54] 769*2^705313-1 is not prime. Res64: 3DF465759E3B27CB Time : 787.0 sec. user=vaughan [2009-08-02 08:34:56] 717*2^705314-1 is not prime. Res64: C3E2E74521806E41 Time : 723.0 sec. user=Zachariassen [2009-08-02 08:35:57] 629*2^705308-1 is not prime. Res64: 42CAADF37C2515D1 Time : 1902.0 sec. user=Zachariassen [2009-08-02 08:37:48] 667*2^705309-1 is not prime. Res64: 5C393FD720212BE8 Time : 1891.0 sec. user=vaughan [2009-08-02 08:38:00] 769*2^705317-1 is not prime. Res64: 1549B53FDFCE38F4 Time : 535.0 sec. user=vaughan [2009-08-02 08:39:33] 699*2^705317-1 is not prime. Res64: F849386C8FD06B2A Time : 749.0 sec. user=vaughan [2009-08-02 08:41:59] 777*2^705317-1 is not prime. Res64: 1E648D9B46192CC7 Time : 574.0 sec. user=vaughan [2009-08-02 08:42:20] 635*2^705318-1 is not prime. Res64: B4ACF0F6ECAF82BC Time : 577.0 sec. user=vaughan [2009-08-02 08:42:39] 683*2^705318-1 is not prime. Res64: 87672020AC5E71E5 Time : 579.0 sec. user=Zachariassen [2009-08-02 08:43:41] 603*2^705307-1 is not prime. Res64: DF400388A842FE2D Time : 2578.0 sec. user=Zachariassen [2009-08-02 08:44:28] 755*2^705310-1 is not prime. Res64: 7410FF37F17832CD Time : 1893.0 sec. user=Zachariassen [2009-08-02 08:45:07] 693*2^705307-1 is not prime. Res64: D4F83D188AD7DD8C Time : 2563.0 sec. user=Zachariassen [2009-08-02 08:46:17] 651*2^705311-1 is not prime. Res64: 88DD191EFB1D2689 Time : 1900.0 sec. user=Zachariassen [2009-08-02 08:46:21] 603*2^705308-1 is not prime. Res64: E6C643F6442EF01F Time : 2547.0 sec. user=vaughan [2009-08-02 08:47:00] 737*2^705318-1 is not prime. Res64: 47BF979D5231F8B8 Time : 725.0 sec. user=vaughan [2009-08-02 08:47:56] 707*2^705318-1 is not prime. Res64: BBBC150F06377176 Time : 787.0 sec. user=Zachariassen [2009-08-02 08:47:56] 707*2^705308-1 is not prime. Res64: 61F43B36ECCCF832 Time : 2556.0 sec. user=vaughan [2009-08-02 08:48:01] 731*2^705318-1 is not prime. Res64: 3D0EBF63E14FD573 Time : 787.0 sec. user=Zachariassen [2009-08-02 08:52:04] 615*2^705313-1 is not prime. Res64: E265D551D8907E87 Time : 1901.0 sec. user=vaughan [2009-08-02 08:52:13] 725*2^705320-1 is not prime. Res64: 2292FE7DF1179056 Time : 760.0 sec. user=Zachariassen [2009-08-02 08:54:01] 675*2^705314-1 is not prime. Res64: 6F89011C02F8B25C Time : 1901.0 sec. user=vaughan [2009-08-02 08:59:02] 699*2^705323-1 is not prime. Res64: FF211672A03C44EB Time : 723.0 sec. user=Zachariassen [2009-08-02 09:00:27] 757*2^705317-1 is not prime. Res64: 51323A8CD40E41A0 Time : 1907.0 sec. user=vaughan [2009-08-02 09:00:51] 625*2^705321-1 is not prime. Res64: 6F9AE92D90414018 Time : 1132.0 sec. user=vaughan [2009-08-02 09:00:57] 675*2^705320-1 is not prime. Res64: A39E671D0485A57F Time : 1377.0 sec. user=vaughan [2009-08-02 09:01:03] 705*2^705323-1 is not prime. Res64: 2CAB7423DC7E14AF Time : 788.0 sec. user=vaughan [2009-08-02 09:01:07] 737*2^705324-1 is not prime. Res64: E0A8FD4014EC561C Time : 787.0 sec. user=vaughan [2009-08-02 09:01:10] 639*2^705321-1 is not prime. Res64: BC0242A51DFADB57 Time : 1130.0 sec. user=vaughan [2009-08-02 09:01:23] 747*2^705321-1 is not prime. Res64: 25EFBFD1B0005D45 Time : 1125.0 sec. user=Zachariassen [2009-08-02 09:02:09] 771*2^705317-1 is not prime. Res64: B502CA144D56F9E1 Time : 1907.0 sec. user=vaughan [2009-08-02 09:04:44] 601*2^705325-1 is not prime. Res64: B685912DFBB62748 Time : 752.0 sec. user=Zachariassen [2009-08-02 09:04:51] 605*2^705314-1 is not prime. Res64: E4055F1945F251A8 Time : 2561.0 sec. user=Zachariassen [2009-08-02 09:06:37] 797*2^705314-1 is not prime. Res64: 53CB8B8B44FB776B Time : 2580.0 sec. user=Zachariassen [2009-08-02 09:07:38] 657*2^705316-1 is not prime. Res64: 25E913268171C9B9 Time : 2562.0 sec. user=Zachariassen [2009-08-02 09:07:50] 765*2^705318-1 is not prime. Res64: FFA7E7F584BCC68C Time : 1913.0 sec. user=Zachariassen [2009-08-02 09:09:23] 619*2^705317-1 is not prime. Res64: 42CDADC33B6E6EB7 Time : 2564.0 sec. user=vaughan [2009-08-02 09:09:46] 707*2^705326-1 is not prime. Res64: 30B088D5060D1A22 Time : 529.0 sec. user=vaughan [2009-08-02 09:09:56] 671*2^705326-1 is not prime. Res64: DB44FC9F99650080 Time : 545.0 sec. user=Zachariassen [2009-08-02 09:09:57] 601*2^705319-1 is not prime. Res64: 584E1FD8D96F8AAB Time : 1929.0 sec. user=vaughan [2009-08-02 09:10:16] 773*2^705326-1 is not prime. Res64: 501F6CC19510185E Time : 546.0 sec. user=vaughan [2009-08-02 09:10:32] 609*2^705327-1 is not prime. Res64: DF61D33CEF8B89E6 Time : 549.0 sec. user=vaughan [2009-08-02 09:11:06] 789*2^705325-1 is not prime. Res64: 6857D1DF8FF7210D Time : 724.0 sec. user=vaughan [2009-08-02 09:14:11] 713*2^705326-1 is not prime. Res64: 112D7A3639195CA9 Time : 788.0 sec. user=vaughan [2009-08-02 09:14:16] 717*2^705326-1 is not prime. Res64: 1EA0887B92B666FA Time : 789.0 sec. user=Zachariassen [2009-08-02 09:16:03] 645*2^705322-1 is not prime. Res64: 3670B24CA013C2F4 Time : 1896.0 sec. user=vaughan [2009-08-02 09:17:18] 705*2^705327-1 is not prime. Res64: 7AD3D99BA32F549C Time : 754.0 sec. user=Zachariassen [2009-08-02 09:17:32] 717*2^705322-1 is not prime. Res64: 2F6D440C60D00E51 Time : 1875.0 sec. user=vaughan [2009-08-02 09:18:27] 645*2^705329-1 is not prime. Res64: EA1C7770558CCF5E Time : 521.0 sec. user=vaughan [2009-08-02 09:18:54] 711*2^705329-1 is not prime. Res64: FF0F981967D4F6D7 Time : 538.0 sec. user=vaughan [2009-08-02 09:19:13] 787*2^705329-1 is not prime. Res64: 2FE2317859AC273B Time : 537.0 sec. user=vaughan [2009-08-02 09:19:29] 611*2^705330-1 is not prime. Res64: 614AC0C68FD031E9 Time : 537.0 sec. user=Zachariassen [2009-08-02 09:23:00] 765*2^705324-1 is not prime. Res64: 2DBF2BBB98310844 Time : 1857.0 sec. user=vaughan [2009-08-02 09:23:09] 627*2^705330-1 is not prime. Res64: BBABAC8383C597DA Time : 723.0 sec. user=Zachariassen [2009-08-02 09:24:53] 649*2^705325-1 is not prime. Res64: 71F6F7377442E049 Time : 1853.0 sec. user=Zachariassen [2009-08-02 09:25:55] 635*2^705322-1 is not prime. Res64: A29848D28545B956 Time : 2534.0 sec. user=vaughan [2009-08-02 09:27:01] 673*2^705331-1 is not prime. Res64: C61FED8B16786C4D Time : 514.0 sec. user=vaughan [2009-08-02 09:27:18] 635*2^705330-1 is not prime. Res64: D6C88BA4A524CA54 Time : 788.0 sec. user=vaughan [2009-08-02 09:27:23] 783*2^705330-1 is not prime. Res64: 63F011FC5E624860 Time : 788.0 sec. user=Zachariassen [2009-08-02 09:27:38] 701*2^705322-1 is not prime. Res64: 44DCF80F3336EFF8 Time : 2552.0 sec. user=vaughan [2009-08-02 09:27:46] 679*2^705331-1 is not prime. Res64: FA6449403FD87E53 Time : 532.0 sec. user=vaughan [2009-08-02 09:28:05] 769*2^705331-1 is not prime. Res64: CFD6D5D45613B154 Time : 532.0 sec. user=vaughan [2009-08-02 09:28:22] 609*2^705332-1 is not prime. Res64: 13A2F66A1F99889C Time : 533.0 sec. user=Zachariassen [2009-08-02 09:28:26] 673*2^705323-1 is not prime. Res64: 9AF11735C5D7C82D Time : 2525.0 sec. user=vaughan [2009-08-02 09:29:49] 639*2^705331-1 is not prime. Res64: 7ED04E83045C9875 Time : 752.0 sec. user=Zachariassen [2009-08-02 09:30:31] 627*2^705324-1 is not prime. Res64: 08D8EC11378F4184 Time : 2555.0 sec. user=Zachariassen [2009-08-02 09:31:31] 617*2^705326-1 is not prime. Res64: 8CD06ADDE98EC4FB Time : 1865.0 sec. user=Zachariassen [2009-08-02 09:33:39] 703*2^705327-1 is not prime. Res64: 2596D002D604AEDD Time : 1890.0 sec. user=vaughan [2009-08-02 09:35:20] 665*2^705332-1 is not prime. Res64: A9933BB2B29DCDD3 Time : 731.0 sec. user=vaughan [2009-08-02 09:35:37] 743*2^705332-1 is not prime. Res64: AEE0B516D81E3190 Time : 516.0 sec. user=vaughan [2009-08-02 09:36:41] 727*2^705333-1 is not prime. Res64: 38E6C391A579205A Time : 535.0 sec. user=vaughan [2009-08-02 09:36:57] 795*2^705333-1 is not prime. Res64: 4C360FB8E3AB1365 Time : 533.0 sec. user=vaughan [2009-08-02 09:37:19] 657*2^705334-1 is not prime. Res64: 65F942348DE626A6 Time : 537.0 sec. user=Zachariassen [2009-08-02 09:39:05] 657*2^705328-1 is not prime. Res64: 19DE008A843D972C Time : 1875.0 sec. user=vaughan [2009-08-02 09:40:27] 625*2^705333-1 is not prime. Res64: 0F1B09BDBEBC8D30 Time : 789.0 sec. user=vaughan [2009-08-02 09:40:32] 685*2^705333-1 is not prime. Res64: CFF796FD63CA3948 Time : 789.0 sec. user=Zachariassen [2009-08-02 09:41:07] 721*2^705329-1 is not prime. Res64: 19CF4DCC4A0C6AC1 Time : 1871.0 sec. user=vaughan [2009-08-02 09:42:13] 609*2^705335-1 is not prime. Res64: 6C5AFB9EB58CD227 Time : 744.0 sec. user=vaughan [2009-08-02 09:44:09] 635*2^705336-1 is not prime. Res64: 4EAF4D29F6222248 Time : 513.0 sec. user=vaughan [2009-08-02 09:45:32] 669*2^705336-1 is not prime. Res64: EAE4EE22CBC31574 Time : 532.0 sec. user=vaughan [2009-08-02 09:45:50] 719*2^705336-1 is not prime. Res64: C5648BAE71D3B924 Time : 533.0 sec. user=vaughan [2009-08-02 09:46:13] 767*2^705336-1 is not prime. Res64: BA7769C9F647AD67 Time : 535.0 sec. user=Zachariassen [2009-08-02 09:47:03] 619*2^705331-1 is not prime. Res64: 4969132DFBB324CB Time : 1860.0 sec. user=Zachariassen [2009-08-02 09:47:32] 751*2^705327-1 is not prime. Res64: 7BB6F245BCFC852F Time : 2561.0 sec. user=vaughan [2009-08-02 09:47:38] 623*2^705336-1 is not prime. Res64: A424E2B4A842C4B8 Time : 738.0 sec. user=Zachariassen [2009-08-02 09:48:52] 649*2^705331-1 is not prime. Res64: E1CCBAB2BC6F868D Time : 1881.0 sec. user=Zachariassen [2009-08-02 09:49:04] 795*2^705327-1 is not prime. Res64: 1C115588350EAD7A Time : 2547.0 sec. user=Zachariassen [2009-08-02 09:49:56] 615*2^705328-1 is not prime. Res64: A4ED4BA91FE68448 Time : 2538.0 sec. user=Zachariassen [2009-08-02 09:51:50] 747*2^705328-1 is not prime. Res64: 40B19A0CBBC30215 Time : 2547.0 sec. user=vaughan [2009-08-02 09:52:46] 711*2^705338-1 is not prime. Res64: 62D22A067AEE7CE0 Time : 517.0 sec. user=vaughan [2009-08-02 09:53:45] 741*2^705337-1 is not prime. Res64: 8EE00AAD0694A850 Time : 793.0 sec. user=vaughan [2009-08-02 09:53:46] 649*2^705337-1 is not prime. Res64: 54CDFDB24F7A47BC Time : 799.0 sec. user=Zachariassen [2009-08-02 09:54:16] 623*2^705332-1 is not prime. Res64: 0FFC03939C17FC7E Time : 1876.0 sec. user=vaughan [2009-08-02 09:54:38] 743*2^705338-1 is not prime. Res64: 1A662A50778DDC5A Time : 546.0 sec. user=vaughan [2009-08-02 09:54:43] 657*2^705338-1 is not prime. Res64: BE519C2FF018D214 Time : 750.0 sec. user=vaughan [2009-08-02 09:54:45] 747*2^705338-1 is not prime. Res64: F297C4BAA29809A2 Time : 535.0 sec. user=vaughan [2009-08-02 09:55:05] 771*2^705338-1 is not prime. Res64: 0AFDC3CCA853E236 Time : 533.0 sec. user=Zachariassen [2009-08-02 09:56:28] 687*2^705332-1 is not prime. Res64: CCAB93BAFF18BB0A Time : 1895.0 sec. user=vaughan [2009-08-02 09:59:53] 775*2^705339-1 is not prime. Res64: E927FE77B1DE23C0 Time : 736.0 sec. user=vaughan [2009-08-02 10:01:22] 769*2^705341-1 is not prime. Res64: 4C8521FBB2857A4E Time : 516.0 sec. user=Zachariassen [2009-08-02 10:02:47] 651*2^705335-1 is not prime. Res64: 54DF176836896C2A Time : 1877.0 sec. user=vaughan [2009-08-02 10:03:34] 657*2^705342-1 is not prime. Res64: D942E6337CBEA2F7 Time : 543.0 sec. user=vaughan [2009-08-02 10:03:37] 725*2^705342-1 is not prime. Res64: EAED8AF8D84523FC Time : 532.0 sec. user=vaughan [2009-08-02 10:03:59] 761*2^705342-1 is not prime. Res64: A5B48A182B338C08 Time : 535.0 sec. user=Zachariassen [2009-08-02 10:04:35] 693*2^705335-1 is not prime. Res64: BE47C5CF27685206 Time : 1861.0 sec. user=vaughan [2009-08-02 10:06:57] 775*2^705341-1 is not prime. Res64: 48C91E21F0B8A930 Time : 793.0 sec. user=vaughan [2009-08-02 10:06:59] 799*2^705341-1 is not prime. Res64: E05A95EF36F36059 Time : 794.0 sec. user=vaughan [2009-08-02 10:07:15] 723*2^705342-1 is not prime. Res64: B7881C8E4129341C Time : 752.0 sec. user=Zachariassen [2009-08-02 10:08:57] 693*2^705332-1 is not prime. Res64: F414DA47699E9E62 Time : 2583.0 sec. user=Zachariassen [2009-08-02 10:09:51] 645*2^705337-1 is not prime. Res64: 08976A121D3F3A52 Time : 1847.0 sec. user=vaughan [2009-08-02 10:10:03] 639*2^705343-1 is not prime. Res64: 9593BB5E9540C03A Time : 522.0 sec. user=Zachariassen [2009-08-02 10:10:28] 691*2^705333-1 is not prime. Res64: E48B4C8341120457 Time : 2571.0 sec. user=Zachariassen [2009-08-02 10:11:44] 603*2^705335-1 is not prime. Res64: 4A1935D2754B0026 Time : 2598.0 sec. user=vaughan [2009-08-02 10:11:58] 609*2^705343-1 is not prime. Res64: 40818D676D209108 Time : 726.0 sec. user=Zachariassen [2009-08-02 10:12:16] 641*2^705338-1 is not prime. Res64: 6776CBDB47BD4CB8 Time : 1870.0 sec. user=vaughan [2009-08-02 10:12:30] 775*2^705343-1 is not prime. Res64: C6D0F67AA2742D6B Time : 537.0 sec. user=vaughan [2009-08-02 10:12:35] 615*2^705344-1 is not prime. Res64: B8BF11C310CD2510 Time : 538.0 sec. user=vaughan [2009-08-02 10:12:56] 623*2^705344-1 is not prime. Res64: C1C27D23235AD6DD Time : 537.0 sec. user=Zachariassen [2009-08-02 10:13:28] 619*2^705335-1 is not prime. Res64: 79769CEBA4A914F3 Time : 2578.0 sec. user=vaughan [2009-08-02 10:18:41] 723*2^705346-1 is not prime. Res64: 8F37EBAD92C662C5 Time : 519.0 sec. user=Zachariassen [2009-08-02 10:19:01] 649*2^705339-1 is not prime. Res64: 17E117C2527E7CEF Time : 1918.0 sec. user=vaughan [2009-08-02 10:19:51] 777*2^705345-1 is not prime. Res64: 725FE46561D4244B Time : 757.0 sec. user=vaughan [2009-08-02 10:20:10] 639*2^705345-1 is not prime. Res64: F351FD1CB2EFD714 Time : 794.0 sec. user=vaughan [2009-08-02 10:20:12] 721*2^705345-1 is not prime. Res64: 642F8809343C3972 Time : 793.0 sec. user=Zachariassen [2009-08-02 10:21:23] 789*2^705339-1 is not prime. Res64: ACDF03F5B4103315 Time : 1952.0 sec. user=vaughan [2009-08-02 10:21:42] 615*2^705348-1 is not prime. Res64: 3F0E957A67E39341 Time : 552.0 sec. user=vaughan [2009-08-02 10:21:50] 705*2^705348-1 is not prime. Res64: CBFA4F0AED2B1D0A Time : 555.0 sec. user=vaughan [2009-08-02 10:22:11] 707*2^705348-1 is not prime. Res64: 0BFE26B8B605779C Time : 556.0 sec. user=vaughan [2009-08-02 10:24:05] 711*2^705347-1 is not prime. Res64: B915642E782A9C72 Time : 727.0 sec. user=Zachariassen [2009-08-02 10:26:42] 651*2^705342-1 is not prime. Res64: C15C8E77264D5E85 Time : 1946.0 sec. user=vaughan [2009-08-02 10:27:59] 625*2^705349-1 is not prime. Res64: 891FEF64BED04FC7 Time : 559.0 sec. user=Zachariassen [2009-08-02 10:29:06] 765*2^705342-1 is not prime. Res64: C48BC131DB49C847 Time : 1959.0 sec. user=Zachariassen [2009-08-02 10:30:07] 705*2^705339-1 is not prime. Res64: 9CE4A5B3935E34FB Time : 2556.0 sec. user=vaughan [2009-08-02 10:31:20] 665*2^705350-1 is not prime. Res64: AC928E91C0A94721 Time : 579.0 sec. user=Zachariassen [2009-08-02 10:31:37] 699*2^705340-1 is not prime. Res64: DC72DC0A048FA3DE Time : 2554.0 sec. user=vaughan [2009-08-02 10:31:41] 613*2^705351-1 is not prime. Res64: C2524034ED50DE76 Time : 592.0 sec. user=vaughan [2009-08-02 10:31:43] 669*2^705351-1 is not prime. Res64: 94B9A7C96BF063D0 Time : 572.0 sec. user=vaughan [2009-08-02 10:32:29] 721*2^705349-1 is not prime. Res64: 039CA1A36A1345EE Time : 758.0 sec. user=Zachariassen [2009-08-02 10:33:06] 675*2^705341-1 is not prime. Res64: 087ABD0F3D06697F Time : 2591.0 sec. user=vaughan [2009-08-02 10:33:24] 641*2^705350-1 is not prime. Res64: 947A8D32374327C2 Time : 793.0 sec. user=vaughan [2009-08-02 10:33:24] 747*2^705349-1 is not prime. Res64: A6AF2C38E420FF19 Time : 794.0 sec. user=Zachariassen [2009-08-02 10:34:55] 691*2^705341-1 is not prime. Res64: A9ABEC83B9BC7BCA Time : 2585.0 sec. user=Zachariassen [2009-08-02 10:35:23] 693*2^705343-1 is not prime. Res64: 69CBEFBAF1777FF1 Time : 1956.0 sec. user=vaughan [2009-08-02 10:36:09] 691*2^705351-1 is not prime. Res64: 1D9B0700A5B946A9 Time : 725.0 sec. user=vaughan [2009-08-02 10:36:42] 751*2^705351-1 is not prime. Res64: 52EFE48929A31118 Time : 524.0 sec. user=Zachariassen [2009-08-02 10:37:29] 675*2^705344-1 is not prime. Res64: E9AA25F2CE4A2515 Time : 1975.0 sec. user=vaughan [2009-08-02 10:40:15] 607*2^705353-1 is not prime. Res64: 5A5C9E983908FB61 Time : 535.0 sec. user=vaughan [2009-08-02 10:40:35] 741*2^705353-1 is not prime. Res64: B73C068AD233D2A9 Time : 535.0 sec. user=vaughan [2009-08-02 10:40:39] 745*2^705353-1 is not prime. Res64: 9310E48E8A78F8FB Time : 536.0 sec. user=Zachariassen [2009-08-02 10:42:29] 717*2^705346-1 is not prime. Res64: 1C9303E3673355A2 Time : 1959.0 sec. user=Zachariassen [2009-08-02 10:44:11] 735*2^705347-1 is not prime. Res64: B7BF939FE3AEFC5C Time : 1915.0 sec. user=vaughan [2009-08-02 10:45:05] 789*2^705353-1 is not prime. Res64: C74E9F315DCFB32D Time : 756.0 sec. user=vaughan [2009-08-02 10:45:20] 735*2^705355-1 is not prime. Res64: 76B5BDFBF0065F6D Time : 518.0 sec. user=vaughan [2009-08-02 10:46:37] 671*2^705354-1 is not prime. Res64: 46BF5DCFB0812BBB Time : 793.0 sec. user=vaughan [2009-08-02 10:46:41] 621*2^705354-1 is not prime. Res64: D6C4A21B7BF45B58 Time : 798.0 sec. user=vaughan [2009-08-02 10:48:19] 733*2^705355-1 is not prime. Res64: 37FF861A0A8DC0F7 Time : 730.0 sec. user=vaughan [2009-08-02 10:49:08] 635*2^705356-1 is not prime. Res64: 2A54B900A23848C6 Time : 534.0 sec. user=vaughan [2009-08-02 10:49:38] 759*2^705356-1 is not prime. Res64: 96B6D1A2452B86CC Time : 543.0 sec. user=vaughan [2009-08-02 10:49:41] 601*2^705357-1 is not prime. Res64: AA5AA3BBA144876D Time : 542.0 sec. user=Zachariassen [2009-08-02 10:50:52] 679*2^705349-1 is not prime. Res64: 68EF9CD527BA7AE6 Time : 1911.0 sec. user=Zachariassen [2009-08-02 10:51:21] 635*2^705346-1 is not prime. Res64: D53843EBFF88F0BA Time : 2544.0 sec. user=Zachariassen [2009-08-02 10:52:39] 603*2^705347-1 is not prime. Res64: 8306B7B504CE2F0F Time : 2531.0 sec. user=Zachariassen [2009-08-02 10:53:21] 645*2^705350-1 is not prime. Res64: 717A27131FCAAC8E Time : 1918.0 sec. user=vaughan [2009-08-02 10:53:55] 769*2^705357-1 is not prime. Res64: 78D05032489FC51A Time : 516.0 sec. user=Zachariassen [2009-08-02 10:54:13] 645*2^705347-1 is not prime. Res64: 3D009377A6F6CF8D Time : 2549.0 sec. user=Zachariassen [2009-08-02 10:56:21] 725*2^705348-1 is not prime. Res64: 9853F86FBC3127C0 Time : 2573.0 sec. user=vaughan [2009-08-02 10:57:44] 675*2^705357-1 is not prime. Res64: 369A303CE5441186 Time : 762.0 sec. user=vaughan [2009-08-02 10:58:02] 773*2^705358-1 is not prime. Res64: 4AE5D8AA4EB66F53 Time : 534.0 sec. user=vaughan [2009-08-02 10:58:35] 703*2^705359-1 is not prime. Res64: A60448F4AFE74CBE Time : 535.0 sec. user=vaughan [2009-08-02 10:58:36] 685*2^705359-1 is not prime. Res64: 34FBC25C0BFC6D28 Time : 538.0 sec. user=Zachariassen [2009-08-02 10:58:39] 735*2^705351-1 is not prime. Res64: 2E0739BCFD43201D Time : 1917.0 sec. user=vaughan [2009-08-02 10:59:57] 781*2^705357-1 is not prime. Res64: 7B572C4149EE6F85 Time : 800.0 sec. user=vaughan [2009-08-02 11:00:02] 657*2^705358-1 is not prime. Res64: 84E77C1547921ED7 Time : 801.0 sec. user=Zachariassen [2009-08-02 11:00:13] 615*2^705352-1 is not prime. Res64: 2CC72AF406B9CF26 Time : 1868.0 sec. user=vaughan [2009-08-02 11:00:26] 707*2^705358-1 is not prime. Res64: 9531F3E1D2D165C1 Time : 730.0 sec. user=vaughan [2009-08-02 11:02:35] 789*2^705360-1 is not prime. Res64: C4BCE2514298AE63 Time : 520.0 sec. user=Zachariassen [2009-08-02 11:06:36] 685*2^705355-1 is not prime. Res64: 25039889EEE90BA1 Time : 1874.0 sec. user=vaughan [2009-08-02 11:06:55] 741*2^705362-1 is not prime. Res64: 4699648C0851CDA4 Time : 535.0 sec. user=vaughan [2009-08-02 11:07:28] 797*2^705362-1 is not prime. Res64: 54F51FC5E3619935 Time : 534.0 sec. user=vaughan [2009-08-02 11:07:33] 609*2^705363-1 is not prime. Res64: 8EBDF42F0547B5C2 Time : 538.0 sec. user=Zachariassen [2009-08-02 11:08:53] 617*2^705356-1 is not prime. Res64: FC3B7984D4D8D953 Time : 1885.0 sec. user=vaughan [2009-08-02 11:10:11] 711*2^705362-1 is not prime. Res64: B027E1E0FD6B93DB Time : 748.0 sec. user=vaughan [2009-08-02 11:11:07] 675*2^705365-1 is not prime. Res64: B0F47C818A41A03A Time : 513.0 sec. user=vaughan [2009-08-02 11:12:36] 749*2^705364-1 is not prime. Res64: 9E90F4EBD3C8518B Time : 731.0 sec. user=Zachariassen [2009-08-02 11:12:43] 617*2^705352-1 is not prime. Res64: F2DEE449B225DD57 Time : 2556.0 sec. user=vaughan [2009-08-02 11:13:14] 723*2^705363-1 is not prime. Res64: 9803334191F6D4E8 Time : 798.0 sec. user=vaughan [2009-08-02 11:13:20] 635*2^705364-1 is not prime. Res64: 964DC9D55858AA86 Time : 798.0 sec. user=Zachariassen [2009-08-02 11:13:42] 609*2^705357-1 is not prime. Res64: 680A4E018508A8F5 Time : 1873.0 sec. user=Zachariassen [2009-08-02 11:14:14] 657*2^705353-1 is not prime. Res64: 5E81F853E1DE0E9C Time : 2557.0 sec. user=Zachariassen [2009-08-02 11:15:13] 627*2^705357-1 is not prime. Res64: D6B5836D666A0A97 Time : 1862.0 sec. user=Zachariassen [2009-08-02 11:15:48] 611*2^705354-1 is not prime. Res64: 21CA7FC9DD44662A Time : 2562.0 sec. user=vaughan [2009-08-02 11:15:49] 657*2^705366-1 is not prime. Res64: BAE30C1DE5AB39A2 Time : 535.0 sec. user=vaughan [2009-08-02 11:16:21] 645*2^705367-1 is not prime. Res64: AE1AEC0FFDDC957F Time : 534.0 sec. user=vaughan [2009-08-02 11:16:25] 673*2^705367-1 is not prime. Res64: 9BF2A9E64B1DCDF5 Time : 536.0 sec. user=Zachariassen [2009-08-02 11:17:46] 767*2^705354-1 is not prime. Res64: 01F6A02E5B58070C Time : 2572.0 sec. user=vaughan [2009-08-02 11:19:45] 759*2^705367-1 is not prime. Res64: FA5FAD2989F0A5C3 Time : 519.0 sec. user=Zachariassen [2009-08-02 11:22:21] 729*2^705359-1 is not prime. Res64: 734BAA295BE92403 Time : 1890.0 sec. user=vaughan [2009-08-02 11:22:35] 741*2^705367-1 is not prime. Res64: 50D888E1A74722D4 Time : 745.0 sec. user=Zachariassen [2009-08-02 11:24:39] 753*2^705360-1 is not prime. Res64: 479B02C161D48588 Time : 1878.0 sec. user=vaughan [2009-08-02 11:24:48] 777*2^705370-1 is not prime. Res64: 2439FF868A70D73B Time : 540.0 sec. user=vaughan [2009-08-02 11:24:52] 663*2^705368-1 is not prime. Res64: 2DF89EB6F1FABED8 Time : 737.0 sec. user=vaughan [2009-08-02 11:25:14] 615*2^705371-1 is not prime. Res64: 3D4BE773323E2D5D Time : 533.0 sec. user=vaughan [2009-08-02 11:25:19] 631*2^705371-1 is not prime. Res64: CA4BC7F85916A8D4 Time : 534.0 sec. user=vaughan [2009-08-02 11:26:41] 711*2^705369-1 is not prime. Res64: AF03BCA126FBF7B5 Time : 808.0 sec. user=vaughan [2009-08-02 11:26:41] 745*2^705369-1 is not prime. Res64: C58ADE79AD977D05 Time : 801.0 sec. user=vaughan [2009-08-02 11:28:22] 703*2^705371-1 is not prime. Res64: 42D565D663AF25F2 Time : 520.0 sec. user=Zachariassen [2009-08-02 11:29:32] 709*2^705363-1 is not prime. Res64: DC5FDD9B905D4A05 Time : 1853.0 sec. user=Zachariassen [2009-08-02 11:30:57] 675*2^705364-1 is not prime. Res64: 1CB0F205E6EC2E83 Time : 1844.0 sec. user=vaughan [2009-08-02 11:33:44] 623*2^705372-1 is not prime. Res64: 656C9A1850E13E84 Time : 536.0 sec. user=vaughan [2009-08-02 11:34:09] 653*2^705372-1 is not prime. Res64: 1A96E333BABA0DF4 Time : 535.0 sec. user=Zachariassen [2009-08-02 11:34:13] 669*2^705360-1 is not prime. Res64: 75C53BA9CDBF3F41 Time : 2572.0 sec. user=vaughan [2009-08-02 11:34:15] 725*2^705372-1 is not prime. Res64: 4027430E10A97C7D Time : 536.0 sec. user=vaughan [2009-08-02 11:35:00] 745*2^705371-1 is not prime. Res64: A499A5393DF9696E Time : 745.0 sec. user=Zachariassen [2009-08-02 11:35:56] 737*2^705360-1 is not prime. Res64: CD9AF9B23843A6BD Time : 2597.0 sec. user=vaughan [2009-08-02 11:36:55] 751*2^705373-1 is not prime. Res64: 3D449DAEF3706579 Time : 513.0 sec. user=vaughan [2009-08-02 11:37:09] 633*2^705372-1 is not prime. Res64: CDBF2E6BF06D51FB Time : 737.0 sec. user=Zachariassen [2009-08-02 11:37:11] 679*2^705361-1 is not prime. Res64: 8C275B3C1EEDF600 Time : 2579.0 sec. user=Zachariassen [2009-08-02 11:37:21] 635*2^705366-1 is not prime. Res64: EE382F8601919CB8 Time : 1846.0 sec. user=Zachariassen [2009-08-02 11:39:04] 715*2^705361-1 is not prime. Res64: D4236B2787F2BB43 Time : 2563.0 sec. user=Zachariassen [2009-08-02 11:39:48] 703*2^705367-1 is not prime. Res64: B2EAFE2B3476376A Time : 1856.0 sec. user=vaughan [2009-08-02 11:40:17] 619*2^705373-1 is not prime. Res64: F6EB8C001BEB974E Time : 817.0 sec. user=vaughan [2009-08-02 11:40:18] 729*2^705373-1 is not prime. Res64: E86E9F81877787FB Time : 817.0 sec. user=vaughan [2009-08-02 11:42:34] 641*2^705374-1 is not prime. Res64: 1638741F121E533E Time : 530.0 sec. user=vaughan [2009-08-02 11:42:57] 665*2^705374-1 is not prime. Res64: B0ED40907CE0E192 Time : 529.0 sec. user=vaughan [2009-08-02 11:43:09] 687*2^705374-1 is not prime. Res64: 1122188328D98FC5 Time : 534.0 sec. user=Zachariassen [2009-08-02 11:44:50] 759*2^705369-1 is not prime. Res64: 92CA54F8571F696F Time : 1868.0 sec. user=vaughan [2009-08-02 11:45:27] 625*2^705375-1 is not prime. Res64: 6927C5EDCE750B22 Time : 512.0 sec. user=Zachariassen [2009-08-02 11:46:44] 713*2^705370-1 is not prime. Res64: A9FD50A5978C4C3F Time : 1892.0 sec. user=vaughan [2009-08-02 11:47:29] 767*2^705374-1 is not prime. Res64: 5EC15ABC37898A97 Time : 751.0 sec. user=vaughan [2009-08-02 11:49:27] 649*2^705375-1 is not prime. Res64: D7B31C37DF8098CC Time : 738.0 sec. user=vaughan [2009-08-02 11:51:37] 715*2^705377-1 is not prime. Res64: 1CEC696B354FE554 Time : 543.0 sec. user=vaughan [2009-08-02 11:51:59] 741*2^705377-1 is not prime. Res64: 9FE01DFA25EE88E6 Time : 543.0 sec. user=vaughan [2009-08-02 11:52:10] 759*2^705377-1 is not prime. Res64: A7C48FD89A96987A Time : 541.0 sec. user=Zachariassen [2009-08-02 11:53:12] 741*2^705371-1 is not prime. Res64: 68B77E814B5DF568 Time : 1851.0 sec. user=vaughan [2009-08-02 11:53:34] 735*2^705376-1 is not prime. Res64: BFC67E37B6563C30 Time : 797.0 sec. user=vaughan [2009-08-02 11:53:34] 785*2^705376-1 is not prime. Res64: 4F1893A9C9B6814C Time : 797.0 sec. user=vaughan [2009-08-02 11:54:19] 755*2^705378-1 is not prime. Res64: 72F70F7B1B2D1675 Time : 532.0 sec. user=Zachariassen [2009-08-02 11:55:25] 681*2^705369-1 is not prime. Res64: 2483FCDB07B281CE Time : 2562.0 sec. user=Zachariassen [2009-08-02 11:55:37] 789*2^705371-1 is not prime. Res64: B603E1A6C46124F9 Time : 1858.0 sec. user=Zachariassen [2009-08-02 11:57:01] 765*2^705369-1 is not prime. Res64: 9AC363576259E4A3 Time : 2567.0 sec. user=Zachariassen [2009-08-02 11:58:16] 773*2^705370-1 is not prime. Res64: F5A28B09477B18A9 Time : 2548.0 sec. user=vaughan [2009-08-02 11:59:54] 619*2^705379-1 is not prime. Res64: 1F5278E955BE1BF5 Time : 745.0 sec. user=Zachariassen [2009-08-02 12:00:27] 645*2^705371-1 is not prime. Res64: 07D51D0B78CC7933 Time : 2561.0 sec. user=Zachariassen [2009-08-02 12:00:50] 769*2^705373-1 is not prime. Res64: 1770E1B63C0420B2 Time : 1878.0 sec. user=vaughan [2009-08-02 12:01:09] 771*2^705379-1 is not prime. Res64: 44D8CBEF9D4974F5 Time : 573.0 sec. user=vaughan [2009-08-02 12:01:34] 615*2^705380-1 is not prime. Res64: 7A7CF6463B4D32A5 Time : 589.0 sec. user=vaughan [2009-08-02 12:01:49] 633*2^705380-1 is not prime. Res64: D180F9DD153DD7F3 Time : 580.0 sec. user=vaughan [2009-08-02 12:01:49] 733*2^705379-1 is not prime. Res64: D6FEA66742A05C09 Time : 742.0 sec. user=Zachariassen [2009-08-02 12:02:25] 789*2^705373-1 is not prime. Res64: 536234832E2AFD61 Time : 1888.0 sec. user=vaughan [2009-08-02 12:03:20] 797*2^705380-1 is not prime. Res64: 01C91E38C1DBF9B1 Time : 542.0 sec. user=vaughan [2009-08-02 12:06:55] 677*2^705380-1 is not prime. Res64: A8DF9E4D7663F1EB Time : 802.0 sec. user=vaughan [2009-08-02 12:06:58] 785*2^705380-1 is not prime. Res64: 96621B9CBF1D6DDB Time : 804.0 sec. user=Zachariassen [2009-08-02 12:08:38] 751*2^705375-1 is not prime. Res64: C7540A99182D8CC6 Time : 1877.0 sec. user=vaughan [2009-08-02 12:10:06] 731*2^705382-1 is not prime. Res64: A7F7592E941C11C0 Time : 538.0 sec. user=vaughan [2009-08-02 12:10:46] 747*2^705382-1 is not prime. Res64: BDBF301D7CCA9D8B Time : 553.0 sec. user=vaughan [2009-08-02 12:10:47] 621*2^705383-1 is not prime. Res64: B42A2791058BEBC9 Time : 538.0 sec. user=Zachariassen [2009-08-02 12:11:16] 653*2^705376-1 is not prime. Res64: A977575F76A09282 Time : 1889.0 sec. user=vaughan [2009-08-02 12:11:57] 685*2^705383-1 is not prime. Res64: 48F77AC7818F592A Time : 518.0 sec. user=vaughan [2009-08-02 12:12:17] 653*2^705382-1 is not prime. Res64: 6333C528160929BB Time : 744.0 sec. user=vaughan [2009-08-02 12:14:02] 791*2^705382-1 is not prime. Res64: 10E2079B49DD6992 Time : 733.0 sec. user=Zachariassen [2009-08-02 12:16:18] 713*2^705378-1 is not prime. Res64: ED839341B973B60B Time : 1889.0 sec. user=Zachariassen [2009-08-02 12:16:56] 675*2^705374-1 is not prime. Res64: 5F7B70E61BE37337 Time : 2563.0 sec. user=Zachariassen [2009-08-02 12:18:04] 797*2^705378-1 is not prime. Res64: 470650460B1F2950 Time : 1880.0 sec. user=Zachariassen [2009-08-02 12:18:17] 601*2^705375-1 is not prime. Res64: 40BE0D4A7C9BBB84 Time : 2542.0 sec. user=vaughan [2009-08-02 12:19:00] 737*2^705384-1 is not prime. Res64: 82968B71012CBE81 Time : 535.0 sec. user=Zachariassen [2009-08-02 12:19:15] 663*2^705375-1 is not prime. Res64: 3F0E1E8F9ED3D74F Time : 2524.0 sec. user=vaughan [2009-08-02 12:19:45] 765*2^705384-1 is not prime. Res64: 4368B674D588DDBE Time : 540.0 sec. user=vaughan [2009-08-02 12:19:47] 601*2^705385-1 is not prime. Res64: 9D824F71F634F9EC Time : 540.0 sec. user=vaughan [2009-08-02 12:20:12] 739*2^705383-1 is not prime. Res64: CC29F2A17D9B28FB Time : 798.0 sec. user=vaughan [2009-08-02 12:20:17] 741*2^705383-1 is not prime. Res64: 2E5276FAA2EC3327 Time : 800.0 sec. user=vaughan [2009-08-02 12:20:30] 717*2^705385-1 is not prime. Res64: D9C8BAD56F475441 Time : 513.0 sec. user=Zachariassen [2009-08-02 12:21:29] 775*2^705375-1 is not prime. Res64: EEF8CCF4C565CC31 Time : 2545.0 sec. user=Zachariassen [2009-08-02 12:24:07] 665*2^705380-1 is not prime. Res64: 2A35B26456DF3144 Time : 1855.0 sec. user=vaughan [2009-08-02 12:24:50] 619*2^705387-1 is not prime. Res64: 048E75E39C84DDB6 Time : 753.0 sec. user=vaughan [2009-08-02 12:26:17] 669*2^705387-1 is not prime. Res64: 551ECAD6C6E6DEDC Time : 736.0 sec. user=Zachariassen [2009-08-02 12:26:42] 651*2^705381-1 is not prime. Res64: DEA835E2C36E4E2D Time : 1865.0 sec. user=vaughan [2009-08-02 12:27:54] 773*2^705388-1 is not prime. Res64: 1ACD04AAAAC351BE Time : 534.0 sec. user=vaughan [2009-08-02 12:28:37] 685*2^705389-1 is not prime. Res64: 3112DE5638B474D9 Time : 532.0 sec. user=vaughan [2009-08-02 12:28:43] 627*2^705389-1 is not prime. Res64: 93C17A23BB181FC3 Time : 540.0 sec. user=vaughan [2009-08-02 12:29:04] 645*2^705391-1 is not prime. Res64: F378FC7AB1EC2538 Time : 514.0 sec. user=Zachariassen [2009-08-02 12:31:11] 723*2^705382-1 is not prime. Res64: AC8B76B363EEBD65 Time : 1821.0 sec. user=Zachariassen [2009-08-02 12:33:08] 633*2^705383-1 is not prime. Res64: 9ADA76CD966356B3 Time : 1843.0 sec. user=vaughan [2009-08-02 12:33:30] 759*2^705389-1 is not prime. Res64: 8C3F46BE461516A4 Time : 798.0 sec. user=vaughan [2009-08-02 12:33:40] 717*2^705390-1 is not prime. Res64: 44A1EB0C9402C1A1 Time : 803.0 sec. user=vaughan [2009-08-02 12:36:53] 719*2^705392-1 is not prime. Res64: 87FDD3BFA2B04270 Time : 542.0 sec. user=vaughan [2009-08-02 12:37:22] 603*2^705392-1 is not prime. Res64: BC0A4C3EEDE88D51 Time : 752.0 sec. user=vaughan [2009-08-02 12:37:33] 759*2^705392-1 is not prime. Res64: C8BD671EA277961D Time : 537.0 sec. user=vaughan [2009-08-02 12:37:42] 797*2^705392-1 is not prime. Res64: C9FF9764040C3973 Time : 539.0 sec. user=vaughan [2009-08-02 12:37:44] 681*2^705393-1 is not prime. Res64: 3ADD168EEC579863 Time : 521.0 sec. user=Zachariassen [2009-08-02 12:38:08] 609*2^705381-1 is not prime. Res64: 5A813C9DACA5A6EA Time : 2563.0 sec. user=vaughan [2009-08-02 12:38:23] 635*2^705392-1 is not prime. Res64: EB30DB40C6AB83EB Time : 733.0 sec. user=Zachariassen [2009-08-02 12:39:49] 695*2^705384-1 is not prime. Res64: 91E0991990D68A99 Time : 1872.0 sec. user=Zachariassen [2009-08-02 12:39:49] 691*2^705381-1 is not prime. Res64: 7538BCD323E2AE30 Time : 2569.0 sec. user=Zachariassen [2009-08-02 12:40:41] 603*2^705382-1 is not prime. Res64: 6B3FC2F32D5EF069 Time : 2546.0 sec. user=Zachariassen [2009-08-02 12:42:38] 649*2^705385-1 is not prime. Res64: A5FAE281401C08CE Time : 1882.0 sec. user=Zachariassen [2009-08-02 12:43:12] 681*2^705382-1 is not prime. Res64: 2EF41C07A16D3D6B Time : 2566.0 sec. user=vaughan [2009-08-02 12:45:53] 701*2^705394-1 is not prime. Res64: CCD01759C22EE7E9 Time : 541.0 sec. user=vaughan [2009-08-02 12:46:24] 673*2^705395-1 is not prime. Res64: 38D88E473074B175 Time : 521.0 sec. user=vaughan [2009-08-02 12:46:35] 783*2^705394-1 is not prime. Res64: E41CD79033BCB532 Time : 542.0 sec. user=vaughan [2009-08-02 12:46:55] 663*2^705394-1 is not prime. Res64: E0B8C4620F6FF132 Time : 805.0 sec. user=vaughan [2009-08-02 12:47:03] 669*2^705395-1 is not prime. Res64: 26E3B9A937817A02 Time : 561.0 sec. user=vaughan [2009-08-02 12:47:05] 681*2^705394-1 is not prime. Res64: 962C3A792C5020F7 Time : 806.0 sec. user=Zachariassen [2009-08-02 12:47:06] 703*2^705387-1 is not prime. Res64: 05F4421C8E0CB1B3 Time : 1848.0 sec. user=Zachariassen [2009-08-02 12:49:06] 741*2^705387-1 is not prime. Res64: 9D2C63787BF6BE03 Time : 1862.0 sec. user=vaughan [2009-08-02 12:50:02] 741*2^705394-1 is not prime. Res64: 0EAB5875C8AEB133 Time : 761.0 sec. user=vaughan [2009-08-02 12:50:34] 759*2^705395-1 is not prime. Res64: 4DA986783FEF9F58 Time : 732.0 sec. user=Zachariassen [2009-08-02 12:54:45] 789*2^705391-1 is not prime. Res64: A14809507AE0F07B Time : 1839.0 sec. user=vaughan [2009-08-02 12:54:54] 705*2^705396-1 is not prime. Res64: 28CA075454426532 Time : 541.0 sec. user=vaughan [2009-08-02 12:55:05] 765*2^705396-1 is not prime. Res64: 5960AAEF87F04CF3 Time : 521.0 sec. user=vaughan [2009-08-02 12:55:36] 667*2^705397-1 is not prime. Res64: C95EC09309AC81FF Time : 541.0 sec. user=vaughan [2009-08-02 12:56:03] 727*2^705397-1 is not prime. Res64: 4E1E86136C159AF1 Time : 540.0 sec. user=Zachariassen [2009-08-02 12:58:01] 669*2^705392-1 is not prime. Res64: E2A4FC0794A655B1 Time : 1879.0 sec. user=Zachariassen [2009-08-02 12:59:33] 705*2^705387-1 is not prime. Res64: D00B37C0B6D0120D Time : 2557.0 sec. user=vaughan [2009-08-02 13:00:20] 713*2^705398-1 is not prime. Res64: 33436C0F1300BCEF Time : 805.0 sec. user=vaughan [2009-08-02 13:00:27] 755*2^705398-1 is not prime. Res64: 0C09BCEF1B187DF2 Time : 803.0 sec. user=Zachariassen [2009-08-02 13:01:18] 687*2^705388-1 is not prime. Res64: A22C0D3E94BD17A5 Time : 2582.0 sec. user=Zachariassen [2009-08-02 13:01:57] 783*2^705388-1 is not prime. Res64: A040D3BCD91293F4 Time : 2562.0 sec. user=Zachariassen [2009-08-02 13:02:24] 781*2^705393-1 is not prime. Res64: DF71DABA0CE37D33 Time : 1873.0 sec. user=vaughan [2009-08-02 13:02:37] 663*2^705399-1 is not prime. Res64: 0847702BF7BD70B4 Time : 756.0 sec. user=vaughan [2009-08-02 13:02:44] 669*2^705399-1 is not prime. Res64: 1E9918D6A99BC7E9 Time : 731.0 sec. user=vaughan [2009-08-02 13:03:44] 615*2^705400-1 is not prime. Res64: 5409AFC79C026689 Time : 520.0 sec. user=vaughan [2009-08-02 13:03:51] 793*2^705399-1 is not prime. Res64: A587E60BE862CF7D Time : 538.0 sec. user=Zachariassen [2009-08-02 13:04:32] 693*2^705391-1 is not prime. Res64: 84EAF01AA94E0ED5 Time : 2583.0 sec. user=vaughan [2009-08-02 13:04:33] 675*2^705400-1 is not prime. Res64: 356E380108AF85C7 Time : 538.0 sec. user=Zachariassen [2009-08-02 13:04:37] 623*2^705394-1 is not prime. Res64: A43F2E366A7A8970 Time : 1889.0 sec. user=vaughan [2009-08-02 13:05:00] 713*2^705400-1 is not prime. Res64: 26AAB1EA6EEF1285 Time : 538.0 sec. user=Zachariassen [2009-08-02 13:10:28] 775*2^705395-1 is not prime. Res64: 2E52D288BE4D91D9 Time : 1839.0 sec. user=vaughan [2009-08-02 13:12:58] 741*2^705403-1 is not prime. Res64: 61E7C053817A83B9 Time : 556.0 sec. user=Zachariassen [2009-08-02 13:13:27] 657*2^705396-1 is not prime. Res64: FCDDC67BA7D1D256 Time : 1849.0 sec. user=vaughan [2009-08-02 13:13:32] 783*2^705403-1 is not prime. Res64: E78A3A5950797B86 Time : 582.0 sec. user=vaughan [2009-08-02 13:13:43] 669*2^705401-1 is not prime. Res64: FE1424609D0CA702 Time : 805.0 sec. user=vaughan [2009-08-02 13:13:51] 611*2^705402-1 is not prime. Res64: D12BE01E72727AD4 Time : 805.0 sec. user=vaughan [2009-08-02 13:14:17] 663*2^705404-1 is not prime. Res64: BD2A61C1CBF24F15 Time : 585.0 sec. user=vaughan [2009-08-02 13:14:48] 725*2^705404-1 is not prime. Res64: 936020F6CF53173F Time : 589.0 sec. user=vaughan [2009-08-02 13:14:53] 639*2^705403-1 is not prime. Res64: 865BD2CCF6EBA3BC Time : 730.0 sec. user=vaughan [2009-08-02 13:15:11] 755*2^705402-1 is not prime. Res64: E98D3F6418489143 Time : 756.0 sec. user=Zachariassen [2009-08-02 13:17:38] 613*2^705399-1 is not prime. Res64: 2D4808EDB5F0E742 Time : 1834.0 sec. user=Zachariassen [2009-08-02 13:19:53] 633*2^705399-1 is not prime. Res64: B3D022F74DEA7362 Time : 1847.0 sec. user=Zachariassen [2009-08-02 13:20:41] 675*2^705395-1 is not prime. Res64: 8FE158AA54BDD817 Time : 2554.0 sec. user=vaughan [2009-08-02 13:21:44] 655*2^705405-1 is not prime. Res64: 8B867D63F2AC787E Time : 527.0 sec. user=Zachariassen [2009-08-02 13:22:21] 783*2^705395-1 is not prime. Res64: 29F82B7D49B40E46 Time : 2552.0 sec. user=vaughan [2009-08-02 13:22:35] 741*2^705405-1 is not prime. Res64: 514569DDF0D45A8C Time : 544.0 sec. user=Zachariassen [2009-08-02 13:23:12] 627*2^705396-1 is not prime. Res64: 9520A7188BDF3330 Time : 2551.0 sec. user=vaughan [2009-08-02 13:23:19] 743*2^705406-1 is not prime. Res64: 79DEDB9622441157 Time : 543.0 sec. user=vaughan [2009-08-02 13:23:49] 633*2^705407-1 is not prime. Res64: A859CF20FFB87665 Time : 542.0 sec. user=Zachariassen [2009-08-02 13:25:58] 693*2^705396-1 is not prime. Res64: 3EB59AA38227F1D6 Time : 2566.0 sec. user=Zachariassen [2009-08-02 13:26:22] 723*2^705399-1 is not prime. Res64: 1FB56D7FB887141B Time : 1897.0 sec. user=vaughan [2009-08-02 13:27:02] 703*2^705407-1 is not prime. Res64: 1C2303B9DA22A074 Time : 730.0 sec. user=vaughan [2009-08-02 13:27:06] 651*2^705406-1 is not prime. Res64: 63133D23DAA3E7D3 Time : 804.0 sec. user=vaughan [2009-08-02 13:27:15] 657*2^705406-1 is not prime. Res64: 41058209C2CA036F Time : 805.0 sec. user=vaughan [2009-08-02 13:27:44] 729*2^705407-1 is not prime. Res64: 5D9995ED2E4ABF7F Time : 754.0 sec. user=Zachariassen [2009-08-02 13:29:23] 619*2^705401-1 is not prime. Res64: CD956D341F1770BD Time : 1882.0 sec. user=vaughan [2009-08-02 13:30:29] 765*2^705409-1 is not prime. Res64: 75EE591F27E10EA5 Time : 526.0 sec. user=vaughan [2009-08-02 13:31:52] 675*2^705410-1 is not prime. Res64: D193096C8540000C Time : 558.0 sec. user=vaughan [2009-08-02 13:32:45] 613*2^705411-1 is not prime. Res64: 67C7564529BF4C00 Time : 567.0 sec. user=vaughan [2009-08-02 13:33:13] 679*2^705411-1 is not prime. Res64: DFF09192A2DC74E1 Time : 565.0 sec. user=Zachariassen [2009-08-02 13:33:56] 717*2^705402-1 is not prime. Res64: A2000532DDF25744 Time : 1892.0 sec. user=Zachariassen [2009-08-02 13:36:13] 707*2^705404-1 is not prime. Res64: 06139B4AB87FC92E Time : 1896.0 sec. user=vaughan [2009-08-02 13:39:11] 635*2^705414-1 is not prime. Res64: E4BA92C679B79AC4 Time : 731.0 sec. user=vaughan [2009-08-02 13:39:31] 603*2^705415-1 is not prime. Res64: 015CB233F6E9C341 Time : 543.0 sec. user=vaughan [2009-08-02 13:40:17] 731*2^705414-1 is not prime. Res64: 0208123D2DCB91A7 Time : 754.0 sec. user=vaughan [2009-08-02 13:40:31] 671*2^705414-1 is not prime. Res64: 44573722356BDB79 Time : 806.0 sec. user=vaughan [2009-08-02 13:40:39] 683*2^705414-1 is not prime. Res64: 8DDD87CAA299EAEA Time : 806.0 sec. user=vaughan [2009-08-02 13:41:52] 619*2^705415-1 is not prime. Res64: 69B8E2D62C51432E Time : 601.0 sec. user=Zachariassen [2009-08-02 13:41:59] 631*2^705401-1 is not prime. Res64: B17A5254C94150A0 Time : 2547.0 sec. user=Zachariassen [2009-08-02 13:42:39] 627*2^705405-1 is not prime. Res64: 0F17E93989C996D7 Time : 1931.0 sec. user=vaughan [2009-08-02 13:42:49] 625*2^705415-1 is not prime. Res64: 7BCD173C10F7FF5C Time : 605.0 sec. user=vaughan [2009-08-02 13:43:19] 633*2^705415-1 is not prime. Res64: DC0F0DC137BEC2E9 Time : 608.0 sec. user=Zachariassen [2009-08-02 13:43:34] 633*2^705402-1 is not prime. Res64: A5974297965BA9EA Time : 2536.0 sec. user=Zachariassen [2009-08-02 13:44:19] 635*2^705402-1 is not prime. Res64: E6FB1EC4B0520925 Time : 2542.0 sec. user=Zachariassen [2009-08-02 13:45:32] 657*2^705405-1 is not prime. Res64: EB9F2A46368C3941 Time : 1926.0 sec. user=Zachariassen [2009-08-02 13:47:03] 687*2^705404-1 is not prime. Res64: 5337ADE5A4C400AE Time : 2551.0 sec. user=vaughan [2009-08-02 13:48:32] 633*2^705416-1 is not prime. Res64: C7F5084A97EFB3E6 Time : 542.0 sec. user=Zachariassen [2009-08-02 13:49:49] 689*2^705408-1 is not prime. Res64: 4592F608204FF753 Time : 1932.0 sec. user=vaughan [2009-08-02 13:51:26] 765*2^705415-1 is not prime. Res64: 8953157680235C33 Time : 736.0 sec. user=Zachariassen [2009-08-02 13:51:52] 735*2^705408-1 is not prime. Res64: 7A29577F8C854D94 Time : 1920.0 sec. user=vaughan [2009-08-02 13:51:56] 621*2^705418-1 is not prime. Res64: 583DB4A06F1628D7 Time : 605.0 sec. user=vaughan [2009-08-02 13:52:55] 689*2^705416-1 is not prime. Res64: B953FCD619D91F8E Time : 759.0 sec. user=vaughan [2009-08-02 13:53:03] 649*2^705419-1 is not prime. Res64: 6C967D46960086B5 Time : 616.0 sec. user=vaughan [2009-08-02 13:53:24] 711*2^705419-1 is not prime. Res64: 14CB318D2F244730 Time : 606.0 sec. user=vaughan [2009-08-02 13:53:56] 691*2^705417-1 is not prime. Res64: 9A982CB9E2562960 Time : 806.0 sec. user=vaughan [2009-08-02 13:54:07] 765*2^705417-1 is not prime. Res64: 520912EB69D4799B Time : 810.0 sec. user=vaughan [2009-08-02 13:57:29] 797*2^705420-1 is not prime. Res64: 15F092593755A09D Time : 538.0 sec. user=Zachariassen [2009-08-02 13:57:35] 715*2^705413-1 is not prime. Res64: E9532DD44D85635B Time : 1874.0 sec. user=Zachariassen [2009-08-02 14:01:00] 765*2^705414-1 is not prime. Res64: 9995F428490F5148 Time : 1897.0 sec. user=vaughan [2009-08-02 14:01:48] 743*2^705422-1 is not prime. Res64: 432E4946B5B5100F Time : 593.0 sec. user=vaughan [2009-08-02 14:02:56] 609*2^705423-1 is not prime. Res64: 99EDC0D1BCF5A7BD Time : 594.0 sec. user=Zachariassen [2009-08-02 14:03:07] 615*2^705409-1 is not prime. Res64: FC1122667E9BB5CB Time : 2547.0 sec. user=vaughan [2009-08-02 14:03:24] 675*2^705423-1 is not prime. Res64: D7F0CB915006F2A9 Time : 601.0 sec. user=vaughan [2009-08-02 14:03:34] 747*2^705421-1 is not prime. Res64: 361CC274B6590578 Time : 730.0 sec. user=Zachariassen [2009-08-02 14:04:39] 769*2^705409-1 is not prime. Res64: C1D6A5002222AE90 Time : 2539.0 sec. user=vaughan [2009-08-02 14:05:27] 747*2^705422-1 is not prime. Res64: D46832BEA7218DBD Time : 753.0 sec. user=Zachariassen [2009-08-02 14:05:32] 673*2^705415-1 is not prime. Res64: 42ED4882224A43B2 Time : 1896.0 sec. user=Zachariassen [2009-08-02 14:05:49] 711*2^705410-1 is not prime. Res64: E090A387A391FDBB Time : 2557.0 sec. user=vaughan [2009-08-02 14:06:22] 685*2^705425-1 is not prime. Res64: 749FE26A1BD11B66 Time : 534.0 sec. user=vaughan [2009-08-02 14:07:18] 719*2^705424-1 is not prime. Res64: E725D7E08A82929F Time : 803.0 sec. user=vaughan [2009-08-02 14:07:30] 627*2^705425-1 is not prime. Res64: 9335DCDD5E5FF338 Time : 804.0 sec. user=Zachariassen [2009-08-02 14:07:53] 715*2^705415-1 is not prime. Res64: 4C58B5435EA3C30A Time : 1901.0 sec. user=Zachariassen [2009-08-02 14:08:36] 609*2^705412-1 is not prime. Res64: AC111136D967AD38 Time : 2558.0 sec. user=vaughan [2009-08-02 14:11:50] 787*2^705425-1 is not prime. Res64: 23E2C615F6AB395B Time : 604.0 sec. user=vaughan [2009-08-02 14:13:07] 705*2^705426-1 is not prime. Res64: AD4A14AB3F774F67 Time : 613.0 sec. user=Zachariassen [2009-08-02 14:13:09] 619*2^705419-1 is not prime. Res64: 4AEE9F830E56CF83 Time : 1830.0 sec. user=vaughan [2009-08-02 14:13:29] 649*2^705427-1 is not prime. Res64: 055C83E89CD5AB20 Time : 606.0 sec. user=vaughan [2009-08-02 14:15:33] 781*2^705429-1 is not prime. Res64: FCB4E7E273A6417E Time : 552.0 sec. user=vaughan [2009-08-02 14:15:44] 657*2^705429-1 is not prime. Res64: 836000B0E9ED649D Time : 731.0 sec. user=Zachariassen [2009-08-02 14:16:11] 717*2^705420-1 is not prime. Res64: B071491A7F7A2B15 Time : 1840.0 sec. user=vaughan [2009-08-02 14:18:02] 727*2^705429-1 is not prime. Res64: 4265E41BB6A55DF1 Time : 756.0 sec. user=Zachariassen [2009-08-02 14:20:36] 645*2^705421-1 is not prime. Res64: 4588B077AE2FB424 Time : 1848.0 sec. user=vaughan [2009-08-02 14:20:37] 789*2^705429-1 is not prime. Res64: 331C895F12A92839 Time : 800.0 sec. user=vaughan [2009-08-02 14:20:51] 603*2^705430-1 is not prime. Res64: 6E40704B36A69A97 Time : 803.0 sec. user=vaughan [2009-08-02 14:21:51] 621*2^705431-1 is not prime. Res64: 08EF7D011910AC29 Time : 602.0 sec. user=vaughan [2009-08-02 14:23:06] 643*2^705431-1 is not prime. Res64: DACD2F5467E110BE Time : 600.0 sec. user=Zachariassen [2009-08-02 14:23:21] 777*2^705421-1 is not prime. Res64: 298C4C886E666958 Time : 1890.0 sec. user=vaughan [2009-08-02 14:23:32] 673*2^705431-1 is not prime. Res64: 33B18889C8365096 Time : 605.0 sec. user=Zachariassen [2009-08-02 14:24:11] 705*2^705418-1 is not prime. Res64: 5E706473466026FC Time : 2532.0 sec. user=vaughan [2009-08-02 14:24:24] 675*2^705431-1 is not prime. Res64: D1BA3D278A41D11A Time : 532.0 sec. user=Zachariassen [2009-08-02 14:26:08] 735*2^705419-1 is not prime. Res64: E5005A2FD69D0A9C Time : 2554.0 sec. user=Zachariassen [2009-08-02 14:27:19] 623*2^705420-1 is not prime. Res64: 11FE8F976957FBA7 Time : 2580.0 sec. user=vaughan [2009-08-02 14:27:57] 753*2^705431-1 is not prime. Res64: 56F3B6426E9C8E6F Time : 734.0 sec. user=Zachariassen [2009-08-02 14:29:14] 729*2^705425-1 is not prime. Res64: DB092821D3A00AAF Time : 1899.0 sec. user=Zachariassen [2009-08-02 14:29:52] 765*2^705420-1 is not prime. Res64: 37F002A608E2A4A9 Time : 2570.0 sec. user=vaughan [2009-08-02 14:30:38] 789*2^705431-1 is not prime. Res64: 605716B6C5E9356A Time : 758.0 sec. user=vaughan [2009-08-02 14:31:30] 675*2^705433-1 is not prime. Res64: 6400FFBAA0EE355F Time : 581.0 sec. user=Zachariassen [2009-08-02 14:32:22] 777*2^705425-1 is not prime. Res64: AEA7ECE9E4A4F6BD Time : 1883.0 sec. user=vaughan [2009-08-02 14:32:47] 687*2^705433-1 is not prime. Res64: A72AEFA72ABBC745 Time : 581.0 sec. user=vaughan [2009-08-02 14:33:08] 701*2^705434-1 is not prime. Res64: 3C9C035183F89A0D Time : 577.0 sec. user=vaughan [2009-08-02 14:33:19] 741*2^705434-1 is not prime. Res64: FBF288232E13A15E Time : 536.0 sec. user=vaughan [2009-08-02 14:33:52] 747*2^705432-1 is not prime. Res64: 4EC9DE3B82463EBE Time : 796.0 sec. user=vaughan [2009-08-02 14:34:01] 637*2^705433-1 is not prime. Res64: 84CF87732E03ADF4 Time : 792.0 sec. user=Zachariassen [2009-08-02 14:37:08] 735*2^705429-1 is not prime. Res64: 5B842959D0514161 Time : 1897.0 sec. user=Zachariassen [2009-08-02 14:39:39] 623*2^705430-1 is not prime. Res64: 2B84855DB5F1C147 Time : 1906.0 sec. user=vaughan [2009-08-02 14:40:04] 723*2^705435-1 is not prime. Res64: 435E0014BE8561D9 Time : 728.0 sec. user=vaughan [2009-08-02 14:40:50] 735*2^705436-1 is not prime. Res64: 0B2FC7AD587205E0 Time : 561.0 sec. user=vaughan [2009-08-02 14:42:01] 759*2^705437-1 is not prime. Res64: 4E3B63484250E8F1 Time : 523.0 sec. user=vaughan [2009-08-02 14:42:12] 645*2^705437-1 is not prime. Res64: 75AD3DF9A46740DE Time : 566.0 sec. user=vaughan [2009-08-02 14:42:26] 717*2^705437-1 is not prime. Res64: AD4DE59C9B1CA6A1 Time : 559.0 sec. user=vaughan [2009-08-02 14:43:14] 623*2^705436-1 is not prime. Res64: 583C3F0B52C44B91 Time : 757.0 sec. user=Zachariassen [2009-08-02 14:45:16] 717*2^705426-1 is not prime. Res64: DA126AAC1FAE2808 Time : 2529.0 sec. user=Zachariassen [2009-08-02 14:45:34] 645*2^705431-1 is not prime. Res64: 5BBA19FB7946E542 Time : 1946.0 sec. user=vaughan [2009-08-02 14:47:06] 769*2^705437-1 is not prime. Res64: FDF0823E9F098FC8 Time : 796.0 sec. user=Zachariassen [2009-08-02 14:47:07] 667*2^705429-1 is not prime. Res64: 36D19C757484EBF9 Time : 2548.0 sec. user=vaughan [2009-08-02 14:47:15] 795*2^705437-1 is not prime. Res64: E0E863373FB0DA47 Time : 794.0 sec. user=Zachariassen [2009-08-02 14:48:24] 765*2^705429-1 is not prime. Res64: 5B150F1C36C74FC9 Time : 2555.0 sec. user=Zachariassen [2009-08-02 14:49:57] 781*2^705431-1 is not prime. Res64: 4E7EFB736CDE1DA4 Time : 2026.0 sec. user=vaughan [2009-08-02 14:50:10] 645*2^705439-1 is not prime. Res64: EA15815519D62863 Time : 561.0 sec. user=vaughan [2009-08-02 14:50:49] 723*2^705439-1 is not prime. Res64: CE487DAF70692558 Time : 528.0 sec. user=Zachariassen [2009-08-02 14:51:10] 723*2^705430-1 is not prime. Res64: B93C213640D9AC70 Time : 2554.0 sec. user=vaughan [2009-08-02 14:51:41] 769*2^705439-1 is not prime. Res64: 5D1A32593B5C1CBE Time : 570.0 sec. user=vaughan [2009-08-02 14:51:55] 607*2^705441-1 is not prime. Res64: D8AF99F855920159 Time : 569.0 sec. user=vaughan [2009-08-02 14:52:16] 795*2^705438-1 is not prime. Res64: E29A504D3CEBC6E2 Time : 733.0 sec. user=Zachariassen [2009-08-02 14:54:32] 635*2^705432-1 is not prime. Res64: 6A108521A94AE384 Time : 2036.0 sec. user=vaughan [2009-08-02 14:55:53] 627*2^705441-1 is not prime. Res64: D212B23C4A715370 Time : 760.0 sec. user=Zachariassen [2009-08-02 14:56:44] 645*2^705434-1 is not prime. Res64: 8346F692FC7F0BB4 Time : 2004.0 sec. user=vaughan [2009-08-02 14:59:42] 625*2^705445-1 is not prime. Res64: E19A57352CC652AD Time : 535.0 sec. user=vaughan [2009-08-02 15:00:17] 795*2^705444-1 is not prime. Res64: 646F678854186B96 Time : 608.0 sec. user=vaughan [2009-08-02 15:00:23] 747*2^705441-1 is not prime. Res64: 5059F05B248C2855 Time : 798.0 sec. user=vaughan [2009-08-02 15:00:34] 623*2^705444-1 is not prime. Res64: 8E616BBA1150368D Time : 800.0 sec. user=vaughan [2009-08-02 15:01:49] 771*2^705445-1 is not prime. Res64: 031BBBFB67812D73 Time : 609.0 sec. user=vaughan [2009-08-02 15:02:01] 641*2^705446-1 is not prime. Res64: 63C831A30EC0B973 Time : 607.0 sec. user=Zachariassen [2009-08-02 15:02:25] 735*2^705435-1 is not prime. Res64: DF7898A0E00A9931 Time : 1991.0 sec. user=vaughan [2009-08-02 15:04:24] 705*2^705446-1 is not prime. Res64: 8537A7E98C7344F9 Time : 729.0 sec. user=Zachariassen [2009-08-02 15:06:18] 615*2^705437-1 is not prime. Res64: 38F7C0C0C1F54C25 Time : 2037.0 sec. user=Zachariassen [2009-08-02 15:06:45] 705*2^705434-1 is not prime. Res64: 89B46BF14EE9C8D7 Time : 2555.0 sec. user=vaughan [2009-08-02 15:08:25] 639*2^705447-1 is not prime. Res64: 641E7679637F7C13 Time : 753.0 sec. user=Zachariassen [2009-08-02 15:08:37] 773*2^705434-1 is not prime. Res64: 72F0149612E895A1 Time : 2550.0 sec. user=vaughan [2009-08-02 15:08:39] 675*2^705447-1 is not prime. Res64: 3AE0EEA99F4AE53A Time : 538.0 sec. user=Zachariassen [2009-08-02 15:09:39] 669*2^705435-1 is not prime. Res64: 050BEF173EDF4D38 Time : 2540.0 sec. user=vaughan [2009-08-02 15:10:25] 685*2^705447-1 is not prime. Res64: 527E081C0B5DD391 Time : 610.0 sec. user=Zachariassen [2009-08-02 15:10:29] 635*2^705438-1 is not prime. Res64: AEAFF20C0B00C894 Time : 2002.0 sec. user=vaughan [2009-08-02 15:12:01] 665*2^705448-1 is not prime. Res64: DAC5BB04425E514F Time : 613.0 sec. user=vaughan [2009-08-02 15:12:05] 677*2^705448-1 is not prime. Res64: CCEB080865579C31 Time : 605.0 sec. user=Zachariassen [2009-08-02 15:12:19] 615*2^705436-1 is not prime. Res64: 92AB9A83379DA66C Time : 2547.0 sec. user=Zachariassen [2009-08-02 15:12:55] 705*2^705438-1 is not prime. Res64: 918DF6E871896908 Time : 1996.0 sec. user=vaughan [2009-08-02 15:13:39] 793*2^705447-1 is not prime. Res64: 6D201A124B838AED Time : 797.0 sec. user=vaughan [2009-08-02 15:13:50] 603*2^705448-1 is not prime. Res64: 46467C602474C125 Time : 797.0 sec. user=vaughan [2009-08-02 15:16:43] 755*2^705448-1 is not prime. Res64: 6BE02F371B0A6F23 Time : 740.0 sec. user=vaughan [2009-08-02 15:17:34] 741*2^705449-1 is not prime. Res64: B0665C44E78903F7 Time : 536.0 sec. user=Zachariassen [2009-08-02 15:18:25] 741*2^705441-1 is not prime. Res64: 82497102DFAD225D Time : 1972.0 sec. user=vaughan [2009-08-02 15:20:25] 747*2^705450-1 is not prime. Res64: 0480CA43ACA47056 Time : 602.0 sec. user=vaughan [2009-08-02 15:20:52] 619*2^705449-1 is not prime. Res64: F20E254A88127BFA Time : 748.0 sec. user=Zachariassen [2009-08-02 15:21:52] 767*2^705444-1 is not prime. Res64: 38D1ACFA5CEC4800 Time : 1915.0 sec. user=vaughan [2009-08-02 15:22:00] 777*2^705450-1 is not prime. Res64: FDC097DB7BF962D5 Time : 601.0 sec. user=vaughan [2009-08-02 15:22:03] 797*2^705450-1 is not prime. Res64: 49104A11D0D6850B Time : 599.0 sec. user=Zachariassen [2009-08-02 15:26:23] 795*2^705446-1 is not prime. Res64: D61678810D5809DC Time : 1913.0 sec. user=vaughan [2009-08-02 15:26:31] 783*2^705451-1 is not prime. Res64: 5E1FCBE78E6542CA Time : 538.0 sec. user=vaughan [2009-08-02 15:26:55] 693*2^705451-1 is not prime. Res64: D9DD33AA9F884ADA Time : 797.0 sec. user=vaughan [2009-08-02 15:27:06] 745*2^705451-1 is not prime. Res64: D0A58E224CEFBF2B Time : 798.0 sec. user=Zachariassen [2009-08-02 15:28:09] 657*2^705441-1 is not prime. Res64: DA988E36DB7C4F86 Time : 2574.0 sec. user=Zachariassen [2009-08-02 15:28:48] 661*2^705447-1 is not prime. Res64: B7812AF21B7D05D4 Time : 1924.0 sec. user=vaughan [2009-08-02 15:28:59] 771*2^705451-1 is not prime. Res64: 60716BEA7E54FFFC Time : 738.0 sec. user=Zachariassen [2009-08-02 15:30:03] 745*2^705443-1 is not prime. Res64: 57991F3380B84E73 Time : 2576.0 sec. user=vaughan [2009-08-02 15:30:16] 615*2^705453-1 is not prime. Res64: A8DB0404F630CE6A Time : 592.0 sec. user=Zachariassen [2009-08-02 15:31:27] 635*2^705444-1 is not prime. Res64: E9700107EB1D3ECF Time : 2583.0 sec. user=vaughan [2009-08-02 15:31:53] 699*2^705453-1 is not prime. Res64: 270EE3BC93CD92D6 Time : 594.0 sec. user=vaughan [2009-08-02 15:31:54] 727*2^705453-1 is not prime. Res64: D677DE576AFC09C6 Time : 592.0 sec. user=vaughan [2009-08-02 15:33:19] 649*2^705453-1 is not prime. Res64: 54E57AFE9528A9B2 Time : 748.0 sec. user=Zachariassen [2009-08-02 15:33:48] 717*2^705445-1 is not prime. Res64: 347349D2941C5522 Time : 2559.0 sec. user=Zachariassen [2009-08-02 15:33:56] 723*2^705448-1 is not prime. Res64: 526DC0589157F8D8 Time : 1891.0 sec. user=vaughan [2009-08-02 15:35:27] 741*2^705453-1 is not prime. Res64: F85968355A118EF5 Time : 538.0 sec. user=Zachariassen [2009-08-02 15:37:18] 777*2^705448-1 is not prime. Res64: F87749B4AE959D4C Time : 1860.0 sec. user=vaughan [2009-08-02 15:39:51] 603*2^705455-1 is not prime. Res64: AC9F9D74CF40CC24 Time : 575.0 sec. user=vaughan [2009-08-02 15:40:15] 747*2^705453-1 is not prime. Res64: 80FC9EC8BCC49A6D Time : 801.0 sec. user=vaughan [2009-08-02 15:40:22] 765*2^705453-1 is not prime. Res64: 5D28133D565B0C4C Time : 797.0 sec. user=vaughan [2009-08-02 15:41:15] 723*2^705454-1 is not prime. Res64: 9C975397C6278BA6 Time : 737.0 sec. user=Zachariassen [2009-08-02 15:41:23] 765*2^705450-1 is not prime. Res64: 6E587D95BA6DF27E Time : 1855.0 sec. user=vaughan [2009-08-02 15:41:35] 663*2^705455-1 is not prime. Res64: 9758B5A1E69940EE Time : 584.0 sec. user=vaughan [2009-08-02 15:41:35] 721*2^705455-1 is not prime. Res64: D4690D8BD7F029B2 Time : 582.0 sec. user=Zachariassen [2009-08-02 15:43:57] 679*2^705451-1 is not prime. Res64: D20435AF0F4E42AC Time : 1862.0 sec. user=vaughan [2009-08-02 15:44:24] 695*2^705456-1 is not prime. Res64: 847E7492DD043D93 Time : 538.0 sec. user=vaughan [2009-08-02 15:45:54] 771*2^705455-1 is not prime. Res64: DA8B4B41722B7727 Time : 756.0 sec. user=Zachariassen [2009-08-02 15:49:22] 615*2^705452-1 is not prime. Res64: 3E9591014F5C1BE0 Time : 1857.0 sec. user=Zachariassen [2009-08-02 15:49:22] 797*2^705448-1 is not prime. Res64: BE706D6AAD318CE9 Time : 2557.0 sec. user=vaughan [2009-08-02 15:49:26] 779*2^705456-1 is not prime. Res64: 231C93369D44B344 Time : 577.0 sec. user=vaughan [2009-08-02 15:51:03] 683*2^705458-1 is not prime. Res64: 7024FCC578A930EE Time : 569.0 sec. user=vaughan [2009-08-02 15:51:04] 645*2^705458-1 is not prime. Res64: 1D42AA1B7CB416F7 Time : 570.0 sec. user=Zachariassen [2009-08-02 15:51:21] 657*2^705449-1 is not prime. Res64: 748529315948E8F0 Time : 2565.0 sec. user=Zachariassen [2009-08-02 15:52:42] 691*2^705453-1 is not prime. Res64: E9CBDDD2084F85C5 Time : 1850.0 sec. user=Zachariassen [2009-08-02 15:52:47] 707*2^705450-1 is not prime. Res64: B61D437DF95BA62D Time : 2588.0 sec. user=vaughan [2009-08-02 15:53:08] 703*2^705459-1 is not prime. Res64: 3EBBD70B8A7B8FF5 Time : 525.0 sec. user=vaughan [2009-08-02 15:53:27] 741*2^705457-1 is not prime. Res64: 80566F0ADB30D3C8 Time : 733.0 sec. user=vaughan [2009-08-02 15:53:31] 649*2^705457-1 is not prime. Res64: C25A1ABBF71FCA4A Time : 798.0 sec. user=vaughan [2009-08-02 15:53:37] 699*2^705457-1 is not prime. Res64: 00198FA9C8B39151 Time : 797.0 sec. user=Zachariassen [2009-08-02 15:55:19] 673*2^705451-1 is not prime. Res64: B369EF225A26A920 Time : 2581.0 sec. user=Zachariassen [2009-08-02 15:56:37] 735*2^705453-1 is not prime. Res64: B443F928FA97C6C8 Time : 1814.0 sec. user=vaughan [2009-08-02 15:58:34] 769*2^705459-1 is not prime. Res64: 489C374E85625C54 Time : 762.0 sec. user=vaughan [2009-08-02 15:58:36] 783*2^705460-1 is not prime. Res64: F44E9FA6F5A10461 Time : 551.0 sec. user=Zachariassen [2009-08-02 15:59:20] 605*2^705454-1 is not prime. Res64: 4FAF2469A10EB85D Time : 1832.0 sec. user=vaughan [2009-08-02 16:00:13] 615*2^705461-1 is not prime. Res64: 99660F4DBDB95B75 Time : 551.0 sec. user=vaughan [2009-08-02 16:00:14] 657*2^705461-1 is not prime. Res64: C02D3F347C19D961 Time : 552.0 sec. user=vaughan [2009-08-02 16:02:01] 653*2^705462-1 is not prime. Res64: 37DEC18A5E4560BC Time : 534.0 sec. user=Zachariassen [2009-08-02 16:04:22] 799*2^705455-1 is not prime. Res64: D0D9101F0419D05D Time : 1826.0 sec. user=vaughan [2009-08-02 16:05:39] 693*2^705462-1 is not prime. Res64: 43301F1937017D9A Time : 733.0 sec. user=vaughan [2009-08-02 16:06:44] 705*2^705462-1 is not prime. Res64: B7A8E6C71FA62870 Time : 794.0 sec. user=vaughan [2009-08-02 16:06:50] 765*2^705462-1 is not prime. Res64: E90CF9FB92BEAE3F Time : 794.0 sec. user=Zachariassen [2009-08-02 16:07:59] 707*2^705456-1 is not prime. Res64: 72C0F0C8106E7621 Time : 1841.0 sec. user=vaughan [2009-08-02 16:08:30] 741*2^705463-1 is not prime. Res64: C0BDE9EFF46C71CE Time : 595.0 sec. user=vaughan [2009-08-02 16:10:17] 683*2^705464-1 is not prime. Res64: C7E470329205FBB8 Time : 605.0 sec. user=Zachariassen [2009-08-02 16:10:21] 781*2^705453-1 is not prime. Res64: 930F741913D2B982 Time : 2532.0 sec. user=vaughan [2009-08-02 16:10:22] 755*2^705464-1 is not prime. Res64: C40F4B8936D5FED9 Time : 609.0 sec. user=vaughan [2009-08-02 16:11:02] 773*2^705464-1 is not prime. Res64: 1438874A757C90C8 Time : 543.0 sec. user=vaughan [2009-08-02 16:11:08] 709*2^705463-1 is not prime. Res64: E24159A03DFF74DA Time : 755.0 sec. user=Zachariassen [2009-08-02 16:12:01] 605*2^705458-1 is not prime. Res64: DDF01F13BFCDDD9A Time : 1839.0 sec. user=Zachariassen [2009-08-02 16:12:21] 785*2^705454-1 is not prime. Res64: 0DF8B768CDF72021 Time : 2538.0 sec. user=Zachariassen [2009-08-02 16:14:04] 645*2^705455-1 is not prime. Res64: 21AFA8295FFAB21F Time : 2557.0 sec. user=Zachariassen [2009-08-02 16:15:01] 691*2^705459-1 is not prime. Res64: A5802A9895FB9875 Time : 1864.0 sec. user=Zachariassen [2009-08-02 16:16:44] 775*2^705455-1 is not prime. Res64: 1F85C1B415A07663 Time : 2576.0 sec. user=vaughan [2009-08-02 16:17:55] 657*2^705465-1 is not prime. Res64: 5A4DE5CCE87F77A4 Time : 738.0 sec. user=vaughan [2009-08-02 16:18:42] 651*2^705466-1 is not prime. Res64: 87E365872268FDEC Time : 614.0 sec. user=vaughan [2009-08-02 16:19:58] 675*2^705465-1 is not prime. Res64: 53EC8E0E7C8054A0 Time : 795.0 sec. user=vaughan [2009-08-02 16:20:04] 781*2^705465-1 is not prime. Res64: 174F6FDF4B1AFC97 Time : 795.0 sec. user=vaughan [2009-08-02 16:20:07] 685*2^705467-1 is not prime. Res64: 066A2127EC182E16 Time : 546.0 sec. user=Zachariassen [2009-08-02 16:20:25] 717*2^705460-1 is not prime. Res64: 14968031FA61FCF4 Time : 1864.0 sec. user=vaughan [2009-08-02 16:20:28] 657*2^705466-1 is not prime. Res64: 2C7C942FF16057CE Time : 612.0 sec. user=vaughan [2009-08-02 16:20:29] 609*2^705467-1 is not prime. Res64: 294CACF7F03D4F2A Time : 608.0 sec. user=vaughan [2009-08-02 16:23:33] 647*2^705468-1 is not prime. Res64: 152C4A7A4CD06B8F Time : 747.0 sec. user=Zachariassen [2009-08-02 16:24:10] 611*2^705462-1 is not prime. Res64: 4891B37D08E120B2 Time : 1888.0 sec. user=Zachariassen [2009-08-02 16:28:02] 681*2^705463-1 is not prime. Res64: 6CEDC71EBB746F22 Time : 1885.0 sec. user=vaughan [2009-08-02 16:28:56] 743*2^705470-1 is not prime. Res64: FA67EAECF4F6FA10 Time : 615.0 sec. user=vaughan [2009-08-02 16:29:06] 735*2^705471-1 is not prime. Res64: E85DA6F843CF5022 Time : 541.0 sec. user=vaughan [2009-08-02 16:30:12] 657*2^705470-1 is not prime. Res64: E7AB1BD57531FFB2 Time : 738.0 sec. user=vaughan [2009-08-02 16:30:36] 789*2^705471-1 is not prime. Res64: EE74FC1090156CB7 Time : 609.0 sec. user=vaughan [2009-08-02 16:30:37] 603*2^705472-1 is not prime. Res64: 06EF5FEF2BB1163C Time : 609.0 sec. user=Zachariassen [2009-08-02 16:30:52] 615*2^705464-1 is not prime. Res64: 8CBAD37C6BF460BA Time : 1893.0 sec. user=Zachariassen [2009-08-02 16:31:37] 723*2^705460-1 is not prime. Res64: 1FCCB907EC88C7DB Time : 2535.0 sec. user=vaughan [2009-08-02 16:33:56] 773*2^705470-1 is not prime. Res64: 24637BD4BE6C8BC9 Time : 839.0 sec. user=Zachariassen [2009-08-02 16:34:00] 715*2^705461-1 is not prime. Res64: D12D219E67356AFF Time : 2559.0 sec. user=vaughan [2009-08-02 16:34:45] 703*2^705471-1 is not prime. Res64: 04206F57C79487EE Time : 882.0 sec. user=Zachariassen [2009-08-02 16:35:25] 651*2^705462-1 is not prime. Res64: C7EB977833E88105 Time : 2558.0 sec. user=vaughan [2009-08-02 16:35:59] 665*2^705472-1 is not prime. Res64: 74324BAA045FFACA Time : 747.0 sec. user=Zachariassen [2009-08-02 16:36:05] 625*2^705465-1 is not prime. Res64: C7060DB4F6CF3D63 Time : 1904.0 sec. user=Zachariassen [2009-08-02 16:38:01] 639*2^705463-1 is not prime. Res64: 609D128704D9FE6D Time : 2562.0 sec. user=vaughan [2009-08-02 16:38:09] 771*2^705473-1 is not prime. Res64: AAB3AFDA7C83947B Time : 544.0 sec. user=vaughan [2009-08-02 16:39:03] 741*2^705473-1 is not prime. Res64: 448C7E8202D1D512 Time : 607.0 sec. user=Zachariassen [2009-08-02 16:39:56] 603*2^705466-1 is not prime. Res64: 985C82A9AE15D6F0 Time : 1918.0 sec. user=vaughan [2009-08-02 16:40:37] 635*2^705474-1 is not prime. Res64: F97194C613924058 Time : 601.0 sec. user=vaughan [2009-08-02 16:40:38] 621*2^705474-1 is not prime. Res64: 714C5FFA205F1AB6 Time : 604.0 sec. user=vaughan [2009-08-02 16:42:29] 605*2^705474-1 is not prime. Res64: 4A0394709C5AF5D2 Time : 738.0 sec. user=Zachariassen [2009-08-02 16:43:53] 665*2^705468-1 is not prime. Res64: 6F005E1E67C5742F Time : 1913.0 sec. user=Zachariassen [2009-08-02 16:46:37] 783*2^705468-1 is not prime. Res64: C8C640B0F9C0AA5F Time : 1897.0 sec. user=vaughan [2009-08-02 16:47:07] 603*2^705476-1 is not prime. Res64: 35C9FBDE222FA76F Time : 539.0 sec. user=vaughan [2009-08-02 16:47:18] 601*2^705475-1 is not prime. Res64: 5815F29F235FE25C Time : 803.0 sec. user=vaughan [2009-08-02 16:48:11] 663*2^705475-1 is not prime. Res64: 7CB2D05586AE46E4 Time : 807.0 sec. user=vaughan [2009-08-02 16:48:44] 715*2^705475-1 is not prime. Res64: DD32F923727EA8E9 Time : 766.0 sec. user=vaughan [2009-08-02 16:49:00] 693*2^705476-1 is not prime. Res64: 1C5CB2C11B814D15 Time : 598.0 sec. user=vaughan [2009-08-02 16:50:35] 777*2^705476-1 is not prime. Res64: 0B9877B816DBB3A4 Time : 599.0 sec. user=vaughan [2009-08-02 16:50:36] 681*2^705477-1 is not prime. Res64: 8538CA7FE8A7AF21 Time : 599.0 sec. user=Zachariassen [2009-08-02 16:51:28] 741*2^705471-1 is not prime. Res64: 8A041BF7C0F9DD82 Time : 1863.0 sec. user=Zachariassen [2009-08-02 16:52:58] 633*2^705467-1 is not prime. Res64: 0ABCB48EB6FE11D2 Time : 2557.0 sec. user=vaughan [2009-08-02 16:54:38] 751*2^705477-1 is not prime. Res64: A83F20B01F3262AA Time : 730.0 sec. user=Zachariassen [2009-08-02 16:54:53] 675*2^705472-1 is not prime. Res64: E6970444447CAF00 Time : 1844.0 sec. user=Zachariassen [2009-08-02 16:55:27] 705*2^705468-1 is not prime. Res64: EFD2F2584A514753 Time : 2586.0 sec. user=vaughan [2009-08-02 16:56:06] 663*2^705478-1 is not prime. Res64: 03F91EA0A7ABEF7A Time : 539.0 sec. user=Zachariassen [2009-08-02 16:56:54] 725*2^705468-1 is not prime. Res64: BD7F0F44505E37F2 Time : 2571.0 sec. user=Zachariassen [2009-08-02 16:58:52] 649*2^705473-1 is not prime. Res64: DD08158D3860C6E0 Time : 1850.0 sec. user=vaughan [2009-08-02 16:58:56] 609*2^705479-1 is not prime. Res64: 7B291E3FF0A09FAB Time : 597.0 sec. user=Zachariassen [2009-08-02 16:59:34] 797*2^705468-1 is not prime. Res64: 1E857A518FDD5749 Time : 2570.0 sec. user=vaughan [2009-08-02 17:00:34] 643*2^705479-1 is not prime. Res64: B4348BC63891B123 Time : 600.0 sec. user=vaughan [2009-08-02 17:00:36] 655*2^705479-1 is not prime. Res64: EE408744E3E56E15 Time : 601.0 sec. user=vaughan [2009-08-02 17:00:40] 665*2^705478-1 is not prime. Res64: 885F9D7B6DD60972 Time : 803.0 sec. user=vaughan [2009-08-02 17:01:29] 791*2^705478-1 is not prime. Res64: 34A8EC3ACE378995 Time : 766.0 sec. user=vaughan [2009-08-02 17:01:43] 777*2^705478-1 is not prime. Res64: 7E4A954AA638C517 Time : 813.0 sec. user=Zachariassen [2009-08-02 17:01:58] 651*2^705474-1 is not prime. Res64: 8E7918034041A0E1 Time : 1866.0 sec. user=vaughan [2009-08-02 17:05:15] 627*2^705480-1 is not prime. Res64: A3F824009781201E Time : 550.0 sec. user=vaughan [2009-08-02 17:06:47] 703*2^705479-1 is not prime. Res64: B9C6227A4CABA667 Time : 730.0 sec. user=Zachariassen [2009-08-02 17:06:57] 733*2^705475-1 is not prime. Res64: 1F273EA68FF036D1 Time : 1852.0 sec. user=vaughan [2009-08-02 17:09:08] 615*2^705481-1 is not prime. Res64: D0EFF64FCC8CE49B Time : 613.0 sec. user=Zachariassen [2009-08-02 17:10:34] 735*2^705476-1 is not prime. Res64: 1C4B9193C4EE79F2 Time : 1839.0 sec. user=vaughan [2009-08-02 17:10:53] 777*2^705481-1 is not prime. Res64: C8566A83A14053CF Time : 618.0 sec. user=vaughan [2009-08-02 17:10:53] 741*2^705481-1 is not prime. Res64: 6F53D8E0EA62D9F8 Time : 620.0 sec. user=vaughan [2009-08-02 17:14:02] 657*2^705482-1 is not prime. Res64: DD039EE655E7C29E Time : 755.0 sec. user=vaughan [2009-08-02 17:14:06] 651*2^705482-1 is not prime. Res64: 8CB1DDC15C9311F4 Time : 807.0 sec. user=Zachariassen [2009-08-02 17:14:15] 657*2^705474-1 is not prime. Res64: 5C87828541028E2F Time : 2559.0 sec. user=vaughan [2009-08-02 17:14:37] 639*2^705483-1 is not prime. Res64: 2AC382414941DC71 Time : 563.0 sec. user=Zachariassen [2009-08-02 17:14:58] 759*2^705477-1 is not prime. Res64: 6551E0A4EC7ADFE5 Time : 1866.0 sec. user=vaughan [2009-08-02 17:15:17] 705*2^705482-1 is not prime. Res64: 1A65B17BD8E06B53 Time : 815.0 sec. user=Zachariassen [2009-08-02 17:17:07] 651*2^705475-1 is not prime. Res64: 3E18E4DEEA8359AC Time : 2587.0 sec. user=Zachariassen [2009-08-02 17:17:55] 765*2^705477-1 is not prime. Res64: E068E52E32D94FA6 Time : 1878.0 sec. user=Zachariassen [2009-08-02 17:18:41] 705*2^705475-1 is not prime. Res64: DB8D5FC50040F45F Time : 2596.0 sec. user=vaughan [2009-08-02 17:18:55] 643*2^705483-1 is not prime. Res64: 1AC996701CB35302 Time : 729.0 sec. user=vaughan [2009-08-02 17:19:25] 709*2^705483-1 is not prime. Res64: 7D1CB2F70D415E10 Time : 618.0 sec. user=Zachariassen [2009-08-02 17:21:11] 765*2^705475-1 is not prime. Res64: 7CC7BD4EDA00D1D2 Time : 2590.0 sec. user=vaughan [2009-08-02 17:21:15] 745*2^705483-1 is not prime. Res64: 05E96C2935EDF10C Time : 623.0 sec. user=vaughan [2009-08-02 17:21:16] 769*2^705483-1 is not prime. Res64: 026BFD95B9B59133 Time : 624.0 sec. user=Zachariassen [2009-08-02 17:22:35] 669*2^705479-1 is not prime. Res64: 82670B31C3030AF6 Time : 1867.0 sec. user=vaughan [2009-08-02 17:23:50] 717*2^705484-1 is not prime. Res64: 82089061902D7850 Time : 554.0 sec. user=Zachariassen [2009-08-02 17:26:06] 729*2^705479-1 is not prime. Res64: FC9CF3104AFA19AB Time : 1873.0 sec. user=vaughan [2009-08-02 17:26:35] 795*2^705483-1 is not prime. Res64: 0446B96D6E24AE60 Time : 754.0 sec. user=vaughan [2009-08-02 17:27:26] 605*2^705484-1 is not prime. Res64: 2EC6F34B209F7067 Time : 801.0 sec. user=vaughan [2009-08-02 17:28:38] 619*2^705485-1 is not prime. Res64: 0F718E6E0CF0FF93 Time : 802.0 sec. user=vaughan [2009-08-02 17:29:40] 641*2^705486-1 is not prime. Res64: C46A1590957AF685 Time : 616.0 sec. user=Zachariassen [2009-08-02 17:30:23] 779*2^705480-1 is not prime. Res64: D8688C81D52E4EE6 Time : 1891.0 sec. user=vaughan [2009-08-02 17:31:03] 635*2^705486-1 is not prime. Res64: 067AB9405EDF0500 Time : 729.0 sec. user=vaughan [2009-08-02 17:31:26] 737*2^705486-1 is not prime. Res64: FE28827417CF6C86 Time : 612.0 sec. user=vaughan [2009-08-02 17:31:29] 765*2^705486-1 is not prime. Res64: 4AFEA41DAE5C107E Time : 614.0 sec. user=vaughan [2009-08-02 17:32:46] 633*2^705487-1 is not prime. Res64: 91724A9498BADC07 Time : 538.0 sec. user=Zachariassen [2009-08-02 17:33:44] 797*2^705482-1 is not prime. Res64: DD756CF1875216A7 Time : 1906.0 sec. user=Zachariassen [2009-08-02 17:35:25] 679*2^705479-1 is not prime. Res64: C66E7076D091127A Time : 2547.0 sec. user=Zachariassen [2009-08-02 17:38:23] 741*2^705479-1 is not prime. Res64: 5419F9B9F7FD6653 Time : 2577.0 sec. user=Zachariassen [2009-08-02 17:38:31] 685*2^705483-1 is not prime. Res64: 01CB351F73B2C2A9 Time : 1895.0 sec. user=vaughan [2009-08-02 17:39:12] 681*2^705487-1 is not prime. Res64: 4CD9FE20CDA8E96E Time : 758.0 sec. user=Zachariassen [2009-08-02 17:39:41] 629*2^705480-1 is not prime. Res64: 9F75BB1B341ED5AD Time : 2568.0 sec. user=vaughan [2009-08-02 17:39:49] 775*2^705487-1 is not prime. Res64: 1A815966C996A628 Time : 610.0 sec. user=vaughan [2009-08-02 17:40:48] 741*2^705487-1 is not prime. Res64: 81D649FAF0069E5F Time : 803.0 sec. user=vaughan [2009-08-02 17:41:33] 735*2^705488-1 is not prime. Res64: 71B2C510E1A92D26 Time : 608.0 sec. user=vaughan [2009-08-02 17:41:37] 789*2^705488-1 is not prime. Res64: 014E02006FC9B6A5 Time : 610.0 sec. user=vaughan [2009-08-02 17:41:45] 797*2^705488-1 is not prime. Res64: 0BACF64D9A382D47 Time : 540.0 sec. user=vaughan [2009-08-02 17:41:59] 759*2^705487-1 is not prime. Res64: A4B606EA68D349E9 Time : 803.0 sec. user=Zachariassen [2009-08-02 17:42:06] 739*2^705483-1 is not prime. Res64: 7688E437B10BEEF0 Time : 1893.0 sec. user=Zachariassen [2009-08-02 17:42:28] 649*2^705481-1 is not prime. Res64: E6957237661ECF58 Time : 2574.0 sec. user=vaughan [2009-08-02 17:43:13] 687*2^705488-1 is not prime. Res64: 5F3E3706850834F4 Time : 731.0 sec. user=Zachariassen [2009-08-02 17:45:44] 755*2^705484-1 is not prime. Res64: E1F1C29CA96D7F88 Time : 1847.0 sec. user=Zachariassen [2009-08-02 17:49:07] 711*2^705485-1 is not prime. Res64: 1EB1E15B3BAEEF6B Time : 1872.0 sec. user=vaughan [2009-08-02 17:49:41] 663*2^705490-1 is not prime. Res64: A6EA50C99F2A39E2 Time : 593.0 sec. user=vaughan [2009-08-02 17:50:38] 733*2^705491-1 is not prime. Res64: D9DB0D69D7DD5B9C Time : 534.0 sec. user=vaughan [2009-08-02 17:51:12] 669*2^705491-1 is not prime. Res64: FD731094CFD02E68 Time : 580.0 sec. user=vaughan [2009-08-02 17:51:17] 703*2^705491-1 is not prime. Res64: E034345C6B3DC1CC Time : 582.0 sec. user=vaughan [2009-08-02 17:51:46] 709*2^705489-1 is not prime. Res64: 7B4A6C10D94DE91C Time : 756.0 sec. user=Zachariassen [2009-08-02 17:53:49] 615*2^705487-1 is not prime. Res64: 242B4C0A101253D6 Time : 1874.0 sec. user=vaughan [2009-08-02 17:54:09] 619*2^705491-1 is not prime. Res64: A40C0D764999374E Time : 802.0 sec. user=vaughan [2009-08-02 17:55:23] 741*2^705491-1 is not prime. Res64: F59100B93CC6372D Time : 805.0 sec. user=vaughan [2009-08-02 17:55:27] 717*2^705492-1 is not prime. Res64: CF85A68F165549E8 Time : 736.0 sec. user=Zachariassen [2009-08-02 17:57:04] 657*2^705484-1 is not prime. Res64: 5AC5D40707B665A8 Time : 2570.0 sec. user=Zachariassen [2009-08-02 17:57:49] 651*2^705487-1 is not prime. Res64: E3452ED2B32BC73F Time : 1904.0 sec. user=vaughan [2009-08-02 17:58:54] 625*2^705493-1 is not prime. Res64: E2DC650FDDC440F6 Time : 554.0 sec. user=vaughan [2009-08-02 17:59:31] 679*2^705493-1 is not prime. Res64: FBADD96C8D7ADBA3 Time : 534.0 sec. user=Zachariassen [2009-08-02 17:59:58] 657*2^705485-1 is not prime. Res64: D26EE8C370A6A519 Time : 2572.0 sec. user=vaughan [2009-08-02 18:00:31] 745*2^705493-1 is not prime. Res64: D1777C911950F498 Time : 560.0 sec. user=vaughan [2009-08-02 18:00:38] 771*2^705493-1 is not prime. Res64: 74C0CEBBC90FECCF Time : 562.0 sec. user=Zachariassen [2009-08-02 18:00:54] 611*2^705486-1 is not prime. Res64: 541DCE4EA4233BFD Time : 2533.0 sec. user=Zachariassen [2009-08-02 18:01:31] 629*2^705488-1 is not prime. Res64: C12601AF9E47363B Time : 1868.0 sec. user=Zachariassen [2009-08-02 18:03:51] 711*2^705486-1 is not prime. Res64: 4C2A42F965E3830E Time : 2560.0 sec. user=vaughan [2009-08-02 18:04:13] 747*2^705494-1 is not prime. Res64: C9C7C64551E68D72 Time : 749.0 sec. user=Zachariassen [2009-08-02 18:05:13] 615*2^705489-1 is not prime. Res64: 2D5A3C21FF0C364E Time : 1890.0 sec. user=vaughan [2009-08-02 18:07:29] 649*2^705495-1 is not prime. Res64: DFDFBDAF6F98A2EB Time : 801.0 sec. user=vaughan [2009-08-02 18:07:45] 627*2^705497-1 is not prime. Res64: 8DCBD3CDBE64F6D6 Time : 740.0 sec. user=vaughan [2009-08-02 18:08:16] 647*2^705498-1 is not prime. Res64: 02E2C5204DFA5D9E Time : 526.0 sec. user=vaughan [2009-08-02 18:08:19] 635*2^705498-1 is not prime. Res64: 59A451052B15ED57 Time : 567.0 sec. user=vaughan [2009-08-02 18:08:51] 639*2^705496-1 is not prime. Res64: E0225C3130520D81 Time : 809.0 sec. user=vaughan [2009-08-02 18:09:51] 755*2^705498-1 is not prime. Res64: 540710A68D5DB478 Time : 561.0 sec. user=Zachariassen [2009-08-02 18:09:52] 705*2^705489-1 is not prime. Res64: 66E6745782F55EFC Time : 1881.0 sec. user=vaughan [2009-08-02 18:10:00] 663*2^705499-1 is not prime. Res64: 85AE9EE522A778EF Time : 563.0 sec. user=Zachariassen [2009-08-02 18:14:05] 675*2^705492-1 is not prime. Res64: A51D04298B170ED6 Time : 1919.0 sec. user=vaughan [2009-08-02 18:16:38] 699*2^705500-1 is not prime. Res64: F898834DB3FBA759 Time : 746.0 sec. user=vaughan [2009-08-02 18:16:56] 741*2^705501-1 is not prime. Res64: 160384E7EDDF29CF Time : 521.0 sec. user=vaughan [2009-08-02 18:17:38] 747*2^705501-1 is not prime. Res64: 37BC677B2C373467 Time : 560.0 sec. user=Zachariassen [2009-08-02 18:17:58] 725*2^705492-1 is not prime. Res64: 3855D7B169C967EF Time : 1934.0 sec. user=Zachariassen [2009-08-02 18:18:49] 679*2^705489-1 is not prime. Res64: FEB0B71F1FB637BB Time : 2604.0 sec. user=vaughan [2009-08-02 18:19:11] 675*2^705502-1 is not prime. Res64: D5E63F0D7E8F5590 Time : 560.0 sec. user=vaughan [2009-08-02 18:19:19] 643*2^705503-1 is not prime. Res64: 5C0117F145C23321 Time : 560.0 sec. user=vaughan [2009-08-02 18:20:03] 711*2^705501-1 is not prime. Res64: 333877BB280DE9C8 Time : 740.0 sec. user=vaughan [2009-08-02 18:20:50] 797*2^705500-1 is not prime. Res64: 1DDD0B307DAC3D5F Time : 801.0 sec. user=Zachariassen [2009-08-02 18:21:32] 681*2^705489-1 is not prime. Res64: 3574E401EE730852 Time : 2590.0 sec. user=Zachariassen [2009-08-02 18:21:33] 797*2^705492-1 is not prime. Res64: 40B8BA4BBA1BC4A5 Time : 1946.0 sec. user=vaughan [2009-08-02 18:22:08] 671*2^705502-1 is not prime. Res64: 3336F9FB46829CE6 Time : 798.0 sec. user=Zachariassen [2009-08-02 18:22:34] 611*2^705490-1 is not prime. Res64: C6F339B4A84A12AE Time : 2573.0 sec. user=Zachariassen [2009-08-02 18:25:30] 689*2^705492-1 is not prime. Res64: 5F42485651044BAF Time : 2582.0 sec. user=vaughan [2009-08-02 18:25:36] 605*2^705504-1 is not prime. Res64: 63AA809BD81729DF Time : 521.0 sec. user=Zachariassen [2009-08-02 18:26:02] 797*2^705494-1 is not prime. Res64: AAD80039F345A6E5 Time : 1933.0 sec. user=vaughan [2009-08-02 18:26:46] 693*2^705504-1 is not prime. Res64: 23CD640726053D92 Time : 550.0 sec. user=vaughan [2009-08-02 18:28:20] 759*2^705504-1 is not prime. Res64: 6C52222BE63C3477 Time : 551.0 sec. user=vaughan [2009-08-02 18:28:28] 635*2^705506-1 is not prime. Res64: FD4187651F53E210 Time : 550.0 sec. user=vaughan [2009-08-02 18:29:08] 673*2^705503-1 is not prime. Res64: A1CCF642FA1C5305 Time : 752.0 sec. user=Zachariassen [2009-08-02 18:30:04] 615*2^705498-1 is not prime. Res64: 6C78ACE187139839 Time : 1935.0 sec. user=vaughan [2009-08-02 18:32:16] 641*2^705506-1 is not prime. Res64: 05290BBB45A7E6BF Time : 734.0 sec. user=Zachariassen [2009-08-02 18:33:37] 681*2^705499-1 is not prime. Res64: E6F83C06CA401634 Time : 1927.0 sec. user=vaughan [2009-08-02 18:34:02] 677*2^705506-1 is not prime. Res64: FCBD2DD298F58700 Time : 793.0 sec. user=vaughan [2009-08-02 18:34:23] 615*2^705508-1 is not prime. Res64: 207010FCF94A6607 Time : 528.0 sec. user=vaughan [2009-08-02 18:35:20] 767*2^705506-1 is not prime. Res64: FB2C34A627078E25 Time : 793.0 sec. user=vaughan [2009-08-02 18:36:19] 687*2^705508-1 is not prime. Res64: C6856B283DE23E29 Time : 574.0 sec. user=Zachariassen [2009-08-02 18:37:22] 717*2^705500-1 is not prime. Res64: 064DB606F336C8AA Time : 1929.0 sec. user=vaughan [2009-08-02 18:37:58] 695*2^705508-1 is not prime. Res64: 3B9B00318EBD6B84 Time : 579.0 sec. user=vaughan [2009-08-02 18:38:14] 711*2^705509-1 is not prime. Res64: 987F58BE1FBC0E1C Time : 587.0 sec. user=Zachariassen [2009-08-02 18:40:04] 675*2^705497-1 is not prime. Res64: D5DCD19376C0079A Time : 2580.0 sec. user=vaughan [2009-08-02 18:41:42] 759*2^705509-1 is not prime. Res64: 99354748FE20FD07 Time : 755.0 sec. user=Zachariassen [2009-08-02 18:41:49] 717*2^705502-1 is not prime. Res64: 39E8DE62F730D8AB Time : 1918.0 sec. user=Zachariassen [2009-08-02 18:42:50] 707*2^705498-1 is not prime. Res64: 5CC3968978BBF38E Time : 2572.0 sec. user=vaughan [2009-08-02 18:43:16] 625*2^705513-1 is not prime. Res64: C80BCA46BCE2AB50 Time : 534.0 sec. user=Zachariassen [2009-08-02 18:43:57] 675*2^705499-1 is not prime. Res64: 5D40E49B1006CC1D Time : 2583.0 sec. user=vaughan [2009-08-02 18:44:25] 633*2^705512-1 is not prime. Res64: 044AD0BDE2269742 Time : 730.0 sec. user=Zachariassen [2009-08-02 18:45:22] 661*2^705503-1 is not prime. Res64: 07DCE796147688D0 Time : 1878.0 sec. user=vaughan [2009-08-02 18:46:19] 727*2^705513-1 is not prime. Res64: 7C8918D4F75705BA Time : 602.0 sec. user=Zachariassen [2009-08-02 18:47:01] 751*2^705499-1 is not prime. Res64: 77301E36DDB68BE1 Time : 2590.0 sec. user=vaughan [2009-08-02 18:47:10] 725*2^705512-1 is not prime. Res64: 102ECE073E7B155E Time : 789.0 sec. user=vaughan [2009-08-02 18:47:58] 789*2^705513-1 is not prime. Res64: 04DA6A0E2802F1E7 Time : 602.0 sec. user=vaughan [2009-08-02 18:48:09] 621*2^705514-1 is not prime. Res64: 636C3E212E99B34C Time : 597.0 sec. user=vaughan [2009-08-02 18:48:30] 685*2^705513-1 is not prime. Res64: 576A33AD3D09087C Time : 791.0 sec. user=Zachariassen [2009-08-02 18:49:20] 705*2^705504-1 is not prime. Res64: 14F258A30D511571 Time : 1882.0 sec. user=vaughan [2009-08-02 18:52:06] 609*2^705516-1 is not prime. Res64: 4E11AC4C2C358A96 Time : 531.0 sec. user=Zachariassen [2009-08-02 18:52:53] 743*2^705506-1 is not prime. Res64: 02CE0F4279EB948D Time : 1881.0 sec. user=vaughan [2009-08-02 18:54:13] 645*2^705514-1 is not prime. Res64: 23FE989CDF714C5B Time : 752.0 sec. user=vaughan [2009-08-02 18:56:13] 759*2^705517-1 is not prime. Res64: 80BB7330DF355955 Time : 596.0 sec. user=vaughan [2009-08-02 18:56:38] 621*2^705517-1 is not prime. Res64: 6019390E16991341 Time : 734.0 sec. user=Zachariassen [2009-08-02 18:57:19] 663*2^705508-1 is not prime. Res64: 56D99C2CDEB1D892 Time : 1877.0 sec. user=vaughan [2009-08-02 18:57:56] 683*2^705518-1 is not prime. Res64: 329343519AFF1217 Time : 599.0 sec. user=vaughan [2009-08-02 18:58:11] 687*2^705518-1 is not prime. Res64: 5FC634FA01EFBBDE Time : 603.0 sec. user=vaughan [2009-08-02 19:00:14] 665*2^705518-1 is not prime. Res64: DBC77223426D4902 Time : 785.0 sec. user=Zachariassen [2009-08-02 19:00:56] 673*2^705511-1 is not prime. Res64: A0FA61F074A876C1 Time : 1853.0 sec. user=vaughan [2009-08-02 19:01:01] 691*2^705519-1 is not prime. Res64: C46841C19E7F211A Time : 536.0 sec. user=Zachariassen [2009-08-02 19:01:29] 737*2^705504-1 is not prime. Res64: 92F765E1D5B2A81A Time : 2560.0 sec. user=vaughan [2009-08-02 19:01:38] 753*2^705518-1 is not prime. Res64: F06B724AC47C3F6C Time : 789.0 sec. user=Zachariassen [2009-08-02 19:04:03] 683*2^705506-1 is not prime. Res64: 2CBD88009C3657DB Time : 2551.0 sec. user=Zachariassen [2009-08-02 19:05:01] 781*2^705507-1 is not prime. Res64: 3F0A1104B5F0D7C9 Time : 2548.0 sec. user=Zachariassen [2009-08-02 19:05:20] 699*2^705512-1 is not prime. Res64: B7D27BEF2B4E8FA4 Time : 1903.0 sec. user=vaughan [2009-08-02 19:06:15] 645*2^705520-1 is not prime. Res64: 90E4AADF6246DD4D Time : 603.0 sec. user=vaughan [2009-08-02 19:06:45] 709*2^705519-1 is not prime. Res64: 05585060CB8CFD88 Time : 753.0 sec. user=vaughan [2009-08-02 19:07:58] 631*2^705521-1 is not prime. Res64: A4E790D3947747BE Time : 603.0 sec. user=Zachariassen [2009-08-02 19:08:08] 793*2^705507-1 is not prime. Res64: FEB18C519A927B2C Time : 2558.0 sec. user=vaughan [2009-08-02 19:08:14] 669*2^705521-1 is not prime. Res64: B710922267CB497E Time : 604.0 sec. user=Zachariassen [2009-08-02 19:08:28] 781*2^705513-1 is not prime. Res64: 840112907E731F42 Time : 1867.0 sec. user=vaughan [2009-08-02 19:08:53] 699*2^705520-1 is not prime. Res64: 5BF5D4FA33EBEEE3 Time : 736.0 sec. user=vaughan [2009-08-02 19:10:03] 711*2^705522-1 is not prime. Res64: 12FE534782D27212 Time : 543.0 sec. user=Zachariassen [2009-08-02 19:13:05] 657*2^705514-1 is not prime. Res64: E8073644115A2212 Time : 1876.0 sec. user=vaughan [2009-08-02 19:13:18] 681*2^705522-1 is not prime. Res64: F8462EFCC48A510F Time : 785.0 sec. user=vaughan [2009-08-02 19:14:45] 797*2^705522-1 is not prime. Res64: 044726F3A05ADBBD Time : 788.0 sec. user=vaughan [2009-08-02 19:16:10] 609*2^705524-1 is not prime. Res64: 470E30EFF30D174D Time : 596.0 sec. user=Zachariassen [2009-08-02 19:16:37] 729*2^705517-1 is not prime. Res64: A0D2D9C7E32D8402 Time : 1875.0 sec. user=vaughan [2009-08-02 19:18:00] 659*2^705524-1 is not prime. Res64: A460DB937D785088 Time : 602.0 sec. user=vaughan [2009-08-02 19:18:22] 743*2^705524-1 is not prime. Res64: 22598F6EC8E3E18D Time : 609.0 sec. user=vaughan [2009-08-02 19:19:01] 609*2^705525-1 is not prime. Res64: 7777DD8AA83DB76D Time : 539.0 sec. user=vaughan [2009-08-02 19:19:11] 615*2^705524-1 is not prime. Res64: 6A439C15EC1A3C09 Time : 747.0 sec. user=Zachariassen [2009-08-02 19:20:56] 663*2^705519-1 is not prime. Res64: 47729BB2ACCE3509 Time : 1897.0 sec. user=vaughan [2009-08-02 19:21:16] 607*2^705525-1 is not prime. Res64: C9FE3953A854F921 Time : 743.0 sec. user=Zachariassen [2009-08-02 19:22:52] 635*2^705514-1 is not prime. Res64: FFC87E7863BD7DB0 Time : 2568.0 sec. user=Zachariassen [2009-08-02 19:24:01] 703*2^705519-1 is not prime. Res64: C24E41EDAFC333B9 Time : 1868.0 sec. user=Zachariassen [2009-08-02 19:25:30] 737*2^705514-1 is not prime. Res64: ED6C80B442EC0DA6 Time : 2560.0 sec. user=vaughan [2009-08-02 19:26:24] 669*2^705525-1 is not prime. Res64: 3AC9025AB4889646 Time : 787.0 sec. user=vaughan [2009-08-02 19:26:25] 789*2^705525-1 is not prime. Res64: 772C9F09F8229EE8 Time : 616.0 sec. user=Zachariassen [2009-08-02 19:26:31] 669*2^705516-1 is not prime. Res64: 631925475B30AEE1 Time : 2554.0 sec. user=vaughan [2009-08-02 19:27:57] 727*2^705525-1 is not prime. Res64: 7C842B54A8573C4A Time : 793.0 sec. user=vaughan [2009-08-02 19:28:00] 765*2^705526-1 is not prime. Res64: 3C8E9347E2B06A5D Time : 541.0 sec. user=vaughan [2009-08-02 19:28:06] 645*2^705526-1 is not prime. Res64: A236BE7FEBEB850E Time : 606.0 sec. user=vaughan [2009-08-02 19:28:33] 663*2^705526-1 is not prime. Res64: DFD4F9C34AD64952 Time : 612.0 sec. user=Zachariassen [2009-08-02 19:29:02] 755*2^705520-1 is not prime. Res64: D41A144EB8082CA2 Time : 1903.0 sec. user=Zachariassen [2009-08-02 19:29:23] 799*2^705517-1 is not prime. Res64: 7424DBEECB59AA45 Time : 2542.0 sec. user=vaughan [2009-08-02 19:31:37] 655*2^705527-1 is not prime. Res64: E383021E0540D5CE Time : 747.0 sec. user=Zachariassen [2009-08-02 19:32:43] 705*2^705522-1 is not prime. Res64: 4D63F445911B1727 Time : 1907.0 sec. user=vaughan [2009-08-02 19:33:34] 673*2^705527-1 is not prime. Res64: 7F86540733A884BF Time : 739.0 sec. user=vaughan [2009-08-02 19:36:50] 797*2^705528-1 is not prime. Res64: BBAAA6D5914479B2 Time : 626.0 sec. user=Zachariassen [2009-08-02 19:36:57] 673*2^705523-1 is not prime. Res64: 1EC72D7169A3D4EE Time : 1898.0 sec. user=vaughan [2009-08-02 19:37:01] 635*2^705530-1 is not prime. Res64: 17559EFDC97A1CA8 Time : 543.0 sec. user=vaughan [2009-08-02 19:38:27] 707*2^705530-1 is not prime. Res64: 4151669460F462DB Time : 622.0 sec. user=vaughan [2009-08-02 19:38:51] 791*2^705530-1 is not prime. Res64: 6D8B5C6A1D94FBE3 Time : 620.0 sec. user=vaughan [2009-08-02 19:39:27] 789*2^705528-1 is not prime. Res64: 8107D66ACDE20A10 Time : 784.0 sec. user=Zachariassen [2009-08-02 19:39:58] 759*2^705524-1 is not prime. Res64: 8B3DB486B7C332F4 Time : 1890.0 sec. user=vaughan [2009-08-02 19:41:05] 747*2^705529-1 is not prime. Res64: 2C6A9439E6A18A4C Time : 793.0 sec. user=vaughan [2009-08-02 19:44:06] 687*2^705532-1 is not prime. Res64: 164938AEA80DAE69 Time : 750.0 sec. user=Zachariassen [2009-08-02 19:44:34] 765*2^705522-1 is not prime. Res64: 01501CFE214D3DC4 Time : 2585.0 sec. user=Zachariassen [2009-08-02 19:45:09] 625*2^705525-1 is not prime. Res64: 638D9074872F6371 Time : 1925.0 sec. user=vaughan [2009-08-02 19:45:53] 669*2^705533-1 is not prime. Res64: 6882227A6D53D85F Time : 740.0 sec. user=vaughan [2009-08-02 19:45:59] 735*2^705533-1 is not prime. Res64: 14CED309ED54A53F Time : 538.0 sec. user=vaughan [2009-08-02 19:46:55] 679*2^705533-1 is not prime. Res64: 3950DFB155E80980 Time : 606.0 sec. user=Zachariassen [2009-08-02 19:46:58] 603*2^705523-1 is not prime. Res64: AF0810AE8FA65715 Time : 2575.0 sec. user=Zachariassen [2009-08-02 19:47:56] 649*2^705523-1 is not prime. Res64: F07690CC63F39AA7 Time : 2575.0 sec. user=vaughan [2009-08-02 19:48:27] 605*2^705534-1 is not prime. Res64: 80045326AED11243 Time : 601.0 sec. user=Zachariassen [2009-08-02 19:48:42] 795*2^705525-1 is not prime. Res64: 93A027C6515B4797 Time : 1925.0 sec. user=vaughan [2009-08-02 19:48:49] 611*2^705534-1 is not prime. Res64: 83D868AE5F3FAF0C Time : 599.0 sec. user=Zachariassen [2009-08-02 19:51:02] 665*2^705524-1 is not prime. Res64: A040126B94E4D3AF Time : 2575.0 sec. user=vaughan [2009-08-02 19:52:30] 681*2^705534-1 is not prime. Res64: D462B53D9214A8F3 Time : 784.0 sec. user=Zachariassen [2009-08-02 19:52:55] 661*2^705527-1 is not prime. Res64: 0D411BB01FEF6A4A Time : 1920.0 sec. user=vaughan [2009-08-02 19:54:13] 755*2^705534-1 is not prime. Res64: 986831961906AF74 Time : 789.0 sec. user=vaughan [2009-08-02 19:55:00] 637*2^705537-1 is not prime. Res64: 3BBAFBC1811D1AA7 Time : 543.0 sec. user=Zachariassen [2009-08-02 19:55:56] 725*2^705528-1 is not prime. Res64: 3360152145DE1BD1 Time : 1915.0 sec. user=vaughan [2009-08-02 19:56:37] 705*2^705535-1 is not prime. Res64: 9F3818819EF47635 Time : 752.0 sec. user=vaughan [2009-08-02 19:57:04] 651*2^705537-1 is not prime. Res64: B4D5CA7B36179B48 Time : 610.0 sec. user=vaughan [2009-08-02 19:58:14] 785*2^705536-1 is not prime. Res64: C01CF7FB292F090F Time : 742.0 sec. user=vaughan [2009-08-02 19:58:34] 663*2^705538-1 is not prime. Res64: B3F1ECE14E47D395 Time : 608.0 sec. user=vaughan [2009-08-02 19:58:57] 723*2^705538-1 is not prime. Res64: 90EA42EAF741E917 Time : 609.0 sec. user=Zachariassen [2009-08-02 20:00:42] 751*2^705531-1 is not prime. Res64: 141A0B63D14C4B0E Time : 1900.0 sec. user=vaughan [2009-08-02 20:03:52] 705*2^705539-1 is not prime. Res64: E9234B760CB2643C Time : 533.0 sec. user=Zachariassen [2009-08-02 20:04:31] 695*2^705532-1 is not prime. Res64: C875033144345B4D Time : 1908.0 sec. user=vaughan [2009-08-02 20:05:30] 765*2^705538-1 is not prime. Res64: DDB801D38DF2C19E Time : 781.0 sec. user=Zachariassen [2009-08-02 20:05:49] 695*2^705528-1 is not prime. Res64: 4DDBD519B800BB42 Time : 2577.0 sec. user=vaughan [2009-08-02 20:07:06] 633*2^705540-1 is not prime. Res64: 46BE68EC6D999CC3 Time : 603.0 sec. user=vaughan [2009-08-02 20:07:16] 615*2^705539-1 is not prime. Res64: 8C1E6F193A2831E2 Time : 784.0 sec. user=Zachariassen [2009-08-02 20:08:32] 773*2^705528-1 is not prime. Res64: 5B210D9AF4ECB1FE Time : 2582.0 sec. user=vaughan [2009-08-02 20:08:39] 723*2^705540-1 is not prime. Res64: 314FC3E606EB3C8D Time : 606.0 sec. user=Zachariassen [2009-08-02 20:08:42] 721*2^705533-1 is not prime. Res64: AD75D29D33B4A8F7 Time : 1906.0 sec. user=vaughan [2009-08-02 20:09:02] 789*2^705540-1 is not prime. Res64: 364F3D7E347D7AF1 Time : 606.0 sec. user=vaughan [2009-08-02 20:09:07] 609*2^705540-1 is not prime. Res64: F9754C872A5AE11A Time : 751.0 sec. user=Zachariassen [2009-08-02 20:09:16] 681*2^705529-1 is not prime. Res64: 2820568DCDFF9E2D Time : 2565.0 sec. user=vaughan [2009-08-02 20:10:19] 669*2^705540-1 is not prime. Res64: 8504C8A46E243BBA Time : 725.0 sec. user=Zachariassen [2009-08-02 20:11:30] 737*2^705534-1 is not prime. Res64: DE42143FA0450D68 Time : 1892.0 sec. user=Zachariassen [2009-08-02 20:12:38] 665*2^705532-1 is not prime. Res64: 94E775D358D2AA24 Time : 2595.0 sec. user=vaughan [2009-08-02 20:12:50] 639*2^705541-1 is not prime. Res64: E469C0D847283AF7 Time : 538.0 sec. user=Zachariassen [2009-08-02 20:16:38] 669*2^705536-1 is not prime. Res64: 6007DE7F37674B84 Time : 1889.0 sec. user=vaughan [2009-08-02 20:17:15] 777*2^705541-1 is not prime. Res64: EF82103DCAB66267 Time : 609.0 sec. user=vaughan [2009-08-02 20:18:30] 717*2^705541-1 is not prime. Res64: 33EB750E42F73F6C Time : 780.0 sec. user=vaughan [2009-08-02 20:18:40] 677*2^705542-1 is not prime. Res64: 73648CF0F211128C Time : 601.0 sec. user=vaughan [2009-08-02 20:19:06] 755*2^705542-1 is not prime. Res64: 0541D42B63E3DEC4 Time : 604.0 sec. user=vaughan [2009-08-02 20:20:16] 789*2^705541-1 is not prime. Res64: 77A8B5AECDD36B7C Time : 780.0 sec. user=Zachariassen [2009-08-02 20:20:36] 713*2^705538-1 is not prime. Res64: E51F56013BEF25DD Time : 1914.0 sec. user=vaughan [2009-08-02 20:21:40] 735*2^705543-1 is not prime. Res64: 50483749B3E0FB66 Time : 753.0 sec. user=vaughan [2009-08-02 20:21:49] 729*2^705545-1 is not prime. Res64: F822FA36703B8392 Time : 539.0 sec. user=vaughan [2009-08-02 20:22:24] 615*2^705544-1 is not prime. Res64: B531AD17BBB399E6 Time : 725.0 sec. user=Zachariassen [2009-08-02 20:24:45] 609*2^705539-1 is not prime. Res64: AAD318FAEF30B102 Time : 1910.0 sec. user=Zachariassen [2009-08-02 20:27:05] 759*2^705535-1 is not prime. Res64: 7D592BE6DB5A6A61 Time : 2552.0 sec. user=vaughan [2009-08-02 20:27:13] 671*2^705546-1 is not prime. Res64: 2519C9CB59FAA3FA Time : 598.0 sec. user=Zachariassen [2009-08-02 20:27:24] 753*2^705539-1 is not prime. Res64: 3723153238C8CEDF Time : 1889.0 sec. user=vaughan [2009-08-02 20:28:43] 663*2^705547-1 is not prime. Res64: 253344F25DB7A8EB Time : 603.0 sec. user=vaughan [2009-08-02 20:29:12] 693*2^705547-1 is not prime. Res64: C21AD3B299D5E896 Time : 606.0 sec. user=Zachariassen [2009-08-02 20:29:32] 603*2^705538-1 is not prime. Res64: AFBDD29C94C29312 Time : 2555.0 sec. user=Zachariassen [2009-08-02 20:30:19] 633*2^705538-1 is not prime. Res64: 520710706C176D10 Time : 2543.0 sec. user=vaughan [2009-08-02 20:30:44] 699*2^705548-1 is not prime. Res64: DF07CF0FB903484C Time : 535.0 sec. user=vaughan [2009-08-02 20:31:29] 713*2^705546-1 is not prime. Res64: BE491AD05B09ED04 Time : 780.0 sec. user=Zachariassen [2009-08-02 20:32:00] 615*2^705541-1 is not prime. Res64: B8405C219C2D2DA3 Time : 1879.0 sec. user=vaughan [2009-08-02 20:33:17] 633*2^705548-1 is not prime. Res64: 994E6C827AE367BF Time : 781.0 sec. user=Zachariassen [2009-08-02 20:34:01] 737*2^705538-1 is not prime. Res64: 88EB39B35804EF52 Time : 2579.0 sec. user=vaughan [2009-08-02 20:34:10] 683*2^705548-1 is not prime. Res64: C43038286BD7A99D Time : 751.0 sec. user=vaughan [2009-08-02 20:34:29] 797*2^705548-1 is not prime. Res64: BA3B67A9FEB1B022 Time : 725.0 sec. user=Zachariassen [2009-08-02 20:35:50] 715*2^705541-1 is not prime. Res64: B608ECA6C918CE4F Time : 1880.0 sec. user=vaughan [2009-08-02 20:37:25] 751*2^705549-1 is not prime. Res64: 9CA1A905CE8CAF5F Time : 613.0 sec. user=vaughan [2009-08-02 20:38:51] 645*2^705550-1 is not prime. Res64: 44AB35CFDAF9484A Time : 609.0 sec. user=vaughan [2009-08-02 20:39:27] 665*2^705550-1 is not prime. Res64: C19E6E786C1CE62E Time : 615.0 sec. user=vaughan [2009-08-02 20:40:01] 773*2^705550-1 is not prime. Res64: 4493C096882C6E32 Time : 557.0 sec. user=Zachariassen [2009-08-02 20:40:19] 705*2^705542-1 is not prime. Res64: CD013CF125F2BE0E Time : 1897.0 sec. user=Zachariassen [2009-08-02 20:43:05] 687*2^705544-1 is not prime. Res64: 04038E1337D6C3A8 Time : 1895.0 sec. user=vaughan [2009-08-02 20:44:29] 777*2^705550-1 is not prime. Res64: 7554E7EFD5DEC95F Time : 781.0 sec. user=vaughan [2009-08-02 20:46:17] 651*2^705551-1 is not prime. Res64: 31872B6DBC94E832 Time : 780.0 sec. user=vaughan [2009-08-02 20:46:37] 759*2^705551-1 is not prime. Res64: 29A5D01169BF79AC Time : 728.0 sec. user=vaughan [2009-08-02 20:46:43] 715*2^705551-1 is not prime. Res64: F8BF9585DED23C94 Time : 754.0 sec. user=vaughan [2009-08-02 20:47:48] 635*2^705552-1 is not prime. Res64: 0BF0D78E25CB5E25 Time : 624.0 sec. user=Zachariassen [2009-08-02 20:47:58] 633*2^705546-1 is not prime. Res64: 7F84A7FED24E71EC Time : 1880.0 sec. user=Zachariassen [2009-08-02 20:48:37] 775*2^705541-1 is not prime. Res64: FD78F5F0B2A4FBAA Time : 2568.0 sec. user=vaughan [2009-08-02 20:49:09] 779*2^705552-1 is not prime. Res64: 9B84A4C077936C6F Time : 619.0 sec. user=vaughan [2009-08-02 20:49:32] 665*2^705554-1 is not prime. Res64: 7417DB3ADC51662B Time : 571.0 sec. user=vaughan [2009-08-02 20:49:55] 635*2^705554-1 is not prime. Res64: D94BBC95137F3457 Time : 628.0 sec. user=Zachariassen [2009-08-02 20:50:56] 603*2^705542-1 is not prime. Res64: ADDA7DD900D94EB0 Time : 2545.0 sec. user=Zachariassen [2009-08-02 20:51:50] 669*2^705548-1 is not prime. Res64: CB714FEC5D7D310A Time : 1874.0 sec. user=Zachariassen [2009-08-02 20:51:55] 765*2^705543-1 is not prime. Res64: 234F2CB16075D758 Time : 2559.0 sec. user=Zachariassen [2009-08-02 20:55:20] 679*2^705545-1 is not prime. Res64: EDF0E0A696BB2A8C Time : 2562.0 sec. user=Zachariassen [2009-08-02 20:55:58] 657*2^705549-1 is not prime. Res64: DC1E3EC3CD3BBA1D Time : 1874.0 sec. user=vaughan [2009-08-02 20:57:31] 691*2^705555-1 is not prime. Res64: 9705A49B320DACF4 Time : 783.0 sec. user=vaughan [2009-08-02 20:58:03] 671*2^705558-1 is not prime. Res64: 83EF55022168E2B9 Time : 615.0 sec. user=Zachariassen [2009-08-02 20:58:18] 769*2^705549-1 is not prime. Res64: 5D37453D266BE419 Time : 1854.0 sec. user=vaughan [2009-08-02 20:58:42] 723*2^705556-1 is not prime. Res64: F958FAFC0FB2F88C Time : 725.0 sec. user=vaughan [2009-08-02 20:59:04] 729*2^705559-1 is not prime. Res64: 543EC1144F1697B3 Time : 572.0 sec. user=vaughan [2009-08-02 20:59:18] 657*2^705558-1 is not prime. Res64: F684E75C0B6C4F04 Time : 755.0 sec. user=vaughan [2009-08-02 20:59:19] 623*2^705556-1 is not prime. Res64: 768B4A9C1E81A474 Time : 782.0 sec. user=vaughan [2009-08-02 20:59:24] 601*2^705559-1 is not prime. Res64: F7F80711405BB43E Time : 616.0 sec. user=vaughan [2009-08-02 21:00:12] 775*2^705559-1 is not prime. Res64: DF5287ADDF07016A Time : 617.0 sec. user=Zachariassen [2009-08-02 21:03:15] 603*2^705551-1 is not prime. Res64: B38D361C698E19EA Time : 1875.0 sec. user=Zachariassen [2009-08-02 21:07:37] 629*2^705552-1 is not prime. Res64: 89A49F8722EBD892 Time : 1907.0 sec. user=vaughan [2009-08-02 21:08:38] 675*2^705561-1 is not prime. Res64: EC77D19581B96F04 Time : 635.0 sec. user=vaughan [2009-08-02 21:08:41] 747*2^705561-1 is not prime. Res64: EB6B0487C22E04B1 Time : 577.0 sec. user=vaughan [2009-08-02 21:09:57] 677*2^705562-1 is not prime. Res64: 8B9C8414D7951BCF Time : 633.0 sec. user=Zachariassen [2009-08-02 21:10:05] 661*2^705549-1 is not prime. Res64: 9EF68EA8214D5B17 Time : 2580.0 sec. user=vaughan [2009-08-02 21:10:33] 609*2^705561-1 is not prime. Res64: 4AE2CC64B0211E30 Time : 782.0 sec. user=vaughan [2009-08-02 21:10:48] 709*2^705561-1 is not prime. Res64: AD2B51652E921CB5 Time : 726.0 sec. user=vaughan [2009-08-02 21:10:49] 717*2^705562-1 is not prime. Res64: 1ED9F1E4A07CCC58 Time : 637.0 sec. user=Zachariassen [2009-08-02 21:11:33] 705*2^705554-1 is not prime. Res64: 49F06331BBAA8138 Time : 1874.0 sec. user=vaughan [2009-08-02 21:11:49] 751*2^705561-1 is not prime. Res64: 7026C156F1305CD9 Time : 752.0 sec. user=vaughan [2009-08-02 21:12:21] 675*2^705562-1 is not prime. Res64: 68AAF297C00B9630 Time : 782.0 sec. user=Zachariassen [2009-08-02 21:12:25] 731*2^705550-1 is not prime. Res64: CE02632C9C4AED20 Time : 2574.0 sec. user=Zachariassen [2009-08-02 21:13:34] 741*2^705550-1 is not prime. Res64: D56B9712336CE044 Time : 2596.0 sec. user=Zachariassen [2009-08-02 21:13:44] 663*2^705555-1 is not prime. Res64: 38386784F7C0F56B Time : 1840.0 sec. user=Zachariassen [2009-08-02 21:17:03] 669*2^705551-1 is not prime. Res64: CEFF30A4A95ACB11 Time : 2582.0 sec. user=vaughan [2009-08-02 21:18:15] 675*2^705563-1 is not prime. Res64: 65F871FD39A3ECEA Time : 574.0 sec. user=Zachariassen [2009-08-02 21:18:32] 747*2^705558-1 is not prime. Res64: 13176944AC35B54C Time : 1835.0 sec. user=vaughan [2009-08-02 21:19:00] 669*2^705563-1 is not prime. Res64: 39BC37AFD8D5ECB3 Time : 622.0 sec. user=vaughan [2009-08-02 21:20:18] 735*2^705563-1 is not prime. Res64: 245D7CEA627FF575 Time : 621.0 sec. user=vaughan [2009-08-02 21:21:09] 629*2^705564-1 is not prime. Res64: 9B6D54AEA83555CD Time : 620.0 sec. user=Zachariassen [2009-08-02 21:22:47] 629*2^705560-1 is not prime. Res64: 128AEBE3F3751267 Time : 1858.0 sec. user=vaughan [2009-08-02 21:22:52] 783*2^705563-1 is not prime. Res64: 9D8967877BD694A7 Time : 724.0 sec. user=vaughan [2009-08-02 21:23:36] 775*2^705563-1 is not prime. Res64: C94AB0BAE9EBA4A5 Time : 783.0 sec. user=vaughan [2009-08-02 21:24:22] 737*2^705564-1 is not prime. Res64: F9818D9B589DB22D Time : 753.0 sec. user=vaughan [2009-08-02 21:25:25] 795*2^705564-1 is not prime. Res64: 21BCF83D99DE9180 Time : 784.0 sec. user=Zachariassen [2009-08-02 21:27:18] 789*2^705560-1 is not prime. Res64: 04642B1DA3BA315B Time : 1882.0 sec. user=vaughan [2009-08-02 21:27:41] 609*2^705567-1 is not prime. Res64: DD9C0B6B8EABFE92 Time : 566.0 sec. user=vaughan [2009-08-02 21:29:14] 793*2^705567-1 is not prime. Res64: DE0C29B56583854D Time : 614.0 sec. user=Zachariassen [2009-08-02 21:29:49] 705*2^705561-1 is not prime. Res64: 45D344A96A83040B Time : 1891.0 sec. user=vaughan [2009-08-02 21:30:26] 615*2^705568-1 is not prime. Res64: 2C4C771970ACFE0E Time : 608.0 sec. user=vaughan [2009-08-02 21:31:19] 639*2^705568-1 is not prime. Res64: D9619CF594EAD1BB Time : 610.0 sec. user=Zachariassen [2009-08-02 21:31:22] 755*2^705558-1 is not prime. Res64: 4D6D57E4EA1B0792 Time : 2566.0 sec. user=Zachariassen [2009-08-02 21:33:51] 603*2^705560-1 is not prime. Res64: BC4223E4311BB4A8 Time : 2575.0 sec. user=Zachariassen [2009-08-02 21:34:46] 615*2^705563-1 is not prime. Res64: 74011CA9C5A2ED1B Time : 1892.0 sec. user=vaughan [2009-08-02 21:34:57] 771*2^705569-1 is not prime. Res64: E9079B6B24657E31 Time : 725.0 sec. user=Zachariassen [2009-08-02 21:35:03] 633*2^705560-1 is not prime. Res64: 8C0EBE4BB8C5D750 Time : 2588.0 sec. user=vaughan [2009-08-02 21:36:40] 787*2^705569-1 is not prime. Res64: 9766831260906A1A Time : 784.0 sec. user=vaughan [2009-08-02 21:36:54] 653*2^705570-1 is not prime. Res64: C3BBBD4ADA7FFB80 Time : 752.0 sec. user=vaughan [2009-08-02 21:37:19] 651*2^705571-1 is not prime. Res64: 8C14DB3BC1700D7B Time : 578.0 sec. user=vaughan [2009-08-02 21:38:29] 711*2^705570-1 is not prime. Res64: 6BB0AA004A6A294B Time : 785.0 sec. user=Zachariassen [2009-08-02 21:38:39] 735*2^705560-1 is not prime. Res64: 21FA38C73C6007FB Time : 2599.0 sec. user=Zachariassen [2009-08-02 21:39:20] 621*2^705563-1 is not prime. Res64: 2AD886A51477545B Time : 1904.0 sec. user=vaughan [2009-08-02 21:39:40] 663*2^705571-1 is not prime. Res64: 7B3E23E07D51F326 Time : 627.0 sec. user=vaughan [2009-08-02 21:40:57] 723*2^705571-1 is not prime. Res64: 9FD001F69802555E Time : 631.0 sec. user=vaughan [2009-08-02 21:41:50] 741*2^705571-1 is not prime. Res64: 3F31079DB9A32226 Time : 631.0 sec. user=Zachariassen [2009-08-02 21:43:37] 725*2^705564-1 is not prime. Res64: ED42BA92955D944E Time : 1925.0 sec. user=Zachariassen [2009-08-02 21:46:14] 715*2^705565-1 is not prime. Res64: 34137F817E40D63F Time : 1951.0 sec. user=vaughan [2009-08-02 21:47:00] 657*2^705573-1 is not prime. Res64: 3827CA48468172B5 Time : 723.0 sec. user=vaughan [2009-08-02 21:47:03] 717*2^705574-1 is not prime. Res64: AC6B4CF7DB62C1D4 Time : 584.0 sec. user=vaughan [2009-08-02 21:49:24] 707*2^705574-1 is not prime. Res64: E4B21825D552C1FA Time : 751.0 sec. user=vaughan [2009-08-02 21:49:46] 657*2^705574-1 is not prime. Res64: 27D6DEC44A13B4AE Time : 787.0 sec. user=vaughan [2009-08-02 21:50:17] 635*2^705576-1 is not prime. Res64: D6900F31D66567A9 Time : 637.0 sec. user=Zachariassen [2009-08-02 21:50:48] 709*2^705567-1 is not prime. Res64: F45361466585D44B Time : 1936.0 sec. user=vaughan [2009-08-02 21:51:33] 717*2^705576-1 is not prime. Res64: 3E8E3B2E76F25E4E Time : 636.0 sec. user=vaughan [2009-08-02 21:51:34] 765*2^705574-1 is not prime. Res64: 9D3763F8C0F26E0E Time : 786.0 sec. user=vaughan [2009-08-02 21:52:31] 609*2^705577-1 is not prime. Res64: 80E3ED83F2D7BB77 Time : 642.0 sec. user=Zachariassen [2009-08-02 21:52:31] 741*2^705563-1 is not prime. Res64: D1099D70C56E5F67 Time : 2546.0 sec. user=Zachariassen [2009-08-02 21:55:13] 691*2^705565-1 is not prime. Res64: BC73451D54B16FBC Time : 2568.0 sec. user=Zachariassen [2009-08-02 21:55:36] 727*2^705569-1 is not prime. Res64: C7D3B81A7398BA18 Time : 1969.0 sec. user=Zachariassen [2009-08-02 21:56:06] 699*2^705565-1 is not prime. Res64: 4F6A597A44123DEE Time : 2553.0 sec. user=vaughan [2009-08-02 21:56:45] 645*2^705578-1 is not prime. Res64: 36D88D89CEBFB66C Time : 582.0 sec. user=vaughan [2009-08-02 21:59:05] 691*2^705577-1 is not prime. Res64: 213D9826246F23C3 Time : 725.0 sec. user=Zachariassen [2009-08-02 21:59:41] 777*2^705570-1 is not prime. Res64: 43FE10DCB0B7A0D4 Time : 1943.0 sec. user=Zachariassen [2009-08-02 21:59:46] 671*2^705566-1 is not prime. Res64: DC591896F75CB270 Time : 2564.0 sec. user=vaughan [2009-08-02 22:00:48] 605*2^705580-1 is not prime. Res64: 3391673CC6867AE9 Time : 631.0 sec. user=vaughan [2009-08-02 22:01:58] 663*2^705580-1 is not prime. Res64: 280E32EDD3D4BDD1 Time : 625.0 sec. user=vaughan [2009-08-02 22:02:01] 771*2^705578-1 is not prime. Res64: BBA3252DF626687B Time : 757.0 sec. user=Zachariassen [2009-08-02 22:02:20] 715*2^705571-1 is not prime. Res64: 1BD95ABD2B714656 Time : 1952.0 sec. user=vaughan [2009-08-02 22:02:51] 615*2^705579-1 is not prime. Res64: B3757AEC29F4721F Time : 786.0 sec. user=vaughan [2009-08-02 22:02:58] 615*2^705581-1 is not prime. Res64: AEE47DFB4BEC92D5 Time : 628.0 sec. user=vaughan [2009-08-02 22:04:39] 717*2^705580-1 is not prime. Res64: D721171F82922B1F Time : 786.0 sec. user=vaughan [2009-08-02 22:06:19] 681*2^705582-1 is not prime. Res64: A15CD30DD7D9CBA1 Time : 574.0 sec. user=Zachariassen [2009-08-02 22:07:17] 625*2^705573-1 is not prime. Res64: FBFB18062D319A9A Time : 1952.0 sec. user=vaughan [2009-08-02 22:11:10] 693*2^705583-1 is not prime. Res64: 73930B42918E1569 Time : 622.0 sec. user=vaughan [2009-08-02 22:11:10] 693*2^705582-1 is not prime. Res64: 8365DF4448C1819B Time : 725.0 sec. user=Zachariassen [2009-08-02 22:12:11] 763*2^705575-1 is not prime. Res64: C25CD2BC542D4405 Time : 1972.0 sec. user=vaughan [2009-08-02 22:12:26] 703*2^705583-1 is not prime. Res64: B2F64392F392E462 Time : 628.0 sec. user=vaughan [2009-08-02 22:13:17] 665*2^705584-1 is not prime. Res64: 5C68379606FB1D27 Time : 619.0 sec. user=Zachariassen [2009-08-02 22:14:14] 771*2^705571-1 is not prime. Res64: F1DF5B3237C266F3 Time : 2572.0 sec. user=vaughan [2009-08-02 22:14:30] 741*2^705583-1 is not prime. Res64: 99A4C939203C2E65 Time : 749.0 sec. user=Zachariassen [2009-08-02 22:15:38] 651*2^705577-1 is not prime. Res64: 101F94C2DA00962B Time : 1922.0 sec. user=vaughan [2009-08-02 22:15:57] 629*2^705584-1 is not prime. Res64: E4B4FD746448E1E1 Time : 786.0 sec. user=vaughan [2009-08-02 22:16:00] 727*2^705585-1 is not prime. Res64: 509EAC8974B0BBA6 Time : 581.0 sec. user=Zachariassen [2009-08-02 22:16:35] 621*2^705573-1 is not prime. Res64: E0656309E8C5F8CC Time : 2564.0 sec. user=Zachariassen [2009-08-02 22:17:39] 765*2^705573-1 is not prime. Res64: 32E14B18D953BAF4 Time : 2557.0 sec. user=vaughan [2009-08-02 22:17:45] 753*2^705584-1 is not prime. Res64: 15F16F8474D08087 Time : 787.0 sec. user=Zachariassen [2009-08-02 22:18:23] 685*2^705577-1 is not prime. Res64: 22B424631D1AC65E Time : 1929.0 sec. user=Zachariassen [2009-08-02 22:21:17] 655*2^705575-1 is not prime. Res64: 2750FEF350F9D120 Time : 2559.0 sec. user=vaughan [2009-08-02 22:21:37] 795*2^705585-1 is not prime. Res64: BAF0973AE44EF576 Time : 627.0 sec. user=vaughan [2009-08-02 22:22:53] 723*2^705586-1 is not prime. Res64: F3194FAAB6CCB2B2 Time : 627.0 sec. user=Zachariassen [2009-08-02 22:23:06] 609*2^705580-1 is not prime. Res64: 24035F48727BCEE7 Time : 1938.0 sec. user=vaughan [2009-08-02 22:23:19] 645*2^705586-1 is not prime. Res64: C715DF54E96E021E Time : 729.0 sec. user=vaughan [2009-08-02 22:23:54] 615*2^705587-1 is not prime. Res64: B633FF737EC573FE Time : 637.0 sec. user=vaughan [2009-08-02 22:25:37] 797*2^705588-1 is not prime. Res64: 37DE54D9E1C7A06E Time : 577.0 sec. user=vaughan [2009-08-02 22:26:58] 605*2^705588-1 is not prime. Res64: 512FB80915BCDB55 Time : 748.0 sec. user=Zachariassen [2009-08-02 22:28:32] 657*2^705581-1 is not prime. Res64: 0C61663004FEA9B7 Time : 1977.0 sec. user=vaughan [2009-08-02 22:29:03] 723*2^705588-1 is not prime. Res64: C7E38D6220C63C44 Time : 787.0 sec. user=vaughan [2009-08-02 22:30:50] 675*2^705589-1 is not prime. Res64: FA5364F1122832FF Time : 786.0 sec. user=Zachariassen [2009-08-02 22:32:05] 777*2^705582-1 is not prime. Res64: 2D14CEF638A7DA2F Time : 1944.0 sec. user=vaughan [2009-08-02 22:32:14] 707*2^705590-1 is not prime. Res64: 1958B97A7800CBF2 Time : 637.0 sec. user=vaughan [2009-08-02 22:33:25] 741*2^705590-1 is not prime. Res64: EDB9DBDB3D19930F Time : 633.0 sec. user=Zachariassen [2009-08-02 22:33:57] 725*2^705584-1 is not prime. Res64: 4A2BB4F2E7B9F62D Time : 1857.0 sec. user=vaughan [2009-08-02 22:34:28] 685*2^705591-1 is not prime. Res64: ECECA274356307E9 Time : 635.0 sec. user=vaughan [2009-08-02 22:35:14] 795*2^705591-1 is not prime. Res64: 9E6B86AFF2F35A29 Time : 577.0 sec. user=Zachariassen [2009-08-02 22:35:23] 617*2^705584-1 is not prime. Res64: B196968EC21F9627 Time : 1984.0 sec. user=vaughan [2009-08-02 22:35:26] 797*2^705590-1 is not prime. Res64: 5CC2A53D86F2B949 Time : 727.0 sec. user=Zachariassen [2009-08-02 22:35:56] 743*2^705580-1 is not prime. Res64: 565EA3693C964D6A Time : 2605.0 sec. user=Zachariassen [2009-08-02 22:38:09] 621*2^705581-1 is not prime. Res64: 41A8C078B4AAAE3C Time : 2576.0 sec. user=Zachariassen [2009-08-02 22:39:07] 757*2^705581-1 is not prime. Res64: F1F94FE595E56131 Time : 2581.0 sec. user=vaughan [2009-08-02 22:39:25] 645*2^705592-1 is not prime. Res64: 0701B1E0F62D6822 Time : 748.0 sec. user=Zachariassen [2009-08-02 22:40:39] 759*2^705585-1 is not prime. Res64: 62D035EB10A3BED7 Time : 2003.0 sec. user=vaughan [2009-08-02 22:42:07] 713*2^705592-1 is not prime. Res64: C329F13134632D1E Time : 785.0 sec. user=vaughan [2009-08-02 22:42:51] 657*2^705593-1 is not prime. Res64: F7DC3284566E38E8 Time : 637.0 sec. user=Zachariassen [2009-08-02 22:43:02] 633*2^705583-1 is not prime. Res64: 88139DFD9919D0E3 Time : 2597.0 sec. user=vaughan [2009-08-02 22:43:58] 723*2^705592-1 is not prime. Res64: F66D0AB0B9872278 Time : 789.0 sec. user=vaughan [2009-08-02 22:43:59] 745*2^705593-1 is not prime. Res64: BF9BF88243CBFB7C Time : 634.0 sec. user=vaughan [2009-08-02 22:44:48] 771*2^705595-1 is not prime. Res64: 826BD1C5333AE91B Time : 574.0 sec. user=vaughan [2009-08-02 22:44:57] 709*2^705595-1 is not prime. Res64: 7F76280B11B17053 Time : 629.0 sec. user=Zachariassen [2009-08-02 22:45:30] 713*2^705586-1 is not prime. Res64: CEE5D75DF5C28078 Time : 1999.0 sec. user=vaughan [2009-08-02 22:47:33] 655*2^705597-1 is not prime. Res64: 4140FA5C9654EB77 Time : 727.0 sec. user=Zachariassen [2009-08-02 22:48:56] 663*2^705588-1 is not prime. Res64: 8A47CE9B425BB78C Time : 1998.0 sec. user=Zachariassen [2009-08-02 22:51:47] 771*2^705589-1 is not prime. Res64: 63C9E1319F9F8050 Time : 2005.0 sec. user=vaughan [2009-08-02 22:51:57] 795*2^705597-1 is not prime. Res64: 320D53422E97982A Time : 752.0 sec. user=vaughan [2009-08-02 22:53:39] 791*2^705598-1 is not prime. Res64: D74C607F221E82EF Time : 648.0 sec. user=vaughan [2009-08-02 22:54:29] 775*2^705599-1 is not prime. Res64: EA12E66B32C62A09 Time : 582.0 sec. user=vaughan [2009-08-02 22:54:37] 721*2^705599-1 is not prime. Res64: 0E185DFB87374E54 Time : 638.0 sec. user=vaughan [2009-08-02 22:55:43] 767*2^705600-1 is not prime. Res64: 3D267AE876BC73E2 Time : 646.0 sec. user=Zachariassen [2009-08-02 22:56:41] 753*2^705590-1 is not prime. Res64: 736F357620C16D10 Time : 2016.0 sec. user=Zachariassen [2009-08-02 22:57:07] 631*2^705587-1 is not prime. Res64: F4829D36DCBA363D Time : 2573.0 sec. user=vaughan [2009-08-02 22:57:39] 743*2^705598-1 is not prime. Res64: 1B6F64ADD2A9482B Time : 933.0 sec. user=Zachariassen [2009-08-02 22:59:35] 615*2^705589-1 is not prime. Res64: 60D114E4E77ACA49 Time : 2581.0 sec. user=vaughan [2009-08-02 22:59:42] 609*2^705601-1 is not prime. Res64: A2B4CF4CCF1ED693 Time : 729.0 sec. user=vaughan [2009-08-02 23:00:07] 679*2^705599-1 is not prime. Res64: CE08A7DAE4D6B236 Time : 970.0 sec. user=Zachariassen [2009-08-02 23:00:22] 621*2^705589-1 is not prime. Res64: 41CFC4DA3F33B438 Time : 2563.0 sec. user=Zachariassen [2009-08-02 23:01:28] 653*2^705592-1 is not prime. Res64: 807F4172568E57EF Time : 1977.0 sec. user=vaughan [2009-08-02 23:04:02] 679*2^705603-1 is not prime. Res64: C5CBBD784E222C96 Time : 573.0 sec. user=vaughan [2009-08-02 23:04:05] 791*2^705602-1 is not prime. Res64: 850446FB9BFAC7FD Time : 627.0 sec. user=vaughan [2009-08-02 23:04:29] 771*2^705601-1 is not prime. Res64: 02C4E1BCFF6ED3F3 Time : 752.0 sec. user=Zachariassen [2009-08-02 23:04:34] 641*2^705590-1 is not prime. Res64: B9D8CA5DDF2E5DD0 Time : 2598.0 sec. user=Zachariassen [2009-08-02 23:04:35] 743*2^705584-1 is not prime. Res64: 2AC8093BBDE4026A Time : 3694.0 sec. user=Zachariassen [2009-08-02 23:05:03] 755*2^705592-1 is not prime. Res64: 1BE380865014100B Time : 1978.0 sec. user=vaughan [2009-08-02 23:05:04] 705*2^705603-1 is not prime. Res64: 3C80F8E0B3942BC4 Time : 627.0 sec. user=vaughan [2009-08-02 23:06:11] 723*2^705603-1 is not prime. Res64: 962B0DD241612B39 Time : 628.0 sec. user=Zachariassen [2009-08-02 23:07:39] 629*2^705596-1 is not prime. Res64: 78BF29195EF69E81 Time : 1936.0 sec. user=vaughan [2009-08-02 23:11:46] 653*2^705606-1 is not prime. Res64: 63168950BC5BEAD0 Time : 725.0 sec. user=Zachariassen [2009-08-02 23:12:41] 663*2^705598-1 is not prime. Res64: 7F3D7047DFE35BD6 Time : 1922.0 sec. user=vaughan [2009-08-02 23:13:20] 711*2^705605-1 is not prime. Res64: 805841477DA5BF32 Time : 941.0 sec. user=vaughan [2009-08-02 23:13:37] 675*2^705607-1 is not prime. Res64: 08DA17BDBD7CDCCA Time : 575.0 sec. user=vaughan [2009-08-02 23:14:32] 703*2^705607-1 is not prime. Res64: FD9260B02F635EE3 Time : 627.0 sec. user=vaughan [2009-08-02 23:15:33] 639*2^705609-1 is not prime. Res64: CF30B4E47DCFB83C Time : 629.0 sec. user=vaughan [2009-08-02 23:16:19] 725*2^705606-1 is not prime. Res64: FCAF5D5BF567F7EC Time : 972.0 sec. user=vaughan [2009-08-02 23:16:40] 685*2^705609-1 is not prime. Res64: 15DCE78D2ACD2341 Time : 629.0 sec. user=vaughan [2009-08-02 23:17:01] 793*2^705607-1 is not prime. Res64: 0743CD0D961D57E9 Time : 753.0 sec. user=Zachariassen [2009-08-02 23:17:29] 797*2^705600-1 is not prime. Res64: 99CC8A2D4FFC0294 Time : 1920.0 sec. user=Zachariassen [2009-08-02 23:18:51] 691*2^705597-1 is not prime. Res64: 1DD6906EF8902D19 Time : 2575.0 sec. user=Zachariassen [2009-08-02 23:20:53] 735*2^705597-1 is not prime. Res64: 43F90D41DEAB826E Time : 2564.0 sec. user=Zachariassen [2009-08-02 23:20:57] 615*2^705601-1 is not prime. Res64: 0A3D830241E8F22D Time : 1922.0 sec. user=Zachariassen [2009-08-02 23:21:29] 781*2^705597-1 is not prime. Res64: 4A0BF945D3A86550 Time : 2543.0 sec. user=vaughan [2009-08-02 23:23:01] 765*2^705610-1 is not prime. Res64: C13E57AA5CE42B2B Time : 565.0 sec. user=vaughan [2009-08-02 23:23:50] 653*2^705610-1 is not prime. Res64: 0555207A3B98E99C Time : 724.0 sec. user=Zachariassen [2009-08-02 23:24:03] 741*2^705601-1 is not prime. Res64: 468EE037831D35DF Time : 1936.0 sec. user=vaughan [2009-08-02 23:24:24] 777*2^705610-1 is not prime. Res64: 9759F9AA429736C0 Time : 592.0 sec. user=vaughan [2009-08-02 23:25:21] 693*2^705611-1 is not prime. Res64: AB520AA7AFA7E0A5 Time : 588.0 sec. user=Zachariassen [2009-08-02 23:25:48] 615*2^705599-1 is not prime. Res64: 4FFF118F691D683D Time : 2567.0 sec. user=vaughan [2009-08-02 23:26:18] 759*2^705611-1 is not prime. Res64: F84B66C9A6A36039 Time : 579.0 sec. user=vaughan [2009-08-02 23:28:16] 723*2^705610-1 is not prime. Res64: EB062FB22E033659 Time : 897.0 sec. user=Zachariassen [2009-08-02 23:28:52] 663*2^705604-1 is not prime. Res64: B6E6FA449AB67E88 Time : 1931.0 sec. user=vaughan [2009-08-02 23:29:31] 627*2^705612-1 is not prime. Res64: 1B87749B8C46C3E1 Time : 750.0 sec. user=vaughan [2009-08-02 23:31:46] 733*2^705611-1 is not prime. Res64: 9C7463C3D2C0F83B Time : 927.0 sec. user=vaughan [2009-08-02 23:32:14] 651*2^705614-1 is not prime. Res64: CECDD130ECF0C290 Time : 554.0 sec. user=Zachariassen [2009-08-02 23:33:30] 645*2^705607-1 is not prime. Res64: 27467EADF8A50F84 Time : 1923.0 sec. user=vaughan [2009-08-02 23:34:08] 705*2^705614-1 is not prime. Res64: 6C9CF23D8259B8E7 Time : 584.0 sec. user=vaughan [2009-08-02 23:35:10] 731*2^705614-1 is not prime. Res64: 17C46714DF939844 Time : 590.0 sec. user=Zachariassen [2009-08-02 23:35:35] 621*2^705594-1 is not prime. Res64: B19AD802D765DB88 Time : 3699.0 sec. user=vaughan [2009-08-02 23:35:54] 663*2^705614-1 is not prime. Res64: 6DDEE8300E225920 Time : 724.0 sec. user=vaughan [2009-08-02 23:36:14] 765*2^705615-1 is not prime. Res64: DF7D4611FCCA1396 Time : 596.0 sec. user=Zachariassen [2009-08-02 23:36:37] 759*2^705608-1 is not prime. Res64: D858ADA79479DEB1 Time : 1895.0 sec. user=Zachariassen [2009-08-02 23:39:36] 745*2^705609-1 is not prime. Res64: 9BCEE75A371275D7 Time : 1917.0 sec. user=Zachariassen [2009-08-02 23:40:18] 675*2^705604-1 is not prime. Res64: FA860987BA4C09B7 Time : 2591.0 sec. user=vaughan [2009-08-02 23:41:51] 675*2^705617-1 is not prime. Res64: 55A43788201A0266 Time : 577.0 sec. user=vaughan [2009-08-02 23:42:05] 675*2^705616-1 is not prime. Res64: F59E707E2C534A7C Time : 754.0 sec. user=Zachariassen [2009-08-02 23:42:36] 775*2^705605-1 is not prime. Res64: 8EA01E9BED44B8AF Time : 2581.0 sec. user=Zachariassen [2009-08-02 23:42:57] 609*2^705607-1 is not prime. Res64: 677EC597CFB06B6C Time : 2555.0 sec. user=vaughan [2009-08-02 23:43:50] 781*2^705615-1 is not prime. Res64: DABEAC82074437FC Time : 934.0 sec. user=vaughan [2009-08-02 23:44:25] 777*2^705617-1 is not prime. Res64: 820CF3D58D56B943 Time : 617.0 sec. user=Zachariassen [2009-08-02 23:45:10] 663*2^705610-1 is not prime. Res64: DC6154F6DF79E910 Time : 1949.0 sec. user=vaughan [2009-08-02 23:45:24] 605*2^705618-1 is not prime. Res64: E74515ABDA140DA4 Time : 614.0 sec. user=vaughan [2009-08-02 23:46:30] 691*2^705619-1 is not prime. Res64: 9D03E8A4D2F9680E Time : 616.0 sec. user=Zachariassen [2009-08-02 23:47:09] 617*2^705608-1 is not prime. Res64: 200CC75A57191D5D Time : 2556.0 sec. user=vaughan [2009-08-02 23:47:58] 615*2^705619-1 is not prime. Res64: BC8637E318944555 Time : 724.0 sec. user=vaughan [2009-08-02 23:48:41] 601*2^705617-1 is not prime. Res64: 4E7C76F8754D7BC2 Time : 1016.0 sec. user=Zachariassen [2009-08-02 23:49:49] 665*2^705612-1 is not prime. Res64: D57EF235F6E54C53 Time : 1940.0 sec. user=vaughan [2009-08-02 23:51:27] 777*2^705620-1 is not prime. Res64: 0F91BDDCC07ED6DE Time : 577.0 sec. user=Zachariassen [2009-08-02 23:52:47] 727*2^705613-1 is not prime. Res64: B1BAF92390104F6E Time : 1910.0 sec. user=vaughan [2009-08-02 23:54:38] 625*2^705621-1 is not prime. Res64: 7D6249F6AEEB1BB1 Time : 753.0 sec. user=vaughan [2009-08-02 23:54:49] 747*2^705621-1 is not prime. Res64: 8448CF3A87844A80 Time : 624.0 sec. user=Zachariassen [2009-08-02 23:55:47] 671*2^705614-1 is not prime. Res64: 3DEA43B254CFBC43 Time : 1905.0 sec. user=vaughan [2009-08-02 23:55:50] 753*2^705623-1 is not prime. Res64: D37AFABAA813B282 Time : 626.0 sec. user=vaughan [2009-08-02 23:56:53] 775*2^705623-1 is not prime. Res64: D5C50F4E2B29855A Time : 623.0 sec. user=vaughan [2009-08-02 23:59:29] 727*2^705621-1 is not prime. Res64: 3A85B2037F06194B Time : 939.0 sec.