- "¶m.processorURL=" + encodeURIComponent(processorURL) +
- "¶m.getterURL=" + encodeURIComponent(getterURL) +
- "¶m.proofcheckerURL=" + encodeURIComponent(proofcheckerURL) +
- "¶m.draw_graphURL=" + encodeURIComponent(draw_graphURL) +
- "¶m.uri_set_queueURL=" + encodeURIComponent(uri_set_queueURL) +
- "¶m.UNICODEvsSYMBOL=" + encodeURIComponent(UNICODEvsSYMBOL) +