user=mdettweiler [2012-02-05 00:02:49] 965*2^1003972-1 is not prime. Res64: EE7F6C9BBC1DBFFE Time : 0.0 sec. user=mdettweiler [2012-02-05 00:02:50] 631*2^1003973-1 is not prime. Res64: D99D041FBCD17729 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:05:02] 657*2^1003973-1 is not prime. Res64: A8B56B585C79BC2A Time : 0.0 sec. user=mdettweiler [2012-02-05 00:05:03] 775*2^1003973-1 is not prime. Res64: 1ECA2DF11977086D Time : 0.0 sec. user=mdettweiler [2012-02-05 00:10:34] 781*2^1003973-1 is not prime. Res64: F9FF97379507DF2B Time : 0.0 sec. user=mdettweiler [2012-02-05 00:10:36] 867*2^1003973-1 is not prime. Res64: CAD783BB1CB6E633 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:16:22] 621*2^1003974-1 is not prime. Res64: F7A2FCC258285C85 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:16:23] 627*2^1003974-1 is not prime. Res64: C70F5A647DF90AD1 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:17:39] 925*2^1003973-1 is not prime. Res64: C945F1DDE4AB1FEA Time : 0.0 sec. user=mdettweiler [2012-02-05 00:17:39] 945*2^1003973-1 is not prime. Res64: C7307CC432D112AF Time : 0.0 sec. user=mdettweiler [2012-02-05 00:18:38] 681*2^1003974-1 is not prime. Res64: 1C90871C1E772545 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:18:39] 683*2^1003974-1 is not prime. Res64: 8D764A5058C17A65 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:24:20] 765*2^1003974-1 is not prime. Res64: A1866DB662E29968 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:24:20] 833*2^1003974-1 is not prime. Res64: E407E25E1E7F4223 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:31:13] 651*2^1003975-1 is not prime. Res64: 7937A9D1E52E7F50 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:31:14] 705*2^1003975-1 is not prime. Res64: 0731053ACB26FE22 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:31:31] 975*2^1003974-1 is not prime. Res64: 83B097F54D707C9A Time : 0.0 sec. user=mdettweiler [2012-02-05 00:31:31] 649*2^1003975-1 is not prime. Res64: A2E2AD96127B9F32 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:32:06] 741*2^1003975-1 is not prime. Res64: 9C962D16F95591C8 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:32:07] 783*2^1003975-1 is not prime. Res64: 92BD5EB4FCDE516A Time : 0.0 sec. user=mdettweiler [2012-02-05 00:37:52] 871*2^1003975-1 is not prime. Res64: D993741466969F56 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:37:52] 885*2^1003975-1 is not prime. Res64: C4714328536DC1EE Time : 0.0 sec. user=mdettweiler [2012-02-05 00:44:44] 693*2^1003976-1 is not prime. Res64: 5A119F4FBE29E766 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:44:45] 755*2^1003976-1 is not prime. Res64: B5837CC72B0B2B84 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:46:38] 855*2^1003976-1 is not prime. Res64: BDC3FC7903C173BC Time : 0.0 sec. user=mdettweiler [2012-02-05 00:46:38] 903*2^1003976-1 is not prime. Res64: FEB1FBD12C96AFC6 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:48:49] 917*2^1003976-1 is not prime. Res64: 86C18C82DE47BD90 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:48:50] 927*2^1003976-1 is not prime. Res64: D890F84EC8A1B94D Time : 0.0 sec. user=mdettweiler [2012-02-05 00:54:39] 945*2^1003976-1 is not prime. Res64: 1CDB3679D0E61D38 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:54:39] 957*2^1003976-1 is not prime. Res64: D943A0AF3969C2F5 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:58:16] 649*2^1003977-1 is not prime. Res64: EDC198B146245574 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:58:16] 685*2^1003977-1 is not prime. Res64: A54D01217A55EA69 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:00:07] 747*2^1003977-1 is not prime. Res64: 295EF67169A6A456 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:00:11] 805*2^1003977-1 is not prime. Res64: 3CE136A9EA551DED Time : 0.0 sec. user=mdettweiler [2012-02-05 01:05:31] 895*2^1003977-1 is not prime. Res64: EDC821ACA7AAF266 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:05:32] 901*2^1003977-1 is not prime. Res64: 3F6D20CC0D8AA2B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:11:25] 915*2^1003977-1 is not prime. Res64: 2B7743675A84E79D Time : 0.0 sec. user=mdettweiler [2012-02-05 01:11:27] 937*2^1003977-1 is not prime. Res64: 346657691721495B Time : 0.0 sec. user=mdettweiler [2012-02-05 01:13:22] 997*2^1003977-1 is not prime. Res64: 44FBDA9E790C31F3 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:13:24] 611*2^1003978-1 is not prime. Res64: B6D0822737296134 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:13:57] 623*2^1003978-1 is not prime. Res64: 47B47B160DC48889 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:13:57] 677*2^1003978-1 is not prime. Res64: A8A00C6220E61646 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:19:02] 695*2^1003978-1 is not prime. Res64: CF0825B0B8DEB44A Time : 0.0 sec. user=mdettweiler [2012-02-05 01:19:03] 713*2^1003978-1 is not prime. Res64: 696E116A262FE71D Time : 0.0 sec. user=mdettweiler [2012-02-05 01:25:03] 855*2^1003978-1 is not prime. Res64: 78585C976863CCD6 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:25:04] 867*2^1003978-1 is not prime. Res64: 74D0EC28A843D9BC Time : 0.0 sec. user=mdettweiler [2012-02-05 01:27:27] 759*2^1003980-1 is not prime. Res64: C5E38A6EA3BDB9C5 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:27:27] 875*2^1003980-1 is not prime. Res64: BF91B9CD8FB4A046 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:28:28] 675*2^1003979-1 is not prime. Res64: 8F269D275C0ECAA1 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:28:28] 979*2^1003979-1 is not prime. Res64: 1F479DEF055D741D Time : 0.0 sec. user=mdettweiler [2012-02-05 01:34:10] 959*2^1003980-1 is not prime. Res64: 6121A2AF6CED78A8 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:34:10] 625*2^1003981-1 is not prime. Res64: 2C23314507C4D672 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:38:35] 675*2^1003981-1 is not prime. Res64: C20F423B4826CD3B Time : 0.0 sec. user=mdettweiler [2012-02-05 01:38:36] 681*2^1003981-1 is not prime. Res64: D28E6FB31A2134B8 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:40:57] 687*2^1003981-1 is not prime. Res64: BA31764C6FC54C40 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:40:57] 747*2^1003981-1 is not prime. Res64: 95CCCF6DBED8B59F Time : 0.0 sec. user=mdettweiler [2012-02-05 01:42:00] 751*2^1003981-1 is not prime. Res64: 540FB5B4BFC26C7E Time : 0.0 sec. user=mdettweiler [2012-02-05 01:42:01] 769*2^1003981-1 is not prime. Res64: 290142BB0B93EC31 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:49:17] 799*2^1003981-1 is not prime. Res64: 0B8B6C1394850992 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:49:18] 979*2^1003981-1 is not prime. Res64: 5614558139A23114 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:52:04] 657*2^1003982-1 is not prime. Res64: D0A1731203CE8F09 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:52:05] 785*2^1003982-1 is not prime. Res64: 437817C768C58E44 Time : 0.0 sec. user=mdettweiler [2012-02-05 01:57:07] 977*2^1003982-1 is not prime. Res64: 135E1C004012138C Time : 0.0 sec. user=mdettweiler [2012-02-05 01:57:07] 615*2^1003983-1 is not prime. Res64: E8B14A4813DC63BD Time : 0.0 sec. user=mdettweiler [2012-02-05 01:57:40] 915*2^1003982-1 is not prime. Res64: 566EA43DDD8AD53B Time : 0.0 sec. user=mdettweiler [2012-02-05 01:57:41] 923*2^1003982-1 is not prime. Res64: 8C158B7D7B6B7482 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:02:52] 661*2^1003983-1 is not prime. Res64: 3997B6F5BED42883 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:02:53] 675*2^1003983-1 is not prime. Res64: EA4DD62DF340A37F Time : 0.0 sec. user=mdettweiler [2012-02-05 02:05:36] 775*2^1003983-1 is not prime. Res64: D9853746DF0A3D68 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:05:37] 831*2^1003983-1 is not prime. Res64: 649FD9D6382BCC82 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:10:37] 849*2^1003983-1 is not prime. Res64: 45575940009765BB Time : 0.0 sec. user=mdettweiler [2012-02-05 02:10:38] 871*2^1003983-1 is not prime. Res64: 9E5AF375F78D6B7A Time : 0.0 sec. user=mdettweiler [2012-02-05 02:11:10] 623*2^1003984-1 is not prime. Res64: 7BC4C5A9EA8D2248 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:11:11] 687*2^1003984-1 is not prime. Res64: E0FC08B38EB2F419 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:16:35] 705*2^1003984-1 is not prime. Res64: C58811B4A0D0AC30 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:16:36] 755*2^1003984-1 is not prime. Res64: D0AFC55378BFED11 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:19:10] 855*2^1003984-1 is not prime. Res64: 1CA29B4BD0796B79 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:19:10] 675*2^1003985-1 is not prime. Res64: DEC80CF8CD91B57B Time : 0.0 sec. user=mdettweiler [2012-02-05 02:24:09] 787*2^1003985-1 is not prime. Res64: 4A125E674B5BBD2A Time : 0.0 sec. user=mdettweiler [2012-02-05 02:24:09] 831*2^1003985-1 is not prime. Res64: 7F797AAE909532C3 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:24:46] 837*2^1003985-1 is not prime. Res64: 27B44DB8C9789DA5 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:24:47] 635*2^1003986-1 is not prime. Res64: 6BC8B74B4C0BF403 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:30:05] 711*2^1003986-1 is not prime. Res64: B271416EBE6DBF05 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:30:06] 741*2^1003986-1 is not prime. Res64: A3EDCFF17DD59A08 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:32:41] 803*2^1003986-1 is not prime. Res64: 48B98B9E7F787E11 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:32:41] 833*2^1003986-1 is not prime. Res64: 3BA51279C45DBE06 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:37:39] 851*2^1003986-1 is not prime. Res64: C5ECE5062292C37F Time : 0.0 sec. user=mdettweiler [2012-02-05 02:37:40] 861*2^1003986-1 is not prime. Res64: D97E8E07BFAC9D06 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:41:30] 947*2^1003986-1 is not prime. Res64: 0F30D4A5F27C3F01 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:41:31] 963*2^1003986-1 is not prime. Res64: C03526B539FD0785 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:43:35] 693*2^1003987-1 is not prime. Res64: 737DB3A98F4CFE1C Time : 0.0 sec. user=mdettweiler [2012-02-05 02:43:36] 703*2^1003987-1 is not prime. Res64: 35457667F50FFB9B Time : 0.0 sec. user=mdettweiler [2012-02-05 02:46:17] 741*2^1003987-1 is not prime. Res64: 94580816629C6F45 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:46:17] 859*2^1003987-1 is not prime. Res64: 18F92D3679C947D3 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:52:47] 873*2^1003987-1 is not prime. Res64: BE5F12DABCA96D3D Time : 0.0 sec. user=mdettweiler [2012-02-05 02:52:48] 901*2^1003987-1 is not prime. Res64: 38C247B6ED833F90 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:56:43] 973*2^1003987-1 is not prime. Res64: EA33780EC15C18BD Time : 0.0 sec. user=mdettweiler [2012-02-05 02:56:44] 707*2^1003988-1 is not prime. Res64: D81B2B96E87F7470 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:57:10] 735*2^1003988-1 is not prime. Res64: 3B01A5CB7B99C52E Time : 0.0 sec. user=mdettweiler [2012-02-05 02:57:10] 819*2^1003988-1 is not prime. Res64: 5D8CEEDF6474FD71 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:59:47] 827*2^1003988-1 is not prime. Res64: C4AD23E5245338A2 Time : 0.0 sec. user=mdettweiler [2012-02-05 02:59:48] 845*2^1003988-1 is not prime. Res64: AA20C009FC5DF7E7 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:07:53] 855*2^1003988-1 is not prime. Res64: 8BCD10B99FDBD5C8 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:07:54] 929*2^1003988-1 is not prime. Res64: E30EB69D8A146203 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:10:41] 741*2^1003989-1 is not prime. Res64: 5B45FFC812AA857F Time : 0.0 sec. user=mdettweiler [2012-02-05 03:10:42] 645*2^1003990-1 is not prime. Res64: FCB31687D5A82100 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:11:53] 945*2^1003988-1 is not prime. Res64: E91ACD8DFEC7D903 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:11:54] 661*2^1003989-1 is not prime. Res64: B1DFDF11868B8B73 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:14:55] 857*2^1003990-1 is not prime. Res64: 3B0183FCDB902F82 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:14:56] 915*2^1003990-1 is not prime. Res64: BC9F02EF71447FF0 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:23:05] 965*2^1003990-1 is not prime. Res64: 40F87EE2DF909AD6 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:23:05] 651*2^1003991-1 is not prime. Res64: 6B4501E445F68BFA Time : 0.0 sec. user=mdettweiler [2012-02-05 03:24:17] 675*2^1003991-1 is not prime. Res64: 7716156515BDC647 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:24:18] 811*2^1003991-1 is not prime. Res64: 3ACD1E3C37F587FF Time : 0.0 sec. user=mdettweiler [2012-02-05 03:25:26] 813*2^1003991-1 is not prime. Res64: 518F2106F3E1B518 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:25:27] 859*2^1003991-1 is not prime. Res64: 98D9C26227B3EBDF Time : 0.0 sec. user=mdettweiler [2012-02-05 03:30:09] 885*2^1003991-1 is not prime. Res64: 6AD46E94AFF5D8A3 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:30:10] 909*2^1003991-1 is not prime. Res64: 2FABF24221E4BDA3 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:36:36] 609*2^1003992-1 is not prime. Res64: F1ACB1DEE2800D2E Time : 0.0 sec. user=mdettweiler [2012-02-05 03:36:37] 669*2^1003992-1 is not prime. Res64: 1238DBCA7064A8CD Time : 0.0 sec. user=mdettweiler [2012-02-05 03:37:49] 699*2^1003992-1 is not prime. Res64: D73CDAF5E4B45913 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:37:49] 725*2^1003992-1 is not prime. Res64: 0564FDA62AC377C3 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:40:35] 797*2^1003992-1 is not prime. Res64: 3911D0E3A229E05B Time : 0.0 sec. user=mdettweiler [2012-02-05 03:40:35] 899*2^1003992-1 is not prime. Res64: DCE3DEEFE7791178 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:43:46] 707*2^1003994-1 is not prime. Res64: C37EC8ACE8B7B475 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:43:47] 791*2^1003994-1 is not prime. Res64: B41D6EDEC7CA242C Time : 0.0 sec. user=mdettweiler [2012-02-05 03:50:08] 765*2^1003995-1 is not prime. Res64: 771B6ABC907C5E30 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:50:08] 781*2^1003995-1 is not prime. Res64: 0A509A10330DEB5D Time : 0.0 sec. user=mdettweiler [2012-02-05 03:52:57] 795*2^1003995-1 is not prime. Res64: 664FD7AEC2FE4F5D Time : 0.0 sec. user=mdettweiler [2012-02-05 03:52:57] 909*2^1003995-1 is not prime. Res64: 2FF915BD94518A68 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:55:40] 955*2^1003995-1 is not prime. Res64: ED2F1836DB579400 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:55:41] 647*2^1003996-1 is not prime. Res64: 586026D8BF1CC88E Time : 0.0 sec. user=mdettweiler [2012-02-05 03:57:15] 743*2^1003996-1 is not prime. Res64: DDAB9FA7087E32D3 Time : 0.0 sec. user=mdettweiler [2012-02-05 03:57:16] 869*2^1003996-1 is not prime. Res64: FC0836D61163F3F3 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:06:53] 909*2^1003996-1 is not prime. Res64: 03AAF37A1A823531 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:06:54] 939*2^1003996-1 is not prime. Res64: D7301FE5C8EFEA84 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:08:06] 989*2^1003996-1 is not prime. Res64: 2C0CC02F8EC1FDFA Time : 0.0 sec. user=mdettweiler [2012-02-05 04:08:07] 615*2^1003997-1 is not prime. Res64: 287BF11AE7787841 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:09:10] 747*2^1003997-1 is not prime. Res64: 9A9415469050E929 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:09:12] 795*2^1003997-1 is not prime. Res64: EEA10C5EB548728C Time : 0.0 sec. user=mdettweiler [2012-02-05 04:10:46] 635*2^1003998-1 is not prime. Res64: 16D619509E65E940 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:10:47] 641*2^1003998-1 is not prime. Res64: 9FB718ECB0BD35FD Time : 0.0 sec. user=mdettweiler [2012-02-05 04:20:25] 707*2^1003998-1 is not prime. Res64: 865761198ECACD9E Time : 0.0 sec. user=mdettweiler [2012-02-05 04:20:26] 797*2^1003998-1 is not prime. Res64: 35B24B5835C95FD5 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:21:44] 861*2^1003998-1 is not prime. Res64: E0C02F03E84EFDA5 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:21:45] 885*2^1003998-1 is not prime. Res64: B37FE335991109ED Time : 0.0 sec. user=mdettweiler [2012-02-05 04:22:51] 609*2^1003999-1 is not prime. Res64: 9B0A9F38D1356048 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:22:51] 645*2^1003999-1 is not prime. Res64: D44B2FCDA131B04F Time : 0.0 sec. user=mdettweiler [2012-02-05 04:24:20] 663*2^1003999-1 is not prime. Res64: CB0C56EE576455FB Time : 0.0 sec. user=mdettweiler [2012-02-05 04:24:20] 771*2^1003999-1 is not prime. Res64: C01B5F3341689CC3 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:35:40] 855*2^1003999-1 is not prime. Res64: 7E873A175367BD94 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:35:41] 979*2^1003999-1 is not prime. Res64: 40C94CFA1716FD27 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:36:49] 633*2^1004000-1 is not prime. Res64: 4DF95DC5A2B3A098 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:36:52] 927*2^1004000-1 is not prime. Res64: 7C5DC404EA6C87D8 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:37:43] 789*2^1004001-1 is not prime. Res64: 129CD5B36F715718 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:37:45] 829*2^1004001-1 is not prime. Res64: E5CCCFCCF5A67B52 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:37:56] 935*2^1004000-1 is not prime. Res64: C8661B73761CCCF5 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:37:57] 741*2^1004001-1 is not prime. Res64: D456F0902B29AF9E Time : 0.0 sec. user=mdettweiler [2012-02-05 04:50:52] 861*2^1004001-1 is not prime. Res64: 2F2D1B32DE464E50 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:50:52] 895*2^1004001-1 is not prime. Res64: C990E9988CC1057D Time : 0.0 sec. user=mdettweiler [2012-02-05 04:51:06] 797*2^1003994-1 is not prime. Res64: 57A3F39C39DAF64D Time : 0.0 sec. user=mdettweiler [2012-02-05 04:51:06] 833*2^1003994-1 is not prime. Res64: 7CDAAA2EDDFD24ED Time : 0.0 sec. user=mdettweiler [2012-02-05 04:51:53] 677*2^1004002-1 is not prime. Res64: F6A287234750F5FE Time : 0.0 sec. user=mdettweiler [2012-02-05 04:51:54] 705*2^1004002-1 is not prime. Res64: 5D492A2CE375DE34 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:52:50] 999*2^1004001-1 is not prime. Res64: B248AE7250D4616D Time : 0.0 sec. user=mdettweiler [2012-02-05 04:52:51] 603*2^1004002-1 is not prime. Res64: 0874816747F74B9F Time : 0.0 sec. user=mdettweiler [2012-02-05 04:52:57] 837*2^1003994-1 is not prime. Res64: B7ACABBB3A8C0608 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:52:57] 751*2^1003995-1 is not prime. Res64: 6477E9FD0DE965FB Time : 0.0 sec. user=mdettweiler [2012-02-05 04:53:33] 921*2^1004001-1 is not prime. Res64: E0268CE73B8AFDA4 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:53:33] 937*2^1004001-1 is not prime. Res64: DAE5AEBFD9D1F7C8 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:54:40] 861*2^1003993-1 is not prime. Res64: D6EAA1674F2E5E67 Time : 0.0 sec. user=mdettweiler [2012-02-05 04:54:40] 895*2^1003993-1 is not prime. Res64: A8D999C443150A88 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:04:20] 713*2^1004002-1 is not prime. Res64: 187012160822628D Time : 0.0 sec. user=mdettweiler [2012-02-05 05:04:21] 717*2^1004002-1 is not prime. Res64: C4CA9F036C5D07F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:06:18] 621*2^1004003-1 is not prime. Res64: 7BA4B4B65272A1DB Time : 0.0 sec. user=mdettweiler [2012-02-05 05:06:20] 775*2^1004003-1 is not prime. Res64: 55E4939CE1637FBE Time : 0.0 sec. user=mdettweiler [2012-02-05 05:08:38] 759*2^1004004-1 is not prime. Res64: 2A124A03ED5648BD Time : 0.0 sec. user=mdettweiler [2012-02-05 05:08:41] 983*2^1004004-1 is not prime. Res64: F63031AA761C6B6B Time : 0.0 sec. user=mdettweiler [2012-02-05 05:08:41] 975*2^1004002-1 is not prime. Res64: BF5D570B6F54A936 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:08:41] 995*2^1004002-1 is not prime. Res64: B1B1C93BB0B0245E Time : 0.0 sec. user=mdettweiler [2012-02-05 05:17:51] 619*2^1004005-1 is not prime. Res64: 8DE18BDF9E1D80A8 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:17:51] 717*2^1004005-1 is not prime. Res64: 4ED0654B3330CE14 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:21:28] 741*2^1004005-1 is not prime. Res64: 051C5DDA47BE0639 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:21:28] 997*2^1004005-1 is not prime. Res64: 29B6273A7A75E54D Time : 0.0 sec. user=mdettweiler [2012-02-05 05:22:10] 851*2^1004006-1 is not prime. Res64: E96DCB2DF7FEBDB5 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:22:10] 625*2^1004007-1 is not prime. Res64: A729B3444089272E Time : 0.0 sec. user=mdettweiler [2012-02-05 05:25:25] 911*2^1004006-1 is not prime. Res64: BA14418DEF203508 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:25:26] 983*2^1004006-1 is not prime. Res64: 03B7DC1E9734F12E Time : 0.0 sec. user=mdettweiler [2012-02-05 05:31:20] 685*2^1004007-1 is not prime. Res64: 048B936F8B72E327 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:31:20] 885*2^1004007-1 is not prime. Res64: 13C445F6B3713A7F Time : 0.0 sec. user=mdettweiler [2012-02-05 05:35:40] 773*2^1004008-1 is not prime. Res64: 25521A179C73C8F2 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:35:40] 849*2^1004008-1 is not prime. Res64: 2FDFD6E29F55C6ED Time : 0.0 sec. user=mdettweiler [2012-02-05 05:36:38] 961*2^1004007-1 is not prime. Res64: 77ED30D440D97BBD Time : 0.0 sec. user=mdettweiler [2012-02-05 05:36:39] 713*2^1004008-1 is not prime. Res64: 9FBA8BFC564D8961 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:40:33] 959*2^1004008-1 is not prime. Res64: EFEF1ED0733304E0 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:40:34] 679*2^1004009-1 is not prime. Res64: C9DF4EFA6BE32071 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:44:50] 691*2^1004009-1 is not prime. Res64: 99B2DD626E496E5F Time : 0.0 sec. user=mdettweiler [2012-02-05 05:44:50] 697*2^1004009-1 is not prime. Res64: 8A3320945AAEC991 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:49:08] 787*2^1004009-1 is not prime. Res64: AA5E0E5B427A7E90 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:49:08] 865*2^1004009-1 is not prime. Res64: 00513F8B89753FC3 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:51:50] 885*2^1004009-1 is not prime. Res64: 1EAD97F7B1AF7970 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:51:50] 967*2^1004009-1 is not prime. Res64: 90A146E9DEDD9031 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:54:01] 627*2^1004010-1 is not prime. Res64: 08A14BCA29ADCCD0 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:54:01] 633*2^1004010-1 is not prime. Res64: E636F4BF1C1FCD76 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:58:15] 713*2^1004010-1 is not prime. Res64: 6FFDCF0C35F17732 Time : 0.0 sec. user=mdettweiler [2012-02-05 05:58:15] 777*2^1004010-1 is not prime. Res64: 2C4CB42542EA1283 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:02:35] 663*2^1004011-1 is not prime. Res64: 01EE2DE9540FB456 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:02:37] 685*2^1004011-1 is not prime. Res64: EF5870CDE0569C9F Time : 0.0 sec. user=mdettweiler [2012-02-05 06:05:15] 715*2^1004011-1 is not prime. Res64: 8387A5998EC9F13F Time : 0.0 sec. user=mdettweiler [2012-02-05 06:05:17] 771*2^1004011-1 is not prime. Res64: 927A4848395169A3 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:10:46] 909*2^1004011-1 is not prime. Res64: 0ACD436A5F9675B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:10:46] 975*2^1004011-1 is not prime. Res64: CDA0640625EE9035 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:11:43] 605*2^1004012-1 is not prime. Res64: E4DCF1869AB9DD3F Time : 0.0 sec. user=mdettweiler [2012-02-05 06:11:44] 813*2^1004012-1 is not prime. Res64: 2EC4C4FC1594AE70 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:13:08] 823*2^1004003-1 is not prime. Res64: 2892FFDEB60D0A9D Time : 0.0 sec. user=mdettweiler [2012-02-05 06:13:10] 629*2^1004004-1 is not prime. Res64: 7FFDF64A69145F2F Time : 0.0 sec. user=mdettweiler [2012-02-05 06:14:51] 607*2^1004005-1 is not prime. Res64: CEAD87C132E31189 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:14:51] 609*2^1004005-1 is not prime. Res64: B9C3207210A22522 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:18:42] 745*2^1004013-1 is not prime. Res64: 1033B9D4E7D51297 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:18:42] 747*2^1004013-1 is not prime. Res64: B58EAB857E059FAE Time : 0.0 sec. user=mdettweiler [2012-02-05 06:19:42] 755*2^1004002-1 is not prime. Res64: B866E4C34334A7DB Time : 0.0 sec. user=mdettweiler [2012-02-05 06:19:42] 917*2^1004002-1 is not prime. Res64: 4001C9CB2238F178 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:19:45] 915*2^1004012-1 is not prime. Res64: DE520C72E8FCAA02 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:19:45] 959*2^1004012-1 is not prime. Res64: 961369E96BBECE97 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:24:16] 817*2^1004013-1 is not prime. Res64: BAC7411BE2C2F270 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:24:16] 819*2^1004013-1 is not prime. Res64: F4270B3130943F10 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:28:28] 927*2^1004013-1 is not prime. Res64: 9FD64765DAF8367B Time : 0.0 sec. user=mdettweiler [2012-02-05 06:28:29] 985*2^1004013-1 is not prime. Res64: 2166822D549D7AF6 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:33:10] 693*2^1004015-1 is not prime. Res64: AE4DD69CF1F05ACF Time : 0.0 sec. user=mdettweiler [2012-02-05 06:33:10] 763*2^1004015-1 is not prime. Res64: CBFC5DD1F53F64F3 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:33:46] 887*2^1004014-1 is not prime. Res64: 39EF5D87478071A2 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:33:47] 917*2^1004014-1 is not prime. Res64: 8EF567602A970328 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:37:42] 805*2^1004015-1 is not prime. Res64: 608DABA77CC8F941 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:37:42] 855*2^1004015-1 is not prime. Res64: B546A45FCF3BFD73 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:43:35] 883*2^1004015-1 is not prime. Res64: 7D8788C0795DE05E Time : 0.0 sec. user=mdettweiler [2012-02-05 06:43:36] 921*2^1004015-1 is not prime. Res64: 6620F2BAEC3EFE48 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:48:17] 969*2^1004015-1 is not prime. Res64: 34B198EC4E350D7E Time : 0.0 sec. user=mdettweiler [2012-02-05 06:48:17] 689*2^1004016-1 is not prime. Res64: 33507DC09D495E7E Time : 0.0 sec. user=mdettweiler [2012-02-05 06:48:50] 803*2^1004016-1 is not prime. Res64: C98F000D478A30EF Time : 0.0 sec. user=mdettweiler [2012-02-05 06:48:51] 927*2^1004016-1 is not prime. Res64: 31F01DC878BA5FA2 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:51:07] 651*2^1004017-1 is not prime. Res64: 4D5AA0E6E8243604 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:51:07] 717*2^1004017-1 is not prime. Res64: B8585A40C5D75379 Time : 0.0 sec. user=mdettweiler [2012-02-05 06:57:00] 729*2^1004017-1 is not prime. Res64: 4CDC9FFBE840FB4F Time : 0.0 sec. user=mdettweiler [2012-02-05 06:57:01] 771*2^1004017-1 is not prime. Res64: E405B5E3E3D9AB06 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:03:19] 871*2^1004017-1 is not prime. Res64: E0B1BCD3BA3DE953 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:03:20] 979*2^1004017-1 is not prime. Res64: 296FBF6AACCD617D Time : 0.0 sec. user=mdettweiler [2012-02-05 07:03:57] 985*2^1004017-1 is not prime. Res64: 8F12931DE44D9E3D Time : 0.0 sec. user=mdettweiler [2012-02-05 07:03:59] 641*2^1004018-1 is not prime. Res64: 82BF9886A0EC8382 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:04:28] 813*2^1004018-1 is not prime. Res64: 3547785275C95EBE Time : 0.0 sec. user=mdettweiler [2012-02-05 07:04:30] 827*2^1004018-1 is not prime. Res64: 84040F7EED1D97CD Time : 0.0 sec. user=mdettweiler [2012-02-05 07:13:38] 923*2^1004018-1 is not prime. Res64: 2D334A18157C008C Time : 0.0 sec. user=mdettweiler [2012-02-05 07:13:39] 903*2^1004019-1 is not prime. Res64: CB44583DFD651F72 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:17:56] 797*2^1004020-1 is not prime. Res64: B84D313B544049E1 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:17:57] 843*2^1004020-1 is not prime. Res64: DBB4D69B7438F609 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:19:07] 975*2^1004019-1 is not prime. Res64: 58AC46D0C86E9708 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:19:08] 605*2^1004020-1 is not prime. Res64: D1F2968EFA778625 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:20:05] 919*2^1004019-1 is not prime. Res64: CAECB1400F501865 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:20:05] 943*2^1004019-1 is not prime. Res64: 00EA49CC1A0BED28 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:27:00] 845*2^1004020-1 is not prime. Res64: 242059375E8567D7 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:27:01] 863*2^1004020-1 is not prime. Res64: A86CF1E9899DD7E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:30:38] 611*2^1004014-1 is not prime. Res64: 90A81D421F1D8CAE Time : 0.0 sec. user=mdettweiler [2012-02-05 07:30:38] 635*2^1004014-1 is not prime. Res64: 3E78E4686B5635DB Time : 0.0 sec. user=mdettweiler [2012-02-05 07:32:15] 747*2^1004014-1 is not prime. Res64: 8BEF6C1C8CDACF4C Time : 0.0 sec. user=mdettweiler [2012-02-05 07:32:15] 885*2^1004014-1 is not prime. Res64: B59B0B36C17ED0AF Time : 0.0 sec. user=mdettweiler [2012-02-05 07:32:59] 875*2^1004020-1 is not prime. Res64: 92EC93A620E00ADD Time : 0.0 sec. user=mdettweiler [2012-02-05 07:33:00] 927*2^1004020-1 is not prime. Res64: 228D194FE611AC3A Time : 0.0 sec. user=mdettweiler [2012-02-05 07:33:24] 631*2^1004021-1 is not prime. Res64: 6E9FB4C984003C57 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:33:24] 651*2^1004021-1 is not prime. Res64: D73409F74E19ECB8 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:34:10] 959*2^1004020-1 is not prime. Res64: 2916BC1917D2855E Time : 0.0 sec. user=mdettweiler [2012-02-05 07:34:11] 607*2^1004021-1 is not prime. Res64: 8E81E657CDB43898 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:40:26] 727*2^1004021-1 is not prime. Res64: 62A71FFF9BAE63E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:40:27] 745*2^1004021-1 is not prime. Res64: 530C77F28CDA45B9 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:45:47] 993*2^1004014-1 is not prime. Res64: 3EBB5A1F58632557 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:45:47] 663*2^1004015-1 is not prime. Res64: 484AF1A7136E36B7 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:46:21] 621*2^1004022-1 is not prime. Res64: A36AA961FE93AD34 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:46:22] 635*2^1004022-1 is not prime. Res64: 7530A8185458DDB3 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:46:43] 681*2^1004022-1 is not prime. Res64: 56809AEC3A016FC7 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:46:43] 725*2^1004022-1 is not prime. Res64: 1309A98B42D3FC03 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:50:56] 915*2^1004022-1 is not prime. Res64: 069CB09FDD2CF442 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:50:56] 923*2^1004022-1 is not prime. Res64: 51E50619F9BEA0E0 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:57:11] 957*2^1004022-1 is not prime. Res64: 89D56000ABAE46A8 Time : 0.0 sec. user=mdettweiler [2012-02-05 07:57:11] 963*2^1004022-1 is not prime. Res64: 6E2F4841125E9E36 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:00:03] 759*2^1004024-1 is not prime. Res64: 765C3CA9BC5F7902 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:00:04] 825*2^1004024-1 is not prime. Res64: E5B673D2093A9DAC Time : 0.0 sec. user=mdettweiler [2012-02-05 08:01:25] 895*2^1004023-1 is not prime. Res64: A58AAA118E827CBC Time : 0.0 sec. user=mdettweiler [2012-02-05 08:01:27] 719*2^1004024-1 is not prime. Res64: 1188A10E4A5DDAD2 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:07:40] 893*2^1004024-1 is not prime. Res64: 4DB6D14628F42B45 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:07:40] 923*2^1004024-1 is not prime. Res64: 4135E1C33FC4E4F2 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:12:15] 995*2^1004024-1 is not prime. Res64: 80C64A462C091427 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:12:16] 607*2^1004025-1 is not prime. Res64: 0F63DF0F80719897 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:13:33] 679*2^1004025-1 is not prime. Res64: ACFB19479E807354 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:13:34] 717*2^1004025-1 is not prime. Res64: 1235F8AD322E2DE9 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:16:37] 787*2^1004025-1 is not prime. Res64: E1D95415613AFDA1 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:16:37] 895*2^1004025-1 is not prime. Res64: 9E27114F5AEBC5B9 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:22:47] 979*2^1004025-1 is not prime. Res64: 078CE157C8C80159 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:22:47] 635*2^1004026-1 is not prime. Res64: AE6C656AB2B8F04B Time : 0.0 sec. user=mdettweiler [2012-02-05 08:25:41] 647*2^1004026-1 is not prime. Res64: 4E627C4849122408 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:25:41] 735*2^1004026-1 is not prime. Res64: 9E37FB7E15857041 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:27:03] 801*2^1004026-1 is not prime. Res64: E74241368B03CBE9 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:27:04] 833*2^1004026-1 is not prime. Res64: 4BC038F4C18AA406 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:29:59] 855*2^1004026-1 is not prime. Res64: 0278995F3923E5E2 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:29:59] 857*2^1004026-1 is not prime. Res64: 998537FC65B34AF4 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:37:53] 993*2^1004026-1 is not prime. Res64: 895EB3CF76B6EC2B Time : 0.0 sec. user=mdettweiler [2012-02-05 08:37:54] 603*2^1004027-1 is not prime. Res64: B0BB948F83E69141 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:39:06] 631*2^1004027-1 is not prime. Res64: FD4661622663F6AD Time : 0.0 sec. user=mdettweiler [2012-02-05 08:39:06] 633*2^1004027-1 is not prime. Res64: 784102532D54363F Time : 0.0 sec. user=mdettweiler [2012-02-05 08:40:28] 669*2^1004027-1 is not prime. Res64: 2CD71FC18742D43C Time : 0.0 sec. user=mdettweiler [2012-02-05 08:40:28] 739*2^1004027-1 is not prime. Res64: 9FBE3E3AE9B316A7 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:45:06] 861*2^1004027-1 is not prime. Res64: 90085158EF4E911B Time : 0.0 sec. user=mdettweiler [2012-02-05 08:45:07] 979*2^1004027-1 is not prime. Res64: 0B96A5F3874A0D2B Time : 0.0 sec. user=mdettweiler [2012-02-05 08:48:19] 757*2^1004021-1 is not prime. Res64: 807AE709EE69D73B Time : 0.0 sec. user=mdettweiler [2012-02-05 08:48:19] 789*2^1004021-1 is not prime. Res64: 6008CE7ED82C11D2 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:51:20] 737*2^1004028-1 is not prime. Res64: 5510A9E25085D389 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:51:21] 749*2^1004028-1 is not prime. Res64: E07758421703226D Time : 0.0 sec. user=mdettweiler [2012-02-05 08:52:31] 819*2^1004028-1 is not prime. Res64: 7DB1DFD538E73CC6 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:52:32] 825*2^1004028-1 is not prime. Res64: 495C0724E4F17C5C Time : 0.0 sec. user=mdettweiler [2012-02-05 08:53:53] 845*2^1004028-1 is not prime. Res64: 82A87B9248B42A0D Time : 0.0 sec. user=mdettweiler [2012-02-05 08:53:53] 867*2^1004028-1 is not prime. Res64: 752EF12D5A7D2B63 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:58:32] 865*2^1004021-1 is not prime. Res64: 9F4C64FF1D1F1A70 Time : 0.0 sec. user=mdettweiler [2012-02-05 08:58:32] 987*2^1004021-1 is not prime. Res64: 74089B564635269B Time : 0.0 sec. user=mdettweiler [2012-02-05 09:00:09] 887*2^1004028-1 is not prime. Res64: 1F064454BD8CF172 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:00:11] 975*2^1004028-1 is not prime. Res64: FF656A2FA9B46959 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:03:28] 663*2^1004023-1 is not prime. Res64: 950DD16A3528B63C Time : 0.0 sec. user=mdettweiler [2012-02-05 09:03:28] 813*2^1004023-1 is not prime. Res64: 41AC85D693DABD6F Time : 0.0 sec. user=mdettweiler [2012-02-05 09:06:26] 747*2^1004029-1 is not prime. Res64: 104300D9AA99D312 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:06:28] 897*2^1004029-1 is not prime. Res64: 9EE71DB386B967F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:07:16] 675*2^1004030-1 is not prime. Res64: 2E51DEF321BBCC60 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:07:17] 793*2^1004031-1 is not prime. Res64: DCD092979EA7FFDD Time : 0.0 sec. user=mdettweiler [2012-02-05 09:07:36] 919*2^1004029-1 is not prime. Res64: 502C43DA3975153E Time : 0.0 sec. user=mdettweiler [2012-02-05 09:07:37] 603*2^1004030-1 is not prime. Res64: 605E834023ADAEDE Time : 0.0 sec. user=mdettweiler [2012-02-05 09:16:53] 901*2^1004031-1 is not prime. Res64: 1FA9BE2D78F912B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:16:54] 931*2^1004031-1 is not prime. Res64: C10AE0774AC3E78B Time : 0.0 sec. user=mdettweiler [2012-02-05 09:21:38] 819*2^1004032-1 is not prime. Res64: 73F342519763E5DD Time : 0.0 sec. user=mdettweiler [2012-02-05 09:21:38] 903*2^1004032-1 is not prime. Res64: 2B58716D33B1B907 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:24:02] 923*2^1004032-1 is not prime. Res64: F53A32FC1B9F2204 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:24:02] 929*2^1004032-1 is not prime. Res64: 3498F63F1F433A85 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:24:19] 939*2^1004032-1 is not prime. Res64: 87712BD19E8D23A2 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:24:19] 975*2^1004032-1 is not prime. Res64: 5FA699675AB42DD8 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:30:20] 607*2^1004033-1 is not prime. Res64: 85058BF18B69F98A Time : 0.0 sec. user=mdettweiler [2012-02-05 09:30:21] 787*2^1004033-1 is not prime. Res64: DBA71664823BE4E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:35:08] 847*2^1004033-1 is not prime. Res64: 505168844F001DB3 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:35:08] 621*2^1004034-1 is not prime. Res64: 20B57A9968546DCC Time : 0.0 sec. user=mdettweiler [2012-02-05 09:37:28] 641*2^1004034-1 is not prime. Res64: 4E4ABA7848D82910 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:37:28] 711*2^1004034-1 is not prime. Res64: 4691AAA5E8645413 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:39:24] 815*2^1004034-1 is not prime. Res64: 34EF9EFBD3F8E150 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:39:25] 945*2^1004034-1 is not prime. Res64: 1944A91D9A37C6D3 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:43:52] 609*2^1004035-1 is not prime. Res64: CBE04868A12ABB83 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:43:52] 651*2^1004035-1 is not prime. Res64: D66CEFF6F77C4634 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:48:38] 699*2^1004035-1 is not prime. Res64: 2412AE2C8C75742E Time : 0.0 sec. user=mdettweiler [2012-02-05 09:48:38] 741*2^1004035-1 is not prime. Res64: BB6C1DC7EB3E260E Time : 0.0 sec. user=mdettweiler [2012-02-05 09:51:00] 793*2^1004035-1 is not prime. Res64: C98FE6B4B0C36724 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:51:01] 805*2^1004035-1 is not prime. Res64: 6A3E2C29D14119F1 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:52:52] 819*2^1004035-1 is not prime. Res64: 11E5FAB211292B59 Time : 0.0 sec. user=mdettweiler [2012-02-05 09:52:53] 859*2^1004035-1 is not prime. Res64: AC0065DB0AAC4473 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:00:34] 919*2^1004035-1 is not prime. Res64: 3938A41ACF50CA10 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:00:39] 939*2^1004035-1 is not prime. Res64: BCBEC51ECFCF7C78 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:02:09] 699*2^1004036-1 is not prime. Res64: BF1AAB54B4296975 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:02:10] 785*2^1004036-1 is not prime. Res64: 9F7ADA4C20E8A0E4 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:04:31] 803*2^1004036-1 is not prime. Res64: 3CBDD4795A6E19B9 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:04:33] 825*2^1004036-1 is not prime. Res64: 37FAB06865963B43 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:05:44] 615*2^1004029-1 is not prime. Res64: 1E18302C7E8E6103 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:05:45] 685*2^1004029-1 is not prime. Res64: D86B1EA468360785 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:06:20] 845*2^1004036-1 is not prime. Res64: 9D806B5297B7048C Time : 0.0 sec. user=mdettweiler [2012-02-05 10:06:21] 869*2^1004036-1 is not prime. Res64: C75B69D3075B7203 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:15:41] 649*2^1004037-1 is not prime. Res64: 51D26D804B7101AE Time : 0.0 sec. user=mdettweiler [2012-02-05 10:15:42] 747*2^1004037-1 is not prime. Res64: A93F02D837D2A949 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:15:59] 823*2^1004031-1 is not prime. Res64: 495D7238CF74CBBA Time : 0.0 sec. user=mdettweiler [2012-02-05 10:16:00] 865*2^1004031-1 is not prime. Res64: A976E183897042CB Time : 0.0 sec. user=mdettweiler [2012-02-05 10:16:06] 879*2^1004036-1 is not prime. Res64: F66E69BBED2722DF Time : 0.0 sec. user=mdettweiler [2012-02-05 10:16:06] 935*2^1004036-1 is not prime. Res64: 3ED77A2C9BC41B0C Time : 0.0 sec. user=mdettweiler [2012-02-05 10:18:06] 777*2^1004037-1 is not prime. Res64: 7C8C3496F56D58AF Time : 0.0 sec. user=mdettweiler [2012-02-05 10:18:06] 611*2^1004038-1 is not prime. Res64: BFFAB93947A6DC5D Time : 0.0 sec. user=mdettweiler [2012-02-05 10:19:53] 723*2^1004038-1 is not prime. Res64: 69B126C47C09CD34 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:19:54] 731*2^1004038-1 is not prime. Res64: D1EC99541E5B4E4A Time : 0.0 sec. user=mdettweiler [2012-02-05 10:20:59] 765*2^1004032-1 is not prime. Res64: DC258F39F0371BA2 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:20:59] 797*2^1004032-1 is not prime. Res64: 89526BF5DFA200C6 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:29:11] 831*2^1004038-1 is not prime. Res64: E5D492AB7137A914 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:29:12] 643*2^1004039-1 is not prime. Res64: 9B2C165B42E5C1D1 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:29:32] 841*2^1004039-1 is not prime. Res64: DFD4E3273E7B05EE Time : 0.0 sec. user=mdettweiler [2012-02-05 10:29:32] 865*2^1004039-1 is not prime. Res64: 31B79363607A057F Time : 0.0 sec. user=mdettweiler [2012-02-05 10:34:50] 889*2^1004039-1 is not prime. Res64: DAEBFD037416CB60 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:34:50] 909*2^1004039-1 is not prime. Res64: E7FABA39ADEC0B6A Time : 0.0 sec. user=mdettweiler [2012-02-05 10:34:58] 949*2^1004039-1 is not prime. Res64: D91781623C55759A Time : 0.0 sec. user=mdettweiler [2012-02-05 10:34:58] 717*2^1004040-1 is not prime. Res64: E8025D554B70EDEA Time : 0.0 sec. user=mdettweiler [2012-02-05 10:42:59] 691*2^1004041-1 is not prime. Res64: F758C9DF26076B10 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:42:59] 771*2^1004041-1 is not prime. Res64: E2CCBDD844FC7271 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:45:57] 905*2^1004040-1 is not prime. Res64: 6BA294656A7AF6E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:45:58] 909*2^1004040-1 is not prime. Res64: 90928991945836FF Time : 0.0 sec. user=mdettweiler [2012-02-05 10:48:18] 847*2^1004041-1 is not prime. Res64: C4E85172349E2B96 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:48:19] 849*2^1004041-1 is not prime. Res64: 7D183BADDC1CA885 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:50:03] 871*2^1004041-1 is not prime. Res64: 6363B907DB840510 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:50:03] 889*2^1004041-1 is not prime. Res64: F8A6E65B110674B0 Time : 0.0 sec. user=mdettweiler [2012-02-05 10:59:44] 901*2^1004041-1 is not prime. Res64: 3DDEB194DBD23EEB Time : 0.0 sec. user=mdettweiler [2012-02-05 10:59:45] 937*2^1004041-1 is not prime. Res64: 1C22188A8400D5E6 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:01:02] 951*2^1004041-1 is not prime. Res64: 2DD4B65F63B16AAC Time : 0.0 sec. user=mdettweiler [2012-02-05 11:01:04] 623*2^1004042-1 is not prime. Res64: 3B6057AF81B8BD3E Time : 0.0 sec. user=mdettweiler [2012-02-05 11:01:47] 615*2^1004043-1 is not prime. Res64: 400F6CD05C8F31AC Time : 0.0 sec. user=mdettweiler [2012-02-05 11:01:49] 619*2^1004043-1 is not prime. Res64: 7603FBFC9EF63AD4 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:03:34] 669*2^1004043-1 is not prime. Res64: 8ADC6F6B2230B126 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:03:34] 783*2^1004043-1 is not prime. Res64: 73E558330E7FEDC3 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:13:15] 853*2^1004043-1 is not prime. Res64: 17646875822F6479 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:13:16] 861*2^1004043-1 is not prime. Res64: DF887F8B2BFD392A Time : 0.0 sec. user=mdettweiler [2012-02-05 11:15:21] 743*2^1004044-1 is not prime. Res64: CFA9A96245CA2FEA Time : 0.0 sec. user=mdettweiler [2012-02-05 11:15:22] 735*2^1004045-1 is not prime. Res64: A6B11252B98A237F Time : 0.0 sec. user=mdettweiler [2012-02-05 11:17:01] 825*2^1004045-1 is not prime. Res64: A6821042F2C9068F Time : 0.0 sec. user=mdettweiler [2012-02-05 11:17:02] 831*2^1004045-1 is not prime. Res64: 354E0652DA5902F2 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:17:55] 891*2^1004043-1 is not prime. Res64: 11093C71CD34AEDA Time : 0.0 sec. user=mdettweiler [2012-02-05 11:17:55] 945*2^1004043-1 is not prime. Res64: AF7A71A4098EE3BE Time : 0.0 sec. user=mdettweiler [2012-02-05 11:23:13] 663*2^1004038-1 is not prime. Res64: B7EF765ECCBF4CE5 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:23:13] 705*2^1004038-1 is not prime. Res64: B50C4D5BE6758AB7 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:28:26] 871*2^1004045-1 is not prime. Res64: C1A16C8E8D24C5F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:28:27] 951*2^1004045-1 is not prime. Res64: 0AEDED7DBAA01C3E Time : 0.0 sec. user=mdettweiler [2012-02-05 11:28:51] 635*2^1004046-1 is not prime. Res64: BE3DED23175DE684 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:28:52] 641*2^1004046-1 is not prime. Res64: CDEF388BDF8501E4 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:30:29] 653*2^1004046-1 is not prime. Res64: 92954B609FB4F25F Time : 0.0 sec. user=mdettweiler [2012-02-05 11:30:29] 683*2^1004046-1 is not prime. Res64: B30A0FE2D9EADFEE Time : 0.0 sec. user=mdettweiler [2012-02-05 11:31:23] 741*2^1004046-1 is not prime. Res64: 51EBC26494AF149D Time : 0.0 sec. user=mdettweiler [2012-02-05 11:31:24] 801*2^1004046-1 is not prime. Res64: 7579B7A2208316BE Time : 0.0 sec. user=mdettweiler [2012-02-05 11:33:23] 669*2^1004039-1 is not prime. Res64: 119C2C66D25FCC96 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:33:23] 775*2^1004039-1 is not prime. Res64: 6FA3BC014C04D8CC Time : 0.0 sec. user=mdettweiler [2012-02-05 11:38:31] 753*2^1004040-1 is not prime. Res64: 643BBC7D88D2E6DB Time : 0.0 sec. user=mdettweiler [2012-02-05 11:38:31] 797*2^1004040-1 is not prime. Res64: EA5967D25855C3F8 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:41:56] 603*2^1004047-1 is not prime. Res64: 366B5C73A306C783 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:41:57] 633*2^1004047-1 is not prime. Res64: 372CAA2A989DDB28 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:42:21] 639*2^1004047-1 is not prime. Res64: 21546E9EDD409158 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:42:21] 649*2^1004047-1 is not prime. Res64: 2D8831B3A0DD03DC Time : 0.0 sec. user=mdettweiler [2012-02-05 11:43:58] 663*2^1004047-1 is not prime. Res64: E82C65C9D999366A Time : 0.0 sec. user=mdettweiler [2012-02-05 11:43:58] 673*2^1004047-1 is not prime. Res64: 2CDA27F6AFBE0026 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:44:55] 741*2^1004047-1 is not prime. Res64: 920DA2B95964280A Time : 0.0 sec. user=mdettweiler [2012-02-05 11:44:55] 883*2^1004047-1 is not prime. Res64: 7F9137C630A1A2C1 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:55:51] 745*2^1004049-1 is not prime. Res64: 6E4D7FA204A68597 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:55:51] 747*2^1004049-1 is not prime. Res64: A650556A8E4C294C Time : 0.0 sec. user=mdettweiler [2012-02-05 11:57:06] 827*2^1004048-1 is not prime. Res64: AFE6F200A074E05E Time : 0.0 sec. user=mdettweiler [2012-02-05 11:57:07] 993*2^1004048-1 is not prime. Res64: 74A2B5EA9F6226F6 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:57:30] 861*2^1004049-1 is not prime. Res64: 6575986D5A840DD9 Time : 0.0 sec. user=mdettweiler [2012-02-05 11:57:31] 865*2^1004049-1 is not prime. Res64: 473116E731B301A6 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:00:03] 991*2^1004049-1 is not prime. Res64: 2F281F86548632CE Time : 0.0 sec. user=mdettweiler [2012-02-05 12:00:03] 653*2^1004050-1 is not prime. Res64: 21155507CDE96802 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:09:21] 657*2^1004050-1 is not prime. Res64: 275ACA4FD8EF1B8D Time : 0.0 sec. user=mdettweiler [2012-02-05 12:09:23] 681*2^1004050-1 is not prime. Res64: 076E771BBB7493E2 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:10:36] 741*2^1004050-1 is not prime. Res64: 8BA9116260A4120A Time : 0.0 sec. user=mdettweiler [2012-02-05 12:10:37] 755*2^1004050-1 is not prime. Res64: 143DF14665A7FD7F Time : 0.0 sec. user=mdettweiler [2012-02-05 12:10:58] 813*2^1004050-1 is not prime. Res64: B1F724D455083100 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:10:59] 833*2^1004050-1 is not prime. Res64: 11C14910FB4CB916 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:13:37] 857*2^1004050-1 is not prime. Res64: 24595970E624C648 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:13:39] 651*2^1004051-1 is not prime. Res64: 845BC421A48DF3F8 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:22:55] 735*2^1004051-1 is not prime. Res64: 5D7403C8CC51C8B8 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:22:55] 783*2^1004051-1 is not prime. Res64: A3D9B843397B338F Time : 0.0 sec. user=mdettweiler [2012-02-05 12:24:10] 805*2^1004051-1 is not prime. Res64: FCE7F313F3AFC19D Time : 0.0 sec. user=mdettweiler [2012-02-05 12:24:11] 825*2^1004051-1 is not prime. Res64: 2CBF21809A9196DF Time : 0.0 sec. user=mdettweiler [2012-02-05 12:27:45] 913*2^1004051-1 is not prime. Res64: D948E0C23D17B77C Time : 0.0 sec. user=mdettweiler [2012-02-05 12:27:46] 943*2^1004051-1 is not prime. Res64: 0B4ADB2CB4DC1107 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:28:48] 873*2^1004052-1 is not prime. Res64: 3F0BE94A89B18BEA Time : 0.0 sec. user=mdettweiler [2012-02-05 12:28:49] 945*2^1004052-1 is not prime. Res64: 154B99E5AA00FB6B Time : 0.0 sec. user=mdettweiler [2012-02-05 12:37:47] 679*2^1004053-1 is not prime. Res64: DFD110E7DC42124C Time : 0.0 sec. user=mdettweiler [2012-02-05 12:37:48] 757*2^1004053-1 is not prime. Res64: B9749360353FBCA9 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:38:05] 983*2^1004052-1 is not prime. Res64: C79F94970F39E55C Time : 0.0 sec. user=mdettweiler [2012-02-05 12:38:06] 625*2^1004053-1 is not prime. Res64: 283E3307083DFA48 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:41:19] 771*2^1004053-1 is not prime. Res64: 2A827352717AB12B Time : 0.0 sec. user=mdettweiler [2012-02-05 12:41:19] 801*2^1004053-1 is not prime. Res64: 94F0F2D29485F36A Time : 0.0 sec. user=mdettweiler [2012-02-05 12:42:21] 805*2^1004053-1 is not prime. Res64: 6F92716D0A5B0409 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:42:21] 665*2^1004054-1 is not prime. Res64: D7CBD64272A1EB8E Time : 0.0 sec. user=mdettweiler [2012-02-05 12:51:21] 711*2^1004054-1 is not prime. Res64: FBD9C5843AEC07DD Time : 0.0 sec. user=mdettweiler [2012-02-05 12:51:21] 815*2^1004054-1 is not prime. Res64: 51678425A304DB2E Time : 0.0 sec. user=mdettweiler [2012-02-05 12:54:51] 897*2^1004054-1 is not prime. Res64: 70A201D7DC2CE74D Time : 0.0 sec. user=mdettweiler [2012-02-05 12:54:52] 917*2^1004054-1 is not prime. Res64: 4746DAAEEA7000A7 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:56:28] 981*2^1004054-1 is not prime. Res64: 274CD65CC6AAB6CD Time : 0.0 sec. user=mdettweiler [2012-02-05 12:56:29] 871*2^1004055-1 is not prime. Res64: 46CD3D5C6742B082 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:57:32] 873*2^1004055-1 is not prime. Res64: 789F663830E35B10 Time : 0.0 sec. user=mdettweiler [2012-02-05 12:57:32] 909*2^1004055-1 is not prime. Res64: 56CD4E13B6358B70 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:00:43] 933*2^1004046-1 is not prime. Res64: 39B21AD504303288 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:07:16] 999*2^1004047-1 is not prime. Res64: 50765831BD9B8704 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:07:17] 797*2^1004048-1 is not prime. Res64: 3E32195FE5A2614E Time : 0.0 sec. user=mdettweiler [2012-02-05 13:08:07] 913*2^1004055-1 is not prime. Res64: 301128E8A3770993 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:08:08] 921*2^1004055-1 is not prime. Res64: 8B56C13E7EBDD6D4 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:10:00] 603*2^1004056-1 is not prime. Res64: 2CA0224D61728277 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:10:01] 623*2^1004056-1 is not prime. Res64: F9343107C9E3DEF9 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:10:54] 915*2^1004047-1 is not prime. Res64: 668C3623FFE315AD Time : 0.0 sec. user=mdettweiler [2012-02-05 13:10:55] 919*2^1004047-1 is not prime. Res64: D40FB92CCFA6D46A Time : 0.0 sec. user=mdettweiler [2012-02-05 13:11:05] 645*2^1004056-1 is not prime. Res64: 5F75956B3B5A182E Time : 0.0 sec. user=mdettweiler [2012-02-05 13:11:06] 663*2^1004056-1 is not prime. Res64: 0114FBCAFC495037 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:11:41] 955*2^1004055-1 is not prime. Res64: 2F2EB95B6BB16AF7 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:11:42] 979*2^1004055-1 is not prime. Res64: 5F5B2DC1207B60CD Time : 0.0 sec. user=mdettweiler [2012-02-05 13:23:21] 849*2^1004056-1 is not prime. Res64: 13094C73584C6B6B Time : 0.0 sec. user=mdettweiler [2012-02-05 13:23:21] 903*2^1004056-1 is not prime. Res64: 3166E054166D7517 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:23:43] 631*2^1004057-1 is not prime. Res64: 3E14200FBC16E39C Time : 0.0 sec. user=mdettweiler [2012-02-05 13:23:44] 675*2^1004057-1 is not prime. Res64: 187D9EB9E5A134DF Time : 0.0 sec. user=mdettweiler [2012-02-05 13:24:47] 635*2^1004058-1 is not prime. Res64: 3199C190A3F1AEF8 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:24:47] 677*2^1004058-1 is not prime. Res64: 17C1B83706EBDD85 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:25:15] 681*2^1004058-1 is not prime. Res64: 0EBA5C1D0B12BBA3 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:25:15] 707*2^1004058-1 is not prime. Res64: FA16530D2B912621 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:36:54] 735*2^1004058-1 is not prime. Res64: E856D0746B9A015B Time : 0.0 sec. user=mdettweiler [2012-02-05 13:36:55] 765*2^1004058-1 is not prime. Res64: E4964ED74FC81D00 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:37:17] 767*2^1004058-1 is not prime. Res64: 64FAF13778036180 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:37:17] 885*2^1004058-1 is not prime. Res64: 38CBDF45AFF57BCD Time : 0.0 sec. user=mdettweiler [2012-02-05 13:40:24] 1001*2^1004058-1 is not prime. Res64: 2523EA96D9F86270 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:40:25] 775*2^1004059-1 is not prime. Res64: 10B10F262C387D11 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:41:33] 893*2^1004058-1 is not prime. Res64: D8A408355F24D76F Time : 0.0 sec. user=mdettweiler [2012-02-05 13:41:34] 915*2^1004058-1 is not prime. Res64: 0245D9EADBA1BAE6 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:50:25] 855*2^1004059-1 is not prime. Res64: AD63575F1B625E03 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:50:25] 861*2^1004059-1 is not prime. Res64: 7CBEBF2D0D61BA68 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:53:54] 629*2^1004060-1 is not prime. Res64: 384D85EBAB979551 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:53:54] 665*2^1004060-1 is not prime. Res64: E29261B2D9DF6DE5 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:54:01] 931*2^1004059-1 is not prime. Res64: 7045BD33B2C4BCF6 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:54:01] 973*2^1004059-1 is not prime. Res64: 1890D46F223B51E0 Time : 0.0 sec. user=mdettweiler [2012-02-05 13:55:03] 797*2^1004060-1 is not prime. Res64: 784DD452C1ECFB2D Time : 0.0 sec. user=mdettweiler [2012-02-05 13:55:04] 843*2^1004060-1 is not prime. Res64: 2F26AA6FA4A1D870 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:05:32] 935*2^1004060-1 is not prime. Res64: 4A956217BE6A7E27 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:05:34] 735*2^1004061-1 is not prime. Res64: 32F1B56472E4862C Time : 0.0 sec. user=mdettweiler [2012-02-05 14:07:23] 795*2^1004061-1 is not prime. Res64: C895D3B9A2CAEFE0 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:07:25] 847*2^1004061-1 is not prime. Res64: 6860FA0C990CB2D2 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:10:45] 889*2^1004061-1 is not prime. Res64: 3201147A8062D509 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:10:46] 907*2^1004061-1 is not prime. Res64: 5D3C48A456A7BE61 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:11:51] 951*2^1004061-1 is not prime. Res64: 9BF5207F6D47BA89 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:11:52] 955*2^1004061-1 is not prime. Res64: 7B50E527772E7391 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:19:09] 675*2^1004062-1 is not prime. Res64: 7C1AAC0BB6137753 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:19:10] 843*2^1004062-1 is not prime. Res64: 7FA556DC16269F53 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:20:56] 609*2^1004063-1 is not prime. Res64: AB1B0804DB0456CC Time : 0.0 sec. user=mdettweiler [2012-02-05 14:20:56] 693*2^1004063-1 is not prime. Res64: 931F07B1B3E95BC0 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:25:52] 871*2^1004063-1 is not prime. Res64: 2EC066DB695F4AE9 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:25:53] 913*2^1004063-1 is not prime. Res64: 58C50F8F1A22E1AA Time : 0.0 sec. user=mdettweiler [2012-02-05 14:27:03] 705*2^1004056-1 is not prime. Res64: B608986A88C040BE Time : 0.0 sec. user=mdettweiler [2012-02-05 14:27:03] 785*2^1004056-1 is not prime. Res64: 5F11A7C39481F12A Time : 0.0 sec. user=mdettweiler [2012-02-05 14:28:42] 921*2^1004063-1 is not prime. Res64: C1116AD2911CE150 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:28:42] 985*2^1004063-1 is not prime. Res64: D878B828B8A4FAEC Time : 0.0 sec. user=mdettweiler [2012-02-05 14:30:48] 747*2^1004057-1 is not prime. Res64: 1B2B858AE4F492F3 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:30:49] 615*2^1004058-1 is not prime. Res64: E7B039BF3A3B06ED Time : 0.0 sec. user=mdettweiler [2012-02-05 14:32:46] 623*2^1004064-1 is not prime. Res64: 0D3925F0A34DAE64 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:32:46] 627*2^1004064-1 is not prime. Res64: C424F2D70093B1C9 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:34:41] 693*2^1004064-1 is not prime. Res64: F4BEF40A9B70DFCF Time : 0.0 sec. user=mdettweiler [2012-02-05 14:34:41] 723*2^1004064-1 is not prime. Res64: 8AC3E9345538DFA6 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:39:51] 795*2^1004064-1 is not prime. Res64: BB39EA73B65BBB2B Time : 0.0 sec. user=mdettweiler [2012-02-05 14:39:51] 887*2^1004064-1 is not prime. Res64: 2C3D6441614A34D9 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:46:02] 969*2^1004064-1 is not prime. Res64: 3A4304F3C5F46B45 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:46:03] 983*2^1004064-1 is not prime. Res64: D7295C15819D3D83 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:46:41] 811*2^1004065-1 is not prime. Res64: 394E6C729EE8D5B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:46:41] 855*2^1004065-1 is not prime. Res64: F540D688302DBF89 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:52:43] 915*2^1004065-1 is not prime. Res64: 362CA3E28B7C2A66 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:52:43] 919*2^1004065-1 is not prime. Res64: 9A1E3A3B2456C172 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:55:34] 937*2^1004065-1 is not prime. Res64: 6E8CE257C3389067 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:55:34] 615*2^1004066-1 is not prime. Res64: B20F38C04D0D2B63 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:56:35] 993*2^1004046-1 is not prime. Res64: 8F9A11CCF24AF058 Time : 0.0 sec. user=mdettweiler [2012-02-05 14:59:58] 627*2^1004066-1 is not prime. Res64: 118F24073C19B3DD Time : 0.0 sec. user=mdettweiler [2012-02-05 14:59:58] 651*2^1004066-1 is not prime. Res64: 68AFFC6AFF1BF6DD Time : 0.0 sec. user=mdettweiler [2012-02-05 15:00:38] 741*2^1004066-1 is not prime. Res64: 74E86BCB93091783 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:00:39] 785*2^1004066-1 is not prime. Res64: DE6395E135710984 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:06:17] 851*2^1004066-1 is not prime. Res64: 146621254C06DCA3 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:06:18] 867*2^1004066-1 is not prime. Res64: BFA3AD0C55C891CA Time : 0.0 sec. user=mdettweiler [2012-02-05 15:10:48] 981*2^1004066-1 is not prime. Res64: 981D867A6A05F229 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:10:50] 619*2^1004067-1 is not prime. Res64: 3C1862AC4371DF02 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:13:33] 751*2^1004067-1 is not prime. Res64: 2001A4667FDA948A Time : 0.0 sec. user=mdettweiler [2012-02-05 15:13:34] 801*2^1004067-1 is not prime. Res64: 1DC4FB3C88DA8FC0 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:15:51] 859*2^1004067-1 is not prime. Res64: F8543620CF269EFD Time : 0.0 sec. user=mdettweiler [2012-02-05 15:15:52] 961*2^1004067-1 is not prime. Res64: 11490D8807528A4C Time : 0.0 sec. user=mdettweiler [2012-02-05 15:21:33] 975*2^1004067-1 is not prime. Res64: 30627B8742366514 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:21:33] 639*2^1004068-1 is not prime. Res64: E1FA5A0B04370B10 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:24:30] 657*2^1004068-1 is not prime. Res64: 65A44AA4A0AEC3EF Time : 0.0 sec. user=mdettweiler [2012-02-05 15:24:30] 687*2^1004068-1 is not prime. Res64: 55D34C4699DF46AB Time : 0.0 sec. user=mdettweiler [2012-02-05 15:27:48] 707*2^1004068-1 is not prime. Res64: 818C0ABD17837C97 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:27:48] 773*2^1004068-1 is not prime. Res64: FE53510CD422A49F Time : 0.0 sec. user=mdettweiler [2012-02-05 15:29:54] 825*2^1004068-1 is not prime. Res64: 0E26623FAC80E376 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:29:54] 863*2^1004068-1 is not prime. Res64: 5D6989D89A249741 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:37:21] 887*2^1004068-1 is not prime. Res64: 39190EF6F59C2EA2 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:37:21] 987*2^1004068-1 is not prime. Res64: 2EB11825A512E99B Time : 0.0 sec. user=mdettweiler [2012-02-05 15:40:31] 771*2^1004069-1 is not prime. Res64: 721FE577B5CA236E Time : 0.0 sec. user=mdettweiler [2012-02-05 15:40:31] 939*2^1004069-1 is not prime. Res64: 6B185F4A7EA2AFD7 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:42:26] 657*2^1004070-1 is not prime. Res64: C8F95BF6F66DF54C Time : 0.0 sec. user=mdettweiler [2012-02-05 15:42:27] 695*2^1004070-1 is not prime. Res64: 03DADC7DE2C2E2C4 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:44:22] 747*2^1004070-1 is not prime. Res64: 7311EAE1F576AE53 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:44:22] 755*2^1004070-1 is not prime. Res64: 961AB98EBA05061F Time : 0.0 sec. user=mdettweiler [2012-02-05 15:49:02] 601*2^1004065-1 is not prime. Res64: 41D39386EFCDE9E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:49:02] 799*2^1004065-1 is not prime. Res64: CBB133EE47E4C71D Time : 0.0 sec. user=mdettweiler [2012-02-05 15:51:36] 795*2^1004070-1 is not prime. Res64: 8CB4125B9FADF00C Time : 0.0 sec. user=mdettweiler [2012-02-05 15:51:36] 801*2^1004070-1 is not prime. Res64: 731A80CDBB9E515E Time : 0.0 sec. user=mdettweiler [2012-02-05 15:57:00] 645*2^1004071-1 is not prime. Res64: 15AB74E8D8D38AB7 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:57:01] 651*2^1004071-1 is not prime. Res64: D7D535FEF815C544 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:58:42] 923*2^1004070-1 is not prime. Res64: 1ECB69CF1DFC1CE8 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:58:42] 977*2^1004070-1 is not prime. Res64: 154124D42CF3BF0A Time : 0.0 sec. user=mdettweiler [2012-02-05 15:59:00] 703*2^1004071-1 is not prime. Res64: 1F2A78D0FAC95C19 Time : 0.0 sec. user=mdettweiler [2012-02-05 15:59:01] 723*2^1004071-1 is not prime. Res64: C9073C72C248E2A2 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:03:03] 899*2^1004064-1 is not prime. Res64: 16897C2049397242 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:08:03] 873*2^1004071-1 is not prime. Res64: BEE477D8D84D8434 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:08:04] 913*2^1004071-1 is not prime. Res64: 5291EB76EECC3E3C Time : 0.0 sec. user=mdettweiler [2012-02-05 16:11:30] 617*2^1004072-1 is not prime. Res64: D9179B5E0A124EF7 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:11:31] 827*2^1004072-1 is not prime. Res64: 2BB35B58C88BA5FD Time : 0.0 sec. user=mdettweiler [2012-02-05 16:14:46] 843*2^1004072-1 is not prime. Res64: 1931DF00B435EEC2 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:14:47] 899*2^1004072-1 is not prime. Res64: CBDAFA956A9DE2FE Time : 0.0 sec. user=mdettweiler [2012-02-05 16:15:44] 651*2^1004067-1 is not prime. Res64: 67F479D0E88F05B9 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:15:44] 735*2^1004067-1 is not prime. Res64: 1C2F19B0B0EF4980 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:18:13] 935*2^1004072-1 is not prime. Res64: E4FFD1A04B640160 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:18:13] 691*2^1004073-1 is not prime. Res64: 5683429A9C1F4396 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:23:51] 835*2^1004073-1 is not prime. Res64: D4A5844B4FBE9AD7 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:23:52] 895*2^1004073-1 is not prime. Res64: 768BAFB702D2E321 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:25:31] 621*2^1004074-1 is not prime. Res64: B923C195D484E739 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:25:32] 601*2^1004075-1 is not prime. Res64: A6A7B9B3E23489BF Time : 0.0 sec. user=mdettweiler [2012-02-05 16:28:35] 619*2^1004075-1 is not prime. Res64: 9C40F5239B423B16 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:28:35] 843*2^1004075-1 is not prime. Res64: A33AFFD09AA85D61 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:31:54] 707*2^1004076-1 is not prime. Res64: 302B6F2E28FDAAF2 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:31:54] 725*2^1004076-1 is not prime. Res64: 1D10E27DC7851576 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:37:30] 779*2^1004076-1 is not prime. Res64: F5E8133D3C176EA7 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:37:30] 887*2^1004076-1 is not prime. Res64: 5910F131ECA6B73A Time : 0.0 sec. user=mdettweiler [2012-02-05 16:42:09] 609*2^1004077-1 is not prime. Res64: F21BE9D427FD5153 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:42:10] 615*2^1004077-1 is not prime. Res64: EE00C2324FDC89DF Time : 0.0 sec. user=mdettweiler [2012-02-05 16:42:20] 909*2^1004076-1 is not prime. Res64: 01109ACF0B23006D Time : 0.0 sec. user=mdettweiler [2012-02-05 16:42:20] 993*2^1004076-1 is not prime. Res64: F030D328FA593008 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:45:28] 645*2^1004077-1 is not prime. Res64: 85338F81B7D8D4CF Time : 0.0 sec. user=mdettweiler [2012-02-05 16:45:28] 777*2^1004077-1 is not prime. Res64: F6826F9091286D51 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:51:04] 819*2^1004077-1 is not prime. Res64: C460E244F2C8D772 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:51:04] 885*2^1004077-1 is not prime. Res64: 6EAC0BAA55F1534F Time : 0.0 sec. user=mdettweiler [2012-02-05 16:55:42] 635*2^1004078-1 is not prime. Res64: E417B910A4E8E331 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:55:42] 753*2^1004078-1 is not prime. Res64: 8ABBB6517211852A Time : 0.0 sec. user=mdettweiler [2012-02-05 16:59:07] 897*2^1004078-1 is not prime. Res64: A2D6AABCA64D57B5 Time : 0.0 sec. user=mdettweiler [2012-02-05 16:59:07] 915*2^1004078-1 is not prime. Res64: B34A08137734F3B1 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:00:39] 963*2^1004078-1 is not prime. Res64: 3DC002CAB328AAEA Time : 0.0 sec. user=mdettweiler [2012-02-05 17:00:43] 769*2^1004079-1 is not prime. Res64: B1F77161B04F1BD8 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:07:59] 909*2^1004079-1 is not prime. Res64: 694E9E97527ECE82 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:08:01] 961*2^1004079-1 is not prime. Res64: 1E624B7B872E5852 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:10:20] 759*2^1004071-1 is not prime. Res64: D17E44D4F7C31847 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:10:21] 859*2^1004071-1 is not prime. Res64: 3A89855635CB7883 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:10:47] 975*2^1004079-1 is not prime. Res64: A00224E0C97BA478 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:10:48] 605*2^1004080-1 is not prime. Res64: 3DAB7FBC0175A616 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:12:35] 623*2^1004080-1 is not prime. Res64: FEE8A3870F8FDA06 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:12:36] 677*2^1004080-1 is not prime. Res64: 61CB1CAEED307008 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:15:51] 765*2^1004080-1 is not prime. Res64: 35126FC1A6FFA9AE Time : 0.0 sec. user=mdettweiler [2012-02-05 17:15:52] 915*2^1004080-1 is not prime. Res64: E8FE5355CE3098D9 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:24:53] 957*2^1004080-1 is not prime. Res64: 6F0EC9C3DFA785C4 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:24:53] 999*2^1004080-1 is not prime. Res64: 313EEA2A7F2AFB25 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:26:06] 633*2^1004082-1 is not prime. Res64: BD681A211B17FAD7 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:26:07] 717*2^1004082-1 is not prime. Res64: 841B67322F0816F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:27:36] 937*2^1004081-1 is not prime. Res64: 239CC3713D3BEDD2 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:27:36] 987*2^1004081-1 is not prime. Res64: E614589D65FE7812 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:29:27] 797*2^1004082-1 is not prime. Res64: C9F48D85BBDAD15B Time : 0.0 sec. user=mdettweiler [2012-02-05 17:29:28] 803*2^1004082-1 is not prime. Res64: 949CDE9903B155D8 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:40:26] 875*2^1004082-1 is not prime. Res64: 4A9D8D40101F66C0 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:40:27] 947*2^1004082-1 is not prime. Res64: 1997A9C20774474F Time : 0.0 sec. user=mdettweiler [2012-02-05 17:41:28] 741*2^1004083-1 is not prime. Res64: 91A5F894542CCF73 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:41:28] 811*2^1004083-1 is not prime. Res64: 502A8141488BEAB3 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:41:33] 977*2^1004082-1 is not prime. Res64: 162B0CDE7F43C117 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:41:33] 673*2^1004083-1 is not prime. Res64: 0F6570F4A2067714 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:45:07] 915*2^1004083-1 is not prime. Res64: 014391F3A67FD0B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:45:08] 665*2^1004084-1 is not prime. Res64: EE6E29385D9A8400 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:45:30] 949*2^1004075-1 is not prime. Res64: AACE1BD6C344C20D Time : 0.0 sec. user=mdettweiler [2012-02-05 17:45:31] 675*2^1004076-1 is not prime. Res64: 39B3047E743A5DC8 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:54:02] 707*2^1004084-1 is not prime. Res64: 7EF1C09D71B96E22 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:54:03] 753*2^1004084-1 is not prime. Res64: 22B0FC1E16800EB5 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:55:01] 759*2^1004084-1 is not prime. Res64: AF347F2AA2041148 Time : 0.0 sec. user=mdettweiler [2012-02-05 17:55:02] 827*2^1004084-1 is not prime. Res64: 3F0F8BDC2B43B85B Time : 0.0 sec. user=mdettweiler [2012-02-05 17:55:08] 837*2^1004084-1 is not prime. Res64: D01C392823F1713D Time : 0.0 sec. user=mdettweiler [2012-02-05 17:55:08] 855*2^1004084-1 is not prime. Res64: 68231F2A409946D3 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:00:17] 983*2^1004084-1 is not prime. Res64: 6982ADB105928B38 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:00:18] 679*2^1004085-1 is not prime. Res64: 79CDBA619E1968A3 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:05:15] 915*2^1004064-1 is not prime. Res64: 526D8CFA46CF8EA9 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:07:32] 677*2^1004086-1 is not prime. Res64: 29ABAF1963123B20 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:07:33] 723*2^1004086-1 is not prime. Res64: 650275A0E5F0E3BF Time : 0.0 sec. user=mdettweiler [2012-02-05 18:08:32] 741*2^1004086-1 is not prime. Res64: FF4C7771649C0C30 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:08:33] 867*2^1004086-1 is not prime. Res64: 209AD2E677FDD004 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:11:49] 923*2^1004086-1 is not prime. Res64: 6B102CCBF3D46FB1 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:11:51] 945*2^1004086-1 is not prime. Res64: 91E43231527F6978 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:15:31] 1001*2^1004086-1 is not prime. Res64: 954126E0BC8F3177 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:15:31] 609*2^1004087-1 is not prime. Res64: 9E51F5E9950F0A00 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:21:06] 651*2^1004087-1 is not prime. Res64: F94F303A0A6D6DCC Time : 0.0 sec. user=mdettweiler [2012-02-05 18:21:06] 673*2^1004087-1 is not prime. Res64: 79922D5F1E36E0B7 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:22:07] 705*2^1004087-1 is not prime. Res64: F616186B4C7507F1 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:22:08] 739*2^1004087-1 is not prime. Res64: A21DB94623EC474C Time : 0.0 sec. user=mdettweiler [2012-02-05 18:25:26] 823*2^1004087-1 is not prime. Res64: D5F004EC1664088F Time : 0.0 sec. user=mdettweiler [2012-02-05 18:25:26] 841*2^1004087-1 is not prime. Res64: 6395A4E6755CDB25 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:32:14] 909*2^1004087-1 is not prime. Res64: 5ADD6CA85FC8C9E1 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:32:14] 939*2^1004087-1 is not prime. Res64: B81B1535CA7D493A Time : 0.0 sec. user=mdettweiler [2012-02-05 18:33:22] 627*2^1004081-1 is not prime. Res64: A9F94FEC5721D12A Time : 0.0 sec. user=mdettweiler [2012-02-05 18:33:22] 775*2^1004081-1 is not prime. Res64: EFCCCAD29458CD06 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:35:38] 887*2^1004088-1 is not prime. Res64: 91CCAAB2111F823E Time : 0.0 sec. user=mdettweiler [2012-02-05 18:35:38] 619*2^1004089-1 is not prime. Res64: C2E26E9F5AEC1277 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:36:13] 963*2^1004087-1 is not prime. Res64: F4572B156731B28C Time : 0.0 sec. user=mdettweiler [2012-02-05 18:36:13] 735*2^1004088-1 is not prime. Res64: D01F822619085B97 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:39:00] 661*2^1004089-1 is not prime. Res64: 503F7C5500FC9DD7 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:39:01] 699*2^1004089-1 is not prime. Res64: 0E35DD1ABBF2F1BC Time : 0.0 sec. user=mdettweiler [2012-02-05 18:45:48] 721*2^1004089-1 is not prime. Res64: 411C637AE5AD117D Time : 0.0 sec. user=mdettweiler [2012-02-05 18:45:48] 801*2^1004089-1 is not prime. Res64: 5B8DA5873376AE90 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:49:14] 615*2^1004090-1 is not prime. Res64: 9327163409F022A8 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:49:14] 701*2^1004090-1 is not prime. Res64: 8F17F617347BAE90 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:49:48] 731*2^1004090-1 is not prime. Res64: BEC94C4C631E11EE Time : 0.0 sec. user=mdettweiler [2012-02-05 18:49:49] 753*2^1004090-1 is not prime. Res64: 9285715AAAB45F86 Time : 0.0 sec. user=mdettweiler [2012-02-05 18:52:36] 797*2^1004090-1 is not prime. Res64: 5FDD0CD8FE0FFB3C Time : 0.0 sec. user=mdettweiler [2012-02-05 18:52:37] 851*2^1004090-1 is not prime. Res64: 2B1E797ECF512FFB Time : 0.0 sec. user=mdettweiler [2012-02-05 19:00:56] 957*2^1004090-1 is not prime. Res64: BB46FB3CA60792DF Time : 0.0 sec. user=mdettweiler [2012-02-05 19:00:58] 745*2^1004091-1 is not prime. Res64: A3ACC120F0855239 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:02:50] 819*2^1004091-1 is not prime. Res64: 2D3E9F056DE40CEF Time : 0.0 sec. user=mdettweiler [2012-02-05 19:02:51] 823*2^1004091-1 is not prime. Res64: 532443AE168731B7 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:03:23] 835*2^1004091-1 is not prime. Res64: 812BB7C126201D35 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:03:24] 653*2^1004092-1 is not prime. Res64: 75E712C918D668CA Time : 0.0 sec. user=mdettweiler [2012-02-05 19:06:15] 705*2^1004092-1 is not prime. Res64: 9F915406F4768C68 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:06:17] 855*2^1004092-1 is not prime. Res64: 7719F32266FFFB87 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:11:33] 711*2^1004085-1 is not prime. Res64: 38C2CACE35A69F38 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:11:33] 885*2^1004085-1 is not prime. Res64: 0BBDC34A781D2626 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:16:10] 869*2^1004092-1 is not prime. Res64: 6F40B5AE1C93ACAC Time : 0.0 sec. user=mdettweiler [2012-02-05 19:16:11] 957*2^1004092-1 is not prime. Res64: 410321D7AF6FA010 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:16:56] 691*2^1004093-1 is not prime. Res64: 1C0AE6162EFD3565 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:16:57] 741*2^1004093-1 is not prime. Res64: 82E7FD06A18B2E14 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:17:58] 975*2^1004092-1 is not prime. Res64: 89FFDBA8DAE0293A Time : 0.0 sec. user=mdettweiler [2012-02-05 19:17:59] 615*2^1004093-1 is not prime. Res64: 1A37CA1BF7489848 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:19:51] 771*2^1004093-1 is not prime. Res64: 72E7CE823C703FCF Time : 0.0 sec. user=mdettweiler [2012-02-05 19:19:51] 829*2^1004093-1 is not prime. Res64: 0C86E9567625F528 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:30:31] 679*2^1004095-1 is not prime. Res64: EBEF617A9DAC1310 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:30:32] 735*2^1004095-1 is not prime. Res64: 80BBFA47290D1914 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:31:33] 741*2^1004095-1 is not prime. Res64: A2993D345F20B455 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:31:34] 763*2^1004095-1 is not prime. Res64: 4B74597D0B681E00 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:32:57] 921*2^1004094-1 is not prime. Res64: F77E294B59CB3679 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:32:58] 975*2^1004094-1 is not prime. Res64: 4941F3DEB2F05869 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:33:25] 633*2^1004096-1 is not prime. Res64: 379D933CEEF5DD25 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:33:26] 719*2^1004096-1 is not prime. Res64: B15C957ED94AB165 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:34:38] 621*2^1004087-1 is not prime. Res64: 6D315EA53630C715 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:34:38] 633*2^1004087-1 is not prime. Res64: 53E44895499A40EB Time : 0.0 sec. user=mdettweiler [2012-02-05 19:45:39] 843*2^1004096-1 is not prime. Res64: 0C1D8F088E6FA952 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:45:40] 903*2^1004096-1 is not prime. Res64: 31DE93BA54B4CD42 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:32] 681*2^1004097-1 is not prime. Res64: 8B43CD3D5975217B Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:32] 765*2^1004097-1 is not prime. Res64: A3D5054B256A0EF9 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:42] 969*2^1004096-1 is not prime. Res64: 763EBA3AE5BA4A56 Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:43] 667*2^1004097-1 is not prime. Res64: 4FE33C05EEFDA88A Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:56] 781*2^1004097-1 is not prime. Res64: FBD1356411CE334C Time : 0.0 sec. user=mdettweiler [2012-02-05 19:46:56] 847*2^1004097-1 is not prime. Res64: 55D2C557A88957A3 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:00:12] 623*2^1004098-1 is not prime. Res64: 473FEE6014887BDA Time : 0.0 sec. user=mdettweiler [2012-02-05 20:00:16] 665*2^1004098-1 is not prime. Res64: CAE262C0DEF4E0F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:00:20] 695*2^1004098-1 is not prime. Res64: D6663EB2F418FA50 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:00:20] 735*2^1004098-1 is not prime. Res64: 5D7D311F9C8169A7 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:00:53] 945*2^1004097-1 is not prime. Res64: B6435F512719F608 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:01:06] 621*2^1004098-1 is not prime. Res64: C8589633BB67502A Time : 0.0 sec. user=mdettweiler [2012-02-05 20:02:19] 777*2^1004098-1 is not prime. Res64: 950428FF68E1A28D Time : 0.0 sec. user=mdettweiler [2012-02-05 20:02:20] 933*2^1004098-1 is not prime. Res64: 6C15D5259F9FB89D Time : 0.0 sec. user=mdettweiler [2012-02-05 20:15:15] 841*2^1004089-1 is not prime. Res64: A4D502ADC86DA667 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:15:16] 919*2^1004089-1 is not prime. Res64: 215A5BC738FD7170 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:16:20] 633*2^1004099-1 is not prime. Res64: A7783B63D7D935E9 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:16:20] 703*2^1004099-1 is not prime. Res64: 49D00C77D6200A8C Time : 0.0 sec. user=mdettweiler [2012-02-05 20:18:02] 841*2^1004099-1 is not prime. Res64: AD52DB86CBB5F2F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:18:03] 909*2^1004099-1 is not prime. Res64: 308418464A908863 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:20:01] 993*2^1004099-1 is not prime. Res64: 068B6F2CD73D73C0 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:20:01] 669*2^1004100-1 is not prime. Res64: 4A06FA52CDE8E7AD Time : 0.0 sec. user=mdettweiler [2012-02-05 20:33:36] 825*2^1004100-1 is not prime. Res64: 66F3CD07803170D7 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:33:36] 909*2^1004100-1 is not prime. Res64: 84B71EB501C4E477 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:34:35] 639*2^1004101-1 is not prime. Res64: 9785634BE0B9ADAE Time : 0.0 sec. user=mdettweiler [2012-02-05 20:34:35] 727*2^1004101-1 is not prime. Res64: 781A0EE28B105E48 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:35:00] 927*2^1004100-1 is not prime. Res64: 022FEEF60D83779D Time : 0.0 sec. user=mdettweiler [2012-02-05 20:35:00] 615*2^1004101-1 is not prime. Res64: C4822EB8990DAD55 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:47:59] 635*2^1004102-1 is not prime. Res64: 049507669022AC81 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:47:59] 705*2^1004102-1 is not prime. Res64: B14EDBAC0B6F439B Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:17] 741*2^1004102-1 is not prime. Res64: EF81014CAE465189 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:17] 755*2^1004102-1 is not prime. Res64: 0632FF91B4B23FBB Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:37] 707*2^1004094-1 is not prime. Res64: 747D2CEFF6571E07 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:37] 795*2^1004094-1 is not prime. Res64: A6716D11BF9C88FD Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:41] 831*2^1004102-1 is not prime. Res64: 76055FE6E4EF10B8 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:48:41] 833*2^1004102-1 is not prime. Res64: 980942F089E6C6EC Time : 0.0 sec. user=mdettweiler [2012-02-05 20:50:30] 925*2^1004101-1 is not prime. Res64: B601A2B2F7E7D4D2 Time : 0.0 sec. user=mdettweiler [2012-02-05 20:50:30] 937*2^1004101-1 is not prime. Res64: 8D604A6F2A697F2A Time : 0.0 sec. user=mdettweiler [2012-02-05 21:02:02] 625*2^1004103-1 is not prime. Res64: 96365D124FDED100 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:02:03] 675*2^1004103-1 is not prime. Res64: 1653043F4D7F8C44 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:02:23] 739*2^1004103-1 is not prime. Res64: 4B0F464D7D2FA142 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:02:24] 765*2^1004103-1 is not prime. Res64: E237B775B1774109 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:04:12] 783*2^1004103-1 is not prime. Res64: 18C247ED9F85F70E Time : 0.0 sec. user=mdettweiler [2012-02-05 21:04:14] 793*2^1004103-1 is not prime. Res64: 7D7BDCE56E8316B3 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:04:53] 911*2^1004102-1 is not prime. Res64: B887DB538CCE27B2 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:04:55] 941*2^1004102-1 is not prime. Res64: 5583BD6322E0EB51 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:00] 825*2^1004103-1 is not prime. Res64: 397499879EFB642A Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:00] 973*2^1004103-1 is not prime. Res64: FF2777A17A3952CD Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:15] 677*2^1004104-1 is not prime. Res64: 0B40CB6DCCA9F311 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:15] 843*2^1004104-1 is not prime. Res64: 295424EFCCC23C17 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:16] 991*2^1004103-1 is not prime. Res64: EE838AFEC54ECA6F Time : 0.0 sec. user=mdettweiler [2012-02-05 21:18:16] 657*2^1004104-1 is not prime. Res64: 25DEEA8F10462DE9 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:19:11] 855*2^1004104-1 is not prime. Res64: EFAA327B10797D66 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:19:12] 697*2^1004105-1 is not prime. Res64: 156E4DBEA94B5549 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:28:48] 895*2^1004097-1 is not prime. Res64: 3D5E6B63A5464789 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:28:49] 909*2^1004097-1 is not prime. Res64: E4D3B57443711455 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:00] 711*2^1004105-1 is not prime. Res64: 4289CB928494C825 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:00] 721*2^1004105-1 is not prime. Res64: 427B9DFE8DFF35CF Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:03] 787*2^1004105-1 is not prime. Res64: C32CB614FC104D45 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:03] 847*2^1004105-1 is not prime. Res64: 1786585A0E8264CA Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:17] 861*2^1004105-1 is not prime. Res64: D8EA461676746A4A Time : 0.0 sec. user=mdettweiler [2012-02-05 21:32:17] 885*2^1004105-1 is not prime. Res64: 05F6B8B6D2DA92B3 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:34:39] 949*2^1004105-1 is not prime. Res64: BBD6DDFE9649AB2F Time : 0.0 sec. user=mdettweiler [2012-02-05 21:34:39] 633*2^1004106-1 is not prime. Res64: C2083786986D31F5 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:49] 747*2^1004106-1 is not prime. Res64: 586A6347927E2FE6 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:49] 755*2^1004106-1 is not prime. Res64: 35BF9866955539B9 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:50] 807*2^1004106-1 is not prime. Res64: DF9E0A0CEF0D7090 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:50] 851*2^1004106-1 is not prime. Res64: 919D5444750BDA3D Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:59] 689*2^1004100-1 is not prime. Res64: 13D537A13F749CB1 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:45:59] 765*2^1004100-1 is not prime. Res64: CF21C7B286A99D20 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:46:07] 861*2^1004106-1 is not prime. Res64: 172058C9B3565BB3 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:46:07] 873*2^1004106-1 is not prime. Res64: 636CC3DCC1C1D731 Time : 0.0 sec. user=mdettweiler [2012-02-05 21:51:57] 917*2^1004106-1 is not prime. Res64: 15C6B654218B58BB Time : 0.0 sec. user=mdettweiler [2012-02-05 21:51:58] 983*2^1004106-1 is not prime. Res64: 325AFFB91FCF1BBE Time : 0.0 sec. user=mdettweiler [2012-02-05 21:59:53] 691*2^1004107-1 is not prime. Res64: F5A3A30EF110D25A Time : 0.0 sec. user=mdettweiler [2012-02-05 21:59:53] 759*2^1004107-1 is not prime. Res64: 58937EA77932702A Time : 0.0 sec. user=mdettweiler [2012-02-05 22:01:07] 973*2^1004107-1 is not prime. Res64: 636ED4B470C70B21 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:01:09] 615*2^1004108-1 is not prime. Res64: 179BFEA98FED01BF Time : 0.0 sec. user=mdettweiler [2012-02-05 22:03:06] 893*2^1004108-1 is not prime. Res64: 7A8E3BCCFC789F7B Time : 0.0 sec. user=mdettweiler [2012-02-05 22:03:07] 923*2^1004108-1 is not prime. Res64: F21723CD4FD033F4 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:07:13] 953*2^1004108-1 is not prime. Res64: D8FB580CB223AF23 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:07:14] 609*2^1004109-1 is not prime. Res64: 25F82ECC2E073D9D Time : 0.0 sec. user=mdettweiler [2012-02-05 22:13:23] 693*2^1004103-1 is not prime. Res64: 2445DC1A8EF950E3 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:13:25] 735*2^1004103-1 is not prime. Res64: 028AA78B54FA12C5 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:13:44] 649*2^1004109-1 is not prime. Res64: E8545BD0AA73B35A Time : 0.0 sec. user=mdettweiler [2012-02-05 22:13:45] 657*2^1004109-1 is not prime. Res64: 0BC97216B902B394 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:16:41] 789*2^1004109-1 is not prime. Res64: A3C4DD8A9BFF97F7 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:16:41] 895*2^1004109-1 is not prime. Res64: AFF2F49AEB57FFD6 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:18:28] 999*2^1004109-1 is not prime. Res64: 976F7CD2B2870B5A Time : 0.0 sec. user=mdettweiler [2012-02-05 22:18:28] 603*2^1004110-1 is not prime. Res64: 1057FA1B636CADE9 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:21:00] 635*2^1004110-1 is not prime. Res64: 44467C70DE79D666 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:21:00] 723*2^1004110-1 is not prime. Res64: 9EE96CCC53AC9741 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:27:40] 661*2^1004111-1 is not prime. Res64: 49E65742EA9A69A5 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:27:40] 841*2^1004111-1 is not prime. Res64: 68D7BB19D98A2F91 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:30:29] 843*2^1004111-1 is not prime. Res64: 38969F06EB08167E Time : 0.0 sec. user=mdettweiler [2012-02-05 22:30:30] 871*2^1004111-1 is not prime. Res64: 6FE0433572A9170D Time : 0.0 sec. user=mdettweiler [2012-02-05 22:34:47] 639*2^1004112-1 is not prime. Res64: 0461E8BCBC006CB6 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:34:47] 689*2^1004112-1 is not prime. Res64: E5C3C48E75E7CF7D Time : 0.0 sec. user=mdettweiler [2012-02-05 22:35:26] 943*2^1004111-1 is not prime. Res64: 54FAD7E091087E13 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:35:26] 955*2^1004111-1 is not prime. Res64: 540F90652512BE45 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:43:00] 819*2^1004112-1 is not prime. Res64: 347A39576E703E1F Time : 0.0 sec. user=mdettweiler [2012-02-05 22:43:00] 903*2^1004112-1 is not prime. Res64: F591FB1CFFA05C57 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:47:16] 929*2^1004112-1 is not prime. Res64: 9AD2F27F6AD13FBF Time : 0.0 sec. user=mdettweiler [2012-02-05 22:47:16] 959*2^1004112-1 is not prime. Res64: 04A474248CE38BD4 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:49:00] 687*2^1004113-1 is not prime. Res64: 5AF885AE7A3763B2 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:49:00] 831*2^1004113-1 is not prime. Res64: AAE8B0B374245987 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:49:52] 983*2^1004112-1 is not prime. Res64: 3B8452F05EBB7482 Time : 0.0 sec. user=mdettweiler [2012-02-05 22:49:52] 625*2^1004113-1 is not prime. Res64: 5A12F36A7721EF3E Time : 0.0 sec. user=mdettweiler [2012-02-05 22:59:36] 901*2^1004113-1 is not prime. Res64: DF6FDE568202426F Time : 0.0 sec. user=mdettweiler [2012-02-05 22:59:36] 915*2^1004113-1 is not prime. Res64: 4DBDDF28755E46C2 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:02:22] 951*2^1004113-1 is not prime. Res64: E88CE2F31EFE7962 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:02:22] 615*2^1004114-1 is not prime. Res64: 50DBE078D8C2DE53 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:04:05] 677*2^1004114-1 is not prime. Res64: B7B431E898403F79 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:04:07] 903*2^1004114-1 is not prime. Res64: 773D09D0D66D0134 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:04:55] 921*2^1004114-1 is not prime. Res64: 76C3B8B5991BC743 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:04:57] 691*2^1004115-1 is not prime. Res64: C9DDA96508E0CCA6 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:13:09] 699*2^1004115-1 is not prime. Res64: DA3BB43C6CA56393 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:13:11] 873*2^1004115-1 is not prime. Res64: FCC33A9E27C2CD9D Time : 0.0 sec. user=mdettweiler [2012-02-05 23:17:27] 969*2^1004115-1 is not prime. Res64: 825147FD87A3D12F Time : 0.0 sec. user=mdettweiler [2012-02-05 23:17:28] 617*2^1004116-1 is not prime. Res64: 70047864E76CD047 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:17:46] 717*2^1004116-1 is not prime. Res64: 50A4EFBCE59621E7 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:17:47] 749*2^1004116-1 is not prime. Res64: 1E1951E45AEAC4B6 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:18:31] 773*2^1004116-1 is not prime. Res64: 4CFF7D47FCC50660 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:18:31] 855*2^1004116-1 is not prime. Res64: 0C4C4E0F2BA8C636 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:23:57] 629*2^1004108-1 is not prime. Res64: D3A94F1DC64753B1 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:23:58] 665*2^1004108-1 is not prime. Res64: 94ADFAC937142E5F Time : 0.0 sec. user=mdettweiler [2012-02-05 23:24:28] 683*2^1004106-1 is not prime. Res64: 9951FFCD209B81F9 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:24:28] 713*2^1004106-1 is not prime. Res64: 110522565EA8EF45 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:24:41] 825*2^1004110-1 is not prime. Res64: 30029BAFA4A088BA Time : 0.0 sec. user=mdettweiler [2012-02-05 23:27:00] 857*2^1004116-1 is not prime. Res64: CF89B3C79114A10F Time : 0.0 sec. user=mdettweiler [2012-02-05 23:27:00] 873*2^1004116-1 is not prime. Res64: 3083E2D3652B5224 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:30:55] 601*2^1004111-1 is not prime. Res64: DF5ECF1828CAF704 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:31:18] 601*2^1004117-1 is not prime. Res64: 7BC0D7071064CCCB Time : 0.0 sec. user=mdettweiler [2012-02-05 23:31:19] 691*2^1004117-1 is not prime. Res64: C475D82667BEE9BF Time : 0.0 sec. user=mdettweiler [2012-02-05 23:32:03] 711*2^1004117-1 is not prime. Res64: 5FCACBA6B4ED6A4A Time : 0.0 sec. user=mdettweiler [2012-02-05 23:32:03] 735*2^1004117-1 is not prime. Res64: 7BAA5A49D8F1680B Time : 0.0 sec. user=mdettweiler [2012-02-05 23:34:04] 905*2^1004116-1 is not prime. Res64: E0F840666D9A0005 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:34:05] 987*2^1004116-1 is not prime. Res64: 3E0E8388A5CC0A60 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:40:31] 621*2^1004118-1 is not prime. Res64: BFE86EB2D39B38FA Time : 0.0 sec. user=mdettweiler [2012-02-05 23:40:31] 627*2^1004118-1 is not prime. Res64: B03A36E07D8A28FC Time : 0.0 sec. user=mdettweiler [2012-02-05 23:45:33] 621*2^1004119-1 is not prime. Res64: 3EE78491D960CE7A Time : 0.0 sec. user=mdettweiler [2012-02-05 23:45:34] 645*2^1004119-1 is not prime. Res64: 609CBA0619C3EBE4 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:46:20] 951*2^1004118-1 is not prime. Res64: 242F0E7D8BBA3CDD Time : 0.0 sec. user=mdettweiler [2012-02-05 23:46:21] 615*2^1004119-1 is not prime. Res64: 0BF2F9F5C6BCDF18 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:47:34] 771*2^1004119-1 is not prime. Res64: A8171F85FF5F2F8F Time : 0.0 sec. user=mdettweiler [2012-02-05 23:47:34] 873*2^1004119-1 is not prime. Res64: 6A8B52C06C0BCD97 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:57:06] 909*2^1004119-1 is not prime. Res64: ECF4DDACF95A65E6 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:57:07] 969*2^1004119-1 is not prime. Res64: 4967CD58F993ABE0 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:59:51] 717*2^1004120-1 is not prime. Res64: 40BDD238D94EF068 Time : 0.0 sec. user=mdettweiler [2012-02-05 23:59:52] 725*2^1004120-1 is not prime. Res64: 76A57F3C257BB2CE Time : 0.0 sec.