user=mdettweiler [2015-12-29 00:09:52] 967*2^1418281-1 is not prime. Res64: 8B54AD716E0E10FA Time : 0.0 sec. user=mdettweiler [2015-12-29 00:09:52] 627*2^1418282-1 is not prime. Res64: 1B012C559696CE9E Time : 0.0 sec. user=mdettweiler [2015-12-29 00:09:52] 999*2^1418281-1 is not prime. Res64: 22C7371DBA812702 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:09:53] 731*2^1418282-1 is not prime. Res64: 67541454CC9555E8 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:27:27] 753*2^1418282-1 is not prime. Res64: 6821F0BE39331541 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:27:28] 831*2^1418282-1 is not prime. Res64: A90FA03E19ABF0F0 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:27:28] 771*2^1418282-1 is not prime. Res64: F2AFB693A7459818 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:27:28] 917*2^1418282-1 is not prime. Res64: 3732E3454E91E494 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:44:56] 951*2^1418283-1 is not prime. Res64: 06D4E11B80FFA605 Time : 0.0 sec. user=mdettweiler [2015-12-29 00:44:57] 963*2^1418283-1 is not prime. Res64: BBD8A59F651489DC Time : 0.0 sec. user=mdettweiler [2015-12-29 00:44:57] 613*2^1418283-1 is not prime. Res64: 0624BC7D575576FF Time : 0.0 sec. user=mdettweiler [2015-12-29 00:44:58] 735*2^1418283-1 is not prime. Res64: 1231D602374D79DB Time : 0.0 sec. user=mdettweiler [2015-12-29 01:02:27] 833*2^1418284-1 is not prime. Res64: F45633F331F79ABB Time : 0.0 sec. user=mdettweiler [2015-12-29 01:02:29] 909*2^1418284-1 is not prime. Res64: DC0AE81B50E4ECE5 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:02:30] 857*2^1418284-1 is not prime. Res64: F5EAD7A27AAA28B5 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:02:32] 915*2^1418284-1 is not prime. Res64: 44EAF08B74D71627 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:20:44] 923*2^1418284-1 is not prime. Res64: 56E037FE01C73375 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:20:45] 995*2^1418284-1 is not prime. Res64: 8370DE37A4B8AD78 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:20:45] 655*2^1418285-1 is not prime. Res64: D16E639C583E2D7E Time : 0.0 sec. user=mdettweiler [2015-12-29 01:20:46] 669*2^1418285-1 is not prime. Res64: 5AAC013882FF1DA4 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:38:17] 759*2^1418285-1 is not prime. Res64: 7D8D7871FDE76346 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:38:18] 685*2^1418285-1 is not prime. Res64: 164A16EBC1FA04A5 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:38:18] 801*2^1418285-1 is not prime. Res64: 10162040AF5F3479 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:38:18] 727*2^1418285-1 is not prime. Res64: 2ADF79C8632C91A8 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:55:51] 927*2^1418285-1 is not prime. Res64: F30CDBA3A56E1AA8 Time : 0.0 sec. user=mdettweiler [2015-12-29 01:55:51] 805*2^1418285-1 is not prime. Res64: E6E11AF65FA6EF3C Time : 0.0 sec. user=mdettweiler [2015-12-29 01:55:51] 741*2^1418286-1 is not prime. Res64: 8AA391AD6B165E1C Time : 0.0 sec. user=mdettweiler [2015-12-29 01:55:52] 825*2^1418285-1 is not prime. Res64: 423F88F2281408AC Time : 0.0 sec. user=mdettweiler [2015-12-29 02:13:22] 903*2^1418286-1 is not prime. Res64: 752D08509B729569 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:13:23] 675*2^1418287-1 is not prime. Res64: 23321631AA38B40A Time : 0.0 sec. user=mdettweiler [2015-12-29 02:13:23] 759*2^1418287-1 is not prime. Res64: 523F257202BB5B6A Time : 0.0 sec. user=mdettweiler [2015-12-29 02:13:24] 775*2^1418287-1 is not prime. Res64: F94DC9B7E5B2F2AC Time : 0.0 sec. user=mdettweiler [2015-12-29 02:30:53] 975*2^1418287-1 is not prime. Res64: 838213A882F3E928 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:30:54] 993*2^1418287-1 is not prime. Res64: 9DB21FA6792840C5 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:30:54] 999*2^1418287-1 is not prime. Res64: 1BF35BF004898769 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:30:55] 603*2^1418288-1 is not prime. Res64: 0C64B89FFF15BE06 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:48:31] 875*2^1418288-1 is not prime. Res64: 47F63976DDD77FC2 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:48:32] 665*2^1418288-1 is not prime. Res64: CBE48C0C66386D4C Time : 0.0 sec. user=mdettweiler [2015-12-29 02:48:32] 615*2^1418289-1 is not prime. Res64: 5109D1316134D027 Time : 0.0 sec. user=mdettweiler [2015-12-29 02:48:32] 813*2^1418288-1 is not prime. Res64: 7382DF380131727A Time : 0.0 sec. user=mdettweiler [2015-12-29 03:06:02] 789*2^1418289-1 is not prime. Res64: B9B83136A792431B Time : 0.0 sec. user=mdettweiler [2015-12-29 03:06:02] 681*2^1418289-1 is not prime. Res64: A376E3A2F2172943 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:06:03] 807*2^1418289-1 is not prime. Res64: 7DF588E033B299EB Time : 0.0 sec. user=mdettweiler [2015-12-29 03:06:03] 685*2^1418289-1 is not prime. Res64: E4CFA2F81F83CD3E Time : 0.0 sec. user=mdettweiler [2015-12-29 03:23:37] 991*2^1418289-1 is not prime. Res64: 1750DC8A22F3C409 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:23:37] 835*2^1418289-1 is not prime. Res64: A0FF16B0F184370D Time : 0.0 sec. user=mdettweiler [2015-12-29 03:23:38] 647*2^1418290-1 is not prime. Res64: 413716672756BA85 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:23:38] 865*2^1418289-1 is not prime. Res64: 0E9669680EEEEDC9 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:41:09] 843*2^1418290-1 is not prime. Res64: FAA5C73804FDD34C Time : 0.0 sec. user=mdettweiler [2015-12-29 03:41:09] 791*2^1418290-1 is not prime. Res64: 9782D2548F7FB05E Time : 0.0 sec. user=mdettweiler [2015-12-29 03:41:10] 803*2^1418290-1 is not prime. Res64: B3D106E739396E2C Time : 0.0 sec. user=mdettweiler [2015-12-29 03:41:10] 857*2^1418290-1 is not prime. Res64: 31895824245AAB43 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:58:56] 901*2^1418291-1 is not prime. Res64: 7B628752BAAC0DA5 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:58:57] 955*2^1418291-1 is not prime. Res64: 5B91615C62A81ADF Time : 0.0 sec. user=mdettweiler [2015-12-29 03:58:57] 945*2^1418290-1 is not prime. Res64: 75DA169DC1DF24A5 Time : 0.0 sec. user=mdettweiler [2015-12-29 03:58:57] 855*2^1418291-1 is not prime. Res64: 5D6634C07BBA6C67 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:16:30] 753*2^1418292-1 is not prime. Res64: C8F6CCFD32B279B7 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:16:30] 973*2^1418291-1 is not prime. Res64: 000A0CEA79CC25CA Time : 0.0 sec. user=mdettweiler [2015-12-29 04:16:30] 825*2^1418292-1 is not prime. Res64: D76AE2F9A7B713C9 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:16:30] 749*2^1418292-1 is not prime. Res64: 9D0592CDE496E301 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:34:01] 679*2^1418293-1 is not prime. Res64: 52C64D107D959B66 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:34:01] 915*2^1418292-1 is not prime. Res64: 5DECD612F41E50E8 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:34:01] 771*2^1418293-1 is not prime. Res64: 19104A0256D62FDB Time : 0.0 sec. user=mdettweiler [2015-12-29 04:34:01] 957*2^1418292-1 is not prime. Res64: 6A2F8D5AC17E24C3 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:51:30] 775*2^1418293-1 is not prime. Res64: 5A63AE9CEAF1791E Time : 0.0 sec. user=mdettweiler [2015-12-29 04:51:30] 801*2^1418293-1 is not prime. Res64: 51FAB881D42DACC6 Time : 0.0 sec. user=mdettweiler [2015-12-29 04:51:31] 855*2^1418293-1 is not prime. Res64: A76A6F0A6FB9689D Time : 0.0 sec. user=mdettweiler [2015-12-29 04:51:31] 939*2^1418293-1 is not prime. Res64: D4BC9B2DD05AFA8F Time : 0.0 sec. user=mdettweiler [2015-12-29 05:09:03] 795*2^1418294-1 is not prime. Res64: 3A6D64356E747089 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:09:04] 683*2^1418294-1 is not prime. Res64: C78BEAE1B34C8771 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:09:04] 815*2^1418294-1 is not prime. Res64: 5BBD739A8565D2DD Time : 0.0 sec. user=mdettweiler [2015-12-29 05:09:04] 705*2^1418294-1 is not prime. Res64: 676D544353D9D6F7 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:26:34] 723*2^1418295-1 is not prime. Res64: DA8ED2F4414E40F8 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:26:35] 751*2^1418295-1 is not prime. Res64: 6EB08BE5A0E0F2DD Time : 0.0 sec. user=mdettweiler [2015-12-29 05:26:35] 851*2^1418294-1 is not prime. Res64: FF6214B7C5D28601 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:26:36] 711*2^1418295-1 is not prime. Res64: BCC97BC1EC16899D Time : 0.0 sec. user=mdettweiler [2015-12-29 05:44:05] 765*2^1418295-1 is not prime. Res64: E435086F1DB2AD3B Time : 0.0 sec. user=mdettweiler [2015-12-29 05:44:06] 781*2^1418295-1 is not prime. Res64: D67F781B533234B4 Time : 0.0 sec. user=mdettweiler [2015-12-29 05:44:06] 963*2^1418295-1 is not prime. Res64: 0D9492734ABE990E Time : 0.0 sec. user=mdettweiler [2015-12-29 05:44:06] 979*2^1418295-1 is not prime. Res64: 0E601BA87A94075F Time : 0.0 sec. user=mdettweiler [2015-12-29 06:01:37] 985*2^1418295-1 is not prime. Res64: BC6CC884268164FB Time : 0.0 sec. user=mdettweiler [2015-12-29 06:01:38] 773*2^1418296-1 is not prime. Res64: F7A6C81E1A1968AF Time : 0.0 sec. user=mdettweiler [2015-12-29 06:01:38] 765*2^1418296-1 is not prime. Res64: E40D24417F21A22B Time : 0.0 sec. user=mdettweiler [2015-12-29 06:01:39] 807*2^1418296-1 is not prime. Res64: C995E3A47357D6DF Time : 0.0 sec. user=mdettweiler [2015-12-29 06:19:22] 865*2^1418297-1 is not prime. Res64: 9EA5B73DD8A6B551 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:19:22] 887*2^1418296-1 is not prime. Res64: 5C5FCF8C4ACD767E Time : 0.0 sec. user=mdettweiler [2015-12-29 06:19:24] 699*2^1418297-1 is not prime. Res64: 959D52447A9A2698 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:19:25] 633*2^1418298-1 is not prime. Res64: 9D0F5CE90DBFAA39 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:36:57] 635*2^1418298-1 is not prime. Res64: A47F636F3F0B4E28 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:36:58] 707*2^1418298-1 is not prime. Res64: 276E4F1E61498DFF Time : 0.0 sec. user=mdettweiler [2015-12-29 06:36:58] 843*2^1418298-1 is not prime. Res64: 5905B11E8D61707D Time : 0.0 sec. user=mdettweiler [2015-12-29 06:36:58] 867*2^1418298-1 is not prime. Res64: 4020314E3A139324 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:54:27] 853*2^1418299-1 is not prime. Res64: 9AE842F06C1CA015 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:54:27] 885*2^1418299-1 is not prime. Res64: 65F88D21BCD78D48 Time : 0.0 sec. user=mdettweiler [2015-12-29 06:54:28] 875*2^1418298-1 is not prime. Res64: A02D1334B80061BE Time : 0.0 sec. user=mdettweiler [2015-12-29 06:54:28] 893*2^1418298-1 is not prime. Res64: 66AD2084FF8AD881 Time : 0.0 sec. user=mdettweiler [2015-12-29 07:11:57] 975*2^1418299-1 is not prime. Res64: 3EC17BB5F3C9F28A Time : 0.0 sec. user=mdettweiler [2015-12-29 07:11:57] 615*2^1418300-1 is not prime. Res64: F74AD1C442DCC0FB Time : 0.0 sec. user=mdettweiler [2015-12-29 07:11:58] 647*2^1418300-1 is not prime. Res64: 0E237764F07185DD Time : 0.0 sec. user=mdettweiler [2015-12-29 07:11:58] 773*2^1418300-1 is not prime. Res64: DA74BA3AC9AAC3BD Time : 0.0 sec. user=mdettweiler [2015-12-29 07:29:27] 797*2^1418300-1 is not prime. Res64: 6481F5E938F16265 Time : 0.0 sec. user=mdettweiler [2015-12-29 07:29:27] 909*2^1418300-1 is not prime. Res64: BA8EECE4D98B550A Time : 0.0 sec. user=mdettweiler [2015-12-29 07:29:27] 893*2^1418300-1 is not prime. Res64: DA5F76957D09F5C6 Time : 0.0 sec. user=mdettweiler [2015-12-29 07:29:28] 625*2^1418301-1 is not prime. Res64: B68F964BC826950A Time : 0.0 sec. user=mdettweiler [2015-12-29 07:46:57] 829*2^1418301-1 is not prime. Res64: BDB4BDEF4B8A0ACC Time : 0.0 sec. user=mdettweiler [2015-12-29 07:46:57] 745*2^1418301-1 is not prime. Res64: B1DA6658904E659C Time : 0.0 sec. user=mdettweiler [2015-12-29 07:46:57] 927*2^1418301-1 is not prime. Res64: 12AE0D71E64997EF Time : 0.0 sec. user=mdettweiler [2015-12-29 07:46:57] 817*2^1418301-1 is not prime. Res64: 8ABC2F2AFD037D8E Time : 0.0 sec. user=mdettweiler [2015-12-29 08:04:28] 777*2^1418302-1 is not prime. Res64: D25F2EF06A0FBBE2 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:04:30] 603*2^1418302-1 is not prime. Res64: C8B36ED28983F1C4 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:04:32] 785*2^1418302-1 is not prime. Res64: 60D5065522A1E70E Time : 0.0 sec. user=mdettweiler [2015-12-29 08:04:33] 755*2^1418302-1 is not prime. Res64: 2FF68D738E65C339 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:22:23] 881*2^1418302-1 is not prime. Res64: 03B5AA5BF25E3978 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:22:23] 917*2^1418302-1 is not prime. Res64: B8AFDE9A11306F4D Time : 0.0 sec. user=mdettweiler [2015-12-29 08:22:24] 815*2^1418302-1 is not prime. Res64: D304660E1BEDD30E Time : 0.0 sec. user=mdettweiler [2015-12-29 08:22:25] 609*2^1418303-1 is not prime. Res64: E2BEF141986D1815 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:39:55] 619*2^1418303-1 is not prime. Res64: 09E19550F61F78FF Time : 0.0 sec. user=mdettweiler [2015-12-29 08:39:55] 901*2^1418303-1 is not prime. Res64: 21B54ECA05386F72 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:39:56] 955*2^1418303-1 is not prime. Res64: CADDF217FFB107F1 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:39:56] 973*2^1418303-1 is not prime. Res64: 16A05BE08259C4F9 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:57:25] 981*2^1418303-1 is not prime. Res64: BB918577E81D9999 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:57:25] 665*2^1418304-1 is not prime. Res64: 753FCD5C0658E501 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:57:25] 663*2^1418304-1 is not prime. Res64: 2803650ADDF06DF2 Time : 0.0 sec. user=mdettweiler [2015-12-29 08:57:26] 765*2^1418304-1 is not prime. Res64: 6A39A0BE4D6273AB Time : 0.0 sec. user=mdettweiler [2015-12-29 09:14:56] 887*2^1418304-1 is not prime. Res64: A03C29DCDDD169B3 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:14:56] 993*2^1418304-1 is not prime. Res64: B36C4AE73327034D Time : 0.0 sec. user=mdettweiler [2015-12-29 09:14:56] 915*2^1418304-1 is not prime. Res64: ED48ACFF0B355DC7 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:14:56] 729*2^1418305-1 is not prime. Res64: A5F5215A6273F1A2 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:32:26] 801*2^1418305-1 is not prime. Res64: 3F9F3205228CB347 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:32:26] 955*2^1418305-1 is not prime. Res64: 3C332C386FACBEA9 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:32:34] 751*2^1418305-1 is not prime. Res64: E9D944BFF167895D Time : 0.0 sec. user=mdettweiler [2015-12-29 09:32:34] 799*2^1418305-1 is not prime. Res64: 8D70CEC3FB81A18A Time : 0.0 sec. user=mdettweiler [2015-12-29 09:49:55] 979*2^1418305-1 is not prime. Res64: DC58F294BA9F413B Time : 0.0 sec. user=mdettweiler [2015-12-29 09:49:55] 627*2^1418306-1 is not prime. Res64: 0F67DF6BFE7A7CEF Time : 0.0 sec. user=mdettweiler [2015-12-29 09:50:03] 755*2^1418306-1 is not prime. Res64: 630F76A3AAB75728 Time : 0.0 sec. user=mdettweiler [2015-12-29 09:50:04] 911*2^1418306-1 is not prime. Res64: 336EF87F648249D2 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:07:24] 971*2^1418306-1 is not prime. Res64: 31EDC7E3C979CB58 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:07:24] 993*2^1418306-1 is not prime. Res64: A23053DA13360BAC Time : 0.0 sec. user=mdettweiler [2015-12-29 10:07:32] 1001*2^1418306-1 is not prime. Res64: AB6AA3BF149F486B Time : 0.0 sec. user=mdettweiler [2015-12-29 10:07:33] 643*2^1418307-1 is not prime. Res64: 741E75D903B469E6 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:24:57] 705*2^1418307-1 is not prime. Res64: BE2220D79BA796B2 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:24:57] 781*2^1418307-1 is not prime. Res64: 5D10D89C9419F891 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:25:03] 963*2^1418307-1 is not prime. Res64: 5520627CE59898BB Time : 0.0 sec. user=mdettweiler [2015-12-29 10:25:04] 975*2^1418307-1 is not prime. Res64: 35DC4EF4D018D39B Time : 0.0 sec. user=mdettweiler [2015-12-29 10:42:26] 979*2^1418307-1 is not prime. Res64: 74FD01DD2F305F8C Time : 0.0 sec. user=mdettweiler [2015-12-29 10:42:27] 749*2^1418308-1 is not prime. Res64: 4AED6FABE43A7A2D Time : 0.0 sec. user=mdettweiler [2015-12-29 10:42:34] 855*2^1418308-1 is not prime. Res64: 14E21A2519223F7F Time : 0.0 sec. user=mdettweiler [2015-12-29 10:42:34] 927*2^1418308-1 is not prime. Res64: E56875E66A072BA1 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:59:57] 645*2^1418309-1 is not prime. Res64: 052E98063F01ED06 Time : 0.0 sec. user=mdettweiler [2015-12-29 10:59:58] 741*2^1418309-1 is not prime. Res64: D32248181285011A Time : 0.0 sec. user=mdettweiler [2015-12-29 11:00:04] 855*2^1418309-1 is not prime. Res64: DA6568E44FFBCDFA Time : 0.0 sec. user=mdettweiler [2015-12-29 11:00:04] 889*2^1418309-1 is not prime. Res64: 2E10674A7776ED6E Time : 0.0 sec. user=mdettweiler [2015-12-29 11:17:28] 931*2^1418309-1 is not prime. Res64: B9C162A6C2353F65 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:17:28] 987*2^1418309-1 is not prime. Res64: 18DE7FC1C0CDE4EF Time : 0.0 sec. user=mdettweiler [2015-12-29 11:17:34] 755*2^1418310-1 is not prime. Res64: 3C9694B622036102 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:17:35] 851*2^1418310-1 is not prime. Res64: F5B374360155D286 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:35:00] 885*2^1418310-1 is not prime. Res64: C5D94670F546A3E0 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:35:00] 891*2^1418310-1 is not prime. Res64: AD364259A9BBD11F Time : 0.0 sec. user=mdettweiler [2015-12-29 11:35:03] 1001*2^1418310-1 is not prime. Res64: EC6351A6070E93A1 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:35:04] 603*2^1418311-1 is not prime. Res64: 6B959D0799FB0128 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:52:30] 609*2^1418311-1 is not prime. Res64: 6E74C76013389C09 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:52:31] 615*2^1418311-1 is not prime. Res64: DDECC3748970372C Time : 0.0 sec. user=mdettweiler [2015-12-29 11:52:33] 619*2^1418311-1 is not prime. Res64: 3C555618B2D98DD2 Time : 0.0 sec. user=mdettweiler [2015-12-29 11:52:33] 759*2^1418311-1 is not prime. Res64: 8719FB3CE6D6FFEF Time : 0.0 sec. user=mdettweiler [2015-12-29 12:10:01] 871*2^1418311-1 is not prime. Res64: 1BF296D1AB017772 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:10:02] 939*2^1418311-1 is not prime. Res64: 75AA4E080CE4378D Time : 0.0 sec. user=mdettweiler [2015-12-29 12:10:02] 925*2^1418311-1 is not prime. Res64: 64FBC86F83DF1AC4 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:10:03] 615*2^1418312-1 is not prime. Res64: B506EE0D453950A0 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:27:37] 699*2^1418312-1 is not prime. Res64: 1F44F57BE42C31B9 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:27:38] 617*2^1418312-1 is not prime. Res64: BCD1F9E81DDF55CE Time : 0.0 sec. user=mdettweiler [2015-12-29 12:27:38] 725*2^1418312-1 is not prime. Res64: 78A18CC9103BE4F6 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:27:38] 669*2^1418312-1 is not prime. Res64: D580997384C9B049 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:45:07] 843*2^1418312-1 is not prime. Res64: FD885C320AE4A176 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:45:08] 893*2^1418312-1 is not prime. Res64: 62D546D76B966BE6 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:45:08] 901*2^1418313-1 is not prime. Res64: A98BCAD2069D60C5 Time : 0.0 sec. user=mdettweiler [2015-12-29 12:45:08] 635*2^1418314-1 is not prime. Res64: 4629D9119B05A64D Time : 0.0 sec. user=mdettweiler [2015-12-29 13:02:40] 675*2^1418314-1 is not prime. Res64: 6EC0E15710E0CE7F Time : 0.0 sec. user=mdettweiler [2015-12-29 13:02:41] 755*2^1418314-1 is not prime. Res64: FA34E158C25DA4BE Time : 0.0 sec. user=mdettweiler [2015-12-29 13:02:41] 723*2^1418314-1 is not prime. Res64: AB34FF94FFA554C6 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:02:42] 813*2^1418314-1 is not prime. Res64: 150E44A45ADE458D Time : 0.0 sec. user=mdettweiler [2015-12-29 13:21:05] 971*2^1418314-1 is not prime. Res64: A036B04E2F839648 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:21:05] 903*2^1418314-1 is not prime. Res64: 1718F9126E9788D6 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:21:05] 983*2^1418314-1 is not prime. Res64: D14048DAB34340DC Time : 0.0 sec. user=mdettweiler [2015-12-29 13:21:06] 905*2^1418314-1 is not prime. Res64: 2028C6A2C4489342 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:41:17] 987*2^1418314-1 is not prime. Res64: 06A82ED999FD11CD Time : 0.0 sec. user=mdettweiler [2015-12-29 13:41:18] 861*2^1418315-1 is not prime. Res64: A84702FD76A89E07 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:41:18] 963*2^1418315-1 is not prime. Res64: 93CFBF886F6115E6 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:41:19] 999*2^1418315-1 is not prime. Res64: F8828F9E748326BE Time : 0.0 sec. user=mdettweiler [2015-12-29 13:59:33] 635*2^1418316-1 is not prime. Res64: 8C691EAF0152E7AD Time : 0.0 sec. user=mdettweiler [2015-12-29 13:59:33] 647*2^1418316-1 is not prime. Res64: 1845A9072454848C Time : 0.0 sec. user=mdettweiler [2015-12-29 13:59:34] 675*2^1418316-1 is not prime. Res64: 6965F90ACC9A6EB5 Time : 0.0 sec. user=mdettweiler [2015-12-29 13:59:35] 843*2^1418316-1 is not prime. Res64: B6E385A9FC6BA8DB Time : 0.0 sec. user=mdettweiler [2015-12-29 14:19:57] 873*2^1418316-1 is not prime. Res64: 2FAD00A57C23A202 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:19:58] 845*2^1418316-1 is not prime. Res64: 65C5C45AEC714EA9 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:19:58] 927*2^1418316-1 is not prime. Res64: 8124A0300E85A9AD Time : 0.0 sec. user=mdettweiler [2015-12-29 14:19:58] 867*2^1418316-1 is not prime. Res64: 27D93DC3B1B33F83 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:37:45] 969*2^1418316-1 is not prime. Res64: C0856E0198ACB3CE Time : 0.0 sec. user=mdettweiler [2015-12-29 14:37:45] 975*2^1418316-1 is not prime. Res64: ADC71FD36A962309 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:37:46] 649*2^1418317-1 is not prime. Res64: D619D23D971E7F79 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:37:46] 729*2^1418317-1 is not prime. Res64: 794E10E9BA16F527 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:55:16] 627*2^1418318-1 is not prime. Res64: 9610FB8498089858 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:55:17] 687*2^1418318-1 is not prime. Res64: F66B49702B249D72 Time : 0.0 sec. user=mdettweiler [2015-12-29 14:55:17] 771*2^1418317-1 is not prime. Res64: 67C4608A9EAEEBFE Time : 0.0 sec. user=mdettweiler [2015-12-29 14:55:17] 939*2^1418317-1 is not prime. Res64: 311B053A9E70360D Time : 0.0 sec. user=mdettweiler [2015-12-29 15:13:07] 935*2^1418318-1 is not prime. Res64: B46980115DCA91CA Time : 0.0 sec. user=mdettweiler [2015-12-29 15:13:07] 813*2^1418318-1 is not prime. Res64: 623360B84D074FEE Time : 0.0 sec. user=mdettweiler [2015-12-29 15:13:07] 845*2^1418318-1 is not prime. Res64: 110D27FEA91CF603 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:13:07] 957*2^1418318-1 is not prime. Res64: 8C8472D640C7849A Time : 0.0 sec. user=mdettweiler [2015-12-29 15:30:52] 1001*2^1418318-1 is not prime. Res64: 01B6BFE2DFC528E0 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:30:52] 685*2^1418319-1 is not prime. Res64: 9B9B2D8EE854A23B Time : 0.0 sec. user=mdettweiler [2015-12-29 15:30:52] 615*2^1418319-1 is not prime. Res64: 06799CE7128B59C9 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:30:52] 723*2^1418319-1 is not prime. Res64: 031BEF8E80B4B107 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:48:30] 741*2^1418319-1 is not prime. Res64: 3A8043237E9015F8 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:48:30] 745*2^1418319-1 is not prime. Res64: 89CEEAECB644B356 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:48:30] 913*2^1418319-1 is not prime. Res64: 840C0BC9C3170D14 Time : 0.0 sec. user=mdettweiler [2015-12-29 15:48:30] 713*2^1418320-1 is not prime. Res64: B9233CC3C0295707 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:06:10] 899*2^1418320-1 is not prime. Res64: 00D99954BE5AC370 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:06:10] 785*2^1418320-1 is not prime. Res64: 1A9EB2533C4E774F Time : 0.0 sec. user=mdettweiler [2015-12-29 16:06:11] 909*2^1418320-1 is not prime. Res64: C6D4050A7A4CAF6C Time : 0.0 sec. user=mdettweiler [2015-12-29 16:06:11] 863*2^1418320-1 is not prime. Res64: 7BD26A112D1632DF Time : 0.0 sec. user=mdettweiler [2015-12-29 16:23:49] 965*2^1418320-1 is not prime. Res64: B18A35EC9927AFEA Time : 0.0 sec. user=mdettweiler [2015-12-29 16:23:49] 649*2^1418321-1 is not prime. Res64: B2F42A99270783D8 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:23:50] 775*2^1418321-1 is not prime. Res64: BC6287D23B9FD1EC Time : 0.0 sec. user=mdettweiler [2015-12-29 16:23:50] 665*2^1418322-1 is not prime. Res64: 9231C93BD8A5E283 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:41:25] 717*2^1418322-1 is not prime. Res64: B5482D28A1934DA2 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:41:26] 723*2^1418322-1 is not prime. Res64: 449EDF4E41609A2B Time : 0.0 sec. user=mdettweiler [2015-12-29 16:41:26] 695*2^1418322-1 is not prime. Res64: D503ABFD4B20BDB7 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:41:27] 713*2^1418322-1 is not prime. Res64: C225C1F60C548D4A Time : 0.0 sec. user=mdettweiler [2015-12-29 16:59:03] 765*2^1418322-1 is not prime. Res64: 6F790B61049258E5 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:59:03] 807*2^1418322-1 is not prime. Res64: CEDA265CA0308968 Time : 0.0 sec. user=mdettweiler [2015-12-29 16:59:04] 903*2^1418322-1 is not prime. Res64: 2F422E1CB3F2D5CA Time : 0.0 sec. user=mdettweiler [2015-12-29 16:59:04] 703*2^1418323-1 is not prime. Res64: 7FD8FA1EAA1E1DB4 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:16:42] 771*2^1418323-1 is not prime. Res64: F77815A7AC34A020 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:16:42] 901*2^1418323-1 is not prime. Res64: 726DF97C4CEA536E Time : 0.0 sec. user=mdettweiler [2015-12-29 17:16:42] 861*2^1418323-1 is not prime. Res64: 5BFCA90740BA7C24 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:16:42] 615*2^1418324-1 is not prime. Res64: B9E5E0886296D1C7 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:34:21] 623*2^1418324-1 is not prime. Res64: C5DEAFE7367C0E80 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:34:22] 659*2^1418324-1 is not prime. Res64: 8F574DE0F6B49806 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:34:22] 635*2^1418324-1 is not prime. Res64: C484242CBD061AFD Time : 0.0 sec. user=mdettweiler [2015-12-29 17:34:22] 683*2^1418324-1 is not prime. Res64: 0CAE2E6C39370B0F Time : 0.0 sec. user=mdettweiler [2015-12-29 17:51:56] 689*2^1418324-1 is not prime. Res64: 6EE04235FD16FAE4 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:51:56] 743*2^1418324-1 is not prime. Res64: C7FF1526CFA48C50 Time : 0.0 sec. user=mdettweiler [2015-12-29 17:51:56] 987*2^1418324-1 is not prime. Res64: 2AF0136983BAAE8C Time : 0.0 sec. user=mdettweiler [2015-12-29 17:51:57] 679*2^1418325-1 is not prime. Res64: 9F0F546CDF802C8A Time : 0.0 sec. user=mdettweiler [2015-12-29 18:09:34] 751*2^1418325-1 is not prime. Res64: DCD78C9B5F9690D4 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:09:35] 765*2^1418325-1 is not prime. Res64: 065B00CB5CD0A198 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:09:36] 849*2^1418325-1 is not prime. Res64: 6EFE7C8D59A8D415 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:09:36] 871*2^1418325-1 is not prime. Res64: 7F7F6C9EB335CE5D Time : 0.0 sec. user=mdettweiler [2015-12-29 18:27:14] 951*2^1418325-1 is not prime. Res64: 72631C3E145BDBC0 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:27:14] 997*2^1418325-1 is not prime. Res64: 808EDF73C02B74F8 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:27:16] 885*2^1418325-1 is not prime. Res64: 23A1F508C4F7E3D3 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:27:16] 949*2^1418325-1 is not prime. Res64: 85C630211C38BC8A Time : 0.0 sec. user=mdettweiler [2015-12-29 18:44:53] 647*2^1418326-1 is not prime. Res64: 54CA4ABF7C3E5B2D Time : 0.0 sec. user=mdettweiler [2015-12-29 18:44:53] 657*2^1418326-1 is not prime. Res64: E22586513C0C3532 Time : 0.0 sec. user=mdettweiler [2015-12-29 18:44:54] 663*2^1418326-1 is not prime. Res64: 43517C312684D34F Time : 0.0 sec. user=mdettweiler [2015-12-29 18:44:55] 705*2^1418326-1 is not prime. Res64: F7577ACA7BE65041 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:02:32] 975*2^1418326-1 is not prime. Res64: BF479CA6BB687208 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:02:33] 643*2^1418327-1 is not prime. Res64: F912D41B6C463974 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:02:33] 983*2^1418326-1 is not prime. Res64: ABCE426955246683 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:02:34] 693*2^1418327-1 is not prime. Res64: 19DC97519BD8A6DE Time : 0.0 sec. user=mdettweiler [2015-12-29 19:20:30] 759*2^1418327-1 is not prime. Res64: 1EA0BCE9F451CFA1 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:20:30] 831*2^1418327-1 is not prime. Res64: F6A7C3CC31322F7A Time : 0.0 sec. user=mdettweiler [2015-12-29 19:20:31] 931*2^1418327-1 is not prime. Res64: CCA4DFACFE224F9C Time : 0.0 sec. user=mdettweiler [2015-12-29 19:20:31] 963*2^1418327-1 is not prime. Res64: 045052D27D57DDEB Time : 0.0 sec. user=mdettweiler [2015-12-29 19:38:03] 789*2^1418328-1 is not prime. Res64: BB3A609654440077 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:38:03] 797*2^1418328-1 is not prime. Res64: 8CC3CDA3F4CC036A Time : 0.0 sec. user=mdettweiler [2015-12-29 19:38:03] 985*2^1418327-1 is not prime. Res64: DE85F4D5D98540B9 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:38:04] 753*2^1418328-1 is not prime. Res64: E3CF64107D547673 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:55:36] 729*2^1418329-1 is not prime. Res64: 70F6E17CD8354525 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:55:37] 893*2^1418328-1 is not prime. Res64: 6797DE772E2AADB0 Time : 0.0 sec. user=mdettweiler [2015-12-29 19:55:37] 741*2^1418329-1 is not prime. Res64: 26337DD1700B504A Time : 0.0 sec. user=mdettweiler [2015-12-29 19:55:37] 999*2^1418328-1 is not prime. Res64: 3308E0D573AE4198 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:13:07] 985*2^1418329-1 is not prime. Res64: D6477C23A8012388 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:13:08] 997*2^1418329-1 is not prime. Res64: 1B6D1E03D1BB7350 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:13:08] 799*2^1418329-1 is not prime. Res64: 9031CD2FB7C5AF79 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:13:09] 885*2^1418329-1 is not prime. Res64: 1A8575F06519D738 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:30:54] 999*2^1418329-1 is not prime. Res64: 31D7C1C8D93720F9 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:30:54] 755*2^1418330-1 is not prime. Res64: 3BCD60104E1752F9 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:30:55] 831*2^1418330-1 is not prime. Res64: 012E2FBEE8067EC6 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:30:55] 857*2^1418330-1 is not prime. Res64: 2F5770D5B1DBD4C3 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:48:32] 741*2^1418331-1 is not prime. Res64: 52C6583A8DC8D61C Time : 0.0 sec. user=mdettweiler [2015-12-29 20:48:33] 977*2^1418330-1 is not prime. Res64: 1BADBB59712D38CB Time : 0.0 sec. user=mdettweiler [2015-12-29 20:48:33] 775*2^1418331-1 is not prime. Res64: EA6B0F1CF55894A7 Time : 0.0 sec. user=mdettweiler [2015-12-29 20:48:33] 675*2^1418331-1 is not prime. Res64: C1DFC201A7FD580E Time : 0.0 sec. user=mdettweiler [2015-12-29 21:06:10] 921*2^1418331-1 is not prime. Res64: 3C451435611FC2E6 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:06:10] 705*2^1418332-1 is not prime. Res64: 2944DB0073254ACC Time : 0.0 sec. user=mdettweiler [2015-12-29 21:06:11] 863*2^1418332-1 is not prime. Res64: 9211CDE3A757E035 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:06:11] 635*2^1418332-1 is not prime. Res64: 8777625D5A9EDC63 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:23:47] 909*2^1418332-1 is not prime. Res64: 6BE762DC9A4173EA Time : 0.0 sec. user=mdettweiler [2015-12-29 21:23:47] 983*2^1418332-1 is not prime. Res64: C7BF2AB87CB11157 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:23:48] 959*2^1418332-1 is not prime. Res64: C89844F5AEE61C84 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:23:48] 607*2^1418333-1 is not prime. Res64: F93722B2250B3986 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:41:18] 685*2^1418333-1 is not prime. Res64: 623953E3E98091B7 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:41:19] 729*2^1418333-1 is not prime. Res64: 9073D556A84D64F4 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:41:19] 741*2^1418333-1 is not prime. Res64: C8E334A725204907 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:41:20] 829*2^1418333-1 is not prime. Res64: 4700EB9BF0BFAD90 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:58:49] 879*2^1418333-1 is not prime. Res64: 7C4077137C4509EB Time : 0.0 sec. user=mdettweiler [2015-12-29 21:58:49] 949*2^1418333-1 is not prime. Res64: B820A49A57E79E1D Time : 0.0 sec. user=mdettweiler [2015-12-29 21:58:49] 951*2^1418333-1 is not prime. Res64: EBF5DE76B3214728 Time : 0.0 sec. user=mdettweiler [2015-12-29 21:58:50] 705*2^1418334-1 is not prime. Res64: ACB0B9D769B81B87 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:16:22] 711*2^1418334-1 is not prime. Res64: 27482CA5D39E625F Time : 0.0 sec. user=mdettweiler [2015-12-29 22:16:23] 807*2^1418334-1 is not prime. Res64: 9BF0AB1FF78AC91A Time : 0.0 sec. user=mdettweiler [2015-12-29 22:16:23] 783*2^1418334-1 is not prime. Res64: 270CCB8F886EBA93 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:16:23] 861*2^1418334-1 is not prime. Res64: 36DFE90787789F46 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:34:04] 633*2^1418335-1 is not prime. Res64: 20D669F293D0492A Time : 0.0 sec. user=mdettweiler [2015-12-29 22:34:04] 941*2^1418334-1 is not prime. Res64: FCD51F5DFBE5A6C5 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:34:04] 679*2^1418335-1 is not prime. Res64: F3FCA76251A07E88 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:34:04] 965*2^1418334-1 is not prime. Res64: 819946D93D6634CC Time : 0.0 sec. user=mdettweiler [2015-12-29 22:53:55] 609*2^1418336-1 is not prime. Res64: 135F292B4A85AF95 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:53:55] 657*2^1418336-1 is not prime. Res64: 01C719B63F910778 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:53:57] 705*2^1418335-1 is not prime. Res64: AACC8E153F437116 Time : 0.0 sec. user=mdettweiler [2015-12-29 22:53:58] 859*2^1418335-1 is not prime. Res64: DA9D3F5682092694 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:11:24] 669*2^1418336-1 is not prime. Res64: 06B959917B050058 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:11:25] 689*2^1418336-1 is not prime. Res64: 56CD4224242F6F42 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:11:27] 803*2^1418336-1 is not prime. Res64: 9A4144C9E23510BD Time : 0.0 sec. user=mdettweiler [2015-12-29 23:11:27] 825*2^1418336-1 is not prime. Res64: E9002413086B2114 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:28:55] 827*2^1418336-1 is not prime. Res64: 1555FC273315AC42 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:28:55] 845*2^1418336-1 is not prime. Res64: 060D8948D58EAA92 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:28:56] 945*2^1418336-1 is not prime. Res64: 4794233C0313984E Time : 0.0 sec. user=mdettweiler [2015-12-29 23:28:57] 667*2^1418337-1 is not prime. Res64: B2E1E894D469607E Time : 0.0 sec. user=mdettweiler [2015-12-29 23:46:26] 727*2^1418337-1 is not prime. Res64: 2CB0BBEBF0DF7560 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:46:26] 777*2^1418337-1 is not prime. Res64: BD637D9AC42AF336 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:46:27] 781*2^1418337-1 is not prime. Res64: A117FDE7A633EF10 Time : 0.0 sec. user=mdettweiler [2015-12-29 23:46:27] 829*2^1418337-1 is not prime. Res64: 2E4B471CAD32B83F Time : 0.0 sec.