{"event": "unary_prune", "constraint": "python_hora_10", "variable": "Python", "removed": [[9, "A"], [9, "B"]], "remaining": [[10, "A"], [10, "B"]]}
{"event": "unary_prune", "constraint": "datos_sala_b", "variable": "Datos", "removed": [[9, "A"], [10, "A"]], "remaining": [[9, "B"], [10, "B"]]}
{"event": "choose_variable", "depth": 0, "variable": "Python", "domain_size": 2, "assignment": {}}
{"event": "try_value", "depth": 0, "variable": "Python", "value": [10, "A"], "assignment": {"Python": [10, "A"]}, "consistent": true, "failures": []}
{"event": "forward_prune", "depth": 1, "variable": "IA", "removed": [[10, "A"], [10, "B"]], "assignment": {"Python": [10, "A"]}}
{"event": "choose_variable", "depth": 1, "variable": "IA", "domain_size": 2, "assignment": {"Python": [10, "A"]}}
{"event": "try_value", "depth": 1, "variable": "IA", "value": [9, "A"], "assignment": {"Python": [10, "A"], "IA": [9, "A"]}, "consistent": true, "failures": []}
{"event": "choose_variable", "depth": 2, "variable": "Datos", "domain_size": 2, "assignment": {"Python": [10, "A"], "IA": [9, "A"]}}
{"event": "try_value", "depth": 2, "variable": "Datos", "value": [9, "B"], "assignment": {"Python": [10, "A"], "IA": [9, "A"], "Datos": [9, "B"]}, "consistent": true, "failures": []}
{"event": "solution", "depth": 3, "assignment": {"Python": [10, "A"], "IA": [9, "A"], "Datos": [9, "B"]}}
{"event": "try_value", "depth": 2, "variable": "Datos", "value": [10, "B"], "assignment": {"Python": [10, "A"], "IA": [9, "A"], "Datos": [10, "B"]}, "consistent": true, "failures": []}
{"event": "solution", "depth": 3, "assignment": {"Python": [10, "A"], "IA": [9, "A"], "Datos": [10, "B"]}}
{"event": "try_value", "depth": 1, "variable": "IA", "value": [9, "B"], "assignment": {"Python": [10, "A"], "IA": [9, "B"]}, "consistent": true, "failures": []}
{"event": "forward_prune", "depth": 2, "variable": "Datos", "removed": [[9, "B"]], "assignment": {"Python": [10, "A"], "IA": [9, "B"]}}
{"event": "choose_variable", "depth": 2, "variable": "Datos", "domain_size": 1, "assignment": {"Python": [10, "A"], "IA": [9, "B"]}}
{"event": "try_value", "depth": 2, "variable": "Datos", "value": [10, "B"], "assignment": {"Python": [10, "A"], "IA": [9, "B"], "Datos": [10, "B"]}, "consistent": true, "failures": []}
{"event": "solution", "depth": 3, "assignment": {"Python": [10, "A"], "IA": [9, "B"], "Datos": [10, "B"]}}
{"event": "try_value", "depth": 0, "variable": "Python", "value": [10, "B"], "assignment": {"Python": [10, "B"]}, "consistent": true, "failures": []}
{"event": "forward_prune", "depth": 1, "variable": "IA", "removed": [[10, "A"], [10, "B"]], "assignment": {"Python": [10, "B"]}}
{"event": "choose_variable", "depth": 1, "variable": "IA", "domain_size": 2, "assignment": {"Python": [10, "B"]}}
{"event": "try_value", "depth": 1, "variable": "IA", "value": [9, "A"], "assignment": {"Python": [10, "B"], "IA": [9, "A"]}, "consistent": true, "failures": []}
{"event": "forward_prune", "depth": 2, "variable": "Datos", "removed": [[10, "B"]], "assignment": {"Python": [10, "B"], "IA": [9, "A"]}}
{"event": "choose_variable", "depth": 2, "variable": "Datos", "domain_size": 1, "assignment": {"Python": [10, "B"], "IA": [9, "A"]}}
{"event": "try_value", "depth": 2, "variable": "Datos", "value": [9, "B"], "assignment": {"Python": [10, "B"], "IA": [9, "A"], "Datos": [9, "B"]}, "consistent": true, "failures": []}
{"event": "solution", "depth": 3, "assignment": {"Python": [10, "B"], "IA": [9, "A"], "Datos": [9, "B"]}}
{"event": "try_value", "depth": 1, "variable": "IA", "value": [9, "B"], "assignment": {"Python": [10, "B"], "IA": [9, "B"]}, "consistent": true, "failures": []}
{"event": "forward_prune", "depth": 2, "variable": "Datos", "removed": [[9, "B"], [10, "B"]], "assignment": {"Python": [10, "B"], "IA": [9, "B"]}}
{"event": "empty_domain", "depth": 2, "variables": ["Datos"], "assignment": {"Python": [10, "B"], "IA": [9, "B"]}}