user=mdettweiler [2016-08-21 00:18:18] 605*2^1437940-1 is not prime. Res64: 4E30993D2A5EF577 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:18] 623*2^1437940-1 is not prime. Res64: 3508C085CC0F2CD4 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:19] 953*2^1437938-1 is not prime. Res64: 8C50BE9C1E5E01F5 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:19] 665*2^1437940-1 is not prime. Res64: 6072179F23A5EF0E Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:19] 1001*2^1437938-1 is not prime. Res64: DDDCE3536E2C085B Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:19] 863*2^1437940-1 is not prime. Res64: 9DB8C793F8274568 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:19] 663*2^1437939-1 is not prime. Res64: F98DE731F796580C Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:20] 915*2^1437940-1 is not prime. Res64: 1CEFA782CCCC4451 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:20] 735*2^1437939-1 is not prime. Res64: 388C030A5290DBB1 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:20] 961*2^1437939-1 is not prime. Res64: D703C8F5A872FDB3 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:24] 927*2^1437940-1 is not prime. Res64: 6DC93ED3F97398FD Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:25] 619*2^1437941-1 is not prime. Res64: C2A7B19E062419F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:25] 631*2^1437941-1 is not prime. Res64: 57C5A063060D9A92 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:26] 657*2^1437941-1 is not prime. Res64: 08ACE0013EE1082C Time : 0.0 sec. user=mdettweiler [2016-08-21 00:18:26] 727*2^1437941-1 is not prime. Res64: 69BCD3E9CBAF0BD8 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:35:56] 741*2^1437941-1 is not prime. Res64: 847BCCD5E74FA328 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:35:56] 825*2^1437941-1 is not prime. Res64: D1AAABCA3C278B48 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:35:56] 861*2^1437941-1 is not prime. Res64: C9C8E0E317A55DF7 Time : 0.0 sec. user=mdettweiler [2016-08-21 00:35:57] 955*2^1437941-1 is not prime. Res64: D4B861175CCDF8BC Time : 0.0 sec. user=mdettweiler [2016-08-21 00:35:57] 987*2^1437941-1 is not prime. Res64: 2A1EA43D0B205C8F Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:38] 621*2^1437942-1 is not prime. Res64: D532EDB5CD427EB4 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:39] 681*2^1437942-1 is not prime. Res64: 60E23201C29F686D Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:41] 695*2^1437942-1 is not prime. Res64: 25C989308E7C58AD Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:42] 765*2^1437942-1 is not prime. Res64: 3B6D4D041A54AB1F Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:44] 791*2^1437942-1 is not prime. Res64: A0805FF229B46277 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:51] 947*2^1437942-1 is not prime. Res64: 10B26519F358FF35 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:53] 1001*2^1437942-1 is not prime. Res64: 305F21C70A7539E6 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:56] 619*2^1437943-1 is not prime. Res64: A026102E30FA3DEC Time : 0.0 sec. user=mdettweiler [2016-08-21 01:02:59] 625*2^1437943-1 is not prime. Res64: 4DBC2691D95367DA Time : 0.0 sec. user=mdettweiler [2016-08-21 01:03:02] 723*2^1437943-1 is not prime. Res64: E150DE8178D7C2F5 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:03:09] 889*2^1437943-1 is not prime. Res64: 1631175D24DBFA11 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:20:41] 825*2^1437944-1 is not prime. Res64: 66C3463FCE5DA703 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:20:42] 915*2^1437944-1 is not prime. Res64: F8FDFCACE8700444 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:20:42] 927*2^1437944-1 is not prime. Res64: 72128F894B6296DD Time : 0.0 sec. user=mdettweiler [2016-08-21 01:20:43] 959*2^1437944-1 is not prime. Res64: 0D9278C4B15B8A4D Time : 0.0 sec. user=mdettweiler [2016-08-21 01:20:43] 627*2^1437945-1 is not prime. Res64: 3FE115C2A59BB6F1 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:00] 651*2^1437945-1 is not prime. Res64: CBD158592D64F456 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:00] 657*2^1437945-1 is not prime. Res64: 5D9FC09FE6CAF294 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:01] 685*2^1437945-1 is not prime. Res64: F90863D22C461F13 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:01] 691*2^1437945-1 is not prime. Res64: C30AC996A0A1A5EA Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:02] 777*2^1437945-1 is not prime. Res64: EEC1F7443F5A5F36 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:36] 871*2^1437945-1 is not prime. Res64: D12E41234B208781 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:36] 671*2^1437946-1 is not prime. Res64: B35EFC543644BEDA Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:36] 911*2^1437946-1 is not prime. Res64: E8F165002B9D3315 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:37] 975*2^1437946-1 is not prime. Res64: C0EA38C250987C19 Time : 0.0 sec. user=mdettweiler [2016-08-21 01:48:37] 703*2^1437947-1 is not prime. Res64: 3937341D9EECF6A9 Time : 0.0 sec. user=juhehe [2016-08-21 01:53:25] 735*2^1437947-1 is not prime. Res64: FE402D664B218234 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:06:02] 801*2^1437947-1 is not prime. Res64: E714A3184F9ABD42 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:06:03] 861*2^1437947-1 is not prime. Res64: B6E9F20516D1CC76 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:06:04] 879*2^1437947-1 is not prime. Res64: 1B65F1BA82F03E2A Time : 0.0 sec. user=mdettweiler [2016-08-21 02:06:05] 949*2^1437947-1 is not prime. Res64: 5F7FBE495ECE80D3 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:06:06] 843*2^1437948-1 is not prime. Res64: 4C9C0C738020C67B Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:18] 977*2^1437948-1 is not prime. Res64: B2107BB395ECA525 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:19] 625*2^1437949-1 is not prime. Res64: 591271C677CE2393 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:19] 679*2^1437949-1 is not prime. Res64: 44C6919C78230612 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:19] 747*2^1437949-1 is not prime. Res64: 4B444D34F7906930 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:20] 885*2^1437949-1 is not prime. Res64: EB129EF249F840C6 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:46] 711*2^1437950-1 is not prime. Res64: B9ED8A9801D8BAE7 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:47] 773*2^1437950-1 is not prime. Res64: A1D4D25467AF914C Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:47] 827*2^1437950-1 is not prime. Res64: 8CA805AE835AB747 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:48] 831*2^1437950-1 is not prime. Res64: 9E89696B4A4256AD Time : 0.0 sec. user=mdettweiler [2016-08-21 02:33:48] 915*2^1437950-1 is not prime. Res64: 8AF2B2014FA74DE7 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:51:35] 685*2^1437951-1 is not prime. Res64: 21288B11C55C4F25 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:51:36] 705*2^1437951-1 is not prime. Res64: CD6FF8467CC4497F Time : 0.0 sec. user=mdettweiler [2016-08-21 02:51:37] 709*2^1437951-1 is not prime. Res64: F230FCEBA7E34746 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:51:37] 793*2^1437951-1 is not prime. Res64: 1074A15CA67E8002 Time : 0.0 sec. user=mdettweiler [2016-08-21 02:51:38] 849*2^1437951-1 is not prime. Res64: 9DE4EDC547CFC097 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:16:58] 901*2^1437943-1 is not prime. Res64: 6409A198A2ABB0A8 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:16:59] 615*2^1437944-1 is not prime. Res64: 52E669F530026274 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:17:00] 663*2^1437944-1 is not prime. Res64: 4CAF676A82D20CBA Time : 0.0 sec. user=mdettweiler [2016-08-21 03:17:01] 767*2^1437944-1 is not prime. Res64: 2DD910F457094ACA Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:24] 885*2^1437951-1 is not prime. Res64: 6EECDD7EB8C99956 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:24] 895*2^1437951-1 is not prime. Res64: 39E8366CAD7F0C32 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:25] 969*2^1437951-1 is not prime. Res64: 5DEE9513A93A99B7 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:25] 653*2^1437952-1 is not prime. Res64: 3FB9787F3F4B6C99 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:26] 713*2^1437952-1 is not prime. Res64: BD182595E0722B8E Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:58] 759*2^1437952-1 is not prime. Res64: 4FFF2DB37C052CE5 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:59] 939*2^1437952-1 is not prime. Res64: F4B01F79657F1B5E Time : 0.0 sec. user=mdettweiler [2016-08-21 03:18:59] 965*2^1437952-1 is not prime. Res64: DE225F1F5E068C46 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:19:00] 627*2^1437953-1 is not prime. Res64: CB1E3D3F175BEB43 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:19:00] 735*2^1437953-1 is not prime. Res64: C9E7AEF03AA18DA9 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:36:37] 741*2^1437953-1 is not prime. Res64: 6A1D7FD54B217F04 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:36:39] 769*2^1437953-1 is not prime. Res64: 083295B5911BF12C Time : 0.0 sec. user=mdettweiler [2016-08-21 03:36:40] 847*2^1437953-1 is not prime. Res64: 429CDDCCE9FE2EEA Time : 0.0 sec. user=mdettweiler [2016-08-21 03:36:41] 861*2^1437953-1 is not prime. Res64: 86D3126336A0FB30 Time : 0.0 sec. user=mdettweiler [2016-08-21 03:36:41] 635*2^1437954-1 is not prime. Res64: DDE43C0023BF95F2 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:02:02] 651*2^1437954-1 is not prime. Res64: 21552476687F6F33 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:11] 915*2^1437955-1 is not prime. Res64: 638834DD8A6A2E7F Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:16] 689*2^1437956-1 is not prime. Res64: EEFD24BF7FA0B270 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:19] 725*2^1437956-1 is not prime. Res64: 04A7DD03F1E946C0 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:24] 867*2^1437956-1 is not prime. Res64: 79D2A3A17E2870CB Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:29] 873*2^1437956-1 is not prime. Res64: 60CC99CADE4C9109 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:48] 953*2^1437956-1 is not prime. Res64: 93150F5B5339F220 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:03:51] 639*2^1437957-1 is not prime. Res64: 359C12A766B83BAB Time : 0.0 sec. user=mdettweiler [2016-08-21 04:04:19] 649*2^1437957-1 is not prime. Res64: 64B20ADCD3878004 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:25:47] 717*2^1437957-1 is not prime. Res64: B5F87FBA7AE63C4C Time : 0.0 sec. user=mdettweiler [2016-08-21 04:25:48] 781*2^1437957-1 is not prime. Res64: 6CE7F7B69FE00FAC Time : 0.0 sec. user=mdettweiler [2016-08-21 04:25:49] 861*2^1437957-1 is not prime. Res64: F4F4F5ED8C86BA18 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:25:50] 889*2^1437957-1 is not prime. Res64: 06FC3D8B9664530D Time : 0.0 sec. user=mdettweiler [2016-08-21 04:25:51] 891*2^1437957-1 is not prime. Res64: D98610D9B14A35BF Time : 0.0 sec. user=mdettweiler [2016-08-21 04:30:48] 887*2^1437958-1 is not prime. Res64: 41D25B5EBD490A18 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:58:38] 919*2^1437957-1 is not prime. Res64: D933FCEDA154A8B4 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:58:39] 991*2^1437957-1 is not prime. Res64: A9E77065F42CC1F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:58:39] 611*2^1437958-1 is not prime. Res64: 2D93537FDE8570B1 Time : 0.0 sec. user=mdettweiler [2016-08-21 04:58:39] 707*2^1437958-1 is not prime. Res64: DBABD314339B707C Time : 0.0 sec. user=mdettweiler [2016-08-21 04:58:40] 825*2^1437958-1 is not prime. Res64: C654E31BA677946F Time : 0.0 sec. user=mdettweiler [2016-08-21 05:16:26] 933*2^1437958-1 is not prime. Res64: 251D5AEECEA0AFBE Time : 0.0 sec. user=mdettweiler [2016-08-21 05:16:26] 951*2^1437958-1 is not prime. Res64: 0DF123A4797EDA5A Time : 0.0 sec. user=mdettweiler [2016-08-21 05:16:27] 987*2^1437958-1 is not prime. Res64: 19CA73A24037187B Time : 0.0 sec. user=mdettweiler [2016-08-21 05:16:27] 669*2^1437959-1 is not prime. Res64: ED473BAC086B8519 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:16:27] 789*2^1437959-1 is not prime. Res64: 99FCD54A1C39D484 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:46:35] 823*2^1437959-1 is not prime. Res64: 44D8ECEFAFE12826 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:46:36] 825*2^1437959-1 is not prime. Res64: F7D47AA14675BFD4 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:46:36] 859*2^1437959-1 is not prime. Res64: A562B8ABB05B6F07 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:46:36] 973*2^1437959-1 is not prime. Res64: DD48F232D96A7DA7 Time : 0.0 sec. user=mdettweiler [2016-08-21 05:46:37] 717*2^1437960-1 is not prime. Res64: 180AA242E48D550D Time : 0.0 sec. user=mdettweiler [2016-08-21 06:04:11] 839*2^1437960-1 is not prime. Res64: 0824795D094A8028 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:04:12] 863*2^1437960-1 is not prime. Res64: 135A13E038FF9510 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:04:13] 873*2^1437960-1 is not prime. Res64: D711C2C04CCCFEC3 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:04:14] 875*2^1437960-1 is not prime. Res64: 645A914C116458DE Time : 0.0 sec. user=mdettweiler [2016-08-21 06:04:15] 887*2^1437960-1 is not prime. Res64: 635261CB07AA4661 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:35:04] 619*2^1437961-1 is not prime. Res64: FFF6514CC09B6475 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:35:04] 777*2^1437961-1 is not prime. Res64: 16CC30CD8AA32FA0 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:35:05] 799*2^1437961-1 is not prime. Res64: 69DD248C66B00711 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:35:05] 901*2^1437961-1 is not prime. Res64: F75CB5011CEA0C99 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:35:06] 937*2^1437961-1 is not prime. Res64: 65291295C0358F43 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:53:41] 743*2^1437962-1 is not prime. Res64: 7A0DC1F9189E1C87 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:53:41] 753*2^1437962-1 is not prime. Res64: 97CBC0D61430A925 Time : 0.0 sec. user=mdettweiler [2016-08-21 06:53:42] 797*2^1437962-1 is not prime. Res64: D501527B5312C24B Time : 0.0 sec. user=mdettweiler [2016-08-21 06:53:42] 825*2^1437962-1 is not prime. Res64: ABC0C2D47E15FD3E Time : 0.0 sec. user=mdettweiler [2016-08-21 06:53:42] 935*2^1437962-1 is not prime. Res64: F0D852081D6AA226 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:23:28] 675*2^1437963-1 is not prime. Res64: 60965BF41B9247FA Time : 0.0 sec. user=mdettweiler [2016-08-21 07:23:29] 835*2^1437963-1 is not prime. Res64: 2828D38FF3788F0A Time : 0.0 sec. user=mdettweiler [2016-08-21 07:23:29] 963*2^1437963-1 is not prime. Res64: B19026967D6DD481 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:23:30] 615*2^1437964-1 is not prime. Res64: E4F1AA05B2EAE4DA Time : 0.0 sec. user=mdettweiler [2016-08-21 07:23:30] 623*2^1437964-1 is not prime. Res64: 038F36BC9F3AE7AE Time : 0.0 sec. user=mdettweiler [2016-08-21 07:40:38] 681*2^1437957-1 is not prime. Res64: 3794780B875C2D82 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:40:39] 711*2^1437957-1 is not prime. Res64: C601E1B708BA3D3C Time : 0.0 sec. user=mdettweiler [2016-08-21 07:42:30] 899*2^1437964-1 is not prime. Res64: 8EEEB9D8FBF614BB Time : 0.0 sec. user=mdettweiler [2016-08-21 07:42:30] 959*2^1437964-1 is not prime. Res64: 44DFD13ECB4EB31B Time : 0.0 sec. user=mdettweiler [2016-08-21 07:42:30] 965*2^1437964-1 is not prime. Res64: 6632EE88459003E3 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:42:31] 741*2^1437965-1 is not prime. Res64: B2E6F9161E071DE4 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:42:31] 801*2^1437965-1 is not prime. Res64: DB89ABC5B064D9B4 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:55:33] 767*2^1437954-1 is not prime. Res64: 8E56E3EAC79ED211 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:55:33] 791*2^1437954-1 is not prime. Res64: 1EBDA57960AF99D1 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:55:34] 893*2^1437954-1 is not prime. Res64: 759EAF62EA0B0F83 Time : 0.0 sec. user=mdettweiler [2016-08-21 07:55:34] 921*2^1437954-1 is not prime. Res64: 27A0327651B2BC8F Time : 0.0 sec. user=mdettweiler [2016-08-21 08:09:38] 831*2^1437965-1 is not prime. Res64: 14E4ACEF98BEA636 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:09:40] 987*2^1437965-1 is not prime. Res64: 9B100713358C1CD2 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:09:41] 801*2^1437966-1 is not prime. Res64: EB4FAA1FF33BD05C Time : 0.0 sec. user=mdettweiler [2016-08-21 08:09:42] 851*2^1437966-1 is not prime. Res64: 499585A8AADC36D6 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:09:43] 947*2^1437966-1 is not prime. Res64: AC0B6620CF3DC35E Time : 0.0 sec. user=mdettweiler [2016-08-21 08:25:25] 963*2^1437966-1 is not prime. Res64: 365E0C903E85B886 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:25:25] 729*2^1437967-1 is not prime. Res64: FA68F4B0A8AF5DE7 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:25:25] 735*2^1437967-1 is not prime. Res64: 5AB4748282202C63 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:25:26] 775*2^1437967-1 is not prime. Res64: FBD9D2958A781D98 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:25:26] 885*2^1437967-1 is not prime. Res64: 849C8396EDEC44D1 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:27:10] 933*2^1437967-1 is not prime. Res64: E9864C53BCFBF104 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:27:11] 961*2^1437967-1 is not prime. Res64: 6564F3F7D9DB6ADF Time : 0.0 sec. user=mdettweiler [2016-08-21 08:27:11] 663*2^1437968-1 is not prime. Res64: CCAD01C62DEEC0C2 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:27:12] 665*2^1437968-1 is not prime. Res64: FF71CB300108BDD0 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:27:12] 683*2^1437968-1 is not prime. Res64: 3ACB11AEFC87622F Time : 0.0 sec. user=mdettweiler [2016-08-21 08:40:10] 827*2^1437968-1 is not prime. Res64: 9FAB64CD1F867152 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:40:11] 869*2^1437968-1 is not prime. Res64: 28D4B3100D8B7018 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:40:11] 957*2^1437968-1 is not prime. Res64: E6E21920997AC7D9 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:40:11] 789*2^1437969-1 is not prime. Res64: 69554B97CF2507BA Time : 0.0 sec. user=mdettweiler [2016-08-21 08:40:12] 835*2^1437969-1 is not prime. Res64: 429F5EB1F5D8D6A1 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:54:30] 891*2^1437969-1 is not prime. Res64: 9FB4242D3C45A1F6 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:54:30] 895*2^1437969-1 is not prime. Res64: DA3883E114F9ED77 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:54:31] 687*2^1437970-1 is not prime. Res64: 3F26B6F86B376310 Time : 0.0 sec. user=mdettweiler [2016-08-21 08:54:31] 717*2^1437970-1 is not prime. Res64: 681891E9FC765DBD Time : 0.0 sec. user=mdettweiler [2016-08-21 08:54:31] 773*2^1437970-1 is not prime. Res64: 6F8A74A77862DCBF Time : 0.0 sec. user=mdettweiler [2016-08-21 09:10:09] 933*2^1437970-1 is not prime. Res64: 8AC3A48BD10F9AC4 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:10:10] 619*2^1437971-1 is not prime. Res64: 3D3CF931B89F7130 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:10:11] 741*2^1437971-1 is not prime. Res64: A455CE462EC68CA4 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:10:13] 805*2^1437971-1 is not prime. Res64: A647EC8EF32C6549 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:10:14] 825*2^1437971-1 is not prime. Res64: CB151036DAF863FF Time : 0.0 sec. user=mdettweiler [2016-08-21 09:11:58] 943*2^1437971-1 is not prime. Res64: 55D5924AEF5D03F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:12:00] 945*2^1437971-1 is not prime. Res64: 6266E616B73DB3C3 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:12:02] 949*2^1437971-1 is not prime. Res64: 8E9CDB430D744E5A Time : 0.0 sec. user=mdettweiler [2016-08-21 09:12:03] 623*2^1437972-1 is not prime. Res64: C16D81594D7C407C Time : 0.0 sec. user=mdettweiler [2016-08-21 09:12:05] 627*2^1437972-1 is not prime. Res64: 345485F366E607B3 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:24:53] 699*2^1437972-1 is not prime. Res64: 65C3C6813FEAF419 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:24:53] 825*2^1437972-1 is not prime. Res64: 0A7050F0795E861E Time : 0.0 sec. user=mdettweiler [2016-08-21 09:24:54] 887*2^1437972-1 is not prime. Res64: 02DACBB27F077236 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:24:54] 959*2^1437972-1 is not prime. Res64: CC41084AF3B7D67D Time : 0.0 sec. user=mdettweiler [2016-08-21 09:24:55] 609*2^1437973-1 is not prime. Res64: ADB1A0F725E0D05D Time : 0.0 sec. user=mdettweiler [2016-08-21 09:39:19] 729*2^1437973-1 is not prime. Res64: 33FAFAF9A69F8570 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:39:19] 769*2^1437973-1 is not prime. Res64: 7E14AD1813A3B0E7 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:39:20] 801*2^1437973-1 is not prime. Res64: B2610DF5EE0977BB Time : 0.0 sec. user=mdettweiler [2016-08-21 09:39:20] 819*2^1437973-1 is not prime. Res64: 0434FFD2DA65E348 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:39:21] 859*2^1437973-1 is not prime. Res64: 790AA9037FD35581 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:55:06] 877*2^1437973-1 is not prime. Res64: ACE5A39A2956B012 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:55:07] 961*2^1437973-1 is not prime. Res64: 60E4D0E14C5A3DE8 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:55:07] 987*2^1437973-1 is not prime. Res64: F8AF96039B609C1A Time : 0.0 sec. user=mdettweiler [2016-08-21 09:55:07] 651*2^1437974-1 is not prime. Res64: 60EB95212B6F14DC Time : 0.0 sec. user=mdettweiler [2016-08-21 09:55:08] 797*2^1437974-1 is not prime. Res64: F16B4F9616DA9BFD Time : 0.0 sec. user=mdettweiler [2016-08-21 09:56:47] 885*2^1437974-1 is not prime. Res64: E1F9B76FEE7D4149 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:56:48] 693*2^1437975-1 is not prime. Res64: 884030787256AB45 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:56:48] 723*2^1437975-1 is not prime. Res64: 17EA34D6B66ACEBF Time : 0.0 sec. user=mdettweiler [2016-08-21 09:56:48] 751*2^1437975-1 is not prime. Res64: D33A6D0725B7DE57 Time : 0.0 sec. user=mdettweiler [2016-08-21 09:56:49] 963*2^1437975-1 is not prime. Res64: B9DA57CE4994E5E8 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:09:45] 979*2^1437975-1 is not prime. Res64: 0EE66F357F97A6BF Time : 0.0 sec. user=mdettweiler [2016-08-21 10:09:46] 657*2^1437976-1 is not prime. Res64: C1F00EE3E238A228 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:09:46] 857*2^1437976-1 is not prime. Res64: 8E3A935CD72C7C1D Time : 0.0 sec. user=mdettweiler [2016-08-21 10:09:47] 993*2^1437976-1 is not prime. Res64: 8742ECA378DAEE58 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:09:47] 607*2^1437977-1 is not prime. Res64: BB9E10B21B1C0489 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:24:01] 645*2^1437977-1 is not prime. Res64: B68F8B288EC611B1 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:24:01] 651*2^1437977-1 is not prime. Res64: AE97D218CBC122AC Time : 0.0 sec. user=mdettweiler [2016-08-21 10:24:01] 699*2^1437977-1 is not prime. Res64: 9925E69618EF3052 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:24:02] 633*2^1437978-1 is not prime. Res64: 364EC1378F41216A Time : 0.0 sec. user=mdettweiler [2016-08-21 10:24:02] 707*2^1437978-1 is not prime. Res64: 329E326A798744A4 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:40:02] 755*2^1437978-1 is not prime. Res64: EB974FF5ACDA411E Time : 0.0 sec. user=mdettweiler [2016-08-21 10:40:02] 791*2^1437978-1 is not prime. Res64: 2594128FE8B9B985 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:40:02] 645*2^1437979-1 is not prime. Res64: 63F7FD8D02619600 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:40:03] 663*2^1437979-1 is not prime. Res64: 415C86A93BA6CD26 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:40:03] 691*2^1437979-1 is not prime. Res64: 9D9FB88476D59686 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:41:33] 889*2^1437979-1 is not prime. Res64: CCB64BBCA9E91DD6 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:41:33] 951*2^1437979-1 is not prime. Res64: 4429F5F3F7A557AB Time : 0.0 sec. user=mdettweiler [2016-08-21 10:41:33] 969*2^1437979-1 is not prime. Res64: BDAEAA8AFECC65BD Time : 0.0 sec. user=mdettweiler [2016-08-21 10:41:34] 633*2^1437980-1 is not prime. Res64: 95785A911CFB24BC Time : 0.0 sec. user=mdettweiler [2016-08-21 10:41:34] 635*2^1437980-1 is not prime. Res64: B56BD8B5EBA69620 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:54:35] 647*2^1437980-1 is not prime. Res64: 759C8459185250DA Time : 0.0 sec. user=mdettweiler [2016-08-21 10:54:35] 669*2^1437980-1 is not prime. Res64: AA27B244B483F613 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:54:35] 675*2^1437980-1 is not prime. Res64: 5DF5E648C335C5E2 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:54:36] 797*2^1437980-1 is not prime. Res64: 867624C2C679DB89 Time : 0.0 sec. user=mdettweiler [2016-08-21 10:54:36] 977*2^1437980-1 is not prime. Res64: D7CF4DF16D7F3739 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:08:35] 983*2^1437980-1 is not prime. Res64: 5AE53707752F1261 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:08:36] 727*2^1437981-1 is not prime. Res64: 2820BD4FB3AF60C8 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:08:36] 795*2^1437981-1 is not prime. Res64: FF01CEA818AFCD3D Time : 0.0 sec. user=mdettweiler [2016-08-21 11:08:37] 865*2^1437981-1 is not prime. Res64: 1D512FB5E188CD7A Time : 0.0 sec. user=mdettweiler [2016-08-21 11:08:37] 871*2^1437981-1 is not prime. Res64: BDCE2F0847E33733 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:24:39] 885*2^1437981-1 is not prime. Res64: 9993B5F22C8E3545 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:24:39] 949*2^1437981-1 is not prime. Res64: F20236227169F2FC Time : 0.0 sec. user=mdettweiler [2016-08-21 11:24:39] 617*2^1437982-1 is not prime. Res64: 9D816CF4CAE9BC81 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:24:40] 671*2^1437982-1 is not prime. Res64: 913D5B3AE7815AE1 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:24:40] 791*2^1437982-1 is not prime. Res64: 5F4E6D706C37A1FC Time : 0.0 sec. user=mdettweiler [2016-08-21 11:26:16] 815*2^1437982-1 is not prime. Res64: CC52C7419F351B57 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:26:16] 827*2^1437982-1 is not prime. Res64: 0FEC5D5E80BFA347 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:26:17] 833*2^1437982-1 is not prime. Res64: 168A95A2F2BF2D1C Time : 0.0 sec. user=mdettweiler [2016-08-21 11:26:17] 863*2^1437982-1 is not prime. Res64: 4CC18C35AA380C7F Time : 0.0 sec. user=mdettweiler [2016-08-21 11:26:18] 891*2^1437982-1 is not prime. Res64: B71B1054EDEC14E9 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:39:02] 915*2^1437982-1 is not prime. Res64: A29CBFAA33914F56 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:39:02] 965*2^1437982-1 is not prime. Res64: 28648B20616B537B Time : 0.0 sec. user=mdettweiler [2016-08-21 11:39:02] 975*2^1437982-1 is not prime. Res64: EB51FA358CE0B5C2 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:39:03] 603*2^1437983-1 is not prime. Res64: 6A2E4AA22DB630C9 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:39:03] 703*2^1437983-1 is not prime. Res64: FEF43EBFC2CBC4AC Time : 0.0 sec. user=mdettweiler [2016-08-21 11:53:18] 735*2^1437983-1 is not prime. Res64: D2AC088C0E248C24 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:53:18] 745*2^1437983-1 is not prime. Res64: 05992EB62105EDEE Time : 0.0 sec. user=mdettweiler [2016-08-21 11:53:18] 823*2^1437983-1 is not prime. Res64: 7AAA50214B47C421 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:53:19] 889*2^1437983-1 is not prime. Res64: E0D5F79A71B62483 Time : 0.0 sec. user=mdettweiler [2016-08-21 11:53:19] 955*2^1437983-1 is not prime. Res64: 47B3D7EC10E23E3F Time : 0.0 sec. user=mdettweiler [2016-08-21 12:09:43] 991*2^1437983-1 is not prime. Res64: 1B45C613D2C28CF0 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:09:43] 675*2^1437984-1 is not prime. Res64: DB00307F9A416756 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:09:43] 693*2^1437984-1 is not prime. Res64: 92E5B7AC887D6E83 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:09:43] 909*2^1437984-1 is not prime. Res64: 8727DA35A4C74305 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:09:44] 601*2^1437985-1 is not prime. Res64: 6EF468B8487F8B70 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:11:38] 661*2^1437985-1 is not prime. Res64: D25C475756803479 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:11:39] 667*2^1437985-1 is not prime. Res64: FCCC346ACB81A5AA Time : 0.0 sec. user=mdettweiler [2016-08-21 12:11:39] 841*2^1437985-1 is not prime. Res64: BAEE2547EC11D6DC Time : 0.0 sec. user=mdettweiler [2016-08-21 12:11:40] 847*2^1437985-1 is not prime. Res64: C1BFA649FB76C997 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:11:41] 889*2^1437985-1 is not prime. Res64: 62CF27575938E2DF Time : 0.0 sec. user=mdettweiler [2016-08-21 12:25:40] 919*2^1437985-1 is not prime. Res64: 118A616B63C16624 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:25:40] 831*2^1437986-1 is not prime. Res64: C909A2EF791A3D26 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:25:40] 609*2^1437987-1 is not prime. Res64: 0C9A34D1106A6AEF Time : 0.0 sec. user=mdettweiler [2016-08-21 12:25:40] 651*2^1437987-1 is not prime. Res64: 1C3428480FF1D1C2 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:25:41] 735*2^1437987-1 is not prime. Res64: 5479312AEB105541 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:41:27] 835*2^1437987-1 is not prime. Res64: 66A917AD4B83B316 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:41:28] 871*2^1437987-1 is not prime. Res64: 31E2E6FCA68B1609 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:41:28] 879*2^1437987-1 is not prime. Res64: 774DA098B68EDFA3 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:41:29] 931*2^1437987-1 is not prime. Res64: 6C1F747EF8A42CE6 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:41:29] 963*2^1437987-1 is not prime. Res64: 2C7E837A53B00426 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:57:12] 603*2^1437988-1 is not prime. Res64: 0D42B7E934CD6072 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:57:12] 615*2^1437988-1 is not prime. Res64: 2488C88514081C94 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:57:12] 663*2^1437988-1 is not prime. Res64: 1EE41C6E0DA560A4 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:57:13] 855*2^1437988-1 is not prime. Res64: 21C31CEF47BF6938 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:57:13] 875*2^1437988-1 is not prime. Res64: AC977F016B29324E Time : 0.0 sec. user=mdettweiler [2016-08-21 12:58:33] 885*2^1437988-1 is not prime. Res64: 96B0277EACA1AFA4 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:58:33] 959*2^1437988-1 is not prime. Res64: 550041A6E6156499 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:58:34] 675*2^1437989-1 is not prime. Res64: 8BD3478B8CABBF0B Time : 0.0 sec. user=mdettweiler [2016-08-21 12:58:34] 697*2^1437989-1 is not prime. Res64: 5FFD5A7258358F50 Time : 0.0 sec. user=mdettweiler [2016-08-21 12:58:35] 721*2^1437989-1 is not prime. Res64: 88F194AFA34BFDEC Time : 0.0 sec. user=mdettweiler [2016-08-21 13:11:07] 759*2^1437989-1 is not prime. Res64: B0878CC61A691BD9 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:11:08] 811*2^1437989-1 is not prime. Res64: 1CC271759D418D13 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:11:08] 885*2^1437989-1 is not prime. Res64: 2F64324CCF58BE1F Time : 0.0 sec. user=mdettweiler [2016-08-21 13:11:09] 717*2^1437990-1 is not prime. Res64: 6482436B872C5DA1 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:11:09] 755*2^1437990-1 is not prime. Res64: 7552D6996F6CC234 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:26:02] 833*2^1437990-1 is not prime. Res64: A5C8843FF90AE4DE Time : 0.0 sec. user=mdettweiler [2016-08-21 13:26:03] 861*2^1437990-1 is not prime. Res64: C30F82288D011DCE Time : 0.0 sec. user=mdettweiler [2016-08-21 13:26:03] 945*2^1437990-1 is not prime. Res64: 01D0AC8876E81F1A Time : 0.0 sec. user=mdettweiler [2016-08-21 13:26:04] 759*2^1437991-1 is not prime. Res64: 2EFB58F6BE268EDD Time : 0.0 sec. user=mdettweiler [2016-08-21 13:26:04] 819*2^1437991-1 is not prime. Res64: 8D0A072ECFCF3949 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:41:55] 829*2^1437991-1 is not prime. Res64: DE158784FB1587E4 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:41:55] 843*2^1437991-1 is not prime. Res64: 073B7945C97B3D91 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:41:55] 943*2^1437991-1 is not prime. Res64: C2663FFF16C50076 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:41:56] 609*2^1437992-1 is not prime. Res64: 92B5A0F3732876C3 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:41:56] 617*2^1437992-1 is not prime. Res64: 8B9D8522349A5BD3 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:43:10] 689*2^1437992-1 is not prime. Res64: C0AACB203DB61234 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:43:11] 819*2^1437992-1 is not prime. Res64: ADAC80AD2152B4C5 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:43:11] 855*2^1437992-1 is not prime. Res64: 58368766D6138566 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:43:11] 867*2^1437992-1 is not prime. Res64: AAB8DE964C3E3287 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:43:12] 899*2^1437992-1 is not prime. Res64: 3A994BF727654F53 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:55:53] 983*2^1437992-1 is not prime. Res64: 823671114BEA0074 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:55:53] 685*2^1437993-1 is not prime. Res64: 2F0793FE248C09B9 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:55:54] 811*2^1437993-1 is not prime. Res64: 388446BC98026434 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:55:55] 819*2^1437993-1 is not prime. Res64: C175486B9B5DC569 Time : 0.0 sec. user=mdettweiler [2016-08-21 13:55:56] 837*2^1437993-1 is not prime. Res64: 219C09F5DA77C928 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:10:37] 861*2^1437993-1 is not prime. Res64: 68FDC768B51CBB0B Time : 0.0 sec. user=mdettweiler [2016-08-21 14:10:37] 991*2^1437993-1 is not prime. Res64: DEF6C1E2BF855D30 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:10:38] 633*2^1437994-1 is not prime. Res64: F7D9E5BD37188734 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:10:38] 657*2^1437994-1 is not prime. Res64: F62BA59E5F1F0BE4 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:10:39] 707*2^1437994-1 is not prime. Res64: 0A49F975C858BDDC Time : 0.0 sec. user=mdettweiler [2016-08-21 14:26:39] 833*2^1437994-1 is not prime. Res64: C609A09C771D23E4 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:26:40] 675*2^1437995-1 is not prime. Res64: 8533ADDF0B406260 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:26:41] 783*2^1437995-1 is not prime. Res64: 13D7D58E78F5AB86 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:26:42] 913*2^1437995-1 is not prime. Res64: 111BF1B648A68B4C Time : 0.0 sec. user=mdettweiler [2016-08-21 14:26:42] 985*2^1437995-1 is not prime. Res64: 267B7702408C23B5 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:27:52] 609*2^1437996-1 is not prime. Res64: C705A6689716525A Time : 0.0 sec. user=mdettweiler [2016-08-21 14:27:52] 683*2^1437996-1 is not prime. Res64: CD91381BE6C6A89A Time : 0.0 sec. user=mdettweiler [2016-08-21 14:27:52] 845*2^1437996-1 is not prime. Res64: 7B60D17A0B5AB8A6 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:27:53] 875*2^1437996-1 is not prime. Res64: 6F56701E259BB84E Time : 0.0 sec. user=mdettweiler [2016-08-21 14:27:53] 909*2^1437996-1 is not prime. Res64: 3C9B53E0FE635884 Time : 0.0 sec. user=juhehe [2016-08-21 14:37:18] 649*2^1437997-1 is not prime. Res64: EC71F0FB649F1E83 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:41:42] 651*2^1437997-1 is not prime. Res64: CF578E6A2652678E Time : 0.0 sec. user=mdettweiler [2016-08-21 14:41:43] 687*2^1437997-1 is not prime. Res64: 5210F3B532141944 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:41:43] 759*2^1437997-1 is not prime. Res64: 402796BFA721BEF6 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:41:44] 801*2^1437997-1 is not prime. Res64: 64E7DC4E8475CD6F Time : 0.0 sec. user=mdettweiler [2016-08-21 14:41:44] 859*2^1437997-1 is not prime. Res64: 96750C46F7A4D534 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:56:44] 889*2^1437997-1 is not prime. Res64: 6A25DFA8A8A574CA Time : 0.0 sec. user=mdettweiler [2016-08-21 14:56:44] 931*2^1437997-1 is not prime. Res64: 7EC16B58FE45CAC4 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:56:44] 955*2^1437997-1 is not prime. Res64: 8A20C14940D0D7F4 Time : 0.0 sec. user=mdettweiler [2016-08-21 14:56:45] 957*2^1437997-1 is not prime. Res64: 276F4DA9426E107D Time : 0.0 sec. user=mdettweiler [2016-08-21 14:56:45] 985*2^1437997-1 is not prime. Res64: 83720E2668AA1CB9 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:13:40] 997*2^1437997-1 is not prime. Res64: 93AA8B2BA38519CC Time : 0.0 sec. user=mdettweiler [2016-08-21 15:13:41] 683*2^1437998-1 is not prime. Res64: ADB35ECFF3C84F66 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:13:41] 731*2^1437998-1 is not prime. Res64: 890528C974E4F5AE Time : 0.0 sec. user=mdettweiler [2016-08-21 15:13:42] 753*2^1437998-1 is not prime. Res64: 72C165A0819216C1 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:13:42] 861*2^1437998-1 is not prime. Res64: 035FEF97C8507626 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:15:39] 911*2^1437998-1 is not prime. Res64: 0FBE1875342C99F5 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:15:39] 941*2^1437998-1 is not prime. Res64: 2F168CD0E37B471F Time : 0.0 sec. user=mdettweiler [2016-08-21 15:15:39] 619*2^1437999-1 is not prime. Res64: EC254419A793867C Time : 0.0 sec. user=mdettweiler [2016-08-21 15:15:40] 661*2^1437999-1 is not prime. Res64: 9DD8F7A756787202 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:15:40] 663*2^1437999-1 is not prime. Res64: E1680299B7BC231F Time : 0.0 sec. user=mdettweiler [2016-08-21 15:28:05] 721*2^1437999-1 is not prime. Res64: 32EB6EF5428FC55C Time : 0.0 sec. user=mdettweiler [2016-08-21 15:28:05] 751*2^1437999-1 is not prime. Res64: C50B933B408A797F Time : 0.0 sec. user=mdettweiler [2016-08-21 15:28:05] 829*2^1437999-1 is not prime. Res64: D64FD4C1DDD4F8FF Time : 0.0 sec. user=mdettweiler [2016-08-21 15:28:06] 853*2^1437999-1 is not prime. Res64: 5F67ABA38A09E1A7 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:28:06] 933*2^1437999-1 is not prime. Res64: 0990DE8CFF73A0F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:42:23] 951*2^1437999-1 is not prime. Res64: B53EECC7CD6F205D Time : 0.0 sec. user=mdettweiler [2016-08-21 15:42:23] 813*2^1438000-1 is not prime. Res64: DD9A9DD222216C8B Time : 0.0 sec. user=mdettweiler [2016-08-21 15:42:23] 927*2^1438000-1 is not prime. Res64: F1532814A92E2100 Time : 0.0 sec. user=mdettweiler [2016-08-21 15:42:24] 717*2^1438001-1 is not prime. Res64: DACB71C4FA41DCFD Time : 0.0 sec. user=mdettweiler [2016-08-21 15:42:24] 885*2^1438001-1 is not prime. Res64: 913CA5480B36F6AE Time : 0.0 sec. user=mdettweiler [2016-08-21 16:00:18] 949*2^1438001-1 is not prime. Res64: 53F6AA7B1F858948 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:00:19] 657*2^1438002-1 is not prime. Res64: F59D902845CF1E82 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:00:20] 825*2^1438002-1 is not prime. Res64: C85CE0DA1A35C8DB Time : 0.0 sec. user=mdettweiler [2016-08-21 16:00:21] 963*2^1438002-1 is not prime. Res64: C52E923892728160 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:00:22] 975*2^1438002-1 is not prime. Res64: 3A77BD7C34FD00F7 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:02:12] 681*2^1438003-1 is not prime. Res64: FB3A8E35D39FCF35 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:02:15] 703*2^1438003-1 is not prime. Res64: 39F84BD67A6AD298 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:02:18] 835*2^1438003-1 is not prime. Res64: 47C9AB4C80C41CEC Time : 0.0 sec. user=mdettweiler [2016-08-21 16:02:21] 925*2^1438003-1 is not prime. Res64: FC94F7733ECEC020 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:02:25] 985*2^1438003-1 is not prime. Res64: 5A95D75A61F0F25F Time : 0.0 sec. user=mdettweiler [2016-08-21 16:15:09] 725*2^1438004-1 is not prime. Res64: 5552611E56D4D1DB Time : 0.0 sec. user=mdettweiler [2016-08-21 16:15:09] 813*2^1438004-1 is not prime. Res64: D2C651136C8E2034 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:15:10] 903*2^1438004-1 is not prime. Res64: 70A61D2E05D76C13 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:15:10] 609*2^1438005-1 is not prime. Res64: 4389EC7B46C66076 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:15:10] 655*2^1438005-1 is not prime. Res64: 52455E210B2DE2E5 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:29:50] 795*2^1438005-1 is not prime. Res64: 6C924834FEAFC322 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:29:51] 817*2^1438005-1 is not prime. Res64: 1E1703C7E12C0869 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:29:51] 889*2^1438005-1 is not prime. Res64: 17D4B92BCBBCBD0A Time : 0.0 sec. user=mdettweiler [2016-08-21 16:29:52] 915*2^1438005-1 is not prime. Res64: 86F0C682FE426BF7 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:29:52] 755*2^1438006-1 is not prime. Res64: 44A91647374D1F2F Time : 0.0 sec. user=mdettweiler [2016-08-21 16:48:18] 917*2^1438006-1 is not prime. Res64: 521A096F40FCD1FC Time : 0.0 sec. user=mdettweiler [2016-08-21 16:48:19] 945*2^1438006-1 is not prime. Res64: 801B4ACA26C87CC4 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:48:19] 675*2^1438007-1 is not prime. Res64: 8EDD64D66A8DF409 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:48:19] 615*2^1438008-1 is not prime. Res64: 3701CD9B9FFF7BFC Time : 0.0 sec. user=mdettweiler [2016-08-21 16:48:20] 683*2^1438008-1 is not prime. Res64: E2A9AF440B2F3E50 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:49:48] 777*2^1438008-1 is not prime. Res64: AAADF96975B83C4F Time : 0.0 sec. user=mdettweiler [2016-08-21 16:49:49] 843*2^1438008-1 is not prime. Res64: 461D886218322101 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:49:49] 845*2^1438008-1 is not prime. Res64: FA880C8F133786E4 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:49:49] 909*2^1438008-1 is not prime. Res64: 3700D22BAC2CE449 Time : 0.0 sec. user=mdettweiler [2016-08-21 16:49:50] 945*2^1438008-1 is not prime. Res64: 44758A57FF8BE65A Time : 0.0 sec. user=mdettweiler [2016-08-21 17:02:17] 721*2^1438009-1 is not prime. Res64: A143F007CB0A980B Time : 0.0 sec. user=mdettweiler [2016-08-21 17:02:21] 801*2^1438009-1 is not prime. Res64: 2CB87950A3B5DBC2 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:02:23] 811*2^1438009-1 is not prime. Res64: 86156050D379F0FF Time : 0.0 sec. user=mdettweiler [2016-08-21 17:02:26] 997*2^1438009-1 is not prime. Res64: AA937F4BBCAA86C4 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:02:28] 833*2^1438010-1 is not prime. Res64: 2DCAB837A4DC2CEF Time : 0.0 sec. user=mdettweiler [2016-08-21 17:15:38] 911*2^1438010-1 is not prime. Res64: 954CDB0D8E90E64F Time : 0.0 sec. user=mdettweiler [2016-08-21 17:15:40] 935*2^1438010-1 is not prime. Res64: 461A71D1EB637C17 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:15:42] 609*2^1438011-1 is not prime. Res64: 072F9BBDAA8353DE Time : 0.0 sec. user=mdettweiler [2016-08-21 17:15:45] 649*2^1438011-1 is not prime. Res64: BD02BBBF5D2FCAD0 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:15:53] 723*2^1438011-1 is not prime. Res64: F9DDECCFA3247B3A Time : 0.0 sec. user=mdettweiler [2016-08-21 17:33:34] 741*2^1438011-1 is not prime. Res64: 05FF880CF9E4A4F1 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:33:34] 795*2^1438011-1 is not prime. Res64: D7E785C57992A26B Time : 0.0 sec. user=mdettweiler [2016-08-21 17:33:35] 909*2^1438011-1 is not prime. Res64: DA87E37BE3AA7F51 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:33:35] 973*2^1438011-1 is not prime. Res64: 803BE526AED0A04F Time : 0.0 sec. user=mdettweiler [2016-08-21 17:33:35] 975*2^1438011-1 is not prime. Res64: EEBD817E1DB18466 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:34:50] 999*2^1438011-1 is not prime. Res64: 467BFF8F17C43CE5 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:34:50] 705*2^1438012-1 is not prime. Res64: 914908C5562F617D Time : 0.0 sec. user=mdettweiler [2016-08-21 17:34:51] 857*2^1438012-1 is not prime. Res64: 4DC036A735FDA9FA Time : 0.0 sec. user=mdettweiler [2016-08-21 17:34:51] 995*2^1438012-1 is not prime. Res64: 14CAB4DF9E238B73 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:34:51] 675*2^1438013-1 is not prime. Res64: 59D21AC2450BECC3 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:47:56] 721*2^1438013-1 is not prime. Res64: 99E830C8B10327B7 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:47:56] 745*2^1438013-1 is not prime. Res64: 02C59E7DD280495F Time : 0.0 sec. user=mdettweiler [2016-08-21 17:47:57] 775*2^1438013-1 is not prime. Res64: 1258D78DFE627E6C Time : 0.0 sec. user=mdettweiler [2016-08-21 17:47:57] 871*2^1438013-1 is not prime. Res64: E5C5737207A517B7 Time : 0.0 sec. user=mdettweiler [2016-08-21 17:47:58] 889*2^1438013-1 is not prime. Res64: 023F2A5DF09EFCAE Time : 0.0 sec. user=mdettweiler [2016-08-21 18:01:06] 949*2^1438013-1 is not prime. Res64: E2AAB33C017CEFD8 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:01:07] 951*2^1438013-1 is not prime. Res64: 2FE09D5B995D9A3C Time : 0.0 sec. user=mdettweiler [2016-08-21 18:01:08] 981*2^1438013-1 is not prime. Res64: A0D1B0FFBCCD639D Time : 0.0 sec. user=mdettweiler [2016-08-21 18:01:09] 677*2^1438014-1 is not prime. Res64: 470231A8685F931E Time : 0.0 sec. user=mdettweiler [2016-08-21 18:01:10] 725*2^1438014-1 is not prime. Res64: 4DE451A71AACA52F Time : 0.0 sec. user=mdettweiler [2016-08-21 18:18:35] 917*2^1438014-1 is not prime. Res64: D74582FD132FBE79 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:18:36] 1001*2^1438014-1 is not prime. Res64: 817DD5D81BB63824 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:18:37] 673*2^1438015-1 is not prime. Res64: D7DAB41545FEFB68 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:18:37] 679*2^1438015-1 is not prime. Res64: 434D49A7B1B6E73B Time : 0.0 sec. user=mdettweiler [2016-08-21 18:18:38] 789*2^1438015-1 is not prime. Res64: 69257FBC7A55C6D2 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:19:42] 819*2^1438015-1 is not prime. Res64: C34D9C7A2200D708 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:19:43] 909*2^1438015-1 is not prime. Res64: 45F01FB8248CBA2F Time : 0.0 sec. user=mdettweiler [2016-08-21 18:19:44] 915*2^1438015-1 is not prime. Res64: D3F5B4F9AC8928F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:19:44] 951*2^1438015-1 is not prime. Res64: B5BE7D9E199F161F Time : 0.0 sec. user=mdettweiler [2016-08-21 18:19:45] 609*2^1438016-1 is not prime. Res64: CFFDF61A9CFCDCBA Time : 0.0 sec. user=mdettweiler [2016-08-21 18:32:43] 659*2^1438016-1 is not prime. Res64: 67A137889BC8CD8D Time : 0.0 sec. user=mdettweiler [2016-08-21 18:32:43] 755*2^1438016-1 is not prime. Res64: CF503AB4126718EA Time : 0.0 sec. user=mdettweiler [2016-08-21 18:32:44] 803*2^1438016-1 is not prime. Res64: DF9D1C88B77A692B Time : 0.0 sec. user=mdettweiler [2016-08-21 18:32:44] 825*2^1438016-1 is not prime. Res64: F3B39CEA23842B5A Time : 0.0 sec. user=mdettweiler [2016-08-21 18:32:44] 855*2^1438016-1 is not prime. Res64: 56714C065AA8D9B6 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:46:16] 917*2^1438016-1 is not prime. Res64: BB6B5C073737FB94 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:46:17] 945*2^1438016-1 is not prime. Res64: B2FE96A9CD77E414 Time : 0.0 sec. user=mdettweiler [2016-08-21 18:46:17] 847*2^1438017-1 is not prime. Res64: 41DFB5374414537B Time : 0.0 sec. user=mdettweiler [2016-08-21 18:46:18] 889*2^1438017-1 is not prime. Res64: BAA3B2FDA302291B Time : 0.0 sec. user=mdettweiler [2016-08-21 18:46:18] 949*2^1438017-1 is not prime. Res64: 15AA9A94793DB3DF Time : 0.0 sec. user=mdettweiler [2016-08-21 19:03:42] 687*2^1438018-1 is not prime. Res64: A54A8A521890E7C7 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:03:44] 723*2^1438018-1 is not prime. Res64: 853E4B6904C8D445 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:03:46] 743*2^1438018-1 is not prime. Res64: 55C0BAC72EAC8682 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:03:47] 773*2^1438018-1 is not prime. Res64: 93B3FB013F6A8EC9 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:03:48] 777*2^1438018-1 is not prime. Res64: 6100EDD201164A94 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:04:35] 867*2^1438018-1 is not prime. Res64: EFBF0094C0B84391 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:04:36] 615*2^1438019-1 is not prime. Res64: 37F21D9AC414B302 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:04:39] 745*2^1438019-1 is not prime. Res64: 2C1D92FD552C9EF3 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:04:40] 903*2^1438019-1 is not prime. Res64: 331B007C43F202C5 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:04:41] 627*2^1438020-1 is not prime. Res64: 39D3BA002449B55B Time : 0.0 sec. user=mdettweiler [2016-08-21 19:17:48] 635*2^1438020-1 is not prime. Res64: 3FE6C0D4AFD3F79F Time : 0.0 sec. user=mdettweiler [2016-08-21 19:17:49] 675*2^1438020-1 is not prime. Res64: 1494ADE677646AD2 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:17:50] 695*2^1438020-1 is not prime. Res64: B6BB1592F42D030F Time : 0.0 sec. user=mdettweiler [2016-08-21 19:17:50] 765*2^1438020-1 is not prime. Res64: 0232E05BBD92ABD3 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:17:51] 779*2^1438020-1 is not prime. Res64: CB55A59F7364AC91 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:31:16] 803*2^1438020-1 is not prime. Res64: 870592F50D553440 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:31:17] 845*2^1438020-1 is not prime. Res64: E73B76239E6CC5ED Time : 0.0 sec. user=mdettweiler [2016-08-21 19:31:17] 887*2^1438020-1 is not prime. Res64: C2309E56B533AEA8 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:31:18] 983*2^1438020-1 is not prime. Res64: C8292AEF6AE385D7 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:31:18] 741*2^1438021-1 is not prime. Res64: 73D11A97175E60F6 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:48:56] 745*2^1438021-1 is not prime. Res64: CB2E8393329D006F Time : 0.0 sec. user=mdettweiler [2016-08-21 19:48:56] 777*2^1438021-1 is not prime. Res64: 61402D939FF30979 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:48:57] 829*2^1438021-1 is not prime. Res64: 5F947429581DB122 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:48:58] 939*2^1438021-1 is not prime. Res64: F9D7E8A1A3FF08E1 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:48:58] 975*2^1438021-1 is not prime. Res64: 8F6E22CFE667C145 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:49:43] 665*2^1438022-1 is not prime. Res64: B3053C461B02DBA9 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:49:44] 753*2^1438022-1 is not prime. Res64: DFBF20039B5583A9 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:49:45] 755*2^1438022-1 is not prime. Res64: A0BA53C162E4E6D1 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:49:46] 897*2^1438022-1 is not prime. Res64: 2ADCD6966A293796 Time : 0.0 sec. user=mdettweiler [2016-08-21 19:49:47] 945*2^1438022-1 is not prime. Res64: A25F0A4D47470380 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:02:57] 693*2^1438023-1 is not prime. Res64: 0E6B9089E6E6BF49 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:02:58] 895*2^1438023-1 is not prime. Res64: EA9C75D73E98A39E Time : 0.0 sec. user=mdettweiler [2016-08-21 20:02:59] 919*2^1438023-1 is not prime. Res64: 031E6803498385C1 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:02:59] 629*2^1438024-1 is not prime. Res64: 2FD49D04415009B4 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:03:00] 897*2^1438024-1 is not prime. Res64: 37AE4BA1985E3654 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:16:11] 685*2^1438025-1 is not prime. Res64: A08F3CC79FAAD87E Time : 0.0 sec. user=mdettweiler [2016-08-21 20:16:11] 775*2^1438025-1 is not prime. Res64: B292869E646BC8DD Time : 0.0 sec. user=mdettweiler [2016-08-21 20:16:12] 777*2^1438025-1 is not prime. Res64: 76C6F988DFD9C76E Time : 0.0 sec. user=mdettweiler [2016-08-21 20:16:12] 789*2^1438025-1 is not prime. Res64: 97FC49F731E78F44 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:16:13] 847*2^1438025-1 is not prime. Res64: 213E9B288ED91050 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:33:57] 871*2^1438025-1 is not prime. Res64: F33C382317A91531 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:33:58] 889*2^1438025-1 is not prime. Res64: A2C67E145A926F19 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:33:58] 897*2^1438025-1 is not prime. Res64: E12F49FF6949CBA2 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:33:59] 937*2^1438025-1 is not prime. Res64: F26260B1C9CC6E2E Time : 0.0 sec. user=mdettweiler [2016-08-21 20:33:59] 949*2^1438025-1 is not prime. Res64: FF2565648C7CD680 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:34:53] 615*2^1438026-1 is not prime. Res64: D9AD7A3FF0435A6F Time : 0.0 sec. user=mdettweiler [2016-08-21 20:34:53] 635*2^1438026-1 is not prime. Res64: E2606C7741DF979F Time : 0.0 sec. user=mdettweiler [2016-08-21 20:34:54] 711*2^1438026-1 is not prime. Res64: 92B0A7E9DA4B18A9 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:34:55] 741*2^1438026-1 is not prime. Res64: 2AE73D47E04794F9 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:34:55] 833*2^1438026-1 is not prime. Res64: 0D445508A5E1EA91 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:48:24] 875*2^1438026-1 is not prime. Res64: D4639EA2E20B90CC Time : 0.0 sec. user=mdettweiler [2016-08-21 20:48:24] 975*2^1438026-1 is not prime. Res64: BB1C9C6C5B49F1B4 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:48:25] 603*2^1438027-1 is not prime. Res64: EF29D63D60231D01 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:48:25] 769*2^1438027-1 is not prime. Res64: 0B346C1826432B07 Time : 0.0 sec. user=mdettweiler [2016-08-21 20:48:26] 919*2^1438027-1 is not prime. Res64: EEAB516B5CD09435 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:01:30] 735*2^1438028-1 is not prime. Res64: 99CC98FD2690196A Time : 0.0 sec. user=mdettweiler [2016-08-21 21:01:31] 773*2^1438028-1 is not prime. Res64: C8D0C9D255866FD7 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:01:32] 969*2^1438028-1 is not prime. Res64: 4DBB735F2E55D05B Time : 0.0 sec. user=mdettweiler [2016-08-21 21:01:33] 711*2^1438029-1 is not prime. Res64: 843704AB83164F54 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:01:34] 825*2^1438029-1 is not prime. Res64: 0C23F45EDFBCF438 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:18:51] 865*2^1438029-1 is not prime. Res64: E3803F833FEBD5B6 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:18:52] 999*2^1438029-1 is not prime. Res64: 0378C6DB34FDFAF8 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:18:52] 773*2^1438030-1 is not prime. Res64: 1110ECFBBDDA17F3 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:18:53] 831*2^1438030-1 is not prime. Res64: 39F60A913C7A33B1 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:18:53] 855*2^1438030-1 is not prime. Res64: 046DC635FC1E3D45 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:20:01] 861*2^1438030-1 is not prime. Res64: 668342ACC87EF0BE Time : 0.0 sec. user=mdettweiler [2016-08-21 21:20:01] 887*2^1438030-1 is not prime. Res64: D63FB7A447E9E7C0 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:20:02] 981*2^1438030-1 is not prime. Res64: AEA17215AC34D03B Time : 0.0 sec. user=mdettweiler [2016-08-21 21:20:02] 1001*2^1438030-1 is not prime. Res64: EE41A2723AAC858B Time : 0.0 sec. user=mdettweiler [2016-08-21 21:20:03] 619*2^1438031-1 is not prime. Res64: D4D98C6335C2B7BC Time : 0.0 sec. user=mdettweiler [2016-08-21 21:33:25] 645*2^1438031-1 is not prime. Res64: B662A454DCABFEAA Time : 0.0 sec. user=mdettweiler [2016-08-21 21:33:26] 669*2^1438031-1 is not prime. Res64: 09B10C1EA800D286 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:33:26] 685*2^1438031-1 is not prime. Res64: FCECF43FD39D2B1F Time : 0.0 sec. user=mdettweiler [2016-08-21 21:33:27] 819*2^1438031-1 is not prime. Res64: 6A773375EB73F5D6 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:33:28] 981*2^1438031-1 is not prime. Res64: A78060A14FF3EAA8 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:46:49] 693*2^1438032-1 is not prime. Res64: 166D3F830B9231DB Time : 0.0 sec. user=mdettweiler [2016-08-21 21:46:50] 717*2^1438032-1 is not prime. Res64: D63606349D17CE37 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:46:50] 723*2^1438032-1 is not prime. Res64: A78BC5FF21C05361 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:46:51] 923*2^1438032-1 is not prime. Res64: 0810CA8884F8ADF0 Time : 0.0 sec. user=mdettweiler [2016-08-21 21:46:51] 947*2^1438032-1 is not prime. Res64: 8F7844DBEA7C3693 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:03:51] 959*2^1438032-1 is not prime. Res64: D83C030A6296492B Time : 0.0 sec. user=mdettweiler [2016-08-21 22:03:53] 977*2^1438032-1 is not prime. Res64: 089B38206E073FD2 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:03:53] 741*2^1438033-1 is not prime. Res64: C47363399BA4714E Time : 0.0 sec. user=mdettweiler [2016-08-21 22:03:54] 805*2^1438033-1 is not prime. Res64: F9E477A7180E25B4 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:03:55] 937*2^1438033-1 is not prime. Res64: ED6037E3616DB389 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:04:50] 615*2^1438034-1 is not prime. Res64: B63B1CE435789250 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:04:52] 675*2^1438034-1 is not prime. Res64: 338F3F0EDC079EB7 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:04:53] 677*2^1438034-1 is not prime. Res64: C7AAC9F76C0022A5 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:04:55] 755*2^1438034-1 is not prime. Res64: 06F9D1A4A420F075 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:04:56] 785*2^1438034-1 is not prime. Res64: 79CEF907F5385EA0 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:19:33] 827*2^1438034-1 is not prime. Res64: CDC9043FE11A05D4 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:19:34] 885*2^1438034-1 is not prime. Res64: 8B328D969AA2DF54 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:19:35] 927*2^1438034-1 is not prime. Res64: 26BC04465043DF8B Time : 0.0 sec. user=mdettweiler [2016-08-21 22:19:35] 935*2^1438034-1 is not prime. Res64: 6D5535A580B5E980 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:19:36] 971*2^1438034-1 is not prime. Res64: CA515F71E4BE736D Time : 0.0 sec. user=mdettweiler [2016-08-21 22:33:17] 993*2^1438034-1 is not prime. Res64: 59D883115C6B7417 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:33:17] 633*2^1438035-1 is not prime. Res64: DA3B9067C0CC0BE0 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:33:18] 705*2^1438035-1 is not prime. Res64: C5090D4B77DBD23D Time : 0.0 sec. user=mdettweiler [2016-08-21 22:33:18] 921*2^1438035-1 is not prime. Res64: 23164C61B2D5DE10 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:33:18] 657*2^1438036-1 is not prime. Res64: 8BFA332B2A69E15A Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:10] 909*2^1438036-1 is not prime. Res64: B310A9841B3DC9C2 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:10] 983*2^1438036-1 is not prime. Res64: 7A8382FF60379830 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:11] 999*2^1438036-1 is not prime. Res64: 2E39472CDCCACA17 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:11] 621*2^1438037-1 is not prime. Res64: 6D758E85961F45DB Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:11] 649*2^1438037-1 is not prime. Res64: 5132CCBE8AD78E5B Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:37] 685*2^1438037-1 is not prime. Res64: 7847FC170153B83E Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:38] 699*2^1438037-1 is not prime. Res64: 2A6F530AD8787EA9 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:38] 711*2^1438037-1 is not prime. Res64: 6A8539B05BEFDCD9 Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:39] 861*2^1438037-1 is not prime. Res64: 9CB71B86B59C728D Time : 0.0 sec. user=mdettweiler [2016-08-21 22:51:39] 885*2^1438037-1 is not prime. Res64: 8B46C4982B73D01C Time : 0.0 sec. user=mdettweiler [2016-08-21 23:05:18] 931*2^1438037-1 is not prime. Res64: 0BC87FFBE57AED93 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:05:20] 939*2^1438037-1 is not prime. Res64: CF8C5E3623A02941 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:05:21] 693*2^1438038-1 is not prime. Res64: C95874CB24A82038 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:05:22] 747*2^1438038-1 is not prime. Res64: 63B1044AB9054116 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:05:23] 843*2^1438038-1 is not prime. Res64: E268CABDBC5EEAD5 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:18:18] 881*2^1438038-1 is not prime. Res64: E8879BAD6A4D686C Time : 0.0 sec. user=mdettweiler [2016-08-21 23:18:19] 971*2^1438038-1 is not prime. Res64: 779A3BC0FAD47A40 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:18:19] 601*2^1438039-1 is not prime. Res64: A37066434D82EFC0 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:18:20] 615*2^1438039-1 is not prime. Res64: F3970E0B48C2005E Time : 0.0 sec. user=mdettweiler [2016-08-21 23:18:21] 639*2^1438039-1 is not prime. Res64: 2206B4BC601B1901 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:06] 685*2^1438039-1 is not prime. Res64: DD21FA65AFE92362 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:07] 693*2^1438039-1 is not prime. Res64: F8116BFDE46D741C Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:07] 741*2^1438039-1 is not prime. Res64: 413C11075154CF77 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:08] 745*2^1438039-1 is not prime. Res64: 8B0EFA68EF3D5645 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:08] 853*2^1438039-1 is not prime. Res64: ABDA75A4C65A26C6 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:39] 873*2^1438039-1 is not prime. Res64: 2FB9B514E87FDA84 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:39] 663*2^1438040-1 is not prime. Res64: 3114C5E20940DBA4 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:40] 729*2^1438040-1 is not prime. Res64: 2E3E1B23D80E6DC5 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:41] 755*2^1438040-1 is not prime. Res64: D85AA06B21774103 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:36:41] 929*2^1438040-1 is not prime. Res64: DF0E959E317EE584 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:50:31] 999*2^1438040-1 is not prime. Res64: BE775FBC1635F01A Time : 0.0 sec. user=mdettweiler [2016-08-21 23:50:32] 625*2^1438041-1 is not prime. Res64: 7603B50AB8C59FEB Time : 0.0 sec. user=mdettweiler [2016-08-21 23:50:32] 657*2^1438041-1 is not prime. Res64: 950647F2B2E862C3 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:50:33] 711*2^1438041-1 is not prime. Res64: B0AB68C72DEBD029 Time : 0.0 sec. user=mdettweiler [2016-08-21 23:50:33] 811*2^1438041-1 is not prime. Res64: F8D2BA91D7B83846 Time : 0.0 sec.