Values
=>
Cc0020;cc-rep
([],1)=>0
([],2)=>0
([(0,1)],2)=>1
([],3)=>0
([(1,2)],3)=>2
([(0,2),(1,2)],3)=>3
([(0,1),(0,2),(1,2)],3)=>6
([],4)=>0
([(2,3)],4)=>6
([(1,3),(2,3)],4)=>9
([(0,3),(1,3),(2,3)],4)=>12
([(0,3),(1,2)],4)=>12
([(0,3),(1,2),(2,3)],4)=>12
([(1,2),(1,3),(2,3)],4)=>18
([(0,3),(1,2),(1,3),(2,3)],4)=>20
([(0,2),(0,3),(1,2),(1,3)],4)=>12
([(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>24
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)=>36
([],5)=>0
([(3,4)],5)=>24
([(2,4),(3,4)],5)=>36
([(1,4),(2,4),(3,4)],5)=>48
([(0,4),(1,4),(2,4),(3,4)],5)=>60
([(1,4),(2,3)],5)=>48
([(1,4),(2,3),(3,4)],5)=>48
([(0,1),(2,4),(3,4)],5)=>60
([(2,3),(2,4),(3,4)],5)=>72
([(0,4),(1,4),(2,3),(3,4)],5)=>60
([(1,4),(2,3),(2,4),(3,4)],5)=>80
([(0,4),(1,4),(2,3),(2,4),(3,4)],5)=>90
([(1,3),(1,4),(2,3),(2,4)],5)=>48
([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>60
([(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>96
([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>88
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>105
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>60
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>120
([(0,4),(1,3),(2,3),(2,4)],5)=>60
([(0,1),(2,3),(2,4),(3,4)],5)=>96
([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>92
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>120
([(0,3),(0,4),(1,2),(1,4),(2,3)],5)=>60
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>88
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)=>120
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>104
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>144
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>150
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>160
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)=>100
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)=>120
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>180
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)=>240
([],6)=>0
([(4,5)],6)=>120
([(3,5),(4,5)],6)=>180
([(2,5),(3,5),(4,5)],6)=>240
([(1,5),(2,5),(3,5),(4,5)],6)=>300
([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>360
([(2,5),(3,4)],6)=>240
([(2,5),(3,4),(4,5)],6)=>240
([(1,2),(3,5),(4,5)],6)=>300
([(3,4),(3,5),(4,5)],6)=>360
([(1,5),(2,5),(3,4),(4,5)],6)=>300
([(0,1),(2,5),(3,5),(4,5)],6)=>360
([(2,5),(3,4),(3,5),(4,5)],6)=>400
([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>360
([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>450
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>504
([(2,4),(2,5),(3,4),(3,5)],6)=>240
([(0,5),(1,5),(2,4),(3,4)],6)=>360
([(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>300
([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>360
([(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>480
([(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>440
([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>360
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>360
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>525
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>490
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>576
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>300
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>600
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>570
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>648
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(0,5),(1,4),(2,3)],6)=>360
([(1,5),(2,4),(3,4),(3,5)],6)=>300
([(0,1),(2,5),(3,4),(4,5)],6)=>360
([(1,2),(3,4),(3,5),(4,5)],6)=>480
([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>360
([(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>460
([(0,1),(2,5),(3,4),(3,5),(4,5)],6)=>520
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>510
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>600
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>648
([(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>300
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>360
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>440
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>360
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>520
([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>480
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>490
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>565
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>600
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>648
([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>360
([(0,1),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(0,5),(1,5),(2,3),(2,4),(3,4)],6)=>540
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>360
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>520
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>500
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>600
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>520
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6)=>510
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6)=>585
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>640
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>570
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>750
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>792
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6)=>490
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>640
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>645
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>570
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>550
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>800
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>780
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>840
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>540
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>900
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>360
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>500
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>545
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>600
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>648
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>360
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)=>360
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>480
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)=>500
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>560
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6)=>500
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>565
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>640
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6)=>620
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>720
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>360
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>560
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>545
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>620
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>645
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>900
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>830
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>936
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6)=>625
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>720
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>888
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>990
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>360
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>600
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>630
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>720
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1080
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)=>720
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6)=>580
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>680
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>840
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>720
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>810
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>936
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)=>640
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)=>680
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>840
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>720
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>780
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>912
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>720
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1080
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6)=>480
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>560
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>620
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)=>720
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>600
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>680
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>720
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>888
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1080
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>810
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>880
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>984
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>930
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1200
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1224
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1260
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1320
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>720
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>900
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>840
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)=>960
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>720
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1080
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1440
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>1800
([],7)=>0
([(5,6)],7)=>720
([(4,6),(5,6)],7)=>1080
([(3,6),(4,6),(5,6)],7)=>1440
([(2,6),(3,6),(4,6),(5,6)],7)=>1800
([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>2160
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>2520
([(3,6),(4,5)],7)=>1440
([(3,6),(4,5),(5,6)],7)=>1440
([(2,3),(4,6),(5,6)],7)=>1800
([(4,5),(4,6),(5,6)],7)=>2160
([(2,6),(3,6),(4,5),(5,6)],7)=>1800
([(1,2),(3,6),(4,6),(5,6)],7)=>2160
([(3,6),(4,5),(4,6),(5,6)],7)=>2400
([(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>2160
([(0,1),(2,6),(3,6),(4,6),(5,6)],7)=>2520
([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>2700
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>2520
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3024
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3360
([(3,5),(3,6),(4,5),(4,6)],7)=>1440
([(1,6),(2,6),(3,5),(4,5)],7)=>2160
([(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>1800
([(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>2160
([(0,6),(1,6),(2,6),(3,5),(4,5)],7)=>2520
([(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>2880
([(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>2640
([(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>2160
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>2160
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>2520
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3150
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>2940
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>2520
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3456
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3264
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3780
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>1800
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>2520
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3600
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3420
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>3240
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3888
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3726
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4200
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4176
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4620
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,6),(2,5),(3,4)],7)=>2160
([(2,6),(3,5),(4,5),(4,6)],7)=>1800
([(1,2),(3,6),(4,5),(5,6)],7)=>2160
([(0,3),(1,2),(4,6),(5,6)],7)=>2520
([(2,3),(4,5),(4,6),(5,6)],7)=>2880
([(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>2160
([(0,1),(2,6),(3,6),(4,5),(5,6)],7)=>2520
([(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>2760
([(1,2),(3,6),(4,5),(4,6),(5,6)],7)=>3120
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>2520
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3060
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3420
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3600
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>3384
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3888
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4200
([(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>1800
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2160
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>2520
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>2640
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>2160
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3120
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>2880
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>2520
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>2940
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7)=>3300
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7)=>2520
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3390
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>3180
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3600
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3264
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3696
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3888
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4200
([(1,6),(2,5),(3,4),(3,5),(4,6)],7)=>2160
([(1,2),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,5),(2,4),(3,4),(5,6)],7)=>2520
([(1,6),(2,6),(3,4),(3,5),(4,5)],7)=>3240
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>2160
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>2520
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7)=>3120
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7)=>3480
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>3000
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3600
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>2520
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3360
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3120
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>2520
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>3060
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7)=>3420
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>3510
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>3300
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3870
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3840
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3420
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>3384
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>3816
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4128
([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4620
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7)=>3600
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>3480
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3420
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4500
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3744
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4752
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>2940
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>3300
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3840
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3660
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3870
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3420
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3690
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>3240
([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>3264
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4128
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4158
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3726
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4620
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)=>2520
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>3480
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)=>2520
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3420
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>3780
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>4140
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3384
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4248
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>3360
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3300
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3660
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4680
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3624
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4176
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4932
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5320
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>3300
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7)=>3264
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4608
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4176
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3240
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3600
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3564
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5670
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3528
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6048
([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2160
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3000
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>2520
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3270
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>3180
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3600
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3576
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3888
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4200
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)=>2160
([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>2160
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)=>2520
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>2880
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3000
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7)=>2520
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3360
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>3000
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>2520
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3390
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3750
([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>3180
([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3300
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3840
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3720
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3630
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3300
([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3696
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4320
([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4128
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4008
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4620
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7)=>2520
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)=>2520
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7)=>3960
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>3360
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7)=>2520
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>3360
([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)=>2520
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7)=>3870
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3300
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>3870
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4080
([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3816
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4560
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5040
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>2160
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3360
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>2520
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3270
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3630
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>3180
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3720
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3540
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3576
([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4008
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4158
([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4038
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4620
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7)=>3360
([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>2520
([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>2520
([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>3750
([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>3180
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7)=>3300
([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>3660
([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>4200
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3780
([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4140
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3696
([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>4128
([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4560
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4470
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3720
([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3870
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4176
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5616
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5232
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5880
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>3240
([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3750
([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4110
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>3570
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4020
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4980
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4860
([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4056
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5328
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5220
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4608
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5600
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>2520
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3780
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3240
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4140
([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4140
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>3726
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3576
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4440
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>3630
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4086
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4608
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5940
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5832
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6195
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7)=>3180
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>3996
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4488
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5568
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5580
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5950
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4032
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6552
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2160
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>2520
([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3600
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3780
([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3510
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3888
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4320
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4068
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4620
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2520
([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>4080
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>3540
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>3660
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4140
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4050
([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3960
([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>4008
([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4590
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4500
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>3960
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>3540
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>3888
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>4608
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6156
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,5),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4518
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5904
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6510
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7056
([(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)=>2520
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>4200
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4536
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,1),(2,5),(3,4),(4,6),(5,6)],7)=>2520
([(0,3),(1,2),(4,5),(4,6),(5,6)],7)=>3600
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>2520
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>3480
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>3420
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4320
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>4248
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>5040
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>2520
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>2520
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7)=>3600
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7)=>2520
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>3360
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3360
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>2520
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7)=>3480
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7)=>3480
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7)=>3240
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>3300
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>3420
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>4200
([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>3420
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3750
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4080
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>4128
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4248
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7)=>4320
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>3480
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3840
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4080
([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7)=>4560
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3780
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4380
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4320
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4860
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5220
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4608
([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5112
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5616
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5880
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>2520
([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3300
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4080
([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>3300
([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4080
([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4110
([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>4230
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3660
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3690
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>3240
([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4008
([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4158
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>3360
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7)=>3840
([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3660
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4140
([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>4080
([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3660
([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4680
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>4368
([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4608
([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5472
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4932
([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5740
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7)=>4440
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3660
([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4260
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4560
([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5520
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4488
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5796
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6160
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3600
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>4080
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4380
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3600
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4308
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5640
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5712
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6090
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4320
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4608
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4536
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7056
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)=>2520
([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>2520
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7)=>3360
([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>3360
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)=>2520
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3720
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>3240
([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>3240
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>3240
([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7)=>3360
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>3300
([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3630
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4200
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3750
([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7)=>3180
([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3750
([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>3960
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4080
([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4080
([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4128
([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>4440
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4560
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>2520
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>2880
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3360
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3180
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3630
([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3720
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4008
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4320
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4620
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7)=>3240
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>3570
([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>4110
([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7)=>3660
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7)=>3180
([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4140
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>4038
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4470
([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>3600
([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4080
([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3900
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4020
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4320
([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4368
([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5100
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4608
([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5328
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5600
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>2520
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>3240
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>3180
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7)=>3630
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4080
([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3990
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4080
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4008
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4440
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4470
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>4020
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5580
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5160
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4860
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4020
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4608
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5796
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5904
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5520
([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5112
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6160
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3900
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4488
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5508
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5880
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>3840
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4308
([(0,5),(0,6),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5460
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5568
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5950
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4518
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6120
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6120
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5856
([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5448
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6475
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4608
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4536
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7056
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>2520
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7)=>3480
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3720
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3420
([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3630
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>4080
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4320
([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4440
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4248
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>2520
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>2520
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>3240
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3720
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>3360
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>3300
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>3630
([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>3960
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3630
([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3960
([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4110
([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>3540
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>4320
([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4440
([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4470
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4158
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>3360
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>4080
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7)=>4200
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7)=>3720
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7)=>3660
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7)=>4590
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7)=>4440
([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5712
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>5676
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6160
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7)=>4020
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>4350
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>4800
([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4110
([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>3990
([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>4560
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>4470
([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3570
([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5220
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4560
([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4590
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4860
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4140
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7)=>4800
([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>4488
([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5568
([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5652
([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5220
([(0,4),(0,6),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6020
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>4620
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4230
([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5340
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6120
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5976
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6096
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6)],7)=>3660
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7)=>4620
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4380
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>3690
([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>5040
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5340
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>4830
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>4932
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5742
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6160
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3600
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4620
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5520
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6090
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4410
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>4830
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6180
([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6000
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5832
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6615
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>4260
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>5040
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>5592
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6660
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6144
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7000
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5040
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7)=>3600
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>3840
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7)=>4320
([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>3840
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3780
([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5220
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4830
([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4560
([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5220
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5112
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5856
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>6300
([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7200
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5832
([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7344
([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5052
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5880
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6144
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6510
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5652
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7488
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7770
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5544
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8064
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5),(5,6)],7)=>3240
([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3900
([(0,4),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>3540
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4050
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4140
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3960
([(0,5),(0,6),(1,3),(1,4),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3510
([(0,5),(0,6),(1,2),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4350
([(0,5),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4590
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4500
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4068
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7)=>2520
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7)=>3180
([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7)=>3960
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>3930
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4140
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6)],7)=>3960
([(0,1),(0,3),(0,4),(1,2),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4320
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4470
([(0,4),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4500
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,1),(0,4),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>4200
([(0,3),(0,4),(0,6),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>4620
([(0,2),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5340
([(0,3),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4830
([(0,3),(0,5),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5950
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5040
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6660
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6444
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6036
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7000
([(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>5478
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6696
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6456
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7035
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5904
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6510
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>4020
([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>5220
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>4860
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7)=>3990
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>4800
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4350
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7)=>4470
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>4380
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4500
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4830
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5160
([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>4380
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>4290
([(0,3),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7)=>5100
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,3),(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5598
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5562
([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4830
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6020
([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4320
([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4590
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5400
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5280
([(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4608
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5760
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5616
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6020
([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4590
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5760
([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6084
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6440
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7)=>5220
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5640
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>5964
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6370
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>6000
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7920
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7704
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8120
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7980
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8400
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>5460
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5880
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6300
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8820
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4518
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5940
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5976
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5616
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6335
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4320
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4608
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>4536
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7056
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)=>2520
([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3720
([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7)=>3240
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>3630
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4080
([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3840
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>4440
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5040
([(0,4),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(5,6)],7)=>3570
([(0,3),(0,4),(1,2),(1,3),(1,5),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>3990
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>3840
([(0,3),(0,6),(1,2),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3900
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4140
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>3900
([(0,2),(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4350
([(0,3),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4470
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4560
([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5388
([(0,3),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4488
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5508
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5880
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7)=>3240
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7)=>3960
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7)=>4350
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7)=>4440
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4800
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4230
([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4440
([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5448
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>5532
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6020
([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4830
([(0,2),(0,4),(1,3),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6000
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,2),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6000
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5856
([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5760
([(0,1),(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6475
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>5040
([(0,4),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6660
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6408
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7000
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7)=>4500
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>5040
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6000
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6860
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>5040
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,1),(0,2),(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>3510
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>3840
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3960
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4380
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4500
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4050
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>4590
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5760
([(0,2),(0,6),(1,2),(1,4),(1,5),(2,3),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>5340
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>4620
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5616
([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6030
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5742
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6440
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>4830
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7)=>4830
([(0,1),(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5820
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6335
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6860
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>5886
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6300
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7035
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6696
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8640
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8064
([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8820
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6516
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6312
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7920
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8330
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>9072
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>3900
([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>4320
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4260
([(0,1),(0,2),(0,5),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>4590
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>4980
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>4290
([(0,1),(0,2),(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5268
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,4),(0,5),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5418
([(0,3),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7)=>4830
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5880
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7)=>5646
([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6204
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>5040
([(0,4),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6895
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5904
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7008
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8736
([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7)=>6090
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5040
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>6552
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>6216
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6930
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>9450
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>3780
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>3960
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7)=>4410
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7)=>5040
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>5040
([(0,2),(0,3),(0,4),(0,6),(1,2),(1,3),(1,4),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6300
([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>5040
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>10080
([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7)=>4800
([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6480
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>6180
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>6336
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>5220
([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5520
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5160
([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>5856
([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5952
([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6144
([(0,3),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5796
([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6580
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7)=>4560
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7)=>4830
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>5880
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6240
([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6036
([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6192
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>7280
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5940
([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7920
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6696
([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7704
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8400
([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6096
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6960
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6576
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6144
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>6396
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7800
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7488
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8190
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>6552
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>9072
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)=>4620
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5940
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>4830
([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5580
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>5040
([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5892
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>6048
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>7000
([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4560
([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5400
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>4800
([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>4470
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>5760
([(0,1),(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)=>5040
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5712
([(0,1),(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>5964
([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>5040
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>6440
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7)=>6000
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>5040
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)=>5952
([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6660
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7280
([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>6432
([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8100
([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6984
([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7584
([(0,3),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8400
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6000
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7560
([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)=>6276
([(0,1),(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6456
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>7980
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>8904
([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>6720
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>6384
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>7560
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The normalized Knill dimension of a graph.
The Knill dimension [1], [2] is a rational number associated with a graph as follows: for the empty graph $\dim(G) = -1$. For a graph with non-empty vertex set $V$, it is $\dim(G) = 1 + \frac{1}{|V|}\sum_{v\in V}\dim(N_v)$, where
$N_v$ is the subgraph of $G$ induced by the set of neighbours of $v$.
Conjecturally, the least common multiple of the denominators of all graphs is the order of the alternating group oeis:A001710. Thus, the normalized Knill dimension is the Knill dimension multiplied with the number.
The Knill dimension [1], [2] is a rational number associated with a graph as follows: for the empty graph $\dim(G) = -1$. For a graph with non-empty vertex set $V$, it is $\dim(G) = 1 + \frac{1}{|V|}\sum_{v\in V}\dim(N_v)$, where
$N_v$ is the subgraph of $G$ induced by the set of neighbours of $v$.
Conjecturally, the least common multiple of the denominators of all graphs is the order of the alternating group oeis:A001710. Thus, the normalized Knill dimension is the Knill dimension multiplied with the number.
References
[1] Knill, O. A discrete Gauss-Bonnet type theorem MathSciNet:2888693 arXiv:1009.2292
[2] Knill, O. On the Dimension and Euler characteristic of random graphs arXiv:1112.5749
[3] Betre, K., Salinger, E. The Knill Graph Dimension from The Minimum Clique Cover arXiv:1903.02523
[2] Knill, O. On the Dimension and Euler characteristic of random graphs arXiv:1112.5749
[3] Betre, K., Salinger, E. The Knill Graph Dimension from The Minimum Clique Cover arXiv:1903.02523
Code
def statistic(G): return dim_knill(G)*numerator(factorial(G.num_verts())/2) def dim_knill(G): return dim_knill_aux1(G.copy(immutable=True)) @cached_function def dim_knill_aux1(G): if not G.num_verts(): return -1 return sum(dim_knill_aux2(G, v) for v in G.vertices())/G.num_verts() @cached_function def dim_knill_aux2(G, v): return 1 + dim_knill_aux1(G.subgraph(G.neighbors(v)))
Created
Mar 07, 2019 at 09:36 by Martin Rubey
Updated
Mar 10, 2019 at 16:32 by Martin Rubey
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!