Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- kb input done. <
- query loaded. <
- 1 {} 1 {}
- Tracking back from add(.(z,.(z,.)),?q) Tracking back from add(.(z,.(z,.)),?q)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 2 add(.(z,.(z,.)),?z) 2 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 3 add(.(z,.(z,.)),?z) 3 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 4 add(.(z,.(z,.)),z) 4 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 5 {} 5 {}
- 6 add(.(z,.(z,.)),?z) 6 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 7 add(.(z,.(z,.)),?z) 7 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 8 add(.(z,.(z,.)),z) 8 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 9 add(.(z,.(z,.)),z) 9 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 10 {} 10 {}
- 11 eq(?z,z) 11 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 12 eq(?z,z) 12 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 13 eq(?z,z) 13 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 14 eq(?z,z) 14 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 15 eq(?z,z) 15 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 16 eq(?z,z) 16 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 17 mul(.(?y,.(z,.)),?z) 17 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 18 mul(.(?x,.(z,.)),?z) 18 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 19 mul(.(z,.(z,.)),z) 19 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 20 eq(z,z) 20 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 21 add(.(z,.(z,.)),z) 21 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 22 {} 22 {}
- 23 mul(.(z,.(o,.)),?z) 23 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 24 mul(.(z,.(o,.)),?z) 24 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 25 add(.(z,.(z,.)),?z) 25 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 26 add(.(z,.(z,.)),?z) 26 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 27 add(.(z,.(z,.)),z) 27 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 28 eq(z,z) 28 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 29 add(.(z,.(z,.)),z) 29 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 30 {} 30 {}
- 31 mul(.(?y,.(z,.)),?z) 31 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 32 mul(.(?x,.(z,.)),?z) 32 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 33 mul(.(z,.(z,.)),z) 33 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 34 eq(z,z) 34 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 35 add(.(z,.(z,.)),z) 35 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 36 add(.(z,.(z,.)),z) 36 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 37 {} 37 {}
- 38 mul(.(z,.(o,.)),?z) 38 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 39 mul(.(z,.(o,.)),?z) 39 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 40 add(.(z,.(z,.)),?z) 40 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 41 add(.(z,.(z,.)),?z) 41 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 42 add(.(z,.(z,.)),z) 42 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 43 eq(z,z) 43 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 44 add(.(z,.(z,.)),z) 44 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 45 add(.(z,.(z,.)),z) 45 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 46 {} 46 {}
- 47 mul(.(z,.(?x,.)),?z) 47 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 48 mul(.(z,.(z,.)),?z) 48 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 49 mul(.(z,.(o,.)),?z) 49 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 50 mul(.(z,.(z,.)),z) 50 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 51 mul(.(z,.(z,.)),z) 51 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 52 eq(z,z) 52 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 53 add(.(z,.(z,.)),z) 53 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 54 {} 54 {}
- 55 eq(?z,z) 55 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 56 eq(?z,z) 56 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 57 eq(?z,z) 57 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 58 mul(.(o,.(z,.)),?z) 58 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 59 mul(.(o,.(z,.)),?z) 59 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 60 eq(?z,z) 60 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 61 eq(?z,z) 61 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 62 eq(?z,z) 62 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 63 add(.(z,.(z,.)),?z) 63 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 64 add(.(z,.(z,.)),?z) 64 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 65 add(.(z,.(z,.)),z) 65 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 66 add(.(z,.(z,.)),z) 66 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 67 eq(z,z) 67 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 68 add(.(z,.(z,.)),z) 68 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 69 {} 69 {}
- 70 mul(.(z,.(?x,.)),?z) 70 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 71 mul(.(z,.(z,.)),?z) 71 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 72 mul(.(z,.(o,.)),?z) 72 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 73 mul(.(z,.(z,.)),z) 73 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 74 mul(.(z,.(z,.)),z) 74 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 75 eq(z,z) 75 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 76 add(.(z,.(z,.)),z) 76 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 77 add(.(z,.(z,.)),z) 77 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 78 {} 78 {}
- 79 eq(?z,z) 79 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 80 eq(?z,z) 80 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 81 eq(?z,z) 81 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 82 mul(.(o,.(z,.)),?z) 82 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 83 mul(.(o,.(z,.)),?z) 83 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 84 eq(?z,z) 84 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 85 eq(?z,z) 85 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 86 eq(?z,z) 86 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 87 eq(?z,z) 87 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 88 eq(?z,z) 88 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 89 eq(?z,z) 89 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 90 eq(?z,z) 90 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 91 eq(?z,z) 91 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 92 eq(?z,z) 92 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 93 mul(.(z,.(o,.)),?z) 93 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 94 mul(.(z,.(o,.)),?z) 94 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 95 add(.(z,.(z,.)),?z) 95 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 96 add(.(z,.(z,.)),?z) 96 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 97 add(.(z,.(z,.)),z) 97 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 98 eq(z,z) 98 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 99 mul(.(?x,.(z,.)),z) 99 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 100 eq(z,z) 100 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 101 add(.(z,.(z,.)),z) 101 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 102 {} 102 {}
- 103 mul(.(z,.(o,.)),?z) 103 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 104 mul(.(z,.(o,.)),?z) 104 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 105 eq(?z,z) 105 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 106 eq(?z,z) 106 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 107 eq(?z,z) 107 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 108 mul(.(?y,.(z,.)),?z) 108 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 109 mul(.(?x,.(z,.)),?z) 109 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 110 mul(.(z,.(z,.)),z) 110 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 111 eq(z,z) 111 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 112 mul(.(z,.(o,.)),z) 112 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 113 eq(z,z) 113 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 114 add(.(z,.(z,.)),z) 114 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 115 {} 115 {}
- 116 add(.(z,.(z,.)),?z) 116 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 117 add(.(z,.(z,.)),?z) 117 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 118 add(.(z,.(z,.)),z) 118 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 119 eq(z,z) 119 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 120 mul(.(z,.(o,.)),z) 120 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 121 eq(z,z) 121 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 122 add(.(z,.(z,.)),z) 122 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 123 {} 123 {}
- 124 eq(?z,z) 124 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 125 eq(?z,z) 125 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 126 eq(?z,z) 126 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 127 eq(?z,z) 127 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 128 eq(?z,z) 128 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 129 eq(?z,z) 129 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 130 mul(.(z,.(o,.)),?z) 130 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 131 mul(.(z,.(o,.)),?z) 131 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 132 add(.(z,.(z,.)),?z) 132 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 133 add(.(z,.(z,.)),?z) 133 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 134 add(.(z,.(z,.)),z) 134 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 135 eq(z,z) 135 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 136 mul(.(?x,.(z,.)),z) 136 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 137 eq(z,z) 137 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 138 add(.(z,.(z,.)),z) 138 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 139 add(.(z,.(z,.)),z) 139 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 140 {} 140 {}
- 141 mul(.(z,.(o,.)),?z) 141 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 142 mul(.(z,.(o,.)),?z) 142 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 143 eq(?z,z) 143 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 144 eq(?z,z) 144 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 145 eq(?z,z) 145 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 146 mul(.(?y,.(z,.)),?z) 146 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 147 mul(.(?x,.(z,.)),?z) 147 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 148 mul(.(z,.(z,.)),z) 148 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 149 eq(z,z) 149 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 150 mul(.(z,.(o,.)),z) 150 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 151 eq(z,z) 151 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 152 add(.(z,.(z,.)),z) 152 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 153 add(.(z,.(z,.)),z) 153 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 154 {} 154 {}
- 155 add(.(z,.(z,.)),?z) 155 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 156 add(.(z,.(z,.)),?z) 156 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 157 add(.(z,.(z,.)),z) 157 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 158 eq(z,z) 158 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 159 mul(.(z,.(o,.)),z) 159 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 160 eq(z,z) 160 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 161 add(.(z,.(z,.)),z) 161 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 162 add(.(z,.(z,.)),z) 162 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 163 {} 163 {}
- 164 mul(.(z,.(o,.)),?z) 164 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 165 mul(.(z,.(o,.)),?z) 165 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 166 add(.(z,.(z,.)),?z) 166 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 167 add(.(z,.(z,.)),?z) 167 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 168 add(.(z,.(z,.)),z) 168 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 169 eq(z,z) 169 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 170 mul(.(z,.(z,.)),z) 170 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 171 mul(.(z,.(z,.)),z) 171 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 172 eq(z,z) 172 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 173 add(.(z,.(z,.)),z) 173 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 174 {} 174 {}
- 175 mul(.(z,.(o,.)),?z) 175 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 176 mul(.(z,.(o,.)),?z) 176 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 177 add(.(z,.(z,.)),?z) 177 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 178 add(.(z,.(z,.)),?z) 178 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 179 add(.(z,.(z,.)),z) 179 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 180 eq(z,z) 180 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 181 mul(.(z,.(o,.)),z) 181 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 182 mul(.(o,.(z,.)),z) 182 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 183 eq(z,z) 183 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 184 add(.(z,.(z,.)),z) 184 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 185 {} 185 {}
- 186 mul(.(o,.(z,.)),?z) 186 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 187 mul(.(o,.(z,.)),?z) 187 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- 188 eq(?z,z) 188 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 189 eq(?z,z) 189 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 190 eq(?z,z) 190 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 191 add(.(z,.(z,.)),?z) 191 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 192 add(.(z,.(z,.)),?z) 192 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 193 add(.(z,.(z,.)),z) 193 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 194 add(.(z,.(z,.)),z) 194 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 195 eq(z,z) 195 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 196 mul(.(?x,.(z,.)),z) 196 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 197 eq(z,z) 197 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 198 add(.(z,.(z,.)),z) 198 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 199 {} 199 {}
- 200 eq(?z,z) 200 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 201 eq(?z,z) 201 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 202 eq(?z,z) 202 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 203 mul(.(?y,.(z,.)),?z) 203 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) <
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 204 mul(.(?x,.(z,.)),?z) 204 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- 205 mul(.(z,.(z,.)),z) 205 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 206 eq(z,z) 206 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 207 mul(.(o,.(z,.)),z) 207 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 208 mul(.(z,.(o,.)),z) 208 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 209 eq(z,z) 209 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 210 add(.(z,.(z,.)),z) 210 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 211 {} 211 {}
- 212 add(.(z,.(z,.)),?z) 212 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 213 add(.(z,.(z,.)),?z) 213 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 214 add(.(z,.(z,.)),z) 214 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 215 eq(z,z) 215 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 216 mul(.(o,.(z,.)),z) 216 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 217 mul(.(z,.(o,.)),z) 217 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 218 eq(z,z) 218 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 219 add(.(z,.(z,.)),z) 219 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 220 {} 220 {}
- 221 mul(.(z,.(?x,.)),?z) 221 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 222 mul(.(z,.(z,.)),?z) 222 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 223 mul(.(z,.(o,.)),?z) 223 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 224 mul(.(z,.(z,.)),z) 224 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 225 mul(.(z,.(z,.)),z) 225 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 226 eq(z,z) 226 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 227 mul(.(z,.(o,.)),z) 227 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 228 eq(z,z) 228 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 229 add(.(z,.(z,.)),z) 229 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 230 {} 230 {}
- 231 eq(?z,z) 231 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 232 eq(?z,z) 232 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 233 eq(?z,z) 233 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 234 add(.(z,.(z,.)),?z) 234 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 235 add(.(z,.(z,.)),?z) 235 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 236 add(.(z,.(z,.)),z) 236 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 237 add(.(z,.(z,.)),z) 237 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 238 eq(z,z) 238 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 239 mul(.(z,.(o,.)),z) 239 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 240 eq(z,z) 240 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 241 add(.(z,.(z,.)),z) 241 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 242 {} 242 {}
- 243 mul(.(z,.(o,.)),?z) 243 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 244 mul(.(z,.(o,.)),?z) 244 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 245 add(.(z,.(z,.)),?z) 245 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 246 add(.(z,.(z,.)),?z) 246 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 247 add(.(z,.(z,.)),z) 247 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 248 eq(z,z) 248 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 249 mul(.(z,.(z,.)),z) 249 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 250 mul(.(z,.(z,.)),z) 250 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 251 eq(z,z) 251 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 252 add(.(z,.(z,.)),z) 252 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 253 add(.(z,.(z,.)),z) 253 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 254 {} 254 {}
- 255 mul(.(z,.(o,.)),?z) 255 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
- 256 mul(.(z,.(o,.)),?z) 256 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 257 add(.(z,.(z,.)),?z) 257 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 258 add(.(z,.(z,.)),?z) 258 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 259 add(.(z,.(z,.)),z) 259 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 260 eq(z,z) 260 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 261 mul(.(z,.(o,.)),z) 261 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 262 mul(.(o,.(z,.)),z) 262 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 263 eq(z,z) 263 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 264 add(.(z,.(z,.)),z) 264 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 265 add(.(z,.(z,.)),z) 265 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 266 {} 266 {}
- 267 mul(.(o,.(z,.)),?z) 267 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
- 268 mul(.(o,.(z,.)),?z) 268 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- 269 eq(?z,z) 269 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 270 eq(?z,z) 270 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 271 eq(?z,z) 271 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 272 eq(?z,z) 272 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
- PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 273 eq(?z,z) 273 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 274 eq(?z,z) 274 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 275 mul(.(?y,.(z,.)),?z) 275 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
- PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
- PUSH QUEUE mul(.(z,.(o,.)),?z) <
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 276 mul(.(?x,.(z,.)),?z) 276 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- 277 mul(.(z,.(z,.)),z) 277 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 278 eq(z,z) 278 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 279 mul(.(o,.(z,.)),z) 279 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 280 mul(.(z,.(o,.)),z) 280 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 281 eq(z,z) 281 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 282 add(.(z,.(z,.)),z) 282 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 283 add(.(z,.(z,.)),z) 283 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 284 {} 284 {}
- 285 add(.(z,.(z,.)),?z) 285 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 286 add(.(z,.(z,.)),?z) 286 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 287 add(.(z,.(z,.)),z) 287 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 288 eq(z,z) 288 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 289 mul(.(o,.(z,.)),z) 289 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 290 mul(.(z,.(o,.)),z) 290 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 291 eq(z,z) 291 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 292 add(.(z,.(z,.)),z) 292 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 293 add(.(z,.(z,.)),z) 293 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 294 {} 294 {}
- 295 mul(.(z,.(?x,.)),?z) 295 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 296 mul(.(z,.(z,.)),?z) 296 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 297 mul(.(z,.(o,.)),?z) 297 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 298 mul(.(z,.(z,.)),z) 298 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 299 mul(.(z,.(z,.)),z) 299 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 300 eq(z,z) 300 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 301 mul(.(z,.(o,.)),z) 301 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 302 eq(z,z) 302 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 303 add(.(z,.(z,.)),z) 303 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 304 add(.(z,.(z,.)),z) 304 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 305 {} 305 {}
- 306 eq(?z,z) 306 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 307 eq(?z,z) 307 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 308 eq(?z,z) 308 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 309 mul(.(o,.(z,.)),?z) 309 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 310 mul(.(o,.(z,.)),?z) 310 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 311 eq(?z,z) 311 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 312 eq(?z,z) 312 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 313 eq(?z,z) 313 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 314 add(.(z,.(z,.)),?z) 314 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 315 add(.(z,.(z,.)),?z) 315 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 316 add(.(z,.(z,.)),z) 316 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 317 add(.(z,.(z,.)),z) 317 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 318 eq(z,z) 318 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 319 mul(.(z,.(z,.)),z) 319 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 320 mul(.(z,.(z,.)),z) 320 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 321 eq(z,z) 321 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 322 add(.(z,.(z,.)),z) 322 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 323 {} 323 {}
- 324 mul(.(o,.(z,.)),?z) 324 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 325 mul(.(o,.(z,.)),?z) 325 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 326 add(.(z,.(z,.)),?z) 326 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 327 add(.(z,.(z,.)),?z) 327 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 328 add(.(z,.(z,.)),z) 328 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 329 add(.(z,.(z,.)),z) 329 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 330 eq(z,z) 330 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 331 mul(.(z,.(o,.)),z) 331 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 332 mul(.(o,.(z,.)),z) 332 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 333 eq(z,z) 333 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 334 add(.(z,.(z,.)),z) 334 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 335 {} 335 {}
- 336 mul(.(z,.(o,.)),?z) 336 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 337 mul(.(z,.(o,.)),?z) 337 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 338 add(.(z,.(z,.)),?z) 338 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 339 add(.(z,.(z,.)),?z) 339 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 340 add(.(z,.(z,.)),z) 340 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 341 eq(z,z) 341 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 342 mul(.(z,.(o,.)),z) 342 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 343 eq(z,z) 343 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 344 mul(.(?x,.(z,.)),z) 344 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 345 eq(z,z) 345 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 346 add(.(z,.(z,.)),z) 346 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 347 {} 347 {}
- 348 mul(.(?y,.(z,.)),?z) 348 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 349 mul(.(?x,.(z,.)),?z) 349 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 350 mul(.(z,.(z,.)),z) 350 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 351 eq(z,z) 351 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 352 mul(.(z,.(o,.)),z) 352 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 353 mul(.(o,.(z,.)),z) 353 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 354 mul(.(z,.(o,.)),z) 354 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 355 eq(z,z) 355 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 356 add(.(z,.(z,.)),z) 356 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 357 {} 357 {}
- 358 add(.(z,.(z,.)),?z) 358 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 359 add(.(z,.(z,.)),?z) 359 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 360 add(.(z,.(z,.)),z) 360 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 361 eq(z,z) 361 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 362 mul(.(z,.(o,.)),z) 362 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 363 mul(.(o,.(z,.)),z) 363 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 364 mul(.(z,.(o,.)),z) 364 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 365 eq(z,z) 365 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 366 add(.(z,.(z,.)),z) 366 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 367 {} 367 {}
- 368 mul(.(z,.(?x,.)),?z) 368 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 369 mul(.(z,.(z,.)),?z) 369 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 370 mul(.(z,.(o,.)),?z) | 370 mul(.(z,.(z,.)),z)
- Tracking back from eq(?z,?x) <
- PUSH QUEUE eq(?z,z) <
- PUSH QUEUE eq(?z,z) <
- PUSH QUEUE eq(?z,z) <
- 371 mul(.(z,.(z,.)),z) <
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 372 mul(.(z,.(z,.)),z) | 371 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 373 eq(z,z) | 372 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 374 mul(.(o,.(z,.)),z) | 373 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 375 mul(.(z,.(o,.)),z) | 374 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 376 eq(z,z) | 375 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 377 add(.(z,.(z,.)),z) | 376 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 378 {} | 377 {}
- 379 add(.(z,.(z,.)),?z) | 378 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 380 add(.(z,.(z,.)),?z) | 379 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 381 add(.(z,.(z,.)),z) | 380 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 382 add(.(z,.(z,.)),z) | 381 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 383 eq(z,z) | 382 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 384 mul(.(o,.(z,.)),z) | 383 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 385 mul(.(z,.(o,.)),z) | 384 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 386 eq(z,z) | 385 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 387 add(.(z,.(z,.)),z) | 386 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 388 {} | 387 {}
- 389 eq(?z,z) | 388 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 390 eq(?z,z) | 389 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 391 eq(?z,z) | 390 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 392 add(.(z,.(z,.)),?z) | 391 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 393 add(.(z,.(z,.)),?z) | 392 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 394 add(.(z,.(z,.)),z) | 393 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 395 eq(z,z) | 394 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 396 mul(.(?x,.(z,.)),z) | 395 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 397 eq(z,z) | 396 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 398 mul(.(z,.(o,.)),z) | 397 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 399 eq(z,z) | 398 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 400 add(.(z,.(z,.)),z) | 399 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 401 {} | 400 {}
- 402 mul(.(o,.(z,.)),?z) | 401 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 403 mul(.(o,.(z,.)),?z) | 402 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 404 eq(?z,z) | 403 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 405 eq(?z,z) | 404 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 406 eq(?z,z) | 405 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 407 mul(.(o,.(z,.)),?z) | 406 mul(.(o,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 408 mul(.(o,.(z,.)),?z) | 407 mul(.(o,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 409 mul(.(z,.(o,.)),?z) | 408 mul(.(z,.(o,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 410 mul(.(z,.(o,.)),?z) | 409 mul(.(z,.(o,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 411 add(.(z,.(z,.)),?z) | 410 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 412 add(.(z,.(z,.)),?z) | 411 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 413 add(.(z,.(z,.)),z) | 412 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 414 eq(z,z) | 413 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 415 mul(.(z,.(o,.)),z) | 414 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 416 eq(z,z) | 415 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 417 mul(.(?x,.(z,.)),z) | 416 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 418 eq(z,z) | 417 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 419 add(.(z,.(z,.)),z) | 418 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 420 add(.(z,.(z,.)),z) | 419 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 421 {} | 420 {}
- 422 mul(.(?y,.(z,.)),?z) | 421 mul(.(?y,.(z,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 423 mul(.(?x,.(z,.)),?z) | 422 mul(.(?x,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 424 mul(.(z,.(z,.)),z) | 423 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 425 eq(z,z) | 424 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 426 mul(.(z,.(o,.)),z) | 425 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 427 mul(.(o,.(z,.)),z) | 426 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 428 mul(.(z,.(o,.)),z) | 427 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 429 eq(z,z) | 428 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 430 add(.(z,.(z,.)),z) | 429 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 431 add(.(z,.(z,.)),z) | 430 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 432 {} | 431 {}
- 433 add(.(z,.(z,.)),?z) | 432 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 434 add(.(z,.(z,.)),?z) | 433 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 435 add(.(z,.(z,.)),z) | 434 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 436 eq(z,z) | 435 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 437 mul(.(z,.(o,.)),z) | 436 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 438 mul(.(o,.(z,.)),z) | 437 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 439 mul(.(z,.(o,.)),z) | 438 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 440 eq(z,z) | 439 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 441 add(.(z,.(z,.)),z) | 440 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 442 add(.(z,.(z,.)),z) | 441 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 443 {} | 442 {}
- 444 mul(.(z,.(?x,.)),?z) | 443 mul(.(z,.(?x,.)),?z)
- Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
- 445 mul(.(z,.(z,.)),?z) | 444 mul(.(z,.(z,.)),?z)
- Tracking back from eq(?z,z) Tracking back from eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
- 446 mul(.(z,.(o,.)),?z) | 445 mul(.(z,.(z,.)),z)
- Tracking back from eq(?z,?x) <
- PUSH QUEUE eq(?z,z) <
- PUSH QUEUE eq(?z,z) <
- PUSH QUEUE eq(?z,z) <
- 447 mul(.(z,.(z,.)),z) <
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 448 mul(.(z,.(z,.)),z) | 446 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 449 eq(z,z) | 447 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 450 mul(.(o,.(z,.)),z) | 448 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 451 mul(.(z,.(o,.)),z) | 449 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 452 eq(z,z) | 450 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 453 add(.(z,.(z,.)),z) | 451 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 454 add(.(z,.(z,.)),z) | 452 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 455 {} | 453 {}
- 456 eq(?z,z) | 454 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 457 eq(?z,z) | 455 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 458 eq(?z,z) | 456 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 459 add(.(z,.(z,.)),?z) | 457 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 460 add(.(z,.(z,.)),?z) | 458 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 461 add(.(z,.(z,.)),z) | 459 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 462 eq(z,z) | 460 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 463 mul(.(?x,.(z,.)),z) | 461 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 464 eq(z,z) | 462 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 465 mul(.(z,.(o,.)),z) | 463 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 466 eq(z,z) | 464 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 467 add(.(z,.(z,.)),z) | 465 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 468 add(.(z,.(z,.)),z) | 466 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 469 {} | 467 {}
- 470 eq(?z,z) | 468 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 471 eq(?z,z) | 469 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 472 eq(?z,z) | 470 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 473 add(.(z,.(z,.)),?z) | 471 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 474 add(.(z,.(z,.)),?z) | 472 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 475 add(.(z,.(z,.)),z) | 473 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 476 eq(z,z) | 474 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 477 mul(.(z,.(o,.)),z) | 475 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 478 eq(z,z) | 476 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 479 mul(.(z,.(z,.)),z) | 477 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 480 mul(.(z,.(z,.)),z) | 478 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 481 eq(z,z) | 479 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 482 add(.(z,.(z,.)),z) | 480 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 483 {} | 481 {}
- 484 eq(?z,z) | 482 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 485 eq(?z,z) | 483 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 486 eq(?z,z) | 484 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 487 eq(?z,z) | 485 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 488 eq(?z,z) | 486 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 489 eq(?z,z) | 487 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 490 add(.(z,.(z,.)),?z) | 488 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 491 add(.(z,.(z,.)),?z) | 489 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 492 add(.(z,.(z,.)),z) | 490 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 493 add(.(z,.(z,.)),z) | 491 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 494 eq(z,z) | 492 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 495 mul(.(z,.(o,.)),z) | 493 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 496 eq(z,z) | 494 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 497 mul(.(?x,.(z,.)),z) | 495 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 498 eq(z,z) | 496 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 499 add(.(z,.(z,.)),z) | 497 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 500 {} | 498 {}
- 501 eq(?z,z) | 499 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 502 eq(?z,z) | 500 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 503 eq(?z,z) | 501 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 504 add(.(z,.(z,.)),?z) | 502 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 505 add(.(z,.(z,.)),?z) | 503 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 506 add(.(z,.(z,.)),z) | 504 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 507 add(.(z,.(z,.)),z) | 505 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 508 eq(z,z) | 506 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 509 mul(.(z,.(o,.)),z) | 507 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 510 mul(.(o,.(z,.)),z) | 508 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 511 mul(.(z,.(o,.)),z) | 509 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 512 eq(z,z) | 510 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 513 add(.(z,.(z,.)),z) | 511 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 514 {} | 512 {}
- 515 eq(?z,z) | 513 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 516 eq(?z,z) | 514 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 517 eq(?z,z) | 515 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 518 eq(?z,z) <
- Tracking back from mul(.(?x,.(z,.)),?z) <
- 519 eq(?z,z) <
- Tracking back from mul(.(?x,.(o,.)),?z) <
- 520 eq(?z,z) <
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 521 add(.(z,.(z,.)),?z) | 516 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 522 add(.(z,.(z,.)),?z) | 517 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 523 add(.(z,.(z,.)),z) | 518 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 524 eq(z,z) | 519 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 525 mul(.(z,.(z,.)),z) | 520 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 526 mul(.(z,.(z,.)),z) | 521 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 527 eq(z,z) | 522 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 528 mul(.(z,.(o,.)),z) | 523 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 529 eq(z,z) | 524 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 530 add(.(z,.(z,.)),z) | 525 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 531 {} | 526 {}
- 532 add(.(z,.(z,.)),?z) | 527 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 533 add(.(z,.(z,.)),?z) | 528 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 534 add(.(z,.(z,.)),z) | 529 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 535 add(.(z,.(z,.)),z) | 530 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 536 eq(z,z) | 531 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 537 mul(.(?x,.(z,.)),z) | 532 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 538 eq(z,z) | 533 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 539 mul(.(z,.(o,.)),z) | 534 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 540 eq(z,z) | 535 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 541 add(.(z,.(z,.)),z) | 536 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 542 {} | 537 {}
- 543 eq(?z,z) | 538 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 544 eq(?z,z) | 539 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 545 eq(?z,z) | 540 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 546 add(.(z,.(z,.)),?z) | 541 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 547 add(.(z,.(z,.)),?z) | 542 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 548 add(.(z,.(z,.)),z) | 543 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 549 eq(z,z) | 544 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 550 mul(.(z,.(o,.)),z) | 545 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 551 eq(z,z) | 546 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 552 mul(.(z,.(z,.)),z) | 547 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 553 mul(.(z,.(z,.)),z) | 548 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 554 eq(z,z) | 549 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 555 add(.(z,.(z,.)),z) | 550 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 556 add(.(z,.(z,.)),z) | 551 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 557 {} | 552 {}
- 558 eq(?z,z) | 553 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) <
- 559 eq(?z,z) <
- Tracking back from mul(.(?x,.(o,.)),?z) <
- 560 eq(?z,z) <
- Tracking back from add(.(?x,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 561 eq(?z,z) <
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 562 eq(?z,z) | 554 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 563 eq(?z,z) | 555 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 564 eq(?z,z) | 556 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 565 eq(?z,z) | 557 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 566 eq(?z,z) | 558 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 567 eq(?z,z) | 559 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 568 eq(?z,z) | 560 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 569 eq(?z,z) | 561 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 570 eq(?z,z) | 562 eq(?z,z)
- Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
- 571 eq(?z,z) | 563 eq(?z,z)
- Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
- 572 eq(?z,z) | 564 eq(?z,z)
- Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 573 add(.(z,.(z,.)),?z) | 565 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 574 add(.(z,.(z,.)),?z) | 566 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 575 add(.(z,.(z,.)),z) | 567 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 576 eq(z,z) | 568 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 577 mul(.(z,.(z,.)),z) | 569 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 578 mul(.(z,.(z,.)),z) | 570 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 579 eq(z,z) | 571 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 580 mul(.(z,.(o,.)),z) | 572 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 581 eq(z,z) | 573 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 582 add(.(z,.(z,.)),z) | 574 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 583 add(.(z,.(z,.)),z) | 575 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 584 {} | 576 {}
- 585 add(.(z,.(z,.)),?z) | 577 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 586 add(.(z,.(z,.)),?z) | 578 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 587 add(.(z,.(z,.)),z) | 579 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 588 eq(z,z) | 580 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 589 mul(.(o,.(z,.)),z) | 581 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 590 mul(.(z,.(o,.)),z) | 582 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 591 eq(z,z) | 583 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 592 mul(.(z,.(z,.)),z) | 584 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 593 mul(.(z,.(z,.)),z) | 585 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 594 eq(z,z) | 586 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 595 add(.(z,.(z,.)),z) | 587 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 596 {} | 588 {}
- 597 add(.(z,.(z,.)),?z) | 589 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 598 add(.(z,.(z,.)),?z) | 590 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 599 add(.(z,.(z,.)),z) | 591 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 600 add(.(z,.(z,.)),z) | 592 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 601 eq(z,z) | 593 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 602 mul(.(z,.(o,.)),z) | 594 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 603 eq(z,z) | 595 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 604 mul(.(z,.(z,.)),z) | 596 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 605 mul(.(z,.(z,.)),z) | 597 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 606 eq(z,z) | 598 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 607 add(.(z,.(z,.)),z) | 599 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 608 {} | 600 {}
- 609 add(.(z,.(z,.)),?z) | 601 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 610 add(.(z,.(z,.)),?z) | 602 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 611 add(.(z,.(z,.)),z) | 603 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 612 eq(z,z) | 604 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 613 mul(.(o,.(z,.)),z) | 605 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 614 mul(.(z,.(o,.)),z) | 606 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 615 eq(z,z) | 607 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 616 mul(.(z,.(o,.)),z) | 608 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 617 mul(.(o,.(z,.)),z) | 609 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 618 eq(z,z) | 610 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 619 add(.(z,.(z,.)),z) | 611 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 620 {} | 612 {}
- 621 add(.(z,.(z,.)),?z) | 613 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 622 add(.(z,.(z,.)),?z) | 614 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 623 add(.(z,.(z,.)),z) | 615 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 624 eq(z,z) | 616 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 625 mul(.(z,.(o,.)),z) | 617 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 626 mul(.(o,.(z,.)),z) | 618 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 627 mul(.(z,.(o,.)),z) | 619 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 628 eq(z,z) | 620 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 629 mul(.(?x,.(z,.)),z) | 621 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 630 eq(z,z) | 622 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 631 add(.(z,.(z,.)),z) | 623 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 632 {} | 624 {}
- 633 add(.(z,.(z,.)),?z) | 625 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 634 add(.(z,.(z,.)),?z) | 626 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 635 add(.(z,.(z,.)),z) | 627 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 636 eq(z,z) | 628 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 637 mul(.(?x,.(z,.)),z) | 629 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 638 eq(z,z) | 630 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 639 mul(.(z,.(o,.)),z) | 631 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 640 mul(.(o,.(z,.)),z) | 632 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 641 mul(.(z,.(o,.)),z) | 633 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 642 eq(z,z) | 634 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 643 add(.(z,.(z,.)),z) | 635 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 644 {} | 636 {}
- 645 add(.(z,.(z,.)),?z) | 637 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 646 add(.(z,.(z,.)),?z) | 638 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 647 add(.(z,.(z,.)),z) | 639 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 648 eq(z,z) | 640 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 649 mul(.(z,.(z,.)),z) | 641 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 650 mul(.(z,.(z,.)),z) | 642 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) <
- 651 eq(z,z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 652 mul(.(o,.(z,.)),z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 653 mul(.(z,.(o,.)),z) <
- PUSH QUEUE eq(z,z) <
- 654 eq(z,z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 655 add(.(z,.(z,.)),z) <
- PUSH QUEUE <
- 656 {} <
- 657 add(.(z,.(z,.)),?z) <
- Tracking back from add(.(?x,.(?y,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),?z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 658 add(.(z,.(z,.)),?z) <
- Tracking back from eq(?z,?x) <
- 659 add(.(z,.(z,.)),z) <
- PUSH QUEUE eq(z,z) <
- 660 eq(z,z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 661 mul(.(z,.(o,.)),z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 662 mul(.(o,.(z,.)),z) <
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 663 eq(z,z) | 643 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 664 mul(.(o,.(z,.)),z) | 644 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 665 mul(.(z,.(o,.)),z) | 645 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 666 eq(z,z) | 646 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 667 add(.(z,.(z,.)),z) | 647 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 668 {} | 648 {}
- 669 add(.(z,.(z,.)),?z) | 649 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 670 add(.(z,.(z,.)),?z) | 650 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 671 add(.(z,.(z,.)),z) | 651 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 672 add(.(z,.(z,.)),z) | 652 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 673 eq(z,z) | 653 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 674 mul(.(z,.(z,.)),z) | 654 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 675 mul(.(z,.(z,.)),z) | 655 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 676 eq(z,z) | 656 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 677 mul(.(z,.(o,.)),z) | 657 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 678 eq(z,z) | 658 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 679 add(.(z,.(z,.)),z) | 659 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 680 {} | 660 {}
- 681 add(.(z,.(z,.)),?z) | 661 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 682 add(.(z,.(z,.)),?z) | 662 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 683 add(.(z,.(z,.)),z) | 663 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 684 eq(z,z) | 664 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 685 mul(.(o,.(z,.)),z) | 665 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 686 mul(.(z,.(o,.)),z) | 666 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 687 eq(z,z) | 667 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 688 mul(.(z,.(z,.)),z) | 668 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 689 mul(.(z,.(z,.)),z) | 669 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 690 eq(z,z) | 670 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 691 add(.(z,.(z,.)),z) | 671 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 692 add(.(z,.(z,.)),z) | 672 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 693 {} | 673 {}
- 694 add(.(z,.(z,.)),?z) | 674 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 695 add(.(z,.(z,.)),?z) | 675 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 696 add(.(z,.(z,.)),z) | 676 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 697 eq(z,z) | 677 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 698 mul(.(o,.(z,.)),z) | 678 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 699 mul(.(z,.(o,.)),z) | 679 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 700 eq(z,z) | 680 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 701 mul(.(z,.(o,.)),z) | 681 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 702 mul(.(o,.(z,.)),z) | 682 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 703 eq(z,z) | 683 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 704 add(.(z,.(z,.)),z) | 684 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 705 add(.(z,.(z,.)),z) | 685 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 706 {} | 686 {}
- 707 add(.(z,.(z,.)),?z) | 687 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 708 add(.(z,.(z,.)),?z) | 688 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 709 add(.(z,.(z,.)),z) | 689 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 710 eq(z,z) | 690 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 711 mul(.(z,.(o,.)),z) | 691 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 712 mul(.(o,.(z,.)),z) | 692 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 713 mul(.(z,.(o,.)),z) | 693 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 714 eq(z,z) | 694 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 715 mul(.(?x,.(z,.)),z) | 695 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 716 eq(z,z) | 696 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 717 add(.(z,.(z,.)),z) | 697 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 718 add(.(z,.(z,.)),z) | 698 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 719 {} | 699 {}
- 720 add(.(z,.(z,.)),?z) | 700 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 721 add(.(z,.(z,.)),?z) | 701 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 722 add(.(z,.(z,.)),z) | 702 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 723 eq(z,z) | 703 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 724 mul(.(?x,.(z,.)),z) | 704 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 725 eq(z,z) | 705 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 726 mul(.(z,.(o,.)),z) | 706 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 727 mul(.(o,.(z,.)),z) | 707 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 728 mul(.(z,.(o,.)),z) | 708 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 729 eq(z,z) | 709 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 730 add(.(z,.(z,.)),z) | 710 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 731 add(.(z,.(z,.)),z) | 711 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 732 {} | 712 {}
- 733 add(.(z,.(z,.)),?z) | 713 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 734 add(.(z,.(z,.)),?z) | 714 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 735 add(.(z,.(z,.)),z) | 715 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 736 eq(z,z) | 716 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 737 mul(.(z,.(z,.)),z) | 717 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 738 mul(.(z,.(z,.)),z) | 718 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 739 eq(z,z) | 719 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 740 mul(.(o,.(z,.)),z) | 720 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 741 mul(.(z,.(o,.)),z) | 721 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 742 eq(z,z) | 722 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 743 add(.(z,.(z,.)),z) | 723 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 744 add(.(z,.(z,.)),z) | 724 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 745 {} | 725 {}
- 746 add(.(z,.(z,.)),?z) | 726 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 747 add(.(z,.(z,.)),?z) | 727 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 748 add(.(z,.(z,.)),z) | 728 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) <
- 749 eq(z,z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 750 mul(.(z,.(o,.)),z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 751 mul(.(o,.(z,.)),z) <
- PUSH QUEUE eq(z,z) <
- 752 eq(z,z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 753 mul(.(o,.(z,.)),z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 754 mul(.(z,.(o,.)),z) <
- PUSH QUEUE eq(z,z) <
- 755 eq(z,z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 756 add(.(z,.(z,.)),z) <
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 757 add(.(z,.(z,.)),z) | 729 add(.(z,.(z,.)),z)
- PUSH QUEUE <
- 758 {} <
- 759 add(.(z,.(z,.)),?z) <
- Tracking back from add(.(?x,.(?y,.)),?z) <
- 760 add(.(z,.(z,.)),?z) <
- Tracking back from eq(?z,?x) <
- 761 add(.(z,.(z,.)),z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 762 add(.(z,.(z,.)),z) <
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 763 eq(z,z) | 730 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 764 mul(.(o,.(z,.)),z) | 731 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 765 mul(.(z,.(o,.)),z) | 732 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 766 eq(z,z) | 733 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 767 mul(.(z,.(z,.)),z) | 734 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 768 mul(.(z,.(z,.)),z) | 735 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 769 eq(z,z) | 736 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 770 add(.(z,.(z,.)),z) | 737 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 771 {} | 738 {}
- 772 add(.(z,.(z,.)),?z) | 739 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 773 add(.(z,.(z,.)),?z) | 740 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 774 add(.(z,.(z,.)),z) | 741 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 775 add(.(z,.(z,.)),z) | 742 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 776 eq(z,z) | 743 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 777 mul(.(o,.(z,.)),z) | 744 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 778 mul(.(z,.(o,.)),z) | 745 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 779 eq(z,z) | 746 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 780 mul(.(z,.(o,.)),z) | 747 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 781 mul(.(o,.(z,.)),z) | 748 mul(.(o,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 782 eq(z,z) | 749 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 783 add(.(z,.(z,.)),z) | 750 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 784 {} | 751 {}
- 785 add(.(z,.(z,.)),?z) | 752 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 786 add(.(z,.(z,.)),?z) | 753 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 787 add(.(z,.(z,.)),z) | 754 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 788 add(.(z,.(z,.)),z) | 755 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 789 eq(z,z) | 756 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 790 mul(.(z,.(o,.)),z) | 757 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 791 mul(.(o,.(z,.)),z) | 758 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 792 mul(.(z,.(o,.)),z) | 759 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 793 eq(z,z) | 760 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 794 mul(.(?x,.(z,.)),z) | 761 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 795 eq(z,z) | 762 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 796 add(.(z,.(z,.)),z) | 763 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 797 {} | 764 {}
- 798 add(.(z,.(z,.)),?z) | 765 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 799 add(.(z,.(z,.)),?z) | 766 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 800 add(.(z,.(z,.)),z) | 767 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 801 add(.(z,.(z,.)),z) | 768 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 802 eq(z,z) | 769 eq(z,z)
- PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
- 803 mul(.(?x,.(z,.)),z) | 770 mul(.(?x,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 804 eq(z,z) | 771 eq(z,z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 805 mul(.(z,.(o,.)),z) | 772 mul(.(z,.(o,.)),z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 806 mul(.(o,.(z,.)),z) | 773 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 807 mul(.(z,.(o,.)),z) | 774 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 808 eq(z,z) | 775 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 809 add(.(z,.(z,.)),z) | 776 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 810 {} | 777 {}
- 811 add(.(z,.(z,.)),?z) | 778 add(.(z,.(z,.)),?z)
- Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
- 812 add(.(z,.(z,.)),?z) | 779 add(.(z,.(z,.)),?z)
- Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
- 813 add(.(z,.(z,.)),z) | 780 add(.(z,.(z,.)),z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 814 add(.(z,.(z,.)),z) | 781 add(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 815 eq(z,z) | 782 eq(z,z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 816 mul(.(z,.(z,.)),z) | 783 mul(.(z,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
- 817 mul(.(z,.(z,.)),z) | 784 mul(.(z,.(z,.)),z)
- PUSH QUEUE eq(z,z) <
- 818 eq(z,z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 819 mul(.(o,.(z,.)),z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 820 mul(.(z,.(o,.)),z) <
- PUSH QUEUE eq(z,z) <
- 821 eq(z,z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 822 add(.(z,.(z,.)),z) <
- PUSH QUEUE <
- 823 {} <
- 824 add(.(z,.(z,.)),?z) <
- Tracking back from add(.(?x,.(?y,.)),?z) <
- 825 add(.(z,.(z,.)),?z) <
- Tracking back from eq(?z,?x) <
- 826 add(.(z,.(z,.)),z) <
- PUSH QUEUE add(.(z,.(z,.)),z) <
- 827 add(.(z,.(z,.)),z) <
- PUSH QUEUE eq(z,z) <
- 828 eq(z,z) <
- PUSH QUEUE mul(.(z,.(o,.)),z) <
- 829 mul(.(z,.(o,.)),z) <
- PUSH QUEUE mul(.(o,.(z,.)),z) <
- 830 mul(.(o,.(z,.)),z) <
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 831 eq(z,z) | 785 eq(z,z)
- PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
- 832 mul(.(o,.(z,.)),z) | 786 mul(.(o,.(z,.)),z)
- PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
- 833 mul(.(z,.(o,.)),z) | 787 mul(.(z,.(o,.)),z)
- PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
- 834 eq(z,z) | 788 eq(z,z)
- PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
- 835 add(.(z,.(z,.)),z) | 789 add(.(z,.(z,.)),z)
- PUSH QUEUE PUSH QUEUE
- 836 {} | 790 {}
- elapsed: 176.199ms steps: 836 | FAIL
- Ready. <
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement