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