def aria.sb2
bend-osdev-legacy-ciphers@0.1.0.0 · aria.bend:1054
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
import Base
1054
1055def aria.sb2(w0: Word(8n)) -> Word(8n):
1056 match w0:
1057 case WCon{False{}, w1}:
1058 match w1:
1059 case WCon{False{}, w2}:
1060 match w2:
1061 case WCon{False{}, w3}:
1062 match w3:
1063 case WCon{False{}, w4}:
1064 match w4:
1065 case WCon{False{}, w5}:
1066 match w5:
1067 case WCon{False{}, w6}:
1068 match w6:
1069 case WCon{False{}, w7}:
1070 match w7:
1071 case WCon{False{}, w8}:
1072 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1073 case WCon{True{}, w8}:
1074 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1075 case WCon{True{}, w7}:
1076 match w7:
1077 case WCon{False{}, w8}:
1078 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1079 case WCon{True{}, w8}:
1080 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1081 case WCon{True{}, w6}:
1082 match w6:
1083 case WCon{False{}, w7}:
1084 match w7:
1085 case WCon{False{}, w8}:
1086 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1087 case WCon{True{}, w8}:
1088 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1089 case WCon{True{}, w7}:
1090 match w7:
1091 case WCon{False{}, w8}:
1092 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1093 case WCon{True{}, w8}:
1094 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1095 case WCon{True{}, w5}:
1096 match w5:
1097 case WCon{False{}, w6}:
1098 match w6:
1099 case WCon{False{}, w7}:
1100 match w7:
1101 case WCon{False{}, w8}:
1102 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1103 case WCon{True{}, w8}:
1104 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1105 case WCon{True{}, w7}:
1106 match w7:
1107 case WCon{False{}, w8}:
1108 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1109 case WCon{True{}, w8}:
1110 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1111 case WCon{True{}, w6}:
1112 match w6:
1113 case WCon{False{}, w7}:
1114 match w7:
1115 case WCon{False{}, w8}:
1116 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1117 case WCon{True{}, w8}:
1118 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1119 case WCon{True{}, w7}:
1120 match w7:
1121 case WCon{False{}, w8}:
1122 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1123 case WCon{True{}, w8}:
1124 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1125 case WCon{True{}, w4}:
1126 match w4:
1127 case WCon{False{}, w5}:
1128 match w5:
1129 case WCon{False{}, w6}:
1130 match w6:
1131 case WCon{False{}, w7}:
1132 match w7:
1133 case WCon{False{}, w8}:
1134 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1135 case WCon{True{}, w8}:
1136 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1137 case WCon{True{}, w7}:
1138 match w7:
1139 case WCon{False{}, w8}:
1140 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1141 case WCon{True{}, w8}:
1142 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1143 case WCon{True{}, w6}:
1144 match w6:
1145 case WCon{False{}, w7}:
1146 match w7:
1147 case WCon{False{}, w8}:
1148 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1149 case WCon{True{}, w8}:
1150 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1151 case WCon{True{}, w7}:
1152 match w7:
1153 case WCon{False{}, w8}:
1154 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1155 case WCon{True{}, w8}:
1156 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1157 case WCon{True{}, w5}:
1158 match w5:
1159 case WCon{False{}, w6}:
1160 match w6:
1161 case WCon{False{}, w7}:
1162 match w7:
1163 case WCon{False{}, w8}:
1164 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1165 case WCon{True{}, w8}:
1166 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1167 case WCon{True{}, w7}:
1168 match w7:
1169 case WCon{False{}, w8}:
1170 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1171 case WCon{True{}, w8}:
1172 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1173 case WCon{True{}, w6}:
1174 match w6:
1175 case WCon{False{}, w7}:
1176 match w7:
1177 case WCon{False{}, w8}:
1178 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1179 case WCon{True{}, w8}:
1180 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1181 case WCon{True{}, w7}:
1182 match w7:
1183 case WCon{False{}, w8}:
1184 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1185 case WCon{True{}, w8}:
1186 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1187 case WCon{True{}, w3}:
1188 match w3:
1189 case WCon{False{}, w4}:
1190 match w4:
1191 case WCon{False{}, w5}:
1192 match w5:
1193 case WCon{False{}, w6}:
1194 match w6:
1195 case WCon{False{}, w7}:
1196 match w7:
1197 case WCon{False{}, w8}:
1198 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1199 case WCon{True{}, w8}:
1200 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1201 case WCon{True{}, w7}:
1202 match w7:
1203 case WCon{False{}, w8}:
1204 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1205 case WCon{True{}, w8}:
1206 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1207 case WCon{True{}, w6}:
1208 match w6:
1209 case WCon{False{}, w7}:
1210 match w7:
1211 case WCon{False{}, w8}:
1212 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1213 case WCon{True{}, w8}:
1214 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1215 case WCon{True{}, w7}:
1216 match w7:
1217 case WCon{False{}, w8}:
1218 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1219 case WCon{True{}, w8}:
1220 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1221 case WCon{True{}, w5}:
1222 match w5:
1223 case WCon{False{}, w6}:
1224 match w6:
1225 case WCon{False{}, w7}:
1226 match w7:
1227 case WCon{False{}, w8}:
1228 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1229 case WCon{True{}, w8}:
1230 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1231 case WCon{True{}, w7}:
1232 match w7:
1233 case WCon{False{}, w8}:
1234 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1235 case WCon{True{}, w8}:
1236 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1237 case WCon{True{}, w6}:
1238 match w6:
1239 case WCon{False{}, w7}:
1240 match w7:
1241 case WCon{False{}, w8}:
1242 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1243 case WCon{True{}, w8}:
1244 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1245 case WCon{True{}, w7}:
1246 match w7:
1247 case WCon{False{}, w8}:
1248 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1249 case WCon{True{}, w8}:
1250 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1251 case WCon{True{}, w4}:
1252 match w4:
1253 case WCon{False{}, w5}:
1254 match w5:
1255 case WCon{False{}, w6}:
1256 match w6:
1257 case WCon{False{}, w7}:
1258 match w7:
1259 case WCon{False{}, w8}:
1260 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1261 case WCon{True{}, w8}:
1262 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1263 case WCon{True{}, w7}:
1264 match w7:
1265 case WCon{False{}, w8}:
1266 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1267 case WCon{True{}, w8}:
1268 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1269 case WCon{True{}, w6}:
1270 match w6:
1271 case WCon{False{}, w7}:
1272 match w7:
1273 case WCon{False{}, w8}:
1274 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1275 case WCon{True{}, w8}:
1276 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1277 case WCon{True{}, w7}:
1278 match w7:
1279 case WCon{False{}, w8}:
1280 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1281 case WCon{True{}, w8}:
1282 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1283 case WCon{True{}, w5}:
1284 match w5:
1285 case WCon{False{}, w6}:
1286 match w6:
1287 case WCon{False{}, w7}:
1288 match w7:
1289 case WCon{False{}, w8}:
1290 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1291 case WCon{True{}, w8}:
1292 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1293 case WCon{True{}, w7}:
1294 match w7:
1295 case WCon{False{}, w8}:
1296 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1297 case WCon{True{}, w8}:
1298 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1299 case WCon{True{}, w6}:
1300 match w6:
1301 case WCon{False{}, w7}:
1302 match w7:
1303 case WCon{False{}, w8}:
1304 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1305 case WCon{True{}, w8}:
1306 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1307 case WCon{True{}, w7}:
1308 match w7:
1309 case WCon{False{}, w8}:
1310 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1311 case WCon{True{}, w8}:
1312 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1313 case WCon{True{}, w2}:
1314 match w2:
1315 case WCon{False{}, w3}:
1316 match w3:
1317 case WCon{False{}, w4}:
1318 match w4:
1319 case WCon{False{}, w5}:
1320 match w5:
1321 case WCon{False{}, w6}:
1322 match w6:
1323 case WCon{False{}, w7}:
1324 match w7:
1325 case WCon{False{}, w8}:
1326 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1327 case WCon{True{}, w8}:
1328 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1329 case WCon{True{}, w7}:
1330 match w7:
1331 case WCon{False{}, w8}:
1332 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1333 case WCon{True{}, w8}:
1334 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1335 case WCon{True{}, w6}:
1336 match w6:
1337 case WCon{False{}, w7}:
1338 match w7:
1339 case WCon{False{}, w8}:
1340 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1341 case WCon{True{}, w8}:
1342 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1343 case WCon{True{}, w7}:
1344 match w7:
1345 case WCon{False{}, w8}:
1346 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1347 case WCon{True{}, w8}:
1348 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1349 case WCon{True{}, w5}:
1350 match w5:
1351 case WCon{False{}, w6}:
1352 match w6:
1353 case WCon{False{}, w7}:
1354 match w7:
1355 case WCon{False{}, w8}:
1356 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1357 case WCon{True{}, w8}:
1358 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1359 case WCon{True{}, w7}:
1360 match w7:
1361 case WCon{False{}, w8}:
1362 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1363 case WCon{True{}, w8}:
1364 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1365 case WCon{True{}, w6}:
1366 match w6:
1367 case WCon{False{}, w7}:
1368 match w7:
1369 case WCon{False{}, w8}:
1370 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1371 case WCon{True{}, w8}:
1372 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1373 case WCon{True{}, w7}:
1374 match w7:
1375 case WCon{False{}, w8}:
1376 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1377 case WCon{True{}, w8}:
1378 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1379 case WCon{True{}, w4}:
1380 match w4:
1381 case WCon{False{}, w5}:
1382 match w5:
1383 case WCon{False{}, w6}:
1384 match w6:
1385 case WCon{False{}, w7}:
1386 match w7:
1387 case WCon{False{}, w8}:
1388 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1389 case WCon{True{}, w8}:
1390 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1391 case WCon{True{}, w7}:
1392 match w7:
1393 case WCon{False{}, w8}:
1394 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1395 case WCon{True{}, w8}:
1396 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1397 case WCon{True{}, w6}:
1398 match w6:
1399 case WCon{False{}, w7}:
1400 match w7:
1401 case WCon{False{}, w8}:
1402 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1403 case WCon{True{}, w8}:
1404 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1405 case WCon{True{}, w7}:
1406 match w7:
1407 case WCon{False{}, w8}:
1408 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1409 case WCon{True{}, w8}:
1410 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1411 case WCon{True{}, w5}:
1412 match w5:
1413 case WCon{False{}, w6}:
1414 match w6:
1415 case WCon{False{}, w7}:
1416 match w7:
1417 case WCon{False{}, w8}:
1418 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1419 case WCon{True{}, w8}:
1420 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1421 case WCon{True{}, w7}:
1422 match w7:
1423 case WCon{False{}, w8}:
1424 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1425 case WCon{True{}, w8}:
1426 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1427 case WCon{True{}, w6}:
1428 match w6:
1429 case WCon{False{}, w7}:
1430 match w7:
1431 case WCon{False{}, w8}:
1432 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1433 case WCon{True{}, w8}:
1434 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1435 case WCon{True{}, w7}:
1436 match w7:
1437 case WCon{False{}, w8}:
1438 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1439 case WCon{True{}, w8}:
1440 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1441 case WCon{True{}, w3}:
1442 match w3:
1443 case WCon{False{}, w4}:
1444 match w4:
1445 case WCon{False{}, w5}:
1446 match w5:
1447 case WCon{False{}, w6}:
1448 match w6:
1449 case WCon{False{}, w7}:
1450 match w7:
1451 case WCon{False{}, w8}:
1452 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1453 case WCon{True{}, w8}:
1454 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1455 case WCon{True{}, w7}:
1456 match w7:
1457 case WCon{False{}, w8}:
1458 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1459 case WCon{True{}, w8}:
1460 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1461 case WCon{True{}, w6}:
1462 match w6:
1463 case WCon{False{}, w7}:
1464 match w7:
1465 case WCon{False{}, w8}:
1466 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1467 case WCon{True{}, w8}:
1468 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1469 case WCon{True{}, w7}:
1470 match w7:
1471 case WCon{False{}, w8}:
1472 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1473 case WCon{True{}, w8}:
1474 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1475 case WCon{True{}, w5}:
1476 match w5:
1477 case WCon{False{}, w6}:
1478 match w6:
1479 case WCon{False{}, w7}:
1480 match w7:
1481 case WCon{False{}, w8}:
1482 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1483 case WCon{True{}, w8}:
1484 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1485 case WCon{True{}, w7}:
1486 match w7:
1487 case WCon{False{}, w8}:
1488 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1489 case WCon{True{}, w8}:
1490 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1491 case WCon{True{}, w6}:
1492 match w6:
1493 case WCon{False{}, w7}:
1494 match w7:
1495 case WCon{False{}, w8}:
1496 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1497 case WCon{True{}, w8}:
1498 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1499 case WCon{True{}, w7}:
1500 match w7:
1501 case WCon{False{}, w8}:
1502 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1503 case WCon{True{}, w8}:
1504 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1505 case WCon{True{}, w4}:
1506 match w4:
1507 case WCon{False{}, w5}:
1508 match w5:
1509 case WCon{False{}, w6}:
1510 match w6:
1511 case WCon{False{}, w7}:
1512 match w7:
1513 case WCon{False{}, w8}:
1514 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1515 case WCon{True{}, w8}:
1516 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1517 case WCon{True{}, w7}:
1518 match w7:
1519 case WCon{False{}, w8}:
1520 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1521 case WCon{True{}, w8}:
1522 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1523 case WCon{True{}, w6}:
1524 match w6:
1525 case WCon{False{}, w7}:
1526 match w7:
1527 case WCon{False{}, w8}:
1528 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1529 case WCon{True{}, w8}:
1530 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1531 case WCon{True{}, w7}:
1532 match w7:
1533 case WCon{False{}, w8}:
1534 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1535 case WCon{True{}, w8}:
1536 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1537 case WCon{True{}, w5}:
1538 match w5:
1539 case WCon{False{}, w6}:
1540 match w6:
1541 case WCon{False{}, w7}:
1542 match w7:
1543 case WCon{False{}, w8}:
1544 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1545 case WCon{True{}, w8}:
1546 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1547 case WCon{True{}, w7}:
1548 match w7:
1549 case WCon{False{}, w8}:
1550 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1551 case WCon{True{}, w8}:
1552 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1553 case WCon{True{}, w6}:
1554 match w6:
1555 case WCon{False{}, w7}:
1556 match w7:
1557 case WCon{False{}, w8}:
1558 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1559 case WCon{True{}, w8}:
1560 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1561 case WCon{True{}, w7}:
1562 match w7:
1563 case WCon{False{}, w8}:
1564 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1565 case WCon{True{}, w8}:
1566 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1567 case WCon{True{}, w1}:
1568 match w1:
1569 case WCon{False{}, w2}:
1570 match w2:
1571 case WCon{False{}, w3}:
1572 match w3:
1573 case WCon{False{}, w4}:
1574 match w4:
1575 case WCon{False{}, w5}:
1576 match w5:
1577 case WCon{False{}, w6}:
1578 match w6:
1579 case WCon{False{}, w7}:
1580 match w7:
1581 case WCon{False{}, w8}:
1582 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1583 case WCon{True{}, w8}:
1584 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1585 case WCon{True{}, w7}:
1586 match w7:
1587 case WCon{False{}, w8}:
1588 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1589 case WCon{True{}, w8}:
1590 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1591 case WCon{True{}, w6}:
1592 match w6:
1593 case WCon{False{}, w7}:
1594 match w7:
1595 case WCon{False{}, w8}:
1596 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1597 case WCon{True{}, w8}:
1598 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1599 case WCon{True{}, w7}:
1600 match w7:
1601 case WCon{False{}, w8}:
1602 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1603 case WCon{True{}, w8}:
1604 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1605 case WCon{True{}, w5}:
1606 match w5:
1607 case WCon{False{}, w6}:
1608 match w6:
1609 case WCon{False{}, w7}:
1610 match w7:
1611 case WCon{False{}, w8}:
1612 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1613 case WCon{True{}, w8}:
1614 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1615 case WCon{True{}, w7}:
1616 match w7:
1617 case WCon{False{}, w8}:
1618 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1619 case WCon{True{}, w8}:
1620 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1621 case WCon{True{}, w6}:
1622 match w6:
1623 case WCon{False{}, w7}:
1624 match w7:
1625 case WCon{False{}, w8}:
1626 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1627 case WCon{True{}, w8}:
1628 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1629 case WCon{True{}, w7}:
1630 match w7:
1631 case WCon{False{}, w8}:
1632 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1633 case WCon{True{}, w8}:
1634 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1635 case WCon{True{}, w4}:
1636 match w4:
1637 case WCon{False{}, w5}:
1638 match w5:
1639 case WCon{False{}, w6}:
1640 match w6:
1641 case WCon{False{}, w7}:
1642 match w7:
1643 case WCon{False{}, w8}:
1644 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1645 case WCon{True{}, w8}:
1646 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1647 case WCon{True{}, w7}:
1648 match w7:
1649 case WCon{False{}, w8}:
1650 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1651 case WCon{True{}, w8}:
1652 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1653 case WCon{True{}, w6}:
1654 match w6:
1655 case WCon{False{}, w7}:
1656 match w7:
1657 case WCon{False{}, w8}:
1658 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1659 case WCon{True{}, w8}:
1660 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1661 case WCon{True{}, w7}:
1662 match w7:
1663 case WCon{False{}, w8}:
1664 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1665 case WCon{True{}, w8}:
1666 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1667 case WCon{True{}, w5}:
1668 match w5:
1669 case WCon{False{}, w6}:
1670 match w6:
1671 case WCon{False{}, w7}:
1672 match w7:
1673 case WCon{False{}, w8}:
1674 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1675 case WCon{True{}, w8}:
1676 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1677 case WCon{True{}, w7}:
1678 match w7:
1679 case WCon{False{}, w8}:
1680 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1681 case WCon{True{}, w8}:
1682 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1683 case WCon{True{}, w6}:
1684 match w6:
1685 case WCon{False{}, w7}:
1686 match w7:
1687 case WCon{False{}, w8}:
1688 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1689 case WCon{True{}, w8}:
1690 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1691 case WCon{True{}, w7}:
1692 match w7:
1693 case WCon{False{}, w8}:
1694 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1695 case WCon{True{}, w8}:
1696 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1697 case WCon{True{}, w3}:
1698 match w3:
1699 case WCon{False{}, w4}:
1700 match w4:
1701 case WCon{False{}, w5}:
1702 match w5:
1703 case WCon{False{}, w6}:
1704 match w6:
1705 case WCon{False{}, w7}:
1706 match w7:
1707 case WCon{False{}, w8}:
1708 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1709 case WCon{True{}, w8}:
1710 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1711 case WCon{True{}, w7}:
1712 match w7:
1713 case WCon{False{}, w8}:
1714 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1715 case WCon{True{}, w8}:
1716 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1717 case WCon{True{}, w6}:
1718 match w6:
1719 case WCon{False{}, w7}:
1720 match w7:
1721 case WCon{False{}, w8}:
1722 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1723 case WCon{True{}, w8}:
1724 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1725 case WCon{True{}, w7}:
1726 match w7:
1727 case WCon{False{}, w8}:
1728 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1729 case WCon{True{}, w8}:
1730 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1731 case WCon{True{}, w5}:
1732 match w5:
1733 case WCon{False{}, w6}:
1734 match w6:
1735 case WCon{False{}, w7}:
1736 match w7:
1737 case WCon{False{}, w8}:
1738 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1739 case WCon{True{}, w8}:
1740 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1741 case WCon{True{}, w7}:
1742 match w7:
1743 case WCon{False{}, w8}:
1744 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1745 case WCon{True{}, w8}:
1746 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1747 case WCon{True{}, w6}:
1748 match w6:
1749 case WCon{False{}, w7}:
1750 match w7:
1751 case WCon{False{}, w8}:
1752 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1753 case WCon{True{}, w8}:
1754 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1755 case WCon{True{}, w7}:
1756 match w7:
1757 case WCon{False{}, w8}:
1758 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1759 case WCon{True{}, w8}:
1760 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1761 case WCon{True{}, w4}:
1762 match w4:
1763 case WCon{False{}, w5}:
1764 match w5:
1765 case WCon{False{}, w6}:
1766 match w6:
1767 case WCon{False{}, w7}:
1768 match w7:
1769 case WCon{False{}, w8}:
1770 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1771 case WCon{True{}, w8}:
1772 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1773 case WCon{True{}, w7}:
1774 match w7:
1775 case WCon{False{}, w8}:
1776 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1777 case WCon{True{}, w8}:
1778 WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1779 case WCon{True{}, w6}:
1780 match w6:
1781 case WCon{False{}, w7}:
1782 match w7:
1783 case WCon{False{}, w8}:
1784 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1785 case WCon{True{}, w8}:
1786 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1787 case WCon{True{}, w7}:
1788 match w7:
1789 case WCon{False{}, w8}:
1790 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1791 case WCon{True{}, w8}:
1792 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1793 case WCon{True{}, w5}:
1794 match w5:
1795 case WCon{False{}, w6}:
1796 match w6:
1797 case WCon{False{}, w7}:
1798 match w7:
1799 case WCon{False{}, w8}:
1800 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1801 case WCon{True{}, w8}:
1802 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1803 case WCon{True{}, w7}:
1804 match w7:
1805 case WCon{False{}, w8}:
1806 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1807 case WCon{True{}, w8}:
1808 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1809 case WCon{True{}, w6}:
1810 match w6:
1811 case WCon{False{}, w7}:
1812 match w7:
1813 case WCon{False{}, w8}:
1814 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1815 case WCon{True{}, w8}:
1816 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1817 case WCon{True{}, w7}:
1818 match w7:
1819 case WCon{False{}, w8}:
1820 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1821 case WCon{True{}, w8}:
1822 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1823 case WCon{True{}, w2}:
1824 match w2:
1825 case WCon{False{}, w3}:
1826 match w3:
1827 case WCon{False{}, w4}:
1828 match w4:
1829 case WCon{False{}, w5}:
1830 match w5:
1831 case WCon{False{}, w6}:
1832 match w6:
1833 case WCon{False{}, w7}:
1834 match w7:
1835 case WCon{False{}, w8}:
1836 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1837 case WCon{True{}, w8}:
1838 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1839 case WCon{True{}, w7}:
1840 match w7:
1841 case WCon{False{}, w8}:
1842 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1843 case WCon{True{}, w8}:
1844 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1845 case WCon{True{}, w6}:
1846 match w6:
1847 case WCon{False{}, w7}:
1848 match w7:
1849 case WCon{False{}, w8}:
1850 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1851 case WCon{True{}, w8}:
1852 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1853 case WCon{True{}, w7}:
1854 match w7:
1855 case WCon{False{}, w8}:
1856 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1857 case WCon{True{}, w8}:
1858 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1859 case WCon{True{}, w5}:
1860 match w5:
1861 case WCon{False{}, w6}:
1862 match w6:
1863 case WCon{False{}, w7}:
1864 match w7:
1865 case WCon{False{}, w8}:
1866 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1867 case WCon{True{}, w8}:
1868 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1869 case WCon{True{}, w7}:
1870 match w7:
1871 case WCon{False{}, w8}:
1872 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1873 case WCon{True{}, w8}:
1874 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1875 case WCon{True{}, w6}:
1876 match w6:
1877 case WCon{False{}, w7}:
1878 match w7:
1879 case WCon{False{}, w8}:
1880 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1881 case WCon{True{}, w8}:
1882 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1883 case WCon{True{}, w7}:
1884 match w7:
1885 case WCon{False{}, w8}:
1886 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1887 case WCon{True{}, w8}:
1888 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1889 case WCon{True{}, w4}:
1890 match w4:
1891 case WCon{False{}, w5}:
1892 match w5:
1893 case WCon{False{}, w6}:
1894 match w6:
1895 case WCon{False{}, w7}:
1896 match w7:
1897 case WCon{False{}, w8}:
1898 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1899 case WCon{True{}, w8}:
1900 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1901 case WCon{True{}, w7}:
1902 match w7:
1903 case WCon{False{}, w8}:
1904 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1905 case WCon{True{}, w8}:
1906 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1907 case WCon{True{}, w6}:
1908 match w6:
1909 case WCon{False{}, w7}:
1910 match w7:
1911 case WCon{False{}, w8}:
1912 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1913 case WCon{True{}, w8}:
1914 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1915 case WCon{True{}, w7}:
1916 match w7:
1917 case WCon{False{}, w8}:
1918 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1919 case WCon{True{}, w8}:
1920 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1921 case WCon{True{}, w5}:
1922 match w5:
1923 case WCon{False{}, w6}:
1924 match w6:
1925 case WCon{False{}, w7}:
1926 match w7:
1927 case WCon{False{}, w8}:
1928 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1929 case WCon{True{}, w8}:
1930 WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1931 case WCon{True{}, w7}:
1932 match w7:
1933 case WCon{False{}, w8}:
1934 WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1935 case WCon{True{}, w8}:
1936 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1937 case WCon{True{}, w6}:
1938 match w6:
1939 case WCon{False{}, w7}:
1940 match w7:
1941 case WCon{False{}, w8}:
1942 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1943 case WCon{True{}, w8}:
1944 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1945 case WCon{True{}, w7}:
1946 match w7:
1947 case WCon{False{}, w8}:
1948 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1949 case WCon{True{}, w8}:
1950 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1951 case WCon{True{}, w3}:
1952 match w3:
1953 case WCon{False{}, w4}:
1954 match w4:
1955 case WCon{False{}, w5}:
1956 match w5:
1957 case WCon{False{}, w6}:
1958 match w6:
1959 case WCon{False{}, w7}:
1960 match w7:
1961 case WCon{False{}, w8}:
1962 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1963 case WCon{True{}, w8}:
1964 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1965 case WCon{True{}, w7}:
1966 match w7:
1967 case WCon{False{}, w8}:
1968 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1969 case WCon{True{}, w8}:
1970 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1971 case WCon{True{}, w6}:
1972 match w6:
1973 case WCon{False{}, w7}:
1974 match w7:
1975 case WCon{False{}, w8}:
1976 WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1977 case WCon{True{}, w8}:
1978 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
1979 case WCon{True{}, w7}:
1980 match w7:
1981 case WCon{False{}, w8}:
1982 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1983 case WCon{True{}, w8}:
1984 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
1985 case WCon{True{}, w5}:
1986 match w5:
1987 case WCon{False{}, w6}:
1988 match w6:
1989 case WCon{False{}, w7}:
1990 match w7:
1991 case WCon{False{}, w8}:
1992 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1993 case WCon{True{}, w8}:
1994 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
1995 case WCon{True{}, w7}:
1996 match w7:
1997 case WCon{False{}, w8}:
1998 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
1999 case WCon{True{}, w8}:
2000 WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2001 case WCon{True{}, w6}:
2002 match w6:
2003 case WCon{False{}, w7}:
2004 match w7:
2005 case WCon{False{}, w8}:
2006 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2007 case WCon{True{}, w8}:
2008 WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2009 case WCon{True{}, w7}:
2010 match w7:
2011 case WCon{False{}, w8}:
2012 WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}
2013 case WCon{True{}, w8}:
2014 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2015 case WCon{True{}, w4}:
2016 match w4:
2017 case WCon{False{}, w5}:
2018 match w5:
2019 case WCon{False{}, w6}:
2020 match w6:
2021 case WCon{False{}, w7}:
2022 match w7:
2023 case WCon{False{}, w8}:
2024 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2025 case WCon{True{}, w8}:
2026 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2027 case WCon{True{}, w7}:
2028 match w7:
2029 case WCon{False{}, w8}:
2030 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2031 case WCon{True{}, w8}:
2032 WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2033 case WCon{True{}, w6}:
2034 match w6:
2035 case WCon{False{}, w7}:
2036 match w7:
2037 case WCon{False{}, w8}:
2038 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2039 case WCon{True{}, w8}:
2040 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2041 case WCon{True{}, w7}:
2042 match w7:
2043 case WCon{False{}, w8}:
2044 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2045 case WCon{True{}, w8}:
2046 WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2047 case WCon{True{}, w5}:
2048 match w5:
2049 case WCon{False{}, w6}:
2050 match w6:
2051 case WCon{False{}, w7}:
2052 match w7:
2053 case WCon{False{}, w8}:
2054 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2055 case WCon{True{}, w8}:
2056 WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2057 case WCon{True{}, w7}:
2058 match w7:
2059 case WCon{False{}, w8}:
2060 WCon{True{}, WCon{True{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2061 case WCon{True{}, w8}:
2062 WCon{False{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2063 case WCon{True{}, w6}:
2064 match w6:
2065 case WCon{False{}, w7}:
2066 match w7:
2067 case WCon{False{}, w8}:
2068 WCon{True{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}
2069 case WCon{True{}, w8}:
2070 WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}
2071 case WCon{True{}, w7}:
2072 match w7:
2073 case WCon{False{}, w8}:
2074 WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WCon{False{}, WNil{}}}}}}}}}
2075 case WCon{True{}, w8}:
2076 WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}