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