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