_:b21020 _:b20023 . _:b20023 . _:b20023 "1"^^ . _:b20022 . _:b21019 _:b20022 . _:b20022 . _:b20022 . _:b20023 . _:b21019 _:b21020 . _:b21020 .