edit this statistic or download as text // json
Identifier
Values
=>
Cc0020;cc-rep
([],1)=>0 ([(0,1)],2)=>2 ([(0,2),(1,2)],3)=>10 ([(0,1),(0,2),(1,2)],3)=>6 ([(0,3),(1,3),(2,3)],4)=>24 ([(0,3),(1,2),(2,3)],4)=>30 ([(0,3),(1,2),(1,3),(2,3)],4)=>20 ([(0,2),(0,3),(1,2),(1,3)],4)=>20 ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>16 ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>12 ([(0,4),(1,4),(2,4),(3,4)],5)=>44 ([(0,4),(1,4),(2,3),(3,4)],5)=>56 ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>40 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>46 ([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>46 ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>36 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>36 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>32 ([(0,4),(1,3),(2,3),(2,4)],5)=>70 ([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>52 ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>36 ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)=>40 ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>36 ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>32 ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>42 ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>32 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>28 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)=>32 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)=>28 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>24 ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>20 ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>70 ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>88 ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>66 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>116 ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>94 ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>78 ([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>78 ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>62 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>92 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>68 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>68 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>58 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>58 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>108 ([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>84 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>62 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>84 ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>78 ([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>84 ([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>68 ([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>74 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>58 ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>140 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>98 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>112 ([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>98 ([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>90 ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6)=>74 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6)=>80 ([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>74 ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>58 ([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>74 ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>58 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>62 ([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6)=>58 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>70 ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>64 ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>58 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>64 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>64 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>54 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>74 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>64 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>84 ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)=>74 ([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>74 ([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>68 ([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>88 ([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>74 ([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>64 ([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>70 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>58 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>64 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>70 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>54 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>60 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>60 ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>60 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>54 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>50 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>46 ([(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)=>42 ([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6)=>94 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>86 ([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>70 ([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>76 ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)=>64 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>54 ([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>66 ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>60 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>54 ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>50 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6)=>58 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>58 ([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>54 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>50 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>54 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>50 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>50 ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(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)=>42 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>50 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>56 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(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)=>42 ([(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)=>38 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>46 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>46 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>46 ([(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)=>42 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>42 ([(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)=>38 ([(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)=>34 ([(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)=>30 ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>102 ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>126 ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>168 ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>138 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>116 ([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>116 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>182 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>144 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>122 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>106 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>106 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>120 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>96 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>96 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>86 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>152 ([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>94 ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>216 ([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>128 ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7)=>150 ([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>122 ([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>128 ([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>106 ([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>198 ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>166 ([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>142 ([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7)=>164 ([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>142 ([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>134 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>112 ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>118 ([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>134 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)=>136 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>118 ([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>126 ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>106 ([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>96 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>96 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)=>174 ([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>178 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)=>132 ([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>140 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>132 ([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>118 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>102 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>114 ([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>118 ([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>140 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>102 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>102 ([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>102 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>90 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7)=>86 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>92 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>116 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>92 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(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)=>78 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>102 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>86 ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)=>142 ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7)=>128 ([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>142 ([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>118 ([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>146 ([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>132 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>96 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>86 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)=>188 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>188 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7)=>156 ([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>156 ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)=>132 ([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7)=>160 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>132 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>130 ([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>132 ([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>108 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>86 ([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>132 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>108 ([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>122 ([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>102 ([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>92 ([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>118 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7)=>126 ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>112 ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>108 ([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>122 ([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>108 ([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>96 ([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>108 ([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>142 ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>114 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>92 ([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>86 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>114 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>102 ([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>122 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>102 ([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>90 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>102 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>114 ([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>86 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>98 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(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)=>78 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>98 ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7)=>86 ([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>82 ([(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)=>78 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(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)=>74 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>98 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>98 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>98 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>118 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>112 ([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>98 ([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>86 ([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>88 ([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>94 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(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)=>78 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>94 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>82 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>84 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,5),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(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)=>70 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>78 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>74 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(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)=>70 ([(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)=>66 ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>180 ([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>148 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>118 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>90 ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>252 ([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>156 ([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>180 ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>150 ([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7)=>162 ([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7)=>212 ([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>156 ([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>132 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>124 ([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>146 ([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>118 ([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>138 ([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>102 ([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>114 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>138 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>130 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>114 ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>106 ([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>108 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>108 ([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>96 ([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>114 ([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>108 ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>102 ([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>86 ([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>124 ([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>114 ([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>108 ([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>102 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>92 ([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>174 ([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>128 ([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>114 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>136 ([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>128 ([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>114 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>114 ([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>98 ([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>110 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>104 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>92 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>98 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>86 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(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)=>78 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(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)=>78 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(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)=>74 ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)=>140 ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>132 ([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7)=>146 ([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)=>118 ([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>170 ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>126 ([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>146 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>132 ([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7)=>118 ([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>108 ([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>122 ([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>142 ([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>108 ([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7)=>108 ([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>114 ([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>108 ([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>102 ([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>128 ([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>112 ([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>102 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>102 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>92 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>92 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>98 ([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>104 ([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7)=>86 ([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>82 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(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)=>78 ([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>98 ([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>96 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>90 ([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>92 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7)=>86 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>104 ([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>98 ([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>86 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>82 ([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>84 ([(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)=>74 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(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)=>70 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>146 ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7)=>152 ([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>114 ([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>128 ([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>114 ([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>110 ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>122 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>102 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>108 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>142 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>102 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>98 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>104 ([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>92 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>92 ([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>118 ([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>82 ([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>114 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>122 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>108 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7)=>108 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>104 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>104 ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7)=>92 ([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>138 ([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>100 ([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(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)=>78 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>92 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>98 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>92 ([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>104 ([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>118 ([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>118 ([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>104 ([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>82 ([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(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)=>78 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>110 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>110 ([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>110 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>106 ([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(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)=>78 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6)],7)=>86 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7)=>98 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>98 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>98 ([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>104 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>110 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>82 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>82 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(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)=>78 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>94 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(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)=>74 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>78 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>96 ([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>82 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>78 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>78 ([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(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)=>70 ([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>184 ([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7)=>152 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>152 ([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>128 ([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>156 ([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>126 ([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>128 ([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>126 ([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>104 ([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>104 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>82 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(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)=>78 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>78 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>84 ([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(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)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5),(5,6)],7)=>82 ([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>94 ([(0,4),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>82 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>94 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>100 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>94 ([(0,5),(0,6),(1,3),(1,4),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,5),(0,6),(1,2),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>84 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7)=>86 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>82 ([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>82 ([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>82 ([(0,1),(0,3),(0,4),(1,2),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,3),(0,5),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>78 ([(0,4),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>74 ([(0,1),(0,4),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>78 ([(0,3),(0,4),(0,6),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(0,2),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,3),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>74 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(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)=>66 ([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>88 ([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>82 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7)=>82 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>94 ([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>88 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>88 ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>94 ([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>94 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>82 ([(0,3),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,3),(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>84 ([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>90 ([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(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)=>74 ([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>94 ([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>84 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>94 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>82 ([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>108 ([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>90 ([(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)=>74 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>74 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>74 ([(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)=>70 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>80 ([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(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)=>70 ([(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)=>70 ([(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)=>66 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>70 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>70 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>70 ([(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)=>66 ([(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)=>62 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>80 ([(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)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>70 ([(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)=>66 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>108 ([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>114 ([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>102 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>98 ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>98 ([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>92 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>88 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>78 ([(0,4),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>88 ([(0,3),(0,4),(1,2),(1,3),(1,5),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>82 ([(0,3),(0,6),(1,2),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>94 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,3),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(0,2),(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,3),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>82 ([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,3),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7)=>92 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>86 ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>82 ([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>82 ([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>88 ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>82 ([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(0,2),(0,4),(1,3),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,2),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>74 ([(0,4),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(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)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>70 ([(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)=>66 ([(0,1),(0,2),(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>84 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>84 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>80 ([(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)=>70 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>84 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>90 ([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>96 ([(0,2),(0,6),(1,2),(1,4),(1,5),(2,3),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>90 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>74 ([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>70 ([(0,1),(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(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)=>66 ([(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)=>62 ([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>70 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(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)=>66 ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>70 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(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)=>66 ([(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)=>62 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,1),(0,2),(0,5),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>78 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>78 ([(0,1),(0,2),(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>74 ([(0,3),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>70 ([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>70 ([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(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)=>62 ([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>66 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>66 ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>66 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>66 ([(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)=>62 ([(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)=>58 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>74 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>70 ([(0,2),(0,3),(0,4),(0,6),(1,2),(1,3),(1,4),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(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)=>62 ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>62 ([(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)=>58 ([(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)=>54 ([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>148 ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>124 ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>122 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(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)=>78 ([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>88 ([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>114 ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>94 ([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>96 ([(0,3),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>84 ([(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)=>74 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7)=>98 ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>94 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>94 ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>100 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>106 ([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(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)=>74 ([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>120 ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>90 ([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>102 ([(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)=>74 ([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>86 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>92 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(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)=>70 ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>70 ([(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)=>66 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>78 ([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>84 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>84 ([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>84 ([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>80 ([(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)=>70 ([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>78 ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>78 ([(0,1),(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>78 ([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,1),(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>74 ([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>74 ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>70 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>74 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>74 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>70 ([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>70 ([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>82 ([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>76 ([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>70 ([(0,1),(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(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)=>66 ([(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)=>62 ([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>66 ([(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)=>62 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>58 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>74 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>70 ([(0,3),(0,4),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>70 ([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>66 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>74 ([(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)],7)=>74 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>74 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>70 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>66 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>70 ([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,1),(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>66 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,1),(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>58 ([(0,2),(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>62 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>58 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>54 ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>66 ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,2),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>58 ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>66 ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>72 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>72 ([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>58 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>54 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>50 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>62 ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>62 ([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>62 ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>58 ([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>58 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>54 ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>58 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>54 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>50 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>46 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>42
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
Description
The hyper-Wiener index of a connected graph.
This is
$$ \sum_{\{u,v\}\subseteq V} d(u,v)+d(u,v)^2. $$
Code
def statistic(G):
    D = [G.distance(u,v) for (u,v) in Subsets(G.vertices(), 2)]
    return sum(d + d^2 for d in D)

Created
Apr 07, 2016 at 21:28 by Martin Rubey
Updated
Apr 07, 2016 at 21:28 by Martin Rubey