-
Notifications
You must be signed in to change notification settings - Fork 0
/
cp-decl-bal.rep
6652 lines (6652 loc) · 58.3 KB
/
cp-decl-bal.rep
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
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
4000000
3324
6648
1
a 0 2040
a 1 2040
a 2 48
a 3 4072
a 4 4072
a 5 4072
a 6 4072
a 7 4072
a 8 4072
a 9 1008
a 10 504
a 11 1008
a 12 42
a 13 4072
a 14 72
a 15 4072
a 16 4072
a 17 4072
a 18 4072
a 19 4072
a 20 4072
a 21 4072
a 22 4072
a 23 4072
a 24 40
a 25 40
a 26 40
a 27 40
a 28 40
a 29 40
a 30 40
a 31 40
a 32 40
a 33 4072
a 34 456
a 35 456
a 36 456
a 37 456
a 38 456
a 39 456
a 40 456
a 41 456
a 42 456
a 43 456
a 44 456
a 45 456
a 46 456
a 47 456
a 48 456
a 49 456
a 50 456
a 51 456
a 52 456
a 53 456
a 54 456
a 55 456
a 56 456
a 57 456
a 58 456
a 59 456
a 60 456
a 61 456
a 62 456
a 63 456
a 64 456
a 65 456
a 66 456
a 67 456
a 68 456
a 69 456
a 70 456
a 71 456
a 72 456
a 73 456
a 74 9
a 75 10
a 76 9
a 77 9
a 78 4072
a 79 9
a 80 9
a 81 9
a 82 9
a 83 9
a 84 10
a 85 9
a 86 9
a 87 9
a 88 9
a 89 9
a 90 9
a 91 9
a 92 10
a 93 9
a 94 9
a 95 9
a 96 9
a 97 9
a 98 9
a 99 9
a 100 10
a 101 9
a 102 9
a 103 10
a 104 11
a 105 10
a 106 10
a 107 12
a 108 13
a 109 12
a 110 12
a 111 13
a 112 14
a 113 13
a 114 13
a 115 9
a 116 10
a 117 9
a 118 9
a 119 10
a 120 11
a 121 10
a 122 10
a 123 9
a 124 9
a 125 9
a 126 9
a 127 12
a 128 12
a 129 12
a 130 12
a 131 9
a 132 10
a 133 9
a 134 9
a 135 9
a 136 10
a 137 9
a 138 9
a 139 9
a 140 10
a 141 9
a 142 9
a 143 10
a 144 11
a 145 10
a 146 10
a 147 10
a 148 11
a 149 10
a 150 10
a 151 10
a 152 11
a 153 10
a 154 10
a 155 9
a 156 10
a 157 9
a 158 9
a 159 9
a 160 9
a 161 9
a 162 9
a 163 9
a 164 10
a 165 9
a 166 9
a 167 9
a 168 9
a 169 9
a 170 9
a 171 10
a 172 11
a 173 10
a 174 10
a 175 10
a 176 11
a 177 10
a 178 10
a 179 9
a 180 10
a 181 9
a 182 9
a 183 9
a 184 9
a 185 9
a 186 9
a 187 14
a 188 15
a 189 14
a 190 14
a 191 9
a 192 10
a 193 9
a 194 9
a 195 9
a 196 10
a 197 9
a 198 9
a 199 10
a 200 11
a 201 10
a 202 10
a 203 9
a 204 9
a 205 9
a 206 9
a 207 4072
a 208 4072
f 208
a 209 4072
a 210 4072
a 211 4072
a 212 4072
a 213 4072
a 214 4072
a 215 4072
a 216 4072
a 217 4072
a 218 15
a 219 10
a 220 48
a 221 24
a 222 8208
a 223 8208
a 224 80
a 225 4072
a 226 4072
a 227 72
a 228 4072
a 229 4072
a 230 4072
a 231 4072
a 232 4072
a 233 4072
a 234 4072
a 235 4072
a 236 4072
a 237 4072
a 238 4072
a 239 4072
a 240 4072
a 241 4072
a 242 4072
a 243 4072
a 244 4072
a 245 4072
a 246 4072
a 247 4072
a 248 4072
a 249 4072
a 250 4072
a 251 4072
a 252 4072
a 253 4072
a 254 4072
a 255 4072
a 256 4072
a 257 4072
a 258 4072
a 259 4072
a 260 4072
a 261 4072
a 262 4072
a 263 4072
a 264 4072
a 265 4072
a 266 4072
a 267 4072
a 268 4072
a 269 4072
a 270 4072
a 271 4072
a 272 4072
a 273 4072
a 274 4072
a 275 4072
a 276 4072
a 277 4072
a 278 4072
a 279 4072
a 280 4072
a 281 4072
a 282 4072
a 283 4072
a 284 4072
a 285 4072
a 286 4072
a 287 4072
a 288 4072
a 289 4072
a 290 4072
a 291 4072
a 292 4072
a 293 4072
a 294 4072
a 295 4072
a 296 4072
a 297 4072
a 298 4072
a 299 4072
a 300 4072
a 301 4072
a 302 4072
a 303 4072
a 304 4072
a 305 4072
a 306 4072
a 307 4072
a 308 4072
a 309 4072
a 310 4072
a 311 4072
a 312 4072
a 313 4072
a 314 4072
a 315 4072
a 316 4072
a 317 4072
a 318 4072
a 319 4072
a 320 4072
a 321 4072
a 322 4072
a 323 4072
a 324 4072
a 325 4072
a 326 4072
a 327 4072
a 328 4072
a 329 4072
a 330 4072
a 331 4072
a 332 4072
a 333 4072
a 334 4072
a 335 4072
a 336 4072
a 337 4072
a 338 4072
a 339 4072
a 340 4072
a 341 4072
a 342 4072
a 343 4072
a 344 4072
a 345 4072
a 346 4072
a 347 4072
a 348 4072
a 349 4072
a 350 4072
a 351 4072
a 352 4072
a 353 4072
a 354 4072
a 355 4072
a 356 4072
a 357 4072
a 358 4072
a 359 4072
a 360 4072
a 361 4072
a 362 4072
a 363 4072
a 364 4072
a 365 4072
a 366 4072
a 367 4072
a 368 4072
a 369 4072
a 370 4072
a 371 4072
a 372 4072
a 373 4072
a 374 4072
a 375 4072
a 376 4072
a 377 4072
a 378 4072
a 379 4072
a 380 4072
a 381 4072
a 382 4072
a 383 4072
a 384 4072
a 385 4072
a 386 4072
a 387 4072
a 388 4072
a 389 4072
a 390 4072
a 391 4072
a 392 4072
a 393 4072
a 394 4072
a 395 4072
a 396 4072
a 397 4072
a 398 4072
a 399 4072
a 400 4072
a 401 4072
a 402 4072
a 403 4072
a 404 4072
a 405 4072
a 406 4072
a 407 4072
a 408 4072
a 409 4072
a 410 4072
a 411 4072
a 412 4072
a 413 4072
a 414 4072
a 415 4072
a 416 4072
a 417 4072
a 418 4072
a 419 4072
a 420 4072
a 421 4072
a 422 4072
a 423 4072
a 424 4072
a 425 4072
a 426 4072
a 427 4072
a 428 4072
a 429 4072
a 430 4072
a 431 4072
a 432 4072
a 433 4072
a 434 4072
a 435 4072
a 436 4072
a 437 4072
a 438 4072
a 439 4072
a 440 4072
a 441 4072
a 442 4072
a 443 4072
a 444 4072
a 445 4072
a 446 4072
a 447 4072
a 448 72
a 449 160
f 448
a 450 4072
a 451 72
a 452 4072
a 453 4072
f 453
f 452
a 454 4072
a 455 72
a 456 160
f 455
a 457 4072
a 458 72
a 459 4072
a 460 4072
a 461 4072
f 461
f 459
f 460
f 457
a 462 4072
a 463 4072
a 464 4072
a 465 4072
a 466 4072
a 467 4072
a 468 4072
a 469 4072
a 470 4072
f 470
f 469
f 468
f 467
f 466
a 471 4072
a 472 4072
a 473 72
a 474 160
f 473
a 475 4072
a 476 72
a 477 72
a 478 4072
a 479 4072
a 480 4072
f 479
f 471
f 478
f 475
f 472
a 481 4072
a 482 4072
a 483 4072
f 483
a 484 4072
a 485 4072
a 486 4072
f 485
f 486
a 487 4072
a 488 4072
a 489 4072
f 489
a 490 4072
a 491 4072
f 491
a 492 4072
a 493 4072
f 492
f 493
a 494 4072
a 495 4072
a 496 4072
f 496
f 495
a 497 4072
a 498 4072
a 499 4072
a 500 4072
f 500
a 501 4072
a 502 4072
f 502
a 503 4072
a 504 72
a 505 160
f 504
a 506 4072
a 507 4072
a 508 4072
a 509 4072
f 509
f 508
f 507
f 506
a 510 4072
a 511 4072
a 512 4072
f 511
f 512
a 513 4072
a 514 4072
a 515 72
a 516 160
f 515
a 517 72
a 518 160
f 517
a 519 4072
a 520 72
a 521 160
f 520
a 522 4072
a 523 72
a 524 160
f 523
a 525 4072
a 526 72
a 527 160
f 526
a 528 4072
a 529 72
a 530 160
f 529
a 531 4072
a 532 4072
a 533 4072
a 534 4072
a 535 4072
a 536 4072
a 537 4072
a 538 4072
a 539 4072
a 540 4072
a 541 4072
a 542 4072
a 543 4072
a 544 72
a 545 160
f 544
a 546 4072
a 547 4072
a 548 4072
a 549 4072
a 550 4072
f 549
a 551 4072
a 552 4072
f 551
a 553 4072
a 554 4072
a 555 4072
a 556 4072
a 557 4072
a 558 4072
a 559 4072
a 560 4072
a 561 4072
a 562 4072
a 563 4072
a 564 4072
a 565 4072
f 564
f 563
f 562
f 561
f 557
f 548
f 539
f 536
f 525
f 560
f 559
f 558
f 556
f 555
f 554
f 553
f 552
f 550
f 546
f 543
f 542
f 541
f 540
f 538
f 537
f 535
f 534
f 533
f 532
f 531
f 528
f 522
f 519
a 566 4072
a 567 4072
a 568 4072
a 569 4072
a 570 4072
f 570
f 569
f 568
a 571 4072
a 572 4072
f 571
f 572
a 573 4072
a 574 4072
a 575 4072
f 575
f 574
a 576 4072
a 577 4072
f 577
a 578 4072
a 579 4072
a 580 4072
a 581 4072
f 579
f 581
f 580
a 582 4072
a 583 4072
a 584 72
a 585 160
f 584
a 586 72
a 587 160
f 586
a 588 4072
a 589 4072
a 590 4072
a 591 4072
a 592 4072
a 593 4072
a 594 4072
a 595 4072
a 596 4072
f 596
f 589
f 595
f 594
f 593
f 592
f 591
f 590
f 588
a 597 4072
a 598 72
a 599 160
f 598
a 600 72
a 601 160
f 600
a 602 4072
a 603 72
a 604 160
f 603
a 605 4072
a 606 4072
a 607 4072
a 608 4072
a 609 4072
a 610 4072
a 611 4072
a 612 4072
a 613 4072
a 614 4072
a 615 4072
a 616 4072
a 617 4072
f 615
a 618 4072
a 619 4072
a 620 4072
a 621 4072
a 622 4072
a 623 4072
a 624 4072
a 625 4072
a 626 4072
a 627 4072
a 628 4072
a 629 4072
a 630 4072
a 631 4072
a 632 4072
a 633 4072
a 634 4072
a 635 4072
a 636 4072
a 637 4072
a 638 4072
a 639 4072
a 640 4072
a 641 4072
f 639
f 638
f 637
f 634
f 626
f 620
f 617
f 609
f 636
f 635
f 633
f 632
f 631
f 630
f 629
f 628
f 627
f 625
f 624
f 623
f 622
f 621
f 619
f 618
f 616
f 614
f 613
f 612
f 611
f 610
f 608
f 607
f 606
f 605
a 642 4072
a 643 4072
a 644 4072
a 645 4072
f 645
f 642
f 644
f 643
a 646 4072
a 647 4072
a 648 4072
a 649 4072
a 650 4072
a 651 4072
a 652 4072
a 653 4072
a 654 4072
a 655 4072
f 655
f 649
f 654
f 653
f 652
f 651
f 650
f 648
a 656 4072
a 657 4072
a 658 72
a 659 160
f 658
a 660 4072
a 661 72
a 662 160
f 661
a 663 72
a 664 160
f 663
a 665 4072
a 666 72
a 667 160
f 666
a 668 72
a 669 160
f 668
a 670 4072
a 671 4072
a 672 4072
a 673 4072
a 674 4072
a 675 4072
a 676 4072
a 677 4072
a 678 4072
a 679 4072
a 680 4072
a 681 4072
f 680
f 679
f 678
f 671
f 677
f 676
f 675
f 674
f 673
f 672
f 670
f 665
f 660
a 682 4072
a 683 4072
a 684 72
a 685 160
f 684
a 686 4072
a 687 72
a 688 160
f 687
a 689 4072
a 690 4072
a 691 4072
a 692 4072
f 692
f 691
f 682
f 690
f 689
f 686
f 683
a 693 4072
a 694 4072
a 695 4072
a 696 72
a 697 160
f 696
a 698 4072
a 699 72
a 700 160
f 699
a 701 4072
a 702 4072
f 702
f 701
f 698
a 703 4072
a 704 4072
a 705 72
a 706 160
f 705
a 707 4072
a 708 72
a 709 160
f 708
a 710 4072
a 711 4072
f 711
f 710
f 707
f 704
a 712 4072
a 713 4072
a 714 4072
a 715 4072
a 716 4072
a 717 4072
a 718 4072
a 719 4072
f 718
f 712
f 717
f 716
f 715
f 714
f 713
a 720 4072
a 721 4072
a 722 4072
a 723 4072
a 724 4072
a 725 4072
a 726 4072
a 727 4072
a 728 72
a 729 4072
a 730 4072
a 731 4072
a 732 4072
a 733 4072
f 730
a 734 4072
a 735 4072
a 736 4072
a 737 4072
f 736
a 738 4072
a 739 4072
a 740 4072
a 741 4072
a 742 4072
a 743 4072
f 742
a 744 4072
a 745 4072
a 746 4072
a 747 4072
a 748 4072
f 747
f 746
f 745
f 738
f 734
f 724
f 744
f 743
f 741
f 740
f 739
f 737
f 735
f 733
f 732
f 731
f 729
f 727
f 726
f 725
f 723
f 722
a 749 72
a 750 160
f 749
a 751 4072
a 752 4072
a 753 4072
f 753
f 752
a 754 4072
a 755 72
a 756 160
f 755
a 757 4072
a 758 4072
a 759 4072
a 760 4072
a 761 4072
f 760
f 754
f 759
f 758
f 757
a 762 4072
a 763 4072
a 764 72