1485 centralising monoids witnessed by some set of unary operations on
{0,1,2,3}, together with a maximal witnessing set F, that is,
the formal concepts of the context K₁;
  - the monoids are given as lists of integers l in {0,...,255}
    where a unary operation u in the monoid corresponds to the integer
    l = 64 u(0) + 16u(1) + 4u(2) + u(3)
  - the unary operations fj of the witnessing sets F are coded in the
    same way, that is, j = 64 fj(0) + 16fj(1) + 4fj(2) + fj(3)

1: ({f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32, f33, f34, f35, f36, f37, f38, f39, f40, f41, f42, f43, f44, f45, f46, f47, f48, f49, f50, f51, f52, f53, f54, f55, f56, f57, f58, f59, f60, f61, f62, f63, f64, f65, f66, f67, f68, f69, f70, f71, f72, f73, f74, f75, f76, f77, f78, f79, f80, f81, f82, f83, f84, f85, f86, f87, f88, f89, f90, f91, f92, f93, f94, f95, f96, f97, f98, f99, f100, f101, f102, f103, f104, f105, f106, f107, f108, f109, f110, f111, f112, f113, f114, f115, f116, f117, f118, f119, f120, f121, f122, f123, f124, f125, f126, f127, f128, f129, f130, f131, f132, f133, f134, f135, f136, f137, f138, f139, f140, f141, f142, f143, f144, f145, f146, f147, f148, f149, f150, f151, f152, f153, f154, f155, f156, f157, f158, f159, f160, f161, f162, f163, f164, f165, f166, f167, f168, f169, f170, f171, f172, f173, f174, f175, f176, f177, f178, f179, f180, f181, f182, f183, f184, f185, f186, f187, f188, f189, f190, f191, f192, f193, f194, f195, f196, f197, f198, f199, f200, f201, f202, f203, f204, f205, f206, f207, f208, f209, f210, f211, f212, f213, f214, f215, f216, f217, f218, f219, f220, f221, f222, f223, f224, f225, f226, f227, f228, f229, f230, f231, f232, f233, f234, f235, f236, f237, f238, f239, f240, f241, f242, f243, f244, f245, f246, f247, f248, f249, f250, f251, f252, f253, f254, f255, f256}, {27})
2: ({f4, f8, f12, f16, f20, f24, f28, f32, f36, f40, f44, f48, f52, f56, f60, f64, f68, f72, f76, f80, f84, f88, f92, f96, f100, f104, f108, f112, f116, f120, f124, f128, f132, f136, f140, f144, f148, f152, f156, f160, f164, f168, f172, f176, f180, f184, f188, f192, f196, f200, f204, f208, f212, f216, f220, f224, f228, f232, f236, f240, f244, f248, f252, f256}, {27, 255})
3: ({f12, f16, f28, f32, f60, f64, f76, f80, f92, f96, f124, f128, f171, f175, f204, f208, f220, f224, f252, f256}, {27, 251})
4: ({f28, f52, f56, f64, f92, f116, f120, f128, f220, f244, f248, f256}, {27, 247, 255})
5: ({f12, f28, f60, f196, f200, f208, f212, f216, f224, f244, f248, f256}, {27, 243, 255})
6: ({f28, f244, f248, f256}, {27, 243, 247, 255})
7: ({f16, f28, f48, f64, f144, f156, f176, f192, f208, f220, f240, f256}, {27, 239, 255})
8: ({f16, f28, f44, f64, f79, f91, f107, f127, f143, f155, f171, f191, f208, f220, f236, f256}, {27, 235})
9: ({f16, f28, f44, f64, f208, f220, f236, f256}, {27, 235, 255})
10: ({f16, f28, f64, f171, f208, f220, f256}, {27, 235, 251})
11: ({f16, f28, f40, f52, f79, f91, f103, f115, f142, f154, f166, f178, f205, f217, f229, f241}, {27, 228})
12: ({f20, f28, f32, f52, f60, f64, f86, f118, f148, f156, f160, f180, f188, f192, f212, f220, f224, f244, f252, f256}, {27, 223})
13: ({f24, f28, f32, f40, f44, f48, f56, f60, f64, f86, f90, f94, f102, f106, f110, f118, f122, f126, f151, f155, f159, f167, f171, f175, f183, f187, f191, f216, f220, f224, f232, f236, f240, f248, f252, f256}, {27, 219})
14: ({f24, f28, f40, f44, f86, f90, f102, f106, f151, f155, f167, f171, f213, f217, f229, f233}, {27, 216})
15: ({f24, f28, f52, f64, f86, f90, f114, f126, f150, f154, f178, f190, f216, f220, f244, f256}, {27, 215})
16: ({f24, f28, f52, f64, f216, f220, f244, f256}, {27, 215, 255})
17: ({f28, f216, f244, f256}, {27, 215, 243, 255})
18: ({f28, f52, f64, f86, f220, f244, f256}, {27, 215, 223})
19: ({f28, f60, f86, f118, f212, f224, f244, f256}, {27, 211, 223})
20: ({f28, f86, f244, f256}, {27, 211, 215, 223})
21: ({f20, f28, f32, f196, f204, f208, f228, f236, f240, f244, f252, f256}, {27, 207, 255})
22: ({f28, f208, f240, f256}, {27, 207, 239, 255})
23: ({f28, f208, f236, f256}, {27, 207, 235, 255})
24: ({f28, f208, f228, f256}, {27, 207, 227, 255})
25: ({f28, f32, f171, f175, f204, f208, f252, f256}, {27, 203, 251})
26: ({f28, f171, f208, f256}, {27, 203, 235, 251})
27: ({f28, f200, f244, f256}, {27, 199, 243, 255})
28: ({f24, f28, f40, f44, f196, f208, f244, f256}, {27, 195, 255})
29: ({f28, f44, f208, f256}, {27, 195, 235, 255})
30: ({f24, f28, f244, f256}, {27, 195, 215, 255})
31: ({f28, f196, f208, f244, f256}, {27, 195, 207, 243, 255})
32: ({f28, f44, f60, f96, f112, f128, f160, f176, f192, f224, f240, f256}, {27, 191, 255})
33: ({f28, f44, f79, f127, f143, f191, f220, f236}, {27, 190, 235})
34: ({f11, f28, f43, f60, f79, f96, f111, f128, f139, f156, f171, f188, f207, f224, f239, f256}, {27, 187})
35: ({f28, f60, f96, f128, f156, f188, f224, f256}, {27, 187, 255})
36: ({f28, f60, f96, f128, f171, f224, f256}, {27, 187, 251})
37: ({f28, f60, f79, f111, f156, f188, f207, f239}, {27, 187, 238})
38: ({f28, f188, f207, f239}, {27, 187, 206, 238})
39: ({f11, f28, f41, f58, f79, f96, f109, f126, f131, f148, f161, f178, f199, f216, f229, f246}, {27, 177})
40: ({f12, f28, f76, f92, f176, f192, f240, f256}, {27, 175, 255})
41: ({f28, f176, f192, f240, f256}, {27, 175, 191, 239, 255})
42: ({f12, f28, f60, f76, f92, f124, f175, f204, f220, f252}, {27, 174, 251})
43: ({f28, f175, f204, f252}, {27, 174, 203, 251})
44: ({f11, f12, f27, f28, f43, f44, f75, f76, f91, f92, f107, f108, f139, f140, f155, f156, f171, f172, f255, f256}, {27, 171})
45: ({f12, f28, f44, f76, f92, f108, f140, f156, f172, f256}, {27, 171, 255})
46: ({f12, f28, f44, f76, f92, f108, f140, f156, f172, f255}, {27, 171, 254})
47: ({f12, f28, f76, f92, f171, f256}, {27, 171, 251})
48: ({f28, f44, f91, f107, f155, f171, f256}, {27, 171, 235})
49: ({f11, f28, f43, f139, f156, f171, f256}, {27, 171, 187})
50: ({f9, f10, f11, f12, f25, f26, f27, f28, f41, f42, f43, f44, f57, f58, f59, f60, f73, f74, f75, f76, f89, f90, f91, f92, f105, f106, f107, f108, f121, f122, f123, f124, f137, f138, f139, f140, f153, f154, f155, f156, f169, f170, f171, f172, f185, f186, f187, f188, f201, f202, f203, f204, f217, f218, f219, f220, f233, f234, f235, f236, f249, f250, f251, f252}, {27, 170})
51: ({f12, f28, f44, f60, f76, f92, f108, f124, f140, f156, f172, f188, f204, f220, f236, f252}, {27, 170, 255})
52: ({f12, f28, f60, f76, f92, f124, f171, f204, f220, f252}, {27, 170, 251})
53: ({f12, f28, f76, f92, f171, f187, f235, f251}, {27, 170, 250})
54: ({f28, f44, f91, f107, f155, f171, f220, f236}, {27, 170, 235})
55: ({f28, f44, f60, f91, f107, f123, f155, f171, f187, f219, f235, f251}, {27, 170, 234})
56: ({f28, f44, f60, f90, f106, f122, f155, f171, f187, f220, f236, f252}, {27, 170, 219})
57: ({f28, f44, f90, f106, f155, f171, f217, f233}, {27, 170, 216})
58: ({f28, f204, f236, f252}, {27, 170, 207, 255})
59: ({f28, f171, f204, f252}, {27, 170, 203, 251})
60: ({f11, f28, f43, f60, f139, f156, f171, f188}, {27, 170, 187})
61: ({f11, f28, f43, f59, f139, f156, f171, f187, f203, f220, f235, f251}, {27, 170, 186})
62: ({f28, f171, f187, f235, f251}, {27, 170, 186, 234, 250})
63: ({f28, f171, f187, f220}, {27, 170, 186, 219})
64: ({f28, f171, f187, f203}, {27, 170, 186, 202})
65: ({f28, f41, f42, f43, f92, f105, f106, f107, f156, f169, f170, f171}, {27, 169, 170})
66: ({f12, f28, f44, f137, f138, f139, f153, f154, f155, f169, f170, f171}, {27, 168, 170})
67: ({f28, f169, f170, f171}, {27, 168, 169, 170})
68: ({f28, f60, f86, f118, f160, f192, f224, f256}, {27, 159, 223})
69: ({f26, f27, f28, f42, f43, f44, f58, f59, f60, f86, f87, f88, f102, f103, f104, f118, f119, f120, f154, f155, f156, f170, f171, f172, f186, f187, f188, f222, f223, f224, f238, f239, f240, f254, f255, f256}, {27, 155})
70: ({f28, f44, f60, f88, f104, f120, f156, f172, f188, f224, f240, f256}, {27, 155, 255})
71: ({f28, f156, f240, f256}, {27, 155, 239, 255})
72: ({f28, f60, f86, f118, f156, f188, f224, f256}, {27, 155, 223})
73: ({f28, f44, f60, f86, f102, f118, f155, f171, f187, f224, f240, f256}, {27, 155, 219})
74: ({f25, f27, f28, f41, f43, f44, f86, f102, f153, f155, f156, f169, f171, f172, f217, f219, f220, f233, f235, f236}, {27, 154})
75: ({f28, f44, f86, f102, f155, f171, f220, f236}, {27, 154, 219})
76: ({f28, f44, f86, f102, f155, f171, f219, f235}, {27, 154, 218})
77: ({f28, f44, f86, f102, f155, f171, f217, f233}, {27, 154, 216})
78: ({f26, f28, f41, f43, f86, f88, f101, f103, f154, f156, f169, f171, f214, f216, f229, f231}, {27, 153})
79: ({f26, f28, f41, f43, f154, f156, f169, f171}, {27, 153, 170})
80: ({f28, f154, f169, f171}, {27, 153, 168, 170})
81: ({f28, f41, f43, f86, f156, f169, f171}, {27, 153, 154})
82: ({f28, f44, f86, f102, f153, f155, f169, f171}, {27, 152, 154})
83: ({f28, f86, f169, f171}, {27, 152, 153, 154})
84: ({f26, f28, f58, f60, f86, f88, f118, f120, f146, f148, f178, f180, f222, f224, f254, f256}, {27, 147})
85: ({f28, f60, f88, f120, f148, f180, f224, f256}, {27, 147, 255})
86: ({f28, f60, f86, f118, f148, f180, f224, f256}, {27, 147, 223})
87: ({f28, f144, f240, f256}, {27, 143, 239, 255})
88: ({f28, f143, f191, f236}, {27, 142, 190, 235})
89: ({f27, f28, f139, f140, f171, f172, f255, f256}, {27, 139, 171})
90: ({f28, f140, f172, f256}, {27, 139, 171, 255})
91: ({f28, f140, f172, f255}, {27, 139, 171, 254})
92: ({f28, f139, f171, f256}, {27, 139, 171, 187})
93: ({f25, f27, f28, f137, f139, f140, f169, f171, f172, f185, f187, f188}, {27, 138, 170})
94: ({f28, f140, f172, f188}, {27, 138, 170, 255})
95: ({f28, f139, f171, f188}, {27, 138, 170, 187})
96: ({f28, f139, f171, f187}, {27, 138, 170, 186})
97: ({f28, f139, f171, f185}, {27, 138, 170, 184})
98: ({f28, f138, f169, f171}, {27, 137, 168, 170})
99: ({f26, f28, f58, f60, f137, f139, f169, f171}, {27, 136, 170})
100: ({f28, f60, f139, f171}, {27, 136, 170, 187})
101: ({f26, f28, f169, f171}, {27, 136, 153, 170})
102: ({f28, f137, f139, f169, f171}, {27, 136, 138, 168, 170})
103: ({f24, f28, f32, f120, f124, f128, f184, f188, f192, f248, f252, f256}, {27, 127, 255})
104: ({f28, f128, f192, f256}, {27, 127, 191, 255})
105: ({f28, f128, f188, f256}, {27, 127, 187, 255})
106: ({f28, f128, f184, f256}, {27, 127, 183, 255})
107: ({f28, f124, f188, f252}, {27, 127, 170, 255})
108: ({f28, f120, f188, f256}, {27, 127, 155, 255})
109: ({f28, f127, f191, f236}, {27, 126, 190, 235})
110: ({f24, f28, f114, f126, f178, f190, f216, f220}, {27, 125, 215})
111: ({f28, f126, f190, f216}, {27, 125, 189, 215})
112: ({f28, f126, f178, f216}, {27, 125, 177, 215})
113: ({f28, f32, f124, f128, f171, f175, f252, f256}, {27, 123, 251})
114: ({f28, f128, f171, f256}, {27, 123, 187, 251})
115: ({f28, f124, f175, f252}, {27, 123, 174, 251})
116: ({f28, f124, f171, f252}, {27, 123, 170, 251})
117: ({f28, f123, f171, f235}, {27, 122, 170, 234})
118: ({f28, f122, f171, f220}, {27, 121, 170, 219})
119: ({f28, f121, f171, f202}, {27, 120, 170, 201})
120: ({f20, f28, f120, f128, f148, f156, f248, f256}, {27, 119, 255})
121: ({f28, f128, f156, f256}, {27, 119, 187, 255})
122: ({f28, f120, f156, f256}, {27, 119, 155, 255})
123: ({f28, f120, f148, f256}, {27, 119, 147, 255})
124: ({f28, f120, f128, f248, f256}, {27, 119, 127, 247, 255})
125: ({f28, f119, f156, f238}, {27, 118, 155, 237})
126: ({f20, f28, f32, f118, f148, f156, f160, f212, f220, f224}, {27, 117, 223})
127: ({f28, f118, f212, f224}, {27, 117, 211, 223})
128: ({f28, f118, f160, f224}, {27, 117, 159, 223})
129: ({f28, f118, f156, f224}, {27, 117, 155, 223})
130: ({f28, f118, f148, f224}, {27, 117, 147, 223})
131: ({f28, f116, f248, f256}, {27, 115, 247, 255})
132: ({f28, f115, f142, f229}, {27, 114, 141, 228})
133: ({f28, f114, f126, f216}, {27, 113, 125, 215})
134: ({f28, f112, f192, f256}, {27, 111, 191, 255})
135: ({f28, f111, f188, f239}, {27, 110, 187, 238})
136: ({f28, f110, f183, f220}, {27, 109, 182, 219})
137: ({f28, f109, f178, f199}, {27, 108, 177, 198})
138: ({f27, f28, f107, f108, f171, f172, f255, f256}, {27, 107, 171})
139: ({f28, f108, f172, f256}, {27, 107, 171, 255})
140: ({f28, f108, f172, f255}, {27, 107, 171, 254})
141: ({f28, f107, f171, f256}, {27, 107, 171, 235})
142: ({f26, f27, f28, f106, f107, f108, f170, f171, f172, f234, f235, f236}, {27, 106, 170})
143: ({f28, f108, f172, f236}, {27, 106, 170, 255})
144: ({f28, f107, f171, f236}, {27, 106, 170, 235})
145: ({f28, f107, f171, f235}, {27, 106, 170, 234})
146: ({f28, f107, f171, f234}, {27, 106, 170, 233})
147: ({f28, f106, f171, f236}, {27, 106, 170, 219})
148: ({f25, f28, f106, f107, f170, f171, f217, f220}, {27, 105, 170})
149: ({f28, f107, f171, f220}, {27, 105, 170, 235})
150: ({f28, f106, f171, f220}, {27, 105, 170, 219})
151: ({f28, f106, f171, f217}, {27, 105, 170, 216})
152: ({f28, f106, f107, f170, f171}, {27, 105, 106, 169, 170})
153: ({f28, f105, f170, f171}, {27, 104, 169, 170})
154: ({f28, f104, f156, f256}, {27, 103, 155, 255})
155: ({f26, f28, f101, f103, f154, f156, f229, f231}, {27, 102, 153})
156: ({f28, f103, f154, f231}, {27, 102, 153, 230})
157: ({f28, f103, f154, f229}, {27, 102, 153, 228})
158: ({f25, f27, f28, f102, f153, f155, f156, f217, f219, f220}, {27, 101, 154})
159: ({f28, f102, f155, f220}, {27, 101, 154, 219})
160: ({f28, f102, f155, f219}, {27, 101, 154, 218})
161: ({f28, f102, f155, f217}, {27, 101, 154, 216})
162: ({f28, f102, f153, f155}, {27, 101, 152, 154})
163: ({f28, f101, f103, f154}, {27, 100, 102, 153})
164: ({f28, f100, f136, f256}, {27, 99, 135, 255})
165: ({f18, f22, f28, f32, f82, f86, f92, f96, f178, f182, f188, f192, f242, f246, f252, f256}, {27, 95})
166: ({f28, f32, f92, f96, f188, f192, f252, f256}, {27, 95, 255})
167: ({f28, f32, f92, f96, f178, f182, f242, f246}, {27, 95, 245})
168: ({f28, f96, f242, f246}, {27, 95, 241, 245})
169: ({f28, f32, f86, f188, f192, f252, f256}, {27, 95, 223})
170: ({f28, f96, f192, f256}, {27, 95, 191, 255})
171: ({f28, f96, f188, f256}, {27, 95, 187, 255})
172: ({f28, f96, f182, f246}, {27, 95, 181, 245})
173: ({f28, f96, f178, f246}, {27, 95, 177, 245})
174: ({f28, f92, f192, f256}, {27, 95, 175, 255})
175: ({f28, f92, f188, f252}, {27, 95, 170, 255})
176: ({f28, f86, f192, f256}, {27, 95, 159, 223})
177: ({f28, f86, f188, f256}, {27, 95, 155, 223})
178: ({f28, f86, f178, f256}, {27, 95, 147, 215})
179: ({f22, f23, f24, f26, f27, f28, f30, f31, f32, f86, f87, f88, f90, f91, f92, f94, f95, f96, f166, f167, f168, f170, f171, f172, f174, f175, f176, f246, f247, f248, f250, f251, f252, f254, f255, f256}, {27, 91})
180: ({f24, f28, f32, f88, f92, f96, f168, f172, f176, f248, f252, f256}, {27, 91, 255})
181: ({f28, f32, f92, f96, f171, f175, f252, f256}, {27, 91, 251})
182: ({f28, f92, f248, f256}, {27, 91, 247, 255})
183: ({f24, f28, f32, f86, f90, f94, f167, f171, f175, f248, f252, f256}, {27, 91, 219})
184: ({f28, f96, f176, f256}, {27, 91, 191, 255})
185: ({f28, f96, f171, f256}, {27, 91, 187, 251})
186: ({f28, f92, f176, f256}, {27, 91, 175, 255})
187: ({f28, f92, f175, f252}, {27, 91, 174, 251})
188: ({f28, f92, f174, f247}, {27, 91, 173, 246})
189: ({f27, f28, f91, f92, f171, f172, f255, f256}, {27, 91, 171})
190: ({f28, f92, f172, f256}, {27, 91, 171, 255})
191: ({f28, f92, f172, f255}, {27, 91, 171, 254})
192: ({f28, f92, f171, f256}, {27, 91, 171, 251})
193: ({f28, f91, f171, f256}, {27, 91, 171, 235})
194: ({f26, f27, f28, f90, f91, f92, f170, f171, f172, f250, f251, f252}, {27, 91, 170})
195: ({f28, f92, f172, f252}, {27, 91, 170, 255})
196: ({f28, f92, f171, f252}, {27, 91, 170, 251})
197: ({f28, f92, f171, f251}, {27, 91, 170, 250})
198: ({f28, f92, f171, f250}, {27, 91, 170, 249})
199: ({f28, f91, f171, f251}, {27, 91, 170, 234})
200: ({f28, f90, f171, f252}, {27, 91, 170, 219})
201: ({f28, f92, f170, f171}, {27, 91, 169, 170})
202: ({f28, f92, f168, f256}, {27, 91, 167, 255})
203: ({f26, f27, f28, f86, f87, f88, f170, f171, f172, f254, f255, f256}, {27, 91, 155})
204: ({f28, f88, f172, f256}, {27, 91, 155, 255})
205: ({f28, f86, f171, f256}, {27, 91, 155, 219})
206: ({f21, f22, f27, f28, f85, f86, f91, f92, f165, f166, f171, f172, f229, f230, f235, f236}, {27, 90})
207: ({f27, f28, f91, f92, f171, f172, f235, f236}, {27, 90, 170})
208: ({f28, f92, f172, f236}, {27, 90, 170, 255})
209: ({f28, f92, f171, f235}, {27, 90, 170, 250})
210: ({f28, f91, f171, f236}, {27, 90, 170, 235})
211: ({f28, f91, f171, f235}, {27, 90, 170, 234})
212: ({f27, f28, f91, f92, f165, f166, f229, f230}, {27, 90, 165})
213: ({f28, f91, f166, f230}, {27, 90, 165, 229})
214: ({f28, f91, f166, f229}, {27, 90, 165, 228})
215: ({f28, f91, f165, f166}, {27, 90, 164, 165})
216: ({f27, f28, f86, f171, f172, f235, f236}, {27, 90, 154})
217: ({f28, f86, f171, f236}, {27, 90, 154, 219})
218: ({f28, f86, f171, f235}, {27, 90, 154, 218})
219: ({f28, f86, f171, f229}, {27, 90, 153, 216})
220: ({f21, f22, f24, f25, f26, f28, f85, f86, f88, f89, f90, f92, f167, f171, f213, f214, f216, f217, f218, f220}, {27, 89})
221: ({f24, f28, f86, f90, f167, f171, f216, f220}, {27, 89, 219})
222: ({f24, f28, f86, f90, f167, f171, f214, f218}, {27, 89, 217})
223: ({f24, f28, f86, f90, f167, f171, f213, f217}, {27, 89, 216})
224: ({f25, f26, f28, f89, f90, f92, f171, f217, f218, f220}, {27, 89, 170})
225: ({f28, f92, f171, f220}, {27, 89, 170, 251})
226: ({f28, f90, f171, f220}, {27, 89, 170, 219})
227: ({f28, f90, f171, f218}, {27, 89, 170, 217})
228: ({f28, f90, f171, f217}, {27, 89, 170, 216})
229: ({f25, f26, f28, f89, f90, f92, f167, f217, f218, f220}, {27, 89, 166})
230: ({f28, f90, f167, f220}, {27, 89, 166, 219})
231: ({f28, f90, f167, f218}, {27, 89, 166, 217})
232: ({f28, f90, f167, f217}, {27, 89, 166, 216})
233: ({f25, f28, f86, f171, f217, f220}, {27, 89, 154})
234: ({f28, f86, f171, f220}, {27, 89, 154, 219})
235: ({f28, f86, f171, f217}, {27, 89, 154, 216})
236: ({f26, f28, f86, f88, f171, f214, f216}, {27, 89, 153})
237: ({f28, f86, f171, f216}, {27, 89, 153, 219})
238: ({f28, f86, f171, f214}, {27, 89, 153, 217})
239: ({f21, f22, f28, f85, f86, f92, f171}, {27, 89, 90})
240: ({f24, f28, f85, f86, f89, f90, f167, f171}, {27, 88, 89})
241: ({f28, f89, f90, f171}, {27, 88, 89, 170})
242: ({f28, f89, f90, f167}, {27, 88, 89, 166})
243: ({f28, f85, f86, f171}, {27, 88, 89, 90})
244: ({f18, f20, f22, f24, f26, f28, f82, f84, f86, f88, f90, f92, f146, f148, f150, f152, f154, f156, f254, f256}, {27, 87})
245: ({f20, f24, f28, f84, f88, f92, f148, f152, f156, f256}, {27, 87, 255})
246: ({f20, f24, f28, f84, f88, f92, f148, f152, f156, f254}, {27, 87, 253})
247: ({f20, f28, f86, f148, f156, f256}, {27, 87, 223})
248: ({f24, f28, f86, f90, f150, f154, f256}, {27, 87, 215})
249: ({f28, f92, f156, f256}, {27, 87, 171, 255})
250: ({f26, f28, f86, f88, f154, f156, f254, f256}, {27, 87, 155})
251: ({f28, f88, f156, f256}, {27, 87, 155, 255})
252: ({f28, f88, f156, f254}, {27, 87, 155, 253})
253: ({f28, f86, f156, f256}, {27, 87, 155, 223})
254: ({f28, f86, f154, f256}, {27, 87, 155, 215})
255: ({f26, f28, f86, f88, f150, f152, f254, f256}, {27, 87, 151})
256: ({f28, f88, f152, f256}, {27, 87, 151, 255})
257: ({f28, f88, f152, f254}, {27, 87, 151, 253})
258: ({f28, f86, f150, f256}, {27, 87, 151, 215})
259: ({f26, f28, f86, f88, f146, f148, f254, f256}, {27, 87, 147})
260: ({f28, f88, f148, f256}, {27, 87, 147, 255})
261: ({f28, f88, f148, f254}, {27, 87, 147, 253})
262: ({f28, f86, f148, f256}, {27, 87, 147, 223})
263: ({f18, f22, f28, f82, f86, f92, f256}, {27, 87, 95})
264: ({f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32, f81, f82, f83, f84, f85, f86, f87, f88, f89, f90, f91, f92, f93, f94, f95, f96, f145, f146, f147, f148, f149, f150, f151, f152, f153, f154, f155, f156, f157, f158, f159, f160, f209, f210, f211, f212, f213, f214, f215, f216, f217, f218, f219, f220, f221, f222, f223, f224}, {27, 85})
265: ({f20, f24, f28, f32, f84, f88, f92, f96, f148, f152, f156, f160, f212, f216, f220, f224}, {27, 85, 255})
266: ({f28, f212, f216, f224}, {27, 85, 243, 255})
267: ({f20, f28, f32, f86, f148, f156, f160, f212, f220, f224}, {27, 85, 223})
268: ({f20, f28, f86, f94, f148, f156, f214, f222}, {27, 85, 221})
269: ({f24, f28, f32, f86, f90, f94, f151, f155, f159, f216, f220, f224}, {27, 85, 219})
270: ({f24, f28, f86, f90, f151, f155, f213, f217}, {27, 85, 216})
271: ({f24, f28, f86, f90, f150, f154, f216, f220}, {27, 85, 215})
272: ({f24, f28, f32, f86, f90, f94, f150, f154, f158, f214, f218, f222}, {27, 85, 213})
273: ({f28, f86, f212, f224}, {27, 85, 211, 223})
274: ({f28, f96, f160, f224}, {27, 85, 191, 255})
275: ({f28, f96, f156, f224}, {27, 85, 187, 255})
276: ({f28, f96, f148, f216}, {27, 85, 177, 255})
277: ({f25, f26, f27, f28, f89, f90, f91, f92, f153, f154, f155, f156, f217, f218, f219, f220}, {27, 85, 170})
278: ({f28, f92, f156, f220}, {27, 85, 170, 255})
279: ({f28, f91, f155, f220}, {27, 85, 170, 235})
280: ({f28, f91, f155, f219}, {27, 85, 170, 234})
281: ({f28, f91, f154, f217}, {27, 85, 170, 228})
282: ({f28, f90, f155, f220}, {27, 85, 170, 219})
283: ({f28, f90, f155, f217}, {27, 85, 170, 216})
284: ({f28, f90, f154, f220}, {27, 85, 170, 215})
285: ({f28, f90, f154, f218}, {27, 85, 170, 213})
286: ({f28, f153, f154, f155}, {27, 85, 168, 170})
287: ({f28, f86, f160, f224}, {27, 85, 159, 223})
288: ({f28, f86, f159, f220}, {27, 85, 158, 219})
289: ({f28, f86, f158, f214}, {27, 85, 157, 213})
290: ({f28, f86, f157, f211}, {27, 85, 156, 210})
291: ({f26, f27, f28, f86, f87, f88, f154, f155, f156, f222, f223, f224}, {27, 85, 155})
292: ({f28, f88, f156, f224}, {27, 85, 155, 255})
293: ({f28, f86, f156, f224}, {27, 85, 155, 223})
294: ({f28, f86, f156, f223}, {27, 85, 155, 222})
295: ({f28, f86, f156, f222}, {27, 85, 155, 221})
296: ({f28, f86, f155, f224}, {27, 85, 155, 219})
297: ({f28, f86, f154, f222}, {27, 85, 155, 213})
298: ({f25, f27, f28, f86, f153, f155, f156, f217, f219, f220}, {27, 85, 154})
299: ({f28, f86, f156, f220}, {27, 85, 154, 223})
300: ({f28, f86, f155, f220}, {27, 85, 154, 219})
301: ({f28, f86, f155, f219}, {27, 85, 154, 218})
302: ({f28, f86, f155, f217}, {27, 85, 154, 216})
303: ({f26, f28, f86, f88, f154, f156, f214, f216}, {27, 85, 153})
304: ({f28, f88, f156, f216}, {27, 85, 153, 255})
305: ({f28, f86, f156, f214}, {27, 85, 153, 221})
306: ({f28, f86, f154, f216}, {27, 85, 153, 215})
307: ({f28, f86, f154, f214}, {27, 85, 153, 213})
308: ({f28, f86, f153, f155}, {27, 85, 152, 154})
309: ({f25, f28, f86, f87, f150, f151, f217, f220}, {27, 85, 150})
310: ({f28, f86, f151, f220}, {27, 85, 150, 219})
311: ({f28, f86, f151, f217}, {27, 85, 150, 216})
312: ({f28, f86, f150, f220}, {27, 85, 150, 215})
313: ({f26, f27, f28, f86, f87, f88, f150, f151, f152, f214, f215, f216}, {27, 85, 149})
314: ({f28, f88, f152, f216}, {27, 85, 149, 255})
315: ({f28, f86, f151, f216}, {27, 85, 149, 219})
316: ({f28, f86, f150, f216}, {27, 85, 149, 215})
317: ({f28, f86, f150, f215}, {27, 85, 149, 214})
318: ({f28, f86, f150, f214}, {27, 85, 149, 213})
319: ({f26, f28, f86, f88, f146, f148, f222, f224}, {27, 85, 147})
320: ({f28, f88, f148, f224}, {27, 85, 147, 255})
321: ({f28, f86, f148, f224}, {27, 85, 147, 223})
322: ({f28, f86, f148, f222}, {27, 85, 147, 221})
323: ({f18, f22, f28, f32, f82, f86, f92, f96}, {27, 85, 95})
324: ({f18, f22, f28, f30, f82, f86, f92, f94, f210, f214, f220, f222}, {27, 85, 93})
325: ({f28, f86, f94, f220}, {27, 85, 93, 219})
326: ({f28, f86, f94, f214, f222}, {27, 85, 93, 213, 221})
327: ({f28, f86, f94, f210}, {27, 85, 93, 209})
328: ({f21, f22, f27, f28, f85, f86, f91, f92}, {27, 85, 90})
329: ({f21, f22, f23, f28, f85, f86, f87, f92, f149, f150, f151, f156}, {27, 85, 86})
330: ({f28, f86, f87, f156}, {27, 85, 86, 155})
331: ({f28, f86, f87, f150, f151}, {27, 85, 86, 149, 150})
332: ({f28, f86, f87, f149}, {27, 85, 86, 148})
333: ({f20, f24, f28, f81, f82, f83, f85, f86, f87, f89, f90, f91}, {27, 84, 85})
334: ({f28, f89, f90, f91}, {27, 84, 85, 170})
335: ({f28, f85, f86, f91}, {27, 84, 85, 90})
336: ({f28, f85, f86, f87}, {27, 84, 85, 86})
337: ({f26, f28, f82, f84, f86, f88, f254, f256}, {27, 83, 87})
338: ({f28, f84, f88, f256}, {27, 83, 87, 255})
339: ({f28, f84, f88, f254}, {27, 83, 87, 253})
340: ({f28, f82, f86, f256}, {27, 83, 87, 95})
341: ({f28, f83, f85, f86}, {27, 82, 84, 85})
342: ({f25, f26, f28, f81, f82, f84, f85, f86, f88, f93, f94, f96}, {27, 81, 85})
343: ({f28, f84, f88, f96}, {27, 81, 85, 255})
344: ({f28, f82, f86, f96}, {27, 81, 85, 95})
345: ({f28, f82, f86, f94}, {27, 81, 85, 93})
346: ({f28, f82, f86, f93}, {27, 81, 85, 92})
347: ({f27, f28, f31, f32, f81, f82, f85, f86}, {27, 80, 85})
348: ({f28, f32, f82, f86}, {27, 80, 85, 95})
349: ({f27, f28, f85, f86}, {27, 80, 85, 90})
350: ({f28, f81, f82, f85, f86}, {27, 80, 81, 84, 85})
351: ({f18, f21, f28, f31, f66, f69, f76, f79, f178, f181, f188, f191, f226, f229, f236, f239}, {27, 78})
352: ({f28, f79, f191, f236}, {27, 78, 190, 235})
353: ({f28, f79, f188, f239}, {27, 78, 187, 238})
354: ({f28, f79, f181, f226}, {27, 78, 180, 225})
355: ({f28, f79, f178, f229}, {27, 78, 177, 228})
356: ({f28, f76, f188, f236}, {27, 78, 170, 255})
357: ({f27, f28, f31, f32, f75, f76, f79, f80, f171, f172, f175, f176, f251, f252, f255, f256}, {27, 75})
358: ({f28, f32, f76, f80, f172, f176, f252, f256}, {27, 75, 255})
359: ({f28, f32, f76, f80, f171, f175, f252, f256}, {27, 75, 251})
360: ({f28, f79, f171, f256}, {27, 75, 187, 235})
361: ({f28, f76, f176, f256}, {27, 75, 175, 255})
362: ({f28, f76, f175, f252}, {27, 75, 174, 251})
363: ({f27, f28, f75, f76, f171, f172, f255, f256}, {27, 75, 171})
364: ({f28, f76, f172, f256}, {27, 75, 171, 255})
365: ({f28, f76, f172, f255}, {27, 75, 171, 254})
366: ({f28, f76, f171, f256}, {27, 75, 171, 251})
367: ({f27, f28, f75, f76, f171, f172, f251, f252}, {27, 75, 170})
368: ({f28, f76, f172, f252}, {27, 75, 170, 255})
369: ({f28, f76, f171, f252}, {27, 75, 170, 251})
370: ({f28, f76, f171, f251}, {27, 75, 170, 250})
371: ({f1, f24, f28, f32, f40, f44, f48, f56, f60, f64, f193, f216, f220, f224, f232, f236, f240, f248, f252, f256}, {27, 63})
372: ({f24, f28, f32, f40, f44, f48, f56, f60, f64, f216, f220, f224, f232, f236, f240, f248, f252, f256}, {27, 63, 219, 255})
373: ({f24, f28, f32, f40, f44, f48, f56, f60, f64, f193}, {27, 63, 192})
374: ({f28, f44, f60, f220, f236, f252}, {27, 63, 170, 219, 255})
375: ({f28, f44, f60, f224, f240, f256}, {27, 63, 155, 191, 219, 255})
376: ({f24, f28, f32, f248, f252, f256}, {27, 63, 91, 127, 219, 255})
377: ({f24, f28, f32, f216, f220, f224}, {27, 63, 85, 219, 255})
378: ({f1, f9, f13, f20, f28, f32, f35, f43, f47, f52, f60, f64, f129, f137, f141, f148, f156, f160, f163, f171, f175, f180, f188, f192, f193, f201, f205, f212, f220, f224, f227, f235, f239, f244, f252, f256}, {27, 59})
379: ({f20, f28, f32, f52, f60, f64, f148, f156, f160, f180, f188, f192, f212, f220, f224, f244, f252, f256}, {27, 59, 223, 255})
380: ({f28, f32, f60, f64, f171, f175, f220, f224, f252, f256}, {27, 59, 219, 251})
381: ({f28, f52, f64, f220, f244, f256}, {27, 59, 215, 223, 247, 255})
382: ({f28, f60, f212, f224, f244, f256}, {27, 59, 211, 223, 243, 255})
383: ({f28, f60, f175, f220, f252}, {27, 59, 174, 219, 251})
384: ({f9, f28, f43, f60, f137, f156, f171, f188, f201, f220, f235, f252}, {27, 59, 170})
385: ({f28, f60, f171, f235}, {27, 59, 170, 234})
386: ({f28, f60, f156, f188, f220, f252}, {27, 59, 170, 223, 255})
387: ({f28, f60, f171, f220, f252}, {27, 59, 170, 219, 251})
388: ({f28, f60, f171, f201}, {27, 59, 170, 200})
389: ({f28, f60, f160, f192, f224, f256}, {27, 59, 159, 191, 223, 255})
390: ({f28, f43, f60, f156, f171, f188, f224, f239, f256}, {27, 59, 155, 187})
391: ({f28, f60, f156, f188, f239}, {27, 59, 155, 187, 238})
392: ({f28, f60, f156, f188, f224, f256}, {27, 59, 155, 187, 223, 255})
393: ({f28, f60, f171, f224, f256}, {27, 59, 155, 187, 219, 251})
394: ({f28, f60, f148, f180, f224, f256}, {27, 59, 147, 179, 223, 255})
395: ({f28, f60, f141, f227}, {27, 59, 140, 226})
396: ({f28, f137, f171, f188}, {27, 59, 138, 170})
397: ({f28, f60, f137, f171}, {27, 59, 136, 170})
398: ({f28, f32, f188, f192, f252, f256}, {27, 59, 95, 127, 223, 255})
399: ({f28, f188, f252}, {27, 59, 95, 127, 170, 223, 255})
400: ({f28, f188, f256}, {27, 59, 95, 127, 155, 187, 223, 255})
401: ({f20, f28, f148, f156, f256}, {27, 59, 87, 119, 223, 255})
402: ({f28, f148, f256}, {27, 59, 87, 119, 147, 179, 223, 255})
403: ({f20, f28, f32, f148, f156, f160, f212, f220, f224}, {27, 59, 85, 117, 223, 255})
404: ({f28, f212, f224}, {27, 59, 85, 117, 211, 223, 243, 255})
405: ({f28, f160, f224}, {27, 59, 85, 117, 159, 191, 223, 255})
406: ({f28, f156, f224}, {27, 59, 85, 117, 155, 187, 223, 255})
407: ({f28, f148, f224}, {27, 59, 85, 117, 147, 179, 223, 255})
408: ({f28, f188, f239}, {27, 59, 78, 110, 155, 187, 206, 238})
409: ({f1, f9, f20, f28, f35, f43, f50, f58, f129, f137, f148, f156, f163, f171, f178, f186}, {27, 57})
410: ({f9, f28, f43, f58, f137, f156, f171, f186}, {27, 57, 170})
411: ({f28, f58, f148, f178}, {27, 57, 147, 177})
412: ({f28, f58, f137, f171}, {27, 57, 136, 170})
413: ({f1, f28, f56, f64, f193, f220, f248, f256}, {27, 55, 63})
414: ({f28, f56, f64, f220, f248, f256}, {27, 55, 63, 219, 247, 255})
415: ({f28, f56, f64, f193}, {27, 55, 63, 192})
416: ({f1, f9, f20, f28, f33, f41, f52, f60, f197, f205, f216, f224, f229, f237, f248, f256}, {27, 51})
417: ({f20, f28, f52, f60, f216, f224, f248, f256}, {27, 51, 255})
418: ({f28, f52, f248, f256}, {27, 51, 247, 255})
419: ({f28, f52, f216, f256}, {27, 51, 215, 255})
420: ({f20, f28, f52, f60, f197, f205, f229, f237}, {27, 51, 204})
421: ({f28, f52, f205, f237}, {27, 51, 204, 236})
422: ({f28, f52, f205, f229}, {27, 51, 204, 228})
423: ({f28, f52, f197, f205}, {27, 51, 196, 204})
424: ({f28, f41, f216, f229}, {27, 51, 153, 177})
425: ({f20, f28, f248, f256}, {27, 51, 119, 255})
426: ({f20, f28, f216, f224}, {27, 51, 85, 255})
427: ({f1, f28, f60, f216, f224, f248, f256}, {27, 51, 63})
428: ({f28, f60, f216, f224, f248, f256}, {27, 51, 63, 219, 243, 255})
429: ({f28, f216, f224}, {27, 51, 63, 85, 219, 243, 255})
430: ({f1, f28, f248, f256}, {27, 51, 55, 63})
431: ({f28, f248, f256}, {27, 51, 55, 63, 91, 115, 119, 127, 219, 243, 247, 255})
432: ({f1, f28, f48, f64, f193, f220, f240, f256}, {27, 47, 63})
433: ({f28, f48, f64, f220, f240, f256}, {27, 47, 63, 219, 239, 255})
434: ({f28, f48, f64, f193}, {27, 47, 63, 192})
435: ({f1, f3, f4, f25, f27, f28, f41, f43, f44, f61, f63, f64, f129, f131, f132, f153, f155, f156, f169, f171, f172, f189, f191, f192, f193, f195, f196, f217, f219, f220, f233, f235, f236, f253, f255, f256}, {27, 43})
436: ({f4, f28, f44, f64, f132, f156, f172, f192, f196, f220, f236, f256}, {27, 43, 255})
437: ({f28, f44, f64, f155, f171, f191, f220, f236, f256}, {27, 43, 219, 235})
438: ({f28, f196, f236, f256}, {27, 43, 207, 255})
439: ({f28, f44, f196, f256}, {27, 43, 195, 255})
440: ({f28, f44, f192, f256}, {27, 43, 191, 255})
441: ({f28, f44, f191, f220, f236}, {27, 43, 190, 219, 235})
442: ({f28, f44, f189, f195}, {27, 43, 188, 194})
443: ({f27, f28, f43, f44, f155, f156, f171, f172, f255, f256}, {27, 43, 155, 171})
444: ({f28, f44, f156, f172, f256}, {27, 43, 155, 171, 255})
445: ({f28, f44, f156, f172, f255}, {27, 43, 155, 171, 254})
446: ({f28, f44, f155, f171, f256}, {27, 43, 155, 171, 219, 235})
447: ({f25, f27, f28, f41, f43, f44, f153, f155, f156, f169, f171, f172, f217, f219, f220, f233, f235, f236}, {27, 43, 154, 170})
448: ({f28, f44, f156, f172, f220, f236}, {27, 43, 154, 170, 255})
449: ({f28, f44, f155, f171, f220, f236}, {27, 43, 154, 170, 219, 235})
450: ({f28, f44, f155, f171, f219, f235}, {27, 43, 154, 170, 218, 234})
451: ({f28, f44, f155, f171, f217, f233}, {27, 43, 154, 170, 216, 232})
452: ({f28, f41, f43, f156, f169, f171}, {27, 43, 153, 154, 169, 170})
453: ({f28, f44, f153, f155, f169, f171}, {27, 43, 152, 154, 168, 170})
454: ({f28, f44, f132, f256}, {27, 43, 131, 255})
455: ({f27, f28, f171, f172, f235, f236}, {27, 43, 90, 106, 154, 170})
456: ({f28, f172, f236}, {27, 43, 90, 106, 154, 170, 255})
457: ({f28, f171, f236}, {27, 43, 90, 106, 154, 170, 219, 235})
458: ({f25, f28, f171, f217, f220}, {27, 43, 89, 105, 154, 170})
459: ({f28, f171, f217}, {27, 43, 89, 105, 154, 170, 216, 232})
460: ({f25, f27, f28, f153, f155, f156, f217, f219, f220}, {27, 43, 85, 101, 154, 170})
461: ({f28, f155, f220}, {27, 43, 85, 101, 154, 170, 219, 235})
462: ({f28, f155, f219}, {27, 43, 85, 101, 154, 170, 218, 234})
463: ({f28, f155, f217}, {27, 43, 85, 101, 154, 170, 216, 232})
464: ({f28, f153, f155}, {27, 43, 85, 101, 152, 154, 168, 170})
465: ({f28, f191, f236}, {27, 43, 78, 126, 142, 190, 219, 235})
466: ({f1, f28, f44, f64, f193, f220, f236, f256}, {27, 43, 63})
467: ({f28, f44, f64, f220, f236, f256}, {27, 43, 63, 219, 235, 255})
468: ({f28, f44, f64, f193}, {27, 43, 63, 192})
469: ({f28, f44, f220, f236}, {27, 43, 63, 154, 170, 190, 219, 235, 255})
470: ({f1, f28, f43, f64, f129, f156, f171, f192, f193, f220, f235, f256}, {27, 43, 59})
471: ({f28, f64, f156, f192, f220, f256}, {27, 43, 59, 223, 239, 255})
472: ({f28, f64, f171, f220, f256}, {27, 43, 59, 219, 235, 251})
473: ({f28, f43, f156, f171, f256}, {27, 43, 59, 155, 171, 187})
474: ({f28, f43, f156, f171, f220, f235}, {27, 43, 59, 154, 170, 186})
475: ({f28, f192, f256}, {27, 43, 59, 95, 111, 127, 159, 175, 191, 223, 239, 255})
476: ({f28, f171, f235}, {27, 43, 59, 90, 106, 122, 154, 170, 186, 218, 234, 250})
477: ({f28, f171, f220}, {27, 43, 59, 89, 105, 121, 154, 170, 186, 219, 235, 251})
478: ({f28, f156, f256}, {27, 43, 59, 87, 103, 119, 155, 171, 187, 223, 239, 255})
479: ({f28, f156, f220}, {27, 43, 59, 85, 101, 117, 154, 170, 186, 223, 239, 255})
480: ({f1, f26, f27, f28, f42, f43, f44, f58, f59, f60, f129, f154, f155, f156, f170, f171, f172, f186, f187, f188}, {27, 42})
481: ({f26, f27, f28, f42, f43, f44, f58, f59, f60, f154, f155, f156, f170, f171, f172, f186, f187, f188}, {27, 42, 155, 170})
482: ({f28, f44, f60, f156, f172, f188}, {27, 42, 155, 170, 255})
483: ({f28, f44, f60, f155, f171, f187}, {27, 42, 155, 170, 219, 234})
484: ({f26, f27, f28, f42, f43, f44, f58, f59, f60, f129}, {27, 42, 128})
485: ({f26, f27, f28, f170, f171, f172}, {27, 42, 91, 106, 155, 170})
486: ({f26, f27, f28, f154, f155, f156}, {27, 42, 85, 155, 170})
487: ({f1, f28, f43, f60, f129, f156, f171, f188}, {27, 42, 59})
488: ({f28, f43, f60, f156, f171, f188}, {27, 42, 59, 155, 170, 187})
489: ({f28, f60, f156, f188}, {27, 42, 59, 155, 170, 187, 223, 238, 255})
490: ({f28, f43, f60, f129}, {27, 42, 59, 128})
491: ({f1, f28, f43, f59, f129, f156, f171, f187}, {27, 42, 58})
492: ({f28, f43, f59, f156, f171, f187}, {27, 42, 58, 155, 170, 186})
493: ({f28, f43, f59, f129}, {27, 42, 58, 128})
494: ({f1, f28, f43, f58, f129, f156, f171, f186}, {27, 42, 57})
495: ({f28, f43, f58, f156, f171, f186}, {27, 42, 57, 155, 170, 185})
496: ({f28, f43, f58, f129}, {27, 42, 57, 128})
497: ({f1, f28, f42, f43, f129, f156, f170, f171}, {27, 41, 42})
498: ({f28, f42, f43, f156, f170, f171}, {27, 41, 42, 155, 169, 170})
499: ({f28, f42, f43, f129}, {27, 41, 42, 128})
500: ({f1, f4, f25, f28, f41, f44, f49, f52, f130, f131, f154, f155, f170, f171, f178, f179}, {27, 40})
501: ({f28, f52, f154, f178}, {27, 40, 215, 228})
502: ({f25, f28, f41, f44, f154, f155, f170, f171}, {27, 40, 170})
503: ({f28, f41, f170, f171}, {27, 40, 169, 170})
504: ({f28, f41, f154, f171}, {27, 40, 153, 170})
505: ({f25, f28, f41, f44, f130, f131, f178, f179}, {27, 40, 130})
506: ({f28, f41, f131, f179}, {27, 40, 130, 178})
507: ({f28, f41, f131, f178}, {27, 40, 130, 177})
508: ({f28, f41, f130, f131}, {27, 40, 129, 130})
509: ({f25, f28, f170, f171}, {27, 40, 105, 170})
510: ({f25, f28, f154, f155}, {27, 40, 85, 170})
511: ({f1, f28, f44, f154, f155, f170, f171}, {27, 40, 42})
512: ({f28, f44, f154, f155, f170, f171}, {27, 40, 42, 155, 168, 170})
513: ({f28, f154, f155}, {27, 40, 42, 85, 155, 168, 170})
514: ({f1, f28, f170, f171}, {27, 40, 41, 42})
515: ({f28, f170, f171}, {27, 40, 41, 42, 91, 104, 105, 106, 155, 168, 169, 170})
516: ({f1, f4, f25, f28, f37, f40, f61, f64, f193, f196, f217, f220, f229, f232, f253, f256}, {27, 39})
517: ({f4, f28, f40, f64, f196, f220, f232, f256}, {27, 39, 255})
518: ({f28, f40, f217, f229}, {27, 39, 216, 228})
519: ({f28, f40, f196, f256}, {27, 39, 195, 255})
520: ({f1, f28, f40, f64, f193, f220, f232, f256}, {27, 39, 63})
521: ({f28, f40, f64, f220, f232, f256}, {27, 39, 63, 219, 231, 255})
522: ({f28, f40, f64, f193}, {27, 39, 63, 192})
523: ({f1, f6, f12, f16, f17, f22, f28, f32, f49, f54, f60, f64, f65, f70, f76, f80, f81, f86, f92, f96, f113, f118, f124, f128, f193, f198, f204, f208, f209, f214, f220, f224, f241, f246, f252, f256}, {27, 31})
524: ({f12, f16, f28, f32, f60, f64, f76, f80, f92, f96, f124, f128, f204, f208, f220, f224, f252, f256}, {27, 31, 251, 255})
525: ({f16, f28, f64, f208, f220, f256}, {27, 31, 235, 239, 251, 255})
526: ({f28, f32, f60, f64, f86, f118, f220, f224, f252, f256}, {27, 31, 219, 223})
527: ({f28, f32, f204, f208, f252, f256}, {27, 31, 203, 207, 251, 255})
528: ({f28, f60, f96, f128, f224, f256}, {27, 31, 187, 191, 251, 255})
529: ({f12, f28, f76, f92, f256}, {27, 31, 171, 175, 251, 255})
530: ({f12, f28, f60, f76, f92, f124, f204, f220, f252}, {27, 31, 170, 174, 251, 255})
531: ({f28, f204, f252}, {27, 31, 170, 174, 203, 207, 251, 255})
532: ({f28, f32, f124, f128, f252, f256}, {27, 31, 123, 127, 251, 255})
533: ({f28, f124, f252}, {27, 31, 123, 127, 170, 174, 251, 255})
534: ({f28, f32, f118, f220, f224}, {27, 31, 117, 219, 223})
535: ({f28, f32, f113, f198}, {27, 31, 112, 197})
536: ({f22, f28, f32, f86, f92, f96, f246, f252, f256}, {27, 31, 91, 95})
537: ({f28, f32, f92, f96, f252, f256}, {27, 31, 91, 95, 251, 255})
538: ({f28, f32, f92, f96, f246}, {27, 31, 91, 95, 245})
539: ({f28, f32, f86, f252, f256}, {27, 31, 91, 95, 219, 223})
540: ({f28, f96, f256}, {27, 31, 91, 95, 187, 191, 251, 255})
541: ({f28, f96, f246}, {27, 31, 91, 95, 177, 181, 241, 245})
542: ({f28, f92, f252}, {27, 31, 91, 95, 170, 174, 251, 255})
543: ({f17, f22, f28, f32, f81, f86, f92, f96, f209, f214, f220, f224}, {27, 31, 85})
544: ({f28, f32, f92, f96, f220, f224}, {27, 31, 85, 251, 255})
545: ({f28, f32, f86, f220, f224}, {27, 31, 85, 219, 223})
546: ({f28, f32, f86, f214}, {27, 31, 85, 213})
547: ({f28, f32, f86, f209}, {27, 31, 85, 208})
548: ({f28, f96, f224}, {27, 31, 85, 187, 191, 251, 255})
549: ({f28, f81, f86, f96}, {27, 31, 81, 85})
550: ({f28, f32, f81, f86}, {27, 31, 80, 85})
551: ({f28, f32, f76, f80, f252, f256}, {27, 31, 75, 79, 251, 255})
552: ({f28, f76, f256}, {27, 31, 75, 79, 171, 175, 251, 255})
553: ({f28, f76, f252}, {27, 31, 75, 79, 170, 174, 251, 255})
554: ({f1, f28, f32, f60, f64, f193, f220, f224, f252, f256}, {27, 31, 59, 63})
555: ({f28, f32, f60, f64, f220, f224, f252, f256}, {27, 31, 59, 63, 219, 223, 251, 255})
556: ({f28, f32, f60, f64, f193}, {27, 31, 59, 63, 192})
557: ({f28, f60, f220, f252}, {27, 31, 59, 63, 170, 174, 219, 223, 251, 255})
558: ({f28, f32, f220, f224}, {27, 31, 59, 63, 85, 117, 219, 223, 251, 255})
559: ({f1, f6, f12, f15, f17, f22, f28, f31, f65, f70, f76, f79, f81, f86, f92, f95}, {27, 30})
560: ({f17, f22, f28, f31, f81, f86, f92, f95}, {27, 30, 85})
561: ({f28, f31, f81, f86}, {27, 30, 80, 85})
562: ({f28, f31, f76, f79}, {27, 30, 75, 78})
563: ({f1, f6, f11, f12, f17, f22, f27, f28, f33, f38, f43, f44, f65, f70, f75, f76, f81, f86, f91, f92, f97, f102, f107, f108, f129, f134, f139, f140, f145, f150, f155, f156, f161, f166, f171, f172}, {26, 27})
564: ({f11, f12, f27, f28, f43, f44, f75, f76, f91, f92, f107, f108, f139, f140, f155, f156, f171, f172}, {26, 27, 170, 171})
565: ({f12, f28, f44, f76, f92, f108, f140, f156, f172}, {26, 27, 170, 171, 254, 255})
566: ({f12, f28, f76, f92, f171}, {26, 27, 170, 171, 250, 251})
567: ({f28, f44, f91, f107, f155, f171}, {26, 27, 170, 171, 234, 235})
568: ({f11, f28, f43, f139, f156, f171}, {26, 27, 170, 171, 186, 187})
569: ({f27, f28, f43, f44, f86, f102, f155, f156, f171, f172}, {26, 27, 154, 155})
570: ({f27, f28, f139, f140, f171, f172}, {26, 27, 138, 139, 170, 171})
571: ({f28, f140, f172}, {26, 27, 138, 139, 170, 171, 254, 255})
572: ({f27, f28, f107, f108, f171, f172}, {26, 27, 106, 107, 170, 171})
573: ({f28, f108, f172}, {26, 27, 106, 107, 170, 171, 254, 255})
574: ({f27, f28, f102, f155, f156}, {26, 27, 101, 154, 155})
575: ({f27, f28, f97, f134}, {26, 27, 96, 133})
576: ({f22, f27, f28, f86, f91, f92, f166, f171, f172}, {26, 27, 90, 91})
577: ({f27, f28, f91, f92, f171, f172}, {26, 27, 90, 91, 170, 171})
578: ({f28, f92, f172}, {26, 27, 90, 91, 170, 171, 254, 255})
579: ({f28, f91, f171}, {26, 27, 90, 91, 170, 171, 234, 235})
580: ({f27, f28, f91, f92, f166}, {26, 27, 90, 91, 165})
581: ({f28, f91, f166}, {26, 27, 90, 91, 164, 165, 228, 229})
582: ({f27, f28, f86, f171, f172}, {26, 27, 90, 91, 154, 155})
583: ({f17, f22, f27, f28, f81, f86, f91, f92, f145, f150, f155, f156}, {26, 27, 85})
584: ({f27, f28, f91, f92, f155, f156}, {26, 27, 85, 170, 171})
585: ({f28, f91, f155}, {26, 27, 85, 170, 171, 234, 235})
586: ({f27, f28, f86, f155, f156}, {26, 27, 85, 154, 155})
587: ({f27, f28, f86, f150}, {26, 27, 85, 149})
588: ({f27, f28, f86, f145}, {26, 27, 85, 144})
589: ({f28, f81, f86, f91}, {26, 27, 84, 85})
590: ({f27, f28, f81, f86}, {26, 27, 80, 85})
591: ({f27, f28, f75, f76, f171, f172}, {26, 27, 74, 75, 170, 171})
592: ({f28, f76, f172}, {26, 27, 74, 75, 170, 171, 254, 255})
593: ({f28, f76, f171}, {26, 27, 74, 75, 170, 171, 250, 251})
594: ({f1, f27, f28, f43, f44, f129, f155, f156, f171, f172}, {26, 27, 42, 43})
595: ({f27, f28, f43, f44, f155, f156, f171, f172}, {26, 27, 42, 43, 154, 155, 170, 171})
596: ({f28, f44, f156, f172}, {26, 27, 42, 43, 154, 155, 170, 171, 254, 255})
597: ({f27, f28, f43, f44, f129}, {26, 27, 42, 43, 128})
598: ({f27, f28, f155, f156}, {26, 27, 42, 43, 85, 101, 154, 155, 170, 171})
599: ({f1, f6, f12, f17, f22, f28, f65, f70, f76, f81, f86, f92}, {26, 27, 30, 31})
600: ({f12, f28, f76, f92}, {26, 27, 30, 31, 170, 171, 174, 175, 250, 251, 254, 255})
601: ({f17, f22, f28, f81, f86, f92}, {26, 27, 30, 31, 85})
602: ({f28, f81, f86}, {26, 27, 30, 31, 80, 81, 84, 85})
603: ({f28, f76}, {26, 27, 30, 31, 74, 75, 78, 79, 170, 171, 174, 175, 250, 251, 254, 255})
604: ({f1, f5, f9, f18, f20, f22, f24, f26, f28, f35, f39, f43, f65, f69, f73, f82, f84, f86, f88, f90, f92, f99, f103, f107, f129, f133, f137, f146, f148, f150, f152, f154, f156, f163, f167, f171}, {25, 27})
605: ({f9, f26, f28, f43, f73, f90, f92, f107, f137, f154, f156, f171}, {25, 27, 170})
606: ({f28, f137, f154, f171}, {25, 27, 168, 170})
607: ({f26, f28, f43, f86, f88, f103, f154, f156, f171}, {25, 27, 153, 155})
608: ({f26, f28, f137, f171}, {25, 27, 136, 170})
609: ({f26, f28, f107, f171}, {25, 27, 106, 170})
610: ({f26, f28, f103, f154, f156}, {25, 27, 102, 153, 155})
611: ({f28, f103, f154}, {25, 27, 100, 102, 153, 155, 228, 230})
612: ({f26, f28, f99, f133}, {25, 27, 98, 132})
613: ({f22, f24, f26, f28, f86, f88, f90, f92, f167, f171}, {25, 27, 89, 91})
614: ({f26, f28, f90, f92, f171}, {25, 27, 89, 91, 170})
615: ({f26, f28, f90, f92, f167}, {25, 27, 89, 91, 166})
616: ({f26, f28, f86, f88, f171}, {25, 27, 89, 91, 153, 155})
617: ({f18, f20, f22, f24, f26, f28, f82, f84, f86, f88, f90, f92, f146, f148, f150, f152, f154, f156}, {25, 27, 85, 87})
618: ({f20, f24, f28, f84, f88, f92, f148, f152, f156}, {25, 27, 85, 87, 253, 255})
619: ({f20, f28, f86, f148, f156}, {25, 27, 85, 87, 221, 223})
620: ({f24, f28, f86, f90, f150, f154}, {25, 27, 85, 87, 213, 215})
621: ({f26, f28, f90, f92, f154, f156}, {25, 27, 85, 87, 170})
622: ({f28, f90, f154}, {25, 27, 85, 87, 170, 213, 215})
623: ({f26, f28, f86, f88, f154, f156}, {25, 27, 85, 87, 153, 155})
624: ({f28, f88, f156}, {25, 27, 85, 87, 153, 155, 253, 255})
625: ({f28, f86, f154}, {25, 27, 85, 87, 153, 155, 213, 215})
626: ({f26, f28, f86, f88, f150, f152}, {25, 27, 85, 87, 149, 151})
627: ({f28, f88, f152}, {25, 27, 85, 87, 149, 151, 253, 255})
628: ({f26, f28, f86, f88, f146, f148}, {25, 27, 85, 87, 145, 147})
629: ({f28, f88, f148}, {25, 27, 85, 87, 145, 147, 253, 255})
630: ({f28, f86, f148}, {25, 27, 85, 87, 145, 147, 221, 223})
631: ({f18, f22, f28, f82, f86, f92}, {25, 27, 85, 87, 93, 95})
632: ({f26, f28, f82, f84, f86, f88}, {25, 27, 81, 83, 85, 87})
633: ({f28, f84, f88}, {25, 27, 81, 83, 85, 87, 253, 255})
634: ({f26, f28, f73, f171}, {25, 27, 72, 170})
635: ({f1, f9, f20, f28, f35, f43, f129, f137, f148, f156, f163, f171}, {25, 27, 57, 59})
636: ({f9, f28, f43, f137, f156, f171}, {25, 27, 57, 59, 170})
637: ({f28, f137, f171}, {25, 27, 57, 59, 136, 138, 168, 170})
638: ({f20, f28, f148, f156}, {25, 27, 57, 59, 85, 87, 117, 119, 221, 223, 253, 255})
639: ({f28, f148}, {25, 27, 57, 59, 85, 87, 117, 119, 145, 147, 177, 179, 221, 223, 253, 255})
640: ({f1, f26, f28, f43, f129, f154, f156, f171}, {25, 27, 42})
641: ({f26, f28, f43, f154, f156, f171}, {25, 27, 42, 153, 155, 170})
642: ({f26, f28, f43, f129}, {25, 27, 42, 128})
643: ({f26, f28, f154, f156}, {25, 27, 42, 85, 87, 102, 153, 155, 170})
644: ({f1, f28, f154, f171}, {25, 27, 40, 42})
645: ({f28, f154, f171}, {25, 27, 40, 42, 153, 155, 168, 170})
646: ({f28, f154}, {25, 27, 40, 42, 85, 87, 100, 102, 153, 155, 168, 170, 213, 215, 228, 230})
647: ({f1, f22, f28, f43, f65, f86, f92, f107, f129, f150, f156, f171}, {25, 26, 27})
648: ({f28, f43, f92, f107, f156, f171}, {25, 26, 27, 169, 170, 171})
649: ({f28, f43, f86, f156, f171}, {25, 26, 27, 153, 154, 155})
650: ({f28, f107, f171}, {25, 26, 27, 105, 106, 107, 169, 170, 171, 233, 234, 235})
651: ({f22, f28, f86, f92, f171}, {25, 26, 27, 89, 90, 91})
652: ({f28, f92, f171}, {25, 26, 27, 89, 90, 91, 169, 170, 171, 249, 250, 251})
653: ({f22, f28, f86, f92, f150, f156}, {25, 26, 27, 85, 86, 87})
654: ({f28, f92, f156}, {25, 26, 27, 85, 86, 87, 169, 170, 171, 253, 254, 255})
655: ({f28, f86, f156}, {25, 26, 27, 85, 86, 87, 153, 154, 155, 221, 222, 223})
656: ({f28, f86, f150}, {25, 26, 27, 85, 86, 87, 149, 150, 151, 213, 214, 215})
657: ({f1, f28, f43, f129, f156, f171}, {25, 26, 27, 41, 42, 43, 57, 58, 59})
658: ({f28, f43, f156, f171}, {25, 26, 27, 41, 42, 43, 57, 58, 59, 153, 154, 155, 169, 170, 171, 185, 186, 187})
659: ({f28, f43, f129}, {25, 26, 27, 41, 42, 43, 57, 58, 59, 128})
660: ({f28, f156}, {25, 26, 27, 41, 42, 43, 57, 58, 59, 85, 86, 87, 101, 102, 103, 117, 118, 119, 153, 154, 155, 169, 170, 171, 185, 186, 187, 221, 222, 223, 237, 238, 239, 253, 254, 255})
661: ({f1, f4, f5, f8, f9, f12, f17, f20, f21, f24, f25, f28, f33, f36, f37, f40, f41, f44, f66, f70, f74, f82, f86, f90, f98, f102, f106, f131, f135, f139, f147, f151, f155, f163, f167, f171}, {24, 27})
662: ({f24, f28, f40, f44, f86, f90, f102, f106, f151, f155, f167, f171}, {24, 27, 216, 219})
663: ({f9, f12, f25, f28, f41, f44, f74, f90, f106, f139, f155, f171}, {24, 27, 170})
664: ({f28, f44, f90, f106, f155, f171}, {24, 27, 170, 216, 219})
665: ({f28, f41, f106, f171}, {24, 27, 169, 170})
666: ({f25, f28, f41, f44, f86, f102, f155, f171}, {24, 27, 154})
667: ({f28, f41, f86, f171}, {24, 27, 153, 154})
668: ({f25, f28, f139, f171}, {24, 27, 138, 170})
669: ({f25, f28, f106, f171}, {24, 27, 105, 170})
670: ({f28, f106, f171}, {24, 27, 105, 106, 169, 170, 216, 219})
671: ({f25, f28, f102, f155}, {24, 27, 101, 154})
672: ({f25, f28, f98, f135}, {24, 27, 97, 134})
673: ({f21, f24, f25, f28, f86, f90, f167, f171}, {24, 27, 89})
674: ({f25, f28, f90, f171}, {24, 27, 89, 170})
675: ({f25, f28, f90, f167}, {24, 27, 89, 166})
676: ({f25, f28, f86, f171}, {24, 27, 89, 154})
677: ({f21, f28, f86, f171}, {24, 27, 89, 90})
678: ({f17, f20, f21, f24, f25, f28, f82, f86, f90, f147, f151, f155}, {24, 27, 85})
679: ({f24, f28, f86, f90, f151, f155}, {24, 27, 85, 216, 219})
680: ({f25, f28, f90, f155}, {24, 27, 85, 170})
681: ({f28, f90, f155}, {24, 27, 85, 170, 216, 219})
682: ({f25, f28, f86, f155}, {24, 27, 85, 154})
683: ({f25, f28, f86, f151}, {24, 27, 85, 150})
684: ({f25, f28, f86, f147}, {24, 27, 85, 146})
685: ({f21, f28, f86, f151}, {24, 27, 85, 86})
686: ({f28, f86, f151}, {24, 27, 85, 86, 149, 150, 216, 219})
687: ({f25, f28, f82, f86}, {24, 27, 81, 85})
688: ({f25, f28, f74, f171}, {24, 27, 73, 170})
689: ({f1, f4, f25, f28, f41, f44, f131, f155, f171}, {24, 27, 40, 43})
690: ({f25, f28, f41, f44, f155, f171}, {24, 27, 40, 43, 154, 170})
691: ({f28, f41, f171}, {24, 27, 40, 43, 153, 154, 169, 170})
692: ({f25, f28, f41, f44, f131}, {24, 27, 40, 43, 130})
693: ({f28, f41, f131}, {24, 27, 40, 43, 129, 130, 177, 178})
694: ({f25, f28, f155}, {24, 27, 40, 43, 85, 101, 154, 170})
695: ({f1, f12, f17, f28, f33, f44, f70, f86, f102, f139, f155, f171}, {24, 26, 27})
696: ({f12, f28, f44, f139, f155, f171}, {24, 26, 27, 168, 170, 171})
697: ({f28, f44, f86, f102, f155, f171}, {24, 26, 27, 152, 154, 155, 216, 218, 219})
698: ({f28, f139, f171}, {24, 26, 27, 136, 138, 139, 168, 170, 171, 184, 186, 187})
699: ({f28, f102, f155}, {24, 26, 27, 101, 152, 154, 155, 216, 218, 219})
700: ({f17, f28, f86, f155}, {24, 26, 27, 85})
701: ({f28, f86, f155}, {24, 26, 27, 85, 152, 154, 155, 216, 218, 219})
702: ({f1, f28, f44, f155, f171}, {24, 26, 27, 40, 42, 43})
703: ({f28, f44, f155, f171}, {24, 26, 27, 40, 42, 43, 152, 154, 155, 168, 170, 171, 216, 218, 219, 232, 234, 235})
704: ({f28, f155}, {24, 26, 27, 40, 42, 43, 85, 101, 152, 154, 155, 168, 170, 171, 216, 218, 219, 232, 234, 235})
705: ({f1, f5, f9, f20, f24, f28, f82, f86, f90, f163, f167, f171}, {24, 25, 27})
706: ({f9, f28, f90, f171}, {24, 25, 27, 170})
707: ({f24, f28, f86, f90, f167, f171}, {24, 25, 27, 88, 89, 91, 216, 217, 219})
708: ({f28, f90, f171}, {24, 25, 27, 88, 89, 91, 170, 216, 217, 219})
709: ({f28, f90, f167}, {24, 25, 27, 88, 89, 91, 166, 216, 217, 219})
710: ({f20, f24, f28, f82, f86, f90}, {24, 25, 27, 84, 85, 87})
711: ({f28, f82, f86}, {24, 25, 27, 80, 81, 83, 84, 85, 87, 92, 93, 95})
712: ({f1, f28, f86, f171}, {24, 25, 26, 27})
713: ({f28, f86, f171}, {24, 25, 26, 27, 88, 89, 90, 91, 152, 153, 154, 155, 216, 217, 218, 219})
714: ({f1, f2, f4, f21, f22, f24, f25, f26, f28, f61, f62, f64, f65, f66, f68, f85, f86, f88, f89, f90, f92, f125, f126, f128, f193, f194, f196, f213, f214, f216, f217, f218, f220, f253, f254, f256}, {23, 27})
715: ({f4, f24, f28, f64, f68, f88, f92, f128, f196, f216, f220, f256}, {23, 27, 255})
716: ({f28, f196, f216, f256}, {23, 27, 243, 255})
717: ({f24, f28, f64, f86, f90, f126, f216, f220, f256}, {23, 27, 215, 219})
718: ({f24, f28, f196, f256}, {23, 27, 195, 255})
719: ({f24, f28, f128, f256}, {23, 27, 127, 255})
720: ({f24, f28, f126, f216, f220}, {23, 27, 125, 215, 219})
721: ({f24, f28, f125, f194}, {23, 27, 124, 193})
722: ({f28, f126, f216}, {23, 27, 113, 125, 177, 189, 215, 219})
723: ({f22, f24, f26, f28, f86, f88, f90, f92, f254, f256}, {23, 27, 87, 91})
724: ({f24, f28, f88, f92, f256}, {23, 27, 87, 91, 255})
725: ({f24, f28, f88, f92, f254}, {23, 27, 87, 91, 253})
726: ({f24, f28, f86, f90, f256}, {23, 27, 87, 91, 215, 219})
727: ({f21, f22, f24, f25, f26, f28, f85, f86, f88, f89, f90, f92, f213, f214, f216, f217, f218, f220}, {23, 27, 85, 89})
728: ({f24, f28, f88, f92, f216, f220}, {23, 27, 85, 89, 255})
729: ({f24, f28, f86, f90, f216, f220}, {23, 27, 85, 89, 215, 219})
730: ({f24, f28, f86, f90, f214, f218}, {23, 27, 85, 89, 213, 217})
731: ({f24, f28, f86, f90, f213, f217}, {23, 27, 85, 89, 212, 216})
732: ({f25, f26, f28, f89, f90, f92, f217, f218, f220}, {23, 27, 85, 89, 166, 170})
733: ({f28, f90, f220}, {23, 27, 85, 89, 166, 170, 215, 219})
734: ({f28, f90, f218}, {23, 27, 85, 89, 166, 170, 213, 217})
735: ({f28, f90, f217}, {23, 27, 85, 89, 166, 170, 212, 216})
736: ({f25, f28, f86, f217, f220}, {23, 27, 85, 89, 150, 154})
737: ({f28, f86, f217}, {23, 27, 85, 89, 150, 154, 212, 216})
738: ({f26, f28, f86, f88, f214, f216}, {23, 27, 85, 89, 149, 153})
739: ({f28, f88, f216}, {23, 27, 85, 89, 149, 153, 255})
740: ({f28, f86, f216}, {23, 27, 85, 89, 149, 153, 215, 219})
741: ({f21, f22, f28, f85, f86, f92}, {23, 27, 85, 86, 89, 90})
742: ({f24, f28, f85, f86, f89, f90}, {23, 27, 84, 85, 88, 89})
743: ({f28, f89, f90}, {23, 27, 84, 85, 88, 89, 166, 170})
744: ({f24, f28, f68, f256}, {23, 27, 67, 255})
745: ({f1, f24, f28, f64, f193, f216, f220, f256}, {23, 27, 63})
746: ({f24, f28, f64, f216, f220, f256}, {23, 27, 63, 215, 219, 255})
747: ({f24, f28, f64, f193}, {23, 27, 63, 192})
748: ({f24, f28, f216, f220}, {23, 27, 63, 85, 89, 125, 215, 219, 255})
749: ({f1, f28, f216, f256}, {23, 27, 51, 63})
750: ({f28, f216, f256}, {23, 27, 51, 63, 215, 219, 243, 255})
751: ({f28, f216}, {23, 27, 51, 63, 85, 89, 113, 125, 149, 153, 177, 189, 215, 219, 243, 255})
752: ({f1, f4, f25, f28, f61, f64, f193, f196, f217, f220, f253, f256}, {23, 27, 39, 43})
753: ({f4, f28, f64, f196, f220, f256}, {23, 27, 39, 43, 255})
754: ({f28, f196, f256}, {23, 27, 39, 43, 195, 207, 243, 255})
755: ({f25, f28, f217, f220}, {23, 27, 39, 43, 85, 89, 101, 105, 150, 154, 166, 170})
756: ({f28, f217}, {23, 27, 39, 43, 85, 89, 101, 105, 150, 154, 166, 170, 212, 216, 228, 232})
757: ({f1, f22, f28, f64, f65, f86, f92, f128, f193, f214, f220, f256}, {23, 27, 31})
758: ({f28, f64, f92, f128, f220, f256}, {23, 27, 31, 247, 251, 255})
759: ({f28, f64, f86, f220, f256}, {23, 27, 31, 215, 219, 223})
760: ({f28, f128, f256}, {23, 27, 31, 119, 123, 127, 183, 187, 191, 247, 251, 255})
761: ({f22, f28, f86, f92, f256}, {23, 27, 31, 87, 91, 95})
762: ({f28, f92, f256}, {23, 27, 31, 87, 91, 95, 167, 171, 175, 247, 251, 255})
763: ({f22, f28, f86, f92, f214, f220}, {23, 27, 31, 85, 89, 93})
764: ({f28, f92, f220}, {23, 27, 31, 85, 89, 93, 166, 170, 174, 247, 251, 255})
765: ({f28, f86, f220}, {23, 27, 31, 85, 89, 93, 150, 154, 158, 215, 219, 223})
766: ({f28, f86, f214}, {23, 27, 31, 85, 89, 93, 149, 153, 157, 213, 217, 221})
767: ({f1, f28, f64, f193, f220, f256}, {23, 27, 31, 39, 43, 47, 55, 59, 63})
768: ({f28, f64, f220, f256}, {23, 27, 31, 39, 43, 47, 55, 59, 63, 215, 219, 223, 231, 235, 239, 247, 251, 255})
769: ({f28, f64, f193}, {23, 27, 31, 39, 43, 47, 55, 59, 63, 192})
770: ({f28, f220}, {23, 27, 31, 39, 43, 47, 55, 59, 63, 85, 89, 93, 101, 105, 109, 117, 121, 125, 150, 154, 158, 166, 170, 174, 182, 186, 190, 215, 219, 223, 231, 235, 239, 247, 251, 255})
771: ({f1, f22, f23, f24, f26, f27, f28, f30, f31, f32, f65, f86, f87, f88, f90, f91, f92, f94, f95, f96}, {21, 27})
772: ({f22, f23, f24, f26, f27, f28, f30, f31, f32, f86, f87, f88, f90, f91, f92, f94, f95, f96}, {21, 27, 85, 91})
773: ({f24, f28, f32, f88, f92, f96}, {21, 27, 85, 91, 255})
774: ({f24, f28, f32, f86, f90, f94}, {21, 27, 85, 91, 213, 219})
775: ({f26, f27, f28, f90, f91, f92}, {21, 27, 85, 91, 170})
776: ({f26, f27, f28, f86, f87, f88}, {21, 27, 85, 91, 149, 155})
777: ({f22, f23, f24, f26, f27, f28, f30, f31, f32, f65}, {21, 27, 64})
778: ({f1, f22, f28, f32, f65, f86, f92, f96}, {21, 27, 31})
779: ({f22, f28, f32, f86, f92, f96}, {21, 27, 31, 85, 91, 95})
780: ({f28, f32, f92, f96}, {21, 27, 31, 85, 91, 95, 245, 251, 255})
781: ({f22, f28, f32, f65}, {21, 27, 31, 64})
782: ({f1, f22, f28, f31, f65, f86, f92, f95}, {21, 27, 30})
783: ({f22, f28, f31, f86, f92, f95}, {21, 27, 30, 85, 91, 94})
784: ({f22, f28, f31, f65}, {21, 27, 30, 64})
785: ({f1, f22, f28, f30, f65, f86, f92, f94}, {21, 27, 29})
786: ({f22, f28, f30, f86, f92, f94}, {21, 27, 29, 85, 91, 93})
787: ({f22, f28, f30, f65}, {21, 27, 29, 64})
788: ({f1, f22, f27, f28, f65, f86, f91, f92}, {21, 26, 27})
789: ({f22, f27, f28, f86, f91, f92}, {21, 26, 27, 85, 90, 91})
790: ({f27, f28, f91, f92}, {21, 26, 27, 85, 90, 91, 165, 170, 171})
791: ({f22, f27, f28, f65}, {21, 26, 27, 64})
792: ({f1, f22, f24, f26, f28, f65, f86, f88, f90, f92}, {21, 23, 25, 27})
793: ({f22, f24, f26, f28, f86, f88, f90, f92}, {21, 23, 25, 27, 85, 87, 89, 91})
794: ({f24, f28, f88, f92}, {21, 23, 25, 27, 85, 87, 89, 91, 253, 255})
795: ({f26, f28, f90, f92}, {21, 23, 25, 27, 85, 87, 89, 91, 166, 170})
796: ({f22, f24, f26, f28, f65}, {21, 23, 25, 27, 64})
797: ({f1, f22, f23, f28, f65, f86, f87, f92}, {21, 22, 27})
798: ({f22, f23, f28, f86, f87, f92}, {21, 22, 27, 85, 86, 91})
799: ({f22, f23, f28, f65}, {21, 22, 27, 64})
800: ({f1, f22, f28, f65, f86, f92}, {21, 22, 23, 25, 26, 27, 29, 30, 31})
801: ({f22, f28, f86, f92}, {21, 22, 23, 25, 26, 27, 29, 30, 31, 85, 86, 87, 89, 90, 91, 93, 94, 95})
802: ({f28, f92}, {21, 22, 23, 25, 26, 27, 29, 30, 31, 85, 86, 87, 89, 90, 91, 93, 94, 95, 165, 166, 167, 169, 170, 171, 173, 174, 175, 245, 246, 247, 249, 250, 251, 253, 254, 255})
803: ({f22, f28, f65}, {21, 22, 23, 25, 26, 27, 29, 30, 31, 64})
804: ({f1, f4, f13, f16, f21, f24, f25, f28, f66, f67, f78, f79, f86, f87, f90, f91}, {20, 27})
805: ({f16, f28, f79, f91}, {20, 27, 228, 235})
806: ({f21, f24, f25, f28, f86, f87, f90, f91}, {20, 27, 85})
807: ({f25, f28, f90, f91}, {20, 27, 85, 170})
808: ({f25, f28, f86, f87}, {20, 27, 85, 150})
809: ({f21, f28, f86, f91}, {20, 27, 85, 90})
810: ({f21, f28, f86, f87}, {20, 27, 85, 86})
811: ({f21, f24, f25, f28, f66, f67, f78, f79}, {20, 27, 65})
812: ({f21, f28, f66, f79}, {20, 27, 65, 78})
813: ({f21, f28, f66, f78}, {20, 27, 65, 77})
814: ({f21, f28, f66, f67}, {20, 27, 65, 66})
815: ({f1, f4, f21, f24, f25, f28, f66, f86, f90}, {20, 23, 24, 27})
816: ({f21, f24, f25, f28, f86, f90}, {20, 23, 24, 27, 85, 89})
817: ({f25, f28, f90}, {20, 23, 24, 27, 85, 89, 166, 170})
818: ({f21, f28, f86}, {20, 23, 24, 27, 85, 86, 89, 90})
819: ({f21, f24, f25, f28, f66}, {20, 23, 24, 27, 65})
820: ({f21, f28, f66}, {20, 23, 24, 27, 65, 66, 77, 78})
821: ({f1, f24, f28, f86, f87, f90, f91}, {20, 21, 27})
822: ({f24, f28, f86, f87, f90, f91}, {20, 21, 27, 84, 85, 91})
823: ({f28, f90, f91}, {20, 21, 27, 84, 85, 91, 170})
824: ({f1, f28, f86, f91}, {20, 21, 26, 27})
825: ({f28, f86, f91}, {20, 21, 26, 27, 84, 85, 90, 91})
826: ({f28, f91}, {20, 21, 26, 27, 84, 85, 90, 91, 164, 165, 170, 171, 228, 229, 234, 235})
827: ({f1, f24, f28, f86, f90}, {20, 21, 23, 24, 25, 27})
828: ({f24, f28, f86, f90}, {20, 21, 23, 24, 25, 27, 84, 85, 87, 88, 89, 91, 212, 213, 215, 216, 217, 219})
829: ({f28, f90}, {20, 21, 23, 24, 25, 27, 84, 85, 87, 88, 89, 91, 166, 170, 212, 213, 215, 216, 217, 219})
830: ({f1, f28, f86, f87}, {20, 21, 22, 27})
831: ({f28, f86, f87}, {20, 21, 22, 27, 84, 85, 86, 91, 148, 149, 150, 155})
832: ({f1, f2, f4, f9, f10, f12, f17, f18, f20, f25, f26, f28, f49, f50, f52, f57, f58, f60, f69, f70, f72, f85, f86, f88, f117, f118, f120, f205, f206, f208, f221, f222, f224, f253, f254, f256}, {19, 27})
833: ({f4, f12, f20, f28, f52, f60, f72, f88, f120, f208, f224, f256}, {19, 27, 255})
834: ({f28, f52, f120, f256}, {19, 27, 247, 255})
835: ({f20, f28, f52, f60, f86, f118, f224, f256}, {19, 27, 223})
836: ({f28, f52, f86, f256}, {19, 27, 215, 223})
837: ({f20, f28, f208, f256}, {19, 27, 207, 255})
838: ({f26, f28, f58, f60, f86, f88, f118, f120, f222, f224, f254, f256}, {19, 27, 147, 155})
839: ({f28, f60, f88, f120, f224, f256}, {19, 27, 147, 155, 255})
840: ({f20, f28, f120, f256}, {19, 27, 119, 255})
841: ({f28, f120, f256}, {19, 27, 119, 127, 147, 155, 247, 255})
842: ({f20, f28, f118, f224}, {19, 27, 117, 223})
843: ({f20, f28, f117, f206}, {19, 27, 116, 205})
844: ({f18, f20, f26, f28, f86, f88, f254, f256}, {19, 27, 87})
845: ({f20, f28, f88, f256}, {19, 27, 87, 255})
846: ({f20, f28, f88, f254}, {19, 27, 87, 253})
847: ({f20, f28, f86, f256}, {19, 27, 87, 223})
848: ({f18, f28, f86, f256}, {19, 27, 87, 95})
849: ({f17, f18, f20, f25, f26, f28, f85, f86, f88, f221, f222, f224}, {19, 27, 85})
850: ({f20, f28, f88, f224}, {19, 27, 85, 255})
851: ({f20, f28, f86, f224}, {19, 27, 85, 223})
852: ({f20, f28, f86, f222}, {19, 27, 85, 221})
853: ({f20, f28, f86, f221}, {19, 27, 85, 220})
854: ({f26, f28, f86, f88, f222, f224}, {19, 27, 85, 147, 155})
855: ({f28, f88, f224}, {19, 27, 85, 147, 155, 255})
856: ({f18, f28, f86, f222}, {19, 27, 85, 93})
857: ({f28, f86, f222}, {19, 27, 85, 93, 147, 155, 213, 221})
858: ({f20, f28, f85, f86}, {19, 27, 84, 85})
859: ({f20, f28, f72, f256}, {19, 27, 71, 255})
860: ({f1, f9, f20, f28, f52, f60, f205, f224, f256}, {19, 27, 51, 59})
861: ({f20, f28, f52, f60, f224, f256}, {19, 27, 51, 59, 223, 255})
862: ({f28, f52, f256}, {19, 27, 51, 59, 215, 223, 247, 255})
863: ({f20, f28, f52, f60, f205}, {19, 27, 51, 59, 204})
864: ({f28, f52, f205}, {19, 27, 51, 59, 196, 204, 228, 236})
865: ({f20, f28, f224}, {19, 27, 51, 59, 85, 117, 223, 255})
866: ({f1, f12, f17, f28, f49, f60, f70, f86, f118, f208, f224, f256}, {19, 27, 31})
867: ({f12, f28, f60, f208, f224, f256}, {19, 27, 31, 243, 251, 255})
868: ({f28, f208, f256}, {19, 27, 31, 195, 203, 207, 227, 235, 239, 243, 251, 255})
869: ({f28, f60, f86, f118, f224, f256}, {19, 27, 31, 147, 155, 159, 211, 219, 223})
870: ({f28, f118, f224}, {19, 27, 31, 117, 147, 155, 159, 211, 219, 223})
871: ({f17, f28, f86, f224}, {19, 27, 31, 85})
872: ({f28, f86, f224}, {19, 27, 31, 85, 147, 155, 159, 211, 219, 223})
873: ({f1, f28, f60, f224, f256}, {19, 27, 31, 51, 59, 63})
874: ({f28, f60, f224, f256}, {19, 27, 31, 51, 59, 63, 147, 155, 159, 179, 187, 191, 211, 219, 223, 243, 251, 255})
875: ({f28, f224}, {19, 27, 31, 51, 59, 63, 85, 117, 147, 155, 159, 179, 187, 191, 211, 219, 223, 243, 251, 255})
876: ({f1, f2, f4, f25, f26, f28, f85, f86, f88, f253, f254, f256}, {19, 23, 27})
877: ({f4, f28, f88, f256}, {19, 23, 27, 255})
878: ({f26, f28, f86, f88, f254, f256}, {19, 23, 27, 83, 87, 91, 147, 151, 155})
879: ({f28, f88, f256}, {19, 23, 27, 83, 87, 91, 147, 151, 155, 255})
880: ({f28, f88, f254}, {19, 23, 27, 83, 87, 91, 147, 151, 155, 253})
881: ({f25, f26, f28, f85, f86, f88}, {19, 23, 27, 81, 85, 89})
882: ({f28, f85, f86}, {19, 23, 27, 80, 81, 82, 84, 85, 86, 88, 89, 90})
883: ({f1, f28, f86, f256}, {19, 23, 27, 31})
884: ({f28, f86, f256}, {19, 23, 27, 31, 83, 87, 91, 95, 147, 151, 155, 159, 211, 215, 219, 223})
885: ({f1, f3, f9, f11, f18, f20, f26, f28, f69, f71, f77, f79, f86, f88, f94, f96}, {17, 27})
886: ({f11, f28, f79, f96}, {17, 27, 177, 187})
887: ({f18, f20, f26, f28, f86, f88, f94, f96}, {17, 27, 85})
888: ({f20, f28, f88, f96}, {17, 27, 85, 255})
889: ({f20, f28, f86, f94}, {17, 27, 85, 221})
890: ({f18, f28, f86, f96}, {17, 27, 85, 95})
891: ({f18, f28, f86, f94}, {17, 27, 85, 93})
892: ({f18, f20, f26, f28, f69, f71, f77, f79}, {17, 27, 68})
893: ({f18, f28, f69, f79}, {17, 27, 68, 78})
894: ({f18, f28, f69, f77}, {17, 27, 68, 76})
895: ({f18, f28, f69, f71}, {17, 27, 68, 70})
896: ({f1, f26, f28, f86, f88, f94, f96}, {17, 21, 27})
897: ({f26, f28, f86, f88, f94, f96}, {17, 21, 27, 81, 85, 91})
898: ({f28, f88, f96}, {17, 21, 27, 81, 85, 91, 255})
899: ({f1, f28, f86, f96}, {17, 21, 27, 31})
900: ({f28, f86, f96}, {17, 21, 27, 31, 81, 85, 91, 95})
901: ({f28, f96}, {17, 21, 27, 31, 81, 85, 91, 95, 177, 181, 187, 191, 241, 245, 251, 255})
902: ({f1, f28, f86, f94}, {17, 21, 27, 29})
903: ({f28, f86, f94}, {17, 21, 27, 29, 81, 85, 91, 93, 209, 213, 219, 221})
904: ({f1, f28, f79, f86}, {17, 20, 27, 30})
905: ({f28, f79}, {17, 20, 27, 30, 65, 68, 75, 78, 177, 180, 187, 190, 225, 228, 235, 238})
906: ({f1, f9, f18, f20, f26, f28, f69, f86, f88}, {17, 19, 25, 27})
907: ({f18, f20, f26, f28, f86, f88}, {17, 19, 25, 27, 85, 87})
908: ({f20, f28, f88}, {17, 19, 25, 27, 85, 87, 253, 255})
909: ({f18, f28, f86}, {17, 19, 25, 27, 85, 87, 93, 95})
910: ({f18, f20, f26, f28, f69}, {17, 19, 25, 27, 68})
911: ({f18, f28, f69}, {17, 19, 25, 27, 68, 70, 76, 78})
912: ({f1, f26, f28, f86, f88}, {17, 19, 21, 23, 25, 27})
913: ({f26, f28, f86, f88}, {17, 19, 21, 23, 25, 27, 81, 83, 85, 87, 89, 91, 145, 147, 149, 151, 153, 155})
914: ({f28, f88}, {17, 19, 21, 23, 25, 27, 81, 83, 85, 87, 89, 91, 145, 147, 149, 151, 153, 155, 253, 255})
915: ({f1, f3, f4, f9, f11, f12, f13, f15, f16, f17, f19, f20, f25, f27, f28, f29, f31, f32, f70, f86}, {16, 27})
916: ({f17, f19, f20, f25, f27, f28, f29, f31, f32, f86}, {16, 27, 85})
917: ({f20, f28, f32, f86}, {16, 27, 85, 223})
918: ({f25, f27, f28, f86}, {16, 27, 85, 154})
919: ({f17, f19, f20, f25, f27, f28, f29, f31, f32, f70}, {16, 27, 69})
920: ({f1, f12, f16, f17, f28, f32, f70, f86}, {16, 27, 31})
921: ({f17, f28, f32, f86}, {16, 27, 31, 85})
922: ({f17, f28, f32, f70}, {16, 27, 31, 69})
923: ({f1, f12, f15, f17, f28, f31, f70, f86}, {16, 27, 30})
924: ({f17, f28, f31, f86}, {16, 27, 30, 85})
925: ({f17, f28, f31, f70}, {16, 27, 30, 69})
926: ({f1, f12, f13, f17, f28, f29, f70, f86}, {16, 27, 28})
927: ({f17, f28, f29, f86}, {16, 27, 28, 85})
928: ({f17, f28, f29, f70}, {16, 27, 28, 69})
929: ({f1, f11, f12, f17, f27, f28, f70, f86}, {16, 26, 27})
930: ({f17, f27, f28, f86}, {16, 26, 27, 85})
931: ({f17, f27, f28, f70}, {16, 26, 27, 69})
932: ({f1, f27, f28, f31, f32, f86}, {16, 21, 27})
933: ({f27, f28, f31, f32, f86}, {16, 21, 27, 80, 85, 91})
934: ({f1, f28, f32, f86}, {16, 21, 27, 31})
935: ({f28, f32, f86}, {16, 21, 27, 31, 80, 85, 91, 95, 208, 213, 219, 223})
936: ({f1, f28, f31, f86}, {16, 21, 27, 30})
937: ({f28, f31, f86}, {16, 21, 27, 30, 80, 85, 91, 94})
938: ({f1, f27, f28, f86}, {16, 21, 26, 27})
939: ({f27, f28, f86}, {16, 21, 26, 27, 80, 85, 90, 91, 144, 149, 154, 155})
940: ({f1, f4, f13, f16, f25, f28, f86}, {16, 20, 27})
941: ({f1, f16, f28, f86}, {16, 20, 27, 31})
942: ({f1, f13, f28, f86}, {16, 20, 27, 28})
943: ({f1, f4, f9, f12, f17, f20, f25, f28, f70, f86}, {16, 19, 24, 27})
944: ({f17, f20, f25, f28, f86}, {16, 19, 24, 27, 85})
945: ({f17, f20, f25, f28, f70}, {16, 19, 24, 27, 69})
946: ({f1, f4, f25, f28, f86}, {16, 19, 20, 23, 24, 27})
947: ({f25, f28, f86}, {16, 19, 20, 23, 24, 27, 81, 85, 89, 146, 150, 154})
948: ({f1, f3, f12, f17, f19, f28, f70, f86}, {16, 18, 27})
949: ({f17, f19, f28, f86}, {16, 18, 27, 85})
950: ({f17, f19, f28, f70}, {16, 18, 27, 69})
951: ({f1, f12, f17, f28, f70, f86}, {16, 18, 19, 24, 26, 27, 28, 30, 31})
952: ({f17, f28, f86}, {16, 18, 19, 24, 26, 27, 28, 30, 31, 85})
953: ({f17, f28, f70}, {16, 18, 19, 24, 26, 27, 28, 30, 31, 69})
954: ({f1, f3, f9, f11, f20, f28, f86}, {16, 17, 27})
955: ({f1, f11, f28, f86}, {16, 17, 26, 27})
956: ({f1, f9, f20, f28, f86}, {16, 17, 19, 24, 25, 27})
957: ({f20, f28, f86}, {16, 17, 19, 24, 25, 27, 84, 85, 87, 220, 221, 223})
958: ({f1, f3, f28, f86}, {16, 17, 18, 27})
959: ({f1, f28, f86}, {16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31})
960: ({f28, f86}, {16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223})
961: ({f1, f5, f12, f16, f17, f21, f28, f32, f225, f229, f236, f240, f241, f245, f252, f256}, {15, 27})
962: ({f12, f16, f28, f32, f236, f240, f252, f256}, {15, 27, 255})
963: ({f12, f16, f28, f32, f225, f229, f241, f245}, {15, 27, 240})
964: ({f16, f28, f241, f245}, {15, 27, 240, 244})
965: ({f16, f28, f240, f256}, {15, 27, 239, 255})
966: ({f16, f28, f236, f256}, {15, 27, 235, 255})
967: ({f16, f28, f229, f241}, {15, 27, 228, 240})
968: ({f16, f28, f225, f241}, {15, 27, 224, 240})
969: ({f12, f28, f240, f256}, {15, 27, 175, 255})
970: ({f12, f28, f236, f252}, {15, 27, 170, 255})
971: ({f21, f28, f229, f236}, {15, 27, 78, 90})
972: ({f1, f28, f32, f236, f240, f252, f256}, {15, 27, 63})
973: ({f28, f32, f236, f240, f252, f256}, {15, 27, 63, 207, 219, 255})
974: ({f28, f236, f252}, {15, 27, 63, 170, 207, 219, 255})
975: ({f1, f28, f240, f256}, {15, 27, 47, 63})
976: ({f28, f240, f256}, {15, 27, 47, 63, 143, 155, 175, 191, 207, 219, 239, 255})
977: ({f1, f28, f236, f256}, {15, 27, 43, 63})
978: ({f28, f236, f256}, {15, 27, 43, 63, 207, 219, 235, 255})
979: ({f28, f236}, {15, 27, 43, 63, 78, 90, 106, 126, 142, 154, 170, 190, 207, 219, 235, 255})
980: ({f1, f28, f229, f256}, {15, 27, 39, 51})
981: ({f28, f229}, {15, 27, 39, 51, 78, 90, 102, 114, 141, 153, 165, 177, 204, 216, 228, 240})
982: ({f1, f3, f4, f9, f11, f12, f13, f15, f16, f17, f19, f20, f25, f27, f28, f29, f31, f32, f161, f163, f164, f169, f171, f172, f173, f175, f176, f241, f243, f244, f249, f251, f252, f253, f255, f256}, {11, 27})
983: ({f4, f12, f16, f20, f28, f32, f164, f172, f176, f244, f252, f256}, {11, 27, 255})
984: ({f12, f16, f28, f32, f171, f175, f252, f256}, {11, 27, 251})
985: ({f12, f28, f244, f256}, {11, 27, 243, 255})
986: ({f16, f28, f176, f256}, {11, 27, 239, 255})
987: ({f16, f28, f171, f256}, {11, 27, 235, 251})
988: ({f12, f28, f176, f256}, {11, 27, 175, 255})
989: ({f12, f28, f175, f252}, {11, 27, 174, 251})
990: ({f12, f28, f173, f243}, {11, 27, 172, 242})
991: ({f11, f12, f27, f28, f171, f172, f255, f256}, {11, 27, 171})
992: ({f12, f28, f172, f256}, {11, 27, 171, 255})
993: ({f12, f28, f172, f255}, {11, 27, 171, 254})
994: ({f12, f28, f171, f256}, {11, 27, 171, 251})
995: ({f11, f28, f171, f256}, {11, 27, 171, 187})
996: ({f9, f11, f12, f25, f27, f28, f169, f171, f172, f249, f251, f252}, {11, 27, 170})
997: ({f12, f28, f172, f252}, {11, 27, 170, 255})
998: ({f12, f28, f171, f252}, {11, 27, 170, 251})
999: ({f12, f28, f171, f251}, {11, 27, 170, 250})
1000: ({f12, f28, f171, f249}, {11, 27, 170, 248})
1001: ({f11, f28, f171, f251}, {11, 27, 170, 186})
1002: ({f12, f28, f169, f171}, {11, 27, 168, 170})
1003: ({f12, f28, f164, f256}, {11, 27, 163, 255})
1004: ({f27, f28, f31, f32, f171, f172, f175, f176, f251, f252, f255, f256}, {11, 27, 75, 91})
1005: ({f28, f32, f172, f176, f252, f256}, {11, 27, 75, 91, 255})
1006: ({f28, f176, f256}, {11, 27, 75, 91, 175, 191, 239, 255})
1007: ({f27, f28, f171, f172, f251, f252}, {11, 27, 75, 91, 170})
1008: ({f28, f172, f252}, {11, 27, 75, 91, 170, 255})
1009: ({f28, f171, f251}, {11, 27, 75, 91, 170, 186, 234, 250})
1010: ({f1, f9, f13, f20, f28, f32, f163, f171, f175, f244, f252, f256}, {11, 27, 59})
1011: ({f20, f28, f32, f244, f252, f256}, {11, 27, 59, 207, 223, 255})
1012: ({f28, f244, f256}, {11, 27, 59, 195, 199, 207, 211, 215, 223, 243, 247, 255})
1013: ({f9, f28, f171, f252}, {11, 27, 59, 170})
1014: ({f28, f32, f171, f175, f252, f256}, {11, 27, 59, 75, 91, 123, 203, 219, 251})
1015: ({f28, f175, f252}, {11, 27, 59, 75, 91, 123, 174, 203, 219, 251})
1016: ({f28, f171, f252}, {11, 27, 59, 75, 91, 123, 170, 203, 219, 251})
1017: ({f1, f3, f4, f25, f27, f28, f169, f171, f172, f253, f255, f256}, {11, 27, 43})
1018: ({f4, f28, f172, f256}, {11, 27, 43, 255})
1019: ({f25, f27, f28, f169, f171, f172}, {11, 27, 43, 138, 154, 170})
1020: ({f28, f169, f171}, {11, 27, 43, 136, 137, 138, 152, 153, 154, 168, 169, 170})
1021: ({f27, f28, f171, f172, f255, f256}, {11, 27, 43, 75, 91, 107, 139, 155, 171})
1022: ({f28, f172, f256}, {11, 27, 43, 75, 91, 107, 139, 155, 171, 255})
1023: ({f28, f172, f255}, {11, 27, 43, 75, 91, 107, 139, 155, 171, 254})
1024: ({f1, f28, f171, f256}, {11, 27, 43, 59})
1025: ({f28, f171, f256}, {11, 27, 43, 59, 75, 91, 107, 123, 139, 155, 171, 187, 203, 219, 235, 251})
1026: ({f1, f12, f16, f17, f28, f32, f241, f252, f256}, {11, 15, 27, 31})
1027: ({f12, f16, f28, f32, f252, f256}, {11, 15, 27, 31, 251, 255})
1028: ({f12, f16, f28, f32, f241}, {11, 15, 27, 31, 240})
1029: ({f16, f28, f256}, {11, 15, 27, 31, 235, 239, 251, 255})
1030: ({f16, f28, f241}, {11, 15, 27, 31, 224, 228, 240, 244})
1031: ({f12, f28, f252}, {11, 15, 27, 31, 170, 174, 251, 255})
1032: ({f1, f28, f32, f252, f256}, {11, 15, 27, 31, 59, 63})
1033: ({f28, f32, f252, f256}, {11, 15, 27, 31, 59, 63, 75, 79, 91, 95, 123, 127, 203, 207, 219, 223, 251, 255})
1034: ({f28, f252}, {11, 15, 27, 31, 59, 63, 75, 79, 91, 95, 123, 127, 170, 174, 203, 207, 219, 223, 251, 255})
1035: ({f1, f2, f11, f12, f17, f18, f27, f28, f161, f162, f171, f172, f177, f178, f187, f188}, {10, 27})
1036: ({f11, f12, f27, f28, f171, f172, f187, f188}, {10, 27, 170})
1037: ({f12, f28, f172, f188}, {10, 27, 170, 255})
1038: ({f12, f28, f171, f187}, {10, 27, 170, 250})
1039: ({f11, f28, f171, f188}, {10, 27, 170, 187})
1040: ({f11, f28, f171, f187}, {10, 27, 170, 186})
1041: ({f11, f12, f27, f28, f161, f162, f177, f178}, {10, 27, 160})
1042: ({f11, f28, f161, f178}, {10, 27, 160, 177})
1043: ({f11, f28, f161, f177}, {10, 27, 160, 176})
1044: ({f11, f28, f161, f162}, {10, 27, 160, 161})
1045: ({f18, f28, f178, f188}, {10, 27, 78, 95})
1046: ({f1, f27, f28, f171, f172, f187, f188}, {10, 27, 42})
1047: ({f27, f28, f171, f172, f187, f188}, {10, 27, 42, 138, 155, 170})
1048: ({f28, f172, f188}, {10, 27, 42, 138, 155, 170, 255})
1049: ({f1, f28, f171, f188}, {10, 27, 42, 59})
1050: ({f28, f171, f188}, {10, 27, 42, 59, 138, 155, 170, 187})
1051: ({f28, f188}, {10, 27, 42, 59, 78, 95, 110, 127, 138, 155, 170, 187, 206, 223, 238, 255})
1052: ({f1, f28, f171, f187}, {10, 27, 42, 58})
1053: ({f28, f171, f187}, {10, 27, 42, 58, 138, 155, 170, 186, 202, 219, 234, 250})
1054: ({f1, f28, f171, f178}, {10, 27, 40, 57})
1055: ({f28, f178}, {10, 27, 40, 57, 78, 95, 108, 125, 130, 147, 160, 177, 198, 215, 228, 245})
1056: ({f1, f11, f12, f17, f27, f28, f161, f171, f172}, {10, 11, 26, 27})
1057: ({f11, f12, f27, f28, f171, f172}, {10, 11, 26, 27, 170, 171})
1058: ({f12, f28, f172}, {10, 11, 26, 27, 170, 171, 254, 255})
1059: ({f11, f28, f171}, {10, 11, 26, 27, 170, 171, 186, 187})
1060: ({f11, f12, f27, f28, f161}, {10, 11, 26, 27, 160})
1061: ({f11, f28, f161}, {10, 11, 26, 27, 160, 161, 176, 177})
1062: ({f1, f27, f28, f171, f172}, {10, 11, 26, 27, 42, 43})
1063: ({f27, f28, f171, f172}, {10, 11, 26, 27, 42, 43, 74, 75, 90, 91, 106, 107, 138, 139, 154, 155, 170, 171})
1064: ({f28, f172}, {10, 11, 26, 27, 42, 43, 74, 75, 90, 91, 106, 107, 138, 139, 154, 155, 170, 171, 254, 255})
1065: ({f1, f2, f4, f9, f10, f12, f17, f18, f20, f25, f26, f28, f49, f50, f52, f57, f58, f60, f163, f171}, {8, 27})
1066: ({f9, f10, f12, f25, f26, f28, f57, f58, f60, f171}, {8, 27, 170})
1067: ({f12, f28, f60, f171}, {8, 27, 170, 251})
1068: ({f9, f10, f12, f25, f26, f28, f57, f58, f60, f163}, {8, 27, 162})
1069: ({f25, f26, f28, f171}, {8, 27, 89, 170})
1070: ({f1, f9, f20, f28, f52, f60, f163, f171}, {8, 27, 59})
1071: ({f9, f28, f60, f171}, {8, 27, 59, 170})
1072: ({f9, f28, f60, f163}, {8, 27, 59, 162})
1073: ({f1, f9, f20, f28, f50, f58, f163, f171}, {8, 27, 57})
1074: ({f9, f28, f58, f171}, {8, 27, 57, 170})
1075: ({f9, f28, f58, f163}, {8, 27, 57, 162})
1076: ({f1, f9, f20, f28, f49, f57, f163, f171}, {8, 27, 56})
1077: ({f9, f28, f57, f171}, {8, 27, 56, 170})
1078: ({f9, f28, f57, f163}, {8, 27, 56, 162})
1079: ({f1, f26, f28, f58, f60, f171}, {8, 27, 42})
1080: ({f26, f28, f58, f60, f171}, {8, 27, 42, 136, 155, 170})
1081: ({f1, f28, f60, f171}, {8, 27, 42, 59})
1082: ({f28, f60, f171}, {8, 27, 42, 59, 136, 155, 170, 187, 200, 219, 234, 251})
1083: ({f1, f28, f58, f171}, {8, 27, 42, 57})
1084: ({f28, f58, f171}, {8, 27, 42, 57, 136, 155, 170, 185})
1085: ({f1, f4, f25, f28, f49, f52, f171}, {8, 27, 40})
1086: ({f1, f28, f52, f171}, {8, 27, 40, 59})
1087: ({f1, f28, f49, f171}, {8, 27, 40, 56})
1088: ({f1, f9, f18, f20, f26, f28, f163, f171}, {8, 25, 27})
1089: ({f9, f26, f28, f171}, {8, 25, 27, 170})
1090: ({f9, f26, f28, f163}, {8, 25, 27, 162})
1091: ({f1, f26, f28, f171}, {8, 25, 27, 42})
1092: ({f26, f28, f171}, {8, 25, 27, 42, 72, 89, 91, 106, 136, 153, 155, 170})
1093: ({f1, f4, f9, f12, f17, f20, f25, f28, f163, f171}, {8, 11, 24, 27})
1094: ({f9, f12, f25, f28, f171}, {8, 11, 24, 27, 170})
1095: ({f9, f12, f25, f28, f163}, {8, 11, 24, 27, 162})
1096: ({f1, f4, f25, f28, f171}, {8, 11, 24, 27, 40, 43})
1097: ({f25, f28, f171}, {8, 11, 24, 27, 40, 43, 73, 89, 105, 138, 154, 170})
1098: ({f1, f2, f12, f17, f18, f28, f171}, {8, 10, 27})
1099: ({f1, f18, f28, f171}, {8, 10, 25, 27})
1100: ({f1, f12, f17, f28, f171}, {8, 10, 11, 24, 26, 27})
1101: ({f12, f28, f171}, {8, 10, 11, 24, 26, 27, 168, 170, 171, 248, 250, 251})
1102: ({f1, f2, f9, f10, f20, f28, f163, f171}, {8, 9, 27})
1103: ({f9, f10, f28, f171}, {8, 9, 27, 170})
1104: ({f9, f10, f28, f163}, {8, 9, 27, 162})
1105: ({f1, f9, f20, f28, f163, f171}, {8, 9, 11, 24, 25, 27, 56, 57, 59})
1106: ({f9, f28, f171}, {8, 9, 11, 24, 25, 27, 56, 57, 59, 170})
1107: ({f9, f28, f163}, {8, 9, 11, 24, 25, 27, 56, 57, 59, 162})
1108: ({f1, f2, f28, f171}, {8, 9, 10, 27})
1109: ({f1, f28, f171}, {8, 9, 10, 11, 24, 25, 26, 27, 40, 41, 42, 43, 56, 57, 58, 59})
1110: ({f28, f171}, {8, 9, 10, 11, 24, 25, 26, 27, 40, 41, 42, 43, 56, 57, 58, 59, 72, 73, 74, 75, 88, 89, 90, 91, 104, 105, 106, 107, 120, 121, 122, 123, 136, 137, 138, 139, 152, 153, 154, 155, 168, 169, 170, 171, 184, 185, 186, 187, 200, 201, 202, 203, 216, 217, 218, 219, 232, 233, 234, 235, 248, 249, 250, 251})
1111: ({f1, f4, f5, f8, f9, f12, f17, f20, f21, f24, f25, f28, f33, f36, f37, f40, f41, f44, f253, f256}, {3, 27})
1112: ({f4, f8, f12, f20, f24, f28, f36, f40, f44, f256}, {3, 27, 255})
1113: ({f4, f8, f12, f20, f24, f28, f36, f40, f44, f253}, {3, 27, 252})
1114: ({f12, f28, f44, f256}, {3, 27, 171, 255})
1115: ({f20, f24, f28, f256}, {3, 27, 87, 255})
1116: ({f1, f24, f28, f40, f44, f256}, {3, 27, 63})
1117: ({f24, f28, f40, f44, f256}, {3, 27, 63, 195, 219, 255})
1118: ({f1, f9, f20, f28, f33, f41, f256}, {3, 27, 51})
1119: ({f1, f4, f25, f28, f41, f44, f253, f256}, {3, 27, 43})
1120: ({f4, f28, f44, f256}, {3, 27, 43, 255})
1121: ({f4, f28, f44, f253}, {3, 27, 43, 252})
1122: ({f1, f28, f44, f256}, {3, 27, 43, 63})
1123: ({f28, f44, f256}, {3, 27, 43, 63, 131, 155, 171, 191, 195, 219, 235, 255})
1124: ({f1, f28, f41, f256}, {3, 27, 43, 51})
1125: ({f1, f4, f25, f28, f37, f40, f253, f256}, {3, 27, 39})
1126: ({f4, f28, f40, f256}, {3, 27, 39, 255})
1127: ({f4, f28, f40, f253}, {3, 27, 39, 252})
1128: ({f1, f28, f40, f256}, {3, 27, 39, 63})
1129: ({f28, f40, f256}, {3, 27, 39, 63, 195, 219, 231, 255})
1130: ({f1, f4, f25, f28, f33, f36, f253, f256}, {3, 27, 35})
1131: ({f4, f28, f36, f256}, {3, 27, 35, 255})
1132: ({f4, f28, f36, f253}, {3, 27, 35, 252})
1133: ({f1, f28, f33, f256}, {3, 27, 35, 51})
1134: ({f1, f4, f21, f24, f25, f28, f253, f256}, {3, 23, 27})
1135: ({f4, f24, f28, f256}, {3, 23, 27, 255})
1136: ({f4, f24, f28, f253}, {3, 23, 27, 252})
1137: ({f1, f24, f28, f256}, {3, 23, 27, 63})
1138: ({f24, f28, f256}, {3, 23, 27, 63, 67, 87, 91, 127, 195, 215, 219, 255})
1139: ({f1, f5, f12, f17, f21, f28, f256}, {3, 15, 27})
1140: ({f1, f21, f28, f256}, {3, 15, 23, 27})
1141: ({f1, f4, f9, f12, f17, f20, f25, f28, f253, f256}, {3, 11, 19, 27})
1142: ({f4, f12, f20, f28, f256}, {3, 11, 19, 27, 255})
1143: ({f4, f12, f20, f28, f253}, {3, 11, 19, 27, 252})
1144: ({f1, f9, f20, f28, f256}, {3, 11, 19, 27, 51, 59})
1145: ({f20, f28, f256}, {3, 11, 19, 27, 51, 59, 71, 87, 119, 207, 223, 255})
1146: ({f1, f12, f17, f28, f256}, {3, 11, 15, 19, 27, 31})
1147: ({f12, f28, f256}, {3, 11, 15, 19, 27, 31, 163, 171, 175, 243, 251, 255})
1148: ({f1, f4, f5, f8, f25, f28, f253, f256}, {3, 7, 27})
1149: ({f4, f8, f28, f256}, {3, 7, 27, 255})
1150: ({f4, f8, f28, f253}, {3, 7, 27, 252})
1151: ({f1, f5, f28, f256}, {3, 7, 15, 27})
1152: ({f1, f4, f25, f28, f253, f256}, {3, 7, 11, 19, 23, 27, 35, 39, 43})
1153: ({f4, f28, f256}, {3, 7, 11, 19, 23, 27, 35, 39, 43, 255})
1154: ({f4, f28, f253}, {3, 7, 11, 19, 23, 27, 35, 39, 43, 252})
1155: ({f1, f28, f256}, {3, 7, 11, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63})
1156: ({f28, f256}, {3, 7, 11, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63, 67, 71, 75, 79, 83, 87, 91, 95, 99, 103, 107, 111, 115, 119, 123, 127, 131, 135, 139, 143, 147, 151, 155, 159, 163, 167, 171, 175, 179, 183, 187, 191, 195, 199, 203, 207, 211, 215, 219, 223, 227, 231, 235, 239, 243, 247, 251, 255})
1157: ({f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32, f33, f34, f35, f36, f37, f38, f39, f40, f41, f42, f43, f44, f45, f46, f47, f48, f49, f50, f51, f52, f53, f54, f55, f56, f57, f58, f59, f60, f61, f62, f63, f64}, {0, 27})
1158: ({f4, f8, f12, f16, f20, f24, f28, f32, f36, f40, f44, f48, f52, f56, f60, f64}, {0, 27, 255})
1159: ({f28, f52, f56, f64}, {0, 27, 247, 255})
1160: ({f16, f28, f48, f64}, {0, 27, 239, 255})
1161: ({f16, f28, f44, f64}, {0, 27, 235, 255})
1162: ({f16, f28, f40, f52}, {0, 27, 228, 255})
1163: ({f24, f28, f52, f64}, {0, 27, 215, 255})
1164: ({f9, f10, f11, f12, f25, f26, f27, f28, f41, f42, f43, f44, f57, f58, f59, f60}, {0, 27, 170})
1165: ({f12, f28, f44, f60}, {0, 27, 170, 255})
1166: ({f11, f28, f43, f60}, {0, 27, 170, 187})
1167: ({f11, f28, f43, f59}, {0, 27, 170, 186})
1168: ({f11, f28, f41, f58}, {0, 27, 170, 177})
1169: ({f28, f41, f42, f43}, {0, 27, 169, 170})
1170: ({f26, f28, f41, f43}, {0, 27, 153, 170})
1171: ({f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32}, {0, 27, 85})
1172: ({f20, f24, f28, f32}, {0, 27, 85, 255})
1173: ({f25, f26, f27, f28}, {0, 27, 85, 170})
1174: ({f18, f22, f28, f32}, {0, 27, 85, 95})
1175: ({f18, f22, f28, f30}, {0, 27, 85, 93})
1176: ({f21, f22, f27, f28}, {0, 27, 85, 90})
1177: ({f21, f22, f23, f28}, {0, 27, 85, 86})
1178: ({f18, f21, f28, f31}, {0, 27, 78, 85})
1179: ({f1, f24, f28, f32, f40, f44, f48, f56, f60, f64}, {0, 27, 63})
1180: ({f24, f28, f32, f40, f44, f48, f56, f60, f64}, {0, 27, 63, 192, 219, 255})
1181: ({f1, f13, f24, f28, f40, f44, f49, f61}, {0, 27, 60})
1182: ({f1, f9, f13, f20, f28, f32, f35, f43, f47, f52, f60, f64}, {0, 27, 59})
1183: ({f20, f28, f32, f52, f60, f64}, {0, 27, 59, 223, 255})
1184: ({f28, f52, f64}, {0, 27, 59, 215, 223, 247, 255})
1185: ({f9, f28, f43, f60}, {0, 27, 59, 170})
1186: ({f1, f9, f20, f28, f35, f43, f50, f58}, {0, 27, 57})
1187: ({f9, f28, f43, f58}, {0, 27, 57, 170})
1188: ({f1, f28, f56, f64}, {0, 27, 55, 63})
1189: ({f28, f56, f64}, {0, 27, 55, 63, 192, 219, 247, 255})
1190: ({f1, f9, f20, f28, f33, f41, f52, f60}, {0, 27, 51})
1191: ({f9, f28, f41, f60}, {0, 27, 51, 170})
1192: ({f1, f9, f13, f20, f28, f32, f33, f41, f45, f49, f57, f61}, {0, 27, 48})
1193: ({f9, f28, f41, f57}, {0, 27, 48, 170})
1194: ({f1, f28, f48, f64}, {0, 27, 47, 63})
1195: ({f28, f48, f64}, {0, 27, 47, 63, 192, 219, 239, 255})
1196: ({f1, f28, f47, f60}, {0, 27, 46, 59})
1197: ({f1, f28, f46, f55}, {0, 27, 45, 54})
1198: ({f1, f28, f45, f49}, {0, 27, 44, 48})
1199: ({f1, f3, f4, f25, f27, f28, f41, f43, f44, f61, f63, f64}, {0, 27, 43})
1200: ({f4, f28, f44, f64}, {0, 27, 43, 255})
1201: ({f25, f27, f28, f41, f43, f44}, {0, 27, 43, 154, 170})
1202: ({f28, f41, f43}, {0, 27, 43, 153, 154, 169, 170})
1203: ({f1, f28, f44, f64}, {0, 27, 43, 63})
1204: ({f28, f44, f64}, {0, 27, 43, 63, 192, 219, 235, 255})
1205: ({f1, f28, f44, f63}, {0, 27, 43, 62})
1206: ({f1, f28, f44, f61}, {0, 27, 43, 60})
1207: ({f1, f28, f43, f64}, {0, 27, 43, 59})
1208: ({f1, f28, f41, f61}, {0, 27, 43, 48})
1209: ({f1, f26, f27, f28, f42, f43, f44, f58, f59, f60}, {0, 27, 42})
1210: ({f26, f27, f28, f42, f43, f44, f58, f59, f60}, {0, 27, 42, 128, 155, 170})
1211: ({f1, f28, f44, f60}, {0, 27, 42, 63})
1212: ({f28, f44, f60}, {0, 27, 42, 63, 128, 155, 170, 191, 192, 219, 234, 255})
1213: ({f1, f28, f43, f60}, {0, 27, 42, 59})
1214: ({f28, f43, f60}, {0, 27, 42, 59, 128, 155, 170, 187})
1215: ({f1, f28, f43, f59}, {0, 27, 42, 58})
1216: ({f28, f43, f59}, {0, 27, 42, 58, 128, 155, 170, 186})
1217: ({f1, f28, f43, f58}, {0, 27, 42, 57})
1218: ({f28, f43, f58}, {0, 27, 42, 57, 128, 155, 170, 185})
1219: ({f1, f28, f42, f43}, {0, 27, 41, 42})
1220: ({f28, f42, f43}, {0, 27, 41, 42, 128, 155, 169, 170})
1221: ({f1, f4, f25, f28, f41, f44, f49, f52}, {0, 27, 40})
1222: ({f4, f28, f44, f52}, {0, 27, 40, 255})
1223: ({f1, f28, f44, f49}, {0, 27, 40, 60})
1224: ({f1, f28, f41, f52}, {0, 27, 40, 51})
1225: ({f1, f28, f41, f49}, {0, 27, 40, 48})
1226: ({f1, f4, f25, f28, f37, f40, f61, f64}, {0, 27, 39})
1227: ({f4, f28, f40, f64}, {0, 27, 39, 255})
1228: ({f1, f28, f40, f64}, {0, 27, 39, 63})
1229: ({f28, f40, f64}, {0, 27, 39, 63, 192, 219, 231, 255})
1230: ({f1, f28, f40, f61}, {0, 27, 39, 60})
1231: ({f1, f3, f26, f28, f33, f35, f58, f60}, {0, 27, 34})
1232: ({f1, f28, f35, f60}, {0, 27, 34, 59})
1233: ({f1, f28, f35, f58}, {0, 27, 34, 57})
1234: ({f1, f28, f33, f60}, {0, 27, 34, 51})
1235: ({f1, f3, f4, f25, f27, f28, f33, f35, f36, f49, f51, f52}, {0, 27, 32})
1236: ({f4, f28, f36, f52}, {0, 27, 32, 255})
1237: ({f1, f28, f35, f52}, {0, 27, 32, 59})
1238: ({f1, f28, f33, f52}, {0, 27, 32, 51})
1239: ({f1, f28, f33, f51}, {0, 27, 32, 50})
1240: ({f1, f28, f33, f49}, {0, 27, 32, 48})
1241: ({f1, f6, f12, f16, f17, f22, f28, f32, f49, f54, f60, f64}, {0, 27, 31})
1242: ({f12, f16, f28, f32, f60, f64}, {0, 27, 31, 251, 255})
1243: ({f16, f28, f64}, {0, 27, 31, 235, 239, 251, 255})
1244: ({f17, f22, f28, f32}, {0, 27, 31, 85})
1245: ({f1, f28, f32, f60, f64}, {0, 27, 31, 59, 63})
1246: ({f28, f32, f60, f64}, {0, 27, 31, 59, 63, 192, 219, 223, 251, 255})
1247: ({f1, f28, f32, f54}, {0, 27, 31, 53})
1248: ({f1, f28, f32, f49}, {0, 27, 31, 48})
1249: ({f1, f6, f12, f15, f17, f22, f28, f31}, {0, 27, 30})
1250: ({f17, f22, f28, f31}, {0, 27, 30, 85})
1251: ({f1, f6, f11, f12, f17, f22, f27, f28, f33, f38, f43, f44}, {0, 26, 27})
1252: ({f11, f12, f27, f28, f43, f44}, {0, 26, 27, 170, 171})
1253: ({f11, f28, f43}, {0, 26, 27, 170, 171, 186, 187})
1254: ({f17, f22, f27, f28}, {0, 26, 27, 85})
1255: ({f1, f27, f28, f43, f44}, {0, 26, 27, 42, 43})
1256: ({f27, f28, f43, f44}, {0, 26, 27, 42, 43, 128, 154, 155, 170, 171})
1257: ({f1, f27, f28, f38}, {0, 26, 27, 37})
1258: ({f1, f27, f28, f33}, {0, 26, 27, 32})
1259: ({f1, f6, f12, f17, f22, f28}, {0, 26, 27, 30, 31})
1260: ({f17, f22, f28}, {0, 26, 27, 30, 31, 85})
1261: ({f1, f5, f9, f18, f20, f22, f24, f26, f28, f35, f39, f43}, {0, 25, 27})
1262: ({f9, f26, f28, f43}, {0, 25, 27, 170})
1263: ({f18, f20, f22, f24, f26, f28}, {0, 25, 27, 85, 87})
1264: ({f18, f22, f28}, {0, 25, 27, 85, 87, 93, 95})
1265: ({f1, f9, f20, f28, f35, f43}, {0, 25, 27, 57, 59})
1266: ({f9, f28, f43}, {0, 25, 27, 57, 59, 170})
1267: ({f1, f26, f28, f43}, {0, 25, 27, 42})
1268: ({f26, f28, f43}, {0, 25, 27, 42, 128, 153, 155, 170})
1269: ({f1, f26, f28, f39}, {0, 25, 27, 38})
1270: ({f1, f26, f28, f35}, {0, 25, 27, 34})
1271: ({f1, f22, f28, f43}, {0, 25, 26, 27})
1272: ({f1, f28, f43}, {0, 25, 26, 27, 41, 42, 43, 57, 58, 59})
1273: ({f28, f43}, {0, 25, 26, 27, 41, 42, 43, 57, 58, 59, 128, 153, 154, 155, 169, 170, 171, 185, 186, 187})
1274: ({f1, f2, f4, f21, f22, f24, f25, f26, f28, f61, f62, f64}, {0, 23, 27})
1275: ({f4, f24, f28, f64}, {0, 23, 27, 255})
1276: ({f21, f22, f24, f25, f26, f28}, {0, 23, 27, 85, 89})
1277: ({f21, f22, f28}, {0, 23, 27, 85, 86, 89, 90})
1278: ({f1, f24, f28, f64}, {0, 23, 27, 63})
1279: ({f24, f28, f64}, {0, 23, 27, 63, 192, 215, 219, 255})
1280: ({f1, f24, f28, f62}, {0, 23, 27, 61})
1281: ({f1, f24, f28, f61}, {0, 23, 27, 60})
1282: ({f1, f4, f25, f28, f61, f64}, {0, 23, 27, 39, 43})
1283: ({f4, f28, f64}, {0, 23, 27, 39, 43, 255})
1284: ({f1, f22, f28, f64}, {0, 23, 27, 31})
1285: ({f1, f28, f64}, {0, 23, 27, 31, 39, 43, 47, 55, 59, 63})
1286: ({f28, f64}, {0, 23, 27, 31, 39, 43, 47, 55, 59, 63, 192, 215, 219, 223, 231, 235, 239, 247, 251, 255})
1287: ({f1, f22, f23, f24, f26, f27, f28, f30, f31, f32}, {0, 21, 27})
1288: ({f22, f23, f24, f26, f27, f28, f30, f31, f32}, {0, 21, 27, 64, 85, 91})
1289: ({f1, f24, f28, f32}, {0, 21, 27, 63})
1290: ({f24, f28, f32}, {0, 21, 27, 63, 64, 85, 91, 127, 192, 213, 219, 255})
1291: ({f1, f26, f27, f28}, {0, 21, 27, 42})
1292: ({f26, f27, f28}, {0, 21, 27, 42, 64, 85, 91, 106, 128, 149, 155, 170})
1293: ({f1, f22, f28, f32}, {0, 21, 27, 31})
1294: ({f22, f28, f32}, {0, 21, 27, 31, 64, 85, 91, 95})
1295: ({f1, f22, f28, f31}, {0, 21, 27, 30})
1296: ({f22, f28, f31}, {0, 21, 27, 30, 64, 85, 91, 94})
1297: ({f1, f22, f28, f30}, {0, 21, 27, 29})
1298: ({f22, f28, f30}, {0, 21, 27, 29, 64, 85, 91, 93})
1299: ({f1, f22, f27, f28}, {0, 21, 26, 27})
1300: ({f22, f27, f28}, {0, 21, 26, 27, 64, 85, 90, 91})
1301: ({f1, f22, f24, f26, f28}, {0, 21, 23, 25, 27})
1302: ({f22, f24, f26, f28}, {0, 21, 23, 25, 27, 64, 85, 87, 89, 91})
1303: ({f1, f22, f23, f28}, {0, 21, 22, 27})
1304: ({f22, f23, f28}, {0, 21, 22, 27, 64, 85, 86, 91})
1305: ({f1, f22, f28}, {0, 21, 22, 23, 25, 26, 27, 29, 30, 31})
1306: ({f22, f28}, {0, 21, 22, 23, 25, 26, 27, 29, 30, 31, 64, 85, 86, 87, 89, 90, 91, 93, 94, 95})
1307: ({f1, f4, f13, f16, f21, f24, f25, f28}, {0, 20, 27})
1308: ({f4, f16, f24, f28}, {0, 20, 27, 255})
1309: ({f1, f13, f24, f28}, {0, 20, 27, 60})
1310: ({f1, f3, f9, f11, f18, f20, f26, f28}, {0, 17, 27})
1311: ({f9, f11, f26, f28}, {0, 17, 27, 170})
1312: ({f1, f3, f26, f28}, {0, 17, 27, 34})
1313: ({f1, f5, f12, f16, f17, f21, f28, f32}, {0, 15, 27})
1314: ({f17, f21, f28, f32}, {0, 15, 27, 85})
1315: ({f1, f16, f21, f28}, {0, 15, 20, 27})
1316: ({f1, f5, f12, f13, f17, f21, f28, f29, f49, f53, f60, f61}, {0, 12, 27})
1317: ({f17, f21, f28, f29}, {0, 12, 27, 85})
1318: ({f1, f13, f28, f60}, {0, 12, 27, 59})
1319: ({f1, f13, f28, f53}, {0, 12, 27, 52})
1320: ({f1, f13, f28, f49, f61}, {0, 12, 27, 48, 60})
1321: ({f1, f21, f28, f61}, {0, 12, 23, 27})
1322: ({f1, f28, f61}, {0, 12, 23, 27, 39, 43, 48, 60})
1323: ({f1, f13, f21, f28}, {0, 12, 20, 27})
1324: ({f1, f3, f4, f9, f11, f12, f13, f15, f16, f17, f19, f20, f25, f27, f28, f29, f31, f32}, {0, 11, 16, 27})
1325: ({f4, f12, f16, f20, f28, f32}, {0, 11, 16, 27, 255})
1326: ({f9, f11, f12, f25, f27, f28}, {0, 11, 16, 27, 170})
1327: ({f17, f19, f20, f25, f27, f28, f29, f31, f32}, {0, 11, 16, 27, 69, 85})
1328: ({f1, f9, f13, f20, f28, f32}, {0, 11, 16, 27, 48, 59})
1329: ({f20, f28, f32}, {0, 11, 16, 27, 48, 59, 69, 85, 117, 207, 223, 255})
1330: ({f1, f3, f4, f25, f27, f28}, {0, 11, 16, 27, 32, 43})
1331: ({f25, f27, f28}, {0, 11, 16, 27, 32, 43, 69, 85, 101, 138, 154, 170})
1332: ({f1, f12, f16, f17, f28, f32}, {0, 11, 15, 16, 27, 31})
1333: ({f12, f16, f28, f32}, {0, 11, 15, 16, 27, 31, 240, 251, 255})
1334: ({f17, f28, f32}, {0, 11, 15, 16, 27, 31, 69, 85})
1335: ({f1, f12, f15, f17, f28, f31}, {0, 11, 14, 16, 27, 30})
1336: ({f17, f28, f31}, {0, 11, 14, 16, 27, 30, 69, 85})
1337: ({f1, f12, f13, f17, f28, f29}, {0, 11, 12, 16, 27, 28})
1338: ({f17, f28, f29}, {0, 11, 12, 16, 27, 28, 69, 85})
1339: ({f1, f2, f11, f12, f17, f18, f27, f28}, {0, 10, 27})
1340: ({f17, f18, f27, f28}, {0, 10, 27, 85})
1341: ({f1, f11, f18, f28}, {0, 10, 17, 27})
1342: ({f1, f11, f12, f17, f27, f28}, {0, 10, 11, 16, 26, 27})
1343: ({f11, f12, f27, f28}, {0, 10, 11, 16, 26, 27, 160, 170, 171})
1344: ({f17, f27, f28}, {0, 10, 11, 16, 26, 27, 69, 85})
1345: ({f1, f2, f4, f9, f10, f12, f17, f18, f20, f25, f26, f28, f49, f50, f52, f57, f58, f60}, {0, 8, 19, 27})
1346: ({f4, f12, f20, f28, f52, f60}, {0, 8, 19, 27, 255})
1347: ({f9, f10, f12, f25, f26, f28, f57, f58, f60}, {0, 8, 19, 27, 162, 170})
1348: ({f17, f18, f20, f25, f26, f28}, {0, 8, 19, 27, 85})
1349: ({f1, f9, f20, f28, f52, f60}, {0, 8, 19, 27, 51, 59})
1350: ({f20, f28, f52, f60}, {0, 8, 19, 27, 51, 59, 204, 223, 255})
1351: ({f9, f28, f60}, {0, 8, 19, 27, 51, 59, 162, 170})
1352: ({f1, f9, f20, f28, f50, f58}, {0, 8, 19, 27, 49, 57})
1353: ({f9, f28, f58}, {0, 8, 19, 27, 49, 57, 162, 170})
1354: ({f1, f9, f20, f28, f49, f57}, {0, 8, 19, 27, 48, 56})
1355: ({f9, f28, f57}, {0, 8, 19, 27, 48, 56, 162, 170})
1356: ({f1, f26, f28, f58, f60}, {0, 8, 19, 27, 34, 42})
1357: ({f26, f28, f58, f60}, {0, 8, 19, 27, 34, 42, 128, 136, 147, 155, 162, 170})
1358: ({f1, f28, f58}, {0, 8, 19, 27, 34, 42, 49, 57})
1359: ({f28, f58}, {0, 8, 19, 27, 34, 42, 49, 57, 128, 136, 147, 155, 162, 170, 177, 185})
1360: ({f1, f4, f25, f28, f49, f52}, {0, 8, 19, 27, 32, 40})
1361: ({f4, f28, f52}, {0, 8, 19, 27, 32, 40, 255})
1362: ({f1, f28, f52}, {0, 8, 19, 27, 32, 40, 51, 59})
1363: ({f28, f52}, {0, 8, 19, 27, 32, 40, 51, 59, 196, 204, 215, 223, 228, 236, 247, 255})
1364: ({f1, f9, f18, f20, f26, f28}, {0, 8, 17, 19, 25, 27})
1365: ({f9, f26, f28}, {0, 8, 17, 19, 25, 27, 162, 170})
1366: ({f18, f20, f26, f28}, {0, 8, 17, 19, 25, 27, 68, 85, 87})
1367: ({f1, f12, f17, f28, f49, f60}, {0, 8, 12, 19, 27, 31})
1368: ({f12, f28, f60}, {0, 8, 12, 19, 27, 31, 162, 170, 174, 243, 251, 255})
1369: ({f1, f28, f60}, {0, 8, 12, 19, 27, 31, 34, 42, 46, 51, 59, 63})
1370: ({f28, f60}, {0, 8, 12, 19, 27, 31, 34, 42, 46, 51, 59, 63, 128, 136, 140, 147, 155, 159, 162, 170, 174, 179, 187, 191, 192, 200, 204, 211, 219, 223, 226, 234, 238, 243, 251, 255})
1371: ({f1, f28, f49}, {0, 8, 12, 19, 27, 31, 32, 40, 44, 48, 56, 60})
1372: ({f1, f2, f5, f6, f27, f28, f31, f32}, {0, 5, 27})
1373: ({f1, f6, f28, f32}, {0, 5, 27, 31})
1374: ({f1, f6, f28, f31}, {0, 5, 27, 30})
1375: ({f1, f6, f27, f28}, {0, 5, 26, 27})
1376: ({f1, f5, f28, f32}, {0, 5, 15, 27})
1377: ({f1, f27, f28, f31, f32}, {0, 5, 11, 16, 21, 27})
1378: ({f27, f28, f31, f32}, {0, 5, 11, 16, 21, 27, 64, 69, 75, 80, 85, 91})
1379: ({f1, f28, f32}, {0, 5, 11, 15, 16, 21, 27, 31, 48, 53, 59, 63})
1380: ({f28, f32}, {0, 5, 11, 15, 16, 21, 27, 31, 48, 53, 59, 63, 64, 69, 75, 79, 80, 85, 91, 95, 112, 117, 123, 127, 192, 197, 203, 207, 208, 213, 219, 223, 240, 245, 251, 255})
1381: ({f1, f28, f31}, {0, 5, 11, 14, 16, 21, 27, 30})
1382: ({f28, f31}, {0, 5, 11, 14, 16, 21, 27, 30, 64, 69, 75, 78, 80, 85, 91, 94})
1383: ({f1, f2, f27, f28}, {0, 5, 10, 27})
1384: ({f1, f27, f28}, {0, 5, 10, 11, 16, 21, 26, 27, 32, 37, 42, 43})
1385: ({f27, f28}, {0, 5, 10, 11, 16, 21, 26, 27, 32, 37, 42, 43, 64, 69, 74, 75, 80, 85, 90, 91, 96, 101, 106, 107, 128, 133, 138, 139, 144, 149, 154, 155, 160, 165, 170, 171})
1386: ({f1, f2, f4, f5, f6, f8, f13, f14, f16, f25, f26, f28}, {0, 4, 27})
1387: ({f4, f8, f16, f28}, {0, 4, 27, 255})
1388: ({f1, f6, f16, f28}, {0, 4, 27, 31})
1389: ({f1, f5, f26, f28}, {0, 4, 25, 27})
1390: ({f1, f5, f16, f28}, {0, 4, 15, 27})
1391: ({f1, f5, f14, f28}, {0, 4, 13, 27})
1392: ({f1, f5, f13, f28}, {0, 4, 12, 27})
1393: ({f1, f4, f13, f16, f25, f28}, {0, 4, 11, 16, 20, 27})
1394: ({f4, f16, f28}, {0, 4, 11, 16, 20, 27, 255})
1395: ({f1, f16, f28}, {0, 4, 11, 15, 16, 20, 27, 31})
1396: ({f16, f28}, {0, 4, 11, 15, 16, 20, 27, 31, 224, 228, 235, 239, 240, 244, 251, 255})
1397: ({f1, f13, f28}, {0, 4, 11, 12, 16, 20, 27, 28, 48, 52, 59, 60})
1398: ({f1, f2, f4, f25, f26, f28}, {0, 4, 8, 19, 23, 27})
1399: ({f25, f26, f28}, {0, 4, 8, 19, 23, 27, 81, 85, 89, 162, 166, 170})
1400: ({f1, f26, f28}, {0, 4, 8, 17, 19, 21, 23, 25, 27, 34, 38, 42})
1401: ({f26, f28}, {0, 4, 8, 17, 19, 21, 23, 25, 27, 34, 38, 42, 64, 68, 72, 81, 83, 85, 87, 89, 91, 98, 102, 106, 128, 132, 136, 145, 147, 149, 151, 153, 155, 162, 166, 170})
1402: ({f1, f4, f5, f8, f9, f12, f17, f20, f21, f24, f25, f28, f33, f36, f37, f40, f41, f44}, {0, 3, 24, 27})
1403: ({f4, f8, f12, f20, f24, f28, f36, f40, f44}, {0, 3, 24, 27, 252, 255})
1404: ({f9, f12, f25, f28, f41, f44}, {0, 3, 24, 27, 170})
1405: ({f17, f20, f21, f24, f25, f28}, {0, 3, 24, 27, 85})
1406: ({f1, f24, f28, f40, f44}, {0, 3, 24, 27, 60, 63})
1407: ({f24, f28, f40, f44}, {0, 3, 24, 27, 60, 63, 192, 195, 216, 219, 252, 255})
1408: ({f1, f9, f20, f28, f33, f41}, {0, 3, 24, 27, 48, 51})
1409: ({f9, f28, f41}, {0, 3, 24, 27, 48, 51, 170})
1410: ({f1, f4, f25, f28, f41, f44}, {0, 3, 24, 27, 40, 43})
1411: ({f4, f28, f44}, {0, 3, 24, 27, 40, 43, 252, 255})
1412: ({f25, f28, f41, f44}, {0, 3, 24, 27, 40, 43, 130, 154, 170})
1413: ({f1, f28, f41}, {0, 3, 24, 27, 40, 43, 48, 51})
1414: ({f28, f41}, {0, 3, 24, 27, 40, 43, 48, 51, 129, 130, 153, 154, 169, 170, 177, 178})
1415: ({f1, f4, f25, f28, f37, f40}, {0, 3, 24, 27, 36, 39})
1416: ({f4, f28, f40}, {0, 3, 24, 27, 36, 39, 252, 255})
1417: ({f1, f28, f40}, {0, 3, 24, 27, 36, 39, 60, 63})
1418: ({f28, f40}, {0, 3, 24, 27, 36, 39, 60, 63, 192, 195, 216, 219, 228, 231, 252, 255})
1419: ({f1, f4, f25, f28, f33, f36}, {0, 3, 24, 27, 32, 35})
1420: ({f4, f28, f36}, {0, 3, 24, 27, 32, 35, 252, 255})
1421: ({f1, f4, f21, f24, f25, f28}, {0, 3, 20, 23, 24, 27})
1422: ({f4, f24, f28}, {0, 3, 20, 23, 24, 27, 252, 255})
1423: ({f21, f24, f25, f28}, {0, 3, 20, 23, 24, 27, 65, 85, 89})
1424: ({f1, f5, f12, f17, f21, f28}, {0, 3, 12, 15, 24, 27})
1425: ({f17, f21, f28}, {0, 3, 12, 15, 24, 27, 85})
1426: ({f1, f21, f28}, {0, 3, 12, 15, 20, 23, 24, 27})
1427: ({f21, f28}, {0, 3, 12, 15, 20, 23, 24, 27, 65, 66, 77, 78, 85, 86, 89, 90})
1428: ({f1, f4, f9, f12, f17, f20, f25, f28}, {0, 3, 8, 11, 16, 19, 24, 27})
1429: ({f4, f12, f20, f28}, {0, 3, 8, 11, 16, 19, 24, 27, 252, 255})
1430: ({f9, f12, f25, f28}, {0, 3, 8, 11, 16, 19, 24, 27, 162, 170})
1431: ({f17, f20, f25, f28}, {0, 3, 8, 11, 16, 19, 24, 27, 69, 85})
1432: ({f1, f4, f5, f8, f25, f28}, {0, 3, 4, 7, 24, 27})
1433: ({f4, f8, f28}, {0, 3, 4, 7, 24, 27, 252, 255})
1434: ({f1, f4, f25, f28}, {0, 3, 4, 7, 8, 11, 16, 19, 20, 23, 24, 27, 32, 35, 36, 39, 40, 43})
1435: ({f4, f28}, {0, 3, 4, 7, 8, 11, 16, 19, 20, 23, 24, 27, 32, 35, 36, 39, 40, 43, 252, 255})
1436: ({f25, f28}, {0, 3, 4, 7, 8, 11, 16, 19, 20, 23, 24, 27, 32, 35, 36, 39, 40, 43, 65, 69, 73, 81, 85, 89, 97, 101, 105, 130, 134, 138, 146, 150, 154, 162, 166, 170})
1437: ({f1, f2, f3, f12, f17, f18, f19, f28, f33, f34, f35, f44}, {0, 2, 27})
1438: ({f17, f18, f19, f28}, {0, 2, 27, 85})
1439: ({f1, f3, f28, f44}, {0, 2, 27, 43})
1440: ({f1, f3, f28, f34}, {0, 2, 27, 33})
1441: ({f1, f3, f28, f33, f35}, {0, 2, 27, 32, 34})
1442: ({f1, f18, f28, f35}, {0, 2, 25, 27})
1443: ({f1, f28, f35}, {0, 2, 25, 27, 32, 34, 57, 59})
1444: ({f1, f3, f18, f28}, {0, 2, 17, 27})
1445: ({f1, f3, f12, f17, f19, f28}, {0, 2, 11, 16, 18, 27})
1446: ({f17, f19, f28}, {0, 2, 11, 16, 18, 27, 69, 85})
1447: ({f1, f2, f12, f17, f18, f28}, {0, 2, 8, 10, 19, 27})
1448: ({f17, f18, f28}, {0, 2, 8, 10, 19, 27, 85})
1449: ({f1, f18, f28}, {0, 2, 8, 10, 17, 19, 25, 27})
1450: ({f18, f28}, {0, 2, 8, 10, 17, 19, 25, 27, 68, 70, 76, 78, 85, 87, 93, 95})
1451: ({f1, f12, f17, f28, f33, f44}, {0, 2, 3, 24, 26, 27})
1452: ({f12, f28, f44}, {0, 2, 3, 24, 26, 27, 168, 170, 171, 252, 254, 255})
1453: ({f1, f28, f44}, {0, 2, 3, 24, 26, 27, 40, 42, 43, 60, 62, 63})
1454: ({f28, f44}, {0, 2, 3, 24, 26, 27, 40, 42, 43, 60, 62, 63, 128, 130, 131, 152, 154, 155, 168, 170, 171, 188, 190, 191, 192, 194, 195, 216, 218, 219, 232, 234, 235, 252, 254, 255})
1455: ({f1, f28, f33}, {0, 2, 3, 24, 26, 27, 32, 34, 35, 48, 50, 51})
1456: ({f1, f12, f17, f28}, {0, 2, 3, 8, 10, 11, 12, 14, 15, 16, 18, 19, 24, 26, 27, 28, 30, 31})
1457: ({f12, f28}, {0, 2, 3, 8, 10, 11, 12, 14, 15, 16, 18, 19, 24, 26, 27, 28, 30, 31, 160, 162, 163, 168, 170, 171, 172, 174, 175, 240, 242, 243, 248, 250, 251, 252, 254, 255})
1458: ({f17, f28}, {0, 2, 3, 8, 10, 11, 12, 14, 15, 16, 18, 19, 24, 26, 27, 28, 30, 31, 69, 85})
1459: ({f1, f2, f3, f5, f6, f7, f9, f10, f11, f20, f24, f28}, {0, 1, 27})
1460: ({f9, f10, f11, f28}, {0, 1, 27, 170})
1461: ({f1, f6, f11, f28}, {0, 1, 26, 27})
1462: ({f1, f2, f24, f28}, {0, 1, 23, 27})
1463: ({f1, f3, f9, f11, f20, f28}, {0, 1, 11, 16, 17, 27})
1464: ({f9, f11, f28}, {0, 1, 11, 16, 17, 27, 170})
1465: ({f1, f2, f11, f28}, {0, 1, 10, 27})
1466: ({f1, f11, f28}, {0, 1, 10, 11, 16, 17, 26, 27})
1467: ({f11, f28}, {0, 1, 10, 11, 16, 17, 26, 27, 160, 161, 170, 171, 176, 177, 186, 187})
1468: ({f1, f2, f9, f10, f20, f28}, {0, 1, 8, 9, 19, 27})
1469: ({f9, f10, f28}, {0, 1, 8, 9, 19, 27, 162, 170})
1470: ({f1, f2, f7, f28}, {0, 1, 6, 27})
1471: ({f1, f2, f5, f6, f28}, {0, 1, 4, 5, 27})
1472: ({f1, f6, f28}, {0, 1, 4, 5, 26, 27, 30, 31})
1473: ({f1, f5, f9, f20, f24, f28}, {0, 1, 3, 24, 25, 27})
1474: ({f20, f24, f28}, {0, 1, 3, 24, 25, 27, 84, 85, 87, 252, 253, 255})
1475: ({f1, f24, f28}, {0, 1, 3, 20, 21, 23, 24, 25, 27, 60, 61, 63})
1476: ({f24, f28}, {0, 1, 3, 20, 21, 23, 24, 25, 27, 60, 61, 63, 64, 65, 67, 84, 85, 87, 88, 89, 91, 124, 125, 127, 192, 193, 195, 212, 213, 215, 216, 217, 219, 252, 253, 255})
1477: ({f1, f9, f20, f28}, {0, 1, 3, 8, 9, 11, 16, 17, 19, 24, 25, 27, 48, 49, 51, 56, 57, 59})
1478: ({f9, f28}, {0, 1, 3, 8, 9, 11, 16, 17, 19, 24, 25, 27, 48, 49, 51, 56, 57, 59, 162, 170})
1479: ({f20, f28}, {0, 1, 3, 8, 9, 11, 16, 17, 19, 24, 25, 27, 48, 49, 51, 56, 57, 59, 68, 69, 71, 84, 85, 87, 116, 117, 119, 204, 205, 207, 220, 221, 223, 252, 253, 255})
1480: ({f1, f5, f28}, {0, 1, 3, 4, 5, 7, 12, 13, 15, 24, 25, 27})
1481: ({f1, f2, f3, f28}, {0, 1, 2, 27})
1482: ({f1, f3, f28}, {0, 1, 2, 11, 16, 17, 18, 27, 32, 33, 34, 43})
1483: ({f1, f2, f28}, {0, 1, 2, 4, 5, 6, 8, 9, 10, 19, 23, 27})
1484: ({f1, f28}, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63})
1485: ({f28}, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255})
