user=mdettweiler [2015-06-30 00:17:30] 893*2^1401752-1 is not prime. Res64: 54D37E26AB8C97CD Time : 0.0 sec. user=mdettweiler [2015-06-30 00:17:30] 995*2^1401752-1 is not prime. Res64: C97E458515BB6395 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:17:32] 811*2^1401753-1 is not prime. Res64: 507AB1995072C30E Time : 0.0 sec. user=mdettweiler [2015-06-30 00:17:33] 835*2^1401753-1 is not prime. Res64: 48E3A8B93BEFCF90 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:17:43] 885*2^1401753-1 is not prime. Res64: F43F282AB44A1E3A Time : 0.0 sec. user=mdettweiler [2015-06-30 00:17:43] 895*2^1401753-1 is not prime. Res64: D93F2617723158AC Time : 0.0 sec. user=mdettweiler [2015-06-30 00:34:55] 991*2^1401753-1 is not prime. Res64: 3EDD5DF9CDB77C1E Time : 0.0 sec. user=mdettweiler [2015-06-30 00:34:55] 657*2^1401754-1 is not prime. Res64: 73C935E35BDE9A95 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:34:56] 731*2^1401754-1 is not prime. Res64: CAB683CF432F8BAC Time : 0.0 sec. user=mdettweiler [2015-06-30 00:34:56] 999*2^1401753-1 is not prime. Res64: 2895B3A5C8EC388B Time : 0.0 sec. user=mdettweiler [2015-06-30 00:35:03] 791*2^1401754-1 is not prime. Res64: 58695248CF6DE8C3 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:35:03] 831*2^1401754-1 is not prime. Res64: 67492C9F0A9D9B19 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:16] 923*2^1401754-1 is not prime. Res64: 954B76BDBA36AFB5 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:16] 885*2^1401754-1 is not prime. Res64: ACED462EFFBB9C96 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:16] 1001*2^1401754-1 is not prime. Res64: FD4F4FC3698B5FBF Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:16] 917*2^1401754-1 is not prime. Res64: B9256A5860F6B466 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:21] 781*2^1401755-1 is not prime. Res64: 9160E43FCDCF8A4F Time : 0.0 sec. user=mdettweiler [2015-06-30 00:52:21] 629*2^1401756-1 is not prime. Res64: 7DBCDD03705A2511 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:35] 647*2^1401756-1 is not prime. Res64: A0FD0AA07BABB579 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:36] 683*2^1401756-1 is not prime. Res64: 2F3575173FFF555D Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:36] 699*2^1401756-1 is not prime. Res64: 9D1C7FEDF56B88AB Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:37] 735*2^1401756-1 is not prime. Res64: 49556021F6133E47 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:39] 759*2^1401756-1 is not prime. Res64: 8DBB86D5A3ABBEAF Time : 0.0 sec. user=mdettweiler [2015-06-30 01:09:40] 857*2^1401756-1 is not prime. Res64: 95925075E20DB549 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:07] 905*2^1401756-1 is not prime. Res64: CC1565F2A4777621 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:09] 927*2^1401756-1 is not prime. Res64: 5E91B5AC79123175 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:10] 983*2^1401756-1 is not prime. Res64: A0269393F643B7FB Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:11] 675*2^1401757-1 is not prime. Res64: 916FE221A376B191 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:15] 691*2^1401757-1 is not prime. Res64: 3E9158C8A99F961A Time : 0.0 sec. user=mdettweiler [2015-06-30 01:27:16] 751*2^1401757-1 is not prime. Res64: 5DADA47521DB7964 Time : 0.0 sec. user=juhehe [2015-06-30 01:43:29] 903*2^1401756-1 is not prime. Res64: E0678CD64A732B08 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:54] 937*2^1401757-1 is not prime. Res64: EC2F5B32AB9FD9CE Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:55] 605*2^1401758-1 is not prime. Res64: 385A984ECA793288 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:56] 843*2^1401758-1 is not prime. Res64: E60F9DA73F06E2E9 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:56] 845*2^1401758-1 is not prime. Res64: 285BD9F44CE7EC72 Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:58] 857*2^1401758-1 is not prime. Res64: E97445D5880FE2ED Time : 0.0 sec. user=mdettweiler [2015-06-30 01:44:58] 945*2^1401758-1 is not prime. Res64: 816A7BA3469639B0 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:17] 703*2^1401759-1 is not prime. Res64: 3DA68A8711BA7CFB Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:18] 957*2^1401758-1 is not prime. Res64: 07E67C25C265DE9B Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:19] 751*2^1401759-1 is not prime. Res64: 890FBCDDA3DB9BA9 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:20] 993*2^1401758-1 is not prime. Res64: BB8673E50C0469F8 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:20] 613*2^1401759-1 is not prime. Res64: F6A149024AC71F28 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:02:22] 649*2^1401759-1 is not prime. Res64: 144E7CDB0E7D77E1 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:03] 695*2^1401760-1 is not prime. Res64: 53BE5C9B33F4C21B Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:03] 713*2^1401760-1 is not prime. Res64: A12F9ED87C431518 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:05] 955*2^1401759-1 is not prime. Res64: 0B015095127A1740 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:06] 777*2^1401760-1 is not prime. Res64: 0EBCA7BEFAA2AE85 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:07] 887*2^1401760-1 is not prime. Res64: 9053CE9A57DBD146 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:20:08] 669*2^1401761-1 is not prime. Res64: 58DF361F41171655 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:23] 949*2^1401761-1 is not prime. Res64: B8E1CE3867D549F5 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:23] 691*2^1401761-1 is not prime. Res64: 06DF3354CAED44E7 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:24] 741*2^1401761-1 is not prime. Res64: 002FA9F67D0482B0 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:24] 967*2^1401761-1 is not prime. Res64: C2D040DB0B77D7D2 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:25] 717*2^1401762-1 is not prime. Res64: 269E19C0A71250A8 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:37:25] 875*2^1401762-1 is not prime. Res64: 3D8108A49A85A321 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:00] 753*2^1401764-1 is not prime. Res64: A11F33248C1B64E7 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:00] 919*2^1401763-1 is not prime. Res64: B621F2FC3BA17995 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:00] 875*2^1401764-1 is not prime. Res64: 34F39FBE820DFCFF Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:00] 617*2^1401764-1 is not prime. Res64: EC7962DBA576CF94 Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:07] 649*2^1401763-1 is not prime. Res64: AD1A1670A118C7FA Time : 0.0 sec. user=mdettweiler [2015-06-30 02:55:07] 765*2^1401763-1 is not prime. Res64: D72F240F451325AE Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:20] 805*2^1401765-1 is not prime. Res64: 3D4448ED77D1FA77 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:20] 867*2^1401765-1 is not prime. Res64: 3CDC70ECA21BCB31 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:21] 895*2^1401765-1 is not prime. Res64: 0CBA55AC94B55B38 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:22] 927*2^1401765-1 is not prime. Res64: 55ECADE9F2E6216D Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:26] 937*2^1401765-1 is not prime. Res64: 7ADEDAF9FC5D0DE0 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:12:26] 765*2^1401766-1 is not prime. Res64: F6E63A25D275D0D5 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:41] 873*2^1401766-1 is not prime. Res64: 02635FDD8961B81B Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:42] 965*2^1401766-1 is not prime. Res64: 97236D5CD7D66E68 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:46] 1001*2^1401766-1 is not prime. Res64: 1F3F65A1D45B14F2 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:48] 661*2^1401767-1 is not prime. Res64: 2D34B199B4A0B6BB Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:50] 693*2^1401767-1 is not prime. Res64: EB12DC727888D16B Time : 0.0 sec. user=mdettweiler [2015-06-30 03:29:52] 729*2^1401767-1 is not prime. Res64: C053F71204508742 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:37] 605*2^1401768-1 is not prime. Res64: F2B60B8697E53B76 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:37] 683*2^1401768-1 is not prime. Res64: 2B2BA5BCEBEECBE3 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:41] 927*2^1401768-1 is not prime. Res64: D383A59FE89CD167 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:42] 945*2^1401768-1 is not prime. Res64: 211A8B81C108EBF2 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:47] 959*2^1401768-1 is not prime. Res64: 78360E7F1D024272 Time : 0.0 sec. user=mdettweiler [2015-06-30 03:47:49] 601*2^1401769-1 is not prime. Res64: 8849FDEBA7699881 Time : 0.0 sec. user=juhehe [2015-06-30 03:57:00] 825*2^1401767-1 is not prime. Res64: 02F30B2628D10728 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:16] 667*2^1401769-1 is not prime. Res64: 95177E40DAEC6E3E Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:17] 691*2^1401769-1 is not prime. Res64: 1EC438DC4868C771 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:18] 807*2^1401769-1 is not prime. Res64: 9403A720F8C108CD Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:19] 925*2^1401769-1 is not prime. Res64: AA19E4A9632D4C5B Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:20] 797*2^1401770-1 is not prime. Res64: 6CA32F02058D16BF Time : 0.0 sec. user=mdettweiler [2015-06-30 04:05:23] 893*2^1401770-1 is not prime. Res64: 0198D2720082341E Time : 0.0 sec. user=juhehe [2015-06-30 04:05:59] 909*2^1401767-1 is not prime. Res64: 56E3D8F2F1853B32 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:22:58] 609*2^1401771-1 is not prime. Res64: 9A092DDA13ED17BA Time : 0.0 sec. user=mdettweiler [2015-06-30 04:22:58] 977*2^1401770-1 is not prime. Res64: CBBC919552025861 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:22:59] 679*2^1401771-1 is not prime. Res64: 075EA9C0D6BA4C7D Time : 0.0 sec. user=mdettweiler [2015-06-30 04:22:59] 669*2^1401771-1 is not prime. Res64: 00696E5979BA8C31 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:23:01] 769*2^1401771-1 is not prime. Res64: F90CC69467CEE0D0 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:23:02] 849*2^1401771-1 is not prime. Res64: DD5215B5F03D8229 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:22] 891*2^1401771-1 is not prime. Res64: 1CB384C590BCB1EC Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:22] 949*2^1401771-1 is not prime. Res64: 80DC8BB468BD29DE Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:22] 901*2^1401771-1 is not prime. Res64: 71368D151527DFB8 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:23] 605*2^1401772-1 is not prime. Res64: FB91569EDB371F7A Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:23] 635*2^1401772-1 is not prime. Res64: E41B7BFEBF62EFCA Time : 0.0 sec. user=mdettweiler [2015-06-30 04:40:24] 657*2^1401772-1 is not prime. Res64: AF88AF2E4CBE97DE Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:40] 695*2^1401772-1 is not prime. Res64: B4E8921C86C10EA0 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:41] 965*2^1401772-1 is not prime. Res64: B18D949D0B29E08F Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:41] 819*2^1401772-1 is not prime. Res64: 7C5602730DBC4FA4 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:41] 995*2^1401772-1 is not prime. Res64: 10CE1395ED70F4C2 Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:42] 789*2^1401773-1 is not prime. Res64: 63ABD58C696DEDFF Time : 0.0 sec. user=mdettweiler [2015-06-30 04:57:42] 969*2^1401773-1 is not prime. Res64: 8C8F36CC8BBC6CE7 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:05] 723*2^1401774-1 is not prime. Res64: C7CFED516159F7FE Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:06] 861*2^1401774-1 is not prime. Res64: A5F034C9C7D09981 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:06] 685*2^1401775-1 is not prime. Res64: F19C15BDD11B39B2 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:07] 971*2^1401774-1 is not prime. Res64: 2719098798289EBD Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:07] 723*2^1401775-1 is not prime. Res64: FDC873160F877E11 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:15:08] 649*2^1401775-1 is not prime. Res64: 20DD189D838BF0E3 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:37] 843*2^1401775-1 is not prime. Res64: 2EB0E346416910F6 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:37] 933*2^1401775-1 is not prime. Res64: 8BFC5F11D845DDE8 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:37] 961*2^1401775-1 is not prime. Res64: 940C94AB1FA7007A Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:37] 645*2^1401776-1 is not prime. Res64: BA7CF4005DAF2279 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:37] 969*2^1401775-1 is not prime. Res64: B007992201534177 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:32:38] 657*2^1401776-1 is not prime. Res64: 8EDAF997CA4A1C61 Time : 0.0 sec. user=juhehe [2015-06-30 05:36:35] 681*2^1401774-1 is not prime. Res64: 8756817E8DF5294A Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:55] 693*2^1401776-1 is not prime. Res64: 924A14323F910EB4 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:56] 755*2^1401776-1 is not prime. Res64: 043902A8D67DB4C4 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:56] 785*2^1401776-1 is not prime. Res64: 45EA2F82BAE56F50 Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:56] 825*2^1401776-1 is not prime. Res64: BB844F16F8835BAE Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:56] 873*2^1401776-1 is not prime. Res64: 942DCD122E3A3CBC Time : 0.0 sec. user=mdettweiler [2015-06-30 05:49:57] 909*2^1401776-1 is not prime. Res64: A03A5BB3C62C913A Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:15] 751*2^1401777-1 is not prime. Res64: D48F4ACBBFCC9714 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:16] 915*2^1401777-1 is not prime. Res64: D9CAEE8C4FF98D95 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:16] 849*2^1401777-1 is not prime. Res64: B7ED6DE3692BA17D Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:16] 625*2^1401777-1 is not prime. Res64: D31D078FA01E4DBE Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:16] 985*2^1401777-1 is not prime. Res64: 2AC103AD2AC4C312 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:07:17] 711*2^1401777-1 is not prime. Res64: 77C109458977EADE Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:39] 633*2^1401778-1 is not prime. Res64: D2C34DCEA83616C5 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:39] 687*2^1401778-1 is not prime. Res64: 2373460DF4D0ADC3 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:39] 747*2^1401778-1 is not prime. Res64: 0089735ECFB11FC8 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:40] 997*2^1401777-1 is not prime. Res64: 35CA3AD21BE8072F Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:40] 777*2^1401778-1 is not prime. Res64: 370D48EA2F127418 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:24:40] 857*2^1401778-1 is not prime. Res64: 714A2EF61F16EBA6 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:41:58] 663*2^1401779-1 is not prime. Res64: 7E68D0FBE8F2CAB9 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:41:58] 771*2^1401779-1 is not prime. Res64: 15727B75B515A510 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:41:58] 675*2^1401779-1 is not prime. Res64: A18B5F0B98C49C3B Time : 0.0 sec. user=mdettweiler [2015-06-30 06:41:59] 775*2^1401779-1 is not prime. Res64: CE5D1B7DBE3AE951 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:41:59] 949*2^1401779-1 is not prime. Res64: 9B4AF3060572FD25 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:42:00] 979*2^1401779-1 is not prime. Res64: A165952AC85990F4 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:17] 627*2^1401780-1 is not prime. Res64: 93D0EFB24433C0C8 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:17] 633*2^1401780-1 is not prime. Res64: 5458F4CD950B326A Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:18] 773*2^1401780-1 is not prime. Res64: B2C974F3C4A55C0E Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:19] 777*2^1401780-1 is not prime. Res64: A09C15486721C0C2 Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:23] 647*2^1401780-1 is not prime. Res64: FF63340AFF83DC0C Time : 0.0 sec. user=mdettweiler [2015-06-30 06:59:23] 719*2^1401780-1 is not prime. Res64: 99D4E53992D546EC Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:35] 927*2^1401780-1 is not prime. Res64: 07BBB41D5A857B17 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:36] 687*2^1401781-1 is not prime. Res64: 8ACA9DD890F826A8 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:37] 741*2^1401781-1 is not prime. Res64: CF7ED588A480D4D6 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:37] 861*2^1401781-1 is not prime. Res64: EB2C8B4CC5948ED4 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:41] 937*2^1401781-1 is not prime. Res64: 400591581588E43F Time : 0.0 sec. user=mdettweiler [2015-06-30 07:16:41] 961*2^1401781-1 is not prime. Res64: 8EDDA40411544154 Time : 0.0 sec. user=juhehe [2015-06-30 07:32:39] 909*2^1401780-1 is not prime. Res64: FEA65FA07ACF4296 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:33:53] 979*2^1401781-1 is not prime. Res64: C0B9A2AAF3295A6F Time : 0.0 sec. user=mdettweiler [2015-06-30 07:33:54] 999*2^1401781-1 is not prime. Res64: 281E24D6AEFE550E Time : 0.0 sec. user=mdettweiler [2015-06-30 07:33:55] 603*2^1401782-1 is not prime. Res64: DEC22504960DEBEB Time : 0.0 sec. user=mdettweiler [2015-06-30 07:33:56] 665*2^1401782-1 is not prime. Res64: 8417B80DEA81E876 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:33:59] 683*2^1401782-1 is not prime. Res64: 36BA7F8400B2F61D Time : 0.0 sec. user=mdettweiler [2015-06-30 07:34:00] 713*2^1401782-1 is not prime. Res64: 0CEF5BD1C62EF5E4 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:11] 755*2^1401782-1 is not prime. Res64: 7A9D4F9AEC128312 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:11] 771*2^1401782-1 is not prime. Res64: B137A5B20639E0EC Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:13] 785*2^1401782-1 is not prime. Res64: 168E30AD1C938220 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:13] 797*2^1401782-1 is not prime. Res64: 56FD564A07FC48F2 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:17] 1001*2^1401782-1 is not prime. Res64: 5F2F1C3BBDF7F782 Time : 0.0 sec. user=mdettweiler [2015-06-30 07:51:18] 691*2^1401783-1 is not prime. Res64: EFA888F2038486F7 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:30] 789*2^1401783-1 is not prime. Res64: 05B09DC57ED5E468 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:30] 913*2^1401783-1 is not prime. Res64: 301F107048354C29 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:31] 917*2^1401784-1 is not prime. Res64: BCA5A5891A4BB651 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:31] 927*2^1401784-1 is not prime. Res64: 6CD3F82230175A89 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:38] 959*2^1401784-1 is not prime. Res64: 605B8D40E04C83F2 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:08:39] 619*2^1401785-1 is not prime. Res64: 3F43A019A791571D Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:56] 669*2^1401785-1 is not prime. Res64: 25C09803CAE64D3D Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:56] 685*2^1401785-1 is not prime. Res64: 6F87B6A1498429F8 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:57] 889*2^1401785-1 is not prime. Res64: 6EBAC3BD7F5BDD6E Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:58] 907*2^1401785-1 is not prime. Res64: FC63CBB9BCEC26ED Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:58] 799*2^1401785-1 is not prime. Res64: 05D42511A0768D37 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:25:58] 871*2^1401785-1 is not prime. Res64: C0BEB538BA4327CF Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:16] 759*2^1401787-1 is not prime. Res64: 5599BEE2FD615A0A Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:17] 765*2^1401786-1 is not prime. Res64: 683FBCA34BBFD567 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:17] 801*2^1401787-1 is not prime. Res64: 3EF5066D0412AC85 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:17] 867*2^1401786-1 is not prime. Res64: 732655D3263E75EA Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:18] 859*2^1401787-1 is not prime. Res64: F4169A383AC1ECC1 Time : 0.0 sec. user=mdettweiler [2015-06-30 08:43:18] 871*2^1401787-1 is not prime. Res64: 0E304E0386EE128B Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:36] 885*2^1401787-1 is not prime. Res64: 441973D70D06CDB9 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:36] 985*2^1401787-1 is not prime. Res64: A975AA744CF43B54 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:36] 869*2^1401788-1 is not prime. Res64: 34AECDE5CDE55ECD Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:37] 845*2^1401788-1 is not prime. Res64: 83BC17B8BC61D022 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:37] 825*2^1401788-1 is not prime. Res64: B077944816479507 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:00:38] 957*2^1401788-1 is not prime. Res64: 46095D36C8DFC9AA Time : 0.0 sec. user=mdettweiler [2015-06-30 09:17:59] 769*2^1401789-1 is not prime. Res64: CAC0AF74BB205D68 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:17:59] 709*2^1401789-1 is not prime. Res64: A4881D15EC6D3ED4 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:17:59] 955*2^1401789-1 is not prime. Res64: AF58381D649E6B59 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:18:00] 945*2^1401789-1 is not prime. Res64: 56D585271545AA02 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:18:01] 603*2^1401790-1 is not prime. Res64: 23D9632988770170 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:18:01] 647*2^1401790-1 is not prime. Res64: A4CA590326A46E8E Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:22] 657*2^1401790-1 is not prime. Res64: F1A8992B97784889 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:23] 833*2^1401790-1 is not prime. Res64: 3FE67B82BA0FF695 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:23] 891*2^1401790-1 is not prime. Res64: F6A2300778D9B89A Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:24] 957*2^1401790-1 is not prime. Res64: CEDCDDA3ADEE5829 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:26] 843*2^1401790-1 is not prime. Res64: 23196D96FFAF90A5 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:35:26] 857*2^1401790-1 is not prime. Res64: 0B06EB312EF84C44 Time : 0.0 sec. user=juhehe [2015-06-30 09:37:09] 669*2^1401789-1 is not prime. Res64: EF87595635A47564 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:41] 615*2^1401791-1 is not prime. Res64: E49670F0FFCC89E4 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:41] 661*2^1401791-1 is not prime. Res64: 9CC34A53AC2916E9 Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:41] 619*2^1401791-1 is not prime. Res64: 0C46307A940FE0AE Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:41] 711*2^1401791-1 is not prime. Res64: CAD4D5DC2F520FAE Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:43] 753*2^1401791-1 is not prime. Res64: A850D55914F3AC6D Time : 0.0 sec. user=mdettweiler [2015-06-30 09:52:44] 855*2^1401791-1 is not prime. Res64: FFB57836F79EEAAC Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:00] 981*2^1401791-1 is not prime. Res64: 533021D78736C8D8 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:00] 629*2^1401792-1 is not prime. Res64: B11ADBF501E31991 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:01] 719*2^1401792-1 is not prime. Res64: 435AB0A66AA1B986 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:02] 725*2^1401792-1 is not prime. Res64: B6990784E01E25B9 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:05] 825*2^1401792-1 is not prime. Res64: 2BAB5B5E9EE7CACF Time : 0.0 sec. user=mdettweiler [2015-06-30 10:10:06] 747*2^1401793-1 is not prime. Res64: AF0B6736060D5113 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:25] 765*2^1401793-1 is not prime. Res64: 1E04E9B9996B4B0F Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:25] 771*2^1401793-1 is not prime. Res64: 0AFFC015B6A5821B Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:26] 789*2^1401793-1 is not prime. Res64: 10B47C6FE63FE550 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:26] 855*2^1401793-1 is not prime. Res64: 016B76489A432EA0 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:27] 867*2^1401793-1 is not prime. Res64: 559020CA857CE3C1 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:27:27] 877*2^1401793-1 is not prime. Res64: 49E58AC51C00C486 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:44] 615*2^1401794-1 is not prime. Res64: E471C6D71AB27DC5 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:44] 623*2^1401794-1 is not prime. Res64: 083B759C1EDABD12 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:44] 641*2^1401794-1 is not prime. Res64: FE900B1C973F25A9 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:45] 731*2^1401794-1 is not prime. Res64: 289E33FC9CB61855 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:45] 767*2^1401794-1 is not prime. Res64: DB75199471522EB1 Time : 0.0 sec. user=mdettweiler [2015-06-30 10:44:46] 791*2^1401794-1 is not prime. Res64: E80B06467D2327CC Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:02] 837*2^1401794-1 is not prime. Res64: 00B725E917FB6D67 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:03] 861*2^1401794-1 is not prime. Res64: 4E7C0604988D0CDD Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:04] 639*2^1401795-1 is not prime. Res64: 3B8D3CC62BCE0AD9 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:04] 691*2^1401795-1 is not prime. Res64: 062BA7519DACD685 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:07] 935*2^1401794-1 is not prime. Res64: 4F637153BD2E2ABB Time : 0.0 sec. user=mdettweiler [2015-06-30 11:02:07] 981*2^1401794-1 is not prime. Res64: 10AB03E3FF809257 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:35] 781*2^1401795-1 is not prime. Res64: 38E2DBBB646E4BD4 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:36] 913*2^1401795-1 is not prime. Res64: C017EEC901D39883 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:36] 793*2^1401795-1 is not prime. Res64: 63BB27C24FEB377F Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:36] 743*2^1401796-1 is not prime. Res64: 959E754A10D642FF Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:36] 647*2^1401796-1 is not prime. Res64: B595F17328F6F005 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:19:37] 813*2^1401796-1 is not prime. Res64: 5A214DD35C4E81B2 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:58] 869*2^1401796-1 is not prime. Res64: 3BC8E2ADFB6BA0CD Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:58] 873*2^1401796-1 is not prime. Res64: 401DFA4B658AB9BD Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:58] 933*2^1401796-1 is not prime. Res64: 76808338991B7A19 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:59] 999*2^1401796-1 is not prime. Res64: A5E018EC485C13B8 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:59] 649*2^1401797-1 is not prime. Res64: D319AAA6BC8C1C12 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:36:59] 669*2^1401797-1 is not prime. Res64: D4E44E1352DF90EF Time : 0.0 sec. user=juhehe [2015-06-30 11:45:45] 857*2^1401796-1 is not prime. Res64: 356BCC21AFF9A3A0 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:16] 711*2^1401797-1 is not prime. Res64: 4A912815DD98D48C Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:17] 825*2^1401797-1 is not prime. Res64: 67CA80CD80EB120F Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:17] 801*2^1401797-1 is not prime. Res64: 3C7099CB5D9020F7 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:17] 837*2^1401797-1 is not prime. Res64: 8A0F0605C34F6845 Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:19] 867*2^1401797-1 is not prime. Res64: 80F351E407F6D2BB Time : 0.0 sec. user=mdettweiler [2015-06-30 11:54:19] 997*2^1401797-1 is not prime. Res64: B8B0DD2E9F857B06 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:36] 663*2^1401798-1 is not prime. Res64: 998DBC6CB1C90B0F Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:37] 677*2^1401798-1 is not prime. Res64: 159CF5A6A3CD262E Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:37] 725*2^1401798-1 is not prime. Res64: 9E4C07D615F4AFA5 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:38] 791*2^1401798-1 is not prime. Res64: 08CC2B553331676E Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:38] 797*2^1401798-1 is not prime. Res64: 6EA9A0FB4E686F87 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:11:39] 821*2^1401798-1 is not prime. Res64: 4718016DBD8EA065 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:07] 615*2^1401800-1 is not prime. Res64: D4894AB44AE36FF3 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:07] 729*2^1401800-1 is not prime. Res64: 7EDF5CB866E90E4A Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:07] 993*2^1401799-1 is not prime. Res64: C78671A302549436 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:08] 999*2^1401799-1 is not prime. Res64: 86056EF915E7420E Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:08] 789*2^1401799-1 is not prime. Res64: 5620E5801DCDF066 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:29:09] 885*2^1401799-1 is not prime. Res64: 0E421E69CB90EFC4 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:27] 813*2^1401800-1 is not prime. Res64: 5BE9C0FF847A534D Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:27] 963*2^1401800-1 is not prime. Res64: C0157DA8FBFE7B63 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:28] 995*2^1401800-1 is not prime. Res64: 342E30D8F455D565 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:28] 607*2^1401801-1 is not prime. Res64: 64CBC3B442E72151 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:29] 625*2^1401801-1 is not prime. Res64: D201A9A671AA3593 Time : 0.0 sec. user=mdettweiler [2015-06-30 12:46:29] 649*2^1401801-1 is not prime. Res64: 8FE1819354739238 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:49] 669*2^1401801-1 is not prime. Res64: D7F0C856BE92D959 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:49] 745*2^1401801-1 is not prime. Res64: E3C4690CE002CDFF Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:51] 691*2^1401801-1 is not prime. Res64: 1A9C5F13658011BE Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:51] 717*2^1401802-1 is not prime. Res64: 1A91C24E2A9B2FC3 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:52] 947*2^1401802-1 is not prime. Res64: C21A5582EE770862 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:03:53] 663*2^1401803-1 is not prime. Res64: 9363725CD2D9F1F5 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:46] 685*2^1401803-1 is not prime. Res64: E824377BEE96D0E2 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:47] 955*2^1401803-1 is not prime. Res64: 5BB39B13F7CE5A85 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:49] 943*2^1401803-1 is not prime. Res64: 5F2E55EB2B729540 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:49] 627*2^1401804-1 is not prime. Res64: 9B94FCAC4F9F3F84 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:49] 693*2^1401804-1 is not prime. Res64: A444475EA945BF78 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:21:49] 665*2^1401804-1 is not prime. Res64: C6E6553B4F204431 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:11] 903*2^1401804-1 is not prime. Res64: 1220864ABA7C6F4D Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:11] 651*2^1401805-1 is not prime. Res64: 1DBFF9F233E9A5DC Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:11] 661*2^1401805-1 is not prime. Res64: 54435F62BA8A69C4 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:12] 721*2^1401805-1 is not prime. Res64: A4A0506339EE8590 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:12] 831*2^1401805-1 is not prime. Res64: CAACE4D0C8EF1F40 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:39:13] 849*2^1401805-1 is not prime. Res64: 533BBE035B700788 Time : 0.0 sec. user=juhehe [2015-06-30 13:44:41] 765*2^1401804-1 is not prime. Res64: E4B26206500E9EA5 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:32] 645*2^1401806-1 is not prime. Res64: AB3D3CFA0C8D2972 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:32] 671*2^1401806-1 is not prime. Res64: 3A2F4B52AE6B5995 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:35] 683*2^1401806-1 is not prime. Res64: 6A26610A6E32FCAF Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:35] 713*2^1401806-1 is not prime. Res64: C892B78CA8C22F87 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:36] 915*2^1401805-1 is not prime. Res64: DDC0CFA94EC90641 Time : 0.0 sec. user=mdettweiler [2015-06-30 13:56:36] 919*2^1401805-1 is not prime. Res64: CC861C67902392E8 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:53] 827*2^1401806-1 is not prime. Res64: 1BD35B930C7CCDF9 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:54] 873*2^1401806-1 is not prime. Res64: 1CDE231EC3CC4BA2 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:55] 703*2^1401807-1 is not prime. Res64: 5750C825B6F3BAF9 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:56] 735*2^1401807-1 is not prime. Res64: A371070E5D695B7E Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:58] 775*2^1401807-1 is not prime. Res64: 9F78AACB21526A9F Time : 0.0 sec. user=mdettweiler [2015-06-30 14:13:59] 945*2^1401807-1 is not prime. Res64: 1714CC897D60595E Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:18] 973*2^1401807-1 is not prime. Res64: B64E44EF4FDF39E9 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:19] 665*2^1401808-1 is not prime. Res64: 6E42E6C02B1D62FA Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:19] 707*2^1401808-1 is not prime. Res64: C822BD6F5F38CFDC Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:19] 827*2^1401808-1 is not prime. Res64: 594DB43EB9086BCF Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:19] 773*2^1401808-1 is not prime. Res64: 5E4CD7D418786D35 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:31:20] 855*2^1401808-1 is not prime. Res64: 4C8EE8B00961F252 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:41] 887*2^1401808-1 is not prime. Res64: C10D9F20002D3856 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:41] 959*2^1401808-1 is not prime. Res64: DEBA2B1D54B11C09 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:43] 771*2^1401809-1 is not prime. Res64: 5F0F93C256DB4F11 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:43] 847*2^1401809-1 is not prime. Res64: 60D0D7AAE1213A5F Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:45] 657*2^1401809-1 is not prime. Res64: 6AE98F0421A1F367 Time : 0.0 sec. user=mdettweiler [2015-06-30 14:48:45] 727*2^1401809-1 is not prime. Res64: 79D4849815723B42 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:02] 717*2^1401810-1 is not prime. Res64: AA2C48D53F16734E Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:03] 767*2^1401810-1 is not prime. Res64: C06E3F237129C940 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:03] 801*2^1401810-1 is not prime. Res64: F2653AB88405B22C Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:04] 905*2^1401810-1 is not prime. Res64: 3531E505235ED25C Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:06] 941*2^1401810-1 is not prime. Res64: 02628B41432BF1D4 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:06:06] 945*2^1401810-1 is not prime. Res64: 1695EFAC96FC82A3 Time : 0.0 sec. user=juhehe [2015-06-30 15:19:01] 945*2^1401809-1 is not prime. Res64: 756BFEF51C258E23 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:28] 871*2^1401811-1 is not prime. Res64: E15599E659D973D3 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:29] 909*2^1401811-1 is not prime. Res64: EE2331DF7CE131D0 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:29] 673*2^1401811-1 is not prime. Res64: 76FA622E68479E2F Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:29] 859*2^1401811-1 is not prime. Res64: 0A57967F140B2693 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:30] 735*2^1401811-1 is not prime. Res64: FF77DA35113EEC7A Time : 0.0 sec. user=mdettweiler [2015-06-30 15:23:30] 603*2^1401812-1 is not prime. Res64: 320EB85B61156CBC Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:51] 605*2^1401812-1 is not prime. Res64: 6E4AE29AC7C51C31 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:51] 677*2^1401812-1 is not prime. Res64: AD7170632FF169EE Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:52] 699*2^1401812-1 is not prime. Res64: 32358F9059871C68 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:52] 759*2^1401812-1 is not prime. Res64: 01976423B519F549 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:53] 767*2^1401812-1 is not prime. Res64: 79E922859D17C44A Time : 0.0 sec. user=mdettweiler [2015-06-30 15:40:53] 833*2^1401812-1 is not prime. Res64: A8F56202F4A5B2E7 Time : 0.0 sec. user=S_K_ [2015-06-30 15:52:18] 651*2^1401811-1 is not prime. Res64: E0122023103799CF Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:13] 899*2^1401812-1 is not prime. Res64: 0A2A91729471F93D Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:14] 957*2^1401812-1 is not prime. Res64: 2748FA83EF9E632B Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:14] 657*2^1401813-1 is not prime. Res64: 3B83CAAE9518E086 Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:14] 735*2^1401813-1 is not prime. Res64: F021771E0894BD0C Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:15] 769*2^1401813-1 is not prime. Res64: 86B4D2ADE976A9FF Time : 0.0 sec. user=mdettweiler [2015-06-30 15:58:15] 847*2^1401813-1 is not prime. Res64: F0751085EFF2A883 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:36] 773*2^1401814-1 is not prime. Res64: 653AE6C6B06BF4DD Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:37] 983*2^1401814-1 is not prime. Res64: 28488ED7F3230B53 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:37] 707*2^1401814-1 is not prime. Res64: 5344E01668994AD5 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:38] 717*2^1401814-1 is not prime. Res64: C6F6C5D4CC407685 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:40] 671*2^1401814-1 is not prime. Res64: 4F99FF39FFBE9CCE Time : 0.0 sec. user=mdettweiler [2015-06-30 16:15:40] 687*2^1401814-1 is not prime. Res64: AF1D80720637C1E6 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:02] 693*2^1401815-1 is not prime. Res64: F60F8FAF00ABF04E Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:02] 963*2^1401815-1 is not prime. Res64: 7877B30E4A655674 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:03] 889*2^1401815-1 is not prime. Res64: 9B4E32744978E386 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:04] 623*2^1401816-1 is not prime. Res64: BCD832690B44F029 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:05] 837*2^1401816-1 is not prime. Res64: 3EBBCB1409494F11 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:33:05] 887*2^1401816-1 is not prime. Res64: 77F521921C77D36E Time : 0.0 sec. user=S_K_ [2015-06-30 16:39:54] 657*2^1401814-1 is not prime. Res64: C7EC31E1087D55AA Time : 0.0 sec. user=juhehe [2015-06-30 16:41:18] 651*2^1401815-1 is not prime. Res64: C78FCC588D83A5C5 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:24] 861*2^1401817-1 is not prime. Res64: 0D5F79CE4006C539 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:24] 637*2^1401817-1 is not prime. Res64: 446B2B110F41AF20 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:24] 775*2^1401817-1 is not prime. Res64: 7EF48704C01D128B Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:24] 705*2^1401818-1 is not prime. Res64: C554B8C1B7CE058A Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:29] 711*2^1401818-1 is not prime. Res64: A29D7C813CA91F80 Time : 0.0 sec. user=mdettweiler [2015-06-30 16:50:29] 857*2^1401818-1 is not prime. Res64: 7395663391F6E7E5 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:45] 951*2^1401818-1 is not prime. Res64: 7DFF245CDA43204A Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:45] 995*2^1401818-1 is not prime. Res64: 233F9645F25CDE04 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:45] 977*2^1401818-1 is not prime. Res64: AD2D50EB3700898C Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:45] 625*2^1401819-1 is not prime. Res64: 039D3CEF9C062454 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:49] 795*2^1401819-1 is not prime. Res64: 11AA0263DC460AB4 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:07:50] 943*2^1401819-1 is not prime. Res64: AB61658010686B92 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:17] 615*2^1401820-1 is not prime. Res64: 98F7772AF912B83D Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:17] 845*2^1401820-1 is not prime. Res64: E55A1708E2C36FF8 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:17] 665*2^1401820-1 is not prime. Res64: D88A37DC8814A7A9 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:17] 875*2^1401820-1 is not prime. Res64: 159EDED0DA63263A Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:19] 887*2^1401820-1 is not prime. Res64: BDC2D3042FE63BFB Time : 0.0 sec. user=mdettweiler [2015-06-30 17:25:19] 691*2^1401821-1 is not prime. Res64: D6941E25DC704EEC Time : 0.0 sec. user=juhehe [2015-06-30 17:36:55] 887*2^1401818-1 is not prime. Res64: D1E8A92532B01750 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:55] 717*2^1401822-1 is not prime. Res64: EE72753D15430893 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:55] 767*2^1401822-1 is not prime. Res64: D20FB02EBB67072B Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:56] 901*2^1401821-1 is not prime. Res64: FA38F7D9ABF990EA Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:56] 991*2^1401821-1 is not prime. Res64: A253332D031116B6 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:59] 697*2^1401821-1 is not prime. Res64: 6A67F121B72AA8A6 Time : 0.0 sec. user=mdettweiler [2015-06-30 17:42:59] 727*2^1401821-1 is not prime. Res64: DB200155D21B20E3 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:38] 893*2^1401822-1 is not prime. Res64: DC8C734CF3F56838 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:38] 903*2^1401822-1 is not prime. Res64: 80E9E073ADCDE6A3 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:45] 1001*2^1401822-1 is not prime. Res64: F2264B2C3335DF98 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:46] 849*2^1401823-1 is not prime. Res64: BBD369668472DB08 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:49] 871*2^1401823-1 is not prime. Res64: B4604CC29CE1B7A9 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:00:49] 925*2^1401823-1 is not prime. Res64: 1DE2D271CEFABF9F Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:30] 665*2^1401824-1 is not prime. Res64: 90E0BCE860CF673F Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:30] 873*2^1401824-1 is not prime. Res64: 08BE2F7012AC82F9 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:37] 711*2^1401825-1 is not prime. Res64: 4CAB3942D7825D2C Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:37] 741*2^1401825-1 is not prime. Res64: 7A6505B01633E3BB Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:40] 889*2^1401825-1 is not prime. Res64: 7D67A758435717FF Time : 0.0 sec. user=mdettweiler [2015-06-30 18:18:40] 975*2^1401825-1 is not prime. Res64: C115F4EB4AC8BC6D Time : 0.0 sec. user=mdettweiler [2015-06-30 18:35:54] 609*2^1401827-1 is not prime. Res64: 2C4DE0EC8FF763FC Time : 0.0 sec. user=mdettweiler [2015-06-30 18:35:55] 651*2^1401827-1 is not prime. Res64: 502BBA393829A4C1 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:35:57] 703*2^1401827-1 is not prime. Res64: B58649C80C09E708 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:35:58] 813*2^1401827-1 is not prime. Res64: 522D4189701539E7 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:36:04] 825*2^1401827-1 is not prime. Res64: 869E23DF2D02F13E Time : 0.0 sec. user=mdettweiler [2015-06-30 18:36:05] 843*2^1401827-1 is not prime. Res64: F0CB403355B19A64 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:24] 871*2^1401827-1 is not prime. Res64: 042F3702BF22C571 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:25] 883*2^1401827-1 is not prime. Res64: 398FA19F8094B590 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:27] 909*2^1401827-1 is not prime. Res64: DED17D6BB43DF914 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:28] 639*2^1401828-1 is not prime. Res64: D70AE570F0C5A7F3 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:34] 773*2^1401828-1 is not prime. Res64: 91FD1B3888D2DB34 Time : 0.0 sec. user=mdettweiler [2015-06-30 18:53:35] 977*2^1401828-1 is not prime. Res64: A13103DB29A959FE Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:44] 625*2^1401829-1 is not prime. Res64: 0B2F83747F0FCD3E Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:45] 819*2^1401829-1 is not prime. Res64: 51F62D0EC31371A4 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:47] 855*2^1401829-1 is not prime. Res64: C61BEBE269B6470A Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:47] 895*2^1401829-1 is not prime. Res64: 5EDA36917014B606 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:54] 897*2^1401829-1 is not prime. Res64: 86180D76C25F6FC2 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:10:55] 919*2^1401829-1 is not prime. Res64: BF8EED368ADB21E0 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:08] 931*2^1401829-1 is not prime. Res64: 5E68D3BA1C48ED43 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:08] 955*2^1401829-1 is not prime. Res64: 28CA5316EAD0A47F Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:09] 603*2^1401830-1 is not prime. Res64: 92E577AED537AFD9 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:09] 813*2^1401830-1 is not prime. Res64: 9ED436F1B31B8CAA Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:18] 827*2^1401830-1 is not prime. Res64: CBCA6116D648ECBC Time : 0.0 sec. user=mdettweiler [2015-06-30 19:28:19] 885*2^1401830-1 is not prime. Res64: 5B5430A4CE99D847 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:27] 615*2^1401831-1 is not prime. Res64: EC35CF130C9774E2 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:27] 741*2^1401831-1 is not prime. Res64: 019655E262B0F9A7 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:28] 819*2^1401831-1 is not prime. Res64: 6FC2B58D761A9741 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:28] 975*2^1401831-1 is not prime. Res64: 4760D130EE7C8D0B Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:37] 979*2^1401831-1 is not prime. Res64: BF13C13F6901E222 Time : 0.0 sec. user=mdettweiler [2015-06-30 19:45:38] 999*2^1401831-1 is not prime. Res64: 41C2A4D53CB3558A Time : 0.0 sec. user=juhehe [2015-06-30 20:00:15] 921*2^1401830-1 is not prime. Res64: 6AC4E93D05377448 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:47] 765*2^1401832-1 is not prime. Res64: EAF4F41B068D77D6 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:48] 875*2^1401832-1 is not prime. Res64: 8394E727E7298F63 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:49] 843*2^1401832-1 is not prime. Res64: 269D2F4479BF83EB Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:49] 975*2^1401832-1 is not prime. Res64: 39CCDCB66D8DB4AC Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:57] 627*2^1401833-1 is not prime. Res64: 3620A2CF01BC270F Time : 0.0 sec. user=mdettweiler [2015-06-30 20:02:59] 649*2^1401833-1 is not prime. Res64: CC8F2C910F7CB55B Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:33] 691*2^1401833-1 is not prime. Res64: 57A0F8A444FF7EC4 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:33] 937*2^1401833-1 is not prime. Res64: 59762C77B865FF41 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:34] 885*2^1401833-1 is not prime. Res64: C5AED91380AB6714 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:34] 967*2^1401833-1 is not prime. Res64: 31715A8D68820BFA Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:36] 987*2^1401833-1 is not prime. Res64: 72F1041A3177CB00 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:20:36] 681*2^1401834-1 is not prime. Res64: E3E36D34E01A2D2B Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:54] 825*2^1401834-1 is not prime. Res64: 3B0CDFE6F39A274B Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:54] 921*2^1401834-1 is not prime. Res64: C7CD211ACB6F27CE Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:54] 783*2^1401834-1 is not prime. Res64: 0CF777CAE32284CE Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:55] 923*2^1401834-1 is not prime. Res64: 40C9FEB1C9EFB898 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:55] 803*2^1401834-1 is not prime. Res64: 2AC03708C6A8505C Time : 0.0 sec. user=mdettweiler [2015-06-30 20:37:55] 645*2^1401835-1 is not prime. Res64: 58C99CC80CFF65AB Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:14] 649*2^1401835-1 is not prime. Res64: CC4351DE62B85685 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:15] 759*2^1401835-1 is not prime. Res64: B1E4095E82C64003 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:17] 973*2^1401835-1 is not prime. Res64: 6924AD1316A12998 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:17] 707*2^1401836-1 is not prime. Res64: 12A53CAB410010D4 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:19] 853*2^1401835-1 is not prime. Res64: F7750E2602CAAEF9 Time : 0.0 sec. user=mdettweiler [2015-06-30 20:55:19] 895*2^1401835-1 is not prime. Res64: 39AACBA4EBFCEF99 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:36] 893*2^1401836-1 is not prime. Res64: FAF9CC2D468E3518 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:36] 963*2^1401836-1 is not prime. Res64: 033ED7532EF164FA Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:38] 709*2^1401837-1 is not prime. Res64: C5983A1A8423A156 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:39] 751*2^1401837-1 is not prime. Res64: D694C8176576A78F Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:39] 717*2^1401836-1 is not prime. Res64: 822A47A35A50C738 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:12:40] 845*2^1401836-1 is not prime. Res64: BC04C348E79AFA92 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:57] 781*2^1401837-1 is not prime. Res64: 037FA6542461269B Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:58] 829*2^1401837-1 is not prime. Res64: A9FBBC16F67DF341 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:58] 837*2^1401837-1 is not prime. Res64: 504D38005D0BF614 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:59] 867*2^1401837-1 is not prime. Res64: 5CAEB4A2B5A5DEB8 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:59] 937*2^1401837-1 is not prime. Res64: 6B90827282CF9B0E Time : 0.0 sec. user=mdettweiler [2015-06-30 21:29:59] 605*2^1401838-1 is not prime. Res64: 010E32B7899D4130 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:18] 621*2^1401838-1 is not prime. Res64: 56D80FA766808D0F Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:18] 731*2^1401838-1 is not prime. Res64: FC2CE585AC615B4D Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:19] 765*2^1401838-1 is not prime. Res64: 89A078A2062995FC Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:19] 831*2^1401838-1 is not prime. Res64: 13211B1C0BD93CE2 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:20] 861*2^1401838-1 is not prime. Res64: DCA46D4E888031F5 Time : 0.0 sec. user=mdettweiler [2015-06-30 21:47:20] 945*2^1401838-1 is not prime. Res64: D26D5552D08432D6 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:36] 843*2^1401839-1 is not prime. Res64: 584B10312A5F3A05 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:38] 909*2^1401839-1 is not prime. Res64: BF06A0C715FB2067 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:39] 913*2^1401839-1 is not prime. Res64: 392D9122CC45CE19 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:40] 943*2^1401839-1 is not prime. Res64: EA6C719EA42DFEF7 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:42] 973*2^1401839-1 is not prime. Res64: E282C1A58498BCE4 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:04:44] 665*2^1401840-1 is not prime. Res64: 9F8CAE5AD43F19DC Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:28] 759*2^1401840-1 is not prime. Res64: F8A0C68613295689 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:29] 779*2^1401840-1 is not prime. Res64: 1A95AB9DD94D19FC Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:30] 945*2^1401840-1 is not prime. Res64: E45C6CBEB189FB80 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:31] 607*2^1401841-1 is not prime. Res64: 6ADE26F12D1C5B2E Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:32] 705*2^1401841-1 is not prime. Res64: 45F8BA9EB41E3B7D Time : 0.0 sec. user=mdettweiler [2015-06-30 22:22:33] 715*2^1401841-1 is not prime. Res64: 32D869EA49F4670A Time : 0.0 sec. user=juhehe [2015-06-30 22:29:27] 621*2^1401839-1 is not prime. Res64: 37DBD1B0BF88D73A Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:52] 799*2^1401841-1 is not prime. Res64: D0D7704419F5C600 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:53] 855*2^1401841-1 is not prime. Res64: D6E9D2B799FFB3B4 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:55] 931*2^1401841-1 is not prime. Res64: D5BB2A4D4E1C875A Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:56] 975*2^1401841-1 is not prime. Res64: F04EB58D8425C89C Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:57] 671*2^1401842-1 is not prime. Res64: 254D952325099B27 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:39:58] 755*2^1401842-1 is not prime. Res64: E6E9BE86B50ADE13 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:12] 837*2^1401842-1 is not prime. Res64: 5233F9A764BF3F93 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:13] 875*2^1401842-1 is not prime. Res64: A81D8D420FC8C2BD Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:14] 983*2^1401842-1 is not prime. Res64: B39287022454C62B Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:15] 1001*2^1401842-1 is not prime. Res64: 4E9F687DC39D2F92 Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:25] 675*2^1401843-1 is not prime. Res64: E56B2C11309C613D Time : 0.0 sec. user=mdettweiler [2015-06-30 22:57:26] 705*2^1401843-1 is not prime. Res64: 0A1E7AE24D83F13C Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:32] 835*2^1401843-1 is not prime. Res64: 3C0EEE6F3612DCBA Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:33] 853*2^1401843-1 is not prime. Res64: 18183005353A0D92 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:35] 961*2^1401843-1 is not prime. Res64: 6EDFD7A941679D74 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:35] 985*2^1401843-1 is not prime. Res64: 8DEBAF4B37E1FF1B Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:45] 605*2^1401844-1 is not prime. Res64: 6EB2B0CD2B6D72DC Time : 0.0 sec. user=mdettweiler [2015-06-30 23:14:45] 609*2^1401844-1 is not prime. Res64: 36D7527D6B944437 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:31:56] 615*2^1401844-1 is not prime. Res64: D4779887CE038526 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:31:56] 617*2^1401844-1 is not prime. Res64: C1A7012604B299CA Time : 0.0 sec. user=mdettweiler [2015-06-30 23:31:57] 629*2^1401844-1 is not prime. Res64: 796A40795DD96371 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:31:57] 635*2^1401844-1 is not prime. Res64: 5C231C7E3CDACB88 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:32:08] 693*2^1401844-1 is not prime. Res64: DCF655B8E7A60642 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:32:09] 743*2^1401844-1 is not prime. Res64: 51BC3451B1E2A657 Time : 0.0 sec. user=S_K_ [2015-06-30 23:38:20] 765*2^1401843-1 is not prime. Res64: 1914767276E11D91 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:15] 759*2^1401844-1 is not prime. Res64: 1A5087684C509F1C Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:15] 885*2^1401844-1 is not prime. Res64: D4EC4D9BF5F3892E Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:15] 843*2^1401844-1 is not prime. Res64: 0A30809A98B5243D Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:15] 897*2^1401844-1 is not prime. Res64: 5354A1703E6A2FE4 Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:27] 993*2^1401844-1 is not prime. Res64: 0C14900069A3FA5F Time : 0.0 sec. user=mdettweiler [2015-06-30 23:49:27] 655*2^1401845-1 is not prime. Res64: 6E3C5284D04BCF2C Time : 0.0 sec.