user=mdettweiler [2012-12-07 00:04:46] 723*2^1236958-1 is not prime. Res64: 87B715A4D5EFDBEC Time : 0.0 sec. user=mdettweiler [2012-12-07 00:04:47] 777*2^1236958-1 is not prime. Res64: AED9D98F467D272F Time : 0.0 sec. user=mdettweiler [2012-12-07 00:13:26] 825*2^1236958-1 is not prime. Res64: 57AE3634B9568778 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:13:30] 861*2^1236958-1 is not prime. Res64: 1D947657ED3114B9 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:22:12] 981*2^1236958-1 is not prime. Res64: 750D530D1EF5FFC1 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:22:13] 601*2^1236959-1 is not prime. Res64: CAC5DB429219263D Time : 0.0 sec. user=mdettweiler [2012-12-07 00:31:09] 669*2^1236959-1 is not prime. Res64: F17BDD466D8EB510 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:31:10] 711*2^1236959-1 is not prime. Res64: 4F0CD298541B2222 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:39:35] 735*2^1236959-1 is not prime. Res64: C8E52A87C246EF27 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:39:36] 865*2^1236959-1 is not prime. Res64: C89A2AB23194F9D2 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:48:32] 797*2^1236960-1 is not prime. Res64: 5306ACB6FBF54797 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:48:32] 857*2^1236960-1 is not prime. Res64: 746C30E114DB8C2A Time : 0.0 sec. user=mdettweiler [2012-12-07 00:56:58] 863*2^1236960-1 is not prime. Res64: BDD1BB765D1E98F5 Time : 0.0 sec. user=mdettweiler [2012-12-07 00:56:58] 679*2^1236961-1 is not prime. Res64: 37A259E5D2ED2B0B Time : 0.0 sec. user=mdettweiler [2012-12-07 01:06:00] 769*2^1236961-1 is not prime. Res64: C53613DB8CFA1D49 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:06:01] 805*2^1236961-1 is not prime. Res64: AE2C8177F8BC6538 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:14:28] 999*2^1236961-1 is not prime. Res64: AD3F72D810337849 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:14:30] 645*2^1236962-1 is not prime. Res64: 573464AA96723DCA Time : 0.0 sec. user=mdettweiler [2012-12-07 01:23:27] 831*2^1236962-1 is not prime. Res64: 7D8F75948DBD3914 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:23:28] 977*2^1236962-1 is not prime. Res64: BE07AD9562D2FF2D Time : 0.0 sec. user=mdettweiler [2012-12-07 01:32:03] 619*2^1236963-1 is not prime. Res64: 7158EC6F0BDD1144 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:32:03] 751*2^1236963-1 is not prime. Res64: 5A56BE802959E084 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:40:48] 823*2^1236963-1 is not prime. Res64: B42B49772CA95631 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:40:48] 835*2^1236963-1 is not prime. Res64: 6CFA51F2FC6402F1 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:49:24] 849*2^1236963-1 is not prime. Res64: D13F03706CAB9295 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:49:24] 873*2^1236963-1 is not prime. Res64: 0AFAB8B67D7E118A Time : 0.0 sec. user=mdettweiler [2012-12-07 01:58:09] 901*2^1236963-1 is not prime. Res64: 60D11B935DCA7810 Time : 0.0 sec. user=mdettweiler [2012-12-07 01:58:09] 921*2^1236963-1 is not prime. Res64: 537A07F0F50A4C28 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:06:45] 985*2^1236963-1 is not prime. Res64: 057C636E18533722 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:06:46] 665*2^1236964-1 is not prime. Res64: C621DD1FB66B9F63 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:15:30] 677*2^1236964-1 is not prime. Res64: 3FA5E04B272147D2 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:15:31] 687*2^1236964-1 is not prime. Res64: 2B37F557BE671CAC Time : 0.0 sec. user=mdettweiler [2012-12-07 02:24:08] 705*2^1236964-1 is not prime. Res64: D3B8364BFB0960F2 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:24:09] 783*2^1236964-1 is not prime. Res64: E56AE6FB7C6B1688 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:32:54] 929*2^1236964-1 is not prime. Res64: 6E6464E6B4F06012 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:32:58] 697*2^1236965-1 is not prime. Res64: 5CC3CEBBCCC92B4D Time : 0.0 sec. user=mdettweiler [2012-12-07 02:41:29] 727*2^1236965-1 is not prime. Res64: 61DF46BCFF8CCA6F Time : 0.0 sec. user=mdettweiler [2012-12-07 02:41:31] 757*2^1236965-1 is not prime. Res64: CD53F80C15398041 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:50:23] 775*2^1236965-1 is not prime. Res64: 78C50BADAAF9E68B Time : 0.0 sec. user=mdettweiler [2012-12-07 02:50:24] 859*2^1236965-1 is not prime. Res64: 62A2AE7789C62D22 Time : 0.0 sec. user=mdettweiler [2012-12-07 02:59:11] 871*2^1236965-1 is not prime. Res64: D67040F0BF4C58CE Time : 0.0 sec. user=mdettweiler [2012-12-07 02:59:14] 937*2^1236965-1 is not prime. Res64: BE20BF3DDE7654B1 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:07:50] 627*2^1236966-1 is not prime. Res64: EBD6EE0082E85EA1 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:07:54] 707*2^1236966-1 is not prime. Res64: 3D82BE8A99E77295 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:17:06] 737*2^1236966-1 is not prime. Res64: 397CD955335BFD31 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:17:06] 765*2^1236966-1 is not prime. Res64: 4E885E4D3D0B225B Time : 0.0 sec. user=mdettweiler [2012-12-07 03:25:23] 821*2^1236966-1 is not prime. Res64: CC4FB8A56E313C99 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:25:24] 875*2^1236966-1 is not prime. Res64: F02611CBC7D33A32 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:34:30] 881*2^1236966-1 is not prime. Res64: AE43058830D7266B Time : 0.0 sec. user=mdettweiler [2012-12-07 03:34:32] 609*2^1236967-1 is not prime. Res64: 11B63851A73B7A98 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:42:41] 645*2^1236967-1 is not prime. Res64: AA9A06B47D923F75 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:42:45] 663*2^1236967-1 is not prime. Res64: D822F8ED06ABACF3 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:52:06] 705*2^1236967-1 is not prime. Res64: 2B2EF8DD90C78AF8 Time : 0.0 sec. user=mdettweiler [2012-12-07 03:52:07] 735*2^1236967-1 is not prime. Res64: B0D46B0365BDC204 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:00:26] 805*2^1236967-1 is not prime. Res64: 87D728914574DE73 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:00:27] 901*2^1236967-1 is not prime. Res64: 35E323197A79DD9A Time : 0.0 sec. user=mdettweiler [2012-12-07 04:09:24] 913*2^1236967-1 is not prime. Res64: 414936BF80E8E1D3 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:09:26] 623*2^1236968-1 is not prime. Res64: 136376CD4ADF5764 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:17:45] 687*2^1236968-1 is not prime. Res64: 27EB1ED0EAA34618 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:17:46] 743*2^1236968-1 is not prime. Res64: 371A3EBEA1D629E4 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:26:55] 747*2^1236968-1 is not prime. Res64: 5A76374BFBA98A41 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:26:55] 773*2^1236968-1 is not prime. Res64: F5CD6493E6A35C36 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:35:05] 825*2^1236968-1 is not prime. Res64: CA8D0CF8E6B6FB2B Time : 0.0 sec. user=mdettweiler [2012-12-07 04:35:10] 855*2^1236968-1 is not prime. Res64: 8871C127D34D3EA8 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:44:12] 923*2^1236968-1 is not prime. Res64: F1131B8B91B52BFD Time : 0.0 sec. user=mdettweiler [2012-12-07 04:44:13] 957*2^1236968-1 is not prime. Res64: 78F9BF8B5261CAE6 Time : 0.0 sec. user=mdettweiler [2012-12-07 04:52:59] 847*2^1236969-1 is not prime. Res64: 2D4D3B31A4C4A97C Time : 0.0 sec. user=mdettweiler [2012-12-07 04:53:00] 907*2^1236969-1 is not prime. Res64: 769BFB6C644D564B Time : 0.0 sec. user=mdettweiler [2012-12-07 05:01:42] 713*2^1236970-1 is not prime. Res64: 670BCECFE9B52EC9 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:01:45] 803*2^1236970-1 is not prime. Res64: 1746C199AB96E096 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:10:17] 833*2^1236970-1 is not prime. Res64: D1267EBDD0952B76 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:10:18] 601*2^1236971-1 is not prime. Res64: 4B1BB98D7B576BFD Time : 0.0 sec. user=mdettweiler [2012-12-07 05:19:19] 609*2^1236971-1 is not prime. Res64: CE0121DF91A05FBC Time : 0.0 sec. user=mdettweiler [2012-12-07 05:19:20] 631*2^1236971-1 is not prime. Res64: 6DBCDF6F2D1B3B81 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:27:39] 705*2^1236971-1 is not prime. Res64: 09116C5A430284A3 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:27:39] 741*2^1236971-1 is not prime. Res64: D5F62F6EC5252ABD Time : 0.0 sec. user=mdettweiler [2012-12-07 05:36:37] 801*2^1236971-1 is not prime. Res64: 366800E9F42A0EF9 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:36:37] 999*2^1236971-1 is not prime. Res64: DB16CF8020F28E4A Time : 0.0 sec. user=mdettweiler [2012-12-07 05:44:56] 665*2^1236972-1 is not prime. Res64: 5D1B5347E402E81E Time : 0.0 sec. user=mdettweiler [2012-12-07 05:44:57] 683*2^1236972-1 is not prime. Res64: B3924D7E2D23EAD2 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:53:54] 695*2^1236972-1 is not prime. Res64: CE7E7DE515DB7BF0 Time : 0.0 sec. user=mdettweiler [2012-12-07 05:53:54] 863*2^1236972-1 is not prime. Res64: 25111A92B5FD372B Time : 0.0 sec. user=mdettweiler [2012-12-07 06:02:14] 873*2^1236972-1 is not prime. Res64: 53B73AF7CE1C7306 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:02:15] 977*2^1236972-1 is not prime. Res64: 4F16DB444D80318A Time : 0.0 sec. user=mdettweiler [2012-12-07 06:11:12] 983*2^1236972-1 is not prime. Res64: A4D9EE6E70161A40 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:11:20] 649*2^1236973-1 is not prime. Res64: C68805B2CEAA4153 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:19:34] 741*2^1236973-1 is not prime. Res64: F3F9DAF5447D330F Time : 0.0 sec. user=mdettweiler [2012-12-07 06:19:35] 867*2^1236973-1 is not prime. Res64: C9C0987B3A4084C5 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:29:04] 915*2^1236973-1 is not prime. Res64: 8719E2C1D84E5D5A Time : 0.0 sec. user=mdettweiler [2012-12-07 06:29:05] 945*2^1236973-1 is not prime. Res64: F0191E84D791A8D1 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:36:59] 615*2^1236974-1 is not prime. Res64: 1AEA1A4A810F43E7 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:37:00] 663*2^1236974-1 is not prime. Res64: 5CB24BBD462740F6 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:46:23] 741*2^1236974-1 is not prime. Res64: 910D98C7E72086C8 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:46:23] 753*2^1236974-1 is not prime. Res64: FC3FD95607C32E51 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:54:20] 755*2^1236974-1 is not prime. Res64: A1D51A1AE00140E5 Time : 0.0 sec. user=mdettweiler [2012-12-07 06:54:20] 791*2^1236974-1 is not prime. Res64: 22834C4731761770 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:03:41] 827*2^1236974-1 is not prime. Res64: 54DB85AB18B829F4 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:03:42] 885*2^1236974-1 is not prime. Res64: F81F98A7C8DCC772 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:11:38] 887*2^1236974-1 is not prime. Res64: 7F965A3B0CD495F4 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:11:40] 915*2^1236974-1 is not prime. Res64: 530FE16F01305566 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:21:04] 921*2^1236974-1 is not prime. Res64: 24572634E146DFB6 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:21:07] 613*2^1236975-1 is not prime. Res64: 5809EC9DBC3AD698 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:28:59] 829*2^1236975-1 is not prime. Res64: E11E06FA19DF6557 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:28:59] 871*2^1236975-1 is not prime. Res64: A5B816799654774A Time : 0.0 sec. user=mdettweiler [2012-12-07 07:38:37] 933*2^1236975-1 is not prime. Res64: 897FFB4600FF5C52 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:38:38] 615*2^1236976-1 is not prime. Res64: 10FC378D7DC95F37 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:46:16] 747*2^1236976-1 is not prime. Res64: 25E58D91272F4FB0 Time : 0.0 sec. user=mdettweiler [2012-12-07 07:46:17] 777*2^1236976-1 is not prime. Res64: E06C1B0594B6CCBB Time : 0.0 sec. user=mdettweiler [2012-12-07 07:55:55] 779*2^1236976-1 is not prime. Res64: CB71A9F71DF38A3C Time : 0.0 sec. user=mdettweiler [2012-12-07 07:55:56] 785*2^1236976-1 is not prime. Res64: F542580B7ADA8A34 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:03:35] 843*2^1236976-1 is not prime. Res64: 71F5EFC95D0267A4 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:03:37] 869*2^1236976-1 is not prime. Res64: 24CD53AF89A700D5 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:13:12] 939*2^1236976-1 is not prime. Res64: 712A386D7FEE1AC3 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:13:13] 999*2^1236976-1 is not prime. Res64: 56BE63A0EB518DBD Time : 0.0 sec. user=mdettweiler [2012-12-07 08:20:59] 735*2^1236977-1 is not prime. Res64: C1F38CED62DC7E25 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:21:00] 847*2^1236977-1 is not prime. Res64: 74E9A8865DE99C1B Time : 0.0 sec. user=mdettweiler [2012-12-07 08:30:34] 967*2^1236977-1 is not prime. Res64: 5D37CF98DD18BAD9 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:30:35] 991*2^1236977-1 is not prime. Res64: E73697ED7D6D148F Time : 0.0 sec. user=mdettweiler [2012-12-07 08:38:18] 621*2^1236978-1 is not prime. Res64: A79276ADDD95BC28 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:38:19] 927*2^1236978-1 is not prime. Res64: D0ABB1B9B0797724 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:47:53] 933*2^1236978-1 is not prime. Res64: 883CE34AE5468347 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:47:53] 957*2^1236978-1 is not prime. Res64: AED851077BB134B0 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:55:37] 993*2^1236978-1 is not prime. Res64: A275D83529CE6167 Time : 0.0 sec. user=mdettweiler [2012-12-07 08:55:38] 601*2^1236979-1 is not prime. Res64: EA679F7CFAEFFACD Time : 0.0 sec. user=mdettweiler [2012-12-07 09:05:11] 619*2^1236979-1 is not prime. Res64: 17CBA32A679AE38E Time : 0.0 sec. user=mdettweiler [2012-12-07 09:05:13] 801*2^1236979-1 is not prime. Res64: BA3B7B9996C2D092 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:12:54] 895*2^1236979-1 is not prime. Res64: A607D9D695D73329 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:13:00] 973*2^1236979-1 is not prime. Res64: C894C2DCA3C2CBB8 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:22:32] 659*2^1236980-1 is not prime. Res64: FA83D6C123A46090 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:22:33] 795*2^1236980-1 is not prime. Res64: A702F2BC1B9EFE58 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:30:24] 909*2^1236980-1 is not prime. Res64: E246A27A52F7B24B Time : 0.0 sec. user=mdettweiler [2012-12-07 09:30:24] 929*2^1236980-1 is not prime. Res64: C743E50376E25C9A Time : 0.0 sec. user=mdettweiler [2012-12-07 09:39:52] 621*2^1236981-1 is not prime. Res64: AE08FD0D6A477A0B Time : 0.0 sec. user=mdettweiler [2012-12-07 09:39:52] 651*2^1236981-1 is not prime. Res64: 2CAE5A912079864C Time : 0.0 sec. user=mdettweiler [2012-12-07 09:47:43] 681*2^1236981-1 is not prime. Res64: 98D44A02158F6F14 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:47:43] 727*2^1236981-1 is not prime. Res64: E1411E4A75B46F4A Time : 0.0 sec. user=mdettweiler [2012-12-07 09:57:10] 811*2^1236981-1 is not prime. Res64: 5069270D92F61B11 Time : 0.0 sec. user=mdettweiler [2012-12-07 09:57:11] 847*2^1236981-1 is not prime. Res64: A68CA595C9A71BE0 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:05:00] 921*2^1236981-1 is not prime. Res64: 090615C8FC0DF225 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:05:01] 955*2^1236981-1 is not prime. Res64: 1925AFD1367E9390 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:14:29] 617*2^1236982-1 is not prime. Res64: E36D60727D810559 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:14:30] 635*2^1236982-1 is not prime. Res64: 0B87DB8E6E68CFF5 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:22:20] 645*2^1236982-1 is not prime. Res64: F798CE6C16040AB5 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:22:21] 651*2^1236982-1 is not prime. Res64: F8283D7B3B58B002 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:31:54] 723*2^1236982-1 is not prime. Res64: 997EE28B86D92635 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:31:55] 731*2^1236982-1 is not prime. Res64: C76DB8E621D8BAE6 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:39:39] 827*2^1236982-1 is not prime. Res64: 51EECD47566F8DBA Time : 0.0 sec. user=mdettweiler [2012-12-07 10:39:39] 855*2^1236982-1 is not prime. Res64: 841882E317B1E4F1 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:49:12] 867*2^1236982-1 is not prime. Res64: 87BC0031CF7DB6ED Time : 0.0 sec. user=mdettweiler [2012-12-07 10:49:12] 885*2^1236982-1 is not prime. Res64: 28690016E1091D71 Time : 0.0 sec. user=mdettweiler [2012-12-07 10:56:56] 911*2^1236982-1 is not prime. Res64: D77E5401811FBD5B Time : 0.0 sec. user=mdettweiler [2012-12-07 10:56:57] 1001*2^1236982-1 is not prime. Res64: D87BAC5275459224 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:06:30] 661*2^1236983-1 is not prime. Res64: 3258A8680E6E3B4F Time : 0.0 sec. user=mdettweiler [2012-12-07 11:06:32] 715*2^1236983-1 is not prime. Res64: FEDD618708083034 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:14:15] 735*2^1236983-1 is not prime. Res64: 1E99BD914021B93A Time : 0.0 sec. user=mdettweiler [2012-12-07 11:14:16] 805*2^1236983-1 is not prime. Res64: 5216D71EC86EC0F7 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:23:59] 861*2^1236983-1 is not prime. Res64: 5B84BDAFFDBCD11A Time : 0.0 sec. user=mdettweiler [2012-12-07 11:23:59] 949*2^1236983-1 is not prime. Res64: 1830D308A723B7ED Time : 0.0 sec. user=mdettweiler [2012-12-07 11:31:41] 623*2^1236984-1 is not prime. Res64: ACC41B70201CBA46 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:31:42] 629*2^1236984-1 is not prime. Res64: 97D9935D1C38EE44 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:41:17] 663*2^1236984-1 is not prime. Res64: 199E60BA125C7AC2 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:41:18] 737*2^1236984-1 is not prime. Res64: 4FF7FD54D426F839 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:48:59] 759*2^1236984-1 is not prime. Res64: 8A68FADC96891A4F Time : 0.0 sec. user=mdettweiler [2012-12-07 11:48:59] 873*2^1236984-1 is not prime. Res64: 3AC97CFA08347E69 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:58:37] 887*2^1236984-1 is not prime. Res64: B5B67B817A408CF7 Time : 0.0 sec. user=mdettweiler [2012-12-07 11:58:37] 959*2^1236984-1 is not prime. Res64: 0DE4130C242FCCA9 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:06:22] 759*2^1236985-1 is not prime. Res64: B3098F6B688BCA34 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:06:24] 789*2^1236985-1 is not prime. Res64: 375826DDF6F30114 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:16:03] 831*2^1236985-1 is not prime. Res64: 5B0BBD0DF82A641A Time : 0.0 sec. user=mdettweiler [2012-12-07 12:16:04] 867*2^1236985-1 is not prime. Res64: 4820CDFD617BDCD3 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:23:54] 939*2^1236985-1 is not prime. Res64: 168DD7B67F5F3339 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:23:55] 707*2^1236986-1 is not prime. Res64: F48A392410290C75 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:33:36] 827*2^1236986-1 is not prime. Res64: 0F9964DFC8D467BC Time : 0.0 sec. user=mdettweiler [2012-12-07 12:33:36] 867*2^1236986-1 is not prime. Res64: AD4FEDF9AEF05566 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:41:18] 911*2^1236986-1 is not prime. Res64: 6D4D9ED8F83CF9C2 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:41:18] 917*2^1236986-1 is not prime. Res64: 4061A183B7632EBA Time : 0.0 sec. user=mdettweiler [2012-12-07 12:50:59] 983*2^1236986-1 is not prime. Res64: 778B9DB0396C7BCB Time : 0.0 sec. user=mdettweiler [2012-12-07 12:51:00] 601*2^1236987-1 is not prime. Res64: DF4C572110E8DB38 Time : 0.0 sec. user=mdettweiler [2012-12-07 12:58:41] 639*2^1236987-1 is not prime. Res64: 729CAFF81A7BDCED Time : 0.0 sec. user=mdettweiler [2012-12-07 12:58:41] 685*2^1236987-1 is not prime. Res64: 6A6C3AEA3DF66547 Time : 0.0 sec. user=mdettweiler [2012-12-07 13:08:26] 843*2^1236987-1 is not prime. Res64: 37427D04BEFD358B Time : 0.0 sec. user=mdettweiler [2012-12-07 13:08:27] 871*2^1236987-1 is not prime. Res64: E7CA890ABCEDCC88 Time : 0.0 sec. user=mdettweiler [2012-12-07 13:16:06] 901*2^1236987-1 is not prime. Res64: F6383E09BBAFE11F Time : 0.0 sec. user=mdettweiler [2012-12-07 13:16:07] 903*2^1236987-1 is not prime. Res64: 397326D04919E14E Time : 0.0 sec. user=mdettweiler [2012-12-07 13:26:00] 909*2^1236987-1 is not prime. Res64: FEFEDAC3B21037DB Time : 0.0 sec. user=mdettweiler [2012-12-07 13:26:01] 945*2^1236987-1 is not prime. Res64: A250F2211950E909 Time : 0.0 sec. user=mdettweiler [2012-12-07 13:33:35] 665*2^1236988-1 is not prime. Res64: 776C9F29E87F0BED Time : 0.0 sec. user=mdettweiler [2012-12-07 13:33:36] 749*2^1236988-1 is not prime. Res64: 924BC6A00D1BEAB8 Time : 0.0 sec. user=mdettweiler [2012-12-07 13:43:27] 797*2^1236988-1 is not prime. Res64: DF77633E076DB5A9 Time : 0.0 sec. user=mdettweiler [2012-12-07 13:43:27] 839*2^1236988-1 is not prime. Res64: 83C331DDC54B8A4B Time : 0.0 sec. user=mdettweiler [2012-12-07 13:51:01] 887*2^1236988-1 is not prime. Res64: 4891BBC07DD4386B Time : 0.0 sec. user=mdettweiler [2012-12-07 13:51:01] 923*2^1236988-1 is not prime. Res64: 0E21AE9F2BD6A5F0 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:00:50] 957*2^1236988-1 is not prime. Res64: FD9FCFCE90C917C7 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:00:51] 615*2^1236989-1 is not prime. Res64: 4EB38D664CFE18AC Time : 0.0 sec. user=mdettweiler [2012-12-07 14:08:24] 691*2^1236989-1 is not prime. Res64: 9D55A90AEABDED37 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:08:26] 769*2^1236989-1 is not prime. Res64: 7842B0C303C01D17 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:18:23] 775*2^1236989-1 is not prime. Res64: 90BD97A3E58CCB74 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:18:24] 781*2^1236989-1 is not prime. Res64: E126D490CD05B8C4 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:25:51] 787*2^1236989-1 is not prime. Res64: 8D3A602B9231C961 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:25:51] 801*2^1236989-1 is not prime. Res64: 54573F9F7B51A999 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:35:46] 811*2^1236989-1 is not prime. Res64: 33FF0A30163D8500 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:35:46] 819*2^1236989-1 is not prime. Res64: 1F31DA8776A9667F Time : 0.0 sec. user=mdettweiler [2012-12-07 14:43:11] 829*2^1236989-1 is not prime. Res64: B3FA4B43B3538CE4 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:43:11] 927*2^1236989-1 is not prime. Res64: 92D55136B07DDDA1 Time : 0.0 sec. user=mdettweiler [2012-12-07 14:53:06] 949*2^1236989-1 is not prime. Res64: A134C0D42C71910C Time : 0.0 sec. user=mdettweiler [2012-12-07 14:53:07] 951*2^1236989-1 is not prime. Res64: CC08B99367F80148 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:00:32] 657*2^1236990-1 is not prime. Res64: 722EA56C70273C2E Time : 0.0 sec. user=mdettweiler [2012-12-07 15:00:33] 677*2^1236990-1 is not prime. Res64: 5D3C5D72BA3571F4 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:10:29] 801*2^1236990-1 is not prime. Res64: 6A0E5BF827B12E79 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:10:31] 861*2^1236990-1 is not prime. Res64: ACF8BF9F81F1BC14 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:18:09] 887*2^1236990-1 is not prime. Res64: E78009E0BA4DF5B2 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:18:10] 917*2^1236990-1 is not prime. Res64: 0F24944D34B2E241 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:28:06] 965*2^1236990-1 is not prime. Res64: 2F2EDDC602739BB1 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:28:07] 1001*2^1236990-1 is not prime. Res64: B9F5D56C6D340543 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:35:45] 639*2^1236991-1 is not prime. Res64: A3869C4F77479515 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:35:45] 651*2^1236991-1 is not prime. Res64: 265036A52C91511E Time : 0.0 sec. user=mdettweiler [2012-12-07 15:45:54] 673*2^1236991-1 is not prime. Res64: C5583AE4A332D438 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:45:54] 775*2^1236991-1 is not prime. Res64: 885ACF1370F335B6 Time : 0.0 sec. user=mdettweiler [2012-12-07 15:53:35] 789*2^1236991-1 is not prime. Res64: 11A75BB3977C199E Time : 0.0 sec. user=mdettweiler [2012-12-07 15:53:35] 891*2^1236991-1 is not prime. Res64: 77430EECA8E873AD Time : 0.0 sec. user=mdettweiler [2012-12-07 16:03:44] 909*2^1236991-1 is not prime. Res64: 1862C39254FD14BB Time : 0.0 sec. user=mdettweiler [2012-12-07 16:03:45] 943*2^1236991-1 is not prime. Res64: 9E8A725D21084AA9 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:11:24] 993*2^1236991-1 is not prime. Res64: E109D2495038B766 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:11:26] 633*2^1236992-1 is not prime. Res64: E7D1E091E3BBD188 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:21:38] 669*2^1236992-1 is not prime. Res64: CA8951381D919E22 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:21:39] 689*2^1236992-1 is not prime. Res64: 0D23C262C0F1E26F Time : 0.0 sec. user=mdettweiler [2012-12-07 16:29:36] 693*2^1236992-1 is not prime. Res64: 7A765F1028261CE8 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:29:36] 735*2^1236992-1 is not prime. Res64: 4A9613D4A6E71DDE Time : 0.0 sec. user=mdettweiler [2012-12-07 16:39:27] 825*2^1236992-1 is not prime. Res64: 55DFAA7C5EE120BF Time : 0.0 sec. user=mdettweiler [2012-12-07 16:39:27] 897*2^1236992-1 is not prime. Res64: 3D01F8B4A51BE15E Time : 0.0 sec. user=mdettweiler [2012-12-07 16:47:25] 917*2^1236992-1 is not prime. Res64: 3E9A0442A05C779F Time : 0.0 sec. user=mdettweiler [2012-12-07 16:47:25] 923*2^1236992-1 is not prime. Res64: 9B42DCC687DABF58 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:57:16] 699*2^1236993-1 is not prime. Res64: 7D0089455A64B138 Time : 0.0 sec. user=mdettweiler [2012-12-07 16:57:16] 741*2^1236993-1 is not prime. Res64: AA2EABC9AE46DC0F Time : 0.0 sec. user=mdettweiler [2012-12-07 17:05:16] 765*2^1236993-1 is not prime. Res64: AFA43DE56C983DF9 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:05:17] 829*2^1236993-1 is not prime. Res64: C81ADBDAF015F573 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:15:05] 877*2^1236993-1 is not prime. Res64: 60491869A03C0682 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:15:06] 937*2^1236993-1 is not prime. Res64: F69DD484A2791E6D Time : 0.0 sec. user=mdettweiler [2012-12-07 17:23:14] 969*2^1236993-1 is not prime. Res64: 8A4D033D1CEB4E5B Time : 0.0 sec. user=mdettweiler [2012-12-07 17:23:15] 623*2^1236994-1 is not prime. Res64: 54B0AC4EA467300E Time : 0.0 sec. user=mdettweiler [2012-12-07 17:32:48] 705*2^1236994-1 is not prime. Res64: 079A9DCC39C0F308 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:32:49] 717*2^1236994-1 is not prime. Res64: E2C2A578E7705CC3 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:40:36] 723*2^1236994-1 is not prime. Res64: 2006E8E6FA30FB95 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:40:36] 827*2^1236994-1 is not prime. Res64: 85D4512A88EF690D Time : 0.0 sec. user=mdettweiler [2012-12-07 17:50:10] 861*2^1236994-1 is not prime. Res64: 9A664343602B1275 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:50:11] 975*2^1236994-1 is not prime. Res64: 6247752537F4BEC9 Time : 0.0 sec. user=mdettweiler [2012-12-07 17:57:59] 645*2^1236995-1 is not prime. Res64: 079C3776F469530C Time : 0.0 sec. user=mdettweiler [2012-12-07 17:58:00] 675*2^1236995-1 is not prime. Res64: D30CDA2ACC36D53A Time : 0.0 sec. user=mdettweiler [2012-12-07 18:07:34] 903*2^1236995-1 is not prime. Res64: 2A60669AF83A1F2F Time : 0.0 sec. user=mdettweiler [2012-12-07 18:07:35] 979*2^1236995-1 is not prime. Res64: A93DAB7298A2DC64 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:15:44] 999*2^1236995-1 is not prime. Res64: 64C11C856AB0FFE0 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:15:51] 675*2^1236996-1 is not prime. Res64: 4D1D5B771BCBC9A4 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:25:31] 683*2^1236996-1 is not prime. Res64: FE7E064B5D68A5BC Time : 0.0 sec. user=mdettweiler [2012-12-07 18:25:31] 695*2^1236996-1 is not prime. Res64: 8214909D615688F5 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:33:49] 699*2^1236996-1 is not prime. Res64: A07997459A34307E Time : 0.0 sec. user=mdettweiler [2012-12-07 18:33:50] 767*2^1236996-1 is not prime. Res64: 4EBDD16E4F529ACD Time : 0.0 sec. user=mdettweiler [2012-12-07 18:42:50] 845*2^1236996-1 is not prime. Res64: 308B31653A1C2619 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:42:50] 969*2^1236996-1 is not prime. Res64: 61C87DB9A423F6AB Time : 0.0 sec. user=mdettweiler [2012-12-07 18:51:09] 639*2^1236997-1 is not prime. Res64: C21195BEFDD9AEA4 Time : 0.0 sec. user=mdettweiler [2012-12-07 18:51:10] 687*2^1236997-1 is not prime. Res64: 686506106FB613D5 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:00:08] 757*2^1236997-1 is not prime. Res64: 4DDC24573DFF9ABF Time : 0.0 sec. user=mdettweiler [2012-12-07 19:00:10] 835*2^1236997-1 is not prime. Res64: 25B4439790FC93F0 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:08:28] 871*2^1236997-1 is not prime. Res64: B5A34AAB6BAFA264 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:08:29] 937*2^1236997-1 is not prime. Res64: 97B75D195A98E7E2 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:17:29] 945*2^1236997-1 is not prime. Res64: 45632FDBD4524070 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:17:29] 997*2^1236997-1 is not prime. Res64: 2D301CF6D1B874FB Time : 0.0 sec. user=mdettweiler [2012-12-07 19:25:49] 617*2^1236998-1 is not prime. Res64: 27448ED3641B2D7D Time : 0.0 sec. user=mdettweiler [2012-12-07 19:25:49] 665*2^1236998-1 is not prime. Res64: 1117A5577B5784FC Time : 0.0 sec. user=mdettweiler [2012-12-07 19:34:48] 813*2^1236998-1 is not prime. Res64: 1E4965AFE2950D2A Time : 0.0 sec. user=mdettweiler [2012-12-07 19:34:48] 815*2^1236998-1 is not prime. Res64: 7EB5CB66453312D1 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:43:06] 825*2^1236998-1 is not prime. Res64: EC17CC6843CE74FD Time : 0.0 sec. user=mdettweiler [2012-12-07 19:43:07] 827*2^1236998-1 is not prime. Res64: A1BEABB0BFF46A36 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:52:06] 915*2^1236998-1 is not prime. Res64: 7736FB752FA98B26 Time : 0.0 sec. user=mdettweiler [2012-12-07 19:52:06] 935*2^1236998-1 is not prime. Res64: 744381C7F792CC2F Time : 0.0 sec. user=mdettweiler [2012-12-07 20:00:25] 945*2^1236998-1 is not prime. Res64: 01875E54D22F1382 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:00:28] 633*2^1236999-1 is not prime. Res64: 2B02AC817568D791 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:09:23] 741*2^1236999-1 is not prime. Res64: D0621BC3555F420F Time : 0.0 sec. user=mdettweiler [2012-12-07 20:09:24] 843*2^1236999-1 is not prime. Res64: 38E321649DF52740 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:17:57] 859*2^1236999-1 is not prime. Res64: BD4DE76E7BAA621A Time : 0.0 sec. user=mdettweiler [2012-12-07 20:17:58] 949*2^1236999-1 is not prime. Res64: 91953B8D6E24D676 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:26:46] 975*2^1236999-1 is not prime. Res64: 828F49896BBDCE98 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:26:46] 979*2^1236999-1 is not prime. Res64: 690ADD5E9F626984 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:35:20] 985*2^1236999-1 is not prime. Res64: 93DC5A520C19BF6C Time : 0.0 sec. user=mdettweiler [2012-12-07 20:35:20] 687*2^1237000-1 is not prime. Res64: AE4736598E876856 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:44:05] 719*2^1237000-1 is not prime. Res64: ACD898C2E3E5E724 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:44:06] 735*2^1237000-1 is not prime. Res64: 4BC713A87A2CA7C9 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:52:42] 917*2^1237000-1 is not prime. Res64: 4BB4C5CB5412F234 Time : 0.0 sec. user=mdettweiler [2012-12-07 20:52:43] 923*2^1237000-1 is not prime. Res64: 4516720638BD69AD Time : 0.0 sec. user=mdettweiler [2012-12-07 21:01:30] 927*2^1237000-1 is not prime. Res64: 29B0365519023246 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:01:31] 705*2^1237001-1 is not prime. Res64: F8360EA55755CC51 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:10:14] 727*2^1237001-1 is not prime. Res64: 7D049AFE6F234A88 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:10:16] 781*2^1237001-1 is not prime. Res64: 1558A5ED92C83C49 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:19:12] 861*2^1237001-1 is not prime. Res64: 094EABD506199C83 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:19:13] 955*2^1237001-1 is not prime. Res64: 4E200BB9F174C7CA Time : 0.0 sec. user=mdettweiler [2012-12-07 21:27:59] 967*2^1237001-1 is not prime. Res64: 2DFA341C855964ED Time : 0.0 sec. user=mdettweiler [2012-12-07 21:28:00] 615*2^1237002-1 is not prime. Res64: 01B9F9868A9CCCB6 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:36:49] 683*2^1237002-1 is not prime. Res64: CE45AC7FA653740B Time : 0.0 sec. user=mdettweiler [2012-12-07 21:36:49] 711*2^1237002-1 is not prime. Res64: 0E493C1DEA3AA000 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:45:33] 731*2^1237002-1 is not prime. Res64: 6375C77FACE2B457 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:45:33] 777*2^1237002-1 is not prime. Res64: 092FAEA083224F8F Time : 0.0 sec. user=mdettweiler [2012-12-07 21:54:33] 837*2^1237002-1 is not prime. Res64: C3BF024165186BF7 Time : 0.0 sec. user=mdettweiler [2012-12-07 21:54:34] 887*2^1237002-1 is not prime. Res64: D61CAA3D2C15DA4F Time : 0.0 sec. user=mdettweiler [2012-12-07 22:03:08] 983*2^1237002-1 is not prime. Res64: CB48CDFD8723E3ED Time : 0.0 sec. user=mdettweiler [2012-12-07 22:03:09] 615*2^1237003-1 is not prime. Res64: 2D336D786D726381 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:11:57] 835*2^1237003-1 is not prime. Res64: F32B7BA6AA78C228 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:12:00] 951*2^1237003-1 is not prime. Res64: 551A144125329169 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:20:29] 609*2^1237004-1 is not prime. Res64: 1A78887EB64FBB0E Time : 0.0 sec. user=mdettweiler [2012-12-07 22:20:29] 657*2^1237004-1 is not prime. Res64: BD055EF2790608FA Time : 0.0 sec. user=mdettweiler [2012-12-07 22:29:46] 665*2^1237004-1 is not prime. Res64: 9E677D4DBF24C7BB Time : 0.0 sec. user=mdettweiler [2012-12-07 22:29:46] 753*2^1237004-1 is not prime. Res64: 47185BD36A479FA5 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:37:49] 833*2^1237004-1 is not prime. Res64: 0A9B1437B110F093 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:37:49] 893*2^1237004-1 is not prime. Res64: 3C45D3C87AE67622 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:47:04] 897*2^1237004-1 is not prime. Res64: F1983467CB3DAF03 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:47:05] 727*2^1237005-1 is not prime. Res64: FF26193CFCFD1D19 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:55:09] 741*2^1237005-1 is not prime. Res64: ED1CE23767293BE4 Time : 0.0 sec. user=mdettweiler [2012-12-07 22:55:09] 811*2^1237005-1 is not prime. Res64: CD9AC2288D284D8D Time : 0.0 sec. user=mdettweiler [2012-12-07 23:04:23] 951*2^1237005-1 is not prime. Res64: CCEDA8FD23EF57BB Time : 0.0 sec. user=mdettweiler [2012-12-07 23:04:26] 975*2^1237005-1 is not prime. Res64: 28D852DCEC1DF430 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:12:29] 611*2^1237006-1 is not prime. Res64: A92011D280460AAF Time : 0.0 sec. user=mdettweiler [2012-12-07 23:12:30] 723*2^1237006-1 is not prime. Res64: E580537B9A917DB5 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:21:57] 861*2^1237006-1 is not prime. Res64: 7D3BE443473625C7 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:21:57] 945*2^1237006-1 is not prime. Res64: 72191C7EE29CE635 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:29:53] 981*2^1237006-1 is not prime. Res64: 80EB39E502325082 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:29:53] 619*2^1237007-1 is not prime. Res64: 4C4885EDAF327569 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:39:20] 729*2^1237007-1 is not prime. Res64: 20EC7317B88DA9B1 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:39:20] 883*2^1237007-1 is not prime. Res64: 7822B262FB90EA6C Time : 0.0 sec. user=mdettweiler [2012-12-07 23:47:13] 889*2^1237007-1 is not prime. Res64: A621E47A2B9915B3 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:47:14] 993*2^1237007-1 is not prime. Res64: 860F2B2F1755EB04 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:56:39] 633*2^1237008-1 is not prime. Res64: C95429D741C1A2C5 Time : 0.0 sec. user=mdettweiler [2012-12-07 23:56:40] 665*2^1237008-1 is not prime. Res64: 81C86D019D21B6B5 Time : 0.0 sec.