-
Notifications
You must be signed in to change notification settings - Fork 0
/
random3-bal.rep
4100 lines (4100 loc) · 35.5 KB
/
random3-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
8207767
2048
4096
1
a 0 5644
a 1 1695
a 2 702
a 3 2884
a 4 1727
a 5 4113
a 6 337
a 7 852
a 8 6495
a 9 492
a 10 1149
a 11 5983
a 12 3235
a 13 3016
a 14 767
a 15 5217
a 16 6460
a 17 3720
a 18 6379
a 19 8102
a 20 2900
a 21 4824
a 22 3208
a 23 7457
a 24 1729
a 25 7296
a 26 8117
a 27 5419
a 28 5689
a 29 454
a 30 7681
a 31 5527
a 32 2613
a 33 1994
a 34 1948
f 0
a 35 4914
a 36 5237
a 37 3500
a 38 530
a 39 1640
a 40 3021
a 41 7432
a 42 1610
a 43 7374
a 44 7196
a 45 7190
a 46 7334
a 47 4349
a 48 6070
a 49 6579
a 50 7917
a 51 6095
a 52 2705
a 53 3096
a 54 5455
a 55 1810
a 56 40
a 57 1695
a 58 4210
a 59 839
a 60 368
a 61 2099
a 62 3073
a 63 4907
a 64 221
a 65 843
a 66 6466
a 67 7841
a 68 4780
a 69 172
a 70 621
a 71 3774
a 72 5396
a 73 6399
a 74 2127
a 75 7706
a 76 1698
a 77 3828
a 78 1165
a 79 7947
a 80 3000
a 81 5695
a 82 4604
a 83 534
a 84 1024
a 85 7359
a 86 74
a 87 3860
a 88 3359
a 89 1432
a 90 5011
a 91 4293
a 92 7082
a 93 7309
a 94 1726
a 95 6956
a 96 6757
a 97 3688
a 98 6319
a 99 3116
a 100 4549
a 101 3412
a 102 204
a 103 554
a 104 4113
a 105 4796
a 106 5111
a 107 2673
a 108 4429
a 109 2071
a 110 5445
a 111 4158
a 112 1104
a 113 2795
a 114 3976
a 115 4907
a 116 2256
a 117 5159
a 118 6212
a 119 6417
a 120 5342
a 121 5651
a 122 298
a 123 4646
a 124 7406
a 125 5619
a 126 6580
a 127 6332
a 128 302
f 57
f 10
a 129 5697
a 130 2930
a 131 3800
a 132 2188
a 133 7207
f 48
f 68
a 134 3200
a 135 5815
a 136 802
a 137 5998
a 138 1753
a 139 1940
a 140 2727
a 141 6169
a 142 2091
a 143 2566
a 144 7009
a 145 4645
a 146 5282
a 147 4173
a 148 1804
a 149 4183
a 150 5163
a 151 814
a 152 5578
a 153 5401
a 154 6510
a 155 1666
a 156 305
a 157 5979
a 158 7824
a 159 1762
a 160 1890
a 161 1164
a 162 3632
a 163 3744
a 164 6076
f 102
a 165 1102
a 166 5914
a 167 2939
a 168 4257
a 169 2766
a 170 7201
a 171 807
a 172 848
a 173 6376
a 174 1054
a 175 5034
f 7
a 176 1473
a 177 2780
a 178 4939
f 131
a 179 606
a 180 5225
a 181 1396
a 182 2094
a 183 2596
f 21
a 184 571
a 185 1131
a 186 6914
a 187 7524
f 58
a 188 594
a 189 6920
a 190 5562
f 165
a 191 3121
a 192 7536
a 193 108
a 194 194
a 195 4634
a 196 4134
a 197 5137
a 198 6491
f 37
a 199 7286
a 200 5117
a 201 3459
a 202 922
a 203 4386
a 204 7501
a 205 3146
a 206 5084
a 207 893
a 208 1013
f 146
a 209 3438
a 210 2404
a 211 6681
a 212 963
a 213 2903
a 214 4742
a 215 4291
f 125
a 216 4575
a 217 5878
a 218 3779
a 219 4564
a 220 4281
a 221 2094
a 222 3718
f 67
a 223 7563
a 224 4368
a 225 7032
a 226 7157
a 227 322
a 228 2926
a 229 1924
a 230 7115
a 231 427
f 179
a 232 7021
a 233 5032
a 234 5716
a 235 1888
a 236 505
a 237 3209
a 238 5123
f 161
a 239 6953
a 240 917
a 241 5299
a 242 2369
a 243 5490
f 133
a 244 5410
a 245 317
a 246 5081
a 247 6795
a 248 6093
a 249 5488
a 250 6471
a 251 2669
a 252 6798
a 253 675
a 254 3841
a 255 6153
a 256 1272
a 257 6872
a 258 243
a 259 4445
a 260 1909
a 261 7488
a 262 4849
a 263 2372
a 264 3658
a 265 7031
f 74
a 266 6385
a 267 1616
f 99
f 189
a 268 3713
a 269 7999
a 270 2218
a 271 819
a 272 329
a 273 2862
f 73
a 274 988
a 275 5639
f 69
a 276 4220
a 277 6039
a 278 833
a 279 2405
a 280 3359
a 281 2824
f 222
a 282 503
a 283 3748
a 284 4504
a 285 1212
f 90
a 286 2908
a 287 504
f 60
a 288 4392
a 289 3199
a 290 4663
a 291 2570
a 292 5205
a 293 6478
a 294 7970
a 295 7394
a 296 4101
a 297 5130
a 298 7054
a 299 7874
a 300 1824
a 301 6720
a 302 2720
a 303 5501
a 304 7014
a 305 3162
a 306 1184
a 307 6332
a 308 6909
a 309 4097
a 310 3568
a 311 3715
a 312 67
a 313 2619
a 314 8131
a 315 294
a 316 8117
a 317 4939
a 318 7421
a 319 772
f 166
a 320 7134
a 321 6283
a 322 1596
a 323 4961
a 324 1293
a 325 1570
a 326 8191
a 327 523
a 328 4032
a 329 1092
a 330 1865
a 331 1249
a 332 224
f 272
a 333 2720
a 334 7244
a 335 1803
a 336 1334
a 337 2586
a 338 3809
a 339 7795
a 340 5890
a 341 849
a 342 4727
a 343 7774
f 249
a 344 6362
a 345 6610
a 346 7043
a 347 3926
a 348 6647
f 113
a 349 7094
a 350 2346
a 351 888
a 352 6944
a 353 7878
f 195
a 354 948
a 355 7488
a 356 4794
a 357 958
a 358 2947
a 359 1454
a 360 5250
a 361 469
a 362 2413
a 363 54
a 364 4617
a 365 3554
a 366 5670
a 367 204
a 368 2759
a 369 1606
a 370 3308
f 253
a 371 5601
a 372 7848
a 373 7625
a 374 1960
a 375 6093
a 376 75
a 377 6641
a 378 6121
a 379 1525
a 380 606
a 381 3121
a 382 1876
a 383 676
a 384 3822
a 385 4163
a 386 5997
a 387 4022
a 388 645
a 389 5370
a 390 6328
a 391 730
a 392 5650
f 368
a 393 2147
a 394 3130
a 395 2271
a 396 6444
f 142
a 397 3394
a 398 6868
a 399 6032
a 400 5501
a 401 4184
a 402 181
a 403 5771
a 404 2303
f 326
a 405 366
a 406 7966
f 149
f 40
a 407 3655
a 408 7897
a 409 4434
a 410 3870
a 411 6869
a 412 2101
a 413 5655
f 381
a 414 5895
a 415 5218
f 114
a 416 1040
f 2
a 417 5398
a 418 5080
a 419 5250
a 420 7707
a 421 6880
a 422 3603
a 423 5250
a 424 4716
a 425 208
a 426 3409
a 427 483
f 421
a 428 2765
f 344
a 429 2844
f 333
f 343
a 430 751
a 431 4899
a 432 292
a 433 5948
a 434 1577
a 435 7387
f 217
a 436 2527
a 437 7792
a 438 4964
a 439 1848
a 440 7549
a 441 4757
a 442 5625
a 443 7112
a 444 5899
a 445 2666
a 446 5498
a 447 5562
a 448 3975
a 449 3646
f 303
a 450 2590
a 451 2503
a 452 3805
a 453 3635
f 232
f 214
a 454 869
a 455 623
a 456 4057
a 457 2205
a 458 440
a 459 155
a 460 5549
a 461 4731
a 462 4178
a 463 5241
a 464 4531
a 465 7998
a 466 5922
a 467 5977
f 53
f 320
a 468 7259
a 469 4554
a 470 4531
a 471 6789
a 472 7233
a 473 2495
a 474 5341
a 475 4758
a 476 1107
a 477 102
a 478 696
a 479 2211
a 480 4764
a 481 921
a 482 3307
a 483 3529
a 484 2967
a 485 1804
a 486 1900
f 470
a 487 6471
f 412
a 488 7078
f 39
a 489 2419
a 490 6023
a 491 4423
a 492 3515
a 493 6333
a 494 6440
a 495 2825
a 496 6575
a 497 3097
a 498 247
a 499 5381
f 478
f 443
f 369
a 500 2006
a 501 6631
a 502 3937
a 503 1572
a 504 3402
a 505 457
a 506 1579
a 507 3618
a 508 2967
a 509 5695
f 353
a 510 1641
a 511 1772
a 512 6028
a 513 3591
a 514 3277
a 515 5087
a 516 2282
f 467
f 81
f 321
a 517 673
a 518 6417
f 517
a 519 7613
a 520 5499
f 427
f 193
a 521 4297
a 522 1333
f 388
a 523 2235
a 524 3481
a 525 356
a 526 6781
a 527 2361
f 96
a 528 293
a 529 3874
a 530 7083
a 531 1229
f 363
a 532 4017
a 533 4480
a 534 6878
a 535 1241
f 91
a 536 1152
a 537 4696
f 529
f 43
f 480
a 538 2658
a 539 166
f 219
a 540 2396
a 541 7165
a 542 1101
a 543 7229
a 544 5851
a 545 3498
a 546 7731
a 547 4726
f 254
a 548 7245
a 549 5924
f 364
f 56
f 497
a 550 1082
a 551 2783
a 552 5970
a 553 6060
f 155
a 554 5749
a 555 4914
f 181
a 556 7881
a 557 5114
f 66
a 558 639
a 559 2044
a 560 7498
a 561 2459
a 562 4803
f 209
a 563 5668
a 564 7586
a 565 132
f 420
a 566 6237
f 208
a 567 6160
f 361
a 568 3029
f 466
a 569 1431
f 34
f 89
a 570 469
a 571 793
a 572 1176
a 573 6259
a 574 4153
a 575 5949
a 576 5444
a 577 7229
a 578 6418
a 579 6711
a 580 439
a 581 1483
a 582 4663
a 583 2938
a 584 2577
a 585 2720
a 586 1742
a 587 4158
a 588 6269
a 589 5153
a 590 603
a 591 2430
f 286
f 447
f 310
a 592 2240
a 593 4893
a 594 4018
f 258
a 595 2751
a 596 5802
a 597 4912
a 598 6682
a 599 5343
a 600 3119
a 601 1576
f 347
f 494
a 602 7170
a 603 3499
a 604 5836
f 440
f 245
a 605 6234
a 606 4563
a 607 470
a 608 2627
a 609 2971
a 610 544
a 611 1622
a 612 5074
f 185
a 613 6887
a 614 7655
a 615 7854
a 616 5820
a 617 427
a 618 6584
a 619 3030
a 620 1274
f 169
a 621 3001
a 622 6077
a 623 2814
a 624 3181
a 625 5160
f 314
a 626 5613
a 627 2409
a 628 2721
a 629 1858
a 630 1086
a 631 1054
a 632 6889
a 633 1343
a 634 3220
f 400
a 635 5478
a 636 711
a 637 6028
a 638 2004
f 104
a 639 4246
a 640 8008
f 601
a 641 87
f 633
a 642 3516
a 643 5621
a 644 1780
a 645 3123
a 646 7007
a 647 6042
a 648 1106
a 649 6264
a 650 113
a 651 1160
a 652 7590
a 653 5932
a 654 7658
a 655 5567
f 550
a 656 2303
a 657 1236
f 541
a 658 157
a 659 509
a 660 3696
a 661 8006
f 514
a 662 3170
a 663 1441
f 498
a 664 7169
a 665 2258
f 454
a 666 5614
a 667 7921
f 252
f 394
a 668 2552
f 627
a 669 5213
a 670 6906
f 134
a 671 6458
f 339
f 613
a 672 6025
a 673 6268
a 674 3181
f 282
a 675 7854
a 676 5772
a 677 1326
a 678 841
a 679 2084
f 129
a 680 4672
a 681 5796
a 682 7511
f 479
a 683 3785
a 684 3517
a 685 984
a 686 5757
f 278
f 17
a 687 7965
a 688 4363
a 689 8088
a 690 4587
a 691 4734
f 612
a 692 4319
a 693 3087
a 694 1208
a 695 1692
a 696 2267
f 366
a 697 4598
a 698 6516
f 151
f 299
a 699 5741
f 268
f 47
a 700 4207
a 701 7448
a 702 4247
f 552
a 703 77
a 704 4201
a 705 3695
a 706 4353
a 707 2108
f 455
a 708 5465
f 614
a 709 4512
f 528
a 710 4559
a 711 1767
f 519
a 712 8057
a 713 6169
a 714 5379
a 715 1382
a 716 2954
a 717 4249
a 718 6600
a 719 1988
a 720 971
f 623
f 137
a 721 6209
f 559
a 722 1022
f 558
a 723 7504
f 101
f 372
a 724 6670
f 138
f 649
a 725 7235
f 580
f 204
f 492
a 726 721
a 727 6934
a 728 2984
a 729 2898
a 730 7512
f 243
a 731 7285
f 403
f 449
f 473
a 732 8053
f 437
f 625
a 733 1942
a 734 3258
f 160
a 735 3562
a 736 2705
f 493
a 737 2021
f 267
a 738 82
f 592
f 35
a 739 320
a 740 4129
f 547
a 741 5691
f 183
f 103
a 742 2365
f 205
a 743 65
a 744 3633
a 745 1438
a 746 7395
f 31
a 747 5905
a 748 6242
a 749 116
a 750 7883
a 751 2556
a 752 6269
a 753 1787
a 754 2937
a 755 144
a 756 1411
a 757 531
a 758 4603
a 759 2701
a 760 8048
a 761 4022
a 762 6170
a 763 6208
f 678
f 567
f 450
a 764 5836
f 735
a 765 761
f 673
a 766 5118
f 602
a 767 6570
a 768 2966
a 769 266
a 770 6818
a 771 7470
f 345
f 50
a 772 4885
a 773 1889
f 262
f 621
a 774 2092
f 535
f 293
f 606
a 775 637
f 338
a 776 5167
a 777 3449
a 778 6029
a 779 280
a 780 5930
a 781 3937
a 782 2778
a 783 1832
a 784 2663
f 591
a 785 6013
a 786 7104
a 787 7815
a 788 1758
a 789 7942
a 790 337
a 791 8109
a 792 1210
a 793 6351
a 794 4510
f 560
a 795 7906
a 796 7299
a 797 5000
a 798 7417
f 20
f 22
a 799 7582
a 800 2128
f 207
a 801 953
f 464
f 108
f 380
a 802 3747
f 433
f 469
f 251
f 324
a 803 2898
f 148
a 804 475
a 805 3584
f 647
a 806 860
a 807 5408
a 808 1990
a 809 3126
a 810 3747
a 811 1836
f 378
a 812 2429