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