user=mdettweiler [2013-05-26 00:15:57] 731*2^1246254-1 is not prime. Res64: 45ACC48D7092EB2E Time : 0.0 sec. user=mdettweiler [2013-05-26 00:15:57] 795*2^1246254-1 is not prime. Res64: 518481432E8E64C2 Time : 0.0 sec. user=mdettweiler [2013-05-26 00:27:51] 821*2^1246254-1 is not prime. Res64: EAC3389922948C2F Time : 0.0 sec. user=mdettweiler [2013-05-26 00:34:40] 1001*2^1246254-1 is not prime. Res64: AA97D5E62E57D796 Time : 0.0 sec. user=mdettweiler [2013-05-26 00:58:03] 915*2^1246254-1 is not prime. Res64: D62B5F5B10D37432 Time : 0.0 sec. user=mdettweiler [2013-05-26 00:58:03] 663*2^1246255-1 is not prime. Res64: ABE6F4C716EA2F5A Time : 0.0 sec. user=mdettweiler [2013-05-26 01:15:45] 723*2^1246255-1 is not prime. Res64: F9C5A7649AC39A09 Time : 0.0 sec. user=mdettweiler [2013-05-26 01:15:46] 759*2^1246255-1 is not prime. Res64: DC450B958FC7A00E Time : 0.0 sec. user=mdettweiler [2013-05-26 01:33:30] 843*2^1246255-1 is not prime. Res64: CA8A49B12E448F32 Time : 0.0 sec. user=mdettweiler [2013-05-26 01:33:30] 859*2^1246255-1 is not prime. Res64: EAAB52E50328297F Time : 0.0 sec. user=mdettweiler [2013-05-26 01:35:21] 871*2^1246255-1 is not prime. Res64: 4ED0E9F85536BAA3 Time : 0.0 sec. user=mdettweiler [2013-05-26 01:35:22] 979*2^1246255-1 is not prime. Res64: F62CE8C08A7C66DD Time : 0.0 sec. user=mdettweiler [2013-05-26 01:51:12] 689*2^1246256-1 is not prime. Res64: 42B8C1DC251B47C4 Time : 0.0 sec. user=mdettweiler [2013-05-26 01:51:13] 747*2^1246256-1 is not prime. Res64: 02B17278C4B64B8C Time : 0.0 sec. user=mdettweiler [2013-05-26 01:53:04] 843*2^1246256-1 is not prime. Res64: E3DEB659C98DEFB8 Time : 0.0 sec. user=mdettweiler [2013-05-26 01:53:04] 855*2^1246256-1 is not prime. Res64: 06ABE51571B305D8 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:08:54] 741*2^1246257-1 is not prime. Res64: 0E1FC0EF7BD6EADF Time : 0.0 sec. user=mdettweiler [2013-05-26 02:08:55] 795*2^1246257-1 is not prime. Res64: 408489A914EB6611 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:10:45] 805*2^1246257-1 is not prime. Res64: 1A5EC8195F86D8DF Time : 0.0 sec. user=mdettweiler [2013-05-26 02:10:45] 889*2^1246257-1 is not prime. Res64: 96E6C8D3AD527C0D Time : 0.0 sec. user=mdettweiler [2013-05-26 02:27:02] 901*2^1246257-1 is not prime. Res64: A472FE84A8C85702 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:27:02] 919*2^1246257-1 is not prime. Res64: DFFAC61796459A25 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:29:35] 991*2^1246257-1 is not prime. Res64: 929A9D955127E29F Time : 0.0 sec. user=mdettweiler [2013-05-26 02:29:35] 773*2^1246258-1 is not prime. Res64: 82B2221AF143CB30 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:44:56] 843*2^1246258-1 is not prime. Res64: 018B616B36B02571 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:48:09] 887*2^1246258-1 is not prime. Res64: 32813F98D88AE872 Time : 0.0 sec. user=mdettweiler [2013-05-26 02:48:10] 981*2^1246258-1 is not prime. Res64: 93D09B4FFCB0A482 Time : 0.0 sec. user=mdettweiler [2013-05-26 03:06:27] 645*2^1246259-1 is not prime. Res64: 92E9AF31D306CC43 Time : 0.0 sec. user=mdettweiler [2013-05-26 03:22:02] 867*2^1246258-1 is not prime. Res64: 35BF4A0B1A75C500 Time : 0.0 sec. user=mdettweiler [2013-05-26 03:40:42] 991*2^1246259-1 is not prime. Res64: 459C06AEFC1A6ACD Time : 0.0 sec. user=mdettweiler [2013-05-26 03:40:42] 633*2^1246260-1 is not prime. Res64: E12D5FB3E83E3893 Time : 0.0 sec. user=mdettweiler [2013-05-26 03:45:13] 745*2^1246259-1 is not prime. Res64: 143CD10BCCA65594 Time : 0.0 sec. user=mdettweiler [2013-05-26 03:58:52] 665*2^1246260-1 is not prime. Res64: 966626D202E94CA7 Time : 0.0 sec. user=mdettweiler [2013-05-26 04:02:57] 675*2^1246260-1 is not prime. Res64: 6FA8BBC54BA6041A Time : 0.0 sec. user=mdettweiler [2013-05-26 04:02:59] 695*2^1246260-1 is not prime. Res64: 187C5A8838C8DB5E Time : 0.0 sec. user=mdettweiler [2013-05-26 04:19:15] 669*2^1246260-1 is not prime. Res64: ED8E90AAAE18FA1B Time : 0.0 sec. user=mdettweiler [2013-05-26 04:21:22] 717*2^1246260-1 is not prime. Res64: 4C5AF4E522166CA2 Time : 0.0 sec. user=mdettweiler [2013-05-26 04:37:30] 737*2^1246260-1 is not prime. Res64: DAE18C8AF48F817E Time : 0.0 sec. user=mdettweiler [2013-05-26 04:44:41] 725*2^1246260-1 is not prime. Res64: EBC1D84F54E2DDDA Time : 0.0 sec. user=mdettweiler [2013-05-26 05:09:10] 773*2^1246260-1 is not prime. Res64: BC6A691FDF5B315E Time : 0.0 sec. user=mdettweiler [2013-05-26 05:27:55] 999*2^1246260-1 is not prime. Res64: E805BAEC9E02F448 Time : 0.0 sec. user=mdettweiler [2013-05-26 05:33:11] 809*2^1246260-1 is not prime. Res64: FBDDFF645C6D5542 Time : 0.0 sec. user=mdettweiler [2013-05-26 05:53:14] 691*2^1246261-1 is not prime. Res64: B1924BE182AF9DA3 Time : 0.0 sec. user=mdettweiler [2013-05-26 06:02:36] 875*2^1246260-1 is not prime. Res64: 1088A063D61E09E7 Time : 0.0 sec. user=mdettweiler [2013-05-26 06:11:00] 817*2^1246261-1 is not prime. Res64: 6A787E11AFE2A7FE Time : 0.0 sec. user=mdettweiler [2013-05-26 06:11:17] 855*2^1246261-1 is not prime. Res64: 6A95111A8ADDFF00 Time : 0.0 sec. user=mdettweiler [2013-05-26 06:48:53] 861*2^1246261-1 is not prime. Res64: EA683F465FBC56D8 Time : 0.0 sec. user=mdettweiler [2013-05-26 06:48:53] 683*2^1246262-1 is not prime. Res64: 22E676952844E791 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:05:31] 815*2^1246262-1 is not prime. Res64: 8BD58A64A4D70CC4 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:06:36] 857*2^1246262-1 is not prime. Res64: 80FC860180B1A356 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:06:37] 875*2^1246262-1 is not prime. Res64: EBA723CA15998DEC Time : 0.0 sec. user=mdettweiler [2013-05-26 07:24:38] 951*2^1246262-1 is not prime. Res64: A11CF466DB636C0E Time : 0.0 sec. user=mdettweiler [2013-05-26 07:24:39] 669*2^1246263-1 is not prime. Res64: C28E742D46CCE2DF Time : 0.0 sec. user=mdettweiler [2013-05-26 07:37:02] 827*2^1246262-1 is not prime. Res64: 6F0C64E6DF664CB4 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:42:39] 723*2^1246263-1 is not prime. Res64: E9F489A481D40B41 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:42:39] 623*2^1246264-1 is not prime. Res64: 9DF4F296CB83A364 Time : 0.0 sec. user=mdettweiler [2013-05-26 07:55:11] 645*2^1246264-1 is not prime. Res64: 3B56A0206B6DA136 Time : 0.0 sec. user=mdettweiler [2013-05-26 08:00:58] 833*2^1246264-1 is not prime. Res64: 692061F8D17F2ED6 Time : 0.0 sec. user=mdettweiler [2013-05-26 08:25:49] 695*2^1246264-1 is not prime. Res64: 32B43987F73EFCDA Time : 0.0 sec. user=mdettweiler [2013-05-26 08:28:25] 875*2^1246264-1 is not prime. Res64: B68A6A3D20ACA145 Time : 0.0 sec. user=mdettweiler [2013-05-26 08:43:34] 909*2^1246264-1 is not prime. Res64: F989C208345C327D Time : 0.0 sec. user=mdettweiler [2013-05-26 08:43:35] 649*2^1246265-1 is not prime. Res64: 7223900C1A214A64 Time : 0.0 sec. user=mdettweiler [2013-05-26 08:46:06] 691*2^1246265-1 is not prime. Res64: C02CE429D47F92E7 Time : 0.0 sec. user=mdettweiler [2013-05-26 08:46:07] 741*2^1246265-1 is not prime. Res64: A5EEF87812F59865 Time : 0.0 sec. user=mdettweiler [2013-05-26 09:01:23] 831*2^1246265-1 is not prime. Res64: 8B9EA29278CB12A1 Time : 0.0 sec. user=mdettweiler [2013-05-26 09:01:24] 915*2^1246265-1 is not prime. Res64: 401B73BFFF099DC2 Time : 0.0 sec. user=mdettweiler [2013-05-26 09:04:22] 937*2^1246265-1 is not prime. Res64: C51539D3270074EA Time : 0.0 sec. user=mdettweiler [2013-05-26 09:19:41] 627*2^1246266-1 is not prime. Res64: 7229BC7DA6657230 Time : 0.0 sec. user=mdettweiler [2013-05-26 09:42:34] 615*2^1246266-1 is not prime. Res64: 15FE7FFC56E95B77 Time : 0.0 sec. user=mdettweiler [2013-05-26 09:58:28] 747*2^1246266-1 is not prime. Res64: D14C69D2D57B87A6 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:00:17] 873*2^1246266-1 is not prime. Res64: 5D854B0DB833F176 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:00:18] 917*2^1246266-1 is not prime. Res64: F45F167ED2FBD01B Time : 0.0 sec. user=mdettweiler [2013-05-26 10:16:09] 941*2^1246266-1 is not prime. Res64: 14ABBCBACD04E75D Time : 0.0 sec. user=mdettweiler [2013-05-26 10:16:10] 957*2^1246266-1 is not prime. Res64: FA27DDDA299866B1 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:18:14] 603*2^1246267-1 is not prime. Res64: C1F43DD8E9CD9152 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:34:09] 735*2^1246267-1 is not prime. Res64: 6E4C922A3D3D3384 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:34:09] 859*2^1246267-1 is not prime. Res64: 7A6387AC90B9011E Time : 0.0 sec. user=mdettweiler [2013-05-26 10:40:58] 633*2^1246267-1 is not prime. Res64: D68E1F1E2830FD41 Time : 0.0 sec. user=mdettweiler [2013-05-26 10:52:59] 871*2^1246267-1 is not prime. Res64: A7F81DFDAF15A7BD Time : 0.0 sec. user=mdettweiler [2013-05-26 10:52:59] 985*2^1246267-1 is not prime. Res64: 3C73B5CDD8D20E3C Time : 0.0 sec. user=mdettweiler [2013-05-26 10:59:05] 647*2^1246268-1 is not prime. Res64: BCD0A26ABD24FCFF Time : 0.0 sec. user=mdettweiler [2013-05-26 10:59:05] 683*2^1246268-1 is not prime. Res64: 087022FF4769C7D1 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:10:54] 707*2^1246268-1 is not prime. Res64: F49B5D749008D970 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:16:48] 773*2^1246268-1 is not prime. Res64: F66A0E52523D63E3 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:16:48] 797*2^1246268-1 is not prime. Res64: F1404CE732D08931 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:34:47] 845*2^1246268-1 is not prime. Res64: 074BC3AC7F46B347 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:34:47] 867*2^1246268-1 is not prime. Res64: F243142C3057E82C Time : 0.0 sec. user=mdettweiler [2013-05-26 11:43:37] 743*2^1246268-1 is not prime. Res64: 700365B35886F697 Time : 0.0 sec. user=mdettweiler [2013-05-26 11:52:42] 625*2^1246269-1 is not prime. Res64: 79D7A814F2E1DBE9 Time : 0.0 sec. user=juhehe [2013-05-26 11:55:54] 893*2^1246268-1 is not prime. Res64: 2DEEBD57319AE236 Time : 0.0 sec. user=mdettweiler [2013-05-26 12:01:36] 675*2^1246269-1 is not prime. Res64: 992EC4A14FDF3166 Time : 0.0 sec. user=mdettweiler [2013-05-26 12:24:02] 769*2^1246269-1 is not prime. Res64: 168313C3871B3C03 Time : 0.0 sec. user=mdettweiler [2013-05-26 12:31:25] 655*2^1246269-1 is not prime. Res64: AFB54F54159D1BA7 Time : 0.0 sec. user=mdettweiler [2013-05-26 12:41:45] 825*2^1246269-1 is not prime. Res64: 1A86EC79F9CDB229 Time : 0.0 sec. user=mdettweiler [2013-05-26 12:41:45] 835*2^1246269-1 is not prime. Res64: 21C68893AD50BF8D Time : 0.0 sec. user=mdettweiler [2013-05-26 12:50:03] 991*2^1246269-1 is not prime. Res64: 9A1C94FB8E31183B Time : 0.0 sec. user=mdettweiler [2013-05-26 12:50:03] 675*2^1246270-1 is not prime. Res64: F83769A3833CEC0D Time : 0.0 sec. user=mdettweiler [2013-05-26 12:59:50] 695*2^1246270-1 is not prime. Res64: 70BF994071A67577 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:07:55] 761*2^1246270-1 is not prime. Res64: 6AD297DE5AD9060A Time : 0.0 sec. user=mdettweiler [2013-05-26 13:07:57] 813*2^1246270-1 is not prime. Res64: E525A0D253B53154 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:18:29] 713*2^1246270-1 is not prime. Res64: BD7E6BE36F539E3C Time : 0.0 sec. user=mdettweiler [2013-05-26 13:25:49] 891*2^1246270-1 is not prime. Res64: B05508DFEAD99199 Time : 0.0 sec. user=juhehe [2013-05-26 13:28:44] 843*2^1246270-1 is not prime. Res64: F4912A00BDA2BF55 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:36:10] 603*2^1246271-1 is not prime. Res64: 2BAD43EF0451C426 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:36:10] 669*2^1246271-1 is not prime. Res64: 8597ECB31643BF89 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:50:36] 933*2^1246270-1 is not prime. Res64: 7AC3F8A605F559D6 Time : 0.0 sec. user=mdettweiler [2013-05-26 13:54:19] 679*2^1246271-1 is not prime. Res64: 3E875410CD358E30 Time : 0.0 sec. user=mdettweiler [2013-05-26 14:22:26] 711*2^1246271-1 is not prime. Res64: 8BA8D921F2CBBD00 Time : 0.0 sec. user=mdettweiler [2013-05-26 14:38:39] 745*2^1246271-1 is not prime. Res64: 25C9397D62A643BE Time : 0.0 sec. user=mdettweiler [2013-05-26 14:38:40] 789*2^1246271-1 is not prime. Res64: 9F138F878733E193 Time : 0.0 sec. user=mdettweiler [2013-05-26 14:56:35] 855*2^1246271-1 is not prime. Res64: 0FD7377AC05993D5 Time : 0.0 sec. user=mdettweiler [2013-05-26 15:11:53] 879*2^1246271-1 is not prime. Res64: 5FA53E86670C9A17 Time : 0.0 sec. user=mdettweiler [2013-05-26 15:19:26] 859*2^1246271-1 is not prime. Res64: 0A809DBE97C582CB Time : 0.0 sec. user=mdettweiler [2013-05-26 15:28:42] 949*2^1246271-1 is not prime. Res64: F7A82D27D71D1FB8 Time : 0.0 sec. user=mdettweiler [2013-05-26 15:37:14] 615*2^1246272-1 is not prime. Res64: 54612ECA19968C90 Time : 0.0 sec. user=mdettweiler [2013-05-26 15:37:14] 629*2^1246272-1 is not prime. Res64: 09F35F746A789FD2 Time : 0.0 sec. user=mdettweiler [2013-05-26 15:55:00] 669*2^1246272-1 is not prime. Res64: B7D15DF40515307D Time : 0.0 sec. user=mdettweiler [2013-05-26 15:55:00] 765*2^1246272-1 is not prime. Res64: B64FB834A5CFD31A Time : 0.0 sec. user=mdettweiler [2013-05-26 16:13:22] 779*2^1246272-1 is not prime. Res64: F52FC5330E0CDD13 Time : 0.0 sec. user=mdettweiler [2013-05-26 16:14:25] 609*2^1246273-1 is not prime. Res64: 4F78C57B6B467ED7 Time : 0.0 sec. user=mdettweiler [2013-05-26 16:14:25] 847*2^1246273-1 is not prime. Res64: BDEEA2FBF76F9F08 Time : 0.0 sec. user=mdettweiler [2013-05-26 16:32:29] 939*2^1246273-1 is not prime. Res64: 35E1F70CA354B8E1 Time : 0.0 sec. user=mdettweiler [2013-05-26 16:49:27] 887*2^1246272-1 is not prime. Res64: F21179E9ABF17860 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:03:30] 641*2^1246274-1 is not prime. Res64: 31027D57A2CB44DE Time : 0.0 sec. user=mdettweiler [2013-05-26 17:07:14] 677*2^1246274-1 is not prime. Res64: 10620C2A4E09F097 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:07:14] 687*2^1246274-1 is not prime. Res64: 90A21BE59851DB06 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:21:17] 813*2^1246274-1 is not prime. Res64: 8014C766CE552399 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:21:18] 825*2^1246274-1 is not prime. Res64: 880CF6CE35488376 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:25:28] 921*2^1246274-1 is not prime. Res64: C77506DFC5680E89 Time : 0.0 sec. user=mdettweiler [2013-05-26 17:39:32] 625*2^1246275-1 is not prime. Res64: 276F78A5E6BA387F Time : 0.0 sec. user=mdettweiler [2013-05-26 17:48:25] 609*2^1246275-1 is not prime. Res64: FF746A329B6D69C4 Time : 0.0 sec. user=mdettweiler [2013-05-26 18:09:39] 633*2^1246275-1 is not prime. Res64: 55707AA5B7D52DF3 Time : 0.0 sec. user=mdettweiler [2013-05-26 18:33:33] 639*2^1246275-1 is not prime. Res64: 55375306153E986D Time : 0.0 sec. user=mdettweiler [2013-05-26 18:33:34] 685*2^1246275-1 is not prime. Res64: 8C706A81DB56851F Time : 0.0 sec. user=mdettweiler [2013-05-26 18:51:52] 819*2^1246275-1 is not prime. Res64: 5737E65DC14A05A6 Time : 0.0 sec. user=mdettweiler [2013-05-26 18:51:52] 891*2^1246275-1 is not prime. Res64: 31F66577E4FD763E Time : 0.0 sec. user=mdettweiler [2013-05-26 19:05:45] 963*2^1246275-1 is not prime. Res64: BFA606768076F5A2 Time : 0.0 sec. user=mdettweiler [2013-05-26 19:09:43] 623*2^1246276-1 is not prime. Res64: F09B6CAA6FC8D877 Time : 0.0 sec. user=mdettweiler [2013-05-26 19:09:43] 869*2^1246276-1 is not prime. Res64: 1CD736F9D3EE9056 Time : 0.0 sec. user=mdettweiler [2013-05-26 19:24:39] 973*2^1246275-1 is not prime. Res64: 0C6F9851CED3548F Time : 0.0 sec. user=mdettweiler [2013-05-26 19:27:50] 631*2^1246277-1 is not prime. Res64: BABAD0B7D85F3342 Time : 0.0 sec. user=mdettweiler [2013-05-26 19:27:51] 649*2^1246277-1 is not prime. Res64: BED1C2F180C997F8 Time : 0.0 sec. user=mdettweiler [2013-05-26 19:45:51] 819*2^1246277-1 is not prime. Res64: 54AE2365BC76CABE Time : 0.0 sec. user=mdettweiler [2013-05-26 20:17:32] 925*2^1246277-1 is not prime. Res64: D1894EFF40FB00D6 Time : 0.0 sec. user=mdettweiler [2013-05-26 20:22:28] 885*2^1246277-1 is not prime. Res64: AA6DE1585D38919C Time : 0.0 sec. user=mdettweiler [2013-05-26 20:40:38] 791*2^1246278-1 is not prime. Res64: D35928A71A60469D Time : 0.0 sec. user=mdettweiler [2013-05-26 20:47:58] 665*2^1246278-1 is not prime. Res64: 0983888FEE825FC1 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:06:37] 977*2^1246278-1 is not prime. Res64: 088277F23C067CE7 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:06:38] 649*2^1246279-1 is not prime. Res64: 8784BB1D614604BA Time : 0.0 sec. user=mdettweiler [2013-05-26 21:07:12] 951*2^1246278-1 is not prime. Res64: 3E486D760B09050F Time : 0.0 sec. user=mdettweiler [2013-05-26 21:24:31] 831*2^1246279-1 is not prime. Res64: 57FA00F469126D59 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:24:31] 861*2^1246279-1 is not prime. Res64: 8B9A9FB751F39158 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:25:55] 985*2^1246279-1 is not prime. Res64: E2717F7D533B00C6 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:25:55] 609*2^1246280-1 is not prime. Res64: 7C265F6B471541BC Time : 0.0 sec. user=mdettweiler [2013-05-26 21:42:22] 633*2^1246280-1 is not prime. Res64: 8EFE2A23027335AD Time : 0.0 sec. user=mdettweiler [2013-05-26 21:42:23] 659*2^1246280-1 is not prime. Res64: AAA0B4185316B2A4 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:43:46] 675*2^1246280-1 is not prime. Res64: FFF0B6F975897087 Time : 0.0 sec. user=mdettweiler [2013-05-26 21:43:47] 735*2^1246280-1 is not prime. Res64: E07197B4529E508B Time : 0.0 sec. user=mdettweiler [2013-05-26 22:00:31] 839*2^1246280-1 is not prime. Res64: 353797046D9BF8DF Time : 0.0 sec. user=mdettweiler [2013-05-26 22:00:32] 649*2^1246281-1 is not prime. Res64: B165676AB37D0C74 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:01:59] 669*2^1246281-1 is not prime. Res64: 5BF481F9A49F3CB1 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:02:00] 681*2^1246281-1 is not prime. Res64: A7E9B009DDA9B61E Time : 0.0 sec. user=mdettweiler [2013-05-26 22:18:37] 751*2^1246281-1 is not prime. Res64: E71B670857C9AEE1 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:18:37] 871*2^1246281-1 is not prime. Res64: 5A5E970A11044073 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:21:01] 997*2^1246281-1 is not prime. Res64: 02AE6DDC7E4D5176 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:21:01] 765*2^1246282-1 is not prime. Res64: E68506E84AADCA18 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:36:37] 777*2^1246282-1 is not prime. Res64: 9C47B291635DBB7A Time : 0.0 sec. user=mdettweiler [2013-05-26 22:36:37] 917*2^1246282-1 is not prime. Res64: 59F87B22B2747220 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:39:37] 975*2^1246282-1 is not prime. Res64: B5583CBBF3930E18 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:39:37] 987*2^1246282-1 is not prime. Res64: B33EBC6EB25D54B2 Time : 0.0 sec. user=mdettweiler [2013-05-26 22:55:23] 995*2^1246282-1 is not prime. Res64: 3528253E774E5D3F Time : 0.0 sec. user=mdettweiler [2013-05-26 22:59:15] 981*2^1246283-1 is not prime. Res64: 988DFCF03D083BD1 Time : 0.0 sec. user=mdettweiler [2013-05-26 23:23:18] 913*2^1246283-1 is not prime. Res64: 557763F25EACAF9E Time : 0.0 sec. user=mdettweiler [2013-05-26 23:36:14] 999*2^1246283-1 is not prime. Res64: 384FE08EE7AEA578 Time : 0.0 sec. user=mdettweiler [2013-05-26 23:41:08] 605*2^1246284-1 is not prime. Res64: 087316CAA2CA87CF Time : 0.0 sec. user=mdettweiler [2013-05-26 23:41:09] 623*2^1246284-1 is not prime. Res64: 06D85F4D3D333C4F Time : 0.0 sec. user=mdettweiler [2013-05-26 23:59:08] 689*2^1246284-1 is not prime. Res64: 3533DAE83103EA28 Time : 0.0 sec.