#input : quad/ccz-6-6.txt
#output: quad/inf-6-6.txt
#date  : Tue Oct 11 08:15:25 2011

#excluding: 30
loading table...
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [80] 1 [240] 10 [208] 5 [112] 26 [176] 20 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 14 0 6 7 15 0 24 20 2 36 58 55 39 0 4 36 46 17 19 50 62 10 22 58 40 63 37 8 28 0 39 16 57 9 40 30 49 3 60 7 54 46 23 45 26 2 33 54 27 26 63 41 2 11 48 43 30 55 10 16 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 9 [208] 2 [240] 6 [112] 24 [176] 22 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 14 0 6 7 15 0 24 20 2 36 58 55 39 0 5 37 46 17 18 51 62 11 22 58 41 62 37 8 29 0 39 16 57 8 41 31 48 3 60 7 54 47 22 44 27 2 32 55 27 27 63 41 3 10 48 43 31 55 11 17 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 21 [208] 42 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 12 0 4 5 13 0 24 22 2 38 58 53 37 0 6 36 46 18 16 51 61 9 23 59 41 61 39 10 28 0 38 17 59 9 43 29 51 2 60 5 55 45 23 47 25 3 35 54 26 24 60 40 0 8 48 43 31 53 9 19 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [240] 1 [80] 10 [208] 5 [112] 26 [176] 20 [144] 1 [0]
tfr : 21 [176] 42 [-336] 1 [10416]
fct= 0 0 0 12 0 4 5 13 0 24 22 2 38 58 53 37 0 7 36 47 19 16 50 61 9 22 59 40 60 39 11 28 0 39 17 58 8 43 28 51 2 61 5 54 44 23 46 25 3 35 54 26 24 60 40 0 8 48 43 31 53 9 19 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [80] 1 [240] 10 [208] 26 [176] 5 [112] 20 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 12 0 4 6 14 0 24 21 1 38 58 53 37 0 7 38 45 18 17 50 61 11 20 56 43 63 36 10 29 0 36 16 56 8 40 30 50 3 63 6 54 45 21 46 26 2 33 52 27 24 63 40 3 10 49 41 30 54 9 19 32
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [240] 1 [80] 10 [208] 5 [112] 26 [176] 20 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 12 0 4 6 14 0 24 21 1 38 58 53 37 0 7 39 44 19 16 50 61 10 21 56 43 63 36 11 28 0 37 17 56 9 40 30 51 2 63 6 55 45 20 47 26 3 33 53 27 25 63 41 3 11 49 40 30 55 9 18 32
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 2 [240] 9 [208] 6 [112] 24 [176] 22 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 14 0 6 4 12 0 24 23 1 36 58 55 39 0 7 38 47 18 19 48 63 10 21 59 42 60 37 9 30 0 37 17 58 8 43 29 48 2 63 4 55 46 21 44 25 3 33 52 24 25 61 42 0 11 49 43 31 53 9 17 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [240] 1 [80] 10 [208] 26 [176] 5 [112] 20 [144] 1 [0]
tfr : 42 [-336] 21 [176] 1 [10416]
fct= 0 0 0 12 0 4 6 14 0 26 21 3 38 56 53 39 0 5 38 47 18 19 50 63 11 20 56 43 63 36 10 29 0 36 16 56 8 40 30 50 3 61 6 52 45 23 46 24 2 35 52 25 24 61 40 1 10 49 41 30 54 9 19 32
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 1 [80] 1 [240] 10 [208] 5 [112] 26 [176] 20 [144] 1 [0]
tfr : 21 [176] 42 [-336] 1 [10416]
fct= 0 0 0 14 0 6 4 12 0 24 23 1 36 58 55 39 0 5 38 45 19 16 49 60 9 20 56 43 62 37 11 30 0 36 17 59 9 43 28 48 2 62 4 54 47 21 45 25 3 34 52 27 25 62 42 3 8 49 40 31 54 9 18 35
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=46
Bindex=3
Brank =6
nLx=499122176
mu  : 6 [240] 6 [80] 15 [208] 16 [176] 10 [112] 10 [144] 1 [0]
tfr : 1 [2224] 16 [176] 46 [-336] 1 [10416]
fct= 0 0 0 14 0 6 4 12 0 26 23 3 36 56 55 37 0 5 39 44 18 17 49 60 8 23 56 41 62 39 10 29 0 37 16 59 9 42 29 48 1 62 6 55 44 21 47 24 3 35 52 26 24 62 43 3 10 48 42 30 53 9 17 35
inv= 1 [ 31 ] 16 [ 32 ] 46 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 21 [208] 42 [144] 1 [0]
tfr : 21 [176] 42 [-336] 1 [10416]
fct= 0 0 0 14 0 12 10 8 0 26 21 1 34 52 61 37 0 4 39 45 23 31 58 60 10 20 56 40 63 45 7 27 0 41 16 55 5 32 31 52 3 48 6 59 36 27 43 26 2 47 53 22 16 49 45 2 11 60 41 16 59 0 19 38
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 21 [208] 42 [144] 1 [0]
tfr : 21 [176] 42 [-336] 1 [10416]
fct= 0 0 0 14 0 10 11 15 0 28 22 4 36 50 57 33 0 1 34 45 23 28 62 59 15 18 59 40 60 43 3 26 0 41 17 54 4 39 30 51 2 55 5 62 34 29 46 31 3 43 48 22 16 50 40 4 14 58 43 17 57 7 23 39
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
---
apntest=1 degree=2
Gdegre=9
brank=0
Bcount=42
Bindex=3
Brank =6
nLx=440401920
mu  : 21 [208] 42 [144] 1 [0]
tfr : 21 [176] 42 [-336] 1 [10416]
fct= 0 0 0 14 0 10 11 15 0 28 23 5 36 50 56 32 0 1 34 45 23 28 62 59 14 19 59 40 61 42 3 26 0 41 16 55 5 38 30 51 3 54 4 63 34 29 46 31 2 42 48 22 16 50 41 5 15 59 42 16 57 7 23 39
inv= 21 [ 32 ] 42 [ 33 ]
size=1
nu: 63 [ 30 ]
#date : Tue Oct 11 08:18:54 2011

#runing time : 209.00
#map number  : 13