user=mdettweiler [2012-10-09 00:09:11] 1001*2^1230290-1 is not prime. Res64: D0F6EDC09F57CDCD Time : 0.0 sec. user=mdettweiler [2012-10-09 00:09:14] 751*2^1230291-1 is not prime. Res64: B252C6139D67E8C5 Time : 0.0 sec. user=vaughan [2012-10-09 00:11:06] 967*2^1230289-1 is not prime. Res64: D6BAB9C141067CD4 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:18:04] 783*2^1230291-1 is not prime. Res64: 7C11D4E3B6D56574 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:18:05] 859*2^1230291-1 is not prime. Res64: 7F613786A7385D5E Time : 0.0 sec. user=mdettweiler [2012-10-09 00:29:53] 903*2^1230291-1 is not prime. Res64: 282F7308AC1CCDF8 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:29:53] 921*2^1230291-1 is not prime. Res64: CE268A5F77AF2E96 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:38:50] 699*2^1230292-1 is not prime. Res64: AB2F1F5EFFEF7966 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:38:51] 863*2^1230292-1 is not prime. Res64: 48BECFD4DD81AB27 Time : 0.0 sec. user=mdettweiler [2012-10-09 00:50:28] 939*2^1230292-1 is not prime. Res64: 6B6E77B7C937ADBD Time : 0.0 sec. user=mdettweiler [2012-10-09 00:50:29] 975*2^1230292-1 is not prime. Res64: 5131C0EEC96E509A Time : 0.0 sec. user=mdettweiler [2012-10-09 00:59:25] 615*2^1230293-1 is not prime. Res64: D4804F65691C0D5C Time : 0.0 sec. user=mdettweiler [2012-10-09 00:59:25] 837*2^1230293-1 is not prime. Res64: 0777DF79EBB4E670 Time : 0.0 sec. user=vaughan [2012-10-09 01:05:26] 653*2^1230292-1 is not prime. Res64: 1D02BD2113F40827 Time : 0.0 sec. user=mdettweiler [2012-10-09 01:11:02] 861*2^1230293-1 is not prime. Res64: 93FE1AA33FA54BDB Time : 0.0 sec. user=mdettweiler [2012-10-09 01:11:03] 957*2^1230293-1 is not prime. Res64: B494AD4F00D7B4E8 Time : 0.0 sec. user=mdettweiler [2012-10-09 01:20:01] 651*2^1230294-1 is not prime. Res64: BAFC9650D007B4E7 Time : 0.0 sec. user=mdettweiler [2012-10-09 01:20:01] 717*2^1230294-1 is not prime. Res64: BABD82C59F74416A Time : 0.0 sec. user=mdettweiler [2012-10-09 01:31:42] 795*2^1230294-1 is not prime. Res64: CFC4BD9F8BB8A4F9 Time : 0.0 sec. user=mdettweiler [2012-10-09 01:31:42] 971*2^1230294-1 is not prime. Res64: 219476C683FFAF40 Time : 0.0 sec. user=mdettweiler [2012-10-09 01:40:38] 993*2^1230294-1 is not prime. Res64: 443D9EB602B02DEF Time : 0.0 sec. user=mdettweiler [2012-10-09 01:40:38] 1001*2^1230294-1 is not prime. Res64: 4F01C0DE676DC66E Time : 0.0 sec. user=mdettweiler [2012-10-09 01:52:16] 639*2^1230295-1 is not prime. Res64: 4F68157E460DF72C Time : 0.0 sec. user=mdettweiler [2012-10-09 01:52:16] 723*2^1230295-1 is not prime. Res64: 0EEDEB8A1C5CF63C Time : 0.0 sec. user=vaughan [2012-10-09 02:00:01] 765*2^1230294-1 is not prime. Res64: 1E6187F82DF68D77 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:01:13] 805*2^1230295-1 is not prime. Res64: 6F154FF84BCEE662 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:01:14] 913*2^1230295-1 is not prime. Res64: D65E9C4C1AC9170B Time : 0.0 sec. user=mdettweiler [2012-10-09 02:12:50] 979*2^1230295-1 is not prime. Res64: F634E6EEA21EB135 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:12:52] 659*2^1230296-1 is not prime. Res64: EE1B632FA6365233 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:21:50] 717*2^1230296-1 is not prime. Res64: 9CF9312396088059 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:21:51] 789*2^1230296-1 is not prime. Res64: F361B7D6966D658F Time : 0.0 sec. user=mdettweiler [2012-10-09 02:33:34] 875*2^1230296-1 is not prime. Res64: 9B305B105A9C34EA Time : 0.0 sec. user=mdettweiler [2012-10-09 02:33:36] 879*2^1230296-1 is not prime. Res64: 88BDDB9835A01D68 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:42:28] 903*2^1230296-1 is not prime. Res64: 25A8869763E8F87D Time : 0.0 sec. user=mdettweiler [2012-10-09 02:42:30] 649*2^1230297-1 is not prime. Res64: 81A12EC6E7772E7F Time : 0.0 sec. user=vaughan [2012-10-09 02:54:16] 669*2^1230296-1 is not prime. Res64: 3F23A3E51652EC82 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:54:23] 651*2^1230297-1 is not prime. Res64: 885A4C56C26A43E7 Time : 0.0 sec. user=mdettweiler [2012-10-09 02:54:23] 675*2^1230297-1 is not prime. Res64: 26665F6E928814FC Time : 0.0 sec. user=mdettweiler [2012-10-09 03:03:20] 829*2^1230297-1 is not prime. Res64: 284CF49EDD8A75A0 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:03:21] 837*2^1230297-1 is not prime. Res64: 9FA97CF00C4EF133 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:14:57] 955*2^1230297-1 is not prime. Res64: 7B825D434C1BCD99 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:14:59] 617*2^1230298-1 is not prime. Res64: 49B317E9931B03B1 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:23:58] 665*2^1230298-1 is not prime. Res64: AED31DA24B622708 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:23:58] 801*2^1230298-1 is not prime. Res64: DE891A0A2ED703EA Time : 0.0 sec. user=mdettweiler [2012-10-09 03:35:48] 825*2^1230298-1 is not prime. Res64: D82E244D32306BB8 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:35:49] 957*2^1230298-1 is not prime. Res64: F8C6F9AAEA729BAE Time : 0.0 sec. user=mdettweiler [2012-10-09 03:44:32] 879*2^1230299-1 is not prime. Res64: B6F3C1638BF137FF Time : 0.0 sec. user=mdettweiler [2012-10-09 03:44:32] 885*2^1230299-1 is not prime. Res64: 1C73861B9BDCA221 Time : 0.0 sec. user=vaughan [2012-10-09 03:48:38] 919*2^1230297-1 is not prime. Res64: BF5EF06EB6C4ECE6 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:56:26] 627*2^1230300-1 is not prime. Res64: EA41DF3B9440DA40 Time : 0.0 sec. user=mdettweiler [2012-10-09 03:56:27] 669*2^1230300-1 is not prime. Res64: BE612C5C42157212 Time : 0.0 sec. user=mdettweiler [2012-10-09 04:05:07] 695*2^1230300-1 is not prime. Res64: 7D5A8BA2DDE86C9A Time : 0.0 sec. user=mdettweiler [2012-10-09 04:05:08] 767*2^1230300-1 is not prime. Res64: B2F2D12492568692 Time : 0.0 sec. user=mdettweiler [2012-10-09 04:17:00] 783*2^1230300-1 is not prime. Res64: 2541837BA7C06DDE Time : 0.0 sec. user=mdettweiler [2012-10-09 04:17:01] 797*2^1230300-1 is not prime. Res64: F39A27FA1BCE230F Time : 0.0 sec. user=mdettweiler [2012-10-09 04:25:48] 843*2^1230300-1 is not prime. Res64: 4D130614B069873D Time : 0.0 sec. user=mdettweiler [2012-10-09 04:25:48] 863*2^1230300-1 is not prime. Res64: 29AC7998F32D90B4 Time : 0.0 sec. user=mdettweiler [2012-10-09 04:37:39] 867*2^1230300-1 is not prime. Res64: 5DE5B52426FCB49D Time : 0.0 sec. user=mdettweiler [2012-10-09 04:37:41] 615*2^1230301-1 is not prime. Res64: 8A0B98A148F5AB44 Time : 0.0 sec. user=vaughan [2012-10-09 04:43:00] 779*2^1230300-1 is not prime. Res64: EC1E43B60A118290 Time : 0.0 sec. user=mdettweiler [2012-10-09 04:46:21] 687*2^1230301-1 is not prime. Res64: 2A05DE0E3788F67D Time : 0.0 sec. user=mdettweiler [2012-10-09 04:46:22] 717*2^1230301-1 is not prime. Res64: 429E786E6D6B9A6E Time : 0.0 sec. user=mdettweiler [2012-10-09 04:58:26] 799*2^1230301-1 is not prime. Res64: CBCFCAD668FE206A Time : 0.0 sec. user=mdettweiler [2012-10-09 04:58:26] 811*2^1230301-1 is not prime. Res64: E459F5FA107E9668 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:06:55] 861*2^1230301-1 is not prime. Res64: D06D8FC22D9D3B23 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:06:56] 877*2^1230301-1 is not prime. Res64: F9A758D125428FEC Time : 0.0 sec. user=mdettweiler [2012-10-09 05:19:04] 937*2^1230301-1 is not prime. Res64: 046AD0F922EB5548 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:19:06] 939*2^1230301-1 is not prime. Res64: 94D190699B43EFAE Time : 0.0 sec. user=mdettweiler [2012-10-09 05:27:33] 761*2^1230302-1 is not prime. Res64: 54D7BA3CB7B97472 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:27:34] 903*2^1230302-1 is not prime. Res64: BAB44323A71E43A4 Time : 0.0 sec. user=vaughan [2012-10-09 05:37:17] 847*2^1230301-1 is not prime. Res64: 0C85E05E746ACC0E Time : 0.0 sec. user=mdettweiler [2012-10-09 05:39:53] 951*2^1230302-1 is not prime. Res64: 52C51FE6C0791FE5 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:39:54] 615*2^1230303-1 is not prime. Res64: A576835F0C16B1EF Time : 0.0 sec. user=mdettweiler [2012-10-09 05:48:08] 621*2^1230303-1 is not prime. Res64: 4A0F711F717D5635 Time : 0.0 sec. user=mdettweiler [2012-10-09 05:48:09] 735*2^1230303-1 is not prime. Res64: F4EBEF26D9A61312 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:00:31] 831*2^1230303-1 is not prime. Res64: 7B0C17C2D420425E Time : 0.0 sec. user=mdettweiler [2012-10-09 06:00:33] 825*2^1230304-1 is not prime. Res64: 2A23A2F852DF082E Time : 0.0 sec. user=mdettweiler [2012-10-09 06:08:42] 849*2^1230304-1 is not prime. Res64: 5FC2D431A46C633D Time : 0.0 sec. user=mdettweiler [2012-10-09 06:08:43] 857*2^1230304-1 is not prime. Res64: 72B78D69304D5755 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:21:16] 721*2^1230305-1 is not prime. Res64: DB824CA88CEC516A Time : 0.0 sec. user=mdettweiler [2012-10-09 06:21:17] 729*2^1230305-1 is not prime. Res64: D35FD5B43E8225C7 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:29:19] 831*2^1230305-1 is not prime. Res64: F2EF7992A4DC8687 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:29:20] 925*2^1230305-1 is not prime. Res64: 4290BEB7076A9266 Time : 0.0 sec. user=vaughan [2012-10-09 06:31:32] 741*2^1230303-1 is not prime. Res64: 68B82294183CAA98 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:41:54] 717*2^1230306-1 is not prime. Res64: 634BA5AF5F5FAFCA Time : 0.0 sec. user=mdettweiler [2012-10-09 06:41:55] 725*2^1230306-1 is not prime. Res64: 4F659C031C5EEBF7 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:49:54] 741*2^1230306-1 is not prime. Res64: 8FDFBB1502308A72 Time : 0.0 sec. user=mdettweiler [2012-10-09 06:49:54] 933*2^1230306-1 is not prime. Res64: 542ED672BCF9A46F Time : 0.0 sec. user=mdettweiler [2012-10-09 07:02:29] 651*2^1230307-1 is not prime. Res64: BBD8792CDC0AFF2A Time : 0.0 sec. user=mdettweiler [2012-10-09 07:02:30] 703*2^1230307-1 is not prime. Res64: 5E4AF37744FE6B9D Time : 0.0 sec. user=mdettweiler [2012-10-09 07:10:28] 765*2^1230307-1 is not prime. Res64: D5E8639B1C8C0763 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:10:29] 859*2^1230307-1 is not prime. Res64: EDBD17B5A7C9D07E Time : 0.0 sec. user=mdettweiler [2012-10-09 07:23:11] 975*2^1230307-1 is not prime. Res64: C0E0DB08DFF8FEEA Time : 0.0 sec. user=mdettweiler [2012-10-09 07:23:12] 665*2^1230308-1 is not prime. Res64: E629A203EE4094EF Time : 0.0 sec. user=vaughan [2012-10-09 07:25:48] 993*2^1230306-1 is not prime. Res64: 681CC60ECF8DC225 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:31:03] 795*2^1230308-1 is not prime. Res64: 994E7A61A656BB44 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:31:03] 797*2^1230308-1 is not prime. Res64: 152006C87FBD11B1 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:43:47] 855*2^1230308-1 is not prime. Res64: 173A1684A43B5A5B Time : 0.0 sec. user=mdettweiler [2012-10-09 07:43:47] 879*2^1230308-1 is not prime. Res64: FBE801B835F3DFD7 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:51:38] 691*2^1230309-1 is not prime. Res64: 88049FDD3BFBC228 Time : 0.0 sec. user=mdettweiler [2012-10-09 07:51:38] 741*2^1230309-1 is not prime. Res64: B3929887B407126D Time : 0.0 sec. user=mdettweiler [2012-10-09 08:04:22] 795*2^1230309-1 is not prime. Res64: 0813D448179502A0 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:04:24] 885*2^1230309-1 is not prime. Res64: 251EFC2A7F09D9E4 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:12:11] 891*2^1230309-1 is not prime. Res64: D78D96906B3008FD Time : 0.0 sec. user=mdettweiler [2012-10-09 08:12:13] 951*2^1230309-1 is not prime. Res64: 7FABAA4000ED113A Time : 0.0 sec. user=vaughan [2012-10-09 08:20:14] 679*2^1230309-1 is not prime. Res64: 82188F359177C257 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:25:04] 985*2^1230309-1 is not prime. Res64: E02D0D748C5F1134 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:25:04] 991*2^1230309-1 is not prime. Res64: F0E370A510E13036 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:32:47] 663*2^1230310-1 is not prime. Res64: 11014EF464E77045 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:32:47] 785*2^1230310-1 is not prime. Res64: A13C25F2F3071232 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:45:37] 843*2^1230310-1 is not prime. Res64: A55FE9622926D27D Time : 0.0 sec. user=mdettweiler [2012-10-09 08:45:37] 861*2^1230310-1 is not prime. Res64: 660E3947F51F4403 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:53:19] 987*2^1230310-1 is not prime. Res64: 76EF07FB8E0D1024 Time : 0.0 sec. user=mdettweiler [2012-10-09 08:53:20] 615*2^1230311-1 is not prime. Res64: 97BA409284BBCFD4 Time : 0.0 sec. user=mdettweiler [2012-10-09 09:06:10] 621*2^1230311-1 is not prime. Res64: 0FA580FD871CD9CA Time : 0.0 sec. user=mdettweiler [2012-10-09 09:06:11] 705*2^1230311-1 is not prime. Res64: D6E1481B8CBBC5EE Time : 0.0 sec. user=mdettweiler [2012-10-09 09:13:53] 741*2^1230311-1 is not prime. Res64: E4E499FF1599724E Time : 0.0 sec. user=mdettweiler [2012-10-09 09:13:55] 753*2^1230311-1 is not prime. Res64: 06F6C8DB09B682AE Time : 0.0 sec. user=vaughan [2012-10-09 09:14:43] 827*2^1230310-1 is not prime. Res64: F6D566F48A4CCEED Time : 0.0 sec. user=mdettweiler [2012-10-09 09:26:53] 855*2^1230311-1 is not prime. Res64: 22780BE681AF785F Time : 0.0 sec. user=mdettweiler [2012-10-09 09:26:54] 999*2^1230311-1 is not prime. Res64: F3E1CBBB8EE4D482 Time : 0.0 sec. user=mdettweiler [2012-10-09 09:34:44] 635*2^1230312-1 is not prime. Res64: 0A01EB4B6D3F4231 Time : 0.0 sec. user=mdettweiler [2012-10-09 09:34:45] 803*2^1230312-1 is not prime. Res64: 4F1F290AACEC676F Time : 0.0 sec. user=mdettweiler [2012-10-09 09:47:28] 947*2^1230312-1 is not prime. Res64: 83AE7C71A2A57AFA Time : 0.0 sec. user=mdettweiler [2012-10-09 09:47:29] 959*2^1230312-1 is not prime. Res64: 7AE71C6E1B2E4EBA Time : 0.0 sec. user=mdettweiler [2012-10-09 09:55:21] 999*2^1230312-1 is not prime. Res64: D06F0F0937A1DEAF Time : 0.0 sec. user=mdettweiler [2012-10-09 09:55:21] 651*2^1230313-1 is not prime. Res64: E5C7CBB76E0DC903 Time : 0.0 sec. user=mdettweiler [2012-10-09 10:08:04] 705*2^1230313-1 is not prime. Res64: D397EBC47A0117CB Time : 0.0 sec. user=mdettweiler [2012-10-09 10:08:05] 721*2^1230313-1 is not prime. Res64: 6DDAC05A4885660B Time : 0.0 sec. user=vaughan [2012-10-09 10:09:05] 875*2^1230312-1 is not prime. Res64: 409BB7B65A183F37 Time : 0.0 sec. user=mdettweiler [2012-10-09 10:15:55] 855*2^1230313-1 is not prime. Res64: 4AA77E8052B285A1 Time : 0.0 sec. user=mdettweiler [2012-10-09 10:15:56] 985*2^1230313-1 is not prime. Res64: 12EA11E3C1253D10 Time : 0.0 sec. user=mdettweiler [2012-10-09 10:28:41] 999*2^1230313-1 is not prime. Res64: 6827D068B112AA5E Time : 0.0 sec. user=mdettweiler [2012-10-09 10:28:42] 701*2^1230314-1 is not prime. Res64: 4635CD81F0BA567C Time : 0.0 sec. user=mdettweiler [2012-10-09 10:36:38] 971*2^1230314-1 is not prime. Res64: 0581E356AD846CA3 Time : 0.0 sec. user=mdettweiler [2012-10-09 10:36:39] 609*2^1230315-1 is not prime. Res64: 7E40B819972040BA Time : 0.0 sec. user=mdettweiler [2012-10-09 10:49:16] 669*2^1230315-1 is not prime. Res64: 41791BAE412B0CEC Time : 0.0 sec. user=mdettweiler [2012-10-09 10:49:16] 859*2^1230315-1 is not prime. Res64: C8ED643F666ADD9F Time : 0.0 sec. user=mdettweiler [2012-10-09 10:57:14] 969*2^1230315-1 is not prime. Res64: 33FA0ACACE26D11A Time : 0.0 sec. user=mdettweiler [2012-10-09 10:57:15] 647*2^1230316-1 is not prime. Res64: 7F3276E527B747F8 Time : 0.0 sec. user=vaughan [2012-10-09 11:03:24] 837*2^1230314-1 is not prime. Res64: 53A9478491CB883F Time : 0.0 sec. user=mdettweiler [2012-10-09 11:09:50] 653*2^1230316-1 is not prime. Res64: 45C8F3ABB8EDF896 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:09:51] 825*2^1230316-1 is not prime. Res64: 0A29F569EE2397EA Time : 0.0 sec. user=mdettweiler [2012-10-09 11:17:48] 875*2^1230316-1 is not prime. Res64: E322FC290A84AB25 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:17:49] 957*2^1230316-1 is not prime. Res64: 4A4ECF3F937F6D60 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:30:29] 619*2^1230317-1 is not prime. Res64: 69E658657797B30C Time : 0.0 sec. user=mdettweiler [2012-10-09 11:30:30] 621*2^1230317-1 is not prime. Res64: E8D816B04BA7F293 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:38:28] 655*2^1230317-1 is not prime. Res64: F21A707141FBC144 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:38:29] 717*2^1230317-1 is not prime. Res64: 95901F92270A2615 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:51:07] 735*2^1230317-1 is not prime. Res64: 9C039CFC8C2D788D Time : 0.0 sec. user=mdettweiler [2012-10-09 11:51:08] 741*2^1230317-1 is not prime. Res64: EC778423253D4ED7 Time : 0.0 sec. user=vaughan [2012-10-09 11:57:40] 615*2^1230317-1 is not prime. Res64: D5D2682051576A8D Time : 0.0 sec. user=mdettweiler [2012-10-09 11:59:02] 757*2^1230317-1 is not prime. Res64: 516B268952E16938 Time : 0.0 sec. user=mdettweiler [2012-10-09 11:59:02] 759*2^1230317-1 is not prime. Res64: CEE693FCFCA53566 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:11:41] 769*2^1230317-1 is not prime. Res64: 0F41C7EB8B07AD73 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:11:42] 641*2^1230318-1 is not prime. Res64: F7201A6D2D160EB8 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:19:36] 825*2^1230318-1 is not prime. Res64: 5CCBF03CC3DA1040 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:19:38] 867*2^1230318-1 is not prime. Res64: A3F55648100CA598 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:32:18] 615*2^1230319-1 is not prime. Res64: E6CE68FEC4241CC4 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:32:18] 633*2^1230319-1 is not prime. Res64: 8949267A3840BDF9 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:40:17] 639*2^1230319-1 is not prime. Res64: 635EF4E4562C247A Time : 0.0 sec. user=mdettweiler [2012-10-09 12:40:18] 705*2^1230319-1 is not prime. Res64: 051C5509EC257FC4 Time : 0.0 sec. user=vaughan [2012-10-09 12:52:03] 791*2^1230318-1 is not prime. Res64: 3E8B5F196C2E4F24 Time : 0.0 sec. user=mdettweiler [2012-10-09 12:52:53] 723*2^1230319-1 is not prime. Res64: B3AA0E6BBC00664C Time : 0.0 sec. user=mdettweiler [2012-10-09 12:52:53] 841*2^1230319-1 is not prime. Res64: A36994CC753C1A0C Time : 0.0 sec. user=mdettweiler [2012-10-09 13:00:52] 853*2^1230319-1 is not prime. Res64: D5C87FF93F0BD131 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:00:53] 933*2^1230319-1 is not prime. Res64: BA3C98C2168BD207 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:13:26] 663*2^1230320-1 is not prime. Res64: D194D277F141DBC3 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:13:29] 819*2^1230320-1 is not prime. Res64: 1FF50FF59122D77B Time : 0.0 sec. user=mdettweiler [2012-10-09 13:21:40] 833*2^1230320-1 is not prime. Res64: 0BC9C3BF11BBD638 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:21:40] 963*2^1230320-1 is not prime. Res64: 7D246A752DDBFFD3 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:34:20] 679*2^1230321-1 is not prime. Res64: 83640AEAEE273E93 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:34:21] 741*2^1230321-1 is not prime. Res64: D49C4BD3E9ADBF26 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:42:17] 789*2^1230321-1 is not prime. Res64: 9D6CDF102E0C04CD Time : 0.0 sec. user=mdettweiler [2012-10-09 13:42:18] 849*2^1230321-1 is not prime. Res64: 5DB2B80B140BE601 Time : 0.0 sec. user=vaughan [2012-10-09 13:46:15] 999*2^1230319-1 is not prime. Res64: 176A0294A3CA426F Time : 0.0 sec. user=mdettweiler [2012-10-09 13:54:55] 877*2^1230321-1 is not prime. Res64: 938785EE92D49A23 Time : 0.0 sec. user=mdettweiler [2012-10-09 13:54:55] 921*2^1230321-1 is not prime. Res64: FA9078C6DA8D1601 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:02:53] 611*2^1230322-1 is not prime. Res64: EE6A3A9F3B7A8980 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:02:54] 665*2^1230322-1 is not prime. Res64: F053A8B734CA6C3B Time : 0.0 sec. user=mdettweiler [2012-10-09 14:15:30] 813*2^1230322-1 is not prime. Res64: 665243453ABBF03E Time : 0.0 sec. user=mdettweiler [2012-10-09 14:15:35] 821*2^1230322-1 is not prime. Res64: A7874B8FA279C27A Time : 0.0 sec. user=mdettweiler [2012-10-09 14:23:38] 825*2^1230322-1 is not prime. Res64: 33FAC4E309FC1BDC Time : 0.0 sec. user=mdettweiler [2012-10-09 14:23:39] 873*2^1230322-1 is not prime. Res64: C7AF638DF481DAC5 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:36:33] 983*2^1230322-1 is not prime. Res64: 68289C7BB2287BB0 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:36:34] 609*2^1230323-1 is not prime. Res64: 1ABB076C886914B4 Time : 0.0 sec. user=vaughan [2012-10-09 14:40:28] 801*2^1230322-1 is not prime. Res64: 27D6C065519D00A9 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:44:26] 621*2^1230323-1 is not prime. Res64: 58001843BA8459A4 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:44:26] 663*2^1230323-1 is not prime. Res64: 4930B154D5C89CF3 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:57:30] 753*2^1230323-1 is not prime. Res64: 730E47D2A8749EF2 Time : 0.0 sec. user=mdettweiler [2012-10-09 14:57:31] 783*2^1230323-1 is not prime. Res64: 932F991353AB1C97 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:05:14] 895*2^1230323-1 is not prime. Res64: 23DEC3F676558439 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:05:16] 943*2^1230323-1 is not prime. Res64: D8BD5562DC1C7FF6 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:18:07] 949*2^1230323-1 is not prime. Res64: C4459445B1AFDC56 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:18:08] 963*2^1230323-1 is not prime. Res64: B4E14145186A3D55 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:26:01] 981*2^1230323-1 is not prime. Res64: 00EA0D742618E0B0 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:26:01] 675*2^1230324-1 is not prime. Res64: 68AEC35AD7BF52FC Time : 0.0 sec. user=vaughan [2012-10-09 15:34:42] 885*2^1230323-1 is not prime. Res64: 188ECB5BDAE29B2E Time : 0.0 sec. user=mdettweiler [2012-10-09 15:39:06] 689*2^1230324-1 is not prime. Res64: D623D9787A78858B Time : 0.0 sec. user=mdettweiler [2012-10-09 15:39:06] 707*2^1230324-1 is not prime. Res64: 8A70511062BEF656 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:47:05] 725*2^1230324-1 is not prime. Res64: F9E33901F175C3B4 Time : 0.0 sec. user=mdettweiler [2012-10-09 15:47:05] 759*2^1230324-1 is not prime. Res64: ADBBB03F02690CBF Time : 0.0 sec. user=mdettweiler [2012-10-09 16:01:11] 969*2^1230324-1 is not prime. Res64: 6093C26F758C861D Time : 0.0 sec. user=mdettweiler [2012-10-09 16:01:12] 759*2^1230325-1 is not prime. Res64: 83B88BCC7EB20D5A Time : 0.0 sec. user=mdettweiler [2012-10-09 16:09:41] 861*2^1230325-1 is not prime. Res64: C5D2720A225CF637 Time : 0.0 sec. user=mdettweiler [2012-10-09 16:09:43] 871*2^1230325-1 is not prime. Res64: 8487D71F49585884 Time : 0.0 sec. user=mdettweiler [2012-10-09 16:23:35] 755*2^1230326-1 is not prime. Res64: BACC8E2156345D1B Time : 0.0 sec. user=mdettweiler [2012-10-09 16:23:38] 773*2^1230326-1 is not prime. Res64: CBC014AA253949DF Time : 0.0 sec. user=vaughan [2012-10-09 16:28:53] 873*2^1230324-1 is not prime. Res64: E6C19B59EBC825B5 Time : 0.0 sec. user=mdettweiler [2012-10-09 16:31:30] 827*2^1230326-1 is not prime. Res64: F3A672D6F3049B7C Time : 0.0 sec. user=mdettweiler [2012-10-09 16:31:31] 935*2^1230326-1 is not prime. Res64: C204DE0B0DC321BD Time : 0.0 sec. user=juhehe [2012-10-09 16:42:35] 877*2^1230325-1 is not prime. Res64: D4CDC3C11A8B5EAB Time : 0.0 sec. user=mdettweiler [2012-10-09 16:45:09] 703*2^1230327-1 is not prime. Res64: EB52E2E69E6810BB Time : 0.0 sec. user=mdettweiler [2012-10-09 16:45:10] 861*2^1230327-1 is not prime. Res64: 81149472CB2C125F Time : 0.0 sec. user=mdettweiler [2012-10-09 16:52:47] 895*2^1230327-1 is not prime. Res64: 3509D6238D550BB3 Time : 0.0 sec. user=mdettweiler [2012-10-09 16:52:48] 951*2^1230327-1 is not prime. Res64: 9EFF747B1BDAF800 Time : 0.0 sec. user=mdettweiler [2012-10-09 17:06:26] 973*2^1230327-1 is not prime. Res64: 01A1010F46BFD25C Time : 0.0 sec. user=mdettweiler [2012-10-09 17:06:27] 735*2^1230328-1 is not prime. Res64: EFBC6ABD28629BEB Time : 0.0 sec. user=mdettweiler [2012-10-09 17:14:04] 813*2^1230328-1 is not prime. Res64: E302A027FB3405CE Time : 0.0 sec. user=mdettweiler [2012-10-09 17:14:06] 827*2^1230328-1 is not prime. Res64: C6CB8D970ABB06A8 Time : 0.0 sec. user=juhehe [2012-10-09 17:21:00] 955*2^1230327-1 is not prime. Res64: 797B8C67296C3452 Time : 0.0 sec. user=vaughan [2012-10-09 17:23:10] 871*2^1230327-1 is not prime. Res64: 198DBA2580CA5E6B Time : 0.0 sec. user=mdettweiler [2012-10-09 17:27:54] 887*2^1230328-1 is not prime. Res64: E52AE642A6BF7183 Time : 0.0 sec. user=mdettweiler [2012-10-09 17:27:55] 627*2^1230329-1 is not prime. Res64: E5C3EAB8E54AF2AA Time : 0.0 sec. user=juhehe [2012-10-09 17:31:03] 839*2^1230328-1 is not prime. Res64: 9D5A50C882D9C27C Time : 0.0 sec. user=mdettweiler [2012-10-09 17:35:33] 637*2^1230329-1 is not prime. Res64: CF424C69B67B158F Time : 0.0 sec. user=mdettweiler [2012-10-09 17:35:34] 649*2^1230329-1 is not prime. Res64: 0F9950C33A61334F Time : 0.0 sec. user=mdettweiler [2012-10-09 17:49:12] 811*2^1230329-1 is not prime. Res64: 7A5D3FF1723F5F51 Time : 0.0 sec. user=mdettweiler [2012-10-09 17:49:12] 889*2^1230329-1 is not prime. Res64: E2E943DCD573C350 Time : 0.0 sec. user=juhehe [2012-10-09 17:56:49] 721*2^1230329-1 is not prime. Res64: BDB7B44B5EB2C6B0 Time : 0.0 sec. user=mdettweiler [2012-10-09 17:56:51] 611*2^1230330-1 is not prime. Res64: 8DA26E63FED90392 Time : 0.0 sec. user=mdettweiler [2012-10-09 17:56:51] 671*2^1230330-1 is not prime. Res64: 018323AF8FF14B47 Time : 0.0 sec. user=juhehe [2012-10-09 18:07:41] 939*2^1230329-1 is not prime. Res64: 26805D473B509ADF Time : 0.0 sec. user=mdettweiler [2012-10-09 18:10:33] 707*2^1230330-1 is not prime. Res64: A4457A17CCBB302C Time : 0.0 sec. user=mdettweiler [2012-10-09 18:10:35] 773*2^1230330-1 is not prime. Res64: B28B70A1365B38C2 Time : 0.0 sec. user=vaughan [2012-10-09 18:17:25] 745*2^1230329-1 is not prime. Res64: 0CE43E143E7C5A62 Time : 0.0 sec. user=mdettweiler [2012-10-09 18:18:18] 709*2^1230331-1 is not prime. Res64: 792521346B1B87A1 Time : 0.0 sec. user=mdettweiler [2012-10-09 18:18:19] 733*2^1230331-1 is not prime. Res64: A517632A4A5316CE Time : 0.0 sec. user=mdettweiler [2012-10-09 18:32:11] 819*2^1230331-1 is not prime. Res64: CACF22E5B4BA9B50 Time : 0.0 sec. user=mdettweiler [2012-10-09 18:32:12] 843*2^1230331-1 is not prime. Res64: 140CFFD9294EAFEE Time : 0.0 sec. user=juhehe [2012-10-09 18:32:54] 681*2^1230331-1 is not prime. Res64: BAB3E04621653ED0 Time : 0.0 sec. user=mdettweiler [2012-10-09 18:39:43] 973*2^1230331-1 is not prime. Res64: C8DE0B37C8445EAF Time : 0.0 sec. user=mdettweiler [2012-10-09 18:39:43] 633*2^1230332-1 is not prime. Res64: C048BC23BBA8EC66 Time : 0.0 sec. user=juhehe [2012-10-09 18:43:16] 805*2^1230331-1 is not prime. Res64: B7D92EA4C2949D8C Time : 0.0 sec. user=mdettweiler [2012-10-09 18:53:29] 797*2^1230332-1 is not prime. Res64: AA1FAAB00F45A2DE Time : 0.0 sec. user=mdettweiler [2012-10-09 18:53:29] 873*2^1230332-1 is not prime. Res64: 417A6045A0AF22E3 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:00:57] 899*2^1230332-1 is not prime. Res64: 184CCAFED449D057 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:00:58] 983*2^1230332-1 is not prime. Res64: 48CBB3BDFBF7C1C5 Time : 0.0 sec. user=juhehe [2012-10-09 19:10:11] 897*2^1230332-1 is not prime. Res64: BFDA3181BD855760 Time : 0.0 sec. user=vaughan [2012-10-09 19:11:47] 951*2^1230331-1 is not prime. Res64: 28FB7770641915C2 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:14:43] 615*2^1230333-1 is not prime. Res64: 17C56171B2FAA554 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:14:45] 627*2^1230333-1 is not prime. Res64: 254976884A7B9CA6 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:22:29] 759*2^1230333-1 is not prime. Res64: A453F165C5610880 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:22:29] 795*2^1230333-1 is not prime. Res64: C5C9C45FEFEBD17B Time : 0.0 sec. user=mdettweiler [2012-10-09 19:36:08] 861*2^1230333-1 is not prime. Res64: 96DAAE8E82949EB9 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:36:09] 885*2^1230333-1 is not prime. Res64: 60E7CADB8FF04899 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:43:49] 657*2^1230334-1 is not prime. Res64: 051494F80C077752 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:43:49] 731*2^1230334-1 is not prime. Res64: 75AC009FDB7EB137 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:57:23] 993*2^1230334-1 is not prime. Res64: 83046BFDD67C4B27 Time : 0.0 sec. user=mdettweiler [2012-10-09 19:57:23] 661*2^1230335-1 is not prime. Res64: 762349044398ED2E Time : 0.0 sec. user=juhehe [2012-10-09 19:59:35] 817*2^1230333-1 is not prime. Res64: D0337490EA26423C Time : 0.0 sec. user=mdettweiler [2012-10-09 20:05:08] 673*2^1230335-1 is not prime. Res64: A6AE1F57553C80B7 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:05:09] 763*2^1230335-1 is not prime. Res64: 5EF6C2BE7DEA0D9E Time : 0.0 sec. user=juhehe [2012-10-09 20:05:40] 765*2^1230334-1 is not prime. Res64: BD40544092F281BD Time : 0.0 sec. user=vaughan [2012-10-09 20:06:03] 835*2^1230333-1 is not prime. Res64: D4485E9A87B8FDF8 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:18:39] 883*2^1230335-1 is not prime. Res64: 68AD80598ADC2D53 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:18:40] 885*2^1230335-1 is not prime. Res64: C19A487FA6D5462E Time : 0.0 sec. user=mdettweiler [2012-10-09 20:26:25] 689*2^1230336-1 is not prime. Res64: C1D109B873EC3A0D Time : 0.0 sec. user=mdettweiler [2012-10-09 20:26:25] 843*2^1230336-1 is not prime. Res64: 57296CB14A385469 Time : 0.0 sec. user=juhehe [2012-10-09 20:38:26] 921*2^1230335-1 is not prime. Res64: 237F900320A75D32 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:39:54] 899*2^1230336-1 is not prime. Res64: 46E51557D0F00C6E Time : 0.0 sec. user=mdettweiler [2012-10-09 20:39:54] 639*2^1230337-1 is not prime. Res64: 5A09E83678472AD6 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:47:30] 777*2^1230337-1 is not prime. Res64: 5A4D9755E3FA7582 Time : 0.0 sec. user=mdettweiler [2012-10-09 20:47:37] 799*2^1230337-1 is not prime. Res64: F698F081860867A2 Time : 0.0 sec. user=vaughan [2012-10-09 21:00:18] 857*2^1230336-1 is not prime. Res64: 43D5A940056C5589 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:01:01] 841*2^1230337-1 is not prime. Res64: 9202524C9610637F Time : 0.0 sec. user=mdettweiler [2012-10-09 21:01:02] 889*2^1230337-1 is not prime. Res64: 0713A05E7599EEB5 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:08:44] 895*2^1230337-1 is not prime. Res64: 3384684EECEFFEE3 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:08:45] 955*2^1230337-1 is not prime. Res64: A37A6076EEC62C7C Time : 0.0 sec. user=juhehe [2012-10-09 21:19:14] 835*2^1230337-1 is not prime. Res64: 778221516576792E Time : 0.0 sec. user=mdettweiler [2012-10-09 21:22:26] 815*2^1230338-1 is not prime. Res64: 8B67A1C644C8E969 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:22:26] 825*2^1230338-1 is not prime. Res64: 46135382B0CBCC84 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:30:16] 875*2^1230338-1 is not prime. Res64: D3E5CE4B9D33F7D6 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:30:16] 893*2^1230338-1 is not prime. Res64: 1BE291533143D2BA Time : 0.0 sec. user=mdettweiler [2012-10-09 21:43:30] 921*2^1230338-1 is not prime. Res64: C7E86508F28AE760 Time : 0.0 sec. user=mdettweiler [2012-10-09 21:43:31] 957*2^1230338-1 is not prime. Res64: 95563078602A636B Time : 0.0 sec. user=mdettweiler [2012-10-09 21:51:01] 615*2^1230339-1 is not prime. Res64: 6EA85EAA36CC968B Time : 0.0 sec. user=mdettweiler [2012-10-09 21:51:01] 663*2^1230339-1 is not prime. Res64: 68816A83D3050C3D Time : 0.0 sec. user=vaughan [2012-10-09 21:54:32] 711*2^1230338-1 is not prime. Res64: C8C6E3D3C4E53FED Time : 0.0 sec. user=mdettweiler [2012-10-09 22:04:09] 703*2^1230339-1 is not prime. Res64: BB94BE91D4E26266 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:04:10] 705*2^1230339-1 is not prime. Res64: 6F2F543C668DD990 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:11:43] 711*2^1230339-1 is not prime. Res64: F84594812AF14EA1 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:11:45] 723*2^1230339-1 is not prime. Res64: 1DC6CDFADF2D855F Time : 0.0 sec. user=mdettweiler [2012-10-09 22:24:57] 885*2^1230339-1 is not prime. Res64: 6A89982F7E9CE464 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:24:58] 919*2^1230339-1 is not prime. Res64: BEDDC517D8077573 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:32:25] 675*2^1230340-1 is not prime. Res64: 4D1785182A817582 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:32:25] 695*2^1230340-1 is not prime. Res64: 82AC1BB4570A808F Time : 0.0 sec. user=juhehe [2012-10-09 22:35:16] 843*2^1230339-1 is not prime. Res64: 3661653C565786D2 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:45:38] 803*2^1230340-1 is not prime. Res64: 5A538F142AA9B651 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:45:38] 843*2^1230340-1 is not prime. Res64: FEAF8F4D68EE8E28 Time : 0.0 sec. user=vaughan [2012-10-09 22:48:48] 769*2^1230339-1 is not prime. Res64: 6AB2B20A60C92B8D Time : 0.0 sec. user=mdettweiler [2012-10-09 22:53:05] 933*2^1230340-1 is not prime. Res64: AD70138FA25B52C8 Time : 0.0 sec. user=mdettweiler [2012-10-09 22:53:05] 989*2^1230340-1 is not prime. Res64: D32A3B9A7B42073F Time : 0.0 sec. user=mdettweiler [2012-10-09 23:06:18] 619*2^1230341-1 is not prime. Res64: 64BA8CEAB933A3B0 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:06:19] 631*2^1230341-1 is not prime. Res64: 4D4B93A0D6029735 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:13:43] 711*2^1230341-1 is not prime. Res64: DA10B5A0183958DA Time : 0.0 sec. user=mdettweiler [2012-10-09 23:13:45] 735*2^1230341-1 is not prime. Res64: 088D648CFF851602 Time : 0.0 sec. user=juhehe [2012-10-09 23:14:54] 995*2^1230340-1 is not prime. Res64: A8AC93242AB2BA2A Time : 0.0 sec. user=mdettweiler [2012-10-09 23:27:03] 741*2^1230341-1 is not prime. Res64: E34AB28D34BF36B6 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:27:03] 865*2^1230341-1 is not prime. Res64: 8688478E04BB6DA8 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:34:32] 885*2^1230341-1 is not prime. Res64: 4D0F3F44CCF7AE74 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:34:33] 951*2^1230341-1 is not prime. Res64: E879D6969BF9E29C Time : 0.0 sec. user=vaughan [2012-10-09 23:43:03] 645*2^1230341-1 is not prime. Res64: 043BC1FB01E7D6C7 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:47:45] 671*2^1230342-1 is not prime. Res64: 5FEEF59329EF90A0 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:47:45] 717*2^1230342-1 is not prime. Res64: DFCEF2E4C9BAEEAC Time : 0.0 sec. user=juhehe [2012-10-09 23:54:31] 651*2^1230342-1 is not prime. Res64: 6123DAE40CE90C35 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:55:12] 765*2^1230342-1 is not prime. Res64: 52557B2C58E40054 Time : 0.0 sec. user=mdettweiler [2012-10-09 23:55:12] 875*2^1230342-1 is not prime. Res64: 1C127FF8F04BC27E Time : 0.0 sec.