edit this statistic or download as text // json
Identifier
Values
=>
Cc0014;cc-rep
([],1)=>1 ([],2)=>3 ([(0,1)],2)=>2 ([],3)=>13 ([(1,2)],3)=>8 ([(0,1),(0,2)],3)=>6 ([(0,2),(2,1)],3)=>4 ([(0,2),(1,2)],3)=>6 ([],4)=>75 ([(2,3)],4)=>44 ([(1,2),(1,3)],4)=>32 ([(0,1),(0,2),(0,3)],4)=>26 ([(0,2),(0,3),(3,1)],4)=>16 ([(0,1),(0,2),(1,3),(2,3)],4)=>12 ([(1,2),(2,3)],4)=>20 ([(0,3),(3,1),(3,2)],4)=>12 ([(1,3),(2,3)],4)=>32 ([(0,3),(1,3),(3,2)],4)=>12 ([(0,3),(1,3),(2,3)],4)=>26 ([(0,3),(1,2)],4)=>26 ([(0,3),(1,2),(1,3)],4)=>22 ([(0,2),(0,3),(1,2),(1,3)],4)=>18 ([(0,3),(2,1),(3,2)],4)=>8 ([(0,3),(1,2),(2,3)],4)=>16 ([],5)=>541 ([(3,4)],5)=>308 ([(2,3),(2,4)],5)=>220 ([(1,2),(1,3),(1,4)],5)=>176 ([(0,1),(0,2),(0,3),(0,4)],5)=>150 ([(0,2),(0,3),(0,4),(4,1)],5)=>88 ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)=>64 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)=>52 ([(1,3),(1,4),(4,2)],5)=>104 ([(0,3),(0,4),(4,1),(4,2)],5)=>64 ([(1,2),(1,3),(2,4),(3,4)],5)=>76 ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>24 ([(0,3),(0,4),(3,2),(4,1)],5)=>52 ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)=>44 ([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)=>36 ([(2,3),(3,4)],5)=>132 ([(1,4),(4,2),(4,3)],5)=>76 ([(0,4),(4,1),(4,2),(4,3)],5)=>52 ([(2,4),(3,4)],5)=>220 ([(1,4),(2,4),(4,3)],5)=>76 ([(0,4),(1,4),(4,2),(4,3)],5)=>36 ([(1,4),(2,4),(3,4)],5)=>176 ([(0,4),(1,4),(2,4),(4,3)],5)=>52 ([(0,4),(1,4),(2,4),(3,4)],5)=>150 ([(0,4),(1,4),(2,3)],5)=>126 ([(0,4),(1,3),(2,3),(2,4)],5)=>102 ([(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>90 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>78 ([(0,4),(1,4),(2,3),(4,2)],5)=>24 ([(0,4),(1,3),(2,3),(3,4)],5)=>64 ([(0,4),(1,4),(2,3),(2,4)],5)=>114 ([(0,4),(1,4),(2,3),(3,4)],5)=>88 ([(1,4),(2,3)],5)=>176 ([(1,4),(2,3),(2,4)],5)=>148 ([(0,4),(1,2),(1,4),(2,3)],5)=>68 ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)=>44 ([(1,3),(1,4),(2,3),(2,4)],5)=>120 ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)=>48 ([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)=>36 ([(0,4),(1,2),(1,4),(4,3)],5)=>56 ([(0,4),(1,2),(1,3)],5)=>126 ([(0,4),(1,2),(1,3),(1,4)],5)=>114 ([(0,2),(0,4),(3,1),(4,3)],5)=>40 ([(0,4),(1,2),(1,3),(3,4)],5)=>80 ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)=>32 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>64 ([(0,3),(0,4),(1,2),(1,4)],5)=>102 ([(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>90 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>78 ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)=>60 ([(0,3),(1,2),(1,4),(3,4)],5)=>68 ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)=>48 ([(1,4),(3,2),(4,3)],5)=>48 ([(0,3),(3,4),(4,1),(4,2)],5)=>24 ([(1,4),(2,3),(3,4)],5)=>104 ([(0,4),(1,2),(2,4),(4,3)],5)=>32 ([(0,3),(1,4),(4,2)],5)=>76 ([(0,4),(3,2),(4,1),(4,3)],5)=>32 ([(0,4),(1,2),(2,3),(2,4)],5)=>56 ([(0,4),(2,3),(3,1),(4,2)],5)=>16 ([(0,3),(1,2),(2,4),(3,4)],5)=>52 ([(0,4),(1,2),(2,3),(3,4)],5)=>40 ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)=>24 ([],6)=>4683 ([(4,5)],6)=>2612 ([(3,4),(3,5)],6)=>1844 ([(2,3),(2,4),(2,5)],6)=>1460 ([(1,2),(1,3),(1,4),(1,5)],6)=>1232 ([(0,1),(0,2),(0,3),(0,4),(0,5)],6)=>1082 ([(0,2),(0,3),(0,4),(0,5),(5,1)],6)=>616 ([(0,1),(0,2),(0,3),(0,4),(3,5),(4,5)],6)=>440 ([(0,1),(0,2),(0,3),(0,4),(2,5),(3,5),(4,5)],6)=>352 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)=>300 ([(1,3),(1,4),(1,5),(5,2)],6)=>704 ([(0,3),(0,4),(0,5),(5,1),(5,2)],6)=>440 ([(1,2),(1,3),(1,4),(3,5),(4,5)],6)=>504 ([(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>404 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)=>104 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)=>252 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)=>204 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>180 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>156 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,5)],6)=>228 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)=>128 ([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6)=>152 ([(0,3),(0,4),(0,5),(4,2),(5,1)],6)=>352 ([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)=>296 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5)],6)=>240 ([(2,3),(2,4),(4,5)],6)=>840 ([(1,4),(1,5),(5,2),(5,3)],6)=>504 ([(0,4),(0,5),(5,1),(5,2),(5,3)],6)=>352 ([(2,3),(2,4),(3,5),(4,5)],6)=>604 ([(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>176 ([(0,3),(0,4),(3,5),(4,5),(5,1),(5,2)],6)=>72 ([(1,4),(1,5),(4,3),(5,2)],6)=>404 ([(1,3),(1,4),(3,5),(4,2),(4,5)],6)=>340 ([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>276 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(5,1)],6)=>96 ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>72 ([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)=>112 ([(0,4),(0,5),(4,3),(5,1),(5,2)],6)=>252 ([(0,3),(0,4),(3,5),(4,1),(4,2),(4,5)],6)=>228 ([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)=>204 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5)],6)=>180 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>156 ([(3,4),(4,5)],6)=>1076 ([(2,3),(3,4),(3,5)],6)=>604 ([(1,5),(5,2),(5,3),(5,4)],6)=>404 ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)=>300 ([(2,3),(3,5),(5,4)],6)=>368 ([(1,4),(4,5),(5,2),(5,3)],6)=>176 ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)=>104 ([(3,5),(4,5)],6)=>1844 ([(2,5),(3,5),(5,4)],6)=>604 ([(1,5),(2,5),(5,3),(5,4)],6)=>276 ([(0,5),(1,5),(5,2),(5,3),(5,4)],6)=>156 ([(2,5),(3,5),(4,5)],6)=>1460 ([(1,5),(2,5),(3,5),(5,4)],6)=>404 ([(0,5),(1,5),(2,5),(5,3),(5,4)],6)=>156 ([(1,5),(2,5),(3,5),(4,5)],6)=>1232 ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)=>300 ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>1082 ([(0,5),(1,5),(2,5),(3,4)],6)=>818 ([(0,5),(1,5),(2,5),(3,4),(5,3)],6)=>104 ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)=>352 ([(0,5),(1,5),(2,5),(3,4),(3,5)],6)=>766 ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>616 ([(1,5),(2,5),(3,4)],6)=>1032 ([(1,5),(2,4),(3,4),(3,5)],6)=>832 ([(0,5),(1,4),(2,4),(2,5),(5,3)],6)=>292 ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6)=>204 ([(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>732 ([(0,5),(1,4),(1,5),(2,4),(2,5),(4,3)],6)=>268 ([(0,5),(1,3),(1,5),(2,3),(2,5),(3,4),(5,4)],6)=>180 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>632 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)=>208 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>156 ([(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)=>232 ([(1,5),(2,5),(3,4),(5,3)],6)=>176 ([(1,5),(2,4),(3,4),(4,5)],6)=>504 ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>128 ([(0,5),(1,5),(2,3),(5,4)],6)=>340 ([(0,5),(1,5),(4,2),(5,3),(5,4)],6)=>96 ([(0,5),(1,5),(2,4),(5,3),(5,4)],6)=>216 ([(1,5),(2,5),(3,4),(3,5)],6)=>932 ([(0,5),(1,5),(2,3),(2,5),(5,4)],6)=>280 ([(0,5),(1,5),(2,3),(2,5),(3,4)],6)=>404 ([(0,5),(1,5),(2,3),(2,5),(3,4),(5,4)],6)=>228 ([(0,5),(1,5),(2,3),(2,4)],6)=>730 ([(0,5),(1,5),(4,2),(4,3),(5,4)],6)=>72 ([(0,4),(1,4),(2,3),(2,5),(4,5)],6)=>316 ([(0,3),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>192 ([(0,5),(1,5),(2,3),(2,4),(2,5)],6)=>694 ([(0,5),(1,2),(1,4),(3,5),(4,3)],6)=>248 ([(0,3),(0,4),(1,5),(2,5),(4,1),(4,2)],6)=>152 ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)=>104 ([(0,5),(1,5),(2,3),(2,4),(4,5)],6)=>528 ([(0,5),(1,3),(1,4),(2,5),(3,5),(4,2)],6)=>208 ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)=>128 ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>440 ([(1,5),(2,5),(3,4),(4,5)],6)=>704 ([(0,5),(1,5),(2,3),(3,5),(5,4)],6)=>176 ([(0,5),(1,5),(2,3),(3,4)],6)=>428 ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>48 ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>252 ([(0,5),(1,4),(3,5),(4,2),(4,3)],6)=>192 ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)=>128 ([(0,5),(1,5),(2,3),(3,4),(3,5)],6)=>352 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>264 ([(0,5),(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>152 ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)=>104 ([(0,5),(1,5),(2,4),(3,4)],6)=>730 ([(0,5),(1,5),(2,4),(3,4),(3,5)],6)=>642 ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>590 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>554 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>502 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>450 ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>152 ([(0,4),(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>72 ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>440 ([(2,5),(3,4)],6)=>1460 ([(2,5),(3,4),(3,5)],6)=>1224 ([(1,5),(2,3),(2,5),(3,4)],6)=>540 ([(0,5),(1,4),(1,5),(4,2),(4,3)],6)=>316 ([(0,4),(1,2),(1,4),(2,3),(2,5),(4,5)],6)=>180 ([(0,5),(1,2),(1,5),(2,3),(2,4),(5,3),(5,4)],6)=>132 ([(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>340 ([(0,4),(1,2),(1,4),(2,5),(4,5),(5,3)],6)=>88 ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)=>204 ([(0,4),(1,2),(1,4),(2,5),(4,3),(4,5)],6)=>156 ([(2,4),(2,5),(3,4),(3,5)],6)=>988 ([(1,4),(1,5),(2,4),(2,5),(5,3)],6)=>376 ([(0,4),(0,5),(1,4),(1,5),(5,2),(5,3)],6)=>192 ([(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>276 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2)],6)=>156 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2),(5,3)],6)=>132 ([(0,4),(0,5),(1,4),(1,5),(4,2),(4,3),(5,2),(5,3)],6)=>108 ([(0,4),(0,5),(1,4),(1,5),(2,3)],6)=>554 ([(0,4),(0,5),(1,4),(1,5),(2,3),(5,2)],6)=>120 ([(0,4),(0,5),(1,4),(1,5),(3,2),(4,3),(5,3)],6)=>72 ([(0,4),(0,5),(1,4),(1,5),(2,3),(4,2),(5,3)],6)=>96 ([(0,5),(1,3),(1,4),(2,3),(2,4),(4,5)],6)=>304 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>240 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5)],6)=>482 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,5),(3,4)],6)=>244 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>446 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6)=>316 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,5)],6)=>340 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6)=>264 ([(1,5),(2,3),(2,5),(5,4)],6)=>440 ([(0,5),(1,2),(1,5),(5,3),(5,4)],6)=>216 ([(1,5),(2,3),(2,4)],6)=>1032 ([(1,5),(2,3),(2,4),(2,5)],6)=>932 ([(0,5),(1,3),(1,4),(1,5),(4,2)],6)=>440 ([(0,4),(1,2),(1,3),(1,4),(3,5),(4,5)],6)=>272 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5)],6)=>316 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>228 ([(0,5),(1,2),(1,3),(1,5),(5,4)],6)=>352 ([(0,5),(1,2),(1,3),(1,4)],6)=>818 ([(0,5),(1,2),(1,3),(1,4),(1,5)],6)=>766 ([(0,2),(0,3),(0,5),(4,1),(5,4)],6)=>264 ([(0,5),(1,2),(1,3),(1,4),(4,5)],6)=>528 ([(0,2),(0,3),(0,4),(1,5),(3,5),(4,1)],6)=>208 ([(0,5),(1,2),(1,3),(1,4),(3,5),(4,5)],6)=>416 ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)=>176 ([(0,5),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>352 ([(0,4),(1,2),(1,3),(1,5),(4,5)],6)=>404 ([(0,3),(1,2),(1,4),(1,5),(3,4),(3,5)],6)=>268 ([(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>208 ([(1,3),(1,5),(4,2),(5,4)],6)=>304 ([(0,3),(0,4),(4,5),(5,1),(5,2)],6)=>152 ([(0,4),(0,5),(3,2),(4,3),(5,1)],6)=>152 ([(0,2),(0,4),(2,5),(3,1),(4,3),(4,5)],6)=>136 ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)=>88 ([(0,3),(0,4),(2,5),(3,2),(4,1),(4,5)],6)=>136 ([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5)],6)=>120 ([(1,5),(2,3),(2,4),(4,5)],6)=>640 ([(0,5),(1,2),(1,3),(3,5),(5,4)],6)=>192 ([(1,3),(1,4),(2,5),(3,5),(4,2)],6)=>240 ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)=>64 ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>504 ([(0,5),(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>128 ([(0,5),(1,3),(1,4),(3,5),(4,2)],6)=>304 ([(0,4),(1,2),(1,3),(2,5),(3,4),(3,5)],6)=>248 ([(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>216 ([(0,4),(1,2),(1,3),(2,5),(3,4),(4,5)],6)=>160 ([(0,3),(0,4),(2,5),(3,5),(4,1),(4,2)],6)=>160 ([(0,5),(1,3),(1,4),(3,5),(4,2),(4,5)],6)=>272 ([(0,4),(1,3),(1,5),(5,2)],6)=>472 ([(0,3),(0,5),(4,2),(5,1),(5,4)],6)=>208 ([(0,5),(1,3),(1,4),(4,2),(4,5)],6)=>360 ([(0,4),(1,2),(1,3),(3,5),(4,5)],6)=>304 ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)=>80 ([(0,4),(1,2),(1,3),(2,5),(3,5)],6)=>340 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>252 ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>48 ([(0,4),(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>152 ([(1,4),(1,5),(2,3),(2,5)],6)=>832 ([(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>732 ([(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6)=>296 ([(0,4),(0,5),(1,2),(1,4),(1,5),(4,3),(5,3)],6)=>216 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>632 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6)=>264 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(4,2),(5,2)],6)=>192 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>156 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3)],6)=>340 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(5,3)],6)=>224 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>180 ([(0,4),(0,5),(1,3),(1,5),(5,2)],6)=>328 ([(1,4),(1,5),(2,3),(2,4),(3,5)],6)=>476 ([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6)=>188 ([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6)=>152 ([(0,2),(0,5),(1,4),(1,5),(2,4),(4,3),(5,3)],6)=>120 ([(0,3),(0,5),(1,4),(1,5),(4,2)],6)=>372 ([(0,2),(0,4),(1,3),(1,4),(3,5),(4,5)],6)=>248 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5)],6)=>268 ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6)=>164 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5)],6)=>256 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5),(4,5)],6)=>204 ([(0,4),(0,5),(1,2),(1,4),(2,3),(3,5)],6)=>176 ([(0,4),(0,5),(1,2),(1,3)],6)=>730 ([(0,4),(0,5),(1,2),(1,3),(1,5)],6)=>642 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6)=>590 ([(0,4),(0,5),(1,2),(1,3),(1,4),(3,5)],6)=>384 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,5),(3,5)],6)=>292 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5)],6)=>554 ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6)=>502 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6)=>450 ([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3)],6)=>316 ([(0,3),(0,4),(1,2),(1,4),(1,5),(3,5)],6)=>348 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4)],6)=>244 ([(0,4),(0,5),(1,2),(1,3),(3,5)],6)=>416 ([(0,4),(0,5),(1,2),(1,3),(3,4),(3,5)],6)=>304 ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1)],6)=>96 ([(0,2),(0,4),(2,5),(3,1),(3,5),(4,3)],6)=>112 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,5)],6)=>316 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>256 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4),(3,5)],6)=>224 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>192 ([(0,3),(0,5),(1,2),(1,4),(2,5),(3,4)],6)=>220 ([(1,4),(2,3),(2,5),(4,5)],6)=>540 ([(0,4),(1,3),(1,5),(4,5),(5,2)],6)=>168 ([(1,4),(1,5),(2,3),(3,4),(3,5)],6)=>376 ([(0,4),(0,5),(1,3),(3,4),(3,5),(5,2)],6)=>128 ([(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>96 ([(0,3),(1,4),(1,5),(3,5),(4,2)],6)=>236 ([(0,3),(1,2),(1,4),(2,5),(3,4),(4,5)],6)=>136 ([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6)=>188 ([(0,5),(1,3),(1,4),(5,2)],6)=>428 ([(0,2),(0,5),(3,4),(4,1),(5,3)],6)=>96 ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)=>128 ([(0,4),(1,3),(1,5),(4,2),(4,5)],6)=>292 ([(0,4),(0,5),(1,2),(2,3),(2,4),(2,5)],6)=>232 ([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6)=>152 ([(2,5),(3,4),(4,5)],6)=>840 ([(1,5),(2,3),(3,5),(5,4)],6)=>240 ([(0,5),(1,2),(2,5),(5,3),(5,4)],6)=>96 ([(1,3),(2,4),(4,5)],6)=>604 ([(1,5),(4,3),(5,2),(5,4)],6)=>240 ([(1,5),(2,3),(3,4),(3,5)],6)=>440 ([(0,5),(1,4),(4,2),(4,5),(5,3)],6)=>144 ([(0,4),(1,5),(5,2),(5,3)],6)=>340 ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)=>176 ([(0,5),(1,4),(4,2),(4,3),(4,5)],6)=>280 ([(1,5),(3,4),(4,2),(5,3)],6)=>112 ([(0,4),(3,5),(4,3),(5,1),(5,2)],6)=>48 ([(1,4),(2,3),(3,5),(4,5)],6)=>404 ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>104 ([(0,5),(1,4),(4,2),(5,3)],6)=>252 ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)=>80 ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)=>204 ([(0,3),(1,2),(2,4),(2,5),(3,4),(3,5)],6)=>156 ([(1,5),(2,3),(3,4),(4,5)],6)=>304 ([(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>176 ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)=>48 ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>80 ([(0,5),(1,4),(2,3)],6)=>818 ([(0,5),(1,3),(2,4),(2,5)],6)=>686 ([(0,5),(1,4),(2,3),(2,4),(2,5)],6)=>606 ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)=>192 ([(0,4),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>136 ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>416 ([(0,4),(1,2),(1,4),(2,5),(3,5),(4,3)],6)=>112 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>296 ([(0,5),(1,3),(1,5),(4,2),(5,4)],6)=>136 ([(0,5),(1,4),(2,3),(2,4),(4,5)],6)=>360 ([(0,4),(1,4),(1,5),(2,3),(2,5)],6)=>562 ([(0,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>482 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>446 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4)],6)=>446 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5)],6)=>410 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>374 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>338 ([(0,4),(1,3),(1,5),(2,3),(2,4),(4,5)],6)=>268 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>526 ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6)=>384 ([(0,5),(1,4),(1,5),(2,3),(2,5)],6)=>606 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>348 ([(0,4),(1,4),(1,5),(2,3),(3,5)],6)=>372 ([(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6)=>296 ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)=>192 ([(0,4),(0,5),(1,2),(2,3),(3,4),(3,5)],6)=>120 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(3,2)],6)=>72 ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)=>88 ([(0,5),(1,4),(2,3),(2,5),(4,5)],6)=>440 ([(0,5),(1,3),(4,2),(5,4)],6)=>208 ([(0,5),(3,2),(4,1),(5,3),(5,4)],6)=>104 ([(0,5),(1,4),(3,2),(4,3),(4,5)],6)=>168 ([(0,5),(1,2),(2,3),(2,5),(3,4),(5,4)],6)=>112 ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)=>64 ([(0,5),(1,3),(3,4),(4,2),(4,5)],6)=>136 ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 ([(0,5),(1,3),(2,4),(4,5)],6)=>472 ([(0,5),(1,4),(2,3),(3,4),(3,5)],6)=>328 ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>64 ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>208 ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>96 ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)=>48 ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>152 ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)=>64 ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>352 ([],7)=>47293 ([(5,6)],7)=>25988 ([(4,5),(4,6)],7)=>18196 ([(3,4),(3,5),(3,6)],7)=>14300 ([(2,3),(2,4),(2,5),(2,6)],7)=>11980 ([(1,2),(1,3),(1,4),(1,5),(1,6)],7)=>10448 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6)],7)=>9366 ([(0,2),(0,3),(0,4),(0,5),(0,6),(6,1)],7)=>5224 ([(0,1),(0,2),(0,3),(0,4),(0,5),(4,6),(5,6)],7)=>3688 ([(0,1),(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,6)],7)=>2920 ([(0,1),(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6)],7)=>2464 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>2164 ([(1,3),(1,4),(1,5),(1,6),(6,2)],7)=>5840 ([(0,3),(0,4),(0,5),(0,6),(6,1),(6,2)],7)=>3688 ([(1,2),(1,3),(1,4),(1,5),(4,6),(5,6)],7)=>4128 ([(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7)=>3272 ([(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7)=>2764 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)=>600 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1)],7)=>1636 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,6)],7)=>1532 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>704 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1)],7)=>808 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,1)],7)=>2064 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6)],7)=>1664 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1464 ([(0,1),(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1264 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6)],7)=>1864 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5)],7)=>1460 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(4,6)],7)=>1284 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1180 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>1108 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1004 ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>900 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>880 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6)],7)=>1008 ([(0,2),(0,3),(0,4),(0,5),(4,6),(5,6),(6,1)],7)=>1208 ([(0,3),(0,4),(0,5),(0,6),(5,2),(6,1)],7)=>2920 ([(0,2),(0,3),(0,4),(0,5),(4,6),(5,1),(5,6)],7)=>2448 ([(0,1),(0,2),(0,3),(0,4),(3,5),(3,6),(4,5),(4,6)],7)=>1976 ([(2,4),(2,5),(2,6),(6,3)],7)=>6720 ([(1,4),(1,5),(1,6),(6,2),(6,3)],7)=>4128 ([(0,4),(0,5),(0,6),(6,1),(6,2),(6,3)],7)=>2920 ([(2,3),(2,4),(2,5),(4,6),(5,6)],7)=>4760 ([(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>3780 ([(1,2),(1,3),(1,4),(2,6),(3,6),(4,6),(6,5)],7)=>912 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1),(6,2)],7)=>312 ([(1,3),(1,4),(1,5),(3,6),(4,6),(5,2)],7)=>2316 ([(1,2),(1,3),(1,4),(2,6),(3,5),(4,5),(4,6)],7)=>1868 ([(1,2),(1,3),(1,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1644 ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1420 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7)=>416 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>312 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,1)],7)=>536 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>360 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7)=>464 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6),(6,1)],7)=>584 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>408 ([(1,3),(1,4),(1,5),(3,6),(4,6),(5,2),(5,6)],7)=>2092 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6),(6,2)],7)=>560 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,2)],7)=>1460 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,2),(5,6)],7)=>1388 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,6),(5,6)],7)=>632 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>384 ([(1,2),(1,3),(1,4),(2,6),(3,5),(4,5),(5,6)],7)=>1136 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)=>256 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(6,2)],7)=>680 ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,5),(6,1),(6,5)],7)=>432 ([(1,2),(1,3),(1,4),(3,6),(4,6),(6,5)],7)=>1360 ([(0,3),(0,4),(0,5),(4,6),(5,6),(6,1),(6,2)],7)=>552 ([(1,4),(1,5),(1,6),(5,3),(6,2)],7)=>3272 ([(1,3),(1,4),(1,5),(4,6),(5,2),(5,6)],7)=>2744 ([(1,2),(1,3),(1,4),(3,5),(3,6),(4,5),(4,6)],7)=>2216 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1)],7)=>1108 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,6)],7)=>964 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7)=>892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>488 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>608 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>480 ([(0,2),(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1)],7)=>752 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>552 ([(0,3),(0,4),(0,5),(4,6),(5,1),(5,6),(6,2)],7)=>880 ([(0,4),(0,5),(0,6),(5,3),(6,1),(6,2)],7)=>2064 ([(0,3),(0,4),(0,5),(4,6),(5,1),(5,2),(5,6)],7)=>1864 ([(0,3),(0,4),(0,5),(4,2),(4,6),(5,1),(5,6)],7)=>1664 ([(0,2),(0,3),(0,4),(3,5),(3,6),(4,1),(4,5),(4,6)],7)=>1464 ([(0,1),(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>1264 ([(0,4),(0,5),(0,6),(4,3),(5,2),(6,1)],7)=>1636 ([(0,3),(0,4),(0,5),(3,6),(4,2),(5,1),(5,6)],7)=>1372 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,1),(4,5),(4,6)],7)=>1212 ([(0,2),(0,3),(0,4),(2,5),(3,5),(3,6),(4,1),(4,6)],7)=>1124 ([(0,1),(0,2),(0,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>964 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7)=>892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7)=>820 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>748 ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>676 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7)=>1052 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,6),(3,4),(3,5),(5,6)],7)=>536 ([(0,3),(0,4),(0,5),(3,6),(4,2),(4,6),(5,1),(5,6)],7)=>1212 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,1),(4,5),(5,6)],7)=>720 ([(3,4),(3,5),(5,6)],7)=>8072 ([(2,5),(2,6),(6,3),(6,4)],7)=>4760 ([(1,5),(1,6),(6,2),(6,3),(6,4)],7)=>3272 ([(0,5),(0,6),(6,1),(6,2),(6,3),(6,4)],7)=>2464 ([(3,4),(3,5),(4,6),(5,6)],7)=>5740 ([(2,3),(2,4),(3,6),(4,6),(6,5)],7)=>1584 ([(1,2),(1,3),(2,6),(3,6),(6,4),(6,5)],7)=>624 ([(0,4),(0,5),(4,6),(5,6),(6,1),(6,2),(6,3)],7)=>312 ([(2,5),(2,6),(5,4),(6,3)],7)=>3780 ([(2,3),(2,4),(3,6),(4,5),(4,6)],7)=>3172 ([(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>2564 ([(1,3),(1,4),(3,5),(3,6),(4,5),(4,6),(6,2)],7)=>848 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1),(6,2)],7)=>384 ([(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>624 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6),(6,1)],7)=>144 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(5,2),(6,1)],7)=>312 ([(0,2),(0,3),(2,4),(2,6),(3,4),(3,6),(4,5),(6,1),(6,5)],7)=>264 ([(0,1),(0,2),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>216 ([(1,3),(1,5),(3,6),(5,2),(5,6),(6,4)],7)=>992 ([(0,4),(0,5),(4,6),(5,1),(5,6),(6,2),(6,3)],7)=>432 ([(1,5),(1,6),(5,4),(6,2),(6,3)],7)=>2316 ([(1,4),(1,5),(4,6),(5,2),(5,3),(5,6)],7)=>2092 ([(0,4),(0,5),(4,6),(5,1),(5,2),(5,6),(6,3)],7)=>704 ([(0,5),(0,6),(5,4),(6,1),(6,2),(6,3)],7)=>1636 ([(0,4),(0,5),(4,6),(5,1),(5,2),(5,3),(5,6)],7)=>1532 ([(1,4),(1,5),(4,3),(4,6),(5,2),(5,6)],7)=>1868 ([(1,3),(1,4),(3,5),(3,6),(4,2),(4,5),(4,6)],7)=>1644 ([(1,2),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>1420 ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(6,1)],7)=>528 ([(0,1),(0,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>384 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>312 ([(0,3),(0,4),(3,5),(3,6),(4,2),(4,5),(4,6),(6,1)],7)=>592 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)=>432 ([(0,4),(0,5),(4,2),(4,6),(5,1),(5,6),(6,3)],7)=>656 ([(0,5),(0,6),(5,3),(5,4),(6,1),(6,2)],7)=>1460 ([(0,4),(0,5),(4,3),(4,6),(5,1),(5,2),(5,6)],7)=>1284 ([(0,3),(0,4),(3,5),(3,6),(4,1),(4,2),(4,5),(4,6)],7)=>1180 ([(0,3),(0,4),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6)],7)=>1108 ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,1),(3,4),(3,5),(3,6)],7)=>1004 ([(0,1),(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7)=>900 ([(2,3),(2,4),(3,5),(4,6),(5,6)],7)=>2192 ([(1,3),(1,5),(2,6),(3,6),(5,2),(6,4)],7)=>544 ([(0,4),(0,5),(1,6),(4,6),(5,1),(6,2),(6,3)],7)=>192 ([(4,5),(5,6)],7)=>10404 ([(3,4),(4,5),(4,6)],7)=>5740 ([(2,6),(6,3),(6,4),(6,5)],7)=>3780 ([(1,6),(6,2),(6,3),(6,4),(6,5)],7)=>2764 ([(0,6),(6,1),(6,2),(6,3),(6,4),(6,5)],7)=>2164 ([(3,4),(4,6),(6,5)],7)=>3408 ([(2,5),(5,6),(6,3),(6,4)],7)=>1584 ([(1,5),(5,6),(6,2),(6,3),(6,4)],7)=>912 ([(0,5),(5,6),(6,1),(6,2),(6,3),(6,4)],7)=>600 ([(4,6),(5,6)],7)=>18196 ([(3,6),(4,6),(6,5)],7)=>5740 ([(2,6),(3,6),(6,4),(6,5)],7)=>2564 ([(1,6),(2,6),(6,3),(6,4),(6,5)],7)=>1420 ([(0,6),(1,6),(6,2),(6,3),(6,4),(6,5)],7)=>900 ([(3,6),(4,6),(5,6)],7)=>14300 ([(2,6),(3,6),(4,6),(6,5)],7)=>3780 ([(1,6),(2,6),(3,6),(6,4),(6,5)],7)=>1420 ([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7)=>676 ([(2,6),(3,6),(4,6),(5,6)],7)=>11980 ([(1,6),(2,6),(3,6),(4,6),(6,5)],7)=>2764 ([(0,6),(1,6),(2,6),(3,6),(6,4),(6,5)],7)=>900 ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>10448 ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)=>2164 ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>9366 ([(0,6),(1,6),(2,6),(3,6),(4,5)],7)=>6606 ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7)=>600 ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>2464 ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6)],7)=>6306 ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>5224 ([(1,6),(2,6),(3,6),(4,5)],7)=>7880 ([(1,6),(2,6),(3,6),(4,5),(6,4)],7)=>912 ([(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>3272 ([(0,6),(1,6),(2,6),(3,4),(6,5)],7)=>2092 ([(0,6),(1,6),(2,6),(4,5),(6,3),(6,4)],7)=>416 ([(0,6),(1,6),(2,6),(3,5),(6,4),(6,5)],7)=>1160 ([(1,6),(2,6),(3,6),(4,5),(4,6)],7)=>7372 ([(0,6),(1,6),(2,6),(3,4),(3,6),(6,5)],7)=>1832 ([(0,6),(1,6),(2,6),(3,4),(3,6),(4,5)],7)=>3068 ([(0,6),(1,6),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>1532 ([(0,6),(1,6),(2,6),(3,4),(3,5)],7)=>5526 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,3)],7)=>312 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,5)],7)=>1988 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>1056 ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6)],7)=>5370 ([(0,6),(1,6),(2,6),(3,4),(3,5),(5,6)],7)=>4304 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3688 ([(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>5840 ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>1232 ([(0,6),(1,6),(2,6),(3,4),(4,5)],7)=>3172 ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7)=>208 ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7)=>704 ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7)=>1636 ([(0,6),(1,6),(2,6),(3,4),(4,5),(4,6)],7)=>2768 ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7)=>736 ([(0,6),(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7)=>352 ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)=>208 ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>2152 ([(0,6),(1,6),(2,6),(3,5),(4,5)],7)=>5526 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>4758 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>4302 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4002 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3846 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3546 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3246 ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7)=>808 ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,3),(6,4)],7)=>312 ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)=>2920 ([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6)],7)=>5070 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4770 ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)=>1208 ([(0,6),(1,5),(2,5),(3,6),(4,6),(5,3),(5,4)],7)=>552 ([(0,5),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7)=>312 ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>3688 ([(2,6),(3,6),(4,5)],7)=>10020 ([(2,6),(3,5),(4,5),(4,6)],7)=>8060 ([(1,6),(2,5),(3,5),(3,6),(6,4)],7)=>2724 ([(0,6),(1,5),(2,5),(2,6),(6,3),(6,4)],7)=>1276 ([(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>1868 ([(0,5),(1,4),(2,4),(2,5),(4,6),(5,6),(6,3)],7)=>408 ([(0,6),(1,5),(2,5),(2,6),(5,3),(6,4)],7)=>964 ([(0,6),(1,4),(2,4),(2,6),(4,5),(6,3),(6,5)],7)=>788 ([(0,6),(1,5),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>612 ([(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>7080 ([(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7)=>2500 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4)],7)=>1204 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,4)],7)=>716 ([(0,6),(1,3),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>540 ([(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>1644 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7)=>820 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7)=>644 ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>6100 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>1928 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7)=>832 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>1420 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7)=>676 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3),(6,4)],7)=>572 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>468 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4)],7)=>3366 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7)=>520 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7)=>312 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,4)],7)=>1616 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,4),(6,3)],7)=>416 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>1264 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7)=>3054 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(5,4)],7)=>1356 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2898 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>2148 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7)=>2252 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7)=>1848 ([(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>2152 ([(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7)=>904 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4)],7)=>3906 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,3)],7)=>736 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3),(6,5)],7)=>360 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3),(6,5)],7)=>536 ([(0,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>2032 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,5),(6,3)],7)=>464 ([(0,6),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>1464 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7)=>568 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(6,5)],7)=>1816 ([(0,5),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7)=>3438 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(6,4)],7)=>1460 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3282 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>2480 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7)=>3570 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>1748 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>2324 ([(0,5),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7)=>2428 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7)=>2024 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7)=>2680 ([(0,6),(1,5),(2,5),(2,6),(3,4)],7)=>4446 ([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6)],7)=>3822 ([(0,6),(1,5),(2,5),(2,6),(3,4),(6,3)],7)=>784 ([(0,6),(1,4),(2,5),(3,4),(3,5),(5,6)],7)=>2232 ([(0,5),(1,4),(2,4),(2,5),(3,6),(4,6),(5,3)],7)=>584 ([(0,6),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>1664 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6)],7)=>3954 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7)=>3150 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7)=>2862 ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2706 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7)=>2994 ([(0,6),(1,5),(1,6),(2,4),(3,4),(3,6),(4,5)],7)=>1852 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3666 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>2656 ([(0,6),(1,5),(2,5),(2,6),(3,4),(4,6)],7)=>2856 ([(0,6),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6)],7)=>2200 ([(2,6),(3,6),(4,5),(6,4)],7)=>1584 ([(2,6),(3,5),(4,5),(5,6)],7)=>4760 ([(1,6),(2,5),(3,5),(5,6),(6,4)],7)=>1136 ([(0,6),(1,5),(2,5),(5,6),(6,3),(6,4)],7)=>384 ([(1,6),(2,6),(3,4),(6,5)],7)=>3172 ([(1,6),(2,6),(4,5),(6,3),(6,4)],7)=>848 ([(1,6),(2,6),(3,5),(6,4),(6,5)],7)=>1992 ([(0,6),(1,5),(2,5),(5,3),(5,6),(6,4)],7)=>560 ([(0,6),(1,6),(2,3),(6,4),(6,5)],7)=>1420 ([(0,6),(1,6),(5,2),(6,3),(6,4),(6,5)],7)=>528 ([(0,6),(1,6),(2,5),(6,3),(6,4),(6,5)],7)=>1048 ([(2,6),(3,6),(4,5),(4,6)],7)=>9040 ([(1,6),(2,6),(3,4),(3,6),(6,5)],7)=>2600 ([(0,6),(1,6),(2,3),(2,6),(6,4),(6,5)],7)=>1048 ([(1,6),(2,6),(3,4),(3,6),(4,5)],7)=>3804 ([(1,6),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>2092 ([(0,6),(1,6),(2,3),(2,6),(3,5),(6,4)],7)=>1140 ([(0,6),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7)=>788 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5)],7)=>2156 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,5)],7)=>1036 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>684 ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4)],7)=>1280 ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4),(6,5)],7)=>456 ([(0,6),(1,6),(2,3),(2,6),(3,4),(4,5),(6,5)],7)=>808 ([(1,6),(2,6),(3,4),(3,5)],7)=>7024 ([(1,6),(2,6),(3,4),(3,5),(6,3)],7)=>624 ([(1,5),(2,5),(3,4),(3,6),(5,6)],7)=>2948 ([(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>1768 ([(0,5),(0,6),(1,4),(2,4),(4,5),(4,6),(6,3)],7)=>512 ([(0,5),(1,5),(2,4),(2,6),(5,6),(6,3)],7)=>760 ([(0,6),(1,6),(2,3),(2,4),(6,5)],7)=>2228 ([(0,6),(1,6),(5,2),(5,3),(6,4),(6,5)],7)=>384 ([(0,6),(1,6),(2,4),(2,5),(6,3),(6,5)],7)=>1276 ([(0,6),(1,6),(2,4),(2,5),(6,3),(6,4),(6,5)],7)=>904 ([(1,6),(2,6),(3,4),(3,5),(3,6)],7)=>6676 ([(0,6),(1,6),(2,3),(2,4),(2,6),(6,5)],7)=>2000 ([(0,6),(1,6),(2,3),(2,4),(2,6),(4,5)],7)=>3032 ([(0,6),(1,6),(2,3),(2,4),(2,6),(4,5),(6,5)],7)=>1616 ([(0,6),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7)=>2156 ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>1388 ([(0,6),(1,6),(2,3),(2,4),(2,5)],7)=>5526 ([(0,6),(1,6),(5,2),(5,3),(5,4),(6,5)],7)=>312 ([(0,5),(1,5),(2,3),(2,4),(2,6),(5,6)],7)=>2156 ([(0,4),(1,4),(2,3),(2,5),(2,6),(4,5),(4,6)],7)=>1204 ([(0,6),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7)=>832 ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6)],7)=>5370 ([(0,6),(1,2),(1,3),(1,5),(4,6),(5,4)],7)=>1944 ([(0,3),(0,4),(0,5),(1,6),(2,6),(5,1),(5,2)],7)=>1208 ([(0,3),(0,4),(0,5),(1,6),(2,6),(4,2),(5,1)],7)=>808 ([(0,6),(1,6),(2,3),(2,4),(2,5),(5,6)],7)=>4064 ([(0,6),(1,2),(1,4),(1,5),(3,6),(4,6),(5,3)],7)=>1616 ([(0,3),(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2)],7)=>1008 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)=>704 ([(0,6),(1,6),(2,3),(2,4),(2,5),(4,6),(5,6)],7)=>3360 ([(0,6),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7)=>1408 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)=>880 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>2920 ([(1,6),(2,6),(3,4),(3,5),(5,6)],7)=>5008 ([(0,6),(1,6),(2,3),(2,4),(4,6),(6,5)],7)=>1232 ([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4128 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,6),(6,5)],7)=>880 ([(0,6),(1,6),(2,3),(2,4),(4,5)],7)=>3128 ([(0,6),(1,6),(4,3),(5,2),(5,4),(6,5)],7)=>192 ([(0,5),(1,5),(2,3),(2,6),(3,4),(5,6)],7)=>1236 ([(0,4),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6)],7)=>884 ([(0,4),(1,4),(2,3),(2,5),(3,6),(4,5),(5,6)],7)=>632 ([(0,6),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4),(6,5)],7)=>384 ([(0,5),(1,5),(2,3),(2,4),(4,6),(5,6)],7)=>1712 ([(0,6),(1,3),(1,5),(4,6),(5,2),(5,4)],7)=>1488 ([(0,4),(0,5),(2,6),(3,6),(5,1),(5,2),(5,3)],7)=>1008 ([(0,6),(1,6),(2,3),(2,4),(4,5),(4,6)],7)=>2648 ([(0,6),(1,4),(1,5),(3,6),(4,2),(5,3)],7)=>1096 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(6,5)],7)=>496 ([(0,6),(1,4),(1,5),(3,6),(4,3),(5,2),(5,6)],7)=>1016 ([(0,4),(0,5),(2,6),(3,6),(4,1),(4,6),(5,2),(5,3)],7)=>632 ([(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,1),(4,2),(4,5)],7)=>584 ([(0,6),(1,3),(1,4),(2,6),(3,5),(3,6),(4,2),(4,5)],7)=>888 ([(0,4),(0,5),(2,6),(3,6),(4,3),(5,1),(5,2)],7)=>608 ([(0,3),(0,4),(1,5),(2,5),(3,2),(3,6),(4,1),(4,6)],7)=>512 ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)=>408 ([(0,4),(0,5),(2,6),(3,6),(4,1),(5,2),(5,3)],7)=>680 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)=>304 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(4,6)],7)=>632 ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)=>456 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(4,5)],7)=>968 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)=>680 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)=>224 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,6)],7)=>2296 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,5),(6,5)],7)=>1056 ([(0,6),(1,4),(1,5),(3,6),(4,6),(5,2),(5,3)],7)=>1216 ([(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)=>832 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,5),(4,6)],7)=>2120 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,6),(5,6)],7)=>1680 ([(0,6),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7)=>1008 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)=>704 ([(0,5),(1,5),(2,3),(2,4),(3,6),(4,6)],7)=>2228 ([(0,6),(1,6),(2,5),(3,5),(4,2),(4,3),(6,4)],7)=>144 ([(0,5),(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>1460 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(4,6)],7)=>1824 ([(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>1648 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(6,4)],7)=>352 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)=>144 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7)=>1208 ([(0,6),(1,6),(2,3),(2,4),(4,5),(5,6)],7)=>1944 ([(0,6),(1,2),(1,5),(3,6),(4,6),(5,3),(5,4)],7)=>1160 ([(0,4),(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3)],7)=>808 ([(0,6),(1,4),(1,5),(2,6),(3,6),(4,3),(5,2)],7)=>808 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)=>504 ([(2,6),(3,6),(4,5),(5,6)],7)=>6720 ([(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>1584 ([(0,6),(1,6),(2,3),(3,6),(6,4),(6,5)],7)=>528 ([(1,6),(2,6),(3,4),(4,5)],7)=>4028 ([(1,6),(2,6),(3,5),(5,4),(6,3)],7)=>400 ([(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>2316 ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>504 ([(0,6),(1,6),(2,3),(3,5),(6,4)],7)=>1284 ([(0,6),(1,6),(4,2),(5,4),(6,3),(6,5)],7)=>240 ([(0,5),(1,5),(2,3),(3,6),(5,4),(5,6)],7)=>932 ([(1,6),(2,6),(3,4),(4,5),(4,6)],7)=>3296 ([(0,6),(1,6),(2,3),(3,5),(3,6),(6,4)],7)=>880 ([(0,3),(1,6),(2,6),(3,5),(3,6),(5,4)],7)=>1176 ([(0,6),(1,6),(2,3),(3,4),(3,6),(4,5),(6,5)],7)=>704 ([(0,3),(1,6),(2,6),(3,4),(3,5)],7)=>2228 ([(0,6),(1,6),(4,5),(5,2),(5,3),(6,4)],7)=>144 ([(0,5),(1,5),(2,3),(3,4),(3,6),(5,6)],7)=>1108 ([(0,4),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6)],7)=>756 ([(0,6),(1,5),(4,6),(5,2),(5,3),(5,4)],7)=>1232 ([(0,5),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)=>880 ([(0,3),(1,6),(2,6),(3,4),(3,5),(3,6)],7)=>2000 ([(0,3),(1,6),(2,6),(3,4),(3,5),(5,6)],7)=>1472 ([(0,6),(1,5),(3,6),(4,6),(5,2),(5,3),(5,4)],7)=>960 ([(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)=>704 ([(0,3),(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>1208 ([(0,6),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7)=>808 ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)=>600 ([(1,3),(2,6),(3,5),(4,6),(5,4)],7)=>832 ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>192 ([(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7)=>400 ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)=>96 ([(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>2416 ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7)=>528 ([(0,3),(1,6),(2,6),(3,5),(5,4)],7)=>1328 ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>96 ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>856 ([(0,6),(1,4),(3,6),(4,5),(5,2),(5,3)],7)=>448 ([(0,4),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)=>256 ([(0,3),(1,6),(2,6),(3,5),(5,4),(5,6)],7)=>1000 ([(1,6),(2,6),(3,5),(4,5)],7)=>7024 ([(1,6),(2,6),(3,5),(4,5),(4,6)],7)=>6168 ([(0,6),(1,6),(2,5),(3,5),(3,6),(5,4)],7)=>2052 ([(0,6),(1,6),(2,4),(3,4),(3,6),(4,5),(6,5)],7)=>1284 ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>5660 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7)=>1948 ([(0,6),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>1180 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>1480 ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>5312 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>1564 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>1108 ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4804 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7)=>1460 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>1004 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>1304 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4296 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>1200 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>900 ([(0,6),(1,6),(2,5),(3,5),(3,6),(6,4)],7)=>1740 ([(1,6),(2,5),(3,5),(4,6),(5,4)],7)=>1360 ([(1,5),(2,5),(3,6),(4,6),(5,3),(5,4)],7)=>624 ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>304 ([(0,6),(1,6),(2,5),(3,5),(5,4),(6,2),(6,3)],7)=>144 ([(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>4128 ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7)=>880 ([(0,6),(1,6),(2,5),(3,5),(6,4)],7)=>2228 ([(0,6),(1,5),(2,5),(4,6),(5,3),(5,4)],7)=>704 ([(0,6),(1,6),(3,5),(4,5),(6,2),(6,3),(6,4)],7)=>384 ([(0,6),(1,6),(2,5),(3,5),(5,4),(5,6)],7)=>1648 ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>1460 ([(0,6),(1,6),(2,5),(3,4)],7)=>5526 ([(0,6),(1,6),(2,3),(4,5),(6,4)],7)=>880 ([(0,6),(1,6),(4,3),(5,2),(6,4),(6,5)],7)=>312 ([(0,6),(1,6),(2,5),(3,4),(6,3),(6,5)],7)=>632 ([(0,6),(1,5),(2,5),(3,4),(5,6)],7)=>2632 ([(0,4),(1,4),(2,6),(3,5),(4,5),(4,6)],7)=>1576 ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>256 ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>1008 ([(0,6),(1,6),(2,5),(3,4),(3,6)],7)=>4986 ([(0,6),(1,6),(2,3),(2,6),(4,5),(6,4)],7)=>664 ([(0,6),(1,6),(2,5),(3,4),(3,6),(6,5)],7)=>2216 ([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5)],7)=>2928 ([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(6,4)],7)=>560 ([(0,6),(1,5),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>1864 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6)],7)=>4602 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>2596 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5)],7)=>4110 ([(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7)=>1636 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3954 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>3064 ([(0,6),(1,6),(2,5),(3,4),(3,6),(5,6)],7)=>3536 ([(0,6),(1,6),(2,5),(2,6),(3,4),(4,5)],7)=>2700 ([(0,6),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7)=>2296 ([(0,5),(1,5),(2,6),(3,4),(3,6)],7)=>4626 ([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6)],7)=>3618 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3330 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3042 ([(0,5),(1,4),(1,5),(2,4),(2,6),(3,6),(5,3)],7)=>736 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(5,6)],7)=>2104 ([(0,6),(1,5),(2,5),(3,4),(3,6),(5,3)],7)=>504 ([(0,4),(1,5),(2,5),(3,4),(3,6),(5,6)],7)=>2028 ([(0,6),(1,5),(1,6),(2,4),(3,4),(4,5),(4,6)],7)=>1448 ([(0,5),(1,5),(2,3),(2,6),(4,6),(5,4)],7)=>832 ([(0,6),(1,6),(3,5),(4,2),(4,5),(6,3),(6,4)],7)=>264 ([(0,5),(1,5),(2,4),(2,6),(3,6),(5,3),(5,4)],7)=>584 ([(0,6),(1,5),(2,5),(3,4),(3,6),(5,6)],7)=>2504 ([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6)],7)=>4338 ([(0,6),(1,6),(2,5),(3,4),(3,5),(4,6)],7)=>3240 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,6),(5,4)],7)=>880 ([(0,5),(1,2),(1,5),(2,6),(3,6),(4,6),(5,3),(5,4)],7)=>432 ([(0,6),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2448 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6)],7)=>3726 ([(0,5),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6)],7)=>3126 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6)],7)=>2838 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2574 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2418 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(3,5),(4,6)],7)=>1724 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6)],7)=>2790 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>1620 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7)=>2682 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7)=>2526 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2370 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>2418 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2262 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2106 ([(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)=>1950 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6)],7)=>1904 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3)],7)=>688 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,3)],7)=>456 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(6,2),(6,3)],7)=>216 ([(0,5),(1,5),(2,4),(2,6),(3,4),(3,6),(5,6)],7)=>1900 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(4,5),(4,6)],7)=>1320 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>3462 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3306 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,6),(5,3)],7)=>904 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(6,2),(6,3)],7)=>456 ([(0,3),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7)=>552 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(5,3),(6,2)],7)=>312 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,3),(5,4),(6,2),(6,4)],7)=>264 ([(0,5),(0,6),(1,5),(1,6),(3,2),(4,2),(5,3),(5,4),(6,3),(6,4)],7)=>216 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>2416 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,3)],7)=>752 ([(0,4),(0,5),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7)=>384 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>1976 ([(0,6),(1,5),(2,3),(2,5),(4,6),(5,4)],7)=>1032 ([(0,6),(1,2),(1,6),(3,5),(4,5),(6,3),(6,4)],7)=>504 ([(0,6),(1,6),(2,5),(3,4),(3,5),(5,6)],7)=>2888 ([(0,6),(1,6),(2,4),(3,5),(5,6)],7)=>3712 ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7)=>352 ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1408 ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>2920 ([(0,6),(1,5),(2,5),(3,4),(4,6)],7)=>3128 ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>352 ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>680 ([(0,6),(1,6),(2,5),(3,5),(4,3),(6,2),(6,4)],7)=>192 ([(0,5),(1,5),(2,4),(3,6),(4,6),(5,3),(5,4)],7)=>432 ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>2064 ([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6)],7)=>2472 ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>480 ([(0,6),(1,2),(2,6),(3,5),(4,5),(6,3),(6,4)],7)=>192 ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1680 ([(3,6),(4,5)],7)=>14300 ([(3,6),(4,5),(4,6)],7)=>11968 ([(2,6),(3,4),(3,6),(4,5)],7)=>5132 ([(1,6),(2,3),(2,6),(3,4),(3,5)],7)=>2948 ([(0,6),(1,5),(1,6),(5,2),(5,3),(5,4)],7)=>1988 ([(0,6),(1,4),(1,6),(4,2),(4,3),(4,5),(6,5)],7)=>1036 ([(0,6),(1,3),(1,6),(3,2),(3,4),(3,5),(6,4),(6,5)],7)=>716 ([(0,6),(1,2),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7)=>572 ([(1,5),(2,3),(2,5),(3,4),(3,6),(5,6)],7)=>1644 ([(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>1196 ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)=>448 ([(0,6),(1,5),(1,6),(5,2),(5,3),(6,4)],7)=>1108 ([(0,6),(1,4),(1,6),(4,3),(4,5),(6,2),(6,5)],7)=>788 ([(0,6),(1,3),(1,6),(3,4),(3,5),(6,2),(6,4),(6,5)],7)=>644 ([(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3172 ([(1,5),(2,3),(2,5),(3,6),(5,6),(6,4)],7)=>768 ([(0,5),(1,4),(1,5),(4,6),(5,6),(6,2),(6,3)],7)=>264 ([(1,6),(2,3),(2,6),(3,5),(6,4)],7)=>1868 ([(1,5),(2,3),(2,5),(3,6),(5,4),(5,6)],7)=>1420 ([(0,6),(1,5),(1,6),(5,2),(6,3),(6,4)],7)=>932 ([(0,6),(1,4),(1,6),(4,5),(6,2),(6,3),(6,5)],7)=>788 ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)=>1744 ([(1,5),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>1216 ([(0,5),(1,4),(1,5),(3,6),(4,3),(5,6),(6,2)],7)=>272 ([(0,6),(1,5),(1,6),(4,2),(5,4),(6,3)],7)=>656 ([(0,6),(1,3),(1,6),(3,5),(5,4),(6,2),(6,5)],7)=>400 ([(0,6),(1,4),(1,6),(3,5),(4,3),(6,2),(6,5)],7)=>544 ([(0,6),(1,4),(1,6),(4,5),(5,2),(5,3)],7)=>832 ([(0,6),(1,3),(1,6),(3,4),(4,2),(4,5),(6,5)],7)=>520 ([(0,6),(1,2),(1,6),(2,3),(3,4),(3,5),(6,4),(6,5)],7)=>408 ([(3,5),(3,6),(4,5),(4,6)],7)=>9636 ([(2,5),(2,6),(3,5),(3,6),(6,4)],7)=>3544 ([(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7)=>1768 ([(0,5),(0,6),(1,5),(1,6),(6,2),(6,3),(6,4)],7)=>1056 ([(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2564 ([(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7)=>624 ([(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7)=>1420 ([(1,4),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7)=>1196 ([(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>972 ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3)],7)=>756 ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3),(6,4)],7)=>684 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,4)],7)=>612 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,3),(6,4)],7)=>540 ([(0,5),(0,6),(1,5),(1,6),(5,2),(5,3),(5,4),(6,2),(6,3),(6,4)],7)=>468 ([(1,5),(1,6),(2,5),(2,6),(3,4)],7)=>5312 ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>4616 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7)=>1768 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>1276 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>1168 ([(0,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>964 ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>4268 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3)],7)=>1672 ([(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7)=>1204 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>892 ([(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(4,5),(6,5)],7)=>1072 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7)=>1408 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(6,3)],7)=>1636 ([(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7)=>1072 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)=>456 ([(0,5),(0,6),(1,5),(1,6),(2,3),(5,4),(6,2),(6,4)],7)=>408 ([(0,5),(0,6),(1,5),(1,6),(4,2),(5,3),(5,4),(6,3),(6,4)],7)=>288 ([(0,5),(0,6),(1,5),(1,6),(2,4),(5,2),(5,3),(6,3),(6,4)],7)=>360 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2),(6,4)],7)=>336 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,3),(6,2),(6,4)],7)=>408 ([(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>2848 ([(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,3)],7)=>848 ([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2216 ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7)=>480 ([(0,5),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3)],7)=>1120 ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,3),(5,6)],7)=>992 ([(0,6),(1,4),(1,5),(2,4),(2,5),(5,6),(6,3)],7)=>736 ([(0,4),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,3)],7)=>608 ([(0,5),(0,6),(1,5),(1,6),(2,4),(6,3)],7)=>1960 ([(0,5),(0,6),(1,5),(1,6),(4,3),(6,2),(6,4)],7)=>624 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,2),(5,3),(6,4)],7)=>480 ([(0,5),(1,4),(1,6),(2,4),(2,6),(6,3),(6,5)],7)=>1336 ([(0,4),(0,5),(1,4),(1,5),(2,3),(4,6),(5,6)],7)=>1420 ([(0,4),(1,5),(1,6),(2,5),(2,6),(5,3),(6,3),(6,4)],7)=>920 ([(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>792 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7)=>4616 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(6,4)],7)=>1528 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>2276 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3)],7)=>772 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3)],7)=>616 ([(0,3),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(5,4),(6,4)],7)=>488 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(5,4)],7)=>1660 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(4,5),(6,5)],7)=>1144 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(5,3),(5,4)],7)=>1060 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7)=>668 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>4268 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7)=>1432 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(5,4),(6,4)],7)=>1048 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7)=>1876 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(6,4)],7)=>1120 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>892 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>2972 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4)],7)=>964 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4),(6,4)],7)=>632 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(6,4)],7)=>808 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4)],7)=>1972 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(6,5)],7)=>1192 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5)],7)=>1216 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,6),(4,6),(5,6)],7)=>964 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6)],7)=>1564 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(5,4)],7)=>860 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(4,6)],7)=>1072 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4)],7)=>3726 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(6,4)],7)=>456 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(5,4),(6,4)],7)=>216 ([(0,5),(0,6),(1,5),(1,6),(3,2),(3,4),(5,3),(6,4)],7)=>336 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(5,2),(6,3),(6,4)],7)=>288 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,6),(5,6)],7)=>1792 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7)=>1168 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,6),(4,6),(5,6)],7)=>1348 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7)=>976 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(4,6)],7)=>848 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>720 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6)],7)=>3462 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(4,5)],7)=>1588 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5)],7)=>988 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7)=>3306 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(4,6)],7)=>2320 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6)],7)=>1828 ([(0,5),(0,6),(1,2),(1,4),(3,5),(3,6),(4,3)],7)=>904 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(4,1),(4,2)],7)=>552 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,2),(4,1)],7)=>312 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(4,6)],7)=>2416 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,6),(4,5)],7)=>1060 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(4,5),(4,6)],7)=>1936 ([(0,5),(0,6),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)=>624 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7)=>384 ([(0,5),(0,6),(1,2),(1,4),(2,6),(3,5),(3,6),(4,3)],7)=>704 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,6),(4,1),(4,2)],7)=>432 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,6)],7)=>1900 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)=>1672 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,5),(4,6)],7)=>1496 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>1320 ([(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7)=>3196 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,6),(6,4)],7)=>856 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,6),(5,4)],7)=>1108 ([(0,4),(0,6),(1,4),(1,6),(2,3),(3,6),(4,5),(6,5)],7)=>680 ([(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7)=>2464 ([(0,5),(0,6),(1,5),(1,6),(2,4),(4,5),(4,6),(6,3)],7)=>704 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7)=>528 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4)],7)=>2140 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(6,3)],7)=>288 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,2),(5,4),(6,4)],7)=>144 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(5,3),(6,4)],7)=>192 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(5,2),(6,4)],7)=>240 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,6),(5,6)],7)=>1360 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,6),(4,6),(5,6)],7)=>1108 ([(0,5),(0,6),(1,4),(3,5),(3,6),(4,2),(4,3)],7)=>736 ([(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>480 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,6)],7)=>1636 ([(0,4),(0,6),(1,4),(1,6),(2,3),(3,5),(3,6),(4,5)],7)=>932 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(3,6)],7)=>1408 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,6),(4,5)],7)=>968 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(4,6)],7)=>1120 ([(0,5),(0,6),(1,4),(2,6),(3,5),(3,6),(4,2),(4,3)],7)=>536 ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>360 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(4,5),(4,6)],7)=>792 ([(0,5),(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2),(4,3)],7)=>456 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>312 ([(2,6),(3,4),(3,6),(6,5)],7)=>4152 ([(1,6),(2,3),(2,6),(6,4),(6,5)],7)=>1992 ([(0,6),(1,2),(1,6),(6,3),(6,4),(6,5)],7)=>1160 ([(2,6),(3,4),(3,5)],7)=>10020 ([(2,6),(3,4),(3,5),(3,6)],7)=>9040 ([(1,6),(2,3),(2,4),(2,6),(4,5)],7)=>4152 ([(0,6),(1,4),(1,5),(1,6),(5,2),(5,3)],7)=>2504 ([(0,6),(1,3),(1,4),(1,6),(4,2),(4,5),(6,5)],7)=>1376 ([(0,6),(1,2),(1,3),(1,6),(3,4),(3,5),(6,4),(6,5)],7)=>992 ([(1,5),(2,3),(2,4),(2,5),(4,6),(5,6)],7)=>2520 ([(0,5),(1,3),(1,4),(1,5),(4,6),(5,6),(6,2)],7)=>632 ([(0,6),(1,3),(1,5),(1,6),(5,2),(6,4)],7)=>1560 ([(0,6),(1,3),(1,4),(1,6),(4,5),(6,2),(6,5)],7)=>1176 ([(1,5),(2,3),(2,4),(2,5),(3,6),(4,6)],7)=>2948 ([(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>2092 ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,6),(6,4)],7)=>456 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,5),(6,2)],7)=>1108 ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,4),(5,6)],7)=>932 ([(0,5),(1,3),(1,4),(1,5),(3,6),(4,6),(6,2)],7)=>832 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(5,4),(6,4)],7)=>632 ([(0,6),(1,4),(1,5),(1,6),(4,3),(5,2)],7)=>1988 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,2),(4,5)],7)=>1668 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,4),(3,5),(6,4)],7)=>948 ([(0,4),(1,2),(1,3),(1,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>772 ([(0,5),(1,3),(1,4),(1,5),(3,6),(4,2),(4,6),(5,6)],7)=>1108 ([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5)],7)=>1348 ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6)],7)=>860 ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>684 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,2),(6,5)],7)=>1196 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,4),(6,4),(6,5)],7)=>860 ([(1,6),(2,3),(2,4),(2,6),(6,5)],7)=>3296 ([(0,6),(1,2),(1,3),(1,6),(6,4),(6,5)],7)=>1648 ([(1,6),(2,3),(2,4),(2,5)],7)=>7880 ([(1,6),(2,3),(2,4),(2,5),(2,6)],7)=>7372 ([(0,6),(1,3),(1,4),(1,5),(1,6),(5,2)],7)=>3536 ([(0,6),(1,2),(1,3),(1,4),(1,6),(4,5),(6,5)],7)=>2120 ([(0,6),(1,2),(1,3),(1,4),(1,6),(3,5),(4,5)],7)=>2504 ([(0,5),(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7)=>1760 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6)],7)=>1988 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7)=>1532 ([(0,6),(1,2),(1,3),(1,4),(1,6),(6,5)],7)=>2768 ([(0,6),(1,2),(1,3),(1,4),(1,5)],7)=>6606 ([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6)],7)=>6306 ([(0,2),(0,3),(0,4),(0,6),(5,1),(6,5)],7)=>2152 ([(0,6),(1,2),(1,3),(1,4),(1,5),(5,6)],7)=>4304 ([(0,2),(0,3),(0,4),(0,5),(1,6),(4,6),(5,1)],7)=>1680 ([(0,6),(1,2),(1,3),(1,4),(1,5),(4,6),(5,6)],7)=>3360 ([(0,2),(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1)],7)=>1408 ([(0,6),(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7)=>2816 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)=>1232 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7)=>2464 ([(0,5),(1,2),(1,3),(1,4),(1,6),(5,6)],7)=>3068 ([(0,4),(1,2),(1,3),(1,5),(1,6),(4,5),(4,6)],7)=>1948 ([(0,3),(1,2),(1,4),(1,5),(1,6),(3,4),(3,5),(3,6)],7)=>1460 ([(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7)=>1200 ([(1,3),(1,4),(1,6),(5,2),(6,5)],7)=>2416 ([(0,3),(0,4),(0,5),(5,6),(6,1),(6,2)],7)=>1208 ([(1,6),(2,3),(2,4),(2,5),(5,6)],7)=>5008 ([(0,6),(1,2),(1,3),(1,4),(4,6),(6,5)],7)=>1472 ([(1,2),(1,4),(1,5),(3,6),(4,6),(5,3)],7)=>1888 ([(0,3),(0,4),(0,5),(1,6),(4,6),(5,1),(6,2)],7)=>480 ([(1,6),(2,3),(2,4),(2,5),(4,6),(5,6)],7)=>3904 ([(0,6),(1,2),(1,3),(1,4),(3,6),(4,6),(6,5)],7)=>960 ([(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7)=>1584 ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)=>352 ([(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>3272 ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,6),(6,5)],7)=>704 ([(0,6),(1,3),(1,4),(1,5),(3,6),(4,6),(5,2)],7)=>1888 ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,5),(6,5)],7)=>832 ([(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2)],7)=>1056 ([(0,6),(1,3),(1,4),(1,5),(3,6),(4,6),(5,2),(5,6)],7)=>1760 ([(0,6),(1,3),(1,4),(1,5),(4,6),(5,2)],7)=>2416 ([(0,6),(1,2),(1,3),(1,4),(3,6),(4,5),(6,5)],7)=>1216 ([(0,3),(0,4),(0,5),(2,6),(4,6),(5,1),(5,2)],7)=>1280 ([(0,6),(1,3),(1,4),(1,5),(4,6),(5,2),(5,6)],7)=>2160
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 order preserving surjections from a poset to a total order.
Code
def statistic(P):
    p = P.order_polynomial()
    n = len(P)
    s = [(-1)^m*sum((-1)^k*binomial(m, k)*p.subs(q=k) for k in range(m+1)) for m in range(n+1)]
    return sum(s)
Created
Jul 08, 2022 at 20:41 by Martin Rubey
Updated
Jul 08, 2022 at 20:41 by Martin Rubey