Minsung Cho

Website crash when computing tables with large entries

1

I'm using Chromium on an ARM Mac. When I run a Dusa program that generates large entries for a relation (in [this example program](https://dusa.rocks/#jsonz=jZJBa9xADIX_ysO5bMA1OYfSUpJj1izpNifDorXleMDWmJGc4C7572XG62RTeuhxpE9PetKcMstuMz-yZHnW-HoaWGLkCoGk8QMsMOOZhQOZ81JJJVfHyfXmBOWP_eHnr7s7aJHisI4RiwL3iUbtxciJoiRTfMUWrQ9QPzC2-IYbaGEF6sl822ILp5AkFUV2uP2ypnYxNReVnN83f703ivI6xk5zDnmLlZVgrS5XOs5IGAM3riZjWEeG1gVWeOlnvHYsyYBTtFPfz6j9ME7GTSp2elCyKZBxczHcMncOXRpt8yRRppKRrEPw3j4Pd6n0wW16bu2fRlL63cYCB_fc_Q9dCdmywBMPo80JS8huXfgZ-I5TQ0a4T0g0cZ9fkPPFldO3-DgzCY4MZRaQgrAZKZij_hrtJHVi2uCHJKYwnzR0OkYZjZq_3ThyUFCvfv01eKF-YoUFeuGg3ODVWecElNpXkoZYnPVMbZp69ZqsFp8Y8Q3jCQ94jGQl72wy_ZQvppYj7NJaH9bYsusl-JjWABI9pKRT7GPnZSXnU--LSrK3Pw), the entry for `ans_tree`) it will...

Build from source issue: `Cannot find module '.../dusa/lib/cli.js'`

1

On an ARM Mac, I cloned the repo and attempted to run ```npx dusa examples/mutual-exclusion.dusa``` as per the README and ran into this error message: ``` node:internal/modules/esm/resolve:260 throw new ERR_MODULE_NOT_FOUND(...