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