@TagNumber(18) int get minimumDifficulty => $_getIZ(17);
@TagNumber(18) set minimumDifficulty(int v) { $_setUnsignedInt32(17, v); }