************************************************************************ * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2013 The FindStatCrew * * * * 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. * ************************************************************************ ------------------------------------------------------------------------ Map identifier: Mp00164 ------------------------------------------------------------------------ Map name: Chen Deng Du Stanley Yan ------------------------------------------------------------------------ Domain: Set partitions ------------------------------------------------------------------------ Codomain: Set partitions ------------------------------------------------------------------------ Description: A map that swaps the crossing number and the nesting number of a set partition. ------------------------------------------------------------------------ References: [1] Chen, W. Y. C., Deng, E. Y. P., Du, R. R. X., Stanley, R. P., Yan, C. H. Crossings and nestings of matchings and partitions [[MathSciNet:2272140]] [[arXiv:math/0501230]] ------------------------------------------------------------------------ Code: def to_vaccillating(m): RuleRSK = GrowthDiagram.rules.RSK() m = SetPartition(m) n = m.size() filling = {(i-1, n-j): 1 for i, j in m.arcs()} shape = list(range(n-1,0,-1)) return RuleRSK(filling, shape=shape).out_labels() def from_vaccillating(o): RuleRSK = GrowthDiagram.rules.RSK() n = (len(o)-1)//2 shape = list(range(n,0,-1)) filling = list(RuleRSK(labels=o, shape=shape).filling().keys()) return SetPartitions(n+1).from_arcs([(i+1, n-j+1) for i, j in filling], n+1) def mapping(m): if m: return from_vaccillating([Partition(la).conjugate() for la in to_vaccillating(m)]) return m ------------------------------------------------------------------------ Map images: {{1}} => {{1}} {{1,2}} => {{1,2}} {{1},{2}} => {{1},{2}} {{1,2,3}} => {{1,2,3}} {{1,2},{3}} => {{1,2},{3}} {{1,3},{2}} => {{1,3},{2}} {{1},{2,3}} => {{1},{2,3}} {{1},{2},{3}} => {{1},{2},{3}} {{1,2,3,4}} => {{1,2,3,4}} {{1,2,3},{4}} => {{1,2,3},{4}} {{1,2,4},{3}} => {{1,2,4},{3}} {{1,2},{3,4}} => {{1,2},{3,4}} {{1,2},{3},{4}} => {{1,2},{3},{4}} {{1,3,4},{2}} => {{1,3,4},{2}} {{1,3},{2,4}} => {{1,4},{2,3}} {{1,3},{2},{4}} => {{1,3},{2},{4}} {{1,4},{2,3}} => {{1,3},{2,4}} {{1},{2,3,4}} => {{1},{2,3,4}} {{1},{2,3},{4}} => {{1},{2,3},{4}} {{1,4},{2},{3}} => {{1,4},{2},{3}} {{1},{2,4},{3}} => {{1},{2,4},{3}} {{1},{2},{3,4}} => {{1},{2},{3,4}} {{1},{2},{3},{4}} => {{1},{2},{3},{4}} {{1,2,3,4,5}} => {{1,2,3,4,5}} {{1,2,3,4},{5}} => {{1,2,3,4},{5}} {{1,2,3,5},{4}} => {{1,2,3,5},{4}} {{1,2,3},{4,5}} => {{1,2,3},{4,5}} {{1,2,3},{4},{5}} => {{1,2,3},{4},{5}} {{1,2,4,5},{3}} => {{1,2,4,5},{3}} {{1,2,4},{3,5}} => {{1,2,5},{3,4}} {{1,2,4},{3},{5}} => {{1,2,4},{3},{5}} {{1,2,5},{3,4}} => {{1,2,4},{3,5}} {{1,2},{3,4,5}} => {{1,2},{3,4,5}} {{1,2},{3,4},{5}} => {{1,2},{3,4},{5}} {{1,2,5},{3},{4}} => {{1,2,5},{3},{4}} {{1,2},{3,5},{4}} => {{1,2},{3,5},{4}} {{1,2},{3},{4,5}} => {{1,2},{3},{4,5}} {{1,2},{3},{4},{5}} => {{1,2},{3},{4},{5}} {{1,3,4,5},{2}} => {{1,3,4,5},{2}} {{1,3,4},{2,5}} => {{1,4},{2,3,5}} {{1,3,4},{2},{5}} => {{1,3,4},{2},{5}} {{1,3,5},{2,4}} => {{1,5},{2,3,4}} {{1,3},{2,4,5}} => {{1,4,5},{2,3}} {{1,3},{2,4},{5}} => {{1,4},{2,3},{5}} {{1,3,5},{2},{4}} => {{1,3,5},{2},{4}} {{1,3},{2,5},{4}} => {{1,5},{2,3},{4}} {{1,3},{2},{4,5}} => {{1,3},{2},{4,5}} {{1,3},{2},{4},{5}} => {{1,3},{2},{4},{5}} {{1,4,5},{2,3}} => {{1,3},{2,4,5}} {{1,4},{2,3,5}} => {{1,3,4},{2,5}} {{1,4},{2,3},{5}} => {{1,3},{2,4},{5}} {{1,5},{2,3,4}} => {{1,3,5},{2,4}} {{1},{2,3,4,5}} => {{1},{2,3,4,5}} {{1},{2,3,4},{5}} => {{1},{2,3,4},{5}} {{1,5},{2,3},{4}} => {{1,3},{2,5},{4}} {{1},{2,3,5},{4}} => {{1},{2,3,5},{4}} {{1},{2,3},{4,5}} => {{1},{2,3},{4,5}} {{1},{2,3},{4},{5}} => {{1},{2,3},{4},{5}} {{1,4,5},{2},{3}} => {{1,4,5},{2},{3}} {{1,4},{2,5},{3}} => {{1,5},{2,4},{3}} {{1,4},{2},{3,5}} => {{1,5},{2},{3,4}} {{1,4},{2},{3},{5}} => {{1,4},{2},{3},{5}} {{1,5},{2,4},{3}} => {{1,4},{2,5},{3}} {{1},{2,4,5},{3}} => {{1},{2,4,5},{3}} {{1},{2,4},{3,5}} => {{1},{2,5},{3,4}} {{1},{2,4},{3},{5}} => {{1},{2,4},{3},{5}} {{1,5},{2},{3,4}} => {{1,4},{2},{3,5}} {{1},{2,5},{3,4}} => {{1},{2,4},{3,5}} {{1},{2},{3,4,5}} => {{1},{2},{3,4,5}} {{1},{2},{3,4},{5}} => {{1},{2},{3,4},{5}} {{1,5},{2},{3},{4}} => {{1,5},{2},{3},{4}} {{1},{2,5},{3},{4}} => {{1},{2,5},{3},{4}} {{1},{2},{3,5},{4}} => {{1},{2},{3,5},{4}} {{1},{2},{3},{4,5}} => {{1},{2},{3},{4,5}} {{1},{2},{3},{4},{5}} => {{1},{2},{3},{4},{5}} {{1,2,3,4,5,6}} => {{1,2,3,4,5,6}} {{1,2,3,4,5},{6}} => {{1,2,3,4,5},{6}} {{1,2,3,4,6},{5}} => {{1,2,3,4,6},{5}} {{1,2,3,4},{5,6}} => {{1,2,3,4},{5,6}} {{1,2,3,4},{5},{6}} => {{1,2,3,4},{5},{6}} {{1,2,3,5,6},{4}} => {{1,2,3,5,6},{4}} {{1,2,3,5},{4,6}} => {{1,2,3,6},{4,5}} {{1,2,3,5},{4},{6}} => {{1,2,3,5},{4},{6}} {{1,2,3,6},{4,5}} => {{1,2,3,5},{4,6}} {{1,2,3},{4,5,6}} => {{1,2,3},{4,5,6}} {{1,2,3},{4,5},{6}} => {{1,2,3},{4,5},{6}} {{1,2,3,6},{4},{5}} => {{1,2,3,6},{4},{5}} {{1,2,3},{4,6},{5}} => {{1,2,3},{4,6},{5}} {{1,2,3},{4},{5,6}} => {{1,2,3},{4},{5,6}} {{1,2,3},{4},{5},{6}} => {{1,2,3},{4},{5},{6}} {{1,2,4,5,6},{3}} => {{1,2,4,5,6},{3}} {{1,2,4,5},{3,6}} => {{1,2,5},{3,4,6}} {{1,2,4,5},{3},{6}} => {{1,2,4,5},{3},{6}} {{1,2,4,6},{3,5}} => {{1,2,6},{3,4,5}} {{1,2,4},{3,5,6}} => {{1,2,5,6},{3,4}} {{1,2,4},{3,5},{6}} => {{1,2,5},{3,4},{6}} {{1,2,4,6},{3},{5}} => {{1,2,4,6},{3},{5}} {{1,2,4},{3,6},{5}} => {{1,2,6},{3,4},{5}} {{1,2,4},{3},{5,6}} => {{1,2,4},{3},{5,6}} {{1,2,4},{3},{5},{6}} => {{1,2,4},{3},{5},{6}} {{1,2,5,6},{3,4}} => {{1,2,4},{3,5,6}} {{1,2,5},{3,4,6}} => {{1,2,4,5},{3,6}} {{1,2,5},{3,4},{6}} => {{1,2,4},{3,5},{6}} {{1,2,6},{3,4,5}} => {{1,2,4,6},{3,5}} {{1,2},{3,4,5,6}} => {{1,2},{3,4,5,6}} {{1,2},{3,4,5},{6}} => {{1,2},{3,4,5},{6}} {{1,2,6},{3,4},{5}} => {{1,2,4},{3,6},{5}} {{1,2},{3,4,6},{5}} => {{1,2},{3,4,6},{5}} {{1,2},{3,4},{5,6}} => {{1,2},{3,4},{5,6}} {{1,2},{3,4},{5},{6}} => {{1,2},{3,4},{5},{6}} {{1,2,5,6},{3},{4}} => {{1,2,5,6},{3},{4}} {{1,2,5},{3,6},{4}} => {{1,2,6},{3,5},{4}} {{1,2,5},{3},{4,6}} => {{1,2,6},{3},{4,5}} {{1,2,5},{3},{4},{6}} => {{1,2,5},{3},{4},{6}} {{1,2,6},{3,5},{4}} => {{1,2,5},{3,6},{4}} {{1,2},{3,5,6},{4}} => {{1,2},{3,5,6},{4}} {{1,2},{3,5},{4,6}} => {{1,2},{3,6},{4,5}} {{1,2},{3,5},{4},{6}} => {{1,2},{3,5},{4},{6}} {{1,2,6},{3},{4,5}} => {{1,2,5},{3},{4,6}} {{1,2},{3,6},{4,5}} => {{1,2},{3,5},{4,6}} {{1,2},{3},{4,5,6}} => {{1,2},{3},{4,5,6}} {{1,2},{3},{4,5},{6}} => {{1,2},{3},{4,5},{6}} {{1,2,6},{3},{4},{5}} => {{1,2,6},{3},{4},{5}} {{1,2},{3,6},{4},{5}} => {{1,2},{3,6},{4},{5}} {{1,2},{3},{4,6},{5}} => {{1,2},{3},{4,6},{5}} {{1,2},{3},{4},{5,6}} => {{1,2},{3},{4},{5,6}} {{1,2},{3},{4},{5},{6}} => {{1,2},{3},{4},{5},{6}} {{1,3,4,5,6},{2}} => {{1,3,4,5,6},{2}} {{1,3,4,5},{2,6}} => {{1,4,6},{2,3,5}} {{1,3,4,5},{2},{6}} => {{1,3,4,5},{2},{6}} {{1,3,4,6},{2,5}} => {{1,4,5},{2,3,6}} {{1,3,4},{2,5,6}} => {{1,4},{2,3,5,6}} {{1,3,4},{2,5},{6}} => {{1,4},{2,3,5},{6}} {{1,3,4,6},{2},{5}} => {{1,3,4,6},{2},{5}} {{1,3,4},{2,6},{5}} => {{1,4},{2,3,6},{5}} {{1,3,4},{2},{5,6}} => {{1,3,4},{2},{5,6}} {{1,3,4},{2},{5},{6}} => {{1,3,4},{2},{5},{6}} {{1,3,5,6},{2,4}} => {{1,5,6},{2,3,4}} {{1,3,5},{2,4,6}} => {{1,6},{2,3,4,5}} {{1,3,5},{2,4},{6}} => {{1,5},{2,3,4},{6}} {{1,3,6},{2,4,5}} => {{1,5},{2,3,4,6}} {{1,3},{2,4,5,6}} => {{1,4,5,6},{2,3}} {{1,3},{2,4,5},{6}} => {{1,4,5},{2,3},{6}} {{1,3,6},{2,4},{5}} => {{1,6},{2,3,4},{5}} {{1,3},{2,4,6},{5}} => {{1,4,6},{2,3},{5}} {{1,3},{2,4},{5,6}} => {{1,4},{2,3},{5,6}} {{1,3},{2,4},{5},{6}} => {{1,4},{2,3},{5},{6}} {{1,3,5,6},{2},{4}} => {{1,3,5,6},{2},{4}} {{1,3,5},{2,6},{4}} => {{1,5},{2,3,6},{4}} {{1,3,5},{2},{4,6}} => {{1,3,6},{2},{4,5}} {{1,3,5},{2},{4},{6}} => {{1,3,5},{2},{4},{6}} {{1,3,6},{2,5},{4}} => {{1,6},{2,3,5},{4}} {{1,3},{2,5,6},{4}} => {{1,5,6},{2,3},{4}} {{1,3},{2,5},{4,6}} => {{1,6},{2,3},{4,5}} {{1,3},{2,5},{4},{6}} => {{1,5},{2,3},{4},{6}} {{1,3,6},{2},{4,5}} => {{1,3,5},{2},{4,6}} {{1,3},{2,6},{4,5}} => {{1,5},{2,3},{4,6}} {{1,3},{2},{4,5,6}} => {{1,3},{2},{4,5,6}} {{1,3},{2},{4,5},{6}} => {{1,3},{2},{4,5},{6}} {{1,3,6},{2},{4},{5}} => {{1,3,6},{2},{4},{5}} {{1,3},{2,6},{4},{5}} => {{1,6},{2,3},{4},{5}} {{1,3},{2},{4,6},{5}} => {{1,3},{2},{4,6},{5}} {{1,3},{2},{4},{5,6}} => {{1,3},{2},{4},{5,6}} {{1,3},{2},{4},{5},{6}} => {{1,3},{2},{4},{5},{6}} {{1,4,5,6},{2,3}} => {{1,3},{2,4,5,6}} {{1,4,5},{2,3,6}} => {{1,3,4,6},{2,5}} {{1,4,5},{2,3},{6}} => {{1,3},{2,4,5},{6}} {{1,4,6},{2,3,5}} => {{1,3,4,5},{2,6}} {{1,4},{2,3,5,6}} => {{1,3,4},{2,5,6}} {{1,4},{2,3,5},{6}} => {{1,3,4},{2,5},{6}} {{1,4,6},{2,3},{5}} => {{1,3},{2,4,6},{5}} {{1,4},{2,3,6},{5}} => {{1,3,4},{2,6},{5}} {{1,4},{2,3},{5,6}} => {{1,3},{2,4},{5,6}} {{1,4},{2,3},{5},{6}} => {{1,3},{2,4},{5},{6}} {{1,5,6},{2,3,4}} => {{1,3,5,6},{2,4}} {{1,5},{2,3,4,6}} => {{1,3,6},{2,4,5}} {{1,5},{2,3,4},{6}} => {{1,3,5},{2,4},{6}} {{1,6},{2,3,4,5}} => {{1,3,5},{2,4,6}} {{1},{2,3,4,5,6}} => {{1},{2,3,4,5,6}} {{1},{2,3,4,5},{6}} => {{1},{2,3,4,5},{6}} {{1,6},{2,3,4},{5}} => {{1,3,6},{2,4},{5}} {{1},{2,3,4,6},{5}} => {{1},{2,3,4,6},{5}} {{1},{2,3,4},{5,6}} => {{1},{2,3,4},{5,6}} {{1},{2,3,4},{5},{6}} => {{1},{2,3,4},{5},{6}} {{1,5,6},{2,3},{4}} => {{1,3},{2,5,6},{4}} {{1,5},{2,3,6},{4}} => {{1,3,5},{2,6},{4}} {{1,5},{2,3},{4,6}} => {{1,3},{2,6},{4,5}} {{1,5},{2,3},{4},{6}} => {{1,3},{2,5},{4},{6}} {{1,6},{2,3,5},{4}} => {{1,3,6},{2,5},{4}} {{1},{2,3,5,6},{4}} => {{1},{2,3,5,6},{4}} {{1},{2,3,5},{4,6}} => {{1},{2,3,6},{4,5}} {{1},{2,3,5},{4},{6}} => {{1},{2,3,5},{4},{6}} {{1,6},{2,3},{4,5}} => {{1,3},{2,5},{4,6}} {{1},{2,3,6},{4,5}} => {{1},{2,3,5},{4,6}} {{1},{2,3},{4,5,6}} => {{1},{2,3},{4,5,6}} {{1},{2,3},{4,5},{6}} => {{1},{2,3},{4,5},{6}} {{1,6},{2,3},{4},{5}} => {{1,3},{2,6},{4},{5}} {{1},{2,3,6},{4},{5}} => {{1},{2,3,6},{4},{5}} {{1},{2,3},{4,6},{5}} => {{1},{2,3},{4,6},{5}} {{1},{2,3},{4},{5,6}} => {{1},{2,3},{4},{5,6}} {{1},{2,3},{4},{5},{6}} => {{1},{2,3},{4},{5},{6}} {{1,4,5,6},{2},{3}} => {{1,4,5,6},{2},{3}} {{1,4,5},{2,6},{3}} => {{1,5},{2,4,6},{3}} {{1,4,5},{2},{3,6}} => {{1,5},{2},{3,4,6}} {{1,4,5},{2},{3},{6}} => {{1,4,5},{2},{3},{6}} {{1,4,6},{2,5},{3}} => {{1,6},{2,4,5},{3}} {{1,4},{2,5,6},{3}} => {{1,5,6},{2,4},{3}} {{1,4},{2,5},{3,6}} => {{1,6},{2,5},{3,4}} {{1,4},{2,5},{3},{6}} => {{1,5},{2,4},{3},{6}} {{1,4,6},{2},{3,5}} => {{1,6},{2},{3,4,5}} {{1,4},{2,6},{3,5}} => {{1,5},{2,4},{3,6}} {{1,4},{2},{3,5,6}} => {{1,5,6},{2},{3,4}} {{1,4},{2},{3,5},{6}} => {{1,5},{2},{3,4},{6}} {{1,4,6},{2},{3},{5}} => {{1,4,6},{2},{3},{5}} {{1,4},{2,6},{3},{5}} => {{1,6},{2,4},{3},{5}} {{1,4},{2},{3,6},{5}} => {{1,6},{2},{3,4},{5}} {{1,4},{2},{3},{5,6}} => {{1,4},{2},{3},{5,6}} {{1,4},{2},{3},{5},{6}} => {{1,4},{2},{3},{5},{6}} {{1,5,6},{2,4},{3}} => {{1,4},{2,5,6},{3}} {{1,5},{2,4,6},{3}} => {{1,4,5},{2,6},{3}} {{1,5},{2,4},{3,6}} => {{1,4},{2,6},{3,5}} {{1,5},{2,4},{3},{6}} => {{1,4},{2,5},{3},{6}} {{1,6},{2,4,5},{3}} => {{1,4,6},{2,5},{3}} {{1},{2,4,5,6},{3}} => {{1},{2,4,5,6},{3}} {{1},{2,4,5},{3,6}} => {{1},{2,5},{3,4,6}} {{1},{2,4,5},{3},{6}} => {{1},{2,4,5},{3},{6}} {{1,6},{2,4},{3,5}} => {{1,5},{2,6},{3,4}} {{1},{2,4,6},{3,5}} => {{1},{2,6},{3,4,5}} {{1},{2,4},{3,5,6}} => {{1},{2,5,6},{3,4}} {{1},{2,4},{3,5},{6}} => {{1},{2,5},{3,4},{6}} {{1,6},{2,4},{3},{5}} => {{1,4},{2,6},{3},{5}} {{1},{2,4,6},{3},{5}} => {{1},{2,4,6},{3},{5}} {{1},{2,4},{3,6},{5}} => {{1},{2,6},{3,4},{5}} {{1},{2,4},{3},{5,6}} => {{1},{2,4},{3},{5,6}} {{1},{2,4},{3},{5},{6}} => {{1},{2,4},{3},{5},{6}} {{1,5,6},{2},{3,4}} => {{1,4},{2},{3,5,6}} {{1,5},{2,6},{3,4}} => {{1,6},{2,4},{3,5}} {{1,5},{2},{3,4,6}} => {{1,4,5},{2},{3,6}} {{1,5},{2},{3,4},{6}} => {{1,4},{2},{3,5},{6}} {{1,6},{2,5},{3,4}} => {{1,4},{2,5},{3,6}} {{1},{2,5,6},{3,4}} => {{1},{2,4},{3,5,6}} {{1},{2,5},{3,4,6}} => {{1},{2,4,5},{3,6}} {{1},{2,5},{3,4},{6}} => {{1},{2,4},{3,5},{6}} {{1,6},{2},{3,4,5}} => {{1,4,6},{2},{3,5}} {{1},{2,6},{3,4,5}} => {{1},{2,4,6},{3,5}} {{1},{2},{3,4,5,6}} => {{1},{2},{3,4,5,6}} {{1},{2},{3,4,5},{6}} => {{1},{2},{3,4,5},{6}} {{1,6},{2},{3,4},{5}} => {{1,4},{2},{3,6},{5}} {{1},{2,6},{3,4},{5}} => {{1},{2,4},{3,6},{5}} {{1},{2},{3,4,6},{5}} => {{1},{2},{3,4,6},{5}} {{1},{2},{3,4},{5,6}} => {{1},{2},{3,4},{5,6}} {{1},{2},{3,4},{5},{6}} => {{1},{2},{3,4},{5},{6}} {{1,5,6},{2},{3},{4}} => {{1,5,6},{2},{3},{4}} {{1,5},{2,6},{3},{4}} => {{1,6},{2,5},{3},{4}} {{1,5},{2},{3,6},{4}} => {{1,6},{2},{3,5},{4}} {{1,5},{2},{3},{4,6}} => {{1,6},{2},{3},{4,5}} {{1,5},{2},{3},{4},{6}} => {{1,5},{2},{3},{4},{6}} {{1,6},{2,5},{3},{4}} => {{1,5},{2,6},{3},{4}} {{1},{2,5,6},{3},{4}} => {{1},{2,5,6},{3},{4}} {{1},{2,5},{3,6},{4}} => {{1},{2,6},{3,5},{4}} {{1},{2,5},{3},{4,6}} => {{1},{2,6},{3},{4,5}} {{1},{2,5},{3},{4},{6}} => {{1},{2,5},{3},{4},{6}} {{1,6},{2},{3,5},{4}} => {{1,5},{2},{3,6},{4}} {{1},{2,6},{3,5},{4}} => {{1},{2,5},{3,6},{4}} {{1},{2},{3,5,6},{4}} => {{1},{2},{3,5,6},{4}} {{1},{2},{3,5},{4,6}} => {{1},{2},{3,6},{4,5}} {{1},{2},{3,5},{4},{6}} => {{1},{2},{3,5},{4},{6}} {{1,6},{2},{3},{4,5}} => {{1,5},{2},{3},{4,6}} {{1},{2,6},{3},{4,5}} => {{1},{2,5},{3},{4,6}} {{1},{2},{3,6},{4,5}} => {{1},{2},{3,5},{4,6}} {{1},{2},{3},{4,5,6}} => {{1},{2},{3},{4,5,6}} {{1},{2},{3},{4,5},{6}} => {{1},{2},{3},{4,5},{6}} {{1,6},{2},{3},{4},{5}} => {{1,6},{2},{3},{4},{5}} {{1},{2,6},{3},{4},{5}} => {{1},{2,6},{3},{4},{5}} {{1},{2},{3,6},{4},{5}} => {{1},{2},{3,6},{4},{5}} {{1},{2},{3},{4,6},{5}} => {{1},{2},{3},{4,6},{5}} {{1},{2},{3},{4},{5,6}} => {{1},{2},{3},{4},{5,6}} {{1},{2},{3},{4},{5},{6}} => {{1},{2},{3},{4},{5},{6}} {{1,2,3,4,5,6,7}} => {{1,2,3,4,5,6,7}} {{1,2,3,4,5,6},{7}} => {{1,2,3,4,5,6},{7}} {{1,2,3,4,5,7},{6}} => {{1,2,3,4,5,7},{6}} {{1,2,3,4,5},{6,7}} => {{1,2,3,4,5},{6,7}} {{1,2,3,4,5},{6},{7}} => {{1,2,3,4,5},{6},{7}} {{1,2,3,4,6,7},{5}} => {{1,2,3,4,6,7},{5}} {{1,2,3,4,6},{5,7}} => {{1,2,3,4,7},{5,6}} {{1,2,3,4,6},{5},{7}} => {{1,2,3,4,6},{5},{7}} {{1,2,3,4,7},{5,6}} => {{1,2,3,4,6},{5,7}} {{1,2,3,4},{5,6,7}} => {{1,2,3,4},{5,6,7}} {{1,2,3,4},{5,6},{7}} => {{1,2,3,4},{5,6},{7}} {{1,2,3,4,7},{5},{6}} => {{1,2,3,4,7},{5},{6}} {{1,2,3,4},{5,7},{6}} => {{1,2,3,4},{5,7},{6}} {{1,2,3,4},{5},{6,7}} => {{1,2,3,4},{5},{6,7}} {{1,2,3,4},{5},{6},{7}} => {{1,2,3,4},{5},{6},{7}} {{1,2,3,5,6,7},{4}} => {{1,2,3,5,6,7},{4}} {{1,2,3,5,6},{4,7}} => {{1,2,3,6},{4,5,7}} {{1,2,3,5,6},{4},{7}} => {{1,2,3,5,6},{4},{7}} {{1,2,3,5,7},{4,6}} => {{1,2,3,7},{4,5,6}} {{1,2,3,5},{4,6,7}} => {{1,2,3,6,7},{4,5}} {{1,2,3,5},{4,6},{7}} => {{1,2,3,6},{4,5},{7}} {{1,2,3,5,7},{4},{6}} => {{1,2,3,5,7},{4},{6}} {{1,2,3,5},{4,7},{6}} => {{1,2,3,7},{4,5},{6}} {{1,2,3,5},{4},{6,7}} => {{1,2,3,5},{4},{6,7}} {{1,2,3,5},{4},{6},{7}} => {{1,2,3,5},{4},{6},{7}} {{1,2,3,6,7},{4,5}} => {{1,2,3,5},{4,6,7}} {{1,2,3,6},{4,5,7}} => {{1,2,3,5,6},{4,7}} {{1,2,3,6},{4,5},{7}} => {{1,2,3,5},{4,6},{7}} {{1,2,3,7},{4,5,6}} => {{1,2,3,5,7},{4,6}} {{1,2,3},{4,5,6,7}} => {{1,2,3},{4,5,6,7}} {{1,2,3},{4,5,6},{7}} => {{1,2,3},{4,5,6},{7}} {{1,2,3,7},{4,5},{6}} => {{1,2,3,5},{4,7},{6}} {{1,2,3},{4,5,7},{6}} => {{1,2,3},{4,5,7},{6}} {{1,2,3},{4,5},{6,7}} => {{1,2,3},{4,5},{6,7}} {{1,2,3},{4,5},{6},{7}} => {{1,2,3},{4,5},{6},{7}} {{1,2,3,6,7},{4},{5}} => {{1,2,3,6,7},{4},{5}} {{1,2,3,6},{4,7},{5}} => {{1,2,3,7},{4,6},{5}} {{1,2,3,6},{4},{5,7}} => {{1,2,3,7},{4},{5,6}} {{1,2,3,6},{4},{5},{7}} => {{1,2,3,6},{4},{5},{7}} {{1,2,3,7},{4,6},{5}} => {{1,2,3,6},{4,7},{5}} {{1,2,3},{4,6,7},{5}} => {{1,2,3},{4,6,7},{5}} {{1,2,3},{4,6},{5,7}} => {{1,2,3},{4,7},{5,6}} {{1,2,3},{4,6},{5},{7}} => {{1,2,3},{4,6},{5},{7}} {{1,2,3,7},{4},{5,6}} => {{1,2,3,6},{4},{5,7}} {{1,2,3},{4,7},{5,6}} => {{1,2,3},{4,6},{5,7}} {{1,2,3},{4},{5,6,7}} => {{1,2,3},{4},{5,6,7}} {{1,2,3},{4},{5,6},{7}} => {{1,2,3},{4},{5,6},{7}} {{1,2,3,7},{4},{5},{6}} => {{1,2,3,7},{4},{5},{6}} {{1,2,3},{4,7},{5},{6}} => {{1,2,3},{4,7},{5},{6}} {{1,2,3},{4},{5,7},{6}} => {{1,2,3},{4},{5,7},{6}} {{1,2,3},{4},{5},{6,7}} => {{1,2,3},{4},{5},{6,7}} {{1,2,3},{4},{5},{6},{7}} => {{1,2,3},{4},{5},{6},{7}} {{1,2,4,5,6,7},{3}} => {{1,2,4,5,6,7},{3}} {{1,2,4,5,6},{3,7}} => {{1,2,5,7},{3,4,6}} {{1,2,4,5,6},{3},{7}} => {{1,2,4,5,6},{3},{7}} {{1,2,4,5,7},{3,6}} => {{1,2,5,6},{3,4,7}} {{1,2,4,5},{3,6,7}} => {{1,2,5},{3,4,6,7}} {{1,2,4,5},{3,6},{7}} => {{1,2,5},{3,4,6},{7}} {{1,2,4,5,7},{3},{6}} => {{1,2,4,5,7},{3},{6}} {{1,2,4,5},{3,7},{6}} => {{1,2,5},{3,4,7},{6}} {{1,2,4,5},{3},{6,7}} => {{1,2,4,5},{3},{6,7}} {{1,2,4,5},{3},{6},{7}} => {{1,2,4,5},{3},{6},{7}} {{1,2,4,6,7},{3,5}} => {{1,2,6,7},{3,4,5}} {{1,2,4,6},{3,5,7}} => {{1,2,7},{3,4,5,6}} {{1,2,4,6},{3,5},{7}} => {{1,2,6},{3,4,5},{7}} {{1,2,4,7},{3,5,6}} => {{1,2,6},{3,4,5,7}} {{1,2,4},{3,5,6,7}} => {{1,2,5,6,7},{3,4}} {{1,2,4},{3,5,6},{7}} => {{1,2,5,6},{3,4},{7}} {{1,2,4,7},{3,5},{6}} => {{1,2,7},{3,4,5},{6}} {{1,2,4},{3,5,7},{6}} => {{1,2,5,7},{3,4},{6}} {{1,2,4},{3,5},{6,7}} => {{1,2,5},{3,4},{6,7}} {{1,2,4},{3,5},{6},{7}} => {{1,2,5},{3,4},{6},{7}} {{1,2,4,6,7},{3},{5}} => {{1,2,4,6,7},{3},{5}} {{1,2,4,6},{3,7},{5}} => {{1,2,6},{3,4,7},{5}} {{1,2,4,6},{3},{5,7}} => {{1,2,4,7},{3},{5,6}} {{1,2,4,6},{3},{5},{7}} => {{1,2,4,6},{3},{5},{7}} {{1,2,4,7},{3,6},{5}} => {{1,2,7},{3,4,6},{5}} {{1,2,4},{3,6,7},{5}} => {{1,2,6,7},{3,4},{5}} {{1,2,4},{3,6},{5,7}} => {{1,2,7},{3,4},{5,6}} {{1,2,4},{3,6},{5},{7}} => {{1,2,6},{3,4},{5},{7}} {{1,2,4,7},{3},{5,6}} => {{1,2,4,6},{3},{5,7}} {{1,2,4},{3,7},{5,6}} => {{1,2,6},{3,4},{5,7}} {{1,2,4},{3},{5,6,7}} => {{1,2,4},{3},{5,6,7}} {{1,2,4},{3},{5,6},{7}} => {{1,2,4},{3},{5,6},{7}} {{1,2,4,7},{3},{5},{6}} => {{1,2,4,7},{3},{5},{6}} {{1,2,4},{3,7},{5},{6}} => {{1,2,7},{3,4},{5},{6}} {{1,2,4},{3},{5,7},{6}} => {{1,2,4},{3},{5,7},{6}} {{1,2,4},{3},{5},{6,7}} => {{1,2,4},{3},{5},{6,7}} {{1,2,4},{3},{5},{6},{7}} => {{1,2,4},{3},{5},{6},{7}} {{1,2,5,6,7},{3,4}} => {{1,2,4},{3,5,6,7}} {{1,2,5,6},{3,4,7}} => {{1,2,4,5,7},{3,6}} {{1,2,5,6},{3,4},{7}} => {{1,2,4},{3,5,6},{7}} {{1,2,5,7},{3,4,6}} => {{1,2,4,5,6},{3,7}} {{1,2,5},{3,4,6,7}} => {{1,2,4,5},{3,6,7}} {{1,2,5},{3,4,6},{7}} => {{1,2,4,5},{3,6},{7}} {{1,2,5,7},{3,4},{6}} => {{1,2,4},{3,5,7},{6}} {{1,2,5},{3,4,7},{6}} => {{1,2,4,5},{3,7},{6}} {{1,2,5},{3,4},{6,7}} => {{1,2,4},{3,5},{6,7}} {{1,2,5},{3,4},{6},{7}} => {{1,2,4},{3,5},{6},{7}} {{1,2,6,7},{3,4,5}} => {{1,2,4,6,7},{3,5}} {{1,2,6},{3,4,5,7}} => {{1,2,4,7},{3,5,6}} {{1,2,6},{3,4,5},{7}} => {{1,2,4,6},{3,5},{7}} {{1,2,7},{3,4,5,6}} => {{1,2,4,6},{3,5,7}} {{1,2},{3,4,5,6,7}} => {{1,2},{3,4,5,6,7}} {{1,2},{3,4,5,6},{7}} => {{1,2},{3,4,5,6},{7}} {{1,2,7},{3,4,5},{6}} => {{1,2,4,7},{3,5},{6}} {{1,2},{3,4,5,7},{6}} => {{1,2},{3,4,5,7},{6}} {{1,2},{3,4,5},{6,7}} => {{1,2},{3,4,5},{6,7}} {{1,2},{3,4,5},{6},{7}} => {{1,2},{3,4,5},{6},{7}} {{1,2,6,7},{3,4},{5}} => {{1,2,4},{3,6,7},{5}} {{1,2,6},{3,4,7},{5}} => {{1,2,4,6},{3,7},{5}} {{1,2,6},{3,4},{5,7}} => {{1,2,4},{3,7},{5,6}} {{1,2,6},{3,4},{5},{7}} => {{1,2,4},{3,6},{5},{7}} {{1,2,7},{3,4,6},{5}} => {{1,2,4,7},{3,6},{5}} {{1,2},{3,4,6,7},{5}} => {{1,2},{3,4,6,7},{5}} {{1,2},{3,4,6},{5,7}} => {{1,2},{3,4,7},{5,6}} {{1,2},{3,4,6},{5},{7}} => {{1,2},{3,4,6},{5},{7}} {{1,2,7},{3,4},{5,6}} => {{1,2,4},{3,6},{5,7}} {{1,2},{3,4,7},{5,6}} => {{1,2},{3,4,6},{5,7}} {{1,2},{3,4},{5,6,7}} => {{1,2},{3,4},{5,6,7}} {{1,2},{3,4},{5,6},{7}} => {{1,2},{3,4},{5,6},{7}} {{1,2,7},{3,4},{5},{6}} => {{1,2,4},{3,7},{5},{6}} {{1,2},{3,4,7},{5},{6}} => {{1,2},{3,4,7},{5},{6}} {{1,2},{3,4},{5,7},{6}} => {{1,2},{3,4},{5,7},{6}} {{1,2},{3,4},{5},{6,7}} => {{1,2},{3,4},{5},{6,7}} {{1,2},{3,4},{5},{6},{7}} => {{1,2},{3,4},{5},{6},{7}} {{1,2,5,6,7},{3},{4}} => {{1,2,5,6,7},{3},{4}} {{1,2,5,6},{3,7},{4}} => {{1,2,6},{3,5,7},{4}} {{1,2,5,6},{3},{4,7}} => {{1,2,6},{3},{4,5,7}} {{1,2,5,6},{3},{4},{7}} => {{1,2,5,6},{3},{4},{7}} {{1,2,5,7},{3,6},{4}} => {{1,2,7},{3,5,6},{4}} {{1,2,5},{3,6,7},{4}} => {{1,2,6,7},{3,5},{4}} {{1,2,5},{3,6},{4,7}} => {{1,2,7},{3,6},{4,5}} {{1,2,5},{3,6},{4},{7}} => {{1,2,6},{3,5},{4},{7}} {{1,2,5,7},{3},{4,6}} => {{1,2,7},{3},{4,5,6}} {{1,2,5},{3,7},{4,6}} => {{1,2,6},{3,5},{4,7}} {{1,2,5},{3},{4,6,7}} => {{1,2,6,7},{3},{4,5}} {{1,2,5},{3},{4,6},{7}} => {{1,2,6},{3},{4,5},{7}} {{1,2,5,7},{3},{4},{6}} => {{1,2,5,7},{3},{4},{6}} {{1,2,5},{3,7},{4},{6}} => {{1,2,7},{3,5},{4},{6}} {{1,2,5},{3},{4,7},{6}} => {{1,2,7},{3},{4,5},{6}} {{1,2,5},{3},{4},{6,7}} => {{1,2,5},{3},{4},{6,7}} {{1,2,5},{3},{4},{6},{7}} => {{1,2,5},{3},{4},{6},{7}} {{1,2,6,7},{3,5},{4}} => {{1,2,5},{3,6,7},{4}} {{1,2,6},{3,5,7},{4}} => {{1,2,5,6},{3,7},{4}} {{1,2,6},{3,5},{4,7}} => {{1,2,5},{3,7},{4,6}} {{1,2,6},{3,5},{4},{7}} => {{1,2,5},{3,6},{4},{7}} {{1,2,7},{3,5,6},{4}} => {{1,2,5,7},{3,6},{4}} {{1,2},{3,5,6,7},{4}} => {{1,2},{3,5,6,7},{4}} {{1,2},{3,5,6},{4,7}} => {{1,2},{3,6},{4,5,7}} {{1,2},{3,5,6},{4},{7}} => {{1,2},{3,5,6},{4},{7}} {{1,2,7},{3,5},{4,6}} => {{1,2,6},{3,7},{4,5}} {{1,2},{3,5,7},{4,6}} => {{1,2},{3,7},{4,5,6}} {{1,2},{3,5},{4,6,7}} => {{1,2},{3,6,7},{4,5}} {{1,2},{3,5},{4,6},{7}} => {{1,2},{3,6},{4,5},{7}} {{1,2,7},{3,5},{4},{6}} => {{1,2,5},{3,7},{4},{6}} {{1,2},{3,5,7},{4},{6}} => {{1,2},{3,5,7},{4},{6}} {{1,2},{3,5},{4,7},{6}} => {{1,2},{3,7},{4,5},{6}} {{1,2},{3,5},{4},{6,7}} => {{1,2},{3,5},{4},{6,7}} {{1,2},{3,5},{4},{6},{7}} => {{1,2},{3,5},{4},{6},{7}} {{1,2,6,7},{3},{4,5}} => {{1,2,5},{3},{4,6,7}} {{1,2,6},{3,7},{4,5}} => {{1,2,7},{3,5},{4,6}} {{1,2,6},{3},{4,5,7}} => {{1,2,5,6},{3},{4,7}} {{1,2,6},{3},{4,5},{7}} => {{1,2,5},{3},{4,6},{7}} {{1,2,7},{3,6},{4,5}} => {{1,2,5},{3,6},{4,7}} {{1,2},{3,6,7},{4,5}} => {{1,2},{3,5},{4,6,7}} {{1,2},{3,6},{4,5,7}} => {{1,2},{3,5,6},{4,7}} {{1,2},{3,6},{4,5},{7}} => {{1,2},{3,5},{4,6},{7}} {{1,2,7},{3},{4,5,6}} => {{1,2,5,7},{3},{4,6}} {{1,2},{3,7},{4,5,6}} => {{1,2},{3,5,7},{4,6}} {{1,2},{3},{4,5,6,7}} => {{1,2},{3},{4,5,6,7}} {{1,2},{3},{4,5,6},{7}} => {{1,2},{3},{4,5,6},{7}} {{1,2,7},{3},{4,5},{6}} => {{1,2,5},{3},{4,7},{6}} {{1,2},{3,7},{4,5},{6}} => {{1,2},{3,5},{4,7},{6}} {{1,2},{3},{4,5,7},{6}} => {{1,2},{3},{4,5,7},{6}} {{1,2},{3},{4,5},{6,7}} => {{1,2},{3},{4,5},{6,7}} {{1,2},{3},{4,5},{6},{7}} => {{1,2},{3},{4,5},{6},{7}} {{1,2,6,7},{3},{4},{5}} => {{1,2,6,7},{3},{4},{5}} {{1,2,6},{3,7},{4},{5}} => {{1,2,7},{3,6},{4},{5}} {{1,2,6},{3},{4,7},{5}} => {{1,2,7},{3},{4,6},{5}} {{1,2,6},{3},{4},{5,7}} => {{1,2,7},{3},{4},{5,6}} {{1,2,6},{3},{4},{5},{7}} => {{1,2,6},{3},{4},{5},{7}} {{1,2,7},{3,6},{4},{5}} => {{1,2,6},{3,7},{4},{5}} {{1,2},{3,6,7},{4},{5}} => {{1,2},{3,6,7},{4},{5}} {{1,2},{3,6},{4,7},{5}} => {{1,2},{3,7},{4,6},{5}} {{1,2},{3,6},{4},{5,7}} => {{1,2},{3,7},{4},{5,6}} {{1,2},{3,6},{4},{5},{7}} => {{1,2},{3,6},{4},{5},{7}} {{1,2,7},{3},{4,6},{5}} => {{1,2,6},{3},{4,7},{5}} {{1,2},{3,7},{4,6},{5}} => {{1,2},{3,6},{4,7},{5}} {{1,2},{3},{4,6,7},{5}} => {{1,2},{3},{4,6,7},{5}} {{1,2},{3},{4,6},{5,7}} => {{1,2},{3},{4,7},{5,6}} {{1,2},{3},{4,6},{5},{7}} => {{1,2},{3},{4,6},{5},{7}} {{1,2,7},{3},{4},{5,6}} => {{1,2,6},{3},{4},{5,7}} {{1,2},{3,7},{4},{5,6}} => {{1,2},{3,6},{4},{5,7}} {{1,2},{3},{4,7},{5,6}} => {{1,2},{3},{4,6},{5,7}} {{1,2},{3},{4},{5,6,7}} => {{1,2},{3},{4},{5,6,7}} {{1,2},{3},{4},{5,6},{7}} => {{1,2},{3},{4},{5,6},{7}} {{1,2,7},{3},{4},{5},{6}} => {{1,2,7},{3},{4},{5},{6}} {{1,2},{3,7},{4},{5},{6}} => {{1,2},{3,7},{4},{5},{6}} {{1,2},{3},{4,7},{5},{6}} => {{1,2},{3},{4,7},{5},{6}} {{1,2},{3},{4},{5,7},{6}} => {{1,2},{3},{4},{5,7},{6}} {{1,2},{3},{4},{5},{6,7}} => {{1,2},{3},{4},{5},{6,7}} {{1,2},{3},{4},{5},{6},{7}} => {{1,2},{3},{4},{5},{6},{7}} {{1,3,4,5,6,7},{2}} => {{1,3,4,5,6,7},{2}} {{1,3,4,5,6},{2,7}} => {{1,4,6},{2,3,5,7}} {{1,3,4,5,6},{2},{7}} => {{1,3,4,5,6},{2},{7}} {{1,3,4,5,7},{2,6}} => {{1,4,7},{2,3,5,6}} {{1,3,4,5},{2,6,7}} => {{1,4,6,7},{2,3,5}} {{1,3,4,5},{2,6},{7}} => {{1,4,6},{2,3,5},{7}} {{1,3,4,5,7},{2},{6}} => {{1,3,4,5,7},{2},{6}} {{1,3,4,5},{2,7},{6}} => {{1,4,7},{2,3,5},{6}} {{1,3,4,5},{2},{6,7}} => {{1,3,4,5},{2},{6,7}} {{1,3,4,5},{2},{6},{7}} => {{1,3,4,5},{2},{6},{7}} {{1,3,4,6,7},{2,5}} => {{1,4,5},{2,3,6,7}} {{1,3,4,6},{2,5,7}} => {{1,4,5,6},{2,3,7}} {{1,3,4,6},{2,5},{7}} => {{1,4,5},{2,3,6},{7}} {{1,3,4,7},{2,5,6}} => {{1,4,5,7},{2,3,6}} {{1,3,4},{2,5,6,7}} => {{1,4},{2,3,5,6,7}} {{1,3,4},{2,5,6},{7}} => {{1,4},{2,3,5,6},{7}} {{1,3,4,7},{2,5},{6}} => {{1,4,5},{2,3,7},{6}} {{1,3,4},{2,5,7},{6}} => {{1,4},{2,3,5,7},{6}} {{1,3,4},{2,5},{6,7}} => {{1,4},{2,3,5},{6,7}} {{1,3,4},{2,5},{6},{7}} => {{1,4},{2,3,5},{6},{7}} {{1,3,4,6,7},{2},{5}} => {{1,3,4,6,7},{2},{5}} {{1,3,4,6},{2,7},{5}} => {{1,4,7},{2,3,6},{5}} {{1,3,4,6},{2},{5,7}} => {{1,3,4,7},{2},{5,6}} {{1,3,4,6},{2},{5},{7}} => {{1,3,4,6},{2},{5},{7}} {{1,3,4,7},{2,6},{5}} => {{1,4,6},{2,3,7},{5}} {{1,3,4},{2,6,7},{5}} => {{1,4},{2,3,6,7},{5}} {{1,3,4},{2,6},{5,7}} => {{1,4},{2,3,7},{5,6}} {{1,3,4},{2,6},{5},{7}} => {{1,4},{2,3,6},{5},{7}} {{1,3,4,7},{2},{5,6}} => {{1,3,4,6},{2},{5,7}} {{1,3,4},{2,7},{5,6}} => {{1,4},{2,3,6},{5,7}} {{1,3,4},{2},{5,6,7}} => {{1,3,4},{2},{5,6,7}} {{1,3,4},{2},{5,6},{7}} => {{1,3,4},{2},{5,6},{7}} {{1,3,4,7},{2},{5},{6}} => {{1,3,4,7},{2},{5},{6}} {{1,3,4},{2,7},{5},{6}} => {{1,4},{2,3,7},{5},{6}} {{1,3,4},{2},{5,7},{6}} => {{1,3,4},{2},{5,7},{6}} {{1,3,4},{2},{5},{6,7}} => {{1,3,4},{2},{5},{6,7}} {{1,3,4},{2},{5},{6},{7}} => {{1,3,4},{2},{5},{6},{7}} {{1,3,5,6,7},{2,4}} => {{1,5,6,7},{2,3,4}} {{1,3,5,6},{2,4,7}} => {{1,6},{2,3,4,5,7}} {{1,3,5,6},{2,4},{7}} => {{1,5,6},{2,3,4},{7}} {{1,3,5,7},{2,4,6}} => {{1,7},{2,3,4,5,6}} {{1,3,5},{2,4,6,7}} => {{1,6,7},{2,3,4,5}} {{1,3,5},{2,4,6},{7}} => {{1,6},{2,3,4,5},{7}} {{1,3,5,7},{2,4},{6}} => {{1,5,7},{2,3,4},{6}} {{1,3,5},{2,4,7},{6}} => {{1,7},{2,3,4,5},{6}} {{1,3,5},{2,4},{6,7}} => {{1,5},{2,3,4},{6,7}} {{1,3,5},{2,4},{6},{7}} => {{1,5},{2,3,4},{6},{7}} {{1,3,6,7},{2,4,5}} => {{1,5},{2,3,4,6,7}} {{1,3,6},{2,4,5,7}} => {{1,5,6},{2,3,4,7}} {{1,3,6},{2,4,5},{7}} => {{1,5},{2,3,4,6},{7}} {{1,3,7},{2,4,5,6}} => {{1,5,7},{2,3,4,6}} {{1,3},{2,4,5,6,7}} => {{1,4,5,6,7},{2,3}} {{1,3},{2,4,5,6},{7}} => {{1,4,5,6},{2,3},{7}} {{1,3,7},{2,4,5},{6}} => {{1,5},{2,3,4,7},{6}} {{1,3},{2,4,5,7},{6}} => {{1,4,5,7},{2,3},{6}} {{1,3},{2,4,5},{6,7}} => {{1,4,5},{2,3},{6,7}} {{1,3},{2,4,5},{6},{7}} => {{1,4,5},{2,3},{6},{7}} {{1,3,6,7},{2,4},{5}} => {{1,6,7},{2,3,4},{5}} {{1,3,6},{2,4,7},{5}} => {{1,7},{2,3,4,6},{5}} {{1,3,6},{2,4},{5,7}} => {{1,7},{2,3,4},{5,6}} {{1,3,6},{2,4},{5},{7}} => {{1,6},{2,3,4},{5},{7}} {{1,3,7},{2,4,6},{5}} => {{1,6},{2,3,4,7},{5}} {{1,3},{2,4,6,7},{5}} => {{1,4,6,7},{2,3},{5}} {{1,3},{2,4,6},{5,7}} => {{1,4,7},{2,3},{5,6}} {{1,3},{2,4,6},{5},{7}} => {{1,4,6},{2,3},{5},{7}} {{1,3,7},{2,4},{5,6}} => {{1,6},{2,3,4},{5,7}} {{1,3},{2,4,7},{5,6}} => {{1,4,6},{2,3},{5,7}} {{1,3},{2,4},{5,6,7}} => {{1,4},{2,3},{5,6,7}} {{1,3},{2,4},{5,6},{7}} => {{1,4},{2,3},{5,6},{7}} {{1,3,7},{2,4},{5},{6}} => {{1,7},{2,3,4},{5},{6}} {{1,3},{2,4,7},{5},{6}} => {{1,4,7},{2,3},{5},{6}} {{1,3},{2,4},{5,7},{6}} => {{1,4},{2,3},{5,7},{6}} {{1,3},{2,4},{5},{6,7}} => {{1,4},{2,3},{5},{6,7}} {{1,3},{2,4},{5},{6},{7}} => {{1,4},{2,3},{5},{6},{7}} {{1,3,5,6,7},{2},{4}} => {{1,3,5,6,7},{2},{4}} {{1,3,5,6},{2,7},{4}} => {{1,5,7},{2,3,6},{4}} {{1,3,5,6},{2},{4,7}} => {{1,3,6},{2},{4,5,7}} {{1,3,5,6},{2},{4},{7}} => {{1,3,5,6},{2},{4},{7}} {{1,3,5,7},{2,6},{4}} => {{1,5,6},{2,3,7},{4}} {{1,3,5},{2,6,7},{4}} => {{1,5},{2,3,6,7},{4}} {{1,3,5},{2,6},{4,7}} => {{1,5},{2,3,7},{4,6}} {{1,3,5},{2,6},{4},{7}} => {{1,5},{2,3,6},{4},{7}} {{1,3,5,7},{2},{4,6}} => {{1,3,7},{2},{4,5,6}} {{1,3,5},{2,7},{4,6}} => {{1,6},{2,3,7},{4,5}} {{1,3,5},{2},{4,6,7}} => {{1,3,6,7},{2},{4,5}} {{1,3,5},{2},{4,6},{7}} => {{1,3,6},{2},{4,5},{7}} {{1,3,5,7},{2},{4},{6}} => {{1,3,5,7},{2},{4},{6}} {{1,3,5},{2,7},{4},{6}} => {{1,5},{2,3,7},{4},{6}} {{1,3,5},{2},{4,7},{6}} => {{1,3,7},{2},{4,5},{6}} {{1,3,5},{2},{4},{6,7}} => {{1,3,5},{2},{4},{6,7}} {{1,3,5},{2},{4},{6},{7}} => {{1,3,5},{2},{4},{6},{7}} {{1,3,6,7},{2,5},{4}} => {{1,6,7},{2,3,5},{4}} {{1,3,6},{2,5,7},{4}} => {{1,7},{2,3,5,6},{4}} {{1,3,6},{2,5},{4,7}} => {{1,7},{2,3,6},{4,5}} {{1,3,6},{2,5},{4},{7}} => {{1,6},{2,3,5},{4},{7}} {{1,3,7},{2,5,6},{4}} => {{1,6},{2,3,5,7},{4}} {{1,3},{2,5,6,7},{4}} => {{1,5,6,7},{2,3},{4}} {{1,3},{2,5,6},{4,7}} => {{1,6},{2,3},{4,5,7}} {{1,3},{2,5,6},{4},{7}} => {{1,5,6},{2,3},{4},{7}} {{1,3,7},{2,5},{4,6}} => {{1,6},{2,3,5},{4,7}} {{1,3},{2,5,7},{4,6}} => {{1,7},{2,3},{4,5,6}} {{1,3},{2,5},{4,6,7}} => {{1,6,7},{2,3},{4,5}} {{1,3},{2,5},{4,6},{7}} => {{1,6},{2,3},{4,5},{7}} {{1,3,7},{2,5},{4},{6}} => {{1,7},{2,3,5},{4},{6}} {{1,3},{2,5,7},{4},{6}} => {{1,5,7},{2,3},{4},{6}} {{1,3},{2,5},{4,7},{6}} => {{1,7},{2,3},{4,5},{6}} {{1,3},{2,5},{4},{6,7}} => {{1,5},{2,3},{4},{6,7}} {{1,3},{2,5},{4},{6},{7}} => {{1,5},{2,3},{4},{6},{7}} {{1,3,6,7},{2},{4,5}} => {{1,3,5},{2},{4,6,7}} {{1,3,6},{2,7},{4,5}} => {{1,5},{2,3,6},{4,7}} {{1,3,6},{2},{4,5,7}} => {{1,3,5,6},{2},{4,7}} {{1,3,6},{2},{4,5},{7}} => {{1,3,5},{2},{4,6},{7}} {{1,3,7},{2,6},{4,5}} => {{1,7},{2,3,5},{4,6}} {{1,3},{2,6,7},{4,5}} => {{1,5},{2,3},{4,6,7}} {{1,3},{2,6},{4,5,7}} => {{1,5,6},{2,3},{4,7}} {{1,3},{2,6},{4,5},{7}} => {{1,5},{2,3},{4,6},{7}} {{1,3,7},{2},{4,5,6}} => {{1,3,5,7},{2},{4,6}} {{1,3},{2,7},{4,5,6}} => {{1,5,7},{2,3},{4,6}} {{1,3},{2},{4,5,6,7}} => {{1,3},{2},{4,5,6,7}} {{1,3},{2},{4,5,6},{7}} => {{1,3},{2},{4,5,6},{7}} {{1,3,7},{2},{4,5},{6}} => {{1,3,5},{2},{4,7},{6}} {{1,3},{2,7},{4,5},{6}} => {{1,5},{2,3},{4,7},{6}} {{1,3},{2},{4,5,7},{6}} => {{1,3},{2},{4,5,7},{6}} {{1,3},{2},{4,5},{6,7}} => {{1,3},{2},{4,5},{6,7}} {{1,3},{2},{4,5},{6},{7}} => {{1,3},{2},{4,5},{6},{7}} {{1,3,6,7},{2},{4},{5}} => {{1,3,6,7},{2},{4},{5}} {{1,3,6},{2,7},{4},{5}} => {{1,6},{2,3,7},{4},{5}} {{1,3,6},{2},{4,7},{5}} => {{1,3,7},{2},{4,6},{5}} {{1,3,6},{2},{4},{5,7}} => {{1,3,7},{2},{4},{5,6}} {{1,3,6},{2},{4},{5},{7}} => {{1,3,6},{2},{4},{5},{7}} {{1,3,7},{2,6},{4},{5}} => {{1,7},{2,3,6},{4},{5}} {{1,3},{2,6,7},{4},{5}} => {{1,6,7},{2,3},{4},{5}} {{1,3},{2,6},{4,7},{5}} => {{1,7},{2,3},{4,6},{5}} {{1,3},{2,6},{4},{5,7}} => {{1,7},{2,3},{4},{5,6}} {{1,3},{2,6},{4},{5},{7}} => {{1,6},{2,3},{4},{5},{7}} {{1,3,7},{2},{4,6},{5}} => {{1,3,6},{2},{4,7},{5}} {{1,3},{2,7},{4,6},{5}} => {{1,6},{2,3},{4,7},{5}} {{1,3},{2},{4,6,7},{5}} => {{1,3},{2},{4,6,7},{5}} {{1,3},{2},{4,6},{5,7}} => {{1,3},{2},{4,7},{5,6}} {{1,3},{2},{4,6},{5},{7}} => {{1,3},{2},{4,6},{5},{7}} {{1,3,7},{2},{4},{5,6}} => {{1,3,6},{2},{4},{5,7}} {{1,3},{2,7},{4},{5,6}} => {{1,6},{2,3},{4},{5,7}} {{1,3},{2},{4,7},{5,6}} => {{1,3},{2},{4,6},{5,7}} {{1,3},{2},{4},{5,6,7}} => {{1,3},{2},{4},{5,6,7}} {{1,3},{2},{4},{5,6},{7}} => {{1,3},{2},{4},{5,6},{7}} {{1,3,7},{2},{4},{5},{6}} => {{1,3,7},{2},{4},{5},{6}} {{1,3},{2,7},{4},{5},{6}} => {{1,7},{2,3},{4},{5},{6}} {{1,3},{2},{4,7},{5},{6}} => {{1,3},{2},{4,7},{5},{6}} {{1,3},{2},{4},{5,7},{6}} => {{1,3},{2},{4},{5,7},{6}} {{1,3},{2},{4},{5},{6,7}} => {{1,3},{2},{4},{5},{6,7}} {{1,3},{2},{4},{5},{6},{7}} => {{1,3},{2},{4},{5},{6},{7}} {{1,4,5,6,7},{2,3}} => {{1,3},{2,4,5,6,7}} {{1,4,5,6},{2,3,7}} => {{1,3,4,6},{2,5,7}} {{1,4,5,6},{2,3},{7}} => {{1,3},{2,4,5,6},{7}} {{1,4,5,7},{2,3,6}} => {{1,3,4,7},{2,5,6}} {{1,4,5},{2,3,6,7}} => {{1,3,4,6,7},{2,5}} {{1,4,5},{2,3,6},{7}} => {{1,3,4,6},{2,5},{7}} {{1,4,5,7},{2,3},{6}} => {{1,3},{2,4,5,7},{6}} {{1,4,5},{2,3,7},{6}} => {{1,3,4,7},{2,5},{6}} {{1,4,5},{2,3},{6,7}} => {{1,3},{2,4,5},{6,7}} {{1,4,5},{2,3},{6},{7}} => {{1,3},{2,4,5},{6},{7}} {{1,4,6,7},{2,3,5}} => {{1,3,4,5},{2,6,7}} {{1,4,6},{2,3,5,7}} => {{1,3,4,5,6},{2,7}} {{1,4,6},{2,3,5},{7}} => {{1,3,4,5},{2,6},{7}} {{1,4,7},{2,3,5,6}} => {{1,3,4,5,7},{2,6}} {{1,4},{2,3,5,6,7}} => {{1,3,4},{2,5,6,7}} {{1,4},{2,3,5,6},{7}} => {{1,3,4},{2,5,6},{7}} {{1,4,7},{2,3,5},{6}} => {{1,3,4,5},{2,7},{6}} {{1,4},{2,3,5,7},{6}} => {{1,3,4},{2,5,7},{6}} {{1,4},{2,3,5},{6,7}} => {{1,3,4},{2,5},{6,7}} {{1,4},{2,3,5},{6},{7}} => {{1,3,4},{2,5},{6},{7}} {{1,4,6,7},{2,3},{5}} => {{1,3},{2,4,6,7},{5}} {{1,4,6},{2,3,7},{5}} => {{1,3,4,7},{2,6},{5}} {{1,4,6},{2,3},{5,7}} => {{1,3},{2,4,7},{5,6}} {{1,4,6},{2,3},{5},{7}} => {{1,3},{2,4,6},{5},{7}} {{1,4,7},{2,3,6},{5}} => {{1,3,4,6},{2,7},{5}} {{1,4},{2,3,6,7},{5}} => {{1,3,4},{2,6,7},{5}} {{1,4},{2,3,6},{5,7}} => {{1,3,4},{2,7},{5,6}} {{1,4},{2,3,6},{5},{7}} => {{1,3,4},{2,6},{5},{7}} {{1,4,7},{2,3},{5,6}} => {{1,3},{2,4,6},{5,7}} {{1,4},{2,3,7},{5,6}} => {{1,3,4},{2,6},{5,7}} {{1,4},{2,3},{5,6,7}} => {{1,3},{2,4},{5,6,7}} {{1,4},{2,3},{5,6},{7}} => {{1,3},{2,4},{5,6},{7}} {{1,4,7},{2,3},{5},{6}} => {{1,3},{2,4,7},{5},{6}} {{1,4},{2,3,7},{5},{6}} => {{1,3,4},{2,7},{5},{6}} {{1,4},{2,3},{5,7},{6}} => {{1,3},{2,4},{5,7},{6}} {{1,4},{2,3},{5},{6,7}} => {{1,3},{2,4},{5},{6,7}} {{1,4},{2,3},{5},{6},{7}} => {{1,3},{2,4},{5},{6},{7}} {{1,5,6,7},{2,3,4}} => {{1,3,5,6,7},{2,4}} {{1,5,6},{2,3,4,7}} => {{1,3,6},{2,4,5,7}} {{1,5,6},{2,3,4},{7}} => {{1,3,5,6},{2,4},{7}} {{1,5,7},{2,3,4,6}} => {{1,3,7},{2,4,5,6}} {{1,5},{2,3,4,6,7}} => {{1,3,6,7},{2,4,5}} {{1,5},{2,3,4,6},{7}} => {{1,3,6},{2,4,5},{7}} {{1,5,7},{2,3,4},{6}} => {{1,3,5,7},{2,4},{6}} {{1,5},{2,3,4,7},{6}} => {{1,3,7},{2,4,5},{6}} {{1,5},{2,3,4},{6,7}} => {{1,3,5},{2,4},{6,7}} {{1,5},{2,3,4},{6},{7}} => {{1,3,5},{2,4},{6},{7}} {{1,6,7},{2,3,4,5}} => {{1,3,5},{2,4,6,7}} {{1,6},{2,3,4,5,7}} => {{1,3,5,6},{2,4,7}} {{1,6},{2,3,4,5},{7}} => {{1,3,5},{2,4,6},{7}} {{1,7},{2,3,4,5,6}} => {{1,3,5,7},{2,4,6}} {{1},{2,3,4,5,6,7}} => {{1},{2,3,4,5,6,7}} {{1},{2,3,4,5,6},{7}} => {{1},{2,3,4,5,6},{7}} {{1,7},{2,3,4,5},{6}} => {{1,3,5},{2,4,7},{6}} {{1},{2,3,4,5,7},{6}} => {{1},{2,3,4,5,7},{6}} {{1},{2,3,4,5},{6,7}} => {{1},{2,3,4,5},{6,7}} {{1},{2,3,4,5},{6},{7}} => {{1},{2,3,4,5},{6},{7}} {{1,6,7},{2,3,4},{5}} => {{1,3,6,7},{2,4},{5}} {{1,6},{2,3,4,7},{5}} => {{1,3,7},{2,4,6},{5}} {{1,6},{2,3,4},{5,7}} => {{1,3,7},{2,4},{5,6}} {{1,6},{2,3,4},{5},{7}} => {{1,3,6},{2,4},{5},{7}} {{1,7},{2,3,4,6},{5}} => {{1,3,6},{2,4,7},{5}} {{1},{2,3,4,6,7},{5}} => {{1},{2,3,4,6,7},{5}} {{1},{2,3,4,6},{5,7}} => {{1},{2,3,4,7},{5,6}} {{1},{2,3,4,6},{5},{7}} => {{1},{2,3,4,6},{5},{7}} {{1,7},{2,3,4},{5,6}} => {{1,3,6},{2,4},{5,7}} {{1},{2,3,4,7},{5,6}} => {{1},{2,3,4,6},{5,7}} {{1},{2,3,4},{5,6,7}} => {{1},{2,3,4},{5,6,7}} {{1},{2,3,4},{5,6},{7}} => {{1},{2,3,4},{5,6},{7}} {{1,7},{2,3,4},{5},{6}} => {{1,3,7},{2,4},{5},{6}} {{1},{2,3,4,7},{5},{6}} => {{1},{2,3,4,7},{5},{6}} {{1},{2,3,4},{5,7},{6}} => {{1},{2,3,4},{5,7},{6}} {{1},{2,3,4},{5},{6,7}} => {{1},{2,3,4},{5},{6,7}} {{1},{2,3,4},{5},{6},{7}} => {{1},{2,3,4},{5},{6},{7}} {{1,5,6,7},{2,3},{4}} => {{1,3},{2,5,6,7},{4}} {{1,5,6},{2,3,7},{4}} => {{1,3,5,7},{2,6},{4}} {{1,5,6},{2,3},{4,7}} => {{1,3},{2,6},{4,5,7}} {{1,5,6},{2,3},{4},{7}} => {{1,3},{2,5,6},{4},{7}} {{1,5,7},{2,3,6},{4}} => {{1,3,5,6},{2,7},{4}} {{1,5},{2,3,6,7},{4}} => {{1,3,5},{2,6,7},{4}} {{1,5},{2,3,6},{4,7}} => {{1,3,6},{2,7},{4,5}} {{1,5},{2,3,6},{4},{7}} => {{1,3,5},{2,6},{4},{7}} {{1,5,7},{2,3},{4,6}} => {{1,3},{2,7},{4,5,6}} {{1,5},{2,3,7},{4,6}} => {{1,3,5},{2,6},{4,7}} {{1,5},{2,3},{4,6,7}} => {{1,3},{2,6,7},{4,5}} {{1,5},{2,3},{4,6},{7}} => {{1,3},{2,6},{4,5},{7}} {{1,5,7},{2,3},{4},{6}} => {{1,3},{2,5,7},{4},{6}} {{1,5},{2,3,7},{4},{6}} => {{1,3,5},{2,7},{4},{6}} {{1,5},{2,3},{4,7},{6}} => {{1,3},{2,7},{4,5},{6}} {{1,5},{2,3},{4},{6,7}} => {{1,3},{2,5},{4},{6,7}} {{1,5},{2,3},{4},{6},{7}} => {{1,3},{2,5},{4},{6},{7}} {{1,6,7},{2,3,5},{4}} => {{1,3,6,7},{2,5},{4}} {{1,6},{2,3,5,7},{4}} => {{1,3,7},{2,5,6},{4}} {{1,6},{2,3,5},{4,7}} => {{1,3,7},{2,5},{4,6}} {{1,6},{2,3,5},{4},{7}} => {{1,3,6},{2,5},{4},{7}} {{1,7},{2,3,5,6},{4}} => {{1,3,6},{2,5,7},{4}} {{1},{2,3,5,6,7},{4}} => {{1},{2,3,5,6,7},{4}} {{1},{2,3,5,6},{4,7}} => {{1},{2,3,6},{4,5,7}} {{1},{2,3,5,6},{4},{7}} => {{1},{2,3,5,6},{4},{7}} {{1,7},{2,3,5},{4,6}} => {{1,3,7},{2,6},{4,5}} {{1},{2,3,5,7},{4,6}} => {{1},{2,3,7},{4,5,6}} {{1},{2,3,5},{4,6,7}} => {{1},{2,3,6,7},{4,5}} {{1},{2,3,5},{4,6},{7}} => {{1},{2,3,6},{4,5},{7}} {{1,7},{2,3,5},{4},{6}} => {{1,3,7},{2,5},{4},{6}} {{1},{2,3,5,7},{4},{6}} => {{1},{2,3,5,7},{4},{6}} {{1},{2,3,5},{4,7},{6}} => {{1},{2,3,7},{4,5},{6}} {{1},{2,3,5},{4},{6,7}} => {{1},{2,3,5},{4},{6,7}} {{1},{2,3,5},{4},{6},{7}} => {{1},{2,3,5},{4},{6},{7}} {{1,6,7},{2,3},{4,5}} => {{1,3},{2,5},{4,6,7}} {{1,6},{2,3,7},{4,5}} => {{1,3,5},{2,7},{4,6}} {{1,6},{2,3},{4,5,7}} => {{1,3},{2,5,6},{4,7}} {{1,6},{2,3},{4,5},{7}} => {{1,3},{2,5},{4,6},{7}} {{1,7},{2,3,6},{4,5}} => {{1,3,6},{2,5},{4,7}} {{1},{2,3,6,7},{4,5}} => {{1},{2,3,5},{4,6,7}} {{1},{2,3,6},{4,5,7}} => {{1},{2,3,5,6},{4,7}} {{1},{2,3,6},{4,5},{7}} => {{1},{2,3,5},{4,6},{7}} {{1,7},{2,3},{4,5,6}} => {{1,3},{2,5,7},{4,6}} {{1},{2,3,7},{4,5,6}} => {{1},{2,3,5,7},{4,6}} {{1},{2,3},{4,5,6,7}} => {{1},{2,3},{4,5,6,7}} {{1},{2,3},{4,5,6},{7}} => {{1},{2,3},{4,5,6},{7}} {{1,7},{2,3},{4,5},{6}} => {{1,3},{2,5},{4,7},{6}} {{1},{2,3,7},{4,5},{6}} => {{1},{2,3,5},{4,7},{6}} {{1},{2,3},{4,5,7},{6}} => {{1},{2,3},{4,5,7},{6}} {{1},{2,3},{4,5},{6,7}} => {{1},{2,3},{4,5},{6,7}} {{1},{2,3},{4,5},{6},{7}} => {{1},{2,3},{4,5},{6},{7}} {{1,6,7},{2,3},{4},{5}} => {{1,3},{2,6,7},{4},{5}} {{1,6},{2,3,7},{4},{5}} => {{1,3,6},{2,7},{4},{5}} {{1,6},{2,3},{4,7},{5}} => {{1,3},{2,7},{4,6},{5}} {{1,6},{2,3},{4},{5,7}} => {{1,3},{2,7},{4},{5,6}} {{1,6},{2,3},{4},{5},{7}} => {{1,3},{2,6},{4},{5},{7}} {{1,7},{2,3,6},{4},{5}} => {{1,3,7},{2,6},{4},{5}} {{1},{2,3,6,7},{4},{5}} => {{1},{2,3,6,7},{4},{5}} {{1},{2,3,6},{4,7},{5}} => {{1},{2,3,7},{4,6},{5}} {{1},{2,3,6},{4},{5,7}} => {{1},{2,3,7},{4},{5,6}} {{1},{2,3,6},{4},{5},{7}} => {{1},{2,3,6},{4},{5},{7}} {{1,7},{2,3},{4,6},{5}} => {{1,3},{2,6},{4,7},{5}} {{1},{2,3,7},{4,6},{5}} => {{1},{2,3,6},{4,7},{5}} {{1},{2,3},{4,6,7},{5}} => {{1},{2,3},{4,6,7},{5}} {{1},{2,3},{4,6},{5,7}} => {{1},{2,3},{4,7},{5,6}} {{1},{2,3},{4,6},{5},{7}} => {{1},{2,3},{4,6},{5},{7}} {{1,7},{2,3},{4},{5,6}} => {{1,3},{2,6},{4},{5,7}} {{1},{2,3,7},{4},{5,6}} => {{1},{2,3,6},{4},{5,7}} {{1},{2,3},{4,7},{5,6}} => {{1},{2,3},{4,6},{5,7}} {{1},{2,3},{4},{5,6,7}} => {{1},{2,3},{4},{5,6,7}} {{1},{2,3},{4},{5,6},{7}} => {{1},{2,3},{4},{5,6},{7}} {{1,7},{2,3},{4},{5},{6}} => {{1,3},{2,7},{4},{5},{6}} {{1},{2,3,7},{4},{5},{6}} => {{1},{2,3,7},{4},{5},{6}} {{1},{2,3},{4,7},{5},{6}} => {{1},{2,3},{4,7},{5},{6}} {{1},{2,3},{4},{5,7},{6}} => {{1},{2,3},{4},{5,7},{6}} {{1},{2,3},{4},{5},{6,7}} => {{1},{2,3},{4},{5},{6,7}} {{1},{2,3},{4},{5},{6},{7}} => {{1},{2,3},{4},{5},{6},{7}} {{1,4,5,6,7},{2},{3}} => {{1,4,5,6,7},{2},{3}} {{1,4,5,6},{2,7},{3}} => {{1,5,7},{2,4,6},{3}} {{1,4,5,6},{2},{3,7}} => {{1,5,7},{2},{3,4,6}} {{1,4,5,6},{2},{3},{7}} => {{1,4,5,6},{2},{3},{7}} {{1,4,5,7},{2,6},{3}} => {{1,5,6},{2,4,7},{3}} {{1,4,5},{2,6,7},{3}} => {{1,5},{2,4,6,7},{3}} {{1,4,5},{2,6},{3,7}} => {{1,7},{2,5},{3,4,6}} {{1,4,5},{2,6},{3},{7}} => {{1,5},{2,4,6},{3},{7}} {{1,4,5,7},{2},{3,6}} => {{1,5,6},{2},{3,4,7}} {{1,4,5},{2,7},{3,6}} => {{1,5},{2,4,7},{3,6}} {{1,4,5},{2},{3,6,7}} => {{1,5},{2},{3,4,6,7}} {{1,4,5},{2},{3,6},{7}} => {{1,5},{2},{3,4,6},{7}} {{1,4,5,7},{2},{3},{6}} => {{1,4,5,7},{2},{3},{6}} {{1,4,5},{2,7},{3},{6}} => {{1,5},{2,4,7},{3},{6}} {{1,4,5},{2},{3,7},{6}} => {{1,5},{2},{3,4,7},{6}} {{1,4,5},{2},{3},{6,7}} => {{1,4,5},{2},{3},{6,7}} {{1,4,5},{2},{3},{6},{7}} => {{1,4,5},{2},{3},{6},{7}} {{1,4,6,7},{2,5},{3}} => {{1,6,7},{2,4,5},{3}} {{1,4,6},{2,5,7},{3}} => {{1,7},{2,4,5,6},{3}} {{1,4,6},{2,5},{3,7}} => {{1,6},{2,5},{3,4,7}} {{1,4,6},{2,5},{3},{7}} => {{1,6},{2,4,5},{3},{7}} {{1,4,7},{2,5,6},{3}} => {{1,6},{2,4,5,7},{3}} {{1,4},{2,5,6,7},{3}} => {{1,5,6,7},{2,4},{3}} {{1,4},{2,5,6},{3,7}} => {{1,6},{2,5,7},{3,4}} {{1,4},{2,5,6},{3},{7}} => {{1,5,6},{2,4},{3},{7}} {{1,4,7},{2,5},{3,6}} => {{1,7},{2,6},{3,4,5}} {{1,4},{2,5,7},{3,6}} => {{1,7},{2,5,6},{3,4}} {{1,4},{2,5},{3,6,7}} => {{1,6,7},{2,5},{3,4}} {{1,4},{2,5},{3,6},{7}} => {{1,6},{2,5},{3,4},{7}} {{1,4,7},{2,5},{3},{6}} => {{1,7},{2,4,5},{3},{6}} {{1,4},{2,5,7},{3},{6}} => {{1,5,7},{2,4},{3},{6}} {{1,4},{2,5},{3,7},{6}} => {{1,7},{2,5},{3,4},{6}} {{1,4},{2,5},{3},{6,7}} => {{1,5},{2,4},{3},{6,7}} {{1,4},{2,5},{3},{6},{7}} => {{1,5},{2,4},{3},{6},{7}} {{1,4,6,7},{2},{3,5}} => {{1,6,7},{2},{3,4,5}} {{1,4,6},{2,7},{3,5}} => {{1,6},{2,4,5},{3,7}} {{1,4,6},{2},{3,5,7}} => {{1,7},{2},{3,4,5,6}} {{1,4,6},{2},{3,5},{7}} => {{1,6},{2},{3,4,5},{7}} {{1,4,7},{2,6},{3,5}} => {{1,5},{2,4,6},{3,7}} {{1,4},{2,6,7},{3,5}} => {{1,5},{2,4},{3,6,7}} {{1,4},{2,6},{3,5,7}} => {{1,5,6},{2,4},{3,7}} {{1,4},{2,6},{3,5},{7}} => {{1,5},{2,4},{3,6},{7}} {{1,4,7},{2},{3,5,6}} => {{1,6},{2},{3,4,5,7}} {{1,4},{2,7},{3,5,6}} => {{1,5,7},{2,4},{3,6}} {{1,4},{2},{3,5,6,7}} => {{1,5,6,7},{2},{3,4}} {{1,4},{2},{3,5,6},{7}} => {{1,5,6},{2},{3,4},{7}} {{1,4,7},{2},{3,5},{6}} => {{1,7},{2},{3,4,5},{6}} {{1,4},{2,7},{3,5},{6}} => {{1,5},{2,4},{3,7},{6}} {{1,4},{2},{3,5,7},{6}} => {{1,5,7},{2},{3,4},{6}} {{1,4},{2},{3,5},{6,7}} => {{1,5},{2},{3,4},{6,7}} {{1,4},{2},{3,5},{6},{7}} => {{1,5},{2},{3,4},{6},{7}} {{1,4,6,7},{2},{3},{5}} => {{1,4,6,7},{2},{3},{5}} {{1,4,6},{2,7},{3},{5}} => {{1,6},{2,4,7},{3},{5}} {{1,4,6},{2},{3,7},{5}} => {{1,6},{2},{3,4,7},{5}} {{1,4,6},{2},{3},{5,7}} => {{1,4,7},{2},{3},{5,6}} {{1,4,6},{2},{3},{5},{7}} => {{1,4,6},{2},{3},{5},{7}} {{1,4,7},{2,6},{3},{5}} => {{1,7},{2,4,6},{3},{5}} {{1,4},{2,6,7},{3},{5}} => {{1,6,7},{2,4},{3},{5}} {{1,4},{2,6},{3,7},{5}} => {{1,7},{2,6},{3,4},{5}} {{1,4},{2,6},{3},{5,7}} => {{1,7},{2,4},{3},{5,6}} {{1,4},{2,6},{3},{5},{7}} => {{1,6},{2,4},{3},{5},{7}} {{1,4,7},{2},{3,6},{5}} => {{1,7},{2},{3,4,6},{5}} {{1,4},{2,7},{3,6},{5}} => {{1,6},{2,4},{3,7},{5}} {{1,4},{2},{3,6,7},{5}} => {{1,6,7},{2},{3,4},{5}} {{1,4},{2},{3,6},{5,7}} => {{1,7},{2},{3,4},{5,6}} {{1,4},{2},{3,6},{5},{7}} => {{1,6},{2},{3,4},{5},{7}} {{1,4,7},{2},{3},{5,6}} => {{1,4,6},{2},{3},{5,7}} {{1,4},{2,7},{3},{5,6}} => {{1,6},{2,4},{3},{5,7}} {{1,4},{2},{3,7},{5,6}} => {{1,6},{2},{3,4},{5,7}} {{1,4},{2},{3},{5,6,7}} => {{1,4},{2},{3},{5,6,7}} {{1,4},{2},{3},{5,6},{7}} => {{1,4},{2},{3},{5,6},{7}} {{1,4,7},{2},{3},{5},{6}} => {{1,4,7},{2},{3},{5},{6}} {{1,4},{2,7},{3},{5},{6}} => {{1,7},{2,4},{3},{5},{6}} {{1,4},{2},{3,7},{5},{6}} => {{1,7},{2},{3,4},{5},{6}} {{1,4},{2},{3},{5,7},{6}} => {{1,4},{2},{3},{5,7},{6}} {{1,4},{2},{3},{5},{6,7}} => {{1,4},{2},{3},{5},{6,7}} {{1,4},{2},{3},{5},{6},{7}} => {{1,4},{2},{3},{5},{6},{7}} {{1,5,6,7},{2,4},{3}} => {{1,4},{2,5,6,7},{3}} {{1,5,6},{2,4,7},{3}} => {{1,4,5,7},{2,6},{3}} {{1,5,6},{2,4},{3,7}} => {{1,4},{2,6},{3,5,7}} {{1,5,6},{2,4},{3},{7}} => {{1,4},{2,5,6},{3},{7}} {{1,5,7},{2,4,6},{3}} => {{1,4,5,6},{2,7},{3}} {{1,5},{2,4,6,7},{3}} => {{1,4,5},{2,6,7},{3}} {{1,5},{2,4,6},{3,7}} => {{1,4,7},{2,6},{3,5}} {{1,5},{2,4,6},{3},{7}} => {{1,4,5},{2,6},{3},{7}} {{1,5,7},{2,4},{3,6}} => {{1,4},{2,7},{3,5,6}} {{1,5},{2,4,7},{3,6}} => {{1,4,5},{2,7},{3,6}} {{1,5},{2,4},{3,6,7}} => {{1,4},{2,6,7},{3,5}} {{1,5},{2,4},{3,6},{7}} => {{1,4},{2,6},{3,5},{7}} {{1,5,7},{2,4},{3},{6}} => {{1,4},{2,5,7},{3},{6}} {{1,5},{2,4,7},{3},{6}} => {{1,4,5},{2,7},{3},{6}} {{1,5},{2,4},{3,7},{6}} => {{1,4},{2,7},{3,5},{6}} {{1,5},{2,4},{3},{6,7}} => {{1,4},{2,5},{3},{6,7}} {{1,5},{2,4},{3},{6},{7}} => {{1,4},{2,5},{3},{6},{7}} {{1,6,7},{2,4,5},{3}} => {{1,4,6,7},{2,5},{3}} {{1,6},{2,4,5,7},{3}} => {{1,4,7},{2,5,6},{3}} {{1,6},{2,4,5},{3,7}} => {{1,4,6},{2,7},{3,5}} {{1,6},{2,4,5},{3},{7}} => {{1,4,6},{2,5},{3},{7}} {{1,7},{2,4,5,6},{3}} => {{1,4,6},{2,5,7},{3}} {{1},{2,4,5,6,7},{3}} => {{1},{2,4,5,6,7},{3}} {{1},{2,4,5,6},{3,7}} => {{1},{2,5,7},{3,4,6}} {{1},{2,4,5,6},{3},{7}} => {{1},{2,4,5,6},{3},{7}} {{1,7},{2,4,5},{3,6}} => {{1,5},{2,6},{3,4,7}} {{1},{2,4,5,7},{3,6}} => {{1},{2,5,6},{3,4,7}} {{1},{2,4,5},{3,6,7}} => {{1},{2,5},{3,4,6,7}} {{1},{2,4,5},{3,6},{7}} => {{1},{2,5},{3,4,6},{7}} {{1,7},{2,4,5},{3},{6}} => {{1,4,7},{2,5},{3},{6}} {{1},{2,4,5,7},{3},{6}} => {{1},{2,4,5,7},{3},{6}} {{1},{2,4,5},{3,7},{6}} => {{1},{2,5},{3,4,7},{6}} {{1},{2,4,5},{3},{6,7}} => {{1},{2,4,5},{3},{6,7}} {{1},{2,4,5},{3},{6},{7}} => {{1},{2,4,5},{3},{6},{7}} {{1,6,7},{2,4},{3,5}} => {{1,5},{2,6,7},{3,4}} {{1,6},{2,4,7},{3,5}} => {{1,5},{2,7},{3,4,6}} {{1,6},{2,4},{3,5,7}} => {{1,5,6},{2,7},{3,4}} {{1,6},{2,4},{3,5},{7}} => {{1,5},{2,6},{3,4},{7}} {{1,7},{2,4,6},{3,5}} => {{1,6},{2,7},{3,4,5}} {{1},{2,4,6,7},{3,5}} => {{1},{2,6,7},{3,4,5}} {{1},{2,4,6},{3,5,7}} => {{1},{2,7},{3,4,5,6}} {{1},{2,4,6},{3,5},{7}} => {{1},{2,6},{3,4,5},{7}} {{1,7},{2,4},{3,5,6}} => {{1,5,7},{2,6},{3,4}} {{1},{2,4,7},{3,5,6}} => {{1},{2,6},{3,4,5,7}} {{1},{2,4},{3,5,6,7}} => {{1},{2,5,6,7},{3,4}} {{1},{2,4},{3,5,6},{7}} => {{1},{2,5,6},{3,4},{7}} {{1,7},{2,4},{3,5},{6}} => {{1,5},{2,7},{3,4},{6}} {{1},{2,4,7},{3,5},{6}} => {{1},{2,7},{3,4,5},{6}} {{1},{2,4},{3,5,7},{6}} => {{1},{2,5,7},{3,4},{6}} {{1},{2,4},{3,5},{6,7}} => {{1},{2,5},{3,4},{6,7}} {{1},{2,4},{3,5},{6},{7}} => {{1},{2,5},{3,4},{6},{7}} {{1,6,7},{2,4},{3},{5}} => {{1,4},{2,6,7},{3},{5}} {{1,6},{2,4,7},{3},{5}} => {{1,4,6},{2,7},{3},{5}} {{1,6},{2,4},{3,7},{5}} => {{1,4},{2,7},{3,6},{5}} {{1,6},{2,4},{3},{5,7}} => {{1,4},{2,7},{3},{5,6}} {{1,6},{2,4},{3},{5},{7}} => {{1,4},{2,6},{3},{5},{7}} {{1,7},{2,4,6},{3},{5}} => {{1,4,7},{2,6},{3},{5}} {{1},{2,4,6,7},{3},{5}} => {{1},{2,4,6,7},{3},{5}} {{1},{2,4,6},{3,7},{5}} => {{1},{2,6},{3,4,7},{5}} {{1},{2,4,6},{3},{5,7}} => {{1},{2,4,7},{3},{5,6}} {{1},{2,4,6},{3},{5},{7}} => {{1},{2,4,6},{3},{5},{7}} {{1,7},{2,4},{3,6},{5}} => {{1,6},{2,7},{3,4},{5}} {{1},{2,4,7},{3,6},{5}} => {{1},{2,7},{3,4,6},{5}} {{1},{2,4},{3,6,7},{5}} => {{1},{2,6,7},{3,4},{5}} {{1},{2,4},{3,6},{5,7}} => {{1},{2,7},{3,4},{5,6}} {{1},{2,4},{3,6},{5},{7}} => {{1},{2,6},{3,4},{5},{7}} {{1,7},{2,4},{3},{5,6}} => {{1,4},{2,6},{3},{5,7}} {{1},{2,4,7},{3},{5,6}} => {{1},{2,4,6},{3},{5,7}} {{1},{2,4},{3,7},{5,6}} => {{1},{2,6},{3,4},{5,7}} {{1},{2,4},{3},{5,6,7}} => {{1},{2,4},{3},{5,6,7}} {{1},{2,4},{3},{5,6},{7}} => {{1},{2,4},{3},{5,6},{7}} {{1,7},{2,4},{3},{5},{6}} => {{1,4},{2,7},{3},{5},{6}} {{1},{2,4,7},{3},{5},{6}} => {{1},{2,4,7},{3},{5},{6}} {{1},{2,4},{3,7},{5},{6}} => {{1},{2,7},{3,4},{5},{6}} {{1},{2,4},{3},{5,7},{6}} => {{1},{2,4},{3},{5,7},{6}} {{1},{2,4},{3},{5},{6,7}} => {{1},{2,4},{3},{5},{6,7}} {{1},{2,4},{3},{5},{6},{7}} => {{1},{2,4},{3},{5},{6},{7}} {{1,5,6,7},{2},{3,4}} => {{1,4},{2},{3,5,6,7}} {{1,5,6},{2,7},{3,4}} => {{1,6},{2,4},{3,5,7}} {{1,5,6},{2},{3,4,7}} => {{1,4,5,7},{2},{3,6}} {{1,5,6},{2},{3,4},{7}} => {{1,4},{2},{3,5,6},{7}} {{1,5,7},{2,6},{3,4}} => {{1,7},{2,4},{3,5,6}} {{1,5},{2,6,7},{3,4}} => {{1,6,7},{2,4},{3,5}} {{1,5},{2,6},{3,4,7}} => {{1,7},{2,4,5},{3,6}} {{1,5},{2,6},{3,4},{7}} => {{1,6},{2,4},{3,5},{7}} {{1,5,7},{2},{3,4,6}} => {{1,4,5,6},{2},{3,7}} {{1,5},{2,7},{3,4,6}} => {{1,6},{2,4,7},{3,5}} {{1,5},{2},{3,4,6,7}} => {{1,4,5},{2},{3,6,7}} {{1,5},{2},{3,4,6},{7}} => {{1,4,5},{2},{3,6},{7}} {{1,5,7},{2},{3,4},{6}} => {{1,4},{2},{3,5,7},{6}} {{1,5},{2,7},{3,4},{6}} => {{1,7},{2,4},{3,5},{6}} {{1,5},{2},{3,4,7},{6}} => {{1,4,5},{2},{3,7},{6}} {{1,5},{2},{3,4},{6,7}} => {{1,4},{2},{3,5},{6,7}} {{1,5},{2},{3,4},{6},{7}} => {{1,4},{2},{3,5},{6},{7}} {{1,6,7},{2,5},{3,4}} => {{1,4},{2,5},{3,6,7}} {{1,6},{2,5,7},{3,4}} => {{1,4},{2,5,6},{3,7}} {{1,6},{2,5},{3,4,7}} => {{1,4,6},{2,5},{3,7}} {{1,6},{2,5},{3,4},{7}} => {{1,4},{2,5},{3,6},{7}} {{1,7},{2,5,6},{3,4}} => {{1,4},{2,5,7},{3,6}} {{1},{2,5,6,7},{3,4}} => {{1},{2,4},{3,5,6,7}} {{1},{2,5,6},{3,4,7}} => {{1},{2,4,5,7},{3,6}} {{1},{2,5,6},{3,4},{7}} => {{1},{2,4},{3,5,6},{7}} {{1,7},{2,5},{3,4,6}} => {{1,4,5},{2,6},{3,7}} {{1},{2,5,7},{3,4,6}} => {{1},{2,4,5,6},{3,7}} {{1},{2,5},{3,4,6,7}} => {{1},{2,4,5},{3,6,7}} {{1},{2,5},{3,4,6},{7}} => {{1},{2,4,5},{3,6},{7}} {{1,7},{2,5},{3,4},{6}} => {{1,4},{2,5},{3,7},{6}} {{1},{2,5,7},{3,4},{6}} => {{1},{2,4},{3,5,7},{6}} {{1},{2,5},{3,4,7},{6}} => {{1},{2,4,5},{3,7},{6}} {{1},{2,5},{3,4},{6,7}} => {{1},{2,4},{3,5},{6,7}} {{1},{2,5},{3,4},{6},{7}} => {{1},{2,4},{3,5},{6},{7}} {{1,6,7},{2},{3,4,5}} => {{1,4,6,7},{2},{3,5}} {{1,6},{2,7},{3,4,5}} => {{1,7},{2,4,6},{3,5}} {{1,6},{2},{3,4,5,7}} => {{1,4,7},{2},{3,5,6}} {{1,6},{2},{3,4,5},{7}} => {{1,4,6},{2},{3,5},{7}} {{1,7},{2,6},{3,4,5}} => {{1,4,7},{2,5},{3,6}} {{1},{2,6,7},{3,4,5}} => {{1},{2,4,6,7},{3,5}} {{1},{2,6},{3,4,5,7}} => {{1},{2,4,7},{3,5,6}} {{1},{2,6},{3,4,5},{7}} => {{1},{2,4,6},{3,5},{7}} {{1,7},{2},{3,4,5,6}} => {{1,4,6},{2},{3,5,7}} {{1},{2,7},{3,4,5,6}} => {{1},{2,4,6},{3,5,7}} {{1},{2},{3,4,5,6,7}} => {{1},{2},{3,4,5,6,7}} {{1},{2},{3,4,5,6},{7}} => {{1},{2},{3,4,5,6},{7}} {{1,7},{2},{3,4,5},{6}} => {{1,4,7},{2},{3,5},{6}} {{1},{2,7},{3,4,5},{6}} => {{1},{2,4,7},{3,5},{6}} {{1},{2},{3,4,5,7},{6}} => {{1},{2},{3,4,5,7},{6}} {{1},{2},{3,4,5},{6,7}} => {{1},{2},{3,4,5},{6,7}} {{1},{2},{3,4,5},{6},{7}} => {{1},{2},{3,4,5},{6},{7}} {{1,6,7},{2},{3,4},{5}} => {{1,4},{2},{3,6,7},{5}} {{1,6},{2,7},{3,4},{5}} => {{1,7},{2,4},{3,6},{5}} {{1,6},{2},{3,4,7},{5}} => {{1,4,6},{2},{3,7},{5}} {{1,6},{2},{3,4},{5,7}} => {{1,4},{2},{3,7},{5,6}} {{1,6},{2},{3,4},{5},{7}} => {{1,4},{2},{3,6},{5},{7}} {{1,7},{2,6},{3,4},{5}} => {{1,4},{2,6},{3,7},{5}} {{1},{2,6,7},{3,4},{5}} => {{1},{2,4},{3,6,7},{5}} {{1},{2,6},{3,4,7},{5}} => {{1},{2,4,6},{3,7},{5}} {{1},{2,6},{3,4},{5,7}} => {{1},{2,4},{3,7},{5,6}} {{1},{2,6},{3,4},{5},{7}} => {{1},{2,4},{3,6},{5},{7}} {{1,7},{2},{3,4,6},{5}} => {{1,4,7},{2},{3,6},{5}} {{1},{2,7},{3,4,6},{5}} => {{1},{2,4,7},{3,6},{5}} {{1},{2},{3,4,6,7},{5}} => {{1},{2},{3,4,6,7},{5}} {{1},{2},{3,4,6},{5,7}} => {{1},{2},{3,4,7},{5,6}} {{1},{2},{3,4,6},{5},{7}} => {{1},{2},{3,4,6},{5},{7}} {{1,7},{2},{3,4},{5,6}} => {{1,4},{2},{3,6},{5,7}} {{1},{2,7},{3,4},{5,6}} => {{1},{2,4},{3,6},{5,7}} {{1},{2},{3,4,7},{5,6}} => {{1},{2},{3,4,6},{5,7}} {{1},{2},{3,4},{5,6,7}} => {{1},{2},{3,4},{5,6,7}} {{1},{2},{3,4},{5,6},{7}} => {{1},{2},{3,4},{5,6},{7}} {{1,7},{2},{3,4},{5},{6}} => {{1,4},{2},{3,7},{5},{6}} {{1},{2,7},{3,4},{5},{6}} => {{1},{2,4},{3,7},{5},{6}} {{1},{2},{3,4,7},{5},{6}} => {{1},{2},{3,4,7},{5},{6}} {{1},{2},{3,4},{5,7},{6}} => {{1},{2},{3,4},{5,7},{6}} {{1},{2},{3,4},{5},{6,7}} => {{1},{2},{3,4},{5},{6,7}} {{1},{2},{3,4},{5},{6},{7}} => {{1},{2},{3,4},{5},{6},{7}} {{1,5,6,7},{2},{3},{4}} => {{1,5,6,7},{2},{3},{4}} {{1,5,6},{2,7},{3},{4}} => {{1,6},{2,5,7},{3},{4}} {{1,5,6},{2},{3,7},{4}} => {{1,6},{2},{3,5,7},{4}} {{1,5,6},{2},{3},{4,7}} => {{1,6},{2},{3},{4,5,7}} {{1,5,6},{2},{3},{4},{7}} => {{1,5,6},{2},{3},{4},{7}} {{1,5,7},{2,6},{3},{4}} => {{1,7},{2,5,6},{3},{4}} {{1,5},{2,6,7},{3},{4}} => {{1,6,7},{2,5},{3},{4}} {{1,5},{2,6},{3,7},{4}} => {{1,7},{2,6},{3,5},{4}} {{1,5},{2,6},{3},{4,7}} => {{1,7},{2,6},{3},{4,5}} {{1,5},{2,6},{3},{4},{7}} => {{1,6},{2,5},{3},{4},{7}} {{1,5,7},{2},{3,6},{4}} => {{1,7},{2},{3,5,6},{4}} {{1,5},{2,7},{3,6},{4}} => {{1,6},{2,5},{3,7},{4}} {{1,5},{2},{3,6,7},{4}} => {{1,6,7},{2},{3,5},{4}} {{1,5},{2},{3,6},{4,7}} => {{1,7},{2},{3,6},{4,5}} {{1,5},{2},{3,6},{4},{7}} => {{1,6},{2},{3,5},{4},{7}} {{1,5,7},{2},{3},{4,6}} => {{1,7},{2},{3},{4,5,6}} {{1,5},{2,7},{3},{4,6}} => {{1,6},{2,5},{3},{4,7}} {{1,5},{2},{3,7},{4,6}} => {{1,6},{2},{3,5},{4,7}} {{1,5},{2},{3},{4,6,7}} => {{1,6,7},{2},{3},{4,5}} {{1,5},{2},{3},{4,6},{7}} => {{1,6},{2},{3},{4,5},{7}} {{1,5,7},{2},{3},{4},{6}} => {{1,5,7},{2},{3},{4},{6}} {{1,5},{2,7},{3},{4},{6}} => {{1,7},{2,5},{3},{4},{6}} {{1,5},{2},{3,7},{4},{6}} => {{1,7},{2},{3,5},{4},{6}} {{1,5},{2},{3},{4,7},{6}} => {{1,7},{2},{3},{4,5},{6}} {{1,5},{2},{3},{4},{6,7}} => {{1,5},{2},{3},{4},{6,7}} {{1,5},{2},{3},{4},{6},{7}} => {{1,5},{2},{3},{4},{6},{7}} {{1,6,7},{2,5},{3},{4}} => {{1,5},{2,6,7},{3},{4}} {{1,6},{2,5,7},{3},{4}} => {{1,5,6},{2,7},{3},{4}} {{1,6},{2,5},{3,7},{4}} => {{1,5},{2,7},{3,6},{4}} {{1,6},{2,5},{3},{4,7}} => {{1,5},{2,7},{3},{4,6}} {{1,6},{2,5},{3},{4},{7}} => {{1,5},{2,6},{3},{4},{7}} {{1,7},{2,5,6},{3},{4}} => {{1,5,7},{2,6},{3},{4}} {{1},{2,5,6,7},{3},{4}} => {{1},{2,5,6,7},{3},{4}} {{1},{2,5,6},{3,7},{4}} => {{1},{2,6},{3,5,7},{4}} {{1},{2,5,6},{3},{4,7}} => {{1},{2,6},{3},{4,5,7}} {{1},{2,5,6},{3},{4},{7}} => {{1},{2,5,6},{3},{4},{7}} {{1,7},{2,5},{3,6},{4}} => {{1,6},{2,7},{3,5},{4}} {{1},{2,5,7},{3,6},{4}} => {{1},{2,7},{3,5,6},{4}} {{1},{2,5},{3,6,7},{4}} => {{1},{2,6,7},{3,5},{4}} {{1},{2,5},{3,6},{4,7}} => {{1},{2,7},{3,6},{4,5}} {{1},{2,5},{3,6},{4},{7}} => {{1},{2,6},{3,5},{4},{7}} {{1,7},{2,5},{3},{4,6}} => {{1,6},{2,7},{3},{4,5}} {{1},{2,5,7},{3},{4,6}} => {{1},{2,7},{3},{4,5,6}} {{1},{2,5},{3,7},{4,6}} => {{1},{2,6},{3,5},{4,7}} {{1},{2,5},{3},{4,6,7}} => {{1},{2,6,7},{3},{4,5}} {{1},{2,5},{3},{4,6},{7}} => {{1},{2,6},{3},{4,5},{7}} {{1,7},{2,5},{3},{4},{6}} => {{1,5},{2,7},{3},{4},{6}} {{1},{2,5,7},{3},{4},{6}} => {{1},{2,5,7},{3},{4},{6}} {{1},{2,5},{3,7},{4},{6}} => {{1},{2,7},{3,5},{4},{6}} {{1},{2,5},{3},{4,7},{6}} => {{1},{2,7},{3},{4,5},{6}} {{1},{2,5},{3},{4},{6,7}} => {{1},{2,5},{3},{4},{6,7}} {{1},{2,5},{3},{4},{6},{7}} => {{1},{2,5},{3},{4},{6},{7}} {{1,6,7},{2},{3,5},{4}} => {{1,5},{2},{3,6,7},{4}} {{1,6},{2,7},{3,5},{4}} => {{1,7},{2,5},{3,6},{4}} {{1,6},{2},{3,5,7},{4}} => {{1,5,6},{2},{3,7},{4}} {{1,6},{2},{3,5},{4,7}} => {{1,5},{2},{3,7},{4,6}} {{1,6},{2},{3,5},{4},{7}} => {{1,5},{2},{3,6},{4},{7}} {{1,7},{2,6},{3,5},{4}} => {{1,5},{2,6},{3,7},{4}} {{1},{2,6,7},{3,5},{4}} => {{1},{2,5},{3,6,7},{4}} {{1},{2,6},{3,5,7},{4}} => {{1},{2,5,6},{3,7},{4}} {{1},{2,6},{3,5},{4,7}} => {{1},{2,5},{3,7},{4,6}} {{1},{2,6},{3,5},{4},{7}} => {{1},{2,5},{3,6},{4},{7}} {{1,7},{2},{3,5,6},{4}} => {{1,5,7},{2},{3,6},{4}} {{1},{2,7},{3,5,6},{4}} => {{1},{2,5,7},{3,6},{4}} {{1},{2},{3,5,6,7},{4}} => {{1},{2},{3,5,6,7},{4}} {{1},{2},{3,5,6},{4,7}} => {{1},{2},{3,6},{4,5,7}} {{1},{2},{3,5,6},{4},{7}} => {{1},{2},{3,5,6},{4},{7}} {{1,7},{2},{3,5},{4,6}} => {{1,6},{2},{3,7},{4,5}} {{1},{2,7},{3,5},{4,6}} => {{1},{2,6},{3,7},{4,5}} {{1},{2},{3,5,7},{4,6}} => {{1},{2},{3,7},{4,5,6}} {{1},{2},{3,5},{4,6,7}} => {{1},{2},{3,6,7},{4,5}} {{1},{2},{3,5},{4,6},{7}} => {{1},{2},{3,6},{4,5},{7}} {{1,7},{2},{3,5},{4},{6}} => {{1,5},{2},{3,7},{4},{6}} {{1},{2,7},{3,5},{4},{6}} => {{1},{2,5},{3,7},{4},{6}} {{1},{2},{3,5,7},{4},{6}} => {{1},{2},{3,5,7},{4},{6}} {{1},{2},{3,5},{4,7},{6}} => {{1},{2},{3,7},{4,5},{6}} {{1},{2},{3,5},{4},{6,7}} => {{1},{2},{3,5},{4},{6,7}} {{1},{2},{3,5},{4},{6},{7}} => {{1},{2},{3,5},{4},{6},{7}} {{1,6,7},{2},{3},{4,5}} => {{1,5},{2},{3},{4,6,7}} {{1,6},{2,7},{3},{4,5}} => {{1,7},{2,5},{3},{4,6}} {{1,6},{2},{3,7},{4,5}} => {{1,7},{2},{3,5},{4,6}} {{1,6},{2},{3},{4,5,7}} => {{1,5,6},{2},{3},{4,7}} {{1,6},{2},{3},{4,5},{7}} => {{1,5},{2},{3},{4,6},{7}} {{1,7},{2,6},{3},{4,5}} => {{1,5},{2,6},{3},{4,7}} {{1},{2,6,7},{3},{4,5}} => {{1},{2,5},{3},{4,6,7}} {{1},{2,6},{3,7},{4,5}} => {{1},{2,7},{3,5},{4,6}} {{1},{2,6},{3},{4,5,7}} => {{1},{2,5,6},{3},{4,7}} {{1},{2,6},{3},{4,5},{7}} => {{1},{2,5},{3},{4,6},{7}} {{1,7},{2},{3,6},{4,5}} => {{1,5},{2},{3,6},{4,7}} {{1},{2,7},{3,6},{4,5}} => {{1},{2,5},{3,6},{4,7}} {{1},{2},{3,6,7},{4,5}} => {{1},{2},{3,5},{4,6,7}} {{1},{2},{3,6},{4,5,7}} => {{1},{2},{3,5,6},{4,7}} {{1},{2},{3,6},{4,5},{7}} => {{1},{2},{3,5},{4,6},{7}} {{1,7},{2},{3},{4,5,6}} => {{1,5,7},{2},{3},{4,6}} {{1},{2,7},{3},{4,5,6}} => {{1},{2,5,7},{3},{4,6}} {{1},{2},{3,7},{4,5,6}} => {{1},{2},{3,5,7},{4,6}} {{1},{2},{3},{4,5,6,7}} => {{1},{2},{3},{4,5,6,7}} {{1},{2},{3},{4,5,6},{7}} => {{1},{2},{3},{4,5,6},{7}} {{1,7},{2},{3},{4,5},{6}} => {{1,5},{2},{3},{4,7},{6}} {{1},{2,7},{3},{4,5},{6}} => {{1},{2,5},{3},{4,7},{6}} {{1},{2},{3,7},{4,5},{6}} => {{1},{2},{3,5},{4,7},{6}} {{1},{2},{3},{4,5,7},{6}} => {{1},{2},{3},{4,5,7},{6}} {{1},{2},{3},{4,5},{6,7}} => {{1},{2},{3},{4,5},{6,7}} {{1},{2},{3},{4,5},{6},{7}} => {{1},{2},{3},{4,5},{6},{7}} {{1,6,7},{2},{3},{4},{5}} => {{1,6,7},{2},{3},{4},{5}} {{1,6},{2,7},{3},{4},{5}} => {{1,7},{2,6},{3},{4},{5}} {{1,6},{2},{3,7},{4},{5}} => {{1,7},{2},{3,6},{4},{5}} {{1,6},{2},{3},{4,7},{5}} => {{1,7},{2},{3},{4,6},{5}} {{1,6},{2},{3},{4},{5,7}} => {{1,7},{2},{3},{4},{5,6}} {{1,6},{2},{3},{4},{5},{7}} => {{1,6},{2},{3},{4},{5},{7}} {{1,7},{2,6},{3},{4},{5}} => {{1,6},{2,7},{3},{4},{5}} {{1},{2,6,7},{3},{4},{5}} => {{1},{2,6,7},{3},{4},{5}} {{1},{2,6},{3,7},{4},{5}} => {{1},{2,7},{3,6},{4},{5}} {{1},{2,6},{3},{4,7},{5}} => {{1},{2,7},{3},{4,6},{5}} {{1},{2,6},{3},{4},{5,7}} => {{1},{2,7},{3},{4},{5,6}} {{1},{2,6},{3},{4},{5},{7}} => {{1},{2,6},{3},{4},{5},{7}} {{1,7},{2},{3,6},{4},{5}} => {{1,6},{2},{3,7},{4},{5}} {{1},{2,7},{3,6},{4},{5}} => {{1},{2,6},{3,7},{4},{5}} {{1},{2},{3,6,7},{4},{5}} => {{1},{2},{3,6,7},{4},{5}} {{1},{2},{3,6},{4,7},{5}} => {{1},{2},{3,7},{4,6},{5}} {{1},{2},{3,6},{4},{5,7}} => {{1},{2},{3,7},{4},{5,6}} {{1},{2},{3,6},{4},{5},{7}} => {{1},{2},{3,6},{4},{5},{7}} {{1,7},{2},{3},{4,6},{5}} => {{1,6},{2},{3},{4,7},{5}} {{1},{2,7},{3},{4,6},{5}} => {{1},{2,6},{3},{4,7},{5}} {{1},{2},{3,7},{4,6},{5}} => {{1},{2},{3,6},{4,7},{5}} {{1},{2},{3},{4,6,7},{5}} => {{1},{2},{3},{4,6,7},{5}} {{1},{2},{3},{4,6},{5,7}} => {{1},{2},{3},{4,7},{5,6}} {{1},{2},{3},{4,6},{5},{7}} => {{1},{2},{3},{4,6},{5},{7}} {{1,7},{2},{3},{4},{5,6}} => {{1,6},{2},{3},{4},{5,7}} {{1},{2,7},{3},{4},{5,6}} => {{1},{2,6},{3},{4},{5,7}} {{1},{2},{3,7},{4},{5,6}} => {{1},{2},{3,6},{4},{5,7}} {{1},{2},{3},{4,7},{5,6}} => {{1},{2},{3},{4,6},{5,7}} {{1},{2},{3},{4},{5,6,7}} => {{1},{2},{3},{4},{5,6,7}} {{1},{2},{3},{4},{5,6},{7}} => {{1},{2},{3},{4},{5,6},{7}} {{1,7},{2},{3},{4},{5},{6}} => {{1,7},{2},{3},{4},{5},{6}} {{1},{2,7},{3},{4},{5},{6}} => {{1},{2,7},{3},{4},{5},{6}} {{1},{2},{3,7},{4},{5},{6}} => {{1},{2},{3,7},{4},{5},{6}} {{1},{2},{3},{4,7},{5},{6}} => {{1},{2},{3},{4,7},{5},{6}} {{1},{2},{3},{4},{5,7},{6}} => {{1},{2},{3},{4},{5,7},{6}} {{1},{2},{3},{4},{5},{6,7}} => {{1},{2},{3},{4},{5},{6,7}} {{1},{2},{3},{4},{5},{6},{7}} => {{1},{2},{3},{4},{5},{6},{7}} {{1,2},{3,4},{5,6},{7,8}} => {{1,2},{3,4},{5,6},{7,8}} {{1,3},{2,4},{5,6},{7,8}} => {{1,4},{2,3},{5,6},{7,8}} {{1,4},{2,3},{5,6},{7,8}} => {{1,3},{2,4},{5,6},{7,8}} {{1,5},{2,3},{4,6},{7,8}} => {{1,3},{2,6},{4,5},{7,8}} {{1,6},{2,3},{4,5},{7,8}} => {{1,3},{2,5},{4,6},{7,8}} {{1,7},{2,3},{4,5},{6,8}} => {{1,3},{2,5},{4,8},{6,7}} {{1,8},{2,3},{4,5},{6,7}} => {{1,3},{2,5},{4,7},{6,8}} {{1,8},{2,4},{3,5},{6,7}} => {{1,5},{2,7},{3,4},{6,8}} {{1,7},{2,4},{3,5},{6,8}} => {{1,5},{2,8},{3,4},{6,7}} {{1,6},{2,4},{3,5},{7,8}} => {{1,5},{2,6},{3,4},{7,8}} {{1,5},{2,4},{3,6},{7,8}} => {{1,4},{2,6},{3,5},{7,8}} {{1,4},{2,5},{3,6},{7,8}} => {{1,6},{2,5},{3,4},{7,8}} {{1,3},{2,5},{4,6},{7,8}} => {{1,6},{2,3},{4,5},{7,8}} {{1,2},{3,5},{4,6},{7,8}} => {{1,2},{3,6},{4,5},{7,8}} {{1,2},{3,6},{4,5},{7,8}} => {{1,2},{3,5},{4,6},{7,8}} {{1,3},{2,6},{4,5},{7,8}} => {{1,5},{2,3},{4,6},{7,8}} {{1,4},{2,6},{3,5},{7,8}} => {{1,5},{2,4},{3,6},{7,8}} {{1,5},{2,6},{3,4},{7,8}} => {{1,6},{2,4},{3,5},{7,8}} {{1,6},{2,5},{3,4},{7,8}} => {{1,4},{2,5},{3,6},{7,8}} {{1,7},{2,5},{3,4},{6,8}} => {{1,4},{2,5},{3,8},{6,7}} {{1,8},{2,5},{3,4},{6,7}} => {{1,4},{2,5},{3,7},{6,8}} {{1,8},{2,6},{3,4},{5,7}} => {{1,4},{2,7},{3,8},{5,6}} {{1,7},{2,6},{3,4},{5,8}} => {{1,4},{2,6},{3,8},{5,7}} {{1,6},{2,7},{3,4},{5,8}} => {{1,8},{2,4},{3,7},{5,6}} {{1,5},{2,7},{3,4},{6,8}} => {{1,8},{2,4},{3,5},{6,7}} {{1,4},{2,7},{3,5},{6,8}} => {{1,5},{2,4},{3,8},{6,7}} {{1,3},{2,7},{4,5},{6,8}} => {{1,5},{2,3},{4,8},{6,7}} {{1,2},{3,7},{4,5},{6,8}} => {{1,2},{3,5},{4,8},{6,7}} {{1,2},{3,8},{4,5},{6,7}} => {{1,2},{3,5},{4,7},{6,8}} {{1,3},{2,8},{4,5},{6,7}} => {{1,5},{2,3},{4,7},{6,8}} {{1,4},{2,8},{3,5},{6,7}} => {{1,5},{2,4},{3,7},{6,8}} {{1,5},{2,8},{3,4},{6,7}} => {{1,7},{2,4},{3,5},{6,8}} {{1,6},{2,8},{3,4},{5,7}} => {{1,7},{2,4},{3,6},{5,8}} {{1,7},{2,8},{3,4},{5,6}} => {{1,8},{2,4},{3,6},{5,7}} {{1,8},{2,7},{3,4},{5,6}} => {{1,4},{2,6},{3,7},{5,8}} {{1,8},{2,7},{3,5},{4,6}} => {{1,6},{2,7},{3,8},{4,5}} {{1,7},{2,8},{3,5},{4,6}} => {{1,6},{2,5},{3,8},{4,7}} {{1,6},{2,8},{3,5},{4,7}} => {{1,7},{2,5},{3,8},{4,6}} {{1,5},{2,8},{3,6},{4,7}} => {{1,7},{2,6},{3,8},{4,5}} {{1,4},{2,8},{3,6},{5,7}} => {{1,7},{2,4},{3,8},{5,6}} {{1,3},{2,8},{4,6},{5,7}} => {{1,7},{2,3},{4,8},{5,6}} {{1,2},{3,8},{4,6},{5,7}} => {{1,2},{3,7},{4,8},{5,6}} {{1,2},{3,7},{4,6},{5,8}} => {{1,2},{3,6},{4,8},{5,7}} {{1,3},{2,7},{4,6},{5,8}} => {{1,6},{2,3},{4,8},{5,7}} {{1,4},{2,7},{3,6},{5,8}} => {{1,6},{2,4},{3,8},{5,7}} ----------------------------------------------------------------------------- Created: Sep 11, 2020 at 13:09 by Martin Rubey ----------------------------------------------------------------------------- Last Updated: Sep 11, 2020 at 13:09 by Martin Rubey