puresat-0.1: dimacs/ais/ais8.cnf

c created by Generic SAT Encoder v1.0
p cnf 113 1520
1 2 3 4 5 6 7 8 0
-1 -2 0
-1 -3 0
-1 -4 0
-1 -5 0
-1 -6 0
-1 -7 0
-1 -8 0
-2 -3 0
-2 -4 0
-2 -5 0
-2 -6 0
-2 -7 0
-2 -8 0
-3 -4 0
-3 -5 0
-3 -6 0
-3 -7 0
-3 -8 0
-4 -5 0
-4 -6 0
-4 -7 0
-4 -8 0
-5 -6 0
-5 -7 0
-5 -8 0
-6 -7 0
-6 -8 0
-7 -8 0
9 10 11 12 13 14 15 16 0
-9 -10 0
-9 -11 0
-9 -12 0
-9 -13 0
-9 -14 0
-9 -15 0
-9 -16 0
-10 -11 0
-10 -12 0
-10 -13 0
-10 -14 0
-10 -15 0
-10 -16 0
-11 -12 0
-11 -13 0
-11 -14 0
-11 -15 0
-11 -16 0
-12 -13 0
-12 -14 0
-12 -15 0
-12 -16 0
-13 -14 0
-13 -15 0
-13 -16 0
-14 -15 0
-14 -16 0
-15 -16 0
17 18 19 20 21 22 23 24 0
-17 -18 0
-17 -19 0
-17 -20 0
-17 -21 0
-17 -22 0
-17 -23 0
-17 -24 0
-18 -19 0
-18 -20 0
-18 -21 0
-18 -22 0
-18 -23 0
-18 -24 0
-19 -20 0
-19 -21 0
-19 -22 0
-19 -23 0
-19 -24 0
-20 -21 0
-20 -22 0
-20 -23 0
-20 -24 0
-21 -22 0
-21 -23 0
-21 -24 0
-22 -23 0
-22 -24 0
-23 -24 0
25 26 27 28 29 30 31 32 0
-25 -26 0
-25 -27 0
-25 -28 0
-25 -29 0
-25 -30 0
-25 -31 0
-25 -32 0
-26 -27 0
-26 -28 0
-26 -29 0
-26 -30 0
-26 -31 0
-26 -32 0
-27 -28 0
-27 -29 0
-27 -30 0
-27 -31 0
-27 -32 0
-28 -29 0
-28 -30 0
-28 -31 0
-28 -32 0
-29 -30 0
-29 -31 0
-29 -32 0
-30 -31 0
-30 -32 0
-31 -32 0
33 34 35 36 37 38 39 40 0
-33 -34 0
-33 -35 0
-33 -36 0
-33 -37 0
-33 -38 0
-33 -39 0
-33 -40 0
-34 -35 0
-34 -36 0
-34 -37 0
-34 -38 0
-34 -39 0
-34 -40 0
-35 -36 0
-35 -37 0
-35 -38 0
-35 -39 0
-35 -40 0
-36 -37 0
-36 -38 0
-36 -39 0
-36 -40 0
-37 -38 0
-37 -39 0
-37 -40 0
-38 -39 0
-38 -40 0
-39 -40 0
41 42 43 44 45 46 47 48 0
-41 -42 0
-41 -43 0
-41 -44 0
-41 -45 0
-41 -46 0
-41 -47 0
-41 -48 0
-42 -43 0
-42 -44 0
-42 -45 0
-42 -46 0
-42 -47 0
-42 -48 0
-43 -44 0
-43 -45 0
-43 -46 0
-43 -47 0
-43 -48 0
-44 -45 0
-44 -46 0
-44 -47 0
-44 -48 0
-45 -46 0
-45 -47 0
-45 -48 0
-46 -47 0
-46 -48 0
-47 -48 0
49 50 51 52 53 54 55 56 0
-49 -50 0
-49 -51 0
-49 -52 0
-49 -53 0
-49 -54 0
-49 -55 0
-49 -56 0
-50 -51 0
-50 -52 0
-50 -53 0
-50 -54 0
-50 -55 0
-50 -56 0
-51 -52 0
-51 -53 0
-51 -54 0
-51 -55 0
-51 -56 0
-52 -53 0
-52 -54 0
-52 -55 0
-52 -56 0
-53 -54 0
-53 -55 0
-53 -56 0
-54 -55 0
-54 -56 0
-55 -56 0
57 58 59 60 61 62 63 64 0
-57 -58 0
-57 -59 0
-57 -60 0
-57 -61 0
-57 -62 0
-57 -63 0
-57 -64 0
-58 -59 0
-58 -60 0
-58 -61 0
-58 -62 0
-58 -63 0
-58 -64 0
-59 -60 0
-59 -61 0
-59 -62 0
-59 -63 0
-59 -64 0
-60 -61 0
-60 -62 0
-60 -63 0
-60 -64 0
-61 -62 0
-61 -63 0
-61 -64 0
-62 -63 0
-62 -64 0
-63 -64 0
65 66 67 68 69 70 71 0
-65 -66 0
-65 -67 0
-65 -68 0
-65 -69 0
-65 -70 0
-65 -71 0
-66 -67 0
-66 -68 0
-66 -69 0
-66 -70 0
-66 -71 0
-67 -68 0
-67 -69 0
-67 -70 0
-67 -71 0
-68 -69 0
-68 -70 0
-68 -71 0
-69 -70 0
-69 -71 0
-70 -71 0
72 73 74 75 76 77 78 0
-72 -73 0
-72 -74 0
-72 -75 0
-72 -76 0
-72 -77 0
-72 -78 0
-73 -74 0
-73 -75 0
-73 -76 0
-73 -77 0
-73 -78 0
-74 -75 0
-74 -76 0
-74 -77 0
-74 -78 0
-75 -76 0
-75 -77 0
-75 -78 0
-76 -77 0
-76 -78 0
-77 -78 0
79 80 81 82 83 84 85 0
-79 -80 0
-79 -81 0
-79 -82 0
-79 -83 0
-79 -84 0
-79 -85 0
-80 -81 0
-80 -82 0
-80 -83 0
-80 -84 0
-80 -85 0
-81 -82 0
-81 -83 0
-81 -84 0
-81 -85 0
-82 -83 0
-82 -84 0
-82 -85 0
-83 -84 0
-83 -85 0
-84 -85 0
86 87 88 89 90 91 92 0
-86 -87 0
-86 -88 0
-86 -89 0
-86 -90 0
-86 -91 0
-86 -92 0
-87 -88 0
-87 -89 0
-87 -90 0
-87 -91 0
-87 -92 0
-88 -89 0
-88 -90 0
-88 -91 0
-88 -92 0
-89 -90 0
-89 -91 0
-89 -92 0
-90 -91 0
-90 -92 0
-91 -92 0
93 94 95 96 97 98 99 0
-93 -94 0
-93 -95 0
-93 -96 0
-93 -97 0
-93 -98 0
-93 -99 0
-94 -95 0
-94 -96 0
-94 -97 0
-94 -98 0
-94 -99 0
-95 -96 0
-95 -97 0
-95 -98 0
-95 -99 0
-96 -97 0
-96 -98 0
-96 -99 0
-97 -98 0
-97 -99 0
-98 -99 0
100 101 102 103 104 105 106 0
-100 -101 0
-100 -102 0
-100 -103 0
-100 -104 0
-100 -105 0
-100 -106 0
-101 -102 0
-101 -103 0
-101 -104 0
-101 -105 0
-101 -106 0
-102 -103 0
-102 -104 0
-102 -105 0
-102 -106 0
-103 -104 0
-103 -105 0
-103 -106 0
-104 -105 0
-104 -106 0
-105 -106 0
107 108 109 110 111 112 113 0
-107 -108 0
-107 -109 0
-107 -110 0
-107 -111 0
-107 -112 0
-107 -113 0
-108 -109 0
-108 -110 0
-108 -111 0
-108 -112 0
-108 -113 0
-109 -110 0
-109 -111 0
-109 -112 0
-109 -113 0
-110 -111 0
-110 -112 0
-110 -113 0
-111 -112 0
-111 -113 0
-112 -113 0
-1 -9 0
-2 -10 0
-3 -11 0
-4 -12 0
-5 -13 0
-6 -14 0
-7 -15 0
-8 -16 0
-1 -17 0
-2 -18 0
-3 -19 0
-4 -20 0
-5 -21 0
-6 -22 0
-7 -23 0
-8 -24 0
-1 -25 0
-2 -26 0
-3 -27 0
-4 -28 0
-5 -29 0
-6 -30 0
-7 -31 0
-8 -32 0
-1 -33 0
-2 -34 0
-3 -35 0
-4 -36 0
-5 -37 0
-6 -38 0
-7 -39 0
-8 -40 0
-1 -41 0
-2 -42 0
-3 -43 0
-4 -44 0
-5 -45 0
-6 -46 0
-7 -47 0
-8 -48 0
-1 -49 0
-2 -50 0
-3 -51 0
-4 -52 0
-5 -53 0
-6 -54 0
-7 -55 0
-8 -56 0
-1 -57 0
-2 -58 0
-3 -59 0
-4 -60 0
-5 -61 0
-6 -62 0
-7 -63 0
-8 -64 0
-9 -1 0
-10 -2 0
-11 -3 0
-12 -4 0
-13 -5 0
-14 -6 0
-15 -7 0
-16 -8 0
-9 -17 0
-10 -18 0
-11 -19 0
-12 -20 0
-13 -21 0
-14 -22 0
-15 -23 0
-16 -24 0
-9 -25 0
-10 -26 0
-11 -27 0
-12 -28 0
-13 -29 0
-14 -30 0
-15 -31 0
-16 -32 0
-9 -33 0
-10 -34 0
-11 -35 0
-12 -36 0
-13 -37 0
-14 -38 0
-15 -39 0
-16 -40 0
-9 -41 0
-10 -42 0
-11 -43 0
-12 -44 0
-13 -45 0
-14 -46 0
-15 -47 0
-16 -48 0
-9 -49 0
-10 -50 0
-11 -51 0
-12 -52 0
-13 -53 0
-14 -54 0
-15 -55 0
-16 -56 0
-9 -57 0
-10 -58 0
-11 -59 0
-12 -60 0
-13 -61 0
-14 -62 0
-15 -63 0
-16 -64 0
-17 -1 0
-18 -2 0
-19 -3 0
-20 -4 0
-21 -5 0
-22 -6 0
-23 -7 0
-24 -8 0
-17 -9 0
-18 -10 0
-19 -11 0
-20 -12 0
-21 -13 0
-22 -14 0
-23 -15 0
-24 -16 0
-17 -25 0
-18 -26 0
-19 -27 0
-20 -28 0
-21 -29 0
-22 -30 0
-23 -31 0
-24 -32 0
-17 -33 0
-18 -34 0
-19 -35 0
-20 -36 0
-21 -37 0
-22 -38 0
-23 -39 0
-24 -40 0
-17 -41 0
-18 -42 0
-19 -43 0
-20 -44 0
-21 -45 0
-22 -46 0
-23 -47 0
-24 -48 0
-17 -49 0
-18 -50 0
-19 -51 0
-20 -52 0
-21 -53 0
-22 -54 0
-23 -55 0
-24 -56 0
-17 -57 0
-18 -58 0
-19 -59 0
-20 -60 0
-21 -61 0
-22 -62 0
-23 -63 0
-24 -64 0
-25 -1 0
-26 -2 0
-27 -3 0
-28 -4 0
-29 -5 0
-30 -6 0
-31 -7 0
-32 -8 0
-25 -9 0
-26 -10 0
-27 -11 0
-28 -12 0
-29 -13 0
-30 -14 0
-31 -15 0
-32 -16 0
-25 -17 0
-26 -18 0
-27 -19 0
-28 -20 0
-29 -21 0
-30 -22 0
-31 -23 0
-32 -24 0
-25 -33 0
-26 -34 0
-27 -35 0
-28 -36 0
-29 -37 0
-30 -38 0
-31 -39 0
-32 -40 0
-25 -41 0
-26 -42 0
-27 -43 0
-28 -44 0
-29 -45 0
-30 -46 0
-31 -47 0
-32 -48 0
-25 -49 0
-26 -50 0
-27 -51 0
-28 -52 0
-29 -53 0
-30 -54 0
-31 -55 0
-32 -56 0
-25 -57 0
-26 -58 0
-27 -59 0
-28 -60 0
-29 -61 0
-30 -62 0
-31 -63 0
-32 -64 0
-33 -1 0
-34 -2 0
-35 -3 0
-36 -4 0
-37 -5 0
-38 -6 0
-39 -7 0
-40 -8 0
-33 -9 0
-34 -10 0
-35 -11 0
-36 -12 0
-37 -13 0
-38 -14 0
-39 -15 0
-40 -16 0
-33 -17 0
-34 -18 0
-35 -19 0
-36 -20 0
-37 -21 0
-38 -22 0
-39 -23 0
-40 -24 0
-33 -25 0
-34 -26 0
-35 -27 0
-36 -28 0
-37 -29 0
-38 -30 0
-39 -31 0
-40 -32 0
-33 -41 0
-34 -42 0
-35 -43 0
-36 -44 0
-37 -45 0
-38 -46 0
-39 -47 0
-40 -48 0
-33 -49 0
-34 -50 0
-35 -51 0
-36 -52 0
-37 -53 0
-38 -54 0
-39 -55 0
-40 -56 0
-33 -57 0
-34 -58 0
-35 -59 0
-36 -60 0
-37 -61 0
-38 -62 0
-39 -63 0
-40 -64 0
-41 -1 0
-42 -2 0
-43 -3 0
-44 -4 0
-45 -5 0
-46 -6 0
-47 -7 0
-48 -8 0
-41 -9 0
-42 -10 0
-43 -11 0
-44 -12 0
-45 -13 0
-46 -14 0
-47 -15 0
-48 -16 0
-41 -17 0
-42 -18 0
-43 -19 0
-44 -20 0
-45 -21 0
-46 -22 0
-47 -23 0
-48 -24 0
-41 -25 0
-42 -26 0
-43 -27 0
-44 -28 0
-45 -29 0
-46 -30 0
-47 -31 0
-48 -32 0
-41 -33 0
-42 -34 0
-43 -35 0
-44 -36 0
-45 -37 0
-46 -38 0
-47 -39 0
-48 -40 0
-41 -49 0
-42 -50 0
-43 -51 0
-44 -52 0
-45 -53 0
-46 -54 0
-47 -55 0
-48 -56 0
-41 -57 0
-42 -58 0
-43 -59 0
-44 -60 0
-45 -61 0
-46 -62 0
-47 -63 0
-48 -64 0
-49 -1 0
-50 -2 0
-51 -3 0
-52 -4 0
-53 -5 0
-54 -6 0
-55 -7 0
-56 -8 0
-49 -9 0
-50 -10 0
-51 -11 0
-52 -12 0
-53 -13 0
-54 -14 0
-55 -15 0
-56 -16 0
-49 -17 0
-50 -18 0
-51 -19 0
-52 -20 0
-53 -21 0
-54 -22 0
-55 -23 0
-56 -24 0
-49 -25 0
-50 -26 0
-51 -27 0
-52 -28 0
-53 -29 0
-54 -30 0
-55 -31 0
-56 -32 0
-49 -33 0
-50 -34 0
-51 -35 0
-52 -36 0
-53 -37 0
-54 -38 0
-55 -39 0
-56 -40 0
-49 -41 0
-50 -42 0
-51 -43 0
-52 -44 0
-53 -45 0
-54 -46 0
-55 -47 0
-56 -48 0
-49 -57 0
-50 -58 0
-51 -59 0
-52 -60 0
-53 -61 0
-54 -62 0
-55 -63 0
-56 -64 0
-57 -1 0
-58 -2 0
-59 -3 0
-60 -4 0
-61 -5 0
-62 -6 0
-63 -7 0
-64 -8 0
-57 -9 0
-58 -10 0
-59 -11 0
-60 -12 0
-61 -13 0
-62 -14 0
-63 -15 0
-64 -16 0
-57 -17 0
-58 -18 0
-59 -19 0
-60 -20 0
-61 -21 0
-62 -22 0
-63 -23 0
-64 -24 0
-57 -25 0
-58 -26 0
-59 -27 0
-60 -28 0
-61 -29 0
-62 -30 0
-63 -31 0
-64 -32 0
-57 -33 0
-58 -34 0
-59 -35 0
-60 -36 0
-61 -37 0
-62 -38 0
-63 -39 0
-64 -40 0
-57 -41 0
-58 -42 0
-59 -43 0
-60 -44 0
-61 -45 0
-62 -46 0
-63 -47 0
-64 -48 0
-57 -49 0
-58 -50 0
-59 -51 0
-60 -52 0
-61 -53 0
-62 -54 0
-63 -55 0
-64 -56 0
-65 -72 0
-66 -73 0
-67 -74 0
-68 -75 0
-69 -76 0
-70 -77 0
-71 -78 0
-65 -79 0
-66 -80 0
-67 -81 0
-68 -82 0
-69 -83 0
-70 -84 0
-71 -85 0
-65 -86 0
-66 -87 0
-67 -88 0
-68 -89 0
-69 -90 0
-70 -91 0
-71 -92 0
-65 -93 0
-66 -94 0
-67 -95 0
-68 -96 0
-69 -97 0
-70 -98 0
-71 -99 0
-65 -100 0
-66 -101 0
-67 -102 0
-68 -103 0
-69 -104 0
-70 -105 0
-71 -106 0
-65 -107 0
-66 -108 0
-67 -109 0
-68 -110 0
-69 -111 0
-70 -112 0
-71 -113 0
-72 -65 0
-73 -66 0
-74 -67 0
-75 -68 0
-76 -69 0
-77 -70 0
-78 -71 0
-72 -79 0
-73 -80 0
-74 -81 0
-75 -82 0
-76 -83 0
-77 -84 0
-78 -85 0
-72 -86 0
-73 -87 0
-74 -88 0
-75 -89 0
-76 -90 0
-77 -91 0
-78 -92 0
-72 -93 0
-73 -94 0
-74 -95 0
-75 -96 0
-76 -97 0
-77 -98 0
-78 -99 0
-72 -100 0
-73 -101 0
-74 -102 0
-75 -103 0
-76 -104 0
-77 -105 0
-78 -106 0
-72 -107 0
-73 -108 0
-74 -109 0
-75 -110 0
-76 -111 0
-77 -112 0
-78 -113 0
-79 -65 0
-80 -66 0
-81 -67 0
-82 -68 0
-83 -69 0
-84 -70 0
-85 -71 0
-79 -72 0
-80 -73 0
-81 -74 0
-82 -75 0
-83 -76 0
-84 -77 0
-85 -78 0
-79 -86 0
-80 -87 0
-81 -88 0
-82 -89 0
-83 -90 0
-84 -91 0
-85 -92 0
-79 -93 0
-80 -94 0
-81 -95 0
-82 -96 0
-83 -97 0
-84 -98 0
-85 -99 0
-79 -100 0
-80 -101 0
-81 -102 0
-82 -103 0
-83 -104 0
-84 -105 0
-85 -106 0
-79 -107 0
-80 -108 0
-81 -109 0
-82 -110 0
-83 -111 0
-84 -112 0
-85 -113 0
-86 -65 0
-87 -66 0
-88 -67 0
-89 -68 0
-90 -69 0
-91 -70 0
-92 -71 0
-86 -72 0
-87 -73 0
-88 -74 0
-89 -75 0
-90 -76 0
-91 -77 0
-92 -78 0
-86 -79 0
-87 -80 0
-88 -81 0
-89 -82 0
-90 -83 0
-91 -84 0
-92 -85 0
-86 -93 0
-87 -94 0
-88 -95 0
-89 -96 0
-90 -97 0
-91 -98 0
-92 -99 0
-86 -100 0
-87 -101 0
-88 -102 0
-89 -103 0
-90 -104 0
-91 -105 0
-92 -106 0
-86 -107 0
-87 -108 0
-88 -109 0
-89 -110 0
-90 -111 0
-91 -112 0
-92 -113 0
-93 -65 0
-94 -66 0
-95 -67 0
-96 -68 0
-97 -69 0
-98 -70 0
-99 -71 0
-93 -72 0
-94 -73 0
-95 -74 0
-96 -75 0
-97 -76 0
-98 -77 0
-99 -78 0
-93 -79 0
-94 -80 0
-95 -81 0
-96 -82 0
-97 -83 0
-98 -84 0
-99 -85 0
-93 -86 0
-94 -87 0
-95 -88 0
-96 -89 0
-97 -90 0
-98 -91 0
-99 -92 0
-93 -100 0
-94 -101 0
-95 -102 0
-96 -103 0
-97 -104 0
-98 -105 0
-99 -106 0
-93 -107 0
-94 -108 0
-95 -109 0
-96 -110 0
-97 -111 0
-98 -112 0
-99 -113 0
-100 -65 0
-101 -66 0
-102 -67 0
-103 -68 0
-104 -69 0
-105 -70 0
-106 -71 0
-100 -72 0
-101 -73 0
-102 -74 0
-103 -75 0
-104 -76 0
-105 -77 0
-106 -78 0
-100 -79 0
-101 -80 0
-102 -81 0
-103 -82 0
-104 -83 0
-105 -84 0
-106 -85 0
-100 -86 0
-101 -87 0
-102 -88 0
-103 -89 0
-104 -90 0
-105 -91 0
-106 -92 0
-100 -93 0
-101 -94 0
-102 -95 0
-103 -96 0
-104 -97 0
-105 -98 0
-106 -99 0
-100 -107 0
-101 -108 0
-102 -109 0
-103 -110 0
-104 -111 0
-105 -112 0
-106 -113 0
-107 -65 0
-108 -66 0
-109 -67 0
-110 -68 0
-111 -69 0
-112 -70 0
-113 -71 0
-107 -72 0
-108 -73 0
-109 -74 0
-110 -75 0
-111 -76 0
-112 -77 0
-113 -78 0
-107 -79 0
-108 -80 0
-109 -81 0
-110 -82 0
-111 -83 0
-112 -84 0
-113 -85 0
-107 -86 0
-108 -87 0
-109 -88 0
-110 -89 0
-111 -90 0
-112 -91 0
-113 -92 0
-107 -93 0
-108 -94 0
-109 -95 0
-110 -96 0
-111 -97 0
-112 -98 0
-113 -99 0
-107 -100 0
-108 -101 0
-109 -102 0
-110 -103 0
-111 -104 0
-112 -105 0
-113 -106 0
-1 -10 65 0
-1 -11 66 0
-1 -12 67 0
-1 -13 68 0
-1 -14 69 0
-1 -15 70 0
-1 -16 71 0
-2 -11 65 0
-2 -9 65 0
-2 -12 66 0
-2 -13 67 0
-2 -14 68 0
-2 -15 69 0
-2 -16 70 0
-3 -12 65 0
-3 -10 65 0
-3 -13 66 0
-3 -9 66 0
-3 -14 67 0
-3 -15 68 0
-3 -16 69 0
-4 -13 65 0
-4 -11 65 0
-4 -14 66 0
-4 -10 66 0
-4 -15 67 0
-4 -9 67 0
-4 -16 68 0
-5 -14 65 0
-5 -12 65 0
-5 -15 66 0
-5 -11 66 0
-5 -16 67 0
-5 -10 67 0
-5 -9 68 0
-6 -15 65 0
-6 -13 65 0
-6 -16 66 0
-6 -12 66 0
-6 -11 67 0
-6 -10 68 0
-6 -9 69 0
-7 -16 65 0
-7 -14 65 0
-7 -13 66 0
-7 -12 67 0
-7 -11 68 0
-7 -10 69 0
-7 -9 70 0
-8 -15 65 0
-8 -14 66 0
-8 -13 67 0
-8 -12 68 0
-8 -11 69 0
-8 -10 70 0
-8 -9 71 0
-9 -18 72 0
-9 -19 73 0
-9 -20 74 0
-9 -21 75 0
-9 -22 76 0
-9 -23 77 0
-9 -24 78 0
-10 -19 72 0
-10 -17 72 0
-10 -20 73 0
-10 -21 74 0
-10 -22 75 0
-10 -23 76 0
-10 -24 77 0
-11 -20 72 0
-11 -18 72 0
-11 -21 73 0
-11 -17 73 0
-11 -22 74 0
-11 -23 75 0
-11 -24 76 0
-12 -21 72 0
-12 -19 72 0
-12 -22 73 0
-12 -18 73 0
-12 -23 74 0
-12 -17 74 0
-12 -24 75 0
-13 -22 72 0
-13 -20 72 0
-13 -23 73 0
-13 -19 73 0
-13 -24 74 0
-13 -18 74 0
-13 -17 75 0
-14 -23 72 0
-14 -21 72 0
-14 -24 73 0
-14 -20 73 0
-14 -19 74 0
-14 -18 75 0
-14 -17 76 0
-15 -24 72 0
-15 -22 72 0
-15 -21 73 0
-15 -20 74 0
-15 -19 75 0
-15 -18 76 0
-15 -17 77 0
-16 -23 72 0
-16 -22 73 0
-16 -21 74 0
-16 -20 75 0
-16 -19 76 0
-16 -18 77 0
-16 -17 78 0
-17 -26 79 0
-17 -27 80 0
-17 -28 81 0
-17 -29 82 0
-17 -30 83 0
-17 -31 84 0
-17 -32 85 0
-18 -27 79 0
-18 -25 79 0
-18 -28 80 0
-18 -29 81 0
-18 -30 82 0
-18 -31 83 0
-18 -32 84 0
-19 -28 79 0
-19 -26 79 0
-19 -29 80 0
-19 -25 80 0
-19 -30 81 0
-19 -31 82 0
-19 -32 83 0
-20 -29 79 0
-20 -27 79 0
-20 -30 80 0
-20 -26 80 0
-20 -31 81 0
-20 -25 81 0
-20 -32 82 0
-21 -30 79 0
-21 -28 79 0
-21 -31 80 0
-21 -27 80 0
-21 -32 81 0
-21 -26 81 0
-21 -25 82 0
-22 -31 79 0
-22 -29 79 0
-22 -32 80 0
-22 -28 80 0
-22 -27 81 0
-22 -26 82 0
-22 -25 83 0
-23 -32 79 0
-23 -30 79 0
-23 -29 80 0
-23 -28 81 0
-23 -27 82 0
-23 -26 83 0
-23 -25 84 0
-24 -31 79 0
-24 -30 80 0
-24 -29 81 0
-24 -28 82 0
-24 -27 83 0
-24 -26 84 0
-24 -25 85 0
-25 -34 86 0
-25 -35 87 0
-25 -36 88 0
-25 -37 89 0
-25 -38 90 0
-25 -39 91 0
-25 -40 92 0
-26 -35 86 0
-26 -33 86 0
-26 -36 87 0
-26 -37 88 0
-26 -38 89 0
-26 -39 90 0
-26 -40 91 0
-27 -36 86 0
-27 -34 86 0
-27 -37 87 0
-27 -33 87 0
-27 -38 88 0
-27 -39 89 0
-27 -40 90 0
-28 -37 86 0
-28 -35 86 0
-28 -38 87 0
-28 -34 87 0
-28 -39 88 0
-28 -33 88 0
-28 -40 89 0
-29 -38 86 0
-29 -36 86 0
-29 -39 87 0
-29 -35 87 0
-29 -40 88 0
-29 -34 88 0
-29 -33 89 0
-30 -39 86 0
-30 -37 86 0
-30 -40 87 0
-30 -36 87 0
-30 -35 88 0
-30 -34 89 0
-30 -33 90 0
-31 -40 86 0
-31 -38 86 0
-31 -37 87 0
-31 -36 88 0
-31 -35 89 0
-31 -34 90 0
-31 -33 91 0
-32 -39 86 0
-32 -38 87 0
-32 -37 88 0
-32 -36 89 0
-32 -35 90 0
-32 -34 91 0
-32 -33 92 0
-33 -42 93 0
-33 -43 94 0
-33 -44 95 0
-33 -45 96 0
-33 -46 97 0
-33 -47 98 0
-33 -48 99 0
-34 -43 93 0
-34 -41 93 0
-34 -44 94 0
-34 -45 95 0
-34 -46 96 0
-34 -47 97 0
-34 -48 98 0
-35 -44 93 0
-35 -42 93 0
-35 -45 94 0
-35 -41 94 0
-35 -46 95 0
-35 -47 96 0
-35 -48 97 0
-36 -45 93 0
-36 -43 93 0
-36 -46 94 0
-36 -42 94 0
-36 -47 95 0
-36 -41 95 0
-36 -48 96 0
-37 -46 93 0
-37 -44 93 0
-37 -47 94 0
-37 -43 94 0
-37 -48 95 0
-37 -42 95 0
-37 -41 96 0
-38 -47 93 0
-38 -45 93 0
-38 -48 94 0
-38 -44 94 0
-38 -43 95 0
-38 -42 96 0
-38 -41 97 0
-39 -48 93 0
-39 -46 93 0
-39 -45 94 0
-39 -44 95 0
-39 -43 96 0
-39 -42 97 0
-39 -41 98 0
-40 -47 93 0
-40 -46 94 0
-40 -45 95 0
-40 -44 96 0
-40 -43 97 0
-40 -42 98 0
-40 -41 99 0
-41 -50 100 0
-41 -51 101 0
-41 -52 102 0
-41 -53 103 0
-41 -54 104 0
-41 -55 105 0
-41 -56 106 0
-42 -51 100 0
-42 -49 100 0
-42 -52 101 0
-42 -53 102 0
-42 -54 103 0
-42 -55 104 0
-42 -56 105 0
-43 -52 100 0
-43 -50 100 0
-43 -53 101 0
-43 -49 101 0
-43 -54 102 0
-43 -55 103 0
-43 -56 104 0
-44 -53 100 0
-44 -51 100 0
-44 -54 101 0
-44 -50 101 0
-44 -55 102 0
-44 -49 102 0
-44 -56 103 0
-45 -54 100 0
-45 -52 100 0
-45 -55 101 0
-45 -51 101 0
-45 -56 102 0
-45 -50 102 0
-45 -49 103 0
-46 -55 100 0
-46 -53 100 0
-46 -56 101 0
-46 -52 101 0
-46 -51 102 0
-46 -50 103 0
-46 -49 104 0
-47 -56 100 0
-47 -54 100 0
-47 -53 101 0
-47 -52 102 0
-47 -51 103 0
-47 -50 104 0
-47 -49 105 0
-48 -55 100 0
-48 -54 101 0
-48 -53 102 0
-48 -52 103 0
-48 -51 104 0
-48 -50 105 0
-48 -49 106 0
-49 -58 107 0
-49 -59 108 0
-49 -60 109 0
-49 -61 110 0
-49 -62 111 0
-49 -63 112 0
-49 -64 113 0
-50 -59 107 0
-50 -57 107 0
-50 -60 108 0
-50 -61 109 0
-50 -62 110 0
-50 -63 111 0
-50 -64 112 0
-51 -60 107 0
-51 -58 107 0
-51 -61 108 0
-51 -57 108 0
-51 -62 109 0
-51 -63 110 0
-51 -64 111 0
-52 -61 107 0
-52 -59 107 0
-52 -62 108 0
-52 -58 108 0
-52 -63 109 0
-52 -57 109 0
-52 -64 110 0
-53 -62 107 0
-53 -60 107 0
-53 -63 108 0
-53 -59 108 0
-53 -64 109 0
-53 -58 109 0
-53 -57 110 0
-54 -63 107 0
-54 -61 107 0
-54 -64 108 0
-54 -60 108 0
-54 -59 109 0
-54 -58 110 0
-54 -57 111 0
-55 -64 107 0
-55 -62 107 0
-55 -61 108 0
-55 -60 109 0
-55 -59 110 0
-55 -58 111 0
-55 -57 112 0
-56 -63 107 0
-56 -62 108 0
-56 -61 109 0
-56 -60 110 0
-56 -59 111 0
-56 -58 112 0
-56 -57 113 0
c end of file