{"options": {"runner": {"environment": "theorems"}, "blocks": {"SiAlorsImplication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "Une implication", "inputs": [{"type": "dummy_input", "fields": [{"text": "Si", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "hypo", "check": null}, {"type": "dummy_input", "fields": [{"text": "alors,", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "base_start": {"next_statement": true, "colour": 65, "tooltip": "D\u00e9marrage de l'algorithme", "inputs": [{"type": "dummy_input", "fields": [{"text": "Au d\u00e9marrage", "type": "text"}], "align": "left"}], "creatable": false, "on_event": "start"}, "RecurrenceImplication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "D\u00e9monstration par r\u00e9currence", "inputs": [{"type": "dummy_input", "fields": [{"text": "On sait que", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "(Initialisation)", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "init", "check": null}, {"type": "dummy_input", "fields": [{"text": "et", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "(h\u00e9r\u00e9dit\u00e9)", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "recurrence", "check": null}, {"type": "dummy_input", "fields": [{"text": "donc, par r\u00e9currence", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "r": {"compound": {"blocks": {"SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "n": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "n"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "n_1": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "2\u207f"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "Quantifier": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "dummy_input", "fields": [{"name": "quantifier", "values": [["pour tout", "forall"], ["il existe", "exists"]], "type": "dropdown"}], "align": "left"}, {"type": "dummy_input", "fields": [{"name": "variable", "default": "n", "type": "text_input"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": " dans ", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"name": "set", "values": [["\u2115", "N"]], "type": "dropdown"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": ",", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value", "check": null}], "inline": true}}, "ast": {"type": "Quantifier", "value": {"type": "SimpleComparison", "value_1": {"type": "n_1"}, "value_2": {"type": "n"}, "op": "GT"}, "quantifier": "forall", "variable": "n", "set": "N"}}, "previous_statement": true, "next_statement": true, "colour": 210, "inline": true}, "concl_rec": {"compound": {"blocks": {"n_3": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "2\u207f\u207a\u00b9"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "n_2": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "n + 1"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "base_expressiontostatement": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "expression", "check": null}], "inline": true}}, "ast": {"type": "base_expressiontostatement", "expression": {"type": "SimpleComparison", "value_1": {"type": "n_3"}, "value_2": {"type": "n_2"}, "op": "GT"}}}, "previous_statement": true, "next_statement": true, "colour": 210, "inline": true}, "init": {"compound": {"blocks": {"SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "base_numberinput": {"output": "Number", "colour": 260, "tooltip": "Fourni un nombre", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": 0.0, "type": "number_input"}], "align": "left"}]}, "base_expressiontostatement": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "expression", "check": null}], "inline": true}}, "ast": {"type": "base_expressiontostatement", "expression": {"type": "SimpleComparison", "value_1": {"type": "base_numberinput", "value": 1.0}, "value_2": {"type": "base_numberinput", "value": 0.0}, "op": "GT"}}}, "previous_statement": true, "next_statement": true, "colour": 210, "inline": true}, "hypo_rec": {"compound": {"blocks": {"SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "n": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "n"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "n_1": {"compound": {"blocks": {"base_stringinput": {"output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res", "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "base_stringinput", "value": "2\u207f"}}, "output": "String", "colour": 260, "tooltip": "Fourni une cha\u00eene de caract\u00e8res"}, "base_expressiontostatement": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "expression", "check": null}], "inline": true}}, "ast": {"type": "base_expressiontostatement", "expression": {"type": "SimpleComparison", "value_1": {"type": "n_1"}, "value_2": {"type": "n"}, "op": "GT"}}}, "previous_statement": true, "next_statement": true, "colour": 210, "inline": true}}, "toolbox": [{"type": "RecurrenceImplication"}, {"type": "SiAlorsImplication"}, {"type": "concl_rec"}, {"type": "hypo_rec"}, {"type": "init"}, {"type": "r"}]}, "ast": [[{"type": "base_start", "deletable": false, "editable": false}]]}