def aria.sb4
bend-osdev-legacy-ciphers@0.1.0.0 · aria.bend:3102
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
import Base
3102
3103def aria.sb4(w0: Word(8n)) -> Word(8n):
3104 match w0:
3105 case WCon{False{}, w1}:
3106 match w1:
3107 case WCon{False{}, w2}:
3108 match w2:
3109 case WCon{False{}, w3}:
3110 match w3:
3111 case WCon{False{}, w4}:
3112 match w4:
3113 case WCon{False{}, w5}:
3114 match w5:
3115 case WCon{False{}, w6}:
3116 match w6:
3117 case WCon{False{}, w7}:
3118 match w7:
3119 case WCon{False{}, w8}:
3120 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3121 case WCon{True{}, w8}:
3122 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3123 case WCon{True{}, w7}:
3124 match w7:
3125 case WCon{False{}, w8}:
3126 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3127 case WCon{True{}, w8}:
3128 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3129 case WCon{True{}, w6}:
3130 match w6:
3131 case WCon{False{}, w7}:
3132 match w7:
3133 case WCon{False{}, w8}:
3134 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3135 case WCon{True{}, w8}:
3136 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3137 case WCon{True{}, w7}:
3138 match w7:
3139 case WCon{False{}, w8}:
3140 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3141 case WCon{True{}, w8}:
3142 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3143 case WCon{True{}, w5}:
3144 match w5:
3145 case WCon{False{}, w6}:
3146 match w6:
3147 case WCon{False{}, w7}:
3148 match w7:
3149 case WCon{False{}, w8}:
3150 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3151 case WCon{True{}, w8}:
3152 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3153 case WCon{True{}, w7}:
3154 match w7:
3155 case WCon{False{}, w8}:
3156 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3157 case WCon{True{}, w8}:
3158 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3159 case WCon{True{}, w6}:
3160 match w6:
3161 case WCon{False{}, w7}:
3162 match w7:
3163 case WCon{False{}, w8}:
3164 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3165 case WCon{True{}, w8}:
3166 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3167 case WCon{True{}, w7}:
3168 match w7:
3169 case WCon{False{}, w8}:
3170 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3171 case WCon{True{}, w8}:
3172 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3173 case WCon{True{}, w4}:
3174 match w4:
3175 case WCon{False{}, w5}:
3176 match w5:
3177 case WCon{False{}, w6}:
3178 match w6:
3179 case WCon{False{}, w7}:
3180 match w7:
3181 case WCon{False{}, w8}:
3182 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3183 case WCon{True{}, w8}:
3184 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3185 case WCon{True{}, w7}:
3186 match w7:
3187 case WCon{False{}, w8}:
3188 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3189 case WCon{True{}, w8}:
3190 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3191 case WCon{True{}, w6}:
3192 match w6:
3193 case WCon{False{}, w7}:
3194 match w7:
3195 case WCon{False{}, w8}:
3196 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3197 case WCon{True{}, w8}:
3198 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3199 case WCon{True{}, w7}:
3200 match w7:
3201 case WCon{False{}, w8}:
3202 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3203 case WCon{True{}, w8}:
3204 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3205 case WCon{True{}, w5}:
3206 match w5:
3207 case WCon{False{}, w6}:
3208 match w6:
3209 case WCon{False{}, w7}:
3210 match w7:
3211 case WCon{False{}, w8}:
3212 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3213 case WCon{True{}, w8}:
3214 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3215 case WCon{True{}, w7}:
3216 match w7:
3217 case WCon{False{}, w8}:
3218 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3219 case WCon{True{}, w8}:
3220 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3221 case WCon{True{}, w6}:
3222 match w6:
3223 case WCon{False{}, w7}:
3224 match w7:
3225 case WCon{False{}, w8}:
3226 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3227 case WCon{True{}, w8}:
3228 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3229 case WCon{True{}, w7}:
3230 match w7:
3231 case WCon{False{}, w8}:
3232 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3233 case WCon{True{}, w8}:
3234 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3235 case WCon{True{}, w3}:
3236 match w3:
3237 case WCon{False{}, w4}:
3238 match w4:
3239 case WCon{False{}, w5}:
3240 match w5:
3241 case WCon{False{}, w6}:
3242 match w6:
3243 case WCon{False{}, w7}:
3244 match w7:
3245 case WCon{False{}, w8}:
3246 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3247 case WCon{True{}, w8}:
3248 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3249 case WCon{True{}, w7}:
3250 match w7:
3251 case WCon{False{}, w8}:
3252 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3253 case WCon{True{}, w8}:
3254 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3255 case WCon{True{}, w6}:
3256 match w6:
3257 case WCon{False{}, w7}:
3258 match w7:
3259 case WCon{False{}, w8}:
3260 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3261 case WCon{True{}, w8}:
3262 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3263 case WCon{True{}, w7}:
3264 match w7:
3265 case WCon{False{}, w8}:
3266 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3267 case WCon{True{}, w8}:
3268 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3269 case WCon{True{}, w5}:
3270 match w5:
3271 case WCon{False{}, w6}:
3272 match w6:
3273 case WCon{False{}, w7}:
3274 match w7:
3275 case WCon{False{}, w8}:
3276 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3277 case WCon{True{}, w8}:
3278 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3279 case WCon{True{}, w7}:
3280 match w7:
3281 case WCon{False{}, w8}:
3282 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3283 case WCon{True{}, w8}:
3284 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3285 case WCon{True{}, w6}:
3286 match w6:
3287 case WCon{False{}, w7}:
3288 match w7:
3289 case WCon{False{}, w8}:
3290 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3291 case WCon{True{}, w8}:
3292 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3293 case WCon{True{}, w7}:
3294 match w7:
3295 case WCon{False{}, w8}:
3296 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3297 case WCon{True{}, w8}:
3298 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3299 case WCon{True{}, w4}:
3300 match w4:
3301 case WCon{False{}, w5}:
3302 match w5:
3303 case WCon{False{}, w6}:
3304 match w6:
3305 case WCon{False{}, w7}:
3306 match w7:
3307 case WCon{False{}, w8}:
3308 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3309 case WCon{True{}, w8}:
3310 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3311 case WCon{True{}, w7}:
3312 match w7:
3313 case WCon{False{}, w8}:
3314 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3315 case WCon{True{}, w8}:
3316 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3317 case WCon{True{}, w6}:
3318 match w6:
3319 case WCon{False{}, w7}:
3320 match w7:
3321 case WCon{False{}, w8}:
3322 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3323 case WCon{True{}, w8}:
3324 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3325 case WCon{True{}, w7}:
3326 match w7:
3327 case WCon{False{}, w8}:
3328 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3329 case WCon{True{}, w8}:
3330 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3331 case WCon{True{}, w5}:
3332 match w5:
3333 case WCon{False{}, w6}:
3334 match w6:
3335 case WCon{False{}, w7}:
3336 match w7:
3337 case WCon{False{}, w8}:
3338 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3339 case WCon{True{}, w8}:
3340 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3341 case WCon{True{}, w7}:
3342 match w7:
3343 case WCon{False{}, w8}:
3344 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3345 case WCon{True{}, w8}:
3346 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3347 case WCon{True{}, w6}:
3348 match w6:
3349 case WCon{False{}, w7}:
3350 match w7:
3351 case WCon{False{}, w8}:
3352 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3353 case WCon{True{}, w8}:
3354 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3355 case WCon{True{}, w7}:
3356 match w7:
3357 case WCon{False{}, w8}:
3358 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3359 case WCon{True{}, w8}:
3360 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3361 case WCon{True{}, w2}:
3362 match w2:
3363 case WCon{False{}, w3}:
3364 match w3:
3365 case WCon{False{}, w4}:
3366 match w4:
3367 case WCon{False{}, w5}:
3368 match w5:
3369 case WCon{False{}, w6}:
3370 match w6:
3371 case WCon{False{}, w7}:
3372 match w7:
3373 case WCon{False{}, w8}:
3374 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3375 case WCon{True{}, w8}:
3376 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3377 case WCon{True{}, w7}:
3378 match w7:
3379 case WCon{False{}, w8}:
3380 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3381 case WCon{True{}, w8}:
3382 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3383 case WCon{True{}, w6}:
3384 match w6:
3385 case WCon{False{}, w7}:
3386 match w7:
3387 case WCon{False{}, w8}:
3388 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3389 case WCon{True{}, w8}:
3390 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3391 case WCon{True{}, w7}:
3392 match w7:
3393 case WCon{False{}, w8}:
3394 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3395 case WCon{True{}, w8}:
3396 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3397 case WCon{True{}, w5}:
3398 match w5:
3399 case WCon{False{}, w6}:
3400 match w6:
3401 case WCon{False{}, w7}:
3402 match w7:
3403 case WCon{False{}, w8}:
3404 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3405 case WCon{True{}, w8}:
3406 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3407 case WCon{True{}, w7}:
3408 match w7:
3409 case WCon{False{}, w8}:
3410 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3411 case WCon{True{}, w8}:
3412 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3413 case WCon{True{}, w6}:
3414 match w6:
3415 case WCon{False{}, w7}:
3416 match w7:
3417 case WCon{False{}, w8}:
3418 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3419 case WCon{True{}, w8}:
3420 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3421 case WCon{True{}, w7}:
3422 match w7:
3423 case WCon{False{}, w8}:
3424 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3425 case WCon{True{}, w8}:
3426 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3427 case WCon{True{}, w4}:
3428 match w4:
3429 case WCon{False{}, w5}:
3430 match w5:
3431 case WCon{False{}, w6}:
3432 match w6:
3433 case WCon{False{}, w7}:
3434 match w7:
3435 case WCon{False{}, w8}:
3436 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3437 case WCon{True{}, w8}:
3438 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3439 case WCon{True{}, w7}:
3440 match w7:
3441 case WCon{False{}, w8}:
3442 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3443 case WCon{True{}, w8}:
3444 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3445 case WCon{True{}, w6}:
3446 match w6:
3447 case WCon{False{}, w7}:
3448 match w7:
3449 case WCon{False{}, w8}:
3450 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3451 case WCon{True{}, w8}:
3452 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3453 case WCon{True{}, w7}:
3454 match w7:
3455 case WCon{False{}, w8}:
3456 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3457 case WCon{True{}, w8}:
3458 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3459 case WCon{True{}, w5}:
3460 match w5:
3461 case WCon{False{}, w6}:
3462 match w6:
3463 case WCon{False{}, w7}:
3464 match w7:
3465 case WCon{False{}, w8}:
3466 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3467 case WCon{True{}, w8}:
3468 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3469 case WCon{True{}, w7}:
3470 match w7:
3471 case WCon{False{}, w8}:
3472 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3473 case WCon{True{}, w8}:
3474 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3475 case WCon{True{}, w6}:
3476 match w6:
3477 case WCon{False{}, w7}:
3478 match w7:
3479 case WCon{False{}, w8}:
3480 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3481 case WCon{True{}, w8}:
3482 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3483 case WCon{True{}, w7}:
3484 match w7:
3485 case WCon{False{}, w8}:
3486 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3487 case WCon{True{}, w8}:
3488 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3489 case WCon{True{}, w3}:
3490 match w3:
3491 case WCon{False{}, w4}:
3492 match w4:
3493 case WCon{False{}, w5}:
3494 match w5:
3495 case WCon{False{}, w6}:
3496 match w6:
3497 case WCon{False{}, w7}:
3498 match w7:
3499 case WCon{False{}, w8}:
3500 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3501 case WCon{True{}, w8}:
3502 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3503 case WCon{True{}, w7}:
3504 match w7:
3505 case WCon{False{}, w8}:
3506 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3507 case WCon{True{}, w8}:
3508 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3509 case WCon{True{}, w6}:
3510 match w6:
3511 case WCon{False{}, w7}:
3512 match w7:
3513 case WCon{False{}, w8}:
3514 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3515 case WCon{True{}, w8}:
3516 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3517 case WCon{True{}, w7}:
3518 match w7:
3519 case WCon{False{}, w8}:
3520 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3521 case WCon{True{}, w8}:
3522 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3523 case WCon{True{}, w5}:
3524 match w5:
3525 case WCon{False{}, w6}:
3526 match w6:
3527 case WCon{False{}, w7}:
3528 match w7:
3529 case WCon{False{}, w8}:
3530 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3531 case WCon{True{}, w8}:
3532 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3533 case WCon{True{}, w7}:
3534 match w7:
3535 case WCon{False{}, w8}:
3536 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3537 case WCon{True{}, w8}:
3538 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3539 case WCon{True{}, w6}:
3540 match w6:
3541 case WCon{False{}, w7}:
3542 match w7:
3543 case WCon{False{}, w8}:
3544 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3545 case WCon{True{}, w8}:
3546 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3547 case WCon{True{}, w7}:
3548 match w7:
3549 case WCon{False{}, w8}:
3550 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3551 case WCon{True{}, w8}:
3552 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3553 case WCon{True{}, w4}:
3554 match w4:
3555 case WCon{False{}, w5}:
3556 match w5:
3557 case WCon{False{}, w6}:
3558 match w6:
3559 case WCon{False{}, w7}:
3560 match w7:
3561 case WCon{False{}, w8}:
3562 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3563 case WCon{True{}, w8}:
3564 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3565 case WCon{True{}, w7}:
3566 match w7:
3567 case WCon{False{}, w8}:
3568 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3569 case WCon{True{}, w8}:
3570 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3571 case WCon{True{}, w6}:
3572 match w6:
3573 case WCon{False{}, w7}:
3574 match w7:
3575 case WCon{False{}, w8}:
3576 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3577 case WCon{True{}, w8}:
3578 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3579 case WCon{True{}, w7}:
3580 match w7:
3581 case WCon{False{}, w8}:
3582 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3583 case WCon{True{}, w8}:
3584 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3585 case WCon{True{}, w5}:
3586 match w5:
3587 case WCon{False{}, w6}:
3588 match w6:
3589 case WCon{False{}, w7}:
3590 match w7:
3591 case WCon{False{}, w8}:
3592 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3593 case WCon{True{}, w8}:
3594 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3595 case WCon{True{}, w7}:
3596 match w7:
3597 case WCon{False{}, w8}:
3598 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3599 case WCon{True{}, w8}:
3600 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3601 case WCon{True{}, w6}:
3602 match w6:
3603 case WCon{False{}, w7}:
3604 match w7:
3605 case WCon{False{}, w8}:
3606 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3607 case WCon{True{}, w8}:
3608 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3609 case WCon{True{}, w7}:
3610 match w7:
3611 case WCon{False{}, w8}:
3612 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3613 case WCon{True{}, w8}:
3614 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3615 case WCon{True{}, w1}:
3616 match w1:
3617 case WCon{False{}, w2}:
3618 match w2:
3619 case WCon{False{}, w3}:
3620 match w3:
3621 case WCon{False{}, w4}:
3622 match w4:
3623 case WCon{False{}, w5}:
3624 match w5:
3625 case WCon{False{}, w6}:
3626 match w6:
3627 case WCon{False{}, w7}:
3628 match w7:
3629 case WCon{False{}, w8}:
3630 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3631 case WCon{True{}, w8}:
3632 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3633 case WCon{True{}, w7}:
3634 match w7:
3635 case WCon{False{}, w8}:
3636 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3637 case WCon{True{}, w8}:
3638 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3639 case WCon{True{}, w6}:
3640 match w6:
3641 case WCon{False{}, w7}:
3642 match w7:
3643 case WCon{False{}, w8}:
3644 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3645 case WCon{True{}, w8}:
3646 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3647 case WCon{True{}, w7}:
3648 match w7:
3649 case WCon{False{}, w8}:
3650 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3651 case WCon{True{}, w8}:
3652 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3653 case WCon{True{}, w5}:
3654 match w5:
3655 case WCon{False{}, w6}:
3656 match w6:
3657 case WCon{False{}, w7}:
3658 match w7:
3659 case WCon{False{}, w8}:
3660 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3661 case WCon{True{}, w8}:
3662 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3663 case WCon{True{}, w7}:
3664 match w7:
3665 case WCon{False{}, w8}:
3666 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3667 case WCon{True{}, w8}:
3668 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3669 case WCon{True{}, w6}:
3670 match w6:
3671 case WCon{False{}, w7}:
3672 match w7:
3673 case WCon{False{}, w8}:
3674 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3675 case WCon{True{}, w8}:
3676 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3677 case WCon{True{}, w7}:
3678 match w7:
3679 case WCon{False{}, w8}:
3680 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3681 case WCon{True{}, w8}:
3682 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3683 case WCon{True{}, w4}:
3684 match w4:
3685 case WCon{False{}, w5}:
3686 match w5:
3687 case WCon{False{}, w6}:
3688 match w6:
3689 case WCon{False{}, w7}:
3690 match w7:
3691 case WCon{False{}, w8}:
3692 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3693 case WCon{True{}, w8}:
3694 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3695 case WCon{True{}, w7}:
3696 match w7:
3697 case WCon{False{}, w8}:
3698 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3699 case WCon{True{}, w8}:
3700 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3701 case WCon{True{}, w6}:
3702 match w6:
3703 case WCon{False{}, w7}:
3704 match w7:
3705 case WCon{False{}, w8}:
3706 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3707 case WCon{True{}, w8}:
3708 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3709 case WCon{True{}, w7}:
3710 match w7:
3711 case WCon{False{}, w8}:
3712 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3713 case WCon{True{}, w8}:
3714 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3715 case WCon{True{}, w5}:
3716 match w5:
3717 case WCon{False{}, w6}:
3718 match w6:
3719 case WCon{False{}, w7}:
3720 match w7:
3721 case WCon{False{}, w8}:
3722 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3723 case WCon{True{}, w8}:
3724 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3725 case WCon{True{}, w7}:
3726 match w7:
3727 case WCon{False{}, w8}:
3728 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3729 case WCon{True{}, w8}:
3730 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3731 case WCon{True{}, w6}:
3732 match w6:
3733 case WCon{False{}, w7}:
3734 match w7:
3735 case WCon{False{}, w8}:
3736 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3737 case WCon{True{}, w8}:
3738 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3739 case WCon{True{}, w7}:
3740 match w7:
3741 case WCon{False{}, w8}:
3742 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3743 case WCon{True{}, w8}:
3744 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3745 case WCon{True{}, w3}:
3746 match w3:
3747 case WCon{False{}, w4}:
3748 match w4:
3749 case WCon{False{}, w5}:
3750 match w5:
3751 case WCon{False{}, w6}:
3752 match w6:
3753 case WCon{False{}, w7}:
3754 match w7:
3755 case WCon{False{}, w8}:
3756 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3757 case WCon{True{}, w8}:
3758 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3759 case WCon{True{}, w7}:
3760 match w7:
3761 case WCon{False{}, w8}:
3762 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3763 case WCon{True{}, w8}:
3764 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3765 case WCon{True{}, w6}:
3766 match w6:
3767 case WCon{False{}, w7}:
3768 match w7:
3769 case WCon{False{}, w8}:
3770 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3771 case WCon{True{}, w8}:
3772 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3773 case WCon{True{}, w7}:
3774 match w7:
3775 case WCon{False{}, w8}:
3776 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3777 case WCon{True{}, w8}:
3778 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3779 case WCon{True{}, w5}:
3780 match w5:
3781 case WCon{False{}, w6}:
3782 match w6:
3783 case WCon{False{}, w7}:
3784 match w7:
3785 case WCon{False{}, w8}:
3786 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3787 case WCon{True{}, w8}:
3788 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3789 case WCon{True{}, w7}:
3790 match w7:
3791 case WCon{False{}, w8}:
3792 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3793 case WCon{True{}, w8}:
3794 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3795 case WCon{True{}, w6}:
3796 match w6:
3797 case WCon{False{}, w7}:
3798 match w7:
3799 case WCon{False{}, w8}:
3800 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3801 case WCon{True{}, w8}:
3802 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3803 case WCon{True{}, w7}:
3804 match w7:
3805 case WCon{False{}, w8}:
3806 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3807 case WCon{True{}, w8}:
3808 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3809 case WCon{True{}, w4}:
3810 match w4:
3811 case WCon{False{}, w5}:
3812 match w5:
3813 case WCon{False{}, w6}:
3814 match w6:
3815 case WCon{False{}, w7}:
3816 match w7:
3817 case WCon{False{}, w8}:
3818 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3819 case WCon{True{}, w8}:
3820 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3821 case WCon{True{}, w7}:
3822 match w7:
3823 case WCon{False{}, w8}:
3824 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3825 case WCon{True{}, w8}:
3826 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3827 case WCon{True{}, w6}:
3828 match w6:
3829 case WCon{False{}, w7}:
3830 match w7:
3831 case WCon{False{}, w8}:
3832 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3833 case WCon{True{}, w8}:
3834 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3835 case WCon{True{}, w7}:
3836 match w7:
3837 case WCon{False{}, w8}:
3838 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3839 case WCon{True{}, w8}:
3840 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3841 case WCon{True{}, w5}:
3842 match w5:
3843 case WCon{False{}, w6}:
3844 match w6:
3845 case WCon{False{}, w7}:
3846 match w7:
3847 case WCon{False{}, w8}:
3848 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3849 case WCon{True{}, w8}:
3850 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3851 case WCon{True{}, w7}:
3852 match w7:
3853 case WCon{False{}, w8}:
3854 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3855 case WCon{True{}, w8}:
3856 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3857 case WCon{True{}, w6}:
3858 match w6:
3859 case WCon{False{}, w7}:
3860 match w7:
3861 case WCon{False{}, w8}:
3862 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3863 case WCon{True{}, w8}:
3864 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3865 case WCon{True{}, w7}:
3866 match w7:
3867 case WCon{False{}, w8}:
3868 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3869 case WCon{True{}, w8}:
3870 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3871 case WCon{True{}, w2}:
3872 match w2:
3873 case WCon{False{}, w3}:
3874 match w3:
3875 case WCon{False{}, w4}:
3876 match w4:
3877 case WCon{False{}, w5}:
3878 match w5:
3879 case WCon{False{}, w6}:
3880 match w6:
3881 case WCon{False{}, w7}:
3882 match w7:
3883 case WCon{False{}, w8}:
3884 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3885 case WCon{True{}, w8}:
3886 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3887 case WCon{True{}, w7}:
3888 match w7:
3889 case WCon{False{}, w8}:
3890 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3891 case WCon{True{}, w8}:
3892 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3893 case WCon{True{}, w6}:
3894 match w6:
3895 case WCon{False{}, w7}:
3896 match w7:
3897 case WCon{False{}, w8}:
3898 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3899 case WCon{True{}, w8}:
3900 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3901 case WCon{True{}, w7}:
3902 match w7:
3903 case WCon{False{}, w8}:
3904 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3905 case WCon{True{}, w8}:
3906 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3907 case WCon{True{}, w5}:
3908 match w5:
3909 case WCon{False{}, w6}:
3910 match w6:
3911 case WCon{False{}, w7}:
3912 match w7:
3913 case WCon{False{}, w8}:
3914 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3915 case WCon{True{}, w8}:
3916 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3917 case WCon{True{}, w7}:
3918 match w7:
3919 case WCon{False{}, w8}:
3920 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3921 case WCon{True{}, w8}:
3922 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3923 case WCon{True{}, w6}:
3924 match w6:
3925 case WCon{False{}, w7}:
3926 match w7:
3927 case WCon{False{}, w8}:
3928 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3929 case WCon{True{}, w8}:
3930 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3931 case WCon{True{}, w7}:
3932 match w7:
3933 case WCon{False{}, w8}:
3934 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3935 case WCon{True{}, w8}:
3936 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3937 case WCon{True{}, w4}:
3938 match w4:
3939 case WCon{False{}, w5}:
3940 match w5:
3941 case WCon{False{}, w6}:
3942 match w6:
3943 case WCon{False{}, w7}:
3944 match w7:
3945 case WCon{False{}, w8}:
3946 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3947 case WCon{True{}, w8}:
3948 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3949 case WCon{True{}, w7}:
3950 match w7:
3951 case WCon{False{}, w8}:
3952 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3953 case WCon{True{}, w8}:
3954 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3955 case WCon{True{}, w6}:
3956 match w6:
3957 case WCon{False{}, w7}:
3958 match w7:
3959 case WCon{False{}, w8}:
3960 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3961 case WCon{True{}, w8}:
3962 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3963 case WCon{True{}, w7}:
3964 match w7:
3965 case WCon{False{}, w8}:
3966 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3967 case WCon{True{}, w8}:
3968 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3969 case WCon{True{}, w5}:
3970 match w5:
3971 case WCon{False{}, w6}:
3972 match w6:
3973 case WCon{False{}, w7}:
3974 match w7:
3975 case WCon{False{}, w8}:
3976 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3977 case WCon{True{}, w8}:
3978 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3979 case WCon{True{}, w7}:
3980 match w7:
3981 case WCon{False{}, w8}:
3982 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
3983 case WCon{True{}, w8}:
3984 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
3985 case WCon{True{}, w6}:
3986 match w6:
3987 case WCon{False{}, w7}:
3988 match w7:
3989 case WCon{False{}, w8}:
3990 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3991 case WCon{True{}, w8}:
3992 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3993 case WCon{True{}, w7}:
3994 match w7:
3995 case WCon{False{}, w8}:
3996 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
3997 case WCon{True{}, w8}:
3998 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
3999 case WCon{True{}, w3}:
4000 match w3:
4001 case WCon{False{}, w4}:
4002 match w4:
4003 case WCon{False{}, w5}:
4004 match w5:
4005 case WCon{False{}, w6}:
4006 match w6:
4007 case WCon{False{}, w7}:
4008 match w7:
4009 case WCon{False{}, w8}:
4010 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4011 case WCon{True{}, w8}:
4012 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4013 case WCon{True{}, w7}:
4014 match w7:
4015 case WCon{False{}, w8}:
4016 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4017 case WCon{True{}, w8}:
4018 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4019 case WCon{True{}, w6}:
4020 match w6:
4021 case WCon{False{}, w7}:
4022 match w7:
4023 case WCon{False{}, w8}:
4024 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4025 case WCon{True{}, w8}:
4026 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4027 case WCon{True{}, w7}:
4028 match w7:
4029 case WCon{False{}, w8}:
4030 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4031 case WCon{True{}, w8}:
4032 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
4033 case WCon{True{}, w5}:
4034 match w5:
4035 case WCon{False{}, w6}:
4036 match w6:
4037 case WCon{False{}, w7}:
4038 match w7:
4039 case WCon{False{}, w8}:
4040 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4041 case WCon{True{}, w8}:
4042 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
4043 case WCon{True{}, w7}:
4044 match w7:
4045 case WCon{False{}, w8}:
4046 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4047 case WCon{True{}, w8}:
4048 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4049 case WCon{True{}, w6}:
4050 match w6:
4051 case WCon{False{}, w7}:
4052 match w7:
4053 case WCon{False{}, w8}:
4054 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4055 case WCon{True{}, w8}:
4056 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4057 case WCon{True{}, w7}:
4058 match w7:
4059 case WCon{False{}, w8}:
4060 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
4061 case WCon{True{}, w8}:
4062 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4063 case WCon{True{}, w4}:
4064 match w4:
4065 case WCon{False{}, w5}:
4066 match w5:
4067 case WCon{False{}, w6}:
4068 match w6:
4069 case WCon{False{}, w7}:
4070 match w7:
4071 case WCon{False{}, w8}:
4072 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
4073 case WCon{True{}, w8}:
4074 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4075 case WCon{True{}, w7}:
4076 match w7:
4077 case WCon{False{}, w8}:
4078 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4079 case WCon{True{}, w8}:
4080 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4081 case WCon{True{}, w6}:
4082 match w6:
4083 case WCon{False{}, w7}:
4084 match w7:
4085 case WCon{False{}, w8}:
4086 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4087 case WCon{True{}, w8}:
4088 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4089 case WCon{True{}, w7}:
4090 match w7:
4091 case WCon{False{}, w8}:
4092 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4093 case WCon{True{}, w8}:
4094 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4095 case WCon{True{}, w5}:
4096 match w5:
4097 case WCon{False{}, w6}:
4098 match w6:
4099 case WCon{False{}, w7}:
4100 match w7:
4101 case WCon{False{}, w8}:
4102 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4103 case WCon{True{}, w8}:
4104 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4105 case WCon{True{}, w7}:
4106 match w7:
4107 case WCon{False{}, w8}:
4108 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4109 case WCon{True{}, w8}:
4110 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
4111 case WCon{True{}, w6}:
4112 match w6:
4113 case WCon{False{}, w7}:
4114 match w7:
4115 case WCon{False{}, w8}:
4116 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
4117 case WCon{True{}, w8}:
4118 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
4119 case WCon{True{}, w7}:
4120 match w7:
4121 case WCon{False{}, w8}:
4122 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
4123 case WCon{True{}, w8}:
4124 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}