_:b400898859 "proto-prog" . _:b400898859 "22"^^ .