[{"has_loop": false, "EAX": "0x3", "satisfiability": true, "constraints": {}}]