#input : maps/quad/31/fil-6-6.txt
#output: maps/quad/31/inf-6-6.txt
#date  : Wed Feb 15 23:26:39 2012

#excluding: 30
loading table...
---
apntest=1 degree=3
Bcount=30
Bindex=2
Brank =6
Qspace=8
fct= 0 0 0 32 0 4 10 60 0 8 2 42 18 30 26 36 0 2 16 52 7 1 29 47 6 12 20 56 19 29 11 49 0 17 4 48 6 19 8 42 5 28 3 63 17 12 29 55 10 25 30 46 11 28 21 51 9 18 31 39 26 5 6 40
inv= 24 [ 28 ] 32 [ 29 ] 1 [ 31 ] 6 [ 33 ]
size=64
#ce+af+abf+df
#bc+abc+bd+cd+ae+abe+ce+de+cf+ef
#ac+abe+ce+de+bf+abf+cf+df
#bc+ad+ef
#abc+cd+be+af
#ab
mu  : 32 [128] 6 [240] 15 [208] 10 [176] 1 [0]
tfr : 1 [2224] 30 [-336] 32 [-80] 1 [10416]
nu type: 15 [ 30 ] 48 [ 31 ]
---
apntest=1 degree=3
Bcount=30
Bindex=2
Brank =6
Qspace=8
fct= 0 0 0 32 0 6 12 58 0 8 5 46 17 31 24 37 0 7 23 56 4 5 31 38 2 13 16 52 23 30 9 59 0 22 4 49 1 17 9 42 3 29 2 60 19 11 30 54 10 27 25 35 15 24 16 60 11 18 29 44 31 0 5 34
inv= 24 [ 28 ] 32 [ 29 ] 1 [ 31 ] 6 [ 33 ]
size=64
#bd+abd+cd+ae+be+abf+cf+df
#ac+abd+ae+be+de+af+abf+df+ef
#ac+bc+bd+ae+be+ce+af+bf
#bc+ad+abe+ef
#abc+cd+be+af
#ab
mu  : 32 [128] 6 [240] 15 [208] 10 [176] 1 [0]
tfr : 1 [2224] 32 [-80] 30 [-336] 1 [10416]
nu type: 15 [ 30 ] 48 [ 31 ]
---
apntest=1 degree=3
Bcount=30
Bindex=2
Brank =6
Qspace=8
fct= 0 0 0 32 0 4 12 58 0 14 3 45 18 24 29 37 0 3 20 48 1 6 25 43 7 10 16 58 20 29 15 51 0 16 1 52 2 22 15 44 5 27 7 60 21 15 27 54 10 25 31 46 9 30 16 55 8 21 30 33 25 0 3 42
inv= 24 [ 28 ] 32 [ 29 ] 1 [ 31 ] 6 [ 33 ]
size=64
#bd+ae+abe+ce+de+bf+abf+df
#abc+ad+bd+cd+ae+abe+de+cf+ef
#ac+bc+ad+be+abe+de+abf+df
#bc+ad+ef
#abc+cd+be+af
#ab
mu  : 32 [128] 6 [240] 15 [208] 10 [176] 1 [0]
tfr : 1 [2224] 30 [-336] 32 [-80] 1 [10416]
nu type: 15 [ 30 ] 48 [ 31 ]
#date : Wed Feb 15 23:27:51 2012

#runing time : 72.00
#map number  : 3