user=vaughan [2013-01-27 00:08:38] 951*2^1240015-1 is not prime. Res64: CFC13C2434F5890E Time : 0.0 sec. user=mdettweiler [2013-01-27 00:13:55] 669*2^1240017-1 is not prime. Res64: 068572804F1B2129 Time : 0.0 sec. user=mdettweiler [2013-01-27 00:13:56] 937*2^1240017-1 is not prime. Res64: DEA6BDA298047911 Time : 0.0 sec. user=mdettweiler [2013-01-27 00:13:58] 777*2^1240017-1 is not prime. Res64: 8944EDB7F445D9A3 Time : 0.0 sec. user=mdettweiler [2013-01-27 00:13:58] 997*2^1240017-1 is not prime. Res64: 4401D7A682256660 Time : 0.0 sec. user=mdettweiler [2013-01-27 00:45:32] 671*2^1240018-1 is not prime. Res64: 865C1325FCC5A079 Time : 0.0 sec. user=mdettweiler [2013-01-27 00:45:33] 731*2^1240018-1 is not prime. Res64: 7B2B978545790819 Time : 0.0 sec. user=vaughan [2013-01-27 00:46:41] 621*2^1240018-1 is not prime. Res64: F4676CF98107988A Time : 0.0 sec. user=mdettweiler [2013-01-27 00:51:11] 743*2^1240018-1 is not prime. Res64: CCD3DF7361B21C0B Time : 0.0 sec. user=mdettweiler [2013-01-27 00:51:11] 777*2^1240018-1 is not prime. Res64: 79780F1130275354 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:02:55] 801*2^1240018-1 is not prime. Res64: E2BE3478D8E79056 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:02:56] 831*2^1240018-1 is not prime. Res64: 2196EF67FBEC8F42 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:08:32] 669*2^1240019-1 is not prime. Res64: 0FB63651E5BF2BF6 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:08:35] 711*2^1240019-1 is not prime. Res64: 6220ACC1899B47E1 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:20:19] 733*2^1240019-1 is not prime. Res64: 89FCF29EC67E4141 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:20:20] 759*2^1240019-1 is not prime. Res64: FFE2ED599152919B Time : 0.0 sec. user=vaughan [2013-01-27 01:24:34] 995*2^1240018-1 is not prime. Res64: 1165013B19D9E471 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:26:14] 675*2^1240020-1 is not prime. Res64: 6171665DB06BE18E Time : 0.0 sec. user=mdettweiler [2013-01-27 01:26:14] 689*2^1240020-1 is not prime. Res64: F07FD3EBC257D24A Time : 0.0 sec. user=mdettweiler [2013-01-27 01:37:41] 699*2^1240020-1 is not prime. Res64: 5CA9AF6DD7D57035 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:37:42] 737*2^1240020-1 is not prime. Res64: 4278A63118B25B9D Time : 0.0 sec. user=mdettweiler [2013-01-27 01:43:34] 783*2^1240020-1 is not prime. Res64: 70B4CBD7828BA4D8 Time : 0.0 sec. user=mdettweiler [2013-01-27 01:43:35] 789*2^1240020-1 is not prime. Res64: 795D8A34B961A1BF Time : 0.0 sec. user=mdettweiler [2013-01-27 01:55:02] 809*2^1240020-1 is not prime. Res64: BFFE2E3CE9B69C7F Time : 0.0 sec. user=mdettweiler [2013-01-27 01:55:03] 825*2^1240021-1 is not prime. Res64: 46470D3377617B25 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:00:59] 835*2^1240021-1 is not prime. Res64: 2F5179EE3EA7778D Time : 0.0 sec. user=mdettweiler [2013-01-27 02:01:00] 849*2^1240021-1 is not prime. Res64: 6EE086A45CA33B72 Time : 0.0 sec. user=vaughan [2013-01-27 02:02:27] 777*2^1240020-1 is not prime. Res64: 4B445485F5876630 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:12:24] 871*2^1240021-1 is not prime. Res64: 4C735109B1912C39 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:12:25] 889*2^1240021-1 is not prime. Res64: 4CD0E39A2014ABB0 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:18:33] 937*2^1240021-1 is not prime. Res64: 4729E212650CB5F2 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:18:34] 961*2^1240021-1 is not prime. Res64: D000AC832CEE9DAA Time : 0.0 sec. user=mdettweiler [2013-01-27 02:29:53] 665*2^1240022-1 is not prime. Res64: 90C7EA36C32BD2A4 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:29:53] 827*2^1240022-1 is not prime. Res64: F3A21E4E117105FA Time : 0.0 sec. user=mdettweiler [2013-01-27 02:35:55] 897*2^1240022-1 is not prime. Res64: A1423FAB39CE3953 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:35:56] 965*2^1240022-1 is not prime. Res64: 5B13335A512DA9B2 Time : 0.0 sec. user=vaughan [2013-01-27 02:40:25] 975*2^1240021-1 is not prime. Res64: 0A2A8541C015FCCF Time : 0.0 sec. user=mdettweiler [2013-01-27 02:47:17] 619*2^1240023-1 is not prime. Res64: 482E2FEAF5FEF4D3 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:47:19] 661*2^1240023-1 is not prime. Res64: 6FD182CC9295E452 Time : 0.0 sec. user=juhehe [2013-01-27 02:48:44] 893*2^1240022-1 is not prime. Res64: 999C54747C78CFAF Time : 0.0 sec. user=mdettweiler [2013-01-27 02:53:25] 723*2^1240023-1 is not prime. Res64: ED9D78DF279AABA2 Time : 0.0 sec. user=mdettweiler [2013-01-27 02:53:26] 745*2^1240023-1 is not prime. Res64: C4441F4F080B57E9 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:04:51] 921*2^1240023-1 is not prime. Res64: AEC02089FBA92168 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:04:53] 951*2^1240023-1 is not prime. Res64: DDBFCC268C424A5F Time : 0.0 sec. user=mdettweiler [2013-01-27 03:11:02] 825*2^1240024-1 is not prime. Res64: E300409B139AAE7F Time : 0.0 sec. user=mdettweiler [2013-01-27 03:11:02] 917*2^1240024-1 is not prime. Res64: 44D1D8743AA9E6AE Time : 0.0 sec. user=vaughan [2013-01-27 03:18:27] 805*2^1240023-1 is not prime. Res64: ACFFEDCE12EBEF98 Time : 0.0 sec. user=juhehe [2013-01-27 03:22:07] 615*2^1240024-1 is not prime. Res64: E4ED8B580B05FF79 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:22:18] 927*2^1240024-1 is not prime. Res64: BAC2F1E85BDCB5D7 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:22:19] 983*2^1240024-1 is not prime. Res64: E9EBF5657E7BBBFC Time : 0.0 sec. user=mdettweiler [2013-01-27 03:28:28] 717*2^1240025-1 is not prime. Res64: 455513D29FFC3456 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:28:28] 867*2^1240025-1 is not prime. Res64: 8F31252FAD57B950 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:39:40] 949*2^1240025-1 is not prime. Res64: 7C22C68E8A5DB232 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:39:41] 955*2^1240025-1 is not prime. Res64: D501C14BEFDC2107 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:45:48] 981*2^1240025-1 is not prime. Res64: 55C6562A17009FD4 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:45:49] 615*2^1240026-1 is not prime. Res64: E8D478FF826F7D6C Time : 0.0 sec. user=juhehe [2013-01-27 03:55:30] 907*2^1240025-1 is not prime. Res64: 99C9AC9A9666272E Time : 0.0 sec. user=vaughan [2013-01-27 03:56:22] 885*2^1240025-1 is not prime. Res64: 6258ED0D650F7567 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:57:09] 725*2^1240026-1 is not prime. Res64: 540CB2A0870281E2 Time : 0.0 sec. user=mdettweiler [2013-01-27 03:57:09] 735*2^1240026-1 is not prime. Res64: B62113EFB8139375 Time : 0.0 sec. user=gd_barnes [2013-01-27 04:00:39] 653*2^1240026-1 is not prime. Res64: 1C0EC3CEEEA53C7C Time : 0.0 sec. user=mdettweiler [2013-01-27 04:03:10] 777*2^1240026-1 is not prime. Res64: BE6EF0E09D74E54E Time : 0.0 sec. user=mdettweiler [2013-01-27 04:03:11] 861*2^1240026-1 is not prime. Res64: 85CC63320C51FF3D Time : 0.0 sec. user=gd_barnes [2013-01-27 04:05:51] 641*2^1240026-1 is not prime. Res64: 5B6C570141CDA3C8 Time : 0.0 sec. user=gd_barnes [2013-01-27 04:10:22] 713*2^1240026-1 is not prime. Res64: B5F272E37307E192 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:14:29] 903*2^1240026-1 is not prime. Res64: 6259C7566B5606F8 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:14:30] 905*2^1240026-1 is not prime. Res64: 22D8DA53FDFCF0EC Time : 0.0 sec. user=gd_barnes [2013-01-27 04:14:54] 671*2^1240026-1 is not prime. Res64: 79AB738E5BBF2763 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:20:41] 941*2^1240026-1 is not prime. Res64: A43288E3077312CC Time : 0.0 sec. user=mdettweiler [2013-01-27 04:20:42] 945*2^1240026-1 is not prime. Res64: 602BA20E281658B6 Time : 0.0 sec. user=juhehe [2013-01-27 04:28:50] 875*2^1240026-1 is not prime. Res64: B85821A10B6EE523 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:31:59] 947*2^1240026-1 is not prime. Res64: D80E7A57363C1E52 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:32:01] 603*2^1240027-1 is not prime. Res64: 08A58019903C388A Time : 0.0 sec. user=vaughan [2013-01-27 04:34:15] 881*2^1240026-1 is not prime. Res64: A79DAED1088E8C5F Time : 0.0 sec. user=mdettweiler [2013-01-27 04:38:16] 673*2^1240027-1 is not prime. Res64: E082574E10002897 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:38:17] 733*2^1240027-1 is not prime. Res64: 30A78DCE77A0DE15 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:49:24] 973*2^1240027-1 is not prime. Res64: EAE9CF1400D12D76 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:49:24] 665*2^1240028-1 is not prime. Res64: 2CB608F340C211F0 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:55:50] 759*2^1240028-1 is not prime. Res64: 42F53A5CAE8D99A7 Time : 0.0 sec. user=mdettweiler [2013-01-27 04:55:51] 845*2^1240028-1 is not prime. Res64: 10D4B75113AFF75B Time : 0.0 sec. user=juhehe [2013-01-27 05:02:17] 741*2^1240027-1 is not prime. Res64: 8EC3A5AC5EF0ACF2 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:06:45] 995*2^1240028-1 is not prime. Res64: 96D942536ABE6305 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:06:47] 769*2^1240029-1 is not prime. Res64: C06B5AB5AB896BD8 Time : 0.0 sec. user=vaughan [2013-01-27 05:12:10] 753*2^1240028-1 is not prime. Res64: 138BC7DE14880515 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:13:12] 825*2^1240029-1 is not prime. Res64: 27153B48549BEED2 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:13:12] 831*2^1240029-1 is not prime. Res64: 7671A7CC2B0C5997 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:24:11] 891*2^1240029-1 is not prime. Res64: BFCF9D869F7A6BE0 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:24:12] 951*2^1240029-1 is not prime. Res64: 8072D9D15B5D7E89 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:30:35] 741*2^1240030-1 is not prime. Res64: 009A20D2A402F69A Time : 0.0 sec. user=mdettweiler [2013-01-27 05:30:36] 755*2^1240030-1 is not prime. Res64: A3F4628137349796 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:41:33] 785*2^1240030-1 is not prime. Res64: 960DA9999C14B8DF Time : 0.0 sec. user=mdettweiler [2013-01-27 05:41:33] 615*2^1240031-1 is not prime. Res64: D1947864829172C9 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:47:59] 645*2^1240031-1 is not prime. Res64: 6B9C855E4C22A0EF Time : 0.0 sec. user=mdettweiler [2013-01-27 05:48:01] 669*2^1240031-1 is not prime. Res64: 88536B7640A9ABAF Time : 0.0 sec. user=vaughan [2013-01-27 05:50:13] 707*2^1240030-1 is not prime. Res64: B6B6FD7CECA0CA4B Time : 0.0 sec. user=mdettweiler [2013-01-27 05:58:54] 753*2^1240031-1 is not prime. Res64: 322365442AFD1600 Time : 0.0 sec. user=mdettweiler [2013-01-27 05:58:55] 781*2^1240031-1 is not prime. Res64: BFCED66677BF0B9D Time : 0.0 sec. user=mdettweiler [2013-01-27 06:05:22] 943*2^1240031-1 is not prime. Res64: 2267A7706C06F708 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:05:23] 969*2^1240031-1 is not prime. Res64: CA5FE3C91B65265F Time : 0.0 sec. user=juhehe [2013-01-27 06:07:19] 705*2^1240031-1 is not prime. Res64: 604CA5194D15ED7B Time : 0.0 sec. user=mdettweiler [2013-01-27 06:16:15] 657*2^1240032-1 is not prime. Res64: 218993C480AAFBDD Time : 0.0 sec. user=mdettweiler [2013-01-27 06:16:16] 815*2^1240032-1 is not prime. Res64: 0734DC8C15811541 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:22:51] 819*2^1240032-1 is not prime. Res64: 8E00867D9BCFABE2 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:22:52] 849*2^1240032-1 is not prime. Res64: F4FBD1A5985FD131 Time : 0.0 sec. user=vaughan [2013-01-27 06:28:06] 605*2^1240032-1 is not prime. Res64: DB3DAEA68E35515B Time : 0.0 sec. user=mdettweiler [2013-01-27 06:33:37] 923*2^1240032-1 is not prime. Res64: 7FE45CACAB665FD9 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:33:37] 679*2^1240033-1 is not prime. Res64: D312E6C4B7C3AF08 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:40:14] 685*2^1240033-1 is not prime. Res64: 97D3A1F110D7213A Time : 0.0 sec. user=mdettweiler [2013-01-27 06:40:15] 687*2^1240033-1 is not prime. Res64: 9EA3B3BD6FAC5637 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:50:58] 817*2^1240033-1 is not prime. Res64: 2FEF04D99C9A1AFF Time : 0.0 sec. user=mdettweiler [2013-01-27 06:50:59] 861*2^1240033-1 is not prime. Res64: 592691266CA5D0C9 Time : 0.0 sec. user=mdettweiler [2013-01-27 06:57:36] 615*2^1240034-1 is not prime. Res64: 41A8BB3B1E8EDECD Time : 0.0 sec. user=mdettweiler [2013-01-27 06:57:36] 633*2^1240034-1 is not prime. Res64: 454C885259B1DF4E Time : 0.0 sec. user=vaughan [2013-01-27 07:06:00] 721*2^1240033-1 is not prime. Res64: CF0F37CD837AFB93 Time : 0.0 sec. user=mdettweiler [2013-01-27 07:08:19] 635*2^1240034-1 is not prime. Res64: 15D4A1B6C40E0A74 Time : 0.0 sec. user=mdettweiler [2013-01-27 07:08:20] 651*2^1240034-1 is not prime. Res64: 587332905C8EDAFA Time : 0.0 sec. user=mdettweiler [2013-01-27 07:14:56] 731*2^1240034-1 is not prime. Res64: 36BFD2FE735BEF75 Time : 0.0 sec. user=mdettweiler [2013-01-27 07:14:57] 675*2^1240035-1 is not prime. Res64: F491531E40E487BC Time : 0.0 sec. user=mdettweiler [2013-01-27 07:25:42] 709*2^1240035-1 is not prime. Res64: 8A54E17965471044 Time : 0.0 sec. user=mdettweiler [2013-01-27 07:25:42] 735*2^1240035-1 is not prime. Res64: 3A08C6061A8ECD70 Time : 0.0 sec. user=mdettweiler [2013-01-27 07:32:18] 853*2^1240035-1 is not prime. Res64: 69C457C99953FD1B Time : 0.0 sec. user=mdettweiler [2013-01-27 07:32:19] 943*2^1240035-1 is not prime. Res64: B94C4CC128203ADC Time : 0.0 sec. user=mdettweiler [2013-01-27 07:43:03] 949*2^1240035-1 is not prime. Res64: FE35039AC280515F Time : 0.0 sec. user=mdettweiler [2013-01-27 07:43:04] 985*2^1240035-1 is not prime. Res64: B583DDE1D2CB3D7E Time : 0.0 sec. user=juhehe [2013-01-27 07:43:46] 781*2^1240035-1 is not prime. Res64: E0B88851A961BF56 Time : 0.0 sec. user=vaughan [2013-01-27 07:43:57] 691*2^1240035-1 is not prime. Res64: 3496F1F7B2E9035F Time : 0.0 sec. user=mdettweiler [2013-01-27 07:49:39] 615*2^1240036-1 is not prime. Res64: AA0CA847B869169A Time : 0.0 sec. user=mdettweiler [2013-01-27 07:49:40] 629*2^1240036-1 is not prime. Res64: 83C736D0564F39D3 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:00:24] 695*2^1240036-1 is not prime. Res64: A142EB9393E06D58 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:00:25] 939*2^1240036-1 is not prime. Res64: E7E7452C89C5E580 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:07:02] 607*2^1240037-1 is not prime. Res64: 61BBDED55A50AF78 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:07:03] 675*2^1240037-1 is not prime. Res64: E302E22C6EE15ABF Time : 0.0 sec. user=mdettweiler [2013-01-27 08:17:55] 901*2^1240037-1 is not prime. Res64: 61DA3C9FB5D30650 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:17:56] 937*2^1240037-1 is not prime. Res64: 631FF23D95574FA9 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:24:27] 605*2^1240038-1 is not prime. Res64: 55CD64B15A32EEF9 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:24:28] 677*2^1240038-1 is not prime. Res64: 9BB9D02982BE4F29 Time : 0.0 sec. user=vaughan [2013-01-27 08:25:20] 989*2^1240036-1 is not prime. Res64: 43EAC76370CDD307 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:35:17] 681*2^1240038-1 is not prime. Res64: 9F7EE17994E3B064 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:35:18] 791*2^1240038-1 is not prime. Res64: 5CD8CE27AB8FC3C1 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:41:51] 825*2^1240038-1 is not prime. Res64: D498FC35F69B1859 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:41:51] 867*2^1240038-1 is not prime. Res64: 8F85383C593FC32D Time : 0.0 sec. user=mdettweiler [2013-01-27 08:52:38] 975*2^1240038-1 is not prime. Res64: 96A5E0029ADA86BC Time : 0.0 sec. user=mdettweiler [2013-01-27 08:52:39] 661*2^1240039-1 is not prime. Res64: 6D52450B5AA1A764 Time : 0.0 sec. user=mdettweiler [2013-01-27 08:59:13] 859*2^1240039-1 is not prime. Res64: 0C16FB11FC8EC7AC Time : 0.0 sec. user=mdettweiler [2013-01-27 08:59:13] 861*2^1240039-1 is not prime. Res64: DF229CF594DA90D4 Time : 0.0 sec. user=vaughan [2013-01-27 09:03:12] 893*2^1240038-1 is not prime. Res64: A5A6BADCABD20DC9 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:10:00] 891*2^1240039-1 is not prime. Res64: A30B8F132629AE9F Time : 0.0 sec. user=mdettweiler [2013-01-27 09:10:01] 633*2^1240040-1 is not prime. Res64: 37A3CD7745ECB155 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:16:37] 635*2^1240040-1 is not prime. Res64: 257E6A18CA4038AB Time : 0.0 sec. user=mdettweiler [2013-01-27 09:16:38] 753*2^1240040-1 is not prime. Res64: 9EEE5AF5C02F7D41 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:27:23] 839*2^1240040-1 is not prime. Res64: A850662A3D75828C Time : 0.0 sec. user=mdettweiler [2013-01-27 09:27:24] 983*2^1240040-1 is not prime. Res64: 547006DE74E92C78 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:34:03] 661*2^1240041-1 is not prime. Res64: 57DAE1F4417D362A Time : 0.0 sec. user=mdettweiler [2013-01-27 09:34:04] 745*2^1240041-1 is not prime. Res64: E2C80EDB643A7DA2 Time : 0.0 sec. user=vaughan [2013-01-27 09:41:08] 789*2^1240040-1 is not prime. Res64: 773F19DB72BCA9C5 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:44:47] 777*2^1240041-1 is not prime. Res64: 3B72CF8A38D0F6B4 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:44:48] 795*2^1240041-1 is not prime. Res64: 78C492547D09050A Time : 0.0 sec. user=mdettweiler [2013-01-27 09:51:24] 901*2^1240041-1 is not prime. Res64: A19B5D9603FAF531 Time : 0.0 sec. user=mdettweiler [2013-01-27 09:51:25] 949*2^1240041-1 is not prime. Res64: CD34D992D057FCD9 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:02:08] 987*2^1240041-1 is not prime. Res64: ACBC80A51CD8CCB8 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:02:09] 991*2^1240041-1 is not prime. Res64: 2374EE8641BF6533 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:08:46] 623*2^1240042-1 is not prime. Res64: E0A4B10A63E65130 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:08:48] 765*2^1240042-1 is not prime. Res64: C9A85207D26ED86F Time : 0.0 sec. user=vaughan [2013-01-27 10:19:01] 969*2^1240041-1 is not prime. Res64: 9374AA459319BC45 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:19:37] 813*2^1240042-1 is not prime. Res64: 9F901CE4A60DC15D Time : 0.0 sec. user=mdettweiler [2013-01-27 10:19:37] 827*2^1240042-1 is not prime. Res64: 552507E69FD3E2C7 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:26:16] 843*2^1240042-1 is not prime. Res64: FB1083A7A6DE98FF Time : 0.0 sec. user=mdettweiler [2013-01-27 10:26:16] 885*2^1240042-1 is not prime. Res64: E4FE6F945C89D241 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:36:59] 917*2^1240042-1 is not prime. Res64: 82279F0DE1A5C0B1 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:36:59] 609*2^1240043-1 is not prime. Res64: 16FFA8AB28A37C01 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:43:37] 621*2^1240043-1 is not prime. Res64: 98B6DDE564EC6925 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:43:37] 675*2^1240043-1 is not prime. Res64: 4767AFA84E9ED372 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:54:21] 679*2^1240043-1 is not prime. Res64: 9CB0F96EDAEF1853 Time : 0.0 sec. user=mdettweiler [2013-01-27 10:54:21] 759*2^1240043-1 is not prime. Res64: CA25A9190A05CFD0 Time : 0.0 sec. user=vaughan [2013-01-27 10:56:56] 887*2^1240042-1 is not prime. Res64: 80E3DE15D018308E Time : 0.0 sec. user=juhehe [2013-01-27 10:57:10] 883*2^1240039-1 is not prime. Res64: 3123DC1F1A72B473 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:00:59] 813*2^1240043-1 is not prime. Res64: 230178FBF4270AE5 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:01:01] 885*2^1240043-1 is not prime. Res64: B1DADDA41544CFB2 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:11:41] 913*2^1240043-1 is not prime. Res64: 80F66C6506D1A663 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:11:42] 639*2^1240044-1 is not prime. Res64: 792FB7708D187D96 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:18:38] 723*2^1240044-1 is not prime. Res64: A5F08831409FA3E5 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:18:39] 753*2^1240044-1 is not prime. Res64: 5FFCB3120FA38B52 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:29:09] 843*2^1240044-1 is not prime. Res64: 7CCF6C27AC7E226C Time : 0.0 sec. user=mdettweiler [2013-01-27 11:29:09] 857*2^1240044-1 is not prime. Res64: B20CEA8DA246E8D1 Time : 0.0 sec. user=vaughan [2013-01-27 11:34:53] 683*2^1240044-1 is not prime. Res64: 69D77DAFE1E1C86F Time : 0.0 sec. user=mdettweiler [2013-01-27 11:36:03] 863*2^1240044-1 is not prime. Res64: BD7654F9371CAEC1 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:36:03] 887*2^1240044-1 is not prime. Res64: 8BA3D28A7A1BFB86 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:46:30] 909*2^1240044-1 is not prime. Res64: 1D11B16FFA454116 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:46:31] 947*2^1240044-1 is not prime. Res64: 692CCAD91B564CA1 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:53:24] 607*2^1240045-1 is not prime. Res64: 4BC16DF1D1970AA2 Time : 0.0 sec. user=mdettweiler [2013-01-27 11:53:24] 651*2^1240045-1 is not prime. Res64: 89FE1FE57F466907 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:03:52] 717*2^1240045-1 is not prime. Res64: 4C6A019F77EAD5C5 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:03:55] 721*2^1240045-1 is not prime. Res64: 86B06F28EA448E6C Time : 0.0 sec. user=mdettweiler [2013-01-27 12:10:46] 777*2^1240045-1 is not prime. Res64: F6859D7815604140 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:10:46] 825*2^1240045-1 is not prime. Res64: 5143DCE329E51675 Time : 0.0 sec. user=vaughan [2013-01-27 12:12:50] 959*2^1240044-1 is not prime. Res64: CA9855A957C8BB56 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:21:26] 919*2^1240045-1 is not prime. Res64: 44C715BBBB80C8CB Time : 0.0 sec. user=mdettweiler [2013-01-27 12:21:26] 603*2^1240046-1 is not prime. Res64: B6892E11623513F0 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:28:28] 627*2^1240046-1 is not prime. Res64: F6A9BE1F402BD2E0 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:28:29] 675*2^1240046-1 is not prime. Res64: 908639379CB50A45 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:38:57] 741*2^1240046-1 is not prime. Res64: 7400497FF1E10EAA Time : 0.0 sec. user=mdettweiler [2013-01-27 12:38:58] 785*2^1240046-1 is not prime. Res64: A08A952C4BF654B1 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:46:00] 851*2^1240046-1 is not prime. Res64: 9D6A9E6E4F388CF4 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:46:00] 651*2^1240047-1 is not prime. Res64: F7C0743B7FA5825C Time : 0.0 sec. user=vaughan [2013-01-27 12:50:44] 711*2^1240046-1 is not prime. Res64: 084846CC55F4905B Time : 0.0 sec. user=mdettweiler [2013-01-27 12:56:30] 793*2^1240047-1 is not prime. Res64: EE2B94C23A516473 Time : 0.0 sec. user=mdettweiler [2013-01-27 12:56:31] 859*2^1240047-1 is not prime. Res64: 350AF80B91C42714 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:03:31] 909*2^1240047-1 is not prime. Res64: FA5AC42F1041F4A7 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:03:32] 951*2^1240047-1 is not prime. Res64: 0C146DF6B7AC2993 Time : 0.0 sec. user=juhehe [2013-01-27 13:04:57] 675*2^1240047-1 is not prime. Res64: C1E750D0F46DC485 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:14:03] 629*2^1240048-1 is not prime. Res64: E2E42E13020CCFBD Time : 0.0 sec. user=mdettweiler [2013-01-27 13:14:03] 665*2^1240048-1 is not prime. Res64: F3B9EB5EBE80FAD9 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:21:09] 723*2^1240048-1 is not prime. Res64: 561B27B4B42AACEB Time : 0.0 sec. user=mdettweiler [2013-01-27 13:21:09] 773*2^1240048-1 is not prime. Res64: A1AF435BBAABB107 Time : 0.0 sec. user=vaughan [2013-01-27 13:28:36] 615*2^1240048-1 is not prime. Res64: 80258636C4E3F600 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:31:43] 813*2^1240048-1 is not prime. Res64: 75884339C164133C Time : 0.0 sec. user=mdettweiler [2013-01-27 13:31:43] 843*2^1240048-1 is not prime. Res64: 2C00D27C2F3DFFEA Time : 0.0 sec. user=mdettweiler [2013-01-27 13:38:54] 645*2^1240049-1 is not prime. Res64: F5CDB9E636EBB9C7 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:38:54] 649*2^1240049-1 is not prime. Res64: 5505B1FFCA06CCE4 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:49:27] 861*2^1240049-1 is not prime. Res64: 210FB9D7A3D8CFE5 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:49:27] 985*2^1240049-1 is not prime. Res64: 522B0D30D7630145 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:56:37] 633*2^1240050-1 is not prime. Res64: 1539F17C6831E8A8 Time : 0.0 sec. user=mdettweiler [2013-01-27 13:56:37] 755*2^1240050-1 is not prime. Res64: A2B00A968BE72A72 Time : 0.0 sec. user=vaughan [2013-01-27 14:06:31] 727*2^1240049-1 is not prime. Res64: 35F14D59F6245EA7 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:07:05] 765*2^1240050-1 is not prime. Res64: 888D3BB4648960F6 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:07:06] 801*2^1240050-1 is not prime. Res64: 8833699CD3727034 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:14:10] 803*2^1240050-1 is not prime. Res64: 3C0574B79E2CA05D Time : 0.0 sec. user=mdettweiler [2013-01-27 14:14:11] 821*2^1240050-1 is not prime. Res64: D76C701FEF361E2E Time : 0.0 sec. user=mdettweiler [2013-01-27 14:24:40] 923*2^1240050-1 is not prime. Res64: 1C9E980265962D4E Time : 0.0 sec. user=mdettweiler [2013-01-27 14:24:40] 745*2^1240051-1 is not prime. Res64: C3903136470F9C3A Time : 0.0 sec. user=mdettweiler [2013-01-27 14:31:48] 665*2^1240052-1 is not prime. Res64: 5534B39A2FA1F2F9 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:31:48] 687*2^1240052-1 is not prime. Res64: D76F60229A445168 Time : 0.0 sec. user=juhehe [2013-01-27 14:41:44] 775*2^1240051-1 is not prime. Res64: D875E49131BBCAC0 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:42:22] 827*2^1240052-1 is not prime. Res64: 2655AEE46C1A4ABC Time : 0.0 sec. user=mdettweiler [2013-01-27 14:42:22] 843*2^1240052-1 is not prime. Res64: CD077869BD5998AD Time : 0.0 sec. user=vaughan [2013-01-27 14:44:41] 893*2^1240050-1 is not prime. Res64: 6C85D6952B5587F7 Time : 0.0 sec. user=mdettweiler [2013-01-27 14:49:28] 899*2^1240052-1 is not prime. Res64: 509A842796A7DA5C Time : 0.0 sec. user=mdettweiler [2013-01-27 14:49:28] 999*2^1240052-1 is not prime. Res64: 63D38E15292FC67B Time : 0.0 sec. user=mdettweiler [2013-01-27 15:00:13] 625*2^1240053-1 is not prime. Res64: 2FC53C8E7D2D8AFB Time : 0.0 sec. user=mdettweiler [2013-01-27 15:00:17] 675*2^1240053-1 is not prime. Res64: 02D156C616F99155 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:07:29] 699*2^1240053-1 is not prime. Res64: 3B3BAC20E903BD3E Time : 0.0 sec. user=mdettweiler [2013-01-27 15:07:31] 759*2^1240053-1 is not prime. Res64: E630363A23CC5626 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:18:26] 877*2^1240053-1 is not prime. Res64: 48A6A5798051B8EE Time : 0.0 sec. user=mdettweiler [2013-01-27 15:18:26] 915*2^1240053-1 is not prime. Res64: 2343D9BFC17516DA Time : 0.0 sec. user=vaughan [2013-01-27 15:22:34] 691*2^1240053-1 is not prime. Res64: C4D1A87EA721C177 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:25:51] 979*2^1240053-1 is not prime. Res64: 12BD36A28FA9A726 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:25:51] 605*2^1240054-1 is not prime. Res64: 5416BD440C70B8B9 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:36:26] 623*2^1240054-1 is not prime. Res64: D08F2497E2EE2CCB Time : 0.0 sec. user=mdettweiler [2013-01-27 15:36:27] 645*2^1240054-1 is not prime. Res64: F8EC6926FBBF41FE Time : 0.0 sec. user=mdettweiler [2013-01-27 15:43:47] 687*2^1240054-1 is not prime. Res64: 4699241D78C2D120 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:43:48] 731*2^1240054-1 is not prime. Res64: 631310B6C44F0237 Time : 0.0 sec. user=mdettweiler [2013-01-27 15:54:21] 891*2^1240054-1 is not prime. Res64: 18F0D3B03825853B Time : 0.0 sec. user=mdettweiler [2013-01-27 15:54:21] 1001*2^1240054-1 is not prime. Res64: 577103B5C701B216 Time : 0.0 sec. user=vaughan [2013-01-27 16:00:30] 681*2^1240054-1 is not prime. Res64: 2A229370CFB7B560 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:01:45] 603*2^1240055-1 is not prime. Res64: 752B620CEC748552 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:01:47] 679*2^1240055-1 is not prime. Res64: 2BEBBF0D6261CCA1 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:12:18] 883*2^1240055-1 is not prime. Res64: 4BA50E3F9BB79097 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:12:19] 913*2^1240055-1 is not prime. Res64: 8399C2BBBE067F9A Time : 0.0 sec. user=mdettweiler [2013-01-27 16:19:44] 963*2^1240055-1 is not prime. Res64: 020D5DD84167F82A Time : 0.0 sec. user=mdettweiler [2013-01-27 16:19:45] 653*2^1240056-1 is not prime. Res64: 125551921768B461 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:30:18] 725*2^1240056-1 is not prime. Res64: 3506B205F498F684 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:30:19] 765*2^1240056-1 is not prime. Res64: 7145C5A52F3D77EE Time : 0.0 sec. user=mdettweiler [2013-01-27 16:37:42] 615*2^1240057-1 is not prime. Res64: 04BDEFF668A71B03 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:37:43] 651*2^1240057-1 is not prime. Res64: 0F3C5535154F0C72 Time : 0.0 sec. user=vaughan [2013-01-27 16:38:36] 949*2^1240055-1 is not prime. Res64: 076B8F2D30EEB6E8 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:48:15] 661*2^1240057-1 is not prime. Res64: 07119DB4313E50DD Time : 0.0 sec. user=mdettweiler [2013-01-27 16:48:15] 667*2^1240057-1 is not prime. Res64: 38D586C03C08BCE9 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:55:34] 835*2^1240057-1 is not prime. Res64: 322F0C49D0766DB7 Time : 0.0 sec. user=mdettweiler [2013-01-27 16:55:34] 861*2^1240057-1 is not prime. Res64: F21F458971638AD2 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:05:49] 687*2^1240058-1 is not prime. Res64: 3E8223F243C60BA3 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:05:50] 713*2^1240058-1 is not prime. Res64: 27258F8B42254E77 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:13:01] 767*2^1240058-1 is not prime. Res64: 2F0BD26460EE2623 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:13:01] 827*2^1240058-1 is not prime. Res64: 6208A88872F5B4DC Time : 0.0 sec. user=vaughan [2013-01-27 17:16:34] 931*2^1240057-1 is not prime. Res64: B9B251C324DD5CBD Time : 0.0 sec. user=mdettweiler [2013-01-27 17:23:30] 887*2^1240058-1 is not prime. Res64: AC13D61FF336BDE4 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:23:31] 911*2^1240058-1 is not prime. Res64: 0D8EED4E1BAD8ABD Time : 0.0 sec. user=mdettweiler [2013-01-27 17:30:36] 935*2^1240058-1 is not prime. Res64: 45A2C6515C001D9C Time : 0.0 sec. user=mdettweiler [2013-01-27 17:30:37] 941*2^1240058-1 is not prime. Res64: D5F832C7099229D1 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:41:05] 995*2^1240058-1 is not prime. Res64: 39E1AC6D38F55F6F Time : 0.0 sec. user=mdettweiler [2013-01-27 17:41:05] 1001*2^1240058-1 is not prime. Res64: 87EF11F7F336F6EB Time : 0.0 sec. user=mdettweiler [2013-01-27 17:48:09] 609*2^1240059-1 is not prime. Res64: 4E1008238F41D6E0 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:48:10] 615*2^1240059-1 is not prime. Res64: 3475169AA491A594 Time : 0.0 sec. user=vaughan [2013-01-27 17:54:25] 971*2^1240058-1 is not prime. Res64: 0074D8D47B0E12CA Time : 0.0 sec. user=mdettweiler [2013-01-27 17:58:34] 625*2^1240059-1 is not prime. Res64: 9BAAE6E556A67476 Time : 0.0 sec. user=mdettweiler [2013-01-27 17:58:35] 685*2^1240059-1 is not prime. Res64: C25C6C7550631402 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:05:43] 741*2^1240059-1 is not prime. Res64: 65E42C609314C7F3 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:05:43] 903*2^1240059-1 is not prime. Res64: 5A4722B9457D659D Time : 0.0 sec. user=mdettweiler [2013-01-27 18:16:28] 919*2^1240059-1 is not prime. Res64: 98E607CAA17F9B7B Time : 0.0 sec. user=mdettweiler [2013-01-27 18:16:28] 955*2^1240059-1 is not prime. Res64: 70C1B8C05F266CD0 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:23:50] 603*2^1240060-1 is not prime. Res64: 8DF8FDAAC00B386D Time : 0.0 sec. user=mdettweiler [2013-01-27 18:23:50] 623*2^1240060-1 is not prime. Res64: 4C80414CFE9DB441 Time : 0.0 sec. user=vaughan [2013-01-27 18:32:19] 909*2^1240059-1 is not prime. Res64: DA9849A467AE2F1A Time : 0.0 sec. user=mdettweiler [2013-01-27 18:34:25] 647*2^1240060-1 is not prime. Res64: 962795FD4FD2B2D9 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:34:25] 693*2^1240060-1 is not prime. Res64: FB58F81312647E5B Time : 0.0 sec. user=mdettweiler [2013-01-27 18:42:21] 719*2^1240060-1 is not prime. Res64: FB6F2FB0A1CD2CE4 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:42:21] 855*2^1240060-1 is not prime. Res64: 44E0735A195E0842 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:52:26] 875*2^1240060-1 is not prime. Res64: FC1D54DB999FC514 Time : 0.0 sec. user=mdettweiler [2013-01-27 18:52:26] 887*2^1240060-1 is not prime. Res64: 3561D6D2919BD52F Time : 0.0 sec. user=mdettweiler [2013-01-27 19:00:17] 983*2^1240060-1 is not prime. Res64: ED66FF4DDD18D494 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:00:18] 619*2^1240061-1 is not prime. Res64: DACAB64E8D0CEC55 Time : 0.0 sec. user=vaughan [2013-01-27 19:10:14] 873*2^1240060-1 is not prime. Res64: 10F8EF6450031FAC Time : 0.0 sec. user=mdettweiler [2013-01-27 19:10:21] 657*2^1240061-1 is not prime. Res64: 093AA1FB1FABA7F6 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:10:22] 775*2^1240061-1 is not prime. Res64: A320EF25B9B66E5C Time : 0.0 sec. user=mdettweiler [2013-01-27 19:18:19] 781*2^1240061-1 is not prime. Res64: AD76D835C3446264 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:18:20] 967*2^1240061-1 is not prime. Res64: AB6F9B0FE6F69455 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:28:22] 705*2^1240062-1 is not prime. Res64: C5B1F198E1CA2E43 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:28:23] 717*2^1240062-1 is not prime. Res64: 64C38830A7A9DAF6 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:36:23] 723*2^1240062-1 is not prime. Res64: C61F256FDEE91D16 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:36:24] 755*2^1240062-1 is not prime. Res64: 2529F05F29CCBAF5 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:46:06] 815*2^1240062-1 is not prime. Res64: 24C1259880F78060 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:46:06] 873*2^1240062-1 is not prime. Res64: 51003159C1C30127 Time : 0.0 sec. user=vaughan [2013-01-27 19:48:09] 651*2^1240062-1 is not prime. Res64: 57B3C12658D79200 Time : 0.0 sec. user=mdettweiler [2013-01-27 19:53:49] 941*2^1240062-1 is not prime. Res64: DB5150275513D73E Time : 0.0 sec. user=mdettweiler [2013-01-27 19:53:50] 965*2^1240062-1 is not prime. Res64: E485C5A604FE9D0E Time : 0.0 sec. user=mdettweiler [2013-01-27 20:03:31] 977*2^1240062-1 is not prime. Res64: 62801BF82EA85A52 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:03:32] 649*2^1240063-1 is not prime. Res64: 529CF699CEAED47F Time : 0.0 sec. user=mdettweiler [2013-01-27 20:11:13] 861*2^1240063-1 is not prime. Res64: BB602EE128167C65 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:11:14] 871*2^1240063-1 is not prime. Res64: 99012252E9465791 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:21:11] 873*2^1240063-1 is not prime. Res64: 50FD43AE654E9EE0 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:21:11] 919*2^1240063-1 is not prime. Res64: EC40474ABECB8724 Time : 0.0 sec. user=vaughan [2013-01-27 20:26:04] 805*2^1240063-1 is not prime. Res64: 752721B029ABE092 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:28:38] 993*2^1240063-1 is not prime. Res64: F1412965E67D863B Time : 0.0 sec. user=mdettweiler [2013-01-27 20:28:39] 635*2^1240064-1 is not prime. Res64: C1BF61224F72006D Time : 0.0 sec. user=mdettweiler [2013-01-27 20:38:35] 753*2^1240064-1 is not prime. Res64: B3E7315E847C1503 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:38:36] 923*2^1240064-1 is not prime. Res64: 91A38C3350DCC721 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:46:05] 741*2^1240065-1 is not prime. Res64: 6120543F8F6C2EB8 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:46:05] 819*2^1240065-1 is not prime. Res64: 64B2AEC52D782829 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:56:03] 831*2^1240065-1 is not prime. Res64: 8BBECA8E57CC2559 Time : 0.0 sec. user=mdettweiler [2013-01-27 20:56:03] 889*2^1240065-1 is not prime. Res64: 1F46FE760B2DAED8 Time : 0.0 sec. user=juhehe [2013-01-27 21:00:24] 675*2^1240065-1 is not prime. Res64: F5E419142B225C07 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:03:34] 915*2^1240065-1 is not prime. Res64: 9BBEF785EFF2FE44 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:03:36] 919*2^1240065-1 is not prime. Res64: 2A065146A698DDD2 Time : 0.0 sec. user=vaughan [2013-01-27 21:03:56] 959*2^1240064-1 is not prime. Res64: F455AB0B5FF87A2C Time : 0.0 sec. user=mdettweiler [2013-01-27 21:13:33] 921*2^1240065-1 is not prime. Res64: 2A004D2B7B3BEBFB Time : 0.0 sec. user=mdettweiler [2013-01-27 21:13:34] 741*2^1240066-1 is not prime. Res64: A197C9B7847D1085 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:21:07] 873*2^1240066-1 is not prime. Res64: 0BEF0DB721040B59 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:21:08] 941*2^1240066-1 is not prime. Res64: DEB980CF327998F4 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:31:11] 685*2^1240067-1 is not prime. Res64: A42413A3C9D2D0FF Time : 0.0 sec. user=mdettweiler [2013-01-27 21:31:11] 735*2^1240067-1 is not prime. Res64: FB2A9E8C360A5668 Time : 0.0 sec. user=juhehe [2013-01-27 21:33:52] 825*2^1240066-1 is not prime. Res64: 2C5DAC63853CBCF5 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:38:35] 819*2^1240067-1 is not prime. Res64: 8A10E6B68A596F95 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:38:36] 913*2^1240067-1 is not prime. Res64: A5CCD5125B374D22 Time : 0.0 sec. user=vaughan [2013-01-27 21:41:50] 615*2^1240067-1 is not prime. Res64: 6B86118E21139FCA Time : 0.0 sec. user=mdettweiler [2013-01-27 21:48:46] 657*2^1240068-1 is not prime. Res64: 6E56E40BDF77B1FF Time : 0.0 sec. user=mdettweiler [2013-01-27 21:48:46] 707*2^1240068-1 is not prime. Res64: 0FEA86DB2AB7AA70 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:56:11] 789*2^1240068-1 is not prime. Res64: 276CBE6532CBB0F3 Time : 0.0 sec. user=mdettweiler [2013-01-27 21:56:12] 909*2^1240068-1 is not prime. Res64: E917E13B860ACFF7 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:06:11] 987*2^1240068-1 is not prime. Res64: D492DD7F75475BBF Time : 0.0 sec. user=mdettweiler [2013-01-27 22:06:13] 685*2^1240069-1 is not prime. Res64: CEE1FE180323ABD1 Time : 0.0 sec. user=juhehe [2013-01-27 22:07:15] 759*2^1240068-1 is not prime. Res64: 6FCB47043C5CAC91 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:13:38] 721*2^1240069-1 is not prime. Res64: 4AD8D96E8BB8E7B2 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:13:42] 751*2^1240069-1 is not prime. Res64: 1E787EE7CE483319 Time : 0.0 sec. user=vaughan [2013-01-27 22:19:44] 975*2^1240068-1 is not prime. Res64: 965ABF4B8AF9F0E4 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:23:45] 757*2^1240069-1 is not prime. Res64: C569035E4D47E563 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:23:45] 759*2^1240069-1 is not prime. Res64: F5899D6CA6165544 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:31:33] 603*2^1240070-1 is not prime. Res64: 253ADD5465C3C014 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:31:34] 707*2^1240070-1 is not prime. Res64: 6E480683C72FEDB3 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:41:10] 797*2^1240070-1 is not prime. Res64: E125736FDFF76B22 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:41:10] 857*2^1240070-1 is not prime. Res64: B0FD834F65FAA5D8 Time : 0.0 sec. user=juhehe [2013-01-27 22:46:05] 999*2^1240069-1 is not prime. Res64: D039A48B7F8B5F68 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:48:58] 893*2^1240070-1 is not prime. Res64: 093C205AEFB1F715 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:48:58] 977*2^1240070-1 is not prime. Res64: 7B5CCD1FEE057A25 Time : 0.0 sec. user=vaughan [2013-01-27 22:57:40] 731*2^1240070-1 is not prime. Res64: 8431F45AEF15FEE0 Time : 0.0 sec. user=mdettweiler [2013-01-27 22:58:34] 709*2^1240071-1 is not prime. Res64: 3AC6055746A21F8E Time : 0.0 sec. user=mdettweiler [2013-01-27 22:58:35] 783*2^1240071-1 is not prime. Res64: 6E8B1A2AA4EC9824 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:06:22] 931*2^1240071-1 is not prime. Res64: 8E2AC3DAB4C615F0 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:06:23] 961*2^1240071-1 is not prime. Res64: 7883E5F243A3372A Time : 0.0 sec. user=mdettweiler [2013-01-27 23:15:59] 833*2^1240072-1 is not prime. Res64: 7E11E21A2482FD23 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:16:01] 915*2^1240072-1 is not prime. Res64: 85C2ACAC82025633 Time : 0.0 sec. user=juhehe [2013-01-27 23:19:29] 885*2^1240071-1 is not prime. Res64: B95C2A6A9E0326BE Time : 0.0 sec. user=mdettweiler [2013-01-27 23:23:53] 975*2^1240072-1 is not prime. Res64: 2D418D63AEDE6C34 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:23:54] 649*2^1240073-1 is not prime. Res64: F1CB76E5964F9C90 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:33:50] 651*2^1240073-1 is not prime. Res64: 7A5342E8CDB27E85 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:33:50] 657*2^1240073-1 is not prime. Res64: 24523CF5F0E96C43 Time : 0.0 sec. user=vaughan [2013-01-27 23:35:34] 747*2^1240072-1 is not prime. Res64: 29F6BAF3C8D86663 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:41:55] 889*2^1240073-1 is not prime. Res64: 08C5E521D8DE536E Time : 0.0 sec. user=mdettweiler [2013-01-27 23:41:56] 957*2^1240073-1 is not prime. Res64: E0AC273FFFDFF7C4 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:51:29] 969*2^1240073-1 is not prime. Res64: C813645D239880AF Time : 0.0 sec. user=mdettweiler [2013-01-27 23:51:29] 615*2^1240074-1 is not prime. Res64: 64279511B87F3B66 Time : 0.0 sec. user=mdettweiler [2013-01-27 23:59:17] 711*2^1240074-1 is not prime. Res64: C952F1208C15995A Time : 0.0 sec. user=mdettweiler [2013-01-27 23:59:18] 993*2^1240074-1 is not prime. Res64: 6F7F8062B8E29ECE Time : 0.0 sec.