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