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