cat /home/theuser/curio/extern/cuzk/cuzk-pce/src/density.rs

cat /home/theuser/curio/extern/cuzk/cuzk-pce/src/csr.rs

cat /home/theuser/curio/extern/cuzk/cuzk-pce/src/lib.rs