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