USER: [([)(()(])
MODEL: length: 10
count: 10 11 12
start: - | [([)(()(])
1 [: [--------- | ([)(()(])-
2 (: ([-------- | [)(()(])--
3 [: [([------- | )(()(])---
4 ): error [
result: invalid at 4, expected ].
===
USER: ((((((()[]
MODEL: length: 10
count: 10 11 12
start: - | ((((((()[]
1 (: (--------- | (((((()[]-
2 (: ((-------- | ((((()[]--
3 (: (((------- | (((()[]---
4 (: ((((------ | ((()[]----
5 (: (((((----- | (()[]-----
6 (: ((((((---- | ()[]------
7 (: (((((((--- | )[]-------
8 ): ((((((---- | []--------
9 [: [((((((--- | ]---------
10 ]: ((((((---- | ----------
result: incomplete, expected )))))).
===
USER: ]([)((([
MODEL: length: 8
count: 8 9 10 11 12
start: - | ]([)((([--
1 ]: error -
result: invalid at 1, expected none.
===
USER: [(([(([[[[
MODEL: length: 10
count: 10 11 12
start: - | [(([(([[[[
1 [: [--------- | (([(([[[[-
2 (: ([-------- | ([(([[[[--
3 (: (([------- | [(([[[[---
4 [: [(([------ | (([[[[----
5 (: ([(([----- | ([[[[-----
6 (: (([(([---- | [[[[------
7 [: [(([(([--- | [[[-------
8 [: [[(([(([-- | [[--------
9 [: [[[(([(([- | [---------
10 [: [[[[(([(([ | ----------
result: incomplete, expected ]]]]))]))].
===
USER: (((((][]
MODEL: length: 8
count: 8 9 10 11 12
start: - | (((((][]--
1 (: (--------- | ((((][]---
2 (: ((-------- | (((][]----
3 (: (((------- | ((][]-----
4 (: ((((------ | (][]------
5 (: (((((----- | ][]-------
6 ]: error (
result: invalid at 6, expected ).
===
USER: ()(([[()]
MODEL: length: 9
count: 9 10 11 12
start: - | ()(([[()]-
1 (: (--------- | )(([[()]--
2 ): ---------- | (([[()]---
3 (: (--------- | ([[()]----
4 (: ((-------- | [[()]-----
5 [: [((------- | [()]------
6 [: [[((------ | ()]-------
7 (: ([[((----- | )]--------
8 ): [[((------ | ]---------
9 ]: [((------- | ----------
result: incomplete, expected ])).
===
USER: )])[(])]
MODEL: length: 8
count: 8 9 10 11 12
start: - | )])[(])]--
1 ): error -
result: invalid at 1, expected none.
===
USER: ))[])]]]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ))[])]]]--
1 ): error -
result: invalid at 1, expected none.
===
USER: (([([[[]([
MODEL: length: 10
count: 10 11 12
start: - | (([([[[]([
1 (: (--------- | ([([[[]([-
2 (: ((-------- | [([[[]([--
3 [: [((------- | ([[[]([---
4 (: ([((------ | [[[]([----
5 [: [([((----- | [[]([-----
6 [: [[([((---- | []([------
7 [: [[[([((--- | ]([-------
8 ]: [[([((---- | ([--------
9 (: ([[([((--- | [---------
10 [: [([[([((-- | ----------
result: incomplete, expected ])]])])).
===
USER: [[([[[()[
MODEL: length: 9
count: 9 10 11 12
start: - | [[([[[()[-
1 [: [--------- | [([[[()[--
2 [: [[-------- | ([[[()[---
3 (: ([[------- | [[[()[----
4 [: [([[------ | [[()[-----
5 [: [[([[----- | [()[------
6 [: [[[([[---- | ()[-------
7 (: ([[[([[--- | )[--------
8 ): [[[([[---- | [---------
9 [: [[[[([[--- | ----------
result: incomplete, expected ]]]])]].
===
USER: [[]([]
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | [[]([]----
1 [: [--------- | []([]-----
2 [: [[-------- | ]([]------
3 ]: [--------- | ([]-------
4 (: ([-------- | []--------
5 [: [([------- | ]---------
6 ]: ([-------- | ----------
result: incomplete, expected )].
===
USER: )([)([][
MODEL: length: 8
count: 8 9 10 11 12
start: - | )([)([][--
1 ): error -
result: invalid at 1, expected none.
===
USER: ((([][
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | ((([][----
1 (: (--------- | (([][-----
2 (: ((-------- | ([][------
3 (: (((------- | [][-------
4 [: [(((------ | ][--------
5 ]: (((------- | [---------
6 [: [(((------ | ----------
result: incomplete, expected ]))).
===
USER: [([(([]][)
MODEL: length: 10
count: 10 11 12
start: - | [([(([]][)
1 [: [--------- | ([(([]][)-
2 (: ([-------- | [(([]][)--
3 [: [([------- | (([]][)---
4 (: ([([------ | ([]][)----
5 (: (([([----- | []][)-----
6 [: [(([([---- | ]][)------
7 ]: (([([----- | ][)-------
8 ]: error (
result: invalid at 8, expected ).
===
USER: )]))[([]](
MODEL: length: 10
count: 10 11 12
start: - | )]))[([]](
1 ): error -
result: invalid at 1, expected none.
===
USER: [[[]](][
MODEL: length: 8
count: 8 9 10 11 12
start: - | [[[]](][--
1 [: [--------- | [[]](][---
2 [: [[-------- | []](][----
3 [: [[[------- | ]](][-----
4 ]: [[-------- | ](][------
5 ]: [--------- | (][-------
6 (: ([-------- | ][--------
7 ]: error (
result: invalid at 7, expected ).
===
USER: [([(((((()
MODEL: length: 10
count: 10 11 12
start: - | [([(((((()
1 [: [--------- | ([(((((()-
2 (: ([-------- | [(((((()--
3 [: [([------- | (((((()---
4 (: ([([------ | ((((()----
5 (: (([([----- | (((()-----
6 (: ((([([---- | ((()------
7 (: (((([([--- | (()-------
8 (: ((((([([-- | ()--------
9 (: (((((([([- | )---------
10 ): ((((([([-- | ----------
result: incomplete, expected )))))])].
===
USER: ()[()(])
MODEL: length: 8
count: 8 9 10 11 12
start: - | ()[()(])--
1 (: (--------- | )[()(])---
2 ): ---------- | [()(])----
3 [: [--------- | ()(])-----
4 (: ([-------- | )(])------
5 ): [--------- | (])-------
6 (: ([-------- | ])--------
7 ]: error (
result: invalid at 7, expected ).
===
USER: ([()][)]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ([()][)]--
1 (: (--------- | [()][)]---
2 [: [(-------- | ()][)]----
3 (: ([(------- | )][)]-----
4 ): [(-------- | ][)]------
5 ]: (--------- | [)]-------
6 [: [(-------- | )]--------
7 ): error [
result: invalid at 7, expected ].
===
USER: [](([][]]
MODEL: length: 9
count: 9 10 11 12
start: - | [](([][]]-
1 [: [--------- | ](([][]]--
2 ]: ---------- | (([][]]---
3 (: (--------- | ([][]]----
4 (: ((-------- | [][]]-----
5 [: [((------- | ][]]------
6 ]: ((-------- | []]-------
7 [: [((------- | ]]--------
8 ]: ((-------- | ]---------
9 ]: error (
result: invalid at 9, expected ).
===
USER: )[[])
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | )[[])-----
1 ): error -
result: invalid at 1, expected none.
===
USER: [[([[[(([
MODEL: length: 9
count: 9 10 11 12
start: - | [[([[[(([-
1 [: [--------- | [([[[(([--
2 [: [[-------- | ([[[(([---
3 (: ([[------- | [[[(([----
4 [: [([[------ | [[(([-----
5 [: [[([[----- | [(([------
6 [: [[[([[---- | (([-------
7 (: ([[[([[--- | ([--------
8 (: (([[[([[-- | [---------
9 [: [(([[[([[- | ----------
result: incomplete, expected ]))]]])]].
===
USER: [[[([(())[
MODEL: length: 10
count: 10 11 12
start: - | [[[([(())[
1 [: [--------- | [[([(())[-
2 [: [[-------- | [([(())[--
3 [: [[[------- | ([(())[---
4 (: ([[[------ | [(())[----
5 [: [([[[----- | (())[-----
6 (: ([([[[---- | ())[------
7 (: (([([[[--- | ))[-------
8 ): ([([[[---- | )[--------
9 ): [([[[----- | [---------
10 [: [[([[[---- | ----------
result: incomplete, expected ]])]]].
===
USER: ()((([[[]]
MODEL: length: 10
count: 10 11 12
start: - | ()((([[[]]
1 (: (--------- | )((([[[]]-
2 ): ---------- | ((([[[]]--
3 (: (--------- | (([[[]]---
4 (: ((-------- | ([[[]]----
5 (: (((------- | [[[]]-----
6 [: [(((------ | [[]]------
7 [: [[(((----- | []]-------
8 [: [[[(((---- | ]]--------
9 ]: [[(((----- | ]---------
10 ]: [(((------ | ----------
result: incomplete, expected ]))).
===
USER: ([(([[[][
MODEL: length: 9
count: 9 10 11 12
start: - | ([(([[[][-
1 (: (--------- | [(([[[][--
2 [: [(-------- | (([[[][---
3 (: ([(------- | ([[[][----
4 (: (([(------ | [[[][-----
5 [: [(([(----- | [[][------
6 [: [[(([(---- | [][-------
7 [: [[[(([(--- | ][--------
8 ]: [[(([(---- | [---------
9 [: [[[(([(--- | ----------
result: incomplete, expected ]]]))]).
===
USER: [(([][]))]
MODEL: length: 10
count: 10 11 12
start: - | [(([][]))]
1 [: [--------- | (([][]))]-
2 (: ([-------- | ([][]))]--
3 (: (([------- | [][]))]---
4 [: [(([------ | ][]))]----
5 ]: (([------- | []))]-----
6 [: [(([------ | ]))]------
7 ]: (([------- | ))]-------
8 ): ([-------- | )]--------
9 ): [--------- | ]---------
10 ]: ---------- | ----------
result: valid.
===
USER: ([([([(][
MODEL: length: 9
count: 9 10 11 12
start: - | ([([([(][-
1 (: (--------- | [([([(][--
2 [: [(-------- | ([([(][---
3 (: ([(------- | [([(][----
4 [: [([(------ | ([(][-----
5 (: ([([(----- | [(][------
6 [: [([([(---- | (][-------
7 (: ([([([(--- | ][--------
8 ]: error (
result: invalid at 8, expected ).
===
USER: ([][[()[)
MODEL: length: 9
count: 9 10 11 12
start: - | ([][[()[)-
1 (: (--------- | [][[()[)--
2 [: [(-------- | ][[()[)---
3 ]: (--------- | [[()[)----
4 [: [(-------- | [()[)-----
5 [: [[(------- | ()[)------
6 (: ([[(------ | )[)-------
7 ): [[(------- | [)--------
8 [: [[[(------ | )---------
9 ): error [
result: invalid at 9, expected ].
===
USER: ([]((](()
MODEL: length: 9
count: 9 10 11 12
start: - | ([]((](()-
1 (: (--------- | []((](()--
2 [: [(-------- | ]((](()---
3 ]: (--------- | ((](()----
4 (: ((-------- | (](()-----
5 (: (((------- | ](()------
6 ]: error (
result: invalid at 6, expected ).
===
USER: [([)
MODEL: length: 4
count: 4 5 6 7 8 9 10 11 12
start: - | [([)------
1 [: [--------- | ([)-------
2 (: ([-------- | [)--------
3 [: [([------- | )---------
4 ): error [
result: invalid at 4, expected ].
===
USER: ()[[((]])]
MODEL: length: 10
count: 10 11 12
start: - | ()[[((]])]
1 (: (--------- | )[[((]])]-
2 ): ---------- | [[((]])]--
3 [: [--------- | [((]])]---
4 [: [[-------- | ((]])]----
5 (: ([[------- | (]])]-----
6 (: (([[------ | ]])]------
7 ]: error (
result: invalid at 7, expected ).
===
USER: [[((([[[[(
MODEL: length: 10
count: 10 11 12
start: - | [[((([[[[(
1 [: [--------- | [((([[[[(-
2 [: [[-------- | ((([[[[(--
3 (: ([[------- | (([[[[(---
4 (: (([[------ | ([[[[(----
5 (: ((([[----- | [[[[(-----
6 [: [((([[---- | [[[(------
7 [: [[((([[--- | [[(-------
8 [: [[[((([[-- | [(--------
9 [: [[[[((([[- | (---------
10 (: ([[[[((([[ | ----------
result: incomplete, expected )]]]])))]].
===
USER: ([(([[
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | ([(([[----
1 (: (--------- | [(([[-----
2 [: [(-------- | (([[------
3 (: ([(------- | ([[-------
4 (: (([(------ | [[--------
5 [: [(([(----- | [---------
6 [: [[(([(---- | ----------
result: incomplete, expected ]]))]).
===
USER: ([[[[[[[([
MODEL: length: 10
count: 10 11 12
start: - | ([[[[[[[([
1 (: (--------- | [[[[[[[([-
2 [: [(-------- | [[[[[[([--
3 [: [[(------- | [[[[[([---
4 [: [[[(------ | [[[[([----
5 [: [[[[(----- | [[[([-----
6 [: [[[[[(---- | [[([------
7 [: [[[[[[(--- | [([-------
8 [: [[[[[[[(-- | ([--------
9 (: ([[[[[[[(- | [---------
10 [: [([[[[[[[( | ----------
result: incomplete, expected ])]]]]]]]).
===
USER: (()[]([](]
MODEL: length: 10
count: 10 11 12
start: - | (()[]([](]
1 (: (--------- | ()[]([](]-
2 (: ((-------- | )[]([](]--
3 ): (--------- | []([](]---
4 [: [(-------- | ]([](]----
5 ]: (--------- | ([](]-----
6 (: ((-------- | [](]------
7 [: [((------- | ](]-------
8 ]: ((-------- | (]--------
9 (: (((------- | ]---------
10 ]: error (
result: invalid at 10, expected ).
===
USER: [[([[[([([
MODEL: length: 10
count: 10 11 12
start: - | [[([[[([([
1 [: [--------- | [([[[([([-
2 [: [[-------- | ([[[([([--
3 (: ([[------- | [[[([([---
4 [: [([[------ | [[([([----
5 [: [[([[----- | [([([-----
6 [: [[[([[---- | ([([------
7 (: ([[[([[--- | [([-------
8 [: [([[[([[-- | ([--------
9 (: ([([[[([[- | [---------
10 [: [([([[[([[ | ----------
result: incomplete, expected ])])]]])]].
===
USER: []()[(([)(
MODEL: length: 10
count: 10 11 12
start: - | []()[(([)(
1 [: [--------- | ]()[(([)(-
2 ]: ---------- | ()[(([)(--
3 (: (--------- | )[(([)(---
4 ): ---------- | [(([)(----
5 [: [--------- | (([)(-----
6 (: ([-------- | ([)(------
7 (: (([------- | [)(-------
8 [: [(([------ | )(--------
9 ): error [
result: invalid at 9, expected ].
===
USER: [[][[()[)
MODEL: length: 9
count: 9 10 11 12
start: - | [[][[()[)-
1 [: [--------- | [][[()[)--
2 [: [[-------- | ][[()[)---
3 ]: [--------- | [[()[)----
4 [: [[-------- | [()[)-----
5 [: [[[------- | ()[)------
6 (: ([[[------ | )[)-------
7 ): [[[------- | [)--------
8 [: [[[[------ | )---------
9 ): error [
result: invalid at 9, expected ].
===
USER: [((()([[(
MODEL: length: 9
count: 9 10 11 12
start: - | [((()([[(-
1 [: [--------- | ((()([[(--
2 (: ([-------- | (()([[(---
3 (: (([------- | ()([[(----
4 (: ((([------ | )([[(-----
5 ): (([------- | ([[(------
6 (: ((([------ | [[(-------
7 [: [((([----- | [(--------
8 [: [[((([---- | (---------
9 (: ([[((([--- | ----------
result: incomplete, expected )]])))].
===
USER: [([[[(([((
MODEL: length: 10
count: 10 11 12
start: - | [([[[(([((
1 [: [--------- | ([[[(([((-
2 (: ([-------- | [[[(([((--
3 [: [([------- | [[(([((---
4 [: [[([------ | [(([((----
5 [: [[[([----- | (([((-----
6 (: ([[[([---- | ([((------
7 (: (([[[([--- | [((-------
8 [: [(([[[([-- | ((--------
9 (: ([(([[[([- | (---------
10 (: (([(([[[([ | ----------
result: incomplete, expected ))]))]]])].
===
USER: ([][)(()[
MODEL: length: 9
count: 9 10 11 12
start: - | ([][)(()[-
1 (: (--------- | [][)(()[--
2 [: [(-------- | ][)(()[---
3 ]: (--------- | [)(()[----
4 [: [(-------- | )(()[-----
5 ): error [
result: invalid at 5, expected ].
===
USER: ()(([[)]])
MODEL: length: 10
count: 10 11 12
start: - | ()(([[)]])
1 (: (--------- | )(([[)]])-
2 ): ---------- | (([[)]])--
3 (: (--------- | ([[)]])---
4 (: ((-------- | [[)]])----
5 [: [((------- | [)]])-----
6 [: [[((------ | )]])------
7 ): error [
result: invalid at 7, expected ].
===
USER: ((((
MODEL: length: 4
count: 4 5 6 7 8 9 10 11 12
start: - | ((((------
1 (: (--------- | (((-------
2 (: ((-------- | ((--------
3 (: (((------- | (---------
4 (: ((((------ | ----------
result: incomplete, expected )))).
===
USER: [()(([[[]
MODEL: length: 9
count: 9 10 11 12
start: - | [()(([[[]-
1 [: [--------- | ()(([[[]--
2 (: ([-------- | )(([[[]---
3 ): [--------- | (([[[]----
4 (: ([-------- | ([[[]-----
5 (: (([------- | [[[]------
6 [: [(([------ | [[]-------
7 [: [[(([----- | []--------
8 [: [[[(([---- | ]---------
9 ]: [[(([----- | ----------
result: incomplete, expected ]]))].
===
USER: [([[([[([]
MODEL: length: 10
count: 10 11 12
start: - | [([[([[([]
1 [: [--------- | ([[([[([]-
2 (: ([-------- | [[([[([]--
3 [: [([------- | [([[([]---
4 [: [[([------ | ([[([]----
5 (: ([[([----- | [[([]-----
6 [: [([[([---- | [([]------
7 [: [[([[([--- | ([]-------
8 (: ([[([[([-- | []--------
9 [: [([[([[([- | ]---------
10 ]: ([[([[([-- | ----------
result: incomplete, expected )]])]])].
===
USER: ([[(([]()[
MODEL: length: 10
count: 10 11 12
start: - | ([[(([]()[
1 (: (--------- | [[(([]()[-
2 [: [(-------- | [(([]()[--
3 [: [[(------- | (([]()[---
4 (: ([[(------ | ([]()[----
5 (: (([[(----- | []()[-----
6 [: [(([[(---- | ]()[------
7 ]: (([[(----- | ()[-------
8 (: ((([[(---- | )[--------
9 ): (([[(----- | [---------
10 [: [(([[(---- | ----------
result: incomplete, expected ]))]]).
===
USER: [[][[([[]
MODEL: length: 9
count: 9 10 11 12
start: - | [[][[([[]-
1 [: [--------- | [][[([[]--
2 [: [[-------- | ][[([[]---
3 ]: [--------- | [[([[]----
4 [: [[-------- | [([[]-----
5 [: [[[------- | ([[]------
6 (: ([[[------ | [[]-------
7 [: [([[[----- | []--------
8 [: [[([[[---- | ]---------
9 ]: [([[[----- | ----------
result: incomplete, expected ])]]].
===
USER: [][[[)[]
MODEL: length: 8
count: 8 9 10 11 12
start: - | [][[[)[]--
1 [: [--------- | ][[[)[]---
2 ]: ---------- | [[[)[]----
3 [: [--------- | [[)[]-----
4 [: [[-------- | [)[]------
5 [: [[[------- | )[]-------
6 ): error [
result: invalid at 6, expected ].
===
USER: (()[([)([]
MODEL: length: 10
count: 10 11 12
start: - | (()[([)([]
1 (: (--------- | ()[([)([]-
2 (: ((-------- | )[([)([]--
3 ): (--------- | [([)([]---
4 [: [(-------- | ([)([]----
5 (: ([(------- | [)([]-----
6 [: [([(------ | )([]------
7 ): error [
result: invalid at 7, expected ].
===
USER: (()()[]](
MODEL: length: 9
count: 9 10 11 12
start: - | (()()[]](-
1 (: (--------- | ()()[]](--
2 (: ((-------- | )()[]](---
3 ): (--------- | ()[]](----
4 (: ((-------- | )[]](-----
5 ): (--------- | []](------
6 [: [(-------- | ]](-------
7 ]: (--------- | ](--------
8 ]: error (
result: invalid at 8, expected ).
===
USER: [)(]
MODEL: length: 4
count: 4 5 6 7 8 9 10 11 12
start: - | [)(]------
1 [: [--------- | )(]-------
2 ): error [
result: invalid at 2, expected ].
===
USER: )](]](()([
MODEL: length: 10
count: 10 11 12
start: - | )](]](()([
1 ): error -
result: invalid at 1, expected none.
===
USER: ((([((([(
MODEL: length: 9
count: 9 10 11 12
start: - | ((([((([(-
1 (: (--------- | (([((([(--
2 (: ((-------- | ([((([(---
3 (: (((------- | [((([(----
4 [: [(((------ | ((([(-----
5 (: ([(((----- | (([(------
6 (: (([(((---- | ([(-------
7 (: ((([(((--- | [(--------
8 [: [((([(((-- | (---------
9 (: ([((([(((- | ----------
result: incomplete, expected )])))]))).
===
USER: ([[]([[())
MODEL: length: 10
count: 10 11 12
start: - | ([[]([[())
1 (: (--------- | [[]([[())-
2 [: [(-------- | []([[())--
3 [: [[(------- | ]([[())---
4 ]: [(-------- | ([[())----
5 (: ([(------- | [[())-----
6 [: [([(------ | [())------
7 [: [[([(----- | ())-------
8 (: ([[([(---- | ))--------
9 ): [[([(----- | )---------
10 ): error [
result: invalid at 10, expected ].
===
USER: [[[([(([]
MODEL: length: 9
count: 9 10 11 12
start: - | [[[([(([]-
1 [: [--------- | [[([(([]--
2 [: [[-------- | [([(([]---
3 [: [[[------- | ([(([]----
4 (: ([[[------ | [(([]-----
5 [: [([[[----- | (([]------
6 (: ([([[[---- | ([]-------
7 (: (([([[[--- | []--------
8 [: [(([([[[-- | ]---------
9 ]: (([([[[--- | ----------
result: incomplete, expected ))])]]].
===
USER: [([][[[()
MODEL: length: 9
count: 9 10 11 12
start: - | [([][[[()-
1 [: [--------- | ([][[[()--
2 (: ([-------- | [][[[()---
3 [: [([------- | ][[[()----
4 ]: ([-------- | [[[()-----
5 [: [([------- | [[()------
6 [: [[([------ | [()-------
7 [: [[[([----- | ()--------
8 (: ([[[([---- | )---------
9 ): [[[([----- | ----------
result: incomplete, expected ]]])].
===
USER: ([(([)[)[
MODEL: length: 9
count: 9 10 11 12
start: - | ([(([)[)[-
1 (: (--------- | [(([)[)[--
2 [: [(-------- | (([)[)[---
3 (: ([(------- | ([)[)[----
4 (: (([(------ | [)[)[-----
5 [: [(([(----- | )[)[------
6 ): error [
result: invalid at 6, expected ].
===
USER: )([([)(](
MODEL: length: 9
count: 9 10 11 12
start: - | )([([)(](-
1 ): error -
result: invalid at 1, expected none.
===
USER: [()[([[[[]
MODEL: length: 10
count: 10 11 12
start: - | [()[([[[[]
1 [: [--------- | ()[([[[[]-
2 (: ([-------- | )[([[[[]--
3 ): [--------- | [([[[[]---
4 [: [[-------- | ([[[[]----
5 (: ([[------- | [[[[]-----
6 [: [([[------ | [[[]------
7 [: [[([[----- | [[]-------
8 [: [[[([[---- | []--------
9 [: [[[[([[--- | ]---------
10 ]: [[[([[---- | ----------
result: incomplete, expected ]]])]].
===
USER: [](()([[
MODEL: length: 8
count: 8 9 10 11 12
start: - | [](()([[--
1 [: [--------- | ](()([[---
2 ]: ---------- | (()([[----
3 (: (--------- | ()([[-----
4 (: ((-------- | )([[------
5 ): (--------- | ([[-------
6 (: ((-------- | [[--------
7 [: [((------- | [---------
8 [: [[((------ | ----------
result: incomplete, expected ]])).
===
USER: )]])(](][
MODEL: length: 9
count: 9 10 11 12
start: - | )]])(](][-
1 ): error -
result: invalid at 1, expected none.
===
USER: ]]](]
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | ]]](]-----
1 ]: error -
result: invalid at 1, expected none.
===
USER: ])()()][(
MODEL: length: 9
count: 9 10 11 12
start: - | ])()()][(-
1 ]: error -
result: invalid at 1, expected none.
===
USER: (((()[)](
MODEL: length: 9
count: 9 10 11 12
start: - | (((()[)](-
1 (: (--------- | ((()[)](--
2 (: ((-------- | (()[)](---
3 (: (((------- | ()[)](----
4 (: ((((------ | )[)](-----
5 ): (((------- | [)](------
6 [: [(((------ | )](-------
7 ): error [
result: invalid at 7, expected ].
===
USER: [[[()[]([)
MODEL: length: 10
count: 10 11 12
start: - | [[[()[]([)
1 [: [--------- | [[()[]([)-
2 [: [[-------- | [()[]([)--
3 [: [[[------- | ()[]([)---
4 (: ([[[------ | )[]([)----
5 ): [[[------- | []([)-----
6 [: [[[[------ | ]([)------
7 ]: [[[------- | ([)-------
8 (: ([[[------ | [)--------
9 [: [([[[----- | )---------
10 ): error [
result: invalid at 10, expected ].
===
USER: ([[))[(
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | ([[))[(---
1 (: (--------- | [[))[(----
2 [: [(-------- | [))[(-----
3 [: [[(------- | ))[(------
4 ): error [
result: invalid at 4, expected ].
===
USER: [[()]([)]
MODEL: length: 9
count: 9 10 11 12
start: - | [[()]([)]-
1 [: [--------- | [()]([)]--
2 [: [[-------- | ()]([)]---
3 (: ([[------- | )]([)]----
4 ): [[-------- | ]([)]-----
5 ]: [--------- | ([)]------
6 (: ([-------- | [)]-------
7 [: [([------- | )]--------
8 ): error [
result: invalid at 8, expected ].
===
USER: [[[)(]][(
MODEL: length: 9
count: 9 10 11 12
start: - | [[[)(]][(-
1 [: [--------- | [[)(]][(--
2 [: [[-------- | [)(]][(---
3 [: [[[------- | )(]][(----
4 ): error [
result: invalid at 4, expected ].
===
USER: ()[[[(]]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ()[[[(]]--
1 (: (--------- | )[[[(]]---
2 ): ---------- | [[[(]]----
3 [: [--------- | [[(]]-----
4 [: [[-------- | [(]]------
5 [: [[[------- | (]]-------
6 (: ([[[------ | ]]--------
7 ]: error (
result: invalid at 7, expected ).
===
USER: ])())[)])[
MODEL: length: 10
count: 10 11 12
start: - | ])())[)])[
1 ]: error -
result: invalid at 1, expected none.
===
USER: )([][
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | )([][-----
1 ): error -
result: invalid at 1, expected none.
===
USER: ([()[[)]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ([()[[)]--
1 (: (--------- | [()[[)]---
2 [: [(-------- | ()[[)]----
3 (: ([(------- | )[[)]-----
4 ): [(-------- | [[)]------
5 [: [[(------- | [)]-------
6 [: [[[(------ | )]--------
7 ): error [
result: invalid at 7, expected ].
===
USER: ]))()][)]
MODEL: length: 9
count: 9 10 11 12
start: - | ]))()][)]-
1 ]: error -
result: invalid at 1, expected none.
===
USER: [[][(])]
MODEL: length: 8
count: 8 9 10 11 12
start: - | [[][(])]--
1 [: [--------- | [][(])]---
2 [: [[-------- | ][(])]----
3 ]: [--------- | [(])]-----
4 [: [[-------- | (])]------
5 (: ([[------- | ])]-------
6 ]: error (
result: invalid at 6, expected ).
===
USER: [((([[([(
MODEL: length: 9
count: 9 10 11 12
start: - | [((([[([(-
1 [: [--------- | ((([[([(--
2 (: ([-------- | (([[([(---
3 (: (([------- | ([[([(----
4 (: ((([------ | [[([(-----
5 [: [((([----- | [([(------
6 [: [[((([---- | ([(-------
7 (: ([[((([--- | [(--------
8 [: [([[((([-- | (---------
9 (: ([([[((([- | ----------
result: incomplete, expected )])]])))].
===
USER: [[(([[)]
MODEL: length: 8
count: 8 9 10 11 12
start: - | [[(([[)]--
1 [: [--------- | [(([[)]---
2 [: [[-------- | (([[)]----
3 (: ([[------- | ([[)]-----
4 (: (([[------ | [[)]------
5 [: [(([[----- | [)]-------
6 [: [[(([[---- | )]--------
7 ): error [
result: invalid at 7, expected ].
===
USER: ])[[][)(
MODEL: length: 8
count: 8 9 10 11 12
start: - | ])[[][)(--
1 ]: error -
result: invalid at 1, expected none.
===
USER: [((((((()
MODEL: length: 9
count: 9 10 11 12
start: - | [((((((()-
1 [: [--------- | ((((((()--
2 (: ([-------- | (((((()---
3 (: (([------- | ((((()----
4 (: ((([------ | (((()-----
5 (: (((([----- | ((()------
6 (: ((((([---- | (()-------
7 (: (((((([--- | ()--------
8 (: ((((((([-- | )---------
9 ): (((((([--- | ----------
result: incomplete, expected ))))))].
===
USER: [[())]]()
MODEL: length: 9
count: 9 10 11 12
start: - | [[())]]()-
1 [: [--------- | [())]]()--
2 [: [[-------- | ())]]()---
3 (: ([[------- | ))]]()----
4 ): [[-------- | )]]()-----
5 ): error [
result: invalid at 5, expected ].
===
USER: ()[[]]()
MODEL: length: 8
count: 8 9 10 11 12
start: - | ()[[]]()--
1 (: (--------- | )[[]]()---
2 ): ---------- | [[]]()----
3 [: [--------- | []]()-----
4 [: [[-------- | ]]()------
5 ]: [--------- | ]()-------
6 ]: ---------- | ()--------
7 (: (--------- | )---------
8 ): ---------- | ----------
result: valid.
===
USER: [][]((((]
MODEL: length: 9
count: 9 10 11 12
start: - | [][]((((]-
1 [: [--------- | ][]((((]--
2 ]: ---------- | []((((]---
3 [: [--------- | ]((((]----
4 ]: ---------- | ((((]-----
5 (: (--------- | (((]------
6 (: ((-------- | ((]-------
7 (: (((------- | (]--------
8 (: ((((------ | ]---------
9 ]: error (
result: invalid at 9, expected ).
===
USER: (][(
MODEL: length: 4
count: 4 5 6 7 8 9 10 11 12
start: - | (][(------
1 (: (--------- | ][(-------
2 ]: error (
result: invalid at 2, expected ).
===
USER: (([[[([])[
MODEL: length: 10
count: 10 11 12
start: - | (([[[([])[
1 (: (--------- | ([[[([])[-
2 (: ((-------- | [[[([])[--
3 [: [((------- | [[([])[---
4 [: [[((------ | [([])[----
5 [: [[[((----- | ([])[-----
6 (: ([[[((---- | [])[------
7 [: [([[[((--- | ])[-------
8 ]: ([[[((---- | )[--------
9 ): [[[((----- | [---------
10 [: [[[[((---- | ----------
result: incomplete, expected ]]]])).
===
USER: ([[(((([
MODEL: length: 8
count: 8 9 10 11 12
start: - | ([[(((([--
1 (: (--------- | [[(((([---
2 [: [(-------- | [(((([----
3 [: [[(------- | (((([-----
4 (: ([[(------ | ((([------
5 (: (([[(----- | (([-------
6 (: ((([[(---- | ([--------
7 (: (((([[(--- | [---------
8 [: [(((([[(-- | ----------
result: incomplete, expected ]))))]]).
===
USER: ()([((]([
MODEL: length: 9
count: 9 10 11 12
start: - | ()([((]([-
1 (: (--------- | )([((]([--
2 ): ---------- | ([((]([---
3 (: (--------- | [((]([----
4 [: [(-------- | ((]([-----
5 (: ([(------- | (]([------
6 (: (([(------ | ]([-------
7 ]: error (
result: invalid at 7, expected ).
===
USER: [[([][]])[
MODEL: length: 10
count: 10 11 12
start: - | [[([][]])[
1 [: [--------- | [([][]])[-
2 [: [[-------- | ([][]])[--
3 (: ([[------- | [][]])[---
4 [: [([[------ | ][]])[----
5 ]: ([[------- | []])[-----
6 [: [([[------ | ]])[------
7 ]: ([[------- | ])[-------
8 ]: error (
result: invalid at 8, expected ).
===
USER: [((()([[[
MODEL: length: 9
count: 9 10 11 12
start: - | [((()([[[-
1 [: [--------- | ((()([[[--
2 (: ([-------- | (()([[[---
3 (: (([------- | ()([[[----
4 (: ((([------ | )([[[-----
5 ): (([------- | ([[[------
6 (: ((([------ | [[[-------
7 [: [((([----- | [[--------
8 [: [[((([---- | [---------
9 [: [[[((([--- | ----------
result: incomplete, expected ]]])))].
===
USER: [][()()][)
MODEL: length: 10
count: 10 11 12
start: - | [][()()][)
1 [: [--------- | ][()()][)-
2 ]: ---------- | [()()][)--
3 [: [--------- | ()()][)---
4 (: ([-------- | )()][)----
5 ): [--------- | ()][)-----
6 (: ([-------- | )][)------
7 ): [--------- | ][)-------
8 ]: ---------- | [)--------
9 [: [--------- | )---------
10 ): error [
result: invalid at 10, expected ].
===
USER: ][(])][(]
MODEL: length: 9
count: 9 10 11 12
start: - | ][(])][(]-
1 ]: error -
result: invalid at 1, expected none.
===
USER: ](()(()(
MODEL: length: 8
count: 8 9 10 11 12
start: - | ](()(()(--
1 ]: error -
result: invalid at 1, expected none.
===
USER: [[][]([](]
MODEL: length: 10
count: 10 11 12
start: - | [[][]([](]
1 [: [--------- | [][]([](]-
2 [: [[-------- | ][]([](]--
3 ]: [--------- | []([](]---
4 [: [[-------- | ]([](]----
5 ]: [--------- | ([](]-----
6 (: ([-------- | [](]------
7 [: [([------- | ](]-------
8 ]: ([-------- | (]--------
9 (: (([------- | ]---------
10 ]: error (
result: invalid at 10, expected ).
===
USER: ([(([([[[[
MODEL: length: 10
count: 10 11 12
start: - | ([(([([[[[
1 (: (--------- | [(([([[[[-
2 [: [(-------- | (([([[[[--
3 (: ([(------- | ([([[[[---
4 (: (([(------ | [([[[[----
5 [: [(([(----- | ([[[[-----
6 (: ([(([(---- | [[[[------
7 [: [([(([(--- | [[[-------
8 [: [[([(([(-- | [[--------
9 [: [[[([(([(- | [---------
10 [: [[[[([(([( | ----------
result: incomplete, expected ]]]])]))]).
===
USER: ([[]])(][[
MODEL: length: 10
count: 10 11 12
start: - | ([[]])(][[
1 (: (--------- | [[]])(][[-
2 [: [(-------- | []])(][[--
3 [: [[(------- | ]])(][[---
4 ]: [(-------- | ])(][[----
5 ]: (--------- | )(][[-----
6 ): ---------- | (][[------
7 (: (--------- | ][[-------
8 ]: error (
result: invalid at 8, expected ).
===
USER: ()[[([[[((
MODEL: length: 10
count: 10 11 12
start: - | ()[[([[[((
1 (: (--------- | )[[([[[((-
2 ): ---------- | [[([[[((--
3 [: [--------- | [([[[((---
4 [: [[-------- | ([[[((----
5 (: ([[------- | [[[((-----
6 [: [([[------ | [[((------
7 [: [[([[----- | [((-------
8 [: [[[([[---- | ((--------
9 (: ([[[([[--- | (---------
10 (: (([[[([[-- | ----------
result: incomplete, expected ))]]])]].
===
USER: (([[([((((
MODEL: length: 10
count: 10 11 12
start: - | (([[([((((
1 (: (--------- | ([[([((((-
2 (: ((-------- | [[([((((--
3 [: [((------- | [([((((---
4 [: [[((------ | ([((((----
5 (: ([[((----- | [((((-----
6 [: [([[((---- | ((((------
7 (: ([([[((--- | (((-------
8 (: (([([[((-- | ((--------
9 (: ((([([[((- | (---------
10 (: (((([([[(( | ----------
result: incomplete, expected ))))])]])).
===
USER: ]]])]([[]
MODEL: length: 9
count: 9 10 11 12
start: - | ]]])]([[]-
1 ]: error -
result: invalid at 1, expected none.
===
USER: [(((((([[[
MODEL: length: 10
count: 10 11 12
start: - | [(((((([[[
1 [: [--------- | (((((([[[-
2 (: ([-------- | ((((([[[--
3 (: (([------- | (((([[[---
4 (: ((([------ | ((([[[----
5 (: (((([----- | (([[[-----
6 (: ((((([---- | ([[[------
7 (: (((((([--- | [[[-------
8 [: [(((((([-- | [[--------
9 [: [[(((((([- | [---------
10 [: [[[(((((([ | ----------
result: incomplete, expected ]]]))))))].
===
USER: ([((([()[
MODEL: length: 9
count: 9 10 11 12
start: - | ([((([()[-
1 (: (--------- | [((([()[--
2 [: [(-------- | ((([()[---
3 (: ([(------- | (([()[----
4 (: (([(------ | ([()[-----
5 (: ((([(----- | [()[------
6 [: [((([(---- | ()[-------
7 (: ([((([(--- | )[--------
8 ): [((([(---- | [---------
9 [: [[((([(--- | ----------
result: incomplete, expected ]])))]).
===
USER: []([))][(
MODEL: length: 9
count: 9 10 11 12
start: - | []([))][(-
1 [: [--------- | ]([))][(--
2 ]: ---------- | ([))][(---
3 (: (--------- | [))][(----
4 [: [(-------- | ))][(-----
5 ): error [
result: invalid at 5, expected ].
===
USER: )[([[])])
MODEL: length: 9
count: 9 10 11 12
start: - | )[([[])])-
1 ): error -
result: invalid at 1, expected none.
===
USER: [[][(])(((
MODEL: length: 10
count: 10 11 12
start: - | [[][(])(((
1 [: [--------- | [][(])(((-
2 [: [[-------- | ][(])(((--
3 ]: [--------- | [(])(((---
4 [: [[-------- | (])(((----
5 (: ([[------- | ])(((-----
6 ]: error (
result: invalid at 6, expected ).
===
USER: ))(])[[[]
MODEL: length: 9
count: 9 10 11 12
start: - | ))(])[[[]-
1 ): error -
result: invalid at 1, expected none.
===
USER: ()([())())
MODEL: length: 10
count: 10 11 12
start: - | ()([())())
1 (: (--------- | )([())())-
2 ): ---------- | ([())())--
3 (: (--------- | [())())---
4 [: [(-------- | ())())----
5 (: ([(------- | ))())-----
6 ): [(-------- | )())------
7 ): error [
result: invalid at 7, expected ].
===
USER: [)(]])]
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | [)(]])]---
1 [: [--------- | )(]])]----
2 ): error [
result: invalid at 2, expected ].
===
USER: [([]([](
MODEL: length: 8
count: 8 9 10 11 12
start: - | [([]([](--
1 [: [--------- | ([]([](---
2 (: ([-------- | []([](----
3 [: [([------- | ]([](-----
4 ]: ([-------- | ([](------
5 (: (([------- | [](-------
6 [: [(([------ | ](--------
7 ]: (([------- | (---------
8 (: ((([------ | ----------
result: incomplete, expected )))].
===
USER: [[([[((((
MODEL: length: 9
count: 9 10 11 12
start: - | [[([[((((-
1 [: [--------- | [([[((((--
2 [: [[-------- | ([[((((---
3 (: ([[------- | [[((((----
4 [: [([[------ | [((((-----
5 [: [[([[----- | ((((------
6 (: ([[([[---- | (((-------
7 (: (([[([[--- | ((--------
8 (: ((([[([[-- | (---------
9 (: (((([[([[- | ----------
result: incomplete, expected ))))]])]].
===
USER: [([[]])[(]
MODEL: length: 10
count: 10 11 12
start: - | [([[]])[(]
1 [: [--------- | ([[]])[(]-
2 (: ([-------- | [[]])[(]--
3 [: [([------- | []])[(]---
4 [: [[([------ | ]])[(]----
5 ]: [([------- | ])[(]-----
6 ]: ([-------- | )[(]------
7 ): [--------- | [(]-------
8 [: [[-------- | (]--------
9 (: ([[------- | ]---------
10 ]: error (
result: invalid at 10, expected ).
===
USER: ]([[)[
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | ]([[)[----
1 ]: error -
result: invalid at 1, expected none.
===
USER: ]]([(]]
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | ]]([(]]---
1 ]: error -
result: invalid at 1, expected none.
===
USER: ([)([[[
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | ([)([[[---
1 (: (--------- | [)([[[----
2 [: [(-------- | )([[[-----
3 ): error [
result: invalid at 3, expected ].
===
USER: ((([[])](]
MODEL: length: 10
count: 10 11 12
start: - | ((([[])](]
1 (: (--------- | (([[])](]-
2 (: ((-------- | ([[])](]--
3 (: (((------- | [[])](]---
4 [: [(((------ | [])](]----
5 [: [[(((----- | ])](]-----
6 ]: [(((------ | )](]------
7 ): error [
result: invalid at 7, expected ].
===
USER: ([[[(([[(
MODEL: length: 9
count: 9 10 11 12
start: - | ([[[(([[(-
1 (: (--------- | [[[(([[(--
2 [: [(-------- | [[(([[(---
3 [: [[(------- | [(([[(----
4 [: [[[(------ | (([[(-----
5 (: ([[[(----- | ([[(------
6 (: (([[[(---- | [[(-------
7 [: [(([[[(--- | [(--------
8 [: [[(([[[(-- | (---------
9 (: ([[(([[[(- | ----------
result: incomplete, expected )]]))]]]).
===
USER: [][(([
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | [][(([----
1 [: [--------- | ][(([-----
2 ]: ---------- | [(([------
3 [: [--------- | (([-------
4 (: ([-------- | ([--------
5 (: (([------- | [---------
6 [: [(([------ | ----------
result: incomplete, expected ]))].
===
USER: [()()(]]]
MODEL: length: 9
count: 9 10 11 12
start: - | [()()(]]]-
1 [: [--------- | ()()(]]]--
2 (: ([-------- | )()(]]]---
3 ): [--------- | ()(]]]----
4 (: ([-------- | )(]]]-----
5 ): [--------- | (]]]------
6 (: ([-------- | ]]]-------
7 ]: error (
result: invalid at 7, expected ).
===
USER: [[[]([(])
MODEL: length: 9
count: 9 10 11 12
start: - | [[[]([(])-
1 [: [--------- | [[]([(])--
2 [: [[-------- | []([(])---
3 [: [[[------- | ]([(])----
4 ]: [[-------- | ([(])-----
5 (: ([[------- | [(])------
6 [: [([[------ | (])-------
7 (: ([([[----- | ])--------
8 ]: error (
result: invalid at 8, expected ).
===
USER: [[[](((]]
MODEL: length: 9
count: 9 10 11 12
start: - | [[[](((]]-
1 [: [--------- | [[](((]]--
2 [: [[-------- | [](((]]---
3 [: [[[------- | ](((]]----
4 ]: [[-------- | (((]]-----
5 (: ([[------- | ((]]------
6 (: (([[------ | (]]-------
7 (: ((([[----- | ]]--------
8 ]: error (
result: invalid at 8, expected ).
===
USER: (()[([)[
MODEL: length: 8
count: 8 9 10 11 12
start: - | (()[([)[--
1 (: (--------- | ()[([)[---
2 (: ((-------- | )[([)[----
3 ): (--------- | [([)[-----
4 [: [(-------- | ([)[------
5 (: ([(------- | [)[-------
6 [: [([(------ | )[--------
7 ): error [
result: invalid at 7, expected ].
===
USER: [[][((([[]
MODEL: length: 10
count: 10 11 12
start: - | [[][((([[]
1 [: [--------- | [][((([[]-
2 [: [[-------- | ][((([[]--
3 ]: [--------- | [((([[]---
4 [: [[-------- | ((([[]----
5 (: ([[------- | (([[]-----
6 (: (([[------ | ([[]------
7 (: ((([[----- | [[]-------
8 [: [((([[---- | []--------
9 [: [[((([[--- | ]---------
10 ]: [((([[---- | ----------
result: incomplete, expected ])))]].
===
USER: [([[[([[](
MODEL: length: 10
count: 10 11 12
start: - | [([[[([[](
1 [: [--------- | ([[[([[](-
2 (: ([-------- | [[[([[](--
3 [: [([------- | [[([[](---
4 [: [[([------ | [([[](----
5 [: [[[([----- | ([[](-----
6 (: ([[[([---- | [[](------
7 [: [([[[([--- | [](-------
8 [: [[([[[([-- | ](--------
9 ]: [([[[([--- | (---------
10 (: ([([[[([-- | ----------
result: incomplete, expected )])]]])].
===
USER: []((())[])
MODEL: length: 10
count: 10 11 12
start: - | []((())[])
1 [: [--------- | ]((())[])-
2 ]: ---------- | ((())[])--
3 (: (--------- | (())[])---
4 (: ((-------- | ())[])----
5 (: (((------- | ))[])-----
6 ): ((-------- | )[])------
7 ): (--------- | [])-------
8 [: [(-------- | ])--------
9 ]: (--------- | )---------
10 ): ---------- | ----------
result: valid.
===
USER: [(([([[][[
MODEL: length: 10
count: 10 11 12
start: - | [(([([[][[
1 [: [--------- | (([([[][[-
2 (: ([-------- | ([([[][[--
3 (: (([------- | [([[][[---
4 [: [(([------ | ([[][[----
5 (: ([(([----- | [[][[-----
6 [: [([(([---- | [][[------
7 [: [[([(([--- | ][[-------
8 ]: [([(([---- | [[--------
9 [: [[([(([--- | [---------
10 [: [[[([(([-- | ----------
result: incomplete, expected ]]])]))].
===
USER: []([[(([](
MODEL: length: 10
count: 10 11 12
start: - | []([[(([](
1 [: [--------- | ]([[(([](-
2 ]: ---------- | ([[(([](--
3 (: (--------- | [[(([](---
4 [: [(-------- | [(([](----
5 [: [[(------- | (([](-----
6 (: ([[(------ | ([](------
7 (: (([[(----- | [](-------
8 [: [(([[(---- | ](--------
9 ]: (([[(----- | (---------
10 (: ((([[(---- | ----------
result: incomplete, expected )))]]).
===
USER: ((((([(([(
MODEL: length: 10
count: 10 11 12
start: - | ((((([(([(
1 (: (--------- | (((([(([(-
2 (: ((-------- | ((([(([(--
3 (: (((------- | (([(([(---
4 (: ((((------ | ([(([(----
5 (: (((((----- | [(([(-----
6 [: [(((((---- | (([(------
7 (: ([(((((--- | ([(-------
8 (: (([(((((-- | [(--------
9 [: [(([(((((- | (---------
10 (: ([(([((((( | ----------
result: incomplete, expected )]))]))))).
===
USER: [[][[[[(()
MODEL: length: 10
count: 10 11 12
start: - | [[][[[[(()
1 [: [--------- | [][[[[(()-
2 [: [[-------- | ][[[[(()--
3 ]: [--------- | [[[[(()---
4 [: [[-------- | [[[(()----
5 [: [[[------- | [[(()-----
6 [: [[[[------ | [(()------
7 [: [[[[[----- | (()-------
8 (: ([[[[[---- | ()--------
9 (: (([[[[[--- | )---------
10 ): ([[[[[---- | ----------
result: incomplete, expected )]]]]].
===
USER: ([(()()([
MODEL: length: 9
count: 9 10 11 12
start: - | ([(()()([-
1 (: (--------- | [(()()([--
2 [: [(-------- | (()()([---
3 (: ([(------- | ()()([----
4 (: (([(------ | )()([-----
5 ): ([(------- | ()([------
6 (: (([(------ | )([-------
7 ): ([(------- | ([--------
8 (: (([(------ | [---------
9 [: [(([(----- | ----------
result: incomplete, expected ]))]).
===
USER: [[[]([(()
MODEL: length: 9
count: 9 10 11 12
start: - | [[[]([(()-
1 [: [--------- | [[]([(()--
2 [: [[-------- | []([(()---
3 [: [[[------- | ]([(()----
4 ]: [[-------- | ([(()-----
5 (: ([[------- | [(()------
6 [: [([[------ | (()-------
7 (: ([([[----- | ()--------
8 (: (([([[---- | )---------
9 ): ([([[----- | ----------
result: incomplete, expected )])]].
===
USER: ((([([([[[
MODEL: length: 10
count: 10 11 12
start: - | ((([([([[[
1 (: (--------- | (([([([[[-
2 (: ((-------- | ([([([[[--
3 (: (((------- | [([([[[---
4 [: [(((------ | ([([[[----
5 (: ([(((----- | [([[[-----
6 [: [([(((---- | ([[[------
7 (: ([([(((--- | [[[-------
8 [: [([([(((-- | [[--------
9 [: [[([([(((- | [---------
10 [: [[[([([((( | ----------
result: incomplete, expected ]]])])]))).
===
USER: [[[()[((([
MODEL: length: 10
count: 10 11 12
start: - | [[[()[((([
1 [: [--------- | [[()[((([-
2 [: [[-------- | [()[((([--
3 [: [[[------- | ()[((([---
4 (: ([[[------ | )[((([----
5 ): [[[------- | [((([-----
6 [: [[[[------ | ((([------
7 (: ([[[[----- | (([-------
8 (: (([[[[---- | ([--------
9 (: ((([[[[--- | [---------
10 [: [((([[[[-- | ----------
result: incomplete, expected ])))]]]].
===
USER: [[[()[]
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | [[[()[]---
1 [: [--------- | [[()[]----
2 [: [[-------- | [()[]-----
3 [: [[[------- | ()[]------
4 (: ([[[------ | )[]-------
5 ): [[[------- | []--------
6 [: [[[[------ | ]---------
7 ]: [[[------- | ----------
result: incomplete, expected ]]].
===
USER: [[]([()])]
MODEL: length: 10
count: 10 11 12
start: - | [[]([()])]
1 [: [--------- | []([()])]-
2 [: [[-------- | ]([()])]--
3 ]: [--------- | ([()])]---
4 (: ([-------- | [()])]----
5 [: [([------- | ()])]-----
6 (: ([([------ | )])]------
7 ): [([------- | ])]-------
8 ]: ([-------- | )]--------
9 ): [--------- | ]---------
10 ]: ---------- | ----------
result: valid.
===
USER: [][[)])[(
MODEL: length: 9
count: 9 10 11 12
start: - | [][[)])[(-
1 [: [--------- | ][[)])[(--
2 ]: ---------- | [[)])[(---
3 [: [--------- | [)])[(----
4 [: [[-------- | )])[(-----
5 ): error [
result: invalid at 5, expected ].
===
USER: ([([([][](
MODEL: length: 10
count: 10 11 12
start: - | ([([([][](
1 (: (--------- | [([([][](-
2 [: [(-------- | ([([][](--
3 (: ([(------- | [([][](---
4 [: [([(------ | ([][](----
5 (: ([([(----- | [][](-----
6 [: [([([(---- | ][](------
7 ]: ([([(----- | [](-------
8 [: [([([(---- | ](--------
9 ]: ([([(----- | (---------
10 (: (([([(---- | ----------
result: incomplete, expected ))])]).
===
USER: [(((((()([
MODEL: length: 10
count: 10 11 12
start: - | [(((((()([
1 [: [--------- | (((((()([-
2 (: ([-------- | ((((()([--
3 (: (([------- | (((()([---
4 (: ((([------ | ((()([----
5 (: (((([----- | (()([-----
6 (: ((((([---- | ()([------
7 (: (((((([--- | )([-------
8 ): ((((([---- | ([--------
9 (: (((((([--- | [---------
10 [: [(((((([-- | ----------
result: incomplete, expected ]))))))].
===
USER: ((([[[[[]]
MODEL: length: 10
count: 10 11 12
start: - | ((([[[[[]]
1 (: (--------- | (([[[[[]]-
2 (: ((-------- | ([[[[[]]--
3 (: (((------- | [[[[[]]---
4 [: [(((------ | [[[[]]----
5 [: [[(((----- | [[[]]-----
6 [: [[[(((---- | [[]]------
7 [: [[[[(((--- | []]-------
8 [: [[[[[(((-- | ]]--------
9 ]: [[[[(((--- | ]---------
10 ]: [[[(((---- | ----------
result: incomplete, expected ]]]))).
===
USER: [()([[])]
MODEL: length: 9
count: 9 10 11 12
start: - | [()([[])]-
1 [: [--------- | ()([[])]--
2 (: ([-------- | )([[])]---
3 ): [--------- | ([[])]----
4 (: ([-------- | [[])]-----
5 [: [([------- | [])]------
6 [: [[([------ | ])]-------
7 ]: [([------- | )]--------
8 ): error [
result: invalid at 8, expected ].
===
USER: ()((()[][
MODEL: length: 9
count: 9 10 11 12
start: - | ()((()[][-
1 (: (--------- | )((()[][--
2 ): ---------- | ((()[][---
3 (: (--------- | (()[][----
4 (: ((-------- | ()[][-----
5 (: (((------- | )[][------
6 ): ((-------- | [][-------
7 [: [((------- | ][--------
8 ]: ((-------- | [---------
9 [: [((------- | ----------
result: incomplete, expected ])).
===
USER: [[[[[([([(
MODEL: length: 10
count: 10 11 12
start: - | [[[[[([([(
1 [: [--------- | [[[[([([(-
2 [: [[-------- | [[[([([(--
3 [: [[[------- | [[([([(---
4 [: [[[[------ | [([([(----
5 [: [[[[[----- | ([([(-----
6 (: ([[[[[---- | [([(------
7 [: [([[[[[--- | ([(-------
8 (: ([([[[[[-- | [(--------
9 [: [([([[[[[- | (---------
10 (: ([([([[[[[ | ----------
result: incomplete, expected )])])]]]]].
===
USER: ((()[)]
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | ((()[)]---
1 (: (--------- | (()[)]----
2 (: ((-------- | ()[)]-----
3 (: (((------- | )[)]------
4 ): ((-------- | [)]-------
5 [: [((------- | )]--------
6 ): error [
result: invalid at 6, expected ].
===
USER: (([[]
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | (([[]-----
1 (: (--------- | ([[]------
2 (: ((-------- | [[]-------
3 [: [((------- | []--------
4 [: [[((------ | ]---------
5 ]: [((------- | ----------
result: incomplete, expected ])).
===
USER: (([()][])]
MODEL: length: 10
count: 10 11 12
start: - | (([()][])]
1 (: (--------- | ([()][])]-
2 (: ((-------- | [()][])]--
3 [: [((------- | ()][])]---
4 (: ([((------ | )][])]----
5 ): [((------- | ][])]-----
6 ]: ((-------- | [])]------
7 [: [((------- | ])]-------
8 ]: ((-------- | )]--------
9 ): (--------- | ]---------
10 ]: error (
result: invalid at 10, expected ).
===
USER: ([])([[][]
MODEL: length: 10
count: 10 11 12
start: - | ([])([[][]
1 (: (--------- | [])([[][]-
2 [: [(-------- | ])([[][]--
3 ]: (--------- | )([[][]---
4 ): ---------- | ([[][]----
5 (: (--------- | [[][]-----
6 [: [(-------- | [][]------
7 [: [[(------- | ][]-------
8 ]: [(-------- | []--------
9 [: [[(------- | ]---------
10 ]: [(-------- | ----------
result: incomplete, expected ]).
===
USER: (([[][)[
MODEL: length: 8
count: 8 9 10 11 12
start: - | (([[][)[--
1 (: (--------- | ([[][)[---
2 (: ((-------- | [[][)[----
3 [: [((------- | [][)[-----
4 [: [[((------ | ][)[------
5 ]: [((------- | [)[-------
6 [: [[((------ | )[--------
7 ): error [
result: invalid at 7, expected ].
===
USER: (]]][[]
MODEL: length: 7
count: 7 8 9 10 11 12
start: - | (]]][[]---
1 (: (--------- | ]]][[]----
2 ]: error (
result: invalid at 2, expected ).
===
USER: [][])
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | [][])-----
1 [: [--------- | ][])------
2 ]: ---------- | [])-------
3 [: [--------- | ])--------
4 ]: ---------- | )---------
5 ): error -
result: invalid at 5, expected none.
===
USER: ([(()]][)
MODEL: length: 9
count: 9 10 11 12
start: - | ([(()]][)-
1 (: (--------- | [(()]][)--
2 [: [(-------- | (()]][)---
3 (: ([(------- | ()]][)----
4 (: (([(------ | )]][)-----
5 ): ([(------- | ]][)------
6 ]: error (
result: invalid at 6, expected ).
===
USER: [[((())[]
MODEL: length: 9
count: 9 10 11 12
start: - | [[((())[]-
1 [: [--------- | [((())[]--
2 [: [[-------- | ((())[]---
3 (: ([[------- | (())[]----
4 (: (([[------ | ())[]-----
5 (: ((([[----- | ))[]------
6 ): (([[------ | )[]-------
7 ): ([[------- | []--------
8 [: [([[------ | ]---------
9 ]: ([[------- | ----------
result: incomplete, expected )]].
===
USER: ([][[()(](
MODEL: length: 10
count: 10 11 12
start: - | ([][[()(](
1 (: (--------- | [][[()(](-
2 [: [(-------- | ][[()(](--
3 ]: (--------- | [[()(](---
4 [: [(-------- | [()(](----
5 [: [[(------- | ()(](-----
6 (: ([[(------ | )(](------
7 ): [[(------- | (](-------
8 (: ([[(------ | ](--------
9 ]: error (
result: invalid at 9, expected ).
===
USER: ]][))[[))
MODEL: length: 9
count: 9 10 11 12
start: - | ]][))[[))-
1 ]: error -
result: invalid at 1, expected none.
===
USER: (([][)[(
MODEL: length: 8
count: 8 9 10 11 12
start: - | (([][)[(--
1 (: (--------- | ([][)[(---
2 (: ((-------- | [][)[(----
3 [: [((------- | ][)[(-----
4 ]: ((-------- | [)[(------
5 [: [((------- | )[(-------
6 ): error [
result: invalid at 6, expected ].
===
USER: ()(([[)(
MODEL: length: 8
count: 8 9 10 11 12
start: - | ()(([[)(--
1 (: (--------- | )(([[)(---
2 ): ---------- | (([[)(----
3 (: (--------- | ([[)(-----
4 (: ((-------- | [[)(------
5 [: [((------- | [)(-------
6 [: [[((------ | )(--------
7 ): error [
result: invalid at 7, expected ].
===
USER: (((([[[(()
MODEL: length: 10
count: 10 11 12
start: - | (((([[[(()
1 (: (--------- | ((([[[(()-
2 (: ((-------- | (([[[(()--
3 (: (((------- | ([[[(()---
4 (: ((((------ | [[[(()----
5 [: [((((----- | [[(()-----
6 [: [[((((---- | [(()------
7 [: [[[((((--- | (()-------
8 (: ([[[((((-- | ()--------
9 (: (([[[((((- | )---------
10 ): ([[[((((-- | ----------
result: incomplete, expected )]]])))).
===
USER: [([(([[[([
MODEL: length: 10
count: 10 11 12
start: - | [([(([[[([
1 [: [--------- | ([(([[[([-
2 (: ([-------- | [(([[[([--
3 [: [([------- | (([[[([---
4 (: ([([------ | ([[[([----
5 (: (([([----- | [[[([-----
6 [: [(([([---- | [[([------
7 [: [[(([([--- | [([-------
8 [: [[[(([([-- | ([--------
9 (: ([[[(([([- | [---------
10 [: [([[[(([([ | ----------
result: incomplete, expected ])]]]))])].
===
USER: []([()[][)
MODEL: length: 10
count: 10 11 12
start: - | []([()[][)
1 [: [--------- | ]([()[][)-
2 ]: ---------- | ([()[][)--
3 (: (--------- | [()[][)---
4 [: [(-------- | ()[][)----
5 (: ([(------- | )[][)-----
6 ): [(-------- | [][)------
7 [: [[(------- | ][)-------
8 ]: [(-------- | [)--------
9 [: [[(------- | )---------
10 ): error [
result: invalid at 10, expected ].
===
USER: [[()]])][
MODEL: length: 9
count: 9 10 11 12
start: - | [[()]])][-
1 [: [--------- | [()]])][--
2 [: [[-------- | ()]])][---
3 (: ([[------- | )]])][----
4 ): [[-------- | ]])][-----
5 ]: [--------- | ])][------
6 ]: ---------- | )][-------
7 ): error -
result: invalid at 7, expected none.
===
USER: ]][)((
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | ]][)((----
1 ]: error -
result: invalid at 1, expected none.
===
USER: ]]([][)))
MODEL: length: 9
count: 9 10 11 12
start: - | ]]([][)))-
1 ]: error -
result: invalid at 1, expected none.
===
USER: (((()((()[
MODEL: length: 10
count: 10 11 12
start: - | (((()((()[
1 (: (--------- | ((()((()[-
2 (: ((-------- | (()((()[--
3 (: (((------- | ()((()[---
4 (: ((((------ | )((()[----
5 ): (((------- | ((()[-----
6 (: ((((------ | (()[------
7 (: (((((----- | ()[-------
8 (: ((((((---- | )[--------
9 ): (((((----- | [---------
10 [: [(((((---- | ----------
result: incomplete, expected ]))))).
===
USER: (][[([
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | (][[([----
1 (: (--------- | ][[([-----
2 ]: error (
result: invalid at 2, expected ).
===
USER: )([()]]][
MODEL: length: 9
count: 9 10 11 12
start: - | )([()]]][-
1 ): error -
result: invalid at 1, expected none.
===
USER: ([([[([([(
MODEL: length: 10
count: 10 11 12
start: - | ([([[([([(
1 (: (--------- | [([[([([(-
2 [: [(-------- | ([[([([(--
3 (: ([(------- | [[([([(---
4 [: [([(------ | [([([(----
5 [: [[([(----- | ([([(-----
6 (: ([[([(---- | [([(------
7 [: [([[([(--- | ([(-------
8 (: ([([[([(-- | [(--------
9 [: [([([[([(- | (---------
10 (: ([([([[([( | ----------
result: incomplete, expected )])])]])]).
===
USER: [((([([][[
MODEL: length: 10
count: 10 11 12
start: - | [((([([][[
1 [: [--------- | ((([([][[-
2 (: ([-------- | (([([][[--
3 (: (([------- | ([([][[---
4 (: ((([------ | [([][[----
5 [: [((([----- | ([][[-----
6 (: ([((([---- | [][[------
7 [: [([((([--- | ][[-------
8 ]: ([((([---- | [[--------
9 [: [([((([--- | [---------
10 [: [[([((([-- | ----------
result: incomplete, expected ]])])))].
===
USER: )][)([][)
MODEL: length: 9
count: 9 10 11 12
start: - | )][)([][)-
1 ): error -
result: invalid at 1, expected none.
===
USER: ((([()][
MODEL: length: 8
count: 8 9 10 11 12
start: - | ((([()][--
1 (: (--------- | (([()][---
2 (: ((-------- | ([()][----
3 (: (((------- | [()][-----
4 [: [(((------ | ()][------
5 (: ([(((----- | )][-------
6 ): [(((------ | ][--------
7 ]: (((------- | [---------
8 [: [(((------ | ----------
result: incomplete, expected ]))).
===
USER: )[(()])([
MODEL: length: 9
count: 9 10 11 12
start: - | )[(()])([-
1 ): error -
result: invalid at 1, expected none.
===
USER: [((((]](
MODEL: length: 8
count: 8 9 10 11 12
start: - | [((((]](--
1 [: [--------- | ((((]](---
2 (: ([-------- | (((]](----
3 (: (([------- | ((]](-----
4 (: ((([------ | (]](------
5 (: (((([----- | ]](-------
6 ]: error (
result: invalid at 6, expected ).
===
USER: ([[([[](
MODEL: length: 8
count: 8 9 10 11 12
start: - | ([[([[](--
1 (: (--------- | [[([[](---
2 [: [(-------- | [([[](----
3 [: [[(------- | ([[](-----
4 (: ([[(------ | [[](------
5 [: [([[(----- | [](-------
6 [: [[([[(---- | ](--------
7 ]: [([[(----- | (---------
8 (: ([([[(---- | ----------
result: incomplete, expected )])]]).
===
USER: ]()(][)[)]
MODEL: length: 10
count: 10 11 12
start: - | ]()(][)[)]
1 ]: error -
result: invalid at 1, expected none.
===
USER: ((()(([)(
MODEL: length: 9
count: 9 10 11 12
start: - | ((()(([)(-
1 (: (--------- | (()(([)(--
2 (: ((-------- | ()(([)(---
3 (: (((------- | )(([)(----
4 ): ((-------- | (([)(-----
5 (: (((------- | ([)(------
6 (: ((((------ | [)(-------
7 [: [((((----- | )(--------
8 ): error [
result: invalid at 8, expected ].
===
USER: ([][[)))[[
MODEL: length: 10
count: 10 11 12
start: - | ([][[)))[[
1 (: (--------- | [][[)))[[-
2 [: [(-------- | ][[)))[[--
3 ]: (--------- | [[)))[[---
4 [: [(-------- | [)))[[----
5 [: [[(------- | )))[[-----
6 ): error [
result: invalid at 6, expected ].
===
USER: )(]))[)]
MODEL: length: 8
count: 8 9 10 11 12
start: - | )(]))[)]--
1 ): error -
result: invalid at 1, expected none.
===
USER: )]][)([][)
MODEL: length: 10
count: 10 11 12
start: - | )]][)([][)
1 ): error -
result: invalid at 1, expected none.
===
USER: ([[([()][(
MODEL: length: 10
count: 10 11 12
start: - | ([[([()][(
1 (: (--------- | [[([()][(-
2 [: [(-------- | [([()][(--
3 [: [[(------- | ([()][(---
4 (: ([[(------ | [()][(----
5 [: [([[(----- | ()][(-----
6 (: ([([[(---- | )][(------
7 ): [([[(----- | ][(-------
8 ]: ([[(------ | [(--------
9 [: [([[(----- | (---------
10 (: ([([[(---- | ----------
result: incomplete, expected )])]]).
===
USER: [[[[[(())
MODEL: length: 9
count: 9 10 11 12
start: - | [[[[[(())-
1 [: [--------- | [[[[(())--
2 [: [[-------- | [[[(())---
3 [: [[[------- | [[(())----
4 [: [[[[------ | [(())-----
5 [: [[[[[----- | (())------
6 (: ([[[[[---- | ())-------
7 (: (([[[[[--- | ))--------
8 ): ([[[[[---- | )---------
9 ): [[[[[----- | ----------
result: incomplete, expected ]]]]].
===
USER: [][(([)]](
MODEL: length: 10
count: 10 11 12
start: - | [][(([)]](
1 [: [--------- | ][(([)]](-
2 ]: ---------- | [(([)]](--
3 [: [--------- | (([)]](---
4 (: ([-------- | ([)]](----
5 (: (([------- | [)]](-----
6 [: [(([------ | )]](------
7 ): error [
result: invalid at 7, expected ].
===
USER: [([[[(([()
MODEL: length: 10
count: 10 11 12
start: - | [([[[(([()
1 [: [--------- | ([[[(([()-
2 (: ([-------- | [[[(([()--
3 [: [([------- | [[(([()---
4 [: [[([------ | [(([()----
5 [: [[[([----- | (([()-----
6 (: ([[[([---- | ([()------
7 (: (([[[([--- | [()-------
8 [: [(([[[([-- | ()--------
9 (: ([(([[[([- | )---------
10 ): [(([[[([-- | ----------
result: incomplete, expected ]))]]])].
===
USER: ])[[]](]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ])[[]](]--
1 ]: error -
result: invalid at 1, expected none.
===
USER: ((()(((([
MODEL: length: 9
count: 9 10 11 12
start: - | ((()(((([-
1 (: (--------- | (()(((([--
2 (: ((-------- | ()(((([---
3 (: (((------- | )(((([----
4 ): ((-------- | (((([-----
5 (: (((------- | ((([------
6 (: ((((------ | (([-------
7 (: (((((----- | ([--------
8 (: ((((((---- | [---------
9 [: [((((((--- | ----------
result: incomplete, expected ])))))).
===
USER: [([[([()(
MODEL: length: 9
count: 9 10 11 12
start: - | [([[([()(-
1 [: [--------- | ([[([()(--
2 (: ([-------- | [[([()(---
3 [: [([------- | [([()(----
4 [: [[([------ | ([()(-----
5 (: ([[([----- | [()(------
6 [: [([[([---- | ()(-------
7 (: ([([[([--- | )(--------
8 ): [([[([---- | (---------
9 (: ([([[([--- | ----------
result: incomplete, expected )])]])].
===
USER: ([(([[[()]
MODEL: length: 10
count: 10 11 12
start: - | ([(([[[()]
1 (: (--------- | [(([[[()]-
2 [: [(-------- | (([[[()]--
3 (: ([(------- | ([[[()]---
4 (: (([(------ | [[[()]----
5 [: [(([(----- | [[()]-----
6 [: [[(([(---- | [()]------
7 [: [[[(([(--- | ()]-------
8 (: ([[[(([(-- | )]--------
9 ): [[[(([(--- | ]---------
10 ]: [[(([(---- | ----------
result: incomplete, expected ]]))]).
===
USER: ([([(([]([
MODEL: length: 10
count: 10 11 12
start: - | ([([(([]([
1 (: (--------- | [([(([]([-
2 [: [(-------- | ([(([]([--
3 (: ([(------- | [(([]([---
4 [: [([(------ | (([]([----
5 (: ([([(----- | ([]([-----
6 (: (([([(---- | []([------
7 [: [(([([(--- | ]([-------
8 ]: (([([(---- | ([--------
9 (: ((([([(--- | [---------
10 [: [((([([(-- | ----------
result: incomplete, expected ])))])]).
===
USER: )([[)[)[]
MODEL: length: 9
count: 9 10 11 12
start: - | )([[)[)[]-
1 ): error -
result: invalid at 1, expected none.
===
USER: [[[((([)
MODEL: length: 8
count: 8 9 10 11 12
start: - | [[[((([)--
1 [: [--------- | [[((([)---
2 [: [[-------- | [((([)----
3 [: [[[------- | ((([)-----
4 (: ([[[------ | (([)------
5 (: (([[[----- | ([)-------
6 (: ((([[[---- | [)--------
7 [: [((([[[--- | )---------
8 ): error [
result: invalid at 8, expected ].
===
USER: [[]]([(((
MODEL: length: 9
count: 9 10 11 12
start: - | [[]]([(((-
1 [: [--------- | []]([(((--
2 [: [[-------- | ]]([(((---
3 ]: [--------- | ]([(((----
4 ]: ---------- | ([(((-----
5 (: (--------- | [(((------
6 [: [(-------- | (((-------
7 (: ([(------- | ((--------
8 (: (([(------ | (---------
9 (: ((([(----- | ----------
result: incomplete, expected )))]).
===
USER: (()][[)(
MODEL: length: 8
count: 8 9 10 11 12
start: - | (()][[)(--
1 (: (--------- | ()][[)(---
2 (: ((-------- | )][[)(----
3 ): (--------- | ][[)(-----
4 ]: error (
result: invalid at 4, expected ).
===
USER: [[(()([))
MODEL: length: 9
count: 9 10 11 12
start: - | [[(()([))-
1 [: [--------- | [(()([))--
2 [: [[-------- | (()([))---
3 (: ([[------- | ()([))----
4 (: (([[------ | )([))-----
5 ): ([[------- | ([))------
6 (: (([[------ | [))-------
7 [: [(([[----- | ))--------
8 ): error [
result: invalid at 8, expected ].
===
USER: ([([[][[]
MODEL: length: 9
count: 9 10 11 12
start: - | ([([[][[]-
1 (: (--------- | [([[][[]--
2 [: [(-------- | ([[][[]---
3 (: ([(------- | [[][[]----
4 [: [([(------ | [][[]-----
5 [: [[([(----- | ][[]------
6 ]: [([(------ | [[]-------
7 [: [[([(----- | []--------
8 [: [[[([(---- | ]---------
9 ]: [[([(----- | ----------
result: incomplete, expected ]])]).
===
USER: (([([([[[
MODEL: length: 9
count: 9 10 11 12
start: - | (([([([[[-
1 (: (--------- | ([([([[[--
2 (: ((-------- | [([([[[---
3 [: [((------- | ([([[[----
4 (: ([((------ | [([[[-----
5 [: [([((----- | ([[[------
6 (: ([([((---- | [[[-------
7 [: [([([((--- | [[--------
8 [: [[([([((-- | [---------
9 [: [[[([([((- | ----------
result: incomplete, expected ]]])])])).
===
USER: ([([(()[]
MODEL: length: 9
count: 9 10 11 12
start: - | ([([(()[]-
1 (: (--------- | [([(()[]--
2 [: [(-------- | ([(()[]---
3 (: ([(------- | [(()[]----
4 [: [([(------ | (()[]-----
5 (: ([([(----- | ()[]------
6 (: (([([(---- | )[]-------
7 ): ([([(----- | []--------
8 [: [([([(---- | ]---------
9 ]: ([([(----- | ----------
result: incomplete, expected )])]).
===
USER: ())]
MODEL: length: 4
count: 4 5 6 7 8 9 10 11 12
start: - | ())]------
1 (: (--------- | ))]-------
2 ): ---------- | )]--------
3 ): error -
result: invalid at 3, expected none.
===
USER: )][[]
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | )][[]-----
1 ): error -
result: invalid at 1, expected none.
===
USER: [()(()()][
MODEL: length: 10
count: 10 11 12
start: - | [()(()()][
1 [: [--------- | ()(()()][-
2 (: ([-------- | )(()()][--
3 ): [--------- | (()()][---
4 (: ([-------- | ()()][----
5 (: (([------- | )()][-----
6 ): ([-------- | ()][------
7 (: (([------- | )][-------
8 ): ([-------- | ][--------
9 ]: error (
result: invalid at 9, expected ).
===
USER: []([(([[]
MODEL: length: 9
count: 9 10 11 12
start: - | []([(([[]-
1 [: [--------- | ]([(([[]--
2 ]: ---------- | ([(([[]---
3 (: (--------- | [(([[]----
4 [: [(-------- | (([[]-----
5 (: ([(------- | ([[]------
6 (: (([(------ | [[]-------
7 [: [(([(----- | []--------
8 [: [[(([(---- | ]---------
9 ]: [(([(----- | ----------
result: incomplete, expected ]))]).
===
USER: ])][[]
MODEL: length: 6
count: 6 7 8 9 10 11 12
start: - | ])][[]----
1 ]: error -
result: invalid at 1, expected none.
===
USER: ([]()()]]]
MODEL: length: 10
count: 10 11 12
start: - | ([]()()]]]
1 (: (--------- | []()()]]]-
2 [: [(-------- | ]()()]]]--
3 ]: (--------- | ()()]]]---
4 (: ((-------- | )()]]]----
5 ): (--------- | ()]]]-----
6 (: ((-------- | )]]]------
7 ): (--------- | ]]]-------
8 ]: error (
result: invalid at 8, expected ).
===
USER: ((([(])]
MODEL: length: 8
count: 8 9 10 11 12
start: - | ((([(])]--
1 (: (--------- | (([(])]---
2 (: ((-------- | ([(])]----
3 (: (((------- | [(])]-----
4 [: [(((------ | (])]------
5 (: ([(((----- | ])]-------
6 ]: error (
result: invalid at 6, expected ).
===
USER: (]))[)[))
MODEL: length: 9
count: 9 10 11 12
start: - | (]))[)[))-
1 (: (--------- | ]))[)[))--
2 ]: error (
result: invalid at 2, expected ).
===
USER: )]][[]]]
MODEL: length: 8
count: 8 9 10 11 12
start: - | )]][[]]]--
1 ): error -
result: invalid at 1, expected none.
===
USER: ([]])
MODEL: length: 5
count: 5 6 7 8 9 10 11 12
start: - | ([]])-----
1 (: (--------- | []])------
2 [: [(-------- | ]])-------
3 ]: (--------- | ])--------
4 ]: error (
result: invalid at 4, expected ).
===
USER: (([[[[[]][
MODEL: length: 10
count: 10 11 12
start: - | (([[[[[]][
1 (: (--------- | ([[[[[]][-
2 (: ((-------- | [[[[[]][--
3 [: [((------- | [[[[]][---
4 [: [[((------ | [[[]][----
5 [: [[[((----- | [[]][-----
6 [: [[[[((---- | []][------
7 [: [[[[[((--- | ]][-------
8 ]: [[[[((---- | ][--------
9 ]: [[[((----- | [---------
10 [: [[[[((---- | ----------
result: incomplete, expected ]]]])).
===
USER: [(([()[(
MODEL: length: 8
count: 8 9 10 11 12
start: - | [(([()[(--
1 [: [--------- | (([()[(---
2 (: ([-------- | ([()[(----
3 (: (([------- | [()[(-----
4 [: [(([------ | ()[(------
5 (: ([(([----- | )[(-------
6 ): [(([------ | [(--------
7 [: [[(([----- | (---------
8 (: ([[(([---- | ----------
result: incomplete, expected )]]))].
