../ egraph 14-Dec-2025 20:48 1029 egraph-serialize 19-Oct-2025 12:20 3554 egraphics 01-Nov-2025 04:13 1692 egraphics-cli 01-Nov-2025 04:13 2951 egraphics-core 01-Nov-2025 04:13 2624 egraphics-io 01-Nov-2025 04:13 3672