Shared2017-11-15-202842.sagewsOpen in CoCalc
Kleber's problem
#Notation :
#a, b : Partitions
#m, n : dimensions of the rectangle
#t    : list of partitions
import sage.libs.lrcalc.lrcalc as lrcalc
import numpy
def co(a,m,n):    #GIVES COMPLEMENT OF PARTITION 'a'
    c=a.length()
    d=[]
    e=a.to_list()
    for i in range(m-c):
        e.append(0)
    for i in e:
        d.append(n-i)
    d.reverse()
    return Partition(d)  

def add(a,b):       #RETURNS ADDITION OF TWO PARTITIONS 'a' and 'b'
    a1=a.to_list()
    b1=b.to_list()
    al=a.length()
    bl=b.length()
    c=max(al,bl)
    if al!=bl:
        if c==al:
            for i in range(al-bl):
                b1.append(0)
        else:
            for i in range(bl-al):
                a1.append(0)
    return Partition([a1[i]+b1[i] for i in range(c)])

#def sort(a,b):      #SORTS A PARTITION
#	c=a.to_list()+b.to_list()
#	c.sort()
#	c.reverse()
#	return Partition(c)
s = SymmetricFunctions(QQ).s()
def supp(a,m,n):
    return sorted((s(Partition(a))*s(co(Partition(a),m,n))).support())

def mix(a,m,n):      #RETURNS SORTED UNION OF PARTIION 'a' AND IT'S COMPLEMENT
	return add(a.conjugate(),co(a,m,n).conjugate()).conjugate()

def li(m,n):       #RETURNS THE LIST OF ALL PARTITIONS IN RECTANGLE m*n
    d=[]
    for j in range(m*n/2-1):
        for i in Partitions(j+1,max_part=n,max_length=m):
            d.append(i)
    for i in Partitions(int(m*n/2),max_part=n,max_length=m):
        if co(i,m,n) not in d:
                d.append(i)
    return d

def sdif(a,b,m,n):      #RETURNS THE PARTITIONS THAT ARE IN SUPPORT OF 'a' BUT NOT IN SUPPORT OF 'b'
    d=[]
    a=Partition(a)
    b=Partition(b)
    for i in lrcalc.mult(a,co(a,m,n)):
        if lrcalc.lrcoef(i,b,co(b,m,n))==0:
            d.append(i)
    return sorted(d)

def rem(t,a,m,n):       #RETURNS THE PARTITIONS IN 't' THAT ARE NOT IN THE SUPPORT OF 'a'
    a=Partition(a)
    for i in t:
        if lrcalc.lrcoef(Partition(i),a,co(a,m,n))>0:
            t.remove(i)
    return sorted(t)

def giv(m,n,z):           #RETURNS ALL THE EQUIVALENCE CLASSES OF PARTITIONS IN RECTANGLE m*n
    d=[]
    a=li(m,n)
    for i in a:
        c=set()
        for j in a:
            if add(i,co(i,m,n))==add(j,co(j,m,n)) and mix(i,m,n)==mix(j,m,n):
                a.remove(j)
                c.add(j)
        if len(c)>z:        #IF YOU WANT TO SEE ONLY EQUIVALENCE CLASSES OF SIZE > k, THEN REPLACE 0 BY k IN THIS LINE
            d.append(c)
    return d

def new(m,n):
    for i in li(m,n):
        if len(i)==m and i[0]==n:
            print i
        elif len(i)<m and i[0]<m:
            print co(i,m,n)

from sage.libs.lrcalc.lrcalc import lrskew
def pp(a,b):
    for c in (s(a)*s(b)).support():
        for st in lrskew(c,a,weight=b):
            st.pp()

1+1
2

s([3,3,1])*s([4,2,2])
s[4, 3, 3, 2, 2, 1] + s[4, 3, 3, 3, 2] + s[4, 4, 3, 2, 1, 1] + s[4, 4, 3, 2, 2] + s[4, 4, 3, 3, 1] + s[4, 4, 4, 1, 1, 1] + s[4, 4, 4, 2, 1] + s[5, 3, 2, 2, 2, 1] + s[5, 3, 3, 2, 1, 1] + 2*s[5, 3, 3, 2, 2] + s[5, 3, 3, 3, 1] + s[5, 4, 2, 2, 1, 1] + s[5, 4, 2, 2, 2] + s[5, 4, 3, 1, 1, 1] + 3*s[5, 4, 3, 2, 1] + s[5, 4, 3, 3] + 2*s[5, 4, 4, 1, 1] + s[5, 4, 4, 2] + s[5, 5, 2, 2, 1] + s[5, 5, 3, 1, 1] + 2*s[5, 5, 3, 2] + 2*s[5, 5, 4, 1] + s[5, 5, 5] + s[6, 3, 2, 2, 1, 1] + s[6, 3, 2, 2, 2] + 2*s[6, 3, 3, 2, 1] + s[6, 3, 3, 3] + s[6, 4, 2, 1, 1, 1] + 2*s[6, 4, 2, 2, 1] + 2*s[6, 4, 3, 1, 1] + 2*s[6, 4, 3, 2] + s[6, 4, 4, 1] + s[6, 5, 2, 1, 1] + s[6, 5, 2, 2] + 2*s[6, 5, 3, 1] + s[6, 5, 4] + s[7, 3, 2, 2, 1] + s[7, 3, 3, 2] + s[7, 4, 2, 1, 1] + s[7, 4, 2, 2] + s[7, 4, 3, 1] + s[7, 5, 2, 1] + s[7, 5, 3]
s([4,3])*s([5,2,1])
s[5, 4, 3, 2, 1] + s[5, 4, 4, 1, 1] + s[5, 4, 4, 2] + s[5, 5, 3, 1, 1] + s[5, 5, 3, 2] + 2*s[5, 5, 4, 1] + s[5, 5, 5] + s[6, 3, 3, 2, 1] + s[6, 4, 2, 2, 1] + 2*s[6, 4, 3, 1, 1] + 2*s[6, 4, 3, 2] + 2*s[6, 4, 4, 1] + s[6, 5, 2, 1, 1] + s[6, 5, 2, 2] + 3*s[6, 5, 3, 1] + 2*s[6, 5, 4] + s[6, 6, 2, 1] + s[6, 6, 3] + s[7, 3, 2, 2, 1] + s[7, 3, 3, 1, 1] + s[7, 3, 3, 2] + 2*s[7, 4, 2, 1, 1] + 2*s[7, 4, 2, 2] + 3*s[7, 4, 3, 1] + s[7, 4, 4] + s[7, 5, 1, 1, 1] + 3*s[7, 5, 2, 1] + 2*s[7, 5, 3] + s[7, 6, 1, 1] + s[7, 6, 2] + s[8, 3, 2, 1, 1] + s[8, 3, 2, 2] + s[8, 3, 3, 1] + s[8, 4, 1, 1, 1] + 3*s[8, 4, 2, 1] + s[8, 4, 3] + 2*s[8, 5, 1, 1] + 2*s[8, 5, 2] + s[8, 6, 1] + s[9, 3, 2, 1] + s[9, 4, 1, 1] + s[9, 4, 2] + s[9, 5, 1]
s([3,3])*s([5,2,2])
s[5, 3, 3, 2, 2] + s[5, 4, 3, 2, 1] + s[5, 4, 4, 1, 1] + s[5, 5, 3, 2] + s[5, 5, 4, 1] + s[5, 5, 5] + s[6, 3, 2, 2, 2] + s[6, 3, 3, 2, 1] + s[6, 4, 2, 2, 1] + s[6, 4, 3, 1, 1] + s[6, 4, 3, 2] + s[6, 4, 4, 1] + s[6, 5, 2, 2] + s[6, 5, 3, 1] + s[6, 5, 4] + s[7, 3, 2, 2, 1] + s[7, 3, 3, 2] + s[7, 4, 2, 1, 1] + s[7, 4, 2, 2] + s[7, 4, 3, 1] + s[7, 5, 2, 1] + s[7, 5, 3] + s[8, 3, 2, 2] + s[8, 4, 2, 1] + s[8, 5, 2]
for i in lrskew([5,3,3,2,2],[3,3],weight=[5,2,2]):
    i.pp()
. . . 1 1 . . . 1 1 1 2 2 3 3
for i in lrskew([5,3,3,2,2],[3,2],weight=[5,3,2]):
    i.pp()
#lrcalc.lrcoef([5,4,3,2,2],[3,2],[5,3,2])
. . . 1 1 . . 1 1 1 2 2 2 3 3

giv(5,6,1)
[set([[5, 1, 1, 1], [6, 1, 1, 1, 1]]), set([[6, 2, 1, 1, 1], [5, 2, 1, 1]]), set([[5, 3, 1, 1], [6, 3, 1, 1, 1]]), set([[6, 2, 2, 2, 2], [4, 2, 2, 2]]), set([[5, 5, 1], [6, 6, 1, 1, 1]]), set([[5, 4, 1, 1], [6, 4, 1, 1, 1]]), set([[6, 3, 2, 1, 1], [5, 3, 2, 1]]), set([[5, 2, 2, 2], [6, 2, 2, 2, 1]]), set([[4, 3, 2, 2], [6, 3, 2, 2, 2]]), set([[4, 2, 2, 2, 1], [5, 2, 2, 2, 2]]), set([[6, 6, 1, 1], [6, 5, 1]]), set([[5, 2, 2, 1], [6, 2, 2, 1, 1]]), set([[6, 3, 2, 2, 1], [5, 3, 2, 2]]), set([[4, 4, 4, 1, 1], [4, 4, 2, 1, 1]]), set([[6, 5, 2, 2], [6, 4, 2, 1]]), set([[5, 5, 2, 1], [6, 5, 2, 1, 1]]), set([[5, 4, 2], [5, 4, 4]]), set([[5, 4, 2, 1, 1], [5, 5, 2, 2, 1]]), set([[4, 4, 2, 1], [4, 4, 4, 1]]), set([[4, 4, 2, 2, 1], [5, 4, 2, 2, 2]]), set([[5, 3, 3, 2, 2], [4, 3, 3, 2, 1]]), set([[6, 4, 4], [6, 4, 2]]), set([[5, 4, 4, 1], [5, 5, 2, 2], [6, 4, 2, 1, 1], [5, 4, 2, 1]]), set([[5, 5, 4], [5, 5, 2]]), set([[4, 4, 2, 2], [4, 4, 4, 2]]), set([[5, 4, 3, 1], [6, 4, 3, 1, 1]]), set([[6, 3, 3, 2, 1], [5, 3, 3, 2]])]
for i in lrskew([6,6,6,5,3,2,2],[6,4,3,1,1],weight=[5,5,3,2]):
    i.pp()
. . . . . . . . . . 1 1 . . . 1 2 2 . 1 1 2 3 . 2 2 3 3 4 4 . . . . . . . . . . 1 1 . . . 1 2 2 . 1 1 2 3 . 2 3 2 3 4 4 . . . . . . . . . . 1 1 . . . 1 2 2 . 1 1 2 3 . 2 4 2 3 3 4 . . . . . . . . . . 1 1 . . . 1 2 2 . 1 1 3 3 . 2 2 2 3 4 4 . . . . . . . . . . 1 1 . . . 1 2 2 . 1 2 3 3 . 2 4 1 3 2 4
for i in lrskew([6,6,6,5,3,2,2],[5,4,3,1],weight=[6,5,3,2,1]):
    i.pp()
. . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 3 1 2 2 3 4 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 3 1 2 3 2 4 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 3 1 2 4 2 3 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 3 1 2 4 2 4 3 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 4 1 2 2 3 3 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 4 1 2 3 2 3 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 4 1 2 3 2 4 3 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 2 4 1 2 5 2 3 3 4 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 3 4 1 2 2 2 3 4 5 . . . . . 1 . . . . 1 2 . . . 1 2 3 . 1 1 3 4 1 2 2 2 4 3 5
#set([[5, 4, 3, 1], [6, 4, 3, 1, 1]])
supp([6,4,3,1,1],5,6)
[[6, 5, 5, 4, 3, 3, 2, 1, 1], [6, 5, 5, 4, 3, 3, 3, 1], [6, 5, 5, 4, 4, 2, 2, 1, 1], [6, 5, 5, 4, 4, 3, 1, 1, 1], [6, 5, 5, 4, 4, 3, 2, 1], [6, 5, 5, 4, 4, 3, 3], [6, 5, 5, 4, 4, 4, 1, 1], [6, 5, 5, 4, 4, 4, 2], [6, 5, 5, 5, 3, 2, 2, 1, 1], [6, 5, 5, 5, 3, 3, 1, 1, 1], [6, 5, 5, 5, 3, 3, 2, 1], [6, 5, 5, 5, 3, 3, 3], [6, 5, 5, 5, 4, 2, 1, 1, 1], [6, 5, 5, 5, 4, 2, 2, 1], [6, 5, 5, 5, 4, 3, 1, 1], [6, 5, 5, 5, 4, 3, 2], [6, 5, 5, 5, 4, 4, 1], [6, 5, 5, 5, 5, 1, 1, 1, 1], [6, 5, 5, 5, 5, 2, 1, 1], [6, 5, 5, 5, 5, 2, 2], [6, 5, 5, 5, 5, 3, 1], [6, 6, 5, 3, 3, 3, 2, 1, 1], [6, 6, 5, 3, 3, 3, 3, 1], [6, 6, 5, 4, 3, 2, 2, 1, 1], [6, 6, 5, 4, 3, 3, 1, 1, 1], [6, 6, 5, 4, 3, 3, 2, 1], [6, 6, 5, 4, 3, 3, 3], [6, 6, 5, 4, 4, 2, 1, 1, 1], [6, 6, 5, 4, 4, 2, 2, 1], [6, 6, 5, 4, 4, 3, 1, 1], [6, 6, 5, 4, 4, 3, 2], [6, 6, 5, 4, 4, 4, 1], [6, 6, 5, 5, 2, 2, 2, 1, 1], [6, 6, 5, 5, 3, 2, 1, 1, 1], [6, 6, 5, 5, 3, 2, 2, 1], [6, 6, 5, 5, 3, 3, 1, 1], [6, 6, 5, 5, 3, 3, 2], [6, 6, 5, 5, 4, 1, 1, 1, 1], [6, 6, 5, 5, 4, 2, 1, 1], [6, 6, 5, 5, 4, 2, 2], [6, 6, 5, 5, 4, 3, 1], [6, 6, 5, 5, 4, 4], [6, 6, 5, 5, 5, 1, 1, 1], [6, 6, 5, 5, 5, 2, 1], [6, 6, 5, 5, 5, 3], [6, 6, 6, 3, 3, 2, 2, 1, 1], [6, 6, 6, 3, 3, 3, 1, 1, 1], [6, 6, 6, 3, 3, 3, 2, 1], [6, 6, 6, 3, 3, 3, 3], [6, 6, 6, 4, 2, 2, 2, 1, 1], [6, 6, 6, 4, 3, 2, 1, 1, 1], [6, 6, 6, 4, 3, 2, 2, 1], [6, 6, 6, 4, 3, 3, 1, 1], [6, 6, 6, 4, 3, 3, 2], [6, 6, 6, 4, 4, 1, 1, 1, 1], [6, 6, 6, 4, 4, 2, 1, 1], [6, 6, 6, 4, 4, 2, 2], [6, 6, 6, 4, 4, 3, 1], [6, 6, 6, 4, 4, 4], [6, 6, 6, 5, 2, 2, 1, 1, 1], [6, 6, 6, 5, 2, 2, 2, 1], [6, 6, 6, 5, 3, 1, 1, 1, 1], [6, 6, 6, 5, 3, 2, 1, 1], [6, 6, 6, 5, 3, 2, 2], [6, 6, 6, 5, 3, 3, 1], [6, 6, 6, 5, 4, 1, 1, 1], [6, 6, 6, 5, 4, 2, 1], [6, 6, 6, 5, 4, 3], [6, 6, 6, 5, 5, 1, 1], [6, 6, 6, 5, 5, 2], [6, 6, 6, 6, 2, 2, 1, 1], [6, 6, 6, 6, 2, 2, 2], [6, 6, 6, 6, 3, 1, 1, 1], [6, 6, 6, 6, 3, 2, 1], [6, 6, 6, 6, 3, 3], [6, 6, 6, 6, 4, 1, 1], [6, 6, 6, 6, 4, 2], [6, 6, 6, 6, 5, 1], [6, 6, 6, 6, 6], [7, 5, 4, 4, 3, 3, 2, 1, 1], [7, 5, 4, 4, 3, 3, 3, 1], [7, 5, 4, 4, 4, 2, 2, 1, 1], [7, 5, 4, 4, 4, 3, 1, 1, 1], [7, 5, 4, 4, 4, 3, 2, 1], [7, 5, 4, 4, 4, 3, 3], [7, 5, 4, 4, 4, 4, 1, 1], [7, 5, 4, 4, 4, 4, 2], [7, 5, 5, 3, 3, 3, 2, 1, 1], [7, 5, 5, 3, 3, 3, 3, 1], [7, 5, 5, 4, 3, 2, 2, 1, 1], [7, 5, 5, 4, 3, 3, 1, 1, 1], [7, 5, 5, 4, 3, 3, 2, 1], [7, 5, 5, 4, 3, 3, 3], [7, 5, 5, 4, 4, 2, 1, 1, 1], [7, 5, 5, 4, 4, 2, 2, 1], [7, 5, 5, 4, 4, 3, 1, 1], [7, 5, 5, 4, 4, 3, 2], [7, 5, 5, 4, 4, 4, 1], [7, 5, 5, 5, 2, 2, 2, 1, 1], [7, 5, 5, 5, 3, 2, 1, 1, 1], [7, 5, 5, 5, 3, 2, 2, 1], [7, 5, 5, 5, 3, 3, 1, 1], [7, 5, 5, 5, 3, 3, 2], [7, 5, 5, 5, 4, 1, 1, 1, 1], [7, 5, 5, 5, 4, 2, 1, 1], [7, 5, 5, 5, 4, 2, 2], [7, 5, 5, 5, 4, 3, 1], [7, 5, 5, 5, 4, 4], [7, 5, 5, 5, 5, 1, 1, 1], [7, 5, 5, 5, 5, 2, 1], [7, 5, 5, 5, 5, 3], [7, 6, 4, 3, 3, 3, 2, 1, 1], [7, 6, 4, 3, 3, 3, 3, 1], [7, 6, 4, 4, 3, 2, 2, 1, 1], [7, 6, 4, 4, 3, 3, 1, 1, 1], [7, 6, 4, 4, 3, 3, 2, 1], [7, 6, 4, 4, 3, 3, 3], [7, 6, 4, 4, 4, 2, 1, 1, 1], [7, 6, 4, 4, 4, 2, 2, 1], [7, 6, 4, 4, 4, 3, 1, 1], [7, 6, 4, 4, 4, 3, 2], [7, 6, 4, 4, 4, 4, 1], [7, 6, 5, 3, 3, 2, 2, 1, 1], [7, 6, 5, 3, 3, 3, 1, 1, 1], [7, 6, 5, 3, 3, 3, 2, 1], [7, 6, 5, 3, 3, 3, 3], [7, 6, 5, 4, 2, 2, 2, 1, 1], [7, 6, 5, 4, 3, 2, 1, 1, 1], [7, 6, 5, 4, 3, 2, 2, 1], [7, 6, 5, 4, 3, 3, 1, 1], [7, 6, 5, 4, 3, 3, 2], [7, 6, 5, 4, 4, 1, 1, 1, 1], [7, 6, 5, 4, 4, 2, 1, 1], [7, 6, 5, 4, 4, 2, 2], [7, 6, 5, 4, 4, 3, 1], [7, 6, 5, 4, 4, 4], [7, 6, 5, 5, 2, 2, 1, 1, 1], [7, 6, 5, 5, 2, 2, 2, 1], [7, 6, 5, 5, 3, 1, 1, 1, 1], [7, 6, 5, 5, 3, 2, 1, 1], [7, 6, 5, 5, 3, 2, 2], [7, 6, 5, 5, 3, 3, 1], [7, 6, 5, 5, 4, 1, 1, 1], [7, 6, 5, 5, 4, 2, 1], [7, 6, 5, 5, 4, 3], [7, 6, 5, 5, 5, 1, 1], [7, 6, 5, 5, 5, 2], [7, 6, 6, 3, 2, 2, 2, 1, 1], [7, 6, 6, 3, 3, 2, 1, 1, 1], [7, 6, 6, 3, 3, 2, 2, 1], [7, 6, 6, 3, 3, 3, 1, 1], [7, 6, 6, 3, 3, 3, 2], [7, 6, 6, 4, 2, 2, 1, 1, 1], [7, 6, 6, 4, 2, 2, 2, 1], [7, 6, 6, 4, 3, 1, 1, 1, 1], [7, 6, 6, 4, 3, 2, 1, 1], [7, 6, 6, 4, 3, 2, 2], [7, 6, 6, 4, 3, 3, 1], [7, 6, 6, 4, 4, 1, 1, 1], [7, 6, 6, 4, 4, 2, 1], [7, 6, 6, 4, 4, 3], [7, 6, 6, 5, 2, 1, 1, 1, 1], [7, 6, 6, 5, 2, 2, 1, 1], [7, 6, 6, 5, 2, 2, 2], [7, 6, 6, 5, 3, 1, 1, 1], [7, 6, 6, 5, 3, 2, 1], [7, 6, 6, 5, 3, 3], [7, 6, 6, 5, 4, 1, 1], [7, 6, 6, 5, 4, 2], [7, 6, 6, 5, 5, 1], [7, 6, 6, 6, 2, 1, 1, 1], [7, 6, 6, 6, 2, 2, 1], [7, 6, 6, 6, 3, 1, 1], [7, 6, 6, 6, 3, 2], [7, 6, 6, 6, 4, 1], [7, 6, 6, 6, 5], [7, 7, 4, 3, 3, 2, 2, 1, 1], [7, 7, 4, 3, 3, 3, 1, 1, 1], [7, 7, 4, 3, 3, 3, 2, 1], [7, 7, 4, 3, 3, 3, 3], [7, 7, 4, 4, 2, 2, 2, 1, 1], [7, 7, 4, 4, 3, 2, 1, 1, 1], [7, 7, 4, 4, 3, 2, 2, 1], [7, 7, 4, 4, 3, 3, 1, 1], [7, 7, 4, 4, 3, 3, 2], [7, 7, 4, 4, 4, 1, 1, 1, 1], [7, 7, 4, 4, 4, 2, 1, 1], [7, 7, 4, 4, 4, 2, 2], [7, 7, 4, 4, 4, 3, 1], [7, 7, 4, 4, 4, 4], [7, 7, 5, 3, 2, 2, 2, 1, 1], [7, 7, 5, 3, 3, 2, 1, 1, 1], [7, 7, 5, 3, 3, 2, 2, 1], [7, 7, 5, 3, 3, 3, 1, 1], [7, 7, 5, 3, 3, 3, 2], [7, 7, 5, 4, 2, 2, 1, 1, 1], [7, 7, 5, 4, 2, 2, 2, 1], [7, 7, 5, 4, 3, 1, 1, 1, 1], [7, 7, 5, 4, 3, 2, 1, 1], [7, 7, 5, 4, 3, 2, 2], [7, 7, 5, 4, 3, 3, 1], [7, 7, 5, 4, 4, 1, 1, 1], [7, 7, 5, 4, 4, 2, 1], [7, 7, 5, 4, 4, 3], [7, 7, 5, 5, 2, 1, 1, 1, 1], [7, 7, 5, 5, 2, 2, 1, 1], [7, 7, 5, 5, 2, 2, 2], [7, 7, 5, 5, 3, 1, 1, 1], [7, 7, 5, 5, 3, 2, 1], [7, 7, 5, 5, 3, 3], [7, 7, 5, 5, 4, 1, 1], [7, 7, 5, 5, 4, 2], [7, 7, 5, 5, 5, 1], [7, 7, 6, 2, 2, 2, 2, 1, 1], [7, 7, 6, 3, 2, 2, 1, 1, 1], [7, 7, 6, 3, 2, 2, 2, 1], [7, 7, 6, 3, 3, 1, 1, 1, 1], [7, 7, 6, 3, 3, 2, 1, 1], [7, 7, 6, 3, 3, 2, 2], [7, 7, 6, 3, 3, 3, 1], [7, 7, 6, 4, 2, 1, 1, 1, 1], [7, 7, 6, 4, 2, 2, 1, 1], [7, 7, 6, 4, 2, 2, 2], [7, 7, 6, 4, 3, 1, 1, 1], [7, 7, 6, 4, 3, 2, 1], [7, 7, 6, 4, 3, 3], [7, 7, 6, 4, 4, 1, 1], [7, 7, 6, 4, 4, 2], [7, 7, 6, 5, 1, 1, 1, 1, 1], [7, 7, 6, 5, 2, 1, 1, 1], [7, 7, 6, 5, 2, 2, 1], [7, 7, 6, 5, 3, 1, 1], [7, 7, 6, 5, 3, 2], [7, 7, 6, 5, 4, 1], [7, 7, 6, 5, 5], [7, 7, 6, 6, 1, 1, 1, 1], [7, 7, 6, 6, 2, 1, 1], [7, 7, 6, 6, 2, 2], [7, 7, 6, 6, 3, 1], [7, 7, 6, 6, 4], [7, 7, 7, 2, 2, 2, 1, 1, 1], [7, 7, 7, 2, 2, 2, 2, 1], [7, 7, 7, 3, 2, 1, 1, 1, 1], [7, 7, 7, 3, 2, 2, 1, 1], [7, 7, 7, 3, 2, 2, 2], [7, 7, 7, 3, 3, 1, 1, 1], [7, 7, 7, 3, 3, 2, 1], [7, 7, 7, 3, 3, 3], [7, 7, 7, 4, 1, 1, 1, 1, 1], [7, 7, 7, 4, 2, 1, 1, 1], [7, 7, 7, 4, 2, 2, 1], [7, 7, 7, 4, 3, 1, 1], [7, 7, 7, 4, 3, 2], [7, 7, 7, 4, 4, 1], [7, 7, 7, 5, 1, 1, 1, 1], [7, 7, 7, 5, 2, 1, 1], [7, 7, 7, 5, 2, 2], [7, 7, 7, 5, 3, 1], [7, 7, 7, 5, 4], [7, 7, 7, 6, 1, 1, 1], [7, 7, 7, 6, 2, 1], [7, 7, 7, 6, 3], [8, 5, 4, 3, 3, 3, 2, 1, 1], [8, 5, 4, 3, 3, 3, 3, 1], [8, 5, 4, 4, 3, 2, 2, 1, 1], [8, 5, 4, 4, 3, 3, 1, 1, 1], [8, 5, 4, 4, 3, 3, 2, 1], [8, 5, 4, 4, 3, 3, 3], [8, 5, 4, 4, 4, 2, 1, 1, 1], [8, 5, 4, 4, 4, 2, 2, 1], [8, 5, 4, 4, 4, 3, 1, 1], [8, 5, 4, 4, 4, 3, 2], [8, 5, 4, 4, 4, 4, 1], [8, 5, 5, 3, 3, 2, 2, 1, 1], [8, 5, 5, 3, 3, 3, 1, 1, 1], [8, 5, 5, 3, 3, 3, 2, 1], [8, 5, 5, 3, 3, 3, 3], [8, 5, 5, 4, 2, 2, 2, 1, 1], [8, 5, 5, 4, 3, 2, 1, 1, 1], [8, 5, 5, 4, 3, 2, 2, 1], [8, 5, 5, 4, 3, 3, 1, 1], [8, 5, 5, 4, 3, 3, 2], [8, 5, 5, 4, 4, 1, 1, 1, 1], [8, 5, 5, 4, 4, 2, 1, 1], [8, 5, 5, 4, 4, 2, 2], [8, 5, 5, 4, 4, 3, 1], [8, 5, 5, 4, 4, 4], [8, 5, 5, 5, 2, 2, 1, 1, 1], [8, 5, 5, 5, 2, 2, 2, 1], [8, 5, 5, 5, 3, 1, 1, 1, 1], [8, 5, 5, 5, 3, 2, 1, 1], [8, 5, 5, 5, 3, 2, 2], [8, 5, 5, 5, 3, 3, 1], [8, 5, 5, 5, 4, 1, 1, 1], [8, 5, 5, 5, 4, 2, 1], [8, 5, 5, 5, 4, 3], [8, 5, 5, 5, 5, 1, 1], [8, 5, 5, 5, 5, 2], [8, 6, 3, 3, 3, 3, 2, 1, 1], [8, 6, 3, 3, 3, 3, 3, 1], [8, 6, 4, 3, 3, 2, 2, 1, 1], [8, 6, 4, 3, 3, 3, 1, 1, 1], [8, 6, 4, 3, 3, 3, 2, 1], [8, 6, 4, 3, 3, 3, 3], [8, 6, 4, 4, 2, 2, 2, 1, 1], [8, 6, 4, 4, 3, 2, 1, 1, 1], [8, 6, 4, 4, 3, 2, 2, 1], [8, 6, 4, 4, 3, 3, 1, 1], [8, 6, 4, 4, 3, 3, 2], [8, 6, 4, 4, 4, 1, 1, 1, 1], [8, 6, 4, 4, 4, 2, 1, 1], [8, 6, 4, 4, 4, 2, 2], [8, 6, 4, 4, 4, 3, 1], [8, 6, 4, 4, 4, 4], [8, 6, 5, 3, 2, 2, 2, 1, 1], [8, 6, 5, 3, 3, 2, 1, 1, 1], [8, 6, 5, 3, 3, 2, 2, 1], [8, 6, 5, 3, 3, 3, 1, 1], [8, 6, 5, 3, 3, 3, 2], [8, 6, 5, 4, 2, 2, 1, 1, 1], [8, 6, 5, 4, 2, 2, 2, 1], [8, 6, 5, 4, 3, 1, 1, 1, 1], [8, 6, 5, 4, 3, 2, 1, 1], [8, 6, 5, 4, 3, 2, 2], [8, 6, 5, 4, 3, 3, 1], [8, 6, 5, 4, 4, 1, 1, 1], [8, 6, 5, 4, 4, 2, 1], [8, 6, 5, 4, 4, 3], [8, 6, 5, 5, 2, 1, 1, 1, 1], [8, 6, 5, 5, 2, 2, 1, 1], [8, 6, 5, 5, 2, 2, 2], [8, 6, 5, 5, 3, 1, 1, 1], [8, 6, 5, 5, 3, 2, 1], [8, 6, 5, 5, 3, 3], [8, 6, 5, 5, 4, 1, 1], [8, 6, 5, 5, 4, 2], [8, 6, 5, 5, 5, 1], [8, 6, 6, 2, 2, 2, 2, 1, 1], [8, 6, 6, 3, 2, 2, 1, 1, 1], [8, 6, 6, 3, 2, 2, 2, 1], [8, 6, 6, 3, 3, 1, 1, 1, 1], [8, 6, 6, 3, 3, 2, 1, 1], [8, 6, 6, 3, 3, 2, 2], [8, 6, 6, 3, 3, 3, 1], [8, 6, 6, 4, 2, 1, 1, 1, 1], [8, 6, 6, 4, 2, 2, 1, 1], [8, 6, 6, 4, 2, 2, 2], [8, 6, 6, 4, 3, 1, 1, 1], [8, 6, 6, 4, 3, 2, 1], [8, 6, 6, 4, 3, 3], [8, 6, 6, 4, 4, 1, 1], [8, 6, 6, 4, 4, 2], [8, 6, 6, 5, 1, 1, 1, 1, 1], [8, 6, 6, 5, 2, 1, 1, 1], [8, 6, 6, 5, 2, 2, 1], [8, 6, 6, 5, 3, 1, 1], [8, 6, 6, 5, 3, 2], [8, 6, 6, 5, 4, 1], [8, 6, 6, 5, 5], [8, 6, 6, 6, 1, 1, 1, 1], [8, 6, 6, 6, 2, 1, 1], [8, 6, 6, 6, 2, 2], [8, 6, 6, 6, 3, 1], [8, 6, 6, 6, 4], [8, 7, 3, 3, 3, 2, 2, 1, 1], [8, 7, 3, 3, 3, 3, 1, 1, 1], [8, 7, 3, 3, 3, 3, 2, 1], [8, 7, 3, 3, 3, 3, 3], [8, 7, 4, 3, 2, 2, 2, 1, 1], [8, 7, 4, 3, 3, 2, 1, 1, 1], [8, 7, 4, 3, 3, 2, 2, 1], [8, 7, 4, 3, 3, 3, 1, 1], [8, 7, 4, 3, 3, 3, 2], [8, 7, 4, 4, 2, 2, 1, 1, 1], [8, 7, 4, 4, 2, 2, 2, 1], [8, 7, 4, 4, 3, 1, 1, 1, 1], [8, 7, 4, 4, 3, 2, 1, 1], [8, 7, 4, 4, 3, 2, 2], [8, 7, 4, 4, 3, 3, 1], [8, 7, 4, 4, 4, 1, 1, 1], [8, 7, 4, 4, 4, 2, 1], [8, 7, 4, 4, 4, 3], [8, 7, 5, 2, 2, 2, 2, 1, 1], [8, 7, 5, 3, 2, 2, 1, 1, 1], [8, 7, 5, 3, 2, 2, 2, 1], [8, 7, 5, 3, 3, 1, 1, 1, 1], [8, 7, 5, 3, 3, 2, 1, 1], [8, 7, 5, 3, 3, 2, 2], [8, 7, 5, 3, 3, 3, 1], [8, 7, 5, 4, 2, 1, 1, 1, 1], [8, 7, 5, 4, 2, 2, 1, 1], [8, 7, 5, 4, 2, 2, 2], [8, 7, 5, 4, 3, 1, 1, 1], [8, 7, 5, 4, 3, 2, 1], [8, 7, 5, 4, 3, 3], [8, 7, 5, 4, 4, 1, 1], [8, 7, 5, 4, 4, 2], [8, 7, 5, 5, 1, 1, 1, 1, 1], [8, 7, 5, 5, 2, 1, 1, 1], [8, 7, 5, 5, 2, 2, 1], [8, 7, 5, 5, 3, 1, 1], [8, 7, 5, 5, 3, 2], [8, 7, 5, 5, 4, 1], [8, 7, 5, 5, 5], [8, 7, 6, 2, 2, 2, 1, 1, 1], [8, 7, 6, 2, 2, 2, 2, 1], [8, 7, 6, 3, 2, 1, 1, 1, 1], [8, 7, 6, 3, 2, 2, 1, 1], [8, 7, 6, 3, 2, 2, 2], [8, 7, 6, 3, 3, 1, 1, 1], [8, 7, 6, 3, 3, 2, 1], [8, 7, 6, 3, 3, 3], [8, 7, 6, 4, 1, 1, 1, 1, 1], [8, 7, 6, 4, 2, 1, 1, 1], [8, 7, 6, 4, 2, 2, 1], [8, 7, 6, 4, 3, 1, 1], [8, 7, 6, 4, 3, 2], [8, 7, 6, 4, 4, 1], [8, 7, 6, 5, 1, 1, 1, 1], [8, 7, 6, 5, 2, 1, 1], [8, 7, 6, 5, 2, 2], [8, 7, 6, 5, 3, 1], [8, 7, 6, 5, 4], [8, 7, 6, 6, 1, 1, 1], [8, 7, 6, 6, 2, 1], [8, 7, 6, 6, 3], [8, 7, 7, 2, 2, 1, 1, 1, 1], [8, 7, 7, 2, 2, 2, 1, 1], [8, 7, 7, 2, 2, 2, 2], [8, 7, 7, 3, 1, 1, 1, 1, 1], [8, 7, 7, 3, 2, 1, 1, 1], [8, 7, 7, 3, 2, 2, 1], [8, 7, 7, 3, 3, 1, 1], [8, 7, 7, 3, 3, 2], [8, 7, 7, 4, 1, 1, 1, 1], [8, 7, 7, 4, 2, 1, 1], [8, 7, 7, 4, 2, 2], [8, 7, 7, 4, 3, 1], [8, 7, 7, 4, 4], [8, 7, 7, 5, 1, 1, 1], [8, 7, 7, 5, 2, 1], [8, 7, 7, 5, 3], [8, 7, 7, 6, 1, 1], [8, 7, 7, 6, 2], [8, 8, 3, 3, 3, 2, 1, 1, 1], [8, 8, 3, 3, 3, 2, 2, 1], [8, 8, 3, 3, 3, 3, 1, 1], [8, 8, 3, 3, 3, 3, 2], [8, 8, 4, 3, 2, 2, 1, 1, 1], [8, 8, 4, 3, 2, 2, 2, 1], [8, 8, 4, 3, 3, 1, 1, 1, 1], [8, 8, 4, 3, 3, 2, 1, 1], [8, 8, 4, 3, 3, 2, 2], [8, 8, 4, 3, 3, 3, 1], [8, 8, 4, 4, 2, 1, 1, 1, 1], [8, 8, 4, 4, 2, 2, 1, 1], [8, 8, 4, 4, 2, 2, 2], [8, 8, 4, 4, 3, 1, 1, 1], [8, 8, 4, 4, 3, 2, 1], [8, 8, 4, 4, 3, 3], [8, 8, 4, 4, 4, 1, 1], [8, 8, 4, 4, 4, 2], [8, 8, 5, 2, 2, 2, 1, 1, 1], [8, 8, 5, 2, 2, 2, 2, 1], [8, 8, 5, 3, 2, 1, 1, 1, 1], [8, 8, 5, 3, 2, 2, 1, 1], [8, 8, 5, 3, 2, 2, 2], [8, 8, 5, 3, 3, 1, 1, 1], [8, 8, 5, 3, 3, 2, 1], [8, 8, 5, 3, 3, 3], [8, 8, 5, 4, 1, 1, 1, 1, 1], [8, 8, 5, 4, 2, 1, 1, 1], [8, 8, 5, 4, 2, 2, 1], [8, 8, 5, 4, 3, 1, 1], [8, 8, 5, 4, 3, 2], [8, 8, 5, 4, 4, 1], [8, 8, 5, 5, 1, 1, 1, 1], [8, 8, 5, 5, 2, 1, 1], [8, 8, 5, 5, 2, 2], [8, 8, 5, 5, 3, 1], [8, 8, 5, 5, 4], [8, 8, 6, 2, 2, 1, 1, 1, 1], [8, 8, 6, 2, 2, 2, 1, 1], [8, 8, 6, 2, 2, 2, 2], [8, 8, 6, 3, 1, 1, 1, 1, 1], [8, 8, 6, 3, 2, 1, 1, 1], [8, 8, 6, 3, 2, 2, 1], [8, 8, 6, 3, 3, 1, 1], [8, 8, 6, 3, 3, 2], [8, 8, 6, 4, 1, 1, 1, 1], [8, 8, 6, 4, 2, 1, 1], [8, 8, 6, 4, 2, 2], [8, 8, 6, 4, 3, 1], [8, 8, 6, 4, 4], [8, 8, 6, 5, 1, 1, 1], [8, 8, 6, 5, 2, 1], [8, 8, 6, 5, 3], [8, 8, 6, 6, 1, 1], [8, 8, 6, 6, 2], [8, 8, 7, 2, 1, 1, 1, 1, 1], [8, 8, 7, 2, 2, 1, 1, 1], [8, 8, 7, 2, 2, 2, 1], [8, 8, 7, 3, 1, 1, 1, 1], [8, 8, 7, 3, 2, 1, 1], [8, 8, 7, 3, 2, 2], [8, 8, 7, 3, 3, 1], [8, 8, 7, 4, 1, 1, 1], [8, 8, 7, 4, 2, 1], [8, 8, 7, 4, 3], [8, 8, 7, 5, 1, 1], [8, 8, 7, 5, 2], [8, 8, 7, 6, 1], [8, 8, 8, 2, 1, 1, 1, 1], [8, 8, 8, 2, 2, 1, 1], [8, 8, 8, 2, 2, 2], [8, 8, 8, 3, 1, 1, 1], [8, 8, 8, 3, 2, 1], [8, 8, 8, 3, 3], [8, 8, 8, 4, 1, 1], [8, 8, 8, 4, 2], [8, 8, 8, 5, 1], [9, 5, 4, 3, 3, 2, 2, 1, 1], [9, 5, 4, 3, 3, 3, 1, 1, 1], [9, 5, 4, 3, 3, 3, 2, 1], [9, 5, 4, 3, 3, 3, 3], [9, 5, 4, 4, 2, 2, 2, 1, 1], [9, 5, 4, 4, 3, 2, 1, 1, 1], [9, 5, 4, 4, 3, 2, 2, 1], [9, 5, 4, 4, 3, 3, 1, 1], [9, 5, 4, 4, 3, 3, 2], [9, 5, 4, 4, 4, 1, 1, 1, 1], [9, 5, 4, 4, 4, 2, 1, 1], [9, 5, 4, 4, 4, 2, 2], [9, 5, 4, 4, 4, 3, 1], [9, 5, 4, 4, 4, 4], [9, 5, 5, 3, 2, 2, 2, 1, 1], [9, 5, 5, 3, 3, 2, 1, 1, 1], [9, 5, 5, 3, 3, 2, 2, 1], [9, 5, 5, 3, 3, 3, 1, 1], [9, 5, 5, 3, 3, 3, 2], [9, 5, 5, 4, 2, 2, 1, 1, 1], [9, 5, 5, 4, 2, 2, 2, 1], [9, 5, 5, 4, 3, 1, 1, 1, 1], [9, 5, 5, 4, 3, 2, 1, 1], [9, 5, 5, 4, 3, 2, 2], [9, 5, 5, 4, 3, 3, 1], [9, 5, 5, 4, 4, 1, 1, 1], [9, 5, 5, 4, 4, 2, 1], [9, 5, 5, 4, 4, 3], [9, 5, 5, 5, 2, 1, 1, 1, 1], [9, 5, 5, 5, 2, 2, 1, 1], [9, 5, 5, 5, 2, 2, 2], [9, 5, 5, 5, 3, 1, 1, 1], [9, 5, 5, 5, 3, 2, 1], [9, 5, 5, 5, 3, 3], [9, 5, 5, 5, 4, 1, 1], [9, 5, 5, 5, 4, 2], [9, 5, 5, 5, 5, 1], [9, 6, 3, 3, 3, 2, 2, 1, 1], [9, 6, 3, 3, 3, 3, 1, 1, 1], [9, 6, 3, 3, 3, 3, 2, 1], [9, 6, 3, 3, 3, 3, 3], [9, 6, 4, 3, 2, 2, 2, 1, 1], [9, 6, 4, 3, 3, 2, 1, 1, 1], [9, 6, 4, 3, 3, 2, 2, 1], [9, 6, 4, 3, 3, 3, 1, 1], [9, 6, 4, 3, 3, 3, 2], [9, 6, 4, 4, 2, 2, 1, 1, 1], [9, 6, 4, 4, 2, 2, 2, 1], [9, 6, 4, 4, 3, 1, 1, 1, 1], [9, 6, 4, 4, 3, 2, 1, 1], [9, 6, 4, 4, 3, 2, 2], [9, 6, 4, 4, 3, 3, 1], [9, 6, 4, 4, 4, 1, 1, 1], [9, 6, 4, 4, 4, 2, 1], [9, 6, 4, 4, 4, 3], [9, 6, 5, 2, 2, 2, 2, 1, 1], [9, 6, 5, 3, 2, 2, 1, 1, 1], [9, 6, 5, 3, 2, 2, 2, 1], [9, 6, 5, 3, 3, 1, 1, 1, 1], [9, 6, 5, 3, 3, 2, 1, 1], [9, 6, 5, 3, 3, 2, 2], [9, 6, 5, 3, 3, 3, 1], [9, 6, 5, 4, 2, 1, 1, 1, 1], [9, 6, 5, 4, 2, 2, 1, 1], [9, 6, 5, 4, 2, 2, 2], [9, 6, 5, 4, 3, 1, 1, 1], [9, 6, 5, 4, 3, 2, 1], [9, 6, 5, 4, 3, 3], [9, 6, 5, 4, 4, 1, 1], [9, 6, 5, 4, 4, 2], [9, 6, 5, 5, 1, 1, 1, 1, 1], [9, 6, 5, 5, 2, 1, 1, 1], [9, 6, 5, 5, 2, 2, 1], [9, 6, 5, 5, 3, 1, 1], [9, 6, 5, 5, 3, 2], [9, 6, 5, 5, 4, 1], [9, 6, 5, 5, 5], [9, 6, 6, 2, 2, 2, 1, 1, 1], [9, 6, 6, 2, 2, 2, 2, 1], [9, 6, 6, 3, 2, 1, 1, 1, 1], [9, 6, 6, 3, 2, 2, 1, 1], [9, 6, 6, 3, 2, 2, 2], [9, 6, 6, 3, 3, 1, 1, 1], [9, 6, 6, 3, 3, 2, 1], [9, 6, 6, 3, 3, 3], [9, 6, 6, 4, 1, 1, 1, 1, 1], [9, 6, 6, 4, 2, 1, 1, 1], [9, 6, 6, 4, 2, 2, 1], [9, 6, 6, 4, 3, 1, 1], [9, 6, 6, 4, 3, 2], [9, 6, 6, 4, 4, 1], [9, 6, 6, 5, 1, 1, 1, 1], [9, 6, 6, 5, 2, 1, 1], [9, 6, 6, 5, 2, 2], [9, 6, 6, 5, 3, 1], [9, 6, 6, 5, 4], [9, 6, 6, 6, 1, 1, 1], [9, 6, 6, 6, 2, 1], [9, 6, 6, 6, 3], [9, 7, 3, 3, 2, 2, 2, 1, 1], [9, 7, 3, 3, 3, 2, 1, 1, 1], [9, 7, 3, 3, 3, 2, 2, 1], [9, 7, 3, 3, 3, 3, 1, 1], [9, 7, 3, 3, 3, 3, 2], [9, 7, 4, 2, 2, 2, 2, 1, 1], [9, 7, 4, 3, 2, 2, 1, 1, 1], [9, 7, 4, 3, 2, 2, 2, 1], [9, 7, 4, 3, 3, 1, 1, 1, 1], [9, 7, 4, 3, 3, 2, 1, 1], [9, 7, 4, 3, 3, 2, 2], [9, 7, 4, 3, 3, 3, 1], [9, 7, 4, 4, 2, 1, 1, 1, 1], [9, 7, 4, 4, 2, 2, 1, 1], [9, 7, 4, 4, 2, 2, 2], [9, 7, 4, 4, 3, 1, 1, 1], [9, 7, 4, 4, 3, 2, 1], [9, 7, 4, 4, 3, 3], [9, 7, 4, 4, 4, 1, 1], [9, 7, 4, 4, 4, 2], [9, 7, 5, 2, 2, 2, 1, 1, 1], [9, 7, 5, 2, 2, 2, 2, 1], [9, 7, 5, 3, 2, 1, 1, 1, 1], [9, 7, 5, 3, 2, 2, 1, 1], [9, 7, 5, 3, 2, 2, 2], [9, 7, 5, 3, 3, 1, 1, 1], [9, 7, 5, 3, 3, 2, 1], [9, 7, 5, 3, 3, 3], [9, 7, 5, 4, 1, 1, 1, 1, 1], [9, 7, 5, 4, 2, 1, 1, 1], [9, 7, 5, 4, 2, 2, 1], [9, 7, 5, 4, 3, 1, 1], [9, 7, 5, 4, 3, 2], [9, 7, 5, 4, 4, 1], [9, 7, 5, 5, 1, 1, 1, 1], [9, 7, 5, 5, 2, 1, 1], [9, 7, 5, 5, 2, 2], [9, 7, 5, 5, 3, 1], [9, 7, 5, 5, 4], [9, 7, 6, 2, 2, 1, 1, 1, 1], [9, 7, 6, 2, 2, 2, 1, 1], [9, 7, 6, 2, 2, 2, 2], [9, 7, 6, 3, 1, 1, 1, 1, 1], [9, 7, 6, 3, 2, 1, 1, 1], [9, 7, 6, 3, 2, 2, 1], [9, 7, 6, 3, 3, 1, 1], [9, 7, 6, 3, 3, 2], [9, 7, 6, 4, 1, 1, 1, 1], [9, 7, 6, 4, 2, 1, 1], [9, 7, 6, 4, 2, 2], [9, 7, 6, 4, 3, 1], [9, 7, 6, 4, 4], [9, 7, 6, 5, 1, 1, 1], [9, 7, 6, 5, 2, 1], [9, 7, 6, 5, 3], [9, 7, 6, 6, 1, 1], [9, 7, 6, 6, 2], [9, 7, 7, 2, 1, 1, 1, 1, 1], [9, 7, 7, 2, 2, 1, 1, 1], [9, 7, 7, 2, 2, 2, 1], [9, 7, 7, 3, 1, 1, 1, 1], [9, 7, 7, 3, 2, 1, 1], [9, 7, 7, 3, 2, 2], [9, 7, 7, 3, 3, 1], [9, 7, 7, 4, 1, 1, 1], [9, 7, 7, 4, 2, 1], [9, 7, 7, 4, 3], [9, 7, 7, 5, 1, 1], [9, 7, 7, 5, 2], [9, 7, 7, 6, 1], [9, 8, 3, 3, 2, 2, 1, 1, 1], [9, 8, 3, 3, 2, 2, 2, 1], [9, 8, 3, 3, 3, 1, 1, 1, 1], [9, 8, 3, 3, 3, 2, 1, 1], [9, 8, 3, 3, 3, 2, 2], [9, 8, 3, 3, 3, 3, 1], [9, 8, 4, 2, 2, 2, 1, 1, 1], [9, 8, 4, 2, 2, 2, 2, 1], [9, 8, 4, 3, 2, 1, 1, 1, 1], [9, 8, 4, 3, 2, 2, 1, 1], [9, 8, 4, 3, 2, 2, 2], [9, 8, 4, 3, 3, 1, 1, 1], [9, 8, 4, 3, 3, 2, 1], [9, 8, 4, 3, 3, 3], [9, 8, 4, 4, 1, 1, 1, 1, 1], [9, 8, 4, 4, 2, 1, 1, 1], [9, 8, 4, 4, 2, 2, 1], [9, 8, 4, 4, 3, 1, 1], [9, 8, 4, 4, 3, 2], [9, 8, 4, 4, 4, 1], [9, 8, 5, 2, 2, 1, 1, 1, 1], [9, 8, 5, 2, 2, 2, 1, 1], [9, 8, 5, 2, 2, 2, 2], [9, 8, 5, 3, 1, 1, 1, 1, 1], [9, 8, 5, 3, 2, 1, 1, 1], [9, 8, 5, 3, 2, 2, 1], [9, 8, 5, 3, 3, 1, 1], [9, 8, 5, 3, 3, 2], [9, 8, 5, 4, 1, 1, 1, 1], [9, 8, 5, 4, 2, 1, 1], [9, 8, 5, 4, 2, 2], [9, 8, 5, 4, 3, 1], [9, 8, 5, 4, 4], [9, 8, 5, 5, 1, 1, 1], [9, 8, 5, 5, 2, 1], [9, 8, 5, 5, 3], [9, 8, 6, 2, 1, 1, 1, 1, 1], [9, 8, 6, 2, 2, 1, 1, 1], [9, 8, 6, 2, 2, 2, 1], [9, 8, 6, 3, 1, 1, 1, 1], [9, 8, 6, 3, 2, 1, 1], [9, 8, 6, 3, 2, 2], [9, 8, 6, 3, 3, 1], [9, 8, 6, 4, 1, 1, 1], [9, 8, 6, 4, 2, 1], [9, 8, 6, 4, 3], [9, 8, 6, 5, 1, 1], [9, 8, 6, 5, 2], [9, 8, 6, 6, 1], [9, 8, 7, 2, 1, 1, 1, 1], [9, 8, 7, 2, 2, 1, 1], [9, 8, 7, 2, 2, 2], [9, 8, 7, 3, 1, 1, 1], [9, 8, 7, 3, 2, 1], [9, 8, 7, 3, 3], [9, 8, 7, 4, 1, 1], [9, 8, 7, 4, 2], [9, 8, 7, 5, 1], [9, 8, 8, 2, 1, 1, 1], [9, 8, 8, 2, 2, 1], [9, 8, 8, 3, 1, 1], [9, 8, 8, 3, 2], [9, 8, 8, 4, 1], [9, 9, 3, 3, 2, 2, 1, 1], [9, 9, 3, 3, 3, 1, 1, 1], [9, 9, 3, 3, 3, 2, 1], [9, 9, 3, 3, 3, 3], [9, 9, 4, 2, 2, 2, 1, 1], [9, 9, 4, 3, 2, 1, 1, 1], [9, 9, 4, 3, 2, 2, 1], [9, 9, 4, 3, 3, 1, 1], [9, 9, 4, 3, 3, 2], [9, 9, 4, 4, 1, 1, 1, 1], [9, 9, 4, 4, 2, 1, 1], [9, 9, 4, 4, 2, 2], [9, 9, 4, 4, 3, 1], [9, 9, 4, 4, 4], [9, 9, 5, 2, 2, 1, 1, 1], [9, 9, 5, 2, 2, 2, 1], [9, 9, 5, 3, 1, 1, 1, 1], [9, 9, 5, 3, 2, 1, 1], [9, 9, 5, 3, 2, 2], [9, 9, 5, 3, 3, 1], [9, 9, 5, 4, 1, 1, 1], [9, 9, 5, 4, 2, 1], [9, 9, 5, 4, 3], [9, 9, 5, 5, 1, 1], [9, 9, 5, 5, 2], [9, 9, 6, 2, 1, 1, 1, 1], [9, 9, 6, 2, 2, 1, 1], [9, 9, 6, 2, 2, 2], [9, 9, 6, 3, 1, 1, 1], [9, 9, 6, 3, 2, 1], [9, 9, 6, 3, 3], [9, 9, 6, 4, 1, 1], [9, 9, 6, 4, 2], [9, 9, 6, 5, 1], [9, 9, 7, 2, 1, 1, 1], [9, 9, 7, 2, 2, 1], [9, 9, 7, 3, 1, 1], [9, 9, 7, 3, 2], [9, 9, 7, 4, 1], [9, 9, 8, 2, 1, 1], [9, 9, 8, 3, 1], [10, 5, 4, 3, 3, 2, 1, 1, 1], [10, 5, 4, 3, 3, 2, 2, 1], [10, 5, 4, 3, 3, 3, 1, 1], [10, 5, 4, 3, 3, 3, 2], [10, 5, 4, 4, 2, 2, 1, 1, 1], [10, 5, 4, 4, 2, 2, 2, 1], [10, 5, 4, 4, 3, 1, 1, 1, 1], [10, 5, 4, 4, 3, 2, 1, 1], [10, 5, 4, 4, 3, 2, 2], [10, 5, 4, 4, 3, 3, 1], [10, 5, 4, 4, 4, 1, 1, 1], [10, 5, 4, 4, 4, 2, 1], [10, 5, 4, 4, 4, 3], [10, 5, 5, 3, 2, 2, 1, 1, 1], [10, 5, 5, 3, 2, 2, 2, 1], [10, 5, 5, 3, 3, 1, 1, 1, 1], [10, 5, 5, 3, 3, 2, 1, 1], [10, 5, 5, 3, 3, 2, 2], [10, 5, 5, 3, 3, 3, 1], [10, 5, 5, 4, 2, 1, 1, 1, 1], [10, 5, 5, 4, 2, 2, 1, 1], [10, 5, 5, 4, 2, 2, 2], [10, 5, 5, 4, 3, 1, 1, 1], [10, 5, 5, 4, 3, 2, 1], [10, 5, 5, 4, 3, 3], [10, 5, 5, 4, 4, 1, 1], [10, 5, 5, 4, 4, 2], [10, 5, 5, 5, 1, 1, 1, 1, 1], [10, 5, 5, 5, 2, 1, 1, 1], [10, 5, 5, 5, 2, 2, 1], [10, 5, 5, 5, 3, 1, 1], [10, 5, 5, 5, 3, 2], [10, 5, 5, 5, 4, 1], [10, 6, 3, 3, 3, 2, 1, 1, 1], [10, 6, 3, 3, 3, 2, 2, 1], [10, 6, 3, 3, 3, 3, 1, 1], [10, 6, 3, 3, 3, 3, 2], [10, 6, 4, 3, 2, 2, 1, 1, 1], [10, 6, 4, 3, 2, 2, 2, 1], [10, 6, 4, 3, 3, 1, 1, 1, 1], [10, 6, 4, 3, 3, 2, 1, 1], [10, 6, 4, 3, 3, 2, 2], [10, 6, 4, 3, 3, 3, 1], [10, 6, 4, 4, 2, 1, 1, 1, 1], [10, 6, 4, 4, 2, 2, 1, 1], [10, 6, 4, 4, 2, 2, 2], [10, 6, 4, 4, 3, 1, 1, 1], [10, 6, 4, 4, 3, 2, 1], [10, 6, 4, 4, 3, 3], [10, 6, 4, 4, 4, 1, 1], [10, 6, 4, 4, 4, 2], [10, 6, 5, 2, 2, 2, 1, 1, 1], [10, 6, 5, 2, 2, 2, 2, 1], [10, 6, 5, 3, 2, 1, 1, 1, 1], [10, 6, 5, 3, 2, 2, 1, 1], [10, 6, 5, 3, 2, 2, 2], [10, 6, 5, 3, 3, 1, 1, 1], [10, 6, 5, 3, 3, 2, 1], [10, 6, 5, 3, 3, 3], [10, 6, 5, 4, 1, 1, 1, 1, 1], [10, 6, 5, 4, 2, 1, 1, 1], [10, 6, 5, 4, 2, 2, 1], [10, 6, 5, 4, 3, 1, 1], [10, 6, 5, 4, 3, 2], [10, 6, 5, 4, 4, 1], [10, 6, 5, 5, 1, 1, 1, 1], [10, 6, 5, 5, 2, 1, 1], [10, 6, 5, 5, 2, 2], [10, 6, 5, 5, 3, 1], [10, 6, 5, 5, 4], [10, 6, 6, 2, 2, 1, 1, 1, 1], [10, 6, 6, 2, 2, 2, 1, 1], [10, 6, 6, 2, 2, 2, 2], [10, 6, 6, 3, 1, 1, 1, 1, 1], [10, 6, 6, 3, 2, 1, 1, 1], [10, 6, 6, 3, 2, 2, 1], [10, 6, 6, 3, 3, 1, 1], [10, 6, 6, 3, 3, 2], [10, 6, 6, 4, 1, 1, 1, 1], [10, 6, 6, 4, 2, 1, 1], [10, 6, 6, 4, 2, 2], [10, 6, 6, 4, 3, 1], [10, 6, 6, 4, 4], [10, 6, 6, 5, 1, 1, 1], [10, 6, 6, 5, 2, 1], [10, 6, 6, 5, 3], [10, 6, 6, 6, 1, 1], [10, 6, 6, 6, 2], [10, 7, 3, 3, 2, 2, 1, 1, 1], [10, 7, 3, 3, 2, 2, 2, 1], [10, 7, 3, 3, 3, 1, 1, 1, 1], [10, 7, 3, 3, 3, 2, 1, 1], [10, 7, 3, 3, 3, 2, 2], [10, 7, 3, 3, 3, 3, 1], [10, 7, 4, 2, 2, 2, 1, 1, 1], [10, 7, 4, 2, 2, 2, 2, 1], [10, 7, 4, 3, 2, 1, 1, 1, 1], [10, 7, 4, 3, 2, 2, 1, 1], [10, 7, 4, 3, 2, 2, 2], [10, 7, 4, 3, 3, 1, 1, 1], [10, 7, 4, 3, 3, 2, 1], [10, 7, 4, 3, 3, 3], [10, 7, 4, 4, 1, 1, 1, 1, 1], [10, 7, 4, 4, 2, 1, 1, 1], [10, 7, 4, 4, 2, 2, 1], [10, 7, 4, 4, 3, 1, 1], [10, 7, 4, 4, 3, 2], [10, 7, 4, 4, 4, 1], [10, 7, 5, 2, 2, 1, 1, 1, 1], [10, 7, 5, 2, 2, 2, 1, 1], [10, 7, 5, 2, 2, 2, 2], [10, 7, 5, 3, 1, 1, 1, 1, 1], [10, 7, 5, 3, 2, 1, 1, 1], [10, 7, 5, 3, 2, 2, 1], [10, 7, 5, 3, 3, 1, 1], [10, 7, 5, 3, 3, 2], [10, 7, 5, 4, 1, 1, 1, 1], [10, 7, 5, 4, 2, 1, 1], [10, 7, 5, 4, 2, 2], [10, 7, 5, 4, 3, 1], [10, 7, 5, 4, 4], [10, 7, 5, 5, 1, 1, 1], [10, 7, 5, 5, 2, 1], [10, 7, 5, 5, 3], [10, 7, 6, 2, 1, 1, 1, 1, 1], [10, 7, 6, 2, 2, 1, 1, 1], [10, 7, 6, 2, 2, 2, 1], [10, 7, 6, 3, 1, 1, 1, 1], [10, 7, 6, 3, 2, 1, 1], [10, 7, 6, 3, 2, 2], [10, 7, 6, 3, 3, 1], [10, 7, 6, 4, 1, 1, 1], [10, 7, 6, 4, 2, 1], [10, 7, 6, 4, 3], [10, 7, 6, 5, 1, 1], [10, 7, 6, 5, 2], [10, 7, 6, 6, 1], [10, 7, 7, 2, 1, 1, 1, 1], [10, 7, 7, 2, 2, 1, 1], [10, 7, 7, 2, 2, 2], [10, 7, 7, 3, 1, 1, 1], [10, 7, 7, 3, 2, 1], [10, 7, 7, 3, 3], [10, 7, 7, 4, 1, 1], [10, 7, 7, 4, 2], [10, 7, 7, 5, 1], [10, 8, 3, 3, 2, 1, 1, 1, 1], [10, 8, 3, 3, 2, 2, 1, 1], [10, 8, 3, 3, 2, 2, 2], [10, 8, 3, 3, 3, 1, 1, 1], [10, 8, 3, 3, 3, 2, 1], [10, 8, 3, 3, 3, 3], [10, 8, 4, 2, 2, 1, 1, 1, 1], [10, 8, 4, 2, 2, 2, 1, 1], [10, 8, 4, 2, 2, 2, 2], [10, 8, 4, 3, 1, 1, 1, 1, 1], [10, 8, 4, 3, 2, 1, 1, 1], [10, 8, 4, 3, 2, 2, 1], [10, 8, 4, 3, 3, 1, 1], [10, 8, 4, 3, 3, 2], [10, 8, 4, 4, 1, 1, 1, 1], [10, 8, 4, 4, 2, 1, 1], [10, 8, 4, 4, 2, 2], [10, 8, 4, 4, 3, 1], [10, 8, 4, 4, 4], [10, 8, 5, 2, 1, 1, 1, 1, 1], [10, 8, 5, 2, 2, 1, 1, 1], [10, 8, 5, 2, 2, 2, 1], [10, 8, 5, 3, 1, 1, 1, 1], [10, 8, 5, 3, 2, 1, 1], [10, 8, 5, 3, 2, 2], [10, 8, 5, 3, 3, 1], [10, 8, 5, 4, 1, 1, 1], [10, 8, 5, 4, 2, 1], [10, 8, 5, 4, 3], [10, 8, 5, 5, 1, 1], [10, 8, 5, 5, 2], [10, 8, 6, 2, 1, 1, 1, 1], [10, 8, 6, 2, 2, 1, 1], [10, 8, 6, 2, 2, 2], [10, 8, 6, 3, 1, 1, 1], [10, 8, 6, 3, 2, 1], [10, 8, 6, 3, 3], [10, 8, 6, 4, 1, 1], [10, 8, 6, 4, 2], [10, 8, 6, 5, 1], [10, 8, 7, 2, 1, 1, 1], [10, 8, 7, 2, 2, 1], [10, 8, 7, 3, 1, 1], [10, 8, 7, 3, 2], [10, 8, 7, 4, 1], [10, 8, 8, 2, 1, 1], [10, 8, 8, 3, 1], [10, 9, 3, 3, 2, 1, 1, 1], [10, 9, 3, 3, 2, 2, 1], [10, 9, 3, 3, 3, 1, 1], [10, 9, 3, 3, 3, 2], [10, 9, 4, 2, 2, 1, 1, 1], [10, 9, 4, 2, 2, 2, 1], [10, 9, 4, 3, 1, 1, 1, 1], [10, 9, 4, 3, 2, 1, 1], [10, 9, 4, 3, 2, 2], [10, 9, 4, 3, 3, 1], [10, 9, 4, 4, 1, 1, 1], [10, 9, 4, 4, 2, 1], [10, 9, 4, 4, 3], [10, 9, 5, 2, 1, 1, 1, 1], [10, 9, 5, 2, 2, 1, 1], [10, 9, 5, 2, 2, 2], [10, 9, 5, 3, 1, 1, 1], [10, 9, 5, 3, 2, 1], [10, 9, 5, 3, 3], [10, 9, 5, 4, 1, 1], [10, 9, 5, 4, 2], [10, 9, 5, 5, 1], [10, 9, 6, 2, 1, 1, 1], [10, 9, 6, 2, 2, 1], [10, 9, 6, 3, 1, 1], [10, 9, 6, 3, 2], [10, 9, 6, 4, 1], [10, 9, 7, 2, 1, 1], [10, 9, 7, 3, 1], [11, 5, 4, 3, 3, 2, 1, 1], [11, 5, 4, 3, 3, 3, 1], [11, 5, 4, 4, 2, 2, 1, 1], [11, 5, 4, 4, 3, 1, 1, 1], [11, 5, 4, 4, 3, 2, 1], [11, 5, 4, 4, 3, 3], [11, 5, 4, 4, 4, 1, 1], [11, 5, 4, 4, 4, 2], [11, 5, 5, 3, 2, 2, 1, 1], [11, 5, 5, 3, 3, 1, 1, 1], [11, 5, 5, 3, 3, 2, 1], [11, 5, 5, 3, 3, 3], [11, 5, 5, 4, 2, 1, 1, 1], [11, 5, 5, 4, 2, 2, 1], [11, 5, 5, 4, 3, 1, 1], [11, 5, 5, 4, 3, 2], [11, 5, 5, 4, 4, 1], [11, 5, 5, 5, 1, 1, 1, 1], [11, 5, 5, 5, 2, 1, 1], [11, 5, 5, 5, 2, 2], [11, 5, 5, 5, 3, 1], [11, 6, 3, 3, 3, 2, 1, 1], [11, 6, 3, 3, 3, 3, 1], [11, 6, 4, 3, 2, 2, 1, 1], [11, 6, 4, 3, 3, 1, 1, 1], [11, 6, 4, 3, 3, 2, 1], [11, 6, 4, 3, 3, 3], [11, 6, 4, 4, 2, 1, 1, 1], [11, 6, 4, 4, 2, 2, 1], [11, 6, 4, 4, 3, 1, 1], [11, 6, 4, 4, 3, 2], [11, 6, 4, 4, 4, 1], [11, 6, 5, 2, 2, 2, 1, 1], [11, 6, 5, 3, 2, 1, 1, 1], [11, 6, 5, 3, 2, 2, 1], [11, 6, 5, 3, 3, 1, 1], [11, 6, 5, 3, 3, 2], [11, 6, 5, 4, 1, 1, 1, 1], [11, 6, 5, 4, 2, 1, 1], [11, 6, 5, 4, 2, 2], [11, 6, 5, 4, 3, 1], [11, 6, 5, 4, 4], [11, 6, 5, 5, 1, 1, 1], [11, 6, 5, 5, 2, 1], [11, 6, 5, 5, 3], [11, 6, 6, 2, 2, 1, 1, 1], [11, 6, 6, 2, 2, 2, 1], [11, 6, 6, 3, 1, 1, 1, 1], [11, 6, 6, 3, 2, 1, 1], [11, 6, 6, 3, 2, 2], [11, 6, 6, 3, 3, 1], [11, 6, 6, 4, 1, 1, 1], [11, 6, 6, 4, 2, 1], [11, 6, 6, 4, 3], [11, 6, 6, 5, 1, 1], [11, 6, 6, 5, 2], [11, 6, 6, 6, 1], [11, 7, 3, 3, 2, 2, 1, 1], [11, 7, 3, 3, 3, 1, 1, 1], [11, 7, 3, 3, 3, 2, 1], [11, 7, 3, 3, 3, 3], [11, 7, 4, 2, 2, 2, 1, 1], [11, 7, 4, 3, 2, 1, 1, 1], [11, 7, 4, 3, 2, 2, 1], [11, 7, 4, 3, 3, 1, 1], [11, 7, 4, 3, 3, 2], [11, 7, 4, 4, 1, 1, 1, 1], [11, 7, 4, 4, 2, 1, 1], [11, 7, 4, 4, 2, 2], [11, 7, 4, 4, 3, 1], [11, 7, 4, 4, 4], [11, 7, 5, 2, 2, 1, 1, 1], [11, 7, 5, 2, 2, 2, 1], [11, 7, 5, 3, 1, 1, 1, 1], [11, 7, 5, 3, 2, 1, 1], [11, 7, 5, 3, 2, 2], [11, 7, 5, 3, 3, 1], [11, 7, 5, 4, 1, 1, 1], [11, 7, 5, 4, 2, 1], [11, 7, 5, 4, 3], [11, 7, 5, 5, 1, 1], [11, 7, 5, 5, 2], [11, 7, 6, 2, 1, 1, 1, 1], [11, 7, 6, 2, 2, 1, 1], [11, 7, 6, 2, 2, 2], [11, 7, 6, 3, 1, 1, 1], [11, 7, 6, 3, 2, 1], [11, 7, 6, 3, 3], [11, 7, 6, 4, 1, 1], [11, 7, 6, 4, 2], [11, 7, 6, 5, 1], [11, 7, 7, 2, 1, 1, 1], [11, 7, 7, 2, 2, 1], [11, 7, 7, 3, 1, 1], [11, 7, 7, 3, 2], [11, 7, 7, 4, 1], [11, 8, 3, 3, 2, 1, 1, 1], [11, 8, 3, 3, 2, 2, 1], [11, 8, 3, 3, 3, 1, 1], [11, 8, 3, 3, 3, 2], [11, 8, 4, 2, 2, 1, 1, 1], [11, 8, 4, 2, 2, 2, 1], [11, 8, 4, 3, 1, 1, 1, 1], [11, 8, 4, 3, 2, 1, 1], [11, 8, 4, 3, 2, 2], [11, 8, 4, 3, 3, 1], [11, 8, 4, 4, 1, 1, 1], [11, 8, 4, 4, 2, 1], [11, 8, 4, 4, 3], [11, 8, 5, 2, 1, 1, 1, 1], [11, 8, 5, 2, 2, 1, 1], [11, 8, 5, 2, 2, 2], [11, 8, 5, 3, 1, 1, 1], [11, 8, 5, 3, 2, 1], [11, 8, 5, 3, 3], [11, 8, 5, 4, 1, 1], [11, 8, 5, 4, 2], [11, 8, 5, 5, 1], [11, 8, 6, 2, 1, 1, 1], [11, 8, 6, 2, 2, 1], [11, 8, 6, 3, 1, 1], [11, 8, 6, 3, 2], [11, 8, 6, 4, 1], [11, 8, 7, 2, 1, 1], [11, 8, 7, 3, 1], [11, 9, 3, 3, 2, 1, 1], [11, 9, 3, 3, 3, 1], [11, 9, 4, 2, 2, 1, 1], [11, 9, 4, 3, 1, 1, 1], [11, 9, 4, 3, 2, 1], [11, 9, 4, 3, 3], [11, 9, 4, 4, 1, 1], [11, 9, 4, 4, 2], [11, 9, 5, 2, 1, 1, 1], [11, 9, 5, 2, 2, 1], [11, 9, 5, 3, 1, 1], [11, 9, 5, 3, 2], [11, 9, 5, 4, 1], [11, 9, 6, 2, 1, 1], [11, 9, 6, 3, 1]]
sdif([3, 2], [3, 3],3,5)
[[5, 3, 3, 3, 1], [5, 4, 2, 2, 2], [5, 4, 3, 3], [5, 4, 4, 2], [5, 5, 2, 2, 1], [5, 5, 3, 1, 1], [6, 3, 3, 3], [6, 5, 2, 1, 1], [6, 6, 2, 1], [6, 6, 3], [7, 3, 3, 1, 1], [7, 4, 4], [7, 6, 2], [8, 3, 3, 1], [8, 4, 3]]
#for i in sdif([3, 2], [3, 3],3,5):
#    for st in lrskew(i,[3,2],weight=[5,3,2]):
#        st.pp()
for i in lrskew([5,3,3,3,1],[3,2],weight=[5,3,2]):
    i.pp()
. . . 1 1 . . 1 1 1 2 2 2 3 3
s([3,3])*s([5,2,2])
s[5, 3, 3, 2, 2] + s[5, 4, 3, 2, 1] + s[5, 4, 4, 1, 1] + s[5, 5, 3, 2] + s[5, 5, 4, 1] + s[5, 5, 5] + s[6, 3, 2, 2, 2] + s[6, 3, 3, 2, 1] + s[6, 4, 2, 2, 1] + s[6, 4, 3, 1, 1] + s[6, 4, 3, 2] + s[6, 4, 4, 1] + s[6, 5, 2, 2] + s[6, 5, 3, 1] + s[6, 5, 4] + s[7, 3, 2, 2, 1] + s[7, 3, 3, 2] + s[7, 4, 2, 1, 1] + s[7, 4, 2, 2] + s[7, 4, 3, 1] + s[7, 5, 2, 1] + s[7, 5, 3] + s[8, 3, 2, 2] + s[8, 4, 2, 1] + s[8, 5, 2]
for i in lrskew([6,5,3,1],[3,2],weight=[5,3,2]):
    i.pp()
. . . 1 1 1 . . 1 2 2 1 2 3 3 . . . 1 1 1 . . 1 2 2 1 3 3 2 . . . 1 1 1 . . 2 2 2 1 1 3 3
for i in lrskew([6,5,3,1],[3,3],weight=[5,2,2]):
    i.pp()
. . . 1 1 1 . . . 2 2 1 1 3 3
sdif([3, 2, 1], [3, 3, 1],3,5)
[[4, 3, 3, 3, 1, 1], [4, 4, 2, 2, 2, 1], [4, 4, 4, 3], [5, 5, 2, 1, 1, 1], [6, 3, 3, 1, 1, 1], [6, 6, 2, 1], [6, 6, 3], [7, 3, 3, 1, 1], [7, 4, 4]]
supp([3,2,1],3,5)
[[4, 3, 3, 2, 2, 1], [4, 3, 3, 3, 1, 1], [4, 3, 3, 3, 2], [4, 4, 2, 2, 2, 1], [4, 4, 3, 2, 1, 1], [4, 4, 3, 2, 2], [4, 4, 3, 3, 1], [4, 4, 4, 1, 1, 1], [4, 4, 4, 2, 1], [4, 4, 4, 3], [5, 3, 2, 2, 2, 1], [5, 3, 3, 2, 1, 1], [5, 3, 3, 2, 2], [5, 3, 3, 3, 1], [5, 4, 2, 2, 1, 1], [5, 4, 2, 2, 2], [5, 4, 3, 1, 1, 1], [5, 4, 3, 2, 1], [5, 4, 3, 3], [5, 4, 4, 1, 1], [5, 4, 4, 2], [5, 5, 2, 1, 1, 1], [5, 5, 2, 2, 1], [5, 5, 3, 1, 1], [5, 5, 3, 2], [5, 5, 4, 1], [5, 5, 5], [6, 3, 2, 2, 1, 1], [6, 3, 2, 2, 2], [6, 3, 3, 1, 1, 1], [6, 3, 3, 2, 1], [6, 3, 3, 3], [6, 4, 2, 1, 1, 1], [6, 4, 2, 2, 1], [6, 4, 3, 1, 1], [6, 4, 3, 2], [6, 4, 4, 1], [6, 5, 2, 1, 1], [6, 5, 2, 2], [6, 5, 3, 1], [6, 5, 4], [6, 6, 2, 1], [6, 6, 3], [7, 3, 2, 2, 1], [7, 3, 3, 1, 1], [7, 3, 3, 2], [7, 4, 2, 1, 1], [7, 4, 2, 2], [7, 4, 3, 1], [7, 4, 4], [7, 5, 2, 1], [7, 5, 3]]
sdif([4, 2], [4, 3],3,5)
[[5, 4, 3, 3], [5, 5, 2, 2, 1], [6, 3, 3, 3], [6, 6, 1, 1, 1], [7, 7, 1], [9, 3, 3]]
supp([4,2],3,5)
[[5, 4, 3, 2, 1], [5, 4, 3, 3], [5, 4, 4, 1, 1], [5, 4, 4, 2], [5, 5, 2, 2, 1], [5, 5, 3, 1, 1], [5, 5, 3, 2], [5, 5, 4, 1], [5, 5, 5], [6, 3, 3, 2, 1], [6, 3, 3, 3], [6, 4, 2, 2, 1], [6, 4, 3, 1, 1], [6, 4, 3, 2], [6, 4, 4, 1], [6, 5, 2, 1, 1], [6, 5, 2, 2], [6, 5, 3, 1], [6, 5, 4], [6, 6, 1, 1, 1], [6, 6, 2, 1], [6, 6, 3], [7, 3, 2, 2, 1], [7, 3, 3, 1, 1], [7, 3, 3, 2], [7, 4, 2, 1, 1], [7, 4, 2, 2], [7, 4, 3, 1], [7, 4, 4], [7, 5, 1, 1, 1], [7, 5, 2, 1], [7, 5, 3], [7, 6, 1, 1], [7, 6, 2], [7, 7, 1], [8, 3, 2, 1, 1], [8, 3, 2, 2], [8, 3, 3, 1], [8, 4, 1, 1, 1], [8, 4, 2, 1], [8, 4, 3], [8, 5, 1, 1], [8, 5, 2], [8, 6, 1], [9, 3, 2, 1], [9, 3, 3], [9, 4, 1, 1], [9, 4, 2], [9, 5, 1]]
giv(3,3,1)
[set([[2, 1], [2, 2]])]
sdif([2, 1], [2, 2],3,3)
[[3, 2, 2, 2], [3, 3, 1, 1, 1], [4, 4, 1], [5, 2, 2]]
giv(3,4,1)
[]
giv(3,5,1)
[set([[3, 2], [3, 3]]), set([[4, 2], [4, 3]]), set([[3, 3, 1], [3, 2, 1]])]
sdif([3, 2], [3, 3],3,5)
[[5, 3, 3, 3, 1], [5, 4, 2, 2, 2], [5, 4, 3, 3], [5, 4, 4, 2], [5, 5, 2, 2, 1], [5, 5, 3, 1, 1], [6, 3, 3, 3], [6, 5, 2, 1, 1], [6, 6, 2, 1], [6, 6, 3], [7, 3, 3, 1, 1], [7, 4, 4], [7, 6, 2], [8, 3, 3, 1], [8, 4, 3]]
sdif([4,2],[4,3],3,5)
[[5, 4, 3, 3], [5, 5, 2, 2, 1], [6, 3, 3, 3], [6, 6, 1, 1, 1], [7, 7, 1], [9, 3, 3]]
sdif([3,2,1],[3,3,1],3,5)
[[4, 3, 3, 3, 1, 1], [4, 4, 2, 2, 2, 1], [4, 4, 4, 3], [5, 5, 2, 1, 1, 1], [6, 3, 3, 1, 1, 1], [6, 6, 2, 1], [6, 6, 3], [7, 3, 3, 1, 1], [7, 4, 4]]
t=sdif([4,2],[4,3],3,5)
for j in t:
    print j, lrcalc.lrcoef(j,[4,2],[5,3,1])
[5, 4, 3, 3] 1 [5, 5, 2, 2, 1] 1 [6, 3, 3, 3] 1 [6, 6, 1, 1, 1] 1 [7, 7, 1] 1 [9, 3, 3] 1
for i in giv(3,7,1):
    t=sorted(list(i))
    print t
    sdif(t[0],t[1],3,7)
    print "\n"
[[5, 2], [5, 5]] [[7, 5, 5, 3, 1], [7, 5, 5, 4], [7, 6, 4, 2, 2], [7, 6, 4, 3, 1], [7, 6, 4, 4], [7, 6, 5, 3], [7, 6, 6, 2], [7, 7, 3, 2, 2], [7, 7, 3, 3, 1], [7, 7, 4, 2, 1], [7, 7, 4, 3], [7, 7, 5, 1, 1], [8, 5, 4, 3, 1], [8, 5, 4, 4], [8, 5, 5, 3], [8, 6, 3, 2, 2], [8, 6, 3, 3, 1], [8, 6, 4, 3], [8, 7, 2, 2, 2], [8, 7, 3, 2, 1], [8, 7, 3, 3], [8, 7, 4, 1, 1], [8, 8, 2, 2, 1], [8, 8, 3, 1, 1], [8, 8, 3, 2], [8, 8, 4, 1], [8, 8, 5], [9, 5, 3, 3, 1], [9, 5, 4, 3], [9, 5, 5, 1, 1], [9, 6, 2, 2, 2], [9, 6, 3, 3], [9, 6, 6], [9, 7, 2, 2, 1], [9, 7, 3, 1, 1], [9, 8, 2, 1, 1], [9, 8, 2, 2], [9, 8, 3, 1], [9, 8, 4], [9, 9, 2, 1], [9, 9, 3], [10, 5, 3, 3], [10, 5, 4, 1, 1], [10, 5, 5, 1], [10, 6, 5], [10, 7, 2, 1, 1], [10, 8, 2, 1], [10, 8, 3], [10, 9, 2], [11, 5, 3, 1, 1], [11, 5, 4, 1], [11, 5, 5], [11, 6, 4], [11, 8, 2], [12, 5, 3, 1], [12, 5, 4], [12, 6, 3]] [[4, 3], [4, 4]] [[7, 4, 4, 4, 2], [7, 5, 3, 3, 3], [7, 5, 4, 4, 1], [7, 5, 5, 3, 1], [7, 6, 3, 3, 2], [7, 6, 4, 2, 2], [7, 6, 4, 4], [7, 6, 5, 3], [7, 6, 6, 2], [7, 7, 3, 3, 1], [7, 7, 4, 2, 1], [7, 7, 5, 1, 1], [8, 4, 4, 4, 1], [8, 5, 4, 4], [8, 5, 5, 3], [8, 6, 3, 2, 2], [8, 7, 3, 2, 1], [8, 7, 4, 1, 1], [8, 8, 3, 2], [8, 8, 4, 1], [8, 8, 5], [9, 4, 4, 2, 2], [9, 4, 4, 4], [9, 5, 5, 1, 1], [9, 6, 6], [9, 7, 3, 1, 1], [9, 8, 3, 1], [9, 8, 4], [10, 4, 4, 2, 1], [10, 5, 4, 1, 1], [10, 5, 5, 1], [10, 6, 5], [10, 8, 3], [11, 4, 4, 2], [11, 5, 4, 1], [11, 6, 4]] [[5, 2, 1], [6, 2, 2]] [[6, 5, 5, 3, 1, 1], [6, 5, 5, 4, 1], [6, 6, 4, 2, 2, 1], [6, 6, 4, 3, 1, 1], [6, 6, 4, 3, 2], [6, 6, 4, 4, 1], [6, 6, 5, 4], [6, 6, 6, 3], [7, 5, 4, 3, 1, 1], [7, 5, 4, 4, 1], [7, 5, 5, 4], [7, 6, 3, 2, 2, 1], [7, 6, 3, 3, 1, 1], [7, 6, 3, 3, 2], [7, 6, 4, 4], [7, 7, 3, 2, 1, 1], [7, 7, 3, 2, 2], [7, 7, 3, 3, 1], [7, 7, 4, 1, 1, 1], [8, 5, 3, 3, 1, 1], [8, 5, 4, 4], [8, 5, 5, 1, 1, 1], [8, 6, 2, 2, 2, 1], [8, 7, 2, 2, 1, 1], [8, 7, 2, 2, 2], [8, 7, 3, 1, 1, 1], [8, 8, 2, 2, 1], [8, 8, 3, 1, 1], [8, 8, 3, 2], [8, 8, 4, 1], [8, 8, 5], [9, 5, 4, 1, 1, 1], [9, 5, 5, 1, 1], [9, 6, 6], [9, 7, 2, 1, 1, 1], [9, 8, 2, 1, 1], [9, 8, 2, 2], [9, 8, 3, 1], [9, 8, 4], [10, 5, 3, 1, 1, 1], [10, 5, 4, 1, 1], [10, 5, 5, 1], [10, 6, 5], [10, 8, 2, 1], [10, 8, 3], [11, 5, 3, 1, 1], [11, 5, 4, 1], [11, 6, 4]] [[6, 3], [6, 4]] [[7, 6, 4, 4], [7, 7, 3, 3, 1], [8, 5, 4, 4], [8, 8, 2, 2, 1], [9, 4, 4, 4], [9, 9, 1, 1, 1], [10, 10, 1], [13, 4, 4]] [[5, 3], [5, 4]] [[7, 5, 4, 4, 1], [7, 5, 5, 4], [7, 6, 3, 3, 2], [7, 6, 4, 4], [7, 7, 3, 2, 2], [7, 7, 3, 3, 1], [8, 4, 4, 4, 1], [8, 5, 4, 4], [8, 7, 2, 2, 2], [8, 8, 2, 2, 1], [8, 8, 3, 1, 1], [9, 4, 4, 4], [9, 8, 2, 1, 1], [9, 9, 2, 1], [9, 9, 3], [10, 9, 2], [11, 4, 4, 1, 1], [11, 5, 5], [12, 4, 4, 1], [12, 5, 4]] [[4, 3, 1], [4, 4, 1]] [[6, 4, 4, 4, 2, 1], [6, 5, 3, 3, 3, 1], [6, 5, 4, 4, 1, 1], [6, 5, 5, 3, 1, 1], [6, 5, 5, 4, 1], [6, 6, 3, 3, 2, 1], [6, 6, 3, 3, 3], [6, 6, 4, 2, 2, 1], [6, 6, 5, 4], [6, 6, 6, 3], [7, 4, 4, 4, 1, 1], [7, 5, 5, 4], [7, 6, 3, 2, 2, 1], [7, 7, 3, 2, 1, 1], [7, 7, 3, 2, 2], [7, 7, 4, 1, 1, 1], [8, 4, 4, 2, 2, 1], [8, 5, 5, 1, 1, 1], [8, 7, 3, 1, 1, 1], [8, 8, 3, 1, 1], [8, 8, 3, 2], [8, 8, 4, 1], [8, 8, 5], [9, 4, 4, 2, 1, 1], [9, 4, 4, 2, 2], [9, 5, 4, 1, 1, 1], [9, 5, 5, 1, 1], [9, 6, 6], [9, 8, 3, 1], [9, 8, 4], [10, 4, 4, 2, 1], [10, 5, 4, 1, 1], [10, 5, 5, 1], [10, 6, 5]]
for i in giv(5,7,2):
    t=sorted(list(i))
    print t
    a=sdif(t[0],t[1],5,7)
    a=rem(a,t[2],5,7)
    a=rem(a,t[3],5,7)
    a
    print "\n"
[[6, 5, 2, 1], [6, 5, 5, 1], [6, 6, 2, 2], [7, 5, 2, 1, 1]] [[7, 6, 6, 5, 5, 4, 1, 1], [7, 6, 6, 5, 5, 4, 2], [7, 6, 6, 6, 4, 2, 2, 2], [7, 6, 6, 6, 4, 3, 2, 1], [7, 6, 6, 6, 4, 3, 3], [7, 6, 6, 6, 4, 4, 2], [7, 6, 6, 6, 6, 4], [7, 7, 5, 5, 5, 3, 1, 1, 1], [7, 7, 5, 5, 5, 3, 3], [7, 7, 5, 5, 5, 4, 1, 1], [7, 7, 5, 5, 5, 4, 2], [7, 7, 6, 5, 4, 4, 1, 1], [7, 7, 6, 5, 4, 4, 2], [7, 7, 6, 6, 3, 2, 2, 1, 1], [7, 7, 6, 6, 3, 2, 2, 2], [7, 7, 6, 6, 3, 3, 2, 1], [7, 7, 6, 6, 3, 3, 3], [7, 7, 6, 6, 5, 4], [7, 7, 7, 4, 4, 2, 2, 2], [7, 7, 7, 4, 4, 3, 1, 1, 1], [7, 7, 7, 4, 4, 3, 3], [7, 7, 7, 4, 4, 4, 1, 1], [7, 7, 7, 4, 4, 4, 2], [7, 7, 7, 5, 3, 2, 2, 1, 1], [7, 7, 7, 5, 3, 2, 2, 2], [7, 7, 7, 5, 3, 3, 1, 1, 1], [7, 7, 7, 5, 3, 3, 2, 1], [7, 7, 7, 5, 3, 3, 3], [7, 7, 7, 5, 5, 4], [7, 7, 7, 6, 3, 2, 2, 1], [7, 7, 7, 6, 3, 3, 2], [7, 7, 7, 7, 3, 1, 1, 1, 1], [7, 7, 7, 7, 3, 2, 2], [8, 6, 5, 5, 5, 3, 1, 1, 1], [8, 6, 5, 5, 5, 4, 2], [8, 6, 6, 5, 4, 4, 1, 1], [8, 6, 6, 5, 4, 4, 2], [8, 6, 6, 6, 3, 2, 2, 1, 1], [8, 6, 6, 6, 3, 2, 2, 2], [8, 6, 6, 6, 3, 3, 2, 1], [8, 6, 6, 6, 3, 3, 3], [8, 6, 6, 6, 5, 4], [8, 7, 5, 5, 4, 4, 1, 1], [8, 7, 5, 5, 4, 4, 2], [8, 7, 6, 4, 4, 3, 1, 1, 1], [8, 7, 6, 4, 4, 4, 2], [8, 7, 6, 5, 4, 4, 1], [8, 7, 6, 6, 2, 2, 2, 1, 1], [8, 7, 6, 6, 2, 2, 2, 2], [8, 7, 7, 4, 3, 2, 2, 2], [8, 7, 7, 4, 3, 3, 1, 1, 1], [8, 7, 7, 4, 3, 3, 3], [8, 7, 7, 5, 2, 2, 2, 1, 1], [8, 7, 7, 5, 2, 2, 2, 2], [8, 7, 7, 6, 2, 2, 1, 1, 1], [8, 7, 7, 7, 2, 1, 1, 1, 1], [8, 7, 7, 7, 2, 2, 2], [8, 8, 5, 4, 4, 3, 1, 1, 1], [8, 8, 5, 4, 4, 3, 3], [8, 8, 5, 4, 4, 4, 1, 1], [8, 8, 5, 4, 4, 4, 2], [8, 8, 5, 5, 4, 4, 1], [8, 8, 5, 5, 5, 4], [8, 8, 6, 4, 4, 4, 1], [8, 8, 6, 5, 2, 2, 2, 2], [8, 8, 6, 6, 2, 2, 1, 1, 1], [8, 8, 7, 3, 3, 2, 2, 2], [8, 8, 7, 3, 3, 3, 1, 1, 1], [8, 8, 7, 3, 3, 3, 3], [8, 8, 7, 4, 2, 2, 2, 1, 1], [8, 8, 7, 4, 2, 2, 2, 2], [8, 8, 7, 5, 2, 2, 1, 1, 1], [8, 8, 7, 6, 2, 1, 1, 1, 1], [8, 8, 7, 6, 2, 2, 2], [8, 8, 7, 7, 2, 2, 1], [8, 8, 8, 3, 3, 2, 2, 1], [8, 8, 8, 3, 3, 3, 2], [8, 8, 8, 4, 2, 2, 1, 1, 1], [8, 8, 8, 4, 2, 2, 2, 1], [8, 8, 8, 5, 2, 1, 1, 1, 1], [8, 8, 8, 5, 2, 2, 2], [8, 8, 8, 6, 2, 2, 1], [8, 8, 8, 7, 2, 2], [8, 8, 8, 8, 2, 1], [8, 8, 8, 8, 3], [9, 6, 5, 5, 4, 4, 1, 1], [9, 6, 5, 5, 4, 4, 2], [9, 6, 6, 4, 4, 2, 2, 1, 1], [9, 6, 6, 4, 4, 2, 2, 2], [9, 6, 6, 4, 4, 3, 2, 1], [9, 6, 6, 4, 4, 3, 3], [9, 6, 6, 4, 4, 4, 2], [9, 6, 6, 5, 4, 4, 1], [9, 6, 6, 6, 2, 2, 2, 1, 1], [9, 6, 6, 6, 2, 2, 2, 2], [9, 7, 5, 4, 4, 3, 1, 1, 1], [9, 7, 5, 4, 4, 4, 2], [9, 7, 5, 5, 4, 4, 1], [9, 7, 6, 4, 3, 3, 1, 1, 1], [9, 7, 6, 5, 4, 4], [9, 7, 7, 3, 3, 2, 2, 1, 1], [9, 7, 7, 3, 3, 2, 2, 2], [9, 7, 7, 3, 3, 3, 1, 1, 1], [9, 7, 7, 3, 3, 3, 2, 1], [9, 7, 7, 3, 3, 3, 3], [9, 7, 7, 4, 2, 2, 2, 2], [9, 7, 7, 7, 1, 1, 1, 1, 1], [9, 8, 5, 4, 4, 4, 1], [9, 8, 6, 3, 3, 3, 1, 1, 1], [9, 8, 7, 3, 2, 2, 2, 2], [9, 8, 7, 7, 1, 1, 1, 1], [9, 8, 8, 3, 2, 2, 2, 1], [9, 8, 8, 4, 2, 1, 1, 1, 1], [9, 8, 8, 5, 1, 1, 1, 1, 1], [9, 8, 8, 7, 1, 1, 1], [9, 8, 8, 8, 1, 1], [9, 8, 8, 8, 2], [9, 9, 5, 3, 3, 3, 1, 1, 1], [9, 9, 5, 3, 3, 3, 3], [9, 9, 5, 4, 4, 4], [9, 9, 7, 2, 2, 2, 2, 2], [9, 9, 7, 6, 1, 1, 1, 1], [9, 9, 8, 2, 2, 2, 2, 1], [9, 9, 8, 4, 1, 1, 1, 1, 1], [9, 9, 8, 6, 1, 1, 1], [9, 9, 8, 7, 2], [9, 9, 9, 2, 2, 2, 2], [9, 9, 9, 3, 2, 2, 1], [9, 9, 9, 3, 3, 2], [9, 9, 9, 4, 1, 1, 1, 1], [9, 9, 9, 4, 2, 2], [9, 9, 9, 4, 4], [9, 9, 9, 5, 1, 1, 1], [9, 9, 9, 5, 3], [9, 9, 9, 6, 1, 1], [9, 9, 9, 6, 2], [10, 6, 5, 5, 4, 4, 1], [10, 6, 5, 5, 5, 4], [10, 6, 6, 4, 3, 2, 2, 2], [10, 6, 6, 4, 3, 3, 2, 1], [10, 6, 6, 4, 3, 3, 3], [10, 6, 6, 4, 4, 2, 2, 1], [10, 6, 6, 4, 4, 3, 2], [10, 6, 6, 5, 4, 4], [10, 7, 5, 4, 4, 4, 1], [10, 7, 6, 3, 3, 2, 2, 1, 1], [10, 7, 6, 3, 3, 2, 2, 2], [10, 7, 6, 3, 3, 3, 2, 1], [10, 7, 6, 3, 3, 3, 3], [10, 7, 7, 3, 2, 2, 2, 1, 1], [10, 7, 7, 3, 2, 2, 2, 2], [10, 7, 7, 3, 3, 2, 2, 1], [10, 7, 7, 3, 3, 3, 2], [10, 8, 5, 4, 4, 4], [10, 8, 7, 2, 2, 2, 2, 1, 1], [10, 8, 7, 2, 2, 2, 2, 2], [10, 8, 8, 2, 2, 2, 1, 1, 1], [10, 8, 8, 2, 2, 2, 2, 1], [10, 8, 8, 4, 1, 1, 1, 1, 1], [10, 8, 8, 8, 1], [10, 9, 8, 3, 1, 1, 1, 1, 1], [10, 9, 9, 2, 2, 2, 1], [10, 9, 9, 3, 2, 1, 1], [10, 9, 9, 3, 3, 1], [10, 9, 9, 4, 2, 1], [10, 9, 9, 5, 1, 1], [10, 9, 9, 6, 1], [10, 10, 5, 5, 5], [10, 10, 8, 6, 1], [10, 10, 9, 2, 2, 1, 1], [10, 10, 9, 3, 1, 1, 1], [10, 10, 9, 3, 3], [10, 10, 9, 4, 2], [10, 10, 9, 5, 1], [11, 6, 5, 5, 4, 4], [11, 6, 6, 4, 2, 2, 2, 1, 1], [11, 6, 6, 4, 2, 2, 2, 2], [11, 6, 6, 4, 3, 2, 2, 1], [11, 6, 6, 4, 3, 3, 2], [11, 6, 6, 4, 4, 2, 1, 1], [11, 6, 6, 4, 4, 3, 1], [11, 6, 6, 4, 4, 4], [11, 6, 6, 6, 6], [11, 7, 5, 4, 4, 4], [11, 7, 6, 3, 2, 2, 2, 2], [11, 7, 6, 3, 3, 2, 2, 1], [11, 7, 6, 3, 3, 3, 2], [11, 7, 7, 3, 2, 2, 2, 1], [11, 7, 7, 3, 3, 2, 1, 1], [11, 7, 7, 3, 3, 3, 1], [11, 8, 6, 2, 2, 2, 2, 2], [11, 8, 7, 2, 2, 2, 2, 1], [11, 8, 8, 2, 2, 1, 1, 1, 1], [11, 8, 8, 2, 2, 2, 2], [11, 8, 8, 3, 1, 1, 1, 1, 1], [11, 9, 8, 2, 1, 1, 1, 1, 1], [11, 9, 9, 2, 1, 1, 1, 1], [11, 9, 9, 2, 2, 2], [11, 9, 9, 3, 2, 1], [11, 9, 9, 4, 1, 1], [11, 9, 9, 5, 1], [11, 10, 5, 5, 1, 1, 1, 1], [11, 10, 9, 2, 1, 1, 1], [11, 10, 9, 3, 1, 1], [11, 10, 9, 4, 1], [11, 11, 5, 3, 1, 1, 1, 1, 1], [11, 11, 5, 4, 4], [11, 11, 6, 6, 1], [11, 11, 9, 2, 2], [12, 6, 5, 5, 4, 1, 1, 1], [12, 6, 5, 5, 5, 2], [12, 6, 6, 4, 2, 2, 2, 1], [12, 6, 6, 4, 3, 2, 1, 1], [12, 6, 6, 4, 3, 3, 1], [12, 6, 6, 4, 4, 2, 1], [12, 6, 6, 4, 4, 3], [12, 6, 6, 6, 5], [12, 7, 5, 4, 4, 1, 1, 1], [12, 7, 6, 3, 2, 2, 1, 1, 1], [12, 7, 6, 3, 3, 1, 1, 1, 1], [12, 7, 6, 3, 3, 2, 2], [12, 7, 6, 5, 5], [12, 7, 7, 3, 2, 2, 1, 1], [12, 7, 7, 3, 3, 1, 1, 1], [12, 7, 7, 3, 3, 3], [12, 8, 5, 3, 3, 1, 1, 1, 1], [12, 8, 5, 5, 5], [12, 8, 6, 2, 2, 2, 2, 1], [12, 8, 7, 2, 2, 2, 1, 1], [12, 8, 7, 3, 1, 1, 1, 1, 1], [12, 8, 8, 2, 2, 2, 1], [12, 9, 5, 4, 1, 1, 1, 1, 1], [12, 9, 7, 2, 1, 1, 1, 1, 1], [12, 9, 9, 2, 1, 1, 1], [12, 9, 9, 2, 2, 1], [12, 9, 9, 3, 1, 1], [12, 9, 9, 3, 2], [12, 9, 9, 4, 1], [12, 10, 5, 4, 1, 1, 1, 1], [12, 10, 6, 6, 1], [12, 10, 9, 2, 1, 1], [12, 10, 9, 2, 2], [12, 10, 9, 3, 1], [12, 11, 5, 4, 1, 1, 1], [12, 11, 5, 5, 2], [12, 12, 5, 3, 1, 1, 1], [12, 12, 5, 3, 3], [12, 12, 5, 4, 1, 1], [12, 12, 5, 4, 2], [12, 12, 6, 4, 1], [13, 6, 5, 5, 4, 1, 1], [13, 6, 5, 5, 4, 2], [13, 6, 6, 4, 2, 2, 2], [13, 6, 6, 4, 3, 2, 1], [13, 6, 6, 4, 3, 3], [13, 6, 6, 4, 4, 2], [13, 6, 6, 6, 4], [13, 7, 5, 4, 4, 1, 1], [13, 7, 5, 4, 4, 2], [13, 7, 6, 3, 2, 2, 1, 1], [13, 7, 6, 3, 2, 2, 2], [13, 7, 6, 3, 3, 2, 1], [13, 7, 6, 3, 3, 3], [13, 7, 6, 5, 4], [13, 7, 7, 3, 2, 2, 1], [13, 7, 7, 3, 3, 2], [13, 7, 7, 4, 4], [13, 8, 5, 4, 4, 1], [13, 8, 5, 5, 4], [13, 8, 6, 2, 2, 2, 2], [13, 8, 7, 2, 2, 1, 1, 1], [13, 8, 7, 3, 1, 1, 1, 1], [13, 8, 8, 2, 2, 2], [13, 8, 8, 3, 2, 1], [13, 8, 8, 4, 1, 1], [13, 8, 8, 5, 1], [13, 9, 5, 4, 4], [13, 9, 6, 6, 1], [13, 9, 8, 2, 1, 1, 1], [13, 9, 8, 3, 1, 1], [13, 9, 8, 4, 1], [13, 10, 5, 4, 1, 1, 1], [13, 10, 5, 5, 2], [13, 10, 8, 2, 1, 1], [13, 10, 8, 2, 2], [13, 11, 5, 3, 1, 1, 1], [13, 11, 5, 4, 2]] [[6, 4, 3, 2], [6, 4, 4, 2], [6, 5, 3, 3], [7, 4, 3, 2, 1]] [[7, 6, 5, 5, 3, 3, 3, 2, 1], [7, 6, 5, 5, 3, 3, 3, 3], [7, 6, 5, 5, 5, 5, 1, 1], [7, 6, 6, 6, 5, 5], [7, 7, 4, 4, 4, 4, 2, 2, 1], [7, 7, 4, 4, 4, 4, 4, 1], [7, 7, 6, 3, 3, 3, 3, 2, 1], [7, 7, 6, 3, 3, 3, 3, 3], [7, 7, 6, 6, 2, 2, 2, 2, 1], [7, 7, 7, 3, 3, 3, 3, 1, 1], [7, 7, 7, 7, 2, 2, 1, 1, 1], [8, 5, 5, 4, 4, 4, 2, 2, 1], [8, 5, 5, 5, 3, 3, 3, 3], [8, 5, 5, 5, 5, 5, 1, 1], [8, 6, 5, 4, 4, 4, 4], [8, 7, 7, 7, 2, 1, 1, 1, 1], [8, 8, 7, 7, 1, 1, 1, 1, 1], [8, 8, 8, 3, 2, 2, 2, 2], [8, 8, 8, 8, 1, 1, 1], [8, 8, 8, 8, 3], [9, 5, 5, 4, 4, 4, 4], [9, 8, 8, 8, 1, 1], [9, 9, 4, 4, 2, 2, 2, 2, 1], [9, 9, 8, 4, 1, 1, 1, 1, 1], [9, 9, 8, 8, 1], [9, 9, 9, 4, 1, 1, 1, 1], [10, 5, 5, 3, 3, 3, 3, 3], [10, 8, 8, 8, 1], [10, 9, 4, 4, 2, 2, 2, 2], [10, 10, 4, 4, 2, 2, 1, 1, 1], [10, 10, 5, 5, 1, 1, 1, 1, 1], [10, 10, 9, 3, 3], [10, 10, 9, 4, 2], [11, 5, 5, 3, 3, 3, 2, 2, 1], [11, 5, 5, 3, 3, 3, 3, 2], [11, 6, 6, 3, 2, 2, 2, 2, 1], [11, 7, 4, 4, 2, 2, 2, 2, 1], [11, 8, 4, 4, 2, 2, 2, 2], [11, 9, 4, 4, 2, 2, 2, 1], [11, 10, 4, 4, 2, 2, 1, 1], [11, 10, 5, 5, 1, 1, 1, 1], [11, 11, 4, 4, 2, 2, 1], [11, 11, 4, 4, 4, 1], [11, 11, 5, 4, 4], [11, 11, 5, 5, 1, 1, 1], [11, 11, 6, 6, 1], [12, 5, 4, 4, 4, 2, 2, 2], [12, 5, 5, 3, 3, 3, 2, 2], [12, 5, 5, 5, 4, 1, 1, 1, 1], [12, 6, 6, 3, 2, 2, 2, 1, 1], [12, 6, 6, 6, 5], [12, 7, 4, 4, 2, 2, 2, 2], [12, 7, 7, 4, 1, 1, 1, 1, 1], [12, 8, 4, 4, 2, 2, 2, 1], [12, 9, 4, 4, 2, 2, 1, 1], [12, 9, 5, 5, 1, 1, 1, 1], [12, 10, 5, 4, 4], [12, 10, 6, 6, 1], [13, 5, 5, 3, 3, 3, 2, 1], [13, 5, 5, 3, 3, 3, 3], [13, 5, 5, 5, 5, 1, 1], [13, 6, 6, 5, 5], [13, 7, 4, 4, 2, 2, 2, 1], [13, 7, 7, 4, 1, 1, 1, 1], [13, 8, 4, 4, 2, 2, 2], [13, 8, 8, 3, 2, 1], [13, 8, 8, 3, 3], [13, 8, 8, 4, 2], [13, 9, 4, 4, 2, 2, 1], [13, 9, 5, 4, 4], [13, 9, 6, 6, 1]] [[5, 4, 3, 2], [5, 4, 4, 2], [5, 5, 3, 3], [5, 5, 4, 3]] [[7, 5, 5, 4, 4, 4, 4, 2], [7, 5, 5, 5, 3, 3, 3, 3, 1], [7, 5, 5, 5, 5, 4, 4], [7, 5, 5, 5, 5, 5, 1, 1, 1], [7, 5, 5, 5, 5, 5, 3], [7, 6, 4, 4, 4, 4, 2, 2, 2], [7, 6, 4, 4, 4, 4, 4, 1, 1], [7, 6, 4, 4, 4, 4, 4, 2], [7, 6, 5, 5, 4, 4, 4], [7, 6, 6, 3, 3, 3, 3, 3, 1], [7, 6, 6, 6, 2, 2, 2, 2, 2], [7, 6, 6, 6, 5, 5], [7, 6, 6, 6, 6, 4], [7, 7, 4, 4, 4, 4, 4, 1], [7, 7, 5, 3, 3, 3, 3, 2, 2], [7, 7, 5, 3, 3, 3, 3, 3, 1], [7, 7, 5, 4, 4, 4, 4], [7, 7, 6, 3, 3, 3, 3, 2, 1], [7, 7, 6, 3, 3, 3, 3, 3], [7, 7, 7, 3, 3, 3, 2, 2, 1], [7, 7, 7, 3, 3, 3, 3, 2], [7, 7, 7, 4, 2, 2, 2, 2, 2], [7, 7, 7, 7, 2, 2, 1, 1, 1], [7, 7, 7, 7, 3, 1, 1, 1, 1], [8, 5, 4, 4, 4, 4, 4, 2], [8, 5, 5, 5, 4, 4, 4], [8, 6, 5, 4, 4, 4, 4], [8, 7, 4, 4, 4, 4, 4], [8, 7, 7, 7, 2, 1, 1, 1, 1], [8, 8, 6, 3, 2, 2, 2, 2, 2], [8, 8, 8, 3, 2, 2, 2, 1, 1], [8, 8, 8, 3, 2, 2, 2, 2], [8, 8, 8, 4, 2, 2, 1, 1, 1], [8, 8, 8, 5, 2, 1, 1, 1, 1], [8, 8, 8, 8, 2, 1], [8, 8, 8, 8, 3], [9, 5, 5, 3, 3, 3, 3, 3, 1], [9, 6, 4, 4, 4, 4, 4], [9, 8, 4, 4, 2, 2, 2, 2, 2], [9, 8, 8, 3, 3, 1, 1, 1, 1], [9, 8, 8, 8, 2], [9, 9, 4, 4, 2, 2, 2, 2, 1], [9, 9, 7, 3, 2, 2, 1, 1, 1], [9, 9, 7, 3, 3, 1, 1, 1, 1], [9, 9, 7, 4, 2, 1, 1, 1, 1], [9, 9, 8, 3, 3, 1, 1, 1], [9, 9, 9, 3, 2, 2, 1], [9, 9, 9, 3, 3, 1, 1], [9, 9, 9, 4, 2, 1, 1], [9, 9, 9, 4, 3, 1], [9, 9, 9, 4, 4], [9, 9, 9, 5, 3], [9, 9, 9, 6, 2], [10, 5, 4, 4, 4, 4, 4], [10, 5, 5, 3, 3, 3, 3, 2, 1], [10, 5, 5, 3, 3, 3, 3, 3], [10, 5, 5, 5, 5, 5], [10, 7, 4, 4, 2, 2, 2, 2, 2], [10, 9, 4, 4, 2, 2, 2, 1, 1], [10, 9, 4, 4, 4, 1, 1, 1, 1], [10, 9, 5, 5, 2, 1, 1, 1, 1], [10, 9, 9, 3, 3, 1], [10, 9, 9, 4, 3], [10, 10, 4, 4, 2, 2, 2, 1], [10, 10, 4, 4, 4, 1, 1, 1], [10, 10, 5, 5, 2, 1, 1, 1], [10, 10, 5, 5, 5], [10, 10, 8, 3, 2, 2], [10, 10, 8, 3, 3, 1], [10, 10, 8, 4, 2, 1], [10, 10, 8, 4, 3], [10, 10, 8, 5, 2], [11, 5, 5, 3, 3, 3, 2, 2, 1], [11, 5, 5, 3, 3, 3, 3, 1, 1], [11, 5, 5, 5, 5, 1, 1, 1, 1], [11, 6, 6, 6, 6], [11, 7, 7, 3, 2, 2, 1, 1, 1], [11, 7, 7, 3, 3, 1, 1, 1, 1], [11, 8, 4, 4, 2, 2, 2, 1, 1], [11, 8, 5, 5, 2, 1, 1, 1, 1], [11, 9, 5, 5, 2, 1, 1, 1], [11, 10, 4, 4, 2, 2, 2], [11, 10, 4, 4, 4, 1, 1], [11, 10, 4, 4, 4, 2], [11, 10, 5, 4, 4, 1], [11, 10, 5, 5, 2, 1, 1], [11, 10, 5, 5, 4], [11, 10, 6, 4, 4], [11, 10, 6, 6, 2], [12, 5, 4, 4, 4, 4, 2], [12, 5, 5, 3, 3, 3, 3, 1], [12, 5, 5, 5, 4, 4], [12, 5, 5, 5, 5, 1, 1, 1], [12, 5, 5, 5, 5, 3], [12, 6, 5, 4, 4, 4], [12, 6, 6, 6, 5], [12, 7, 4, 4, 4, 4], [12, 7, 7, 3, 3, 1, 1, 1], [12, 8, 4, 4, 2, 2, 2, 1], [12, 8, 5, 5, 5], [12, 8, 8, 3, 3, 1], [12, 8, 8, 4, 3], [12, 9, 4, 4, 2, 2, 2], [12, 9, 4, 4, 4, 2], [12, 9, 6, 4, 4]] [[6, 5, 3, 1], [6, 5, 4, 1], [6, 6, 3, 2], [7, 5, 3, 1, 1]] [[7, 6, 6, 5, 5, 5, 1], [7, 6, 6, 6, 3, 3, 2, 2], [7, 6, 6, 6, 5, 5], [7, 7, 5, 5, 4, 4, 1, 1, 1], [7, 7, 5, 5, 4, 4, 3], [7, 7, 5, 5, 5, 5, 1], [7, 7, 6, 5, 5, 5], [7, 7, 7, 4, 3, 3, 2, 2], [7, 7, 7, 6, 2, 2, 2, 2], [7, 7, 7, 7, 2, 2, 1, 1, 1], [8, 6, 5, 5, 4, 4, 1, 1, 1], [8, 6, 6, 4, 4, 4, 1, 1, 1], [8, 7, 5, 4, 4, 4, 1, 1, 1], [8, 7, 7, 3, 3, 3, 2, 2], [8, 8, 4, 4, 4, 4, 1, 1, 1], [8, 8, 4, 4, 4, 4, 3], [8, 8, 7, 7, 1, 1, 1, 1, 1], [8, 8, 8, 3, 2, 2, 2, 2], [8, 8, 8, 7, 1, 1, 1, 1], [8, 8, 8, 8, 1, 1, 1], [9, 6, 5, 5, 5, 5], [9, 8, 8, 2, 2, 2, 2, 1, 1], [9, 8, 8, 2, 2, 2, 2, 2], [9, 9, 8, 8, 1], [9, 9, 9, 3, 1, 1, 1, 1, 1], [10, 6, 6, 3, 3, 3, 2, 1, 1], [10, 6, 6, 3, 3, 3, 2, 2], [10, 10, 10, 2, 1, 1, 1], [10, 10, 10, 3, 1, 1], [10, 10, 10, 4, 1], [11, 6, 6, 3, 3, 2, 2, 2], [11, 6, 6, 3, 3, 3, 2, 1], [11, 7, 7, 2, 2, 2, 2, 1, 1], [11, 7, 7, 2, 2, 2, 2, 2], [11, 10, 10, 2, 2], [11, 11, 4, 4, 1, 1, 1, 1, 1], [12, 6, 6, 3, 3, 2, 1, 1, 1], [12, 6, 6, 3, 3, 3, 1, 1], [12, 7, 4, 4, 4, 1, 1, 1, 1], [12, 7, 7, 2, 2, 2, 2, 1], [12, 10, 4, 4, 1, 1, 1, 1, 1], [12, 12, 4, 4, 1, 1, 1], [12, 12, 4, 4, 3], [12, 12, 5, 5, 1], [13, 6, 5, 5, 5, 1], [13, 6, 6, 3, 3, 2, 2], [13, 6, 6, 5, 5], [13, 7, 5, 5, 5], [13, 7, 7, 2, 2, 2, 2], [13, 9, 9, 2, 1, 1], [13, 9, 9, 2, 2], [13, 10, 4, 4, 1, 1, 1, 1], [13, 11, 5, 5, 1]] [[5, 4, 3, 2, 1], [5, 4, 4, 2, 1], [5, 5, 3, 3, 1], [6, 4, 3, 2, 2]] [[6, 5, 5, 5, 3, 3, 3, 2, 2, 1], [6, 5, 5, 5, 3, 3, 3, 3, 1, 1], [6, 5, 5, 5, 5, 5, 1, 1, 1, 1], [6, 6, 4, 4, 4, 4, 2, 2, 2, 1], [6, 6, 4, 4, 4, 4, 4, 1, 1, 1], [6, 6, 6, 3, 3, 3, 3, 3, 1, 1], [6, 6, 6, 6, 2, 2, 2, 2, 2, 1], [6, 6, 6, 6, 6, 5], [7, 7, 7, 3, 2, 2, 2, 2, 2, 1], [7, 7, 7, 7, 2, 1, 1, 1, 1, 1], [8, 5, 5, 3, 3, 3, 3, 3, 1, 1], [8, 8, 4, 4, 2, 2, 2, 2, 2, 1], [8, 8, 8, 3, 3, 1, 1, 1, 1, 1], [8, 8, 8, 8, 2, 1], [8, 8, 8, 8, 3], [9, 5, 5, 3, 3, 3, 2, 2, 2, 1], [9, 5, 5, 3, 3, 3, 3, 2, 2], [9, 6, 6, 3, 2, 2, 2, 2, 2, 1], [9, 8, 4, 4, 2, 2, 2, 2, 1, 1], [9, 9, 4, 4, 2, 2, 2, 1, 1, 1], [9, 9, 4, 4, 4, 1, 1, 1, 1, 1], [9, 9, 5, 5, 2, 1, 1, 1, 1, 1], [9, 9, 9, 3, 3, 1, 1], [9, 9, 9, 4, 2, 1, 1], [9, 9, 9, 4, 3, 1], [9, 9, 9, 4, 4], [9, 9, 9, 5, 3], [10, 5, 4, 4, 4, 2, 2, 2, 2], [10, 5, 5, 3, 3, 3, 2, 2, 2], [10, 5, 5, 3, 3, 3, 3, 1, 1, 1], [10, 5, 5, 3, 3, 3, 3, 3], [10, 5, 5, 5, 5, 1, 1, 1, 1, 1], [10, 6, 6, 3, 2, 2, 2, 2, 2], [10, 7, 4, 4, 2, 2, 2, 2, 2], [10, 7, 7, 3, 3, 1, 1, 1, 1, 1], [10, 8, 4, 4, 2, 2, 2, 1, 1, 1], [10, 8, 5, 5, 2, 1, 1, 1, 1, 1], [10, 9, 4, 4, 2, 2, 2, 2], [10, 10, 4, 4, 2, 2, 2, 1], [10, 10, 4, 4, 4, 1, 1, 1], [10, 10, 5, 5, 2, 1, 1, 1], [10, 10, 5, 5, 5], [10, 10, 6, 6, 2, 1], [10, 10, 6, 6, 3], [11, 5, 5, 3, 3, 3, 2, 2, 1], [11, 5, 5, 3, 3, 3, 3, 1, 1], [11, 5, 5, 5, 5, 1, 1, 1, 1], [11, 6, 6, 6, 6], [11, 7, 7, 3, 2, 2, 1, 1, 1], [11, 7, 7, 3, 3, 1, 1, 1, 1], [11, 8, 4, 4, 2, 2, 2, 1, 1], [11, 8, 5, 5, 2, 1, 1, 1, 1], [11, 8, 8, 3, 3, 1, 1], [11, 8, 8, 4, 2, 1, 1], [11, 8, 8, 4, 3, 1], [11, 8, 8, 4, 4], [11, 8, 8, 5, 3], [11, 9, 5, 5, 2, 1, 1, 1], [11, 9, 6, 6, 3]]
sdif([6,3],[6,4],3,7)
[[7, 6, 4, 4], [7, 7, 3, 3, 1], [8, 5, 4, 4], [8, 8, 2, 2, 1], [9, 4, 4, 4], [9, 9, 1, 1, 1], [10, 10, 1], [13, 4, 4]]
li(2,2)
[[1], [2], [1, 1]]
li(2,3)
[[1], [2], [1, 1], [3], [2, 1]]
sdif([2,1],[1],3,3)
[[3, 2, 2, 1, 1], [3, 2, 2, 2], [3, 3, 1, 1, 1], [4, 2, 1, 1, 1], [4, 2, 2, 1], [4, 3, 1, 1], [4, 4, 1], [5, 2, 1, 1], [5, 2, 2], [5, 3, 1]]
for i in lrskew([6,4,4,1],[4,3],weight=[5,2,1]):
    i.pp()
. . . . 1 1 . . . 1 1 1 2 2 3 . . . . 1 1 . . . 2 1 1 1 3 2
for i in lrskew([6,4,4,1],[4,2],weight=[5,3,1]):
    i.pp()
. . . . 1 1 . . 1 1 1 2 2 2 3 . . . . 1 1 . . 1 2 1 1 2 3 2