API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Aug 3rd, 2015
186
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 45.60 KB | None | 0 0
raw download clone embed print report
  1. /* jshint unused:false */
  2.  
  3. 'use strict';
  4.  
  5. var _R; // Return register
  6.  
  7. var _S = []; // Stack frame data
  8. var _SP = 0; // Beginning of current stack frame
  9. var _SQ = 0; // End of current stack frame
  10. var _SR = 0; // Current stack frame reference
  11. var _PSP = []; // Beginnings of previous stack frames
  12.  
  13. var _A = []; // Array frame data
  14. var _AP = 0; // Beginning of current array frame
  15.  
  16.  
  17. _A[0] = 0;
  18. _A[1] = 1;
  19. _A[2] = 2;
  20. _A[3] = 65623;
  21. _A[4] = 65624;
  22. _A[5] = 65625;
  23. _A[6] = 65629;
  24. _A[7] = 65630;
  25. _A[8] = 65633;
  26. _A[9] = 65635;
  27. _A[10] = 65639;
  28. _A[11] = 65640;
  29. _A[12] = 65641;
  30. _A[13] = 65643;
  31. _A[14] = 65645;
  32. _A[15] = 65648;
  33. _A[16] = 65649;
  34. _A[17] = 65650;
  35. _A[18] = 65651;
  36. _A[19] = 65652;
  37. _A[20] = 65657;
  38. _AP = 21;
  39.  
  40.  
  41. function idris_Prelude_46_List_46__43__43_() {
  42. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  43. _S[_SP] = arguments[0];
  44. _S[_SP + 1] = arguments[1];
  45. _S[_SP + 2] = arguments[2];
  46. _SQ = _SP + 6;
  47. switch (_A[_S[_SP + 1]]) {
  48. case 1:
  49. _S[_SP + 3] = _A[_S[_SP + 1] + 1];
  50. _S[_SP + 4] = _A[_S[_SP + 1] + 2];
  51. _S[_SP + 5] = 0;
  52. idris_Prelude_46_List_46__43__43_(_S[_SP + 5], _S[_SP + 4], _S[_SP + 2]);
  53. _S[_SP + 5] = _R;
  54. _A[_AP] = 1;
  55. _A[_AP + 1] = _S[_SP + 3];
  56. _A[_AP + 2] = _S[_SP + 5];
  57. _R = _AP;
  58. _AP += 3;
  59. break;
  60. case 0:
  61. _R = _S[_SP + 2];
  62. }
  63. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  64. }
  65.  
  66.  
  67. function idris_Prelude_46_Basics_46__46_() {
  68. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  69. _S[_SP] = arguments[0];
  70. _S[_SP + 1] = arguments[1];
  71. _S[_SP + 2] = arguments[2];
  72. _S[_SP + 3] = arguments[3];
  73. _S[_SP + 4] = arguments[4];
  74. _S[_SP + 5] = arguments[5];
  75. _SQ = _SP + 7;
  76. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 5]);
  77. _S[_SP + 6] = _R;
  78. idris__123_APPLY0_125_(_S[_SP + 3], _S[_SP + 6]);
  79. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  80. }
  81.  
  82.  
  83. function idris_Prelude_46_Classes_46__60_() {
  84. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  85. _S[_SP] = arguments[0];
  86. _S[_SP + 1] = arguments[1];
  87. _SQ = _SP + 4;
  88. switch (_A[_S[_SP + 1]]) {
  89. case 0:
  90. _S[_SP + 2] = _A[_S[_SP + 1] + 1];
  91. _S[_SP + 3] = _A[_S[_SP + 1] + 2];
  92. _R = _S[_SP + 3];
  93. }
  94. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  95. }
  96.  
  97.  
  98. function idris_Prelude_46_Algebra_46__60__43__62_() {
  99. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  100. _S[_SP] = arguments[0];
  101. _S[_SP + 1] = arguments[1];
  102. _SQ = _SP + 2;
  103. _R = _S[_SP + 1];
  104. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  105. }
  106.  
  107.  
  108. function idris__64__64_constructor_32_of_32_Prelude_46_Algebra_46_Monoid_35_Semigroup_32_a() {
  109. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  110. _S[_SP] = arguments[0];
  111. _S[_SP + 1] = arguments[1];
  112. _SQ = _SP + 4;
  113. switch (_A[_S[_SP + 1]]) {
  114. case 0:
  115. _S[_SP + 2] = _A[_S[_SP + 1] + 1];
  116. _S[_SP + 3] = _A[_S[_SP + 1] + 2];
  117. _R = _S[_SP + 2];
  118. }
  119. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  120. }
  121.  
  122.  
  123. function idris__64__64_constructor_32_of_32_Prelude_46_Applicative_46_Alternative_35_Applicative_32_f() {
  124. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  125. _S[_SP] = arguments[0];
  126. _S[_SP + 1] = arguments[1];
  127. _SQ = _SP + 4;
  128. switch (_A[_S[_SP + 1]]) {
  129. case 0:
  130. _S[_SP + 2] = _A[_S[_SP + 1] + 1];
  131. _S[_SP + 3] = _A[_S[_SP + 1] + 2];
  132. _R = _S[_SP + 2];
  133. }
  134. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  135. }
  136.  
  137.  
  138. function idris_Force() {
  139. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  140. _S[_SP] = arguments[0];
  141. _S[_SP + 1] = arguments[1];
  142. _S[_SP + 2] = arguments[2];
  143. _SQ = _SP + 4;
  144. idris__123_EVAL0_125_(_S[_SP + 2]);
  145. _S[_SP + 3] = _R;
  146. _R = _S[_SP + 3];
  147. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  148. }
  149.  
  150.  
  151. function idris_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c() {
  152. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  153. _S[_SP] = arguments[0];
  154. _SQ = _SP + 4;
  155. _S[_SP + 1] = 0;
  156. _S[_SP + 2] = 0;
  157. _S[_SP + 3] = 19;
  158. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0(_S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP]);
  159. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  160. }
  161.  
  162.  
  163. function idris_call_95__95_IO() {
  164. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  165. _S[_SP] = arguments[0];
  166. _S[_SP + 1] = arguments[1];
  167. _S[_SP + 2] = arguments[2];
  168. _SQ = _SP + 4;
  169. _S[_SP + 3] = 0;
  170. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP + 3]);
  171. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  172. }
  173.  
  174.  
  175. function idris_Prelude_46_Classes_46_compare() {
  176. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  177. _S[_SP] = arguments[0];
  178. _S[_SP + 1] = arguments[1];
  179. _SQ = _SP + 4;
  180. switch (_A[_S[_SP + 1]]) {
  181. case 0:
  182. _S[_SP + 2] = _A[_S[_SP + 1] + 1];
  183. _S[_SP + 3] = _A[_S[_SP + 1] + 2];
  184. _R = _S[_SP + 2];
  185. }
  186. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  187. }
  188.  
  189.  
  190. function idris_Prelude_46_Foldable_46_concatMap() {
  191. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  192. _S[_SP] = arguments[0];
  193. _S[_SP + 1] = arguments[1];
  194. _S[_SP + 2] = arguments[2];
  195. _S[_SP + 3] = arguments[3];
  196. _S[_SP + 4] = arguments[4];
  197. _S[_SP + 5] = arguments[5];
  198. _SQ = _SP + 12;
  199. _S[_SP + 6] = 0;
  200. _S[_SP + 7] = 0;
  201. _S[_SP + 8] = 0;
  202. idris_Prelude_46_Foldable_46_foldr(_S[_SP + 6], _S[_SP + 7], _S[_SP + 8], _S[_SP + 3]);
  203. _S[_SP + 6] = _R;
  204. _S[_SP + 7] = 0;
  205. _S[_SP + 8] = 0;
  206. _S[_SP + 9] = 0;
  207. switch (_A[_S[_SP + 4]]) {
  208. case 0:
  209. _S[_SP + 10] = _A[_S[_SP + 4] + 1];
  210. _S[_SP + 11] = _A[_S[_SP + 4] + 2];
  211. _S[_SP + 10] = _S[_SP + 10];
  212. }
  213. _A[_AP] = 65631;
  214. _A[_AP + 1] = _S[_SP + 7];
  215. _A[_AP + 2] = _S[_SP + 8];
  216. _A[_AP + 3] = _S[_SP + 9];
  217. _A[_AP + 4] = _S[_SP + 10];
  218. _A[_AP + 5] = _S[_SP + 5];
  219. _S[_SP + 7] = _AP;
  220. _AP += 6;
  221. idris__123_APPLY0_125_(_S[_SP + 6], _S[_SP + 7]);
  222. _S[_SP + 6] = _R;
  223. switch (_A[_S[_SP + 4]]) {
  224. case 0:
  225. _S[_SP + 7] = _A[_S[_SP + 4] + 1];
  226. _S[_SP + 8] = _A[_S[_SP + 4] + 2];
  227. _S[_SP + 7] = _S[_SP + 8];
  228. }
  229. idris__123_APPLY0_125_(_S[_SP + 6], _S[_SP + 7]);
  230. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  231. }
  232.  
  233.  
  234. function idris_Prelude_46_Applicative_46_empty() {
  235. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  236. _S[_SP] = arguments[0];
  237. _S[_SP + 1] = arguments[1];
  238. _S[_SP + 2] = arguments[2];
  239. _SQ = _SP + 5;
  240. switch (_A[_S[_SP + 2]]) {
  241. case 0:
  242. _S[_SP + 3] = _A[_S[_SP + 2] + 1];
  243. _S[_SP + 4] = _A[_S[_SP + 2] + 2];
  244. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 1]);
  245. }
  246. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  247. }
  248.  
  249.  
  250. function idris_Prelude_46_Foldable_46_foldr() {
  251. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  252. _S[_SP] = arguments[0];
  253. _S[_SP + 1] = arguments[1];
  254. _S[_SP + 2] = arguments[2];
  255. _S[_SP + 3] = arguments[3];
  256. _SQ = _SP + 5;
  257. idris__123_APPLY0_125_(_S[_SP + 3], _S[_SP + 1]);
  258. _S[_SP + 4] = _R;
  259. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 2]);
  260. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  261. }
  262.  
  263.  
  264. function idris_Prelude_46_Applicative_46_guard() {
  265. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  266. _S[_SP] = arguments[0];
  267. _S[_SP + 1] = arguments[1];
  268. _S[_SP + 2] = arguments[2];
  269. _SQ = _SP + 7;
  270. switch (_A[_S[_SP + 2]]) {
  271. case 0:
  272. switch (_A[_S[_SP + 1]]) {
  273. case 0:
  274. _S[_SP + 3] = _A[_S[_SP + 1] + 1];
  275. _S[_SP + 4] = _A[_S[_SP + 1] + 2];
  276. _S[_SP + 5] = 0;
  277. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 5]);
  278. }
  279. break;
  280. case 1:
  281. _S[_SP + 3] = 0;
  282. _S[_SP + 4] = 0;
  283. switch (_A[_S[_SP + 1]]) {
  284. case 0:
  285. _S[_SP + 5] = _A[_S[_SP + 1] + 1];
  286. _S[_SP + 6] = _A[_S[_SP + 1] + 2];
  287. _S[_SP + 5] = _S[_SP + 5];
  288. }
  289. idris_Prelude_46_Applicative_46_pure(_S[_SP + 3], _S[_SP + 4], _S[_SP + 5]);
  290. _S[_SP + 3] = _R;
  291. _S[_SP + 4] = 0;
  292. idris__123_APPLY0_125_(_S[_SP + 3], _S[_SP + 4]);
  293. }
  294. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  295. }
  296.  
  297.  
  298. function idris_Prelude_46_Bool_46_ifThenElse() {
  299. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  300. _S[_SP] = arguments[0];
  301. _S[_SP + 1] = arguments[1];
  302. _S[_SP + 2] = arguments[2];
  303. _S[_SP + 3] = arguments[3];
  304. _SQ = _SP + 4;
  305. switch (_A[_S[_SP + 1]]) {
  306. case 0:
  307. idris__123_EVAL0_125_(_S[_SP + 3]);
  308. break;
  309. case 1:
  310. idris__123_EVAL0_125_(_S[_SP + 2]);
  311. }
  312. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  313. }
  314.  
  315.  
  316. function idris_Prelude_46_Classes_46_intToBool() {
  317. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  318. _S[_SP] = arguments[0];
  319. _SQ = _SP + 1;
  320. switch (_S[_SP]) {
  321. case 0:
  322. _R = 0;
  323. break;
  324. default:
  325. _R = 1;
  326. }
  327. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  328. }
  329.  
  330.  
  331. function idris_io_95_bind() {
  332. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  333. _S[_SP] = arguments[0];
  334. _S[_SP + 1] = arguments[1];
  335. _S[_SP + 2] = arguments[2];
  336. _S[_SP + 3] = arguments[3];
  337. _S[_SP + 4] = arguments[4];
  338. _S[_SP + 5] = arguments[5];
  339. _SQ = _SP + 8;
  340. idris__123_io_95_bind2_125_(_S[_SP], _S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5]);
  341. _S[_SP + 6] = _R;
  342. idris__123_APPLY0_125_(_S[_SP + 3], _S[_SP + 5]);
  343. _S[_SP + 7] = _R;
  344. idris__123_APPLY0_125_(_S[_SP + 6], _S[_SP + 7]);
  345. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  346. }
  347.  
  348.  
  349. function idris_io_95_return() {
  350. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  351. _S[_SP] = arguments[0];
  352. _S[_SP + 1] = arguments[1];
  353. _S[_SP + 2] = arguments[2];
  354. _S[_SP + 3] = arguments[3];
  355. _SQ = _SP + 4;
  356. _R = _S[_SP + 2];
  357. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  358. }
  359.  
  360.  
  361. function idris_Main_46_main() {
  362. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  363. _SQ = _SP + 3;
  364. _S[_SP] = 0;
  365. _S[_SP + 1] = 0;
  366. _S[_SP + 2] = 7;
  367. idris_Prelude_46_show(_S[_SP + 1], _S[_SP + 2]);
  368. _S[_SP + 1] = _R;
  369. _S[_SP + 2] = 15;
  370. idris_Main_46_pythag(_S[_SP + 2]);
  371. _S[_SP + 2] = _R;
  372. idris__123_APPLY0_125_(_S[_SP + 1], _S[_SP + 2]);
  373. _S[_SP + 1] = _R;
  374. idris_Prelude_46_putStr(_S[_SP], _S[_SP + 1]);
  375. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  376. }
  377.  
  378.  
  379. function idris_mkForeignPrim() {
  380. _R = 0;
  381. }
  382.  
  383.  
  384. function idris_Prelude_46_Algebra_46_neutral() {
  385. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  386. _S[_SP] = arguments[0];
  387. _S[_SP + 1] = arguments[1];
  388. _SQ = _SP + 4;
  389. switch (_A[_S[_SP + 1]]) {
  390. case 0:
  391. _S[_SP + 2] = _A[_S[_SP + 1] + 1];
  392. _S[_SP + 3] = _A[_S[_SP + 1] + 2];
  393. _R = _S[_SP + 3];
  394. }
  395. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  396. }
  397.  
  398.  
  399. function idris_prim_95__95_addInt() {
  400. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  401. _S[_SP] = arguments[0];
  402. _S[_SP + 1] = arguments[1];
  403. _SQ = _SP + 2;
  404. _R = _S[_SP] + _S[_SP + 1];
  405. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  406. }
  407.  
  408.  
  409. function idris_prim_95__95_concat() {
  410. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  411. _S[_SP] = arguments[0];
  412. _S[_SP + 1] = arguments[1];
  413. _SQ = _SP + 2;
  414. _R = _S[_SP] + _S[_SP + 1];
  415. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  416. }
  417.  
  418.  
  419. function idris_prim_95__95_eqInt() {
  420. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  421. _S[_SP] = arguments[0];
  422. _S[_SP + 1] = arguments[1];
  423. _SQ = _SP + 2;
  424. _R = (_S[_SP] === _S[_SP + 1]) ? 1 : 0;
  425. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  426. }
  427.  
  428.  
  429. function idris_prim_95__95_mulInt() {
  430. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  431. _S[_SP] = arguments[0];
  432. _S[_SP + 1] = arguments[1];
  433. _SQ = _SP + 2;
  434. _R = _S[_SP] * _S[_SP + 1];
  435. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  436. }
  437.  
  438.  
  439. function idris_prim_95__95_null() {
  440. console.error('Operator LExternal prim__null is not supported');
  441. }
  442.  
  443.  
  444. function idris_prim_95__95_readFile() {
  445. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  446. _S[_SP] = arguments[0];
  447. _S[_SP + 1] = arguments[1];
  448. _SQ = _SP + 2;
  449. console.error('Operator LExternal prim__readFile is not supported');
  450. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  451. }
  452.  
  453.  
  454. function idris_prim_95__95_registerPtr() {
  455. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  456. _S[_SP] = arguments[0];
  457. _S[_SP + 1] = arguments[1];
  458. _SQ = _SP + 2;
  459. console.error('Operator LExternal prim__registerPtr is not supported');
  460. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  461. }
  462.  
  463.  
  464. function idris_prim_95__95_sextInt_95_BigInt() {
  465. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  466. _S[_SP] = arguments[0];
  467. _SQ = _SP + 1;
  468. _R = _S[_SP];
  469. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  470. }
  471.  
  472.  
  473. function idris_prim_95__95_sltInt() {
  474. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  475. _S[_SP] = arguments[0];
  476. _S[_SP + 1] = arguments[1];
  477. _SQ = _SP + 2;
  478. _R = (_S[_SP] < _S[_SP + 1]) ? 1 : 0;
  479. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  480. }
  481.  
  482.  
  483. function idris_prim_95__95_stderr() {
  484. console.error('Operator LExternal prim__stderr is not supported');
  485. }
  486.  
  487.  
  488. function idris_prim_95__95_stdin() {
  489. console.error('Operator LExternal prim__stdin is not supported');
  490. }
  491.  
  492.  
  493. function idris_prim_95__95_stdout() {
  494. console.error('Operator LExternal prim__stdout is not supported');
  495. }
  496.  
  497.  
  498. function idris_prim_95__95_subInt() {
  499. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  500. _S[_SP] = arguments[0];
  501. _S[_SP + 1] = arguments[1];
  502. _SQ = _SP + 2;
  503. _R = _S[_SP] - _S[_SP + 1];
  504. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  505. }
  506.  
  507.  
  508. function idris_prim_95__95_toStrInt() {
  509. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  510. _S[_SP] = arguments[0];
  511. _SQ = _SP + 1;
  512. _R = '' + _S[_SP];
  513. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  514. }
  515.  
  516.  
  517. function idris_prim_95__95_vm() {
  518. console.error('Operator LExternal prim__vm is not supported');
  519. }
  520.  
  521.  
  522. function idris_prim_95__95_writeFile() {
  523. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  524. _S[_SP] = arguments[0];
  525. _S[_SP + 1] = arguments[1];
  526. _S[_SP + 2] = arguments[2];
  527. _SQ = _SP + 3;
  528. console.error('Operator LExternal prim__writeFile is not supported');
  529. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  530. }
  531.  
  532.  
  533. function idris_prim_95__95_writeString() {
  534. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  535. _S[_SP] = arguments[0];
  536. _S[_SP + 1] = arguments[1];
  537. _SQ = _SP + 2;
  538. console.log(_S[_SP + 1]);
  539. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  540. }
  541.  
  542.  
  543. function idris_prim_95_io_95_bind() {
  544. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  545. _S[_SP] = arguments[0];
  546. _S[_SP + 1] = arguments[1];
  547. _S[_SP + 2] = arguments[2];
  548. _S[_SP + 3] = arguments[3];
  549. _SQ = _SP + 4;
  550. idris__123_APPLY0_125_(_S[_SP + 3], _S[_SP + 2]);
  551. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  552. }
  553.  
  554.  
  555. function idris_Prelude_46_Applicative_46_pure() {
  556. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  557. _S[_SP] = arguments[0];
  558. _S[_SP + 1] = arguments[1];
  559. _S[_SP + 2] = arguments[2];
  560. _SQ = _SP + 3;
  561. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP + 1]);
  562. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  563. }
  564.  
  565.  
  566. function idris_Prelude_46_putStr() {
  567. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  568. _S[_SP] = arguments[0];
  569. _S[_SP + 1] = arguments[1];
  570. _SQ = _SP + 7;
  571. _S[_SP + 2] = 0;
  572. _S[_SP + 3] = 0;
  573. _S[_SP + 4] = 0;
  574. _A[_AP] = 65644;
  575. _A[_AP + 1] = _S[_SP + 1];
  576. _S[_SP + 5] = _AP;
  577. _AP += 2;
  578. _S[_SP + 6] = 14;
  579. _A[_AP] = 65646;
  580. _A[_AP + 1] = _S[_SP + 2];
  581. _A[_AP + 2] = _S[_SP + 3];
  582. _A[_AP + 3] = _S[_SP + 4];
  583. _A[_AP + 4] = _S[_SP + 5];
  584. _A[_AP + 5] = _S[_SP + 6];
  585. _R = _AP;
  586. _AP += 6;
  587. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  588. }
  589.  
  590.  
  591. function idris_Main_46_pythag() {
  592. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  593. _S[_SP] = arguments[0];
  594. _SQ = _SP + 5;
  595. _S[_SP + 1] = 0;
  596. _S[_SP + 2] = 0;
  597. _S[_SP + 3] = 1;
  598. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0(_S[_SP + 3], _S[_SP]);
  599. _S[_SP + 3] = _R;
  600. _S[_SP + 4] = 6;
  601. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0(_S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4]);
  602. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  603. }
  604.  
  605.  
  606. function idris_run_95__95_IO() {
  607. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  608. _S[_SP] = arguments[0];
  609. _S[_SP + 1] = arguments[1];
  610. _SQ = _SP + 3;
  611. _S[_SP + 2] = 0;
  612. idris__123_APPLY0_125_(_S[_SP + 1], _S[_SP + 2]);
  613. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  614. }
  615.  
  616.  
  617. function idris_Prelude_46_show() {
  618. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  619. _S[_SP] = arguments[0];
  620. _S[_SP + 1] = arguments[1];
  621. _SQ = _SP + 2;
  622. _R = _S[_SP + 1];
  623. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  624. }
  625.  
  626.  
  627. function idris_unsafePerformPrimIO() {
  628. _R = 0;
  629. }
  630.  
  631.  
  632. function idris_world() {
  633. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  634. _S[_SP] = arguments[0];
  635. _SQ = _SP + 1;
  636. _R = _S[_SP];
  637. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  638. }
  639.  
  640.  
  641. function idris_Prelude_46_Bool_46__124__124_() {
  642. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  643. _S[_SP] = arguments[0];
  644. _S[_SP + 1] = arguments[1];
  645. _SQ = _SP + 2;
  646. switch (_A[_S[_SP]]) {
  647. case 0:
  648. idris__123_EVAL0_125_(_S[_SP + 1]);
  649. break;
  650. case 1:
  651. _R = 1;
  652. }
  653. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  654. }
  655.  
  656.  
  657. function idris__123_APPLY0_125_() {
  658. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  659. _S[_SP] = arguments[0];
  660. _S[_SP + 1] = arguments[1];
  661. _SQ = _SP + 8;
  662. switch (_A[_S[_SP]]) {
  663. case 65623:
  664. idris_Main_46__123_pythag0_125_(_S[_SP + 1]);
  665. break;
  666. case 65624:
  667. idris_Main_46__123_pythag1_125_(_S[_SP + 1]);
  668. break;
  669. case 65625:
  670. idris_Main_46__123_pythag2_125_(_S[_SP + 1]);
  671. break;
  672. case 65626:
  673. _S[_SP + 2] = _A[_S[_SP] + 1];
  674. _S[_SP + 3] = _A[_S[_SP] + 2];
  675. _S[_SP + 4] = _A[_S[_SP] + 3];
  676. idris_Main_46__123_pythag3_125_(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 1]);
  677. break;
  678. case 65627:
  679. _S[_SP + 2] = _A[_S[_SP] + 1];
  680. _S[_SP + 3] = _A[_S[_SP] + 2];
  681. idris_Main_46__123_pythag4_125_(_S[_SP + 2], _S[_SP + 3], _S[_SP + 1]);
  682. break;
  683. case 65628:
  684. _S[_SP + 2] = _A[_S[_SP] + 1];
  685. idris_Main_46__123_pythag5_125_(_S[_SP + 2], _S[_SP + 1]);
  686. break;
  687. case 65629:
  688. idris_Main_46__123_pythag6_125_(_S[_SP + 1]);
  689. break;
  690. case 65630:
  691. idris_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c(_S[_SP + 1]);
  692. break;
  693. case 65631:
  694. _S[_SP + 2] = _A[_S[_SP] + 1];
  695. _S[_SP + 3] = _A[_S[_SP] + 2];
  696. _S[_SP + 4] = _A[_S[_SP] + 3];
  697. _S[_SP + 5] = _A[_S[_SP] + 4];
  698. _S[_SP + 6] = _A[_S[_SP] + 5];
  699. idris_Prelude_46_Basics_46__46_(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP + 1]);
  700. break;
  701. case 65632:
  702. _S[_SP + 2] = _A[_S[_SP] + 1];
  703. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam0_125_(_S[_SP + 2], _S[_SP + 1]);
  704. break;
  705. case 65633:
  706. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam1_125_(_S[_SP + 1]);
  707. break;
  708. case 65634:
  709. _S[_SP + 2] = _A[_S[_SP] + 1];
  710. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_(_S[_SP + 2], _S[_SP + 1]);
  711. break;
  712. case 65635:
  713. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam3_125_(_S[_SP + 1]);
  714. break;
  715. case 65636:
  716. _S[_SP + 2] = _A[_S[_SP] + 1];
  717. _S[_SP + 3] = _A[_S[_SP] + 2];
  718. _S[_SP + 4] = _A[_S[_SP] + 3];
  719. _S[_SP + 5] = _A[_S[_SP] + 4];
  720. idris_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 1]);
  721. break;
  722. case 65637:
  723. _S[_SP + 2] = _A[_S[_SP] + 1];
  724. _S[_SP + 3] = _A[_S[_SP] + 2];
  725. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam0_125_(_S[_SP + 2], _S[_SP + 3], _S[_SP + 1]);
  726. break;
  727. case 65638:
  728. _S[_SP + 2] = _A[_S[_SP] + 1];
  729. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam1_125_(_S[_SP + 2], _S[_SP + 1]);
  730. break;
  731. case 65639:
  732. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam2_125_(_S[_SP + 1]);
  733. break;
  734. case 65640:
  735. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam3_125_(_S[_SP + 1]);
  736. break;
  737. case 65641:
  738. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam4_125_(_S[_SP + 1]);
  739. break;
  740. case 65642:
  741. _S[_SP + 2] = _A[_S[_SP] + 1];
  742. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam5_125_(_S[_SP + 2], _S[_SP + 1]);
  743. break;
  744. case 65643:
  745. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam6_125_(_S[_SP + 1]);
  746. break;
  747. case 65644:
  748. _S[_SP + 2] = _A[_S[_SP] + 1];
  749. idris_Prelude_46__123_putStr0_125_(_S[_SP + 2], _S[_SP + 1]);
  750. break;
  751. case 65645:
  752. idris_Prelude_46__123_putStr1_125_(_S[_SP + 1]);
  753. break;
  754. case 65646:
  755. _S[_SP + 2] = _A[_S[_SP] + 1];
  756. _S[_SP + 3] = _A[_S[_SP] + 2];
  757. _S[_SP + 4] = _A[_S[_SP] + 3];
  758. _S[_SP + 5] = _A[_S[_SP] + 4];
  759. _S[_SP + 6] = _A[_S[_SP] + 5];
  760. idris_io_95_bind(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP + 1]);
  761. break;
  762. case 65647:
  763. _S[_SP + 2] = _A[_S[_SP] + 1];
  764. _S[_SP + 3] = _A[_S[_SP] + 2];
  765. _S[_SP + 4] = _A[_S[_SP] + 3];
  766. idris_io_95_return(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 1]);
  767. break;
  768. case 65648:
  769. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c0_125_(_S[_SP + 1]);
  770. break;
  771. case 65649:
  772. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c1_125_(_S[_SP + 1]);
  773. break;
  774. case 65650:
  775. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c2_125_(_S[_SP + 1]);
  776. break;
  777. case 65651:
  778. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c3_125_(_S[_SP + 1]);
  779. break;
  780. case 65652:
  781. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c4_125_(_S[_SP + 1]);
  782. break;
  783. case 65653:
  784. _S[_SP + 2] = _A[_S[_SP] + 1];
  785. _S[_SP + 3] = _A[_S[_SP] + 2];
  786. _S[_SP + 4] = _A[_S[_SP] + 3];
  787. _S[_SP + 5] = _A[_S[_SP] + 4];
  788. _S[_SP + 6] = _A[_S[_SP] + 5];
  789. _S[_SP + 7] = _A[_S[_SP] + 6];
  790. idris__123_io_95_bind1_125_(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP + 7], _S[_SP + 1]);
  791. break;
  792. case 65654:
  793. _S[_SP + 2] = _A[_S[_SP] + 1];
  794. _S[_SP + 3] = _A[_S[_SP] + 2];
  795. _S[_SP + 4] = _A[_S[_SP] + 3];
  796. _A[_AP] = 65636;
  797. _A[_AP + 1] = _S[_SP + 2];
  798. _A[_AP + 2] = _S[_SP + 3];
  799. _A[_AP + 3] = _S[_SP + 4];
  800. _A[_AP + 4] = _S[_SP + 1];
  801. _R = _AP;
  802. _AP += 5;
  803. break;
  804. case 65655:
  805. _S[_SP + 2] = _A[_S[_SP] + 1];
  806. _S[_SP + 3] = _A[_S[_SP] + 2];
  807. _A[_AP] = 65654;
  808. _A[_AP + 1] = _S[_SP + 2];
  809. _A[_AP + 2] = _S[_SP + 3];
  810. _A[_AP + 3] = _S[_SP + 1];
  811. _R = _AP;
  812. _AP += 4;
  813. break;
  814. case 65656:
  815. _S[_SP + 2] = _A[_S[_SP] + 1];
  816. _A[_AP] = 65655;
  817. _A[_AP + 1] = _S[_SP + 2];
  818. _A[_AP + 2] = _S[_SP + 1];
  819. _R = _AP;
  820. _AP += 3;
  821. break;
  822. case 65657:
  823. _A[_AP] = 65656;
  824. _A[_AP + 1] = _S[_SP + 1];
  825. _R = _AP;
  826. _AP += 2;
  827. break;
  828. default:
  829. _R = 0;
  830. }
  831. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  832. }
  833.  
  834.  
  835. function idris__123_EVAL0_125_() {
  836. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  837. _S[_SP] = arguments[0];
  838. _SQ = _SP + 1;
  839. switch (_S[_SP]) {
  840. default:
  841. _R = _S[_SP];
  842. }
  843. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  844. }
  845.  
  846.  
  847. function idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam0_125_() {
  848. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  849. _S[_SP] = arguments[0];
  850. _S[_SP + 1] = arguments[1];
  851. _SQ = _SP + 2;
  852. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33_compare_58_0(_S[_SP], _S[_SP + 1]);
  853. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  854. }
  855.  
  856.  
  857. function idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c0_125_() {
  858. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  859. _S[_SP] = arguments[0];
  860. _SQ = _SP + 1;
  861. _R = '' + _S[_SP];
  862. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  863. }
  864.  
  865.  
  866. function idris_Prelude_46_Classes_46__123_Prelude_46_Classes_46_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_44__32_method_32__60__61__95_lam0_125_() {
  867. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  868. _S[_SP] = arguments[0];
  869. _S[_SP + 1] = arguments[1];
  870. _SQ = _SP + 3;
  871. _S[_SP + 2] = (_S[_SP] === _S[_SP + 1]) ? 1 : 0;
  872. switch (_S[_SP + 2]) {
  873. case 0:
  874. _R = 0;
  875. break;
  876. default:
  877. _R = 1;
  878. }
  879. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  880. }
  881.  
  882.  
  883. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam0_125_() {
  884. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  885. _S[_SP] = arguments[0];
  886. _S[_SP + 1] = arguments[1];
  887. _S[_SP + 2] = arguments[2];
  888. _SQ = _SP + 5;
  889. _S[_SP + 3] = 0;
  890. _S[_SP + 4] = 0;
  891. idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0(_S[_SP + 3], _S[_SP + 4], _S[_SP], _S[_SP + 1], _S[_SP + 2]);
  892. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  893. }
  894.  
  895.  
  896. function idris__123_io_95_bind0_125_() {
  897. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  898. _S[_SP] = arguments[0];
  899. _S[_SP + 1] = arguments[1];
  900. _S[_SP + 2] = arguments[2];
  901. _S[_SP + 3] = arguments[3];
  902. _S[_SP + 4] = arguments[4];
  903. _S[_SP + 5] = arguments[5];
  904. _S[_SP + 6] = arguments[6];
  905. _SQ = _SP + 7;
  906. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 6]);
  907. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  908. }
  909.  
  910.  
  911. function idris_Prelude_46__123_putStr0_125_() {
  912. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  913. _S[_SP] = arguments[0];
  914. _S[_SP + 1] = arguments[1];
  915. _SQ = _SP + 2;
  916. console.log(_S[_SP]);
  917. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  918. }
  919.  
  920.  
  921. function idris_Main_46__123_pythag0_125_() {
  922. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  923. _S[_SP] = arguments[0];
  924. _SQ = _SP + 2;
  925. _S[_SP + 1] = 0;
  926. _A[_AP] = 1;
  927. _A[_AP + 1] = _S[_SP];
  928. _A[_AP + 2] = _S[_SP + 1];
  929. _R = _AP;
  930. _AP += 3;
  931. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  932. }
  933.  
  934.  
  935. function idris__123_runMain0_125_() {
  936. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  937. _SQ = _SP + 2;
  938. idris_Main_46_main();
  939. _S[_SP] = _R;
  940. _S[_SP + 1] = 0;
  941. idris__123_APPLY0_125_(_S[_SP], _S[_SP + 1]);
  942. _S[_SP] = _R;
  943. idris__123_EVAL0_125_(_S[_SP]);
  944. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  945. }
  946.  
  947.  
  948. function idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam1_125_() {
  949. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  950. _S[_SP] = arguments[0];
  951. _SQ = _SP + 1;
  952. _A[_AP] = 65632;
  953. _A[_AP + 1] = _S[_SP];
  954. _R = _AP;
  955. _AP += 2;
  956. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  957. }
  958.  
  959.  
  960. function idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c1_125_() {
  961. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  962. _S[_SP] = arguments[0];
  963. _SQ = _SP + 1;
  964. _R = '' + _S[_SP];
  965. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  966. }
  967.  
  968.  
  969. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam1_125_() {
  970. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  971. _S[_SP] = arguments[0];
  972. _S[_SP + 1] = arguments[1];
  973. _SQ = _SP + 2;
  974. _A[_AP] = 65637;
  975. _A[_AP + 1] = _S[_SP];
  976. _A[_AP + 2] = _S[_SP + 1];
  977. _R = _AP;
  978. _AP += 3;
  979. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  980. }
  981.  
  982.  
  983. function idris__123_io_95_bind1_125_() {
  984. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  985. _S[_SP] = arguments[0];
  986. _S[_SP + 1] = arguments[1];
  987. _S[_SP + 2] = arguments[2];
  988. _S[_SP + 3] = arguments[3];
  989. _S[_SP + 4] = arguments[4];
  990. _S[_SP + 5] = arguments[5];
  991. _S[_SP + 6] = arguments[6];
  992. _SQ = _SP + 8;
  993. idris__123_io_95_bind0_125_(_S[_SP], _S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6]);
  994. _S[_SP + 7] = _R;
  995. idris__123_APPLY0_125_(_S[_SP + 7], _S[_SP + 5]);
  996. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  997. }
  998.  
  999.  
  1000. function idris_Prelude_46__123_putStr1_125_() {
  1001. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1002. _S[_SP] = arguments[0];
  1003. _SQ = _SP + 4;
  1004. _S[_SP + 1] = 0;
  1005. _S[_SP + 2] = 0;
  1006. _S[_SP + 3] = 0;
  1007. _A[_AP] = 65647;
  1008. _A[_AP + 1] = _S[_SP + 1];
  1009. _A[_AP + 2] = _S[_SP + 2];
  1010. _A[_AP + 3] = _S[_SP + 3];
  1011. _R = _AP;
  1012. _AP += 4;
  1013. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1014. }
  1015.  
  1016.  
  1017. function idris_Main_46__123_pythag1_125_() {
  1018. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1019. _S[_SP] = arguments[0];
  1020. _SQ = _SP + 1;
  1021. _R = 3;
  1022. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1023. }
  1024.  
  1025.  
  1026. function idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_() {
  1027. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1028. _S[_SP] = arguments[0];
  1029. _S[_SP + 1] = arguments[1];
  1030. _SQ = _SP + 4;
  1031. _S[_SP + 2] = 0;
  1032. idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int();
  1033. _S[_SP + 3] = _R;
  1034. idris_Prelude_46_Classes_46_compare(_S[_SP + 2], _S[_SP + 3]);
  1035. _S[_SP + 2] = _R;
  1036. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP]);
  1037. _S[_SP + 2] = _R;
  1038. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP + 1]);
  1039. _S[_SP + 2] = _R;
  1040. switch (_A[_S[_SP + 2]]) {
  1041. case 0:
  1042. _R = 1;
  1043. break;
  1044. default:
  1045. _R = 0;
  1046. }
  1047. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1048. }
  1049.  
  1050.  
  1051. function idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c2_125_() {
  1052. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1053. _S[_SP] = arguments[0];
  1054. _SQ = _SP + 1;
  1055. _R = '' + _S[_SP];
  1056. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1057. }
  1058.  
  1059.  
  1060. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam2_125_() {
  1061. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1062. _S[_SP] = arguments[0];
  1063. _SQ = _SP + 1;
  1064. _A[_AP] = 65638;
  1065. _A[_AP + 1] = _S[_SP];
  1066. _R = _AP;
  1067. _AP += 2;
  1068. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1069. }
  1070.  
  1071.  
  1072. function idris__123_io_95_bind2_125_() {
  1073. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1074. _S[_SP] = arguments[0];
  1075. _S[_SP + 1] = arguments[1];
  1076. _S[_SP + 2] = arguments[2];
  1077. _S[_SP + 3] = arguments[3];
  1078. _S[_SP + 4] = arguments[4];
  1079. _S[_SP + 5] = arguments[5];
  1080. _SQ = _SP + 6;
  1081. _A[_AP] = 65653;
  1082. _A[_AP + 1] = _S[_SP];
  1083. _A[_AP + 2] = _S[_SP + 1];
  1084. _A[_AP + 3] = _S[_SP + 2];
  1085. _A[_AP + 4] = _S[_SP + 3];
  1086. _A[_AP + 5] = _S[_SP + 4];
  1087. _A[_AP + 6] = _S[_SP + 5];
  1088. _R = _AP;
  1089. _AP += 7;
  1090. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1091. }
  1092.  
  1093.  
  1094. function idris_Main_46__123_pythag2_125_() {
  1095. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1096. _S[_SP] = arguments[0];
  1097. _SQ = _SP + 1;
  1098. _R = 0;
  1099. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1100. }
  1101.  
  1102.  
  1103. function idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam3_125_() {
  1104. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1105. _S[_SP] = arguments[0];
  1106. _SQ = _SP + 1;
  1107. _A[_AP] = 65634;
  1108. _A[_AP + 1] = _S[_SP];
  1109. _R = _AP;
  1110. _AP += 2;
  1111. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1112. }
  1113.  
  1114.  
  1115. function idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c3_125_() {
  1116. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1117. _S[_SP] = arguments[0];
  1118. _SQ = _SP + 7;
  1119. _S[_SP + 1] = 0;
  1120. _S[_SP + 2] = 0;
  1121. _S[_SP + 3] = 0;
  1122. _S[_SP + 4] = 0;
  1123. _S[_SP + 5] = 16;
  1124. _S[_SP + 6] = 17;
  1125. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0(_S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP]);
  1126. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1127. }
  1128.  
  1129.  
  1130. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam3_125_() {
  1131. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1132. _S[_SP] = arguments[0];
  1133. _SQ = _SP + 1;
  1134. _R = 10;
  1135. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1136. }
  1137.  
  1138.  
  1139. function idris_Main_46__123_pythag3_125_() {
  1140. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1141. _S[_SP] = arguments[0];
  1142. _S[_SP + 1] = arguments[1];
  1143. _S[_SP + 2] = arguments[2];
  1144. _S[_SP + 3] = arguments[3];
  1145. _SQ = _SP + 6;
  1146. _A[_AP] = 0;
  1147. _A[_AP + 1] = _S[_SP + 1];
  1148. _A[_AP + 2] = _S[_SP + 2];
  1149. _S[_SP + 4] = _AP;
  1150. _AP += 3;
  1151. _A[_AP] = 0;
  1152. _A[_AP + 1] = _S[_SP];
  1153. _A[_AP + 2] = _S[_SP + 4];
  1154. _S[_SP + 4] = _AP;
  1155. _AP += 3;
  1156. _S[_SP + 5] = 0;
  1157. _A[_AP] = 1;
  1158. _A[_AP + 1] = _S[_SP + 4];
  1159. _A[_AP + 2] = _S[_SP + 5];
  1160. _R = _AP;
  1161. _AP += 3;
  1162. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1163. }
  1164.  
  1165.  
  1166. function idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c4_125_() {
  1167. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1168. _S[_SP] = arguments[0];
  1169. _SQ = _SP + 7;
  1170. _S[_SP + 1] = 0;
  1171. _S[_SP + 2] = 0;
  1172. _S[_SP + 3] = 0;
  1173. _S[_SP + 4] = 0;
  1174. _S[_SP + 5] = 15;
  1175. _S[_SP + 6] = 18;
  1176. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0(_S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP]);
  1177. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1178. }
  1179.  
  1180.  
  1181. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam4_125_() {
  1182. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1183. _S[_SP] = arguments[0];
  1184. _SQ = _SP + 1;
  1185. _R = 11;
  1186. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1187. }
  1188.  
  1189.  
  1190. function idris_Main_46__123_pythag4_125_() {
  1191. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1192. _S[_SP] = arguments[0];
  1193. _S[_SP + 1] = arguments[1];
  1194. _S[_SP + 2] = arguments[2];
  1195. _SQ = _SP + 9;
  1196. _S[_SP + 3] = 0;
  1197. _S[_SP + 4] = 0;
  1198. _S[_SP + 5] = 0;
  1199. _S[_SP + 6] = 4;
  1200. _S[_SP + 7] = 5;
  1201. _A[_AP] = 0;
  1202. _A[_AP + 1] = _S[_SP + 6];
  1203. _A[_AP + 2] = _S[_SP + 7];
  1204. _S[_SP + 6] = _AP;
  1205. _AP += 3;
  1206. _S[_SP + 7] = _S[_SP + 2] * _S[_SP + 2];
  1207. _S[_SP + 8] = _S[_SP] * _S[_SP];
  1208. _S[_SP + 7] = _S[_SP + 7] + _S[_SP + 8];
  1209. _S[_SP + 8] = _S[_SP + 1] * _S[_SP + 1];
  1210. _S[_SP + 7] = (_S[_SP + 7] === _S[_SP + 8]) ? 1 : 0;
  1211. switch (_S[_SP + 7]) {
  1212. case 0:
  1213. _S[_SP + 7] = 0;
  1214. break;
  1215. default:
  1216. _S[_SP + 7] = 1;
  1217. }
  1218. idris_Prelude_46_Applicative_46_guard(_S[_SP + 5], _S[_SP + 6], _S[_SP + 7]);
  1219. _S[_SP + 5] = _R;
  1220. _A[_AP] = 65626;
  1221. _A[_AP + 1] = _S[_SP + 2];
  1222. _A[_AP + 2] = _S[_SP];
  1223. _A[_AP + 3] = _S[_SP + 1];
  1224. _S[_SP + 6] = _AP;
  1225. _AP += 4;
  1226. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0(_S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6]);
  1227. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1228. }
  1229.  
  1230.  
  1231. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam5_125_() {
  1232. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1233. _S[_SP] = arguments[0];
  1234. _S[_SP + 1] = arguments[1];
  1235. _SQ = _SP + 3;
  1236. _S[_SP + 2] = 0;
  1237. idris_Prelude_46_List_46__43__43_(_S[_SP + 2], _S[_SP], _S[_SP + 1]);
  1238. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1239. }
  1240.  
  1241.  
  1242. function idris_Main_46__123_pythag5_125_() {
  1243. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1244. _S[_SP] = arguments[0];
  1245. _S[_SP + 1] = arguments[1];
  1246. _SQ = _SP + 6;
  1247. _S[_SP + 2] = 0;
  1248. _S[_SP + 3] = 0;
  1249. _S[_SP + 4] = 1;
  1250. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0(_S[_SP + 4], _S[_SP + 1]);
  1251. _S[_SP + 4] = _R;
  1252. _A[_AP] = 65627;
  1253. _A[_AP + 1] = _S[_SP + 1];
  1254. _A[_AP + 2] = _S[_SP];
  1255. _S[_SP + 5] = _AP;
  1256. _AP += 3;
  1257. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0(_S[_SP + 2], _S[_SP + 3], _S[_SP + 4], _S[_SP + 5]);
  1258. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1259. }
  1260.  
  1261.  
  1262. function idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam6_125_() {
  1263. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1264. _S[_SP] = arguments[0];
  1265. _SQ = _SP + 1;
  1266. _A[_AP] = 65642;
  1267. _A[_AP + 1] = _S[_SP];
  1268. _R = _AP;
  1269. _AP += 2;
  1270. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1271. }
  1272.  
  1273.  
  1274. function idris_Main_46__123_pythag6_125_() {
  1275. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1276. _S[_SP] = arguments[0];
  1277. _SQ = _SP + 5;
  1278. _S[_SP + 1] = 0;
  1279. _S[_SP + 2] = 0;
  1280. _S[_SP + 3] = 1;
  1281. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0(_S[_SP + 3], _S[_SP]);
  1282. _S[_SP + 3] = _R;
  1283. _A[_AP] = 65628;
  1284. _A[_AP + 1] = _S[_SP];
  1285. _S[_SP + 4] = _AP;
  1286. _AP += 2;
  1287. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0(_S[_SP + 1], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4]);
  1288. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1289. }
  1290.  
  1291.  
  1292. function idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Char_58__33_decEq_58_0_58_primitiveNotEq_58_0() {
  1293. _R = 0;
  1294. }
  1295.  
  1296.  
  1297. function idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Int_58__33_decEq_58_0_58_primitiveNotEq_58_0() {
  1298. _R = 0;
  1299. }
  1300.  
  1301.  
  1302. function idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Integer_58__33_decEq_58_0_58_primitiveNotEq_58_0() {
  1303. _R = 0;
  1304. }
  1305.  
  1306.  
  1307. function idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_String_58__33_decEq_58_0_58_primitiveNotEq_58_0() {
  1308. _R = 0;
  1309. }
  1310.  
  1311.  
  1312. function idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0() {
  1313. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1314. _S[_SP] = arguments[0];
  1315. _S[_SP + 1] = arguments[1];
  1316. _S[_SP + 2] = arguments[2];
  1317. _S[_SP + 3] = arguments[3];
  1318. _S[_SP + 4] = arguments[4];
  1319. _SQ = _SP + 10;
  1320. switch (_S[_SP + 3]) {
  1321. case 0:
  1322. _A[_AP] = 1;
  1323. _A[_AP + 1] = _S[_SP + 4];
  1324. _A[_AP + 2] = _S[_SP + 2];
  1325. _R = _AP;
  1326. _AP += 3;
  1327. break;
  1328. default:
  1329. _S[_SP + 5] = 1;
  1330. _S[_SP + 5] = _S[_SP + 3] - _S[_SP + 5];
  1331. _S[_SP + 6] = 0;
  1332. _S[_SP + 7] = 0;
  1333. _A[_AP] = 1;
  1334. _A[_AP + 1] = _S[_SP + 4];
  1335. _A[_AP + 2] = _S[_SP + 2];
  1336. _S[_SP + 8] = _AP;
  1337. _AP += 3;
  1338. _S[_SP + 9] = 1;
  1339. _S[_SP + 9] = _S[_SP + 4] - _S[_SP + 9];
  1340. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0(_S[_SP + 6], _S[_SP + 7], _S[_SP + 8], _S[_SP + 5], _S[_SP + 9]);
  1341. }
  1342. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1343. }
  1344.  
  1345.  
  1346. function idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0() {
  1347. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1348. _S[_SP] = arguments[0];
  1349. _S[_SP + 1] = arguments[1];
  1350. _S[_SP + 2] = arguments[2];
  1351. _S[_SP + 3] = arguments[3];
  1352. _S[_SP + 4] = arguments[4];
  1353. _S[_SP + 5] = arguments[5];
  1354. _SQ = _SP + 13;
  1355. switch (_A[_S[_SP + 5]]) {
  1356. case 1:
  1357. _S[_SP + 6] = _A[_S[_SP + 5] + 1];
  1358. _S[_SP + 7] = _A[_S[_SP + 5] + 2];
  1359. switch (_A[_S[_SP + 7]]) {
  1360. case 0:
  1361. _S[_SP + 8] = 0;
  1362. idris_Prelude_46_show(_S[_SP + 8], _S[_SP + 3]);
  1363. _S[_SP + 8] = _R;
  1364. idris__123_APPLY0_125_(_S[_SP + 8], _S[_SP + 6]);
  1365. _S[_SP + 8] = _R;
  1366. _R = _S[_SP + 4] + _S[_SP + 8];
  1367. break;
  1368. default:
  1369. _S[_SP + 8] = 0;
  1370. _S[_SP + 9] = 0;
  1371. _S[_SP + 10] = 0;
  1372. _S[_SP + 11] = 0;
  1373. idris_Prelude_46_show(_S[_SP + 11], _S[_SP + 3]);
  1374. _S[_SP + 11] = _R;
  1375. idris__123_APPLY0_125_(_S[_SP + 11], _S[_SP + 6]);
  1376. _S[_SP + 11] = _R;
  1377. _S[_SP + 12] = ', ';
  1378. _S[_SP + 11] = _S[_SP + 11] + _S[_SP + 12];
  1379. _S[_SP + 11] = _S[_SP + 4] + _S[_SP + 11];
  1380. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0(_S[_SP + 8], _S[_SP + 9], _S[_SP + 10], _S[_SP + 3], _S[_SP + 11], _S[_SP + 7]);
  1381. }
  1382. break;
  1383. case 0:
  1384. _R = _S[_SP + 4];
  1385. }
  1386. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1387. }
  1388.  
  1389.  
  1390. function idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0() {
  1391. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1392. _S[_SP] = arguments[0];
  1393. _S[_SP + 1] = arguments[1];
  1394. _SQ = _SP + 7;
  1395. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__61__58_0(_S[_SP], _S[_SP + 1]);
  1396. _S[_SP + 2] = _R;
  1397. switch (_A[_S[_SP + 2]]) {
  1398. case 0:
  1399. _R = 0;
  1400. break;
  1401. case 1:
  1402. _S[_SP + 3] = 0;
  1403. _S[_SP + 4] = 0;
  1404. _S[_SP + 5] = 0;
  1405. _S[_SP + 6] = _S[_SP + 1] - _S[_SP];
  1406. _S[_SP + 6] = _S[_SP + 6];
  1407. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0(_S[_SP + 3], _S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP + 1]);
  1408. }
  1409. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1410. }
  1411.  
  1412.  
  1413. function idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0() {
  1414. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1415. _S[_SP] = arguments[0];
  1416. _S[_SP + 1] = arguments[1];
  1417. _S[_SP + 2] = arguments[2];
  1418. _S[_SP + 3] = arguments[3];
  1419. _S[_SP + 4] = arguments[4];
  1420. _SQ = _SP + 12;
  1421. switch (_A[_S[_SP + 4]]) {
  1422. case 1:
  1423. _S[_SP + 5] = _A[_S[_SP + 4] + 1];
  1424. _S[_SP + 6] = _A[_S[_SP + 4] + 2];
  1425. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP + 5]);
  1426. _S[_SP + 7] = _R;
  1427. _S[_SP + 8] = 0;
  1428. _S[_SP + 9] = 0;
  1429. _S[_SP + 10] = 0;
  1430. _S[_SP + 11] = 20;
  1431. idris_Prelude_46_Foldable_46_foldr(_S[_SP + 8], _S[_SP + 9], _S[_SP + 10], _S[_SP + 11]);
  1432. _S[_SP + 8] = _R;
  1433. idris__123_APPLY0_125_(_S[_SP + 8], _S[_SP + 2]);
  1434. _S[_SP + 8] = _R;
  1435. idris__123_APPLY0_125_(_S[_SP + 8], _S[_SP + 3]);
  1436. _S[_SP + 8] = _R;
  1437. idris__123_APPLY0_125_(_S[_SP + 8], _S[_SP + 6]);
  1438. _S[_SP + 8] = _R;
  1439. idris__123_APPLY0_125_(_S[_SP + 7], _S[_SP + 8]);
  1440. break;
  1441. case 0:
  1442. _R = _S[_SP + 3];
  1443. }
  1444. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1445. }
  1446.  
  1447.  
  1448. function idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0() {
  1449. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1450. _S[_SP] = arguments[0];
  1451. _S[_SP + 1] = arguments[1];
  1452. _S[_SP + 2] = arguments[2];
  1453. _S[_SP + 3] = arguments[3];
  1454. _SQ = _SP + 10;
  1455. _S[_SP + 4] = 0;
  1456. _S[_SP + 5] = 0;
  1457. _S[_SP + 6] = 0;
  1458. _S[_SP + 7] = 12;
  1459. _S[_SP + 8] = 13;
  1460. _S[_SP + 9] = 0;
  1461. _A[_AP] = 0;
  1462. _A[_AP + 1] = _S[_SP + 8];
  1463. _A[_AP + 2] = _S[_SP + 9];
  1464. _S[_SP + 8] = _AP;
  1465. _AP += 3;
  1466. idris_Prelude_46_Foldable_46_concatMap(_S[_SP + 4], _S[_SP + 5], _S[_SP + 6], _S[_SP + 7], _S[_SP + 8], _S[_SP + 3]);
  1467. _S[_SP + 4] = _R;
  1468. idris__123_APPLY0_125_(_S[_SP + 4], _S[_SP + 2]);
  1469. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1470. }
  1471.  
  1472.  
  1473. function idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__61__58_0() {
  1474. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1475. _S[_SP] = arguments[0];
  1476. _S[_SP + 1] = arguments[1];
  1477. _SQ = _SP + 4;
  1478. _S[_SP + 2] = 0;
  1479. idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int();
  1480. _S[_SP + 3] = _R;
  1481. idris_Prelude_46_Classes_46__60_(_S[_SP + 2], _S[_SP + 3]);
  1482. _S[_SP + 2] = _R;
  1483. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP]);
  1484. _S[_SP + 2] = _R;
  1485. idris__123_APPLY0_125_(_S[_SP + 2], _S[_SP + 1]);
  1486. _S[_SP + 2] = _R;
  1487. switch (_A[_S[_SP + 2]]) {
  1488. case 0:
  1489. idris_Prelude_46_Classes_46__123_Prelude_46_Classes_46_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_44__32_method_32__60__61__95_lam0_125_(_S[_SP], _S[_SP + 1]);
  1490. break;
  1491. case 1:
  1492. _R = 1;
  1493. }
  1494. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1495. }
  1496.  
  1497.  
  1498. function idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33_compare_58_0() {
  1499. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1500. _S[_SP] = arguments[0];
  1501. _S[_SP + 1] = arguments[1];
  1502. _SQ = _SP + 4;
  1503. _S[_SP + 2] = (_S[_SP] === _S[_SP + 1]) ? 1 : 0;
  1504. switch (_S[_SP + 2]) {
  1505. case 0:
  1506. _S[_SP + 2] = 0;
  1507. break;
  1508. default:
  1509. _S[_SP + 2] = 1;
  1510. }
  1511. switch (_A[_S[_SP + 2]]) {
  1512. case 0:
  1513. _S[_SP + 3] = (_S[_SP] < _S[_SP + 1]) ? 1 : 0;
  1514. switch (_S[_SP + 3]) {
  1515. case 0:
  1516. _S[_SP + 3] = 0;
  1517. break;
  1518. default:
  1519. _S[_SP + 3] = 1;
  1520. }
  1521. switch (_A[_S[_SP + 3]]) {
  1522. case 0:
  1523. _R = 2;
  1524. break;
  1525. case 1:
  1526. _R = 0;
  1527. }
  1528. break;
  1529. case 1:
  1530. _R = 1;
  1531. }
  1532. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1533. }
  1534.  
  1535.  
  1536. function idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0() {
  1537. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1538. _S[_SP] = arguments[0];
  1539. _S[_SP + 1] = arguments[1];
  1540. _S[_SP + 2] = arguments[2];
  1541. _S[_SP + 3] = arguments[3];
  1542. _S[_SP + 4] = arguments[4];
  1543. _S[_SP + 5] = arguments[5];
  1544. _S[_SP + 6] = arguments[6];
  1545. _SQ = _SP + 14;
  1546. switch (_A[_S[_SP + 6]]) {
  1547. case 0:
  1548. _S[_SP + 7] = _A[_S[_SP + 6] + 1];
  1549. _S[_SP + 8] = _A[_S[_SP + 6] + 2];
  1550. _S[_SP + 9] = '(';
  1551. _S[_SP + 10] = 0;
  1552. idris_Prelude_46_show(_S[_SP + 10], _S[_SP + 4]);
  1553. _S[_SP + 10] = _R;
  1554. idris__123_APPLY0_125_(_S[_SP + 10], _S[_SP + 7]);
  1555. _S[_SP + 10] = _R;
  1556. _S[_SP + 11] = ', ';
  1557. _S[_SP + 12] = 0;
  1558. idris_Prelude_46_show(_S[_SP + 12], _S[_SP + 5]);
  1559. _S[_SP + 12] = _R;
  1560. idris__123_APPLY0_125_(_S[_SP + 12], _S[_SP + 8]);
  1561. _S[_SP + 12] = _R;
  1562. _S[_SP + 13] = ')';
  1563. _S[_SP + 12] = _S[_SP + 12] + _S[_SP + 13];
  1564. _S[_SP + 11] = _S[_SP + 11] + _S[_SP + 12];
  1565. _S[_SP + 10] = _S[_SP + 10] + _S[_SP + 11];
  1566. _R = _S[_SP + 9] + _S[_SP + 10];
  1567. }
  1568. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1569. }
  1570.  
  1571.  
  1572. function idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0() {
  1573. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1574. _S[_SP] = arguments[0];
  1575. _S[_SP + 1] = arguments[1];
  1576. _S[_SP + 2] = arguments[2];
  1577. _S[_SP + 3] = arguments[3];
  1578. _SQ = _SP + 9;
  1579. _S[_SP + 4] = '[';
  1580. _S[_SP + 5] = 0;
  1581. _S[_SP + 6] = 0;
  1582. _S[_SP + 7] = 0;
  1583. _S[_SP + 8] = '';
  1584. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0(_S[_SP + 5], _S[_SP + 6], _S[_SP + 7], _S[_SP + 2], _S[_SP + 8], _S[_SP + 3]);
  1585. _S[_SP + 5] = _R;
  1586. _S[_SP + 6] = ']';
  1587. _S[_SP + 5] = _S[_SP + 5] + _S[_SP + 6];
  1588. _R = _S[_SP + 4] + _S[_SP + 5];
  1589. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1590. }
  1591.  
  1592.  
  1593. function idris__95_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__58_0_95_with_95_85() {
  1594. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1595. _S[_SP] = arguments[0];
  1596. _S[_SP + 1] = arguments[1];
  1597. _S[_SP + 2] = arguments[2];
  1598. _SQ = _SP + 3;
  1599. switch (_A[_S[_SP]]) {
  1600. case 0:
  1601. _R = 1;
  1602. break;
  1603. default:
  1604. _R = 0;
  1605. }
  1606. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1607. }
  1608.  
  1609.  
  1610. function idris_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List() {
  1611. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1612. _S[_SP] = arguments[0];
  1613. _S[_SP + 1] = arguments[1];
  1614. _S[_SP + 2] = arguments[2];
  1615. _S[_SP + 3] = arguments[3];
  1616. _S[_SP + 4] = arguments[4];
  1617. _SQ = _SP + 7;
  1618. _S[_SP + 5] = 0;
  1619. _S[_SP + 6] = 0;
  1620. idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0(_S[_SP + 5], _S[_SP + 6], _S[_SP + 2], _S[_SP + 3], _S[_SP + 4]);
  1621. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1622. }
  1623.  
  1624.  
  1625. function idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int() {
  1626. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1627. _SQ = _SP + 2;
  1628. _S[_SP] = 8;
  1629. _S[_SP + 1] = 9;
  1630. _A[_AP] = 0;
  1631. _A[_AP + 1] = _S[_SP];
  1632. _A[_AP + 2] = _S[_SP + 1];
  1633. _R = _AP;
  1634. _AP += 3;
  1635. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1636. }
  1637.  
  1638.  
  1639. function idris_Void_95_case() {
  1640. _R = 0;
  1641. }
  1642.  
  1643.  
  1644. function idris_io_95_bind_95_case() {
  1645. _PSP[_SR] = _SP; _SP = _SQ; _SR += 1;
  1646. _S[_SP] = arguments[0];
  1647. _S[_SP + 1] = arguments[1];
  1648. _S[_SP + 2] = arguments[2];
  1649. _S[_SP + 3] = arguments[3];
  1650. _S[_SP + 4] = arguments[4];
  1651. _S[_SP + 5] = arguments[5];
  1652. _S[_SP + 6] = arguments[6];
  1653. _S[_SP + 7] = arguments[7];
  1654. _SQ = _SP + 8;
  1655. idris__123_APPLY0_125_(_S[_SP + 7], _S[_SP + 5]);
  1656. _SQ = _SP; _SR -= 1; _SP = _PSP[_SR];
  1657. }
  1658.  
  1659.  
  1660. function idris_Void_95_elim() {
  1661. _R = 0;
  1662. }
  1663.  
  1664.  
  1665. idris__123_runMain0_125_();
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!