{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["syntactic"],"properties":{"syntactic":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["table","accept"],"properties":{"table":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":12},"minItems":1,"maxItems":10},"minItems":1,"maxItems":10},"accept":{"type":"array","items":{"type":"integer","minimum":0,"maximum":12},"minItems":0,"maxItems":10}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B15/finite-semigroup-acceptance-syntactic-congruence-quotient"}