xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 7a7aea1f13832695eadc2fd5afef8ec0a48c5f75)