PROOF.aria_sb13: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/PROOF.bend as PROOF
Lines 3267-4800 of bend-osdev-legacy-ciphers@0.1.0.0/PROOF.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/PROOF.bend&start_line=3267&end_line=4800

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as A

def aria_sb13(w0: Word(8n)) -> {w0 == A.aria.sb1(A.aria.sb3(w0)) : Word(8n)}:
  match w0:
    case WCon{False{}, w1}:
      match w1:
        case WCon{False{}, w2}:
          match w2:
            case WCon{False{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
            case WCon{True{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
        case WCon{True{}, w2}:
          match w2:
            case WCon{False{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
            case WCon{True{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
    case WCon{True{}, w1}:
      match w1:
        case WCon{False{}, w2}:
          match w2:
            case WCon{False{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
            case WCon{True{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
        case WCon{True{}, w2}:
          match w2:
            case WCon{False{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
            case WCon{True{}, w3}:
              match w3:
                case WCon{False{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                case WCon{True{}, w4}:
                  match w4:
                    case WCon{False{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                    case WCon{True{}, w5}:
                      match w5:
                        case WCon{False{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                        case WCon{True{}, w6}:
                          match w6:
                            case WCon{False{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                            case WCon{True{}, w7}:
                              match w7:
                                case WCon{False{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}
                                case WCon{True{}, w8}:
                                  match w8:
                                    case WNil{}:
                                      {==}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb1
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.sb3