OKlibrary  0.2.1.6
uhit_def4.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 10.5.2008 (Shanghai) */
00002 /* Copyright 2008, 2012 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ConflictCombinatorics/HittingClauseSets.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/Deficiency4.mac")$
00024 
00025 
00026 uhit_def[4,4] : [
00027 
00028 sasg2000[2],
00029 minvdegdef4(3)[2],
00030 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{3,4}}, 
00031 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{3,4}}, 
00032 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{3,4}}, 
00033 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-2,-1,3,4},{-1,2,3},{1,4}}, 
00034 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-2,3,4},{-1,2,3},{1,2,4}}, 
00035 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,2,4},{-2,-1,4},{-1,2,3},{1,3,4}}, 
00036 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-2,3,4},{-1,2,3},{1,2,4}}, 
00037 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-1,2,4},{-2,-1,4},{-2,1,4},{-1,2,3},{1,2,4}}, 
00038 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{3,4}}, 
00039 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-1,3,4},{1,3,4}}, 
00040 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,1,2,4},{-2,-1,4},{-1,2,4},{1,3,4}}, 
00041 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-1,3,4},{1,3,4}}, 
00042 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,4},{1,3,4}}, 
00043 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,4},{1,2,4}}, 
00044 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,4},{2,3,4}}, 
00045 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,2,4},{-3,1,2,4},{-2,4},{-1,2,3,4},{1,2,3,4}}, 
00046 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{2,3,4}}, 
00047 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,2,4},{-2,1,4},{-1,3,4},{1,2,3,4}}, 
00048 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00049 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-1,4},{-2,-1,3,4},{-2,1,4},{-1,2,3,4},{1,2,4}}, 
00050 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,1,2,4},{-2,-1,4},{-2,1,4},{-1,2,4},{1,2,3,4}}, 
00051 {{-4,-3},{-4,-2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3,4},{-1,2,3},{1,2,3}}, 
00052 {{-4,-3},{-4,-2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3,4},{2,3}}, 
00053 {{-4,-3},{-4,-2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3,4},{-1,2,3},{1,2,3}}, 
00054 {{-4,-3},{-4,-2,3},{-3,-2,1,4},{-3,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3},{1,2,3}}, 
00055 {{-4,-3},{-4,-2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{2,3}}, 
00056 {{-4,-3},{-4,-2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{-1,2,3},{1,2,3}}, 
00057 {{-4,-3},{-4,-2,3},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,4},{-1,2,3},{1,2,3}}, 
00058 {{-4,-3},{-4,-2,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{-1,2,3},{1,2,3}}, 
00059 {{-4,-3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3},{2,3,4}}, 
00060 {{-4,-3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3},{-1,2,3},{1,2,3,4}}, 
00061 {{-4,-3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,3},{-1,2,3},{1,2,3,4}}, 
00062 {{-4,-3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3},{-1,2,3},{1,2,3,4}}, 
00063 {{-4,-3},{-4,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3},{-1,2,3,4},{1,2,3,4}}, 
00064 {{-4,-3},{-4,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,3},{-1,2,3,4},{1,2,3,4}}, 
00065 {{-4,-3},{-4,3},{-3,-2,1,4},{-3,-1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3,4},{1,2,4}}, 
00066 {{-4,-3},{-4,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{2,3,4}}, 
00067 {{-4,-3},{-4,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00068 {{-4,-3},{-4,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00069 {{-4,-3},{-4,3},{-3,-2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,4},{1,2,3,4}}, 
00070 {{-4,-3},{-4,3},{-3,-2,4},{-3,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00071 {{-4,-3},{-4,3},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,4},{-1,2,3,4},{1,2,3,4}}, 
00072 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,4},{-1,3,4},{1,3,4}}, 
00073 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-1,4},{-2,1,4},{-1,3,4},{1,2,4}}, 
00074 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-3,-1,4},{-3,1,4},{-2,3,4},{-1,2,3},{1,2,3}}, 
00075 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-1,4},{-3,1,4},{-2,3,4},{2,3,4}}, 
00076 {{-4,-3,-2},{-4,-1,2},{-4,1,3},{-3,-1,4},{-3,1,2},{-2,-1,3},{-2,1,4},{2,3,4}}
00077 
00078 ]$
00079 
00080 uhit_def[4,5] : [
00081 
00082 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-1,2,5},{-4,1,3,5},{4,5}},
00083 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,5},{-4,1,2,5},{4,5}},
00084 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-2,4,5},{-1,2,5},{1,2,5}},
00085 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-2,3,5},{-4,-1,2,5},{-4,1,2,5},{-1,4,5},{1,4,5}},
00086 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-2,3,5},{-4,-1,2,5},{-2,1,4,5},{-1,4,5},{1,2,5}},
00087 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-2,3,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,5},{1,2,5}},
00088 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-3,-2,4,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,5},{1,2,5}},
00089 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,1,2,5},{-4,-2,-1,5},{-4,-2,1,5},{-4,-1,2,5},{-4,1,2,3,5},{4,5}},
00090 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,1,2,5},{-4,-2,1,5},{-4,1,2,3,5},{-2,-1,5},{-1,2,5},{1,4,5}},
00091 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,1,2,5},{-4,-2,5},{-4,1,2,3,5},{-2,-1,4,5},{-1,2,5},{1,4,5}},
00092 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,1,2,5},{-4,1,2,3,5},{-2,-1,5},{-2,1,5},{-1,2,5},{1,2,4,5}},
00093 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},
00094  {4,5}},
00095 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,5},{-4,3,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,4,5},{1,2,4,5}},
00096 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,5},{-3,4,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,5}},
00097 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,5},{3,4,5}},
00098 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-3,-2,5},{-2,3,4,5},{-1,2,5},{1,2,5}},
00099 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,4,5},{-1,2,5},{1,3,5}},
00100 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,5},{-4,-2,1,5},{-4,-1,2,5},{-4,1,2,5},{-3,4,5},{3,4,5}},
00101 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,5},{-4,-2,1,5},{-3,-2,4,5},{-2,3,4,5},{-1,2,5},{1,2,5}},
00102 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,5},{-4,-2,1,5},{-3,1,2,5},{-2,4,5},{-1,2,5},{1,2,3,5}},
00103 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,-1,5},{-3,1,2,5},{-2,-1,4,5},{-2,1,5},{-1,2,5},{1,2,3,5}},
00104 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,1,3,5},{-3,-2,5},{-2,-1,3,5},{-2,1,3,4,5},{-1,2,5},{1,2,5}},
00105 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,3,5},{-4,1,2,3,5},{-3,5},{-2,-1,3,4,5},{-1,2,3,5},{1,3,4,5}},
00106 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,3,5},{-3,-2,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,5},{1,2,5}},
00107 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,3,5},{-3,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,5},{1,2,3,5}},
00108 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-4,-1,2,5},{-3,-2,1,4,5},{-2,1,3,4,5},{-1,4,5},{1,2,5}},
00109 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-4,-1,2,5},{-3,-1,4,5},{-2,1,4,5},{-1,3,4,5},{1,2,5}},
00110 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-4,-1,2,5},{-3,1,2,5},{-2,1,4,5},{-1,4,5},{1,2,3,5}},
00111 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-4,-1,2,5},{-3,1,2,5},{-2,4,5},{-1,2,4,5},{1,2,3,5}},
00112 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-4,2,5},{-3,-1,4,5},{-2,1,4,5},{-1,3,4,5},{1,2,4,5}},
00113 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-3,-2,1,4,5},{-2,-1,4,5},{-2,1,3,4,5},{-1,2,5},{1,2,5}},
00114 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-3,-2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,5},{1,2,5}},
00115 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-3,-1,2,5},{-3,1,2,5},{-2,4,5},{-1,2,3,5},{1,2,3,5}},
00116 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-3,1,2,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,5},{1,2,3,5}},
00117 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-2,5},{-3,2,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,3,5},{1,2,3,5}},
00118 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,5},{-2,-1,3,5},{-2,1,3,5},{2,3,4,5}},
00119 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,5},{-4,1,2,5},{-3,-2,5},{-2,-1,3,5},{-2,1,3,5},{2,4,5}},
00120 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,5},{-4,1,2,5},{-3,-2,5},{-2,3,5},{-1,2,4,5},{1,2,4,5}},
00121 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-1,2,4,5},{1,3,5}},
00122 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,5},{-3,-2,5},{-3,1,2,5},{-2,3,5},{-1,2,4,5},{1,2,3,5}},
00123 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,2,5},{-3,1,2,5},{-2,-1,5},{-2,1,5},{-1,2,4,5},{1,2,3,5}},
00124 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-1,3,5},{-3,-2,5},{-3,2,5},{-2,1,3,5},{-1,3,4,5},{1,2,3,5}},
00125 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,1,2,3,5},{-3,1,2,5},{-2,-1,5},{-2,1,5},{-1,2,5},{1,2,3,4,5}},
00126 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,1,2,3,5},{-3,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,4,5}},
00127 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,1,2,5},{-3,-2,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,5},{1,2,4,5}},
00128 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,1,2,5},{-3,1,2,4,5},{-2,-1,5},{-2,1,5},{-1,2,5},{1,2,3,4,5}},
00129 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-1,2,5},{1,3,4,5}},
00130 {{-5,-4},{-5,-3,4},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-1,2,5},{-4,1,3,5},{-3,-2,5},{-3,2,4,5},{3,4}},
00131 {{-5,-4},{-5,-3,4},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},
00132  {3,4}},
00133 {{-5,-4},{-5,-3,4},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,5},{-4,1,2,5},{-3,-2,5},{-3,2,4,5},{3,4}},
00134 {{-5,-4},{-5,-3,4},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,2,3,5},{-3,-2,5},{-3,-1,2,5},{-3,1,2,5},{3,4}},
00135 {{-5,-4},{-5,-3,4},{-4,-2,-1,3,5},{-4,-1,2,5},{-4,1,3,5},{-3,-2,5},{-3,-1,2,4,5},{-3,1,2,5},{3,4}},
00136 {{-5,-4},{-5,-3,4},{-4,-2,1,3,5},{-4,-1,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,-1,2,5},{-3,1,2,5},{3,4}},
00137 {{-5,-4},{-5,-3,4},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,-1,2,5},{-3,1,2,5},{3,4}},
00138 {{-5,-4},{-5,-3,4},{-4,-2,3,5},{-4,-1,2,5},{-4,1,2,3,5},{-3,-2,5},{-3,-1,2,4,5},{-3,1,2,5},{3,4}},
00139 {{-5,-4},{-5,-3,4},{-4,-2,3,5},{-4,-1,2,5},{-4,1,2,5},{-3,-2,5},{-3,-1,2,4,5},{-3,1,2,4,5},{3,4}},
00140 {{-5,-4},{-5,-3,4},{-4,-2,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,2,5},
00141  {3,4}},
00142 {{-5,-4},{-5,-3,4},{-4,-2,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,4,5},{-3,-1,2,5},{-3,1,2,5},{3,4}},
00143 {{-5,-4},{-5,-3,4},{-4,-2,5},{-4,-1,2,5},{-4,1,2,3,5},{-3,-2,1,4,5},{-3,-1,4,5},{-3,1,2,5},{3,4}},
00144 {{-5,-4},{-5,-3,4},{-4,-2,5},{-4,-1,2,5},{-4,1,2,3,5},{-3,-2,4,5},{-3,-1,2,4,5},{-3,1,2,5},{3,4}},
00145 {{-5,-4},{-5,3,4},{-4,-3,-2,5},{-4,-3,2,5},{-4,-1,3,5},{-3,4},{-2,1,3,5},{-1,3,4,5},{1,2,3,5}},
00146 {{-5,-4},{-5,3,4},{-4,-3,-2,5},{-4,-3,2,5},{-3,4},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,5}},
00147 {{-5,-4},{-5,3,4},{-4,-3,-2,5},{-4,-2,3,5},{-4,-1,2,5},{-4,1,2,5},{-3,4},{-1,3,4,5},{1,3,4,5}},
00148 {{-5,-4},{-5,3,4},{-4,-3,-2,5},{-4,-1,2,5},{-4,1,2,5},{-3,4},{-2,-1,3,5},{-2,1,3,5},{2,3,4,5}},
00149 {{-5,-4},{-5,3,4},{-4,-3,2,5},{-4,-2,5},{-4,1,2,3,5},{-3,4},{-2,-1,3,4,5},{-1,2,3,5},{1,3,4,5}},
00150 {{-5,-4},{-5,3,4},{-4,-3,2,5},{-4,-2,5},{-3,4},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,5},{1,2,3,5}},
00151 {{-5,-4},{-5,3,4},{-4,-3,5},{-4,-2,3,5},{-4,1,2,3,5},{-3,4},{-2,-1,3,4,5},{-1,2,3,5},{1,3,4,5}},
00152 {{-5,-4},{-5,3,4},{-4,-3,5},{-4,-2,3,5},{-3,4},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,5},{1,2,3,5}},
00153 {{-5,-4},{-5,3,4},{-4,-3,5},{-4,1,2,3,5},{-3,4},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,4,5}},
00154 {{-5,-4},{-5,3,4},{-4,-3,5},{-4,3,5},{-3,4},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,4,5},{1,2,3,4,5}},
00155 {{-5,-4},{-5,4},{-4,-3,-2,5},{-4,-3,2,5},{-3,-1,4,5},{-3,1,4,5},{-2,3,5},{-1,2,3,5},{1,2,3,5}},
00156 {{-5,-4},{-5,4},{-4,-3,-2,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,2,5},{-2,3,5},{-1,2,3,5},{1,2,3,5}},
00157 {{-5,-4},{-5,4},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-3,-2,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-1,2,5},{1,3,5}},
00158 {{-5,-4},{-5,4},{-4,-3,2,5},{-4,-1,3,5},{-4,1,3,5},{-3,-2,5},{-2,3,4,5},{-1,2,4,5},{1,2,4,5}},
00159 {{-5,-4},{-5,4},{-4,-3,2,5},{-4,-1,3,5},{-3,-2,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-1,2,4,5},{1,3,5}},
00160 {{-5,-4},{-5,4},{-4,-3,2,5},{-4,-1,3,5},{-3,-2,5},{-3,2,4,5},{-2,1,3,5},{-1,3,4,5},{1,2,3,5}},
00161 {{-5,-4},{-5,4},{-4,-3,2,5},{-4,1,2,3,5},{-3,-2,5},{-3,-1,2,4,5},{-2,1,3,5},{-1,3,5},{1,2,4,5}},
00162 {{-5,-4},{-5,4},{-4,-3,2,5},{-3,-2,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,1,3,5},{-1,3,5},{1,2,3,5}},
00163 {{-5,-4},{-5,4},{-4,-3,2,5},{-3,-2,5},{-3,2,4,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,5}},
00164 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-4,1,2,3,5},{-3,-1,2,4,5},{-2,-1,4,5},{-1,2,3,5},{1,4,5}},
00165 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-4,1,2,3,5},{-3,-1,2,4,5},{-2,4,5},{-1,2,3,5},{1,2,4,5}},
00166 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-4,1,2,3,5},{-3,4,5},{-2,-1,3,4,5},{-1,2,3,5},{1,3,4,5}},
00167 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-4,2,3,5},{-3,-1,4,5},{-2,1,4,5},{-1,3,4,5},{1,2,4,5}},
00168 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,4,5},{-2,1,4,5},{2,3,5}},
00169 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,4,5},{-1,2,3,5},{1,2,3,5}},
00170 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,-1,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,4,5},{2,3,5}},
00171 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,-1,4,5},{-3,1,4,5},{-2,3,4,5},{-1,2,3,5},{1,2,3,5}},
00172 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,2,4,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,3,5},{1,2,3,5}},
00173 {{-5,-4},{-5,4},{-4,-3,5},{-4,-2,3,5},{-3,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,5},{1,2,3,5}},
00174 {{-5,-4},{-5,4},{-4,-3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-2,3,5},{2,4,5}},
00175 {{-5,-4},{-5,4},{-4,-3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,4,5},{-2,3,5},{-1,2,4,5},{1,2,4,5}},
00176 {{-5,-4},{-5,4},{-4,-3,5},{-4,1,2,3,5},{-3,-2,1,4,5},{-3,-1,4,5},{-2,3,5},{-1,2,3,5},{1,2,4,5}},
00177 {{-5,-4},{-5,4},{-4,-3,5},{-4,1,2,3,5},{-3,-2,4,5},{-3,-1,2,4,5},{-2,3,5},{-1,2,3,5},{1,2,4,5}},
00178 {{-5,-4},{-5,4},{-4,-3,5},{-4,1,2,3,5},{-3,4,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,4,5}},
00179 {{-5,-4},{-5,4},{-4,-3,5},{-4,3,5},{-3,-2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-1,2,4,5},{1,3,4,5}},
00180 {{-5,-4},{-5,4},{-4,-3,5},{-4,3,5},{-3,-2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,4,5},{1,2,4,5}},
00181 {{-5,-4},{-5,4},{-4,-3,5},{-4,3,5},{-3,1,2,4,5},{-2,-1,4,5},{-2,1,4,5},{-1,2,4,5},{1,2,3,4,5}},
00182 {{-5,-4},{-5,4},{-4,-3,5},{-4,3,5},{-3,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,4,5},{1,2,3,4,5}},
00183 {{-5,-4},{-5,4},{-4,-3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,3,5},{2,3,5}},
00184 {{-5,-4},{-5,4},{-4,-3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,2,4,5},{-2,3,5},{-1,2,3,5},{1,2,3,5}},
00185 {{-5,-4},{-5,4},{-4,-3,5},{-3,-2,1,4,5},{-3,-1,4,5},{-3,1,2,4,5},{-2,3,5},{-1,2,3,5},{1,2,3,5}},
00186 {{-5,-4},{-5,4},{-4,-3,5},{-3,-2,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,3,5},{-1,2,3,5},{1,2,3,5}},
00187 {{-5,-4},{-5,4},{-4,-3,5},{-3,-2,4,5},{-3,2,4,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,5}},
00188 {{-5,-4},{-5,4},{-4,-2,-1,3,5},{-4,1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,4,5},{-1,2,5},{1,3,4,5}},
00189 {{-5,-4},{-5,4},{-4,-2,-1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,4,5},{-2,1,3,5},{-1,2,5},{1,2,3,5}},
00190 {{-5,-4},{-5,4},{-4,-2,1,3,5},{-3,-2,5},{-3,-1,2,5},{-3,1,2,5},{-2,-1,3,5},{-2,1,3,4,5},{2,3,5}},
00191 {{-5,-4},{-5,4},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},{-1,3,4,5},{1,3,4,5}},
00192 {{-5,-4},{-5,4},{-4,-2,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},{-2,-1,3,4,5},{-1,2,3,5},{1,3,4,5}},
00193 {{-5,-4},{-5,4},{-4,-2,3,5},{-3,-2,5},{-3,2,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,5},{1,2,3,5}},
00194 {{-5,-4},{-5,4},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},{-2,3,5},{-1,2,3,4,5},{1,2,3,4,5}},
00195 {{-5,-4},{-5,4},{-4,-1,2,5},{-4,1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-1,2,4,5},{1,3,4,5}},
00196 {{-5,-4},{-5,4},{-4,-1,2,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,4,5},{1,2,3,5}},
00197 {{-5,-4},{-5,4},{-4,-1,3,5},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},{-2,1,3,5},{-1,3,4,5},{1,2,3,4,5}},
00198 {{-5,-4},{-5,4},{-4,-1,3,5},{-4,1,3,5},{-3,-2,5},{-3,2,5},{-2,1,3,4,5},{-1,3,4,5},{1,2,3,4,5}},
00199 {{-5,-4},{-5,4},{-4,-1,3,5},{-3,-2,5},{-3,2,5},{-2,-1,3,4,5},{-2,1,3,5},{-1,2,3,4,5},{1,2,3,5}},
00200 {{-5,-4},{-5,4},{-4,1,2,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,5},{1,2,3,4,5}},
00201 {{-5,-4},{-5,4},{-4,1,2,3,5},{-3,-2,5},{-3,2,5},{-2,-1,3,5},{-2,1,3,5},{-1,2,3,5},{1,2,3,4,5}},
00202 {{-5,-4},{-5,4},{-4,1,3,5},{-3,-2,5},{-3,1,2,5},{-2,-1,3,5},{-2,1,3,4,5},{-1,2,5},{1,2,3,4,5}},
00203 {{-5,-4},{-5,4},{-4,2,3,5},{-3,-2,5},{-3,-1,2,5},{-3,1,2,5},{-2,-1,3,5},{-2,1,3,5},{2,3,4,5}},
00204 {{-5,-4},{-5,4},{-4,5},{-3,-2,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{2,3,4,5}},
00205 {{-5,-4},{-5,4},{-4,5},{-3,-2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,4,5},{1,2,3,4,5}},
00206 {{-5,-4},{-5,4},{-4,5},{-3,-2,4,5},{-3,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},{-1,2,3,4,5},{1,2,3,4,5}},
00207 {{-5,-3,-2},{-5,-3,1,2},{-5,-1,2},{-4,-2,-1,3},{-4,1,3},{-3,5},{-2,3,4},{-1,2,3,5},{1,2,3,4}},
00208 {{-5,-4,-2,-1,3},{-5,-4,1,3},{-5,-3,-1,2,4},{-5,-2,-1,4},{-5,-1,2,3},{-4,-3},{-4,3,5},{-1,4,5},{1,4}},
00209 {{-5,-4,1,3},{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-2,-1,3},{-5,-1,2,3},{-4,-3},{-4,3,5},{-1,4,5},{1,4}},
00210 {{-5,-4,1,3},{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-1,3},{-5,1,4},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00211 {{-5,-4,1,3},{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-1,3},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4}},
00212 {{-5,-4,1,3},{-5,-3,-1,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,4},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00213 {{-5,-4,1,3},{-5,-3,-1,4},{-5,-2,-1,3},{-5,-1,2,3},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4}},
00214 {{-5,-4,1,3},{-5,-2,-1,3},{-5,-1,2,3},{-4,-3,-2,1},{-4,-3,1,2},{-4,3,5},{-3,-1},{-1,3,4,5},{1,4}},
00215 {{-5,-4,1,3},{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-1,3},{-5,1,4},{-4,-3,-2},{-4,-3,2},{-4,3,5},{4,5}},
00216 {{-5,-4,1,3},{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-1,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{-1,4,5},{1,4}},
00217 {{-5,-4,1,3},{-5,-3,-1,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,4},{-4,-3,-2},{-4,-3,2},{-4,3,5},{4,5}},
00218 {{-5,-4,1,3},{-5,-3,-1,4},{-5,-1,3},{-5,1,4},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00219 {{-5,-4,1,3},{-5,-3,-1,4},{-5,-1,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4}},
00220 {{-5,-4,1,3},{-5,-2,-1,3},{-5,-1,2,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{-3,-1,4},{-1,3,4,5},{1,4}},
00221 {{-5,-4,1,3},{-5,-1,3},{-4,-3,-2},{-4,-3,1,2},{-4,3,5},{-3,-2,-1,4},{-3,-1,2},{-1,3,4,5},{1,4}},
00222 {{-5,-4,1,3},{-5,-1,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{-3,-1,4},{-1,3,4,5},{1,4}},
00223 {{-5,-4,1,3},{-5,-1,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{-3,-2,-1,4},{-3,-1,2,4},{-1,3,4,5},{1,4}},
00224 {{-5,-4,-1,2},{-5,-2,-1},{-5,1,3},{-4,-1,5},{-3,-2,1},{-3,1,2},{-2,-1,4,5},{-1,2,4},{1,3,5}},
00225 {{-5,-3},{-5,-2,3},{-4,-3,2,5},{-4,-2,5},{-3,-1,4,5},{-3,1,4,5},{-2,3,4,5},{-1,2,3},{1,2,3}},
00226 {{-5,-4,3},{-5,-3,-1},{-5,-3,1},{-5,-2,3,4},{-4,2,5},{-3,2,4,5},{-2,5},{-1,2,3,4},{1,2,3,4}},
00227 {{-5,-4,-2},{-5,-4,2},{-4,-1,5},{-4,1,5},{-3,-1,4},{-3,1,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}},
00228 {{-5,-3,2},{-5,-2,4},{-4,-3,2,5},{-4,-2,-1},{-4,-2,1},{-3,2,4,5},{-2,4,5},{-1,2,3},{1,2,3}},
00229 {{-5,-2,4},{-5,2},{-4,-2,-1},{-4,-2,1},{-4,2,5},{-3,-2,4,5},{-3,2,4,5},{-1,3,4,5},{1,3,4,5}},
00230 {{-5,-2,-1,3},{-5,1},{-4,-3,1,5},{-4,-2,3,5},{-4,1,2,3,5},{-3,-1},{-2,-1,3,4,5},{-1,2,3},{1,4,5}},
00231 {{-5,-2,-1,3},{-5,1},{-4,-3,-2,1,5},{-4,-2,3,5},{-4,1,2,5},{-3,-1},{-2,-1,3,4,5},{-1,2,3},{1,4,5}},
00232 {{-5,-3,4},{-5,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{-1,4,5},{1,4,5}},
00233 {{-5,-3,4},{-5,-1,3},{-5,1,3},{-4,-3,-2,-1},{-4,-3,-2,1},{-4,-3,-1,2},{-4,-3,1,2},{-4,3,5},{4,5}},
00234 {{-5,-3,4},{-5,-1,3},{-5,1,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4,5}},
00235 {{-5,-3,4},{-5,-1,3},{-5,1,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{4,5}},
00236 {{-5,-3,4},{-5,-1,3},{-5,1,3},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{-2,1,4,5},{-1,4,5},{1,2,4,5}},
00237 {{-5,-3,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3,-2,-1},{-4,-3,-1,2},{-4,-3,1},{-4,3,5},{4,5}},
00238 {{-5,-3,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{-1,4,5},{1,4,5}},
00239 {{-5,-3,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3,-2},{-4,-3,-1,2},{-4,-3,1,2},{-4,3,5},{4,5}},
00240 {{-5,-3,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3},{-4,3,5},{-2,1,4,5},{-1,4,5},{1,2,4,5}},
00241 {{-5,-3,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4,5}},
00242 {{-5,-3,1,4},{-5,3},{-4,-3,1},{-4,-2,3,5},{-4,2,3,5},{-3,-2,-1},{-3,-1,2},{-1,3,4,5},{1,4,5}},
00243 {{-5,-3,1,4},{-5,3},{-4,-3,-2,1},{-4,-3,1,2},{-4,-2,3,5},{-4,2,3,5},{-3,-1},{-1,3,4,5},{1,4,5}},
00244 {{-5,-3,1},{-5,3},{-4,-3,-2,1,5},{-4,-3,1,2,5},{-4,3,5},{-3,-2,-1},{-3,-1,2},{-1,3,4,5},{1,4,5}},
00245 {{-5,-3,-1,4},{-5,-1,3},{-5,1},{-4,-3,-2,1,5},{-4,-3,-1},{-4,-3,1,2,5},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00246 {{-5,-3,-1,4},{-5,-3,1,4},{-5,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{-2,1,4,5},{-1,4,5},{1,2,4,5}},
00247 {{-5,-3,-1,4},{-5,-3,1,4},{-5,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{-1,4,5},{1,4,5}},
00248 {{-5,-3,-1,4},{-5,-3,1,4},{-5,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{4,5}},
00249 {{-5,-3,-1,4},{-5,-3,1,4},{-5,3},{-4,-3},{-4,-2,3,5},{-4,2,3,5},{-2,1,4,5},{-1,4,5},{1,2,4,5}},
00250 {{-5,-3,-1,4},{-5,-3,1,4},{-5,-1,3},{-5,1,3},{-4,-3,-2},{-4,-3,2},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00251 {{-5,-3,-1,4},{-5,-3,1,4},{-5,-2,-1,3},{-5,-1,2,3},{-5,1,3},{-4,-3,-2},{-4,-3,2},{-4,3,5},{4,5}},
00252 {{-5,-3,-1,4},{-5,-3,1},{-5,3},{-4,-3,-1},{-4,-3,1,5},{-4,2,3,5},{-3,-2,4,5},{-2,3,5},{2,4,5}},
00253 {{-5,-3,-1,4},{-5,-3,1},{-5,3},{-4,-3,-2,1,5},{-4,-3,-1},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,5},{4,5}},
00254 {{-5,-3,-1,4},{-5,-3,1},{-5,3},{-4,-3,-2,1,5},{-4,-3,-1},{-4,-3,1,2,5},{-4,-2,3,5},{-4,2,3,5},{4,5}},
00255 {{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-1,3},{-5,1},{-4,-3,-2,1,5},{-4,-3,-1},{-4,-3,1,2,5},{-4,3,5},{4,5}},
00256 {{-5,-3,-2,-1,4},{-5,-3,-1,2,4},{-5,-3,1,4},{-5,3},{-4,-3},{-4,-2,3,5},{-4,-1,2,3,5},{-4,1,2,3,5},{4,5}},
00257 {{-5,-4,1},{-5,-1,3},{-5,1,4},{-4,-1,2,3,5},{-3,-2,1,5},{-3,-1},{-2,3,5},{-1,2,3,4,5},{1,2,5}},
00258 {{-5,-4,1},{-5,-1,3},{-5,1,4},{-4,-3,-1},{-3,-2,1,5},{-3,-1,4},{-2,3,5},{-1,2,3,5},{1,2,5}},
00259 {{-5,-4,1},{-5,-1,3},{-5,1,4},{-4,-3,-2,1,5},{-3,-2,1,4,5},{-3,-1},{-2,3,5},{-1,2,3,5},{1,2,5}},
00260 {{-5,-4,1},{-5,-2,-1,3},{-5,1,4},{-4,-3,-1},{-3,-2,1,5},{-3,-1,4},{-2,3,5},{-1,2,3},{1,2,5}},
00261 {{-5,-4,-2,-1,3},{-5,1},{-4,-3,-2,1,5},{-4,-2,3,5},{-3,-1},{-2,-1,3,4},{-2,1,4,5},{-1,2,3},{1,2,5}},
00262 {{-5,-4,-2,-1,3},{-5,1},{-4,-3,-2,1,5},{-4,-2,3,5},{-4,1,2,5},{-3,-1},{-2,-1,3,4},{-1,2,3},{1,4,5}},
00263 {{-5,-4,-2,-1,3},{-5,-2,-1,3,4},{-5,1},{-4,-3,-1},{-3,-2,1,5},{-3,-1,4},{-2,3,5},{-1,2,3},{1,2,5}}
00264 
00265 ]$
00266 
00267 uhit_def[4,6] : [
00268 
00269 {{-6,-5},{-6,5},{-5,-4,6},{-5,-3,4,6},{-4,-2,-1,3,5,6},{-4,-2,1,3,5,6},{-4,-1,2,3,5,6},
00270  {-4,1,2,3,5,6},{-3,5,6},{3,4,6}},
00271 {{-6,-5},{-6,5},{-5,-4,6},{-5,3,4,6},{-4,-3,5,6},{-3,4,6},{-2,-1,3,5,6},{-2,1,3,5,6},{-1,2,3,5,6},
00272  {1,2,3,5,6}},
00273 {{-6,-5},{-6,5},{-5,-4,6},{-5,4,6},{-4,-3,5,6},{-3,4,5,6},{-2,-1,3,5,6},{-2,1,3,5,6},{-1,2,3,5,6},
00274  {1,2,3,5,6}},
00275 {{-6,-5},{-6,5},{-5,-4,6},{-5,4,6},{-4,-2,-1,3,5,6},{-3,-2,5,6},{-3,1,2,5,6},{-2,-1,3,4,5,6},
00276  {-1,2,5,6},{1,3,5,6}},
00277 {{-6,-5},{-6,5},{-5,-4,6},{-5,4,6},{-4,-1,3,5,6},{-3,-2,5,6},{-3,2,5,6},{-2,1,3,5,6},{-1,3,4,5,6},
00278  {1,2,3,5,6}},
00279 {{-6,-5},{-6,5},{-5,-4,6},{-5,4,6},{-4,1,3,5,6},{-3,-2,5,6},{-3,1,2,5,6},{-2,-1,3,5,6},{-1,2,5,6},
00280  {1,3,4,5,6}},
00281 {{-6,-5},{-6,5},{-5,-4,6},{-5,4,6},{-4,5,6},{-3,-2,4,5,6},{-3,1,2,4,5,6},{-2,-1,3,4,5,6},
00282  {-1,2,4,5,6},{1,3,4,5,6}},
00283 {{-6,-5},{-6,5},{-5,-4,6},{-4,-3,-2,5,6},{-4,-3,1,2,5,6},{-4,-2,-1,3,5,6},{-4,-1,2,5,6},
00284  {-4,1,3,5,6},{-3,4,6},{3,4,6}},
00285 {{-6,-5},{-6,5},{-5,-4,6},{-4,-3,-2,5,6},{-4,-2,-1,3,5,6},{-4,-2,1,3,5,6},{-4,-1,2,5,6},
00286  {-4,1,2,5,6},{-3,4,6},{3,4,6}},
00287 {{-6,-5},{-6,5},{-5,-4,6},{-4,-3,1,2,5,6},{-4,-2,-1,5,6},{-4,-2,1,5,6},{-4,-1,2,5,6},
00288  {-4,1,2,3,5,6},{-3,4,6},{3,4,6}},
00289 {{-6,-5},{-6,5},{-5,-4,6},{-4,-3,5,6},{-4,-2,-1,3,5,6},{-4,-2,1,3,5,6},{-4,-1,2,3,5,6},
00290  {-4,1,2,3,5,6},{-3,4,6},{3,4,6}},
00291 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,-2,3,5,6},{-4,2,3,5,6},{-3,-1,4,5,6},{-2,1,4,5,6},
00292  {-1,3,4,5,6},{1,2,4,5,6}},
00293 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,-2,3,5,6},{-3,-1,2,4,5,6},{-3,1,2,4,5,6},{-2,-1,4,5,6},
00294  {-2,1,4,5,6},{2,3,5,6}},
00295 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,-2,3,5,6},{-3,-1,4,5,6},{-3,1,2,4,5,6},{-2,-1,3,4,5,6},
00296  {-2,1,4,5,6},{2,3,5,6}},
00297 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,-2,3,5,6},{-3,2,4,5,6},{-2,-1,4,5,6},{-2,1,4,5,6},
00298  {-1,2,3,5,6},{1,2,3,5,6}},
00299 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,-1,2,3,5,6},{-4,1,2,3,5,6},{-3,-2,-1,4,5,6},{-3,-2,1,4,5,6},
00300  {-2,3,5,6},{2,4,5,6}},
00301 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,1,2,3,5,6},{-3,-2,1,4,5,6},{-3,-1,4,5,6},{-2,3,5,6},
00302  {-1,2,3,5,6},{1,2,4,5,6}},
00303 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,3,5,6},{-3,-2,4,5,6},{-3,1,2,4,5,6},{-2,-1,3,4,5,6},
00304  {-1,2,4,5,6},{1,3,4,5,6}},
00305 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,3,5,6},{-3,-2,4,5,6},{-2,-1,3,4,5,6},{-2,1,3,4,5,6},
00306  {-1,2,4,5,6},{1,2,4,5,6}},
00307 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,3,5,6},{-3,1,2,4,5,6},{-2,-1,4,5,6},{-2,1,4,5,6},
00308  {-1,2,4,5,6},{1,2,3,4,5,6}},
00309 {{-6,-5},{-6,5},{-5,6},{-4,-3,5,6},{-4,3,5,6},{-3,4,5,6},{-2,-1,3,4,5,6},{-2,1,3,4,5,6},
00310  {-1,2,3,4,5,6},{1,2,3,4,5,6}},
00311 {{-6,-5},{-6,5},{-5,-4,6},{-4,-3,-1,5,6},{-4,-2,1,5,6},{-4,-1,3,5,6},{-4,1,2,5,6},{-3,4,6},
00312  {-2,3,4,6},{2,3,4,6}},
00313 {{-6,-5,-4},{-6,-5,-3,4},{-6,-5,3,4},{-6,-4,-3,5},{-6,-4,3,5},{-6,4,5},{-2,-1,6},{-2,1,6},
00314  {-1,2,6},{1,2,6}},
00315 {{-6,-5,-3},{-6,-5,3},{-6,-4,-3,5},{-6,-4,3,5},{-6,-3,4,5},{-6,3,4,5},{-2,-1,6},{-2,1,6},
00316  {-1,2,6},{1,2,6}},
00317 {{-6,-5,-3},{-6,-5,3,4},{-6,-4,-3,5},{-6,-4,3},{-6,-3,4,5},{-6,3,4,5},{-2,-1,6},{-2,1,6},
00318  {-1,2,6},{1,2,6}}
00319 
00320 ]$
00321 
00322 uhit_def[4,7] : [
00323 
00324 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,-3,4,6,7},{-4,-2,-1,3,5,6,7},{-4,-2,1,3,5,6,7},
00325  {-4,-1,2,3,5,6,7},{-4,1,2,3,5,6,7},{-3,5,6,7},{3,4,6,7}},
00326 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,3,4,6,7},{-4,-3,5,6,7},{-3,4,6,7},{-2,-1,3,5,6,7},
00327  {-2,1,3,5,6,7},{-1,2,3,5,6,7},{1,2,3,5,6,7}},
00328 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,4,6,7},{-4,-3,5,6,7},{-3,4,5,6,7},{-2,-1,3,5,6,7},
00329  {-2,1,3,5,6,7},{-1,2,3,5,6,7},{1,2,3,5,6,7}},
00330 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,4,6,7},{-4,-2,-1,3,5,6,7},{-3,-2,5,6,7},{-3,1,2,5,6,7},
00331  {-2,-1,3,4,5,6,7},{-1,2,5,6,7},{1,3,5,6,7}},
00332 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,4,6,7},{-4,-1,3,5,6,7},{-3,-2,5,6,7},{-3,2,5,6,7},
00333  {-2,1,3,5,6,7},{-1,3,4,5,6,7},{1,2,3,5,6,7}},
00334 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,4,6,7},{-4,1,3,5,6,7},{-3,-2,5,6,7},{-3,1,2,5,6,7},
00335  {-2,-1,3,5,6,7},{-1,2,5,6,7},{1,3,4,5,6,7}},
00336 {{-7,-6},{-7,6},{-6,7},{-5,-4,6,7},{-5,4,6,7},{-4,5,6,7},{-3,-2,4,5,6,7},{-3,1,2,4,5,6,7},
00337  {-2,-1,3,4,5,6,7},{-1,2,4,5,6,7},{1,3,4,5,6,7}},
00338 {{-7,-6,-5},{-7,-6,-4,-3,5},{-7,-6,-4,3,5},{-7,-6,-3,4,5},{-7,-6,3,4,5},{-7,-5,6},
00339  {-7,5,6},{-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00340 {{-7,-6,-5},{-7,-6,-4,5},{-7,-6,4,5},{-7,-5,-4,6},{-7,-5,4,6},{-7,5,6},{-3,-2,-1,7},
00341  {-3,1,7},{-2,3,7},{-1,2,7},{1,2,3,7}},
00342 {{-7,-6,-5},{-7,-6,-3,4,5},{-7,-6,3,4,5},{-7,-5,-4,6},{-7,-4,-3,5},{-7,-4,3,5},{-7,4,6},
00343  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00344 {{-7,-6,-5},{-7,-6,-3,4,5},{-7,-6,3,4,5},{-7,-5,6},{-7,-4,-3,5},{-7,-4,3,5},{-7,4,5,6},
00345  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00346 {{-7,-6,-5},{-7,-6,-3,4,5},{-7,-6,3,5},{-7,-5,-4,-3,6},{-7,-4,-3,5},{-7,-4,3,6},{-7,4,6},
00347  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00348 {{-7,-6,-5},{-7,-6,4,5},{-7,-5,-4,3,6},{-7,-5,-3,6},{-7,-4,5},{-7,-3,4,5,6},{-7,3,4,6},
00349  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00350 {{-7,-6,-5},{-7,-6,4,5},{-7,-5,-3,6},{-7,-5,3,6},{-7,-4,-3,5},{-7,-4,3,5},{-7,4,5,6},
00351  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00352 {{-7,-6,-5,-4},{-7,-6,-4,5},{-7,-5,-4,-3,6},{-7,-5,-4,3,6},{-7,-4,5,6},{-7,-3,4},{-7,3,4},
00353  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00354 {{-7,-6,-5,-4},{-7,-6,4},{-7,-5,-3,6},{-7,-5,3,6},{-7,-4,-3,5},{-7,-4,3,5},{-7,4,5,6},
00355  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00356 {{-7,-6,-5,-4,-3},{-7,-6,3,4,5},{-7,-5,-4,-3,6},{-7,-5,3},{-7,-4,5},{-7,-3,4},
00357  {-7,3,4,5,6},{-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00358 {{-7,-6,-5,-3},{-7,-6,-5,3,4},{-7,-6,-4,-3,5},{-7,-6,-4,3},{-7,-6,4,5},{-7,-5,6},{-7,5,6},
00359  {-2,-1,7},{-2,1,7},{-1,2,7},{1,2,7}},
00360 {{-7,-6,-4},{-7,-6,4},{-7,-5,-4,6},{-7,-5,4,6},{-7,-4,5,6},{-7,4,5,6},{-3,-2,-1,7},
00361  {-3,1,7},{-2,3,7},{-1,2,7},{1,2,3,7}},
00362 {{-7,-6,-4},{-7,-6,4,5},{-7,-5,-4,6},{-7,-5,4},{-7,-4,5,6},{-7,4,5,6},{-3,-2,-1,7},
00363  {-3,1,7},{-2,3,7},{-1,2,7},{1,2,3,7}}
00364 
00365 ]$
00366 
00367 uhit_def[4,8] : [
00368 
00369 {{-2,-1,5,8},{-2,1,5,8},{-1,2,5,8},{1,2,5,8},{-5,-4,-3},{-5,-4,3},{-5,-3,4},{-5,3,4},
00370  {-7,-6,5,-8},{-7,6,5,-8},{-6,7,5,-8},{6,7,5,-8}},
00371 {{-8,-7,-6},{-8,-7,-5,-4,6},{-8,-7,-5,4,6},{-8,-7,-4,5,6},{-8,-7,4,5,6},{-8,-6,7},
00372  {-8,6,7},{-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00373 {{-8,-7,-6},{-8,-7,-5,6},{-8,-6,-4,-3,5,7},{-8,-6,-4,3,5,7},{-8,-6,-3,4,5,7},
00374  {-8,-6,3,4,5,7},{-8,-5,7},{-8,5,6},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00375 {{-8,-7,-6},{-8,-7,-4,5,6},{-8,-7,4,5,6},{-8,-6,-5,7},{-8,-5,-4,6},{-8,-5,4,6},{-8,5,7},
00376  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00377 {{-8,-7,-6},{-8,-7,-4,5,6},{-8,-7,4,5,6},{-8,-6,7},{-8,-5,-4,6},{-8,-5,4,6},{-8,5,6,7},
00378  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00379 {{-8,-7,-6},{-8,-7,-4,5,6},{-8,-7,4,6},{-8,-6,-5,-4,7},{-8,-5,-4,6},{-8,-5,4,7},{-8,5,7},
00380  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00381 {{-8,-7,-6},{-8,-7,5,6},{-8,-6,-5,4,7},{-8,-6,-4,7},{-8,-5,6},{-8,-4,5,6,7},{-8,4,5,7},
00382  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00383 {{-8,-7,-6},{-8,-7,5,6},{-8,-6,-4,7},{-8,-6,4,7},{-8,-5,-4,6},{-8,-5,4,6},{-8,5,6,7},
00384  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00385 {{-8,-7,-6},{-8,-7,6},{-8,-6,-5,7},{-8,-5,6,7},{-8,-4,-3,5,7},{-8,-4,3,5,7},{-8,-3,4,5,7},
00386  {-8,3,4,5,7},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00387 {{-8,-7,-6},{-8,-7,6},{-8,-6,-4,-3,5,7},{-8,-5,-4,7},{-8,-5,3,4,7},{-8,-4,-3,5,6,7},
00388  {-8,-3,4,7},{-8,3,5,7},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00389 {{-8,-7,-6},{-8,-7,6},{-8,-6,-3,5,7},{-8,-5,-4,7},{-8,-5,4,7},{-8,-4,3,5,7},{-8,-3,5,6,7},
00390  {-8,3,4,5,7},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00391 {{-8,-7,-6},{-8,-7,6},{-8,-6,7},{-8,-5,-4,-3,6,7},{-8,-5,3,6,7},{-8,-4,5,6,7},
00392  {-8,-3,4,6,7},{-8,3,4,5,6,7},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00393 {{-8,-7,-6,-5},{-8,-7,-5,6},{-8,-6,-5,-4,7},{-8,-6,-5,4,7},{-8,-5,6,7},{-8,-4,5},{-8,4,5},
00394  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00395 {{-8,-7,-6,-5},{-8,-7,5},{-8,-6,-4,7},{-8,-6,4,7},{-8,-5,-4,6},{-8,-5,4,6},{-8,5,6,7},
00396  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00397 {{-8,-7,-6,-5,-4},{-8,-7,4,5,6},{-8,-6,-5,-4,7},{-8,-6,4},{-8,-5,6},{-8,-4,5},
00398  {-8,4,5,6,7},{-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00399  {{-8,-7,-6,-4},{-8,-7,-6,4,5},{-8,-7,-5,-4,6},{-8,-7,-5,4},{-8,-7,5,6},{-8,-6,7},{-8,6,7},
00400  {-3,-2,-1,8},{-3,1,8},{-2,3,8},{-1,2,8},{1,2,3,8}},
00401 {{-8,-7,-6,-4},{-8,-7,-5,4},{-8,-6,-4,7},{-8,-5,4,7},{-8,-4,-3,6},{-8,-4,3,6},{-8,-3,4,5},
00402  {-8,3,4,5},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00403 {{-8,-7,-6,-4},{-8,-7,-4,5,6},{-8,-6,-5,-4,7},{-8,-5,-4,-3,6},{-8,-5,-4,3,6},{-8,-4,5,7},
00404  {-8,-3,4},{-8,3,4},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}},
00405 {{-8,-7,-6,-4,-3},{-8,-7,-6,-4,3},{-8,-7,-4,-3,6},{-8,-7,-4,3,6},{-8,-7,4,5},{-8,-5,-4,7},
00406  {-8,-5,4},{-8,5,7},{-2,-1,8},{-2,1,8},{-1,2,8},{1,2,8}}
00407 
00408 ]$
00409 
00410 uhit_def[4,9] : [
00411 
00412 {{9,-5,-4,-3},{9,-5,-4,3},{9,-5,-3,4},{9,-5,3,4},
00413  {-2,-1,5},{-2,1,5},{-1,2,5},{1,2,5},
00414  {-9,-5,-8,-7,-6},{-9,-5,-8,6},{-9,-5,-7,8},{-9,-5,-6,7},{-9,-5,6,7,8}},
00415 {{9,-2,-1,6},{9,-2,1,6},{9,-1,2,6},{9,1,2,6},
00416  {-6,-5,-4,-3},{-6,-5,3},{-6,-4,5},{-6,-3,4},{-6,3,4,5},
00417  {-9,-8,-7,6},{-9,-8,7,6},{-9,-7,8,6},{-9,7,8,6}},
00418 {{-9,-8,-7},{-9,-8,-6,7},{-9,-7,-5,-4,6,8},{-9,-7,-5,4,6,8},{-9,-7,-4,5,6,8},
00419  {-9,-7,4,5,6,8},{-9,-6,8},{-9,6,7},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00420 {{-9,-8,-7},{-9,-8,7},{-9,-7,-6,8},{-9,-6,7,8},{-9,-5,-4,6,8},{-9,-5,4,6,8},{-9,-4,5,6,8},
00421  {-9,4,5,6,8},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00422 {{-9,-8,-7},{-9,-8,7},{-9,-7,-5,-4,6,8},{-9,-6,-5,8},{-9,-6,4,5,8},{-9,-5,-4,6,7,8},
00423  {-9,-4,5,8},{-9,4,6,8},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00424 {{-9,-8,-7},{-9,-8,7},{-9,-7,-4,6,8},{-9,-6,-5,8},{-9,-6,5,8},{-9,-5,4,6,8},{-9,-4,6,7,8},
00425  {-9,4,5,6,8},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00426 {{-9,-8,-7},{-9,-8,7},{-9,-7,8},{-9,-6,-5,-4,7,8},{-9,-6,4,7,8},{-9,-5,6,7,8},
00427  {-9,-4,5,7,8},{-9,4,5,6,7,8},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00428 {{-9,-8,-7,-5},{-9,-8,-6,5},{-9,-7,-5,8},{-9,-6,5,8},{-9,-5,-4,7},{-9,-5,4,7},{-9,-4,5,6},
00429  {-9,4,5,6},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00430 {{-9,-8,-7,-5},{-9,-8,-5,6,7},{-9,-7,-6,-5,8},{-9,-6,-5,-4,7},{-9,-6,-5,4,7},{-9,-5,6,8},
00431  {-9,-4,5},{-9,4,5},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00432 {{-9,-8,-7,-5,-4},{-9,-8,-7,-5,4},{-9,-8,-5,-4,7},{-9,-8,-5,4,7},{-9,-8,5,6},{-9,-6,-5,8},
00433  {-9,-6,5},{-9,6,8},{-3,-2,-1,9},{-3,1,9},{-2,3,9},{-1,2,9},{1,2,3,9}},
00434 {{-9,-8,-3},{-9,-8,3},{-9,-7,-6,-5,-4,8},{-9,-7,-6,4,8},{-9,-6,-5,7,8},{-9,-6,-4,5,8},
00435  {-9,-6,4,5,7,8},{-9,-3,6,8},{-9,3,6,8},{-2,-1,9},{-2,1,9},{-1,2,9},{1,2,9}}
00436 
00437 ]$
00438 
00439 
00440 uhit_def[4,10] : [
00441 
00442 {{10,-6,-5,-4,-3},{10,-6,-5,3},{10,-6,-4,5},{10,-6,-3,4},{10,-6,3,4,5},
00443  {-2,-1,6},{-2,1,6},{-1,2,6},{1,2,6},{-10,-6,-9,-8,-7},{-10,-6,-9,7},
00444  {-10,-6,-8,9},{-10,-6,-7,8},{-10,-6,7,8,9}},
00445 {{10,-2,-1,6},{10,-2,1,6},{10,-1,2,6},{10,1,2,6},
00446  {-6,-5,-4,-3},{-6,-5,3},{-6,-4,5},{-6,-3,4},{-6,3,4,5},
00447  {-10,-9,-8,-7,6},{-10,-9,7,6},{-10,-8,9,6},{-10,-7,8,6},{-10,7,8,9,6}},
00448 {{-10,-9,-4},{-10,-9,4},{-10,-8,-7,-6,-5,9},{-10,-8,-7,5,9},{-10,-7,-6,8,9},
00449  {-10,-7,-5,6,9},{-10,-7,5,6,8,9},{-10,-4,7,9},{-10,4,7,9},{-3,-2,-1,10},{-3,1,10},
00450  {-2,3,10},{-1,2,10},{1,2,3,10}}
00451 ]$
00452