edit this statistic or download as text // json
Identifier
Values
=>
Cc0029;cc-rep
([],1)=>2 ([(0,1)],2)=>4 ([(0,2),(2,1)],3)=>8 ([(0,1),(0,2),(1,3),(2,3)],4)=>13 ([(0,3),(2,1),(3,2)],4)=>16 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)=>20 ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)=>23 ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)=>26 ([(0,4),(2,3),(3,1),(4,2)],5)=>32 ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>26 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)=>31 ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)=>34 ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)=>36 ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)=>40 ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)=>46 ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)=>52 ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)=>43 ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)=>52 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)=>36 ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>52 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)=>40 ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)=>37 ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)=>38 ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>64 ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)=>46 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>50 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)=>53 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)=>53 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)=>55 ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)=>62 ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)=>68 ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)=>72 ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)=>80 ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)=>62 ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)=>72 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)=>68 ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)=>104 ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)=>74 ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)=>76 ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)=>62 ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)=>69 ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)=>80 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>53 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)=>69 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)=>85 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>55 ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)=>80 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)=>62 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)=>56 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>54 ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>104 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)=>72 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)=>55 ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)=>68 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)=>56 ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)=>53 ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)=>62 ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>76 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)=>69 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)=>56 ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)=>55 ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)=>86 ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)=>63 ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)=>92 ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)=>72 ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)=>54 ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)=>62 ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)=>83 ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)=>104 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)=>62 ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)=>92 ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)=>65 ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)=>92 ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)=>69 ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>128 ([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)=>74 ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)=>86 ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)=>104 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)=>85 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)=>88 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)=>84 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)=>82 ([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)=>86 ([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)=>100 ([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)=>106 ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)=>106 ([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)=>110 ([(0,6),(1,7),(2,7),(3,7),(4,7),(6,1),(6,2),(6,3),(6,4),(7,5)],8)=>124 ([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)=>93 ([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)=>106 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)=>96 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)=>103 ([(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(6,4),(7,5)],8)=>160 ([(0,5),(1,7),(2,6),(3,6),(4,1),(5,2),(5,3),(5,4),(6,7)],8)=>112 ([(0,4),(1,6),(2,5),(3,5),(3,6),(4,1),(4,2),(4,3),(5,7),(6,7)],8)=>108 ([(0,5),(1,7),(2,7),(3,6),(4,3),(4,7),(5,1),(5,2),(5,4),(7,6)],8)=>110 ([(0,5),(2,7),(3,6),(4,6),(5,2),(5,3),(5,4),(6,7),(7,1)],8)=>144 ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,4),(7,3)],8)=>138 ([(0,6),(1,7),(2,7),(3,7),(4,3),(5,2),(6,1),(6,4),(6,5)],8)=>112 ([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)=>106 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)=>91 ([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)=>97 ([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)=>110 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)=>97 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3)],8)=>133 ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3),(7,4)],8)=>170 ([(0,3),(0,6),(1,7),(2,7),(3,7),(4,2),(5,1),(6,4),(6,5)],8)=>100 ([(0,3),(0,5),(1,7),(2,6),(3,7),(4,1),(4,6),(5,2),(5,4),(6,7)],8)=>100 ([(0,5),(1,7),(2,6),(3,6),(4,3),(4,7),(5,1),(5,4),(7,2)],8)=>138 ([(0,6),(1,7),(2,7),(3,7),(4,3),(5,1),(5,2),(6,4),(6,5)],8)=>112 ([(0,5),(1,7),(2,7),(3,6),(4,1),(4,2),(4,6),(5,3),(5,4),(6,7)],8)=>110 ([(0,5),(1,7),(2,7),(3,2),(3,6),(4,1),(4,6),(5,3),(5,4),(6,7)],8)=>108 ([(0,2),(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,1),(6,5)],8)=>97 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(6,1),(6,2)],8)=>100 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(6,1),(6,2),(6,3)],8)=>107 ([(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(6,1),(6,2),(6,3),(6,4)],8)=>124 ([(0,2),(0,3),(0,6),(1,7),(2,7),(3,7),(4,5),(5,1),(6,4)],8)=>118 ([(0,3),(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2)],8)=>135 ([(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3)],8)=>160 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)=>84 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,1)],8)=>100 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,1),(6,2)],8)=>113 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,1),(6,2),(6,3)],8)=>132 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,6),(6,7)],8)=>82 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,7),(4,7),(5,6),(7,1)],8)=>107 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,7),(7,1),(7,2)],8)=>132 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8)=>86 ([(0,2),(0,3),(0,4),(0,5),(2,7),(3,7),(4,7),(5,7),(6,1),(7,6)],8)=>124 ([(0,2),(0,3),(0,4),(0,5),(0,6),(2,7),(3,7),(4,7),(5,7),(6,7),(7,1)],8)=>100 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,7),(4,7),(5,1),(7,6)],8)=>85 ([(0,2),(0,3),(0,4),(2,7),(3,7),(4,7),(5,1),(6,5),(7,6)],8)=>160 ([(0,2),(0,3),(0,4),(0,5),(2,7),(3,7),(4,7),(5,6),(6,1),(7,6)],8)=>110 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,7),(4,7),(5,1),(5,7),(7,6)],8)=>82 ([(0,3),(0,4),(0,5),(0,6),(1,7),(3,7),(4,7),(5,7),(6,1),(7,2)],8)=>106 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(6,7)],8)=>87 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,7),(6,7)],8)=>78 ([(0,2),(0,3),(0,4),(1,6),(2,7),(3,5),(4,5),(4,7),(5,6),(7,1)],8)=>92 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6),(5,7),(6,7),(7,1)],8)=>108 ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,7),(4,7),(5,1),(7,5)],8)=>135 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)=>97 ([(0,2),(0,3),(0,4),(2,7),(3,6),(4,6),(5,1),(6,7),(7,5)],8)=>144 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,2),(7,1)],8)=>103 ([(0,3),(0,4),(1,6),(2,6),(3,7),(4,7),(5,2),(7,1),(7,5)],8)=>151 ([(0,2),(0,3),(0,4),(1,6),(2,7),(3,7),(4,5),(5,6),(7,1),(7,5)],8)=>110 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,6),(6,7)],8)=>78 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,7),(7,2)],8)=>102 ([(0,2),(0,3),(0,5),(1,6),(2,7),(3,7),(4,1),(5,4),(5,7),(7,6)],8)=>85 ([(0,3),(0,4),(0,5),(1,6),(3,7),(4,7),(5,1),(5,7),(6,2),(7,6)],8)=>110 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(6,7)],8)=>84 ([(0,3),(0,4),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(7,5)],8)=>169 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,7),(5,7),(7,6)],8)=>94 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,6),(6,7)],8)=>77 ([(0,3),(0,5),(1,7),(2,6),(3,6),(4,2),(5,1),(5,4),(6,7)],8)=>113 ([(0,5),(1,7),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4),(6,7)],8)=>136 ([(0,6),(1,7),(2,7),(4,2),(5,1),(6,4),(6,5),(7,3)],8)=>148 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,7),(5,1),(5,2),(7,6)],8)=>90 ([(0,4),(0,6),(1,7),(2,7),(4,7),(5,2),(6,1),(6,5),(7,3)],8)=>124 ([(0,6),(1,7),(2,7),(3,7),(5,2),(5,3),(6,1),(6,5),(7,4)],8)=>144 ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,7),(5,7),(6,1),(6,2),(7,3)],8)=>106 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(7,6)],8)=>93 ([(0,3),(0,4),(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(7,5)],8)=>136 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,6),(4,1),(5,4),(6,7)],8)=>96 ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8)=>208 ([(0,3),(0,4),(0,5),(2,7),(3,6),(4,6),(5,2),(6,7),(7,1)],8)=>112 ([(0,3),(0,4),(1,7),(2,6),(3,6),(4,5),(5,1),(5,2),(6,7)],8)=>119 ([(0,4),(1,7),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3),(6,7)],8)=>144 ([(0,2),(0,3),(0,5),(1,6),(2,7),(3,7),(4,1),(4,7),(5,4),(7,6)],8)=>96 ([(0,3),(0,4),(0,6),(1,7),(3,7),(4,7),(5,1),(6,5),(7,2)],8)=>124 ([(0,4),(0,5),(1,7),(2,7),(4,7),(5,6),(6,1),(6,2),(7,3)],8)=>138 ([(0,5),(1,7),(2,7),(3,7),(5,6),(6,1),(6,2),(6,3),(7,4)],8)=>160 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)=>84 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,7),(3,5),(4,5),(4,7),(5,6),(7,6)],8)=>77 ([(0,3),(0,4),(0,5),(2,7),(3,6),(4,6),(5,7),(6,2),(7,1)],8)=>138 ([(0,4),(0,5),(1,6),(2,6),(4,7),(5,7),(6,3),(7,1),(7,2)],8)=>170 ([(0,2),(0,3),(0,4),(0,5),(2,7),(3,7),(4,6),(5,6),(6,7),(7,1)],8)=>106 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1)],8)=>91 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,6),(6,7)],8)=>80 ([(0,2),(0,3),(0,5),(1,7),(2,7),(3,6),(4,1),(5,4),(5,6),(6,7)],8)=>87 ([(0,3),(0,4),(1,7),(2,7),(3,6),(4,5),(4,6),(5,1),(5,2),(6,7)],8)=>94 ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)=>104 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,6),(4,1),(4,5),(5,7),(7,6)],8)=>100 ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>152 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(5,4),(5,7),(7,1)],8)=>103 ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)=>114 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,6),(6,2)],8)=>94 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,6),(6,2),(6,3)],8)=>110 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2)],8)=>87 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,6),(6,7)],8)=>78 ([(0,3),(0,5),(1,7),(2,7),(3,6),(4,2),(5,1),(5,4),(5,6),(6,7)],8)=>89 ([(0,3),(0,4),(1,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(7,6)],8)=>100 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(4,6),(5,7),(6,7)],8)=>93 ([(0,4),(0,5),(1,7),(2,7),(4,6),(5,1),(5,2),(5,6),(6,7),(7,3)],8)=>110 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,6),(6,3)],8)=>96 ([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3)],8)=>85 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,6),(6,7)],8)=>82 ([(0,6),(1,7),(2,7),(3,7),(4,5),(5,3),(6,1),(6,2),(6,4)],8)=>124 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(6,7)],8)=>90 ([(0,5),(1,7),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4),(6,7)],8)=>124 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,7),(5,1),(5,2),(5,3),(7,6)],8)=>97 ([(0,6),(1,7),(2,7),(3,7),(5,3),(6,1),(6,2),(6,5),(7,4)],8)=>136 ([(0,5),(0,6),(1,7),(2,7),(3,7),(5,7),(6,1),(6,2),(6,3),(7,4)],8)=>110 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,3),(5,1),(5,2),(5,6),(6,7)],8)=>85 ([(0,3),(0,6),(1,7),(2,7),(3,7),(4,5),(5,2),(6,1),(6,4)],8)=>114 ([(0,6),(1,7),(2,7),(3,7),(4,5),(5,2),(5,3),(6,1),(6,4)],8)=>138 ([(0,6),(1,7),(2,7),(3,4),(4,1),(5,2),(6,3),(6,5)],8)=>130 ([(0,5),(1,7),(2,6),(3,1),(4,3),(4,6),(5,2),(5,4),(6,7)],8)=>124 ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)=>152 ([(0,5),(1,7),(2,6),(3,2),(4,1),(4,6),(5,3),(5,4),(6,7)],8)=>124 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,6),(5,1),(5,2),(6,7)],8)=>87 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,3),(7,2)],8)=>119 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(5,1),(5,4),(6,7)],8)=>118 ([(0,6),(2,7),(3,7),(4,3),(5,1),(6,2),(6,4),(7,5)],8)=>184 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(7,6)],8)=>96 ([(0,4),(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(7,5)],8)=>144 ([(0,3),(0,5),(1,7),(2,6),(3,6),(4,1),(5,2),(5,4),(6,7)],8)=>97 ([(0,3),(0,4),(1,5),(2,5),(2,6),(3,6),(4,1),(4,2),(5,7),(6,7)],8)=>97 ([(0,4),(0,5),(2,7),(3,6),(4,6),(5,2),(5,3),(6,7),(7,1)],8)=>126 ([(0,5),(1,7),(2,6),(3,6),(4,1),(4,3),(5,2),(5,4),(6,7)],8)=>126 ([(0,3),(0,5),(1,7),(2,6),(3,7),(4,2),(4,7),(5,1),(5,4),(7,6)],8)=>100 ([(0,5),(0,6),(1,7),(2,7),(3,7),(4,3),(5,1),(6,2),(6,4)],8)=>94 ([(0,6),(1,7),(2,7),(3,7),(4,3),(5,2),(5,4),(6,1),(6,5)],8)=>124 ([(0,3),(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,4),(6,7)],8)=>93 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,3),(5,1),(5,2),(6,7)],8)=>97 ([(0,6),(1,7),(2,7),(4,5),(5,2),(6,1),(6,4),(7,3)],8)=>172 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,1),(5,2),(5,3),(6,7)],8)=>100 ([(0,5),(0,6),(1,7),(2,7),(3,7),(5,3),(6,1),(6,2),(7,4)],8)=>112 ([(0,6),(2,7),(3,7),(4,1),(5,4),(6,2),(6,3),(7,5)],8)=>208 ([(0,4),(0,5),(2,6),(3,6),(4,7),(5,2),(5,3),(6,7),(7,1)],8)=>136 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,2),(4,6),(5,1),(5,6),(6,7)],8)=>78 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,2),(4,6),(5,1),(5,6),(6,3)],8)=>91 ([(0,4),(0,5),(1,7),(2,7),(3,2),(4,3),(4,6),(5,1),(5,6),(6,7)],8)=>86 ([(0,3),(0,4),(1,6),(2,7),(3,1),(3,5),(4,2),(4,5),(5,7),(7,6)],8)=>97 ([(0,4),(0,5),(1,7),(2,7),(4,2),(4,6),(5,1),(5,6),(6,7),(7,3)],8)=>108 ([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2)],8)=>84 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,3),(4,6),(5,1),(5,2),(5,6),(6,7)],8)=>77 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(6,7)],8)=>85 ([(0,5),(1,7),(2,6),(3,4),(4,1),(4,6),(5,2),(5,3),(6,7)],8)=>138 ([(0,4),(0,5),(1,7),(2,7),(3,6),(4,3),(4,7),(5,1),(5,2),(7,6)],8)=>93 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,2),(5,1),(5,6),(6,7)],8)=>87 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,1),(5,3),(5,7),(7,2)],8)=>115 ([(0,4),(0,5),(1,7),(2,6),(3,1),(4,2),(5,3),(5,6),(6,7)],8)=>94 ([(0,4),(0,5),(1,7),(3,6),(4,3),(5,1),(5,6),(6,7),(7,2)],8)=>124 ([(0,5),(0,6),(1,7),(2,7),(3,7),(4,3),(5,4),(6,1),(6,2)],8)=>96 ([(0,6),(1,7),(2,7),(3,5),(4,3),(5,1),(6,2),(6,4)],8)=>166 ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,2),(5,3),(6,1),(6,5)],8)=>144 ([(0,4),(0,5),(1,7),(2,7),(3,2),(3,6),(4,3),(5,1),(5,6),(6,7)],8)=>92 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,7),(4,6),(5,1),(6,7)],8)=>91 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,6),(5,1),(7,2)],8)=>121 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(7,2),(7,3)],8)=>151 ([(0,3),(0,5),(0,6),(1,7),(2,7),(3,7),(4,1),(5,2),(6,4)],8)=>100 ([(0,3),(0,5),(1,7),(2,7),(3,7),(4,2),(5,6),(6,1),(6,4)],8)=>121 ([(0,2),(0,3),(0,5),(1,7),(2,7),(3,6),(4,1),(4,6),(5,4),(6,7)],8)=>94 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(4,7),(5,4),(7,1)],8)=>125 ([(0,4),(0,5),(1,7),(2,7),(3,7),(4,3),(5,6),(6,1),(6,2)],8)=>103 ([(0,5),(1,7),(2,7),(3,7),(4,3),(5,6),(6,1),(6,2),(6,4)],8)=>136 ([(0,3),(0,4),(1,7),(2,7),(3,6),(4,5),(5,1),(5,2),(5,6),(6,7)],8)=>102 ([(0,2),(0,6),(1,7),(2,7),(3,5),(4,3),(5,1),(6,4)],8)=>163 ([(0,5),(1,7),(2,7),(3,4),(4,6),(5,3),(6,1),(6,2)],8)=>208 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,2),(5,1),(6,7)],8)=>100 ([(0,5),(0,6),(2,7),(3,7),(4,1),(5,3),(6,2),(7,4)],8)=>148 ([(0,5),(0,6),(1,7),(2,7),(3,2),(4,1),(5,3),(6,4)],8)=>109 ([(0,5),(1,7),(2,7),(3,4),(4,1),(5,6),(6,2),(6,3)],8)=>172 ([(0,4),(0,5),(1,7),(2,6),(3,1),(3,6),(4,2),(5,3),(6,7)],8)=>103 ([(0,2),(0,3),(0,5),(1,6),(2,7),(3,6),(4,1),(5,4),(6,7)],8)=>114 ([(0,3),(0,4),(1,6),(2,6),(3,7),(4,5),(5,1),(5,2),(6,7)],8)=>133 ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)=>208 ([(0,3),(0,6),(2,7),(3,7),(4,2),(5,1),(6,4),(7,5)],8)=>172 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,3),(5,2),(6,1)],8)=>94 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,2),(5,1),(5,6),(6,7)],8)=>83 ([(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,1),(4,5),(4,6),(5,7),(6,7)],8)=>76 ([(0,2),(0,5),(1,7),(2,6),(3,4),(4,1),(5,3),(5,6),(6,7)],8)=>110 ([(0,3),(0,5),(2,7),(3,6),(4,2),(5,4),(5,6),(6,7),(7,1)],8)=>124 ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,6),(5,7),(6,7)],8)=>85 ([(0,4),(0,5),(1,6),(3,6),(4,7),(5,1),(5,7),(6,2),(7,3)],8)=>138 ([(0,3),(0,4),(0,5),(1,7),(3,7),(4,6),(5,1),(5,6),(6,7),(7,2)],8)=>106 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(5,1),(5,7),(7,4)],8)=>131 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,7),(4,1),(4,5),(5,7),(7,6)],8)=>93 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,5),(3,6),(4,1),(4,6),(5,7),(6,7)],8)=>77 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)=>74 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,6),(6,7)],8)=>76 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(3,6),(4,1),(5,7),(6,7)],8)=>86 ([(0,4),(0,5),(1,7),(2,6),(3,2),(4,3),(5,1),(5,6),(6,7)],8)=>110 ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)=>152 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,1),(5,2),(5,7),(7,6)],8)=>89 ([(0,5),(0,6),(1,7),(2,7),(3,4),(4,2),(5,3),(6,1)],8)=>121 ([(0,5),(1,7),(2,7),(3,2),(4,1),(5,6),(6,3),(6,4)],8)=>148 ([(0,2),(0,5),(1,7),(2,6),(3,1),(4,3),(4,6),(5,4),(6,7)],8)=>115 ([(0,3),(0,5),(2,7),(3,6),(4,2),(4,6),(5,4),(6,7),(7,1)],8)=>138 ([(0,5),(1,7),(2,7),(3,6),(4,1),(5,3),(6,2),(6,4)],8)=>184 ([(0,2),(0,5),(1,7),(2,6),(3,4),(4,1),(4,6),(5,3),(6,7)],8)=>131 ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>256 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,6),(4,1),(5,2),(6,7)],8)=>94 ([(0,2),(0,3),(0,4),(1,5),(1,6),(2,6),(3,5),(4,1),(5,7),(6,7)],8)=>91 ([(0,3),(0,6),(2,7),(3,7),(4,1),(5,4),(6,2),(7,5)],8)=>184 ([(0,3),(0,4),(0,5),(2,6),(3,7),(4,6),(5,2),(6,7),(7,1)],8)=>124 ([(0,3),(0,6),(1,7),(3,7),(4,5),(5,1),(6,4),(7,2)],8)=>166 ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)=>208 ([(0,5),(0,6),(1,7),(2,7),(4,1),(5,2),(6,4),(7,3)],8)=>130 ([(0,5),(1,7),(2,7),(4,2),(5,6),(6,1),(6,4),(7,3)],8)=>184 ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,7),(5,2),(6,1),(7,3)],8)=>112 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)=>152 ([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1)],9)=>155 ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2)],9)=>143 ([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3)],9)=>133 ([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3),(7,4)],9)=>131 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3),(7,4),(7,5)],9)=>141 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3),(7,4),(7,5),(7,6)],9)=>170 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,5),(7,1),(7,2),(7,3),(7,4),(7,6)],9)=>176 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5),(7,8)],9)=>168 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5),(7,8)],9)=>164 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5),(8,7)],9)=>172 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(7,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)=>200 ([(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,4),(7,1),(7,2),(7,3),(7,6)],9)=>148 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,4),(6,5),(7,1),(7,2),(7,3),(7,6)],9)=>168 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,8),(6,1),(6,2),(6,3),(6,4),(7,8)],9)=>145 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,7),(5,8),(6,1),(6,2),(6,3),(6,4),(7,8)],9)=>146 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(6,4),(8,7)],9)=>158 ([(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)=>248 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5),(8,7)],9)=>170 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,4),(5,8),(6,1),(6,2),(6,3),(6,5),(8,7)],9)=>164 ([(0,6),(1,8),(2,8),(3,8),(4,7),(6,1),(6,2),(6,3),(6,4),(7,5),(8,7)],9)=>220 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(8,5)],9)=>214 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,3),(6,4),(6,5),(7,8)],9)=>174 ([(0,5),(1,8),(2,7),(3,6),(4,6),(4,7),(5,1),(5,2),(5,3),(5,4),(6,8),(7,8)],9)=>156 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,7),(6,1),(6,3),(6,4),(6,5),(7,8)],9)=>156 ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,8),(7,8)],9)=>168 ([(0,5),(1,8),(2,8),(3,6),(4,6),(4,8),(5,1),(5,2),(5,3),(5,4),(6,7),(8,7)],9)=>154 ([(0,6),(1,8),(2,8),(4,7),(5,7),(6,1),(6,2),(6,4),(6,5),(7,8),(8,3)],9)=>212 ([(0,5),(1,6),(2,6),(3,7),(4,8),(5,1),(5,2),(5,3),(5,4),(6,8),(8,7)],9)=>194 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,8),(6,1),(6,2),(6,3),(6,4),(7,5)],9)=>200 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,3),(7,1),(7,2),(7,5),(7,6)],9)=>182 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(6,4),(6,5),(7,8)],9)=>160 ([(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,3),(7,1),(7,2),(7,6)],9)=>140 ([(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,3),(6,4),(7,1),(7,2),(7,6)],9)=>146 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,3),(6,4),(6,5),(7,1),(7,2),(7,6)],9)=>164 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,8)],9)=>141 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,8)],9)=>146 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4)],9)=>203 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4),(8,5)],9)=>264 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(6,2),(6,3),(6,5),(7,8)],9)=>152 ([(0,4),(0,5),(1,7),(2,6),(3,6),(3,7),(4,8),(5,1),(5,2),(5,3),(6,8),(7,8)],9)=>143 ([(0,5),(1,7),(2,8),(3,6),(4,6),(4,8),(5,2),(5,3),(5,4),(6,7),(8,1)],9)=>184 ([(0,5),(2,7),(3,6),(4,6),(4,7),(5,2),(5,3),(5,4),(6,8),(7,8),(8,1)],9)=>216 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(5,7),(6,2),(6,3),(6,5),(7,8)],9)=>144 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(5,8),(6,1),(6,2),(6,5),(8,4)],9)=>204 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(6,3),(6,4),(6,5),(7,8)],9)=>168 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(5,7),(6,3),(6,4),(6,5),(7,8)],9)=>154 ([(0,5),(1,6),(2,6),(3,7),(4,3),(4,8),(5,1),(5,2),(5,4),(6,8),(8,7)],9)=>188 ([(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,1),(5,2),(5,3),(6,8),(8,7)],9)=>183 ([(0,6),(1,8),(3,7),(4,7),(5,2),(6,1),(6,3),(6,4),(7,8),(8,5)],9)=>288 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,4),(6,1),(6,2),(6,5),(8,3)],9)=>206 ([(0,5),(1,7),(2,8),(3,8),(4,6),(5,2),(5,3),(5,4),(6,7),(8,1),(8,6)],9)=>220 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,4)],9)=>182 ([(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,4),(7,5)],9)=>226 ([(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,2),(7,1),(7,5),(7,6)],9)=>155 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(5,7),(6,1),(6,3),(6,5),(7,8)],9)=>143 ([(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(5,7),(6,1),(6,3),(6,5),(7,4)],9)=>188 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,2),(6,3),(7,1),(7,5),(7,6)],9)=>174 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,3),(5,7),(6,1),(6,4),(6,5),(7,8)],9)=>156 ([(0,6),(1,8),(2,8),(3,8),(4,3),(4,7),(5,2),(5,7),(6,1),(6,4),(6,5),(7,8)],9)=>156 ([(0,7),(1,8),(2,8),(3,8),(4,3),(5,2),(6,1),(7,4),(7,5),(7,6)],9)=>188 ([(0,6),(1,8),(2,8),(3,7),(4,2),(5,1),(5,7),(6,3),(6,4),(6,5),(7,8)],9)=>166 ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,6),(4,7),(5,2),(5,3),(5,4),(6,8),(7,8)],9)=>152 ([(0,5),(1,8),(2,6),(3,6),(3,7),(4,1),(4,7),(5,2),(5,3),(5,4),(6,8),(7,8)],9)=>154 ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)=>148 ([(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(5,7),(6,3),(6,4),(6,5),(7,8)],9)=>152 ([(0,5),(1,6),(2,8),(3,7),(4,3),(4,6),(5,1),(5,2),(5,4),(6,8),(8,7)],9)=>186 ([(0,3),(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,2),(7,1),(7,6)],9)=>146 ([(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,2),(6,3),(7,1),(7,6)],9)=>144 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,4),(6,7),(7,1),(7,2),(7,3)],9)=>150 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,5),(6,7),(7,1),(7,2),(7,3),(7,4)],9)=>172 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,8)],9)=>152 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3)],9)=>188 ([(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4)],9)=>219 ([(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4),(7,5)],9)=>264 ([(0,3),(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,2),(6,1),(7,5),(7,6)],9)=>149 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(5,7),(6,2),(6,5),(7,8)],9)=>145 ([(0,4),(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(5,7),(6,2),(6,5),(7,3)],9)=>180 ([(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(5,7),(6,2),(6,5),(7,3),(7,4)],9)=>220 ([(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,1),(6,2),(7,5),(7,6)],9)=>153 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,1),(5,2),(5,7),(6,3),(6,5),(7,8)],9)=>147 ([(0,6),(1,8),(2,8),(3,7),(4,8),(5,1),(5,2),(5,7),(6,3),(6,5),(7,4)],9)=>192 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,4),(6,5),(6,7),(7,1),(7,2),(7,3)],9)=>170 ([(0,5),(1,8),(2,8),(3,8),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>164 ([(0,3),(0,6),(1,8),(2,8),(3,8),(4,2),(4,7),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>144 ([(0,6),(1,8),(2,8),(3,8),(4,2),(4,7),(5,1),(5,7),(6,4),(6,5),(7,3)],9)=>182 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(5,4),(6,1),(6,2),(7,5),(7,6)],9)=>168 ([(0,6),(1,8),(2,8),(3,8),(4,3),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8)],9)=>154 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(6,5),(7,8)],9)=>167 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,5),(8,3)],9)=>233 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,5),(8,3),(8,4)],9)=>302 ([(0,2),(0,3),(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6)],9)=>164 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(7,1),(7,2)],9)=>159 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(7,1),(7,2),(7,3)],9)=>158 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(7,1),(7,2),(7,3),(7,4)],9)=>169 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(7,1),(7,2),(7,3),(7,4),(7,5)],9)=>200 ([(0,2),(0,3),(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,1),(7,5)],9)=>185 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2)],9)=>194 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3)],9)=>211 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3),(7,4)],9)=>248 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)=>143 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1)],9)=>159 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2)],9)=>166 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2),(7,3)],9)=>179 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2),(7,3),(7,4)],9)=>207 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,7),(7,8)],9)=>133 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,7),(8,1)],9)=>158 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,7),(8,1),(8,2)],9)=>179 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,8),(5,8),(6,8),(8,1),(8,2),(8,3)],9)=>208 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(8,7)],9)=>131 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,8),(6,7),(8,1)],9)=>169 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,8),(8,1),(8,2)],9)=>207 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9)=>141 ([(0,2),(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(8,7)],9)=>200 ([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8),(8,1)],9)=>170 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,8),(6,1),(8,7)],9)=>134 ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,7)],9)=>248 ([(0,2),(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,8),(5,8),(6,7),(7,1),(8,7)],9)=>172 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,8),(6,1),(6,8),(8,7)],9)=>129 ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(3,8),(4,8),(5,8),(6,8),(7,1),(8,2)],9)=>176 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(7,8)],9)=>136 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(8,6)],9)=>211 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,8),(5,6),(6,7),(8,6)],9)=>150 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(8,2)],9)=>161 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(8,2),(8,6)],9)=>236 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,8),(5,6),(6,7),(8,1),(8,6)],9)=>171 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(6,8),(8,7)],9)=>119 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,8),(8,2)],9)=>155 ([(0,2),(0,3),(0,4),(0,6),(1,7),(2,8),(3,8),(4,8),(5,1),(6,5),(6,8),(8,7)],9)=>122 ([(0,3),(0,4),(0,5),(0,6),(1,7),(3,8),(4,8),(5,8),(6,1),(6,8),(7,2),(8,7)],9)=>164 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(7,8)],9)=>128 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,6)],9)=>260 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,8),(5,1),(5,6),(6,7),(8,6)],9)=>142 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(6,8),(8,7)],9)=>113 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,7)],9)=>137 ([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(4,8),(5,8),(6,8),(7,1),(7,2),(8,3)],9)=>168 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(8,7)],9)=>148 ([(0,3),(0,4),(0,5),(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(8,6)],9)=>212 ([(0,2),(0,3),(0,4),(0,6),(1,7),(2,8),(3,8),(4,8),(5,1),(6,5),(8,7)],9)=>145 ([(0,2),(0,3),(0,4),(2,8),(3,8),(4,8),(5,6),(6,1),(7,5),(8,7)],9)=>320 ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,7),(6,1),(7,6),(8,7)],9)=>220 ([(0,3),(0,4),(0,5),(0,6),(1,7),(3,8),(4,8),(5,8),(6,1),(7,2),(8,7)],9)=>170 ([(0,2),(0,3),(0,4),(0,6),(1,7),(2,8),(3,8),(4,8),(5,1),(5,8),(6,5),(8,7)],9)=>143 ([(0,3),(0,4),(0,7),(1,8),(3,8),(4,8),(5,6),(6,1),(7,5),(8,2)],9)=>236 ([(0,4),(0,6),(1,8),(2,8),(4,8),(5,7),(6,5),(7,1),(7,2),(8,3)],9)=>270 ([(0,6),(1,8),(2,8),(3,8),(5,7),(6,5),(7,1),(7,2),(7,3),(8,4)],9)=>320 ([(0,3),(0,4),(0,5),(0,7),(1,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,2)],9)=>194 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,6),(6,7),(8,7)],9)=>128 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,7),(5,8),(7,6),(8,6)],9)=>109 ([(0,3),(0,4),(0,5),(0,6),(1,7),(3,8),(4,8),(5,8),(6,7),(7,2),(8,1)],9)=>214 ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,8),(7,3),(8,1),(8,2)],9)=>264 ([(0,2),(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,7),(5,7),(6,7),(7,8),(8,1)],9)=>164 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,6),(5,8),(6,7),(8,7)],9)=>114 ([(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(8,1)],9)=>200 ([(0,4),(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(8,1)],9)=>226 ([(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(7,4),(8,1)],9)=>264 ([(0,2),(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8),(8,1)],9)=>168 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,8)],9)=>146 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)=>123 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,8),(4,6),(5,6),(5,7),(6,8),(7,1)],9)=>133 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,6),(5,7),(6,8),(7,1),(7,2)],9)=>144 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9)=>144 ([(0,2),(0,3),(0,4),(2,7),(3,6),(4,6),(4,7),(5,1),(6,8),(7,8),(8,5)],9)=>216 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,8),(5,7),(5,8),(7,2),(8,1)],9)=>143 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,8),(4,5),(4,8),(5,7),(7,6),(8,1),(8,7)],9)=>152 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,6),(4,6),(4,7),(5,1),(6,8),(7,8)],9)=>126 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(4,7),(5,8),(6,8),(7,8)],9)=>108 ([(0,2),(0,3),(0,4),(1,8),(2,6),(3,7),(4,6),(4,7),(5,1),(6,8),(7,5)],9)=>168 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,5),(3,6),(4,5),(4,6),(5,8),(6,7),(7,8)],9)=>125 ([(0,3),(0,4),(0,5),(2,8),(3,6),(4,7),(5,6),(5,7),(6,8),(7,2),(8,1)],9)=>184 ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8),(8,1)],9)=>156 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,6),(4,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)=>109 ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8)],9)=>102 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(4,8),(5,1),(6,7),(8,7)],9)=>123 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,6)],9)=>194 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,6),(6,7),(7,8)],9)=>144 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,8),(3,6),(4,7),(5,7),(7,8),(8,1)],9)=>191 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,7),(7,8),(8,1),(8,2)],9)=>237 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,2)],9)=>162 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,2),(7,6)],9)=>201 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,8),(5,6),(6,8),(7,1),(7,6)],9)=>151 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,7),(7,1),(7,8),(8,2)],9)=>200 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,2),(7,3)],9)=>169 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(7,2),(7,3),(7,6)],9)=>226 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,8),(7,1),(7,2),(7,6)],9)=>166 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,7),(7,8)],9)=>121 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,7),(6,2),(6,8),(8,1)],9)=>142 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,8),(5,8),(6,3),(6,8),(8,1),(8,2)],9)=>166 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(6,5),(6,7),(7,8)],9)=>124 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,8),(4,8),(5,1),(5,8),(6,7),(8,6)],9)=>147 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,1),(6,5),(6,8),(8,2)],9)=>146 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,8),(5,2),(5,8),(6,7),(8,1),(8,6)],9)=>169 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(5,7),(6,1),(6,2),(7,8)],9)=>126 ([(0,2),(0,3),(0,5),(1,7),(2,8),(3,8),(4,1),(4,6),(5,4),(5,8),(6,7),(8,6)],9)=>144 ([(0,2),(0,3),(0,6),(1,7),(2,8),(3,8),(4,5),(5,1),(6,4),(6,8),(8,7)],9)=>145 ([(0,3),(0,4),(0,6),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(7,5),(8,7)],9)=>220 ([(0,3),(0,4),(0,6),(1,7),(3,8),(4,8),(5,1),(6,5),(6,8),(7,2),(8,7)],9)=>170 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)=>136 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,6)],9)=>221 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(5,1),(5,7),(6,7),(7,8)],9)=>134 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,2),(5,8),(7,8),(8,1)],9)=>176 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,3)],9)=>152 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,3),(7,6)],9)=>237 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,2),(5,6),(6,8),(7,1),(7,6)],9)=>144 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>113 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,8),(5,8),(6,2),(6,3),(6,8),(8,1)],9)=>138 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,5),(6,7),(7,8)],9)=>121 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,8),(5,1),(5,2),(5,8),(6,7),(8,6)],9)=>141 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,8),(5,1),(5,2),(5,8),(6,7),(8,7)],9)=>124 ([(0,4),(0,5),(0,6),(2,8),(3,8),(4,7),(5,7),(6,2),(6,3),(6,7),(7,8),(8,1)],9)=>154 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,8)],9)=>128 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,6)],9)=>260 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(5,1),(5,2),(5,7),(6,7),(7,8)],9)=>126 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>113 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5),(7,8)],9)=>160 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5),(7,8)],9)=>194 ([(0,6),(1,8),(2,7),(3,7),(4,3),(5,2),(6,1),(6,4),(6,5),(7,8)],9)=>200 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(7,8)],9)=>126 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(6,1),(6,3),(6,5),(8,7)],9)=>165 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,3),(6,1),(6,4),(6,5),(8,7)],9)=>192 ([(0,7),(1,8),(2,8),(3,8),(5,3),(6,2),(7,1),(7,5),(7,6),(8,4)],9)=>224 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(8,7)],9)=>140 ([(0,5),(0,7),(1,8),(2,8),(3,8),(5,8),(6,3),(7,1),(7,2),(7,6),(8,4)],9)=>186 ([(0,7),(1,8),(2,8),(3,8),(4,8),(6,3),(6,4),(7,1),(7,2),(7,6),(8,5)],9)=>212 ([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(5,8),(6,8),(7,1),(7,2),(7,3),(8,4)],9)=>164 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)=>128 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(8,3)],9)=>172 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(8,7)],9)=>145 ([(0,4),(0,5),(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(8,6)],9)=>212 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,5),(7,8)],9)=>140 ([(0,3),(0,4),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(6,5),(8,6)],9)=>299 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,6),(4,1),(5,4),(5,8),(6,8),(8,7)],9)=>138 ([(0,3),(0,4),(0,5),(2,8),(3,6),(4,6),(5,2),(5,7),(6,7),(7,8),(8,1)],9)=>188 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,6),(5,1),(5,2),(6,8),(8,7)],9)=>144 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5),(7,8)],9)=>158 ([(0,5),(1,8),(2,8),(3,7),(4,7),(5,2),(5,6),(6,1),(6,3),(6,4),(7,8)],9)=>192 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,7),(6,1),(6,5),(7,8)],9)=>127 ([(0,3),(0,6),(1,8),(2,7),(3,7),(4,1),(5,2),(6,4),(6,5),(7,8)],9)=>167 ([(0,4),(0,6),(2,8),(3,7),(4,7),(5,3),(6,2),(6,5),(7,8),(8,1)],9)=>226 ([(0,3),(0,6),(1,8),(2,7),(3,8),(4,1),(5,2),(5,8),(6,4),(6,5),(8,7)],9)=>162 ([(0,6),(1,8),(2,8),(3,7),(4,3),(4,8),(5,1),(5,2),(6,4),(6,5),(8,7)],9)=>186 ([(0,6),(1,8),(2,7),(3,7),(4,3),(5,1),(5,2),(6,4),(6,5),(7,8)],9)=>194 ([(0,6),(1,8),(2,8),(4,2),(4,7),(5,1),(5,7),(6,4),(6,5),(7,8),(8,3)],9)=>216 ([(0,6),(1,8),(2,7),(3,7),(4,1),(5,2),(5,3),(6,4),(6,5),(7,8)],9)=>200 ([(0,6),(1,8),(3,7),(4,7),(5,3),(5,4),(6,1),(6,5),(7,8),(8,2)],9)=>272 ([(0,5),(1,7),(2,6),(3,6),(4,2),(4,3),(4,7),(5,1),(5,4),(6,8),(7,8)],9)=>186 ([(0,6),(1,8),(2,8),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8),(8,3)],9)=>220 ([(0,3),(0,5),(1,7),(2,6),(3,6),(4,2),(4,7),(5,1),(5,4),(6,8),(7,8)],9)=>157 ([(0,4),(0,6),(1,8),(3,7),(4,8),(5,1),(5,7),(6,3),(6,5),(7,8),(8,2)],9)=>200 ([(0,6),(1,8),(2,7),(4,7),(5,2),(5,8),(6,1),(6,5),(7,3),(8,4)],9)=>276 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,8),(5,2),(6,1),(6,5),(8,7)],9)=>134 ([(0,4),(0,5),(0,6),(1,8),(2,7),(4,8),(5,8),(6,1),(6,2),(7,3),(8,7)],9)=>180 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(5,3),(6,1),(6,5),(8,7)],9)=>165 ([(0,5),(1,8),(2,8),(3,8),(4,7),(5,3),(5,6),(6,1),(6,2),(6,4),(8,7)],9)=>194 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,8),(5,2),(5,8),(6,1),(6,5),(8,7)],9)=>141 ([(0,4),(0,5),(0,7),(1,8),(2,8),(4,8),(5,8),(6,2),(7,1),(7,6),(8,3)],9)=>182 ([(0,5),(0,7),(1,8),(2,8),(3,8),(5,8),(6,2),(6,3),(7,1),(7,6),(8,4)],9)=>194 ([(0,6),(1,8),(2,8),(3,8),(4,8),(6,4),(6,7),(7,1),(7,2),(7,3),(8,5)],9)=>220 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,8),(7,8)],9)=>146 ([(0,4),(0,5),(2,8),(3,8),(4,7),(5,7),(6,2),(6,3),(7,6),(8,1)],9)=>338 ([(0,4),(0,5),(0,6),(1,8),(2,8),(4,7),(5,7),(6,1),(6,2),(7,8),(8,3)],9)=>168 ([(0,3),(0,4),(0,5),(1,6),(2,6),(2,8),(3,8),(4,8),(5,1),(5,2),(6,7),(8,7)],9)=>130 ([(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,1),(6,2),(7,4),(8,3)],9)=>266 ([(0,6),(1,8),(2,8),(3,7),(4,7),(6,1),(6,2),(7,5),(8,3),(8,4)],9)=>340 ([(0,4),(0,5),(0,6),(2,7),(3,7),(4,8),(5,8),(6,2),(6,3),(7,8),(8,1)],9)=>194 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(6,2),(6,5),(8,7)],9)=>160 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,1),(5,2),(6,3),(6,5),(8,7)],9)=>178 ([(0,5),(1,8),(2,8),(3,8),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3),(8,7)],9)=>206 ([(0,4),(0,7),(1,8),(2,8),(4,8),(5,2),(6,1),(7,5),(7,6),(8,3)],9)=>200 ([(0,7),(1,8),(2,8),(3,8),(5,3),(6,1),(6,2),(7,5),(7,6),(8,4)],9)=>224 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,7),(5,7),(6,1),(7,8)],9)=>140 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,7),(6,1),(8,2)],9)=>183 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(8,2),(8,3)],9)=>226 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(6,5),(7,8)],9)=>155 ([(0,2),(0,3),(0,4),(1,8),(2,7),(3,7),(4,8),(5,1),(6,5),(7,6)],9)=>267 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(6,8),(8,7)],9)=>153 ([(0,3),(0,4),(0,6),(1,8),(3,7),(4,7),(5,2),(6,1),(7,8),(8,5)],9)=>224 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(6,5),(8,1)],9)=>171 ([(0,3),(0,4),(1,7),(2,7),(3,8),(4,8),(5,6),(6,2),(8,1),(8,5)],9)=>283 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,8),(5,2),(6,7),(8,1),(8,6)],9)=>160 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,7),(6,5),(7,8)],9)=>135 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,1),(5,8),(6,5),(8,2)],9)=>178 ([(0,2),(0,3),(0,6),(1,7),(2,8),(3,8),(4,1),(5,4),(5,8),(6,5),(8,7)],9)=>152 ([(0,3),(0,4),(0,6),(1,7),(3,8),(4,8),(5,1),(5,8),(6,5),(7,2),(8,7)],9)=>192 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(7,8)],9)=>152 ([(0,3),(0,4),(1,7),(2,7),(3,8),(4,8),(5,6),(6,1),(6,2),(8,5)],9)=>338 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,6),(4,1),(4,8),(5,4),(6,8),(8,7)],9)=>150 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(6,3),(7,8)],9)=>172 ([(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(6,3),(6,4),(7,8)],9)=>212 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(6,7),(7,8)],9)=>138 ([(0,3),(0,4),(0,5),(1,8),(2,7),(3,8),(4,8),(5,6),(6,1),(6,2),(8,7)],9)=>166 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,8),(5,6),(6,1),(6,2),(6,3),(8,7)],9)=>187 ([(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(6,3),(6,4),(8,7)],9)=>220 ([(0,4),(0,5),(0,6),(1,8),(2,8),(4,8),(5,8),(6,7),(7,1),(7,2),(8,3)],9)=>200 ([(0,5),(0,6),(1,8),(2,8),(3,8),(5,8),(6,7),(7,1),(7,2),(7,3),(8,4)],9)=>214 ([(0,6),(1,8),(2,8),(3,8),(4,8),(6,7),(7,1),(7,2),(7,3),(7,4),(8,5)],9)=>248 ([(0,2),(0,3),(0,6),(1,7),(2,8),(3,7),(4,5),(5,1),(6,4),(7,8)],9)=>218 ([(0,3),(0,7),(2,8),(3,8),(4,2),(5,4),(6,1),(7,5),(8,6)],9)=>332 ([(0,3),(0,5),(1,7),(2,7),(3,8),(4,6),(5,4),(6,1),(6,2),(7,8)],9)=>263 ([(0,6),(2,8),(3,8),(4,7),(5,1),(6,4),(7,2),(7,3),(8,5)],9)=>416 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(6,5),(8,7)],9)=>169 ([(0,3),(0,4),(0,7),(2,8),(3,8),(4,8),(5,2),(6,1),(7,5),(8,6)],9)=>248 ([(0,2),(0,3),(0,6),(1,8),(2,7),(3,7),(4,5),(5,1),(6,4),(7,8)],9)=>176 ([(0,2),(0,3),(2,8),(3,8),(4,6),(5,4),(6,1),(7,5),(8,7)],9)=>416 ([(0,3),(0,4),(0,6),(2,8),(3,7),(4,7),(5,2),(6,5),(7,8),(8,1)],9)=>192 ([(0,3),(0,5),(1,8),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(7,8)],9)=>231 ([(0,5),(1,8),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3),(7,8)],9)=>288 ([(0,2),(0,3),(0,6),(1,7),(2,8),(3,8),(4,5),(5,1),(5,8),(6,4),(8,7)],9)=>178 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,6),(5,6),(6,8),(7,8)],9)=>136 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)=>115 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,8),(4,8),(5,7),(5,8),(7,1),(8,6)],9)=>125 ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,6),(5,6),(5,8),(6,7),(7,1),(8,7)],9)=>154 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,6),(5,8),(6,7),(8,1)],9)=>136 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,8),(4,8),(5,6),(6,7),(8,1)],9)=>184 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,8),(5,8),(6,7),(8,1),(8,2)],9)=>219 ([(0,3),(0,4),(0,5),(2,7),(3,8),(4,8),(5,7),(6,1),(7,6),(8,2)],9)=>276 ([(0,4),(0,5),(2,7),(3,7),(4,8),(5,8),(6,1),(7,6),(8,2),(8,3)],9)=>340 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(5,7),(6,8),(8,7)],9)=>146 ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,7),(5,7),(6,1),(7,8),(8,6)],9)=>212 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,6),(6,7),(8,1)],9)=>152 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,8),(5,6),(6,7),(8,1),(8,2)],9)=>194 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,8),(6,7),(8,1),(8,2),(8,3)],9)=>238 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,7),(3,7),(4,8),(5,8),(7,1),(7,8),(8,6)],9)=>153 ([(0,2),(0,3),(0,4),(0,5),(2,7),(3,7),(4,6),(5,6),(6,8),(7,8),(8,1)],9)=>168 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(7,8)],9)=>149 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(8,5)],9)=>197 ([(0,3),(0,4),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(8,5),(8,6)],9)=>245 ([(0,2),(0,3),(0,4),(1,7),(2,6),(3,6),(4,8),(5,1),(6,5),(6,8),(8,7)],9)=>186 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,1),(6,8),(8,7)],9)=>147 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)=>142 ([(0,2),(0,3),(0,4),(2,8),(3,7),(4,7),(5,1),(6,5),(7,8),(8,6)],9)=>288 ([(0,2),(0,3),(0,4),(0,5),(2,7),(3,8),(4,6),(5,6),(6,7),(7,8),(8,1)],9)=>194 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,7),(7,8)],9)=>124 ([(0,3),(0,4),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(6,8),(8,5)],9)=>196 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,1),(5,8),(6,7),(8,6)],9)=>138 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,8),(3,8),(4,6),(5,1),(5,8),(6,7),(8,7)],9)=>117 ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,1),(6,8),(7,3),(8,2)],9)=>204 ([(0,3),(0,4),(0,5),(0,6),(2,8),(3,8),(4,7),(5,7),(6,2),(6,7),(7,8),(8,1)],9)=>156 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(5,8),(6,1),(6,8),(8,7)],9)=>111 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,6),(4,7),(5,1),(5,6),(6,8),(7,8)],9)=>111 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(8,7)],9)=>136 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,8),(3,8),(4,6),(4,8),(5,1),(6,7),(8,7)],9)=>121 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)=>126 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(3,7),(4,6),(4,7),(5,8),(6,8),(7,8)],9)=>112 ([(0,2),(0,3),(0,4),(1,8),(2,6),(3,6),(4,7),(5,1),(5,7),(6,5),(7,8)],9)=>211 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9)=>130 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,8),(5,1),(5,6),(6,7),(8,2)],9)=>174 ([(0,3),(0,4),(1,7),(2,6),(3,8),(4,8),(5,1),(5,6),(6,7),(8,2),(8,5)],9)=>249 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,6),(5,1),(5,8),(6,8),(8,7)],9)=>136 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,6),(5,1),(5,6),(5,7),(6,8),(7,8)],9)=>107 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,1),(5,6),(6,7),(8,7)],9)=>122 ([(0,4),(0,5),(0,6),(1,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,3),(8,2)],9)=>188 ([(0,5),(0,6),(1,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,3),(7,4),(8,2)],9)=>220 ([(0,3),(0,4),(0,5),(0,6),(1,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,8),(8,2)],9)=>160 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,6),(5,1),(5,8),(6,7),(8,2)],9)=>172 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,1),(5,8),(6,7),(8,2),(8,3)],9)=>210 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,1),(5,6),(6,8),(8,7)],9)=>134 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,1),(6,2),(8,7)],9)=>143 ([(0,3),(0,4),(0,7),(2,8),(3,8),(4,8),(5,1),(6,5),(7,2),(8,6)],9)=>272 ([(0,3),(0,4),(0,5),(0,6),(1,8),(3,8),(4,8),(5,7),(6,1),(7,2),(8,7)],9)=>186 ([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(4,8),(5,8),(6,2),(7,1),(8,3)],9)=>182 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(6,8),(7,8)],9)=>140 ([(0,3),(0,4),(0,5),(2,8),(3,8),(4,7),(5,7),(6,2),(7,6),(8,1)],9)=>270 ([(0,4),(0,5),(0,6),(1,7),(3,7),(4,8),(5,8),(6,1),(7,2),(8,3)],9)=>206 ([(0,4),(0,5),(1,7),(3,7),(4,8),(5,8),(6,1),(7,2),(8,3),(8,6)],9)=>302 ([(0,3),(0,4),(0,5),(2,8),(3,6),(4,7),(5,7),(6,8),(7,2),(7,6),(8,1)],9)=>220 ([(0,3),(0,4),(0,5),(0,6),(1,8),(3,8),(4,7),(5,7),(6,1),(7,8),(8,2)],9)=>174 ([(0,2),(0,3),(0,4),(0,5),(1,6),(1,8),(2,8),(3,8),(4,6),(5,1),(6,7),(8,7)],9)=>126 ([(0,4),(0,5),(0,6),(1,8),(3,7),(4,7),(5,8),(6,1),(7,2),(8,3)],9)=>242 ([(0,5),(0,6),(1,8),(2,7),(3,7),(5,8),(6,1),(7,4),(8,2),(8,3)],9)=>302 ([(0,3),(0,4),(0,5),(0,6),(2,7),(3,8),(4,8),(5,7),(6,2),(7,8),(8,1)],9)=>182 ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,2),(7,1)],9)=>158 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,8)],9)=>131 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(6,5),(6,7),(7,8)],9)=>134 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(5,7),(6,1),(6,2),(7,8)],9)=>134 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(5,7),(6,1),(6,2),(6,3),(7,8)],9)=>142 ([(0,3),(0,4),(1,8),(2,8),(3,6),(4,5),(4,6),(5,1),(5,2),(5,7),(6,7),(7,8)],9)=>144 ([(0,2),(0,3),(0,5),(1,8),(2,8),(3,6),(4,1),(4,7),(5,4),(5,6),(6,7),(7,8)],9)=>140 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(4,8),(5,4),(5,7),(7,8),(8,1)],9)=>192 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(5,7),(6,1),(6,2),(7,3)],9)=>150 ([(0,3),(0,5),(1,8),(2,8),(3,7),(4,2),(4,6),(5,4),(5,7),(6,8),(7,1),(7,6)],9)=>152 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,1),(5,6),(6,7),(7,8)],9)=>145 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,7),(7,8),(8,2)],9)=>197 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,7),(7,8),(8,2),(8,3)],9)=>249 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(6,5),(6,7),(7,2)],9)=>144 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,8),(5,2),(5,7),(6,8),(7,1),(7,6)],9)=>152 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(6,5),(6,7),(7,2),(7,3)],9)=>160 ([(0,4),(0,5),(1,8),(2,8),(3,6),(4,7),(5,3),(5,7),(6,8),(7,1),(7,2),(7,6)],9)=>169 ([(0,2),(0,3),(0,6),(1,8),(2,8),(3,7),(4,5),(5,1),(6,4),(6,7),(7,8)],9)=>155 ([(0,2),(0,3),(0,5),(1,8),(2,6),(3,7),(4,1),(5,4),(5,6),(6,8),(8,7)],9)=>162 ([(0,3),(0,6),(2,8),(3,7),(4,2),(5,1),(6,4),(6,7),(7,8),(8,5)],9)=>248 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,5),(5,2),(6,4),(6,8),(8,1)],9)=>171 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,7),(7,2),(7,8),(8,3)],9)=>207 ([(0,3),(0,5),(1,7),(2,6),(3,8),(4,2),(5,4),(5,8),(6,7),(8,1),(8,6)],9)=>172 ([(0,3),(0,5),(1,8),(2,8),(3,7),(4,6),(5,4),(5,7),(6,1),(6,2),(7,8)],9)=>174 ([(0,2),(0,5),(1,7),(2,6),(3,4),(4,1),(4,8),(5,3),(5,6),(6,8),(8,7)],9)=>176 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,2)],9)=>141 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,2),(7,3)],9)=>151 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,7),(7,2),(7,3),(7,4)],9)=>171 ([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,3),(7,1),(7,2)],9)=>146 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>121 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,5),(6,7),(7,8)],9)=>128 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,3),(6,1),(6,5),(6,7),(7,8)],9)=>136 ([(0,3),(0,5),(1,8),(2,8),(3,6),(4,2),(4,7),(5,1),(5,4),(5,6),(6,7),(7,8)],9)=>140 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,1),(5,2),(5,6),(6,7),(7,8)],9)=>136 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,3),(5,7),(7,8),(8,2)],9)=>193 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,5),(6,7),(7,3)],9)=>150 ([(0,4),(0,5),(1,8),(2,8),(3,6),(4,7),(5,2),(5,3),(5,7),(6,8),(7,1),(7,6)],9)=>151 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,1),(5,2),(5,7),(6,8),(7,8)],9)=>131 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,7),(5,1),(5,2),(5,6),(6,8),(8,7)],9)=>144 ([(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,3),(6,7),(7,8),(8,5)],9)=>220 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,2),(5,3),(5,8),(6,7),(8,1)],9)=>149 ([(0,4),(0,5),(1,8),(2,8),(3,6),(4,7),(5,1),(5,2),(5,7),(7,3),(7,8),(8,6)],9)=>156 ([(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,2),(5,3),(5,6),(6,7),(8,1)],9)=>172 ([(0,4),(0,5),(2,6),(3,6),(4,7),(5,2),(5,3),(5,7),(6,8),(7,8),(8,1)],9)=>186 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,2),(5,1),(6,4),(6,5),(6,7),(7,8)],9)=>143 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,2),(5,4),(5,6),(6,8),(7,8)],9)=>135 ([(0,3),(0,4),(1,5),(2,5),(2,7),(3,6),(4,1),(4,2),(4,6),(5,8),(6,7),(7,8)],9)=>142 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,2),(4,8),(5,1),(5,4),(5,6),(6,8),(8,7)],9)=>145 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,2),(5,1),(5,4),(5,6),(6,8),(8,7)],9)=>148 ([(0,3),(0,4),(1,7),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6),(5,7),(6,8),(7,8)],9)=>152 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,7),(7,3)],9)=>135 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,7),(7,3),(7,4)],9)=>153 ([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,4),(7,1),(7,2),(7,3)],9)=>136 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>119 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,5),(6,7),(7,8)],9)=>136 ([(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,1),(5,2),(5,3),(5,6),(6,7),(7,8)],9)=>141 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(5,7),(6,8),(7,8)],9)=>135 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,1),(5,2),(5,3),(5,6),(6,8),(8,7)],9)=>146 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,1),(5,2),(5,3),(5,6),(6,7),(8,7)],9)=>138 ([(0,5),(0,6),(1,8),(2,8),(3,8),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8),(8,4)],9)=>164 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(6,7),(7,4)],9)=>143 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,5),(7,1),(7,2),(7,3),(7,4)],9)=>134 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(6,4),(6,7),(7,8)],9)=>129 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,4),(7,1),(7,2),(7,3),(7,5)],9)=>194 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(7,8)],9)=>137 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5),(7,8)],9)=>182 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(7,8)],9)=>140 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,4),(6,5),(8,7)],9)=>186 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,8),(6,1),(6,2),(6,3),(6,4),(8,7)],9)=>149 ([(0,7),(1,8),(2,8),(3,8),(4,8),(6,4),(7,1),(7,2),(7,3),(7,6),(8,5)],9)=>212 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(6,8),(7,1),(7,2),(7,3),(7,4),(8,5)],9)=>172 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,4),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>122 ([(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,3),(7,1),(7,2),(7,5)],9)=>169 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,3),(6,4),(7,1),(7,2),(7,5)],9)=>200 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,7),(6,1),(6,2),(6,3),(7,8)],9)=>128 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,7),(6,1),(6,2),(6,3),(7,4)],9)=>166 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,3),(6,1),(6,2),(6,5),(7,8)],9)=>164 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,4),(6,5),(8,3)],9)=>242 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,7),(6,1),(6,2),(6,3),(7,8)],9)=>134 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,8),(6,1),(6,2),(6,3),(8,4)],9)=>187 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,5),(8,7)],9)=>173 ([(0,7),(2,8),(3,8),(4,8),(5,4),(6,1),(7,2),(7,3),(7,5),(8,6)],9)=>272 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,1),(6,2),(6,3),(8,7)],9)=>146 ([(0,5),(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(8,6)],9)=>220 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,3),(6,1),(6,2),(6,5),(8,7)],9)=>147 ([(0,5),(0,6),(1,8),(2,8),(3,7),(5,8),(6,1),(6,2),(6,3),(7,4),(8,7)],9)=>194 ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5),(8,7)],9)=>180 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,8),(5,3),(5,8),(6,1),(6,2),(6,5),(8,7)],9)=>146 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,3),(6,5),(7,8)],9)=>144 ([(0,4),(0,5),(1,6),(2,7),(3,8),(4,6),(5,1),(5,2),(5,3),(6,8),(8,7)],9)=>165 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,4),(6,1),(6,3),(6,5),(7,8)],9)=>174 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,7),(6,1),(6,3),(6,5),(7,8)],9)=>137 ([(0,6),(1,8),(2,7),(3,7),(4,3),(5,1),(6,2),(6,4),(6,5),(7,8)],9)=>188 ([(0,6),(2,8),(3,7),(4,7),(5,4),(6,2),(6,3),(6,5),(7,8),(8,1)],9)=>248 ([(0,6),(1,8),(2,8),(3,7),(4,2),(5,3),(5,8),(6,1),(6,4),(6,5),(8,7)],9)=>178 ([(0,5),(1,6),(2,7),(3,6),(4,3),(4,7),(5,1),(5,2),(5,4),(6,8),(7,8)],9)=>170 ([(0,6),(1,8),(2,8),(4,7),(5,2),(5,7),(6,1),(6,4),(6,5),(7,8),(8,3)],9)=>212 ([(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(5,3),(6,8),(7,8)],9)=>143 ([(0,4),(0,5),(1,8),(2,8),(3,6),(3,8),(4,6),(5,1),(5,2),(5,3),(6,7),(8,7)],9)=>136 ([(0,5),(0,6),(1,8),(2,8),(4,7),(5,7),(6,1),(6,2),(6,4),(7,8),(8,3)],9)=>180 ([(0,4),(0,5),(1,8),(2,6),(3,6),(3,8),(4,8),(5,1),(5,2),(5,3),(6,7),(8,7)],9)=>138 ([(0,6),(1,7),(2,7),(3,8),(5,8),(6,1),(6,2),(6,3),(7,5),(8,4)],9)=>276 ([(0,5),(0,6),(1,8),(3,7),(4,7),(5,8),(6,1),(6,3),(6,4),(7,8),(8,2)],9)=>192 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,1),(7,2),(7,3),(7,5)],9)=>143 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,3),(6,5),(7,1),(7,2),(7,6)],9)=>182 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(6,5),(7,8)],9)=>134 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(7,8)],9)=>134 ([(0,6),(1,8),(2,7),(3,7),(4,5),(5,3),(6,1),(6,2),(6,4),(7,8)],9)=>228 ([(0,7),(1,8),(2,8),(3,8),(4,2),(5,6),(6,3),(7,1),(7,4),(7,5)],9)=>200 ([(0,6),(1,8),(2,8),(3,7),(4,3),(5,1),(5,7),(6,2),(6,4),(6,5),(7,8)],9)=>174 ([(0,6),(1,8),(2,8),(3,7),(4,2),(5,4),(5,7),(6,1),(6,3),(6,5),(7,8)],9)=>174 ([(0,5),(1,6),(2,7),(3,8),(4,3),(4,6),(5,1),(5,2),(5,4),(6,8),(8,7)],9)=>200 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,3),(6,4),(7,8)],9)=>144 ([(0,4),(0,5),(1,8),(2,6),(3,6),(3,7),(4,7),(5,1),(5,2),(5,3),(6,8),(7,8)],9)=>133 ([(0,5),(1,6),(2,7),(3,6),(3,7),(4,2),(5,1),(5,3),(5,4),(6,8),(7,8)],9)=>172 ([(0,4),(0,5),(1,6),(2,6),(3,7),(4,3),(5,1),(5,2),(5,7),(6,8),(7,8)],9)=>135 ([(0,5),(0,6),(1,8),(2,8),(4,7),(5,4),(6,1),(6,2),(6,7),(7,8),(8,3)],9)=>170 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,4),(8,7)],9)=>147 ([(0,7),(1,8),(2,8),(3,8),(5,6),(6,3),(7,1),(7,2),(7,5),(8,4)],9)=>248 ([(0,6),(1,8),(2,7),(3,7),(4,5),(5,1),(6,2),(6,3),(6,4),(7,8)],9)=>192 ([(0,6),(1,8),(2,8),(3,7),(4,3),(5,4),(5,8),(6,1),(6,2),(6,5),(8,7)],9)=>170 ([(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(6,5),(7,4),(8,7)],9)=>220 ([(0,6),(2,8),(3,7),(4,7),(5,2),(6,3),(6,4),(6,5),(7,8),(8,1)],9)=>224 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,4),(6,1),(6,2),(6,3),(8,7)],9)=>149 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(6,4),(7,1),(7,2),(7,3),(8,5)],9)=>170 ([(0,7),(2,8),(3,8),(4,8),(5,1),(6,5),(7,2),(7,3),(7,4),(8,6)],9)=>320 ([(0,5),(0,6),(1,8),(2,8),(3,8),(5,7),(6,1),(6,2),(6,3),(7,4),(8,7)],9)=>206 ([(0,6),(1,7),(2,8),(3,8),(4,7),(5,4),(6,1),(6,2),(6,3),(8,5)],9)=>270 ([(0,4),(0,5),(1,6),(2,6),(3,7),(4,8),(5,1),(5,2),(5,3),(6,8),(8,7)],9)=>178 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,3),(6,1),(6,2),(6,7),(7,8)],9)=>124 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,3),(6,1),(6,2),(6,7),(7,4)],9)=>152 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(5,3),(6,1),(6,4),(6,7),(7,8)],9)=>131 ([(0,4),(0,5),(1,6),(2,7),(3,8),(4,1),(5,2),(5,3),(5,6),(6,8),(8,7)],9)=>156 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,5),(7,1),(7,2),(7,3)],9)=>145 ([(0,7),(1,8),(2,8),(3,8),(4,6),(5,3),(6,5),(7,1),(7,2),(7,4)],9)=>236 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,3),(4,7),(5,4),(6,1),(6,2),(6,7),(7,8)],9)=>125 ([(0,3),(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,2),(7,1),(7,5)],9)=>167 ([(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,2),(6,3),(7,1),(7,5)],9)=>184 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,4),(6,5),(7,1),(7,2),(7,3)],9)=>214 ([(0,3),(0,7),(1,8),(2,8),(3,8),(4,1),(5,6),(6,2),(7,4),(7,5)],9)=>176 ([(0,3),(0,6),(1,8),(2,7),(3,8),(4,1),(5,4),(5,7),(6,2),(6,5),(7,8)],9)=>164 ([(0,6),(1,8),(2,8),(3,7),(4,5),(4,7),(5,1),(5,2),(6,3),(6,4),(7,8)],9)=>188 ([(0,5),(1,6),(2,7),(3,4),(3,6),(4,2),(4,8),(5,1),(5,3),(6,8),(8,7)],9)=>208 ([(0,3),(0,5),(1,6),(2,8),(3,7),(4,2),(4,6),(5,1),(5,4),(6,8),(8,7)],9)=>193 ([(0,6),(2,8),(3,7),(4,2),(4,7),(5,1),(6,3),(6,4),(7,8),(8,5)],9)=>304 ([(0,6),(1,8),(2,7),(3,7),(4,5),(4,8),(5,3),(6,1),(6,4),(8,2)],9)=>206 ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)=>228 ([(0,3),(0,6),(1,8),(2,7),(3,8),(4,5),(5,1),(5,7),(6,2),(6,4),(7,8)],9)=>179 ([(0,6),(1,8),(2,7),(3,7),(4,5),(5,3),(5,8),(6,1),(6,4),(8,2)],9)=>250 ([(0,7),(1,8),(2,8),(3,8),(4,3),(5,6),(6,1),(6,2),(7,4),(7,5)],9)=>206 ([(0,6),(1,8),(2,8),(3,7),(4,5),(5,1),(5,2),(5,7),(6,3),(6,4),(7,8)],9)=>204 ([(0,6),(1,8),(2,8),(3,4),(4,1),(4,7),(5,2),(5,7),(6,3),(6,5),(7,8)],9)=>184 ([(0,3),(0,6),(1,8),(2,7),(3,8),(4,2),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>162 ([(0,6),(1,8),(2,7),(3,7),(4,1),(5,3),(5,8),(6,4),(6,5),(8,2)],9)=>230 ([(0,7),(1,8),(2,8),(3,8),(4,5),(5,3),(6,1),(6,2),(7,4),(7,6)],9)=>192 ([(0,6),(1,8),(2,8),(3,7),(4,3),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8)],9)=>170 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,7),(6,1),(6,2),(7,8)],9)=>132 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,7),(6,1),(6,2),(7,3)],9)=>162 ([(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,7),(6,1),(6,2),(7,3),(7,4)],9)=>194 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,7),(6,1),(6,2),(7,8)],9)=>141 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,7),(6,1),(6,2),(8,3)],9)=>189 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,8),(6,1),(6,2),(8,3),(8,4)],9)=>238 ([(0,4),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,1),(7,2),(7,5)],9)=>149 ([(0,4),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,2),(6,5),(7,1),(7,6)],9)=>167 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,7),(6,1),(6,5),(7,8)],9)=>130 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,7),(6,1),(6,5),(7,3)],9)=>164 ([(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,2),(6,3),(7,1),(7,6)],9)=>147 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,4),(6,3),(6,7),(7,1),(7,2),(7,5)],9)=>186 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,3),(5,7),(6,1),(6,5),(7,8)],9)=>138 ([(0,3),(0,5),(0,6),(1,8),(2,7),(3,8),(4,1),(5,2),(6,4),(6,7),(7,8)],9)=>137 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,3),(5,6),(5,7),(6,1),(6,2),(7,8)],9)=>138 ([(0,4),(0,5),(1,6),(2,7),(3,2),(3,8),(4,3),(4,6),(5,1),(6,8),(8,7)],9)=>160 ([(0,3),(0,4),(0,5),(1,6),(2,8),(3,7),(4,1),(5,2),(5,6),(6,8),(8,7)],9)=>164 ([(0,5),(0,6),(1,8),(3,7),(4,2),(5,3),(6,1),(6,7),(7,8),(8,4)],9)=>248 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,2),(5,1),(6,4),(6,8),(8,3)],9)=>161 ([(0,4),(0,5),(1,7),(2,8),(3,6),(4,2),(5,3),(5,8),(6,7),(8,1),(8,6)],9)=>190 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,3),(6,1),(6,2),(7,8)],9)=>137 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,5),(5,2),(6,1),(6,4),(7,8)],9)=>218 ([(0,7),(2,8),(3,8),(4,5),(5,3),(6,1),(7,2),(7,4),(8,6)],9)=>344 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,1),(5,2),(6,3),(6,4),(7,8)],9)=>143 ([(0,6),(1,8),(2,7),(3,7),(4,3),(5,1),(5,4),(6,2),(6,5),(7,8)],9)=>226 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,3),(4,8),(5,1),(6,2),(6,4),(8,7)],9)=>148 ([(0,5),(0,6),(2,8),(3,7),(4,7),(5,4),(6,2),(6,3),(7,8),(8,1)],9)=>194 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(6,4),(8,3)],9)=>185 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,2),(5,3),(6,4),(7,1),(7,5)],9)=>158 ([(0,7),(1,8),(2,8),(3,8),(4,5),(5,3),(6,2),(6,4),(7,1),(7,6)],9)=>228 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,3),(6,1),(6,4),(7,8)],9)=>135 ([(0,5),(1,8),(2,8),(3,8),(4,3),(5,6),(6,2),(6,7),(7,1),(7,4)],9)=>248 ([(0,5),(0,6),(1,8),(2,8),(3,1),(4,2),(4,7),(5,4),(6,3),(6,7),(7,8)],9)=>138 ([(0,4),(0,5),(1,8),(2,7),(3,2),(3,6),(4,3),(5,1),(5,6),(6,8),(8,7)],9)=>163 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,4),(6,1),(6,3),(7,8)],9)=>136 ([(0,6),(1,8),(2,7),(3,5),(4,3),(5,1),(5,7),(6,2),(6,4),(7,8)],9)=>262 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,7),(5,1),(6,2),(6,5),(7,8)],9)=>137 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(5,3),(6,2),(6,5),(7,8)],9)=>165 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,4),(6,1),(6,5),(8,3)],9)=>238 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,7),(5,1),(5,7),(6,2),(6,5),(7,8)],9)=>136 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,2),(5,8),(6,1),(6,5),(8,3)],9)=>185 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(6,3),(6,5),(7,8)],9)=>144 ([(0,5),(1,8),(2,8),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3),(7,8)],9)=>180 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(5,7),(6,3),(6,5),(7,8)],9)=>141 ([(0,3),(0,5),(1,6),(2,7),(3,6),(4,2),(4,8),(5,1),(5,4),(6,8),(8,7)],9)=>164 ([(0,3),(0,4),(0,5),(1,6),(2,8),(3,6),(4,7),(5,1),(5,2),(6,8),(8,7)],9)=>165 ([(0,4),(0,6),(1,8),(3,7),(4,7),(5,2),(6,1),(6,3),(7,8),(8,5)],9)=>252 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,3),(6,1),(6,5),(8,2)],9)=>173 ([(0,4),(0,5),(1,7),(2,8),(3,6),(4,8),(5,2),(5,3),(6,7),(8,1),(8,6)],9)=>193 ([(0,3),(0,4),(0,5),(1,6),(2,6),(2,7),(3,8),(4,7),(5,1),(5,2),(6,8),(7,8)],9)=>133 ([(0,4),(0,5),(1,7),(2,6),(3,6),(3,8),(4,8),(5,2),(5,3),(6,7),(8,1)],9)=>163 ([(0,4),(0,5),(2,6),(3,6),(3,7),(4,7),(5,2),(5,3),(6,8),(7,8),(8,1)],9)=>194 ([(0,4),(0,5),(1,7),(2,8),(3,6),(3,8),(4,6),(5,2),(5,3),(6,7),(8,1)],9)=>168 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,5),(8,7)],9)=>164 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,3),(6,1),(6,5),(8,7)],9)=>183 ([(0,7),(2,8),(3,8),(4,8),(5,1),(6,3),(6,4),(7,2),(7,6),(8,5)],9)=>288 ([(0,4),(0,7),(2,8),(3,8),(4,8),(5,3),(6,1),(7,2),(7,5),(8,6)],9)=>248 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(6,2),(6,3),(7,8)],9)=>155 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(8,7)],9)=>152 ([(0,6),(0,7),(2,8),(3,8),(4,8),(5,1),(6,2),(7,3),(7,4),(8,5)],9)=>224 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,1),(5,4),(6,2),(6,3),(7,8)],9)=>164 ([(0,4),(1,8),(2,7),(3,7),(4,6),(5,2),(5,3),(6,1),(6,5),(7,8)],9)=>272 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,3),(4,8),(5,4),(6,1),(6,2),(8,7)],9)=>149 ([(0,7),(2,8),(3,8),(4,5),(5,1),(6,4),(7,2),(7,3),(8,6)],9)=>416 ([(0,5),(0,6),(2,8),(3,7),(4,7),(5,2),(6,3),(6,4),(7,8),(8,1)],9)=>200 ([(0,4),(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(6,1),(6,2),(8,5)],9)=>263 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,8),(5,1),(5,2),(6,8),(8,7)],9)=>179 ([(0,4),(0,6),(2,7),(3,7),(4,8),(5,1),(6,2),(6,3),(7,8),(8,5)],9)=>272 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,4),(6,1),(6,2),(8,3)],9)=>191 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,4),(6,1),(6,2),(8,3),(8,5)],9)=>302 ([(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,2),(5,3),(6,7),(8,1),(8,6)],9)=>210 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,3),(5,2),(6,1),(7,4),(7,5)],9)=>152 ([(0,7),(1,8),(2,8),(3,8),(4,2),(5,3),(6,1),(6,5),(7,4),(7,6)],9)=>188 ([(0,6),(1,8),(2,8),(3,7),(4,2),(5,1),(5,4),(5,7),(6,3),(6,5),(7,8)],9)=>178 ([(0,5),(1,6),(2,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(8,7)],9)=>200 ([(0,6),(1,8),(2,8),(3,2),(4,3),(4,7),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>172 ([(0,5),(1,7),(2,8),(3,1),(3,6),(4,2),(4,6),(5,3),(5,4),(6,8),(8,7)],9)=>194 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,2),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>141 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,2),(4,6),(5,1),(5,4),(6,8),(8,7)],9)=>166 ([(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(5,3),(6,4),(6,5),(7,8)],9)=>170 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>137 ([(0,3),(0,5),(1,8),(2,6),(2,7),(3,6),(4,1),(4,7),(5,2),(5,4),(6,8),(7,8)],9)=>136 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(6,3),(6,4),(7,8)],9)=>148 ([(0,3),(0,5),(1,8),(2,6),(3,7),(4,1),(4,6),(4,7),(5,2),(5,4),(6,8),(7,8)],9)=>137 ([(0,4),(0,5),(1,6),(2,7),(3,6),(3,7),(4,2),(5,1),(5,3),(6,8),(7,8)],9)=>139 ([(0,6),(1,7),(2,8),(3,7),(4,3),(4,8),(5,1),(6,2),(6,4),(8,5)],9)=>262 ([(0,3),(0,5),(1,6),(2,7),(3,8),(4,2),(4,6),(5,1),(5,4),(6,8),(8,7)],9)=>176 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,7),(5,2),(6,1),(6,5),(7,8)],9)=>155 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,2),(5,3),(6,1),(6,5),(7,8)],9)=>179 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(6,3),(6,5),(8,4)],9)=>266 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(6,3),(6,5),(8,2)],9)=>219 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,2),(5,1),(6,4),(6,5),(7,8)],9)=>188 ([(0,7),(2,8),(3,8),(4,3),(5,2),(6,1),(7,4),(7,5),(8,6)],9)=>296 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,2),(5,7),(6,1),(6,7),(7,8)],9)=>123 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,2),(5,7),(6,1),(6,7),(7,3)],9)=>129 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,2),(5,7),(6,1),(6,7),(7,3),(7,4)],9)=>142 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,8),(4,1),(5,2),(5,7),(6,4),(6,7),(7,8)],9)=>128 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,1),(4,6),(5,2),(5,6),(6,7),(7,8)],9)=>133 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,3),(4,7),(5,1),(5,7),(7,8),(8,2)],9)=>185 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,1),(5,2),(5,7),(6,4),(6,7),(7,3)],9)=>135 ([(0,4),(0,5),(1,8),(2,8),(3,6),(4,2),(4,7),(5,3),(5,7),(6,8),(7,1),(7,6)],9)=>144 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,3),(4,7),(5,6),(5,7),(6,1),(6,2),(7,8)],9)=>130 ([(0,4),(0,5),(1,8),(2,8),(3,2),(3,7),(4,3),(4,6),(5,1),(5,6),(6,7),(7,8)],9)=>133 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,2),(4,6),(5,1),(5,6),(6,8),(8,7)],9)=>143 ([(0,5),(0,6),(2,8),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(8,4)],9)=>216 ([(0,4),(0,5),(1,8),(2,8),(3,6),(4,2),(4,7),(5,1),(5,7),(7,3),(7,8),(8,6)],9)=>152 ([(0,5),(0,6),(1,8),(2,8),(3,2),(4,1),(5,3),(5,7),(6,4),(6,7),(7,8)],9)=>134 ([(0,4),(0,5),(1,8),(2,7),(3,2),(4,3),(4,6),(5,1),(5,6),(6,8),(8,7)],9)=>139 ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)=>147 ([(0,4),(0,5),(1,8),(2,7),(3,2),(3,8),(4,3),(4,6),(5,1),(5,6),(6,8),(8,7)],9)=>142 ([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,3),(6,4),(7,1),(7,2)],9)=>136 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,3),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>115 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,3),(5,1),(5,7),(6,2),(6,4),(6,7),(7,8)],9)=>123 ([(0,4),(0,5),(1,7),(2,8),(3,8),(4,3),(4,6),(5,1),(5,2),(5,6),(6,7),(7,8)],9)=>128 ([(0,4),(0,5),(1,8),(2,6),(3,6),(4,1),(4,7),(5,2),(5,3),(5,7),(6,8),(7,8)],9)=>127 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,3),(4,6),(5,1),(5,2),(5,6),(6,8),(8,7)],9)=>136 ([(0,5),(0,6),(1,8),(2,8),(3,8),(5,3),(5,7),(6,1),(6,2),(6,7),(7,8),(8,4)],9)=>154 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,2),(4,6),(5,1),(5,3),(5,6),(6,8),(8,7)],9)=>138 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,3),(5,7),(6,1),(6,2),(6,7),(7,4)],9)=>126 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,3),(5,4),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>121 ([(0,4),(0,5),(1,7),(2,8),(3,8),(4,1),(4,6),(5,2),(5,3),(5,6),(6,7),(7,8)],9)=>130 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,4),(6,5),(7,1),(7,2),(7,3)],9)=>128 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,4),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>114 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(6,4),(7,8)],9)=>122 ([(0,6),(1,8),(2,8),(3,7),(4,5),(5,1),(5,7),(6,2),(6,3),(6,4),(7,8)],9)=>188 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,7),(6,1),(6,3),(6,4),(7,8)],9)=>127 ([(0,6),(1,8),(2,8),(3,7),(4,5),(5,3),(5,8),(6,1),(6,2),(6,4),(8,7)],9)=>192 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,4),(5,8),(6,1),(6,2),(6,3),(8,7)],9)=>138 ([(0,5),(1,7),(2,6),(3,6),(3,7),(4,3),(5,1),(5,2),(5,4),(6,8),(7,8)],9)=>182 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,3),(5,4),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>109 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,4),(6,1),(6,2),(6,7),(7,8)],9)=>117 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,7),(7,8)],9)=>124 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(5,7),(6,1),(6,3),(7,8)],9)=>124 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,2),(5,7),(6,1),(6,3),(7,4)],9)=>150 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(5,7),(6,2),(6,3),(7,8)],9)=>131 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(5,8),(6,1),(6,2),(8,4)],9)=>175 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,3),(5,4),(5,8),(6,1),(6,2),(8,7)],9)=>135 ([(0,5),(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(7,4),(8,7)],9)=>186 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(5,1),(5,7),(6,3),(6,4),(7,8)],9)=>131 ([(0,4),(0,5),(1,6),(2,8),(3,7),(4,3),(4,6),(5,1),(5,2),(6,8),(8,7)],9)=>154 ([(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(5,4),(6,3),(6,5),(7,8)],9)=>186 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,1),(5,7),(6,3),(6,4),(7,8)],9)=>130 ([(0,5),(0,6),(1,8),(2,8),(4,7),(5,2),(5,7),(6,1),(6,4),(7,8),(8,3)],9)=>170 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(5,4),(5,7),(6,1),(6,3),(7,8)],9)=>129 ([(0,4),(0,5),(1,6),(2,7),(3,8),(4,3),(4,6),(5,1),(5,2),(6,8),(8,7)],9)=>157 ([(0,6),(1,8),(2,7),(3,5),(4,1),(5,4),(5,7),(6,2),(6,3),(7,8)],9)=>230 ([(0,6),(1,8),(3,7),(4,5),(5,1),(5,7),(6,3),(6,4),(7,8),(8,2)],9)=>276 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,2),(6,3),(7,1),(7,5)],9)=>140 ([(0,7),(1,8),(2,8),(3,8),(4,8),(5,2),(5,6),(6,3),(6,4),(7,1),(7,5)],9)=>194 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,3),(4,7),(5,1),(5,7),(6,2),(6,4),(7,8)],9)=>125 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,3),(6,1),(6,4),(7,8)],9)=>129 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,1),(5,2),(6,3),(6,4),(7,8)],9)=>146 ([(0,4),(0,5),(1,8),(2,6),(3,6),(3,7),(4,1),(4,7),(5,2),(5,3),(6,8),(7,8)],9)=>129 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(5,2),(6,3),(6,4),(8,7)],9)=>143 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(6,3),(6,4),(7,1),(7,2),(8,5)],9)=>168 ([(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(8,5)],9)=>338 ([(0,4),(0,5),(1,6),(2,6),(3,7),(4,3),(4,8),(5,1),(5,2),(6,8),(8,7)],9)=>170 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,2),(6,1),(6,7),(7,8)],9)=>134 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,2),(6,1),(6,7),(7,3)],9)=>158 ([(0,5),(0,6),(1,8),(2,7),(3,8),(4,8),(5,2),(6,1),(6,7),(7,3),(7,4)],9)=>186 ([(0,4),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,5),(7,1),(7,2)],9)=>155 ([(0,3),(0,7),(1,8),(2,8),(3,8),(4,6),(5,2),(6,5),(7,1),(7,4)],9)=>218 ([(0,7),(1,8),(2,8),(3,8),(4,5),(5,6),(6,2),(6,3),(7,1),(7,4)],9)=>270 ([(0,7),(1,8),(2,8),(3,5),(4,3),(5,2),(6,1),(7,4),(7,6)],9)=>242 ([(0,6),(1,8),(2,7),(3,4),(4,1),(5,3),(5,7),(6,2),(6,5),(7,8)],9)=>220 ([(0,6),(2,8),(3,7),(4,2),(5,4),(5,7),(6,3),(6,5),(7,8),(8,1)],9)=>248 ([(0,6),(1,8),(2,7),(3,2),(4,3),(5,1),(5,7),(6,4),(6,5),(7,8)],9)=>220 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,8),(5,7),(6,2),(6,3),(7,1),(7,6)],9)=>191 ([(0,5),(1,8),(2,8),(3,8),(4,8),(5,6),(6,4),(6,7),(7,1),(7,2),(7,3)],9)=>220 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,8),(4,2),(4,7),(5,4),(6,1),(6,7),(7,8)],9)=>133 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,2),(4,7),(5,4),(6,1),(6,7),(7,3)],9)=>157 ([(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,6),(6,3),(6,4),(7,1),(7,2)],9)=>152 ([(0,5),(1,8),(2,8),(3,8),(4,8),(5,7),(6,3),(6,4),(7,1),(7,2),(7,6)],9)=>212 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,1),(5,7),(6,2),(6,3),(6,7),(7,8)],9)=>136 ([(0,3),(0,5),(0,6),(1,8),(2,7),(3,8),(4,2),(5,4),(6,1),(6,7),(7,8)],9)=>155 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,1),(5,4),(6,3),(6,8),(8,2)],9)=>207 ([(0,3),(0,5),(1,8),(2,7),(3,8),(4,1),(4,7),(5,6),(6,2),(6,4),(7,8)],9)=>197 ([(0,5),(1,8),(2,7),(3,7),(4,3),(4,8),(5,6),(6,1),(6,4),(8,2)],9)=>276 ([(0,5),(0,6),(1,8),(2,7),(3,2),(4,1),(5,3),(6,4),(6,7),(7,8)],9)=>158 ([(0,5),(0,6),(1,8),(3,7),(4,3),(5,4),(6,1),(6,7),(7,8),(8,2)],9)=>220 ([(0,5),(1,8),(2,7),(3,1),(4,3),(4,7),(5,6),(6,2),(6,4),(7,8)],9)=>248 ([(0,5),(2,8),(3,7),(4,2),(4,7),(5,6),(6,3),(6,4),(7,8),(8,1)],9)=>304 ([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(7,8)],9)=>146 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(7,2)],9)=>176 ([(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(7,2),(7,3)],9)=>201 ([(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(7,2),(7,3),(7,4)],9)=>236 ([(0,3),(0,4),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,1),(6,2),(7,5)],9)=>167 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,8),(5,2),(6,7),(7,1),(7,5)],9)=>176 ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,6),(6,1),(6,2),(7,8)],9)=>188 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(8,3)],9)=>263 ([(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(8,3),(8,4)],9)=>340 ([(0,2),(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(5,7),(6,5),(7,8)],9)=>141 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(5,7),(6,5),(7,2)],9)=>169 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,1),(5,7),(6,5),(7,2),(7,3)],9)=>200 ([(0,2),(0,3),(0,6),(1,8),(2,8),(3,7),(4,1),(5,4),(5,7),(6,5),(7,8)],9)=>158 ([(0,2),(0,3),(0,5),(1,8),(2,6),(3,7),(4,1),(4,6),(5,4),(6,8),(8,7)],9)=>180 ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,7),(5,1),(6,4),(7,8),(8,5)],9)=>276 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,5),(4,8),(5,2),(6,4),(8,1)],9)=>191 ([(0,3),(0,5),(1,7),(2,6),(3,8),(4,2),(4,8),(5,4),(6,7),(8,1),(8,6)],9)=>207 ([(0,3),(0,5),(1,8),(2,8),(3,7),(4,6),(4,7),(5,4),(6,1),(6,2),(7,8)],9)=>176 ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,6),(4,1),(4,8),(5,3),(6,8),(8,7)],9)=>192 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,3),(6,7),(7,1),(7,2)],9)=>162 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,8),(5,3),(6,7),(7,1),(7,2),(7,5)],9)=>183 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(6,7),(7,8)],9)=>142 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(6,7),(7,3)],9)=>178 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,4),(6,7),(7,1),(7,2),(7,3)],9)=>161 ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,4),(6,7),(7,1),(7,2),(7,3),(7,5)],9)=>212 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(6,3),(6,7),(7,8)],9)=>155 ([(0,3),(0,4),(0,5),(1,8),(2,7),(3,8),(4,7),(5,6),(6,1),(6,2),(7,8)],9)=>162 ([(0,4),(0,5),(1,8),(2,7),(3,7),(4,8),(5,6),(6,1),(6,2),(6,3),(7,8)],9)=>189 ([(0,5),(1,8),(2,8),(3,7),(4,7),(5,6),(6,1),(6,2),(6,4),(8,3)],9)=>276 ([(0,4),(0,5),(1,8),(2,7),(3,7),(4,8),(5,6),(6,1),(6,3),(8,2)],9)=>225 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(8,7)],9)=>182 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,1),(6,2),(6,3),(8,7)],9)=>203 ([(0,6),(2,8),(3,8),(4,8),(5,1),(6,7),(7,2),(7,3),(7,4),(8,5)],9)=>320 ([(0,4),(0,6),(2,8),(3,8),(4,8),(5,1),(6,7),(7,2),(7,3),(8,5)],9)=>276 ([(0,2),(0,3),(0,7),(1,8),(2,8),(3,8),(4,6),(5,4),(6,1),(7,5)],9)=>230 ([(0,3),(0,6),(1,8),(2,8),(3,8),(4,5),(5,7),(6,4),(7,1),(7,2)],9)=>267 ([(0,6),(1,8),(2,8),(3,8),(4,5),(5,7),(6,4),(7,1),(7,2),(7,3)],9)=>320 ([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,2),(6,1),(7,8)],9)=>149 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(8,3)],9)=>197 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(6,1),(8,3),(8,4)],9)=>245 ([(0,3),(0,6),(0,7),(1,8),(2,8),(3,8),(4,2),(5,1),(6,4),(7,5)],9)=>176 ([(0,3),(0,6),(1,8),(2,8),(3,8),(4,5),(5,2),(6,7),(7,1),(7,4)],9)=>225 ([(0,3),(0,5),(0,6),(1,8),(2,7),(3,8),(4,1),(4,7),(5,2),(6,4),(7,8)],9)=>144 ([(0,5),(0,6),(1,8),(2,7),(3,7),(4,2),(4,8),(5,1),(6,4),(8,3)],9)=>191 ([(0,5),(0,6),(1,8),(2,8),(3,8),(4,1),(5,4),(6,7),(7,2),(7,3)],9)=>171 ([(0,6),(1,8),(2,8),(3,8),(4,5),(5,3),(6,7),(7,1),(7,2),(7,4)],9)=>248 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)=>146 ([(0,5),(1,8),(2,8),(3,8),(4,7),(5,6),(6,3),(6,4),(7,1),(7,2)],9)=>276 ([(0,5),(0,6),(1,8),(2,8),(3,2),(3,7),(4,1),(4,7),(5,3),(6,4),(7,8)],9)=>143 ([(0,3),(0,5),(0,6),(1,7),(2,7),(3,8),(4,1),(5,2),(6,4),(7,8)],9)=>176 ([(0,3),(0,5),(1,7),(2,7),(3,8),(4,2),(5,6),(6,1),(6,4),(7,8)],9)=>233 ([(0,6),(2,8),(3,8),(4,3),(5,1),(6,7),(7,2),(7,4),(8,5)],9)=>368 ([(0,6),(0,7),(2,8),(3,8),(4,2),(5,1),(6,4),(7,3),(8,5)],9)=>260 ([(0,2),(0,3),(0,4),(0,6),(1,7),(2,8),(3,8),(4,7),(5,1),(6,5),(7,8)],9)=>167 ([(0,3),(0,4),(0,6),(1,8),(2,7),(3,8),(4,7),(5,1),(6,5),(8,2)],9)=>225 ([(0,4),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(6,5),(8,2),(8,3)],9)=>283 ([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,3),(6,2),(7,1)],9)=>161 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,7),(7,8)],9)=>134 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,1),(5,6),(5,7),(6,8),(7,8)],9)=>113 ([(0,2),(0,3),(0,5),(1,8),(2,7),(3,6),(4,1),(5,4),(5,6),(5,7),(6,8),(7,8)],9)=>120 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,6),(4,1),(4,5),(4,6),(5,8),(6,7),(7,8)],9)=>130 ([(0,3),(0,4),(0,5),(1,8),(3,7),(4,6),(5,1),(5,6),(5,7),(6,8),(7,8),(8,2)],9)=>152 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,2),(5,6),(5,7),(6,8),(7,1)],9)=>127 ([(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,1),(4,5),(4,6),(5,8),(6,8),(8,7)],9)=>137 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,8),(3,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)=>124 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,8),(5,2),(5,8),(6,7),(8,1)],9)=>179 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,7),(5,1),(5,6),(6,8),(8,7)],9)=>143 ([(0,3),(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,7),(7,8),(8,5)],9)=>212 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,6),(5,2),(5,8),(6,7),(8,1)],9)=>136 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,3),(5,8),(6,7),(8,1),(8,2)],9)=>193 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,8),(5,1),(5,7),(7,2),(7,8),(8,6)],9)=>151 ([(0,3),(0,4),(0,5),(2,6),(3,6),(4,7),(5,2),(5,7),(6,8),(7,8),(8,1)],9)=>170 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,2),(5,6),(6,7),(8,1)],9)=>154 ([(0,4),(0,6),(2,7),(3,7),(4,8),(5,1),(6,2),(6,8),(7,5),(8,3)],9)=>276 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,7),(4,1),(5,2),(6,4),(6,7),(7,8)],9)=>137 ([(0,3),(0,5),(1,8),(2,8),(3,7),(4,2),(5,6),(5,7),(6,1),(6,4),(7,8)],9)=>158 ([(0,3),(0,4),(1,7),(2,8),(3,6),(4,5),(4,6),(5,1),(5,2),(6,8),(8,7)],9)=>164 ([(0,2),(0,5),(1,7),(2,6),(3,1),(4,3),(4,8),(5,4),(5,6),(6,8),(8,7)],9)=>160 ([(0,2),(0,3),(0,5),(1,8),(2,6),(3,7),(4,1),(4,7),(5,4),(5,6),(6,8),(7,8)],9)=>124 ([(0,3),(0,5),(1,7),(2,6),(3,8),(4,1),(4,6),(5,4),(5,8),(6,7),(8,2)],9)=>176 ([(0,2),(0,3),(0,5),(1,7),(2,8),(3,6),(4,1),(4,8),(5,4),(5,6),(6,8),(8,7)],9)=>140 ([(0,2),(0,3),(0,4),(1,5),(1,7),(2,5),(3,6),(4,1),(4,6),(5,8),(6,7),(7,8)],9)=>133 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,2),(5,1),(6,4),(6,8),(8,5)],9)=>185 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,2),(5,1),(5,6),(6,4),(6,8),(8,7)],9)=>190 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,8),(4,1),(5,4),(5,6),(6,8),(8,7)],9)=>135 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,6),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)=>144 ([(0,3),(0,4),(0,5),(2,8),(3,7),(4,6),(5,2),(5,6),(6,7),(7,8),(8,1)],9)=>186 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,1),(5,2),(5,6),(6,8),(8,7)],9)=>148 ([(0,3),(0,4),(0,5),(2,7),(3,8),(4,6),(5,2),(5,6),(6,7),(7,8),(8,1)],9)=>200 ([(0,3),(0,5),(0,6),(1,8),(2,7),(3,8),(4,2),(5,1),(6,4),(6,8),(8,7)],9)=>131 ([(0,4),(0,5),(0,6),(1,8),(2,7),(4,8),(5,1),(6,2),(6,8),(7,3),(8,7)],9)=>178 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,7),(4,1),(5,4),(5,6),(6,8),(7,8)],9)=>147 ([(0,3),(0,4),(1,6),(2,6),(3,7),(4,5),(4,7),(5,1),(5,2),(6,8),(7,8)],9)=>170 ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>208 ([(0,4),(0,5),(1,8),(2,8),(4,7),(5,6),(5,7),(6,1),(6,2),(7,8),(8,3)],9)=>188 ([(0,4),(0,6),(1,7),(3,7),(4,8),(5,1),(6,5),(6,8),(7,2),(8,3)],9)=>206 ([(0,4),(0,5),(1,6),(3,7),(4,8),(5,1),(5,8),(6,7),(7,2),(8,3),(8,6)],9)=>228 ([(0,3),(0,4),(0,6),(1,8),(3,8),(4,7),(5,1),(6,5),(6,7),(7,8),(8,2)],9)=>174 ([(0,3),(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,7),(7,5)],9)=>176 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,8),(4,6),(5,1),(5,6),(6,7),(7,8)],9)=>130 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,2),(5,7),(7,8),(8,1)],9)=>178 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,7),(7,3)],9)=>144 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(6,1),(6,7),(7,3),(7,5)],9)=>192 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,2),(5,7),(6,8),(7,1),(7,6)],9)=>141 ([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)=>117 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(4,7),(5,2),(5,7),(6,8),(7,1)],9)=>124 ([(0,1),(0,2),(0,3),(0,4),(1,8),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8)],9)=>106 ([(0,2),(0,3),(0,4),(1,8),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,1)],9)=>117 ([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9)=>148 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(4,7),(5,2),(5,6),(6,8),(7,1)],9)=>129 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,5),(3,6),(4,1),(4,6),(5,8),(6,8),(8,7)],9)=>136 ([(0,2),(0,3),(0,5),(1,8),(2,6),(3,6),(3,7),(4,1),(5,4),(5,7),(6,8),(7,8)],9)=>123 ([(0,2),(0,3),(0,4),(1,7),(2,5),(3,5),(3,6),(4,1),(4,6),(5,8),(6,7),(7,8)],9)=>129 ([(0,3),(0,4),(0,5),(1,8),(3,6),(4,6),(4,7),(5,1),(5,7),(6,8),(7,8),(8,2)],9)=>154 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,2),(5,7),(6,1),(6,7),(7,8)],9)=>113 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,7),(4,1),(5,2),(5,7),(6,4),(6,7),(7,8)],9)=>118 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,1),(4,8),(5,2),(5,8),(6,7),(8,6)],9)=>137 ([(0,4),(0,5),(0,6),(2,8),(3,8),(4,7),(5,3),(5,7),(6,2),(6,7),(7,8),(8,1)],9)=>152 ([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,8),(5,3),(5,8),(6,2),(6,8),(8,1)],9)=>132 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(7,8)],9)=>126 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,1),(4,6),(5,2),(5,7),(6,8),(7,8)],9)=>118 ([(0,3),(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,2),(5,6),(6,4),(7,8)],9)=>210 ([(0,3),(0,4),(0,5),(1,8),(2,7),(3,6),(4,2),(4,8),(5,1),(5,6),(6,8),(8,7)],9)=>135 ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(7,6)],9)=>211 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,2),(4,7),(5,1),(5,6),(6,7),(7,8)],9)=>124 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(4,7),(5,1),(5,2),(5,7),(6,8),(7,8)],9)=>111 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(5,7),(6,1),(6,2),(6,7),(7,8)],9)=>107 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,6),(4,7),(5,1),(5,2),(6,8),(7,8)],9)=>120 ([(0,3),(0,5),(1,6),(2,6),(2,7),(3,7),(4,2),(5,1),(5,4),(6,8),(7,8)],9)=>170 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(4,8),(5,1),(5,2),(6,7),(8,7)],9)=>127 ([(0,5),(1,6),(2,7),(3,6),(3,7),(4,2),(4,3),(5,1),(5,4),(6,8),(7,8)],9)=>194 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,3),(5,1),(5,7),(6,2),(6,4),(7,8)],9)=>147 ([(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,3),(5,4),(6,1),(6,5),(7,8)],9)=>200 ([(0,6),(1,8),(2,7),(3,5),(4,2),(5,1),(5,7),(6,3),(6,4),(7,8)],9)=>206 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,2),(5,7),(6,1),(6,3),(7,8)],9)=>120 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(5,3),(5,8),(6,1),(6,4),(8,7)],9)=>155 ([(0,6),(1,8),(2,8),(3,7),(4,3),(4,8),(5,2),(5,4),(6,1),(6,5),(8,7)],9)=>200 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,8),(5,3),(5,8),(6,1),(6,2),(8,7)],9)=>135 ([(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,6),(4,7),(5,1),(6,8),(7,8)],9)=>128 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,6),(4,8),(5,2),(6,7),(8,1)],9)=>152 ([(0,3),(0,4),(0,5),(1,7),(2,6),(3,8),(4,6),(4,8),(5,2),(6,7),(8,1)],9)=>138 ([(0,3),(0,4),(0,5),(2,6),(3,7),(4,6),(4,7),(5,2),(6,8),(7,8),(8,1)],9)=>172 ([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,7),(5,2),(6,1),(6,7),(7,8)],9)=>128 ([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,1),(6,2),(6,8),(8,3)],9)=>168 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8)],9)=>143 ([(0,2),(0,6),(1,8),(2,7),(3,5),(4,3),(5,1),(6,4),(6,7),(7,8)],9)=>206 ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9)=>304 ([(0,3),(0,6),(2,8),(3,7),(4,5),(5,2),(6,4),(6,7),(7,8),(8,1)],9)=>220 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,2),(5,1),(5,7),(6,8),(7,8)],9)=>131 ([(0,4),(0,6),(1,8),(3,8),(4,7),(5,3),(6,1),(6,7),(7,5),(8,2)],9)=>262 ([(0,4),(0,5),(0,6),(1,8),(2,8),(4,7),(5,2),(6,1),(6,7),(7,8),(8,3)],9)=>166 ([(0,3),(0,6),(1,7),(2,7),(3,8),(4,2),(5,4),(6,1),(6,8),(8,5)],9)=>255 ([(0,3),(0,4),(0,5),(1,7),(2,8),(3,6),(4,2),(5,1),(5,6),(6,8),(8,7)],9)=>141 ([(0,3),(0,5),(1,8),(2,8),(3,7),(4,2),(4,7),(5,6),(6,1),(6,4),(7,8)],9)=>178 ([(0,2),(0,3),(0,5),(1,8),(2,6),(3,6),(3,7),(4,1),(4,7),(5,4),(6,8),(7,8)],9)=>129 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,1),(5,7),(6,2),(6,3),(7,8)],9)=>154 ([(0,5),(1,8),(2,8),(3,7),(4,2),(4,7),(5,6),(6,1),(6,3),(6,4),(7,8)],9)=>212 ([(0,3),(0,5),(0,6),(1,8),(2,8),(3,7),(4,2),(4,7),(5,4),(6,1),(6,7),(7,8)],9)=>127 ([(0,2),(0,3),(0,5),(1,7),(2,6),(3,6),(3,7),(4,1),(5,4),(6,8),(7,8)],9)=>150 ([(0,3),(0,4),(1,6),(2,6),(2,7),(3,7),(4,5),(5,1),(5,2),(6,8),(7,8)],9)=>185 ([(0,4),(1,7),(2,6),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,8),(7,8)],9)=>216 ([(0,3),(0,5),(0,6),(1,8),(2,7),(3,8),(4,1),(5,4),(6,2),(6,8),(8,7)],9)=>157 ([(0,3),(0,5),(1,8),(2,7),(3,8),(4,2),(4,8),(5,6),(6,1),(6,4),(8,7)],9)=>193 ([(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,3),(5,8),(6,1),(6,2),(8,7)],9)=>172 ([(0,5),(1,8),(2,8),(3,7),(4,3),(4,8),(5,6),(6,1),(6,2),(6,4),(8,7)],9)=>220 ([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,4),(6,3),(7,1),(7,2)],9)=>149 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,7),(7,8)],9)=>124 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,1),(5,2),(5,6),(5,7),(6,8),(7,8)],9)=>111 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,5),(5,2),(6,1),(6,4),(6,7),(7,8)],9)=>157 ([(0,3),(0,5),(1,7),(2,8),(3,6),(4,2),(5,1),(5,4),(5,6),(6,8),(8,7)],9)=>162 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,1),(5,2),(5,7),(6,8),(7,8)],9)=>120 ([(0,4),(0,5),(1,7),(2,6),(3,6),(4,8),(5,1),(5,3),(5,8),(6,7),(8,2)],9)=>177 ([(0,3),(0,4),(0,5),(1,8),(2,7),(3,8),(4,6),(5,1),(5,2),(5,6),(6,8),(8,7)],9)=>137 ([(0,3),(0,5),(1,6),(2,6),(3,7),(4,2),(5,1),(5,4),(5,7),(6,8),(7,8)],9)=>155 ([(0,4),(0,5),(2,7),(3,8),(4,6),(5,2),(5,3),(5,6),(6,7),(7,8),(8,1)],9)=>200 ([(0,4),(0,6),(1,8),(2,8),(4,7),(5,2),(6,1),(6,5),(6,7),(7,8),(8,3)],9)=>178 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,1),(5,2),(5,6),(6,7),(8,7)],9)=>127 ([(0,5),(0,6),(1,8),(2,8),(4,8),(5,7),(6,1),(6,2),(6,7),(7,4),(8,3)],9)=>192 ([(0,4),(0,5),(0,6),(1,8),(2,8),(4,8),(5,7),(6,1),(6,2),(6,7),(7,8),(8,3)],9)=>156 ([(0,4),(0,6),(1,8),(2,8),(3,8),(4,7),(5,3),(6,1),(6,2),(6,7),(7,5)],9)=>178 ([(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,1),(5,2),(5,6),(6,7),(7,8)],9)=>127 ([(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,2),(5,1),(5,6),(5,7),(6,8),(7,8)],9)=>118 ([(0,5),(0,6),(1,8),(2,8),(3,7),(4,3),(5,4),(6,1),(6,2),(6,7),(7,8)],9)=>145 ([(0,4),(1,8),(2,8),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)=>220 ([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,3),(6,1),(6,2),(6,7),(7,8)],9)=>121 ([(0,6),(0,7),(1,8),(2,8),(3,8),(4,5),(5,3),(6,1),(7,2),(7,4)],9)=>170 ([(0,7),(1,8),(2,8),(3,8),(4,3),(5,2),(6,4),(6,5),(7,1),(7,6)],9)=>200 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,2),(5,4),(5,7),(6,1),(6,5),(7,8)],9)=>153 ([(0,3),(0,5),(1,7),(2,8),(3,6),(4,2),(4,6),(5,1),(5,4),(6,8),(8,7)],9)=>176 ([(0,7),(1,8),(2,8),(3,8),(4,6),(5,3),(6,2),(6,5),(7,1),(7,4)],9)=>242 ([(0,3),(0,6),(1,8),(2,8),(3,7),(4,5),(5,1),(5,7),(6,2),(6,4),(7,8)],9)=>172
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 number of sublattices of a lattice.
Code
def statistic(L):
    return sum(1 for _ in L._hasse_diagram.sublattices_iterator(set(), 0))
Created
Sep 29, 2020 at 20:16 by Martin Rubey
Updated
Sep 29, 2020 at 20:16 by Martin Rubey