TABLE 2
               Interesting properties of the
                  Integers 10 to 999


 10:    10*2(1)
 11: o
 12:    1(2) + 1(1) and 3(1) + 1(1)
 13: o
 14: o
 15: -  1(2) + 1(1) and pq (p,q primes)
 16: o
 17: -  1(3) and prime
 18:    2*1(1)
 19: o
 20:    1(11) + 1(1) + 2(1)
 21:    1(3) + 1(1) and 1(5) + 1(1)
 22: -  1(4) and 11m
 23: -  2(1) + 2*1(1) and prime
 24:    1(3) + 1(1) and 1(2) + 1(1)
 25: -  1(4) and 5m
 26: -  1(3) and pq (p,q primes)
 27:    3*1(1)
 28: -  1(5) and ends in 8
 29: o
 30:    1(17) + 1(1) and 1(10) + 1(1)
 31: -  1(7) and prime
 32:    2(1) + 2*1(2) + 1(1) and 1(2) + 5*1(1)
 33:    1(3) + 1(1) and 1(4) + 1(1)
 34: -  1(7) and 3*1(1) + 1(2) and composite
 35:    1(5) and 1(4) + 2*1(1)
 36:    2*1(1) + 1(2)
 37: o
 38: -  1(4) + 1(2) and ends in 8
 39:    1(3) + 1(1) and 1(4) + 1(2) + 1(1)
 40:    1(13) and 1(11) + 2*1(1) + 1(5)
 41:    2*1(1) + 1(4) and 1(3) + 3*1(1)
 42: -  1(1) + 2*1(2) and 6m
 43:    1(2) + 3*1(1) and prime
 44: o
 45:    1(2) + 1(4) + 1(3)
 46:    1(5) and 1(8)
 47: -  2*1(3) + 1(2) and prime and ends in 7
 48:    1(6) + 1(1) and 1(2) + 1(1) + 1(4)
 49:    4*1(2) + 2(2)
 50:    1(4) + 1(2) + 2(3)
 51:    1(3) + 1(5) + 1(1) and 1(5) + 2*1(2) + 1(1)
 52:    1(4) + 2*1(1) + 1(2) and 2*1(3) + 2*1(1)
 53:    1(7) and 1(6) + 2*1(1)
 54:    2*1(3)
 55: o
 56: -  1(4) + 1(2) and 8m
 57:    1(4) + 1(3) + 1(1) and 1(3) + 1(2) + 1(1)
 58:    1(7) and 1(3) + 3*1(1)
 59: -  1(4) + 1(6) and prime
 60:    1(2) + 2(2) + 1(1)
 61:    1(5) + 3*1(1) and 5*1(1) + 2*1(2)
 62:    1(6) + 2*1(1) and 1(5) + 1(2) + 1(1)
 63:    1(3) + 2(1)
 64: -  1(6) and square
 65:    3*1(1) + 1(5) and 3*1(2) + 1(3)
 66:    1(3) + 1(1) + 1(2) and 1(5) + 1(1) + 1(2)
 67: o
 68:    1(7) and 4*1(3)
 69:    1(5) + 1(1) + 1(2) and 2*1(3) + 1(1)
 70:    2(1) + 3*1(1)
 71:    1(9) and 1(1) + 1(2) + 1(7)
 72:    1(6) + 1(3)
 73: o
 74:    1(2) + 1(4) and 2*1(1) + 1(4)
 75:    1(6) + 1(1) and 1(2) + 1(1) + 1(8)
 76: -  3*1(1) + 1(3) and 19m
 77: -  2*1(3) + 1(2) and 11m
 78:    1(1) + 1(2) + 1(6) and 4*1(1) + 1(2)
 79: -  2*1(1) + 1(4) + 1(2) and ends in 9
 80:    1(3) + 1(1) + 2(1)
 81:    1(1) + 1(7)
 82: -  1(10) and ends in 2
 83:    1(4) + 1(8) and 1(1) + 1(2) + 1(5)
 84:    1(4) + 1(3) + 1(1) and 2*1(5) + 1(1)
 85:    1(10) and 1(2) + 1(5) + 1(1) + 1(4)
 86: -  1(1) + 1(3) + 1(6) and ends in 6
 87:    1(1) + 1(9) and 1(1) + 1(5) + 1(2)
 88: -  4*1(2) and ends in 8
 89: -  2*1(2) + 3*1(1) and prime
 90:    2(1) + 1(1)
 91: -  1(14) and ends in 1
 92: -  1(6) + 1(1) + 1(3) and ends in 2
 93: -  1(9) + 1(1) and ends in 3
 94:    1(10) and 2*1(1) + 2*1(5)
 95:    1(4) + 4*1(2)
 96:    1(6) + 1(1) and 1(2) + 1(1) + 1(7)
 97:    1(10) and 1(5) + 3*1(1)
 98:    1(11) and 1(6) + 2*1(1)
 99:    1(5) + 1(6)
100:    100*1(1) and 99*1(1) + 1(99)
101:    1(8) + 1(5) + 2(3)
102:    1(3) + 1(1) + 1(7) and 2*1(2) + 1(1) + 1(7)
103:    2*1(1) + 2(1) + 1(10)
104:    1(8) + 2*2(1)
105:    1(10) + 1(1) and 1(11) + 1(1) + 1(2)
106:    1(4) + 2*1(1) + 1(5)
107:    6*1(1) + 2(3)
108:    1(12)
109: -  9*1(1) + 1(2) and prime
110:    1(4) + 2(2) + 1(16)
111:    1(11) + 1(2) + 1(1) and 1(11) + 4*1(1)
112:    1(8) + 4*2(1)
113:    2*1(1) + 1(10) and 1(11) + 2(1) + 2*1(1)
114:    1(8) + 4*1(1) + 2(1)
115:    1(10) + 2(1)
116:    1(10) + 2*1(1) and 1(7) + 1(1) + 1(4)
117:    1(2) + 1(11)
118:    1(14) and 2*1(2) + 8*1(1)
119:    2*1(1) + 1(10) and 2(1) + 1(1) + 1(4)
120:    2*2(1) + 1(2) + 2(4) + 1(1) and 2*2(1) + 3(1) + 2(4) + 1(1)
121:    2*1(1) + 1(2) + 1(11) and 1(1) + 2*3(1) + 1(11)
122:    1(13) + 2*2(1)
123:    1(15) + 1(1) and 1(8) + 3(1) + 1(1)
124:    1(1) + 2*1(2) + 3(1) and 2*1(1) + 2*1(6)
125:    1(12) + 2*1(1) and 1(1) + 1(3) + 2(2)
126:    1(8) + 3*1(1)
127:    2(1) + 1(6)
128:    1(5) + 2(1)
129:    1(1) + 1(6) + 1(8)
130:    2(4) and 3*1(1) + 2(2)
131:    1(9) + 3*1(1) + 2(1) + 1(2)
132:    1(1) + 1(2) + 1(10)
133:    1(1) + 1(12) + 1(4) + 2(1)
134:    1(10) + 2*1(3)
135:    1(11) + 1(4)
136:    1(5) + 1(1) + 2(4)
137:    1(10) + 1(2)
138:    1(14) + 1(1) and 2(2) + 2*1(1)
139:    3*1(1) + 1(12) and 2(4) + 1(1) + 2*1(2)
140:    1(4) + 2(2) and 1(1) + 2(2) + 1(3)
141:    1(1) + 1(12) and 1(13) + 1(1) + 2(1)
142:    2(2) + 1(8)
143:    1(17) and 2(2) + 1(3)
144:    2*1(2) + 1(10)
145:    2*1(1) + 1(7) + 1(2) + 2(1)
146:    2(3) + 1(8)
147:    1(7) + 2(1) + 1(2)
148:    1(11) + 1(2) + 2*1(1) and 1(6) + 2(2)
149:    1(11) + 1(2) + 1(1) and 1(11) + 3*1(2)
150:    1(17) + 1(7) + 1(1)
151:    1(1) + 1(12) + 2*1(2) and 2*1(1) + 1(10) + 1(8)
152:    1(15) and 1(2) + 1(1) + 3(1)
153:    3(1) and 1(15) + 1(1)
154:    1(14) and 1(15)
155:    5*1(1) + 1(12)
156:    1(1) + 1(14) and 2*1(7) + 1(1)
157:    2*1(1) + 1(2) + 2(1) + 1(4)
158:    1(11) + 1(3) + 1(4) and 3*1(1) + 2(1) + 1(3)
159:    1(1) + 1(17) and 1(11) + 1(2) + 1(1)
160:    1(18) + 2(1) + 2*1(1)
161:    2*1(1) + 1(14) and 1(1) + 1(13) + 1(2)
162:    1(13) + 1(2)
163:    1(16) and 1(6) + 9*1(1)
164:    1(1) + 1(12) + 1(3) and 1(1) + 1(7) + 1(10)
165:    1(1) + 2(4) + 1(2)
166:    2*1(1) + 1(9) + 1(4) and 2*1(1) + 2(1) + 1(7)
167:    1(11) + 1(1) + 1(2) and 1(5) + 3*1(2)
168:    1(14) + 1(1) and 1(1) + 1(18) + 1(2)
169:    1(16) and 1(22)
170:    1(2) + 1(21) + 1(5)
171:    1(2) + 1(14)
172:    1(18) and 1(15)
173:    1(19) and 1(1) + 1(14) + 2(1)
174:    1(13) + 2(1)
175:    2(1) + 1(9)
176:    1(16) + 2*1(1) and 1(4) + 1(12)
177:    1(16) + 1(1) and 1(15) + 1(1) + 1(4)
178:    2(1) + 4*1(1) and 1(11) + 3*1(2)
179:    1(13) + 2*1(1) + 2*1(2)
180:    1(9) + 1(17)
181:    1(2) + 2(4) + 2*1(1)
182:    2(2) + 1(15)
183:    1(17) + 1(1) and 1(13) + 2(4)
184:    1(4) + 2*1(2) + 1(1) + 2(1)
185:    1(3) + 1(2) + 1(15) and 1(3) + 1(13) + 2*1(1)
186:    1(18) + 1(1) and 1(15) + 1(2) + 1(1)
187:    1(7) + 1(4) + 2*1(3)
188:    2*2(2) + 2*1(2)
189:    1(3) + 1(17)
190:    1(4) + 2(4) + 1(20) + 2*1(1)
191:    2(2) + 1(7)
192:    1(1) + 1(16) + 1(2)
193:    1(4) + 2(1) + 1(3) + 1(2)
194:    1(1) + 1(17) + 1(2) and 2(3) + 1(6)
195:    1(1) + 1(2) + 1(13) and 1(3) + 1(1) + 1(14)
196:    2(2) + 3*1(1) + 1(2)
197:    1(15) + 1(1) + 1(4) and 1(2) + 1(17) + 1(3)
198:    1(17) + 1(4) and 1(15) + 1(4)
199:    1(15) and 1(21)
200:    2(16) and 2(7)
201:    3*1(1) + 2(5) + 2(2)
202:    1(15) + 1(4) + 2(1)
203:    2(3)
204:    1(1) + 1(21) and 1(1) + 1(19) + 1(2)
205:    3(2)
206:    2*1(1) + 1(18)
207:    1(15) + 4*1(1)
208:    1(3) + 2*2(2)
209:    1(3) + 1(2) + 1(15) and 1(3) + 1(4) + 1(12) + 1(2)
210:    2(4) + 1(5) + 1(1) + 2*2(1) and 2(4) + 1(1) + 1(3) + 2*2(1)
211:    1(5) + 2(1) + 2*1(1) + 1(15)
212:    1(1) + 2(1) + 2*3(1) + 1(17)
213:    1(20) + 1(1) and 1(14) + 1(4) + 1(1)
214:    1(1) + 2(2)
215:    3*1(1) + 1(16) + 1(2) and 1(1) + 1(4) + 1(17)
216:    2*1(1) + 1(19)
217:    1(17) + 2(1)
218:    1(22) + 2*1(1) and 1(3) + 1(17) + 1(4)
219:    1(19) + 1(1) and 3*1(1) + 2(2)
220:    4*1(12) and 2(1) + 3(1) + 1(26)
221:    2(4) + 2(1) and 1(16) + 3(1) + 4*1(1)
222:    1(1) + 3*2(1) + 1(18)
223:    1(20) + 3*1(1)
224:    1(2) + 1(3) + 1(17) and 2*1(2) + 2*1(1) + 1(19)
225:    1(17) + 1(2)
226:    1(2) + 1(15) + 2(1)
227:    1(14) + 1(2) + 2(1)
228:    1(16) + 4*1(1)
229:    2(2) + 1(4) + 1(12)
230:    2(4) + 3*1(1)
231:    1(3) + 1(18) + 1(1) and 1(16) + 1(1) + 3(1)
232:    2(1) + 1(2) + 1(20)
233:    2*2(1) + 1(1) + 1(14)
234:    1(3) + 1(18) and 1(18) + 1(2)
235:    5*1(1) + 2*2(1) + 1(9)
236:    2(1) + 1(16)
237:    1(3) + 1(1) + 1(20) and 1(2) + 1(3) + 1(17) + 1(1)
238:    2*1(2) + 2(3) + 1(4)
239:    1(18) + 1(3) + 1(1) and 1(1) + 1(19) + 1(4)
240:    2(4) + 4*1(1) + 1(10)
241:    1(18) + 2(1) + 2*1(1) + 1(4)
242:    1(1) + 1(2) + 1(19) and 1(3) + 1(17) + 1(2)
243:    1(19) + 1(6)
244:    2(1) + 1(19) and 1(2) + 2(2) + 4*1(1)
245:    1(1) + 1(19) + 1(4) and 2*1(1) + 1(3) + 3(1)
246:    1(1) + 1(18) + 1(2) and 1(19) + 1(1) + 2*1(2)
247:    1(1) + 1(3) + 1(2) + 1(18) and 1(14) + 6*1(1)
248:    2(4) + 1(2)
249:    1(1) + 1(2) + 3(2) and 1(1) + 2(3) + 2*1(2)
250:    1(11) + 2(7) + 3*1(1) and 1(10) + 1(2) + 2(7) + 2*1(1)
251:    1(4) + 1(1) + 1(19) and 1(4) + 3*1(1) + 1(18)
252:    2*1(1) + 1(2) + 1(17)
253:    1(2) + 1(7) + 1(1) + 3(1) and 1(2) + 1(6) + 1(1) + 3(1)
254:    1(2) + 2(5) + 1(1) and 2(5) + 3*1(1)
255:    1(16) + 1(1) + 2(1)
256:    1(2) + 1(16) + 2(1)
257:    1(8) + 1(20) and 5*1(1) + 1(20)
258:    1(1) + 1(19) + 1(3) and 1(1) + 1(19) + 1(2)
259:    1(18) + 1(3) + 2*1(1)
260:    1(4) + 2(3) + 1(8) + 1(1)
261:    3(1) + 1(4) and 3(1) + 1(5)
262:    1(2) + 2(1) + 1(17)
263:    2*1(1) + 2(4) and 1(18) + 3*1(1) + 1(2)
264:    1(22) + 1(1) and 1(2) + 1(20) + 1(1)
265:    3*1(1) + 1(21) and 2(1) + 1(1) + 1(17)
266:    5*1(1) + 1(14)
267:    1(18) + 4*1(1) and 1(1) + 1(19) + 1(5)
268:    1(15) + 2*1(2) + 1(4)
269:    2(3) + 1(4)
270:    1(3) + 2(7) + 2(2) and 2(7) + 1(7) + 2(2)
271:    1(20) + 2(1)
272:    2(2) + 1(2) + 2*1(1)
273:    1(18) + 1(3) + 4*1(1)
274:    1(21) + 3*1(1) and 3*1(3) + 1(18)
275:    3*1(1) + 1(2) + 1(18) and 3*1(2) + 1(17)
276:    1(1) + 1(21) and 1(1) + 1(2) + 1(5) + 1(19)
277:    1(1) + 1(20) + 1(2) + 1(3) and 1(18) + 1(1) + 2*1(2)
278:    1(3) + 1(1) + 2(2) + 1(5)
279:    1(20) + 1(5)
280:    1(1) + 2(1) + 1(3) + 1(2) + 2(5)
281:    2(1) + 1(2) + 1(18)
282:    1(19) + 1(1) + 2*1(2) and 1(1) + 2*1(2) + 1(20)
283:    1(18) + 3*1(2)
284:    3*1(1) + 1(21) and 2*1(3) + 1(20)
285:    1(3) + 1(21) + 1(1) and 1(18) + 4*1(1)
286:    2(2) + 1(6) and 1(18) + 6*1(1)
287:    1(1) + 1(4) + 1(19) and 1(2) + 1(19) + 1(3)
288:    1(7) + 1(20)
289:    2(2) + 1(3) + 2(1)
290:    2(8) + 1(4) + 1(10) + 1(1)
291:    1(1) + 1(3) + 1(21) and 1(1) + 1(20) + 1(4)
292:    1(20) + 6*1(1)
293:    1(6) + 1(1) + 1(21) and 1(2) + 1(3) + 1(21)
294:    2(5) and 1(1) + 1(21)
295:    2(4) + 1(6)
296:    3*1(1) + 2(3) + 2*1(2)
297:    1(21) + 1(5) and 1(6) + 1(20)
298:    1(3) + 2(1) + 1(5) + 3*1(1)
299:    1(19) + 1(4) + 1(1) and 1(21) + 1(3) + 2*1(1)
300:    3(12) + 1(12) and 3*3(5) + 1(1)
301:    2(5) + 2(1) + 1(2)
302:    2*2(1) + 1(7) + 1(18)
303:    1(1) + 1(14) + 2(1) + 1(6) and 4*1(1) + 1(14) + 1(6)
304:    2(3) + 4*1(1) + 1(4)
305:    1(7) + 1(19) + 1(2)
306:    1(21) + 1(4)
307:    2(7) + 1(1) + 1(2)
308:    2*1(2) + 2(2) + 3*1(1)
309:    2(5) + 2*1(1) and 2(3) + 1(5) + 2*1(1)
310:    2*1(1) + 2(1) + 1(10) + 2(3) and 2*1(1) + 1(9) + 2(3) + 1(7)
311:    1(19) + 2*2(1) + 1(7)
312:    3*2(1) + 1(19) + 1(5)
313:    1(20) + 2*1(1) + 1(4) and 1(20) + 5*1(1) + 1(5)
314:    1(4) + 2(4) + 3*1(1) + 2(1)
315:    1(19) + 2*1(2)
316:    1(2) + 7*1(1) + 2(3) and 7*1(1) + 2(3) + 1(3)
317:    1(2) + 2*1(4) + 2(5)
318:    1(18) + 1(4) + 3(2)
319:    1(4) + 2(4) + 2(3)
320:    1(1) + 1(11) + 2*1(2) + 2(6)
321:    1(1) + 2*2(1) + 2*1(2) + 2(4) and 1(13) + 2(5)
322:    2(6) + 1(3) + 1(2) and 2(6) + 2(1) + 6*1(1)
323:    2(3) + 1(2) + 2*1(1) and 1(19) + 1(4) + 1(2) + 2*1(1)
324:    1(18) + 1(8)
325:    5*1(1) + 2*2(1) + 1(16)
326:    1(6) + 3(1) + 1(1) and 1(6) + 1(21) + 1(1)
327:    1(1) + 1(4) + 1(5) + 1(20) and 1(1) + 1(2) + 1(5) + 1(20)
328:    1(3) + 2(4) + 1(8)
329:    2(3) + 2*1(1) + 5*1(2)
330:    1(2) + 2(8) + 2*1(1) + 1(8)
331:    1(1) + 1(2) + 2(6) + 2(1)
332:    2(2) + 3*1(2) + 2(3)
333:    1(19) + 1(7) and 1(1) + 1(19) + 3(1)
334:    1(7) + 2(3) + 1(1)
335:    1(2) + 2(2) + 1(1) + 2(3)
336:    3(1) + 2(1) + 1(1)
337:    2*1(3) + 1(1) + 1(20) and 1(7) + 2*1(1) + 1(21)
338:    2*1(2) + 2(4) + 2(1)
339:    1(1) + 1(21) + 1(7) and 1(1) + 1(21) + 1(4) + 1(3)
340:    2(3) + 1(7) + 2(6)
341:    1(6) + 2(3) + 7*1(1)
342:    1(20) + 1(4) + 1(6)
343:    1(17) + 3*1(1) + 2*2(1) + 1(3)
344:    1(3) + 1(2) + 2(4)
345:    2(4) + 1(1) + 1(8)
346:    2(1) + 5*1(1) + 1(19)
347:    2(3) + 3*1(2) + 2(1)
348:    1(11) + 1(1) + 1(17) and 1(7) + 1(1) + 1(17) + 2*1(2)
349:    1(5) + 2*1(1) + 2(4)
350:    1(2) + 1(3) + 2(6) + 1(6)
351:    1(13) + 1(16) + 2*1(1)
352:    2*2(1) + 1(18) + 5*1(1)
353:    1(19) + 2*2(1) + 2*1(1)
354:    2*1(1) + 1(2) + 2(5) and 1(20) + 1(7) + 1(1)
355:    1(2) + 2(4) + 1(5) + 1(3)
356:    1(21) + 2(1) + 1(3) and 1(21) + 1(4) + 4*1(1)
357:    1(21) + 1(7) + 1(1) and 1(21) + 1(1) + 2*1(3)
358:    1(6) + 2(6) + 1(2)
359:    2(6) + 1(7)
360:    2(6) + 1(13)
361:    2(6) + 1(2) + 1(1) + 2(2)
362:    2(6) + 3*1(2) + 2*1(1)
363:    1(6) + 3(1) + 1(1) and 3(1) + 1(7) + 1(1)
364:    1(3) + 1(2) + 1(7) + 2(3) + 2*1(1)
365:    2(2) + 4*1(1) + 1(2) + 1(20)
366:    1(1) + 2(1) + 1(22)
367:    1(15) + 2(3)
368:    2(6) + 2(2)
369:    1(21) + 1(9)
370:    1(2) + 3*1(1) + 2(8)
371:    1(5) + 1(17) + 1(8) + 3*1(1)
372:    1(11) + 1(16) + 1(1) + 1(2) and 1(3) + 1(16) + 1(1) + 1(8)
373:    1(5) + 1(2) + 1(4) + 2(3)
374:    1(2) + 1(4) + 2(2) + 3*1(1)
375:    2(4) + 1(1)
376:    2(7) and 1(2) + 2(6)
377:    2*1(1) + 1(19) + 1(4) + 1(8)
378:    1(18) + 1(10) and 1(9) + 1(2) + 1(18)
379:    2*1(1) + 2(4) + 1(3) + 1(2)
380:    1(4) + 2(2) + 2(9) + 1(2) and 1(5) + 2(9) + 3*1(1) + 1(2)
381:    1(20) + 1(11) + 1(1) and 1(20) + 1(1) + 1(10) + 1(4)
382:    3*1(2) + 2(4)
383:    5*1(1) + 1(4) + 1(2) + 2(5)
384:    1(2) + 1(1) + 2(5) + 1(5)
385:    5*1(1) + 2(4) + 2*1(2)
386:    1(2) + 2(2) + 2*1(3)
387:    1(8) + 2(6)
388:    1(35) and 1(36)
389:    2(4) + 1(6) + 2(2) and 2(4) + 2(2) + 1(3) + 1(1)
390:    1(1) + 2(10) + 1(5)
391:    2(3) + 1(3) + 3*1(1) and 1(8) + 1(1) + 1(2) + 1(19)
392:    1(20) + 1(11) + 1(1) and 2(1) + 1(20) + 1(2) + 1(1)
393:    1(1) + 1(4) + 1(6) + 2(4)
394:    2(3) + 1(3) + 1(9)
395:    2(3) + 1(2) + 1(7) and 2(3) + 1(4) + 1(5)
396:    1(1) + 1(20) + 2(1)
397:    2(3) + 2(1) + 1(3)
398:    1(2) + 2(4) + 1(9) and 2(4) + 3*1(4)
399:    1(15) + 1(1) + 1(18) and 1(3) + 1(1) + 1(9) + 1(18)
400:    4(1) + 2*3(1) + 2(1)
401:    1(4) + 2(4) + 2(1) + 1(3)
402:    2(5) + 3(1)
403:    3(1) + 2(4)
404:    1(5) + 9*1(1) + 2(3)
405:    2(1) + 2(5) + 3*1(1) + 2(2)
406:    2(1) + 1(1) + 3(1) + 1(5)
407:    2(4) + 1(5) + 7*1(1)
408:    3*1(1) + 2(4) + 1(3) + 1(6)
409:    1(2) + 1(5) + 2(3)
410:    2(7) + 1(4)
411:    2(1) + 2(6) and 2(6) + 3*1(1)
412:    2*1(1) + 1(6) + 2(3)
413:    2(5) + 1(1) + 1(2) + 1(6)
414:    1(1) + 1(17) + 1(19) and 1(2) + 1(19) + 1(13)
415:    1(3) + 9*1(1) + 2(5)
416:    1(9) + 2(5) and 3(1) + 1(6) + 1(3)
417:    1(3) + 1(1) + 1(13) + 1(20) and 1(2) + 1(10) + 1(1) + 1(20)
418:    1(4) + 2*1(1) + 2(6) + 1(2)
419:    2*1(6) + 1(4) + 1(20) + 2*1(1)
420:    2(6) + 1(2) + 1(1) + 2(1) + 1(14)
421:    1(3) + 2(6)
422:    1(3) + 1(9) + 2(5) and 1(1) + 2(1) + 1(2) + 1(8) + 2(5)
423:    2*1(1) + 2(3) + 2(1)
424:    2(7) + 1(4) + 4*1(1)
425:    2(3) + 1(9) + 1(2) + 2(1)
426:    1(11) + 3(1) + 1(1) and 1(2) + 3(1) + 1(1) + 1(8)
427:    2(1) + 2*1(1) + 1(4) + 2(3)
428:    2(4) + 2*1(2) + 3*1(1)
429:    2(4) + 2*1(2) + 1(1) and 1(1) + 1(17) + 1(20)
430:    1(1) + 2(9) + 1(5) and 2*1(1) + 1(11) + 2(10)
431:    1(8) + 2(5) + 1(2) + 2*1(1)
432:    2*1(1) + 2(8) + 2*2(1) and 1(5) + 2(5) + 2*2(1)
433:    1(9) + 3*1(1) + 1(4) + 2(2)
434:    5*1(1) + 2(7)
435:    1(1) + 1(17) + 1(18) and 1(1) + 1(4) + 1(17) + 1(13)
436:    2*1(2) + 1(6) + 2(3)
437:    3*1(1) + 1(8) + 2(2) and 2(1) + 1(3) + 1(1) + 1(2) + 2(2)
438:    2(5) + 1(1) + 1(13)
439:    1(2) + 2(5) + 1(3)
440:    3(1) + 2(6) + 1(5) + 1(2)
441:    1(13) + 1(19) + 1(3)
442:    3*1(1) + 2(9)
443:    1(12) + 2(3) + 2*1(1)
444:    1(2) + 1(17) + 1(14) + 1(1)
445:    2(7) + 2*1(1) + 1(2) + 1(5)
446:    1(7) + 2(4) and 1(4) + 2*1(1) + 2(4)
447:    1(18) + 1(1) + 1(20) and 1(1) + 1(16) + 1(20)
448:    1(1) + 2(3) + 2*1(4)
449:    2(3) + 1(2) + 1(7) and 2(3) + 8*1(2) + 1(4)
450:    1(11) + 2(10) + 2(2)
451:    2(2) + 1(11) + 2(4) and 3*1(1) + 1(11) + 2(4)
452:    2(1) + 1(3) + 2(5) + 3*1(2)
453:    1(5) + 1(1) + 1(14) + 3(1) and 1(1) + 1(14) + 3(1) + 1(7)
454:    1(7) + 2(3) + 2*1(2) + 1(1)
455:    3(1) + 2*1(2) + 1(1) + 1(7) and 3(1) + 2*1(1) + 2(1) + 1(5)
456:    1(2) + 2(5) + 4*1(1)
457:    3*1(1) + 2(3) + 1(6)
458:    2(7) + 1(8) + 1(6)
459:    1(19) + 1(6) + 1(14)
460:    2(5) + 2(2) + 1(10) + 1(2) + 1(1)
461:    2(7) + 1(2) + 2(1) + 1(5)
462:    3*1(2) + 2(6) + 1(1)
463:    2(5) + 3*1(1) + 1(4) + 2*1(2)
464:    1(1) + 1(3) + 2(3)
465:    3(1) + 1(4) + 1(1) and 3(1) + 1(1) + 1(5)
466:    1(11) + 2(6)
467:    1(5) + 1(1) + 1(3) + 1(7) + 2(4)
468:    1(14) + 1(5) + 1(18)
469:    2(6) + 8*1(1)
470:    2(10) + 1(5)
471:    1(4) + 1(2) + 3(1)
472:    1(6) + 2(6) + 2*1(1)
473:    1(2) + 3(1) + 1(1) and 1(19) + 1(14) + 4*1(1)
474:    2(5) + 5*1(1)
475:    1(1) + 1(4) + 1(2) + 2(6)
476:    2*1(2) + 1(3) + 2(8)
477:    2*1(1) + 1(16) + 1(3) + 1(17)
478:    1(2) + 1(3) + 1(14) + 2(4)
479:    1(4) + 1(19) + 1(13) and 2(2) + 1(4) + 1(19) + 1(1) + 1(2)
480:    2*1(2) + 2(9) + 2*1(1)
481:    2(6) + 2*1(1)
482:    2(4) + 1(7) and 1(4) + 2(4) + 2(2)
483:    2(5) + 1(3) and 2(5) + 1(4)
484:    2*1(2) + 2*1(1) + 2(4) + 1(3)
485:    2(6) + 4*1(1) + 1(5)
486:    1(6) + 1(12) + 1(18)
487:    2*1(1) + 4*1(3) + 2(5) + 2*1(2)
488:    2*1(3) + 2(4) + 2*1(1) + 2(2)
489:    1(4) + 1(18) + 2(3)
490:    2(12) + 1(4) + 1(8)
491:    1(1) + 2(2) + 1(2) + 2(5)
492:    1(4) + 3(2) + 1(1) + 3*1(2)
493:    1(14) + 2*1(1) + 2(4) and 2*1(2) + 1(15) + 2(4)
494:    2(6) + 4*1(2) + 1(1)
495:    1(4) + 1(17) + 1(15) + 2*1(1)
496:    2(4) + 1(3) + 4*1(2) + 1(10)
497:    1(4) + 2(6) + 1(12)
498:    1(1) + 2(2) + 2(6)
499:    2(6) + 1(9) + 1(1) + 1(5)
500:    4*3(1) and 3(6) + 2(1)
501:    1(4) + 2(1) + 1(1) + 1(6) + 2(7)
502:    2(2) + 1(7) + 2(9)
503:    1(4) + 2(5) + 4*1(1) + 2(1) and 2(5) + 2*2(1) + 1(3)
504:    2(9) and 3(2) + 1(9)
505:    2*1(1) + 2(7) + 1(2) and 3(2) + 2(1) + 1(6)
506:    3(1) + 3*1(1) + 2(2) + 1(2)
507:    1(3) + 2(7) + 1(1) + 2(2)
508:    1(2) + 1(4) + 2(4) + 1(1)
509:    2(4) + 1(17) + 4*1(1)
510:    1(2) + 1(6) + 2(7) + 2*1(1)
511:    2(6) + 3*1(1) + 2(2)
512:    7*1(1) + 2(4) + 2(1)
513:    1(1) + 2(7) + 1(2) + 2*2(1)
514:    4*1(1) + 1(2) + 2(4)
515:    2(6) + 1(10)
516:    2(4) + 2(1) + 9*1(1)
517:    1(10) + 4*1(1) + 2(5)
518:    1(3) + 2(5) and 1(2) + 1(3) + 2(6)
519:    1(4) + 1(17) + 2(4)
520:    3(2) + 1(1) + 2(1) + 2(2)
521:    2(5) + 2(1) + 2*1(1)
522:    2*1(16) + 2*1(1) + 2*1(2)
523:    2(5) + 2(1)
524:    1(10) + 2(5) + 2(1)
525:    1(10) + 1(2) + 2(8)
526:    2(1) + 3(1) + 1(10) and 1(7) + 1(6) + 1(3) + 3(1)
527:    6*1(1) + 1(12) + 2(4)
528:    1(16) + 2(5)
529:    1(10) + 2(4) + 1(4)
530:    2(9) + 1(3) + 4*1(1)
531:    2(5) + 2(1) + 2*1(1) + 1(16)
532:    2(7) + 2(1) + 1(10)
533:    1(3) + 6*1(1) + 2(5)
534:    2(6) + 1(7) + 1(5) + 2*1(1)
535:    2(10) + 1(4)
536:    1(8) + 2*1(1) + 2(4)
537:    2(4) + 2*1(1) + 2*1(3) + 1(13)
538:    1(5) + 2(5) + 1(8) + 3*1(1)
539:    2*1(1) + 1(14) + 1(4) + 2(3)
540:    1(3) + 2(6) + 2(3)
541:    2(4) + 5*1(1) + 1(13)
542:    1(1) + 1(3) + 2(7) + 2*2(1)
543:    2(9) + 2*1(3) + 2(1) + 1(11) + 1(1)
544:    1(4) + 1(3) + 1(2) + 2(4)
545:    2(1) + 1(3) + 2(7)
546:    2(7) + 1(9) + 1(2)
547:    2*1(4) + 2(5)
548:    1(1) + 2(7)
549:    1(41) + 1(2)
550:    5*1(1) + 2(9)
551:    2(7) + 1(2) + 1(3)
552:    1(5) + 2(7) + 2(1) + 1(2) + 1(1)
553:    2(7) + 2*1(2)
554:    1(2) + 1(15) + 2*1(1) + 2(5)
555:    1(6) + 2(5) + 3*1(1)
556:    1(4) + 2(6) + 4*1(1)
557:    2(5) + 3*1(2) + 1(12)
558:    3(2) + 2(1) + 1(8)
559:    2(4) + 2(1) + 1(4) + 1(6)
560:    1(1) + 2(9) + 1(4) and 1(2) + 2(9) + 1(5)
561:    1(2) + 1(8) + 3(2)
562:    2(4) + 1(14) + 1(2)
563:    2*1(1) + 3(1) + 1(13) and 1(5) + 3(1) + 1(10)
564:    2(8) + 1(2) + 1(1) + 1(4)
565:    1(2) + 2(10) + 1(4)
566:    1(6) + 1(1) + 2(5) and 3(2) + 2*1(2) + 1(9)
567:    2*1(18) + 1(2) + 3*1(1)
568:    2(7) + 1(2) + 1(4) + 1(9)
569:    2(5) + 1(1) + 1(12) + 1(2)
570:    2(12) and 1(1) + 1(12) + 3(1)
571:    2*1(3) + 2(8)
572:    1(7) + 1(2) + 2(4) + 1(1) + 1(4)
573:    2(5) + 4*1(1) + 1(9)
574:    2(4) + 1(17) + 1(1) + 2*1(3)
575:    1(6) + 2(6) + 2(2)
576:    2*1(18) + 1(6) and 2*1(4) + 2*1(18)
577:    1(3) + 2(6) + 1(6)
578:    1(1) + 2(6) + 1(6) + 1(4)
579:    2(8) + 2(2) + 1(9) + 1(1) + 1(2)
580:    1(1) + 2(12) + 1(6)
581:    2(7) + 2*1(1) + 3*1(2) + 1(3)
582:    2(2) + 1(3) + 1(4) + 2(4)
583:    1(16) + 2*1(1) + 2(3) + 2*1(4)
584:    1(1) + 1(5) + 2(7)
585:    1(12) + 2(2) + 2(6) + 1(3)
586:    1(1) + 2(6) + 1(15)
587:    2(4) + 1(7) + 1(4) + 2*1(3)
588:    1(14) + 2(4) + 2*1(2) + 1(1)
589:    2(8) + 1(2) + 1(1)
590:    2(7) + 2(1) + 2*1(2)
591:    2(4) + 2(1) + 1(10) and 2(4) + 2(1) + 1(6) + 1(5)
592:    2*1(2) + 1(5) + 2(6) + 1(7)
593:    2(6) + 1(5) + 2*1(4) + 2*1(1)
594:    1(4) + 2*1(1) + 2(7) + 1(2)
595:    2(6) + 1(2) + 1(1) + 2(2) + 1(10)
596:    2(7) + 1(2)
597:    2(2) + 1(4) + 2(5) + 1(3)
598:    1(1) + 2(5) + 1(3) + 1(8)
599:    2*1(2) + 2(1) + 2(3) + 1(3)
600:    12*1(3) + 12*2(3) and 10*1(1) + 10*1(14)
601:    2(7) + 1(7) + 2(2) + 2*1(1)
602:    2(3) + 3(2)
603:    2*3(1) + 1(6) + 1(4)
604:    1(4) + 2(6) + 1(2)
605:    1(1) + 2(9) + 2*1(3) + 1(4)
606:    5*1(1) + 2(7) + 1(3)
607:    1(8) + 2*1(1) + 2(6)
608:    1(2) + 2(5) + 1(7) + 3*1(1)
609:    1(18) + 1(1) + 2*1(2) + 1(4) + 2(3)
610:    2(11) + 2*1(1) + 1(5) + 1(8)
611:    1(4) + 2*2(1) + 2(11)
612:    1(16) + 2(5) + 1(3) and 1(16) + 1(1) + 2(5) + 1(2)
613:    1(4) + 6*1(1) + 2(6) + 2(1)
614:    2(5) + 2*1(4) + 1(10) + 1(1)
615:    1(2) + 2(5) + 2*2(1)
616:    1(1) + 2(5) + 2*1(2) and 2(8) + 1(1) + 1(7) + 1(2)
617:    1(3) + 1(2) + 1(4) + 2(7) + 1(7)
618:    2(7) + 4*1(1) and 1(15) + 2(4) + 1(3) + 2*1(1)
619:    2*1(1) + 1(6) + 2(7) + 1(4)
620:    1(7) + 2(3) + 2(8) + 2*1(1)
621:    4*2(1) + 2(8) + 2*1(3)
622:    2(6) + 3*1(1) and 2*1(1) + 2(4) + 1(14)
623:    1(3) + 2*1(1) + 2(1) + 2(8)
624:    1(2) + 1(5) + 2(7)
625:    2*1(3) + 1(2) + 2(4) + 1(16)
626:    2(6) + 1(4) + 2*1(1) + 2*1(3)
627:    1(8) + 5*1(1) + 2(5)
628:    1(1) + 1(2) + 1(9) + 2(4) + 1(3) + 1(4)
629:    1(6) + 2(5) + 1(7)
630:    1(77) + 1(3)
631:    1(6) + 2(7)
632:    1(9) + 2*1(1) + 2(6)
633:    1(14) + 1(3) + 3*1(1) + 2(5)
634:    3*1(2) + 1(1) + 2(9)
635:    2*1(1) + 2(7) and 1(3) + 2(8)
636:    1(2) + 2*1(1) + 2(8) and 3(1) + 1(12) + 1(1)
637:    2(7) + 1(1) + 1(9)
638:    5*1(2) + 1(13) + 2(4)
639:    2*1(17) + 1(2) + 1(9) and 2*1(17) + 1(1) + 1(9)
640:    1(11) + 1(3) + 2(10)
641:    2*1(2) + 2(1) + 1(3) + 1(1) + 2(6) and 1(2) + 2(1) + 1(3) + 3*1(1) + 2(6)
642:    2(4) + 2*1(5)
643:    5*1(1) + 2(7) + 1(4) + 1(2)
644:    2(4) + 1(1) + 1(16)
645:    1(5) + 1(15) + 2(7)
646:    2*1(2) + 2(13) and 1(6) + 2(8) + 3*1(1)
647:    2(7) + 2(1) + 1(1) + 1(8)
648:    2(7) + 1(14) + 1(6)
649:    1(4) + 1(5) + 2(6) + 5*1(2)
650:    1(5) + 1(1) + 2(3) + 2(9)
651:    2*1(1) + 1(13) + 2(6)
652:    2*1(2) + 2(9) + 1(1)
653:    3*1(2) + 2(6) + 3*1(1)
654:    2(4) + 1(13) + 1(5)
655:    1(1) + 1(4) + 3(1) + 2(2)
656:    1(2) + 3*1(1) + 1(9) + 2(4)
657:    2(6) + 1(3) + 2(4)
658:    1(1) + 2(6) + 1(11)
659:    2(4) + 1(3)
660:    2(9) + 1(1) + 1(10)
661:    1(2) + 1(6) + 8*1(1) + 2(6)
662:    2(2) + 2(6) + 1(2) + 1(3)
663:    1(12) + 3(1) + 4*1(1)
664:    1(1) + 1(11) + 2(5)
665:    1(7) + 1(2) + 3(1) and 1(4) + 1(5) + 3(1)
666:    1(2) + 2(4) + 1(3) + 2*2(2)
667:    5*1(1) + 1(2) + 1(14) + 2(5)
668:    1(1) + 2(4) + 1(15) + 1(2)
669:    2(4) + 2*1(4) + 2(8)
670:    2*1(1) + 2(1) + 3(1) and 1(1) + 2(1) + 3(1) + 1(4)
671:    1(3) + 3(1) + 2(2) + 2*1(2)
672:    2(7) + 1(7) and 2(7) + 2*1(4)
673:    2*1(4) + 2(6) + 1(2)
674:    1(3) + 2(7) + 1(10)
675:    2*2(2) + 1(6) + 1(2) + 2(5) and 2*2(2) + 1(3) + 2(5) + 1(5)
676:    3*1(1) + 1(17) + 2(5) + 1(2)
677:    1(1) + 2(8) + 1(11) + 1(5)
678:    2(9) + 1(9)
679:    2*1(1) + 1(2) + 2(5) + 1(3) + 1(4)
680:    2(9) + 1(12) + 1(7) + 2*1(2)
681:    4*1(1) + 2(7) + 2(3) + 1(2)
682:    3(2) + 2(2) + 3*1(1) + 1(5)
683:    1(1) + 2(7) + 1(3) + 1(5)
684:    2*1(3) + 2(7) + 1(7)
685:    2(10) + 1(7) + 1(1)
686:    1(6) + 3*1(1) + 2(9) + 1(2)
687:    2*1(1) + 1(2) + 2(2) + 2(6)
688:    1(4) + 1(3) + 2(6) + 3*1(1) + 1(2)
689:    2(6) + 3*1(2) + 1(7)
690:    3(2) + 2*1(1) + 2*1(2)
691:    1(3) + 1(6) + 2(7) + 1(4)
692:    2(6) + 2*1(8) + 1(3)
693:    2(8) + 2(4)
694:    2(7) + 1(2) + 7*1(1)
695:    5*1(1) + 2(8)
696:    1(1) + 2(3) + 2(6) + 3*1(2)
697:    2*1(3) + 2*1(4) + 2(5)
698:    1(1) + 2(11) + 1(6) and 2*1(2) + 2*1(1) + 2(11)
699:    1(4) + 4*1(1) + 2*2(4)
700:    7*2(4) + 7*1(19)
701:    1(1) + 2*1(3) + 2(10)
702:    4*1(1) + 2*2(1) + 2(5) + 2(2)
703:    2(8) + 1(3) + 2*1(1)
704:    1(1) + 2(6) + 2(1) + 2*1(3)
705:    2(6) + 1(4) + 1(1)
706:    1(1) + 1(4) + 2(1) + 2(7)
707:    2(8) + 1(8) + 1(1) + 1(2)
708:    2*1(1) + 1(2) + 1(6) + 2(6)
709:    2(8) + 1(10) + 2*1(3)
710:    2(5) + 2(2) + 2*1(1) + 2(9)
711:    1(3) + 2(6) + 2*1(1) + 2*2(2)
712:    1(2) + 1(6) + 2(10)
713:    3*1(1) + 2(10) + 1(10)
714:    1(3) + 2*1(1) + 1(16) + 2(4)
715:    4*1(2) + 2(7)
716:    1(2) + 3(2) and 1(2) + 2(8) + 5*1(1)
717:    2*1(1) + 3(1) and 2(4) + 4*1(1) + 2(3)
718:    4*1(1) + 2*1(2) + 2(9)
719:    2(8) + 2*1(3) + 1(4)
720:    3(2) + 2*1(1)
721:    2*1(1) + 1(12) + 1(2) + 2(5)
722:    2*1(1) + 2(7) + 1(3) + 1(4)
723:    2(9) + 1(7)
724:    1(5) + 2*1(1) + 2(5)
725:    2(2) + 2(8) + 1(4) + 1(1)
726:    2(12) + 2*1(1) and 1(9) + 1(3) + 3(1) + 1(1)
727:    1(2) + 1(3) + 2(7) + 1(1)
728:    2(9) + 2*1(4) + 1(2)
729:    2*1(2) + 2(11) + 1(1)
730:    3*1(1) + 1(6) + 2(10)
731:    1(2) + 2(6) + 1(4) + 1(5)
732:    2*2(1) + 2(9)
733:    1(6) + 2(9) + 2(1)
734:    1(1) + 1(7) + 2(9) and 1(5) + 1(2) + 2*1(1) + 2(9)
735:    2(2) + 2*1(1) + 2(8)
736:    1(1) + 2(9) + 1(6)
737:    2(5) + 1(4) + 1(7) + 5*1(1)
738:    2(1) + 1(14) + 1(2) + 2(4)
739:    1(1) + 1(2) + 2(12)
740:    1(3) + 2(11) + 4*1(1) + 2(2)
741:    1(12) + 2(9) + 2*1(1)
742:    2(7) + 5*1(1) + 1(15)
743:    1(2) + 1(6) + 1(16) + 3(1) and 3*1(1) + 1(5) + 1(16) + 3(1)
744:    3(2) + 1(4) + 1(5)
745:    1(15) + 2(7)
746:    1(3) + 2*1(1) + 2(7)
747:    1(12) + 2(5) + 2(2)
748:    1(6) + 2*1(1) + 1(3) + 2(6)
749:    2(4) + 4*1(1) + 2(5)
750:    1(2) + 3(2) + 1(9) + 2(3)
751:    3*1(2) + 2(2) + 1(1) + 2(6)
752:    1(6) + 2(7) + 6*1(1)
753:    2*1(1) + 1(4) + 2(7) + 2(1)
754:    2(8)
755:    2(7) + 1(9)
756:    2*1(3) + 2*1(1) + 2(13)
757:    1(4) + 2(8) + 2*1(2) + 4*1(1)
758:    1(13) + 1(1) + 2(6) + 1(3)
759:    1(1) + 1(5) + 2(7) + 1(4)
760:    1(1) + 2(10) + 2*1(2)
761:    1(7) + 3(1) + 1(4) + 3*1(2)
762:    1(13) + 2(9) and 1(12) + 1(3) + 2(9)
763:    5*1(1) + 2(9) + 2(1)
764:    2(6) + 3*1(1) + 1(3) + 1(5)
765:    3(1) + 2*1(1) + 1(4)
766:    2*1(1) + 2(7) + 1(15)
767:    1(6) + 1(9) + 2(6) + 1(1)
768:    2(8) + 1(1) + 1(3)
769:    1(1) + 1(3) + 3*1(2) + 2(8)
770:    1(6) + 1(1) + 2(11) and 3(1) + 1(8) + 1(1)
771:    2*1(3) + 2*1(1) + 3(1)
772:    3*1(1) + 1(2) + 2(10) + 1(4)
773:    1(9) + 2(7) + 2*1(5)
774:    1(2) + 2(3) + 1(3) + 2(5)
775:    2(7) + 8*1(2) + 2*1(1)
776:    2*1(1) + 2(8) + 1(2) + 2(1)
777:    1(2) + 2(6) + 1(13) + 1(3) + 1(8)
778:    2*1(2) + 1(1) + 1(16) + 1(7) + 2(5)
779:    1(3) + 2*1(2) + 1(5) + 2(9)
780:    2(3) + 2(9) + 2*1(1) + 1(8)
781:    2(10) + 1(2) + 1(1) + 2*1(5)
782:    1(3) + 1(7) + 2(7)
783:    2*2(5) + 1(6)
784:    1(7) + 2*1(1) + 2(9)
785:    2*1(1) + 1(6) + 2(2) + 2(7)
786:    2(1) + 1(2) + 1(4) + 2(6) and 2(1) + 1(2) + 3*1(1) + 2(6)
787:    2*1(2) + 2(1) + 2(8)
788:    2(11) + 2*1(4) + 1(2)
789:    1(9) + 2(8) + 1(2)
790:    1(5) + 2*1(2) + 2(9) + 1(7)
791:    3*1(1) + 2(7) + 1(3) + 1(7)
792:    1(4) + 1(17) + 2(4) + 2(1) + 1(1)
793:    1(7) + 1(1) + 1(3) + 2(9)
794:    2(9) + 2(2) + 5*1(1)
795:    2(1) + 1(10) + 2(6) + 2*1(1)
796:    2*1(1) + 3(2) + 1(4)
797:    2(8) + 1(2) + 1(7) + 1(5)
798:    2(9) + 2*1(1) + 1(4)
799:    1(1) + 2(6) + 1(4) + 2(3)
800:    8*1(26) and 4*1(30) + 4*1(18)
801:    1(6) + 2*1(2) + 1(14) + 3(1)
802:    2(9) + 1(3) + 2(2) + 2*1(1)
803:    2(6) + 1(7) + 2*1(3) + 1(1)
804:    1(2) + 2*1(1) + 2(8) + 1(10)
805:    1(5) + 1(3) + 3*1(1) + 2(8)
806:    1(1) + 2*1(3) + 1(6) + 2(8)
807:    1(14) + 2(10)
808:    2(4) + 1(4) + 2(7)
809:    1(7) + 1(15) + 2*1(1) + 1(3) + 2(6)
810:    1(10) + 1(6) + 2(1) + 3*1(1) + 2(10)
811:    2(10) + 1(1) + 1(2)
812:    2(10) + 2(1) + 1(1) + 1(4)
813:    1(12) + 1(1) + 2(7)
814:    2*1(1) + 2(11) + 1(7)
815:    2(1) + 1(2) + 2(8)
816:    2*1(1) + 1(8) + 2*1(2) + 2(9)
817:    1(3) + 2(7) + 4*1(1) + 1(5)
818:    2*1(2) + 1(4) + 2(8) + 1(1)
819:    1(9) + 1(17) + 2(6)
820:    1(1) + 2(1) + 1(2) + 2(11)
821:    3(2) + 1(5) + 1(7) and 2(1) + 3(2) + 1(6)
822:    2*1(1) + 3(1) + 1(12) + 1(7)
823:    4*1(1) + 1(7) + 1(3) + 2(9)
824:    2(8) + 1(3) + 3*1(1) + 1(2)
825:    2(10) + 1(1) + 1(5) + 1(4)
826:    2(8) + 3*1(4)
827:    1(15) + 2(6) + 1(7) and 2(6) + 1(12) + 2*1(1) + 1(7)
828:    1(8) + 2(2) + 2*2(3)
829:    1(2) + 2(9) + 2*1(1) + 1(6)
830:    1(12) + 1(3) + 2(11) + 5*1(1)
831:    2(8) + 2(1) + 1(2) + 3*1(1)
832:    2(6) + 4*1(1) + 1(4) + 1(10)
833:    2*1(6) + 2(7) + 2*1(1)
834:    1(2) + 1(3) + 2(8) + 1(6)
835:    1(8) + 1(2) + 1(3) + 3(1)
836:    4*1(1) + 2(8)
837:    2(9) + 2(1) + 1(5) + 1(2)
838:    2(2) + 2*1(1) + 2(9)
839:    1(2) + 2(6) + 3*1(1) + 1(3)
840:    2(10) + 2(2) + 1(3) + 1(1)
841:    2(7) + 1(6) + 1(4) and 2(7) + 1(5) + 1(4) + 3*1(1)
842:    1(1) + 2*1(3) + 2(7)
843:    2(9) + 1(1) + 1(3)
844:    2(8) + 1(1) + 1(4)
845:    2(10) + 1(10) + 1(1)
846:    1(2) + 1(16) + 1(1) + 1(4) + 2(5)
847:    2(6) + 1(1) + 1(13) + 1(2)
848:    6*1(1) + 1(2) + 2(8)
849:    1(3) + 2(7) + 1(9)
850:    1(3) + 1(9) + 2(4) + 2*1(2) + 3(1)
851:    2(6) + 1(4) + 3*1(2)
852:    1(10) + 2(8) + 1(3) + 1(2)
853:    2(10)
854:    2*1(1) + 2(12) + 1(5) + 1(2)
855:    2(1) + 2(6) + 1(7) + 2(2)
856:    3*1(1) + 1(10) + 2(7)
857:    2(1) + 2(8)
858:    2(3) + 2(9) + 1(1) + 2*1(2) and 1(15) + 2(9) + 3*1(2)
859:    1(11) + 2(8) + 1(4)
860:    1(1) + 1(11) + 1(3) + 3(1) and 1(8) + 2*1(1) + 1(2) + 3(1)
861:    2(7) + 2*1(1) and 3(1) + 1(1) + 1(7)
862:    2(10) + 2(2)
863:    2*1(1) + 2(7) + 1(6) + 1(13)
864:    2*1(2) + 2(10)
865:    2*1(1) + 1(12) + 1(2) + 2(6)
866:    2*1(1) + 1(4) + 2(4) + 2(5)
867:    1(14) + 2(8) + 2*1(1) and 1(15) + 2(8) + 2*1(1)
868:    1(2) + 1(5) + 2(8)
869:    2*1(2) + 2(7) + 1(3) + 1(6)
870:    2(12) + 2(2) + 2*1(1)
871:    2(5) + 2(7) + 1(1)
872:    1(3) + 2(11) + 3*1(2)
873:    1(1) + 1(16) + 2(6) + 1(9)
874:    2(9) + 1(13) + 2*1(1) and 1(8) + 1(4) + 2(9) + 1(1)
875:    2(9) and 2(7) + 1(2) + 1(6)
876:    2(9) + 2*1(6)
877:    1(3) + 1(4) + 2*1(2) + 2(11)
878:    1(9) + 2(10)
879:    1(2) + 2(8) + 2*1(1) + 1(6)
880:    1(3) + 2*1(1) + 1(8) + 2(11)
881:    2(7) + 1(2) + 2*1(1) + 1(15)
882:    2(9) + 1(1) + 1(11) + 1(15)
883:    4*1(1) + 2(6)
884:    2*1(4) + 1(2) + 1(1) + 2(10)
885:    1(1) + 2(1) + 2(11)
886:    2*1(2) + 2(9)
887:    1(8) + 1(3) + 2(7) + 1(1)
888:    2(1) + 1(5) + 2(9)
889:    1(6) + 2(8) + 3*1(1) and 1(6) + 2(10) + 1(2) + 1(1) + 1(3)
890:    1(2) + 2(4) + 1(4) + 2(11)
891:    1(14) + 2(10) + 1(2) + 2(1)
892:    3*1(1) + 1(2) + 2(1) + 1(4) + 2(8)
893:    3*1(1) + 2(10) + 1(4)
894:    2(8) + 1(1) + 1(12) + 1(8)
895:    1(3) + 2(9) + 3*1(1) and 2*1(4) + 2(9) + 2*1(2)
896:    2*1(1) + 2(10) + 2*1(2)
897:    2(10) + 1(6) + 1(2) + 2*1(1)
898:    2(8) + 1(10) + 2*1(2)
899:    2(8) + 1(2) + 1(12) + 1(3)
900:    2*1(94) + 2*1(7) and 2*1(94) + 2*1(9)
901:    3*1(1) + 2(11) and 2(9) + 4*1(1)
902:    3*1(1) + 1(3) + 2(7) + 2*1(2)
903:    4*1(1) + 2(7) + 2*1(3)
904:    3*1(1) + 2(13) + 1(12) + 1(3)
905:    4*1(1) + 2(12) + 2*1(3)
906:    1(3) + 2(10)
907:    1(15) + 2(9)
908:    2(8) + 2(1) + 6*1(1)
909:    2(3) + 1(1) + 2(4) + 1(14)
910:    2*1(2) + 2(11) + 1(1) + 1(11)
911:    2(1) + 1(3) + 3(1) + 2*1(2)
912:    2(8) + 1(1) + 1(2) + 2(1)
913:    1(6) + 1(1) + 2(7) + 1(2)
914:    2(1) + 2(8) + 3*1(1) + 1(5)
915:    1(4) + 1(1) + 3(1) and 1(4) + 2(9) + 1(6)
916:    2*1(7) + 2(8)
917:    4*1(1) + 2(8) + 1(12)
918:    1(10) + 1(2) + 2(11)
919:    1(8) + 2(14) + 3*1(1)
920:    2(11) + 1(10) + 1(1) and 1(2) + 2(1) + 1(7) + 3(1) + 1(1)
921:    5*1(1) + 2(9) + 1(7)
922:    2(9) + 4*1(2) + 1(3) + 1(1)
923:    2(10) + 8*1(1)
924:    1(8) + 3(1) + 1(1) and 3(1) + 1(9) + 1(1)
925:    1(8) + 1(2) + 2(8) + 2*1(4) + 1(1)
926:    1(1) + 1(5) + 1(3) + 1(4) + 2(9)
927:    2(6) + 1(6) + 1(13)
928:    1(8) + 2(10) + 5*1(1)
929:    2(7) + 1(2) + 1(6) + 4*1(1)
930:    1(1) + 1(10) + 1(5) + 3(1) and 1(1) + 1(10) + 1(6) + 3(1)
931:    2(10) + 1(3) + 1(6)
932:    2(8) + 1(4) and 1(1) + 2(13) + 1(5)
933:    1(3) + 2(11) + 1(6)
934:    1(6) + 2*1(2) + 1(1) + 2(9)
935:    1(1) + 1(2) + 2(9) + 2*1(3)
936:    1(1) + 2*2(6) + 2(1) + 1(3)
937:    5*1(1) + 2(8) + 2(1)
938:    2(8) + 1(10) + 2*1(2) + 1(1)
939:    2*1(1) + 2(10) + 1(15) + 3*1(2)
940:    3(1) + 1(8) + 2*1(5)
941:    1(5) + 2(10) + 2*1(3) and 1(5) + 2(10) + 5*1(1)
942:    1(4) + 1(1) + 3(1) + 1(5)
943:    2(12) + 1(8)
944:    2*1(2) + 2*1(3) + 2(10)
945:    3(1) + 1(2) and 2(9) + 2(7)
946:    2(11) + 1(1) + 1(2) + 1(5)
947:    2(9) + 1(12) + 3*1(1)
948:    2(7) + 1(14) + 5*1(1)
949:    2(5) + 2(1) + 2*1(2)
950:    3(2) + 2*1(2) + 1(5) and 3(2) + 2*1(2) + 4*1(1)
951:    4*1(1) + 2*1(2) + 3(1)
952:    1(13) + 2(7) + 2*1(1)
953:    1(1) + 1(2) + 2(12) + 1(9)
954:    1(6) + 2(1) + 2(11)
955:    1(4) + 2*1(1) + 2(10)
956:    1(6) + 2*1(2) + 2(6)
957:    2(7) + 3*1(1) + 1(13)
958:    1(2) + 1(5) + 2(10) + 3*1(1)
959:    1(1) + 1(5) + 2(9) + 1(4)
960:    1(2) + 2*1(12) + 2(8) + 1(8)
961:    1(3) + 1(2) + 2(9)
962:    2(6) + 1(10) + 1(11)
963:    2(11) + 1(1)
964:    1(2) + 1(1) + 1(3) + 2(8) + 1(7)
965:    1(1) + 2*1(2) + 2*1(3) + 2(10)
966:    1(2) + 1(1) + 2(6) + 2(2) + 1(5) + 1(13)
967:    2(11) + 2*1(1) + 2*1(3)
968:    1(2) + 1(1) + 2(8) + 2(2)
969:    2(8) + 1(4) + 1(3) + 2*1(1) + 1(2)
970:    2*1(1) + 2(3) + 1(12) + 2(12)
971:    1(1) + 1(3) + 2(9) + 1(12)
972:    2(9) + 1(4) + 1(3) + 2(1)
973:    2(6) + 1(7) + 1(3) + 1(1)
974:    2(9) + 1(2) + 3*1(3) + 1(10)
975:    2(8) + 1(1) + 1(13) + 1(6)
976:    2(8) + 1(15) + 1(1) + 1(5)
977:    1(4) + 1(10) + 2(11)
978:    1(13) + 1(4) + 2(10)
979:    2(2) + 2(9)
980:    1(5) + 2*1(1) + 2(1) + 1(7) + 2(10)
981:    1(2) + 1(1) + 2(2) + 2(7) + 1(14)
982:    1(4) + 1(7) + 2(9)
983:    2(6) + 1(9) + 1(1) + 1(7)
984:    1(6) + 5*1(1) + 2(10)
985:    1(2) + 1(3) + 2(9) + 3*1(1) + 1(9)
986:    1(6) + 1(5) + 2(13)
987:    1(5) + 2(8) + 2(3) + 2*1(1)
988:    1(3) + 1(1) + 2(9) + 1(5)
989:    1(2) + 1(5) + 2(8) + 1(6)
990:    2(5) + 2(7) + 2*1(1)
991:    1(5) + 3*1(1) + 2(13) + 1(2)
992:    2(10) + 1(4) + 3*1(1) + 1(3)
993:    1(2) + 1(14) + 1(4) + 1(3) + 1(1) + 2(5)
994:    1(7) + 2(8) + 1(1)
995:    2*1(4) + 1(8) + 2(7) + 1(1)
996:    1(14) + 1(1) + 2(8)
997:    3*1(2) + 2(7) + 1(12)
998:    2(10) + 1(6) + 4*1(1)
999:    1(4) + 1(15) + 3*2(1)