elab-rec.edn

(((ann
   (fn
    [pair]
    ((ann
      (fn
       [f1]
       ((ann
         (fn
          [f2]
          ((ann
            (fn
             [f3]
             ((ann
               (fn
                [f4]
                (ann
                 (fn
                  [z]
                  ((f4
                    (ann
                     (fn [x] x)
                     [(Rec
                       [rec87435]
                       [rec87435
                        :->
                        [rec87435
                         :->
                         [rec87435
                          :->
                          [rec87435
                           :->
                           [rec87435
                            :->
                            [rec87435
                             :->
                             [rec87435 :-> [rec87435 :-> Int]]]]]]]])
                      :->
                      (Rec
                       [rec87451]
                       [rec87451
                        :->
                        [rec87451
                         :->
                         [rec87451
                          :->
                          [rec87451
                           :->
                           [rec87451
                            :->
                            [rec87451
                             :->
                             [rec87451
                              :->
                              [rec87451 :-> Int]]]]]]]])]))
                   z))
                 [(Rec
                   [rec89752]
                   [rec89752
                    :->
                    [rec89752
                     :->
                     [rec89752
                      :->
                      [rec89752
                       :->
                       [rec89752
                        :->
                        [rec89752
                         :->
                         [rec89752 :-> [rec89752 :-> Int]]]]]]]])
                  :->
                  Int]))
               [[[(Rec
                   [rec92000]
                   [rec92000
                    :->
                    [rec92000
                     :->
                     [rec92000
                      :->
                      [rec92000
                       :->
                       [rec92000
                        :->
                        [rec92000
                         :->
                         [rec92000 :-> [rec92000 :-> Int]]]]]]]])
                  :->
                  (Rec
                   [rec92016]
                   [rec92016
                    :->
                    [rec92016
                     :->
                     [rec92016
                      :->
                      [rec92016
                       :->
                       [rec92016
                        :->
                        [rec92016
                         :->
                         [rec92016 :-> [rec92016 :-> Int]]]]]]]])]
                 :->
                 [(Rec
                   [rec92033]
                   [rec92033
                    :->
                    [rec92033
                     :->
                     [rec92033
                      :->
                      [rec92033
                       :->
                       [rec92033
                        :->
                        [rec92033
                         :->
                         [rec92033 :-> [rec92033 :-> Int]]]]]]]])
                  :->
                  Int]]
                :->
                [(Rec
                  [rec92050]
                  [rec92050
                   :->
                   [rec92050
                    :->
                    [rec92050
                     :->
                     [rec92050
                      :->
                      [rec92050
                       :->
                       [rec92050
                        :->
                        [rec92050 :-> [rec92050 :-> Int]]]]]]]])
                 :->
                 Int]])
              (ann
               (fn [x] (f3 (f3 x)))
               [[(Rec
                  [rec94300]
                  [rec94300
                   :->
                   [rec94300
                    :->
                    [rec94300
                     :->
                     [rec94300
                      :->
                      [rec94300
                       :->
                       [rec94300
                        :->
                        [rec94300 :-> [rec94300 :-> Int]]]]]]]])
                 :->
                 (Rec
                  [rec94316]
                  [rec94316
                   :->
                   [rec94316
                    :->
                    [rec94316
                     :->
                     [rec94316
                      :->
                      [rec94316
                       :->
                       [rec94316
                        :->
                        [rec94316 :-> [rec94316 :-> Int]]]]]]]])]
                :->
                [(Rec
                  [rec94333]
                  [rec94333
                   :->
                   [rec94333
                    :->
                    [rec94333
                     :->
                     [rec94333
                      :->
                      [rec94333
                       :->
                       [rec94333
                        :->
                        [rec94333 :-> [rec94333 :-> Int]]]]]]]])
                 :->
                 Int]])))
            [(IFn
              [[(Rec
                 [rec96403]
                 [rec96403
                  :->
                  [rec96403
                   :->
                   [rec96403
                    :->
                    [rec96403
                     :->
                     [rec96403
                      :->
                      [rec96403
                       :->
                       [rec96403 :-> [rec96403 :-> Int]]]]]]]])
                :->
                (Rec
                 [rec96419]
                 [rec96419
                  :->
                  [rec96419
                   :->
                   [rec96419
                    :->
                    [rec96419
                     :->
                     [rec96419
                      :->
                      [rec96419
                       :->
                       [rec96419 :-> [rec96419 :-> Int]]]]]]]])]
               :->
               [(Rec
                 [rec96436]
                 [rec96436
                  :->
                  [rec96436
                   :->
                   [rec96436
                    :->
                    [rec96436
                     :->
                     [rec96436
                      :->
                      [rec96436
                       :->
                       [rec96436 :-> [rec96436 :-> Int]]]]]]]])
                :->
                (Rec
                 [rec96452]
                 [(Rec
                   [rec96453]
                   [rec96453
                    :->
                    [rec96453
                     :->
                     [rec96453 :-> [rec96453 :-> rec96452]]]])
                  :->
                  [(Rec
                    [rec96463]
                    [rec96463
                     :->
                     [rec96463
                      :->
                      [rec96463 :-> [rec96463 :-> rec96452]]]])
                   :->
                   [(Rec
                     [rec96473]
                     [rec96473
                      :->
                      [rec96473
                       :->
                       [rec96473 :-> [rec96473 :-> rec96452]]]])
                    :->
                    [(Rec
                      [rec96483]
                      [rec96483
                       :->
                       [rec96483
                        :->
                        [rec96483 :-> [rec96483 :-> rec96452]]]])
                     :->
                     Int]]]])]]
              [[(Rec
                 [rec96493]
                 [rec96493
                  :->
                  [rec96493
                   :->
                   [rec96493
                    :->
                    [rec96493
                     :->
                     [rec96493
                      :->
                      [rec96493
                       :->
                       [rec96493 :-> [rec96493 :-> Int]]]]]]]])
                :->
                (Rec
                 [rec96509]
                 [(Rec
                   [rec96510]
                   [rec96510
                    :->
                    [rec96510
                     :->
                     [rec96510 :-> [rec96510 :-> rec96509]]]])
                  :->
                  [(Rec
                    [rec96520]
                    [rec96520
                     :->
                     [rec96520
                      :->
                      [rec96520 :-> [rec96520 :-> rec96509]]]])
                   :->
                   [(Rec
                     [rec96530]
                     [rec96530
                      :->
                      [rec96530
                       :->
                       [rec96530 :-> [rec96530 :-> rec96509]]]])
                    :->
                    [(Rec
                      [rec96540]
                      [rec96540
                       :->
                       [rec96540
                        :->
                        [rec96540 :-> [rec96540 :-> rec96509]]]])
                     :->
                     Int]]]])]
               :->
               [(Rec
                 [rec96550]
                 [rec96550
                  :->
                  [rec96550
                   :->
                   [rec96550
                    :->
                    [rec96550
                     :->
                     [rec96550
                      :->
                      [rec96550
                       :->
                       [rec96550 :-> [rec96550 :-> Int]]]]]]]])
                :->
                Int]])
             :->
             [(Rec
               [rec96567]
               [rec96567
                :->
                [rec96567
                 :->
                 [rec96567
                  :->
                  [rec96567
                   :->
                   [rec96567
                    :->
                    [rec96567
                     :->
                     [rec96567 :-> [rec96567 :-> Int]]]]]]]])
              :->
              Int]])
           (ann
            (fn [x] (f2 (f2 x)))
            (IFn
             [[(Rec
                [rec98649]
                [rec98649
                 :->
                 [rec98649
                  :->
                  [rec98649
                   :->
                   [rec98649
                    :->
                    [rec98649
                     :->
                     [rec98649
                      :->
                      [rec98649 :-> [rec98649 :-> Int]]]]]]]])
               :->
               (Rec
                [rec98665]
                [rec98665
                 :->
                 [rec98665
                  :->
                  [rec98665
                   :->
                   [rec98665
                    :->
                    [rec98665
                     :->
                     [rec98665
                      :->
                      [rec98665 :-> [rec98665 :-> Int]]]]]]]])]
              :->
              [(Rec
                [rec98682]
                [rec98682
                 :->
                 [rec98682
                  :->
                  [rec98682
                   :->
                   [rec98682
                    :->
                    [rec98682
                     :->
                     [rec98682
                      :->
                      [rec98682 :-> [rec98682 :-> Int]]]]]]]])
               :->
               (Rec
                [rec98698]
                [(Rec
                  [rec98699]
                  [rec98699
                   :->
                   [rec98699
                    :->
                    [rec98699 :-> [rec98699 :-> rec98698]]]])
                 :->
                 [(Rec
                   [rec98709]
                   [rec98709
                    :->
                    [rec98709
                     :->
                     [rec98709 :-> [rec98709 :-> rec98698]]]])
                  :->
                  [(Rec
                    [rec98719]
                    [rec98719
                     :->
                     [rec98719
                      :->
                      [rec98719 :-> [rec98719 :-> rec98698]]]])
                   :->
                   [(Rec
                     [rec98729]
                     [rec98729
                      :->
                      [rec98729
                       :->
                       [rec98729 :-> [rec98729 :-> rec98698]]]])
                    :->
                    Int]]]])]]
             [[(Rec
                [rec98739]
                [rec98739
                 :->
                 [rec98739
                  :->
                  [rec98739
                   :->
                   [rec98739
                    :->
                    [rec98739
                     :->
                     [rec98739
                      :->
                      [rec98739 :-> [rec98739 :-> Int]]]]]]]])
               :->
               (Rec
                [rec98755]
                [(Rec
                  [rec98756]
                  [rec98756
                   :->
                   [rec98756
                    :->
                    [rec98756 :-> [rec98756 :-> rec98755]]]])
                 :->
                 [(Rec
                   [rec98766]
                   [rec98766
                    :->
                    [rec98766
                     :->
                     [rec98766 :-> [rec98766 :-> rec98755]]]])
                  :->
                  [(Rec
                    [rec98776]
                    [rec98776
                     :->
                     [rec98776
                      :->
                      [rec98776 :-> [rec98776 :-> rec98755]]]])
                   :->
                   [(Rec
                     [rec98786]
                     [rec98786
                      :->
                      [rec98786
                       :->
                       [rec98786 :-> [rec98786 :-> rec98755]]]])
                    :->
                    Int]]]])]
              :->
              [(Rec
                [rec98796]
                [rec98796
                 :->
                 [rec98796
                  :->
                  [rec98796
                   :->
                   [rec98796
                    :->
                    [rec98796
                     :->
                     [rec98796
                      :->
                      [rec98796 :-> [rec98796 :-> Int]]]]]]]])
               :->
               Int]]))))
         [(IFn
           [[(Rec
              [rec100478]
              [rec100478
               :->
               [rec100478
                :->
                [rec100478
                 :->
                 [rec100478
                  :->
                  [rec100478
                   :->
                   [rec100478
                    :->
                    [rec100478 :-> [rec100478 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100494]
              [rec100494
               :->
               [rec100494
                :->
                [rec100494
                 :->
                 [rec100494
                  :->
                  [rec100494
                   :->
                   [rec100494
                    :->
                    [rec100494 :-> [rec100494 :-> Int]]]]]]]])]
            :->
            [(Rec
              [rec100511]
              [rec100511
               :->
               [rec100511
                :->
                [rec100511
                 :->
                 [rec100511
                  :->
                  [rec100511
                   :->
                   [rec100511
                    :->
                    [rec100511 :-> [rec100511 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100527]
              [(Rec
                [rec100528]
                [rec100528 :-> [rec100528 :-> rec100527]])
               :->
               [(Rec
                 [rec100534]
                 [rec100534 :-> [rec100534 :-> rec100527]])
                :->
                [(Rec
                  [rec100540]
                  [rec100540 :-> [rec100540 :-> rec100527]])
                 :->
                 [(Rec
                   [rec100546]
                   [rec100546 :-> [rec100546 :-> rec100527]])
                  :->
                  [(Rec
                    [rec100552]
                    [rec100552 :-> [rec100552 :-> rec100527]])
                   :->
                   [(Rec
                     [rec100558]
                     [rec100558 :-> [rec100558 :-> rec100527]])
                    :->
                    Int]]]]]])]]
           [[(Rec
              [rec100564]
              [rec100564
               :->
               [rec100564
                :->
                [rec100564
                 :->
                 [rec100564
                  :->
                  [rec100564
                   :->
                   [rec100564
                    :->
                    [rec100564 :-> [rec100564 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100580]
              [(Rec
                [rec100581]
                [rec100581 :-> [rec100581 :-> rec100580]])
               :->
               [(Rec
                 [rec100587]
                 [rec100587 :-> [rec100587 :-> rec100580]])
                :->
                [(Rec
                  [rec100593]
                  [rec100593 :-> [rec100593 :-> rec100580]])
                 :->
                 [(Rec
                   [rec100599]
                   [rec100599 :-> [rec100599 :-> rec100580]])
                  :->
                  [(Rec
                    [rec100605]
                    [rec100605 :-> [rec100605 :-> rec100580]])
                   :->
                   [(Rec
                     [rec100611]
                     [rec100611 :-> [rec100611 :-> rec100580]])
                    :->
                    Int]]]]]])]
            :->
            [(Rec
              [rec100617]
              [rec100617
               :->
               [rec100617
                :->
                [rec100617
                 :->
                 [rec100617
                  :->
                  [rec100617
                   :->
                   [rec100617
                    :->
                    [rec100617 :-> [rec100617 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100633]
              [(Rec
                [rec100634]
                [rec100634
                 :->
                 [rec100634
                  :->
                  [rec100634 :-> [rec100634 :-> rec100633]]]])
               :->
               [(Rec
                 [rec100644]
                 [rec100644
                  :->
                  [rec100644
                   :->
                   [rec100644 :-> [rec100644 :-> rec100633]]]])
                :->
                [(Rec
                  [rec100654]
                  [rec100654
                   :->
                   [rec100654
                    :->
                    [rec100654 :-> [rec100654 :-> rec100633]]]])
                 :->
                 [(Rec
                   [rec100664]
                   [rec100664
                    :->
                    [rec100664
                     :->
                     [rec100664 :-> [rec100664 :-> rec100633]]]])
                  :->
                  Int]]]])]]
           [[(Rec
              [rec100674]
              [rec100674
               :->
               [rec100674
                :->
                [rec100674
                 :->
                 [rec100674
                  :->
                  [rec100674
                   :->
                   [rec100674
                    :->
                    [rec100674 :-> [rec100674 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100690]
              [(Rec
                [rec100691]
                [rec100691
                 :->
                 [rec100691
                  :->
                  [rec100691 :-> [rec100691 :-> rec100690]]]])
               :->
               [(Rec
                 [rec100701]
                 [rec100701
                  :->
                  [rec100701
                   :->
                   [rec100701 :-> [rec100701 :-> rec100690]]]])
                :->
                [(Rec
                  [rec100711]
                  [rec100711
                   :->
                   [rec100711
                    :->
                    [rec100711 :-> [rec100711 :-> rec100690]]]])
                 :->
                 [(Rec
                   [rec100721]
                   [rec100721
                    :->
                    [rec100721
                     :->
                     [rec100721 :-> [rec100721 :-> rec100690]]]])
                  :->
                  Int]]]])]
            :->
            [(Rec
              [rec100731]
              [rec100731
               :->
               [rec100731
                :->
                [rec100731
                 :->
                 [rec100731
                  :->
                  [rec100731
                   :->
                   [rec100731
                    :->
                    [rec100731 :-> [rec100731 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100747]
              [(Rec
                [rec100748]
                [rec100748
                 :->
                 [rec100748
                  :->
                  [rec100748
                   :->
                   [rec100748
                    :->
                    [rec100748 :-> [rec100748 :-> rec100747]]]]]])
               :->
               [(Rec
                 [rec100762]
                 [rec100762
                  :->
                  [rec100762
                   :->
                   [rec100762
                    :->
                    [rec100762
                     :->
                     [rec100762 :-> [rec100762 :-> rec100747]]]]]])
                :->
                Int]])]]
           [[(Rec
              [rec100776]
              [rec100776
               :->
               [rec100776
                :->
                [rec100776
                 :->
                 [rec100776
                  :->
                  [rec100776
                   :->
                   [rec100776
                    :->
                    [rec100776 :-> [rec100776 :-> Int]]]]]]]])
             :->
             (Rec
              [rec100792]
              [(Rec
                [rec100793]
                [rec100793
                 :->
                 [rec100793
                  :->
                  [rec100793
                   :->
                   [rec100793
                    :->
                    [rec100793 :-> [rec100793 :-> rec100792]]]]]])
               :->
               [(Rec
                 [rec100807]
                 [rec100807
                  :->
                  [rec100807
                   :->
                   [rec100807
                    :->
                    [rec100807
                     :->
                     [rec100807 :-> [rec100807 :-> rec100792]]]]]])
                :->
                Int]])]
            :->
            [(Rec
              [rec100821]
              [rec100821
               :->
               [rec100821
                :->
                [rec100821
                 :->
                 [rec100821
                  :->
                  [rec100821
                   :->
                   [rec100821
                    :->
                    [rec100821 :-> [rec100821 :-> Int]]]]]]]])
             :->
             Int]])
          :->
          [(Rec
            [rec100838]
            [rec100838
             :->
             [rec100838
              :->
              [rec100838
               :->
               [rec100838
                :->
                [rec100838
                 :->
                 [rec100838
                  :->
                  [rec100838 :-> [rec100838 :-> Int]]]]]]]])
           :->
           Int]])
        (ann
         (fn [x] (f1 (f1 x)))
         (IFn
          [[(Rec
             [rec102544]
             [rec102544
              :->
              [rec102544
               :->
               [rec102544
                :->
                [rec102544
                 :->
                 [rec102544
                  :->
                  [rec102544
                   :->
                   [rec102544 :-> [rec102544 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102560]
             [rec102560
              :->
              [rec102560
               :->
               [rec102560
                :->
                [rec102560
                 :->
                 [rec102560
                  :->
                  [rec102560
                   :->
                   [rec102560 :-> [rec102560 :-> Int]]]]]]]])]
           :->
           [(Rec
             [rec102577]
             [rec102577
              :->
              [rec102577
               :->
               [rec102577
                :->
                [rec102577
                 :->
                 [rec102577
                  :->
                  [rec102577
                   :->
                   [rec102577 :-> [rec102577 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102593]
             [(Rec
               [rec102594]
               [rec102594 :-> [rec102594 :-> rec102593]])
              :->
              [(Rec
                [rec102600]
                [rec102600 :-> [rec102600 :-> rec102593]])
               :->
               [(Rec
                 [rec102606]
                 [rec102606 :-> [rec102606 :-> rec102593]])
                :->
                [(Rec
                  [rec102612]
                  [rec102612 :-> [rec102612 :-> rec102593]])
                 :->
                 [(Rec
                   [rec102618]
                   [rec102618 :-> [rec102618 :-> rec102593]])
                  :->
                  [(Rec
                    [rec102624]
                    [rec102624 :-> [rec102624 :-> rec102593]])
                   :->
                   Int]]]]]])]]
          [[(Rec
             [rec102630]
             [rec102630
              :->
              [rec102630
               :->
               [rec102630
                :->
                [rec102630
                 :->
                 [rec102630
                  :->
                  [rec102630
                   :->
                   [rec102630 :-> [rec102630 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102646]
             [(Rec
               [rec102647]
               [rec102647 :-> [rec102647 :-> rec102646]])
              :->
              [(Rec
                [rec102653]
                [rec102653 :-> [rec102653 :-> rec102646]])
               :->
               [(Rec
                 [rec102659]
                 [rec102659 :-> [rec102659 :-> rec102646]])
                :->
                [(Rec
                  [rec102665]
                  [rec102665 :-> [rec102665 :-> rec102646]])
                 :->
                 [(Rec
                   [rec102671]
                   [rec102671 :-> [rec102671 :-> rec102646]])
                  :->
                  [(Rec
                    [rec102677]
                    [rec102677 :-> [rec102677 :-> rec102646]])
                   :->
                   Int]]]]]])]
           :->
           [(Rec
             [rec102683]
             [rec102683
              :->
              [rec102683
               :->
               [rec102683
                :->
                [rec102683
                 :->
                 [rec102683
                  :->
                  [rec102683
                   :->
                   [rec102683 :-> [rec102683 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102699]
             [(Rec
               [rec102700]
               [rec102700
                :->
                [rec102700
                 :->
                 [rec102700 :-> [rec102700 :-> rec102699]]]])
              :->
              [(Rec
                [rec102710]
                [rec102710
                 :->
                 [rec102710
                  :->
                  [rec102710 :-> [rec102710 :-> rec102699]]]])
               :->
               [(Rec
                 [rec102720]
                 [rec102720
                  :->
                  [rec102720
                   :->
                   [rec102720 :-> [rec102720 :-> rec102699]]]])
                :->
                [(Rec
                  [rec102730]
                  [rec102730
                   :->
                   [rec102730
                    :->
                    [rec102730 :-> [rec102730 :-> rec102699]]]])
                 :->
                 Int]]]])]]
          [[(Rec
             [rec102740]
             [rec102740
              :->
              [rec102740
               :->
               [rec102740
                :->
                [rec102740
                 :->
                 [rec102740
                  :->
                  [rec102740
                   :->
                   [rec102740 :-> [rec102740 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102756]
             [(Rec
               [rec102757]
               [rec102757
                :->
                [rec102757
                 :->
                 [rec102757 :-> [rec102757 :-> rec102756]]]])
              :->
              [(Rec
                [rec102767]
                [rec102767
                 :->
                 [rec102767
                  :->
                  [rec102767 :-> [rec102767 :-> rec102756]]]])
               :->
               [(Rec
                 [rec102777]
                 [rec102777
                  :->
                  [rec102777
                   :->
                   [rec102777 :-> [rec102777 :-> rec102756]]]])
                :->
                [(Rec
                  [rec102787]
                  [rec102787
                   :->
                   [rec102787
                    :->
                    [rec102787 :-> [rec102787 :-> rec102756]]]])
                 :->
                 Int]]]])]
           :->
           [(Rec
             [rec102797]
             [rec102797
              :->
              [rec102797
               :->
               [rec102797
                :->
                [rec102797
                 :->
                 [rec102797
                  :->
                  [rec102797
                   :->
                   [rec102797 :-> [rec102797 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102813]
             [(Rec
               [rec102814]
               [rec102814
                :->
                [rec102814
                 :->
                 [rec102814
                  :->
                  [rec102814
                   :->
                   [rec102814 :-> [rec102814 :-> rec102813]]]]]])
              :->
              [(Rec
                [rec102828]
                [rec102828
                 :->
                 [rec102828
                  :->
                  [rec102828
                   :->
                   [rec102828
                    :->
                    [rec102828 :-> [rec102828 :-> rec102813]]]]]])
               :->
               Int]])]]
          [[(Rec
             [rec102842]
             [rec102842
              :->
              [rec102842
               :->
               [rec102842
                :->
                [rec102842
                 :->
                 [rec102842
                  :->
                  [rec102842
                   :->
                   [rec102842 :-> [rec102842 :-> Int]]]]]]]])
            :->
            (Rec
             [rec102858]
             [(Rec
               [rec102859]
               [rec102859
                :->
                [rec102859
                 :->
                 [rec102859
                  :->
                  [rec102859
                   :->
                   [rec102859 :-> [rec102859 :-> rec102858]]]]]])
              :->
              [(Rec
                [rec102873]
                [rec102873
                 :->
                 [rec102873
                  :->
                  [rec102873
                   :->
                   [rec102873
                    :->
                    [rec102873 :-> [rec102873 :-> rec102858]]]]]])
               :->
               Int]])]
           :->
           [(Rec
             [rec102887]
             [rec102887
              :->
              [rec102887
               :->
               [rec102887
                :->
                [rec102887
                 :->
                 [rec102887
                  :->
                  [rec102887
                   :->
                   [rec102887 :-> [rec102887 :-> Int]]]]]]]])
            :->
            Int]]))))
      [(IFn
        [[(Rec
           [rec103769]
           [rec103769
            :->
            [rec103769
             :->
             [rec103769
              :->
              [rec103769
               :->
               [rec103769
                :->
                [rec103769
                 :->
                 [rec103769 :-> [rec103769 :-> Int]]]]]]]])
          :->
          (Rec
           [rec103785]
           [rec103785
            :->
            [rec103785
             :->
             [rec103785
              :->
              [rec103785
               :->
               [rec103785
                :->
                [rec103785
                 :->
                 [rec103785 :-> [rec103785 :-> Int]]]]]]]])]
         :->
         [(Rec
           [rec103802]
           [rec103802
            :->
            [rec103802
             :->
             [rec103802
              :->
              [rec103802
               :->
               [rec103802
                :->
                [rec103802
                 :->
                 [rec103802 :-> [rec103802 :-> Int]]]]]]]])
          :->
          (Rec
           [rec103818]
           [(Rec [rec103819] [rec103819 :-> rec103818])
            :->
            [(Rec [rec103823] [rec103823 :-> rec103818])
             :->
             [(Rec [rec103827] [rec103827 :-> rec103818])
              :->
              [(Rec [rec103831] [rec103831 :-> rec103818])
               :->
               [(Rec [rec103835] [rec103835 :-> rec103818])
                :->
                [(Rec [rec103839] [rec103839 :-> rec103818])
                 :->
                 [(Rec [rec103843] [rec103843 :-> rec103818])
                  :->
                  Int]]]]]]])]]
        [[(Rec
           [rec103847]
           [rec103847
            :->
            [rec103847
             :->
             [rec103847
              :->
              [rec103847
               :->
               [rec103847
                :->
                [rec103847
                 :->
                 [rec103847 :-> [rec103847 :-> Int]]]]]]]])
          :->
          (Rec
           [rec103863]
           [(Rec [rec103864] [rec103864 :-> rec103863])
            :->
            [(Rec [rec103868] [rec103868 :-> rec103863])
             :->
             [(Rec [rec103872] [rec103872 :-> rec103863])
              :->
              [(Rec [rec103876] [rec103876 :-> rec103863])
               :->
               [(Rec [rec103880] [rec103880 :-> rec103863])
                :->
                [(Rec [rec103884] [rec103884 :-> rec103863])
                 :->
                 [(Rec [rec103888] [rec103888 :-> rec103863])
                  :->
                  Int]]]]]]])]
         :->
         [(Rec
           [rec103892]
           [rec103892
            :->
            [rec103892
             :->
             [rec103892
              :->
              [rec103892
               :->
               [rec103892
                :->
                [rec103892
                 :->
                 [rec103892 :-> [rec103892 :-> Int]]]]]]]])
          :->
          (Rec
           [rec103908]
           [(Rec [rec103909] [rec103909 :-> [rec103909 :-> rec103908]])
            :->
            [(Rec
              [rec103915]
              [rec103915 :-> [rec103915 :-> rec103908]])
             :->
             [(Rec
               [rec103921]
               [rec103921 :-> [rec103921 :-> rec103908]])
              :->
              [(Rec
                [rec103927]
                [rec103927 :-> [rec103927 :-> rec103908]])
               :->
               [(Rec
                 [rec103933]
                 [rec103933 :-> [rec103933 :-> rec103908]])
                :->
                [(Rec
                  [rec103939]
                  [rec103939 :-> [rec103939 :-> rec103908]])
                 :->
                 Int]]]]]])]]
        [[(Rec
           [rec103945]
           [rec103945
            :->
            [rec103945
             :->
             [rec103945
              :->
              [rec103945
               :->
               [rec103945
                :->
                [rec103945
                 :->
                 [rec103945 :-> [rec103945 :-> Int]]]]]]]])
          :->
          (Rec
           [rec103961]
           [(Rec [rec103962] [rec103962 :-> [rec103962 :-> rec103961]])
            :->
            [(Rec
              [rec103968]
              [rec103968 :-> [rec103968 :-> rec103961]])
             :->
             [(Rec
               [rec103974]
               [rec103974 :-> [rec103974 :-> rec103961]])
              :->
              [(Rec
                [rec103980]
                [rec103980 :-> [rec103980 :-> rec103961]])
               :->
               [(Rec
                 [rec103986]
                 [rec103986 :-> [rec103986 :-> rec103961]])
                :->
                [(Rec
                  [rec103992]
                  [rec103992 :-> [rec103992 :-> rec103961]])
                 :->
                 Int]]]]]])]
         :->
         [(Rec
           [rec103998]
           [rec103998
            :->
            [rec103998
             :->
             [rec103998
              :->
              [rec103998
               :->
               [rec103998
                :->
                [rec103998
                 :->
                 [rec103998 :-> [rec103998 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104014]
           [(Rec
             [rec104015]
             [rec104015 :-> [rec104015 :-> [rec104015 :-> rec104014]]])
            :->
            [(Rec
              [rec104023]
              [rec104023
               :->
               [rec104023 :-> [rec104023 :-> rec104014]]])
             :->
             [(Rec
               [rec104031]
               [rec104031
                :->
                [rec104031 :-> [rec104031 :-> rec104014]]])
              :->
              [(Rec
                [rec104039]
                [rec104039
                 :->
                 [rec104039 :-> [rec104039 :-> rec104014]]])
               :->
               [(Rec
                 [rec104047]
                 [rec104047
                  :->
                  [rec104047 :-> [rec104047 :-> rec104014]]])
                :->
                Int]]]]])]]
        [[(Rec
           [rec104055]
           [rec104055
            :->
            [rec104055
             :->
             [rec104055
              :->
              [rec104055
               :->
               [rec104055
                :->
                [rec104055
                 :->
                 [rec104055 :-> [rec104055 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104071]
           [(Rec
             [rec104072]
             [rec104072 :-> [rec104072 :-> [rec104072 :-> rec104071]]])
            :->
            [(Rec
              [rec104080]
              [rec104080
               :->
               [rec104080 :-> [rec104080 :-> rec104071]]])
             :->
             [(Rec
               [rec104088]
               [rec104088
                :->
                [rec104088 :-> [rec104088 :-> rec104071]]])
              :->
              [(Rec
                [rec104096]
                [rec104096
                 :->
                 [rec104096 :-> [rec104096 :-> rec104071]]])
               :->
               [(Rec
                 [rec104104]
                 [rec104104
                  :->
                  [rec104104 :-> [rec104104 :-> rec104071]]])
                :->
                Int]]]]])]
         :->
         [(Rec
           [rec104112]
           [rec104112
            :->
            [rec104112
             :->
             [rec104112
              :->
              [rec104112
               :->
               [rec104112
                :->
                [rec104112
                 :->
                 [rec104112 :-> [rec104112 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104128]
           [(Rec
             [rec104129]
             [rec104129
              :->
              [rec104129
               :->
               [rec104129 :-> [rec104129 :-> rec104128]]]])
            :->
            [(Rec
              [rec104139]
              [rec104139
               :->
               [rec104139
                :->
                [rec104139 :-> [rec104139 :-> rec104128]]]])
             :->
             [(Rec
               [rec104149]
               [rec104149
                :->
                [rec104149
                 :->
                 [rec104149 :-> [rec104149 :-> rec104128]]]])
              :->
              [(Rec
                [rec104159]
                [rec104159
                 :->
                 [rec104159
                  :->
                  [rec104159 :-> [rec104159 :-> rec104128]]]])
               :->
               Int]]]])]]
        [[(Rec
           [rec104169]
           [rec104169
            :->
            [rec104169
             :->
             [rec104169
              :->
              [rec104169
               :->
               [rec104169
                :->
                [rec104169
                 :->
                 [rec104169 :-> [rec104169 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104185]
           [(Rec
             [rec104186]
             [rec104186
              :->
              [rec104186
               :->
               [rec104186 :-> [rec104186 :-> rec104185]]]])
            :->
            [(Rec
              [rec104196]
              [rec104196
               :->
               [rec104196
                :->
                [rec104196 :-> [rec104196 :-> rec104185]]]])
             :->
             [(Rec
               [rec104206]
               [rec104206
                :->
                [rec104206
                 :->
                 [rec104206 :-> [rec104206 :-> rec104185]]]])
              :->
              [(Rec
                [rec104216]
                [rec104216
                 :->
                 [rec104216
                  :->
                  [rec104216 :-> [rec104216 :-> rec104185]]]])
               :->
               Int]]]])]
         :->
         [(Rec
           [rec104226]
           [rec104226
            :->
            [rec104226
             :->
             [rec104226
              :->
              [rec104226
               :->
               [rec104226
                :->
                [rec104226
                 :->
                 [rec104226 :-> [rec104226 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104242]
           [(Rec
             [rec104243]
             [rec104243
              :->
              [rec104243
               :->
               [rec104243
                :->
                [rec104243 :-> [rec104243 :-> rec104242]]]]])
            :->
            [(Rec
              [rec104255]
              [rec104255
               :->
               [rec104255
                :->
                [rec104255
                 :->
                 [rec104255 :-> [rec104255 :-> rec104242]]]]])
             :->
             [(Rec
               [rec104267]
               [rec104267
                :->
                [rec104267
                 :->
                 [rec104267
                  :->
                  [rec104267 :-> [rec104267 :-> rec104242]]]]])
              :->
              Int]]])]]
        [[(Rec
           [rec104279]
           [rec104279
            :->
            [rec104279
             :->
             [rec104279
              :->
              [rec104279
               :->
               [rec104279
                :->
                [rec104279
                 :->
                 [rec104279 :-> [rec104279 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104295]
           [(Rec
             [rec104296]
             [rec104296
              :->
              [rec104296
               :->
               [rec104296
                :->
                [rec104296 :-> [rec104296 :-> rec104295]]]]])
            :->
            [(Rec
              [rec104308]
              [rec104308
               :->
               [rec104308
                :->
                [rec104308
                 :->
                 [rec104308 :-> [rec104308 :-> rec104295]]]]])
             :->
             [(Rec
               [rec104320]
               [rec104320
                :->
                [rec104320
                 :->
                 [rec104320
                  :->
                  [rec104320 :-> [rec104320 :-> rec104295]]]]])
              :->
              Int]]])]
         :->
         [(Rec
           [rec104332]
           [rec104332
            :->
            [rec104332
             :->
             [rec104332
              :->
              [rec104332
               :->
               [rec104332
                :->
                [rec104332
                 :->
                 [rec104332 :-> [rec104332 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104348]
           [(Rec
             [rec104349]
             [rec104349
              :->
              [rec104349
               :->
               [rec104349
                :->
                [rec104349
                 :->
                 [rec104349 :-> [rec104349 :-> rec104348]]]]]])
            :->
            [(Rec
              [rec104363]
              [rec104363
               :->
               [rec104363
                :->
                [rec104363
                 :->
                 [rec104363
                  :->
                  [rec104363 :-> [rec104363 :-> rec104348]]]]]])
             :->
             Int]])]]
        [[(Rec
           [rec104377]
           [rec104377
            :->
            [rec104377
             :->
             [rec104377
              :->
              [rec104377
               :->
               [rec104377
                :->
                [rec104377
                 :->
                 [rec104377 :-> [rec104377 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104393]
           [(Rec
             [rec104394]
             [rec104394
              :->
              [rec104394
               :->
               [rec104394
                :->
                [rec104394
                 :->
                 [rec104394 :-> [rec104394 :-> rec104393]]]]]])
            :->
            [(Rec
              [rec104408]
              [rec104408
               :->
               [rec104408
                :->
                [rec104408
                 :->
                 [rec104408
                  :->
                  [rec104408 :-> [rec104408 :-> rec104393]]]]]])
             :->
             Int]])]
         :->
         [(Rec
           [rec104422]
           [rec104422
            :->
            [rec104422
             :->
             [rec104422
              :->
              [rec104422
               :->
               [rec104422
                :->
                [rec104422
                 :->
                 [rec104422 :-> [rec104422 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104438]
           [(Rec
             [rec104439]
             [rec104439
              :->
              [rec104439
               :->
               [rec104439
                :->
                [rec104439
                 :->
                 [rec104439
                  :->
                  [rec104439 :-> [rec104439 :-> rec104438]]]]]]])
            :->
            Int])]]
        [[(Rec
           [rec104455]
           [rec104455
            :->
            [rec104455
             :->
             [rec104455
              :->
              [rec104455
               :->
               [rec104455
                :->
                [rec104455
                 :->
                 [rec104455 :-> [rec104455 :-> Int]]]]]]]])
          :->
          (Rec
           [rec104471]
           [(Rec
             [rec104472]
             [rec104472
              :->
              [rec104472
               :->
               [rec104472
                :->
                [rec104472
                 :->
                 [rec104472
                  :->
                  [rec104472 :-> [rec104472 :-> rec104471]]]]]]])
            :->
            Int])]
         :->
         [(Rec
           [rec104488]
           [rec104488
            :->
            [rec104488
             :->
             [rec104488
              :->
              [rec104488
               :->
               [rec104488
                :->
                [rec104488
                 :->
                 [rec104488 :-> [rec104488 :-> Int]]]]]]]])
          :->
          Int]])
       :->
       [(Rec
         [rec104505]
         [rec104505
          :->
          [rec104505
           :->
           [rec104505
            :->
            [rec104505
             :->
             [rec104505
              :->
              [rec104505 :-> [rec104505 :-> [rec104505 :-> Int]]]]]]]])
        :->
        Int]])
     (ann
      (fn [x] (pair x))
      (IFn
       [[(Rec
          [rec105435]
          [rec105435
           :->
           [rec105435
            :->
            [rec105435
             :->
             [rec105435
              :->
              [rec105435
               :->
               [rec105435
                :->
                [rec105435 :-> [rec105435 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105451]
          [rec105451
           :->
           [rec105451
            :->
            [rec105451
             :->
             [rec105451
              :->
              [rec105451
               :->
               [rec105451
                :->
                [rec105451 :-> [rec105451 :-> Int]]]]]]]])]
        :->
        [(Rec
          [rec105468]
          [rec105468
           :->
           [rec105468
            :->
            [rec105468
             :->
             [rec105468
              :->
              [rec105468
               :->
               [rec105468
                :->
                [rec105468 :-> [rec105468 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105484]
          [(Rec [rec105485] [rec105485 :-> rec105484])
           :->
           [(Rec [rec105489] [rec105489 :-> rec105484])
            :->
            [(Rec [rec105493] [rec105493 :-> rec105484])
             :->
             [(Rec [rec105497] [rec105497 :-> rec105484])
              :->
              [(Rec [rec105501] [rec105501 :-> rec105484])
               :->
               [(Rec [rec105505] [rec105505 :-> rec105484])
                :->
                [(Rec [rec105509] [rec105509 :-> rec105484])
                 :->
                 Int]]]]]]])]]
       [[(Rec
          [rec105513]
          [rec105513
           :->
           [rec105513
            :->
            [rec105513
             :->
             [rec105513
              :->
              [rec105513
               :->
               [rec105513
                :->
                [rec105513 :-> [rec105513 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105529]
          [(Rec [rec105530] [rec105530 :-> rec105529])
           :->
           [(Rec [rec105534] [rec105534 :-> rec105529])
            :->
            [(Rec [rec105538] [rec105538 :-> rec105529])
             :->
             [(Rec [rec105542] [rec105542 :-> rec105529])
              :->
              [(Rec [rec105546] [rec105546 :-> rec105529])
               :->
               [(Rec [rec105550] [rec105550 :-> rec105529])
                :->
                [(Rec [rec105554] [rec105554 :-> rec105529])
                 :->
                 Int]]]]]]])]
        :->
        [(Rec
          [rec105558]
          [rec105558
           :->
           [rec105558
            :->
            [rec105558
             :->
             [rec105558
              :->
              [rec105558
               :->
               [rec105558
                :->
                [rec105558 :-> [rec105558 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105574]
          [(Rec [rec105575] [rec105575 :-> [rec105575 :-> rec105574]])
           :->
           [(Rec [rec105581] [rec105581 :-> [rec105581 :-> rec105574]])
            :->
            [(Rec
              [rec105587]
              [rec105587 :-> [rec105587 :-> rec105574]])
             :->
             [(Rec
               [rec105593]
               [rec105593 :-> [rec105593 :-> rec105574]])
              :->
              [(Rec
                [rec105599]
                [rec105599 :-> [rec105599 :-> rec105574]])
               :->
               [(Rec
                 [rec105605]
                 [rec105605 :-> [rec105605 :-> rec105574]])
                :->
                Int]]]]]])]]
       [[(Rec
          [rec105611]
          [rec105611
           :->
           [rec105611
            :->
            [rec105611
             :->
             [rec105611
              :->
              [rec105611
               :->
               [rec105611
                :->
                [rec105611 :-> [rec105611 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105627]
          [(Rec [rec105628] [rec105628 :-> [rec105628 :-> rec105627]])
           :->
           [(Rec [rec105634] [rec105634 :-> [rec105634 :-> rec105627]])
            :->
            [(Rec
              [rec105640]
              [rec105640 :-> [rec105640 :-> rec105627]])
             :->
             [(Rec
               [rec105646]
               [rec105646 :-> [rec105646 :-> rec105627]])
              :->
              [(Rec
                [rec105652]
                [rec105652 :-> [rec105652 :-> rec105627]])
               :->
               [(Rec
                 [rec105658]
                 [rec105658 :-> [rec105658 :-> rec105627]])
                :->
                Int]]]]]])]
        :->
        [(Rec
          [rec105664]
          [rec105664
           :->
           [rec105664
            :->
            [rec105664
             :->
             [rec105664
              :->
              [rec105664
               :->
               [rec105664
                :->
                [rec105664 :-> [rec105664 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105680]
          [(Rec
            [rec105681]
            [rec105681 :-> [rec105681 :-> [rec105681 :-> rec105680]]])
           :->
           [(Rec
             [rec105689]
             [rec105689 :-> [rec105689 :-> [rec105689 :-> rec105680]]])
            :->
            [(Rec
              [rec105697]
              [rec105697
               :->
               [rec105697 :-> [rec105697 :-> rec105680]]])
             :->
             [(Rec
               [rec105705]
               [rec105705
                :->
                [rec105705 :-> [rec105705 :-> rec105680]]])
              :->
              [(Rec
                [rec105713]
                [rec105713
                 :->
                 [rec105713 :-> [rec105713 :-> rec105680]]])
               :->
               Int]]]]])]]
       [[(Rec
          [rec105721]
          [rec105721
           :->
           [rec105721
            :->
            [rec105721
             :->
             [rec105721
              :->
              [rec105721
               :->
               [rec105721
                :->
                [rec105721 :-> [rec105721 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105737]
          [(Rec
            [rec105738]
            [rec105738 :-> [rec105738 :-> [rec105738 :-> rec105737]]])
           :->
           [(Rec
             [rec105746]
             [rec105746 :-> [rec105746 :-> [rec105746 :-> rec105737]]])
            :->
            [(Rec
              [rec105754]
              [rec105754
               :->
               [rec105754 :-> [rec105754 :-> rec105737]]])
             :->
             [(Rec
               [rec105762]
               [rec105762
                :->
                [rec105762 :-> [rec105762 :-> rec105737]]])
              :->
              [(Rec
                [rec105770]
                [rec105770
                 :->
                 [rec105770 :-> [rec105770 :-> rec105737]]])
               :->
               Int]]]]])]
        :->
        [(Rec
          [rec105778]
          [rec105778
           :->
           [rec105778
            :->
            [rec105778
             :->
             [rec105778
              :->
              [rec105778
               :->
               [rec105778
                :->
                [rec105778 :-> [rec105778 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105794]
          [(Rec
            [rec105795]
            [rec105795
             :->
             [rec105795
              :->
              [rec105795 :-> [rec105795 :-> rec105794]]]])
           :->
           [(Rec
             [rec105805]
             [rec105805
              :->
              [rec105805
               :->
               [rec105805 :-> [rec105805 :-> rec105794]]]])
            :->
            [(Rec
              [rec105815]
              [rec105815
               :->
               [rec105815
                :->
                [rec105815 :-> [rec105815 :-> rec105794]]]])
             :->
             [(Rec
               [rec105825]
               [rec105825
                :->
                [rec105825
                 :->
                 [rec105825 :-> [rec105825 :-> rec105794]]]])
              :->
              Int]]]])]]
       [[(Rec
          [rec105835]
          [rec105835
           :->
           [rec105835
            :->
            [rec105835
             :->
             [rec105835
              :->
              [rec105835
               :->
               [rec105835
                :->
                [rec105835 :-> [rec105835 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105851]
          [(Rec
            [rec105852]
            [rec105852
             :->
             [rec105852
              :->
              [rec105852 :-> [rec105852 :-> rec105851]]]])
           :->
           [(Rec
             [rec105862]
             [rec105862
              :->
              [rec105862
               :->
               [rec105862 :-> [rec105862 :-> rec105851]]]])
            :->
            [(Rec
              [rec105872]
              [rec105872
               :->
               [rec105872
                :->
                [rec105872 :-> [rec105872 :-> rec105851]]]])
             :->
             [(Rec
               [rec105882]
               [rec105882
                :->
                [rec105882
                 :->
                 [rec105882 :-> [rec105882 :-> rec105851]]]])
              :->
              Int]]]])]
        :->
        [(Rec
          [rec105892]
          [rec105892
           :->
           [rec105892
            :->
            [rec105892
             :->
             [rec105892
              :->
              [rec105892
               :->
               [rec105892
                :->
                [rec105892 :-> [rec105892 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105908]
          [(Rec
            [rec105909]
            [rec105909
             :->
             [rec105909
              :->
              [rec105909
               :->
               [rec105909 :-> [rec105909 :-> rec105908]]]]])
           :->
           [(Rec
             [rec105921]
             [rec105921
              :->
              [rec105921
               :->
               [rec105921
                :->
                [rec105921 :-> [rec105921 :-> rec105908]]]]])
            :->
            [(Rec
              [rec105933]
              [rec105933
               :->
               [rec105933
                :->
                [rec105933
                 :->
                 [rec105933 :-> [rec105933 :-> rec105908]]]]])
             :->
             Int]]])]]
       [[(Rec
          [rec105945]
          [rec105945
           :->
           [rec105945
            :->
            [rec105945
             :->
             [rec105945
              :->
              [rec105945
               :->
               [rec105945
                :->
                [rec105945 :-> [rec105945 :-> Int]]]]]]]])
         :->
         (Rec
          [rec105961]
          [(Rec
            [rec105962]
            [rec105962
             :->
             [rec105962
              :->
              [rec105962
               :->
               [rec105962 :-> [rec105962 :-> rec105961]]]]])
           :->
           [(Rec
             [rec105974]
             [rec105974
              :->
              [rec105974
               :->
               [rec105974
                :->
                [rec105974 :-> [rec105974 :-> rec105961]]]]])
            :->
            [(Rec
              [rec105986]
              [rec105986
               :->
               [rec105986
                :->
                [rec105986
                 :->
                 [rec105986 :-> [rec105986 :-> rec105961]]]]])
             :->
             Int]]])]
        :->
        [(Rec
          [rec105998]
          [rec105998
           :->
           [rec105998
            :->
            [rec105998
             :->
             [rec105998
              :->
              [rec105998
               :->
               [rec105998
                :->
                [rec105998 :-> [rec105998 :-> Int]]]]]]]])
         :->
         (Rec
          [rec106014]
          [(Rec
            [rec106015]
            [rec106015
             :->
             [rec106015
              :->
              [rec106015
               :->
               [rec106015
                :->
                [rec106015 :-> [rec106015 :-> rec106014]]]]]])
           :->
           [(Rec
             [rec106029]
             [rec106029
              :->
              [rec106029
               :->
               [rec106029
                :->
                [rec106029
                 :->
                 [rec106029 :-> [rec106029 :-> rec106014]]]]]])
            :->
            Int]])]]
       [[(Rec
          [rec106043]
          [rec106043
           :->
           [rec106043
            :->
            [rec106043
             :->
             [rec106043
              :->
              [rec106043
               :->
               [rec106043
                :->
                [rec106043 :-> [rec106043 :-> Int]]]]]]]])
         :->
         (Rec
          [rec106059]
          [(Rec
            [rec106060]
            [rec106060
             :->
             [rec106060
              :->
              [rec106060
               :->
               [rec106060
                :->
                [rec106060 :-> [rec106060 :-> rec106059]]]]]])
           :->
           [(Rec
             [rec106074]
             [rec106074
              :->
              [rec106074
               :->
               [rec106074
                :->
                [rec106074
                 :->
                 [rec106074 :-> [rec106074 :-> rec106059]]]]]])
            :->
            Int]])]
        :->
        [(Rec
          [rec106088]
          [rec106088
           :->
           [rec106088
            :->
            [rec106088
             :->
             [rec106088
              :->
              [rec106088
               :->
               [rec106088
                :->
                [rec106088 :-> [rec106088 :-> Int]]]]]]]])
         :->
         (Rec
          [rec106104]
          [(Rec
            [rec106105]
            [rec106105
             :->
             [rec106105
              :->
              [rec106105
               :->
               [rec106105
                :->
                [rec106105
                 :->
                 [rec106105 :-> [rec106105 :-> rec106104]]]]]]])
           :->
           Int])]]
       [[(Rec
          [rec106121]
          [rec106121
           :->
           [rec106121
            :->
            [rec106121
             :->
             [rec106121
              :->
              [rec106121
               :->
               [rec106121
                :->
                [rec106121 :-> [rec106121 :-> Int]]]]]]]])
         :->
         (Rec
          [rec106137]
          [(Rec
            [rec106138]
            [rec106138
             :->
             [rec106138
              :->
              [rec106138
               :->
               [rec106138
                :->
                [rec106138
                 :->
                 [rec106138 :-> [rec106138 :-> rec106137]]]]]]])
           :->
           Int])]
        :->
        [(Rec
          [rec106154]
          [rec106154
           :->
           [rec106154
            :->
            [rec106154
             :->
             [rec106154
              :->
              [rec106154
               :->
               [rec106154
                :->
                [rec106154 :-> [rec106154 :-> Int]]]]]]]])
         :->
         Int]]))))
   [(IFn
     [[(Rec
        [rec106260]
        [rec106260
         :->
         [rec106260
          :->
          [rec106260
           :->
           [rec106260
            :->
            [rec106260
             :->
             [rec106260 :-> [rec106260 :-> [rec106260 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106276]
        [rec106276
         :->
         [rec106276
          :->
          [rec106276
           :->
           [rec106276
            :->
            [rec106276
             :->
             [rec106276 :-> [rec106276 :-> [rec106276 :-> Int]]]]]]]])]
      :->
      [(Rec
        [rec106293]
        [rec106293
         :->
         [rec106293
          :->
          [rec106293
           :->
           [rec106293
            :->
            [rec106293
             :->
             [rec106293 :-> [rec106293 :-> [rec106293 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106309]
        [(Rec [rec106310] [rec106310 :-> rec106309])
         :->
         [(Rec [rec106314] [rec106314 :-> rec106309])
          :->
          [(Rec [rec106318] [rec106318 :-> rec106309])
           :->
           [(Rec [rec106322] [rec106322 :-> rec106309])
            :->
            [(Rec [rec106326] [rec106326 :-> rec106309])
             :->
             [(Rec [rec106330] [rec106330 :-> rec106309])
              :->
              [(Rec [rec106334] [rec106334 :-> rec106309])
               :->
               Int]]]]]]])]]
     [[(Rec
        [rec106338]
        [rec106338
         :->
         [rec106338
          :->
          [rec106338
           :->
           [rec106338
            :->
            [rec106338
             :->
             [rec106338 :-> [rec106338 :-> [rec106338 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106354]
        [(Rec [rec106355] [rec106355 :-> rec106354])
         :->
         [(Rec [rec106359] [rec106359 :-> rec106354])
          :->
          [(Rec [rec106363] [rec106363 :-> rec106354])
           :->
           [(Rec [rec106367] [rec106367 :-> rec106354])
            :->
            [(Rec [rec106371] [rec106371 :-> rec106354])
             :->
             [(Rec [rec106375] [rec106375 :-> rec106354])
              :->
              [(Rec [rec106379] [rec106379 :-> rec106354])
               :->
               Int]]]]]]])]
      :->
      [(Rec
        [rec106383]
        [rec106383
         :->
         [rec106383
          :->
          [rec106383
           :->
           [rec106383
            :->
            [rec106383
             :->
             [rec106383 :-> [rec106383 :-> [rec106383 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106399]
        [(Rec [rec106400] [rec106400 :-> [rec106400 :-> rec106399]])
         :->
         [(Rec [rec106406] [rec106406 :-> [rec106406 :-> rec106399]])
          :->
          [(Rec [rec106412] [rec106412 :-> [rec106412 :-> rec106399]])
           :->
           [(Rec [rec106418] [rec106418 :-> [rec106418 :-> rec106399]])
            :->
            [(Rec
              [rec106424]
              [rec106424 :-> [rec106424 :-> rec106399]])
             :->
             [(Rec
               [rec106430]
               [rec106430 :-> [rec106430 :-> rec106399]])
              :->
              Int]]]]]])]]
     [[(Rec
        [rec106436]
        [rec106436
         :->
         [rec106436
          :->
          [rec106436
           :->
           [rec106436
            :->
            [rec106436
             :->
             [rec106436 :-> [rec106436 :-> [rec106436 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106452]
        [(Rec [rec106453] [rec106453 :-> [rec106453 :-> rec106452]])
         :->
         [(Rec [rec106459] [rec106459 :-> [rec106459 :-> rec106452]])
          :->
          [(Rec [rec106465] [rec106465 :-> [rec106465 :-> rec106452]])
           :->
           [(Rec [rec106471] [rec106471 :-> [rec106471 :-> rec106452]])
            :->
            [(Rec
              [rec106477]
              [rec106477 :-> [rec106477 :-> rec106452]])
             :->
             [(Rec
               [rec106483]
               [rec106483 :-> [rec106483 :-> rec106452]])
              :->
              Int]]]]]])]
      :->
      [(Rec
        [rec106489]
        [rec106489
         :->
         [rec106489
          :->
          [rec106489
           :->
           [rec106489
            :->
            [rec106489
             :->
             [rec106489 :-> [rec106489 :-> [rec106489 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106505]
        [(Rec
          [rec106506]
          [rec106506 :-> [rec106506 :-> [rec106506 :-> rec106505]]])
         :->
         [(Rec
           [rec106514]
           [rec106514 :-> [rec106514 :-> [rec106514 :-> rec106505]]])
          :->
          [(Rec
            [rec106522]
            [rec106522 :-> [rec106522 :-> [rec106522 :-> rec106505]]])
           :->
           [(Rec
             [rec106530]
             [rec106530 :-> [rec106530 :-> [rec106530 :-> rec106505]]])
            :->
            [(Rec
              [rec106538]
              [rec106538
               :->
               [rec106538 :-> [rec106538 :-> rec106505]]])
             :->
             Int]]]]])]]
     [[(Rec
        [rec106546]
        [rec106546
         :->
         [rec106546
          :->
          [rec106546
           :->
           [rec106546
            :->
            [rec106546
             :->
             [rec106546 :-> [rec106546 :-> [rec106546 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106562]
        [(Rec
          [rec106563]
          [rec106563 :-> [rec106563 :-> [rec106563 :-> rec106562]]])
         :->
         [(Rec
           [rec106571]
           [rec106571 :-> [rec106571 :-> [rec106571 :-> rec106562]]])
          :->
          [(Rec
            [rec106579]
            [rec106579 :-> [rec106579 :-> [rec106579 :-> rec106562]]])
           :->
           [(Rec
             [rec106587]
             [rec106587 :-> [rec106587 :-> [rec106587 :-> rec106562]]])
            :->
            [(Rec
              [rec106595]
              [rec106595
               :->
               [rec106595 :-> [rec106595 :-> rec106562]]])
             :->
             Int]]]]])]
      :->
      [(Rec
        [rec106603]
        [rec106603
         :->
         [rec106603
          :->
          [rec106603
           :->
           [rec106603
            :->
            [rec106603
             :->
             [rec106603 :-> [rec106603 :-> [rec106603 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106619]
        [(Rec
          [rec106620]
          [rec106620
           :->
           [rec106620 :-> [rec106620 :-> [rec106620 :-> rec106619]]]])
         :->
         [(Rec
           [rec106630]
           [rec106630
            :->
            [rec106630 :-> [rec106630 :-> [rec106630 :-> rec106619]]]])
          :->
          [(Rec
            [rec106640]
            [rec106640
             :->
             [rec106640
              :->
              [rec106640 :-> [rec106640 :-> rec106619]]]])
           :->
           [(Rec
             [rec106650]
             [rec106650
              :->
              [rec106650
               :->
               [rec106650 :-> [rec106650 :-> rec106619]]]])
            :->
            Int]]]])]]
     [[(Rec
        [rec106660]
        [rec106660
         :->
         [rec106660
          :->
          [rec106660
           :->
           [rec106660
            :->
            [rec106660
             :->
             [rec106660 :-> [rec106660 :-> [rec106660 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106676]
        [(Rec
          [rec106677]
          [rec106677
           :->
           [rec106677 :-> [rec106677 :-> [rec106677 :-> rec106676]]]])
         :->
         [(Rec
           [rec106687]
           [rec106687
            :->
            [rec106687 :-> [rec106687 :-> [rec106687 :-> rec106676]]]])
          :->
          [(Rec
            [rec106697]
            [rec106697
             :->
             [rec106697
              :->
              [rec106697 :-> [rec106697 :-> rec106676]]]])
           :->
           [(Rec
             [rec106707]
             [rec106707
              :->
              [rec106707
               :->
               [rec106707 :-> [rec106707 :-> rec106676]]]])
            :->
            Int]]]])]
      :->
      [(Rec
        [rec106717]
        [rec106717
         :->
         [rec106717
          :->
          [rec106717
           :->
           [rec106717
            :->
            [rec106717
             :->
             [rec106717 :-> [rec106717 :-> [rec106717 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106733]
        [(Rec
          [rec106734]
          [rec106734
           :->
           [rec106734
            :->
            [rec106734
             :->
             [rec106734 :-> [rec106734 :-> rec106733]]]]])
         :->
         [(Rec
           [rec106746]
           [rec106746
            :->
            [rec106746
             :->
             [rec106746
              :->
              [rec106746 :-> [rec106746 :-> rec106733]]]]])
          :->
          [(Rec
            [rec106758]
            [rec106758
             :->
             [rec106758
              :->
              [rec106758
               :->
               [rec106758 :-> [rec106758 :-> rec106733]]]]])
           :->
           Int]]])]]
     [[(Rec
        [rec106770]
        [rec106770
         :->
         [rec106770
          :->
          [rec106770
           :->
           [rec106770
            :->
            [rec106770
             :->
             [rec106770 :-> [rec106770 :-> [rec106770 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106786]
        [(Rec
          [rec106787]
          [rec106787
           :->
           [rec106787
            :->
            [rec106787
             :->
             [rec106787 :-> [rec106787 :-> rec106786]]]]])
         :->
         [(Rec
           [rec106799]
           [rec106799
            :->
            [rec106799
             :->
             [rec106799
              :->
              [rec106799 :-> [rec106799 :-> rec106786]]]]])
          :->
          [(Rec
            [rec106811]
            [rec106811
             :->
             [rec106811
              :->
              [rec106811
               :->
               [rec106811 :-> [rec106811 :-> rec106786]]]]])
           :->
           Int]]])]
      :->
      [(Rec
        [rec106823]
        [rec106823
         :->
         [rec106823
          :->
          [rec106823
           :->
           [rec106823
            :->
            [rec106823
             :->
             [rec106823 :-> [rec106823 :-> [rec106823 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106839]
        [(Rec
          [rec106840]
          [rec106840
           :->
           [rec106840
            :->
            [rec106840
             :->
             [rec106840
              :->
              [rec106840 :-> [rec106840 :-> rec106839]]]]]])
         :->
         [(Rec
           [rec106854]
           [rec106854
            :->
            [rec106854
             :->
             [rec106854
              :->
              [rec106854
               :->
               [rec106854 :-> [rec106854 :-> rec106839]]]]]])
          :->
          Int]])]]
     [[(Rec
        [rec106868]
        [rec106868
         :->
         [rec106868
          :->
          [rec106868
           :->
           [rec106868
            :->
            [rec106868
             :->
             [rec106868 :-> [rec106868 :-> [rec106868 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106884]
        [(Rec
          [rec106885]
          [rec106885
           :->
           [rec106885
            :->
            [rec106885
             :->
             [rec106885
              :->
              [rec106885 :-> [rec106885 :-> rec106884]]]]]])
         :->
         [(Rec
           [rec106899]
           [rec106899
            :->
            [rec106899
             :->
             [rec106899
              :->
              [rec106899
               :->
               [rec106899 :-> [rec106899 :-> rec106884]]]]]])
          :->
          Int]])]
      :->
      [(Rec
        [rec106913]
        [rec106913
         :->
         [rec106913
          :->
          [rec106913
           :->
           [rec106913
            :->
            [rec106913
             :->
             [rec106913 :-> [rec106913 :-> [rec106913 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106929]
        [(Rec
          [rec106930]
          [rec106930
           :->
           [rec106930
            :->
            [rec106930
             :->
             [rec106930
              :->
              [rec106930
               :->
               [rec106930 :-> [rec106930 :-> rec106929]]]]]]])
         :->
         Int])]]
     [[(Rec
        [rec106946]
        [rec106946
         :->
         [rec106946
          :->
          [rec106946
           :->
           [rec106946
            :->
            [rec106946
             :->
             [rec106946 :-> [rec106946 :-> [rec106946 :-> Int]]]]]]]])
       :->
       (Rec
        [rec106962]
        [(Rec
          [rec106963]
          [rec106963
           :->
           [rec106963
            :->
            [rec106963
             :->
             [rec106963
              :->
              [rec106963
               :->
               [rec106963 :-> [rec106963 :-> rec106962]]]]]]])
         :->
         Int])]
      :->
      [(Rec
        [rec106979]
        [rec106979
         :->
         [rec106979
          :->
          [rec106979
           :->
           [rec106979
            :->
            [rec106979
             :->
             [rec106979 :-> [rec106979 :-> [rec106979 :-> Int]]]]]]]])
       :->
       Int]])
    :->
    [(Rec
      [rec106996]
      [rec106996
       :->
       [rec106996
        :->
        [rec106996
         :->
         [rec106996
          :->
          [rec106996
           :->
           [rec106996 :-> [rec106996 :-> [rec106996 :-> Int]]]]]]]])
     :->
     Int]])
  (ann
   (fn
    [f]
    (ann
     (fn [x] ((f x) x))
     (EnclosingFnCase
      0
      [[(Rec
         [rec107101]
         [rec107101
          :->
          [rec107101
           :->
           [rec107101
            :->
            [rec107101
             :->
             [rec107101
              :->
              [rec107101 :-> [rec107101 :-> [rec107101 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107117]
         [rec107117
          :->
          [rec107117
           :->
           [rec107117
            :->
            [rec107117
             :->
             [rec107117
              :->
              [rec107117
               :->
               [rec107117 :-> [rec107117 :-> Int]]]]]]]])]
       :->
       Any]
      [(Rec
        [rec107136]
        [rec107136
         :->
         [rec107136
          :->
          [rec107136
           :->
           [rec107136
            :->
            [rec107136
             :->
             [rec107136 :-> [rec107136 :-> [rec107136 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107152]
        [(Rec [rec107153] [rec107153 :-> rec107152])
         :->
         [(Rec [rec107157] [rec107157 :-> rec107152])
          :->
          [(Rec [rec107161] [rec107161 :-> rec107152])
           :->
           [(Rec [rec107165] [rec107165 :-> rec107152])
            :->
            [(Rec [rec107169] [rec107169 :-> rec107152])
             :->
             [(Rec [rec107173] [rec107173 :-> rec107152])
              :->
              [(Rec [rec107177] [rec107177 :-> rec107152])
               :->
               Int]]]]]]])]
      [[(Rec
         [rec107190]
         [rec107190
          :->
          [rec107190
           :->
           [rec107190
            :->
            [rec107190
             :->
             [rec107190
              :->
              [rec107190 :-> [rec107190 :-> [rec107190 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107206]
         [(Rec [rec107207] [rec107207 :-> rec107206])
          :->
          [(Rec [rec107211] [rec107211 :-> rec107206])
           :->
           [(Rec [rec107215] [rec107215 :-> rec107206])
            :->
            [(Rec [rec107219] [rec107219 :-> rec107206])
             :->
             [(Rec [rec107223] [rec107223 :-> rec107206])
              :->
              [(Rec [rec107227] [rec107227 :-> rec107206])
               :->
               [(Rec [rec107231] [rec107231 :-> rec107206])
                :->
                Int]]]]]]])]
       :->
       Any]
      [(Rec
        [rec107244]
        [rec107244
         :->
         [rec107244
          :->
          [rec107244
           :->
           [rec107244
            :->
            [rec107244
             :->
             [rec107244 :-> [rec107244 :-> [rec107244 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107260]
        [(Rec [rec107261] [rec107261 :-> [rec107261 :-> rec107260]])
         :->
         [(Rec [rec107267] [rec107267 :-> [rec107267 :-> rec107260]])
          :->
          [(Rec [rec107273] [rec107273 :-> [rec107273 :-> rec107260]])
           :->
           [(Rec [rec107279] [rec107279 :-> [rec107279 :-> rec107260]])
            :->
            [(Rec
              [rec107285]
              [rec107285 :-> [rec107285 :-> rec107260]])
             :->
             [(Rec
               [rec107291]
               [rec107291 :-> [rec107291 :-> rec107260]])
              :->
              Int]]]]]])]
      [[(Rec
         [rec107305]
         [rec107305
          :->
          [rec107305
           :->
           [rec107305
            :->
            [rec107305
             :->
             [rec107305
              :->
              [rec107305 :-> [rec107305 :-> [rec107305 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107321]
         [(Rec [rec107322] [rec107322 :-> [rec107322 :-> rec107321]])
          :->
          [(Rec [rec107328] [rec107328 :-> [rec107328 :-> rec107321]])
           :->
           [(Rec [rec107334] [rec107334 :-> [rec107334 :-> rec107321]])
            :->
            [(Rec
              [rec107340]
              [rec107340 :-> [rec107340 :-> rec107321]])
             :->
             [(Rec
               [rec107346]
               [rec107346 :-> [rec107346 :-> rec107321]])
              :->
              [(Rec
                [rec107352]
                [rec107352 :-> [rec107352 :-> rec107321]])
               :->
               Int]]]]]])]
       :->
       Any]
      [(Rec
        [rec107366]
        [rec107366
         :->
         [rec107366
          :->
          [rec107366
           :->
           [rec107366
            :->
            [rec107366
             :->
             [rec107366 :-> [rec107366 :-> [rec107366 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107382]
        [(Rec
          [rec107383]
          [rec107383 :-> [rec107383 :-> [rec107383 :-> rec107382]]])
         :->
         [(Rec
           [rec107391]
           [rec107391 :-> [rec107391 :-> [rec107391 :-> rec107382]]])
          :->
          [(Rec
            [rec107399]
            [rec107399 :-> [rec107399 :-> [rec107399 :-> rec107382]]])
           :->
           [(Rec
             [rec107407]
             [rec107407 :-> [rec107407 :-> [rec107407 :-> rec107382]]])
            :->
            [(Rec
              [rec107415]
              [rec107415
               :->
               [rec107415 :-> [rec107415 :-> rec107382]]])
             :->
             Int]]]]])]
      [[(Rec
         [rec107430]
         [rec107430
          :->
          [rec107430
           :->
           [rec107430
            :->
            [rec107430
             :->
             [rec107430
              :->
              [rec107430 :-> [rec107430 :-> [rec107430 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107446]
         [(Rec
           [rec107447]
           [rec107447 :-> [rec107447 :-> [rec107447 :-> rec107446]]])
          :->
          [(Rec
            [rec107455]
            [rec107455 :-> [rec107455 :-> [rec107455 :-> rec107446]]])
           :->
           [(Rec
             [rec107463]
             [rec107463 :-> [rec107463 :-> [rec107463 :-> rec107446]]])
            :->
            [(Rec
              [rec107471]
              [rec107471
               :->
               [rec107471 :-> [rec107471 :-> rec107446]]])
             :->
             [(Rec
               [rec107479]
               [rec107479
                :->
                [rec107479 :-> [rec107479 :-> rec107446]]])
              :->
              Int]]]]])]
       :->
       Any]
      [(Rec
        [rec107494]
        [rec107494
         :->
         [rec107494
          :->
          [rec107494
           :->
           [rec107494
            :->
            [rec107494
             :->
             [rec107494 :-> [rec107494 :-> [rec107494 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107510]
        [(Rec
          [rec107511]
          [rec107511
           :->
           [rec107511 :-> [rec107511 :-> [rec107511 :-> rec107510]]]])
         :->
         [(Rec
           [rec107521]
           [rec107521
            :->
            [rec107521 :-> [rec107521 :-> [rec107521 :-> rec107510]]]])
          :->
          [(Rec
            [rec107531]
            [rec107531
             :->
             [rec107531
              :->
              [rec107531 :-> [rec107531 :-> rec107510]]]])
           :->
           [(Rec
             [rec107541]
             [rec107541
              :->
              [rec107541
               :->
               [rec107541 :-> [rec107541 :-> rec107510]]]])
            :->
            Int]]]])]
      [[(Rec
         [rec107557]
         [rec107557
          :->
          [rec107557
           :->
           [rec107557
            :->
            [rec107557
             :->
             [rec107557
              :->
              [rec107557 :-> [rec107557 :-> [rec107557 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107573]
         [(Rec
           [rec107574]
           [rec107574
            :->
            [rec107574 :-> [rec107574 :-> [rec107574 :-> rec107573]]]])
          :->
          [(Rec
            [rec107584]
            [rec107584
             :->
             [rec107584
              :->
              [rec107584 :-> [rec107584 :-> rec107573]]]])
           :->
           [(Rec
             [rec107594]
             [rec107594
              :->
              [rec107594
               :->
               [rec107594 :-> [rec107594 :-> rec107573]]]])
            :->
            [(Rec
              [rec107604]
              [rec107604
               :->
               [rec107604
                :->
                [rec107604 :-> [rec107604 :-> rec107573]]]])
             :->
             Int]]]])]
       :->
       Any]
      [(Rec
        [rec107620]
        [rec107620
         :->
         [rec107620
          :->
          [rec107620
           :->
           [rec107620
            :->
            [rec107620
             :->
             [rec107620 :-> [rec107620 :-> [rec107620 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107636]
        [(Rec
          [rec107637]
          [rec107637
           :->
           [rec107637
            :->
            [rec107637
             :->
             [rec107637 :-> [rec107637 :-> rec107636]]]]])
         :->
         [(Rec
           [rec107649]
           [rec107649
            :->
            [rec107649
             :->
             [rec107649
              :->
              [rec107649 :-> [rec107649 :-> rec107636]]]]])
          :->
          [(Rec
            [rec107661]
            [rec107661
             :->
             [rec107661
              :->
              [rec107661
               :->
               [rec107661 :-> [rec107661 :-> rec107636]]]]])
           :->
           Int]]])]
      [[(Rec
         [rec107678]
         [rec107678
          :->
          [rec107678
           :->
           [rec107678
            :->
            [rec107678
             :->
             [rec107678
              :->
              [rec107678 :-> [rec107678 :-> [rec107678 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107694]
         [(Rec
           [rec107695]
           [rec107695
            :->
            [rec107695
             :->
             [rec107695
              :->
              [rec107695 :-> [rec107695 :-> rec107694]]]]])
          :->
          [(Rec
            [rec107707]
            [rec107707
             :->
             [rec107707
              :->
              [rec107707
               :->
               [rec107707 :-> [rec107707 :-> rec107694]]]]])
           :->
           [(Rec
             [rec107719]
             [rec107719
              :->
              [rec107719
               :->
               [rec107719
                :->
                [rec107719 :-> [rec107719 :-> rec107694]]]]])
            :->
            Int]]])]
       :->
       Any]
      [(Rec
        [rec107736]
        [rec107736
         :->
         [rec107736
          :->
          [rec107736
           :->
           [rec107736
            :->
            [rec107736
             :->
             [rec107736 :-> [rec107736 :-> [rec107736 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107752]
        [(Rec
          [rec107753]
          [rec107753
           :->
           [rec107753
            :->
            [rec107753
             :->
             [rec107753
              :->
              [rec107753 :-> [rec107753 :-> rec107752]]]]]])
         :->
         [(Rec
           [rec107767]
           [rec107767
            :->
            [rec107767
             :->
             [rec107767
              :->
              [rec107767
               :->
               [rec107767 :-> [rec107767 :-> rec107752]]]]]])
          :->
          Int]])]
      [[(Rec
         [rec107785]
         [rec107785
          :->
          [rec107785
           :->
           [rec107785
            :->
            [rec107785
             :->
             [rec107785
              :->
              [rec107785 :-> [rec107785 :-> [rec107785 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107801]
         [(Rec
           [rec107802]
           [rec107802
            :->
            [rec107802
             :->
             [rec107802
              :->
              [rec107802
               :->
               [rec107802 :-> [rec107802 :-> rec107801]]]]]])
          :->
          [(Rec
            [rec107816]
            [rec107816
             :->
             [rec107816
              :->
              [rec107816
               :->
               [rec107816
                :->
                [rec107816 :-> [rec107816 :-> rec107801]]]]]])
           :->
           Int]])]
       :->
       Any]
      [(Rec
        [rec107834]
        [rec107834
         :->
         [rec107834
          :->
          [rec107834
           :->
           [rec107834
            :->
            [rec107834
             :->
             [rec107834 :-> [rec107834 :-> [rec107834 :-> Int]]]]]]]])
       :->
       (Rec
        [rec107850]
        [(Rec
          [rec107851]
          [rec107851
           :->
           [rec107851
            :->
            [rec107851
             :->
             [rec107851
              :->
              [rec107851
               :->
               [rec107851 :-> [rec107851 :-> rec107850]]]]]]])
         :->
         Int])]
      [[(Rec
         [rec107870]
         [rec107870
          :->
          [rec107870
           :->
           [rec107870
            :->
            [rec107870
             :->
             [rec107870
              :->
              [rec107870 :-> [rec107870 :-> [rec107870 :-> Int]]]]]]]])
        :->
        (Rec
         [rec107886]
         [(Rec
           [rec107887]
           [rec107887
            :->
            [rec107887
             :->
             [rec107887
              :->
              [rec107887
               :->
               [rec107887
                :->
                [rec107887 :-> [rec107887 :-> rec107886]]]]]]])
          :->
          Int])]
       :->
       Any]
      [(Rec
        [rec107906]
        [rec107906
         :->
         [rec107906
          :->
          [rec107906
           :->
           [rec107906
            :->
            [rec107906
             :->
             [rec107906 :-> [rec107906 :-> [rec107906 :-> Int]]]]]]]])
       :->
       Int])))
   (IFn
    [[(Rec
       [rec107925]
       [rec107925
        :->
        [rec107925
         :->
         [rec107925
          :->
          [rec107925
           :->
           [rec107925
            :->
            [rec107925 :-> [rec107925 :-> [rec107925 :-> Int]]]]]]]])
      :->
      (Rec
       [rec107941]
       [rec107941
        :->
        [rec107941
         :->
         [rec107941
          :->
          [rec107941
           :->
           [rec107941
            :->
            [rec107941 :-> [rec107941 :-> [rec107941 :-> Int]]]]]]]])]
     :->
     [(Rec
       [rec107958]
       [rec107958
        :->
        [rec107958
         :->
         [rec107958
          :->
          [rec107958
           :->
           [rec107958
            :->
            [rec107958 :-> [rec107958 :-> [rec107958 :-> Int]]]]]]]])
      :->
      (Rec
       [rec107974]
       [(Rec [rec107975] [rec107975 :-> rec107974])
        :->
        [(Rec [rec107979] [rec107979 :-> rec107974])
         :->
         [(Rec [rec107983] [rec107983 :-> rec107974])
          :->
          [(Rec [rec107987] [rec107987 :-> rec107974])
           :->
           [(Rec [rec107991] [rec107991 :-> rec107974])
            :->
            [(Rec [rec107995] [rec107995 :-> rec107974])
             :->
             [(Rec [rec107999] [rec107999 :-> rec107974])
              :->
              Int]]]]]]])]]
    [[(Rec
       [rec108003]
       [rec108003
        :->
        [rec108003
         :->
         [rec108003
          :->
          [rec108003
           :->
           [rec108003
            :->
            [rec108003 :-> [rec108003 :-> [rec108003 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108019]
       [(Rec [rec108020] [rec108020 :-> rec108019])
        :->
        [(Rec [rec108024] [rec108024 :-> rec108019])
         :->
         [(Rec [rec108028] [rec108028 :-> rec108019])
          :->
          [(Rec [rec108032] [rec108032 :-> rec108019])
           :->
           [(Rec [rec108036] [rec108036 :-> rec108019])
            :->
            [(Rec [rec108040] [rec108040 :-> rec108019])
             :->
             [(Rec [rec108044] [rec108044 :-> rec108019])
              :->
              Int]]]]]]])]
     :->
     [(Rec
       [rec108048]
       [rec108048
        :->
        [rec108048
         :->
         [rec108048
          :->
          [rec108048
           :->
           [rec108048
            :->
            [rec108048 :-> [rec108048 :-> [rec108048 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108064]
       [(Rec [rec108065] [rec108065 :-> [rec108065 :-> rec108064]])
        :->
        [(Rec [rec108071] [rec108071 :-> [rec108071 :-> rec108064]])
         :->
         [(Rec [rec108077] [rec108077 :-> [rec108077 :-> rec108064]])
          :->
          [(Rec [rec108083] [rec108083 :-> [rec108083 :-> rec108064]])
           :->
           [(Rec [rec108089] [rec108089 :-> [rec108089 :-> rec108064]])
            :->
            [(Rec
              [rec108095]
              [rec108095 :-> [rec108095 :-> rec108064]])
             :->
             Int]]]]]])]]
    [[(Rec
       [rec108101]
       [rec108101
        :->
        [rec108101
         :->
         [rec108101
          :->
          [rec108101
           :->
           [rec108101
            :->
            [rec108101 :-> [rec108101 :-> [rec108101 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108117]
       [(Rec [rec108118] [rec108118 :-> [rec108118 :-> rec108117]])
        :->
        [(Rec [rec108124] [rec108124 :-> [rec108124 :-> rec108117]])
         :->
         [(Rec [rec108130] [rec108130 :-> [rec108130 :-> rec108117]])
          :->
          [(Rec [rec108136] [rec108136 :-> [rec108136 :-> rec108117]])
           :->
           [(Rec [rec108142] [rec108142 :-> [rec108142 :-> rec108117]])
            :->
            [(Rec
              [rec108148]
              [rec108148 :-> [rec108148 :-> rec108117]])
             :->
             Int]]]]]])]
     :->
     [(Rec
       [rec108154]
       [rec108154
        :->
        [rec108154
         :->
         [rec108154
          :->
          [rec108154
           :->
           [rec108154
            :->
            [rec108154 :-> [rec108154 :-> [rec108154 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108170]
       [(Rec
         [rec108171]
         [rec108171 :-> [rec108171 :-> [rec108171 :-> rec108170]]])
        :->
        [(Rec
          [rec108179]
          [rec108179 :-> [rec108179 :-> [rec108179 :-> rec108170]]])
         :->
         [(Rec
           [rec108187]
           [rec108187 :-> [rec108187 :-> [rec108187 :-> rec108170]]])
          :->
          [(Rec
            [rec108195]
            [rec108195 :-> [rec108195 :-> [rec108195 :-> rec108170]]])
           :->
           [(Rec
             [rec108203]
             [rec108203 :-> [rec108203 :-> [rec108203 :-> rec108170]]])
            :->
            Int]]]]])]]
    [[(Rec
       [rec108211]
       [rec108211
        :->
        [rec108211
         :->
         [rec108211
          :->
          [rec108211
           :->
           [rec108211
            :->
            [rec108211 :-> [rec108211 :-> [rec108211 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108227]
       [(Rec
         [rec108228]
         [rec108228 :-> [rec108228 :-> [rec108228 :-> rec108227]]])
        :->
        [(Rec
          [rec108236]
          [rec108236 :-> [rec108236 :-> [rec108236 :-> rec108227]]])
         :->
         [(Rec
           [rec108244]
           [rec108244 :-> [rec108244 :-> [rec108244 :-> rec108227]]])
          :->
          [(Rec
            [rec108252]
            [rec108252 :-> [rec108252 :-> [rec108252 :-> rec108227]]])
           :->
           [(Rec
             [rec108260]
             [rec108260 :-> [rec108260 :-> [rec108260 :-> rec108227]]])
            :->
            Int]]]]])]
     :->
     [(Rec
       [rec108268]
       [rec108268
        :->
        [rec108268
         :->
         [rec108268
          :->
          [rec108268
           :->
           [rec108268
            :->
            [rec108268 :-> [rec108268 :-> [rec108268 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108284]
       [(Rec
         [rec108285]
         [rec108285
          :->
          [rec108285 :-> [rec108285 :-> [rec108285 :-> rec108284]]]])
        :->
        [(Rec
          [rec108295]
          [rec108295
           :->
           [rec108295 :-> [rec108295 :-> [rec108295 :-> rec108284]]]])
         :->
         [(Rec
           [rec108305]
           [rec108305
            :->
            [rec108305 :-> [rec108305 :-> [rec108305 :-> rec108284]]]])
          :->
          [(Rec
            [rec108315]
            [rec108315
             :->
             [rec108315
              :->
              [rec108315 :-> [rec108315 :-> rec108284]]]])
           :->
           Int]]]])]]
    [[(Rec
       [rec108325]
       [rec108325
        :->
        [rec108325
         :->
         [rec108325
          :->
          [rec108325
           :->
           [rec108325
            :->
            [rec108325 :-> [rec108325 :-> [rec108325 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108341]
       [(Rec
         [rec108342]
         [rec108342
          :->
          [rec108342 :-> [rec108342 :-> [rec108342 :-> rec108341]]]])
        :->
        [(Rec
          [rec108352]
          [rec108352
           :->
           [rec108352 :-> [rec108352 :-> [rec108352 :-> rec108341]]]])
         :->
         [(Rec
           [rec108362]
           [rec108362
            :->
            [rec108362 :-> [rec108362 :-> [rec108362 :-> rec108341]]]])
          :->
          [(Rec
            [rec108372]
            [rec108372
             :->
             [rec108372
              :->
              [rec108372 :-> [rec108372 :-> rec108341]]]])
           :->
           Int]]]])]
     :->
     [(Rec
       [rec108382]
       [rec108382
        :->
        [rec108382
         :->
         [rec108382
          :->
          [rec108382
           :->
           [rec108382
            :->
            [rec108382 :-> [rec108382 :-> [rec108382 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108398]
       [(Rec
         [rec108399]
         [rec108399
          :->
          [rec108399
           :->
           [rec108399 :-> [rec108399 :-> [rec108399 :-> rec108398]]]]])
        :->
        [(Rec
          [rec108411]
          [rec108411
           :->
           [rec108411
            :->
            [rec108411
             :->
             [rec108411 :-> [rec108411 :-> rec108398]]]]])
         :->
         [(Rec
           [rec108423]
           [rec108423
            :->
            [rec108423
             :->
             [rec108423
              :->
              [rec108423 :-> [rec108423 :-> rec108398]]]]])
          :->
          Int]]])]]
    [[(Rec
       [rec108435]
       [rec108435
        :->
        [rec108435
         :->
         [rec108435
          :->
          [rec108435
           :->
           [rec108435
            :->
            [rec108435 :-> [rec108435 :-> [rec108435 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108451]
       [(Rec
         [rec108452]
         [rec108452
          :->
          [rec108452
           :->
           [rec108452 :-> [rec108452 :-> [rec108452 :-> rec108451]]]]])
        :->
        [(Rec
          [rec108464]
          [rec108464
           :->
           [rec108464
            :->
            [rec108464
             :->
             [rec108464 :-> [rec108464 :-> rec108451]]]]])
         :->
         [(Rec
           [rec108476]
           [rec108476
            :->
            [rec108476
             :->
             [rec108476
              :->
              [rec108476 :-> [rec108476 :-> rec108451]]]]])
          :->
          Int]]])]
     :->
     [(Rec
       [rec108488]
       [rec108488
        :->
        [rec108488
         :->
         [rec108488
          :->
          [rec108488
           :->
           [rec108488
            :->
            [rec108488 :-> [rec108488 :-> [rec108488 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108504]
       [(Rec
         [rec108505]
         [rec108505
          :->
          [rec108505
           :->
           [rec108505
            :->
            [rec108505
             :->
             [rec108505 :-> [rec108505 :-> rec108504]]]]]])
        :->
        [(Rec
          [rec108519]
          [rec108519
           :->
           [rec108519
            :->
            [rec108519
             :->
             [rec108519
              :->
              [rec108519 :-> [rec108519 :-> rec108504]]]]]])
         :->
         Int]])]]
    [[(Rec
       [rec108533]
       [rec108533
        :->
        [rec108533
         :->
         [rec108533
          :->
          [rec108533
           :->
           [rec108533
            :->
            [rec108533 :-> [rec108533 :-> [rec108533 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108549]
       [(Rec
         [rec108550]
         [rec108550
          :->
          [rec108550
           :->
           [rec108550
            :->
            [rec108550
             :->
             [rec108550 :-> [rec108550 :-> rec108549]]]]]])
        :->
        [(Rec
          [rec108564]
          [rec108564
           :->
           [rec108564
            :->
            [rec108564
             :->
             [rec108564
              :->
              [rec108564 :-> [rec108564 :-> rec108549]]]]]])
         :->
         Int]])]
     :->
     [(Rec
       [rec108578]
       [rec108578
        :->
        [rec108578
         :->
         [rec108578
          :->
          [rec108578
           :->
           [rec108578
            :->
            [rec108578 :-> [rec108578 :-> [rec108578 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108594]
       [(Rec
         [rec108595]
         [rec108595
          :->
          [rec108595
           :->
           [rec108595
            :->
            [rec108595
             :->
             [rec108595
              :->
              [rec108595 :-> [rec108595 :-> rec108594]]]]]]])
        :->
        Int])]]
    [[(Rec
       [rec108611]
       [rec108611
        :->
        [rec108611
         :->
         [rec108611
          :->
          [rec108611
           :->
           [rec108611
            :->
            [rec108611 :-> [rec108611 :-> [rec108611 :-> Int]]]]]]]])
      :->
      (Rec
       [rec108627]
       [(Rec
         [rec108628]
         [rec108628
          :->
          [rec108628
           :->
           [rec108628
            :->
            [rec108628
             :->
             [rec108628
              :->
              [rec108628 :-> [rec108628 :-> rec108627]]]]]]])
        :->
        Int])]
     :->
     [(Rec
       [rec108644]
       [rec108644
        :->
        [rec108644
         :->
         [rec108644
          :->
          [rec108644
           :->
           [rec108644
            :->
            [rec108644 :-> [rec108644 :-> [rec108644 :-> Int]]]]]]]])
      :->
      Int]])))
 (ann
  (fn
   [x]
   (ann
    (fn
     [y]
     (ann
      (fn
       [x']
       (ann
        (fn
         [y']
         (ann
          (fn
           [x]
           (ann
            (fn
             [y]
             (ann
              (fn
               [x']
               (ann
                (fn [y'] 1)
                (Rec
                 [rec108866]
                 [(Rec
                   [rec108867]
                   [rec108867
                    :->
                    [rec108867
                     :->
                     [rec108867
                      :->
                      [rec108867
                       :->
                       [rec108867
                        :->
                        [rec108867 :-> [rec108867 :-> rec108866]]]]]]])
                  :->
                  Int])))
              (Rec
               [rec108986]
               [(Rec
                 [rec108987]
                 [rec108987
                  :->
                  [rec108987
                   :->
                   [rec108987
                    :->
                    [rec108987
                     :->
                     [rec108987 :-> [rec108987 :-> rec108986]]]]]])
                :->
                [(Rec
                  [rec109001]
                  [rec109001
                   :->
                   [rec109001
                    :->
                    [rec109001
                     :->
                     [rec109001
                      :->
                      [rec109001 :-> [rec109001 :-> rec108986]]]]]])
                 :->
                 Int]])))
            (Rec
             [rec109102]
             [(Rec
               [rec109103]
               [rec109103
                :->
                [rec109103
                 :->
                 [rec109103
                  :->
                  [rec109103 :-> [rec109103 :-> rec109102]]]]])
              :->
              [(Rec
                [rec109115]
                [rec109115
                 :->
                 [rec109115
                  :->
                  [rec109115
                   :->
                   [rec109115 :-> [rec109115 :-> rec109102]]]]])
               :->
               [(Rec
                 [rec109127]
                 [rec109127
                  :->
                  [rec109127
                   :->
                   [rec109127
                    :->
                    [rec109127 :-> [rec109127 :-> rec109102]]]]])
                :->
                Int]]])))
          (Rec
           [rec109210]
           [(Rec
             [rec109211]
             [rec109211
              :->
              [rec109211
               :->
               [rec109211 :-> [rec109211 :-> rec109210]]]])
            :->
            [(Rec
              [rec109221]
              [rec109221
               :->
               [rec109221
                :->
                [rec109221 :-> [rec109221 :-> rec109210]]]])
             :->
             [(Rec
               [rec109231]
               [rec109231
                :->
                [rec109231
                 :->
                 [rec109231 :-> [rec109231 :-> rec109210]]]])
              :->
              [(Rec
                [rec109241]
                [rec109241
                 :->
                 [rec109241
                  :->
                  [rec109241 :-> [rec109241 :-> rec109210]]]])
               :->
               Int]]]])))
        (Rec
         [rec109306]
         [(Rec
           [rec109307]
           [rec109307 :-> [rec109307 :-> [rec109307 :-> rec109306]]])
          :->
          [(Rec
            [rec109315]
            [rec109315 :-> [rec109315 :-> [rec109315 :-> rec109306]]])
           :->
           [(Rec
             [rec109323]
             [rec109323 :-> [rec109323 :-> [rec109323 :-> rec109306]]])
            :->
            [(Rec
              [rec109331]
              [rec109331
               :->
               [rec109331 :-> [rec109331 :-> rec109306]]])
             :->
             [(Rec
               [rec109339]
               [rec109339
                :->
                [rec109339 :-> [rec109339 :-> rec109306]]])
              :->
              Int]]]]])))
      (Rec
       [rec109386]
       [(Rec [rec109387] [rec109387 :-> [rec109387 :-> rec109386]])
        :->
        [(Rec [rec109393] [rec109393 :-> [rec109393 :-> rec109386]])
         :->
         [(Rec [rec109399] [rec109399 :-> [rec109399 :-> rec109386]])
          :->
          [(Rec [rec109405] [rec109405 :-> [rec109405 :-> rec109386]])
           :->
           [(Rec [rec109411] [rec109411 :-> [rec109411 :-> rec109386]])
            :->
            [(Rec
              [rec109417]
              [rec109417 :-> [rec109417 :-> rec109386]])
             :->
             Int]]]]]])))
    (Rec
     [rec109446]
     [(Rec [rec109447] [rec109447 :-> rec109446])
      :->
      [(Rec [rec109451] [rec109451 :-> rec109446])
       :->
       [(Rec [rec109455] [rec109455 :-> rec109446])
        :->
        [(Rec [rec109459] [rec109459 :-> rec109446])
         :->
         [(Rec [rec109463] [rec109463 :-> rec109446])
          :->
          [(Rec [rec109467] [rec109467 :-> rec109446])
           :->
           [(Rec [rec109471] [rec109471 :-> rec109446])
            :->
            Int]]]]]]])))
  (Rec
   [rec109482]
   [rec109482
    :->
    [rec109482
     :->
     [rec109482
      :->
      [rec109482
       :->
       [rec109482
        :->
        [rec109482 :-> [rec109482 :-> [rec109482 :-> Int]]]]]]]])))