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