Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / without_properties / microwave_input_values @ 02d89bbb

History | View | Annotate | Download (8.78 KB)

1
0
2
0
3
1
4
1
5
0
6
1
7
0
8
1
9
1
10
0
11
0
12
0
13
0
14
1
15
1
16
1
17
1
18
0
19
0
20
0
21
0
22
0
23
0
24
0
25
1
26
1
27
1
28
1
29
0
30
1
31
956
32
1
33
0
34
1
35
0
36
1
37
1
38
0
39
0
40
0
41
1
42
0
43
1
44
1
45
0
46
1
47
0
48
0
49
0
50
0
51
0
52
0
53
0
54
1
55
1
56
0
57
1
58
1
59
0
60
0
61
0
62
0
63
1
64
1
65
1
66
0
67
1
68
1
69
0
70
1
71
0
72
1
73
0
74
0
75
41
76
0
77
1
78
0
79
0
80
1
81
1
82
1
83
1
84
0
85
0
86
1
87
1
88
1
89
0
90
1
91
1
92
0
93
1
94
1
95
1
96
0
97
0
98
1
99
0
100
0
101
0
102
1
103
0
104
0
105
1
106
0
107
0
108
1
109
0
110
0
111
0
112
1
113
0
114
0
115
1
116
1
117
1
118
0
119
72
120
1
121
1
122
0
123
0
124
1
125
1
126
1
127
1
128
1
129
0
130
0
131
1
132
1
133
0
134
1
135
0
136
1
137
0
138
0
139
0
140
0
141
1
142
1
143
0
144
0
145
0
146
1
147
0
148
1
149
1
150
1
151
0
152
1
153
0
154
1
155
1
156
1
157
1
158
1
159
1
160
1
161
1
162
0
163
83
164
0
165
0
166
0
167
1
168
0
169
1
170
1
171
0
172
1
173
0
174
1
175
0
176
0
177
0
178
0
179
1
180
1
181
0
182
0
183
0
184
0
185
0
186
0
187
0
188
0
189
0
190
1
191
1
192
1
193
1
194
1
195
0
196
1
197
0
198
0
199
1
200
1
201
0
202
0
203
0
204
1
205
1
206
0
207
364
208
0
209
1
210
0
211
0
212
1
213
1
214
0
215
1
216
1
217
0
218
0
219
1
220
0
221
1
222
0
223
0
224
1
225
1
226
0
227
1
228
1
229
1
230
0
231
0
232
1
233
0
234
0
235
1
236
1
237
1
238
1
239
0
240
1
241
0
242
0
243
0
244
1
245
1
246
1
247
0
248
0
249
0
250
0
251
594
252
1
253
1
254
1
255
1
256
0
257
0
258
0
259
0
260
1
261
1
262
0
263
1
264
0
265
1
266
0
267
0
268
0
269
0
270
1
271
1
272
0
273
1
274
0
275
1
276
0
277
0
278
0
279
1
280
1
281
0
282
1
283
0
284
1
285
0
286
1
287
0
288
1
289
0
290
0
291
1
292
1
293
0
294
1
295
201
296
0
297
0
298
1
299
1
300
1
301
0
302
0
303
0
304
0
305
1
306
1
307
0
308
1
309
0
310
1
311
1
312
1
313
0
314
0
315
1
316
1
317
0
318
1
319
0
320
0
321
1
322
0
323
1
324
1
325
0
326
0
327
1
328
1
329
0
330
1
331
0
332
0
333
0
334
0
335
1
336
0
337
0
338
0
339
958
340
0
341
0
342
1
343
1
344
0
345
1
346
0
347
0
348
1
349
0
350
1
351
0
352
1
353
1
354
1
355
0
356
0
357
1
358
1
359
1
360
1
361
1
362
1
363
1
364
0
365
1
366
0
367
1
368
1
369
1
370
0
371
1
372
0
373
0
374
1
375
0
376
0
377
0
378
0
379
1
380
1
381
1
382
1
383
344
384
1
385
1
386
0
387
1
388
0
389
1
390
1
391
1
392
0
393
1
394
1
395
1
396
1
397
0
398
0
399
0
400
1
401
0
402
0
403
1
404
0
405
1
406
0
407
0
408
0
409
0
410
1
411
0
412
0
413
1
414
1
415
0
416
0
417
1
418
1
419
0
420
1
421
0
422
1
423
1
424
0
425
0
426
0
427
947
428
0
429
0
430
1
431
0
432
1
433
1
434
1
435
0
436
1
437
0
438
1
439
0
440
1
441
0
442
1
443
0
444
1
445
0
446
1
447
1
448
1
449
1
450
1
451
0
452
1
453
0
454
0
455
1
456
0
457
0
458
0
459
0
460
1
461
1
462
1
463
0
464
0
465
0
466
1
467
1
468
0
469
0
470
0
471
150
472
1
473
1
474
1
475
0
476
1
477
1
478
1
479
1
480
1
481
0
482
0
483
1
484
1
485
1
486
0
487
0
488
0
489
1
490
0
491
0
492
0
493
0
494
0
495
0
496
0
497
1
498
1
499
1
500
1
501
0
502
0
503
1
504
1
505
0
506
1
507
0
508
1
509
0
510
1
511
1
512
1
513
0
514
0
515
444
516
0
517
0
518
0
519
1
520
1
521
0
522
1
523
1
524
0
525
1
526
1
527
1
528
0
529
0
530
1
531
1
532
1
533
1
534
0
535
0
536
0
537
1
538
1
539
0
540
1
541
1
542
1
543
0
544
0
545
0
546
0
547
0
548
0
549
0
550
0
551
0
552
0
553
1
554
0
555
0
556
0
557
1
558
0
559
511
560
0
561
1
562
0
563
1
564
0
565
0
566
0
567
1
568
0
569
1
570
1
571
0
572
0
573
0
574
0
575
0
576
1
577
0
578
1
579
1
580
0
581
1
582
1
583
0
584
0
585
0
586
1
587
0
588
1
589
1
590
1
591
1
592
1
593
1
594
1
595
1
596
0
597
0
598
0
599
1
600
0
601
0
602
1
603
896
604
0
605
1
606
0
607
0
608
0
609
0
610
1
611
1
612
1
613
1
614
1
615
0
616
0
617
0
618
1
619
0
620
1
621
0
622
0
623
1
624
0
625
1
626
1
627
1
628
0
629
1
630
0
631
1
632
1
633
0
634
0
635
0
636
0
637
0
638
0
639
1
640
1
641
0
642
0
643
0
644
0
645
0
646
0
647
3
648
1
649
1
650
1
651
0
652
0
653
1
654
0
655
0
656
0
657
1
658
0
659
0
660
0
661
1
662
0
663
0
664
1
665
1
666
0
667
1
668
1
669
0
670
1
671
1
672
1
673
0
674
1
675
1
676
1
677
1
678
1
679
1
680
1
681
0
682
0
683
0
684
0
685
1
686
1
687
1
688
0
689
1
690
0
691
416
692
1
693
1
694
0
695
0
696
1
697
0
698
1
699
0
700
1
701
1
702
0
703
0
704
1
705
1
706
0
707
0
708
0
709
0
710
1
711
0
712
0
713
1
714
1
715
1
716
0
717
0
718
0
719
0
720
0
721
1
722
1
723
1
724
1
725
1
726
0
727
0
728
0
729
0
730
0
731
0
732
0
733
1
734
0
735
773
736
1
737
1
738
0
739
1
740
0
741
1
742
1
743
1
744
1
745
0
746
1
747
1
748
0
749
0
750
1
751
0
752
1
753
1
754
1
755
1
756
0
757
0
758
0
759
0
760
0
761
1
762
1
763
1
764
0
765
1
766
1
767
1
768
0
769
0
770
1
771
1
772
1
773
0
774
0
775
1
776
1
777
1
778
0
779
431
780
0
781
0
782
1
783
1
784
1
785
1
786
1
787
0
788
1
789
1
790
0
791
1
792
0
793
0
794
1
795
0
796
0
797
1
798
1
799
0
800
0
801
1
802
1
803
0
804
0
805
1
806
0
807
1
808
1
809
0
810
0
811
1
812
1
813
0
814
0
815
0
816
0
817
1
818
1
819
1
820
0
821
1
822
1
823
111
824
0
825
0
826
0
827
1
828
1
829
0
830
0
831
1
832
1
833
0
834
0
835
0
836
0
837
1
838
0
839
0
840
0
841
0
842
0
843
0
844
0
845
0
846
0
847
0
848
1
849
0
850
1
851
0
852
1
853
1
854
1
855
0
856
1
857
1
858
1
859
1
860
0
861
0
862
1
863
1
864
0
865
0
866
0
867
577
868
0
869
0
870
0
871
0
872
0
873
0
874
0
875
1
876
0
877
1
878
0
879
0
880
0
881
0
882
1
883
1
884
1
885
1
886
0
887
1
888
1
889
0
890
1
891
1
892
0
893
1
894
1
895
0
896
0
897
1
898
1
899
1
900
0
901
1
902
0
903
1
904
1
905
0
906
1
907
0
908
1
909
1
910
1
911
176
912
1
913
1
914
0
915
0
916
0
917
1
918
0
919
0
920
0
921
1
922
0
923
0
924
0
925
1
926
1
927
0
928
0
929
0
930
1
931
0
932
0
933
1
934
0
935
1
936
0
937
1
938
1
939
1
940
1
941
1
942
0
943
1
944
0
945
1
946
1
947
0
948
0
949
0
950
1
951
0
952
0
953
0
954
1
955
670
956
0
957
1
958
1
959
1
960
1
961
1
962
1
963
0
964
0
965
0
966
1
967
1
968
1
969
1
970
1
971
0
972
1
973
0
974
0
975
1
976
0
977
0
978
1
979
1
980
0
981
0
982
0
983
0
984
1
985
0
986
0
987
0
988
1
989
1
990
0
991
1
992
0
993
0
994
0
995
0
996
1
997
1
998
1
999
823
1000
0
1001
0
1002
0
1003
1
1004
0
1005
1
1006
0
1007
1
1008
0
1009
0
1010
0
1011
0
1012
0
1013
1
1014
0
1015
1
1016
0
1017
1
1018
0
1019
0
1020
0
1021
1
1022
1
1023
0
1024
0
1025
1
1026
1
1027
1
1028
1
1029
0
1030
1
1031
1
1032
0
1033
0
1034
1
1035
0
1036
0
1037
0
1038
1
1039
0
1040
1
1041
0
1042
1
1043
565
1044
1
1045
1
1046
0
1047
1
1048
0
1049
0
1050
1
1051
0
1052
0
1053
1
1054
1
1055
1
1056
0
1057
0
1058
1
1059
0
1060
0
1061
1
1062
0
1063
0
1064
1
1065
1
1066
0
1067
1
1068
1
1069
1
1070
0
1071
1
1072
1
1073
0
1074
0
1075
1
1076
0
1077
1
1078
1
1079
0
1080
0
1081
1
1082
1
1083
1
1084
0
1085
1
1086
1
1087
46
1088
0
1089
1
1090
0
1091
1
1092
1
1093
1
1094
0
1095
0
1096
1
1097
0
1098
1
1099
1
1100
1
1101
1
1102
0
1103
1
1104
1
1105
1
1106
0
1107
1
1108
1
1109
0
1110
0
1111
1
1112
1
1113
0
1114
0
1115
0
1116
1
1117
1
1118
1
1119
0
1120
0
1121
0
1122
1
1123
0
1124
1
1125
0
1126
1
1127
0
1128
1
1129
0
1130
0
1131
714
1132
0
1133
0
1134
1
1135
1
1136
1
1137
0
1138
0
1139
0
1140
1
1141
1
1142
1
1143
0
1144
0
1145
1
1146
1
1147
0
1148
1
1149
0
1150
0
1151
1
1152
1
1153
0
1154
1
1155
1
1156
0
1157
0
1158
1
1159
0
1160
1
1161
1
1162
1
1163
0
1164
1
1165
0
1166
1
1167
0
1168
0
1169
1
1170
0
1171
0
1172
0
1173
1
1174
0
1175
753
1176
1
1177
0
1178
1
1179
1
1180
0
1181
1
1182
1
1183
0
1184
1
1185
1
1186
1
1187
0
1188
0
1189
1
1190
0
1191
1
1192
1
1193
0
1194
1
1195
1
1196
0
1197
0
1198
0
1199
1
1200
0
1201
1
1202
1
1203
0
1204
0
1205
1
1206
1
1207
1
1208
0
1209
1
1210
1
1211
0
1212
0
1213
0
1214
1
1215
0
1216
0
1217
0
1218
0
1219
993
1220
0
1221
1
1222
1
1223
1
1224
0
1225
1
1226
0
1227
0
1228
0
1229
0
1230
0
1231
0
1232
0
1233
1
1234
0
1235
0
1236
1
1237
0
1238
0
1239
0
1240
0
1241
0
1242
0
1243
0
1244
1
1245
1
1246
1
1247
0
1248
0
1249
1
1250
0
1251
1
1252
1
1253
0
1254
0
1255
1
1256
0
1257
0
1258
0
1259
1
1260
1
1261
0
1262
1
1263
541
1264
1
1265
0
1266
1
1267
0
1268
1
1269
1
1270
0
1271
1
1272
1
1273
1
1274
1
1275
1
1276
0
1277
1
1278
1
1279
0
1280
0
1281
1
1282
1
1283
1
1284
1
1285
0
1286
0
1287
1
1288
0
1289
0
1290
0
1291
0
1292
1
1293
1
1294
0
1295
0
1296
1
1297
0
1298
0
1299
1
1300
0
1301
0
1302
1
1303
0
1304
1
1305
0
1306
0
1307
56
1308
0
1309
1
1310
1
1311
1
1312
0
1313
0
1314
1
1315
0
1316
1
1317
0
1318
1
1319
1
1320
0
1321
1
1322
1
1323
0
1324
0
1325
0
1326
0
1327
0
1328
0
1329
0
1330
1
1331
0
1332
1
1333
0
1334
1
1335
0
1336
1
1337
1
1338
1
1339
1
1340
1
1341
1
1342
1
1343
0
1344
1
1345
0
1346
0
1347
0
1348
1
1349
1
1350
1
1351
665
1352
1
1353
1
1354
1
1355
0
1356
1
1357
1
1358
1
1359
0
1360
1
1361
0
1362
0
1363
1
1364
1
1365
1
1366
1
1367
1
1368
0
1369
0
1370
0
1371
1
1372
0
1373
0
1374
1
1375
1
1376
0
1377
1
1378
1
1379
0
1380
0
1381
1
1382
1
1383
1
1384
1
1385
1
1386
0
1387
1
1388
1
1389
0
1390
0
1391
1
1392
1
1393
0
1394
0
1395
81
1396
1
1397
0
1398
0
1399
0
1400
1
1401
1
1402
0
1403
1
1404
0
1405
1
1406
0
1407
0
1408
0
1409
0
1410
0
1411
0
1412
1
1413
1
1414
1
1415
0
1416
0
1417
1
1418
0
1419
1
1420
1
1421
0
1422
0
1423
0
1424
1
1425
0
1426
1
1427
1
1428
0
1429
1
1430
0
1431
0
1432
0
1433
1
1434
0
1435
1
1436
0
1437
0
1438
0
1439
305
1440
1
1441
0
1442
0
1443
1
1444
1
1445
0
1446
0
1447
1
1448
1
1449
0
1450
1
1451
1
1452
0
1453
1
1454
0
1455
1
1456
0
1457
1
1458
0
1459
1
1460
0
1461
0
1462
1
1463
1
1464
1
1465
0
1466
1
1467
1
1468
1
1469
0
1470
0
1471
0
1472
1
1473
0
1474
0
1475
0
1476
0
1477
1
1478
0
1479
1
1480
1
1481
1
1482
1
1483
167
1484
0
1485
0
1486
1
1487
0
1488
1
1489
1
1490
1
1491
0
1492
1
1493
0
1494
0
1495
0
1496
1
1497
0
1498
0
1499
1
1500
0
1501
0
1502
1
1503
1
1504
1
1505
1
1506
1
1507
0
1508
0
1509
0
1510
1
1511
1
1512
0
1513
1
1514
1
1515
1
1516
1
1517
0
1518
0
1519
0
1520
0
1521
1
1522
0
1523
0
1524
1
1525
1
1526
1
1527
310
1528
0
1529
1
1530
0
1531
0
1532
1
1533
0
1534
0
1535
1
1536
0
1537
0
1538
0
1539
1
1540
0
1541
1
1542
1
1543
0
1544
1
1545
0
1546
0
1547
0
1548
0
1549
0
1550
0
1551
1
1552
0
1553
1
1554
0
1555
1
1556
0
1557
0
1558
1
1559
1
1560
1
1561
1
1562
0
1563
1
1564
1
1565
1
1566
1
1567
0
1568
1
1569
1
1570
0
1571
741
1572
1
1573
1
1574
1
1575
0
1576
1
1577
1
1578
0
1579
0
1580
0
1581
0
1582
0
1583
0
1584
0
1585
1
1586
0
1587
0
1588
0
1589
1
1590
1
1591
1
1592
1
1593
1
1594
1
1595
0
1596
0
1597
1
1598
0
1599
1
1600
0
1601
0
1602
0
1603
0
1604
0
1605
0
1606
1
1607
0
1608
0
1609
1
1610
0
1611
0
1612
1
1613
0
1614
0
1615
288
1616
0
1617
1
1618
1
1619
0
1620
1
1621
0
1622
1
1623
1
1624
1
1625
1
1626
0
1627
1
1628
1
1629
0
1630
1
1631
1
1632
0
1633
0
1634
1
1635
0
1636
1
1637
0
1638
0
1639
0
1640
1
1641
0
1642
0
1643
1
1644
1
1645
1
1646
0
1647
0
1648
0
1649
1
1650
0
1651
0
1652
0
1653
0
1654
0
1655
1
1656
0
1657
0
1658
1
1659
819
1660
1
1661
0
1662
0
1663
0
1664
1
1665
0
1666
1
1667
1
1668
1
1669
0
1670
1
1671
1
1672
0
1673
1
1674
0
1675
1
1676
0
1677
0
1678
1
1679
0
1680
1
1681
0
1682
0
1683
0
1684
1
1685
0
1686
1
1687
0
1688
1
1689
0
1690
0
1691
0
1692
1
1693
0
1694
1
1695
1
1696
1
1697
1
1698
1
1699
1
1700
0
1701
1
1702
1
1703
709
1704
0
1705
1
1706
0
1707
1
1708
0
1709
0
1710
1
1711
0
1712
0
1713
0
1714
0
1715
1
1716
0
1717
1
1718
1
1719
0
1720
1
1721
0
1722
0
1723
0
1724
1
1725
0
1726
0
1727
1
1728
0
1729
1
1730
1
1731
1
1732
0
1733
1
1734
0
1735
1
1736
1
1737
0
1738
1
1739
0
1740
0
1741
0
1742
0
1743
0
1744
0
1745
1
1746
0
1747
585
1748
1
1749
0
1750
1
1751
0
1752
1
1753
0
1754
1
1755
0
1756
0
1757
1
1758
1
1759
1
1760
0
1761
0
1762
1
1763
1
1764
0
1765
0
1766
1
1767
1
1768
0
1769
1
1770
1
1771
1
1772
0
1773
0
1774
0
1775
1
1776
0
1777
1
1778
1
1779
1
1780
1
1781
1
1782
1
1783
1
1784
0
1785
0
1786
1
1787
1
1788
1
1789
1
1790
0
1791
392
1792
1
1793
0
1794
0
1795
0
1796
0
1797
0
1798
0
1799
0
1800
0
1801
1
1802
1
1803
0
1804
1
1805
1
1806
0
1807
0
1808
0
1809
0
1810
0
1811
1
1812
1
1813
0
1814
1
1815
1
1816
1
1817
0
1818
0
1819
0
1820
0
1821
0
1822
1
1823
1
1824
0
1825
1
1826
1
1827
0
1828
1
1829
0
1830
0
1831
1
1832
1
1833
0
1834
0
1835
866
1836
0
1837
1
1838
1
1839
0
1840
1
1841
1
1842
0
1843
0
1844
0
1845
0
1846
0
1847
1
1848
1
1849
0
1850
0
1851
1
1852
1
1853
1
1854
1
1855
0
1856
0
1857
0
1858
1
1859
1
1860
1
1861
0
1862
0
1863
0
1864
0
1865
1
1866
1
1867
1
1868
1
1869
0
1870
1
1871
1
1872
1
1873
1
1874
0
1875
1
1876
0
1877
0
1878
0
1879
691
1880
1
1881
0
1882
1
1883
0
1884
0
1885
1
1886
0
1887
0
1888
1
1889
1
1890
0
1891
0
1892
1
1893
0
1894
0
1895
0
1896
1
1897
0
1898
1
1899
0
1900
1
1901
0
1902
1
1903
0
1904
0
1905
0
1906
1
1907
1
1908
1
1909
1
1910
0
1911
0
1912
0
1913
1
1914
1
1915
1
1916
0
1917
1
1918
0
1919
0
1920
0
1921
0
1922
0
1923
691
1924
1
1925
0
1926
0
1927
0
1928
0
1929
1
1930
1
1931
0
1932
1
1933
0
1934
1
1935
0
1936
1
1937
0
1938
0
1939
0
1940
0
1941
0
1942
0
1943
1
1944
1
1945
0
1946
1
1947
1
1948
0
1949
1
1950
0
1951
0
1952
1
1953
1
1954
1
1955
0
1956
0
1957
0
1958
1
1959
1
1960
0
1961
1
1962
0
1963
1
1964
1
1965
1
1966
0
1967
270
1968
0
1969
1
1970
1
1971
1
1972
0
1973
1
1974
1
1975
1
1976
0
1977
1
1978
1
1979
1
1980
0
1981
1
1982
0
1983
0
1984
1
1985
0
1986
1
1987
1
1988
0
1989
0
1990
1
1991
0
1992
1
1993
0
1994
0
1995
1
1996
0
1997
1
1998
0
1999
1
2000
1
2001
1
2002
1
2003
1
2004
0
2005
0
2006
0
2007
0
2008
0
2009
1
2010
1
2011
658
2012
1
2013
0
2014
0
2015
1
2016
0
2017
0
2018
1
2019
1
2020
1
2021
0
2022
1
2023
0
2024
0
2025
1
2026
1
2027
1
2028
0
2029
0
2030
1
2031
0
2032
1
2033
1
2034
0
2035
0
2036
0
2037
0
2038
0
2039
0
2040
0
2041
0
2042
1
2043
1
2044
0
2045
0
2046
1
2047
0
2048
1
2049
0
2050
1
2051
1
2052
1
2053
0
2054
0
2055
15
2056
1
2057
0
2058
1
2059
0
2060
0
2061
1
2062
0
2063
1
2064
1
2065
1
2066
1
2067
0
2068
0
2069
1
2070
0
2071
1
2072
0
2073
1
2074
1
2075
0
2076
0
2077
0
2078
1
2079
0
2080
1
2081
1
2082
1
2083
0
2084
0
2085
0
2086
0
2087
1
2088
1
2089
0
2090
1
2091
1
2092
0
2093
0
2094
1
2095
0
2096
1
2097
1
2098
0
2099
512
2100
0
2101
1
2102
0
2103
0
2104
0
2105
1
2106
1
2107
0
2108
1
2109
0
2110
1
2111
0
2112
0
2113
1
2114
1
2115
0
2116
1
2117
0
2118
1
2119
0
2120
1
2121
1
2122
1
2123
0
2124
1
2125
0
2126
1
2127
1
2128
1
2129
0
2130
0
2131
0
2132
0
2133
1
2134
1
2135
0
2136
1
2137
1
2138
0
2139
1
2140
0
2141
0
2142
0
2143
112
2144
1
2145
0
2146
0
2147
1
2148
0
2149
0
2150
0
2151
1
2152
0
2153
1
2154
1
2155
0
2156
1
2157
0
2158
1
2159
1
2160
0
2161
1
2162
1
2163
0
2164
0
2165
0
2166
0
2167
0
2168
1
2169
0
2170
1
2171
1
2172
0
2173
1
2174
0
2175
0
2176
1
2177
1
2178
1
2179
0
2180
1
2181
1
2182
0
2183
1
2184
0
2185
1
2186
1
2187
103
2188
1
2189
1
2190
1
2191
0
2192
1
2193
1
2194
1
2195
1
2196
1
2197
0
2198
0
2199
0
2200
0
2201
0
2202
0
2203
0
2204
1
2205
1
2206
0
2207
1
2208
0
2209
1
2210
0
2211
1
2212
0
2213
1
2214
1
2215
1
2216
0
2217
1
2218
1
2219
1
2220
0
2221
1
2222
0
2223
0
2224
0
2225
1
2226
1
2227
0
2228
1
2229
0
2230
0
2231
852
2232
1
2233
1
2234
1
2235
1
2236
1
2237
1
2238
1
2239
0
2240
1
2241
0
2242
0
2243
1
2244
0
2245
1
2246
0
2247
1
2248
1
2249
1
2250
0
2251
1
2252
0
2253
0
2254
1
2255
1
2256
0
2257
1
2258
1
2259
0
2260
0
2261
1
2262
1
2263
0
2264
0
2265
0
2266
0
2267
1
2268
0
2269
1
2270
1
2271
0
2272
0
2273
0
2274
0
2275
70
2276
1
2277
0
2278
0
2279
0
2280
0
2281
1
2282
0
2283
1
2284
1
2285
1
2286
1
2287
1
2288
1
2289
0
2290
0
2291
1
2292
1
2293
0
2294
1
2295
0
2296
1
2297
0
2298
0
2299
0
2300
0
2301
0
2302
0
2303
0
2304
0
2305
1
2306
1
2307
1
2308
0
2309
1
2310
0
2311
1
2312
1
2313
0
2314
0
2315
0
2316
0
2317
0
2318
1
2319
202
2320
0
2321
0
2322
0
2323
0
2324
0
2325
1
2326
1
2327
0
2328
0
2329
0
2330
0
2331
0
2332
0
2333
1
2334
0
2335
0
2336
0
2337
1
2338
1
2339
1
2340
1
2341
1
2342
0
2343
0
2344
1
2345
0
2346
0
2347
1
2348
0
2349
0
2350
1
2351
0
2352
1
2353
0
2354
0
2355
0
2356
0
2357
1
2358
1
2359
0
2360
0
2361
1
2362
0
2363
641
2364
0
2365
1
2366
0
2367
0
2368
1
2369
1
2370
1
2371
1
2372
0
2373
1
2374
0
2375
1
2376
0
2377
1
2378
1
2379
1
2380
0
2381
1
2382
1
2383
0
2384
1
2385
1
2386
1
2387
1
2388
0
2389
0
2390
0
2391
0
2392
1
2393
0
2394
0
2395
1
2396
0
2397
0
2398
0
2399
1
2400
1
2401
0
2402
1
2403
0
2404
0
2405
0
2406
1
2407
290
2408
0
2409
0
2410
1
2411
1
2412
0
2413
1
2414
1
2415
0
2416
0
2417
1
2418
0
2419
1
2420
0
2421
0
2422
1
2423
0
2424
1
2425
0
2426
0
2427
1
2428
0
2429
1
2430
0
2431
1
2432
0
2433
1
2434
0
2435
0
2436
0
2437
0
2438
0
2439
0
2440
1
2441
1
2442
1
2443
1
2444
0
2445
1
2446
0
2447
0
2448
0
2449
0
2450
0
2451
754
2452
1
2453
1
2454
0
2455
1
2456
0
2457
1
2458
1
2459
1
2460
0
2461
1
2462
1
2463
1
2464
1
2465
0
2466
0
2467
1
2468
1
2469
0
2470
0
2471
0
2472
0
2473
0
2474
1
2475
1
2476
1
2477
0
2478
1
2479
1
2480
0
2481
1
2482
0
2483
0
2484
0
2485
0
2486
1
2487
1
2488
1
2489
1
2490
0
2491
1
2492
1
2493
1
2494
1
2495
860
2496
0
2497
1
2498
1
2499
1
2500
0
2501
0
2502
1
2503
1
2504
0
2505
1
2506
0
2507
1
2508
0
2509
0
2510
0
2511
1
2512
1
2513
1
2514
1
2515
0
2516
0
2517
0
2518
1
2519
0
2520
0
2521
0
2522
0
2523
1
2524
0
2525
1
2526
1
2527
0
2528
0
2529
1
2530
1
2531
1
2532
1
2533
1
2534
0
2535
1
2536
0
2537
1
2538
1
2539
867
2540
1
2541
0
2542
1
2543
0
2544
0
2545
1
2546
0
2547
0
2548
1
2549
1
2550
0
2551
1
2552
1
2553
1
2554
1
2555
0
2556
1
2557
0
2558
1
2559
0
2560
0
2561
1
2562
1
2563
0
2564
1
2565
1
2566
0
2567
1
2568
1
2569
1
2570
1
2571
1
2572
0
2573
0
2574
0
2575
0
2576
0
2577
0
2578
1
2579
0
2580
1
2581
0
2582
1
2583
85
2584
1
2585
1
2586
1
2587
1
2588
0
2589
0
2590
1
2591
0
2592
1
2593
0
2594
1
2595
1
2596
1
2597
1
2598
0
2599
1
2600
1
2601
0
2602
0
2603
1
2604
0
2605
0
2606
1
2607
0
2608
1
2609
0
2610
0
2611
0
2612
1
2613
1
2614
0
2615
0
2616
1
2617
0
2618
1
2619
0
2620
1
2621
0
2622
1
2623
0
2624
0
2625
1
2626
0
2627
810
2628
1
2629
1
2630
0
2631
0
2632
1
2633
1
2634
1
2635
1
2636
1
2637
1
2638
1
2639
1
2640
1
2641
0
2642
0
2643
0
2644
0
2645
1
2646
1
2647
1
2648
0
2649
0
2650
0
2651
1
2652
0
2653
1
2654
0
2655
1
2656
1
2657
0
2658
0
2659
1
2660
1
2661
1
2662
1
2663
1
2664
0
2665
0
2666
0
2667
0
2668
0
2669
0
2670
0
2671
66
2672
0
2673
1
2674
1
2675
0
2676
1
2677
1
2678
0
2679
1
2680
0
2681
1
2682
1
2683
1
2684
0
2685
1
2686
0
2687
1
2688
1
2689
1
2690
0
2691
0
2692
1
2693
1
2694
1
2695
0
2696
0
2697
1
2698
1
2699
1
2700
0
2701
1
2702
0
2703
1
2704
1
2705
1
2706
0
2707
1
2708
0
2709
0
2710
1
2711
1
2712
0
2713
0
2714
0
2715
100
2716
0
2717
0
2718
1
2719
0
2720
0
2721
0
2722
0
2723
0
2724
0
2725
1
2726
1
2727
1
2728
0
2729
1
2730
0
2731
1
2732
0
2733
0
2734
0
2735
1
2736
1
2737
0
2738
0
2739
0
2740
0
2741
1
2742
1
2743
0
2744
0
2745
0
2746
1
2747
0
2748
1
2749
0
2750
0
2751
1
2752
1
2753
1
2754
1
2755
0
2756
0
2757
1
2758
1
2759
251
2760
0
2761
0
2762
0
2763
0
2764
1
2765
0
2766
1
2767
1
2768
0
2769
1
2770
0
2771
0
2772
0
2773
1
2774
0
2775
1
2776
1
2777
0
2778
0
2779
1
2780
1
2781
1
2782
1
2783
0
2784
1
2785
1
2786
1
2787
0
2788
0
2789
1
2790
1
2791
0
2792
1
2793
1
2794
1
2795
1
2796
1
2797
1
2798
1
2799
1
2800
0
2801
0
2802
1
2803
371
2804
1
2805
0
2806
0
2807
1
2808
0
2809
1
2810
0
2811
0
2812
1
2813
0
2814
1
2815
0
2816
0
2817
1
2818
0
2819
0
2820
1
2821
0
2822
0
2823
1
2824
0
2825
0
2826
0
2827
0
2828
1
2829
0
2830
1
2831
0
2832
1
2833
1
2834
1
2835
0
2836
1
2837
0
2838
1
2839
0
2840
0
2841
0
2842
0
2843
1
2844
0
2845
0
2846
0
2847
921
2848
0
2849
0
2850
1
2851
1
2852
0
2853
0
2854
1
2855
1
2856
0
2857
0
2858
1
2859
0
2860
0
2861
0
2862
1
2863
0
2864
0
2865
1
2866
0
2867
1
2868
0
2869
1
2870
0
2871
0
2872
0
2873
1
2874
1
2875
1
2876
1
2877
0
2878
1
2879
0
2880
1
2881
1
2882
0
2883
0
2884
1
2885
1
2886
1
2887
1
2888
0
2889
0
2890
1
2891
985
2892
0
2893
0
2894
0
2895
0
2896
0
2897
0
2898
0
2899
0
2900
1
2901
1
2902
1
2903
0
2904
0
2905
0
2906
0
2907
0
2908
1
2909
1
2910
0
2911
0
2912
1
2913
1
2914
0
2915
1
2916
0
2917
0
2918
1
2919
1
2920
1
2921
0
2922
1
2923
0
2924
0
2925
1
2926
0
2927
1
2928
1
2929
0
2930
1
2931
1
2932
0
2933
0
2934
1
2935
577
2936
1
2937
1
2938
0
2939
1
2940
0
2941
1
2942
0
2943
1
2944
0
2945
1
2946
1
2947
1
2948
0
2949
1
2950
0
2951
1
2952
0
2953
0
2954
1
2955
0
2956
1
2957
1
2958
0
2959
0
2960
1
2961
0
2962
1
2963
0
2964
0
2965
1
2966
1
2967
1
2968
0
2969
0
2970
1
2971
0
2972
0
2973
0
2974
1
2975
1
2976
1
2977
0
2978
1
2979
51
2980
0
2981
1
2982
1
2983
0
2984
0
2985
0
2986
0
2987
1
2988
1
2989
0
2990
0
2991
1
2992
0
2993
0
2994
0
2995
1
2996
1
2997
0
2998
0
2999
1
3000
1
3001
1
3002
0
3003
1
3004
0
3005
0
3006
1
3007
1
3008
0
3009
1
3010
0
3011
0
3012
1
3013
0
3014
1
3015
1
3016
0
3017
0
3018
1
3019
1
3020
0
3021
1
3022
1
3023
720
3024
0
3025
1
3026
0
3027
0
3028
1
3029
1
3030
0
3031
1
3032
0
3033
0
3034
0
3035
1
3036
1
3037
0
3038
1
3039
1
3040
1
3041
0
3042
1
3043
1
3044
0
3045
1
3046
0
3047
1
3048
1
3049
1
3050
0
3051
1
3052
1
3053
0
3054
1
3055
1
3056
1
3057
1
3058
1
3059
1
3060
1
3061
1
3062
1
3063
0
3064
1
3065
0
3066
1
3067
576
3068
0
3069
1
3070
1
3071
0
3072
1
3073
1
3074
0
3075
0
3076
0
3077
1
3078
0
3079
1
3080
1
3081
0
3082
1
3083
0
3084
1
3085
1
3086
1
3087
1
3088
0
3089
0
3090
1
3091
1
3092
1
3093
1
3094
1
3095
1
3096
1
3097
1
3098
0
3099
1
3100
0
3101
1
3102
0
3103
1
3104
1
3105
1
3106
1
3107
1
3108
1
3109
0
3110
1
3111
566
3112
0
3113
1
3114
1
3115
0
3116
0
3117
1
3118
1
3119
1
3120
0
3121
0
3122
0
3123
0
3124
1
3125
1
3126
1
3127
1
3128
1
3129
0
3130
0
3131
0
3132
1
3133
1
3134
0
3135
1
3136
0
3137
0
3138
0
3139
1
3140
0
3141
1
3142
1
3143
0
3144
1
3145
0
3146
0
3147
1
3148
1
3149
1
3150
1
3151
1
3152
1
3153
0
3154
0
3155
608
3156
1
3157
0
3158
1
3159
1
3160
0
3161
1
3162
1
3163
0
3164
0
3165
0
3166
0
3167
0
3168
1
3169
0
3170
1
3171
0
3172
0
3173
1
3174
0
3175
0
3176
0
3177
0
3178
1
3179
1
3180
1
3181
0
3182
0
3183
0
3184
0
3185
0
3186
0
3187
0
3188
1
3189
0
3190
1
3191
1
3192
0
3193
1
3194
1
3195
0
3196
1
3197
1
3198
1
3199
124
3200
1
3201
1
3202
0
3203
1
3204
0
3205
1
3206
0
3207
0
3208
0
3209
0
3210
1
3211
0
3212
1
3213
0
3214
1
3215
1
3216
0
3217
1
3218
1
3219
1
3220
0
3221
1
3222
0
3223
1
3224
1
3225
1
3226
0
3227
0
3228
1
3229
1
3230
1
3231
0
3232
0
3233
1
3234
0
3235
0
3236
1
3237
1
3238
1
3239
0
3240
1
3241
0
3242
1
3243
718
3244
0
3245
1
3246
0
3247
0
3248
1
3249
0
3250
0
3251
0
3252
0
3253
0
3254
0
3255
0
3256
0
3257
0
3258
1
3259
0
3260
0
3261
0
3262
1
3263
1
3264
0
3265
0
3266
1
3267
0
3268
1
3269
0
3270
1
3271
1
3272
0
3273
0
3274
1
3275
1
3276
1
3277
0
3278
1
3279
0
3280
0
3281
1
3282
0
3283
1
3284
0
3285
0
3286
1
3287
238
3288
1
3289
0
3290
1
3291
1
3292
0
3293
0
3294
1
3295
0
3296
0
3297
0
3298
0
3299
1
3300
1
3301
1
3302
1
3303
1
3304
1
3305
1
3306
0
3307
0
3308
1
3309
1
3310
1
3311
1
3312
1
3313
1
3314
0
3315
0
3316
1
3317
1
3318
0
3319
1
3320
1
3321
0
3322
0
3323
0
3324
0
3325
0
3326
1
3327
0
3328
0
3329
0
3330
0
3331
742
3332
0
3333
1
3334
0
3335
0
3336
1
3337
0
3338
1
3339
0
3340
1
3341
0
3342
1
3343
0
3344
0
3345
0
3346
0
3347
0
3348
0
3349
1
3350
1
3351
0
3352
0
3353
1
3354
1
3355
1
3356
1
3357
1
3358
0
3359
1
3360
0
3361
1
3362
1
3363
0
3364
0
3365
0
3366
1
3367
1
3368
0
3369
1
3370
0
3371
0
3372
0
3373
0
3374
0
3375
745
3376
1
3377
1
3378
1
3379
0
3380
1
3381
1
3382
0
3383
0
3384
0
3385
1
3386
0
3387
1
3388
0
3389
0
3390
0
3391
0
3392
1
3393
0
3394
0
3395
1
3396
0
3397
1
3398
1
3399
0
3400
1
3401
0
3402
1
3403
1
3404
0
3405
0
3406
1
3407
1
3408
0
3409
0
3410
1
3411
1
3412
1
3413
0
3414
0
3415
0
3416
1
3417
1
3418
0
3419
760
3420
0
3421
1
3422
1
3423
0
3424
1
3425
0
3426
1
3427
0
3428
0
3429
0
3430
1
3431
1
3432
0
3433
1
3434
0
3435
1
3436
1
3437
1
3438
1
3439
1
3440
1
3441
0
3442
1
3443
0
3444
1
3445
1
3446
0
3447
1
3448
1
3449
0
3450
1
3451
0
3452
0
3453
1
3454
0
3455
1
3456
1
3457
1
3458
0
3459
0
3460
0
3461
1
3462
0
3463
390
3464
1
3465
0
3466
1
3467
1
3468
1
3469
1
3470
0
3471
0
3472
0
3473
1
3474
1
3475
0
3476
1
3477
1
3478
0
3479
1
3480
1
3481
0
3482
1
3483
0
3484
1
3485
0
3486
0
3487
1
3488
0
3489
0
3490
0
3491
0
3492
0
3493
1
3494
0
3495
1
3496
1
3497
0
3498
0
3499
0
3500
0
3501
1
3502
1
3503
1
3504
1
3505
0
3506
1
3507
500
3508
1
3509
1
3510
0
3511
1
3512
0
3513
1
3514
0
3515
0
3516
0
3517
1
3518
1
3519
1
3520
1
3521
0
3522
1
3523
1
3524
0
3525
0
3526
1
3527
1
3528
0
3529
1
3530
1
3531
0
3532
0
3533
1
3534
1
3535
1
3536
0
3537
1
3538
1
3539
0
3540
1
3541
1
3542
0
3543
0
3544
0
3545
0
3546
1
3547
0
3548
1
3549
1
3550
1
3551
879
3552
0
3553
0
3554
1
3555
1
3556
0
3557
0
3558
0
3559
0
3560
1
3561
1
3562
1
3563
1
3564
0
3565
1
3566
0
3567
0
3568
0
3569
1
3570
0
3571
0
3572
1
3573
0
3574
1
3575
1
3576
0
3577
1
3578
0
3579
1
3580
0
3581
1
3582
1
3583
1
3584
1
3585
1
3586
0
3587
0
3588
1
3589
1
3590
1
3591
1
3592
1
3593
1
3594
0
3595
884
3596
1
3597
1
3598
0
3599
1
3600
1
3601
0
3602
1
3603
0
3604
1
3605
0
3606
0
3607
1
3608
1
3609
0
3610
1
3611
0
3612
0
3613
0
3614
1
3615
0
3616
1
3617
0
3618
1
3619
0
3620
0
3621
1
3622
1
3623
1
3624
0
3625
1
3626
1
3627
1
3628
0
3629
0
3630
1
3631
0
3632
0
3633
0
3634
1
3635
0
3636
0
3637
0
3638
0
3639
70
3640
1
3641
1
3642
1
3643
0
3644
0
3645
1
3646
0
3647
1
3648
1
3649
1
3650
1
3651
0
3652
1
3653
1
3654
0
3655
1
3656
1
3657
1
3658
1
3659
1
3660
1
3661
0
3662
1
3663
1
3664
1
3665
0
3666
0
3667
0
3668
0
3669
1
3670
1
3671
1
3672
1
3673
1
3674
0
3675
1
3676
0
3677
1
3678
0
3679
1
3680
1
3681
1
3682
1
3683
622
3684
1
3685
0
3686
1
3687
0
3688
1
3689
0
3690
1
3691
0
3692
0
3693
0
3694
1
3695
0
3696
0
3697
0
3698
0
3699
1
3700
0
3701
0
3702
0
3703
1
3704
1
3705
1
3706
1
3707
1
3708
0
3709
1
3710
1
3711
1
3712
1
3713
1
3714
0
3715
1
3716
0
3717
1
3718
0
3719
0
3720
0
3721
1
3722
1
3723
1
3724
1
3725
0
3726
1
3727
737
3728
0
3729
1
3730
1
3731
1
3732
0
3733
0
3734
1
3735
0
3736
1
3737
1
3738
0
3739
1
3740
0
3741
1
3742
1
3743
0
3744
1
3745
0
3746
1
3747
1
3748
1
3749
1
3750
1
3751
1
3752
0
3753
0
3754
0
3755
1
3756
1
3757
0
3758
1
3759
0
3760
1
3761
1
3762
0
3763
1
3764
0
3765
1
3766
1
3767
0
3768
0
3769
0
3770
0
3771
840
3772
1
3773
1
3774
0
3775
0
3776
1
3777
0
3778
0
3779
0
3780
1
3781
1
3782
0
3783
1
3784
0
3785
1
3786
0
3787
1
3788
0
3789
1
3790
1
3791
1
3792
1
3793
0
3794
0
3795
1
3796
0
3797
0
3798
1
3799
1
3800
1
3801
0
3802
0
3803
1
3804
1
3805
1
3806
0
3807
1
3808
1
3809
1
3810
1
3811
0
3812
0
3813
1
3814
1
3815
617
3816
1
3817
1
3818
0
3819
0
3820
0
3821
0
3822
0
3823
0
3824
1
3825
1
3826
0
3827
0
3828
1
3829
1
3830
1
3831
0
3832
0
3833
0
3834
0
3835
1
3836
1
3837
1
3838
1
3839
1
3840
1
3841
1
3842
0
3843
1
3844
1
3845
1
3846
1
3847
1
3848
0
3849
1
3850
0
3851
0
3852
1
3853
0
3854
0
3855
0
3856
1
3857
1
3858
0
3859
435
3860
0
3861
1
3862
0
3863
1
3864
0
3865
1
3866
1
3867
0
3868
0
3869
1
3870
0
3871
0
3872
0
3873
1
3874
0
3875
1
3876
1
3877
0
3878
1
3879
1
3880
0
3881
1
3882
0
3883
0
3884
1
3885
0
3886
0
3887
1
3888
0
3889
0
3890
1
3891
0
3892
1
3893
0
3894
0
3895
0
3896
0
3897
1
3898
1
3899
0
3900
0
3901
0
3902
1
3903
398
3904
1
3905
1
3906
1
3907
0
3908
0
3909
0
3910
1
3911
0
3912
0
3913
0
3914
0
3915
0
3916
1
3917
1
3918
0
3919
0
3920
1
3921
1
3922
1
3923
0
3924
0
3925
1
3926
1
3927
1
3928
1
3929
1
3930
0
3931
1
3932
0
3933
0
3934
0
3935
1
3936
1
3937
1
3938
0
3939
0
3940
0
3941
0
3942
1
3943
1
3944
0
3945
1
3946
0
3947
737
3948
0
3949
0
3950
1
3951
1
3952
1
3953
1
3954
0
3955
1
3956
0
3957
1
3958
0
3959
1
3960
0
3961
0
3962
0
3963
1
3964
1
3965
1
3966
1
3967
1
3968
1
3969
0
3970
0
3971
1
3972
0
3973
1
3974
1
3975
1
3976
0
3977
1
3978
1
3979
1
3980
0
3981
1
3982
1
3983
1
3984
0
3985
1
3986
0
3987
1
3988
0
3989
0
3990
1
3991
829
3992
0
3993
1
3994
0
3995
1
3996
1
3997
1
3998
1
3999
1
4000
0
4001
0
4002
0
4003
0
4004
0
4005
1
4006
1
4007
0
4008
0
4009
0
4010
1
4011
1
4012
1
4013
0
4014
1
4015
1
4016
0
4017
1
4018
0
4019
1
4020
1
4021
0
4022
0
4023
1
4024
1
4025
1
4026
0
4027
1
4028
0
4029
0
4030
0
4031
1
4032
0
4033
1
4034
1
4035
319
4036
0
4037
0
4038
1
4039
1
4040
1
4041
1
4042
1
4043
0
4044
0
4045
0
4046
1
4047
0
4048
1
4049
1
4050
1
4051
0
4052
1
4053
1
4054
0
4055
0
4056
1
4057
1
4058
0
4059
1
4060
0
4061
1
4062
0
4063
1
4064
1
4065
0
4066
0
4067
0
4068
1
4069
0
4070
0
4071
1
4072
1
4073
0
4074
0
4075
0
4076
1
4077
1
4078
1
4079
180
4080
1
4081
0
4082
1
4083
1
4084
1
4085
0
4086
0
4087
0
4088
0
4089
1
4090
1
4091
1
4092
1
4093
1
4094
1
4095
1
4096
1
4097
0
4098
1
4099
0
4100
1
4101
1
4102
1
4103
1
4104
1
4105
0
4106
1
4107
1
4108
1
4109
1
4110
1
4111
1
4112
1
4113
1
4114
0
4115
1
4116
1
4117
0
4118
1
4119
0
4120
0
4121
1
4122
0
4123
141
4124
1
4125
0
4126
1
4127
0
4128
0
4129
0
4130
0
4131
0
4132
1
4133
0
4134
1
4135
1
4136
0
4137
0
4138
1
4139
1
4140
0
4141
0
4142
0
4143
1
4144
0
4145
0
4146
0
4147
1
4148
1
4149
1
4150
0
4151
0
4152
0
4153
0
4154
0
4155
1
4156
1
4157
0
4158
1
4159
0
4160
1
4161
1
4162
1
4163
1
4164
0
4165
1
4166
1
4167
585
4168
0
4169
0
4170
0
4171
0
4172
1
4173
0
4174
0
4175
1
4176
1
4177
1
4178
0
4179
0
4180
0
4181
1
4182
0
4183
0
4184
0
4185
1
4186
0
4187
1
4188
0
4189
1
4190
0
4191
0
4192
0
4193
1
4194
1
4195
1
4196
0
4197
0
4198
1
4199
1
4200
0
4201
0
4202
1
4203
0
4204
1
4205
1
4206
1
4207
1
4208
1
4209
1
4210
1
4211
137
4212
0
4213
0
4214
1
4215
1
4216
1
4217
0
4218
0
4219
0
4220
0
4221
0
4222
1
4223
0
4224
0
4225
1
4226
0
4227
0
4228
0
4229
1
4230
0
4231
1
4232
0
4233
1
4234
0
4235
1
4236
0
4237
1
4238
1
4239
0
4240
1
4241
0
4242
1
4243
1
4244
1
4245
0
4246
1
4247
0
4248
0
4249
1
4250
0
4251
1
4252
0
4253
1
4254
1
4255
351
4256
0
4257
1
4258
1
4259
1
4260
0
4261
0
4262
1
4263
0
4264
1
4265
1
4266
0
4267
0
4268
1
4269
0
4270
0
4271
0
4272
1
4273
0
4274
0
4275
0
4276
1
4277
0
4278
0
4279
1
4280
1
4281
1
4282
0
4283
1
4284
1
4285
0
4286
0
4287
1
4288
0
4289
0
4290
0
4291
1
4292
1
4293
1
4294
1
4295
1
4296
0
4297
1
4298
1
4299
200
4300
0
4301
1
4302
1
4303
1
4304
1
4305
1
4306
1
4307
1
4308
0
4309
0
4310
1
4311
1
4312
1
4313
1
4314
1
4315
0
4316
1
4317
1
4318
0
4319
0
4320
1
4321
1
4322
0
4323
0
4324
0
4325
0
4326
1
4327
0
4328
0
4329
0
4330
1
4331
1
4332
0
4333
1
4334
1
4335
0
4336
0
4337
0
4338
0
4339
0
4340
1
4341
0
4342
1
4343
937
4344
0
4345
1
4346
0
4347
0
4348
1
4349
1
4350
1
4351
1
4352
0
4353
0
4354
0
4355
0
4356
1
4357
1
4358
1
4359
0
4360
0
4361
1
4362
1
4363
1
4364
0
4365
0
4366
0
4367
0
4368
0
4369
0
4370
1
4371
1
4372
1
4373
1
4374
0
4375
1
4376
1
4377
0
4378
0
4379
0
4380
1
4381
0
4382
0
4383
1
4384
1
4385
0
4386
1
4387
702
4388
1
4389
1
4390
1
4391
0
4392
1
4393
0
4394
1
4395
0
4396
1
4397
1
4398
0
4399
1
4400
1