c cnf for positive Gaussoids
p cnf 80 1920
33 -34 0
33 -1 -9 0
-33 34 1 0
-33 34 9 0
9 -10 0
9 -1 -33 0
-9 10 1 0
-9 10 33 0
1 -2 0
1 -9 -33 0
-1 2 9 0
-1 2 33 0
9 -10 0
9 -1 -34 0
-9 10 1 0
-9 10 34 0
1 -2 0
1 -9 -34 0
-1 2 9 0
-1 2 34 0
33 -34 0
33 -1 -10 0
-33 34 1 0
-33 34 10 0
1 -2 0
1 -10 -33 0
-1 2 10 0
-1 2 33 0
33 -34 0
33 -2 -9 0
-33 34 2 0
-33 34 9 0
9 -10 0
9 -2 -33 0
-9 10 2 0
-9 10 33 0
1 -2 0
1 -10 -34 0
-1 2 10 0
-1 2 34 0
9 -10 0
9 -2 -34 0
-9 10 2 0
-9 10 34 0
33 -34 0
33 -2 -10 0
-33 34 2 0
-33 34 10 0
35 -37 0
35 -3 -11 0
-35 37 3 0
-35 37 11 0
11 -13 0
11 -3 -35 0
-11 13 3 0
-11 13 35 0
3 -5 0
3 -11 -35 0
-3 5 11 0
-3 5 35 0
11 -13 0
11 -3 -37 0
-11 13 3 0
-11 13 37 0
3 -5 0
3 -11 -37 0
-3 5 11 0
-3 5 37 0
35 -37 0
35 -3 -13 0
-35 37 3 0
-35 37 13 0
3 -5 0
3 -13 -35 0
-3 5 13 0
-3 5 35 0
35 -37 0
35 -5 -11 0
-35 37 5 0
-35 37 11 0
11 -13 0
11 -5 -35 0
-11 13 5 0
-11 13 35 0
3 -5 0
3 -13 -37 0
-3 5 13 0
-3 5 37 0
11 -13 0
11 -5 -37 0
-11 13 5 0
-11 13 37 0
35 -37 0
35 -5 -13 0
-35 37 5 0
-35 37 13 0
36 -38 0
36 -4 -12 0
-36 38 4 0
-36 38 12 0
12 -14 0
12 -4 -36 0
-12 14 4 0
-12 14 36 0
4 -6 0
4 -12 -36 0
-4 6 12 0
-4 6 36 0
12 -14 0
12 -4 -38 0
-12 14 4 0
-12 14 38 0
4 -6 0
4 -12 -38 0
-4 6 12 0
-4 6 38 0
36 -38 0
36 -4 -14 0
-36 38 4 0
-36 38 14 0
4 -6 0
4 -14 -36 0
-4 6 14 0
-4 6 36 0
36 -38 0
36 -6 -12 0
-36 38 6 0
-36 38 12 0
12 -14 0
12 -6 -36 0
-12 14 6 0
-12 14 36 0
4 -6 0
4 -14 -38 0
-4 6 14 0
-4 6 38 0
12 -14 0
12 -6 -38 0
-12 14 6 0
-12 14 38 0
36 -38 0
36 -6 -14 0
-36 38 6 0
-36 38 14 0
39 -40 0
39 -7 -15 0
-39 40 7 0
-39 40 15 0
15 -16 0
15 -7 -39 0
-15 16 7 0
-15 16 39 0
7 -8 0
7 -15 -39 0
-7 8 15 0
-7 8 39 0
15 -16 0
15 -7 -40 0
-15 16 7 0
-15 16 40 0
7 -8 0
7 -15 -40 0
-7 8 15 0
-7 8 40 0
39 -40 0
39 -7 -16 0
-39 40 7 0
-39 40 16 0
7 -8 0
7 -16 -39 0
-7 8 16 0
-7 8 39 0
39 -40 0
39 -8 -15 0
-39 40 8 0
-39 40 15 0
15 -16 0
15 -8 -39 0
-15 16 8 0
-15 16 39 0
7 -8 0
7 -16 -40 0
-7 8 16 0
-7 8 40 0
15 -16 0
15 -8 -40 0
-15 16 8 0
-15 16 40 0
39 -40 0
39 -8 -16 0
-39 40 8 0
-39 40 16 0
41 -42 0
41 -1 -17 0
-41 42 1 0
-41 42 17 0
17 -18 0
17 -1 -41 0
-17 18 1 0
-17 18 41 0
1 -3 0
1 -17 -41 0
-1 3 17 0
-1 3 41 0
17 -18 0
17 -1 -42 0
-17 18 1 0
-17 18 42 0
1 -3 0
1 -17 -42 0
-1 3 17 0
-1 3 42 0
41 -42 0
41 -1 -18 0
-41 42 1 0
-41 42 18 0
1 -3 0
1 -18 -41 0
-1 3 18 0
-1 3 41 0
41 -42 0
41 -3 -17 0
-41 42 3 0
-41 42 17 0
17 -18 0
17 -3 -41 0
-17 18 3 0
-17 18 41 0
1 -3 0
1 -18 -42 0
-1 3 18 0
-1 3 42 0
17 -18 0
17 -3 -42 0
-17 18 3 0
-17 18 42 0
41 -42 0
41 -3 -18 0
-41 42 3 0
-41 42 18 0
43 -45 0
43 -2 -19 0
-43 45 2 0
-43 45 19 0
19 -21 0
19 -2 -43 0
-19 21 2 0
-19 21 43 0
2 -5 0
2 -19 -43 0
-2 5 19 0
-2 5 43 0
19 -21 0
19 -2 -45 0
-19 21 2 0
-19 21 45 0
2 -5 0
2 -19 -45 0
-2 5 19 0
-2 5 45 0
43 -45 0
43 -2 -21 0
-43 45 2 0
-43 45 21 0
2 -5 0
2 -21 -43 0
-2 5 21 0
-2 5 43 0
43 -45 0
43 -5 -19 0
-43 45 5 0
-43 45 19 0
19 -21 0
19 -5 -43 0
-19 21 5 0
-19 21 43 0
2 -5 0
2 -21 -45 0
-2 5 21 0
-2 5 45 0
19 -21 0
19 -5 -45 0
-19 21 5 0
-19 21 45 0
43 -45 0
43 -5 -21 0
-43 45 5 0
-43 45 21 0
44 -46 0
44 -4 -20 0
-44 46 4 0
-44 46 20 0
20 -22 0
20 -4 -44 0
-20 22 4 0
-20 22 44 0
4 -7 0
4 -20 -44 0
-4 7 20 0
-4 7 44 0
20 -22 0
20 -4 -46 0
-20 22 4 0
-20 22 46 0
4 -7 0
4 -20 -46 0
-4 7 20 0
-4 7 46 0
44 -46 0
44 -4 -22 0
-44 46 4 0
-44 46 22 0
4 -7 0
4 -22 -44 0
-4 7 22 0
-4 7 44 0
44 -46 0
44 -7 -20 0
-44 46 7 0
-44 46 20 0
20 -22 0
20 -7 -44 0
-20 22 7 0
-20 22 44 0
4 -7 0
4 -22 -46 0
-4 7 22 0
-4 7 46 0
20 -22 0
20 -7 -46 0
-20 22 7 0
-20 22 46 0
44 -46 0
44 -7 -22 0
-44 46 7 0
-44 46 22 0
47 -48 0
47 -6 -23 0
-47 48 6 0
-47 48 23 0
23 -24 0
23 -6 -47 0
-23 24 6 0
-23 24 47 0
6 -8 0
6 -23 -47 0
-6 8 23 0
-6 8 47 0
23 -24 0
23 -6 -48 0
-23 24 6 0
-23 24 48 0
6 -8 0
6 -23 -48 0
-6 8 23 0
-6 8 48 0
47 -48 0
47 -6 -24 0
-47 48 6 0
-47 48 24 0
6 -8 0
6 -24 -47 0
-6 8 24 0
-6 8 47 0
47 -48 0
47 -8 -23 0
-47 48 8 0
-47 48 23 0
23 -24 0
23 -8 -47 0
-23 24 8 0
-23 24 47 0
6 -8 0
6 -24 -48 0
-6 8 24 0
-6 8 48 0
23 -24 0
23 -8 -48 0
-23 24 8 0
-23 24 48 0
47 -48 0
47 -8 -24 0
-47 48 8 0
-47 48 24 0
49 -50 0
49 -1 -25 0
-49 50 1 0
-49 50 25 0
25 -26 0
25 -1 -49 0
-25 26 1 0
-25 26 49 0
1 -4 0
1 -25 -49 0
-1 4 25 0
-1 4 49 0
25 -26 0
25 -1 -50 0
-25 26 1 0
-25 26 50 0
1 -4 0
1 -25 -50 0
-1 4 25 0
-1 4 50 0
49 -50 0
49 -1 -26 0
-49 50 1 0
-49 50 26 0
1 -4 0
1 -26 -49 0
-1 4 26 0
-1 4 49 0
49 -50 0
49 -4 -25 0
-49 50 4 0
-49 50 25 0
25 -26 0
25 -4 -49 0
-25 26 4 0
-25 26 49 0
1 -4 0
1 -26 -50 0
-1 4 26 0
-1 4 50 0
25 -26 0
25 -4 -50 0
-25 26 4 0
-25 26 50 0
49 -50 0
49 -4 -26 0
-49 50 4 0
-49 50 26 0
51 -53 0
51 -2 -27 0
-51 53 2 0
-51 53 27 0
27 -29 0
27 -2 -51 0
-27 29 2 0
-27 29 51 0
2 -6 0
2 -27 -51 0
-2 6 27 0
-2 6 51 0
27 -29 0
27 -2 -53 0
-27 29 2 0
-27 29 53 0
2 -6 0
2 -27 -53 0
-2 6 27 0
-2 6 53 0
51 -53 0
51 -2 -29 0
-51 53 2 0
-51 53 29 0
2 -6 0
2 -29 -51 0
-2 6 29 0
-2 6 51 0
51 -53 0
51 -6 -27 0
-51 53 6 0
-51 53 27 0
27 -29 0
27 -6 -51 0
-27 29 6 0
-27 29 51 0
2 -6 0
2 -29 -53 0
-2 6 29 0
-2 6 53 0
27 -29 0
27 -6 -53 0
-27 29 6 0
-27 29 53 0
51 -53 0
51 -6 -29 0
-51 53 6 0
-51 53 29 0
52 -54 0
52 -3 -28 0
-52 54 3 0
-52 54 28 0
28 -30 0
28 -3 -52 0
-28 30 3 0
-28 30 52 0
3 -7 0
3 -28 -52 0
-3 7 28 0
-3 7 52 0
28 -30 0
28 -3 -54 0
-28 30 3 0
-28 30 54 0
3 -7 0
3 -28 -54 0
-3 7 28 0
-3 7 54 0
52 -54 0
52 -3 -30 0
-52 54 3 0
-52 54 30 0
3 -7 0
3 -30 -52 0
-3 7 30 0
-3 7 52 0
52 -54 0
52 -7 -28 0
-52 54 7 0
-52 54 28 0
28 -30 0
28 -7 -52 0
-28 30 7 0
-28 30 52 0
3 -7 0
3 -30 -54 0
-3 7 30 0
-3 7 54 0
28 -30 0
28 -7 -54 0
-28 30 7 0
-28 30 54 0
52 -54 0
52 -7 -30 0
-52 54 7 0
-52 54 30 0
55 -56 0
55 -5 -31 0
-55 56 5 0
-55 56 31 0
31 -32 0
31 -5 -55 0
-31 32 5 0
-31 32 55 0
5 -8 0
5 -31 -55 0
-5 8 31 0
-5 8 55 0
31 -32 0
31 -5 -56 0
-31 32 5 0
-31 32 56 0
5 -8 0
5 -31 -56 0
-5 8 31 0
-5 8 56 0
55 -56 0
55 -5 -32 0
-55 56 5 0
-55 56 32 0
5 -8 0
5 -32 -55 0
-5 8 32 0
-5 8 55 0
55 -56 0
55 -8 -31 0
-55 56 8 0
-55 56 31 0
31 -32 0
31 -8 -55 0
-31 32 8 0
-31 32 55 0
5 -8 0
5 -32 -56 0
-5 8 32 0
-5 8 56 0
31 -32 0
31 -8 -56 0
-31 32 8 0
-31 32 56 0
55 -56 0
55 -8 -32 0
-55 56 8 0
-55 56 32 0
57 -58 0
57 -9 -17 0
-57 58 9 0
-57 58 17 0
17 -19 0
17 -9 -57 0
-17 19 9 0
-17 19 57 0
9 -11 0
9 -17 -57 0
-9 11 17 0
-9 11 57 0
17 -19 0
17 -9 -58 0
-17 19 9 0
-17 19 58 0
9 -11 0
9 -17 -58 0
-9 11 17 0
-9 11 58 0
57 -58 0
57 -9 -19 0
-57 58 9 0
-57 58 19 0
9 -11 0
9 -19 -57 0
-9 11 19 0
-9 11 57 0
57 -58 0
57 -11 -17 0
-57 58 11 0
-57 58 17 0
17 -19 0
17 -11 -57 0
-17 19 11 0
-17 19 57 0
9 -11 0
9 -19 -58 0
-9 11 19 0
-9 11 58 0
17 -19 0
17 -11 -58 0
-17 19 11 0
-17 19 58 0
57 -58 0
57 -11 -19 0
-57 58 11 0
-57 58 19 0
59 -61 0
59 -10 -18 0
-59 61 10 0
-59 61 18 0
18 -21 0
18 -10 -59 0
-18 21 10 0
-18 21 59 0
10 -13 0
10 -18 -59 0
-10 13 18 0
-10 13 59 0
18 -21 0
18 -10 -61 0
-18 21 10 0
-18 21 61 0
10 -13 0
10 -18 -61 0
-10 13 18 0
-10 13 61 0
59 -61 0
59 -10 -21 0
-59 61 10 0
-59 61 21 0
10 -13 0
10 -21 -59 0
-10 13 21 0
-10 13 59 0
59 -61 0
59 -13 -18 0
-59 61 13 0
-59 61 18 0
18 -21 0
18 -13 -59 0
-18 21 13 0
-18 21 59 0
10 -13 0
10 -21 -61 0
-10 13 21 0
-10 13 61 0
18 -21 0
18 -13 -61 0
-18 21 13 0
-18 21 61 0
59 -61 0
59 -13 -21 0
-59 61 13 0
-59 61 21 0
60 -62 0
60 -12 -20 0
-60 62 12 0
-60 62 20 0
20 -23 0
20 -12 -60 0
-20 23 12 0
-20 23 60 0
12 -15 0
12 -20 -60 0
-12 15 20 0
-12 15 60 0
20 -23 0
20 -12 -62 0
-20 23 12 0
-20 23 62 0
12 -15 0
12 -20 -62 0
-12 15 20 0
-12 15 62 0
60 -62 0
60 -12 -23 0
-60 62 12 0
-60 62 23 0
12 -15 0
12 -23 -60 0
-12 15 23 0
-12 15 60 0
60 -62 0
60 -15 -20 0
-60 62 15 0
-60 62 20 0
20 -23 0
20 -15 -60 0
-20 23 15 0
-20 23 60 0
12 -15 0
12 -23 -62 0
-12 15 23 0
-12 15 62 0
20 -23 0
20 -15 -62 0
-20 23 15 0
-20 23 62 0
60 -62 0
60 -15 -23 0
-60 62 15 0
-60 62 23 0
63 -64 0
63 -14 -22 0
-63 64 14 0
-63 64 22 0
22 -24 0
22 -14 -63 0
-22 24 14 0
-22 24 63 0
14 -16 0
14 -22 -63 0
-14 16 22 0
-14 16 63 0
22 -24 0
22 -14 -64 0
-22 24 14 0
-22 24 64 0
14 -16 0
14 -22 -64 0
-14 16 22 0
-14 16 64 0
63 -64 0
63 -14 -24 0
-63 64 14 0
-63 64 24 0
14 -16 0
14 -24 -63 0
-14 16 24 0
-14 16 63 0
63 -64 0
63 -16 -22 0
-63 64 16 0
-63 64 22 0
22 -24 0
22 -16 -63 0
-22 24 16 0
-22 24 63 0
14 -16 0
14 -24 -64 0
-14 16 24 0
-14 16 64 0
22 -24 0
22 -16 -64 0
-22 24 16 0
-22 24 64 0
63 -64 0
63 -16 -24 0
-63 64 16 0
-63 64 24 0
65 -66 0
65 -9 -25 0
-65 66 9 0
-65 66 25 0
25 -27 0
25 -9 -65 0
-25 27 9 0
-25 27 65 0
9 -12 0
9 -25 -65 0
-9 12 25 0
-9 12 65 0
25 -27 0
25 -9 -66 0
-25 27 9 0
-25 27 66 0
9 -12 0
9 -25 -66 0
-9 12 25 0
-9 12 66 0
65 -66 0
65 -9 -27 0
-65 66 9 0
-65 66 27 0
9 -12 0
9 -27 -65 0
-9 12 27 0
-9 12 65 0
65 -66 0
65 -12 -25 0
-65 66 12 0
-65 66 25 0
25 -27 0
25 -12 -65 0
-25 27 12 0
-25 27 65 0
9 -12 0
9 -27 -66 0
-9 12 27 0
-9 12 66 0
25 -27 0
25 -12 -66 0
-25 27 12 0
-25 27 66 0
65 -66 0
65 -12 -27 0
-65 66 12 0
-65 66 27 0
67 -69 0
67 -10 -26 0
-67 69 10 0
-67 69 26 0
26 -29 0
26 -10 -67 0
-26 29 10 0
-26 29 67 0
10 -14 0
10 -26 -67 0
-10 14 26 0
-10 14 67 0
26 -29 0
26 -10 -69 0
-26 29 10 0
-26 29 69 0
10 -14 0
10 -26 -69 0
-10 14 26 0
-10 14 69 0
67 -69 0
67 -10 -29 0
-67 69 10 0
-67 69 29 0
10 -14 0
10 -29 -67 0
-10 14 29 0
-10 14 67 0
67 -69 0
67 -14 -26 0
-67 69 14 0
-67 69 26 0
26 -29 0
26 -14 -67 0
-26 29 14 0
-26 29 67 0
10 -14 0
10 -29 -69 0
-10 14 29 0
-10 14 69 0
26 -29 0
26 -14 -69 0
-26 29 14 0
-26 29 69 0
67 -69 0
67 -14 -29 0
-67 69 14 0
-67 69 29 0
68 -70 0
68 -11 -28 0
-68 70 11 0
-68 70 28 0
28 -31 0
28 -11 -68 0
-28 31 11 0
-28 31 68 0
11 -15 0
11 -28 -68 0
-11 15 28 0
-11 15 68 0
28 -31 0
28 -11 -70 0
-28 31 11 0
-28 31 70 0
11 -15 0
11 -28 -70 0
-11 15 28 0
-11 15 70 0
68 -70 0
68 -11 -31 0
-68 70 11 0
-68 70 31 0
11 -15 0
11 -31 -68 0
-11 15 31 0
-11 15 68 0
68 -70 0
68 -15 -28 0
-68 70 15 0
-68 70 28 0
28 -31 0
28 -15 -68 0
-28 31 15 0
-28 31 68 0
11 -15 0
11 -31 -70 0
-11 15 31 0
-11 15 70 0
28 -31 0
28 -15 -70 0
-28 31 15 0
-28 31 70 0
68 -70 0
68 -15 -31 0
-68 70 15 0
-68 70 31 0
71 -72 0
71 -13 -30 0
-71 72 13 0
-71 72 30 0
30 -32 0
30 -13 -71 0
-30 32 13 0
-30 32 71 0
13 -16 0
13 -30 -71 0
-13 16 30 0
-13 16 71 0
30 -32 0
30 -13 -72 0
-30 32 13 0
-30 32 72 0
13 -16 0
13 -30 -72 0
-13 16 30 0
-13 16 72 0
71 -72 0
71 -13 -32 0
-71 72 13 0
-71 72 32 0
13 -16 0
13 -32 -71 0
-13 16 32 0
-13 16 71 0
71 -72 0
71 -16 -30 0
-71 72 16 0
-71 72 30 0
30 -32 0
30 -16 -71 0
-30 32 16 0
-30 32 71 0
13 -16 0
13 -32 -72 0
-13 16 32 0
-13 16 72 0
30 -32 0
30 -16 -72 0
-30 32 16 0
-30 32 72 0
71 -72 0
71 -16 -32 0
-71 72 16 0
-71 72 32 0
73 -74 0
73 -17 -25 0
-73 74 17 0
-73 74 25 0
25 -28 0
25 -17 -73 0
-25 28 17 0
-25 28 73 0
17 -20 0
17 -25 -73 0
-17 20 25 0
-17 20 73 0
25 -28 0
25 -17 -74 0
-25 28 17 0
-25 28 74 0
17 -20 0
17 -25 -74 0
-17 20 25 0
-17 20 74 0
73 -74 0
73 -17 -28 0
-73 74 17 0
-73 74 28 0
17 -20 0
17 -28 -73 0
-17 20 28 0
-17 20 73 0
73 -74 0
73 -20 -25 0
-73 74 20 0
-73 74 25 0
25 -28 0
25 -20 -73 0
-25 28 20 0
-25 28 73 0
17 -20 0
17 -28 -74 0
-17 20 28 0
-17 20 74 0
25 -28 0
25 -20 -74 0
-25 28 20 0
-25 28 74 0
73 -74 0
73 -20 -28 0
-73 74 20 0
-73 74 28 0
75 -77 0
75 -18 -26 0
-75 77 18 0
-75 77 26 0
26 -30 0
26 -18 -75 0
-26 30 18 0
-26 30 75 0
18 -22 0
18 -26 -75 0
-18 22 26 0
-18 22 75 0
26 -30 0
26 -18 -77 0
-26 30 18 0
-26 30 77 0
18 -22 0
18 -26 -77 0
-18 22 26 0
-18 22 77 0
75 -77 0
75 -18 -30 0
-75 77 18 0
-75 77 30 0
18 -22 0
18 -30 -75 0
-18 22 30 0
-18 22 75 0
75 -77 0
75 -22 -26 0
-75 77 22 0
-75 77 26 0
26 -30 0
26 -22 -75 0
-26 30 22 0
-26 30 75 0
18 -22 0
18 -30 -77 0
-18 22 30 0
-18 22 77 0
26 -30 0
26 -22 -77 0
-26 30 22 0
-26 30 77 0
75 -77 0
75 -22 -30 0
-75 77 22 0
-75 77 30 0
76 -78 0
76 -19 -27 0
-76 78 19 0
-76 78 27 0
27 -31 0
27 -19 -76 0
-27 31 19 0
-27 31 76 0
19 -23 0
19 -27 -76 0
-19 23 27 0
-19 23 76 0
27 -31 0
27 -19 -78 0
-27 31 19 0
-27 31 78 0
19 -23 0
19 -27 -78 0
-19 23 27 0
-19 23 78 0
76 -78 0
76 -19 -31 0
-76 78 19 0
-76 78 31 0
19 -23 0
19 -31 -76 0
-19 23 31 0
-19 23 76 0
76 -78 0
76 -23 -27 0
-76 78 23 0
-76 78 27 0
27 -31 0
27 -23 -76 0
-27 31 23 0
-27 31 76 0
19 -23 0
19 -31 -78 0
-19 23 31 0
-19 23 78 0
27 -31 0
27 -23 -78 0
-27 31 23 0
-27 31 78 0
76 -78 0
76 -23 -31 0
-76 78 23 0
-76 78 31 0
79 -80 0
79 -21 -29 0
-79 80 21 0
-79 80 29 0
29 -32 0
29 -21 -79 0
-29 32 21 0
-29 32 79 0
21 -24 0
21 -29 -79 0
-21 24 29 0
-21 24 79 0
29 -32 0
29 -21 -80 0
-29 32 21 0
-29 32 80 0
21 -24 0
21 -29 -80 0
-21 24 29 0
-21 24 80 0
79 -80 0
79 -21 -32 0
-79 80 21 0
-79 80 32 0
21 -24 0
21 -32 -79 0
-21 24 32 0
-21 24 79 0
79 -80 0
79 -24 -29 0
-79 80 24 0
-79 80 29 0
29 -32 0
29 -24 -79 0
-29 32 24 0
-29 32 79 0
21 -24 0
21 -32 -80 0
-21 24 32 0
-21 24 80 0
29 -32 0
29 -24 -80 0
-29 32 24 0
-29 32 80 0
79 -80 0
79 -24 -32 0
-79 80 24 0
-79 80 32 0
57 -59 0
57 -33 -41 0
-57 59 33 0
-57 59 41 0
41 -43 0
41 -33 -57 0
-41 43 33 0
-41 43 57 0
33 -35 0
33 -41 -57 0
-33 35 41 0
-33 35 57 0
41 -43 0
41 -33 -59 0
-41 43 33 0
-41 43 59 0
33 -35 0
33 -41 -59 0
-33 35 41 0
-33 35 59 0
57 -59 0
57 -33 -43 0
-57 59 33 0
-57 59 43 0
33 -35 0
33 -43 -57 0
-33 35 43 0
-33 35 57 0
57 -59 0
57 -35 -41 0
-57 59 35 0
-57 59 41 0
41 -43 0
41 -35 -57 0
-41 43 35 0
-41 43 57 0
33 -35 0
33 -43 -59 0
-33 35 43 0
-33 35 59 0
41 -43 0
41 -35 -59 0
-41 43 35 0
-41 43 59 0
57 -59 0
57 -35 -43 0
-57 59 35 0
-57 59 43 0
58 -61 0
58 -34 -42 0
-58 61 34 0
-58 61 42 0
42 -45 0
42 -34 -58 0
-42 45 34 0
-42 45 58 0
34 -37 0
34 -42 -58 0
-34 37 42 0
-34 37 58 0
42 -45 0
42 -34 -61 0
-42 45 34 0
-42 45 61 0
34 -37 0
34 -42 -61 0
-34 37 42 0
-34 37 61 0
58 -61 0
58 -34 -45 0
-58 61 34 0
-58 61 45 0
34 -37 0
34 -45 -58 0
-34 37 45 0
-34 37 58 0
58 -61 0
58 -37 -42 0
-58 61 37 0
-58 61 42 0
42 -45 0
42 -37 -58 0
-42 45 37 0
-42 45 58 0
34 -37 0
34 -45 -61 0
-34 37 45 0
-34 37 61 0
42 -45 0
42 -37 -61 0
-42 45 37 0
-42 45 61 0
58 -61 0
58 -37 -45 0
-58 61 37 0
-58 61 45 0
60 -63 0
60 -36 -44 0
-60 63 36 0
-60 63 44 0
44 -47 0
44 -36 -60 0
-44 47 36 0
-44 47 60 0
36 -39 0
36 -44 -60 0
-36 39 44 0
-36 39 60 0
44 -47 0
44 -36 -63 0
-44 47 36 0
-44 47 63 0
36 -39 0
36 -44 -63 0
-36 39 44 0
-36 39 63 0
60 -63 0
60 -36 -47 0
-60 63 36 0
-60 63 47 0
36 -39 0
36 -47 -60 0
-36 39 47 0
-36 39 60 0
60 -63 0
60 -39 -44 0
-60 63 39 0
-60 63 44 0
44 -47 0
44 -39 -60 0
-44 47 39 0
-44 47 60 0
36 -39 0
36 -47 -63 0
-36 39 47 0
-36 39 63 0
44 -47 0
44 -39 -63 0
-44 47 39 0
-44 47 63 0
60 -63 0
60 -39 -47 0
-60 63 39 0
-60 63 47 0
62 -64 0
62 -38 -46 0
-62 64 38 0
-62 64 46 0
46 -48 0
46 -38 -62 0
-46 48 38 0
-46 48 62 0
38 -40 0
38 -46 -62 0
-38 40 46 0
-38 40 62 0
46 -48 0
46 -38 -64 0
-46 48 38 0
-46 48 64 0
38 -40 0
38 -46 -64 0
-38 40 46 0
-38 40 64 0
62 -64 0
62 -38 -48 0
-62 64 38 0
-62 64 48 0
38 -40 0
38 -48 -62 0
-38 40 48 0
-38 40 62 0
62 -64 0
62 -40 -46 0
-62 64 40 0
-62 64 46 0
46 -48 0
46 -40 -62 0
-46 48 40 0
-46 48 62 0
38 -40 0
38 -48 -64 0
-38 40 48 0
-38 40 64 0
46 -48 0
46 -40 -64 0
-46 48 40 0
-46 48 64 0
62 -64 0
62 -40 -48 0
-62 64 40 0
-62 64 48 0
65 -67 0
65 -33 -49 0
-65 67 33 0
-65 67 49 0
49 -51 0
49 -33 -65 0
-49 51 33 0
-49 51 65 0
33 -36 0
33 -49 -65 0
-33 36 49 0
-33 36 65 0
49 -51 0
49 -33 -67 0
-49 51 33 0
-49 51 67 0
33 -36 0
33 -49 -67 0
-33 36 49 0
-33 36 67 0
65 -67 0
65 -33 -51 0
-65 67 33 0
-65 67 51 0
33 -36 0
33 -51 -65 0
-33 36 51 0
-33 36 65 0
65 -67 0
65 -36 -49 0
-65 67 36 0
-65 67 49 0
49 -51 0
49 -36 -65 0
-49 51 36 0
-49 51 65 0
33 -36 0
33 -51 -67 0
-33 36 51 0
-33 36 67 0
49 -51 0
49 -36 -67 0
-49 51 36 0
-49 51 67 0
65 -67 0
65 -36 -51 0
-65 67 36 0
-65 67 51 0
66 -69 0
66 -34 -50 0
-66 69 34 0
-66 69 50 0
50 -53 0
50 -34 -66 0
-50 53 34 0
-50 53 66 0
34 -38 0
34 -50 -66 0
-34 38 50 0
-34 38 66 0
50 -53 0
50 -34 -69 0
-50 53 34 0
-50 53 69 0
34 -38 0
34 -50 -69 0
-34 38 50 0
-34 38 69 0
66 -69 0
66 -34 -53 0
-66 69 34 0
-66 69 53 0
34 -38 0
34 -53 -66 0
-34 38 53 0
-34 38 66 0
66 -69 0
66 -38 -50 0
-66 69 38 0
-66 69 50 0
50 -53 0
50 -38 -66 0
-50 53 38 0
-50 53 66 0
34 -38 0
34 -53 -69 0
-34 38 53 0
-34 38 69 0
50 -53 0
50 -38 -69 0
-50 53 38 0
-50 53 69 0
66 -69 0
66 -38 -53 0
-66 69 38 0
-66 69 53 0
68 -71 0
68 -35 -52 0
-68 71 35 0
-68 71 52 0
52 -55 0
52 -35 -68 0
-52 55 35 0
-52 55 68 0
35 -39 0
35 -52 -68 0
-35 39 52 0
-35 39 68 0
52 -55 0
52 -35 -71 0
-52 55 35 0
-52 55 71 0
35 -39 0
35 -52 -71 0
-35 39 52 0
-35 39 71 0
68 -71 0
68 -35 -55 0
-68 71 35 0
-68 71 55 0
35 -39 0
35 -55 -68 0
-35 39 55 0
-35 39 68 0
68 -71 0
68 -39 -52 0
-68 71 39 0
-68 71 52 0
52 -55 0
52 -39 -68 0
-52 55 39 0
-52 55 68 0
35 -39 0
35 -55 -71 0
-35 39 55 0
-35 39 71 0
52 -55 0
52 -39 -71 0
-52 55 39 0
-52 55 71 0
68 -71 0
68 -39 -55 0
-68 71 39 0
-68 71 55 0
70 -72 0
70 -37 -54 0
-70 72 37 0
-70 72 54 0
54 -56 0
54 -37 -70 0
-54 56 37 0
-54 56 70 0
37 -40 0
37 -54 -70 0
-37 40 54 0
-37 40 70 0
54 -56 0
54 -37 -72 0
-54 56 37 0
-54 56 72 0
37 -40 0
37 -54 -72 0
-37 40 54 0
-37 40 72 0
70 -72 0
70 -37 -56 0
-70 72 37 0
-70 72 56 0
37 -40 0
37 -56 -70 0
-37 40 56 0
-37 40 70 0
70 -72 0
70 -40 -54 0
-70 72 40 0
-70 72 54 0
54 -56 0
54 -40 -70 0
-54 56 40 0
-54 56 70 0
37 -40 0
37 -56 -72 0
-37 40 56 0
-37 40 72 0
54 -56 0
54 -40 -72 0
-54 56 40 0
-54 56 72 0
70 -72 0
70 -40 -56 0
-70 72 40 0
-70 72 56 0
73 -75 0
73 -41 -49 0
-73 75 41 0
-73 75 49 0
49 -52 0
49 -41 -73 0
-49 52 41 0
-49 52 73 0
41 -44 0
41 -49 -73 0
-41 44 49 0
-41 44 73 0
49 -52 0
49 -41 -75 0
-49 52 41 0
-49 52 75 0
41 -44 0
41 -49 -75 0
-41 44 49 0
-41 44 75 0
73 -75 0
73 -41 -52 0
-73 75 41 0
-73 75 52 0
41 -44 0
41 -52 -73 0
-41 44 52 0
-41 44 73 0
73 -75 0
73 -44 -49 0
-73 75 44 0
-73 75 49 0
49 -52 0
49 -44 -73 0
-49 52 44 0
-49 52 73 0
41 -44 0
41 -52 -75 0
-41 44 52 0
-41 44 75 0
49 -52 0
49 -44 -75 0
-49 52 44 0
-49 52 75 0
73 -75 0
73 -44 -52 0
-73 75 44 0
-73 75 52 0
74 -77 0
74 -42 -50 0
-74 77 42 0
-74 77 50 0
50 -54 0
50 -42 -74 0
-50 54 42 0
-50 54 74 0
42 -46 0
42 -50 -74 0
-42 46 50 0
-42 46 74 0
50 -54 0
50 -42 -77 0
-50 54 42 0
-50 54 77 0
42 -46 0
42 -50 -77 0
-42 46 50 0
-42 46 77 0
74 -77 0
74 -42 -54 0
-74 77 42 0
-74 77 54 0
42 -46 0
42 -54 -74 0
-42 46 54 0
-42 46 74 0
74 -77 0
74 -46 -50 0
-74 77 46 0
-74 77 50 0
50 -54 0
50 -46 -74 0
-50 54 46 0
-50 54 74 0
42 -46 0
42 -54 -77 0
-42 46 54 0
-42 46 77 0
50 -54 0
50 -46 -77 0
-50 54 46 0
-50 54 77 0
74 -77 0
74 -46 -54 0
-74 77 46 0
-74 77 54 0
76 -79 0
76 -43 -51 0
-76 79 43 0
-76 79 51 0
51 -55 0
51 -43 -76 0
-51 55 43 0
-51 55 76 0
43 -47 0
43 -51 -76 0
-43 47 51 0
-43 47 76 0
51 -55 0
51 -43 -79 0
-51 55 43 0
-51 55 79 0
43 -47 0
43 -51 -79 0
-43 47 51 0
-43 47 79 0
76 -79 0
76 -43 -55 0
-76 79 43 0
-76 79 55 0
43 -47 0
43 -55 -76 0
-43 47 55 0
-43 47 76 0
76 -79 0
76 -47 -51 0
-76 79 47 0
-76 79 51 0
51 -55 0
51 -47 -76 0
-51 55 47 0
-51 55 76 0
43 -47 0
43 -55 -79 0
-43 47 55 0
-43 47 79 0
51 -55 0
51 -47 -79 0
-51 55 47 0
-51 55 79 0
76 -79 0
76 -47 -55 0
-76 79 47 0
-76 79 55 0
78 -80 0
78 -45 -53 0
-78 80 45 0
-78 80 53 0
53 -56 0
53 -45 -78 0
-53 56 45 0
-53 56 78 0
45 -48 0
45 -53 -78 0
-45 48 53 0
-45 48 78 0
53 -56 0
53 -45 -80 0
-53 56 45 0
-53 56 80 0
45 -48 0
45 -53 -80 0
-45 48 53 0
-45 48 80 0
78 -80 0
78 -45 -56 0
-78 80 45 0
-78 80 56 0
45 -48 0
45 -56 -78 0
-45 48 56 0
-45 48 78 0
78 -80 0
78 -48 -53 0
-78 80 48 0
-78 80 53 0
53 -56 0
53 -48 -78 0
-53 56 48 0
-53 56 78 0
45 -48 0
45 -56 -80 0
-45 48 56 0
-45 48 80 0
53 -56 0
53 -48 -80 0
-53 56 48 0
-53 56 80 0
78 -80 0
78 -48 -56 0
-78 80 48 0
-78 80 56 0
73 -76 0
73 -57 -65 0
-73 76 57 0
-73 76 65 0
65 -68 0
65 -57 -73 0
-65 68 57 0
-65 68 73 0
57 -60 0
57 -65 -73 0
-57 60 65 0
-57 60 73 0
65 -68 0
65 -57 -76 0
-65 68 57 0
-65 68 76 0
57 -60 0
57 -65 -76 0
-57 60 65 0
-57 60 76 0
73 -76 0
73 -57 -68 0
-73 76 57 0
-73 76 68 0
57 -60 0
57 -68 -73 0
-57 60 68 0
-57 60 73 0
73 -76 0
73 -60 -65 0
-73 76 60 0
-73 76 65 0
65 -68 0
65 -60 -73 0
-65 68 60 0
-65 68 73 0
57 -60 0
57 -68 -76 0
-57 60 68 0
-57 60 76 0
65 -68 0
65 -60 -76 0
-65 68 60 0
-65 68 76 0
73 -76 0
73 -60 -68 0
-73 76 60 0
-73 76 68 0
74 -78 0
74 -58 -66 0
-74 78 58 0
-74 78 66 0
66 -70 0
66 -58 -74 0
-66 70 58 0
-66 70 74 0
58 -62 0
58 -66 -74 0
-58 62 66 0
-58 62 74 0
66 -70 0
66 -58 -78 0
-66 70 58 0
-66 70 78 0
58 -62 0
58 -66 -78 0
-58 62 66 0
-58 62 78 0
74 -78 0
74 -58 -70 0
-74 78 58 0
-74 78 70 0
58 -62 0
58 -70 -74 0
-58 62 70 0
-58 62 74 0
74 -78 0
74 -62 -66 0
-74 78 62 0
-74 78 66 0
66 -70 0
66 -62 -74 0
-66 70 62 0
-66 70 74 0
58 -62 0
58 -70 -78 0
-58 62 70 0
-58 62 78 0
66 -70 0
66 -62 -78 0
-66 70 62 0
-66 70 78 0
74 -78 0
74 -62 -70 0
-74 78 62 0
-74 78 70 0
75 -79 0
75 -59 -67 0
-75 79 59 0
-75 79 67 0
67 -71 0
67 -59 -75 0
-67 71 59 0
-67 71 75 0
59 -63 0
59 -67 -75 0
-59 63 67 0
-59 63 75 0
67 -71 0
67 -59 -79 0
-67 71 59 0
-67 71 79 0
59 -63 0
59 -67 -79 0
-59 63 67 0
-59 63 79 0
75 -79 0
75 -59 -71 0
-75 79 59 0
-75 79 71 0
59 -63 0
59 -71 -75 0
-59 63 71 0
-59 63 75 0
75 -79 0
75 -63 -67 0
-75 79 63 0
-75 79 67 0
67 -71 0
67 -63 -75 0
-67 71 63 0
-67 71 75 0
59 -63 0
59 -71 -79 0
-59 63 71 0
-59 63 79 0
67 -71 0
67 -63 -79 0
-67 71 63 0
-67 71 79 0
75 -79 0
75 -63 -71 0
-75 79 63 0
-75 79 71 0
77 -80 0
77 -61 -69 0
-77 80 61 0
-77 80 69 0
69 -72 0
69 -61 -77 0
-69 72 61 0
-69 72 77 0
61 -64 0
61 -69 -77 0
-61 64 69 0
-61 64 77 0
69 -72 0
69 -61 -80 0
-69 72 61 0
-69 72 80 0
61 -64 0
61 -69 -80 0
-61 64 69 0
-61 64 80 0
77 -80 0
77 -61 -72 0
-77 80 61 0
-77 80 72 0
61 -64 0
61 -72 -77 0
-61 64 72 0
-61 64 77 0
77 -80 0
77 -64 -69 0
-77 80 64 0
-77 80 69 0
69 -72 0
69 -64 -77 0
-69 72 64 0
-69 72 77 0
61 -64 0
61 -72 -80 0
-61 64 72 0
-61 64 80 0
69 -72 0
69 -64 -80 0
-69 72 64 0
-69 72 80 0
77 -80 0
77 -64 -72 0
-77 80 64 0
-77 80 72 0