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