OKlibrary  0.2.1.6
FieldMul11CNF.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 FieldMul11CNF : [{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16},{{-16,-13,-11,-9,-3,1,5},{-16,-13,-11,-5,-1,3,9},{-16,-13,-10,-5,-2,3,7,11,12},{-16,-13,-10,-3,-2,6},{-16,-13,-5,1,6},{-16,-13,-3,1,5,9,11},{-16,-13,-1,4,10,11},{-16,-13,-1,5,6},{-16,-11,-1,3,5,9,13},{-16,-10,-9,-5,-2,11,14,15},{-16,-10,-2,3,6,13},{-16,-10,-2,5,8},{-16,-10,-2,9,11,13},{-16,-9,-5,-3,-2,12,15},{-16,-9,-5,1,10,12,13,14},{-16,-9,-2,3,5,12,15},{-16,-9,-2,10,11,13},{-16,-9,-1,3,5,11,13},{-16,-5,-3,1,7,10,15},{-16,-5,-2,7,13,14},{-16,-5,-2,8,10},{-16,-5,-1,6,13},{-16,-3,-2,5,9,12,15},{-16,-3,-1,8},{-16,1,3,8},{-16,1,4,10,11,13},{-16,1,5,6,13},{-15,-14,-13,5},{-15,-14,-5,13},{-15,-13,-5,14},{-15,5,13,14},{-14,-12,-11,-10,-3},{-14,-12,-11,3,10},{-14,-12,-10,3,11},{-14,-12,-3,10,11},{-14,-11,-10,3,12},{-14,-11,-3,10,12},{-14,-10,-3,11,12},{-14,3,10,11,12},{-13,-11,-10,-9,-2,16},{-13,-11,-9,-8,-5},{-13,-11,-8,5,9},{-13,-11,-5,1,3,9,16},{-13,-11,-2,9,10,16},{-13,-10,-2,9,11,16},{-13,-9,-8,5,11},{-13,-8,-5,9,11},{-13,-5,-2,3,4,11,16},{-13,-5,-1,6,16},{-13,-3,-2,6,10,16},{-13,-3,-1,7,10,14,16},{-13,1,5,6,16},{-13,1,7,11,12,16},{-12,-11,-10,3,14},{-12,-10,-9,-8,-3,15},{-12,-10,-8,3,9,15},{-12,-9,-8,3,10,15},{-12,-9,-7,-5,-3},{-12,-9,-7,3,5},{-12,-8,-3,9,10,15},{-12,-7,-5,3,9},{-12,-7,-3,5,9},{-12,-5,-4,-2,-1,3,7},{-12,-5,-4,2,7,8,16},{-12,-5,-3,7,9},{-12,-3,-1,4,5,15,16},{-12,3,5,7,9},{-12,4,7,10},{-12,5,6,7,11},{-11,-10,-3,12,14},{-11,-10,-2,9,13,16},{-11,-9,-8,5,13},{-11,-9,-7,5,10,14},{-11,-9,-6,3},{-11,-8,-5,9,13},{-11,-6,-3,9},{-11,-4,-3,-2,-1,6},{-11,-4,-3,1,2,6},{-11,1,4,10,13,16},{-10,-9,-8,3,12,15},{-10,-9,-7,5,11,14},{-10,-9,-5,-4,-3},{-10,-9,-4,3,5},{-10,-8,-3,9,12,15},{-10,-7,-5,8,15},{-10,-7,-5,9,11,14},{-10,-5,-4,3,9},{-10,-5,-3,1,2},{-10,-5,-2,8,16},{-10,-5,-1,2,3},{-10,-4,-3,5,9},{-10,-3,-2,6,13,16},{-10,-3,-1,2,5},{-10,1,2,3,5},{-9,-8,-5,11,13},{-9,-8,-3,10,12,15},{-9,-7,-5,3,12},{-9,-7,-3,5,12},{-9,-6,-3,11},{-9,-5,-4,3,10},{-9,-4,-3,5,10},{-9,-3,-2,12,13,14,16},{-9,-2,-1,4},{-9,1,2,4},{-9,1,3,5,11,13,16},{-9,1,3,11,14,15,16},{-8,3,9,10,12,15},{-8,5,9,11,13},{-7,-5,-3,9,12},{-7,3,5,9,12},{-7,5,8,10,15},{-7,5,9,10,11,14},{-7,8,10,13,14},{-6,-2,-1,7,14},{-6,1,2,7,14},{-6,3,9,11},{-5,-4,-3,9,10},{-5,-3,-2,1,4,7,12},{-5,-3,-1,2,4,7,12},{-5,-3,-1,2,10},{-5,-3,-1,4,12,15,16},{-5,-3,-1,9,11,13,16},{-5,1,2,3,10},{-5,1,2,6,7,13,15},{-5,1,6,13,16},{-5,2,7,13,14,16},{-5,6,7,11,12},{-4,3,5,9,10},{-4,7,10,12},{-3,1,2,5,10},{-3,1,2,7,8,15},{-3,1,7,10,13,14,16},{-3,1,8,16},{-3,5,7,9,12},{-2,1,3,4,5,7,12},{-2,1,4,9},{-2,1,6,7,14},{-2,5,8,10,16},{-2,7,15,16},{-2,9,10,11,13,16},{-1,2,3,5,10},{-1,2,3,7,8,15},{-1,2,4,9},{-1,2,5,11,12,14},{-1,2,6,7,14},{-1,3,8,16},{-1,5,6,13,16},{-1,7,11,12,13,16},{-1,9,10,12,15,16}}]$
00023