Equational-implication-graph-four-operations Proof of concept for large number of nodes using Cytoscape.js