(define-private (set-treasure-4 (id uint) (claim bool))
(begin
(try! (contract-call? 'SP3T54N6G4HN7GPBCYMSDKP4W00C45X19GQ4VT13Y.skullcoin-storyline-g1-base set-treasure-phase-4 id claim))
(ok true)))
(set-treasure-4 u5 true)
(set-treasure-4 u10 true)
(set-treasure-4 u15 true)
(set-treasure-4 u20 true)
(set-treasure-4 u25 true)
(set-treasure-4 u30 true)
(set-treasure-4 u35 true)
(set-treasure-4 u40 true)
(set-treasure-4 u45 true)
(set-treasure-4 u50 true)
(set-treasure-4 u55 true)
(set-treasure-4 u60 true)
(set-treasure-4 u65 true)
(set-treasure-4 u70 true)
(set-treasure-4 u75 true)
(set-treasure-4 u80 true)
(set-treasure-4 u85 true)
(set-treasure-4 u90 true)
(set-treasure-4 u95 true)
(set-treasure-4 u100 true)
(set-treasure-4 u105 true)
(set-treasure-4 u110 true)
(set-treasure-4 u115 true)
(set-treasure-4 u120 true)
(set-treasure-4 u125 true)
(set-treasure-4 u130 true)
(set-treasure-4 u135 true)
(set-treasure-4 u140 true)
(set-treasure-4 u145 true)
(set-treasure-4 u150 true)
(set-treasure-4 u155 true)
(set-treasure-4 u160 true)
(set-treasure-4 u165 true)
(set-treasure-4 u170 true)
(set-treasure-4 u175 true)
(set-treasure-4 u180 true)
(set-treasure-4 u185 true)
(set-treasure-4 u190 true)
(set-treasure-4 u195 true)
(set-treasure-4 u200 true)
(set-treasure-4 u205 true)
(set-treasure-4 u210 true)
(set-treasure-4 u215 true)
(set-treasure-4 u220 true)
(set-treasure-4 u225 true)
(set-treasure-4 u230 true)
(set-treasure-4 u235 true)
(set-treasure-4 u240 true)
(set-treasure-4 u245 true)
(set-treasure-4 u250 true)
(set-treasure-4 u255 true)
(set-treasure-4 u260 true)
(set-treasure-4 u265 true)
(set-treasure-4 u270 true)
(set-treasure-4 u275 true)
(set-treasure-4 u280 true)
(set-treasure-4 u285 true)
(set-treasure-4 u290 true)
(set-treasure-4 u295 true)
(set-treasure-4 u300 true)
(set-treasure-4 u305 true)
(set-treasure-4 u310 true)
(set-treasure-4 u315 true)
(set-treasure-4 u320 true)
(set-treasure-4 u325 true)
(set-treasure-4 u330 true)
(set-treasure-4 u335 true)
(set-treasure-4 u340 true)
(set-treasure-4 u345 true)
(set-treasure-4 u350 true)
(set-treasure-4 u355 true)
(set-treasure-4 u360 true)
(set-treasure-4 u365 true)
(set-treasure-4 u370 true)
(set-treasure-4 u375 true)
(set-treasure-4 u380 true)
(set-treasure-4 u385 true)
(set-treasure-4 u390 true)
(set-treasure-4 u395 true)
(set-treasure-4 u400 true)
(set-treasure-4 u405 true)
(set-treasure-4 u410 true)
(set-treasure-4 u415 true)
(set-treasure-4 u420 true)
(set-treasure-4 u425 true)
(set-treasure-4 u430 true)
(set-treasure-4 u435 true)
(set-treasure-4 u440 true)
(set-treasure-4 u445 true)
(set-treasure-4 u450 true)
(set-treasure-4 u455 true)
(set-treasure-4 u460 true)
(set-treasure-4 u465 true)
(set-treasure-4 u470 true)
(set-treasure-4 u475 true)
(set-treasure-4 u480 true)
(set-treasure-4 u485 true)
(set-treasure-4 u490 true)
(set-treasure-4 u495 true)
(set-treasure-4 u500 true)
(set-treasure-4 u505 true)
(set-treasure-4 u510 true)
(set-treasure-4 u515 true)
(set-treasure-4 u520 true)
(set-treasure-4 u525 true)
(set-treasure-4 u530 true)
(set-treasure-4 u535 true)
(set-treasure-4 u540 true)
(set-treasure-4 u545 true)
(set-treasure-4 u550 true)
(set-treasure-4 u555 true)
(set-treasure-4 u560 true)
(set-treasure-4 u565 true)
(set-treasure-4 u570 true)
(set-treasure-4 u575 true)
(set-treasure-4 u580 true)
(set-treasure-4 u585 true)
(set-treasure-4 u590 true)
(set-treasure-4 u595 true)
(set-treasure-4 u600 true)
(set-treasure-4 u605 true)
(set-treasure-4 u610 true)
(set-treasure-4 u615 true)
(set-treasure-4 u620 true)
(set-treasure-4 u625 true)
(set-treasure-4 u630 true)
(set-treasure-4 u635 true)
(set-treasure-4 u640 true)
(set-treasure-4 u645 true)
(set-treasure-4 u650 true)
(set-treasure-4 u655 true)
(set-treasure-4 u660 true)
(set-treasure-4 u665 true)
(set-treasure-4 u670 true)
(set-treasure-4 u675 true)
(set-treasure-4 u680 true)
(set-treasure-4 u685 true)
(set-treasure-4 u690 true)
(set-treasure-4 u695 true)
(set-treasure-4 u700 true)
(set-treasure-4 u705 true)
(set-treasure-4 u710 true)
(set-treasure-4 u715 true)
(set-treasure-4 u720 true)
(set-treasure-4 u725 true)
(set-treasure-4 u730 true)
(set-treasure-4 u735 true)
(set-treasure-4 u740 true)
(set-treasure-4 u745 true)
(set-treasure-4 u750 true)
(set-treasure-4 u755 true)
(set-treasure-4 u760 true)
(set-treasure-4 u765 true)
(set-treasure-4 u770 true)
(set-treasure-4 u775 true)
(set-treasure-4 u780 true)
(set-treasure-4 u785 true)
(set-treasure-4 u790 true)
(set-treasure-4 u795 true)
(set-treasure-4 u800 true)
(set-treasure-4 u805 true)
(set-treasure-4 u810 true)
(set-treasure-4 u815 true)
(set-treasure-4 u820 true)
(set-treasure-4 u825 true)
(set-treasure-4 u830 true)
(set-treasure-4 u835 true)
(set-treasure-4 u840 true)
(set-treasure-4 u845 true)
(set-treasure-4 u850 true)
(set-treasure-4 u855 true)
(set-treasure-4 u860 true)
(set-treasure-4 u865 true)
(set-treasure-4 u870 true)
(set-treasure-4 u875 true)
(set-treasure-4 u880 true)
(set-treasure-4 u885 true)
(set-treasure-4 u890 true)
(set-treasure-4 u895 true)
(set-treasure-4 u900 true)
(set-treasure-4 u905 true)
(set-treasure-4 u910 true)
(set-treasure-4 u915 true)
(set-treasure-4 u920 true)
(set-treasure-4 u925 true)
(set-treasure-4 u930 true)
(set-treasure-4 u935 true)
(set-treasure-4 u940 true)
(set-treasure-4 u945 true)
(set-treasure-4 u950 true)
(set-treasure-4 u955 true)
(set-treasure-4 u960 true)
(set-treasure-4 u965 true)
(set-treasure-4 u970 true)
(set-treasure-4 u975 true)
(set-treasure-4 u980 true)
(set-treasure-4 u985 true)
(set-treasure-4 u990 true)
(set-treasure-4 u995 true)
(set-treasure-4 u1000 true)
(set-treasure-4 u1005 true)
(set-treasure-4 u1010 true)
(set-treasure-4 u1015 true)
(set-treasure-4 u1020 true)
(set-treasure-4 u1025 true)
(set-treasure-4 u1030 true)
(set-treasure-4 u1035 true)
(set-treasure-4 u1040 true)
(set-treasure-4 u1045 true)
(set-treasure-4 u1050 true)
(set-treasure-4 u1055 true)
(set-treasure-4 u1060 true)
(set-treasure-4 u1065 true)
(set-treasure-4 u1070 true)
(set-treasure-4 u1075 true)
(set-treasure-4 u1080 true)
(set-treasure-4 u1085 true)
(set-treasure-4 u1090 true)
(set-treasure-4 u1095 true)
(set-treasure-4 u1100 true)
(set-treasure-4 u1105 true)
(set-treasure-4 u1110 true)
(set-treasure-4 u1115 true)
(set-treasure-4 u1120 true)
(set-treasure-4 u1125 true)
(set-treasure-4 u1130 true)
(set-treasure-4 u1135 true)
(set-treasure-4 u1140 true)
(set-treasure-4 u1145 true)
(set-treasure-4 u1150 true)
(set-treasure-4 u1155 true)
(set-treasure-4 u1160 true)
(set-treasure-4 u1165 true)
(set-treasure-4 u1170 true)
(set-treasure-4 u1175 true)
(set-treasure-4 u1180 true)
(set-treasure-4 u1185 true)
(set-treasure-4 u1190 true)
(set-treasure-4 u1195 true)
(set-treasure-4 u1200 true)
(set-treasure-4 u1205 true)
(set-treasure-4 u1210 true)
(set-treasure-4 u1215 true)
(set-treasure-4 u1220 true)
(set-treasure-4 u1225 true)
(set-treasure-4 u1230 true)
(set-treasure-4 u1235 true)
(set-treasure-4 u1240 true)
(set-treasure-4 u1245 true)
(set-treasure-4 u1250 true)
(set-treasure-4 u1255 true)
(set-treasure-4 u1260 true)
(set-treasure-4 u1265 true)
(set-treasure-4 u1270 true)
(set-treasure-4 u1275 true)
(set-treasure-4 u1280 true)
(set-treasure-4 u1285 true)
(set-treasure-4 u1290 true)
(set-treasure-4 u1295 true)
(set-treasure-4 u1300 true)
(set-treasure-4 u1305 true)
(set-treasure-4 u1310 true)
(set-treasure-4 u1315 true)
(set-treasure-4 u1320 true)
(set-treasure-4 u1325 true)
(set-treasure-4 u1330 true)
(set-treasure-4 u1335 true)
(set-treasure-4 u1340 true)
(set-treasure-4 u1345 true)
(set-treasure-4 u1350 true)
(set-treasure-4 u1355 true)
(set-treasure-4 u1360 true)
(set-treasure-4 u1365 true)
(set-treasure-4 u1370 true)
(set-treasure-4 u1375 true)
(set-treasure-4 u1380 true)
(set-treasure-4 u1385 true)
(set-treasure-4 u1390 true)
(set-treasure-4 u1395 true)
(set-treasure-4 u1400 true)
(set-treasure-4 u1405 true)
(set-treasure-4 u1410 true)
(set-treasure-4 u1415 true)
(set-treasure-4 u1420 true)
(set-treasure-4 u1425 true)
(set-treasure-4 u1430 true)
(set-treasure-4 u1435 true)
(set-treasure-4 u1440 true)
(set-treasure-4 u1445 true)
(set-treasure-4 u1450 true)
(set-treasure-4 u1455 true)
(set-treasure-4 u1460 true)
(set-treasure-4 u1465 true)
(set-treasure-4 u1470 true)
(set-treasure-4 u1475 true)
(set-treasure-4 u1480 true)
(set-treasure-4 u1485 true)
(set-treasure-4 u1490 true)
(set-treasure-4 u1495 true)
(set-treasure-4 u1500 true)
(set-treasure-4 u1505 true)
(set-treasure-4 u1510 true)
(set-treasure-4 u1515 true)
(set-treasure-4 u1520 true)
(set-treasure-4 u1525 true)
(set-treasure-4 u1530 true)
(set-treasure-4 u1535 true)
(set-treasure-4 u1540 true)
(set-treasure-4 u1545 true)
(set-treasure-4 u1550 true)
(set-treasure-4 u1555 true)
(set-treasure-4 u1560 true)
(set-treasure-4 u1565 true)
(set-treasure-4 u1570 true)
(set-treasure-4 u1575 true)
(set-treasure-4 u1580 true)
(set-treasure-4 u1585 true)
(set-treasure-4 u1590 true)
(set-treasure-4 u1595 true)
(set-treasure-4 u1600 true)
(set-treasure-4 u1605 true)
(set-treasure-4 u1610 true)
(set-treasure-4 u1615 true)
(set-treasure-4 u1620 true)
(set-treasure-4 u1625 true)
(set-treasure-4 u1630 true)
(set-treasure-4 u1635 true)
(set-treasure-4 u1640 true)
(set-treasure-4 u1645 true)
(set-treasure-4 u1650 true)
(set-treasure-4 u1655 true)
(set-treasure-4 u1660 true)
(set-treasure-4 u1665 true)
(set-treasure-4 u1670 true)
(set-treasure-4 u1675 true)
(set-treasure-4 u1680 true)
(set-treasure-4 u1685 true)
(set-treasure-4 u1690 true)
(set-treasure-4 u1695 true)
(set-treasure-4 u1700 true)
(set-treasure-4 u1705 true)
(set-treasure-4 u1710 true)
(set-treasure-4 u1715 true)
(set-treasure-4 u1720 true)
(set-treasure-4 u1725 true)
(set-treasure-4 u1730 true)
(set-treasure-4 u1735 true)
(set-treasure-4 u1740 true)
(set-treasure-4 u1745 true)
(set-treasure-4 u1750 true)
(set-treasure-4 u1755 true)
(set-treasure-4 u1760 true)
(set-treasure-4 u1765 true)
(set-treasure-4 u1770 true)
(set-treasure-4 u1775 true)
(set-treasure-4 u1780 true)
(set-treasure-4 u1785 true)
(set-treasure-4 u1790 true)
(set-treasure-4 u1795 true)
(set-treasure-4 u1800 true)
(set-treasure-4 u1805 true)
(set-treasure-4 u1810 true)
(set-treasure-4 u1815 true)
(set-treasure-4 u1820 true)
(set-treasure-4 u1825 true)
(set-treasure-4 u1830 true)
(set-treasure-4 u1835 true)
(set-treasure-4 u1840 true)
(set-treasure-4 u1845 true)
(set-treasure-4 u1850 true)
(set-treasure-4 u1855 true)
(set-treasure-4 u1860 true)
(set-treasure-4 u1865 true)
(set-treasure-4 u1870 true)
(set-treasure-4 u1875 true)
(set-treasure-4 u1880 true)
(set-treasure-4 u1885 true)
(set-treasure-4 u1890 true)
(set-treasure-4 u1895 true)
(set-treasure-4 u1900 true)
(set-treasure-4 u1905 true)
(set-treasure-4 u1910 true)
(set-treasure-4 u1915 true)
(set-treasure-4 u1920 true)
(set-treasure-4 u1925 true)
(set-treasure-4 u1930 true)
(set-treasure-4 u1935 true)
(set-treasure-4 u1940 true)
(set-treasure-4 u1945 true)
(set-treasure-4 u1950 true)
(set-treasure-4 u1955 true)
(set-treasure-4 u1960 true)
(set-treasure-4 u1965 true)
(set-treasure-4 u1970 true)
(set-treasure-4 u1975 true)
(set-treasure-4 u1980 true)
(set-treasure-4 u1985 true)
(set-treasure-4 u1990 true)
(set-treasure-4 u1995 true)
(set-treasure-4 u2000 true)
(set-treasure-4 u2005 true)
(set-treasure-4 u2010 true)
(set-treasure-4 u2015 true)
(set-treasure-4 u2020 true)
(set-treasure-4 u2025 true)
(set-treasure-4 u2030 true)
(set-treasure-4 u2035 true)
(set-treasure-4 u2040 true)
(set-treasure-4 u2045 true)
(set-treasure-4 u2050 true)
(set-treasure-4 u2055 true)
(set-treasure-4 u2060 true)
(set-treasure-4 u2065 true)
(set-treasure-4 u2070 true)
(set-treasure-4 u2075 true)
(set-treasure-4 u2080 true)
(set-treasure-4 u2085 true)
(set-treasure-4 u2090 true)
(set-treasure-4 u2095 true)
(set-treasure-4 u2100 true)
(set-treasure-4 u2105 true)
(set-treasure-4 u2110 true)
(set-treasure-4 u2115 true)
(set-treasure-4 u2120 true)
(set-treasure-4 u2125 true)
(set-treasure-4 u2130 true)
(set-treasure-4 u2135 true)
(set-treasure-4 u2140 true)
(set-treasure-4 u2145 true)
(set-treasure-4 u2150 true)
(set-treasure-4 u2155 true)
(set-treasure-4 u2160 true)
(set-treasure-4 u2165 true)
(set-treasure-4 u2170 true)
(set-treasure-4 u2175 true)
(set-treasure-4 u2180 true)
(set-treasure-4 u2185 true)
(set-treasure-4 u2190 true)
(set-treasure-4 u2195 true)
(set-treasure-4 u2200 true)
(set-treasure-4 u2205 true)
(set-treasure-4 u2210 true)
(set-treasure-4 u2215 true)
(set-treasure-4 u2220 true)
(set-treasure-4 u2225 true)
(set-treasure-4 u2230 true)
(set-treasure-4 u2235 true)
(set-treasure-4 u2240 true)
(set-treasure-4 u2245 true)
(set-treasure-4 u2250 true)
(set-treasure-4 u2255 true)
(set-treasure-4 u2260 true)
(set-treasure-4 u2265 true)
(set-treasure-4 u2270 true)
(set-treasure-4 u2275 true)
(set-treasure-4 u2280 true)
(set-treasure-4 u2285 true)
(set-treasure-4 u2290 true)
(set-treasure-4 u2295 true)
(set-treasure-4 u2300 true)
(set-treasure-4 u2305 true)
(set-treasure-4 u2310 true)
(set-treasure-4 u2315 true)
(set-treasure-4 u2320 true)
(set-treasure-4 u2325 true)
(set-treasure-4 u2330 true)
(set-treasure-4 u2335 true)
(set-treasure-4 u2340 true)
(set-treasure-4 u2345 true)
(set-treasure-4 u2350 true)
(set-treasure-4 u2355 true)
(set-treasure-4 u2360 true)
(set-treasure-4 u2365 true)
(set-treasure-4 u2370 true)
(set-treasure-4 u2375 true)
(set-treasure-4 u2380 true)
(set-treasure-4 u2385 true)
(set-treasure-4 u2390 true)
(set-treasure-4 u2395 true)
(set-treasure-4 u2400 true)
(set-treasure-4 u2405 true)
(set-treasure-4 u2410 true)
(set-treasure-4 u2415 true)
(set-treasure-4 u2420 true)
(set-treasure-4 u2425 true)
(set-treasure-4 u2430 true)
(set-treasure-4 u2435 true)
(set-treasure-4 u2440 true)
(set-treasure-4 u2445 true)
(set-treasure-4 u2450 true)
(set-treasure-4 u2455 true)
(set-treasure-4 u2460 true)
(set-treasure-4 u2465 true)
(set-treasure-4 u2470 true)
(set-treasure-4 u2475 true)
(set-treasure-4 u2480 true)
(set-treasure-4 u2485 true)
(set-treasure-4 u2490 true)
(set-treasure-4 u2495 true)
(set-treasure-4 u2500 true)
(set-treasure-4 u2505 true)
(set-treasure-4 u2510 true)
(set-treasure-4 u2515 true)
(set-treasure-4 u2520 true)
(set-treasure-4 u2525 true)
(set-treasure-4 u2530 true)
(set-treasure-4 u2535 true)
(set-treasure-4 u2540 true)
(set-treasure-4 u2545 true)
(set-treasure-4 u2550 true)
(set-treasure-4 u2555 true)
(set-treasure-4 u2560 true)
(set-treasure-4 u2565 true)
(set-treasure-4 u2570 true)
(set-treasure-4 u2575 true)
(set-treasure-4 u2580 true)
(set-treasure-4 u2585 true)
(set-treasure-4 u2590 true)
(set-treasure-4 u2595 true)
(set-treasure-4 u2600 true)
(set-treasure-4 u2605 true)
(set-treasure-4 u2610 true)
(set-treasure-4 u2615 true)
(set-treasure-4 u2620 true)
(set-treasure-4 u2625 true)
(set-treasure-4 u2630 true)
(set-treasure-4 u2635 true)
(set-treasure-4 u2640 true)
(set-treasure-4 u2645 true)
(set-treasure-4 u2650 true)
(set-treasure-4 u2655 true)
(set-treasure-4 u2660 true)
(set-treasure-4 u2665 true)
(set-treasure-4 u2670 true)
(set-treasure-4 u2675 true)
(set-treasure-4 u2680 true)
(set-treasure-4 u2685 true)
(set-treasure-4 u2690 true)
(set-treasure-4 u2695 true)
(set-treasure-4 u2700 true)
(set-treasure-4 u2705 true)
(set-treasure-4 u2710 true)
(set-treasure-4 u2715 true)
(set-treasure-4 u2720 true)
(set-treasure-4 u2725 true)
(set-treasure-4 u2730 true)
(set-treasure-4 u2735 true)
(set-treasure-4 u2740 true)
(set-treasure-4 u2745 true)
(set-treasure-4 u2750 true)
(set-treasure-4 u2755 true)
(set-treasure-4 u2760 true)
(set-treasure-4 u2765 true)
(set-treasure-4 u2770 true)
(set-treasure-4 u2775 true)
(set-treasure-4 u2780 true)
(set-treasure-4 u2785 true)
(set-treasure-4 u2790 true)
(set-treasure-4 u2795 true)
(set-treasure-4 u2800 true)
(set-treasure-4 u2805 true)
(set-treasure-4 u2810 true)
(set-treasure-4 u2815 true)
(set-treasure-4 u2820 true)
(set-treasure-4 u2825 true)
(set-treasure-4 u2830 true)
(set-treasure-4 u2835 true)
(set-treasure-4 u2840 true)
(set-treasure-4 u2845 true)
(set-treasure-4 u2850 true)
(set-treasure-4 u2855 true)
(set-treasure-4 u2860 true)
(set-treasure-4 u2865 true)
(set-treasure-4 u2870 true)
(set-treasure-4 u2875 true)
(set-treasure-4 u2880 true)
(set-treasure-4 u2885 true)
(set-treasure-4 u2890 true)
(set-treasure-4 u2895 true)
(set-treasure-4 u2900 true)
(set-treasure-4 u2905 true)
(set-treasure-4 u2910 true)
(set-treasure-4 u2915 true)
(set-treasure-4 u2920 true)
(set-treasure-4 u2925 true)
(set-treasure-4 u2930 true)
(set-treasure-4 u2935 true)
(set-treasure-4 u2940 true)
(set-treasure-4 u2945 true)
(set-treasure-4 u2950 true)
(set-treasure-4 u2955 true)
(set-treasure-4 u2960 true)
(set-treasure-4 u2965 true)
(set-treasure-4 u2970 true)
(set-treasure-4 u2975 true)
(set-treasure-4 u2980 true)
(set-treasure-4 u2985 true)
(set-treasure-4 u2990 true)
(set-treasure-4 u2995 true)
(set-treasure-4 u3000 true)
(set-treasure-4 u3005 true)
(set-treasure-4 u3010 true)
(set-treasure-4 u3015 true)
(set-treasure-4 u3020 true)
(set-treasure-4 u3025 true)
(set-treasure-4 u3030 true)
(set-treasure-4 u3035 true)
(set-treasure-4 u3040 true)
(set-treasure-4 u3045 true)
(set-treasure-4 u3050 true)
(set-treasure-4 u3055 true)
(set-treasure-4 u3060 true)
(set-treasure-4 u3065 true)
(set-treasure-4 u3070 true)
(set-treasure-4 u3075 true)
(set-treasure-4 u3080 true)
(set-treasure-4 u3085 true)
(set-treasure-4 u3090 true)
(set-treasure-4 u3095 true)
(set-treasure-4 u3100 true)
(set-treasure-4 u3105 true)
(set-treasure-4 u3110 true)
(set-treasure-4 u3115 true)
(set-treasure-4 u3120 true)
(set-treasure-4 u3125 true)
(set-treasure-4 u3130 true)
(set-treasure-4 u3135 true)
(set-treasure-4 u3140 true)
(set-treasure-4 u3145 true)
(set-treasure-4 u3150 true)
(set-treasure-4 u3155 true)
(set-treasure-4 u3160 true)
(set-treasure-4 u3165 true)
(set-treasure-4 u3170 true)
(set-treasure-4 u3175 true)
(set-treasure-4 u3180 true)
(set-treasure-4 u3185 true)
(set-treasure-4 u3190 true)
(set-treasure-4 u3195 true)
(set-treasure-4 u3200 true)
(set-treasure-4 u3205 true)
(set-treasure-4 u3210 true)
(set-treasure-4 u3215 true)
(set-treasure-4 u3220 true)
(set-treasure-4 u3225 true)
(set-treasure-4 u3230 true)
(set-treasure-4 u3235 true)
(set-treasure-4 u3240 true)
(set-treasure-4 u3245 true)
(set-treasure-4 u3250 true)
(set-treasure-4 u3255 true)
(set-treasure-4 u3260 true)
(set-treasure-4 u3265 true)
(set-treasure-4 u3270 true)
(set-treasure-4 u3275 true)
(set-treasure-4 u3280 true)
(set-treasure-4 u3285 true)
(set-treasure-4 u3290 true)
(set-treasure-4 u3295 true)
(set-treasure-4 u3300 true)
(set-treasure-4 u3305 true)
(set-treasure-4 u3310 true)
(set-treasure-4 u3315 true)
(set-treasure-4 u3320 true)
(set-treasure-4 u3325 true)
(set-treasure-4 u3330 true)
(set-treasure-4 u3335 true)
(set-treasure-4 u3340 true)
(set-treasure-4 u3345 true)
(set-treasure-4 u3350 true)
(set-treasure-4 u3355 true)
(set-treasure-4 u3360 true)
(set-treasure-4 u3365 true)
(set-treasure-4 u3370 true)
(set-treasure-4 u3375 true)
(set-treasure-4 u3380 true)
(set-treasure-4 u3385 true)
(set-treasure-4 u3390 true)
(set-treasure-4 u3395 true)
(set-treasure-4 u3400 true)
(set-treasure-4 u3405 true)
(set-treasure-4 u3410 true)
(set-treasure-4 u3415 true)
(set-treasure-4 u3420 true)
(set-treasure-4 u3425 true)
(set-treasure-4 u3430 true)
(set-treasure-4 u3435 true)
(set-treasure-4 u3440 true)
(set-treasure-4 u3445 true)
(set-treasure-4 u3450 true)
(set-treasure-4 u3455 true)
(set-treasure-4 u3460 true)
(set-treasure-4 u3465 true)
(set-treasure-4 u3470 true)
(set-treasure-4 u3475 true)
(set-treasure-4 u3480 true)
(set-treasure-4 u3485 true)
(set-treasure-4 u3490 true)
(set-treasure-4 u3495 true)
(set-treasure-4 u3500 true)
(set-treasure-4 u3505 true)
(set-treasure-4 u3510 true)
(set-treasure-4 u3515 true)
(set-treasure-4 u3520 true)
(set-treasure-4 u3525 true)
(set-treasure-4 u3530 true)
(set-treasure-4 u3535 true)
(set-treasure-4 u3540 true)
(set-treasure-4 u3545 true)
(set-treasure-4 u3550 true)
(set-treasure-4 u3555 true)
(set-treasure-4 u3560 true)
(set-treasure-4 u3565 true)
(set-treasure-4 u3570 true)
(set-treasure-4 u3575 true)
(set-treasure-4 u3580 true)
(set-treasure-4 u3585 true)
(set-treasure-4 u3590 true)
(set-treasure-4 u3595 true)
(set-treasure-4 u3600 true)
(set-treasure-4 u3605 true)
(set-treasure-4 u3610 true)
(set-treasure-4 u3615 true)
(set-treasure-4 u3620 true)
(set-treasure-4 u3625 true)
(set-treasure-4 u3630 true)
(set-treasure-4 u3635 true)
(set-treasure-4 u3640 true)
(set-treasure-4 u3645 true)
(set-treasure-4 u3650 true)
(set-treasure-4 u3655 true)
(set-treasure-4 u3660 true)
(set-treasure-4 u3665 true)
(set-treasure-4 u3670 true)
(set-treasure-4 u3675 true)
(set-treasure-4 u3680 true)
(set-treasure-4 u3685 true)
(set-treasure-4 u3690 true)
(set-treasure-4 u3695 true)
(set-treasure-4 u3700 true)
(set-treasure-4 u3705 true)
(set-treasure-4 u3710 true)
(set-treasure-4 u3715 true)
(set-treasure-4 u3720 true)
(set-treasure-4 u3725 true)
(set-treasure-4 u3730 true)
(set-treasure-4 u3735 true)
(set-treasure-4 u3740 true)
(set-treasure-4 u3745 true)
(set-treasure-4 u3750 true)
(set-treasure-4 u3755 true)
(set-treasure-4 u3760 true)
(set-treasure-4 u3765 true)
(set-treasure-4 u3770 true)
(set-treasure-4 u3775 true)
(set-treasure-4 u3780 true)
(set-treasure-4 u3785 true)
(set-treasure-4 u3790 true)
(set-treasure-4 u3795 true)
(set-treasure-4 u3800 true)
(set-treasure-4 u3805 true)
(set-treasure-4 u3810 true)
(set-treasure-4 u3815 true)
(set-treasure-4 u3820 true)
(set-treasure-4 u3825 true)
(set-treasure-4 u3830 true)
(set-treasure-4 u3835 true)
(set-treasure-4 u3840 true)
(set-treasure-4 u3845 true)
(set-treasure-4 u3850 true)
(set-treasure-4 u3855 true)
(set-treasure-4 u3860 true)
(set-treasure-4 u3865 true)
(set-treasure-4 u3870 true)
(set-treasure-4 u3875 true)
(set-treasure-4 u3880 true)
(set-treasure-4 u3885 true)
(set-treasure-4 u3890 true)
(set-treasure-4 u3895 true)
(set-treasure-4 u3900 true)
(set-treasure-4 u3905 true)
(set-treasure-4 u3910 true)
(set-treasure-4 u3915 true)
(set-treasure-4 u3920 true)
(set-treasure-4 u3925 true)
(set-treasure-4 u3930 true)
(set-treasure-4 u3935 true)
(set-treasure-4 u3940 true)
(set-treasure-4 u3945 true)
(set-treasure-4 u3950 true)
(set-treasure-4 u3955 true)
(set-treasure-4 u3960 true)
(set-treasure-4 u3965 true)
(set-treasure-4 u3970 true)
(set-treasure-4 u3975 true)
(set-treasure-4 u3980 true)
(set-treasure-4 u3985 true)
(set-treasure-4 u3990 true)
(set-treasure-4 u3995 true)
(set-treasure-4 u4000 true)
(set-treasure-4 u4005 true)
(set-treasure-4 u4010 true)
(set-treasure-4 u4015 true)
(set-treasure-4 u4020 true)
(set-treasure-4 u4025 true)
(set-treasure-4 u4030 true)
(set-treasure-4 u4035 true)
(set-treasure-4 u4040 true)
(set-treasure-4 u4045 true)
(set-treasure-4 u4050 true)
(set-treasure-4 u4055 true)
(set-treasure-4 u4060 true)
(set-treasure-4 u4065 true)
(set-treasure-4 u4070 true)
(set-treasure-4 u4075 true)
(set-treasure-4 u4080 true)
(set-treasure-4 u4085 true)
(set-treasure-4 u4090 true)
(set-treasure-4 u4095 true)
(set-treasure-4 u4100 true)
(set-treasure-4 u4105 true)
(set-treasure-4 u4110 true)
(set-treasure-4 u4115 true)
(set-treasure-4 u4120 true)
(set-treasure-4 u4125 true)
(set-treasure-4 u4130 true)
(set-treasure-4 u4135 true)
(set-treasure-4 u4140 true)
(set-treasure-4 u4145 true)
(set-treasure-4 u4150 true)
(set-treasure-4 u4155 true)
(set-treasure-4 u4160 true)
(set-treasure-4 u4165 true)
(set-treasure-4 u4170 true)
(set-treasure-4 u4175 true)
(set-treasure-4 u4180 true)
(set-treasure-4 u4185 true)
(set-treasure-4 u4190 true)
(set-treasure-4 u4195 true)
(set-treasure-4 u4200 true)
(set-treasure-4 u4205 true)
(set-treasure-4 u4210 true)
(set-treasure-4 u4215 true)
(set-treasure-4 u4220 true)
(set-treasure-4 u4225 true)
(set-treasure-4 u4230 true)
(set-treasure-4 u4235 true)
(set-treasure-4 u4240 true)
(set-treasure-4 u4245 true)
(set-treasure-4 u4250 true)
(set-treasure-4 u4255 true)
(set-treasure-4 u4260 true)
(set-treasure-4 u4265 true)
(set-treasure-4 u4270 true)
(set-treasure-4 u4275 true)
(set-treasure-4 u4280 true)
(set-treasure-4 u4285 true)
(set-treasure-4 u4290 true)
(set-treasure-4 u4295 true)
(set-treasure-4 u4300 true)
(set-treasure-4 u4305 true)
(set-treasure-4 u4310 true)
(set-treasure-4 u4315 true)
(set-treasure-4 u4320 true)
(set-treasure-4 u4325 true)
(set-treasure-4 u4330 true)
(set-treasure-4 u4335 true)
(set-treasure-4 u4340 true)
(set-treasure-4 u4345 true)
(set-treasure-4 u4350 true)
(set-treasure-4 u4355 true)
(set-treasure-4 u4360 true)
(set-treasure-4 u4365 true)
(set-treasure-4 u4370 true)
(set-treasure-4 u4375 true)
(set-treasure-4 u4380 true)
(set-treasure-4 u4385 true)
(set-treasure-4 u4390 true)
(set-treasure-4 u4395 true)
(set-treasure-4 u4400 true)
(set-treasure-4 u4405 true)
(set-treasure-4 u4410 true)
(set-treasure-4 u4415 true)
(set-treasure-4 u4420 true)
(set-treasure-4 u4425 true)
(set-treasure-4 u4430 true)
(set-treasure-4 u4435 true)
(set-treasure-4 u4440 true)
(set-treasure-4 u4445 true)
(set-treasure-4 u4450 true)
(set-treasure-4 u4455 true)
(set-treasure-4 u4460 true)
(set-treasure-4 u4465 true)
(set-treasure-4 u4470 true)
(set-treasure-4 u4475 true)
(set-treasure-4 u4480 true)
(set-treasure-4 u4485 true)
(set-treasure-4 u4490 true)
(set-treasure-4 u4495 true)
(set-treasure-4 u4500 true)
(set-treasure-4 u4505 true)
(set-treasure-4 u4510 true)
(set-treasure-4 u4515 true)
(set-treasure-4 u4520 true)
(set-treasure-4 u4525 true)
(set-treasure-4 u4530 true)
(set-treasure-4 u4535 true)
(set-treasure-4 u4540 true)
(set-treasure-4 u4545 true)
(set-treasure-4 u4550 true)
(set-treasure-4 u4555 true)
(set-treasure-4 u4560 true)
(set-treasure-4 u4565 true)
(set-treasure-4 u4570 true)
(set-treasure-4 u4575 true)
(set-treasure-4 u4580 true)
(set-treasure-4 u4585 true)
(set-treasure-4 u4590 true)
(set-treasure-4 u4595 true)
(set-treasure-4 u4600 true)
(set-treasure-4 u4605 true)
(set-treasure-4 u4610 true)
(set-treasure-4 u4615 true)
(set-treasure-4 u4620 true)
(set-treasure-4 u4625 true)
(set-treasure-4 u4630 true)
(set-treasure-4 u4635 true)
(set-treasure-4 u4640 true)
(set-treasure-4 u4645 true)
(set-treasure-4 u4650 true)
(set-treasure-4 u4655 true)
(set-treasure-4 u4660 true)
(set-treasure-4 u4665 true)
(set-treasure-4 u4670 true)
(set-treasure-4 u4675 true)
(set-treasure-4 u4680 true)
(set-treasure-4 u4685 true)
(set-treasure-4 u4690 true)
(set-treasure-4 u4695 true)
(set-treasure-4 u4700 true)
(set-treasure-4 u4705 true)
(set-treasure-4 u4710 true)
(set-treasure-4 u4715 true)
(set-treasure-4 u4720 true)
(set-treasure-4 u4725 true)
(set-treasure-4 u4730 true)
(set-treasure-4 u4735 true)
(set-treasure-4 u4740 true)
(set-treasure-4 u4745 true)
(set-treasure-4 u4750 true)
(set-treasure-4 u4755 true)
(set-treasure-4 u4760 true)
(set-treasure-4 u4765 true)
(set-treasure-4 u4770 true)
(set-treasure-4 u4775 true)
(set-treasure-4 u4780 true)
(set-treasure-4 u4785 true)
(set-treasure-4 u4790 true)
(set-treasure-4 u4795 true)
(set-treasure-4 u4800 true)
(set-treasure-4 u4805 true)
(set-treasure-4 u4810 true)
(set-treasure-4 u4815 true)
(set-treasure-4 u4820 true)
(set-treasure-4 u4825 true)
(set-treasure-4 u4830 true)
(set-treasure-4 u4835 true)
(set-treasure-4 u4840 true)
(set-treasure-4 u4845 true)
(set-treasure-4 u4850 true)
(set-treasure-4 u4855 true)
(set-treasure-4 u4860 true)
(set-treasure-4 u4865 true)
(set-treasure-4 u4870 true)
(set-treasure-4 u4875 true)
(set-treasure-4 u4880 true)
(set-treasure-4 u4885 true)
(set-treasure-4 u4890 true)
(set-treasure-4 u4895 true)
(set-treasure-4 u4900 true)
(set-treasure-4 u4905 true)
(set-treasure-4 u4910 true)
(set-treasure-4 u4915 true)
(set-treasure-4 u4920 true)
(set-treasure-4 u4925 true)
(set-treasure-4 u4930 true)
(set-treasure-4 u4935 true)
(set-treasure-4 u4940 true)
(set-treasure-4 u4945 true)
(set-treasure-4 u4950 true)
(set-treasure-4 u4955 true)
(set-treasure-4 u4960 true)
(set-treasure-4 u4965 true)
(set-treasure-4 u4970 true)
(set-treasure-4 u4975 true)
(set-treasure-4 u4980 true)
(set-treasure-4 u4985 true)
(set-treasure-4 u4990 true)
(set-treasure-4 u4995 true)
(set-treasure-4 u5000 true)
(set-treasure-4 u5005 true)
(set-treasure-4 u5010 true)
(set-treasure-4 u5015 true)
(set-treasure-4 u5020 true)
(set-treasure-4 u5025 true)
(set-treasure-4 u5030 true)
(set-treasure-4 u5035 true)
(set-treasure-4 u5040 true)
(set-treasure-4 u5045 true)
(set-treasure-4 u5050 true)
(set-treasure-4 u5055 true)
(set-treasure-4 u5060 true)
(set-treasure-4 u5065 true)
(set-treasure-4 u5070 true)
(set-treasure-4 u5075 true)
(set-treasure-4 u5080 true)
(set-treasure-4 u5085 true)
(set-treasure-4 u5090 true)
(set-treasure-4 u5095 true)
(set-treasure-4 u5100 true)
(set-treasure-4 u5105 true)
(set-treasure-4 u5110 true)
(set-treasure-4 u5115 true)
(set-treasure-4 u5120 true)
(set-treasure-4 u5125 true)
(set-treasure-4 u5130 true)
(set-treasure-4 u5135 true)
(set-treasure-4 u5140 true)
(set-treasure-4 u5145 true)
(set-treasure-4 u5150 true)
(set-treasure-4 u5155 true)
(set-treasure-4 u5160 true)
(set-treasure-4 u5165 true)
(set-treasure-4 u5170 true)
(set-treasure-4 u5175 true)
(set-treasure-4 u5180 true)
(set-treasure-4 u5185 true)
(set-treasure-4 u5190 true)
(set-treasure-4 u5195 true)
(set-treasure-4 u5200 true)
(set-treasure-4 u5205 true)
(set-treasure-4 u5210 true)
(set-treasure-4 u5215 true)
(set-treasure-4 u5220 true)
(set-treasure-4 u5225 true)
(set-treasure-4 u5230 true)
(set-treasure-4 u5235 true)
(set-treasure-4 u5240 true)
(set-treasure-4 u5245 true)
(set-treasure-4 u5250 true)
(set-treasure-4 u5255 true)
(set-treasure-4 u5260 true)
(set-treasure-4 u5265 true)
(set-treasure-4 u5270 true)
(set-treasure-4 u5275 true)
(set-treasure-4 u5280 true)
(set-treasure-4 u5285 true)
(set-treasure-4 u5290 true)
(set-treasure-4 u5295 true)
(set-treasure-4 u5300 true)
(set-treasure-4 u5305 true)
(set-treasure-4 u5310 true)
(set-treasure-4 u5315 true)
(set-treasure-4 u5320 true)
(set-treasure-4 u5325 true)
(set-treasure-4 u5330 true)
(set-treasure-4 u5335 true)
(set-treasure-4 u5340 true)
(set-treasure-4 u5345 true)
(set-treasure-4 u5350 true)
(set-treasure-4 u5355 true)
(set-treasure-4 u5360 true)
(set-treasure-4 u5365 true)
(set-treasure-4 u5370 true)
(set-treasure-4 u5375 true)
(set-treasure-4 u5380 true)
(set-treasure-4 u5385 true)
(set-treasure-4 u5390 true)
(set-treasure-4 u5395 true)
(set-treasure-4 u5400 true)
(set-treasure-4 u5405 true)
(set-treasure-4 u5410 true)
(set-treasure-4 u5415 true)
(set-treasure-4 u5420 true)
(set-treasure-4 u5425 true)
(set-treasure-4 u5430 true)
(set-treasure-4 u5435 true)
(set-treasure-4 u5440 true)
(set-treasure-4 u5445 true)
(set-treasure-4 u5450 true)
(set-treasure-4 u5455 true)
(set-treasure-4 u5460 true)
(set-treasure-4 u5465 true)
(set-treasure-4 u5470 true)
(set-treasure-4 u5475 true)
(set-treasure-4 u5480 true)
(set-treasure-4 u5485 true)
(set-treasure-4 u5490 true)
(set-treasure-4 u5495 true)
(set-treasure-4 u5500 true)
(set-treasure-4 u5505 true)
(set-treasure-4 u5510 true)
(set-treasure-4 u5515 true)
(set-treasure-4 u5520 true)
(set-treasure-4 u5525 true)
(set-treasure-4 u5530 true)
(set-treasure-4 u5535 true)
(set-treasure-4 u5540 true)
(set-treasure-4 u5545 true)
(set-treasure-4 u5550 true)
(set-treasure-4 u5555 true)
(set-treasure-4 u5560 true)
(set-treasure-4 u5565 true)
(set-treasure-4 u5570 true)
(set-treasure-4 u5575 true)
(set-treasure-4 u5580 true)
(set-treasure-4 u5585 true)
(set-treasure-4 u5590 true)
(set-treasure-4 u5595 true)
(set-treasure-4 u5600 true)
(set-treasure-4 u5605 true)
(set-treasure-4 u5610 true)
(set-treasure-4 u5615 true)
(set-treasure-4 u5620 true)
(set-treasure-4 u5625 true)
(set-treasure-4 u5630 true)
(set-treasure-4 u5635 true)
(set-treasure-4 u5640 true)
(set-treasure-4 u5645 true)
(set-treasure-4 u5650 true)
(set-treasure-4 u5655 true)
(set-treasure-4 u5660 true)
(set-treasure-4 u5665 true)
(set-treasure-4 u5670 true)
(set-treasure-4 u5675 true)
(set-treasure-4 u5680 true)
(set-treasure-4 u5685 true)
(set-treasure-4 u5690 true)
(set-treasure-4 u5695 true)
(set-treasure-4 u5700 true)
(set-treasure-4 u5705 true)
(set-treasure-4 u5710 true)
(set-treasure-4 u5715 true)
(set-treasure-4 u5720 true)
(set-treasure-4 u5725 true)
(set-treasure-4 u5730 true)
(set-treasure-4 u5735 true)
(set-treasure-4 u5740 true)
(set-treasure-4 u5745 true)
(set-treasure-4 u5750 true)
(set-treasure-4 u5755 true)
(set-treasure-4 u5760 true)
(set-treasure-4 u5765 true)
(set-treasure-4 u5770 true)
(set-treasure-4 u5775 true)
(set-treasure-4 u5780 true)
(set-treasure-4 u5785 true)
(set-treasure-4 u5790 true)
(set-treasure-4 u5795 true)
(set-treasure-4 u5800 true)
(set-treasure-4 u5805 true)
(set-treasure-4 u5810 true)
(set-treasure-4 u5815 true)
(set-treasure-4 u5820 true)
(set-treasure-4 u5825 true)
(set-treasure-4 u5830 true)
(set-treasure-4 u5835 true)
(set-treasure-4 u5840 true)
(set-treasure-4 u5845 true)
(set-treasure-4 u5850 true)
(set-treasure-4 u5855 true)
(set-treasure-4 u5860 true)
(set-treasure-4 u5865 true)
(set-treasure-4 u5870 true)
(set-treasure-4 u5875 true)
(set-treasure-4 u5880 true)
(set-treasure-4 u5885 true)
(set-treasure-4 u5890 true)
(set-treasure-4 u5895 true)
(set-treasure-4 u5900 true)
(set-treasure-4 u5905 true)
(set-treasure-4 u5910 true)
(set-treasure-4 u5915 true)
(set-treasure-4 u5920 true)
(set-treasure-4 u5925 true)
(set-treasure-4 u5930 true)
(set-treasure-4 u5935 true)
(set-treasure-4 u5940 true)
(set-treasure-4 u5945 true)
(set-treasure-4 u5950 true)
(set-treasure-4 u5955 true)
(set-treasure-4 u5960 true)
(set-treasure-4 u5965 true)
(set-treasure-4 u5970 true)
(set-treasure-4 u5975 true)
(set-treasure-4 u5980 true)
(set-treasure-4 u5985 true)
(set-treasure-4 u5990 true)
(set-treasure-4 u5995 true)
(set-treasure-4 u6000 true)
(set-treasure-4 u6005 true)
(set-treasure-4 u6010 true)
(set-treasure-4 u6015 true)
(set-treasure-4 u6020 true)
(set-treasure-4 u6025 true)
(set-treasure-4 u6030 true)
(set-treasure-4 u6035 true)
(set-treasure-4 u6040 true)
(set-treasure-4 u6045 true)
(set-treasure-4 u6050 true)
(set-treasure-4 u6055 true)
(set-treasure-4 u6060 true)
(set-treasure-4 u6065 true)
(set-treasure-4 u6070 true)
(set-treasure-4 u6075 true)
(set-treasure-4 u6080 true)
(set-treasure-4 u6085 true)
(set-treasure-4 u6090 true)
(set-treasure-4 u6095 true)
(set-treasure-4 u6100 true)
(set-treasure-4 u6105 true)
(set-treasure-4 u6110 true)
(set-treasure-4 u6115 true)
(set-treasure-4 u6120 true)
(set-treasure-4 u6125 true)
(set-treasure-4 u6130 true)
(set-treasure-4 u6135 true)
(set-treasure-4 u6140 true)
(set-treasure-4 u6145 true)
(set-treasure-4 u6150 true)
(set-treasure-4 u6155 true)
(set-treasure-4 u6160 true)
(set-treasure-4 u6165 true)
(set-treasure-4 u6170 true)
(set-treasure-4 u6175 true)
(set-treasure-4 u6180 true)
(set-treasure-4 u6185 true)
(set-treasure-4 u6190 true)
(set-treasure-4 u6195 true)
(set-treasure-4 u6200 true)
(set-treasure-4 u6205 true)
(set-treasure-4 u6210 true)
(set-treasure-4 u6215 true)
(set-treasure-4 u6220 true)
(set-treasure-4 u6225 true)
(set-treasure-4 u6230 true)
(set-treasure-4 u6235 true)
(set-treasure-4 u6240 true)
(set-treasure-4 u6245 true)
(set-treasure-4 u6250 true)
(set-treasure-4 u6255 true)
(set-treasure-4 u6260 true)
(set-treasure-4 u6265 true)
(set-treasure-4 u6270 true)
(set-treasure-4 u6275 true)
(set-treasure-4 u6280 true)
(set-treasure-4 u6285 true)
(set-treasure-4 u6290 true)
(set-treasure-4 u6295 true)
(set-treasure-4 u6300 true)
(set-treasure-4 u6305 true)
(set-treasure-4 u6310 true)
(set-treasure-4 u6315 true)
(set-treasure-4 u6320 true)
(set-treasure-4 u6325 true)
(set-treasure-4 u6330 true)
(set-treasure-4 u6335 true)
(set-treasure-4 u6340 true)
(set-treasure-4 u6345 true)
(set-treasure-4 u6350 true)
(set-treasure-4 u6355 true)
(set-treasure-4 u6360 true)
(set-treasure-4 u6365 true)
(set-treasure-4 u6370 true)
(set-treasure-4 u6375 true)
(set-treasure-4 u6380 true)
(set-treasure-4 u6385 true)
(set-treasure-4 u6390 true)
(set-treasure-4 u6395 true)
(set-treasure-4 u6400 true)
(set-treasure-4 u6405 true)
(set-treasure-4 u6410 true)
(set-treasure-4 u6415 true)
(set-treasure-4 u6420 true)
(set-treasure-4 u6425 true)
(set-treasure-4 u6430 true)
(set-treasure-4 u6435 true)
(set-treasure-4 u6440 true)
(set-treasure-4 u6445 true)
(set-treasure-4 u6450 true)
(set-treasure-4 u6455 true)
(set-treasure-4 u6460 true)
(set-treasure-4 u6465 true)
(set-treasure-4 u6470 true)
(set-treasure-4 u6475 true)
(set-treasure-4 u6480 true)
(set-treasure-4 u6485 true)
(set-treasure-4 u6490 true)
(set-treasure-4 u6495 true)
(set-treasure-4 u6500 true)
(set-treasure-4 u6505 true)
(set-treasure-4 u6510 true)
(set-treasure-4 u6515 true)
(set-treasure-4 u6520 true)
(set-treasure-4 u6525 true)
(set-treasure-4 u6530 true)
(set-treasure-4 u6535 true)
(set-treasure-4 u6540 true)
(set-treasure-4 u6545 true)
(set-treasure-4 u6550 true)
(set-treasure-4 u6555 true)
(set-treasure-4 u6560 true)
(set-treasure-4 u6565 true)
(set-treasure-4 u6570 true)
(set-treasure-4 u6575 true)
(set-treasure-4 u6580 true)
(set-treasure-4 u6585 true)
(set-treasure-4 u6590 true)
(set-treasure-4 u6595 true)
(set-treasure-4 u6600 true)
(set-treasure-4 u6605 true)
(set-treasure-4 u6610 true)
(set-treasure-4 u6615 true)
(set-treasure-4 u6620 true)
(set-treasure-4 u6625 true)
(set-treasure-4 u6630 true)
(set-treasure-4 u6635 true)
(set-treasure-4 u6640 true)
(set-treasure-4 u6645 true)
(set-treasure-4 u6650 true)
(set-treasure-4 u6655 true)
(set-treasure-4 u6660 true)
(set-treasure-4 u6665 true)
(set-treasure-4 u6670 true)
(set-treasure-4 u6675 true)
(set-treasure-4 u6680 true)
(set-treasure-4 u6685 true)
(set-treasure-4 u6690 true)
(set-treasure-4 u6695 true)
(set-treasure-4 u6700 true)
(set-treasure-4 u6705 true)
(set-treasure-4 u6710 true)
(set-treasure-4 u6715 true)
(set-treasure-4 u6720 true)
(set-treasure-4 u6725 true)
(set-treasure-4 u6730 true)
(set-treasure-4 u6735 true)
(set-treasure-4 u6740 true)
(set-treasure-4 u6745 true)
(set-treasure-4 u6750 true)
(set-treasure-4 u6755 true)
(set-treasure-4 u6760 true)
(set-treasure-4 u6765 true)
(set-treasure-4 u6770 true)
(set-treasure-4 u6775 true)
(set-treasure-4 u6780 true)
(set-treasure-4 u6785 true)
(set-treasure-4 u6790 true)
(set-treasure-4 u6795 true)
(set-treasure-4 u6800 true)
(set-treasure-4 u6805 true)
(set-treasure-4 u6810 true)
(set-treasure-4 u6815 true)
(set-treasure-4 u6820 true)
(set-treasure-4 u6825 true)
(set-treasure-4 u6830 true)
(set-treasure-4 u6835 true)
(set-treasure-4 u6840 true)
(set-treasure-4 u6845 true)
(set-treasure-4 u6850 true)
(set-treasure-4 u6855 true)
(set-treasure-4 u6860 true)
(set-treasure-4 u6865 true)
(set-treasure-4 u6870 true)
(set-treasure-4 u6875 true)
(set-treasure-4 u6880 true)
(set-treasure-4 u6885 true)
(set-treasure-4 u6890 true)
(set-treasure-4 u6895 true)
(set-treasure-4 u6900 true)
(set-treasure-4 u6905 true)
(set-treasure-4 u6910 true)
(set-treasure-4 u6915 true)
(set-treasure-4 u6920 true)
(set-treasure-4 u6925 true)
(set-treasure-4 u6930 true)
(set-treasure-4 u6935 true)
(set-treasure-4 u6940 true)
(set-treasure-4 u6945 true)
(set-treasure-4 u6950 true)
(set-treasure-4 u6955 true)
(set-treasure-4 u6960 true)
(set-treasure-4 u6965 true)
(set-treasure-4 u6970 true)
(set-treasure-4 u6975 true)
(set-treasure-4 u6980 true)
(set-treasure-4 u6985 true)
(set-treasure-4 u6990 true)
(set-treasure-4 u6995 true)
(set-treasure-4 u7000 true)
(set-treasure-4 u7005 true)
(set-treasure-4 u7010 true)
(set-treasure-4 u7015 true)
(set-treasure-4 u7020 true)
(set-treasure-4 u7025 true)
(set-treasure-4 u7030 true)
(set-treasure-4 u7035 true)
(set-treasure-4 u7040 true)
(set-treasure-4 u7045 true)
(set-treasure-4 u7050 true)
(set-treasure-4 u7055 true)
(set-treasure-4 u7060 true)
(set-treasure-4 u7065 true)
(set-treasure-4 u7070 true)
(set-treasure-4 u7075 true)
(set-treasure-4 u7080 true)
(set-treasure-4 u7085 true)
(set-treasure-4 u7090 true)
(set-treasure-4 u7095 true)
(set-treasure-4 u7100 true)
(set-treasure-4 u7105 true)
(set-treasure-4 u7110 true)
(set-treasure-4 u7115 true)
(set-treasure-4 u7120 true)
(set-treasure-4 u7125 true)
(set-treasure-4 u7130 true)
(set-treasure-4 u7135 true)
(set-treasure-4 u7140 true)
(set-treasure-4 u7145 true)
(set-treasure-4 u7150 true)
(set-treasure-4 u7155 true)
(set-treasure-4 u7160 true)
(set-treasure-4 u7165 true)
(set-treasure-4 u7170 true)
(set-treasure-4 u7175 true)
(set-treasure-4 u7180 true)
(set-treasure-4 u7185 true)
(set-treasure-4 u7190 true)
(set-treasure-4 u7195 true)
(set-treasure-4 u7200 true)
(set-treasure-4 u7205 true)
(set-treasure-4 u7210 true)
(set-treasure-4 u7215 true)
(set-treasure-4 u7220 true)
(set-treasure-4 u7225 true)
(set-treasure-4 u7230 true)
(set-treasure-4 u7235 true)
(set-treasure-4 u7240 true)
(set-treasure-4 u7245 true)
(set-treasure-4 u7250 true)
(set-treasure-4 u7255 true)
(set-treasure-4 u7260 true)
(set-treasure-4 u7265 true)
(set-treasure-4 u7270 true)
(set-treasure-4 u7275 true)
(set-treasure-4 u7280 true)
(set-treasure-4 u7285 true)
(set-treasure-4 u7290 true)
(set-treasure-4 u7295 true)
(set-treasure-4 u7300 true)
(set-treasure-4 u7305 true)
(set-treasure-4 u7310 true)
(set-treasure-4 u7315 true)
(set-treasure-4 u7320 true)
(set-treasure-4 u7325 true)
(set-treasure-4 u7330 true)
(set-treasure-4 u7335 true)
(set-treasure-4 u7340 true)
(set-treasure-4 u7345 true)
(set-treasure-4 u7350 true)
(set-treasure-4 u7355 true)
(set-treasure-4 u7360 true)
(set-treasure-4 u7365 true)
(set-treasure-4 u7370 true)
(set-treasure-4 u7375 true)
(set-treasure-4 u7380 true)
(set-treasure-4 u7385 true)
(set-treasure-4 u7390 true)
(set-treasure-4 u7395 true)
(set-treasure-4 u7400 true)
(set-treasure-4 u7405 true)
(set-treasure-4 u7410 true)
(set-treasure-4 u7415 true)
(set-treasure-4 u7420 true)
(set-treasure-4 u7425 true)
(set-treasure-4 u7430 true)
(set-treasure-4 u7435 true)
(set-treasure-4 u7440 true)
(set-treasure-4 u7445 true)
(set-treasure-4 u7450 true)
(set-treasure-4 u7455 true)
(set-treasure-4 u7460 true)
(set-treasure-4 u7465 true)
(set-treasure-4 u7470 true)
(set-treasure-4 u7475 true)
(set-treasure-4 u7480 true)
(set-treasure-4 u7485 true)
(set-treasure-4 u7490 true)
(set-treasure-4 u7495 true)
(set-treasure-4 u7500 true)
(set-treasure-4 u7505 true)
(set-treasure-4 u7510 true)
(set-treasure-4 u7515 true)
(set-treasure-4 u7520 true)
(set-treasure-4 u7525 true)
(set-treasure-4 u7530 true)
(set-treasure-4 u7535 true)
(set-treasure-4 u7540 true)
(set-treasure-4 u7545 true)
(set-treasure-4 u7550 true)
(set-treasure-4 u7555 true)
(set-treasure-4 u7560 true)
(set-treasure-4 u7565 true)
(set-treasure-4 u7570 true)
(set-treasure-4 u7575 true)
(set-treasure-4 u7580 true)
(set-treasure-4 u7585 true)
(set-treasure-4 u7590 true)
(set-treasure-4 u7595 true)
(set-treasure-4 u7600 true)
(set-treasure-4 u7605 true)
(set-treasure-4 u7610 true)
(set-treasure-4 u7615 true)
(set-treasure-4 u7620 true)
(set-treasure-4 u7625 true)
(set-treasure-4 u7630 true)
(set-treasure-4 u7635 true)
(set-treasure-4 u7640 true)
(set-treasure-4 u7645 true)
(set-treasure-4 u7650 true)
(set-treasure-4 u7655 true)
(set-treasure-4 u7660 true)
(set-treasure-4 u7665 true)
(set-treasure-4 u7670 true)
(set-treasure-4 u7675 true)
(set-treasure-4 u7680 true)
(set-treasure-4 u7685 true)
(set-treasure-4 u7690 true)
(set-treasure-4 u7695 true)
(set-treasure-4 u7700 true)
(set-treasure-4 u7705 true)
(set-treasure-4 u7710 true)
(set-treasure-4 u7715 true)
(set-treasure-4 u7720 true)
(set-treasure-4 u7725 true)
(set-treasure-4 u7730 true)
(set-treasure-4 u7735 true)
(set-treasure-4 u7740 true)
(set-treasure-4 u7745 true)
(set-treasure-4 u7750 true)
(set-treasure-4 u7755 true)
(set-treasure-4 u7760 true)
(set-treasure-4 u7765 true)
(set-treasure-4 u7770 true)
(set-treasure-4 u7775 true)
(set-treasure-4 u7780 true)
(set-treasure-4 u7785 true)
(set-treasure-4 u7790 true)
(set-treasure-4 u7795 true)
(set-treasure-4 u7800 true)
(set-treasure-4 u7805 true)
(set-treasure-4 u7810 true)
(set-treasure-4 u7815 true)
(set-treasure-4 u7820 true)
(set-treasure-4 u7825 true)
(set-treasure-4 u7830 true)
(set-treasure-4 u7835 true)
(set-treasure-4 u7840 true)
(set-treasure-4 u7845 true)
(set-treasure-4 u7850 true)
(set-treasure-4 u7855 true)
(set-treasure-4 u7860 true)
(set-treasure-4 u7865 true)
(set-treasure-4 u7870 true)
(set-treasure-4 u7875 true)
(set-treasure-4 u7880 true)
(set-treasure-4 u7885 true)
(set-treasure-4 u7890 true)
(set-treasure-4 u7895 true)
(set-treasure-4 u7900 true)
(set-treasure-4 u7905 true)
(set-treasure-4 u7910 true)
(set-treasure-4 u7915 true)
(set-treasure-4 u7920 true)
(set-treasure-4 u7925 true)
(set-treasure-4 u7930 true)
(set-treasure-4 u7935 true)
(set-treasure-4 u7940 true)
(set-treasure-4 u7945 true)
(set-treasure-4 u7950 true)
(set-treasure-4 u7955 true)
(set-treasure-4 u7960 true)
(set-treasure-4 u7965 true)
(set-treasure-4 u7970 true)
(set-treasure-4 u7975 true)
(set-treasure-4 u7980 true)
(set-treasure-4 u7985 true)
(set-treasure-4 u7990 true)
(set-treasure-4 u7995 true)
(set-treasure-4 u8000 true)
(set-treasure-4 u8005 true)
(set-treasure-4 u8010 true)
(set-treasure-4 u8015 true)
(set-treasure-4 u8020 true)
(set-treasure-4 u8025 true)
(set-treasure-4 u8030 true)
(set-treasure-4 u8035 true)
(set-treasure-4 u8040 true)
(set-treasure-4 u8045 true)
(set-treasure-4 u8050 true)
(set-treasure-4 u8055 true)
(set-treasure-4 u8060 true)
(set-treasure-4 u8065 true)
(set-treasure-4 u8070 true)
(set-treasure-4 u8075 true)
(set-treasure-4 u8080 true)
(set-treasure-4 u8085 true)
(set-treasure-4 u8090 true)
(set-treasure-4 u8095 true)
(set-treasure-4 u8100 true)
(set-treasure-4 u8105 true)
(set-treasure-4 u8110 true)
(set-treasure-4 u8115 true)
(set-treasure-4 u8120 true)
(set-treasure-4 u8125 true)
(set-treasure-4 u8130 true)
(set-treasure-4 u8135 true)
(set-treasure-4 u8140 true)
(set-treasure-4 u8145 true)
(set-treasure-4 u8150 true)
(set-treasure-4 u8155 true)
(set-treasure-4 u8160 true)
(set-treasure-4 u8165 true)
(set-treasure-4 u8170 true)
(set-treasure-4 u8175 true)
(set-treasure-4 u8180 true)
(set-treasure-4 u8185 true)
(set-treasure-4 u8190 true)
(set-treasure-4 u8195 true)
(set-treasure-4 u8200 true)
(set-treasure-4 u8205 true)
(set-treasure-4 u8210 true)
(set-treasure-4 u8215 true)
(set-treasure-4 u8220 true)
(set-treasure-4 u8225 true)
(set-treasure-4 u8230 true)
(set-treasure-4 u8235 true)
(set-treasure-4 u8240 true)
(set-treasure-4 u8245 true)
(set-treasure-4 u8250 true)
(set-treasure-4 u8255 true)
(set-treasure-4 u8260 true)
(set-treasure-4 u8265 true)
(set-treasure-4 u8270 true)
(set-treasure-4 u8275 true)
(set-treasure-4 u8280 true)
(set-treasure-4 u8285 true)
(set-treasure-4 u8290 true)
(set-treasure-4 u8295 true)
(set-treasure-4 u8300 true)
(set-treasure-4 u8305 true)
(set-treasure-4 u8310 true)
(set-treasure-4 u8315 true)
(set-treasure-4 u8320 true)
(set-treasure-4 u8325 true)
(set-treasure-4 u8330 true)
(set-treasure-4 u8335 true)
(set-treasure-4 u8340 true)
(set-treasure-4 u8345 true)
(set-treasure-4 u8350 true)
(set-treasure-4 u8355 true)
(set-treasure-4 u8360 true)
(set-treasure-4 u8365 true)
(set-treasure-4 u8370 true)
(set-treasure-4 u8375 true)
(set-treasure-4 u8380 true)
(set-treasure-4 u8385 true)
(set-treasure-4 u8390 true)
(set-treasure-4 u8395 true)
(set-treasure-4 u8400 true)
(set-treasure-4 u8405 true)
(set-treasure-4 u8410 true)
(set-treasure-4 u8415 true)
(set-treasure-4 u8420 true)
(set-treasure-4 u8425 true)
(set-treasure-4 u8430 true)
(set-treasure-4 u8435 true)
(set-treasure-4 u8440 true)
(set-treasure-4 u8445 true)
(set-treasure-4 u8450 true)
(set-treasure-4 u8455 true)
(set-treasure-4 u8460 true)
(set-treasure-4 u8465 true)
(set-treasure-4 u8470 true)
(set-treasure-4 u8475 true)
(set-treasure-4 u8480 true)
(set-treasure-4 u8485 true)
(set-treasure-4 u8490 true)
(set-treasure-4 u8495 true)
(set-treasure-4 u8500 true)
(set-treasure-4 u8505 true)
(set-treasure-4 u8510 true)
(set-treasure-4 u8515 true)
(set-treasure-4 u8520 true)
(set-treasure-4 u8525 true)
(set-treasure-4 u8530 true)
(set-treasure-4 u8535 true)
(set-treasure-4 u8540 true)
(set-treasure-4 u8545 true)
(set-treasure-4 u8550 true)
(set-treasure-4 u8555 true)
(set-treasure-4 u8560 true)
(set-treasure-4 u8565 true)
(set-treasure-4 u8570 true)
(set-treasure-4 u8575 true)
(set-treasure-4 u8580 true)
(set-treasure-4 u8585 true)
(set-treasure-4 u8590 true)
(set-treasure-4 u8595 true)
(set-treasure-4 u8600 true)
(set-treasure-4 u8605 true)
(set-treasure-4 u8610 true)
(set-treasure-4 u8615 true)
(set-treasure-4 u8620 true)
(set-treasure-4 u8625 true)
(set-treasure-4 u8630 true)
(set-treasure-4 u8635 true)
(set-treasure-4 u8640 true)
(set-treasure-4 u8645 true)
(set-treasure-4 u8650 true)
(set-treasure-4 u8655 true)
(set-treasure-4 u8660 true)
(set-treasure-4 u8665 true)
(set-treasure-4 u8670 true)
(set-treasure-4 u8675 true)
(set-treasure-4 u8680 true)
(set-treasure-4 u8685 true)
(set-treasure-4 u8690 true)
(set-treasure-4 u8695 true)
(set-treasure-4 u8700 true)
(set-treasure-4 u8705 true)
(set-treasure-4 u8710 true)
(set-treasure-4 u8715 true)
(set-treasure-4 u8720 true)
(set-treasure-4 u8725 true)
(set-treasure-4 u8730 true)
(set-treasure-4 u8735 true)
(set-treasure-4 u8740 true)
(set-treasure-4 u8745 true)
(set-treasure-4 u8750 true)
(set-treasure-4 u8755 true)
(set-treasure-4 u8760 true)
(set-treasure-4 u8765 true)
(set-treasure-4 u8770 true)
(set-treasure-4 u8775 true)
(set-treasure-4 u8780 true)
(set-treasure-4 u8785 true)
(set-treasure-4 u8790 true)
(set-treasure-4 u8795 true)
(set-treasure-4 u8800 true)
(set-treasure-4 u8805 true)
(set-treasure-4 u8810 true)
(set-treasure-4 u8815 true)
(set-treasure-4 u8820 true)
(set-treasure-4 u8825 true)
(set-treasure-4 u8830 true)
(set-treasure-4 u8835 true)
(set-treasure-4 u8840 true)
(set-treasure-4 u8845 true)
(set-treasure-4 u8850 true)
(set-treasure-4 u8855 true)
(set-treasure-4 u8860 true)
(set-treasure-4 u8865 true)
(set-treasure-4 u8870 true)
(set-treasure-4 u8875 true)
(set-treasure-4 u8880 true)
(set-treasure-4 u8885 true)
(set-treasure-4 u8890 true)
(set-treasure-4 u8895 true)
(set-treasure-4 u8900 true)
(set-treasure-4 u8905 true)
(set-treasure-4 u8910 true)
(set-treasure-4 u8915 true)
(set-treasure-4 u8920 true)
(set-treasure-4 u8925 true)
(set-treasure-4 u8930 true)
(set-treasure-4 u8935 true)
(set-treasure-4 u8940 true)
(set-treasure-4 u8945 true)
(set-treasure-4 u8950 true)
(set-treasure-4 u8955 true)
(set-treasure-4 u8960 true)
(set-treasure-4 u8965 true)
(set-treasure-4 u8970 true)
(set-treasure-4 u8975 true)
(set-treasure-4 u8980 true)
(set-treasure-4 u8985 true)
(set-treasure-4 u8990 true)
(set-treasure-4 u8995 true)
(set-treasure-4 u9000 true)
(set-treasure-4 u9005 true)
(set-treasure-4 u9010 true)
(set-treasure-4 u9015 true)
(set-treasure-4 u9020 true)
(set-treasure-4 u9025 true)
(set-treasure-4 u9030 true)
(set-treasure-4 u9035 true)
(set-treasure-4 u9040 true)
(set-treasure-4 u9045 true)
(set-treasure-4 u9050 true)
(set-treasure-4 u9055 true)
(set-treasure-4 u9060 true)
(set-treasure-4 u9065 true)
(set-treasure-4 u9070 true)
(set-treasure-4 u9075 true)
(set-treasure-4 u9080 true)
(set-treasure-4 u9085 true)
(set-treasure-4 u9090 true)
(set-treasure-4 u9095 true)
(set-treasure-4 u9100 true)
(set-treasure-4 u9105 true)
(set-treasure-4 u9110 true)
(set-treasure-4 u9115 true)
(set-treasure-4 u9120 true)
(set-treasure-4 u9125 true)
(set-treasure-4 u9130 true)
(set-treasure-4 u9135 true)
(set-treasure-4 u9140 true)
(set-treasure-4 u9145 true)
(set-treasure-4 u9150 true)
(set-treasure-4 u9155 true)
(set-treasure-4 u9160 true)
(set-treasure-4 u9165 true)
(set-treasure-4 u9170 true)
(set-treasure-4 u9175 true)
(set-treasure-4 u9180 true)
(set-treasure-4 u9185 true)
(set-treasure-4 u9190 true)
(set-treasure-4 u9195 true)
(set-treasure-4 u9200 true)
(set-treasure-4 u9205 true)
(set-treasure-4 u9210 true)
(set-treasure-4 u9215 true)
(set-treasure-4 u9220 true)
(set-treasure-4 u9225 true)
(set-treasure-4 u9230 true)
(set-treasure-4 u9235 true)
(set-treasure-4 u9240 true)
(set-treasure-4 u9245 true)
(set-treasure-4 u9250 true)
(set-treasure-4 u9255 true)
(set-treasure-4 u9260 true)
(set-treasure-4 u9265 true)
(set-treasure-4 u9270 true)
(set-treasure-4 u9275 true)
(set-treasure-4 u9280 true)
(set-treasure-4 u9285 true)
(set-treasure-4 u9290 true)
(set-treasure-4 u9295 true)
(set-treasure-4 u9300 true)
(set-treasure-4 u9305 true)
(set-treasure-4 u9310 true)
(set-treasure-4 u9315 true)
(set-treasure-4 u9320 true)
(set-treasure-4 u9325 true)
(set-treasure-4 u9330 true)
(set-treasure-4 u9335 true)
(set-treasure-4 u9340 true)
(set-treasure-4 u9345 true)
(set-treasure-4 u9350 true)
(set-treasure-4 u9355 true)
(set-treasure-4 u9360 true)
(set-treasure-4 u9365 true)
(set-treasure-4 u9370 true)
(set-treasure-4 u9375 true)
(set-treasure-4 u9380 true)
(set-treasure-4 u9385 true)
(set-treasure-4 u9390 true)
(set-treasure-4 u9395 true)
(set-treasure-4 u9400 true)
(set-treasure-4 u9405 true)
(set-treasure-4 u9410 true)
(set-treasure-4 u9415 true)
(set-treasure-4 u9420 true)
(set-treasure-4 u9425 true)
(set-treasure-4 u9430 true)
(set-treasure-4 u9435 true)
(set-treasure-4 u9440 true)
(set-treasure-4 u9445 true)
(set-treasure-4 u9450 true)
(set-treasure-4 u9455 true)
(set-treasure-4 u9460 true)
(set-treasure-4 u9465 true)
(set-treasure-4 u9470 true)
(set-treasure-4 u9475 true)
(set-treasure-4 u9480 true)
(set-treasure-4 u9485 true)
(set-treasure-4 u9490 true)
(set-treasure-4 u9495 true)
(set-treasure-4 u9500 true)
(set-treasure-4 u9505 true)
(set-treasure-4 u9510 true)
(set-treasure-4 u9515 true)
(set-treasure-4 u9520 true)
(set-treasure-4 u9525 true)
(set-treasure-4 u9530 true)
(set-treasure-4 u9535 true)
(set-treasure-4 u9540 true)
(set-treasure-4 u9545 true)
(set-treasure-4 u9550 true)
(set-treasure-4 u9555 true)
(set-treasure-4 u9560 true)
(set-treasure-4 u9565 true)
(set-treasure-4 u9570 true)
(set-treasure-4 u9575 true)
(set-treasure-4 u9580 true)
(set-treasure-4 u9585 true)
(set-treasure-4 u9590 true)
(set-treasure-4 u9595 true)
(set-treasure-4 u9600 true)
(set-treasure-4 u9605 true)
(set-treasure-4 u9610 true)
(set-treasure-4 u9615 true)
(set-treasure-4 u9620 true)
(set-treasure-4 u9625 true)
(set-treasure-4 u9630 true)
(set-treasure-4 u9635 true)
(set-treasure-4 u9640 true)
(set-treasure-4 u9645 true)
(set-treasure-4 u9650 true)
(set-treasure-4 u9655 true)
(set-treasure-4 u9660 true)
(set-treasure-4 u9665 true)
(set-treasure-4 u9670 true)
(set-treasure-4 u9675 true)
(set-treasure-4 u9680 true)
(set-treasure-4 u9685 true)
(set-treasure-4 u9690 true)
(set-treasure-4 u9695 true)
(set-treasure-4 u9700 true)
(set-treasure-4 u9705 true)
(set-treasure-4 u9710 true)
(set-treasure-4 u9715 true)
(set-treasure-4 u9720 true)
(set-treasure-4 u9725 true)
(set-treasure-4 u9730 true)
(set-treasure-4 u9735 true)
(set-treasure-4 u9740 true)
(set-treasure-4 u9745 true)
(set-treasure-4 u9750 true)
(set-treasure-4 u9755 true)
(set-treasure-4 u9760 true)
(set-treasure-4 u9765 true)
(set-treasure-4 u9770 true)
(set-treasure-4 u9775 true)
(set-treasure-4 u9780 true)
(set-treasure-4 u9785 true)
(set-treasure-4 u9790 true)
(set-treasure-4 u9795 true)
(set-treasure-4 u9800 true)
(set-treasure-4 u9805 true)
(set-treasure-4 u9810 true)
(set-treasure-4 u9815 true)
(set-treasure-4 u9820 true)
(set-treasure-4 u9825 true)
(set-treasure-4 u9830 true)
(set-treasure-4 u9835 true)
(set-treasure-4 u9840 true)
(set-treasure-4 u9845 true)
(set-treasure-4 u9850 true)
(set-treasure-4 u9855 true)
(set-treasure-4 u9860 true)
(set-treasure-4 u9865 true)
(set-treasure-4 u9870 true)
(set-treasure-4 u9875 true)
(set-treasure-4 u9880 true)
(set-treasure-4 u9885 true)
(set-treasure-4 u9890 true)
(set-treasure-4 u9895 true)
(set-treasure-4 u9900 true)
(set-treasure-4 u9905 true)
(set-treasure-4 u9910 true)
(set-treasure-4 u9915 true)
(set-treasure-4 u9920 true)
(set-treasure-4 u9925 true)
(set-treasure-4 u9930 true)
(set-treasure-4 u9935 true)
(set-treasure-4 u9940 true)
(set-treasure-4 u9945 true)
(set-treasure-4 u9950 true)
(set-treasure-4 u9955 true)
(set-treasure-4 u9960 true)
(set-treasure-4 u9965 true)
(set-treasure-4 u9970 true)
(set-treasure-4 u9975 true)
(set-treasure-4 u9980 true)
(set-treasure-4 u9985 true)
(set-treasure-4 u9990 true)
(set-treasure-4 u9995 true)
(set-treasure-4 u10000 true)