user=mdettweiler [2013-07-18 00:13:26] 623*2^1247810-1 is not prime. Res64: 6BF0EA78924D3A66 Time : 0.0 sec. user=mdettweiler [2013-07-18 00:13:27] 735*2^1247810-1 is not prime. Res64: 48DE1FE8E1795574 Time : 0.0 sec. user=mdettweiler [2013-07-18 00:30:30] 827*2^1247810-1 is not prime. Res64: 37E1DACD41C8E460 Time : 0.0 sec. user=mdettweiler [2013-07-18 00:30:30] 851*2^1247810-1 is not prime. Res64: C67C264DEBB400F3 Time : 0.0 sec. user=mdettweiler [2013-07-18 00:47:33] 921*2^1247810-1 is not prime. Res64: 5B41C2A1D75493F5 Time : 0.0 sec. user=mdettweiler [2013-07-18 00:47:34] 685*2^1247811-1 is not prime. Res64: A5881322FFC8F4B0 Time : 0.0 sec. user=mdettweiler [2013-07-18 01:04:36] 741*2^1247811-1 is not prime. Res64: 3C341CE3D142C169 Time : 0.0 sec. user=mdettweiler [2013-07-18 01:04:37] 745*2^1247811-1 is not prime. Res64: FC20582B5154C29D Time : 0.0 sec. user=mdettweiler [2013-07-18 01:21:44] 753*2^1247811-1 is not prime. Res64: 23C0D72EB154EA4D Time : 0.0 sec. user=mdettweiler [2013-07-18 01:21:45] 781*2^1247811-1 is not prime. Res64: 4F12DFBE16D0FA15 Time : 0.0 sec. user=mdettweiler [2013-07-18 01:38:48] 783*2^1247811-1 is not prime. Res64: 855C37733917BFAA Time : 0.0 sec. user=mdettweiler [2013-07-18 01:38:48] 835*2^1247811-1 is not prime. Res64: 50ADD468BA18DFD3 Time : 0.0 sec. user=mdettweiler [2013-07-18 01:55:51] 615*2^1247812-1 is not prime. Res64: CB73BF49DDF1EC73 Time : 0.0 sec. user=mdettweiler [2013-07-18 01:55:51] 689*2^1247812-1 is not prime. Res64: 9081937B18D87B44 Time : 0.0 sec. user=mdettweiler [2013-07-18 02:12:54] 735*2^1247812-1 is not prime. Res64: 906F59C4A3555346 Time : 0.0 sec. user=mdettweiler [2013-07-18 02:12:55] 843*2^1247812-1 is not prime. Res64: AC40E36649B1EFEA Time : 0.0 sec. user=mdettweiler [2013-07-18 02:29:58] 855*2^1247812-1 is not prime. Res64: BF29165D31144DD0 Time : 0.0 sec. user=mdettweiler [2013-07-18 02:29:59] 903*2^1247812-1 is not prime. Res64: E079EDB68BD86A26 Time : 0.0 sec. user=mdettweiler [2013-07-18 02:47:56] 975*2^1247812-1 is not prime. Res64: 9B9A526025C3FD2D Time : 0.0 sec. user=mdettweiler [2013-07-18 02:47:57] 651*2^1247813-1 is not prime. Res64: F0ADE8C97B41D3AE Time : 0.0 sec. user=mdettweiler [2013-07-18 03:05:05] 759*2^1247813-1 is not prime. Res64: 41F46455562D6B1B Time : 0.0 sec. user=mdettweiler [2013-07-18 03:05:06] 771*2^1247813-1 is not prime. Res64: D44419EE4CBCDD09 Time : 0.0 sec. user=mdettweiler [2013-07-18 03:22:13] 847*2^1247813-1 is not prime. Res64: BD1CDDAE71D4BDA4 Time : 0.0 sec. user=mdettweiler [2013-07-18 03:22:14] 879*2^1247813-1 is not prime. Res64: 965636A235C6A69A Time : 0.0 sec. user=mdettweiler [2013-07-18 03:40:05] 885*2^1247813-1 is not prime. Res64: 90EA725E8D243DF8 Time : 0.0 sec. user=mdettweiler [2013-07-18 03:40:05] 981*2^1247813-1 is not prime. Res64: 02185C3DCC35A4E0 Time : 0.0 sec. user=mdettweiler [2013-07-18 03:57:10] 693*2^1247814-1 is not prime. Res64: 1803AE1B08BF849C Time : 0.0 sec. user=mdettweiler [2013-07-18 03:57:11] 725*2^1247814-1 is not prime. Res64: 9CF3991DBEA63249 Time : 0.0 sec. user=mdettweiler [2013-07-18 04:14:13] 791*2^1247814-1 is not prime. Res64: 45AD63DFB124D6C1 Time : 0.0 sec. user=mdettweiler [2013-07-18 04:14:13] 893*2^1247814-1 is not prime. Res64: 027D227BFD74AC19 Time : 0.0 sec. user=mdettweiler [2013-07-18 04:31:16] 915*2^1247814-1 is not prime. Res64: 62543AA24C8865B9 Time : 0.0 sec. user=mdettweiler [2013-07-18 04:31:18] 927*2^1247814-1 is not prime. Res64: 0E0789B75AE6174C Time : 0.0 sec. user=mdettweiler [2013-07-18 04:48:21] 831*2^1247815-1 is not prime. Res64: 194765C826EE75DD Time : 0.0 sec. user=mdettweiler [2013-07-18 04:48:21] 915*2^1247815-1 is not prime. Res64: 4ECDBBDE02137623 Time : 0.0 sec. user=mdettweiler [2013-07-18 05:05:24] 919*2^1247815-1 is not prime. Res64: 2078AD71B363FC82 Time : 0.0 sec. user=mdettweiler [2013-07-18 05:05:25] 609*2^1247816-1 is not prime. Res64: D804D57BB9DF37A8 Time : 0.0 sec. user=mdettweiler [2013-07-18 05:22:30] 615*2^1247816-1 is not prime. Res64: C9C0F3805851C70F Time : 0.0 sec. user=mdettweiler [2013-07-18 05:22:31] 657*2^1247816-1 is not prime. Res64: 79CB99A5607DEE52 Time : 0.0 sec. user=mdettweiler [2013-07-18 05:39:33] 677*2^1247816-1 is not prime. Res64: 3021D8DA6B5FDBED Time : 0.0 sec. user=mdettweiler [2013-07-18 05:39:33] 773*2^1247816-1 is not prime. Res64: 311EB67DCCF666D1 Time : 0.0 sec. user=mdettweiler [2013-07-18 05:56:36] 927*2^1247816-1 is not prime. Res64: 13EC852738A3402C Time : 0.0 sec. user=mdettweiler [2013-07-18 05:56:36] 667*2^1247817-1 is not prime. Res64: 5719FAAF06AFD405 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:13:38] 735*2^1247817-1 is not prime. Res64: E59212E722AD2AB4 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:13:39] 769*2^1247817-1 is not prime. Res64: 00FFD0BE9D01FC87 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:30:42] 885*2^1247817-1 is not prime. Res64: A51623C05E39F198 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:30:42] 895*2^1247817-1 is not prime. Res64: C7780E43DB5C2255 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:47:44] 919*2^1247817-1 is not prime. Res64: 5924165092336780 Time : 0.0 sec. user=mdettweiler [2013-07-18 06:47:44] 677*2^1247818-1 is not prime. Res64: 0B513D95E72A2705 Time : 0.0 sec. user=mdettweiler [2013-07-18 07:04:47] 705*2^1247818-1 is not prime. Res64: 37C0FDC9CE5BC90F Time : 0.0 sec. user=mdettweiler [2013-07-18 07:04:48] 743*2^1247818-1 is not prime. Res64: 70E8B29167B68A2E Time : 0.0 sec. user=mdettweiler [2013-07-18 07:21:58] 777*2^1247818-1 is not prime. Res64: ECF4E44E7BEEA0B1 Time : 0.0 sec. user=mdettweiler [2013-07-18 07:21:59] 843*2^1247818-1 is not prime. Res64: D11BFEF3AE041C4C Time : 0.0 sec. user=mdettweiler [2013-07-18 07:39:01] 855*2^1247818-1 is not prime. Res64: E05C9167236DA6E7 Time : 0.0 sec. user=mdettweiler [2013-07-18 07:39:01] 857*2^1247818-1 is not prime. Res64: EA0606DB588AB36D Time : 0.0 sec. user=mdettweiler [2013-07-18 07:56:51] 911*2^1247818-1 is not prime. Res64: 3ED059EAB6F9115B Time : 0.0 sec. user=mdettweiler [2013-07-18 07:56:52] 995*2^1247818-1 is not prime. Res64: 8A997EDD57FEF285 Time : 0.0 sec. user=juhehe [2013-07-18 08:06:57] 767*2^1247748-1 is not prime. Res64: 13BDED417640E97D Time : 0.0 sec. user=mdettweiler [2013-07-18 08:13:53] 601*2^1247819-1 is not prime. Res64: 51E695B26BE2327A Time : 0.0 sec. user=mdettweiler [2013-07-18 08:13:54] 621*2^1247819-1 is not prime. Res64: 118882BC30A83406 Time : 0.0 sec. user=mdettweiler [2013-07-18 08:30:56] 703*2^1247819-1 is not prime. Res64: 3825B86DD7E0D574 Time : 0.0 sec. user=mdettweiler [2013-07-18 08:30:56] 883*2^1247819-1 is not prime. Res64: CD007625CC9B4795 Time : 0.0 sec. user=mdettweiler [2013-07-18 08:47:58] 913*2^1247819-1 is not prime. Res64: D733454E4F0DE004 Time : 0.0 sec. user=mdettweiler [2013-07-18 08:47:58] 623*2^1247820-1 is not prime. Res64: 72FAB25F47DA9B1A Time : 0.0 sec. user=mdettweiler [2013-07-18 09:05:00] 653*2^1247820-1 is not prime. Res64: 1F8CA66DB0A2813C Time : 0.0 sec. user=mdettweiler [2013-07-18 09:05:02] 899*2^1247820-1 is not prime. Res64: 89806234DD8831E9 Time : 0.0 sec. user=mdettweiler [2013-07-18 09:22:58] 965*2^1247820-1 is not prime. Res64: 1DF2C5E9C3D30ACA Time : 0.0 sec. user=mdettweiler [2013-07-18 09:22:58] 619*2^1247821-1 is not prime. Res64: DCCC85354BA62237 Time : 0.0 sec. user=mdettweiler [2013-07-18 09:40:01] 681*2^1247821-1 is not prime. Res64: C143AD5B68E1E004 Time : 0.0 sec. user=mdettweiler [2013-07-18 09:40:01] 687*2^1247821-1 is not prime. Res64: EBA1E9B7E6A1C6AF Time : 0.0 sec. user=mdettweiler [2013-07-18 09:57:22] 741*2^1247821-1 is not prime. Res64: 01A8145B1AFD952C Time : 0.0 sec. user=mdettweiler [2013-07-18 09:57:22] 867*2^1247821-1 is not prime. Res64: DA35BF8DB9FF18AF Time : 0.0 sec. user=mdettweiler [2013-07-18 10:14:47] 713*2^1247822-1 is not prime. Res64: B3A39DB8482A0391 Time : 0.0 sec. user=mdettweiler [2013-07-18 10:14:48] 731*2^1247822-1 is not prime. Res64: 73BA74A6E36D5C13 Time : 0.0 sec. user=mdettweiler [2013-07-18 10:32:35] 857*2^1247822-1 is not prime. Res64: D36E8699148B94DB Time : 0.0 sec. user=mdettweiler [2013-07-18 10:32:36] 911*2^1247822-1 is not prime. Res64: B9F4FEF54659E30C Time : 0.0 sec. user=mdettweiler [2013-07-18 10:50:56] 1001*2^1247822-1 is not prime. Res64: 53B7EBADB7BFF744 Time : 0.0 sec. user=mdettweiler [2013-07-18 10:50:56] 663*2^1247823-1 is not prime. Res64: 4B914E6F48DDDAB9 Time : 0.0 sec. user=mdettweiler [2013-07-18 11:08:19] 669*2^1247823-1 is not prime. Res64: F495CAD441A0F78C Time : 0.0 sec. user=mdettweiler [2013-07-18 11:08:20] 805*2^1247823-1 is not prime. Res64: 674880787D2DED4C Time : 0.0 sec. user=mdettweiler [2013-07-18 11:25:45] 885*2^1247823-1 is not prime. Res64: 803FD83155014FD1 Time : 0.0 sec. user=mdettweiler [2013-07-18 11:25:45] 895*2^1247823-1 is not prime. Res64: C509907A2DB32117 Time : 0.0 sec. user=mdettweiler [2013-07-18 11:43:55] 933*2^1247823-1 is not prime. Res64: 61935C5FACAC9E7C Time : 0.0 sec. user=mdettweiler [2013-07-18 11:43:55] 955*2^1247823-1 is not prime. Res64: AA07DC0F3146146A Time : 0.0 sec. user=mdettweiler [2013-07-18 12:01:30] 609*2^1247824-1 is not prime. Res64: 4E23EEEFEA551894 Time : 0.0 sec. user=mdettweiler [2013-07-18 12:01:31] 639*2^1247824-1 is not prime. Res64: D69350E9262E019D Time : 0.0 sec. user=mdettweiler [2013-07-18 12:19:03] 677*2^1247824-1 is not prime. Res64: E02AF20F197F7825 Time : 0.0 sec. user=mdettweiler [2013-07-18 12:19:04] 695*2^1247824-1 is not prime. Res64: 1B02ABD86A4BB182 Time : 0.0 sec. user=mdettweiler [2013-07-18 12:36:25] 719*2^1247824-1 is not prime. Res64: 4400B38A86901DB5 Time : 0.0 sec. user=mdettweiler [2013-07-18 12:36:25] 843*2^1247824-1 is not prime. Res64: DF66D2DF9EA2B9D8 Time : 0.0 sec. user=mdettweiler [2013-07-18 12:53:45] 849*2^1247824-1 is not prime. Res64: 03DF812A1A04A1FB Time : 0.0 sec. user=mdettweiler [2013-07-18 12:53:46] 855*2^1247824-1 is not prime. Res64: AFA0EDDCE436E46F Time : 0.0 sec. user=mdettweiler [2013-07-18 13:11:07] 863*2^1247824-1 is not prime. Res64: 1AA3F220717C1CF8 Time : 0.0 sec. user=mdettweiler [2013-07-18 13:11:08] 939*2^1247824-1 is not prime. Res64: E58D7F5A0B08BC96 Time : 0.0 sec. user=mdettweiler [2013-07-18 13:28:29] 675*2^1247825-1 is not prime. Res64: 11B17DBF41B5A06D Time : 0.0 sec. user=mdettweiler [2013-07-18 13:28:29] 711*2^1247825-1 is not prime. Res64: CB477C0BCE53EB2D Time : 0.0 sec. user=mdettweiler [2013-07-18 13:45:50] 713*2^1247826-1 is not prime. Res64: F34F2B461EEA4F37 Time : 0.0 sec. user=mdettweiler [2013-07-18 13:45:50] 737*2^1247826-1 is not prime. Res64: 3FCA9DC29501F6DC Time : 0.0 sec. user=mdettweiler [2013-07-18 14:03:11] 741*2^1247826-1 is not prime. Res64: 1F5EFBBCB46B2171 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:03:13] 807*2^1247826-1 is not prime. Res64: 2FAFBD098DB39584 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:21:32] 825*2^1247826-1 is not prime. Res64: 2E5F1391A0A0922D Time : 0.0 sec. user=mdettweiler [2013-07-18 14:21:32] 833*2^1247826-1 is not prime. Res64: 0608A6F43DFCC735 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:39:40] 685*2^1247827-1 is not prime. Res64: 060476B22DAF0F16 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:39:41] 741*2^1247827-1 is not prime. Res64: 743A80001FF76326 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:57:19] 861*2^1247827-1 is not prime. Res64: 535051CBAA81FD75 Time : 0.0 sec. user=mdettweiler [2013-07-18 14:57:19] 895*2^1247827-1 is not prime. Res64: 4B4E329A3F5B5560 Time : 0.0 sec. user=mdettweiler [2013-07-18 15:14:59] 931*2^1247827-1 is not prime. Res64: 3562C8FB2AB3BF07 Time : 0.0 sec. user=mdettweiler [2013-07-18 15:15:00] 939*2^1247827-1 is not prime. Res64: E34D6CAC108DAF28 Time : 0.0 sec. user=mdettweiler [2013-07-18 15:33:34] 951*2^1247827-1 is not prime. Res64: 65E1F344C1024D27 Time : 0.0 sec. user=mdettweiler [2013-07-18 15:33:34] 633*2^1247828-1 is not prime. Res64: D082E853917E4862 Time : 0.0 sec. user=mdettweiler [2013-07-18 15:51:02] 687*2^1247828-1 is not prime. Res64: AD15478881F3038C Time : 0.0 sec. user=mdettweiler [2013-07-18 15:51:03] 749*2^1247828-1 is not prime. Res64: 0E6BA5CFABEF75CD Time : 0.0 sec. user=mdettweiler [2013-07-18 16:08:48] 813*2^1247828-1 is not prime. Res64: 284CB3770092DF8C Time : 0.0 sec. user=mdettweiler [2013-07-18 16:08:50] 845*2^1247828-1 is not prime. Res64: 74F7507157D5E5D5 Time : 0.0 sec. user=mdettweiler [2013-07-18 16:26:40] 855*2^1247828-1 is not prime. Res64: 9807DBA6D4731539 Time : 0.0 sec. user=mdettweiler [2013-07-18 16:26:40] 897*2^1247828-1 is not prime. Res64: 0DA5E26DA777E252 Time : 0.0 sec. user=mdettweiler [2013-07-18 16:44:54] 741*2^1247829-1 is not prime. Res64: 9DD8D8BF9ADDF929 Time : 0.0 sec. user=mdettweiler [2013-07-18 16:44:55] 747*2^1247829-1 is not prime. Res64: 9B7AE9C457019733 Time : 0.0 sec. user=mdettweiler [2013-07-18 17:03:22] 781*2^1247829-1 is not prime. Res64: FF0868FB9DEE2021 Time : 0.0 sec. user=mdettweiler [2013-07-18 17:03:24] 789*2^1247829-1 is not prime. Res64: 861D7E5103282AB0 Time : 0.0 sec. user=juhehe [2013-07-18 17:19:08] 657*2^1247825-1 is not prime. Res64: 66A2483B5A8094D7 Time : 0.0 sec. user=juhehe [2013-07-18 17:22:00] 607*2^1247825-1 is not prime. Res64: C6F14250CAF251B4 Time : 0.0 sec. user=mdettweiler [2013-07-18 17:22:59] 889*2^1247829-1 is not prime. Res64: 33C284865060300A Time : 0.0 sec. user=mdettweiler [2013-07-18 17:23:00] 997*2^1247829-1 is not prime. Res64: F847B5B8872F94D9 Time : 0.0 sec. user=mdettweiler [2013-07-18 17:41:25] 603*2^1247830-1 is not prime. Res64: 96F011EF6C8653BB Time : 0.0 sec. user=mdettweiler [2013-07-18 17:41:26] 677*2^1247830-1 is not prime. Res64: 21434573CD30E8BE Time : 0.0 sec. user=mdettweiler [2013-07-18 17:59:18] 801*2^1247830-1 is not prime. Res64: C633C190569354A3 Time : 0.0 sec. user=mdettweiler [2013-07-18 17:59:18] 845*2^1247830-1 is not prime. Res64: 05C59788C0FA7DDB Time : 0.0 sec. user=mdettweiler [2013-07-18 18:16:38] 887*2^1247830-1 is not prime. Res64: 21626D01658133CB Time : 0.0 sec. user=mdettweiler [2013-07-18 18:16:38] 917*2^1247830-1 is not prime. Res64: 97A4B4A99A912C55 Time : 0.0 sec. user=mdettweiler [2013-07-18 18:34:50] 995*2^1247830-1 is not prime. Res64: 03E4FDBA26D1B2E5 Time : 0.0 sec. user=mdettweiler [2013-07-18 18:34:50] 663*2^1247831-1 is not prime. Res64: D972C1EC8A4588DE Time : 0.0 sec. user=mdettweiler [2013-07-18 18:52:10] 759*2^1247831-1 is not prime. Res64: C14A189C0F2822AD Time : 0.0 sec. user=mdettweiler [2013-07-18 18:52:11] 943*2^1247831-1 is not prime. Res64: E7E57289A499B224 Time : 0.0 sec. user=mdettweiler [2013-07-18 19:09:32] 627*2^1247832-1 is not prime. Res64: B4166392AD60AA53 Time : 0.0 sec. user=mdettweiler [2013-07-18 19:09:33] 717*2^1247832-1 is not prime. Res64: 2456EF48AECEBD61 Time : 0.0 sec. user=mdettweiler [2013-07-18 19:27:09] 753*2^1247832-1 is not prime. Res64: 40D6A4793D8C7F9C Time : 0.0 sec. user=mdettweiler [2013-07-18 19:27:09] 765*2^1247832-1 is not prime. Res64: 43E69CD1DA6AB4D2 Time : 0.0 sec. user=mdettweiler [2013-07-18 19:44:29] 887*2^1247832-1 is not prime. Res64: FFAC44DBDD5FB159 Time : 0.0 sec. user=mdettweiler [2013-07-18 19:44:29] 933*2^1247832-1 is not prime. Res64: 12D8B6783BDE1026 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:01:51] 947*2^1247832-1 is not prime. Res64: E108B142492478F3 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:01:53] 625*2^1247833-1 is not prime. Res64: D5679AC8108472B7 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:19:31] 679*2^1247833-1 is not prime. Res64: 752E3B0400ED85C8 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:19:31] 715*2^1247833-1 is not prime. Res64: FC5B7FAD37D68EAA Time : 0.0 sec. user=mdettweiler [2013-07-18 20:37:26] 847*2^1247833-1 is not prime. Res64: 43FA35A5439A2817 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:37:26] 861*2^1247833-1 is not prime. Res64: CE0D43047EBF4320 Time : 0.0 sec. user=mdettweiler [2013-07-18 20:55:01] 937*2^1247833-1 is not prime. Res64: 6BADE44738D6338F Time : 0.0 sec. user=mdettweiler [2013-07-18 20:55:02] 617*2^1247834-1 is not prime. Res64: 50CAF34B5C351AF1 Time : 0.0 sec. user=mdettweiler [2013-07-18 21:12:43] 683*2^1247834-1 is not prime. Res64: CEF3247FD2396AB9 Time : 0.0 sec. user=mdettweiler [2013-07-18 21:12:43] 707*2^1247834-1 is not prime. Res64: 18AFCDD429E61BF4 Time : 0.0 sec. user=mdettweiler [2013-07-18 21:30:28] 813*2^1247834-1 is not prime. Res64: 598253291E3B8DBF Time : 0.0 sec. user=mdettweiler [2013-07-18 21:30:29] 873*2^1247834-1 is not prime. Res64: F3C43E0B0BD67183 Time : 0.0 sec. user=mdettweiler [2013-07-18 21:49:04] 983*2^1247834-1 is not prime. Res64: BDCF642FB284DE3B Time : 0.0 sec. user=mdettweiler [2013-07-18 21:49:05] 685*2^1247835-1 is not prime. Res64: 1834A0ECEE96646A Time : 0.0 sec. user=mdettweiler [2013-07-18 22:06:48] 783*2^1247835-1 is not prime. Res64: 56B8325050021F0A Time : 0.0 sec. user=mdettweiler [2013-07-18 22:06:49] 873*2^1247835-1 is not prime. Res64: DC84AC16634DE308 Time : 0.0 sec. user=mdettweiler [2013-07-18 22:25:23] 921*2^1247835-1 is not prime. Res64: 29BC8B64D4B9747A Time : 0.0 sec. user=mdettweiler [2013-07-18 22:25:24] 963*2^1247835-1 is not prime. Res64: D80CDE05D487BADA Time : 0.0 sec. user=mdettweiler [2013-07-18 22:43:00] 653*2^1247836-1 is not prime. Res64: E6AB63B32B741494 Time : 0.0 sec. user=mdettweiler [2013-07-18 22:43:00] 707*2^1247836-1 is not prime. Res64: 3429EA1C199AFC68 Time : 0.0 sec. user=mdettweiler [2013-07-18 23:00:37] 783*2^1247836-1 is not prime. Res64: 71AE805EDA6F8C03 Time : 0.0 sec. user=mdettweiler [2013-07-18 23:00:38] 905*2^1247836-1 is not prime. Res64: D4F7A2C14FFFE90E Time : 0.0 sec. user=mdettweiler [2013-07-18 23:18:05] 933*2^1247836-1 is not prime. Res64: 026AA5CA2AE38C86 Time : 0.0 sec. user=mdettweiler [2013-07-18 23:18:05] 619*2^1247837-1 is not prime. Res64: 1AD57C391BF2F5F8 Time : 0.0 sec. user=mdettweiler [2013-07-18 23:35:26] 717*2^1247837-1 is not prime. Res64: 8883EB1339E890F1 Time : 0.0 sec. user=mdettweiler [2013-07-18 23:35:27] 771*2^1247837-1 is not prime. Res64: B540536DCF3EE08C Time : 0.0 sec. user=mdettweiler [2013-07-18 23:52:47] 847*2^1247837-1 is not prime. Res64: 56FB41CC2670116D Time : 0.0 sec. user=mdettweiler [2013-07-18 23:52:47] 879*2^1247837-1 is not prime. Res64: A1752F928767B03B Time : 0.0 sec.