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