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