# Residuated lattices up to size 5 RL_count = [1, 1, 3, 20, 149] # total = 174 RL_index = [0, 1, 2, 5, 25] RL_list = [ RL(e = 0, num = 0, uc = {0: []}, mult = [ [0]]), RL(e = 1, num = 1, uc = {0: [1], 1: []}, mult = [ [0,0], [0,1]]), RL(e = 1, num = 2, uc = {0: [1], 1: [2], 2: []}, mult = [ [0,0,0], [0,1,2], [0,2,2]]), RL(e = 2, num = 3, uc = {0: [1], 1: [2], 2: []}, mult = [ [0,0,0], [0,0,1], [0,1,2]]), RL(e = 2, num = 4, uc = {0: [1], 1: [2], 2: []}, mult = [ [0,0,0], [0,1,1], [0,1,2]]), RL(e = 1, num = 5, uc = {0: [1, 2], 1: [3], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,0,2], [0,3,2,3]]), RL(e = 1, num = 6, uc = {0: [1, 2], 1: [3], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,1,3], [0,3,3,3]]), RL(e = 1, num = 7, uc = {0: [1, 2], 1: [3], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,2,2], [0,3,2,3]]), RL(e = 1, num = 8, uc = {0: [1, 2], 1: [3], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,3,3], [0,3,3,3]]), RL(e = 3, num = 9, uc = {0: [1, 2], 1: [3], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,0,1], [0,0,2,2], [0,1,2,3]]), RL(e = 1, num = 10, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,2,3], [0,3,3,3]]), RL(e = 1, num = 11, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,2,3], [0,2,3,3], [0,3,3,3]]), RL(e = 2, num = 12, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,1,1], [0,1,2,3], [0,1,3,3]]), RL(e = 2, num = 13, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,1], [0,1,2,3], [0,1,3,3]]), RL(e = 2, num = 14, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,1], [0,1,2,3], [0,3,3,3]]), RL(e = 2, num = 15, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,3], [0,1,2,3], [0,1,3,3]]), RL(e = 2, num = 16, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,3], [0,1,2,3], [0,3,3,3]]), RL(e = 3, num = 17, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,0,1], [0,0,0,2], [0,1,2,3]]), RL(e = 3, num = 18, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,0,1], [0,0,1,2], [0,1,2,3]]), RL(e = 3, num = 19, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,0,1], [0,0,2,2], [0,1,2,3]]), RL(e = 3, num = 20, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,0,1], [0,1,2,2], [0,1,2,3]]), RL(e = 3, num = 21, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,1,1], [0,0,2,2], [0,1,2,3]]), RL(e = 3, num = 22, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,0,1,1], [0,1,2,2], [0,1,2,3]]), RL(e = 3, num = 23, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,1], [0,1,1,2], [0,1,2,3]]), RL(e = 3, num = 24, uc = {0: [1], 1: [2], 2: [3], 3: []}, mult = [ [0,0,0,0], [0,1,1,1], [0,1,2,2], [0,1,2,3]]), RL(e = 1, num = 25, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,2,2], [0,3,2,1,4], [0,4,2,4,4]]), RL(e = 1, num = 26, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,2,2], [0,3,2,4,4], [0,4,2,4,4]]), RL(e = 1, num = 27, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,1,3,4], [0,3,3,3,3], [0,4,4,3,4]]), RL(e = 1, num = 28, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,0,2], [0,3,0,3,3], [0,4,2,3,4]]), RL(e = 1, num = 29, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,2], [0,3,2,4,4], [0,4,2,4,4]]), RL(e = 1, num = 30, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,1,4], [0,3,1,2,4], [0,4,4,4,4]]), RL(e = 1, num = 31, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 32, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,4,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 33, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,0,2], [0,3,0,0,3], [0,4,2,3,4]]), RL(e = 1, num = 34, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,0,2], [0,3,0,2,3], [0,4,2,3,4]]), RL(e = 1, num = 35, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,0,2], [0,3,0,3,3], [0,4,2,3,4]]), RL(e = 1, num = 36, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,0,2], [0,3,2,3,3], [0,4,2,3,4]]), RL(e = 1, num = 37, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,2,2], [0,3,0,3,3], [0,4,2,3,4]]), RL(e = 1, num = 38, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,2,2], [0,3,2,3,3], [0,4,2,3,4]]), RL(e = 1, num = 39, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,2], [0,3,2,2,3], [0,4,2,3,4]]), RL(e = 1, num = 40, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,2], [0,3,2,3,3], [0,4,2,3,4]]), RL(e = 1, num = 41, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,3,3], [0,3,3,3,3], [0,4,3,3,4]]), RL(e = 1, num = 42, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,4,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 2, num = 43, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,3,4], [0,1,4,4,4]]), RL(e = 2, num = 44, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 45, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,3,4], [0,1,4,4,4]]), RL(e = 2, num = 46, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 47, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,3,1,1,4], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 48, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,3,1,4,4], [0,1,2,3,4], [0,4,3,4,4], [0,4,4,4,4]]), RL(e = 2, num = 49, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,1,4], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 50, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,1,4], [0,1,2,3,4], [0,4,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 51, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,4,4], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 52, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,4,4], [0,1,2,3,4], [0,4,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 53, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,4,4], [0,1,2,3,4], [0,4,3,4,4], [0,4,4,4,4]]), RL(e = 3, num = 54, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 55, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,0,1,1], [0,0,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 56, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 57, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,2,1,1,4], [0,1,2,2,4], [0,1,2,3,4], [0,4,4,4,4]]), RL(e = 3, num = 58, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,4,1,1,4], [0,1,2,2,4], [0,1,2,3,4], [0,4,4,4,4]]), RL(e = 1, num = 59, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,0,2,2], [0,3,2,3,4], [0,4,2,4,4]]), RL(e = 1, num = 60, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,1,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 1, num = 61, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,2], [0,3,2,3,4], [0,4,2,4,4]]), RL(e = 1, num = 62, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,2], [0,3,2,3,4], [0,4,4,4,4]]), RL(e = 1, num = 63, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,4], [0,3,2,3,4], [0,4,2,4,4]]), RL(e = 1, num = 64, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,2,4], [0,3,2,3,4], [0,4,4,4,4]]), RL(e = 1, num = 65, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 1, num = 66, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,4,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 4, num = 67, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,0,0,3], [0,1,2,3,4]]), RL(e = 4, num = 68, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,2,2,2], [0,0,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 69, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,0,1,1], [0,0,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 1, num = 70, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,4,4], [0,3,4,3,4], [0,4,4,4,4]]), RL(e = 1, num = 71, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 72, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,4,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 2, num = 73, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,0,1], [0,1,2,3,4], [0,0,3,0,3], [0,1,4,3,4]]), RL(e = 2, num = 74, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,0,1], [0,1,2,3,4], [0,0,3,1,3], [0,1,4,3,4]]), RL(e = 2, num = 75, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,0,1], [0,1,2,3,4], [0,0,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 76, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,0,1], [0,1,2,3,4], [0,1,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 77, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,0,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 78, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,2,4], [0,1,4,4,4]]), RL(e = 2, num = 79, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 80, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 81, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,1,3], [0,1,4,3,4]]), RL(e = 2, num = 82, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,2,4], [0,1,4,4,4]]), RL(e = 2, num = 83, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 84, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 85, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,3,3,3,3], [0,3,4,3,4]]), RL(e = 2, num = 86, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,3,3], [0,1,2,3,4], [0,1,3,3,3], [0,1,4,3,4]]), RL(e = 2, num = 87, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,3,3], [0,1,2,3,4], [0,3,3,3,3], [0,3,4,3,4]]), RL(e = 4, num = 88, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,1,2,1,2], [0,0,0,3,3], [0,1,2,3,4]]), RL(e = 4, num = 89, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,1,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 1, num = 90, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 1, num = 91, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,3,4], [0,3,3,4,4], [0,4,4,4,4]]), RL(e = 1, num = 92, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,3,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 93, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,4,4], [0,3,3,4,4], [0,4,4,4,4]]), RL(e = 1, num = 94, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,2,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 95, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 1, num = 96, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,3,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 1, num = 97, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,2,3,4], [0,2,4,4,4], [0,3,4,4,4], [0,4,4,4,4]]), RL(e = 2, num = 98, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,3,4], [0,1,4,4,4]]), RL(e = 2, num = 99, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 100, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,3,4], [0,1,4,4,4]]), RL(e = 2, num = 101, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 102, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,3,4], [0,1,3,4,4], [0,1,4,4,4]]), RL(e = 2, num = 103, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,2,3,4], [0,1,3,3,4], [0,1,4,4,4]]), RL(e = 2, num = 104, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 105, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,2,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 106, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,3,4], [0,1,2,3,4], [0,1,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 107, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,3,4], [0,1,2,3,4], [0,3,3,3,4], [0,4,4,4,4]]), RL(e = 2, num = 108, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,3,4], [0,1,2,3,4], [0,3,3,4,4], [0,4,4,4,4]]), RL(e = 3, num = 109, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 110, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,1,2,3,4], [0,2,2,4,4]]), RL(e = 3, num = 111, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,1,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 112, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 113, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,1,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 114, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,2], [0,0,0,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 115, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,2], [0,0,0,2,2], [0,1,2,3,4], [0,2,2,4,4]]), RL(e = 3, num = 116, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,0,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 117, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 118, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,2], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 119, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 120, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 121, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 122, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 123, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 124, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,2,4,4]]), RL(e = 3, num = 125, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 126, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,4], [0,1,2,3,4], [0,4,4,4,4]]), RL(e = 3, num = 127, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,1,2,4], [0,1,2,3,4], [0,4,4,4,4]]), RL(e = 3, num = 128, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,2,2,4], [0,1,2,3,4], [0,1,4,4,4]]), RL(e = 3, num = 129, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,4], [0,1,2,2,4], [0,1,2,3,4], [0,4,4,4,4]]), RL(e = 4, num = 130, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,0,0,3], [0,1,2,3,4]]), RL(e = 4, num = 131, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,0,1,3], [0,1,2,3,4]]), RL(e = 4, num = 132, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,0,2,3], [0,1,2,3,4]]), RL(e = 4, num = 133, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,0,3,3], [0,1,2,3,4]]), RL(e = 4, num = 134, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,1,1,3], [0,1,2,3,4]]), RL(e = 4, num = 135, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 136, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 4, num = 137, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,0,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 138, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,1,2], [0,0,0,1,3], [0,1,2,3,4]]), RL(e = 4, num = 139, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,1,2], [0,0,1,1,3], [0,1,2,3,4]]), RL(e = 4, num = 140, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,1,2], [0,0,1,2,3], [0,1,2,3,4]]), RL(e = 4, num = 141, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,2,2], [0,0,0,3,3], [0,1,2,3,4]]), RL(e = 4, num = 142, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,2,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 143, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,0,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 144, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,1,1,2], [0,0,1,1,3], [0,1,2,3,4]]), RL(e = 4, num = 145, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,2,2,2], [0,0,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 146, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,2,2,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 147, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,0,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 148, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,1,2,2,2], [0,1,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 149, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,0,1], [0,1,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 150, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,1,2], [0,0,0,3,3], [0,1,2,3,4]]), RL(e = 4, num = 151, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,1,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 4, num = 152, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,1,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 153, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,0,0,3,3], [0,1,2,3,4]]), RL(e = 4, num = 154, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 155, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 4, num = 156, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,0,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 157, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,1,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 158, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,2,2,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 159, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,0,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 160, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,0,1,1], [0,1,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 161, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,0,2,2,2], [0,0,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 162, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,0,2,2,2], [0,0,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 163, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,0,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 164, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,2], [0,1,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 165, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,0,1,1,1], [0,1,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 166, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,1,2], [0,1,1,1,3], [0,1,2,3,4]]), RL(e = 4, num = 167, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,1,2], [0,1,1,2,3], [0,1,2,3,4]]), RL(e = 4, num = 168, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,1,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 4, num = 169, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,1,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 170, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,2,2], [0,1,1,3,3], [0,1,2,3,4]]), RL(e = 4, num = 171, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,1,2,2], [0,1,2,3,3], [0,1,2,3,4]]), RL(e = 4, num = 172, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,2,3], [0,1,2,3,4]]), RL(e = 4, num = 173, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,3,3], [0,1,2,3,4]])] # Computed by Peter Jipsen with SAGE Version 2.1.4 on 2007-04-04 # This file can be used in Python with execfile("filename")