user=vaughan [2013-06-16 00:05:20] 991*2^1246925-1 is not prime. Res64: 65EF934AEA68F485 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:13:27] 725*2^1246926-1 is not prime. Res64: ACB085DC70B70107 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:17:26] 783*2^1246926-1 is not prime. Res64: 8D28E3395533EDB8 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:17:26] 795*2^1246926-1 is not prime. Res64: E156DFF71BF973DC Time : 0.0 sec. user=mdettweiler [2013-06-16 00:31:12] 873*2^1246926-1 is not prime. Res64: EE7F0D740FDDE556 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:31:13] 875*2^1246926-1 is not prime. Res64: 78E524132D2A7E21 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:35:27] 903*2^1246926-1 is not prime. Res64: 5542D62C467D43AF Time : 0.0 sec. user=vaughan [2013-06-16 00:44:54] 833*2^1246926-1 is not prime. Res64: 913AD92F2E7EFD07 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:49:55] 993*2^1246926-1 is not prime. Res64: 159CCB88D809AE72 Time : 0.0 sec. user=mdettweiler [2013-06-16 00:49:56] 633*2^1246927-1 is not prime. Res64: EEE9F8292B33F3D5 Time : 0.0 sec. user=mdettweiler [2013-06-16 01:08:29] 675*2^1246927-1 is not prime. Res64: 341353380F445C96 Time : 0.0 sec. user=mdettweiler [2013-06-16 01:11:22] 917*2^1246926-1 is not prime. Res64: 1CA8C634C2889932 Time : 0.0 sec. user=vaughan [2013-06-16 01:24:36] 673*2^1246927-1 is not prime. Res64: 85EDC4CDB18F74C3 Time : 0.0 sec. user=mdettweiler [2013-06-16 01:29:06] 729*2^1246927-1 is not prime. Res64: 87BC8A73AEE60B6D Time : 0.0 sec. user=mdettweiler [2013-06-16 01:29:07] 813*2^1246927-1 is not prime. Res64: 385F0A0E68E7D4AF Time : 0.0 sec. user=mdettweiler [2013-06-16 01:31:49] 681*2^1246927-1 is not prime. Res64: 53B135A471EDC624 Time : 0.0 sec. user=mdettweiler [2013-06-16 01:46:33] 859*2^1246927-1 is not prime. Res64: EF149862D45B477E Time : 0.0 sec. user=mdettweiler [2013-06-16 01:46:34] 873*2^1246927-1 is not prime. Res64: 2F5138D4D383F472 Time : 0.0 sec. user=mdettweiler [2013-06-16 01:49:30] 913*2^1246927-1 is not prime. Res64: A6D7C13189EB6054 Time : 0.0 sec. user=mdettweiler [2013-06-16 02:04:23] 677*2^1246928-1 is not prime. Res64: A606CCA2D271D07E Time : 0.0 sec. user=mdettweiler [2013-06-16 02:04:42] 759*2^1246928-1 is not prime. Res64: D6830E03AB2E28D4 Time : 0.0 sec. user=vaughan [2013-06-16 02:04:43] 843*2^1246927-1 is not prime. Res64: C4D1D398171E93BC Time : 0.0 sec. user=mdettweiler [2013-06-16 02:13:26] 931*2^1246927-1 is not prime. Res64: B88F6D6F0330FB95 Time : 0.0 sec. user=mdettweiler [2013-06-16 02:31:11] 845*2^1246928-1 is not prime. Res64: 925E57EB29DA617C Time : 0.0 sec. user=mdettweiler [2013-06-16 02:31:12] 945*2^1246928-1 is not prime. Res64: C40B34453171229C Time : 0.0 sec. user=mdettweiler [2013-06-16 02:49:08] 963*2^1246928-1 is not prime. Res64: E0A678A45F6AF635 Time : 0.0 sec. user=mdettweiler [2013-06-16 02:59:24] 653*2^1246930-1 is not prime. Res64: 8E541C842860587E Time : 0.0 sec. user=mdettweiler [2013-06-16 03:19:23] 615*2^1246929-1 is not prime. Res64: CEC93F027D4B9C56 Time : 0.0 sec. user=mdettweiler [2013-06-16 03:21:31] 665*2^1246930-1 is not prime. Res64: 19C52A15C6D23CC2 Time : 0.0 sec. user=vaughan [2013-06-16 03:24:01] 611*2^1246930-1 is not prime. Res64: EB56AE0C43C0EB26 Time : 0.0 sec. user=mdettweiler [2013-06-16 03:37:14] 777*2^1246930-1 is not prime. Res64: 9665944AFAF31E94 Time : 0.0 sec. user=mdettweiler [2013-06-16 03:37:15] 911*2^1246930-1 is not prime. Res64: D43CF9FDCD8B051A Time : 0.0 sec. user=mdettweiler [2013-06-16 03:40:03] 995*2^1246930-1 is not prime. Res64: 57989CF74E685117 Time : 0.0 sec. user=mdettweiler [2013-06-16 03:55:08] 715*2^1246931-1 is not prime. Res64: 839252CCA073F4DA Time : 0.0 sec. user=mdettweiler [2013-06-16 03:55:09] 689*2^1246932-1 is not prime. Res64: 53B503F9A2F40771 Time : 0.0 sec. user=vaughan [2013-06-16 04:03:51] 711*2^1246931-1 is not prime. Res64: 421B85D7A8771432 Time : 0.0 sec. user=mdettweiler [2013-06-16 04:04:56] 669*2^1246931-1 is not prime. Res64: 8D4676E61A0A96F7 Time : 0.0 sec. user=mdettweiler [2013-06-16 04:13:17] 753*2^1246932-1 is not prime. Res64: 965F00072C958EAC Time : 0.0 sec. user=vaughan [2013-06-16 04:43:34] 825*2^1246932-1 is not prime. Res64: E139AC10BCD42B39 Time : 0.0 sec. user=mdettweiler [2013-06-16 04:48:36] 819*2^1246932-1 is not prime. Res64: CB99603E6CDBB3D2 Time : 0.0 sec. user=mdettweiler [2013-06-16 04:50:20] 945*2^1246932-1 is not prime. Res64: 1BDC8EA72C049DFB Time : 0.0 sec. user=mdettweiler [2013-06-16 04:50:20] 721*2^1246933-1 is not prime. Res64: A39B14CB046865E2 Time : 0.0 sec. user=mdettweiler [2013-06-16 05:06:16] 919*2^1246933-1 is not prime. Res64: 646D5984391E383A Time : 0.0 sec. user=mdettweiler [2013-06-16 05:08:03] 951*2^1246933-1 is not prime. Res64: 8DE4D28AD54D59F9 Time : 0.0 sec. user=vaughan [2013-06-16 05:23:10] 775*2^1246933-1 is not prime. Res64: 74B93AF7229CCAB0 Time : 0.0 sec. user=mdettweiler [2013-06-16 05:26:47] 955*2^1246933-1 is not prime. Res64: B4D51180C0A38A79 Time : 0.0 sec. user=mdettweiler [2013-06-16 05:44:42] 617*2^1246934-1 is not prime. Res64: 519C4EECC3974618 Time : 0.0 sec. user=mdettweiler [2013-06-16 05:45:03] 939*2^1246933-1 is not prime. Res64: 98A6BC64F9817D38 Time : 0.0 sec. user=mdettweiler [2013-06-16 06:23:25] 641*2^1246934-1 is not prime. Res64: C1738012F4546F0A Time : 0.0 sec. user=mdettweiler [2013-06-16 06:41:12] 861*2^1246934-1 is not prime. Res64: 79FB0C9CD102582C Time : 0.0 sec. user=mdettweiler [2013-06-16 06:41:54] 897*2^1246934-1 is not prime. Res64: B4ADEDD76A12E5D0 Time : 0.0 sec. user=mdettweiler [2013-06-16 06:41:54] 957*2^1246934-1 is not prime. Res64: 3DDED8F865472525 Time : 0.0 sec. user=vaughan [2013-06-16 06:42:16] 795*2^1246934-1 is not prime. Res64: 01C26FDBB0C7BC3A Time : 0.0 sec. user=mdettweiler [2013-06-16 07:00:41] 971*2^1246934-1 is not prime. Res64: 746BA6FD4BA7B987 Time : 0.0 sec. user=mdettweiler [2013-06-16 07:05:24] 885*2^1246934-1 is not prime. Res64: E775A878AA7E6261 Time : 0.0 sec. user=vaughan [2013-06-16 07:22:12] 765*2^1246935-1 is not prime. Res64: 215049A22428E9CE Time : 0.0 sec. user=mdettweiler [2013-06-16 07:40:47] 741*2^1246935-1 is not prime. Res64: A7FD04ACAFA64FEF Time : 0.0 sec. user=mdettweiler [2013-06-16 07:53:21] 819*2^1246935-1 is not prime. Res64: A76D5139F0AD4662 Time : 0.0 sec. user=mdettweiler [2013-06-16 07:53:21] 831*2^1246935-1 is not prime. Res64: BBE80D7EF175E9CC Time : 0.0 sec. user=mdettweiler [2013-06-16 07:58:30] 849*2^1246935-1 is not prime. Res64: 0C9E0ADB73DA398A Time : 0.0 sec. user=vaughan [2013-06-16 08:02:07] 781*2^1246935-1 is not prime. Res64: 4A432254DA243892 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:10:58] 933*2^1246935-1 is not prime. Res64: 0D85B9ACE0CBE5B4 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:10:59] 963*2^1246935-1 is not prime. Res64: F888B5C65503E4CC Time : 0.0 sec. user=mdettweiler [2013-06-16 08:29:31] 719*2^1246936-1 is not prime. Res64: F5EB66361EA98BF4 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:29:33] 813*2^1246936-1 is not prime. Res64: FFE599FA9CCE8658 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:34:34] 861*2^1246935-1 is not prime. Res64: 1641DC53182D042D Time : 0.0 sec. user=vaughan [2013-06-16 08:47:16] 969*2^1246935-1 is not prime. Res64: 1122BB79E8979AEF Time : 0.0 sec. user=mdettweiler [2013-06-16 08:48:00] 845*2^1246936-1 is not prime. Res64: C3AF8D663B055267 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:48:00] 849*2^1246936-1 is not prime. Res64: F0CDAF4C148759ED Time : 0.0 sec. user=mdettweiler [2013-06-16 08:52:01] 905*2^1246936-1 is not prime. Res64: B86FCC5CAA615AD7 Time : 0.0 sec. user=mdettweiler [2013-06-16 08:52:02] 917*2^1246936-1 is not prime. Res64: C1E946D3B1188FD5 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:06:34] 999*2^1246936-1 is not prime. Res64: 160382CCD0A0643F Time : 0.0 sec. user=mdettweiler [2013-06-16 09:06:36] 627*2^1246937-1 is not prime. Res64: D5F0E300099A4E81 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:09:51] 697*2^1246937-1 is not prime. Res64: 4731E66CAA4C9F9C Time : 0.0 sec. user=mdettweiler [2013-06-16 09:09:53] 735*2^1246937-1 is not prime. Res64: 3236392ACB65B074 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:24:18] 901*2^1246937-1 is not prime. Res64: 495519E466435671 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:24:19] 925*2^1246937-1 is not prime. Res64: E4FE4E84B6EF16CA Time : 0.0 sec. user=mdettweiler [2013-06-16 09:27:40] 633*2^1246938-1 is not prime. Res64: A010017DF96CDD54 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:27:40] 641*2^1246938-1 is not prime. Res64: 5931B3463DDF62B0 Time : 0.0 sec. user=vaughan [2013-06-16 09:32:09] 933*2^1246936-1 is not prime. Res64: 3DE1C889D5880F64 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:41:56] 731*2^1246938-1 is not prime. Res64: 8B7E8FFBE2B290F7 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:41:56] 777*2^1246938-1 is not prime. Res64: 1719A5F73E6A261A Time : 0.0 sec. user=mdettweiler [2013-06-16 09:45:10] 803*2^1246938-1 is not prime. Res64: CBA3632DA6A229A9 Time : 0.0 sec. user=mdettweiler [2013-06-16 09:45:11] 893*2^1246938-1 is not prime. Res64: 27E3F8291710D16A Time : 0.0 sec. user=mdettweiler [2013-06-16 09:59:31] 663*2^1246939-1 is not prime. Res64: 7EC2FDBD08E9F64B Time : 0.0 sec. user=mdettweiler [2013-06-16 09:59:32] 861*2^1246939-1 is not prime. Res64: E09EB2152A0471BF Time : 0.0 sec. user=mdettweiler [2013-06-16 10:02:58] 943*2^1246939-1 is not prime. Res64: A2199A01844896C2 Time : 0.0 sec. user=mdettweiler [2013-06-16 10:03:00] 677*2^1246940-1 is not prime. Res64: F4A91AA8C7E5D49F Time : 0.0 sec. user=vaughan [2013-06-16 10:11:53] 645*2^1246939-1 is not prime. Res64: F39F9F3F0DEFB22A Time : 0.0 sec. user=mdettweiler [2013-06-16 10:17:28] 767*2^1246940-1 is not prime. Res64: AFCA1454A8F80E2F Time : 0.0 sec. user=mdettweiler [2013-06-16 10:21:01] 875*2^1246940-1 is not prime. Res64: B481917C0B398A34 Time : 0.0 sec. user=mdettweiler [2013-06-16 10:36:06] 843*2^1246940-1 is not prime. Res64: 5C0EA6CA24460CFA Time : 0.0 sec. user=mdettweiler [2013-06-16 10:41:28] 953*2^1246940-1 is not prime. Res64: 172D181E7A415145 Time : 0.0 sec. user=mdettweiler [2013-06-16 10:53:50] 621*2^1246941-1 is not prime. Res64: 6606FC9D004E3307 Time : 0.0 sec. user=mdettweiler [2013-06-16 10:53:51] 741*2^1246941-1 is not prime. Res64: 0EBB811869867BC5 Time : 0.0 sec. user=vaughan [2013-06-16 10:56:48] 959*2^1246940-1 is not prime. Res64: 2C70164706EE6A81 Time : 0.0 sec. user=mdettweiler [2013-06-16 11:11:58] 781*2^1246941-1 is not prime. Res64: C81FBD1A7724E831 Time : 0.0 sec. user=mdettweiler [2013-06-16 11:35:29] 829*2^1246941-1 is not prime. Res64: 3F349FED41B62A8E Time : 0.0 sec. user=mdettweiler [2013-06-16 11:36:11] 865*2^1246941-1 is not prime. Res64: D483BE2FEFE7014E Time : 0.0 sec. user=mdettweiler [2013-06-16 11:36:12] 945*2^1246941-1 is not prime. Res64: 808F9D25E068CD12 Time : 0.0 sec. user=vaughan [2013-06-16 11:36:33] 861*2^1246941-1 is not prime. Res64: 5DD403852FCBAFA4 Time : 0.0 sec. user=mdettweiler [2013-06-16 11:53:35] 675*2^1246942-1 is not prime. Res64: 81B67E1D0C091119 Time : 0.0 sec. user=mdettweiler [2013-06-16 11:54:17] 831*2^1246942-1 is not prime. Res64: 68D2B9AE974C0129 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:06:44] 881*2^1246942-1 is not prime. Res64: BD380AC785CFF8F6 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:21:46] 813*2^1246942-1 is not prime. Res64: 34EE60262541FF81 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:25:25] 941*2^1246942-1 is not prime. Res64: 656F86D67D8B3C58 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:25:26] 975*2^1246942-1 is not prime. Res64: 5A49A9F09352F61A Time : 0.0 sec. user=mdettweiler [2013-06-16 12:39:18] 663*2^1246943-1 is not prime. Res64: E30EC72D32F7EBA6 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:39:19] 741*2^1246943-1 is not prime. Res64: 2B143C287FD1E67C Time : 0.0 sec. user=mdettweiler [2013-06-16 12:43:03] 771*2^1246943-1 is not prime. Res64: B4C261518358F3B6 Time : 0.0 sec. user=mdettweiler [2013-06-16 12:43:04] 819*2^1246943-1 is not prime. Res64: 4284B29687BEC7CB Time : 0.0 sec. user=mdettweiler [2013-06-16 12:57:44] 855*2^1246943-1 is not prime. Res64: 35C1FFB3AA735ECF Time : 0.0 sec. user=mdettweiler [2013-06-16 12:57:45] 973*2^1246943-1 is not prime. Res64: CF289321EE84B662 Time : 0.0 sec. user=vaughan [2013-06-16 13:00:45] 983*2^1246942-1 is not prime. Res64: D1A5FB8AF82587C6 Time : 0.0 sec. user=mdettweiler [2013-06-16 13:01:07] 629*2^1246944-1 is not prime. Res64: 20CA0F3E9A4E18CA Time : 0.0 sec. user=mdettweiler [2013-06-16 13:15:38] 849*2^1246944-1 is not prime. Res64: B5E8423F9DC1099C Time : 0.0 sec. user=mdettweiler [2013-06-16 13:15:39] 857*2^1246944-1 is not prime. Res64: E979E924677329F2 Time : 0.0 sec. user=mdettweiler [2013-06-16 13:33:36] 927*2^1246944-1 is not prime. Res64: 0B60CB4DDA0A27F6 Time : 0.0 sec. user=mdettweiler [2013-06-16 13:33:37] 945*2^1246944-1 is not prime. Res64: B79CE14DBB7A0F3A Time : 0.0 sec. user=mdettweiler [2013-06-16 13:39:07] 705*2^1246944-1 is not prime. Res64: 20188F776F0292D0 Time : 0.0 sec. user=vaughan [2013-06-16 13:40:32] 875*2^1246944-1 is not prime. Res64: 14742D768EF0C114 Time : 0.0 sec. user=mdettweiler [2013-06-16 13:51:08] 871*2^1246945-1 is not prime. Res64: A2248527591EAC8C Time : 0.0 sec. user=mdettweiler [2013-06-16 13:51:09] 633*2^1246946-1 is not prime. Res64: 8296711B5266EC3B Time : 0.0 sec. user=mdettweiler [2013-06-16 13:56:38] 705*2^1246946-1 is not prime. Res64: FA94F910F74313D0 Time : 0.0 sec. user=mdettweiler [2013-06-16 13:56:38] 735*2^1246946-1 is not prime. Res64: 563F4CBEB6ED3D86 Time : 0.0 sec. user=mdettweiler [2013-06-16 14:08:43] 875*2^1246946-1 is not prime. Res64: 4B47EA113038B0B6 Time : 0.0 sec. user=mdettweiler [2013-06-16 14:08:44] 957*2^1246946-1 is not prime. Res64: 0458CBA5F8138CCE Time : 0.0 sec. user=mdettweiler [2013-06-16 14:14:24] 775*2^1246947-1 is not prime. Res64: 54B5BA3FC55043CB Time : 0.0 sec. user=vaughan [2013-06-16 14:20:19] 783*2^1246946-1 is not prime. Res64: 140E9B8FD046FB67 Time : 0.0 sec. user=mdettweiler [2013-06-16 14:27:37] 963*2^1246947-1 is not prime. Res64: 88FCEC04E7098D09 Time : 0.0 sec. user=mdettweiler [2013-06-16 14:49:31] 919*2^1246947-1 is not prime. Res64: A876CB208C83177D Time : 0.0 sec. user=mdettweiler [2013-06-16 15:03:35] 975*2^1246947-1 is not prime. Res64: E1108CACC8943049 Time : 0.0 sec. user=vaughan [2013-06-16 15:05:43] 985*2^1246947-1 is not prime. Res64: 340E2ECDFA15A4A8 Time : 0.0 sec. user=mdettweiler [2013-06-16 15:45:27] 639*2^1246948-1 is not prime. Res64: A2C582C005A5A2FF Time : 0.0 sec. user=mdettweiler [2013-06-16 15:46:11] 947*2^1246948-1 is not prime. Res64: 339B9901B96C10F6 Time : 0.0 sec. user=mdettweiler [2013-06-16 15:46:11] 621*2^1246949-1 is not prime. Res64: D62FE11E639041A2 Time : 0.0 sec. user=mdettweiler [2013-06-16 16:04:14] 721*2^1246949-1 is not prime. Res64: C41E768FB2102323 Time : 0.0 sec. user=mdettweiler [2013-06-16 16:21:48] 843*2^1246948-1 is not prime. Res64: F94D7FEDF441FBAE Time : 0.0 sec. user=vaughan [2013-06-16 16:24:36] 685*2^1246949-1 is not prime. Res64: B6531C28E03E1F43 Time : 0.0 sec. user=mdettweiler [2013-06-16 16:41:37] 771*2^1246949-1 is not prime. Res64: 48CFAE687F8782B3 Time : 0.0 sec. user=vaughan [2013-06-16 17:04:27] 831*2^1246949-1 is not prime. Res64: 07AE3795B1290BDF Time : 0.0 sec. user=mdettweiler [2013-06-16 17:04:36] 677*2^1246950-1 is not prime. Res64: 028945990399C390 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:04:37] 713*2^1246950-1 is not prime. Res64: FF4795C85BE6E88C Time : 0.0 sec. user=mdettweiler [2013-06-16 17:04:57] 921*2^1246950-1 is not prime. Res64: E0FA578601ED96F5 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:04:58] 735*2^1246951-1 is not prime. Res64: 69AA02AD33670963 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:23:02] 951*2^1246951-1 is not prime. Res64: F8314E8FB773BF3D Time : 0.0 sec. user=mdettweiler [2013-06-16 17:23:03] 973*2^1246951-1 is not prime. Res64: D0271E1FB9B18323 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:23:24] 993*2^1246951-1 is not prime. Res64: D0B58F61AFB3DE78 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:23:24] 605*2^1246952-1 is not prime. Res64: 689E908B37B260D3 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:41:02] 687*2^1246952-1 is not prime. Res64: 83C741F5E92F8A62 Time : 0.0 sec. user=mdettweiler [2013-06-16 17:41:23] 867*2^1246952-1 is not prime. Res64: 9E4D11062E0CEC64 Time : 0.0 sec. user=vaughan [2013-06-16 17:49:38] 889*2^1246951-1 is not prime. Res64: 2EDBF8E7A0C5597A Time : 0.0 sec. user=mdettweiler [2013-06-16 18:00:02] 855*2^1246952-1 is not prime. Res64: B44B1A4CA5F62997 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:18:00] 875*2^1246952-1 is not prime. Res64: 6938D16A196B0B58 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:35:53] 915*2^1246952-1 is not prime. Res64: D0761A09861E28F1 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:35:53] 685*2^1246953-1 is not prime. Res64: 8010AA0E274F1525 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:40:20] 741*2^1246953-1 is not prime. Res64: 1A7916C936BF40EA Time : 0.0 sec. user=mdettweiler [2013-06-16 18:40:21] 789*2^1246953-1 is not prime. Res64: 9008A1F7A381CF06 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:53:54] 621*2^1246954-1 is not prime. Res64: 8FD10FFBC610FAC1 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:58:19] 765*2^1246954-1 is not prime. Res64: FEA5513376C11563 Time : 0.0 sec. user=mdettweiler [2013-06-16 18:58:19] 887*2^1246954-1 is not prime. Res64: 11B8936BF4678558 Time : 0.0 sec. user=mdettweiler [2013-06-16 19:13:36] 635*2^1246954-1 is not prime. Res64: 2C4682BCBD9F8F66 Time : 0.0 sec. user=vaughan [2013-06-16 19:13:57] 895*2^1246953-1 is not prime. Res64: 53084FB442184020 Time : 0.0 sec. user=mdettweiler [2013-06-16 19:17:07] 987*2^1246954-1 is not prime. Res64: 71380260C66664CA Time : 0.0 sec. user=mdettweiler [2013-06-16 19:31:31] 675*2^1246955-1 is not prime. Res64: 193034D3D94A2E9B Time : 0.0 sec. user=mdettweiler [2013-06-16 19:31:32] 759*2^1246955-1 is not prime. Res64: AFFD530ECB82F81B Time : 0.0 sec. user=mdettweiler [2013-06-16 19:40:41] 601*2^1246955-1 is not prime. Res64: 1F2A82241C56E4FD Time : 0.0 sec. user=mdettweiler [2013-06-16 19:49:18] 841*2^1246955-1 is not prime. Res64: 4E8F690313A665EB Time : 0.0 sec. user=mdettweiler [2013-06-16 19:49:18] 675*2^1246956-1 is not prime. Res64: FD0D4589D37982F2 Time : 0.0 sec. user=mdettweiler [2013-06-16 19:58:33] 777*2^1246957-1 is not prime. Res64: 13D72E627D241643 Time : 0.0 sec. user=mdettweiler [2013-06-16 19:58:34] 871*2^1246957-1 is not prime. Res64: 31FAF676527A12EA Time : 0.0 sec. user=mdettweiler [2013-06-16 20:07:20] 937*2^1246957-1 is not prime. Res64: 794BD555B0E725B9 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:07:20] 955*2^1246957-1 is not prime. Res64: E34A64FFC6EA85C4 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:16:21] 753*2^1246958-1 is not prime. Res64: 20471829F7B24308 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:16:21] 755*2^1246958-1 is not prime. Res64: 27FC759B37364466 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:25:23] 767*2^1246958-1 is not prime. Res64: D2B9050102A0B018 Time : 0.0 sec. user=vaughan [2013-06-16 20:33:01] 731*2^1246958-1 is not prime. Res64: 5D6FC052D7374E26 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:34:08] 825*2^1246958-1 is not prime. Res64: 356D5501766FF491 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:34:08] 833*2^1246958-1 is not prime. Res64: 4D4F5CC47B64BFC9 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:47:45] 791*2^1246958-1 is not prime. Res64: 22539E1804C52487 Time : 0.0 sec. user=mdettweiler [2013-06-16 20:52:27] 693*2^1246959-1 is not prime. Res64: F260EEF637498B28 Time : 0.0 sec. user=mdettweiler [2013-06-16 21:05:49] 793*2^1246959-1 is not prime. Res64: E66B90044EA71670 Time : 0.0 sec. user=mdettweiler [2013-06-16 21:06:10] 823*2^1246959-1 is not prime. Res64: CE4B5DD77DD4C170 Time : 0.0 sec. user=mdettweiler [2013-06-16 21:29:39] 709*2^1246959-1 is not prime. Res64: A0A81FB3536B4A30 Time : 0.0 sec. user=mdettweiler [2013-06-16 21:47:28] 933*2^1246959-1 is not prime. Res64: E409470CEADF5A1C Time : 0.0 sec. user=mdettweiler [2013-06-16 21:47:28] 653*2^1246960-1 is not prime. Res64: 56093F24B58CFADE Time : 0.0 sec. user=vaughan [2013-06-16 21:57:22] 909*2^1246959-1 is not prime. Res64: 127C093FF3944FF7 Time : 0.0 sec. user=mdettweiler [2013-06-16 21:59:18] 803*2^1246960-1 is not prime. Res64: A4BD7B5F0FF55772 Time : 0.0 sec. user=mdettweiler [2013-06-16 22:06:06] 927*2^1246960-1 is not prime. Res64: 7D2BE415879266D0 Time : 0.0 sec. user=mdettweiler [2013-06-16 22:06:07] 983*2^1246960-1 is not prime. Res64: C66304BE9208C59A Time : 0.0 sec. user=mdettweiler [2013-06-16 22:24:14] 669*2^1246961-1 is not prime. Res64: 59308403F5EA1D51 Time : 0.0 sec. user=mdettweiler [2013-06-16 22:24:15] 801*2^1246961-1 is not prime. Res64: FF98CF58957BF737 Time : 0.0 sec. user=vaughan [2013-06-16 22:37:15] 601*2^1246961-1 is not prime. Res64: ED10D3156F653042 Time : 0.0 sec. user=mdettweiler [2013-06-16 22:37:57] 825*2^1246960-1 is not prime. Res64: 9D69507EA877A860 Time : 0.0 sec. user=mdettweiler [2013-06-16 22:42:31] 837*2^1246961-1 is not prime. Res64: 9B5372F5E67CAA1C Time : 0.0 sec. user=mdettweiler [2013-06-16 22:56:37] 991*2^1246961-1 is not prime. Res64: D4E130F618C493DC Time : 0.0 sec. user=mdettweiler [2013-06-16 22:56:38] 621*2^1246962-1 is not prime. Res64: 50927ED7977C4668 Time : 0.0 sec. user=mdettweiler [2013-06-16 23:14:26] 723*2^1246962-1 is not prime. Res64: 7005C272BF1E0E02 Time : 0.0 sec. user=mdettweiler [2013-06-16 23:14:27] 803*2^1246962-1 is not prime. Res64: 33863F871C36A5D6 Time : 0.0 sec. user=vaughan [2013-06-16 23:22:00] 967*2^1246961-1 is not prime. Res64: A7847F5FD49C77DD Time : 0.0 sec. user=mdettweiler [2013-06-16 23:24:59] 865*2^1246961-1 is not prime. Res64: ED2C8FE1A2499DFE Time : 0.0 sec. user=mdettweiler [2013-06-16 23:32:24] 815*2^1246962-1 is not prime. Res64: 0D7AA3F6053CBBFA Time : 0.0 sec. user=mdettweiler [2013-06-16 23:32:24] 917*2^1246962-1 is not prime. Res64: F6C826FB4467265E Time : 0.0 sec. user=mdettweiler [2013-06-16 23:51:09] 977*2^1246962-1 is not prime. Res64: 8A4CC47CABDE8AE0 Time : 0.0 sec. user=mdettweiler [2013-06-16 23:51:09] 681*2^1246963-1 is not prime. Res64: EF7BFD7124057BD9 Time : 0.0 sec.