{"type":"$setdelimiter","value":"$$","pos":0,"row":0,"col":0,"attr":{}}
{"type":"$space","value":"\n","pos":12,"row":0,"col":12,"attr":{}}
{"type":"$symbol","value":";","pos":13,"row":1,"col":0,"attr":{}}
{"type":"$space","value":"\n","pos":14,"row":1,"col":1,"attr":{}}
{"type":"$delimiter","value":"$$","pos":15,"row":2,"col":0,"attr":{}}
{"type":"$space","value":"\n","pos":17,"row":2,"col":2,"attr":{}}