user=mdettweiler [2012-08-08 00:02:05] 677*2^1225960-1 is not prime. Res64: E51A5C1126A331AF Time : 0.0 sec. user=mdettweiler [2012-08-08 00:05:39] 713*2^1225960-1 is not prime. Res64: 9471E80EC3770A0B Time : 0.0 sec. user=mdettweiler [2012-08-08 00:05:40] 825*2^1225960-1 is not prime. Res64: D5B06BC75B56D30B Time : 0.0 sec. user=mdettweiler [2012-08-08 00:10:43] 827*2^1225960-1 is not prime. Res64: FBAB93361301A23A Time : 0.0 sec. user=mdettweiler [2012-08-08 00:10:44] 887*2^1225960-1 is not prime. Res64: 099EFB9F5508F580 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:26:39] 907*2^1225961-1 is not prime. Res64: 56AEDADAA63B4437 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:26:40] 931*2^1225961-1 is not prime. Res64: F8FDE804750DB020 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:28:05] 619*2^1225961-1 is not prime. Res64: C8712533317FA374 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:31:42] 937*2^1225961-1 is not prime. Res64: 0709B58F36B0F34A Time : 0.0 sec. user=mdettweiler [2012-08-08 00:31:42] 955*2^1225961-1 is not prime. Res64: 40D8318C77E34841 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:34:01] 811*2^1225961-1 is not prime. Res64: D66389AA656D1BBC Time : 0.0 sec. user=vaughan [2012-08-08 00:34:18] 777*2^1225961-1 is not prime. Res64: 5FD07FFDD3DD1207 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:47:37] 657*2^1225962-1 is not prime. Res64: 7526AAB0BB2D6F15 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:47:38] 711*2^1225962-1 is not prime. Res64: 4628D03CECFDAEAD Time : 0.0 sec. user=mdettweiler [2012-08-08 00:52:21] 803*2^1225962-1 is not prime. Res64: 11F56F47F84D20AC Time : 0.0 sec. user=mdettweiler [2012-08-08 00:52:22] 821*2^1225962-1 is not prime. Res64: 19811C54EA660465 Time : 0.0 sec. user=mdettweiler [2012-08-08 00:59:27] 735*2^1225962-1 is not prime. Res64: 7A29347DD5D55258 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:05:21] 923*2^1225962-1 is not prime. Res64: 8E9846A7186F3F9E Time : 0.0 sec. user=mdettweiler [2012-08-08 01:08:14] 681*2^1225963-1 is not prime. Res64: 9A46CBF85F15273E Time : 0.0 sec. user=mdettweiler [2012-08-08 01:08:16] 805*2^1225963-1 is not prime. Res64: 8AFEAD5FB8B4B538 Time : 0.0 sec. user=vaughan [2012-08-08 01:11:42] 947*2^1225962-1 is not prime. Res64: 8B572A874E2FB517 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:13:04] 901*2^1225963-1 is not prime. Res64: 1F0360381C5CC3E2 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:13:06] 945*2^1225963-1 is not prime. Res64: 9D29211D2CB39869 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:29:23] 707*2^1225964-1 is not prime. Res64: BE3F0945AA4B9429 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:29:24] 753*2^1225964-1 is not prime. Res64: 275E0771D759EDC0 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:32:08] 985*2^1225963-1 is not prime. Res64: 3FD200971B29A55C Time : 0.0 sec. user=mdettweiler [2012-08-08 01:34:11] 877*2^1225965-1 is not prime. Res64: 6262993AD40FB0FE Time : 0.0 sec. user=mdettweiler [2012-08-08 01:34:14] 969*2^1225965-1 is not prime. Res64: B1CF5C032C0A8E33 Time : 0.0 sec. user=vaughan [2012-08-08 01:49:07] 669*2^1225965-1 is not prime. Res64: F7AF8B0900829C56 Time : 0.0 sec. user=mdettweiler [2012-08-08 01:50:20] 999*2^1225965-1 is not prime. Res64: 51E4E7A7DA85694E Time : 0.0 sec. user=mdettweiler [2012-08-08 01:55:04] 737*2^1225966-1 is not prime. Res64: EBF080083316D6DB Time : 0.0 sec. user=mdettweiler [2012-08-08 01:55:05] 801*2^1225966-1 is not prime. Res64: 0AA1A383FB47BC83 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:11:00] 941*2^1225966-1 is not prime. Res64: 63C17496D8905FE8 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:11:04] 735*2^1225967-1 is not prime. Res64: E83574D7EBEA5358 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:11:06] 651*2^1225966-1 is not prime. Res64: E5F92F83EB698CFA Time : 0.0 sec. user=mdettweiler [2012-08-08 02:15:39] 931*2^1225967-1 is not prime. Res64: 1CD1F06249B51571 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:15:40] 705*2^1225968-1 is not prime. Res64: E47DD9FCC86377A7 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:17:11] 683*2^1225964-1 is not prime. Res64: 13060553B2CE3092 Time : 0.0 sec. user=vaughan [2012-08-08 02:26:32] 897*2^1225966-1 is not prime. Res64: 6B0C776014299BF7 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:31:45] 909*2^1225968-1 is not prime. Res64: 7AA4C5E24FAF27C2 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:31:46] 915*2^1225968-1 is not prime. Res64: C9822E494F27D8AA Time : 0.0 sec. user=mdettweiler [2012-08-08 02:36:17] 945*2^1225968-1 is not prime. Res64: 89D72E0696432701 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:36:18] 765*2^1225969-1 is not prime. Res64: DA0B2DAB7029913C Time : 0.0 sec. user=gd_barnes [2012-08-08 02:41:27] 713*2^1225968-1 is not prime. Res64: 287F51CE6703BF55 Time : 0.0 sec. user=gd_barnes [2012-08-08 02:43:58] 849*2^1225968-1 is not prime. Res64: 83D5432494B68272 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:47:59] 929*2^1225968-1 is not prime. Res64: E966A8A6DA4DE1EB Time : 0.0 sec. user=mdettweiler [2012-08-08 02:52:24] 909*2^1225969-1 is not prime. Res64: 8E94F02A4C7854D7 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:52:24] 957*2^1225969-1 is not prime. Res64: A0C82DFE8AF7CB80 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:55:51] 811*2^1225969-1 is not prime. Res64: A3A35243A408B0A0 Time : 0.0 sec. user=mdettweiler [2012-08-08 02:57:11] 641*2^1225970-1 is not prime. Res64: 2E90275E943D60FA Time : 0.0 sec. user=mdettweiler [2012-08-08 02:57:12] 677*2^1225970-1 is not prime. Res64: D846F745CCF2D426 Time : 0.0 sec. user=vaughan [2012-08-08 03:04:00] 817*2^1225969-1 is not prime. Res64: 4C541632810C482F Time : 0.0 sec. user=mdettweiler [2012-08-08 03:13:01] 773*2^1225970-1 is not prime. Res64: EC4C23192C970A5F Time : 0.0 sec. user=mdettweiler [2012-08-08 03:13:03] 791*2^1225970-1 is not prime. Res64: C641A72DE752B23E Time : 0.0 sec. user=mdettweiler [2012-08-08 03:17:50] 609*2^1225971-1 is not prime. Res64: B595CA11278B1ED4 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:17:51] 649*2^1225971-1 is not prime. Res64: 4F2096983A0A454A Time : 0.0 sec. user=mdettweiler [2012-08-08 03:24:13] 713*2^1225970-1 is not prime. Res64: 3D528D1842CF3C47 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:31:59] 941*2^1225970-1 is not prime. Res64: 868FD4A7C053F156 Time : 0.0 sec. user=gd_barnes [2012-08-08 03:33:04] 657*2^1225972-1 is not prime. Res64: 7EC272D4495EB6CC Time : 0.0 sec. user=mdettweiler [2012-08-08 03:33:44] 665*2^1225972-1 is not prime. Res64: 9303A5E4F11D001A Time : 0.0 sec. user=mdettweiler [2012-08-08 03:33:44] 779*2^1225972-1 is not prime. Res64: 920566200E8F1D0F Time : 0.0 sec. user=mdettweiler [2012-08-08 03:38:27] 873*2^1225972-1 is not prime. Res64: 2374246B471E99C3 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:38:27] 915*2^1225972-1 is not prime. Res64: D4157384A6A0CF8B Time : 0.0 sec. user=gd_barnes [2012-08-08 03:38:52] 635*2^1225972-1 is not prime. Res64: 34465E0F66EE93D0 Time : 0.0 sec. user=vaughan [2012-08-08 03:41:31] 741*2^1225971-1 is not prime. Res64: DA690ABFF0F689AE Time : 0.0 sec. user=mdettweiler [2012-08-08 03:54:20] 649*2^1225973-1 is not prime. Res64: 0BE512F02E79E472 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:54:20] 741*2^1225973-1 is not prime. Res64: F49917DBAEEBD73D Time : 0.0 sec. user=mdettweiler [2012-08-08 03:58:26] 965*2^1225972-1 is not prime. Res64: F82F35EEA82A5FC4 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:59:08] 801*2^1225973-1 is not prime. Res64: ED6FF574183BA8D7 Time : 0.0 sec. user=mdettweiler [2012-08-08 03:59:08] 837*2^1225973-1 is not prime. Res64: BB5850813599675A Time : 0.0 sec. user=mdettweiler [2012-08-08 04:06:35] 607*2^1225973-1 is not prime. Res64: 92149BD42643C40E Time : 0.0 sec. user=mdettweiler [2012-08-08 04:14:58] 987*2^1225973-1 is not prime. Res64: FD00A0F18B9408D0 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:14:59] 833*2^1225974-1 is not prime. Res64: DB6CB34590EB9203 Time : 0.0 sec. user=vaughan [2012-08-08 04:19:00] 957*2^1225973-1 is not prime. Res64: 47B207730798C145 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:19:44] 927*2^1225974-1 is not prime. Res64: FEBE1F3B843AA8D9 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:19:45] 975*2^1225974-1 is not prime. Res64: 26C6B8D36A78F4B5 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:33:01] 875*2^1225974-1 is not prime. Res64: 496874B6CEFD2CD5 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:35:37] 985*2^1225975-1 is not prime. Res64: 77785F18C8800F60 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:35:38] 663*2^1225976-1 is not prime. Res64: 8079974A97898C23 Time : 0.0 sec. user=gd_barnes [2012-08-08 04:38:02] 639*2^1225975-1 is not prime. Res64: 872B0B1E62E200DE Time : 0.0 sec. user=mdettweiler [2012-08-08 04:40:22] 869*2^1225976-1 is not prime. Res64: E1FCF50C63866CD7 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:40:23] 945*2^1225976-1 is not prime. Res64: 66ED9E8C5B273B01 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:41:21] 673*2^1225975-1 is not prime. Res64: B06226B31C655EA8 Time : 0.0 sec. user=gd_barnes [2012-08-08 04:42:18] 675*2^1225975-1 is not prime. Res64: 46CAE3F29F0502F4 Time : 0.0 sec. user=gd_barnes [2012-08-08 04:43:38] 859*2^1225975-1 is not prime. Res64: BAF44128E2F04BA7 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:56:17] 999*2^1225976-1 is not prime. Res64: ACFD28E4684D99E9 Time : 0.0 sec. user=mdettweiler [2012-08-08 04:56:18] 601*2^1225977-1 is not prime. Res64: 6C782F32EC7A001A Time : 0.0 sec. user=vaughan [2012-08-08 04:56:26] 693*2^1225976-1 is not prime. Res64: 31B2F253A6ACE41F Time : 0.0 sec. user=mdettweiler [2012-08-08 05:01:00] 627*2^1225977-1 is not prime. Res64: 730B3B725A0949BE Time : 0.0 sec. user=mdettweiler [2012-08-08 05:01:02] 805*2^1225977-1 is not prime. Res64: DA2BF7919CB5D4E4 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:07:55] 963*2^1225976-1 is not prime. Res64: 027456A5B62A2F99 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:16:30] 819*2^1225977-1 is not prime. Res64: B2ED6181C3BDEDBC Time : 0.0 sec. user=mdettweiler [2012-08-08 05:16:54] 979*2^1225977-1 is not prime. Res64: 46FB09C9B40B4E5A Time : 0.0 sec. user=mdettweiler [2012-08-08 05:16:55] 603*2^1225978-1 is not prime. Res64: A99CF9D7B2B0D633 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:21:59] 723*2^1225978-1 is not prime. Res64: 85AD96E16DDC4DF7 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:22:00] 843*2^1225978-1 is not prime. Res64: 8E876CEE7A258AE7 Time : 0.0 sec. user=vaughan [2012-08-08 05:33:50] 681*2^1225978-1 is not prime. Res64: 7ADF9E954F7FA84F Time : 0.0 sec. user=gd_barnes [2012-08-08 05:37:20] 945*2^1225978-1 is not prime. Res64: 0F3F12E2CB11A0A9 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:37:31] 973*2^1225979-1 is not prime. Res64: 0CDB078801053426 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:37:32] 653*2^1225980-1 is not prime. Res64: 910AB71C4631A851 Time : 0.0 sec. user=gd_barnes [2012-08-08 05:37:51] 891*2^1225978-1 is not prime. Res64: 7819DDD8074029B3 Time : 0.0 sec. user=gd_barnes [2012-08-08 05:41:46] 861*2^1225979-1 is not prime. Res64: B486DE71035DD186 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:42:36] 669*2^1225980-1 is not prime. Res64: 064E36C551FBFB28 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:42:36] 693*2^1225980-1 is not prime. Res64: 604BF859DB74FB70 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:43:51] 603*2^1225979-1 is not prime. Res64: 63A80793ADBE2CC7 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:52:35] 939*2^1225979-1 is not prime. Res64: 79772FA828BF0E06 Time : 0.0 sec. user=mdettweiler [2012-08-08 05:58:08] 773*2^1225980-1 is not prime. Res64: B4DEB9954E5AE33F Time : 0.0 sec. user=mdettweiler [2012-08-08 05:58:08] 797*2^1225980-1 is not prime. Res64: 2A73E67D90D87CA9 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:03:12] 601*2^1225981-1 is not prime. Res64: 46AF1DF2DC8AB468 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:03:12] 687*2^1225981-1 is not prime. Res64: 23E950ABB991FC5D Time : 0.0 sec. user=vaughan [2012-08-08 06:11:15] 737*2^1225980-1 is not prime. Res64: BEAB79D24205BB35 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:18:44] 895*2^1225981-1 is not prime. Res64: C2CF88D62DD16D94 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:18:44] 951*2^1225981-1 is not prime. Res64: 08A912244C75E8A3 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:19:45] 847*2^1225981-1 is not prime. Res64: 658A50C05993555D Time : 0.0 sec. user=mdettweiler [2012-08-08 06:23:50] 683*2^1225982-1 is not prime. Res64: F529E5BCB4071933 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:23:51] 705*2^1225982-1 is not prime. Res64: BE0FF78738473939 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:28:13] 859*2^1225981-1 is not prime. Res64: 002A94DA40F68AFF Time : 0.0 sec. user=mdettweiler [2012-08-08 06:39:19] 797*2^1225982-1 is not prime. Res64: DD06C168589EDE99 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:39:20] 893*2^1225982-1 is not prime. Res64: 638FBAFD916EAA7D Time : 0.0 sec. user=mdettweiler [2012-08-08 06:44:25] 915*2^1225982-1 is not prime. Res64: 1F9B281198443A59 Time : 0.0 sec. user=mdettweiler [2012-08-08 06:44:26] 619*2^1225983-1 is not prime. Res64: 6191E94C12EEE1C8 Time : 0.0 sec. user=vaughan [2012-08-08 06:48:43] 741*2^1225982-1 is not prime. Res64: 3D870F3E35E0E74A Time : 0.0 sec. user=mdettweiler [2012-08-08 06:56:17] 911*2^1225982-1 is not prime. Res64: 9C2155A9C509374A Time : 0.0 sec. user=mdettweiler [2012-08-08 06:59:56] 763*2^1225983-1 is not prime. Res64: 707C8B08601635AC Time : 0.0 sec. user=mdettweiler [2012-08-08 06:59:56] 859*2^1225983-1 is not prime. Res64: 8C89F96F46BE9FE2 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:05:01] 873*2^1225983-1 is not prime. Res64: 38A168D819B7F562 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:05:02] 951*2^1225983-1 is not prime. Res64: D5660168D2BE755C Time : 0.0 sec. user=mdettweiler [2012-08-08 07:05:19] 685*2^1225983-1 is not prime. Res64: D562B0A309E75C87 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:20:32] 663*2^1225984-1 is not prime. Res64: A129F90625A870C4 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:20:33] 755*2^1225984-1 is not prime. Res64: F28C1D20DCFE09F1 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:25:47] 765*2^1225984-1 is not prime. Res64: 6FE715A3CA4CC7A8 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:25:48] 807*2^1225984-1 is not prime. Res64: 1E2D7AAD203E780C Time : 0.0 sec. user=vaughan [2012-08-08 07:26:07] 963*2^1225983-1 is not prime. Res64: CA154A62A5FB8387 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:32:57] 623*2^1225984-1 is not prime. Res64: 0A3264A4713414A9 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:41:11] 917*2^1225984-1 is not prime. Res64: EC573B09EDB939B8 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:41:12] 669*2^1225985-1 is not prime. Res64: 7165C730BA486169 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:42:20] 833*2^1225984-1 is not prime. Res64: AE00F9F19AFE7AB2 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:46:25] 675*2^1225985-1 is not prime. Res64: C112F7498D2536C2 Time : 0.0 sec. user=mdettweiler [2012-08-08 07:46:25] 837*2^1225985-1 is not prime. Res64: 6F61B6A62247919C Time : 0.0 sec. user=mdettweiler [2012-08-08 08:01:49] 635*2^1225986-1 is not prime. Res64: F7D875EB77FA6840 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:01:52] 653*2^1225986-1 is not prime. Res64: 8C3878527836ACA0 Time : 0.0 sec. user=vaughan [2012-08-08 08:03:31] 867*2^1225985-1 is not prime. Res64: 8645E906C04046EB Time : 0.0 sec. user=mdettweiler [2012-08-08 08:07:01] 837*2^1225986-1 is not prime. Res64: 2D51B1EFF2A3D038 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:07:01] 867*2^1225986-1 is not prime. Res64: A7C502AA0B98EDD1 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:10:11] 969*2^1225985-1 is not prime. Res64: ACE0EA6D34B4013F Time : 0.0 sec. user=mdettweiler [2012-08-08 08:19:03] 725*2^1225986-1 is not prime. Res64: 9EB7880FFAB75A33 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:22:59] 881*2^1225986-1 is not prime. Res64: 716860D15E9C26D0 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:23:00] 941*2^1225986-1 is not prime. Res64: 96A14B72A9D82F70 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:27:42] 993*2^1225986-1 is not prime. Res64: 7DA9F170CB0BF830 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:27:43] 681*2^1225987-1 is not prime. Res64: 6D391A5978310EA0 Time : 0.0 sec. user=vaughan [2012-08-08 08:40:57] 975*2^1225986-1 is not prime. Res64: 2EC91761DBBF5A67 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:43:35] 975*2^1225987-1 is not prime. Res64: 4C291B9711ADBBD7 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:43:36] 985*2^1225987-1 is not prime. Res64: A31AF60B787DB91A Time : 0.0 sec. user=mdettweiler [2012-08-08 08:47:16] 693*2^1225987-1 is not prime. Res64: D478C5D20A4E61CE Time : 0.0 sec. user=mdettweiler [2012-08-08 08:48:17] 647*2^1225988-1 is not prime. Res64: 6D89C71D9E450FCF Time : 0.0 sec. user=mdettweiler [2012-08-08 08:48:18] 665*2^1225988-1 is not prime. Res64: 927919A44F911D47 Time : 0.0 sec. user=mdettweiler [2012-08-08 08:56:09] 705*2^1225987-1 is not prime. Res64: 5F8B1BA7DC32C780 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:04:12] 743*2^1225988-1 is not prime. Res64: 0BC79A15C4F7DE83 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:04:12] 753*2^1225988-1 is not prime. Res64: F0323FC9201DF0B3 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:08:53] 609*2^1225989-1 is not prime. Res64: 9611B531F8AD2292 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:08:54] 741*2^1225989-1 is not prime. Res64: DF016ED9327E749C Time : 0.0 sec. user=vaughan [2012-08-08 09:18:21] 669*2^1225988-1 is not prime. Res64: 5AE195EAA9E25A34 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:24:05] 879*2^1225988-1 is not prime. Res64: DEB2987E9336842C Time : 0.0 sec. user=mdettweiler [2012-08-08 09:24:48] 811*2^1225989-1 is not prime. Res64: 809209220B2000AF Time : 0.0 sec. user=mdettweiler [2012-08-08 09:24:49] 829*2^1225989-1 is not prime. Res64: A940024CD2A4C7EF Time : 0.0 sec. user=mdettweiler [2012-08-08 09:29:30] 831*2^1225989-1 is not prime. Res64: 3526567640E7D564 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:29:31] 885*2^1225989-1 is not prime. Res64: FFA4C989C300A930 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:33:10] 747*2^1225989-1 is not prime. Res64: 475D5F5067B2ADBB Time : 0.0 sec. user=mdettweiler [2012-08-08 09:45:24] 657*2^1225990-1 is not prime. Res64: 91A1AE66CF2B1E55 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:45:25] 713*2^1225990-1 is not prime. Res64: 34BEEB3095F85060 Time : 0.0 sec. user=juhehe [2012-08-08 09:48:02] 765*2^1225989-1 is not prime. Res64: 2C06C665982FAF10 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:50:05] 741*2^1225990-1 is not prime. Res64: BF3FF89C7A1E8331 Time : 0.0 sec. user=mdettweiler [2012-08-08 09:50:06] 785*2^1225990-1 is not prime. Res64: 282EC78C1FFCD60F Time : 0.0 sec. user=vaughan [2012-08-08 09:55:49] 969*2^1225989-1 is not prime. Res64: 2B2708C0FE4ECFA2 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:00:09] 647*2^1225990-1 is not prime. Res64: 8B666CE9AD3BDFDB Time : 0.0 sec. user=mdettweiler [2012-08-08 10:06:02] 715*2^1225991-1 is not prime. Res64: 431F6D618371E448 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:06:04] 855*2^1225991-1 is not prime. Res64: F4D52B3922B92B1D Time : 0.0 sec. user=mdettweiler [2012-08-08 10:09:39] 951*2^1225990-1 is not prime. Res64: 4A94892CC50E1F0C Time : 0.0 sec. user=mdettweiler [2012-08-08 10:10:41] 879*2^1225991-1 is not prime. Res64: B16145DD800EAB9D Time : 0.0 sec. user=mdettweiler [2012-08-08 10:10:44] 669*2^1225992-1 is not prime. Res64: EDCDD8C0601BCA08 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:26:45] 933*2^1225992-1 is not prime. Res64: 491C4D7367EEDD5A Time : 0.0 sec. user=mdettweiler [2012-08-08 10:26:45] 771*2^1225993-1 is not prime. Res64: 60BFF90D9464C0EE Time : 0.0 sec. user=mdettweiler [2012-08-08 10:31:21] 951*2^1225993-1 is not prime. Res64: 14C37243A3FE41EC Time : 0.0 sec. user=mdettweiler [2012-08-08 10:31:22] 617*2^1225994-1 is not prime. Res64: ED37B12CCF4A8E41 Time : 0.0 sec. user=vaughan [2012-08-08 10:33:12] 737*2^1225992-1 is not prime. Res64: 61822C252FC48284 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:36:51] 815*2^1225992-1 is not prime. Res64: 717AE3458D367C71 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:47:02] 895*2^1225993-1 is not prime. Res64: 0B456192C48DD432 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:47:25] 633*2^1225994-1 is not prime. Res64: E7E4DDF6F6242F42 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:47:25] 641*2^1225994-1 is not prime. Res64: 43A8D73400F196E7 Time : 0.0 sec. user=mdettweiler [2012-08-08 10:51:57] 731*2^1225994-1 is not prime. Res64: BC67AC6872ECAE8C Time : 0.0 sec. user=mdettweiler [2012-08-08 10:51:58] 857*2^1225994-1 is not prime. Res64: 76FB79DA2A19926A Time : 0.0 sec. user=mdettweiler [2012-08-08 11:08:02] 735*2^1225996-1 is not prime. Res64: 7D7108A2B7FC7EE4 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:08:03] 743*2^1225996-1 is not prime. Res64: 4696DEFD7975A45E Time : 0.0 sec. user=vaughan [2012-08-08 11:10:35] 765*2^1225995-1 is not prime. Res64: 5CCB1CA415959557 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:12:33] 749*2^1225996-1 is not prime. Res64: CDBF2A335C89AC8A Time : 0.0 sec. user=mdettweiler [2012-08-08 11:12:36] 803*2^1225996-1 is not prime. Res64: C094B5DCCE9EAC5C Time : 0.0 sec. user=mdettweiler [2012-08-08 11:14:46] 949*2^1225995-1 is not prime. Res64: 72591A6544C575AB Time : 0.0 sec. user=mdettweiler [2012-08-08 11:25:09] 717*2^1225996-1 is not prime. Res64: B41D3CADCA48CA75 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:28:46] 873*2^1225996-1 is not prime. Res64: BE3DD0DFE3BE4F37 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:28:47] 969*2^1225996-1 is not prime. Res64: DC70920A2AD71F31 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:33:18] 699*2^1225997-1 is not prime. Res64: A256C2BEC7325E55 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:33:18] 931*2^1225997-1 is not prime. Res64: 39F2F79773F33692 Time : 0.0 sec. user=gd_barnes [2012-08-08 11:44:06] 981*2^1225997-1 is not prime. Res64: EEDC6037AA239286 Time : 0.0 sec. user=vaughan [2012-08-08 11:48:01] 649*2^1225997-1 is not prime. Res64: 86F052D015B6E1DE Time : 0.0 sec. user=mdettweiler [2012-08-08 11:49:22] 663*2^1225998-1 is not prime. Res64: 49B21C3C8E27C313 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:49:23] 683*2^1225998-1 is not prime. Res64: 24600EE39104A7A3 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:53:54] 737*2^1225998-1 is not prime. Res64: 4880B4E8064349B5 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:53:54] 797*2^1225998-1 is not prime. Res64: 31C7138CAF6F84E9 Time : 0.0 sec. user=mdettweiler [2012-08-08 11:54:10] 991*2^1225997-1 is not prime. Res64: F2F2149AB083BBE9 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:04:37] 627*2^1225998-1 is not prime. Res64: 3FBB8D7221F560CC Time : 0.0 sec. user=mdettweiler [2012-08-08 12:10:01] 927*2^1225998-1 is not prime. Res64: 55BEA67A305DEBB3 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:10:03] 649*2^1225999-1 is not prime. Res64: 059097042F9B68F4 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:14:30] 769*2^1225999-1 is not prime. Res64: 30DA1ED23D92775C Time : 0.0 sec. user=mdettweiler [2012-08-08 12:14:31] 873*2^1225999-1 is not prime. Res64: 45A324FF048CDB07 Time : 0.0 sec. user=vaughan [2012-08-08 12:25:27] 893*2^1225998-1 is not prime. Res64: B2E2B214B112D306 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:30:46] 659*2^1226000-1 is not prime. Res64: EFD64892F84AC7E5 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:30:46] 735*2^1226000-1 is not prime. Res64: 6DACD3BC921A22D8 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:33:42] 883*2^1225999-1 is not prime. Res64: 0879584F1AF164DC Time : 0.0 sec. user=mdettweiler [2012-08-08 12:35:10] 753*2^1226000-1 is not prime. Res64: AD98E1B995338121 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:35:10] 767*2^1226000-1 is not prime. Res64: 125C7BED443B0505 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:46:42] 919*2^1225999-1 is not prime. Res64: E31261042997B308 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:51:34] 875*2^1226000-1 is not prime. Res64: 6C9505BA5BB3FDA4 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:51:35] 893*2^1226000-1 is not prime. Res64: 9A8AEB69B09A58BD Time : 0.0 sec. user=mdettweiler [2012-08-08 12:56:03] 963*2^1226000-1 is not prime. Res64: 05385C939E4471E9 Time : 0.0 sec. user=mdettweiler [2012-08-08 12:56:03] 999*2^1226000-1 is not prime. Res64: 47FD4CA082DB83A3 Time : 0.0 sec. user=vaughan [2012-08-08 13:02:58] 813*2^1226000-1 is not prime. Res64: 99EAD7D6E77CC980 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:12:27] 681*2^1226001-1 is not prime. Res64: 21D645BB97EF983F Time : 0.0 sec. user=mdettweiler [2012-08-08 13:12:29] 711*2^1226001-1 is not prime. Res64: DBA7EDA2ADF469B9 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:14:33] 909*2^1226000-1 is not prime. Res64: 8EBAC4973E24F815 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:16:57] 777*2^1226001-1 is not prime. Res64: DA7C132C8EBAD8FC Time : 0.0 sec. user=mdettweiler [2012-08-08 13:16:58] 781*2^1226001-1 is not prime. Res64: 4E91791C6B3A3E82 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:28:41] 609*2^1226001-1 is not prime. Res64: AEFCB4F1E0BB044F Time : 0.0 sec. user=mdettweiler [2012-08-08 13:33:45] 991*2^1226001-1 is not prime. Res64: 31A01B4B5FD69AF8 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:33:45] 603*2^1226002-1 is not prime. Res64: D68CF4BB16741617 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:38:23] 665*2^1226002-1 is not prime. Res64: 264051223232B4E2 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:38:23] 695*2^1226002-1 is not prime. Res64: 35EA89F05ECD1103 Time : 0.0 sec. user=vaughan [2012-08-08 13:40:47] 811*2^1226001-1 is not prime. Res64: C23E4432FD709F39 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:55:32] 713*2^1226002-1 is not prime. Res64: 10E2116AF083D327 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:55:33] 821*2^1226002-1 is not prime. Res64: 1F6B391A21711806 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:56:27] 651*2^1226002-1 is not prime. Res64: A08D5C6C76FF087B Time : 0.0 sec. user=mdettweiler [2012-08-08 13:59:52] 825*2^1226002-1 is not prime. Res64: 778A0851C818CC70 Time : 0.0 sec. user=mdettweiler [2012-08-08 13:59:52] 885*2^1226002-1 is not prime. Res64: D335197523834BCF Time : 0.0 sec. user=mdettweiler [2012-08-08 14:10:34] 701*2^1226002-1 is not prime. Res64: 535536A57617A71A Time : 0.0 sec. user=mdettweiler [2012-08-08 14:16:09] 643*2^1226003-1 is not prime. Res64: 8EDCB7D23FDB7EFC Time : 0.0 sec. user=mdettweiler [2012-08-08 14:16:16] 811*2^1226003-1 is not prime. Res64: 8055813603D52596 Time : 0.0 sec. user=vaughan [2012-08-08 14:18:08] 941*2^1226002-1 is not prime. Res64: 44844D6ED2CC01F6 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:20:27] 913*2^1226003-1 is not prime. Res64: 157298AD1F86AFE4 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:20:28] 609*2^1226004-1 is not prime. Res64: 9A30F9FA36A00ED2 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:37:19] 837*2^1226004-1 is not prime. Res64: F3CD30028016439A Time : 0.0 sec. user=mdettweiler [2012-08-08 14:37:19] 903*2^1226004-1 is not prime. Res64: 906429F8EA33FDD0 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:40:55] 825*2^1226003-1 is not prime. Res64: 816E24B31C51B307 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:41:05] 721*2^1226005-1 is not prime. Res64: 935D07A5D0189571 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:41:05] 727*2^1226005-1 is not prime. Res64: 7B1C3AE20C52741D Time : 0.0 sec. user=gd_barnes [2012-08-08 14:41:50] 737*2^1226004-1 is not prime. Res64: F4C9E1B159153E43 Time : 0.0 sec. user=gd_barnes [2012-08-08 14:47:35] 929*2^1226004-1 is not prime. Res64: 4971ED97D96D8B65 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:53:40] 689*2^1226004-1 is not prime. Res64: C878FB4D3A240BF7 Time : 0.0 sec. user=vaughan [2012-08-08 14:55:35] 987*2^1226004-1 is not prime. Res64: 387C49AA29E29E19 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:57:57] 729*2^1226005-1 is not prime. Res64: C0F3DD014F404A80 Time : 0.0 sec. user=mdettweiler [2012-08-08 14:57:58] 771*2^1226005-1 is not prime. Res64: 9203733088C8E744 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:01:45] 961*2^1226005-1 is not prime. Res64: 88A9B3C5F5E99677 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:01:47] 711*2^1226006-1 is not prime. Res64: C8B978D596AA66B6 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:18:53] 945*2^1226006-1 is not prime. Res64: BB9C37E7DD4A80B1 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:18:54] 625*2^1226007-1 is not prime. Res64: 191F57DEA1F4022C Time : 0.0 sec. user=mdettweiler [2012-08-08 15:22:59] 871*2^1226005-1 is not prime. Res64: 13D79E3A85D7663B Time : 0.0 sec. user=mdettweiler [2012-08-08 15:23:05] 703*2^1226007-1 is not prime. Res64: 77249ABD1B82D623 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:23:06] 795*2^1226007-1 is not prime. Res64: 9CAD141BC47B9B4E Time : 0.0 sec. user=vaughan [2012-08-08 15:32:59] 843*2^1226006-1 is not prime. Res64: 1E05E07589184DC1 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:36:08] 761*2^1226006-1 is not prime. Res64: 9E61EB913FD36DD3 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:39:44] 913*2^1226007-1 is not prime. Res64: 130441B02DF89FC7 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:39:44] 933*2^1226007-1 is not prime. Res64: 826B569E5F53B4DE Time : 0.0 sec. user=mdettweiler [2012-08-08 15:43:43] 839*2^1226008-1 is not prime. Res64: D74C616F6A158384 Time : 0.0 sec. user=mdettweiler [2012-08-08 15:43:44] 619*2^1226009-1 is not prime. Res64: AD5E020F722AF751 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:00:10] 623*2^1226008-1 is not prime. Res64: 949DC7E15CEC3616 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:00:20] 787*2^1226009-1 is not prime. Res64: 713689F806151A30 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:00:21] 879*2^1226009-1 is not prime. Res64: EDDA5A4809A5643F Time : 0.0 sec. user=mdettweiler [2012-08-08 16:04:20] 949*2^1226009-1 is not prime. Res64: B57E829EEA6B08D4 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:04:21] 969*2^1226009-1 is not prime. Res64: 750EC2CD280D35A2 Time : 0.0 sec. user=vaughan [2012-08-08 16:10:23] 697*2^1226009-1 is not prime. Res64: F3E9B5918704FD38 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:11:34] 721*2^1226009-1 is not prime. Res64: FA5B6AEF918E212F Time : 0.0 sec. user=mdettweiler [2012-08-08 16:20:57] 695*2^1226010-1 is not prime. Res64: 7089DD9E3AE8638D Time : 0.0 sec. user=mdettweiler [2012-08-08 16:20:58] 723*2^1226010-1 is not prime. Res64: 15018333A124BF0A Time : 0.0 sec. user=mdettweiler [2012-08-08 16:25:01] 945*2^1226010-1 is not prime. Res64: 6530C4CB8F5326A6 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:25:01] 951*2^1226010-1 is not prime. Res64: 097D7E8A04062AE8 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:41:38] 619*2^1226011-1 is not prime. Res64: 13EDE00165279BF0 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:41:39] 793*2^1226011-1 is not prime. Res64: FFA1C3068AC5BFE6 Time : 0.0 sec. user=gd_barnes [2012-08-08 16:41:44] 601*2^1226011-1 is not prime. Res64: 8DB493B718961548 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:44:03] 971*2^1226010-1 is not prime. Res64: E2A3B3E2DA6CE649 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:45:37] 843*2^1226011-1 is not prime. Res64: 62C3946010C413D0 Time : 0.0 sec. user=mdettweiler [2012-08-08 16:45:38] 885*2^1226011-1 is not prime. Res64: 3ADE81526FE215CE Time : 0.0 sec. user=vaughan [2012-08-08 16:47:50] 963*2^1226010-1 is not prime. Res64: 1C1488BC303C9E79 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:02:16] 951*2^1226011-1 is not prime. Res64: 0BDF5711A7D6BAD5 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:02:17] 623*2^1226012-1 is not prime. Res64: B87EE78159152D02 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:06:14] 759*2^1226013-1 is not prime. Res64: 99EC32FEFE6DA0CB Time : 0.0 sec. user=mdettweiler [2012-08-08 17:06:16] 837*2^1226013-1 is not prime. Res64: 789B1AEB3A23CF30 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:08:51] 635*2^1226010-1 is not prime. Res64: 8D89D2F202BF8759 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:16:10] 987*2^1226012-1 is not prime. Res64: BDF1BDD1FCB5E7E7 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:23:08] 889*2^1226013-1 is not prime. Res64: 1E217C99F42C9568 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:23:08] 969*2^1226013-1 is not prime. Res64: FC47AA24B24CE135 Time : 0.0 sec. user=vaughan [2012-08-08 17:25:14] 861*2^1226013-1 is not prime. Res64: 11CDFA4B4598819D Time : 0.0 sec. user=mdettweiler [2012-08-08 17:26:55] 765*2^1226014-1 is not prime. Res64: 0F91C613A88F742A Time : 0.0 sec. user=mdettweiler [2012-08-08 17:26:56] 887*2^1226014-1 is not prime. Res64: 0AB72DD9B76EE56E Time : 0.0 sec. user=gd_barnes [2012-08-08 17:40:39] 975*2^1226014-1 is not prime. Res64: DFA1D3A2867C66D5 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:43:30] 971*2^1226014-1 is not prime. Res64: E6E35D2719B55DE2 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:43:45] 649*2^1226015-1 is not prime. Res64: ADC96FDCB133F316 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:43:45] 825*2^1226015-1 is not prime. Res64: 1BAE7FC45B5E70A5 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:47:32] 909*2^1226015-1 is not prime. Res64: 08FA113D2CFD37A5 Time : 0.0 sec. user=mdettweiler [2012-08-08 17:47:32] 921*2^1226015-1 is not prime. Res64: 13DBC30A59B5CFFC Time : 0.0 sec. user=mdettweiler [2012-08-08 17:50:42] 1001*2^1226014-1 is not prime. Res64: C6A4E3F20C131D23 Time : 0.0 sec. user=juhehe [2012-08-08 17:52:41] 665*2^1226014-1 is not prime. Res64: DBC0195DEDC7BC6E Time : 0.0 sec. user=vaughan [2012-08-08 18:02:40] 871*2^1226015-1 is not prime. Res64: 47EEEA0C29A98F28 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:04:21] 979*2^1226015-1 is not prime. Res64: 568EE4A57C616508 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:04:22] 845*2^1226016-1 is not prime. Res64: 03B09B6DB058379E Time : 0.0 sec. user=mdettweiler [2012-08-08 18:08:09] 857*2^1226016-1 is not prime. Res64: 4840D5D6AFDF3F04 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:08:10] 639*2^1226017-1 is not prime. Res64: A8A9115419E93B82 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:21:51] 973*2^1226015-1 is not prime. Res64: 622E845A80DE06C8 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:25:03] 807*2^1226017-1 is not prime. Res64: C8EDDDAA9F14239F Time : 0.0 sec. user=mdettweiler [2012-08-08 18:25:04] 945*2^1226017-1 is not prime. Res64: 47C6933C2F595179 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:28:33] 687*2^1226017-1 is not prime. Res64: AFC8A1A4788BFE8B Time : 0.0 sec. user=mdettweiler [2012-08-08 18:28:47] 713*2^1226018-1 is not prime. Res64: 50678E6DDE40C0DC Time : 0.0 sec. user=mdettweiler [2012-08-08 18:28:48] 837*2^1226018-1 is not prime. Res64: C56A1EBBC74E5FD5 Time : 0.0 sec. user=juhehe [2012-08-08 18:39:18] 747*2^1226017-1 is not prime. Res64: 15433DC9323D724A Time : 0.0 sec. user=gd_barnes [2012-08-08 18:40:07] 887*2^1226018-1 is not prime. Res64: CDD093DD19A92452 Time : 0.0 sec. user=vaughan [2012-08-08 18:40:12] 769*2^1226017-1 is not prime. Res64: DDE6776144E4BAD6 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:45:40] 619*2^1226019-1 is not prime. Res64: 6CC9FEA942D5D489 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:45:41] 709*2^1226019-1 is not prime. Res64: 9A82FC3A9C821E90 Time : 0.0 sec. user=mdettweiler [2012-08-08 18:49:25] 909*2^1226019-1 is not prime. Res64: 09FC61927C155E2F Time : 0.0 sec. user=mdettweiler [2012-08-08 18:49:26] 653*2^1226020-1 is not prime. Res64: A2D4C676B6A4EF83 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:06:17] 707*2^1226020-1 is not prime. Res64: 1030E6AB72153ED3 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:06:19] 759*2^1226020-1 is not prime. Res64: 01C0C531E982B33F Time : 0.0 sec. user=mdettweiler [2012-08-08 19:08:32] 987*2^1226018-1 is not prime. Res64: 21F65FCF8D078982 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:10:01] 939*2^1226020-1 is not prime. Res64: 9403E2DD32BF1894 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:10:02] 627*2^1226021-1 is not prime. Res64: EED6F38B7165AA6A Time : 0.0 sec. user=mdettweiler [2012-08-08 19:13:18] 745*2^1226019-1 is not prime. Res64: FB2464337A04F119 Time : 0.0 sec. user=vaughan [2012-08-08 19:17:36] 695*2^1226020-1 is not prime. Res64: ECCB74DB03B8E305 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:27:05] 645*2^1226021-1 is not prime. Res64: 6CB2951C319A78AC Time : 0.0 sec. user=mdettweiler [2012-08-08 19:27:05] 745*2^1226021-1 is not prime. Res64: 763D8DB503688267 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:30:40] 805*2^1226021-1 is not prime. Res64: BDF09BB073742212 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:30:41] 829*2^1226021-1 is not prime. Res64: D57E3AD5F78AFE61 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:45:24] 957*2^1226021-1 is not prime. Res64: 79295EF97EFC9FD3 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:47:47] 867*2^1226022-1 is not prime. Res64: 02434C310F4CF4AD Time : 0.0 sec. user=mdettweiler [2012-08-08 19:47:47] 633*2^1226023-1 is not prime. Res64: 6F39B73352604688 Time : 0.0 sec. user=mdettweiler [2012-08-08 19:51:17] 709*2^1226023-1 is not prime. Res64: DE3EE22870E37C1F Time : 0.0 sec. user=mdettweiler [2012-08-08 19:51:18] 789*2^1226023-1 is not prime. Res64: EE47310E9A6A5509 Time : 0.0 sec. user=vaughan [2012-08-08 19:55:00] 621*2^1226022-1 is not prime. Res64: B069C73B14185CEE Time : 0.0 sec. user=mdettweiler [2012-08-08 19:57:30] 757*2^1226021-1 is not prime. Res64: 44818242388977D1 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:08:39] 943*2^1226023-1 is not prime. Res64: AC0610A778264A46 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:08:43] 973*2^1226023-1 is not prime. Res64: F71AE6A0865AD7F4 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:12:13] 993*2^1226023-1 is not prime. Res64: 711E25DDFA0A32FB Time : 0.0 sec. user=mdettweiler [2012-08-08 20:12:15] 617*2^1226024-1 is not prime. Res64: 8D70788AE2180360 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:20:03] 933*2^1226023-1 is not prime. Res64: A1E971388AD6D664 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:29:39] 669*2^1226025-1 is not prime. Res64: 7D2181325D5873EE Time : 0.0 sec. user=mdettweiler [2012-08-08 20:29:40] 699*2^1226025-1 is not prime. Res64: 299436DDA9608BF8 Time : 0.0 sec. user=gd_barnes [2012-08-08 20:30:16] 667*2^1226025-1 is not prime. Res64: C4F932AC76D5C366 Time : 0.0 sec. user=vaughan [2012-08-08 20:32:21] 657*2^1226024-1 is not prime. Res64: 5679028426E525CF Time : 0.0 sec. user=mdettweiler [2012-08-08 20:33:19] 741*2^1226025-1 is not prime. Res64: D4FE88CFD93B7576 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:33:19] 777*2^1226025-1 is not prime. Res64: 1BFD5B2C9BFD0052 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:33:57] 689*2^1226024-1 is not prime. Res64: A676580CB17C67AB Time : 0.0 sec. user=mdettweiler [2012-08-08 20:50:34] 921*2^1226025-1 is not prime. Res64: 1ED7B972CAAD9395 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:50:35] 985*2^1226025-1 is not prime. Res64: E319587FA6106A73 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:54:15] 741*2^1226026-1 is not prime. Res64: 44D602D52C4956B8 Time : 0.0 sec. user=mdettweiler [2012-08-08 20:54:16] 957*2^1226026-1 is not prime. Res64: EC1EE0255BE72D9F Time : 0.0 sec. user=mdettweiler [2012-08-08 20:58:56] 795*2^1226025-1 is not prime. Res64: F768DADDF2F0C02A Time : 0.0 sec. user=vaughan [2012-08-08 21:09:43] 717*2^1226026-1 is not prime. Res64: 0FFC42F140D548FD Time : 0.0 sec. user=mdettweiler [2012-08-08 21:11:30] 741*2^1226027-1 is not prime. Res64: 59961C62281046CA Time : 0.0 sec. user=mdettweiler [2012-08-08 21:11:30] 711*2^1226027-1 is not prime. Res64: B119E71187A244A0 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:11:30] 775*2^1226027-1 is not prime. Res64: 1C8868C7DA63ECBE Time : 0.0 sec. user=mdettweiler [2012-08-08 21:15:09] 859*2^1226027-1 is not prime. Res64: 649A5E978080DE6F Time : 0.0 sec. user=mdettweiler [2012-08-08 21:15:12] 915*2^1226027-1 is not prime. Res64: 15ADFCEF743B0FEC Time : 0.0 sec. user=mdettweiler [2012-08-08 21:32:34] 803*2^1226028-1 is not prime. Res64: 1788AB86490AE4B8 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:32:34] 893*2^1226028-1 is not prime. Res64: BD3903968C540BB7 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:36:14] 615*2^1226029-1 is not prime. Res64: CF0C6FD13E1539E6 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:36:14] 619*2^1226029-1 is not prime. Res64: 10BFEEB2203822F0 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:41:43] 963*2^1226027-1 is not prime. Res64: 40B6D3CCEF6F688C Time : 0.0 sec. user=vaughan [2012-08-08 21:47:13] 629*2^1226028-1 is not prime. Res64: 971028FB938A5BC9 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:53:32] 649*2^1226029-1 is not prime. Res64: 385846E53FB71484 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:53:32] 661*2^1226029-1 is not prime. Res64: 6BC8430E88D2458A Time : 0.0 sec. user=mdettweiler [2012-08-08 21:55:01] 759*2^1226028-1 is not prime. Res64: E18A36404119AC53 Time : 0.0 sec. user=mdettweiler [2012-08-08 21:57:16] 771*2^1226029-1 is not prime. Res64: F30B028E4B4964CC Time : 0.0 sec. user=mdettweiler [2012-08-08 21:57:16] 951*2^1226029-1 is not prime. Res64: 2675B5CBD33CA7C2 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:15:07] 827*2^1226030-1 is not prime. Res64: 1EDED68103CBFB71 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:15:08] 843*2^1226030-1 is not prime. Res64: 4D4D9A79B3CAA304 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:18:46] 897*2^1226030-1 is not prime. Res64: 039C81CC8E2C42EF Time : 0.0 sec. user=mdettweiler [2012-08-08 22:18:46] 1001*2^1226030-1 is not prime. Res64: 2152349DA2FB2DCE Time : 0.0 sec. user=mdettweiler [2012-08-08 22:22:12] 743*2^1226030-1 is not prime. Res64: 110F0F65214CB915 Time : 0.0 sec. user=vaughan [2012-08-08 22:24:39] 813*2^1226030-1 is not prime. Res64: 89D9CD7323EAD999 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:34:26] 893*2^1226030-1 is not prime. Res64: 5F0E3280D054C8B3 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:36:21] 601*2^1226031-1 is not prime. Res64: 6CC20E7DEF1E8519 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:36:21] 639*2^1226031-1 is not prime. Res64: 30C58417775D635C Time : 0.0 sec. user=mdettweiler [2012-08-08 22:39:52] 651*2^1226031-1 is not prime. Res64: DDA5DC52AF0AC412 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:39:52] 709*2^1226031-1 is not prime. Res64: F71D3FCC846B9897 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:56:59] 803*2^1226032-1 is not prime. Res64: C8A6CED11EF1C0D2 Time : 0.0 sec. user=mdettweiler [2012-08-08 22:57:00] 855*2^1226032-1 is not prime. Res64: 00EAD8D490A37DBC Time : 0.0 sec. user=mdettweiler [2012-08-08 23:00:28] 873*2^1226032-1 is not prime. Res64: 084CF08C7E3D1910 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:00:30] 929*2^1226032-1 is not prime. Res64: 056B8AE7C1BE0A71 Time : 0.0 sec. user=vaughan [2012-08-08 23:02:03] 951*2^1226031-1 is not prime. Res64: 0088EEBCCC47C4EB Time : 0.0 sec. user=mdettweiler [2012-08-08 23:02:48] 865*2^1226031-1 is not prime. Res64: 76ED33F8B7AED5FD Time : 0.0 sec. user=mdettweiler [2012-08-08 23:17:35] 959*2^1226032-1 is not prime. Res64: 8A43A58C24132FC9 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:17:36] 975*2^1226032-1 is not prime. Res64: 275C19AC7A81B194 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:20:46] 719*2^1226032-1 is not prime. Res64: 688D5646E0D905A6 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:21:08] 679*2^1226033-1 is not prime. Res64: 9DFA68690AA4BB18 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:21:09] 635*2^1226034-1 is not prime. Res64: 619F71FA75C20349 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:38:19] 915*2^1226034-1 is not prime. Res64: A95A2F28FAE34BEE Time : 0.0 sec. user=mdettweiler [2012-08-08 23:38:19] 921*2^1226034-1 is not prime. Res64: A8E1E8D8621E612D Time : 0.0 sec. user=vaughan [2012-08-08 23:39:27] 747*2^1226034-1 is not prime. Res64: 9BFB7E3E9C31EB2F Time : 0.0 sec. user=mdettweiler [2012-08-08 23:41:47] 927*2^1226034-1 is not prime. Res64: F8D3CD7BBC727D48 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:41:47] 957*2^1226034-1 is not prime. Res64: 0C27ACD22009206E Time : 0.0 sec. user=mdettweiler [2012-08-08 23:51:01] 833*2^1226034-1 is not prime. Res64: 7014971206088658 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:58:57] 975*2^1226034-1 is not prime. Res64: 06D8531CA6C07990 Time : 0.0 sec. user=mdettweiler [2012-08-08 23:58:58] 673*2^1226035-1 is not prime. Res64: 660F07F38C9B0371 Time : 0.0 sec.