-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfix_rand-gen4.stu
3000 lines (3000 loc) · 46.4 KB
/
fix_rand-gen4.stu
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
092 001 239 229 299
278 110 067 295
104 040 071
262 285 047 040 231
289 240 290 079
273 193 177
230 050 018
146 017 050 032
066 255 114 060
273 246 283
255 236 147
010 151 097 228 286
206 203 116
066 103 037 018
240 128 174
289 090 134 093
178 183 134 032
292 016 128 115
244 048 280 290 093
262 208 273 056 257
002 233 181 141 143
092 184 058 037 061
215 203 176
140 139 192 080
238 056 264
186 144 143
092 243 046 207 259
124 004 129 122
244 233 181 042 006 276
233 173 111 130
162 016 207 059
031 117 129 012
023 277 164
136 036 283
140 095 229 266
068 202 260 164
131 144 115
198 192 029
218 287 220
086 239 037 266 263
292 142 188 133
262 172 121 026 220
248 274 079
148 195 035 083
047 207 089
167 151 004 246 271
233 046 044 022
117 213 132 138
125 042 177
161 165 128 286
184 052 235 071 276
270 062 135 100
038 294 069
031 206 235 288 224
119 155 024
184 255 209 283
004 051 286
185 178 215 236 199
285 127 282 059 295
078 120 037 176 295
002 208 017 235 257
048 206 043 157
162 272 256 286
243 175 163 083
281 149 024
292 278 129 118
262 131 044 102
151 179 236 079
279 047 219 093
218 155 067
023 210 094
181 204 025
131 105 059 263
074 181 193 143
095 041 059 224
167 183 203 011
227 175 036 133
200 293 267
066 136 169 115
223 284 164
124 278 051 098
125 169 122
148 066 191 076 115
248 229 102
161 179 019 011
072 188 060
178 182 156 257
165 137 063
208 052 213 061
021 280 015 069
002 230 134 093
148 221 246 055
253 072 201 055
007 155 160
013 205 197 264
216 049 159
002 013 165 277 266
178 272 282 083
023 050 130
010 021 218 110 009 263
146 121 134 032
001 183 207 123 224
291 052 277 116
241 285 181 044 059
171 193 254
270 238 076 083
023 193 132
252 166 115
208 247 156 012
202 026 122
154 273 008 254
086 171 144 011
281 129 199
054 265 199 263
117 256 257 073
047 284 022
190 036 079
249 240 149 024
297 180 163 174
216 004 236 088
087 016 026 022
185 048 014 056 133
074 195 234 029
021 095 229 060
225 211 022
104 096 093 295
068 097 008 080 085
241 281 144 288
215 277 011
194 141 080
244 227 202 076 157
103 228 299
241 038 156 261
185 249 033 246 267
125 197 070
002 078 131 232 122
101 196 026 259
292 237 203 034
184 045 209
165 050 261
183 192 116
167 279 007 193 034
030 106 267
194 111 145
113 053 207 174
237 228 067
195 213 089
172 097 114 259
078 104 110 005
125 041 025 085
075 186 159 116
048 173 203 118
278 144 079
253 171 003 005
142 169 286
187 053 149 283
202 019 082 276
052 290 296
216 058 107 254
165 207 108
172 017 110 157
161 023 284 296
196 112 089 073
002 240 137 300
273 236 271
187 007 158 100
252 042 157
117 163 083 276
198 120 003 254
074 131 232 108
189 198 183 036 143
279 120 003 082
279 247 287 029
148 014 041 250
218 042 258
136 282 300
001 223 150 300
109 242 056 288
253 152 003 157
247 192 212
270 183 197 271
241 255 209 005 073
253 182 105 160
244 058 107 024
244 297 251 204 064 276
262 013 239 211 011
225 026 069
165 050 258
243 182 209 102
103 197 147
062 043 220
014 114 012
004 293 266
227 230 105 143
078 165 260 231
074 121 128 102
131 156 012
002 086 248 246 064
086 240 008 168
066 196 201 116
048 206 076 266
131 019 147
039 210 261
183 159 224
087 191 213 267
046 201 275
243 047 201 176
280 156 266
017 163 029
244 208 298 192 133
125 141 160
245 075 182 222 212
200 076 063
245 198 170 204 123
173 036 157
074 182 037 089
004 284 132
178 045 099 157
075 017 284 168
066 119 134 115
021 165 141 077
198 200 294 011
027 036 083
189 047 155 059
121 294 147
139 222 065
010 125 284 064
289 202 129 299
148 208 200 277 012
101 142 050 275
097 111 034
281 159 220
223 153 160
262 216 173 153 063
198 183 149 005
272 210 071
021 183 229 288
241 285 097 036 012
238 274 283
074 273 274 220
013 248 282 220
297 156 093
010 078 239 193 071
066 215 204 160
120 051 115
243 053 112 231
248 232 009
162 239 051 157
216 181 228 199
280 232 130
205 282 005
087 017 150 080
173 207 032
075 027 096 032
095 040 261
292 117 036 061
253 127 041 063
223 282 264
142 235 275
205 228 061
208 095 203 034
002 127 293 259
239 207 093
240 050 259
249 248 222 122
195 106 063
189 075 238 028 258
196 111 009
221 112 299
033 222 212
117 110 147
171 099 077
281 008 034
165 050 176
185 242 043 064
268 181 277 257
202 169 116
121 222 071
196 163 060
225 042 258
072 204 145
248 137 133
031 027 129 067
196 158 145
035 271
095 081 132
291 131 265 258 263
245 001 230 128 064
039 128 271
002 142 040 093
091 293 266
189 062 141 261
001 280 229 257
045 265 012
190 156 254
002 278 169 231
195 056 080
189 184 214 050 034
194 134 258 138
092 030 210 160
002 240 107 005
241 233 239 236 082
125 141 122
262 161 183 043 011
238 158 100
180 028 060
148 269 040 011
245 253 007 036 061
173 081 025
184 202 111 258
066 121 284 145
119 035 011
218 135 067
181 193 024
124 139 232 116
151 190 265 283 276
066 090 114 063
195 110 299
245 162 119 015 123
245 004 201 100
121 036 032 224
092 249 142 236 077
068 030 110 123
136 228 005
270 052 096 157
052 107 283
262 066 298 217 088
095 050 168
196 028
243 179 135 118 295
075 136 217 070
215 003 022
017 019 025
031 136 019 199
013 221 035 123
187 273 207 123
241 058 246 257
278 169 176
154 125 293 123
172 280 155 177
047 015 220
249 104 169 157
208 142 150 250
033 081 034
182 051 123
095 236 093
262 178 200 149 094 276
087 239 284 271
013 273 040 283
172 033 008 065
200 041 108
262 113 139 037 100
242 003 034
255 207 088
165 163 160
146 117 076 100
241 001 200 222 012
244 154 054 207 080
161 230 158 257
049 260 212
172 238 114 077 073
221 044 226
087 247 105 300
251 096 254
181 207 168
298 035 060
187 023 081 024
131 229 147
004 284 032
216 091 141 012
167 146 278 158 220
244 113 298 107 032
091 153 275 073
230 114 123
248 153 084 073
285 205 265 257
292 186 207 143
039 051 108
216 004 110 130
253 038 076 089
280 081 259 295
273 057 264
054 197 286
269 188 118
091 209 064
278 081 024
297 214 026 089
047 134 133
052 158 018
101 170 229 100
205 129 063
148 014 019 267
181 003 102
047 204 133
187 046 051 257 085
001 165 150 296
244 048 053 144 079
125 193 199
285 049 159 275
126 230 287 055
109 020 034
285 281 158 212
242 106 226
171 149 022
002 179 260 080
202 141 059 295
239 114 093
162 131 129 254
162 255 204 275
289 104 028 094
214 284 080
269 076 147
244 239 166 071
046 081 067
179 111 283
004 043 065
136 158 299
190 144 065
031 180 028 212
162 097 137 116 276
154 181 163 168
109 104 020 275
208 052 217 261
113 125 193 070
244 014 134 065
180 274 264
240 169 212
195 169 288 073
185 045 159 254
124 152 044
298 141 011
253 255 050 070
013 054 128 022
170 290 118
179 294 130
198 091 158 296
292 016 128 069
066 014 096 012
291 252 210 157
054 155 098
185 162 252 256 069 276
136 099 283
001 202 026 100
038 188 176
249 030 036 012
196 137 029
178 152 051 061 138
173 041 055 138
154 298 043 212
190 150 286
038 207 063
285 007 096 067
184 136 042 132
033 207 261
189 146 252 163 176
190 008 116
087 016 020 093
066 121 099 006
253 238 210 118
126 278 043 060
016 050 006
273 294 018
097 228 231
280 050 018
090 056 080
195 050 271
216 017 232 259
183 163 077
126 196 028 083
086 181 197 264
189 239 159 296
152 134 257
239 110 115
173 081 006 138
243 119 105 288
187 273 282 296
245 074 062 234 060
097 229 011
278 105 055 224
206 026 296
074 251 110 257
243 103 026 174
237 149 065
289 180 042 025
223 144 164
175 209 080
068 186 256 160
101 139 020 147
198 186 135 070
242 099 220
253 252 144 267
186 043 257
281 219 258
241 117 166 296
191 234 032
270 255 111 118
268 173 156 024
148 253 091 037 088
004 193 254
074 225 290 254
216 239 026 061
292 017 290 220
103 207 286
268 039 015 271
045 210 065
244 074 090 003 093
244 227 237 158 055
215 137 094
175 156 063
161 206 008 006
148 273 204 231
004 114 080 224
125 041 006
243 200 036 123
109 183 040 065
175 040 160
136 193 267
120 287 174
225 201 032
172 052 169 168
021 269 041 100
092 178 103 099 018
131 158 009
171 081 064
167 113 230 284 098
021 206 096 071
221 112 060
291 030 099 061 276
289 103 111 100
243 179 188 299
179 246 271
292 281 193 267
198 221 096 064
240 228 168
047 114 296
013 280 057 100
178 062 110 118
126 053 192 168
245 161 095 041 116
291 186 050 133
243 281 222 275
002 186 156 199
127 293 093
058 008 059
241 078 186 260 034
103 144 261
146 119 008 102
091 282 174
086 058 228 118
208 016 210 084
292 252 265 009
241 249 298 150 018
270 195 197 271
240 036 083 295
248 107 296 085
126 180 044 060
126 230 282 212
119 192 116
242 051 267
184 195 026 220
186 106 080
272 096 022
289 218 163 100
068 273 028 145
103 096 115
172 175 076 288
124 004 056 098
238 246 254
140 242 156 275
046 193 077
162 252 188 080
066 206 163 157
124 183 204 283
278 149 018
004 222 077
216 072 192 261
001 173 036 160
010 183 260 102
148 086 248 232 082
184 090 041 264
092 021 221 229 102
165 213 034
140 196 037 177
189 142 111 258
148 218 201 022
154 251 256 025
245 047 150 063
179 211 300
272 043 160
053 211 094
140 053 076 160
268 127 213 300
223 129 064
016 217 034
194 293 006 295
002 139 213 022
095 008 283
206 166 118
146 052 129 254
058 163 259
196 107 226
023 209 032
062 229 032
146 058 110 267
244 068 181 213 079
243 091 043 160
189 242 158 025
225 137 034
289 223 137 069
243 103 207 271
181 044 088
292 104 056 029
245 151 173 035 147
162 119 156 024
095 129 275
002 049 219
240 041 220
120 163 094
278 020 212
262 225 260 029
281 159 271
241 281 284 300 138
068 180 003
195 128 102
244 017 222 098
289 033 203 254
101 252 169 070
202 260 130
214 051 022
245 091 008 250
162 269 246 275
269 026 116
178 281 207 122 224
285 238 036 258
189 013 202 290 132
253 152 020 226
198 191 099 063
273 008 060
279 004 209 299
185 268 090 128 250
184 182 051 267
119 051 032
291 062 015 080
186 217 259 276
151 248 159 055
227 298 211 267
248 134 080
119 105 059
225 159 055
218 153 300
078 004 149 032
126 038 155 029
200 057 082
074 200 003 080
251 294 032
292 062 197 296
193 115
238 028 258
154 237 290 259
269 135 094
194 026 259
136 203 174
066 049 026 266
152 265 060
180 003 231
151 225 019 118
180 232 009
189 023 166 122
066 165 106 118
167 297 225 156 132
109 205 141 032
187 053 096 116
216 120 076 061
031 014 041 022
208 240 287 299
206 099 011
186 156 063
187 142 112 006
013 047 265 122
289 242 217 083
007 210 064
289 195 222 212
167 109 027 114 063
245 146 191 235 115
121 209 264
039 150 080
046 166 089
002 206 110 122
297 183 110 164
208 239 135 089
097 040 108
148 184 039 158 283 138
048 165 211 077
190 155 077
281 192 226
140 196 207 067
004 144 116
240 166 157
268 269 153 259
237 096 226
074 091 099 261
124 171 028 174
214 099 259
021 062 169 080
241 066 097 232 061
119 105 250
095 290 024 138
186 106 115
182 210 199
237 201 212
142 203 296
142 284 300
244 198 195 099 267
184 170 036 122
280 235 226
136 282 059
187 142 135 012
087 125 134 288
279 171 110 132
095 028 034
052 137 080
184 281 203 034
021 281 111 116 295
007 056 067
278 290 011
291 103 166 098 138
167 014 293 130
045 019 286
184 202 235 271
208 104 235 034
183 040 132
179 036 147
280 163 164
242 026 065 263
243 117 235 132
281 150 123
131 203 032
178 194 192 022 085
031 237 099 275
078 046 192
021 139 035 108
146 119 197 122
216 120 228 011 073
189 248 274 212
016 076 059
215 037 012
273 277 133
233 281 015 067
230 112 082
054 163 070
182 222 011
154 195 197 296
092 031 269 260 070
245 126 186 274 296
230 197 093 138
230 235 212
104 129 264
244 101 104 256 082
068 242 149 133
001 120 156 108
184 120 209 069
090 158 093
200 219 122
119 110 177 224
268 273 169 115
187 136 020 005
244 172 103 129 147
270 152 211 089
021 190 282 024
225 106 063
173 135 083
272 228 100 276
187 033 159 288
001 255 043 018
182 203 176
198 121 008 088
170 099 286
031 104 265 143
068 181 076 160
179 114 176
243 152 188 018
278 290 089
247 008 257
074 237 197 025
189 249 045 135 080
244 023 156 220
253 104 192 034
033 158 145
270 104 112 160
154 117 260 080
230 144 093
090 105 098
045 040 018
068 196 213 132
182 153 012 276
136 294 130
268 039 099 011
279 238 026 160
152 203 130
001 125 041 145
248 035 005 085
195 192 300
062 008 100
181 040 009
113 180 110 258
086 014 193 212
268 221 028 267
117 036 079
185 180 044 168
214 158 116
183 020 271
109 183 274 123 073
292 272 166 145
021 294 070
052 234 164
244 016 294 077
241 186 153 034
230 040 164 276
218 128 226
004 015 259
173 274 116
180 081 226
097 287 029
162 046 236 266
185 208 127 156 061
208 170 141 123
039 135 143
292 091 044 286
031 240 056 055
165 217 212
086 191 129 055
187 023 040 059
227 278 028 018
208 214 211 060
241 279 136 040 022
273 019 231
113 183 211 267
068 206 163 063
262 001 281 050 079
178 170 137 264 224
243 095 137 177
101 119 050 296
027 219 212
180 192 123
178 120 204 018
218 201 063
249 298 222 063
292 023 008 032
016 041 259
078 180 134
244 031 152 028 275 263
048 117 112 250
058 228 199
103 043 231
068 182 274 098
062 293
198 121 159 083
125 210 084
173 246 069
109 038 110 220
292 017 043 100
233 033 155 275
187 280 128 063
109 191 015 094
146 280 135 080 138
148 280 265 130
214 166 100 276
002 187 205 193 160
010 072 204 143
206 036 060
131 134 063
078 058 156 288
126 033 277 275
292 103 284 177
058 188 220
185 216 298 158 100 073
113 230 236 064
031 223 293 022
184 251 044 122
117 149 055
090 050 029 295
278 192 122
095 099 231
262 095 081 130
054 217 231
121 050 258 138
185 095 166 032
045 114 079
136 265 220
136 008 145
109 269 144 065
292 117 141 064
013 062 158 070
269 076 157
262 270 095 036 145
185 180 150 132
154 248 282 067
244 198 058 128 283
148 021 196 149 132
021 194 260 299
216 127 209 082
117 203 029
124 117 036 300
291 280 235 080
251 293 022
097 149 226
021 120 235 018
189 233 202 134 288
273 076 006
086 196 003 084
148 289 179 293 084
152 246 300
021 225 036 130
046 192 164
289 175 236 102
016 106 055
045 076 080
109 214 137 098
062 201 077
291 196 141 098
092 223 265 296
241 016 290 160
046 041 025
066 230 056 055
017 150 018
086 281 169 220
139 222 123
221 056 083
233 206 112 029
152 265 029
248 234 012
104 153 108 073
148 086 121 135 220
031 062 144 018
227 173 153 145
208 049 041 108 224
202 036 011
186 096 250
292 120 169 130
103 236 025
238 144 093
109 007 026 067
245 198 242 076 022
280 210 257
078 127 155 060
198 016 192 083
074 223 235 011 263
007 028 011
087 046 256 164
148 124 054 155 080
200 028 071
185 230 150 299
196 050 267
033 050 063
001 278 153
146 142 155 130
268 125 150 164
268 007 192 299
126 179 201 077
161 152 222 130
285 247 076 199
262 178 033 211 286
074 052 020 177 138
190 135 168
216 171 026 133
223 235 032
245 221 169 077
272 256 275
091 159 257
162 121 035 115
172 127 156 250
268 221 219 130
151 240 256 070
075 247 188 083
010 291 131 155 266
198 170 277 082
090 106 029
208 186 210 089
194 036 064
262 181 159 231
172 030 019 177
103 229 123
033 213 108
223 188 254
136 229 231
052 158 226
021 218 020 226
208 104 166 147
178 142 128 145
251 051 115
244 268 165 043 011
272 274 257
154 165 282 266
262 091 228 079
146 062 051 034
097 229 259
245 031 239 158 009
298 169 089
001 097 156 157 263
189 202 037 100