user=mdettweiler [2015-05-11 00:01:50] 825*2^1398707-1 is not prime. Res64: A986422D2BFE78EC Time : 0.0 sec. user=mdettweiler [2015-05-11 00:01:50] 841*2^1398707-1 is not prime. Res64: 6BAC8447F371781A Time : 0.0 sec. user=mdettweiler [2015-05-11 00:01:59] 619*2^1398707-1 is not prime. Res64: AEF67F0ECACFA147 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:01:59] 813*2^1398707-1 is not prime. Res64: 8741E04D16946858 Time : 0.0 sec. user=juhehe [2015-05-11 00:05:30] 651*2^1398706-1 is not prime. Res64: 5A6DE69DC1CE206E Time : 0.0 sec. user=mdettweiler [2015-05-11 00:11:34] 879*2^1398707-1 is not prime. Res64: 5913DC039B480F52 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:11:34] 883*2^1398707-1 is not prime. Res64: 1AE7549E22E96DAB Time : 0.0 sec. user=mdettweiler [2015-05-11 00:15:40] 901*2^1398707-1 is not prime. Res64: CEAB0F43ACB298F7 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:15:40] 915*2^1398707-1 is not prime. Res64: 2F76B1C8C3063CCB Time : 0.0 sec. user=mdettweiler [2015-05-11 00:20:28] 973*2^1398707-1 is not prime. Res64: 4B55AAD3EA58D88E Time : 0.0 sec. user=mdettweiler [2015-05-11 00:20:29] 707*2^1398708-1 is not prime. Res64: 6603BE4D1862D5A2 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:20:36] 773*2^1398708-1 is not prime. Res64: D91B319D1B6E5316 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:20:37] 783*2^1398708-1 is not prime. Res64: E2FA3B9F84CBA766 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:30:05] 809*2^1398708-1 is not prime. Res64: 8404251A81C84EC7 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:30:06] 825*2^1398708-1 is not prime. Res64: AD5A4B23224D1E34 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:34:14] 867*2^1398708-1 is not prime. Res64: 98F361738EA12F09 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:34:14] 927*2^1398708-1 is not prime. Res64: 585E6B732F7A2ADA Time : 0.0 sec. user=mdettweiler [2015-05-11 00:39:03] 929*2^1398708-1 is not prime. Res64: 5B78F4AA31603CDB Time : 0.0 sec. user=mdettweiler [2015-05-11 00:39:03] 667*2^1398709-1 is not prime. Res64: E61D4E34FCFE7A16 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:39:04] 691*2^1398709-1 is not prime. Res64: D2ACF5EB8A182FE7 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:39:04] 729*2^1398709-1 is not prime. Res64: 7D0ECF5FC99433E2 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:48:45] 769*2^1398709-1 is not prime. Res64: 8ADC405408D716B7 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:48:46] 829*2^1398709-1 is not prime. Res64: 2479B3DA5FFB1E90 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:53:22] 831*2^1398709-1 is not prime. Res64: 81025272DF25C161 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:53:22] 847*2^1398709-1 is not prime. Res64: 429CDFDF959FFEDF Time : 0.0 sec. user=mdettweiler [2015-05-11 00:57:37] 951*2^1398709-1 is not prime. Res64: B4C7F4ADB7CABA75 Time : 0.0 sec. user=mdettweiler [2015-05-11 00:57:37] 961*2^1398709-1 is not prime. Res64: CDB8B311BD1A86DD Time : 0.0 sec. user=mdettweiler [2015-05-11 00:57:47] 967*2^1398709-1 is not prime. Res64: 96EF3BB0EE7D65CD Time : 0.0 sec. user=mdettweiler [2015-05-11 00:57:47] 999*2^1398709-1 is not prime. Res64: A89C50E222AE04AD Time : 0.0 sec. user=mdettweiler [2015-05-11 01:07:27] 645*2^1398710-1 is not prime. Res64: E9A556F0B4C95608 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:07:27] 677*2^1398710-1 is not prime. Res64: 9A7AFC8F93C75960 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:12:34] 923*2^1398710-1 is not prime. Res64: C9E180B452E979D6 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:12:34] 965*2^1398710-1 is not prime. Res64: CE5F9AF9FFD2382B Time : 0.0 sec. user=mdettweiler [2015-05-11 01:16:35] 661*2^1398711-1 is not prime. Res64: 4F9D49BE0B695DC6 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:16:35] 675*2^1398711-1 is not prime. Res64: EB848D57FF54EF84 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:16:51] 679*2^1398711-1 is not prime. Res64: 0AD542FAEEAFE826 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:16:52] 781*2^1398711-1 is not prime. Res64: 6EAB93A076830269 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:26:01] 783*2^1398711-1 is not prime. Res64: F771CAAE492F6ADB Time : 0.0 sec. user=mdettweiler [2015-05-11 01:26:02] 879*2^1398711-1 is not prime. Res64: 6623E01E935B9CEC Time : 0.0 sec. user=mdettweiler [2015-05-11 01:30:33] 931*2^1398711-1 is not prime. Res64: 632AEF7CCC4E984F Time : 0.0 sec. user=mdettweiler [2015-05-11 01:30:33] 969*2^1398711-1 is not prime. Res64: 98B1CCB13236D3A5 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:34:24] 675*2^1398712-1 is not prime. Res64: 6DF9F59EB6B0CB42 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:34:24] 687*2^1398712-1 is not prime. Res64: E2DB054B7A6BF0DD Time : 0.0 sec. user=mdettweiler [2015-05-11 01:34:39] 717*2^1398712-1 is not prime. Res64: E2A08C693F6A7717 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:34:40] 735*2^1398712-1 is not prime. Res64: AFD07477EDE7CD02 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:43:37] 819*2^1398712-1 is not prime. Res64: 43AE80F8FC17300A Time : 0.0 sec. user=mdettweiler [2015-05-11 01:43:37] 825*2^1398712-1 is not prime. Res64: 9C55FB7480AC317A Time : 0.0 sec. user=mdettweiler [2015-05-11 01:48:03] 863*2^1398712-1 is not prime. Res64: 73969C4A5B0C20BE Time : 0.0 sec. user=mdettweiler [2015-05-11 01:48:03] 909*2^1398712-1 is not prime. Res64: CDB2EA64878446D4 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:51:54] 983*2^1398712-1 is not prime. Res64: 723C625CA96AB6CF Time : 0.0 sec. user=mdettweiler [2015-05-11 01:51:54] 787*2^1398713-1 is not prime. Res64: E285CBA42F6EF946 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:52:12] 811*2^1398713-1 is not prime. Res64: 9D93F5E291DCC255 Time : 0.0 sec. user=mdettweiler [2015-05-11 01:52:12] 615*2^1398714-1 is not prime. Res64: 3DD293B93644D358 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:01:15] 621*2^1398714-1 is not prime. Res64: 16D6042BA6EC3FD4 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:01:16] 711*2^1398714-1 is not prime. Res64: 7023A73BAA6E49A2 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:05:40] 767*2^1398714-1 is not prime. Res64: 03AC4283DD48FAAD Time : 0.0 sec. user=mdettweiler [2015-05-11 02:05:41] 815*2^1398714-1 is not prime. Res64: 4530B96EFE5ADC7C Time : 0.0 sec. user=mdettweiler [2015-05-11 02:09:21] 833*2^1398714-1 is not prime. Res64: 33DF42164A7E1199 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:09:22] 873*2^1398714-1 is not prime. Res64: 5251796A5B9D06CB Time : 0.0 sec. user=mdettweiler [2015-05-11 02:09:40] 881*2^1398714-1 is not prime. Res64: D18EDE901D6B95D1 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:09:40] 917*2^1398714-1 is not prime. Res64: 924AF903DBFB650A Time : 0.0 sec. user=mdettweiler [2015-05-11 02:18:50] 951*2^1398714-1 is not prime. Res64: 29AF12E6776965FE Time : 0.0 sec. user=mdettweiler [2015-05-11 02:18:51] 971*2^1398714-1 is not prime. Res64: 7395BE599666315B Time : 0.0 sec. user=mdettweiler [2015-05-11 02:24:04] 609*2^1398715-1 is not prime. Res64: 41DA306F84C689DC Time : 0.0 sec. user=mdettweiler [2015-05-11 02:24:05] 633*2^1398715-1 is not prime. Res64: E5E76B926BD22B72 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:27:53] 639*2^1398715-1 is not prime. Res64: FFCEC44B56D5A0E4 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:27:53] 723*2^1398715-1 is not prime. Res64: 0C7562F369DF2763 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:27:56] 759*2^1398715-1 is not prime. Res64: 4E5DAD0B931846C1 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:27:56] 783*2^1398715-1 is not prime. Res64: 57972DD9CF66D16C Time : 0.0 sec. user=mdettweiler [2015-05-11 02:37:01] 841*2^1398715-1 is not prime. Res64: 23B658B252BC0682 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:37:01] 849*2^1398715-1 is not prime. Res64: 9328CC66678E12C9 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:41:34] 909*2^1398715-1 is not prime. Res64: C2FA887D2837DB51 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:41:35] 913*2^1398715-1 is not prime. Res64: 45166D4D9BFE0022 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:45:27] 943*2^1398715-1 is not prime. Res64: 2D80672C43458A26 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:45:28] 623*2^1398716-1 is not prime. Res64: 789EAF86D27DF1D1 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:45:31] 635*2^1398716-1 is not prime. Res64: BEC5E62CF5448F70 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:45:31] 683*2^1398716-1 is not prime. Res64: 0FE877BE755E0CB7 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:54:35] 693*2^1398716-1 is not prime. Res64: CA7F411BFC96AC20 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:54:36] 735*2^1398716-1 is not prime. Res64: 4DC2E051DBB77F29 Time : 0.0 sec. user=mdettweiler [2015-05-11 02:59:01] 833*2^1398716-1 is not prime. Res64: E4859D1E41F415CE Time : 0.0 sec. user=mdettweiler [2015-05-11 02:59:01] 903*2^1398716-1 is not prime. Res64: C657DDF4BBC8AFED Time : 0.0 sec. user=mdettweiler [2015-05-11 03:03:03] 901*2^1398717-1 is not prime. Res64: 1925376AB51D85F9 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:03:03] 717*2^1398717-1 is not prime. Res64: 80B4EF2D79E2B692 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:03:04] 979*2^1398717-1 is not prime. Res64: EFB284F5B14E3F68 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:03:04] 847*2^1398717-1 is not prime. Res64: F72ED9A7D6F1A87A Time : 0.0 sec. user=mdettweiler [2015-05-11 03:12:04] 747*2^1398718-1 is not prime. Res64: 7E848EABFD242FDD Time : 0.0 sec. user=mdettweiler [2015-05-11 03:12:04] 833*2^1398718-1 is not prime. Res64: 541A9A8EE1B520EE Time : 0.0 sec. user=mdettweiler [2015-05-11 03:16:30] 981*2^1398718-1 is not prime. Res64: C870297C1D8C0641 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:16:30] 1001*2^1398718-1 is not prime. Res64: B17AA73195C2F99E Time : 0.0 sec. user=mdettweiler [2015-05-11 03:20:48] 609*2^1398719-1 is not prime. Res64: B74220FECCFC06AE Time : 0.0 sec. user=mdettweiler [2015-05-11 03:20:48] 645*2^1398719-1 is not prime. Res64: 198C23691096554E Time : 0.0 sec. user=mdettweiler [2015-05-11 03:20:51] 759*2^1398719-1 is not prime. Res64: 840D9E648F7498D0 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:20:51] 841*2^1398719-1 is not prime. Res64: E2102F56E654FDB8 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:29:40] 913*2^1398719-1 is not prime. Res64: B1A3AD101D9FA883 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:29:42] 955*2^1398719-1 is not prime. Res64: 3B27AACB6C46859D Time : 0.0 sec. user=mdettweiler [2015-05-11 03:34:05] 627*2^1398720-1 is not prime. Res64: 3CF4AA0A1FE5D117 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:34:06] 635*2^1398720-1 is not prime. Res64: F38E08BFE5585A37 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:38:22] 693*2^1398720-1 is not prime. Res64: F6685BD21F89224D Time : 0.0 sec. user=mdettweiler [2015-05-11 03:38:23] 725*2^1398720-1 is not prime. Res64: 461DAE99DB5DCC7D Time : 0.0 sec. user=mdettweiler [2015-05-11 03:38:30] 915*2^1398720-1 is not prime. Res64: FFC3F5B7DF35F599 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:38:31] 975*2^1398720-1 is not prime. Res64: 2F715556ABD56E51 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:47:20] 649*2^1398721-1 is not prime. Res64: 078A17E730253734 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:47:21] 789*2^1398721-1 is not prime. Res64: 1DD8995FAEC8FF33 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:51:41] 945*2^1398721-1 is not prime. Res64: 79E2E91FB748799E Time : 0.0 sec. user=mdettweiler [2015-05-11 03:51:41] 957*2^1398721-1 is not prime. Res64: B53CC9AC8AB24293 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:56:03] 617*2^1398722-1 is not prime. Res64: 7880CF7EC04E39E5 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:56:04] 731*2^1398722-1 is not prime. Res64: 55F5F6DA3119FA1F Time : 0.0 sec. user=mdettweiler [2015-05-11 03:56:10] 735*2^1398722-1 is not prime. Res64: 7E522DF4D5370E56 Time : 0.0 sec. user=mdettweiler [2015-05-11 03:56:10] 887*2^1398722-1 is not prime. Res64: E4DB39EA8FFA83F7 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:04:45] 911*2^1398722-1 is not prime. Res64: C58CCF6C9E3DA33A Time : 0.0 sec. user=mdettweiler [2015-05-11 04:04:46] 915*2^1398722-1 is not prime. Res64: E248F7EA9CBE06D5 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:09:06] 921*2^1398722-1 is not prime. Res64: 90CF7B03EA92FB5C Time : 0.0 sec. user=mdettweiler [2015-05-11 04:09:07] 963*2^1398722-1 is not prime. Res64: 92750838ACD997AD Time : 0.0 sec. user=mdettweiler [2015-05-11 04:13:35] 981*2^1398722-1 is not prime. Res64: 569A85F3E7A54E02 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:13:35] 615*2^1398723-1 is not prime. Res64: 4340DEE2CD72B491 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:13:38] 723*2^1398723-1 is not prime. Res64: 4DA53416F291DFCB Time : 0.0 sec. user=mdettweiler [2015-05-11 04:13:39] 741*2^1398723-1 is not prime. Res64: 6A2A317E01302C01 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:22:32] 765*2^1398723-1 is not prime. Res64: 8B0241A7705BB64A Time : 0.0 sec. user=mdettweiler [2015-05-11 04:22:32] 789*2^1398723-1 is not prime. Res64: 28954075CA4DE6ED Time : 0.0 sec. user=mdettweiler [2015-05-11 04:26:40] 885*2^1398723-1 is not prime. Res64: 0D367368FC2968D3 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:26:40] 921*2^1398723-1 is not prime. Res64: F42538C5105E7294 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:31:03] 955*2^1398723-1 is not prime. Res64: 905B92D23BD54832 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:31:03] 875*2^1398724-1 is not prime. Res64: E1318CC1B09A0576 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:31:05] 885*2^1398724-1 is not prime. Res64: BAC021396092A45D Time : 0.0 sec. user=mdettweiler [2015-05-11 04:31:05] 939*2^1398724-1 is not prime. Res64: 487B68A0D3925329 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:40:11] 969*2^1398724-1 is not prime. Res64: 44218677D029BA11 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:40:11] 651*2^1398725-1 is not prime. Res64: 761E9E336BC3DA49 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:44:13] 721*2^1398725-1 is not prime. Res64: FAF4141968EDC01F Time : 0.0 sec. user=mdettweiler [2015-05-11 04:44:13] 735*2^1398725-1 is not prime. Res64: 06795515AE81ADB7 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:48:28] 611*2^1398726-1 is not prime. Res64: 335925716317A42A Time : 0.0 sec. user=mdettweiler [2015-05-11 04:48:28] 711*2^1398726-1 is not prime. Res64: 141C733B67A0A37C Time : 0.0 sec. user=mdettweiler [2015-05-11 04:48:34] 867*2^1398725-1 is not prime. Res64: 16A87AE3F7599449 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:48:35] 925*2^1398725-1 is not prime. Res64: CEA6E713F1CDEEE5 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:57:49] 777*2^1398726-1 is not prime. Res64: F7CA4541A05AE118 Time : 0.0 sec. user=mdettweiler [2015-05-11 04:57:50] 815*2^1398726-1 is not prime. Res64: 2FDA2DD2B8F84714 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:01:41] 971*2^1398726-1 is not prime. Res64: 8AAC2D2A20C5F28E Time : 0.0 sec. user=mdettweiler [2015-05-11 05:01:42] 663*2^1398727-1 is not prime. Res64: 7E6A1889BCAACA2D Time : 0.0 sec. user=mdettweiler [2015-05-11 05:05:58] 673*2^1398727-1 is not prime. Res64: 7A8568EBDA0BA7EC Time : 0.0 sec. user=mdettweiler [2015-05-11 05:06:00] 693*2^1398727-1 is not prime. Res64: 28BB051112971A92 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:06:02] 703*2^1398727-1 is not prime. Res64: 772769BDCD3D32A2 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:06:03] 741*2^1398727-1 is not prime. Res64: 946B9113AED47F90 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:15:20] 793*2^1398727-1 is not prime. Res64: 59926B298C12168B Time : 0.0 sec. user=mdettweiler [2015-05-11 05:15:20] 813*2^1398727-1 is not prime. Res64: 9F7F760FD81FD279 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:19:31] 861*2^1398727-1 is not prime. Res64: BCF04FFA8A58EFA5 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:19:31] 883*2^1398727-1 is not prime. Res64: 2D70E1FE6409E472 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:23:27] 885*2^1398727-1 is not prime. Res64: 9F749C6E23ADBCD8 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:23:27] 993*2^1398727-1 is not prime. Res64: 04954CE4812DCD1E Time : 0.0 sec. user=mdettweiler [2015-05-11 05:23:31] 635*2^1398728-1 is not prime. Res64: 545B2948A8B767D5 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:23:32] 663*2^1398728-1 is not prime. Res64: B13EB726C909A9B7 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:32:47] 813*2^1398728-1 is not prime. Res64: 661CE119649CCCB6 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:32:48] 657*2^1398729-1 is not prime. Res64: 7119C03687557047 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:40:57] 645*2^1398730-1 is not prime. Res64: A9E43867B8562572 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:40:58] 681*2^1398730-1 is not prime. Res64: B6E64B348CC8B46D Time : 0.0 sec. user=mdettweiler [2015-05-11 05:41:04] 919*2^1398729-1 is not prime. Res64: E9BF7EA91EE07D9C Time : 0.0 sec. user=mdettweiler [2015-05-11 05:41:05] 611*2^1398730-1 is not prime. Res64: EDE7285C6DF9562F Time : 0.0 sec. user=mdettweiler [2015-05-11 05:50:34] 735*2^1398730-1 is not prime. Res64: 25B4192F475A0799 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:50:34] 843*2^1398730-1 is not prime. Res64: 69C442DA0075FB31 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:58:32] 891*2^1398730-1 is not prime. Res64: A9C99FAA82B4CB56 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:58:32] 941*2^1398730-1 is not prime. Res64: 18A132ECEEA7B894 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:58:45] 669*2^1398731-1 is not prime. Res64: 33211911A7A006EC Time : 0.0 sec. user=mdettweiler [2015-05-11 05:58:45] 675*2^1398731-1 is not prime. Res64: 606FDA4602D8F6F1 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:59:54] 705*2^1398729-1 is not prime. Res64: EB432448986C77B7 Time : 0.0 sec. user=mdettweiler [2015-05-11 05:59:54] 741*2^1398729-1 is not prime. Res64: 14C79B60DCE0B0C2 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:08:08] 931*2^1398731-1 is not prime. Res64: 936ECB521BD9F1FA Time : 0.0 sec. user=mdettweiler [2015-05-11 06:08:08] 939*2^1398731-1 is not prime. Res64: 5C02DE2BCB8E8C99 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:16:01] 605*2^1398732-1 is not prime. Res64: C304051C35CCBB5E Time : 0.0 sec. user=mdettweiler [2015-05-11 06:16:01] 669*2^1398732-1 is not prime. Res64: 1A4BB85F9C19E63A Time : 0.0 sec. user=mdettweiler [2015-05-11 06:16:13] 825*2^1398732-1 is not prime. Res64: AA01222E5746125C Time : 0.0 sec. user=mdettweiler [2015-05-11 06:16:13] 857*2^1398732-1 is not prime. Res64: 7B5A787147225BB5 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:17:21] 947*2^1398732-1 is not prime. Res64: 18C8C10EE71F33C0 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:17:22] 685*2^1398733-1 is not prime. Res64: ADB7E25721A61980 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:25:45] 727*2^1398733-1 is not prime. Res64: 3637ED5120F0DE35 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:25:46] 747*2^1398733-1 is not prime. Res64: E48AF21200D9686D Time : 0.0 sec. user=mdettweiler [2015-05-11 06:33:26] 789*2^1398733-1 is not prime. Res64: 7FF42EA86351330B Time : 0.0 sec. user=mdettweiler [2015-05-11 06:33:26] 805*2^1398733-1 is not prime. Res64: 412EABEF26D0AC81 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:33:44] 855*2^1398733-1 is not prime. Res64: 1F817723C1ECB858 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:33:44] 925*2^1398733-1 is not prime. Res64: 6F7B34004581C41B Time : 0.0 sec. user=mdettweiler [2015-05-11 06:34:46] 939*2^1398733-1 is not prime. Res64: 38BA625048E7327E Time : 0.0 sec. user=mdettweiler [2015-05-11 06:34:46] 955*2^1398733-1 is not prime. Res64: 7E6C25902D670E78 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:43:14] 651*2^1398734-1 is not prime. Res64: 34763AD046884FEF Time : 0.0 sec. user=mdettweiler [2015-05-11 06:43:14] 657*2^1398734-1 is not prime. Res64: 96BF5FD2E842ADD9 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:50:51] 677*2^1398734-1 is not prime. Res64: 77CA01BFD1A3BD36 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:50:52] 711*2^1398734-1 is not prime. Res64: C905F7966D818274 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:51:11] 743*2^1398734-1 is not prime. Res64: 4F152F721C5D6D6E Time : 0.0 sec. user=mdettweiler [2015-05-11 06:51:12] 767*2^1398734-1 is not prime. Res64: B3D830582AFF9B8C Time : 0.0 sec. user=mdettweiler [2015-05-11 06:52:20] 791*2^1398734-1 is not prime. Res64: CE917D4DECFC5967 Time : 0.0 sec. user=mdettweiler [2015-05-11 06:52:20] 825*2^1398734-1 is not prime. Res64: 709B5B64C308D4FD Time : 0.0 sec. user=mdettweiler [2015-05-11 07:00:41] 945*2^1398734-1 is not prime. Res64: 4F6EDE99217FF7B5 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:00:42] 649*2^1398735-1 is not prime. Res64: A4ED64681735BF1C Time : 0.0 sec. user=mdettweiler [2015-05-11 07:08:22] 679*2^1398735-1 is not prime. Res64: F30EE920ED0B91C8 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:08:22] 795*2^1398735-1 is not prime. Res64: 76AD1E30149B29BC Time : 0.0 sec. user=mdettweiler [2015-05-11 07:08:36] 829*2^1398735-1 is not prime. Res64: 48EDB247C68329E6 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:08:36] 853*2^1398735-1 is not prime. Res64: 710D10C61CA76713 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:09:44] 861*2^1398735-1 is not prime. Res64: 6DC51CBA5E7E022C Time : 0.0 sec. user=mdettweiler [2015-05-11 07:09:44] 871*2^1398735-1 is not prime. Res64: 1B47CB97679F19F9 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:18:07] 969*2^1398735-1 is not prime. Res64: D0D9396355CE3E10 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:18:08] 979*2^1398735-1 is not prime. Res64: EE9A49E3B9EFB1C8 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:25:51] 985*2^1398735-1 is not prime. Res64: E5D72935D2496ABA Time : 0.0 sec. user=mdettweiler [2015-05-11 07:25:52] 779*2^1398736-1 is not prime. Res64: 634B735CA4362C65 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:26:04] 785*2^1398736-1 is not prime. Res64: E4AD8A6C8E6EDB73 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:26:04] 813*2^1398736-1 is not prime. Res64: 5AD1428A748F04CC Time : 0.0 sec. user=mdettweiler [2015-05-11 07:27:13] 839*2^1398736-1 is not prime. Res64: 865B3CF220C33925 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:27:14] 843*2^1398736-1 is not prime. Res64: 0BD65A042247F1C1 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:35:41] 849*2^1398736-1 is not prime. Res64: 2FBE87C136E1A680 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:35:42] 999*2^1398736-1 is not prime. Res64: AA485D489C8E8396 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:43:21] 627*2^1398737-1 is not prime. Res64: 79E55BAAB4F644F1 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:43:21] 631*2^1398737-1 is not prime. Res64: EF42A29F9F3FDB19 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:43:32] 759*2^1398737-1 is not prime. Res64: 3183C44616F487B5 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:43:32] 795*2^1398737-1 is not prime. Res64: 79C25C2BE68B1F14 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:44:50] 937*2^1398737-1 is not prime. Res64: A49A1E4BC9791D46 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:44:50] 711*2^1398738-1 is not prime. Res64: ED7573E1CE30AD03 Time : 0.0 sec. user=mdettweiler [2015-05-11 07:53:20] 791*2^1398738-1 is not prime. Res64: 675D9EE84B13E67F Time : 0.0 sec. user=mdettweiler [2015-05-11 07:53:20] 803*2^1398738-1 is not prime. Res64: B2DCC4CAE65FF79B Time : 0.0 sec. user=mdettweiler [2015-05-11 08:01:10] 619*2^1398739-1 is not prime. Res64: 6D155FD07ABA684F Time : 0.0 sec. user=mdettweiler [2015-05-11 08:01:12] 645*2^1398739-1 is not prime. Res64: C3C36EBF92AE56E9 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:01:13] 885*2^1398738-1 is not prime. Res64: 97638D5EDA9561D1 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:01:14] 609*2^1398739-1 is not prime. Res64: 3C66AB9BC4CA8DF1 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:02:29] 693*2^1398739-1 is not prime. Res64: 5B6E4B26B9B9D977 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:02:30] 861*2^1398739-1 is not prime. Res64: C8A5DC9C47605D80 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:10:54] 885*2^1398739-1 is not prime. Res64: 6D8CB1A6FFB270F4 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:10:55] 889*2^1398739-1 is not prime. Res64: 94D6881C58736A0A Time : 0.0 sec. user=mdettweiler [2015-05-11 08:18:36] 931*2^1398739-1 is not prime. Res64: 462277E5B2E95513 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:18:36] 979*2^1398739-1 is not prime. Res64: 74546B822B6E5E4D Time : 0.0 sec. user=mdettweiler [2015-05-11 08:18:45] 665*2^1398740-1 is not prime. Res64: D603121A3FD6A2FA Time : 0.0 sec. user=mdettweiler [2015-05-11 08:18:46] 797*2^1398740-1 is not prime. Res64: F933CE3DF55B5AAD Time : 0.0 sec. user=mdettweiler [2015-05-11 08:19:53] 803*2^1398740-1 is not prime. Res64: 9F294AE333B50036 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:19:53] 923*2^1398740-1 is not prime. Res64: 67FF2507802BCF0B Time : 0.0 sec. user=mdettweiler [2015-05-11 08:28:23] 609*2^1398741-1 is not prime. Res64: F47CD046371185E8 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:28:24] 727*2^1398741-1 is not prime. Res64: 1330E4C733A03CC6 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:36:08] 751*2^1398741-1 is not prime. Res64: A171AF32CB5FC7DA Time : 0.0 sec. user=mdettweiler [2015-05-11 08:36:09] 847*2^1398741-1 is not prime. Res64: E1688C6DC9398434 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:36:12] 921*2^1398741-1 is not prime. Res64: C666FBACA56AF9C6 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:36:13] 951*2^1398741-1 is not prime. Res64: 027EAF06882EB3BC Time : 0.0 sec. user=mdettweiler [2015-05-11 08:37:27] 621*2^1398742-1 is not prime. Res64: 76D797161EDB570C Time : 0.0 sec. user=mdettweiler [2015-05-11 08:37:27] 623*2^1398742-1 is not prime. Res64: EEAEFDB1DB732D31 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:45:57] 765*2^1398742-1 is not prime. Res64: 0AF2D4BD72F8C48F Time : 0.0 sec. user=mdettweiler [2015-05-11 08:45:57] 831*2^1398742-1 is not prime. Res64: F45430B1108FFE48 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:53:35] 881*2^1398742-1 is not prime. Res64: 97831785233327EC Time : 0.0 sec. user=mdettweiler [2015-05-11 08:53:35] 911*2^1398742-1 is not prime. Res64: F0775A9BCD96568E Time : 0.0 sec. user=mdettweiler [2015-05-11 08:53:36] 923*2^1398742-1 is not prime. Res64: E4FFD29ED9E49211 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:53:37] 947*2^1398742-1 is not prime. Res64: E29C1F33A94E8827 Time : 0.0 sec. user=mdettweiler [2015-05-11 08:54:51] 981*2^1398742-1 is not prime. Res64: 4B18A83264AC3C5D Time : 0.0 sec. user=mdettweiler [2015-05-11 08:54:51] 987*2^1398742-1 is not prime. Res64: AA621EB2C08639A4 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:03:24] 811*2^1398743-1 is not prime. Res64: E88C208B2DF6FB0E Time : 0.0 sec. user=mdettweiler [2015-05-11 09:03:25] 855*2^1398743-1 is not prime. Res64: 6DD8F57A37118AF6 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:11:03] 859*2^1398743-1 is not prime. Res64: 1783FB1CD9C21A7E Time : 0.0 sec. user=mdettweiler [2015-05-11 09:11:03] 615*2^1398744-1 is not prime. Res64: B9A4FC818FF5BD86 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:11:10] 627*2^1398744-1 is not prime. Res64: 69D726CD1230DDFF Time : 0.0 sec. user=mdettweiler [2015-05-11 09:11:10] 663*2^1398744-1 is not prime. Res64: 6581788303FC02E8 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:12:21] 683*2^1398744-1 is not prime. Res64: 0C18BC62E6A659F4 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:12:21] 695*2^1398744-1 is not prime. Res64: BDA7724B07379D35 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:21:07] 765*2^1398744-1 is not prime. Res64: CD6CA1DB3E34C2A2 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:21:07] 863*2^1398744-1 is not prime. Res64: DF74EBE160A6DD08 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:28:32] 887*2^1398744-1 is not prime. Res64: E6A236BD8BC0FEF4 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:28:32] 905*2^1398744-1 is not prime. Res64: 3B469FCE0202083E Time : 0.0 sec. user=mdettweiler [2015-05-11 09:28:32] 649*2^1398745-1 is not prime. Res64: 453D4E3C9D615285 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:28:33] 699*2^1398745-1 is not prime. Res64: A2D17723F810930F Time : 0.0 sec. user=mdettweiler [2015-05-11 09:29:47] 717*2^1398745-1 is not prime. Res64: 049A7A83DE0F6E03 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:29:48] 811*2^1398745-1 is not prime. Res64: 171EBC124BFC57A4 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:38:27] 671*2^1398746-1 is not prime. Res64: 5DBBD55797425F36 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:38:27] 683*2^1398746-1 is not prime. Res64: 9B31CA9ACBFAE4D1 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:45:57] 837*2^1398746-1 is not prime. Res64: AFA989344EE23809 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:45:58] 851*2^1398746-1 is not prime. Res64: 53A12AE692016C15 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:46:02] 957*2^1398746-1 is not prime. Res64: F8BF70B738F85FA5 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:46:02] 1001*2^1398746-1 is not prime. Res64: 38E07E139D448CE2 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:47:15] 709*2^1398747-1 is not prime. Res64: 98E523CD5F5A01F2 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:47:15] 781*2^1398747-1 is not prime. Res64: 8861975242B40B28 Time : 0.0 sec. user=juhehe [2015-05-11 09:54:42] 827*2^1398746-1 is not prime. Res64: DBA1BE45A8478121 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:56:02] 615*2^1398749-1 is not prime. Res64: F3E200336BA2B0A1 Time : 0.0 sec. user=mdettweiler [2015-05-11 09:56:02] 627*2^1398749-1 is not prime. Res64: 82435B02671A62C6 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:03:30] 697*2^1398749-1 is not prime. Res64: 680FE98F378BE572 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:03:32] 745*2^1398749-1 is not prime. Res64: 706118ECB1A4F453 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:03:32] 825*2^1398749-1 is not prime. Res64: 203ECE6153F87CFB Time : 0.0 sec. user=mdettweiler [2015-05-11 10:03:33] 885*2^1398749-1 is not prime. Res64: 79676A5ABDDF1D58 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:04:43] 897*2^1398749-1 is not prime. Res64: F3CFFED4F24AE539 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:04:44] 939*2^1398749-1 is not prime. Res64: 19F74C1155D59115 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:13:34] 615*2^1398750-1 is not prime. Res64: 647CC90164EA0CE6 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:13:34] 647*2^1398750-1 is not prime. Res64: 247EE75130B3334A Time : 0.0 sec. user=mdettweiler [2015-05-11 10:21:25] 951*2^1398750-1 is not prime. Res64: FABE2DBBB5F01C36 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:21:25] 971*2^1398750-1 is not prime. Res64: F885DEBD2E6CC326 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:21:28] 615*2^1398751-1 is not prime. Res64: B12292F99A8F260E Time : 0.0 sec. user=mdettweiler [2015-05-11 10:21:29] 621*2^1398751-1 is not prime. Res64: 05FB0E822E35861B Time : 0.0 sec. user=mdettweiler [2015-05-11 10:22:20] 645*2^1398751-1 is not prime. Res64: 673B54750C03CB9A Time : 0.0 sec. user=mdettweiler [2015-05-11 10:22:20] 675*2^1398751-1 is not prime. Res64: 96E2CAEA669C4866 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:31:09] 705*2^1398751-1 is not prime. Res64: A10C4A2C65812682 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:31:09] 745*2^1398751-1 is not prime. Res64: AE24533BBA6E5543 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:38:48] 805*2^1398751-1 is not prime. Res64: F27C41F01432A25D Time : 0.0 sec. user=mdettweiler [2015-05-11 10:38:48] 951*2^1398751-1 is not prime. Res64: 13D27245A2DD2694 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:38:52] 717*2^1398752-1 is not prime. Res64: 2490DD95734D767B Time : 0.0 sec. user=mdettweiler [2015-05-11 10:38:52] 725*2^1398752-1 is not prime. Res64: 1D8411F73C9BDB57 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:39:42] 767*2^1398752-1 is not prime. Res64: 6C3E2814A25A36C3 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:39:43] 825*2^1398752-1 is not prime. Res64: F4A1E0DCE0B328A4 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:48:32] 857*2^1398752-1 is not prime. Res64: 6741A3BD6564B0CE Time : 0.0 sec. user=mdettweiler [2015-05-11 10:48:32] 873*2^1398752-1 is not prime. Res64: 3C88541CD5DBF17D Time : 0.0 sec. user=mdettweiler [2015-05-11 10:56:22] 935*2^1398752-1 is not prime. Res64: A7638748EE046320 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:56:22] 625*2^1398753-1 is not prime. Res64: 1C84F82DAD034BF8 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:56:22] 615*2^1398753-1 is not prime. Res64: 5FC56F8FFA912CD4 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:56:22] 837*2^1398753-1 is not prime. Res64: BFDBA804E7D80951 Time : 0.0 sec. user=mdettweiler [2015-05-11 10:57:08] 895*2^1398753-1 is not prime. Res64: C706D34483C5177F Time : 0.0 sec. user=mdettweiler [2015-05-11 10:57:08] 969*2^1398753-1 is not prime. Res64: 0E01956AD8869455 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:06:07] 705*2^1398754-1 is not prime. Res64: E7F6F8BCEF3D11B9 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:06:09] 723*2^1398754-1 is not prime. Res64: AE6E5B501AD1072D Time : 0.0 sec. user=mdettweiler [2015-05-11 11:13:50] 971*2^1398754-1 is not prime. Res64: 526A5116310A40EF Time : 0.0 sec. user=mdettweiler [2015-05-11 11:13:50] 651*2^1398755-1 is not prime. Res64: A5C66ECA88A73F61 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:13:57] 831*2^1398754-1 is not prime. Res64: F482943788BD3842 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:13:57] 923*2^1398754-1 is not prime. Res64: 24C984C732996CE7 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:14:33] 705*2^1398755-1 is not prime. Res64: E2451B60D939E467 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:14:33] 909*2^1398755-1 is not prime. Res64: 85EB51AE20BF370E Time : 0.0 sec. user=mdettweiler [2015-05-11 11:23:49] 921*2^1398755-1 is not prime. Res64: E5D9801555F63756 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:23:49] 629*2^1398756-1 is not prime. Res64: AC1535857CC5606C Time : 0.0 sec. user=mdettweiler [2015-05-11 11:31:22] 945*2^1398756-1 is not prime. Res64: BA6596D03F1016BC Time : 0.0 sec. user=mdettweiler [2015-05-11 11:31:22] 601*2^1398757-1 is not prime. Res64: 932109CCF60E6649 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:31:25] 625*2^1398757-1 is not prime. Res64: 0446142DD433AA65 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:31:25] 667*2^1398757-1 is not prime. Res64: 353066FE4C05E960 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:32:00] 729*2^1398757-1 is not prime. Res64: D622D5C378B82076 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:32:01] 769*2^1398757-1 is not prime. Res64: D4B6362829EB1F02 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:41:27] 871*2^1398757-1 is not prime. Res64: F9D7BE463B76EE58 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:41:27] 915*2^1398757-1 is not prime. Res64: 1CFB12B622182130 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:48:49] 945*2^1398757-1 is not prime. Res64: CEFD062A6FACF173 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:48:49] 623*2^1398758-1 is not prime. Res64: 6188304D7569072E Time : 0.0 sec. user=mdettweiler [2015-05-11 11:49:03] 641*2^1398758-1 is not prime. Res64: 14C28273C3ED9025 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:49:03] 831*2^1398758-1 is not prime. Res64: 6650CC3D997F8165 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:49:31] 867*2^1398758-1 is not prime. Res64: 967FE98DAEDB8C9F Time : 0.0 sec. user=mdettweiler [2015-05-11 11:49:32] 953*2^1398758-1 is not prime. Res64: 6DD12DEA337BB465 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:58:59] 691*2^1398759-1 is not prime. Res64: C1F75C0BCD639467 Time : 0.0 sec. user=mdettweiler [2015-05-11 11:58:59] 745*2^1398759-1 is not prime. Res64: 47954B50DD3FEE3A Time : 0.0 sec. user=mdettweiler [2015-05-11 12:06:23] 751*2^1398759-1 is not prime. Res64: 9511C697E06DDC2C Time : 0.0 sec. user=mdettweiler [2015-05-11 12:06:23] 793*2^1398759-1 is not prime. Res64: 1D13F310303BD11A Time : 0.0 sec. user=mdettweiler [2015-05-11 12:06:40] 933*2^1398759-1 is not prime. Res64: F5E921E5707D65E8 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:06:40] 723*2^1398760-1 is not prime. Res64: BF7767A3437F73AA Time : 0.0 sec. user=mdettweiler [2015-05-11 12:07:01] 825*2^1398760-1 is not prime. Res64: B4FC1733E6F510C6 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:07:01] 857*2^1398760-1 is not prime. Res64: 6F6DBE6559030709 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:16:39] 887*2^1398760-1 is not prime. Res64: F675EFF1C16243CA Time : 0.0 sec. user=mdettweiler [2015-05-11 12:16:40] 905*2^1398760-1 is not prime. Res64: A03E920A7A45E2E7 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:23:50] 933*2^1398760-1 is not prime. Res64: 5B4CABBE7EB875C4 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:23:51] 965*2^1398760-1 is not prime. Res64: D2BB1ED0AABB8B27 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:24:07] 691*2^1398761-1 is not prime. Res64: 50C546D20907E048 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:24:07] 711*2^1398761-1 is not prime. Res64: 62768B0B6CC1DFA6 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:24:34] 717*2^1398761-1 is not prime. Res64: D9DF306476A666C0 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:24:35] 861*2^1398761-1 is not prime. Res64: 10D1DF3424A2C136 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:34:12] 889*2^1398761-1 is not prime. Res64: FD706E5C530F126B Time : 0.0 sec. user=mdettweiler [2015-05-11 12:34:13] 991*2^1398761-1 is not prime. Res64: 3E41780AD323B3CF Time : 0.0 sec. user=mdettweiler [2015-05-11 12:41:21] 677*2^1398762-1 is not prime. Res64: B6DF5F6404435182 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:41:22] 683*2^1398762-1 is not prime. Res64: EA4E70491E819E97 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:41:34] 755*2^1398762-1 is not prime. Res64: EA7FD0CE7A69248E Time : 0.0 sec. user=mdettweiler [2015-05-11 12:41:34] 791*2^1398762-1 is not prime. Res64: 7197285DC7571D2D Time : 0.0 sec. user=mdettweiler [2015-05-11 12:42:16] 843*2^1398762-1 is not prime. Res64: BBE9B5B1C13E1E4F Time : 0.0 sec. user=mdettweiler [2015-05-11 12:42:16] 891*2^1398762-1 is not prime. Res64: BC8EDCCD610DF580 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:52:57] 633*2^1398763-1 is not prime. Res64: 7D0FDBDAC36A0226 Time : 0.0 sec. user=mdettweiler [2015-05-11 12:52:57] 663*2^1398763-1 is not prime. Res64: 7FDA0A686D158D25 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:00:31] 685*2^1398763-1 is not prime. Res64: DCAAD2FCE9B7CF58 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:00:31] 745*2^1398763-1 is not prime. Res64: C3858712EC20D231 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:00:52] 819*2^1398763-1 is not prime. Res64: 68F7A48CEC438400 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:00:52] 829*2^1398763-1 is not prime. Res64: B8EAD4B3B466A915 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:01:41] 871*2^1398763-1 is not prime. Res64: B86FC415827628D0 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:01:42] 919*2^1398763-1 is not prime. Res64: 2CA76F13E4773142 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:10:56] 719*2^1398764-1 is not prime. Res64: 7ECA45389C250A5B Time : 0.0 sec. user=mdettweiler [2015-05-11 13:10:56] 825*2^1398764-1 is not prime. Res64: E83469A0B8D4FDE6 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:18:00] 875*2^1398764-1 is not prime. Res64: 2613F4CB4210D5BB Time : 0.0 sec. user=mdettweiler [2015-05-11 13:18:01] 627*2^1398765-1 is not prime. Res64: C9156EB2AB6C2D99 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:18:18] 741*2^1398765-1 is not prime. Res64: D756327ED205BFA0 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:18:18] 759*2^1398765-1 is not prime. Res64: D992BFF9C0240F8F Time : 0.0 sec. user=mdettweiler [2015-05-11 13:19:14] 781*2^1398765-1 is not prime. Res64: 4D7437FDCE4502C0 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:19:14] 817*2^1398765-1 is not prime. Res64: ECD976010F9AFCDE Time : 0.0 sec. user=mdettweiler [2015-05-11 13:28:31] 859*2^1398765-1 is not prime. Res64: 40297ABE4CD220A6 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:28:32] 861*2^1398765-1 is not prime. Res64: 586CEEE0FDC94841 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:35:41] 889*2^1398765-1 is not prime. Res64: 8AA18F0D6D5B6694 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:35:41] 955*2^1398765-1 is not prime. Res64: 109A59B8A4E548E3 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:35:50] 991*2^1398765-1 is not prime. Res64: 955FA4A55F2347E5 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:35:51] 741*2^1398766-1 is not prime. Res64: CA2151039CA4B269 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:36:45] 855*2^1398766-1 is not prime. Res64: E1988A136FFB95BD Time : 0.0 sec. user=mdettweiler [2015-05-11 13:36:46] 891*2^1398766-1 is not prime. Res64: 4DFCF6146C0AB7F8 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:46:09] 945*2^1398766-1 is not prime. Res64: 176B097758253235 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:46:10] 957*2^1398766-1 is not prime. Res64: 9884CC3EE4D2DD9D Time : 0.0 sec. user=mdettweiler [2015-05-11 13:53:25] 983*2^1398766-1 is not prime. Res64: F055E8EDD86E2BDF Time : 0.0 sec. user=mdettweiler [2015-05-11 13:53:25] 609*2^1398767-1 is not prime. Res64: FDE5BA8C6D5FE4B2 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:53:44] 645*2^1398767-1 is not prime. Res64: 70A703CD7F6C6099 Time : 0.0 sec. user=mdettweiler [2015-05-11 13:53:45] 841*2^1398767-1 is not prime. Res64: 45B8CBDF0332D51B Time : 0.0 sec. user=mdettweiler [2015-05-11 13:54:34] 945*2^1398767-1 is not prime. Res64: 107ED4C2B0043D6D Time : 0.0 sec. user=mdettweiler [2015-05-11 13:54:35] 981*2^1398767-1 is not prime. Res64: 24D3762255342DDF Time : 0.0 sec. user=mdettweiler [2015-05-11 14:03:52] 713*2^1398768-1 is not prime. Res64: B85FE097592359B1 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:03:53] 747*2^1398768-1 is not prime. Res64: EC55BA16FABA1752 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:10:55] 797*2^1398768-1 is not prime. Res64: 8985094CCCC0EEB2 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:10:55] 819*2^1398768-1 is not prime. Res64: 98EA27FD8660A52E Time : 0.0 sec. user=mdettweiler [2015-05-11 14:11:19] 845*2^1398768-1 is not prime. Res64: B3175DAC50C636DD Time : 0.0 sec. user=mdettweiler [2015-05-11 14:11:19] 681*2^1398769-1 is not prime. Res64: AE6D183EDF163899 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:12:05] 747*2^1398769-1 is not prime. Res64: D65E05E3C7635205 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:12:06] 955*2^1398769-1 is not prime. Res64: AECE4D46E3873828 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:21:32] 657*2^1398770-1 is not prime. Res64: 720A21266A456529 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:21:32] 665*2^1398770-1 is not prime. Res64: 5FC77013D446298F Time : 0.0 sec. user=mdettweiler [2015-05-11 14:28:26] 675*2^1398770-1 is not prime. Res64: E6533FC508A18947 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:28:27] 677*2^1398770-1 is not prime. Res64: 237A65993E1E8867 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:28:53] 713*2^1398770-1 is not prime. Res64: 689B201112758799 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:28:54] 791*2^1398770-1 is not prime. Res64: 0739DF3E6E7449DB Time : 0.0 sec. user=mdettweiler [2015-05-11 14:29:33] 797*2^1398770-1 is not prime. Res64: 31A4402714CD7BD1 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:29:34] 851*2^1398770-1 is not prime. Res64: 5E1A2A9C60AD1947 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:38:56] 917*2^1398770-1 is not prime. Res64: 8B28C5A852ABE942 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:38:57] 679*2^1398771-1 is not prime. Res64: F25B22B17CD3A2A3 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:45:54] 859*2^1398771-1 is not prime. Res64: D8942E0FBA52D432 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:45:54] 677*2^1398772-1 is not prime. Res64: 9C490EA88C82E8DE Time : 0.0 sec. user=mdettweiler [2015-05-11 14:46:22] 689*2^1398772-1 is not prime. Res64: CDDA4022A5DCAFC1 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:46:22] 695*2^1398772-1 is not prime. Res64: 12DF260DE27A6F2D Time : 0.0 sec. user=mdettweiler [2015-05-11 14:47:01] 813*2^1398772-1 is not prime. Res64: F9079A013A0B1CDF Time : 0.0 sec. user=mdettweiler [2015-05-11 14:47:02] 825*2^1398772-1 is not prime. Res64: 05D65A63CB90D449 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:56:21] 995*2^1398772-1 is not prime. Res64: EFFBE01958C5F456 Time : 0.0 sec. user=mdettweiler [2015-05-11 14:56:21] 607*2^1398773-1 is not prime. Res64: E16E08BABD32342B Time : 0.0 sec. user=mdettweiler [2015-05-11 15:03:28] 649*2^1398773-1 is not prime. Res64: 9DFE1D659A5C1550 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:03:29] 715*2^1398773-1 is not prime. Res64: 0FD0923959FC95D6 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:03:52] 745*2^1398773-1 is not prime. Res64: 0770DB84011BE0D8 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:03:54] 867*2^1398773-1 is not prime. Res64: A281E03B6D22B823 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:04:37] 885*2^1398773-1 is not prime. Res64: E99E92BADED63E67 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:04:38] 955*2^1398773-1 is not prime. Res64: 9A35841AA0F292C9 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:13:50] 621*2^1398774-1 is not prime. Res64: 83920F18391ACC9E Time : 0.0 sec. user=mdettweiler [2015-05-11 15:13:50] 665*2^1398774-1 is not prime. Res64: 786DD398DD77DC86 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:21:15] 671*2^1398774-1 is not prime. Res64: 075DABF225826913 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:21:15] 755*2^1398774-1 is not prime. Res64: 1AF8554581B8E278 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:21:30] 945*2^1398774-1 is not prime. Res64: 7A94138D752A0E20 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:21:31] 741*2^1398775-1 is not prime. Res64: 6ED8C07067A595D0 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:22:10] 831*2^1398775-1 is not prime. Res64: 8F08F22CC150204A Time : 0.0 sec. user=mdettweiler [2015-05-11 15:22:10] 973*2^1398775-1 is not prime. Res64: EDFE3B5105039B46 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:31:24] 999*2^1398775-1 is not prime. Res64: A422A64B1495B9DF Time : 0.0 sec. user=mdettweiler [2015-05-11 15:31:24] 689*2^1398776-1 is not prime. Res64: C91776078CDE914C Time : 0.0 sec. user=mdettweiler [2015-05-11 15:38:45] 927*2^1398776-1 is not prime. Res64: 1711DD13B05D497E Time : 0.0 sec. user=mdettweiler [2015-05-11 15:38:45] 739*2^1398777-1 is not prime. Res64: 3C834CBEB459D269 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:39:08] 909*2^1398777-1 is not prime. Res64: 0F7FFC2506396EC3 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:39:08] 949*2^1398777-1 is not prime. Res64: 0A9507BA9A529948 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:39:35] 735*2^1398778-1 is not prime. Res64: 0C5A540BA28CD528 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:39:35] 619*2^1398779-1 is not prime. Res64: DFC7F269A5845CCE Time : 0.0 sec. user=mdettweiler [2015-05-11 15:48:49] 663*2^1398779-1 is not prime. Res64: 276D099B83BD87CE Time : 0.0 sec. user=mdettweiler [2015-05-11 15:48:50] 799*2^1398779-1 is not prime. Res64: 964A5DE065612886 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:56:10] 811*2^1398779-1 is not prime. Res64: 2548C8796838080C Time : 0.0 sec. user=mdettweiler [2015-05-11 15:56:10] 909*2^1398779-1 is not prime. Res64: 4DF3C87B0347C6AA Time : 0.0 sec. user=mdettweiler [2015-05-11 15:56:41] 931*2^1398779-1 is not prime. Res64: 13BFB37338FCF4CF Time : 0.0 sec. user=mdettweiler [2015-05-11 15:56:42] 623*2^1398780-1 is not prime. Res64: 4BEC85862CDDC09D Time : 0.0 sec. user=mdettweiler [2015-05-11 15:57:01] 753*2^1398780-1 is not prime. Res64: A0FF9853428A1C71 Time : 0.0 sec. user=mdettweiler [2015-05-11 15:57:02] 759*2^1398780-1 is not prime. Res64: E252A2B02CD5CB08 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:06:16] 767*2^1398780-1 is not prime. Res64: 23B73E8DE0A19913 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:06:17] 783*2^1398780-1 is not prime. Res64: 0AF00E4213489E64 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:13:37] 795*2^1398780-1 is not prime. Res64: 3EC731402ECDF804 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:13:38] 843*2^1398780-1 is not prime. Res64: 66B70D4E2B0854C0 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:14:11] 905*2^1398780-1 is not prime. Res64: DC00C7B21E2D4921 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:14:11] 929*2^1398780-1 is not prime. Res64: 4141FCF9D6A9C514 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:14:39] 945*2^1398780-1 is not prime. Res64: 2FCC120401B2AC1E Time : 0.0 sec. user=mdettweiler [2015-05-11 16:14:39] 975*2^1398780-1 is not prime. Res64: 992277DE0AE4D0C1 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:23:59] 645*2^1398781-1 is not prime. Res64: 97BE58EAB1988712 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:23:59] 745*2^1398781-1 is not prime. Res64: 71CFE9379171BC44 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:31:09] 747*2^1398781-1 is not prime. Res64: 924155903C07BD47 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:31:10] 775*2^1398781-1 is not prime. Res64: 9CE8045069580575 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:31:41] 901*2^1398781-1 is not prime. Res64: 9FE9C4BB0DB489C9 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:31:41] 951*2^1398781-1 is not prime. Res64: 19E4336F531195F3 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:32:10] 705*2^1398782-1 is not prime. Res64: A8B459D32570E9E9 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:32:11] 711*2^1398782-1 is not prime. Res64: 66BCF3CD169F50D1 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:41:26] 885*2^1398782-1 is not prime. Res64: C68936654CEA5553 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:41:26] 923*2^1398782-1 is not prime. Res64: F4555D2FF90742D7 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:48:44] 945*2^1398782-1 is not prime. Res64: F1542ECDE21A8521 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:48:44] 1001*2^1398782-1 is not prime. Res64: 5B6BF596C772FD7B Time : 0.0 sec. user=mdettweiler [2015-05-11 16:49:11] 615*2^1398783-1 is not prime. Res64: FDDD05DC16A7E676 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:49:12] 859*2^1398783-1 is not prime. Res64: 5C9CA9A9A8E321B9 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:49:48] 879*2^1398783-1 is not prime. Res64: 45D3CFD11A1D0C91 Time : 0.0 sec. user=mdettweiler [2015-05-11 16:49:49] 933*2^1398783-1 is not prime. Res64: 471F8CB142729BBA Time : 0.0 sec. user=mdettweiler [2015-05-11 16:59:05] 991*2^1398783-1 is not prime. Res64: FAF71A7A21D1BD1A Time : 0.0 sec. user=mdettweiler [2015-05-11 16:59:05] 705*2^1398784-1 is not prime. Res64: EF1ED7BDEDC6ADFB Time : 0.0 sec. user=mdettweiler [2015-05-11 17:06:26] 743*2^1398784-1 is not prime. Res64: 82240AA802D908E9 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:06:27] 807*2^1398784-1 is not prime. Res64: A018E59206255C2C Time : 0.0 sec. user=mdettweiler [2015-05-11 17:07:01] 887*2^1398784-1 is not prime. Res64: FFDD26645E388B0F Time : 0.0 sec. user=mdettweiler [2015-05-11 17:07:01] 657*2^1398785-1 is not prime. Res64: 6160F6B13994ADEF Time : 0.0 sec. user=mdettweiler [2015-05-11 17:07:35] 669*2^1398785-1 is not prime. Res64: 34F10650BD03C0B5 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:07:35] 717*2^1398785-1 is not prime. Res64: D205885DBAB6DC4E Time : 0.0 sec. user=mdettweiler [2015-05-11 17:17:04] 781*2^1398785-1 is not prime. Res64: 54EA52BEB3E75956 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:17:04] 889*2^1398785-1 is not prime. Res64: 83AA5F7AA2F0105A Time : 0.0 sec. user=mdettweiler [2015-05-11 17:24:45] 955*2^1398785-1 is not prime. Res64: A1F96C82F1A0C368 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:24:45] 671*2^1398786-1 is not prime. Res64: 9A14E06D8D711529 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:24:59] 741*2^1398786-1 is not prime. Res64: 45A4230CD1D2C8F5 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:24:59] 861*2^1398786-1 is not prime. Res64: 444D49A322D3CB68 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:25:37] 921*2^1398786-1 is not prime. Res64: 294D646E160B29EB Time : 0.0 sec. user=mdettweiler [2015-05-11 17:25:38] 975*2^1398786-1 is not prime. Res64: 5DBEF1E0B4957704 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:35:15] 601*2^1398787-1 is not prime. Res64: 1D45311A2C7020F8 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:35:16] 633*2^1398787-1 is not prime. Res64: 5E2371EDD81668D8 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:43:17] 691*2^1398787-1 is not prime. Res64: 4C8F0131A620AAFD Time : 0.0 sec. user=mdettweiler [2015-05-11 17:43:17] 759*2^1398787-1 is not prime. Res64: 883E355007146B92 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:43:21] 871*2^1398787-1 is not prime. Res64: FDB35821824AE4B2 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:43:22] 873*2^1398787-1 is not prime. Res64: 7FE17A2E12E666C1 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:44:26] 993*2^1398787-1 is not prime. Res64: 8CDB4B3AB1A68DFC Time : 0.0 sec. user=mdettweiler [2015-05-11 17:44:26] 617*2^1398788-1 is not prime. Res64: 6E97DCE46A8FB2EE Time : 0.0 sec. user=mdettweiler [2015-05-11 17:53:56] 635*2^1398788-1 is not prime. Res64: 5A515EE115A3A639 Time : 0.0 sec. user=mdettweiler [2015-05-11 17:53:56] 669*2^1398788-1 is not prime. Res64: B1432B1069D6D1D2 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:01:39] 885*2^1398788-1 is not prime. Res64: 4F5EC64B779AC8EA Time : 0.0 sec. user=mdettweiler [2015-05-11 18:01:40] 685*2^1398789-1 is not prime. Res64: 89D07C3572F82A7C Time : 0.0 sec. user=mdettweiler [2015-05-11 18:02:04] 803*2^1398788-1 is not prime. Res64: 5A9F9257C437CAF0 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:02:04] 843*2^1398788-1 is not prime. Res64: 934CF04E966BCA5E Time : 0.0 sec. user=mdettweiler [2015-05-11 18:02:42] 727*2^1398789-1 is not prime. Res64: 36F9DB7BE2492E05 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:02:42] 811*2^1398789-1 is not prime. Res64: BA46D9D4993C926E Time : 0.0 sec. user=mdettweiler [2015-05-11 18:12:42] 951*2^1398789-1 is not prime. Res64: 5ECC30563534B367 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:12:42] 955*2^1398789-1 is not prime. Res64: 4337C32A9B014E39 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:20:20] 979*2^1398789-1 is not prime. Res64: 17CCD9D0B3B75293 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:20:20] 645*2^1398790-1 is not prime. Res64: 8D6684E566BC61EF Time : 0.0 sec. user=mdettweiler [2015-05-11 18:20:31] 755*2^1398790-1 is not prime. Res64: 4D9541837DDAEFFD Time : 0.0 sec. user=mdettweiler [2015-05-11 18:20:32] 777*2^1398790-1 is not prime. Res64: F0248D256D3B2CD8 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:21:13] 833*2^1398790-1 is not prime. Res64: 7A50DAD1688FE656 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:21:13] 885*2^1398790-1 is not prime. Res64: C36CDB28D78541EB Time : 0.0 sec. user=mdettweiler [2015-05-11 18:31:42] 911*2^1398790-1 is not prime. Res64: 6B7BC8B9D7E35DC8 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:31:42] 609*2^1398791-1 is not prime. Res64: D91D8E912386219D Time : 0.0 sec. user=mdettweiler [2015-05-11 18:38:33] 645*2^1398791-1 is not prime. Res64: 0CC33EAEA74A990F Time : 0.0 sec. user=mdettweiler [2015-05-11 18:38:34] 711*2^1398791-1 is not prime. Res64: 8FDC8EEDFE2F473F Time : 0.0 sec. user=mdettweiler [2015-05-11 18:38:42] 715*2^1398791-1 is not prime. Res64: A9728FF7F7FE61DE Time : 0.0 sec. user=mdettweiler [2015-05-11 18:38:43] 879*2^1398791-1 is not prime. Res64: 80C52488EF10C68B Time : 0.0 sec. user=mdettweiler [2015-05-11 18:39:59] 999*2^1398791-1 is not prime. Res64: C495C84A9D379FB7 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:39:59] 689*2^1398792-1 is not prime. Res64: 3202860ECDE37205 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:49:48] 695*2^1398792-1 is not prime. Res64: 0F5F004AC1B2DC2D Time : 0.0 sec. user=mdettweiler [2015-05-11 18:49:48] 797*2^1398792-1 is not prime. Res64: 8EC634F8BE4F2BDF Time : 0.0 sec. user=mdettweiler [2015-05-11 18:56:46] 651*2^1398793-1 is not prime. Res64: 83BA846803D1C8C4 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:56:47] 699*2^1398793-1 is not prime. Res64: 73B967FFC382E855 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:56:51] 879*2^1398792-1 is not prime. Res64: B7B2E7E3AFA270E7 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:56:51] 923*2^1398792-1 is not prime. Res64: B537453EE3D2B7A5 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:58:07] 705*2^1398793-1 is not prime. Res64: CA4984E0951ECCB6 Time : 0.0 sec. user=mdettweiler [2015-05-11 18:58:07] 721*2^1398793-1 is not prime. Res64: 730DF03FFCE39C44 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:07:35] 747*2^1398793-1 is not prime. Res64: AFA90733F584B878 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:07:36] 769*2^1398793-1 is not prime. Res64: 7CC253F38E2589A3 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:14:17] 801*2^1398793-1 is not prime. Res64: 78C5E6300C134B04 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:14:17] 847*2^1398793-1 is not prime. Res64: 4EB87C219967916C Time : 0.0 sec. user=mdettweiler [2015-05-11 19:14:22] 861*2^1398793-1 is not prime. Res64: BF5913131A516327 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:14:23] 877*2^1398793-1 is not prime. Res64: 14A4F7D5B06867E7 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:15:38] 955*2^1398793-1 is not prime. Res64: 220C1A00BE9BBC89 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:15:39] 645*2^1398794-1 is not prime. Res64: 820DED314A123E46 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:25:07] 657*2^1398794-1 is not prime. Res64: 9E10C799ED80B3EA Time : 0.0 sec. user=mdettweiler [2015-05-11 19:25:07] 921*2^1398794-1 is not prime. Res64: CC53576FA91DAA3A Time : 0.0 sec. user=mdettweiler [2015-05-11 19:31:54] 941*2^1398794-1 is not prime. Res64: B0A78F64B35DF0DE Time : 0.0 sec. user=mdettweiler [2015-05-11 19:31:54] 971*2^1398794-1 is not prime. Res64: C63BC518CE8F6167 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:31:54] 995*2^1398794-1 is not prime. Res64: 6CBBD16CB934FF3D Time : 0.0 sec. user=mdettweiler [2015-05-11 19:31:54] 639*2^1398795-1 is not prime. Res64: 462B1D5FE18F50D2 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:33:11] 679*2^1398795-1 is not prime. Res64: 7F16A05B8C8260FC Time : 0.0 sec. user=mdettweiler [2015-05-11 19:33:11] 751*2^1398795-1 is not prime. Res64: D5473998024D2323 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:42:36] 861*2^1398795-1 is not prime. Res64: C8ED5D299B57CD2B Time : 0.0 sec. user=mdettweiler [2015-05-11 19:42:36] 919*2^1398795-1 is not prime. Res64: 7419D84731A283DA Time : 0.0 sec. user=mdettweiler [2015-05-11 19:49:23] 675*2^1398796-1 is not prime. Res64: B77C504611751A99 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:49:23] 869*2^1398796-1 is not prime. Res64: E6B02C50AA5E3D7F Time : 0.0 sec. user=mdettweiler [2015-05-11 19:49:31] 961*2^1398795-1 is not prime. Res64: 628116AD84AEAC8D Time : 0.0 sec. user=mdettweiler [2015-05-11 19:49:31] 963*2^1398795-1 is not prime. Res64: E262A566DA1DC22E Time : 0.0 sec. user=mdettweiler [2015-05-11 19:50:44] 615*2^1398797-1 is not prime. Res64: 74DC0464855750B5 Time : 0.0 sec. user=mdettweiler [2015-05-11 19:50:44] 729*2^1398797-1 is not prime. Res64: 1BB7118937FE32CF Time : 0.0 sec. user=mdettweiler [2015-05-11 20:00:10] 757*2^1398797-1 is not prime. Res64: FEEF4028788C8D63 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:00:11] 889*2^1398797-1 is not prime. Res64: 0C320888E4C347B2 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:07:00] 939*2^1398797-1 is not prime. Res64: 3F4D0B93C02EC2A0 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:07:02] 991*2^1398797-1 is not prime. Res64: 35875620E811822B Time : 0.0 sec. user=mdettweiler [2015-05-11 20:07:19] 611*2^1398798-1 is not prime. Res64: BB354C29AB4B158A Time : 0.0 sec. user=mdettweiler [2015-05-11 20:07:20] 641*2^1398798-1 is not prime. Res64: 6EC2E72DA5440942 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:08:14] 713*2^1398798-1 is not prime. Res64: 72238CD75AC81A7D Time : 0.0 sec. user=mdettweiler [2015-05-11 20:08:15] 881*2^1398798-1 is not prime. Res64: 13B25EE95EA4D5F1 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:17:40] 945*2^1398798-1 is not prime. Res64: B2815DC8E75F4BA3 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:17:40] 619*2^1398799-1 is not prime. Res64: 4A4D8213B346C84D Time : 0.0 sec. user=mdettweiler [2015-05-11 20:24:55] 633*2^1398799-1 is not prime. Res64: D71505C2FD891584 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:24:55] 639*2^1398799-1 is not prime. Res64: 4FE13BA4B1696C88 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:25:00] 735*2^1398799-1 is not prime. Res64: 2E67A9FCAF9E7290 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:25:00] 759*2^1398799-1 is not prime. Res64: 2702F8853485833F Time : 0.0 sec. user=mdettweiler [2015-05-11 20:25:45] 793*2^1398799-1 is not prime. Res64: 06AD4AB1FF0930F3 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:25:45] 813*2^1398799-1 is not prime. Res64: F8620CF2A895C762 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:35:05] 931*2^1398799-1 is not prime. Res64: 5262236B04F3D5E0 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:35:05] 725*2^1398800-1 is not prime. Res64: D9DDCEB6314AEC5A Time : 0.0 sec. user=mdettweiler [2015-05-11 20:42:47] 755*2^1398800-1 is not prime. Res64: 030D04F822016CFD Time : 0.0 sec. user=mdettweiler [2015-05-11 20:42:48] 767*2^1398800-1 is not prime. Res64: 4622128516DC88CA Time : 0.0 sec. user=mdettweiler [2015-05-11 20:42:57] 777*2^1398800-1 is not prime. Res64: 67C508BF48CC3122 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:42:58] 825*2^1398800-1 is not prime. Res64: D140779089987FFF Time : 0.0 sec. user=mdettweiler [2015-05-11 20:43:58] 833*2^1398800-1 is not prime. Res64: 197BF608CE01E239 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:43:59] 999*2^1398800-1 is not prime. Res64: AC2DC6477174ED05 Time : 0.0 sec. user=mdettweiler [2015-05-11 20:55:37] 607*2^1398801-1 is not prime. Res64: 2CCB19B310B6165F Time : 0.0 sec. user=mdettweiler [2015-05-11 20:55:37] 637*2^1398801-1 is not prime. Res64: 2FCAC72D35EE5013 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:02:48] 835*2^1398801-1 is not prime. Res64: DA5B79D0651B2AE4 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:02:49] 861*2^1398801-1 is not prime. Res64: 302952A0BDFFB489 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:02:56] 885*2^1398801-1 is not prime. Res64: 6C21278DE8F9C5DC Time : 0.0 sec. user=mdettweiler [2015-05-11 21:02:58] 895*2^1398801-1 is not prime. Res64: 69101392F0EA172A Time : 0.0 sec. user=mdettweiler [2015-05-11 21:03:45] 955*2^1398801-1 is not prime. Res64: 09DE9B82BEF3481B Time : 0.0 sec. user=mdettweiler [2015-05-11 21:03:46] 979*2^1398801-1 is not prime. Res64: 6A525CA1806918F4 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:13:08] 999*2^1398801-1 is not prime. Res64: CAE6A20E388F0E76 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:13:08] 617*2^1398802-1 is not prime. Res64: 24EDB0CA3C9D634B Time : 0.0 sec. user=juhehe [2015-05-11 21:13:41] 679*2^1398801-1 is not prime. Res64: 6618EB9C4838F1F7 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:20:32] 635*2^1398802-1 is not prime. Res64: 9BF350BA229FC833 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:20:32] 803*2^1398802-1 is not prime. Res64: 5B8D1000CC8FC0A4 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:20:32] 731*2^1398802-1 is not prime. Res64: 5D37059B6D7D1F5C Time : 0.0 sec. user=mdettweiler [2015-05-11 21:20:32] 857*2^1398802-1 is not prime. Res64: 8C6ABAC335606D13 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:21:25] 945*2^1398802-1 is not prime. Res64: D166C10E91D6694B Time : 0.0 sec. user=mdettweiler [2015-05-11 21:21:25] 679*2^1398803-1 is not prime. Res64: FF94A976B07FAC35 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:30:36] 705*2^1398803-1 is not prime. Res64: 1CDD38940495688C Time : 0.0 sec. user=mdettweiler [2015-05-11 21:30:36] 811*2^1398803-1 is not prime. Res64: B139861B59DD5214 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:01] 939*2^1398803-1 is not prime. Res64: 6D90892BB3E7D39D Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:01] 857*2^1398804-1 is not prime. Res64: A1DF743F0726841E Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:06] 825*2^1398803-1 is not prime. Res64: F678F61E687DF1F6 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:06] 871*2^1398803-1 is not prime. Res64: EBBAE23C90F78DDA Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:52] 899*2^1398804-1 is not prime. Res64: B182E98C454E3BC5 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:38:52] 903*2^1398804-1 is not prime. Res64: C768A224CBD7E5A1 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:48:04] 959*2^1398804-1 is not prime. Res64: D396EEB24D594D9B Time : 0.0 sec. user=mdettweiler [2015-05-11 21:48:04] 965*2^1398804-1 is not prime. Res64: 84F8B7059B774BF2 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:55:36] 607*2^1398805-1 is not prime. Res64: DE49BF2DD0B78B67 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:55:36] 799*2^1398805-1 is not prime. Res64: 94DFE1D2962061D4 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:55:36] 975*2^1398804-1 is not prime. Res64: 0C24AF24697C834B Time : 0.0 sec. user=mdettweiler [2015-05-11 21:55:37] 993*2^1398804-1 is not prime. Res64: BDF7E2CBBE2A1B7D Time : 0.0 sec. user=mdettweiler [2015-05-11 21:56:23] 819*2^1398805-1 is not prime. Res64: A7C8CAA9B8169226 Time : 0.0 sec. user=mdettweiler [2015-05-11 21:56:24] 979*2^1398805-1 is not prime. Res64: 24DBB6529749D888 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:05:30] 635*2^1398806-1 is not prime. Res64: 9F52435F595DE896 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:05:31] 645*2^1398806-1 is not prime. Res64: ED57D7C5AB203D1E Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:06] 707*2^1398806-1 is not prime. Res64: BDA5CD1BE57EF029 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:07] 761*2^1398806-1 is not prime. Res64: 2B9E34324D095051 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:09] 851*2^1398806-1 is not prime. Res64: 6799564D8FAAD379 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:10] 911*2^1398806-1 is not prime. Res64: D81A788F7CB6580D Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:52] 945*2^1398806-1 is not prime. Res64: 2D64D1EF1BB2E4F9 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:13:53] 619*2^1398807-1 is not prime. Res64: 6C925A31C0F5C398 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:23:17] 765*2^1398807-1 is not prime. Res64: 7EF9D7578590FE96 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:23:18] 805*2^1398807-1 is not prime. Res64: 494FE0C64D7AFD2B Time : 0.0 sec. user=mdettweiler [2015-05-11 22:30:38] 819*2^1398807-1 is not prime. Res64: 98F4C02937ABD532 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:30:39] 829*2^1398807-1 is not prime. Res64: 67BBE3D3B61013A3 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:30:52] 895*2^1398807-1 is not prime. Res64: 660D232A7E98634D Time : 0.0 sec. user=mdettweiler [2015-05-11 22:30:53] 961*2^1398807-1 is not prime. Res64: 47D50EF4D7B2482A Time : 0.0 sec. user=mdettweiler [2015-05-11 22:31:41] 973*2^1398807-1 is not prime. Res64: 897CB6E635319116 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:31:41] 991*2^1398807-1 is not prime. Res64: FB70EE8365BF1E58 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:40:44] 623*2^1398808-1 is not prime. Res64: 78C145770BC9A509 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:40:44] 899*2^1398808-1 is not prime. Res64: 3F9AD17B0241483B Time : 0.0 sec. user=mdettweiler [2015-05-11 22:48:04] 969*2^1398808-1 is not prime. Res64: 4CA98F61B81281FD Time : 0.0 sec. user=mdettweiler [2015-05-11 22:48:04] 975*2^1398808-1 is not prime. Res64: 765221D2542AD792 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:48:13] 697*2^1398809-1 is not prime. Res64: AB47D57BF1AC5BDE Time : 0.0 sec. user=mdettweiler [2015-05-11 22:48:13] 759*2^1398809-1 is not prime. Res64: F4576F9337DE8E3B Time : 0.0 sec. user=mdettweiler [2015-05-11 22:49:01] 771*2^1398809-1 is not prime. Res64: 51485227E45DE7E8 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:49:01] 957*2^1398809-1 is not prime. Res64: 8DF7B24D25B2B057 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:58:07] 967*2^1398809-1 is not prime. Res64: 2F92B35FEB61D363 Time : 0.0 sec. user=mdettweiler [2015-05-11 22:58:08] 723*2^1398810-1 is not prime. Res64: 10445A9A88E8C2B6 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:05:24] 725*2^1398810-1 is not prime. Res64: B8881129444A3F2B Time : 0.0 sec. user=mdettweiler [2015-05-11 23:05:26] 801*2^1398810-1 is not prime. Res64: 7BD27D5522DE572C Time : 0.0 sec. user=mdettweiler [2015-05-11 23:05:32] 851*2^1398810-1 is not prime. Res64: 5735A1BDB52385CF Time : 0.0 sec. user=mdettweiler [2015-05-11 23:05:33] 891*2^1398810-1 is not prime. Res64: 0C1FF55586663A3B Time : 0.0 sec. user=mdettweiler [2015-05-11 23:06:25] 905*2^1398810-1 is not prime. Res64: A89026024E2711D2 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:06:26] 945*2^1398810-1 is not prime. Res64: 875D15A7FAB30CAB Time : 0.0 sec. user=mdettweiler [2015-05-11 23:15:23] 733*2^1398811-1 is not prime. Res64: 80FF640E3BE4AE01 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:15:24] 759*2^1398811-1 is not prime. Res64: F9AB681129F1080E Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:13] 895*2^1398811-1 is not prime. Res64: 04FC393558902791 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:13] 603*2^1398812-1 is not prime. Res64: 05EBF886D39B5EBB Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:17] 793*2^1398811-1 is not prime. Res64: 50EA23B94DAB6071 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:18] 885*2^1398811-1 is not prime. Res64: DB78EF37086D19B7 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:46] 609*2^1398812-1 is not prime. Res64: B869EE1CC7F639BD Time : 0.0 sec. user=mdettweiler [2015-05-11 23:23:47] 665*2^1398812-1 is not prime. Res64: AD88D08C2394E139 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:32:54] 717*2^1398812-1 is not prime. Res64: 93AF66D2BE95A2F3 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:32:55] 725*2^1398812-1 is not prime. Res64: 55C1320E509F08F4 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:40:34] 727*2^1398813-1 is not prime. Res64: 271C669BC5CF79A7 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:40:34] 781*2^1398813-1 is not prime. Res64: 8D9CC3EAEB412923 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:40:39] 615*2^1398813-1 is not prime. Res64: 5BFCCDC6E34B8F84 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:40:39] 699*2^1398813-1 is not prime. Res64: 01619838ED6BC6E7 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:41:04] 789*2^1398813-1 is not prime. Res64: 56ADFAD035FACC81 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:41:04] 837*2^1398813-1 is not prime. Res64: C39601B7425C02E1 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:50:12] 919*2^1398813-1 is not prime. Res64: CAB02E8328890174 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:50:12] 937*2^1398813-1 is not prime. Res64: 5894449FF959DC48 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:57:53] 961*2^1398813-1 is not prime. Res64: B75AE9E668F03AEC Time : 0.0 sec. user=mdettweiler [2015-05-11 23:57:54] 987*2^1398813-1 is not prime. Res64: 3745D1B5BEAE75F6 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:57:56] 665*2^1398814-1 is not prime. Res64: 7E51893930820C65 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:57:56] 717*2^1398814-1 is not prime. Res64: 687CA1E3BA5C72C3 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:58:20] 603*2^1398815-1 is not prime. Res64: B6FB4A2CDB61A461 Time : 0.0 sec. user=mdettweiler [2015-05-11 23:58:20] 741*2^1398815-1 is not prime. Res64: 66EBAC81DA99FACD Time : 0.0 sec.