user=mdettweiler [2012-01-13 00:02:15] 783*2^1000950-1 is not prime. Res64: 05A209C66219776E Time : 0.0 sec. user=mdettweiler [2012-01-13 00:03:32] 917*2^1000950-1 is not prime. Res64: 6144EC1476914373 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:09:52] 873*2^1000951-1 is not prime. Res64: 88C6821886111A4C Time : 0.0 sec. user=mdettweiler [2012-01-13 00:10:20] 635*2^1000948-1 is not prime. Res64: 233F9C6F1E17CD00 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:10:21] 677*2^1000948-1 is not prime. Res64: B7F163DE08CC03F2 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:11:09] 885*2^1000951-1 is not prime. Res64: CF7EFB34878CF245 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:12:33] 909*2^1000939-1 is not prime. Res64: 4D42AEC9BCBA007B Time : 0.0 sec. user=mdettweiler [2012-01-13 00:12:50] 863*2^1000948-1 is not prime. Res64: FFE59296F16DCFAF Time : 0.0 sec. user=mdettweiler [2012-01-13 00:12:52] 927*2^1000948-1 is not prime. Res64: 2D7A70215032E22A Time : 0.0 sec. user=mdettweiler [2012-01-13 00:13:54] 631*2^1000949-1 is not prime. Res64: 9A2EFB97B3D5701C Time : 0.0 sec. user=mdettweiler [2012-01-13 00:13:55] 725*2^1000950-1 is not prime. Res64: 8E6C57D20859A73D Time : 0.0 sec. user=mdettweiler [2012-01-13 00:17:29] 913*2^1000951-1 is not prime. Res64: 914B6FDDAB9805CE Time : 0.0 sec. user=mdettweiler [2012-01-13 00:18:45] 669*2^1000952-1 is not prime. Res64: 82664603B9EADC0D Time : 0.0 sec. user=mdettweiler [2012-01-13 00:19:04] 921*2^1000950-1 is not prime. Res64: F882E135CDD4F9C7 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:19:05] 685*2^1000951-1 is not prime. Res64: 0F0B1F869E098CF6 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:26:56] 963*2^1000952-1 is not prime. Res64: D292259F4C7F24DA Time : 0.0 sec. user=mdettweiler [2012-01-13 00:28:12] 983*2^1000952-1 is not prime. Res64: 1946B3B0208C4417 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:31:46] 987*2^1000940-1 is not prime. Res64: 463E14A83D65060B Time : 0.0 sec. user=mdettweiler [2012-01-13 00:32:17] 943*2^1000951-1 is not prime. Res64: 43592450CA4FEECA Time : 0.0 sec. user=mdettweiler [2012-01-13 00:32:18] 999*2^1000951-1 is not prime. Res64: 6629CADB5AD25772 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:32:40] 725*2^1000952-1 is not prime. Res64: 46DAAE4AA2A9BC94 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:32:41] 785*2^1000952-1 is not prime. Res64: 4901B7B13B38DA6E Time : 0.0 sec. user=mdettweiler [2012-01-13 00:33:41] 797*2^1000952-1 is not prime. Res64: C17537A82B66F41D Time : 0.0 sec. user=mdettweiler [2012-01-13 00:33:41] 803*2^1000952-1 is not prime. Res64: 5A6B34228F2FCADA Time : 0.0 sec. user=mdettweiler [2012-01-13 00:34:34] 919*2^1000953-1 is not prime. Res64: FF578057F9FFCD2A Time : 0.0 sec. user=mdettweiler [2012-01-13 00:37:40] 991*2^1000953-1 is not prime. Res64: 7411DD315AF5139D Time : 0.0 sec. user=mdettweiler [2012-01-13 00:38:42] 699*2^1000953-1 is not prime. Res64: 54B411C5788DB35C Time : 0.0 sec. user=mdettweiler [2012-01-13 00:38:43] 735*2^1000953-1 is not prime. Res64: CD3EEFA8189E7459 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:42:10] 699*2^1000955-1 is not prime. Res64: F4BEE3BA3562A2D7 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:45:15] 741*2^1000955-1 is not prime. Res64: 1D3DC8A377290A91 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:49:44] 915*2^1000955-1 is not prime. Res64: 0238BC9F3E7D5810 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:49:58] 927*2^1000941-1 is not prime. Res64: 2D7BB0E3A07BD71F Time : 0.0 sec. user=mdettweiler [2012-01-13 00:49:58] 961*2^1000941-1 is not prime. Res64: E4018E81533A9F19 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:51:57] 827*2^1000954-1 is not prime. Res64: E6E00E711FEB2B1B Time : 0.0 sec. user=mdettweiler [2012-01-13 00:51:57] 861*2^1000954-1 is not prime. Res64: 3A0E7EDE8DF589EF Time : 0.0 sec. user=mdettweiler [2012-01-13 00:52:19] 885*2^1000954-1 is not prime. Res64: 8BFF5C18FDCA9419 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:52:19] 923*2^1000954-1 is not prime. Res64: 9C43A964C5F18176 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:52:50] 765*2^1000956-1 is not prime. Res64: 1DB88494CA24E0D8 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:53:19] 675*2^1000955-1 is not prime. Res64: 85C9B8FE89737443 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:53:20] 693*2^1000955-1 is not prime. Res64: C81EA3632D66A505 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:57:21] 803*2^1000956-1 is not prime. Res64: B2E02E6598CA49C0 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:58:20] 841*2^1000955-1 is not prime. Res64: CF572F145CB151D7 Time : 0.0 sec. user=mdettweiler [2012-01-13 00:58:20] 859*2^1000955-1 is not prime. Res64: 16316E095F89196B Time : 0.0 sec. user=mdettweiler [2012-01-13 01:01:11] 831*2^1000957-1 is not prime. Res64: C701BD1457981D1D Time : 0.0 sec. user=mdettweiler [2012-01-13 01:05:54] 663*2^1000958-1 is not prime. Res64: 88ED2A9E6330E800 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:09:02] 825*2^1000958-1 is not prime. Res64: 11C24DCFE9995835 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:11:38] 625*2^1000957-1 is not prime. Res64: 17BCCE1A428B9E2D Time : 0.0 sec. user=mdettweiler [2012-01-13 01:11:40] 687*2^1000957-1 is not prime. Res64: 983A372B9E18688C Time : 0.0 sec. user=mdettweiler [2012-01-13 01:12:06] 759*2^1000957-1 is not prime. Res64: D4A1645112C8E083 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:12:09] 775*2^1000957-1 is not prime. Res64: 979B2FF1CD893D5A Time : 0.0 sec. user=mdettweiler [2012-01-13 01:13:32] 911*2^1000958-1 is not prime. Res64: 9904866DD70822B0 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:15:18] 979*2^1000957-1 is not prime. Res64: 0D5F95650AD87E02 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:15:22] 617*2^1000958-1 is not prime. Res64: AE60C664252D5E19 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:16:41] 923*2^1000958-1 is not prime. Res64: E35A306FB6CFC85E Time : 0.0 sec. user=mdettweiler [2012-01-13 01:17:59] 731*2^1000958-1 is not prime. Res64: 56BE85D5487A544B Time : 0.0 sec. user=mdettweiler [2012-01-13 01:18:00] 743*2^1000958-1 is not prime. Res64: 99D837675632C8D0 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:21:10] 775*2^1000959-1 is not prime. Res64: 8CDA07F4E9B5AD97 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:24:17] 623*2^1000960-1 is not prime. Res64: 98431EEF13748CEE Time : 0.0 sec. user=mdettweiler [2012-01-13 01:24:26] 685*2^1000941-1 is not prime. Res64: 27317367803EF4A6 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:24:26] 717*2^1000941-1 is not prime. Res64: 060B79FA80B04755 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:28:47] 939*2^1000960-1 is not prime. Res64: 2DF105794DFC2853 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:31:51] 639*2^1000959-1 is not prime. Res64: 637598C82AF63FE8 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:31:51] 745*2^1000959-1 is not prime. Res64: CFD677E6CFB32DE5 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:33:47] 999*2^1000960-1 is not prime. Res64: F3410B06AC65321D Time : 0.0 sec. user=mdettweiler [2012-01-13 01:36:06] 951*2^1000958-1 is not prime. Res64: CAB0FFE5B3A823D7 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:36:07] 1001*2^1000958-1 is not prime. Res64: 6DAD2FE8D7FE49D9 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:36:24] 689*2^1000952-1 is not prime. Res64: 9B8EFA086F5F24AB Time : 0.0 sec. user=mdettweiler [2012-01-13 01:36:24] 693*2^1000952-1 is not prime. Res64: 20667F840B804152 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:36:26] 691*2^1000961-1 is not prime. Res64: 2E721370A0C06C94 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:37:25] 829*2^1000959-1 is not prime. Res64: 1C8AFFB4553ACF8A Time : 0.0 sec. user=mdettweiler [2012-01-13 01:37:25] 951*2^1000959-1 is not prime. Res64: D0E64DA6EE436A0B Time : 0.0 sec. user=mdettweiler [2012-01-13 01:37:42] 827*2^1000960-1 is not prime. Res64: 0C335FF78FB329FD Time : 0.0 sec. user=mdettweiler [2012-01-13 01:37:43] 843*2^1000960-1 is not prime. Res64: 2EC11E3CE4F5F04E Time : 0.0 sec. user=mdettweiler [2012-01-13 01:41:24] 879*2^1000961-1 is not prime. Res64: 87C4E567F60B480A Time : 0.0 sec. user=mdettweiler [2012-01-13 01:45:54] 981*2^1000961-1 is not prime. Res64: 461B4C0A84809811 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:49:02] 765*2^1000963-1 is not prime. Res64: 39E4F629D47031B2 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:51:36] 769*2^1000961-1 is not prime. Res64: 42602994EC43976C Time : 0.0 sec. user=mdettweiler [2012-01-13 01:51:37] 795*2^1000961-1 is not prime. Res64: F27C5BB6DEB70F65 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:53:31] 835*2^1000963-1 is not prime. Res64: C5B9E4EDA1C60610 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:54:14] 635*2^1000954-1 is not prime. Res64: 6C3C5690CEC6243E Time : 0.0 sec. user=mdettweiler [2012-01-13 01:54:14] 645*2^1000954-1 is not prime. Res64: A04A48D751BD80B4 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:55:47] 889*2^1000961-1 is not prime. Res64: 72EEED54D1C59593 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:55:48] 925*2^1000961-1 is not prime. Res64: 28029D780754B238 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:56:39] 855*2^1000963-1 is not prime. Res64: 2AE7228E1E0F52D9 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:57:11] 611*2^1000962-1 is not prime. Res64: 3BCFB0147A64B4FF Time : 0.0 sec. user=mdettweiler [2012-01-13 01:57:11] 713*2^1000962-1 is not prime. Res64: 86ED1FA323D30357 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:57:25] 825*2^1000962-1 is not prime. Res64: F27D055610F8E938 Time : 0.0 sec. user=mdettweiler [2012-01-13 01:57:25] 649*2^1000963-1 is not prime. Res64: 00D164698A6172DC Time : 0.0 sec. user=mdettweiler [2012-01-13 02:01:09] 883*2^1000963-1 is not prime. Res64: 1FA728B1D946124B Time : 0.0 sec. user=mdettweiler [2012-01-13 02:04:16] 773*2^1000964-1 is not prime. Res64: 5AF68B48B550602C Time : 0.0 sec. user=mdettweiler [2012-01-13 02:08:51] 787*2^1000965-1 is not prime. Res64: 15B0D84CA76415EE Time : 0.0 sec. user=mdettweiler [2012-01-13 02:11:20] 859*2^1000963-1 is not prime. Res64: 2373614C63715565 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:11:22] 873*2^1000963-1 is not prime. Res64: 5E92DF2089511BB5 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:11:56] 937*2^1000965-1 is not prime. Res64: D03C11B076D33F02 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:13:29] 873*2^1000956-1 is not prime. Res64: E5615514955FC54D Time : 0.0 sec. user=mdettweiler [2012-01-13 02:13:30] 887*2^1000956-1 is not prime. Res64: 098C0A2669A51AEC Time : 0.0 sec. user=mdettweiler [2012-01-13 02:15:35] 677*2^1000964-1 is not prime. Res64: F29A2378162125E1 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:15:36] 717*2^1000964-1 is not prime. Res64: CB37EC7854D6E5C3 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:16:30] 825*2^1000966-1 is not prime. Res64: 6E9B13359822BB71 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:16:57] 875*2^1000964-1 is not prime. Res64: 798CB5A43F845A37 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:16:57] 929*2^1000964-1 is not prime. Res64: 000F3887E6C7DA87 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:17:05] 669*2^1000965-1 is not prime. Res64: A36D049A782CD7BF Time : 0.0 sec. user=mdettweiler [2012-01-13 02:17:05] 691*2^1000965-1 is not prime. Res64: 8326BC10607A8237 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:19:33] 933*2^1000966-1 is not prime. Res64: 5618738627E5C532 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:24:08] 693*2^1000967-1 is not prime. Res64: 7EAF271E454989DD Time : 0.0 sec. user=mdettweiler [2012-01-13 02:27:12] 883*2^1000967-1 is not prime. Res64: 3183D8969181D4FF Time : 0.0 sec. user=mdettweiler [2012-01-13 02:31:26] 911*2^1000966-1 is not prime. Res64: D5130DA0AB9029AC Time : 0.0 sec. user=mdettweiler [2012-01-13 02:31:27] 917*2^1000966-1 is not prime. Res64: 236620F1293671F3 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:31:46] 629*2^1000968-1 is not prime. Res64: 7BA3D378CAC15FBD Time : 0.0 sec. user=mdettweiler [2012-01-13 02:34:48] 713*2^1000968-1 is not prime. Res64: F1544D2165DBB63D Time : 0.0 sec. user=mdettweiler [2012-01-13 02:35:33] 621*2^1000967-1 is not prime. Res64: 9F2DD76697C1E31C Time : 0.0 sec. user=mdettweiler [2012-01-13 02:35:34] 643*2^1000967-1 is not prime. Res64: EE4311869A8CE039 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:36:48] 739*2^1000967-1 is not prime. Res64: 11EAEC70A8298738 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:36:50] 753*2^1000967-1 is not prime. Res64: E2E3B75B24E2D128 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:36:54] 759*2^1000967-1 is not prime. Res64: 4AC4BA7CBDE3BC22 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:36:55] 859*2^1000967-1 is not prime. Res64: BE99E53FE4FD7E2F Time : 0.0 sec. user=mdettweiler [2012-01-13 02:39:26] 839*2^1000968-1 is not prime. Res64: 5A8E92540B9C5FA0 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:42:27] 893*2^1000968-1 is not prime. Res64: B3FD5715DF2CB825 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:48:22] 645*2^1000961-1 is not prime. Res64: EF54BA99E379EB3E Time : 0.0 sec. user=mdettweiler [2012-01-13 02:48:22] 649*2^1000961-1 is not prime. Res64: 9FB8F7A5760E4E89 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:48:57] 967*2^1000969-1 is not prime. Res64: 12A9FDF461038C72 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:50:07] 635*2^1000970-1 is not prime. Res64: BAF0BCEBC82DFDCC Time : 0.0 sec. user=mdettweiler [2012-01-13 02:51:13] 737*2^1000968-1 is not prime. Res64: D0EA799BDE3EBD59 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:51:13] 759*2^1000968-1 is not prime. Res64: CD59D7246E59CC43 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:55:25] 927*2^1000968-1 is not prime. Res64: D0C03E78B840817F Time : 0.0 sec. user=mdettweiler [2012-01-13 02:55:25] 721*2^1000969-1 is not prime. Res64: 356215C846684EB3 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:56:35] 745*2^1000969-1 is not prime. Res64: 57F7880DDB2A4C5A Time : 0.0 sec. user=mdettweiler [2012-01-13 02:56:35] 819*2^1000969-1 is not prime. Res64: B5E955EB105608E0 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:56:38] 707*2^1000970-1 is not prime. Res64: 202E0CA7C52EA778 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:56:39] 931*2^1000969-1 is not prime. Res64: ECFC5B56FD378F18 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:56:39] 939*2^1000969-1 is not prime. Res64: 4EF31DD7C7D5A0A9 Time : 0.0 sec. user=mdettweiler [2012-01-13 02:57:47] 711*2^1000970-1 is not prime. Res64: C2041FBC92B2709C Time : 0.0 sec. user=mdettweiler [2012-01-13 03:04:16] 849*2^1000971-1 is not prime. Res64: 7E22835E28F4BFCE Time : 0.0 sec. user=mdettweiler [2012-01-13 03:05:24] 855*2^1000972-1 is not prime. Res64: 0F076A3BB5757136 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:10:55] 731*2^1000970-1 is not prime. Res64: D94561A20F739B35 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:10:57] 743*2^1000970-1 is not prime. Res64: 13C9E583B14098E5 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:11:57] 899*2^1000972-1 is not prime. Res64: F45E1D45FC9FD29F Time : 0.0 sec. user=mdettweiler [2012-01-13 03:14:52] 957*2^1000972-1 is not prime. Res64: BC6D82CDDD04FB29 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:15:03] 753*2^1000970-1 is not prime. Res64: 5E3D05FCAE22FF31 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:15:07] 945*2^1000970-1 is not prime. Res64: D7C730183C115520 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:16:21] 615*2^1000972-1 is not prime. Res64: EF9991B531669583 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:16:22] 749*2^1000972-1 is not prime. Res64: 358BFF5B4905F8C0 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:16:55] 895*2^1000963-1 is not prime. Res64: 0A80941159B6E01B Time : 0.0 sec. user=mdettweiler [2012-01-13 03:16:55] 605*2^1000964-1 is not prime. Res64: 88D0880E23FE010E Time : 0.0 sec. user=mdettweiler [2012-01-13 03:17:45] 957*2^1000961-1 is not prime. Res64: 71E4BFEDE133E771 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:17:45] 967*2^1000961-1 is not prime. Res64: 5462EE5944F41174 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:18:34] 981*2^1000970-1 is not prime. Res64: E8A070814E392CA3 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:18:34] 825*2^1000971-1 is not prime. Res64: A95AA9802EB36F37 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:19:38] 805*2^1000973-1 is not prime. Res64: 433BBAF7EB668B5E Time : 0.0 sec. user=mdettweiler [2012-01-13 03:22:30] 847*2^1000973-1 is not prime. Res64: CB2BB5BA3F1AA91B Time : 0.0 sec. user=mdettweiler [2012-01-13 03:29:06] 1001*2^1000974-1 is not prime. Res64: E95DB71AB4B10FC1 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:30:10] 619*2^1000975-1 is not prime. Res64: 37758FCBDA3CC7E8 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:30:41] 657*2^1000973-1 is not prime. Res64: 4F09E3DAFC2807C9 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:30:42] 697*2^1000973-1 is not prime. Res64: A76A534601D47903 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:36:02] 605*2^1000974-1 is not prime. Res64: 894D8204CDB3E3F8 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:36:03] 651*2^1000974-1 is not prime. Res64: 9057FF359AE2BE42 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:36:33] 603*2^1000967-1 is not prime. Res64: 1A221ECF655FE388 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:36:33] 619*2^1000967-1 is not prime. Res64: F3F505B1D1C7D3AC Time : 0.0 sec. user=mdettweiler [2012-01-13 03:36:44] 783*2^1000975-1 is not prime. Res64: 74E2D6C25CAE379D Time : 0.0 sec. user=mdettweiler [2012-01-13 03:37:11] 939*2^1000973-1 is not prime. Res64: 3D32340A6C4288C1 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:37:11] 951*2^1000973-1 is not prime. Res64: A38AAD6AB712D3A2 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:37:49] 805*2^1000975-1 is not prime. Res64: DAC3F90F7888BE88 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:40:33] 947*2^1000974-1 is not prime. Res64: 9833CB0105D84DE8 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:40:33] 993*2^1000974-1 is not prime. Res64: 0DACDB547132F914 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:44:26] 893*2^1000976-1 is not prime. Res64: E2D0F9CB23B67338 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:45:31] 751*2^1000977-1 is not prime. Res64: 396CC3B010D148F5 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:50:24] 831*2^1000975-1 is not prime. Res64: CF0D316C371B565E Time : 0.0 sec. user=mdettweiler [2012-01-13 03:50:24] 871*2^1000975-1 is not prime. Res64: 3FE4C35A3DDDB1D5 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:53:10] 603*2^1000978-1 is not prime. Res64: B629DE8E60A171D0 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:53:53] 979*2^1000977-1 is not prime. Res64: 6F4ED25CAB2F2504 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:56:52] 691*2^1000977-1 is not prime. Res64: FBC2ED850FAD13B5 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:56:52] 747*2^1000977-1 is not prime. Res64: 4C6CF8BAD7A6224F Time : 0.0 sec. user=mdettweiler [2012-01-13 03:58:00] 943*2^1000975-1 is not prime. Res64: 10C5D9A55F9167D6 Time : 0.0 sec. user=mdettweiler [2012-01-13 03:58:00] 985*2^1000975-1 is not prime. Res64: 5695A8A2C32204C1 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:00:50] 731*2^1000978-1 is not prime. Res64: B5E806D0389F28AF Time : 0.0 sec. user=mdettweiler [2012-01-13 04:01:31] 755*2^1000978-1 is not prime. Res64: EB113332BA17D3DB Time : 0.0 sec. user=mdettweiler [2012-01-13 04:02:30] 837*2^1000977-1 is not prime. Res64: 58B3CEDD5E31C394 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:02:31] 949*2^1000977-1 is not prime. Res64: D6DF981D2F581E7A Time : 0.0 sec. user=mdettweiler [2012-01-13 04:08:32] 801*2^1000979-1 is not prime. Res64: 9E16B88F228BD26A Time : 0.0 sec. user=mdettweiler [2012-01-13 04:09:11] 931*2^1000979-1 is not prime. Res64: F422600084204D58 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:10:07] 651*2^1000978-1 is not prime. Res64: 02C651F91A31B208 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:10:07] 665*2^1000978-1 is not prime. Res64: 614E8B20056D1497 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:11:06] 645*2^1000970-1 is not prime. Res64: 5F832E07D8DAD196 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:11:07] 665*2^1000970-1 is not prime. Res64: C42C84946FCC22F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:16:14] 645*2^1000982-1 is not prime. Res64: D61951351F2BBC5E Time : 0.0 sec. user=mdettweiler [2012-01-13 04:16:39] 845*2^1000978-1 is not prime. Res64: 9D075BF4C728A8C7 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:16:39] 861*2^1000978-1 is not prime. Res64: 8541AE896E020BDA Time : 0.0 sec. user=mdettweiler [2012-01-13 04:16:52] 677*2^1000982-1 is not prime. Res64: 069C4DE4241B42F0 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:17:42] 621*2^1000979-1 is not prime. Res64: 9DA005B477145A5E Time : 0.0 sec. user=mdettweiler [2012-01-13 04:17:43] 693*2^1000979-1 is not prime. Res64: 0C8B0800C7BD935C Time : 0.0 sec. user=mdettweiler [2012-01-13 04:24:26] 693*2^1000980-1 is not prime. Res64: 57867C58AFBD2F65 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:24:27] 957*2^1000981-1 is not prime. Res64: F312716B8B783237 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:24:32] 709*2^1000983-1 is not prime. Res64: DE05248FD5AD1AF2 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:25:41] 957*2^1000982-1 is not prime. Res64: F8CE2A34E86EA189 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:29:55] 713*2^1000982-1 is not prime. Res64: B2A3F6784A33261D Time : 0.0 sec. user=mdettweiler [2012-01-13 04:29:55] 771*2^1000982-1 is not prime. Res64: E408E06881C10532 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:32:14] 933*2^1000983-1 is not prime. Res64: E55DEF92E9AE0B5D Time : 0.0 sec. user=mdettweiler [2012-01-13 04:35:13] 951*2^1000983-1 is not prime. Res64: BA0126F574055D61 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:37:21] 751*2^1000983-1 is not prime. Res64: 9E42C7FB604CCFDD Time : 0.0 sec. user=mdettweiler [2012-01-13 04:37:22] 819*2^1000983-1 is not prime. Res64: 12B05C00DB1259A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:38:44] 965*2^1000982-1 is not prime. Res64: 9BB8187E40249D61 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:38:45] 679*2^1000983-1 is not prime. Res64: 2CD5FF6BE3CE402F Time : 0.0 sec. user=mdettweiler [2012-01-13 04:39:54] 677*2^1000984-1 is not prime. Res64: AFC83361685C2CAC Time : 0.0 sec. user=mdettweiler [2012-01-13 04:41:05] 705*2^1000974-1 is not prime. Res64: F4667EA7C67F5B29 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:41:06] 851*2^1000974-1 is not prime. Res64: AAE85E1DE0172BD9 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:42:52] 693*2^1000984-1 is not prime. Res64: 5E4A39E9AC7E7F8B Time : 0.0 sec. user=mdettweiler [2012-01-13 04:43:37] 873*2^1000974-1 is not prime. Res64: DA82241B1797DB0B Time : 0.0 sec. user=mdettweiler [2012-01-13 04:43:38] 945*2^1000974-1 is not prime. Res64: 8860123B04B9A4A1 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:44:10] 859*2^1000983-1 is not prime. Res64: 2377C7EEF872804A Time : 0.0 sec. user=mdettweiler [2012-01-13 04:44:11] 873*2^1000983-1 is not prime. Res64: A7AE96CC6B704E8E Time : 0.0 sec. user=mdettweiler [2012-01-13 04:47:33] 871*2^1000985-1 is not prime. Res64: CE51D9F832567790 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:50:32] 777*2^1000986-1 is not prime. Res64: FF1274723E3F6FF8 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:51:54] 991*2^1000983-1 is not prime. Res64: CAFC2A23E88A1DFA Time : 0.0 sec. user=mdettweiler [2012-01-13 04:51:54] 657*2^1000984-1 is not prime. Res64: E825661EDCD5387B Time : 0.0 sec. user=mdettweiler [2012-01-13 04:55:12] 941*2^1000986-1 is not prime. Res64: 25B9C188A0555125 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:57:04] 773*2^1000984-1 is not prime. Res64: 16144BEFCFE6BF60 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:57:05] 803*2^1000984-1 is not prime. Res64: F9D0BE0A2BA58FBE Time : 0.0 sec. user=mdettweiler [2012-01-13 04:58:11] 673*2^1000987-1 is not prime. Res64: 288D86AA188D8EC4 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:58:30] 915*2^1000984-1 is not prime. Res64: 12A563778B2B5032 Time : 0.0 sec. user=mdettweiler [2012-01-13 04:58:31] 795*2^1000985-1 is not prime. Res64: E58F893A5DA3C2BC Time : 0.0 sec. user=mdettweiler [2012-01-13 05:02:52] 871*2^1000987-1 is not prime. Res64: 5FC44353D80F80C4 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:03:04] 669*2^1000976-1 is not prime. Res64: DBE057C8C408289F Time : 0.0 sec. user=mdettweiler [2012-01-13 05:03:04] 743*2^1000976-1 is not prime. Res64: 81918F92085E87C6 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:03:54] 891*2^1000986-1 is not prime. Res64: 80E87D5C7225D147 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:03:54] 921*2^1000986-1 is not prime. Res64: 151D29E834F70EEE Time : 0.0 sec. user=mdettweiler [2012-01-13 05:05:49] 725*2^1000988-1 is not prime. Res64: AA50C958BADB671C Time : 0.0 sec. user=mdettweiler [2012-01-13 05:10:32] 909*2^1000988-1 is not prime. Res64: 0018488C3C8D517E Time : 0.0 sec. user=mdettweiler [2012-01-13 05:11:39] 675*2^1000987-1 is not prime. Res64: F74FE48066569B87 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:11:40] 765*2^1000987-1 is not prime. Res64: E41724F3384E142A Time : 0.0 sec. user=mdettweiler [2012-01-13 05:13:29] 789*2^1000989-1 is not prime. Res64: D48E2AD39D0D112B Time : 0.0 sec. user=mdettweiler [2012-01-13 05:16:47] 603*2^1000988-1 is not prime. Res64: 7FD93C8EAE3718CA Time : 0.0 sec. user=mdettweiler [2012-01-13 05:16:48] 665*2^1000988-1 is not prime. Res64: 5AF644DE63F88694 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:18:15] 743*2^1000988-1 is not prime. Res64: 73CF24B6C03D87C9 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:18:15] 893*2^1000988-1 is not prime. Res64: D9FE9015A1E9F9A1 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:18:24] 831*2^1000989-1 is not prime. Res64: 8FB38045D13F82B7 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:21:07] 945*2^1000989-1 is not prime. Res64: 17634833204AA42A Time : 0.0 sec. user=mdettweiler [2012-01-13 05:23:41] 711*2^1000989-1 is not prime. Res64: 27FE034DDA0BBE2D Time : 0.0 sec. user=mdettweiler [2012-01-13 05:23:41] 765*2^1000989-1 is not prime. Res64: FC9515111609BCA7 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:26:06] 675*2^1000990-1 is not prime. Res64: 750723D5C61B4855 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:28:48] 687*2^1000990-1 is not prime. Res64: BA510984ED305D77 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:31:39] 885*2^1000989-1 is not prime. Res64: FEC62958A622E7A9 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:31:39] 889*2^1000989-1 is not prime. Res64: 512B0CA7FD3D1C85 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:33:50] 879*2^1000991-1 is not prime. Res64: 072F05FF8AB68FED Time : 0.0 sec. user=mdettweiler [2012-01-13 05:38:20] 993*2^1000991-1 is not prime. Res64: 039B9E47E9979189 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:38:22] 827*2^1000982-1 is not prime. Res64: F78C1269488C9C56 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:38:22] 923*2^1000982-1 is not prime. Res64: BD353BFDB39002A5 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:40:16] 999*2^1000989-1 is not prime. Res64: 66CE8B80165E3887 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:40:17] 611*2^1000990-1 is not prime. Res64: 3173E8ABCE21424C Time : 0.0 sec. user=mdettweiler [2012-01-13 05:41:03] 951*2^1000989-1 is not prime. Res64: F9D6F37F4550A720 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:41:03] 961*2^1000989-1 is not prime. Res64: 0D0DF70406FDE955 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:41:34] 669*2^1000992-1 is not prime. Res64: 451DFAEA307C6FF3 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:43:30] 663*2^1000991-1 is not prime. Res64: FE42CEA7150B6492 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:43:31] 741*2^1000991-1 is not prime. Res64: 1556DA4A7F34D9C8 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:46:02] 675*2^1000992-1 is not prime. Res64: 34179377912385CF Time : 0.0 sec. user=mdettweiler [2012-01-13 05:49:15] 619*2^1000993-1 is not prime. Res64: C87B6E44C62C17BE Time : 0.0 sec. user=mdettweiler [2012-01-13 05:51:27] 629*2^1000992-1 is not prime. Res64: B2BD86B992C75F11 Time : 0.0 sec. user=mdettweiler [2012-01-13 05:51:28] 665*2^1000992-1 is not prime. Res64: 00821891C6F46C5A Time : 0.0 sec. user=mdettweiler [2012-01-13 05:53:45] 773*2^1000994-1 is not prime. Res64: 222D17A378AFAB7D Time : 0.0 sec. user=mdettweiler [2012-01-13 05:56:58] 851*2^1000994-1 is not prime. Res64: BF7FA6B4B018A474 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:00:00] 717*2^1000992-1 is not prime. Res64: 6A2A447A1F71EC64 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:00:01] 719*2^1000992-1 is not prime. Res64: E6E8156E68D3589E Time : 0.0 sec. user=mdettweiler [2012-01-13 06:00:43] 779*2^1000992-1 is not prime. Res64: CBD4D614F56E2FF1 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:00:43] 933*2^1000992-1 is not prime. Res64: 137416E33677DA5B Time : 0.0 sec. user=mdettweiler [2012-01-13 06:01:28] 651*2^1000995-1 is not prime. Res64: 32EE07CE3EA79B32 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:04:38] 705*2^1000995-1 is not prime. Res64: 028BA3A0AFD9D22B Time : 0.0 sec. user=mdettweiler [2012-01-13 06:05:34] 999*2^1000993-1 is not prime. Res64: C74478B01846A648 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:05:36] 657*2^1000994-1 is not prime. Res64: 1CA0CCFD0BEB13CD Time : 0.0 sec. user=mdettweiler [2012-01-13 06:05:42] 641*2^1000986-1 is not prime. Res64: 2CD73D0EFB09A5B6 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:05:43] 705*2^1000986-1 is not prime. Res64: 216D1D54F81629BD Time : 0.0 sec. user=mdettweiler [2012-01-13 06:09:09] 873*2^1000996-1 is not prime. Res64: 5DABCC1F12B86A6B Time : 0.0 sec. user=mdettweiler [2012-01-13 06:10:15] 801*2^1000986-1 is not prime. Res64: 6ACA897F0DCED528 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:10:15] 851*2^1000986-1 is not prime. Res64: CB0A44625C43BDE6 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:12:20] 651*2^1000997-1 is not prime. Res64: 8310C6D05B68F0A0 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:13:27] 971*2^1000994-1 is not prime. Res64: E0DA378A8BEC4449 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:13:28] 609*2^1000995-1 is not prime. Res64: 29449B56479DA399 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:16:51] 611*2^1000998-1 is not prime. Res64: BEFCC76BF3C9ADF5 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:19:45] 829*2^1000995-1 is not prime. Res64: 7999EACF228A0B0C Time : 0.0 sec. user=mdettweiler [2012-01-13 06:19:46] 853*2^1000995-1 is not prime. Res64: 939C6E6061D782DF Time : 0.0 sec. user=mdettweiler [2012-01-13 06:20:02] 801*2^1000998-1 is not prime. Res64: 14B9A51C5003C232 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:20:26] 689*2^1000996-1 is not prime. Res64: D4398988C656249F Time : 0.0 sec. user=mdettweiler [2012-01-13 06:20:26] 777*2^1000996-1 is not prime. Res64: ED46D64F23F09883 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:22:37] 915*2^1000988-1 is not prime. Res64: 673E2D27CD58AD84 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:22:37] 649*2^1000989-1 is not prime. Res64: BB1C1963FFFED412 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:24:34] 729*2^1000999-1 is not prime. Res64: 50CB0DF378E84087 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:25:18] 847*2^1000997-1 is not prime. Res64: 70D3EE2FE7802C36 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:25:18] 861*2^1000997-1 is not prime. Res64: 52D444135E694804 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:27:44] 859*2^1000999-1 is not prime. Res64: 8BDFFAB2C6D27868 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:32:16] 677*2^1001000-1 is not prime. Res64: 52B25914BED48FF0 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:33:11] 945*2^1000998-1 is not prime. Res64: A339933B336C26DC Time : 0.0 sec. user=mdettweiler [2012-01-13 06:33:12] 661*2^1000999-1 is not prime. Res64: 4D5F5A00308629CB Time : 0.0 sec. user=mdettweiler [2012-01-13 06:35:27] 839*2^1001000-1 is not prime. Res64: 619CCF73D558BDFE Time : 0.0 sec. user=mdettweiler [2012-01-13 06:39:36] 763*2^1000999-1 is not prime. Res64: 970240BF8092AFB6 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:39:37] 765*2^1000999-1 is not prime. Res64: 691BA5FA532D8C34 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:41:48] 963*2^1001000-1 is not prime. Res64: 35115D6C06331A38 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:43:11] 739*2^1001001-1 is not prime. Res64: A54C2C8FC5738B3A Time : 0.0 sec. user=mdettweiler [2012-01-13 06:44:40] 973*2^1000999-1 is not prime. Res64: 6DDD185E39A0D21A Time : 0.0 sec. user=mdettweiler [2012-01-13 06:44:40] 985*2^1000999-1 is not prime. Res64: F2FCF38B6FD815F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:45:03] 759*2^1001000-1 is not prime. Res64: 2776F835B701688D Time : 0.0 sec. user=mdettweiler [2012-01-13 06:45:06] 773*2^1001000-1 is not prime. Res64: 26AF456504D60218 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:51:19] 949*2^1001001-1 is not prime. Res64: 887BDDBFE36420E7 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:52:40] 979*2^1001001-1 is not prime. Res64: 46CD3813EFCC7E61 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:53:02] 637*2^1001001-1 is not prime. Res64: E10B20704A7447EB Time : 0.0 sec. user=mdettweiler [2012-01-13 06:53:03] 669*2^1001001-1 is not prime. Res64: 96831B089C93E417 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:59:02] 821*2^1001002-1 is not prime. Res64: B198D5C83B8AD4EE Time : 0.0 sec. user=mdettweiler [2012-01-13 06:59:23] 751*2^1001001-1 is not prime. Res64: 7CFE0E7942CEEB95 Time : 0.0 sec. user=mdettweiler [2012-01-13 06:59:23] 777*2^1001001-1 is not prime. Res64: 064EB5332D924F30 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:00:25] 825*2^1001002-1 is not prime. Res64: 87E3B7E1FCCF4C2C Time : 0.0 sec. user=mdettweiler [2012-01-13 07:02:21] 683*2^1000992-1 is not prime. Res64: 1A22C2A94FB70811 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:02:26] 689*2^1000992-1 is not prime. Res64: 5F2DAE635A8A62F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:04:23] 617*2^1001002-1 is not prime. Res64: E93E74F770EE2828 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:04:24] 731*2^1001002-1 is not prime. Res64: EB81A1B4EC4FE4A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:04:56] 777*2^1001002-1 is not prime. Res64: CFDD5946DA9DEF44 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:04:57] 803*2^1001002-1 is not prime. Res64: E3686C2796921825 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:06:44] 915*2^1001002-1 is not prime. Res64: 769C61A4D3134F8D Time : 0.0 sec. user=mdettweiler [2012-01-13 07:08:05] 615*2^1001003-1 is not prime. Res64: 2F126C69F4AC87FE Time : 0.0 sec. user=mdettweiler [2012-01-13 07:12:50] 831*2^1001002-1 is not prime. Res64: 5D6D99E487043288 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:12:52] 833*2^1001002-1 is not prime. Res64: EB69CE96EE8B4405 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:14:26] 635*2^1001004-1 is not prime. Res64: 5D206A735B7DD886 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:15:50] 639*2^1001004-1 is not prime. Res64: 82AAB37A252104F7 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:22:10] 625*2^1001005-1 is not prime. Res64: C81B11FE650F9CBC Time : 0.0 sec. user=mdettweiler [2012-01-13 07:23:34] 645*2^1001005-1 is not prime. Res64: BF1097F9EBCEE40A Time : 0.0 sec. user=mdettweiler [2012-01-13 07:23:46] 983*2^1001002-1 is not prime. Res64: 8CFB458BC6D60776 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:23:46] 987*2^1001002-1 is not prime. Res64: 74B6DA728CE94EE4 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:24:04] 789*2^1001003-1 is not prime. Res64: 8D2A8069990C9FAB Time : 0.0 sec. user=mdettweiler [2012-01-13 07:24:04] 825*2^1001003-1 is not prime. Res64: A7EA7E3FEE0CBEB0 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:27:00] 895*2^1001003-1 is not prime. Res64: 11747F7249DEA6EB Time : 0.0 sec. user=mdettweiler [2012-01-13 07:27:00] 993*2^1001003-1 is not prime. Res64: 481CBB10B3A3AF46 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:29:51] 691*2^1001005-1 is not prime. Res64: AC4BC3EA9C73B8A9 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:31:14] 799*2^1001005-1 is not prime. Res64: 9589E55A49C06496 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:32:33] 663*2^1001004-1 is not prime. Res64: 4D512974FAE93809 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:32:34] 947*2^1001004-1 is not prime. Res64: 1BBB3796110DC69E Time : 0.0 sec. user=mdettweiler [2012-01-13 07:33:39] 747*2^1000998-1 is not prime. Res64: 27D58510E330A6DA Time : 0.0 sec. user=mdettweiler [2012-01-13 07:33:39] 777*2^1000998-1 is not prime. Res64: 194C44368FC0023A Time : 0.0 sec. user=mdettweiler [2012-01-13 07:37:32] 937*2^1000997-1 is not prime. Res64: B773BE69419C28AE Time : 0.0 sec. user=mdettweiler [2012-01-13 07:37:32] 949*2^1000997-1 is not prime. Res64: 79072D4FC481CCE4 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:37:34] 635*2^1001006-1 is not prime. Res64: DAB17AC213424B00 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:38:58] 741*2^1001006-1 is not prime. Res64: 1E52166D22F94490 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:43:34] 805*2^1001005-1 is not prime. Res64: 1F54A907FB5CBAC4 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:43:35] 871*2^1001005-1 is not prime. Res64: A91E2874D0D36255 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:43:45] 877*2^1001005-1 is not prime. Res64: 50A82C6E01EFF242 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:43:45] 939*2^1001005-1 is not prime. Res64: 5829CA9FAB3E8E53 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:45:18] 669*2^1001007-1 is not prime. Res64: F898AB46E12B4084 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:46:41] 623*2^1001006-1 is not prime. Res64: 4BD7A29B93F085F5 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:46:41] 627*2^1001006-1 is not prime. Res64: EDF488828DE55DB9 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:46:43] 741*2^1001007-1 is not prime. Res64: CAEDE14A71C66356 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:52:11] 755*2^1001006-1 is not prime. Res64: B9FE1C9ACA9D6D07 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:52:12] 801*2^1001006-1 is not prime. Res64: C32A7BCD1F58AFF3 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:53:01] 869*2^1001008-1 is not prime. Res64: CB824C8A8AA00564 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:54:27] 927*2^1001008-1 is not prime. Res64: C887D1EF974F9519 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:54:42] 999*2^1000999-1 is not prime. Res64: 45CC4C12E8544A59 Time : 0.0 sec. user=mdettweiler [2012-01-13 07:54:42] 635*2^1001000-1 is not prime. Res64: 9ADDAC9D11B382DF Time : 0.0 sec. user=mdettweiler [2012-01-13 08:00:46] 645*2^1001009-1 is not prime. Res64: 35022823F312CCA2 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:02:11] 721*2^1001009-1 is not prime. Res64: C62759F882DA443D Time : 0.0 sec. user=mdettweiler [2012-01-13 08:03:16] 871*2^1001007-1 is not prime. Res64: E8EAF5F85CEDEEBA Time : 0.0 sec. user=mdettweiler [2012-01-13 08:03:16] 909*2^1001007-1 is not prime. Res64: 2C35237BEFED8F3D Time : 0.0 sec. user=mdettweiler [2012-01-13 08:03:26] 705*2^1001008-1 is not prime. Res64: 7275FCC257F63906 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:03:27] 755*2^1001008-1 is not prime. Res64: CBA9241FABA38772 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:06:26] 875*2^1001008-1 is not prime. Res64: A984A8B71D39CFCC Time : 0.0 sec. user=mdettweiler [2012-01-13 08:06:29] 915*2^1001008-1 is not prime. Res64: C1B7D775B3A3C303 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:08:30] 633*2^1001010-1 is not prime. Res64: 1D9CCA05DE8F14FC Time : 0.0 sec. user=mdettweiler [2012-01-13 08:09:53] 657*2^1001010-1 is not prime. Res64: FC3A1F5CE0926761 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:11:50] 933*2^1001008-1 is not prime. Res64: 254D1C7C4E5C835C Time : 0.0 sec. user=mdettweiler [2012-01-13 08:11:51] 601*2^1001009-1 is not prime. Res64: 9E96B81FCCC3036B Time : 0.0 sec. user=mdettweiler [2012-01-13 08:16:13] 913*2^1001011-1 is not prime. Res64: 2643C285F57FF370 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:17:36] 683*2^1001012-1 is not prime. Res64: 70CD1C34E27AF82B Time : 0.0 sec. user=mdettweiler [2012-01-13 08:22:57] 649*2^1001011-1 is not prime. Res64: 8D3DA01083D77F7F Time : 0.0 sec. user=mdettweiler [2012-01-13 08:22:58] 663*2^1001011-1 is not prime. Res64: 2E3138B40C4C6194 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:23:03] 705*2^1001011-1 is not prime. Res64: 32D4A8A354FE84EC Time : 0.0 sec. user=mdettweiler [2012-01-13 08:23:03] 733*2^1001011-1 is not prime. Res64: 05B1BCAF46658627 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:23:55] 945*2^1001012-1 is not prime. Res64: 0AA39F7226193D36 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:24:31] 685*2^1001003-1 is not prime. Res64: 15E68825B2FAF592 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:24:31] 705*2^1001003-1 is not prime. Res64: 53F6FF55549E1340 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:26:15] 771*2^1001011-1 is not prime. Res64: 033E61880568AED8 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:26:15] 859*2^1001011-1 is not prime. Res64: 87E666FF6267EAE4 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:27:05] 995*2^1001012-1 is not prime. Res64: 4219ED88D9B6730A Time : 0.0 sec. user=mdettweiler [2012-01-13 08:31:34] 803*2^1001012-1 is not prime. Res64: CF5CD3B0237A21F7 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:31:35] 915*2^1001012-1 is not prime. Res64: 8C80E5EC6FBCCF9B Time : 0.0 sec. user=mdettweiler [2012-01-13 08:33:26] 951*2^1001013-1 is not prime. Res64: 5249753EEB4F974B Time : 0.0 sec. user=mdettweiler [2012-01-13 08:34:48] 737*2^1001014-1 is not prime. Res64: D84FDC77F3450A22 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:42:41] 795*2^1001013-1 is not prime. Res64: C813B2B0D5BDCBE0 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:42:41] 919*2^1001013-1 is not prime. Res64: 8EC0275747B858FF Time : 0.0 sec. user=mdettweiler [2012-01-13 08:42:42] 609*2^1001013-1 is not prime. Res64: 65F57F1B64D3CB5E Time : 0.0 sec. user=mdettweiler [2012-01-13 08:42:43] 759*2^1001013-1 is not prime. Res64: 7868A99522015423 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:42:57] 951*2^1001014-1 is not prime. Res64: 79008D71DCF4D953 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:44:18] 965*2^1001014-1 is not prime. Res64: 5CC07791923AC28C Time : 0.0 sec. user=mdettweiler [2012-01-13 08:46:03] 645*2^1001014-1 is not prime. Res64: ABF541CCC23065FC Time : 0.0 sec. user=mdettweiler [2012-01-13 08:46:04] 663*2^1001014-1 is not prime. Res64: 764A0582F0093CF6 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:51:20] 825*2^1001014-1 is not prime. Res64: 4E05329A197ACA14 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:51:20] 945*2^1001014-1 is not prime. Res64: A0AF241CEAF70396 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:52:02] 653*2^1001016-1 is not prime. Res64: B421C4735CEE4FCD Time : 0.0 sec. user=mdettweiler [2012-01-13 08:52:27] 981*2^1001015-1 is not prime. Res64: 79387C38C5962905 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:59:03] 619*2^1001007-1 is not prime. Res64: B1AF2FD7F1D390E8 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:59:04] 643*2^1001007-1 is not prime. Res64: 3B27FA7EE211E4C4 Time : 0.0 sec. user=mdettweiler [2012-01-13 08:59:43] 603*2^1001018-1 is not prime. Res64: F555B704902E14B6 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:00:08] 635*2^1001018-1 is not prime. Res64: 9506A79A4DC5C450 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:02:32] 715*2^1001015-1 is not prime. Res64: AFC392EE19DA775F Time : 0.0 sec. user=mdettweiler [2012-01-13 09:02:34] 789*2^1001015-1 is not prime. Res64: B760D0497452EDFC Time : 0.0 sec. user=mdettweiler [2012-01-13 09:04:40] 975*2^1001014-1 is not prime. Res64: F44D24BB26279FDC Time : 0.0 sec. user=mdettweiler [2012-01-13 09:04:41] 645*2^1001015-1 is not prime. Res64: 9A3D0534FD152B4C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:05:48] 645*2^1001017-1 is not prime. Res64: 0592FD288AF46A66 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:05:49] 729*2^1001017-1 is not prime. Res64: CD8E65A4BE6F6BA0 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:07:50] 843*2^1001006-1 is not prime. Res64: 614502F34B3EAF00 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:07:51] 1001*2^1001006-1 is not prime. Res64: C01C42C9BA866D5F Time : 0.0 sec. user=mdettweiler [2012-01-13 09:07:53] 713*2^1001018-1 is not prime. Res64: 487839FEF9E4BFB4 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:08:19] 747*2^1001018-1 is not prime. Res64: 4CE75D575307DE57 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:11:07] 765*2^1001017-1 is not prime. Res64: A7FEF4EF9006D5DC Time : 0.0 sec. user=mdettweiler [2012-01-13 09:11:08] 817*2^1001017-1 is not prime. Res64: 2D14B88F5928C93E Time : 0.0 sec. user=mdettweiler [2012-01-13 09:15:38] 857*2^1001020-1 is not prime. Res64: F9AB554DF0D42C6A Time : 0.0 sec. user=mdettweiler [2012-01-13 09:16:04] 863*2^1001020-1 is not prime. Res64: E120C08214C05A6C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:22:13] 633*2^1001019-1 is not prime. Res64: 17E3956359EE46CE Time : 0.0 sec. user=mdettweiler [2012-01-13 09:22:13] 685*2^1001019-1 is not prime. Res64: 126C3288FC9CF076 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:23:49] 745*2^1001021-1 is not prime. Res64: E09FE85ECEC6899D Time : 0.0 sec. user=mdettweiler [2012-01-13 09:24:21] 835*2^1001019-1 is not prime. Res64: C61E962DBEA98A8F Time : 0.0 sec. user=mdettweiler [2012-01-13 09:24:22] 647*2^1001020-1 is not prime. Res64: AE43C4304CFCC89C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:25:10] 989*2^1001020-1 is not prime. Res64: ACAB82F1F149E44D Time : 0.0 sec. user=mdettweiler [2012-01-13 09:25:34] 695*2^1001020-1 is not prime. Res64: 999C1A1A62DAB6E3 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:25:34] 707*2^1001020-1 is not prime. Res64: 4855EA8DD474C88F Time : 0.0 sec. user=mdettweiler [2012-01-13 09:30:55] 885*2^1001020-1 is not prime. Res64: E2EDB2AD50A65DFF Time : 0.0 sec. user=mdettweiler [2012-01-13 09:30:56] 897*2^1001020-1 is not prime. Res64: F927D23308C42B7A Time : 0.0 sec. user=mdettweiler [2012-01-13 09:32:56] 777*2^1001022-1 is not prime. Res64: 713713337889930B Time : 0.0 sec. user=mdettweiler [2012-01-13 09:33:19] 979*2^1001021-1 is not prime. Res64: A0F7A83279E08988 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:35:33] 987*2^1001009-1 is not prime. Res64: DF1EA52F94AF0E37 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:35:33] 997*2^1001009-1 is not prime. Res64: CB4A8EFD115331A7 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:40:37] 885*2^1001023-1 is not prime. Res64: E0C44A96BDD84193 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:41:01] 891*2^1001023-1 is not prime. Res64: 9717A239D1C03E0C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:41:55] 789*2^1001021-1 is not prime. Res64: B9C3F5C23585E963 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:41:55] 925*2^1001021-1 is not prime. Res64: 263A47BBBC6C7A50 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:44:04] 653*2^1001022-1 is not prime. Res64: 9445C68A1EF06C22 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:44:05] 705*2^1001022-1 is not prime. Res64: 8A1254C4DD04559F Time : 0.0 sec. user=mdettweiler [2012-01-13 09:47:33] 1001*2^1001022-1 is not prime. Res64: 46E4279BAC880503 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:47:34] 621*2^1001023-1 is not prime. Res64: 7E9FB9883E54024B Time : 0.0 sec. user=mdettweiler [2012-01-13 09:48:18] 617*2^1001024-1 is not prime. Res64: BF398C995470335C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:48:42] 767*2^1001024-1 is not prime. Res64: 5785B34F6B2EF4E2 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:50:34] 709*2^1001023-1 is not prime. Res64: 7E403F49F4EC028D Time : 0.0 sec. user=mdettweiler [2012-01-13 09:50:35] 859*2^1001023-1 is not prime. Res64: 2AF4689DA4146E0C Time : 0.0 sec. user=mdettweiler [2012-01-13 09:56:03] 789*2^1001025-1 is not prime. Res64: E39570E1FD6BFF28 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:56:28] 837*2^1001025-1 is not prime. Res64: 369639ACD9D6FA57 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:58:43] 987*2^1001013-1 is not prime. Res64: 95BBFF01ACA4DFD5 Time : 0.0 sec. user=mdettweiler [2012-01-13 09:58:43] 623*2^1001014-1 is not prime. Res64: 6F74948C028E65A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:01:43] 827*2^1001024-1 is not prime. Res64: 5188245D59CF9D3C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:01:51] 843*2^1001024-1 is not prime. Res64: E2EDC9F5BDB82C45 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:03:46] 909*2^1001024-1 is not prime. Res64: 8C8F92BBA0FF1F49 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:03:46] 705*2^1001026-1 is not prime. Res64: 356122BC29471597 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:03:46] 945*2^1001024-1 is not prime. Res64: CC1D82AE838B807C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:04:13] 755*2^1001026-1 is not prime. Res64: F574449BA10E1075 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:07:17] 691*2^1001025-1 is not prime. Res64: B5870C7256E3DE8D Time : 0.0 sec. user=mdettweiler [2012-01-13 10:07:18] 751*2^1001025-1 is not prime. Res64: D3F5599B5F7F9A5B Time : 0.0 sec. user=mdettweiler [2012-01-13 10:10:20] 663*2^1001026-1 is not prime. Res64: B25285C172A24408 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:10:23] 695*2^1001026-1 is not prime. Res64: E90FAB7E0E344F9C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:11:29] 631*2^1001027-1 is not prime. Res64: D26F73784267A8BF Time : 0.0 sec. user=mdettweiler [2012-01-13 10:11:56] 663*2^1001027-1 is not prime. Res64: D97D3ED2C479A0AC Time : 0.0 sec. user=mdettweiler [2012-01-13 10:19:12] 861*2^1001027-1 is not prime. Res64: BD89347DFB5B78CE Time : 0.0 sec. user=mdettweiler [2012-01-13 10:19:40] 883*2^1001027-1 is not prime. Res64: 5C4E0DE75BCF9CE9 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:21:53] 857*2^1001026-1 is not prime. Res64: 4E32DD2D21B92E0C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:21:54] 917*2^1001026-1 is not prime. Res64: 80D3D70261262834 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:22:32] 641*2^1001018-1 is not prime. Res64: 2A12D7E319FAB69C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:22:32] 711*2^1001018-1 is not prime. Res64: BB7522E93BC887FA Time : 0.0 sec. user=mdettweiler [2012-01-13 10:23:38] 633*2^1001027-1 is not prime. Res64: E7FEE9EBBD9496A6 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:23:39] 645*2^1001027-1 is not prime. Res64: 9C0B11788543BEDA Time : 0.0 sec. user=mdettweiler [2012-01-13 10:26:56] 889*2^1001027-1 is not prime. Res64: FB67DFE1CFA9A7F5 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:27:26] 675*2^1001027-1 is not prime. Res64: 34745CDC5E2109DF Time : 0.0 sec. user=mdettweiler [2012-01-13 10:27:26] 711*2^1001027-1 is not prime. Res64: 332A80431EFB3B39 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:29:10] 963*2^1001027-1 is not prime. Res64: D8775EFD49D77C42 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:30:29] 759*2^1001027-1 is not prime. Res64: 0B7CFB25C4AC930E Time : 0.0 sec. user=mdettweiler [2012-01-13 10:30:29] 799*2^1001027-1 is not prime. Res64: 0D106A1497A2174C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:33:09] 797*2^1001020-1 is not prime. Res64: 4EB413E11FF198DC Time : 0.0 sec. user=mdettweiler [2012-01-13 10:33:09] 803*2^1001020-1 is not prime. Res64: 5B788A96DFC00A64 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:34:39] 609*2^1001029-1 is not prime. Res64: CDF5C107022C8C0A Time : 0.0 sec. user=mdettweiler [2012-01-13 10:36:51] 687*2^1001029-1 is not prime. Res64: E5316BC51AD29850 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:42:05] 725*2^1001028-1 is not prime. Res64: 10544FF28F573A22 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:42:05] 783*2^1001028-1 is not prime. Res64: 9D3D251E1E99F7A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:42:19] 855*2^1001029-1 is not prime. Res64: 35874EA0BA9B7394 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:43:46] 845*2^1001028-1 is not prime. Res64: 7B240B4729A34F76 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:43:46] 945*2^1001028-1 is not prime. Res64: 21E4903025E2CE75 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:44:32] 939*2^1001029-1 is not prime. Res64: BC6D343342512C7B Time : 0.0 sec. user=mdettweiler [2012-01-13 10:47:16] 615*2^1001029-1 is not prime. Res64: 9BD1DFD9F65C8893 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:47:16] 619*2^1001029-1 is not prime. Res64: B21A616261C5094C Time : 0.0 sec. user=mdettweiler [2012-01-13 10:50:01] 627*2^1001030-1 is not prime. Res64: F33A608B0538819D Time : 0.0 sec. user=mdettweiler [2012-01-13 10:50:12] 691*2^1001029-1 is not prime. Res64: FC45E1DE545F60E6 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:50:12] 721*2^1001029-1 is not prime. Res64: CB3CD1352BBCAE5D Time : 0.0 sec. user=mdettweiler [2012-01-13 10:52:15] 857*2^1001030-1 is not prime. Res64: E63AC946325B42C1 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:57:52] 693*2^1001031-1 is not prime. Res64: 5AB2BF5EB26151F6 Time : 0.0 sec. user=mdettweiler [2012-01-13 10:58:48] 919*2^1001023-1 is not prime. Res64: 532DCFF7FB70B7EA Time : 0.0 sec. user=mdettweiler [2012-01-13 10:58:48] 925*2^1001023-1 is not prime. Res64: FB94BE06F6278DDB Time : 0.0 sec. user=mdettweiler [2012-01-13 11:00:05] 789*2^1001031-1 is not prime. Res64: D1659B6977E281E5 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:03:37] 663*2^1001030-1 is not prime. Res64: A4729D0AD8689FD1 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:03:37] 731*2^1001030-1 is not prime. Res64: 147612D0F5064679 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:05:32] 871*2^1001031-1 is not prime. Res64: 60C2BABE9AF53189 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:06:19] 951*2^1001029-1 is not prime. Res64: 2421C33D15EA123B Time : 0.0 sec. user=mdettweiler [2012-01-13 11:06:21] 999*2^1001029-1 is not prime. Res64: 19B875AFD540CCC5 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:07:00] 885*2^1001030-1 is not prime. Res64: B972B6379935C992 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:07:02] 613*2^1001031-1 is not prime. Res64: 835078BD48D8DCBE Time : 0.0 sec. user=mdettweiler [2012-01-13 11:07:51] 657*2^1001033-1 is not prime. Res64: 89D2813B6D8B4EF3 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:09:56] 705*2^1001031-1 is not prime. Res64: 59CD64161C4D9270 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:09:57] 709*2^1001031-1 is not prime. Res64: 1F79C4EEE8E3F49A Time : 0.0 sec. user=mdettweiler [2012-01-13 11:13:12] 889*2^1001033-1 is not prime. Res64: 49F0D56F0B2DEBEC Time : 0.0 sec. user=mdettweiler [2012-01-13 11:15:34] 755*2^1001034-1 is not prime. Res64: 38CC6AF94948AB19 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:20:55] 805*2^1001035-1 is not prime. Res64: A24D239D2D9E225E Time : 0.0 sec. user=mdettweiler [2012-01-13 11:23:16] 871*2^1001035-1 is not prime. Res64: B27F0764343DBC86 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:23:22] 721*2^1001033-1 is not prime. Res64: 3AF31363DF910EAB Time : 0.0 sec. user=mdettweiler [2012-01-13 11:23:22] 769*2^1001033-1 is not prime. Res64: 421A74FD25E84045 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:23:25] 773*2^1001026-1 is not prime. Res64: EF30B022DE2599A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:23:25] 777*2^1001026-1 is not prime. Res64: 3F25D49EA361B518 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:26:41] 705*2^1001034-1 is not prime. Res64: 0F3E7AA15C10862B Time : 0.0 sec. user=mdettweiler [2012-01-13 11:26:41] 717*2^1001034-1 is not prime. Res64: 82F1EB8AE9DD6708 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:28:20] 939*2^1001033-1 is not prime. Res64: 0C8DC82365E8A663 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:28:21] 955*2^1001033-1 is not prime. Res64: 7C5CB1B0386283E0 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:28:38] 925*2^1001035-1 is not prime. Res64: A5A583A6423AA832 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:29:43] 807*2^1001034-1 is not prime. Res64: 80FE3F9A3FB86B25 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:29:43] 715*2^1001035-1 is not prime. Res64: 30DD22FDDCDEA7EC Time : 0.0 sec. user=mdettweiler [2012-01-13 11:30:59] 939*2^1001035-1 is not prime. Res64: E713FC29D365B0E0 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:36:20] 765*2^1001037-1 is not prime. Res64: B216329C9163B875 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:38:40] 835*2^1001037-1 is not prime. Res64: E417820344FCCAD5 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:43:08] 813*2^1001036-1 is not prime. Res64: E57F938383476A13 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:43:08] 909*2^1001036-1 is not prime. Res64: 088B23AAC23D66AF Time : 0.0 sec. user=mdettweiler [2012-01-13 11:43:59] 895*2^1001037-1 is not prime. Res64: 85411D34E939D13A Time : 0.0 sec. user=mdettweiler [2012-01-13 11:46:22] 755*2^1001038-1 is not prime. Res64: 7EA95D0E5394CABE Time : 0.0 sec. user=mdettweiler [2012-01-13 11:46:29] 607*2^1001037-1 is not prime. Res64: 73792FADC54FDDFA Time : 0.0 sec. user=mdettweiler [2012-01-13 11:46:29] 685*2^1001037-1 is not prime. Res64: BF3A3878EB9AA8A4 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:46:39] 803*2^1001028-1 is not prime. Res64: 83A884E94D538630 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:46:39] 839*2^1001028-1 is not prime. Res64: 3EC22777DF925A1C Time : 0.0 sec. user=mdettweiler [2012-01-13 11:48:05] 699*2^1001037-1 is not prime. Res64: C25B372886961BB9 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:48:05] 727*2^1001037-1 is not prime. Res64: 9806F3C332807E51 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:49:29] 769*2^1001037-1 is not prime. Res64: D42071674CC250AA Time : 0.0 sec. user=mdettweiler [2012-01-13 11:49:29] 805*2^1001037-1 is not prime. Res64: E4C8F7B196B5C2E7 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:51:41] 891*2^1001038-1 is not prime. Res64: 9F70E4F3021A1B0C Time : 0.0 sec. user=mdettweiler [2012-01-13 11:55:51] 951*2^1001038-1 is not prime. Res64: 84CDEA6277768B9E Time : 0.0 sec. user=mdettweiler [2012-01-13 11:57:11] 765*2^1001029-1 is not prime. Res64: 119FD88D7AD793CB Time : 0.0 sec. user=mdettweiler [2012-01-13 11:57:12] 789*2^1001029-1 is not prime. Res64: E19F8EBAA181AE37 Time : 0.0 sec. user=mdettweiler [2012-01-13 11:59:22] 895*2^1001041-1 is not prime. Res64: 831C05E29499E514 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:02:48] 765*2^1001038-1 is not prime. Res64: 4FD53D28053E8946 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:02:49] 867*2^1001038-1 is not prime. Res64: 4C5E2E6633F145B5 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:03:31] 925*2^1001041-1 is not prime. Res64: 032FACCCEBFD39C6 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:06:13] 615*2^1001039-1 is not prime. Res64: 65066FECE61ECC36 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:06:14] 645*2^1001039-1 is not prime. Res64: 6D3B05020793E9D0 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:07:02] 917*2^1001042-1 is not prime. Res64: 7E4FBE02175F4C1F Time : 0.0 sec. user=mdettweiler [2012-01-13 12:07:49] 797*2^1001040-1 is not prime. Res64: F598C378D1A44519 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:07:49] 905*2^1001040-1 is not prime. Res64: 5BFF6DE57827233D Time : 0.0 sec. user=mdettweiler [2012-01-13 12:09:13] 615*2^1001041-1 is not prime. Res64: B282522E28AE8027 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:09:16] 639*2^1001041-1 is not prime. Res64: 2254A238B3DE2428 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:11:12] 619*2^1001043-1 is not prime. Res64: B1192E39807C8531 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:14:45] 765*2^1001043-1 is not prime. Res64: D720AAFD295E8A75 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:18:55] 749*2^1001044-1 is not prime. Res64: A92F3C5DB3518B8B Time : 0.0 sec. user=mdettweiler [2012-01-13 12:20:52] 639*2^1001032-1 is not prime. Res64: 0758199BAC670F43 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:20:53] 857*2^1001032-1 is not prime. Res64: 9BB26382041B57EB Time : 0.0 sec. user=mdettweiler [2012-01-13 12:22:28] 843*2^1001044-1 is not prime. Res64: 1FA979038E02A36B Time : 0.0 sec. user=mdettweiler [2012-01-13 12:24:52] 941*2^1001042-1 is not prime. Res64: 2CD2F4A4B12F4C62 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:24:52] 1001*2^1001042-1 is not prime. Res64: 07AC73D77C3464D2 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:26:07] 643*2^1001043-1 is not prime. Res64: 70785509B680426A Time : 0.0 sec. user=mdettweiler [2012-01-13 12:26:07] 745*2^1001043-1 is not prime. Res64: C063051202090E44 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:26:40] 897*2^1001044-1 is not prime. Res64: 9CB488E888F18D74 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:27:35] 823*2^1001043-1 is not prime. Res64: 9622EB90A49596CF Time : 0.0 sec. user=mdettweiler [2012-01-13 12:27:35] 891*2^1001043-1 is not prime. Res64: 89EB402FFB7D4929 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:31:20] 969*2^1001043-1 is not prime. Res64: 37C707C0583B89D8 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:31:20] 675*2^1001044-1 is not prime. Res64: 87D472C7B87BFA0A Time : 0.0 sec. user=mdettweiler [2012-01-13 12:31:57] 987*2^1001044-1 is not prime. Res64: 6D17E945C443A334 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:34:23] 825*2^1001045-1 is not prime. Res64: C31FF64ADAC41B65 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:39:41] 917*2^1001046-1 is not prime. Res64: E1B78DD5568FC3C4 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:42:06] 619*2^1001047-1 is not prime. Res64: 92D904281966540D Time : 0.0 sec. user=mdettweiler [2012-01-13 12:44:37] 607*2^1001045-1 is not prime. Res64: 7381A746DA131B47 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:44:37] 657*2^1001045-1 is not prime. Res64: 5ABB17B2272C5F99 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:45:50] 669*2^1001045-1 is not prime. Res64: 00D4E9B853DD5F4F Time : 0.0 sec. user=mdettweiler [2012-01-13 12:45:50] 819*2^1001045-1 is not prime. Res64: 1A2BE62A3A14306C Time : 0.0 sec. user=mdettweiler [2012-01-13 12:47:17] 861*2^1001045-1 is not prime. Res64: 10203D261D18D542 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:47:17] 915*2^1001045-1 is not prime. Res64: 6DE7FC86ADE064FA Time : 0.0 sec. user=mdettweiler [2012-01-13 12:47:25] 651*2^1001047-1 is not prime. Res64: BE4D2F5E5F788CCF Time : 0.0 sec. user=mdettweiler [2012-01-13 12:49:50] 685*2^1001047-1 is not prime. Res64: A20D956CA5264901 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:53:18] 985*2^1001045-1 is not prime. Res64: B653A57E882978BD Time : 0.0 sec. user=mdettweiler [2012-01-13 12:53:18] 783*2^1001046-1 is not prime. Res64: 11EE1661D4C450F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:55:07] 725*2^1001048-1 is not prime. Res64: D59EC4EA50DF5AE2 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:56:34] 935*2^1001036-1 is not prime. Res64: E3AA6A65C21D9988 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:56:34] 999*2^1001036-1 is not prime. Res64: 8A65F60007D4BA02 Time : 0.0 sec. user=mdettweiler [2012-01-13 12:57:31] 753*2^1001048-1 is not prime. Res64: D7628640FD16C7A4 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:02:48] 657*2^1001049-1 is not prime. Res64: 28FAF2142236CBB1 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:04:25] 819*2^1001047-1 is not prime. Res64: C886B9E7CFEC5224 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:04:25] 843*2^1001047-1 is not prime. Res64: 05AC0683E070A9B8 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:05:13] 727*2^1001049-1 is not prime. Res64: 67616861F7EA092D Time : 0.0 sec. user=mdettweiler [2012-01-13 13:05:42] 873*2^1001047-1 is not prime. Res64: D0A644C8BA088024 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:05:43] 885*2^1001047-1 is not prime. Res64: 425040F48AF3FF91 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:07:02] 659*2^1001048-1 is not prime. Res64: 177E10C86C5260B7 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:07:03] 713*2^1001048-1 is not prime. Res64: 557DBB8BDCFDE0C6 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:10:32] 765*2^1001049-1 is not prime. Res64: DFEF375D579AD0BF Time : 0.0 sec. user=mdettweiler [2012-01-13 13:11:25] 843*2^1001039-1 is not prime. Res64: D4293138CB2FFCAE Time : 0.0 sec. user=mdettweiler [2012-01-13 13:11:25] 623*2^1001040-1 is not prime. Res64: E0154F0E19860A10 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:13:03] 945*2^1001048-1 is not prime. Res64: 95EDA6E06D5582B8 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:13:04] 625*2^1001049-1 is not prime. Res64: 8AA68EC38A7833CA Time : 0.0 sec. user=mdettweiler [2012-01-13 13:14:41] 991*2^1001049-1 is not prime. Res64: FFE426A69F8617F6 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:19:00] 665*2^1001042-1 is not prime. Res64: 7C181C3FC6FA3841 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:19:00] 731*2^1001042-1 is not prime. Res64: 32BE22F059796552 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:20:01] 951*2^1001050-1 is not prime. Res64: BB6C8CE9277CC989 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:22:24] 635*2^1001052-1 is not prime. Res64: 6FDF0144C954C88E Time : 0.0 sec. user=mdettweiler [2012-01-13 13:24:10] 831*2^1001049-1 is not prime. Res64: BD01D327D7420307 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:24:10] 861*2^1001049-1 is not prime. Res64: 418218683A57A9A0 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:25:34] 657*2^1001050-1 is not prime. Res64: 0BA570AA3D1B83A5 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:25:34] 713*2^1001050-1 is not prime. Res64: BFA8EB9C9E3164DA Time : 0.0 sec. user=mdettweiler [2012-01-13 13:26:54] 777*2^1001050-1 is not prime. Res64: 5EC2BECCC03CF7DC Time : 0.0 sec. user=mdettweiler [2012-01-13 13:26:54] 831*2^1001050-1 is not prime. Res64: B6ACC9C8B552A88E Time : 0.0 sec. user=mdettweiler [2012-01-13 13:27:45] 725*2^1001052-1 is not prime. Res64: EA6C9A6741AC6DFD Time : 0.0 sec. user=mdettweiler [2012-01-13 13:30:07] 843*2^1001052-1 is not prime. Res64: B69DA395616D1E8F Time : 0.0 sec. user=mdettweiler [2012-01-13 13:32:50] 679*2^1001051-1 is not prime. Res64: 26981678CCA436A6 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:32:51] 733*2^1001051-1 is not prime. Res64: EEFD4417C88A67A5 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:35:27] 915*2^1001053-1 is not prime. Res64: 6EE9C3D3EFD25B97 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:37:51] 945*2^1001053-1 is not prime. Res64: E36A11F29B46FA22 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:43:10] 797*2^1001054-1 is not prime. Res64: 9B12D7F1DB03A23D Time : 0.0 sec. user=mdettweiler [2012-01-13 13:44:00] 887*2^1001052-1 is not prime. Res64: DCC2083C851D9F63 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:44:00] 923*2^1001052-1 is not prime. Res64: 0AEE959019322B58 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:44:29] 905*2^1001044-1 is not prime. Res64: 081EFB21EA6CA9E2 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:44:29] 929*2^1001044-1 is not prime. Res64: D048DD575724AFE4 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:45:22] 945*2^1001052-1 is not prime. Res64: 620918C58E4477B5 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:45:22] 619*2^1001053-1 is not prime. Res64: A46D5627A919247B Time : 0.0 sec. user=mdettweiler [2012-01-13 13:45:35] 827*2^1001054-1 is not prime. Res64: 52FF8F1DD2F2EE35 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:46:39] 835*2^1001053-1 is not prime. Res64: 2E2FC615BE57D1E0 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:46:39] 847*2^1001053-1 is not prime. Res64: 0A9A9C33EA24D2F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:50:52] 831*2^1001054-1 is not prime. Res64: F70AB234C73FADFF Time : 0.0 sec. user=mdettweiler [2012-01-13 13:53:15] 789*2^1001055-1 is not prime. Res64: EB87185628E20F32 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:54:52] 951*2^1001053-1 is not prime. Res64: EBFA60FC6C4CB954 Time : 0.0 sec. user=mdettweiler [2012-01-13 13:54:53] 705*2^1001054-1 is not prime. Res64: A3FB772E678043A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:00:17] 961*2^1001055-1 is not prime. Res64: DD37B0381A147D87 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:02:40] 963*2^1001055-1 is not prime. Res64: 7A922964B3CB9D0E Time : 0.0 sec. user=mdettweiler [2012-01-13 14:03:59] 851*2^1001054-1 is not prime. Res64: 938DF96F01D9D82E Time : 0.0 sec. user=mdettweiler [2012-01-13 14:04:00] 897*2^1001054-1 is not prime. Res64: 8AF83842427EAFFF Time : 0.0 sec. user=mdettweiler [2012-01-13 14:05:26] 609*2^1001055-1 is not prime. Res64: 758E3304136EAFDF Time : 0.0 sec. user=mdettweiler [2012-01-13 14:05:28] 663*2^1001055-1 is not prime. Res64: C91DCC8CAD7048E1 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:06:43] 873*2^1001055-1 is not prime. Res64: BB50F87F77598AC5 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:06:43] 895*2^1001055-1 is not prime. Res64: 5D4D9DC35B7EA484 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:08:00] 723*2^1001056-1 is not prime. Res64: 6A4FF7D239529748 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:10:23] 735*2^1001056-1 is not prime. Res64: 6AC5DD636D37C937 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:14:48] 663*2^1001056-1 is not prime. Res64: F25081428251FACF Time : 0.0 sec. user=mdettweiler [2012-01-13 14:14:50] 705*2^1001056-1 is not prime. Res64: 73DF87599D4D03AF Time : 0.0 sec. user=mdettweiler [2012-01-13 14:15:44] 869*2^1001056-1 is not prime. Res64: 9AE8436E55153261 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:18:07] 873*2^1001056-1 is not prime. Res64: 7122A1B1C27A161C Time : 0.0 sec. user=mdettweiler [2012-01-13 14:23:26] 631*2^1001057-1 is not prime. Res64: 859386D96A5976B3 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:24:03] 759*2^1001056-1 is not prime. Res64: 3489B818BB8A284D Time : 0.0 sec. user=mdettweiler [2012-01-13 14:24:04] 773*2^1001056-1 is not prime. Res64: 58059DA5CAF1692B Time : 0.0 sec. user=mdettweiler [2012-01-13 14:25:26] 779*2^1001056-1 is not prime. Res64: 240C00C32C1A4CD1 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:25:27] 807*2^1001056-1 is not prime. Res64: EACAE31C3681317E Time : 0.0 sec. user=mdettweiler [2012-01-13 14:25:47] 697*2^1001057-1 is not prime. Res64: CE8B8CFFDB4BD6D2 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:26:47] 833*2^1001056-1 is not prime. Res64: 95A8171202EBDB72 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:26:47] 855*2^1001056-1 is not prime. Res64: 7065D439B0BCE377 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:27:05] 661*2^1001049-1 is not prime. Res64: E9354C523597C89B Time : 0.0 sec. user=mdettweiler [2012-01-13 14:27:05] 667*2^1001049-1 is not prime. Res64: 23FED6BC62D70493 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:31:08] 715*2^1001057-1 is not prime. Res64: 01DED627DA90DA9B Time : 0.0 sec. user=mdettweiler [2012-01-13 14:33:29] 627*2^1001058-1 is not prime. Res64: 4FE1A9A7322E9E5A Time : 0.0 sec. user=mdettweiler [2012-01-13 14:36:49] 897*2^1001056-1 is not prime. Res64: 846E64AC090DABF4 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:36:49] 999*2^1001056-1 is not prime. Res64: C7CF5CD3C98E578F Time : 0.0 sec. user=mdettweiler [2012-01-13 14:38:52] 875*2^1001058-1 is not prime. Res64: 15F0EBDD816FA50F Time : 0.0 sec. user=mdettweiler [2012-01-13 14:41:05] 603*2^1001051-1 is not prime. Res64: 488075F5C415B0CD Time : 0.0 sec. user=mdettweiler [2012-01-13 14:41:05] 643*2^1001051-1 is not prime. Res64: 255A693017DF6B15 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:41:13] 945*2^1001058-1 is not prime. Res64: FF12F04D3933211E Time : 0.0 sec. user=mdettweiler [2012-01-13 14:43:50] 759*2^1001057-1 is not prime. Res64: 406B95148FCC4C0A Time : 0.0 sec. user=mdettweiler [2012-01-13 14:43:51] 889*2^1001057-1 is not prime. Res64: CE2969BF51A794E0 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:45:11] 945*2^1001057-1 is not prime. Res64: 15BB3C805156FDBA Time : 0.0 sec. user=mdettweiler [2012-01-13 14:45:12] 611*2^1001058-1 is not prime. Res64: A37A9B0D420A84FC Time : 0.0 sec. user=mdettweiler [2012-01-13 14:45:16] 923*2^1001054-1 is not prime. Res64: B65F8645C2869F13 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:45:17] 669*2^1001052-1 is not prime. Res64: 4443F0DED7232C7E Time : 0.0 sec. user=mdettweiler [2012-01-13 14:46:29] 683*2^1001058-1 is not prime. Res64: BFFC8C3EF6BD551A Time : 0.0 sec. user=mdettweiler [2012-01-13 14:46:30] 705*2^1001058-1 is not prime. Res64: F285BB30A6A105B9 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:46:35] 621*2^1001059-1 is not prime. Res64: 1954F00754201989 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:48:55] 843*2^1001059-1 is not prime. Res64: 9EA0DF1F9FC75176 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:50:10] 695*2^1001052-1 is not prime. Res64: C466B5BE489F5FFF Time : 0.0 sec. user=mdettweiler [2012-01-13 14:55:59] 959*2^1001060-1 is not prime. Res64: 77230BEF5032C934 Time : 0.0 sec. user=mdettweiler [2012-01-13 14:58:19] 963*2^1001060-1 is not prime. Res64: E436703A83E4F3DD Time : 0.0 sec. user=mdettweiler [2012-01-13 14:58:48] 1001*2^1001058-1 is not prime. Res64: 080FAB0FCEB1F90C Time : 0.0 sec. user=mdettweiler [2012-01-13 14:58:48] 601*2^1001059-1 is not prime. Res64: 735E980F1C77616B Time : 0.0 sec. user=mdettweiler [2012-01-13 15:03:40] 855*2^1001059-1 is not prime. Res64: BF0141EC516B5483 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:03:40] 679*2^1001061-1 is not prime. Res64: AEDD4E3C561FC2FD Time : 0.0 sec. user=mdettweiler [2012-01-13 15:03:40] 885*2^1001059-1 is not prime. Res64: 3F21E1927FED7A8A Time : 0.0 sec. user=mdettweiler [2012-01-13 15:04:55] 635*2^1001060-1 is not prime. Res64: 28C00168123FD3B8 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:04:56] 647*2^1001060-1 is not prime. Res64: 13B7BEDF67F9C9C4 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:06:01] 741*2^1001061-1 is not prime. Res64: 79C7A91014F9E917 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:06:20] 719*2^1001060-1 is not prime. Res64: DE55B469F74D3752 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:06:23] 753*2^1001060-1 is not prime. Res64: 273A3CDBA4CF3223 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:11:24] 819*2^1001061-1 is not prime. Res64: 1E466219A95CB05D Time : 0.0 sec. user=mdettweiler [2012-01-13 15:13:43] 623*2^1001062-1 is not prime. Res64: 81821568BACB3D17 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:18:37] 747*2^1001061-1 is not prime. Res64: CA24B3DDF148ED15 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:18:38] 817*2^1001061-1 is not prime. Res64: 66867DFC8A956D3A Time : 0.0 sec. user=mdettweiler [2012-01-13 15:19:08] 755*2^1001062-1 is not prime. Res64: A474E71E666A5FA2 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:21:27] 825*2^1001062-1 is not prime. Res64: 449960762DFFAC3F Time : 0.0 sec. user=mdettweiler [2012-01-13 15:23:26] 859*2^1001061-1 is not prime. Res64: 426385CC1D376B91 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:23:26] 907*2^1001061-1 is not prime. Res64: 069FE072DEDBC243 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:26:16] 677*2^1001062-1 is not prime. Res64: D692D84891425EBE Time : 0.0 sec. user=mdettweiler [2012-01-13 15:26:17] 723*2^1001062-1 is not prime. Res64: 2CBB8323DE377F6F Time : 0.0 sec. user=mdettweiler [2012-01-13 15:28:31] 957*2^1001062-1 is not prime. Res64: BB0272B73189E842 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:29:07] 991*2^1001061-1 is not prime. Res64: 3447A8D82123C213 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:29:07] 999*2^1001061-1 is not prime. Res64: CEF5BB58D058F12F Time : 0.0 sec. user=mdettweiler [2012-01-13 15:29:09] 703*2^1001063-1 is not prime. Res64: 3B7A79D44DA475CC Time : 0.0 sec. user=mdettweiler [2012-01-13 15:36:15] 725*2^1001064-1 is not prime. Res64: B3F49DA963AFD0C1 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:36:53] 789*2^1001064-1 is not prime. Res64: 2A86DC11267E2A56 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:38:26] 881*2^1001062-1 is not prime. Res64: D7E2270EB519648B Time : 0.0 sec. user=mdettweiler [2012-01-13 15:38:27] 917*2^1001062-1 is not prime. Res64: 504592B2AF15C592 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:43:59] 875*2^1001064-1 is not prime. Res64: BEBCF2C0ADB4061C Time : 0.0 sec. user=mdettweiler [2012-01-13 15:44:38] 903*2^1001064-1 is not prime. Res64: 4AE88B76D54C982C Time : 0.0 sec. user=mdettweiler [2012-01-13 15:45:27] 745*2^1001063-1 is not prime. Res64: 215990B7B90D9EAF Time : 0.0 sec. user=mdettweiler [2012-01-13 15:45:28] 973*2^1001063-1 is not prime. Res64: 610E6EDEB102BE7B Time : 0.0 sec. user=mdettweiler [2012-01-13 15:46:07] 609*2^1001064-1 is not prime. Res64: 5D8C46C3DD724515 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:46:08] 663*2^1001064-1 is not prime. Res64: 8B76555A35DAAF09 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:48:53] 737*2^1001064-1 is not prime. Res64: 3AEEFC23ADE374AF Time : 0.0 sec. user=mdettweiler [2012-01-13 15:48:54] 773*2^1001064-1 is not prime. Res64: A4D402FC622FE6A2 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:51:43] 687*2^1001065-1 is not prime. Res64: E792AD685EBC55AE Time : 0.0 sec. user=mdettweiler [2012-01-13 15:52:21] 691*2^1001065-1 is not prime. Res64: 96578F46EF12EC3C Time : 0.0 sec. user=mdettweiler [2012-01-13 15:58:13] 929*2^1001064-1 is not prime. Res64: 6BB04066B7E3587D Time : 0.0 sec. user=mdettweiler [2012-01-13 15:58:13] 607*2^1001065-1 is not prime. Res64: BB7435C298F62367 Time : 0.0 sec. user=mdettweiler [2012-01-13 15:59:26] 827*2^1001066-1 is not prime. Res64: AC12C9368208C19D Time : 0.0 sec. user=mdettweiler [2012-01-13 16:00:05] 911*2^1001066-1 is not prime. Res64: B7253C5976F81AE2 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:05:16] 717*2^1001065-1 is not prime. Res64: 43C828904330EA4B Time : 0.0 sec. user=mdettweiler [2012-01-13 16:05:18] 771*2^1001065-1 is not prime. Res64: D228B8DDB0ED7EDD Time : 0.0 sec. user=mdettweiler [2012-01-13 16:07:08] 801*2^1001067-1 is not prime. Res64: C94B574406A285D9 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:07:51] 805*2^1001067-1 is not prime. Res64: 4A99A18B5060F9AE Time : 0.0 sec. user=mdettweiler [2012-01-13 16:08:10] 937*2^1001065-1 is not prime. Res64: B145A68363422F41 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:08:11] 997*2^1001065-1 is not prime. Res64: 701B128ACACBFF93 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:08:42] 627*2^1001066-1 is not prime. Res64: 5AA93460E497435B Time : 0.0 sec. user=mdettweiler [2012-01-13 16:08:44] 633*2^1001066-1 is not prime. Res64: E1052552A3B60AFC Time : 0.0 sec. user=mdettweiler [2012-01-13 16:14:23] 995*2^1001060-1 is not prime. Res64: 8679B8133122969F Time : 0.0 sec. user=mdettweiler [2012-01-13 16:14:24] 649*2^1001061-1 is not prime. Res64: D12D437BB1C1D048 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:14:51] 879*2^1001067-1 is not prime. Res64: 03EA52FBB42B7855 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:15:35] 895*2^1001067-1 is not prime. Res64: 39004B96C5C17A5C Time : 0.0 sec. user=mdettweiler [2012-01-13 16:18:03] 615*2^1001067-1 is not prime. Res64: AE29CCD4DAD05A68 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:18:03] 619*2^1001067-1 is not prime. Res64: CCF277E3C88503B9 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:22:34] 847*2^1001069-1 is not prime. Res64: A28A8B405640C318 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:24:57] 967*2^1001069-1 is not prime. Res64: 9FF90EC6CD883901 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:25:11] 823*2^1001067-1 is not prime. Res64: 67141CCB0DC14E2B Time : 0.0 sec. user=mdettweiler [2012-01-13 16:25:12] 859*2^1001067-1 is not prime. Res64: D76F95469A102E39 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:28:45] 797*2^1001068-1 is not prime. Res64: 91859F938955AE5D Time : 0.0 sec. user=mdettweiler [2012-01-13 16:28:45] 615*2^1001069-1 is not prime. Res64: EF66004DD7EB7F87 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:30:16] 717*2^1001070-1 is not prime. Res64: 4CB63CF433EDEBAF Time : 0.0 sec. user=mdettweiler [2012-01-13 16:32:38] 725*2^1001070-1 is not prime. Res64: 06571D1AA334EA95 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:32:39] 951*2^1001067-1 is not prime. Res64: 393F1869608BA253 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:32:40] 963*2^1001067-1 is not prime. Res64: 6B6791B7195EBF70 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:37:57] 709*2^1001071-1 is not prime. Res64: E54351CA43D0EDF6 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:40:21] 829*2^1001071-1 is not prime. Res64: B4D47E28288A84BF Time : 0.0 sec. user=mdettweiler [2012-01-13 16:40:26] 987*2^1001069-1 is not prime. Res64: 172908C9D2599184 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:40:26] 627*2^1001070-1 is not prime. Res64: CE55352853314FC9 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:45:19] 755*2^1001070-1 is not prime. Res64: 93FBD2CD29900951 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:45:19] 765*2^1001070-1 is not prime. Res64: 4CD3A57CA3860832 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:45:39] 883*2^1001071-1 is not prime. Res64: 3228F2544F805400 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:48:02] 889*2^1001071-1 is not prime. Res64: F29362617535BC2E Time : 0.0 sec. user=mdettweiler [2012-01-13 16:48:57] 601*2^1001071-1 is not prime. Res64: 3B1931C218DB29DB Time : 0.0 sec. user=mdettweiler [2012-01-13 16:48:57] 625*2^1001071-1 is not prime. Res64: 18B322D4678C9E98 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:52:51] 841*2^1001071-1 is not prime. Res64: 1B9858DD0150752D Time : 0.0 sec. user=mdettweiler [2012-01-13 16:52:51] 871*2^1001071-1 is not prime. Res64: 4C6E398F28CAA925 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:53:20] 719*2^1001072-1 is not prime. Res64: 8E0828C76C32C2E2 Time : 0.0 sec. user=mdettweiler [2012-01-13 16:55:42] 735*2^1001072-1 is not prime. Res64: 7E8638B1AABFF523 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:01:01] 941*2^1001074-1 is not prime. Res64: 1CA41D0668577CBE Time : 0.0 sec. user=mdettweiler [2012-01-13 17:02:59] 933*2^1001071-1 is not prime. Res64: 751E9BB7C8DCC407 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:03:00] 975*2^1001071-1 is not prime. Res64: E2486C1AFB7123F2 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:05:02] 993*2^1001074-1 is not prime. Res64: 421A2A8E928229D5 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:06:55] 1001*2^1001054-1 is not prime. Res64: 46441EFFAEC8E7EB Time : 0.0 sec. user=mdettweiler [2012-01-13 17:07:55] 999*2^1001071-1 is not prime. Res64: 3917682C795E6270 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:07:57] 677*2^1001072-1 is not prime. Res64: 9CAC3EC678D11C29 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:08:46] 609*2^1001075-1 is not prime. Res64: BD5AD4B771386EF3 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:09:10] 843*2^1001072-1 is not prime. Res64: 5ECC3F2FA0A6476D Time : 0.0 sec. user=mdettweiler [2012-01-13 17:09:10] 915*2^1001073-1 is not prime. Res64: 146F1519714B3AB7 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:12:45] 735*2^1001075-1 is not prime. Res64: FDE842604C57DACE Time : 0.0 sec. user=mdettweiler [2012-01-13 17:13:41] 855*2^1001074-1 is not prime. Res64: D445AF39365BA258 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:13:42] 891*2^1001074-1 is not prime. Res64: E5C722170627C9FC Time : 0.0 sec. user=mdettweiler [2012-01-13 17:16:29] 873*2^1001076-1 is not prime. Res64: E8A2D169085A4EED Time : 0.0 sec. user=mdettweiler [2012-01-13 17:20:29] 727*2^1001077-1 is not prime. Res64: E4915BCB412DB336 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:24:12] 939*2^1001077-1 is not prime. Res64: 3A6376CAA3E4F361 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:29:46] 957*2^1001077-1 is not prime. Res64: B8C8E7C059343835 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:30:49] 619*2^1001075-1 is not prime. Res64: A7D293E643F4500E Time : 0.0 sec. user=mdettweiler [2012-01-13 17:30:49] 633*2^1001075-1 is not prime. Res64: D5C652359C7B9D2E Time : 0.0 sec. user=mdettweiler [2012-01-13 17:33:28] 961*2^1001077-1 is not prime. Res64: C0AA4348B34B668E Time : 0.0 sec. user=mdettweiler [2012-01-13 17:33:33] 729*2^1001069-1 is not prime. Res64: D0893E066B2D2010 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:33:33] 829*2^1001069-1 is not prime. Res64: 0766AF6F54C354EF Time : 0.0 sec. user=mdettweiler [2012-01-13 17:35:30] 777*2^1001058-1 is not prime. Res64: 75C064CFD94956E6 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:35:30] 843*2^1001058-1 is not prime. Res64: 0910E88A9388F184 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:35:32] 705*2^1001076-1 is not prime. Res64: F74F97154BEE2165 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:35:32] 707*2^1001076-1 is not prime. Res64: 589CC132913A9DB7 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:37:50] 875*2^1001076-1 is not prime. Res64: B6233DB5CDD52185 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:37:50] 969*2^1001076-1 is not prime. Res64: F3FEFD6850166A22 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:39:04] 997*2^1001077-1 is not prime. Res64: 239CA04C90896F7E Time : 0.0 sec. user=mdettweiler [2012-01-13 17:40:24] 741*2^1001077-1 is not prime. Res64: CBF8301DA0783B4F Time : 0.0 sec. user=mdettweiler [2012-01-13 17:40:24] 751*2^1001077-1 is not prime. Res64: D615DA5B448E3CE8 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:41:09] 665*2^1001078-1 is not prime. Res64: 37764863BBF16593 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:43:02] 691*2^1001059-1 is not prime. Res64: 3415DCE37FFB8EFF Time : 0.0 sec. user=mdettweiler [2012-01-13 17:46:44] 743*2^1001080-1 is not prime. Res64: 4A79B5212FD6FB86 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:47:34] 769*2^1001059-1 is not prime. Res64: C9971E6FCA656850 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:48:50] 601*2^1001081-1 is not prime. Res64: BA0D2CF39B288CAD Time : 0.0 sec. user=mdettweiler [2012-01-13 17:53:26] 641*2^1001078-1 is not prime. Res64: E819679A5B6AA693 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:53:26] 657*2^1001078-1 is not prime. Res64: 28EA71265CEB5D2D Time : 0.0 sec. user=mdettweiler [2012-01-13 17:54:27] 645*2^1001081-1 is not prime. Res64: 3BF65915780029B4 Time : 0.0 sec. user=mdettweiler [2012-01-13 17:56:32] 727*2^1001081-1 is not prime. Res64: 60C373BE64B69A3E Time : 0.0 sec. user=mdettweiler [2012-01-13 18:00:29] 945*2^1001078-1 is not prime. Res64: B536F2BC8BE38D9A Time : 0.0 sec. user=mdettweiler [2012-01-13 18:00:34] 843*2^1001079-1 is not prime. Res64: 0CF1EDF45A96BE8E Time : 0.0 sec. user=mdettweiler [2012-01-13 18:02:10] 889*2^1001081-1 is not prime. Res64: 89CE2E66FFD63BC9 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:04:13] 901*2^1001081-1 is not prime. Res64: 57C467F0CA3DBDFE Time : 0.0 sec. user=mdettweiler [2012-01-13 18:04:45] 999*2^1001079-1 is not prime. Res64: 10E8EC2409C766CF Time : 0.0 sec. user=mdettweiler [2012-01-13 18:04:46] 665*2^1001080-1 is not prime. Res64: 154DDA8D0BEE117A Time : 0.0 sec. user=mdettweiler [2012-01-13 18:08:05] 759*2^1001080-1 is not prime. Res64: F86D85CF131EF2CE Time : 0.0 sec. user=mdettweiler [2012-01-13 18:08:06] 983*2^1001080-1 is not prime. Res64: 5BB1E00972AB1668 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:11:29] 955*2^1001081-1 is not prime. Res64: 92B1322FA125729F Time : 0.0 sec. user=mdettweiler [2012-01-13 18:11:55] 651*2^1001082-1 is not prime. Res64: E89B419BE4DE5637 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:17:36] 735*2^1001081-1 is not prime. Res64: 5DCD83E97E20DB62 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:17:37] 745*2^1001081-1 is not prime. Res64: 711CC613316044DA Time : 0.0 sec. user=mdettweiler [2012-01-13 18:19:14] 619*2^1001083-1 is not prime. Res64: 64ED4FAAABA4018B Time : 0.0 sec. user=mdettweiler [2012-01-13 18:19:41] 625*2^1001083-1 is not prime. Res64: 8B9B833C9BAC4BEB Time : 0.0 sec. user=mdettweiler [2012-01-13 18:21:17] 909*2^1001081-1 is not prime. Res64: F8CCAB6ACF4246B9 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:21:18] 939*2^1001081-1 is not prime. Res64: F6A6A566A1BAF066 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:26:56] 741*2^1001083-1 is not prime. Res64: 4184A95B2A5F943F Time : 0.0 sec. user=mdettweiler [2012-01-13 18:27:01] 725*2^1001082-1 is not prime. Res64: A3A0BD1C24B4F964 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:27:02] 947*2^1001082-1 is not prime. Res64: CD33716ED033ABED Time : 0.0 sec. user=mdettweiler [2012-01-13 18:27:25] 813*2^1001083-1 is not prime. Res64: 3B814588C61FF2F7 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:32:31] 951*2^1001082-1 is not prime. Res64: 9D6C5683DCD1D79E Time : 0.0 sec. user=mdettweiler [2012-01-13 18:32:32] 977*2^1001082-1 is not prime. Res64: A4E34EE394CE2B2D Time : 0.0 sec. user=mdettweiler [2012-01-13 18:32:44] 685*2^1001081-1 is not prime. Res64: 9D3561942194983A Time : 0.0 sec. user=mdettweiler [2012-01-13 18:32:45] 693*2^1001078-1 is not prime. Res64: FB7C01863281273D Time : 0.0 sec. user=mdettweiler [2012-01-13 18:34:44] 617*2^1001084-1 is not prime. Res64: CA87B4A3CD2754BE Time : 0.0 sec. user=mdettweiler [2012-01-13 18:35:17] 935*2^1001084-1 is not prime. Res64: 09E6090F6EF0BFB5 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:37:26] 679*2^1001083-1 is not prime. Res64: 6F91D4E78283B781 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:37:26] 685*2^1001083-1 is not prime. Res64: BF415DA8149A95DE Time : 0.0 sec. user=mdettweiler [2012-01-13 18:40:58] 829*2^1001083-1 is not prime. Res64: 37CB78CCF2EE8549 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:40:58] 939*2^1001083-1 is not prime. Res64: C465B5E7966CF5CD Time : 0.0 sec. user=mdettweiler [2012-01-13 18:42:26] 639*2^1001085-1 is not prime. Res64: 7D51F9A64726027B Time : 0.0 sec. user=mdettweiler [2012-01-13 18:42:58] 657*2^1001085-1 is not prime. Res64: 93160EA99C392749 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:46:46] 675*2^1001084-1 is not prime. Res64: 4D51DB6F491EA4F5 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:46:46] 897*2^1001084-1 is not prime. Res64: B0772F80A99E0D6E Time : 0.0 sec. user=mdettweiler [2012-01-13 18:50:07] 611*2^1001086-1 is not prime. Res64: 03B92484E0174464 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:50:40] 617*2^1001086-1 is not prime. Res64: C122B23D49F2C6CC Time : 0.0 sec. user=mdettweiler [2012-01-13 18:52:13] 601*2^1001085-1 is not prime. Res64: 3071CA9D3E12FD3E Time : 0.0 sec. user=mdettweiler [2012-01-13 18:52:13] 627*2^1001085-1 is not prime. Res64: 99AF79B4C636E140 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:54:55] 773*2^1001078-1 is not prime. Res64: A64846A348F7DE99 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:57:06] 847*2^1001085-1 is not prime. Res64: 0FA1EB2A2F6F8F8C Time : 0.0 sec. user=mdettweiler [2012-01-13 18:57:07] 867*2^1001085-1 is not prime. Res64: 83AD9E4957A55D14 Time : 0.0 sec. user=mdettweiler [2012-01-13 18:57:50] 723*2^1001086-1 is not prime. Res64: 0453DA040BC4E43B Time : 0.0 sec. user=mdettweiler [2012-01-13 18:58:23] 813*2^1001086-1 is not prime. Res64: 6F3EB5E96E58DC93 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:02:57] 919*2^1001085-1 is not prime. Res64: D8321DDA4E1345B9 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:02:59] 969*2^1001085-1 is not prime. Res64: C562EF193DBC9795 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:05:32] 813*2^1001087-1 is not prime. Res64: 942BB303DDB72984 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:06:05] 883*2^1001087-1 is not prime. Res64: 3A2DD014EAA1382F Time : 0.0 sec. user=mdettweiler [2012-01-13 19:06:24] 653*2^1001086-1 is not prime. Res64: D9893324D7197EF8 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:06:26] 713*2^1001086-1 is not prime. Res64: 3448A3AF18589D2D Time : 0.0 sec. user=mdettweiler [2012-01-13 19:11:53] 911*2^1001086-1 is not prime. Res64: 244DC689B075A3EA Time : 0.0 sec. user=mdettweiler [2012-01-13 19:11:54] 917*2^1001086-1 is not prime. Res64: 25222984A6ED2028 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:13:15] 669*2^1001088-1 is not prime. Res64: 21F963480E5CBC76 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:13:46] 683*2^1001088-1 is not prime. Res64: 83EAE4F6222F6F81 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:16:46] 693*2^1001087-1 is not prime. Res64: EE7F2E8C346AEFA6 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:16:47] 729*2^1001087-1 is not prime. Res64: 03D7D51C75B26FB9 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:17:56] 711*2^1001081-1 is not prime. Res64: BD3453B270251B14 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:21:02] 935*2^1001088-1 is not prime. Res64: AF8811A6B41BADC4 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:22:38] 901*2^1001087-1 is not prime. Res64: 5A3F20F2DEDCA257 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:22:39] 931*2^1001087-1 is not prime. Res64: 1BDC4297C1B09DEC Time : 0.0 sec. user=mdettweiler [2012-01-13 19:23:12] 999*2^1001088-1 is not prime. Res64: B7F78FFCFA54E2D1 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:24:06] 823*2^1001075-1 is not prime. Res64: C6DE8C7E9DBF6A84 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:24:06] 913*2^1001075-1 is not prime. Res64: 61852EA3C4CDA1BD Time : 0.0 sec. user=mdettweiler [2012-01-13 19:26:13] 689*2^1001088-1 is not prime. Res64: 6A5919D9204B5121 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:26:13] 765*2^1001088-1 is not prime. Res64: 951A9851961A8C30 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:28:43] 633*2^1001090-1 is not prime. Res64: 86E139FC9D6D525D Time : 0.0 sec. user=mdettweiler [2012-01-13 19:30:53] 851*2^1001090-1 is not prime. Res64: B4DEB6249492A4BE Time : 0.0 sec. user=mdettweiler [2012-01-13 19:31:42] 819*2^1001088-1 is not prime. Res64: 8CFB7C08996588A9 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:31:42] 905*2^1001088-1 is not prime. Res64: E7549568FE6ED388 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:36:26] 769*2^1001091-1 is not prime. Res64: 29E7FFBDCD3D4552 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:36:34] 681*2^1001089-1 is not prime. Res64: AC744456945AE185 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:36:35] 729*2^1001089-1 is not prime. Res64: 9DC3C7B04B54DB87 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:38:37] 871*2^1001091-1 is not prime. Res64: C07050AE638595C3 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:42:52] 665*2^1001090-1 is not prime. Res64: 4F2B40A77ACCEA3B Time : 0.0 sec. user=mdettweiler [2012-01-13 19:42:52] 767*2^1001090-1 is not prime. Res64: 0180B40C2BDBE62B Time : 0.0 sec. user=mdettweiler [2012-01-13 19:44:09] 819*2^1001092-1 is not prime. Res64: 144F90B8AE1ECA27 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:46:18] 627*2^1001093-1 is not prime. Res64: ACB3A31A03BA8522 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:47:12] 723*2^1001091-1 is not prime. Res64: E8CBA0D2B5A0FBC6 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:47:13] 735*2^1001091-1 is not prime. Res64: 689D7483FFFB9A3D Time : 0.0 sec. user=mdettweiler [2012-01-13 19:51:50] 871*2^1001093-1 is not prime. Res64: E6E543FF65A49D9F Time : 0.0 sec. user=mdettweiler [2012-01-13 19:52:20] 827*2^1001078-1 is not prime. Res64: 0E1644DCC14F6AB3 Time : 0.0 sec. user=mdettweiler [2012-01-13 19:52:20] 897*2^1001078-1 is not prime. Res64: DBD6BBE24629815C Time : 0.0 sec. user=mdettweiler [2012-01-13 19:52:59] 629*2^1001092-1 is not prime. Res64: 17DFCE210A32054A Time : 0.0 sec. user=mdettweiler [2012-01-13 19:52:59] 803*2^1001092-1 is not prime. Res64: 7C21E4386F23FACB Time : 0.0 sec. user=mdettweiler [2012-01-13 20:00:37] 995*2^1001092-1 is not prime. Res64: E13712A58EEFE862 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:00:37] 607*2^1001093-1 is not prime. Res64: 9B10E5A919F2DE19 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:05:05] 657*2^1001093-1 is not prime. Res64: 6AA25917844BC29F Time : 0.0 sec. user=mdettweiler [2012-01-13 20:05:06] 859*2^1001093-1 is not prime. Res64: FD37387C72B1884F Time : 0.0 sec. user=mdettweiler [2012-01-13 20:08:17] 663*2^1001094-1 is not prime. Res64: 951948760C49A9C9 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:08:18] 681*2^1001094-1 is not prime. Res64: E3EB894388D7FC6D Time : 0.0 sec. user=mdettweiler [2012-01-13 20:14:07] 615*2^1001087-1 is not prime. Res64: 66EF4344B047CC92 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:14:08] 645*2^1001087-1 is not prime. Res64: B7879FE005FCD355 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:16:31] 891*2^1001094-1 is not prime. Res64: 14B59E776B38DDF1 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:16:31] 993*2^1001094-1 is not prime. Res64: 2F0FE42A4BF84007 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:20:57] 663*2^1001095-1 is not prime. Res64: E725DBC4941B7003 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:20:58] 819*2^1001095-1 is not prime. Res64: 66FCB0446433441D Time : 0.0 sec. user=mdettweiler [2012-01-13 20:25:08] 843*2^1001095-1 is not prime. Res64: 61CB61507008B47C Time : 0.0 sec. user=mdettweiler [2012-01-13 20:25:08] 657*2^1001096-1 is not prime. Res64: 22E74671CF495BA9 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:28:18] 755*2^1001096-1 is not prime. Res64: 5846DC7E69F6FAB3 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:28:18] 917*2^1001096-1 is not prime. Res64: 92C737083EFF4841 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:36:42] 765*2^1001097-1 is not prime. Res64: AC84CD199BBB528F Time : 0.0 sec. user=mdettweiler [2012-01-13 20:36:42] 837*2^1001097-1 is not prime. Res64: 890F2005E8C01126 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:39:10] 811*2^1001089-1 is not prime. Res64: 21998E9AF0DAE75F Time : 0.0 sec. user=mdettweiler [2012-01-13 20:39:10] 831*2^1001089-1 is not prime. Res64: 4B0A0BAF05A4B44A Time : 0.0 sec. user=mdettweiler [2012-01-13 20:43:23] 909*2^1001097-1 is not prime. Res64: F2D4620CAE6E00F0 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:43:23] 985*2^1001097-1 is not prime. Res64: 61A1ABA1F11A13E4 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:44:45] 927*2^1001090-1 is not prime. Res64: F12F47108AD6E926 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:44:46] 609*2^1001091-1 is not prime. Res64: FE4FDD680DEC1CC6 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:45:28] 801*2^1001098-1 is not prime. Res64: 2F23C310FB580564 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:45:28] 825*2^1001098-1 is not prime. Res64: 219315C7DE26529D Time : 0.0 sec. user=mdettweiler [2012-01-13 20:48:46] 885*2^1001098-1 is not prime. Res64: 4C8A85E815B98C16 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:48:46] 911*2^1001098-1 is not prime. Res64: 983D9727DF5026AD Time : 0.0 sec. user=mdettweiler [2012-01-13 20:59:38] 987*2^1001098-1 is not prime. Res64: 5E03FF55E0189220 Time : 0.0 sec. user=mdettweiler [2012-01-13 20:59:38] 663*2^1001099-1 is not prime. Res64: A74A72473602B524 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:05:51] 753*2^1001100-1 is not prime. Res64: E69CDE694D557AA9 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:05:53] 773*2^1001100-1 is not prime. Res64: AD171433F2CE43A8 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:06:23] 813*2^1001099-1 is not prime. Res64: 0758CD79A02FE647 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:06:24] 991*2^1001099-1 is not prime. Res64: 6A35AC9469616591 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:08:55] 797*2^1001100-1 is not prime. Res64: 1D0F5C5154438992 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:08:55] 915*2^1001100-1 is not prime. Res64: D6946A972C9B172F Time : 0.0 sec. user=mdettweiler [2012-01-13 21:15:03] 851*2^1001094-1 is not prime. Res64: DD809A865EAF6447 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:15:05] 863*2^1001094-1 is not prime. Res64: 09A961CFEED58311 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:22:01] 987*2^1001100-1 is not prime. Res64: 80A5F8EE089A356B Time : 0.0 sec. user=mdettweiler [2012-01-13 21:22:02] 639*2^1001101-1 is not prime. Res64: 9017C3FFCAA2E96F Time : 0.0 sec. user=mdettweiler [2012-01-13 21:26:27] 825*2^1001102-1 is not prime. Res64: 0200ABB75526F243 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:26:28] 857*2^1001102-1 is not prime. Res64: 2A7E9356EDA12C5E Time : 0.0 sec. user=mdettweiler [2012-01-13 21:28:19] 757*2^1001101-1 is not prime. Res64: 9C6C15C2D06A1B25 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:28:19] 951*2^1001101-1 is not prime. Res64: 8373F106F165151A Time : 0.0 sec. user=mdettweiler [2012-01-13 21:33:20] 953*2^1001102-1 is not prime. Res64: 065991E4FDE51DCC Time : 0.0 sec. user=mdettweiler [2012-01-13 21:33:21] 977*2^1001102-1 is not prime. Res64: C2F4E6A0568B96A2 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:39:14] 939*2^1001093-1 is not prime. Res64: A9E6F5576D36DF8B Time : 0.0 sec. user=mdettweiler [2012-01-13 21:41:45] 663*2^1001103-1 is not prime. Res64: CC894C79B02E4552 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:41:45] 709*2^1001103-1 is not prime. Res64: 7A5EA47C772DBF0A Time : 0.0 sec. user=mdettweiler [2012-01-13 21:44:44] 707*2^1001094-1 is not prime. Res64: CAC55F32030E5F2D Time : 0.0 sec. user=mdettweiler [2012-01-13 21:46:23] 783*2^1001103-1 is not prime. Res64: 9F36B5A85A65785D Time : 0.0 sec. user=mdettweiler [2012-01-13 21:46:23] 861*2^1001103-1 is not prime. Res64: 448310DCEB784A8D Time : 0.0 sec. user=mdettweiler [2012-01-13 21:46:56] 899*2^1001104-1 is not prime. Res64: 601B1524AF1CE9E3 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:48:22] 873*2^1001103-1 is not prime. Res64: 88A6660B7797BD8B Time : 0.0 sec. user=mdettweiler [2012-01-13 21:48:23] 891*2^1001103-1 is not prime. Res64: A332BED26263ACAF Time : 0.0 sec. user=mdettweiler [2012-01-13 21:52:26] 651*2^1001105-1 is not prime. Res64: 00A546DA631635C5 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:54:11] 895*2^1001103-1 is not prime. Res64: 71A51EC2DABB3B2B Time : 0.0 sec. user=mdettweiler [2012-01-13 21:54:11] 887*2^1001104-1 is not prime. Res64: BE38FA663DD454A6 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:54:37] 741*2^1001105-1 is not prime. Res64: BF68EF807CDE1720 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:54:46] 983*2^1001096-1 is not prime. Res64: 8CC50AB4CE05E079 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:54:46] 999*2^1001096-1 is not prime. Res64: E6410470DA5AED4B Time : 0.0 sec. user=mdettweiler [2012-01-13 21:59:45] 733*2^1001099-1 is not prime. Res64: 394E30CF7BB572C3 Time : 0.0 sec. user=mdettweiler [2012-01-13 21:59:45] 799*2^1001099-1 is not prime. Res64: 4847D57014C5F523 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:00:05] 755*2^1001106-1 is not prime. Res64: 5C7A9EEB5979AF08 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:02:15] 629*2^1001108-1 is not prime. Res64: 0730171838486DF6 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:04:30] 909*2^1001104-1 is not prime. Res64: FF997E574FAC0075 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:04:31] 959*2^1001104-1 is not prime. Res64: 26C1C2E585ED8FE5 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:06:41] 657*2^1001105-1 is not prime. Res64: 62560B7D2B454326 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:06:43] 717*2^1001105-1 is not prime. Res64: 30B3A6D2F77668B2 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:07:52] 709*2^1001109-1 is not prime. Res64: A5D47B1C64A00AAB Time : 0.0 sec. user=mdettweiler [2012-01-13 22:08:32] 909*2^1001105-1 is not prime. Res64: 33DF3CDDB45EF0E4 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:08:33] 915*2^1001105-1 is not prime. Res64: 64939DC2E1842ED3 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:09:54] 787*2^1001109-1 is not prime. Res64: CA831C40573DE860 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:15:04] 999*2^1001099-1 is not prime. Res64: E7408797CE3B2814 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:15:07] 707*2^1001100-1 is not prime. Res64: A5C4FD92164BBEBD Time : 0.0 sec. user=mdettweiler [2012-01-13 22:15:30] 731*2^1001110-1 is not prime. Res64: FF9B69525997EEC9 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:16:09] 685*2^1001107-1 is not prime. Res64: B8854054AF79C651 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:16:11] 945*2^1001107-1 is not prime. Res64: ED416264E179D998 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:19:13] 951*2^1001110-1 is not prime. Res64: F1023D42242997A6 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:23:12] 735*2^1001111-1 is not prime. Res64: ED7F6184346858DC Time : 0.0 sec. user=mdettweiler [2012-01-13 22:24:20] 847*2^1001109-1 is not prime. Res64: 6FED7A2C33C2EAD1 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:24:20] 861*2^1001109-1 is not prime. Res64: BC618BC968A4D27E Time : 0.0 sec. user=mdettweiler [2012-01-13 22:26:49] 939*2^1001111-1 is not prime. Res64: F950B4F343F2E4C4 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:28:15] 761*2^1001110-1 is not prime. Res64: C89049CF581D536B Time : 0.0 sec. user=mdettweiler [2012-01-13 22:28:15] 827*2^1001110-1 is not prime. Res64: D5253462F224B266 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:28:34] 949*2^1001109-1 is not prime. Res64: 98B0927C8B2FC62F Time : 0.0 sec. user=mdettweiler [2012-01-13 22:28:35] 651*2^1001110-1 is not prime. Res64: 843B72FEF0BF3D16 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:32:29] 999*2^1001111-1 is not prime. Res64: C2270B9C0E58197C Time : 0.0 sec. user=mdettweiler [2012-01-13 22:34:25] 623*2^1001112-1 is not prime. Res64: 8CC87671F56C39D7 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:35:53] 745*2^1001111-1 is not prime. Res64: F494D839F064B6C8 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:35:54] 813*2^1001111-1 is not prime. Res64: 48E51E7350EBE0B8 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:40:05] 625*2^1001113-1 is not prime. Res64: 8DAD9B843AE8E83F Time : 0.0 sec. user=mdettweiler [2012-01-13 22:42:01] 649*2^1001113-1 is not prime. Res64: 447DA39324D37445 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:44:01] 605*2^1001112-1 is not prime. Res64: CAB5D93ED0807BF2 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:44:02] 615*2^1001112-1 is not prime. Res64: DD83664EB08BE0F1 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:46:21] 987*2^1001102-1 is not prime. Res64: 92B42AA2C0FD3DB0 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:46:21] 615*2^1001103-1 is not prime. Res64: E6D88A6B69BEE25E Time : 0.0 sec. user=mdettweiler [2012-01-13 22:47:40] 919*2^1001113-1 is not prime. Res64: 91B56447C9FF631A Time : 0.0 sec. user=mdettweiler [2012-01-13 22:47:57] 629*2^1001112-1 is not prime. Res64: 3CCBED9AE416E5C7 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:47:57] 633*2^1001112-1 is not prime. Res64: 8F251AD36C54B634 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:48:13] 669*2^1001112-1 is not prime. Res64: 67D8AF91FE43D724 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:48:14] 699*2^1001112-1 is not prime. Res64: D6C0E0E69CC044D7 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:51:16] 999*2^1001113-1 is not prime. Res64: 8022B5CF7E1EED5B Time : 0.0 sec. user=mdettweiler [2012-01-13 22:55:37] 685*2^1001113-1 is not prime. Res64: 39B56BA6284A17A0 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:55:37] 811*2^1001113-1 is not prime. Res64: 88642B17DD26214D Time : 0.0 sec. user=mdettweiler [2012-01-13 22:56:58] 971*2^1001114-1 is not prime. Res64: A4F05C71B9E977F3 Time : 0.0 sec. user=mdettweiler [2012-01-13 22:58:52] 755*2^1001116-1 is not prime. Res64: B8520D13C39E2491 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:03:48] 615*2^1001114-1 is not prime. Res64: DA531635EEA138F6 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:03:50] 683*2^1001114-1 is not prime. Res64: CFFF7C5995FDE8DC Time : 0.0 sec. user=mdettweiler [2012-01-13 23:04:36] 631*2^1001117-1 is not prime. Res64: 9DF27A9D9AD0C6FA Time : 0.0 sec. user=mdettweiler [2012-01-13 23:06:29] 649*2^1001117-1 is not prime. Res64: 1705BF0AD73592C6 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:07:38] 669*2^1001115-1 is not prime. Res64: 20B01BB1264C1F25 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:07:40] 699*2^1001115-1 is not prime. Res64: 2492DC5C2AC283A3 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:07:56] 795*2^1001115-1 is not prime. Res64: EE36ED4885F914F6 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:07:58] 805*2^1001115-1 is not prime. Res64: 8D97DE18F44B9190 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:12:12] 829*2^1001117-1 is not prime. Res64: 8300996A08B543F4 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:14:36] 777*2^1001108-1 is not prime. Res64: ED90358C1329AAB6 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:14:37] 837*2^1001108-1 is not prime. Res64: BB800239C8DFFE55 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:15:49] 955*2^1001117-1 is not prime. Res64: F9A85DC8E5E5FA66 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:17:35] 939*2^1001116-1 is not prime. Res64: 309EE89FEE34F16D Time : 0.0 sec. user=mdettweiler [2012-01-13 23:17:36] 989*2^1001116-1 is not prime. Res64: 5813DF00DD5C0B41 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:19:50] 921*2^1001118-1 is not prime. Res64: 9AFB37547F75A950 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:23:25] 885*2^1001119-1 is not prime. Res64: 21D94F2C9CE3E405 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:23:36] 691*2^1001117-1 is not prime. Res64: F12118BA25F37AF7 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:23:37] 819*2^1001117-1 is not prime. Res64: 85BCE1D004F7F802 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:27:24] 605*2^1001118-1 is not prime. Res64: D057CE3B4967B7DE Time : 0.0 sec. user=mdettweiler [2012-01-13 23:27:25] 651*2^1001118-1 is not prime. Res64: 4501693FB60720E8 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:27:25] 635*2^1001120-1 is not prime. Res64: DAA60EDDAB0657AF Time : 0.0 sec. user=mdettweiler [2012-01-13 23:27:45] 663*2^1001118-1 is not prime. Res64: A0993B8D1B468B9F Time : 0.0 sec. user=mdettweiler [2012-01-13 23:27:46] 755*2^1001118-1 is not prime. Res64: EA4D93417E82F66E Time : 0.0 sec. user=mdettweiler [2012-01-13 23:29:57] 923*2^1001108-1 is not prime. Res64: E5F5D71A9B58DF88 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:29:57] 957*2^1001108-1 is not prime. Res64: 607842ECC04EEB4F Time : 0.0 sec. user=mdettweiler [2012-01-13 23:31:16] 675*2^1001120-1 is not prime. Res64: 2B63AD210FC3B405 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:35:51] 917*2^1001120-1 is not prime. Res64: 98736EB64BBAA749 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:36:55] 643*2^1001111-1 is not prime. Res64: E19A7E86F71471B5 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:36:55] 705*2^1001111-1 is not prime. Res64: 9B80BFD2FECDF209 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:39:27] 709*2^1001121-1 is not prime. Res64: 519EB82F425FCA7D Time : 0.0 sec. user=mdettweiler [2012-01-13 23:39:41] 919*2^1001119-1 is not prime. Res64: 92BE379DE8869EBC Time : 0.0 sec. user=mdettweiler [2012-01-13 23:39:42] 979*2^1001119-1 is not prime. Res64: 532A260302693A90 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:43:28] 653*2^1001122-1 is not prime. Res64: 07931EEE6412B65C Time : 0.0 sec. user=mdettweiler [2012-01-13 23:43:38] 677*2^1001120-1 is not prime. Res64: 667003C240D87D34 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:43:39] 713*2^1001120-1 is not prime. Res64: 81BE67AFA2C58ECB Time : 0.0 sec. user=mdettweiler [2012-01-13 23:47:04] 831*2^1001122-1 is not prime. Res64: AE6B3374D0A6EC88 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:47:26] 857*2^1001120-1 is not prime. Res64: 70132F8AF6D27102 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:47:26] 915*2^1001120-1 is not prime. Res64: 6793D9B3D246ADB5 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:52:04] 957*2^1001120-1 is not prime. Res64: 5A44A5A8E1C83ACC Time : 0.0 sec. user=mdettweiler [2012-01-13 23:52:04] 977*2^1001120-1 is not prime. Res64: CDD993315F87DA3F Time : 0.0 sec. user=mdettweiler [2012-01-13 23:52:51] 945*2^1001122-1 is not prime. Res64: BCAF0FCF4BFA2253 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:54:43] 693*2^1001123-1 is not prime. Res64: A74F353B1C10CE80 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:59:23] 915*2^1001122-1 is not prime. Res64: 93EB1924645F6763 Time : 0.0 sec. user=mdettweiler [2012-01-13 23:59:23] 923*2^1001122-1 is not prime. Res64: DB1EB444A36C6684 Time : 0.0 sec.