/
checkings_1000.txt
1000 lines (1000 loc) · 7.71 KB
/
checkings_1000.txt
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
140.033
93.6258
124.511
146.246
148.819
135.121
148.619
122.371
125.832
99.7078
109.971
136.946
125.761
160.009
91.493
90.9296
92.1415
136.078
107.162
131.38
150.825
121.86
118.671
133.143
147.068
94.2409
167.384
72.8738
125.444
117.907
126.87
124.752
147.254
151.303
155.802
104.873
121.32
128.239
96.9103
162.38
138.687
121.771
137.764
156.846
148.851
84.4945
150.077
132.302
117.955
122.911
112.999
108.012
116.525
129.053
132.224
120.924
164.893
113.82
112.307
134.744
140.305
132.698
99.5096
143.943
133.527
137.514
133.501
139.174
100.506
121.909
147.609
109.44
129.623
117.304
107.472
117.914
149.84
113.648
109.196
128.562
120.49
122.089
131.124
111.262
125.494
138.362
82.5745
129.82
115.542
114.596
113.131
147.813
101.957
115.211
151.726
133.899
117.609
128.246
140.871
126.024
161.136
146.634
137.131
152.931
135.204
132.915
145.284
153.14
141.324
135.935
107.922
158.481
123.719
139.614
112.699
153.263
133.962
163.64
125.68
131.56
126.523
155.658
114.88
115.32
121.295
170.038
128.067
126.009
142.036
93.7454
154.679
119.999
110.257
118.327
112.124
141.728
129.328
123.086
125.139
117.866
172.737
125.178
137.766
114.924
98.4966
129.574
94.7093
144.953
141.349
128.805
131.107
115.992
121.872
110.312
120.856
89.814
169.901
115.725
130.788
114.371
156.78
133.168
121.63
136.667
127.651
153.187
135.536
151.539
170.273
137.725
167.629
115.323
134.113
111.559
108.747
92.4441
122.716
148.469
115.724
117.577
90.9891
163.268
139.018
112.802
142.577
180.424
142.998
154.577
103.146
133.273
112.816
113.272
133.892
174.78
98.1318
140.941
123.471
102.639
149.716
152.995
124.597
106.704
116.903
113.45
103.63
154.656
122.165
111.578
113.944
100.912
125.561
156.511
122.253
143.871
134.87
127.332
106.832
125.617
126.565
127.385
129.094
114.688
124.505
137.176
144.865
88.6102
162.595
119.872
133.662
117.713
108.611
104.349
123.954
140.786
78.4797
145.065
132.166
170.763
147.051
145.555
170.39
137.243
147.068
122.063
111.468
114.436
120.622
101.063
142.724
129.471
129.037
119.094
138.933
154.643
98.2763
118.632
140.386
125.886
114.87
128.133
141.736
131.716
119.711
108.816
111.475
112.987
148.116
164.66
145.651
142.64
157.777
137.555
97.6859
118.862
150.639
114.774
154.747
127.715
107.344
128.193
124.406
136.88
106.997
92.4963
147.687
136.785
123.539
135.457
136.351
133.616
165.687
173.592
156.634
115.841
135.086
92.1267
135.271
101.501
113.116
127.214
133.585
99.7586
144.032
178.581
115.202
123.241
107.721
117.204
134.887
153.19
143.188
142.9
118.502
134.546
129.795
111.608
132.918
150.333
111.149
135.078
127.459
125.159
112.631
163.279
139.04
125.655
135.502
105.824
119.322
79.9201
166.396
138.943
140.998
136.87
182.25
150.553
142.362
100.753
102.21
125.564
102.738
119.068
114.845
108.596
141.6
96.3691
186.112
135.102
142.02
128.384
131.147
133.339
130.619
164.699
130.217
162.304
162.504
102.796
98.5189
147.378
115.49
101.7
129.713
135.708
134.704
129.431
122.894
161.174
120.194
163.486
106.185
111.413
124.526
130.868
146.346
125.741
150.185
133.376
153.889
141.508
97.9908
108.274
124.939
143.111
125.997
136.595
136.403
149.938
127.964
125.293
142.103
147.458
107.861
119.324
115.583
124.678
164.269
104.432
131.527
108.944
141.58
118.656
120.702
123.909
137.868
146.746
113.592
93.3163
95.4767
118.88
140.817
120.656
153.523
139.755
145.989
133.729
137.173
101.88
144.888
134.493
132.882
123.12
174.906
145.396
106.536
149.708
140.918
122.091
106.727
125.636
164.239
138.846
126.009
109.496
148.603
145.353
137.132
157.111
115.133
146.444
115.123
134.289
107.347
123.891
125.804
142.66
130.801
135.749
129.003
170.264
114.472
155.15
119.334
162.784
118.106
147.602
154.747
121.174
184.325
125.853
97.7504
110.834
158.409
127.975
121.743
160.945
150.037
123.315
117.726
123.189
156.783
112.821
117.847
157.053
128.431
156.81
149.22
95.7288
128.166
160.74
176.92
138.551
127.758
111.999
132.246
150.667
113.553
114.296
167.947
108.734
106.013
112.268
129.915
148.648
156.956
116.293
124.692
127.039
102.619
120.111
108.523
104.991
158.204
145.118
150.672
124.957
156.282
154.309
148.901
98.3973
129.926
135.475
115.637
102.6
105.302
137.455
101.294
128.281
125.674
132.72
144.434
171.676
132.492
164.061
123.936
136.366
159.786
132.744
137.382
132.271
108.13
127.96
154.395
97.7341
123.818
141.332
131.015
132.189
134.814
169.18
117.194
140.148
171.957
76.4759
137.539
142.705
129.617
147.785
120.036
108.958
137.454
160.97
146.849
108.552
144.445
116.901
138.819
120.491
156.889
128.199
105.162
147.542
140.351
168.364
85.2087
125.911
107.611
120.769
112.723
126.009
122.757
98.8446
101.72
98.9827
111.947
123.701
167.53
169.36
132.244
133.375
103.107
152.461
136.4
79.9276
135.517
108.481
148.841
110.137
87.5554
121.065
89.1502
133.358
91.7019
133.634
106.693
154.674
155.141
124.172
114.883
125.715
67.6329
121.249
124.999
146.833
123.019
121.784
125.55
113.451
88.9278
135.465
100.161
138.985
125.712
115.483
107.624
129.313
133.547
126.532
166.07
132.031
134.201
108.386
111.155
114.661
123.619
153.341
107.876
123.489
134.319
157.025
123.578
117.018
119.822
124.839
121.095
128.947
104.66
122.223
119.695
119.776
103.459
138.953
140.985
154.89
121.446
108.442
144.947
131.18
155.317
111.709
115.399
125.074
122.865
127.76
150.711
124.161
105.428
138.192
110.001
114.776
116.215
143.573
122.314
160.656
102.805
131.138
128.232
109.989
140.904
162.064
94.1552
148.781
147.895
128.981
143.464
144.79
161.253
137.076
111.618
143.418
127.543
138.486
115.875
104.552
145.252
102.295
120.651
101.656
112.812
95.5972
162.534
122.405
105.2
115.559
114.484
122.967
97.2176
125.933
134.792
113.17
107.856
136.223
163.46
159.809
143.944
132.146
145.96
115.782
123.571
160.647
148.854
100.556
124.796
159.232
146.36
100.478
129.61
112.294
115.285
153.458
121.37
116.604
113.236
105.379
137.916
154.098
135.814
97.9764
165.023
146.027
168.255
130.524
179.9
140.629
103.342
123.738
101.751
151.906
149.666
135.793
117.288
165.032
103.114
108.847
118.336
136.97
148.475
128.533
151.83
125.072
125.817
147.323
122.951
124.319
147.827
134.489
121.779
139.154
86.2034
157.484
118.171
165.583
189.161
124.891
142.342
137.395
128.882
158.222
114.587
151.632
127.16
142.66
137.905
115.034
144.971
129.138
122.592
115.089
124.332
132.723
161.26
80.472
116.666
106.051
129.233
126.059
153.024
144.518
125.034
117.638
108.7
117.396
160.185
162.902
142.759
128.335
127.819
100.839
161.765
136.408
114.866
153.959
133.867
137.751
117.993
143.061
129.582
109.176
123.472
139.669
119.74
103.236
124.136
121.703
154.961
124.859
135.083
123.587
89.9272
108.857
153.583
137.627
125.273
139.707
131.631
100.588
146.998
124.156
135.729
135.12
126.397
111.522
96.9397
127.974
111.69
129.784
108.947
155.434
139.199
139.53
120.338
109.622
156.216
106.719
127.948
111.121
104.433
137.885
116.455
111.851
158.614
168.951
183.232
114.802
115.762
149.063
170.554
118.227
134.994
143.829
147.13
105.942
146.615
144.814
176.058
128.891
110.043
125.465
112.704
163.789
107.211
139.469
109.105
132.232
135.076
152.748
131.488
91.8242
141.454
127.938
139.2
118.855
122.841
127.186
172.127
129.069
121.117
158.348
110.816
118.916
146.23
157.468
144.622
150.474
128.371
161.281
159.259
146.182
112.037
156.398
156.69
117.317
202.631
122.615
112.421
102.445
101.359
129.813
116.098
107.094
119.236
144.788
121.04
124.824
110.95
139.158
111.829
89.2724
132.022
141.779
101.454
150.282
116.666
172.531
174.946
97.2055
144.115
124.804
121.921
118.749
105.044
133.725
147.082
113.592
119.959
134.673
139.589
116.769
141.824
105.305
145.183
151.479
141.125
131.903
115.345
105.225
135.872
105.718
120.304
132.631
160.414
124.059
139.224
115.731
114.256
135.607
112.875
129.128
122.817
137.315
111.5
119.313
125.212
124.444
112.732
88.4014
88.8509
121.916
139.646
145.981
113.332
141.313
107.448
159.785
129.217
138.812
108.187
124.04
111.528
130.529
158.891
138.332
108.905
130.02
123.435
139.918
146.101
115.904
99.6951
135.629
111.279
95.3277
111.256
127.679
93.2041
135.928
116.689
149.221
134.983
117.637