1 2 3 4 5 6 7 8
{ "expr": "( $inf := function(){$inf()}; $inf())", "dataset": null, "timelimit": 1000, "depth": 500, "bindings": {}, "code": "U1001" }