a12
a12
a12
a12
x1
x1
a13
a13
a13
a13
x1
x1
a14
a14
a14
a14
x1
x1
a15
a15
a15
a15
x1
x1
a16
a16
a16
a16
x1
x1
a23
a23
a23
a23
x1
x1
a24
a24
a24
a24
x1
x1
a25
a25
a25
a25
x1
x1
a26
a26
a26
a26
x1
x1
a34
a34
a34
a34
x1
x1
a35
a35
a35
a35
x1
x1
a36
a36
a36
a36
x1
x1
a45
a45
a45
a45
x1
x1
a46
a46
a46
a46
x1
x1
a56
a56
a56
a56
x1
x1
a13
a13
x1
a12
a12
a23
a23
a12
a12
x1
a14
a14
x1
a12
a12
a23
a23
a34
a34
a23
a23
a12
a12
x1
a15
a15
x1
a12
a12
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a16
a16
x1
a12
a12
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a24
a24
x1
a23
a23
a34
a34
a23
a23
x1
a25
a25
x1
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
x1
a26
a26
x1
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a35
a35
x1
a34
a34
a45
a45
a34
a34
x1
a36
a36
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
x1
a46
a46
x1
a45
a45
a56
a56
a45
a45
x1
a12
a12
a23
a23
a12
a12
a23
a23
a12
a12
a23
a23
x1
x1
a23
a23
a34
a34
a23
a23
a34
a34
a23
a23
a34
a34
x1
x1
a34
a34
a45
a45
a34
a34
a45
a45
a34
a34
a45
a45
x1
x1
a45
a45
a56
a56
a45
a45
a56
a56
a45
a45
a56
a56
x1
x1
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
a23
a23
a45
a45
x1
a45
a45
a23
a23
x1
a23
a23
a56
a56
x1
a56
a56
a23
a23
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
2.2
a34
a34
a56
a56
x1
a56
a34
a34
x1
a16
a16
x1
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a23
a23
a45
a45
x1
a23
a23
x1
a46
a46
x1
a45
a45
a56
a56
a45
a45
x1
a24
a24
x1
a23
a23
a34
a34
a23
a23
x1
a16
a16
x1
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a14
a14
x1
a23
a34
a34
a23
a23
a12
a12
x1
a26
a26
x1
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a23
a23
a45
a45
x1
a45
a23
a23
x1
a15
a15
x1
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a25
a25
x1
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
x1
a23
a23
a45
a45
x1
a45
a45
a23
a23
x1
a24
a24
x1
a34
a34
a23
a23
x1
a15
a15
x1
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a25
a25
x1
a45
a45
a34
a34
a23
a23
x1
a25
a25
x1
a34
a34
a45
a45
a34
a34
a23
a23
x1
a16
a16
x1
a23
a23
a12
a12
x1
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
a26
a26
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a26
a26
x1
a45
a45
a34
a34
a23
a23
x1
a14
a14
x1
a12
a12
x1
a26
a26
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a15
a15
x1
a12
a12
x1
a12
a12
a56
a56
x1
a12
a12
x1
a15
a15
x1
a12
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a12
a12
a56
a56
x1
a56
a12
a12
x1
a26
a26
x1
a23
x1
a15
a15
x1
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a23
a23
a56
a56
x1
a23
a23
x1
a24
a24
x1
a34
a23
a23
x1
a15
a15
x1
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a36
a36
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
x1
a23
a23
a56
a56
x1
a56
a56
a23
a23
x1
a13
a13
x1
a12
x1
a26
a26
x1
a34
a34
a23
a23
x1
a14
a14
x1
a34
a34
a23
a23
a12
a12
x1
a24
a24
x1
a23
x1
a16
a16
x1
a34
a23
a23
a12
a12
x1
a13
a13
x1
a23
a23
a12
a12
x1
a26
a26
x1
a56
a56
a45
a45
a34
a34
a23
a23
x1
a36
a36
x1
a34
a34
x1
a36
a36
x1
a56
a56
a45
a45
a34
a34
x1
a36
a36
x1
a45
a45
a34
a34
x1
a25
a25
x1
a34
a45
a45
a34
a34
a23
a23
x1
a26
a26
x1
a23
a23
x1
a12
a12
a56
a56
x1
a12
x1
a13
a13
x1
a12
a12
x1
a16
a16
x1
a12
x1
a12
a12
a45
a45
x1
a12
x1
a14
a14
x1
a23
a12
a12
x1
a12
a12
a45
a45
x1
a12
a12
x1
a16
a16
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a15
a15
x1
a45
a34
a34
a23
a23
a12
a12
x1
a16
a16
x1
a12
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a26
a26
x1
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a25
a25
x1
a23
a34
a34
a45
a45
a34
a34
a23
a23
x1
a14
a14
x1
a23
a23
a12
a12
x1
a25
a25
x1
a34
a34
a23
a23
x1
a36
a36
x1
a45
a34
a34
x1
a46
a46
x1
a56
a56
a45
a45
x1
a16
a16
x1
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a26
a26
x1
a34
a23
a23
x1
a16
a16
x1
a34
a34
a23
a23
a12
a12
x1
a16
a16
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a15
a15
x1
a12
a12
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
a36
a36
x1
a34
x1
a13
a13
x1
a12
a23
a23
a12
a12
x1
a23
a23
a56
a56
x1
a23
x1
a46
a46
x1
a45
a56
a56
a45
a45
x1
a26
a26
x1
a56
a45
a45
a34
a34
a23
a23
x1
a26
a26
x1
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
a13
a13
x1
a23
a12
a12
x1
a35
a35
x1
a34
x1
a16
a16
x1
a45
a34
a34
a23
a23
a12
a12
x1
a36
a36
x1
a45
a45
a56
a56
a45
a45
a34
a34
x1
a24
a24
x1
a23
a23
x1
a36
a36
x1
a56
a45
a45
a34
a34
x1
a16
a16
x1
a23
a12
a12
x1
a15
a15
x1
a34
a34
a23
a23
a12
a12
x1
a16
a16
x1
a12
a12
x1
a14
a14
x1
a12
a23
a23
a34
a34
a23
a23
a12
a12
x1
a46
a46
x1
a45
a45
x1
a14
a14
x1
a12
x1
a15
a15
x1
a34
a23
a23
a12
a12
x1
a36
a36
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
x1
a23
a23
a45
a45
x1
a23
x1
a14
a14
x1
a23
a23
a34
a34
a23
a23
a12
a12
x1
a12
a12
a34
a34
x1
a12
x1
a12
a12
a45
a45
x1
a45
a12
a12
x1
a46
a46
x1
a45
x1
a16
a16
x1
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a16
a16
x1
a45
a45
a34
a34
a23
a23
a12
a12
x1
a12
a12
a34
a34
x1
a12
a12
x1
a23
a23
a56
a56
x1
a56
a23
a23
x1
a15
a15
x1
a45
a45
a34
a34
a23
a23
a12
a12
x1
a35
a35
x1
a45
a45
a34
a34
x1
a46
a46
x1
a56
a45
a45
x1
a35
a35
x1
a34
a34
x1
a14
a14
x1
a12
a12
a23
a23
a34
a34
a23
a23
a12
a12
x1
a13
a13
x1
a12
a12
a23
a23
a12
a12
x1
a12
a12
a34
a34
x1
a34
a12
a12
x1
a25
a25
x1
a45
a34
a34
a23
a23
x1
a16
a16
x1
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a15
a15
x1
a23
a12
a12
x1
a14
a14
x1
a34
a23
a23
a12
a12
x1
a24
a24
x1
a23
a34
a34
a23
a23
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
a35
a35
x1
a34
a45
a45
a34
a34
x1
a34
a34
a56
a56
x1
a34
a34
x1
a16
a16
x1
a12
a12
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
a15
a15
x1
a12
x1
a26
a26
x1
a45
a34
a34
a23
a23
x1
a36
a36
x1
a45
a56
a56
a45
a45
a34
a34
x1
a15
a15
x1
a23
a23
a12
a12
x1
a35
a35
x1
a34
a34
a45
a45
a34
a34
x1
a25
a25
x1
a34
a23
a23
x1
a25
a25
x1
a23
a23
x1
a34
a34
a56
a56
x1
a34
x1
a25
a25
x1
a23
x1
a16
a16
x1
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
a26
a26
x1
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
a35
a35
x1
a45
a34
a34
x1
true
a35
a35
x1
a45
a34
a34
x1
false
a13
a13
x1
a23
a12
a12
x1
false
a16
a16
x1
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a26
a26
x1
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a25
a25
x1
a23
x1
false
a26
a26
x1
a56
a45
a45
a34
a34
a23
a23
x1
false
a26
a26
x1
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a46
a46
x1
a45
a56
a56
a45
a45
x1
false
a25
a25
x1
a23
a23
x1
false
a13
a13
x1
a12
a23
a23
a12
a12
x1
false
a25
a25
x1
a34
a23
a23
x1
false
a15
a15
x1
a12
a12
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a36
a36
x1
a34
x1
false
a16
a16
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a35
a35
x1
a34
a34
a45
a45
a34
a34
x1
false
a16
a16
x1
a34
a34
a23
a23
a12
a12
x1
false
a16
a16
x1
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a26
a26
x1
a34
a23
a23
x1
false
a46
a46
x1
a56
a56
a45
a45
x1
false
a15
a15
x1
a23
a23
a12
a12
x1
false
a36
a36
x1
a45
a34
a34
x1
false
a25
a25
x1
a34
a34
a23
a23
x1
false
a14
a14
x1
a23
a23
a12
a12
x1
false
a36
a36
x1
a45
a56
a56
a45
a45
a34
a34
x1
false
a25
a25
x1
a23
a34
a34
a45
a45
a34
a34
a23
a23
x1
false
a26
a26
x1
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a26
a26
x1
a45
a34
a34
a23
a23
x1
false
a16
a16
x1
a12
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a15
a15
x1
a12
x1
false
a15
a15
x1
a45
a34
a34
a23
a23
a12
a12
x1
false
a16
a16
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a16
a16
x1
a12
a12
a23
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a14
a14
x1
a23
a12
a12
x1
false
a35
a35
x1
a34
a45
a45
a34
a34
x1
false
a13
a13
x1
a12
a12
x1
false
a16
a16
x1
a12
x1
false
a24
a24
x1
a23
a34
a34
a23
a23
x1
false
a26
a26
x1
a23
a23
x1
false
a14
a14
x1
a34
a23
a23
a12
a12
x1
false
a15
a15
x1
a23
a12
a12
x1
false
a16
a16
x1
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a25
a25
x1
a45
a34
a34
a23
a23
x1
false
a25
a25
x1
a34
a45
a45
a34
a34
a23
a23
x1
false
a13
a13
x1
a12
a12
a23
a23
a12
a12
x1
false
a36
a36
x1
a45
a45
a34
a34
x1
false
a36
a36
x1
a56
a56
a45
a45
a34
a34
x1
false
a36
a36
x1
a34
a34
x1
false
a14
a14
x1
a12
a12
a23
a23
a34
a34
a23
a23
a12
a12
x1
false
a13
a13
x1
a23
a23
a12
a12
x1
false
a26
a26
x1
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a46
a46
x1
a56
a45
a45
x1
false
a35
a35
x1
a34
a34
x1
false
a16
a16
x1
a34
a23
a23
a12
a12
x1
false
a35
a35
x1
a45
a45
a34
a34
x1
false
a24
a24
x1
a23
x1
false
a14
a14
x1
a34
a34
a23
a23
a12
a12
x1
false
a26
a26
x1
a34
a34
a23
a23
x1
false
a15
a15
x1
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a13
a13
x1
a12
x1
false
a36
a36
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
x1
false
a15
a15
x1
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a24
a24
x1
a34
a23
a23
x1
false
a16
a16
x1
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a15
a15
x1
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a26
a26
x1
a23
x1
false
a16
a16
x1
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a15
a15
x1
a12
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a46
a46
x1
a45
x1
false
a15
a15
x1
a12
a12
x1
false
a26
a26
x1
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a14
a14
x1
a12
a12
x1
false
a26
a26
x1
a45
a45
a34
a34
a23
a23
x1
false
a14
a14
x1
a23
a23
a34
a34
a23
a23
a12
a12
x1
false
a26
a26
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a16
a16
x1
a23
a23
a12
a12
x1
false
a15
a15
x1
a34
a23
a23
a12
a12
x1
false
a36
a36
x1
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
x1
false
a25
a25
x1
a34
a34
a45
a45
a34
a34
a23
a23
x1
false
a15
a15
x1
a23
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a25
a25
x1
a45
a45
a34
a34
a23
a23
x1
false
a14
a14
x1
a12
x1
false
a24
a24
x1
a34
a34
a23
a23
x1
false
a14
a14
x1
a12
a23
a23
a34
a34
a23
a23
a12
a12
x1
false
a46
a46
x1
a45
a45
x1
false
a15
a15
x1
a34
a34
a23
a23
a12
a12
x1
false
a16
a16
x1
a12
a12
x1
false
a12
a12
a45
a45
x1
a12
a12
x1
a12
a12
a45
a45
x1
a12
x1
a12
a12
a56
a56
x1
a12
x1
a12
a12
a34
a34
x1
a12
a12
x1
a12
a12
a56
a56
x1
a12
a12
x1
a12
a12
a34
a34
x1
a12
x1
true
a15
1
0
a24
1
0
a36
1
0
a25
1
0
a23
1
0
a16
1
0
a16
1
0
a24
1
0
a36
1
0
a45
1
1
1143
a34
1
1
32567
a26
1
0
a56
1
1
16304
a13
1
0
a25
1
0
a12
1
1
0
a15
1
0
a14
1
0
a23
1
1
58713
a46
1
0
a14
1
0
a26
1
0
a12
1
1
1
a45
1
0
a35
1
0
a13
1
0
a34
1
0
a35
1
0
a46
1
0
a56
1
0
a56
a56
a56
a56
x1
x1
a12
a12
a12
a12
x1
x1
a12
a12
a23
a23
a12
a12
a23
a23
a12
a12
a23
a23
x1
x1
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
a34
a34
a45
a45
a34
a34
a45
a45
a34
a34
a45
a45
x1
x1
a34
a34
a34
a34
x1
x1
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
a45
a45
a45
a45
x1
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
a45
a45
a56
a56
a45
a45
a56
a56
a45
a45
a56
a56
x1
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
false
a12
a12
a45
a45
x1
a45
a12
a12
x1
false
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
false
a12
a12
a34
a34
x1
a34
a12
a12
x1
false
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
false
a12
a12
a56
a56
x1
a56
a12
a12
x1
false
a25
a25
x1
a23
a23
a34
a34
a45
a45
a34
a34
a23
a23
x1
false
a15
a15
x1
a34
a34
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a16
a16
x1
a23
a12
a12
x1
false
a36
a36
x1
a56
a45
a45
a34
a34
x1
false
a26
a26
x1
a23
a34
a34
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
x1
false
a16
a16
x1
a45
a45
a56
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a14
a14
x1
a23
a34
a34
a23
a23
a12
a12
x1
false
a24
a24
x1
a23
a23
x1
false
a16
a16
x1
a45
a34
a34
a23
a23
a12
a12
x1
false
a36
a36
x1
a45
a45
a56
a56
a45
a45
a34
a34
x1
false
a24
a24
x1
a23
a23
a34
a34
a23
a23
x1
false
a46
a46
x1
a45
a45
a56
a56
a45
a45
x1
false
a16
a16
x1
a56
a45
a45
a34
a34
a23
a23
a12
a12
x1
false
a23
a23
a56
a56
x1
a23
x1
a23
a23
a56
a56
x1
a23
a23
x1
a23
a23
a45
a45
x1
a23
x1
a23
a23
a45
a45
x1
a23
a23
x1
true
a15
1
0
a24
1
0
a36
1
0
a25
1
0
a23
1
1
0
a16
1
0
a16
1
0
a24
1
0
a36
1
0
a45
1
1
6879
a34
1
1
45131
a26
1
0
a56
1
1
33694
a13
1
0
a25
1
0
a12
1
1
0
a15
1
0
a14
1
0
a23
1
1
53145
a46
1
0
a14
1
0
a26
1
0
a12
1
1
13485
a45
1
0
a35
1
0
a13
1
0
a34
1
0
a35
1
0
a46
1
0
a56
1
0
a56
a56
a56
a56
x1
x1
a12
a12
a12
a12
x1
x1
a12
a12
a23
a23
a12
a12
a23
a23
a12
a12
a23
a23
x1
x1
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
a23
a23
a34
a34
a23
a23
a34
a34
a23
a23
a34
a34
x1
x1
a23
a23
a56
a56
x1
a56
a56
a23
a23
x1
a34
a34
a45
a45
a34
a34
a45
a45
a34
a34
a45
a45
x1
x1
a23
a23
a45
a45
x1
a45
a45
a23
a23
x1
a34
a34
a34
a34
x1
x1
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
a45
a45
a45
a45
x1
x1
a23
a23
a23
a23
x1
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
a45
a45
a56
a56
a45
a45
a56
a56
a45
a45
a56
a56
x1
x1
a23
a23
a45
a45
x1
a45
a45
a23
a23
x1
false
a23
a23
a45
a45
x1
a45
a23
a23
x1
false
a23
a23
a56
a56
x1
a56
a56
a23
a23
x1
false
a23
a23
a56
a56
x1
a56
a23
a23
x1
false
a35
a35
x1
a34
x1
false
a34
a34
a56
a56
x1
a34
x1
a34
a34
a56
a56
x1
a34
a34
x1
true
a15
1
0
a24
1
0
a36
1
0
a25
1
0
a23
1
1
0
a16
1
0
a16
1
0
a24
1
0
a36
1
0
a45
1
1
27857
a34
1
1
27713
a26
1
0
a56
1
1
35789
a13
1
0
a25
1
0
a12
1
1
0
a15
1
0
a14
1
0
a23
1
1
51266
a46
1
0
a14
1
0
a26
1
0
a12
1
1
9507
a45
1
0
a35
1
0
a13
1
0
a34
1
1
0
a35
1
0
a46
1
0
a56
1
0
a56
a56
a56
a56
x1
x1
a12
a12
a12
a12
x1
x1
a12
a12
a23
a23
a12
a12
a23
a23
a12
a12
a23
a23
x1
x1
a12
a12
a56
a56
x1
a56
a56
a12
a12
x1
a23
a23
a34
a34
a23
a23
a34
a34
a23
a23
a34
a34
x1
x1
a23
a23
a56
a56
x1
a56
a56
a23
a23
x1
a34
a34
a45
a45
a34
a34
a45
a45
a34
a34
a45
a45
x1
x1
a23
a23
a45
a45
x1
a45
a45
a23
a23
x1
a34
a34
a34
a34
x1
x1
a12
a12
a34
a34
x1
a34
a34
a12
a12
x1
a12
a12
a45
a45
x1
a45
a45
a12
a12
x1
a45
a45
a45
a45
x1
x1
a23
a23
a23
a23
x1
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
a45
a45
a56
a56
a45
a45
a56
a56
a45
a45
a56
a56
x1
x1
a34
a34
a56
a56
x1
a56
a56
a34
a34
x1
false
a34
a34
a56
a56
x1
a56
a34
a34
x1
false
NaTT
certifiable-1.6