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