OKlibrary  0.2.1.6
uhit_def12.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 17.5.2008 (London) */
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[12,5] : [
00023 
00024 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,1,5},{-4,-3,-1,2,5},{-4,-2,-1,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00025  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00026  {-1,2,3,4,5},{1,2,3,4,5}},
00027 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,1,5},{-4,-3,-1,2,5},{-4,-2,-1,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00028  {-4,1,2,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00029  {-1,2,3,4,5},{1,2,3,4,5}},
00030 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00031  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},
00032  {-2,1,3,4,5},{2,3,4,5}},
00033 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00034  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,1,3,4,5},
00035  {-1,3,4,5},{1,2,3,4,5}},
00036 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00037  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,3,4,5},
00038  {-1,2,3,4,5},{1,2,3,4,5}},
00039 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00040  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00041  {-1,2,4,5},{1,2,3,4,5}},
00042 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00043  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00044  {-1,2,3,4,5},{1,2,3,4,5}},
00045 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00046  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,4,5},{-2,1,3,4,5},
00047  {-1,2,3,4,5},{1,2,3,4,5}},
00048 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00049  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,1,4,5},{-3,-1,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00050  {-1,2,3,4,5},{1,2,3,4,5}},
00051 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00052  {-4,-1,2,3,5},{-4,1,2,3,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},
00053  {-1,2,3,4,5},{1,2,3,4,5}},
00054 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00055  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00056  {-1,2,3,5},{1,2,3,4,5}},
00057 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00058  {-4,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00059  {-1,2,3,4,5},{1,2,3,4,5}},
00060 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00061  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,5},{-2,1,3,4,5},
00062  {-1,2,3,4,5},{1,2,3,4,5}},
00063 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,1,3,5},{-4,-1,3,5},
00064  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00065  {-1,2,3,4,5},{1,2,3,4,5}},
00066 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,3,5},{-4,-1,2,3,5},
00067  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00068  {-1,2,3,4,5},{1,2,3,4,5}},
00069 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00070  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00071  {-1,2,3,4,5},{1,2,3,4,5}},
00072 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,5},
00073  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00074  {-1,2,3,4,5},{1,2,3,4,5}},
00075 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-2,5},{-4,-3,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00076  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00077  {-1,2,3,4,5},{1,2,3,4,5}},
00078 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,5},{-4,-2,1,3,5},{-4,-1,2,3,5},
00079  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00080  {-1,2,3,4,5},{1,2,3,4,5}},
00081 {{-5,-4},{-5,-3,4},{-5,3,4},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,5},{-4,-2,1,5},{-4,-1,2,3,5},
00082  {-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},{-2,1,3,4,5},
00083  {-1,2,3,4,5},{1,2,3,4,5}},
00084 {{-5,-4},{-5,4},{-4,-3,-2,1,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00085  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},
00086  {-2,1,3,4,5},{-1,2,3,4,5},{1,2,3,4,5}},
00087 {{-5,-4},{-5,4},{-4,-3,-2,5},{-4,-3,-1,2,5},{-4,-3,1,2,5},{-4,-2,-1,3,5},{-4,-2,1,3,5},
00088  {-4,-1,2,3,5},{-4,1,2,3,5},{-3,-2,-1,4,5},{-3,-2,1,4,5},{-3,-1,2,4,5},{-3,1,2,4,5},{-2,-1,3,4,5},
00089  {-2,1,3,4,5},{-1,2,3,4,5},{1,2,3,4,5}}
00090 
00091 ]$
00092 
00093 uhit_def[12,6] : [
00094 
00095 {{-6,-5,-4,-1},{-6,-5,-4,1},{-6,-4,-1,5},{-6,-4,1,5},{-6,-3,2,4},{-6,-2,-1,4},{-6,-2,1,4},
00096  {-5,-3,2,6},{-5,-2,6},{-5,-1,2,3,4},{-5,1,2,3,4},{-4,-1,2,3,6},{-4,1,2,3,6},{-3,-1,5,6},
00097  {-3,1,5,6},{-2,3,5,6},{-1,2,3,4,5},{1,2,3,4,5}},
00098 {{-6,-5,-3,-1},{-6,-5,-3,1},{-6,-4,-2,3},{-6,-3,-1,5},{-6,-3,1,5},{-6,-2,3,4},{-5,-3,2,6},
00099  {-5,-2,-1,6},{-5,-2,1,6},{-5,-1,2,3,4},{-5,1,2,3,4},{-4,-1,2,3},{-4,1,2,3},{-3,-1,5,6},
00100  {-3,1,5,6},{-2,3,5,6},{-1,2,3,4,5},{1,2,3,4,5}},
00101 {{-6,-5,-4,-3,-1},{-6,-5,-4,-3,1},{-6,-5,-3,-1,4},{-6,-5,-3,1,4},{-6,-5,-2,3},{-6,-3,2,5},
00102  {-6,-2,5},{-5,-4,-2,-1,6},{-5,-4,-2,1,6},{-4,-3,2,6},{-4,-2,5,6},{-4,-1,2,3},{-4,1,2,3},
00103  {-3,-1,4,6},{-3,1,4,6},{-2,3,4,6},{-1,2,3,4},{1,2,3,4}}
00104 
00105 ]$
00106 
00107