Identifier
Values
=>
Cc0020;cc-rep-0 Cc0020;cc-rep
([],1)=>([(0,1)],2)=>1 ([],2)=>([(0,2),(1,2)],3)=>1 ([(0,1)],2)=>([(0,1),(0,2),(1,2)],3)=>3 ([],3)=>([(0,3),(1,3),(2,3)],4)=>1 ([(1,2)],3)=>([(0,3),(1,2),(1,3),(2,3)],4)=>3 ([(0,2),(1,2)],3)=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>4 ([(0,1),(0,2),(1,2)],3)=>([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>4 ([],4)=>([(0,4),(1,4),(2,4),(3,4)],5)=>1 ([(2,3)],4)=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>3 ([(1,3),(2,3)],4)=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 ([(0,3),(1,3),(2,3)],4)=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>5 ([(0,3),(1,2)],4)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>9 ([(0,3),(1,2),(2,3)],4)=>([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>21 ([(1,2),(1,3),(2,3)],4)=>([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 ([(0,3),(1,2),(1,3),(2,3)],4)=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>20 ([(0,2),(0,3),(1,2),(1,3)],4)=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)=>45 ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>75 ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>125 ([],5)=>([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>1 ([(3,4)],5)=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>3 ([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 ([(1,4),(2,4),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>5 ([(0,4),(1,4),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>6 ([(1,4),(2,3)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>9 ([(1,4),(2,3),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>21 ([(0,1),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>12 ([(2,3),(2,4),(3,4)],5)=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 ([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>26 ([(1,4),(2,3),(2,4),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>20 ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>24 ([(1,3),(1,4),(2,3),(2,4)],5)=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>45 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>111 ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>75 ([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>99 ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>90 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>108 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>81 ([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>55 ([(0,1),(2,3),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>12 ([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>52 ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>48 ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)=>([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>121 ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>209 ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>168 ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>185 ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>125 ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>150 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>135 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)=>([(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)=>180 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)=>([(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)=>144 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>108 ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>([(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)=>81 ([],6)=>([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>1 ([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3 ([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 ([(2,5),(3,5),(4,5)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5 ([(1,5),(2,5),(3,5),(4,5)],6)=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6 ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7 ([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>9 ([(2,5),(3,4),(4,5)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>21 ([(1,2),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 ([(3,4),(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 ([(1,5),(2,5),(3,4),(4,5)],6)=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>26 ([(0,1),(2,5),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>15 ([(2,5),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>20 ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>31 ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>28 ([(2,4),(2,5),(3,4),(3,5)],6)=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>45 ([(0,5),(1,5),(2,4),(3,4)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>16 ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>111 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>68 ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>75 ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>99 ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>32 ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>([(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)=>132 ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>90 ([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>118 ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>105 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>108 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>273 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>513 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>81 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>429 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>378 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>945 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1323 ([(0,5),(1,4),(2,3)],6)=>([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>27 ([(1,5),(2,4),(3,4),(3,5)],6)=>([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>55 ([(0,1),(2,5),(3,4),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>63 ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>135 ([(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>52 ([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>124 ([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>48 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>112 ([(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>121 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>([(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)=>136 ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>209 ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>([(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)=>297 ([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>185 ([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(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)=>243 ([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>497 ([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>441 ([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>168 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>392 ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>72 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>([(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)=>144 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(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)=>68 ([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>257 ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6)=>([(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)=>132 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>465 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>236 ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>420 ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>125 ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>150 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>585 ([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6)=>([(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)=>480 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>396 ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>799 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>897 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1407 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>855 ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>135 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>715 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>630 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>1575 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>2205 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>([(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)=>132 ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>180 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>428 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>144 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>336 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>([(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)=>80 ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)=>([(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)=>144 ([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(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)=>513 ([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>280 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>455 ([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>256 ([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>464 ([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>823 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>([(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)=>935 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>1463 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>128 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>([(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)=>220 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>412 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>384 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1204 ([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>684 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>108 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>642 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>504 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1543 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>1445 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>2261 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1764 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>([(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)=>112 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>336 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>1260 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>([(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)=>980 ([(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)=>([(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)=>1372 ([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6)=>([(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)=>240 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(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)=>64 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>220 ([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>775 ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>700 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)=>([(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)=>240 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>800 ([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>660 ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>744 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>1495 ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>2345 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>2625 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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,5),(4,6),(5,6)],7)=>3675 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6)=>([(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)=>504 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(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)=>975 ([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>1615 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>2527 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>432 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(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)=>1320 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(0,6),(1,2),(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)=>2465 ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(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)=>3857 ([(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)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>5635 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(0,2),(0,5),(0,6),(1,3),(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)=>1236 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>576 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(0,6),(1,2),(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)=>1806 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(0,6),(1,2),(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)=>513 ([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(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)=>81 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(0,6),(1,2),(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)=>378 ([(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)=>([(0,4),(0,5),(0,6),(1,2),(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)=>1323 ([(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)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>4116 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>4025 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(0,6),(1,2),(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)=>945 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>1008 ([(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)=>([(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>2940 ([(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)=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6125 ([(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)=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,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)=>8575 ([(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)=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>12005 ([(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)=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(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)=>16807 ([],0)=>([],1)=>1
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 absolute value of the quotient of the Tutte polynomial of the graph at (1,1) and (-1,-1).
Map
cone
Description
The cone of a graph.
The cone of a graph is obtained by joining a new vertex to all the vertices of the graph. The added vertex is called a universal vertex or a dominating vertex.