1  =>a
 2  1 a
 3  1 a | a
 4  0 b
 5  =>a|b
 6  1 a
 7  1 b
 8  1 a | b
 9  0 a{0}
10  0 b{0}
11  =>a | b | a
12  1 a
13  1 b
14  1 a | b
15  1 b | a
16  1 a | b | b
17  1 a | b | a
18  1 b | a | b
19  =>a,a
20  1 a,a
21  0 a
22  0 a,a,a
23  =>a{0,3}
24  1 a{3}
25  1 a
26  1 a,a,a
27  1 a{1,3}
28  =>(a|b){0,4}
29  1 a
30  1 b
31  1 a,b
32  1 a,b,a,b
33  0 b,a,b,a,b
34  1 b,a{1,3}
35  1 a{1,3},b
36  0 a{1,3},b,a
37  0 a{1,4},b
38  0 a{0,5}
39  1 (b|a){0,4}
40  0 (b|a){0,4},a
41  1 (a,b){0,2}
42  1 (a,b){0,1},b
43  => a*
44  1 a
45  1 a?
46  1 a+
47  1 a*
48  1 a{0}
49  => a+
50  1 a
51  0 a?
52  1 a+
53  0 a*
54  1 a?,a
55  1 a,a*
56  1 a*,a
57  1 a?,a*,a
58  1 a*,a?,a
59  =>(a|b)*
60  1 a
61  1 b
62  1 a,b
63  1 a,b,a,b
64  1 (b|a){0,4}
65  1 (b|a){0,4},a
66  1 a*
67  1 b*
68  1 (a|b)*
69  1 a{1,3}
70  1 b,a{1,3}
71  1 a{1,3},b
72  1 a*,(a|b)*
73  1 a*,b{2,5}
74  1 a*,(a|b)*,b{2,5}
75  =>(a|b)+,(c|d)
76  1 a+,c
77  0 a*,c
78  1 a,c
79  1 a,b*,a*,c
80  # more complex
81  =>(a|b),(a|c){0,100}
82  1 a{0,100},(a|c)
83  0 a{0,101},(a|c)
84  # the example from cmsmcq at extreme markup 05
85  =>(a, ((b, c, d){0,5}, e{0,1}){0,4}, f)
86  1 (a, b, (c, d, b){2,3}, c, d, e, f)