5
13 65
~X13 v ~X9 v X2
X4 v X11 v X5
X9 v ~X8 v X7
X13 v ~X3 v X1
~X5 v X3 v X1
X11 v X12 v ~X1
~X13 v X7 v X4
X11 v X6 v ~X8
~X9 v ~X1 v X3
X9 v ~X8 v ~X6
~X12 v X10 v X6
~X11 v ~X7 v ~X6
~X2 v X3 v X11
X1 v X5 v ~X2
X2 v ~X7 v ~X2
~X6 v ~X4 v X2
X1 v X9 v ~X2
~X1 v X12 v ~X11
X13 v X9 v ~X6
~X6 v X3 v X6
~X4 v ~X12 v ~X3
X8 v ~X12 v X4
X10 v ~X1 v X6
X9 v ~X8 v ~X5
~X6 v X10 v X6
X9 v ~X7 v X6
X5 v X2 v ~X8
~X8 v X1 v ~X6
~X6 v ~X8 v X13
~X4 v ~X2 v ~X9
~X5 v ~X12 v ~X3
X9 v ~X5 v ~X11
~X13 v X10 v ~X12
X7 v ~X12 v ~X7
X12 v ~X7 v X11
X3 v X5 v ~X1
~X7 v ~X4 v X2
~X12 v X7 v ~X2
X7 v ~X6 v ~X12
~X9 v ~X2 v X9
X6 v ~X12 v X13
X1 v ~X13 v X8
X12 v X2 v ~X10
X10 v ~X10 v ~X11
~X11 v ~X8 v X8
~X7 v ~X3 v X10
~X8 v ~X9 v ~X1
X4 v ~X3 v ~X6
X3 v X9 v X10
~X3 v ~X9 v X1
~X7 v ~X11 v ~X3
~X2 v X2 v ~X7
~X11 v X13 v X10
X10 v ~X5 v X1
~X3 v ~X1 v X8
X9 v X10 v X4
~X11 v X6 v ~X3
X7 v ~X1 v ~X12
X6 v ~X4 v ~X11
X3 v X4 v X13
~X1 v ~X2 v ~X4
X5 v ~X13 v ~X12
~X5 v ~X9 v ~X4
X11 v ~X8 v X8
X13 v X6 v ~X4
10 73
X10 v X1 v ~X3
~X10 v ~X3 v X2 v ~X9 v ~X2
~X3 v X3
~X4 v X8 v X5 v ~X7 v X4 v X2
~X8 v X4 v ~X7 v X1 v ~X5 v ~X2
~X1 v X6 v X10 v X6
X1 v X3 v X7 v ~X2 v X5 v ~X7 v ~X10
~X10 v X1 v X8 v ~X7 v ~X2
X8 v ~X4 v ~X9 v ~X7 v ~X10 v X9 v ~X2
~X10
X9 v ~X5 v ~X2 v ~X8 v ~X3
X10 v ~X8 v X1 v X8 v X2 v ~X9
~X3 v X7 v ~X1 v X4
~X2 v X1 v ~X6 v ~X3 v ~X5
~X3 v ~X1 v ~X6 v X7 v ~X2 v X9
X3 v X10 v ~X6 v X9 v X10 v X7
X3 v ~X9 v ~X4 v ~X1 v ~X8
~X9 v ~X4 v X10 v X3 v ~X5 v ~X7
X8 v X4 v ~X7 v ~X1
~X7 v X5 v X10 v ~X3
~X4 v X10 v ~X7 v X2
~X1 v X7 v X3 v X5
~X1 v ~X6 v ~X7 v X9 v ~X5 v X8
X5 v X1 v X1 v X7
~X5 v ~X8 v X9 v X1 v X6 v X2
X1 v X10 v X1 v ~X4
X6 v ~X3 v ~X7 v X9 v ~X8 v ~X5
X3 v ~X9 v ~X8
~X6 v ~X1 v X10 v ~X8 v ~X4
X8 v X4 v X9 v ~X2 v ~X1 v X6
~X2 v X2 v ~X7 v ~X4 v ~X9
X10 v X6 v X4 v ~X1
X8 v X10 v X5 v X2 v ~X1
X4 v ~X7 v ~X2 v ~X8 v ~X7
X2 v ~X3 v X8 v ~X9 v ~X6 v ~X7
~X3 v X10 v X2 v X4 v X7 v X8
X1 v ~X3 v X5
X8 v X2 v ~X10 v ~X2 v ~X3
~X2 v X4 v X4 v X10 v X7 v X5
X1 v ~X5 v X4 v ~X2
~X10 v ~X1 v X3 v X6 v ~X8
X2 v X5 v ~X3 v X10 v X9 v ~X7
X1 v ~X9 v ~X10 v X2 v ~X3 v X6 v X8
X7 v X10 v X3
X6 v X1 v X8 v ~X7
X4 v ~X7 v ~X9 v ~X2 v ~X5 v X6 v ~X10
~X5 v ~X6
~X2 v X6 v X8 v ~X9 v X1 v X10 v X9 v ~X3 v X5
X9 v X9 v ~X8
X10 v X7 v ~X1
X5 v ~X5 v X4 v ~X2
~X2 v X8 v X10 v X4 v X6 v ~X2 v X9 v X1
X10 v ~X1 v ~X7
~X2 v ~X6 v ~X2 v X7
~X2 v X3 v ~X9 v X5
X3 v ~X8 v ~X2 v X4 v ~X10 v X5
~X10 v ~X9 v ~X3 v X2 v ~X4 v ~X2 v X6
X9 v X8 v ~X10 v ~X3 v X7 v ~X4 v ~X2
X3 v ~X9 v ~X2 v X1 v ~X7 v X3 v ~X4
~X9 v ~X7 v X6 v X3 v ~X4 v ~X3
~X5 v ~X3 v X8 v ~X6 v X6
X6 v X7 v X8 v ~X2 v ~X3
X5 v ~X8 v X9 v ~X3 v X7 v X4
X6 v ~X8 v X5
X7 v ~X9 v ~X5
X3 v ~X4 v X4 v X6 v ~X2
~X1 v X3 v ~X3 v ~X7
~X1 v ~X2 v X8 v X6 v X5 v X3
~X10 v X8 v X3 v ~X5 v ~X9 v ~X2 v ~X6
~X5 v X3 v ~X9 v ~X7 v X1
~X1 v ~X5 v ~X9 v X10 v X2
X2 v ~X7 v ~X4 v X10 v ~X9
~X6 v ~X5 v ~X6 v X8 v ~X7
12 53
X1 v X10 v X3 v X5 v ~X12 v ~X2 v X6 v X7
~X6 v ~X2 v ~X5 v ~X9 v X2 v ~X8 v X12 v ~X10 v X3
~X4 v X3 v ~X2 v ~X1 v X11 v X10 v X9 v X12 v X8 v ~X6
X6 v ~X4 v X9 v ~X11 v X1 v ~X3 v ~X5 v ~X4
X9 v ~X1 v ~X5 v ~X10 v ~X12 v ~X8 v ~X3 v X6
~X11 v ~X6 v ~X12 v ~X8 v ~X6 v ~X3 v X9
~X9 v ~X7 v X5
X4 v X8 v X10 v X2 v ~X5 v X1 v ~X8 v X11
~X5 v X9 v ~X8 v X9 v ~X10
~X8 v X6 v X10 v X9
~X11 v ~X8 v X6 v X9 v ~X10
X7 v ~X12 v X10 v X12 v ~X4 v X6
X11 v ~X6 v X5 v ~X8 v ~X2 v ~X11 v X10
~X7 v ~X6 v ~X3 v ~X7 v ~X4
X12 v ~X5 v X11 v X4 v ~X7
X8 v ~X12 v X9 v ~X11
X1 v X10 v X8
~X4 v X3 v ~X8 v X5
X12 v ~X6 v ~X7 v ~X5 v ~X9 v ~X2 v ~X3 v ~X2
~X5 v X3 v ~X1 v ~X12 v ~X11 v X4 v ~X11
X3 v ~X6 v ~X7 v X1 v X2 v ~X11 v X12 v X10 v X5
X2 v X8 v ~X11 v X6 v ~X8 v X1 v X10
X9 v X2 v ~X8
X3 v X4 v X1 v X6 v X2 v ~X12 v X8 v X1
~X5 v X6 v X12
~X12 v X4 v X9 v X4 v ~X11 v X5 v X10
~X12 v ~X7 v X9 v X12 v X11 v X10
~X3 v ~X9 v X4 v ~X10
X12 v ~X8 v X5 v ~X4 v X3
~X5 v X10 v X7 v ~X1 v ~X3 v ~X12 v ~X8 v ~X4
X4 v X2 v X2 v X5
X3 v X10 v ~X6 v ~X12 v ~X8 v X9 v X1
~X12 v ~X8 v ~X2 v X5
~X10 v ~X12 v X11 v ~X6 v ~X5 v ~X6 v ~X3 v X9
~X3 v ~X11 v ~X4 v X10 v X9 v ~X6 v ~X11 v X1
X5 v X12 v X12 v X11 v ~X6 v X8
~X12 v ~X5 v X3 v X4 v X2 v ~X1
X8 v X6 v ~X1 v ~X2 v X9 v ~X4
~X2 v X7 v X6 v ~X1
~X11 v ~X2 v ~X5 v X4 v X10 v ~X1
X11 v X8 v ~X5 v ~X2
X4 v X9 v X1 v ~X6 v ~X2 v X7
~X1 v ~X9 v X5 v ~X9 v ~X12 v X3
X10 v ~X3 v X6 v ~X8 v X12 v X1
~X11 v ~X5 v X8 v ~X3 v ~X2
~X4 v X2 v X12 v ~X1 v X10
X10 v ~X2 v X3 v X1
X11 v ~X8 v X3 v X11 v X10 v ~X7
X7 v X4 v ~X1 v ~X7 v X3 v X8 v ~X12 v X9
~X10 v X9 v ~X11 v ~X6 v X1 v X7
~X8 v ~X3 v ~X9 v ~X7 v X1 v X5 v X7 v ~X6 v X10
X10 v X5 v ~X8 v X12 v X9 v X6 v ~X11
X12 v X3 v ~X8 v X5 v X10 v ~X10
10 50
X5 v ~X5 v ~X8
X3 v X1 v ~X5
~X7 v ~X5 v ~X1
~X10 v X1 v ~X6
~X3 v ~X10 v X4
X3 v X10 v X4
X8 v ~X4 v ~X2
X3 v X1 v ~X4
X9 v X10 v X3
X9 v ~X6 v X8
X2 v ~X6 v ~X2
~X5 v ~X6 v X10
~X8 v X2 v X8
X4 v ~X10 v ~X1
X2 v X10 v ~X6
X2 v ~X5 v ~X1
~X8 v X4 v X10
X3 v X10 v ~X8
~X1 v X6 v X2
~X9 v ~X6 v ~X10
X9 v ~X5 v ~X10
~X9 v ~X7 v X8
X7 v X2 v ~X3
~X6 v X3 v ~X5
~X4 v X7 v ~X8
~X8 v ~X4 v ~X3
~X10 v X9 v ~X5
X2 v X1 v ~X9
X7 v ~X3 v X4
~X4 v X8 v X2
~X4 v ~X1 v ~X7
X3 v ~X6 v X4
X6 v ~X2 v ~X6
~X5 v X9 v X2
~X10 v X9 v X8
X6 v ~X2 v ~X5
X7 v ~X9 v X3
~X6 v X8 v ~X8
~X10 v ~X5 v ~X4
X5 v X8 v ~X5
~X1 v ~X6 v ~X5
~X3 v X1 v X6
X3 v ~X10 v ~X7
X5 v X10 v X8
X2 v ~X5 v X7
X6 v X3 v X8
~X1 v ~X2 v X5
~X1 v X2 v ~X10
X6 v ~X6 v X3
~X7 v ~X4 v ~X6
11 55
X6 v ~X1 v ~X10
X3 v X10 v ~X2
X7 v X9 v ~X10
~X9 v ~X4 v ~X7
~X5 v X10 v ~X9
X8 v X10 v X2
X8 v ~X10 v X5
X10 v ~X3 v ~X11
X8 v X6 v X4
X8 v ~X8 v ~X5
~X6 v ~X11 v ~X1
X8 v ~X9 v X3
~X8 v ~X9 v ~X5
~X4 v X8 v ~X10
~X3 v ~X7 v X1
X2 v X9 v ~X9
X2 v X9 v X7
X11 v X10 v X4
~X6 v X11 v ~X2
~X3 v X10 v ~X7
X6 v ~X10 v X7
X7 v X11 v ~X11
X1 v X5 v ~X5
~X3 v ~X7 v X8
X8 v ~X10 v ~X2
X6 v ~X9 v X4
~X6 v ~X1 v X7
~X1 v ~X8 v ~X7
X4 v X10 v X9
X3 v ~X3 v X7
~X10 v X3 v ~X11
X11 v X1 v X5
~X3 v ~X8 v X7
~X4 v ~X8 v ~X3
X2 v X11 v ~X6
X6 v X7 v X11
~X5 v ~X11 v X5
X6 v X10 v X3
X11 v ~X1 v X7
X1 v ~X7 v X9
X8 v ~X6 v ~X5
X4 v ~X11 v X3
X9 v ~X10 v ~X3
X9 v ~X8 v X3
X5 v ~X6 v ~X8
~X5 v X6 v X9
X10 v X8 v X7
X3 v ~X4 v X2
X2 v ~X11 v ~X5
X3 v X7 v X6
X10 v ~X5 v X3
~X7 v X8 v X11
~X9 v ~X8 v X9
~X11 v ~X8 v X9
X1 v ~X5 v ~X4
