Counting Independent Sets in Percolated Graphs via the Ising Model | Synapse