HCoop
/
hcoop
/
debian
/
mlton.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git]
/
regression
/
life.ok
1
2
3
0
4
0 0
5
0 00 0
6
00 0 00 0000 0
7
00 0 00 0000 0
8
0 0 0 0 00
9
0 0000 00
10
0000
11
12
13
0
14
0000
15
00 0 0 0 0
16
00 000 0 0 0 0
17
00 00 0 0 0
18
0000 0 0 00
19
0 0 00
20
0 0
21
00
22
23
24
00
25
0 0
26
0 0 0
27
00 0 0 00 0 0
28
00 0 0 00
29
0 0 00 00
30
00 00 00
31
0 0
32
0
33
34
35
0
36
00
37
00 00 0
38
00 000 00 0 0
39
00 00 00 0 0
40
00 0 0 00
41
0 0 0 00
42
0 0
43
0
44
45
46
00
47
0 0
48
0 00 0
49
00 0 0 0 0 0 0
50
00 0 000 0 00
51
0 0 00 00 00
52
00 0 00 00
53
0 0
54
0
55
56
57
00
58
0 0
59
000 00 0
60
00 000 0 00 0 0
61
00 000 000 0 0
62
0 0 00 0 0 00
63
00 00 0 00
64
0 0
65
0
66
67
68
00
69
0 0
70
0 000 0
71
00 0 0 00000
72
00 0 0 00 00
73
0 0 0 00 000 00
74
00 0000 00 00
75
0000
76
0
77
78
79
00
80
00 0
81
00 00000 00
82
00 000 0 00 0
83
00 00 00 0
84
00 0 0 00
85
00 0 00
86
0
87
00
88
89
90
00
91
000 00 0
92
0 00 0 0 0
93
00 0 0 0 0 00
94
00 0 00 0000 00
95
000 0 000 00
96
00 00 00
97
00
98
0
99
100
101
0 0
102
0 0 00
103
00 000 00 00
104
00 00 0 0 0 0 0
105
00 00 0 0 0
106
0 0 00 0 0 00
107
0 0 0 00
108
0 0
109
00
110
111
112
0
113
0000 0 00
114
0000 0 0 00 00
115
00 0 0 00 0 00 0 0
116
00 0000 00 000
117
0000 00 000 00
118
0 000 00
119
0 0
120
00
121
122
123
0 0
124
0 0 000
125
0 0 0 0 00
126
00 0 0 00 0 0
127
00 0 0
128
0 0 000 0 00
129
0 0 0 00
130
0 0
131
00
132
133
134
0 0
135
0 0 0000
136
00 00 0 00
137
00 00 00 00
138
00 00 0 00
139
0 0 0 000 00
140
0 0 00 00
141
00
142
00
143
144
145
0 00
146
0 0 0 0
147
0 0 0 0 00
148
00 0 0 0 00 000
149
00 0 0 00 0
150
0 0 000 0 0 00
151
0 00 0 00
152
000
153
00
154
155
156
0 00
157
0 0 0000
158
0 00 000 0 0 0
159
00 00 00 00 0 0
160
00 0 00 0 00
161
0 0 0 0 00 00
162
0 0 00 00
163
0 0
164
0 0
165
166
167
0 0 0
168
0 0 0
169
00 0 00 0 0
170
00 00 0 0 0 00 0000
171
00 00 0 0000
172
0 0 00 0 0 00
173
0 0000 00
174
0000
175
0
176
177
178
0
179
0000 00 00
180
0 0 00 0000 0 0 0
181
00 0 0 000 00 0 0 0
182
00 0 0 00 0 0
183
0000 0 0 00
184
0 0 00
185
0 0
186
0 0
187
188
189
00
190
0 0 0 000
191
0 0 0 0
192
00 00 0 0 0 0 0
193
00 0 0 00
194
0 0 00 00
195
00 00 00
196
0 0
197
0
198
199
200
0 0
201
00 00
202
00 00 0 0 0
203
00 00 000 0 0
204
00 00 00 0 0
205
00 0 0 00
206
0 0 0 00
207
0 0
208
0
209
210
211
00 00
212
0 0 0 0
213
00 0 0 0
214
00 0 0 0 0 0 0
215
00 00 0 00 0
216
0 0 00 00 00
217
00 00 0 00
218
0 0
219
0
220
221
222
00 00
223
0 0 00
224
00 000 0 0
225
0000 0 000 0 0
226
000 00 000 0 00
227
0 0 0 00 00
228
00 0 00 00
229
0 0
230
0
231
232
233
00 000
234
0 0 0
235
00000 0 0 0
236
0 0 0 0000
237
0 00 0 00 0 0
238
0 0 0 000 0 0 00
239
00 00 0 0 00
240
0000
241
0
242
243
0
244
00 00
245
000 00 0 0
246
00000 00 00
247
0 0 0 000 0 0
248
00 0 00 0 0
249
00 0 0 00000
250
00 0 0 000
251
0 0
252
00
253
254
00
255
0 00 0 0
256
0 0 000 0
257
0 00 0 0
258
0 0 0 0 00
259
00 00 0 00 0 00
260
000 000 0 0
261
00 00 0 0
262
00 0
263
0
264
265
00
266
0 0 00
267
0 0 0 0
268
00 00 00
269
00 0 00 0 0
270
00 00 0 0 0
271
0 0 0 0 00 0
272
0 0 0 00
273
0 0
274
00
275
276
000
277
0 0
278
0 0000 0
279
0 0000 00
280
00 0 0 0 0
281
00 0000 000 0
282
0000 000 0 0 0
283
0 000 00
284
0 0
285
00
286
0
287
00
288
0 0 0 0
289
0 0
290
0 00
291
00 0 0 0 0
292
00 0 0 0
293
0 0 0 0 0
294
0 0 0 00
295
0 0
296
00
297
00
298
0 0
299
0 0
300
0 0
301
00 00
302
00 00 00
303
00 00 00
304
0 0 000 000
305
0 00 00
306
00
307
00
308
00
309
00
310
0 0
311
0 0
312
0 0 00
313
00 0 0 000
314
00 0 0 0 00 0
315
0 0 0 0 0 0
316
0 0 00 0 0
317
000
318
00
319
000
320
0
321
0 0
322
0 0
323
00 0 0 0
324
00 00 00 0 0
325
00 00 0 00 0
326
0 0 00 0 0 0
327
0 00
328
0 0
329
0 0
330
00
331
0 0
332
0
333
0 0
334
0 00 0
335
00 0 00 0000
336
00 0 00 0000 0
337
0 0 0 0 0
338
0 0000
339
0000
340
0
341
0 0
342
0
343
0
344
0000
345
00 0 0 0 0
346
00 000 0 0 0 0
347
00 00 0 0 0
348
0000 0 0
349
0 0
350
0 0
351
0 0
352
00
353
0
354
00
355
0 0
356
0 0 0
357
00 0 0 00 0 0
358
00 0 0 00
359
0 0 00
360
00 00
361
0 0
362
0
363
0
364
0
365
0
366
00
367
00 00 0
368
00 000 00 0 0
369
00 00 00 0 0
370
00 0 0
371
0 0 0
372
0 0
373
0
374
0 0
375
376
00
377
0 0
378
0 00 0
379
00 0 0 0 0 0 0
380
00 0 000 0 00
381
0 0 00 00
382
00 0 00
383
0 0
384
0
385
0
386
387
00
388
0 0
389
000 00 0
390
00 000 0 00 0 0
391
00 000 000 0 0
392
0 0 00 0 0
393
00 00 0
394
0 0
395
0
396
0
397
398
00
399
0 0
400
0 000 0
401
00 0 0 00000
402
00 0 0 00 00
403
0 0 0 00 000
404
00 0000 00
405
0000
406
0
407
0
408
409
00
410
00 0
411
00 00000 00
412
00 000 0 00 0
413
00 00 00 0
414
00 0 0
415
00 0
416
0
417
00
418
419
420
00
421
000 00 0
422
0 00 0 0 0
423
00 0 0 0 0 00
424
00 0 00 0000 00
425
000 0 000
426
00 00
427
00
428
0
429
430
431
0 0
432
0 0 00
433
00 000 00 00
434
00 00 0 0 0 0 0
435
00 00 0 0 0
436
0 0 00 0 0
437
0 0 0
438
0 0
439
00
440
441
442
0
443
0000 0 00
444
0000 0 0 00 00
445
00 0 0 00 0 00 0 0
446
00 0000 00 000
447
0000 00 000
448
0 000
449
0 0
450
00
451
452
453
0 0
454
0 0 000
455
0 0 0 0 00
456
00 0 0 00 0 0
457
00 0 0
458
0 0 000 0
459
0 0 0
460
0 0
461
00
462
463
464
0 0
465
0 0 0000
466
00 00 0 00
467
00 00 00 00
468
00 00 0 00
469
0 0 0 000
470
0 0 00
471
00
472
00
473
474
475
0 00
476
0 0 0 0
477
0 0 0 0 00
478
00 0 0 0 00 000
479
00 0 0 00 0
480
0 0 000 0 0
481
0 00 0
482
000
483
00
484
485
486
0 00
487
0 0 0000
488
0 00 000 0 0 0
489
00 00 00 00 0 0
490
00 0 00 0 00
491
0 0 0 0 00
492
0 0 00
493
0 0
494
0 0
495
496
497
0 0 0
498
0 0 0
499
00 0 00 0 0
500
00 00 0 0 0 00 0000
501
00 00 0 0000
502
0 0 00 0 0
503
0 0000
504
0000
505
0
506
507
508
0
509
0000 00 00
510
0 0 00 0000 0 0 0
511
00 0 0 000 00 0 0 0
512
00 0 0 00 0 0
513
0000 0 0
514
0 0
515
0 0
516
0 0
517
518
519
00
520
0 0 0 000
521
0 0 0 0
522
00 00 0 0 0 0 0
523
00 0 0 00
524
0 0 00
525
00 00
526
0 0
527
0
528
529
530
0 0
531
00 00
532
00 00 0 0 0
533
00 00 000 0 0
534
00 00 00 0 0
535
00 0 0
536
0 0 0
537
0 0
538
0
539
540
541
00 00
542
0 0 0 0
543
00 0 0 0
544
00 0 0 0 0 0 0
545
00 00 0 00 0
546
0 0 00 00
547
00 00 0
548
0 0
549
0
550
551
552
00 00
553
0 0 00
554
00 000 0 0
555
0000 0 000 0 0
556
000 00 000 0 00
557
0 0 0 00
558
00 0 00
559
0 0
560
0
561
562
563
00 000
564
0 0 0
565
00000 0 0 0
566
0 0 0 0000
567
0 00 0 00 0 0
568
0 0 0 000 0 0
569
00 00 0 0
570
0000
571
0
572
573
0
574
00 00
575
000 00 0 0
576
00000 00 00
577
0 0 0 000 0 0
578
00 0 00 0 0
579
00 0 0 00
580
00 0 0
581
0 0
582
00
583
584
00
585
0 00 0 0
586
0 0 000 0
587
0 00 0 0
588
0 0 0 0 00
589
00 00 0 00 00
590
000 000 00
591
00 00 00
592
00
593
0
594
595
00
596
0 0 00
597
0 0 0 0
598
00 00 00
599
00 0 00 0 0
600
00 00 0 00
601
0 0 0 0 0 0
602
0 0 0 00
603
0 0
604
00
605
606
000
607
0 0
608
0 0000 0
609
0 0000 00
610
00 0 0 0 0
611
00 0000 000 00
612
0000 000 0 0
613
0 000 00
614
0 0
615
00
616
0
617
00
618
0 0 0 0
619
0 0
620
0 00
621
00 0 0 0 0
622
00 0 0 00
623
0 0 0 0 0
624
0 0 0 00
625
0 0
626
00
627
00
628
0 0
629
0 0
630
0 0
631
00 00
632
00 00 00
633
00 00 00 00
634
0 0 000 0 0
635
0 00 00
636
00
637
00
638
00
639
00
640
0 0
641
0 0
642
0 0 00
643
00 0 0 000
644
00 0 0 0 00 00
645
0 0 0 0 0 0
646
0 0 00 00
647
000
648
00
649
000
650
0
651
0 0
652
0 0
653
00 0 0 0
654
00 00 00 0 0
655
00 00 0 00 00
656
0 0 00 0 0 0
657
0 00 00
658
0 0
659
0 0
660
00
661
0 0
662
0
663
0 0
664
0 00 0
665
00 0 00 0000
666
00 0 00 0000 00
667
0 0 0 0 0 0
668
0 0000 00
669
0000
670
0
671
0 0
672
0
673
0
674
0000
675
00 0 0 0 0
676
00 000 0 0 0 0
677
00 00 0 0 0 00
678
0000 0 0 0 0
679
0 0 00
680
0 0
681
0 0
682
00
683
0
684
00
685
0 0
686
0 0 0
687
00 0 0 00 0 0
688
00 0 0 00 00
689
0 0 00 0 0
690
00 00 00
691
0 0
692
0
693
0
694
0
695
0
696
00
697
00 00 0
698
00 000 00 0 0
699
00 00 00 0 0 00
700
00 0 0 0 0
701
0 0 0 00
702
0 0
703
0
704
0 0
705
706
00
707
0 0
708
0 00 0
709
00 0 0 0 0 0 0
710
00 0 000 0 00 00
711
0 0 00 00 0 0
712
00 0 00 00
713
0 0
714
0
715
0
716
717
00
718
0 0
719
000 00 0
720
00 000 0 00 0 0
721
00 000 000 0 0 00
722
0 0 00 0 0 0 0
723
00 00 0 00
724
0 0
725
0
726
0
727
728
00
729
0 0
730
0 000 0
731
00 0 0 00000
732
00 0 0 00 00 00
733
0 0 0 00 000 0 0
734
00 0000 00 00
735
0000
736
0
737
0
738
739
00
740
00 0
741
00 00000 00
742
00 000 0 00 0
743
00 00 00 0 00
744
00 0 0 0 0
745
00 0 00
746
0
747
00
748
749
750
00
751
000 00 0
752
0 00 0 0 0
753
00 0 0 0 0 00
754
00 0 00 0000 00 00
755
000 0 000 0 0
756
00 00 00
757
00
758
0
759
760
761
0 0
762
0 0 00
763
00 000 00 00
764
00 00 0 0 0 0 0
765
00 00 0 0 0 00
766
0 0 00 0 0 0 0
767
0 0 0 00
768
0 0
769
00
770
771
772
0
773
0000 0 00
774
0000 0 0 00 00
775
00 0 0 00 0 00 0 0
776
00 0000 00 000 00
777
0000 00 000 0 0
778
0 000 00
779
0 0
780
00
781
782
783
0 0
784
0 0 000
785
0 0 0 0 00
786
00 0 0 00 0 0
787
00 0 0 00
788
0 0 000 0 0 0
789
0 0 0 00
790
0 0
791
00
792
793
794
0 0
795
0 0 0000
796
00 00 0 00
797
00 00 00 00
798
00 00 0 000 00
799
0 0 0 00 0 0
800
0 0 000 00
801
00
802
00
803
804
805
0 00
806
0 0 0 0
807
0 0 0 0 00
808
00 0 0 0 00 000 0
809
00 0 0 00 0000
810
0 0 000 0 0
811
0 00 0000
812
000 0
813
00
814
815
816
0 00
817
0 0 0000
818
0 00 000 0 0 0
819
00 00 00 00 0 0000
820
00 0 00 0 00000
821
0 0 0 0 0
822
0 0 00000
823
0 0000
824
0 0
825
826
827
0 0 0
828
0 0 0
829
00 0 00 0 0 00
830
00 00 0 0 0 00 0 00 0
831
00 00 0 0 0
832
0 0 00 0
833
0 0 0
834
0 00 0
835
0 00
836
837
838
0
839
0000 00 00
840
0 0 00 0000 0 0 00
841
00 0 0 000 00 0 000 0
842
00 0 0 00 0 00 00
843
0000 00
844
0 00 00
845
000 0
846
0 00
847
848
849
00
850
0 0 0 000
851
0 0 0 0 00
852
00 00 0 0 0 0 0
853
00 0 0 0 0 0 0
854
0 0 0 0
855
00 0 0 0 0
856
0 0
857
0 00
858
859
860
0 0
861
00 00
862
00 00 0 0 0
863
00 00 000 00 00 0
864
00 00 00 0 0 0
865
00 00 00
866
0 0 0 0
867
00 00 0
868
0
869
870
871
00 00
872
0 0 0 0
873
00 0 0 000
874
00 0 0 0 0 0 0 0
875
00 00 0 0000 0 00
876
0 0 00 00
877
00 0000 0 00
878
0 0 0
879
000
880
881
882
00 00
883
0 0 00 0
884
00 000 0 0 0
885
0000 0 000 0 00
886
000 00 000 0 00 0 0
887
0 0 0 0
888
00 0 00 0 0
889
0 00
890
0 0
891
0
892
893
894
00 000
895
0 0 0 0
896
00000 0 0 00
897
0 0 0 00 00 00
898
0 00 0 00 00
899
0 0 0 00 00
900
00 00 00
901
00 00 00
902
00
903
0
904
905
0
906
00 00
907
000 00 0 0 00
908
00000 00 0
909
0 0 0 000 00 0000000
910
00 0 00 00 0
911
00 0
912
00 00 0
913
00 0000000
914
0
915
00
916
917
00
918
0 00 0 0
919
0 0 000 00 0
920
0 00 0 00 000000
921
0 0 0 0 00 0 0000
922
00 00 0 0 00 0
923
000 000
924
00 0 00 0
925
00 0 0000
926
0 000000
927
0
928
929
00
930
0 0
931
0 0 0 00 0000
932
00 00 0 000 0
933
00 0 00 000 0
934
00 00 0 0 0
935
0 0 0
936
0 0 0 0 0
937
00 0
938
0 000 0
939
0000
940
941
942
0 00
943
0 0000 00 0 0
944
0 0000 00 0 00
945
00 0 0 000 0 0
946
00 0000 000
947
0000 000
948
0 00
949
00 0 0
950
0000
951
0 0
952
00
953
954
955
0 0 00
956
0 0 000 00000
957
0 0 0 0
958
00 0 0 0 00
959
00 0 0 0 0
960
0 0 0 0
961
0 0 000 0
962
00
963
0 0
964
0 0000
965
00
966
967
968
0 0 0 0
969
0 0 000 00 0
970
00 0
971
00 00 00 000
972
00 00 0 0
973
0 0 00 0 000
974
0 0000
975
0 00
976
977
00 0
978
0
979
980
981
0 000 00
982
0 0 0 0 00
983
0 0 0 0
984
00 0 0 00 000
985
00 0 0 0 0 0
986
0 0 0 0
987
0 0 0
988
0 00
989
0 0
990
991
0
992
0 0 0 00
993
0 0 00 0 0 0
994
00 0 0 0 0
995
00 00 00 0 0 00
996
00 00 0 000 0 0
997
0 0 000
998
0 00
999
00
1000
0
1001
1002
0
1003
0 00 0 00
1004
0 0 00 00 0 0
1005
0 00 00 0 0
1006
00 0 00 0 00 00
1007
00 0 00 00 0 00 0
1008
0 0 0 0 0
1009
0 000 0
1010
0
1011
00
1012
1013
00
1014
0 0 00000
1015
0000 0 0000 0
1016
00 0 0 0 0
1017
00 000 0 0 00 0 0
1018
00 00 0 0 00 0 0
1019
0000 000 000
1020
0 0 0
1021
0 0
1022
00
1023
1024
000000
1025
00 00 0
1026
0 0 0 0
1027
0 0 0 00 0
1028
00 0 0 00 0 0 00
1029
00 0 0 0 0
1030
0 0 0 0 0 0 0
1031
00 0 0 0
1032
0 0
1033
00
1034
0000
1035
0000000
1036
0 0 0000
1037
00 0 00 00
1038
00 00 0 00
1039
00 000 00 0 00 00
1040
00 00 00 00000 0
1041
00 000 0 000
1042
0 0 00
1043
0
1044
00
1045
0
1046
0 0
1047
00 00 0
1048
0 0 000 0 0
1049
0 00 0 0
1050
00 0 0 0 0 0
1051
00 0 00 0 0
1052
0 0 0 0 0
1053
00 0 000 0
1054
0
1055
0
1056
1057
00 0
1058
00 00 0 0
1059
0 0 00 00
1060
000 00 0
1061
00 000 0 0
1062
00 000 00 00
1063
0 0 0 0 000
1064
00 0
1065
0
1066
1067
000
1068
00 0 0 000
1069
0 0 0 00
1070
0 00 00
1071
00 0 0 0
1072
00 0 00 00 0
1073
0 0 0 0 0
1074
00 000 0
1075
0
1076
000 0
1077
00 0 0 0 0
1078
00 00 0 0
1079
00 00 00
1080
00 000 0 0
1081
00 00 00 00
1082
00 0 0 000
1083
00 000
1084
0
1085
000
1086
0 0 0
1087
00 0 00 0 0
1088
000 0
1089
0 00 00 000
1090
00 0 0 0 0
1091
00 0 00 00 00 0
1092
000 0 0 0
1093
00 0 0 0
1094
000
1095
0 0
1096
00 0 0
1097
0 0 0 00 0
1098
0 0 0 0
1099
00 00 00
1100
00 00 0 0 0 0
1101
00 00 00 00
1102
0 0 0 000
1103
0 0 00 00
1104
0 0
1105
0
1106
00 0
1107
00 0
1108
0 00 00
1109
0000 0 0
1110
0000 00 000
1111
00 0 0 0 0 00
1112
00 0000 00 00 0
1113
0000 0 0 0
1114
0 00 00 0
1115
00 00
1116
0
1117
0 0
1118
0
1119
0 0 00 00
1120
0 0 0
1121
0 00 0 0
1122
00 0 0 0 0 0 0
1123
00 0 00 00
1124
0 0 00 0 000
1125
0 0 0 0
1126
0 0
1127
000
1128
0 0
1129
0000
1130
0 00
1131
0 0 00 0 0
1132
00 00 000
1133
00 00 0 0 0
1134
00 00 00 000 0
1135
0 0 000 0 0
1136
0 0 00 0
1137
0 000
1138
000
1139
0
1140
0
1141
00 0
1142
0 0 0 00
1143
0 0 000 0 0
1144
0 0 0 00 0
1145
00 0 0 0 0 0 0
1146
00 0 0 00 0 0
1147
0 0 0 0 000
1148
0 0 0
1149
0 0
1150
0
1151
000
1152
0 0
1153
00 0
1154
0 0 0 00
1155
0 0 0 0 0 0
1156
0 00 00 0 00
1157
00 00 00 0 000
1158
00 0 00 00 0 0 0
1159
0 0 00 00 0
1160
0 00 000 0
1161
00
1162
0000
1163
00
1164
0
1165
0 0
1166
000 0
1167
0 0 0 00
1168
0 0 0 0
1169
00 0 00 00
1170
00 00 0 0 0 0
1171
00 00 0 0 0000 000
1172
0 0 0 0 0 000
1173
0 00 0 0
1174
0 0
1175
0 0
1176
0
1177
00
1178
0000
1179
0 0
1180
0 0 0 0
1181
0000 000 0
1182
0 0 00 00 000
1183
00 0 0 000 0 00 0 0
1184
00 0 0 00 0 00000 0
1185
0000 0 0
1186
0 00 0 000 0
1187
0 0 00
1188
0
1189
000
1190
0
1191
0000
1192
0 0
1193
00 000
1194
0 0 0 00
1195
0 0 0 0 0 0
1196
00 00 0 0 00 0 0 00
1197
00 0 0 00 0000
1198
0 0 00 0 000
1199
00 00 0
1200
00 0 0
1201
00 00
1202
000
1203
000
1204
0 0
1205
0 0
1206
0 0 00
1207
00 00 0
1208
00 00 0 0 0
1209
00 00 000 00 0 000 0 0
1210
00 00 00 00 00 00 0
1211
00 00 00 0 0
1212
0 0 0 000 0
1213
0 0 0
1214
000 00
1215
1216
0 0
1217
0
1218
000 00
1219
0000 0
1220
00 0 0000
1221
0 0 000 0
1222
00 0 0
1223
00 0 0 0 0 000000000 00 00
1224
00 00 0 00 0
1225
0 0 0 00 000
1226
00 0 00 0 0
1227
0 0 0 0
1228
00 00
1229
00 0
1230
0
1231
0
1232
0 00
1233
0 0
1234
00 0
1235
0 0 000 0
1236
00 000 0
1237
0000 0 000 000000 00 00
1238
000 00 000 00000 0 000 0 0
1239
0 0 0 0 0000 0
1240
00 00000 00 0 0
1241
0 000000
1242
00 0 00
1243
000 00
1244
0
1245
0 0
1246
0 0
1247
00 0 00
1248
0 0 0 00
1249
00000 0 0 0 00
1250
0 0 0 0 00000 0000
1251
0 00 0 0 0 0 0 0
1252
0 0 0 000 00 0 00
1253
00 0 0
1254
0 0
1255
0
1256
00 0 00
1257
00
1258
0
1259
0 0
1260
00 0 0
1261
000 00 000 0
1262
00000 00000 0 00
1263
0 0 0 00 00 0 000000
1264
00 0 00 0 0 0 0 000 00
1265
00 00 00 0
1266
00 0 00 0
1267
0
1268
000 0
1269
0000 0
1270
0000
1271
0
1272
0 0
1273
0 00 0 00
1274
0 0 000 0 000
1275
0 00 0 00 0 0
1276
0 0 0 000 0 0
1277
00 000000 000 0 00
1278
000 0 00 0
1279
00 00 0 0
1280
1281
0
1282
0 00
1283
0
1284
00
1285
0
1286
00
1287
0 0
1288
0 0 0 0 0
1289
00 0 0 0
1290
00 0 0000 0 0
1291
00 000 00 0 00
1292
0 0000 0
1293
0 0 00 0
1294
0
1295
1296
00
1297
00
1298
0
1299
0
1300
0
1301
0 0
1302
0 000 0
1303
0 0 0 0
1304
00 000 00
1305
00 0 00 00
1306
0 00 0
1307
0 0000 0
1308
1309
1310
00
1311
0 0
1312
0
1313
1314
00
1315
0
1316
0 0 0
1317
00 0
1318
00 0 0 00
1319
00 00
1320
0 00000 00
1321
0 0000
1322
00
1323
1324
00
1325
0 0
1326
0
1327
1328
1329
0 0
1330
00
1331
00 0
1332
00 0 00
1333
00 000 0 00
1334
0 0
1335
0
1336
0
1337
1338
00
1339
0 0
1340
0
1341
1342
1343
0
1344
0
1345
000
1346
00 0 00 00
1347
00 000 00
1348
0 00
1349
1350
1351
1352
00
1353
0 0
1354
0
1355
1356
1357
1358
0 0
1359
00
1360
00 0 000 00
1361
00 00
1362
0
1363
1364
1365
1366
00
1367
0 0
1368
0
1369
1370
1371
1372
0
1373
0 0 0
1374
00 00 0 00
1375
00 0 00
1376
1377
1378
1379
1380
00
1381
0 0
1382
0
1383
1384
1385
1386
0
1387
00
1388
00 00 00 00
1389
00 00
1390
1391
1392
1393
1394
00
1395
0 0
1396
0
1397
1398
1399
1400
0
1401
0
1402
00 000 00
1403
00 00
1404
1405
1406
1407
1408
00
1409
0 0
1410
0
1411
1412
1413
1414
1415
0 0
1416
00 00 00
1417
00 0 00
1418
1419
1420
1421
1422
00
1423
0 0
1424
0
1425
1426
1427
1428
1429
0
1430
00 0 0 00
1431
00 00 00
1432
1433
1434
1435
1436
00
1437
0 0
1438
0
1439
1440
1441
1442
1443
0
1444
00 00 00
1445
00 00 00
1446
1447
1448
1449
1450
00
1451
0 0
1452
0
1453
1454
1455
1456
1457
0
1458
00 0 00
1459
00 000 00
1460
1461
1462
1463
1464
00
1465
0 0
1466
0
1467
1468
1469
1470
1471
1472
00 0 0 00
1473
00 00 00
1474
0
1475
1476
1477
1478
00
1479
0 0
1480
0
1481
1482
1483
1484
1485
1486
00 0 00
1487
00 0 0 00
1488
00
1489
1490
1491
1492
00
1493
0 0
1494
0
1495
1496
1497
1498
1499
1500
00 0 00
1501
00 00 00
1502
00
1503
1504
1505
1506
00
1507
0 0
1508
0
1509
1510
1511
1512
1513
1514
00 0 00
1515
00 0 00
1516
000
1517
1518
1519
1520
00
1521
0 0
1522
0
1523
1524
1525
1526
1527
1528
00 00
1529
00 0 0 00
1530
00
1531
0
1532
1533
1534
00
1535
0 0
1536
0
1537
1538
1539
1540
1541
1542
00 00
1543
00 0 00
1544
0 0
1545
00
1546
1547
1548
00
1549
0 0
1550
0
1551
1552
1553
1554
1555
1556
00 00
1557
00 0 00
1558
00
1559
00
1560
1561
1562
00
1563
0 0
1564
0
1565
1566
1567
1568
1569
1570
00 00
1571
00 0 00
1572
0
1573
000
1574
1575
1576
00
1577
0 0
1578
0
1579
1580
1581
1582
1583
1584
00 00
1585
00 00
1586
0 0
1587
00
1588
0
1589
1590
00
1591
0 0
1592
0
1593
1594
1595
1596
1597
1598
00 00
1599
00 00
1600
0
1601
0 0
1602
00
1603
1604
00
1605
0 0
1606
0
1607
1608
1609
1610
1611
1612
00 00
1613
00 00
1614
0
1615
00
1616
00
1617
1618
00
1619
0 0
1620
0
1621
1622
1623
1624
1625
1626
00 00
1627
00 00
1628
0
1629
0
1630
000
1631
1632
00
1633
0 0
1634
0
1635
1636
1637
1638
1639
1640
00 00
1641
00 00
1642
1643
0 0
1644
00
1645
0
1646
00
1647
0 0
1648
0
1649
1650
1651
1652
1653
1654
00 00
1655
00 00
1656
1657
0
1658
0 0
1659
00
1660
00
1661
0 0
1662
0
1663
1664
1665
1666
1667
1668
00 00
1669
00 00
1670
1671
0
1672
00
1673
00
1674
00
1675
0 0
1676
0
1677
1678
1679
1680
1681
1682
00 00
1683
00 00
1684
1685
0
1686
0
1687
000
1688
00
1689
0 0
1690
0
1691
1692
1693
1694
1695
1696
00 00
1697
00 00
1698
1699
1700
0 0
1701
00
1702
0 00
1703
0 0
1704
0
1705
1706
1707
1708
1709
1710
00 00
1711
00 00
1712
1713
1714
0
1715
0 0
1716
00 00
1717
0 0
1718
0
1719
1720
1721
1722
1723
1724
00 00
1725
00 00
1726
1727
1728
0
1729
00
1730
00 00
1731
0 0
1732
0
1733
1734
1735
1736
1737
1738
00 00
1739
00 00
1740
1741
1742
0
1743
0
1744
000 00
1745
0 0
1746
0
1747
1748
1749
1750
1751
1752
00 00
1753
00 00
1754
1755
1756
1757
0 0
1758
00 00
1759
0 0 0
1760
0
1761
1762
1763
1764
1765
1766
00 00
1767
00 00
1768
1769
1770
1771
0
1772
0 0 00
1773
00 0 0
1774
0
1775
1776
1777
1778
1779
1780
00 00
1781
00 00
1782
1783
1784
1785
0
1786
00 00
1787
00 0 0
1788
0
1789
1790
1791
1792
1793
1794
00 00
1795
00 00
1796
1797
1798
1799
0
1800
0 00
1801
000 0 0
1802
0
1803
1804
1805
1806
1807
1808
00 00
1809
00 00
1810
1811
1812
1813
1814
0 0 00
1815
00 0 0
1816
0 0
1817
1818
1819
1820
1821
1822
00 00
1823
00 00
1824
1825
1826
1827
1828
0 00
1829
0 0 0 0
1830
00 0
1831
1832
1833
1834
1835
1836
00 00
1837
00 00
1838
1839
1840
1841
1842
0 00
1843
00 0 0
1844
00 0
1845
1846
1847
1848
1849
1850
00 00
1851
00 00
1852
1853
1854
1855
1856
0 00
1857
0 0 0
1858
000 0
1859
1860
1861
1862
1863
1864
00 00
1865
00 00
1866
1867
1868
1869
1870
00
1871
0 0 0 0
1872
00 0
1873
0
1874
1875
1876
1877
1878
1879
00 00
1880
00 00
1881
1882
1883
1884
1885
00
1886
0 0 0
1887
0 0 0
1888
00
1889
1890
1891
1892
1893
1894
00 00
1895
00 00
1896
1897
1898
1899
1900
00
1901
0 0 0
1902
00 0
1903
00
1904
1905
1906
1907
1908
1909
00 00
1910
00 00
1911
1912
1913
1914
1915
00
1916
0 0 0
1917
0 0
1918
000
1919
1920
1921
1922
1923
1924
00 00
1925
00 00
1926
1927
1928
1929
1930
00
1931
0 0
1932
0 0 0
1933
00
1934
0
1935
1936
1937
1938
1939
1940
00 00
1941
00 00
1942
1943
1944
1945
1946
00
1947
0 0
1948
0 0
1949
0 0
1950
00
1951
1952
1953
1954
1955
1956
00 00
1957
00 00
1958
1959
1960
1961
1962
00
1963
0 0
1964
0 0
1965
00
1966
00
1967
1968
1969
1970
1971
1972
00 00
1973
00 00
1974
1975
1976
1977
1978
00
1979
0 0
1980
0 0
1981
0
1982
000
1983
1984
1985
1986
1987
1988
00 00
1989
00 00
1990
1991
1992
1993
1994
00
1995
0 0
1996
0
1997
0 0
1998
00
1999
0
2000
2001
2002
2003
2004
2005
00 00
2006
00 00
2007
2008
2009
2010
2011
00
2012
0 0
2013
0
2014
0
2015
0 0
2016
00
2017
2018
2019
2020
2021
2022
00 00
2023
00 00
2024
2025
2026
2027
2028
00
2029
0 0
2030
0
2031
0
2032
00
2033
00
2034
2035
2036
2037
2038
2039
00 00
2040
00 00
2041
2042
2043
2044
2045
00
2046
0 0
2047
0
2048
0
2049
0
2050
000
2051
2052
2053
2054
2055
2056
00 00
2057
00 00
2058
2059
2060
2061
2062
00
2063
0 0
2064
0
2065
2066
0 0
2067
00
2068
0
2069
2070
2071
2072
2073
2074
00 00
2075
00 00
2076
2077
2078
2079
2080
00
2081
0 0
2082
0
2083
2084
0
2085
0 0
2086
00
2087
2088
2089
2090
2091
2092
00 00
2093
00 00
2094
2095
2096
2097
2098
00
2099
0 0
2100
0
2101
2102
0
2103
00
2104
00
2105
2106
2107
2108
2109
2110
00 00
2111
00 00
2112
2113
2114
2115
2116
00
2117
0 0
2118
0
2119
2120
0
2121
0
2122
000
2123
2124
2125
2126
2127
2128
00 00
2129
00 00
2130
2131
2132
2133
2134
00
2135
0 0
2136
0
2137
2138
2139
0 0
2140
00
2141
0
2142
2143
2144
2145
2146
2147
00 00
2148
00 00
2149
2150
2151
2152
2153
00
2154
0 0
2155
0
2156
2157
2158
0
2159
0 0
2160
00
2161
2162
2163
2164
2165
2166
00 00
2167
00 00
2168
2169
2170
2171
2172
00
2173
0 0
2174
0
2175
2176
2177
0
2178
00
2179
00
2180
2181
2182
2183
2184
2185
00 00
2186
00 00
2187
2188
2189
2190
2191
00
2192
0 0
2193
0
2194
2195
2196
0
2197
0
2198
000
2199
2200
2201
2202
2203
2204
00 00
2205
00 00
2206
2207
2208
2209
2210
00
2211
0 0
2212
0
2213
2214
2215
2216
0 0
2217
00
2218
0
2219
2220
2221
2222
2223
2224
00 00
2225
00 00
2226
2227
2228
2229
2230
00
2231
0 0
2232
0
2233
2234
2235
2236
0
2237
0 0
2238
00
2239
2240
2241
2242
2243
2244
00 00
2245
00 00
2246
2247
2248
2249
2250
00
2251
0 0
2252
0
2253
2254
2255
2256
0
2257
00
2258
00
2259
2260
2261
2262
2263
2264
00 00
2265
00 00
2266
2267
2268
2269
2270
00
2271
0 0
2272
0
2273
2274
2275
2276
0
2277
0
2278
000
2279
2280
2281
2282
2283
2284
00 00
2285
00 00
2286
2287
2288
2289
2290
00
2291
0 0
2292
0
2293
2294
2295
2296
2297
0 0
2298
00
2299
0
2300
2301
2302
2303
2304
2305
00 00
2306
00 00
2307
2308
2309
2310
2311
00
2312
0 0
2313
0
2314
2315
2316
2317
2318
0
2319
0 0
2320
00
2321
2322
2323
2324
2325
2326
00 00
2327
00 00
2328
2329
2330
2331
2332
00
2333
0 0
2334
0
2335
2336
2337
2338
2339
0
2340
00
2341
00
2342
2343
2344
2345
2346
2347
00 00
2348
00 00
2349
2350
2351
2352
2353
00
2354
0 0
2355
0
2356
2357
2358
2359
2360
0
2361
0
2362
000
2363
2364
2365
2366
2367
2368
00 00
2369
00 00
2370
2371
2372
2373
2374
00
2375
0 0
2376
0
2377
2378
2379
2380
2381
2382
0 0
2383
00
2384
0
2385
2386
2387
2388
2389
2390
00 00
2391
00 00
2392
2393
2394
2395
2396
00
2397
0 0
2398
0
2399
2400
2401
2402
2403
2404
0
2405
0 0
2406
00
2407
2408
2409
2410
2411
2412
00 00
2413
00 00
2414
2415
2416
2417
2418
00
2419
0 0
2420
0
2421
2422
2423
2424
2425
2426
0
2427
0
2428
00
2429
2430
2431
2432
2433
2434
00 00
2435
00 00
2436
2437
2438
2439
2440
00
2441
0 0
2442
0
2443
2444
2445
2446
2447
2448
0
2449
2450
00
2451
2452
2453
2454
2455
2456
00 00
2457
00 00
2458
2459
2460
2461
2462
00
2463
0 0
2464
0
2465
2466
2467
2468
2469
2470
2471
0
2472
0
2473
0
2474
2475
2476
2477
2478
2479
00 00
2480
00 00
2481
2482
2483
2484
2485
00
2486
0 0
2487
0
2488
2489
2490
2491
2492
2493
2494
2495
0
2496
0
2497
2498
2499
2500
2501
2502
00 00
2503
00 00
2504
2505
2506
2507
2508
00
2509
0 0
2510
0
2511
2512
2513
2514
2515
2516
2517
0
2518
2519
0
2520
2521
2522
2523
2524
2525
00 00
2526
00 00
2527
2528
2529
2530
2531
00
2532
0 0
2533
0
2534
2535
2536
2537
2538
2539
2540
2541
2542
0
2543
2544
2545
2546
2547
2548
00 00
2549
00 00
2550
2551
2552
2553
2554
00
2555
0 0
2556
0
2557
2558
2559
2560
2561
2562
2563
2564
0
2565
2566
2567
2568
2569
2570
00 00
2571
00 00
2572
2573
2574
2575
2576
00
2577
0 0
2578
0
2579
2580
2581
2582
2583
2584
2585
2586
2587
0
2588
2589
2590
2591
2592
2593
00 00
2594
00 00
2595
2596
2597
2598
2599
00
2600
0 0
2601
0
2602
2603
2604
2605
2606
2607
00 00
2608
00 00
2609
2610
2611
2612
2613
00
2614
0 0
2615
0
2616
2617
2618
2619
2620
2621
00 00
2622
00 00
2623
2624
2625
2626
2627
00
2628
0 0
2629
0
2630
2631
2632
2633
2634
2635
00 00
2636
00 00
2637
2638
2639
2640
2641
00
2642
0 0
2643
0
2644
2645
2646
2647
2648
2649
00 00
2650
00 00
2651
2652
2653
2654
2655
00
2656
0 0
2657
0
2658
2659
2660
2661
2662
2663
00 00
2664
00 00
2665
2666
2667
2668
2669
00
2670
0 0
2671
0
2672
2673
2674
2675
2676
2677
00 00
2678
00 00
2679
2680
2681
2682
2683
00
2684
0 0
2685
0
2686
2687
2688
2689
2690
2691
00 00
2692
00 00
2693
2694
2695
2696
2697
00
2698
0 0
2699
0