.model braun6x6
.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_0
10 1
01 1
.names A0_1 A1_0 C1_0
11 1
.names A0_2 A1_1 S1_1
10 1
01 1
.names A0_2 A1_1 C1_1
11 1
.names A0_3 A1_2 S1_2
10 1
01 1
.names A0_3 A1_2 C1_2
11 1
.names A0_4 A1_3 S1_3
10 1
01 1
.names A0_4 A1_3 C1_3
11 1
.names A0_5 A1_4 S1_4
10 1
01 1
.names A0_5 A1_4 C1_4
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_1 A2_0 C1_0 S2_0
100 1
010 1
001 1
111 1
.names S1_1 A2_0 C1_0 C2_0
110 1
101 1
011 1
111 1
.names S1_2 A2_1 C1_1 S2_1
100 1
010 1
001 1
111 1
.names S1_2 A2_1 C1_1 C2_1
110 1
101 1
011 1
111 1
.names S1_3 A2_2 C1_2 S2_2
100 1
010 1
001 1
111 1
.names S1_3 A2_2 C1_2 C2_2
110 1
101 1
011 1
111 1
.names S1_4 A2_3 C1_3 S2_3
100 1
010 1
001 1
111 1
.names S1_4 A2_3 C1_3 C2_3
110 1
101 1
011 1
111 1
.names A1_5 A2_4 C1_4 S2_4
100 1
010 1
001 1
111 1
.names A1_5 A2_4 C1_4 C2_4
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_1 A3_0 C2_0 S3_0
100 1
010 1
001 1
111 1
.names S2_1 A3_0 C2_0 C3_0
110 1
101 1
011 1
111 1
.names S2_2 A3_1 C2_1 S3_1
100 1
010 1
001 1
111 1
.names S2_2 A3_1 C2_1 C3_1
110 1
101 1
011 1
111 1
.names S2_3 A3_2 C2_2 S3_2
100 1
010 1
001 1
111 1
.names S2_3 A3_2 C2_2 C3_2
110 1
101 1
011 1
111 1
.names S2_4 A3_3 C2_3 S3_3
100 1
010 1
001 1
111 1
.names S2_4 A3_3 C2_3 C3_3
110 1
101 1
011 1
111 1
.names A2_5 A3_4 C2_4 S3_4
100 1
010 1
001 1
111 1
.names A2_5 A3_4 C2_4 C3_4
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_1 A4_0 C3_0 S4_0
100 1
010 1
001 1
111 1
.names S3_1 A4_0 C3_0 C4_0
110 1
101 1
011 1
111 1
.names S3_2 A4_1 C3_1 S4_1
100 1
010 1
001 1
111 1
.names S3_2 A4_1 C3_1 C4_1
110 1
101 1
011 1
111 1
.names S3_3 A4_2 C3_2 S4_2
100 1
010 1
001 1
111 1
.names S3_3 A4_2 C3_2 C4_2
110 1
101 1
011 1
111 1
.names S3_4 A4_3 C3_3 S4_3
100 1
010 1
001 1
111 1
.names S3_4 A4_3 C3_3 C4_3
110 1
101 1
011 1
111 1
.names A3_5 A4_4 C3_4 S4_4
100 1
010 1
001 1
111 1
.names A3_5 A4_4 C3_4 C4_4
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_1 A5_0 C4_0 S5_0
100 1
010 1
001 1
111 1
.names S4_1 A5_0 C4_0 C5_0
110 1
101 1
011 1
111 1
.names S4_2 A5_1 C4_1 S5_1
100 1
010 1
001 1
111 1
.names S4_2 A5_1 C4_1 C5_1
110 1
101 1
011 1
111 1
.names S4_3 A5_2 C4_2 S5_2
100 1
010 1
001 1
111 1
.names S4_3 A5_2 C4_2 C5_2
110 1
101 1
011 1
111 1
.names S4_4 A5_3 C4_3 S5_3
100 1
010 1
001 1
111 1
.names S4_4 A5_3 C4_3 C5_3
110 1
101 1
011 1
111 1
.names A4_5 A5_4 C4_4 S5_4
100 1
010 1
001 1
111 1
.names A4_5 A5_4 C4_4 C5_4
110 1
101 1
011 1
111 1
.names A0_0 z<0>
1 1
.names S1_0 z<1>
1 1
.names S2_0 z<2>
1 1
.names S3_0 z<3>
1 1
.names S4_0 z<4>
1 1
.names S5_0 z<5>
1 1
.names C5_0 S5_1 z<6>
10 1
01 1
.names C5_0 S5_1 C6_0
11 1
.names C6_0 C5_1 S5_2 z<7>
100 1
010 1
001 1
111 1
.names C6_0 C5_1 S5_2 C6_1
110 1
101 1
011 1
111 1
.names C6_1 C5_2 S5_3 z<8>
100 1
010 1
001 1
111 1
.names C6_1 C5_2 S5_3 C6_2
110 1
101 1
011 1
111 1
.names C6_2 C5_3 S5_4 z<9>
100 1
010 1
001 1
111 1
.names C6_2 C5_3 S5_4 C6_3
110 1
101 1
011 1
111 1
.names C6_3 C5_4 A5_5 z<10>
100 1
010 1
001 1
111 1
.names C6_3 C5_4 A5_5 z<11>
110 1
101 1
011 1
111 1
.end