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