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