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