{"id1":"s2","act":"x","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s5","act":"x","obs":"1"}
{"id1":"s1","act":"+.s4","obs":"1"}
{"id1":"s1","act":"x","obs":"1"}
{"id1":"s5","act":"s4.-;s2.+","obs":"1"}
{"id1":"s5","act":"0","obs":"1"}
{"id1":"s5","act":"-.s4","obs":"1"}
{"id1":"s2","act":"x","obs":"1"}
{"id1":"s4","act":"0","obs":"1"}
{"id1":"s5","act":"x","obs":"1"}
{"id1":"s1","act":"x","obs":"1"}
{"id1":"s1","act":"-.s5","obs":"1"}
{"id1":"s5","act":"x","obs":"1"}
{"id1":"s5","act":"x","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s4","act":"x","obs":"1"}
{"id1":"s5","act":"+.s4","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s3","act":"x","obs":"1"}
{"id1":"s2","act":"-.s5","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s3","act":"s2.+","obs":"1"}
{"id1":"s4","act":"0","obs":"1"}
{"id1":"s3","act":"s1.+","obs":"1"}
{"id1":"s5","act":"x","obs":"1"}
{"id1":"s5","act":"0","obs":"1"}
{"id1":"s3","act":"x","obs":"1"}
{"id1":"s2","act":"s4.+","obs":"1"}
{"id1":"s2","act":"0","obs":"1"}
{"id1":"s4","act":"s3.-","obs":"1"}
{"id1":"s3","act":"x","obs":"1"}
{"id1":"s2","act":"x","obs":"1"}
{"id1":"s4","act":"0","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s3","act":"0","obs":"1"}
{"id1":"s3","act":"x","obs":"1"}
{"id1":"s2","act":"+.s3;s1.+","obs":"1"}
{"id1":"s2","act":"x","obs":"1"}
{"id1":"s5","act":"-.s2","obs":"1"}
{"id1":"s2","act":"s1.-","obs":"1"}
{"id1":"s4","act":"0","obs":"1"}
{"id1":"s5","act":"-.s3","obs":"1"}
{"id1":"s3","act":"+.s1","obs":"1"}
{"id1":"s1","act":"-.s5","obs":"1"}
{"id1":"s3","act":"+.s1","obs":"1"}
{"id1":"s2","act":"+.s5","obs":"1"}
{"id1":"s2","act":"x","obs":"1"}
{"id1":"s3","act":"s4.-","obs":"1"}
{"id1":"s2","act":"-.s4","obs":"2"}
{"id1":"s4","act":"-.s2","obs":"2"}
{"id1":"s3","act":"s1.+","obs":"2"}
{"id1":"s1","act":"x","obs":"2"}
{"id1":"s4","act":"s2.-","obs":"2"}
{"id1":"s5","act":"0","obs":"2"}
{"id1":"s1","act":"x","obs":"2"}
{"id1":"s1","act":"x","obs":"2"}
{"id1":"s5","act":"-.s1","obs":"2"}
{"id1":"s3","act":"x","obs":"2"}
{"id1":"s4","act":"x","obs":"2"}
{"id1":"s4","act":"s1.-","obs":"2"}
{"id1":"s4","act":"x","obs":"2"}
{"id1":"s1","act":"0","obs":"2"}
{"id1":"s5","act":"x","obs":"2"}
{"id1":"s2","act":"+.s4","obs":"2"}
{"id1":"s3","act":"s5.+","obs":"2"}
{"id1":"s5","act":"0","obs":"2"}
{"id1":"s2","act":"x","obs":"2"}
{"id1":"s2","act":"+.s4","obs":"2"}
{"id1":"s4","act":"-.s5;s3.-","obs":"2"}
{"id1":"s4","act":"0","obs":"2"}
{"id1":"s4","act":"s3.+;s1.-","obs":"2"}
{"id1":"s1","act":"s5.+","obs":"2"}
{"id1":"s3","act":"s1.-","obs":"2"}
{"id1":"s2","act":"s3.-","obs":"2"}
{"id1":"s4","act":"x","obs":"2"}
{"id1":"s4","act":"0","obs":"2"}
{"id1":"s2","act":"x","obs":"2"}
{"id1":"s4","act":"x","obs":"2"}
{"id1":"s3","act":"+.s2","obs":"2"}
{"id1":"s4","act":"0","obs":"2"}
{"id1":"s4","act":"0","obs":"2"}
{"id1":"s1","act":"x","obs":"2"}
{"id1":"s3","act":"+.s4;s5.-","obs":"2"}
{"id1":"s4","act":"-.s3","obs":"2"}
{"id1":"s3","act":"+.s5","obs":"2"}
{"id1":"s4","act":"-.s2","obs":"2"}
{"id1":"s3","act":"0","obs":"2"}
{"id1":"s4","act":"+.s3","obs":"2"}
{"id1":"s5","act":"x","obs":"2"}
{"id1":"s1","act":"0","obs":"2"}
{"id1":"s2","act":"-.s4","obs":"2"}
{"id1":"s3","act":"0","obs":"2"}
{"id1":"s4","act":"x","obs":"2"}
{"id1":"s5","act":"x","obs":"2"}
{"id1":"s4","act":"0","obs":"2"}
{"id1":"s3","act":"x","obs":"2"}
{"id1":"s2","act":"x","obs":"2"}
{"id1":"s2","act":"s5.-","obs":"2"}
{"id1":"s1","act":"x","obs":"2"}