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