/
component-ids.clar
18 lines (13 loc) · 13.9 KB
/
component-ids.clar
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(define-constant ids-0 (list u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 u17 u18 u19 u20 u21 u22 u23 u24 u25 u26 u27 u28 u29 u30 u31 u32 u33 u34 u35 u36 u37 u38 u39 u40 u41 u42 u43 u44 u45 u46 u47 u48 u49 u50 u51 u52 u53 u54 u55 u56 u57 u58 u59 u60 u61 u62 u63 u64 u65 u66 u67 u68 u69 u70 u71 u72 u73 u74 u75 u76 u77 u78 u79 u80 u81 u82 u83 u84 u85 u86 u87 u88 u89 u90 u91 u92 u93 u94 u95 u96 u97 u98 u99 u100 u101 u102 u103 u104 u105 u106 u107 u108 u109 u110 u111 u112 u113 u114 u115 u116 u117 u118 u119 u120 u121 u122 u123 u124 u125 u126 u127 u128 u129 u130 u131 u132 u133 u134 u135 u136 u137 u138 u139 u140 u141 u142 u143 u144 u145 u146 u147 u148 u149 u150 u151 u152 u153 u154 u155 u156 u157 u158 u159 u160 u161 u162 u163 u164 u165 u166 u167 u168 u169 u170 u171 u172 u173 u174 u175 u176 u177 u178 u179 u180 u181 u182 u183 u184 u185 u186 u187 u188 u189 u190 u191 u192 u193 u194 u195 u196 u197 u198 u199 u200 u201 u202 u203 u204 u205 u206 u207 u208 u209 u210 u211 u212 u213 u214 u215 u216 u217 u218 u219 u220 u221 u222 u223 u224 u225 u226 u227 u228 u229 u230 u231 u232 u233 u234 u235 u236 u237 u238 u239 u240 u241 u242 u243 u244 u245 u246 u247 u248 u249 u250 u251 u252 u253 u254 u255 u256 u257 u258 u259 u260 u261 u262 u263 u264 u265 u266 u267 u268 u269 u270 u271 u272 u273 u274 u275 u276 u277 u278 u279 u280 u281 u282 u283 u284 u285 u286 u287 u288 u289 u290 u291 u292 u293 u294 u295 u296 u297 u298 u299 u300 u301 u302 u303 u304 u305 u306 u307 u308 u309 u310 u311 u312 u313 u314 u315 u316 u317 u318 u319 u320 u321 u322 u323 u324 u325 u326 u327 u328 u329 u330 u331 u332 u333 u334 u335 u336 u337 u338 u339 u340 u341 u342 u343 u344 u345 u346 u347 u348 u349 u350 u351 u352 u353 u354 u355 u356 u357 u358 u359 u360 u361 u362 u363 u364 u365 u366 u367 u368 u369 u370 u371 u372 u373 u374 u375 u376 u377 u378 u379 u380 u381 u382 u383 u384 u385 u386 u387 u388 u389 u390 u391 u392 u393 u394 u395 u396 u397 u398 u399 u400 u401 u402 u403 u404 u405 u406 u407 u408 u409 u410 u411 u412 u413 u414 u415 u416 u417 u418 u419 u420 u421 u422 u423 u424 u425 u426 u427 u428 u429 u430 u431 u432 u433 u434 u435 u436 u437 u438 u439 u440 u441 u442 u443 u444 u445 u446 u447 u448 u449 u450 u451 u452 u453 u454 u455 u456 u457 u458 u459 u460 u461 u462 u463 u464 u465 u466 u467 u468 u469 u470 u471 u472 u473 u474 u475 u476 u477 u478 u479 u480 u481 u482 u483 u484 u485 u486 u487 u488 u489 u490 u491 u492 u493 u494 u495 u496 u497 u498 u499 u500))
(define-constant ids-1 (list u501 u502 u503 u504 u505 u506 u507 u508 u509 u510 u511 u512 u513 u514 u515 u516 u517 u518 u519 u520 u521 u522 u523 u524 u525 u526 u527 u528 u529 u530 u531 u532 u533 u534 u535 u536 u537 u538 u539 u540 u541 u542 u543 u544 u545 u546 u547 u548 u549 u550 u551 u552 u553 u554 u555 u556 u557 u558 u559 u560 u561 u562 u563 u564 u565 u566 u567 u568 u569 u570 u571 u572 u573 u574 u575 u576 u577 u578 u579 u580 u581 u582 u583 u584 u585 u586 u587 u588 u589 u590 u591 u592 u593 u594 u595 u596 u597 u598 u599 u600 u601 u602 u603 u604 u605 u606 u607 u608 u609 u610 u611 u612 u613 u614 u615 u616 u617 u618 u619 u620 u621 u622 u623 u624 u625 u626 u627 u628 u629 u630 u631 u632 u633 u634 u635 u636 u637 u638 u639 u640 u641 u642 u643 u644 u645 u646 u647 u648 u649 u650 u651 u652 u653 u654 u655 u656 u657 u658 u659 u660 u661 u662 u663 u664 u665 u666 u667 u668 u669 u670 u671 u672 u673 u674 u675 u676 u677 u678 u679 u680 u681 u682 u683 u684 u685 u686 u687 u688 u689 u690 u691 u692 u693 u694 u695 u696 u697 u698 u699 u700 u701 u702 u703 u704 u705 u706 u707 u708 u709 u710 u711 u712 u713 u714 u715 u716 u717 u718 u719 u720 u721 u722 u723 u724 u725 u726 u727 u728 u729 u730 u731 u732 u733 u734 u735 u736 u737 u738 u739 u740 u741 u742 u743 u744 u745 u746 u747 u748 u749 u750 u751 u752 u753 u754 u755 u756 u757 u758 u759 u760 u761 u762 u763 u764 u765 u766 u767 u768 u769 u770 u771 u772 u773 u774 u775 u776 u777 u778 u779 u780 u781 u782 u783 u784 u785 u786 u787 u788 u789 u790 u791 u792 u793 u794 u795 u796 u797 u798 u799 u800 u801 u802 u803 u804 u805 u806 u807 u808 u809 u810 u811 u812 u813 u814 u815 u816 u817 u818 u819 u820 u821 u822 u823 u824 u825 u826 u827 u828 u829 u830 u831 u832 u833 u834 u835 u836 u837 u838 u839 u840 u841 u842 u843 u844 u845 u846 u847 u848 u849 u850 u851 u852 u853 u854 u855 u856 u857 u858 u859 u860 u861 u862 u863 u864 u865 u866 u867 u868 u869 u870 u871 u872 u873 u874 u875 u876 u877 u878 u879 u880 u881 u882 u883 u884 u885 u886 u887 u888 u889 u890 u891 u892 u893 u894 u895 u896 u897 u898 u899 u900 u901 u902 u903 u904 u905 u906 u907 u908 u909 u910 u911 u912 u913 u914 u915 u916 u917 u918 u919 u920 u921 u922 u923 u924 u925 u926 u927 u928 u929 u930 u931 u932 u933 u934 u935 u936 u937 u938 u939 u940 u941 u942 u943 u944 u945 u946 u947 u948 u949 u950 u951 u952 u953 u954 u955 u956 u957 u958 u959 u960 u961 u962 u963 u964 u965 u966 u967 u968 u969 u970 u971 u972 u973 u974 u975 u976 u977 u978 u979 u980 u981 u982 u983 u984 u985 u986 u987 u988 u989 u990 u991 u992 u993 u994 u995 u996 u997 u998 u999 u1000))
(define-constant ids-2 (list u1001 u1002 u1003 u1004 u1005 u1006 u1007 u1008 u1009 u1010 u1011 u1012 u1013 u1014 u1015 u1016 u1017 u1018 u1019 u1020 u1021 u1022 u1023 u1024 u1025 u1026 u1027 u1028 u1029 u1030 u1031 u1032 u1033 u1034 u1035 u1036 u1037 u1038 u1039 u1040 u1041 u1042 u1043 u1044 u1045 u1046 u1047 u1048 u1049 u1050 u1051 u1052 u1053 u1054 u1055 u1056 u1057 u1058 u1059 u1060 u1061 u1062 u1063 u1064 u1065 u1066 u1067 u1068 u1069 u1070 u1071 u1072 u1073 u1074 u1075 u1076 u1077 u1078 u1079 u1080 u1081 u1082 u1083 u1084 u1085 u1086 u1087 u1088 u1089 u1090 u1091 u1092 u1093 u1094 u1095 u1096 u1097 u1098 u1099 u1100 u1101 u1102 u1103 u1104 u1105 u1106 u1107 u1108 u1109 u1110 u1111 u1112 u1113 u1114 u1115 u1116 u1117 u1118 u1119 u1120 u1121 u1122 u1123 u1124 u1125 u1126 u1127 u1128 u1129 u1130 u1131 u1132 u1133 u1134 u1135 u1136 u1137 u1138 u1139 u1140 u1141 u1142 u1143 u1144 u1145 u1146 u1147 u1148 u1149 u1150 u1151 u1152 u1153 u1154 u1155 u1156 u1157 u1158 u1159 u1160 u1161 u1162 u1163 u1164 u1165 u1166 u1167 u1168 u1169 u1170 u1171 u1172 u1173 u1174 u1175 u1176 u1177 u1178 u1179 u1180 u1181 u1182 u1183 u1184 u1185 u1186 u1187 u1188 u1189 u1190 u1191 u1192 u1193 u1194 u1195 u1196 u1197 u1198 u1199 u1200 u1201 u1202 u1203 u1204 u1205 u1206 u1207 u1208 u1209 u1210 u1211 u1212 u1213 u1214 u1215 u1216 u1217 u1218 u1219 u1220 u1221 u1222 u1223 u1224 u1225 u1226 u1227 u1228 u1229 u1230 u1231 u1232 u1233 u1234 u1235 u1236 u1237 u1238 u1239 u1240 u1241 u1242 u1243 u1244 u1245 u1246 u1247 u1248 u1249 u1250 u1251 u1252 u1253 u1254 u1255 u1256 u1257 u1258 u1259 u1260 u1261 u1262 u1263 u1264 u1265 u1266 u1267 u1268 u1269 u1270 u1271 u1272 u1273 u1274 u1275 u1276 u1277 u1278 u1279 u1280 u1281 u1282 u1283 u1284 u1285 u1286 u1287 u1288 u1289 u1290 u1291 u1292 u1293 u1294 u1295 u1296 u1297 u1298 u1299 u1300 u1301 u1302 u1303 u1304 u1305 u1306 u1307 u1308 u1309 u1310 u1311 u1312 u1313 u1314 u1315 u1316 u1317 u1318 u1319 u1320 u1321 u1322 u1323 u1324 u1325 u1326 u1327 u1328 u1329 u1330 u1331 u1332 u1333 u1334 u1335 u1336 u1337 u1338 u1339 u1340 u1341 u1342 u1343 u1344 u1345 u1346 u1347 u1348 u1349 u1350 u1351 u1352 u1353 u1354 u1355 u1356 u1357 u1358 u1359 u1360 u1361 u1362 u1363 u1364 u1365 u1366 u1367 u1368 u1369 u1370 u1371 u1372 u1373 u1374 u1375 u1376 u1377 u1378 u1379 u1380 u1381 u1382 u1383 u1384 u1385 u1386 u1387 u1388 u1389 u1390 u1391 u1392 u1393 u1394 u1395 u1396 u1397 u1398 u1399 u1400 u1401 u1402 u1403 u1404 u1405 u1406 u1407 u1408 u1409 u1410 u1411 u1412 u1413 u1414 u1415 u1416 u1417 u1418 u1419 u1420 u1421 u1422 u1423 u1424 u1425 u1426 u1427 u1428 u1429 u1430 u1431 u1432 u1433 u1434 u1435 u1436 u1437 u1438 u1439 u1440 u1441 u1442 u1443 u1444 u1445 u1446 u1447 u1448 u1449 u1450 u1451 u1452 u1453 u1454 u1455 u1456 u1457 u1458 u1459 u1460 u1461 u1462 u1463 u1464 u1465 u1466 u1467 u1468 u1469 u1470 u1471 u1472 u1473 u1474 u1475 u1476 u1477 u1478 u1479 u1480 u1481 u1482 u1483 u1484 u1485 u1486 u1487 u1488 u1489 u1490 u1491 u1492 u1493 u1494 u1495 u1496 u1497 u1498 u1499 u1500))
(define-constant ids-3 (list u1501 u1502 u1503 u1504 u1505 u1506 u1507 u1508 u1509 u1510 u1511 u1512 u1513 u1514 u1515 u1516 u1517 u1518 u1519 u1520 u1521 u1522 u1523 u1524 u1525 u1526 u1527 u1528 u1529 u1530 u1531 u1532 u1533 u1534 u1535 u1536 u1537 u1538 u1539 u1540 u1541 u1542 u1543 u1544 u1545 u1546 u1547 u1548 u1549 u1550 u1551 u1552 u1553 u1554 u1555 u1556 u1557 u1558 u1559 u1560 u1561 u1562 u1563 u1564 u1565 u1566 u1567 u1568 u1569 u1570 u1571 u1572 u1573 u1574 u1575 u1576 u1577 u1578 u1579 u1580 u1581 u1582 u1583 u1584 u1585 u1586 u1587 u1588 u1589 u1590 u1591 u1592 u1593 u1594 u1595 u1596 u1597 u1598 u1599 u1600 u1601 u1602 u1603 u1604 u1605 u1606 u1607 u1608 u1609 u1610 u1611 u1612 u1613 u1614 u1615 u1616 u1617 u1618 u1619 u1620 u1621 u1622 u1623 u1624 u1625 u1626 u1627 u1628 u1629 u1630 u1631 u1632 u1633 u1634 u1635 u1636 u1637 u1638 u1639 u1640 u1641 u1642 u1643 u1644 u1645 u1646 u1647 u1648 u1649 u1650 u1651 u1652 u1653 u1654 u1655 u1656 u1657 u1658 u1659 u1660 u1661 u1662 u1663 u1664 u1665 u1666 u1667 u1668 u1669 u1670 u1671 u1672 u1673 u1674 u1675 u1676 u1677 u1678 u1679 u1680 u1681 u1682 u1683 u1684 u1685 u1686 u1687 u1688 u1689 u1690 u1691 u1692 u1693 u1694 u1695 u1696 u1697 u1698 u1699 u1700 u1701 u1702 u1703 u1704 u1705 u1706 u1707 u1708 u1709 u1710 u1711 u1712 u1713 u1714 u1715 u1716 u1717 u1718 u1719 u1720 u1721 u1722 u1723 u1724 u1725 u1726 u1727 u1728 u1729 u1730 u1731 u1732 u1733 u1734 u1735 u1736 u1737 u1738 u1739 u1740 u1741 u1742 u1743 u1744 u1745 u1746 u1747 u1748 u1749 u1750 u1751 u1752 u1753 u1754 u1755 u1756 u1757 u1758 u1759 u1760 u1761 u1762 u1763 u1764 u1765 u1766 u1767 u1768 u1769 u1770 u1771 u1772 u1773 u1774 u1775 u1776 u1777 u1778 u1779 u1780 u1781 u1782 u1783 u1784 u1785 u1786 u1787 u1788 u1789 u1790 u1791 u1792 u1793 u1794 u1795 u1796 u1797 u1798 u1799 u1800 u1801 u1802 u1803 u1804 u1805 u1806 u1807 u1808 u1809 u1810 u1811 u1812 u1813 u1814 u1815 u1816 u1817 u1818 u1819 u1820 u1821 u1822 u1823 u1824 u1825 u1826 u1827 u1828 u1829 u1830 u1831 u1832 u1833 u1834 u1835 u1836 u1837 u1838 u1839 u1840 u1841 u1842 u1843 u1844 u1845 u1846 u1847 u1848 u1849 u1850 u1851 u1852 u1853 u1854 u1855 u1856 u1857 u1858 u1859 u1860 u1861 u1862 u1863 u1864 u1865 u1866 u1867 u1868 u1869 u1870 u1871 u1872 u1873 u1874 u1875 u1876 u1877 u1878 u1879 u1880 u1881 u1882 u1883 u1884 u1885 u1886 u1887 u1888 u1889 u1890 u1891 u1892 u1893 u1894 u1895 u1896 u1897 u1898 u1899 u1900 u1901 u1902 u1903 u1904 u1905 u1906 u1907 u1908 u1909 u1910 u1911 u1912 u1913 u1914 u1915 u1916 u1917 u1918 u1919 u1920 u1921 u1922 u1923 u1924 u1925 u1926 u1927 u1928 u1929 u1930 u1931 u1932 u1933 u1934 u1935 u1936 u1937 u1938 u1939 u1940 u1941 u1942 u1943 u1944 u1945 u1946 u1947 u1948 u1949 u1950 u1951 u1952 u1953 u1954 u1955 u1956 u1957 u1958 u1959 u1960 u1961 u1962 u1963 u1964 u1965 u1966 u1967 u1968 u1969 u1970 u1971 u1972 u1973 u1974 u1975 u1976 u1977 u1978 u1979 u1980 u1981 u1982 u1983 u1984 u1985 u1986 u1987 u1988 u1989 u1990 u1991 u1992 u1993 u1994 u1995 u1996 u1997 u1998 u1999 u2000))
(define-constant ids-4 (list u2001 u2002 u2003 u2004 u2005 u2006 u2007 u2008 u2009 u2010 u2011 u2012 u2013 u2014 u2015 u2016 u2017 u2018 u2019 u2020 u2021 u2022 u2023 u2024 u2025 u2026 u2027 u2028 u2029 u2030 u2031 u2032 u2033 u2034 u2035 u2036 u2037 u2038 u2039 u2040 u2041 u2042 u2043 u2044 u2045 u2046 u2047 u2048 u2049 u2050 u2051 u2052 u2053 u2054 u2055 u2056 u2057 u2058 u2059 u2060 u2061 u2062 u2063 u2064 u2065 u2066 u2067 u2068 u2069 u2070 u2071 u2072 u2073 u2074 u2075 u2076 u2077 u2078 u2079 u2080 u2081 u2082 u2083 u2084 u2085 u2086 u2087 u2088 u2089 u2090 u2091 u2092 u2093 u2094 u2095 u2096 u2097 u2098 u2099 u2100 u2101 u2102 u2103 u2104 u2105 u2106 u2107 u2108 u2109 u2110 u2111 u2112 u2113 u2114 u2115 u2116 u2117 u2118 u2119 u2120 u2121 u2122 u2123 u2124 u2125 u2126 u2127 u2128 u2129 u2130 u2131 u2132 u2133 u2134 u2135 u2136 u2137 u2138 u2139 u2140 u2141 u2142 u2143 u2144 u2145 u2146 u2147 u2148 u2149 u2150 u2151 u2152 u2153 u2154 u2155 u2156 u2157 u2158 u2159 u2160 u2161 u2162 u2163 u2164 u2165 u2166 u2167 u2168 u2169 u2170 u2171 u2172 u2173 u2174 u2175 u2176 u2177 u2178 u2179 u2180 u2181 u2182 u2183 u2184 u2185 u2186 u2187 u2188 u2189 u2190 u2191 u2192 u2193 u2194 u2195 u2196 u2197 u2198 u2199 u2200 u2201 u2202 u2203 u2204 u2205 u2206 u2207 u2208 u2209 u2210 u2211 u2212 u2213 u2214 u2215 u2216 u2217 u2218 u2219 u2220 u2221 u2222 u2223 u2224 u2225 u2226 u2227 u2228 u2229 u2230 u2231 u2232 u2233 u2234 u2235 u2236 u2237 u2238 u2239 u2240 u2241 u2242 u2243 u2244 u2245 u2246 u2247 u2248 u2249 u2250 u2251 u2252 u2253 u2254 u2255 u2256 u2257 u2258 u2259 u2260 u2261 u2262 u2263 u2264 u2265 u2266 u2267 u2268 u2269 u2270 u2271 u2272 u2273 u2274 u2275 u2276 u2277 u2278 u2279 u2280 u2281 u2282 u2283 u2284 u2285 u2286 u2287 u2288 u2289 u2290 u2291 u2292 u2293 u2294 u2295 u2296 u2297 u2298 u2299 u2300 u2301 u2302 u2303 u2304 u2305 u2306 u2307 u2308 u2309 u2310 u2311 u2312 u2313 u2314 u2315 u2316 u2317 u2318 u2319 u2320 u2321 u2322 u2323 u2324 u2325 u2326 u2327 u2328 u2329 u2330 u2331 u2332 u2333 u2334 u2335 u2336 u2337 u2338 u2339 u2340 u2341 u2342 u2343 u2344 u2345 u2346 u2347 u2348 u2349 u2350 u2351 u2352 u2353 u2354 u2355 u2356 u2357 u2358 u2359 u2360 u2361 u2362 u2363 u2364 u2365 u2366 u2367 u2368 u2369 u2370 u2371 u2372 u2373 u2374 u2375 u2376 u2377 u2378 u2379 u2380 u2381 u2382 u2383 u2384 u2385 u2386 u2387 u2388 u2389 u2390 u2391 u2392 u2393 u2394 u2395 u2396 u2397 u2398 u2399 u2400 u2401 u2402 u2403 u2404 u2405 u2406 u2407 u2408 u2409 u2410 u2411 u2412 u2413 u2414 u2415 u2416 u2417 u2418 u2419 u2420 u2421 u2422 u2423 u2424 u2425 u2426 u2427 u2428 u2429 u2430 u2431 u2432 u2433 u2434 u2435 u2436 u2437 u2438 u2439 u2440 u2441 u2442 u2443 u2444 u2445 u2446 u2447 u2448 u2449 u2450 u2451 u2452 u2453 u2454 u2455 u2456 u2457 u2458 u2459 u2460 u2461 u2462 u2463 u2464 u2465 u2466 u2467 u2468 u2469 u2470 u2471 u2472 u2473 u2474 u2475 u2476 u2477 u2478 u2479 u2480 u2481 u2482 u2483 u2484 u2485 u2486 u2487 u2488 u2489 u2490 u2491 u2492 u2493 u2494 u2495 u2496 u2497 u2498 u2499 u2500))
(define-read-only (get-ids (batch uint))
(if (is-eq batch u0) ids-0
(if (is-eq batch u1) ids-1
(if (is-eq batch u2) ids-2
(if (is-eq batch u3) ids-3
(if (is-eq batch u4) ids-4
(list ))))))
)