(3995:lookup-switch 3523 [3307, 3307, 3307, 3337, 3337, 3337, 3337, 3337, 3491, 3491, 3491, 3491, 3491, 3491, 3491, 3523]
    (ternary
      (3560:===
        (3558:bit-or
          (3555:lshift
            (3551:integer 46)
            (3553:integer 16))
          (3556:integer 14))
        (3559:get-local 3))
      (3564:integer 0)
      (ternary
        (3579:===
          (3577:bit-or
            (3574:lshift
              (3570:integer 46)
              (3572:integer 16))
            (3575:integer 15))
          (3578:get-local 3))
        (3583:integer 1)
        (ternary
          (3598:===
            (3596:bit-or
              (3593:lshift
                (3589:integer 46)
                (3591:integer 16))
              (3594:integer 16))
            (3597:get-local 3))
          (3602:integer 2)
          (ternary
            (3629:===
              (3627:bit-or
                (3621:bit-or
                  (3615:bit-or
                    (3608:integer 67)
                    (3614:lshift
                      (3610:integer 87)
                      (3612:integer 8)))
                  (3620:lshift
                    (3616:integer 83)
                    (3618:integer 16)))
                (3626:lshift
                  (3622:integer 10)
                  (3624:integer 24)))
              (3628:get-local 3))
            (3633:integer 3)
            (ternary
              (3660:===
                (3658:bit-or
                  (3652:bit-or
                    (3646:bit-or
                      (3639:integer 67)
                      (3645:lshift
                        (3641:integer 87)
                        (3643:integer 8)))
                    (3651:lshift
                      (3647:integer 83)
                      (3649:integer 16)))
                  (3657:lshift
                    (3653:integer 9)
                    (3655:integer 24)))
                (3659:get-local 3))
              (3664:integer 4)
              (ternary
                (3691:===
                  (3689:bit-or
                    (3683:bit-or
                      (3677:bit-or
                        (3670:integer 67)
                        (3676:lshift
                          (3672:integer 87)
                          (3674:integer 8)))
                      (3682:lshift
                        (3678:integer 83)
                        (3680:integer 16)))
                    (3688:lshift
                      (3684:integer 8)
                      (3686:integer 24)))
                  (3690:get-local 3))
                (3695:integer 5)
                (ternary
                  (3722:===
                    (3720:bit-or
                      (3714:bit-or
                        (3708:bit-or
                          (3701:integer 67)
                          (3707:lshift
                            (3703:integer 87)
                            (3705:integer 8)))
                        (3713:lshift
                          (3709:integer 83)
                          (3711:integer 16)))
                      (3719:lshift
                        (3715:integer 7)
                        (3717:integer 24)))
                    (3721:get-local 3))
                  (3726:integer 6)
                  (ternary
                    (3753:===
                      (3751:bit-or
                        (3745:bit-or
                          (3739:bit-or
                            (3732:integer 67)
                            (3738:lshift
                              (3734:integer 87)
                              (3736:integer 8)))
                          (3744:lshift
                            (3740:integer 83)
                            (3742:integer 16)))
                        (3750:lshift
                          (3746:integer 6)
                          (3748:integer 24)))
                      (3752:get-local 3))
                    (3757:integer 7)
                    (ternary
                      (3784:===
                        (3782:bit-or
                          (3776:bit-or
                            (3770:bit-or
                              (3763:integer 70)
                              (3769:lshift
                                (3765:integer 87)
                                (3767:integer 8)))
                            (3775:lshift
                              (3771:integer 83)
                              (3773:integer 16)))
                          (3781:lshift
                            (3777:integer 10)
                            (3779:integer 24)))
                        (3783:get-local 3))
                      (3788:integer 8)
                      (ternary
                        (3815:===
                          (3813:bit-or
                            (3807:bit-or
                              (3801:bit-or
                                (3794:integer 70)
                                (3800:lshift
                                  (3796:integer 87)
                                  (3798:integer 8)))
                              (3806:lshift
                                (3802:integer 83)
                                (3804:integer 16)))
                            (3812:lshift
                              (3808:integer 9)
                              (3810:integer 24)))
                          (3814:get-local 3))
                        (3819:integer 9)
                        (ternary
                          (3846:===
                            (3844:bit-or
                              (3838:bit-or
                                (3832:bit-or
                                  (3825:integer 70)
                                  (3831:lshift
                                    (3827:integer 87)
                                    (3829:integer 8)))
                                (3837:lshift
                                  (3833:integer 83)
                                  (3835:integer 16)))
                              (3843:lshift
                                (3839:integer 8)
                                (3841:integer 24)))
                            (3845:get-local 3))
                          (3850:integer 10)
                          (ternary
                            (3877:===
                              (3875:bit-or
                                (3869:bit-or
                                  (3863:bit-or
                                    (3856:integer 70)
                                    (3862:lshift
                                      (3858:integer 87)
                                      (3860:integer 8)))
                                  (3868:lshift
                                    (3864:integer 83)
                                    (3866:integer 16)))
                                (3874:lshift
                                  (3870:integer 7)
                                  (3872:integer 24)))
                              (3876:get-local 3))
                            (3881:integer 11)
                            (ternary
                              (3908:===
                                (3906:bit-or
                                  (3900:bit-or
                                    (3894:bit-or
                                      (3887:integer 70)
                                      (3893:lshift
                                        (3889:integer 87)
                                        (3891:integer 8)))
                                    (3899:lshift
                                      (3895:integer 83)
                                      (3897:integer 16)))
                                  (3905:lshift
                                    (3901:integer 6)
                                    (3903:integer 24)))
                                (3907:get-local 3))
                              (3912:integer 12)
                              (ternary
                                (3939:===
                                  (3937:bit-or
                                    (3931:bit-or
                                      (3925:bit-or
                                        (3918:integer 70)
                                        (3924:lshift
                                          (3920:integer 87)
                                          (3922:integer 8)))
                                      (3930:lshift
                                        (3926:integer 83)
                                        (3928:integer 16)))
                                    (3936:lshift
                                      (3932:integer 5)
                                      (3934:integer 24)))
                                  (3938:get-local 3))
                                (3943:integer 13)
                                (ternary
                                  (3970:===
                                    (3968:bit-or
                                      (3962:bit-or
                                        (3956:bit-or
                                          (3949:integer 70)
                                          (3955:lshift
                                            (3951:integer 87)
                                            (3953:integer 8)))
                                        (3961:lshift
                                          (3957:integer 83)
                                          (3959:integer 16)))
                                      (3967:lshift
                                        (3963:integer 4)
                                        (3965:integer 24)))
                                    (3969:get-local 3))
                                  (3974:integer 14)
                                  (ternary
                                    (3980:false)
                                    (3985:integer 15)
                                    (3991:integer 15))))))))))))))))))