{"options": {"runner": {"environment": "theorems"}, "toolbox": [{"value_1": {"type": "BC2"}, "value_2": {"type": "other"}, "type": "SimpleComparison", "op": "EQ"}, {"value_1": {"type": "BC2"}, "value_2": {"type": "other"}, "type": "SimpleComparison", "op": "NE"}, {"type": "Implication"}, {"type": "nottriangle"}, {"type": "theorem_PythagorasContraposition"}, {"type": "theorem_PythagorasConverse"}, {"type": "triangle"}], "blocks": {"triangle": {"colour": 210, "previous_statement": true, "next_statement": true, "compound": {"blocks": {"RectangleTriangle": {"colour": 210, "previous_statement": true, "next_statement": true, "compound": {"blocks": {"SummitTriangleProperty": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "element"}, {"type": "dropdown", "values": [["est", "est"], ["n'est pas", "pas"]], "name": "is_or_not"}, {"text": "un triangle", "type": "text"}, {"type": "dropdown", "values": [["rectangle", "rectangle"]], "name": "property_type"}, {"text": "en", "type": "text"}, {"default": "", "type": "text_input", "name": "main_summit"}], "align": "left", "type": "dummy_input"}], "colour": 210, "next_statement": true, "previous_statement": true}}, "ast": {"is_or_not": "est", "property_type": "rectangle", "type": "SummitTriangleProperty"}}}}, "ast": {"main_summit": "A", "type": "RectangleTriangle", "element": "ABC"}}}, "nottriangle": {"colour": 210, "previous_statement": true, "next_statement": true, "compound": {"blocks": {"NotRectangleTriangle": {"colour": 210, "previous_statement": true, "next_statement": true, "compound": {"blocks": {"SummitTriangleProperty": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "element"}, {"type": "dropdown", "values": [["est", "est"], ["n'est pas", "pas"]], "name": "is_or_not"}, {"text": "un triangle", "type": "text"}, {"type": "dropdown", "values": [["rectangle", "rectangle"]], "name": "property_type"}, {"text": "en", "type": "text"}, {"default": "", "type": "text_input", "name": "main_summit"}], "align": "left", "type": "dummy_input"}], "colour": 210, "next_statement": true, "previous_statement": true}}, "ast": {"is_or_not": "pas", "property_type": "rectangle", "type": "SummitTriangleProperty"}}}}, "ast": {"main_summit": "A", "type": "NotRectangleTriangle", "element": "ABC"}}}, "theorem_PythagorasContraposition": {"inputs": [{"fields": [{"text": "D'apr\u00e8s la contrapos\u00e9e du", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "th\u00e9or\u00e8me de Pythagore,", "type": "text"}], "align": "left", "type": "dummy_input"}], "colour": 23, "next_statement": true, "previous_statement": true}, "Start": {"inputs": [{"fields": [{"text": "D\u00e9monstration", "type": "text"}], "align": "left", "type": "dummy_input"}], "on_event": "start", "creatable": false, "tooltip": "D\u00e9marrage de la d\u00e9monstration", "colour": 65, "next_statement": true}, "other": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "AC\u00b2 + AB\u00b2"}}}, "SimpleComparison": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": null}, {"fields": [{"type": "dropdown", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "name": "op"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": null}], "colour": 210, "next_statement": true, "previous_statement": true}, "Implication": {"inputs": [{"fields": [{"text": "On sait que", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "hypo", "check": null}, {"fields": [{"text": "or,", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "theo", "check": null}, {"fields": [{"text": "donc", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "concl", "check": null}], "colour": 120, "next_statement": true, "tooltip": "\u00c0 partir d'hypoth\u00e8ses et d'une propri\u00e9t\u00e9 d\u00e9montre un r\u00e9sultat", "previous_statement": true}, "theorem_PythagorasConverse": {"inputs": [{"fields": [{"text": "D'apr\u00e8s la r\u00e9ciproque du", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "th\u00e9or\u00e8me de Pythagore,", "type": "text"}], "align": "left", "type": "dummy_input"}], "colour": 23, "next_statement": true, "previous_statement": true}, "BC2": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "BC\u00b2"}}}}}, "ast": [[{"editable": false, "type": "Start", "deletable": false, "movable": false}]]}