API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 29th, 2015
242
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 104.26 KB | None | 0 0
raw download clone embed print report
  1. kb input done. <
  2. query loaded. <
  3. 1 {} 1 {}
  4. Tracking back from add(.(z,.(z,.)),?q) Tracking back from add(.(z,.(z,.)),?q)
  5. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  6. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  7. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  8. 2 add(.(z,.(z,.)),?z) 2 add(.(z,.(z,.)),?z)
  9. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  10. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  11. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  12. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  13. 3 add(.(z,.(z,.)),?z) 3 add(.(z,.(z,.)),?z)
  14. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  15. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  16. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  17. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  18. 4 add(.(z,.(z,.)),z) 4 add(.(z,.(z,.)),z)
  19. PUSH QUEUE PUSH QUEUE
  20. 5 {} 5 {}
  21. 6 add(.(z,.(z,.)),?z) 6 add(.(z,.(z,.)),?z)
  22. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  23. 7 add(.(z,.(z,.)),?z) 7 add(.(z,.(z,.)),?z)
  24. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  25. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  26. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  27. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  28. 8 add(.(z,.(z,.)),z) 8 add(.(z,.(z,.)),z)
  29. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  30. 9 add(.(z,.(z,.)),z) 9 add(.(z,.(z,.)),z)
  31. PUSH QUEUE PUSH QUEUE
  32. 10 {} 10 {}
  33. 11 eq(?z,z) 11 eq(?z,z)
  34. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  35. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  36. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  37. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  38. 12 eq(?z,z) 12 eq(?z,z)
  39. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  40. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  41. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  42. 13 eq(?z,z) 13 eq(?z,z)
  43. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  44. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  45. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  46. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  47. 14 eq(?z,z) 14 eq(?z,z)
  48. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  49. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  50. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  51. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  52. 15 eq(?z,z) 15 eq(?z,z)
  53. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  54. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  55. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  56. 16 eq(?z,z) 16 eq(?z,z)
  57. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  58. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  59. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  60. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  61. 17 mul(.(?y,.(z,.)),?z) 17 mul(.(?y,.(z,.)),?z)
  62. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  63. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  64. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  65. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  66. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  67. 18 mul(.(?x,.(z,.)),?z) 18 mul(.(?x,.(z,.)),?z)
  68. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  69. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  70. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  71. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  72. 19 mul(.(z,.(z,.)),z) 19 mul(.(z,.(z,.)),z)
  73. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  74. 20 eq(z,z) 20 eq(z,z)
  75. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  76. 21 add(.(z,.(z,.)),z) 21 add(.(z,.(z,.)),z)
  77. PUSH QUEUE PUSH QUEUE
  78. 22 {} 22 {}
  79. 23 mul(.(z,.(o,.)),?z) 23 mul(.(z,.(o,.)),?z)
  80. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  81. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  82. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  83. 24 mul(.(z,.(o,.)),?z) 24 mul(.(z,.(o,.)),?z)
  84. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  85. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  86. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  87. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  88. 25 add(.(z,.(z,.)),?z) 25 add(.(z,.(z,.)),?z)
  89. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  90. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  91. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  92. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  93. 26 add(.(z,.(z,.)),?z) 26 add(.(z,.(z,.)),?z)
  94. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  95. 27 add(.(z,.(z,.)),z) 27 add(.(z,.(z,.)),z)
  96. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  97. 28 eq(z,z) 28 eq(z,z)
  98. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  99. 29 add(.(z,.(z,.)),z) 29 add(.(z,.(z,.)),z)
  100. PUSH QUEUE PUSH QUEUE
  101. 30 {} 30 {}
  102. 31 mul(.(?y,.(z,.)),?z) 31 mul(.(?y,.(z,.)),?z)
  103. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  104. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  105. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  106. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  107. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  108. 32 mul(.(?x,.(z,.)),?z) 32 mul(.(?x,.(z,.)),?z)
  109. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  110. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  111. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  112. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  113. 33 mul(.(z,.(z,.)),z) 33 mul(.(z,.(z,.)),z)
  114. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  115. 34 eq(z,z) 34 eq(z,z)
  116. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  117. 35 add(.(z,.(z,.)),z) 35 add(.(z,.(z,.)),z)
  118. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  119. 36 add(.(z,.(z,.)),z) 36 add(.(z,.(z,.)),z)
  120. PUSH QUEUE PUSH QUEUE
  121. 37 {} 37 {}
  122. 38 mul(.(z,.(o,.)),?z) 38 mul(.(z,.(o,.)),?z)
  123. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  124. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  125. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  126. 39 mul(.(z,.(o,.)),?z) 39 mul(.(z,.(o,.)),?z)
  127. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  128. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  129. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  130. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  131. 40 add(.(z,.(z,.)),?z) 40 add(.(z,.(z,.)),?z)
  132. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  133. 41 add(.(z,.(z,.)),?z) 41 add(.(z,.(z,.)),?z)
  134. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  135. 42 add(.(z,.(z,.)),z) 42 add(.(z,.(z,.)),z)
  136. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  137. 43 eq(z,z) 43 eq(z,z)
  138. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  139. 44 add(.(z,.(z,.)),z) 44 add(.(z,.(z,.)),z)
  140. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  141. 45 add(.(z,.(z,.)),z) 45 add(.(z,.(z,.)),z)
  142. PUSH QUEUE PUSH QUEUE
  143. 46 {} 46 {}
  144. 47 mul(.(z,.(?x,.)),?z) 47 mul(.(z,.(?x,.)),?z)
  145. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  146. 48 mul(.(z,.(z,.)),?z) 48 mul(.(z,.(z,.)),?z)
  147. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  148. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  149. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  150. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  151. 49 mul(.(z,.(o,.)),?z) 49 mul(.(z,.(o,.)),?z)
  152. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  153. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  154. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  155. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  156. 50 mul(.(z,.(z,.)),z) 50 mul(.(z,.(z,.)),z)
  157. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  158. 51 mul(.(z,.(z,.)),z) 51 mul(.(z,.(z,.)),z)
  159. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  160. 52 eq(z,z) 52 eq(z,z)
  161. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  162. 53 add(.(z,.(z,.)),z) 53 add(.(z,.(z,.)),z)
  163. PUSH QUEUE PUSH QUEUE
  164. 54 {} 54 {}
  165. 55 eq(?z,z) 55 eq(?z,z)
  166. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  167. 56 eq(?z,z) 56 eq(?z,z)
  168. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  169. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  170. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  171. 57 eq(?z,z) 57 eq(?z,z)
  172. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  173. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  174. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  175. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  176. 58 mul(.(o,.(z,.)),?z) 58 mul(.(o,.(z,.)),?z)
  177. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  178. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  179. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  180. 59 mul(.(o,.(z,.)),?z) 59 mul(.(o,.(z,.)),?z)
  181. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  182. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  183. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  184. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  185. 60 eq(?z,z) 60 eq(?z,z)
  186. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  187. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  188. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  189. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  190. 61 eq(?z,z) 61 eq(?z,z)
  191. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  192. 62 eq(?z,z) 62 eq(?z,z)
  193. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  194. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  195. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  196. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  197. 63 add(.(z,.(z,.)),?z) 63 add(.(z,.(z,.)),?z)
  198. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  199. 64 add(.(z,.(z,.)),?z) 64 add(.(z,.(z,.)),?z)
  200. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  201. 65 add(.(z,.(z,.)),z) 65 add(.(z,.(z,.)),z)
  202. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  203. 66 add(.(z,.(z,.)),z) 66 add(.(z,.(z,.)),z)
  204. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  205. 67 eq(z,z) 67 eq(z,z)
  206. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  207. 68 add(.(z,.(z,.)),z) 68 add(.(z,.(z,.)),z)
  208. PUSH QUEUE PUSH QUEUE
  209. 69 {} 69 {}
  210. 70 mul(.(z,.(?x,.)),?z) 70 mul(.(z,.(?x,.)),?z)
  211. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  212. 71 mul(.(z,.(z,.)),?z) 71 mul(.(z,.(z,.)),?z)
  213. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  214. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  215. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  216. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  217. 72 mul(.(z,.(o,.)),?z) 72 mul(.(z,.(o,.)),?z)
  218. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  219. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  220. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  221. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  222. 73 mul(.(z,.(z,.)),z) 73 mul(.(z,.(z,.)),z)
  223. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  224. 74 mul(.(z,.(z,.)),z) 74 mul(.(z,.(z,.)),z)
  225. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  226. 75 eq(z,z) 75 eq(z,z)
  227. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  228. 76 add(.(z,.(z,.)),z) 76 add(.(z,.(z,.)),z)
  229. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  230. 77 add(.(z,.(z,.)),z) 77 add(.(z,.(z,.)),z)
  231. PUSH QUEUE PUSH QUEUE
  232. 78 {} 78 {}
  233. 79 eq(?z,z) 79 eq(?z,z)
  234. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  235. 80 eq(?z,z) 80 eq(?z,z)
  236. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  237. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  238. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  239. 81 eq(?z,z) 81 eq(?z,z)
  240. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  241. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  242. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  243. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  244. 82 mul(.(o,.(z,.)),?z) 82 mul(.(o,.(z,.)),?z)
  245. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  246. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  247. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  248. 83 mul(.(o,.(z,.)),?z) 83 mul(.(o,.(z,.)),?z)
  249. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  250. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  251. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  252. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  253. 84 eq(?z,z) 84 eq(?z,z)
  254. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  255. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  256. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  257. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  258. 85 eq(?z,z) 85 eq(?z,z)
  259. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  260. 86 eq(?z,z) 86 eq(?z,z)
  261. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  262. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  263. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  264. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  265. 87 eq(?z,z) 87 eq(?z,z)
  266. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  267. 88 eq(?z,z) 88 eq(?z,z)
  268. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  269. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  270. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  271. 89 eq(?z,z) 89 eq(?z,z)
  272. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  273. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  274. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  275. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  276. 90 eq(?z,z) 90 eq(?z,z)
  277. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  278. 91 eq(?z,z) 91 eq(?z,z)
  279. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  280. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  281. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  282. 92 eq(?z,z) 92 eq(?z,z)
  283. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  284. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  285. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  286. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  287. 93 mul(.(z,.(o,.)),?z) 93 mul(.(z,.(o,.)),?z)
  288. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  289. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  290. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  291. 94 mul(.(z,.(o,.)),?z) 94 mul(.(z,.(o,.)),?z)
  292. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  293. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  294. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  295. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  296. 95 add(.(z,.(z,.)),?z) 95 add(.(z,.(z,.)),?z)
  297. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  298. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  299. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  300. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  301. 96 add(.(z,.(z,.)),?z) 96 add(.(z,.(z,.)),?z)
  302. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  303. 97 add(.(z,.(z,.)),z) 97 add(.(z,.(z,.)),z)
  304. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  305. 98 eq(z,z) 98 eq(z,z)
  306. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  307. 99 mul(.(?x,.(z,.)),z) 99 mul(.(?x,.(z,.)),z)
  308. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  309. 100 eq(z,z) 100 eq(z,z)
  310. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  311. 101 add(.(z,.(z,.)),z) 101 add(.(z,.(z,.)),z)
  312. PUSH QUEUE PUSH QUEUE
  313. 102 {} 102 {}
  314. 103 mul(.(z,.(o,.)),?z) 103 mul(.(z,.(o,.)),?z)
  315. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  316. 104 mul(.(z,.(o,.)),?z) 104 mul(.(z,.(o,.)),?z)
  317. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  318. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  319. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  320. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  321. 105 eq(?z,z) 105 eq(?z,z)
  322. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  323. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  324. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  325. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  326. 106 eq(?z,z) 106 eq(?z,z)
  327. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  328. 107 eq(?z,z) 107 eq(?z,z)
  329. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  330. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  331. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  332. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  333. 108 mul(.(?y,.(z,.)),?z) 108 mul(.(?y,.(z,.)),?z)
  334. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  335. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  336. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  337. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  338. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  339. 109 mul(.(?x,.(z,.)),?z) 109 mul(.(?x,.(z,.)),?z)
  340. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  341. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  342. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  343. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  344. 110 mul(.(z,.(z,.)),z) 110 mul(.(z,.(z,.)),z)
  345. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  346. 111 eq(z,z) 111 eq(z,z)
  347. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  348. 112 mul(.(z,.(o,.)),z) 112 mul(.(z,.(o,.)),z)
  349. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  350. 113 eq(z,z) 113 eq(z,z)
  351. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  352. 114 add(.(z,.(z,.)),z) 114 add(.(z,.(z,.)),z)
  353. PUSH QUEUE PUSH QUEUE
  354. 115 {} 115 {}
  355. 116 add(.(z,.(z,.)),?z) 116 add(.(z,.(z,.)),?z)
  356. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  357. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  358. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  359. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  360. 117 add(.(z,.(z,.)),?z) 117 add(.(z,.(z,.)),?z)
  361. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  362. 118 add(.(z,.(z,.)),z) 118 add(.(z,.(z,.)),z)
  363. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  364. 119 eq(z,z) 119 eq(z,z)
  365. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  366. 120 mul(.(z,.(o,.)),z) 120 mul(.(z,.(o,.)),z)
  367. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  368. 121 eq(z,z) 121 eq(z,z)
  369. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  370. 122 add(.(z,.(z,.)),z) 122 add(.(z,.(z,.)),z)
  371. PUSH QUEUE PUSH QUEUE
  372. 123 {} 123 {}
  373. 124 eq(?z,z) 124 eq(?z,z)
  374. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  375. 125 eq(?z,z) 125 eq(?z,z)
  376. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  377. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  378. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  379. 126 eq(?z,z) 126 eq(?z,z)
  380. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  381. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  382. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  383. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  384. 127 eq(?z,z) 127 eq(?z,z)
  385. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  386. 128 eq(?z,z) 128 eq(?z,z)
  387. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  388. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  389. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  390. 129 eq(?z,z) 129 eq(?z,z)
  391. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  392. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  393. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  394. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  395. 130 mul(.(z,.(o,.)),?z) 130 mul(.(z,.(o,.)),?z)
  396. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  397. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  398. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  399. 131 mul(.(z,.(o,.)),?z) 131 mul(.(z,.(o,.)),?z)
  400. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  401. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  402. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  403. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  404. 132 add(.(z,.(z,.)),?z) 132 add(.(z,.(z,.)),?z)
  405. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  406. 133 add(.(z,.(z,.)),?z) 133 add(.(z,.(z,.)),?z)
  407. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  408. 134 add(.(z,.(z,.)),z) 134 add(.(z,.(z,.)),z)
  409. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  410. 135 eq(z,z) 135 eq(z,z)
  411. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  412. 136 mul(.(?x,.(z,.)),z) 136 mul(.(?x,.(z,.)),z)
  413. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  414. 137 eq(z,z) 137 eq(z,z)
  415. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  416. 138 add(.(z,.(z,.)),z) 138 add(.(z,.(z,.)),z)
  417. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  418. 139 add(.(z,.(z,.)),z) 139 add(.(z,.(z,.)),z)
  419. PUSH QUEUE PUSH QUEUE
  420. 140 {} 140 {}
  421. 141 mul(.(z,.(o,.)),?z) 141 mul(.(z,.(o,.)),?z)
  422. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  423. 142 mul(.(z,.(o,.)),?z) 142 mul(.(z,.(o,.)),?z)
  424. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  425. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  426. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  427. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  428. 143 eq(?z,z) 143 eq(?z,z)
  429. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  430. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  431. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  432. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  433. 144 eq(?z,z) 144 eq(?z,z)
  434. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  435. 145 eq(?z,z) 145 eq(?z,z)
  436. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  437. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  438. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  439. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  440. 146 mul(.(?y,.(z,.)),?z) 146 mul(.(?y,.(z,.)),?z)
  441. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  442. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  443. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  444. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  445. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  446. 147 mul(.(?x,.(z,.)),?z) 147 mul(.(?x,.(z,.)),?z)
  447. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  448. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  449. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  450. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  451. 148 mul(.(z,.(z,.)),z) 148 mul(.(z,.(z,.)),z)
  452. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  453. 149 eq(z,z) 149 eq(z,z)
  454. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  455. 150 mul(.(z,.(o,.)),z) 150 mul(.(z,.(o,.)),z)
  456. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  457. 151 eq(z,z) 151 eq(z,z)
  458. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  459. 152 add(.(z,.(z,.)),z) 152 add(.(z,.(z,.)),z)
  460. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  461. 153 add(.(z,.(z,.)),z) 153 add(.(z,.(z,.)),z)
  462. PUSH QUEUE PUSH QUEUE
  463. 154 {} 154 {}
  464. 155 add(.(z,.(z,.)),?z) 155 add(.(z,.(z,.)),?z)
  465. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  466. 156 add(.(z,.(z,.)),?z) 156 add(.(z,.(z,.)),?z)
  467. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  468. 157 add(.(z,.(z,.)),z) 157 add(.(z,.(z,.)),z)
  469. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  470. 158 eq(z,z) 158 eq(z,z)
  471. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  472. 159 mul(.(z,.(o,.)),z) 159 mul(.(z,.(o,.)),z)
  473. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  474. 160 eq(z,z) 160 eq(z,z)
  475. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  476. 161 add(.(z,.(z,.)),z) 161 add(.(z,.(z,.)),z)
  477. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  478. 162 add(.(z,.(z,.)),z) 162 add(.(z,.(z,.)),z)
  479. PUSH QUEUE PUSH QUEUE
  480. 163 {} 163 {}
  481. 164 mul(.(z,.(o,.)),?z) 164 mul(.(z,.(o,.)),?z)
  482. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  483. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  484. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  485. 165 mul(.(z,.(o,.)),?z) 165 mul(.(z,.(o,.)),?z)
  486. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  487. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  488. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  489. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  490. 166 add(.(z,.(z,.)),?z) 166 add(.(z,.(z,.)),?z)
  491. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  492. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  493. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  494. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  495. 167 add(.(z,.(z,.)),?z) 167 add(.(z,.(z,.)),?z)
  496. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  497. 168 add(.(z,.(z,.)),z) 168 add(.(z,.(z,.)),z)
  498. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  499. 169 eq(z,z) 169 eq(z,z)
  500. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  501. 170 mul(.(z,.(z,.)),z) 170 mul(.(z,.(z,.)),z)
  502. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  503. 171 mul(.(z,.(z,.)),z) 171 mul(.(z,.(z,.)),z)
  504. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  505. 172 eq(z,z) 172 eq(z,z)
  506. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  507. 173 add(.(z,.(z,.)),z) 173 add(.(z,.(z,.)),z)
  508. PUSH QUEUE PUSH QUEUE
  509. 174 {} 174 {}
  510. 175 mul(.(z,.(o,.)),?z) 175 mul(.(z,.(o,.)),?z)
  511. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  512. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  513. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  514. 176 mul(.(z,.(o,.)),?z) 176 mul(.(z,.(o,.)),?z)
  515. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  516. 177 add(.(z,.(z,.)),?z) 177 add(.(z,.(z,.)),?z)
  517. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  518. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  519. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  520. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  521. 178 add(.(z,.(z,.)),?z) 178 add(.(z,.(z,.)),?z)
  522. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  523. 179 add(.(z,.(z,.)),z) 179 add(.(z,.(z,.)),z)
  524. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  525. 180 eq(z,z) 180 eq(z,z)
  526. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  527. 181 mul(.(z,.(o,.)),z) 181 mul(.(z,.(o,.)),z)
  528. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  529. 182 mul(.(o,.(z,.)),z) 182 mul(.(o,.(z,.)),z)
  530. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  531. 183 eq(z,z) 183 eq(z,z)
  532. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  533. 184 add(.(z,.(z,.)),z) 184 add(.(z,.(z,.)),z)
  534. PUSH QUEUE PUSH QUEUE
  535. 185 {} 185 {}
  536. 186 mul(.(o,.(z,.)),?z) 186 mul(.(o,.(z,.)),?z)
  537. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  538. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  539. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  540. 187 mul(.(o,.(z,.)),?z) 187 mul(.(o,.(z,.)),?z)
  541. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  542. 188 eq(?z,z) 188 eq(?z,z)
  543. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  544. 189 eq(?z,z) 189 eq(?z,z)
  545. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  546. 190 eq(?z,z) 190 eq(?z,z)
  547. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  548. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  549. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  550. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  551. 191 add(.(z,.(z,.)),?z) 191 add(.(z,.(z,.)),?z)
  552. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  553. 192 add(.(z,.(z,.)),?z) 192 add(.(z,.(z,.)),?z)
  554. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  555. 193 add(.(z,.(z,.)),z) 193 add(.(z,.(z,.)),z)
  556. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  557. 194 add(.(z,.(z,.)),z) 194 add(.(z,.(z,.)),z)
  558. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  559. 195 eq(z,z) 195 eq(z,z)
  560. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  561. 196 mul(.(?x,.(z,.)),z) 196 mul(.(?x,.(z,.)),z)
  562. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  563. 197 eq(z,z) 197 eq(z,z)
  564. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  565. 198 add(.(z,.(z,.)),z) 198 add(.(z,.(z,.)),z)
  566. PUSH QUEUE PUSH QUEUE
  567. 199 {} 199 {}
  568. 200 eq(?z,z) 200 eq(?z,z)
  569. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  570. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  571. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  572. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  573. 201 eq(?z,z) 201 eq(?z,z)
  574. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  575. 202 eq(?z,z) 202 eq(?z,z)
  576. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  577. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  578. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  579. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  580. 203 mul(.(?y,.(z,.)),?z) 203 mul(.(?y,.(z,.)),?z)
  581. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  582. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  583. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  584. PUSH QUEUE mul(.(z,.(o,.)),?z) <
  585. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  586. 204 mul(.(?x,.(z,.)),?z) 204 mul(.(?x,.(z,.)),?z)
  587. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  588. 205 mul(.(z,.(z,.)),z) 205 mul(.(z,.(z,.)),z)
  589. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  590. 206 eq(z,z) 206 eq(z,z)
  591. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  592. 207 mul(.(o,.(z,.)),z) 207 mul(.(o,.(z,.)),z)
  593. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  594. 208 mul(.(z,.(o,.)),z) 208 mul(.(z,.(o,.)),z)
  595. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  596. 209 eq(z,z) 209 eq(z,z)
  597. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  598. 210 add(.(z,.(z,.)),z) 210 add(.(z,.(z,.)),z)
  599. PUSH QUEUE PUSH QUEUE
  600. 211 {} 211 {}
  601. 212 add(.(z,.(z,.)),?z) 212 add(.(z,.(z,.)),?z)
  602. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  603. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  604. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  605. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  606. 213 add(.(z,.(z,.)),?z) 213 add(.(z,.(z,.)),?z)
  607. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  608. 214 add(.(z,.(z,.)),z) 214 add(.(z,.(z,.)),z)
  609. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  610. 215 eq(z,z) 215 eq(z,z)
  611. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  612. 216 mul(.(o,.(z,.)),z) 216 mul(.(o,.(z,.)),z)
  613. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  614. 217 mul(.(z,.(o,.)),z) 217 mul(.(z,.(o,.)),z)
  615. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  616. 218 eq(z,z) 218 eq(z,z)
  617. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  618. 219 add(.(z,.(z,.)),z) 219 add(.(z,.(z,.)),z)
  619. PUSH QUEUE PUSH QUEUE
  620. 220 {} 220 {}
  621. 221 mul(.(z,.(?x,.)),?z) 221 mul(.(z,.(?x,.)),?z)
  622. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  623. 222 mul(.(z,.(z,.)),?z) 222 mul(.(z,.(z,.)),?z)
  624. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  625. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  626. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  627. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  628. 223 mul(.(z,.(o,.)),?z) 223 mul(.(z,.(o,.)),?z)
  629. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  630. 224 mul(.(z,.(z,.)),z) 224 mul(.(z,.(z,.)),z)
  631. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  632. 225 mul(.(z,.(z,.)),z) 225 mul(.(z,.(z,.)),z)
  633. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  634. 226 eq(z,z) 226 eq(z,z)
  635. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  636. 227 mul(.(z,.(o,.)),z) 227 mul(.(z,.(o,.)),z)
  637. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  638. 228 eq(z,z) 228 eq(z,z)
  639. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  640. 229 add(.(z,.(z,.)),z) 229 add(.(z,.(z,.)),z)
  641. PUSH QUEUE PUSH QUEUE
  642. 230 {} 230 {}
  643. 231 eq(?z,z) 231 eq(?z,z)
  644. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  645. 232 eq(?z,z) 232 eq(?z,z)
  646. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  647. 233 eq(?z,z) 233 eq(?z,z)
  648. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  649. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  650. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  651. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  652. 234 add(.(z,.(z,.)),?z) 234 add(.(z,.(z,.)),?z)
  653. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  654. 235 add(.(z,.(z,.)),?z) 235 add(.(z,.(z,.)),?z)
  655. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  656. 236 add(.(z,.(z,.)),z) 236 add(.(z,.(z,.)),z)
  657. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  658. 237 add(.(z,.(z,.)),z) 237 add(.(z,.(z,.)),z)
  659. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  660. 238 eq(z,z) 238 eq(z,z)
  661. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  662. 239 mul(.(z,.(o,.)),z) 239 mul(.(z,.(o,.)),z)
  663. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  664. 240 eq(z,z) 240 eq(z,z)
  665. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  666. 241 add(.(z,.(z,.)),z) 241 add(.(z,.(z,.)),z)
  667. PUSH QUEUE PUSH QUEUE
  668. 242 {} 242 {}
  669. 243 mul(.(z,.(o,.)),?z) 243 mul(.(z,.(o,.)),?z)
  670. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  671. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  672. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  673. 244 mul(.(z,.(o,.)),?z) 244 mul(.(z,.(o,.)),?z)
  674. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  675. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  676. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  677. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  678. 245 add(.(z,.(z,.)),?z) 245 add(.(z,.(z,.)),?z)
  679. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  680. 246 add(.(z,.(z,.)),?z) 246 add(.(z,.(z,.)),?z)
  681. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  682. 247 add(.(z,.(z,.)),z) 247 add(.(z,.(z,.)),z)
  683. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  684. 248 eq(z,z) 248 eq(z,z)
  685. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  686. 249 mul(.(z,.(z,.)),z) 249 mul(.(z,.(z,.)),z)
  687. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  688. 250 mul(.(z,.(z,.)),z) 250 mul(.(z,.(z,.)),z)
  689. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  690. 251 eq(z,z) 251 eq(z,z)
  691. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  692. 252 add(.(z,.(z,.)),z) 252 add(.(z,.(z,.)),z)
  693. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  694. 253 add(.(z,.(z,.)),z) 253 add(.(z,.(z,.)),z)
  695. PUSH QUEUE PUSH QUEUE
  696. 254 {} 254 {}
  697. 255 mul(.(z,.(o,.)),?z) 255 mul(.(z,.(o,.)),?z)
  698. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  699. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  700. PUSH QUEUE mul(.(o,.(z,.)),?z) PUSH QUEUE mul(.(o,.(z,.)),?z)
  701. 256 mul(.(z,.(o,.)),?z) 256 mul(.(z,.(o,.)),?z)
  702. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  703. 257 add(.(z,.(z,.)),?z) 257 add(.(z,.(z,.)),?z)
  704. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  705. 258 add(.(z,.(z,.)),?z) 258 add(.(z,.(z,.)),?z)
  706. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  707. 259 add(.(z,.(z,.)),z) 259 add(.(z,.(z,.)),z)
  708. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  709. 260 eq(z,z) 260 eq(z,z)
  710. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  711. 261 mul(.(z,.(o,.)),z) 261 mul(.(z,.(o,.)),z)
  712. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  713. 262 mul(.(o,.(z,.)),z) 262 mul(.(o,.(z,.)),z)
  714. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  715. 263 eq(z,z) 263 eq(z,z)
  716. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  717. 264 add(.(z,.(z,.)),z) 264 add(.(z,.(z,.)),z)
  718. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  719. 265 add(.(z,.(z,.)),z) 265 add(.(z,.(z,.)),z)
  720. PUSH QUEUE PUSH QUEUE
  721. 266 {} 266 {}
  722. 267 mul(.(o,.(z,.)),?z) 267 mul(.(o,.(z,.)),?z)
  723. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  724. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  725. PUSH QUEUE mul(.(z,.(o,.)),?z) PUSH QUEUE mul(.(z,.(o,.)),?z)
  726. 268 mul(.(o,.(z,.)),?z) 268 mul(.(o,.(z,.)),?z)
  727. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  728. 269 eq(?z,z) 269 eq(?z,z)
  729. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  730. 270 eq(?z,z) 270 eq(?z,z)
  731. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  732. 271 eq(?z,z) 271 eq(?z,z)
  733. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  734. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  735. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  736. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  737. 272 eq(?z,z) 272 eq(?z,z)
  738. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  739. PUSH QUEUE mul(.(?y,.(z,.)),?z) PUSH QUEUE mul(.(?y,.(z,.)),?z)
  740. PUSH QUEUE mul(.(?x,.(z,.)),?z) PUSH QUEUE mul(.(?x,.(z,.)),?z)
  741. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  742. 273 eq(?z,z) 273 eq(?z,z)
  743. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  744. 274 eq(?z,z) 274 eq(?z,z)
  745. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  746. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  747. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  748. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  749. 275 mul(.(?y,.(z,.)),?z) 275 mul(.(?y,.(z,.)),?z)
  750. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  751. PUSH QUEUE mul(.(z,.(?x,.)),?z) PUSH QUEUE mul(.(z,.(?x,.)),?z)
  752. PUSH QUEUE mul(.(z,.(z,.)),?z) PUSH QUEUE mul(.(z,.(z,.)),?z)
  753. PUSH QUEUE mul(.(z,.(o,.)),?z) <
  754. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  755. 276 mul(.(?x,.(z,.)),?z) 276 mul(.(?x,.(z,.)),?z)
  756. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  757. 277 mul(.(z,.(z,.)),z) 277 mul(.(z,.(z,.)),z)
  758. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  759. 278 eq(z,z) 278 eq(z,z)
  760. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  761. 279 mul(.(o,.(z,.)),z) 279 mul(.(o,.(z,.)),z)
  762. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  763. 280 mul(.(z,.(o,.)),z) 280 mul(.(z,.(o,.)),z)
  764. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  765. 281 eq(z,z) 281 eq(z,z)
  766. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  767. 282 add(.(z,.(z,.)),z) 282 add(.(z,.(z,.)),z)
  768. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  769. 283 add(.(z,.(z,.)),z) 283 add(.(z,.(z,.)),z)
  770. PUSH QUEUE PUSH QUEUE
  771. 284 {} 284 {}
  772. 285 add(.(z,.(z,.)),?z) 285 add(.(z,.(z,.)),?z)
  773. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  774. 286 add(.(z,.(z,.)),?z) 286 add(.(z,.(z,.)),?z)
  775. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  776. 287 add(.(z,.(z,.)),z) 287 add(.(z,.(z,.)),z)
  777. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  778. 288 eq(z,z) 288 eq(z,z)
  779. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  780. 289 mul(.(o,.(z,.)),z) 289 mul(.(o,.(z,.)),z)
  781. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  782. 290 mul(.(z,.(o,.)),z) 290 mul(.(z,.(o,.)),z)
  783. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  784. 291 eq(z,z) 291 eq(z,z)
  785. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  786. 292 add(.(z,.(z,.)),z) 292 add(.(z,.(z,.)),z)
  787. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  788. 293 add(.(z,.(z,.)),z) 293 add(.(z,.(z,.)),z)
  789. PUSH QUEUE PUSH QUEUE
  790. 294 {} 294 {}
  791. 295 mul(.(z,.(?x,.)),?z) 295 mul(.(z,.(?x,.)),?z)
  792. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  793. 296 mul(.(z,.(z,.)),?z) 296 mul(.(z,.(z,.)),?z)
  794. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  795. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  796. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  797. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  798. 297 mul(.(z,.(o,.)),?z) 297 mul(.(z,.(o,.)),?z)
  799. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  800. 298 mul(.(z,.(z,.)),z) 298 mul(.(z,.(z,.)),z)
  801. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  802. 299 mul(.(z,.(z,.)),z) 299 mul(.(z,.(z,.)),z)
  803. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  804. 300 eq(z,z) 300 eq(z,z)
  805. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  806. 301 mul(.(z,.(o,.)),z) 301 mul(.(z,.(o,.)),z)
  807. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  808. 302 eq(z,z) 302 eq(z,z)
  809. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  810. 303 add(.(z,.(z,.)),z) 303 add(.(z,.(z,.)),z)
  811. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  812. 304 add(.(z,.(z,.)),z) 304 add(.(z,.(z,.)),z)
  813. PUSH QUEUE PUSH QUEUE
  814. 305 {} 305 {}
  815. 306 eq(?z,z) 306 eq(?z,z)
  816. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  817. 307 eq(?z,z) 307 eq(?z,z)
  818. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  819. 308 eq(?z,z) 308 eq(?z,z)
  820. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  821. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  822. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  823. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  824. 309 mul(.(o,.(z,.)),?z) 309 mul(.(o,.(z,.)),?z)
  825. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  826. 310 mul(.(o,.(z,.)),?z) 310 mul(.(o,.(z,.)),?z)
  827. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  828. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  829. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  830. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  831. 311 eq(?z,z) 311 eq(?z,z)
  832. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  833. 312 eq(?z,z) 312 eq(?z,z)
  834. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  835. 313 eq(?z,z) 313 eq(?z,z)
  836. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  837. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  838. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  839. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  840. 314 add(.(z,.(z,.)),?z) 314 add(.(z,.(z,.)),?z)
  841. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  842. 315 add(.(z,.(z,.)),?z) 315 add(.(z,.(z,.)),?z)
  843. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  844. 316 add(.(z,.(z,.)),z) 316 add(.(z,.(z,.)),z)
  845. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  846. 317 add(.(z,.(z,.)),z) 317 add(.(z,.(z,.)),z)
  847. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  848. 318 eq(z,z) 318 eq(z,z)
  849. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  850. 319 mul(.(z,.(z,.)),z) 319 mul(.(z,.(z,.)),z)
  851. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  852. 320 mul(.(z,.(z,.)),z) 320 mul(.(z,.(z,.)),z)
  853. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  854. 321 eq(z,z) 321 eq(z,z)
  855. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  856. 322 add(.(z,.(z,.)),z) 322 add(.(z,.(z,.)),z)
  857. PUSH QUEUE PUSH QUEUE
  858. 323 {} 323 {}
  859. 324 mul(.(o,.(z,.)),?z) 324 mul(.(o,.(z,.)),?z)
  860. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  861. 325 mul(.(o,.(z,.)),?z) 325 mul(.(o,.(z,.)),?z)
  862. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  863. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  864. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  865. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  866. 326 add(.(z,.(z,.)),?z) 326 add(.(z,.(z,.)),?z)
  867. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  868. 327 add(.(z,.(z,.)),?z) 327 add(.(z,.(z,.)),?z)
  869. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  870. 328 add(.(z,.(z,.)),z) 328 add(.(z,.(z,.)),z)
  871. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  872. 329 add(.(z,.(z,.)),z) 329 add(.(z,.(z,.)),z)
  873. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  874. 330 eq(z,z) 330 eq(z,z)
  875. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  876. 331 mul(.(z,.(o,.)),z) 331 mul(.(z,.(o,.)),z)
  877. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  878. 332 mul(.(o,.(z,.)),z) 332 mul(.(o,.(z,.)),z)
  879. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  880. 333 eq(z,z) 333 eq(z,z)
  881. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  882. 334 add(.(z,.(z,.)),z) 334 add(.(z,.(z,.)),z)
  883. PUSH QUEUE PUSH QUEUE
  884. 335 {} 335 {}
  885. 336 mul(.(z,.(o,.)),?z) 336 mul(.(z,.(o,.)),?z)
  886. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  887. 337 mul(.(z,.(o,.)),?z) 337 mul(.(z,.(o,.)),?z)
  888. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  889. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  890. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  891. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  892. 338 add(.(z,.(z,.)),?z) 338 add(.(z,.(z,.)),?z)
  893. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  894. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  895. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  896. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  897. 339 add(.(z,.(z,.)),?z) 339 add(.(z,.(z,.)),?z)
  898. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  899. 340 add(.(z,.(z,.)),z) 340 add(.(z,.(z,.)),z)
  900. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  901. 341 eq(z,z) 341 eq(z,z)
  902. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  903. 342 mul(.(z,.(o,.)),z) 342 mul(.(z,.(o,.)),z)
  904. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  905. 343 eq(z,z) 343 eq(z,z)
  906. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  907. 344 mul(.(?x,.(z,.)),z) 344 mul(.(?x,.(z,.)),z)
  908. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  909. 345 eq(z,z) 345 eq(z,z)
  910. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  911. 346 add(.(z,.(z,.)),z) 346 add(.(z,.(z,.)),z)
  912. PUSH QUEUE PUSH QUEUE
  913. 347 {} 347 {}
  914. 348 mul(.(?y,.(z,.)),?z) 348 mul(.(?y,.(z,.)),?z)
  915. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  916. 349 mul(.(?x,.(z,.)),?z) 349 mul(.(?x,.(z,.)),?z)
  917. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  918. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  919. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  920. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  921. 350 mul(.(z,.(z,.)),z) 350 mul(.(z,.(z,.)),z)
  922. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  923. 351 eq(z,z) 351 eq(z,z)
  924. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  925. 352 mul(.(z,.(o,.)),z) 352 mul(.(z,.(o,.)),z)
  926. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  927. 353 mul(.(o,.(z,.)),z) 353 mul(.(o,.(z,.)),z)
  928. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  929. 354 mul(.(z,.(o,.)),z) 354 mul(.(z,.(o,.)),z)
  930. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  931. 355 eq(z,z) 355 eq(z,z)
  932. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  933. 356 add(.(z,.(z,.)),z) 356 add(.(z,.(z,.)),z)
  934. PUSH QUEUE PUSH QUEUE
  935. 357 {} 357 {}
  936. 358 add(.(z,.(z,.)),?z) 358 add(.(z,.(z,.)),?z)
  937. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  938. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  939. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  940. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  941. 359 add(.(z,.(z,.)),?z) 359 add(.(z,.(z,.)),?z)
  942. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  943. 360 add(.(z,.(z,.)),z) 360 add(.(z,.(z,.)),z)
  944. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  945. 361 eq(z,z) 361 eq(z,z)
  946. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  947. 362 mul(.(z,.(o,.)),z) 362 mul(.(z,.(o,.)),z)
  948. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  949. 363 mul(.(o,.(z,.)),z) 363 mul(.(o,.(z,.)),z)
  950. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  951. 364 mul(.(z,.(o,.)),z) 364 mul(.(z,.(o,.)),z)
  952. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  953. 365 eq(z,z) 365 eq(z,z)
  954. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  955. 366 add(.(z,.(z,.)),z) 366 add(.(z,.(z,.)),z)
  956. PUSH QUEUE PUSH QUEUE
  957. 367 {} 367 {}
  958. 368 mul(.(z,.(?x,.)),?z) 368 mul(.(z,.(?x,.)),?z)
  959. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  960. 369 mul(.(z,.(z,.)),?z) 369 mul(.(z,.(z,.)),?z)
  961. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  962. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  963. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  964. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  965. 370 mul(.(z,.(o,.)),?z) | 370 mul(.(z,.(z,.)),z)
  966. Tracking back from eq(?z,?x) <
  967. PUSH QUEUE eq(?z,z) <
  968. PUSH QUEUE eq(?z,z) <
  969. PUSH QUEUE eq(?z,z) <
  970. 371 mul(.(z,.(z,.)),z) <
  971. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  972. 372 mul(.(z,.(z,.)),z) | 371 mul(.(z,.(z,.)),z)
  973. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  974. 373 eq(z,z) | 372 eq(z,z)
  975. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  976. 374 mul(.(o,.(z,.)),z) | 373 mul(.(o,.(z,.)),z)
  977. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  978. 375 mul(.(z,.(o,.)),z) | 374 mul(.(z,.(o,.)),z)
  979. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  980. 376 eq(z,z) | 375 eq(z,z)
  981. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  982. 377 add(.(z,.(z,.)),z) | 376 add(.(z,.(z,.)),z)
  983. PUSH QUEUE PUSH QUEUE
  984. 378 {} | 377 {}
  985. 379 add(.(z,.(z,.)),?z) | 378 add(.(z,.(z,.)),?z)
  986. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  987. 380 add(.(z,.(z,.)),?z) | 379 add(.(z,.(z,.)),?z)
  988. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  989. 381 add(.(z,.(z,.)),z) | 380 add(.(z,.(z,.)),z)
  990. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  991. 382 add(.(z,.(z,.)),z) | 381 add(.(z,.(z,.)),z)
  992. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  993. 383 eq(z,z) | 382 eq(z,z)
  994. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  995. 384 mul(.(o,.(z,.)),z) | 383 mul(.(o,.(z,.)),z)
  996. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  997. 385 mul(.(z,.(o,.)),z) | 384 mul(.(z,.(o,.)),z)
  998. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  999. 386 eq(z,z) | 385 eq(z,z)
  1000. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1001. 387 add(.(z,.(z,.)),z) | 386 add(.(z,.(z,.)),z)
  1002. PUSH QUEUE PUSH QUEUE
  1003. 388 {} | 387 {}
  1004. 389 eq(?z,z) | 388 eq(?z,z)
  1005. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1006. 390 eq(?z,z) | 389 eq(?z,z)
  1007. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1008. 391 eq(?z,z) | 390 eq(?z,z)
  1009. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1010. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1011. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1012. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1013. 392 add(.(z,.(z,.)),?z) | 391 add(.(z,.(z,.)),?z)
  1014. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1015. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1016. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1017. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1018. 393 add(.(z,.(z,.)),?z) | 392 add(.(z,.(z,.)),?z)
  1019. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1020. 394 add(.(z,.(z,.)),z) | 393 add(.(z,.(z,.)),z)
  1021. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1022. 395 eq(z,z) | 394 eq(z,z)
  1023. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1024. 396 mul(.(?x,.(z,.)),z) | 395 mul(.(?x,.(z,.)),z)
  1025. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1026. 397 eq(z,z) | 396 eq(z,z)
  1027. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1028. 398 mul(.(z,.(o,.)),z) | 397 mul(.(z,.(o,.)),z)
  1029. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1030. 399 eq(z,z) | 398 eq(z,z)
  1031. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1032. 400 add(.(z,.(z,.)),z) | 399 add(.(z,.(z,.)),z)
  1033. PUSH QUEUE PUSH QUEUE
  1034. 401 {} | 400 {}
  1035. 402 mul(.(o,.(z,.)),?z) | 401 mul(.(o,.(z,.)),?z)
  1036. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  1037. 403 mul(.(o,.(z,.)),?z) | 402 mul(.(o,.(z,.)),?z)
  1038. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  1039. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1040. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1041. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1042. 404 eq(?z,z) | 403 eq(?z,z)
  1043. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1044. 405 eq(?z,z) | 404 eq(?z,z)
  1045. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1046. 406 eq(?z,z) | 405 eq(?z,z)
  1047. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1048. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1049. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1050. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1051. 407 mul(.(o,.(z,.)),?z) | 406 mul(.(o,.(z,.)),?z)
  1052. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  1053. 408 mul(.(o,.(z,.)),?z) | 407 mul(.(o,.(z,.)),?z)
  1054. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  1055. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1056. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1057. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1058. 409 mul(.(z,.(o,.)),?z) | 408 mul(.(z,.(o,.)),?z)
  1059. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  1060. 410 mul(.(z,.(o,.)),?z) | 409 mul(.(z,.(o,.)),?z)
  1061. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1062. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1063. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1064. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1065. 411 add(.(z,.(z,.)),?z) | 410 add(.(z,.(z,.)),?z)
  1066. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1067. 412 add(.(z,.(z,.)),?z) | 411 add(.(z,.(z,.)),?z)
  1068. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1069. 413 add(.(z,.(z,.)),z) | 412 add(.(z,.(z,.)),z)
  1070. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1071. 414 eq(z,z) | 413 eq(z,z)
  1072. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1073. 415 mul(.(z,.(o,.)),z) | 414 mul(.(z,.(o,.)),z)
  1074. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1075. 416 eq(z,z) | 415 eq(z,z)
  1076. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1077. 417 mul(.(?x,.(z,.)),z) | 416 mul(.(?x,.(z,.)),z)
  1078. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1079. 418 eq(z,z) | 417 eq(z,z)
  1080. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1081. 419 add(.(z,.(z,.)),z) | 418 add(.(z,.(z,.)),z)
  1082. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1083. 420 add(.(z,.(z,.)),z) | 419 add(.(z,.(z,.)),z)
  1084. PUSH QUEUE PUSH QUEUE
  1085. 421 {} | 420 {}
  1086. 422 mul(.(?y,.(z,.)),?z) | 421 mul(.(?y,.(z,.)),?z)
  1087. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  1088. 423 mul(.(?x,.(z,.)),?z) | 422 mul(.(?x,.(z,.)),?z)
  1089. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  1090. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1091. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1092. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1093. 424 mul(.(z,.(z,.)),z) | 423 mul(.(z,.(z,.)),z)
  1094. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1095. 425 eq(z,z) | 424 eq(z,z)
  1096. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1097. 426 mul(.(z,.(o,.)),z) | 425 mul(.(z,.(o,.)),z)
  1098. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1099. 427 mul(.(o,.(z,.)),z) | 426 mul(.(o,.(z,.)),z)
  1100. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1101. 428 mul(.(z,.(o,.)),z) | 427 mul(.(z,.(o,.)),z)
  1102. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1103. 429 eq(z,z) | 428 eq(z,z)
  1104. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1105. 430 add(.(z,.(z,.)),z) | 429 add(.(z,.(z,.)),z)
  1106. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1107. 431 add(.(z,.(z,.)),z) | 430 add(.(z,.(z,.)),z)
  1108. PUSH QUEUE PUSH QUEUE
  1109. 432 {} | 431 {}
  1110. 433 add(.(z,.(z,.)),?z) | 432 add(.(z,.(z,.)),?z)
  1111. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1112. 434 add(.(z,.(z,.)),?z) | 433 add(.(z,.(z,.)),?z)
  1113. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1114. 435 add(.(z,.(z,.)),z) | 434 add(.(z,.(z,.)),z)
  1115. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1116. 436 eq(z,z) | 435 eq(z,z)
  1117. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1118. 437 mul(.(z,.(o,.)),z) | 436 mul(.(z,.(o,.)),z)
  1119. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1120. 438 mul(.(o,.(z,.)),z) | 437 mul(.(o,.(z,.)),z)
  1121. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1122. 439 mul(.(z,.(o,.)),z) | 438 mul(.(z,.(o,.)),z)
  1123. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1124. 440 eq(z,z) | 439 eq(z,z)
  1125. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1126. 441 add(.(z,.(z,.)),z) | 440 add(.(z,.(z,.)),z)
  1127. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1128. 442 add(.(z,.(z,.)),z) | 441 add(.(z,.(z,.)),z)
  1129. PUSH QUEUE PUSH QUEUE
  1130. 443 {} | 442 {}
  1131. 444 mul(.(z,.(?x,.)),?z) | 443 mul(.(z,.(?x,.)),?z)
  1132. Tracking back from mul(.(?x,.(?y,.)),?z) Tracking back from mul(.(?x,.(?y,.)),?z)
  1133. 445 mul(.(z,.(z,.)),?z) | 444 mul(.(z,.(z,.)),?z)
  1134. Tracking back from eq(?z,z) Tracking back from eq(?z,z)
  1135. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1136. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1137. PUSH QUEUE eq(?z,z) PUSH QUEUE eq(?z,z)
  1138. 446 mul(.(z,.(o,.)),?z) | 445 mul(.(z,.(z,.)),z)
  1139. Tracking back from eq(?z,?x) <
  1140. PUSH QUEUE eq(?z,z) <
  1141. PUSH QUEUE eq(?z,z) <
  1142. PUSH QUEUE eq(?z,z) <
  1143. 447 mul(.(z,.(z,.)),z) <
  1144. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1145. 448 mul(.(z,.(z,.)),z) | 446 mul(.(z,.(z,.)),z)
  1146. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1147. 449 eq(z,z) | 447 eq(z,z)
  1148. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1149. 450 mul(.(o,.(z,.)),z) | 448 mul(.(o,.(z,.)),z)
  1150. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1151. 451 mul(.(z,.(o,.)),z) | 449 mul(.(z,.(o,.)),z)
  1152. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1153. 452 eq(z,z) | 450 eq(z,z)
  1154. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1155. 453 add(.(z,.(z,.)),z) | 451 add(.(z,.(z,.)),z)
  1156. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1157. 454 add(.(z,.(z,.)),z) | 452 add(.(z,.(z,.)),z)
  1158. PUSH QUEUE PUSH QUEUE
  1159. 455 {} | 453 {}
  1160. 456 eq(?z,z) | 454 eq(?z,z)
  1161. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1162. 457 eq(?z,z) | 455 eq(?z,z)
  1163. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1164. 458 eq(?z,z) | 456 eq(?z,z)
  1165. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1166. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1167. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1168. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1169. 459 add(.(z,.(z,.)),?z) | 457 add(.(z,.(z,.)),?z)
  1170. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1171. 460 add(.(z,.(z,.)),?z) | 458 add(.(z,.(z,.)),?z)
  1172. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1173. 461 add(.(z,.(z,.)),z) | 459 add(.(z,.(z,.)),z)
  1174. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1175. 462 eq(z,z) | 460 eq(z,z)
  1176. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1177. 463 mul(.(?x,.(z,.)),z) | 461 mul(.(?x,.(z,.)),z)
  1178. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1179. 464 eq(z,z) | 462 eq(z,z)
  1180. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1181. 465 mul(.(z,.(o,.)),z) | 463 mul(.(z,.(o,.)),z)
  1182. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1183. 466 eq(z,z) | 464 eq(z,z)
  1184. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1185. 467 add(.(z,.(z,.)),z) | 465 add(.(z,.(z,.)),z)
  1186. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1187. 468 add(.(z,.(z,.)),z) | 466 add(.(z,.(z,.)),z)
  1188. PUSH QUEUE PUSH QUEUE
  1189. 469 {} | 467 {}
  1190. 470 eq(?z,z) | 468 eq(?z,z)
  1191. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1192. 471 eq(?z,z) | 469 eq(?z,z)
  1193. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1194. 472 eq(?z,z) | 470 eq(?z,z)
  1195. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1196. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1197. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1198. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1199. 473 add(.(z,.(z,.)),?z) | 471 add(.(z,.(z,.)),?z)
  1200. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1201. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1202. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1203. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1204. 474 add(.(z,.(z,.)),?z) | 472 add(.(z,.(z,.)),?z)
  1205. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1206. 475 add(.(z,.(z,.)),z) | 473 add(.(z,.(z,.)),z)
  1207. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1208. 476 eq(z,z) | 474 eq(z,z)
  1209. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1210. 477 mul(.(z,.(o,.)),z) | 475 mul(.(z,.(o,.)),z)
  1211. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1212. 478 eq(z,z) | 476 eq(z,z)
  1213. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1214. 479 mul(.(z,.(z,.)),z) | 477 mul(.(z,.(z,.)),z)
  1215. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1216. 480 mul(.(z,.(z,.)),z) | 478 mul(.(z,.(z,.)),z)
  1217. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1218. 481 eq(z,z) | 479 eq(z,z)
  1219. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1220. 482 add(.(z,.(z,.)),z) | 480 add(.(z,.(z,.)),z)
  1221. PUSH QUEUE PUSH QUEUE
  1222. 483 {} | 481 {}
  1223. 484 eq(?z,z) | 482 eq(?z,z)
  1224. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1225. 485 eq(?z,z) | 483 eq(?z,z)
  1226. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1227. 486 eq(?z,z) | 484 eq(?z,z)
  1228. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1229. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1230. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1231. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1232. 487 eq(?z,z) | 485 eq(?z,z)
  1233. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1234. 488 eq(?z,z) | 486 eq(?z,z)
  1235. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1236. 489 eq(?z,z) | 487 eq(?z,z)
  1237. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1238. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1239. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1240. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1241. 490 add(.(z,.(z,.)),?z) | 488 add(.(z,.(z,.)),?z)
  1242. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1243. 491 add(.(z,.(z,.)),?z) | 489 add(.(z,.(z,.)),?z)
  1244. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1245. 492 add(.(z,.(z,.)),z) | 490 add(.(z,.(z,.)),z)
  1246. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1247. 493 add(.(z,.(z,.)),z) | 491 add(.(z,.(z,.)),z)
  1248. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1249. 494 eq(z,z) | 492 eq(z,z)
  1250. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1251. 495 mul(.(z,.(o,.)),z) | 493 mul(.(z,.(o,.)),z)
  1252. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1253. 496 eq(z,z) | 494 eq(z,z)
  1254. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1255. 497 mul(.(?x,.(z,.)),z) | 495 mul(.(?x,.(z,.)),z)
  1256. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1257. 498 eq(z,z) | 496 eq(z,z)
  1258. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1259. 499 add(.(z,.(z,.)),z) | 497 add(.(z,.(z,.)),z)
  1260. PUSH QUEUE PUSH QUEUE
  1261. 500 {} | 498 {}
  1262. 501 eq(?z,z) | 499 eq(?z,z)
  1263. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1264. 502 eq(?z,z) | 500 eq(?z,z)
  1265. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1266. 503 eq(?z,z) | 501 eq(?z,z)
  1267. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1268. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1269. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1270. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1271. 504 add(.(z,.(z,.)),?z) | 502 add(.(z,.(z,.)),?z)
  1272. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1273. 505 add(.(z,.(z,.)),?z) | 503 add(.(z,.(z,.)),?z)
  1274. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1275. 506 add(.(z,.(z,.)),z) | 504 add(.(z,.(z,.)),z)
  1276. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1277. 507 add(.(z,.(z,.)),z) | 505 add(.(z,.(z,.)),z)
  1278. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1279. 508 eq(z,z) | 506 eq(z,z)
  1280. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1281. 509 mul(.(z,.(o,.)),z) | 507 mul(.(z,.(o,.)),z)
  1282. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1283. 510 mul(.(o,.(z,.)),z) | 508 mul(.(o,.(z,.)),z)
  1284. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1285. 511 mul(.(z,.(o,.)),z) | 509 mul(.(z,.(o,.)),z)
  1286. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1287. 512 eq(z,z) | 510 eq(z,z)
  1288. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1289. 513 add(.(z,.(z,.)),z) | 511 add(.(z,.(z,.)),z)
  1290. PUSH QUEUE PUSH QUEUE
  1291. 514 {} | 512 {}
  1292. 515 eq(?z,z) | 513 eq(?z,z)
  1293. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1294. 516 eq(?z,z) | 514 eq(?z,z)
  1295. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1296. 517 eq(?z,z) | 515 eq(?z,z)
  1297. Tracking back from add(.(?x,.(z,.)),?z) <
  1298. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1299. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1300. PUSH QUEUE add(.(z,.(z,.)),z) <
  1301. 518 eq(?z,z) <
  1302. Tracking back from mul(.(?x,.(z,.)),?z) <
  1303. 519 eq(?z,z) <
  1304. Tracking back from mul(.(?x,.(o,.)),?z) <
  1305. 520 eq(?z,z) <
  1306. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1307. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1308. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1309. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1310. 521 add(.(z,.(z,.)),?z) | 516 add(.(z,.(z,.)),?z)
  1311. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1312. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1313. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1314. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1315. 522 add(.(z,.(z,.)),?z) | 517 add(.(z,.(z,.)),?z)
  1316. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1317. 523 add(.(z,.(z,.)),z) | 518 add(.(z,.(z,.)),z)
  1318. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1319. 524 eq(z,z) | 519 eq(z,z)
  1320. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1321. 525 mul(.(z,.(z,.)),z) | 520 mul(.(z,.(z,.)),z)
  1322. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1323. 526 mul(.(z,.(z,.)),z) | 521 mul(.(z,.(z,.)),z)
  1324. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1325. 527 eq(z,z) | 522 eq(z,z)
  1326. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1327. 528 mul(.(z,.(o,.)),z) | 523 mul(.(z,.(o,.)),z)
  1328. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1329. 529 eq(z,z) | 524 eq(z,z)
  1330. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1331. 530 add(.(z,.(z,.)),z) | 525 add(.(z,.(z,.)),z)
  1332. PUSH QUEUE PUSH QUEUE
  1333. 531 {} | 526 {}
  1334. 532 add(.(z,.(z,.)),?z) | 527 add(.(z,.(z,.)),?z)
  1335. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1336. 533 add(.(z,.(z,.)),?z) | 528 add(.(z,.(z,.)),?z)
  1337. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1338. 534 add(.(z,.(z,.)),z) | 529 add(.(z,.(z,.)),z)
  1339. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1340. 535 add(.(z,.(z,.)),z) | 530 add(.(z,.(z,.)),z)
  1341. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1342. 536 eq(z,z) | 531 eq(z,z)
  1343. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1344. 537 mul(.(?x,.(z,.)),z) | 532 mul(.(?x,.(z,.)),z)
  1345. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1346. 538 eq(z,z) | 533 eq(z,z)
  1347. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1348. 539 mul(.(z,.(o,.)),z) | 534 mul(.(z,.(o,.)),z)
  1349. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1350. 540 eq(z,z) | 535 eq(z,z)
  1351. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1352. 541 add(.(z,.(z,.)),z) | 536 add(.(z,.(z,.)),z)
  1353. PUSH QUEUE PUSH QUEUE
  1354. 542 {} | 537 {}
  1355. 543 eq(?z,z) | 538 eq(?z,z)
  1356. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1357. 544 eq(?z,z) | 539 eq(?z,z)
  1358. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1359. 545 eq(?z,z) | 540 eq(?z,z)
  1360. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1361. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1362. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1363. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1364. 546 add(.(z,.(z,.)),?z) | 541 add(.(z,.(z,.)),?z)
  1365. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1366. 547 add(.(z,.(z,.)),?z) | 542 add(.(z,.(z,.)),?z)
  1367. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1368. 548 add(.(z,.(z,.)),z) | 543 add(.(z,.(z,.)),z)
  1369. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1370. 549 eq(z,z) | 544 eq(z,z)
  1371. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1372. 550 mul(.(z,.(o,.)),z) | 545 mul(.(z,.(o,.)),z)
  1373. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1374. 551 eq(z,z) | 546 eq(z,z)
  1375. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1376. 552 mul(.(z,.(z,.)),z) | 547 mul(.(z,.(z,.)),z)
  1377. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1378. 553 mul(.(z,.(z,.)),z) | 548 mul(.(z,.(z,.)),z)
  1379. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1380. 554 eq(z,z) | 549 eq(z,z)
  1381. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1382. 555 add(.(z,.(z,.)),z) | 550 add(.(z,.(z,.)),z)
  1383. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1384. 556 add(.(z,.(z,.)),z) | 551 add(.(z,.(z,.)),z)
  1385. PUSH QUEUE PUSH QUEUE
  1386. 557 {} | 552 {}
  1387. 558 eq(?z,z) | 553 eq(?z,z)
  1388. Tracking back from mul(.(?x,.(z,.)),?z) <
  1389. 559 eq(?z,z) <
  1390. Tracking back from mul(.(?x,.(o,.)),?z) <
  1391. 560 eq(?z,z) <
  1392. Tracking back from add(.(?x,.(z,.)),?z) <
  1393. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1394. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1395. PUSH QUEUE add(.(z,.(z,.)),z) <
  1396. 561 eq(?z,z) <
  1397. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1398. 562 eq(?z,z) | 554 eq(?z,z)
  1399. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1400. 563 eq(?z,z) | 555 eq(?z,z)
  1401. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1402. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1403. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1404. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1405. 564 eq(?z,z) | 556 eq(?z,z)
  1406. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1407. 565 eq(?z,z) | 557 eq(?z,z)
  1408. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1409. 566 eq(?z,z) | 558 eq(?z,z)
  1410. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1411. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1412. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1413. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1414. 567 eq(?z,z) | 559 eq(?z,z)
  1415. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1416. 568 eq(?z,z) | 560 eq(?z,z)
  1417. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1418. 569 eq(?z,z) | 561 eq(?z,z)
  1419. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1420. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1421. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1422. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1423. 570 eq(?z,z) | 562 eq(?z,z)
  1424. Tracking back from mul(.(?x,.(z,.)),?z) Tracking back from mul(.(?x,.(z,.)),?z)
  1425. 571 eq(?z,z) | 563 eq(?z,z)
  1426. Tracking back from mul(.(?x,.(o,.)),?z) Tracking back from mul(.(?x,.(o,.)),?z)
  1427. 572 eq(?z,z) | 564 eq(?z,z)
  1428. Tracking back from add(.(?x,.(z,.)),?z) Tracking back from add(.(?x,.(z,.)),?z)
  1429. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1430. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1431. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1432. 573 add(.(z,.(z,.)),?z) | 565 add(.(z,.(z,.)),?z)
  1433. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1434. 574 add(.(z,.(z,.)),?z) | 566 add(.(z,.(z,.)),?z)
  1435. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1436. 575 add(.(z,.(z,.)),z) | 567 add(.(z,.(z,.)),z)
  1437. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1438. 576 eq(z,z) | 568 eq(z,z)
  1439. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1440. 577 mul(.(z,.(z,.)),z) | 569 mul(.(z,.(z,.)),z)
  1441. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1442. 578 mul(.(z,.(z,.)),z) | 570 mul(.(z,.(z,.)),z)
  1443. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1444. 579 eq(z,z) | 571 eq(z,z)
  1445. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1446. 580 mul(.(z,.(o,.)),z) | 572 mul(.(z,.(o,.)),z)
  1447. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1448. 581 eq(z,z) | 573 eq(z,z)
  1449. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1450. 582 add(.(z,.(z,.)),z) | 574 add(.(z,.(z,.)),z)
  1451. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1452. 583 add(.(z,.(z,.)),z) | 575 add(.(z,.(z,.)),z)
  1453. PUSH QUEUE PUSH QUEUE
  1454. 584 {} | 576 {}
  1455. 585 add(.(z,.(z,.)),?z) | 577 add(.(z,.(z,.)),?z)
  1456. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1457. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1458. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1459. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1460. 586 add(.(z,.(z,.)),?z) | 578 add(.(z,.(z,.)),?z)
  1461. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1462. 587 add(.(z,.(z,.)),z) | 579 add(.(z,.(z,.)),z)
  1463. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1464. 588 eq(z,z) | 580 eq(z,z)
  1465. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1466. 589 mul(.(o,.(z,.)),z) | 581 mul(.(o,.(z,.)),z)
  1467. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1468. 590 mul(.(z,.(o,.)),z) | 582 mul(.(z,.(o,.)),z)
  1469. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1470. 591 eq(z,z) | 583 eq(z,z)
  1471. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1472. 592 mul(.(z,.(z,.)),z) | 584 mul(.(z,.(z,.)),z)
  1473. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1474. 593 mul(.(z,.(z,.)),z) | 585 mul(.(z,.(z,.)),z)
  1475. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1476. 594 eq(z,z) | 586 eq(z,z)
  1477. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1478. 595 add(.(z,.(z,.)),z) | 587 add(.(z,.(z,.)),z)
  1479. PUSH QUEUE PUSH QUEUE
  1480. 596 {} | 588 {}
  1481. 597 add(.(z,.(z,.)),?z) | 589 add(.(z,.(z,.)),?z)
  1482. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1483. 598 add(.(z,.(z,.)),?z) | 590 add(.(z,.(z,.)),?z)
  1484. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1485. 599 add(.(z,.(z,.)),z) | 591 add(.(z,.(z,.)),z)
  1486. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1487. 600 add(.(z,.(z,.)),z) | 592 add(.(z,.(z,.)),z)
  1488. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1489. 601 eq(z,z) | 593 eq(z,z)
  1490. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1491. 602 mul(.(z,.(o,.)),z) | 594 mul(.(z,.(o,.)),z)
  1492. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1493. 603 eq(z,z) | 595 eq(z,z)
  1494. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1495. 604 mul(.(z,.(z,.)),z) | 596 mul(.(z,.(z,.)),z)
  1496. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1497. 605 mul(.(z,.(z,.)),z) | 597 mul(.(z,.(z,.)),z)
  1498. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1499. 606 eq(z,z) | 598 eq(z,z)
  1500. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1501. 607 add(.(z,.(z,.)),z) | 599 add(.(z,.(z,.)),z)
  1502. PUSH QUEUE PUSH QUEUE
  1503. 608 {} | 600 {}
  1504. 609 add(.(z,.(z,.)),?z) | 601 add(.(z,.(z,.)),?z)
  1505. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1506. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1507. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1508. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1509. 610 add(.(z,.(z,.)),?z) | 602 add(.(z,.(z,.)),?z)
  1510. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1511. 611 add(.(z,.(z,.)),z) | 603 add(.(z,.(z,.)),z)
  1512. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1513. 612 eq(z,z) | 604 eq(z,z)
  1514. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1515. 613 mul(.(o,.(z,.)),z) | 605 mul(.(o,.(z,.)),z)
  1516. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1517. 614 mul(.(z,.(o,.)),z) | 606 mul(.(z,.(o,.)),z)
  1518. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1519. 615 eq(z,z) | 607 eq(z,z)
  1520. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1521. 616 mul(.(z,.(o,.)),z) | 608 mul(.(z,.(o,.)),z)
  1522. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1523. 617 mul(.(o,.(z,.)),z) | 609 mul(.(o,.(z,.)),z)
  1524. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1525. 618 eq(z,z) | 610 eq(z,z)
  1526. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1527. 619 add(.(z,.(z,.)),z) | 611 add(.(z,.(z,.)),z)
  1528. PUSH QUEUE PUSH QUEUE
  1529. 620 {} | 612 {}
  1530. 621 add(.(z,.(z,.)),?z) | 613 add(.(z,.(z,.)),?z)
  1531. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1532. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1533. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1534. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1535. 622 add(.(z,.(z,.)),?z) | 614 add(.(z,.(z,.)),?z)
  1536. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1537. 623 add(.(z,.(z,.)),z) | 615 add(.(z,.(z,.)),z)
  1538. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1539. 624 eq(z,z) | 616 eq(z,z)
  1540. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1541. 625 mul(.(z,.(o,.)),z) | 617 mul(.(z,.(o,.)),z)
  1542. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1543. 626 mul(.(o,.(z,.)),z) | 618 mul(.(o,.(z,.)),z)
  1544. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1545. 627 mul(.(z,.(o,.)),z) | 619 mul(.(z,.(o,.)),z)
  1546. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1547. 628 eq(z,z) | 620 eq(z,z)
  1548. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1549. 629 mul(.(?x,.(z,.)),z) | 621 mul(.(?x,.(z,.)),z)
  1550. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1551. 630 eq(z,z) | 622 eq(z,z)
  1552. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1553. 631 add(.(z,.(z,.)),z) | 623 add(.(z,.(z,.)),z)
  1554. PUSH QUEUE PUSH QUEUE
  1555. 632 {} | 624 {}
  1556. 633 add(.(z,.(z,.)),?z) | 625 add(.(z,.(z,.)),?z)
  1557. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1558. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1559. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1560. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1561. 634 add(.(z,.(z,.)),?z) | 626 add(.(z,.(z,.)),?z)
  1562. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1563. 635 add(.(z,.(z,.)),z) | 627 add(.(z,.(z,.)),z)
  1564. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1565. 636 eq(z,z) | 628 eq(z,z)
  1566. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1567. 637 mul(.(?x,.(z,.)),z) | 629 mul(.(?x,.(z,.)),z)
  1568. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1569. 638 eq(z,z) | 630 eq(z,z)
  1570. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1571. 639 mul(.(z,.(o,.)),z) | 631 mul(.(z,.(o,.)),z)
  1572. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1573. 640 mul(.(o,.(z,.)),z) | 632 mul(.(o,.(z,.)),z)
  1574. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1575. 641 mul(.(z,.(o,.)),z) | 633 mul(.(z,.(o,.)),z)
  1576. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1577. 642 eq(z,z) | 634 eq(z,z)
  1578. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1579. 643 add(.(z,.(z,.)),z) | 635 add(.(z,.(z,.)),z)
  1580. PUSH QUEUE PUSH QUEUE
  1581. 644 {} | 636 {}
  1582. 645 add(.(z,.(z,.)),?z) | 637 add(.(z,.(z,.)),?z)
  1583. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1584. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1585. PUSH QUEUE add(.(z,.(z,.)),?z) PUSH QUEUE add(.(z,.(z,.)),?z)
  1586. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1587. 646 add(.(z,.(z,.)),?z) | 638 add(.(z,.(z,.)),?z)
  1588. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1589. 647 add(.(z,.(z,.)),z) | 639 add(.(z,.(z,.)),z)
  1590. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1591. 648 eq(z,z) | 640 eq(z,z)
  1592. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1593. 649 mul(.(z,.(z,.)),z) | 641 mul(.(z,.(z,.)),z)
  1594. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1595. 650 mul(.(z,.(z,.)),z) | 642 mul(.(z,.(z,.)),z)
  1596. PUSH QUEUE eq(z,z) <
  1597. 651 eq(z,z) <
  1598. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1599. 652 mul(.(o,.(z,.)),z) <
  1600. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1601. 653 mul(.(z,.(o,.)),z) <
  1602. PUSH QUEUE eq(z,z) <
  1603. 654 eq(z,z) <
  1604. PUSH QUEUE add(.(z,.(z,.)),z) <
  1605. 655 add(.(z,.(z,.)),z) <
  1606. PUSH QUEUE <
  1607. 656 {} <
  1608. 657 add(.(z,.(z,.)),?z) <
  1609. Tracking back from add(.(?x,.(?y,.)),?z) <
  1610. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1611. PUSH QUEUE add(.(z,.(z,.)),?z) <
  1612. PUSH QUEUE add(.(z,.(z,.)),z) <
  1613. 658 add(.(z,.(z,.)),?z) <
  1614. Tracking back from eq(?z,?x) <
  1615. 659 add(.(z,.(z,.)),z) <
  1616. PUSH QUEUE eq(z,z) <
  1617. 660 eq(z,z) <
  1618. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1619. 661 mul(.(z,.(o,.)),z) <
  1620. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1621. 662 mul(.(o,.(z,.)),z) <
  1622. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1623. 663 eq(z,z) | 643 eq(z,z)
  1624. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1625. 664 mul(.(o,.(z,.)),z) | 644 mul(.(o,.(z,.)),z)
  1626. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1627. 665 mul(.(z,.(o,.)),z) | 645 mul(.(z,.(o,.)),z)
  1628. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1629. 666 eq(z,z) | 646 eq(z,z)
  1630. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1631. 667 add(.(z,.(z,.)),z) | 647 add(.(z,.(z,.)),z)
  1632. PUSH QUEUE PUSH QUEUE
  1633. 668 {} | 648 {}
  1634. 669 add(.(z,.(z,.)),?z) | 649 add(.(z,.(z,.)),?z)
  1635. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1636. 670 add(.(z,.(z,.)),?z) | 650 add(.(z,.(z,.)),?z)
  1637. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1638. 671 add(.(z,.(z,.)),z) | 651 add(.(z,.(z,.)),z)
  1639. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1640. 672 add(.(z,.(z,.)),z) | 652 add(.(z,.(z,.)),z)
  1641. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1642. 673 eq(z,z) | 653 eq(z,z)
  1643. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1644. 674 mul(.(z,.(z,.)),z) | 654 mul(.(z,.(z,.)),z)
  1645. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1646. 675 mul(.(z,.(z,.)),z) | 655 mul(.(z,.(z,.)),z)
  1647. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1648. 676 eq(z,z) | 656 eq(z,z)
  1649. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1650. 677 mul(.(z,.(o,.)),z) | 657 mul(.(z,.(o,.)),z)
  1651. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1652. 678 eq(z,z) | 658 eq(z,z)
  1653. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1654. 679 add(.(z,.(z,.)),z) | 659 add(.(z,.(z,.)),z)
  1655. PUSH QUEUE PUSH QUEUE
  1656. 680 {} | 660 {}
  1657. 681 add(.(z,.(z,.)),?z) | 661 add(.(z,.(z,.)),?z)
  1658. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1659. 682 add(.(z,.(z,.)),?z) | 662 add(.(z,.(z,.)),?z)
  1660. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1661. 683 add(.(z,.(z,.)),z) | 663 add(.(z,.(z,.)),z)
  1662. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1663. 684 eq(z,z) | 664 eq(z,z)
  1664. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1665. 685 mul(.(o,.(z,.)),z) | 665 mul(.(o,.(z,.)),z)
  1666. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1667. 686 mul(.(z,.(o,.)),z) | 666 mul(.(z,.(o,.)),z)
  1668. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1669. 687 eq(z,z) | 667 eq(z,z)
  1670. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1671. 688 mul(.(z,.(z,.)),z) | 668 mul(.(z,.(z,.)),z)
  1672. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1673. 689 mul(.(z,.(z,.)),z) | 669 mul(.(z,.(z,.)),z)
  1674. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1675. 690 eq(z,z) | 670 eq(z,z)
  1676. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1677. 691 add(.(z,.(z,.)),z) | 671 add(.(z,.(z,.)),z)
  1678. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1679. 692 add(.(z,.(z,.)),z) | 672 add(.(z,.(z,.)),z)
  1680. PUSH QUEUE PUSH QUEUE
  1681. 693 {} | 673 {}
  1682. 694 add(.(z,.(z,.)),?z) | 674 add(.(z,.(z,.)),?z)
  1683. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1684. 695 add(.(z,.(z,.)),?z) | 675 add(.(z,.(z,.)),?z)
  1685. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1686. 696 add(.(z,.(z,.)),z) | 676 add(.(z,.(z,.)),z)
  1687. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1688. 697 eq(z,z) | 677 eq(z,z)
  1689. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1690. 698 mul(.(o,.(z,.)),z) | 678 mul(.(o,.(z,.)),z)
  1691. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1692. 699 mul(.(z,.(o,.)),z) | 679 mul(.(z,.(o,.)),z)
  1693. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1694. 700 eq(z,z) | 680 eq(z,z)
  1695. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1696. 701 mul(.(z,.(o,.)),z) | 681 mul(.(z,.(o,.)),z)
  1697. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1698. 702 mul(.(o,.(z,.)),z) | 682 mul(.(o,.(z,.)),z)
  1699. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1700. 703 eq(z,z) | 683 eq(z,z)
  1701. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1702. 704 add(.(z,.(z,.)),z) | 684 add(.(z,.(z,.)),z)
  1703. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1704. 705 add(.(z,.(z,.)),z) | 685 add(.(z,.(z,.)),z)
  1705. PUSH QUEUE PUSH QUEUE
  1706. 706 {} | 686 {}
  1707. 707 add(.(z,.(z,.)),?z) | 687 add(.(z,.(z,.)),?z)
  1708. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1709. 708 add(.(z,.(z,.)),?z) | 688 add(.(z,.(z,.)),?z)
  1710. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1711. 709 add(.(z,.(z,.)),z) | 689 add(.(z,.(z,.)),z)
  1712. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1713. 710 eq(z,z) | 690 eq(z,z)
  1714. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1715. 711 mul(.(z,.(o,.)),z) | 691 mul(.(z,.(o,.)),z)
  1716. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1717. 712 mul(.(o,.(z,.)),z) | 692 mul(.(o,.(z,.)),z)
  1718. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1719. 713 mul(.(z,.(o,.)),z) | 693 mul(.(z,.(o,.)),z)
  1720. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1721. 714 eq(z,z) | 694 eq(z,z)
  1722. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1723. 715 mul(.(?x,.(z,.)),z) | 695 mul(.(?x,.(z,.)),z)
  1724. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1725. 716 eq(z,z) | 696 eq(z,z)
  1726. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1727. 717 add(.(z,.(z,.)),z) | 697 add(.(z,.(z,.)),z)
  1728. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1729. 718 add(.(z,.(z,.)),z) | 698 add(.(z,.(z,.)),z)
  1730. PUSH QUEUE PUSH QUEUE
  1731. 719 {} | 699 {}
  1732. 720 add(.(z,.(z,.)),?z) | 700 add(.(z,.(z,.)),?z)
  1733. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1734. 721 add(.(z,.(z,.)),?z) | 701 add(.(z,.(z,.)),?z)
  1735. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1736. 722 add(.(z,.(z,.)),z) | 702 add(.(z,.(z,.)),z)
  1737. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1738. 723 eq(z,z) | 703 eq(z,z)
  1739. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1740. 724 mul(.(?x,.(z,.)),z) | 704 mul(.(?x,.(z,.)),z)
  1741. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1742. 725 eq(z,z) | 705 eq(z,z)
  1743. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1744. 726 mul(.(z,.(o,.)),z) | 706 mul(.(z,.(o,.)),z)
  1745. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1746. 727 mul(.(o,.(z,.)),z) | 707 mul(.(o,.(z,.)),z)
  1747. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1748. 728 mul(.(z,.(o,.)),z) | 708 mul(.(z,.(o,.)),z)
  1749. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1750. 729 eq(z,z) | 709 eq(z,z)
  1751. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1752. 730 add(.(z,.(z,.)),z) | 710 add(.(z,.(z,.)),z)
  1753. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1754. 731 add(.(z,.(z,.)),z) | 711 add(.(z,.(z,.)),z)
  1755. PUSH QUEUE PUSH QUEUE
  1756. 732 {} | 712 {}
  1757. 733 add(.(z,.(z,.)),?z) | 713 add(.(z,.(z,.)),?z)
  1758. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1759. 734 add(.(z,.(z,.)),?z) | 714 add(.(z,.(z,.)),?z)
  1760. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1761. 735 add(.(z,.(z,.)),z) | 715 add(.(z,.(z,.)),z)
  1762. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1763. 736 eq(z,z) | 716 eq(z,z)
  1764. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1765. 737 mul(.(z,.(z,.)),z) | 717 mul(.(z,.(z,.)),z)
  1766. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1767. 738 mul(.(z,.(z,.)),z) | 718 mul(.(z,.(z,.)),z)
  1768. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1769. 739 eq(z,z) | 719 eq(z,z)
  1770. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1771. 740 mul(.(o,.(z,.)),z) | 720 mul(.(o,.(z,.)),z)
  1772. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1773. 741 mul(.(z,.(o,.)),z) | 721 mul(.(z,.(o,.)),z)
  1774. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1775. 742 eq(z,z) | 722 eq(z,z)
  1776. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1777. 743 add(.(z,.(z,.)),z) | 723 add(.(z,.(z,.)),z)
  1778. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1779. 744 add(.(z,.(z,.)),z) | 724 add(.(z,.(z,.)),z)
  1780. PUSH QUEUE PUSH QUEUE
  1781. 745 {} | 725 {}
  1782. 746 add(.(z,.(z,.)),?z) | 726 add(.(z,.(z,.)),?z)
  1783. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1784. 747 add(.(z,.(z,.)),?z) | 727 add(.(z,.(z,.)),?z)
  1785. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1786. 748 add(.(z,.(z,.)),z) | 728 add(.(z,.(z,.)),z)
  1787. PUSH QUEUE eq(z,z) <
  1788. 749 eq(z,z) <
  1789. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1790. 750 mul(.(z,.(o,.)),z) <
  1791. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1792. 751 mul(.(o,.(z,.)),z) <
  1793. PUSH QUEUE eq(z,z) <
  1794. 752 eq(z,z) <
  1795. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1796. 753 mul(.(o,.(z,.)),z) <
  1797. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1798. 754 mul(.(z,.(o,.)),z) <
  1799. PUSH QUEUE eq(z,z) <
  1800. 755 eq(z,z) <
  1801. PUSH QUEUE add(.(z,.(z,.)),z) <
  1802. 756 add(.(z,.(z,.)),z) <
  1803. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1804. 757 add(.(z,.(z,.)),z) | 729 add(.(z,.(z,.)),z)
  1805. PUSH QUEUE <
  1806. 758 {} <
  1807. 759 add(.(z,.(z,.)),?z) <
  1808. Tracking back from add(.(?x,.(?y,.)),?z) <
  1809. 760 add(.(z,.(z,.)),?z) <
  1810. Tracking back from eq(?z,?x) <
  1811. 761 add(.(z,.(z,.)),z) <
  1812. PUSH QUEUE add(.(z,.(z,.)),z) <
  1813. 762 add(.(z,.(z,.)),z) <
  1814. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1815. 763 eq(z,z) | 730 eq(z,z)
  1816. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1817. 764 mul(.(o,.(z,.)),z) | 731 mul(.(o,.(z,.)),z)
  1818. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1819. 765 mul(.(z,.(o,.)),z) | 732 mul(.(z,.(o,.)),z)
  1820. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1821. 766 eq(z,z) | 733 eq(z,z)
  1822. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1823. 767 mul(.(z,.(z,.)),z) | 734 mul(.(z,.(z,.)),z)
  1824. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1825. 768 mul(.(z,.(z,.)),z) | 735 mul(.(z,.(z,.)),z)
  1826. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1827. 769 eq(z,z) | 736 eq(z,z)
  1828. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1829. 770 add(.(z,.(z,.)),z) | 737 add(.(z,.(z,.)),z)
  1830. PUSH QUEUE PUSH QUEUE
  1831. 771 {} | 738 {}
  1832. 772 add(.(z,.(z,.)),?z) | 739 add(.(z,.(z,.)),?z)
  1833. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1834. 773 add(.(z,.(z,.)),?z) | 740 add(.(z,.(z,.)),?z)
  1835. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1836. 774 add(.(z,.(z,.)),z) | 741 add(.(z,.(z,.)),z)
  1837. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1838. 775 add(.(z,.(z,.)),z) | 742 add(.(z,.(z,.)),z)
  1839. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1840. 776 eq(z,z) | 743 eq(z,z)
  1841. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1842. 777 mul(.(o,.(z,.)),z) | 744 mul(.(o,.(z,.)),z)
  1843. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1844. 778 mul(.(z,.(o,.)),z) | 745 mul(.(z,.(o,.)),z)
  1845. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1846. 779 eq(z,z) | 746 eq(z,z)
  1847. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1848. 780 mul(.(z,.(o,.)),z) | 747 mul(.(z,.(o,.)),z)
  1849. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1850. 781 mul(.(o,.(z,.)),z) | 748 mul(.(o,.(z,.)),z)
  1851. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1852. 782 eq(z,z) | 749 eq(z,z)
  1853. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1854. 783 add(.(z,.(z,.)),z) | 750 add(.(z,.(z,.)),z)
  1855. PUSH QUEUE PUSH QUEUE
  1856. 784 {} | 751 {}
  1857. 785 add(.(z,.(z,.)),?z) | 752 add(.(z,.(z,.)),?z)
  1858. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1859. 786 add(.(z,.(z,.)),?z) | 753 add(.(z,.(z,.)),?z)
  1860. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1861. 787 add(.(z,.(z,.)),z) | 754 add(.(z,.(z,.)),z)
  1862. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1863. 788 add(.(z,.(z,.)),z) | 755 add(.(z,.(z,.)),z)
  1864. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1865. 789 eq(z,z) | 756 eq(z,z)
  1866. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1867. 790 mul(.(z,.(o,.)),z) | 757 mul(.(z,.(o,.)),z)
  1868. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1869. 791 mul(.(o,.(z,.)),z) | 758 mul(.(o,.(z,.)),z)
  1870. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1871. 792 mul(.(z,.(o,.)),z) | 759 mul(.(z,.(o,.)),z)
  1872. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1873. 793 eq(z,z) | 760 eq(z,z)
  1874. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1875. 794 mul(.(?x,.(z,.)),z) | 761 mul(.(?x,.(z,.)),z)
  1876. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1877. 795 eq(z,z) | 762 eq(z,z)
  1878. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1879. 796 add(.(z,.(z,.)),z) | 763 add(.(z,.(z,.)),z)
  1880. PUSH QUEUE PUSH QUEUE
  1881. 797 {} | 764 {}
  1882. 798 add(.(z,.(z,.)),?z) | 765 add(.(z,.(z,.)),?z)
  1883. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1884. 799 add(.(z,.(z,.)),?z) | 766 add(.(z,.(z,.)),?z)
  1885. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1886. 800 add(.(z,.(z,.)),z) | 767 add(.(z,.(z,.)),z)
  1887. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1888. 801 add(.(z,.(z,.)),z) | 768 add(.(z,.(z,.)),z)
  1889. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1890. 802 eq(z,z) | 769 eq(z,z)
  1891. PUSH QUEUE mul(.(?x,.(z,.)),z) PUSH QUEUE mul(.(?x,.(z,.)),z)
  1892. 803 mul(.(?x,.(z,.)),z) | 770 mul(.(?x,.(z,.)),z)
  1893. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1894. 804 eq(z,z) | 771 eq(z,z)
  1895. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1896. 805 mul(.(z,.(o,.)),z) | 772 mul(.(z,.(o,.)),z)
  1897. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1898. 806 mul(.(o,.(z,.)),z) | 773 mul(.(o,.(z,.)),z)
  1899. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1900. 807 mul(.(z,.(o,.)),z) | 774 mul(.(z,.(o,.)),z)
  1901. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1902. 808 eq(z,z) | 775 eq(z,z)
  1903. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1904. 809 add(.(z,.(z,.)),z) | 776 add(.(z,.(z,.)),z)
  1905. PUSH QUEUE PUSH QUEUE
  1906. 810 {} | 777 {}
  1907. 811 add(.(z,.(z,.)),?z) | 778 add(.(z,.(z,.)),?z)
  1908. Tracking back from add(.(?x,.(?y,.)),?z) Tracking back from add(.(?x,.(?y,.)),?z)
  1909. 812 add(.(z,.(z,.)),?z) | 779 add(.(z,.(z,.)),?z)
  1910. Tracking back from eq(?z,?x) Tracking back from eq(?z,?x)
  1911. 813 add(.(z,.(z,.)),z) | 780 add(.(z,.(z,.)),z)
  1912. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1913. 814 add(.(z,.(z,.)),z) | 781 add(.(z,.(z,.)),z)
  1914. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1915. 815 eq(z,z) | 782 eq(z,z)
  1916. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1917. 816 mul(.(z,.(z,.)),z) | 783 mul(.(z,.(z,.)),z)
  1918. PUSH QUEUE mul(.(z,.(z,.)),z) PUSH QUEUE mul(.(z,.(z,.)),z)
  1919. 817 mul(.(z,.(z,.)),z) | 784 mul(.(z,.(z,.)),z)
  1920. PUSH QUEUE eq(z,z) <
  1921. 818 eq(z,z) <
  1922. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1923. 819 mul(.(o,.(z,.)),z) <
  1924. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1925. 820 mul(.(z,.(o,.)),z) <
  1926. PUSH QUEUE eq(z,z) <
  1927. 821 eq(z,z) <
  1928. PUSH QUEUE add(.(z,.(z,.)),z) <
  1929. 822 add(.(z,.(z,.)),z) <
  1930. PUSH QUEUE <
  1931. 823 {} <
  1932. 824 add(.(z,.(z,.)),?z) <
  1933. Tracking back from add(.(?x,.(?y,.)),?z) <
  1934. 825 add(.(z,.(z,.)),?z) <
  1935. Tracking back from eq(?z,?x) <
  1936. 826 add(.(z,.(z,.)),z) <
  1937. PUSH QUEUE add(.(z,.(z,.)),z) <
  1938. 827 add(.(z,.(z,.)),z) <
  1939. PUSH QUEUE eq(z,z) <
  1940. 828 eq(z,z) <
  1941. PUSH QUEUE mul(.(z,.(o,.)),z) <
  1942. 829 mul(.(z,.(o,.)),z) <
  1943. PUSH QUEUE mul(.(o,.(z,.)),z) <
  1944. 830 mul(.(o,.(z,.)),z) <
  1945. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1946. 831 eq(z,z) | 785 eq(z,z)
  1947. PUSH QUEUE mul(.(o,.(z,.)),z) PUSH QUEUE mul(.(o,.(z,.)),z)
  1948. 832 mul(.(o,.(z,.)),z) | 786 mul(.(o,.(z,.)),z)
  1949. PUSH QUEUE mul(.(z,.(o,.)),z) PUSH QUEUE mul(.(z,.(o,.)),z)
  1950. 833 mul(.(z,.(o,.)),z) | 787 mul(.(z,.(o,.)),z)
  1951. PUSH QUEUE eq(z,z) PUSH QUEUE eq(z,z)
  1952. 834 eq(z,z) | 788 eq(z,z)
  1953. PUSH QUEUE add(.(z,.(z,.)),z) PUSH QUEUE add(.(z,.(z,.)),z)
  1954. 835 add(.(z,.(z,.)),z) | 789 add(.(z,.(z,.)),z)
  1955. PUSH QUEUE PUSH QUEUE
  1956. 836 {} | 790 {}
  1957. elapsed: 176.199ms steps: 836 | FAIL
  1958. Ready. <
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!