egg 0.6.0

An implementation of egraphs
Documentation
<mxfile host="Electron" modified="2020-07-14T14:55:25.376Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_5) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/13.3.5 Chrome/83.0.4103.119 Electron/9.0.5 Safari/537.36" etag="bSvHMpdmc6EOkAsq7V0L" version="13.3.5" type="device"><diagram id="xNKCYX4E8J_99azMfX-B" name="Page-1">7V3bkps4EP2aedmqdVni6sfJJLNbqU02VXlI8sjaxCbLWF7MZMb5+hVGwkYSRlyEhI1TlTFCyNB9JLW6T4s76+Hp9Y8k2G0+oFUY38H56vXOensHIbQciP9kJYe8BMznVl6yTqIVKTsVfI5+hbQiKX2OVuG+VDFFKE6jXblwibbbcJmWyoIkQS/lat9RXP7VXbAOuYLPyyDmS79Eq3STl/rO/FT+ZxitN/SX8QPmZ54CWpkU7DfBCr2cFVnv7qyHBKE0//b0+hDGmfSoXPLrHivOFjeWhNtU5oL3/ruF/WP18deXr8nHJXj/N/r68LtF9PMziJ/JE5O7TQ9UBOsEPe9ItTBJw1eR4IN/aPU5f2OgeFwMlBA9hWlywFUoJuglLycBA5uUbc6ECy1SGBClrou2Ts+Nv5BHbyAGUC8FLITtKswaAXfWm5dNlIafd8EyO/uCsY/LNulTTE5/j+L4AcUowcdbtMWV3qyC/aa4PDv4FKRpmGyPJXCele7TBP1bwAxL7E2l1M+le0Gx1TJ3eZm7ApG7qiQugbsrkThpxieSNEUB1q0pwNYscPtWBX4odwBd8nc4cYcrPNWTQyJBlKQbtEbbIP4LoR2R5I8wTQ/ENAmeU1TWQ/gapV/x9/nMc8jht7NTbzNpzOnBgRzkaqDqu8Mz2/GDz5QxEG6pTWQVqspuu42i8LOj52QZXqjo5vXSIFmHlxqsUHwSxkEa/SzfnUiR5NJPKML3XQAG2vbM8xenj1sGkDNbWNAFwALA9aBrl9vPb5o0ecLKfZIEh7Nqu6zCvvommHHaY4wqpjYAl6rjL/nPn1BbSKs9kF3BQOLGaTYkoOO9nSDu/veM6Inf90cg3eMK0N69HuFEz+Nv6/zvI20Lf82bo2c6jVW4JYJjaOPjbLSJsJF9H0frbHR6ilarrGF1g5HDTL/8YCSyOG1Vg5GnTofBlWqQ6WnA06xCn1Phb2MXMdNJFpolvFDXSeCVdpKFYZ2EdtpLVi+2ce4zTw0+WsbBfh8ty1Itm6xlkwvKm1wDm1K+pClV4Rs5U5gjUBgt62hx+U4ZLiwO8qfkbCq+ncWMaWnBtFRhnfVlEwEJD04XnDUw7Q3FWcW4MQzOCq9oV6C53mwOzlYIPjPc+bOFPz994LAglHBqaRnsMNSSQ96GZRUF34q6+ODUzPHocH70KUwiLJswIYXKMS27DLW1YtrqCdNgjkENT6AF5WZdvZiW8BOeYZq4UThAn3k6Ho+fzjDSNmWWtc7FJKS1btc0pFixloRilUV+qMOHnRYEkSChvaowEtS3m7bkk+U6g3v8kKXDWXn+EXt5Ef6tKM1E5p1G41ZrCUusHVNCFMCZdGFo9AiInJC3qRrdcSUg8iV28mLUBJb4ENKOGohZo9F2TexEcQRKuSKq403F/DKMYnzeUjIo4lT0qUsRp3Ms4Gu+O9m/qs7VwpQjRkjtigAQX2C9O8URY6RraGo+vtCU16k6cAYIZQGFLl7tsayqvtN8dhtqKjMsSEZH6yuMko0PG6aF3yDv8R0q/jY+5RkW2KMW6hVG9saHDdNChrCZx3E4L3pz1Q5tJRcM+VorWavn3O4p6mjrjjrCoTmdpi69gWn+KShyHbaYYbjpBYyWOFKjQeOmAQkPo5aI/jVNAxXOkmGmAZdBXNtpALKcAMggWWsAFUq4Zydz5oJ3yBB4Oi3RyTTjD2yh8D7oTg7n1mgjzym2VpQjiYaLWxvG0ljqNuct+KGBjxgsn5OfhWExVPigJ1Zb7wqDWhVGb7NsZgZPmXlHrMTy0ciNRMYJqNuPZDVjfQ5CTqqQoB5OWmt2EsvMGZqd5IgCQ4xmVbOTHBl2kkiZ6thJln6HQ9+eBafCyKvwLOjOIrUM4yQxNrlAn/2rxhQnj2UYCUmHLgzlh1n6SUkDD1QCGlgxiQ4jcj4h8VZ7g2lMMEtqXXfTTDBq8NWuDKlua1eG+ezQPxPMmZhgCphgVK0TE2wYUkDNCGoYE8wWLfQnJpgebJjGBLMhB44bZoI169i6PXi2iOwzMcH0YMM0CoAt4e26rdCpvJUMZa1krRSARU9MsIVuJpg9uQWN5YLZPW2YZhoXbHwTjHEkM1sxOWd8JDMFM0yFH2agiCi7Wmk7xXgm7zxjS/h+de88A1yPFrTeeWYE3ULaPemb1C16Yrd5A1tdvF99KHZbNeIa8N5M8ak7soThqtXCMGwrClID6XGycBidxm29Ghf6fXXz60ZoeBtG3KOvhbnck8va08Nb5q0i9X3TGmo0rohwisOFfccwWYphTVSS9Vw3rE45eZXm/cXqamKeDu/8Nn8L6aZLfN0jjWIfcusV/tnKyO1hZTS4ASE9SGlNNYYLOGOW6qyfsS0leuC1jsO/v8SE+VE90DxZoPXC9+k6izFkmdptPwch1ziuSuy0HgJ12FaGowmOAU0ip/njtRku2pdIUrsH9teNz/rwfOZ06sXme2kt6WHA6zgMdHvFjAF7NPtsAEV/FhS14FQG21VmEvjNNlORTHniIlv9ybvv16MaTG6o0Y1p3AYXTqoxNOnDtThNTEkf4vmt/oUgtuR87VZMZlPSh4lJH67IOTclfSiLEtWMoIYlfbg97eE2JX30YZQaxtxzeVLnDSd9NOvYul0brsK338KpYzfDhmmUXNdUKqM2r5a8layVadtXLge7OzC7QFMcZ3NFOw9N2QI6TA7Thib6+8ZxCcYyNHVYwE/ZAv0NcZ7ilyXffLaAAr8WNKlbjDNbwONRPmULtACt13XLVSlwgKHRIeWuv+XkAt0A4ROL7Rn0HQ/Y5P+BZ1Gh83rKTWhs5huWm+DxRMvR5CZc0LIpY4OaXdmYyaPguUw5Cz2H7LzJ797Bg6F7aDN1u4OekyHGMgzKLPzmYoRN6RMNoc/Tac2Zwk1GKjW6B6LeXGX+hcfvU2Bm/sUEx1tI4KAy1JLAMX4rTvcC1Qe80TZlhrRTcdc32ZaR0fZtOzXNKDaN6PsSW79FqUP6RH+aVGwQ0/GZ3VeyVsVVF3b1SDCeDsmQS8PqlHxRbdR3qV5X225VnT3fcirFhwnKCByn6njS23xAqzCr8T8=</diagram></mxfile>