Tags: magicicada septendecim, 6.GA, expected value, systems of inequality, symmetry,