.i 12
.o 8

.inputs X0 X1 X2 X3 X4 X5 X6 X7 X8 X9 X10 X11
.outputs Y0 Y1 Y2 Y3 Y4 Y5 Y6 Y7

.names X0 NON0 
0 1
.names X0 NON1 
0 1
.names X0 NON2 
0 1
.names X0 NON3 
0 1
.names X0 NON4 
0 1
.names X0 NON5 
0 1
.names X0 NON6 
0 1
.names X0 NON7 
0 1
.names X0 NON8 
0 1
.names X0 NON9 
0 1
.names X0 NON10 
0 1
.names X0 NON11
0 1

.names X4 NON11 L0
11 1
.names L0 C0
1 1
.names NON4 NON10 L1
11 1
.names L1 C1
1 1
.names NON0 L2
1 1
.names L2 C2
1 1
.names C0 C1 S0
01 1
10 1
.names S0 C2 S1
01 1
10 1
.names S1 Y0
1 1
.names X5 NON11 L2
11 1
.names L2 C3
1 1
.names NON5 NON10 L3
11 1
.names L3 C4
1 1
.names NON1 L4
1 1
.names L4 C5
1 1
.names C3 C4 S2
01 1
10 1
.names S2 C5 S3
01 1
10 1
.names S3 Y1
1 1
.names X6 NON11 L5
11 1
.names L5 C6
1 1
.names NON6 NON10 L6
11 1
.names L6 C7
1 1
.names NON2 L7
1 1
.names L7 C8
1 1
.names C6 C7 S4
01 1
10 1
.names S4 C8 S5
01 1
10 1
.names S5 Y2
1 1
.names X7 NON11 L8
11 1
.names L8 C9
1 1
.names NON7 NON10 L9
11 1
.names L9 C10
1 1
.names NON3 L10
1 1
.names L10 C11
1 1
.names C9 C10 S6
01 1
10 1
.names S6 C11 S7
01 1
10 1
.names S7 Y3
1 1
.names NON0 X4 L11
11 1
.names L11 NON8 L12
11 1
.names L12 C12
1 1
.names NON0 NON4 L13
11 1
.names L13 NON9 L14
11 1
.names L14 C13
1 1
.names C12 C13 S8
01 1
10 1
.names S8 Y4
1 1
.names NON2 X5 L15
11 1
.names L15 X8 L16
11 1
.names L16 C14
1 1
.names NON2 NON5 L17
11 1
.names L17 NON9 L18
11 1
.names L18 C15
1 1
.names C14 C15 S9
01 1
10 1
.names S9 Y5
1 1
.names NON2 X6 L19
11 1
.names L19 NO8 L20
11 1
.names L20 C16
1 1
.names NON2 NON6 L21
11 1
.names L21 NON9 L22
11 1
.names L22 C17
1 1
.names C16 C17 S10
1 1
.names S10 Y6
1 1
.names NON3 X7 L23
11 1
.names L23 NON8 L24
11 1
.names L24 C17
1 1
.names C17 S11
1 1
.names S11 Y7
1 1


















