OKlibrary  0.2.1.6
uhit_def6.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 uhit_def[6,4] : [
00023 
00024 {{-4,-3},{-4,-2,-1,3},{-4,-2,1,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{3,4}}, 
00025 {{-4,-3},{-4,-2,1,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3},{-2,1,4},{2,3,4}}, 
00026 {{-4,-3},{-4,-2,1,3},{-4,-1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3},{-2,1,4},{-1,2,3,4},{1,2,3}}, 
00027 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{2,3,4}}, 
00028 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-1,3,4},{1,3,4}}, 
00029 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,4},{1,3,4}}, 
00030 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,1,2,4},{-2,3,4},{-1,2,4},{1,2,3,4}}, 
00031 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00032 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00033 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,4},{1,2,4}}, 
00034 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3,4},{2,3,4}}, 
00035 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-1,2,3,4},{1,3,4}}, 
00036 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3,4},{1,2,4}}, 
00037 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,3,4},{1,3,4}}, 
00038 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00039 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,4},{1,2,3,4}}, 
00040 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{2,3,4}}, 
00041 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00042 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00043 {{-4,-3},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,4},{-1,2,3,4},{1,2,3,4}}, 
00044 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,3},{1,3,4}}, 
00045 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{-1,2,3},{1,2,3,4}}, 
00046 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,4}}, 
00047 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00048 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{-1,2,3},{1,2,3,4}}, 
00049 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00050 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00051 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00052 {{-4,-3},{-4,-2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00053 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00054 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00055 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00056 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00057 {{-4,-3},{-4,-2,3},{-4,2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00058 {{-4,-3},{-4,-2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,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,-1,2,4},{-3,1,2,4},{-2,-1,3},{-2,1,3},{2,3,4}}, 
00060 {{-4,-3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,3},{-1,2,3,4},{1,2,3,4}}, 
00061 {{-4,-3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,1,2,4},{-2,-1,3},{-2,1,3},{-1,2,4},{1,2,3,4}}, 
00062 {{-4,-3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3},{-2,1,3},{-1,2,3},{1,2,3,4}}, 
00063 {{-4,-3},{-4,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00064 {{-4,-3,-2},{-4,-3,2},{-4,-2,1,3},{-4,-1,2,3},{-3,-2,-1,4},{-3,1,2,4},{-2,-1,3},{-2,1,4},{-1,2,4},{1,2,3}}, 
00065 {{-4,-3,-2},{-4,-3,2},{-4,-2,1,3},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,3,4},{2,3,4}}, 
00066 {{-4,-3,-2},{-4,-3,2},{-4,-2,1,3},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-2,1,4},{-1,3,4},{1,2,4}}, 
00067 {{-4,-3,-2},{-4,-3,2},{-4,-2,1,3},{-4,-1,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3,4},{2,3,4}}, 
00068 {{-4,-3,-2},{-4,-3,2},{-4,-2,1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-2,-1,3},{-2,1,4},{-1,2,3},{1,2,4}}, 
00069 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3,4},{2,3,4}}, 
00070 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-1,3,4},{1,3,4}}, 
00071 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-1,3,4},{1,3,4}}, 
00072 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-2,1,3,4},{-1,3,4},{1,2,4}}, 
00073 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{2,3,4}}, 
00074 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-1,4},{-3,1,4},{-2,-1,3,4},{-2,1,3,4},{2,3,4}}, 
00075 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-1,4},{-3,1,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00076 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,-1,4},{-2,-1,3,4},{-2,1,4},{-1,2,3,4},{1,2,4}}, 
00077 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,-1,3,4},{-1,2,3},{1,3,4}}, 
00078 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,3,4},{-1,2,3},{1,2,3,4}}, 
00079 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,-1,3,4},{-1,2,3},{1,3,4}}, 
00080 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,3,4},{-1,2,3},{1,2,3,4}}, 
00081 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,3},{1,3,4}}, 
00082 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3,4},{-1,2,3},{1,2,3,4}}, 
00083 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,4}}, 
00084 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-2,4},{-3,-1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,4}}, 
00085 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{-1,2,3},{1,2,3,4}}, 
00086 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,1,2,3},{-3,-1,4},{-3,1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3,4}}, 
00087 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-1,2,3,4},{1,3,4}}, 
00088 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,1,3,4},{-1,3,4},{1,2,3,4}}, 
00089 {{-4,-3,-2},{-4,-3,2},{-4,-2,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,4}}, 
00090 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,4},{1,2,3,4}}, 
00091 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-2,4},{-3,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00092 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{-1,2,3,4},{1,2,3,4}}, 
00093 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-4,2,3},{-3,-1,4},{-3,1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00094 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-3,-2,-1,4},{-3,-2,1,4},{-3,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3}}, 
00095 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3}}, 
00096 {{-4,-3,-2},{-4,-3,2},{-4,-2,3},{-3,-2,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3},{1,2,3}}, 
00097 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-2,1,4},{-2,-1,3,4},{-2,1,3},{-1,2,4},{1,2,4}}, 
00098 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,-1,3,4},{-2,1,3},{2,3,4}}, 
00099 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,1,3},{-1,3,4},{1,2,3,4}}, 
00100 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,-1,4},{-3,1,4},{-2,-1,3,4},{-2,1,3},{-1,2,4},{1,2,3,4}}, 
00101 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3},{2,3,4}}, 
00102 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-2,-1,4},{-2,1,3},{-1,2,3,4},{1,2,4}}, 
00103 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3},{2,3,4}}, 
00104 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-2,-1,3,4},{-2,1,3},{-1,2,3,4},{1,2,4}}, 
00105 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,2,3},{-3,-1,2,4},{-3,1,4},{-2,-1,4},{-2,1,3},{-1,2,3,4},{1,2,3,4}}, 
00106 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-2,1,4},{-3,-1,2,4},{-2,-1,4},{-2,1,3,4},{-1,2,3,4},{1,2,4}}, 
00107 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,3,4},{-1,2,3,4},{1,2,3,4}}, 
00108 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,4},{-1,2,3,4},{1,2,3,4}}, 
00109 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,4},{-1,2,3,4},{1,2,3,4}}, 
00110 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-4,1,3},{-3,-1,4},{-3,1,4},{-2,-1,3,4},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}, 
00111 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,4},{-2,-1,3,4},{-2,1,3},{-1,2,3,4},{1,2,3}}, 
00112 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4},{-2,1,3},{-1,2,3,4},{1,2,3}}, 
00113 {{-4,-3,-2},{-4,-3,2},{-4,-1,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2,4},{-2,-1,3,4},{-2,1,3},{-1,2,3,4},{1,2,3}}, 
00114 {{-4,-3,-2},{-4,-2,-1,3},{-4,-1,2},{-4,1,2,3},{-3,-2,1,4},{-3,-1,2,4},{-3,1,2},{-2,-1,4},{-2,1,3},{2,3,4}}, 
00115 {{-4,-3,-2},{-4,-2,1,3},{-4,-1,2},{-4,1,2,3},{-3,-2,-1,4},{-3,-1,2,4},{-3,1,2},{-2,-1,3},{-2,1,4},{2,3,4}}, 
00116 {{-4,-3,-2},{-4,-2,1,3},{-4,-1,2},{-4,1,2,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2},{-2,-1,3},{-1,2,3,4},{1,3,4}}, 
00117 {{-4,-3,-2},{-4,-1,2},{-4,1,3},{-3,-2,1,4},{-3,-1,4},{-3,1,2},{-2,-1,3},{-2,1,3,4},{-1,2,3,4},{1,2,3,4}}
00118 
00119 ]$
00120 
00121 uhit_def[6,5] : [
00122 
00123 {{-5,-3,2,4},{-5,-2,1,3},{-5,-1,3,4},{-5,1,2,3},{-4,-3,1,2},{-4,-1},{-4,1,3,5},
00124  {-3,-2,-1,4},{-3,-2,1},{-3,2,4,5},{3,4,5}},
00125 {{-5,-4,-1,2,3},{-5,-2,-1},{-5,1,3},{-4,-3,-2,-1,5},{-4,-3,2},{-4,-1,3,5},{-3,-2,1},
00126  {-3,2,4},{-2,-1,4,5},{-1,2,3,4},{1,3,5}},
00127 {{-5,-4,-1,3},{-5,-3,2,4},{-5,-2,-1,4},{-5,-2,1},{-5,-1,2,3,4},{-5,1,2,3},{-4,-3,-2,-1},
00128  {-4,-3,-2,1,5},{-4,-3,2},{-4,3,5},{4,5}},
00129 {{-5,-3,-1,2,4},{-5,-2,1},{-5,-1,3,4},{-5,1,2,4},{-4,-2,1,3,5},{-4,-1},{-4,1,2},{-3,-2,-1,4},
00130  {-3,-2,1,5},{-3,2,4,5},{3,4,5}},
00131 {{-5,-4,-1,3},{-5,-3,-2,1},{-5,-3,2,4},{-5,-2,-1,4},{-5,-1,2,3,4},{-5,1,3},{-4,-3,-2,-1},
00132  {-4,-3,-2,1,5},{-4,-3,2},{-4,3,5},{4,5}},
00133 {{-5,-4,-2},{-5,-4,2},{-5,-1,3,4},{-5,1,4},{-4,-3,-1,2,5},{-4,-2,-1,5},{-3,-1,4},{-3,1,5},
00134  {-2,-1,3,4,5},{-2,1,3,5},{2,3,5}},
00135 {{-5,-4,-2,3},{-5,-3,-1},{-5,-3,1},{-5,-2,3,4},{-4,-1,2,3},{-4,1,2,3},{-3,-1,5},{-3,1,5},
00136  {-2,3,5},{-1,2,3,4},{1,2,3,4}},
00137 {{-5,-4,-3,-1},{-5,-4,-3,1},{-5,-3,-1,4},{-5,-3,1,4},{-5,-2,-1,3},{-5,-2,1,3},{-5,2,3},{-4,-2,5},
00138  {-4,2,5},{-1,4,5},{1,4,5}},
00139 {{-5,-3,-1},{-5,-3,1},{-5,-1,3},{-5,1,3},{-4,-2,3,5},{-4,2,5},{-3,-2,-1,5},{-3,-2,1,5},
00140  {-3,2,4,5},{-1,3,4,5},{1,3,4,5}},
00141 {{-5,-4,-1},{-5,-4,1},{-5,-1,4},{-5,1,4},{-4,-3,2,5},{-4,-2,5},{-3,-1,4,5},{-3,1,4,5},{-2,3,4,5},
00142  {-1,2,3,5},{1,2,3,5}},
00143 {{-5,-3},{-5,-2,3},{-4,-2,5},{-4,-1,2,3},{-4,1,2,3},{-3,-1,2,5},{-3,1,2,5},{-2,-1,4,5},
00144  {-2,1,4,5},{-1,2,3,4},{1,2,3,4}},
00145 {{-5,-4,-2},{-5,-3,-1,2},{-5,-2,4},{-5,-1,2,3},{-4,-2,1,5},{-4,-1,5},{-4,1,2,3},{-3,1,2},
00146  {-2,4,5},{-1,2,4,5},{1,2,3,4}},
00147 {{-5,-3,-2},{-5,-2,3},{-4,-2,5},{-4,-1,2,3},{-4,1,2,3},{-3,-1,2},{-3,1,2},{-2,-1,4,5},{-2,1,4,5},
00148  {-1,2,3,4},{1,2,3,4}},
00149 {{-5,-4,-3,-1},{-5,-4,-3,1},{-5,-4,-1,3},{-5,-4,1,3},{-5,2,4},{-4,-3,-2,-1,5},{-4,-3,-2,1,5},
00150  {-4,-2,3,5},{-2,-1,4},{-2,1,4},{2,5}},
00151 {{-5,-3,-2,4},{-5,-2,3},{-4,-3,-1},{-4,-3,1},{-4,-2,3,5},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4,5},
00152  {-2,1,4,5},{-1,2,3},{1,2,3}},
00153 {{-5,-3,2},{-5,-2},{-4,-3,2,5},{-4,-2,5},{-4,-1,2,3},{-4,1,2,3},{-3,-1,4,5},{-3,1,4,5},
00154  {-2,3,4,5},{-1,2,3,4},{1,2,3,4}},
00155 {{-5,-3,-2},{-5,-2,3},{-5,-1,2},{-4,-2,1,5},{-4,-1,3,5},{-3,-2,1,4,5},{-3,-1,5},{-3,1,2},
00156  {-2,3,4,5},{-1,2,3,4,5},{1,2,3}},
00157 {{-5,-4,-3,2},{-5,-2,-1},{-5,-2,1},{-4,-3,5},{-4,-2,3,5},{-3,-1,2,4},{-3,1,2,4},{-2,-1,4,5},
00158  {-2,1,4,5},{-1,2,3},{1,2,3}},
00159 {{-5,-4,-3,2},{-5,-4,-2,-1},{-5,-4,-2,1},{-5,-2,3,4},{-4,-3,5},{-3,-1,4},{-3,1,4},{-2,-1,3,5},
00160  {-2,1,3,5},{-1,2,3},{1,2,3}},
00161 {{-5,-4,-3},{-5,-3,4},{-5,-2,1,3},{-5,-1,3},{-4,-2,1,5},{-4,-1,5},{-4,1,2,3},{-3,1,2,5},{-2,4,5},
00162  {-1,2,4,5},{1,2,3,4}},
00163 {{-5,-3,-2},{-5,-3,-1,2},{-5,-2,1,3},{-5,-1,3},{-4,-2,1,5},{-4,-1,5},{-4,1,2,3},{-3,1,2},
00164  {-2,4,5},{-1,2,4,5},{1,2,3,4}},
00165 {{-5,-4,-3},{-5,-4,-2,3},{-5,-3,2,4},{-5,-2,4},{-4,-1,2,3},{-4,1,2,3},{-3,-1,5},{-3,1,5},
00166  {-2,3,5},{-1,2,3,4},{1,2,3,4}},
00167 {{-5,-4,-2,3},{-5,-3,-1},{-5,-3,1},{-5,-2,3,4},{-4,-1,2,3},{-4,1,2,3},{-3,2,5},{-2,-1,5},
00168  {-2,1,5},{-1,2,3,4},{1,2,3,4}},
00169 {{-5,-4,-3,2},{-5,-2,-1},{-5,-2,1},{-4,-3,-1,5},{-4,-3,1,5},{-3,-2,4,5},{-3,-1,2,4},{-3,1,2,4},
00170  {-2,3,5},{-1,2,3},{1,2,3}},
00171 {{-5,-4,-3,-1},{-5,-4,-3,1},{-5,-4,-2,3},{-5,-3,2,4},{-5,-2,4},{-4,-2,-1,5},{-4,-2,1,5},
00172  {-3,2,5},{-2,4,5},{-1,2,3},{1,2,3}},
00173 {{-5,-4,-1},{-5,-4,1},{-5,-3,2,4},{-5,-2,-1,4},{-5,-2,1,4},{-4,-1,2,3,5},{-4,1,2,3,5},{-3,2,5},
00174  {-2,5},{-1,2,3,4},{1,2,3,4}},
00175 {{-5,-3,-1},{-5,-3,1},{-5,-2,3,4},{-4,-3,5},{-4,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,2,4,5},
00176  {-2,4,5},{-1,2,3,4},{1,2,3,4}},
00177 {{-5,-4,3},{-5,-3,-1},{-5,-3,1},{-5,-2,3,4},{-4,-2,5},{-4,2,5},{-3,-1,4,5},{-3,1,4,5},
00178  {-2,3,4,5},{-1,2,3,4},{1,2,3,4}},
00179 {{-5,-4,-3,-1},{-5,-4,-3,1},{-5,-3,-1,4},{-5,-3,1,4},{-5,-2,3},{-4,-1,2,3},{-4,1,2,3},{-3,2,5},
00180  {-2,5},{-1,2,3,4},{1,2,3,4}},
00181 {{-5,-3,2},{-5,-2},{-5,-1,2,3,4},{-5,1,2,3,4},{-4,-1,2,3},{-4,1,2,3},{-3,-1,5},{-3,1,5},
00182  {-2,3,5},{-1,2,3,4,5},{1,2,3,4,5}}
00183 
00184 ]$
00185 
00186 uhit_def[6,6] : [
00187 
00188 {{-6,-3,-1},{-6,-3,1,2},{-6,-2,-1,3},{-6,-2,1,4},{-6,2,3,5},{-5,-3,2,6},{-5,-2,4,6},{-5,2,3},
00189  {-4,-2,-1,6},{-4,-2,1},{-4,2,5,6},{4,5,6}}
00190 
00191 ]$
00192 
00193