(begin
 (define (operation-432 the-closure-497539
                        the-formals-499050
                        the-formals-499051
                        the-formals-499052
                        the-formals-499053
                        the-formals-499054
                        the-formals-499055
                        the-formals-499056
                        the-formals-499057
                        the-formals-499058
                        the-formals-499059
                        the-formals-499060
                        the-formals-499061
                        the-formals-499062
                        the-formals-499063
                        the-formals-499064
                        the-formals-499065
                        the-formals-499066
                        the-formals-499067
                        the-formals-499068
                        the-formals-499069
                        the-formals-499070
                        the-formals-499071
                        the-formals-499072
                        the-formals-499073
                        the-formals-499074
                        the-formals-499075
                        the-formals-499076
                        the-formals-499077
                        the-formals-499078
                        the-formals-499079
                        the-formals-499080
                        the-formals-499081
                        the-formals-499082
                        the-formals-499083
                        the-formals-499084)
   (let* ((anf-11652 (* -1 the-formals-499051))
          (anf-36958 (+ the-formals-499058 anf-11652))
          (anf-11651 (* -1 the-formals-499052))
          (anf-7793 (+ the-formals-499059 anf-11651))
          (anf-11650 (* -1 the-formals-499053))
          (anf-7794 (+ the-formals-499060 anf-11650))
          (anf-50549 (+ the-formals-499065 anf-11652))
          (anf-7770 (+ the-formals-499066 anf-11651))
          (anf-7771 (+ the-formals-499067 anf-11650))
          (anf-11640 (* -1 the-formals-499058))
          (anf-52507 (+ the-formals-499065 anf-11640))
          (anf-11639 (* -1 the-formals-499059))
          (anf-7761 (+ the-formals-499066 anf-11639))
          (anf-11638 (* -1 the-formals-499060))
          (anf-7762 (+ the-formals-499067 anf-11638))
          (anf-54977 (* -1 the-formals-499065))
          (anf-54580 (+ the-formals-499072 anf-54977))
          (anf-11637 (* -1 the-formals-499066))
          (anf-7753 (+ the-formals-499073 anf-11637))
          (anf-11636 (* -1 the-formals-499067))
          (anf-7754 (+ the-formals-499074 anf-11636))
          (anf-57763 (+ the-formals-499079 anf-54977))
          (anf-7745 (+ the-formals-499080 anf-11637))
          (anf-7746 (+ the-formals-499081 anf-11636))
          (anf-94899 (+ the-formals-499072 anf-11652))
          (anf-7676 (+ the-formals-499073 anf-11651))
          (anf-7677 (+ the-formals-499074 anf-11650))
          (anf-96857 (+ the-formals-499072 anf-11640))
          (anf-7667 (+ the-formals-499073 anf-11639))
          (anf-7668 (+ the-formals-499074 anf-11638))
          (anf-100862 (+ the-formals-499079 (* -1 the-formals-499072)))
          (anf-7649 (+ the-formals-499080 (* -1 the-formals-499073)))
          (anf-7650 (+ the-formals-499081 (* -1 the-formals-499074)))
          (anf-136022 (+ the-formals-499079 anf-11652))
          (anf-7580 (+ the-formals-499080 anf-11651))
          (anf-7581 (+ the-formals-499081 anf-11650))
          (anf-137980 (+ the-formals-499079 anf-11640))
          (anf-7571 (+ the-formals-499080 anf-11639))
          (anf-7572 (+ the-formals-499081 anf-11638))
          (the-formals-991155-5467
           (sqrt
            (+ (* anf-36958 anf-36958)
               (+ (* anf-7793 anf-7793) (* anf-7794 anf-7794)))))
          (the-formals-991155-5444
           (sqrt
            (+ (* anf-50549 anf-50549)
               (+ (* anf-7770 anf-7770) (* anf-7771 anf-7771)))))
          (the-formals-991155-5421
           (sqrt
            (+ (* anf-94899 anf-94899)
               (+ (* anf-7676 anf-7676) (* anf-7677 anf-7677)))))
          (the-formals-991155-5398
           (sqrt
            (+ (* anf-136022 anf-136022)
               (+ (* anf-7580 anf-7580) (* anf-7581 anf-7581)))))
          (the-formals-991155-5643
           (sqrt
            (+ (* anf-52507 anf-52507)
               (+ (* anf-7761 anf-7761) (* anf-7762 anf-7762)))))
          (the-formals-991155-5620
           (sqrt
            (+ (* anf-96857 anf-96857)
               (+ (* anf-7667 anf-7667) (* anf-7668 anf-7668)))))
          (the-formals-991155-5597
           (sqrt
            (+ (* anf-137980 anf-137980)
               (+ (* anf-7571 anf-7571) (* anf-7572 anf-7572)))))
          (the-formals-991155-5718
           (sqrt
            (+ (* anf-54580 anf-54580)
               (+ (* anf-7753 anf-7753) (* anf-7754 anf-7754)))))
          (the-formals-991155-5715
           (sqrt
            (+ (* anf-57763 anf-57763)
               (+ (* anf-7745 anf-7745) (* anf-7746 anf-7746)))))
          (the-formals-991155-5805
           (sqrt
            (+ (* anf-100862 anf-100862)
               (+ (* anf-7649 anf-7649) (* anf-7650 anf-7650)))))
          (anf-14131 (* anf-36958 -1))
          (anf-14141 (* anf-50549 -1))
          (anf-14151 (* anf-94899 -1))
          (anf-14159 (* anf-136022 -1))
          (anf-14171 (* anf-7793 -1))
          (anf-14181 (* anf-7770 -1))
          (anf-14191 (* anf-7676 -1))
          (anf-14199 (* anf-7580 -1))
          (anf-14211 (* anf-7794 -1))
          (anf-14221 (* anf-7771 -1))
          (anf-14231 (* anf-7677 -1))
          (anf-14239 (* anf-7581 -1))
          (anf-14259 (* anf-52507 -1))
          (anf-14269 (* anf-96857 -1))
          (anf-14277 (* anf-137980 -1))
          (anf-14297 (* anf-7761 -1))
          (anf-14307 (* anf-7667 -1))
          (anf-14315 (* anf-7571 -1))
          (anf-14335 (* anf-7762 -1))
          (anf-14345 (* anf-7668 -1))
          (anf-14353 (* anf-7572 -1))
          (anf-14381 (* anf-54580 -1))
          (anf-14389 (* anf-57763 -1))
          (anf-14417 (* anf-7753 -1))
          (anf-14425 (* anf-7745 -1))
          (anf-14453 (* anf-7754 -1))
          (anf-14461 (* anf-7746 -1))
          (anf-14495 (* anf-100862 -1))
          (anf-14529 (* anf-7649 -1))
          (anf-14563 (* anf-7650 -1))
          (anf-18003
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499050 the-formals-499057)))
             (* the-formals-991155-5467 the-formals-991155-5467))))
          (anf-18007 (/ 1 (* 2 the-formals-991155-5467)))
          (anf-18010
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499050 the-formals-499064)))
             (* the-formals-991155-5444 the-formals-991155-5444))))
          (anf-18014 (/ 1 (* 2 the-formals-991155-5444)))
          (anf-18017
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499050 the-formals-499071)))
             (* the-formals-991155-5421 the-formals-991155-5421))))
          (anf-18021 (/ 1 (* 2 the-formals-991155-5421)))
          (anf-18024
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499050 the-formals-499078)))
             (* the-formals-991155-5398 the-formals-991155-5398))))
          (anf-18028 (/ 1 (* 2 the-formals-991155-5398)))
          (anf-18100
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499057 the-formals-499064)))
             (* the-formals-991155-5643 the-formals-991155-5643))))
          (anf-18104 (/ 1 (* 2 the-formals-991155-5643)))
          (anf-18107
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499057 the-formals-499071)))
             (* the-formals-991155-5620 the-formals-991155-5620))))
          (anf-18111 (/ 1 (* 2 the-formals-991155-5620)))
          (anf-18114
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499057 the-formals-499078)))
             (* the-formals-991155-5597 the-formals-991155-5597))))
          (anf-18118 (/ 1 (* 2 the-formals-991155-5597)))
          (anf-18197
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499064 the-formals-499071)))
             (* the-formals-991155-5718 the-formals-991155-5718))))
          (anf-18201 (/ 1 (* 2 the-formals-991155-5718)))
          (anf-18204
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499064 the-formals-499078)))
             (* the-formals-991155-5715 the-formals-991155-5715))))
          (anf-18208 (/ 1 (* 2 the-formals-991155-5715)))
          (anf-18294
           (*
            -1
            (/
             (*
              -1
              (* the-closure-497539
                 (* the-formals-499071 the-formals-499078)))
             (* the-formals-991155-5805 the-formals-991155-5805))))
          (anf-18298 (/ 1 (* 2 the-formals-991155-5805))))
     (values
      the-formals-499054
      the-formals-499055
      the-formals-499056
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-14131 anf-14131)))
         (+
          (* anf-18010 (* anf-18014 (+ anf-14141 anf-14141)))
          (+ (* anf-18017 (* anf-18021 (+ anf-14151 anf-14151)))
             (* anf-18024 (* anf-18028 (+ anf-14159 anf-14159)))))))
       the-formals-499050)
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-14171 anf-14171)))
         (+
          (* anf-18010 (* anf-18014 (+ anf-14181 anf-14181)))
          (+ (* anf-18017 (* anf-18021 (+ anf-14191 anf-14191)))
             (* anf-18024 (* anf-18028 (+ anf-14199 anf-14199)))))))
       the-formals-499050)
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-14211 anf-14211)))
         (+
          (* anf-18010 (* anf-18014 (+ anf-14221 anf-14221)))
          (+ (* anf-18017 (* anf-18021 (+ anf-14231 anf-14231)))
             (* anf-18024 (* anf-18028 (+ anf-14239 anf-14239)))))))
       the-formals-499050)
      the-formals-499061
      the-formals-499062
      the-formals-499063
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-36958 anf-36958)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-14259 anf-14259)))
          (+ (* anf-18107 (* anf-18111 (+ anf-14269 anf-14269)))
             (* anf-18114 (* anf-18118 (+ anf-14277 anf-14277)))))))
       the-formals-499057)
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-7793 anf-7793)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-14297 anf-14297)))
          (+ (* anf-18107 (* anf-18111 (+ anf-14307 anf-14307)))
             (* anf-18114 (* anf-18118 (+ anf-14315 anf-14315)))))))
       the-formals-499057)
      (/
       (*
        -1
        (+
         (* anf-18003 (* anf-18007 (+ anf-7794 anf-7794)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-14335 anf-14335)))
          (+ (* anf-18107 (* anf-18111 (+ anf-14345 anf-14345)))
             (* anf-18114 (* anf-18118 (+ anf-14353 anf-14353)))))))
       the-formals-499057)
      the-formals-499068
      the-formals-499069
      the-formals-499070
      (/
       (*
        -1
        (+
         (* anf-18010 (* anf-18014 (+ anf-50549 anf-50549)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-52507 anf-52507)))
          (+ (* anf-18197 (* anf-18201 (+ anf-14381 anf-14381)))
             (* anf-18204 (* anf-18208 (+ anf-14389 anf-14389)))))))
       the-formals-499064)
      (/
       (*
        -1
        (+
         (* anf-18010 (* anf-18014 (+ anf-7770 anf-7770)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-7761 anf-7761)))
          (+ (* anf-18197 (* anf-18201 (+ anf-14417 anf-14417)))
             (* anf-18204 (* anf-18208 (+ anf-14425 anf-14425)))))))
       the-formals-499064)
      (/
       (*
        -1
        (+
         (* anf-18010 (* anf-18014 (+ anf-7771 anf-7771)))
         (+
          (* anf-18100 (* anf-18104 (+ anf-7762 anf-7762)))
          (+ (* anf-18197 (* anf-18201 (+ anf-14453 anf-14453)))
             (* anf-18204 (* anf-18208 (+ anf-14461 anf-14461)))))))
       the-formals-499064)
      the-formals-499075
      the-formals-499076
      the-formals-499077
      (/
       (*
        -1
        (+
         (* anf-18017 (* anf-18021 (+ anf-94899 anf-94899)))
         (+
          (* anf-18107 (* anf-18111 (+ anf-96857 anf-96857)))
          (+ (* anf-18197 (* anf-18201 (+ anf-54580 anf-54580)))
             (* anf-18294 (* anf-18298 (+ anf-14495 anf-14495)))))))
       the-formals-499071)
      (/
       (*
        -1
        (+
         (* anf-18017 (* anf-18021 (+ anf-7676 anf-7676)))
         (+
          (* anf-18107 (* anf-18111 (+ anf-7667 anf-7667)))
          (+ (* anf-18197 (* anf-18201 (+ anf-7753 anf-7753)))
             (* anf-18294 (* anf-18298 (+ anf-14529 anf-14529)))))))
       the-formals-499071)
      (/
       (*
        -1
        (+
         (* anf-18017 (* anf-18021 (+ anf-7677 anf-7677)))
         (+
          (* anf-18107 (* anf-18111 (+ anf-7668 anf-7668)))
          (+ (* anf-18197 (* anf-18201 (+ anf-7754 anf-7754)))
             (* anf-18294 (* anf-18298 (+ anf-14563 anf-14563)))))))
       the-formals-499071)
      the-formals-499082
      the-formals-499083
      the-formals-499084
      (/
       (*
        -1
        (+
         (* anf-18024 (* anf-18028 (+ anf-136022 anf-136022)))
         (+
          (* anf-18114 (* anf-18118 (+ anf-137980 anf-137980)))
          (+ (* anf-18204 (* anf-18208 (+ anf-57763 anf-57763)))
             (* anf-18294 (* anf-18298 (+ anf-100862 anf-100862)))))))
       the-formals-499078)
      (/
       (*
        -1
        (+
         (* anf-18024 (* anf-18028 (+ anf-7580 anf-7580)))
         (+
          (* anf-18114 (* anf-18118 (+ anf-7571 anf-7571)))
          (+ (* anf-18204 (* anf-18208 (+ anf-7745 anf-7745)))
             (* anf-18294 (* anf-18298 (+ anf-7649 anf-7649)))))))
       the-formals-499078)
      (/
       (*
        -1
        (+
         (* anf-18024 (* anf-18028 (+ anf-7581 anf-7581)))
         (+
          (* anf-18114 (* anf-18118 (+ anf-7572 anf-7572)))
          (+ (* anf-18204 (* anf-18208 (+ anf-7746 anf-7746)))
             (* anf-18294 (* anf-18298 (+ anf-7650 anf-7650)))))))
       the-formals-499078))))
 (define (operation-17692 the-closure-1042721
                          the-closure-1042722
                          the-closure-1042866
                          the-closure-1043153
                          the-formals-1043297
                          the-formals-1043298
                          the-formals-1043299
                          the-formals-1043300
                          the-formals-1043301
                          the-formals-1043302
                          the-formals-1043303
                          the-formals-1043304
                          the-formals-1043305
                          the-formals-1043306
                          the-formals-1043307
                          the-formals-1043308
                          the-formals-1043309
                          the-formals-1043310
                          the-formals-1043311
                          the-formals-1043312
                          the-formals-1043313
                          the-formals-1043314
                          the-formals-1043315
                          the-formals-1043316
                          the-formals-1043317
                          the-formals-1043318
                          the-formals-1043319
                          the-formals-1043320
                          the-formals-1043321
                          the-formals-1043322
                          the-formals-1043323
                          the-formals-1043324
                          the-formals-1043325
                          the-formals-1043326
                          the-formals-1043327
                          the-formals-1043328
                          the-formals-1043329
                          the-formals-1043330
                          the-formals-1043331
                          the-formals-1043332
                          the-formals-1043333
                          the-formals-1045320
                          the-formals-1046951
                          the-formals-1046952
                          the-formals-1046953
                          the-formals-1046954
                          the-formals-1046955
                          the-formals-1046956
                          the-formals-1046957
                          the-formals-1046958
                          the-formals-1046959
                          the-formals-1046960
                          the-formals-1046961
                          the-formals-1046962
                          the-formals-1046963
                          the-formals-1046964
                          the-formals-1046965
                          the-formals-1046966
                          the-formals-1046967
                          the-formals-1046968
                          the-formals-1046969
                          the-formals-1046970
                          the-formals-1046971
                          the-formals-1046972
                          the-formals-1046973
                          the-formals-1046974
                          the-formals-1046975
                          the-formals-1046976
                          the-formals-1046977
                          the-formals-1046978
                          the-formals-1046979
                          the-formals-1046980
                          the-formals-1046981
                          the-formals-1046982
                          the-formals-1046983
                          the-formals-1046984
                          the-formals-1046985
                          the-formals-1046986
                          the-formals-1048852)
   (if (<= the-formals-1043297 0)
       (values the-formals-1043298
               the-formals-1043299
               the-formals-1043300
               the-formals-1043301
               the-formals-1043302
               the-formals-1043303
               the-formals-1043304
               the-formals-1043305
               the-formals-1043306
               the-formals-1043307
               the-formals-1043308
               the-formals-1043309
               the-formals-1043310
               the-formals-1043311
               the-formals-1043312
               the-formals-1043313
               the-formals-1043314
               the-formals-1043315
               the-formals-1043316
               the-formals-1043317
               the-formals-1043318
               the-formals-1043319
               the-formals-1043320
               the-formals-1043321
               the-formals-1043322
               the-formals-1043323
               the-formals-1043324
               the-formals-1043325
               the-formals-1043326
               the-formals-1043327
               the-formals-1043328
               the-formals-1043329
               the-formals-1043330
               the-formals-1043331
               the-formals-1043332
               the-formals-1043333
               the-closure-1043153
               the-closure-1043153
               the-formals-1043298
               the-formals-1043299
               the-formals-1043300
               the-formals-1043301
               the-formals-1043302
               the-formals-1043303
               the-formals-1043304
               the-formals-1043305
               the-formals-1043306
               the-formals-1043307
               the-formals-1043308
               the-formals-1043309
               the-formals-1043310
               the-formals-1043311
               the-formals-1043312
               the-formals-1043313
               the-formals-1043314
               the-formals-1043315
               the-formals-1043316
               the-formals-1043317
               the-formals-1043318
               the-formals-1043319
               the-formals-1043320
               the-formals-1043321
               the-formals-1043322
               the-formals-1043323
               the-formals-1043324
               the-formals-1043325
               the-formals-1043326
               the-formals-1043327
               the-formals-1043328
               the-formals-1043329
               the-formals-1043330
               the-formals-1043331
               the-formals-1043332
               the-formals-1043333
               the-formals-1045320
               the-formals-1046951
               the-formals-1046952
               the-formals-1046953
               the-formals-1046954
               the-formals-1046955
               the-formals-1046956
               the-formals-1046957
               the-formals-1046958
               the-formals-1046959
               the-formals-1046960
               the-formals-1046961
               the-formals-1046962
               the-formals-1046963
               the-formals-1046964
               the-formals-1046965
               the-formals-1046966
               the-formals-1046967
               the-formals-1046968
               the-formals-1046969
               the-formals-1046970
               the-formals-1046971
               the-formals-1046972
               the-formals-1046973
               the-formals-1046974
               the-formals-1046975
               the-formals-1046976
               the-formals-1046977
               the-formals-1046978
               the-formals-1046979
               the-formals-1046980
               the-formals-1046981
               the-formals-1046982
               the-formals-1046983
               the-formals-1046984
               the-formals-1046985
               the-formals-1046986
               the-formals-1048852)
       (let-values
        (((anf-1080000 anf-1080001
                       anf-1080002
                       anf-1080003
                       anf-1080004
                       anf-1080005
                       anf-1080007
                       anf-1080008
                       anf-1080009
                       anf-1080010
                       anf-1080011
                       anf-1080012
                       anf-1080014
                       anf-1080015
                       anf-1080016
                       anf-1080017
                       anf-1080018
                       anf-1080019
                       anf-1080021
                       anf-1080022
                       anf-1080023
                       anf-1080024
                       anf-1080025
                       anf-1080026
                       anf-1080028
                       anf-1080029
                       anf-1080030
                       anf-1080031
                       anf-1080032
                       anf-1080033)
          (operation-432 the-formals-1048852
                         the-formals-1046952
                         the-formals-1046953
                         the-formals-1046954
                         the-formals-1046955
                         the-formals-1046956
                         the-formals-1046957
                         the-formals-1046958
                         the-formals-1046959
                         the-formals-1046960
                         the-formals-1046961
                         the-formals-1046962
                         the-formals-1046963
                         the-formals-1046964
                         the-formals-1046965
                         the-formals-1046966
                         the-formals-1046967
                         the-formals-1046968
                         the-formals-1046969
                         the-formals-1046970
                         the-formals-1046971
                         the-formals-1046972
                         the-formals-1046973
                         the-formals-1046974
                         the-formals-1046975
                         the-formals-1046976
                         the-formals-1046977
                         the-formals-1046978
                         the-formals-1046979
                         the-formals-1046980
                         the-formals-1046981
                         the-formals-1046982
                         the-formals-1046983
                         the-formals-1046984
                         the-formals-1046985
                         the-formals-1046986)))
        (let* ((anf-8222 (* the-closure-1042721 anf-1080000))
               (anf-8223 (* the-closure-1042721 anf-1080001))
               (anf-8224 (* the-closure-1042721 anf-1080002))
               (anf-8225 (* the-closure-1042721 anf-1080003))
               (anf-8226 (* the-closure-1042721 anf-1080004))
               (anf-8227 (* the-closure-1042721 anf-1080005))
               (anf-8215 (* the-closure-1042721 anf-1080007))
               (anf-8216 (* the-closure-1042721 anf-1080008))
               (anf-8217 (* the-closure-1042721 anf-1080009))
               (anf-8218 (* the-closure-1042721 anf-1080010))
               (anf-8219 (* the-closure-1042721 anf-1080011))
               (anf-8220 (* the-closure-1042721 anf-1080012))
               (anf-8208 (* the-closure-1042721 anf-1080014))
               (anf-8209 (* the-closure-1042721 anf-1080015))
               (anf-8210 (* the-closure-1042721 anf-1080016))
               (anf-8211 (* the-closure-1042721 anf-1080017))
               (anf-8212 (* the-closure-1042721 anf-1080018))
               (anf-8213 (* the-closure-1042721 anf-1080019))
               (anf-8201 (* the-closure-1042721 anf-1080021))
               (anf-8202 (* the-closure-1042721 anf-1080022))
               (anf-8203 (* the-closure-1042721 anf-1080023))
               (anf-8204 (* the-closure-1042721 anf-1080024))
               (anf-8205 (* the-closure-1042721 anf-1080025))
               (anf-8206 (* the-closure-1042721 anf-1080026))
               (anf-8194 (* the-closure-1042721 anf-1080028))
               (anf-8195 (* the-closure-1042721 anf-1080029))
               (anf-8196 (* the-closure-1042721 anf-1080030))
               (anf-8197 (* the-closure-1042721 anf-1080031))
               (anf-8198 (* the-closure-1042721 anf-1080032))
               (anf-8199 (* the-closure-1042721 anf-1080033)))
          (let-values
           (((anf-1091458 anf-1091459
                          anf-1091460
                          anf-1091461
                          anf-1091462
                          anf-1091463
                          anf-1091465
                          anf-1091466
                          anf-1091467
                          anf-1091468
                          anf-1091469
                          anf-1091470
                          anf-1091472
                          anf-1091473
                          anf-1091474
                          anf-1091475
                          anf-1091476
                          anf-1091477
                          anf-1091479
                          anf-1091480
                          anf-1091481
                          anf-1091482
                          anf-1091483
                          anf-1091484
                          anf-1091486
                          anf-1091487
                          anf-1091488
                          anf-1091489
                          anf-1091490
                          anf-1091491)
             (operation-432 the-formals-1048852
                            the-formals-1046952
                            (+ the-formals-1046953 (* 1/2 anf-8222))
                            (+ the-formals-1046954 (* 1/2 anf-8223))
                            (+ the-formals-1046955 (* 1/2 anf-8224))
                            (+ the-formals-1046956 (* 1/2 anf-8225))
                            (+ the-formals-1046957 (* 1/2 anf-8226))
                            (+ the-formals-1046958 (* 1/2 anf-8227))
                            the-formals-1046959
                            (+ the-formals-1046960 (* 1/2 anf-8215))
                            (+ the-formals-1046961 (* 1/2 anf-8216))
                            (+ the-formals-1046962 (* 1/2 anf-8217))
                            (+ the-formals-1046963 (* 1/2 anf-8218))
                            (+ the-formals-1046964 (* 1/2 anf-8219))
                            (+ the-formals-1046965 (* 1/2 anf-8220))
                            the-formals-1046966
                            (+ the-formals-1046967 (* 1/2 anf-8208))
                            (+ the-formals-1046968 (* 1/2 anf-8209))
                            (+ the-formals-1046969 (* 1/2 anf-8210))
                            (+ the-formals-1046970 (* 1/2 anf-8211))
                            (+ the-formals-1046971 (* 1/2 anf-8212))
                            (+ the-formals-1046972 (* 1/2 anf-8213))
                            the-formals-1046973
                            (+ the-formals-1046974 (* 1/2 anf-8201))
                            (+ the-formals-1046975 (* 1/2 anf-8202))
                            (+ the-formals-1046976 (* 1/2 anf-8203))
                            (+ the-formals-1046977 (* 1/2 anf-8204))
                            (+ the-formals-1046978 (* 1/2 anf-8205))
                            (+ the-formals-1046979 (* 1/2 anf-8206))
                            the-formals-1046980
                            (+ the-formals-1046981 (* 1/2 anf-8194))
                            (+ the-formals-1046982 (* 1/2 anf-8195))
                            (+ the-formals-1046983 (* 1/2 anf-8196))
                            (+ the-formals-1046984 (* 1/2 anf-8197))
                            (+ the-formals-1046985 (* 1/2 anf-8198))
                            (+ the-formals-1046986 (* 1/2 anf-8199)))))
           (let* ((anf-8151 (* the-closure-1042721 anf-1091458))
                  (anf-8152 (* the-closure-1042721 anf-1091459))
                  (anf-8153 (* the-closure-1042721 anf-1091460))
                  (anf-8154 (* the-closure-1042721 anf-1091461))
                  (anf-8155 (* the-closure-1042721 anf-1091462))
                  (anf-8156 (* the-closure-1042721 anf-1091463))
                  (anf-8144 (* the-closure-1042721 anf-1091465))
                  (anf-8145 (* the-closure-1042721 anf-1091466))
                  (anf-8146 (* the-closure-1042721 anf-1091467))
                  (anf-8147 (* the-closure-1042721 anf-1091468))
                  (anf-8148 (* the-closure-1042721 anf-1091469))
                  (anf-8149 (* the-closure-1042721 anf-1091470))
                  (anf-8137 (* the-closure-1042721 anf-1091472))
                  (anf-8138 (* the-closure-1042721 anf-1091473))
                  (anf-8139 (* the-closure-1042721 anf-1091474))
                  (anf-8140 (* the-closure-1042721 anf-1091475))
                  (anf-8141 (* the-closure-1042721 anf-1091476))
                  (anf-8142 (* the-closure-1042721 anf-1091477))
                  (anf-8130 (* the-closure-1042721 anf-1091479))
                  (anf-8131 (* the-closure-1042721 anf-1091480))
                  (anf-8132 (* the-closure-1042721 anf-1091481))
                  (anf-8133 (* the-closure-1042721 anf-1091482))
                  (anf-8134 (* the-closure-1042721 anf-1091483))
                  (anf-8135 (* the-closure-1042721 anf-1091484))
                  (anf-8123 (* the-closure-1042721 anf-1091486))
                  (anf-8124 (* the-closure-1042721 anf-1091487))
                  (anf-8125 (* the-closure-1042721 anf-1091488))
                  (anf-8126 (* the-closure-1042721 anf-1091489))
                  (anf-8127 (* the-closure-1042721 anf-1091490))
                  (anf-8128 (* the-closure-1042721 anf-1091491)))
             (let-values
              (((anf-1108526 anf-1108527
                             anf-1108528
                             anf-1108529
                             anf-1108530
                             anf-1108531
                             anf-1108533
                             anf-1108534
                             anf-1108535
                             anf-1108536
                             anf-1108537
                             anf-1108538
                             anf-1108540
                             anf-1108541
                             anf-1108542
                             anf-1108543
                             anf-1108544
                             anf-1108545
                             anf-1108547
                             anf-1108548
                             anf-1108549
                             anf-1108550
                             anf-1108551
                             anf-1108552
                             anf-1108554
                             anf-1108555
                             anf-1108556
                             anf-1108557
                             anf-1108558
                             anf-1108559)
                (operation-432 the-formals-1048852
                               the-formals-1046952
                               (+ the-formals-1046953 (* 1/2 anf-8151))
                               (+ the-formals-1046954 (* 1/2 anf-8152))
                               (+ the-formals-1046955 (* 1/2 anf-8153))
                               (+ the-formals-1046956 (* 1/2 anf-8154))
                               (+ the-formals-1046957 (* 1/2 anf-8155))
                               (+ the-formals-1046958 (* 1/2 anf-8156))
                               the-formals-1046959
                               (+ the-formals-1046960 (* 1/2 anf-8144))
                               (+ the-formals-1046961 (* 1/2 anf-8145))
                               (+ the-formals-1046962 (* 1/2 anf-8146))
                               (+ the-formals-1046963 (* 1/2 anf-8147))
                               (+ the-formals-1046964 (* 1/2 anf-8148))
                               (+ the-formals-1046965 (* 1/2 anf-8149))
                               the-formals-1046966
                               (+ the-formals-1046967 (* 1/2 anf-8137))
                               (+ the-formals-1046968 (* 1/2 anf-8138))
                               (+ the-formals-1046969 (* 1/2 anf-8139))
                               (+ the-formals-1046970 (* 1/2 anf-8140))
                               (+ the-formals-1046971 (* 1/2 anf-8141))
                               (+ the-formals-1046972 (* 1/2 anf-8142))
                               the-formals-1046973
                               (+ the-formals-1046974 (* 1/2 anf-8130))
                               (+ the-formals-1046975 (* 1/2 anf-8131))
                               (+ the-formals-1046976 (* 1/2 anf-8132))
                               (+ the-formals-1046977 (* 1/2 anf-8133))
                               (+ the-formals-1046978 (* 1/2 anf-8134))
                               (+ the-formals-1046979 (* 1/2 anf-8135))
                               the-formals-1046980
                               (+ the-formals-1046981 (* 1/2 anf-8123))
                               (+ the-formals-1046982 (* 1/2 anf-8124))
                               (+ the-formals-1046983 (* 1/2 anf-8125))
                               (+ the-formals-1046984 (* 1/2 anf-8126))
                               (+ the-formals-1046985 (* 1/2 anf-8127))
                               (+ the-formals-1046986 (* 1/2 anf-8128)))))
              (let* ((anf-8080 (* the-closure-1042721 anf-1108526))
                     (anf-8081 (* the-closure-1042721 anf-1108527))
                     (anf-8082 (* the-closure-1042721 anf-1108528))
                     (anf-8083 (* the-closure-1042721 anf-1108529))
                     (anf-8084 (* the-closure-1042721 anf-1108530))
                     (anf-8085 (* the-closure-1042721 anf-1108531))
                     (anf-8073 (* the-closure-1042721 anf-1108533))
                     (anf-8074 (* the-closure-1042721 anf-1108534))
                     (anf-8075 (* the-closure-1042721 anf-1108535))
                     (anf-8076 (* the-closure-1042721 anf-1108536))
                     (anf-8077 (* the-closure-1042721 anf-1108537))
                     (anf-8078 (* the-closure-1042721 anf-1108538))
                     (anf-8066 (* the-closure-1042721 anf-1108540))
                     (anf-8067 (* the-closure-1042721 anf-1108541))
                     (anf-8068 (* the-closure-1042721 anf-1108542))
                     (anf-8069 (* the-closure-1042721 anf-1108543))
                     (anf-8070 (* the-closure-1042721 anf-1108544))
                     (anf-8071 (* the-closure-1042721 anf-1108545))
                     (anf-8059 (* the-closure-1042721 anf-1108547))
                     (anf-8060 (* the-closure-1042721 anf-1108548))
                     (anf-8061 (* the-closure-1042721 anf-1108549))
                     (anf-8062 (* the-closure-1042721 anf-1108550))
                     (anf-8063 (* the-closure-1042721 anf-1108551))
                     (anf-8064 (* the-closure-1042721 anf-1108552))
                     (anf-8052 (* the-closure-1042721 anf-1108554))
                     (anf-8053 (* the-closure-1042721 anf-1108555))
                     (anf-8054 (* the-closure-1042721 anf-1108556))
                     (anf-8055 (* the-closure-1042721 anf-1108557))
                     (anf-8056 (* the-closure-1042721 anf-1108558))
                     (anf-8057 (* the-closure-1042721 anf-1108559)))
                (let-values
                 (((anf-1171698 anf-1171699
                                anf-1171700
                                anf-1171701
                                anf-1171702
                                anf-1171703
                                anf-1171705
                                anf-1171706
                                anf-1171707
                                anf-1171708
                                anf-1171709
                                anf-1171710
                                anf-1171712
                                anf-1171713
                                anf-1171714
                                anf-1171715
                                anf-1171716
                                anf-1171717
                                anf-1171719
                                anf-1171720
                                anf-1171721
                                anf-1171722
                                anf-1171723
                                anf-1171724
                                anf-1171726
                                anf-1171727
                                anf-1171728
                                anf-1171729
                                anf-1171730
                                anf-1171731)
                   (operation-432 the-formals-1048852
                                  the-formals-1046952
                                  (+ the-formals-1046953 anf-8080)
                                  (+ the-formals-1046954 anf-8081)
                                  (+ the-formals-1046955 anf-8082)
                                  (+ the-formals-1046956 anf-8083)
                                  (+ the-formals-1046957 anf-8084)
                                  (+ the-formals-1046958 anf-8085)
                                  the-formals-1046959
                                  (+ the-formals-1046960 anf-8073)
                                  (+ the-formals-1046961 anf-8074)
                                  (+ the-formals-1046962 anf-8075)
                                  (+ the-formals-1046963 anf-8076)
                                  (+ the-formals-1046964 anf-8077)
                                  (+ the-formals-1046965 anf-8078)
                                  the-formals-1046966
                                  (+ the-formals-1046967 anf-8066)
                                  (+ the-formals-1046968 anf-8067)
                                  (+ the-formals-1046969 anf-8068)
                                  (+ the-formals-1046970 anf-8069)
                                  (+ the-formals-1046971 anf-8070)
                                  (+ the-formals-1046972 anf-8071)
                                  the-formals-1046973
                                  (+ the-formals-1046974 anf-8059)
                                  (+ the-formals-1046975 anf-8060)
                                  (+ the-formals-1046976 anf-8061)
                                  (+ the-formals-1046977 anf-8062)
                                  (+ the-formals-1046978 anf-8063)
                                  (+ the-formals-1046979 anf-8064)
                                  the-formals-1046980
                                  (+ the-formals-1046981 anf-8052)
                                  (+ the-formals-1046982 anf-8053)
                                  (+ the-formals-1046983 anf-8054)
                                  (+ the-formals-1046984 anf-8055)
                                  (+ the-formals-1046985 anf-8056)
                                  (+ the-formals-1046986 anf-8057))))
                 (let* ((anf-7838 (* 1/3 the-closure-1042721))
                        (anf-7839 (* 1/6 the-closure-1042721))
                        (anf-11654
                         (+ the-formals-1046951
                            (+ anf-7839 (+ anf-7838 (+ anf-7838 anf-7839)))))
                        (anf-11656
                         (+
                          the-formals-1046953
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171698))
                           (+ (* 1/3 anf-8080)
                              (+ (* 1/3 anf-8151) (* 1/6 anf-8222))))))
                        (anf-11657
                         (+
                          the-formals-1046954
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171699))
                           (+ (* 1/3 anf-8081)
                              (+ (* 1/3 anf-8152) (* 1/6 anf-8223))))))
                        (anf-11658
                         (+
                          the-formals-1046955
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171700))
                           (+ (* 1/3 anf-8082)
                              (+ (* 1/3 anf-8153) (* 1/6 anf-8224))))))
                        (anf-11659
                         (+
                          the-formals-1046956
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171701))
                           (+ (* 1/3 anf-8083)
                              (+ (* 1/3 anf-8154) (* 1/6 anf-8225))))))
                        (anf-11660
                         (+
                          the-formals-1046957
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171702))
                           (+ (* 1/3 anf-8084)
                              (+ (* 1/3 anf-8155) (* 1/6 anf-8226))))))
                        (anf-11661
                         (+
                          the-formals-1046958
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171703))
                           (+ (* 1/3 anf-8085)
                              (+ (* 1/3 anf-8156) (* 1/6 anf-8227))))))
                        (anf-11663
                         (+
                          the-formals-1046960
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171705))
                           (+ (* 1/3 anf-8073)
                              (+ (* 1/3 anf-8144) (* 1/6 anf-8215))))))
                        (anf-11664
                         (+
                          the-formals-1046961
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171706))
                           (+ (* 1/3 anf-8074)
                              (+ (* 1/3 anf-8145) (* 1/6 anf-8216))))))
                        (anf-11665
                         (+
                          the-formals-1046962
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171707))
                           (+ (* 1/3 anf-8075)
                              (+ (* 1/3 anf-8146) (* 1/6 anf-8217))))))
                        (anf-11666
                         (+
                          the-formals-1046963
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171708))
                           (+ (* 1/3 anf-8076)
                              (+ (* 1/3 anf-8147) (* 1/6 anf-8218))))))
                        (anf-11667
                         (+
                          the-formals-1046964
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171709))
                           (+ (* 1/3 anf-8077)
                              (+ (* 1/3 anf-8148) (* 1/6 anf-8219))))))
                        (anf-11668
                         (+
                          the-formals-1046965
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171710))
                           (+ (* 1/3 anf-8078)
                              (+ (* 1/3 anf-8149) (* 1/6 anf-8220))))))
                        (anf-11670
                         (+
                          the-formals-1046967
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171712))
                           (+ (* 1/3 anf-8066)
                              (+ (* 1/3 anf-8137) (* 1/6 anf-8208))))))
                        (anf-11671
                         (+
                          the-formals-1046968
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171713))
                           (+ (* 1/3 anf-8067)
                              (+ (* 1/3 anf-8138) (* 1/6 anf-8209))))))
                        (anf-11672
                         (+
                          the-formals-1046969
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171714))
                           (+ (* 1/3 anf-8068)
                              (+ (* 1/3 anf-8139) (* 1/6 anf-8210))))))
                        (anf-11673
                         (+
                          the-formals-1046970
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171715))
                           (+ (* 1/3 anf-8069)
                              (+ (* 1/3 anf-8140) (* 1/6 anf-8211))))))
                        (anf-11674
                         (+
                          the-formals-1046971
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171716))
                           (+ (* 1/3 anf-8070)
                              (+ (* 1/3 anf-8141) (* 1/6 anf-8212))))))
                        (anf-11675
                         (+
                          the-formals-1046972
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171717))
                           (+ (* 1/3 anf-8071)
                              (+ (* 1/3 anf-8142) (* 1/6 anf-8213))))))
                        (anf-11677
                         (+
                          the-formals-1046974
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171719))
                           (+ (* 1/3 anf-8059)
                              (+ (* 1/3 anf-8130) (* 1/6 anf-8201))))))
                        (anf-11678
                         (+
                          the-formals-1046975
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171720))
                           (+ (* 1/3 anf-8060)
                              (+ (* 1/3 anf-8131) (* 1/6 anf-8202))))))
                        (anf-11679
                         (+
                          the-formals-1046976
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171721))
                           (+ (* 1/3 anf-8061)
                              (+ (* 1/3 anf-8132) (* 1/6 anf-8203))))))
                        (anf-11680
                         (+
                          the-formals-1046977
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171722))
                           (+ (* 1/3 anf-8062)
                              (+ (* 1/3 anf-8133) (* 1/6 anf-8204))))))
                        (anf-11681
                         (+
                          the-formals-1046978
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171723))
                           (+ (* 1/3 anf-8063)
                              (+ (* 1/3 anf-8134) (* 1/6 anf-8205))))))
                        (anf-11682
                         (+
                          the-formals-1046979
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171724))
                           (+ (* 1/3 anf-8064)
                              (+ (* 1/3 anf-8135) (* 1/6 anf-8206))))))
                        (anf-11684
                         (+
                          the-formals-1046981
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171726))
                           (+ (* 1/3 anf-8052)
                              (+ (* 1/3 anf-8123) (* 1/6 anf-8194))))))
                        (anf-11685
                         (+
                          the-formals-1046982
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171727))
                           (+ (* 1/3 anf-8053)
                              (+ (* 1/3 anf-8124) (* 1/6 anf-8195))))))
                        (anf-11686
                         (+
                          the-formals-1046983
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171728))
                           (+ (* 1/3 anf-8054)
                              (+ (* 1/3 anf-8125) (* 1/6 anf-8196))))))
                        (anf-11687
                         (+
                          the-formals-1046984
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171729))
                           (+ (* 1/3 anf-8055)
                              (+ (* 1/3 anf-8126) (* 1/6 anf-8197))))))
                        (anf-11688
                         (+
                          the-formals-1046985
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171730))
                           (+ (* 1/3 anf-8056)
                              (+ (* 1/3 anf-8127) (* 1/6 anf-8198))))))
                        (anf-11689
                         (+
                          the-formals-1046986
                          (+
                           (* 1/6 (* the-closure-1042721 anf-1171731))
                           (+ (* 1/3 anf-8057)
                              (+ (* 1/3 anf-8128) (* 1/6 anf-8199)))))))
                   (operation-17692 the-closure-1042722
                                    the-closure-1042722
                                    the-closure-1042866
                                    the-closure-1042866
                                    (+ the-formals-1043297 -1)
                                    anf-11654
                                    the-formals-1046952
                                    anf-11656
                                    anf-11657
                                    anf-11658
                                    anf-11659
                                    anf-11660
                                    anf-11661
                                    the-formals-1046959
                                    anf-11663
                                    anf-11664
                                    anf-11665
                                    anf-11666
                                    anf-11667
                                    anf-11668
                                    the-formals-1046966
                                    anf-11670
                                    anf-11671
                                    anf-11672
                                    anf-11673
                                    anf-11674
                                    anf-11675
                                    the-formals-1046973
                                    anf-11677
                                    anf-11678
                                    anf-11679
                                    anf-11680
                                    anf-11681
                                    anf-11682
                                    the-formals-1046980
                                    anf-11684
                                    anf-11685
                                    anf-11686
                                    anf-11687
                                    anf-11688
                                    anf-11689
                                    the-formals-1045320
                                    anf-11654
                                    the-formals-1046952
                                    anf-11656
                                    anf-11657
                                    anf-11658
                                    anf-11659
                                    anf-11660
                                    anf-11661
                                    the-formals-1046959
                                    anf-11663
                                    anf-11664
                                    anf-11665
                                    anf-11666
                                    anf-11667
                                    anf-11668
                                    the-formals-1046966
                                    anf-11670
                                    anf-11671
                                    anf-11672
                                    anf-11673
                                    anf-11674
                                    anf-11675
                                    the-formals-1046973
                                    anf-11677
                                    anf-11678
                                    anf-11679
                                    anf-11680
                                    anf-11681
                                    anf-11682
                                    the-formals-1046980
                                    anf-11684
                                    anf-11685
                                    anf-11686
                                    anf-11687
                                    anf-11688
                                    anf-11689
                                    the-formals-1045320)))))))))))
 (define (escaping-operation-4 the-closure-1274075
                               the-closure-1274219
                               the-closure-1274363
                               the-closure-1274364
                               the-closure-1274365
                               the-closure-1274366
                               the-closure-1274367
                               the-closure-1274368
                               the-closure-1274369
                               the-closure-1274370
                               the-closure-1274371
                               the-closure-1274372
                               the-closure-1274373
                               the-closure-1274374
                               the-closure-1274375
                               the-closure-1274376
                               the-closure-1274377
                               the-closure-1274378
                               the-closure-1274379
                               the-closure-1274380
                               the-closure-1274381
                               the-closure-1274382
                               the-closure-1274383
                               the-closure-1274384
                               the-closure-1274385
                               the-closure-1274386
                               the-closure-1274387
                               the-closure-1274388
                               the-closure-1274389
                               the-closure-1274390
                               the-closure-1274391
                               the-closure-1274392
                               the-closure-1274393
                               the-closure-1274394
                               the-closure-1274395
                               the-closure-1274396
                               the-closure-1274397
                               the-closure-1274398
                               the-closure-1276385
                               the-closure-1278016
                               the-closure-1278017
                               the-closure-1278018
                               the-closure-1278019
                               the-closure-1278020
                               the-closure-1278021
                               the-closure-1278022
                               the-closure-1278023
                               the-closure-1278024
                               the-closure-1278025
                               the-closure-1278026
                               the-closure-1278027
                               the-closure-1278028
                               the-closure-1278029
                               the-closure-1278030
                               the-closure-1278031
                               the-closure-1278032
                               the-closure-1278033
                               the-closure-1278034
                               the-closure-1278035
                               the-closure-1278036
                               the-closure-1278037
                               the-closure-1278038
                               the-closure-1278039
                               the-closure-1278040
                               the-closure-1278041
                               the-closure-1278042
                               the-closure-1278043
                               the-closure-1278044
                               the-closure-1278045
                               the-closure-1278046
                               the-closure-1278047
                               the-closure-1278048
                               the-closure-1278049
                               the-closure-1278050
                               the-closure-1278051
                               the-closure-1279917)
   (lambda (external-formal-234025)
     (let-values
      (((capture-6-1297283 capture-6-1297284
                           capture-6-1297285
                           capture-6-1297286
                           capture-6-1297287
                           capture-6-1297288
                           capture-6-1297289
                           capture-6-1297290
                           capture-6-1297291
                           capture-6-1297292
                           capture-6-1297293
                           capture-6-1297294
                           capture-6-1297295
                           capture-6-1297296
                           capture-6-1297297
                           capture-6-1297298
                           capture-6-1297299
                           capture-6-1297300
                           capture-6-1297301
                           capture-6-1297302
                           capture-6-1297303
                           capture-6-1297304
                           capture-6-1297305
                           capture-6-1297306
                           capture-6-1297307
                           capture-6-1297308
                           capture-6-1297309
                           capture-6-1297310
                           capture-6-1297311
                           capture-6-1297312
                           capture-6-1297313
                           capture-6-1297314
                           capture-6-1297315
                           capture-6-1297316
                           capture-6-1297317
                           capture-6-1297318
                           capture-6-1297319
                           capture-6-1297463
                           capture-6-1297607
                           capture-6-1297608
                           capture-6-1297609
                           capture-6-1297610
                           capture-6-1297611
                           capture-6-1297612
                           capture-6-1297613
                           capture-6-1297614
                           capture-6-1297615
                           capture-6-1297616
                           capture-6-1297617
                           capture-6-1297618
                           capture-6-1297619
                           capture-6-1297620
                           capture-6-1297621
                           capture-6-1297622
                           capture-6-1297623
                           capture-6-1297624
                           capture-6-1297625
                           capture-6-1297626
                           capture-6-1297627
                           capture-6-1297628
                           capture-6-1297629
                           capture-6-1297630
                           capture-6-1297631
                           capture-6-1297632
                           capture-6-1297633
                           capture-6-1297634
                           capture-6-1297635
                           capture-6-1297636
                           capture-6-1297637
                           capture-6-1297638
                           capture-6-1297639
                           capture-6-1297640
                           capture-6-1297641
                           capture-6-1297642
                           capture-6-1299629
                           capture-6-1301260
                           capture-6-1301261
                           capture-6-1301262
                           capture-6-1301263
                           capture-6-1301264
                           capture-6-1301265
                           capture-6-1301266
                           capture-6-1301267
                           capture-6-1301268
                           capture-6-1301269
                           capture-6-1301270
                           capture-6-1301271
                           capture-6-1301272
                           capture-6-1301273
                           capture-6-1301274
                           capture-6-1301275
                           capture-6-1301276
                           capture-6-1301277
                           capture-6-1301278
                           capture-6-1301279
                           capture-6-1301280
                           capture-6-1301281
                           capture-6-1301282
                           capture-6-1301283
                           capture-6-1301284
                           capture-6-1301285
                           capture-6-1301286
                           capture-6-1301287
                           capture-6-1301288
                           capture-6-1301289
                           capture-6-1301290
                           capture-6-1301291
                           capture-6-1301292
                           capture-6-1301293
                           capture-6-1301294
                           capture-6-1301295
                           capture-6-1303161)
        (operation-17692 external-formal-234025
                         external-formal-234025
                         the-closure-1274219
                         the-closure-1274219
                         the-closure-1274075
                         the-closure-1274363
                         the-closure-1274364
                         the-closure-1274365
                         the-closure-1274366
                         the-closure-1274367
                         the-closure-1274368
                         the-closure-1274369
                         the-closure-1274370
                         the-closure-1274371
                         the-closure-1274372
                         the-closure-1274373
                         the-closure-1274374
                         the-closure-1274375
                         the-closure-1274376
                         the-closure-1274377
                         the-closure-1274378
                         the-closure-1274379
                         the-closure-1274380
                         the-closure-1274381
                         the-closure-1274382
                         the-closure-1274383
                         the-closure-1274384
                         the-closure-1274385
                         the-closure-1274386
                         the-closure-1274387
                         the-closure-1274388
                         the-closure-1274389
                         the-closure-1274390
                         the-closure-1274391
                         the-closure-1274392
                         the-closure-1274393
                         the-closure-1274394
                         the-closure-1274395
                         the-closure-1274396
                         the-closure-1274397
                         the-closure-1274398
                         the-closure-1276385
                         the-closure-1278016
                         the-closure-1278017
                         the-closure-1278018
                         the-closure-1278019
                         the-closure-1278020
                         the-closure-1278021
                         the-closure-1278022
                         the-closure-1278023
                         the-closure-1278024
                         the-closure-1278025
                         the-closure-1278026
                         the-closure-1278027
                         the-closure-1278028
                         the-closure-1278029
                         the-closure-1278030
                         the-closure-1278031
                         the-closure-1278032
                         the-closure-1278033
                         the-closure-1278034
                         the-closure-1278035
                         the-closure-1278036
                         the-closure-1278037
                         the-closure-1278038
                         the-closure-1278039
                         the-closure-1278040
                         the-closure-1278041
                         the-closure-1278042
                         the-closure-1278043
                         the-closure-1278044
                         the-closure-1278045
                         the-closure-1278046
                         the-closure-1278047
                         the-closure-1278048
                         the-closure-1278049
                         the-closure-1278050
                         the-closure-1278051
                         the-closure-1279917)))
      (cons
       (cons
        capture-6-1297283
        (cons
         (cons
          capture-6-1297284
          (cons
           (cons capture-6-1297285
                 (cons capture-6-1297286 (cons capture-6-1297287 ())))
           (cons
            (cons capture-6-1297288
                  (cons capture-6-1297289 (cons capture-6-1297290 ())))
            ())))
         (cons
          (cons
           capture-6-1297291
           (cons
            (cons capture-6-1297292
                  (cons capture-6-1297293 (cons capture-6-1297294 ())))
            (cons
             (cons capture-6-1297295
                   (cons capture-6-1297296 (cons capture-6-1297297 ())))
             ())))
          (cons
           (cons
            capture-6-1297298
            (cons
             (cons capture-6-1297299
                   (cons capture-6-1297300 (cons capture-6-1297301 ())))
             (cons
              (cons capture-6-1297302
                    (cons capture-6-1297303 (cons capture-6-1297304 ())))
              ())))
           (cons
            (cons
             capture-6-1297305
             (cons
              (cons capture-6-1297306
                    (cons capture-6-1297307 (cons capture-6-1297308 ())))
              (cons
               (cons capture-6-1297309
                     (cons capture-6-1297310 (cons capture-6-1297311 ())))
               ())))
            (cons
             (cons
              capture-6-1297312
              (cons
               (cons capture-6-1297313
                     (cons capture-6-1297314 (cons capture-6-1297315 ())))
               (cons
                (cons capture-6-1297316
                      (cons capture-6-1297317 (cons capture-6-1297318 ())))
                ())))
             ()))))))
       (escaping-operation-4 capture-6-1297319
                             capture-6-1297463
                             capture-6-1297607
                             capture-6-1297608
                             capture-6-1297609
                             capture-6-1297610
                             capture-6-1297611
                             capture-6-1297612
                             capture-6-1297613
                             capture-6-1297614
                             capture-6-1297615
                             capture-6-1297616
                             capture-6-1297617
                             capture-6-1297618
                             capture-6-1297619
                             capture-6-1297620
                             capture-6-1297621
                             capture-6-1297622
                             capture-6-1297623
                             capture-6-1297624
                             capture-6-1297625
                             capture-6-1297626
                             capture-6-1297627
                             capture-6-1297628
                             capture-6-1297629
                             capture-6-1297630
                             capture-6-1297631
                             capture-6-1297632
                             capture-6-1297633
                             capture-6-1297634
                             capture-6-1297635
                             capture-6-1297636
                             capture-6-1297637
                             capture-6-1297638
                             capture-6-1297639
                             capture-6-1297640
                             capture-6-1297641
                             capture-6-1297642
                             capture-6-1299629
                             capture-6-1301260
                             capture-6-1301261
                             capture-6-1301262
                             capture-6-1301263
                             capture-6-1301264
                             capture-6-1301265
                             capture-6-1301266
                             capture-6-1301267
                             capture-6-1301268
                             capture-6-1301269
                             capture-6-1301270
                             capture-6-1301271
                             capture-6-1301272
                             capture-6-1301273
                             capture-6-1301274
                             capture-6-1301275
                             capture-6-1301276
                             capture-6-1301277
                             capture-6-1301278
                             capture-6-1301279
                             capture-6-1301280
                             capture-6-1301281
                             capture-6-1301282
                             capture-6-1301283
                             capture-6-1301284
                             capture-6-1301285
                             capture-6-1301286
                             capture-6-1301287
                             capture-6-1301288
                             capture-6-1301289
                             capture-6-1301290
                             capture-6-1301291
                             capture-6-1301292
                             capture-6-1301293
                             capture-6-1301294
                             capture-6-1301295
                             capture-6-1303161)))))
 (let* ((anf-231044 (real (+ 1 (real .00000597682))))
        (anf-231053 (real 0))
        (anf-231057 (real 0))
        (anf-231061 (real 0))
        (anf-231083 (real 0))
        (anf-231087 (real 0))
        (anf-231091 (real 0))
        (anf-230794 (real (/ 1 (real 1047.355))))
        (anf-230803 (real (real 3.409530427945)))
        (anf-230810 (real (real 3.635870038323)))
        (anf-230817 (real (real .0342402877997)))
        (anf-230830 (real (real -.005604670182013)))
        (anf-230837 (real (real .005524493219597)))
        (anf-230844 (real (real -.0000026639819072)))
        (anf-230544 (real (/ 1 (real 3501.6))))
        (anf-230553 (real (real 6.612079829705)))
        (anf-230560 (real (real 6.386934883415)))
        (anf-230567 (real (real -.1361443021015)))
        (anf-230580 (real (real -.004180230691977)))
        (anf-230587 (real (real .004003576742277)))
        (anf-230594 (real (real .0000167237640786)))
        (anf-230293 (real (/ 1 (real 22869.))))
        (anf-230302 (real (real 11.16769742623)))
        (anf-230309 (real (real 16.04343604329)))
        (anf-230316 (real (real .361784940993)))
        (anf-230329 (real (real -.003265538550417)))
        (anf-230336 (real (real .002070723353855)))
        (anf-230343 (real (real -.0000217667721966)))
        (anf-230041 (real (/ 1 (real 19314.))))
        (anf-230050 (real (real -30.17366005485)))
        (anf-230057 (real (real 1.917641287545)))
        (anf-230064 (real (real -.153885933998)))
        (anf-230077 (real (real -.0002241622739519)))
        (anf-230084 (real (real -.003107271885463)))
        (anf-230091 (real (real .0000358376025706)))
        (the-formals-233955
         (real
          (* (/ (real .00000000006673) 3347937656835192000000000000000000)
             (* (real 1.98892e30) 7464960000)))))
   (lambda (external-formal)
     (let ((anf-229586 (real 0)))
       (cons
        (cons
         anf-229586
         (cons
          (cons
           anf-231044
           (cons
            (cons anf-231053 (cons anf-231057 (cons anf-231061 ())))
            (cons (cons anf-231083 (cons anf-231087 (cons anf-231091 ())))
                  ())))
          (cons
           (cons
            anf-230794
            (cons
             (cons anf-230803 (cons anf-230810 (cons anf-230817 ())))
             (cons (cons anf-230830 (cons anf-230837 (cons anf-230844 ())))
                   ())))
           (cons
            (cons
             anf-230544
             (cons
              (cons anf-230553 (cons anf-230560 (cons anf-230567 ())))
              (cons (cons anf-230580 (cons anf-230587 (cons anf-230594 ())))
                    ())))
            (cons
             (cons
              anf-230293
              (cons
               (cons anf-230302 (cons anf-230309 (cons anf-230316 ())))
               (cons (cons anf-230329 (cons anf-230336 (cons anf-230343 ())))
                     ())))
             (cons
              (cons
               anf-230041
               (cons
                (cons anf-230050 (cons anf-230057 (cons anf-230064 ())))
                (cons (cons anf-230077 (cons anf-230084 (cons anf-230091 ())))
                      ())))
              ()))))))
        (escaping-operation-4 external-formal
                              external-formal
                              anf-229586
                              anf-231044
                              anf-231053
                              anf-231057
                              anf-231061
                              anf-231083
                              anf-231087
                              anf-231091
                              anf-230794
                              anf-230803
                              anf-230810
                              anf-230817
                              anf-230830
                              anf-230837
                              anf-230844
                              anf-230544
                              anf-230553
                              anf-230560
                              anf-230567
                              anf-230580
                              anf-230587
                              anf-230594
                              anf-230293
                              anf-230302
                              anf-230309
                              anf-230316
                              anf-230329
                              anf-230336
                              anf-230343
                              anf-230041
                              anf-230050
                              anf-230057
                              anf-230064
                              anf-230077
                              anf-230084
                              anf-230091
                              the-formals-233955
                              anf-229586
                              anf-231044
                              anf-231053
                              anf-231057
                              anf-231061
                              anf-231083
                              anf-231087
                              anf-231091
                              anf-230794
                              anf-230803
                              anf-230810
                              anf-230817
                              anf-230830
                              anf-230837
                              anf-230844
                              anf-230544
                              anf-230553
                              anf-230560
                              anf-230567
                              anf-230580
                              anf-230587
                              anf-230594
                              anf-230293
                              anf-230302
                              anf-230309
                              anf-230316
                              anf-230329
                              anf-230336
                              anf-230343
                              anf-230041
                              anf-230050
                              anf-230057
                              anf-230064
                              anf-230077
                              anf-230084
                              anf-230091
                              the-formals-233955))))))
