E-graph loading ...