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