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