[{"type":"expression","expression":"(a+b)*b(a+ab)","testCases":[{"bbbbab":true},{"baabbaa":false},{"aaabaa":false},{"bbab":true},{"abbab":true}],"graph":{"nodes":[{"left":24.5,"top":190.5,"i":true,"f":false},{"left":183.5,"top":74.5,"i":false,"f":false},{"left":184.5,"top":299.5,"i":false,"f":false},{"left":330.5,"top":183.5,"i":false,"f":false},{"left":450.5,"top":182.5,"i":false,"f":false},{"left":557.5,"top":183.5,"i":false,"f":true}],"edges":[{"start":0,"end":1,"weight":"a"},{"start":0,"end":2,"weight":"b"},{"start":1,"end":3,"weight":"b"},{"start":2,"end":3,"weight":"b"},{"start":3,"end":4,"weight":"a"},{"start":4,"end":5,"weight":"b"},{"start":5,"end":5,"weight":"b"}],"shorthand":false}},{"type":"expression","expression":"(aa*(a+b))","testCases":[{"abaab":false},{"aaaaa":true},{"aaaab":true},{"baab":false},{"aab":true}],"graph":{"nodes":[{"left":25.5,"top":174.5,"i":true,"f":false},{"left":247.5,"top":174.5,"i":false,"f":false},{"left":379.5,"top":105.5,"i":false,"f":true},{"left":382.5,"top":246.5,"i":false,"f":true},{"left":136.5,"top":174.5,"i":false,"f":false}],"edges":[{"start":0,"end":4,"weight":"a"},{"start":1,"end":2,"weight":"a"},{"start":1,"end":3,"weight":"b"},{"start":4,"end":1,"weight":"a"}],"shorthand":false}},{"type":"expression","expression":"(a+b+c)*dd*(b+ac)*","testCases":[{"abccbadddb":true},{"abbcdbac":false},{"addddbacbb":true},{"dddacac":false},{"bbbcaccddcab":false}],"graph":{"nodes":[{"left":31,"top":185,"i":false,"f":false},{"left":123,"top":78,"i":false,"f":false},{"left":194,"top":175,"i":false,"f":false},{"left":152,"top":273,"i":false,"f":false},{"left":354,"top":183,"i":false,"f":false},{"left":463,"top":188,"i":false,"f":false},{"left":614,"top":95,"i":false,"f":true},{"left":545,"top":255,"i":false,"f":false},{"left":658,"top":301,"i":false,"f":true}],"edges":[{"start":0,"end":1,"weight":"a"},{"start":0,"end":3,"weight":"c"},{"start":0,"end":2,"weight":"b"},{"start":1,"end":4,"weight":"d"},{"start":2,"end":4,"weight":"d"},{"start":3,"end":4,"weight":"d"},{"start":4,"end":5,"weight":"d"},{"start":5,"end":5,"weight":"d"},{"start":5,"end":6,"weight":"b"},{"start":5,"end":7,"weight":"a"},{"start":7,"end":8,"weight":"c"}],"shorthand":false}}]