user=mdettweiler [2015-06-10 00:04:58] 677*2^1399894-1 is not prime. Res64: C3EB6CC0536FE5AA Time : 0.0 sec. user=mdettweiler [2015-06-10 00:04:59] 731*2^1399894-1 is not prime. Res64: C954AFD750EBA939 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:07:05] 827*2^1399894-1 is not prime. Res64: B87F98D5C3E4CE32 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:07:06] 831*2^1399894-1 is not prime. Res64: 43C1D85AD9C9CB7E Time : 0.0 sec. user=mdettweiler [2015-06-10 00:11:10] 887*2^1399894-1 is not prime. Res64: 0D9B8DC3A7F24046 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:11:11] 643*2^1399895-1 is not prime. Res64: 2CC1497015F8F9C9 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:12:39] 649*2^1399895-1 is not prime. Res64: 8102DF28A4AE5A6D Time : 0.0 sec. user=mdettweiler [2015-06-10 00:12:39] 651*2^1399895-1 is not prime. Res64: 280692CB76A33836 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:24:04] 991*2^1399895-1 is not prime. Res64: 902469DCCADED322 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:24:04] 627*2^1399896-1 is not prime. Res64: F19555DEC6841A29 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:26:06] 657*2^1399896-1 is not prime. Res64: 70ABCA69925D5EE8 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:26:06] 717*2^1399896-1 is not prime. Res64: 1414CC8E0DFFA4A5 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:29:30] 779*2^1399896-1 is not prime. Res64: 35D5E81419A6DA26 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:29:30] 903*2^1399896-1 is not prime. Res64: 5F86A569F99486E3 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:30:51] 945*2^1399896-1 is not prime. Res64: E3D75F60DEC0B7EC Time : 0.0 sec. user=mdettweiler [2015-06-10 00:30:52] 607*2^1399897-1 is not prime. Res64: 3BD132D74DB3688B Time : 0.0 sec. user=mdettweiler [2015-06-10 00:41:43] 919*2^1399897-1 is not prime. Res64: EA01DB02181F3090 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:41:43] 957*2^1399897-1 is not prime. Res64: 9673FBB533FFFC34 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:43:40] 641*2^1399898-1 is not prime. Res64: 58EE2468FA112513 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:43:40] 707*2^1399898-1 is not prime. Res64: 6BD65BA6277DD567 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:47:12] 713*2^1399898-1 is not prime. Res64: 2B88DA73E04D0968 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:47:13] 837*2^1399898-1 is not prime. Res64: 6B3FAFDCDD1899F0 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:48:26] 857*2^1399898-1 is not prime. Res64: D4460CB8F3F3DD22 Time : 0.0 sec. user=mdettweiler [2015-06-10 00:48:27] 663*2^1399899-1 is not prime. Res64: E55DE7D49197BE4C Time : 0.0 sec. user=mdettweiler [2015-06-10 01:00:20] 751*2^1399899-1 is not prime. Res64: 6D5AFAEF67B0C1ED Time : 0.0 sec. user=mdettweiler [2015-06-10 01:00:21] 921*2^1399899-1 is not prime. Res64: 586B2098E917BEF2 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:02:02] 931*2^1399899-1 is not prime. Res64: E36B160C7A3609FE Time : 0.0 sec. user=mdettweiler [2015-06-10 01:02:02] 955*2^1399899-1 is not prime. Res64: 508BBB4ED8927100 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:05:55] 629*2^1399900-1 is not prime. Res64: E0C58DD940B119AD Time : 0.0 sec. user=mdettweiler [2015-06-10 01:05:56] 819*2^1399900-1 is not prime. Res64: 0E280B8A2A9DC85F Time : 0.0 sec. user=mdettweiler [2015-06-10 01:07:03] 845*2^1399900-1 is not prime. Res64: EB87222E5659461A Time : 0.0 sec. user=mdettweiler [2015-06-10 01:07:04] 863*2^1399900-1 is not prime. Res64: 13E2E50E90CE1958 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:18:38] 873*2^1399900-1 is not prime. Res64: 2362BFB634AD4B2E Time : 0.0 sec. user=mdettweiler [2015-06-10 01:18:39] 875*2^1399900-1 is not prime. Res64: 5C2FEAF356E2541A Time : 0.0 sec. user=mdettweiler [2015-06-10 01:20:42] 645*2^1399901-1 is not prime. Res64: AC668C7FAB30A4BF Time : 0.0 sec. user=mdettweiler [2015-06-10 01:20:43] 711*2^1399901-1 is not prime. Res64: D9BC255134F6C5EE Time : 0.0 sec. user=mdettweiler [2015-06-10 01:24:27] 745*2^1399901-1 is not prime. Res64: BBDB8595291F3424 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:24:28] 967*2^1399901-1 is not prime. Res64: 677FBC9FECEB4B83 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:25:23] 621*2^1399902-1 is not prime. Res64: 211DC93408BBF60E Time : 0.0 sec. user=mdettweiler [2015-06-10 01:25:24] 651*2^1399902-1 is not prime. Res64: 3811E021E728A8ED Time : 0.0 sec. user=mdettweiler [2015-06-10 01:36:38] 711*2^1399902-1 is not prime. Res64: B0C0F65650C3A309 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:36:39] 725*2^1399902-1 is not prime. Res64: AB1078A19838EC0C Time : 0.0 sec. user=mdettweiler [2015-06-10 01:38:25] 741*2^1399902-1 is not prime. Res64: 4C95893822F265ED Time : 0.0 sec. user=mdettweiler [2015-06-10 01:38:25] 833*2^1399902-1 is not prime. Res64: DD2130FBB876A957 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:42:10] 867*2^1399902-1 is not prime. Res64: 015081134C638D77 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:42:11] 941*2^1399902-1 is not prime. Res64: B4C5812CA3EE7276 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:43:05] 615*2^1399903-1 is not prime. Res64: F29DC5D449774AA3 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:43:05] 693*2^1399903-1 is not prime. Res64: 528040B9FC113F9E Time : 0.0 sec. user=mdettweiler [2015-06-10 01:54:31] 751*2^1399903-1 is not prime. Res64: E7AB14A8D76401E7 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:54:32] 765*2^1399903-1 is not prime. Res64: 62AF2D3DF57FB733 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:56:06] 951*2^1399903-1 is not prime. Res64: 69A1995703279CAE Time : 0.0 sec. user=mdettweiler [2015-06-10 01:56:07] 609*2^1399904-1 is not prime. Res64: 00F7B23963CD35B6 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:59:51] 617*2^1399904-1 is not prime. Res64: A90EA0D4E0D94910 Time : 0.0 sec. user=mdettweiler [2015-06-10 01:59:51] 687*2^1399904-1 is not prime. Res64: 36E99DD8DFA5129C Time : 0.0 sec. user=mdettweiler [2015-06-10 02:00:46] 747*2^1399904-1 is not prime. Res64: 4D9D06C7002B14DA Time : 0.0 sec. user=mdettweiler [2015-06-10 02:00:46] 755*2^1399904-1 is not prime. Res64: 66BBFCF04AC3CE60 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:13:17] 803*2^1399904-1 is not prime. Res64: 1B7D6447929B87C4 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:13:17] 813*2^1399904-1 is not prime. Res64: 9DD78BF62C04AA3B Time : 0.0 sec. user=mdettweiler [2015-06-10 02:14:54] 825*2^1399904-1 is not prime. Res64: 7F48C320E64BE018 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:14:54] 909*2^1399904-1 is not prime. Res64: 472D6044C024A95C Time : 0.0 sec. user=mdettweiler [2015-06-10 02:21:01] 657*2^1399905-1 is not prime. Res64: 42D34415D7ACD498 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:21:01] 669*2^1399905-1 is not prime. Res64: 4B95290838583D40 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:21:49] 699*2^1399905-1 is not prime. Res64: 51AD0A585ECC21CE Time : 0.0 sec. user=mdettweiler [2015-06-10 02:21:49] 861*2^1399905-1 is not prime. Res64: 95318F84D963CC2B Time : 0.0 sec. user=mdettweiler [2015-06-10 02:40:14] 889*2^1399905-1 is not prime. Res64: 0765DBAB97C3CC6A Time : 0.0 sec. user=mdettweiler [2015-06-10 02:40:15] 671*2^1399906-1 is not prime. Res64: D887B14B00321BE9 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:40:24] 813*2^1399906-1 is not prime. Res64: 44DF29CD9415D8A7 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:40:25] 825*2^1399906-1 is not prime. Res64: 78F0A51C60AA92E5 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:48:54] 881*2^1399906-1 is not prime. Res64: CFD8AF7C41A9BBCE Time : 0.0 sec. user=mdettweiler [2015-06-10 02:48:54] 983*2^1399906-1 is not prime. Res64: 7C5188FFFD109525 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:49:09] 867*2^1399906-1 is not prime. Res64: A9CCF0EF8546C8AF Time : 0.0 sec. user=mdettweiler [2015-06-10 02:49:09] 873*2^1399906-1 is not prime. Res64: 758FED47339302C1 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:57:49] 1001*2^1399906-1 is not prime. Res64: 089AE51FB0373917 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:57:49] 663*2^1399907-1 is not prime. Res64: F453116C60BAAED5 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:57:50] 699*2^1399907-1 is not prime. Res64: 3A6759374175B4F2 Time : 0.0 sec. user=mdettweiler [2015-06-10 02:57:50] 825*2^1399907-1 is not prime. Res64: 6BAC0C9B4CFA4184 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:06:17] 829*2^1399907-1 is not prime. Res64: 6F02C396F5CEC409 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:06:18] 861*2^1399907-1 is not prime. Res64: 374A282061138D3B Time : 0.0 sec. user=mdettweiler [2015-06-10 03:06:25] 913*2^1399907-1 is not prime. Res64: 08EB8DFE62EBA0B8 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:06:26] 629*2^1399908-1 is not prime. Res64: 21575F0AA182C8F5 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:15:15] 635*2^1399908-1 is not prime. Res64: 9E7892797C0D7557 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:15:16] 663*2^1399908-1 is not prime. Res64: A48C9A0127D9785D Time : 0.0 sec. user=mdettweiler [2015-06-10 03:15:22] 665*2^1399908-1 is not prime. Res64: 8D45E9C3CE03F243 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:15:22] 669*2^1399908-1 is not prime. Res64: CB2273D29B144B5A Time : 0.0 sec. user=mdettweiler [2015-06-10 03:23:51] 945*2^1399908-1 is not prime. Res64: 95FAE9133F560339 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:23:51] 615*2^1399909-1 is not prime. Res64: 27E5761DC4F16D3D Time : 0.0 sec. user=mdettweiler [2015-06-10 03:23:55] 641*2^1399910-1 is not prime. Res64: 94F1F746EBD7E77D Time : 0.0 sec. user=mdettweiler [2015-06-10 03:23:56] 741*2^1399910-1 is not prime. Res64: 7F0814DA1E1D97E3 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:32:47] 743*2^1399910-1 is not prime. Res64: 4E5149104CBB3A33 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:32:49] 977*2^1399910-1 is not prime. Res64: E0445AB09D25F4FF Time : 0.0 sec. user=mdettweiler [2015-06-10 03:32:49] 845*2^1399910-1 is not prime. Res64: 34DC0906DBD338FD Time : 0.0 sec. user=mdettweiler [2015-06-10 03:32:50] 643*2^1399911-1 is not prime. Res64: 3F131FF656411E11 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:41:14] 609*2^1399912-1 is not prime. Res64: 195DCCAF7660ABE0 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:41:16] 677*2^1399912-1 is not prime. Res64: 70A35E19768E326B Time : 0.0 sec. user=mdettweiler [2015-06-10 03:41:20] 777*2^1399912-1 is not prime. Res64: 3967A0DEAB10BD21 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:41:22] 819*2^1399912-1 is not prime. Res64: F583177B572DE9BE Time : 0.0 sec. user=mdettweiler [2015-06-10 03:50:16] 959*2^1399912-1 is not prime. Res64: 02943F7C731142FB Time : 0.0 sec. user=mdettweiler [2015-06-10 03:50:19] 989*2^1399912-1 is not prime. Res64: BFB3E81E42109B6F Time : 0.0 sec. user=mdettweiler [2015-06-10 03:50:21] 887*2^1399912-1 is not prime. Res64: 17489A5581FF164F Time : 0.0 sec. user=mdettweiler [2015-06-10 03:50:24] 899*2^1399912-1 is not prime. Res64: 5545275A7F4645C0 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:59:10] 633*2^1399914-1 is not prime. Res64: E643A48BF8FD76A8 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:59:10] 695*2^1399914-1 is not prime. Res64: 1BBBD9EB8EF0D85A Time : 0.0 sec. user=mdettweiler [2015-06-10 03:59:12] 619*2^1399913-1 is not prime. Res64: 524EDEC8443A2624 Time : 0.0 sec. user=mdettweiler [2015-06-10 03:59:13] 691*2^1399913-1 is not prime. Res64: 6E8412CBEAEEBBF0 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:08:19] 755*2^1399914-1 is not prime. Res64: 4FBEDBE9A86F7BB9 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:08:20] 791*2^1399914-1 is not prime. Res64: 6A53B0653FC4D9BF Time : 0.0 sec. user=mdettweiler [2015-06-10 04:08:24] 851*2^1399914-1 is not prime. Res64: 7353D815D89DCFD0 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:08:25] 923*2^1399914-1 is not prime. Res64: EB1226B7F6914DD5 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:16:40] 849*2^1399915-1 is not prime. Res64: 136D7CC3A6969607 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:16:41] 859*2^1399915-1 is not prime. Res64: 722D7965D0257375 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:16:48] 927*2^1399914-1 is not prime. Res64: 0529F3FE0F9D3393 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:16:48] 741*2^1399915-1 is not prime. Res64: A207042D51B25C40 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:26:17] 659*2^1399916-1 is not prime. Res64: 98F382CF714A74AE Time : 0.0 sec. user=mdettweiler [2015-06-10 04:26:18] 759*2^1399916-1 is not prime. Res64: DDC9EE8FBF60E628 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:28:28] 617*2^1399916-1 is not prime. Res64: 2A4C2CCAC8833247 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:28:28] 635*2^1399916-1 is not prime. Res64: C1CD06D92645F004 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:34:50] 945*2^1399916-1 is not prime. Res64: 81E784FF81EA9A89 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:34:51] 609*2^1399917-1 is not prime. Res64: 4DD985DA1D3D1BD2 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:36:05] 855*2^1399916-1 is not prime. Res64: 6125578615FAC039 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:36:05] 857*2^1399916-1 is not prime. Res64: F1CFF5313A351580 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:44:04] 691*2^1399917-1 is not prime. Res64: 024F524016EF3DD1 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:44:05] 717*2^1399917-1 is not prime. Res64: 84326286EA817A39 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:47:11] 781*2^1399917-1 is not prime. Res64: ABB75CA3EC57DF3F Time : 0.0 sec. user=mdettweiler [2015-06-10 04:47:11] 817*2^1399917-1 is not prime. Res64: 9008EAA96E79D39E Time : 0.0 sec. user=juhehe [2015-06-10 04:49:55] 649*2^1399917-1 is not prime. Res64: 11EA38614BF186FC Time : 0.0 sec. user=mdettweiler [2015-06-10 04:52:32] 871*2^1399917-1 is not prime. Res64: 96A37888901CF09A Time : 0.0 sec. user=mdettweiler [2015-06-10 04:52:32] 919*2^1399917-1 is not prime. Res64: 6CC8B07774AA7505 Time : 0.0 sec. user=mdettweiler [2015-06-10 04:54:33] 927*2^1399917-1 is not prime. Res64: 274ADECD99AE98FB Time : 0.0 sec. user=mdettweiler [2015-06-10 04:54:33] 937*2^1399917-1 is not prime. Res64: 8DF7C2EE991A911E Time : 0.0 sec. user=mdettweiler [2015-06-10 05:01:33] 603*2^1399918-1 is not prime. Res64: 1B7018F4652901D4 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:01:34] 611*2^1399918-1 is not prime. Res64: 66049989592FFD5E Time : 0.0 sec. user=mdettweiler [2015-06-10 05:04:54] 645*2^1399918-1 is not prime. Res64: E8DD385D0FAA7C49 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:04:57] 723*2^1399918-1 is not prime. Res64: B7AA685409C9090E Time : 0.0 sec. user=mdettweiler [2015-06-10 05:09:57] 845*2^1399918-1 is not prime. Res64: E5DA87AE546E9EC2 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:10:00] 621*2^1399919-1 is not prime. Res64: BCE74685C8A9B683 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:11:55] 685*2^1399919-1 is not prime. Res64: 46FC11D7BE87513C Time : 0.0 sec. user=mdettweiler [2015-06-10 05:11:56] 711*2^1399919-1 is not prime. Res64: 74DFADF58AEB7950 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:18:56] 741*2^1399919-1 is not prime. Res64: A464DB705BF646E3 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:18:57] 813*2^1399919-1 is not prime. Res64: 3A766FDFBAC47591 Time : 0.0 sec. user=juhehe [2015-06-10 05:22:28] 791*2^1399918-1 is not prime. Res64: 74A0DCFFE2AC4949 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:23:05] 825*2^1399919-1 is not prime. Res64: 849606CD2AC2328B Time : 0.0 sec. user=mdettweiler [2015-06-10 05:23:06] 853*2^1399919-1 is not prime. Res64: 8842ED401B0E6200 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:28:05] 859*2^1399919-1 is not prime. Res64: 81E7CD3CDABC7F15 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:28:06] 879*2^1399919-1 is not prime. Res64: CC7ECDB656D59008 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:29:22] 909*2^1399919-1 is not prime. Res64: E268670EF5AC44C3 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:29:23] 921*2^1399919-1 is not prime. Res64: 8C13FFA810D60A3D Time : 0.0 sec. user=mdettweiler [2015-06-10 05:36:17] 609*2^1399920-1 is not prime. Res64: 71F9582B06F467C9 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:36:18] 707*2^1399920-1 is not prime. Res64: 48ABCDA78EEDB412 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:40:28] 753*2^1399920-1 is not prime. Res64: BC411E9A8CD728CA Time : 0.0 sec. user=mdettweiler [2015-06-10 05:40:29] 773*2^1399920-1 is not prime. Res64: 4A2D05ADD2F706E5 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:45:24] 873*2^1399920-1 is not prime. Res64: 084456069AA42B6A Time : 0.0 sec. user=mdettweiler [2015-06-10 05:45:24] 933*2^1399920-1 is not prime. Res64: E0D057302A53C623 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:46:39] 959*2^1399920-1 is not prime. Res64: 0E4DD50EA055C120 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:46:40] 751*2^1399921-1 is not prime. Res64: CCFCA885B9080DEB Time : 0.0 sec. user=mdettweiler [2015-06-10 05:53:45] 877*2^1399921-1 is not prime. Res64: 69175AE851DFDFF2 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:53:45] 895*2^1399921-1 is not prime. Res64: B68EE9DD01272EB1 Time : 0.0 sec. user=juhehe [2015-06-10 05:54:57] 737*2^1399920-1 is not prime. Res64: 171905814759D069 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:57:58] 827*2^1399922-1 is not prime. Res64: E7564E987B537467 Time : 0.0 sec. user=mdettweiler [2015-06-10 05:57:58] 911*2^1399922-1 is not prime. Res64: 0816ED772B9E3FF2 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:03:00] 977*2^1399922-1 is not prime. Res64: C6FAB0D18B46AA3D Time : 0.0 sec. user=mdettweiler [2015-06-10 06:03:02] 685*2^1399923-1 is not prime. Res64: ACB0117D3D17F571 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:04:02] 699*2^1399923-1 is not prime. Res64: 5A697FA93A0070C6 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:04:04] 709*2^1399923-1 is not prime. Res64: 75D7B5F1F0CFCD63 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:11:28] 753*2^1399923-1 is not prime. Res64: 04F2B7FA599E8E22 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:11:29] 775*2^1399923-1 is not prime. Res64: 1866D991BDAC5BA4 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:15:23] 823*2^1399923-1 is not prime. Res64: 3079AEC475EFB356 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:15:23] 921*2^1399923-1 is not prime. Res64: B56C3F8F3128F9A4 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:20:46] 955*2^1399923-1 is not prime. Res64: 6267A8CD608793FA Time : 0.0 sec. user=mdettweiler [2015-06-10 06:20:46] 635*2^1399924-1 is not prime. Res64: 0808C2814145C38A Time : 0.0 sec. user=mdettweiler [2015-06-10 06:21:35] 695*2^1399924-1 is not prime. Res64: D3E995B379529D56 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:21:35] 707*2^1399924-1 is not prime. Res64: E4FDC6D4309ADE88 Time : 0.0 sec. user=juhehe [2015-06-10 06:27:27] 795*2^1399923-1 is not prime. Res64: 843B09344B04A610 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:28:58] 727*2^1399925-1 is not prime. Res64: 8F4DAE2004A31116 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:28:59] 795*2^1399925-1 is not prime. Res64: 2DD6F4CE44B26A38 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:32:43] 799*2^1399925-1 is not prime. Res64: 020FB33892D40B03 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:32:46] 805*2^1399925-1 is not prime. Res64: 56F316314C6373FE Time : 0.0 sec. user=mdettweiler [2015-06-10 06:38:10] 861*2^1399925-1 is not prime. Res64: 6A4339ED4BA2F2FC Time : 0.0 sec. user=mdettweiler [2015-06-10 06:38:11] 889*2^1399925-1 is not prime. Res64: 116BF8B5856EF830 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:39:01] 915*2^1399925-1 is not prime. Res64: B9C59EAD0855B6FA Time : 0.0 sec. user=mdettweiler [2015-06-10 06:39:02] 939*2^1399925-1 is not prime. Res64: 5425AFA5CFD8A181 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:46:31] 717*2^1399926-1 is not prime. Res64: 5AB93E49405EE0FC Time : 0.0 sec. user=mdettweiler [2015-06-10 06:46:32] 723*2^1399926-1 is not prime. Res64: 8B7F0EB26517FD4F Time : 0.0 sec. user=mdettweiler [2015-06-10 06:50:13] 807*2^1399926-1 is not prime. Res64: 6918B6583CD2AABC Time : 0.0 sec. user=mdettweiler [2015-06-10 06:50:14] 945*2^1399926-1 is not prime. Res64: A482BAEC6BB72B79 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:55:32] 963*2^1399926-1 is not prime. Res64: BAEEE4F67E4E2D7B Time : 0.0 sec. user=mdettweiler [2015-06-10 06:55:33] 603*2^1399927-1 is not prime. Res64: 83A846984E03ACF1 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:56:19] 759*2^1399927-1 is not prime. Res64: 388763026990D2A2 Time : 0.0 sec. user=mdettweiler [2015-06-10 06:56:20] 831*2^1399927-1 is not prime. Res64: B2CB20EA3D82981E Time : 0.0 sec. user=juhehe [2015-06-10 06:59:52] 969*2^1399925-1 is not prime. Res64: 3AAB9DD633175B7B Time : 0.0 sec. user=mdettweiler [2015-06-10 07:03:53] 843*2^1399927-1 is not prime. Res64: C68775E59F284E8D Time : 0.0 sec. user=mdettweiler [2015-06-10 07:03:55] 871*2^1399927-1 is not prime. Res64: 8DE9F28C6F668274 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:07:33] 603*2^1399928-1 is not prime. Res64: 9AC067C89C40E867 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:07:34] 617*2^1399928-1 is not prime. Res64: F309B09D693C93A7 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:12:58] 633*2^1399928-1 is not prime. Res64: 268419A5728DFFD6 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:12:58] 657*2^1399928-1 is not prime. Res64: B970DF08647AA677 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:13:39] 875*2^1399928-1 is not prime. Res64: B502847378171683 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:13:39] 999*2^1399928-1 is not prime. Res64: 3092537859DE89D8 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:21:48] 727*2^1399929-1 is not prime. Res64: 52FABF5306204EA5 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:21:49] 835*2^1399929-1 is not prime. Res64: D08FF1DE47615960 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:24:59] 837*2^1399929-1 is not prime. Res64: 8FD76F3D6954182E Time : 0.0 sec. user=mdettweiler [2015-06-10 07:25:00] 865*2^1399929-1 is not prime. Res64: 692C58421EC488AE Time : 0.0 sec. user=mdettweiler [2015-06-10 07:30:25] 945*2^1399929-1 is not prime. Res64: C577F79A16B38328 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:30:26] 979*2^1399929-1 is not prime. Res64: 57DF9A49AF41DA9A Time : 0.0 sec. user=mdettweiler [2015-06-10 07:31:11] 701*2^1399930-1 is not prime. Res64: 407656C8BDE2152E Time : 0.0 sec. user=mdettweiler [2015-06-10 07:31:12] 845*2^1399930-1 is not prime. Res64: 7CEBAB088F6F748A Time : 0.0 sec. user=juhehe [2015-06-10 07:32:20] 639*2^1399929-1 is not prime. Res64: A5CC19FC14778FEF Time : 0.0 sec. user=mdettweiler [2015-06-10 07:39:19] 917*2^1399930-1 is not prime. Res64: 85704734141B479E Time : 0.0 sec. user=mdettweiler [2015-06-10 07:39:20] 923*2^1399930-1 is not prime. Res64: 61785815558BE7E9 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:42:26] 957*2^1399930-1 is not prime. Res64: D78BEE44A05C3B3C Time : 0.0 sec. user=mdettweiler [2015-06-10 07:42:27] 987*2^1399930-1 is not prime. Res64: 6350C0A0872DEE12 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:48:03] 615*2^1399931-1 is not prime. Res64: BF02363D692DE7A8 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:48:04] 663*2^1399931-1 is not prime. Res64: 69EE6BE0379D34AB Time : 0.0 sec. user=mdettweiler [2015-06-10 07:48:33] 693*2^1399931-1 is not prime. Res64: 8972503F48E5F1A2 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:48:34] 711*2^1399931-1 is not prime. Res64: 1917B0F1CC5CC16F Time : 0.0 sec. user=mdettweiler [2015-06-10 07:56:40] 901*2^1399931-1 is not prime. Res64: B99F8F5AECAE219D Time : 0.0 sec. user=mdettweiler [2015-06-10 07:56:40] 943*2^1399931-1 is not prime. Res64: E0E3173D36452B2A Time : 0.0 sec. user=mdettweiler [2015-06-10 07:59:49] 969*2^1399931-1 is not prime. Res64: A118D208F53AD363 Time : 0.0 sec. user=mdettweiler [2015-06-10 07:59:49] 665*2^1399932-1 is not prime. Res64: 7FF7CB90A8497FD3 Time : 0.0 sec. user=juhehe [2015-06-10 08:04:45] 801*2^1399931-1 is not prime. Res64: 483CDD7FDD9B9A3A Time : 0.0 sec. user=mdettweiler [2015-06-10 08:05:26] 765*2^1399932-1 is not prime. Res64: A51F74A9DCD1E8A9 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:05:28] 903*2^1399932-1 is not prime. Res64: 341F5445110DB8A7 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:05:57] 745*2^1399933-1 is not prime. Res64: 495B8B11F44C2F8F Time : 0.0 sec. user=mdettweiler [2015-06-10 08:05:58] 771*2^1399933-1 is not prime. Res64: 19C5100A2FCF9757 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:14:11] 831*2^1399933-1 is not prime. Res64: 262C0236EB243554 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:14:12] 999*2^1399933-1 is not prime. Res64: D962D97A0D8BD537 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:17:08] 677*2^1399934-1 is not prime. Res64: 7D8B2237B86E7A79 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:17:09] 743*2^1399934-1 is not prime. Res64: 74C3961076C305C9 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:22:53] 885*2^1399934-1 is not prime. Res64: 27D88E003E9165CB Time : 0.0 sec. user=mdettweiler [2015-06-10 08:22:54] 921*2^1399934-1 is not prime. Res64: 6B38369EA9558CA8 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:23:19] 935*2^1399934-1 is not prime. Res64: 5C8BC1ACD5C5F3A7 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:23:20] 693*2^1399935-1 is not prime. Res64: CA0B9579CCEDF0A4 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:31:34] 711*2^1399935-1 is not prime. Res64: DAD9929EAF9618BC Time : 0.0 sec. user=mdettweiler [2015-06-10 08:31:35] 751*2^1399935-1 is not prime. Res64: B7404A44D349792F Time : 0.0 sec. user=mdettweiler [2015-06-10 08:34:26] 781*2^1399935-1 is not prime. Res64: 732D2F2F5A6906C6 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:34:26] 873*2^1399935-1 is not prime. Res64: F491F61EAF602240 Time : 0.0 sec. user=juhehe [2015-06-10 08:37:13] 755*2^1399934-1 is not prime. Res64: 7BB8B6382CDC7DE2 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:40:20] 951*2^1399935-1 is not prime. Res64: 58395BF233468899 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:40:20] 955*2^1399935-1 is not prime. Res64: 8C9AE3E99A9CC883 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:40:46] 961*2^1399935-1 is not prime. Res64: 8B9EFB4A29298A86 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:40:47] 629*2^1399936-1 is not prime. Res64: 69CA6CFFC0E12B6F Time : 0.0 sec. user=mdettweiler [2015-06-10 08:48:59] 777*2^1399936-1 is not prime. Res64: C95C7D76AB72DC38 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:48:59] 779*2^1399936-1 is not prime. Res64: 9C3AFEDA3563E2D4 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:51:44] 825*2^1399936-1 is not prime. Res64: DB1585E784F491B9 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:51:45] 833*2^1399936-1 is not prime. Res64: E2E1E61820B8B5AD Time : 0.0 sec. user=mdettweiler [2015-06-10 08:57:48] 993*2^1399936-1 is not prime. Res64: 286C8F27D1BF6816 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:57:49] 727*2^1399937-1 is not prime. Res64: 081B066D1534906B Time : 0.0 sec. user=mdettweiler [2015-06-10 08:58:11] 735*2^1399937-1 is not prime. Res64: D4D33978D1FDE498 Time : 0.0 sec. user=mdettweiler [2015-06-10 08:58:12] 805*2^1399937-1 is not prime. Res64: CBA97A1C59952A49 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:06:25] 867*2^1399937-1 is not prime. Res64: F76DC82E152039C0 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:06:27] 885*2^1399937-1 is not prime. Res64: 9EE1212471065023 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:09:17] 635*2^1399938-1 is not prime. Res64: 7961CBBA2BDCB7A5 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:09:18] 747*2^1399938-1 is not prime. Res64: 898157E3367D367B Time : 0.0 sec. user=juhehe [2015-06-10 09:09:40] 989*2^1399936-1 is not prime. Res64: E03281DD666E93B2 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:15:19] 755*2^1399938-1 is not prime. Res64: 7746B3A4075A4271 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:15:20] 797*2^1399938-1 is not prime. Res64: BD6DAB243B844D10 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:15:36] 803*2^1399938-1 is not prime. Res64: 8B69F154F53FDC0F Time : 0.0 sec. user=mdettweiler [2015-06-10 09:15:36] 861*2^1399938-1 is not prime. Res64: 1746A734E46F5A78 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:24:19] 867*2^1399938-1 is not prime. Res64: 6FFD47D1CCED0C3D Time : 0.0 sec. user=mdettweiler [2015-06-10 09:24:20] 893*2^1399938-1 is not prime. Res64: 2A2460D7167CBBC5 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:26:41] 619*2^1399939-1 is not prime. Res64: 95EDADD0317A6447 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:26:42] 621*2^1399939-1 is not prime. Res64: A953F0FA05345D66 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:32:52] 769*2^1399939-1 is not prime. Res64: 811C50A7560F57FC Time : 0.0 sec. user=mdettweiler [2015-06-10 09:32:53] 843*2^1399939-1 is not prime. Res64: F7D257DAC73932F7 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:33:00] 853*2^1399939-1 is not prime. Res64: AFA31293EF6D55AC Time : 0.0 sec. user=mdettweiler [2015-06-10 09:33:00] 859*2^1399939-1 is not prime. Res64: 21A51298D7575383 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:41:40] 861*2^1399939-1 is not prime. Res64: 64484BAB6CB2FFB6 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:41:41] 883*2^1399939-1 is not prime. Res64: 8BEF90669964A57D Time : 0.0 sec. user=mdettweiler [2015-06-10 09:43:59] 615*2^1399940-1 is not prime. Res64: C87BA3BC22A0A6A7 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:44:00] 675*2^1399940-1 is not prime. Res64: 19F1FE712C20873C Time : 0.0 sec. user=mdettweiler [2015-06-10 09:50:17] 725*2^1399940-1 is not prime. Res64: 31319F593402C7DA Time : 0.0 sec. user=mdettweiler [2015-06-10 09:50:17] 729*2^1399940-1 is not prime. Res64: 5A28891AA347E4F8 Time : 0.0 sec. user=mdettweiler [2015-06-10 09:50:26] 735*2^1399940-1 is not prime. Res64: 4F8A45215554170B Time : 0.0 sec. user=mdettweiler [2015-06-10 09:50:26] 743*2^1399940-1 is not prime. Res64: BB64E72D1E620BDF Time : 0.0 sec. user=mdettweiler [2015-06-10 09:59:20] 759*2^1399940-1 is not prime. Res64: 30491FEDAC5974DA Time : 0.0 sec. user=mdettweiler [2015-06-10 09:59:20] 795*2^1399940-1 is not prime. Res64: 1F46D40B7CAB1324 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:04:46] 813*2^1399940-1 is not prime. Res64: F7D2879A3105248F Time : 0.0 sec. user=mdettweiler [2015-06-10 10:04:49] 953*2^1399940-1 is not prime. Res64: 2B01CC87CFD3DCCC Time : 0.0 sec. user=mdettweiler [2015-06-10 10:07:59] 625*2^1399941-1 is not prime. Res64: 7F6938CA8E6CCA5B Time : 0.0 sec. user=mdettweiler [2015-06-10 10:08:00] 711*2^1399941-1 is not prime. Res64: 9928C8120E80FAB9 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:08:02] 735*2^1399941-1 is not prime. Res64: 5588D42026049EE7 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:08:03] 885*2^1399941-1 is not prime. Res64: 59A02CF860CD475B Time : 0.0 sec. user=mdettweiler [2015-06-10 10:17:01] 955*2^1399941-1 is not prime. Res64: D549B5CAE6983BCE Time : 0.0 sec. user=mdettweiler [2015-06-10 10:17:03] 999*2^1399941-1 is not prime. Res64: 20CB73B49C0529EB Time : 0.0 sec. user=mdettweiler [2015-06-10 10:23:50] 681*2^1399942-1 is not prime. Res64: D9E0712B652E0307 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:23:51] 813*2^1399942-1 is not prime. Res64: 522A54605D05B609 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:25:37] 815*2^1399942-1 is not prime. Res64: BA2B204CF25E001C Time : 0.0 sec. user=mdettweiler [2015-06-10 10:25:37] 825*2^1399942-1 is not prime. Res64: 1FB0E55BBFC28D2F Time : 0.0 sec. user=mdettweiler [2015-06-10 10:25:48] 957*2^1399942-1 is not prime. Res64: 6C6C8567386956DA Time : 0.0 sec. user=mdettweiler [2015-06-10 10:25:49] 981*2^1399942-1 is not prime. Res64: 7EF5428BE6CBA316 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:34:35] 661*2^1399943-1 is not prime. Res64: 6BA1C3F6A7F75591 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:34:37] 703*2^1399943-1 is not prime. Res64: 156F3D45FDE84EC7 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:41:13] 813*2^1399943-1 is not prime. Res64: 807C15EAB4E7039E Time : 0.0 sec. user=mdettweiler [2015-06-10 10:41:14] 855*2^1399943-1 is not prime. Res64: E365FBE4CE172373 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:43:09] 981*2^1399943-1 is not prime. Res64: 96D61A2CF2EE680C Time : 0.0 sec. user=mdettweiler [2015-06-10 10:43:09] 623*2^1399944-1 is not prime. Res64: FD24D33251F99677 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:43:11] 657*2^1399944-1 is not prime. Res64: EB5D792234EFB478 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:43:11] 693*2^1399944-1 is not prime. Res64: 17CCF90DEB1475A9 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:52:07] 753*2^1399944-1 is not prime. Res64: 78A2D2BD9B57F4D2 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:52:07] 789*2^1399944-1 is not prime. Res64: 3EA6F4D4388BEF69 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:58:42] 887*2^1399944-1 is not prime. Res64: 29899C1AFB16DDE9 Time : 0.0 sec. user=mdettweiler [2015-06-10 10:58:43] 893*2^1399944-1 is not prime. Res64: 62235B24197B0B84 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:00:37] 801*2^1399945-1 is not prime. Res64: FDE5110477937D68 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:00:38] 841*2^1399945-1 is not prime. Res64: 5B0E89EC94D86315 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:00:40] 649*2^1399945-1 is not prime. Res64: FD128F8B81FC88F6 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:00:41] 775*2^1399945-1 is not prime. Res64: 94D72356C8A5DFA0 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:09:31] 871*2^1399945-1 is not prime. Res64: 0C9EAF08A853D76F Time : 0.0 sec. user=mdettweiler [2015-06-10 11:09:32] 937*2^1399945-1 is not prime. Res64: 30AD2F4F7C59C98A Time : 0.0 sec. user=mdettweiler [2015-06-10 11:16:03] 939*2^1399945-1 is not prime. Res64: FCF79939442AC5DD Time : 0.0 sec. user=mdettweiler [2015-06-10 11:16:04] 645*2^1399946-1 is not prime. Res64: 986C86B97F48FB26 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:18:02] 743*2^1399946-1 is not prime. Res64: 28DA08BB45A3E53E Time : 0.0 sec. user=mdettweiler [2015-06-10 11:18:03] 767*2^1399946-1 is not prime. Res64: 6C7EC0AFB440BCEE Time : 0.0 sec. user=mdettweiler [2015-06-10 11:18:05] 711*2^1399946-1 is not prime. Res64: 52720FEDD023E303 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:18:06] 741*2^1399946-1 is not prime. Res64: F983D71F58DEC2CC Time : 0.0 sec. user=mdettweiler [2015-06-10 11:26:58] 783*2^1399946-1 is not prime. Res64: D07C3D77539A73AD Time : 0.0 sec. user=mdettweiler [2015-06-10 11:26:58] 801*2^1399946-1 is not prime. Res64: 5A1DFC1A234ADAAF Time : 0.0 sec. user=mdettweiler [2015-06-10 11:33:27] 857*2^1399946-1 is not prime. Res64: 6B68F4E21BE48511 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:33:28] 775*2^1399947-1 is not prime. Res64: 9337157435810E22 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:35:24] 781*2^1399947-1 is not prime. Res64: E469780F0CDD55CC Time : 0.0 sec. user=mdettweiler [2015-06-10 11:35:24] 859*2^1399947-1 is not prime. Res64: 8EDD8DFDC04030DD Time : 0.0 sec. user=mdettweiler [2015-06-10 11:35:27] 955*2^1399947-1 is not prime. Res64: 46271E13704DD9B1 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:35:27] 617*2^1399948-1 is not prime. Res64: EC369F8C046B3CED Time : 0.0 sec. user=mdettweiler [2015-06-10 11:44:15] 665*2^1399948-1 is not prime. Res64: 2947447F16522B10 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:44:16] 869*2^1399948-1 is not prime. Res64: AEEC5AB2B7D75827 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:50:45] 947*2^1399948-1 is not prime. Res64: 49E593E65F80AF84 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:50:45] 621*2^1399949-1 is not prime. Res64: D75D6803DF520452 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:52:42] 645*2^1399949-1 is not prime. Res64: 6F176A5B771887D6 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:52:43] 657*2^1399949-1 is not prime. Res64: 27076CF41915E3B3 Time : 0.0 sec. user=mdettweiler [2015-06-10 11:52:44] 861*2^1399949-1 is not prime. Res64: 743A5918807BEB4D Time : 0.0 sec. user=mdettweiler [2015-06-10 11:52:45] 939*2^1399949-1 is not prime. Res64: 6498F590DB5111EF Time : 0.0 sec. user=mdettweiler [2015-06-10 12:01:37] 969*2^1399949-1 is not prime. Res64: 0509C7A00D41B8E5 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:01:38] 693*2^1399950-1 is not prime. Res64: C91D62D4F2B806CC Time : 0.0 sec. user=mdettweiler [2015-06-10 12:08:11] 861*2^1399950-1 is not prime. Res64: F536957A1D5737CD Time : 0.0 sec. user=mdettweiler [2015-06-10 12:08:12] 885*2^1399950-1 is not prime. Res64: D20BA204B3E964B9 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:10:05] 893*2^1399950-1 is not prime. Res64: 02FDA311A93B813D Time : 0.0 sec. user=mdettweiler [2015-06-10 12:10:06] 945*2^1399950-1 is not prime. Res64: 360A0E3C588CE7ED Time : 0.0 sec. user=mdettweiler [2015-06-10 12:10:07] 977*2^1399950-1 is not prime. Res64: 27A71793E59256E8 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:10:08] 775*2^1399951-1 is not prime. Res64: 00D27F6382D29AD5 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:18:59] 793*2^1399951-1 is not prime. Res64: 431A657786908518 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:19:00] 961*2^1399951-1 is not prime. Res64: 036FA0B9D5B4FD6F Time : 0.0 sec. user=mdettweiler [2015-06-10 12:25:41] 975*2^1399951-1 is not prime. Res64: 1B5AF6C7E7C73BBC Time : 0.0 sec. user=mdettweiler [2015-06-10 12:25:42] 629*2^1399952-1 is not prime. Res64: 3780A91271C298F9 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:27:29] 915*2^1399952-1 is not prime. Res64: 740C691487982BF1 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:27:30] 945*2^1399952-1 is not prime. Res64: 09D30264751CF6EF Time : 0.0 sec. user=mdettweiler [2015-06-10 12:27:30] 633*2^1399952-1 is not prime. Res64: 66DBDF2C1C56DDCC Time : 0.0 sec. user=mdettweiler [2015-06-10 12:27:31] 755*2^1399952-1 is not prime. Res64: 26FC2EBC8AAEE856 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:36:21] 627*2^1399953-1 is not prime. Res64: C3AE2C95EFC7CAE3 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:36:22] 765*2^1399953-1 is not prime. Res64: A67C44AD2D299C2F Time : 0.0 sec. user=mdettweiler [2015-06-10 12:43:11] 805*2^1399953-1 is not prime. Res64: 9B6ED9B48E6D93B8 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:43:12] 817*2^1399953-1 is not prime. Res64: 0F3A8FA743753C46 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:44:53] 999*2^1399953-1 is not prime. Res64: D891430E7B097CE3 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:44:54] 663*2^1399954-1 is not prime. Res64: 10D0175F246B47EB Time : 0.0 sec. user=mdettweiler [2015-06-10 12:44:57] 731*2^1399954-1 is not prime. Res64: 28D996A8FC09A04F Time : 0.0 sec. user=mdettweiler [2015-06-10 12:44:58] 891*2^1399954-1 is not prime. Res64: FDDFC8FEF2B24C51 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:54:02] 951*2^1399954-1 is not prime. Res64: 179D59CCC8185573 Time : 0.0 sec. user=mdettweiler [2015-06-10 12:54:03] 619*2^1399955-1 is not prime. Res64: BC4D784684255148 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:00:50] 651*2^1399955-1 is not prime. Res64: 5CDC6D28760A4384 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:00:52] 805*2^1399955-1 is not prime. Res64: 8D17851701562B54 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:02:30] 921*2^1399955-1 is not prime. Res64: 5E31C06AAA085536 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:02:31] 623*2^1399956-1 is not prime. Res64: CEF123A672CCD7AB Time : 0.0 sec. user=mdettweiler [2015-06-10 13:02:37] 669*2^1399956-1 is not prime. Res64: 1F5DF7C60752040B Time : 0.0 sec. user=mdettweiler [2015-06-10 13:02:39] 777*2^1399956-1 is not prime. Res64: 93DE595972BB0140 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:11:27] 843*2^1399956-1 is not prime. Res64: 21A6C378A2795C36 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:11:28] 875*2^1399956-1 is not prime. Res64: 1A3C04EC77A5AC44 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:18:17] 969*2^1399956-1 is not prime. Res64: 4F92762C8B0EEDF6 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:18:17] 983*2^1399956-1 is not prime. Res64: 074F724AF711E637 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:20:50] 777*2^1399957-1 is not prime. Res64: DFF3C0B8201647D5 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:20:51] 825*2^1399957-1 is not prime. Res64: 4FCA6DE24B31FA29 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:21:03] 831*2^1399957-1 is not prime. Res64: C5265AF216F181E4 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:21:03] 835*2^1399957-1 is not prime. Res64: 960C69EF5072B271 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:28:55] 859*2^1399957-1 is not prime. Res64: 2F4E2AF72E0FF6E1 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:28:55] 885*2^1399957-1 is not prime. Res64: 0F7E9936ADBCB949 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:35:40] 957*2^1399957-1 is not prime. Res64: F0C1ED9789D7F32A Time : 0.0 sec. user=mdettweiler [2015-06-10 13:35:40] 967*2^1399957-1 is not prime. Res64: 718A161D33410AB7 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:38:24] 627*2^1399958-1 is not prime. Res64: 6E9A560811F84E2E Time : 0.0 sec. user=mdettweiler [2015-06-10 13:38:24] 665*2^1399958-1 is not prime. Res64: A2DF7F0572646C1D Time : 0.0 sec. user=mdettweiler [2015-06-10 13:38:27] 707*2^1399958-1 is not prime. Res64: 18C3FD23C58C3978 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:38:28] 711*2^1399958-1 is not prime. Res64: 8E3B9E7E311D0B5C Time : 0.0 sec. user=mdettweiler [2015-06-10 13:46:20] 857*2^1399958-1 is not prime. Res64: CE6C48627B1D5405 Time : 0.0 sec. user=mdettweiler [2015-06-10 13:46:20] 649*2^1399959-1 is not prime. Res64: 942DFECB816C67A4 Time : 0.0 sec. user=juhehe [2015-06-10 15:49:50] 875*2^1399960-1 is not prime. Res64: 5370BA0EA4A5E3D3 Time : 0.0 sec.