aiken/fib_iter.uplc

(program
  1.0.0
  (lam
    p0
    [
      (builtin iData)
      [
        (lam
          s
          [
            (lam g [ [ g [ (builtin unIData) p0 ] ] s ])
            (force
              [
                [ s (con bytestring #06) ]
                (delay
                  [
                    (lam _ (error ))
                    [
                      [
                        (force (builtin trace))
                        (con string "NameError: validator")
                      ]
                      (con unit ())
                    ]
                  ]
                )
              ]
            )
          ]
        )
        [
          (lam
            s
            [
              (lam
                s
                (lam
                  x
                  (lam
                    def
                    (force
                      [
                        [
                          [
                            (force (builtin ifThenElse))
                            [
                              [ (builtin equalsByteString) x ]
                              (con bytestring #06)
                            ]
                          ]
                          (delay
                            (delay
                              (lam
                                p0
                                (lam
                                  s
                                  [
                                    (lam
                                      s
                                      (force
                                        [
                                          [ s (con bytestring #00) ]
                                          (delay
                                            [
                                              (lam _ (error ))
                                              [
                                                [
                                                  (force (builtin trace))
                                                  (con string "NameError: a")
                                                ]
                                                (con unit ())
                                              ]
                                            ]
                                          )
                                        ]
                                      )
                                    )
                                    [
                                      (lam
                                        s
                                        [
                                          (lam
                                            s
                                            [
                                              [
                                                [
                                                  (lam
                                                    op
                                                    [
                                                      (lam g [ g g ])
                                                      (lam
                                                        fold
                                                        (lam
                                                          xs
                                                          (lam
                                                            a
                                                            (force
                                                              [
                                                                [
                                                                  [
                                                                    (force
                                                                      (builtin
                                                                        ifThenElse
                                                                      )
                                                                    )
                                                                    [
                                                                      (force
                                                                        (builtin
                                                                          nullList
                                                                        )
                                                                      )
                                                                      xs
                                                                    ]
                                                                  ]
                                                                  (delay a)
                                                                ]
                                                                (delay
                                                                  [
                                                                    [
                                                                      [
                                                                        fold
                                                                        fold
                                                                      ]
                                                                      [
                                                                        (force
                                                                          (builtin
                                                                            tailList
                                                                          )
                                                                        )
                                                                        xs
                                                                      ]
                                                                    ]
                                                                    [
                                                                      [ op a ]
                                                                      [
                                                                        (force
                                                                          (builtin
                                                                            headList
                                                                          )
                                                                        )
                                                                        xs
                                                                      ]
                                                                    ]
                                                                  ]
                                                                )
                                                              ]
                                                            )
                                                          )
                                                        )
                                                      )
                                                    ]
                                                  )
                                                  (lam
                                                    s
                                                    (lam
                                                      e
                                                      [
                                                        (lam
                                                          s
                                                          [
                                                            (lam
                                                              s
                                                              (lam
                                                                x
                                                                (lam
                                                                  def
                                                                  (force
                                                                    [
                                                                      [
                                                                        [
                                                                          (force
                                                                            (builtin
                                                                              ifThenElse
                                                                            )
                                                                          )
                                                                          [
                                                                            [
                                                                              (builtin
                                                                                equalsByteString
                                                                              )
                                                                              x
                                                                            ]
                                                                            (con
                                                                              bytestring
                                                                              #01
                                                                            )
                                                                          ]
                                                                        ]
                                                                        (delay
                                                                          (delay
                                                                            [
                                                                              (lam
                                                                                s
                                                                                [
                                                                                  [
                                                                                    (lam
                                                                                      s
                                                                                      (force
                                                                                        [
                                                                                          [
                                                                                            s
                                                                                            (con
                                                                                              bytestring
                                                                                              #03
                                                                                            )
                                                                                          ]
                                                                                          (delay
                                                                                            [
                                                                                              (lam
                                                                                                _
                                                                                                (error

                                                                                                )
                                                                                              )
                                                                                              [
                                                                                                [
                                                                                                  (force
                                                                                                    (builtin
                                                                                                      trace
                                                                                                    )
                                                                                                  )
                                                                                                  (con
                                                                                                    string
                                                                                                    "NameError: 1_tup"
                                                                                                  )
                                                                                                ]
                                                                                                (con
                                                                                                  unit
                                                                                                  ()
                                                                                                )
                                                                                              ]
                                                                                            ]
                                                                                          )
                                                                                        ]
                                                                                      )
                                                                                    )
                                                                                    s
                                                                                  ]
                                                                                  (lam
                                                                                    v0
                                                                                    (lam
                                                                                      v1
                                                                                      (force
                                                                                        v1
                                                                                      )
                                                                                    )
                                                                                  )
                                                                                ]
                                                                              )
                                                                              s
                                                                            ]
                                                                          )
                                                                        )
                                                                      ]
                                                                      (delay
                                                                        [
                                                                          [
                                                                            s x
                                                                          ]
                                                                          def
                                                                        ]
                                                                      )
                                                                    ]
                                                                  )
                                                                )
                                                              )
                                                            )
                                                            [
                                                              (lam
                                                                s
                                                                (lam
                                                                  x
                                                                  (lam
                                                                    def
                                                                    (force
                                                                      [
                                                                        [
                                                                          [
                                                                            (force
                                                                              (builtin
                                                                                ifThenElse
                                                                              )
                                                                            )
                                                                            [
                                                                              [
                                                                                (builtin
                                                                                  equalsByteString
                                                                                )
                                                                                x
                                                                              ]
                                                                              (con
                                                                                bytestring
                                                                                #00
                                                                              )
                                                                            ]
                                                                          ]
                                                                          (delay
                                                                            (delay
                                                                              [
                                                                                (lam
                                                                                  s
                                                                                  [
                                                                                    [
                                                                                      (lam
                                                                                        s
                                                                                        (force
                                                                                          [
                                                                                            [
                                                                                              s
                                                                                              (con
                                                                                                bytestring
                                                                                                #03
                                                                                              )
                                                                                            ]
                                                                                            (delay
                                                                                              [
                                                                                                (lam
                                                                                                  _
                                                                                                  (error

                                                                                                  )
                                                                                                )
                                                                                                [
                                                                                                  [
                                                                                                    (force
                                                                                                      (builtin
                                                                                                        trace
                                                                                                      )
                                                                                                    )
                                                                                                    (con
                                                                                                      string
                                                                                                      "NameError: 1_tup"
                                                                                                    )
                                                                                                  ]
                                                                                                  (con
                                                                                                    unit
                                                                                                    ()
                                                                                                  )
                                                                                                ]
                                                                                              ]
                                                                                            )
                                                                                          ]
                                                                                        )
                                                                                      )
                                                                                      s
                                                                                    ]
                                                                                    (lam
                                                                                      v0
                                                                                      (lam
                                                                                        v1
                                                                                        (force
                                                                                          v0
                                                                                        )
                                                                                      )
                                                                                    )
                                                                                  ]
                                                                                )
                                                                                s
                                                                              ]
                                                                            )
                                                                          )
                                                                        ]
                                                                        (delay
                                                                          [
                                                                            [
                                                                              s
                                                                              x
                                                                            ]
                                                                            def
                                                                          ]
                                                                        )
                                                                      ]
                                                                    )
                                                                  )
                                                                )
                                                              )
                                                              [
                                                                (lam
                                                                  s
                                                                  (lam
                                                                    x
                                                                    (lam
                                                                      def
                                                                      (force
                                                                        [
                                                                          [
                                                                            [
                                                                              (force
                                                                                (builtin
                                                                                  ifThenElse
                                                                                )
                                                                              )
                                                                              [
                                                                                [
                                                                                  (builtin
                                                                                    equalsByteString
                                                                                  )
                                                                                  x
                                                                                ]
                                                                                (con
                                                                                  bytestring
                                                                                  #03
                                                                                )
                                                                              ]
                                                                            ]
                                                                            (delay
                                                                              (delay
                                                                                [
                                                                                  (lam
                                                                                    s
                                                                                    (lam
                                                                                      __f__
                                                                                      [
                                                                                        [
                                                                                          __f__
                                                                                          (delay
                                                                                            [
                                                                                              (lam
                                                                                                s
                                                                                                (force
                                                                                                  [
                                                                                                    [
                                                                                                      s
                                                                                                      (con
                                                                                                        bytestring
                                                                                                        #01
                                                                                                      )
                                                                                                    ]
                                                                                                    (delay
                                                                                                      [
                                                                                                        (lam
                                                                                                          _
                                                                                                          (error

                                                                                                          )
                                                                                                        )
                                                                                                        [
                                                                                                          [
                                                                                                            (force
                                                                                                              (builtin
                                                                                                                trace
                                                                                                              )
                                                                                                            )
                                                                                                            (con
                                                                                                              string
                                                                                                              "NameError: b"
                                                                                                            )
                                                                                                          ]
                                                                                                          (con
                                                                                                            unit
                                                                                                            ()
                                                                                                          )
                                                                                                        ]
                                                                                                      ]
                                                                                                    )
                                                                                                  ]
                                                                                                )
                                                                                              )
                                                                                              s
                                                                                            ]
                                                                                          )
                                                                                        ]
                                                                                        (delay
                                                                                          [
                                                                                            (lam
                                                                                              s
                                                                                              [
                                                                                                [
                                                                                                  (builtin
                                                                                                    addInteger
                                                                                                  )
                                                                                                  [
                                                                                                    (lam
                                                                                                      s
                                                                                                      (force
                                                                                                        [
                                                                                                          [
                                                                                                            s
                                                                                                            (con
                                                                                                              bytestring
                                                                                                              #00
                                                                                                            )
                                                                                                          ]
                                                                                                          (delay
                                                                                                            [
                                                                                                              (lam
                                                                                                                _
                                                                                                                (error

                                                                                                                )
                                                                                                              )
                                                                                                              [
                                                                                                                [
                                                                                                                  (force
                                                                                                                    (builtin
                                                                                                                      trace
                                                                                                                    )
                                                                                                                  )
                                                                                                                  (con
                                                                                                                    string
                                                                                                                    "NameError: a"
                                                                                                                  )
                                                                                                                ]
                                                                                                                (con
                                                                                                                  unit
                                                                                                                  ()
                                                                                                                )
                                                                                                              ]
                                                                                                            ]
                                                                                                          )
                                                                                                        ]
                                                                                                      )
                                                                                                    )
                                                                                                    s
                                                                                                  ]
                                                                                                ]
                                                                                                [
                                                                                                  (lam
                                                                                                    s
                                                                                                    (force
                                                                                                      [
                                                                                                        [
                                                                                                          s
                                                                                                          (con
                                                                                                            bytestring
                                                                                                            #01
                                                                                                          )
                                                                                                        ]
                                                                                                        (delay
                                                                                                          [
                                                                                                            (lam
                                                                                                              _
                                                                                                              (error

                                                                                                              )
                                                                                                            )
                                                                                                            [
                                                                                                              [
                                                                                                                (force
                                                                                                                  (builtin
                                                                                                                    trace
                                                                                                                  )
                                                                                                                )
                                                                                                                (con
                                                                                                                  string
                                                                                                                  "NameError: b"
                                                                                                                )
                                                                                                              ]
                                                                                                              (con
                                                                                                                unit
                                                                                                                ()
                                                                                                              )
                                                                                                            ]
                                                                                                          ]
                                                                                                        )
                                                                                                      ]
                                                                                                    )
                                                                                                  )
                                                                                                  s
                                                                                                ]
                                                                                              ]
                                                                                            )
                                                                                            s
                                                                                          ]
                                                                                        )
                                                                                      ]
                                                                                    )
                                                                                  )
                                                                                  s
                                                                                ]
                                                                              )
                                                                            )
                                                                          ]
                                                                          (delay
                                                                            [
                                                                              [
                                                                                s
                                                                                x
                                                                              ]
                                                                              def
                                                                            ]
                                                                          )
                                                                        ]
                                                                      )
                                                                    )
                                                                  )
                                                                )
                                                                s
                                                              ]
                                                            ]
                                                          ]
                                                        )
                                                        (lam
                                                          x
                                                          (lam
                                                            def
                                                            (force
                                                              [
                                                                [
                                                                  [
                                                                    (force
                                                                      (builtin
                                                                        ifThenElse
                                                                      )
                                                                    )
                                                                    [
                                                                      [
                                                                        (builtin
                                                                          equalsByteString
                                                                        )
                                                                        x
                                                                      ]
                                                                      (con
                                                                        bytestring
                                                                        #07
                                                                      )
                                                                    ]
                                                                  ]
                                                                  (delay
                                                                    (delay e)
                                                                  )
                                                                ]
                                                                (delay
                                                                  [
                                                                    [ s x ] def
                                                                  ]
                                                                )
                                                              ]
                                                            )
                                                          )
                                                        )
                                                      ]
                                                    )
                                                  )
                                                ]
                                                [
                                                  (lam
                                                    s
                                                    [
                                                      [
                                                        [
                                                          (lam
                                                            s
                                                            (force
                                                              [
                                                                [
                                                                  s
                                                                  (con
                                                                    bytestring
                                                                    #04
                                                                  )
                                                                ]
                                                                (delay
                                                                  [
                                                                    (lam
                                                                      _
                                                                      (error )
                                                                    )
                                                                    [
                                                                      [
                                                                        (force
                                                                          (builtin
                                                                            trace
                                                                          )
                                                                        )
                                                                        (con
                                                                          string
                                                                          "NameError: range"
                                                                        )
                                                                      ]
                                                                      (con
                                                                        unit
                                                                        ()
                                                                      )
                                                                    ]
                                                                  ]
                                                                )
                                                              ]
                                                            )
                                                          )
                                                          s
                                                        ]
                                                        [
                                                          (lam
                                                            s
                                                            (force
                                                              [
                                                                [
                                                                  s
                                                                  (con
                                                                    bytestring
                                                                    #05
                                                                  )
                                                                ]
                                                                (delay
                                                                  [
                                                                    (lam
                                                                      _
                                                                      (error )
                                                                    )
                                                                    [
                                                                      [
                                                                        (force
                                                                          (builtin
                                                                            trace
                                                                          )
                                                                        )
                                                                        (con
                                                                          string
                                                                          "NameError: n"
                                                                        )
                                                                      ]
                                                                      (con
                                                                        unit
                                                                        ()
                                                                      )
                                                                    ]
                                                                  ]
                                                                )
                                                              ]
                                                            )
                                                          )
                                                          s
                                                        ]
                                                      ]
                                                      s
                                                    ]
                                                  )
                                                  s
                                                ]
                                              ]
                                              s
                                            ]
                                          )
                                          [
                                            (lam
                                              s
                                              (lam
                                                x
                                                (lam
                                                  def
                                                  (force
                                                    [
                                                      [
                                                        [
                                                          (force
                                                            (builtin ifThenElse)
                                                          )
                                                          [
                                                            [
                                                              (builtin
                                                                equalsByteString
                                                              )
                                                              x
                                                            ]
                                                            (con bytestring #01)
                                                          ]
                                                        ]
                                                        (delay
                                                          (delay
                                                            [
                                                              (lam
                                                                s
                                                                [
                                                                  [
                                                                    (lam
                                                                      s
                                                                      (force
                                                                        [
                                                                          [
                                                                            s
                                                                            (con
                                                                              bytestring
                                                                              #02
                                                                            )
                                                                          ]
                                                                          (delay
                                                                            [
                                                                              (lam
                                                                                _
                                                                                (error

                                                                                )
                                                                              )
                                                                              [
                                                                                [
                                                                                  (force
                                                                                    (builtin
                                                                                      trace
                                                                                    )
                                                                                  )
                                                                                  (con
                                                                                    string
                                                                                    "NameError: 0_tup"
                                                                                  )
                                                                                ]
                                                                                (con
                                                                                  unit
                                                                                  ()
                                                                                )
                                                                              ]
                                                                            ]
                                                                          )
                                                                        ]
                                                                      )
                                                                    )
                                                                    s
                                                                  ]
                                                                  (lam
                                                                    v0
                                                                    (lam
                                                                      v1
                                                                      (force v1)
                                                                    )
                                                                  )
                                                                ]
                                                              )
                                                              s
                                                            ]
                                                          )
                                                        )
                                                      ]
                                                      (delay [ [ s x ] def ])
                                                    ]
                                                  )
                                                )
                                              )
                                            )
                                            [
                                              (lam
                                                s
                                                (lam
                                                  x
                                                  (lam
                                                    def
                                                    (force
                                                      [
                                                        [
                                                          [
                                                            (force
                                                              (builtin
                                                                ifThenElse
                                                              )
                                                            )
                                                            [
                                                              [
                                                                (builtin
                                                                  equalsByteString
                                                                )
                                                                x
                                                              ]
                                                              (con
                                                                bytestring
                                                                #00
                                                              )
                                                            ]
                                                          ]
                                                          (delay
                                                            (delay
                                                              [
                                                                (lam
                                                                  s
                                                                  [
                                                                    [
                                                                      (lam
                                                                        s
                                                                        (force
                                                                          [
                                                                            [
                                                                              s
                                                                              (con
                                                                                bytestring
                                                                                #02
                                                                              )
                                                                            ]
                                                                            (delay
                                                                              [
                                                                                (lam
                                                                                  _
                                                                                  (error

                                                                                  )
                                                                                )
                                                                                [
                                                                                  [
                                                                                    (force
                                                                                      (builtin
                                                                                        trace
                                                                                      )
                                                                                    )
                                                                                    (con
                                                                                      string
                                                                                      "NameError: 0_tup"
                                                                                    )
                                                                                  ]
                                                                                  (con
                                                                                    unit
                                                                                    ()
                                                                                  )
                                                                                ]
                                                                              ]
                                                                            )
                                                                          ]
                                                                        )
                                                                      )
                                                                      s
                                                                    ]
                                                                    (lam
                                                                      v0
                                                                      (lam
                                                                        v1
                                                                        (force
                                                                          v0
                                                                        )
                                                                      )
                                                                    )
                                                                  ]
                                                                )
                                                                s
                                                              ]
                                                            )
                                                          )
                                                        ]
                                                        (delay [ [ s x ] def ])
                                                      ]
                                                    )
                                                  )
                                                )
                                              )
                                              [
                                                (lam
                                                  s
                                                  (lam
                                                    x
                                                    (lam
                                                      def
                                                      (force
                                                        [
                                                          [
                                                            [
                                                              (force
                                                                (builtin
                                                                  ifThenElse
                                                                )
                                                              )
                                                              [
                                                                [
                                                                  (builtin
                                                                    equalsByteString
                                                                  )
                                                                  x
                                                                ]
                                                                (con
                                                                  bytestring
                                                                  #02
                                                                )
                                                              ]
                                                            ]
                                                            (delay
                                                              (delay
                                                                [
                                                                  (lam
                                                                    s
                                                                    (lam
                                                                      __f__
                                                                      [
                                                                        [
                                                                          __f__
                                                                          (delay
                                                                            [
                                                                              (lam
                                                                                s
                                                                                (con
                                                                                  integer
                                                                                  0
                                                                                )
                                                                              )
                                                                              s
                                                                            ]
                                                                          )
                                                                        ]
                                                                        (delay
                                                                          [
                                                                            (lam
                                                                              s
                                                                              (con
                                                                                integer
                                                                                1
                                                                              )
                                                                            )
                                                                            s
                                                                          ]
                                                                        )
                                                                      ]
                                                                    )
                                                                  )
                                                                  s
                                                                ]
                                                              )
                                                            )
                                                          ]
                                                          (delay
                                                            [ [ s x ] def ]
                                                          )
                                                        ]
                                                      )
                                                    )
                                                  )
                                                )
                                                s
                                              ]
                                            ]
                                          ]
                                        ]
                                      )
                                      (lam
                                        x
                                        (lam
                                          def
                                          (force
                                            [
                                              [
                                                [
                                                  (force (builtin ifThenElse))
                                                  [
                                                    [
                                                      (builtin equalsByteString)
                                                      x
                                                    ]
                                                    (con bytestring #05)
                                                  ]
                                                ]
                                                (delay (delay p0))
                                              ]
                                              (delay [ [ s x ] def ])
                                            ]
                                          )
                                        )
                                      )
                                    ]
                                  ]
                                )
                              )
                            )
                          )
                        ]
                        (delay [ [ s x ] def ])
                      ]
                    )
                  )
                )
              )
              [
                (lam
                  s
                  (lam
                    x
                    (lam
                      def
                      (force
                        [
                          [
                            [
                              (force (builtin ifThenElse))
                              [
                                [ (builtin equalsByteString) x ]
                                (con bytestring #04)
                              ]
                            ]
                            (delay
                              (delay
                                [
                                  (lam
                                    _
                                    (lam
                                      limit
                                      (lam
                                        _
                                        [
                                          [
                                            [
                                              (lam
                                                limit
                                                (lam
                                                  step
                                                  [
                                                    (lam g [ g g ])
                                                    (lam
                                                      f
                                                      (lam
                                                        cur
                                                        (force
                                                          [
                                                            [
                                                              [
                                                                (force
                                                                  (builtin
                                                                    ifThenElse
                                                                  )
                                                                )
                                                                [
                                                                  [
                                                                    (builtin
                                                                      lessThanInteger
                                                                    )
                                                                    cur
                                                                  ]
                                                                  limit
                                                                ]
                                                              ]
                                                              (delay
                                                                [
                                                                  [
                                                                    (force
                                                                      (builtin
                                                                        mkCons
                                                                      )
                                                                    )
                                                                    cur
                                                                  ]
                                                                  [
                                                                    [ f f ]
                                                                    [
                                                                      [
                                                                        (builtin
                                                                          addInteger
                                                                        )
                                                                        cur
                                                                      ]
                                                                      step
                                                                    ]
                                                                  ]
                                                                ]
                                                              )
                                                            ]
                                                            (delay
                                                              (con
                                                                list
                                                                <integer>
                                                                []
                                                              )
                                                            )
                                                          ]
                                                        )
                                                      )
                                                    )
                                                  ]
                                                )
                                              )
                                              limit
                                            ]
                                            (con integer 1)
                                          ]
                                          (con integer 0)
                                        ]
                                      )
                                    )
                                  )
                                  s
                                ]
                              )
                            )
                          ]
                          (delay [ [ s x ] def ])
                        ]
                      )
                    )
                  )
                )
                s
              ]
            ]
          )
          (lam x (lam def def))
        ]
      ]
    ]
  )
)