OKlibrary  0.2.1.6
FieldMul3CNF.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 28.4.2008 (Swansea) */
00002 /* Copyright 2008 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 /* Generated by:
00023 
00024 maxima> output_rijnmult_fullcnf_stdname(3);
00025 shell> ubcsat-okl  -alg gsat -w -runs 100 -cutoff 5000000 -i AES_byte_field_mul_3_shg.wcnf -r model AES_byte_field_mul_3_36.ass -wtarget 36 -solve
00026 shell> cat AES_byte_field_mul_full_3.cnf_primes | FilterDimacs AES_byte_field_mul_3_36.ass > AES_byte_field_mul_3_s36.cnf
00027 maxima> FieldMul3CNF : read_fcl_f("AES_byte_field_mul_3_s36.cnf");
00028 
00029 Statistics: [16,36,124,4,3]
00030 
00031 This is not guaranteed to be minimum size. It is the smallest known.
00032 
00033 */
00034 FieldMul3CNF :
00035  [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],
00036   [{-9,-2,-1},{-2,1,9},{-10,2,3},{-10,-9,-3,1},{-10,-3,-1,9},{-3,2,10},
00037    {-9,1,3,10},{-1,3,9,10},{-11,-4,-3},{-11,3,4},{-4,3,11},{-3,4,11},
00038    {-12,-5,-4,1},{-12,-4,-1,5},{-5,1,4,12},{-1,4,5,12},{-13,-5,-1,6},
00039    {-13,1,5,6},{-13,-12,-6,4},{-13,-6,-4,12},{-6,-5,-1,13},{-6,1,5,13},
00040    {-12,4,6,13},{-4,6,12,13},{-14,-7,-6},{-14,6,7},{-7,6,14},{-6,7,14},
00041    {-16,-8,-1},{-16,1,8},{-16,-15,-7},{-16,7,15},{-8,1,16},{-1,8,16},
00042    {-15,7,16},{-7,15,16}]]$
00043 
00044 
00045