#input : maps/two/fil-6-6.txt #output: maps/two/inf-6-6.txt #date : Sun Feb 19 15:45:14 2012 #excluding: 30 31 32 33 loading table... --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 34 29 47 31 37 8 0 29 40 33 63 23 16 36 17 54 25 47 1 19 32 43 0 6 7 63 45 33 46 20 19 60 53 33 17 52 29 11 1 25 45 15 19 46 58 53 3 34 12 18 62 58 26 41 inv= 4 [ 9 ] 20 [ 12 ] 16 [ 13 ] 4 [ 21 ] 16 [ 23 ] 3 [ 26 ] size=64 #abd+cd+ae+ce+ace+bce+de+bf+cf+df+adf+bdf+ef+aef+bef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 22 8 1 0 38 41 23 42 30 32 3 0 18 43 44 63 21 29 45 16 49 19 47 5 24 36 43 0 12 5 55 47 36 35 25 21 59 57 33 16 61 30 10 1 31 47 10 17 38 55 52 4 45 2 24 62 58 27 35 inv= 8 [ 9 ] 16 [ 12 ] 16 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abc+bd+bcd+be+abe+ce+bce+ade+bde+bf+cf+acf+bcf+df+ef #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ac+abc+ad+acd+abe+ce+ace+ade+af+bf+abf+cf+df+adf #bc+abc+bd+abd+cd+bcd+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 6 [176] 2 [144] 48 [160] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 22 8 1 0 38 41 22 42 31 32 3 0 19 43 45 62 20 28 44 16 49 19 46 4 25 37 43 0 12 5 55 46 37 34 24 20 59 56 32 16 61 30 11 1 30 47 11 17 38 55 52 5 45 3 25 63 58 26 34 inv= 8 [ 9 ] 16 [ 12 ] 16 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abc+bd+abd+acd+bcd+ae+be+abe+ace+bce+bde+bf+acf+bcf+adf+ef #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ac+abc+ad+acd+abe+ce+ace+ade+af+bf+abf+cf+df+adf #bc+abc+bd+abd+cd+bcd+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 6 [176] 2 [144] 48 [160] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 20 [ 26 ] 3 [ 30 ] 4 [ 31 ] 12 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 30 0 28 6 12 0 42 35 19 32 18 42 10 0 27 47 41 60 20 21 40 16 50 29 38 13 24 41 45 0 12 3 60 47 45 43 18 18 54 51 32 28 50 21 4 1 22 45 10 18 36 57 55 3 47 12 20 48 57 23 34 inv= 4 [ 9 ] 16 [ 12 ] 20 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #bd+bcd+ae+be+abe+ace+ade+bde+cde+bf+abf+cf+bcf+bdf+cdf+ef #ab+bc+ad+bd+bcd+ae+be+abe+ace+ade+bf+cf+acf+df+adf #ab+ac+bc+abd+acd+bcd+be+ce+ace+af+abf+cf #ab+ac+abc+ad+bcd+ae+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 5 [208] 1 [240] 48 [160] 6 [176] 2 [144] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 20 [ 25 ] 32 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 30 0 28 6 12 0 42 35 19 32 18 42 10 0 26 46 41 60 21 20 40 17 51 29 38 12 25 41 45 0 12 3 61 47 45 43 19 19 55 50 32 29 51 20 4 1 23 44 11 18 37 56 54 3 47 13 20 48 57 22 34 inv= 4 [ 9 ] 16 [ 12 ] 20 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #bd+bcd+abe+ace+de+bde+cde+bf+cf+bcf+df+bdf+cdf+ef #ab+bc+ad+bd+bcd+ae+be+abe+ace+ade+bf+cf+acf+df+adf #ab+ac+bc+abd+acd+bcd+be+ce+ace+af+abf+cf #ab+ac+abc+ad+bcd+ae+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 5 [208] 1 [240] 48 [160] 6 [176] 2 [144] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 20 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 35 29 47 31 36 8 0 28 41 32 62 23 16 36 16 55 25 47 1 19 33 42 0 6 7 62 44 33 46 20 19 61 53 32 16 53 29 11 1 25 45 15 19 47 59 53 2 35 12 19 63 58 27 40 inv= 4 [ 9 ] 20 [ 12 ] 16 [ 13 ] 4 [ 17 ] 8 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #bd+cd+be+abe+ace+bce+ade+bde+bf+abf+acf+bcf+df+ef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 5 [208] 48 [160] 2 [144] 4 [176] 2 [112] 1 [0] tfr : 28 [-80] 28 [-336] 7 [176] 1 [10416] nu type: 16 [ 25 ] 28 [ 26 ] 7 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 22 8 1 0 38 41 22 42 31 32 3 0 19 42 45 62 20 29 44 16 49 18 46 4 25 36 43 0 12 4 54 46 37 35 25 20 59 57 33 16 61 31 10 1 30 47 10 17 38 55 53 5 45 3 24 63 58 26 35 inv= 4 [ 9 ] 4 [ 10 ] 16 [ 12 ] 16 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #abc+bd+abd+acd+bcd+ae+ace+bce+bde+acf+bcf+adf+ef #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ac+abc+ad+acd+abe+ce+ace+ade+af+bf+abf+cf+df+adf #bc+abc+bd+abd+cd+bcd+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 5 [208] 4 [176] 2 [144] 48 [160] 2 [112] 1 [0] tfr : 7 [176] 28 [-336] 28 [-80] 1 [10416] nu type: 24 [ 25 ] 20 [ 26 ] 3 [ 30 ] 4 [ 31 ] 12 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 22 8 1 0 38 41 23 42 30 32 3 0 18 42 44 63 21 28 45 16 49 18 47 5 24 37 43 0 12 4 54 47 36 34 24 21 59 56 32 16 61 31 11 1 31 47 11 17 38 55 53 4 45 2 25 62 58 27 34 inv= 12 [ 9 ] 12 [ 12 ] 16 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #abc+bd+bcd+ce+bce+ade+bde+cf+acf+bcf+df+ef #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ac+abc+ad+acd+abe+ce+ace+ade+af+bf+abf+cf+df+adf #bc+abc+bd+abd+cd+bcd+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 6 [176] 2 [144] 48 [160] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 40 32 31 46 28 37 8 0 28 43 34 61 20 18 38 17 54 25 44 2 16 35 43 0 6 4 63 44 35 45 23 18 61 55 34 16 54 29 9 2 25 44 15 19 46 58 55 1 32 13 19 62 57 24 40 inv= 12 [ 9 ] 12 [ 12 ] 16 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #abd+bcd+be+abe+ce+ace+de+ade+bde+abf+acf+bcf+adf+bdf+aef+bef #ac+bc+abd+cd+be+ace+bce+ade+bde+af+acf+bcf+df+ef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 1 [112] 6 [176] 2 [144] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 6 0 40 32 31 44 30 37 8 0 31 41 35 61 22 19 37 18 52 26 46 3 17 33 41 0 5 7 62 47 33 45 23 19 60 54 34 16 52 29 10 3 27 47 14 17 44 59 55 2 33 13 16 60 58 24 40 inv= 12 [ 9 ] 12 [ 12 ] 16 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #abd+bcd+ae+be+abe+ce+bce+ade+bde+af+bf+cf+acf+bcf+df+ef #ac+abd+ae+ace+bce+de+bf+cf+df+adf+bdf+ef+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 5 [208] 1 [240] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 24 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 30 0 28 6 12 0 42 35 18 32 19 43 11 0 26 46 40 60 21 20 41 17 51 29 38 12 24 40 45 0 13 2 60 47 44 42 18 19 54 51 32 29 51 20 4 1 22 45 11 18 36 57 54 3 46 12 21 48 57 22 35 inv= 8 [ 9 ] 4 [ 10 ] 16 [ 12 ] 12 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #bd+abd+acd+ace+de+bde+cde+af+abf+cf+bcf+df+bdf+cdf+ef #ab+bc+ad+bd+bcd+ae+be+abe+ace+ade+bf+cf+acf+df+adf #ab+ac+bc+abd+acd+bcd+be+ce+ace+af+abf+cf #ab+ac+abc+ad+bcd+ae+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 4 [176] 2 [144] 48 [160] 5 [208] 2 [112] 1 [0] tfr : 7 [176] 28 [-336] 28 [-80] 1 [10416] nu type: 28 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 30 0 28 6 12 0 42 34 19 33 18 42 10 0 27 46 41 61 20 21 40 16 50 29 38 13 24 41 45 0 13 2 60 46 45 43 19 18 55 51 32 28 50 21 5 1 23 45 10 18 36 57 54 3 46 13 20 49 57 23 35 inv= 8 [ 9 ] 4 [ 10 ] 16 [ 12 ] 12 [ 13 ] 12 [ 21 ] 8 [ 23 ] 3 [ 26 ] size=64 #abd+cd+acd+bcd+ae+ce+ade+bde+cde+af+abf+bcf+bdf+cdf+ef #ab+bc+ad+bd+bcd+ae+be+abe+ace+ade+bf+cf+acf+df+adf #ab+ac+bc+abd+acd+bcd+be+ce+ace+af+abf+cf #ab+ac+abc+ad+bcd+ae+be+ce+ace+af+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 4 [176] 2 [144] 48 [160] 5 [208] 2 [112] 1 [0] tfr : 7 [176] 28 [-336] 28 [-80] 1 [10416] nu type: 28 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 35 29 47 31 36 8 0 28 40 33 62 23 17 37 16 55 24 46 1 19 32 43 0 6 7 63 44 33 46 21 19 61 53 33 16 53 29 10 1 25 44 15 19 47 58 53 2 35 13 19 63 58 26 40 inv= 8 [ 9 ] 4 [ 10 ] 20 [ 12 ] 8 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #bd+cd+abe+ace+bce+ade+bde+bf+acf+bcf+df+ef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 5 [208] 48 [160] 2 [144] 4 [176] 2 [112] 1 [0] tfr : 7 [176] 28 [-336] 28 [-80] 1 [10416] nu type: 32 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 35 29 47 31 36 8 0 29 41 33 63 23 17 36 17 54 24 46 1 19 33 42 0 6 7 62 44 32 46 21 18 60 52 33 17 53 28 11 1 24 45 14 18 46 58 52 2 35 12 19 62 58 26 40 inv= 8 [ 9 ] 20 [ 12 ] 12 [ 13 ] 4 [ 21 ] 16 [ 23 ] 3 [ 26 ] size=64 #bd+cd+ae+be+abe+ce+ace+bce+de+bde+bf+abf+bcf+ef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 34 29 47 31 37 8 0 28 41 33 62 23 16 37 16 55 25 47 1 19 33 42 0 6 7 62 45 32 46 20 18 61 52 33 16 52 28 10 1 24 44 14 18 47 58 52 3 34 13 18 63 58 26 41 inv= 8 [ 9 ] 20 [ 12 ] 12 [ 13 ] 4 [ 21 ] 16 [ 23 ] 3 [ 26 ] size=64 #abd+cd+be+ace+bce+ade+bf+abf+cf+acf+adf+bdf+ef+aef+bef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] --- apntest=1 degree=3 Bcount=28 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 6 0 40 32 31 44 30 37 8 0 31 41 34 61 22 19 36 18 52 26 47 3 17 33 40 0 5 6 62 47 33 44 23 19 60 55 34 16 52 28 10 3 27 46 15 17 44 58 54 2 33 12 17 60 58 25 41 inv= 16 [ 9 ] 16 [ 12 ] 8 [ 13 ] 4 [ 17 ] 12 [ 21 ] 4 [ 23 ] 3 [ 26 ] size=64 #abd+bcd+ae+be+ce+bce+ade+bde+af+abf+cf+acf+bcf+df+ef #ac+abd+ae+ace+bce+de+bf+cf+df+adf+bdf+ef+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 2 [240] 5 [208] 48 [160] 2 [144] 4 [176] 2 [112] 1 [0] tfr : 7 [176] 28 [-336] 28 [-80] 1 [10416] nu type: 24 [ 25 ] 24 [ 26 ] 7 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 35 29 47 31 36 8 0 29 40 32 63 23 16 37 17 54 25 47 1 19 32 43 0 6 7 63 44 32 46 20 18 60 52 32 17 53 28 10 1 24 44 14 18 46 59 52 2 35 13 19 62 58 27 40 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #bd+cd+ae+abe+ce+ace+bce+de+bde+bf+bcf+ef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 34 29 47 31 37 8 0 28 40 32 62 23 17 36 16 55 24 46 1 19 32 43 0 6 7 63 45 32 46 21 18 61 52 32 16 52 28 11 1 24 45 14 18 47 59 52 3 34 12 18 63 58 27 41 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abd+cd+ace+bce+ade+bf+cf+acf+adf+bdf+ef+aef+bef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 28 [ 26 ] 3 [ 30 ] 4 [ 31 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 6 0 40 35 29 44 30 37 9 0 31 42 33 63 22 19 38 17 53 27 45 2 16 32 40 0 7 5 62 47 33 45 23 18 60 53 33 17 54 31 10 2 27 44 13 18 46 57 53 1 34 14 19 61 59 25 41 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #bd+ae+ce+de+ade+bde+af+bf+cf+acf+bcf+adf+bdf+aef+bef #ac+bd+abd+bcd+ae+be+ce+bce+ade+bde+af+cf+acf+bcf+df+ef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 6 [176] 2 [144] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 20 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 6 0 40 34 29 44 30 37 8 0 31 43 32 63 22 19 38 16 52 27 44 3 17 32 41 0 6 5 63 46 33 45 22 18 61 52 32 16 54 31 10 3 27 44 12 18 47 56 53 1 35 15 18 60 59 24 40 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abd+bcd+ae+be+ce+bce+ade+bf+acf+adf+bdf+ef+aef+bef #ac+bd+abd+bcd+ae+be+ce+bce+ade+bde+af+cf+acf+bcf+df+ef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 20 [ 26 ] 3 [ 30 ] 4 [ 31 ] 8 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 18 0 24 6 4 0 40 32 29 46 30 36 9 0 30 41 33 63 22 19 36 18 53 25 47 3 19 33 40 0 6 5 62 45 34 44 22 16 63 52 33 19 53 31 11 3 26 46 14 17 46 59 53 1 32 15 16 61 58 24 41 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abd+be+ce+ace+bce+ade+bf+abf+cf+acf+adf+bdf+ef+aef+bef #ab+bc+abd+cd+ae+ce+ace+bce+de+bde+af+abf+bcf+ef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 6 [176] 1 [112] 2 [144] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 6 0 40 32 31 44 30 37 8 0 30 41 34 60 22 18 37 19 53 27 47 3 17 33 41 0 5 7 62 47 32 45 22 18 61 55 35 17 52 28 10 3 26 47 15 16 45 58 54 2 33 13 16 61 58 25 40 inv= 12 [ 9 ] 16 [ 12 ] 12 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abd+bcd+be+abe+bce+de+bde+af+bf+cf+bcf+ef #ac+abd+ae+ace+bce+de+bf+cf+df+adf+bdf+ef+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 5 [208] 1 [240] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 28 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] 4 [ 32 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 6 4 0 42 34 29 47 31 37 8 0 29 41 32 63 23 17 37 17 54 24 46 1 19 33 42 0 6 7 62 45 33 46 21 19 60 53 32 17 52 29 10 1 25 44 15 19 46 59 53 3 34 13 18 62 58 27 41 inv= 16 [ 9 ] 16 [ 12 ] 8 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #abd+cd+ae+be+ce+ace+bce+de+bf+abf+cf+df+adf+bdf+ef+aef+bef #ac+bc+ad+bd+cd+bcd+ce+ace+bde+af+bf+abf+bcf+df+adf+bdf+aef+bef #bc+abd+cd+bcd+ae+abe+ce+ace+af+bf+abf+cf #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 48 [160] 2 [144] 6 [176] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 32 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] --- apntest=1 degree=3 Bcount=24 Bindex=2 Brank =6 Qspace=1 fct= 0 0 0 16 0 26 4 8 0 46 40 18 47 27 41 15 0 23 38 41 59 24 28 33 16 61 27 42 4 29 36 39 0 4 9 55 42 32 34 20 20 62 53 33 17 53 27 7 5 22 43 10 20 39 62 57 1 40 2 29 63 54 18 43 inv= 16 [ 9 ] 16 [ 12 ] 8 [ 13 ] 8 [ 21 ] 12 [ 23 ] 3 [ 26 ] size=64 #cd+ae+ce+bce+bde+bf+bcf+ef+bef #ac+abc+ad+cd+bcd+ae+be+ce+ace+abf+cf #bc+abc+ad+abd+cd+ae+be+ace+bce+ade+bde+af+acf+bcf+df+ef #ac+ad+bd+cd+bcd+abe+ce+ace+bf+abf+cf #ab+ac+ae+ce+de+ade+acf+df #ad+bd+cd+bcd+be+ce+ace+abf+cf mu : 1 [240] 5 [208] 2 [144] 6 [176] 48 [160] 1 [112] 1 [0] tfr : 3 [176] 24 [-336] 36 [-80] 1 [10416] nu type: 32 [ 25 ] 24 [ 26 ] 3 [ 30 ] 4 [ 31 ] #date : Sun Feb 19 15:46:26 2012 #running time : 72.00 #map number : 24