def aria.sb3
bend-osdev-legacy-ciphers@0.1.0.0 · aria.bend:2078
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
import Base
2078
2079def aria.sb3(w0: Word(8n)) -> Word(8n):
2080 match w0:
2081 case WCon{False{}, w1}:
2082 match w1:
2083 case WCon{False{}, w2}:
2084 match w2:
2085 case WCon{False{}, w3}:
2086 match w3:
2087 case WCon{False{}, w4}:
2088 match w4:
2089 case WCon{False{}, w5}:
2090 match w5:
2091 case WCon{False{}, w6}:
2092 match w6:
2093 case WCon{False{}, w7}:
2094 match w7:
2095 case WCon{False{}, w8}:
2096 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2097 case WCon{True{}, w8}:
2098 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2099 case WCon{True{}, w7}:
2100 match w7:
2101 case WCon{False{}, w8}:
2102 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2103 case WCon{True{}, w8}:
2104 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2105 case WCon{True{}, w6}:
2106 match w6:
2107 case WCon{False{}, w7}:
2108 match w7:
2109 case WCon{False{}, w8}:
2110 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2111 case WCon{True{}, w8}:
2112 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2113 case WCon{True{}, w7}:
2114 match w7:
2115 case WCon{False{}, w8}:
2116 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2117 case WCon{True{}, w8}:
2118 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2119 case WCon{True{}, w5}:
2120 match w5:
2121 case WCon{False{}, w6}:
2122 match w6:
2123 case WCon{False{}, w7}:
2124 match w7:
2125 case WCon{False{}, w8}:
2126 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2127 case WCon{True{}, w8}:
2128 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2129 case WCon{True{}, w7}:
2130 match w7:
2131 case WCon{False{}, w8}:
2132 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2133 case WCon{True{}, w8}:
2134 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2135 case WCon{True{}, w6}:
2136 match w6:
2137 case WCon{False{}, w7}:
2138 match w7:
2139 case WCon{False{}, w8}:
2140 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2141 case WCon{True{}, w8}:
2142 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2143 case WCon{True{}, w7}:
2144 match w7:
2145 case WCon{False{}, w8}:
2146 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2147 case WCon{True{}, w8}:
2148 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2149 case WCon{True{}, w4}:
2150 match w4:
2151 case WCon{False{}, w5}:
2152 match w5:
2153 case WCon{False{}, w6}:
2154 match w6:
2155 case WCon{False{}, w7}:
2156 match w7:
2157 case WCon{False{}, w8}:
2158 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2159 case WCon{True{}, w8}:
2160 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2161 case WCon{True{}, w7}:
2162 match w7:
2163 case WCon{False{}, w8}:
2164 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2165 case WCon{True{}, w8}:
2166 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2167 case WCon{True{}, w6}:
2168 match w6:
2169 case WCon{False{}, w7}:
2170 match w7:
2171 case WCon{False{}, w8}:
2172 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2173 case WCon{True{}, w8}:
2174 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2175 case WCon{True{}, w7}:
2176 match w7:
2177 case WCon{False{}, w8}:
2178 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2179 case WCon{True{}, w8}:
2180 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2181 case WCon{True{}, w5}:
2182 match w5:
2183 case WCon{False{}, w6}:
2184 match w6:
2185 case WCon{False{}, w7}:
2186 match w7:
2187 case WCon{False{}, w8}:
2188 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2189 case WCon{True{}, w8}:
2190 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2191 case WCon{True{}, w7}:
2192 match w7:
2193 case WCon{False{}, w8}:
2194 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2195 case WCon{True{}, w8}:
2196 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2197 case WCon{True{}, w6}:
2198 match w6:
2199 case WCon{False{}, w7}:
2200 match w7:
2201 case WCon{False{}, w8}:
2202 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2203 case WCon{True{}, w8}:
2204 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2205 case WCon{True{}, w7}:
2206 match w7:
2207 case WCon{False{}, w8}:
2208 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2209 case WCon{True{}, w8}:
2210 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2211 case WCon{True{}, w3}:
2212 match w3:
2213 case WCon{False{}, w4}:
2214 match w4:
2215 case WCon{False{}, w5}:
2216 match w5:
2217 case WCon{False{}, w6}:
2218 match w6:
2219 case WCon{False{}, w7}:
2220 match w7:
2221 case WCon{False{}, w8}:
2222 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2223 case WCon{True{}, w8}:
2224 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2225 case WCon{True{}, w7}:
2226 match w7:
2227 case WCon{False{}, w8}:
2228 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2229 case WCon{True{}, w8}:
2230 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2231 case WCon{True{}, w6}:
2232 match w6:
2233 case WCon{False{}, w7}:
2234 match w7:
2235 case WCon{False{}, w8}:
2236 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2237 case WCon{True{}, w8}:
2238 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2239 case WCon{True{}, w7}:
2240 match w7:
2241 case WCon{False{}, w8}:
2242 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2243 case WCon{True{}, w8}:
2244 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2245 case WCon{True{}, w5}:
2246 match w5:
2247 case WCon{False{}, w6}:
2248 match w6:
2249 case WCon{False{}, w7}:
2250 match w7:
2251 case WCon{False{}, w8}:
2252 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2253 case WCon{True{}, w8}:
2254 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2255 case WCon{True{}, w7}:
2256 match w7:
2257 case WCon{False{}, w8}:
2258 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2259 case WCon{True{}, w8}:
2260 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2261 case WCon{True{}, w6}:
2262 match w6:
2263 case WCon{False{}, w7}:
2264 match w7:
2265 case WCon{False{}, w8}:
2266 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2267 case WCon{True{}, w8}:
2268 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2269 case WCon{True{}, w7}:
2270 match w7:
2271 case WCon{False{}, w8}:
2272 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2273 case WCon{True{}, w8}:
2274 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2275 case WCon{True{}, w4}:
2276 match w4:
2277 case WCon{False{}, w5}:
2278 match w5:
2279 case WCon{False{}, w6}:
2280 match w6:
2281 case WCon{False{}, w7}:
2282 match w7:
2283 case WCon{False{}, w8}:
2284 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2285 case WCon{True{}, w8}:
2286 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2287 case WCon{True{}, w7}:
2288 match w7:
2289 case WCon{False{}, w8}:
2290 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2291 case WCon{True{}, w8}:
2292 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2293 case WCon{True{}, w6}:
2294 match w6:
2295 case WCon{False{}, w7}:
2296 match w7:
2297 case WCon{False{}, w8}:
2298 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2299 case WCon{True{}, w8}:
2300 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2301 case WCon{True{}, w7}:
2302 match w7:
2303 case WCon{False{}, w8}:
2304 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2305 case WCon{True{}, w8}:
2306 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2307 case WCon{True{}, w5}:
2308 match w5:
2309 case WCon{False{}, w6}:
2310 match w6:
2311 case WCon{False{}, w7}:
2312 match w7:
2313 case WCon{False{}, w8}:
2314 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2315 case WCon{True{}, w8}:
2316 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2317 case WCon{True{}, w7}:
2318 match w7:
2319 case WCon{False{}, w8}:
2320 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2321 case WCon{True{}, w8}:
2322 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2323 case WCon{True{}, w6}:
2324 match w6:
2325 case WCon{False{}, w7}:
2326 match w7:
2327 case WCon{False{}, w8}:
2328 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2329 case WCon{True{}, w8}:
2330 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2331 case WCon{True{}, w7}:
2332 match w7:
2333 case WCon{False{}, w8}:
2334 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2335 case WCon{True{}, w8}:
2336 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2337 case WCon{True{}, w2}:
2338 match w2:
2339 case WCon{False{}, w3}:
2340 match w3:
2341 case WCon{False{}, w4}:
2342 match w4:
2343 case WCon{False{}, w5}:
2344 match w5:
2345 case WCon{False{}, w6}:
2346 match w6:
2347 case WCon{False{}, w7}:
2348 match w7:
2349 case WCon{False{}, w8}:
2350 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2351 case WCon{True{}, w8}:
2352 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2353 case WCon{True{}, w7}:
2354 match w7:
2355 case WCon{False{}, w8}:
2356 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2357 case WCon{True{}, w8}:
2358 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2359 case WCon{True{}, w6}:
2360 match w6:
2361 case WCon{False{}, w7}:
2362 match w7:
2363 case WCon{False{}, w8}:
2364 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2365 case WCon{True{}, w8}:
2366 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2367 case WCon{True{}, w7}:
2368 match w7:
2369 case WCon{False{}, w8}:
2370 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2371 case WCon{True{}, w8}:
2372 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2373 case WCon{True{}, w5}:
2374 match w5:
2375 case WCon{False{}, w6}:
2376 match w6:
2377 case WCon{False{}, w7}:
2378 match w7:
2379 case WCon{False{}, w8}:
2380 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2381 case WCon{True{}, w8}:
2382 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2383 case WCon{True{}, w7}:
2384 match w7:
2385 case WCon{False{}, w8}:
2386 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2387 case WCon{True{}, w8}:
2388 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2389 case WCon{True{}, w6}:
2390 match w6:
2391 case WCon{False{}, w7}:
2392 match w7:
2393 case WCon{False{}, w8}:
2394 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2395 case WCon{True{}, w8}:
2396 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2397 case WCon{True{}, w7}:
2398 match w7:
2399 case WCon{False{}, w8}:
2400 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2401 case WCon{True{}, w8}:
2402 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2403 case WCon{True{}, w4}:
2404 match w4:
2405 case WCon{False{}, w5}:
2406 match w5:
2407 case WCon{False{}, w6}:
2408 match w6:
2409 case WCon{False{}, w7}:
2410 match w7:
2411 case WCon{False{}, w8}:
2412 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2413 case WCon{True{}, w8}:
2414 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2415 case WCon{True{}, w7}:
2416 match w7:
2417 case WCon{False{}, w8}:
2418 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2419 case WCon{True{}, w8}:
2420 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2421 case WCon{True{}, w6}:
2422 match w6:
2423 case WCon{False{}, w7}:
2424 match w7:
2425 case WCon{False{}, w8}:
2426 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2427 case WCon{True{}, w8}:
2428 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2429 case WCon{True{}, w7}:
2430 match w7:
2431 case WCon{False{}, w8}:
2432 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2433 case WCon{True{}, w8}:
2434 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2435 case WCon{True{}, w5}:
2436 match w5:
2437 case WCon{False{}, w6}:
2438 match w6:
2439 case WCon{False{}, w7}:
2440 match w7:
2441 case WCon{False{}, w8}:
2442 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2443 case WCon{True{}, w8}:
2444 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2445 case WCon{True{}, w7}:
2446 match w7:
2447 case WCon{False{}, w8}:
2448 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2449 case WCon{True{}, w8}:
2450 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2451 case WCon{True{}, w6}:
2452 match w6:
2453 case WCon{False{}, w7}:
2454 match w7:
2455 case WCon{False{}, w8}:
2456 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2457 case WCon{True{}, w8}:
2458 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2459 case WCon{True{}, w7}:
2460 match w7:
2461 case WCon{False{}, w8}:
2462 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2463 case WCon{True{}, w8}:
2464 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2465 case WCon{True{}, w3}:
2466 match w3:
2467 case WCon{False{}, w4}:
2468 match w4:
2469 case WCon{False{}, w5}:
2470 match w5:
2471 case WCon{False{}, w6}:
2472 match w6:
2473 case WCon{False{}, w7}:
2474 match w7:
2475 case WCon{False{}, w8}:
2476 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2477 case WCon{True{}, w8}:
2478 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2479 case WCon{True{}, w7}:
2480 match w7:
2481 case WCon{False{}, w8}:
2482 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2483 case WCon{True{}, w8}:
2484 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2485 case WCon{True{}, w6}:
2486 match w6:
2487 case WCon{False{}, w7}:
2488 match w7:
2489 case WCon{False{}, w8}:
2490 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2491 case WCon{True{}, w8}:
2492 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2493 case WCon{True{}, w7}:
2494 match w7:
2495 case WCon{False{}, w8}:
2496 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2497 case WCon{True{}, w8}:
2498 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2499 case WCon{True{}, w5}:
2500 match w5:
2501 case WCon{False{}, w6}:
2502 match w6:
2503 case WCon{False{}, w7}:
2504 match w7:
2505 case WCon{False{}, w8}:
2506 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2507 case WCon{True{}, w8}:
2508 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2509 case WCon{True{}, w7}:
2510 match w7:
2511 case WCon{False{}, w8}:
2512 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2513 case WCon{True{}, w8}:
2514 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2515 case WCon{True{}, w6}:
2516 match w6:
2517 case WCon{False{}, w7}:
2518 match w7:
2519 case WCon{False{}, w8}:
2520 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2521 case WCon{True{}, w8}:
2522 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2523 case WCon{True{}, w7}:
2524 match w7:
2525 case WCon{False{}, w8}:
2526 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2527 case WCon{True{}, w8}:
2528 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2529 case WCon{True{}, w4}:
2530 match w4:
2531 case WCon{False{}, w5}:
2532 match w5:
2533 case WCon{False{}, w6}:
2534 match w6:
2535 case WCon{False{}, w7}:
2536 match w7:
2537 case WCon{False{}, w8}:
2538 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2539 case WCon{True{}, w8}:
2540 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2541 case WCon{True{}, w7}:
2542 match w7:
2543 case WCon{False{}, w8}:
2544 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2545 case WCon{True{}, w8}:
2546 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2547 case WCon{True{}, w6}:
2548 match w6:
2549 case WCon{False{}, w7}:
2550 match w7:
2551 case WCon{False{}, w8}:
2552 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2553 case WCon{True{}, w8}:
2554 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2555 case WCon{True{}, w7}:
2556 match w7:
2557 case WCon{False{}, w8}:
2558 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2559 case WCon{True{}, w8}:
2560 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2561 case WCon{True{}, w5}:
2562 match w5:
2563 case WCon{False{}, w6}:
2564 match w6:
2565 case WCon{False{}, w7}:
2566 match w7:
2567 case WCon{False{}, w8}:
2568 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2569 case WCon{True{}, w8}:
2570 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2571 case WCon{True{}, w7}:
2572 match w7:
2573 case WCon{False{}, w8}:
2574 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2575 case WCon{True{}, w8}:
2576 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2577 case WCon{True{}, w6}:
2578 match w6:
2579 case WCon{False{}, w7}:
2580 match w7:
2581 case WCon{False{}, w8}:
2582 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2583 case WCon{True{}, w8}:
2584 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2585 case WCon{True{}, w7}:
2586 match w7:
2587 case WCon{False{}, w8}:
2588 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2589 case WCon{True{}, w8}:
2590 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2591 case WCon{True{}, w1}:
2592 match w1:
2593 case WCon{False{}, w2}:
2594 match w2:
2595 case WCon{False{}, w3}:
2596 match w3:
2597 case WCon{False{}, w4}:
2598 match w4:
2599 case WCon{False{}, w5}:
2600 match w5:
2601 case WCon{False{}, w6}:
2602 match w6:
2603 case WCon{False{}, w7}:
2604 match w7:
2605 case WCon{False{}, w8}:
2606 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2607 case WCon{True{}, w8}:
2608 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2609 case WCon{True{}, w7}:
2610 match w7:
2611 case WCon{False{}, w8}:
2612 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2613 case WCon{True{}, w8}:
2614 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2615 case WCon{True{}, w6}:
2616 match w6:
2617 case WCon{False{}, w7}:
2618 match w7:
2619 case WCon{False{}, w8}:
2620 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2621 case WCon{True{}, w8}:
2622 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2623 case WCon{True{}, w7}:
2624 match w7:
2625 case WCon{False{}, w8}:
2626 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2627 case WCon{True{}, w8}:
2628 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2629 case WCon{True{}, w5}:
2630 match w5:
2631 case WCon{False{}, w6}:
2632 match w6:
2633 case WCon{False{}, w7}:
2634 match w7:
2635 case WCon{False{}, w8}:
2636 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2637 case WCon{True{}, w8}:
2638 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2639 case WCon{True{}, w7}:
2640 match w7:
2641 case WCon{False{}, w8}:
2642 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2643 case WCon{True{}, w8}:
2644 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2645 case WCon{True{}, w6}:
2646 match w6:
2647 case WCon{False{}, w7}:
2648 match w7:
2649 case WCon{False{}, w8}:
2650 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2651 case WCon{True{}, w8}:
2652 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2653 case WCon{True{}, w7}:
2654 match w7:
2655 case WCon{False{}, w8}:
2656 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2657 case WCon{True{}, w8}:
2658 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2659 case WCon{True{}, w4}:
2660 match w4:
2661 case WCon{False{}, w5}:
2662 match w5:
2663 case WCon{False{}, w6}:
2664 match w6:
2665 case WCon{False{}, w7}:
2666 match w7:
2667 case WCon{False{}, w8}:
2668 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2669 case WCon{True{}, w8}:
2670 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2671 case WCon{True{}, w7}:
2672 match w7:
2673 case WCon{False{}, w8}:
2674 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2675 case WCon{True{}, w8}:
2676 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2677 case WCon{True{}, w6}:
2678 match w6:
2679 case WCon{False{}, w7}:
2680 match w7:
2681 case WCon{False{}, w8}:
2682 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2683 case WCon{True{}, w8}:
2684 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2685 case WCon{True{}, w7}:
2686 match w7:
2687 case WCon{False{}, w8}:
2688 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2689 case WCon{True{}, w8}:
2690 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2691 case WCon{True{}, w5}:
2692 match w5:
2693 case WCon{False{}, w6}:
2694 match w6:
2695 case WCon{False{}, w7}:
2696 match w7:
2697 case WCon{False{}, w8}:
2698 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2699 case WCon{True{}, w8}:
2700 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2701 case WCon{True{}, w7}:
2702 match w7:
2703 case WCon{False{}, w8}:
2704 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2705 case WCon{True{}, w8}:
2706 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2707 case WCon{True{}, w6}:
2708 match w6:
2709 case WCon{False{}, w7}:
2710 match w7:
2711 case WCon{False{}, w8}:
2712 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2713 case WCon{True{}, w8}:
2714 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2715 case WCon{True{}, w7}:
2716 match w7:
2717 case WCon{False{}, w8}:
2718 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2719 case WCon{True{}, w8}:
2720 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2721 case WCon{True{}, w3}:
2722 match w3:
2723 case WCon{False{}, w4}:
2724 match w4:
2725 case WCon{False{}, w5}:
2726 match w5:
2727 case WCon{False{}, w6}:
2728 match w6:
2729 case WCon{False{}, w7}:
2730 match w7:
2731 case WCon{False{}, w8}:
2732 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2733 case WCon{True{}, w8}:
2734 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2735 case WCon{True{}, w7}:
2736 match w7:
2737 case WCon{False{}, w8}:
2738 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2739 case WCon{True{}, w8}:
2740 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2741 case WCon{True{}, w6}:
2742 match w6:
2743 case WCon{False{}, w7}:
2744 match w7:
2745 case WCon{False{}, w8}:
2746 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2747 case WCon{True{}, w8}:
2748 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2749 case WCon{True{}, w7}:
2750 match w7:
2751 case WCon{False{}, w8}:
2752 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2753 case WCon{True{}, w8}:
2754 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2755 case WCon{True{}, w5}:
2756 match w5:
2757 case WCon{False{}, w6}:
2758 match w6:
2759 case WCon{False{}, w7}:
2760 match w7:
2761 case WCon{False{}, w8}:
2762 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2763 case WCon{True{}, w8}:
2764 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2765 case WCon{True{}, w7}:
2766 match w7:
2767 case WCon{False{}, w8}:
2768 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2769 case WCon{True{}, w8}:
2770 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2771 case WCon{True{}, w6}:
2772 match w6:
2773 case WCon{False{}, w7}:
2774 match w7:
2775 case WCon{False{}, w8}:
2776 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2777 case WCon{True{}, w8}:
2778 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2779 case WCon{True{}, w7}:
2780 match w7:
2781 case WCon{False{}, w8}:
2782 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2783 case WCon{True{}, w8}:
2784 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2785 case WCon{True{}, w4}:
2786 match w4:
2787 case WCon{False{}, w5}:
2788 match w5:
2789 case WCon{False{}, w6}:
2790 match w6:
2791 case WCon{False{}, w7}:
2792 match w7:
2793 case WCon{False{}, w8}:
2794 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2795 case WCon{True{}, w8}:
2796 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2797 case WCon{True{}, w7}:
2798 match w7:
2799 case WCon{False{}, w8}:
2800 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2801 case WCon{True{}, w8}:
2802 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2803 case WCon{True{}, w6}:
2804 match w6:
2805 case WCon{False{}, w7}:
2806 match w7:
2807 case WCon{False{}, w8}:
2808 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2809 case WCon{True{}, w8}:
2810 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2811 case WCon{True{}, w7}:
2812 match w7:
2813 case WCon{False{}, w8}:
2814 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2815 case WCon{True{}, w8}:
2816 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2817 case WCon{True{}, w5}:
2818 match w5:
2819 case WCon{False{}, w6}:
2820 match w6:
2821 case WCon{False{}, w7}:
2822 match w7:
2823 case WCon{False{}, w8}:
2824 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2825 case WCon{True{}, w8}:
2826 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2827 case WCon{True{}, w7}:
2828 match w7:
2829 case WCon{False{}, w8}:
2830 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2831 case WCon{True{}, w8}:
2832 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2833 case WCon{True{}, w6}:
2834 match w6:
2835 case WCon{False{}, w7}:
2836 match w7:
2837 case WCon{False{}, w8}:
2838 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2839 case WCon{True{}, w8}:
2840 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2841 case WCon{True{}, w7}:
2842 match w7:
2843 case WCon{False{}, w8}:
2844 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2845 case WCon{True{}, w8}:
2846 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2847 case WCon{True{}, w2}:
2848 match w2:
2849 case WCon{False{}, w3}:
2850 match w3:
2851 case WCon{False{}, w4}:
2852 match w4:
2853 case WCon{False{}, w5}:
2854 match w5:
2855 case WCon{False{}, w6}:
2856 match w6:
2857 case WCon{False{}, w7}:
2858 match w7:
2859 case WCon{False{}, w8}:
2860 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2861 case WCon{True{}, w8}:
2862 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2863 case WCon{True{}, w7}:
2864 match w7:
2865 case WCon{False{}, w8}:
2866 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2867 case WCon{True{}, w8}:
2868 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2869 case WCon{True{}, w6}:
2870 match w6:
2871 case WCon{False{}, w7}:
2872 match w7:
2873 case WCon{False{}, w8}:
2874 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2875 case WCon{True{}, w8}:
2876 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2877 case WCon{True{}, w7}:
2878 match w7:
2879 case WCon{False{}, w8}:
2880 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2881 case WCon{True{}, w8}:
2882 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2883 case WCon{True{}, w5}:
2884 match w5:
2885 case WCon{False{}, w6}:
2886 match w6:
2887 case WCon{False{}, w7}:
2888 match w7:
2889 case WCon{False{}, w8}:
2890 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2891 case WCon{True{}, w8}:
2892 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2893 case WCon{True{}, w7}:
2894 match w7:
2895 case WCon{False{}, w8}:
2896 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2897 case WCon{True{}, w8}:
2898 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2899 case WCon{True{}, w6}:
2900 match w6:
2901 case WCon{False{}, w7}:
2902 match w7:
2903 case WCon{False{}, w8}:
2904 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2905 case WCon{True{}, w8}:
2906 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2907 case WCon{True{}, w7}:
2908 match w7:
2909 case WCon{False{}, w8}:
2910 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2911 case WCon{True{}, w8}:
2912 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2913 case WCon{True{}, w4}:
2914 match w4:
2915 case WCon{False{}, w5}:
2916 match w5:
2917 case WCon{False{}, w6}:
2918 match w6:
2919 case WCon{False{}, w7}:
2920 match w7:
2921 case WCon{False{}, w8}:
2922 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2923 case WCon{True{}, w8}:
2924 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2925 case WCon{True{}, w7}:
2926 match w7:
2927 case WCon{False{}, w8}:
2928 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2929 case WCon{True{}, w8}:
2930 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2931 case WCon{True{}, w6}:
2932 match w6:
2933 case WCon{False{}, w7}:
2934 match w7:
2935 case WCon{False{}, w8}:
2936 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2937 case WCon{True{}, w8}:
2938 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2939 case WCon{True{}, w7}:
2940 match w7:
2941 case WCon{False{}, w8}:
2942 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2943 case WCon{True{}, w8}:
2944 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2945 case WCon{True{}, w5}:
2946 match w5:
2947 case WCon{False{}, w6}:
2948 match w6:
2949 case WCon{False{}, w7}:
2950 match w7:
2951 case WCon{False{}, w8}:
2952 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2953 case WCon{True{}, w8}:
2954 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2955 case WCon{True{}, w7}:
2956 match w7:
2957 case WCon{False{}, w8}:
2958 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2959 case WCon{True{}, w8}:
2960 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2961 case WCon{True{}, w6}:
2962 match w6:
2963 case WCon{False{}, w7}:
2964 match w7:
2965 case WCon{False{}, w8}:
2966 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2967 case WCon{True{}, w8}:
2968 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2969 case WCon{True{}, w7}:
2970 match w7:
2971 case WCon{False{}, w8}:
2972 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2973 case WCon{True{}, w8}:
2974 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2975 case WCon{True{}, w3}:
2976 match w3:
2977 case WCon{False{}, w4}:
2978 match w4:
2979 case WCon{False{}, w5}:
2980 match w5:
2981 case WCon{False{}, w6}:
2982 match w6:
2983 case WCon{False{}, w7}:
2984 match w7:
2985 case WCon{False{}, w8}:
2986 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2987 case WCon{True{}, w8}:
2988 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2989 case WCon{True{}, w7}:
2990 match w7:
2991 case WCon{False{}, w8}:
2992 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2993 case WCon{True{}, w8}:
2994 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2995 case WCon{True{}, w6}:
2996 match w6:
2997 case WCon{False{}, w7}:
2998 match w7:
2999 case WCon{False{}, w8}:
3000 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3001 case WCon{True{}, w8}:
3002 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3003 case WCon{True{}, w7}:
3004 match w7:
3005 case WCon{False{}, w8}:
3006 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3007 case WCon{True{}, w8}:
3008 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3009 case WCon{True{}, w5}:
3010 match w5:
3011 case WCon{False{}, w6}:
3012 match w6:
3013 case WCon{False{}, w7}:
3014 match w7:
3015 case WCon{False{}, w8}:
3016 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3017 case WCon{True{}, w8}:
3018 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3019 case WCon{True{}, w7}:
3020 match w7:
3021 case WCon{False{}, w8}:
3022 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3023 case WCon{True{}, w8}:
3024 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3025 case WCon{True{}, w6}:
3026 match w6:
3027 case WCon{False{}, w7}:
3028 match w7:
3029 case WCon{False{}, w8}:
3030 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3031 case WCon{True{}, w8}:
3032 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3033 case WCon{True{}, w7}:
3034 match w7:
3035 case WCon{False{}, w8}:
3036 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3037 case WCon{True{}, w8}:
3038 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3039 case WCon{True{}, w4}:
3040 match w4:
3041 case WCon{False{}, w5}:
3042 match w5:
3043 case WCon{False{}, w6}:
3044 match w6:
3045 case WCon{False{}, w7}:
3046 match w7:
3047 case WCon{False{}, w8}:
3048 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3049 case WCon{True{}, w8}:
3050 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3051 case WCon{True{}, w7}:
3052 match w7:
3053 case WCon{False{}, w8}:
3054 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3055 case WCon{True{}, w8}:
3056 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3057 case WCon{True{}, w6}:
3058 match w6:
3059 case WCon{False{}, w7}:
3060 match w7:
3061 case WCon{False{}, w8}:
3062 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3063 case WCon{True{}, w8}:
3064 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3065 case WCon{True{}, w7}:
3066 match w7:
3067 case WCon{False{}, w8}:
3068 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3069 case WCon{True{}, w8}:
3070 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3071 case WCon{True{}, w5}:
3072 match w5:
3073 case WCon{False{}, w6}:
3074 match w6:
3075 case WCon{False{}, w7}:
3076 match w7:
3077 case WCon{False{}, w8}:
3078 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3079 case WCon{True{}, w8}:
3080 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3081 case WCon{True{}, w7}:
3082 match w7:
3083 case WCon{False{}, w8}:
3084 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3085 case WCon{True{}, w8}:
3086 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3087 case WCon{True{}, w6}:
3088 match w6:
3089 case WCon{False{}, w7}:
3090 match w7:
3091 case WCon{False{}, w8}:
3092 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3093 case WCon{True{}, w8}:
3094 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3095 case WCon{True{}, w7}:
3096 match w7:
3097 case WCon{False{}, w8}:
3098 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3099 case WCon{True{}, w8}:
3100 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}