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