user=mdettweiler [2016-11-01 00:20:12] 871*2^1444571-1 is not prime. Res64: E4C9B5E540075E6D Time : 0.0 sec. user=mdettweiler [2016-11-01 00:20:12] 883*2^1444571-1 is not prime. Res64: 3A1D9E30411CFB6F Time : 0.0 sec. user=mdettweiler [2016-11-01 00:20:12] 901*2^1444571-1 is not prime. Res64: C5B83173310B7DB6 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:20:13] 955*2^1444571-1 is not prime. Res64: DE6F4B4F0052144A Time : 0.0 sec. user=mdettweiler [2016-11-01 00:20:13] 635*2^1444572-1 is not prime. Res64: 8B6F837D4FE23821 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:27:43] 639*2^1444572-1 is not prime. Res64: 674CFB2678884DE9 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:27:43] 695*2^1444572-1 is not prime. Res64: 23FAFC5031475AC6 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:27:44] 975*2^1444572-1 is not prime. Res64: A3091ED246AAEB85 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:27:44] 977*2^1444572-1 is not prime. Res64: FBFCC88FD56466F0 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:27:44] 607*2^1444573-1 is not prime. Res64: 82808EB60E002A2E Time : 0.0 sec. user=mdettweiler [2016-11-01 00:37:07] 619*2^1444573-1 is not prime. Res64: ADFC41E9EF1B445C Time : 0.0 sec. user=mdettweiler [2016-11-01 00:37:07] 691*2^1444573-1 is not prime. Res64: E8CEC6077F0B1CD0 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:37:07] 699*2^1444573-1 is not prime. Res64: 8B8270BE61C576E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:37:08] 729*2^1444573-1 is not prime. Res64: 908A55DA8F65AD79 Time : 0.0 sec. user=mdettweiler [2016-11-01 00:37:08] 741*2^1444573-1 is not prime. Res64: D7FB7567B22F8104 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:06:02] 745*2^1444573-1 is not prime. Res64: A02B1745C0B60068 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:06:05] 801*2^1444573-1 is not prime. Res64: B2A39D837552CCD0 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:06:05] 937*2^1444573-1 is not prime. Res64: 7A19FB3808C9F862 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:06:06] 955*2^1444573-1 is not prime. Res64: ECFDA2D75DBD6853 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:06:07] 605*2^1444574-1 is not prime. Res64: AF8DDBDB59564BBB Time : 0.0 sec. user=mdettweiler [2016-11-01 01:13:07] 675*2^1444574-1 is not prime. Res64: 727F5FAF9CB9BA93 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:13:07] 677*2^1444574-1 is not prime. Res64: 25804BDC93A041E0 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:13:07] 705*2^1444574-1 is not prime. Res64: 930EFFC50E12B956 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:13:08] 723*2^1444575-1 is not prime. Res64: 3383B93D32344820 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:13:08] 739*2^1444575-1 is not prime. Res64: BA9726DF6F3E3C09 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:22:42] 823*2^1444575-1 is not prime. Res64: 79649BE952A58D0B Time : 0.0 sec. user=mdettweiler [2016-11-01 01:22:42] 873*2^1444575-1 is not prime. Res64: 52EDDC659512A7DF Time : 0.0 sec. user=mdettweiler [2016-11-01 01:22:42] 909*2^1444575-1 is not prime. Res64: C7645A8AAAD6AABE Time : 0.0 sec. user=mdettweiler [2016-11-01 01:22:42] 951*2^1444575-1 is not prime. Res64: 02B0527A3C63FB97 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:22:43] 963*2^1444575-1 is not prime. Res64: CFD2CC79F63113A4 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:51:59] 623*2^1444576-1 is not prime. Res64: 49DA2504ED7642A5 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:52:00] 629*2^1444576-1 is not prime. Res64: 1E0B253560D43A71 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:52:00] 663*2^1444576-1 is not prime. Res64: E0FAFAB597D9A8D4 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:52:00] 707*2^1444576-1 is not prime. Res64: 3646F5E73337E3EA Time : 0.0 sec. user=mdettweiler [2016-11-01 01:52:00] 723*2^1444576-1 is not prime. Res64: B60D361E691BE189 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:58:47] 857*2^1444576-1 is not prime. Res64: 77903F4DC622A7E8 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:58:48] 869*2^1444576-1 is not prime. Res64: F28B42F72F3EA90C Time : 0.0 sec. user=mdettweiler [2016-11-01 01:58:48] 875*2^1444576-1 is not prime. Res64: 69C262819C5608E1 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:58:48] 619*2^1444577-1 is not prime. Res64: F3EBC66C6F430094 Time : 0.0 sec. user=mdettweiler [2016-11-01 01:58:48] 697*2^1444577-1 is not prime. Res64: 3B5251BAD9C7EEC5 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:08:27] 937*2^1444577-1 is not prime. Res64: 2A6871D4A3C267FC Time : 0.0 sec. user=mdettweiler [2016-11-01 02:08:27] 945*2^1444577-1 is not prime. Res64: 3C515FB9BF1C98C7 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:08:27] 985*2^1444577-1 is not prime. Res64: 447DE204CCE221F9 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:08:28] 611*2^1444578-1 is not prime. Res64: 1EE2AE0FD897379E Time : 0.0 sec. user=mdettweiler [2016-11-01 02:08:28] 767*2^1444578-1 is not prime. Res64: 580BC5BD71011AB3 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:16:14] 733*2^1444571-1 is not prime. Res64: 9B4823C1DF3F544D Time : 0.0 sec. user=mdettweiler [2016-11-01 02:16:14] 789*2^1444571-1 is not prime. Res64: BB77599F0B6DDCD3 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:16:15] 811*2^1444571-1 is not prime. Res64: 84D1817BA49C810E Time : 0.0 sec. user=mdettweiler [2016-11-01 02:37:17] 881*2^1444578-1 is not prime. Res64: 3DF76C9C9B23AF47 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:37:19] 893*2^1444578-1 is not prime. Res64: 4AD134ACF7A3B72F Time : 0.0 sec. user=mdettweiler [2016-11-01 02:37:19] 933*2^1444578-1 is not prime. Res64: BD5DB96658B17C7C Time : 0.0 sec. user=mdettweiler [2016-11-01 02:37:20] 601*2^1444579-1 is not prime. Res64: D558FB3DAE567A46 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:37:21] 723*2^1444579-1 is not prime. Res64: 017052A95D88DEF5 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:43:42] 745*2^1444579-1 is not prime. Res64: B28257792CE5A53B Time : 0.0 sec. user=mdettweiler [2016-11-01 02:43:42] 829*2^1444579-1 is not prime. Res64: E387B3E60631BAF6 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:43:42] 855*2^1444579-1 is not prime. Res64: 4D675E1097B664B2 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:43:42] 665*2^1444580-1 is not prime. Res64: F7003FF61091FC74 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:43:43] 735*2^1444580-1 is not prime. Res64: A08D1C709A2F7EFD Time : 0.0 sec. user=mdettweiler [2016-11-01 02:53:18] 833*2^1444580-1 is not prime. Res64: 4EF410A8059683B0 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:53:18] 839*2^1444580-1 is not prime. Res64: 12101F31AFC2502D Time : 0.0 sec. user=mdettweiler [2016-11-01 02:53:18] 879*2^1444580-1 is not prime. Res64: 3678697303CEF78E Time : 0.0 sec. user=mdettweiler [2016-11-01 02:53:18] 935*2^1444580-1 is not prime. Res64: 87D3DB9FD2041C06 Time : 0.0 sec. user=mdettweiler [2016-11-01 02:53:19] 987*2^1444580-1 is not prime. Res64: 2F831DB2B7BD94D9 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:00:54] 995*2^1444580-1 is not prime. Res64: 26EBDE229B752D52 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:00:55] 609*2^1444581-1 is not prime. Res64: F28ADDFF27125E71 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:00:57] 679*2^1444581-1 is not prime. Res64: D184B1B251EB2F6F Time : 0.0 sec. user=mdettweiler [2016-11-01 03:00:58] 691*2^1444581-1 is not prime. Res64: E8B618A362BC1085 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:00:59] 747*2^1444581-1 is not prime. Res64: DAFBC0B144479902 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:22:12] 859*2^1444581-1 is not prime. Res64: 17C241C61E4579E1 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:22:12] 885*2^1444581-1 is not prime. Res64: 543E3AFF3FA22477 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:22:12] 921*2^1444581-1 is not prime. Res64: E1A753665CC8595F Time : 0.0 sec. user=mdettweiler [2016-11-01 03:22:13] 603*2^1444582-1 is not prime. Res64: EAC8653A01BF5E7A Time : 0.0 sec. user=mdettweiler [2016-11-01 03:22:13] 645*2^1444582-1 is not prime. Res64: B0D5798D782E8F1C Time : 0.0 sec. user=mdettweiler [2016-11-01 03:28:34] 713*2^1444582-1 is not prime. Res64: 8EB0D08F0061F775 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:28:36] 723*2^1444582-1 is not prime. Res64: 55D184F9841E8A9C Time : 0.0 sec. user=mdettweiler [2016-11-01 03:28:36] 831*2^1444582-1 is not prime. Res64: 741620FF131F7395 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:28:38] 911*2^1444582-1 is not prime. Res64: F42992B61D824D1D Time : 0.0 sec. user=mdettweiler [2016-11-01 03:28:39] 923*2^1444582-1 is not prime. Res64: 8BA8C2A82769596D Time : 0.0 sec. user=mdettweiler [2016-11-01 03:38:47] 941*2^1444582-1 is not prime. Res64: B0A385A9D1A4E011 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:38:51] 957*2^1444582-1 is not prime. Res64: 554BB04B26812FE4 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:38:56] 619*2^1444583-1 is not prime. Res64: F3DBF7957BE4C408 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:38:58] 693*2^1444583-1 is not prime. Res64: 897FC128CB9CAD18 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:39:01] 705*2^1444583-1 is not prime. Res64: A091AC9E026370E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:46:29] 811*2^1444583-1 is not prime. Res64: 1863F227D1E05089 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:46:30] 879*2^1444583-1 is not prime. Res64: F1FFE4EAFC13E939 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:46:32] 949*2^1444583-1 is not prime. Res64: F310E2404D0FE5D9 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:46:33] 605*2^1444584-1 is not prime. Res64: 9D7B7B4C27449E39 Time : 0.0 sec. user=mdettweiler [2016-11-01 03:46:34] 629*2^1444584-1 is not prime. Res64: 4D02407735AF972A Time : 0.0 sec. user=mdettweiler [2016-11-01 04:07:49] 683*2^1444584-1 is not prime. Res64: B6EF184CA2C9CD18 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:07:52] 725*2^1444584-1 is not prime. Res64: 13DFD2867C03326C Time : 0.0 sec. user=mdettweiler [2016-11-01 04:07:56] 837*2^1444584-1 is not prime. Res64: D03640DF92961DE6 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:07:58] 857*2^1444584-1 is not prime. Res64: 95661AE27F1A56A0 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:08:00] 863*2^1444584-1 is not prime. Res64: ABFE87F6C4CC7B06 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:14:16] 909*2^1444584-1 is not prime. Res64: 26467E491F110719 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:14:21] 923*2^1444584-1 is not prime. Res64: 3A65FCF1CE605A9B Time : 0.0 sec. user=mdettweiler [2016-11-01 04:14:26] 601*2^1444585-1 is not prime. Res64: F2DE958097EE4025 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:14:30] 651*2^1444585-1 is not prime. Res64: 6FE99204C2F7E9F5 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:14:35] 679*2^1444585-1 is not prime. Res64: 943F916801A637DD Time : 0.0 sec. user=mdettweiler [2016-11-01 04:25:06] 721*2^1444585-1 is not prime. Res64: F700B19D433A0CE1 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:25:07] 777*2^1444585-1 is not prime. Res64: 0177C1C8432C9333 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:25:07] 617*2^1444586-1 is not prime. Res64: 645A1FB3F8397C35 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:25:08] 735*2^1444586-1 is not prime. Res64: 699568916F13CA32 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:25:08] 801*2^1444586-1 is not prime. Res64: F2D2091749E9DF8D Time : 0.0 sec. user=mdettweiler [2016-11-01 04:30:53] 911*2^1444586-1 is not prime. Res64: 13413C7B8B48BF12 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:30:54] 735*2^1444587-1 is not prime. Res64: FAEA2649B1E36391 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:30:54] 753*2^1444587-1 is not prime. Res64: 5A57B9E69F047710 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:30:54] 871*2^1444587-1 is not prime. Res64: 0E31E16E5A9F0D21 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:30:54] 879*2^1444587-1 is not prime. Res64: 989B79156D84AFD5 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:52:45] 903*2^1444587-1 is not prime. Res64: 5171188E223A4062 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:52:46] 963*2^1444587-1 is not prime. Res64: A97AFE2AB60306F8 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:52:46] 615*2^1444588-1 is not prime. Res64: 5CE7C4526A63EE44 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:52:46] 743*2^1444588-1 is not prime. Res64: AAC9211A5223C0AB Time : 0.0 sec. user=mdettweiler [2016-11-01 04:52:46] 749*2^1444588-1 is not prime. Res64: 94F52631CE742CEC Time : 0.0 sec. user=mdettweiler [2016-11-01 04:59:26] 777*2^1444588-1 is not prime. Res64: 6C33CCC9308726C6 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:59:26] 825*2^1444588-1 is not prime. Res64: 4EE29E395BEA4C98 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:59:26] 845*2^1444588-1 is not prime. Res64: 53EB0E90E9497E65 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:59:26] 915*2^1444588-1 is not prime. Res64: DA4B589C3246CAF8 Time : 0.0 sec. user=mdettweiler [2016-11-01 04:59:27] 959*2^1444588-1 is not prime. Res64: 50BD87F854E5AAA5 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:09:05] 631*2^1444589-1 is not prime. Res64: FCAB5C9079FD7A1A Time : 0.0 sec. user=mdettweiler [2016-11-01 05:09:05] 655*2^1444589-1 is not prime. Res64: F0E22F98BE764602 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:09:05] 675*2^1444589-1 is not prime. Res64: 46A0AB742A64EAC1 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:09:06] 729*2^1444589-1 is not prime. Res64: 001AEF0FF81F2FD0 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:09:06] 747*2^1444589-1 is not prime. Res64: 64A9E00E73F8BB32 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:15:41] 829*2^1444589-1 is not prime. Res64: FFE5597526381DD8 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:15:42] 985*2^1444589-1 is not prime. Res64: FAF94AFEB49FD2BE Time : 0.0 sec. user=mdettweiler [2016-11-01 05:15:42] 693*2^1444590-1 is not prime. Res64: E7826F9B94864220 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:15:43] 851*2^1444590-1 is not prime. Res64: A9F90C05CFB8C98B Time : 0.0 sec. user=mdettweiler [2016-11-01 05:15:44] 941*2^1444590-1 is not prime. Res64: 878247FD224A17A3 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:37:35] 741*2^1444591-1 is not prime. Res64: ADF4AA7BE8B54DF9 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:37:36] 745*2^1444591-1 is not prime. Res64: 77BCD8F8128812B1 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:37:36] 861*2^1444591-1 is not prime. Res64: E18923E9F314C45A Time : 0.0 sec. user=mdettweiler [2016-11-01 05:37:36] 901*2^1444591-1 is not prime. Res64: E281A21109504EF5 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:37:36] 909*2^1444591-1 is not prime. Res64: 3E322DEFB5891651 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:44:07] 939*2^1444591-1 is not prime. Res64: CE55A0CBB7153C26 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:44:07] 975*2^1444591-1 is not prime. Res64: 09C0070D5567E89C Time : 0.0 sec. user=mdettweiler [2016-11-01 05:44:08] 665*2^1444592-1 is not prime. Res64: D23DF0278845684F Time : 0.0 sec. user=mdettweiler [2016-11-01 05:44:08] 717*2^1444592-1 is not prime. Res64: 266834CBA2DF5DB8 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:44:08] 719*2^1444592-1 is not prime. Res64: 03AA88A6496FF5DD Time : 0.0 sec. user=mdettweiler [2016-11-01 05:53:53] 777*2^1444592-1 is not prime. Res64: C1E6D588D9C883AF Time : 0.0 sec. user=mdettweiler [2016-11-01 05:53:53] 875*2^1444592-1 is not prime. Res64: 2F490725C1084882 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:53:53] 977*2^1444592-1 is not prime. Res64: 211882DDC2AB2CA2 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:53:53] 983*2^1444592-1 is not prime. Res64: AA266B78F29ED952 Time : 0.0 sec. user=mdettweiler [2016-11-01 05:53:54] 999*2^1444592-1 is not prime. Res64: 1B32D0B5107480FF Time : 0.0 sec. user=mdettweiler [2016-11-01 06:00:47] 609*2^1444593-1 is not prime. Res64: 9249C022CAC4324D Time : 0.0 sec. user=mdettweiler [2016-11-01 06:00:50] 625*2^1444593-1 is not prime. Res64: 0CD890BDE65D499E Time : 0.0 sec. user=mdettweiler [2016-11-01 06:00:51] 657*2^1444593-1 is not prime. Res64: 32C6C610C42C1EA7 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:00:52] 679*2^1444593-1 is not prime. Res64: E77E6A22270804E2 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:00:53] 787*2^1444593-1 is not prime. Res64: 914009390E3B5BDD Time : 0.0 sec. user=mdettweiler [2016-11-01 06:22:30] 621*2^1444594-1 is not prime. Res64: 9A51D39597091E1D Time : 0.0 sec. user=mdettweiler [2016-11-01 06:22:30] 677*2^1444594-1 is not prime. Res64: 4F4E59B834281FF0 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:22:30] 815*2^1444594-1 is not prime. Res64: A2B7D480AF5931B7 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:22:30] 945*2^1444594-1 is not prime. Res64: 50004161F981B2DB Time : 0.0 sec. user=mdettweiler [2016-11-01 06:22:31] 957*2^1444594-1 is not prime. Res64: 29273F6D951C2BD6 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:29:02] 971*2^1444594-1 is not prime. Res64: 465DDCB53FFD5BD9 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:29:02] 603*2^1444595-1 is not prime. Res64: C9F4D49633B50FF3 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:29:02] 669*2^1444595-1 is not prime. Res64: 40D04217E5FE5A0C Time : 0.0 sec. user=mdettweiler [2016-11-01 06:29:02] 783*2^1444595-1 is not prime. Res64: 2DD1533605DB5AC9 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:29:03] 683*2^1444596-1 is not prime. Res64: D987081C6AA7AF7C Time : 0.0 sec. user=mdettweiler [2016-11-01 06:38:50] 737*2^1444596-1 is not prime. Res64: 0687377B6F6C91F7 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:38:50] 845*2^1444596-1 is not prime. Res64: 303B3E16947595A0 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:38:50] 893*2^1444596-1 is not prime. Res64: B57E4090D64C5AC8 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:38:50] 903*2^1444596-1 is not prime. Res64: C8AA13DEEF502498 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:38:50] 905*2^1444596-1 is not prime. Res64: 3CEFF5C7123BDF48 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:46:00] 615*2^1444597-1 is not prime. Res64: F1482FB13EE688E8 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:46:00] 625*2^1444597-1 is not prime. Res64: 6F0FA689D3154F47 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:46:01] 825*2^1444597-1 is not prime. Res64: 096AC4BB9E4A4730 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:46:02] 931*2^1444597-1 is not prime. Res64: AD9B11EE5E1D7050 Time : 0.0 sec. user=mdettweiler [2016-11-01 06:46:02] 955*2^1444597-1 is not prime. Res64: 659B8D5BF3D4404D Time : 0.0 sec. user=mdettweiler [2016-11-01 07:07:35] 665*2^1444598-1 is not prime. Res64: C2389458FB57EDAA Time : 0.0 sec. user=mdettweiler [2016-11-01 07:07:36] 705*2^1444598-1 is not prime. Res64: D3323E93242393D3 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:07:37] 761*2^1444598-1 is not prime. Res64: 820C3C98803C458E Time : 0.0 sec. user=mdettweiler [2016-11-01 07:07:37] 801*2^1444598-1 is not prime. Res64: CA3372654E18B496 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:07:38] 887*2^1444598-1 is not prime. Res64: 342E9AFEA667DA69 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:13:55] 977*2^1444598-1 is not prime. Res64: D37D16C35C8C09AF Time : 0.0 sec. user=mdettweiler [2016-11-01 07:13:56] 993*2^1444598-1 is not prime. Res64: 0CD6BD39F39BD495 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:13:56] 675*2^1444599-1 is not prime. Res64: D69AFF358C76D654 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:13:56] 723*2^1444599-1 is not prime. Res64: 014E562C7389B743 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:13:56] 829*2^1444599-1 is not prime. Res64: EFB1768ECEAF8077 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:23:28] 891*2^1444599-1 is not prime. Res64: 531E3052479A7F03 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:23:28] 975*2^1444599-1 is not prime. Res64: EAD81AA4EEBA6E0C Time : 0.0 sec. user=mdettweiler [2016-11-01 07:23:28] 979*2^1444599-1 is not prime. Res64: 78BB4B8BB070C508 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:23:28] 603*2^1444600-1 is not prime. Res64: 17E98489857CFBE3 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:23:29] 635*2^1444600-1 is not prime. Res64: ADAD71F9177F4E81 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:30:58] 743*2^1444600-1 is not prime. Res64: D8607BF75885601F Time : 0.0 sec. user=mdettweiler [2016-11-01 07:30:58] 873*2^1444600-1 is not prime. Res64: B826F27C702447E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:30:59] 999*2^1444600-1 is not prime. Res64: A0DDD71FFED21F49 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:30:59] 607*2^1444601-1 is not prime. Res64: B9CA4F4923D71071 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:30:59] 615*2^1444601-1 is not prime. Res64: 108395F5C193B41C Time : 0.0 sec. user=mdettweiler [2016-11-01 07:52:48] 727*2^1444601-1 is not prime. Res64: 9D4F74664609D7E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:52:48] 735*2^1444601-1 is not prime. Res64: E9F1F450D03F924F Time : 0.0 sec. user=mdettweiler [2016-11-01 07:52:48] 745*2^1444601-1 is not prime. Res64: 5C8F06C7E08A2636 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:52:48] 781*2^1444601-1 is not prime. Res64: C253242982DC7D05 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:52:49] 819*2^1444601-1 is not prime. Res64: E407CA8F5560DCAB Time : 0.0 sec. user=mdettweiler [2016-11-01 07:58:40] 909*2^1444601-1 is not prime. Res64: C5CD844FD48A44E9 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:58:40] 951*2^1444601-1 is not prime. Res64: E6CD5422A409FEF6 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:58:41] 621*2^1444602-1 is not prime. Res64: BB8328A617D45279 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:58:41] 711*2^1444602-1 is not prime. Res64: E056E6DF9540D5A1 Time : 0.0 sec. user=mdettweiler [2016-11-01 07:58:41] 717*2^1444602-1 is not prime. Res64: FE1E282BAEA30C54 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:08:48] 751*2^1444603-1 is not prime. Res64: 0A6AD455F1FF0E71 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:08:50] 765*2^1444603-1 is not prime. Res64: 8DC5E3990B25A6C7 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:08:51] 829*2^1444603-1 is not prime. Res64: 309B8A33F588C728 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:08:54] 855*2^1444603-1 is not prime. Res64: B0A0962D14D81520 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:08:54] 859*2^1444603-1 is not prime. Res64: B8D2A2BDB82B2082 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:16:16] 871*2^1444603-1 is not prime. Res64: 31CAFC3816A2DCBD Time : 0.0 sec. user=mdettweiler [2016-11-01 08:16:17] 889*2^1444603-1 is not prime. Res64: 09AD1BFADB8C5A49 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:16:17] 961*2^1444603-1 is not prime. Res64: 13A85C13B5546FE8 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:16:17] 993*2^1444603-1 is not prime. Res64: 25F5594C444DCD6A Time : 0.0 sec. user=mdettweiler [2016-11-01 08:16:17] 629*2^1444604-1 is not prime. Res64: 1FD502C80C1D61DF Time : 0.0 sec. user=mdettweiler [2016-11-01 08:38:17] 677*2^1444604-1 is not prime. Res64: 9B874AD8EA227FFB Time : 0.0 sec. user=mdettweiler [2016-11-01 08:38:18] 707*2^1444604-1 is not prime. Res64: 525BEC735B3E06D7 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:38:20] 749*2^1444604-1 is not prime. Res64: CC20ADEFBA5730DB Time : 0.0 sec. user=mdettweiler [2016-11-01 08:38:22] 869*2^1444604-1 is not prime. Res64: 27D566C74110ADDC Time : 0.0 sec. user=mdettweiler [2016-11-01 08:38:23] 915*2^1444604-1 is not prime. Res64: FC574B50F07B61AE Time : 0.0 sec. user=mdettweiler [2016-11-01 08:44:12] 717*2^1444605-1 is not prime. Res64: A080D8E1EE83434C Time : 0.0 sec. user=mdettweiler [2016-11-01 08:44:12] 781*2^1444605-1 is not prime. Res64: 09309CB055251584 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:44:12] 831*2^1444605-1 is not prime. Res64: AD244A3E9931C8D7 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:44:13] 837*2^1444605-1 is not prime. Res64: 654694EE04493C70 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:44:13] 877*2^1444605-1 is not prime. Res64: 0668CE4065BE76E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:54:08] 985*2^1444605-1 is not prime. Res64: 7A2BB0DB5F77886C Time : 0.0 sec. user=mdettweiler [2016-11-01 08:54:08] 623*2^1444606-1 is not prime. Res64: 0DA8DDEB83DA1F14 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:54:08] 653*2^1444606-1 is not prime. Res64: 57391A53193850F7 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:54:08] 695*2^1444606-1 is not prime. Res64: 39A54760316F62E4 Time : 0.0 sec. user=mdettweiler [2016-11-01 08:54:09] 705*2^1444606-1 is not prime. Res64: 2B6D1C8EC408DFD7 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:01:26] 755*2^1444606-1 is not prime. Res64: 5C3E8433C190FA98 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:01:28] 765*2^1444606-1 is not prime. Res64: D7EC5494A06EBCD6 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:01:29] 813*2^1444606-1 is not prime. Res64: 4DCA83CA6D849FB3 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:01:30] 843*2^1444606-1 is not prime. Res64: 5B658C5A5AE5587A Time : 0.0 sec. user=mdettweiler [2016-11-01 09:01:31] 857*2^1444606-1 is not prime. Res64: 9378D92CC7435486 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:23:28] 759*2^1444607-1 is not prime. Res64: BA3D8F8474D776C2 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:23:28] 825*2^1444607-1 is not prime. Res64: B170F973A93CE5EC Time : 0.0 sec. user=mdettweiler [2016-11-01 09:23:29] 831*2^1444607-1 is not prime. Res64: 124DBC97A3524B44 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:23:29] 753*2^1444608-1 is not prime. Res64: EE22320341E82246 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:23:29] 767*2^1444608-1 is not prime. Res64: A0DF2CB415B28593 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:29:12] 849*2^1444608-1 is not prime. Res64: 69199F85040F0E92 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:29:12] 893*2^1444608-1 is not prime. Res64: 55E21FC437A1DE48 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:29:13] 905*2^1444608-1 is not prime. Res64: 82B50B4A6210CE93 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:29:13] 615*2^1444609-1 is not prime. Res64: 9987097C5994551C Time : 0.0 sec. user=mdettweiler [2016-11-01 09:29:13] 625*2^1444609-1 is not prime. Res64: 15C07F6831A1195D Time : 0.0 sec. user=mdettweiler [2016-11-01 09:39:00] 747*2^1444609-1 is not prime. Res64: 306420C590352ABB Time : 0.0 sec. user=mdettweiler [2016-11-01 09:39:00] 769*2^1444609-1 is not prime. Res64: 5CD065BCAF6F767F Time : 0.0 sec. user=mdettweiler [2016-11-01 09:39:00] 939*2^1444609-1 is not prime. Res64: 2909BDDB4BA9FEC1 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:39:01] 945*2^1444609-1 is not prime. Res64: 3119349FCC50F6C6 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:39:01] 717*2^1444610-1 is not prime. Res64: F33787B3482BE14D Time : 0.0 sec. user=mdettweiler [2016-11-01 09:46:24] 773*2^1444610-1 is not prime. Res64: B4FC1DBBB8E87F2F Time : 0.0 sec. user=mdettweiler [2016-11-01 09:46:25] 887*2^1444610-1 is not prime. Res64: 75AEF9C027398DE9 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:46:25] 1001*2^1444610-1 is not prime. Res64: C25F8F178666B4D1 Time : 0.0 sec. user=mdettweiler [2016-11-01 09:46:25] 621*2^1444611-1 is not prime. Res64: 3E4CA82A50D807CB Time : 0.0 sec. user=mdettweiler [2016-11-01 09:46:25] 649*2^1444611-1 is not prime. Res64: E649F3A28F035985 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:08:16] 769*2^1444611-1 is not prime. Res64: 470FDEE8AC29AEB0 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:08:18] 775*2^1444611-1 is not prime. Res64: E046ABC6E7C6C85A Time : 0.0 sec. user=mdettweiler [2016-11-01 10:08:20] 783*2^1444611-1 is not prime. Res64: 4963E0478E8749D7 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:08:21] 823*2^1444611-1 is not prime. Res64: B7B69FB6A2C3409E Time : 0.0 sec. user=mdettweiler [2016-11-01 10:08:24] 871*2^1444611-1 is not prime. Res64: FACBC78153F84FAF Time : 0.0 sec. user=mdettweiler [2016-11-01 10:13:53] 921*2^1444611-1 is not prime. Res64: 43B84232A69F610C Time : 0.0 sec. user=mdettweiler [2016-11-01 10:13:54] 975*2^1444611-1 is not prime. Res64: BEB2D4AE08EDD505 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:13:54] 635*2^1444612-1 is not prime. Res64: 83C610EA0310BF02 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:13:54] 693*2^1444612-1 is not prime. Res64: B8646ED64B201C67 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:13:54] 695*2^1444612-1 is not prime. Res64: 69AA664DBD7E9B35 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:23:45] 833*2^1444612-1 is not prime. Res64: 8A4BC32B8D9B12D7 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:23:45] 983*2^1444612-1 is not prime. Res64: A12D98F10DEED3B4 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:23:45] 675*2^1444613-1 is not prime. Res64: D2362CAFB872B796 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:23:46] 699*2^1444613-1 is not prime. Res64: 4DFFFAC0136270FB Time : 0.0 sec. user=mdettweiler [2016-11-01 10:23:46] 721*2^1444613-1 is not prime. Res64: E26ACE7E5E0D026C Time : 0.0 sec. user=mdettweiler [2016-11-01 10:31:03] 771*2^1444613-1 is not prime. Res64: 69324833C0C3F82B Time : 0.0 sec. user=mdettweiler [2016-11-01 10:31:04] 789*2^1444613-1 is not prime. Res64: D9C23D692DFEC918 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:31:04] 847*2^1444613-1 is not prime. Res64: 7DE4D46ABE5923A2 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:31:05] 861*2^1444613-1 is not prime. Res64: D081ED1E1D288E98 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:31:05] 969*2^1444613-1 is not prime. Res64: 891AEC74E0232F91 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:53:21] 693*2^1444614-1 is not prime. Res64: 1E91A27DEA222FF4 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:53:21] 705*2^1444614-1 is not prime. Res64: 27727515AEA4AB76 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:53:21] 765*2^1444614-1 is not prime. Res64: 487E68BD6354740E Time : 0.0 sec. user=mdettweiler [2016-11-01 10:53:22] 783*2^1444614-1 is not prime. Res64: E546857D0EED6687 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:53:22] 807*2^1444614-1 is not prime. Res64: 6289788503ABF6B5 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:58:43] 651*2^1444615-1 is not prime. Res64: C2319F4CCC93172E Time : 0.0 sec. user=mdettweiler [2016-11-01 10:58:43] 759*2^1444615-1 is not prime. Res64: 0024CD17D6429ADE Time : 0.0 sec. user=mdettweiler [2016-11-01 10:58:44] 859*2^1444615-1 is not prime. Res64: 6C13C21F4A628881 Time : 0.0 sec. user=mdettweiler [2016-11-01 10:58:44] 873*2^1444615-1 is not prime. Res64: 2E165D18B9FB806B Time : 0.0 sec. user=mdettweiler [2016-11-01 10:58:44] 909*2^1444615-1 is not prime. Res64: A956D6EAADA387E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:08:45] 919*2^1444615-1 is not prime. Res64: F604AA5E8C1E76C6 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:08:47] 961*2^1444615-1 is not prime. Res64: 054FDCE7433F59CF Time : 0.0 sec. user=mdettweiler [2016-11-01 11:08:50] 623*2^1444616-1 is not prime. Res64: 2369EF3E8F380B52 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:08:52] 645*2^1444616-1 is not prime. Res64: CFE5F87AEB4111E3 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:08:53] 677*2^1444616-1 is not prime. Res64: 1EFEBF453EA87986 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:15:56] 683*2^1444616-1 is not prime. Res64: 480A92F862934318 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:15:57] 825*2^1444616-1 is not prime. Res64: E9332597D79EF0AB Time : 0.0 sec. user=mdettweiler [2016-11-01 11:15:57] 873*2^1444616-1 is not prime. Res64: 49328B1AD63A9BD7 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:15:57] 879*2^1444616-1 is not prime. Res64: 4BDAE00546BF618E Time : 0.0 sec. user=mdettweiler [2016-11-01 11:15:58] 897*2^1444616-1 is not prime. Res64: 12170CEA262AA9E2 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:38:16] 935*2^1444616-1 is not prime. Res64: BA16F92919C26463 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:38:16] 945*2^1444616-1 is not prime. Res64: 71412DDEAE30FDCF Time : 0.0 sec. user=mdettweiler [2016-11-01 11:38:16] 963*2^1444616-1 is not prime. Res64: 6D4384E19178B1EF Time : 0.0 sec. user=mdettweiler [2016-11-01 11:38:17] 969*2^1444616-1 is not prime. Res64: A4411BF839A48A42 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:38:17] 639*2^1444617-1 is not prime. Res64: 6C730D8A6296FE39 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:43:39] 739*2^1444617-1 is not prime. Res64: 653231D47BA32CC9 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:43:39] 765*2^1444617-1 is not prime. Res64: 3BDAF0EA23583D2A Time : 0.0 sec. user=mdettweiler [2016-11-01 11:43:40] 807*2^1444617-1 is not prime. Res64: 98CA22F81C0C7D4C Time : 0.0 sec. user=mdettweiler [2016-11-01 11:43:40] 867*2^1444617-1 is not prime. Res64: E54638515343F400 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:43:40] 909*2^1444617-1 is not prime. Res64: 8B1F3FE2217EE5D9 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:54:08] 605*2^1444618-1 is not prime. Res64: 378E64035504E141 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:54:09] 647*2^1444618-1 is not prime. Res64: D6A49435D2D6DC20 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:54:09] 651*2^1444618-1 is not prime. Res64: 29A2CA185E3E09D8 Time : 0.0 sec. user=mdettweiler [2016-11-01 11:54:09] 687*2^1444618-1 is not prime. Res64: 24C6427E7725CEEF Time : 0.0 sec. user=mdettweiler [2016-11-01 11:54:09] 791*2^1444618-1 is not prime. Res64: 8D59BE788886BEB1 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:00:46] 881*2^1444618-1 is not prime. Res64: 74DBBEBDE94E56BD Time : 0.0 sec. user=mdettweiler [2016-11-01 12:00:47] 951*2^1444618-1 is not prime. Res64: C190EFCCDABF5C61 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:00:49] 995*2^1444618-1 is not prime. Res64: EC0160864D7E911C Time : 0.0 sec. user=mdettweiler [2016-11-01 12:00:50] 601*2^1444619-1 is not prime. Res64: 81F3BF332A4BA539 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:00:51] 705*2^1444619-1 is not prime. Res64: BEA51B409F99B9FA Time : 0.0 sec. user=mdettweiler [2016-11-01 12:22:59] 733*2^1444619-1 is not prime. Res64: F1C972BEB105E3C5 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:22:59] 759*2^1444619-1 is not prime. Res64: 658E6D81A7C46245 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:22:59] 771*2^1444619-1 is not prime. Res64: A38DFF62268E9430 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:22:59] 861*2^1444619-1 is not prime. Res64: C444560C41439121 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:23:00] 955*2^1444619-1 is not prime. Res64: CE106ECFA23800D3 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:28:21] 979*2^1444619-1 is not prime. Res64: 637EB0EF60D4A1CD Time : 0.0 sec. user=mdettweiler [2016-11-01 12:28:21] 635*2^1444620-1 is not prime. Res64: 5B91D1C4C5635E8B Time : 0.0 sec. user=mdettweiler [2016-11-01 12:28:21] 783*2^1444620-1 is not prime. Res64: 2F13AE53DBD2A52E Time : 0.0 sec. user=mdettweiler [2016-11-01 12:28:21] 809*2^1444620-1 is not prime. Res64: 7C3E12530C76A540 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:28:21] 857*2^1444620-1 is not prime. Res64: E9C20B098E6D21F0 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:38:50] 899*2^1444620-1 is not prime. Res64: 07EAA4886428A370 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:38:50] 959*2^1444620-1 is not prime. Res64: 3D22C2A15E0C1268 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:38:50] 645*2^1444621-1 is not prime. Res64: 301CA3A399F26C77 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:38:51] 681*2^1444621-1 is not prime. Res64: 37FEA7E691F8E0AB Time : 0.0 sec. user=mdettweiler [2016-11-01 12:38:51] 961*2^1444621-1 is not prime. Res64: 22A5AA47DE51994C Time : 0.0 sec. user=mdettweiler [2016-11-01 12:45:37] 645*2^1444622-1 is not prime. Res64: 357360CBBBB115A7 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:45:37] 683*2^1444622-1 is not prime. Res64: F6F5779F676AD677 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:45:37] 813*2^1444622-1 is not prime. Res64: 7AE9768560D18009 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:45:37] 963*2^1444622-1 is not prime. Res64: 7E9B018FB8298B60 Time : 0.0 sec. user=mdettweiler [2016-11-01 12:45:38] 1001*2^1444622-1 is not prime. Res64: 990274EE333839F3 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:08:20] 685*2^1444623-1 is not prime. Res64: D28F51BCAE1C1F8F Time : 0.0 sec. user=mdettweiler [2016-11-01 13:08:21] 741*2^1444623-1 is not prime. Res64: 76F0A24701089912 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:08:23] 775*2^1444623-1 is not prime. Res64: C1255E9B85EA0510 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:08:23] 635*2^1444624-1 is not prime. Res64: 4A87C6EC166AF04D Time : 0.0 sec. user=mdettweiler [2016-11-01 13:08:25] 657*2^1444624-1 is not prime. Res64: A10575CEC58E433F Time : 0.0 sec. user=mdettweiler [2016-11-01 13:13:42] 899*2^1444624-1 is not prime. Res64: B25289B876EB6E1C Time : 0.0 sec. user=mdettweiler [2016-11-01 13:13:42] 939*2^1444624-1 is not prime. Res64: D4F33FFA3B27CBBF Time : 0.0 sec. user=mdettweiler [2016-11-01 13:13:42] 989*2^1444624-1 is not prime. Res64: 7D5DC3C69B6139BA Time : 0.0 sec. user=mdettweiler [2016-11-01 13:13:43] 645*2^1444625-1 is not prime. Res64: 0098686E22796984 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:13:43] 669*2^1444625-1 is not prime. Res64: C875D2ADA8EA9C42 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:24:28] 691*2^1444625-1 is not prime. Res64: F76E145B78249786 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:24:28] 735*2^1444625-1 is not prime. Res64: 111E3C1ECF65C453 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:24:28] 771*2^1444625-1 is not prime. Res64: B7CFF0782732D5F0 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:24:28] 801*2^1444625-1 is not prime. Res64: A2B9E7E3947C871A Time : 0.0 sec. user=mdettweiler [2016-11-01 13:24:29] 907*2^1444625-1 is not prime. Res64: E7CA85E4D6533562 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:31:10] 937*2^1444625-1 is not prime. Res64: 53E6F0E819631433 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:31:10] 949*2^1444625-1 is not prime. Res64: 9A69EF4EC4F745E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:31:10] 705*2^1444626-1 is not prime. Res64: EF0B1C6ABAAB6B2D Time : 0.0 sec. user=mdettweiler [2016-11-01 13:31:10] 711*2^1444626-1 is not prime. Res64: A3154DC1DC5DE8E3 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:31:11] 735*2^1444626-1 is not prime. Res64: F2642B32013C2694 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:53:28] 737*2^1444626-1 is not prime. Res64: 4F3DA75BA8E60800 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:53:29] 747*2^1444626-1 is not prime. Res64: 9579E6F0F646B6C0 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:53:29] 777*2^1444626-1 is not prime. Res64: 4A796088468F595E Time : 0.0 sec. user=mdettweiler [2016-11-01 13:53:29] 941*2^1444626-1 is not prime. Res64: 3739C4158F5A6A12 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:53:29] 975*2^1444626-1 is not prime. Res64: A5B890F02E5C07F4 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:58:37] 993*2^1444626-1 is not prime. Res64: C97B876FABBD83A3 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:58:38] 615*2^1444627-1 is not prime. Res64: 5185437916D8C854 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:58:38] 649*2^1444627-1 is not prime. Res64: 2F21312370156112 Time : 0.0 sec. user=mdettweiler [2016-11-01 13:58:38] 663*2^1444627-1 is not prime. Res64: 0341535E219FA4CB Time : 0.0 sec. user=mdettweiler [2016-11-01 13:58:38] 685*2^1444627-1 is not prime. Res64: 1EB21591FC0A2390 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:09:23] 693*2^1444627-1 is not prime. Res64: 416ADE1F8A34A04C Time : 0.0 sec. user=mdettweiler [2016-11-01 14:09:27] 819*2^1444627-1 is not prime. Res64: 633099A08169BAF6 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:09:30] 915*2^1444627-1 is not prime. Res64: B828E2E1E710EBA4 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:09:32] 925*2^1444627-1 is not prime. Res64: 201E027D4CAEE8E4 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:09:32] 975*2^1444627-1 is not prime. Res64: F16AC3B9690D1C55 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:16:14] 617*2^1444628-1 is not prime. Res64: 9B313C16378CFF01 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:16:15] 647*2^1444628-1 is not prime. Res64: 90DF5210E9BD4ADC Time : 0.0 sec. user=mdettweiler [2016-11-01 14:16:15] 699*2^1444628-1 is not prime. Res64: 2DB1D48D2D1AEE73 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:16:15] 707*2^1444628-1 is not prime. Res64: 48E550FEF865D9A5 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:16:15] 773*2^1444628-1 is not prime. Res64: 74382BE9A061A001 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:39:52] 819*2^1444628-1 is not prime. Res64: 6ED8E8B0C063BF68 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:39:53] 837*2^1444628-1 is not prime. Res64: 113B1F3D78B39AC2 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:39:57] 839*2^1444628-1 is not prime. Res64: 556FC07DDDF1FFCF Time : 0.0 sec. user=mdettweiler [2016-11-01 14:39:59] 867*2^1444628-1 is not prime. Res64: 032E0A3C36F7762E Time : 0.0 sec. user=mdettweiler [2016-11-01 14:40:01] 909*2^1444628-1 is not prime. Res64: 31CCC15EACD735AC Time : 0.0 sec. user=mdettweiler [2016-11-01 14:45:04] 927*2^1444628-1 is not prime. Res64: 98359350A12F1D1D Time : 0.0 sec. user=mdettweiler [2016-11-01 14:45:04] 935*2^1444628-1 is not prime. Res64: 04AF60AD30DF61D8 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:45:05] 621*2^1444629-1 is not prime. Res64: 55688D4157715DD7 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:45:05] 741*2^1444629-1 is not prime. Res64: 853E298730B9996B Time : 0.0 sec. user=mdettweiler [2016-11-01 14:45:05] 847*2^1444629-1 is not prime. Res64: FAAA16072ECE8731 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:57:35] 885*2^1444629-1 is not prime. Res64: 82CB84492B9F517A Time : 0.0 sec. user=mdettweiler [2016-11-01 14:57:35] 867*2^1444630-1 is not prime. Res64: 95538BC49AA90E39 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:57:35] 945*2^1444630-1 is not prime. Res64: FD6CC45EA5C25DEC Time : 0.0 sec. user=mdettweiler [2016-11-01 14:57:35] 957*2^1444630-1 is not prime. Res64: 5C733E739BDDB787 Time : 0.0 sec. user=mdettweiler [2016-11-01 14:57:36] 619*2^1444631-1 is not prime. Res64: E899FC2BB8616098 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:03:19] 663*2^1444631-1 is not prime. Res64: 8667A99A7EE18D89 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:03:20] 685*2^1444631-1 is not prime. Res64: 2EAF03C43B9ABBF6 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:03:21] 693*2^1444631-1 is not prime. Res64: 1B5B76AF5CF64678 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:03:21] 735*2^1444631-1 is not prime. Res64: 91463CD3E5310FE3 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:03:22] 745*2^1444631-1 is not prime. Res64: 3D8474586543002B Time : 0.0 sec. user=mdettweiler [2016-11-01 15:28:17] 805*2^1444631-1 is not prime. Res64: BD4D79B80D858EFE Time : 0.0 sec. user=mdettweiler [2016-11-01 15:28:17] 943*2^1444631-1 is not prime. Res64: BBB9B45C53FF03CB Time : 0.0 sec. user=mdettweiler [2016-11-01 15:28:17] 993*2^1444631-1 is not prime. Res64: 4EB5FDE67A155A7A Time : 0.0 sec. user=mdettweiler [2016-11-01 15:28:18] 999*2^1444631-1 is not prime. Res64: 2FA4F5B3A4DA380D Time : 0.0 sec. user=mdettweiler [2016-11-01 15:28:18] 669*2^1444632-1 is not prime. Res64: F210F506CD895657 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:32:58] 713*2^1444632-1 is not prime. Res64: D5321C6C10D94EE2 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:32:59] 767*2^1444632-1 is not prime. Res64: 70882A49A357F6F6 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:32:59] 863*2^1444632-1 is not prime. Res64: 0C96F68B8F957840 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:32:59] 873*2^1444632-1 is not prime. Res64: 160447A09E45969C Time : 0.0 sec. user=mdettweiler [2016-11-01 15:32:59] 977*2^1444632-1 is not prime. Res64: 9E5737CF1A142100 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:45:54] 649*2^1444633-1 is not prime. Res64: AC4AC21A6A3E7E2F Time : 0.0 sec. user=mdettweiler [2016-11-01 15:45:54] 691*2^1444633-1 is not prime. Res64: A5B3F4688F7ED9C5 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:45:54] 721*2^1444633-1 is not prime. Res64: 8DF3BBCD6567C82F Time : 0.0 sec. user=mdettweiler [2016-11-01 15:45:55] 729*2^1444633-1 is not prime. Res64: E2F658FAA7F85995 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:45:55] 747*2^1444633-1 is not prime. Res64: A1608B7C33E69200 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:51:46] 765*2^1444633-1 is not prime. Res64: 15B250395AE42EDF Time : 0.0 sec. user=mdettweiler [2016-11-01 15:51:46] 867*2^1444633-1 is not prime. Res64: 7728BEFE7D9E1667 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:51:46] 957*2^1444633-1 is not prime. Res64: F8734871DD1600F5 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:51:47] 981*2^1444633-1 is not prime. Res64: B276A2D6F8A9EB04 Time : 0.0 sec. user=mdettweiler [2016-11-01 15:51:47] 665*2^1444634-1 is not prime. Res64: 6435F7CDE68E3FA8 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:16:42] 741*2^1444634-1 is not prime. Res64: A0684A76B2F67FC7 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:16:42] 825*2^1444634-1 is not prime. Res64: 3164E4AA4C394CE6 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:16:43] 851*2^1444634-1 is not prime. Res64: B8B1A02EC7A15A9C Time : 0.0 sec. user=mdettweiler [2016-11-01 16:16:43] 917*2^1444634-1 is not prime. Res64: 8C4F8FBE7740FE95 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:16:43] 941*2^1444634-1 is not prime. Res64: 8015F448ED261C2C Time : 0.0 sec. user=mdettweiler [2016-11-01 16:21:31] 971*2^1444634-1 is not prime. Res64: 0B265F4748A1EC6C Time : 0.0 sec. user=mdettweiler [2016-11-01 16:21:31] 741*2^1444635-1 is not prime. Res64: 530DF0B4F6531B28 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:21:31] 789*2^1444635-1 is not prime. Res64: 906F879C783607ED Time : 0.0 sec. user=mdettweiler [2016-11-01 16:21:32] 903*2^1444635-1 is not prime. Res64: F7B33347D5E16184 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:21:32] 909*2^1444635-1 is not prime. Res64: DC88D35E0438AFD8 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:35:21] 921*2^1444635-1 is not prime. Res64: BB7A9126D6536172 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:35:21] 963*2^1444635-1 is not prime. Res64: 8EB57CDBFCEA19FB Time : 0.0 sec. user=mdettweiler [2016-11-01 16:35:21] 985*2^1444635-1 is not prime. Res64: 9CCF1B69DBEF818A Time : 0.0 sec. user=mdettweiler [2016-11-01 16:35:22] 735*2^1444636-1 is not prime. Res64: 8875E4687FE63054 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:35:22] 777*2^1444636-1 is not prime. Res64: 9EFC8D37C4A3825C Time : 0.0 sec. user=mdettweiler [2016-11-01 16:40:02] 779*2^1444636-1 is not prime. Res64: 50CAD98EE795A150 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:40:02] 783*2^1444636-1 is not prime. Res64: 1856D87E82799132 Time : 0.0 sec. user=mdettweiler [2016-11-01 16:40:03] 875*2^1444636-1 is not prime. Res64: 8E6FC715BDCCEB6A Time : 0.0 sec. user=mdettweiler [2016-11-01 16:40:03] 957*2^1444636-1 is not prime. Res64: 7887852C6B28BB0F Time : 0.0 sec. user=mdettweiler [2016-11-01 16:40:03] 649*2^1444637-1 is not prime. Res64: A9212B7AEE3E639F Time : 0.0 sec. user=mdettweiler [2016-11-01 17:04:14] 769*2^1444637-1 is not prime. Res64: 93BA11FDDD34F5DA Time : 0.0 sec. user=mdettweiler [2016-11-01 17:04:15] 819*2^1444637-1 is not prime. Res64: 871F449F0C82E63A Time : 0.0 sec. user=mdettweiler [2016-11-01 17:04:16] 829*2^1444637-1 is not prime. Res64: BDF22288D34517E6 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:04:18] 879*2^1444637-1 is not prime. Res64: 6C31C6206A158E40 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:04:19] 885*2^1444637-1 is not prime. Res64: 770A6B7BAD710502 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:09:07] 925*2^1444637-1 is not prime. Res64: 45F230D0C2BDFD7B Time : 0.0 sec. user=mdettweiler [2016-11-01 17:09:10] 621*2^1444638-1 is not prime. Res64: 9690C598900877F2 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:09:10] 825*2^1444638-1 is not prime. Res64: 067BE2E85811F838 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:09:13] 945*2^1444638-1 is not prime. Res64: E20C8D782E035434 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:09:14] 971*2^1444638-1 is not prime. Res64: 096100EB271FF5E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:21:29] 1001*2^1444638-1 is not prime. Res64: CD97F697A28E8C50 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:21:30] 759*2^1444639-1 is not prime. Res64: 14703D6139BDC917 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:21:30] 831*2^1444639-1 is not prime. Res64: 52674E3F474E1B56 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:21:30] 975*2^1444639-1 is not prime. Res64: AB854E27BA787EA9 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:21:31] 629*2^1444640-1 is not prime. Res64: A610A6BF0AAF4D91 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:25:49] 839*2^1444640-1 is not prime. Res64: 7502AFAE741526FB Time : 0.0 sec. user=mdettweiler [2016-11-01 17:25:49] 845*2^1444640-1 is not prime. Res64: 45BA84AF514C03D2 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:25:49] 875*2^1444640-1 is not prime. Res64: 9BF8F143D1760BA0 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:25:50] 601*2^1444641-1 is not prime. Res64: E110359AD7DFC641 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:25:50] 741*2^1444641-1 is not prime. Res64: 18B88C9B5129FFE4 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:49:13] 747*2^1444641-1 is not prime. Res64: 483FC435B6F2045C Time : 0.0 sec. user=mdettweiler [2016-11-01 17:49:14] 889*2^1444641-1 is not prime. Res64: 04268674D654FB90 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:49:14] 907*2^1444641-1 is not prime. Res64: 460BB46631BF4B86 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:49:14] 647*2^1444642-1 is not prime. Res64: CC5FE71DDCA40AFA Time : 0.0 sec. user=mdettweiler [2016-11-01 17:49:14] 737*2^1444642-1 is not prime. Res64: 2ED299CE5CDEF95A Time : 0.0 sec. user=mdettweiler [2016-11-01 17:54:24] 755*2^1444642-1 is not prime. Res64: 4D2A9AC35DD38310 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:54:24] 765*2^1444642-1 is not prime. Res64: 90400B708E5B328D Time : 0.0 sec. user=mdettweiler [2016-11-01 17:54:25] 947*2^1444642-1 is not prime. Res64: 7E7BF9592CD1F3E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:54:25] 987*2^1444642-1 is not prime. Res64: BDDF6F611B3A1100 Time : 0.0 sec. user=mdettweiler [2016-11-01 17:54:25] 609*2^1444643-1 is not prime. Res64: BBAAB2C919D54E75 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:06:32] 615*2^1444643-1 is not prime. Res64: AAFBBBEE9B76894D Time : 0.0 sec. user=mdettweiler [2016-11-01 18:06:34] 621*2^1444643-1 is not prime. Res64: 44F3D907E62A5912 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:06:36] 649*2^1444643-1 is not prime. Res64: A29D2EB64D1F4D0B Time : 0.0 sec. user=mdettweiler [2016-11-01 18:06:38] 685*2^1444643-1 is not prime. Res64: 9C4DF4393978DCF5 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:06:39] 741*2^1444643-1 is not prime. Res64: 1F277198A09FCEAB Time : 0.0 sec. user=mdettweiler [2016-11-01 18:10:40] 745*2^1444643-1 is not prime. Res64: AD0FF216D9B24109 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:10:43] 771*2^1444643-1 is not prime. Res64: E4D51DDA93D8D4C4 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:10:44] 855*2^1444643-1 is not prime. Res64: 651F9FDFCBFCDFC2 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:10:47] 889*2^1444643-1 is not prime. Res64: 4550B117DB10F093 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:10:48] 913*2^1444643-1 is not prime. Res64: 3D44DCC3F6ACA0E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:34:02] 915*2^1444643-1 is not prime. Res64: 14CE0F9FB1EC17AC Time : 0.0 sec. user=mdettweiler [2016-11-01 18:34:02] 963*2^1444643-1 is not prime. Res64: 193C5CE70B09F376 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:34:03] 635*2^1444644-1 is not prime. Res64: D43A96F751DCF937 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:34:03] 675*2^1444644-1 is not prime. Res64: 1C300E58BB92EEAD Time : 0.0 sec. user=mdettweiler [2016-11-01 18:34:03] 705*2^1444644-1 is not prime. Res64: F104B7E2977E6317 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:39:21] 729*2^1444645-1 is not prime. Res64: 7E76C60BF180B50E Time : 0.0 sec. user=mdettweiler [2016-11-01 18:39:22] 757*2^1444645-1 is not prime. Res64: 7A3A0E49A14B2E83 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:39:22] 801*2^1444645-1 is not prime. Res64: B986E731D7F65E28 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:39:22] 805*2^1444645-1 is not prime. Res64: EA93B3D0BE1D442F Time : 0.0 sec. user=mdettweiler [2016-11-01 18:39:23] 861*2^1444645-1 is not prime. Res64: FFCCFA35FD2712E7 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:51:38] 885*2^1444645-1 is not prime. Res64: 3CF6CD23D575C993 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:51:39] 951*2^1444645-1 is not prime. Res64: 588C351A01F5C157 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:51:39] 957*2^1444645-1 is not prime. Res64: 432606835530ED61 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:51:39] 623*2^1444646-1 is not prime. Res64: F1BAF6457C406B7E Time : 0.0 sec. user=mdettweiler [2016-11-01 18:51:39] 663*2^1444646-1 is not prime. Res64: C46BEE2C072246E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:55:27] 675*2^1444646-1 is not prime. Res64: EF4BC3AC20C3B143 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:55:27] 683*2^1444646-1 is not prime. Res64: 6F82A7A9DCF0836B Time : 0.0 sec. user=mdettweiler [2016-11-01 18:55:27] 825*2^1444646-1 is not prime. Res64: 25E412B911CFB3E2 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:55:28] 897*2^1444646-1 is not prime. Res64: 7853B7FCC30952D9 Time : 0.0 sec. user=mdettweiler [2016-11-01 18:55:28] 661*2^1444647-1 is not prime. Res64: 70B0B2EF6425B5AA Time : 0.0 sec. user=mdettweiler [2016-11-01 19:18:52] 703*2^1444647-1 is not prime. Res64: FE87F207FDDC1623 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:18:52] 751*2^1444647-1 is not prime. Res64: 087FE163C5857800 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:18:52] 765*2^1444647-1 is not prime. Res64: 316FE7E81C2263AF Time : 0.0 sec. user=mdettweiler [2016-11-01 19:18:52] 775*2^1444647-1 is not prime. Res64: 2EDA373F6CBE47FA Time : 0.0 sec. user=mdettweiler [2016-11-01 19:18:53] 823*2^1444647-1 is not prime. Res64: BBA7EB6FDE2E289D Time : 0.0 sec. user=mdettweiler [2016-11-01 19:24:09] 895*2^1444647-1 is not prime. Res64: B2256A79A153BCBB Time : 0.0 sec. user=mdettweiler [2016-11-01 19:24:09] 951*2^1444647-1 is not prime. Res64: E0376228ADB40FC6 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:24:10] 687*2^1444648-1 is not prime. Res64: 5AA76EFBF2F86D6E Time : 0.0 sec. user=mdettweiler [2016-11-01 19:24:10] 765*2^1444648-1 is not prime. Res64: D322317ECB6AEBE8 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:24:10] 833*2^1444648-1 is not prime. Res64: AB248A95BE2A5555 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:36:31] 863*2^1444648-1 is not prime. Res64: 6FF00D08BB17D7BB Time : 0.0 sec. user=mdettweiler [2016-11-01 19:36:31] 909*2^1444648-1 is not prime. Res64: D1B309636A104062 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:36:32] 697*2^1444649-1 is not prime. Res64: 387CCE92859DE454 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:36:32] 711*2^1444649-1 is not prime. Res64: 759154D923C12DA5 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:36:32] 735*2^1444649-1 is not prime. Res64: 5EA5BA9B56ED08EF Time : 0.0 sec. user=mdettweiler [2016-11-01 19:40:12] 747*2^1444649-1 is not prime. Res64: DEB2BE7F19897605 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:40:15] 931*2^1444649-1 is not prime. Res64: 21AF09CEBB8E8B93 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:40:17] 939*2^1444649-1 is not prime. Res64: A264D0F1E8BC35B6 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:40:19] 641*2^1444650-1 is not prime. Res64: D6B84A6D9EB698E9 Time : 0.0 sec. user=mdettweiler [2016-11-01 19:40:20] 741*2^1444650-1 is not prime. Res64: D4DF1127CBF64A0E Time : 0.0 sec. user=mdettweiler [2016-11-01 20:03:51] 851*2^1444650-1 is not prime. Res64: CD5CE8FD8C5994ED Time : 0.0 sec. user=mdettweiler [2016-11-01 20:03:52] 951*2^1444650-1 is not prime. Res64: 4D4F549BD82D135B Time : 0.0 sec. user=mdettweiler [2016-11-01 20:03:54] 601*2^1444651-1 is not prime. Res64: 7DEAC9AB5A032688 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:03:56] 619*2^1444651-1 is not prime. Res64: B0745A64E13195DA Time : 0.0 sec. user=mdettweiler [2016-11-01 20:03:57] 645*2^1444651-1 is not prime. Res64: 6CE2934E7EFF8A10 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:09:03] 703*2^1444651-1 is not prime. Res64: 5D43F24F6EC31A99 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:09:04] 735*2^1444651-1 is not prime. Res64: CE17BF5EF454C851 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:09:05] 745*2^1444651-1 is not prime. Res64: 844362295A38CE9A Time : 0.0 sec. user=mdettweiler [2016-11-01 20:09:05] 883*2^1444651-1 is not prime. Res64: 6129A316EEAC9B56 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:09:06] 925*2^1444651-1 is not prime. Res64: 7BDE297C22498603 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:21:35] 939*2^1444651-1 is not prime. Res64: C790347BE5CAB036 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:21:35] 979*2^1444651-1 is not prime. Res64: 87511567FE11F9A5 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:21:36] 855*2^1444652-1 is not prime. Res64: F8B2E67A34C77E71 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:21:36] 963*2^1444652-1 is not prime. Res64: 0EA39A4B6DB7F858 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:21:36] 627*2^1444653-1 is not prime. Res64: 16F8DBC17C1EB716 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:25:24] 685*2^1444653-1 is not prime. Res64: 819D249242AC2A64 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:25:24] 727*2^1444653-1 is not prime. Res64: DD63D4555A8D64A2 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:25:25] 891*2^1444653-1 is not prime. Res64: 3AEA56D070F7EE03 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:25:25] 657*2^1444654-1 is not prime. Res64: 3F9692441BE28B68 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:25:25] 681*2^1444654-1 is not prime. Res64: EF11F38F41137AD1 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:48:54] 705*2^1444654-1 is not prime. Res64: EE424C21A23CB0DD Time : 0.0 sec. user=mdettweiler [2016-11-01 20:48:55] 723*2^1444654-1 is not prime. Res64: 69DAE62999679D2A Time : 0.0 sec. user=mdettweiler [2016-11-01 20:48:55] 741*2^1444654-1 is not prime. Res64: B104C2CF55C1442D Time : 0.0 sec. user=mdettweiler [2016-11-01 20:48:55] 923*2^1444654-1 is not prime. Res64: 6C81D0A2900BDBCA Time : 0.0 sec. user=mdettweiler [2016-11-01 20:48:55] 993*2^1444654-1 is not prime. Res64: E6EC72DDF93E34F0 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:54:10] 1001*2^1444654-1 is not prime. Res64: CC14832A8A05A6B0 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:54:10] 619*2^1444655-1 is not prime. Res64: A3189443A48980F1 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:54:11] 735*2^1444655-1 is not prime. Res64: 6BC2E8B6A0CE4152 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:54:11] 775*2^1444655-1 is not prime. Res64: 5516D82C6DD6BCF7 Time : 0.0 sec. user=mdettweiler [2016-11-01 20:54:11] 789*2^1444655-1 is not prime. Res64: 96AD5026AD5A397B Time : 0.0 sec. user=mdettweiler [2016-11-01 21:06:32] 909*2^1444655-1 is not prime. Res64: 260638F01572A6B2 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:06:35] 979*2^1444655-1 is not prime. Res64: 1AF6DD1ECCA7A6BA Time : 0.0 sec. user=mdettweiler [2016-11-01 21:06:36] 789*2^1444656-1 is not prime. Res64: 22C3665D5FAEA45D Time : 0.0 sec. user=mdettweiler [2016-11-01 21:06:40] 983*2^1444656-1 is not prime. Res64: C0F5D2CACA0C5EB4 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:06:41] 637*2^1444657-1 is not prime. Res64: C19E16033C080C69 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:10:12] 667*2^1444657-1 is not prime. Res64: 84B6E9A9CFFE7A7E Time : 0.0 sec. user=mdettweiler [2016-11-01 21:10:14] 769*2^1444657-1 is not prime. Res64: 4CD0A19D7E665213 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:10:15] 775*2^1444657-1 is not prime. Res64: 06F088593BBAB5FF Time : 0.0 sec. user=mdettweiler [2016-11-01 21:10:16] 937*2^1444657-1 is not prime. Res64: 7A8BA6F69D7A3431 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:10:17] 955*2^1444657-1 is not prime. Res64: D9424BFB4C43BB9F Time : 0.0 sec. user=mdettweiler [2016-11-01 21:33:43] 767*2^1444658-1 is not prime. Res64: 62294F44CF4DA012 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:33:43] 825*2^1444658-1 is not prime. Res64: 0C7B5AE149A89A95 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:33:43] 971*2^1444658-1 is not prime. Res64: 4EACDA5FC30EFD1B Time : 0.0 sec. user=mdettweiler [2016-11-01 21:33:44] 977*2^1444658-1 is not prime. Res64: A6DE6391CA48BEFD Time : 0.0 sec. user=mdettweiler [2016-11-01 21:33:44] 705*2^1444659-1 is not prime. Res64: 4791B88481843936 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:39:04] 859*2^1444659-1 is not prime. Res64: CB8998DA7300443C Time : 0.0 sec. user=mdettweiler [2016-11-01 21:39:07] 873*2^1444659-1 is not prime. Res64: A5450A7D0225D01A Time : 0.0 sec. user=mdettweiler [2016-11-01 21:39:12] 909*2^1444659-1 is not prime. Res64: 87B340A60293BB23 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:39:13] 969*2^1444659-1 is not prime. Res64: 07097844E2DF55BD Time : 0.0 sec. user=mdettweiler [2016-11-01 21:39:15] 693*2^1444660-1 is not prime. Res64: F516603DB8CAAC8F Time : 0.0 sec. user=mdettweiler [2016-11-01 21:51:46] 695*2^1444660-1 is not prime. Res64: 05F1B9F536283F20 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:51:47] 797*2^1444660-1 is not prime. Res64: FCE8FBD34434B268 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:51:47] 801*2^1444661-1 is not prime. Res64: 1FA1D477546194DA Time : 0.0 sec. user=mdettweiler [2016-11-01 21:51:47] 825*2^1444661-1 is not prime. Res64: B8931DA896922A46 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:51:47] 859*2^1444661-1 is not prime. Res64: 883088B4B32D5FB1 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:55:15] 755*2^1444662-1 is not prime. Res64: 7FB3E368CD2CD49D Time : 0.0 sec. user=mdettweiler [2016-11-01 21:55:15] 873*2^1444662-1 is not prime. Res64: 3C685AFA97837CDC Time : 0.0 sec. user=mdettweiler [2016-11-01 21:55:15] 977*2^1444662-1 is not prime. Res64: A5818D0FF4CB8B31 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:55:15] 1001*2^1444662-1 is not prime. Res64: E95BF90BE71F8073 Time : 0.0 sec. user=mdettweiler [2016-11-01 21:55:16] 681*2^1444663-1 is not prime. Res64: CC97643C841067B8 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:18:43] 723*2^1444663-1 is not prime. Res64: D794DDBAF2A6F107 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:18:43] 735*2^1444663-1 is not prime. Res64: F642C7F9946A0DE1 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:18:43] 763*2^1444663-1 is not prime. Res64: 8B07BD4D0286FDD2 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:18:43] 889*2^1444663-1 is not prime. Res64: 19A3DC881E9F5B35 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:18:44] 925*2^1444663-1 is not prime. Res64: 031F5AE9C21BDFD8 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:24:21] 969*2^1444663-1 is not prime. Res64: AC286B21EC189F07 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:24:21] 605*2^1444664-1 is not prime. Res64: DAD1AE6ED2761715 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:24:21] 617*2^1444664-1 is not prime. Res64: 70097CEDDF954449 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:24:22] 635*2^1444664-1 is not prime. Res64: 9DAD91EECA7464EA Time : 0.0 sec. user=mdettweiler [2016-11-01 22:24:22] 677*2^1444664-1 is not prime. Res64: 6EDCFB38D3A1BE7F Time : 0.0 sec. user=mdettweiler [2016-11-01 22:36:42] 875*2^1444664-1 is not prime. Res64: 15D43DBB351DD413 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:36:43] 995*2^1444664-1 is not prime. Res64: 6BA62620D0619BE5 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:36:43] 649*2^1444665-1 is not prime. Res64: 08364CBCF695723C Time : 0.0 sec. user=mdettweiler [2016-11-01 22:36:43] 691*2^1444665-1 is not prime. Res64: BF562C9168FB98C5 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:36:43] 711*2^1444665-1 is not prime. Res64: 327152B924649138 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:40:01] 651*2^1444666-1 is not prime. Res64: 6E43985FDC71E709 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:40:01] 735*2^1444666-1 is not prime. Res64: AF036C397BCA499A Time : 0.0 sec. user=mdettweiler [2016-11-01 22:40:02] 737*2^1444666-1 is not prime. Res64: 61762FED37A29329 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:40:02] 825*2^1444666-1 is not prime. Res64: 31FD0BB8C81C5947 Time : 0.0 sec. user=mdettweiler [2016-11-01 22:40:02] 905*2^1444666-1 is not prime. Res64: 39137D614EE69972 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:04:10] 911*2^1444666-1 is not prime. Res64: 5052D72C47EEDD41 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:04:10] 945*2^1444666-1 is not prime. Res64: 2657D004C16E2074 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:04:11] 971*2^1444666-1 is not prime. Res64: 8C188981CA357350 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:04:12] 633*2^1444667-1 is not prime. Res64: EFFFDC22D6ED0047 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:04:12] 645*2^1444667-1 is not prime. Res64: F712F8B3B107C0F4 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:10:05] 675*2^1444667-1 is not prime. Res64: C240D85A3C8E6EFF Time : 0.0 sec. user=mdettweiler [2016-11-01 23:10:09] 705*2^1444667-1 is not prime. Res64: 6C81DDE15E0A5892 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:10:12] 805*2^1444667-1 is not prime. Res64: 60E8EADD158033EA Time : 0.0 sec. user=mdettweiler [2016-11-01 23:10:14] 885*2^1444667-1 is not prime. Res64: B8C0A371D2D893CF Time : 0.0 sec. user=mdettweiler [2016-11-01 23:10:18] 909*2^1444667-1 is not prime. Res64: 2E33B7875044A11A Time : 0.0 sec. user=mdettweiler [2016-11-01 23:22:14] 963*2^1444667-1 is not prime. Res64: CE8948864655B186 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:22:14] 735*2^1444668-1 is not prime. Res64: 1DA99FCA66D3711D Time : 0.0 sec. user=mdettweiler [2016-11-01 23:22:14] 753*2^1444668-1 is not prime. Res64: 9B31A327AAF17DBF Time : 0.0 sec. user=mdettweiler [2016-11-01 23:22:15] 765*2^1444668-1 is not prime. Res64: B74994384904E7BF Time : 0.0 sec. user=mdettweiler [2016-11-01 23:22:15] 879*2^1444668-1 is not prime. Res64: C3595D98691C98AF Time : 0.0 sec. user=mdettweiler [2016-11-01 23:25:30] 927*2^1444668-1 is not prime. Res64: A3ED4DDB296B665B Time : 0.0 sec. user=mdettweiler [2016-11-01 23:25:30] 969*2^1444668-1 is not prime. Res64: 4CA0178248BC187D Time : 0.0 sec. user=mdettweiler [2016-11-01 23:25:30] 639*2^1444669-1 is not prime. Res64: 095AEE2BECF4B46B Time : 0.0 sec. user=mdettweiler [2016-11-01 23:25:31] 799*2^1444669-1 is not prime. Res64: DB91F6CC11A7545D Time : 0.0 sec. user=mdettweiler [2016-11-01 23:25:31] 819*2^1444669-1 is not prime. Res64: C8F14A08C2B1A4E5 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:49:25] 861*2^1444669-1 is not prime. Res64: 9C1A26EB8B5E2895 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:49:26] 605*2^1444670-1 is not prime. Res64: DD418D747FEDE2D6 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:49:26] 615*2^1444670-1 is not prime. Res64: 7D2A00DCECFCD6CA Time : 0.0 sec. user=mdettweiler [2016-11-01 23:49:26] 731*2^1444670-1 is not prime. Res64: 7B198526398C8F2A Time : 0.0 sec. user=mdettweiler [2016-11-01 23:49:26] 761*2^1444670-1 is not prime. Res64: FB43EDDE9AFC4253 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:55:28] 785*2^1444670-1 is not prime. Res64: D69D108ED12BE07A Time : 0.0 sec. user=mdettweiler [2016-11-01 23:55:28] 795*2^1444670-1 is not prime. Res64: FB7D471F4CD83CBA Time : 0.0 sec. user=mdettweiler [2016-11-01 23:55:29] 801*2^1444670-1 is not prime. Res64: 5C94DDDEB48AD662 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:55:29] 851*2^1444670-1 is not prime. Res64: A56B609AAE239077 Time : 0.0 sec. user=mdettweiler [2016-11-01 23:55:29] 923*2^1444670-1 is not prime. Res64: 8F45F49EE05D5292 Time : 0.0 sec.