package lambda-term

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file lTerm_color_mappings.ml

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
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
(*
 * lTerm_color_mappings.ml
 * -----------------------
 * Copyright : (c) 2012, Jeremie Dimino <jeremie@dimino.org>
 * Licence   : BSD3
 *
 * This file is a part of Lambda-Term.
 *)

(* This file was generated by gen_color_mappings.ml. *)

let data0 = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\003\003\003\003\003\003\003\003\003\
             \003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\
             \003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\
             \003\003\003\003\003\003\003\003\003\003\004\004\004\004\004\004\
             \004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\
             \004\004\004\005\005\005\005\005\005\005\005\005\005\005\005\005"
let data1 = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\003\003\003\003\003\003\
             \003\003\003\003\003\003\003\003\003\003\004\004\004\004\004\004\
             \004\004\004\004\004\004\004\005\005\005\005\005\005\005\005\005"
let data2 = "\000\001\001\001\001\009\002\003\003\001\001\009\002\003\003\003\
             \003\009\002\002\003\003\003\011\002\002\003\003\003\011\010\010\
             \010\011\011\011\004\005\005\005\005\009\006\008\008\001\001\009\
             \006\008\008\007\007\009\006\002\007\007\007\015\006\002\007\007\
             \007\015\010\010\010\015\015\011\004\004\005\005\005\013\004\012\
             \012\005\005\013\006\012\012\007\007\015\006\006\007\007\007\015\
             \006\006\007\007\007\015\014\014\015\015\015\015\004\004\005\005\
             \005\013\004\012\012\005\005\013\006\012\012\007\007\015\006\006\
             \007\007\007\015\006\006\007\007\007\015\014\014\015\015\015\015\
             \004\004\013\013\013\013\004\012\012\013\013\013\014\012\012\012\
             \007\015\014\014\012\007\007\015\014\014\007\007\007\015\014\014\
             \015\015\015\015\004\004\013\013\013\013\004\012\012\013\013\013\
             \014\012\012\012\012\013\014\014\012\015\015\015\014\014\012\015\
             \015\015\014\014\014\015\015\015"
let data3 = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
             \000\000\000\000\000\000\000\000\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\
             \001\001\001\001\001\001\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\
             \002\002\002\002\002\002\002\002\003\003\003\003\003\003\003\003\
             \003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\
             \004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\
             \004\004\004\004\004\004\004\005\005\005\005\005\005\005\005\005\
             \005\005\005\005\005\005\005\005\005\005\005\005\005\005\006\006\
             \006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\
             \006\006\006\006\007\007\007\007\007\007\007\007\007\007\007\008\
             \008\008\008\008\008\008\008\008\008\008\008\008\009\009\009\009\
             \009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\
             \009\009\009\009\010\010\010\010\010\010\010\010\010\010\010\010"
let data4 = "\016\032\032\032\032\032\048\048\048\064\064\020\036\052\032\032\
             \032\048\048\048\064\064\020\040\036\036\052\052\052\068\068\068\
             \068\020\020\036\036\036\052\052\052\052\068\068\020\020\040\036\
             \036\036\052\052\052\068\068\020\020\040\040\036\036\056\052\052\
             \052\068\024\024\040\040\040\056\056\056\056\072\072\024\024\044\
             \040\040\040\056\056\056\072\072\024\024\044\040\040\040\056\056\
             \056\072\072\028\028\044\044\044\040\060\060\060\076\076\028\028\
             \044\044\044\044\060\060\060\076\076\017\033\049\032\032\032\048\
             \048\048\064\064\021\080\053\032\032\032\048\048\048\064\064\025\
             \041\057\057\052\052\048\048\048\064\064\020\020\057\036\036\052\
             \052\068\068\068\068\020\020\040\036\036\036\052\052\052\068\068\
             \020\020\040\040\036\036\052\052\052\052\068\024\024\024\040\040\
             \040\056\056\056\072\068\024\024\024\044\040\040\056\056\056\072\
             \072\024\024\024\044\040\040\056\056\056\072\072\028\028\028\044\
             \044\040\060\060\060\076\072\028\028\028\044\044\044\044\060\060\
             \060\076\017\034\033\033\049\049\049\065\065\065\065\022\038\054\
             \054\049\049\048\048\048\064\064\021\042\081\082\053\053\053\069\
             \069\069\069\021\042\082\082\053\053\053\069\069\069\069\025\025\
             \041\041\057\057\073\073\073\073\073\025\025\041\041\057\057\057\
             \073\073\073\073\025\024\041\041\061\057\057\077\077\073\073\029\
             \024\045\045\061\061\077\077\077\077\073\029\024\045\045\061\061\
             \077\077\077\077\073\029\028\045\045\061\061\061\077\077\077\077\
             \029\028\045\045\061\061\061\061\061\077\077\017\017\033\033\033\
             \049\049\049\049\065\065\017\017\054\033\033\049\049\065\065\065\
             \065\021\042\082\082\053\053\053\069\069\069\069\021\021\082\082\
             \083\053\053\053\053\069\069\021\021\041\083\083\057\053\053\053\
             \069\069\025\025\041\041\057\057\057\073\073\073\073\025\025\041\
             \041\041\057\057\057\057\073\073\025\029\045\041\041\061\057\057\
             \057\073\073\025\029\045\041\041\061\057\057\057\077\073\029\029\
             \045\045\045\061\061\061\077\077\077\029\029\045\045\045\061\061\
             \061\061\077\077\017\017\034\033\033\033\049\049\049\065\065\017\
             \017\034\033\033\033\049\049\049\065\065\022\022\038\038\054\054\
             \070\070\070\070\070\021\021\038\083\083\054\053\053\053\069\069\
             \021\021\042\083\083\084\053\053\053\069\069\021\021\042\042\084\
             \084\053\053\053\069\069\025\025\046\041\041\041\057\057\057\073\
             \073\025\025\046\041\041\041\057\057\057\073\073\025\025\046\041\
             \041\041\057\057\057\073\073\029\029\046\045\045\045\061\061\061\
             \077\077\029\029\046\045\045\045\061\061\061\077\077\017\017\034\
             \034\033\033\050\049\049\049\065\017\017\034\034\033\033\049\049\
             \049\049\065\022\022\038\038\054\054\054\070\070\070\070\022\022\
             \038\038\054\054\054\070\070\070\070\021\021\042\042\084\084\054\
             \053\053\069\069\021\021\042\042\084\084\085\053\053\053\069\026\
             \025\042\042\042\085\085\057\053\053\069\025\025\046\046\041\041\
             \057\057\057\057\073\025\025\046\046\041\041\041\057\057\057\073\
             \025\025\046\046\045\041\041\057\057\057\073\029\029\046\046\045\
             \045\045\061\061\061\077\018\018\034\034\034\050\050\050\050\066\
             \066\018\018\018\034\034\034\050\050\050\066\065\022\018\038\038\
             \055\054\054\071\071\070\070\022\022\038\038\038\054\054\054\054\
             \070\070\022\022\043\038\038\038\054\054\054\070\070\026\022\042\
             \042\038\085\085\054\054\053\069\026\026\042\042\042\085\085\058\
             \086\074\074\026\026\047\042\042\042\058\058\086\074\074\026\026\
             \047\042\042\042\086\086\086\074\074\030\030\046\046\046\041\062\
             \062\062\078\078\030\029\046\046\046\045\062\062\062\078\078\018\
             \018\035\034\034\034\050\050\050\066\066\018\018\018\035\034\034\
             \050\050\050\066\066\023\018\039\039\055\055\071\071\071\071\070\
             \022\023\039\038\038\055\054\054\054\070\070\022\022\043\038\038\
             \038\054\054\054\070\070\022\022\043\043\038\038\054\054\054\054\
             \070\026\026\047\042\042\042\058\058\086\074\074\026\026\047\042\
             \042\042\058\058\086\087\074\026\026\047\042\042\042\086\086\086\
             \087\074\030\030\047\046\046\042\062\087\087\087\078\030\030\046\
             \046\046\046\062\062\062\078\078\018\018\035\034\034\034\050\050\
             \050\066\066\018\018\018\035\034\034\050\050\050\066\066\023\018\
             \039\039\055\055\071\071\071\071\070\022\023\039\038\038\055\054\
             \054\054\071\070\022\022\043\038\038\038\054\054\054\070\070\022\
             \022\043\043\038\038\054\054\054\054\070\026\026\047\042\042\038\
             \086\086\086\075\074\026\026\047\042\042\042\086\086\086\087\074\
             \026\026\047\042\042\042\086\086\086\087\074\030\030\047\047\046\
             \042\063\087\087\087\074\030\030\046\046\046\046\062\062\062\062\
             \078\019\019\035\035\035\034\051\051\051\067\067\019\019\019\035\
             \035\034\051\051\051\067\066\023\019\039\039\055\055\055\071\071\
             \071\071\023\023\039\039\039\055\055\055\071\071\071\023\023\043\
             \039\039\039\055\055\055\071\071\022\022\043\043\039\038\038\054\
             \054\054\070\027\027\043\043\043\038\059\059\059\075\075\027\027\
             \047\043\043\042\059\087\087\087\075\027\027\047\047\043\042\059\
             \087\087\087\074\031\031\047\047\047\042\063\087\087\087\079\031\
             \030\047\047\047\046\063\063\062\079\079\019\019\035\035\035\035\
             \051\051\051\067\067\019\019\019\035\035\035\035\051\051\051\067\
             \023\019\039\039\055\055\055\055\055\071\071\023\023\039\039\039\
             \055\055\055\055\071\071\023\023\043\039\039\039\055\055\055\071\
             \071\023\023\043\043\039\039\039\055\055\055\071\027\023\043\043\
             \043\039\059\059\059\075\075\027\027\043\043\043\043\059\059\059\
             \075\075\027\027\043\043\043\043\059\059\059\059\075\031\027\047\
             \047\047\043\063\063\059\079\079\031\031\047\047\047\047\063\063\
             \063\079\079"
let data5 = "\000\000\000\000\000\001\001\001\001\001\001\001\001\001\002\002\
             \002\002\002\002\002\002\002\002\003\003\003\003\003\003\003\003\
             \003\003\004\004\004\004\004\004\004\004\004\004\005\005\005\005\
             \005\005\005\005\005\005\006\006\006\006\006\006\006\006\006\006\
             \007\007\007\007\007\007\007\007\007\007\008\008\008\008\008\008\
             \008\008\008\008\009\009\009\009\009\009\009\009\010\010\010\010\
             \010\011\011\011\011\011\011\011\012\012\012\012\012\012\012\012\
             \012\012\013\013\013\013\013\013\013\013\013\013\014\014\014\014\
             \014\014\014\014\015\015\015\015\015\016\016\016\016\016\016\016\
             \017\017\017\017\017\017\017\017\017\017\018\018\018\018\018\018\
             \018\018\018\018\019\019\019\019\019\019\019\019\020\020\020\020\
             \020\021\021\021\021\021\021\021\022\022\022\022\022\022\022\022\
             \022\022\023\023\023\023\023\023\023\023\023\023\024\024\024\024\
             \024\024\024\024\025\025\025\025\025\026\026\026\026\026\026\026\
             \027\027\027\027\027\027\027\027\027\027\028\028\028\028\028\028\
             \028\028\028\028\028\028\028\029\029\029\029\029\029\029\029\029"
let data6 = "\016\052\052\052\052\052\052\052\052\052\052\052\052\088\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\022\058\
             \094\052\052\052\052\052\052\052\052\052\052\088\088\088\088\088\
             \124\124\124\124\124\160\160\160\160\160\196\196\022\064\058\094\
             \094\052\052\052\052\052\052\052\052\088\088\088\088\088\124\124\
             \124\124\124\160\160\160\160\160\196\196\022\022\064\058\058\094\
             \094\094\052\052\052\052\052\088\088\088\088\088\124\124\124\124\
             \124\160\160\160\160\160\196\196\022\022\064\058\058\058\094\094\
             \094\094\130\130\130\130\088\088\088\088\124\124\124\124\124\160\
             \160\160\160\160\196\196\022\022\022\064\058\058\058\094\094\094\
             \094\094\130\130\130\130\130\130\130\166\166\166\166\166\166\202\
             \202\202\202\202\022\022\022\064\064\058\058\058\094\094\094\094\
             \094\130\130\130\130\130\130\130\166\166\166\166\166\166\202\202\
             \202\202\022\022\022\064\064\064\058\058\058\094\094\094\094\094\
             \094\130\130\130\130\130\130\166\166\166\166\166\166\202\202\202\
             \022\022\022\022\064\064\064\058\058\058\058\094\094\094\094\094\
             \094\130\130\130\130\130\166\166\166\166\166\202\202\202\022\022\
             \022\022\064\064\064\064\058\058\058\058\094\094\094\094\094\130\
             \130\130\130\130\130\166\166\166\166\166\202\202\022\022\022\022\
             \070\064\064\064\058\058\058\058\058\094\094\094\094\094\130\130\
             \130\130\130\166\166\166\166\166\202\202\022\022\022\022\070\064\
             \064\064\064\058\058\058\058\094\094\094\094\094\130\130\130\130\
             \130\166\166\166\166\166\202\202\022\022\022\022\070\070\064\064\
             \064\064\058\058\058\100\094\094\094\094\094\130\130\130\130\130\
             \166\166\166\166\166\202\028\028\028\028\070\070\070\064\064\064\
             \064\064\100\100\100\100\100\136\136\136\136\136\130\172\172\172\
             \172\166\208\208\028\028\028\028\028\070\070\064\064\064\064\064\
             \064\100\100\100\100\136\136\136\136\136\136\172\172\172\172\172\
             \208\208\028\028\028\028\028\070\070\070\064\064\064\064\064\100\
             \100\100\100\100\136\136\136\136\136\172\172\172\172\172\208\208\
             \028\028\028\028\028\070\070\070\064\064\064\064\064\100\100\100\
             \100\100\136\136\136\136\136\172\172\172\172\172\208\208\028\028\
             \028\028\028\070\070\070\070\070\064\064\064\106\106\100\100\100\
             \142\136\136\136\136\136\172\172\172\172\172\208\034\034\034\034\
             \034\070\070\070\070\070\070\070\064\106\106\106\106\142\142\142\
             \142\142\136\178\178\178\178\172\214\214\034\034\034\034\034\076\
             \070\070\070\070\070\070\070\106\106\106\106\106\142\142\142\142\
             \142\178\178\178\178\178\214\214\034\034\034\034\034\076\076\070\
             \070\070\070\070\070\106\106\106\106\106\142\142\142\142\142\178\
             \178\178\178\178\214\214\034\034\034\034\034\076\076\076\070\070\
             \070\070\070\106\106\106\106\106\142\142\142\142\142\178\178\178\
             \178\178\214\214\034\034\034\034\034\076\076\076\076\070\070\070\
             \070\070\106\106\106\106\106\142\142\142\142\184\178\178\178\178\
             \220\214\040\040\040\040\040\076\076\076\076\076\076\076\070\112\
             \112\112\112\106\148\148\148\148\184\184\184\184\184\178\220\220\
             \040\040\040\040\040\076\076\076\076\076\076\076\076\112\112\112\
             \112\112\148\148\148\148\148\184\184\184\184\184\220\220\040\040\
             \040\040\040\082\076\076\076\076\076\076\076\112\112\112\112\112\
             \148\148\148\148\148\184\184\184\184\184\220\220\040\040\040\040\
             \040\082\082\076\076\076\076\076\076\112\112\112\112\112\148\148\
             \148\148\148\184\184\184\184\184\220\220\040\040\040\040\040\082\
             \082\082\082\076\076\076\076\076\112\112\112\112\112\148\148\148\
             \148\148\184\184\184\184\226\220\046\046\046\046\046\082\082\082\
             \082\082\082\082\076\118\118\118\118\112\154\154\154\154\190\190\
             \190\190\190\226\226\226\046\046\046\046\046\082\082\082\082\082\
             \082\082\082\118\118\118\118\118\154\154\154\154\154\190\190\190\
             \190\190\226\226\017\053\089\052\052\052\052\052\052\052\052\052\
             \052\088\088\088\088\088\124\124\124\124\124\160\160\160\160\160\
             \196\196\023\232\095\052\052\052\052\052\052\052\052\052\052\088\
             \088\088\088\088\124\124\124\124\124\160\160\160\160\160\196\196\
             \029\065\101\094\052\052\052\052\052\052\052\052\052\088\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\022\022\
             \064\058\058\094\052\052\052\052\052\052\052\088\088\088\088\088\
             \124\124\124\124\124\160\160\160\160\160\196\196\022\022\022\058\
             \058\058\094\094\094\052\052\052\052\088\088\088\088\088\124\124\
             \124\124\124\160\160\160\160\160\196\196\022\022\022\064\058\058\
             \058\094\094\094\094\094\130\130\130\130\130\130\124\124\124\124\
             \124\160\160\160\160\160\196\196\022\022\022\022\064\058\058\058\
             \094\094\094\094\094\130\130\130\130\130\130\166\166\166\166\166\
             \166\166\202\202\202\202\022\022\022\022\064\064\058\058\058\094\
             \094\094\094\094\130\130\130\130\130\130\166\166\166\166\166\166\
             \166\202\202\202\022\022\022\022\064\064\064\058\058\058\094\094\
             \094\094\094\094\130\130\130\130\130\130\166\166\166\166\166\202\
             \202\202\022\022\022\022\022\064\064\064\058\058\058\058\094\094\
             \094\094\094\130\130\130\130\130\166\166\166\166\166\166\202\202\
             \022\022\022\022\022\064\064\064\064\058\058\058\058\094\094\094\
             \094\094\130\130\130\130\130\166\166\166\166\166\202\202\022\022\
             \022\022\022\064\064\064\064\058\058\058\058\094\094\094\094\094\
             \130\130\130\130\130\166\166\166\166\166\202\202\022\022\022\022\
             \022\070\064\064\064\064\058\058\058\100\094\094\094\094\094\130\
             \130\130\130\130\166\166\166\166\166\202\028\028\028\028\028\070\
             \070\064\064\064\064\064\100\100\100\100\094\094\136\136\136\130\
             \130\172\172\166\166\166\208\202\028\028\028\028\028\070\070\070\
             \064\064\064\064\064\100\100\100\100\136\136\136\136\136\172\172\
             \172\172\172\172\208\208\028\028\028\028\028\070\070\070\064\064\
             \064\064\064\100\100\100\100\100\136\136\136\136\136\172\172\172\
             \172\172\208\208\028\028\028\028\028\070\070\070\070\064\064\064\
             \064\064\100\100\100\100\136\136\136\136\136\172\172\172\172\172\
             \208\208\028\028\028\028\028\070\070\070\070\070\064\064\064\064\
             \106\100\100\100\142\136\136\136\136\136\172\172\172\172\172\208\
             \034\034\034\034\034\034\070\070\070\070\070\070\064\106\106\106\
             \106\142\142\142\142\136\136\178\178\178\172\172\214\208\034\034\
             \034\034\034\034\076\070\070\070\070\070\070\106\106\106\106\106\
             \142\142\142\142\142\178\178\178\178\178\214\214\034\034\034\034\
             \034\034\076\076\070\070\070\070\070\106\106\106\106\106\142\142\
             \142\142\142\178\178\178\178\178\214\214\034\034\034\034\034\034\
             \076\076\070\070\070\070\070\070\106\106\106\106\106\142\142\142\
             \142\178\178\178\178\178\214\214\034\034\034\034\034\034\076\076\
             \076\076\070\070\070\070\112\106\106\106\106\142\142\142\142\184\
             \178\178\178\178\220\214\040\040\040\040\040\040\076\076\076\076\
             \076\076\070\112\112\112\112\106\148\148\148\148\184\184\184\184\
             \178\178\220\220\040\040\040\040\040\040\076\076\076\076\076\076\
             \076\112\112\112\112\112\148\148\148\148\148\184\184\184\184\184\
             \220\220\040\040\040\040\040\040\076\076\076\076\076\076\076\076\
             \112\112\112\112\148\148\148\148\148\184\184\184\184\184\220\220\
             \040\040\040\040\040\040\082\076\076\076\076\076\076\076\112\112\
             \112\112\112\148\148\148\148\148\184\184\184\184\220\220\040\040\
             \040\040\040\040\082\082\082\076\076\076\076\076\112\112\112\112\
             \112\148\148\148\148\148\184\184\184\184\226\220\046\046\046\046\
             \046\046\082\082\082\082\082\082\076\118\118\118\118\112\154\154\
             \154\154\190\190\190\190\190\226\226\226\046\046\046\046\046\046\
             \082\082\082\082\082\082\082\082\118\118\118\118\118\154\154\154\
             \154\190\190\190\190\190\226\226\017\054\053\089\089\052\052\052\
             \052\052\052\052\052\088\088\088\088\088\124\124\124\124\124\160\
             \160\160\160\160\196\196\024\060\096\089\052\052\052\052\052\052\
             \052\052\052\088\088\088\088\088\124\124\124\124\124\160\160\160\
             \160\160\196\196\023\066\233\234\095\052\052\052\052\052\052\052\
             \052\088\088\088\088\088\124\124\124\124\124\160\160\160\160\160\
             \196\196\029\029\234\234\095\095\052\052\052\052\052\052\052\088\
             \088\088\088\088\124\124\124\124\124\160\160\160\160\160\196\196\
             \029\022\065\065\101\101\094\052\052\052\052\052\052\088\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\022\022\
             \022\065\101\058\058\094\094\094\094\130\052\088\088\088\088\088\
             \124\124\124\124\124\160\160\160\160\160\196\196\022\022\022\022\
             \064\058\058\058\094\094\094\094\094\130\130\130\130\130\130\166\
             \166\166\166\166\160\160\160\160\196\196\022\022\022\022\022\064\
             \058\058\058\094\094\094\094\094\130\130\130\130\130\130\166\166\
             \166\166\166\166\202\202\202\202\022\022\022\022\022\064\064\058\
             \058\058\094\094\094\094\094\130\130\130\130\130\130\166\166\166\
             \166\166\166\202\202\202\022\022\022\022\022\064\064\064\058\058\
             \058\058\094\094\094\094\094\130\130\130\130\130\166\166\166\166\
             \166\202\202\202\022\022\022\022\022\064\064\064\064\058\058\058\
             \058\094\094\094\094\130\130\130\130\130\130\166\166\166\166\166\
             \202\202\022\022\022\022\022\070\064\064\064\058\058\058\058\094\
             \094\094\094\094\130\130\130\130\130\166\166\166\166\166\202\202\
             \022\022\022\022\022\022\064\064\064\064\058\058\058\100\094\094\
             \094\094\094\130\130\130\130\166\166\166\166\166\202\202\028\028\
             \028\028\028\028\070\064\064\064\064\064\100\100\100\100\094\094\
             \136\136\130\130\130\130\166\166\166\166\166\202\028\028\028\028\
             \028\028\070\070\064\064\064\064\064\100\100\100\100\136\136\136\
             \136\136\172\172\172\172\172\166\208\208\028\028\028\028\028\028\
             \070\070\070\064\064\064\064\100\100\100\100\100\136\136\136\136\
             \136\172\172\172\172\172\208\208\028\028\028\028\028\028\070\070\
             \070\064\064\064\064\064\100\100\100\100\136\136\136\136\136\172\
             \172\172\172\172\208\208\028\028\028\028\028\028\070\070\070\070\
             \070\064\064\064\106\100\100\100\142\136\136\136\136\136\172\172\
             \172\172\208\208\034\034\034\034\034\034\070\070\070\070\070\070\
             \064\106\106\106\106\142\142\142\142\136\136\178\178\172\172\172\
             \214\208\034\034\034\034\034\034\076\070\070\070\070\070\070\106\
             \106\106\106\106\142\142\142\142\136\178\178\178\178\172\214\214\
             \034\034\034\034\034\034\076\076\070\070\070\070\070\070\106\106\
             \106\106\142\142\142\142\142\178\178\178\178\178\214\214\034\034\
             \034\034\034\034\076\076\076\070\070\070\070\070\106\106\106\106\
             \106\142\142\142\142\178\178\178\178\178\214\214\034\034\034\034\
             \034\034\076\076\076\076\070\070\070\070\112\106\106\106\106\106\
             \142\142\142\184\178\178\178\178\220\214\040\040\040\040\040\040\
             \076\076\076\076\076\076\076\070\112\112\112\106\148\148\148\148\
             \184\184\184\184\178\178\220\214\040\040\040\040\040\040\040\076\
             \076\076\076\076\076\076\112\112\112\112\148\148\148\148\148\184\
             \184\184\184\178\220\220\040\040\040\040\040\040\040\076\076\076\
             \076\076\076\076\112\112\112\112\112\148\148\148\148\184\184\184\
             \184\184\220\220\040\040\040\040\040\040\040\082\076\076\076\076\
             \076\076\112\112\112\112\112\148\148\148\148\148\184\184\184\184\
             \220\220\040\040\040\040\040\040\040\082\082\082\076\076\076\076\
             \076\112\112\112\112\112\148\148\148\148\148\184\184\184\226\220\
             \046\046\046\046\046\046\046\082\082\082\082\082\082\076\118\118\
             \118\118\154\154\154\154\190\190\190\190\190\226\226\226\046\046\
             \046\046\046\046\046\082\082\082\082\082\082\082\118\118\118\118\
             \118\154\154\154\154\154\190\190\190\190\226\226\017\017\054\053\
             \053\089\089\089\052\052\052\052\052\088\088\088\088\088\124\124\
             \124\124\124\160\160\160\160\160\196\196\017\017\054\053\053\089\
             \052\052\052\052\052\052\052\088\088\088\088\088\124\124\124\124\
             \124\160\160\160\160\160\196\196\024\024\234\234\096\095\052\052\
             \052\052\052\052\052\088\088\088\088\088\124\124\124\124\124\160\
             \160\160\160\160\196\196\023\023\234\234\235\095\095\095\052\052\
             \052\052\052\088\088\088\088\088\124\124\124\124\124\160\160\160\
             \160\160\196\196\023\023\066\235\235\101\095\095\052\052\052\052\
             \052\088\088\088\088\088\124\124\124\124\124\160\160\160\160\160\
             \196\196\029\029\065\065\065\101\101\137\137\137\052\052\052\088\
             \088\088\088\088\124\124\124\124\124\160\160\160\160\160\196\196\
             \029\022\022\065\065\101\101\101\137\094\137\137\137\130\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\029\022\
             \022\065\065\107\101\101\058\094\094\094\094\130\130\130\130\130\
             \130\166\166\166\166\166\166\160\160\202\202\196\022\022\022\022\
             \022\107\107\058\058\058\094\094\094\094\130\130\130\130\130\130\
             \166\166\166\166\166\166\166\202\202\202\022\022\022\022\022\107\
             \064\064\058\058\058\058\094\094\094\094\130\130\130\130\130\130\
             \166\166\166\166\166\202\202\202\022\022\022\022\022\022\107\064\
             \064\058\058\058\058\094\094\094\094\130\130\130\130\130\166\166\
             \166\166\166\202\202\202\022\022\022\022\022\022\107\064\064\058\
             \058\058\058\094\094\094\094\130\130\130\130\130\166\166\166\166\
             \166\166\202\202\022\022\022\022\022\022\107\064\064\064\058\058\
             \058\100\094\094\094\094\130\130\130\130\130\166\166\166\166\166\
             \202\202\028\028\028\028\028\028\070\070\064\064\064\064\100\100\
             \100\094\094\094\094\130\130\130\130\130\166\166\166\166\202\202\
             \028\028\028\028\028\028\028\070\070\064\064\064\064\100\100\100\
             \100\136\136\136\136\136\130\172\172\166\166\166\208\202\028\028\
             \028\028\028\028\028\070\070\064\064\064\064\064\100\100\100\100\
             \136\136\136\136\136\172\172\172\172\172\208\208\028\028\028\028\
             \028\028\028\070\070\070\064\064\064\064\100\100\100\100\136\136\
             \136\136\136\172\172\172\172\172\208\208\028\028\028\028\028\028\
             \028\070\070\070\070\070\064\064\106\100\100\100\142\136\136\136\
             \136\172\172\172\172\172\208\208\034\034\034\034\034\034\034\070\
             \070\070\070\070\070\064\106\106\106\142\142\142\136\136\136\178\
             \178\172\172\172\172\208\034\034\034\034\034\034\034\076\070\070\
             \070\070\070\070\106\106\106\106\142\142\142\142\136\178\178\178\
             \178\172\214\214\034\034\034\034\034\034\034\076\076\070\070\070\
             \070\070\106\106\106\106\106\142\142\142\142\178\178\178\178\178\
             \214\214\034\034\034\034\034\034\034\076\076\070\070\070\070\070\
             \106\106\106\106\106\142\142\142\142\178\178\178\178\178\214\214\
             \034\034\034\034\034\034\034\076\076\076\076\076\070\070\070\106\
             \106\106\106\106\142\142\142\184\178\178\178\178\214\214\040\040\
             \040\040\040\040\040\076\076\076\076\076\076\070\112\112\112\112\
             \148\148\148\148\184\184\184\184\178\178\220\214\040\040\040\040\
             \040\040\040\076\076\076\076\076\076\076\112\112\112\112\148\148\
             \148\148\148\184\184\184\184\178\220\220\040\040\040\040\040\040\
             \040\040\076\076\076\076\076\076\076\112\112\112\112\148\148\148\
             \148\184\184\184\184\184\220\220\040\040\040\040\040\040\040\040\
             \076\076\076\076\076\076\076\112\112\112\112\148\148\148\148\148\
             \184\184\184\184\220\220\040\040\040\040\040\040\040\082\082\082\
             \082\076\076\076\076\112\112\112\112\112\148\148\148\148\148\184\
             \184\184\226\220\046\046\046\046\046\046\046\082\082\082\082\082\
             \082\082\118\118\118\118\112\154\154\154\154\190\190\190\190\226\
             \226\226\046\046\046\046\046\046\046\046\082\082\082\082\082\082\
             \082\118\118\118\118\154\154\154\154\154\190\190\190\190\226\226\
             \017\017\054\053\053\053\089\089\089\089\125\125\125\125\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\017\017\
             \017\053\053\053\089\089\089\052\052\052\052\088\088\088\088\088\
             \124\124\124\124\124\160\160\160\160\160\196\196\024\017\060\096\
             \096\096\089\052\052\052\052\052\052\088\088\088\088\088\124\124\
             \124\124\124\160\160\160\160\160\196\196\023\023\060\235\235\096\
             \095\095\052\052\052\052\052\088\088\088\088\088\124\124\124\124\
             \124\160\160\160\160\160\196\196\023\023\066\235\235\236\095\095\
             \095\095\095\131\131\131\088\088\088\088\124\124\124\124\124\160\
             \160\160\160\160\196\196\023\023\066\066\236\236\237\095\095\095\
             \095\131\131\131\088\088\088\088\124\124\124\124\124\160\160\160\
             \160\160\196\196\029\029\029\065\065\237\101\101\095\137\137\137\
             \137\137\131\131\131\088\124\124\124\124\124\160\160\160\160\160\
             \196\196\029\029\022\065\065\065\101\101\101\137\137\137\137\137\
             \137\137\137\173\173\173\173\173\173\160\160\160\160\160\196\196\
             \029\029\022\022\065\065\065\101\101\101\137\137\137\137\137\137\
             \137\137\173\173\173\173\173\173\209\209\209\209\209\209\029\022\
             \022\022\065\065\107\107\101\101\101\143\137\137\137\137\137\130\
             \130\130\130\166\166\166\166\166\166\202\202\202\035\022\022\022\
             \065\065\107\107\107\101\101\143\143\094\094\094\094\130\130\130\
             \130\130\166\166\166\166\166\202\202\202\035\022\022\022\071\071\
             \107\107\107\143\143\143\143\094\094\094\094\130\130\130\130\130\
             \166\166\166\166\166\202\202\202\035\022\022\022\071\071\107\107\
             \107\107\143\143\143\143\094\094\094\094\130\130\130\130\130\166\
             \166\166\166\166\202\202\035\028\028\028\071\071\071\107\107\107\
             \064\064\143\143\100\094\094\094\094\130\130\130\130\166\166\166\
             \166\166\202\202\028\028\028\028\028\028\071\107\107\107\064\064\
             \064\100\100\100\100\136\136\136\130\130\130\172\166\166\166\166\
             \166\202\028\028\028\028\028\028\071\107\107\107\064\064\064\064\
             \100\100\100\100\136\136\136\136\172\172\172\172\172\166\208\202\
             \028\028\028\028\028\028\071\107\107\107\064\064\064\064\100\100\
             \100\100\136\136\136\136\136\172\172\172\172\166\208\208\028\028\
             \028\028\028\028\028\113\107\070\070\070\064\064\106\100\100\100\
             \142\136\136\136\136\172\172\172\172\172\208\208\034\034\034\034\
             \034\034\034\113\113\070\070\070\070\064\106\106\106\142\142\142\
             \136\136\136\178\172\172\172\172\172\208\034\034\034\034\034\034\
             \034\113\113\070\070\070\070\070\106\106\106\106\142\142\142\142\
             \136\178\178\178\178\172\214\208\034\034\034\034\034\034\034\113\
             \113\070\070\070\070\070\070\106\106\106\106\142\142\142\142\178\
             \178\178\178\178\214\214\034\034\034\034\034\034\034\113\113\076\
             \070\070\070\070\070\106\106\106\106\142\142\142\142\178\178\178\
             \178\178\214\214\034\034\034\034\034\034\034\113\113\076\076\076\
             \070\070\070\112\106\106\106\106\142\142\142\184\178\178\178\178\
             \214\214\040\040\040\040\040\040\040\040\113\076\076\076\076\076\
             \112\112\112\112\148\148\148\148\184\184\184\178\178\178\220\214\
             \040\040\040\040\040\040\040\040\119\076\076\076\076\076\076\112\
             \112\112\112\148\148\148\148\184\184\184\184\178\220\220\040\040\
             \040\040\040\040\040\040\119\076\076\076\076\076\076\112\112\112\
             \112\148\148\148\148\148\184\184\184\184\220\220\040\040\040\040\
             \040\040\040\040\119\076\076\076\076\076\076\112\112\112\112\148\
             \148\148\148\148\184\184\184\184\220\220\040\040\040\040\040\040\
             \040\040\119\082\082\082\076\076\076\076\076\112\112\112\148\148\
             \148\148\148\184\184\184\226\220\046\046\046\046\046\046\046\046\
             \119\082\082\082\082\082\076\118\118\118\112\154\154\154\154\190\
             \190\190\190\226\226\226\046\046\046\046\046\046\046\046\119\082\
             \082\082\082\082\082\082\118\118\118\118\154\154\154\154\190\190\
             \190\190\226\226\017\017\017\054\053\053\053\089\089\089\089\089\
             \125\125\125\125\125\125\125\161\161\161\161\161\161\197\197\197\
             \197\197\017\017\017\054\053\053\053\089\089\089\089\089\125\125\
             \125\125\125\125\124\124\124\124\124\160\160\160\160\160\196\196\
             \017\017\017\060\096\053\053\089\089\089\089\125\052\088\088\088\
             \088\088\124\124\124\124\124\160\160\160\160\160\196\196\024\024\
             \060\060\096\096\096\132\132\132\052\052\052\088\088\088\088\088\
             \124\124\124\124\124\160\160\160\160\160\196\196\023\023\066\060\
             \236\236\237\095\095\095\095\131\131\131\088\088\088\088\124\124\
             \124\124\124\160\160\160\160\160\196\196\023\023\023\066\236\236\
             \237\095\095\095\095\095\095\131\131\131\131\131\131\167\167\167\
             \167\167\167\203\203\203\203\203\023\023\023\066\237\237\237\238\
             \095\095\095\095\095\131\131\131\131\131\131\167\167\167\167\167\
             \167\203\203\203\203\203\029\029\029\072\065\065\238\101\101\095\
             \095\095\137\137\137\131\131\131\131\173\167\167\167\167\167\203\
             \203\203\203\203\029\029\029\072\065\065\065\101\101\101\101\101\
             \137\137\137\137\137\137\173\173\173\173\173\173\173\209\209\209\
             \209\209\029\029\029\072\065\065\065\065\101\101\101\101\137\137\
             \137\137\137\137\137\173\173\173\173\173\173\209\209\209\209\209\
             \029\029\029\022\065\065\065\065\101\101\101\101\101\137\137\137\
             \137\137\137\173\173\173\173\173\173\209\209\209\209\209\029\029\
             \035\022\071\065\065\065\101\101\101\101\101\137\137\137\137\137\
             \137\173\173\173\173\173\173\209\209\209\209\209\035\035\022\022\
             \071\065\065\107\107\107\101\101\101\143\143\137\137\137\137\137\
             \173\173\173\173\173\173\173\209\209\209\035\035\028\028\071\071\
             \071\107\107\107\107\107\143\143\143\143\143\137\137\179\179\179\
             \173\173\173\166\215\215\209\202\035\035\028\028\028\071\071\071\
             \107\107\107\107\107\143\143\143\143\143\179\179\179\179\179\179\
             \215\215\215\215\215\202\035\035\028\028\028\071\071\071\107\107\
             \107\107\107\143\143\143\143\143\179\179\179\179\179\179\179\215\
             \215\215\215\202\035\035\028\028\028\071\071\071\107\107\107\107\
             \107\143\143\143\143\143\143\179\179\179\179\179\179\215\215\215\
             \215\215\035\035\028\028\028\071\071\071\107\107\107\107\107\107\
             \143\143\143\143\143\185\179\179\179\179\179\179\215\215\215\215\
             \035\034\034\034\034\071\071\071\113\107\107\107\107\107\149\149\
             \143\143\143\185\185\185\179\179\179\179\172\215\215\215\041\034\
             \034\034\034\077\077\077\113\113\113\113\107\149\149\149\149\185\
             \185\185\185\185\185\179\179\221\221\221\221\215\041\034\034\034\
             \034\077\077\077\113\113\113\113\113\149\149\149\149\149\185\185\
             \185\185\185\185\179\221\221\221\221\214\041\034\034\034\034\077\
             \077\077\113\113\113\113\113\149\149\149\149\149\185\185\185\185\
             \185\185\178\221\221\221\221\214\041\034\034\034\034\077\077\077\
             \113\113\113\113\113\149\149\149\149\149\149\185\185\185\185\185\
             \185\178\221\221\221\214\041\040\040\040\040\077\077\077\113\113\
             \113\113\113\113\149\149\149\149\149\149\185\185\185\185\185\227\
             \227\221\221\221\041\040\040\040\040\077\077\077\113\113\113\113\
             \113\113\155\149\149\149\149\149\149\148\185\185\185\227\227\227\
             \221\221\047\040\040\040\040\083\083\083\119\119\119\119\113\076\
             \155\155\155\149\149\191\191\191\148\227\227\227\227\227\227\221\
             \047\040\040\040\040\083\083\083\119\119\119\119\113\155\155\155\
             \155\155\112\191\191\191\191\227\227\227\227\227\227\220\047\040\
             \040\040\040\083\083\083\119\119\119\119\119\155\155\155\155\155\
             \155\191\191\191\191\191\227\227\227\227\227\220\047\046\046\046\
             \046\083\083\083\119\119\119\119\119\119\155\155\155\155\155\191\
             \191\191\191\191\191\227\227\227\227\227\047\046\046\046\046\083\
             \083\083\119\119\119\119\119\082\082\082\155\155\155\155\154\154\
             \154\191\191\191\190\190\227\227\017\017\017\054\054\053\053\053\
             \089\089\089\089\089\125\125\125\125\125\125\125\161\161\161\161\
             \161\161\197\197\197\197\017\017\017\017\054\053\053\053\089\089\
             \089\089\089\125\125\125\125\125\125\161\161\161\161\161\161\161\
             \197\197\197\197\017\017\017\017\054\053\053\053\089\089\089\089\
             \089\125\125\125\125\125\125\161\161\161\161\161\160\160\160\160\
             \196\196\024\017\017\060\060\096\096\096\132\089\132\132\132\125\
             \088\088\088\088\124\124\124\124\124\160\160\160\160\160\196\196\
             \024\024\024\060\060\237\096\096\096\132\132\132\132\131\131\131\
             \131\088\124\124\124\124\124\160\160\160\160\160\196\196\023\023\
             \023\066\237\237\237\238\095\095\095\095\095\131\131\131\131\131\
             \131\167\167\167\167\167\167\203\203\203\203\203\023\023\023\066\
             \066\237\237\238\095\095\095\095\095\095\131\131\131\131\131\131\
             \167\167\167\167\167\167\167\203\203\203\023\023\023\066\066\238\
             \238\238\239\095\095\095\095\095\131\131\131\131\131\131\167\167\
             \167\167\167\167\167\203\203\203\029\029\029\072\066\065\065\239\
             \101\101\101\101\095\137\137\137\137\131\131\131\173\173\167\167\
             \167\167\167\203\203\203\029\029\029\029\072\065\065\065\101\101\
             \101\101\101\137\137\137\137\137\137\173\173\173\173\173\173\209\
             \209\209\209\209\029\029\029\072\072\065\065\065\101\101\101\101\
             \101\137\137\137\137\137\137\173\173\173\173\173\173\173\209\209\
             \209\209\029\029\029\072\072\065\065\065\065\101\101\101\101\137\
             \137\137\137\137\137\173\173\173\173\173\173\173\209\209\209\209\
             \029\029\029\072\072\065\065\065\065\101\101\101\101\101\137\137\
             \137\137\137\137\173\173\173\173\173\173\173\209\209\209\035\035\
             \035\035\072\071\065\065\107\107\107\107\101\101\143\143\137\137\
             \137\137\137\173\173\173\173\173\173\209\209\209\035\035\035\028\
             \071\071\071\071\107\107\107\107\107\143\143\143\143\143\137\179\
             \179\179\179\173\173\173\215\215\215\209\035\035\035\028\071\071\
             \071\071\107\107\107\107\107\143\143\143\143\143\143\179\179\179\
             \179\179\179\215\215\215\215\215\035\035\035\028\071\071\071\071\
             \071\107\107\107\107\107\143\143\143\143\143\179\179\179\179\179\
             \179\215\215\215\215\215\035\035\035\028\028\071\071\071\071\107\
             \107\107\107\107\143\143\143\143\143\143\179\179\179\179\179\179\
             \215\215\215\215\035\035\035\034\034\071\071\071\071\107\107\107\
             \107\107\107\143\143\143\143\143\185\185\179\179\179\179\179\215\
             \215\215\035\041\041\034\034\077\071\071\071\113\113\113\107\107\
             \149\149\149\143\143\143\185\185\185\179\179\179\179\221\215\215\
             \041\041\041\034\034\077\077\077\113\113\113\113\113\107\149\149\
             \149\149\185\185\185\185\185\185\179\179\221\221\221\215\041\041\
             \041\034\034\077\077\077\077\113\113\113\113\149\149\149\149\149\
             \185\185\185\185\185\185\179\179\221\221\221\215\041\041\041\034\
             \034\077\077\077\077\113\113\113\113\113\149\149\149\149\149\185\
             \185\185\185\185\185\221\221\221\221\221\041\041\041\040\040\077\
             \077\077\077\113\113\113\113\113\149\149\149\149\149\149\185\185\
             \185\185\185\185\185\221\221\221\041\041\040\040\040\077\077\077\
             \077\113\113\113\113\113\113\149\149\149\149\149\149\149\185\185\
             \185\185\185\227\221\221\041\041\040\040\040\083\077\077\077\119\
             \113\113\113\113\113\155\155\149\149\149\149\149\191\185\185\185\
             \185\227\221\221\047\047\040\040\040\083\077\077\077\119\119\119\
             \113\113\155\155\155\155\149\149\191\191\191\185\185\185\185\227\
             \227\221\047\047\040\040\040\083\083\083\083\119\119\119\119\119\
             \155\155\155\155\155\191\191\191\191\191\227\227\227\227\227\221\
             \047\047\046\046\046\083\083\083\083\119\119\119\119\119\155\155\
             \155\155\155\155\191\191\191\191\191\191\227\227\227\227\047\047\
             \046\046\046\083\083\083\083\119\119\119\119\119\119\155\155\155\
             \155\155\155\155\191\191\191\191\191\191\227\227\017\017\017\054\
             \054\054\053\053\053\089\089\089\089\089\089\125\125\125\125\125\
             \125\161\161\161\161\161\161\197\197\197\017\017\017\017\054\054\
             \053\053\053\089\089\089\089\089\125\125\125\125\125\125\161\161\
             \161\161\161\161\161\197\197\197\017\017\017\017\017\054\053\053\
             \053\089\089\089\089\089\125\125\125\125\125\125\161\161\161\161\
             \161\161\197\197\197\197\024\017\017\060\060\097\096\096\053\089\
             \089\089\089\125\125\125\125\125\125\161\161\161\161\161\161\160\
             \160\197\197\196\024\024\017\060\060\060\096\096\096\132\132\132\
             \132\132\132\132\132\168\168\168\168\168\168\160\160\160\160\160\
             \196\196\024\024\024\067\060\060\238\096\096\096\095\095\132\132\
             \131\131\131\131\131\168\167\167\167\167\167\203\203\203\203\203\
             \023\023\023\066\066\238\238\238\239\095\095\095\095\095\131\131\
             \131\131\131\131\167\167\167\167\167\167\167\203\203\203\023\023\
             \023\066\066\066\238\238\239\095\095\095\095\095\095\131\131\131\
             \131\131\131\167\167\167\167\167\167\203\203\203\023\023\023\023\
             \066\066\239\239\239\240\095\095\095\095\095\131\131\131\131\131\
             \131\167\167\167\167\167\167\203\203\203\029\029\029\029\072\066\
             \065\065\240\101\101\101\101\095\137\137\137\137\131\131\131\173\
             \173\167\167\167\167\209\203\203\029\029\029\029\072\065\065\065\
             \065\101\101\101\101\101\137\137\137\137\137\137\173\173\173\173\
             \173\173\173\209\209\209\029\029\029\029\072\065\065\065\065\101\
             \101\101\101\101\137\137\137\137\137\137\173\173\173\173\173\173\
             \173\209\209\209\029\029\029\029\072\072\065\065\065\065\101\101\
             \101\101\137\137\137\137\137\137\173\173\173\173\173\173\173\209\
             \209\209\029\029\029\035\072\072\065\065\065\065\101\101\101\101\
             \101\137\137\137\137\137\137\137\173\173\173\173\173\209\209\209\
             \029\035\035\035\072\072\071\065\065\107\107\107\107\101\101\143\
             \143\143\137\137\137\137\173\173\173\173\173\173\209\209\035\035\
             \035\035\072\071\071\071\071\107\107\107\107\107\143\143\143\143\
             \137\137\179\179\179\179\173\173\173\215\215\209\035\035\035\035\
             \072\071\071\071\071\107\107\107\107\107\143\143\143\143\143\137\
             \179\179\179\179\173\173\173\215\215\209\035\035\035\035\078\071\
             \071\071\071\071\107\107\107\107\107\143\143\143\143\143\179\179\
             \179\179\179\179\179\215\215\215\035\035\035\035\078\071\071\071\
             \071\071\107\107\107\107\107\107\143\143\143\143\143\179\179\179\
             \179\179\179\215\215\215\035\035\035\041\078\078\071\071\071\071\
             \107\107\107\107\107\107\107\143\143\143\143\185\185\179\179\179\
             \179\179\215\215\035\041\041\041\078\077\077\071\071\071\113\113\
             \113\107\107\149\149\149\143\143\143\185\185\179\179\179\179\221\
             \221\215\041\041\041\041\078\077\077\077\077\113\113\113\113\107\
             \107\149\149\149\149\185\185\185\185\185\179\179\179\221\221\215\
             \041\041\041\041\078\077\077\077\077\077\113\113\113\113\149\149\
             \149\149\149\185\185\185\185\185\185\179\179\221\221\221\041\041\
             \041\041\040\077\077\077\077\077\113\113\113\113\113\149\149\149\
             \149\149\149\185\185\185\185\185\185\221\221\221\041\041\041\041\
             \040\077\077\077\077\077\113\113\113\113\113\113\149\149\149\149\
             \149\149\185\185\185\185\185\227\221\221\041\041\041\040\040\083\
             \077\077\077\077\113\113\113\113\113\113\113\149\149\149\149\149\
             \149\185\185\185\185\227\221\221\041\041\047\040\040\083\077\077\
             \077\077\113\113\113\113\113\113\113\149\149\149\149\149\149\185\
             \185\185\185\227\227\221\047\047\047\047\040\083\083\083\083\119\
             \119\119\119\119\113\155\155\155\155\149\191\191\191\191\227\227\
             \227\227\227\221\047\047\047\047\046\083\083\083\083\083\119\119\
             \119\119\119\155\155\155\155\155\191\191\191\191\191\191\227\227\
             \227\227\047\047\047\046\046\083\083\083\083\083\119\119\119\119\
             \119\119\119\155\155\155\155\155\191\191\191\191\191\191\227\227\
             \017\017\017\017\054\054\054\053\053\053\053\089\089\089\089\089\
             \089\125\125\125\125\125\161\161\161\161\161\197\197\197\017\017\
             \017\017\054\054\054\053\053\053\089\089\089\089\089\089\125\125\
             \125\125\125\125\161\161\161\161\161\197\197\197\017\017\017\017\
             \017\054\054\053\053\053\089\089\089\089\089\125\125\125\125\125\
             \125\161\161\161\161\161\161\197\197\197\017\017\017\017\017\097\
             \097\053\053\053\089\089\089\089\125\125\125\125\125\125\161\161\
             \161\161\161\161\161\197\197\197\024\024\017\017\060\060\096\096\
             \096\096\132\132\132\132\132\132\132\132\168\168\168\168\168\168\
             \204\204\204\204\204\204\024\024\024\067\060\060\060\096\096\096\
             \096\096\132\132\132\132\132\132\168\168\168\168\168\168\168\204\
             \204\204\204\204\024\024\024\067\060\060\060\239\096\096\096\096\
             \095\132\132\132\131\131\131\131\168\168\167\167\167\167\167\203\
             \203\203\023\023\023\023\066\066\239\239\239\240\095\095\095\095\
             \095\131\131\131\131\131\131\167\167\167\167\167\167\203\203\203\
             \023\023\023\023\066\066\066\239\239\240\059\095\095\095\095\095\
             \095\131\131\131\131\131\167\167\167\167\167\203\203\203\023\023\
             \023\023\066\066\066\240\240\240\059\241\095\095\095\095\095\131\
             \131\131\131\131\167\167\167\167\167\203\203\203\023\029\029\029\
             \072\066\066\065\059\059\059\101\101\095\095\095\095\131\131\131\
             \131\131\167\167\167\167\167\167\203\203\029\029\029\029\072\066\
             \066\065\065\241\101\101\101\095\095\137\137\137\137\131\131\131\
             \173\173\167\167\167\209\209\203\029\029\029\029\072\072\065\065\
             \065\065\101\101\101\101\101\137\137\137\137\137\137\173\173\173\
             \173\173\173\209\209\209\029\029\029\029\072\072\072\065\065\065\
             \065\065\101\101\101\101\137\137\137\137\137\137\173\173\173\173\
             \173\209\209\209\029\029\029\035\072\072\072\065\065\065\065\065\
             \101\101\101\101\101\137\137\137\137\137\173\173\173\173\173\173\
             \209\209\029\029\035\035\072\072\072\071\065\065\065\107\107\101\
             \101\101\101\143\137\137\137\137\137\173\173\173\173\173\209\209\
             \029\035\035\035\072\072\071\071\065\065\065\107\107\107\101\101\
             \101\143\143\137\137\137\179\173\173\173\173\173\215\209\035\035\
             \035\035\072\072\071\071\071\071\071\107\107\107\107\143\143\143\
             \143\143\137\179\179\179\179\179\173\215\215\215\035\035\035\035\
             \078\078\071\071\071\071\071\071\107\107\107\107\107\143\143\143\
             \143\143\179\179\179\179\179\215\215\215\035\035\035\035\078\078\
             \071\071\071\071\071\071\107\107\107\107\107\143\143\143\143\143\
             \179\179\179\179\179\179\215\215\035\035\035\041\078\078\078\071\
             \071\071\071\071\107\107\107\107\107\107\143\143\143\143\185\179\
             \179\179\179\179\215\215\035\035\041\041\078\078\078\077\071\071\
             \071\071\113\107\107\107\107\149\143\143\143\143\185\185\179\179\
             \179\179\221\215\041\041\041\041\078\078\077\077\077\077\077\113\
             \113\113\113\107\149\149\149\149\185\185\185\185\185\179\179\221\
             \221\215\041\041\041\041\078\078\077\077\077\077\077\077\113\113\
             \113\113\149\149\149\149\149\149\185\185\185\185\185\221\221\221\
             \041\041\041\041\084\078\077\077\077\077\077\077\113\113\113\113\
             \113\149\149\149\149\149\185\185\185\185\185\221\221\221\041\041\
             \041\041\084\084\077\077\077\077\077\077\113\113\113\113\113\149\
             \149\149\149\149\149\185\185\185\185\227\221\221\041\041\041\041\
             \084\084\077\077\077\077\077\077\113\113\113\113\113\149\149\149\
             \149\149\149\185\185\185\185\227\227\221\047\047\047\047\084\084\
             \083\083\083\083\077\119\119\119\113\113\113\155\155\149\149\149\
             \191\191\191\227\227\227\227\221\047\047\047\047\084\084\083\083\
             \083\083\083\083\119\119\119\119\155\155\155\155\155\191\191\191\
             \191\191\227\227\227\227\047\047\047\047\084\084\083\083\083\083\
             \083\083\119\119\119\119\119\155\155\155\155\155\155\191\191\191\
             \191\191\227\227\017\017\017\017\054\054\054\054\053\053\053\053\
             \089\089\089\089\089\125\125\125\125\125\125\161\161\161\161\161\
             \197\197\017\017\017\017\017\054\054\054\053\053\053\053\089\089\
             \089\089\089\125\125\125\125\125\161\161\161\161\161\161\197\197\
             \017\017\017\017\017\054\054\054\053\053\053\053\089\089\089\089\
             \089\125\125\125\125\125\161\161\161\161\161\197\197\197\017\017\
             \017\017\017\097\054\054\053\053\053\053\089\089\089\089\125\125\
             \125\125\125\125\161\161\161\161\161\197\197\197\024\017\017\017\
             \060\060\097\097\096\096\096\133\132\132\132\132\132\125\125\125\
             \125\161\161\161\161\161\161\197\197\197\024\024\024\067\060\060\
             \060\096\096\096\096\096\132\132\132\132\132\132\132\168\168\168\
             \168\168\168\204\204\204\204\204\024\024\024\024\067\060\060\060\
             \096\096\096\096\096\132\132\132\132\132\132\168\168\168\168\168\
             \168\204\204\204\204\204\024\024\024\024\067\060\060\060\240\096\
             \096\096\096\095\132\132\132\131\131\131\131\168\168\167\167\167\
             \167\204\203\203\023\023\023\023\066\066\066\240\240\240\059\241\
             \095\095\095\095\095\131\131\131\131\131\167\167\167\167\167\203\
             \203\203\023\023\023\023\066\066\066\066\240\240\059\241\095\095\
             \095\095\095\131\131\131\131\131\131\167\167\167\167\167\203\203\
             \023\023\023\023\066\066\066\066\059\059\059\241\095\095\095\095\
             \095\095\131\131\131\131\131\167\167\167\167\167\203\203\023\023\
             \023\023\073\066\066\066\241\241\241\241\242\095\095\095\095\095\
             \131\131\131\131\131\167\167\167\167\167\203\203\029\029\029\029\
             \072\072\066\066\065\065\065\242\101\101\095\095\095\137\137\137\
             \131\131\173\173\173\167\167\167\209\203\029\029\029\029\072\072\
             \072\065\065\065\065\065\101\101\101\101\101\137\137\137\137\137\
             \173\173\173\173\173\173\209\209\029\029\029\029\072\072\072\072\
             \065\065\065\065\065\101\101\101\101\137\137\137\137\137\137\173\
             \173\173\173\173\209\209\029\029\029\029\072\072\072\072\065\065\
             \065\065\065\101\101\101\101\101\137\137\137\137\137\173\173\173\
             \173\173\209\209\029\029\029\035\072\072\072\072\065\065\065\065\
             \065\101\101\101\101\101\137\137\137\137\137\173\173\173\173\173\
             \209\209\035\035\035\035\035\072\072\072\071\071\065\065\107\107\
             \107\101\101\143\143\143\137\137\137\179\173\173\173\173\215\209\
             \035\035\035\035\035\072\072\071\071\071\071\071\107\107\107\107\
             \107\143\143\143\143\143\179\179\179\179\179\215\215\215\035\035\
             \035\035\035\078\078\071\071\071\071\071\071\107\107\107\107\107\
             \143\143\143\143\179\179\179\179\179\179\215\215\035\035\035\035\
             \035\078\078\071\071\071\071\071\071\107\107\107\107\107\143\143\
             \143\143\143\179\179\179\179\179\215\215\035\035\035\035\041\078\
             \078\078\071\071\071\071\071\107\107\107\107\107\143\143\143\143\
             \143\179\179\179\179\179\215\215\035\041\041\041\041\078\078\078\
             \077\071\071\071\113\113\107\107\107\107\149\149\143\143\143\185\
             \185\179\179\179\221\215\041\041\041\041\041\078\078\077\077\077\
             \077\077\113\113\113\113\113\149\149\149\149\149\185\185\185\185\
             \185\179\221\221\041\041\041\041\041\078\078\077\077\077\077\077\
             \077\113\113\113\113\149\149\149\149\149\185\185\185\185\185\185\
             \221\221\041\041\041\041\041\084\084\077\077\077\077\077\077\113\
             \113\113\113\113\149\149\149\149\149\185\185\185\185\185\221\221\
             \041\041\041\041\041\084\084\077\077\077\077\077\077\113\113\113\
             \113\113\149\149\149\149\149\185\185\185\185\185\221\221\041\041\
             \047\047\047\084\084\084\083\077\077\077\077\113\113\113\113\113\
             \155\149\149\149\149\149\185\185\185\185\227\221\047\047\047\047\
             \047\084\084\083\083\083\083\083\119\119\119\119\119\155\155\155\
             \155\155\191\191\191\191\191\227\227\227\047\047\047\047\047\084\
             \084\083\083\083\083\083\083\119\119\119\119\119\155\155\155\155\
             \155\191\191\191\191\191\227\227\017\017\017\017\055\054\054\054\
             \053\053\053\053\053\089\089\089\089\089\125\125\125\125\125\161\
             \161\161\161\161\197\197\017\017\017\017\017\054\054\054\054\053\
             \053\053\053\089\089\089\089\089\125\125\125\125\125\161\161\161\
             \161\161\197\197\017\017\017\017\017\054\054\054\054\053\053\053\
             \053\089\089\089\089\125\125\125\125\125\125\161\161\161\161\161\
             \197\197\017\017\017\017\017\017\097\054\054\053\053\053\053\089\
             \089\089\089\125\125\125\125\125\161\161\161\161\161\197\197\197\
             \025\017\017\017\060\060\097\097\097\096\096\133\133\089\089\089\
             \089\125\125\125\125\125\161\161\161\161\161\197\197\197\024\024\
             \024\017\060\060\060\060\096\096\096\096\096\132\132\132\132\132\
             \132\168\168\168\168\168\168\204\204\204\204\204\024\024\024\067\
             \067\060\060\060\096\096\096\096\096\132\132\132\132\132\132\168\
             \168\168\168\168\168\168\204\204\204\204\024\024\024\024\067\060\
             \060\060\060\096\096\096\096\096\132\132\132\132\132\132\168\168\
             \168\168\168\168\168\204\204\204\023\024\024\024\067\066\066\060\
             \059\059\059\096\096\095\095\095\095\131\131\131\131\131\167\167\
             \167\167\167\167\203\203\023\023\023\023\066\066\066\066\059\059\
             \059\241\095\095\095\095\095\095\131\131\131\131\131\167\167\167\
             \167\167\203\203\023\023\023\023\066\066\066\066\059\059\059\241\
             \242\095\095\095\095\095\131\131\131\131\131\167\167\167\167\167\
             \203\203\023\023\023\023\073\066\066\066\066\241\241\241\242\095\
             \095\095\095\095\131\131\131\131\131\167\167\167\167\167\203\203\
             \023\023\023\023\073\066\066\066\066\065\242\242\242\101\095\095\
             \095\095\131\131\131\131\131\167\167\167\167\167\203\203\029\029\
             \029\029\029\072\072\066\065\065\065\065\101\101\101\101\101\137\
             \137\137\137\137\173\173\173\173\173\173\209\209\029\029\029\029\
             \029\072\072\072\065\065\065\065\065\101\101\101\101\101\137\137\
             \137\137\137\173\173\173\173\173\209\209\029\029\029\029\029\072\
             \072\072\065\065\065\065\065\101\101\101\101\101\137\137\137\137\
             \137\173\173\173\173\173\209\209\029\029\029\029\029\072\072\072\
             \065\065\065\065\065\101\101\101\101\101\137\137\137\137\137\173\
             \173\173\173\173\209\209\029\029\035\035\035\072\072\072\071\065\
             \065\065\065\107\101\101\101\101\143\137\137\137\137\137\173\173\
             \173\173\173\209\035\035\035\035\035\072\072\072\071\071\071\071\
             \071\107\107\107\107\143\143\143\143\143\137\179\179\179\179\173\
             \215\215\035\035\035\035\035\078\078\072\071\071\071\071\071\107\
             \107\107\107\107\143\143\143\143\143\179\179\179\179\179\215\215\
             \035\035\035\035\035\078\078\078\071\071\071\071\071\107\107\107\
             \107\107\143\143\143\143\143\179\179\179\179\179\215\215\035\035\
             \035\035\035\078\078\078\071\071\071\071\071\107\107\107\107\107\
             \143\143\143\143\143\179\179\179\179\179\215\215\035\035\035\041\
             \041\078\078\078\077\071\071\071\071\113\107\107\107\107\107\143\
             \143\143\143\185\179\179\179\179\221\215\041\041\041\041\041\078\
             \078\078\077\077\077\077\077\113\113\113\113\107\149\149\149\149\
             \185\185\185\185\185\179\221\221\041\041\041\041\041\078\078\078\
             \077\077\077\077\077\113\113\113\113\113\149\149\149\149\149\185\
             \185\185\185\185\221\221\041\041\041\041\041\084\078\078\077\077\
             \077\077\077\113\113\113\113\113\149\149\149\149\149\185\185\185\
             \185\185\221\221\041\041\041\041\041\084\084\078\077\077\077\077\
             \077\113\113\113\113\113\149\149\149\149\149\185\185\185\185\185\
             \221\221\041\041\041\047\047\084\084\084\077\077\077\077\077\113\
             \113\113\113\113\113\149\149\149\149\149\185\185\185\185\227\221\
             \047\047\047\047\047\084\084\084\083\083\083\083\083\119\119\119\
             \119\113\155\155\155\155\191\191\191\191\191\227\227\227\047\047\
             \047\047\047\084\084\084\083\083\083\083\083\119\119\119\119\119\
             \155\155\155\155\155\191\191\191\191\191\227\227\017\017\017\017\
             \055\054\054\054\054\053\053\053\053\089\089\089\089\089\125\125\
             \125\125\125\161\161\161\161\161\197\197\017\017\017\017\017\054\
             \054\054\054\053\053\053\053\089\089\089\089\089\125\125\125\125\
             \125\161\161\161\161\161\197\197\017\017\017\017\017\055\054\054\
             \054\053\053\053\053\089\089\089\089\089\125\125\125\125\125\161\
             \161\161\161\161\197\197\017\017\017\017\017\017\097\054\054\053\
             \053\053\053\089\089\089\089\125\125\125\125\125\161\161\161\161\
             \161\161\197\197\025\017\017\017\061\061\097\097\097\133\133\133\
             \133\089\089\089\089\125\125\125\125\125\161\161\161\161\161\197\
             \197\197\024\024\025\017\061\060\060\060\096\096\096\096\096\132\
             \132\132\132\132\132\168\168\168\168\168\168\204\204\204\204\204\
             \024\024\024\067\067\060\060\060\096\096\096\096\096\132\132\132\
             \132\132\132\168\168\168\168\168\168\168\204\204\204\204\024\024\
             \024\024\067\060\060\060\060\096\096\096\096\096\132\132\132\132\
             \132\132\168\168\168\168\168\168\168\204\204\204\024\024\024\024\
             \067\066\060\060\060\241\096\096\096\096\095\132\132\132\131\131\
             \131\131\168\168\167\167\167\204\204\203\023\023\023\023\073\066\
             \066\066\241\241\241\241\242\095\095\095\095\095\131\131\131\131\
             \131\167\167\167\167\167\203\203\023\023\023\023\073\066\066\066\
             \066\241\241\241\242\095\095\095\095\095\131\131\131\131\131\167\
             \167\167\167\167\203\203\023\023\023\023\073\066\066\066\066\241\
             \241\241\242\095\095\095\095\095\131\131\131\131\131\167\167\167\
             \167\167\203\203\023\023\023\023\073\066\066\066\066\242\242\242\
             \242\243\095\095\095\095\131\131\131\131\131\167\167\167\167\167\
             \203\203\029\029\029\029\029\072\072\066\066\065\065\065\243\101\
             \101\101\095\095\137\137\137\137\131\173\173\173\173\167\209\209\
             \029\029\029\029\029\072\072\072\065\065\065\065\065\101\101\101\
             \101\101\137\137\137\137\137\173\173\173\173\173\209\209\029\029\
             \029\029\029\072\072\072\072\065\065\065\065\101\101\101\101\101\
             \137\137\137\137\137\173\173\173\173\173\209\209\029\029\029\029\
             \029\072\072\072\072\065\065\065\065\101\101\101\101\101\137\137\
             \137\137\137\173\173\173\173\173\209\209\029\029\029\035\035\072\
             \072\072\072\065\065\065\065\065\101\101\101\101\143\137\137\137\
             \137\137\173\173\173\173\173\209\035\035\035\035\035\072\072\072\
             \072\071\071\071\071\107\107\107\107\143\143\143\143\143\137\179\
             \179\179\173\173\215\215\035\035\035\035\035\078\078\072\071\071\
             \071\071\071\107\107\107\107\107\143\143\143\143\143\179\179\179\
             \179\179\215\215\035\035\035\035\035\078\078\078\071\071\071\071\
             \071\107\107\107\107\107\143\143\143\143\143\179\179\179\179\179\
             \215\215\035\035\035\035\035\078\078\078\071\071\071\071\071\071\
             \107\107\107\107\107\143\143\143\143\179\179\179\179\179\215\215\
             \035\035\035\041\041\078\078\078\078\071\071\071\071\071\107\107\
             \107\107\107\143\143\143\143\185\179\179\179\179\179\215\041\041\
             \041\041\041\078\078\078\078\077\077\077\077\113\113\113\113\107\
             \149\149\149\149\185\185\185\185\185\179\221\221\041\041\041\041\
             \041\078\078\078\077\077\077\077\077\113\113\113\113\113\149\149\
             \149\149\149\185\185\185\185\185\221\221\041\041\041\041\041\084\
             \078\078\077\077\077\077\077\113\113\113\113\113\149\149\149\149\
             \149\185\185\185\185\185\221\221\041\041\041\041\041\084\084\078\
             \077\077\077\077\077\077\113\113\113\113\113\149\149\149\149\185\
             \185\185\185\185\221\221\041\041\041\041\047\084\084\084\084\077\
             \077\077\077\077\113\113\113\113\113\149\149\149\149\149\185\185\
             \185\185\227\221\047\047\047\047\047\084\084\084\084\083\083\083\
             \083\119\119\119\119\113\155\155\155\155\149\191\191\191\191\227\
             \227\227\047\047\047\047\047\084\084\084\083\083\083\083\083\119\
             \119\119\119\119\155\155\155\155\155\191\191\191\191\191\227\227\
             \017\017\017\017\055\055\054\054\054\054\053\053\053\090\089\089\
             \089\089\089\125\125\125\125\125\161\161\161\161\161\197\017\017\
             \017\017\017\055\054\054\054\054\053\053\053\090\089\089\089\089\
             \089\125\125\125\125\125\161\161\161\161\161\197\017\017\017\017\
             \017\017\054\054\054\054\053\053\053\090\089\089\089\089\089\125\
             \125\125\125\161\161\161\161\161\197\197\017\017\017\017\017\017\
             \097\054\054\054\053\053\053\090\089\089\089\089\125\125\125\125\
             \125\161\161\161\161\161\197\197\025\017\017\017\061\061\097\097\
             \097\097\133\133\133\133\089\089\089\089\125\125\125\125\125\161\
             \161\161\161\161\197\197\025\025\017\017\061\060\060\097\097\097\
             \096\096\096\133\133\132\132\132\132\132\168\168\168\168\168\168\
             \168\204\204\204\024\024\024\067\067\060\060\060\060\096\096\096\
             \096\096\132\132\132\132\132\132\168\168\168\168\168\168\168\204\
             \204\204\024\024\024\024\067\067\060\060\060\096\096\096\096\096\
             \132\132\132\132\132\132\168\168\168\168\168\168\168\204\204\204\
             \024\024\024\024\067\067\060\060\060\060\096\096\096\096\096\132\
             \132\132\132\132\132\168\168\168\168\168\168\204\204\204\024\024\
             \024\024\067\067\066\060\060\060\060\242\096\096\096\095\095\132\
             \132\131\131\131\168\168\168\167\167\167\204\203\023\023\023\023\
             \073\066\066\066\066\060\242\242\242\096\095\095\095\095\131\131\
             \131\131\131\167\167\167\167\167\203\203\023\023\023\023\073\066\
             \066\066\066\242\242\242\242\243\095\095\095\095\131\131\131\131\
             \131\167\167\167\167\167\203\203\023\023\023\023\073\066\066\066\
             \066\066\242\242\242\243\095\095\095\095\095\131\131\131\131\131\
             \167\167\167\167\167\203\030\030\030\030\073\073\066\066\066\066\
             \066\243\243\243\244\095\095\095\095\131\131\131\131\131\167\167\
             \167\167\167\203\029\029\029\029\029\072\072\072\066\066\065\065\
             \065\244\101\101\101\095\138\137\137\137\137\173\173\173\173\173\
             \209\209\029\029\029\029\029\072\072\072\072\065\065\065\065\065\
             \101\101\101\101\137\137\137\137\137\173\173\173\173\173\209\209\
             \029\029\029\029\029\072\072\072\072\065\065\065\065\065\101\101\
             \101\101\144\137\137\137\137\137\173\173\173\173\209\209\029\029\
             \029\029\029\072\072\072\072\072\065\065\065\065\065\101\101\101\
             \101\137\137\137\137\137\173\173\173\173\173\209\029\029\029\035\
             \035\072\072\072\072\072\071\071\065\065\108\107\144\101\101\143\
             \137\137\137\137\180\173\173\173\173\209\035\035\035\035\035\072\
             \072\072\072\072\071\071\071\071\107\107\107\107\143\143\143\143\
             \143\137\179\179\179\179\215\215\035\035\035\035\035\078\078\078\
             \072\071\071\071\071\071\107\107\107\107\107\143\143\143\143\179\
             \179\179\179\179\215\215\035\035\035\035\035\078\078\078\078\071\
             \071\071\071\071\107\107\107\107\107\143\143\143\143\179\179\179\
             \179\179\215\215\035\035\035\035\035\078\078\078\078\078\071\071\
             \071\071\071\107\107\107\107\107\143\143\143\143\179\179\179\179\
             \179\215\035\035\041\041\041\078\078\078\078\078\077\077\071\071\
             \113\113\107\107\107\107\149\149\143\143\185\185\179\179\179\215\
             \041\041\041\041\041\078\078\078\078\078\077\077\077\077\113\113\
             \113\113\150\149\149\149\149\185\185\185\185\185\221\221\041\041\
             \041\041\041\078\078\078\078\077\077\077\077\077\113\113\113\113\
             \113\149\149\149\149\185\185\185\185\185\221\221\041\041\041\041\
             \041\078\078\078\078\077\077\077\077\077\113\113\113\113\113\149\
             \149\149\149\149\185\185\185\185\221\221\041\041\041\041\041\084\
             \084\084\084\077\077\077\077\077\077\113\113\113\113\113\149\149\
             \149\149\185\185\185\185\185\221\041\041\047\047\047\084\084\084\
             \084\084\083\083\077\077\119\119\119\113\113\155\155\155\149\149\
             \191\191\191\185\185\227\047\047\047\047\047\084\084\084\084\083\
             \083\083\083\083\119\119\119\119\119\155\155\155\155\155\191\191\
             \191\191\227\227\018\018\018\018\055\055\055\054\054\054\054\054\
             \090\090\090\090\090\126\126\126\126\126\125\162\162\162\162\161\
             \198\198\018\018\018\018\018\055\055\054\054\054\054\054\090\090\
             \090\090\089\089\126\126\126\125\125\162\162\161\161\161\198\197\
             \018\018\018\018\018\018\055\054\054\054\054\054\090\090\090\090\
             \089\089\126\126\125\125\125\125\161\161\161\161\161\197\018\018\
             \018\018\018\018\055\055\054\054\054\054\090\090\090\089\089\089\
             \089\125\125\125\125\125\161\161\161\161\197\197\025\018\018\018\
             \061\061\097\097\097\097\054\054\133\133\090\089\089\089\089\125\
             \125\125\125\161\161\161\161\161\197\197\025\025\018\018\061\061\
             \061\097\097\097\097\097\133\133\133\133\133\132\132\169\169\169\
             \169\168\168\161\205\205\204\197\025\025\025\025\067\061\060\060\
             \097\097\097\097\096\096\133\133\133\132\132\132\132\169\168\168\
             \168\168\168\204\204\204\024\024\024\025\067\067\060\060\060\060\
             \096\096\096\096\096\132\132\132\132\132\132\132\168\168\168\168\
             \168\204\204\204\024\024\024\024\067\067\067\060\060\060\060\096\
             \096\096\096\096\132\132\132\132\132\132\168\168\168\168\168\204\
             \204\204\024\024\024\024\067\067\067\060\060\060\060\060\096\096\
             \096\096\096\132\132\132\132\132\168\168\168\168\168\168\204\204\
             \024\024\024\024\024\067\067\066\060\060\060\060\096\096\096\096\
             \096\132\132\132\132\132\168\168\168\168\168\168\204\204\024\024\
             \024\024\024\067\067\066\060\060\060\060\243\096\096\096\096\095\
             \132\132\132\131\131\168\168\168\168\167\204\204\030\030\030\030\
             \073\073\066\066\066\066\066\243\243\243\244\095\095\095\095\131\
             \131\131\131\131\167\167\167\167\167\203\030\030\030\030\073\073\
             \066\066\066\066\066\066\243\243\244\102\245\095\138\138\138\138\
             \131\174\174\174\174\167\210\210\030\030\030\030\030\073\073\066\
             \066\066\066\066\244\244\244\102\245\138\138\138\138\138\131\174\
             \174\174\174\167\210\210\030\030\030\029\029\073\073\072\066\066\
             \066\066\065\102\102\102\245\144\138\138\138\138\174\174\174\174\
             \174\167\210\210\030\029\029\029\029\073\072\072\072\066\066\066\
             \065\245\245\245\245\144\138\138\138\137\180\174\174\174\173\173\
             \216\210\036\029\029\029\029\072\072\072\072\072\072\065\065\065\
             \108\144\144\101\144\144\137\137\137\180\180\173\173\173\216\216\
             \036\036\036\029\029\072\072\072\072\072\072\072\065\108\108\108\
             \108\144\144\144\144\137\137\180\180\180\180\173\216\216\036\036\
             \036\035\035\079\072\072\072\072\072\072\071\108\108\108\108\144\
             \144\144\144\144\180\180\180\180\180\173\216\216\036\036\035\035\
             \035\079\072\072\072\072\072\072\071\108\108\108\108\107\144\144\
             \144\144\143\180\180\180\180\179\216\216\036\035\035\035\035\079\
             \079\072\072\072\072\071\071\108\108\108\107\107\107\144\144\144\
             \143\180\180\180\180\179\216\216\035\035\035\035\035\079\078\078\
             \078\078\078\071\071\071\071\114\150\107\107\150\143\143\143\186\
             \186\179\179\179\222\215\042\042\035\035\041\078\078\078\078\078\
             \078\078\071\114\114\114\114\150\150\150\150\150\186\186\186\186\
             \179\179\222\222\042\042\041\041\041\078\078\078\078\078\078\078\
             \077\114\114\114\114\150\150\150\150\150\186\186\186\186\186\179\
             \222\222\042\041\041\041\041\041\078\078\078\078\078\078\077\114\
             \114\114\114\113\150\150\150\150\149\186\186\186\186\185\222\222\
             \042\041\041\041\041\085\078\078\078\078\078\078\077\114\114\114\
             \113\113\150\150\150\150\149\149\186\186\186\185\228\222\041\041\
             \041\041\041\085\084\084\084\078\078\077\077\077\077\077\113\113\
             \113\113\149\149\149\149\149\185\185\185\228\221\048\048\041\047\
             \047\084\084\084\084\084\084\084\077\120\120\120\120\156\156\156\
             \156\192\192\192\192\192\192\228\228\228\048\047\047\047\047\047\
             \084\084\084\084\084\084\083\120\120\120\120\156\156\156\156\156\
             \155\192\192\192\192\191\228\228\018\018\018\018\018\055\055\054\
             \054\054\054\054\054\090\090\090\090\126\126\126\126\126\126\162\
             \162\162\162\162\198\198\018\018\018\018\018\055\055\055\054\054\
             \054\054\054\090\090\090\090\126\126\126\126\126\162\162\162\162\
             \162\162\198\198\018\018\018\018\018\018\055\055\054\054\054\054\
             \054\090\090\090\090\126\126\126\126\126\162\162\162\162\162\161\
             \198\198\018\018\018\018\018\018\018\055\055\054\054\054\054\090\
             \090\090\090\126\126\126\126\126\125\162\162\161\161\161\198\197\
             \018\018\018\018\018\018\061\097\097\097\054\054\054\090\090\090\
             \090\126\126\126\125\125\125\162\161\161\161\161\161\197\025\025\
             \018\018\018\061\061\097\097\097\097\097\133\133\133\133\133\133\
             \169\169\169\169\169\169\205\205\205\205\205\197\025\025\025\018\
             \061\061\061\061\097\097\097\097\097\133\133\133\133\133\132\169\
             \169\169\169\169\168\168\205\205\205\204\024\025\025\025\067\067\
             \061\060\060\097\097\097\097\096\096\133\133\133\132\132\132\132\
             \169\168\168\168\168\168\204\204\024\024\024\025\067\067\067\060\
             \060\060\060\060\096\096\096\096\096\132\132\132\132\132\168\168\
             \168\168\168\168\204\204\024\024\024\024\067\067\067\067\060\060\
             \060\060\096\096\096\096\096\132\132\132\132\132\132\168\168\168\
             \168\168\204\204\024\024\024\024\024\067\067\067\060\060\060\060\
             \060\096\096\096\096\096\132\132\132\132\132\168\168\168\168\168\
             \204\204\024\024\024\024\024\067\067\067\060\060\060\060\060\096\
             \096\096\096\096\132\132\132\132\132\168\168\168\168\168\204\204\
             \024\024\024\024\024\073\067\067\066\060\060\060\060\244\096\096\
             \096\096\138\132\132\132\131\168\168\168\168\168\204\204\030\030\
             \030\030\030\073\073\066\066\066\066\066\244\244\244\102\245\138\
             \138\138\138\138\131\174\174\174\174\167\210\210\030\030\030\030\
             \030\073\073\066\066\066\066\066\066\244\244\102\245\246\138\138\
             \138\138\138\174\174\174\174\174\210\210\030\030\030\030\030\073\
             \073\073\066\066\066\066\066\102\102\102\245\246\138\138\138\138\
             \138\174\174\174\174\174\210\210\030\030\030\030\030\073\073\073\
             \066\066\066\066\066\245\245\245\245\246\138\138\138\138\138\174\
             \174\174\174\174\210\210\036\036\036\036\036\073\073\072\072\072\
             \066\066\066\108\246\246\246\246\144\144\138\138\180\180\174\174\
             \174\174\216\210\036\036\036\036\036\079\072\072\072\072\072\072\
             \108\108\108\108\108\144\144\144\144\144\180\180\180\180\180\216\
             \216\216\036\036\036\036\036\079\079\072\072\072\072\072\072\108\
             \108\108\108\144\144\144\144\144\180\180\180\180\180\180\216\216\
             \036\036\036\036\035\079\079\072\072\072\072\072\072\108\108\108\
             \108\108\144\144\144\144\144\180\180\180\180\180\216\216\036\036\
             \036\036\035\079\079\072\072\072\072\072\072\108\108\108\108\108\
             \144\144\144\144\144\180\180\180\180\180\216\216\036\042\042\035\
             \035\079\079\079\078\072\072\072\071\071\108\108\108\150\150\150\
             \144\144\144\186\180\180\180\180\222\216\042\042\042\042\042\079\
             \079\078\078\078\078\078\078\114\114\114\114\150\150\150\150\150\
             \186\186\186\186\186\222\222\222\042\042\042\042\041\085\078\078\
             \078\078\078\078\078\114\114\114\114\150\150\150\150\150\150\186\
             \186\186\186\186\222\222\042\042\042\041\041\085\078\078\078\078\
             \078\078\078\114\114\114\114\114\150\150\150\150\150\186\186\186\
             \186\186\222\222\042\042\042\041\041\085\085\078\078\078\078\078\
             \078\114\114\114\114\114\150\150\150\150\150\186\186\186\186\186\
             \222\222\042\042\041\041\041\085\085\078\078\078\078\078\078\077\
             \114\114\114\114\156\150\150\150\150\192\186\186\186\186\228\222\
             \048\048\048\048\041\085\085\084\084\084\084\084\084\120\120\120\
             \120\156\156\156\156\156\192\192\192\192\192\228\228\228\048\048\
             \048\047\047\047\084\084\084\084\084\084\084\120\120\120\120\120\
             \156\156\156\156\156\192\192\192\192\192\228\228\018\018\018\018\
             \018\055\055\055\054\054\054\054\054\090\090\090\090\090\126\126\
             \126\126\126\162\162\162\162\162\198\198\018\018\018\018\018\055\
             \055\055\054\054\054\054\054\090\090\090\090\090\126\126\126\126\
             \126\162\162\162\162\162\198\198\018\018\018\018\018\018\055\055\
             \055\054\054\054\054\090\090\090\090\090\126\126\126\126\126\162\
             \162\162\162\162\198\198\018\018\018\018\018\018\018\055\055\054\
             \054\054\054\054\090\090\090\090\126\126\126\126\126\162\162\162\
             \162\162\198\198\018\018\018\018\018\018\061\097\097\097\054\054\
             \054\054\090\090\090\090\126\126\126\126\162\162\162\162\162\161\
             \198\197\025\025\018\018\018\061\061\061\097\097\097\097\097\133\
             \133\133\133\133\169\169\169\169\169\169\169\205\205\205\205\197\
             \025\025\025\018\061\061\061\061\097\097\097\097\097\133\133\133\
             \133\133\133\169\169\169\169\169\169\205\205\205\205\205\025\025\
             \025\025\067\061\061\061\061\097\097\097\097\097\133\133\133\133\
             \132\132\169\169\169\169\168\168\168\205\205\204\024\024\025\025\
             \067\067\067\061\060\060\060\097\097\096\096\096\096\133\132\132\
             \132\132\132\168\168\168\168\168\204\204\024\024\024\024\067\067\
             \067\067\060\060\060\060\060\096\096\096\096\096\132\132\132\132\
             \132\168\168\168\168\168\204\204\024\024\024\024\024\067\067\067\
             \060\060\060\060\060\096\096\096\096\096\132\132\132\132\132\168\
             \168\168\168\168\204\204\024\024\024\024\024\067\067\067\067\060\
             \060\060\060\096\096\096\096\096\132\132\132\132\132\168\168\168\
             \168\168\204\204\024\024\024\024\024\067\067\067\067\060\060\060\
             \060\060\096\096\096\096\132\132\132\132\132\168\168\168\168\168\
             \204\204\030\030\030\024\024\073\073\067\066\066\066\066\060\102\
             \102\102\245\139\138\138\138\138\174\174\174\174\174\167\210\210\
             \030\030\030\030\030\073\073\073\066\066\066\066\066\102\102\102\
             \245\246\138\138\138\138\138\174\174\174\174\174\210\210\030\030\
             \030\030\030\073\073\073\066\066\066\066\066\102\102\102\245\246\
             \138\138\138\138\138\174\174\174\174\174\210\210\030\030\030\030\
             \030\073\073\073\066\066\066\066\066\245\245\245\245\246\138\138\
             \138\138\138\174\174\174\174\174\210\210\030\030\030\030\030\073\
             \073\073\073\066\066\066\066\109\246\246\246\246\144\138\138\138\
             \138\174\174\174\174\174\210\210\036\036\036\036\036\079\073\072\
             \072\072\072\072\072\108\108\108\108\144\144\144\144\144\138\180\
             \180\180\180\174\216\216\036\036\036\036\036\079\079\072\072\072\
             \072\072\072\108\108\108\108\108\144\144\144\144\144\180\180\180\
             \180\180\216\216\036\036\036\036\036\079\079\079\072\072\072\072\
             \072\108\108\108\108\108\144\144\144\144\144\180\180\180\180\180\
             \216\216\036\036\036\036\036\079\079\079\072\072\072\072\072\108\
             \108\108\108\108\144\144\144\144\144\180\180\180\180\180\216\216\
             \036\036\036\036\042\079\079\079\072\072\072\072\072\114\108\108\
             \108\108\108\144\144\144\144\186\180\180\180\180\222\216\042\042\
             \042\042\042\079\079\079\078\078\078\078\078\114\114\114\114\114\
             \150\150\150\150\186\186\186\186\186\180\222\222\042\042\042\042\
             \042\079\079\078\078\078\078\078\078\114\114\114\114\114\150\150\
             \150\150\150\186\186\186\186\186\222\222\042\042\042\042\042\085\
             \085\078\078\078\078\078\078\114\114\114\114\114\150\150\150\150\
             \150\186\186\186\186\186\222\222\042\042\042\042\042\085\085\078\
             \078\078\078\078\078\114\114\114\114\114\150\150\150\150\150\186\
             \186\186\186\186\222\222\042\042\042\042\041\085\085\085\078\078\
             \078\078\078\077\114\114\114\114\114\150\150\150\150\150\186\186\
             \186\186\228\222\048\048\048\048\048\085\085\085\084\084\084\084\
             \084\120\120\120\120\120\156\156\156\156\192\192\192\192\192\228\
             \228\228\048\048\048\048\047\047\085\084\084\084\084\084\084\120\
             \120\120\120\120\156\156\156\156\156\192\192\192\192\192\228\228\
             \018\018\018\018\018\055\055\055\054\054\054\054\054\090\090\090\
             \090\090\126\126\126\126\126\162\162\162\162\162\198\198\018\018\
             \018\018\018\055\055\055\055\054\054\054\054\054\090\090\090\090\
             \126\126\126\126\126\162\162\162\162\162\198\198\018\018\018\018\
             \018\018\055\055\055\054\054\054\054\054\090\090\090\090\126\126\
             \126\126\126\162\162\162\162\162\198\198\018\018\018\018\018\018\
             \018\055\055\055\054\054\054\054\090\090\090\090\126\126\126\126\
             \126\162\162\162\162\162\198\198\018\018\018\018\018\018\061\097\
             \097\097\054\054\054\054\090\090\090\090\126\126\126\126\126\162\
             \162\162\162\161\198\198\025\025\018\018\018\061\061\061\097\097\
             \097\097\097\133\133\133\133\133\133\169\169\169\169\169\169\205\
             \205\205\205\205\025\025\025\018\061\061\061\061\097\097\097\097\
             \097\133\133\133\133\133\133\169\169\169\169\169\169\205\205\205\
             \205\205\025\025\025\025\067\061\061\061\061\097\097\097\097\097\
             \133\133\133\133\133\132\169\169\169\169\169\168\168\205\205\204\
             \024\025\025\025\067\067\067\061\060\060\060\097\097\097\096\096\
             \096\133\133\132\132\132\169\169\168\168\168\168\204\204\024\024\
             \024\025\067\067\067\067\060\060\060\060\060\096\096\096\096\096\
             \132\132\132\132\132\168\168\168\168\168\204\204\024\024\024\024\
             \024\067\067\067\060\060\060\060\060\096\096\096\096\096\132\132\
             \132\132\132\168\168\168\168\168\204\204\024\024\024\024\024\067\
             \067\067\067\060\060\060\060\096\096\096\096\096\132\132\132\132\
             \132\168\168\168\168\168\204\204\024\024\024\024\024\067\067\067\
             \067\060\060\060\060\060\096\096\096\096\139\132\132\132\132\132\
             \168\168\168\168\204\204\030\024\024\024\024\073\073\067\067\066\
             \066\060\060\245\245\245\245\139\139\138\138\132\175\174\174\174\
             \168\168\211\210\030\030\030\030\030\073\073\073\066\066\066\066\
             \066\245\245\245\245\246\138\138\138\138\138\174\174\174\174\174\
             \210\210\030\030\030\030\030\073\073\073\066\066\066\066\066\245\
             \245\245\245\246\138\138\138\138\138\174\174\174\174\174\210\210\
             \030\030\030\030\030\073\073\073\066\066\066\066\066\245\245\245\
             \245\246\138\138\138\138\138\174\174\174\174\174\210\210\030\030\
             \030\030\030\073\073\073\073\066\066\066\066\109\246\246\246\246\
             \247\138\138\138\138\174\174\174\174\174\210\210\036\036\036\036\
             \036\073\073\073\072\072\072\072\109\108\108\108\108\247\144\144\
             \144\138\138\180\180\180\180\174\216\216\036\036\036\036\036\079\
             \079\072\072\072\072\072\072\108\108\108\108\108\144\144\144\144\
             \144\180\180\180\180\180\216\216\036\036\036\036\036\079\079\079\
             \072\072\072\072\072\108\108\108\108\108\144\144\144\144\144\180\
             \180\180\180\180\216\216\036\036\036\036\036\079\079\079\072\072\
             \072\072\072\072\108\108\108\108\144\144\144\144\144\180\180\180\
             \180\180\216\216\036\036\036\036\036\079\079\079\079\072\072\072\
             \072\115\108\108\108\108\108\144\144\144\144\186\180\180\180\180\
             \180\216\042\042\042\042\042\079\079\079\079\078\078\078\072\114\
             \114\114\114\114\150\150\150\150\186\186\186\186\180\180\222\222\
             \042\042\042\042\042\079\079\079\078\078\078\078\078\114\114\114\
             \114\114\150\150\150\150\150\186\186\186\186\186\222\222\042\042\
             \042\042\042\085\085\078\078\078\078\078\078\114\114\114\114\114\
             \150\150\150\150\150\186\186\186\186\186\222\222\042\042\042\042\
             \042\085\085\078\078\078\078\078\078\078\114\114\114\114\150\150\
             \150\150\150\150\186\186\186\186\222\222\042\042\042\042\041\085\
             \085\085\078\078\078\078\078\078\114\114\114\114\114\150\150\150\
             \150\150\186\186\186\186\228\222\048\048\048\048\048\085\085\085\
             \085\084\084\084\084\121\120\120\120\120\156\156\156\156\150\192\
             \192\192\192\228\228\228\048\048\048\048\048\085\085\084\084\084\
             \084\084\084\120\120\120\120\120\156\156\156\156\156\192\192\192\
             \192\192\228\228\018\018\018\018\018\055\055\055\055\055\054\054\
             \054\091\091\090\090\090\127\126\126\126\126\126\162\162\162\162\
             \162\198\018\018\018\018\018\055\055\055\055\055\054\054\054\054\
             \091\090\090\090\127\126\126\126\126\126\162\162\162\162\162\198\
             \018\018\018\018\018\018\055\055\055\055\055\054\054\054\091\090\
             \090\090\127\126\126\126\126\126\162\162\162\162\198\198\018\018\
             \018\018\018\018\018\055\055\055\055\055\054\054\091\090\090\090\
             \127\126\126\126\126\162\162\162\162\162\198\198\018\018\018\018\
             \018\018\018\098\097\055\055\055\054\054\091\090\090\090\127\126\
             \126\126\126\162\162\162\162\162\198\198\025\025\018\018\018\061\
             \061\061\097\097\097\097\097\097\133\133\133\133\133\170\169\169\
             \169\169\169\169\205\205\205\205\025\025\025\018\018\061\061\061\
             \061\097\097\097\097\097\133\133\133\133\133\133\169\169\169\169\
             \169\169\205\205\205\205\025\025\025\025\068\061\061\061\061\097\
             \097\097\097\097\133\133\133\133\133\133\169\169\169\169\169\169\
             \169\205\205\205\025\025\025\025\067\067\061\061\061\061\061\097\
             \097\097\097\133\133\133\133\133\132\169\169\169\169\169\169\205\
             \205\205\025\025\025\025\025\067\067\061\061\061\060\060\097\097\
             \097\096\096\133\133\133\132\132\132\169\169\168\168\168\205\204\
             \024\024\025\025\025\067\067\067\061\060\060\060\060\097\096\096\
             \096\096\133\132\132\132\132\132\168\168\168\168\168\204\024\024\
             \024\025\025\067\067\067\067\060\060\060\060\060\096\096\096\096\
             \133\132\132\132\132\132\168\168\168\168\168\204\024\024\024\024\
             \024\067\067\067\067\067\060\060\060\060\096\096\096\096\096\132\
             \132\132\132\132\168\168\168\168\168\204\031\024\024\024\024\067\
             \067\067\067\067\067\060\060\060\103\139\139\096\139\139\132\132\
             \132\175\175\168\168\168\211\211\031\031\031\031\031\073\073\073\
             \067\067\066\066\060\103\246\246\246\246\139\139\138\138\175\175\
             \174\174\174\174\211\210\030\030\030\030\030\073\073\073\073\066\
             \066\066\066\109\246\246\246\246\139\138\138\138\138\174\174\174\
             \174\174\210\210\030\030\030\030\030\073\073\073\073\066\066\066\
             \066\109\246\246\246\246\247\138\138\138\138\174\174\174\174\174\
             \210\210\030\030\030\030\030\073\073\073\073\073\066\066\066\066\
             \246\246\246\246\247\138\138\138\138\138\174\174\174\174\174\210\
             \037\037\037\037\037\073\073\073\073\073\073\073\066\109\109\109\
             \247\247\247\248\138\138\138\181\174\174\174\174\174\210\036\036\
             \036\036\036\080\073\073\073\072\072\072\072\109\109\108\108\108\
             \248\144\144\144\138\181\180\180\180\180\217\216\036\036\036\036\
             \036\079\079\079\072\072\072\072\072\072\108\108\108\108\108\144\
             \144\144\144\180\180\180\180\180\216\216\036\036\036\036\036\079\
             \079\079\079\072\072\072\072\072\108\108\108\108\108\144\144\144\
             \144\187\180\180\180\180\223\216\036\036\036\036\036\079\079\079\
             \079\072\072\072\072\072\115\108\108\108\108\108\144\144\144\187\
             \180\180\180\180\180\216\036\036\036\042\042\079\079\079\079\079\
             \072\072\072\115\115\114\114\108\151\151\150\187\187\144\186\180\
             \180\180\180\216\042\042\042\042\042\079\079\079\079\079\078\078\
             \078\115\114\114\114\114\114\150\150\150\150\186\186\186\186\186\
             \223\222\042\042\042\042\042\079\079\079\079\078\078\078\078\078\
             \114\114\114\114\114\150\150\150\150\150\186\186\186\186\222\222\
             \042\042\042\042\042\085\085\079\079\078\078\078\078\078\114\114\
             \114\114\114\150\150\150\150\150\186\186\186\186\229\222\042\042\
             \042\042\042\085\085\085\085\078\078\078\078\078\114\114\114\114\
             \114\114\150\150\150\150\150\186\186\186\186\222\042\042\048\048\
             \048\085\085\085\085\085\078\078\078\121\121\120\120\114\114\157\
             \156\193\150\150\193\192\229\186\186\228\048\048\048\048\048\085\
             \085\085\085\084\084\084\084\121\120\120\120\120\120\156\156\156\
             \156\156\192\192\192\192\228\228\019\019\019\019\019\055\055\055\
             \055\055\055\055\054\091\091\091\091\127\127\127\127\127\126\163\
             \163\163\163\162\199\199\019\019\019\019\019\019\055\055\055\055\
             \055\055\054\091\091\091\091\127\127\127\127\126\126\163\163\163\
             \162\162\199\198\019\019\019\019\019\019\055\055\055\055\055\055\
             \054\091\091\091\091\127\127\127\127\126\126\163\163\162\162\162\
             \199\198\019\019\019\019\019\019\019\055\055\055\055\055\055\054\
             \091\091\091\127\127\127\126\126\126\163\163\162\162\162\162\198\
             \019\019\019\019\019\019\019\098\098\055\055\055\055\054\091\091\
             \091\127\127\127\126\126\126\163\162\162\162\162\162\198\025\019\
             \019\019\019\061\061\061\098\097\097\097\097\097\134\134\133\133\
             \133\170\170\170\169\169\169\169\162\205\205\205\025\025\025\019\
             \019\061\061\061\061\097\097\097\097\097\097\133\133\133\133\133\
             \170\170\169\169\169\169\169\205\205\205\025\025\025\025\068\061\
             \061\061\061\061\097\097\097\097\097\097\133\133\133\133\133\169\
             \169\169\169\169\169\205\205\205\025\025\025\025\068\068\061\061\
             \061\061\061\097\097\097\097\097\133\133\133\133\133\133\169\169\
             \169\169\169\205\205\205\025\025\025\025\025\067\067\061\061\061\
             \061\061\097\097\097\097\097\133\133\133\133\133\169\169\169\169\
             \169\205\205\205\025\025\025\025\025\067\067\067\061\061\061\061\
             \061\097\097\097\097\133\133\133\133\133\132\169\169\169\169\168\
             \205\205\025\025\025\025\025\067\067\067\061\061\061\061\061\097\
             \097\097\097\133\133\133\133\133\132\169\169\169\169\168\205\205\
             \024\024\024\025\025\067\067\067\067\067\061\061\060\060\103\097\
             \139\096\096\133\132\132\132\132\175\168\168\168\168\204\031\031\
             \031\024\024\067\067\067\067\067\067\067\060\103\103\103\139\139\
             \139\139\139\132\132\175\175\175\175\168\211\211\031\031\031\031\
             \031\074\067\067\067\067\067\067\103\103\103\103\103\139\139\139\
             \139\139\175\175\175\175\175\211\211\211\031\031\031\031\031\074\
             \073\067\067\067\067\067\067\103\103\103\103\139\139\139\139\139\
             \138\175\175\175\175\174\211\211\031\031\031\031\031\073\073\073\
             \073\067\067\067\109\103\103\103\103\247\139\139\139\139\138\175\
             \175\175\174\174\211\211\037\037\037\037\037\073\073\073\073\073\
             \073\073\066\109\109\109\247\247\247\248\138\138\138\181\174\174\
             \174\174\174\210\037\037\037\037\037\073\073\073\073\073\073\073\
             \066\109\109\109\109\247\247\248\145\249\138\181\181\181\181\174\
             \217\217\037\037\037\037\037\080\073\073\073\073\073\073\073\109\
             \109\109\109\248\248\248\145\249\138\181\181\181\181\174\217\217\
             \037\037\037\036\036\080\080\073\073\073\073\073\072\109\109\109\
             \109\108\145\145\145\249\144\181\181\181\181\174\217\217\037\036\
             \036\036\036\080\080\079\073\073\073\072\072\072\109\109\109\108\
             \249\249\249\249\144\181\181\181\180\180\223\217\036\036\036\036\
             \036\079\079\079\079\079\072\072\072\072\115\108\108\108\108\108\
             \144\144\144\187\187\180\180\180\223\216\043\043\043\043\043\079\
             \079\079\079\079\079\079\072\115\115\115\115\151\151\151\151\151\
             \187\187\187\187\180\180\223\223\043\043\043\043\042\079\079\079\
             \079\079\079\079\115\115\115\115\115\114\151\151\151\151\187\187\
             \187\187\187\180\223\223\043\043\042\042\042\079\079\079\079\079\
             \079\079\078\115\115\115\115\114\151\151\151\151\150\187\187\187\
             \187\186\223\223\043\042\042\042\042\042\079\079\079\079\079\079\
             \078\115\115\115\114\114\151\151\151\150\150\150\187\187\187\186\
             \223\223\042\042\042\042\042\085\085\085\085\085\078\078\078\078\
             \121\114\114\114\114\114\114\150\150\150\150\186\186\186\229\222\
             \049\049\049\042\042\085\085\085\085\085\085\085\078\121\121\121\
             \121\114\157\157\157\157\193\193\193\193\193\229\229\229\049\048\
             \048\048\048\085\085\085\085\085\085\085\084\121\121\121\121\120\
             \157\157\157\157\156\193\193\193\193\192\229\229\019\019\019\019\
             \019\056\055\055\055\055\055\055\055\091\091\091\091\091\127\127\
             \127\127\127\163\163\163\163\163\199\199\019\019\019\019\019\019\
             \056\055\055\055\055\055\055\091\091\091\091\091\127\127\127\127\
             \127\163\163\163\163\163\199\199\019\019\019\019\019\019\056\055\
             \055\055\055\055\055\091\091\091\091\091\127\127\127\127\126\163\
             \163\163\163\162\199\199\019\019\019\019\019\019\019\056\055\055\
             \055\055\055\055\091\091\091\091\127\127\127\127\126\163\163\163\
             \163\162\199\199\019\019\019\019\019\019\019\098\098\055\055\055\
             \055\055\091\091\091\091\127\127\127\127\126\163\163\163\163\162\
             \199\198\026\019\019\019\019\062\062\062\098\098\098\098\097\134\
             \134\134\134\134\170\170\170\170\170\169\169\206\206\206\206\205\
             \025\026\026\019\019\062\061\061\061\098\098\098\097\097\134\134\
             \134\133\133\133\170\170\170\169\169\169\169\206\205\205\025\025\
             \025\026\068\062\061\061\061\061\097\097\097\097\097\097\097\133\
             \133\133\133\170\169\169\169\169\169\169\205\205\025\025\025\025\
             \068\068\061\061\061\061\061\061\097\097\097\097\097\133\133\133\
             \133\133\169\169\169\169\169\169\205\205\025\025\025\025\025\068\
             \068\061\061\061\061\061\097\097\097\097\097\133\133\133\133\133\
             \169\169\169\169\169\169\205\205\025\025\025\025\025\068\068\067\
             \061\061\061\061\061\097\097\097\097\097\133\133\133\133\133\169\
             \169\169\169\169\205\205\025\025\025\025\025\068\068\067\061\061\
             \061\061\061\097\097\097\097\097\133\133\133\133\133\169\169\169\
             \169\169\205\205\025\025\025\025\025\067\067\067\067\061\061\061\
             \061\061\097\097\097\097\133\133\133\133\132\132\169\169\169\169\
             \205\205\031\031\031\025\025\074\067\067\067\067\067\067\061\103\
             \103\103\103\139\139\139\139\139\175\175\175\175\175\168\211\211\
             \031\031\031\031\031\074\074\067\067\067\067\067\067\103\103\103\
             \103\139\139\139\139\139\175\175\175\175\175\175\211\211\031\031\
             \031\031\031\074\074\067\067\067\067\067\067\103\103\103\103\103\
             \139\139\139\139\139\175\175\175\175\175\211\211\031\031\031\031\
             \031\074\074\067\067\067\067\067\067\103\103\103\103\103\139\139\
             \139\139\139\175\175\175\175\175\211\211\031\031\031\031\031\074\
             \073\073\073\073\067\067\067\109\109\103\103\103\248\139\139\139\
             \139\181\175\175\175\174\217\211\037\037\037\037\037\080\073\073\
             \073\073\073\073\073\109\109\109\109\248\248\248\145\249\138\181\
             \181\181\181\174\217\217\037\037\037\037\037\080\073\073\073\073\
             \073\073\073\109\109\109\109\109\248\248\145\249\250\181\181\181\
             \181\181\217\217\037\037\037\037\037\080\080\073\073\073\073\073\
             \073\109\109\109\109\109\145\145\145\249\250\181\181\181\181\181\
             \217\217\037\037\037\037\037\080\080\080\073\073\073\073\073\109\
             \109\109\109\109\249\249\249\249\250\181\181\181\181\181\217\217\
             \037\037\036\036\036\080\080\080\079\079\073\073\072\115\115\109\
             \109\108\108\250\250\250\250\187\181\181\181\181\223\217\043\043\
             \043\043\043\079\079\079\079\079\079\079\072\115\115\115\115\151\
             \151\151\151\151\187\187\187\187\187\223\223\223\043\043\043\043\
             \043\079\079\079\079\079\079\079\079\115\115\115\115\115\151\151\
             \151\151\187\187\187\187\187\187\223\223\043\043\043\043\043\086\
             \079\079\079\079\079\079\079\115\115\115\115\115\151\151\151\151\
             \151\187\187\187\187\187\223\223\043\043\043\043\043\086\079\079\
             \079\079\079\079\079\115\115\115\115\115\151\151\151\151\151\187\
             \187\187\187\187\223\223\043\043\042\042\042\086\086\079\079\079\
             \079\079\079\078\115\115\115\115\114\151\151\151\151\193\187\187\
             \187\187\229\223\049\049\049\049\049\086\085\085\085\085\085\085\
             \085\121\121\121\121\157\157\157\157\157\193\193\193\193\193\229\
             \229\229\049\049\049\049\048\085\085\085\085\085\085\085\085\121\
             \121\121\121\121\157\157\157\157\157\193\193\193\193\193\229\229\
             \019\019\019\019\019\056\056\055\055\055\055\055\055\091\091\091\
             \091\091\127\127\127\127\127\163\163\163\163\163\199\199\019\019\
             \019\019\019\019\056\056\055\055\055\055\055\091\091\091\091\091\
             \127\127\127\127\127\163\163\163\163\163\199\199\019\019\019\019\
             \019\019\056\056\055\055\055\055\055\055\091\091\091\091\127\127\
             \127\127\127\163\163\163\163\163\199\199\019\019\019\019\019\019\
             \019\056\056\055\055\055\055\055\091\091\091\091\091\127\127\127\
             \127\163\163\163\163\163\199\199\019\019\019\019\019\019\019\098\
             \098\055\055\055\055\055\055\091\091\091\091\127\127\127\127\163\
             \163\163\163\163\199\199\026\019\019\019\019\062\062\062\098\098\
             \098\098\098\134\134\134\134\134\170\170\170\170\170\170\169\206\
             \206\206\206\199\026\026\026\019\019\062\062\062\098\098\098\098\
             \098\097\134\134\134\134\170\170\170\170\170\170\169\169\206\206\
             \206\205\025\026\026\026\068\062\062\061\061\061\098\098\098\097\
             \097\134\134\134\133\133\133\170\170\169\169\169\169\206\206\205\
             \025\025\025\026\068\068\068\061\061\061\061\061\097\097\097\097\
             \097\097\133\133\133\133\170\169\169\169\169\169\205\205\025\025\
             \025\025\025\068\068\061\061\061\061\061\061\097\097\097\097\097\
             \133\133\133\133\133\169\169\169\169\169\205\205\025\025\025\025\
             \025\068\068\068\061\061\061\061\061\097\097\097\097\097\133\133\
             \133\133\133\169\169\169\169\169\205\205\025\025\025\025\025\068\
             \068\068\061\061\061\061\061\097\097\097\097\097\133\133\133\133\
             \133\169\169\169\169\169\205\205\025\025\025\025\025\068\068\068\
             \067\061\061\061\061\061\097\097\097\097\097\133\133\133\133\169\
             \169\169\169\169\205\205\031\031\025\025\025\074\067\067\067\067\
             \067\067\061\103\103\103\103\097\139\139\139\139\133\175\175\175\
             \175\169\211\211\031\031\031\031\025\074\074\067\067\067\067\067\
             \067\103\103\103\103\103\139\139\139\139\139\175\175\175\175\175\
             \211\211\031\031\031\031\031\074\074\074\067\067\067\067\067\103\
             \103\103\103\103\139\139\139\139\139\175\175\175\175\175\211\211\
             \031\031\031\031\031\074\074\074\067\067\067\067\067\103\103\103\
             \103\103\139\139\139\139\139\175\175\175\175\175\211\211\031\031\
             \031\031\031\074\074\074\067\067\067\067\067\067\103\103\103\103\
             \103\139\139\139\139\175\175\175\175\175\211\211\037\037\037\031\
             \031\080\080\073\073\073\073\073\067\109\109\109\109\103\145\145\
             \145\249\139\181\181\181\181\174\217\217\037\037\037\037\037\080\
             \080\073\073\073\073\073\073\109\109\109\109\109\145\145\145\249\
             \250\181\181\181\181\181\217\217\037\037\037\037\037\080\080\073\
             \073\073\073\073\073\109\109\109\109\109\145\145\145\249\250\181\
             \181\181\181\181\217\217\037\037\037\037\037\080\080\080\073\073\
             \073\073\073\109\109\109\109\109\249\249\249\249\250\181\181\181\
             \181\181\217\217\037\037\037\037\037\080\080\080\080\073\073\073\
             \073\073\109\109\109\109\109\250\250\250\250\251\181\181\181\181\
             \217\217\043\043\043\043\043\080\080\079\079\079\079\079\079\115\
             \115\115\115\115\151\151\151\151\251\187\187\187\187\181\223\223\
             \043\043\043\043\043\079\079\079\079\079\079\079\079\115\115\115\
             \115\115\151\151\151\151\151\187\187\187\187\187\223\223\043\043\
             \043\043\043\086\079\079\079\079\079\079\079\115\115\115\115\115\
             \151\151\151\151\151\187\187\187\187\187\223\223\043\043\043\043\
             \043\086\086\079\079\079\079\079\079\115\115\115\115\115\151\151\
             \151\151\151\187\187\187\187\187\223\223\043\043\043\043\043\086\
             \086\086\079\079\079\079\079\079\115\115\115\115\114\151\151\151\
             \151\151\187\187\187\187\229\223\049\049\049\049\049\086\086\086\
             \085\085\085\085\085\121\121\121\121\121\157\157\157\157\157\193\
             \193\193\193\229\229\229\049\049\049\049\049\049\085\085\085\085\
             \085\085\085\121\121\121\121\121\157\157\157\157\157\193\193\193\
             \193\193\229\229\019\019\019\019\019\056\056\056\055\055\055\055\
             \055\091\091\091\091\091\127\127\127\127\127\163\163\163\163\163\
             \199\199\019\019\019\019\019\019\056\056\055\055\055\055\055\055\
             \091\091\091\091\091\127\127\127\127\163\163\163\163\163\199\199\
             \019\019\019\019\019\019\056\056\056\055\055\055\055\055\091\091\
             \091\091\091\127\127\127\127\163\163\163\163\163\199\199\019\019\
             \019\019\019\019\019\056\056\055\055\055\055\055\091\091\091\091\
             \091\127\127\127\127\163\163\163\163\163\199\199\019\019\019\019\
             \019\019\019\098\098\056\055\055\055\055\055\091\091\091\091\127\
             \127\127\127\163\163\163\163\163\199\199\026\019\019\019\019\062\
             \062\062\098\098\098\098\098\134\134\134\134\134\170\170\170\170\
             \170\170\163\206\206\206\206\199\026\026\026\019\019\062\062\062\
             \062\098\098\098\098\134\134\134\134\134\134\170\170\170\170\170\
             \169\169\206\206\206\205\026\026\026\026\068\062\062\062\062\098\
             \098\098\098\097\097\134\134\134\134\170\170\170\170\170\169\169\
             \169\206\206\205\025\025\026\026\068\068\062\062\061\061\061\061\
             \098\097\097\097\097\134\133\133\133\133\170\170\169\169\169\169\
             \205\205\025\025\025\025\026\068\068\068\061\061\061\061\061\097\
             \097\097\097\097\133\133\133\133\133\169\169\169\169\169\205\205\
             \025\025\025\025\025\068\068\068\061\061\061\061\061\097\097\097\
             \097\097\133\133\133\133\133\169\169\169\169\169\205\205\025\025\
             \025\025\025\068\068\068\061\061\061\061\061\097\097\097\097\097\
             \133\133\133\133\133\169\169\169\169\169\205\205\025\025\025\025\
             \025\068\068\068\068\061\061\061\061\061\097\097\097\097\097\133\
             \133\133\133\169\169\169\169\169\205\205\031\025\025\025\025\074\
             \068\067\067\067\067\061\061\103\103\103\097\097\097\139\139\139\
             \133\176\175\175\175\169\212\211\031\031\031\031\025\074\074\067\
             \067\067\067\067\067\103\103\103\103\103\139\139\139\139\139\175\
             \175\175\175\175\211\211\031\031\031\031\031\074\074\074\067\067\
             \067\067\067\103\103\103\103\103\139\139\139\139\139\175\175\175\
             \175\175\211\211\031\031\031\031\031\074\074\074\067\067\067\067\
             \067\067\103\103\103\103\139\139\139\139\139\175\175\175\175\175\
             \211\211\031\031\031\031\031\074\074\074\074\067\067\067\067\067\
             \103\103\103\103\103\139\139\139\139\182\175\175\175\175\218\211\
             \037\031\031\031\031\080\074\074\073\073\073\073\067\067\109\109\
             \109\103\249\249\249\249\139\182\181\181\175\175\217\217\037\037\
             \037\037\037\080\080\080\073\073\073\073\073\109\109\109\109\109\
             \249\249\249\249\250\181\181\181\181\181\217\217\037\037\037\037\
             \037\080\080\080\073\073\073\073\073\109\109\109\109\109\249\249\
             \249\249\250\181\181\181\181\181\217\217\037\037\037\037\037\080\
             \080\080\073\073\073\073\073\109\109\109\109\109\249\249\249\249\
             \250\251\181\181\181\181\217\217\037\037\037\037\037\080\080\080\
             \080\073\073\073\073\073\109\109\109\109\109\250\250\250\250\251\
             \181\181\181\181\217\217\043\043\043\043\043\080\080\080\080\079\
             \079\079\079\115\115\115\115\152\151\151\151\251\251\251\187\187\
             \181\181\223\223\043\043\043\043\043\043\079\079\079\079\079\079\
             \079\115\115\115\115\115\151\151\151\151\151\187\187\187\187\187\
             \223\223\043\043\043\043\043\086\079\079\079\079\079\079\079\115\
             \115\115\115\115\151\151\151\151\151\187\187\187\187\187\223\223\
             \043\043\043\043\043\086\086\079\079\079\079\079\079\115\115\115\
             \115\115\115\151\151\151\151\187\187\187\187\187\223\223\043\043\
             \043\043\043\086\086\086\079\079\079\079\079\079\115\115\115\115\
             \115\151\151\151\151\151\187\187\187\187\229\223\049\049\049\049\
             \049\086\086\086\085\085\085\085\085\122\121\121\121\158\157\157\
             \157\157\157\193\193\193\193\229\229\229\049\049\049\049\049\049\
             \085\085\085\085\085\085\085\121\121\121\121\121\157\157\157\157\
             \157\193\193\193\193\193\229\229\019\019\019\019\019\056\056\056\
             \056\055\055\055\055\055\091\091\091\091\091\127\127\127\127\164\
             \163\163\163\163\200\199\019\019\019\019\019\019\056\056\056\056\
             \055\055\055\055\092\091\091\091\091\127\127\127\127\164\163\163\
             \163\163\200\199\019\019\019\019\019\019\056\056\056\056\055\055\
             \055\055\092\091\091\091\091\091\127\127\127\164\163\163\163\163\
             \200\199\019\019\019\019\019\019\019\056\056\056\056\056\055\055\
             \055\091\091\091\091\091\127\127\127\164\163\163\163\163\199\199\
             \019\019\019\019\019\019\019\098\098\056\056\056\055\055\055\092\
             \091\091\091\091\127\127\127\164\163\163\163\163\199\199\026\019\
             \019\019\019\062\062\062\098\098\098\098\098\134\134\134\134\134\
             \134\170\170\170\170\170\170\163\206\206\206\199\026\026\026\019\
             \019\062\062\062\062\098\098\098\098\098\134\134\134\134\134\170\
             \170\170\170\170\170\206\206\206\206\206\026\026\026\026\068\062\
             \062\062\062\062\098\098\098\098\134\134\134\134\134\134\170\170\
             \170\170\170\169\169\206\206\206\026\026\026\026\068\068\062\062\
             \062\062\062\098\098\098\098\097\134\134\134\134\170\170\170\170\
             \170\169\169\206\206\205\025\026\026\026\026\068\068\062\062\061\
             \061\061\098\098\097\097\097\097\134\134\133\133\133\170\169\169\
             \169\169\206\205\025\025\025\026\026\068\068\068\062\061\061\061\
             \061\098\097\097\097\097\097\133\133\133\133\170\169\169\169\169\
             \206\205\025\025\025\026\026\068\068\068\068\061\061\061\061\061\
             \097\097\097\097\097\133\133\133\133\170\169\169\169\169\169\205\
             \025\025\025\025\025\068\068\068\068\068\061\061\061\061\097\097\
             \097\097\097\133\133\133\133\133\169\169\169\169\169\205\025\025\
             \025\025\025\068\068\068\068\068\068\061\061\061\061\104\140\097\
             \097\140\133\133\133\176\176\169\169\169\212\205\031\032\032\025\
             \025\074\074\068\068\067\067\067\061\061\103\103\103\140\140\140\
             \139\139\139\176\175\175\175\175\212\211\031\031\031\031\032\074\
             \074\074\067\067\067\067\067\104\103\103\103\103\103\139\139\139\
             \139\176\175\175\175\175\212\211\031\031\031\031\031\074\074\074\
             \074\067\067\067\067\110\103\103\103\103\103\139\139\139\139\176\
             \175\175\175\175\175\211\031\031\031\031\031\074\074\074\074\067\
             \067\067\067\067\110\103\103\103\103\139\139\139\139\182\175\175\
             \175\175\175\211\031\031\031\031\031\074\074\074\074\074\067\067\
             \067\067\110\103\103\103\103\103\139\139\139\182\182\175\175\175\
             \218\211\037\037\031\031\031\080\080\074\074\074\073\073\073\110\
             \110\109\109\103\103\250\250\250\250\182\182\181\181\181\218\217\
             \037\037\037\037\037\080\080\080\080\073\073\073\073\073\109\109\
             \109\109\109\250\250\250\250\251\181\181\181\181\217\217\037\037\
             \037\037\037\080\080\080\080\073\073\073\073\073\109\109\109\109\
             \109\250\250\250\250\251\181\181\181\181\217\217\037\037\037\037\
             \037\080\080\080\080\073\073\073\073\073\109\109\109\109\109\250\
             \250\250\250\251\181\181\181\181\224\217\044\044\044\044\044\080\
             \080\080\080\080\080\080\073\116\116\116\116\152\152\152\251\251\
             \251\251\252\181\181\181\224\217\043\043\043\043\043\080\080\080\
             \080\080\079\079\079\116\115\115\115\115\152\152\151\151\151\252\
             \187\187\187\181\224\223\043\043\043\043\043\043\086\079\079\079\
             \079\079\079\079\115\115\115\115\115\151\151\151\151\151\187\187\
             \187\187\230\223\043\043\043\043\043\086\086\079\079\079\079\079\
             \079\079\115\115\115\115\115\151\151\151\151\151\187\187\187\187\
             \230\223\043\043\043\043\043\086\086\086\086\079\079\079\079\079\
             \115\115\115\115\115\151\151\151\151\151\151\187\187\187\230\223\
             \050\050\050\049\049\086\086\086\086\086\086\079\079\122\122\122\
             \115\115\158\158\157\157\194\194\194\230\230\230\230\223\049\049\
             \049\049\049\049\086\086\085\085\085\085\085\085\121\121\121\121\
             \121\157\157\157\157\157\193\193\193\193\193\229\020\020\020\020\
             \020\056\056\056\056\056\056\056\055\092\092\092\092\091\128\128\
             \128\128\164\164\164\164\164\163\200\200\020\020\020\020\020\020\
             \056\056\056\056\056\056\055\092\092\092\092\091\128\128\128\128\
             \164\164\164\164\163\163\200\200\020\020\020\020\020\020\056\056\
             \056\056\056\056\056\055\092\092\092\091\128\128\128\128\164\164\
             \164\164\163\163\200\199\020\020\020\020\020\020\020\056\056\056\
             \056\056\056\055\092\092\092\092\128\128\128\128\164\164\164\164\
             \163\163\200\199\020\020\020\020\020\020\020\020\098\056\056\056\
             \056\056\092\092\092\092\128\128\128\128\164\164\164\163\163\163\
             \200\199\026\020\020\020\020\062\062\062\098\098\098\098\098\098\
             \134\134\134\134\134\134\170\170\170\170\170\207\207\206\206\206\
             \026\026\026\020\020\062\062\062\062\098\098\098\098\098\134\134\
             \134\134\134\134\170\170\170\170\170\170\170\206\206\206\026\026\
             \026\026\020\062\062\062\062\062\098\098\098\098\098\134\134\134\
             \134\134\134\170\170\170\170\170\170\206\206\206\026\026\026\026\
             \068\068\062\062\062\062\062\062\098\098\098\098\134\134\134\134\
             \134\134\170\170\170\170\170\206\206\206\026\026\026\026\026\068\
             \068\062\062\062\062\062\098\098\098\098\098\134\134\134\134\134\
             \170\170\170\170\170\169\206\206\026\026\026\026\026\068\068\068\
             \062\062\062\062\062\098\098\098\098\097\134\134\134\134\170\170\
             \170\170\170\169\206\206\026\026\026\026\026\068\068\068\062\062\
             \062\062\062\098\098\098\098\097\134\134\134\134\170\170\170\170\
             \169\169\206\206\025\025\026\026\026\068\068\068\068\068\062\062\
             \061\061\098\098\097\097\097\097\134\134\133\133\170\170\169\169\
             \169\205\032\032\025\025\026\068\068\068\068\068\068\068\061\104\
             \104\104\140\140\140\140\140\176\176\176\176\176\169\169\212\212\
             \032\032\032\032\032\074\068\068\068\068\068\068\068\104\104\104\
             \104\140\140\140\140\140\176\176\176\176\176\212\212\212\032\032\
             \032\032\032\074\074\074\068\068\068\068\068\104\104\104\104\104\
             \140\140\140\140\176\176\176\176\176\175\212\212\032\032\032\032\
             \032\074\074\074\068\068\068\068\067\104\104\104\104\104\140\140\
             \140\140\176\176\176\176\175\175\212\212\031\031\031\032\032\074\
             \074\074\074\074\067\067\067\110\110\104\104\103\146\146\140\182\
             \182\139\176\175\175\175\175\211\038\038\038\038\038\074\074\074\
             \074\074\074\074\067\110\110\110\110\146\146\146\146\182\182\182\
             \182\182\175\175\218\218\038\038\038\038\038\074\074\074\074\074\
             \074\074\067\110\110\110\110\146\146\146\146\146\182\182\182\182\
             \182\218\218\218\038\038\038\038\038\080\080\074\074\074\074\074\
             \074\110\110\110\110\110\146\146\146\146\251\182\182\182\182\181\
             \218\218\038\038\038\038\038\080\080\080\074\074\074\074\074\116\
             \110\110\110\152\146\146\146\251\251\251\182\182\182\181\218\218\
             \044\044\044\044\044\080\080\080\080\080\080\080\073\116\116\116\
             \116\152\152\152\251\251\251\251\252\181\181\181\224\217\044\044\
             \044\044\044\080\080\080\080\080\080\080\073\116\116\116\116\109\
             \152\152\152\251\251\251\252\188\253\181\224\224\044\044\044\044\
             \044\080\080\080\080\080\080\080\080\116\116\116\116\116\152\152\
             \152\152\252\252\252\188\253\181\224\224\044\044\044\044\043\087\
             \080\080\080\080\080\080\080\116\116\116\116\115\152\152\152\152\
             \151\188\188\188\253\187\224\224\044\043\043\043\043\087\080\080\
             \080\080\080\080\079\079\116\116\115\115\115\152\152\152\151\253\
             \253\253\253\187\224\224\043\043\043\043\043\086\086\086\086\079\
             \079\079\079\079\122\115\115\115\115\158\151\151\151\151\151\187\
             \187\187\230\223\050\050\050\050\050\086\086\086\086\086\086\086\
             \079\122\122\122\122\115\158\158\158\158\194\194\194\194\194\230\
             \230\230\050\050\049\049\049\086\086\086\086\086\086\086\085\122\
             \122\122\122\121\158\158\158\158\157\194\194\194\194\193\230\230\
             \020\020\020\020\020\056\056\056\056\056\056\056\056\092\092\092\
             \092\092\128\128\128\128\128\164\164\164\164\164\200\200\020\020\
             \020\020\020\020\056\056\056\056\056\056\056\092\092\092\092\092\
             \128\128\128\128\128\164\164\164\164\164\200\200\020\020\020\020\
             \020\020\020\056\056\056\056\056\056\056\092\092\092\092\128\128\
             \128\128\128\164\164\164\164\163\200\200\020\020\020\020\020\020\
             \020\056\056\056\056\056\056\056\092\092\092\092\128\128\128\128\
             \128\164\164\164\164\163\200\200\020\020\020\020\020\020\020\020\
             \099\056\056\056\056\056\056\092\092\092\092\128\128\128\128\164\
             \164\164\164\163\200\200\026\020\020\020\020\062\062\062\098\098\
             \098\098\098\098\135\134\134\134\134\134\134\128\170\170\170\207\
             \207\207\206\206\026\026\020\020\020\062\062\062\062\098\098\098\
             \098\098\098\134\134\134\134\134\134\134\170\170\170\170\170\207\
             \206\206\026\026\026\026\020\062\062\062\062\062\098\098\098\098\
             \098\098\134\134\134\134\134\134\170\170\170\170\170\207\206\206\
             \026\026\026\026\069\068\062\062\062\062\062\062\098\098\098\098\
             \098\134\134\134\134\134\170\170\170\170\170\206\206\206\026\026\
             \026\026\026\068\068\062\062\062\062\062\062\098\098\098\098\134\
             \134\134\134\134\134\170\170\170\170\170\206\206\026\026\026\026\
             \026\068\068\068\062\062\062\062\062\098\098\098\098\098\134\134\
             \134\134\134\170\170\170\170\170\206\206\026\026\026\026\026\068\
             \068\068\062\062\062\062\062\098\098\098\098\098\134\134\134\134\
             \134\170\170\170\170\170\206\206\026\026\026\026\026\068\068\068\
             \068\062\062\062\062\062\098\098\098\098\140\134\134\134\134\170\
             \170\170\170\169\206\206\032\032\026\026\026\068\068\068\068\068\
             \068\068\062\104\104\104\104\140\140\140\140\140\176\176\176\176\
             \176\169\212\212\032\032\032\032\026\075\068\068\068\068\068\068\
             \068\104\104\104\104\140\140\140\140\140\176\176\176\176\176\176\
             \212\212\032\032\032\032\032\074\074\068\068\068\068\068\068\104\
             \104\104\104\104\140\140\140\140\140\176\176\176\176\176\212\212\
             \032\032\032\032\032\074\074\068\068\068\068\068\068\104\104\104\
             \104\104\140\140\140\140\140\176\176\176\176\176\212\212\032\032\
             \032\032\032\074\074\074\074\068\068\068\068\110\104\104\104\104\
             \104\140\140\140\140\176\176\176\176\175\218\212\038\038\038\038\
             \032\074\074\074\074\074\074\074\110\110\110\110\110\104\146\146\
             \146\146\182\182\182\182\182\175\218\218\038\038\038\038\038\074\
             \074\074\074\074\074\074\074\110\110\110\110\110\146\146\146\146\
             \182\182\182\182\182\182\218\218\038\038\038\038\038\074\074\074\
             \074\074\074\074\074\110\110\110\110\110\146\146\146\146\146\182\
             \182\182\182\182\218\218\038\038\038\038\038\038\074\074\074\074\
             \074\074\074\110\110\110\110\110\146\146\146\146\146\182\182\182\
             \182\182\218\218\038\038\038\038\038\080\080\080\080\074\074\074\
             \074\116\116\110\110\110\152\152\146\146\146\252\182\182\182\182\
             \224\218\044\044\044\044\044\080\080\080\080\080\080\080\080\116\
             \116\116\116\116\152\152\152\152\252\252\252\188\253\181\224\224\
             \044\044\044\044\044\080\080\080\080\080\080\080\080\116\116\116\
             \116\116\152\152\152\152\152\252\252\188\253\254\224\224\044\044\
             \044\044\044\087\080\080\080\080\080\080\080\116\116\116\116\116\
             \152\152\152\152\152\188\188\188\253\254\224\224\044\044\044\044\
             \044\087\080\080\080\080\080\080\080\116\116\116\116\116\152\152\
             \152\152\152\253\253\253\253\254\224\224\044\044\043\043\043\087\
             \087\087\086\080\080\080\080\079\116\116\116\115\115\152\152\152\
             \151\151\254\254\254\254\230\224\050\050\050\050\050\086\086\086\
             \086\086\086\086\086\122\122\122\122\158\158\158\158\158\194\194\
             \194\194\194\230\230\230\050\050\050\050\050\086\086\086\086\086\
             \086\086\086\122\122\122\122\122\158\158\158\158\158\194\194\194\
             \194\194\230\230\020\020\020\020\020\057\056\056\056\056\056\056\
             \056\092\092\092\092\092\128\128\128\128\128\164\164\164\164\164\
             \200\200\020\020\020\020\020\020\056\056\056\056\056\056\056\056\
             \092\092\092\092\128\128\128\128\128\164\164\164\164\164\200\200\
             \020\020\020\020\020\020\020\056\056\056\056\056\056\056\092\092\
             \092\092\092\128\128\128\128\164\164\164\164\164\200\200\020\020\
             \020\020\020\020\020\020\056\056\056\056\056\056\056\092\092\092\
             \092\128\128\128\128\164\164\164\164\164\200\200\020\020\020\020\
             \020\020\020\020\099\056\056\056\056\056\056\092\092\092\092\128\
             \128\128\128\128\164\164\164\164\200\200\027\020\020\020\020\063\
             \063\063\099\099\099\099\098\056\135\135\135\134\134\171\171\171\
             \128\207\207\207\207\207\207\206\026\026\020\020\020\063\062\062\
             \062\099\098\098\098\098\098\135\135\134\134\134\134\134\171\170\
             \170\170\170\207\206\206\026\026\026\020\020\063\062\062\062\062\
             \098\098\098\098\098\098\098\134\134\134\134\134\134\170\170\170\
             \170\207\206\206\026\026\026\026\069\069\062\062\062\062\062\062\
             \098\098\098\098\098\134\134\134\134\134\134\170\170\170\170\207\
             \206\206\026\026\026\026\026\069\069\062\062\062\062\062\062\098\
             \098\098\098\098\134\134\134\134\134\170\170\170\170\170\206\206\
             \026\026\026\026\026\069\068\068\062\062\062\062\062\098\098\098\
             \098\098\134\134\134\134\134\170\170\170\170\170\206\206\026\026\
             \026\026\026\069\068\068\062\062\062\062\062\098\098\098\098\098\
             \134\134\134\134\134\170\170\170\170\170\206\206\026\026\026\026\
             \026\068\068\068\068\062\062\062\062\062\098\098\098\098\098\134\
             \134\134\134\170\170\170\170\170\206\206\032\026\026\026\026\026\
             \068\068\068\068\068\068\062\104\104\104\104\098\140\140\140\140\
             \134\176\176\176\176\170\212\212\032\032\032\026\026\075\068\068\
             \068\068\068\068\068\104\104\104\104\104\140\140\140\140\140\176\
             \176\176\176\176\212\212\032\032\032\032\032\075\075\068\068\068\
             \068\068\068\104\104\104\104\104\140\140\140\140\140\176\176\176\
             \176\176\212\212\032\032\032\032\032\075\075\068\068\068\068\068\
             \068\104\104\104\104\104\140\140\140\140\140\176\176\176\176\176\
             \212\212\032\032\032\032\032\074\074\074\074\068\068\068\068\068\
             \104\104\104\104\104\140\140\140\140\140\176\176\176\176\212\212\
             \038\038\032\032\032\074\074\074\074\074\074\074\068\110\110\110\
             \110\104\146\146\146\146\140\182\182\182\182\176\218\218\038\038\
             \038\038\038\081\074\074\074\074\074\074\074\110\110\110\110\110\
             \146\146\146\146\146\182\182\182\182\182\218\218\038\038\038\038\
             \038\081\074\074\074\074\074\074\074\110\110\110\110\110\146\146\
             \146\146\146\182\182\182\182\182\218\218\038\038\038\038\038\081\
             \074\074\074\074\074\074\074\110\110\110\110\110\146\146\146\146\
             \146\182\182\182\182\182\218\218\038\038\038\038\038\038\081\074\
             \074\074\074\074\074\074\110\110\110\110\110\146\146\146\146\146\
             \182\182\182\182\225\218\044\044\044\044\038\087\080\080\080\080\
             \080\080\080\116\116\116\116\110\152\152\152\152\146\188\188\188\
             \253\182\224\224\044\044\044\044\044\087\080\080\080\080\080\080\
             \080\116\116\116\116\116\152\152\152\152\152\188\188\188\253\254\
             \224\224\044\044\044\044\044\087\080\080\080\080\080\080\080\116\
             \116\116\116\116\152\152\152\152\152\188\188\188\253\254\224\224\
             \044\044\044\044\044\087\080\080\080\080\080\080\080\116\116\116\
             \116\116\152\152\152\152\152\253\253\253\253\254\224\224\044\044\
             \044\044\044\087\087\087\087\080\080\080\080\080\116\116\116\116\
             \116\152\152\152\152\152\254\254\254\254\255\224\050\050\050\050\
             \050\087\086\086\086\086\086\086\086\122\122\122\122\122\158\158\
             \158\158\195\194\194\194\194\255\230\230\050\050\050\050\050\086\
             \086\086\086\086\086\086\086\122\122\122\122\122\158\158\158\158\
             \158\194\194\194\194\194\230\230\020\020\020\020\020\057\057\056\
             \056\056\056\056\056\092\092\092\092\092\128\128\128\128\128\164\
             \164\164\164\164\200\200\020\020\020\020\020\020\057\056\056\056\
             \056\056\056\056\092\092\092\092\092\128\128\128\128\128\164\164\
             \164\164\200\200\020\020\020\020\020\020\020\057\056\056\056\056\
             \056\056\092\092\092\092\092\128\128\128\128\128\164\164\164\164\
             \200\200\020\020\020\020\020\020\020\020\056\056\056\056\056\056\
             \056\092\092\092\092\128\128\128\128\128\164\164\164\164\200\200\
             \020\020\020\020\020\020\020\020\099\056\056\056\056\056\056\092\
             \092\092\092\128\128\128\128\128\164\164\164\164\200\200\027\020\
             \020\020\020\063\063\063\099\099\099\099\098\135\135\135\135\135\
             \092\171\171\171\171\207\207\207\207\207\207\200\027\027\020\020\
             \020\063\062\062\062\099\099\099\098\098\135\135\135\135\134\134\
             \171\171\171\170\170\170\170\207\207\206\026\026\027\020\020\063\
             \062\062\062\062\098\098\098\098\098\098\098\134\134\134\134\134\
             \134\170\170\170\170\207\207\206\026\026\026\026\069\069\062\062\
             \062\062\062\062\098\098\098\098\098\134\134\134\134\134\134\170\
             \170\170\170\207\207\206\026\026\026\026\026\069\069\062\062\062\
             \062\062\062\098\098\098\098\098\134\134\134\134\134\170\170\170\
             \170\170\206\206\026\026\026\026\026\069\069\068\062\062\062\062\
             \062\098\098\098\098\098\134\134\134\134\134\170\170\170\170\170\
             \206\206\026\026\026\026\026\069\069\068\062\062\062\062\062\062\
             \098\098\098\098\134\134\134\134\134\134\170\170\170\170\206\206\
             \026\026\026\026\026\068\068\068\068\062\062\062\062\062\098\098\
             \098\098\098\134\134\134\134\134\170\170\170\170\206\206\032\026\
             \026\026\026\075\068\068\068\068\068\062\062\104\104\104\098\098\
             \140\140\140\140\134\134\176\176\176\170\213\212\032\032\032\026\
             \026\075\075\068\068\068\068\068\068\104\104\104\104\104\140\140\
             \140\140\140\176\176\176\176\176\212\212\032\032\032\032\032\075\
             \075\068\068\068\068\068\068\104\104\104\104\104\140\140\140\140\
             \140\176\176\176\176\176\212\212\032\032\032\032\032\075\075\068\
             \068\068\068\068\068\068\104\104\104\104\140\140\140\140\140\176\
             \176\176\176\176\212\212\032\032\032\032\032\075\075\074\068\068\
             \068\068\068\068\104\104\104\104\104\140\140\140\140\140\176\176\
             \176\176\219\212\038\032\032\032\032\032\074\074\074\074\074\068\
             \068\110\110\110\104\104\146\146\146\140\140\140\182\182\182\176\
             \219\218\038\038\038\038\038\081\074\074\074\074\074\074\074\110\
             \110\110\110\110\146\146\146\146\146\182\182\182\182\182\218\218\
             \038\038\038\038\038\081\081\074\074\074\074\074\074\110\110\110\
             \110\110\146\146\146\146\146\182\182\182\182\182\218\218\038\038\
             \038\038\038\081\081\074\074\074\074\074\074\110\110\110\110\110\
             \110\146\146\146\146\182\182\182\182\182\218\218\038\038\038\038\
             \038\081\081\074\074\074\074\074\074\074\110\110\110\110\110\146\
             \146\146\146\146\182\182\182\182\225\218\044\038\038\038\038\087\
             \080\080\080\080\080\074\074\074\116\116\116\110\110\152\152\152\
             \146\253\253\253\253\182\225\224\044\044\044\044\044\087\080\080\
             \080\080\080\080\080\116\116\116\116\116\152\152\152\152\152\253\
             \253\253\253\254\224\224\044\044\044\044\044\087\080\080\080\080\
             \080\080\080\116\116\116\116\116\152\152\152\152\152\253\253\253\
             \253\254\224\224\044\044\044\044\044\087\080\080\080\080\080\080\
             \080\116\116\116\116\116\152\152\152\152\152\253\253\253\253\254\
             \255\224\044\044\044\044\044\087\087\087\087\080\080\080\080\080\
             \116\116\116\116\116\152\152\152\152\152\254\254\254\254\255\224\
             \050\050\050\050\050\087\087\087\087\086\086\086\086\123\122\122\
             \122\159\158\158\158\158\195\194\194\194\255\255\255\230\050\050\
             \050\050\050\050\086\086\086\086\086\086\086\122\122\122\122\122\
             \158\158\158\158\158\194\194\194\194\194\230\230\020\020\020\020\
             \020\057\057\057\057\056\056\056\056\056\092\092\092\092\092\128\
             \128\128\128\128\164\164\164\164\201\200\020\020\020\020\020\020\
             \057\057\057\056\056\056\056\056\092\092\092\092\092\128\128\128\
             \128\128\164\164\164\164\201\200\020\020\020\020\020\020\020\057\
             \057\057\056\056\056\056\056\092\092\092\092\092\128\128\128\128\
             \128\164\164\164\201\200\020\020\020\020\020\020\020\057\057\057\
             \057\056\056\056\056\092\092\092\092\092\128\128\128\128\128\164\
             \164\164\201\200\020\020\020\020\020\020\020\020\099\057\057\057\
             \056\056\056\056\056\092\092\092\128\128\128\128\128\164\164\164\
             \201\200\027\020\020\020\020\063\063\063\099\099\099\099\099\135\
             \135\135\135\135\135\171\171\171\171\171\207\207\207\207\207\200\
             \027\027\020\020\020\063\063\063\063\099\099\099\099\099\135\135\
             \135\135\135\171\171\171\171\171\207\207\207\207\207\206\027\027\
             \027\027\020\063\063\063\063\099\099\099\099\099\098\135\135\135\
             \135\134\171\171\171\171\207\207\207\207\207\206\027\027\027\027\
             \069\069\063\063\063\063\062\099\099\099\098\098\098\135\135\134\
             \134\134\171\171\171\207\207\207\207\206\026\026\027\027\027\069\
             \069\069\063\062\062\062\062\098\098\098\098\098\135\134\134\134\
             \134\134\170\170\170\170\207\206\026\026\026\027\027\069\069\069\
             \062\062\062\062\062\098\098\098\098\098\098\134\134\134\134\134\
             \170\170\170\170\207\206\026\026\026\026\027\069\069\069\069\062\
             \062\062\062\062\098\098\098\098\098\134\134\134\134\134\170\170\
             \170\170\207\206\026\026\026\026\026\069\069\069\069\062\062\062\
             \062\062\062\098\098\098\098\098\134\134\134\134\134\170\170\170\
             \170\206\026\026\026\026\026\075\069\069\069\068\068\062\062\062\
             \062\062\098\098\098\098\134\134\134\134\134\170\170\170\213\206\
             \032\032\026\026\026\075\075\068\068\068\068\068\062\062\104\104\
             \104\104\141\140\140\140\140\177\176\176\176\176\213\212\032\032\
             \032\032\026\075\075\075\068\068\068\068\068\062\104\104\104\104\
             \104\140\140\140\140\140\176\176\176\176\213\212\032\032\032\032\
             \026\075\075\075\068\068\068\068\068\068\104\104\104\104\104\140\
             \140\140\140\140\176\176\176\176\213\212\032\032\032\032\032\075\
             \075\075\075\068\068\068\068\068\104\104\104\104\104\140\140\140\
             \140\140\176\176\176\176\176\212\032\032\032\032\032\075\075\075\
             \075\075\068\068\068\068\111\104\104\104\104\104\104\140\140\140\
             \140\176\176\176\219\212\038\038\032\032\032\081\081\074\074\074\
             \074\074\068\068\110\110\110\104\104\146\146\146\146\183\182\182\
             \182\182\219\218\038\038\038\038\038\081\081\081\074\074\074\074\
             \074\074\110\110\110\110\104\146\146\146\146\146\182\182\182\182\
             \219\218\038\038\038\038\038\081\081\081\074\074\074\074\074\074\
             \110\110\110\110\110\146\146\146\146\146\182\182\182\182\219\218\
             \038\038\038\038\038\081\081\081\081\074\074\074\074\074\110\110\
             \110\110\110\146\146\146\146\146\182\182\182\182\225\218\038\038\
             \038\038\038\081\081\081\081\074\074\074\074\074\117\110\110\110\
             \110\153\146\146\146\146\146\182\182\182\225\218\044\044\038\038\
             \038\087\087\087\081\080\080\080\074\074\116\116\116\116\110\152\
             \152\152\146\146\254\254\254\254\225\224\044\044\044\044\044\087\
             \087\087\087\080\080\080\080\080\116\116\116\116\116\152\152\152\
             \152\152\254\254\254\254\255\224\044\044\044\044\044\087\087\087\
             \087\080\080\080\080\080\116\116\116\116\116\152\152\152\152\152\
             \254\254\254\254\255\224\044\044\044\044\044\087\087\087\087\080\
             \080\080\080\080\116\116\116\116\116\152\152\152\152\152\254\254\
             \254\254\255\224\051\051\051\051\051\087\087\087\087\087\087\087\
             \080\123\123\123\123\116\159\159\159\159\195\195\195\255\255\255\
             \255\224\050\050\050\050\050\050\086\086\086\086\086\086\086\086\
             \122\122\122\122\122\158\158\158\158\158\194\194\194\194\194\230\
             \021\021\021\021\021\057\057\057\057\057\057\057\056\093\093\093\
             \093\092\129\129\129\129\165\165\165\165\165\201\201\201\021\021\
             \021\021\021\021\057\057\057\057\057\057\056\093\093\093\093\092\
             \129\129\129\129\165\165\165\165\165\201\201\201\021\021\021\021\
             \021\021\021\057\057\057\057\057\057\056\093\093\093\093\129\129\
             \129\129\165\165\165\165\165\201\201\201\021\021\021\021\021\021\
             \021\057\057\057\057\057\057\057\093\093\093\093\092\129\129\129\
             \129\165\165\165\165\201\201\201\021\021\021\021\021\021\021\021\
             \099\057\057\057\057\057\056\093\093\093\092\129\129\129\129\165\
             \165\165\165\201\201\201\027\021\021\021\021\063\063\063\099\099\
             \099\099\099\099\135\135\135\135\135\171\171\171\171\171\171\207\
             \207\207\207\207\027\027\021\021\021\063\063\063\063\099\099\099\
             \099\099\135\135\135\135\135\135\171\171\171\171\171\171\207\207\
             \207\207\027\027\027\027\021\063\063\063\063\063\099\099\099\099\
             \099\135\135\135\135\135\171\171\171\171\171\171\207\207\207\207\
             \027\027\027\027\069\069\063\063\063\063\063\099\099\099\099\099\
             \099\135\135\135\135\171\171\171\171\171\207\207\207\207\027\027\
             \027\027\027\069\069\063\063\063\063\063\099\099\099\099\099\135\
             \135\135\135\135\171\171\171\171\171\207\207\207\027\027\027\027\
             \027\069\069\069\063\063\063\063\063\099\099\099\099\098\135\135\
             \135\135\171\171\171\171\171\207\207\207\027\027\027\027\027\069\
             \069\069\063\063\063\063\063\099\099\099\099\098\135\135\135\135\
             \134\171\171\171\171\207\207\207\026\026\027\027\027\069\069\069\
             \069\069\063\063\062\062\099\099\099\098\098\135\135\135\134\134\
             \171\171\171\170\170\207\033\033\026\027\027\069\069\069\069\069\
             \069\069\062\105\105\105\105\141\141\141\141\141\177\177\177\177\
             \177\213\213\213\033\033\033\033\026\075\075\069\069\069\069\069\
             \069\105\105\105\105\141\141\141\141\141\177\177\177\177\177\213\
             \213\213\033\033\033\033\033\075\075\075\069\069\069\069\069\105\
             \105\105\105\105\141\141\141\141\177\177\177\177\177\213\213\213\
             \033\033\033\033\033\075\075\075\069\069\069\069\069\105\105\105\
             \105\105\141\141\141\141\140\177\177\177\177\213\213\213\032\032\
             \033\033\033\075\075\075\075\075\068\068\068\111\111\105\105\104\
             \104\147\141\183\140\140\183\177\219\176\176\213\039\039\039\032\
             \032\075\075\075\075\075\075\075\068\111\111\111\111\104\147\147\
             \147\183\183\183\183\183\219\219\219\219\039\039\039\039\039\081\
             \075\075\075\075\075\075\075\111\111\111\111\147\147\147\147\147\
             \183\183\183\183\183\219\219\219\039\039\039\039\039\081\081\081\
             \075\075\075\075\075\111\111\111\111\111\147\147\147\147\147\183\
             \183\183\183\219\219\219\039\039\039\039\039\081\081\081\081\075\
             \075\075\075\111\111\111\111\153\147\147\147\147\147\183\183\183\
             \183\219\219\219\045\045\045\039\039\081\081\081\081\081\081\074\
             \074\117\117\117\110\110\153\153\147\147\189\189\189\225\225\225\
             \225\218\045\045\045\045\045\081\081\081\081\081\081\081\074\117\
             \117\117\117\110\153\153\153\153\189\189\189\189\225\225\225\225\
             \045\045\045\045\045\081\081\081\081\081\081\081\081\117\117\117\
             \117\153\153\153\153\153\189\189\189\189\189\225\225\225\045\045\
             \045\045\045\087\081\081\081\081\081\081\081\117\117\117\117\117\
             \153\153\153\153\195\189\189\189\189\255\225\225\045\045\045\045\
             \045\087\087\087\087\081\081\081\081\117\117\117\117\159\159\153\
             \153\153\195\189\189\189\255\255\255\225\051\051\051\051\051\087\
             \087\087\087\087\087\087\080\123\123\123\123\116\159\159\159\159\
             \195\195\195\255\255\255\255\224\051\051\051\051\051\087\087\087\
             \087\087\087\087\080\123\123\123\123\116\159\159\159\159\195\195\
             \195\195\255\255\255\231\051\051\051\051\051\087\087\087\087\087\
             \087\087\087\123\123\123\123\123\159\159\159\159\158\195\195\195\
             \195\194\231\231\021\021\021\021\021\057\057\057\057\057\057\057\
             \057\093\093\093\093\093\129\129\129\129\129\165\165\165\165\165\
             \201\201\021\021\021\021\021\021\057\057\057\057\057\057\057\057\
             \093\093\093\093\093\129\129\129\129\165\165\165\165\165\201\201\
             \021\021\021\021\021\021\021\057\057\057\057\057\057\057\093\093\
             \093\093\093\129\129\129\129\129\165\165\165\165\201\201\021\021\
             \021\021\021\021\021\021\057\057\057\057\057\057\057\093\093\093\
             \093\129\129\129\129\129\165\165\165\165\201\201\021\021\021\021\
             \021\021\021\021\099\057\057\057\057\057\057\057\093\093\093\093\
             \129\129\129\129\165\165\165\165\201\201\027\021\021\021\021\063\
             \063\063\099\099\099\099\099\057\057\057\135\135\135\135\129\129\
             \129\171\171\171\165\165\207\207\027\027\021\021\021\063\063\063\
             \063\099\099\099\099\099\099\135\135\135\135\135\135\135\171\171\
             \171\171\171\171\207\207\027\027\027\021\021\063\063\063\063\063\
             \099\099\099\099\099\099\099\135\135\135\135\135\171\171\171\171\
             \171\171\207\207\027\027\027\027\069\069\063\063\063\063\063\063\
             \099\099\099\099\099\135\135\135\135\135\135\171\171\171\171\171\
             \207\207\027\027\027\027\027\069\069\063\063\063\063\063\063\099\
             \099\099\099\099\135\135\135\135\135\171\171\171\171\171\207\207\
             \027\027\027\027\027\069\069\069\063\063\063\063\063\099\099\099\
             \099\099\135\135\135\135\135\171\171\171\171\171\207\207\027\027\
             \027\027\027\069\069\069\063\063\063\063\063\099\099\099\099\099\
             \135\135\135\135\135\171\171\171\171\171\207\207\027\027\027\027\
             \027\069\069\069\069\063\063\063\063\063\099\099\099\099\099\135\
             \135\135\135\135\171\171\171\171\207\207\033\027\027\027\027\027\
             \069\069\069\069\069\069\063\105\105\105\105\141\141\141\141\141\
             \135\177\177\177\177\171\213\213\033\033\033\027\027\027\069\069\
             \069\069\069\069\069\105\105\105\105\105\141\141\141\141\141\177\
             \177\177\177\177\213\213\033\033\033\033\027\027\075\069\069\069\
             \069\069\069\105\105\105\105\105\141\141\141\141\141\177\177\177\
             \177\177\213\213\033\033\033\033\033\075\075\069\069\069\069\069\
             \069\105\105\105\105\105\141\141\141\141\141\177\177\177\177\177\
             \213\213\033\033\033\033\033\075\075\075\075\069\069\069\069\111\
             \105\105\105\105\105\141\141\141\141\141\177\177\177\177\213\213\
             \039\033\033\033\033\075\075\075\075\075\075\075\069\111\111\111\
             \111\105\147\147\147\147\141\183\183\183\183\177\219\219\039\039\
             \039\039\033\075\075\075\075\075\075\075\075\111\111\111\111\111\
             \147\147\147\147\147\183\183\183\183\183\219\219\039\039\039\039\
             \039\039\075\075\075\075\075\075\075\111\111\111\111\111\147\147\
             \147\147\147\183\183\183\183\183\219\219\039\039\039\039\039\039\
             \075\075\075\075\075\075\075\111\111\111\111\111\147\147\147\147\
             \147\183\183\183\183\183\219\219\039\039\039\039\039\039\081\081\
             \075\075\075\075\075\075\111\111\111\111\111\147\147\147\147\147\
             \183\183\183\183\183\219\045\045\039\039\039\081\081\081\081\081\
             \081\081\075\117\117\117\117\111\153\153\153\153\147\189\189\189\
             \189\183\225\225\045\045\045\045\045\081\081\081\081\081\081\081\
             \081\117\117\117\117\117\153\153\153\153\153\189\189\189\189\189\
             \225\225\045\045\045\045\045\081\081\081\081\081\081\081\081\117\
             \117\117\117\117\153\153\153\153\153\189\189\189\189\189\225\225\
             \045\045\045\045\045\045\081\081\081\081\081\081\081\117\117\117\
             \117\117\153\153\153\153\153\189\189\189\189\189\225\225\045\045\
             \045\045\045\045\081\081\081\081\081\081\081\081\117\117\117\117\
             \117\153\153\153\153\153\189\189\189\189\189\225\051\051\051\051\
             \051\087\087\087\087\087\087\087\087\123\123\123\123\123\159\159\
             \159\159\153\195\195\195\195\189\231\231\051\051\051\051\051\087\
             \087\087\087\087\087\087\087\123\123\123\123\123\159\159\159\159\
             \159\195\195\195\195\195\231\231"

type map = {
  count_r : int;
  count_g : int;
  count_b : int;
  index_r : string;
  index_g : string;
  index_b : string;
  map : string;
}

let colors_16 = {
  count_r = 6;
  count_g = 6;
  count_b = 6;
  index_r = data0;
  index_g = data0;
  index_b = data1;
  map = data2;
}

let colors_88 = {
  count_r = 11;
  count_g = 11;
  count_b = 11;
  index_r = data3;
  index_g = data3;
  index_b = data3;
  map = data4;
}

let colors_256 = {
  count_r = 30;
  count_g = 30;
  count_b = 30;
  index_r = data5;
  index_g = data5;
  index_b = data5;
  map = data6;
}
OCaml

Innovation. Community. Security.