The portal is throwing following error for my input, i suspect it's because i left label 0 empty, but label 0 is meant to be empty since it's containing neither of q or p
(in another question in quiz description label 0 has been defined as empty)
[Fail] Invalid Submission Format: Kripke structure parsing failed: Parsing Error in ParseKripkeStructure
vars p,q;
init 2,3;
labels 0:; 2:q; 3:p,q;
transitions 0->2; 2->0; 3->3;
