Seiberg-Witten Prepotential from Instanton Counting | Synapse