- "&theoryuri=" + top.theoryuri +
- "&processorURL=" + top.processorURL +
- "&getterURL=" + top.getterURL +
- "&proofcheckerURL=" + top.proofcheckerURL +
- "&draw_graphURL=" + top.draw_graphURL +
- "&uri_set_queueURL=" + top.uri_set_queueURL +
- "&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;