{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"pushdownPrestar":{"type":"object","properties":{"data":{"type":"object","properties":{"controls":{"type":"integer","minimum":1,"maximum":6},"alphabet":{"type":"integer","minimum":1,"maximum":6},"states":{"type":"integer","minimum":1,"maximum":14},"finals":{"type":"array","items":{"type":"integer","minimum":0,"maximum":13},"maxItems":14,"minItems":0},"transitions":{"type":"array","items":{"type":"array","prefixItems":[{"type":"integer","minimum":0,"maximum":13},{"type":"integer","minimum":0,"maximum":5},{"type":"integer","minimum":0,"maximum":13}],"items":{"type":"integer"},"minItems":3,"maxItems":3},"maxItems":128,"minItems":0},"rules":{"type":"array","items":{"type":"object","properties":{"from":{"type":"integer","minimum":0,"maximum":5},"pop":{"type":"integer","minimum":0,"maximum":5},"to":{"type":"integer","minimum":0,"maximum":5},"push":{"type":"array","items":{"type":"integer","minimum":0,"maximum":5},"maxItems":2,"minItems":0}},"required":["from","pop","to","push"],"additionalProperties":false},"maxItems":64,"minItems":0},"queries":{"type":"array","items":{"type":"object","properties":{"control":{"type":"integer","minimum":0,"maximum":5},"stack":{"type":"array","items":{"type":"integer","minimum":0,"maximum":5},"maxItems":64,"minItems":0}},"required":["control","stack"],"additionalProperties":false},"maxItems":64,"minItems":0}},"required":["controls","alphabet","states","finals","transitions","rules","queries"],"additionalProperties":false},"claim":{"$ref":"#/properties/artifact/%24defs/json"}},"required":["data","claim"],"additionalProperties":false}},"required":["pushdownPrestar"],"additionalProperties":false,"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":16000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":16000},{"type":"object","additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"},"maxProperties":16000}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/pushdown-system-regular-configuration-prestar-saturation-certificate"}