Identifier
Values
=>
Cc0020;cc-rep-1 Cc0020;cc-rep
[1]=>([],1)=>([(0,1)],2)=>1 [1,2]=>([],2)=>([(0,2),(1,2)],3)=>1 [2,1]=>([(0,1)],2)=>([(0,1),(0,2),(1,2)],3)=>2 [1,2,3]=>([],3)=>([(0,3),(1,3),(2,3)],4)=>1 [1,3,2]=>([(1,2)],3)=>([(0,3),(1,2),(1,3),(2,3)],4)=>2 [2,1,3]=>([(1,2)],3)=>([(0,3),(1,2),(1,3),(2,3)],4)=>2 [2,3,1]=>([(0,2),(1,2)],3)=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>4 [3,1,2]=>([(0,2),(1,2)],3)=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>4 [3,2,1]=>([(0,1),(0,2),(1,2)],3)=>([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>6 [1,2,3,4]=>([],4)=>([(0,4),(1,4),(2,4),(3,4)],5)=>1 [1,2,4,3]=>([(2,3)],4)=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>2 [1,3,2,4]=>([(2,3)],4)=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>2 [1,3,4,2]=>([(1,3),(2,3)],4)=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 [1,4,2,3]=>([(1,3),(2,3)],4)=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 [1,4,3,2]=>([(1,2),(1,3),(2,3)],4)=>([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>6 [2,1,3,4]=>([(2,3)],4)=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>2 [2,1,4,3]=>([(0,3),(1,2)],4)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>4 [2,3,1,4]=>([(1,3),(2,3)],4)=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 [2,3,4,1]=>([(0,3),(1,3),(2,3)],4)=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>8 [2,4,1,3]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>8 [2,4,3,1]=>([(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)=>12 [3,1,2,4]=>([(1,3),(2,3)],4)=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>4 [3,1,4,2]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>8 [3,2,1,4]=>([(1,2),(1,3),(2,3)],4)=>([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>6 [3,2,4,1]=>([(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)=>12 [3,4,1,2]=>([(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)=>14 [3,4,2,1]=>([(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)=>18 [4,1,2,3]=>([(0,3),(1,3),(2,3)],4)=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>8 [4,1,3,2]=>([(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)=>12 [4,2,1,3]=>([(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)=>12 [4,2,3,1]=>([(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)=>18 [4,3,1,2]=>([(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)=>18 [4,3,2,1]=>([(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)=>24 [1,2,3,4,5]=>([],5)=>([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>1 [1,2,3,5,4]=>([(3,4)],5)=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>2 [1,2,4,3,5]=>([(3,4)],5)=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>2 [1,2,4,5,3]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [1,2,5,3,4]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [1,2,5,4,3]=>([(2,3),(2,4),(3,4)],5)=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>6 [1,3,2,4,5]=>([(3,4)],5)=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>2 [1,3,2,5,4]=>([(1,4),(2,3)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>4 [1,3,4,2,5]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [1,3,4,5,2]=>([(1,4),(2,4),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [1,3,5,2,4]=>([(1,4),(2,3),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>8 [1,3,5,4,2]=>([(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)=>12 [1,4,2,3,5]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [1,4,2,5,3]=>([(1,4),(2,3),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>8 [1,4,3,2,5]=>([(2,3),(2,4),(3,4)],5)=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>6 [1,4,3,5,2]=>([(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)=>12 [1,4,5,2,3]=>([(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)=>14 [1,4,5,3,2]=>([(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)=>18 [1,5,2,3,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)=>8 [1,5,2,4,3]=>([(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)=>12 [1,5,3,2,4]=>([(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)=>12 [1,5,3,4,2]=>([(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)=>18 [1,5,4,2,3]=>([(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)=>18 [1,5,4,3,2]=>([(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)=>24 [2,1,3,4,5]=>([(3,4)],5)=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>2 [2,1,3,5,4]=>([(1,4),(2,3)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>4 [2,1,4,3,5]=>([(1,4),(2,3)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>4 [2,1,4,5,3]=>([(0,1),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [2,1,5,3,4]=>([(0,1),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [2,1,5,4,3]=>([(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 [2,3,1,4,5]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [2,3,1,5,4]=>([(0,1),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [2,3,4,1,5]=>([(1,4),(2,4),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [2,3,4,5,1]=>([(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)=>16 [2,3,5,1,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)=>16 [2,3,5,4,1]=>([(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 [2,4,1,3,5]=>([(1,4),(2,3),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>8 [2,4,1,5,3]=>([(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)=>16 [2,4,3,1,5]=>([(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)=>12 [2,4,3,5,1]=>([(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 [2,4,5,1,3]=>([(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)=>28 [2,4,5,3,1]=>([(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)=>36 [2,5,1,3,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)=>16 [2,5,1,4,3]=>([(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)=>24 [2,5,3,1,4]=>([(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)=>24 [2,5,3,4,1]=>([(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)=>36 [2,5,4,1,3]=>([(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)=>36 [2,5,4,3,1]=>([(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)=>48 [3,1,2,4,5]=>([(2,4),(3,4)],5)=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>4 [3,1,2,5,4]=>([(0,1),(2,4),(3,4)],5)=>([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [3,1,4,2,5]=>([(1,4),(2,3),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>8 [3,1,4,5,2]=>([(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)=>16 [3,1,5,2,4]=>([(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)=>16 [3,1,5,4,2]=>([(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)=>24 [3,2,1,4,5]=>([(2,3),(2,4),(3,4)],5)=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>6 [3,2,1,5,4]=>([(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 [3,2,4,1,5]=>([(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)=>12 [3,2,4,5,1]=>([(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 [3,2,5,1,4]=>([(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)=>24 [3,2,5,4,1]=>([(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)=>36 [3,4,1,2,5]=>([(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)=>14 [3,4,1,5,2]=>([(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)=>28 [3,4,2,1,5]=>([(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)=>18 [3,4,2,5,1]=>([(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)=>36 [3,4,5,1,2]=>([(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)=>46 [3,4,5,2,1]=>([(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)=>54 [3,5,1,2,4]=>([(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)=>28 [3,5,1,4,2]=>([(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)=>42 [3,5,2,1,4]=>([(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)=>36 [3,5,2,4,1]=>([(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)=>54 [3,5,4,1,2]=>([(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)=>60 [3,5,4,2,1]=>([(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)=>72 [4,1,2,3,5]=>([(1,4),(2,4),(3,4)],5)=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>8 [4,1,2,5,3]=>([(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)=>16 [4,1,3,2,5]=>([(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)=>12 [4,1,3,5,2]=>([(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)=>24 [4,1,5,2,3]=>([(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)=>28 [4,1,5,3,2]=>([(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)=>36 [4,2,1,3,5]=>([(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)=>12 [4,2,1,5,3]=>([(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)=>24 [4,2,3,1,5]=>([(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)=>18 [4,2,3,5,1]=>([(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)=>36 [4,2,5,1,3]=>([(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)=>42 [4,2,5,3,1]=>([(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)=>54 [4,3,1,2,5]=>([(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)=>18 [4,3,1,5,2]=>([(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)=>36 [4,3,2,1,5]=>([(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)=>24 [4,3,2,5,1]=>([(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)=>48 [4,3,5,1,2]=>([(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)=>60 [4,3,5,2,1]=>([(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)=>72 [4,5,1,2,3]=>([(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)=>46 [4,5,1,3,2]=>([(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)=>60 [4,5,2,1,3]=>([(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)=>60 [4,5,2,3,1]=>([(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)=>78 [4,5,3,1,2]=>([(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)=>78 [4,5,3,2,1]=>([(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)=>96 [5,1,2,3,4]=>([(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)=>16 [5,1,2,4,3]=>([(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 [5,1,3,2,4]=>([(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 [5,1,3,4,2]=>([(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)=>36 [5,1,4,2,3]=>([(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)=>36 [5,1,4,3,2]=>([(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)=>48 [5,2,1,3,4]=>([(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 [5,2,1,4,3]=>([(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)=>36 [5,2,3,1,4]=>([(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)=>36 [5,2,3,4,1]=>([(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)=>54 [5,2,4,1,3]=>([(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)=>54 [5,2,4,3,1]=>([(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)=>72 [5,3,1,2,4]=>([(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)=>36 [5,3,1,4,2]=>([(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)=>54 [5,3,2,1,4]=>([(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)=>48 [5,3,2,4,1]=>([(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)=>72 [5,3,4,1,2]=>([(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)=>78 [5,3,4,2,1]=>([(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)=>96 [5,4,1,2,3]=>([(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)=>54 [5,4,1,3,2]=>([(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)=>72 [5,4,2,1,3]=>([(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)=>72 [5,4,2,3,1]=>([(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)=>96 [5,4,3,1,2]=>([(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)=>96 [5,4,3,2,1]=>([(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)=>120 [1,2,3,4,5,6]=>([],6)=>([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>1 [1,2,3,4,6,5]=>([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2 [1,2,3,5,4,6]=>([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2 [1,2,3,5,6,4]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,2,3,6,4,5]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,2,3,6,5,4]=>([(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)=>6 [1,2,4,3,5,6]=>([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2 [1,2,4,3,6,5]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [1,2,4,5,3,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,2,4,5,6,3]=>([(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)=>8 [1,2,4,6,3,5]=>([(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)=>8 [1,2,4,6,5,3]=>([(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)=>12 [1,2,5,3,4,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,2,5,3,6,4]=>([(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)=>8 [1,2,5,4,3,6]=>([(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)=>6 [1,2,5,4,6,3]=>([(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)=>12 [1,2,5,6,3,4]=>([(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)=>14 [1,2,5,6,4,3]=>([(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)=>18 [1,2,6,3,4,5]=>([(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)=>8 [1,2,6,3,5,4]=>([(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)=>12 [1,2,6,4,3,5]=>([(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)=>12 [1,2,6,4,5,3]=>([(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)=>18 [1,2,6,5,3,4]=>([(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)=>18 [1,2,6,5,4,3]=>([(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)=>24 [1,3,2,4,5,6]=>([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2 [1,3,2,4,6,5]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [1,3,2,5,4,6]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [1,3,2,5,6,4]=>([(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)=>8 [1,3,2,6,4,5]=>([(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)=>8 [1,3,2,6,5,4]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [1,3,4,2,5,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,3,4,2,6,5]=>([(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)=>8 [1,3,4,5,2,6]=>([(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)=>8 [1,3,4,5,6,2]=>([(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)=>16 [1,3,4,6,2,5]=>([(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)=>16 [1,3,4,6,5,2]=>([(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 [1,3,5,2,4,6]=>([(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)=>8 [1,3,5,2,6,4]=>([(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)=>16 [1,3,5,4,2,6]=>([(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)=>12 [1,3,5,4,6,2]=>([(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 [1,3,5,6,2,4]=>([(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)=>28 [1,3,5,6,4,2]=>([(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)=>36 [1,3,6,2,4,5]=>([(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)=>16 [1,3,6,2,5,4]=>([(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)=>24 [1,3,6,4,2,5]=>([(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)=>24 [1,3,6,4,5,2]=>([(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)=>36 [1,3,6,5,2,4]=>([(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)=>36 [1,3,6,5,4,2]=>([(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)=>48 [1,4,2,3,5,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [1,4,2,3,6,5]=>([(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)=>8 [1,4,2,5,3,6]=>([(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)=>8 [1,4,2,5,6,3]=>([(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)=>16 [1,4,2,6,3,5]=>([(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)=>16 [1,4,2,6,5,3]=>([(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)=>24 [1,4,3,2,5,6]=>([(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)=>6 [1,4,3,2,6,5]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [1,4,3,5,2,6]=>([(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)=>12 [1,4,3,5,6,2]=>([(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 [1,4,3,6,2,5]=>([(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)=>24 [1,4,3,6,5,2]=>([(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)=>36 [1,4,5,2,3,6]=>([(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)=>14 [1,4,5,2,6,3]=>([(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)=>28 [1,4,5,3,2,6]=>([(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)=>18 [1,4,5,3,6,2]=>([(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)=>36 [1,4,5,6,2,3]=>([(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)=>46 [1,4,5,6,3,2]=>([(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)=>54 [1,4,6,2,3,5]=>([(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)=>28 [1,4,6,2,5,3]=>([(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)=>42 [1,4,6,3,2,5]=>([(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)=>36 [1,4,6,3,5,2]=>([(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)=>54 [1,4,6,5,2,3]=>([(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)=>60 [1,4,6,5,3,2]=>([(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)=>72 [1,5,2,3,4,6]=>([(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)=>8 [1,5,2,3,6,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)=>16 [1,5,2,4,3,6]=>([(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)=>12 [1,5,2,4,6,3]=>([(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)=>24 [1,5,2,6,3,4]=>([(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)=>28 [1,5,2,6,4,3]=>([(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)=>36 [1,5,3,2,4,6]=>([(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)=>12 [1,5,3,2,6,4]=>([(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)=>24 [1,5,3,4,2,6]=>([(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)=>18 [1,5,3,4,6,2]=>([(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)=>36 [1,5,3,6,2,4]=>([(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)=>42 [1,5,3,6,4,2]=>([(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)=>54 [1,5,4,2,3,6]=>([(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)=>18 [1,5,4,2,6,3]=>([(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)=>36 [1,5,4,3,2,6]=>([(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)=>24 [1,5,4,3,6,2]=>([(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)=>48 [1,5,4,6,2,3]=>([(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)=>60 [1,5,4,6,3,2]=>([(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)=>72 [1,5,6,2,3,4]=>([(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)=>46 [1,5,6,2,4,3]=>([(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)=>60 [1,5,6,3,2,4]=>([(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)=>60 [1,5,6,3,4,2]=>([(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)=>78 [1,5,6,4,2,3]=>([(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)=>78 [1,5,6,4,3,2]=>([(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)=>96 [1,6,2,3,4,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)=>16 [1,6,2,3,5,4]=>([(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 [1,6,2,4,3,5]=>([(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 [1,6,2,4,5,3]=>([(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)=>36 [1,6,2,5,3,4]=>([(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)=>36 [1,6,2,5,4,3]=>([(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)=>48 [1,6,3,2,4,5]=>([(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 [1,6,3,2,5,4]=>([(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)=>36 [1,6,3,4,2,5]=>([(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)=>36 [1,6,3,4,5,2]=>([(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)=>54 [1,6,3,5,2,4]=>([(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)=>54 [1,6,3,5,4,2]=>([(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)=>72 [1,6,4,2,3,5]=>([(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)=>36 [1,6,4,2,5,3]=>([(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)=>54 [1,6,4,3,2,5]=>([(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)=>48 [1,6,4,3,5,2]=>([(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)=>72 [1,6,4,5,2,3]=>([(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)=>78 [1,6,4,5,3,2]=>([(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)=>96 [1,6,5,2,3,4]=>([(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)=>54 [1,6,5,2,4,3]=>([(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)=>72 [1,6,5,3,2,4]=>([(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)=>72 [1,6,5,3,4,2]=>([(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)=>96 [1,6,5,4,2,3]=>([(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)=>96 [2,1,3,4,5,6]=>([(4,5)],6)=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2 [2,1,3,4,6,5]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [2,1,3,5,4,6]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [2,1,3,5,6,4]=>([(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)=>8 [2,1,3,6,4,5]=>([(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)=>8 [2,1,3,6,5,4]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [2,1,4,3,5,6]=>([(2,5),(3,4)],6)=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4 [2,1,4,3,6,5]=>([(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)=>8 [2,1,4,5,3,6]=>([(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)=>8 [2,1,4,5,6,3]=>([(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)=>16 [2,1,4,6,3,5]=>([(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)=>16 [2,1,4,6,5,3]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [2,1,5,3,4,6]=>([(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)=>8 [2,1,5,3,6,4]=>([(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)=>16 [2,1,5,4,3,6]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [2,1,5,4,6,3]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [2,1,5,6,3,4]=>([(0,1),(2,4),(2,5),(3,4),(3,5)],6)=>([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>28 [2,1,5,6,4,3]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [2,1,6,3,4,5]=>([(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)=>16 [2,1,6,3,5,4]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [2,1,6,4,3,5]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [2,1,6,4,5,3]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [2,1,6,5,3,4]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [2,1,6,5,4,3]=>([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>48 [2,3,1,4,5,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [2,3,1,4,6,5]=>([(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)=>8 [2,3,1,5,4,6]=>([(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)=>8 [2,3,1,5,6,4]=>([(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 [2,3,1,6,4,5]=>([(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 [2,3,1,6,5,4]=>([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>24 [2,3,4,1,5,6]=>([(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)=>8 [2,3,4,1,6,5]=>([(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)=>16 [2,3,4,5,1,6]=>([(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)=>16 [2,3,4,5,6,1]=>([(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)=>32 [2,3,4,6,1,5]=>([(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)=>32 [2,3,4,6,5,1]=>([(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)=>48 [2,3,5,1,4,6]=>([(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)=>16 [2,3,5,1,6,4]=>([(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)=>32 [2,3,5,4,1,6]=>([(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 [2,3,5,4,6,1]=>([(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)=>48 [2,3,5,6,1,4]=>([(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)=>56 [2,3,5,6,4,1]=>([(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)=>72 [2,3,6,1,4,5]=>([(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 [2,3,6,1,5,4]=>([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>48 [2,3,6,4,1,5]=>([(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)=>48 [2,3,6,4,5,1]=>([(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)=>72 [2,3,6,5,1,4]=>([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>72 [2,3,6,5,4,1]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [2,4,1,3,5,6]=>([(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)=>8 [2,4,1,3,6,5]=>([(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)=>16 [2,4,1,5,3,6]=>([(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)=>16 [2,4,1,5,6,3]=>([(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)=>32 [2,4,1,6,3,5]=>([(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)=>32 [2,4,1,6,5,3]=>([(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)=>48 [2,4,3,1,5,6]=>([(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)=>12 [2,4,3,1,6,5]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [2,4,3,5,1,6]=>([(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 [2,4,3,5,6,1]=>([(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)=>48 [2,4,3,6,1,5]=>([(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)=>48 [2,4,3,6,5,1]=>([(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)=>72 [2,4,5,1,3,6]=>([(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)=>28 [2,4,5,1,6,3]=>([(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)=>56 [2,4,5,3,1,6]=>([(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)=>36 [2,4,5,3,6,1]=>([(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)=>72 [2,4,5,6,1,3]=>([(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)=>92 [2,4,5,6,3,1]=>([(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)=>108 [2,4,6,1,3,5]=>([(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)=>56 [2,4,6,1,5,3]=>([(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)=>84 [2,4,6,3,1,5]=>([(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)=>72 [2,4,6,3,5,1]=>([(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)=>108 [2,4,6,5,1,3]=>([(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)=>120 [2,4,6,5,3,1]=>([(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)=>144 [2,5,1,3,4,6]=>([(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)=>16 [2,5,1,3,6,4]=>([(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)=>32 [2,5,1,4,3,6]=>([(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)=>24 [2,5,1,4,6,3]=>([(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)=>48 [2,5,1,6,3,4]=>([(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)=>56 [2,5,1,6,4,3]=>([(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)=>72 [2,5,3,1,4,6]=>([(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)=>24 [2,5,3,1,6,4]=>([(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)=>48 [2,5,3,4,1,6]=>([(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)=>36 [2,5,3,4,6,1]=>([(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)=>72 [2,5,3,6,1,4]=>([(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)=>84 [2,5,3,6,4,1]=>([(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)=>108 [2,5,4,1,3,6]=>([(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)=>36 [2,5,4,1,6,3]=>([(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)=>72 [2,5,4,3,1,6]=>([(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)=>48 [2,5,4,3,6,1]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [2,5,4,6,1,3]=>([(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)=>120 [2,5,4,6,3,1]=>([(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)=>144 [2,5,6,1,3,4]=>([(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)=>92 [2,5,6,1,4,3]=>([(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)=>120 [2,5,6,3,1,4]=>([(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)=>120 [2,5,6,3,4,1]=>([(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)=>156 [2,5,6,4,1,3]=>([(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)=>156 [2,5,6,4,3,1]=>([(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)=>192 [2,6,1,3,4,5]=>([(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)=>32 [2,6,1,3,5,4]=>([(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)=>48 [2,6,1,4,3,5]=>([(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)=>48 [2,6,1,4,5,3]=>([(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)=>72 [2,6,1,5,3,4]=>([(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)=>72 [2,6,1,5,4,3]=>([(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)=>96 [2,6,3,1,4,5]=>([(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)=>48 [2,6,3,1,5,4]=>([(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)=>72 [2,6,3,4,1,5]=>([(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)=>72 [2,6,3,4,5,1]=>([(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)=>108 [2,6,3,5,1,4]=>([(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)=>108 [2,6,3,5,4,1]=>([(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)=>144 [2,6,4,1,3,5]=>([(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)=>72 [2,6,4,1,5,3]=>([(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)=>108 [2,6,4,3,1,5]=>([(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)=>96 [2,6,4,3,5,1]=>([(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)=>144 [2,6,4,5,1,3]=>([(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)=>156 [2,6,4,5,3,1]=>([(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)=>192 [2,6,5,1,3,4]=>([(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)=>108 [2,6,5,1,4,3]=>([(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)=>144 [2,6,5,3,1,4]=>([(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)=>144 [2,6,5,3,4,1]=>([(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)=>192 [3,1,2,4,5,6]=>([(3,5),(4,5)],6)=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4 [3,1,2,4,6,5]=>([(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)=>8 [3,1,2,5,4,6]=>([(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)=>8 [3,1,2,5,6,4]=>([(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 [3,1,2,6,4,5]=>([(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 [3,1,2,6,5,4]=>([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>24 [3,1,4,2,5,6]=>([(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)=>8 [3,1,4,2,6,5]=>([(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)=>16 [3,1,4,5,2,6]=>([(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)=>16 [3,1,4,5,6,2]=>([(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)=>32 [3,1,4,6,2,5]=>([(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)=>32 [3,1,4,6,5,2]=>([(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)=>48 [3,1,5,2,4,6]=>([(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)=>16 [3,1,5,2,6,4]=>([(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)=>32 [3,1,5,4,2,6]=>([(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)=>24 [3,1,5,4,6,2]=>([(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)=>48 [3,1,5,6,2,4]=>([(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)=>56 [3,1,5,6,4,2]=>([(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)=>72 [3,1,6,2,4,5]=>([(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)=>32 [3,1,6,2,5,4]=>([(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)=>48 [3,1,6,4,2,5]=>([(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)=>48 [3,1,6,4,5,2]=>([(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)=>72 [3,1,6,5,2,4]=>([(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)=>72 [3,1,6,5,4,2]=>([(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)=>96 [3,2,1,4,5,6]=>([(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)=>6 [3,2,1,4,6,5]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [3,2,1,5,4,6]=>([(1,2),(3,4),(3,5),(4,5)],6)=>([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>12 [3,2,1,5,6,4]=>([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>24 [3,2,1,6,4,5]=>([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>24 [3,2,1,6,5,4]=>([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)=>([(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)=>36 [3,2,4,1,5,6]=>([(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)=>12 [3,2,4,1,6,5]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [3,2,4,5,1,6]=>([(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 [3,2,4,5,6,1]=>([(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)=>48 [3,2,4,6,1,5]=>([(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)=>48 [3,2,4,6,5,1]=>([(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)=>72 [3,2,5,1,4,6]=>([(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)=>24 [3,2,5,1,6,4]=>([(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)=>48 [3,2,5,4,1,6]=>([(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)=>36 [3,2,5,4,6,1]=>([(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)=>72 [3,2,5,6,1,4]=>([(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)=>84 [3,2,5,6,4,1]=>([(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)=>108 [3,2,6,1,4,5]=>([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>48 [3,2,6,1,5,4]=>([(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)=>72 [3,2,6,4,1,5]=>([(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)=>72 [3,2,6,4,5,1]=>([(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)=>108 [3,2,6,5,1,4]=>([(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)=>108 [3,2,6,5,4,1]=>([(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)=>144 [3,4,1,2,5,6]=>([(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)=>14 [3,4,1,2,6,5]=>([(0,1),(2,4),(2,5),(3,4),(3,5)],6)=>([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>28 [3,4,1,5,2,6]=>([(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)=>28 [3,4,1,5,6,2]=>([(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)=>56 [3,4,1,6,2,5]=>([(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)=>56 [3,4,1,6,5,2]=>([(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)=>84 [3,4,2,1,5,6]=>([(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)=>18 [3,4,2,1,6,5]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [3,4,2,5,1,6]=>([(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)=>36 [3,4,2,5,6,1]=>([(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)=>72 [3,4,2,6,1,5]=>([(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)=>72 [3,4,2,6,5,1]=>([(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)=>108 [3,4,5,1,2,6]=>([(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)=>46 [3,4,5,1,6,2]=>([(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)=>92 [3,4,5,2,1,6]=>([(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)=>54 [3,4,5,2,6,1]=>([(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)=>108 [3,4,5,6,1,2]=>([(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)=>146 [3,4,5,6,2,1]=>([(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)=>162 [3,4,6,1,2,5]=>([(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)=>92 [3,4,6,1,5,2]=>([(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)=>138 [3,4,6,2,1,5]=>([(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)=>108 [3,4,6,2,5,1]=>([(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)=>162 [3,4,6,5,1,2]=>([(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)=>192 [3,4,6,5,2,1]=>([(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)=>216 [3,5,1,2,4,6]=>([(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)=>28 [3,5,1,2,6,4]=>([(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)=>56 [3,5,1,4,2,6]=>([(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)=>42 [3,5,1,4,6,2]=>([(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)=>84 [3,5,1,6,2,4]=>([(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)=>98 [3,5,1,6,4,2]=>([(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)=>126 [3,5,2,1,4,6]=>([(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)=>36 [3,5,2,1,6,4]=>([(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)=>72 [3,5,2,4,1,6]=>([(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)=>54 [3,5,2,4,6,1]=>([(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)=>108 [3,5,2,6,1,4]=>([(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)=>126 [3,5,2,6,4,1]=>([(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)=>162 [3,5,4,1,2,6]=>([(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)=>60 [3,5,4,1,6,2]=>([(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)=>120 [3,5,4,2,1,6]=>([(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)=>72 [3,5,4,2,6,1]=>([(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)=>144 [3,5,4,6,1,2]=>([(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)=>192 [3,5,4,6,2,1]=>([(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)=>216 [3,5,6,1,2,4]=>([(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)=>152 [3,5,6,1,4,2]=>([(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)=>198 [3,5,6,2,1,4]=>([(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)=>180 [3,5,6,2,4,1]=>([(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)=>234 [3,5,6,4,1,2]=>([(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)=>252 [3,5,6,4,2,1]=>([(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)=>288 [3,6,1,2,4,5]=>([(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)=>56 [3,6,1,2,5,4]=>([(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)=>84 [3,6,1,4,2,5]=>([(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)=>84 [3,6,1,4,5,2]=>([(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)=>126 [3,6,1,5,2,4]=>([(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)=>126 [3,6,1,5,4,2]=>([(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)=>168 [3,6,2,1,4,5]=>([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>72 [3,6,2,1,5,4]=>([(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)=>108 [3,6,2,4,1,5]=>([(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)=>108 [3,6,2,4,5,1]=>([(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)=>162 [3,6,2,5,1,4]=>([(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)=>162 [3,6,2,5,4,1]=>([(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)=>216 [3,6,4,1,2,5]=>([(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)=>120 [3,6,4,1,5,2]=>([(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)=>180 [3,6,4,2,1,5]=>([(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)=>144 [3,6,4,2,5,1]=>([(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)=>216 [3,6,4,5,1,2]=>([(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)=>252 [3,6,4,5,2,1]=>([(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)=>288 [3,6,5,1,2,4]=>([(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)=>180 [4,1,2,3,5,6]=>([(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)=>8 [4,1,2,3,6,5]=>([(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)=>16 [4,1,2,5,3,6]=>([(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)=>16 [4,1,2,5,6,3]=>([(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 [4,1,2,6,3,5]=>([(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)=>32 [4,1,2,6,5,3]=>([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>48 [4,1,3,2,5,6]=>([(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)=>12 [4,1,3,2,6,5]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [4,1,3,5,2,6]=>([(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)=>24 [4,1,3,5,6,2]=>([(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)=>48 [4,1,3,6,2,5]=>([(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)=>48 [4,1,3,6,5,2]=>([(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)=>72 [4,1,5,2,3,6]=>([(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)=>28 [4,1,5,2,6,3]=>([(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)=>56 [4,1,5,3,2,6]=>([(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)=>36 [4,1,5,3,6,2]=>([(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)=>72 [4,1,5,6,2,3]=>([(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)=>92 [4,1,5,6,3,2]=>([(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)=>108 [4,1,6,2,3,5]=>([(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)=>56 [4,1,6,2,5,3]=>([(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)=>84 [4,1,6,3,2,5]=>([(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)=>72 [4,1,6,3,5,2]=>([(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)=>108 [4,1,6,5,2,3]=>([(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)=>120 [4,1,6,5,3,2]=>([(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)=>144 [4,2,1,3,5,6]=>([(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)=>12 [4,2,1,3,6,5]=>([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>24 [4,2,1,5,3,6]=>([(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)=>24 [4,2,1,5,6,3]=>([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>([(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)=>48 [4,2,1,6,3,5]=>([(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)=>48 [4,2,1,6,5,3]=>([(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)=>72 [4,2,3,1,5,6]=>([(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)=>18 [4,2,3,1,6,5]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [4,2,3,5,1,6]=>([(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)=>36 [4,2,3,5,6,1]=>([(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)=>72 [4,2,3,6,1,5]=>([(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)=>72 [4,2,3,6,5,1]=>([(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)=>108 [4,2,5,1,3,6]=>([(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)=>42 [4,2,5,1,6,3]=>([(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)=>84 [4,2,5,3,1,6]=>([(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)=>54 [4,2,5,3,6,1]=>([(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)=>108 [4,2,5,6,1,3]=>([(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)=>138 [4,2,5,6,3,1]=>([(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)=>162 [4,2,6,1,3,5]=>([(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)=>84 [4,2,6,1,5,3]=>([(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)=>126 [4,2,6,3,1,5]=>([(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)=>108 [4,2,6,3,5,1]=>([(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)=>162 [4,2,6,5,1,3]=>([(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)=>180 [4,2,6,5,3,1]=>([(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)=>216 [4,3,1,2,5,6]=>([(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)=>18 [4,3,1,2,6,5]=>([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>36 [4,3,1,5,2,6]=>([(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)=>36 [4,3,1,5,6,2]=>([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>72 [4,3,1,6,2,5]=>([(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)=>72 [4,3,1,6,5,2]=>([(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)=>108 [4,3,2,1,5,6]=>([(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)=>24 [4,3,2,1,6,5]=>([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>48 [4,3,2,5,1,6]=>([(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)=>48 [4,3,2,5,6,1]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [4,3,2,6,1,5]=>([(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)=>96 [4,3,2,6,5,1]=>([(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)=>144 [4,3,5,1,2,6]=>([(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)=>60 [4,3,5,1,6,2]=>([(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)=>120 [4,3,5,2,1,6]=>([(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)=>72 [4,3,5,2,6,1]=>([(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)=>144 [4,3,5,6,1,2]=>([(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)=>192 [4,3,5,6,2,1]=>([(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)=>216 [4,3,6,1,2,5]=>([(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)=>120 [4,3,6,1,5,2]=>([(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)=>180 [4,3,6,2,1,5]=>([(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)=>144 [4,3,6,2,5,1]=>([(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)=>216 [4,3,6,5,1,2]=>([(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)=>252 [4,5,1,2,3,6]=>([(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)=>46 [4,5,1,2,6,3]=>([(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)=>92 [4,5,1,3,2,6]=>([(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)=>60 [4,5,1,3,6,2]=>([(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)=>120 [4,5,1,6,2,3]=>([(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)=>152 [4,5,1,6,3,2]=>([(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)=>180 [4,5,2,1,3,6]=>([(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)=>60 [4,5,2,1,6,3]=>([(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)=>120 [4,5,2,3,1,6]=>([(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)=>78 [4,5,2,3,6,1]=>([(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)=>156 [4,5,2,6,1,3]=>([(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)=>198 [4,5,2,6,3,1]=>([(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)=>234 [4,5,3,1,2,6]=>([(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)=>78 [4,5,3,1,6,2]=>([(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)=>156 [4,5,3,2,1,6]=>([(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)=>96 [4,5,3,2,6,1]=>([(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)=>192 [4,5,3,6,1,2]=>([(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)=>252 [4,5,3,6,2,1]=>([(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)=>288 [4,5,6,1,2,3]=>([(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)=>230 [4,5,6,1,3,2]=>([(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)=>276 [4,5,6,2,1,3]=>([(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)=>276 [4,5,6,2,3,1]=>([(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)=>330 [4,5,6,3,1,2]=>([(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)=>330 [4,5,6,3,2,1]=>([(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)=>384 [4,6,1,2,3,5]=>([(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)=>92 [4,6,1,2,5,3]=>([(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)=>138 [4,6,1,3,2,5]=>([(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)=>120 [4,6,1,3,5,2]=>([(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)=>180 [4,6,1,5,2,3]=>([(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)=>198 [4,6,2,1,3,5]=>([(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)=>120 [4,6,2,1,5,3]=>([(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)=>180 [4,6,2,3,1,5]=>([(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)=>156 [4,6,2,3,5,1]=>([(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)=>234 [4,6,3,1,2,5]=>([(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)=>156 [4,6,5,1,2,3]=>([(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)=>276 [5,1,2,3,4,6]=>([(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)=>16 [5,1,2,3,6,4]=>([(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)=>32 [5,1,2,4,3,6]=>([(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 [5,1,2,4,6,3]=>([(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)=>48 [5,1,2,6,3,4]=>([(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)=>56 [5,1,2,6,4,3]=>([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>([(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)=>72 [5,1,3,2,4,6]=>([(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 [5,1,3,2,6,4]=>([(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)=>48 [5,1,3,4,2,6]=>([(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)=>36 [5,1,3,4,6,2]=>([(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)=>72 [5,1,3,6,2,4]=>([(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)=>84 [5,1,3,6,4,2]=>([(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)=>108 [5,1,4,2,3,6]=>([(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)=>36 [5,1,4,2,6,3]=>([(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)=>72 [5,1,4,3,2,6]=>([(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)=>48 [5,1,4,3,6,2]=>([(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)=>96 [5,1,4,6,2,3]=>([(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)=>120 [5,1,4,6,3,2]=>([(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)=>144 [5,1,6,2,3,4]=>([(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)=>92 [5,1,6,2,4,3]=>([(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)=>120 [5,1,6,3,2,4]=>([(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)=>120 [5,1,6,3,4,2]=>([(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)=>156 [5,1,6,4,2,3]=>([(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)=>156 [5,2,1,3,4,6]=>([(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 [5,2,1,3,6,4]=>([(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)=>48 [5,2,1,4,3,6]=>([(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)=>36 [5,2,1,4,6,3]=>([(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)=>72 [5,2,1,6,3,4]=>([(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)=>84 [5,2,1,6,4,3]=>([(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)=>108 [5,2,3,1,4,6]=>([(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)=>36 [5,2,3,1,6,4]=>([(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)=>72 [5,2,3,4,1,6]=>([(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)=>54 [5,2,3,4,6,1]=>([(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)=>108 [5,2,3,6,1,4]=>([(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)=>126 [5,2,3,6,4,1]=>([(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)=>162 [5,2,4,1,3,6]=>([(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)=>54 [5,2,4,1,6,3]=>([(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)=>108 [5,2,4,3,1,6]=>([(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)=>72 [5,2,4,3,6,1]=>([(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)=>144 [5,2,4,6,1,3]=>([(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)=>180 [5,2,4,6,3,1]=>([(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)=>216 [5,2,6,1,3,4]=>([(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)=>138 [5,2,6,1,4,3]=>([(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)=>180 [5,2,6,3,1,4]=>([(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)=>180 [5,2,6,3,4,1]=>([(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)=>234 [5,3,1,2,4,6]=>([(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)=>36 [5,3,1,2,6,4]=>([(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)=>72 [5,3,1,4,2,6]=>([(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)=>54 [5,3,1,4,6,2]=>([(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)=>108 [5,3,1,6,2,4]=>([(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)=>126 [5,3,1,6,4,2]=>([(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)=>162 [5,3,2,1,4,6]=>([(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)=>48 [5,3,2,1,6,4]=>([(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)=>96 [5,3,2,4,1,6]=>([(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)=>72 [5,3,2,4,6,1]=>([(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)=>144 [5,3,2,6,1,4]=>([(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)=>168 [5,3,2,6,4,1]=>([(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)=>216 [5,3,4,1,2,6]=>([(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)=>78 [5,3,4,1,6,2]=>([(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)=>156 [5,3,4,2,1,6]=>([(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)=>96 [5,3,4,2,6,1]=>([(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)=>192 [5,3,4,6,1,2]=>([(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)=>252 [5,3,4,6,2,1]=>([(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)=>288 [5,3,6,1,2,4]=>([(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)=>198 [5,4,1,2,3,6]=>([(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)=>54 [5,4,1,2,6,3]=>([(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)=>108 [5,4,1,3,2,6]=>([(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)=>72 [5,4,1,3,6,2]=>([(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)=>144 [5,4,1,6,2,3]=>([(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)=>180 [5,4,2,1,3,6]=>([(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)=>72 [5,4,2,1,6,3]=>([(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)=>144 [5,4,2,3,1,6]=>([(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)=>96 [5,4,2,3,6,1]=>([(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)=>192 [5,4,3,1,2,6]=>([(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)=>96 [5,4,6,1,2,3]=>([(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)=>276 [5,6,1,2,3,4]=>([(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)=>146 [5,6,1,2,4,3]=>([(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)=>192 [5,6,1,3,2,4]=>([(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)=>192 [5,6,1,3,4,2]=>([(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)=>252 [5,6,1,4,2,3]=>([(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)=>252 [5,6,2,1,3,4]=>([(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)=>192 [5,6,2,1,4,3]=>([(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)=>252 [5,6,2,3,1,4]=>([(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)=>252 [5,6,2,3,4,1]=>([(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)=>330 [5,6,3,1,2,4]=>([(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)=>252 [5,6,4,1,2,3]=>([(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)=>330 [6,1,2,3,4,5]=>([(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)=>32 [6,1,2,3,5,4]=>([(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)=>48 [6,1,2,4,3,5]=>([(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)=>48 [6,1,2,4,5,3]=>([(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)=>72 [6,1,2,5,3,4]=>([(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)=>72 [6,1,2,5,4,3]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [6,1,3,2,4,5]=>([(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)=>48 [6,1,3,2,5,4]=>([(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)=>72 [6,1,3,4,2,5]=>([(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)=>72 [6,1,3,4,5,2]=>([(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)=>108 [6,1,3,5,2,4]=>([(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)=>108 [6,1,3,5,4,2]=>([(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)=>144 [6,1,4,2,3,5]=>([(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)=>72 [6,1,4,2,5,3]=>([(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)=>108 [6,1,4,3,2,5]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [6,1,4,3,5,2]=>([(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)=>144 [6,1,4,5,2,3]=>([(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)=>156 [6,1,4,5,3,2]=>([(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)=>192 [6,1,5,2,3,4]=>([(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)=>108 [6,1,5,2,4,3]=>([(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)=>144 [6,1,5,3,2,4]=>([(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)=>144 [6,1,5,3,4,2]=>([(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)=>192 [6,1,5,4,2,3]=>([(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)=>192 [6,2,1,3,4,5]=>([(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)=>48 [6,2,1,3,5,4]=>([(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)=>72 [6,2,1,4,3,5]=>([(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)=>72 [6,2,1,4,5,3]=>([(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)=>108 [6,2,1,5,3,4]=>([(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)=>108 [6,2,1,5,4,3]=>([(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)=>144 [6,2,3,1,4,5]=>([(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)=>72 [6,2,3,1,5,4]=>([(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)=>108 [6,2,3,4,1,5]=>([(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)=>108 [6,2,3,4,5,1]=>([(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)=>162 [6,2,3,5,1,4]=>([(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)=>162 [6,2,3,5,4,1]=>([(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)=>216 [6,2,4,1,3,5]=>([(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)=>108 [6,2,4,1,5,3]=>([(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)=>162 [6,2,4,3,1,5]=>([(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)=>144 [6,2,4,3,5,1]=>([(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)=>216 [6,2,4,5,1,3]=>([(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)=>234 [6,2,4,5,3,1]=>([(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)=>288 [6,2,5,1,3,4]=>([(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)=>162 [6,2,5,1,4,3]=>([(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)=>216 [6,2,5,3,1,4]=>([(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)=>216 [6,2,5,3,4,1]=>([(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)=>288 [6,3,1,2,4,5]=>([(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)=>72 [6,3,1,2,5,4]=>([(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)=>108 [6,3,1,4,2,5]=>([(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)=>108 [6,3,1,4,5,2]=>([(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)=>162 [6,3,1,5,2,4]=>([(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)=>162 [6,3,1,5,4,2]=>([(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)=>216 [6,3,2,1,4,5]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(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)=>96 [6,3,2,1,5,4]=>([(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)=>144 [6,3,2,4,1,5]=>([(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)=>144 [6,3,2,4,5,1]=>([(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)=>216 [6,3,2,5,1,4]=>([(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)=>216 [6,3,4,1,2,5]=>([(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)=>156 [6,3,4,1,5,2]=>([(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)=>234 [6,3,4,2,1,5]=>([(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)=>192 [6,3,4,2,5,1]=>([(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)=>288 [6,3,4,5,1,2]=>([(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)=>330 [6,3,4,5,2,1]=>([(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)=>384 [6,3,5,1,2,4]=>([(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)=>234 [6,4,1,2,3,5]=>([(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)=>108 [6,4,1,2,5,3]=>([(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)=>162 [6,4,1,3,2,5]=>([(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)=>144 [6,4,1,3,5,2]=>([(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)=>216 [6,4,1,5,2,3]=>([(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)=>234 [6,4,2,1,3,5]=>([(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)=>144 [6,4,2,1,5,3]=>([(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)=>216 [6,4,2,3,1,5]=>([(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)=>192 [6,4,2,3,5,1]=>([(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)=>288 [6,4,3,1,2,5]=>([(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)=>192 [6,4,5,1,2,3]=>([(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)=>330 [6,5,1,2,3,4]=>([(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)=>162 [6,5,1,2,4,3]=>([(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)=>216 [6,5,1,3,2,4]=>([(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)=>216 [6,5,1,3,4,2]=>([(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)=>288 [6,5,1,4,2,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,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)=>288 [6,5,2,1,3,4]=>([(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)=>216 [6,5,2,3,1,4]=>([(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)=>288 [6,5,2,3,4,1]=>([(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)=>384 [6,5,3,1,2,4]=>([(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)=>288 [6,5,4,1,2,3]=>([(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)=>384 []=>([],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 evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,0).
Map
graph of inversions
Description
The graph of inversions of a permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.
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.