user=mdettweiler [2013-02-02 00:06:48] 671*2^1240374-1 is not prime. Res64: E5BC58A8D754DBF1 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:06:51] 681*2^1240374-1 is not prime. Res64: 7D4871520AFEC745 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:06:52] 707*2^1240374-1 is not prime. Res64: C0EF354371F99B7A Time : 0.0 sec. user=mdettweiler [2013-02-02 00:06:54] 741*2^1240374-1 is not prime. Res64: EA8544264C5D5BDB Time : 0.0 sec. user=mdettweiler [2013-02-02 00:24:22] 791*2^1240374-1 is not prime. Res64: 23DCC31CF939656B Time : 0.0 sec. user=mdettweiler [2013-02-02 00:24:23] 971*2^1240374-1 is not prime. Res64: 8ABF5B9C5E513C1C Time : 0.0 sec. user=mdettweiler [2013-02-02 00:24:23] 763*2^1240375-1 is not prime. Res64: FB36720C3EFE4CB4 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:24:23] 853*2^1240375-1 is not prime. Res64: 60FDA850E0F5E0C8 Time : 0.0 sec. user=vaughan [2013-02-02 00:35:27] 783*2^1240374-1 is not prime. Res64: 1F4C6E9CF388F010 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:41:47] 951*2^1240375-1 is not prime. Res64: C05D3CA94D1DCB1D Time : 0.0 sec. user=mdettweiler [2013-02-02 00:41:48] 659*2^1240376-1 is not prime. Res64: 6F410875408BF296 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:41:48] 961*2^1240375-1 is not prime. Res64: AC195A451CEB5317 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:41:48] 689*2^1240376-1 is not prime. Res64: 672EC6130E1C6176 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:59:11] 815*2^1240376-1 is not prime. Res64: B0E7EBB9F91B9CE1 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:59:11] 845*2^1240376-1 is not prime. Res64: FACDC0B15645C4DB Time : 0.0 sec. user=mdettweiler [2013-02-02 00:59:13] 857*2^1240376-1 is not prime. Res64: 8B4D781CA1CDB2A0 Time : 0.0 sec. user=mdettweiler [2013-02-02 00:59:13] 685*2^1240377-1 is not prime. Res64: 9AC37D867B7B9E1F Time : 0.0 sec. user=vaughan [2013-02-02 01:13:29] 735*2^1240376-1 is not prime. Res64: 9B0C946DA53F4EC7 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:16:35] 765*2^1240377-1 is not prime. Res64: 4A1ABB9752EE2909 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:16:36] 807*2^1240377-1 is not prime. Res64: 84C0BA2DC694BF54 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:16:39] 885*2^1240377-1 is not prime. Res64: FAD9B2846DDD9AF1 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:16:42] 937*2^1240377-1 is not prime. Res64: 074A61FE21857F3C Time : 0.0 sec. user=mdettweiler [2013-02-02 01:34:09] 979*2^1240377-1 is not prime. Res64: CDD3F9F80D9F1087 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:34:10] 999*2^1240377-1 is not prime. Res64: 5115F8016E819304 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:34:16] 647*2^1240378-1 is not prime. Res64: 497077F445D3C1A9 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:34:16] 657*2^1240378-1 is not prime. Res64: B8A38216E88DC77F Time : 0.0 sec. user=mdettweiler [2013-02-02 01:51:33] 687*2^1240378-1 is not prime. Res64: C490AD34F5D318DA Time : 0.0 sec. user=mdettweiler [2013-02-02 01:51:34] 713*2^1240378-1 is not prime. Res64: D07605A78A058B9E Time : 0.0 sec. user=mdettweiler [2013-02-02 01:51:41] 723*2^1240378-1 is not prime. Res64: 82C00B3268F014D8 Time : 0.0 sec. user=mdettweiler [2013-02-02 01:51:41] 827*2^1240378-1 is not prime. Res64: A0A575BC95A66621 Time : 0.0 sec. user=vaughan [2013-02-02 01:51:46] 955*2^1240377-1 is not prime. Res64: C424B6398CBA7BCC Time : 0.0 sec. user=mdettweiler [2013-02-02 02:08:58] 911*2^1240378-1 is not prime. Res64: 09583703E0391881 Time : 0.0 sec. user=mdettweiler [2013-02-02 02:08:59] 945*2^1240378-1 is not prime. Res64: 1705C05BF4349A83 Time : 0.0 sec. user=mdettweiler [2013-02-02 02:09:04] 951*2^1240378-1 is not prime. Res64: BC08C61732A96518 Time : 0.0 sec. user=mdettweiler [2013-02-02 02:09:06] 981*2^1240378-1 is not prime. Res64: 30480ABADD212C54 Time : 0.0 sec. user=vaughan [2013-02-02 02:29:45] 741*2^1240379-1 is not prime. Res64: 60A275F28AAE179F Time : 0.0 sec. user=mdettweiler [2013-02-02 02:36:50] 753*2^1240379-1 is not prime. Res64: D14EB854E13E46DA Time : 0.0 sec. user=mdettweiler [2013-02-02 02:36:52] 879*2^1240379-1 is not prime. Res64: 35586DACB3B3203E Time : 0.0 sec. user=mdettweiler [2013-02-02 02:36:53] 885*2^1240379-1 is not prime. Res64: 5F155BDEABFB596F Time : 0.0 sec. user=mdettweiler [2013-02-02 02:36:55] 943*2^1240379-1 is not prime. Res64: F1162440222CC38F Time : 0.0 sec. user=mdettweiler [2013-02-02 02:54:37] 665*2^1240380-1 is not prime. Res64: 752FE9F3E4667242 Time : 0.0 sec. user=mdettweiler [2013-02-02 02:54:38] 675*2^1240380-1 is not prime. Res64: 0BD39776999CFAF9 Time : 0.0 sec. user=mdettweiler [2013-02-02 02:54:41] 693*2^1240380-1 is not prime. Res64: 3B7E37BB7E5D21DD Time : 0.0 sec. user=mdettweiler [2013-02-02 02:54:42] 759*2^1240380-1 is not prime. Res64: 90A16CC1C9C00E85 Time : 0.0 sec. user=vaughan [2013-02-02 03:07:47] 955*2^1240379-1 is not prime. Res64: CF243BAC2C358D97 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:12:09] 765*2^1240380-1 is not prime. Res64: EF3BBACC94237650 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:12:10] 767*2^1240380-1 is not prime. Res64: CA98D6E82A933770 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:12:10] 803*2^1240380-1 is not prime. Res64: B4B8AB7E14252BFB Time : 0.0 sec. user=mdettweiler [2013-02-02 03:12:11] 867*2^1240380-1 is not prime. Res64: BB4E0BFAD846B9CE Time : 0.0 sec. user=mdettweiler [2013-02-02 03:29:43] 933*2^1240380-1 is not prime. Res64: CA0A74B33E9888EC Time : 0.0 sec. user=mdettweiler [2013-02-02 03:29:43] 945*2^1240380-1 is not prime. Res64: 9FF6BBDE84DB4E55 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:29:45] 965*2^1240380-1 is not prime. Res64: 77805D62F3F27698 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:29:46] 607*2^1240381-1 is not prime. Res64: F7566E086D7F903C Time : 0.0 sec. user=vaughan [2013-02-02 03:45:53] 909*2^1240380-1 is not prime. Res64: 3EA7A9E1E05B8389 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:47:08] 741*2^1240381-1 is not prime. Res64: 05DAFA708752D695 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:47:09] 745*2^1240381-1 is not prime. Res64: 8DF71717F3F7B05A Time : 0.0 sec. user=mdettweiler [2013-02-02 03:47:09] 847*2^1240381-1 is not prime. Res64: BF3E4876CED60F68 Time : 0.0 sec. user=mdettweiler [2013-02-02 03:47:10] 861*2^1240381-1 is not prime. Res64: 7896DF05591F63F8 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:04:33] 957*2^1240381-1 is not prime. Res64: 471E0CC40BD3F31A Time : 0.0 sec. user=mdettweiler [2013-02-02 04:04:36] 997*2^1240381-1 is not prime. Res64: ACD10F570641D559 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:04:41] 617*2^1240382-1 is not prime. Res64: 22D6C716C8E9438A Time : 0.0 sec. user=mdettweiler [2013-02-02 04:04:45] 693*2^1240382-1 is not prime. Res64: A485F374A04D8220 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:22:27] 893*2^1240382-1 is not prime. Res64: 68E6D65E23F3506B Time : 0.0 sec. user=mdettweiler [2013-02-02 04:22:28] 915*2^1240382-1 is not prime. Res64: 8756772F82B164C7 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:22:31] 951*2^1240382-1 is not prime. Res64: 08925FCA39856DA6 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:22:32] 649*2^1240383-1 is not prime. Res64: 5C9131370259F8C5 Time : 0.0 sec. user=vaughan [2013-02-02 04:23:54] 889*2^1240381-1 is not prime. Res64: 827EEBADEE4A67DA Time : 0.0 sec. user=mdettweiler [2013-02-02 04:39:54] 663*2^1240383-1 is not prime. Res64: E18DEBB9E4682518 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:39:57] 895*2^1240383-1 is not prime. Res64: E75A01CAE0CEFD7D Time : 0.0 sec. user=mdettweiler [2013-02-02 04:39:59] 879*2^1240383-1 is not prime. Res64: 7EFDE0E1D37AAAEF Time : 0.0 sec. user=mdettweiler [2013-02-02 04:40:02] 693*2^1240384-1 is not prime. Res64: 4FB86EDD7E260CEA Time : 0.0 sec. user=mdettweiler [2013-02-02 04:57:49] 813*2^1240384-1 is not prime. Res64: E96849A0C3D82184 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:57:49] 825*2^1240384-1 is not prime. Res64: 509BA4146595B725 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:57:53] 827*2^1240384-1 is not prime. Res64: C7CB90D58CAA0724 Time : 0.0 sec. user=mdettweiler [2013-02-02 04:57:53] 923*2^1240384-1 is not prime. Res64: 71C9FB67CBB710C2 Time : 0.0 sec. user=vaughan [2013-02-02 05:01:58] 759*2^1240384-1 is not prime. Res64: C60ADD7B871CDC1E Time : 0.0 sec. user=mdettweiler [2013-02-02 05:15:14] 619*2^1240385-1 is not prime. Res64: 07AD52CE1200ECC9 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:15:14] 685*2^1240385-1 is not prime. Res64: D8556293FBEE2E4E Time : 0.0 sec. user=mdettweiler [2013-02-02 05:15:18] 691*2^1240385-1 is not prime. Res64: 1379104CC0EF1381 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:15:18] 699*2^1240385-1 is not prime. Res64: 2F8F35550DAD75F6 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:32:40] 771*2^1240385-1 is not prime. Res64: 8608EA111454FE57 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:32:41] 811*2^1240385-1 is not prime. Res64: 2831139B10828771 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:32:42] 871*2^1240385-1 is not prime. Res64: 93E629231BF4E917 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:32:42] 937*2^1240385-1 is not prime. Res64: BE5F6FFD95DEBBD3 Time : 0.0 sec. user=vaughan [2013-02-02 05:40:01] 759*2^1240385-1 is not prime. Res64: E1C1F88F1354C337 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:50:05] 735*2^1240386-1 is not prime. Res64: 7001F75B91D903A2 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:50:06] 737*2^1240386-1 is not prime. Res64: AF0BBF26809D5A62 Time : 0.0 sec. user=mdettweiler [2013-02-02 05:50:07] 765*2^1240386-1 is not prime. Res64: DD30004C669175DA Time : 0.0 sec. user=mdettweiler [2013-02-02 05:50:08] 851*2^1240386-1 is not prime. Res64: C4FF5CC623933425 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:07:30] 645*2^1240387-1 is not prime. Res64: BA4CE310670A2FAE Time : 0.0 sec. user=mdettweiler [2013-02-02 06:07:32] 703*2^1240387-1 is not prime. Res64: 538E869BE4CA2ED2 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:07:33] 715*2^1240387-1 is not prime. Res64: C992F2C4A03ACC93 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:07:34] 919*2^1240387-1 is not prime. Res64: 2C0C5C3044F0E441 Time : 0.0 sec. user=vaughan [2013-02-02 06:18:00] 609*2^1240387-1 is not prime. Res64: 5CF8F47078BBB265 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:25:07] 603*2^1240388-1 is not prime. Res64: D8C79983A7C87202 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:25:08] 635*2^1240388-1 is not prime. Res64: DAB80110DFC9E431 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:25:11] 687*2^1240388-1 is not prime. Res64: EB4F22FD91434712 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:25:11] 725*2^1240388-1 is not prime. Res64: 5948BC1951D5DA04 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:42:31] 795*2^1240388-1 is not prime. Res64: 7DAAE1DC7DF78FD4 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:42:32] 649*2^1240389-1 is not prime. Res64: 0A1F3E8CE424AE8C Time : 0.0 sec. user=mdettweiler [2013-02-02 06:42:34] 795*2^1240389-1 is not prime. Res64: 243294666AD91774 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:42:35] 831*2^1240389-1 is not prime. Res64: 0E0E42E218DDA7E0 Time : 0.0 sec. user=vaughan [2013-02-02 06:56:05] 749*2^1240388-1 is not prime. Res64: C74A58BF29CF8680 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:59:55] 861*2^1240389-1 is not prime. Res64: E0408E09D083FDF4 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:59:56] 921*2^1240389-1 is not prime. Res64: F2AEE487C02D841C Time : 0.0 sec. user=mdettweiler [2013-02-02 06:59:58] 955*2^1240389-1 is not prime. Res64: 332F870550A811F3 Time : 0.0 sec. user=mdettweiler [2013-02-02 06:59:59] 999*2^1240389-1 is not prime. Res64: 9E43F62DC39419FB Time : 0.0 sec. user=mdettweiler [2013-02-02 07:17:19] 677*2^1240390-1 is not prime. Res64: 092EC7A508C0791B Time : 0.0 sec. user=mdettweiler [2013-02-02 07:17:20] 687*2^1240390-1 is not prime. Res64: 5DCA6A16FB425610 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:17:22] 707*2^1240390-1 is not prime. Res64: 7E4D0FFE231B6A21 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:17:23] 791*2^1240390-1 is not prime. Res64: 73FD006D9983384C Time : 0.0 sec. user=vaughan [2013-02-02 07:34:05] 603*2^1240390-1 is not prime. Res64: E30C28E132AD5933 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:34:44] 933*2^1240390-1 is not prime. Res64: 8265E413B8B39337 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:34:45] 957*2^1240390-1 is not prime. Res64: 9C10AABD88F4217B Time : 0.0 sec. user=mdettweiler [2013-02-02 07:34:46] 609*2^1240391-1 is not prime. Res64: 24B8747B972FC102 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:34:47] 669*2^1240391-1 is not prime. Res64: A7DDC8237A5C5A81 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:52:08] 781*2^1240391-1 is not prime. Res64: B7E4775A09387A3B Time : 0.0 sec. user=mdettweiler [2013-02-02 07:52:09] 811*2^1240391-1 is not prime. Res64: 05E2CF2D889BAD90 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:52:11] 921*2^1240391-1 is not prime. Res64: A64062B374891A17 Time : 0.0 sec. user=mdettweiler [2013-02-02 07:52:12] 737*2^1240392-1 is not prime. Res64: 9913A71271F5D28A Time : 0.0 sec. user=mdettweiler [2013-02-02 08:09:33] 765*2^1240392-1 is not prime. Res64: 104D02F702C8C63E Time : 0.0 sec. user=mdettweiler [2013-02-02 08:09:34] 863*2^1240392-1 is not prime. Res64: CB25B5F8DE7E2D2B Time : 0.0 sec. user=mdettweiler [2013-02-02 08:09:35] 609*2^1240393-1 is not prime. Res64: BA45DB1AC39CFD06 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:09:36] 649*2^1240393-1 is not prime. Res64: 528444C48F155765 Time : 0.0 sec. user=vaughan [2013-02-02 08:12:09] 753*2^1240391-1 is not prime. Res64: 3CC83DB1C949EFE3 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:27:01] 721*2^1240393-1 is not prime. Res64: 7A8E453891630CE7 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:27:02] 747*2^1240393-1 is not prime. Res64: BC0627EF57ACB9B1 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:27:03] 801*2^1240393-1 is not prime. Res64: 8FABBC50920738A9 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:27:04] 831*2^1240393-1 is not prime. Res64: 4D3C617DCEB1B55D Time : 0.0 sec. user=mdettweiler [2013-02-02 08:44:29] 937*2^1240393-1 is not prime. Res64: 0531D3B470AE3DB1 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:44:30] 641*2^1240394-1 is not prime. Res64: B43DD61D15D14A72 Time : 0.0 sec. user=mdettweiler [2013-02-02 08:44:31] 657*2^1240394-1 is not prime. Res64: 16C163B8B6EC529F Time : 0.0 sec. user=mdettweiler [2013-02-02 08:44:32] 675*2^1240394-1 is not prime. Res64: B1630D0D472796DB Time : 0.0 sec. user=vaughan [2013-02-02 08:50:11] 867*2^1240393-1 is not prime. Res64: FF23DA84246138C7 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:01:54] 705*2^1240394-1 is not prime. Res64: F7C7721BD9952D13 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:01:55] 857*2^1240394-1 is not prime. Res64: 54F42687996D6FA6 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:01:56] 917*2^1240394-1 is not prime. Res64: FC01E0ED3CEE366A Time : 0.0 sec. user=mdettweiler [2013-02-02 09:01:57] 609*2^1240395-1 is not prime. Res64: AB2CC8969BA7C58E Time : 0.0 sec. user=mdettweiler [2013-02-02 09:19:28] 943*2^1240395-1 is not prime. Res64: 5BC4D3F71D4058E7 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:19:28] 969*2^1240395-1 is not prime. Res64: 3940A39D6FB4A33C Time : 0.0 sec. user=mdettweiler [2013-02-02 09:19:29] 603*2^1240396-1 is not prime. Res64: 12EF1FA404548047 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:19:30] 639*2^1240396-1 is not prime. Res64: 2C68A52874D785A7 Time : 0.0 sec. user=vaughan [2013-02-02 09:28:08] 679*2^1240395-1 is not prime. Res64: 61EEE254D9040758 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:36:54] 657*2^1240396-1 is not prime. Res64: 3C27A7D28A5ADB36 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:36:55] 619*2^1240397-1 is not prime. Res64: 8198EE701A2D4CED Time : 0.0 sec. user=mdettweiler [2013-02-02 09:36:55] 749*2^1240396-1 is not prime. Res64: 894BC785D64C062B Time : 0.0 sec. user=mdettweiler [2013-02-02 09:36:55] 631*2^1240397-1 is not prime. Res64: A1979AE8461945DD Time : 0.0 sec. user=mdettweiler [2013-02-02 09:54:19] 837*2^1240397-1 is not prime. Res64: E379FDF896FAC5BA Time : 0.0 sec. user=mdettweiler [2013-02-02 09:54:19] 985*2^1240397-1 is not prime. Res64: 246A5FD4542BAA9B Time : 0.0 sec. user=mdettweiler [2013-02-02 09:54:22] 767*2^1240398-1 is not prime. Res64: 4E596CF9B6F3F5C3 Time : 0.0 sec. user=mdettweiler [2013-02-02 09:54:22] 843*2^1240398-1 is not prime. Res64: C5FD7374DA500217 Time : 0.0 sec. user=vaughan [2013-02-02 10:06:07] 727*2^1240397-1 is not prime. Res64: 83791A05840E1A0C Time : 0.0 sec. user=mdettweiler [2013-02-02 10:11:46] 957*2^1240398-1 is not prime. Res64: 1DD2410A59C7EFD8 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:11:47] 663*2^1240399-1 is not prime. Res64: 56DA464432F387BE Time : 0.0 sec. user=mdettweiler [2013-02-02 10:11:48] 645*2^1240399-1 is not prime. Res64: A2DBEE308CDE1F86 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:11:50] 685*2^1240399-1 is not prime. Res64: A325891C72D77BB9 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:29:27] 775*2^1240399-1 is not prime. Res64: EB32460504BF45C5 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:29:27] 919*2^1240399-1 is not prime. Res64: 6A2366454892FB31 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:29:28] 933*2^1240399-1 is not prime. Res64: 93D6B3D2137E02F9 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:29:28] 633*2^1240400-1 is not prime. Res64: 5AD8D029CC02D7AB Time : 0.0 sec. user=vaughan [2013-02-02 10:44:08] 723*2^1240399-1 is not prime. Res64: A1A737F3026EE6BA Time : 0.0 sec. user=mdettweiler [2013-02-02 10:46:52] 687*2^1240400-1 is not prime. Res64: 3085609CCFFCCE36 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:46:52] 725*2^1240400-1 is not prime. Res64: 29D2CF7A7F80DA93 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:46:54] 743*2^1240400-1 is not prime. Res64: 4A513FA5EEE35C78 Time : 0.0 sec. user=mdettweiler [2013-02-02 10:46:54] 909*2^1240400-1 is not prime. Res64: 8134F20084FA6E2A Time : 0.0 sec. user=mdettweiler [2013-02-02 11:04:16] 999*2^1240400-1 is not prime. Res64: 4FEA6CA6C7C19D12 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:04:17] 679*2^1240401-1 is not prime. Res64: 08C58347AD1E930E Time : 0.0 sec. user=mdettweiler [2013-02-02 11:04:18] 741*2^1240401-1 is not prime. Res64: 637D36BA5E831821 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:04:19] 751*2^1240401-1 is not prime. Res64: 15A893BC9AD1555F Time : 0.0 sec. user=mdettweiler [2013-02-02 11:21:46] 849*2^1240401-1 is not prime. Res64: 7F81E3C5408E47A4 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:21:47] 889*2^1240401-1 is not prime. Res64: 31E2FB0C7EC1BFC9 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:21:48] 895*2^1240401-1 is not prime. Res64: 9FBEF42D6EAF0BBC Time : 0.0 sec. user=mdettweiler [2013-02-02 11:21:49] 921*2^1240401-1 is not prime. Res64: 3FFD554F1EF0BCE6 Time : 0.0 sec. user=vaughan [2013-02-02 11:22:06] 983*2^1240400-1 is not prime. Res64: 212FC67914EBE00F Time : 0.0 sec. user=mdettweiler [2013-02-02 11:39:11] 937*2^1240401-1 is not prime. Res64: C0165ADD9ED95758 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:39:11] 979*2^1240401-1 is not prime. Res64: 310B7FF3A4DD2EB0 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:39:12] 617*2^1240402-1 is not prime. Res64: 970D1FDE0AE4A6FD Time : 0.0 sec. user=mdettweiler [2013-02-02 11:39:12] 833*2^1240402-1 is not prime. Res64: 18533DCC671288DC Time : 0.0 sec. user=mdettweiler [2013-02-02 11:56:35] 759*2^1240403-1 is not prime. Res64: CEED07919BCC7AD8 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:56:36] 913*2^1240403-1 is not prime. Res64: 7903322A3AB61C79 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:56:36] 811*2^1240403-1 is not prime. Res64: A96AB5995C469AF3 Time : 0.0 sec. user=mdettweiler [2013-02-02 11:56:36] 949*2^1240403-1 is not prime. Res64: 47774BBE5332F5C6 Time : 0.0 sec. user=vaughan [2013-02-02 12:00:12] 887*2^1240402-1 is not prime. Res64: CCD03683CFE61A83 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:13:59] 955*2^1240403-1 is not prime. Res64: 3B8F36C862EF5C35 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:14:01] 615*2^1240404-1 is not prime. Res64: 330EF2DC9D605EC2 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:14:01] 635*2^1240404-1 is not prime. Res64: 9E93829B4F5C4DDB Time : 0.0 sec. user=mdettweiler [2013-02-02 12:14:02] 767*2^1240404-1 is not prime. Res64: 549B7C2D44ADEE25 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:31:34] 975*2^1240404-1 is not prime. Res64: 3A42F499548B5ECA Time : 0.0 sec. user=mdettweiler [2013-02-02 12:31:35] 987*2^1240404-1 is not prime. Res64: E777DADC960E62FC Time : 0.0 sec. user=mdettweiler [2013-02-02 12:31:35] 625*2^1240405-1 is not prime. Res64: BA726400930D3416 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:31:35] 651*2^1240405-1 is not prime. Res64: A9D8A7EDD84F0B70 Time : 0.0 sec. user=vaughan [2013-02-02 12:38:14] 947*2^1240404-1 is not prime. Res64: 99802D6BBAC9F77A Time : 0.0 sec. user=mdettweiler [2013-02-02 12:49:49] 759*2^1240405-1 is not prime. Res64: 1A86579319F5A612 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:49:49] 799*2^1240405-1 is not prime. Res64: 605298A9F0558D28 Time : 0.0 sec. user=mdettweiler [2013-02-02 12:49:51] 997*2^1240405-1 is not prime. Res64: 79DF445012586A2A Time : 0.0 sec. user=mdettweiler [2013-02-02 12:49:51] 657*2^1240406-1 is not prime. Res64: FA415C136CB02992 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:08:36] 743*2^1240406-1 is not prime. Res64: 0E6CD894AA32A3A0 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:08:37] 795*2^1240406-1 is not prime. Res64: EDBD6CDCDE2BE043 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:08:39] 801*2^1240406-1 is not prime. Res64: B6D2BA86CFCCCEA8 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:08:41] 825*2^1240406-1 is not prime. Res64: 8F7CFD98138D8B8E Time : 0.0 sec. user=vaughan [2013-02-02 13:16:12] 683*2^1240406-1 is not prime. Res64: F66CF35D136B3CFA Time : 0.0 sec. user=mdettweiler [2013-02-02 13:26:15] 851*2^1240406-1 is not prime. Res64: 84AC784E4944645C Time : 0.0 sec. user=mdettweiler [2013-02-02 13:26:15] 669*2^1240407-1 is not prime. Res64: ADA64D70D0E1B5C3 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:26:16] 765*2^1240407-1 is not prime. Res64: 01BF20DCAE543732 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:26:17] 933*2^1240407-1 is not prime. Res64: 3475507C4A621F57 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:43:39] 963*2^1240407-1 is not prime. Res64: BD3F7DE82704D074 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:43:40] 985*2^1240407-1 is not prime. Res64: ECE08C0C624A4E08 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:43:40] 615*2^1240408-1 is not prime. Res64: 1FC7884EBD414E50 Time : 0.0 sec. user=mdettweiler [2013-02-02 13:43:40] 635*2^1240408-1 is not prime. Res64: 544AECD327D93FF5 Time : 0.0 sec. user=vaughan [2013-02-02 13:54:14] 961*2^1240407-1 is not prime. Res64: 830EB6CB41614EE1 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:01:03] 707*2^1240408-1 is not prime. Res64: AADD6ADEB85AC132 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:01:04] 827*2^1240408-1 is not prime. Res64: 486F83E87B59E638 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:01:05] 863*2^1240408-1 is not prime. Res64: 02D274821BD4BFC2 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:01:06] 897*2^1240408-1 is not prime. Res64: BB5146B7C6EE79D5 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:18:29] 775*2^1240409-1 is not prime. Res64: 5B2B9966F31C23D1 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:18:29] 855*2^1240409-1 is not prime. Res64: EC2CC05CF7C4A3AC Time : 0.0 sec. user=mdettweiler [2013-02-02 14:18:30] 885*2^1240409-1 is not prime. Res64: 3763E3E1690F79CC Time : 0.0 sec. user=mdettweiler [2013-02-02 14:18:31] 897*2^1240409-1 is not prime. Res64: 17604B853DB8CB29 Time : 0.0 sec. user=vaughan [2013-02-02 14:32:14] 727*2^1240409-1 is not prime. Res64: 7E7D5768D7608C19 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:35:54] 967*2^1240409-1 is not prime. Res64: F1001CAF4F039965 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:35:54] 657*2^1240410-1 is not prime. Res64: B97E811574B5C028 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:35:55] 677*2^1240410-1 is not prime. Res64: 51DEB80AC50332D5 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:35:56] 717*2^1240410-1 is not prime. Res64: 421FF5B1EC288FDF Time : 0.0 sec. user=mdettweiler [2013-02-02 14:53:24] 845*2^1240410-1 is not prime. Res64: 02772D761B56A707 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:53:24] 921*2^1240410-1 is not prime. Res64: 62662668191E2862 Time : 0.0 sec. user=mdettweiler [2013-02-02 14:53:24] 851*2^1240410-1 is not prime. Res64: 0DAFCDC43C981E3D Time : 0.0 sec. user=mdettweiler [2013-02-02 14:53:25] 645*2^1240411-1 is not prime. Res64: E9D9E039D2A87EFE Time : 0.0 sec. user=vaughan [2013-02-02 15:10:12] 783*2^1240410-1 is not prime. Res64: 14445202556089B8 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:11:11] 723*2^1240411-1 is not prime. Res64: D1BDC9B26DFE48BD Time : 0.0 sec. user=mdettweiler [2013-02-02 15:11:12] 841*2^1240411-1 is not prime. Res64: 3817CDE07147FE0C Time : 0.0 sec. user=mdettweiler [2013-02-02 15:11:13] 855*2^1240411-1 is not prime. Res64: 9DABFC0666C04373 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:11:14] 871*2^1240411-1 is not prime. Res64: 531CA119E4377ACA Time : 0.0 sec. user=mdettweiler [2013-02-02 15:28:45] 895*2^1240411-1 is not prime. Res64: 74A783DB0112670F Time : 0.0 sec. user=mdettweiler [2013-02-02 15:28:45] 749*2^1240412-1 is not prime. Res64: E3DD4C3A7C9CD618 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:28:48] 759*2^1240412-1 is not prime. Res64: 62A0F757EEF43A4B Time : 0.0 sec. user=mdettweiler [2013-02-02 15:28:49] 777*2^1240412-1 is not prime. Res64: 4D125A2009894CA1 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:47:13] 903*2^1240412-1 is not prime. Res64: 446E4B9518076F76 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:47:14] 639*2^1240413-1 is not prime. Res64: B7F6BB9F7B136B90 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:47:16] 765*2^1240413-1 is not prime. Res64: 63E232ECDB0F8110 Time : 0.0 sec. user=mdettweiler [2013-02-02 15:47:16] 829*2^1240413-1 is not prime. Res64: 7E8BF19D23BBD7FD Time : 0.0 sec. user=vaughan [2013-02-02 15:48:22] 873*2^1240411-1 is not prime. Res64: 4C3B92EA40530434 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:04:38] 867*2^1240413-1 is not prime. Res64: 7D715F3D8BBBC9B6 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:04:39] 877*2^1240413-1 is not prime. Res64: 98E72A8134FD83A1 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:04:41] 717*2^1240414-1 is not prime. Res64: 11053F34ED5324F0 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:04:42] 755*2^1240414-1 is not prime. Res64: 5DA9946D5CC5DF1F Time : 0.0 sec. user=mdettweiler [2013-02-02 16:22:08] 915*2^1240414-1 is not prime. Res64: 16AE73B898D2DFF1 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:22:09] 603*2^1240415-1 is not prime. Res64: 1379953274D201E9 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:22:09] 771*2^1240415-1 is not prime. Res64: 0F847F997AC19312 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:22:10] 841*2^1240415-1 is not prime. Res64: CAFF3A50E035E967 Time : 0.0 sec. user=vaughan [2013-02-02 16:26:21] 827*2^1240414-1 is not prime. Res64: 30937CE4D6062569 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:39:58] 859*2^1240415-1 is not prime. Res64: 16BE4334CD90C597 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:39:59] 861*2^1240415-1 is not prime. Res64: DB31B4C72F4EF21E Time : 0.0 sec. user=mdettweiler [2013-02-02 16:39:59] 883*2^1240415-1 is not prime. Res64: 7D951011C9D37136 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:39:59] 943*2^1240415-1 is not prime. Res64: 3DFB5BAC6EAF6360 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:57:42] 705*2^1240416-1 is not prime. Res64: 3706768ED25551C8 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:57:42] 737*2^1240416-1 is not prime. Res64: D57F827A15583C21 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:57:43] 767*2^1240416-1 is not prime. Res64: CB656F9D2FD6F930 Time : 0.0 sec. user=mdettweiler [2013-02-02 16:57:43] 845*2^1240416-1 is not prime. Res64: 3827C85ACF9B7317 Time : 0.0 sec. user=vaughan [2013-02-02 17:04:19] 969*2^1240415-1 is not prime. Res64: D9DCFCF93F7F64CF Time : 0.0 sec. user=mdettweiler [2013-02-02 17:15:15] 609*2^1240417-1 is not prime. Res64: 6C285629A123A613 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:15:16] 717*2^1240417-1 is not prime. Res64: 5E3DA820F4BD5119 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:15:18] 897*2^1240417-1 is not prime. Res64: 50EEC5A1F6F6E7C8 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:15:19] 747*2^1240418-1 is not prime. Res64: 289F7CD04665CAA0 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:32:52] 867*2^1240418-1 is not prime. Res64: CF823C8283549ED7 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:32:53] 963*2^1240418-1 is not prime. Res64: 85CB2527E476BA45 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:32:53] 619*2^1240419-1 is not prime. Res64: 5D7C81104D2ABB33 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:32:53] 873*2^1240419-1 is not prime. Res64: 0965BE503A739091 Time : 0.0 sec. user=vaughan [2013-02-02 17:42:19] 827*2^1240418-1 is not prime. Res64: 7142773A74179B48 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:50:26] 921*2^1240419-1 is not prime. Res64: 77C48D33D9FED714 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:50:26] 961*2^1240419-1 is not prime. Res64: 4F6A3BDD50301CF2 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:50:27] 623*2^1240420-1 is not prime. Res64: 5C52D764D37F0E53 Time : 0.0 sec. user=mdettweiler [2013-02-02 17:50:27] 675*2^1240420-1 is not prime. Res64: D5DB2F277DEC69BB Time : 0.0 sec. user=mdettweiler [2013-02-02 18:08:04] 855*2^1240420-1 is not prime. Res64: 8B5BD9C5BDDE10E0 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:08:04] 775*2^1240421-1 is not prime. Res64: 108512FA28B930DA Time : 0.0 sec. user=mdettweiler [2013-02-02 18:08:05] 999*2^1240420-1 is not prime. Res64: 5AE4F9512955CBE1 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:08:05] 781*2^1240421-1 is not prime. Res64: B89120C12B1A3FC7 Time : 0.0 sec. user=vaughan [2013-02-02 18:20:18] 699*2^1240420-1 is not prime. Res64: D86BF967650B2539 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:25:55] 931*2^1240421-1 is not prime. Res64: 6B03C90442CF9E4B Time : 0.0 sec. user=mdettweiler [2013-02-02 18:25:56] 693*2^1240422-1 is not prime. Res64: 1CDD99C9281972DD Time : 0.0 sec. user=mdettweiler [2013-02-02 18:25:57] 863*2^1240422-1 is not prime. Res64: BF120267A56F4E08 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:25:58] 903*2^1240422-1 is not prime. Res64: 9CF235323648C968 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:44:11] 741*2^1240423-1 is not prime. Res64: E7C26634C79DE4B3 Time : 0.0 sec. user=mdettweiler [2013-02-02 18:44:11] 615*2^1240424-1 is not prime. Res64: 6ECCD774722820DC Time : 0.0 sec. user=mdettweiler [2013-02-02 18:44:13] 795*2^1240424-1 is not prime. Res64: 0844BE705DEA624C Time : 0.0 sec. user=mdettweiler [2013-02-02 18:44:13] 803*2^1240424-1 is not prime. Res64: EA97BA8E8069449F Time : 0.0 sec. user=vaughan [2013-02-02 18:58:23] 639*2^1240423-1 is not prime. Res64: 42BB9704021D7700 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:01:45] 897*2^1240424-1 is not prime. Res64: 8157889F89BAF236 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:01:46] 899*2^1240424-1 is not prime. Res64: E3543EB9EC3DA27D Time : 0.0 sec. user=mdettweiler [2013-02-02 19:01:47] 927*2^1240424-1 is not prime. Res64: CBC2411B9C91DA37 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:01:48] 969*2^1240424-1 is not prime. Res64: 9CC0D2C39BFC6640 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:19:22] 679*2^1240425-1 is not prime. Res64: C57E395880EF7F96 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:19:22] 741*2^1240425-1 is not prime. Res64: 0E4BCBA5D77ED165 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:19:24] 909*2^1240425-1 is not prime. Res64: 6381AD0F6513FD5D Time : 0.0 sec. user=mdettweiler [2013-02-02 19:19:24] 915*2^1240425-1 is not prime. Res64: 98A20C634F1C3D37 Time : 0.0 sec. user=vaughan [2013-02-02 19:36:22] 627*2^1240425-1 is not prime. Res64: 60B8B88CD4DEA08A Time : 0.0 sec. user=mdettweiler [2013-02-02 19:36:58] 755*2^1240426-1 is not prime. Res64: E27EEB9BA806127E Time : 0.0 sec. user=mdettweiler [2013-02-02 19:36:58] 765*2^1240426-1 is not prime. Res64: 6F025B96B8C2C707 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:37:01] 647*2^1240426-1 is not prime. Res64: C40CBCC6175379D5 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:37:02] 653*2^1240426-1 is not prime. Res64: 49197E4B7BC8F839 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:54:30] 813*2^1240426-1 is not prime. Res64: 1FD0D20E6AC05A9D Time : 0.0 sec. user=mdettweiler [2013-02-02 19:54:30] 957*2^1240426-1 is not prime. Res64: 3858BF20D02FD890 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:54:33] 643*2^1240427-1 is not prime. Res64: DB346AEBC7B57A61 Time : 0.0 sec. user=mdettweiler [2013-02-02 19:54:33] 735*2^1240427-1 is not prime. Res64: AC5FC3139D13D62A Time : 0.0 sec. user=mdettweiler [2013-02-02 20:12:02] 801*2^1240427-1 is not prime. Res64: 8C9A83238BD5A759 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:12:03] 805*2^1240427-1 is not prime. Res64: 49ADBE5E5126F448 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:12:05] 885*2^1240427-1 is not prime. Res64: 6CCA3EEEBE461B0C Time : 0.0 sec. user=mdettweiler [2013-02-02 20:12:06] 915*2^1240427-1 is not prime. Res64: 4C19F78311F13B05 Time : 0.0 sec. user=vaughan [2013-02-02 20:14:16] 777*2^1240426-1 is not prime. Res64: 964E4A4843ADCECE Time : 0.0 sec. user=mdettweiler [2013-02-02 20:29:38] 949*2^1240427-1 is not prime. Res64: 57A164348B323C2C Time : 0.0 sec. user=mdettweiler [2013-02-02 20:29:39] 707*2^1240428-1 is not prime. Res64: 0A6EC17F8694850E Time : 0.0 sec. user=mdettweiler [2013-02-02 20:29:39] 783*2^1240428-1 is not prime. Res64: 31AF4E552B723132 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:29:39] 789*2^1240428-1 is not prime. Res64: E655C7DACF08BB86 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:47:10] 803*2^1240428-1 is not prime. Res64: B67BA31262C98B47 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:47:10] 809*2^1240428-1 is not prime. Res64: F5A6818268F56CAA Time : 0.0 sec. user=mdettweiler [2013-02-02 20:47:11] 819*2^1240428-1 is not prime. Res64: 3C1F676E928470D5 Time : 0.0 sec. user=mdettweiler [2013-02-02 20:47:12] 845*2^1240428-1 is not prime. Res64: 6FF8834F613679B5 Time : 0.0 sec. user=vaughan [2013-02-02 20:52:18] 797*2^1240428-1 is not prime. Res64: AFF5602C424105C9 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:04:42] 923*2^1240428-1 is not prime. Res64: 24B8CF3B0EA11F0B Time : 0.0 sec. user=mdettweiler [2013-02-02 21:04:45] 691*2^1240429-1 is not prime. Res64: 1BAF2306DE252C0E Time : 0.0 sec. user=mdettweiler [2013-02-02 21:04:48] 861*2^1240429-1 is not prime. Res64: 47960BD2EF33AA15 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:04:49] 931*2^1240429-1 is not prime. Res64: 8AC11B7DC64002F9 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:22:37] 603*2^1240430-1 is not prime. Res64: 9984FD794655DAC2 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:22:37] 791*2^1240430-1 is not prime. Res64: 1D2863D0F1B39FDD Time : 0.0 sec. user=mdettweiler [2013-02-02 21:22:43] 825*2^1240430-1 is not prime. Res64: E53F72025196E13E Time : 0.0 sec. user=mdettweiler [2013-02-02 21:22:44] 857*2^1240430-1 is not prime. Res64: 7FC2FEF31C3E1498 Time : 0.0 sec. user=vaughan [2013-02-02 21:30:14] 939*2^1240429-1 is not prime. Res64: B9916DE3E9525760 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:40:47] 917*2^1240430-1 is not prime. Res64: 3DB006D3BB10F091 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:40:47] 935*2^1240430-1 is not prime. Res64: 556A7D9E3E1A77B3 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:40:52] 625*2^1240431-1 is not prime. Res64: 3177A0B1116068AE Time : 0.0 sec. user=mdettweiler [2013-02-02 21:40:52] 661*2^1240431-1 is not prime. Res64: E9AD841DE068C584 Time : 0.0 sec. user=mdettweiler [2013-02-02 21:58:55] 861*2^1240431-1 is not prime. Res64: F0B8B5C28FC4CEDF Time : 0.0 sec. user=mdettweiler [2013-02-02 21:58:55] 873*2^1240431-1 is not prime. Res64: 7D3EAC48F42CA77C Time : 0.0 sec. user=mdettweiler [2013-02-02 21:59:00] 879*2^1240431-1 is not prime. Res64: C378E1F547A48E4D Time : 0.0 sec. user=mdettweiler [2013-02-02 21:59:00] 693*2^1240432-1 is not prime. Res64: 6C58ED31956DB172 Time : 0.0 sec. user=vaughan [2013-02-02 22:08:11] 675*2^1240431-1 is not prime. Res64: DBF0CE9071436AE1 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:16:49] 695*2^1240432-1 is not prime. Res64: D0748F6FA562073B Time : 0.0 sec. user=mdettweiler [2013-02-02 22:16:49] 735*2^1240432-1 is not prime. Res64: 7B77B020CD17CC86 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:16:55] 777*2^1240432-1 is not prime. Res64: E3644189FC51DFDC Time : 0.0 sec. user=mdettweiler [2013-02-02 22:16:55] 785*2^1240432-1 is not prime. Res64: 67C3E5423B796A43 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:34:35] 855*2^1240432-1 is not prime. Res64: EA9A42C4F6453C37 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:34:35] 939*2^1240432-1 is not prime. Res64: A949E9B797D81EB9 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:34:39] 983*2^1240432-1 is not prime. Res64: 449CBBABFF453AF5 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:34:39] 657*2^1240433-1 is not prime. Res64: D969D5FB20CE8D34 Time : 0.0 sec. user=vaughan [2013-02-02 22:46:11] 797*2^1240432-1 is not prime. Res64: AD95A75610F01A1B Time : 0.0 sec. user=mdettweiler [2013-02-02 22:52:16] 669*2^1240433-1 is not prime. Res64: 51B72473C2D1ADF9 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:52:16] 741*2^1240433-1 is not prime. Res64: 62B4D422D46226A1 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:52:19] 771*2^1240433-1 is not prime. Res64: 31BEAC4673F923E5 Time : 0.0 sec. user=mdettweiler [2013-02-02 22:52:19] 811*2^1240433-1 is not prime. Res64: 9D13681D5D1B4EEB Time : 0.0 sec. user=mdettweiler [2013-02-02 23:10:02] 889*2^1240433-1 is not prime. Res64: 878C5A95B130BC6D Time : 0.0 sec. user=mdettweiler [2013-02-02 23:10:03] 915*2^1240433-1 is not prime. Res64: AA27CA451202A265 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:10:05] 949*2^1240433-1 is not prime. Res64: F2373124E143B8C3 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:10:07] 955*2^1240433-1 is not prime. Res64: 6C4616A46076084F Time : 0.0 sec. user=vaughan [2013-02-02 23:24:06] 885*2^1240433-1 is not prime. Res64: 3217D8E0A13BE48E Time : 0.0 sec. user=mdettweiler [2013-02-02 23:27:54] 991*2^1240433-1 is not prime. Res64: 0AA61EA983EDE1BD Time : 0.0 sec. user=mdettweiler [2013-02-02 23:27:55] 695*2^1240434-1 is not prime. Res64: 1D5DCBD2ABFD94B4 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:27:55] 807*2^1240434-1 is not prime. Res64: 3007B265299C6C57 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:27:56] 893*2^1240434-1 is not prime. Res64: 686DEA47CF9F3E0F Time : 0.0 sec. user=mdettweiler [2013-02-02 23:45:22] 699*2^1240435-1 is not prime. Res64: FB72AC02E0B275B8 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:45:23] 735*2^1240435-1 is not prime. Res64: B4D982B5C491AAB6 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:45:23] 843*2^1240435-1 is not prime. Res64: F6949F463B0F2D74 Time : 0.0 sec. user=mdettweiler [2013-02-02 23:45:23] 919*2^1240435-1 is not prime. Res64: 58F4A2169FD8A2EB Time : 0.0 sec.