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