.model bug6x6B
.inputs x<5> x<4> x<3> x<2> x<1> x<0> y<5> y<4> y<3> y<2> y<1> y<0>
.outputs z<11> z<10> z<9> z<8> z<7> z<6> z<5> z<4> z<3> z<2> z<1> z<0>
.names y<0> x<0> A0_0
11 1
.names y<1> x<0> A0_1
11 1
.names y<2> x<0> A0_2
11 1
.names y<3> x<0> A0_3
11 1
.names y<4> x<0> A0_4
11 1
.names y<5> x<0> A0_5
11 1
.names y<0> x<1> A1_0
11 1
.names y<1> x<1> A1_1
11 1
.names y<2> x<1> A1_2
11 1
.names y<3> x<1> A1_3
11 1
.names y<4> x<1> A1_4
11 1
.names y<5> x<1> A1_5
11 1
.names A0_1 A1_0 S1_1
10 1
01 1
.names A0_1 A1_0 C1_1
11 1
.names A0_2 A1_1 C1_1 S1_2
100 1
010 1
001 1
111 1
.names A0_2 A1_1 C1_1 C1_2
110 1
101 1
011 1
111 1
.names A0_3 A1_2 C1_2 S1_3
100 1
010 1
001 1
111 1
.names A0_3 A1_2 C1_2 C1_3
110 1
101 1
011 1
111 1
.names A0_4 A1_3 C1_3 S1_4
100 1
010 1
001 1
111 1
.names A0_4 A1_3 C1_3 C1_4
110 1
101 1
011 1
111 1
.names A0_5 A1_4 C1_4 S1_5
100 1
010 1
001 1
111 1
.names A0_5 A1_4 C1_4 C1_5
110 1
101 1
011 1
111 1
.names A1_5 C1_5 S1_6
10 1
01 1
.names A1_5 C1_5 C1_6
11 1
.names y<0> x<2> A2_0
11 1
.names y<1> x<2> A2_1
11 1
.names y<2> x<2> A2_2
11 1
.names y<3> x<2> A2_3
11 1
.names y<4> x<2> A2_4
11 1
.names y<5> x<2> A2_5
11 1
.names S1_2 A2_0 S2_2
10 1
01 1
.names S1_2 A2_0 C2_2
11 1
.names S1_3 A2_1 C2_2 S2_3
100 1
010 1
001 1
111 1
.names S1_3 A2_1 C2_2 C2_3
110 1
101 1
011 1
111 1
.names S1_4 A2_2 C2_3 S2_4
100 1
010 1
001 1
111 1
.names S1_4 A2_2 C2_3 C2_4
110 1
101 1
011 1
111 1
.names S1_5 A2_3 C2_4 S2_5
100 1
010 1
001 1
111 1
.names S1_5 A2_3 C2_4 C2_5
110 1
101 1
011 1
111 1
.names S1_6 A2_4 C2_5 S2_6
100 1
010 1
001 1
111 1
.names S1_6 A2_4 C2_5 C2_6
110 1
101 1
011 1
111 1
.names C1_6 A2_5 C2_6 S2_7
100 1
010 1
001 1
111 1
.names C1_6 A2_5 C2_6 C2_7
110 1
101 1
011 1
111 1
.names y<0> x<3> A3_0
11 1
.names y<1> x<3> A3_1
11 1
.names y<2> x<3> A3_2
11 1
.names y<3> x<3> A3_3
11 1
.names y<4> x<3> A3_4
11 1
.names y<5> x<3> A3_5
11 1
.names S2_3 A3_0 S3_3
10 1
01 1
.names S2_3 A3_0 C3_3
11 1
.names S2_4 A3_1 C3_3 S3_4
100 1
010 1
001 1
111 1
.names S2_4 A3_1 C3_3 C3_4
110 1
101 1
011 1
111 1
.names S2_5 A3_2 C3_4 S3_5
100 1
010 1
001 1
111 1
.names S2_5 A3_2 C3_4 C3_5
110 1
101 1
011 1
111 1
.names S2_6 A3_3 C3_5 S3_6
100 1
010 1
001 1
111 1
.names S2_6 A3_3 C3_5 C3_6
110 1
101 1
011 1
111 1
.names S2_7 A3_4 C3_6 S3_7
100 1
010 1
001 1
111 1
.names S2_7 A3_4 C3_6 C3_7
110 1
101 1
011 1
111 1
.names C2_7 A3_5 C3_7 S3_8
100 1
010 1
001 1
111 1
.names C2_7 A3_5 C3_7 C3_8
110 1
101 1
011 1
111 1
.names y<0> x<4> A4_0
11 1
.names y<1> x<4> A4_1
11 1
.names y<2> x<4> A4_2
11 1
.names y<3> x<4> A4_3
11 1
.names y<4> x<4> A4_4
11 1
.names y<5> x<4> A4_5
11 1
.names S3_4 A4_0 S4_4
10 1
01 1
.names S3_4 A4_0 C4_4
11 1
.names S3_5 A4_1 C4_4 S4_5
100 1
010 1
001 1
111 1
.names S3_5 A4_1 C4_4 C4_5
110 1
101 1
011 1
111 1
.names S3_6 A4_2 C4_5 S4_6
100 1
010 1
001 1
111 1
.names S3_6 A4_2 C4_5 C4_6
110 1
101 1
011 1
111 1
.names S3_7 A4_3 C4_6 S4_7
100 1
010 1
001 1
111 1
.names S3_7 A4_3 C4_6 C4_7
110 1
101 1
011 1
111 1
.names S3_8 A4_4 C4_7 S4_8
100 1
010 1
001 1
111 1
.names S3_8 A4_4 C4_7 C4_8
110 1
101 1
011 1
111 1
.names C3_8 A4_5 C4_8 S4_9
100 1
010 1
001 1
111 1
.names C3_8 A4_5 C4_8 C4_9
110 1
101 1
011 1
111 1
.names y<0> x<5> A5_0
11 1
.names y<1> x<5> A5_1
11 1
.names y<2> x<5> A5_2
11 1
.names y<3> x<5> A5_3
11 1
.names y<4> x<5> A5_4
11 1
.names y<5> x<5> A5_5
11 1
.names S4_5 A5_0 S5_5
10 1
01 1
.names S4_5 A5_0 C5_5
11 1
.names S4_6 A5_1 C5_5 S5_6
100 1
010 1
001 1
111 1
.names S4_6 A5_1 C5_5 C5_6
110 1
101 1
011 1
111 1
.names S4_7 A5_2 C5_6 S5_7
100 1
010 1
001 1
111 1
.names S4_7 A5_2 C5_6 C5_7
110 1
101 1
011 1
111 1
.names S4_8 A5_3 C5_7 S5_8
100 1
010 1
001 1
111 1
.names S4_8 A5_3 C5_7 C5_8
110 1
101 1
011 1
111 1
.names S4_9 A5_4 C5_8 S5_9
100 1
010 1
001 1
111 1
.names S4_9 A5_4 C5_8 C5_9
110 1
101 1
011 1
111 1
.names C4_9 A5_5 C5_9 S5_10
100 1
010 1
001 1
111 1
.names C4_9 A5_5 C5_9 C5_10
100 1
101 1
011 1
111 1
.names A0_0 z<0>
1 1
.names S1_1 z<1>
1 1
.names S2_2 z<2>
1 1
.names S3_3 z<3>
1 1
.names S4_4 z<4>
1 1
.names S5_5 z<5>
1 1
.names S5_6 z<6>
1 1
.names S5_7 z<7>
1 1
.names S5_8 z<8>
1 1
.names S5_9 z<9>
1 1
.names S5_10 z<10>
1 1
.names C5_10 z<11>
1 1
.end