edit this statistic or download as text // json
Identifier
Values
=>
Cc0020;cc-rep
([],1)=>1 ([],2)=>1 ([(0,1)],2)=>2 ([],3)=>1 ([(1,2)],3)=>2 ([(0,2),(1,2)],3)=>4 ([(0,1),(0,2),(1,2)],3)=>5 ([],4)=>1 ([(2,3)],4)=>2 ([(1,3),(2,3)],4)=>4 ([(0,3),(1,3),(2,3)],4)=>8 ([(0,3),(1,2)],4)=>4 ([(0,3),(1,2),(2,3)],4)=>8 ([(1,2),(1,3),(2,3)],4)=>5 ([(0,3),(1,2),(1,3),(2,3)],4)=>10 ([(0,2),(0,3),(1,2),(1,3)],4)=>13 ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>14 ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>16 ([],5)=>1 ([(3,4)],5)=>2 ([(2,4),(3,4)],5)=>4 ([(1,4),(2,4),(3,4)],5)=>8 ([(0,4),(1,4),(2,4),(3,4)],5)=>16 ([(1,4),(2,3)],5)=>4 ([(1,4),(2,3),(3,4)],5)=>8 ([(0,1),(2,4),(3,4)],5)=>8 ([(2,3),(2,4),(3,4)],5)=>5 ([(0,4),(1,4),(2,3),(3,4)],5)=>16 ([(1,4),(2,3),(2,4),(3,4)],5)=>10 ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>20 ([(1,3),(1,4),(2,3),(2,4)],5)=>13 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>26 ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>14 ([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>20 ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>28 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>40 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>41 ([(0,4),(1,3),(2,3),(2,4)],5)=>16 ([(0,1),(2,3),(2,4),(3,4)],5)=>10 ([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>20 ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>25 ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)=>29 ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>34 ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>38 ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>28 ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>16 ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>32 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>46 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)=>44 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)=>52 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>56 ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>61 ([],6)=>1 ([(4,5)],6)=>2 ([(3,5),(4,5)],6)=>4 ([(2,5),(3,5),(4,5)],6)=>8 ([(1,5),(2,5),(3,5),(4,5)],6)=>16 ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>32 ([(2,5),(3,4)],6)=>4 ([(2,5),(3,4),(4,5)],6)=>8 ([(1,2),(3,5),(4,5)],6)=>8 ([(3,4),(3,5),(4,5)],6)=>5 ([(1,5),(2,5),(3,4),(4,5)],6)=>16 ([(0,1),(2,5),(3,5),(4,5)],6)=>16 ([(2,5),(3,4),(3,5),(4,5)],6)=>10 ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>32 ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>20 ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>40 ([(2,4),(2,5),(3,4),(3,5)],6)=>13 ([(0,5),(1,5),(2,4),(3,4)],6)=>16 ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>26 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>32 ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>14 ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>20 ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>32 ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>52 ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>28 ([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>40 ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>40 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>52 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>80 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>41 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>82 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>121 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>122 ([(0,5),(1,4),(2,3)],6)=>8 ([(1,5),(2,4),(3,4),(3,5)],6)=>16 ([(0,1),(2,5),(3,4),(4,5)],6)=>16 ([(1,2),(3,4),(3,5),(4,5)],6)=>10 ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>32 ([(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>20 ([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>20 ([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>40 ([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>25 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>50 ([(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>29 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>52 ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>34 ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>58 ([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>28 ([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>40 ([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>68 ([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>38 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>76 ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>32 ([(0,1),(2,4),(2,5),(3,4),(3,5)],6)=>26 ([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>20 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>52 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>40 ([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>40 ([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>28 ([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>40 ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6)=>65 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6)=>56 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>70 ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>16 ([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>56 ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>32 ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>64 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>92 ([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6)=>106 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>82 ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>76 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>97 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>110 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>88 ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>64 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>92 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>134 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>136 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>80 ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>44 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>88 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>52 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>104 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>61 ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)=>86 ([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>68 ([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>74 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>56 ([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>68 ([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>94 ([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>76 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>88 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>104 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>124 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>88 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>140 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>128 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>148 ([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>104 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>92 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>112 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>122 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>101 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>130 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>164 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>176 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>184 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>160 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>200 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>208 ([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)=>25 ([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6)=>56 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>50 ([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>32 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>70 ([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>64 ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>80 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)=>88 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>116 ([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>92 ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>104 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>110 ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>124 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>148 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>152 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6)=>112 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>100 ([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>128 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>148 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>140 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>160 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>142 ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>176 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>196 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>148 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>133 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>158 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>112 ([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>61 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>122 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>178 ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>224 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>188 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>173 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>194 ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>214 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>229 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>242 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>256 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>272 ([],7)=>1 ([(5,6)],7)=>2 ([(4,6),(5,6)],7)=>4 ([(3,6),(4,6),(5,6)],7)=>8 ([(2,6),(3,6),(4,6),(5,6)],7)=>16 ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>32 ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>64 ([(3,6),(4,5)],7)=>4 ([(3,6),(4,5),(5,6)],7)=>8 ([(2,3),(4,6),(5,6)],7)=>8 ([(4,5),(4,6),(5,6)],7)=>5 ([(2,6),(3,6),(4,5),(5,6)],7)=>16 ([(1,2),(3,6),(4,6),(5,6)],7)=>16 ([(3,6),(4,5),(4,6),(5,6)],7)=>10 ([(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>32 ([(0,1),(2,6),(3,6),(4,6),(5,6)],7)=>32 ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>20 ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>64 ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>40 ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(3,5),(3,6),(4,5),(4,6)],7)=>13 ([(1,6),(2,6),(3,5),(4,5)],7)=>16 ([(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>26 ([(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>32 ([(0,6),(1,6),(2,6),(3,5),(4,5)],7)=>32 ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>14 ([(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>20 ([(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>32 ([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>52 ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>64 ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>28 ([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>40 ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>64 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>104 ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>80 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>40 ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>52 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>64 ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>80 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>104 ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>41 ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>80 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>160 ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>164 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>121 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>160 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>242 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>164 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>364 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>365 ([(1,6),(2,5),(3,4)],7)=>8 ([(2,6),(3,5),(4,5),(4,6)],7)=>16 ([(1,2),(3,6),(4,5),(5,6)],7)=>16 ([(0,3),(1,2),(4,6),(5,6)],7)=>16 ([(2,3),(4,5),(4,6),(5,6)],7)=>10 ([(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>32 ([(0,1),(2,6),(3,6),(4,5),(5,6)],7)=>32 ([(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>20 ([(1,2),(3,6),(4,5),(4,6),(5,6)],7)=>20 ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>64 ([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>40 ([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>40 ([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>25 ([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>50 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>100 ([(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>29 ([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>52 ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>64 ([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>34 ([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>58 ([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>28 ([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>40 ([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>104 ([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>68 ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7)=>80 ([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>116 ([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>80 ([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>38 ([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(1,6),(2,5),(3,4),(3,5),(4,6)],7)=>32 ([(1,2),(3,5),(3,6),(4,5),(4,6)],7)=>26 ([(0,6),(1,5),(2,4),(3,4),(5,6)],7)=>32 ([(1,6),(2,6),(3,4),(3,5),(4,5)],7)=>20 ([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>52 ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>64 ([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>52 ([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7)=>40 ([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7)=>40 ([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>40 ([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>28 ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>64 ([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>40 ([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>40 ([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>104 ([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>65 ([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7)=>80 ([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>56 ([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>50 ([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>80 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>130 ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>112 ([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>140 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7)=>40 ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>16 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>80 ([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>56 ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>32 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>112 ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>64 ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>92 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)=>116 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>160 ([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>106 ([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>136 ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>184 ([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>76 ([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>97 ([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>212 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>164 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>110 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>194 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)=>104 ([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>80 ([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>80 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)=>160 ([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>130 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>112 ([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>100 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>200 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>164 ([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>140 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>205 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>136 ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>112 ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>46 ([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>64 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>176 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>152 ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>242 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>212 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>281 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7)=>322 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>220 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>286 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>326 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>134 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>176 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>268 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>272 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>404 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>406 ([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>80 ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>44 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>160 ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>88 ([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>136 ([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>52 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>176 ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>208 ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)=>61 ([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>86 ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)=>122 ([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>68 ([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7)=>116 ([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>56 ([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>68 ([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>104 ([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>172 ([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>148 ([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>76 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>188 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>152 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>176 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>208 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7)=>52 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)=>104 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7)=>56 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>80 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7)=>104 ([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>80 ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)=>169 ([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7)=>112 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>130 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>112 ([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>100 ([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>182 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>140 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>196 ([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>124 ([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>160 ([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>248 ([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>140 ([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>176 ([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>224 ([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>176 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>280 ([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>148 ([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>196 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7)=>148 ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>184 ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>266 ([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>188 ([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>212 ([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>236 ([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>188 ([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>164 ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>209 ([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>152 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>292 ([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>274 ([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>220 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>250 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>302 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>176 ([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>224 ([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>176 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>176 ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>101 ([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>244 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>130 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>202 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>260 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>290 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>194 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>212 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>164 ([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>304 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>317 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>376 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>428 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>380 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>436 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>280 ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>320 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>164 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>328 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7)=>346 ([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>374 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>356 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>260 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>272 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>290 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>382 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>484 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>488 ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>176 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>352 ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>160 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>268 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>368 ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>200 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>320 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>400 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>388 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>256 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>280 ([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>310 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>208 ([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>244 ([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>277 ([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>404 ([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>296 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>338 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>424 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>536 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>368 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>440 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>568 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>544 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>584 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>400 ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>328 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>416 ([(0,5),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>460 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>364 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>476 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>616 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>736 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>752 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>608 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>784 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>800 ([(0,1),(2,5),(3,4),(4,6),(5,6)],7)=>32 ([(0,3),(1,2),(4,5),(4,6),(5,6)],7)=>20 ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>64 ([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>40 ([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>80 ([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>50 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>100 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>125 ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>64 ([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>58 ([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7)=>40 ([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>104 ([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>80 ([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>68 ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>116 ([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7)=>80 ([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7)=>80 ([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>136 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>130 ([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>100 ([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>145 ([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>170 ([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>140 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>190 ([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7)=>25 ([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>56 ([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>56 ([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>50 ([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7)=>50 ([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>32 ([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>100 ([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>70 ([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>64 ([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>64 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>140 ([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>160 ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>208 ([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>212 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>176 ([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>242 ([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>164 ([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>194 ([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>188 ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>233 ([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>280 ([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>262 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>136 ([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7)=>88 ([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>176 ([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>176 ([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>116 ([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>200 ([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>110 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>232 ([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>248 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>100 ([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>176 ([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>170 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>140 ([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>140 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>125 ([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>220 ([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>190 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>160 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>230 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>268 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>280 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>232 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>310 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>356 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>272 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>248 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>320 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>364 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>148 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>296 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>152 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>304 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>448 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>452 ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)=>125 ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>172 ([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7)=>136 ([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>154 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)=>190 ([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>112 ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>148 ([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>136 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>136 ([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7)=>148 ([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>224 ([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>188 ([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>152 ([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>206 ([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7)=>230 ([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>188 ([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>176 ([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>188 ([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>152 ([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>208 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>284 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>184 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>112 ([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>100 ([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>224 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>200 ([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>128 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>256 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>148 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>296 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>334 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>280 ([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>244 ([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>316 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7)=>364 ([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>392 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>350 ([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>418 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>140 ([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>160 ([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>280 ([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>142 ([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>320 ([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>284 ([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>176 ([(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>352 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>296 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>260 ([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>352 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7)=>328 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>256 ([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>256 ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>292 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>404 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>368 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>356 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>424 ([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>256 ([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>133 ([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>148 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>256 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>284 ([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>158 ([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>266 ([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>296 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>316 ([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>298 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>332 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>260 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>361 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>440 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>496 ([(0,5),(0,6),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>436 ([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>352 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>460 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>512 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>442 ([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>400 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>328 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>316 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>370 ([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>424 ([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>458 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>376 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>196 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>392 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>572 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>580 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>160 ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7)=>130 ([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>200 ([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>176 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>170 ([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>208 ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>260 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>248 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>284 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>224 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>176 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>236 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>328 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>280 ([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>292 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>316 ([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>304 ([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>368 ([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>344 ([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>332 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>356 ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>400 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>224 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>176 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>188 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7)=>200 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>292 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>244 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>232 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7)=>256 ([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>238 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>320 ([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>308 ([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>284 ([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>248 ([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>284 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>340 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>292 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>232 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>226 ([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>274 ([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>244 ([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>208 ([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>298 ([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>184 ([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>202 ([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>208 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>220 ([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>253 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>320 ([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>332 ([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>260 ([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>248 ([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>278 ([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>314 ([(0,4),(0,6),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>352 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>220 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>190 ([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>205 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>260 ([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>230 ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>280 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6)],7)=>316 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7)=>250 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>232 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>292 ([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>220 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>184 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>332 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>344 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>302 ([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>248 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>358 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>416 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>472 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>424 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>488 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>368 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>424 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>400 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>328 ([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>352 ([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>388 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>440 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>380 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>412 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>400 ([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>304 ([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>328 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>428 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>536 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>544 ([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7)=>65 ([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>64 ([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7)=>100 ([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>112 ([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>182 ([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>140 ([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>140 ([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>128 ([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>208 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>196 ([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>160 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>224 ([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>61 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>454 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>394 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>412 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>316 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>464 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>346 ([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>178 ([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>356 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>524 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>529 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5),(5,6)],7)=>476 ([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>368 ([(0,4),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>464 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>320 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>320 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>389 ([(0,5),(0,6),(1,3),(1,4),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>428 ([(0,5),(0,6),(1,2),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>508 ([(0,5),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>400 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>454 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>520 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>560 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7)=>424 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>512 ([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>440 ([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>404 ([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>368 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>398 ([(0,1),(0,3),(0,4),(1,2),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>544 ([(0,3),(0,5),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>496 ([(0,4),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>472 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>584 ([(0,1),(0,4),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>568 ([(0,3),(0,4),(0,6),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>656 ([(0,2),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>632 ([(0,3),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>608 ([(0,3),(0,5),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>688 ([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>548 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>416 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>464 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>536 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>580 ([(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>536 ([(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>548 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>392 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>440 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>568 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>500 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>640 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>728 ([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>386 ([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>368 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7)=>416 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>338 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>320 ([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>350 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>392 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>341 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>320 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>296 ([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>320 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>374 ([(0,3),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>472 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>460 ([(0,3),(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>406 ([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>352 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>406 ([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>448 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>500 ([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>194 ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>188 ([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>296 ([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>173 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>388 ([(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>376 ([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>214 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>346 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>428 ([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>296 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>284 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>302 ([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>224 ([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>424 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>388 ([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>316 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>449 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>602 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>572 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>494 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>622 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>428 ([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>356 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>448 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>514 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>662 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>796 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>712 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>652 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>836 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>856 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>590 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>506 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>524 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>428 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>548 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>616 ([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>229 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>458 ([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>242 ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>484 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>700 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>713 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>284 ([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>212 ([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>248 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>316 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>280 ([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>304 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>356 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>412 ([(0,4),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>440 ([(0,3),(0,4),(1,2),(1,3),(1,5),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>404 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>452 ([(0,3),(0,6),(1,2),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>404 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>350 ([(0,3),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>392 ([(0,2),(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>508 ([(0,3),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>472 ([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>560 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>368 ([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>284 ([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>436 ([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>418 ([(0,3),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>460 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>352 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>494 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7)=>364 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>316 ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>404 ([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>368 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>332 ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>392 ([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>344 ([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>460 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>436 ([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>424 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>400 ([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>500 ([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>584 ([(0,2),(0,4),(1,3),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>524 ([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>548 ([(0,2),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>512 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>500 ([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>548 ([(0,1),(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>616 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>518 ([(0,4),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>392 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>446 ([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>550 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>424 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>484 ([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>572 ([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>476 ([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>500 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>604 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>676 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>692 ([(0,1),(0,2),(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>616 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>562 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>493 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>668 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>614 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>748 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>508 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>430 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>376 ([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>346 ([(0,2),(0,6),(1,2),(1,4),(1,5),(2,3),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>490 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>388 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>496 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>536 ([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>560 ([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>428 ([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>536 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>601 ([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>644 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>778 ([(0,1),(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>748 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>830 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>724 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>640 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>776 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>886 ([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>670 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>628 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>646 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>698 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>484 ([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>448 ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>512 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>616 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>604 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>520 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>644 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>754 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>580 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>532 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>514 ([(0,1),(0,2),(0,5),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>508 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>469 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>508 ([(0,1),(0,2),(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>632 ([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>620 ([(0,4),(0,5),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>566 ([(0,3),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>596 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>688 ([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>724 ([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>688 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>712 ([(0,4),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>764 ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>652 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>544 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>692 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>820 ([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>884 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>860 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>740 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>800 ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>940 ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>968 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>776 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>722 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7)=>856 ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7)=>977 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>817 ([(0,2),(0,3),(0,4),(0,6),(1,2),(1,3),(1,4),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>938 ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>896 ([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>1018 ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1060 ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>1100 ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>1141 ([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>140 ([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>196 ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>160 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>256 ([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>332 ([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>266 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>317 ([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>388 ([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>358 ([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>316 ([(0,3),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>388 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>382 ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>428 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7)=>256 ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>320 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>284 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>344 ([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>284 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>230 ([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>376 ([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>340 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>404 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>224 ([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>280 ([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>244 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>305 ([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>500 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>440 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>428 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>464 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>520 ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>458 ([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>356 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>422 ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>478 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>580 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>590 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>496 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>388 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>442 ([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>460 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>385 ([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>536 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>482 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>592 ([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>532 ([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>460 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>472 ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>472 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>397 ([(0,1),(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>436 ([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>572 ([(0,1),(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>530 ([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>548 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>622 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>521 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>584 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>694 ([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>664 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>734 ([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>586 ([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>448 ([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>556 ([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>580 ([(0,3),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>626 ([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>640 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>680 ([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>652 ([(0,1),(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>604 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>692 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>784 ([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>842 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>764 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>892
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The evaluation of the Tutte polynomial of the graph at (x,y) equal to (2,-1).
References
[1] Merino, C. The number of 0-1-2 increasing trees as two different evaluations of the Tutte polynomial of a complete graph MathSciNet:2426173
Code
def statistic(G):
    return G.tutte_polynomial().subs(x=2, y=-1)

Created
Oct 12, 2019 at 22:33 by Martin Rubey
Updated
Oct 12, 2019 at 22:33 by Martin Rubey