:!((a*b)+c)
"an21" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	and0 and 1 2
0 1 
4	q nor 0 2
3 2 


:!((a*b)+(c*d))
"an22" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 2
0 1 
5	and1 and 1 2
2 3 
6	q nor 0 2
4 5 


:!((a*b*c)+d))
"an31" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 3
0 1 2 
5	q nor 0 2
4 3 


:!((a*b*c)+(d*e))
"an32" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 3
0 1 2 
6	and1 and 1 2
3 4 
7	q nor 0 2
5 6 


:!((a*b*c)+(d*e*f))
"an33" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 3
0 1 2 
7	and1 and 1 3
3 4 5 
8	q nor 0 2
6 7 


:!((a*b)+c+d)
"an211" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 2
0 1 
5	q nor 0 3
4 2 3 


:!((a*b)+(c*d)+e)
"an221" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 2
0 1 
6	and1 and 1 2
2 3 
7	q nor 0 3
5 6 4 


:!((a*b)+(c*d)+(e*f))
"an222" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 2
0 1 
7	and1 and 1 2
2 3 
8	and2 and 1 2
4 5 
9	q nor 0 3
6 7 8 


:!((a*b*c)+d+e)
"an311" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 3
0 1 2 
6	q nor 0 3
5 3 4 


:!((a*b*c)+(d*e)+f)
"an321" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 3
0 1 2 
7	and1 and 1 2
3 4 
8	q nor 0 3
6 7 5 


:!((a*b*c)+(d*e)+(f*g))
"an322" 11
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	and0 and 1 3
0 1 2 
8	and1 and 1 2
3 4 
9	and2 and 1 2
5 6 
10	q nor 0 3
7 8 9 


:!((a*b*c)+(d*e*f)+g)
"an331" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	and0 and 1 3
0 1 2 
8	and1 and 1 3
3 4 5 
9	q nor 0 3
7 8 6 


:!((a*b*c)+(d*e*f)+(g*h))
"an332" 12
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	and0 and 1 3
0 1 2 
9	and1 and 1 3
3 4 5 
10	and2 and 1 2
6 7 
11	q nor 0 3
8 9 10 


:!((a*b*c)+(d*e*f)+(g*h*i))
"an333" 13
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	i inpt 1 0
9	and0 and 1 3
0 1 2 
10	and1 and 1 3
3 4 5 
11	and2 and 1 3
6 7 8 
12	q nor 0 3
9 10 11 


:((a*b)+c)
"ao21" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	and0 and 1 2
0 1 
4	q or 0 2
3 2 


:((a*b)+(c*d))
"ao22" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 2
0 1 
5	and1 and 1 2
2 3 
6	q or 0 2
4 5 


:((a*b*c)+d)
"ao31" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 3
0 1 2 
5	q or 0 2
4 3 


:((a*b*c)+(d*e))
"ao32" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 3
0 1 2 
6	and1 and 1 2
3 4 
7	q or 0 2
5 6 


:((a*b*c)+(d*e*f))
"ao33" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 3
0 1 2 
7	and1 and 1 3
3 4 5 
8	q or 0 2
6 7 


:((a*b)+c+d)
"ao211" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	and0 and 1 2
0 1 
5	q or 0 3
4 2 3 


:((a*b)+(c*d)+e)
"ao221" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 2
0 1 
6	and1 and 1 2
2 3 
7	q or 0 3
5 6 4 


:((a*b)+(c*d)+(e*f))
"ao222" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 2
0 1 
7	and1 and 1 2
2 3 
8	and2 and 1 2
4 5 
9	q or 0 3
6 7 8 


:((a*b*c)+d+e)
"ao311" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	and0 and 1 3
0 1 2 
6	q or 0 3
5 3 4 


:((a*b*c)+(d*e)+f)
"ao321" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	and0 and 1 3
0 1 2 
7	and1 and 1 2
3 4 
8	q or 0 3
6 7 5 


:((a*b*c)+(d*e)+(f*g))
"ao322" 11
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	and0 and 1 3
0 1 2 
8	and1 and 1 2
3 4 
9	and2 and 1 2
5 6 
10	q or 0 3
7 8 9 


:((a*b*c)+(d*e*f)+g)
"ao331" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	and0 and 1 3
0 1 2 
8	and1 and 1 3
3 4 5 
9	q or 0 3
7 8 6 


:((a*b*c)+(d*e*f)+(g*h))
"ao332" 12
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	and0 and 1 3
0 1 2 
9	and1 and 1 3
3 4 5 
10	and2 and 1 2
6 7 
11	q or 0 3
8 9 10 


:((a*b*c)+(d*e*f)+(g*h*i))
"ao333" 13
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	i inpt 1 0
9	and0 and 1 3
0 1 2 
10	and1 and 1 3
3 4 5 
11	and2 and 1 3
6 7 8 
12	q or 0 3
9 10 11 


:(a*b)
"and2" 3
0	a inpt 1 0
1	b inpt 1 0
2	q and 0 2
0 1 


:(a*b*c)
"and3" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q and 0 3
0 1 2 


:(a*b*c*d)
"and4" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q and 0 4
0 1 2 3 


:(a*b*c*d*e)
"and5" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q and 0 5
0 1 2 3 4 


:(a*b*c*d*e*f)
"and6" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q and 0 6
0 1 2 3 4 5 


:(a*b*c*d*e*f*g)
"and7" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q and 0 7
0 1 2 3 4 5 6 


:(a*b*c*d*e*f*g*h)
"and8" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q and 0 8
0 1 2 3 4 5 6 7 


:(a*b)
"and22" 3
0	a inpt 1 0
1	b inpt 1 0
2	q and 0 2
0 1 


:(a*b)
"and23" 3
0	a inpt 1 0
1	b inpt 1 0
2	q and 0 2
0 1 


:(a*b*c)
"and32" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q and 0 3
0 1 2 


:(a*b*c)
"and33" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q and 0 3
0 1 2 


:(a*b*c*d)
"and42" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q and 0 4
0 1 2 3 


:(a*b*c*d)
"and43" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q and 0 4
0 1 2 3 


:(a*b*c*d*e)
"and52" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q and 0 5
0 1 2 3 4 


:(a*b*c*d*e)
"and53" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q and 0 5
0 1 2 3 4 


:(a*b*c*d*e*f)
"and62" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q and 0 6
0 1 2 3 4 5 


:(a*b*c*d*e*f)
"and63" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q and 0 6
0 1 2 3 4 5 


:(a*b*c*d*e*f*g)
"and72" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q and 0 7
0 1 2 3 4 5 6 


:(a*b*c*d*e*f*g)
"and73" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q and 0 7
0 1 2 3 4 5 6 


:(a*b*c*d*e*f*g*h)
"and82" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q and 0 8
0 1 2 3 4 5 6 7 


:(a*b*c*d*e*f*g*h)
"and83" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q and 0 8
0 1 2 3 4 5 6 7 


:!a
"in1" 2
0	a inpt 1 0
1	q not 0 1
0 


:!a
"in2" 2
0	a inpt 1 0
1	q not 0 1
0 


:!a
"in3" 2
0	a inpt 1 0
1	q not 0 1
0 


:!a
"in4" 2
0	a inpt 1 0
1	q not 0 1
0 


:!a
"in8" 2
0	a inpt 1 0
1	q not 0 1
0 


:(!s*i0)+(s*i1)
"mu2" 9
0	s inpt 2 0
1	i0 inpt 1 0
2	i1 inpt 1 0
3	from0 from 1 1
0 
4	not0 not 1 1
3 
5	and0 and 1 2
4 1 
6	from1 from 1 1
0 
7	and1 and 1 2
6 2 
8	q or 0 2
5 7 


:(i0*!s0*!s1)+(i1*s0*!s1)+(i2*!s0*s1)+(i3*s0*s1)
"mu4" 23
0	i0 inpt 1 0
1	s0 inpt 4 0
2	s1 inpt 4 0
3	i1 inpt 1 0
4	i2 inpt 1 0
5	i3 inpt 1 0
6	from0 from 1 1
1 
7	not0 not 1 1
6 
8	from1 from 1 1
2 
9	not1 not 1 1
8 
10	and0 and 1 3
0 7 9 
11	from2 from 1 1
1 
12	from3 from 1 1
2 
13	not2 not 1 1
12 
14	and1 and 1 3
3 11 13 
15	from4 from 1 1
1 
16	not3 not 1 1
15 
17	from5 from 1 1
2 
18	and2 and 1 3
4 16 17 
19	from6 from 1 1
1 
20	from7 from 1 1
2 
21	and3 and 1 3
5 19 20 
22	q or 0 4
10 14 18 21 


:(i0*!s0*!s1*!s2)+(i1*s0*!s1*!s2)+(i2*!s0*s1*!s2)+(i3*s0*s1*!s2)+(i4*!s0*!s1*s2)+(i5*s0*!s1*s2)+(i6*!s0*s1*s2)+(i7*s0*s1*s2)
"mu8" 56
0	i0 inpt 1 0
1	s0 inpt 8 0
2	s1 inpt 8 0
3	s2 inpt 8 0
4	i1 inpt 1 0
5	i2 inpt 1 0
6	i3 inpt 1 0
7	i4 inpt 1 0
8	i5 inpt 1 0
9	i6 inpt 1 0
10	i7 inpt 1 0
11	from0 from 1 1
1 
12	not0 not 1 1
11 
13	from1 from 1 1
2 
14	not1 not 1 1
13 
15	from2 from 1 1
3 
16	not2 not 1 1
15 
17	and0 and 1 4
0 12 14 16 
18	from3 from 1 1
1 
19	from4 from 1 1
2 
20	not3 not 1 1
19 
21	from5 from 1 1
3 
22	not4 not 1 1
21 
23	and1 and 1 4
4 18 20 22 
24	from6 from 1 1
1 
25	not5 not 1 1
24 
26	from7 from 1 1
2 
27	from8 from 1 1
3 
28	not6 not 1 1
27 
29	and2 and 1 4
5 25 26 28 
30	from9 from 1 1
1 
31	from10 from 1 1
2 
32	from11 from 1 1
3 
33	not7 not 1 1
32 
34	and3 and 1 4
6 30 31 33 
35	from12 from 1 1
1 
36	not8 not 1 1
35 
37	from13 from 1 1
2 
38	not9 not 1 1
37 
39	from14 from 1 1
3 
40	and4 and 1 4
7 36 38 39 
41	from15 from 1 1
1 
42	from16 from 1 1
2 
43	not10 not 1 1
42 
44	from17 from 1 1
3 
45	and5 and 1 4
8 41 43 44 
46	from18 from 1 1
1 
47	not11 not 1 1
46 
48	from19 from 1 1
2 
49	from20 from 1 1
3 
50	and6 and 1 4
9 47 48 49 
51	from21 from 1 1
1 
52	from22 from 1 1
2 
53	from23 from 1 1
3 
54	and7 and 1 4
10 51 52 53 
55	q or 0 8
17 23 29 34 40 45 50 54 


:(!s*i0)+(s*i1)
"mu22" 9
0	s inpt 2 0
1	i0 inpt 1 0
2	i1 inpt 1 0
3	from0 from 1 1
0 
4	not0 not 1 1
3 
5	and0 and 1 2
4 1 
6	from1 from 1 1
0 
7	and1 and 1 2
6 2 
8	q or 0 2
5 7 


:(i0*!s0*!s1)+(i1*s0*!s1)+(i2*!s0*s1)+(i3*s0*s1)
"mu42" 23
0	i0 inpt 1 0
1	s0 inpt 4 0
2	s1 inpt 4 0
3	i1 inpt 1 0
4	i2 inpt 1 0
5	i3 inpt 1 0
6	from0 from 1 1
1 
7	not0 not 1 1
6 
8	from1 from 1 1
2 
9	not1 not 1 1
8 
10	and0 and 1 3
0 7 9 
11	from2 from 1 1
1 
12	from3 from 1 1
2 
13	not2 not 1 1
12 
14	and1 and 1 3
3 11 13 
15	from4 from 1 1
1 
16	not3 not 1 1
15 
17	from5 from 1 1
2 
18	and2 and 1 3
4 16 17 
19	from6 from 1 1
1 
20	from7 from 1 1
2 
21	and3 and 1 3
5 19 20 
22	q or 0 4
10 14 18 21 


:(i0*!s0*!s1*!s2)+(i1*s0*!s1*!s2)+(i2*!s0*s1*!s2)+(i3*s0*s1*!s2)+(i4*!s0*!s1*s2)+(i5*s0*!s1*s2)+(i6*!s0*s1*s2)+(i7*s0*s1*s2)
"mu82" 56
0	i0 inpt 1 0
1	s0 inpt 8 0
2	s1 inpt 8 0
3	s2 inpt 8 0
4	i1 inpt 1 0
5	i2 inpt 1 0
6	i3 inpt 1 0
7	i4 inpt 1 0
8	i5 inpt 1 0
9	i6 inpt 1 0
10	i7 inpt 1 0
11	from0 from 1 1
1 
12	not0 not 1 1
11 
13	from1 from 1 1
2 
14	not1 not 1 1
13 
15	from2 from 1 1
3 
16	not2 not 1 1
15 
17	and0 and 1 4
0 12 14 16 
18	from3 from 1 1
1 
19	from4 from 1 1
2 
20	not3 not 1 1
19 
21	from5 from 1 1
3 
22	not4 not 1 1
21 
23	and1 and 1 4
4 18 20 22 
24	from6 from 1 1
1 
25	not5 not 1 1
24 
26	from7 from 1 1
2 
27	from8 from 1 1
3 
28	not6 not 1 1
27 
29	and2 and 1 4
5 25 26 28 
30	from9 from 1 1
1 
31	from10 from 1 1
2 
32	from11 from 1 1
3 
33	not7 not 1 1
32 
34	and3 and 1 4
6 30 31 33 
35	from12 from 1 1
1 
36	not8 not 1 1
35 
37	from13 from 1 1
2 
38	not9 not 1 1
37 
39	from14 from 1 1
3 
40	and4 and 1 4
7 36 38 39 
41	from15 from 1 1
1 
42	from16 from 1 1
2 
43	not10 not 1 1
42 
44	from17 from 1 1
3 
45	and5 and 1 4
8 41 43 44 
46	from18 from 1 1
1 
47	not11 not 1 1
46 
48	from19 from 1 1
2 
49	from20 from 1 1
3 
50	and6 and 1 4
9 47 48 49 
51	from21 from 1 1
1 
52	from22 from 1 1
2 
53	from23 from 1 1
3 
54	and7 and 1 4
10 51 52 53 
55	q or 0 8
17 23 29 34 40 45 50 54 


:!(a*b)
"na2" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nand 0 2
0 1 


:!(a*b*c)
"na3" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nand 0 3
0 1 2 


:!(a*b*c*d)
"na4" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nand 0 4
0 1 2 3 


:!(a*b*c*d*e)
"na5" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nand 0 5
0 1 2 3 4 


:!(a*b*c*d*e*f)
"na6" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nand 0 6
0 1 2 3 4 5 


:!(a*b*c*d*e*f*g)
"na7" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nand 0 7
0 1 2 3 4 5 6 


:!(a*b*c*d*e*f*g*h)
"na8" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nand 0 8
0 1 2 3 4 5 6 7 


:!(a*b)
"na22" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nand 0 2
0 1 


:!(a*b)
"na23" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nand 0 2
0 1 


:!(a*b*c)
"na32" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nand 0 3
0 1 2 


:!(a*b*c)
"na33" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nand 0 3
0 1 2 


:!(a*b*c*d)
"na42" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nand 0 4
0 1 2 3 


:!(a*b*c*d)
"na43" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nand 0 4
0 1 2 3 


:!(a*b*c*d*e)
"na52" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nand 0 5
0 1 2 3 4 


:!(a*b*c*d*e)
"na53" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nand 0 5
0 1 2 3 4 


:!(a*b*c*d*e*f)
"na62" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nand 0 6
0 1 2 3 4 5 


:!(a*b*c*d*e*f)
"na63" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nand 0 6
0 1 2 3 4 5 


:!(a*b*c*d*e*f*g)
"na72" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nand 0 7
0 1 2 3 4 5 6 


:!(a*b*c*d*e*f*g)
"na73" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nand 0 7
0 1 2 3 4 5 6 


:!(a*b*c*d*e*f*g*h)
"na82" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nand 0 8
0 1 2 3 4 5 6 7 


:!(a*b*c*d*e*f*g*h)
"na83" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nand 0 8
0 1 2 3 4 5 6 7 


:!(a+b)
"no2" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nor 0 2
0 1 


:!(a+b+c)
"no3" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nor 0 3
0 1 2 


:!(a+b+c+d)
"no4" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nor 0 4
0 1 2 3 


:!(a+b+c+d+e)
"no5" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nor 0 5
0 1 2 3 4 


:!(a+b+c+d+e+f)
"no6" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nor 0 6
0 1 2 3 4 5 


:!(a+b+c+d+e+f+g)
"no7" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nor 0 7
0 1 2 3 4 5 6 


:!(a+b+c+d+e+f+g+h)
"no8" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nor 0 8
0 1 2 3 4 5 6 7 


:!(a+b)
"no22" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nor 0 2
0 1 


:!(a+b)
"no23" 3
0	a inpt 1 0
1	b inpt 1 0
2	q nor 0 2
0 1 


:!(a+b+c)
"no32" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nor 0 3
0 1 2 


:!(a+b+c)
"no33" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q nor 0 3
0 1 2 


:!(a+b+c+d)
"no42" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nor 0 4
0 1 2 3 


:!(a+b+c+d)
"no43" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q nor 0 4
0 1 2 3 


:!(a+b+c+d+e)
"no52" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nor 0 5
0 1 2 3 4 


:!(a+b+c+d+e)
"no53" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q nor 0 5
0 1 2 3 4 


:!(a+b+c+d+e+f)
"no62" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nor 0 6
0 1 2 3 4 5 


:!(a+b+c+d+e+f)
"no63" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q nor 0 6
0 1 2 3 4 5 


:!(a+b+c+d+e+f+g)
"no72" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nor 0 7
0 1 2 3 4 5 6 


:!(a+b+c+d+e+f+g)
"no73" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q nor 0 7
0 1 2 3 4 5 6 


:!(a+b+c+d+e+f+g+h)
"no82" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nor 0 8
0 1 2 3 4 5 6 7 


:!(a+b+c+d+e+f+g+h)
"no83" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q nor 0 8
0 1 2 3 4 5 6 7 


:((a+b)*c)
"oa21" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	or0 or 1 2
0 1 
4	q and 0 2
3 2 


:((a+b)*(c+d))
"oa22" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 2
0 1 
5	or1 or 1 2
2 3 
6	q and 0 2
4 5 


:((a+b+c)*d)
"oa31" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 3
0 1 2 
5	q and 0 2
4 3 


:((a+b+c)*(d+e))
"oa32" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 3
0 1 2 
6	or1 or 1 2
3 4 
7	q and 0 2
5 6 


:((a+b+c)*(d+e+f))
"oa33" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 3
0 1 2 
7	or1 or 1 3
3 4 5 
8	q and 0 2
6 7 


:((a+b)*c*d)
"oa211" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 2
0 1 
5	q and 0 3
4 2 3 


:((a+b)*(c+d)*e)
"oa221" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 2
0 1 
6	or1 or 1 2
2 3 
7	q and 0 3
5 6 4 


:((a+b)*(c+d)*(e+f))
"oa222" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 2
0 1 
7	or1 or 1 2
2 3 
8	or2 or 1 2
4 5 
9	q and 0 3
6 7 8 


:((a+b+c)*d*e)
"oa311" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 3
0 1 2 
6	q and 0 3
5 3 4 


:((a+b+c)*(d+e)*f)
"oa321" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 3
0 1 2 
7	or1 or 1 2
3 4 
8	q and 0 3
6 7 5 


:((a+b+c)*(d+e)*(f+g))
"oa322" 11
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	or0 or 1 3
0 1 2 
8	or1 or 1 2
3 4 
9	or2 or 1 2
5 6 
10	q and 0 3
7 8 9 


:((a+b+c)*(d+e+f)*g)
"oa331" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	or0 or 1 3
0 1 2 
8	or1 or 1 3
3 4 5 
9	q and 0 3
7 8 6 


:((a+b+c)*(d+e+f)*(g+h))
"oa332" 12
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	or0 or 1 3
0 1 2 
9	or1 or 1 3
3 4 5 
10	or2 or 1 2
6 7 
11	q and 0 3
8 9 10 


:((a+b+c)*(d+e+f)*(g+h+i))
"oa333" 13
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	i inpt 1 0
9	or0 or 1 3
0 1 2 
10	or1 or 1 3
3 4 5 
11	or2 or 1 3
6 7 8 
12	q and 0 3
9 10 11 


:!((a+b)*c)
"on21" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	or0 or 1 2
0 1 
4	q nand 0 2
3 2 


:!((a+b)*(c+d))
"on22" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 2
0 1 
5	or1 or 1 2
2 3 
6	q nand 0 2
4 5 


:!((a+b+c)*d)
"on31" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 3
0 1 2 
5	q nand 0 2
4 3 


:!((a+b+c)*(d+e))
"on32" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 3
0 1 2 
6	or1 or 1 2
3 4 
7	q nand 0 2
5 6 


:!((a+b+c)*(d+e+f))
"on33" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 3
0 1 2 
7	or1 or 1 3
3 4 5 
8	q nand 0 2
6 7 


:!((a+b)*c*d)
"on211" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	or0 or 1 2
0 1 
5	q nand 0 3
4 2 3 


:!((a+b)*(c+d)*e)
"on221" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 2
0 1 
6	or1 or 1 2
2 3 
7	q nand 0 3
5 6 4 


:!((a+b)*(c+d)*(e+f))
"on222" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 2
0 1 
7	or1 or 1 2
2 3 
8	or2 or 1 2
4 5 
9	q nand 0 3
6 7 8 


:!((a+b+c)*d*e)
"on311" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	or0 or 1 3
0 1 2 
6	q nand 0 3
5 3 4 


:!((a+b+c)*(d+e)*f)
"on321" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	or0 or 1 3
0 1 2 
7	or1 or 1 2
3 4 
8	q nand 0 3
6 7 5 


:!((a+b+c)*(d+e)*(f+g))
"on322" 11
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	or0 or 1 3
0 1 2 
8	or1 or 1 2
3 4 
9	or2 or 1 2
5 6 
10	q nand 0 3
7 8 9 


:!((a+b+c)*(d+e+f)*g)
"on331" 10
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	or0 or 1 3
0 1 2 
8	or1 or 1 3
3 4 5 
9	q nand 0 3
7 8 6 


:!((a+b+c)*(d+e+f)*(g+h))
"on332" 12
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	or0 or 1 3
0 1 2 
9	or1 or 1 3
3 4 5 
10	or2 or 1 2
6 7 
11	q nand 0 3
8 9 10 


:!((a+b+c)*(d+e+f)*(g+h+i))
"on333" 13
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	i inpt 1 0
9	or0 or 1 3
0 1 2 
10	or1 or 1 3
3 4 5 
11	or2 or 1 3
6 7 8 
12	q nand 0 3
9 10 11 


:(a+b)
"or2" 3
0	a inpt 1 0
1	b inpt 1 0
2	q or 0 2
0 1 


:(a+b+c)
"or3" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q or 0 3
0 1 2 


:(a+b+c+d)
"or4" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q or 0 4
0 1 2 3 


:(a+b+c+d+e)
"or5" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q or 0 5
0 1 2 3 4 


:(a+b+c+d+e+f)
"or6" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q or 0 6
0 1 2 3 4 5 


:(a+b+c+d+e+f+g)
"or7" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q or 0 7
0 1 2 3 4 5 6 


:(a+b+c+d+e+f+g+h)
"or8" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q or 0 8
0 1 2 3 4 5 6 7 


:(a+b)
"or22" 3
0	a inpt 1 0
1	b inpt 1 0
2	q or 0 2
0 1 


:(a+b)
"or23" 3
0	a inpt 1 0
1	b inpt 1 0
2	q or 0 2
0 1 


:(a+b+c)
"or32" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q or 0 3
0 1 2 


:(a+b+c)
"or33" 4
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	q or 0 3
0 1 2 


:(a+b+c+d)
"or42" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q or 0 4
0 1 2 3 


:(a+b+c+d)
"or43" 5
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	q or 0 4
0 1 2 3 


:(a+b+c+d+e)
"or52" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q or 0 5
0 1 2 3 4 


:(a+b+c+d+e)
"or53" 6
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	q or 0 5
0 1 2 3 4 


:(a+b+c+d+e+f)
"or62" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q or 0 6
0 1 2 3 4 5 


:(a+b+c+d+e+f)
"or63" 7
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	q or 0 6
0 1 2 3 4 5 


:(a+b+c+d+e+f+g)
"or72" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q or 0 7
0 1 2 3 4 5 6 


:(a+b+c+d+e+f+g)
"or73" 8
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	q or 0 7
0 1 2 3 4 5 6 


:(a+b+c+d+e+f+g+h)
"or82" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q or 0 8
0 1 2 3 4 5 6 7 


:(a+b+c+d+e+f+g+h)
"or83" 9
0	a inpt 1 0
1	b inpt 1 0
2	c inpt 1 0
3	d inpt 1 0
4	e inpt 1 0
5	f inpt 1 0
6	g inpt 1 0
7	h inpt 1 0
8	q or 0 8
0 1 2 3 4 5 6 7 


:!((!a*b)+(a*!b))
"en1" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q nor 0 2
5 9 


:!((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"en3" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q nor 0 4
6 12 18 24 


:!((!a*b)+(a*!b))
"en12" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q nor 0 2
5 9 


:!((!a*b)+(a*!b))
"en13" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q nor 0 2
5 9 


:!((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"en32" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q nor 0 4
6 12 18 24 


:!((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"en33" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q nor 0 4
6 12 18 24 


:((!a*b)+(a*!b))
"eo1" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q or 0 2
5 9 


:((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"eo3" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q or 0 4
6 12 18 24 


:((!a*b)+(a*!b))
"eo12" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q or 0 2
5 9 


:((!a*b)+(a*!b))
"eo13" 11
0	a inpt 2 0
1	b inpt 2 0
2	from0 from 1 1
0 
3	not0 not 1 1
2 
4	from1 from 1 1
1 
5	and0 and 1 2
3 4 
6	from2 from 1 1
0 
7	from3 from 1 1
1 
8	not1 not 1 1
7 
9	and1 and 1 2
6 8 
10	q or 0 2
5 9 


:((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"eo32" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q or 0 4
6 12 18 24 


:((a*b*c)+(!a*!b*c)+(!a*b*!c)+(a*!b*!c))
"eo33" 26
0	a inpt 4 0
1	b inpt 4 0
2	c inpt 4 0
3	from0 from 1 1
0 
4	from1 from 1 1
1 
5	from2 from 1 1
2 
6	and0 and 1 3
3 4 5 
7	from3 from 1 1
0 
8	not0 not 1 1
7 
9	from4 from 1 1
1 
10	not1 not 1 1
9 
11	from5 from 1 1
2 
12	and1 and 1 3
8 10 11 
13	from6 from 1 1
0 
14	not2 not 1 1
13 
15	from7 from 1 1
1 
16	from8 from 1 1
2 
17	not3 not 1 1
16 
18	and2 and 1 3
14 15 17 
19	from9 from 1 1
0 
20	from10 from 1 1
1 
21	not4 not 1 1
20 
22	from11 from 1 1
2 
23	not5 not 1 1
22 
24	and3 and 1 3
19 21 23 
25	q or 0 4
6 12 18 24