{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["markov_bisimulation"],"properties":{"markov_bisimulation":{"type":"object","additionalProperties":false,"required":["labels","denominator","weights","claim"],"properties":{"labels":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"integer","minimum":0,"maximum":255}},"denominator":{"type":"integer","minimum":1,"maximum":1000},"weights":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"integer","minimum":0,"maximum":1000}}},"claim":{"type":"array","minItems":0,"maxItems":16,"items":{"type":"integer","minimum":0,"maximum":15}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-NIGHT-ECMA/rational-labelled-markov-probabilistic-bisimulation"}