{"shas":[["bbe46ed0e4ef68571be13295b782bdbf026bb71e","1bafd54f151cbbf1e4ea67bfc45707624d2678a2@umd.edu","In TransitionVector, state sequence order is made to be same as\nalphabetic ascend order of its machine name. In simulation machine is\nnot directly from net but ordered with TreeMap.","Yuchen Zhou"]],"ref":"refs/heads/master","size":1,"head":"bbe46ed0e4ef68571be13295b782bdbf026bb71e","push_id":41506885}