This is David Stevenson's solution to exercise 7.1.2--67 (07 June 2010).

There are 855 gates; but the actual total is really 855-18-19=818, because
 (1) the first 18 are the inputs; and
 (2) we can replace the "or" operation in gates
            19, 21, ..., 35, 92, 163, 174, 196
     by "nor", thereby producing the respective gates
            20, 22, ..., 36, 93, 164, 175, 197.
 (3) we can replace the "and" operation in gates
            216, 234, 243, 246, 537, 634
     by "and not".

Total: 13 "nor", 6 "and not", 327 "or", 472 "and".

1=Input "O1"
2=Input "O2"
3=Input "O3"
4=Input "O4"
5=Input "O5"
6=Input "O6"
7=Input "O7"
8=Input "O8"
9=Input "O9"
10=Input "X1"
11=Input "X2"
12=Input "X3"
13=Input "X4"
14=Input "X5"
15=Input "X6"
16=Input "X7"
17=Input "X8"
18=Input "X9"
19=1|10 "O1 or X1"
20=~19 "m1"
21=2|11 "O2 or X2"
22=~21 "m2"
23=3|12 "O3 or X3"
24=~23 "m3"
25=4|13 "O4 or X4"
26=~25 "m4"
27=5|14 "O5 or X5"
28=~27 "m5"
29=6|15 "O6 or X6"
30=~29 "m6"
31=7|16 "O7 or X7"
32=~31 "m7"
33=8|17 "O8 or X8"
34=~33 "m8"
35=9|18 "O9 or X9"
36=~35 "m9"
37=11&12 "1XX"
38=10&12 "X2X"
39=10&11 "XX3"
40=14&15 "4XX"
41=13&15 "X5X"
42=13&14 "XX6"
43=17&18 "7XX"
44=16&18 "X8X"
45=16&17 "XX9"
46=13&16 "1XX"
47=10&16 "X4X"
48=10&13 "XX7"
49=14&17 "2XX"
50=11&17 "X5X"
51=11&14 "XX8"
52=15&18 "3XX"
53=12&18 "X6X"
54=12&15 "XX9"
55=14&18 "1XX"
56=10&18 "X5X"
57=10&14 "XX9"
58=14&16 "3XX"
59=12&16 "X5X"
60=12&14 "XX7"
61=46|37 "or XX lines with common cell"
62=55|61 "or XX lines with common cell"
63=62&20 "w1"
64=49|38 "or XX lines with common cell"
65=64&22 "w2"
66=65|63 "or possible X immediate win"
67=52|39 "or XX lines with common cell"
68=58|67 "or XX lines with common cell"
69=68&24 "w3"
70=69|66 "or possible X immediate win"
71=47|40 "or XX lines with common cell"
72=71&26 "w4"
73=72|70 "or possible X immediate win"
74=50|41 "or XX lines with common cell"
75=56|74 "or XX lines with common cell"
76=59|75 "or XX lines with common cell"
77=76&28 "w5"
78=77|73 "or possible X immediate win"
79=53|42 "or XX lines with common cell"
80=79&30 "w6"
81=80|78 "or possible X immediate win"
82=48|43 "or XX lines with common cell"
83=60|82 "or XX lines with common cell"
84=83&32 "w7"
85=84|81 "or possible X immediate win"
86=51|44 "or XX lines with common cell"
87=86&34 "w8"
88=87|85 "or possible X immediate win"
89=54|45 "or XX lines with common cell"
90=57|89 "or XX lines with common cell"
91=90&36 "w9"
92=88|91 "immediate win"
93=~92 "wbar - no immediate wins"
94=2&3 "1OO"
95=1&3 "O2O"
96=1&2 "OO3"
97=5&6 "4OO"
98=4&6 "O5O"
99=4&5 "OO6"
100=8&9 "7OO"
101=7&9 "O8O"
102=7&8 "OO9"
103=4&7 "1OO"
104=1&7 "O4O"
105=1&4 "OO7"
106=5&8 "2OO"
107=2&8 "O5O"
108=2&5 "OO8"
109=6&9 "3OO"
110=3&9 "O6O"
111=3&6 "OO9"
112=5&9 "1OO"
113=1&9 "O5O"
114=1&5 "OO9"
115=5&7 "3OO"
116=3&7 "O5O"
117=3&5 "OO7"
118=103|94 "or OO lines with common cell"
119=112|118 "or OO lines with common cell"
120=119&20 "b1"
121=106|95 "or OO lines with common cell"
122=121&22 "b2"
123=109|96 "or OO lines with common cell"
124=115|123 "or OO lines with common cell"
125=124&24 "b3"
126=104|97 "or OO lines with common cell"
127=126&26 "b4"
128=127|125 "or possible X blocks"
129=107|98 "or OO lines with common cell"
130=113|129 "or OO lines with common cell"
131=116|130 "or OO lines with common cell"
132=131&28 "b5"
133=110|99 "or OO lines with common cell"
134=133&30 "b6"
135=134|128 "or possible X blocks"
136=105|100 "or OO lines with common cell"
137=117|136 "or OO lines with common cell"
138=137&32 "b7"
139=138|135 "or possible X blocks"
140=108|101 "or OO lines with common cell"
141=140&34 "b8"
142=141|139 "or possible X blocks"
143=111|102 "or OO lines with common cell"
144=114|143 "or OO lines with common cell"
145=144&36 "b9"
146=145|142 "or possible X blocks"
147=93&119 "no wins and X1 blocks"
148=93&121 "no wins and X2 blocks"
149=93&131 "no wins and X5 blocks"
150=11&24 ".Xm top row"
151=12&22 ".mX top row"
152=150|151 "possible X1 fork (top row)"
153=14&36 ".Xm diagonal"
154=18&28 ".mX diagonal"
155=153|154 "possible X1 fork( diagonal)"
156=13&32 ".Xm first column"
157=16&26 ".mX first column"
158=156|157 "possible X1 fork(column)"
159=152&155 "X1 fork(row and diagonal)"
160=152&158 "X1 fork(row and column)"
161=159|160 "f1"
162=146|132 "O 3-9 will win"
163=162|122 "block other than 1"
164=~163 "no blocks except perhaps 1"
165=164&161 "no blocks and X1 forks"
166=147|165 "or no blocks and X1 forks"
167=10&24 "X.m top row"
168=12&20 "m.X top row"
169=167|168 "possible X2 fork(top row)"
170=14&34 ".Xm middle column"
171=17&28 ".mX middle column"
172=170|171 "possible X2 fork(middle column)"
173=169&172 "X2 fork(row and column)"
174=162|120 "block other than 2"
175=~174 "no blocks except perhaps 2"
176=175&173 "no blocks and X2 fork"
177=148|176 "or no blocks nd X2 forks"
178=10&36 "X.m 159 diagonal"
179=18&20 "m.X 159 diagonal"
180=178|179 "possible X5 fork(159 diagonal)"
181=12&32 "X.m 357 diagonal"
182=16&24 "m.X 357 diagonal"
183=181|182 "possible X5 fork(357 diagonal)"
184=13&30 "X.m middle row"
185=15&26 "m.X middle row"
186=184|185 "possible X5 fork(middle row)"
187=11&34 "X.m middle column"
188=17&22 "m.X middle column"
189=187|188 "possible X5 fork(middle column)"
190=180&183 "X5 fork (both diagonals)"
191=186&189 "X5 fork (row and column)"
192=180&189 "X5 fork (diagonal and column)"
193=190|191 "X5 fork (partial)"
194=193|192 "X5 fork"
195=146|122 "O 2346789 will win"
196=195|120 "block other than 5"
197=~196 "no blocks except perhaps 5"
198=197&194 "no blocks and X5 fork"
199=149|198 "or no blocks and X5 fork"
200=166|62 "or X1 wins immediately"
201=177|64 "or X2 wins immediately"
202=199|76 "or X5 wins immediately"
203=8&18 "...!...!.OX"
204=7&34 "...!...!Om."
205=32&8 "...!...!mO."
206=7&36 "...!...!O.m"
207=36|20 " or m1"
208=16&207 "...!...!X.. and (m9 or m1)"
209=6&8 "...!..O!.O."
210=15|12 " or x3"
211=36&210 "...!...!..m and (x6 or x3)"
212=15&17 "...!..X!.X."
213=6&18 "...!..O!..X"
214=15&32 "...!..X!m.."
215=~17 ""
216=30&215 "...!..m!... and not x8"
217=5&18 "...!.O.!..X"
218=17|11 " or x2"
219=5&218 "...!.O.!... and (x8 or x2)"
220=5&15 "...!.OX!..."
221=5&32 "...!.O.!m.."
222=5&34 "...!.O.!.m."
223=14&8 "...!.X.!.O."
224=28&8 "...!.m.!.O."
225=14&32 "...!.X.!m.."
226=28&34 "...!.m.!.m."
227=28&6 "...!.mO!..."
228=4&32 "...!O..!m.."
229=28&16 "...!.m.!X.."
230=13&17 "...!X..!.X."
231=13&36 "...!X..!..m"
232=26&17 "...!m..!.X."
233=26&28 "...!mm.!..."
234=~7 ""
235=3&234 "..O!...!... and not o7"
236=26&34 "...!m..!.m."
237=12&6 "..X!..O!..."
238=12&17 "..X!...!.X."
239=12&7 "..X!...!O.."
240=12&4 "..X!O..!..."
241=24&36 "..m!...!..m"
242=~15 ""
243=24&242 "..m!...!... and not x6"
244=2&24 ".Om!...!..."
245=~30 ""
246=2&245 ".O.!...!... and not m6"
247=11&8 ".X.!...!.O."
248=1&17 "O..!...!.X."
249=11&32 ".X.!...!m.."
250=11&28 ".X.!.m.!..."
251=11&3 ".XO!...!..."
252=22&3 ".mO!...!..."
253=22&5 ".m.!.O.!..."
254=22&28 ".m.!.m.!..."
255=1&34 "O..!...!.m."
256=1&12 "O.X!...!..."
257=1&22 "Om.!...!..."
258=10&5 "X..!.O.!..."
259=20&34 "m..!...!.m."
260=20&24 "m.m!...!..."
261=10&22 "Xm.!...!..."
262=32&18 "...!...!m.X"
263=17&36 "...!...!.Xm"
264=15&16 "...!..X!X.."
265=7&18 "...!...!O.X"
266=32&36 "...!...!m.m"
267=30&16 "...!..m!X.."
268=30&36 "...!..m!..m"
269=14&9 "...!.X.!..O"
270=28&30 "...!.mm!..."
271=26&9 "...!m..!..O"
272=24&14 "..m!.X.!..."
273=4&28 "...!Om.!..."
274=26&5 "...!mO.!..."
275=26&7 "...!m..!O.."
276=10&32 "X..!...!m.."
277=2&7 ".O.!...!O.."
278=3&32 "..O!...!m.."
279=12&13 "..X!X..!..."
280=2&4 ".O.!O..!..."
281=2&30 ".O.!..m!..."
282=24&17 "..m!...!.X."
283=1&8 "O..!...!.O."
284=20&30 "m..!..m!..."
285=10&9 "X..!...!..O"
286=20&36 "m..!...!..m"
287=20&13 "m..!X..!..."
288=20&28 "m..!.m.!..."
289=28&36 "...!.m.!..m"
290=30&18 "...!..m!..X"
291=1&6 "O..!..O!..."
292=13&18 "...!X..!..X"
293=34&36 "...!...!.mm"
294=26&32 "...!m..!m.."
295=32&9 "...!...!m.O"
296=17&9 "...!...!.XO"
297=28&9 "...!.m.!..O"
298=26&6 "...!m.O!..."
299=4&15 "...!O.X!..."
300=3&30 "..O!..m!..."
301=11&30 ".X.!..m!..."
302=24&15 "..m!..X!..."
303=30&17 "...!..m!.X."
304=24&30 "..m!..m!..."
305=24&5 "..m!.O.!..."
306=11&18 ".X.!...!..X"
307=1&24 "O.m!...!..."
308=22&34 ".m.!...!.m."
309=7&17 "...!...!OX."
310=2&26 ".O.!m..!..."
311=15&34 "...!..X!.m."
312=30&32 "...!..m!m.."
313=2&36 ".O.!...!..m"
314=6&34 "...!..O!.m."
315=12&34 "..X!...!.m."
316=3&26 "..O!m..!..."
317=2&34 ".O.!...!.m."
318=1&30 "O..!..m!..."
319=28&7 "...!.m.!O.."
320=2&6 ".O.!..O!..."
321=22&32 ".m.!...!m.."
322=26&8 "...!m..!.O."
323=20&4 "m..!O..!..."
324=1&26 "O..!m..!..."
325=24&7 "..m!...!O.."
326=5&36 "...!.O.!..m"
327=12&28 "..X!.m.!..."
328=28&32 "...!.m.!m.."
329=24&28 "..m!.m.!..."
330=34&9 "...!...!.mO"
331=24&32 "..m!...!m.."
332=26&36 "...!m..!..m"
333=8&36 "...!...!.Om"
334=26&30 "...!m.m!..."
335=30&34 "...!..m!.m."
336=11|284 " or m1m6"
337=13&336 "...!X..!... and (x2 or m1m6)"
338=26&261 "Xm.!m..!..."
339=1&321 "Om.!...!m.."
340=3&318 "O.O!..m!..."
341=28&333 "...!.m.!.Om"
342=15&288 "m..!.mX!..."
343=14&323 "m..!OX.!..."
344=326|330 " or m8o9"
345=32&344 "...!...!m.. and (o5m9 or m8o9)"
346=324|10 " or x1"
347=28&346 "...!.m.!... and (o1m4 or x1)"
348=1&331 "O.m!...!m.."
349=6|335 " or m6m8"
350=36&349 "...!...!..m and (o6 or m6m8)"
351=18|11 " or x2"
352=351|321 " or m2m7"
353=26&352 "...!m..!... and (x9 or x2 or m2m7)"
354=22&297 ".m.!.m.!..O"
355=22&300 ".mO!..m!..."
356=18&252 ".mO!...!..X"
357=8&312 "...!..m!mO."
358=3&328 "..O!.m.!m.."
359=24&317 ".Om!...!.m."
360=14&298 "...!mXO!..."
361=40&275 "...!mXX!O.."
362=310&309 ".O.!m..!OX."
363=329&287 "m.m!Xm.!..."
364=53&294 "..X!m..!m.X"
365=334&328 "...!mmm!m.."
366=292&291 "O..!X.O!..X"
367=44&226 "...!.m.!XmX"
368=290&273 "...!Omm!..X"
369=328&43 "...!.m.!mXX"
370=289&45 "...!.m.!XXm"
371=334&44 "...!m.m!X.X"
372=319&292 "...!Xm.!O.X"
373=335&42 "...!XXm!.m."
374=319&293 "...!.m.!Omm"
375=40&271 "...!mXX!..O"
376=328&41 "...!XmX!m.."
377=334&110 "..O!m.m!..O"
378=322&253 ".m.!mO.!.O."
379=295&280 ".O.!O..!m.O"
380=313&225 ".O.!.X.!m.m"
381=150&209 ".Xm!..O!.O."
382=334&307 "O.m!m.m!..."
383=335&313 ".O.!..m!.mm"
384=167&109 "X.m!..O!..O"
385=334&331 "..m!m.m!m.."
386=314&221 "...!.OO!mm."
387=325&298 "..m!m.O!O.."
388=334&104 "O..!m.m!O.."
389=332&264 "...!m.X!X.m"
390=167&157 "X.m!m..!X.."
391=326&105 "O..!OO.!..m"
392=291&266 "O..!..O!m.m"
393=156&315 "..X!X..!mm."
394=331&212 "..m!..X!mX."
395=333&331 "..m!...!mOm"
396=182&223 "..m!.X.!XO."
397=325&323 "m.m!O..!O.."
398=311&305 "..m!.OX!.m."
399=327&271 "..X!mm.!..O"
400=335&233 "...!mmm!.m."
401=335&156 "...!X.m!mm."
402=42&206 "...!XX.!O.m"
403=334&244 ".Om!m.m!..."
404=309&279 "..X!X..!OX."
405=329&230 "..m!Xm.!.X."
406=330&319 "...!.m.!OmO"
407=182&170 "..m!.X.!Xm."
408=156&203 "...!X..!mOX"
409=333&319 "...!.m.!OOm"
410=329&56 "X.m!.m.!..X"
411=313&307 "OOm!...!..m"
412=332&321 ".m.!m..!m.m"
413=334&326 "...!mOm!..m"
414=335&332 "...!m.m!.mm"
415=170&294 "...!mX.!mm."
416=323&304 "m.m!O.m!..."
417=326&325 "..m!.O.!O.m"
418=328&105 "O..!Om.!m.."
419=329&291 "O.m!.mO!..."
420=328&100 "...!.m.!mOO"
421=332&150 ".Xm!m..!..m"
422=331&298 "..m!m.O!m.."
423=329&232 "..m!mm.!.X."
424=335&325 "..m!..m!Om."
425=332&229 "...!mm.!X.m"
426=332&314 "...!m.O!.mm"
427=329&311 "..m!.mX!.m."
428=331&293 "..m!...!mmm"
429=374&324 "O..!mm.!Omm"
430=414&95 "O.O!m.m!.mm"
431=385&308 ".mm!m.m!mm."
432=414&321 ".m.!m.m!mmm"
433=424&297 "..m!.mm!OmO"
434=382&224 "O.m!mmm!.O."
435=371&247 ".X.!m.m!XOX"
436=375&182 "..m!mXX!X.O"
437=401&272 "..m!XXm!mm."
438=400&295 "...!mmm!mmO"
439=417&284 "m.m!.Om!O.m"
440=428&48 "X.m!X..!mmm"
441=385&286 "m.m!m.m!m.m"
442=414&260 "m.m!m.m!.mm"
443=428&270 "..m!.mm!mmm"
444=428&334 "..m!m.m!mmm"
445=428&280 ".Om!O..!mmm"
446=424&332 "..m!m.m!Omm"
447=428&324 "O.m!m..!mmm"
448=17&441 "m.m!m.m!mXm"
449=28&441 "m.m!mmm!m.m"
450=16|14 " or x5"
451=450&442 "m.m!m.m!.mm and (x7 or x5)"
452=20&433 "m.m!.mm!OmO"
453=290|267 " or m6x7"
454=453&363 "m.m!Xm.!... and (m6x9 or m6x7)"
455=34|26 " or m4"
456=455&439 "m.m!.Om!O.m and (m8 or m4)"
457=325&112 "..m!.O.!O.O"
458=457&287 "m.m!XO.!O.O"
459=329&323 "m.m!Om.!..."
460=459&100 "m.m!Om.!.OO"
461=331&40 "..m!.XX!m.."
462=461&259 "m.m!.XX!mm."
463=333|330 "o8m9 or m8o9"
464=463|227 " or m5o6"
465=464&397 "m.m!O..!O.. and (o8m9 or m8o9 or m5o6)"
466=112|345 " or m7"
467=466|319 " or m5o7"
468=467|341 " or m5o8m9"
469=468&416 "m.m!O.m!... and (o5o9 or m7 and (o5m9 or m8o9) or m5o7 or m5o8m9)"
470=395&320 ".Om!..O!mOm"
471=220|216 " or m6"
472=471&390 "X.m!m..!X.. and (o5x6 or m6 and not x8)"
473=387&258 "X.m!mOO!O.."
474=243&409 "...!.m.!OOm and (m3 and not x6)"
475=443|444 " or m3m4m6m7m8m9"
476=475&10 "X..!...!... and (..m!.mm!mmm or ..m!m.m!mmm)"
477=102|312 " or m6m7"
478=477|236 " or m4m8"
479=478|294 " or m4m7"
480=479&410 "X.m!.m.!..X and (o7o8 or m6m7 or m4m8 or m4m7)"
481=273|204 " or o7m8"
482=481&384 "X.m!..O!..O and (o4m5 or o7m8)"
483=57|48 " or x1x4"
484=483&395 "..m!...!mOm and (x1x5 or x1x4)"
485=325&99 "..m!OO.!O.."
486=485&303 "..m!OOm!OX."
487=285|288 " or m1m5"
488=487&394 "..m!..X!mX. and (x1o9 or m1m5)"
489=422&257 "Omm!m.O!m.."
490=412&340 "OmO!m.m!m.m"
491=385&306 ".Xm!m.m!m.X"
492=1&446 "O.m!m.m!Omm"
493=311|214 " or x6m7"
494=493|267 " or m6x7"
495=494|276 " or x1m7"
496=495&421 ".Xm!m..!..m and (x6m8 or x6m7 or m6x7 or x1m7)"
497=6&447 "O.m!m.O!mmm"
498=381&324 "OXm!m.O!.O."
499=337|338 " or x1m2m4"
500=499&428 "..m!...!mmm and (x4 and (x2 or m1m6) or x1m2m4)"
501=414&37 ".XX!m.m!.mm"
502=104|339 " or o1m2m7"
503=502&426 "...!m.O!.mm and (o1o7 or o1m2m7)"
504=333&156 "...!X..!mOm"
505=504&37 ".XX!X..!mOm"
506=32|22 " or m2"
507=506&430 "O.O!m.m!.mm and (m7 or m2)"
508=301|150 " or x2m3"
509=508&408 "...!X..!mOX and (x2m6 or x2m3)"
510=333&318 "O..!..m!.Om"
511=510&251 "OXO!..m!.Om"
512=403&104 "OOm!m.m!O.."
513=228|314 " or o6m8"
514=513|335 " or m6m8"
515=514|275 " or m4o7"
516=515&411 "OOm!...!..m and (o4m7 or o6m8 or m6m8 or m4o7)"
517=283|335 " or m6m8"
518=517&364 "..X!m..!m.X and (o1o8 or m6m8)"
519=317|322 "o2m8 or m4o8"
520=519&392 "O..!..O!m.m and (o2m8 or m4o8)"
521=104&320 "OO.!..O!O.."
522=521&279 "OOX!X.O!O.."
523=36|32 " or m7"
524=523&434 "O.m!mmm!.O. and (m9 or m7)"
525=347|99 " or o4o5"
526=525|112 " or o5o9"
527=526&424 "..m!..m!Om. and (m5 and (o1m4 or x1) or o4o5 or o5o9)"
528=282|167 " or x1m3"
529=528&425 "...!mm.!X.m and (m3x8 or x1m3)"
530=104|262 " or m7x9"
531=530&423 "..m!mm.!.X. and (o1o7 or m7x9)"
532=382&330 "O.m!m.m!.mO"
533=283|112 " or o5o9"
534=533|100 " or o8o9"
535=534&422 "..m!m.O!m.. and (o1o8 or o5o9 or o8o9)"
536=~28 ""
537=447&536 "O.m!m..!mmm and not m5"
538=372&302 "..m!XmX!O.X"
539=405&266 "..m!Xm.!mXm"
540=292|463 ""
541=540|296 " or x8o9"
542=541|322 " or m4o8"
543=542&419 "O.m!.mO!... and (x4x9 or o8m9 or x8o9 or m8o9 or m4o8)"
544=184|178 " or x1m9"
545=544|179 " or m1x9"
546=545&396 "..m!.X.!XO. and (x4m6 or x1m9 or m1x9)"
547=42|343 " or m1o4x5"
548=547|342 " or m1m5x6"
549=548&428 "..m!...!mmm and (x4x5 or m1o4x5 or m1m5x6)"
550=248|323 " or m1o4"
551=550&417 "..m!.O.!O.m and (o1x8 or m1o4)"
552=386&307 "O.m!.OO!mm."
553=367&304 "..m!.mm!XmX"
554=208|178 " or x1m9"
555=554|276 " or x1m7"
556=555&427 "..m!.mX!.m. and (x7 and (m9 or m1) or x1m9 or x1m7)"
557=105|332 " or m4m9"
558=557|286 " or m1m9"
559=558|284 " or m1m6"
560=559&407 "..m!.X.!Xm. and (o1o4 or m4m9 or m1m9 or m1m6)"
561=44|231 " or x4m9"
562=561|285 " or x1o9"
563=562&398 "..m!.OX!.m. and (x7x9 or x4m9 or x1o9)"
564=1&438 "O..!mmm!mmO"
565=30|24 " or m3"
566=565&429 "O..!mm.!Omm and (m6 or m3)"
567=399&104 "O.X!mm.!O.O"
568=463|305 " or m3o5"
569=568&388 "O..!m.m!O.. and (o8m9 or m8o9 or m3o5)"
570=256|302 " or m3x6"
571=570&415 "...!mX.!mm. and (o1x3 or m3x6)"
572=104|348 " or o1m3m7"
573=572&413 "...!mOm!..m and (o1o7 or o1m3m7)"
574=392&274 "O..!mOO!m.m"
575=426&114 "O..!mOO!.mm"
576=318|324 " or o1m4"
577=576&420 "...!.m.!mOO and (o1m6 or o1m4)"
578=406&318 "O..!.mm!OmO"
579=327|167 " or x1m3"
580=579&408 "...!X..!mOX and (x3m5 or x1m3)"
581=404&289 "..X!Xm.!OXm"
582=213|269 " or x5o9"
583=582|289 " or m5m9"
584=583&393 "..X!X..!mm. and (o6x9 or x5o9 or m5m9)"
585=239|272 " or m3x5"
586=585&366 "O..!X.O!..X and (x3o7 or m3x5)"
587=368&59 "..X!Omm!X.X"
588=333&327 "..X!.m.!.Om"
589=588&264 "..X!.mX!XOm"
590=350|314 " or o6m8"
591=296|330 "x8o9 or m8o9"
592=590|591 ""
593=592&418 "O..!Om.!m.. and (m9 and (o6 or m6m8) or o6m8 or x8o9 or m8o9)"
594=335|312 " or m6m7"
595=594|331 " or m3m7"
596=595&391 "O..!OO.!..m and (m6m8 or m6m7 or m3m7)"
597=153|305 " or m3o5"
598=597&401 "...!X.m!mm. and (x5m9 or m3o5)"
599=402&255 "O..!XX.!Omm"
600=373&265 "...!XXm!OmX"
601=299|318 " or o1m6"
602=601&370 "...!.m.!XXm and (o4x6 or o1m6)"
603=18|14 " or x5"
604=603&431 ".mm!m.m!mm. and (x9 or x5)"
605=14|12 " or x3"
606=605&432 ".m.!m.m!mmm and (x5 or x3)"
607=375&188 ".m.!mXX!.XO"
608=371&308 ".m.!m.m!XmX"
609=311|40 " or x5x6"
610=609|327 " or x3m5"
611=610&412 ".m.!m..!m.m and (x6m8 or x5x6 or x3m5)"
612=278|237 " or x3o6"
613=612&378 ".m.!mO.!.O. and (o3m7 or x3o6)"
614=26&433 "..m!mmm!OmO"
615=326|354 " or m2m5o9"
616=615&422 "..m!m.O!m.. and (o5m9 or m2m5o9)"
617=309|357 " or m6m7o8"
618=617&421 ".Xm!m..!..m and (o7x8 or m6m7o8)"
619=309&306 ".X.!...!OXX"
620=619&274 ".X.!mO.!OXX"
621=381&295 ".Xm!..O!mOO"
622=3&438 "..O!mmm!mmO"
623=205|254 " or m2m5"
624=623&377 "..O!m.m!..O and (m7o8 or m2m5)"
625=414&51 ".X.!mXm!.mm"
626=401&250 ".X.!Xmm!mm."
627=374&111 "..O!.mO!Omm"
628=326&111 "..O!.OO!..m"
629=628&249 ".XO!.OO!m.m"
630=246|290 " or m6x9"
631=630|301 " or x2m6"
632=631&423 "..m!mm.!.X. and (o2 and not m6 or m6x9 or x2m6)"
633=~22 ""
634=446&633 "..m!m.m!Omm and not m2"
635=313|222 " or o5m8"
636=635&387 "..m!m.O!O.. and (o2m9 or o5m8)"
637=263|269 " or x5o9"
638=637|297 " or m5o9"
639=638&403 ".Om!m.m!... and (x8m9 or x5o9 or m5o9)"
640=13&443 "..m!Xmm!mmm"
641=265|268 " or m6m9"
642=641|312 " or m6m7"
643=642&405 "..m!Xm.!.X. and (o7x9 or m6m9 or m6m7)"
644=373&241 "..m!XXm!.mm"
645=424&108 ".Om!.Om!Om."
646=108|360 " or m4x5o6"
647=646&428 "..m!...!mmm and (o2o5 or m4x5o6)"
648=519&417 "..m!.O.!O.m and (o2m8 or m4o8)"
649=28&445 ".Om!Om.!mmm"
650=262|353 " or m4"
651=650&427 "..m!.mX!.m. and (m7x9 or m4 and (x9 or x2 or m2m7))"
652=30&445 ".Om!O.m!mmm"
653=394&217 "..m!.OX!mXX"
654=238|306 " or x2x9"
655=654&365 "...!mmm!m.. and (x3x8 or x2x9)"
656=53|59 " or x3x7"
657=656|356 " or m2o3x9"
658=657&400 "...!mmm!.m. and (x3x9 or x3x7 or m2o3x9)"
659=310|300 "o2m4 or o3m6"
660=659|316 " or o3m4"
661=660&406 "...!.m.!OmO and (o2m4 or o3m6 or o3m4)"
662=320|321 " or m2m7"
663=662&399 "..X!mm.!..O and (o2o6 or m2m7)"
664=60|327 " or x3m5"
665=664&362 ".O.!m..!OX. and (x3x5 or x3m5)"
666=310|316 "o2m4 or o3m4"
667=666&386 "...!.OO!mm. and (o2m4 or o3m4)"
668=108|277 " or o2o7"
669=668|117 " or o3o5"
670=669|358 " or o3m5m7"
671=670&426 "...!m.O!.mm and (o2o5 or o2o7 or o3o5 or o3m5m7)"
672=281|659 ""
673=672&420 "...!.m.!mOO and (o2m6 or o2m4 or o3m6)"
674=281|316 " or o3m4"
675=674&409 "...!.m.!OOm and (o2m6 or o3m4)"
676=372&315 "..X!Xm.!OmX"
677=320|268 " or m6m9"
678=677|270 " or m5m6"
679=678&404 "..X!X..!OX. and (o2o6 or m6m9 or m5m6)"
680=335&328 "...!.mm!mm."
681=680&53 "..X!.mm!mmX"
682=327|302 " or m3x6"
683=682&379 ".O.!O..!m.O and (x3m5 or m3x6)"
684=303|315 "m6x8 or x3m8"
685=684|359 " or o2m3m8"
686=685|301 " or x2m6"
687=686|355 " or m2o3m6"
688=687&425 "...!mm.!X.m and (m6x8 or x3m8 or o2m3m8 or x2m6 or m2o3m6)"
689=211|151 " or m2x3"
690=689&415 "...!mX.!mm. and (m9 and (x6 or x3) or m2x3)"
691=322|240 " or x3o4"
692=691&380 ".O.!.X.!m.m and (m4o8 or x3o4)"
693=263|293 " or m8m9"
694=693&361 "...!mXX!O.. and (x8m9 or m8m9)"
695=235|277 " or o2o7"
696=695&413 "...!mOm!..m and (o3 and not o7 or o2o7)"
697=219|308 " or m2m8"
698=697&389 "...!m.X!X.m and (o5 and (x8 or x2) or m2m8)"
699=296|317 " or o2m8"
700=699&376 "...!XmX!m.. and (x8o9 or o2m8)"
701=116|99 " or o4o5"
702=701&383 ".O.!..m!.mm and (o3o7 or o4o5)"
703=684|282 " or m3x8"
704=703&402 "...!XX.!O.m and (m6x8 or x3m8 or m3x8)"
705=368&94 ".OO!Omm!..X"
706=299|316 " or o3m4"
707=706&369 "...!.m.!mXX and (o4x6 or o3m4)"
708=367&299 "...!OmX!XmX"
709=640|437 "..m!Xmm!mmm"
710=436|709 "..m!mXX!X.O"
711=444|652 "..m!m.m!mmm"
712=435|711 ".X.!m.m!XOX"
713=708|200 "...!OmX!XmX"
714=707|713 "...!.m.!mXX and (o4x6 or o3m4)"
715=705|714 ".OO!Omm!..X"
716=704|715 "...!XX.!O.m and (m6x8 or x3m8 or m3x8)"
717=702|716 ".O.!..m!.mm and (o3o7 or o4o5)"
718=700|717 "...!XmX!m.. and (x8o9 or o2m8)"
719=698|718 "...!m.X!X.m and (o5 and (x8 or x2) or m2m8)"
720=696|719 "...!mOm!..m and (o3 and not o7 or o2o7)"
721=694|720 "...!mXX!O.. and (x8m9 or m8m9)"
722=692|721 ".O.!.X.!m.m and (m4o8 or x3o4)"
723=690|722 "...!mX.!mm. and (m9 and (x6 or x3) or m2x3)"
724=688|723 "...!mm.!X.m and (m6x8 or x3m8 or o2m3m8 or x2m6 or m2o3m6)"
725=683|724 ".O.!O..!m.O and (x3m5 or m3x6)"
726=681|725 "..X!.mm!mmX"
727=679|726 "..X!X..!OX. and (o2o6 or m6m9 or m5m6)"
728=676|727 "..X!Xm.!OmX"
729=675|728 "...!.m.!OOm and (o2m6 or o3m4)"
730=673|729 "...!.m.!mOO and (o2m6 or o2m4 or o3m6)"
731=671|730 "...!m.O!.mm and (o2o5 or o2o7 or o3o5 or o3m5m7)"
732=667|731 "...!.OO!mm. and (o2m4 or o3m4)"
733=665|732 ".O.!m..!OX. and (x3x5 or x3m5)"
734=663|733 "..X!mm.!..O and (o2o6 or m2m7)"
735=661|734 "...!.m.!OmO and (o2m4 or o3m6 or o3m4)"
736=658|735 "...!mmm!.m. and (x3x9 or x3x7 or m2o3x9)"
737=655|736 "...!mmm!m.. and (x3x8 or x2x9)"
738=653|737 "..m!.OX!mXX"
739=651|738 "..m!.mX!.m. and (m7x9 or m4 and (x9 or x2 or m2m7))"
740=649|739 ".Om!Om.!mmm"
741=648|740 "..m!.O.!O.m and (o2m8 or m4o8)"
742=647|741 "..m!...!mmm and (o2o5 or m4x5o6)"
743=645|742 ".Om!.Om!Om."
744=644|743 "..m!XXm!.mm"
745=643|744 "..m!Xm.!.X. and (o7x9 or m6m9 or m6m7)"
746=639|745 ".Om!m.m!... and (x8m9 or x5o9 or m5o9)"
747=636|746 "..m!m.O!O.. and (o2m9 or o5m8)"
748=634|747 "..m!m.m!Omm and not m2"
749=632|748 "..m!mm.!.X. and (o2 and not m6 or m6x9 or x2m6)"
750=629|749 ".XO!.OO!m.m"
751=627|750 "..O!.mO!Omm"
752=626|751 ".X.!Xmm!mm."
753=625|752 ".X.!mXm!.mm"
754=624|753 "..O!m.m!..O and (m7o8 or m2m5)"
755=622|754 "..O!mmm!mmO"
756=621|755 ".Xm!..O!mOO"
757=620|756 ".X.!mO.!OXX"
758=618|757 ".Xm!m..!..m and (o7x8 or m6m7o8)"
759=616|758 "..m!m.O!m.. and (o5m9 or m2m5o9)"
760=614|759 "..m!mmm!OmO"
761=613|760 ".m.!mO.!.O. and (o3m7 or x3o6)"
762=611|761 ".m.!m..!m.m and (x6m8 or x5x6 or x3m5)"
763=608|762 ".m.!m.m!XmX"
764=607|763 ".m.!mXX!.XO"
765=606|764 ".m.!m.m!mmm and (x5 or x3)"
766=604|765 ".mm!m.m!mm. and (x9 or x5)"
767=710|766 "common with X2"
768=712|767 "common with X5"
769=602|201 "...!.m.!XXm and (o4x6 or o1m6)"
770=600|769 "...!XXm!OmX"
771=599|770 "O..!XX.!Omm"
772=598|771 "...!X.m!mm. and (x5m9 or m3o5)"
773=596|772 "O..!OO.!..m and (m6m8 or m6m7 or m3m7)"
774=593|773 "O..!Om.!m.. and (m9 and (o6 or m6m8) or o6m8 or x8o9 or m8o9)"
775=589|774 "..X!.mX!XOm"
776=587|775 "..X!Omm!X.X"
777=586|776 "O..!X.O!..X and (x3o7 or m3x5)"
778=584|777 "..X!X..!mm. and (o6x9 or x5o9 or m5m9)"
779=581|778 "..X!Xm.!OXm"
780=580|779 "...!X..!mOX and (x3m5 or x1m3)"
781=578|780 "O..!.mm!OmO"
782=577|781 "...!.m.!mOO and (o1m6 or o1m4)"
783=575|782 "O..!mOO!.mm"
784=574|783 "O..!mOO!m.m"
785=573|784 "...!mOm!..m and (o1o7 or o1m3m7)"
786=571|785 "...!mX.!mm. and (o1x3 or m3x6)"
787=569|786 "O..!m.m!O.. and (o8m9 or m8o9 or m3o5)"
788=567|787 "O.X!mm.!O.O"
789=566|788 "O..!mm.!Omm and (m6 or m3)"
790=564|789 "O..!mmm!mmO"
791=563|790 "..m!.OX!.m. and (x7x9 or x4m9 or x1o9)"
792=560|791 "..m!.X.!Xm. and (o1o4 or m4m9 or m1m9 or m1m6)"
793=556|792 "..m!.mX!.m. and (x7 and (m9 or m1) or x1m9 or x1m7)"
794=553|793 "..m!.mm!XmX"
795=552|794 "O.m!.OO!mm."
796=551|795 "..m!.O.!O.m and (o1x8 or m1o4)"
797=549|796 "..m!...!mmm and (x4x5 or m1o4x5 or m1m5x6)"
798=546|797 "..m!.X.!XO. and (x4m6 or x1m9 or m1x9)"
799=543|798 "O.m!.mO!... and (x4x9 or o8m9 or x8o9 or m8o9 or m4o8)"
800=539|799 "..m!Xm.!mXm"
801=538|800 "..m!XmX!O.X"
802=537|801 "O.m!m..!mmm and not m5"
803=535|802 "..m!m.O!m.. and (o1o8 or o5o9 or o8o9)"
804=532|803 "O.m!m.m!.mO"
805=531|804 "..m!mm.!.X. and (o1o7 or m7x9)"
806=529|805 "...!mm.!X.m and (m3x8 or x1m3)"
807=527|806 "..m!..m!Om. and (m5 and (o1m4 or x1) or o4o5 or o5o9)"
808=524|807 "O.m!mmm!.O. and (m9 or m7)"
809=488|808 "..m!..X!mX. and (x1o9 or m1m5)"
810=486|809 "..m!OOm!OX."
811=484|810 "..m!...!mOm and (x1x5 or x1x4)"
812=482|811 "X.m!..O!..O and (o4m5 or o7m8)"
813=480|812 "X.m!.m.!..X and (o7o8 or m6m7 or m4m8 or m4m7)"
814=476|813 "X..!...!... and (..m!.mm!mmm or ..m!m.m!mmm)"
815=474|814 "...!.m.!OOm and (m3 and not x6)"
816=473|815 "X.m!mOO!O.."
817=472|816 "X.m!m..!X.. and (o5x6 or m6 and not x8)"
818=469|817 "m.m!O.m!... and (o5o9 or m7 and (o5m9 or m8o9) or m5o7 or m5o8m9)"
819=465|818 "m.m!O..!O.. and (o8m9 or m8o9 or m5o6)"
820=462|819 "m.m!.XX!mm."
821=460|820 "m.m!Om.!.OO"
822=458|821 "m.m!XO.!O.O"
823=456|822 "m.m!.Om!O.m and (m8 or m4)"
824=454|823 "m.m!Xm.!... and (m6x9 or m6x7)"
825=452|824 "m.m!.mm!OmO"
826=451|825 "m.m!m.m!.mm and (x7 or x5)"
827=449|826 "m.m!mmm!m.m"
828=710|827 "common with X1"
829=440|828 "common with X5"
830=522|202 "OOX!X.O!O.."
831=520|830 "O..!..O!m.m and (o2m8 or m4o8)"
832=518|831 "..X!m..!m.X and (o1o8 or m6m8)"
833=516|832 "OOm!...!..m and (o4m7 or o6m8 or m6m8 or m4o7)"
834=512|833 "OOm!m.m!O.."
835=511|834 "OXO!..m!.Om"
836=509|835 "...!X..!mOX and (x2m6 or x2m3)"
837=507|836 "O.O!m.m!.mm and (m7 or m2)"
838=505|837 ".XX!X..!mOm"
839=503|838 "...!m.O!.mm and (o1o7 or o1m2m7)"
840=501|839 ".XX!m.m!.mm"
841=500|840 "..m!...!mmm and (x4 and (x2 or m1m6) or x1m2m4)"
842=498|841 "OXm!m.O!.O."
843=497|842 "O.m!m.O!mmm"
844=496|843 ".Xm!m..!..m and (x6m8 or x6m7 or m6x7 or x1m7)"
845=492|844 "O.m!m.m!Omm"
846=491|845 ".Xm!m.m!m.X"
847=490|846 "OmO!m.m!m.m"
848=489|847 "Omm!m.O!m.."
849=470|848 ".Om!..O!mOm"
850=448|849 "m.m!m.m!mXm"
851=712|850 "common with X1"
852=440|851 "common with X2"
853=768&20 "the C output"
854=829&22 "the S output"
855=852&28 "the M output"