--# run #--
--- text ---
| {}"x=" {}"*{1:4}" {}"" |
| {}"1=" {}"true" {}"" |
| {}"a(x)=" {}"4" {}"" |
--- text ---
| {}"a(x)=" {}"4" {}"" |
--- text ---
| {}"a(x)=" {}"4" {}"" |
--- text ---
| {}"a(x)=" {}"4" {}"" |
| {}"no=" {}"()" {}"" |
--- return ---
()
--# saved #--
{"f.checkpoint":#ch c, "f.reached":*{#ch a:1, #ch b:1, #ch c:1}, "f.run":1}