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