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
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
//! # Examples of vertical decision tables
// #[doc = include_str!("V_000010.md")]
// pub const V_000010: &str = include_str!("V_000010.md");
//
// #[doc = include_str!("V_000011.md")]
// pub const V_000011: &str = include_str!("V_000011.md");
//
// #[doc = include_str!("V_000012.md")]
// pub const V_000012: &str = include_str!("V_000012.md");
//
// #[doc = include_str!("V_000020.md")]
// pub const V_000020: &str = include_str!("V_000020.md");
//
// #[doc = include_str!("V_000021.md")]
// pub const V_000021: &str = include_str!("V_000021.md");
//
// #[doc = include_str!("V_000022.md")]
// pub const V_000022: &str = include_str!("V_000022.md");
//
// #[doc = include_str!("V_000110.md")]
// pub const V_000110: &str = include_str!("V_000110.md");
//
// #[doc = include_str!("V_000111.md")]
// pub const V_000111: &str = include_str!("V_000111.md");
//
// #[doc = include_str!("V_000112.md")]
// pub const V_000112: &str = include_str!("V_000112.md");
//
// #[doc = include_str!("V_000120.md")]
// pub const V_000120: &str = include_str!("V_000120.md");
//
// #[doc = include_str!("V_000121.md")]
// pub const V_000121: &str = include_str!("V_000121.md");
//
// #[doc = include_str!("V_000122.md")]
// pub const V_000122: &str = include_str!("V_000122.md");
//
// #[doc = include_str!("V_000210.md")]
// pub const V_000210: &str = include_str!("V_000210.md");
//
// #[doc = include_str!("V_000211.md")]
// pub const V_000211: &str = include_str!("V_000211.md");
//
// #[doc = include_str!("V_000212.md")]
// pub const V_000212: &str = include_str!("V_000212.md");
//
// #[doc = include_str!("V_000220.md")]
// pub const V_000220: &str = include_str!("V_000220.md");
//
// #[doc = include_str!("V_000221.md")]
// pub const V_000221: &str = include_str!("V_000221.md");
//
// #[doc = include_str!("V_000222.md")]
// pub const V_000222: &str = include_str!("V_000222.md");
//
// #[doc = include_str!("V_001010.md")]
// pub const V_001010: &str = include_str!("V_001010.md");
//
// #[doc = include_str!("V_001011.md")]
// pub const V_001011: &str = include_str!("V_001011.md");
//
// #[doc = include_str!("V_001012.md")]
// pub const V_001012: &str = include_str!("V_001012.md");
//
// #[doc = include_str!("V_001020.md")]
// pub const V_001020: &str = include_str!("V_001020.md");
//
// #[doc = include_str!("V_001021.md")]
// pub const V_001021: &str = include_str!("V_001021.md");
//
// #[doc = include_str!("V_001022.md")]
// pub const V_001022: &str = include_str!("V_001022.md");
//
// #[doc = include_str!("V_001110.md")]
// pub const V_001110: &str = include_str!("V_001110.md");
//
// #[doc = include_str!("V_001111.md")]
// pub const V_001111: &str = include_str!("V_001111.md");
//
// #[doc = include_str!("V_001112.md")]
// pub const V_001112: &str = include_str!("V_001112.md");
//
// #[doc = include_str!("V_001120.md")]
// pub const V_001120: &str = include_str!("V_001120.md");
//
// #[doc = include_str!("V_001121.md")]
// pub const V_001121: &str = include_str!("V_001121.md");
//
// #[doc = include_str!("V_001122.md")]
// pub const V_001122: &str = include_str!("V_001122.md");
//
// #[doc = include_str!("V_001210.md")]
// pub const V_001210: &str = include_str!("V_001210.md");
//
// #[doc = include_str!("V_001211.md")]
// pub const V_001211: &str = include_str!("V_001211.md");
//
// #[doc = include_str!("V_001212.md")]
// pub const V_001212: &str = include_str!("V_001212.md");
//
// #[doc = include_str!("V_001220.md")]
// pub const V_001220: &str = include_str!("V_001220.md");
//
// #[doc = include_str!("V_001221.md")]
// pub const V_001221: &str = include_str!("V_001221.md");
//
// #[doc = include_str!("V_001222.md")]
// pub const V_001222: &str = include_str!("V_001222.md");
//
// #[doc = include_str!("V_010010.md")]
// pub const V_010010: &str = include_str!("V_010010.md");
//
// #[doc = include_str!("V_010011.md")]
// pub const V_010011: &str = include_str!("V_010011.md");
//
// #[doc = include_str!("V_010012.md")]
// pub const V_010012: &str = include_str!("V_010012.md");
//
// #[doc = include_str!("V_010020.md")]
// pub const V_010020: &str = include_str!("V_010020.md");
//
// #[doc = include_str!("V_010021.md")]
// pub const V_010021: &str = include_str!("V_010021.md");
//
// #[doc = include_str!("V_010022.md")]
// pub const V_010022: &str = include_str!("V_010022.md");
//
// #[doc = include_str!("V_010110.md")]
// pub const V_010110: &str = include_str!("V_010110.md");
//
// #[doc = include_str!("V_010111.md")]
// pub const V_010111: &str = include_str!("V_010111.md");
//
// #[doc = include_str!("V_010112.md")]
// pub const V_010112: &str = include_str!("V_010112.md");
//
// #[doc = include_str!("V_010120.md")]
// pub const V_010120: &str = include_str!("V_010120.md");
//
// #[doc = include_str!("V_010121.md")]
// pub const V_010121: &str = include_str!("V_010121.md");
//
// #[doc = include_str!("V_010122.md")]
// pub const V_010122: &str = include_str!("V_010122.md");
//
// #[doc = include_str!("V_010210.md")]
// pub const V_010210: &str = include_str!("V_010210.md");
//
// #[doc = include_str!("V_010211.md")]
// pub const V_010211: &str = include_str!("V_010211.md");
//
// #[doc = include_str!("V_010212.md")]
// pub const V_010212: &str = include_str!("V_010212.md");
//
// #[doc = include_str!("V_010220.md")]
// pub const V_010220: &str = include_str!("V_010220.md");
//
// #[doc = include_str!("V_010221.md")]
// pub const V_010221: &str = include_str!("V_010221.md");
//
// #[doc = include_str!("V_010222.md")]
// pub const V_010222: &str = include_str!("V_010222.md");
//
// #[doc = include_str!("V_011010.md")]
// pub const V_011010: &str = include_str!("V_011010.md");
//
// #[doc = include_str!("V_011011.md")]
// pub const V_011011: &str = include_str!("V_011011.md");
//
// #[doc = include_str!("V_011012.md")]
// pub const V_011012: &str = include_str!("V_011012.md");
//
// #[doc = include_str!("V_011020.md")]
// pub const V_011020: &str = include_str!("V_011020.md");
//
// #[doc = include_str!("V_011021.md")]
// pub const V_011021: &str = include_str!("V_011021.md");
//
// #[doc = include_str!("V_011022.md")]
// pub const V_011022: &str = include_str!("V_011022.md");
//
// #[doc = include_str!("V_011110.md")]
// pub const V_011110: &str = include_str!("V_011110.md");
//
// #[doc = include_str!("V_011111.md")]
// pub const V_011111: &str = include_str!("V_011111.md");
//
// #[doc = include_str!("V_011112.md")]
// pub const V_011112: &str = include_str!("V_011112.md");
//
// #[doc = include_str!("V_011120.md")]
// pub const V_011120: &str = include_str!("V_011120.md");
//
// #[doc = include_str!("V_011121.md")]
// pub const V_011121: &str = include_str!("V_011121.md");
//
// #[doc = include_str!("V_011122.md")]
// pub const V_011122: &str = include_str!("V_011122.md");
//
// #[doc = include_str!("V_011210.md")]
// pub const V_011210: &str = include_str!("V_011210.md");
//
// #[doc = include_str!("V_011211.md")]
// pub const V_011211: &str = include_str!("V_011211.md");
//
// #[doc = include_str!("V_011212.md")]
// pub const V_011212: &str = include_str!("V_011212.md");
//
// #[doc = include_str!("V_011220.md")]
// pub const V_011220: &str = include_str!("V_011220.md");
//
// #[doc = include_str!("V_011221.md")]
// pub const V_011221: &str = include_str!("V_011221.md");
//
// #[doc = include_str!("V_011222.md")]
// pub const V_011222: &str = include_str!("V_011222.md");
//
// #[doc = include_str!("V_100010.md")]
// pub const V_100010: &str = include_str!("V_100010.md");
//
// #[doc = include_str!("V_100011.md")]
// pub const V_100011: &str = include_str!("V_100011.md");
//
// #[doc = include_str!("V_100012.md")]
// pub const V_100012: &str = include_str!("V_100012.md");
//
// #[doc = include_str!("V_100020.md")]
// pub const V_100020: &str = include_str!("V_100020.md");
//
// #[doc = include_str!("V_100021.md")]
// pub const V_100021: &str = include_str!("V_100021.md");
//
// #[doc = include_str!("V_100022.md")]
// pub const V_100022: &str = include_str!("V_100022.md");
//
// #[doc = include_str!("V_100110.md")]
// pub const V_100110: &str = include_str!("V_100110.md");
//
// #[doc = include_str!("V_100111.md")]
// pub const V_100111: &str = include_str!("V_100111.md");
//
// #[doc = include_str!("V_100112.md")]
// pub const V_100112: &str = include_str!("V_100112.md");
//
// #[doc = include_str!("V_100120.md")]
// pub const V_100120: &str = include_str!("V_100120.md");
//
// #[doc = include_str!("V_100121.md")]
// pub const V_100121: &str = include_str!("V_100121.md");
//
// #[doc = include_str!("V_100122.md")]
// pub const V_100122: &str = include_str!("V_100122.md");
//
// #[doc = include_str!("V_100210.md")]
// pub const V_100210: &str = include_str!("V_100210.md");
//
// #[doc = include_str!("V_100211.md")]
// pub const V_100211: &str = include_str!("V_100211.md");
//
// #[doc = include_str!("V_100212.md")]
// pub const V_100212: &str = include_str!("V_100212.md");
//
// #[doc = include_str!("V_100220.md")]
// pub const V_100220: &str = include_str!("V_100220.md");
//
// #[doc = include_str!("V_100221.md")]
// pub const V_100221: &str = include_str!("V_100221.md");
//
// #[doc = include_str!("V_100222.md")]
// pub const V_100222: &str = include_str!("V_100222.md");
//
// #[doc = include_str!("V_101010.md")]
// pub const V_101010: &str = include_str!("V_101010.md");
//
// #[doc = include_str!("V_101011.md")]
// pub const V_101011: &str = include_str!("V_101011.md");
//
// #[doc = include_str!("V_101012.md")]
// pub const V_101012: &str = include_str!("V_101012.md");
//
// #[doc = include_str!("V_101020.md")]
// pub const V_101020: &str = include_str!("V_101020.md");
//
// #[doc = include_str!("V_101021.md")]
// pub const V_101021: &str = include_str!("V_101021.md");
//
// #[doc = include_str!("V_101022.md")]
// pub const V_101022: &str = include_str!("V_101022.md");
//
// #[doc = include_str!("V_101110.md")]
// pub const V_101110: &str = include_str!("V_101110.md");
//
// #[doc = include_str!("V_101111.md")]
// pub const V_101111: &str = include_str!("V_101111.md");
//
// #[doc = include_str!("V_101112.md")]
// pub const V_101112: &str = include_str!("V_101112.md");
//
// #[doc = include_str!("V_101120.md")]
// pub const V_101120: &str = include_str!("V_101120.md");
//
// #[doc = include_str!("V_101121.md")]
// pub const V_101121: &str = include_str!("V_101121.md");
//
// #[doc = include_str!("V_101122.md")]
// pub const V_101122: &str = include_str!("V_101122.md");
//
// #[doc = include_str!("V_101210.md")]
// pub const V_101210: &str = include_str!("V_101210.md");
//
// #[doc = include_str!("V_101211.md")]
// pub const V_101211: &str = include_str!("V_101211.md");
//
// #[doc = include_str!("V_101212.md")]
// pub const V_101212: &str = include_str!("V_101212.md");
//
// #[doc = include_str!("V_101220.md")]
// pub const V_101220: &str = include_str!("V_101220.md");
//
// #[doc = include_str!("V_101221.md")]
// pub const V_101221: &str = include_str!("V_101221.md");
//
// #[doc = include_str!("V_101222.md")]
// pub const V_101222: &str = include_str!("V_101222.md");
//
// #[doc = include_str!("V_110010.md")]
// pub const V_110010: &str = include_str!("V_110010.md");
//
// #[doc = include_str!("V_110011.md")]
// pub const V_110011: &str = include_str!("V_110011.md");
//
// #[doc = include_str!("V_110012.md")]
// pub const V_110012: &str = include_str!("V_110012.md");
//
// #[doc = include_str!("V_110020.md")]
// pub const V_110020: &str = include_str!("V_110020.md");
//
// #[doc = include_str!("V_110021.md")]
// pub const V_110021: &str = include_str!("V_110021.md");
//
// #[doc = include_str!("V_110022.md")]
// pub const V_110022: &str = include_str!("V_110022.md");
//
// #[doc = include_str!("V_110110.md")]
// pub const V_110110: &str = include_str!("V_110110.md");
//
// #[doc = include_str!("V_110111.md")]
// pub const V_110111: &str = include_str!("V_110111.md");
//
// #[doc = include_str!("V_110112.md")]
// pub const V_110112: &str = include_str!("V_110112.md");
//
// #[doc = include_str!("V_110120.md")]
// pub const V_110120: &str = include_str!("V_110120.md");
//
// #[doc = include_str!("V_110121.md")]
// pub const V_110121: &str = include_str!("V_110121.md");
//
// #[doc = include_str!("V_110122.md")]
// pub const V_110122: &str = include_str!("V_110122.md");
//
// #[doc = include_str!("V_110210.md")]
// pub const V_110210: &str = include_str!("V_110210.md");
//
// #[doc = include_str!("V_110211.md")]
// pub const V_110211: &str = include_str!("V_110211.md");
//
// #[doc = include_str!("V_110212.md")]
// pub const V_110212: &str = include_str!("V_110212.md");
//
// #[doc = include_str!("V_110220.md")]
// pub const V_110220: &str = include_str!("V_110220.md");
//
// #[doc = include_str!("V_110221.md")]
// pub const V_110221: &str = include_str!("V_110221.md");
pub const V_110222: &str = include_str!;
// #[doc = include_str!("V_111010.md")]
// pub const V_111010: &str = include_str!("V_111010.md");
//
// #[doc = include_str!("V_111011.md")]
// pub const V_111011: &str = include_str!("V_111011.md");
//
// #[doc = include_str!("V_111012.md")]
// pub const V_111012: &str = include_str!("V_111012.md");
//
// #[doc = include_str!("V_111020.md")]
// pub const V_111020: &str = include_str!("V_111020.md");
//
// #[doc = include_str!("V_111021.md")]
// pub const V_111021: &str = include_str!("V_111021.md");
//
// #[doc = include_str!("V_111022.md")]
// pub const V_111022: &str = include_str!("V_111022.md");
//
// #[doc = include_str!("V_111110.md")]
// pub const V_111110: &str = include_str!("V_111110.md");
//
// #[doc = include_str!("V_111111.md")]
// pub const V_111111: &str = include_str!("V_111111.md");
//
// #[doc = include_str!("V_111112.md")]
// pub const V_111112: &str = include_str!("V_111112.md");
//
// #[doc = include_str!("V_111120.md")]
// pub const V_111120: &str = include_str!("V_111120.md");
//
// #[doc = include_str!("V_111121.md")]
// pub const V_111121: &str = include_str!("V_111121.md");
//
// #[doc = include_str!("V_111122.md")]
// pub const V_111122: &str = include_str!("V_111122.md");
//
// #[doc = include_str!("V_111210.md")]
// pub const V_111210: &str = include_str!("V_111210.md");
//
// #[doc = include_str!("V_111211.md")]
// pub const V_111211: &str = include_str!("V_111211.md");
//
// #[doc = include_str!("V_111212.md")]
// pub const V_111212: &str = include_str!("V_111212.md");
//
// #[doc = include_str!("V_111220.md")]
// pub const V_111220: &str = include_str!("V_111220.md");
//
// #[doc = include_str!("V_111221.md")]
// pub const V_111221: &str = include_str!("V_111221.md");
pub const V_111222: &str = include_str!;