user=mdettweiler [2015-06-26 00:04:02] 875*2^1401392-1 is not prime. Res64: 791B2D699BB261A3 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:04:03] 929*2^1401392-1 is not prime. Res64: C553BAB0834259EA Time : 0.0 sec. user=mdettweiler [2015-06-26 00:13:05] 651*2^1401393-1 is not prime. Res64: 10CA8C3C03BAE8E2 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:13:06] 877*2^1401393-1 is not prime. Res64: A04CD9A55EB7E444 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:13:07] 705*2^1401393-1 is not prime. Res64: 515101D85FAB9DE3 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:13:07] 991*2^1401393-1 is not prime. Res64: 39E687140F716664 Time : 0.0 sec. user=juhehe [2015-06-26 00:16:27] 683*2^1401392-1 is not prime. Res64: 6B676694CBFBCFBA Time : 0.0 sec. user=mdettweiler [2015-06-26 00:21:38] 999*2^1401393-1 is not prime. Res64: 4AD71CCDE091AE31 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:21:38] 621*2^1401394-1 is not prime. Res64: BD52024E32B11E70 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:30:37] 701*2^1401394-1 is not prime. Res64: EE19416F55C44DA3 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:30:37] 635*2^1401394-1 is not prime. Res64: F312E54547E9F3D4 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:30:37] 773*2^1401394-1 is not prime. Res64: 8D2D0FF6E3C707AA Time : 0.0 sec. user=mdettweiler [2015-06-26 00:30:38] 677*2^1401394-1 is not prime. Res64: F6E758924AD6D7C3 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:39:06] 821*2^1401394-1 is not prime. Res64: 9F105F81B50B9EFF Time : 0.0 sec. user=mdettweiler [2015-06-26 00:39:06] 891*2^1401394-1 is not prime. Res64: 4C3E4A322D5AB1A2 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:48:13] 663*2^1401395-1 is not prime. Res64: B123FC50BD918288 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:48:14] 753*2^1401395-1 is not prime. Res64: 2CD3D2B56B53382B Time : 0.0 sec. user=mdettweiler [2015-06-26 00:48:14] 971*2^1401394-1 is not prime. Res64: 96EF9976A99E3678 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:48:15] 645*2^1401395-1 is not prime. Res64: F8EE0417E68D06AF Time : 0.0 sec. user=mdettweiler [2015-06-26 00:56:39] 783*2^1401395-1 is not prime. Res64: B632407244DEB6C5 Time : 0.0 sec. user=mdettweiler [2015-06-26 00:56:39] 689*2^1401396-1 is not prime. Res64: E80191E9EEC8CCD6 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:05:46] 707*2^1401396-1 is not prime. Res64: 5BB9A4C34CF7B103 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:05:46] 837*2^1401396-1 is not prime. Res64: A95C711EFD810987 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:05:47] 759*2^1401396-1 is not prime. Res64: EF5C06E90BCF73A5 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:05:47] 845*2^1401396-1 is not prime. Res64: 5611E5997E6CD7E0 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:14:13] 621*2^1401397-1 is not prime. Res64: 006F19244248ACD1 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:14:14] 769*2^1401397-1 is not prime. Res64: 40D58707D672783F Time : 0.0 sec. user=mdettweiler [2015-06-26 01:23:41] 801*2^1401397-1 is not prime. Res64: 29198D496A53AE1C Time : 0.0 sec. user=mdettweiler [2015-06-26 01:23:41] 665*2^1401398-1 is not prime. Res64: CA2634E63A9065A8 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:23:43] 713*2^1401398-1 is not prime. Res64: 3D83571F4EA39217 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:23:43] 755*2^1401398-1 is not prime. Res64: 231BED49DD5C73FE Time : 0.0 sec. user=mdettweiler [2015-06-26 01:31:38] 827*2^1401398-1 is not prime. Res64: 05A6C80B9D3C0EE5 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:31:39] 613*2^1401399-1 is not prime. Res64: 56EB4828D34F6752 Time : 0.0 sec. user=S_K_ [2015-06-26 01:37:02] 619*2^1401397-1 is not prime. Res64: 6D1C9E08BDEF6B09 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:40:58] 663*2^1401399-1 is not prime. Res64: 8C654C2223A0FBAB Time : 0.0 sec. user=mdettweiler [2015-06-26 01:40:59] 985*2^1401399-1 is not prime. Res64: D650BE8B85258DFD Time : 0.0 sec. user=mdettweiler [2015-06-26 01:41:01] 609*2^1401400-1 is not prime. Res64: 1287504535A92C26 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:41:02] 675*2^1401400-1 is not prime. Res64: A2756EEFB470C5F1 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:49:10] 677*2^1401400-1 is not prime. Res64: EB59F1C9E328F25F Time : 0.0 sec. user=mdettweiler [2015-06-26 01:49:10] 687*2^1401400-1 is not prime. Res64: 8AB91F2AB8C2C81D Time : 0.0 sec. user=mdettweiler [2015-06-26 01:58:20] 917*2^1401400-1 is not prime. Res64: C9109009CA86F21F Time : 0.0 sec. user=mdettweiler [2015-06-26 01:58:20] 649*2^1401401-1 is not prime. Res64: 11A7FCB4162DA205 Time : 0.0 sec. user=mdettweiler [2015-06-26 01:58:21] 745*2^1401401-1 is not prime. Res64: EC8AEE99D4DB5EFC Time : 0.0 sec. user=mdettweiler [2015-06-26 01:58:21] 805*2^1401401-1 is not prime. Res64: 18F46DA791CB9073 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:06:28] 855*2^1401401-1 is not prime. Res64: 4EEA6C15AB8CB2AB Time : 0.0 sec. user=mdettweiler [2015-06-26 02:06:29] 861*2^1401401-1 is not prime. Res64: 28276B6C6344884A Time : 0.0 sec. user=juhehe [2015-06-26 02:12:38] 723*2^1401400-1 is not prime. Res64: C3B405873045DB5E Time : 0.0 sec. user=mdettweiler [2015-06-26 02:15:40] 937*2^1401401-1 is not prime. Res64: 9CEA9D43BBE7F461 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:15:41] 635*2^1401402-1 is not prime. Res64: 0331107FCB58608E Time : 0.0 sec. user=mdettweiler [2015-06-26 02:15:41] 621*2^1401402-1 is not prime. Res64: 8325D78A75DF82B4 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:15:41] 647*2^1401402-1 is not prime. Res64: 31168CAD69130A35 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:23:53] 713*2^1401402-1 is not prime. Res64: F09CA8F9480A6FBA Time : 0.0 sec. user=mdettweiler [2015-06-26 02:23:53] 741*2^1401402-1 is not prime. Res64: B8786DFA01A53DC9 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:32:59] 945*2^1401402-1 is not prime. Res64: 55AB91DB8380A4F7 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:33:00] 1001*2^1401402-1 is not prime. Res64: 67C02F5BC140D322 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:33:00] 853*2^1401403-1 is not prime. Res64: 00E531C03703EE07 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:33:01] 855*2^1401403-1 is not prime. Res64: C5DA7A6270BB5618 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:41:15] 889*2^1401403-1 is not prime. Res64: 9CFE0827D7790E73 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:41:16] 901*2^1401403-1 is not prime. Res64: C82AC536C817B603 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:50:32] 615*2^1401404-1 is not prime. Res64: 7473815DA9C824C0 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:50:32] 617*2^1401404-1 is not prime. Res64: 47C93C7AA05C7A15 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:50:33] 623*2^1401404-1 is not prime. Res64: 14546EA98451873D Time : 0.0 sec. user=mdettweiler [2015-06-26 02:50:33] 665*2^1401404-1 is not prime. Res64: 3F458247348FB313 Time : 0.0 sec. user=mdettweiler [2015-06-26 02:58:37] 675*2^1401404-1 is not prime. Res64: E5C54C467EF8738E Time : 0.0 sec. user=mdettweiler [2015-06-26 02:58:38] 677*2^1401404-1 is not prime. Res64: 19948256899848A0 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:07:51] 683*2^1401404-1 is not prime. Res64: 888E19C743713302 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:07:51] 903*2^1401404-1 is not prime. Res64: 57BB8562903EE4F0 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:07:51] 785*2^1401404-1 is not prime. Res64: 1C1E6489872B28D2 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:07:52] 657*2^1401405-1 is not prime. Res64: 33ADD43895E26A08 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:15:55] 751*2^1401405-1 is not prime. Res64: 1F2406422F7DFB8F Time : 0.0 sec. user=mdettweiler [2015-06-26 03:15:56] 831*2^1401405-1 is not prime. Res64: 7CE97198F0A395DF Time : 0.0 sec. user=mdettweiler [2015-06-26 03:25:15] 871*2^1401405-1 is not prime. Res64: 58715E95C80E2FA5 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:25:16] 955*2^1401405-1 is not prime. Res64: 713AD29D5979C200 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:25:17] 937*2^1401405-1 is not prime. Res64: A82A507AFA053F73 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:25:17] 991*2^1401405-1 is not prime. Res64: 055CF2CA56D0397D Time : 0.0 sec. user=mdettweiler [2015-06-26 03:33:26] 675*2^1401406-1 is not prime. Res64: 0D6BFD18CCB2031E Time : 0.0 sec. user=mdettweiler [2015-06-26 03:33:28] 713*2^1401406-1 is not prime. Res64: 60C70C98DCC20CF2 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:42:43] 777*2^1401406-1 is not prime. Res64: 74E179F478CFBE7B Time : 0.0 sec. user=mdettweiler [2015-06-26 03:42:45] 801*2^1401406-1 is not prime. Res64: E5F3FDCD6F5A3A69 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:42:46] 965*2^1401406-1 is not prime. Res64: A189E360C8730591 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:42:47] 739*2^1401407-1 is not prime. Res64: 6174ABA76DA815FF Time : 0.0 sec. user=mdettweiler [2015-06-26 03:50:47] 843*2^1401407-1 is not prime. Res64: 9788186C10D14F51 Time : 0.0 sec. user=mdettweiler [2015-06-26 03:50:48] 879*2^1401407-1 is not prime. Res64: FAC960822BAFF27B Time : 0.0 sec. user=S_K_ [2015-06-26 03:56:25] 741*2^1401406-1 is not prime. Res64: 0564E81B819580F8 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:00:18] 759*2^1401408-1 is not prime. Res64: ED23C2D352DFCC4F Time : 0.0 sec. user=mdettweiler [2015-06-26 04:00:19] 803*2^1401408-1 is not prime. Res64: F79B0A9B91EFF937 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:00:20] 909*2^1401408-1 is not prime. Res64: 0BA3B5143A5E1720 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:00:20] 923*2^1401408-1 is not prime. Res64: E78C0945D0C2FF86 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:08:12] 945*2^1401408-1 is not prime. Res64: 27120532D601E2AA Time : 0.0 sec. user=mdettweiler [2015-06-26 04:08:13] 609*2^1401409-1 is not prime. Res64: 16AAEE1BFC7AA93E Time : 0.0 sec. user=mdettweiler [2015-06-26 04:17:38] 691*2^1401409-1 is not prime. Res64: A00A1F2A3F334E27 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:17:39] 811*2^1401409-1 is not prime. Res64: 204141D121F0C546 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:17:40] 835*2^1401409-1 is not prime. Res64: D7BBC6A070844BAC Time : 0.0 sec. user=mdettweiler [2015-06-26 04:17:41] 931*2^1401409-1 is not prime. Res64: A3070A28C65E5270 Time : 0.0 sec. user=juhehe [2015-06-26 04:18:25] 939*2^1401407-1 is not prime. Res64: CCC3CE754396F095 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:25:31] 975*2^1401409-1 is not prime. Res64: 1543330337CF8296 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:25:32] 987*2^1401409-1 is not prime. Res64: 085C0E8ECA9B5647 Time : 0.0 sec. user=S_K_ [2015-06-26 04:33:09] 687*2^1401409-1 is not prime. Res64: 9CDFB5622E41D10A Time : 0.0 sec. user=mdettweiler [2015-06-26 04:34:58] 851*2^1401410-1 is not prime. Res64: E6DA8B6AF3D87381 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:34:59] 867*2^1401410-1 is not prime. Res64: 230C790BD511D8A5 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:35:00] 665*2^1401410-1 is not prime. Res64: 5CAA1C0F950FA0FA Time : 0.0 sec. user=mdettweiler [2015-06-26 04:35:01] 797*2^1401410-1 is not prime. Res64: BFCF59720394C366 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:42:48] 911*2^1401410-1 is not prime. Res64: DB32EDE5B19F64F0 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:42:48] 927*2^1401410-1 is not prime. Res64: A0BE5339E2C541F8 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:52:16] 971*2^1401410-1 is not prime. Res64: C953BCDA994EE97E Time : 0.0 sec. user=mdettweiler [2015-06-26 04:52:17] 823*2^1401411-1 is not prime. Res64: 05D188E0E079CBF9 Time : 0.0 sec. user=mdettweiler [2015-06-26 04:52:19] 909*2^1401411-1 is not prime. Res64: 77F53EE2B9DD4F3E Time : 0.0 sec. user=mdettweiler [2015-06-26 04:52:19] 945*2^1401411-1 is not prime. Res64: B0E31E7811367448 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:00:06] 999*2^1401411-1 is not prime. Res64: 0F0B1E6CCF5FCC85 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:00:06] 617*2^1401412-1 is not prime. Res64: 353FBEA8D5078A6E Time : 0.0 sec. user=mdettweiler [2015-06-26 05:09:35] 635*2^1401412-1 is not prime. Res64: D3CE9363B3686B6E Time : 0.0 sec. user=mdettweiler [2015-06-26 05:09:36] 677*2^1401412-1 is not prime. Res64: 348F7931ADED13DA Time : 0.0 sec. user=mdettweiler [2015-06-26 05:09:36] 765*2^1401412-1 is not prime. Res64: 2E062CA16B087097 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:09:37] 741*2^1401413-1 is not prime. Res64: 4A47DAFC1502ABC0 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:17:25] 795*2^1401413-1 is not prime. Res64: 229AA66515E96EA4 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:17:26] 879*2^1401413-1 is not prime. Res64: 2FB0587F130614A7 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:26:57] 971*2^1401414-1 is not prime. Res64: CE748D3AB52844B4 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:26:58] 975*2^1401414-1 is not prime. Res64: FA1800511016398E Time : 0.0 sec. user=mdettweiler [2015-06-26 05:27:00] 611*2^1401414-1 is not prime. Res64: 6EC1C63E39153766 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:27:00] 875*2^1401414-1 is not prime. Res64: CECF6D797D9D400D Time : 0.0 sec. user=mdettweiler [2015-06-26 05:34:43] 645*2^1401415-1 is not prime. Res64: 4EFA6B02F907F63B Time : 0.0 sec. user=mdettweiler [2015-06-26 05:34:43] 675*2^1401415-1 is not prime. Res64: D7C471005857ADB9 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:44:15] 685*2^1401415-1 is not prime. Res64: A642D3B2416E5B90 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:44:15] 715*2^1401415-1 is not prime. Res64: 7E8F624DA0DB9BE1 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:44:18] 789*2^1401415-1 is not prime. Res64: D94F8D87E26FAE00 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:44:19] 819*2^1401415-1 is not prime. Res64: 8BF0A81B33C9D894 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:52:01] 891*2^1401415-1 is not prime. Res64: 39F031E5CEE002F8 Time : 0.0 sec. user=mdettweiler [2015-06-26 05:52:01] 985*2^1401415-1 is not prime. Res64: C97CEF881C4F0789 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:01:33] 755*2^1401416-1 is not prime. Res64: DB1F5943F783CFD1 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:01:34] 813*2^1401416-1 is not prime. Res64: 175F54FE53DC142D Time : 0.0 sec. user=mdettweiler [2015-06-26 06:01:36] 843*2^1401416-1 is not prime. Res64: 96D8C2C19E25020C Time : 0.0 sec. user=mdettweiler [2015-06-26 06:01:37] 903*2^1401416-1 is not prime. Res64: F83C964053137699 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:09:19] 999*2^1401416-1 is not prime. Res64: 8AEEB786C863EC5F Time : 0.0 sec. user=mdettweiler [2015-06-26 06:09:19] 649*2^1401417-1 is not prime. Res64: E3482C334B4950B8 Time : 0.0 sec. user=juhehe [2015-06-26 06:19:04] 657*2^1401416-1 is not prime. Res64: 7B6A9A3FB84B9DAB Time : 0.0 sec. user=mdettweiler [2015-06-26 06:19:16] 829*2^1401417-1 is not prime. Res64: 173AAB4BC18EE7DA Time : 0.0 sec. user=mdettweiler [2015-06-26 06:19:17] 623*2^1401418-1 is not prime. Res64: 034B151288ABAF6C Time : 0.0 sec. user=mdettweiler [2015-06-26 06:19:19] 825*2^1401418-1 is not prime. Res64: 1857584BB469A5FE Time : 0.0 sec. user=mdettweiler [2015-06-26 06:19:19] 833*2^1401418-1 is not prime. Res64: F7101EF09ACC2226 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:26:44] 945*2^1401418-1 is not prime. Res64: E25EC61441566296 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:26:45] 987*2^1401418-1 is not prime. Res64: 5077E355FC280FA0 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:36:36] 621*2^1401419-1 is not prime. Res64: 529B3FF5723F06CA Time : 0.0 sec. user=mdettweiler [2015-06-26 06:36:37] 775*2^1401419-1 is not prime. Res64: 75DB87C9DCD8BC30 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:36:37] 705*2^1401419-1 is not prime. Res64: 9C774259FD99E048 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:36:37] 819*2^1401419-1 is not prime. Res64: F80F0EB482CC8FD7 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:44:02] 861*2^1401419-1 is not prime. Res64: 6FB50F3DDE2B19A2 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:44:03] 973*2^1401419-1 is not prime. Res64: 9E3A609041685464 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:53:55] 647*2^1401420-1 is not prime. Res64: 58C92A7EAEF121FA Time : 0.0 sec. user=mdettweiler [2015-06-26 06:53:55] 689*2^1401420-1 is not prime. Res64: FC1939A9A1AE5904 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:53:56] 707*2^1401420-1 is not prime. Res64: 58E822AEF80DA4B8 Time : 0.0 sec. user=mdettweiler [2015-06-26 06:53:56] 765*2^1401420-1 is not prime. Res64: 781E1629D0AE059A Time : 0.0 sec. user=mdettweiler [2015-06-26 07:01:19] 773*2^1401420-1 is not prime. Res64: F80BF79A0457F894 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:01:20] 789*2^1401420-1 is not prime. Res64: F0F4B5FA510CA5E9 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:11:14] 825*2^1401420-1 is not prime. Res64: 8DE9360F752B37E1 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:11:14] 975*2^1401420-1 is not prime. Res64: F5CFC58A07FFEB17 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:11:14] 959*2^1401420-1 is not prime. Res64: 96C43C234837343D Time : 0.0 sec. user=mdettweiler [2015-06-26 07:11:15] 639*2^1401421-1 is not prime. Res64: C60019050606791E Time : 0.0 sec. user=mdettweiler [2015-06-26 07:18:36] 645*2^1401421-1 is not prime. Res64: 74ACD0AB8C0074A9 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:18:37] 861*2^1401421-1 is not prime. Res64: 40DA5BD798DE21B2 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:28:32] 867*2^1401421-1 is not prime. Res64: 364253D63B6933C1 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:28:33] 871*2^1401421-1 is not prime. Res64: 5A0BB6F518633AA7 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:28:34] 675*2^1401422-1 is not prime. Res64: C6B9EF556A9D8298 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:28:34] 741*2^1401422-1 is not prime. Res64: E3011CCE2171814E Time : 0.0 sec. user=mdettweiler [2015-06-26 07:35:55] 813*2^1401422-1 is not prime. Res64: 99230E9B88839485 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:35:55] 897*2^1401422-1 is not prime. Res64: 8B0A3F52AE297F6D Time : 0.0 sec. user=mdettweiler [2015-06-26 07:45:51] 977*2^1401422-1 is not prime. Res64: 056485AAF5EF155E Time : 0.0 sec. user=mdettweiler [2015-06-26 07:45:51] 615*2^1401423-1 is not prime. Res64: 1485EFCDEDCDD326 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:45:52] 639*2^1401423-1 is not prime. Res64: B24114F7D9F937D4 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:45:53] 685*2^1401423-1 is not prime. Res64: A9A58A3FFB4F660E Time : 0.0 sec. user=mdettweiler [2015-06-26 07:53:12] 691*2^1401423-1 is not prime. Res64: 3E928E44BDE51001 Time : 0.0 sec. user=mdettweiler [2015-06-26 07:53:12] 723*2^1401423-1 is not prime. Res64: E05CDA082FF705C2 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:03:09] 895*2^1401423-1 is not prime. Res64: C6DB84991D90DBC9 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:03:10] 723*2^1401424-1 is not prime. Res64: 76596B3446A2AF6A Time : 0.0 sec. user=mdettweiler [2015-06-26 08:03:11] 663*2^1401424-1 is not prime. Res64: 0A6D3F4B17D26839 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:03:11] 743*2^1401424-1 is not prime. Res64: 5E753C1B9029E41E Time : 0.0 sec. user=mdettweiler [2015-06-26 08:10:29] 855*2^1401424-1 is not prime. Res64: 52F466B6678F8816 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:10:30] 875*2^1401424-1 is not prime. Res64: 1F0B5D8C7CDAF6D7 Time : 0.0 sec. user=juhehe [2015-06-26 08:16:37] 783*2^1401423-1 is not prime. Res64: 3A0EE148C8A274C8 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:20:31] 965*2^1401424-1 is not prime. Res64: 576F8CA8F16CC09C Time : 0.0 sec. user=mdettweiler [2015-06-26 08:20:32] 679*2^1401425-1 is not prime. Res64: 67D1C82470842A69 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:20:33] 887*2^1401424-1 is not prime. Res64: FCEC14DA7F5F89CA Time : 0.0 sec. user=mdettweiler [2015-06-26 08:20:34] 927*2^1401424-1 is not prime. Res64: 31528041A6A328C7 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:27:48] 717*2^1401425-1 is not prime. Res64: DCCC36FDCE5321EB Time : 0.0 sec. user=mdettweiler [2015-06-26 08:27:48] 713*2^1401426-1 is not prime. Res64: AD524E8938ACEC44 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:37:49] 843*2^1401426-1 is not prime. Res64: 76CB054FE16D6A3C Time : 0.0 sec. user=mdettweiler [2015-06-26 08:37:49] 861*2^1401426-1 is not prime. Res64: B98F9CB2B8BA3927 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:37:50] 963*2^1401426-1 is not prime. Res64: 5AD37A5CAEB78238 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:37:50] 703*2^1401427-1 is not prime. Res64: 588B4E5415939433 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:45:08] 801*2^1401427-1 is not prime. Res64: 0A393DC88735A4CD Time : 0.0 sec. user=mdettweiler [2015-06-26 08:45:09] 859*2^1401427-1 is not prime. Res64: 3FF2AB635285B0B3 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:55:09] 659*2^1401428-1 is not prime. Res64: E804744FDED8FFFC Time : 0.0 sec. user=mdettweiler [2015-06-26 08:55:09] 743*2^1401428-1 is not prime. Res64: 02CA5000310EBB80 Time : 0.0 sec. user=mdettweiler [2015-06-26 08:55:11] 617*2^1401428-1 is not prime. Res64: 75FD7492EA40AE9B Time : 0.0 sec. user=mdettweiler [2015-06-26 08:55:11] 647*2^1401428-1 is not prime. Res64: 811A809C9B9B2A99 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:02:27] 957*2^1401428-1 is not prime. Res64: 502603456C090EFD Time : 0.0 sec. user=mdettweiler [2015-06-26 09:02:28] 995*2^1401428-1 is not prime. Res64: 2435D9C3110A8FA9 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:12:26] 625*2^1401429-1 is not prime. Res64: 85EADA97A42ABBC7 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:12:27] 811*2^1401429-1 is not prime. Res64: 78C7F4D99413B9F2 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:12:28] 861*2^1401429-1 is not prime. Res64: 13C0D72E00F56ADA Time : 0.0 sec. user=mdettweiler [2015-06-26 09:12:29] 895*2^1401429-1 is not prime. Res64: 2FCE60D4DDF25E35 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:20:13] 645*2^1401430-1 is not prime. Res64: C42D69C27268F5AF Time : 0.0 sec. user=mdettweiler [2015-06-26 09:20:13] 855*2^1401430-1 is not prime. Res64: E2D635954F688BFE Time : 0.0 sec. user=mdettweiler [2015-06-26 09:29:48] 867*2^1401430-1 is not prime. Res64: 04CFA7ABA23D8451 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:29:48] 933*2^1401430-1 is not prime. Res64: B9BAABD5A53709B3 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:29:48] 917*2^1401430-1 is not prime. Res64: 3436771EFDA17D0D Time : 0.0 sec. user=mdettweiler [2015-06-26 09:29:49] 883*2^1401431-1 is not prime. Res64: 37F87A52DB40F52C Time : 0.0 sec. user=mdettweiler [2015-06-26 09:37:31] 945*2^1401431-1 is not prime. Res64: E7132344DA8712A7 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:37:31] 999*2^1401431-1 is not prime. Res64: DDF7CF28313F9093 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:47:07] 779*2^1401432-1 is not prime. Res64: 931C3113F23F79C6 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:47:07] 797*2^1401432-1 is not prime. Res64: 0F1F44C57CE696FD Time : 0.0 sec. user=mdettweiler [2015-06-26 09:47:09] 893*2^1401432-1 is not prime. Res64: 92400D2EA35A82A3 Time : 0.0 sec. user=mdettweiler [2015-06-26 09:47:09] 903*2^1401432-1 is not prime. Res64: 98F09CF91CC998AD Time : 0.0 sec. user=juhehe [2015-06-26 09:50:00] 605*2^1401430-1 is not prime. Res64: BFB7C611EBD116AB Time : 0.0 sec. user=mdettweiler [2015-06-26 09:54:49] 975*2^1401432-1 is not prime. Res64: 48159847436FB76C Time : 0.0 sec. user=mdettweiler [2015-06-26 09:54:50] 609*2^1401433-1 is not prime. Res64: FB2592024474F04A Time : 0.0 sec. user=mdettweiler [2015-06-26 10:04:25] 651*2^1401433-1 is not prime. Res64: 852B70AC7079298C Time : 0.0 sec. user=mdettweiler [2015-06-26 10:04:26] 741*2^1401433-1 is not prime. Res64: 1D0E908F266F10B3 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:04:29] 771*2^1401433-1 is not prime. Res64: 1E77B4BC34125020 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:04:30] 925*2^1401433-1 is not prime. Res64: 2A84E4FE70D66B3A Time : 0.0 sec. user=mdettweiler [2015-06-26 10:12:10] 939*2^1401433-1 is not prime. Res64: 6D8FDD7E3317F268 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:12:10] 981*2^1401433-1 is not prime. Res64: 26FFCBFEE0D1355E Time : 0.0 sec. user=mdettweiler [2015-06-26 10:22:03] 797*2^1401434-1 is not prime. Res64: C4FA9E2BEC2B51D4 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:22:03] 903*2^1401434-1 is not prime. Res64: 50AAF9BE7D5FA212 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:22:06] 917*2^1401434-1 is not prime. Res64: 5599CBE12FFDD98C Time : 0.0 sec. user=mdettweiler [2015-06-26 10:22:06] 921*2^1401434-1 is not prime. Res64: 221004780AC21C7F Time : 0.0 sec. user=mdettweiler [2015-06-26 10:29:28] 971*2^1401434-1 is not prime. Res64: 0F1499C9D3B698E7 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:29:28] 619*2^1401435-1 is not prime. Res64: FD04EC53F3858EE3 Time : 0.0 sec. user=S_K_ [2015-06-26 10:29:50] 935*2^1401422-1 is not prime. Res64: A2A37243EC55D29F Time : 0.0 sec. user=mdettweiler [2015-06-26 10:39:27] 775*2^1401435-1 is not prime. Res64: E3FA26D9CD1C6438 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:39:28] 805*2^1401435-1 is not prime. Res64: 92AD8123674761A1 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:39:33] 625*2^1401435-1 is not prime. Res64: E628A5006927D475 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:39:33] 649*2^1401435-1 is not prime. Res64: 7CA747A26CD96A0D Time : 0.0 sec. user=juhehe [2015-06-26 10:39:58] 791*2^1401434-1 is not prime. Res64: 0A7041E7494CAB95 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:46:48] 943*2^1401435-1 is not prime. Res64: 28E2A271990456FE Time : 0.0 sec. user=mdettweiler [2015-06-26 10:46:48] 705*2^1401436-1 is not prime. Res64: A14666F568674118 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:56:48] 723*2^1401436-1 is not prime. Res64: 02F5200723690D74 Time : 0.0 sec. user=mdettweiler [2015-06-26 10:56:48] 759*2^1401436-1 is not prime. Res64: FD73D2EC1D2999AE Time : 0.0 sec. user=mdettweiler [2015-06-26 10:56:53] 927*2^1401436-1 is not prime. Res64: C5896882F41B426A Time : 0.0 sec. user=mdettweiler [2015-06-26 10:56:53] 933*2^1401436-1 is not prime. Res64: B0A50F93C6C3DEDC Time : 0.0 sec. user=mdettweiler [2015-06-26 11:04:20] 621*2^1401437-1 is not prime. Res64: E2F482B3201182A5 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:04:21] 669*2^1401437-1 is not prime. Res64: 5280F5DDE57A2B7D Time : 0.0 sec. user=mdettweiler [2015-06-26 11:14:22] 691*2^1401437-1 is not prime. Res64: C6B514CA71D3B303 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:14:23] 777*2^1401437-1 is not prime. Res64: 5F74FD53C4793953 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:14:27] 861*2^1401437-1 is not prime. Res64: 84FB16D7407CD133 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:14:27] 885*2^1401437-1 is not prime. Res64: CA0BA7FC125FFAAD Time : 0.0 sec. user=mdettweiler [2015-06-26 11:21:56] 647*2^1401438-1 is not prime. Res64: 346F6C2EAA5AEA58 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:21:56] 683*2^1401438-1 is not prime. Res64: DCF09F424607CFF5 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:31:55] 791*2^1401438-1 is not prime. Res64: C3A8BBCF68B842AE Time : 0.0 sec. user=mdettweiler [2015-06-26 11:31:55] 797*2^1401438-1 is not prime. Res64: 5C377D65BB7DA53E Time : 0.0 sec. user=mdettweiler [2015-06-26 11:31:55] 885*2^1401438-1 is not prime. Res64: 9F1679621FCB0E9C Time : 0.0 sec. user=mdettweiler [2015-06-26 11:31:55] 927*2^1401438-1 is not prime. Res64: 8A39D47323ECB7A2 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:39:24] 843*2^1401439-1 is not prime. Res64: D503CFAB5C05547F Time : 0.0 sec. user=mdettweiler [2015-06-26 11:39:25] 933*2^1401439-1 is not prime. Res64: 6C67985D08602BE9 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:49:24] 603*2^1401440-1 is not prime. Res64: 93254E608504E9BB Time : 0.0 sec. user=mdettweiler [2015-06-26 11:49:24] 687*2^1401440-1 is not prime. Res64: 2576081C0602720E Time : 0.0 sec. user=mdettweiler [2015-06-26 11:49:24] 657*2^1401441-1 is not prime. Res64: 575A82F07E249D86 Time : 0.0 sec. user=mdettweiler [2015-06-26 11:49:25] 679*2^1401441-1 is not prime. Res64: 24FB406CF927AB8C Time : 0.0 sec. user=mdettweiler [2015-06-26 11:56:54] 865*2^1401441-1 is not prime. Res64: 290ED944F49E9AEE Time : 0.0 sec. user=mdettweiler [2015-06-26 11:56:55] 999*2^1401441-1 is not prime. Res64: F452FD68A3CDF915 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:06:56] 747*2^1401442-1 is not prime. Res64: 3FCA78FC4277A886 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:06:57] 813*2^1401442-1 is not prime. Res64: FFC0E28687F879FB Time : 0.0 sec. user=mdettweiler [2015-06-26 12:06:59] 635*2^1401442-1 is not prime. Res64: 41C5F02444088BFB Time : 0.0 sec. user=mdettweiler [2015-06-26 12:06:59] 743*2^1401442-1 is not prime. Res64: 5EFCD02473C191A3 Time : 0.0 sec. user=juhehe [2015-06-26 12:09:16] 681*2^1401439-1 is not prime. Res64: BA79FAB435DFC9AE Time : 0.0 sec. user=mdettweiler [2015-06-26 12:14:25] 923*2^1401442-1 is not prime. Res64: 189A32F960B7DEDF Time : 0.0 sec. user=mdettweiler [2015-06-26 12:14:25] 951*2^1401442-1 is not prime. Res64: 5141E738B69B308C Time : 0.0 sec. user=mdettweiler [2015-06-26 12:24:38] 735*2^1401443-1 is not prime. Res64: 36C21F06D4020109 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:24:38] 811*2^1401443-1 is not prime. Res64: 9B3125A912612073 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:24:39] 825*2^1401443-1 is not prime. Res64: 70DE330CE7755D7F Time : 0.0 sec. user=mdettweiler [2015-06-26 12:24:39] 829*2^1401443-1 is not prime. Res64: 0B88F78120A2668D Time : 0.0 sec. user=mdettweiler [2015-06-26 12:32:01] 921*2^1401443-1 is not prime. Res64: C89BCD135BE401F3 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:32:02] 963*2^1401443-1 is not prime. Res64: 0A2E3399EE00ACA5 Time : 0.0 sec. user=S_K_ [2015-06-26 12:37:42] 643*2^1401443-1 is not prime. Res64: 857EDE2AEFE94238 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:42:09] 683*2^1401444-1 is not prime. Res64: E5D994FB426B79FE Time : 0.0 sec. user=mdettweiler [2015-06-26 12:42:09] 695*2^1401444-1 is not prime. Res64: 8B12CB74A74D3B06 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:42:12] 749*2^1401444-1 is not prime. Res64: C87FB322704BA458 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:42:13] 767*2^1401444-1 is not prime. Res64: 9CC2D282BF603A9C Time : 0.0 sec. user=mdettweiler [2015-06-26 12:49:28] 975*2^1401444-1 is not prime. Res64: 494B3ED7E4D17111 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:49:28] 983*2^1401444-1 is not prime. Res64: 62086E6E8DD4D016 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:59:32] 849*2^1401445-1 is not prime. Res64: 530F6863F38F6CB5 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:59:33] 861*2^1401445-1 is not prime. Res64: 46AE79EEE3EFB3FF Time : 0.0 sec. user=mdettweiler [2015-06-26 12:59:36] 889*2^1401445-1 is not prime. Res64: 53A8141BAFCE84A1 Time : 0.0 sec. user=mdettweiler [2015-06-26 12:59:36] 987*2^1401445-1 is not prime. Res64: A438C8320E58FB21 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:06:58] 641*2^1401446-1 is not prime. Res64: DF1FBD71437D8E12 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:06:58] 671*2^1401446-1 is not prime. Res64: 7E52B5E893541E15 Time : 0.0 sec. user=S_K_ [2015-06-26 13:12:22] 825*2^1401445-1 is not prime. Res64: F1BD9FDDA1D7254D Time : 0.0 sec. user=mdettweiler [2015-06-26 13:17:17] 743*2^1401446-1 is not prime. Res64: B7CD56204A34EA6B Time : 0.0 sec. user=mdettweiler [2015-06-26 13:17:18] 843*2^1401447-1 is not prime. Res64: E0C605D34156D2C1 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:17:21] 919*2^1401447-1 is not prime. Res64: 03B3E2BE206BDD60 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:17:21] 955*2^1401447-1 is not prime. Res64: 26FB49F2DF34B418 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:25:44] 743*2^1401448-1 is not prime. Res64: AA07D6ADC7A33690 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:25:44] 777*2^1401448-1 is not prime. Res64: 17DDDA05030D4F13 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:36:22] 875*2^1401448-1 is not prime. Res64: C06DB0958CDF1842 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:36:22] 957*2^1401448-1 is not prime. Res64: B50D2053ECE1BC78 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:36:23] 999*2^1401448-1 is not prime. Res64: 2456E896D7CADB9F Time : 0.0 sec. user=mdettweiler [2015-06-26 13:36:24] 657*2^1401449-1 is not prime. Res64: 4BFCC36FC96FBA01 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:44:01] 699*2^1401449-1 is not prime. Res64: 96EE196F6F1EAB57 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:44:02] 711*2^1401449-1 is not prime. Res64: 5313112A7D17A047 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:54:13] 841*2^1401449-1 is not prime. Res64: DA6480F8BC1FBB71 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:54:13] 851*2^1401450-1 is not prime. Res64: 59FAFFF58C2D6BFE Time : 0.0 sec. user=mdettweiler [2015-06-26 13:54:22] 727*2^1401449-1 is not prime. Res64: B631CC32E0DEFC61 Time : 0.0 sec. user=mdettweiler [2015-06-26 13:54:22] 831*2^1401449-1 is not prime. Res64: E1E66E14AEEBB532 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:01:34] 891*2^1401450-1 is not prime. Res64: 9E6B6EAACF899C48 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:01:35] 609*2^1401451-1 is not prime. Res64: 5EBBF42B8D354DD2 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:11:43] 715*2^1401451-1 is not prime. Res64: 0E621BDD0A993196 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:11:44] 733*2^1401451-1 is not prime. Res64: 95AB2699B5429BCC Time : 0.0 sec. user=mdettweiler [2015-06-26 14:11:57] 751*2^1401451-1 is not prime. Res64: 2503E1C1A3ACC5A8 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:11:57] 811*2^1401451-1 is not prime. Res64: E779EE64AC716D50 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:19:10] 855*2^1401451-1 is not prime. Res64: 85C1135F52975AA6 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:19:11] 925*2^1401451-1 is not prime. Res64: 512C8745853DA3DB Time : 0.0 sec. user=S_K_ [2015-06-26 14:22:27] 685*2^1401451-1 is not prime. Res64: 7B0FAA56AF14A2DF Time : 0.0 sec. user=juhehe [2015-06-26 14:24:30] 873*2^1401450-1 is not prime. Res64: CC1D84F994C49425 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:29:09] 657*2^1401452-1 is not prime. Res64: 4EA2527BEB08AFA3 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:29:09] 717*2^1401452-1 is not prime. Res64: 51E2C8F430F353E0 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:29:20] 735*2^1401452-1 is not prime. Res64: D701FA2E209C0D8B Time : 0.0 sec. user=mdettweiler [2015-06-26 14:29:20] 753*2^1401452-1 is not prime. Res64: 6C7C01BD10F802E1 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:36:30] 893*2^1401452-1 is not prime. Res64: F3271ED84DFC5EAE Time : 0.0 sec. user=mdettweiler [2015-06-26 14:36:31] 959*2^1401452-1 is not prime. Res64: C07A6C52907431E4 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:46:27] 621*2^1401453-1 is not prime. Res64: 30A68037AF15C14F Time : 0.0 sec. user=mdettweiler [2015-06-26 14:46:27] 657*2^1401453-1 is not prime. Res64: C3F0EC21885D53B7 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:46:38] 745*2^1401453-1 is not prime. Res64: 68862E321F8FD1AB Time : 0.0 sec. user=mdettweiler [2015-06-26 14:46:38] 837*2^1401453-1 is not prime. Res64: CCBEC421D096A472 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:53:48] 891*2^1401453-1 is not prime. Res64: 6CCE5ED482BABAB6 Time : 0.0 sec. user=mdettweiler [2015-06-26 14:53:49] 951*2^1401453-1 is not prime. Res64: 5DAE0A75A421D147 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:03:47] 985*2^1401453-1 is not prime. Res64: 04B4F366690BF1EC Time : 0.0 sec. user=mdettweiler [2015-06-26 15:03:48] 605*2^1401454-1 is not prime. Res64: 6D2BD82C49654198 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:03:56] 611*2^1401454-1 is not prime. Res64: F08D8C4E6CF7B4DA Time : 0.0 sec. user=mdettweiler [2015-06-26 15:03:58] 635*2^1401454-1 is not prime. Res64: CE75B7F9DFE1A976 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:11:06] 645*2^1401454-1 is not prime. Res64: 7A5A08EFD1B3A72D Time : 0.0 sec. user=mdettweiler [2015-06-26 15:11:07] 755*2^1401454-1 is not prime. Res64: 0AADA88CA66CE1BB Time : 0.0 sec. user=mdettweiler [2015-06-26 15:21:48] 825*2^1401454-1 is not prime. Res64: 601777B7ACA5442E Time : 0.0 sec. user=mdettweiler [2015-06-26 15:21:48] 673*2^1401455-1 is not prime. Res64: DA87B273BC722951 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:21:53] 759*2^1401455-1 is not prime. Res64: 6D22A76A0E800B9E Time : 0.0 sec. user=mdettweiler [2015-06-26 15:21:53] 771*2^1401455-1 is not prime. Res64: 43FBA35B0784A450 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:28:26] 825*2^1401455-1 is not prime. Res64: 4A74184EC132C098 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:28:26] 859*2^1401455-1 is not prime. Res64: 2FC99734D0258A72 Time : 0.0 sec. user=S_K_ [2015-06-26 15:31:54] 815*2^1401454-1 is not prime. Res64: 60164B4F7692443F Time : 0.0 sec. user=mdettweiler [2015-06-26 15:39:07] 865*2^1401455-1 is not prime. Res64: D93F5BA567045E4E Time : 0.0 sec. user=mdettweiler [2015-06-26 15:39:07] 895*2^1401455-1 is not prime. Res64: 47320DFB7A6D2B1B Time : 0.0 sec. user=mdettweiler [2015-06-26 15:39:11] 657*2^1401456-1 is not prime. Res64: B39B2B226353EBC0 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:39:11] 695*2^1401456-1 is not prime. Res64: 688CA2A0F567BE9B Time : 0.0 sec. user=mdettweiler [2015-06-26 15:45:44] 719*2^1401456-1 is not prime. Res64: 224E0ECBB0E9C840 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:45:44] 903*2^1401456-1 is not prime. Res64: 1A374EB266251689 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:56:26] 933*2^1401456-1 is not prime. Res64: 5A7743E311B31848 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:56:26] 607*2^1401457-1 is not prime. Res64: B39F90C62B37DE6C Time : 0.0 sec. user=mdettweiler [2015-06-26 15:56:29] 639*2^1401457-1 is not prime. Res64: 7338CE04E40C9B38 Time : 0.0 sec. user=mdettweiler [2015-06-26 15:56:29] 729*2^1401457-1 is not prime. Res64: 640D484F93961F0F Time : 0.0 sec. user=mdettweiler [2015-06-26 16:03:07] 805*2^1401457-1 is not prime. Res64: DD901B593EA04BA7 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:03:08] 867*2^1401457-1 is not prime. Res64: 42F52D61A428B5D6 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:13:44] 915*2^1401457-1 is not prime. Res64: D0E3FAB38779B919 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:13:45] 919*2^1401457-1 is not prime. Res64: 2D6DED2091FECA2C Time : 0.0 sec. user=mdettweiler [2015-06-26 16:13:47] 603*2^1401458-1 is not prime. Res64: B2A21057F09B9C97 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:13:47] 633*2^1401458-1 is not prime. Res64: D4FD0559EA645753 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:20:42] 753*2^1401458-1 is not prime. Res64: FCF7EC8B64328F12 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:20:43] 845*2^1401458-1 is not prime. Res64: AD7F1BC412C0E48D Time : 0.0 sec. user=juhehe [2015-06-26 16:25:04] 871*2^1401457-1 is not prime. Res64: 708F872D00DA0C84 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:31:02] 963*2^1401458-1 is not prime. Res64: 88359BF465718FF4 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:31:02] 663*2^1401459-1 is not prime. Res64: F8F352CE9BEC4CC2 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:31:04] 735*2^1401459-1 is not prime. Res64: 41C227B442C98BD9 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:31:04] 955*2^1401459-1 is not prime. Res64: 43E902DBC7E2FA6B Time : 0.0 sec. user=mdettweiler [2015-06-26 16:38:01] 985*2^1401459-1 is not prime. Res64: 2C1077E2D36700A7 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:38:02] 677*2^1401460-1 is not prime. Res64: A5B212B3ADB33281 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:48:21] 689*2^1401460-1 is not prime. Res64: 8FD904954E0D239C Time : 0.0 sec. user=mdettweiler [2015-06-26 16:48:22] 939*2^1401460-1 is not prime. Res64: BE43747D1465B5FC Time : 0.0 sec. user=mdettweiler [2015-06-26 16:48:22] 873*2^1401460-1 is not prime. Res64: E2E1CE6AAA8C3611 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:48:22] 965*2^1401460-1 is not prime. Res64: 69CCB26FF3A97A6D Time : 0.0 sec. user=mdettweiler [2015-06-26 16:55:19] 983*2^1401460-1 is not prime. Res64: FCC8A05327972834 Time : 0.0 sec. user=mdettweiler [2015-06-26 16:55:20] 747*2^1401461-1 is not prime. Res64: F02B61447C4B5080 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:05:44] 931*2^1401461-1 is not prime. Res64: 9EBE2F4D50A56824 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:05:44] 825*2^1401462-1 is not prime. Res64: BE06596F6AF325B9 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:05:46] 825*2^1401461-1 is not prime. Res64: 99C834827023644B Time : 0.0 sec. user=mdettweiler [2015-06-26 17:05:46] 859*2^1401461-1 is not prime. Res64: 265406A5E8982C5B Time : 0.0 sec. user=mdettweiler [2015-06-26 17:12:46] 843*2^1401462-1 is not prime. Res64: 2B0BF48CE129DC1C Time : 0.0 sec. user=mdettweiler [2015-06-26 17:12:46] 921*2^1401462-1 is not prime. Res64: CE48069D1E7AE30B Time : 0.0 sec. user=mdettweiler [2015-06-26 17:23:24] 975*2^1401462-1 is not prime. Res64: 5284147A80FE3EA7 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:23:25] 633*2^1401463-1 is not prime. Res64: 431D611AE2FAFA4C Time : 0.0 sec. user=mdettweiler [2015-06-26 17:23:25] 805*2^1401463-1 is not prime. Res64: 3EAEDEE8B9E2EB71 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:23:25] 765*2^1401463-1 is not prime. Res64: 66584FCE237A7235 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:30:23] 855*2^1401463-1 is not prime. Res64: 3584B96597947EB5 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:30:23] 861*2^1401463-1 is not prime. Res64: 376B5779F774A641 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:40:57] 903*2^1401464-1 is not prime. Res64: 641F6F2F9484F553 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:40:57] 957*2^1401464-1 is not prime. Res64: 48D31B6FD52C244C Time : 0.0 sec. user=mdettweiler [2015-06-26 17:40:57] 657*2^1401464-1 is not prime. Res64: BC8D731F6EC34434 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:40:58] 663*2^1401464-1 is not prime. Res64: 18F47E083BF182DC Time : 0.0 sec. user=mdettweiler [2015-06-26 17:47:46] 969*2^1401464-1 is not prime. Res64: 4E1409A8C9AA2097 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:47:46] 691*2^1401465-1 is not prime. Res64: 82A6DCEAC241FE6F Time : 0.0 sec. user=mdettweiler [2015-06-26 17:58:16] 861*2^1401465-1 is not prime. Res64: 66911BD03480950C Time : 0.0 sec. user=mdettweiler [2015-06-26 17:58:16] 919*2^1401465-1 is not prime. Res64: 8F28F8EE2665B866 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:58:16] 677*2^1401466-1 is not prime. Res64: 09B27A7BDE05A736 Time : 0.0 sec. user=mdettweiler [2015-06-26 17:58:17] 701*2^1401466-1 is not prime. Res64: B80D817F05D97A56 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:05:05] 755*2^1401466-1 is not prime. Res64: 01889726AD8FE4F6 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:05:06] 813*2^1401466-1 is not prime. Res64: EFE3A21C862D1B83 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:15:35] 867*2^1401466-1 is not prime. Res64: EED8E5A4D2A3C9DE Time : 0.0 sec. user=mdettweiler [2015-06-26 18:15:35] 917*2^1401466-1 is not prime. Res64: 8E17FDD67A16BC01 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:15:36] 933*2^1401466-1 is not prime. Res64: 269777738BB8FFB2 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:15:36] 947*2^1401466-1 is not prime. Res64: 761543A7DE1B3443 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:22:32] 609*2^1401467-1 is not prime. Res64: F77CEF78647C0DC1 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:22:33] 619*2^1401467-1 is not prime. Res64: A9CAB2F8EA2BFE04 Time : 0.0 sec. user=juhehe [2015-06-26 18:26:46] 741*2^1401466-1 is not prime. Res64: 9280069A869059B1 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:32:56] 663*2^1401467-1 is not prime. Res64: A768FECF6D0DF10A Time : 0.0 sec. user=mdettweiler [2015-06-26 18:32:57] 675*2^1401467-1 is not prime. Res64: BC84776959E4782A Time : 0.0 sec. user=mdettweiler [2015-06-26 18:32:57] 741*2^1401467-1 is not prime. Res64: A043ECBCD24D34A2 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:32:58] 799*2^1401467-1 is not prime. Res64: 9316F1F87B9ADD8B Time : 0.0 sec. user=mdettweiler [2015-06-26 18:39:58] 823*2^1401467-1 is not prime. Res64: C18530DA447E0689 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:39:59] 939*2^1401467-1 is not prime. Res64: D08A20ABD106ADEC Time : 0.0 sec. user=mdettweiler [2015-06-26 18:50:17] 683*2^1401468-1 is not prime. Res64: F6B78D3E4BBBC250 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:50:18] 759*2^1401468-1 is not prime. Res64: D3AF4657DCF19C69 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:50:22] 819*2^1401468-1 is not prime. Res64: E93F44B37D9CCC45 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:50:23] 825*2^1401468-1 is not prime. Res64: 816915A15D9E1770 Time : 0.0 sec. user=mdettweiler [2015-06-26 18:57:18] 909*2^1401468-1 is not prime. Res64: F7913C7E1E90082F Time : 0.0 sec. user=mdettweiler [2015-06-26 18:57:19] 639*2^1401469-1 is not prime. Res64: CF5EF8866F0C8D22 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:07:40] 681*2^1401469-1 is not prime. Res64: 5978284F786F9B20 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:07:41] 721*2^1401469-1 is not prime. Res64: ECD008D28DBA6196 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:07:48] 729*2^1401469-1 is not prime. Res64: C3DB24075D4D7462 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:07:48] 747*2^1401469-1 is not prime. Res64: 1668E95DABD2EFBB Time : 0.0 sec. user=mdettweiler [2015-06-26 19:14:37] 757*2^1401469-1 is not prime. Res64: 031AB74DA20251E9 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:14:37] 759*2^1401469-1 is not prime. Res64: DAD485A717D59ECF Time : 0.0 sec. user=mdettweiler [2015-06-26 19:25:05] 769*2^1401469-1 is not prime. Res64: 9111E32F07AD46A6 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:25:05] 945*2^1401469-1 is not prime. Res64: 0317B9C9446C2555 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:25:13] 999*2^1401469-1 is not prime. Res64: 1DC8DE38A8A285AD Time : 0.0 sec. user=mdettweiler [2015-06-26 19:25:13] 627*2^1401470-1 is not prime. Res64: 566BC72072742587 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:32:03] 675*2^1401470-1 is not prime. Res64: B0A11624CC3E9760 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:32:04] 845*2^1401470-1 is not prime. Res64: F021CAA0437E93D9 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:42:26] 893*2^1401470-1 is not prime. Res64: B33D4989758DCFCE Time : 0.0 sec. user=mdettweiler [2015-06-26 19:42:27] 945*2^1401470-1 is not prime. Res64: 3302332E4CB4C3AF Time : 0.0 sec. user=mdettweiler [2015-06-26 19:42:34] 711*2^1401471-1 is not prime. Res64: 46588C08308EA637 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:42:35] 745*2^1401471-1 is not prime. Res64: 7E8BE641B83E4919 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:49:31] 763*2^1401471-1 is not prime. Res64: CC01EF22C2FF1EF9 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:49:35] 825*2^1401471-1 is not prime. Res64: 68E66943AE0F5142 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:59:46] 605*2^1401472-1 is not prime. Res64: 70DF49326F9DF387 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:59:46] 629*2^1401472-1 is not prime. Res64: 130723A9399E24B2 Time : 0.0 sec. user=mdettweiler [2015-06-26 19:59:54] 717*2^1401472-1 is not prime. Res64: C85C19D8EEFF414D Time : 0.0 sec. user=mdettweiler [2015-06-26 19:59:55] 863*2^1401472-1 is not prime. Res64: 336C40AD731116BB Time : 0.0 sec. user=mdettweiler [2015-06-26 20:06:57] 933*2^1401472-1 is not prime. Res64: 4A900CD6AC38B671 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:06:59] 939*2^1401472-1 is not prime. Res64: B14C4A8FC165FF52 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:17:07] 615*2^1401473-1 is not prime. Res64: C6FC1CAD066C4194 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:17:08] 669*2^1401473-1 is not prime. Res64: 2F16F48B0DFBE512 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:17:13] 697*2^1401473-1 is not prime. Res64: 9B6EBE52278D97D8 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:17:13] 771*2^1401473-1 is not prime. Res64: EED20F12CE17ABBD Time : 0.0 sec. user=mdettweiler [2015-06-26 20:24:35] 885*2^1401473-1 is not prime. Res64: B7D3720B8A92C652 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:24:35] 889*2^1401473-1 is not prime. Res64: C2CA2C97F1BE9F9E Time : 0.0 sec. user=mdettweiler [2015-06-26 20:34:32] 915*2^1401473-1 is not prime. Res64: 0BCBAEA2A8D294AE Time : 0.0 sec. user=mdettweiler [2015-06-26 20:34:33] 951*2^1401473-1 is not prime. Res64: DA3050323FEF26FD Time : 0.0 sec. user=mdettweiler [2015-06-26 20:34:33] 925*2^1401473-1 is not prime. Res64: 5A390E43925C0C81 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:34:33] 611*2^1401474-1 is not prime. Res64: 50AAC985D3B94A63 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:41:54] 635*2^1401474-1 is not prime. Res64: 0F3FAC8E9238BACB Time : 0.0 sec. user=mdettweiler [2015-06-26 20:41:55] 731*2^1401474-1 is not prime. Res64: B56F24C223A1CA78 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:51:51] 755*2^1401474-1 is not prime. Res64: B37F3C17291DB475 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:51:52] 791*2^1401474-1 is not prime. Res64: 42E302A595BB549F Time : 0.0 sec. user=mdettweiler [2015-06-26 20:51:53] 833*2^1401474-1 is not prime. Res64: 86DFBD04394E7009 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:51:53] 993*2^1401474-1 is not prime. Res64: 64EC5974619ADBB9 Time : 0.0 sec. user=S_K_ [2015-06-26 20:55:17] 911*2^1401458-1 is not prime. Res64: 1D250D110C50D194 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:59:16] 1001*2^1401474-1 is not prime. Res64: E0866341316B6F38 Time : 0.0 sec. user=mdettweiler [2015-06-26 20:59:17] 775*2^1401475-1 is not prime. Res64: 62DBB29933C78691 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:09:12] 861*2^1401475-1 is not prime. Res64: F9B0B237D7E2BC69 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:09:13] 609*2^1401476-1 is not prime. Res64: A0B53B656FDB25B8 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:09:13] 635*2^1401476-1 is not prime. Res64: EEF7436F69D0F31C Time : 0.0 sec. user=mdettweiler [2015-06-26 21:09:14] 725*2^1401476-1 is not prime. Res64: BE1B886B0E641BDC Time : 0.0 sec. user=mdettweiler [2015-06-26 21:16:36] 777*2^1401476-1 is not prime. Res64: A9AFBC640525465D Time : 0.0 sec. user=mdettweiler [2015-06-26 21:16:37] 615*2^1401477-1 is not prime. Res64: D6C7C44390BD335B Time : 0.0 sec. user=mdettweiler [2015-06-26 21:26:36] 837*2^1401477-1 is not prime. Res64: 54384D805F2E1D3D Time : 0.0 sec. user=mdettweiler [2015-06-26 21:26:36] 949*2^1401477-1 is not prime. Res64: 44B4E6165CB3EC5D Time : 0.0 sec. user=mdettweiler [2015-06-26 21:26:37] 621*2^1401478-1 is not prime. Res64: 67A998AF90FAC8D4 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:26:37] 665*2^1401478-1 is not prime. Res64: 8A3FD68E1B25829B Time : 0.0 sec. user=mdettweiler [2015-06-26 21:33:59] 687*2^1401478-1 is not prime. Res64: 15F111C388E3798C Time : 0.0 sec. user=mdettweiler [2015-06-26 21:34:00] 777*2^1401478-1 is not prime. Res64: C28DADB0E60D9A79 Time : 0.0 sec. user=juhehe [2015-06-26 21:39:32] 699*2^1401477-1 is not prime. Res64: 028D0BE49B73E669 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:43:55] 887*2^1401478-1 is not prime. Res64: 4374A639F9699185 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:43:55] 759*2^1401479-1 is not prime. Res64: 73CDAA416285E6CC Time : 0.0 sec. user=mdettweiler [2015-06-26 21:43:56] 621*2^1401479-1 is not prime. Res64: E8868DCBB78CA63A Time : 0.0 sec. user=mdettweiler [2015-06-26 21:43:56] 799*2^1401479-1 is not prime. Res64: A3902C0D8DBDA021 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:51:19] 825*2^1401479-1 is not prime. Res64: 0EE30D375B9F7872 Time : 0.0 sec. user=mdettweiler [2015-06-26 21:51:20] 843*2^1401479-1 is not prime. Res64: 0785EA4DE0BFF899 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:01:21] 713*2^1401480-1 is not prime. Res64: 1315CBD539BC990E Time : 0.0 sec. user=mdettweiler [2015-06-26 22:01:21] 629*2^1401480-1 is not prime. Res64: 4EAAD225CA1D0430 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:01:23] 633*2^1401480-1 is not prime. Res64: D1E310D9FEF086B9 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:01:23] 765*2^1401480-1 is not prime. Res64: FC122CE1E03CA78C Time : 0.0 sec. user=mdettweiler [2015-06-26 22:08:40] 797*2^1401480-1 is not prime. Res64: 8B6E014E7DDC64A4 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:08:41] 809*2^1401480-1 is not prime. Res64: B04A71E25E272BBF Time : 0.0 sec. user=juhehe [2015-06-26 22:18:34] 859*2^1401479-1 is not prime. Res64: B32E149D82E5CE2B Time : 0.0 sec. user=mdettweiler [2015-06-26 22:19:05] 845*2^1401480-1 is not prime. Res64: 6BD88D357C391462 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:19:05] 863*2^1401480-1 is not prime. Res64: 73271C545DDA4091 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:19:06] 957*2^1401480-1 is not prime. Res64: 2F51C568D1BDFA89 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:19:07] 975*2^1401480-1 is not prime. Res64: 1216CE41669E7EEF Time : 0.0 sec. user=mdettweiler [2015-06-26 22:26:03] 705*2^1401481-1 is not prime. Res64: 1AA03B8EC1834C70 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:26:03] 769*2^1401481-1 is not prime. Res64: 23727CD82F23DFBF Time : 0.0 sec. user=mdettweiler [2015-06-26 22:36:27] 807*2^1401481-1 is not prime. Res64: 3EC69CD824B37B95 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:36:28] 819*2^1401481-1 is not prime. Res64: 7FC0839A22D62F38 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:36:31] 871*2^1401481-1 is not prime. Res64: A56047FEF325C34F Time : 0.0 sec. user=mdettweiler [2015-06-26 22:36:32] 975*2^1401481-1 is not prime. Res64: D0BF6AAC1C293259 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:43:25] 713*2^1401482-1 is not prime. Res64: A1184813A810D365 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:43:26] 755*2^1401482-1 is not prime. Res64: 55B4749855EBDBBB Time : 0.0 sec. user=mdettweiler [2015-06-26 22:53:49] 963*2^1401482-1 is not prime. Res64: D68BF2AC9ADDE871 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:53:49] 983*2^1401482-1 is not prime. Res64: 17773314702EFF80 Time : 0.0 sec. user=mdettweiler [2015-06-26 22:53:50] 625*2^1401483-1 is not prime. Res64: F922CFCC10B501FD Time : 0.0 sec. user=mdettweiler [2015-06-26 22:53:51] 723*2^1401483-1 is not prime. Res64: C71B7EAD02A2AF21 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:00:45] 921*2^1401483-1 is not prime. Res64: E08983FB9AB74486 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:00:46] 609*2^1401484-1 is not prime. Res64: 91A8DED41D28FAE2 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:11:10] 863*2^1401484-1 is not prime. Res64: F6FFDEEB8F9B5AE3 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:11:11] 897*2^1401484-1 is not prime. Res64: 3466A7C1C0A905C5 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:11:13] 989*2^1401484-1 is not prime. Res64: D6F762394C2370E6 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:11:14] 993*2^1401484-1 is not prime. Res64: F139BC48DD8A94D7 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:18:09] 655*2^1401485-1 is not prime. Res64: A46F83DD8157A3B7 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:18:10] 759*2^1401485-1 is not prime. Res64: D56F617EF9072E90 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:28:38] 865*2^1401485-1 is not prime. Res64: 5874D42255E5E6E0 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:28:39] 871*2^1401485-1 is not prime. Res64: 003CEFACC8E6F446 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:28:43] 897*2^1401485-1 is not prime. Res64: 844D6CECC00C11DD Time : 0.0 sec. user=mdettweiler [2015-06-26 23:28:44] 907*2^1401485-1 is not prime. Res64: C1759CCD8346D346 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:35:32] 979*2^1401485-1 is not prime. Res64: 7900C7FB2D164345 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:35:32] 693*2^1401486-1 is not prime. Res64: B0BC026B205448AE Time : 0.0 sec. user=mdettweiler [2015-06-26 23:45:59] 761*2^1401486-1 is not prime. Res64: 9952808C8E8CB4EC Time : 0.0 sec. user=mdettweiler [2015-06-26 23:46:00] 807*2^1401486-1 is not prime. Res64: 06DB93AA11031E21 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:46:04] 821*2^1401486-1 is not prime. Res64: 9C8C36EC0C8A273B Time : 0.0 sec. user=mdettweiler [2015-06-26 23:46:05] 875*2^1401486-1 is not prime. Res64: 35D0B36F8AF9222A Time : 0.0 sec. user=mdettweiler [2015-06-26 23:52:50] 941*2^1401486-1 is not prime. Res64: F7169DCEE1AD43B4 Time : 0.0 sec. user=mdettweiler [2015-06-26 23:52:51] 1001*2^1401486-1 is not prime. Res64: 2E7FD5999AA87E7E Time : 0.0 sec.