232 cr__stop
2033 edge_in_path(9,23)
2034 edge_in_path(23,6)
2035 edge_in_path(23,8)
2036 edge_in_path(24,23)
2037 edge_in_path(1,20)
2038 edge_in_path(14,19)
2039 edge_in_path(22,11)
2040 edge_in_path(16,2)
2041 edge_in_path(4,17)
2042 edge_in_path(13,23)
2043 edge_in_path(8,4)
2044 edge_in_path(28,5)
2045 edge_in_path(9,26)
2046 edge_in_path(2,17)
2047 edge_in_path(10,26)
2048 edge_in_path(15,26)
2049 edge_in_path(29,21)
2050 edge_in_path(18,14)
2051 edge_in_path(21,30)
2052 edge_in_path(11,14)
2053 edge_in_path(23,21)
2054 edge_in_path(29,22)
2055 edge_in_path(15,10)
2056 edge_in_path(3,4)
2057 edge_in_path(24,26)
2058 edge_in_path(27,10)
2059 edge_in_path(4,18)
2060 edge_in_path(16,3)
2061 edge_in_path(23,7)
2062 edge_in_path(16,19)
2063 edge_in_path(23,1)
2064 edge_in_path(16,30)
2065 edge_in_path(17,8)
2066 edge_in_path(3,5)
2067 edge_in_path(1,19)
2068 edge_in_path(2,27)
2069 edge_in_path(8,9)
2070 edge_in_path(29,9)
2071 edge_in_path(5,25)
2072 edge_in_path(18,7)
2073 edge_in_path(12,13)
2074 edge_in_path(10,12)
2075 edge_in_path(7,10)
2076 edge_in_path(4,12)
2077 edge_in_path(11,17)
2078 edge_in_path(6,13)
2079 edge_in_path(4,10)
2080 edge_in_path(7,23)
2081 edge_in_path(30,2)
2082 edge_in_path(29,30)
2083 edge_in_path(1,15)
2084 edge_in_path(17,10)
2085 edge_in_path(11,23)
2086 edge_in_path(8,24)
2087 edge_in_path(25,23)
2088 edge_in_path(17,23)
2089 edge_in_path(20,1)
2090 edge_in_path(11,18)
2091 edge_in_path(15,6)
2092 edge_in_path(10,8)
2093 edge_in_path(25,26)
2094 edge_in_path(10,14)
2095 edge_in_path(4,5)
2096 edge_in_path(4,1)
2097 edge_in_path(22,5)
2098 edge_in_path(22,2)
2099 edge_in_path(2,13)
2100 edge_in_path(28,17)
2101 edge_in_path(13,27)
2102 edge_in_path(21,17)
2103 edge_in_path(19,22)
2104 edge_in_path(25,5)
2105 edge_in_path(25,24)
2106 edge_in_path(23,2)
2107 edge_in_path(22,7)
2108 edge_in_path(6,27)
2109 edge_in_path(11,13)
2110 edge_in_path(9,15)
2111 edge_in_path(25,29)
2112 edge_in_path(10,11)
2113 edge_in_path(7,9)
2114 edge_in_path(3,15)
2115 edge_in_path(13,21)
2116 edge_in_path(17,19)
2117 edge_in_path(27,30)
2118 edge_in_path(14,27)
2119 edge_in_path(29,8)
2120 edge_in_path(11,6)
2121 edge_in_path(7,27)
2122 edge_in_path(17,4)
2123 edge_in_path(17,7)
2124 edge_in_path(10,24)
2125 edge_in_path(18,26)
2126 edge_in_path(25,21)
2127 edge_in_path(27,14)
2128 edge_in_path(21,6)
2129 edge_in_path(19,14)
2130 edge_in_path(20,11)
2131 edge_in_path(19,28)
2132 edge_in_path(24,8)
2133 edge_in_path(25,14)
2134 edge_in_path(6,10)
2135 edge_in_path(15,30)
2136 edge_in_path(3,9)
2137 edge_in_path(8,2)
2138 edge_in_path(14,18)
2139 edge_in_path(17,26)
2140 edge_in_path(2,4)
2141 edge_in_path(2,28)
2142 edge_in_path(29,19)
2143 edge_in_path(18,19)
2144 edge_in_path(18,30)
2145 edge_in_path(20,10)
2146 edge_in_path(21,5)
2147 edge_in_path(6,20)
2148 edge_in_path(15,3)
2149 edge_in_path(29,26)
2150 edge_in_path(3,17)
2151 edge_in_path(5,30)
2152 edge_in_path(29,18)
2153 edge_in_path(20,30)
2154 edge_in_path(12,11)
2155 edge_in_path(22,26)
2156 edge_in_path(21,22)
2157 edge_in_path(9,30)
2158 edge_in_path(17,14)
2159 edge_in_path(28,1)
2160 edge_in_path(26,24)
2161 edge_in_path(2,26)
2162 edge_in_path(23,10)
2163 edge_in_path(10,2)
2164 edge_in_path(9,29)
2165 edge_in_path(19,27)
2166 edge_in_path(14,22)
2167 edge_in_path(22,6)
2168 edge_in_path(6,26)
2169 edge_in_path(30,17)
2170 edge_in_path(19,7)
2171 edge_in_path(11,21)
2172 edge_in_path(10,4)
2173 edge_in_path(3,29)
2174 edge_in_path(26,19)
2175 edge_in_path(30,28)
2176 edge_in_path(27,15)
2177 edge_in_path(25,18)
2178 edge_in_path(29,13)
2179 edge_in_path(1,21)
2180 edge_in_path(5,29)
2181 edge_in_path(15,25)
2182 edge_in_path(9,17)
2183 edge_in_path(28,23)
2184 edge_in_path(22,30)
2185 edge_in_path(1,2)
2186 edge_in_path(26,23)
2187 edge_in_path(30,7)
2188 edge_in_path(14,30)
2189 edge_in_path(29,1)
2190 edge_in_path(9,27)
2191 edge_in_path(13,4)
2192 edge_in_path(22,25)
2193 edge_in_path(24,5)
2194 edge_in_path(17,9)
2195 edge_in_path(8,14)
2196 edge_in_path(13,3)
2197 edge_in_path(15,24)
2198 edge_in_path(11,12)
2199 edge_in_path(1,27)
2200 edge_in_path(2,12)
2201 edge_in_path(14,28)
2202 edge_in_path(29,25)
2203 edge_in_path(3,25)
2204 edge_in_path(17,28)
2205 edge_in_path(26,29)
2206 edge_in_path(6,23)
2207 edge_in_path(29,20)
2208 edge_in_path(7,30)
2209 edge_in_path(11,19)
2210 edge_in_path(6,3)
2211 edge_in_path(3,16)
2212 edge_in_path(12,2)
2213 edge_in_path(20,6)
2214 edge_in_path(29,27)
2215 edge_in_path(15,28)
2216 edge_in_path(4,15)
2217 edge_in_path(26,27)
2218 edge_in_path(29,5)
2219 edge_in_path(13,11)
2220 edge_in_path(2,29)
2221 edge_in_path(23,28)
2222 edge_in_path(29,6)
2223 edge_in_path(30,4)
2224 edge_in_path(19,24)
2225 edge_in_path(10,21)
2226 edge_in_path(8,13)
2227 edge_in_path(18,27)
2228 edge_in_path(14,23)
2229 edge_in_path(27,9)
2230 edge_in_path(2,7)
2231 edge_in_path(5,19)
2232 edge_in_path(26,11)
