Guest User

Untitled

a guest
Oct 18th, 2018
94
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 34.09 KB | None | 0 0
  1. p ->(n) {
  2. y = ->(*a, &b) { z = ->(*a) { b.(*a, &z) } }
  3. y.() { |f, &b|
  4. i, g = f.()
  5. i <= n ? [i] + b.(g) : []
  6. }.(y.() { |i, j, &b| -> { [j, b.(j, i + j)] } }.(1, 1))
  7. }.([8877,
  8. 5745,
  9. 2197,
  10. 9747,
  11. 2655,
  12. 6562,
  13. 1145,
  14. 1515,
  15. 4690,
  16. 5310,
  17. 8363,
  18. 8935,
  19. 1921,
  20. 4448,
  21. 8459,
  22. 5251,
  23. 7226,
  24. 6751,
  25. 1955,
  26. 530,
  27. 2471,
  28. 2871,
  29. 3177,
  30. 1396,
  31. 600,
  32. 8657,
  33. 9474,
  34. 1642,
  35. 2240,
  36. 7909,
  37. 3739,
  38. 6901,
  39. 1563,
  40. 2455,
  41. 3180,
  42. 7271,
  43. 5704,
  44. 7731,
  45. 8626,
  46. 5616,
  47. 6370,
  48. 4679,
  49. 1631,
  50. 4616,
  51. 3411,
  52. 4452,
  53. 8777,
  54. 207,
  55. 3421,
  56. 5082,
  57. 8634,
  58. 8251,
  59. 6475,
  60. 7830,
  61. 3941,
  62. 8620,
  63. 2372,
  64. 3334,
  65. 5954,
  66. 4462,
  67. 5132,
  68. 3643,
  69. 6109,
  70. 8952,
  71. 9914,
  72. 1006,
  73. 8947,
  74. 836,
  75. 9845,
  76. 4667,
  77. 2693,
  78. 8322,
  79. 6297,
  80. 8324,
  81. 1085,
  82. 2993,
  83. 4147,
  84. 8515,
  85. 5073,
  86. 8068,
  87. 7197,
  88. 2690,
  89. 6935,
  90. 9880,
  91. 4506,
  92. 7970,
  93. 3527,
  94. 4355,
  95. 5941,
  96. 9707,
  97. 4029,
  98. 5607,
  99. 5126,
  100. 2917,
  101. 6162,
  102. 6162,
  103. 5465,
  104. 983,
  105. 6623,
  106. 7063,
  107. 7158,
  108. 5496,
  109. 5978,
  110. 3911,
  111. 554,
  112. 9835,
  113. 4534,
  114. 5031,
  115. 320,
  116. 5230,
  117. 1661,
  118. 7720,
  119. 5540,
  120. 2172,
  121. 305,
  122. 7142,
  123. 7611,
  124. 1474,
  125. 1380,
  126. 4076,
  127. 8030,
  128. 5428,
  129. 8510,
  130. 8039,
  131. 6535,
  132. 8081,
  133. 8471,
  134. 7340,
  135. 9560,
  136. 1973,
  137. 7905,
  138. 5057,
  139. 4037,
  140. 7919,
  141. 6297,
  142. 7839,
  143. 1646,
  144. 7702,
  145. 3432,
  146. 440,
  147. 928,
  148. 3647,
  149. 679,
  150. 8796,
  151. 5983,
  152. 8937,
  153. 5018,
  154. 9935,
  155. 8586,
  156. 1205,
  157. 3933,
  158. 3159,
  159. 9551,
  160. 5626,
  161. 3735,
  162. 1643,
  163. 619,
  164. 6274,
  165. 2365,
  166. 222,
  167. 7288,
  168. 5753,
  169. 1726,
  170. 3377,
  171. 1981,
  172. 7136,
  173. 9548,
  174. 2405,
  175. 127,
  176. 2814,
  177. 5941,
  178. 2713,
  179. 5636,
  180. 6300,
  181. 7655,
  182. 336,
  183. 4745,
  184. 6979,
  185. 8854,
  186. 8565,
  187. 2921,
  188. 3141,
  189. 1301,
  190. 303,
  191. 2732,
  192. 5527,
  193. 7216,
  194. 8134,
  195. 4538,
  196. 5174,
  197. 9299,
  198. 3779,
  199. 9036,
  200. 4150,
  201. 1837,
  202. 8277,
  203. 2224,
  204. 3882,
  205. 9224,
  206. 406,
  207. 395,
  208. 3740,
  209. 9900,
  210. 476,
  211. 8948,
  212. 7762,
  213. 4891,
  214. 9917,
  215. 4562,
  216. 9687,
  217. 7919,
  218. 1302,
  219. 8034,
  220. 1378,
  221. 9529,
  222. 7055,
  223. 2293,
  224. 1590,
  225. 7066,
  226. 4938,
  227. 296,
  228. 6044,
  229. 4977,
  230. 8476,
  231. 8102,
  232. 6428,
  233. 6496,
  234. 689,
  235. 4834,
  236. 791,
  237. 307,
  238. 2447,
  239. 1392,
  240. 8038,
  241. 9200,
  242. 7094,
  243. 5991,
  244. 346,
  245. 8468,
  246. 8050,
  247. 5967,
  248. 9170,
  249. 686,
  250. 1031,
  251. 9581,
  252. 6659,
  253. 2487,
  254. 4371,
  255. 4497,
  256. 2660,
  257. 6422,
  258. 410,
  259. 3792,
  260. 5510,
  261. 5036,
  262. 842,
  263. 6492,
  264. 1691,
  265. 6564,
  266. 739,
  267. 7271,
  268. 5280,
  269. 7163,
  270. 6611,
  271. 523,
  272. 480,
  273. 2983,
  274. 3297,
  275. 1600,
  276. 9867,
  277. 2145,
  278. 7423,
  279. 3454,
  280. 4979,
  281. 9914,
  282. 4067,
  283. 276,
  284. 482,
  285. 5123,
  286. 6182,
  287. 5892,
  288. 13,
  289. 3709,
  290. 92,
  291. 5482,
  292. 7110,
  293. 2386,
  294. 5272,
  295. 2216,
  296. 2832,
  297. 3893,
  298. 3934,
  299. 3194,
  300. 1092,
  301. 4983,
  302. 5436,
  303. 6922,
  304. 6032,
  305. 9952,
  306. 9322,
  307. 6216,
  308. 9340,
  309. 2360,
  310. 9443,
  311. 8520,
  312. 6045,
  313. 506,
  314. 4311,
  315. 1720,
  316. 6929,
  317. 4706,
  318. 1616,
  319. 9853,
  320. 5777,
  321. 9648,
  322. 2430,
  323. 339,
  324. 1128,
  325. 5061,
  326. 3406,
  327. 7150,
  328. 3820,
  329. 3952,
  330. 2938,
  331. 9109,
  332. 2510,
  333. 9722,
  334. 5559,
  335. 6228,
  336. 1980,
  337. 752,
  338. 7784,
  339. 3929,
  340. 7432,
  341. 2134,
  342. 3936,
  343. 3851,
  344. 6838,
  345. 7942,
  346. 3897,
  347. 220,
  348. 7619,
  349. 7209,
  350. 9218,
  351. 5427,
  352. 9595,
  353. 3389,
  354. 8413,
  355. 3813,
  356. 9820,
  357. 3024,
  358. 4222,
  359. 5514,
  360. 4615,
  361. 542,
  362. 1643,
  363. 1978,
  364. 1274,
  365. 1548,
  366. 1945,
  367. 1215,
  368. 6288,
  369. 8881,
  370. 6590,
  371. 3226,
  372. 6767,
  373. 5691,
  374. 2736,
  375. 1011,
  376. 2489,
  377. 83,
  378. 371,
  379. 8525,
  380. 8519,
  381. 7580,
  382. 8004,
  383. 3859,
  384. 9742,
  385. 4133,
  386. 2722,
  387. 6698,
  388. 6801,
  389. 5806,
  390. 2360,
  391. 9934,
  392. 7513,
  393. 1721,
  394. 5769,
  395. 5074,
  396. 9971,
  397. 4017,
  398. 676,
  399. 806,
  400. 7679,
  401. 1739,
  402. 7508,
  403. 8735,
  404. 9151,
  405. 9870,
  406. 1370,
  407. 3266,
  408. 5343,
  409. 2635,
  410. 7988,
  411. 4672,
  412. 1627,
  413. 8314,
  414. 3323,
  415. 1211,
  416. 6760,
  417. 2248,
  418. 9443,
  419. 7721,
  420. 3491,
  421. 3190,
  422. 6344,
  423. 7359,
  424. 3448,
  425. 7633,
  426. 6313,
  427. 9542,
  428. 7669,
  429. 2141,
  430. 4697,
  431. 1503,
  432. 9767,
  433. 1417,
  434. 7977,
  435. 5117,
  436. 3409,
  437. 3484,
  438. 4896,
  439. 3903,
  440. 855,
  441. 5293,
  442. 8367,
  443. 7736,
  444. 695,
  445. 4937,
  446. 4703,
  447. 6519,
  448. 8517,
  449. 4805,
  450. 1986,
  451. 2193,
  452. 291,
  453. 8855,
  454. 5013,
  455. 564,
  456. 6606,
  457. 2879,
  458. 2742,
  459. 3946,
  460. 4231,
  461. 4531,
  462. 3008,
  463. 5947,
  464. 5812,
  465. 883,
  466. 6260,
  467. 6961,
  468. 3655,
  469. 4613,
  470. 5901,
  471. 6820,
  472. 5433,
  473. 3125,
  474. 3415,
  475. 9980,
  476. 253,
  477. 1447,
  478. 1354,
  479. 1113,
  480. 7348,
  481. 4432,
  482. 8971,
  483. 2762,
  484. 8339,
  485. 5149,
  486. 3578,
  487. 2580,
  488. 8852,
  489. 692,
  490. 440,
  491. 4466,
  492. 3129,
  493. 5675,
  494. 2806,
  495. 8407,
  496. 1392,
  497. 9317,
  498. 1118,
  499. 2883,
  500. 125,
  501. 8449,
  502. 9425,
  503. 6058,
  504. 4198,
  505. 2740,
  506. 6298,
  507. 5263,
  508. 2221,
  509. 6626,
  510. 2258,
  511. 275,
  512. 7950,
  513. 4914,
  514. 8354,
  515. 7307,
  516. 9299,
  517. 9090,
  518. 8750,
  519. 9247,
  520. 3501,
  521. 9789,
  522. 4810,
  523. 3750,
  524. 2538,
  525. 3514,
  526. 2325,
  527. 8042,
  528. 3823,
  529. 8895,
  530. 4177,
  531. 5638,
  532. 9548,
  533. 6953,
  534. 7736,
  535. 1338,
  536. 1330,
  537. 7726,
  538. 6696,
  539. 6188,
  540. 5571,
  541. 1369,
  542. 2035,
  543. 2727,
  544. 2551,
  545. 1041,
  546. 2291,
  547. 6142,
  548. 6190,
  549. 6408,
  550. 5763,
  551. 2356,
  552. 3416,
  553. 6375,
  554. 1102,
  555. 1438,
  556. 6971,
  557. 9014,
  558. 2504,
  559. 7516,
  560. 5088,
  561. 1547,
  562. 127,
  563. 1450,
  564. 5206,
  565. 9853,
  566. 1408,
  567. 9469,
  568. 8607,
  569. 5730,
  570. 8812,
  571. 908,
  572. 7142,
  573. 2154,
  574. 9062,
  575. 1651,
  576. 7125,
  577. 3299,
  578. 7501,
  579. 2095,
  580. 8515,
  581. 4609,
  582. 695,
  583. 6102,
  584. 3423,
  585. 7990,
  586. 2956,
  587. 6441,
  588. 9613,
  589. 825,
  590. 1618,
  591. 6523,
  592. 2888,
  593. 5084,
  594. 8356,
  595. 9619,
  596. 9874,
  597. 7983,
  598. 4856,
  599. 9466,
  600. 1909,
  601. 2893,
  602. 8612,
  603. 4816,
  604. 2428,
  605. 961,
  606. 2150,
  607. 7647,
  608. 7848,
  609. 9027,
  610. 4965,
  611. 5912,
  612. 79,
  613. 4764,
  614. 3780,
  615. 5732,
  616. 3833,
  617. 4537,
  618. 3541,
  619. 1548,
  620. 9420,
  621. 8962,
  622. 3231,
  623. 1987,
  624. 7271,
  625. 9220,
  626. 7930,
  627. 5462,
  628. 6128,
  629. 1735,
  630. 405,
  631. 8529,
  632. 8146,
  633. 503,
  634. 6708,
  635. 2369,
  636. 4116,
  637. 7891,
  638. 6718,
  639. 6780,
  640. 2399,
  641. 1032,
  642. 6723,
  643. 8535,
  644. 8284,
  645. 5676,
  646. 1344,
  647. 5045,
  648. 8433,
  649. 1395,
  650. 3139,
  651. 767,
  652. 3013,
  653. 2744,
  654. 6905,
  655. 912,
  656. 7368,
  657. 1790,
  658. 2379,
  659. 7490,
  660. 3413,
  661. 3676,
  662. 5023,
  663. 6511,
  664. 1538,
  665. 9135,
  666. 5756,
  667. 3350,
  668. 1280,
  669. 2151,
  670. 5235,
  671. 4373,
  672. 6985,
  673. 2655,
  674. 5423,
  675. 7950,
  676. 2549,
  677. 1672,
  678. 4089,
  679. 8073,
  680. 7510,
  681. 8954,
  682. 9657,
  683. 5198,
  684. 2423,
  685. 7835,
  686. 1200,
  687. 5468,
  688. 5211,
  689. 9497,
  690. 8323,
  691. 7520,
  692. 2993,
  693. 9887,
  694. 5974,
  695. 2580,
  696. 7007,
  697. 2250,
  698. 3411,
  699. 9815,
  700. 5828,
  701. 7957,
  702. 2512,
  703. 809,
  704. 5176,
  705. 6753,
  706. 6737,
  707. 902,
  708. 8493,
  709. 9528,
  710. 514,
  711. 3419,
  712. 9082,
  713. 3667,
  714. 7403,
  715. 2099,
  716. 3636,
  717. 7365,
  718. 9531,
  719. 9975,
  720. 7376,
  721. 6724,
  722. 761,
  723. 4336,
  724. 9735,
  725. 8295,
  726. 426,
  727. 6978,
  728. 6711,
  729. 7349,
  730. 1855,
  731. 570,
  732. 792,
  733. 6266,
  734. 5048,
  735. 3832,
  736. 660,
  737. 5349,
  738. 2489,
  739. 3685,
  740. 6377,
  741. 2348,
  742. 2194,
  743. 3833,
  744. 5763,
  745. 7357,
  746. 4397,
  747. 6371,
  748. 4028,
  749. 4656,
  750. 9909,
  751. 460,
  752. 5638,
  753. 2521,
  754. 4842,
  755. 1266,
  756. 7442,
  757. 4820,
  758. 740,
  759. 4797,
  760. 8271,
  761. 7445,
  762. 4807,
  763. 9222,
  764. 720,
  765. 712,
  766. 6097,
  767. 8202,
  768. 6993,
  769. 7351,
  770. 3287,
  771. 2308,
  772. 788,
  773. 2027,
  774. 9837,
  775. 4157,
  776. 3745,
  777. 7632,
  778. 9206,
  779. 7558,
  780. 4907,
  781. 7215,
  782. 6471,
  783. 3071,
  784. 9491,
  785. 1028,
  786. 141,
  787. 3808,
  788. 7267,
  789. 198,
  790. 8243,
  791. 3580,
  792. 5563,
  793. 2530,
  794. 6482,
  795. 4124,
  796. 1230,
  797. 2112,
  798. 2741,
  799. 1092,
  800. 6103,
  801. 1262,
  802. 9508,
  803. 1433,
  804. 8139,
  805. 9280,
  806. 7035,
  807. 2043,
  808. 9883,
  809. 8371].
  810. reduce(:+)).
  811. select(&:even?).
  812. reduce(:+)
Add Comment
Please, Sign In to add comment