OKlibrary  0.2.1.6
FieldMul14CNF.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 25.6.2009 (Swansea) */
00002 /* Copyright 2009 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 FieldMul14CNF : [{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16},{{-16,-14,-11,-10,-3,13},{-16,-14,-3,10,11,13},{-16,-13,-12,-10,-8,4},{-16,-13,-12,-10,-4,3,15},{-16,-13,-12,-8,-4,10},{-16,-13,-12,3,4,10,15},{-16,-13,-11,-10,-3,14},{-16,-13,-10,-8,-4,12},{-16,-13,-10,3,4,12,15},{-16,-13,-8,4,10,12},{-16,-13,-4,3,10,12,15},{-16,-13,-3,10,11,14},{-16,-12,-8,4,10,13},{-16,-11,-10,3,13,14},{-16,-11,-6,10},{-16,-10,-6,11},{-16,-8,-4,10,12,13},{-16,3,10,11,13,14},{-15,-14,-12,-11,-4},{-15,-14,-12,4,11},{-15,-14,-11,4,12},{-15,-14,-4,11,12},{-15,-12,-11,4,14},{-15,-12,-4,11,14},{-15,-11,-4,12,14},{-15,4,11,12,14},{-14,-13,-3,6},{-14,-12,-11,3,4,8},{-14,-12,-11,4,15},{-14,-12,-4,3,8,11},{-14,-12,-4,11,15},{-14,-11,-4,3,8,12},{-14,-11,-4,12,15},{-14,-11,-3,10,13,16},{-14,-10,-3,11,13,16},{-14,3,4,8,11,12},{-14,3,6,13},{-14,4,11,12,15},{-13,-12,-10,-8,-4,16},{-13,-12,-10,3,4,15,16},{-13,-12,-8,4,10,16},{-13,-12,-4,3,10,15,16},{-13,-11,-3,10,14,16},{-13,-10,-8,4,12,16},{-13,-10,-4,3,12,15,16},{-13,-10,-3,11,14,16},{-13,-8,-4,10,12,16},{-13,3,4,10,12,15,16},{-13,3,6,14},{-12,-11,-7,9},{-12,-11,-4,3,8,14},{-12,-10,-8,4,13,16},{-12,-9,-7,11},{-12,-6,-3,5,7},{-12,3,4,8,11,14},{-12,3,5,6,7},{-12,7,9,11},{-11,-10,-9,-6,-1,4},{-11,-10,-6,-3,-1,2},{-11,-10,-6,1,2,3},{-11,-10,-6,1,4,9},{-11,-9,-7,12},{-11,-9,-6,-5,-3},{-11,-9,-5,3,6},{-11,-9,-4,1,6,10},{-11,-6,-5,3,9},{-11,-5,-3,6,9},{-11,-4,-1,6,9,10},{-11,-3,-1,2,6,10},{-11,1,4,6,9,10},{-11,3,4,8,12,14},{-10,-9,-1,4,6,11},{-10,-8,-1,7,11,13},{-10,-4,-3,1,5},{-10,-4,-1,3,5},{-10,-3,-1,2,6,11},{-10,-2,-1,5,9},{-10,1,2,3,6,11},{-10,1,3,4,5},{-10,1,4,6,9,11},{-10,2,4,5,16},{-9,-8,-7,-6,-4,13},{-9,-8,-7,3,4,14},{-9,-8,-7,4,6,13},{-9,-7,-4,14,15},{-9,-6,-5,3,11},{-9,-6,-4,1,10,11},{-9,-5,-3,6,11},{-9,-4,-2,3},{-9,-4,-1,16},{-9,-3,-2,4},{-9,1,4,16},{-9,2,3,4},{-8,-7,-6,4,9,13},{-8,-7,-4,6,9,13},{-8,-6,-2,3,7,13},{-8,1,6,7,13,16},{-8,2,7,14},{-7,4,9,14,15},{-7,9,11,12},{-6,-5,-3,7,12},{-6,-5,-3,9,11},{-6,-4,-1,9,10,11},{-6,-3,-1,2,10,11},{-6,1,4,9,10,11},{-6,2,7,13,15},{-6,8,13,14,15},{-5,3,6,7,12},{-5,3,6,9,11},{-5,9,11,13,14},{-4,-3,-2,9},{-4,-3,-1,5,10},{-4,1,9,16},{-4,2,3,9},{-4,2,5,10,16},{-4,3,8,11,12,14},{-3,1,2,16},{-3,1,4,5,10},{-3,2,6,7,8,13},{-3,5,6,7,12},{-3,6,13,14},{-3,8,15},{-2,1,5,9,10},{-2,3,4,9},{-2,6,7,13,15},{-2,7,8,14},{-1,3,4,5,10},{-1,4,9,16},{-1,5,12,13,15,16}}]$
00023