user=mdettweiler [2016-02-16 00:11:21] 615*2^1422101-1 is not prime. Res64: D43F68CB92654A63 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:11:22] 675*2^1422101-1 is not prime. Res64: B0CE622D380EF1F3 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:11:24] 905*2^1422100-1 is not prime. Res64: A88A2F214E2B45AC Time : 0.0 sec. user=mdettweiler [2016-02-16 00:11:24] 915*2^1422100-1 is not prime. Res64: 1B0A0988B2B774C5 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:18:24] 811*2^1422101-1 is not prime. Res64: 907528FDB249D7C5 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:18:24] 865*2^1422101-1 is not prime. Res64: 832D1313A72315E2 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:29:02] 889*2^1422101-1 is not prime. Res64: 4A5BC992756EAC88 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:29:02] 871*2^1422101-1 is not prime. Res64: 390D19502746241A Time : 0.0 sec. user=mdettweiler [2016-02-16 00:29:02] 621*2^1422102-1 is not prime. Res64: 03D5CD7C6C9A1705 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:29:03] 885*2^1422101-1 is not prime. Res64: 741FCD9EC4750AD7 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:36:00] 681*2^1422102-1 is not prime. Res64: 350FDBA7296E7FAD Time : 0.0 sec. user=mdettweiler [2016-02-16 00:36:01] 695*2^1422102-1 is not prime. Res64: E3796A0FD1923FA2 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:46:39] 619*2^1422103-1 is not prime. Res64: 75AECD11238A7A4C Time : 0.0 sec. user=mdettweiler [2016-02-16 00:46:39] 777*2^1422102-1 is not prime. Res64: 1873D5570C201BA0 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:46:39] 675*2^1422103-1 is not prime. Res64: 110355702BF4FF62 Time : 0.0 sec. user=mdettweiler [2016-02-16 00:46:39] 887*2^1422102-1 is not prime. Res64: 07D5B9F2475E79CC Time : 0.0 sec. user=mdettweiler [2016-02-16 00:53:36] 871*2^1422103-1 is not prime. Res64: B7A0E6F8C43A6D0B Time : 0.0 sec. user=mdettweiler [2016-02-16 00:53:37] 901*2^1422103-1 is not prime. Res64: D86404121F1EE791 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:04:16] 933*2^1422103-1 is not prime. Res64: B68067BD30FD6840 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:04:16] 617*2^1422104-1 is not prime. Res64: 6FF12CB95E8660EE Time : 0.0 sec. user=mdettweiler [2016-02-16 01:04:19] 951*2^1422103-1 is not prime. Res64: 5338A2D83E35C4B5 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:04:21] 677*2^1422104-1 is not prime. Res64: 5ED7DFA1598DA477 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:11:12] 753*2^1422104-1 is not prime. Res64: 8661E07E2BE99EFE Time : 0.0 sec. user=mdettweiler [2016-02-16 01:11:13] 843*2^1422104-1 is not prime. Res64: DAB2FCFCA40F8DF7 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:22:55] 873*2^1422104-1 is not prime. Res64: C522971DFE176BCD Time : 0.0 sec. user=mdettweiler [2016-02-16 01:22:56] 923*2^1422104-1 is not prime. Res64: 80DA39ACF5F7077A Time : 0.0 sec. user=mdettweiler [2016-02-16 01:23:00] 929*2^1422104-1 is not prime. Res64: 8C6C4D78C7C36108 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:23:01] 945*2^1422104-1 is not prime. Res64: 6A3B1179E279249B Time : 0.0 sec. user=mdettweiler [2016-02-16 01:29:06] 983*2^1422104-1 is not prime. Res64: 41D2242B6FB53456 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:29:10] 639*2^1422105-1 is not prime. Res64: 0AD0CE8BCBE196F4 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:40:27] 649*2^1422105-1 is not prime. Res64: 7BA8F5400D9C2C2E Time : 0.0 sec. user=mdettweiler [2016-02-16 01:40:27] 717*2^1422105-1 is not prime. Res64: 76747DB8C859D0F6 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:40:32] 741*2^1422105-1 is not prime. Res64: 05FFFB3B63A12B28 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:40:33] 795*2^1422105-1 is not prime. Res64: 0F1763B7B54CFC93 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:47:03] 909*2^1422105-1 is not prime. Res64: D379FE0F86A68B3E Time : 0.0 sec. user=mdettweiler [2016-02-16 01:47:04] 937*2^1422105-1 is not prime. Res64: 2EBC0B15D4660ADC Time : 0.0 sec. user=mdettweiler [2016-02-16 01:57:59] 999*2^1422105-1 is not prime. Res64: 0C3F92C2350D54A2 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:57:59] 647*2^1422106-1 is not prime. Res64: 6A48F82A74425A53 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:58:03] 735*2^1422106-1 is not prime. Res64: 1AF83FF744A41902 Time : 0.0 sec. user=mdettweiler [2016-02-16 01:58:03] 741*2^1422106-1 is not prime. Res64: 710A994315F9C4C4 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:04:36] 747*2^1422106-1 is not prime. Res64: 57B4D0985927AEDD Time : 0.0 sec. user=mdettweiler [2016-02-16 02:04:37] 777*2^1422106-1 is not prime. Res64: 4DC048C96BEEE67B Time : 0.0 sec. user=mdettweiler [2016-02-16 02:15:35] 911*2^1422106-1 is not prime. Res64: 7B515820FCAC11BD Time : 0.0 sec. user=mdettweiler [2016-02-16 02:15:36] 643*2^1422107-1 is not prime. Res64: FEA7841C3243363B Time : 0.0 sec. user=mdettweiler [2016-02-16 02:15:41] 705*2^1422108-1 is not prime. Res64: 19FACD3CAC19D7FC Time : 0.0 sec. user=mdettweiler [2016-02-16 02:15:42] 725*2^1422108-1 is not prime. Res64: D7EDE82DF42985BF Time : 0.0 sec. user=mdettweiler [2016-02-16 02:22:14] 795*2^1422108-1 is not prime. Res64: 7E2FCE6CB45A8E13 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:22:15] 803*2^1422108-1 is not prime. Res64: A7C73501B21A99AA Time : 0.0 sec. user=mdettweiler [2016-02-16 02:33:16] 809*2^1422108-1 is not prime. Res64: 57A40970B7729E17 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:33:18] 843*2^1422108-1 is not prime. Res64: 19A9ACFCCCDB4167 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:33:23] 923*2^1422108-1 is not prime. Res64: 0EF79E7BE6AA1100 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:33:25] 687*2^1422109-1 is not prime. Res64: 4DF9585AFFF4D2F7 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:39:51] 877*2^1422109-1 is not prime. Res64: EED00F2383737937 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:39:52] 939*2^1422109-1 is not prime. Res64: 575A2A52C9E27297 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:51:03] 957*2^1422109-1 is not prime. Res64: 7AEE65A7A94E3937 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:51:04] 999*2^1422109-1 is not prime. Res64: 6B1CD3D44C9C171D Time : 0.0 sec. user=mdettweiler [2016-02-16 02:51:04] 997*2^1422109-1 is not prime. Res64: 31DB37BA0D38FA9C Time : 0.0 sec. user=mdettweiler [2016-02-16 02:51:05] 623*2^1422110-1 is not prime. Res64: 62F556D7C42E16A3 Time : 0.0 sec. user=mdettweiler [2016-02-16 02:57:32] 641*2^1422110-1 is not prime. Res64: 45D93A3AD9E8E98B Time : 0.0 sec. user=mdettweiler [2016-02-16 02:57:33] 665*2^1422110-1 is not prime. Res64: 8FF82BDE9FFE2A28 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:08:43] 971*2^1422110-1 is not prime. Res64: 027199F012F9B783 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:08:44] 707*2^1422110-1 is not prime. Res64: 12C4550A97EDD37C Time : 0.0 sec. user=mdettweiler [2016-02-16 03:08:45] 693*2^1422111-1 is not prime. Res64: 181BB834C363B30D Time : 0.0 sec. user=mdettweiler [2016-02-16 03:08:45] 857*2^1422110-1 is not prime. Res64: 0DC147979612E1DC Time : 0.0 sec. user=mdettweiler [2016-02-16 03:15:11] 823*2^1422111-1 is not prime. Res64: 69CA25505FBB6D54 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:15:12] 909*2^1422111-1 is not prime. Res64: 40B044ABB96EB3F2 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:26:24] 931*2^1422111-1 is not prime. Res64: 2BF1795590109789 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:26:25] 961*2^1422111-1 is not prime. Res64: 1EF89008F96D6813 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:26:27] 645*2^1422112-1 is not prime. Res64: DD3A84FD93E7B6AE Time : 0.0 sec. user=mdettweiler [2016-02-16 03:26:29] 653*2^1422112-1 is not prime. Res64: B56D7EA73DB5F2CA Time : 0.0 sec. user=mdettweiler [2016-02-16 03:32:55] 695*2^1422112-1 is not prime. Res64: F2D23F000E57CFA0 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:32:58] 713*2^1422112-1 is not prime. Res64: 72C691ED112F0326 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:44:11] 735*2^1422112-1 is not prime. Res64: EDB1EFE4DBC941E1 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:44:12] 685*2^1422113-1 is not prime. Res64: 12DDF42E781ACB94 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:44:12] 873*2^1422112-1 is not prime. Res64: 52106F37889DE430 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:44:13] 697*2^1422113-1 is not prime. Res64: AC00AEC31C3734C1 Time : 0.0 sec. user=mdettweiler [2016-02-16 03:50:44] 735*2^1422113-1 is not prime. Res64: 1565D8D60EE752DC Time : 0.0 sec. user=mdettweiler [2016-02-16 03:50:46] 787*2^1422113-1 is not prime. Res64: D3097D3D7F3DFB1C Time : 0.0 sec. user=mdettweiler [2016-02-16 04:02:04] 789*2^1422113-1 is not prime. Res64: 957DED0FC015B87D Time : 0.0 sec. user=mdettweiler [2016-02-16 04:02:05] 837*2^1422113-1 is not prime. Res64: F970E8D46FBBDECC Time : 0.0 sec. user=mdettweiler [2016-02-16 04:02:05] 811*2^1422113-1 is not prime. Res64: 576312676D9D52C9 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:02:06] 897*2^1422113-1 is not prime. Res64: 4A4E25801C3DB3C4 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:08:33] 981*2^1422113-1 is not prime. Res64: 821D0A8619B3C3FF Time : 0.0 sec. user=mdettweiler [2016-02-16 04:08:34] 987*2^1422113-1 is not prime. Res64: 425DDD79DF6C8925 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:19:48] 723*2^1422114-1 is not prime. Res64: 2FB509DD5FD1ACA4 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:19:49] 605*2^1422114-1 is not prime. Res64: 7304074750D6918E Time : 0.0 sec. user=mdettweiler [2016-02-16 04:19:50] 737*2^1422114-1 is not prime. Res64: F2CEDEF049C16AD1 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:19:50] 611*2^1422114-1 is not prime. Res64: 7841F98AC13C49B4 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:26:14] 797*2^1422114-1 is not prime. Res64: 6F891B7A264FC2A4 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:26:15] 803*2^1422114-1 is not prime. Res64: 4210424E275BB2E0 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:37:31] 679*2^1422115-1 is not prime. Res64: D7B5201D52F518C1 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:37:31] 927*2^1422114-1 is not prime. Res64: CCBBEBAD2C87BBD9 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:37:32] 691*2^1422115-1 is not prime. Res64: 5F55A2C5B37B6CB5 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:37:32] 609*2^1422115-1 is not prime. Res64: 1686199B8FC2E51D Time : 0.0 sec. user=mdettweiler [2016-02-16 04:43:52] 723*2^1422115-1 is not prime. Res64: 9564ADC08D7AAE87 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:43:53] 805*2^1422115-1 is not prime. Res64: 68DD420082E82A2B Time : 0.0 sec. user=mdettweiler [2016-02-16 04:55:11] 855*2^1422115-1 is not prime. Res64: A69407D50A904158 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:55:12] 885*2^1422115-1 is not prime. Res64: E9470B01456957F1 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:55:12] 861*2^1422115-1 is not prime. Res64: 917CFA6869083709 Time : 0.0 sec. user=mdettweiler [2016-02-16 04:55:13] 919*2^1422115-1 is not prime. Res64: 4520CFDDF666E2D9 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:01:36] 925*2^1422115-1 is not prime. Res64: 9457A031D5B4BB50 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:01:38] 939*2^1422115-1 is not prime. Res64: 08E23BFD7E242DDC Time : 0.0 sec. user=mdettweiler [2016-02-16 05:12:52] 725*2^1422116-1 is not prime. Res64: 8ECF222DC1254302 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:12:54] 735*2^1422116-1 is not prime. Res64: 4391379EF11C50C1 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:12:55] 875*2^1422116-1 is not prime. Res64: DAF0B514E5512226 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:12:56] 615*2^1422117-1 is not prime. Res64: 085594260C500A25 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:19:35] 649*2^1422117-1 is not prime. Res64: 9E96BEBC1DE9FFBC Time : 0.0 sec. user=mdettweiler [2016-02-16 05:19:36] 711*2^1422117-1 is not prime. Res64: AAE2828BBBD5874A Time : 0.0 sec. user=mdettweiler [2016-02-16 05:30:32] 777*2^1422117-1 is not prime. Res64: 6A52961C52A4527D Time : 0.0 sec. user=mdettweiler [2016-02-16 05:30:34] 819*2^1422117-1 is not prime. Res64: 8B0C4DE79B33C64D Time : 0.0 sec. user=mdettweiler [2016-02-16 05:30:36] 901*2^1422117-1 is not prime. Res64: 8861856EE424E149 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:30:36] 961*2^1422117-1 is not prime. Res64: 27465E68B733EF95 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:37:14] 991*2^1422117-1 is not prime. Res64: 9FF0523DC6C93E75 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:37:15] 647*2^1422118-1 is not prime. Res64: 0091A1CE8D222416 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:48:10] 695*2^1422118-1 is not prime. Res64: F4944F256133E40C Time : 0.0 sec. user=mdettweiler [2016-02-16 05:48:12] 761*2^1422118-1 is not prime. Res64: CBA1A73555E92173 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:48:13] 791*2^1422118-1 is not prime. Res64: 27415F75AFE79B11 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:48:14] 713*2^1422118-1 is not prime. Res64: AB3765AF02BC852B Time : 0.0 sec. user=mdettweiler [2016-02-16 05:54:55] 897*2^1422118-1 is not prime. Res64: 3AC1112EF82D4707 Time : 0.0 sec. user=mdettweiler [2016-02-16 05:54:56] 923*2^1422118-1 is not prime. Res64: 551E18BD1B0239AB Time : 0.0 sec. user=mdettweiler [2016-02-16 06:05:52] 675*2^1422119-1 is not prime. Res64: 036B8B9F505F3DC6 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:05:53] 1001*2^1422118-1 is not prime. Res64: 8F07919AB7ED1117 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:05:54] 799*2^1422119-1 is not prime. Res64: E6E48FA0544163B0 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:05:55] 661*2^1422119-1 is not prime. Res64: BE02A47483B5E65A Time : 0.0 sec. user=mdettweiler [2016-02-16 06:12:37] 825*2^1422119-1 is not prime. Res64: A06FC6535465159E Time : 0.0 sec. user=mdettweiler [2016-02-16 06:12:38] 895*2^1422119-1 is not prime. Res64: C5B489F4CBD27C62 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:23:46] 717*2^1422120-1 is not prime. Res64: 7116E2EB31675856 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:23:46] 737*2^1422120-1 is not prime. Res64: 20939C1BE16074E9 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:23:47] 789*2^1422120-1 is not prime. Res64: E99EF66032D3CAB9 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:23:47] 747*2^1422120-1 is not prime. Res64: C279CF1AE8C25B07 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:30:16] 809*2^1422120-1 is not prime. Res64: 333E2A5CF95DDD60 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:30:17] 873*2^1422120-1 is not prime. Res64: 6533589CED72BAA4 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:41:26] 789*2^1422121-1 is not prime. Res64: BD6FE59BD2A9CAB3 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:41:27] 999*2^1422121-1 is not prime. Res64: 3411611528CBF00C Time : 0.0 sec. user=mdettweiler [2016-02-16 06:41:27] 847*2^1422121-1 is not prime. Res64: A19B83BE833B9259 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:41:28] 675*2^1422122-1 is not prime. Res64: 107ACD1C209DD08D Time : 0.0 sec. user=mdettweiler [2016-02-16 06:47:59] 677*2^1422122-1 is not prime. Res64: B3245BB78A4FEC63 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:47:59] 831*2^1422122-1 is not prime. Res64: 326FF32CCBB2F8E9 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:59:04] 873*2^1422122-1 is not prime. Res64: 44C9D274EC0243AE Time : 0.0 sec. user=mdettweiler [2016-02-16 06:59:05] 977*2^1422122-1 is not prime. Res64: 8ABB7683688208E9 Time : 0.0 sec. user=mdettweiler [2016-02-16 06:59:09] 1001*2^1422122-1 is not prime. Res64: A7F4B520A57DBE8B Time : 0.0 sec. user=mdettweiler [2016-02-16 06:59:10] 663*2^1422123-1 is not prime. Res64: 3C9B067883E10E75 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:05:45] 679*2^1422123-1 is not prime. Res64: 92C1295B839A4C7B Time : 0.0 sec. user=mdettweiler [2016-02-16 07:05:47] 949*2^1422123-1 is not prime. Res64: 3A9EF8AF096519EE Time : 0.0 sec. user=mdettweiler [2016-02-16 07:16:47] 695*2^1422124-1 is not prime. Res64: 73B4D0218958C146 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:16:47] 963*2^1422123-1 is not prime. Res64: 9476CD791BE8067D Time : 0.0 sec. user=mdettweiler [2016-02-16 07:16:48] 749*2^1422124-1 is not prime. Res64: A280EA0C9194AA6C Time : 0.0 sec. user=mdettweiler [2016-02-16 07:16:48] 663*2^1422124-1 is not prime. Res64: 757A2117C20F3C07 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:23:38] 813*2^1422124-1 is not prime. Res64: 60DC45ACC8F8F4F2 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:23:40] 909*2^1422124-1 is not prime. Res64: 542FD6B5557244B9 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:34:26] 929*2^1422124-1 is not prime. Res64: E0068670F879F1E4 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:34:27] 649*2^1422125-1 is not prime. Res64: F066EFAC9A0FAC64 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:34:28] 675*2^1422125-1 is not prime. Res64: 0D600D5036E5075B Time : 0.0 sec. user=mdettweiler [2016-02-16 07:34:29] 711*2^1422125-1 is not prime. Res64: 0C8251E9ADE996D6 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:41:19] 717*2^1422125-1 is not prime. Res64: 61F7EA666176F6CE Time : 0.0 sec. user=mdettweiler [2016-02-16 07:41:20] 837*2^1422125-1 is not prime. Res64: 57355D15AB5D4A3E Time : 0.0 sec. user=mdettweiler [2016-02-16 07:52:07] 619*2^1422127-1 is not prime. Res64: 25F3613AA2EDA31D Time : 0.0 sec. user=mdettweiler [2016-02-16 07:52:07] 705*2^1422126-1 is not prime. Res64: BA1CE4AAFB993545 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:52:08] 645*2^1422127-1 is not prime. Res64: 5896C9B08EC1085E Time : 0.0 sec. user=mdettweiler [2016-02-16 07:52:08] 707*2^1422126-1 is not prime. Res64: 10E29722CA6F5421 Time : 0.0 sec. user=mdettweiler [2016-02-16 07:58:59] 629*2^1422128-1 is not prime. Res64: DD2CE6374D03419C Time : 0.0 sec. user=mdettweiler [2016-02-16 07:59:00] 767*2^1422128-1 is not prime. Res64: F36B6CE93D2FB818 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:09:44] 827*2^1422128-1 is not prime. Res64: AF4A0BA2418A5896 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:09:44] 815*2^1422128-1 is not prime. Res64: 8BB1647C60FCB4B4 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:09:45] 977*2^1422128-1 is not prime. Res64: 29BB621DCA157611 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:09:46] 825*2^1422128-1 is not prime. Res64: 7B6B5BDF93969651 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:16:46] 627*2^1422129-1 is not prime. Res64: 9BD40A77011122F0 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:16:47] 657*2^1422129-1 is not prime. Res64: 9A7B3A408566D869 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:27:36] 895*2^1422129-1 is not prime. Res64: 4354E38F30A4A3F1 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:27:38] 919*2^1422129-1 is not prime. Res64: 8A9744BD16C119D0 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:28:01] 747*2^1422129-1 is not prime. Res64: 246E09C3952306FB Time : 0.0 sec. user=mdettweiler [2016-02-16 08:28:02] 817*2^1422129-1 is not prime. Res64: 47D432F5E5ADD516 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:34:36] 979*2^1422129-1 is not prime. Res64: 70CE434A5D4D8F72 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:34:37] 723*2^1422130-1 is not prime. Res64: E5119306A7DC8353 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:45:16] 821*2^1422130-1 is not prime. Res64: 8882A57360552F59 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:45:17] 867*2^1422130-1 is not prime. Res64: EC2C0CA6CBDB434A Time : 0.0 sec. user=mdettweiler [2016-02-16 08:45:38] 945*2^1422130-1 is not prime. Res64: 04EBB8E0123FB3C3 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:45:40] 645*2^1422131-1 is not prime. Res64: E901BF2F59786F9C Time : 0.0 sec. user=mdettweiler [2016-02-16 08:52:15] 735*2^1422131-1 is not prime. Res64: E7D08F5028E5B6A7 Time : 0.0 sec. user=mdettweiler [2016-02-16 08:52:16] 741*2^1422131-1 is not prime. Res64: 22BD210EDFFB823A Time : 0.0 sec. user=mdettweiler [2016-02-16 09:02:55] 895*2^1422131-1 is not prime. Res64: 5BE09B7AFAD6F3AC Time : 0.0 sec. user=mdettweiler [2016-02-16 09:02:57] 909*2^1422131-1 is not prime. Res64: B596B46F299F5D62 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:03:18] 993*2^1422131-1 is not prime. Res64: 4F0C7A0D5C34A40B Time : 0.0 sec. user=mdettweiler [2016-02-16 09:03:20] 999*2^1422131-1 is not prime. Res64: B239C8A8C8DB0A24 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:09:57] 635*2^1422132-1 is not prime. Res64: CCB8C64C056DB747 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:09:59] 749*2^1422132-1 is not prime. Res64: 3AF8EB47BB8ED876 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:20:54] 867*2^1422132-1 is not prime. Res64: DDFABC5C6347533D Time : 0.0 sec. user=mdettweiler [2016-02-16 09:20:55] 879*2^1422132-1 is not prime. Res64: A9213FB05F210BE2 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:20:58] 903*2^1422132-1 is not prime. Res64: B839A28A6A6EEEAF Time : 0.0 sec. user=mdettweiler [2016-02-16 09:20:59] 615*2^1422133-1 is not prime. Res64: 0C4445E5CFFADB85 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:27:39] 675*2^1422133-1 is not prime. Res64: 6CBC89ECF510635F Time : 0.0 sec. user=mdettweiler [2016-02-16 09:27:40] 729*2^1422133-1 is not prime. Res64: F3AB0AAA9AE7F2C4 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:38:33] 877*2^1422133-1 is not prime. Res64: 4F9AB07C32B163B2 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:38:33] 985*2^1422133-1 is not prime. Res64: 73B5B6C6C2839900 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:38:35] 605*2^1422134-1 is not prime. Res64: 57530D6008A8DE98 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:38:36] 731*2^1422134-1 is not prime. Res64: 3297CF1AFFD435EF Time : 0.0 sec. user=mdettweiler [2016-02-16 09:45:18] 741*2^1422134-1 is not prime. Res64: 7862CFA730E1571A Time : 0.0 sec. user=mdettweiler [2016-02-16 09:45:19] 791*2^1422134-1 is not prime. Res64: 9071C6963A94D295 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:56:08] 825*2^1422134-1 is not prime. Res64: DE5EF054E4E03704 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:56:09] 917*2^1422134-1 is not prime. Res64: 19D4D4DA5827A815 Time : 0.0 sec. user=mdettweiler [2016-02-16 09:56:11] 923*2^1422134-1 is not prime. Res64: 3869FD845D5F821D Time : 0.0 sec. user=mdettweiler [2016-02-16 09:56:11] 995*2^1422134-1 is not prime. Res64: 737FBE68BA7EFA09 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:02:53] 735*2^1422135-1 is not prime. Res64: EFF83DC3E21078B1 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:02:55] 765*2^1422135-1 is not prime. Res64: 0A4110FF3BB71830 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:13:38] 781*2^1422135-1 is not prime. Res64: 85A2C97FC6E66C51 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:13:39] 999*2^1422135-1 is not prime. Res64: 8A64C83BE2D7464C Time : 0.0 sec. user=mdettweiler [2016-02-16 10:13:42] 609*2^1422136-1 is not prime. Res64: F41D5DF89B5A8FEE Time : 0.0 sec. user=mdettweiler [2016-02-16 10:13:42] 803*2^1422136-1 is not prime. Res64: 6D4C049E7BB4B90C Time : 0.0 sec. user=mdettweiler [2016-02-16 10:20:35] 843*2^1422136-1 is not prime. Res64: DF1ADE8A9AAABDCF Time : 0.0 sec. user=mdettweiler [2016-02-16 10:20:35] 857*2^1422136-1 is not prime. Res64: F25473BC0AD2030A Time : 0.0 sec. user=mdettweiler [2016-02-16 10:31:12] 875*2^1422136-1 is not prime. Res64: 70E3C9D705DD0EFA Time : 0.0 sec. user=mdettweiler [2016-02-16 10:31:12] 933*2^1422136-1 is not prime. Res64: 253A05AE89E2D366 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:31:12] 923*2^1422136-1 is not prime. Res64: 3ABE5EE19D69E073 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:31:12] 607*2^1422137-1 is not prime. Res64: 549E8F8D02A21AD0 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:38:08] 669*2^1422137-1 is not prime. Res64: B35B4042416B2C6A Time : 0.0 sec. user=mdettweiler [2016-02-16 10:38:08] 741*2^1422137-1 is not prime. Res64: 35270F3FCD47F0B3 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:48:42] 771*2^1422137-1 is not prime. Res64: B221CEDF6864DB10 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:48:43] 915*2^1422137-1 is not prime. Res64: BD393ABE711808FA Time : 0.0 sec. user=mdettweiler [2016-02-16 10:48:43] 901*2^1422137-1 is not prime. Res64: C2476C7C35BE0622 Time : 0.0 sec. user=mdettweiler [2016-02-16 10:48:43] 925*2^1422137-1 is not prime. Res64: 8E79411796DDBD0D Time : 0.0 sec. user=mdettweiler [2016-02-16 10:55:38] 985*2^1422137-1 is not prime. Res64: 8413D9DBB782FDCF Time : 0.0 sec. user=mdettweiler [2016-02-16 10:55:39] 885*2^1422138-1 is not prime. Res64: 946E76D0B8746C30 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:06:12] 933*2^1422138-1 is not prime. Res64: DCC3B28F0661C389 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:06:13] 945*2^1422138-1 is not prime. Res64: 26C509AE626838A3 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:06:14] 993*2^1422138-1 is not prime. Res64: 2E5C0D5A67E92D36 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:06:14] 1001*2^1422138-1 is not prime. Res64: 74A51289945189D2 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:13:09] 771*2^1422139-1 is not prime. Res64: BFE44FDDD2A99A15 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:13:09] 789*2^1422139-1 is not prime. Res64: 7A7AE2F7977A3A09 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:23:48] 843*2^1422139-1 is not prime. Res64: 8F27825F8F1CC12E Time : 0.0 sec. user=mdettweiler [2016-02-16 11:23:48] 873*2^1422139-1 is not prime. Res64: 87B5F7A4019107CC Time : 0.0 sec. user=mdettweiler [2016-02-16 11:23:52] 789*2^1422140-1 is not prime. Res64: DD1C76DDD7C02E88 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:23:52] 813*2^1422140-1 is not prime. Res64: 82BFE2320A6D5ACC Time : 0.0 sec. user=mdettweiler [2016-02-16 11:30:39] 875*2^1422140-1 is not prime. Res64: D066B1B5BCBEEB0D Time : 0.0 sec. user=mdettweiler [2016-02-16 11:30:39] 935*2^1422140-1 is not prime. Res64: 63418697A3242923 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:41:20] 977*2^1422140-1 is not prime. Res64: D6A8C904CB26A054 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:41:21] 741*2^1422141-1 is not prime. Res64: 93ECD82769133D17 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:41:23] 751*2^1422141-1 is not prime. Res64: 5DB09731DDF32F0F Time : 0.0 sec. user=mdettweiler [2016-02-16 11:41:23] 829*2^1422141-1 is not prime. Res64: 48736A24B9792DFB Time : 0.0 sec. user=mdettweiler [2016-02-16 11:48:10] 847*2^1422141-1 is not prime. Res64: 3179EB40F3EDF9A3 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:48:11] 991*2^1422141-1 is not prime. Res64: FE2F3DA90FBBD8EA Time : 0.0 sec. user=mdettweiler [2016-02-16 11:58:51] 619*2^1422143-1 is not prime. Res64: D69A69ED91495CC8 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:58:52] 673*2^1422143-1 is not prime. Res64: D475EE8973F14284 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:58:52] 745*2^1422143-1 is not prime. Res64: DC99F156C44D9C27 Time : 0.0 sec. user=mdettweiler [2016-02-16 11:58:53] 949*2^1422143-1 is not prime. Res64: 42605DFFF4ECBD88 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:05:45] 963*2^1422143-1 is not prime. Res64: 56B723FBF94EDEA9 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:05:47] 981*2^1422143-1 is not prime. Res64: 32ED9EDE22E0A187 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:16:23] 753*2^1422144-1 is not prime. Res64: 580EB4517E4ACEB6 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:16:24] 893*2^1422144-1 is not prime. Res64: 898C42D72D4721A2 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:16:24] 909*2^1422144-1 is not prime. Res64: 8F48882D8C590329 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:16:26] 945*2^1422144-1 is not prime. Res64: F14A6D69FA37D26B Time : 0.0 sec. user=mdettweiler [2016-02-16 12:23:32] 975*2^1422144-1 is not prime. Res64: D8523ADF8C7067A9 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:23:32] 645*2^1422145-1 is not prime. Res64: 2A2DFE295DAD5B5A Time : 0.0 sec. user=mdettweiler [2016-02-16 12:33:55] 651*2^1422145-1 is not prime. Res64: 6F18DF7E67A5425A Time : 0.0 sec. user=mdettweiler [2016-02-16 12:33:55] 717*2^1422145-1 is not prime. Res64: 483A76329AAC089E Time : 0.0 sec. user=mdettweiler [2016-02-16 12:33:56] 705*2^1422145-1 is not prime. Res64: 14C97CD974064DFF Time : 0.0 sec. user=mdettweiler [2016-02-16 12:33:56] 721*2^1422145-1 is not prime. Res64: 98E6BB129D023272 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:41:02] 951*2^1422145-1 is not prime. Res64: 80AE132FBBE1FAF8 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:41:02] 955*2^1422145-1 is not prime. Res64: CFB07EB35DA4E0D1 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:51:26] 701*2^1422146-1 is not prime. Res64: EB32ECD2F8421886 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:51:26] 705*2^1422146-1 is not prime. Res64: 5E6128D7B22C5EF8 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:51:26] 857*2^1422146-1 is not prime. Res64: 5AAA9E53D3806BF5 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:51:27] 781*2^1422147-1 is not prime. Res64: 3F8A73089A267D77 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:58:32] 871*2^1422147-1 is not prime. Res64: 3C13D14E41214E51 Time : 0.0 sec. user=mdettweiler [2016-02-16 12:58:33] 949*2^1422147-1 is not prime. Res64: 2841B73D8E55702F Time : 0.0 sec. user=mdettweiler [2016-02-16 13:08:59] 973*2^1422147-1 is not prime. Res64: 7F293A5063C069A6 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:08:59] 665*2^1422148-1 is not prime. Res64: D730E577C633CB4D Time : 0.0 sec. user=mdettweiler [2016-02-16 13:08:59] 657*2^1422148-1 is not prime. Res64: 49B2C5FCDCE2B1AF Time : 0.0 sec. user=mdettweiler [2016-02-16 13:09:00] 707*2^1422148-1 is not prime. Res64: E1606FFD0575F75D Time : 0.0 sec. user=mdettweiler [2016-02-16 13:16:08] 797*2^1422148-1 is not prime. Res64: 1E922E6AC567A5D6 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:16:09] 819*2^1422148-1 is not prime. Res64: 6131E3C4C9D9CE56 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:26:45] 845*2^1422148-1 is not prime. Res64: 74EE21B0AAD40922 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:26:45] 619*2^1422149-1 is not prime. Res64: 4C4C1B2C1EF12493 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:26:46] 787*2^1422149-1 is not prime. Res64: 48C7524CF32064A8 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:26:46] 861*2^1422149-1 is not prime. Res64: 192E01A391A05DAA Time : 0.0 sec. user=mdettweiler [2016-02-16 13:33:59] 889*2^1422149-1 is not prime. Res64: 25D189C456610A8C Time : 0.0 sec. user=mdettweiler [2016-02-16 13:33:59] 949*2^1422149-1 is not prime. Res64: 52DE27B63F668E86 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:44:50] 979*2^1422149-1 is not prime. Res64: 689DA780EC87B410 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:44:51] 997*2^1422149-1 is not prime. Res64: CB21B62533E549AB Time : 0.0 sec. user=mdettweiler [2016-02-16 13:44:55] 651*2^1422150-1 is not prime. Res64: 622C0360EAB89707 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:44:55] 693*2^1422150-1 is not prime. Res64: 48739A79BB8B6FB0 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:52:15] 711*2^1422150-1 is not prime. Res64: 207B7F2C73758C47 Time : 0.0 sec. user=mdettweiler [2016-02-16 13:52:15] 741*2^1422150-1 is not prime. Res64: 1043828BD2C3C099 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:03:17] 797*2^1422150-1 is not prime. Res64: 22254CE23FB63BD9 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:03:18] 867*2^1422150-1 is not prime. Res64: 45A3BB9F18A783D5 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:03:20] 673*2^1422151-1 is not prime. Res64: 12B8EB74B02AF1D0 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:03:21] 821*2^1422150-1 is not prime. Res64: A772E0176C2434F4 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:10:31] 793*2^1422151-1 is not prime. Res64: 5A6CC5272A6C538F Time : 0.0 sec. user=mdettweiler [2016-02-16 14:10:32] 913*2^1422151-1 is not prime. Res64: 5EA5FA2BE0677BE5 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:21:40] 677*2^1422152-1 is not prime. Res64: E3EBA2134BC4E3CF Time : 0.0 sec. user=mdettweiler [2016-02-16 14:21:41] 759*2^1422152-1 is not prime. Res64: 317A8DBE684AD5BC Time : 0.0 sec. user=mdettweiler [2016-02-16 14:21:41] 683*2^1422152-1 is not prime. Res64: F145D29FA32FB585 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:21:42] 797*2^1422152-1 is not prime. Res64: 05837688FBCD1C59 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:28:18] 963*2^1422152-1 is not prime. Res64: 04C30ED069C00218 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:28:18] 995*2^1422152-1 is not prime. Res64: A67DEFA0348819DF Time : 0.0 sec. user=mdettweiler [2016-02-16 14:39:17] 705*2^1422153-1 is not prime. Res64: 57E5D1E82546A849 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:39:18] 739*2^1422153-1 is not prime. Res64: AA48FE944A456187 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:39:18] 745*2^1422153-1 is not prime. Res64: 71AABC629F1E8D15 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:39:18] 751*2^1422153-1 is not prime. Res64: 013ACFF753DBEE0C Time : 0.0 sec. user=mdettweiler [2016-02-16 14:45:49] 807*2^1422153-1 is not prime. Res64: 94E498A9AB941CC6 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:45:50] 837*2^1422153-1 is not prime. Res64: D014B0D90888237F Time : 0.0 sec. user=mdettweiler [2016-02-16 14:56:48] 955*2^1422153-1 is not prime. Res64: D014779907B7A5B3 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:56:49] 901*2^1422153-1 is not prime. Res64: 9253225FBDE20300 Time : 0.0 sec. user=mdettweiler [2016-02-16 14:56:49] 605*2^1422154-1 is not prime. Res64: D6976AF12B0DFF1C Time : 0.0 sec. user=mdettweiler [2016-02-16 14:56:49] 945*2^1422153-1 is not prime. Res64: 011F573C9575DEEB Time : 0.0 sec. user=mdettweiler [2016-02-16 15:03:21] 645*2^1422154-1 is not prime. Res64: 8B544A142E2773A3 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:03:23] 695*2^1422154-1 is not prime. Res64: 8244E247EC2BB8BC Time : 0.0 sec. user=mdettweiler [2016-02-16 15:14:19] 723*2^1422154-1 is not prime. Res64: 97BB7258F58232C2 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:14:20] 915*2^1422154-1 is not prime. Res64: C59A47B6562FB901 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:14:20] 861*2^1422154-1 is not prime. Res64: 9CD0F88F158AF83C Time : 0.0 sec. user=mdettweiler [2016-02-16 15:14:20] 947*2^1422154-1 is not prime. Res64: 961988A41FE33065 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:21:04] 673*2^1422155-1 is not prime. Res64: 592985303036E48F Time : 0.0 sec. user=mdettweiler [2016-02-16 15:21:04] 735*2^1422155-1 is not prime. Res64: 6CE874FF6AAEA80B Time : 0.0 sec. user=mdettweiler [2016-02-16 15:31:53] 735*2^1422156-1 is not prime. Res64: 3A4ED5EBB4712911 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:31:54] 773*2^1422156-1 is not prime. Res64: AAD08694FC2FE01F Time : 0.0 sec. user=mdettweiler [2016-02-16 15:31:54] 609*2^1422156-1 is not prime. Res64: 40B81612B9430A56 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:31:55] 647*2^1422156-1 is not prime. Res64: 64A0E1510E4125F1 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:38:35] 887*2^1422156-1 is not prime. Res64: 53913B00EBE7627E Time : 0.0 sec. user=mdettweiler [2016-02-16 15:38:35] 969*2^1422156-1 is not prime. Res64: 91E19EE8EBF32196 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:49:26] 625*2^1422157-1 is not prime. Res64: A6C8539496394511 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:49:27] 747*2^1422157-1 is not prime. Res64: 4A0722CAF894B5BD Time : 0.0 sec. user=mdettweiler [2016-02-16 15:49:27] 993*2^1422156-1 is not prime. Res64: B26F04A3972CD875 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:49:28] 609*2^1422157-1 is not prime. Res64: 860D074E93769500 Time : 0.0 sec. user=mdettweiler [2016-02-16 15:56:06] 919*2^1422157-1 is not prime. Res64: D5CB31DE5369387A Time : 0.0 sec. user=mdettweiler [2016-02-16 15:56:06] 961*2^1422157-1 is not prime. Res64: E7A2754913BEB707 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:06:58] 773*2^1422158-1 is not prime. Res64: BDA729893C95711A Time : 0.0 sec. user=mdettweiler [2016-02-16 16:06:59] 813*2^1422158-1 is not prime. Res64: 62B77C5BD3671552 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:07:00] 915*2^1422158-1 is not prime. Res64: 0AEE532B6B595ED4 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:07:00] 945*2^1422158-1 is not prime. Res64: 5456891A44E82B09 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:13:38] 953*2^1422158-1 is not prime. Res64: 954CFE684B970648 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:13:38] 669*2^1422159-1 is not prime. Res64: 7441DE8D286ECAC2 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:24:42] 795*2^1422159-1 is not prime. Res64: 0805C4E3765E113E Time : 0.0 sec. user=mdettweiler [2016-02-16 16:24:43] 829*2^1422159-1 is not prime. Res64: 35FA3A9B5AB8930C Time : 0.0 sec. user=mdettweiler [2016-02-16 16:24:45] 853*2^1422159-1 is not prime. Res64: CC934A10E7207544 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:24:46] 873*2^1422159-1 is not prime. Res64: 1E9ABCA30B4CA793 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:31:26] 999*2^1422159-1 is not prime. Res64: 66C4766CAFE648ED Time : 0.0 sec. user=mdettweiler [2016-02-16 16:31:26] 645*2^1422160-1 is not prime. Res64: 64C218B9DD68212B Time : 0.0 sec. user=mdettweiler [2016-02-16 16:42:22] 717*2^1422160-1 is not prime. Res64: 159C0B4B998AC5EB Time : 0.0 sec. user=mdettweiler [2016-02-16 16:42:23] 765*2^1422160-1 is not prime. Res64: ABA7140A16EA3175 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:42:25] 797*2^1422160-1 is not prime. Res64: 7918D53C3C26B8AE Time : 0.0 sec. user=mdettweiler [2016-02-16 16:42:25] 601*2^1422161-1 is not prime. Res64: D3CCEB03A028D207 Time : 0.0 sec. user=mdettweiler [2016-02-16 16:49:05] 769*2^1422161-1 is not prime. Res64: 164C4FD9329F341B Time : 0.0 sec. user=mdettweiler [2016-02-16 16:49:05] 777*2^1422161-1 is not prime. Res64: 70607C4C46C7B8CD Time : 0.0 sec. user=mdettweiler [2016-02-16 17:00:02] 611*2^1422162-1 is not prime. Res64: 66F4DAAE202A66CD Time : 0.0 sec. user=mdettweiler [2016-02-16 17:00:03] 635*2^1422162-1 is not prime. Res64: 8A0AB2C08DC4E96A Time : 0.0 sec. user=mdettweiler [2016-02-16 17:00:05] 657*2^1422162-1 is not prime. Res64: 995B544A30852DEF Time : 0.0 sec. user=mdettweiler [2016-02-16 17:00:05] 717*2^1422162-1 is not prime. Res64: CBB37A5F4A087CC5 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:08:35] 741*2^1422162-1 is not prime. Res64: E07D5CB39ADC8ED6 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:08:35] 825*2^1422162-1 is not prime. Res64: 62B1E3968C4F5E50 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:22:23] 873*2^1422162-1 is not prime. Res64: 0D982C419378961F Time : 0.0 sec. user=mdettweiler [2016-02-16 17:22:23] 917*2^1422162-1 is not prime. Res64: FD73F031603E2441 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:22:24] 945*2^1422162-1 is not prime. Res64: 6402AC6FCA294D8D Time : 0.0 sec. user=mdettweiler [2016-02-16 17:22:24] 625*2^1422163-1 is not prime. Res64: 1AA3D3026F9B552D Time : 0.0 sec. user=mdettweiler [2016-02-16 17:30:57] 649*2^1422163-1 is not prime. Res64: B38917ABAB35891E Time : 0.0 sec. user=mdettweiler [2016-02-16 17:30:57] 741*2^1422163-1 is not prime. Res64: AA50EA2351CAB1CC Time : 0.0 sec. user=mdettweiler [2016-02-16 17:45:35] 873*2^1422163-1 is not prime. Res64: EC585B26C8A0A3AC Time : 0.0 sec. user=mdettweiler [2016-02-16 17:45:36] 889*2^1422163-1 is not prime. Res64: FCF8651F797DE166 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:45:43] 765*2^1422163-1 is not prime. Res64: A8A9240D01181DE9 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:45:43] 793*2^1422163-1 is not prime. Res64: EE0CF4AACAAF4552 Time : 0.0 sec. user=mdettweiler [2016-02-16 17:53:47] 617*2^1422164-1 is not prime. Res64: 4B65135F07A1FDFE Time : 0.0 sec. user=mdettweiler [2016-02-16 17:53:48] 679*2^1422165-1 is not prime. Res64: 588D8FB67FABC377 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:07:55] 759*2^1422165-1 is not prime. Res64: 68B989E695251111 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:07:55] 787*2^1422165-1 is not prime. Res64: F9F41BF00735A2E1 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:07:57] 795*2^1422165-1 is not prime. Res64: 948C7FDCF4171CBD Time : 0.0 sec. user=mdettweiler [2016-02-16 18:07:57] 861*2^1422165-1 is not prime. Res64: 8E131EF829B53BF1 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:16:00] 765*2^1422166-1 is not prime. Res64: 09DDFE7E5F400D3F Time : 0.0 sec. user=mdettweiler [2016-02-16 18:16:00] 773*2^1422166-1 is not prime. Res64: 8AFD3CCA2BC9D782 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:30:07] 783*2^1422166-1 is not prime. Res64: B68B52A31774FDCC Time : 0.0 sec. user=mdettweiler [2016-02-16 18:30:07] 891*2^1422166-1 is not prime. Res64: 947C2FADA498A00B Time : 0.0 sec. user=mdettweiler [2016-02-16 18:30:10] 917*2^1422166-1 is not prime. Res64: 8F05A42B50CD654E Time : 0.0 sec. user=mdettweiler [2016-02-16 18:30:10] 619*2^1422167-1 is not prime. Res64: F5D752CC8B05045C Time : 0.0 sec. user=mdettweiler [2016-02-16 18:36:35] 675*2^1422167-1 is not prime. Res64: E44C87B229F1B195 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:36:35] 693*2^1422167-1 is not prime. Res64: 4C27BDB85B48BD00 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:49:44] 963*2^1422167-1 is not prime. Res64: 2ECA65C590669168 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:49:45] 797*2^1422168-1 is not prime. Res64: AF310AD8FDF254C8 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:49:46] 759*2^1422167-1 is not prime. Res64: 3007B075C839448F Time : 0.0 sec. user=mdettweiler [2016-02-16 18:49:46] 931*2^1422167-1 is not prime. Res64: 9808B09C780FE344 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:58:03] 845*2^1422168-1 is not prime. Res64: DFF85A161E91A506 Time : 0.0 sec. user=mdettweiler [2016-02-16 18:58:04] 675*2^1422169-1 is not prime. Res64: 3E98A9987DD9DC14 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:13:04] 799*2^1422169-1 is not prime. Res64: 0CB24F700109941E Time : 0.0 sec. user=mdettweiler [2016-02-16 19:13:05] 835*2^1422169-1 is not prime. Res64: 1AE705E1B0399F0D Time : 0.0 sec. user=mdettweiler [2016-02-16 19:13:07] 685*2^1422169-1 is not prime. Res64: 170E0119F1BB72FD Time : 0.0 sec. user=mdettweiler [2016-02-16 19:13:08] 721*2^1422169-1 is not prime. Res64: 3BD644C090A32C33 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:21:32] 861*2^1422169-1 is not prime. Res64: 89A2F862515ACC24 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:21:32] 939*2^1422169-1 is not prime. Res64: 039880936DAB74BF Time : 0.0 sec. user=mdettweiler [2016-02-16 19:33:26] 645*2^1422170-1 is not prime. Res64: F6CFD7619B1593F2 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:33:26] 827*2^1422170-1 is not prime. Res64: 91A6A2072D60FA67 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:33:26] 735*2^1422170-1 is not prime. Res64: B379398F747BAA47 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:33:27] 977*2^1422170-1 is not prime. Res64: 3001DC33FAE45C89 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:39:53] 639*2^1422171-1 is not prime. Res64: 8261FA0100577CE0 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:39:53] 651*2^1422171-1 is not prime. Res64: 0BC689966F302EDC Time : 0.0 sec. user=mdettweiler [2016-02-16 19:51:10] 871*2^1422171-1 is not prime. Res64: 281A09F266555A83 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:51:10] 891*2^1422171-1 is not prime. Res64: E3F8135D72E0001C Time : 0.0 sec. user=mdettweiler [2016-02-16 19:51:10] 705*2^1422171-1 is not prime. Res64: 0396BFD02D6361BB Time : 0.0 sec. user=mdettweiler [2016-02-16 19:51:10] 783*2^1422171-1 is not prime. Res64: 005FF12B70EF94AD Time : 0.0 sec. user=mdettweiler [2016-02-16 19:57:33] 639*2^1422172-1 is not prime. Res64: 2B3539601D168859 Time : 0.0 sec. user=mdettweiler [2016-02-16 19:57:34] 819*2^1422172-1 is not prime. Res64: 309F6943552179B3 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:08:49] 889*2^1422173-1 is not prime. Res64: 08809075711D8476 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:08:49] 985*2^1422173-1 is not prime. Res64: 8B2ED2CE7A7D9632 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:08:52] 923*2^1422172-1 is not prime. Res64: 091FBE35D7641BCE Time : 0.0 sec. user=mdettweiler [2016-02-16 20:08:53] 627*2^1422173-1 is not prime. Res64: 1D8904CD56582279 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:15:17] 683*2^1422174-1 is not prime. Res64: BB7F9BABC9075D74 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:15:17] 783*2^1422174-1 is not prime. Res64: 39D25F4B312D9DB3 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:26:38] 831*2^1422175-1 is not prime. Res64: 22536775FC1D1ED9 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:26:39] 933*2^1422175-1 is not prime. Res64: A0A0C849A8436B11 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:26:42] 875*2^1422174-1 is not prime. Res64: 70F353A772840A71 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:26:42] 603*2^1422175-1 is not prime. Res64: 5928EA055BF54D1D Time : 0.0 sec. user=mdettweiler [2016-02-16 20:33:20] 999*2^1422175-1 is not prime. Res64: B27F91D8F578DE19 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:33:20] 777*2^1422176-1 is not prime. Res64: F5511AA641A8B6C1 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:44:48] 839*2^1422176-1 is not prime. Res64: 49074631F8E9037F Time : 0.0 sec. user=mdettweiler [2016-02-16 20:44:48] 903*2^1422176-1 is not prime. Res64: D003B864E7C26F1F Time : 0.0 sec. user=mdettweiler [2016-02-16 20:44:51] 923*2^1422176-1 is not prime. Res64: 0FDCFF11691F1910 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:44:51] 935*2^1422176-1 is not prime. Res64: 2C94CD6FAA7D5534 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:51:11] 983*2^1422176-1 is not prime. Res64: A397A68FC331BF29 Time : 0.0 sec. user=mdettweiler [2016-02-16 20:51:11] 817*2^1422177-1 is not prime. Res64: 652F3174DF5F21E0 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:02:22] 829*2^1422177-1 is not prime. Res64: 7F6FBDFA70F14F43 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:02:23] 835*2^1422177-1 is not prime. Res64: 3CB7C5D90E9F0CD9 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:02:24] 889*2^1422177-1 is not prime. Res64: ACDD90AD0F3A91EB Time : 0.0 sec. user=mdettweiler [2016-02-16 21:02:25] 949*2^1422177-1 is not prime. Res64: 15BC1BF3802EE70F Time : 0.0 sec. user=mdettweiler [2016-02-16 21:08:46] 955*2^1422177-1 is not prime. Res64: 1706B5B28460938C Time : 0.0 sec. user=mdettweiler [2016-02-16 21:08:46] 979*2^1422177-1 is not prime. Res64: 602B6C07437A12A8 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:20:12] 735*2^1422178-1 is not prime. Res64: F43F8B04B597E7AA Time : 0.0 sec. user=mdettweiler [2016-02-16 21:20:12] 765*2^1422178-1 is not prime. Res64: 3BA8FD957D18826D Time : 0.0 sec. user=mdettweiler [2016-02-16 21:20:14] 985*2^1422177-1 is not prime. Res64: 0C873110A5215E3E Time : 0.0 sec. user=mdettweiler [2016-02-16 21:20:14] 687*2^1422178-1 is not prime. Res64: A32A97E02CB6803E Time : 0.0 sec. user=mdettweiler [2016-02-16 21:26:23] 857*2^1422178-1 is not prime. Res64: 5D1C14AF6E46DF9D Time : 0.0 sec. user=mdettweiler [2016-02-16 21:26:23] 861*2^1422178-1 is not prime. Res64: 26005D5548F60349 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:37:48] 867*2^1422178-1 is not prime. Res64: DC51E6F52B15EEFF Time : 0.0 sec. user=mdettweiler [2016-02-16 21:37:48] 887*2^1422178-1 is not prime. Res64: 39ADC351C22AA9AD Time : 0.0 sec. user=mdettweiler [2016-02-16 21:37:50] 915*2^1422178-1 is not prime. Res64: B68C1F2DE86F8D7C Time : 0.0 sec. user=mdettweiler [2016-02-16 21:37:50] 987*2^1422178-1 is not prime. Res64: DB11F386A369B0A7 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:43:57] 993*2^1422178-1 is not prime. Res64: C9BEAD80BEA96D95 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:43:57] 621*2^1422179-1 is not prime. Res64: 5AECF9016EAEEE6E Time : 0.0 sec. user=mdettweiler [2016-02-16 21:55:24] 889*2^1422179-1 is not prime. Res64: C18A73420D1C2AE4 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:55:24] 955*2^1422179-1 is not prime. Res64: D698CBB1C1E6B878 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:55:25] 693*2^1422179-1 is not prime. Res64: 825F8EFE92C64396 Time : 0.0 sec. user=mdettweiler [2016-02-16 21:55:26] 813*2^1422179-1 is not prime. Res64: 8CB883A2CD881963 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:01:31] 699*2^1422180-1 is not prime. Res64: C5ACC2C0761ADE32 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:01:32] 765*2^1422180-1 is not prime. Res64: 3C0EE11FF83AF0D5 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:12:59] 933*2^1422180-1 is not prime. Res64: 31FE503D901985DE Time : 0.0 sec. user=mdettweiler [2016-02-16 22:13:00] 987*2^1422180-1 is not prime. Res64: 46F1B05FD53BB437 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:13:00] 777*2^1422180-1 is not prime. Res64: BDE58969A4CF233E Time : 0.0 sec. user=mdettweiler [2016-02-16 22:13:01] 795*2^1422180-1 is not prime. Res64: 1022AEFEF66645CA Time : 0.0 sec. user=mdettweiler [2016-02-16 22:19:10] 607*2^1422181-1 is not prime. Res64: E827E03DA1276968 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:19:10] 651*2^1422181-1 is not prime. Res64: 4816611077D88455 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:30:46] 799*2^1422181-1 is not prime. Res64: FC38063B07EE4800 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:30:46] 849*2^1422181-1 is not prime. Res64: 530AD8BB8FD90006 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:30:50] 691*2^1422181-1 is not prime. Res64: EC3A392648EA53A3 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:30:50] 741*2^1422181-1 is not prime. Res64: B04205B0BD5D3682 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:36:54] 901*2^1422181-1 is not prime. Res64: 866299486D4CFD9A Time : 0.0 sec. user=mdettweiler [2016-02-16 22:36:55] 931*2^1422181-1 is not prime. Res64: B848928C238979D5 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:48:32] 617*2^1422182-1 is not prime. Res64: 46BB47B148DB30B9 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:48:33] 705*2^1422182-1 is not prime. Res64: B9BBB2CC75866509 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:48:36] 911*2^1422182-1 is not prime. Res64: 2002798BC3AA62FE Time : 0.0 sec. user=mdettweiler [2016-02-16 22:48:36] 983*2^1422182-1 is not prime. Res64: 7DB973EC94715054 Time : 0.0 sec. user=mdettweiler [2016-02-16 22:54:43] 619*2^1422183-1 is not prime. Res64: 3D54562F8DA5DCAE Time : 0.0 sec. user=mdettweiler [2016-02-16 22:54:43] 691*2^1422183-1 is not prime. Res64: 93F588957B254B08 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:06:31] 741*2^1422183-1 is not prime. Res64: DF97AEFD9D04BBA0 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:06:32] 781*2^1422183-1 is not prime. Res64: 892C7378545BD288 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:06:34] 773*2^1422184-1 is not prime. Res64: 7977D03D2E043499 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:06:34] 827*2^1422184-1 is not prime. Res64: 7D9964338641929F Time : 0.0 sec. user=mdettweiler [2016-02-16 23:12:45] 849*2^1422184-1 is not prime. Res64: EEAF2C306C21D7AD Time : 0.0 sec. user=mdettweiler [2016-02-16 23:12:45] 903*2^1422184-1 is not prime. Res64: E0C038C0CD22176B Time : 0.0 sec. user=mdettweiler [2016-02-16 23:24:17] 959*2^1422184-1 is not prime. Res64: 9B832695E6D8E182 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:24:18] 989*2^1422184-1 is not prime. Res64: 09E2A262BC7B52C0 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:24:20] 697*2^1422185-1 is not prime. Res64: 09B63B06448B1AAF Time : 0.0 sec. user=mdettweiler [2016-02-16 23:24:21] 735*2^1422185-1 is not prime. Res64: 5A06EF8D0FC15B16 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:30:19] 777*2^1422185-1 is not prime. Res64: B1282672EE899E4F Time : 0.0 sec. user=mdettweiler [2016-02-16 23:30:20] 781*2^1422185-1 is not prime. Res64: 42F805E2E2E9ADFB Time : 0.0 sec. user=mdettweiler [2016-02-16 23:41:53] 789*2^1422185-1 is not prime. Res64: 9ECB8929FF120A00 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:41:54] 795*2^1422185-1 is not prime. Res64: 2D20885F5D4B3EE7 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:41:55] 847*2^1422185-1 is not prime. Res64: C409DFEE503F65DE Time : 0.0 sec. user=mdettweiler [2016-02-16 23:41:55] 949*2^1422185-1 is not prime. Res64: 028E526B1F960334 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:47:57] 647*2^1422186-1 is not prime. Res64: D064C0C9524FF794 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:47:57] 653*2^1422186-1 is not prime. Res64: D8F170A8CFEE9B8E Time : 0.0 sec. user=mdettweiler [2016-02-16 23:59:44] 671*2^1422186-1 is not prime. Res64: 43BA1785E59A3650 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:59:44] 735*2^1422186-1 is not prime. Res64: D9C21D8822BBE73C Time : 0.0 sec. user=mdettweiler [2016-02-16 23:59:49] 803*2^1422186-1 is not prime. Res64: 929687534BB74C80 Time : 0.0 sec. user=mdettweiler [2016-02-16 23:59:50] 807*2^1422186-1 is not prime. Res64: EFE33F3D3F33E9C8 Time : 0.0 sec.