tests/general/gc2.std


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256

1
0
0
0
----------
1
2
1
2
2
1
1
3
1
3
2
0
0
0
----------
<a>::=1|2|3
3
0
0
0
----------
4
0
0
0
----------
2
22
32322221321
232
323221323
5
0
0
0
----------
6
0
0
0
----------
33113
132211
331232
1122323
22313
323
2312113
23213
331
13232
3231231
231231
2312233
1322
1313331
31231213313333222223
21121212133
121323323132321311311232211213121123131331333123232321223233
13112331123321121121222
133123
23323332112312
323323
2322111
1311222122
11111
221112
312322123
2112
12222
332233
32222
11122
1111311
323332
33322222
3321
11222
312323
33312123
21133
323123
3223233
133222
122123323332323
22313233
2322113131333332232313221221223
32113
322
2333131
1221233231131123
1221
3313212131
322212
312311331133233323
132133331
12113131123121111112111311331
21333222
122222
13332232
21221321233
21131332312113212132321
131112113123
3113
11113121231
1321321
3311332
12123122123
1313
212321222312333312
32213
133
2131212333232121211
221221132212
212321132121223332121122133211113121323323
11123312212113
33313332112
1222122131313323232
2323111
2232132311
123223
21231
131112232
3211112
313112122112
3113322
3212323
32222
12211
11121
1313323112
222
113
2122
33332
32133
321131211132
313323
2123113332213323332
13112
33133
7
0
0
0
----------
2133222
1223
13
231331
3
32
12
3
11
1
22333
133332211
3
333
11
1332
1
22
3
3133
313
1
31
21221
113
2
33
313
3
31
31
3
1
12
13
2112
1
2
12
1321
23
23
3
2
1
13123
212
21
1
13
3
1212
3
33
112
1
12
31
22
2122
1
1
3
22
2133
2213122231
12112
13
3
2
2
22
313332311121
231332
1
22
3
122
11
131
31
3322332
2
1
31312132233331111113313211321233
321
12
12332112
31
1
23122
233
23
2
1
23
3
23321
2321321
3233332232332323311133
8
0
0
0
----------