Lines Matching refs:cv
6 string1 = "|cv.cv|"
7 string2 = "[cv1.cv] \-> /(cV1.cV)/"
10 string1 = "|cv.cv:|"
11 string2 = "[cv.cv:1] \-> /(cV.cV1V)/"
14 string1 = "|cv.cvc|"
18 string1 = "|cv:.cv|"
19 string2 = "[cv:1.cv] \-> /(cV1V.cV)/"
22 string1 = "|cv:.cv:|"
23 string2 = "[cv:1.cv:] \-> /(cV1V.cVV)/"
26 string1 = "|cv:.cvc|"
27 string2 = "[cv:1.cvc] \-> /(cV1V.cVc)/"
30 string1 = "|cvc.cv|"
31 string2 = "[cvc1.cv] \-> /(cV1C.cV)/"
34 string1 = "|cvc.cv:|"
35 string2 = "[cvc.cv:1] \-> /(cVc.cV1V)/"
42 string1 = "|cv.cv.cv|"
43 string2 = "[cv1.cv.cv] \-> /(cV1.cV).cV/"
46 string1 = "|cv.cv.cv:|"
47 string2 = "[cv1.cv.cv:2] \-> /(cV1.cV).(cV2V)/"
50 string1 = "|cv.cv.cvc|"
51 string2 = "[cv1.cv.cvc] \-> /(cV1.cV).cVc/"
54 string1 = "|cv.cv:.cv|"
55 string2 = "[cv.cv:1.cv] \-> /(cV.cV1V).cV/"
58 string1 = "|cv.cv:.cv:|"
59 string2 = "[cv1.cv:.cv:2] \-> /(cV1.cVV).(cV2V)/"
62 string1 = "|cv.cv:.cvc|"
63 string2 = "[cv.cv:1.cvc] \-> /(cV.cV1V).cVc/"
66 string1 = "|cv.cvc.cv|"
67 string2 = "[cv1.cvc.cv] \-> /(cV1.cVc).cV/"
70 string1 = "|cv.cvc.cv:|"
71 string2 = "[cv1.cvc.cv:2] \-> /(cV1.cVc).(cV2V)/"
74 string1 = "|cv.cvc.cvc|"
78 string1 = "|cv:.cv.cv|"
79 string2 = "[cv:1.cv.cv] \-> /(cV1V.cV).cV/"
82 string1 = "|cv:.cv.cv:|"
83 string2 = "[cv:1.cv.cv:2] \-> /(cV1V.cV).(cV2V)/"
86 string1 = "|cv:.cv.cvc|"
87 string2 = "[cv:1.cv.cvc] \-> /(cV1V.cV).cVc/"
90 string1 = "|cv:.cv:.cv|"
91 string2 = "[cv:1.cv:.cv] \-> /(cV1V.cVV).cV/"
94 string1 = "|cv:.cv:.cv:|"
95 string2 = "[cv:1.cv:.cv:2] \-> /(cV1V.cVV).(cV2V)/"
98 string1 = "|cv:.cv:.cvc|"
99 string2 = "[cv:1.cv:.cvc] \-> /(cV1V.cVV).cVc/"
102 string1 = "|cv:.cvc.cv|"
103 string2 = "[cv:1.cvc.cv] \-> /(cV1V.cVc).cV/"
106 string1 = "|cv:.cvc.cv:|"
107 string2 = "[cv:1.cvc.cv:2] \-> /(cV1V.cVc).(cV2V)/"
110 string1 = "|cv:.cvc.cvc|"
111 string2 = "[cv:1.cvc.cvc] \-> /(cV1V.cVc).cVc/"
114 string1 = "|cvc.cv.cv|"
115 string2 = "[cvc1.cv.cv] \-> /(cV1C.cV).cV/"
118 string1 = "|cvc.cv.cv:|"
119 string2 = "[cvc1.cv.cv:2] \-> /(cV1C.cV).(cV2V)/"
122 string1 = "|cvc.cv.cvc|"
123 string2 = "[cvc1.cv.cvc] \-> /(cV1C.cV).cVc/"
126 string1 = "|cvc.cv:.cv|"
127 string2 = "[cvc.cv:1.cv] \-> /(cVc.cV1V).cV/"
130 string1 = "|cvc.cv:.cv:|"
131 string2 = "[cvc1.cv:.cv:2] \-> /(cV1C.cVV).(cV2V)/"
134 string1 = "|cvc.cv:.cvc|"
135 string2 = "[cvc.cv:1.cvc] \-> /(cVc.cV1V).cVc/"
138 string1 = "|cvc.cvc.cv|"
139 string2 = "[cvc1.cvc.cv] \-> /(cV1C.cVc).cV/"
142 string1 = "|cvc.cvc.cv:|"
143 string2 = "[cvc1.cvc.cv:2] \-> /(cV1C.cVc).(cV2V)/"
150 string1 = "|cv.cv.cv.cv|"
151 string2 = "[cv1.cv.cv2.cv] \-> /(cV1.cV).(cV2.cV)/"
154 string1 = "|cv.cv.cv.cv:|"
155 string2 = "[cv1.cv.cv.cv:2] \-> /(cV1.cV).(cV.cV2V)/"
158 string1 = "|cv.cv.cv.cvc|"
159 string2 = "[cv1.cv.cv2.cvc] \-> /(cV1.cV).(cV2.cVc)/"
162 string1 = "|cv.cv.cv:.cv|"
163 string2 = "[cv1.cv.cv:2.cv] \-> /(cV1.cV).(cV2V.cV)/"
166 string1 = "|cv.cv.cv:.cv:|"
167 string2 = "[cv1.cv.cv:2.cv:] \-> /(cV1.cV).(cV2V.cVV)/"
170 string1 = "|cv.cv.cv:.cvc|"
171 string2 = "[cv1.cv.cv:2.cvc] \-> /(cV1.cV).(cV2V.cVc)/"
174 string1 = "|cv.cv.cvc.cv|"
175 string2 = "[cv1.cv.cvc2.cv] \-> /(cV1.cV).(cV2C.cV)/"
178 string1 = "|cv.cv.cvc.cv:|"
179 string2 = "[cv1.cv.cvc.cv:2] \-> /(cV1.cV).(cVc.cV2V)/"
182 string1 = "|cv.cv.cvc.cvc|"
183 string2 = "[cv1.cv.cvc2.cvc] \-> /(cV1.cV).(cV2C.cVc)/"
186 string1 = "|cv.cv:.cv.cv|"
187 string2 = "[cv1.cv:.cv2.cv] \-> /(cV1.cVV).(cV2.cV)/"
190 string1 = "|cv.cv:.cv.cv:|"
191 string2 = "[cv.cv:1.cv.cv:2] \-> /(cV.cV1V).(cV.cV2V)/"
194 string1 = "|cv.cv:.cv.cvc|"
195 string2 = "[cv1.cv:.cv2.cvc] \-> /(cV1.cVV).(cV2.cVc)/"
198 string1 = "|cv.cv:.cv:.cv|"
199 string2 = "[cv1.cv:.cv:2.cv] \-> /(cV1.cVV).(cV2V.cV)/"
202 string1 = "|cv.cv:.cv:.cv:|"
203 string2 = "[cv1.cv:.cv:2.cv:] \-> /(cV1.cVV).(cV2V.cVV)/"
206 string1 = "|cv.cv:.cv:.cvc|"
207 string2 = "[cv1.cv:.cv:2.cvc] \-> /(cV1.cVV).(cV2V.cVc)/"
210 string1 = "|cv.cv:.cvc.cv|"
211 string2 = "[cv1.cv:.cvc2.cv] \-> /(cV1.cVV).(cV2C.cV)/"
214 string1 = "|cv.cv:.cvc.cv:|"
215 string2 = "[cv.cv:1.cvc.cv:2] \-> /(cV.cV1V).(cVc.cV2V)/"
218 string1 = "|cv.cv:.cvc.cvc|"
219 string2 = "[cv1.cv:.cvc2.cvc] \-> /(cV1.cVV).(cV2C.cVc)/"
222 string1 = "|cv.cvc.cv.cv|"
223 string2 = "[cv1.cvc.cv2.cv] \-> /(cV1.cVc).(cV2.cV)/"
226 string1 = "|cv.cvc.cv.cv:|"
227 string2 = "[cv1.cvc.cv.cv:2] \-> /(cV1.cVc).(cV.cV2V)/"
230 string1 = "|cv.cvc.cv.cvc|"
234 string1 = "|cv.cvc.cv:.cv|"
235 string2 = "[cv1.cvc.cv:2.cv] \-> /(cV1.cVc).(cV2V.cV)/"
238 string1 = "|cv.cvc.cv:.cv:|"
239 string2 = "[cv1.cvc.cv:2.cv:] \-> /(cV1.cVc).(cV2V.cVV)/"
242 string1 = "|cv.cvc.cv:.cvc|"
243 string2 = "[cv1.cvc.cv:2.cvc] \-> /(cV1.cVc).(cV2V.cVc)/"
246 string1 = "|cv.cvc.cvc.cv|"
247 string2 = "[cv1.cvc.cvc2.cv] \-> /(cV1.cVc).(cV2C.cV)/"
250 string1 = "|cv.cvc.cvc.cv:|"
251 string2 = "[cv1.cvc.cvc.cv:2] \-> /(cV1.cVc).(cVc.cV2V)/"
254 string1 = "|cv.cvc.cvc.cvc|"
258 string1 = "|cv:.cv.cv.cv|"
259 string2 = "[cv:1.cv.cv2.cv] \-> /(cV1V.cV).(cV2.cV)/"
262 string1 = "|cv:.cv.cv.cv:|"
263 string2 = "[cv:1.cv.cv.cv:2] \-> /(cV1V.cV).(cV.cV2V)/"
266 string1 = "|cv:.cv.cv.cvc|"
267 string2 = "[cv:1.cv.cv2.cvc] \-> /(cV1V.cV).(cV2.cVc)/"
270 string1 = "|cv:.cv.cv:.cv|"
271 string2 = "[cv:1.cv.cv:2.cv] \-> /(cV1V.cV).(cV2V.cV)/"
274 string1 = "|cv:.cv.cv:.cv:|"
275 string2 = "[cv:1.cv.cv:2.cv:] \-> /(cV1V.cV).(cV2V.cVV)/"
278 string1 = "|cv:.cv.cv:.cvc|"
279 string2 = "[cv:1.cv.cv:2.cvc] \-> /(cV1V.cV).(cV2V.cVc)/"
282 string1 = "|cv:.cv.cvc.cv|"
283 string2 = "[cv:1.cv.cvc2.cv] \-> /(cV1V.cV).(cV2C.cV)/"
286 string1 = "|cv:.cv.cvc.cv:|"
287 string2 = "[cv:1.cv.cvc.cv:2] \-> /(cV1V.cV).(cVc.cV2V)/"
290 string1 = "|cv:.cv.cvc.cvc|"
291 string2 = "[cv:1.cv.cvc2.cvc] \-> /(cV1V.cV).(cV2C.cVc)/"
294 string1 = "|cv:.cv:.cv.cv|"
295 string2 = "[cv:1.cv:.cv2.cv] \-> /(cV1V.cVV).(cV2.cV)/"
298 string1 = "|cv:.cv:.cv.cv:|"
299 string2 = "[cv:1.cv:.cv.cv:2] \-> /(cV1V.cVV).(cV.cV2V)/"
302 string1 = "|cv:.cv:.cv.cvc|"
303 string2 = "[cv:1.cv:.cv2.cvc] \-> /(cV1V.cVV).(cV2.cVc)/"
306 string1 = "|cv:.cv:.cv:.cv|"
307 string2 = "[cv:1.cv:.cv:2.cv] \-> /(cV1V.cVV).(cV2V.cV)/"
310 string1 = "|cv:.cv:.cv:.cv:|"
311 string2 = "[cv:1.cv:.cv:2.cv:] \-> /(cV1V.cVV).(cV2V.cVV)/"
314 string1 = "|cv:.cv:.cv:.cvc|"
315 string2 = "[cv:1.cv:.cv:2.cvc] \-> /(cV1V.cVV).(cV2V.cVc)/"
318 string1 = "|cv:.cv:.cvc.cv|"
319 string2 = "[cv:1.cv:.cvc2.cv] \-> /(cV1V.cVV).(cV2C.cV)/"
322 string1 = "|cv:.cv:.cvc.cv:|"
323 string2 = "[cv:1.cv:.cvc.cv:2] \-> /(cV1V.cVV).(cVc.cV2V)/"
326 string1 = "|cv:.cv:.cvc.cvc|"
327 string2 = "[cv:1.cv:.cvc2.cvc] \-> /(cV1V.cVV).(cV2C.cVc)/"
330 string1 = "|cv:.cvc.cv.cv|"
331 string2 = "[cv:1.cvc.cv2.cv] \-> /(cV1V.cVc).(cV2.cV)/"
334 string1 = "|cv:.cvc.cv.cv:|"
335 string2 = "[cv:1.cvc.cv.cv:2] \-> /(cV1V.cVc).(cV.cV2V)/"
338 string1 = "|cv:.cvc.cv.cvc|"
339 string2 = "[cv:1.cvc.cv2.cvc] \-> /(cV1V.cVc).(cV2.cVc)/"
342 string1 = "|cv:.cvc.cv:.cv|"
343 string2 = "[cv:1.cvc.cv:2.cv] \-> /(cV1V.cVc).(cV2V.cV)/"
346 string1 = "|cv:.cvc.cv:.cv:|"
347 string2 = "[cv:1.cvc.cv:2.cv:] \-> /(cV1V.cVc).(cV2V.cVV)/"
350 string1 = "|cv:.cvc.cv:.cvc|"
351 string2 = "[cv:1.cvc.cv:2.cvc] \-> /(cV1V.cVc).(cV2V.cVc)/"
354 string1 = "|cv:.cvc.cvc.cv|"
355 string2 = "[cv:1.cvc.cvc2.cv] \-> /(cV1V.cVc).(cV2C.cV)/"
358 string1 = "|cv:.cvc.cvc.cv:|"
359 string2 = "[cv:1.cvc.cvc.cv:2] \-> /(cV1V.cVc).(cVc.cV2V)/"
362 string1 = "|cv:.cvc.cvc.cvc|"
363 string2 = "[cv:1.cvc.cvc2.cvc] \-> /(cV1V.cVc).(cV2C.cVc)/"
366 string1 = "|cvc.cv.cv.cv|"
367 string2 = "[cvc1.cv.cv2.cv] \-> /(cV1C.cV).(cV2.cV)/"
370 string1 = "|cvc.cv.cv.cv:|"
371 string2 = "[cvc1.cv.cv.cv:2] \-> /(cV1C.cV).(cV.cV2V)/"
374 string1 = "|cvc.cv.cv.cvc|"
375 string2 = "[cvc1.cv.cv2.cvc] \-> /(cV1C.cV).(cV2.cVc)/"
378 string1 = "|cvc.cv.cv:.cv|"
379 string2 = "[cvc1.cv.cv:2.cv] \-> /(cV1C.cV).(cV2V.cV)/"
382 string1 = "|cvc.cv.cv:.cv:|"
383 string2 = "[cvc1.cv.cv:2.cv:] \-> /(cV1C.cV).(cV2V.cVV)/"
386 string1 = "|cvc.cv.cv:.cvc|"
387 string2 = "[cvc1.cv.cv:2.cvc] \-> /(cV1C.cV).(cV2V.cVc)/"
390 string1 = "|cvc.cv.cvc.cv|"
391 string2 = "[cvc1.cv.cvc2.cv] \-> /(cV1C.cV).(cV2C.cV)/"
394 string1 = "|cvc.cv.cvc.cv:|"
395 string2 = "[cvc1.cv.cvc.cv:2] \-> /(cV1C.cV).(cVc.cV2V)/"
398 string1 = "|cvc.cv.cvc.cvc|"
399 string2 = "[cvc1.cv.cvc2.cvc] \-> /(cV1C.cV).(cV2C.cVc)/"
402 string1 = "|cvc.cv:.cv.cv|"
403 string2 = "[cvc1.cv:.cv2.cv] \-> /(cV1C.cVV).(cV2.cV)/"
406 string1 = "|cvc.cv:.cv.cv:|"
407 string2 = "[cvc.cv:1.cv.cv:2] \-> /(cVc.cV1V).(cV.cV2V)/"
410 string1 = "|cvc.cv:.cv.cvc|"
411 string2 = "[cvc1.cv:.cv2.cvc] \-> /(cV1C.cVV).(cV2.cVc)/"
414 string1 = "|cvc.cv:.cv:.cv|"
415 string2 = "[cvc1.cv:.cv:2.cv] \-> /(cV1C.cVV).(cV2V.cV)/"
418 string1 = "|cvc.cv:.cv:.cv:|"
419 string2 = "[cvc1.cv:.cv:2.cv:] \-> /(cV1C.cVV).(cV2V.cVV)/"
422 string1 = "|cvc.cv:.cv:.cvc|"
423 string2 = "[cvc1.cv:.cv:2.cvc] \-> /(cV1C.cVV).(cV2V.cVc)/"
426 string1 = "|cvc.cv:.cvc.cv|"
427 string2 = "[cvc1.cv:.cvc2.cv] \-> /(cV1C.cVV).(cV2C.cV)/"
430 string1 = "|cvc.cv:.cvc.cv:|"
431 string2 = "[cvc.cv:1.cvc.cv:2] \-> /(cVc.cV1V).(cVc.cV2V)/"
434 string1 = "|cvc.cv:.cvc.cvc|"
435 string2 = "[cvc1.cv:.cvc2.cvc] \-> /(cV1C.cVV).(cV2C.cVc)/"
438 string1 = "|cvc.cvc.cv.cv|"
439 string2 = "[cvc1.cvc.cv2.cv] \-> /(cV1C.cVc).(cV2.cV)/"
442 string1 = "|cvc.cvc.cv.cv:|"
443 string2 = "[cvc1.cvc.cv.cv:2] \-> /(cV1C.cVc).(cV.cV2V)/"
446 string1 = "|cvc.cvc.cv.cvc|"
450 string1 = "|cvc.cvc.cv:.cv|"
451 string2 = "[cvc1.cvc.cv:2.cv] \-> /(cV1C.cVc).(cV2V.cV)/"
454 string1 = "|cvc.cvc.cv:.cv:|"
455 string2 = "[cvc1.cvc.cv:2.cv:] \-> /(cV1C.cVc).(cV2V.cVV)/"
458 string1 = "|cvc.cvc.cv:.cvc|"
459 string2 = "[cvc1.cvc.cv:2.cvc] \-> /(cV1C.cVc).(cV2V.cVc)/"
462 string1 = "|cvc.cvc.cvc.cv|"
463 string2 = "[cvc1.cvc.cvc2.cv] \-> /(cV1C.cVc).(cV2C.cV)/"
466 string1 = "|cvc.cvc.cvc.cv:|"
467 string2 = "[cvc1.cvc.cvc.cv:2] \-> /(cV1C.cVc).(cVc.cV2V)/"
474 string1 = "|cv.cv.cv.cv.cv|"
475 string2 = "[cv1.cv.cv.cv2.cv] \-> /(cV1.cV).cV.(cV2.cV)/"
478 string1 = "|cv.cv.cv.cv.cv|"
479 string2 = "[cv1.cv.cv2.cv.cv] \-> /(cV1.cV).(cV2.cV).cV/"
482 string1 = "|cv.cv.cv.cv.cv:|"
483 string2 = "[cv1.cv.cv2.cv.cv:2] \-> /(cV1.cV).(cV2.cV).(cV2V)/"
486 string1 = "|cv.cv.cv.cv.cvc|"
487 string2 = "[cv1.cv.cv.cv2.cvc] \-> /(cV1.cV).cV.(cV2.cVc)/"
490 string1 = "|cv.cv.cv.cv.cvc|"
491 string2 = "[cv1.cv.cv2.cv.cvc] \-> /(cV1.cV).(cV2.cV).cVc/"
494 string1 = "|cv.cv.cv.cv:.cv|"
495 string2 = "[cv1.cv.cv.cv:2.cv] \-> /(cV1.cV).cV.(cV2V.cV)/"
498 string1 = "|cv.cv.cv.cv:.cv:|"
499 string2 = "[cv1.cv.cv.cv:2.cv:] \-> /(cV1.cV).cV.(cV2V.cVV)/"
502 string1 = "|cv.cv.cv.cv:.cvc|"
503 string2 = "[cv1.cv.cv.cv:2.cvc] \-> /(cV1.cV).cV.(cV2V.cVc)/"
506 string1 = "|cv.cv.cv.cvc.cv|"
507 string2 = "[cv1.cv.cv.cvc2.cv] \-> /(cV1.cV).cV.(cV2C.cV)/"
510 string1 = "|cv.cv.cv.cvc.cv:|"
511 string2 = "[cv1.cv.cv2.cvc.cv:2] \-> /(cV1.cV).(cV2.cVc).(cV2V)/"
514 string1 = "|cv.cv.cv.cvc.cvc|"
515 string2 = "[cv1.cv.cv.cvc2.cvc] \-> /(cV1.cV).cV.(cV2C.cVc)/"
518 string1 = "|cv.cv.cv:.cv.cv|"
519 string2 = "[cv1.cv.cv:2.cv.cv] \-> /(cV1.cV).(cV2V.cV).cV/"
522 string1 = "|cv.cv.cv:.cv.cv:|"
523 string2 = "[cv1.cv.cv:2.cv.cv:2] \-> /(cV1.cV).(cV2V.cV).(cV2V)/"
526 string1 = "|cv.cv.cv:.cv.cvc|"
527 string2 = "[cv1.cv.cv:2.cv.cvc] \-> /(cV1.cV).(cV2V.cV).cVc/"
530 string1 = "|cv.cv.cv:.cv:.cv|"
531 string2 = "[cv1.cv.cv:.cv:2.cv] \-> /(cV1.cV).cVV.(cV2V.cV)/"
534 string1 = "|cv.cv.cv:.cv:.cv|"
535 string2 = "[cv1.cv.cv:2.cv:.cv] \-> /(cV1.cV).(cV2V.cVV).cV/"
538 string1 = "|cv.cv.cv:.cv:.cv:|"
539 string2 = "[cv1.cv.cv:2.cv:.cv:2] \-> /(cV1.cV).(cV2V.cVV).(cV2V)/"
542 string1 = "|cv.cv.cv:.cv:.cvc|"
543 string2 = "[cv1.cv.cv:.cv:2.cvc] \-> /(cV1.cV).cVV.(cV2V.cVc)/"
546 string1 = "|cv.cv.cv:.cv:.cvc|"
547 string2 = "[cv1.cv.cv:2.cv:.cvc] \-> /(cV1.cV).(cV2V.cVV).cVc/"
550 string1 = "|cv.cv.cv:.cvc.cv|"
551 string2 = "[cv1.cv.cv:2.cvc.cv] \-> /(cV1.cV).(cV2V.cVc).cV/"
554 string1 = "|cv.cv.cv:.cvc.cv:|"
555 string2 = "[cv1.cv.cv:2.cvc.cv:2] \-> /(cV1.cV).(cV2V.cVc).(cV2V)/"
558 string1 = "|cv.cv.cv:.cvc.cvc|"
559 string2 = "[cv1.cv.cv:2.cvc.cvc] \-> /(cV1.cV).(cV2V.cVc).cVc/"
562 string1 = "|cv.cv.cvc.cv.cv|"
563 string2 = "[cv1.cv.cvc2.cv.cv] \-> /(cV1.cV).(cV2C.cV).cV/"
566 string1 = "|cv.cv.cvc.cv.cv:|"
567 string2 = "[cv1.cv.cvc2.cv.cv:2] \-> /(cV1.cV).(cV2C.cV).(cV2V)/"
570 string1 = "|cv.cv.cvc.cv.cvc|"
571 string2 = "[cv1.cv.cvc2.cv.cvc] \-> /(cV1.cV).(cV2C.cV).cVc/"
574 string1 = "|cv.cv.cvc.cv:.cv|"
575 string2 = "[cv1.cv.cvc.cv:2.cv] \-> /(cV1.cV).cVc.(cV2V.cV)/"
578 string1 = "|cv.cv.cvc.cv:.cv:|"
579 string2 = "[cv1.cv.cvc.cv:2.cv:] \-> /(cV1.cV).cVc.(cV2V.cVV)/"
582 string1 = "|cv.cv.cvc.cv:.cvc|"
583 string2 = "[cv1.cv.cvc.cv:2.cvc] \-> /(cV1.cV).cVc.(cV2V.cVc)/"
586 string1 = "|cv.cv.cvc.cvc.cv|"
587 string2 = "[cv1.cv.cvc.cvc2.cv] \-> /(cV1.cV).cVc.(cV2C.cV)/"
590 string1 = "|cv.cv.cvc.cvc.cv|"
591 string2 = "[cv1.cv.cvc2.cvc.cv] \-> /(cV1.cV).(cV2C.cVc).cV/"
594 string1 = "|cv.cv.cvc.cvc.cv:|"
595 string2 = "[cv1.cv.cvc2.cvc.cv:2] \-> /(cV1.cV).(cV2C.cVc).(cV2V)/"
598 string1 = "|cv.cv.cvc.cvc.cvc|"
599 string2 = "[cv1.cv.cvc.cvc2.cvc] \-> /(cV1.cV).cVc.(cV2C.cVc)/"
602 string1 = "|cv.cv.cvc.cvc.cvc|"
603 string2 = "[cv1.cv.cvc2.cvc.cvc] \-> /(cV1.cV).(cV2C.cVc).cVc/"
606 string1 = "|cv.cv:.cv.cv.cv|"
607 string2 = "[cv.cv:1.cv.cv2.cv] \-> /(cV.cV1V).cV.(cV2.cV)/"
610 string1 = "|cv.cv:.cv.cv.cv:|"
611 string2 = "[cv1.cv:.cv2.cv.cv:2] \-> /(cV1.cVV).(cV2.cV).(cV2V)/"
614 string1 = "|cv.cv:.cv.cv.cvc|"
615 string2 = "[cv.cv:1.cv.cv2.cvc] \-> /(cV.cV1V).cV.(cV2.cVc)/"
618 string1 = "|cv.cv:.cv.cv:.cv|"
619 string2 = "[cv.cv:1.cv.cv:2.cv] \-> /(cV.cV1V).cV.(cV2V.cV)/"
622 string1 = "|cv.cv:.cv.cv:.cv:|"
623 string2 = "[cv.cv:1.cv.cv:2.cv:] \-> /(cV.cV1V).cV.(cV2V.cVV)/"
626 string1 = "|cv.cv:.cv.cv:.cvc|"
627 string2 = "[cv.cv:1.cv.cv:2.cvc] \-> /(cV.cV1V).cV.(cV2V.cVc)/"
630 string1 = "|cv.cv:.cv.cvc.cv|"
631 string2 = "[cv.cv:1.cv.cvc2.cv] \-> /(cV.cV1V).cV.(cV2C.cV)/"
634 string1 = "|cv.cv:.cv.cvc.cv:|"
635 string2 = "[cv1.cv:.cv2.cvc.cv:2] \-> /(cV1.cVV).(cV2.cVc).(cV2V)/"
638 string1 = "|cv.cv:.cv.cvc.cvc|"
639 string2 = "[cv.cv:1.cv.cvc2.cvc] \-> /(cV.cV1V).cV.(cV2C.cVc)/"
642 string1 = "|cv.cv:.cv:.cv.cv|"
643 string2 = "[cv1.cv:.cv:2.cv.cv] \-> /(cV1.cVV).(cV2V.cV).cV/"
646 string1 = "|cv.cv:.cv:.cv.cv:|"
647 string2 = "[cv1.cv:.cv:2.cv.cv:2] \-> /(cV1.cVV).(cV2V.cV).(cV2V)/"
650 string1 = "|cv.cv:.cv:.cv.cvc|"
651 string2 = "[cv1.cv:.cv:2.cv.cvc] \-> /(cV1.cVV).(cV2V.cV).cVc/"
654 string1 = "|cv.cv:.cv:.cv:.cv|"
655 string2 = "[cv.cv:1.cv:.cv:2.cv] \-> /(cV.cV1V).cVV.(cV2V.cV)/"
658 string1 = "|cv.cv:.cv:.cv:.cv:|"
659 string2 = "[cv1.cv:.cv:2.cv:.cv:2] \-> /(cV1.cVV).(cV2V.cVV).(cV2V)/"
662 string1 = "|cv.cv:.cv:.cv:.cvc|"
663 string2 = "[cv.cv:1.cv:.cv:2.cvc] \-> /(cV.cV1V).cVV.(cV2V.cVc)/"
666 string1 = "|cv.cv:.cv:.cvc.cv|"
667 string2 = "[cv1.cv:.cv:2.cvc.cv] \-> /(cV1.cVV).(cV2V.cVc).cV/"
670 string1 = "|cv.cv:.cv:.cvc.cv:|"
671 string2 = "[cv1.cv:.cv:2.cvc.cv:2] \-> /(cV1.cVV).(cV2V.cVc).(cV2V)/"
674 string1 = "|cv.cv:.cv:.cvc.cvc|"
675 string2 = "[cv1.cv:.cv:2.cvc.cvc] \-> /(cV1.cVV).(cV2V.cVc).cVc/"
678 string1 = "|cv.cv:.cvc.cv.cv|"
679 string2 = "[cv.cv:1.cvc.cv2.cv] \-> /(cV.cV1V).cVc.(cV2.cV)/"
682 string1 = "|cv.cv:.cvc.cv.cv:|"
683 string2 = "[cv1.cv:.cvc2.cv.cv:2] \-> /(cV1.cVV).(cV2C.cV).(cV2V)/"
686 string1 = "|cv.cv:.cvc.cv.cvc|"
687 string2 = "[cv.cv:1.cvc.cv2.cvc] \-> /(cV.cV1V).cVc.(cV2.cVc)/"
690 string1 = "|cv.cv:.cvc.cv:.cv|"
691 string2 = "[cv.cv:1.cvc.cv:2.cv] \-> /(cV.cV1V).cVc.(cV2V.cV)/"
694 string1 = "|cv.cv:.cvc.cv:.cv:|"
695 string2 = "[cv.cv:1.cvc.cv:2.cv:] \-> /(cV.cV1V).cVc.(cV2V.cVV)/"
698 string1 = "|cv.cv:.cvc.cv:.cvc|"
699 string2 = "[cv.cv:1.cvc.cv:2.cvc] \-> /(cV.cV1V).cVc.(cV2V.cVc)/"
702 string1 = "|cv.cv:.cvc.cvc.cv|"
703 string2 = "[cv.cv:1.cvc.cvc2.cv] \-> /(cV.cV1V).cVc.(cV2C.cV)/"
706 string1 = "|cv.cv:.cvc.cvc.cv:|"
707 string2 = "[cv1.cv:.cvc2.cvc.cv:2] \-> /(cV1.cVV).(cV2C.cVc).(cV2V)/"
710 string1 = "|cv.cv:.cvc.cvc.cvc|"
711 string2 = "[cv.cv:1.cvc.cvc2.cvc] \-> /(cV.cV1V).cVc.(cV2C.cVc)/"
714 string1 = "|cv.cvc.cv.cv.cv|"
715 string2 = "[cv1.cvc.cv.cv2.cv] \-> /(cV1.cVc).cV.(cV2.cV)/"
718 string1 = "|cv.cvc.cv.cv.cv|"
719 string2 = "[cv1.cvc.cv2.cv.cv] \-> /(cV1.cVc).(cV2.cV).cV/"
722 string1 = "|cv.cvc.cv.cv.cv:|"
723 string2 = "[cv1.cvc.cv2.cv.cv:2] \-> /(cV1.cVc).(cV2.cV).(cV2V)/"
726 string1 = "|cv.cvc.cv.cv.cvc|"
727 string2 = "[cv1.cvc.cv.cv2.cvc] \-> /(cV1.cVc).cV.(cV2.cVc)/"
730 string1 = "|cv.cvc.cv.cv.cvc|"
731 string2 = "[cv1.cvc.cv2.cv.cvc] \-> /(cV1.cVc).(cV2.cV).cVc/"
734 string1 = "|cv.cvc.cv.cv:.cv|"
735 string2 = "[cv1.cvc.cv.cv:2.cv] \-> /(cV1.cVc).cV.(cV2V.cV)/"
738 string1 = "|cv.cvc.cv.cv:.cv:|"
739 string2 = "[cv1.cvc.cv.cv:2.cv:] \-> /(cV1.cVc).cV.(cV2V.cVV)/"
742 string1 = "|cv.cvc.cv.cv:.cvc|"
743 string2 = "[cv1.cvc.cv.cv:2.cvc] \-> /(cV1.cVc).cV.(cV2V.cVc)/"
746 string1 = "|cv.cvc.cv.cvc.cv|"
747 string2 = "[cv1.cvc.cv.cvc2.cv] \-> /(cV1.cVc).cV.(cV2C.cV)/"
750 string1 = "|cv.cvc.cv.cvc.cv:|"
751 string2 = "[cv1.cvc.cv2.cvc.cv:2] \-> /(cV1.cVc).(cV2.cVc).(cV2V)/"
754 string1 = "|cv.cvc.cv.cvc.cvc|"
755 string2 = "[cv1.cvc.cv.cvc2.cvc] \-> /(cV1.cVc).cV.(cV2C.cVc)/"
758 string1 = "|cv.cvc.cv:.cv.cv|"
759 string2 = "[cv1.cvc.cv:2.cv.cv] \-> /(cV1.cVc).(cV2V.cV).cV/"
762 string1 = "|cv.cvc.cv:.cv.cv:|"
763 string2 = "[cv1.cvc.cv:2.cv.cv:2] \-> /(cV1.cVc).(cV2V.cV).(cV2V)/"
766 string1 = "|cv.cvc.cv:.cv.cvc|"
767 string2 = "[cv1.cvc.cv:2.cv.cvc] \-> /(cV1.cVc).(cV2V.cV).cVc/"
770 string1 = "|cv.cvc.cv:.cv:.cv|"
771 string2 = "[cv1.cvc.cv:.cv:2.cv] \-> /(cV1.cVc).cVV.(cV2V.cV)/"
774 string1 = "|cv.cvc.cv:.cv:.cv|"
775 string2 = "[cv1.cvc.cv:2.cv:.cv] \-> /(cV1.cVc).(cV2V.cVV).cV/"
778 string1 = "|cv.cvc.cv:.cv:.cv:|"
779 string2 = "[cv1.cvc.cv:2.cv:.cv:2] \-> /(cV1.cVc).(cV2V.cVV).(cV2V)/"
782 string1 = "|cv.cvc.cv:.cv:.cvc|"
783 string2 = "[cv1.cvc.cv:.cv:2.cvc] \-> /(cV1.cVc).cVV.(cV2V.cVc)/"
786 string1 = "|cv.cvc.cv:.cv:.cvc|"
787 string2 = "[cv1.cvc.cv:2.cv:.cvc] \-> /(cV1.cVc).(cV2V.cVV).cVc/"
790 string1 = "|cv.cvc.cv:.cvc.cv|"
791 string2 = "[cv1.cvc.cv:2.cvc.cv] \-> /(cV1.cVc).(cV2V.cVc).cV/"
794 string1 = "|cv.cvc.cv:.cvc.cv:|"
795 string2 = "[cv1.cvc.cv:2.cvc.cv:2] \-> /(cV1.cVc).(cV2V.cVc).(cV2V)/"
798 string1 = "|cv.cvc.cv:.cvc.cvc|"
799 string2 = "[cv1.cvc.cv:2.cvc.cvc] \-> /(cV1.cVc).(cV2V.cVc).cVc/"
802 string1 = "|cv.cvc.cvc.cv.cv|"
803 string2 = "[cv1.cvc.cvc2.cv.cv] \-> /(cV1.cVc).(cV2C.cV).cV/"
806 string1 = "|cv.cvc.cvc.cv.cv:|"
807 string2 = "[cv1.cvc.cvc2.cv.cv:2] \-> /(cV1.cVc).(cV2C.cV).(cV2V)/"
810 string1 = "|cv.cvc.cvc.cv.cvc|"
811 string2 = "[cv1.cvc.cvc2.cv.cvc] \-> /(cV1.cVc).(cV2C.cV).cVc/"
814 string1 = "|cv.cvc.cvc.cv:.cv|"
815 string2 = "[cv1.cvc.cvc.cv:2.cv] \-> /(cV1.cVc).cVc.(cV2V.cV)/"
818 string1 = "|cv.cvc.cvc.cv:.cv:|"
819 string2 = "[cv1.cvc.cvc.cv:2.cv:] \-> /(cV1.cVc).cVc.(cV2V.cVV)/"
822 string1 = "|cv.cvc.cvc.cv:.cvc|"
823 string2 = "[cv1.cvc.cvc.cv:2.cvc] \-> /(cV1.cVc).cVc.(cV2V.cVc)/"
826 string1 = "|cv.cvc.cvc.cvc.cv|"
827 string2 = "[cv1.cvc.cvc.cvc2.cv] \-> /(cV1.cVc).cVc.(cV2C.cV)/"
830 string1 = "|cv.cvc.cvc.cvc.cv|"
831 string2 = "[cv1.cvc.cvc2.cvc.cv] \-> /(cV1.cVc).(cV2C.cVc).cV/"
834 string1 = "|cv.cvc.cvc.cvc.cv:|"
835 string2 = "[cv1.cvc.cvc2.cvc.cv:2] \-> /(cV1.cVc).(cV2C.cVc).(cV2V)/"
838 string1 = "|cv.cvc.cvc.cvc.cvc|"
842 string1 = "|cv.cvc.cvc.cvc.cvc|"
846 string1 = "|cv:.cv.cv.cv.cv|"
847 string2 = "[cv:1.cv.cv.cv2.cv] \-> /(cV1V.cV).cV.(cV2.cV)/"
850 string1 = "|cv:.cv.cv.cv.cv|"
851 string2 = "[cv:1.cv.cv2.cv.cv] \-> /(cV1V.cV).(cV2.cV).cV/"
854 string1 = "|cv:.cv.cv.cv.cv:|"
855 string2 = "[cv:1.cv.cv2.cv.cv:2] \-> /(cV1V.cV).(cV2.cV).(cV2V)/"
858 string1 = "|cv:.cv.cv.cv.cvc|"
859 string2 = "[cv:1.cv.cv.cv2.cvc] \-> /(cV1V.cV).cV.(cV2.cVc)/"
862 string1 = "|cv:.cv.cv.cv.cvc|"
863 string2 = "[cv:1.cv.cv2.cv.cvc] \-> /(cV1V.cV).(cV2.cV).cVc/"
866 string1 = "|cv:.cv.cv.cv:.cv|"
867 string2 = "[cv:1.cv.cv.cv:2.cv] \-> /(cV1V.cV).cV.(cV2V.cV)/"
870 string1 = "|cv:.cv.cv.cv:.cv:|"
871 string2 = "[cv:1.cv.cv.cv:2.cv:] \-> /(cV1V.cV).cV.(cV2V.cVV)/"
874 string1 = "|cv:.cv.cv.cv:.cvc|"
875 string2 = "[cv:1.cv.cv.cv:2.cvc] \-> /(cV1V.cV).cV.(cV2V.cVc)/"
878 string1 = "|cv:.cv.cv.cvc.cv|"
879 string2 = "[cv:1.cv.cv.cvc2.cv] \-> /(cV1V.cV).cV.(cV2C.cV)/"
882 string1 = "|cv:.cv.cv.cvc.cv:|"
883 string2 = "[cv:1.cv.cv2.cvc.cv:2] \-> /(cV1V.cV).(cV2.cVc).(cV2V)/"
886 string1 = "|cv:.cv.cv.cvc.cvc|"
887 string2 = "[cv:1.cv.cv.cvc2.cvc] \-> /(cV1V.cV).cV.(cV2C.cVc)/"
890 string1 = "|cv:.cv.cv:.cv.cv|"
891 string2 = "[cv:1.cv.cv:2.cv.cv] \-> /(cV1V.cV).(cV2V.cV).cV/"
894 string1 = "|cv:.cv.cv:.cv.cv:|"
895 string2 = "[cv:1.cv.cv:2.cv.cv:2] \-> /(cV1V.cV).(cV2V.cV).(cV2V)/"
898 string1 = "|cv:.cv.cv:.cv.cvc|"
899 string2 = "[cv:1.cv.cv:2.cv.cvc] \-> /(cV1V.cV).(cV2V.cV).cVc/"
902 string1 = "|cv:.cv.cv:.cv:.cv|"
903 string2 = "[cv:1.cv.cv:.cv:2.cv] \-> /(cV1V.cV).cVV.(cV2V.cV)/"
906 string1 = "|cv:.cv.cv:.cv:.cv|"
907 string2 = "[cv:1.cv.cv:2.cv:.cv] \-> /(cV1V.cV).(cV2V.cVV).cV/"
910 string1 = "|cv:.cv.cv:.cv:.cv:|"
911 string2 = "[cv:1.cv.cv:2.cv:.cv:2] \-> /(cV1V.cV).(cV2V.cVV).(cV2V)/"
914 string1 = "|cv:.cv.cv:.cv:.cvc|"
915 string2 = "[cv:1.cv.cv:.cv:2.cvc] \-> /(cV1V.cV).cVV.(cV2V.cVc)/"
918 string1 = "|cv:.cv.cv:.cv:.cvc|"
919 string2 = "[cv:1.cv.cv:2.cv:.cvc] \-> /(cV1V.cV).(cV2V.cVV).cVc/"
922 string1 = "|cv:.cv.cv:.cvc.cv|"
923 string2 = "[cv:1.cv.cv:2.cvc.cv] \-> /(cV1V.cV).(cV2V.cVc).cV/"
926 string1 = "|cv:.cv.cv:.cvc.cv:|"
927 string2 = "[cv:1.cv.cv:2.cvc.cv:2] \-> /(cV1V.cV).(cV2V.cVc).(cV2V)/"
930 string1 = "|cv:.cv.cv:.cvc.cvc|"
931 string2 = "[cv:1.cv.cv:2.cvc.cvc] \-> /(cV1V.cV).(cV2V.cVc).cVc/"
934 string1 = "|cv:.cv.cvc.cv.cv|"
935 string2 = "[cv:1.cv.cvc2.cv.cv] \-> /(cV1V.cV).(cV2C.cV).cV/"
938 string1 = "|cv:.cv.cvc.cv.cv:|"
939 string2 = "[cv:1.cv.cvc2.cv.cv:2] \-> /(cV1V.cV).(cV2C.cV).(cV2V)/"
942 string1 = "|cv:.cv.cvc.cv.cvc|"
943 string2 = "[cv:1.cv.cvc2.cv.cvc] \-> /(cV1V.cV).(cV2C.cV).cVc/"
946 string1 = "|cv:.cv.cvc.cv:.cv|"
947 string2 = "[cv:1.cv.cvc.cv:2.cv] \-> /(cV1V.cV).cVc.(cV2V.cV)/"
950 string1 = "|cv:.cv.cvc.cv:.cv:|"
951 string2 = "[cv:1.cv.cvc.cv:2.cv:] \-> /(cV1V.cV).cVc.(cV2V.cVV)/"
954 string1 = "|cv:.cv.cvc.cv:.cvc|"
955 string2 = "[cv:1.cv.cvc.cv:2.cvc] \-> /(cV1V.cV).cVc.(cV2V.cVc)/"
958 string1 = "|cv:.cv.cvc.cvc.cv|"
959 string2 = "[cv:1.cv.cvc.cvc2.cv] \-> /(cV1V.cV).cVc.(cV2C.cV)/"
962 string1 = "|cv:.cv.cvc.cvc.cv|"
963 string2 = "[cv:1.cv.cvc2.cvc.cv] \-> /(cV1V.cV).(cV2C.cVc).cV/"
966 string1 = "|cv:.cv.cvc.cvc.cv:|"
967 string2 = "[cv:1.cv.cvc2.cvc.cv:2] \-> /(cV1V.cV).(cV2C.cVc).(cV2V)/"
970 string1 = "|cv:.cv.cvc.cvc.cvc|"
971 string2 = "[cv:1.cv.cvc.cvc2.cvc] \-> /(cV1V.cV).cVc.(cV2C.cVc)/"
974 string1 = "|cv:.cv.cvc.cvc.cvc|"
975 string2 = "[cv:1.cv.cvc2.cvc.cvc] \-> /(cV1V.cV).(cV2C.cVc).cVc/"
978 string1 = "|cv:.cv:.cv.cv.cv|"
979 string2 = "[cv:1.cv:.cv.cv2.cv] \-> /(cV1V.cVV).cV.(cV2.cV)/"
982 string1 = "|cv:.cv:.cv.cv.cv|"
983 string2 = "[cv:1.cv:.cv2.cv.cv] \-> /(cV1V.cVV).(cV2.cV).cV/"
986 string1 = "|cv:.cv:.cv.cv.cv:|"
987 string2 = "[cv:1.cv:.cv2.cv.cv:2] \-> /(cV1V.cVV).(cV2.cV).(cV2V)/"
990 string1 = "|cv:.cv:.cv.cv.cvc|"
991 string2 = "[cv:1.cv:.cv.cv2.cvc] \-> /(cV1V.cVV).cV.(cV2.cVc)/"
994 string1 = "|cv:.cv:.cv.cv.cvc|"
995 string2 = "[cv:1.cv:.cv2.cv.cvc] \-> /(cV1V.cVV).(cV2.cV).cVc/"
998 string1 = "|cv:.cv:.cv.cv:.cv|"
999 string2 = "[cv:1.cv:.cv.cv:2.cv] \-> /(cV1V.cVV).cV.(cV2V.cV)/"
1002 string1 = "|cv:.cv:.cv.cv:.cv:|"
1003 string2 = "[cv:1.cv:.cv.cv:2.cv:] \-> /(cV1V.cVV).cV.(cV2V.cVV)/"
1006 string1 = "|cv:.cv:.cv.cv:.cvc|"
1007 string2 = "[cv:1.cv:.cv.cv:2.cvc] \-> /(cV1V.cVV).cV.(cV2V.cVc)/"
1010 string1 = "|cv:.cv:.cv.cvc.cv|"
1011 string2 = "[cv:1.cv:.cv.cvc2.cv] \-> /(cV1V.cVV).cV.(cV2C.cV)/"
1014 string1 = "|cv:.cv:.cv.cvc.cv:|"
1015 string2 = "[cv:1.cv:.cv2.cvc.cv:2] \-> /(cV1V.cVV).(cV2.cVc).(cV2V)/"
1018 string1 = "|cv:.cv:.cv.cvc.cvc|"
1019 string2 = "[cv:1.cv:.cv.cvc2.cvc] \-> /(cV1V.cVV).cV.(cV2C.cVc)/"
1022 string1 = "|cv:.cv:.cv:.cv.cv|"
1023 string2 = "[cv:1.cv:.cv:2.cv.cv] \-> /(cV1V.cVV).(cV2V.cV).cV/"
1026 string1 = "|cv:.cv:.cv:.cv.cv:|"
1027 string2 = "[cv:1.cv:.cv:2.cv.cv:2] \-> /(cV1V.cVV).(cV2V.cV).(cV2V)/"
1030 string1 = "|cv:.cv:.cv:.cv.cvc|"
1031 string2 = "[cv:1.cv:.cv:2.cv.cvc] \-> /(cV1V.cVV).(cV2V.cV).cVc/"
1034 string1 = "|cv:.cv:.cv:.cv:.cv|"
1035 string2 = "[cv:1.cv:.cv:.cv:2.cv] \-> /(cV1V.cVV).cVV.(cV2V.cV)/"
1038 string1 = "|cv:.cv:.cv:.cv:.cv|"
1039 string2 = "[cv:1.cv:.cv:2.cv:.cv] \-> /(cV1V.cVV).(cV2V.cVV).cV/"
1042 string1 = "|cv:.cv:.cv:.cv:.cv:|"
1043 string2 = "[cv:1.cv:.cv:2.cv:.cv:2] \-> /(cV1V.cVV).(cV2V.cVV).(cV2V)/"
1046 string1 = "|cv:.cv:.cv:.cv:.cvc|"
1047 string2 = "[cv:1.cv:.cv:.cv:2.cvc] \-> /(cV1V.cVV).cVV.(cV2V.cVc)/"
1050 string1 = "|cv:.cv:.cv:.cv:.cvc|"
1051 string2 = "[cv:1.cv:.cv:2.cv:.cvc] \-> /(cV1V.cVV).(cV2V.cVV).cVc/"
1054 string1 = "|cv:.cv:.cv:.cvc.cv|"
1055 string2 = "[cv:1.cv:.cv:2.cvc.cv] \-> /(cV1V.cVV).(cV2V.cVc).cV/"
1058 string1 = "|cv:.cv:.cv:.cvc.cv:|"
1059 string2 = "[cv:1.cv:.cv:2.cvc.cv:2] \-> /(cV1V.cVV).(cV2V.cVc).(cV2V)/"
1062 string1 = "|cv:.cv:.cv:.cvc.cvc|"
1063 string2 = "[cv:1.cv:.cv:2.cvc.cvc] \-> /(cV1V.cVV).(cV2V.cVc).cVc/"
1066 string1 = "|cv:.cv:.cvc.cv.cv|"
1067 string2 = "[cv:1.cv:.cvc2.cv.cv] \-> /(cV1V.cVV).(cV2C.cV).cV/"
1070 string1 = "|cv:.cv:.cvc.cv.cv:|"
1071 string2 = "[cv:1.cv:.cvc2.cv.cv:2] \-> /(cV1V.cVV).(cV2C.cV).(cV2V)/"
1074 string1 = "|cv:.cv:.cvc.cv.cvc|"
1075 string2 = "[cv:1.cv:.cvc2.cv.cvc] \-> /(cV1V.cVV).(cV2C.cV).cVc/"
1078 string1 = "|cv:.cv:.cvc.cv:.cv|"
1079 string2 = "[cv:1.cv:.cvc.cv:2.cv] \-> /(cV1V.cVV).cVc.(cV2V.cV)/"
1082 string1 = "|cv:.cv:.cvc.cv:.cv:|"
1083 string2 = "[cv:1.cv:.cvc.cv:2.cv:] \-> /(cV1V.cVV).cVc.(cV2V.cVV)/"
1086 string1 = "|cv:.cv:.cvc.cv:.cvc|"
1087 string2 = "[cv:1.cv:.cvc.cv:2.cvc] \-> /(cV1V.cVV).cVc.(cV2V.cVc)/"
1090 string1 = "|cv:.cv:.cvc.cvc.cv|"
1091 string2 = "[cv:1.cv:.cvc.cvc2.cv] \-> /(cV1V.cVV).cVc.(cV2C.cV)/"
1094 string1 = "|cv:.cv:.cvc.cvc.cv|"
1095 string2 = "[cv:1.cv:.cvc2.cvc.cv] \-> /(cV1V.cVV).(cV2C.cVc).cV/"
1098 string1 = "|cv:.cv:.cvc.cvc.cv:|"
1099 string2 = "[cv:1.cv:.cvc2.cvc.cv:2] \-> /(cV1V.cVV).(cV2C.cVc).(cV2V)/"
1102 string1 = "|cv:.cv:.cvc.cvc.cvc|"
1103 string2 = "[cv:1.cv:.cvc.cvc2.cvc] \-> /(cV1V.cVV).cVc.(cV2C.cVc)/"
1106 string1 = "|cv:.cv:.cvc.cvc.cvc|"
1107 string2 = "[cv:1.cv:.cvc2.cvc.cvc] \-> /(cV1V.cVV).(cV2C.cVc).cVc/"
1110 string1 = "|cv:.cvc.cv.cv.cv|"
1111 string2 = "[cv:1.cvc.cv.cv2.cv] \-> /(cV1V.cVc).cV.(cV2.cV)/"
1114 string1 = "|cv:.cvc.cv.cv.cv|"
1115 string2 = "[cv:1.cvc.cv2.cv.cv] \-> /(cV1V.cVc).(cV2.cV).cV/"
1118 string1 = "|cv:.cvc.cv.cv.cv:|"
1119 string2 = "[cv:1.cvc.cv2.cv.cv:2] \-> /(cV1V.cVc).(cV2.cV).(cV2V)/"
1122 string1 = "|cv:.cvc.cv.cv.cvc|"
1123 string2 = "[cv:1.cvc.cv.cv2.cvc] \-> /(cV1V.cVc).cV.(cV2.cVc)/"
1126 string1 = "|cv:.cvc.cv.cv.cvc|"
1127 string2 = "[cv:1.cvc.cv2.cv.cvc] \-> /(cV1V.cVc).(cV2.cV).cVc/"
1130 string1 = "|cv:.cvc.cv.cv:.cv|"
1131 string2 = "[cv:1.cvc.cv.cv:2.cv] \-> /(cV1V.cVc).cV.(cV2V.cV)/"
1134 string1 = "|cv:.cvc.cv.cv:.cv:|"
1135 string2 = "[cv:1.cvc.cv.cv:2.cv:] \-> /(cV1V.cVc).cV.(cV2V.cVV)/"
1138 string1 = "|cv:.cvc.cv.cv:.cvc|"
1139 string2 = "[cv:1.cvc.cv.cv:2.cvc] \-> /(cV1V.cVc).cV.(cV2V.cVc)/"
1142 string1 = "|cv:.cvc.cv.cvc.cv|"
1143 string2 = "[cv:1.cvc.cv.cvc2.cv] \-> /(cV1V.cVc).cV.(cV2C.cV)/"
1146 string1 = "|cv:.cvc.cv.cvc.cv:|"
1147 string2 = "[cv:1.cvc.cv2.cvc.cv:2] \-> /(cV1V.cVc).(cV2.cVc).(cV2V)/"
1150 string1 = "|cv:.cvc.cv.cvc.cvc|"
1151 string2 = "[cv:1.cvc.cv.cvc2.cvc] \-> /(cV1V.cVc).cV.(cV2C.cVc)/"
1154 string1 = "|cv:.cvc.cv:.cv.cv|"
1155 string2 = "[cv:1.cvc.cv:2.cv.cv] \-> /(cV1V.cVc).(cV2V.cV).cV/"
1158 string1 = "|cv:.cvc.cv:.cv.cv:|"
1159 string2 = "[cv:1.cvc.cv:2.cv.cv:2] \-> /(cV1V.cVc).(cV2V.cV).(cV2V)/"
1162 string1 = "|cv:.cvc.cv:.cv.cvc|"
1163 string2 = "[cv:1.cvc.cv:2.cv.cvc] \-> /(cV1V.cVc).(cV2V.cV).cVc/"
1166 string1 = "|cv:.cvc.cv:.cv:.cv|"
1167 string2 = "[cv:1.cvc.cv:.cv:2.cv] \-> /(cV1V.cVc).cVV.(cV2V.cV)/"
1170 string1 = "|cv:.cvc.cv:.cv:.cv|"
1171 string2 = "[cv:1.cvc.cv:2.cv:.cv] \-> /(cV1V.cVc).(cV2V.cVV).cV/"
1174 string1 = "|cv:.cvc.cv:.cv:.cv:|"
1175 string2 = "[cv:1.cvc.cv:2.cv:.cv:2] \-> /(cV1V.cVc).(cV2V.cVV).(cV2V)/"
1178 string1 = "|cv:.cvc.cv:.cv:.cvc|"
1179 string2 = "[cv:1.cvc.cv:.cv:2.cvc] \-> /(cV1V.cVc).cVV.(cV2V.cVc)/"
1182 string1 = "|cv:.cvc.cv:.cv:.cvc|"
1183 string2 = "[cv:1.cvc.cv:2.cv:.cvc] \-> /(cV1V.cVc).(cV2V.cVV).cVc/"
1186 string1 = "|cv:.cvc.cv:.cvc.cv|"
1187 string2 = "[cv:1.cvc.cv:2.cvc.cv] \-> /(cV1V.cVc).(cV2V.cVc).cV/"
1190 string1 = "|cv:.cvc.cv:.cvc.cv:|"
1191 string2 = "[cv:1.cvc.cv:2.cvc.cv:2] \-> /(cV1V.cVc).(cV2V.cVc).(cV2V)/"
1194 string1 = "|cv:.cvc.cv:.cvc.cvc|"
1195 string2 = "[cv:1.cvc.cv:2.cvc.cvc] \-> /(cV1V.cVc).(cV2V.cVc).cVc/"
1198 string1 = "|cv:.cvc.cvc.cv.cv|"
1199 string2 = "[cv:1.cvc.cvc2.cv.cv] \-> /(cV1V.cVc).(cV2C.cV).cV/"
1202 string1 = "|cv:.cvc.cvc.cv.cv:|"
1203 string2 = "[cv:1.cvc.cvc2.cv.cv:2] \-> /(cV1V.cVc).(cV2C.cV).(cV2V)/"
1206 string1 = "|cv:.cvc.cvc.cv.cvc|"
1207 string2 = "[cv:1.cvc.cvc2.cv.cvc] \-> /(cV1V.cVc).(cV2C.cV).cVc/"
1210 string1 = "|cv:.cvc.cvc.cv:.cv|"
1211 string2 = "[cv:1.cvc.cvc.cv:2.cv] \-> /(cV1V.cVc).cVc.(cV2V.cV)/"
1214 string1 = "|cv:.cvc.cvc.cv:.cv:|"
1215 string2 = "[cv:1.cvc.cvc.cv:2.cv:] \-> /(cV1V.cVc).cVc.(cV2V.cVV)/"
1218 string1 = "|cv:.cvc.cvc.cv:.cvc|"
1219 string2 = "[cv:1.cvc.cvc.cv:2.cvc] \-> /(cV1V.cVc).cVc.(cV2V.cVc)/"
1222 string1 = "|cv:.cvc.cvc.cvc.cv|"
1223 string2 = "[cv:1.cvc.cvc.cvc2.cv] \-> /(cV1V.cVc).cVc.(cV2C.cV)/"
1226 string1 = "|cv:.cvc.cvc.cvc.cv|"
1227 string2 = "[cv:1.cvc.cvc2.cvc.cv] \-> /(cV1V.cVc).(cV2C.cVc).cV/"
1230 string1 = "|cv:.cvc.cvc.cvc.cv:|"
1231 string2 = "[cv:1.cvc.cvc2.cvc.cv:2] \-> /(cV1V.cVc).(cV2C.cVc).(cV2V)/"
1234 string1 = "|cv:.cvc.cvc.cvc.cvc|"
1235 string2 = "[cv:1.cvc.cvc.cvc2.cvc] \-> /(cV1V.cVc).cVc.(cV2C.cVc)/"
1238 string1 = "|cv:.cvc.cvc.cvc.cvc|"
1239 string2 = "[cv:1.cvc.cvc2.cvc.cvc] \-> /(cV1V.cVc).(cV2C.cVc).cVc/"
1242 string1 = "|cvc.cv.cv.cv.cv|"
1243 string2 = "[cvc1.cv.cv.cv2.cv] \-> /(cV1C.cV).cV.(cV2.cV)/"
1246 string1 = "|cvc.cv.cv.cv.cv|"
1247 string2 = "[cvc1.cv.cv2.cv.cv] \-> /(cV1C.cV).(cV2.cV).cV/"
1250 string1 = "|cvc.cv.cv.cv.cv:|"
1251 string2 = "[cvc1.cv.cv2.cv.cv:2] \-> /(cV1C.cV).(cV2.cV).(cV2V)/"
1254 string1 = "|cvc.cv.cv.cv.cvc|"
1255 string2 = "[cvc1.cv.cv.cv2.cvc] \-> /(cV1C.cV).cV.(cV2.cVc)/"
1258 string1 = "|cvc.cv.cv.cv.cvc|"
1259 string2 = "[cvc1.cv.cv2.cv.cvc] \-> /(cV1C.cV).(cV2.cV).cVc/"
1262 string1 = "|cvc.cv.cv.cv:.cv|"
1263 string2 = "[cvc1.cv.cv.cv:2.cv] \-> /(cV1C.cV).cV.(cV2V.cV)/"
1266 string1 = "|cvc.cv.cv.cv:.cv:|"
1267 string2 = "[cvc1.cv.cv.cv:2.cv:] \-> /(cV1C.cV).cV.(cV2V.cVV)/"
1270 string1 = "|cvc.cv.cv.cv:.cvc|"
1271 string2 = "[cvc1.cv.cv.cv:2.cvc] \-> /(cV1C.cV).cV.(cV2V.cVc)/"
1274 string1 = "|cvc.cv.cv.cvc.cv|"
1275 string2 = "[cvc1.cv.cv.cvc2.cv] \-> /(cV1C.cV).cV.(cV2C.cV)/"
1278 string1 = "|cvc.cv.cv.cvc.cv:|"
1279 string2 = "[cvc1.cv.cv2.cvc.cv:2] \-> /(cV1C.cV).(cV2.cVc).(cV2V)/"
1282 string1 = "|cvc.cv.cv.cvc.cvc|"
1283 string2 = "[cvc1.cv.cv.cvc2.cvc] \-> /(cV1C.cV).cV.(cV2C.cVc)/"
1286 string1 = "|cvc.cv.cv:.cv.cv|"
1287 string2 = "[cvc1.cv.cv:2.cv.cv] \-> /(cV1C.cV).(cV2V.cV).cV/"
1290 string1 = "|cvc.cv.cv:.cv.cv:|"
1291 string2 = "[cvc1.cv.cv:2.cv.cv:2] \-> /(cV1C.cV).(cV2V.cV).(cV2V)/"
1294 string1 = "|cvc.cv.cv:.cv.cvc|"
1295 string2 = "[cvc1.cv.cv:2.cv.cvc] \-> /(cV1C.cV).(cV2V.cV).cVc/"
1298 string1 = "|cvc.cv.cv:.cv:.cv|"
1299 string2 = "[cvc1.cv.cv:.cv:2.cv] \-> /(cV1C.cV).cVV.(cV2V.cV)/"
1302 string1 = "|cvc.cv.cv:.cv:.cv|"
1303 string2 = "[cvc1.cv.cv:2.cv:.cv] \-> /(cV1C.cV).(cV2V.cVV).cV/"
1306 string1 = "|cvc.cv.cv:.cv:.cv:|"
1307 string2 = "[cvc1.cv.cv:2.cv:.cv:2] \-> /(cV1C.cV).(cV2V.cVV).(cV2V)/"
1310 string1 = "|cvc.cv.cv:.cv:.cvc|"
1311 string2 = "[cvc1.cv.cv:.cv:2.cvc] \-> /(cV1C.cV).cVV.(cV2V.cVc)/"
1314 string1 = "|cvc.cv.cv:.cv:.cvc|"
1315 string2 = "[cvc1.cv.cv:2.cv:.cvc] \-> /(cV1C.cV).(cV2V.cVV).cVc/"
1318 string1 = "|cvc.cv.cv:.cvc.cv|"
1319 string2 = "[cvc1.cv.cv:2.cvc.cv] \-> /(cV1C.cV).(cV2V.cVc).cV/"
1322 string1 = "|cvc.cv.cv:.cvc.cv:|"
1323 string2 = "[cvc1.cv.cv:2.cvc.cv:2] \-> /(cV1C.cV).(cV2V.cVc).(cV2V)/"
1326 string1 = "|cvc.cv.cv:.cvc.cvc|"
1327 string2 = "[cvc1.cv.cv:2.cvc.cvc] \-> /(cV1C.cV).(cV2V.cVc).cVc/"
1330 string1 = "|cvc.cv.cvc.cv.cv|"
1331 string2 = "[cvc1.cv.cvc2.cv.cv] \-> /(cV1C.cV).(cV2C.cV).cV/"
1334 string1 = "|cvc.cv.cvc.cv.cv:|"
1335 string2 = "[cvc1.cv.cvc2.cv.cv:2] \-> /(cV1C.cV).(cV2C.cV).(cV2V)/"
1338 string1 = "|cvc.cv.cvc.cv.cvc|"
1339 string2 = "[cvc1.cv.cvc2.cv.cvc] \-> /(cV1C.cV).(cV2C.cV).cVc/"
1342 string1 = "|cvc.cv.cvc.cv:.cv|"
1343 string2 = "[cvc1.cv.cvc.cv:2.cv] \-> /(cV1C.cV).cVc.(cV2V.cV)/"
1346 string1 = "|cvc.cv.cvc.cv:.cv:|"
1347 string2 = "[cvc1.cv.cvc.cv:2.cv:] \-> /(cV1C.cV).cVc.(cV2V.cVV)/"
1350 string1 = "|cvc.cv.cvc.cv:.cvc|"
1351 string2 = "[cvc1.cv.cvc.cv:2.cvc] \-> /(cV1C.cV).cVc.(cV2V.cVc)/"
1354 string1 = "|cvc.cv.cvc.cvc.cv|"
1355 string2 = "[cvc1.cv.cvc.cvc2.cv] \-> /(cV1C.cV).cVc.(cV2C.cV)/"
1358 string1 = "|cvc.cv.cvc.cvc.cv|"
1359 string2 = "[cvc1.cv.cvc2.cvc.cv] \-> /(cV1C.cV).(cV2C.cVc).cV/"
1362 string1 = "|cvc.cv.cvc.cvc.cv:|"
1363 string2 = "[cvc1.cv.cvc2.cvc.cv:2] \-> /(cV1C.cV).(cV2C.cVc).(cV2V)/"
1366 string1 = "|cvc.cv.cvc.cvc.cvc|"
1367 string2 = "[cvc1.cv.cvc.cvc2.cvc] \-> /(cV1C.cV).cVc.(cV2C.cVc)/"
1370 string1 = "|cvc.cv.cvc.cvc.cvc|"
1371 string2 = "[cvc1.cv.cvc2.cvc.cvc] \-> /(cV1C.cV).(cV2C.cVc).cVc/"
1374 string1 = "|cvc.cv:.cv.cv.cv|"
1375 string2 = "[cvc.cv:1.cv.cv2.cv] \-> /(cVc.cV1V).cV.(cV2.cV)/"
1378 string1 = "|cvc.cv:.cv.cv.cv:|"
1379 string2 = "[cvc1.cv:.cv2.cv.cv:2] \-> /(cV1C.cVV).(cV2.cV).(cV2V)/"
1382 string1 = "|cvc.cv:.cv.cv.cvc|"
1383 string2 = "[cvc.cv:1.cv.cv2.cvc] \-> /(cVc.cV1V).cV.(cV2.cVc)/"
1386 string1 = "|cvc.cv:.cv.cv:.cv|"
1387 string2 = "[cvc.cv:1.cv.cv:2.cv] \-> /(cVc.cV1V).cV.(cV2V.cV)/"
1390 string1 = "|cvc.cv:.cv.cv:.cv:|"
1391 string2 = "[cvc.cv:1.cv.cv:2.cv:] \-> /(cVc.cV1V).cV.(cV2V.cVV)/"
1394 string1 = "|cvc.cv:.cv.cv:.cvc|"
1395 string2 = "[cvc.cv:1.cv.cv:2.cvc] \-> /(cVc.cV1V).cV.(cV2V.cVc)/"
1398 string1 = "|cvc.cv:.cv.cvc.cv|"
1399 string2 = "[cvc.cv:1.cv.cvc2.cv] \-> /(cVc.cV1V).cV.(cV2C.cV)/"
1402 string1 = "|cvc.cv:.cv.cvc.cv:|"
1403 string2 = "[cvc1.cv:.cv2.cvc.cv:2] \-> /(cV1C.cVV).(cV2.cVc).(cV2V)/"
1406 string1 = "|cvc.cv:.cv.cvc.cvc|"
1407 string2 = "[cvc.cv:1.cv.cvc2.cvc] \-> /(cVc.cV1V).cV.(cV2C.cVc)/"
1410 string1 = "|cvc.cv:.cv:.cv.cv|"
1411 string2 = "[cvc1.cv:.cv:2.cv.cv] \-> /(cV1C.cVV).(cV2V.cV).cV/"
1414 string1 = "|cvc.cv:.cv:.cv.cv:|"
1415 string2 = "[cvc1.cv:.cv:2.cv.cv:2] \-> /(cV1C.cVV).(cV2V.cV).(cV2V)/"
1418 string1 = "|cvc.cv:.cv:.cv.cvc|"
1419 string2 = "[cvc1.cv:.cv:2.cv.cvc] \-> /(cV1C.cVV).(cV2V.cV).cVc/"
1422 string1 = "|cvc.cv:.cv:.cv:.cv|"
1423 string2 = "[cvc.cv:1.cv:.cv:2.cv] \-> /(cVc.cV1V).cVV.(cV2V.cV)/"
1426 string1 = "|cvc.cv:.cv:.cv:.cv:|"
1427 string2 = "[cvc1.cv:.cv:2.cv:.cv:2] \-> /(cV1C.cVV).(cV2V.cVV).(cV2V)/"
1430 string1 = "|cvc.cv:.cv:.cv:.cvc|"
1431 string2 = "[cvc.cv:1.cv:.cv:2.cvc] \-> /(cVc.cV1V).cVV.(cV2V.cVc)/"
1434 string1 = "|cvc.cv:.cv:.cvc.cv|"
1435 string2 = "[cvc1.cv:.cv:2.cvc.cv] \-> /(cV1C.cVV).(cV2V.cVc).cV/"
1438 string1 = "|cvc.cv:.cv:.cvc.cv:|"
1439 string2 = "[cvc1.cv:.cv:2.cvc.cv:2] \-> /(cV1C.cVV).(cV2V.cVc).(cV2V)/"
1442 string1 = "|cvc.cv:.cv:.cvc.cvc|"
1443 string2 = "[cvc1.cv:.cv:2.cvc.cvc] \-> /(cV1C.cVV).(cV2V.cVc).cVc/"
1446 string1 = "|cvc.cv:.cvc.cv.cv|"
1447 string2 = "[cvc.cv:1.cvc.cv2.cv] \-> /(cVc.cV1V).cVc.(cV2.cV)/"
1450 string1 = "|cvc.cv:.cvc.cv.cv:|"
1451 string2 = "[cvc1.cv:.cvc2.cv.cv:2] \-> /(cV1C.cVV).(cV2C.cV).(cV2V)/"
1454 string1 = "|cvc.cv:.cvc.cv.cvc|"
1455 string2 = "[cvc.cv:1.cvc.cv2.cvc] \-> /(cVc.cV1V).cVc.(cV2.cVc)/"
1458 string1 = "|cvc.cv:.cvc.cv:.cv|"
1459 string2 = "[cvc.cv:1.cvc.cv:2.cv] \-> /(cVc.cV1V).cVc.(cV2V.cV)/"
1462 string1 = "|cvc.cv:.cvc.cv:.cv:|"
1463 string2 = "[cvc.cv:1.cvc.cv:2.cv:] \-> /(cVc.cV1V).cVc.(cV2V.cVV)/"
1466 string1 = "|cvc.cv:.cvc.cv:.cvc|"
1467 string2 = "[cvc.cv:1.cvc.cv:2.cvc] \-> /(cVc.cV1V).cVc.(cV2V.cVc)/"
1470 string1 = "|cvc.cv:.cvc.cvc.cv|"
1471 string2 = "[cvc.cv:1.cvc.cvc2.cv] \-> /(cVc.cV1V).cVc.(cV2C.cV)/"
1474 string1 = "|cvc.cv:.cvc.cvc.cv:|"
1475 string2 = "[cvc1.cv:.cvc2.cvc.cv:2] \-> /(cV1C.cVV).(cV2C.cVc).(cV2V)/"
1478 string1 = "|cvc.cv:.cvc.cvc.cvc|"
1479 string2 = "[cvc.cv:1.cvc.cvc2.cvc] \-> /(cVc.cV1V).cVc.(cV2C.cVc)/"
1482 string1 = "|cvc.cvc.cv.cv.cv|"
1483 string2 = "[cvc1.cvc.cv.cv2.cv] \-> /(cV1C.cVc).cV.(cV2.cV)/"
1486 string1 = "|cvc.cvc.cv.cv.cv|"
1487 string2 = "[cvc1.cvc.cv2.cv.cv] \-> /(cV1C.cVc).(cV2.cV).cV/"
1490 string1 = "|cvc.cvc.cv.cv.cv:|"
1491 string2 = "[cvc1.cvc.cv2.cv.cv:2] \-> /(cV1C.cVc).(cV2.cV).(cV2V)/"
1494 string1 = "|cvc.cvc.cv.cv.cvc|"
1495 string2 = "[cvc1.cvc.cv.cv2.cvc] \-> /(cV1C.cVc).cV.(cV2.cVc)/"
1498 string1 = "|cvc.cvc.cv.cv.cvc|"
1499 string2 = "[cvc1.cvc.cv2.cv.cvc] \-> /(cV1C.cVc).(cV2.cV).cVc/"
1502 string1 = "|cvc.cvc.cv.cv:.cv|"
1503 string2 = "[cvc1.cvc.cv.cv:2.cv] \-> /(cV1C.cVc).cV.(cV2V.cV)/"
1506 string1 = "|cvc.cvc.cv.cv:.cv:|"
1507 string2 = "[cvc1.cvc.cv.cv:2.cv:] \-> /(cV1C.cVc).cV.(cV2V.cVV)/"
1510 string1 = "|cvc.cvc.cv.cv:.cvc|"
1511 string2 = "[cvc1.cvc.cv.cv:2.cvc] \-> /(cV1C.cVc).cV.(cV2V.cVc)/"
1514 string1 = "|cvc.cvc.cv.cvc.cv|"
1515 string2 = "[cvc1.cvc.cv.cvc2.cv] \-> /(cV1C.cVc).cV.(cV2C.cV)/"
1518 string1 = "|cvc.cvc.cv.cvc.cv:|"
1519 string2 = "[cvc1.cvc.cv2.cvc.cv:2] \-> /(cV1C.cVc).(cV2.cVc).(cV2V)/"
1522 string1 = "|cvc.cvc.cv.cvc.cvc|"
1523 string2 = "[cvc1.cvc.cv.cvc2.cvc] \-> /(cV1C.cVc).cV.(cV2C.cVc)/"
1526 string1 = "|cvc.cvc.cv:.cv.cv|"
1527 string2 = "[cvc1.cvc.cv:2.cv.cv] \-> /(cV1C.cVc).(cV2V.cV).cV/"
1530 string1 = "|cvc.cvc.cv:.cv.cv:|"
1531 string2 = "[cvc1.cvc.cv:2.cv.cv:2] \-> /(cV1C.cVc).(cV2V.cV).(cV2V)/"
1534 string1 = "|cvc.cvc.cv:.cv.cvc|"
1535 string2 = "[cvc1.cvc.cv:2.cv.cvc] \-> /(cV1C.cVc).(cV2V.cV).cVc/"
1538 string1 = "|cvc.cvc.cv:.cv:.cv|"
1539 string2 = "[cvc1.cvc.cv:.cv:2.cv] \-> /(cV1C.cVc).cVV.(cV2V.cV)/"
1542 string1 = "|cvc.cvc.cv:.cv:.cv|"
1543 string2 = "[cvc1.cvc.cv:2.cv:.cv] \-> /(cV1C.cVc).(cV2V.cVV).cV/"
1546 string1 = "|cvc.cvc.cv:.cv:.cv:|"
1547 string2 = "[cvc1.cvc.cv:2.cv:.cv:2] \-> /(cV1C.cVc).(cV2V.cVV).(cV2V)/"
1550 string1 = "|cvc.cvc.cv:.cv:.cvc|"
1551 string2 = "[cvc1.cvc.cv:.cv:2.cvc] \-> /(cV1C.cVc).cVV.(cV2V.cVc)/"
1554 string1 = "|cvc.cvc.cv:.cv:.cvc|"
1555 string2 = "[cvc1.cvc.cv:2.cv:.cvc] \-> /(cV1C.cVc).(cV2V.cVV).cVc/"
1558 string1 = "|cvc.cvc.cv:.cvc.cv|"
1559 string2 = "[cvc1.cvc.cv:2.cvc.cv] \-> /(cV1C.cVc).(cV2V.cVc).cV/"
1562 string1 = "|cvc.cvc.cv:.cvc.cv:|"
1563 string2 = "[cvc1.cvc.cv:2.cvc.cv:2] \-> /(cV1C.cVc).(cV2V.cVc).(cV2V)/"
1566 string1 = "|cvc.cvc.cv:.cvc.cvc|"
1567 string2 = "[cvc1.cvc.cv:2.cvc.cvc] \-> /(cV1C.cVc).(cV2V.cVc).cVc/"
1570 string1 = "|cvc.cvc.cvc.cv.cv|"
1571 string2 = "[cvc1.cvc.cvc2.cv.cv] \-> /(cV1C.cVc).(cV2C.cV).cV/"
1574 string1 = "|cvc.cvc.cvc.cv.cv:|"
1575 string2 = "[cvc1.cvc.cvc2.cv.cv:2] \-> /(cV1C.cVc).(cV2C.cV).(cV2V)/"
1578 string1 = "|cvc.cvc.cvc.cv.cvc|"
1579 string2 = "[cvc1.cvc.cvc2.cv.cvc] \-> /(cV1C.cVc).(cV2C.cV).cVc/"
1582 string1 = "|cvc.cvc.cvc.cv:.cv|"
1583 string2 = "[cvc1.cvc.cvc.cv:2.cv] \-> /(cV1C.cVc).cVc.(cV2V.cV)/"
1586 string1 = "|cvc.cvc.cvc.cv:.cv:|"
1587 string2 = "[cvc1.cvc.cvc.cv:2.cv:] \-> /(cV1C.cVc).cVc.(cV2V.cVV)/"
1590 string1 = "|cvc.cvc.cvc.cv:.cvc|"
1591 string2 = "[cvc1.cvc.cvc.cv:2.cvc] \-> /(cV1C.cVc).cVc.(cV2V.cVc)/"
1594 string1 = "|cvc.cvc.cvc.cvc.cv|"
1595 string2 = "[cvc1.cvc.cvc.cvc2.cv] \-> /(cV1C.cVc).cVc.(cV2C.cV)/"
1598 string1 = "|cvc.cvc.cvc.cvc.cv|"
1599 string2 = "[cvc1.cvc.cvc2.cvc.cv] \-> /(cV1C.cVc).(cV2C.cVc).cV/"
1602 string1 = "|cvc.cvc.cvc.cvc.cv:|"
1603 string2 = "[cvc1.cvc.cvc2.cvc.cv:2] \-> /(cV1C.cVc).(cV2C.cVc).(cV2V)/"
1614 string1 = "|cv.cv.cv.cv.cv.cv|"
1615 string2 = "[cv1.cv.cv2.cv.cv2.cv] \-> /(cV1.cV).(cV2.cV).(cV2.cV)/"
1618 string1 = "|cv.cv.cv.cv.cv.cv.cv|"
1619 string2 = "[cv1.cv.cv.cv2.cv.cv2.cv] \-> /(cV1.cV).cV.(cV2.cV).(cV2.cV)/"
1622 string1 = "|cv.cv.cv.cv.cv.cv.cv|"
1623 string2 = "[cv1.cv.cv2.cv.cv.cv2.cv] \-> /(cV1.cV).(cV2.cV).cV.(cV2.cV)/"
1626 string1 = "|cv.cv.cv.cv.cv.cv.cv|"
1627 string2 = "[cv1.cv.cv2.cv.cv2.cv.cv] \-> /(cV1.cV).(cV2.cV).(cV2.cV).cV/"