user=mdettweiler [2013-02-24 00:02:33] 857*2^1241556-1 is not prime. Res64: 6CAEBF615DED9A8B Time : 0.0 sec. user=mdettweiler [2013-02-24 00:02:34] 687*2^1241557-1 is not prime. Res64: 24F164AF790FEFC8 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:02:34] 875*2^1241556-1 is not prime. Res64: EB96B05ED0AAC9B8 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:02:35] 825*2^1241557-1 is not prime. Res64: 44C0E7ACBA4698CE Time : 0.0 sec. user=juhehe [2013-02-24 00:11:20] 839*2^1241556-1 is not prime. Res64: 72515C844B234157 Time : 0.0 sec. user=juhehe [2013-02-24 00:11:54] 971*2^1241554-1 is not prime. Res64: D105C686A28DE1C1 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:20:00] 931*2^1241557-1 is not prime. Res64: 2F5D7C7C52BE9DAF Time : 0.0 sec. user=mdettweiler [2013-02-24 00:20:01] 979*2^1241557-1 is not prime. Res64: DFF6B653E2952073 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:20:02] 687*2^1241558-1 is not prime. Res64: E76D38D673BF76A1 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:20:03] 711*2^1241558-1 is not prime. Res64: 7ED33F8A3106B356 Time : 0.0 sec. user=juhehe [2013-02-24 00:28:53] 945*2^1241554-1 is not prime. Res64: 7F986D0D0E02EEC7 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:37:25] 857*2^1241558-1 is not prime. Res64: 24BBE51F74DA190C Time : 0.0 sec. user=mdettweiler [2013-02-24 00:37:25] 867*2^1241558-1 is not prime. Res64: B795A244E212B312 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:37:26] 625*2^1241559-1 is not prime. Res64: B57497FD159B7A4C Time : 0.0 sec. user=mdettweiler [2013-02-24 00:37:26] 633*2^1241559-1 is not prime. Res64: 0528A44733A3D756 Time : 0.0 sec. user=juhehe [2013-02-24 00:48:14] 797*2^1241558-1 is not prime. Res64: A94B27CFD52486A6 Time : 0.0 sec. user=juhehe [2013-02-24 00:48:14] 845*2^1241558-1 is not prime. Res64: B33461B6E457623C Time : 0.0 sec. user=mdettweiler [2013-02-24 00:54:50] 831*2^1241559-1 is not prime. Res64: 3763C208ADC07066 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:54:50] 745*2^1241559-1 is not prime. Res64: 83533BE33188CA87 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:54:50] 861*2^1241559-1 is not prime. Res64: B7AD795FBCE286D3 Time : 0.0 sec. user=mdettweiler [2013-02-24 00:54:51] 795*2^1241559-1 is not prime. Res64: 96606BB329738378 Time : 0.0 sec. user=vaughan [2013-02-24 01:10:48] 835*2^1241557-1 is not prime. Res64: 9114F4CC17C08881 Time : 0.0 sec. user=mdettweiler [2013-02-24 01:12:29] 999*2^1241559-1 is not prime. Res64: A09D480B2F61175F Time : 0.0 sec. user=mdettweiler [2013-02-24 01:12:30] 635*2^1241560-1 is not prime. Res64: 42000668CC8A88EA Time : 0.0 sec. user=juhehe [2013-02-24 01:31:17] 709*2^1241559-1 is not prime. Res64: 004F05104FA64BFB Time : 0.0 sec. user=mdettweiler [2013-02-24 01:33:50] 609*2^1241560-1 is not prime. Res64: CAC03BA30811F2C9 Time : 0.0 sec. user=mdettweiler [2013-02-24 01:47:16] 653*2^1241560-1 is not prime. Res64: 608B1A3520E95772 Time : 0.0 sec. user=vaughan [2013-02-24 01:49:35] 677*2^1241560-1 is not prime. Res64: C182947641E3CBCE Time : 0.0 sec. user=mdettweiler [2013-02-24 01:51:37] 857*2^1241560-1 is not prime. Res64: 007AED370C5D19F3 Time : 0.0 sec. user=mdettweiler [2013-02-24 01:51:38] 897*2^1241560-1 is not prime. Res64: 1095C87EA2B819A9 Time : 0.0 sec. user=juhehe [2013-02-24 01:57:46] 699*2^1241560-1 is not prime. Res64: E6A3140BCFF3FBC5 Time : 0.0 sec. user=juhehe [2013-02-24 01:58:10] 755*2^1241560-1 is not prime. Res64: FBE892DA3D665705 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:04:54] 905*2^1241560-1 is not prime. Res64: 9452A810586C5FF3 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:05:18] 933*2^1241560-1 is not prime. Res64: F3F85575A55F0299 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:09:23] 999*2^1241560-1 is not prime. Res64: EFBB59AD9751FE29 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:09:24] 645*2^1241561-1 is not prime. Res64: 297D7F9A6D865B53 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:27:07] 861*2^1241561-1 is not prime. Res64: 77A809703BB4DC6E Time : 0.0 sec. user=mdettweiler [2013-02-24 02:27:07] 717*2^1241562-1 is not prime. Res64: 8F3DDE125806B23C Time : 0.0 sec. user=juhehe [2013-02-24 02:29:04] 827*2^1241560-1 is not prime. Res64: 1848FFFD8EA04DF0 Time : 0.0 sec. user=juhehe [2013-02-24 02:33:51] 691*2^1241561-1 is not prime. Res64: 035BE04D9719ECDF Time : 0.0 sec. user=juhehe [2013-02-24 02:34:16] 711*2^1241561-1 is not prime. Res64: AC8F6D2AE875EB84 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:44:46] 893*2^1241562-1 is not prime. Res64: C3DA2C44CD23B63B Time : 0.0 sec. user=mdettweiler [2013-02-24 02:58:11] 603*2^1241563-1 is not prime. Res64: 9A184B6ACD5B5C52 Time : 0.0 sec. user=mdettweiler [2013-02-24 02:58:11] 829*2^1241563-1 is not prime. Res64: D6CBA5F47D19FC56 Time : 0.0 sec. user=juhehe [2013-02-24 03:09:59] 679*2^1241563-1 is not prime. Res64: 63F310037EE97263 Time : 0.0 sec. user=juhehe [2013-02-24 03:10:21] 813*2^1241563-1 is not prime. Res64: D29EAC332148665D Time : 0.0 sec. user=mdettweiler [2013-02-24 03:16:05] 617*2^1241564-1 is not prime. Res64: 5E74360B67E82099 Time : 0.0 sec. user=mdettweiler [2013-02-24 03:25:01] 895*2^1241563-1 is not prime. Res64: AED5B631DCE47DD7 Time : 0.0 sec. user=juhehe [2013-02-24 03:32:06] 619*2^1241563-1 is not prime. Res64: 3C84C54A8D50C903 Time : 0.0 sec. user=mdettweiler [2013-02-24 03:33:56] 623*2^1241564-1 is not prime. Res64: BD2028EB7F09D165 Time : 0.0 sec. user=vaughan [2013-02-24 03:41:21] 677*2^1241564-1 is not prime. Res64: F3C6D060CF15D38F Time : 0.0 sec. user=mdettweiler [2013-02-24 03:42:43] 857*2^1241564-1 is not prime. Res64: AC48AEC0EB8E3D26 Time : 0.0 sec. user=mdettweiler [2013-02-24 03:42:44] 885*2^1241564-1 is not prime. Res64: 46A3A6FBFCB7A932 Time : 0.0 sec. user=juhehe [2013-02-24 03:46:59] 789*2^1241564-1 is not prime. Res64: 5FD7D811D3209328 Time : 0.0 sec. user=mdettweiler [2013-02-24 03:51:41] 983*2^1241564-1 is not prime. Res64: C1A0243CA84D7C58 Time : 0.0 sec. user=mdettweiler [2013-02-24 03:51:43] 669*2^1241565-1 is not prime. Res64: 515DD402B0B4FCCA Time : 0.0 sec. user=mdettweiler [2013-02-24 04:00:24] 691*2^1241565-1 is not prime. Res64: A1B4AAB23480A2DD Time : 0.0 sec. user=mdettweiler [2013-02-24 04:00:25] 777*2^1241565-1 is not prime. Res64: 48499278F862631E Time : 0.0 sec. user=mdettweiler [2013-02-24 04:09:18] 819*2^1241565-1 is not prime. Res64: 65974A59ECE858F6 Time : 0.0 sec. user=mdettweiler [2013-02-24 04:09:19] 921*2^1241565-1 is not prime. Res64: 7282ABE23C4F541C Time : 0.0 sec. user=mdettweiler [2013-02-24 04:18:26] 675*2^1241566-1 is not prime. Res64: 87E3556BD27B2DEF Time : 0.0 sec. user=vaughan [2013-02-24 04:19:37] 679*2^1241565-1 is not prime. Res64: 18487DBA4C1CC6AB Time : 0.0 sec. user=juhehe [2013-02-24 04:20:18] 789*2^1241565-1 is not prime. Res64: 63C27800CB2C592B Time : 0.0 sec. user=mdettweiler [2013-02-24 04:26:51] 917*2^1241566-1 is not prime. Res64: 3863DF6226C4E994 Time : 0.0 sec. user=mdettweiler [2013-02-24 04:26:52] 633*2^1241567-1 is not prime. Res64: BC5D67F9111E606D Time : 0.0 sec. user=juhehe [2013-02-24 04:30:17] 899*2^1241564-1 is not prime. Res64: 240C339D907FB580 Time : 0.0 sec. user=mdettweiler [2013-02-24 04:44:47] 963*2^1241567-1 is not prime. Res64: A2E6AA4ADEE87557 Time : 0.0 sec. user=mdettweiler [2013-02-24 04:46:05] 695*2^1241566-1 is not prime. Res64: D5206A526C20D624 Time : 0.0 sec. user=juhehe [2013-02-24 04:56:51] 735*2^1241567-1 is not prime. Res64: 468C1195BC2C7D0F Time : 0.0 sec. user=juhehe [2013-02-24 04:56:51] 865*2^1241567-1 is not prime. Res64: 6594BF2476FC6B43 Time : 0.0 sec. user=vaughan [2013-02-24 04:58:02] 703*2^1241567-1 is not prime. Res64: 4C8F206167AE0696 Time : 0.0 sec. user=mdettweiler [2013-02-24 05:02:31] 657*2^1241568-1 is not prime. Res64: A5F4B2AB5B5A1C64 Time : 0.0 sec. user=mdettweiler [2013-02-24 05:23:56] 915*2^1241568-1 is not prime. Res64: 82C5A482F0BBF78C Time : 0.0 sec. user=mdettweiler [2013-02-24 05:23:56] 615*2^1241569-1 is not prime. Res64: F2F9A2CAB3CE5ECA Time : 0.0 sec. user=juhehe [2013-02-24 05:33:00] 707*2^1241568-1 is not prime. Res64: 0E28D8440ED964F3 Time : 0.0 sec. user=juhehe [2013-02-24 05:33:16] 735*2^1241568-1 is not prime. Res64: 5052C0E5BA1450D0 Time : 0.0 sec. user=vaughan [2013-02-24 05:36:04] 887*2^1241568-1 is not prime. Res64: AA886A555B437D94 Time : 0.0 sec. user=mdettweiler [2013-02-24 05:41:44] 769*2^1241569-1 is not prime. Res64: 1047AF0AA5ABA68C Time : 0.0 sec. user=mdettweiler [2013-02-24 05:41:44] 799*2^1241569-1 is not prime. Res64: 20FC795904F33EEE Time : 0.0 sec. user=mdettweiler [2013-02-24 05:44:45] 867*2^1241569-1 is not prime. Res64: A95EAAFE8A454900 Time : 0.0 sec. user=mdettweiler [2013-02-24 05:59:14] 665*2^1241570-1 is not prime. Res64: 4756E3A145A1555C Time : 0.0 sec. user=mdettweiler [2013-02-24 05:59:15] 773*2^1241570-1 is not prime. Res64: 40F108BF8BF931DF Time : 0.0 sec. user=juhehe [2013-02-24 06:07:39] 957*2^1241569-1 is not prime. Res64: A88B49197C8A352E Time : 0.0 sec. user=vaughan [2013-02-24 06:14:12] 605*2^1241570-1 is not prime. Res64: 5D46D2F709A4D9A0 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:17:00] 851*2^1241570-1 is not prime. Res64: DEDBC6E4A7449F95 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:17:00] 885*2^1241570-1 is not prime. Res64: A68CE8D634620D8D Time : 0.0 sec. user=juhehe [2013-02-24 06:17:52] 999*2^1241569-1 is not prime. Res64: 44D26887628EEACB Time : 0.0 sec. user=mdettweiler [2013-02-24 06:20:16] 895*2^1241569-1 is not prime. Res64: 25F04531398502EE Time : 0.0 sec. user=juhehe [2013-02-24 06:30:55] 909*2^1241569-1 is not prime. Res64: D8593238EAAFD6FB Time : 0.0 sec. user=mdettweiler [2013-02-24 06:34:44] 769*2^1241571-1 is not prime. Res64: 1DAA3170B997F39B Time : 0.0 sec. user=mdettweiler [2013-02-24 06:34:44] 835*2^1241571-1 is not prime. Res64: 2BD214F61DA8E1D6 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:38:02] 951*2^1241571-1 is not prime. Res64: C814B979E048BC68 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:38:03] 975*2^1241571-1 is not prime. Res64: 94F235F23363C98F Time : 0.0 sec. user=juhehe [2013-02-24 06:44:34] 923*2^1241570-1 is not prime. Res64: F6146363343176A4 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:52:21] 705*2^1241572-1 is not prime. Res64: 75A729E157B8AD59 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:52:21] 777*2^1241572-1 is not prime. Res64: 432B6BF6D654811C Time : 0.0 sec. user=vaughan [2013-02-24 06:52:30] 741*2^1241571-1 is not prime. Res64: ACFF14A3CE2C4827 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:55:45] 797*2^1241572-1 is not prime. Res64: F47EEC17706359B4 Time : 0.0 sec. user=mdettweiler [2013-02-24 06:55:45] 929*2^1241572-1 is not prime. Res64: 7A6137F83046D6A0 Time : 0.0 sec. user=mdettweiler [2013-02-24 07:10:08] 939*2^1241572-1 is not prime. Res64: 0FE811A20656EA82 Time : 0.0 sec. user=mdettweiler [2013-02-24 07:13:17] 721*2^1241573-1 is not prime. Res64: B06BAED23A8DD130 Time : 0.0 sec. user=mdettweiler [2013-02-24 07:13:17] 741*2^1241573-1 is not prime. Res64: EC62EE03B4C049BB Time : 0.0 sec. user=juhehe [2013-02-24 07:27:53] 933*2^1241572-1 is not prime. Res64: B6219466A0E52FDC Time : 0.0 sec. user=vaughan [2013-02-24 07:30:38] 615*2^1241573-1 is not prime. Res64: 004F66DE8BB8E839 Time : 0.0 sec. user=mdettweiler [2013-02-24 07:31:20] 775*2^1241573-1 is not prime. Res64: 9784E16F8CB2892A Time : 0.0 sec. user=juhehe [2013-02-24 07:33:47] 635*2^1241572-1 is not prime. Res64: E43898123DF0C743 Time : 0.0 sec. user=mdettweiler [2013-02-24 07:44:04] 607*2^1241573-1 is not prime. Res64: 881190D5B0BF403B Time : 0.0 sec. user=mdettweiler [2013-02-24 07:51:59] 805*2^1241573-1 is not prime. Res64: D397E10CF6860CE1 Time : 0.0 sec. user=juhehe [2013-02-24 07:54:27] 847*2^1241573-1 is not prime. Res64: C1D04913D34A3572 Time : 0.0 sec. user=juhehe [2013-02-24 08:04:12] 945*2^1241573-1 is not prime. Res64: 5F5FAA2B95890DCE Time : 0.0 sec. user=vaughan [2013-02-24 08:09:08] 711*2^1241574-1 is not prime. Res64: 97043DD3C6426D56 Time : 0.0 sec. user=mdettweiler [2013-02-24 08:19:17] 881*2^1241574-1 is not prime. Res64: EDC9F791C80178FD Time : 0.0 sec. user=juhehe [2013-02-24 08:30:48] 747*2^1241574-1 is not prime. Res64: 2F3521989EDC477E Time : 0.0 sec. user=juhehe [2013-02-24 08:32:25] 955*2^1241573-1 is not prime. Res64: 357F8C02E6B28BAF Time : 0.0 sec. user=mdettweiler [2013-02-24 08:34:02] 675*2^1241575-1 is not prime. Res64: 81BF16C4F2727BAC Time : 0.0 sec. user=mdettweiler [2013-02-24 08:34:02] 925*2^1241575-1 is not prime. Res64: E8FE0106C947BDBE Time : 0.0 sec. user=mdettweiler [2013-02-24 08:45:18] 663*2^1241575-1 is not prime. Res64: F1DFDCCF8DED291B Time : 0.0 sec. user=mdettweiler [2013-02-24 08:51:25] 615*2^1241576-1 is not prime. Res64: 00C5CD65811DCFD4 Time : 0.0 sec. user=mdettweiler [2013-02-24 08:51:48] 675*2^1241576-1 is not prime. Res64: C8D00C46C0BA1FB7 Time : 0.0 sec. user=mdettweiler [2013-02-24 09:03:00] 935*2^1241576-1 is not prime. Res64: 4C9E61ED379D9ADB Time : 0.0 sec. user=mdettweiler [2013-02-24 09:03:21] 957*2^1241576-1 is not prime. Res64: CAFC340D0CC11A26 Time : 0.0 sec. user=juhehe [2013-02-24 09:06:57] 943*2^1241575-1 is not prime. Res64: B468C36ADE9C87AD Time : 0.0 sec. user=vaughan [2013-02-24 09:30:24] 873*2^1241576-1 is not prime. Res64: 992C882F10488D95 Time : 0.0 sec. user=juhehe [2013-02-24 09:41:57] 985*2^1241575-1 is not prime. Res64: 7EA4F086EB7F0AD9 Time : 0.0 sec. user=juhehe [2013-02-24 09:43:09] 649*2^1241577-1 is not prime. Res64: CD1112CD95068938 Time : 0.0 sec. user=mdettweiler [2013-02-24 09:46:29] 661*2^1241577-1 is not prime. Res64: F81513661947E0D5 Time : 0.0 sec. user=mdettweiler [2013-02-24 09:46:30] 741*2^1241577-1 is not prime. Res64: D58C250F764FA81D Time : 0.0 sec. user=mdettweiler [2013-02-24 09:57:51] 795*2^1241577-1 is not prime. Res64: 74E9C0DA1F27EE54 Time : 0.0 sec. user=mdettweiler [2013-02-24 09:57:52] 837*2^1241577-1 is not prime. Res64: 9DA37CC10D27AB5F Time : 0.0 sec. user=vaughan [2013-02-24 10:08:47] 781*2^1241577-1 is not prime. Res64: DA827D68DF0DC560 Time : 0.0 sec. user=mdettweiler [2013-02-24 10:15:16] 663*2^1241578-1 is not prime. Res64: 0BF5E86A057EC62A Time : 0.0 sec. user=mdettweiler [2013-02-24 10:15:17] 687*2^1241578-1 is not prime. Res64: 03322CA4C1319895 Time : 0.0 sec. user=juhehe [2013-02-24 10:19:22] 865*2^1241577-1 is not prime. Res64: F1596E304E393657 Time : 0.0 sec. user=juhehe [2013-02-24 10:22:32] 919*2^1241577-1 is not prime. Res64: 4686E695D82003D6 Time : 0.0 sec. user=mdettweiler [2013-02-24 10:33:17] 881*2^1241578-1 is not prime. Res64: 407B84259FA5E9A6 Time : 0.0 sec. user=mdettweiler [2013-02-24 10:48:53] 979*2^1241577-1 is not prime. Res64: 0EE5E39B0DCCBC8A Time : 0.0 sec. user=mdettweiler [2013-02-24 10:48:54] 991*2^1241577-1 is not prime. Res64: 60D50C785D1DBC52 Time : 0.0 sec. user=vaughan [2013-02-24 10:50:34] 815*2^1241578-1 is not prime. Res64: 0609EE48552BD18D Time : 0.0 sec. user=juhehe [2013-02-24 10:55:27] 663*2^1241579-1 is not prime. Res64: FDD58053D7A8B393 Time : 0.0 sec. user=mdettweiler [2013-02-24 10:56:04] 601*2^1241579-1 is not prime. Res64: 7CE2DC091FF4323B Time : 0.0 sec. user=mdettweiler [2013-02-24 11:06:55] 733*2^1241579-1 is not prime. Res64: 2969E5AECC4687F6 Time : 0.0 sec. user=mdettweiler [2013-02-24 11:14:02] 633*2^1241580-1 is not prime. Res64: E63397C90B85F43E Time : 0.0 sec. user=juhehe [2013-02-24 11:32:52] 669*2^1241579-1 is not prime. Res64: 363887099CD8BA4C Time : 0.0 sec. user=mdettweiler [2013-02-24 11:42:13] 717*2^1241580-1 is not prime. Res64: CBD3454C419FEB10 Time : 0.0 sec. user=mdettweiler [2013-02-24 11:45:01] 735*2^1241579-1 is not prime. Res64: 18AA4A03A96D03A5 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:00:10] 845*2^1241580-1 is not prime. Res64: FD6F509B780467FA Time : 0.0 sec. user=mdettweiler [2013-02-24 12:00:11] 879*2^1241580-1 is not prime. Res64: 38EE616521F737A9 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:02:57] 959*2^1241580-1 is not prime. Res64: 09F08D0BFAEF97EA Time : 0.0 sec. user=vaughan [2013-02-24 12:08:35] 741*2^1241579-1 is not prime. Res64: DE56629467A70F1C Time : 0.0 sec. user=mdettweiler [2013-02-24 12:17:58] 939*2^1241581-1 is not prime. Res64: 00C35B4A44EE7D2B Time : 0.0 sec. user=mdettweiler [2013-02-24 12:17:58] 979*2^1241581-1 is not prime. Res64: AAB4A619671C25F4 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:20:26] 877*2^1241581-1 is not prime. Res64: 31D79C18AF5F600E Time : 0.0 sec. user=mdettweiler [2013-02-24 12:35:54] 657*2^1241582-1 is not prime. Res64: B471919FC570E43E Time : 0.0 sec. user=mdettweiler [2013-02-24 12:38:05] 755*2^1241582-1 is not prime. Res64: 44A14EB696E2FBC5 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:38:05] 843*2^1241582-1 is not prime. Res64: 499B4EC154C36415 Time : 0.0 sec. user=juhehe [2013-02-24 12:41:16] 753*2^1241580-1 is not prime. Res64: 06238239DDBCD1A6 Time : 0.0 sec. user=vaughan [2013-02-24 12:54:18] 635*2^1241582-1 is not prime. Res64: F9B70F63B2800D37 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:56:12] 615*2^1241583-1 is not prime. Res64: 1C93B535D1C3D87B Time : 0.0 sec. user=mdettweiler [2013-02-24 12:56:12] 669*2^1241583-1 is not prime. Res64: 46FEF26D801CBDE8 Time : 0.0 sec. user=mdettweiler [2013-02-24 12:59:00] 683*2^1241582-1 is not prime. Res64: C374364736498BAE Time : 0.0 sec. user=mdettweiler [2013-02-24 13:14:02] 783*2^1241583-1 is not prime. Res64: 41B2110411708B60 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:14:02] 861*2^1241583-1 is not prime. Res64: 2F8465265D9088A2 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:16:45] 629*2^1241584-1 is not prime. Res64: 290EBCBBC1336C48 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:16:46] 723*2^1241584-1 is not prime. Res64: 16CF2162F927007F Time : 0.0 sec. user=mdettweiler [2013-02-24 13:31:48] 729*2^1241584-1 is not prime. Res64: 3E87AB58A9D8D5B7 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:31:49] 755*2^1241584-1 is not prime. Res64: 614D780B7AA3062C Time : 0.0 sec. user=vaughan [2013-02-24 13:32:25] 775*2^1241583-1 is not prime. Res64: AD146CC08990A3A4 Time : 0.0 sec. user=juhehe [2013-02-24 13:34:13] 951*2^1241582-1 is not prime. Res64: CABB46E8400B1CB0 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:34:31] 927*2^1241584-1 is not prime. Res64: C3FC10143DAA9971 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:34:31] 929*2^1241584-1 is not prime. Res64: C184D55ADA91C312 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:49:27] 959*2^1241584-1 is not prime. Res64: 0B6568D64D08972B Time : 0.0 sec. user=mdettweiler [2013-02-24 13:49:28] 601*2^1241585-1 is not prime. Res64: 265CB64ADDB65BA0 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:52:16] 729*2^1241585-1 is not prime. Res64: 1208AD727AAAA244 Time : 0.0 sec. user=mdettweiler [2013-02-24 13:52:17] 735*2^1241585-1 is not prime. Res64: C1FD9C5D45B1F391 Time : 0.0 sec. user=mdettweiler [2013-02-24 14:07:21] 831*2^1241585-1 is not prime. Res64: 5E648FB2F66711BF Time : 0.0 sec. user=mdettweiler [2013-02-24 14:10:13] 633*2^1241586-1 is not prime. Res64: E7F33A080928425D Time : 0.0 sec. user=vaughan [2013-02-24 14:10:53] 711*2^1241585-1 is not prime. Res64: CA1C9A4735676504 Time : 0.0 sec. user=mdettweiler [2013-02-24 14:27:45] 657*2^1241586-1 is not prime. Res64: 03E7215D12060894 Time : 0.0 sec. user=mdettweiler [2013-02-24 14:29:49] 871*2^1241585-1 is not prime. Res64: F3A05D76E5AB7A5C Time : 0.0 sec. user=juhehe [2013-02-24 14:42:37] 799*2^1241585-1 is not prime. Res64: FAD6BE11AFC61D98 Time : 0.0 sec. user=mdettweiler [2013-02-24 14:45:22] 765*2^1241586-1 is not prime. Res64: F415D5C9248687F6 Time : 0.0 sec. user=mdettweiler [2013-02-24 14:47:25] 923*2^1241586-1 is not prime. Res64: 62A6585151B70D8C Time : 0.0 sec. user=mdettweiler [2013-02-24 15:11:54] 851*2^1241586-1 is not prime. Res64: 124557DF04510F34 Time : 0.0 sec. user=mdettweiler [2013-02-24 15:15:20] 957*2^1241586-1 is not prime. Res64: 8EB25CA1CA1FBCFB Time : 0.0 sec. user=vaughan [2013-02-24 15:24:41] 673*2^1241587-1 is not prime. Res64: 7CD94A4F92727BAA Time : 0.0 sec. user=juhehe [2013-02-24 15:41:54] 993*2^1241586-1 is not prime. Res64: 178AAAC50E724671 Time : 0.0 sec. user=mdettweiler [2013-02-24 15:52:46] 849*2^1241587-1 is not prime. Res64: 1EDE7B0D9975349F Time : 0.0 sec. user=mdettweiler [2013-02-24 15:52:46] 901*2^1241587-1 is not prime. Res64: CBDB4EDD28E0E033 Time : 0.0 sec. user=mdettweiler [2013-02-24 15:56:44] 925*2^1241587-1 is not prime. Res64: B7FB95D50F29EE2C Time : 0.0 sec. user=mdettweiler [2013-02-24 15:56:44] 945*2^1241587-1 is not prime. Res64: FD946C6031062210 Time : 0.0 sec. user=vaughan [2013-02-24 16:02:57] 685*2^1241587-1 is not prime. Res64: 91A1DA357D1C4B01 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:10:16] 665*2^1241588-1 is not prime. Res64: A87D81BDCCB7B658 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:10:17] 845*2^1241588-1 is not prime. Res64: 65CDE93734D01980 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:14:09] 945*2^1241588-1 is not prime. Res64: DF80A5AF9A64ECA6 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:14:10] 609*2^1241589-1 is not prime. Res64: 779CA987714B4A2C Time : 0.0 sec. user=mdettweiler [2013-02-24 16:28:07] 685*2^1241589-1 is not prime. Res64: B7785C0803B376D9 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:28:08] 787*2^1241589-1 is not prime. Res64: 0FE37AADF9A7B9FC Time : 0.0 sec. user=mdettweiler [2013-02-24 16:32:13] 889*2^1241589-1 is not prime. Res64: D304BD938AC328D8 Time : 0.0 sec. user=vaughan [2013-02-24 16:41:09] 655*2^1241589-1 is not prime. Res64: A623B4E63549CFC6 Time : 0.0 sec. user=juhehe [2013-02-24 16:43:03] 659*2^1241588-1 is not prime. Res64: 07478E96B366F00A Time : 0.0 sec. user=mdettweiler [2013-02-24 16:46:28] 975*2^1241589-1 is not prime. Res64: 9D6FEB50C8BF4FA0 Time : 0.0 sec. user=mdettweiler [2013-02-24 16:54:30] 945*2^1241589-1 is not prime. Res64: 732CE4BE7343B6AD Time : 0.0 sec. user=mdettweiler [2013-02-24 17:15:38] 651*2^1241590-1 is not prime. Res64: 365B9EEC38E808E5 Time : 0.0 sec. user=mdettweiler [2013-02-24 17:33:37] 743*2^1241590-1 is not prime. Res64: 838311B65DCDB4ED Time : 0.0 sec. user=mdettweiler [2013-02-24 17:33:37] 873*2^1241590-1 is not prime. Res64: 4A9AB354E6C9E47F Time : 0.0 sec. user=mdettweiler [2013-02-24 17:38:35] 933*2^1241590-1 is not prime. Res64: FE7549962C678AA4 Time : 0.0 sec. user=juhehe [2013-02-24 17:43:00] 657*2^1241590-1 is not prime. Res64: 7648D20CE25F9ED2 Time : 0.0 sec. user=mdettweiler [2013-02-24 17:52:05] 957*2^1241590-1 is not prime. Res64: C8B308FF5A89E4D5 Time : 0.0 sec. user=mdettweiler [2013-02-24 17:52:05] 619*2^1241591-1 is not prime. Res64: AC369833D731CA84 Time : 0.0 sec. user=vaughan [2013-02-24 17:55:14] 917*2^1241590-1 is not prime. Res64: 45096DB70A231FFD Time : 0.0 sec. user=mdettweiler [2013-02-24 18:06:21] 945*2^1241590-1 is not prime. Res64: 149F7C02AE54B1FD Time : 0.0 sec. user=mdettweiler [2013-02-24 18:10:23] 921*2^1241591-1 is not prime. Res64: 061C5C4821CF2126 Time : 0.0 sec. user=mdettweiler [2013-02-24 18:26:02] 939*2^1241591-1 is not prime. Res64: B65A925AE7C248BD Time : 0.0 sec. user=vaughan [2013-02-24 18:33:36] 669*2^1241592-1 is not prime. Res64: 8075272B76D91777 Time : 0.0 sec. user=mdettweiler [2013-02-24 18:44:10] 933*2^1241592-1 is not prime. Res64: 3E4AFC7602767E39 Time : 0.0 sec. user=mdettweiler [2013-02-24 18:44:10] 945*2^1241592-1 is not prime. Res64: 704B11982EEBE8EC Time : 0.0 sec. user=mdettweiler [2013-02-24 18:44:32] 615*2^1241593-1 is not prime. Res64: EAE9D022F3C022F1 Time : 0.0 sec. user=mdettweiler [2013-02-24 18:44:33] 625*2^1241593-1 is not prime. Res64: FDF5F2480BD2BCFB Time : 0.0 sec. user=juhehe [2013-02-24 18:44:57] 745*2^1241591-1 is not prime. Res64: 7AE64EAACCEB37FB Time : 0.0 sec. user=juhehe [2013-02-24 18:58:55] 759*2^1241592-1 is not prime. Res64: CCA46229FE4DD4CA Time : 0.0 sec. user=juhehe [2013-02-24 19:00:52] 899*2^1241592-1 is not prime. Res64: 063815C20F740D1D Time : 0.0 sec. user=mdettweiler [2013-02-24 19:02:06] 765*2^1241593-1 is not prime. Res64: 06686A2934430C23 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:02:06] 981*2^1241593-1 is not prime. Res64: CDBE53BD33D0FE13 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:02:09] 985*2^1241593-1 is not prime. Res64: 548B4FC779783770 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:02:10] 987*2^1241593-1 is not prime. Res64: 9A4EC4A25AAD0A13 Time : 0.0 sec. user=vaughan [2013-02-24 19:11:52] 675*2^1241593-1 is not prime. Res64: EEBABD4165E3C8B3 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:19:45] 675*2^1241594-1 is not prime. Res64: 13FB2C311A37F0A6 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:19:45] 743*2^1241594-1 is not prime. Res64: 46337636C06DE0E9 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:19:46] 747*2^1241594-1 is not prime. Res64: 7FC30146F776CD4D Time : 0.0 sec. user=juhehe [2013-02-24 19:35:11] 605*2^1241594-1 is not prime. Res64: F334CD3200E05042 Time : 0.0 sec. user=juhehe [2013-02-24 19:37:10] 651*2^1241594-1 is not prime. Res64: 43613D0AD6D9F329 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:37:34] 833*2^1241594-1 is not prime. Res64: 0E77EC957AE49942 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:37:34] 873*2^1241594-1 is not prime. Res64: 5561C7B4901D7363 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:43:14] 741*2^1241594-1 is not prime. Res64: A693939738A56D2D Time : 0.0 sec. user=juhehe [2013-02-24 19:43:52] 747*2^1241593-1 is not prime. Res64: 30B1DE44C13B6490 Time : 0.0 sec. user=vaughan [2013-02-24 19:50:05] 753*2^1241594-1 is not prime. Res64: BE209FE2E9F88E1B Time : 0.0 sec. user=mdettweiler [2013-02-24 19:55:21] 1001*2^1241594-1 is not prime. Res64: CBC3111DB8DEE2F5 Time : 0.0 sec. user=mdettweiler [2013-02-24 19:55:22] 609*2^1241595-1 is not prime. Res64: 6201984A0143FFCC Time : 0.0 sec. user=mdettweiler [2013-02-24 20:00:58] 679*2^1241595-1 is not prime. Res64: 596CB0365957654F Time : 0.0 sec. user=mdettweiler [2013-02-24 20:01:15] 753*2^1241595-1 is not prime. Res64: 9A665AA6A8A6B19F Time : 0.0 sec. user=mdettweiler [2013-02-24 20:13:12] 717*2^1241596-1 is not prime. Res64: 61E2CA7331B26270 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:13:13] 759*2^1241596-1 is not prime. Res64: FC045231B20AFD9A Time : 0.0 sec. user=vaughan [2013-02-24 20:28:25] 603*2^1241596-1 is not prime. Res64: 4071A98384F25A99 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:31:08] 655*2^1241597-1 is not prime. Res64: 38454EBE38D61466 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:31:08] 837*2^1241597-1 is not prime. Res64: 44FD4007C290665A Time : 0.0 sec. user=mdettweiler [2013-02-24 20:34:37] 867*2^1241597-1 is not prime. Res64: A8C4F21FE4E358E3 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:34:38] 949*2^1241597-1 is not prime. Res64: 79C7BDF12317B008 Time : 0.0 sec. user=juhehe [2013-02-24 20:45:29] 631*2^1241597-1 is not prime. Res64: 15690217999C6A1E Time : 0.0 sec. user=juhehe [2013-02-24 20:46:07] 829*2^1241595-1 is not prime. Res64: A1CF4575374115CC Time : 0.0 sec. user=juhehe [2013-02-24 20:47:19] 651*2^1241597-1 is not prime. Res64: D92C4E427E3C2133 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:48:52] 985*2^1241597-1 is not prime. Res64: 5C48B3CCE5BAD8D4 Time : 0.0 sec. user=mdettweiler [2013-02-24 20:52:07] 773*2^1241598-1 is not prime. Res64: 0C54DAC0FD1CDAEA Time : 0.0 sec. user=mdettweiler [2013-02-24 20:52:08] 801*2^1241598-1 is not prime. Res64: 9FA8A7186AFEA995 Time : 0.0 sec. user=mdettweiler [2013-02-24 21:01:36] 671*2^1241598-1 is not prime. Res64: E6F5977D8CEFFC9F Time : 0.0 sec. user=mdettweiler [2013-02-24 21:10:06] 619*2^1241599-1 is not prime. Res64: B0772450B239C0C7 Time : 0.0 sec. user=vaughan [2013-02-24 21:11:56] 981*2^1241597-1 is not prime. Res64: 14048A546603A45B Time : 0.0 sec. user=mdettweiler [2013-02-24 21:19:26] 685*2^1241599-1 is not prime. Res64: E9F28EAEF25C2E1F Time : 0.0 sec. user=mdettweiler [2013-02-24 21:19:46] 829*2^1241599-1 is not prime. Res64: 042F1C272B83DEC0 Time : 0.0 sec. user=juhehe [2013-02-24 21:23:43] 609*2^1241599-1 is not prime. Res64: 2A7A8D216F5345EF Time : 0.0 sec. user=mdettweiler [2013-02-24 21:38:31] 663*2^1241599-1 is not prime. Res64: 94EE68ECE299433E Time : 0.0 sec. user=juhehe [2013-02-24 21:44:40] 821*2^1241598-1 is not prime. Res64: EB0C63A8C567DA8F Time : 0.0 sec. user=juhehe [2013-02-24 21:55:22] 609*2^1241600-1 is not prime. Res64: EF3806ACE5F087D5 Time : 0.0 sec. user=mdettweiler [2013-02-24 21:56:14] 609*2^1241601-1 is not prime. Res64: F33F009E28B75AE1 Time : 0.0 sec. user=mdettweiler [2013-02-24 21:56:15] 735*2^1241601-1 is not prime. Res64: F7A3E9392AD5C9C2 Time : 0.0 sec. user=juhehe [2013-02-24 22:00:07] 825*2^1241600-1 is not prime. Res64: B6754BDBDB197BED Time : 0.0 sec. user=mdettweiler [2013-02-24 22:00:50] 745*2^1241601-1 is not prime. Res64: 7C189F43FC7A46DA Time : 0.0 sec. user=mdettweiler [2013-02-24 22:00:51] 747*2^1241601-1 is not prime. Res64: 9A28C0652AF6DBFE Time : 0.0 sec. user=mdettweiler [2013-02-24 22:13:55] 975*2^1241601-1 is not prime. Res64: 4A8FD68852EFB21A Time : 0.0 sec. user=mdettweiler [2013-02-24 22:18:32] 755*2^1241602-1 is not prime. Res64: 3AA7D66F07BBE85C Time : 0.0 sec. user=mdettweiler [2013-02-24 22:18:33] 777*2^1241602-1 is not prime. Res64: FD284FF145FA542A Time : 0.0 sec. user=vaughan [2013-02-24 22:25:44] 795*2^1241601-1 is not prime. Res64: 3B9CEB7D5150BFD0 Time : 0.0 sec. user=juhehe [2013-02-24 22:31:34] 955*2^1241601-1 is not prime. Res64: A799305D1D3E5CEF Time : 0.0 sec. user=juhehe [2013-02-24 22:36:13] 657*2^1241602-1 is not prime. Res64: F9E7207A32EF2390 Time : 0.0 sec. user=mdettweiler [2013-02-24 22:36:32] 815*2^1241602-1 is not prime. Res64: D771888B107E28EE Time : 0.0 sec. user=mdettweiler [2013-02-24 22:36:32] 843*2^1241602-1 is not prime. Res64: 811D48C5A9DFC7CA Time : 0.0 sec. user=mdettweiler [2013-02-24 22:40:34] 653*2^1241602-1 is not prime. Res64: AC95291120377381 Time : 0.0 sec. user=juhehe [2013-02-24 22:46:50] 789*2^1241601-1 is not prime. Res64: A6AA8D30A14BD348 Time : 0.0 sec. user=mdettweiler [2013-02-24 22:54:30] 715*2^1241603-1 is not prime. Res64: D1D534EA1332E7C1 Time : 0.0 sec. user=mdettweiler [2013-02-24 22:58:15] 963*2^1241603-1 is not prime. Res64: FFA74307D915BBF9 Time : 0.0 sec. user=mdettweiler [2013-02-24 22:58:15] 981*2^1241603-1 is not prime. Res64: D3D71AB73DFA0CF1 Time : 0.0 sec. user=vaughan [2013-02-24 23:04:13] 673*2^1241603-1 is not prime. Res64: BAB190463F534AC7 Time : 0.0 sec. user=juhehe [2013-02-24 23:08:06] 703*2^1241603-1 is not prime. Res64: 2B98B6312C212636 Time : 0.0 sec. user=mdettweiler [2013-02-24 23:15:31] 771*2^1241603-1 is not prime. Res64: 718FCB5528D59E00 Time : 0.0 sec. user=mdettweiler [2013-02-24 23:16:07] 707*2^1241604-1 is not prime. Res64: C4F123D3A705252A Time : 0.0 sec. user=mdettweiler [2013-02-24 23:28:47] 719*2^1241604-1 is not prime. Res64: AE7C5B8BDBA0F70D Time : 0.0 sec. user=mdettweiler [2013-02-24 23:46:24] 753*2^1241604-1 is not prime. Res64: BADA4EB1C96E8B12 Time : 0.0 sec. user=juhehe [2013-02-24 23:51:45] 985*2^1241603-1 is not prime. Res64: 97E0D3B7EEF4F1F8 Time : 0.0 sec. user=mdettweiler [2013-02-24 23:52:40] 993*2^1241604-1 is not prime. Res64: B4D980EA70DAC251 Time : 0.0 sec. user=mdettweiler [2013-02-24 23:52:40] 645*2^1241605-1 is not prime. Res64: EDA8A1EAF177997B Time : 0.0 sec.