*****************************************************************************
* www.FindStat.org - The Combinatorial Statistic Finder *
* *
* Copyright (C) 2019 The FindStatCrew <info@findstat.org> *
* *
* This information is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *
*****************************************************************************
-----------------------------------------------------------------------------
Statistic identifier: St001072
-----------------------------------------------------------------------------
Collection: Graphs
-----------------------------------------------------------------------------
Description: The evaluation of the Tutte polynomial of the graph at x and y equal to 3.
-----------------------------------------------------------------------------
References: [1] [[wikipedia:Tutte_polynomial#Individual_points]]
-----------------------------------------------------------------------------
Code:
def statistic(G):
p = G.tutte_polynomial()
x,y = p.parent().gens()
return ZZ(p.subs(x=3, y=3))
-----------------------------------------------------------------------------
Statistic values:
([],1) => 1
([],2) => 1
([(0,1)],2) => 3
([],3) => 1
([(1,2)],3) => 3
([(0,2),(1,2)],3) => 9
([(0,1),(0,2),(1,2)],3) => 15
([],4) => 1
([(2,3)],4) => 3
([(1,3),(2,3)],4) => 9
([(0,3),(1,3),(2,3)],4) => 27
([(0,3),(1,2)],4) => 9
([(0,3),(1,2),(2,3)],4) => 27
([(1,2),(1,3),(2,3)],4) => 15
([(0,3),(1,2),(1,3),(2,3)],4) => 45
([(0,2),(0,3),(1,2),(1,3)],4) => 42
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 78
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 156
([],5) => 1
([(3,4)],5) => 3
([(2,4),(3,4)],5) => 9
([(1,4),(2,4),(3,4)],5) => 27
([(0,4),(1,4),(2,4),(3,4)],5) => 81
([(1,4),(2,3)],5) => 9
([(1,4),(2,3),(3,4)],5) => 27
([(0,1),(2,4),(3,4)],5) => 27
([(2,3),(2,4),(3,4)],5) => 15
([(0,4),(1,4),(2,3),(3,4)],5) => 81
([(1,4),(2,3),(2,4),(3,4)],5) => 45
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 135
([(1,3),(1,4),(2,3),(2,4)],5) => 42
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => 126
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 78
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => 135
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 234
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => 204
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 420
([(0,4),(1,3),(2,3),(2,4)],5) => 81
([(0,1),(2,3),(2,4),(3,4)],5) => 45
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => 135
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => 225
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => 123
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => 213
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => 411
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => 234
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 156
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 468
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 858
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => 390
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => 801
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 1887
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4689
([],6) => 1
([(4,5)],6) => 3
([(3,5),(4,5)],6) => 9
([(2,5),(3,5),(4,5)],6) => 27
([(1,5),(2,5),(3,5),(4,5)],6) => 81
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 243
([(2,5),(3,4)],6) => 9
([(2,5),(3,4),(4,5)],6) => 27
([(1,2),(3,5),(4,5)],6) => 27
([(3,4),(3,5),(4,5)],6) => 15
([(1,5),(2,5),(3,4),(4,5)],6) => 81
([(0,1),(2,5),(3,5),(4,5)],6) => 81
([(2,5),(3,4),(3,5),(4,5)],6) => 45
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 243
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 135
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 405
([(2,4),(2,5),(3,4),(3,5)],6) => 42
([(0,5),(1,5),(2,4),(3,4)],6) => 81
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 126
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 243
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 78
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => 135
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 243
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 378
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 234
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => 405
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 702
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 204
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => 378
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 612
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 420
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 702
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1260
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 1032
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2328
([(0,5),(1,4),(2,3)],6) => 27
([(1,5),(2,4),(3,4),(3,5)],6) => 81
([(0,1),(2,5),(3,4),(4,5)],6) => 81
([(1,2),(3,4),(3,5),(4,5)],6) => 45
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 243
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => 135
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => 135
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 405
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 225
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 675
([(1,4),(1,5),(2,3),(2,5),(3,4)],6) => 123
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 378
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => 213
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => 369
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 234
([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => 405
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => 639
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 702
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => 411
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => 1233
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 243
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => 126
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => 135
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => 378
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => 405
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => 405
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 234
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => 405
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => 630
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => 702
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 675
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1170
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 156
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 702
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 468
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1404
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => 582
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => 1050
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1260
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 1233
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1122
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => 2238
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 1170
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 858
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1404
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2574
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 2028
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4836
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 612
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 390
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 1170
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 801
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 2403
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => 366
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => 591
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => 639
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => 618
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 702
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => 639
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1113
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 1233
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 1086
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 2175
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 1002
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 1170
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 1971
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2118
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4437
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2403
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1887
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2574
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5661
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => 2091
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 2202
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4773
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 10806
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 1803
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4005
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 4290
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 9582
([(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) => 25284
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => 225
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => 702
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6) => 675
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 468
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 1170
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 1404
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2340
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => 1086
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => 2028
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2574
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2175
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2262
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4602
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 4056
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 10140
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => 1029
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 1092
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 2034
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 4209
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => 1887
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4062
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 4374
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9747
([(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) => 24618
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => 4461
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4746
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 10635
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5661
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4689
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 14067
([(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) => 27162
([(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) => 64620
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 9348
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => 10350
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9435
([(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) => 23730
([(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) => 22728
([(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) => 62076
([(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) => 173016
([(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) => 488592
([],7) => 1
([(5,6)],7) => 3
([(4,6),(5,6)],7) => 9
([(3,6),(4,6),(5,6)],7) => 27
([(2,6),(3,6),(4,6),(5,6)],7) => 81
([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 243
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 729
([(3,6),(4,5)],7) => 9
([(3,6),(4,5),(5,6)],7) => 27
([(2,3),(4,6),(5,6)],7) => 27
([(4,5),(4,6),(5,6)],7) => 15
([(2,6),(3,6),(4,5),(5,6)],7) => 81
([(1,2),(3,6),(4,6),(5,6)],7) => 81
([(3,6),(4,5),(4,6),(5,6)],7) => 45
([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 243
([(0,1),(2,6),(3,6),(4,6),(5,6)],7) => 243
([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 135
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 729
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 405
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 1215
([(3,5),(3,6),(4,5),(4,6)],7) => 42
([(1,6),(2,6),(3,5),(4,5)],7) => 81
([(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 126
([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 243
([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => 243
([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 78
([(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 135
([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 243
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 378
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 729
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 234
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 405
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 729
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1134
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 702
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 1215
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 204
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 378
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 729
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 612
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 1134
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 420
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 702
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => 1215
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1836
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1260
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3780
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1032
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1836
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3096
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2328
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3780
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6984
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5424
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13200
([(1,6),(2,5),(3,4)],7) => 27
([(2,6),(3,5),(4,5),(4,6)],7) => 81
([(1,2),(3,6),(4,5),(5,6)],7) => 81
([(0,3),(1,2),(4,6),(5,6)],7) => 81
([(2,3),(4,5),(4,6),(5,6)],7) => 45
([(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 243
([(0,1),(2,6),(3,6),(4,5),(5,6)],7) => 243
([(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 135
([(1,2),(3,6),(4,5),(4,6),(5,6)],7) => 135
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 729
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 405
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 405
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 225
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => 1215
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 675
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 2025
([(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 123
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 378
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 729
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 213
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => 369
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 234
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 405
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => 1134
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 639
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7) => 1215
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => 1107
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 702
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 1215
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 411
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 1917
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 1233
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(1,6),(2,5),(3,4),(3,5),(4,6)],7) => 243
([(1,2),(3,5),(3,6),(4,5),(4,6)],7) => 126
([(0,6),(1,5),(2,4),(3,4),(5,6)],7) => 243
([(1,6),(2,6),(3,4),(3,5),(4,5)],7) => 135
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => 378
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 729
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 378
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => 405
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => 405
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => 405
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 234
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 729
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 405
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 405
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => 1134
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 630
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => 1215
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 702
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => 1215
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 702
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 675
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 1215
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 1890
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 2106
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1170
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2025
([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3510
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7) => 405
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 156
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 1215
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 702
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 468
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 2106
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1404
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 582
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => 1107
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1836
([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 1050
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 1917
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 1746
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1260
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 1233
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1122
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 1917
([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 3150
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3780
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 2238
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3366
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6714
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7) => 1134
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 612
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => 1215
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7) => 1836
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1890
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 2106
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1260
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => 2025
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3060
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 3780
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3510
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6300
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => 1917
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 1170
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 2106
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 858
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1404
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3510
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 3699
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2574
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3096
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => 3150
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 2868
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7) => 5388
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6984
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6714
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6108
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 12516
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 2028
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3510
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 6084
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4836
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14508
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 10920
([(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) => 27768
([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 612
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 390
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1836
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 1170
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 1917
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 801
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3510
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 2403
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 7209
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => 366
([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => 591
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7) => 1098
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 639
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 618
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => 1107
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 702
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 639
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 1134
([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => 1773
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1113
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 1917
([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 1854
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 1233
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 1086
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 1917
([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3339
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 2175
([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3699
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3258
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 6525
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => 378
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7) => 1134
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => 702
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => 1215
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => 1134
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => 1215
([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7) => 1764
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => 2106
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 1890
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 2106
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 2025
([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3276
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3510
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6084
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1002
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1836
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1170
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3006
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1971
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3510
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => 3087
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2118
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3510
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5913
([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6354
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4437
([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7209
([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6273
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13311
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 1716
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7) => 1854
([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 1746
([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => 2886
([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => 3339
([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => 3150
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => 2940
([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 3339
([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 3780
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3228
([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3699
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 5514
([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 6018
([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6525
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 6714
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 5748
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 11886
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 3510
([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2403
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1887
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7209
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5661
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 3087
([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 2091
([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => 3510
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 3258
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2574
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 2202
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6273
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4773
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6606
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14319
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 2796
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3366
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 3150
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 3780
([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => 5604
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6714
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 12300
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 5124
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10350
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11820
([(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) => 25146
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 5913
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 12870
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13311
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10806
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(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) => 32418
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7) => 5178
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => 11046
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 11550
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14319
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14508
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 12156
([(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) => 27138
([(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) => 23676
([(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) => 62772
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1803
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 5409
([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4005
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 4290
([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 6084
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12015
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9582
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 12870
([(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) => 28746
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 4977
([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => 6354
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => 5913
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 5430
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 7209
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 6273
([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5460
([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => 10791
([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 13311
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11298
([(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) => 24705
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 9414
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 12015
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 10203
([(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) => 21597
([(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) => 22626
([(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) => 55059
([(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) => 28746
([(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) => 25284
([(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) => 32418
([(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) => 75852
([(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) => 24117
([(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) => 26886
([(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) => 62331
([(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) => 148242
([(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) => 18996
([(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) => 47910
([(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) => 54030
([(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) => 127449
([(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) => 358863
([(0,1),(2,5),(3,4),(4,6),(5,6)],7) => 243
([(0,3),(1,2),(4,5),(4,6),(5,6)],7) => 135
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 729
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => 405
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 1215
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 675
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 2025
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 3375
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 729
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 369
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7) => 405
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => 1134
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => 1215
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 639
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 1107
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7) => 1215
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7) => 1215
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => 1215
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => 1917
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => 1890
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 2025
([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 1845
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 1233
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2025
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 3195
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3510
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6165
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7) => 225
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 702
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 702
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 675
([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => 675
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 468
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 2106
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 2025
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 1170
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1404
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1404
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 3510
([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2340
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 1689
([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3150
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3258
([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 2967
([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3780
([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 3699
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3366
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 3339
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => 3039
([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5433
([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6714
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6525
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 5937
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11967
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 1917
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => 1086
([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 3510
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3258
([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 2028
([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3276
([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2574
([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2175
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2262
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 6084
([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6525
([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4602
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6786
([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13806
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3510
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3510
([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2574
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3510
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7020
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 6084
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 5433
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 6084
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 5538
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10686
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14508
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11967
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13806
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12558
([(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) => 26130
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4056
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 12168
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10140
([(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) => 30420
([(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) => 22308
([(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) => 58812
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7) => 1095
([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => 1773
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7) => 1917
([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 1833
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7) => 1725
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 2106
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 1854
([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => 1917
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 1917
([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7) => 1854
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3003
([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3339
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3699
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 3219
([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7) => 3030
([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3339
([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 3258
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 3111
([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 3699
([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5874
([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 5685
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 6525
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 11526
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 1746
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 1029
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 1092
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 3087
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3276
([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 2034
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6102
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 4209
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 12627
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => 5241
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => 5913
([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => 6273
([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => 5457
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7) => 5058
([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 7209
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 10710
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11487
([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13311
([(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) => 24786
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 1887
([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4062
([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 5661
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 6273
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 4374
([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12186
([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13383
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13122
([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9747
([(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) => 29241
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 2775
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => 2883
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => 5121
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7) => 5310
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 6102
([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 6102
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5898
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10311
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 11151
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 10962
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12627
([(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) => 23361
([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => 6102
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5661
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4746
([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 4461
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6354
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13122
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10635
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14238
([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 13383
([(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) => 31905
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 5349
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 11379
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14319
([(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) => 26805
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 9723
([(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) => 21933
([(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) => 25314
([(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) => 29241
([(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) => 22773
([(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) => 56043
([(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) => 23757
([(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) => 24534
([(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) => 32418
([(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) => 31905
([(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) => 26697
([(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) => 25125
([(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) => 61323
([(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) => 28044
([(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) => 24618
([(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) => 73854
([(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) => 52662
([(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) => 144282
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 1836
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 1170
([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 3510
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 2403
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 7209
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3006
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 2838
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => 3087
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 3510
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 5178
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => 5913
([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => 5286
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5481
([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6354
([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5874
([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5628
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => 10287
([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11316
([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13311
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 11127
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11646
([(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) => 23850
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 3003
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 3258
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 3111
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => 3276
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => 5538
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => 5685
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 6084
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7) => 5538
([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6474
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 10686
([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12324
([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 11526
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 13806
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 11622
([(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) => 24492
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => 5286
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 6084
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 5577
([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 5790
([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 6273
([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 6525
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => 5685
([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 5601
([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 7722
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6606
([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 6525
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6786
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5901
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => 10938
([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 11127
([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 14319
([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13806
([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11715
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12495
([(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) => 25689
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7209
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7722
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5661
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 6084
([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 6786
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 7722
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 13806
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10140
([(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) => 20826
([(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) => 24648
([(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) => 52884
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10287
([(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) => 22821
([(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) => 23850
([(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) => 32418
([(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) => 25689
([(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) => 27789
([(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) => 58659
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 10140
([(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) => 22308
([(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) => 23946
([(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) => 30420
([(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) => 25194
([(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) => 57174
([(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) => 49062
([(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) => 133770
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => 2106
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1404
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7) => 2025
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => 2106
([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4212
([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3510
([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 4212
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 7020
([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4689
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14067
([(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) => 42201
([(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) => 31905
([(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) => 31050
([(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) => 27162
([(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) => 42201
([(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) => 81486
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5),(5,6)],7) => 9615
([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 12015
([(0,4),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => 9918
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 12870
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 12870
([(0,5),(0,6),(1,3),(1,4),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10374
([(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) => 22122
([(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) => 28746
([(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) => 23946
([(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) => 22452
([(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) => 54204
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7) => 4809
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 9183
([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => 10359
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => 10563
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 11499
([(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) => 20898
([(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) => 22893
([(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) => 22374
([(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) => 50163
([(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) => 19869
([(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) => 47139
([(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) => 49932
([(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) => 49134
([(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) => 125274
([(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) => 53763
([(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) => 75852
([(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) => 61134
([(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) => 57702
([(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) => 144570
([(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) => 53250
([(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) => 53859
([(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) => 73854
([(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) => 60639
([(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) => 143085
([(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) => 55602
([(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) => 131049
([(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) => 344391
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 10647
([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 13383
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 11247
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7) => 10164
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => 11046
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 12186
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => 10899
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => 10122
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 11271
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 10938
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 13383
([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => 12186
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 10458
([(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) => 23130
([(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) => 22521
([(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) => 24345
([(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) => 29241
([(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) => 24441
([(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) => 22332
([(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) => 54846
([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9435
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 9348
([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 12168
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 10350
([(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) => 28305
([(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) => 28044
([(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) => 23730
([(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) => 31050
([(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) => 71190
([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13383
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 13122
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 10686
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 16983
([(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) => 24873
([(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) => 24093
([(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) => 31905
([(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) => 60207
([(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) => 52035
([(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) => 54030
([(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) => 59067
([(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) => 137805
([(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) => 71190
([(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) => 64620
([(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) => 81486
([(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) => 193860
([(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) => 158229
([(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) => 381150
([(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) => 118650
([(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) => 122481
([(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) => 135810
([(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) => 325095
([(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) => 930465
([(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) => 51774
([(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) => 59580
([(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) => 53268
([(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) => 71190
([(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) => 53859
([(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) => 138066
([(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) => 22728
([(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) => 68184
([(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) => 62076
([(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) => 186228
([(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) => 130260
([(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) => 366348
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7) => 2802
([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 3198
([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => 2946
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => 5373
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => 5733
([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5292
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 10734
([(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) => 22260
([(0,4),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => 9975
([(0,3),(0,4),(1,2),(1,3),(1,5),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 10335
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 9348
([(0,3),(0,6),(1,2),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 10815
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 11583
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 10734
([(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) => 20874
([(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) => 23058
([(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) => 50652
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 9951
([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13122
([(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) => 22350
([(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) => 24954
([(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) => 22869
([(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) => 29241
([(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) => 55107
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7) => 4974
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => 5145
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => 9747
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => 10587
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 10539
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => 10146
([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 10980
([(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) => 21273
([(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) => 24066
([(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) => 23553
([(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) => 22938
([(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) => 51294
([(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) => 48027
([(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) => 57036
([(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) => 50211
([(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) => 56523
([(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) => 54918
([(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) => 50307
([(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) => 127890
([(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) => 52314
([(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) => 73854
([(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) => 60126
([(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) => 140421
([(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) => 21909
([(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) => 21516
([(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) => 47514
([(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) => 54423
([(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) => 55038
([(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) => 126405
([(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) => 118881
([(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) => 333879
([(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) => 19722
([(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) => 21450
([(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) => 23220
([(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) => 47676
([(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) => 52476
([(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) => 121080
([(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) => 22218
([(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) => 22308
([(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) => 28044
([(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) => 31050
([(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) => 22818
([(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) => 28305
([(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) => 21681
([(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) => 52566
([(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) => 54780
([(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) => 71190
([(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) => 52662
([(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) => 135060
([(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) => 46038
([(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) => 114642
([(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) => 121656
([(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) => 315180
([(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) => 119442
([(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) => 140472
([(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) => 329196
([(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) => 883194
([(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) => 133266
([(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) => 137364
([(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) => 131052
([(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) => 363342
([(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) => 186228
([(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) => 173016
([(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) => 193860
([(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) => 519048
([(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) => 138474
([(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) => 136869
([(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) => 157716
([(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) => 378486
([(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) => 1024884
([(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) => 20082
([(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) => 20328
([(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) => 21621
([(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) => 20286
([(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) => 23733
([(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) => 21534
([(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) => 48684
([(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) => 48075
([(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) => 52971
([(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) => 47556
([(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) => 121722
([(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) => 119538
([(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) => 125754
([(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) => 118929
([(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) => 327711
([(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) => 123654
([(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) => 141906
([(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) => 339747
([(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) => 919953
([(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) => 310380
([(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) => 308166
([(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) => 359244
([(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) => 321495
([(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) => 869178
([(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) => 2516886
([(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) => 45180
([(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) => 45948
([(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) => 114552
([(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) => 301200
([(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) => 109908
([(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) => 296556
([(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) => 313488
([(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) => 835032
([(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) => 818100
([(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) => 2375196
([(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) => 6934356
([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 12183
([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14238
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12468
([(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) => 23505
([(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) => 31905
([(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) => 23409
([(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) => 27618
([(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) => 57462
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7) => 5538
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => 10686
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => 11622
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 10140
([(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) => 22308
([(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) => 24492
([(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) => 52728
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 16983
([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14067
([(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) => 42201
([(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) => 49062
([(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) => 56472
([(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) => 57462
([(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) => 51246
([(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) => 129324
([(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) => 55467
([(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) => 81486
([(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) => 69363
([(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) => 147933
([(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) => 121914
([(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) => 340470
([(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) => 20433
([(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) => 23505
([(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) => 22161
([(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) => 21369
([(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) => 24012
([(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) => 49110
([(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) => 53910
([(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) => 123156
([(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) => 20481
([(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) => 23673
([(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) => 20874
([(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) => 22470
([(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) => 27333
([(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) => 20826
([(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) => 49230
([(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) => 55635
([(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) => 48615
([(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) => 124077
([(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) => 51807
([(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) => 46431
([(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) => 115677
([(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) => 121092
([(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) => 316614
([(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) => 134205
([(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) => 193860
([(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) => 139908
([(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) => 146106
([(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) => 370854
([(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) => 120477
([(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) => 330630
([(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) => 122082
([(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) => 126693
([(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) => 335223
([(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) => 889785
([(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) => 298086
([(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) => 311199
([(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) => 835545
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2420847
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 50772
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 115182
([(0,3),(0,4),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 135930
([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 120597
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 122202
([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 317535
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 296787
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 850725
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 45891
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => 47235
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => 46740
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 115986
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 303276
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 110301
([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 297591
([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => 311319
([(0,1),(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 836466
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 309714
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 360678
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 872097
([(0,1),(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2381787
([(0,2),(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 822738
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 821133
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 2341563
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6838317
([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => 312924
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 330732
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 324534
([(0,2),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 876690
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 910836
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2486718
([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 366876
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 376488
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1017252
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 519048
([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 488592
([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1465776
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2901096
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7147764
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 19748934
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 858882
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => 1007640
([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 865080
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 2452572
([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2346156
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6733386
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 2303814
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 6622377
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 19439487
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 57189321
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 168507135
-----------------------------------------------------------------------------
Created: Jan 04, 2018 at 18:15 by Martin Rubey
-----------------------------------------------------------------------------
Last Updated: Jan 04, 2018 at 18:15 by Martin Rubey