# MATH show local assignment
[hear] (assign 20 0 / = (20) 0);
[hear] (assign 20 1 / = (20) 1);
[hear] (assign 20 2 / = (20) 2);
[hear] (assign 21 0 / = (21) 0);
[hear] (assign 21 1 / = (21) 1);
[hear] (assign 21 2 / = (21) 2);
[hear] (assign 22 0 / = (22) 0);
[hear] (assign 22 1 / = (22) 1);
[hear] (assign 22 2 / = (22) 2);
[hear] (= 0 (assign 20 0 (20)));
[hear] (= 0 (assign 20 0 / 20));
[hear] (= 0 / assign 20 0 / 20);
[hear] (= 20 / assign 20 0 20);
[hear] (= 5 / assign 20 0 5);
[hear] (= 5 / assign 20 0 / assign 23 5 / 23);
[hear] (= 23 / assign 20 0 / assign 23 5 23);
[hear] (= 1 (assign 20 1 (20)));
[hear] (= 1 (assign 20 1 / 20));
[hear] (= 1 / assign 20 1 / 20);
[hear] (= 20 / assign 20 1 20);
[hear] (= 5 / assign 20 1 5);
[hear] (= 5 / assign 20 1 / assign 23 5 / 23);
[hear] (= 23 / assign 20 1 / assign 23 5 23);
[hear] (= 2 (assign 20 2 (20)));
[hear] (= 2 (assign 20 2 / 20));
[hear] (= 2 / assign 20 2 / 20);
[hear] (= 20 / assign 20 2 20);
[hear] (= 5 / assign 20 2 5);
[hear] (= 5 / assign 20 2 / assign 23 5 / 23);
[hear] (= 23 / assign 20 2 / assign 23 5 23);
[hear] (= 0 (assign 21 0 (21)));
[hear] (= 0 (assign 21 0 / 21));
[hear] (= 0 / assign 21 0 / 21);
[hear] (= 21 / assign 21 0 21);
[hear] (= 5 / assign 21 0 5);
[hear] (= 5 / assign 21 0 / assign 23 5 / 23);
[hear] (= 23 / assign 21 0 / assign 23 5 23);
[hear] (= 1 (assign 21 1 (21)));
[hear] (= 1 (assign 21 1 / 21));
[hear] (= 1 / assign 21 1 / 21);
[hear] (= 21 / assign 21 1 21);
[hear] (= 5 / assign 21 1 5);
[hear] (= 5 / assign 21 1 / assign 23 5 / 23);
[hear] (= 23 / assign 21 1 / assign 23 5 23);
[hear] (= 2 (assign 21 2 (21)));
[hear] (= 2 (assign 21 2 / 21));
[hear] (= 2 / assign 21 2 / 21);
[hear] (= 21 / assign 21 2 21);
[hear] (= 5 / assign 21 2 5);
[hear] (= 5 / assign 21 2 / assign 23 5 / 23);
[hear] (= 23 / assign 21 2 / assign 23 5 23);
[hear] (= 0 (assign 22 0 (22)));
[hear] (= 0 (assign 22 0 / 22));
[hear] (= 0 / assign 22 0 / 22);
[hear] (= 22 / assign 22 0 22);
[hear] (= 5 / assign 22 0 5);
[hear] (= 5 / assign 22 0 / assign 23 5 / 23);
[hear] (= 23 / assign 22 0 / assign 23 5 23);
[hear] (= 1 (assign 22 1 (22)));
[hear] (= 1 (assign 22 1 / 22));
[hear] (= 1 / assign 22 1 / 22);
[hear] (= 22 / assign 22 1 22);
[hear] (= 5 / assign 22 1 5);
[hear] (= 5 / assign 22 1 / assign 23 5 / 23);
[hear] (= 23 / assign 22 1 / assign 23 5 23);
[hear] (= 2 (assign 22 2 (22)));
[hear] (= 2 (assign 22 2 / 22));
[hear] (= 2 / assign 22 2 / 22);
[hear] (= 22 / assign 22 2 22);
[hear] (= 5 / assign 22 2 5);
[hear] (= 5 / assign 22 2 / assign 23 5 / 23);
[hear] (= 23 / assign 22 2 / assign 23 5 23);
# Now for functions.
[hear] (assign 20 (? 28 5) / = 5 (20 2));
[hear] (assign 32 (? 24 5) / = 5 (32 3));
[hear] (assign 28 (? 29 6) / = 6 (28 2));
[hear] (assign 30 (? 32 6) / = 6 (30 3));
[hear] (assign 25 (? 38 (38)) / = 2 (25 2));
[hear] (assign 23 (? 30 (30)) / = 3 (23 3));
[hear] (assign 25 (? 33 (33)) / = 2 (25 2));
[hear] (assign 29 (? 21 (21)) / = 3 (29 3));
[hear] (assign 25 (? 32 / + (32) 1) / = 3 (25 2));
[hear] (assign 31 (? 38 / + (38) 1) / = 4 (31 3));
[hear] (assign 35 (? 33 / + (33) 1) / = 3 (35 2));
[hear] (assign 32 (? 26 / + (26) 1) / = 4 (32 3));
[hear] (assign y (? x / + (x) 6) / = (y 6) 12);
[hear] (= ((? x / + (x) 6) 6) 12);
[hear] (assign y (? x / + (x) 4) / = (y 0) 4);
[hear] (= ((? x / + (x) 4) 0) 4);
[hear] (assign y (? x / + (x) 12) / = (y 0) 12);
[hear] (= ((? x / + (x) 12) 0) 12);
[hear] (assign y (? x / + (x) 15) / = (y 2) 17);
[hear] (= ((? x / + (x) 15) 2) 17);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= (z 13 4) 53);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= ((z 13) 4) 53);
[hear] (= ((? x / ? y / + 1 / * (x) (y)) 13 4) 53);
[hear] (= (((? x / ? y / + 1 / * (x) (y)) 13) 4)
53);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= (z 5 6) 31);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= ((z 5) 6) 31);
[hear] (= ((? x / ? y / + 1 / * (x) (y)) 5 6) 31);
[hear] (= (((? x / ? y / + 1 / * (x) (y)) 5) 6)
31);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= (z 7 8) 57);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= ((z 7) 8) 57);
[hear] (= ((? x / ? y / + 1 / * (x) (y)) 7 8) 57);
[hear] (= (((? x / ? y / + 1 / * (x) (y)) 7) 8)
57);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= (z 8 2) 17);
[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
= ((z 8) 2) 17);
[hear] (= ((? x / ? y / + 1 / * (x) (y)) 8 2) 17);
[hear] (= (((? x / ? y / + 1 / * (x) (y)) 8) 2)
17);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 15 14 29);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 5 8 13);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 12 15 27);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 14 14 28);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 8 0 8);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 15 9 24);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 11 15 26);
[hear] (assign
w
(? x /
? y /
? z /
= (z) /
+ (x) (y)) /
w 5 7 12);