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