Last active
November 25, 2021 04:55
-
-
Save jordanorelli/11dcd606cf05ae88469e70d9527e9ef1 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package main | |
| import ( | |
| "fmt" | |
| "reflect" | |
| ) | |
| type pair[T, Z any] struct { | |
| left T | |
| right Z | |
| } | |
| func cons[T any, Z any](left T, right Z) pair[T, Z] { | |
| return pair[T, Z]{ | |
| left: left, | |
| right: right, | |
| } | |
| } | |
| func main() { | |
| v1 := cons(1, 2) | |
| v2 := cons(v1, 3) | |
| v3 := cons(v2, 4) | |
| v4 := cons(v3, 5) | |
| v5 := cons(v4, 6) | |
| v6 := cons(v5, 7) | |
| v7 := cons(v6, 8) | |
| v8 := cons(v7, 9) | |
| v9 := cons(v8, 10) | |
| v10 := cons(v9, 11) | |
| v11 := cons(v10, 12) | |
| v12 := cons(v11, 13) | |
| v13 := cons(v12, 14) | |
| v14 := cons(v13, 15) | |
| v15 := cons(v14, 16) | |
| v16 := cons(v15, 17) | |
| v17 := cons(v16, 18) | |
| v18 := cons(v17, 19) | |
| v19 := cons(v18, 20) | |
| v20 := cons(v19, 21) | |
| v21 := cons(v20, 22) | |
| v22 := cons(v21, 23) | |
| v23 := cons(v22, 24) | |
| v24 := cons(v23, 25) | |
| v25 := cons(v24, 26) | |
| v26 := cons(v25, 27) | |
| v27 := cons(v26, 28) | |
| v28 := cons(v27, 29) | |
| v29 := cons(v28, 30) | |
| v30 := cons(v29, 31) | |
| v31 := cons(v30, 32) | |
| v32 := cons(v31, 33) | |
| v33 := cons(v32, 34) | |
| v34 := cons(v33, 35) | |
| v35 := cons(v34, 36) | |
| v36 := cons(v35, 37) | |
| v37 := cons(v36, 38) | |
| v38 := cons(v37, 39) | |
| v39 := cons(v38, 40) | |
| v40 := cons(v39, 41) | |
| v41 := cons(v40, 42) | |
| v42 := cons(v41, 43) | |
| v43 := cons(v42, 44) | |
| v44 := cons(v43, 45) | |
| v45 := cons(v44, 46) | |
| v46 := cons(v45, 47) | |
| v47 := cons(v46, 48) | |
| v48 := cons(v47, 49) | |
| v49 := cons(v48, 50) | |
| v50 := cons(v49, 51) | |
| v51 := cons(v50, 52) | |
| v52 := cons(v51, 53) | |
| v53 := cons(v52, 54) | |
| v54 := cons(v53, 55) | |
| v55 := cons(v54, 56) | |
| v56 := cons(v55, 57) | |
| v57 := cons(v56, 58) | |
| v58 := cons(v57, 59) | |
| v59 := cons(v58, 60) | |
| v60 := cons(v59, 61) | |
| v61 := cons(v60, 62) | |
| v62 := cons(v61, 63) | |
| v63 := cons(v62, 64) | |
| v64 := cons(v63, 65) | |
| v65 := cons(v64, 66) | |
| v66 := cons(v65, 67) | |
| v67 := cons(v66, 68) | |
| v68 := cons(v67, 69) | |
| v69 := cons(v68, 70) | |
| v70 := cons(v69, 71) | |
| v71 := cons(v70, 72) | |
| v72 := cons(v71, 73) | |
| v73 := cons(v72, 74) | |
| v74 := cons(v73, 75) | |
| v75 := cons(v74, 76) | |
| v76 := cons(v75, 77) | |
| v77 := cons(v76, 78) | |
| v78 := cons(v77, 79) | |
| v79 := cons(v78, 80) | |
| v80 := cons(v79, 81) | |
| v81 := cons(v80, 82) | |
| v82 := cons(v81, 83) | |
| v83 := cons(v82, 84) | |
| v84 := cons(v83, 85) | |
| v85 := cons(v84, 86) | |
| v86 := cons(v85, 87) | |
| v87 := cons(v86, 88) | |
| v88 := cons(v87, 89) | |
| v89 := cons(v88, 90) | |
| v90 := cons(v89, 91) | |
| v91 := cons(v90, 92) | |
| v92 := cons(v91, 93) | |
| v93 := cons(v92, 94) | |
| v94 := cons(v93, 95) | |
| v95 := cons(v94, 96) | |
| v96 := cons(v95, 97) | |
| v97 := cons(v96, 98) | |
| v98 := cons(v97, 99) | |
| v99 := cons(v98, 100) | |
| v100 := cons(v99, 101) | |
| v101 := cons(v100, 102) | |
| v102 := cons(v101, 103) | |
| v103 := cons(v102, 104) | |
| v104 := cons(v103, 105) | |
| v105 := cons(v104, 106) | |
| v106 := cons(v105, 107) | |
| v107 := cons(v106, 108) | |
| v108 := cons(v107, 109) | |
| v109 := cons(v108, 110) | |
| v110 := cons(v109, 111) | |
| v111 := cons(v110, 112) | |
| v112 := cons(v111, 113) | |
| v113 := cons(v112, 114) | |
| v114 := cons(v113, 115) | |
| v115 := cons(v114, 116) | |
| v116 := cons(v115, 117) | |
| v117 := cons(v116, 118) | |
| v118 := cons(v117, 119) | |
| v119 := cons(v118, 120) | |
| v120 := cons(v119, 121) | |
| v121 := cons(v120, 122) | |
| v122 := cons(v121, 123) | |
| v123 := cons(v122, 124) | |
| v124 := cons(v123, 125) | |
| v125 := cons(v124, 126) | |
| v126 := cons(v125, 127) | |
| v127 := cons(v126, 128) | |
| v128 := cons(v127, 129) | |
| v129 := cons(v128, 130) | |
| v130 := cons(v129, 131) | |
| v131 := cons(v130, 132) | |
| v132 := cons(v131, 133) | |
| v133 := cons(v132, 134) | |
| v134 := cons(v133, 135) | |
| v135 := cons(v134, 136) | |
| v136 := cons(v135, 137) | |
| v137 := cons(v136, 138) | |
| v138 := cons(v137, 139) | |
| v139 := cons(v138, 140) | |
| v140 := cons(v139, 141) | |
| v141 := cons(v140, 142) | |
| v142 := cons(v141, 143) | |
| v143 := cons(v142, 144) | |
| v144 := cons(v143, 145) | |
| v145 := cons(v144, 146) | |
| v146 := cons(v145, 147) | |
| v147 := cons(v146, 148) | |
| v148 := cons(v147, 149) | |
| v149 := cons(v148, 150) | |
| v150 := cons(v149, 151) | |
| v151 := cons(v150, 152) | |
| v152 := cons(v151, 153) | |
| v153 := cons(v152, 154) | |
| v154 := cons(v153, 155) | |
| v155 := cons(v154, 156) | |
| v156 := cons(v155, 157) | |
| v157 := cons(v156, 158) | |
| v158 := cons(v157, 159) | |
| v159 := cons(v158, 160) | |
| v160 := cons(v159, 161) | |
| v161 := cons(v160, 162) | |
| v162 := cons(v161, 163) | |
| v163 := cons(v162, 164) | |
| v164 := cons(v163, 165) | |
| v165 := cons(v164, 166) | |
| v166 := cons(v165, 167) | |
| v167 := cons(v166, 168) | |
| v168 := cons(v167, 169) | |
| v169 := cons(v168, 170) | |
| v170 := cons(v169, 171) | |
| v171 := cons(v170, 172) | |
| v172 := cons(v171, 173) | |
| v173 := cons(v172, 174) | |
| v174 := cons(v173, 175) | |
| v175 := cons(v174, 176) | |
| v176 := cons(v175, 177) | |
| v177 := cons(v176, 178) | |
| v178 := cons(v177, 179) | |
| v179 := cons(v178, 180) | |
| v180 := cons(v179, 181) | |
| v181 := cons(v180, 182) | |
| v182 := cons(v181, 183) | |
| v183 := cons(v182, 184) | |
| v184 := cons(v183, 185) | |
| v185 := cons(v184, 186) | |
| v186 := cons(v185, 187) | |
| v187 := cons(v186, 188) | |
| v188 := cons(v187, 189) | |
| v189 := cons(v188, 190) | |
| v190 := cons(v189, 191) | |
| v191 := cons(v190, 192) | |
| v192 := cons(v191, 193) | |
| v193 := cons(v192, 194) | |
| v194 := cons(v193, 195) | |
| v195 := cons(v194, 196) | |
| v196 := cons(v195, 197) | |
| v197 := cons(v196, 198) | |
| v198 := cons(v197, 199) | |
| v199 := cons(v198, 200) | |
| v200 := cons(v199, 201) | |
| v201 := cons(v200, 202) | |
| v202 := cons(v201, 203) | |
| v203 := cons(v202, 204) | |
| v204 := cons(v203, 205) | |
| v205 := cons(v204, 206) | |
| v206 := cons(v205, 207) | |
| v207 := cons(v206, 208) | |
| v208 := cons(v207, 209) | |
| v209 := cons(v208, 210) | |
| v210 := cons(v209, 211) | |
| v211 := cons(v210, 212) | |
| v212 := cons(v211, 213) | |
| v213 := cons(v212, 214) | |
| v214 := cons(v213, 215) | |
| v215 := cons(v214, 216) | |
| v216 := cons(v215, 217) | |
| v217 := cons(v216, 218) | |
| v218 := cons(v217, 219) | |
| v219 := cons(v218, 220) | |
| v220 := cons(v219, 221) | |
| v221 := cons(v220, 222) | |
| v222 := cons(v221, 223) | |
| v223 := cons(v222, 224) | |
| v224 := cons(v223, 225) | |
| v225 := cons(v224, 226) | |
| v226 := cons(v225, 227) | |
| v227 := cons(v226, 228) | |
| v228 := cons(v227, 229) | |
| v229 := cons(v228, 230) | |
| v230 := cons(v229, 231) | |
| v231 := cons(v230, 232) | |
| v232 := cons(v231, 233) | |
| v233 := cons(v232, 234) | |
| v234 := cons(v233, 235) | |
| v235 := cons(v234, 236) | |
| v236 := cons(v235, 237) | |
| v237 := cons(v236, 238) | |
| v238 := cons(v237, 239) | |
| v239 := cons(v238, 240) | |
| v240 := cons(v239, 241) | |
| v241 := cons(v240, 242) | |
| v242 := cons(v241, 243) | |
| v243 := cons(v242, 244) | |
| v244 := cons(v243, 245) | |
| v245 := cons(v244, 246) | |
| v246 := cons(v245, 247) | |
| v247 := cons(v246, 248) | |
| v248 := cons(v247, 249) | |
| v249 := cons(v248, 250) | |
| v250 := cons(v249, 251) | |
| v251 := cons(v250, 252) | |
| v252 := cons(v251, 253) | |
| v253 := cons(v252, 254) | |
| v254 := cons(v253, 255) | |
| v255 := cons(v254, 256) | |
| v256 := cons(v255, 257) | |
| v257 := cons(v256, 258) | |
| v258 := cons(v257, 259) | |
| v259 := cons(v258, 260) | |
| v260 := cons(v259, 261) | |
| v261 := cons(v260, 262) | |
| v262 := cons(v261, 263) | |
| v263 := cons(v262, 264) | |
| v264 := cons(v263, 265) | |
| v265 := cons(v264, 266) | |
| v266 := cons(v265, 267) | |
| v267 := cons(v266, 268) | |
| v268 := cons(v267, 269) | |
| v269 := cons(v268, 270) | |
| v270 := cons(v269, 271) | |
| v271 := cons(v270, 272) | |
| v272 := cons(v271, 273) | |
| v273 := cons(v272, 274) | |
| v274 := cons(v273, 275) | |
| v275 := cons(v274, 276) | |
| v276 := cons(v275, 277) | |
| v277 := cons(v276, 278) | |
| v278 := cons(v277, 279) | |
| v279 := cons(v278, 280) | |
| v280 := cons(v279, 281) | |
| v281 := cons(v280, 282) | |
| v282 := cons(v281, 283) | |
| v283 := cons(v282, 284) | |
| v284 := cons(v283, 285) | |
| v285 := cons(v284, 286) | |
| v286 := cons(v285, 287) | |
| v287 := cons(v286, 288) | |
| v288 := cons(v287, 289) | |
| v289 := cons(v288, 290) | |
| v290 := cons(v289, 291) | |
| v291 := cons(v290, 292) | |
| v292 := cons(v291, 293) | |
| v293 := cons(v292, 294) | |
| v294 := cons(v293, 295) | |
| v295 := cons(v294, 296) | |
| v296 := cons(v295, 297) | |
| v297 := cons(v296, 298) | |
| v298 := cons(v297, 299) | |
| v299 := cons(v298, 300) | |
| v300 := cons(v299, 301) | |
| v301 := cons(v300, 302) | |
| v302 := cons(v301, 303) | |
| v303 := cons(v302, 304) | |
| v304 := cons(v303, 305) | |
| v305 := cons(v304, 306) | |
| v306 := cons(v305, 307) | |
| v307 := cons(v306, 308) | |
| v308 := cons(v307, 309) | |
| v309 := cons(v308, 310) | |
| v310 := cons(v309, 311) | |
| v311 := cons(v310, 312) | |
| v312 := cons(v311, 313) | |
| v313 := cons(v312, 314) | |
| v314 := cons(v313, 315) | |
| v315 := cons(v314, 316) | |
| v316 := cons(v315, 317) | |
| v317 := cons(v316, 318) | |
| v318 := cons(v317, 319) | |
| v319 := cons(v318, 320) | |
| v320 := cons(v319, 321) | |
| v321 := cons(v320, 322) | |
| v322 := cons(v321, 323) | |
| v323 := cons(v322, 324) | |
| v324 := cons(v323, 325) | |
| v325 := cons(v324, 326) | |
| v326 := cons(v325, 327) | |
| v327 := cons(v326, 328) | |
| v328 := cons(v327, 329) | |
| v329 := cons(v328, 330) | |
| v330 := cons(v329, 331) | |
| v331 := cons(v330, 332) | |
| v332 := cons(v331, 333) | |
| v333 := cons(v332, 334) | |
| v334 := cons(v333, 335) | |
| v335 := cons(v334, 336) | |
| v336 := cons(v335, 337) | |
| v337 := cons(v336, 338) | |
| v338 := cons(v337, 339) | |
| v339 := cons(v338, 340) | |
| v340 := cons(v339, 341) | |
| v341 := cons(v340, 342) | |
| v342 := cons(v341, 343) | |
| v343 := cons(v342, 344) | |
| v344 := cons(v343, 345) | |
| v345 := cons(v344, 346) | |
| v346 := cons(v345, 347) | |
| v347 := cons(v346, 348) | |
| v348 := cons(v347, 349) | |
| v349 := cons(v348, 350) | |
| v350 := cons(v349, 351) | |
| v351 := cons(v350, 352) | |
| v352 := cons(v351, 353) | |
| v353 := cons(v352, 354) | |
| v354 := cons(v353, 355) | |
| v355 := cons(v354, 356) | |
| v356 := cons(v355, 357) | |
| v357 := cons(v356, 358) | |
| v358 := cons(v357, 359) | |
| v359 := cons(v358, 360) | |
| v360 := cons(v359, 361) | |
| v361 := cons(v360, 362) | |
| v362 := cons(v361, 363) | |
| v363 := cons(v362, 364) | |
| v364 := cons(v363, 365) | |
| v365 := cons(v364, 366) | |
| v366 := cons(v365, 367) | |
| v367 := cons(v366, 368) | |
| v368 := cons(v367, 369) | |
| v369 := cons(v368, 370) | |
| v370 := cons(v369, 371) | |
| v371 := cons(v370, 372) | |
| v372 := cons(v371, 373) | |
| v373 := cons(v372, 374) | |
| v374 := cons(v373, 375) | |
| v375 := cons(v374, 376) | |
| v376 := cons(v375, 377) | |
| v377 := cons(v376, 378) | |
| v378 := cons(v377, 379) | |
| v379 := cons(v378, 380) | |
| v380 := cons(v379, 381) | |
| v381 := cons(v380, 382) | |
| v382 := cons(v381, 383) | |
| v383 := cons(v382, 384) | |
| v384 := cons(v383, 385) | |
| v385 := cons(v384, 386) | |
| v386 := cons(v385, 387) | |
| v387 := cons(v386, 388) | |
| v388 := cons(v387, 389) | |
| v389 := cons(v388, 390) | |
| v390 := cons(v389, 391) | |
| v391 := cons(v390, 392) | |
| v392 := cons(v391, 393) | |
| v393 := cons(v392, 394) | |
| v394 := cons(v393, 395) | |
| v395 := cons(v394, 396) | |
| v396 := cons(v395, 397) | |
| v397 := cons(v396, 398) | |
| v398 := cons(v397, 399) | |
| v399 := cons(v398, 400) | |
| v400 := cons(v399, 401) | |
| v401 := cons(v400, 402) | |
| v402 := cons(v401, 403) | |
| v403 := cons(v402, 404) | |
| v404 := cons(v403, 405) | |
| v405 := cons(v404, 406) | |
| v406 := cons(v405, 407) | |
| v407 := cons(v406, 408) | |
| v408 := cons(v407, 409) | |
| v409 := cons(v408, 410) | |
| v410 := cons(v409, 411) | |
| v411 := cons(v410, 412) | |
| v412 := cons(v411, 413) | |
| v413 := cons(v412, 414) | |
| v414 := cons(v413, 415) | |
| v415 := cons(v414, 416) | |
| v416 := cons(v415, 417) | |
| v417 := cons(v416, 418) | |
| v418 := cons(v417, 419) | |
| v419 := cons(v418, 420) | |
| v420 := cons(v419, 421) | |
| v421 := cons(v420, 422) | |
| v422 := cons(v421, 423) | |
| v423 := cons(v422, 424) | |
| v424 := cons(v423, 425) | |
| v425 := cons(v424, 426) | |
| v426 := cons(v425, 427) | |
| v427 := cons(v426, 428) | |
| v428 := cons(v427, 429) | |
| v429 := cons(v428, 430) | |
| v430 := cons(v429, 431) | |
| v431 := cons(v430, 432) | |
| v432 := cons(v431, 433) | |
| v433 := cons(v432, 434) | |
| v434 := cons(v433, 435) | |
| v435 := cons(v434, 436) | |
| v436 := cons(v435, 437) | |
| v437 := cons(v436, 438) | |
| v438 := cons(v437, 439) | |
| v439 := cons(v438, 440) | |
| v440 := cons(v439, 441) | |
| v441 := cons(v440, 442) | |
| v442 := cons(v441, 443) | |
| v443 := cons(v442, 444) | |
| v444 := cons(v443, 445) | |
| v445 := cons(v444, 446) | |
| v446 := cons(v445, 447) | |
| v447 := cons(v446, 448) | |
| v448 := cons(v447, 449) | |
| v449 := cons(v448, 450) | |
| v450 := cons(v449, 451) | |
| v451 := cons(v450, 452) | |
| v452 := cons(v451, 453) | |
| v453 := cons(v452, 454) | |
| v454 := cons(v453, 455) | |
| v455 := cons(v454, 456) | |
| v456 := cons(v455, 457) | |
| v457 := cons(v456, 458) | |
| v458 := cons(v457, 459) | |
| v459 := cons(v458, 460) | |
| v460 := cons(v459, 461) | |
| v461 := cons(v460, 462) | |
| v462 := cons(v461, 463) | |
| v463 := cons(v462, 464) | |
| v464 := cons(v463, 465) | |
| v465 := cons(v464, 466) | |
| v466 := cons(v465, 467) | |
| v467 := cons(v466, 468) | |
| v468 := cons(v467, 469) | |
| v469 := cons(v468, 470) | |
| v470 := cons(v469, 471) | |
| v471 := cons(v470, 472) | |
| v472 := cons(v471, 473) | |
| v473 := cons(v472, 474) | |
| v474 := cons(v473, 475) | |
| v475 := cons(v474, 476) | |
| v476 := cons(v475, 477) | |
| v477 := cons(v476, 478) | |
| v478 := cons(v477, 479) | |
| v479 := cons(v478, 480) | |
| v480 := cons(v479, 481) | |
| v481 := cons(v480, 482) | |
| v482 := cons(v481, 483) | |
| v483 := cons(v482, 484) | |
| v484 := cons(v483, 485) | |
| v485 := cons(v484, 486) | |
| v486 := cons(v485, 487) | |
| v487 := cons(v486, 488) | |
| v488 := cons(v487, 489) | |
| v489 := cons(v488, 490) | |
| v490 := cons(v489, 491) | |
| v491 := cons(v490, 492) | |
| v492 := cons(v491, 493) | |
| v493 := cons(v492, 494) | |
| v494 := cons(v493, 495) | |
| v495 := cons(v494, 496) | |
| v496 := cons(v495, 497) | |
| v497 := cons(v496, 498) | |
| v498 := cons(v497, 499) | |
| v499 := cons(v498, 500) | |
| v500 := cons(v499, 501) | |
| v501 := cons(v500, 502) | |
| v502 := cons(v501, 503) | |
| v503 := cons(v502, 504) | |
| v504 := cons(v503, 505) | |
| v505 := cons(v504, 506) | |
| v506 := cons(v505, 507) | |
| v507 := cons(v506, 508) | |
| v508 := cons(v507, 509) | |
| v509 := cons(v508, 510) | |
| v510 := cons(v509, 511) | |
| v511 := cons(v510, 512) | |
| v512 := cons(v511, 513) | |
| v513 := cons(v512, 514) | |
| v514 := cons(v513, 515) | |
| v515 := cons(v514, 516) | |
| v516 := cons(v515, 517) | |
| v517 := cons(v516, 518) | |
| v518 := cons(v517, 519) | |
| v519 := cons(v518, 520) | |
| v520 := cons(v519, 521) | |
| v521 := cons(v520, 522) | |
| v522 := cons(v521, 523) | |
| v523 := cons(v522, 524) | |
| v524 := cons(v523, 525) | |
| v525 := cons(v524, 526) | |
| v526 := cons(v525, 527) | |
| v527 := cons(v526, 528) | |
| v528 := cons(v527, 529) | |
| v529 := cons(v528, 530) | |
| v530 := cons(v529, 531) | |
| v531 := cons(v530, 532) | |
| v532 := cons(v531, 533) | |
| v533 := cons(v532, 534) | |
| v534 := cons(v533, 535) | |
| v535 := cons(v534, 536) | |
| v536 := cons(v535, 537) | |
| v537 := cons(v536, 538) | |
| v538 := cons(v537, 539) | |
| v539 := cons(v538, 540) | |
| v540 := cons(v539, 541) | |
| v541 := cons(v540, 542) | |
| v542 := cons(v541, 543) | |
| v543 := cons(v542, 544) | |
| v544 := cons(v543, 545) | |
| v545 := cons(v544, 546) | |
| v546 := cons(v545, 547) | |
| v547 := cons(v546, 548) | |
| v548 := cons(v547, 549) | |
| v549 := cons(v548, 550) | |
| v550 := cons(v549, 551) | |
| v551 := cons(v550, 552) | |
| v552 := cons(v551, 553) | |
| v553 := cons(v552, 554) | |
| v554 := cons(v553, 555) | |
| v555 := cons(v554, 556) | |
| v556 := cons(v555, 557) | |
| v557 := cons(v556, 558) | |
| v558 := cons(v557, 559) | |
| v559 := cons(v558, 560) | |
| v560 := cons(v559, 561) | |
| v561 := cons(v560, 562) | |
| v562 := cons(v561, 563) | |
| v563 := cons(v562, 564) | |
| v564 := cons(v563, 565) | |
| v565 := cons(v564, 566) | |
| v566 := cons(v565, 567) | |
| v567 := cons(v566, 568) | |
| v568 := cons(v567, 569) | |
| v569 := cons(v568, 570) | |
| v570 := cons(v569, 571) | |
| v571 := cons(v570, 572) | |
| v572 := cons(v571, 573) | |
| v573 := cons(v572, 574) | |
| v574 := cons(v573, 575) | |
| v575 := cons(v574, 576) | |
| v576 := cons(v575, 577) | |
| v577 := cons(v576, 578) | |
| v578 := cons(v577, 579) | |
| v579 := cons(v578, 580) | |
| v580 := cons(v579, 581) | |
| v581 := cons(v580, 582) | |
| v582 := cons(v581, 583) | |
| v583 := cons(v582, 584) | |
| v584 := cons(v583, 585) | |
| v585 := cons(v584, 586) | |
| v586 := cons(v585, 587) | |
| v587 := cons(v586, 588) | |
| v588 := cons(v587, 589) | |
| v589 := cons(v588, 590) | |
| v590 := cons(v589, 591) | |
| v591 := cons(v590, 592) | |
| v592 := cons(v591, 593) | |
| v593 := cons(v592, 594) | |
| v594 := cons(v593, 595) | |
| v595 := cons(v594, 596) | |
| v596 := cons(v595, 597) | |
| v597 := cons(v596, 598) | |
| v598 := cons(v597, 599) | |
| v599 := cons(v598, 600) | |
| v600 := cons(v599, 601) | |
| v601 := cons(v600, 602) | |
| v602 := cons(v601, 603) | |
| v603 := cons(v602, 604) | |
| v604 := cons(v603, 605) | |
| v605 := cons(v604, 606) | |
| v606 := cons(v605, 607) | |
| v607 := cons(v606, 608) | |
| v608 := cons(v607, 609) | |
| v609 := cons(v608, 610) | |
| v610 := cons(v609, 611) | |
| v611 := cons(v610, 612) | |
| v612 := cons(v611, 613) | |
| v613 := cons(v612, 614) | |
| v614 := cons(v613, 615) | |
| v615 := cons(v614, 616) | |
| v616 := cons(v615, 617) | |
| v617 := cons(v616, 618) | |
| v618 := cons(v617, 619) | |
| v619 := cons(v618, 620) | |
| v620 := cons(v619, 621) | |
| v621 := cons(v620, 622) | |
| v622 := cons(v621, 623) | |
| v623 := cons(v622, 624) | |
| v624 := cons(v623, 625) | |
| v625 := cons(v624, 626) | |
| v626 := cons(v625, 627) | |
| v627 := cons(v626, 628) | |
| v628 := cons(v627, 629) | |
| v629 := cons(v628, 630) | |
| v630 := cons(v629, 631) | |
| v631 := cons(v630, 632) | |
| v632 := cons(v631, 633) | |
| v633 := cons(v632, 634) | |
| v634 := cons(v633, 635) | |
| v635 := cons(v634, 636) | |
| v636 := cons(v635, 637) | |
| v637 := cons(v636, 638) | |
| v638 := cons(v637, 639) | |
| v639 := cons(v638, 640) | |
| v640 := cons(v639, 641) | |
| v641 := cons(v640, 642) | |
| v642 := cons(v641, 643) | |
| v643 := cons(v642, 644) | |
| v644 := cons(v643, 645) | |
| v645 := cons(v644, 646) | |
| v646 := cons(v645, 647) | |
| v647 := cons(v646, 648) | |
| v648 := cons(v647, 649) | |
| v649 := cons(v648, 650) | |
| v650 := cons(v649, 651) | |
| v651 := cons(v650, 652) | |
| v652 := cons(v651, 653) | |
| v653 := cons(v652, 654) | |
| v654 := cons(v653, 655) | |
| v655 := cons(v654, 656) | |
| v656 := cons(v655, 657) | |
| v657 := cons(v656, 658) | |
| v658 := cons(v657, 659) | |
| v659 := cons(v658, 660) | |
| v660 := cons(v659, 661) | |
| v661 := cons(v660, 662) | |
| v662 := cons(v661, 663) | |
| v663 := cons(v662, 664) | |
| v664 := cons(v663, 665) | |
| v665 := cons(v664, 666) | |
| v666 := cons(v665, 667) | |
| v667 := cons(v666, 668) | |
| v668 := cons(v667, 669) | |
| v669 := cons(v668, 670) | |
| v670 := cons(v669, 671) | |
| v671 := cons(v670, 672) | |
| v672 := cons(v671, 673) | |
| v673 := cons(v672, 674) | |
| v674 := cons(v673, 675) | |
| v675 := cons(v674, 676) | |
| v676 := cons(v675, 677) | |
| v677 := cons(v676, 678) | |
| v678 := cons(v677, 679) | |
| v679 := cons(v678, 680) | |
| v680 := cons(v679, 681) | |
| v681 := cons(v680, 682) | |
| v682 := cons(v681, 683) | |
| v683 := cons(v682, 684) | |
| v684 := cons(v683, 685) | |
| v685 := cons(v684, 686) | |
| v686 := cons(v685, 687) | |
| v687 := cons(v686, 688) | |
| v688 := cons(v687, 689) | |
| v689 := cons(v688, 690) | |
| v690 := cons(v689, 691) | |
| v691 := cons(v690, 692) | |
| v692 := cons(v691, 693) | |
| v693 := cons(v692, 694) | |
| v694 := cons(v693, 695) | |
| v695 := cons(v694, 696) | |
| v696 := cons(v695, 697) | |
| v697 := cons(v696, 698) | |
| v698 := cons(v697, 699) | |
| v699 := cons(v698, 700) | |
| v700 := cons(v699, 701) | |
| v701 := cons(v700, 702) | |
| v702 := cons(v701, 703) | |
| v703 := cons(v702, 704) | |
| v704 := cons(v703, 705) | |
| v705 := cons(v704, 706) | |
| v706 := cons(v705, 707) | |
| v707 := cons(v706, 708) | |
| v708 := cons(v707, 709) | |
| v709 := cons(v708, 710) | |
| v710 := cons(v709, 711) | |
| v711 := cons(v710, 712) | |
| v712 := cons(v711, 713) | |
| v713 := cons(v712, 714) | |
| v714 := cons(v713, 715) | |
| v715 := cons(v714, 716) | |
| v716 := cons(v715, 717) | |
| v717 := cons(v716, 718) | |
| v718 := cons(v717, 719) | |
| v719 := cons(v718, 720) | |
| v720 := cons(v719, 721) | |
| v721 := cons(v720, 722) | |
| v722 := cons(v721, 723) | |
| v723 := cons(v722, 724) | |
| v724 := cons(v723, 725) | |
| v725 := cons(v724, 726) | |
| v726 := cons(v725, 727) | |
| v727 := cons(v726, 728) | |
| v728 := cons(v727, 729) | |
| v729 := cons(v728, 730) | |
| v730 := cons(v729, 731) | |
| v731 := cons(v730, 732) | |
| v732 := cons(v731, 733) | |
| v733 := cons(v732, 734) | |
| v734 := cons(v733, 735) | |
| v735 := cons(v734, 736) | |
| v736 := cons(v735, 737) | |
| v737 := cons(v736, 738) | |
| v738 := cons(v737, 739) | |
| v739 := cons(v738, 740) | |
| v740 := cons(v739, 741) | |
| v741 := cons(v740, 742) | |
| v742 := cons(v741, 743) | |
| v743 := cons(v742, 744) | |
| v744 := cons(v743, 745) | |
| v745 := cons(v744, 746) | |
| v746 := cons(v745, 747) | |
| v747 := cons(v746, 748) | |
| v748 := cons(v747, 749) | |
| v749 := cons(v748, 750) | |
| v750 := cons(v749, 751) | |
| v751 := cons(v750, 752) | |
| v752 := cons(v751, 753) | |
| v753 := cons(v752, 754) | |
| v754 := cons(v753, 755) | |
| v755 := cons(v754, 756) | |
| v756 := cons(v755, 757) | |
| v757 := cons(v756, 758) | |
| v758 := cons(v757, 759) | |
| v759 := cons(v758, 760) | |
| v760 := cons(v759, 761) | |
| v761 := cons(v760, 762) | |
| v762 := cons(v761, 763) | |
| v763 := cons(v762, 764) | |
| v764 := cons(v763, 765) | |
| v765 := cons(v764, 766) | |
| v766 := cons(v765, 767) | |
| v767 := cons(v766, 768) | |
| v768 := cons(v767, 769) | |
| v769 := cons(v768, 770) | |
| v770 := cons(v769, 771) | |
| v771 := cons(v770, 772) | |
| v772 := cons(v771, 773) | |
| v773 := cons(v772, 774) | |
| v774 := cons(v773, 775) | |
| v775 := cons(v774, 776) | |
| v776 := cons(v775, 777) | |
| v777 := cons(v776, 778) | |
| v778 := cons(v777, 779) | |
| v779 := cons(v778, 780) | |
| v780 := cons(v779, 781) | |
| v781 := cons(v780, 782) | |
| v782 := cons(v781, 783) | |
| v783 := cons(v782, 784) | |
| v784 := cons(v783, 785) | |
| v785 := cons(v784, 786) | |
| v786 := cons(v785, 787) | |
| v787 := cons(v786, 788) | |
| v788 := cons(v787, 789) | |
| v789 := cons(v788, 790) | |
| v790 := cons(v789, 791) | |
| v791 := cons(v790, 792) | |
| v792 := cons(v791, 793) | |
| v793 := cons(v792, 794) | |
| v794 := cons(v793, 795) | |
| v795 := cons(v794, 796) | |
| v796 := cons(v795, 797) | |
| v797 := cons(v796, 798) | |
| v798 := cons(v797, 799) | |
| v799 := cons(v798, 800) | |
| v800 := cons(v799, 801) | |
| v801 := cons(v800, 802) | |
| v802 := cons(v801, 803) | |
| v803 := cons(v802, 804) | |
| v804 := cons(v803, 805) | |
| v805 := cons(v804, 806) | |
| v806 := cons(v805, 807) | |
| v807 := cons(v806, 808) | |
| v808 := cons(v807, 809) | |
| v809 := cons(v808, 810) | |
| v810 := cons(v809, 811) | |
| v811 := cons(v810, 812) | |
| v812 := cons(v811, 813) | |
| v813 := cons(v812, 814) | |
| v814 := cons(v813, 815) | |
| v815 := cons(v814, 816) | |
| v816 := cons(v815, 817) | |
| v817 := cons(v816, 818) | |
| v818 := cons(v817, 819) | |
| v819 := cons(v818, 820) | |
| v820 := cons(v819, 821) | |
| v821 := cons(v820, 822) | |
| v822 := cons(v821, 823) | |
| v823 := cons(v822, 824) | |
| v824 := cons(v823, 825) | |
| v825 := cons(v824, 826) | |
| v826 := cons(v825, 827) | |
| v827 := cons(v826, 828) | |
| v828 := cons(v827, 829) | |
| v829 := cons(v828, 830) | |
| v830 := cons(v829, 831) | |
| v831 := cons(v830, 832) | |
| v832 := cons(v831, 833) | |
| v833 := cons(v832, 834) | |
| v834 := cons(v833, 835) | |
| v835 := cons(v834, 836) | |
| v836 := cons(v835, 837) | |
| v837 := cons(v836, 838) | |
| v838 := cons(v837, 839) | |
| v839 := cons(v838, 840) | |
| v840 := cons(v839, 841) | |
| v841 := cons(v840, 842) | |
| v842 := cons(v841, 843) | |
| v843 := cons(v842, 844) | |
| v844 := cons(v843, 845) | |
| v845 := cons(v844, 846) | |
| v846 := cons(v845, 847) | |
| v847 := cons(v846, 848) | |
| v848 := cons(v847, 849) | |
| v849 := cons(v848, 850) | |
| v850 := cons(v849, 851) | |
| v851 := cons(v850, 852) | |
| v852 := cons(v851, 853) | |
| v853 := cons(v852, 854) | |
| v854 := cons(v853, 855) | |
| v855 := cons(v854, 856) | |
| v856 := cons(v855, 857) | |
| v857 := cons(v856, 858) | |
| v858 := cons(v857, 859) | |
| v859 := cons(v858, 860) | |
| v860 := cons(v859, 861) | |
| v861 := cons(v860, 862) | |
| v862 := cons(v861, 863) | |
| v863 := cons(v862, 864) | |
| v864 := cons(v863, 865) | |
| v865 := cons(v864, 866) | |
| v866 := cons(v865, 867) | |
| v867 := cons(v866, 868) | |
| v868 := cons(v867, 869) | |
| v869 := cons(v868, 870) | |
| v870 := cons(v869, 871) | |
| v871 := cons(v870, 872) | |
| v872 := cons(v871, 873) | |
| v873 := cons(v872, 874) | |
| v874 := cons(v873, 875) | |
| v875 := cons(v874, 876) | |
| v876 := cons(v875, 877) | |
| v877 := cons(v876, 878) | |
| v878 := cons(v877, 879) | |
| v879 := cons(v878, 880) | |
| v880 := cons(v879, 881) | |
| v881 := cons(v880, 882) | |
| v882 := cons(v881, 883) | |
| v883 := cons(v882, 884) | |
| v884 := cons(v883, 885) | |
| v885 := cons(v884, 886) | |
| v886 := cons(v885, 887) | |
| v887 := cons(v886, 888) | |
| v888 := cons(v887, 889) | |
| v889 := cons(v888, 890) | |
| v890 := cons(v889, 891) | |
| v891 := cons(v890, 892) | |
| v892 := cons(v891, 893) | |
| v893 := cons(v892, 894) | |
| v894 := cons(v893, 895) | |
| v895 := cons(v894, 896) | |
| v896 := cons(v895, 897) | |
| v897 := cons(v896, 898) | |
| v898 := cons(v897, 899) | |
| v899 := cons(v898, 900) | |
| v900 := cons(v899, 901) | |
| v901 := cons(v900, 902) | |
| v902 := cons(v901, 903) | |
| v903 := cons(v902, 904) | |
| v904 := cons(v903, 905) | |
| v905 := cons(v904, 906) | |
| v906 := cons(v905, 907) | |
| v907 := cons(v906, 908) | |
| v908 := cons(v907, 909) | |
| v909 := cons(v908, 910) | |
| v910 := cons(v909, 911) | |
| v911 := cons(v910, 912) | |
| v912 := cons(v911, 913) | |
| v913 := cons(v912, 914) | |
| v914 := cons(v913, 915) | |
| v915 := cons(v914, 916) | |
| v916 := cons(v915, 917) | |
| v917 := cons(v916, 918) | |
| v918 := cons(v917, 919) | |
| v919 := cons(v918, 920) | |
| v920 := cons(v919, 921) | |
| v921 := cons(v920, 922) | |
| v922 := cons(v921, 923) | |
| v923 := cons(v922, 924) | |
| v924 := cons(v923, 925) | |
| v925 := cons(v924, 926) | |
| v926 := cons(v925, 927) | |
| v927 := cons(v926, 928) | |
| v928 := cons(v927, 929) | |
| v929 := cons(v928, 930) | |
| v930 := cons(v929, 931) | |
| v931 := cons(v930, 932) | |
| v932 := cons(v931, 933) | |
| v933 := cons(v932, 934) | |
| v934 := cons(v933, 935) | |
| v935 := cons(v934, 936) | |
| v936 := cons(v935, 937) | |
| v937 := cons(v936, 938) | |
| v938 := cons(v937, 939) | |
| v939 := cons(v938, 940) | |
| v940 := cons(v939, 941) | |
| v941 := cons(v940, 942) | |
| v942 := cons(v941, 943) | |
| v943 := cons(v942, 944) | |
| v944 := cons(v943, 945) | |
| v945 := cons(v944, 946) | |
| v946 := cons(v945, 947) | |
| v947 := cons(v946, 948) | |
| v948 := cons(v947, 949) | |
| v949 := cons(v948, 950) | |
| v950 := cons(v949, 951) | |
| v951 := cons(v950, 952) | |
| v952 := cons(v951, 953) | |
| v953 := cons(v952, 954) | |
| v954 := cons(v953, 955) | |
| v955 := cons(v954, 956) | |
| v956 := cons(v955, 957) | |
| v957 := cons(v956, 958) | |
| v958 := cons(v957, 959) | |
| v959 := cons(v958, 960) | |
| v960 := cons(v959, 961) | |
| v961 := cons(v960, 962) | |
| v962 := cons(v961, 963) | |
| v963 := cons(v962, 964) | |
| v964 := cons(v963, 965) | |
| v965 := cons(v964, 966) | |
| v966 := cons(v965, 967) | |
| v967 := cons(v966, 968) | |
| v968 := cons(v967, 969) | |
| v969 := cons(v968, 970) | |
| v970 := cons(v969, 971) | |
| v971 := cons(v970, 972) | |
| v972 := cons(v971, 973) | |
| v973 := cons(v972, 974) | |
| v974 := cons(v973, 975) | |
| v975 := cons(v974, 976) | |
| v976 := cons(v975, 977) | |
| v977 := cons(v976, 978) | |
| v978 := cons(v977, 979) | |
| v979 := cons(v978, 980) | |
| v980 := cons(v979, 981) | |
| v981 := cons(v980, 982) | |
| v982 := cons(v981, 983) | |
| v983 := cons(v982, 984) | |
| v984 := cons(v983, 985) | |
| v985 := cons(v984, 986) | |
| v986 := cons(v985, 987) | |
| v987 := cons(v986, 988) | |
| v988 := cons(v987, 989) | |
| v989 := cons(v988, 990) | |
| v990 := cons(v989, 991) | |
| v991 := cons(v990, 992) | |
| v992 := cons(v991, 993) | |
| v993 := cons(v992, 994) | |
| v994 := cons(v993, 995) | |
| v995 := cons(v994, 996) | |
| v996 := cons(v995, 997) | |
| v997 := cons(v996, 998) | |
| v998 := cons(v997, 999) | |
| v999 := cons(v998, 1000) | |
| v1000 := cons(v999, 1001) | |
| v1001 := cons(v1000, 1002) | |
| v1002 := cons(v1001, 1003) | |
| v1003 := cons(v1002, 1004) | |
| v1004 := cons(v1003, 1005) | |
| v1005 := cons(v1004, 1006) | |
| v1006 := cons(v1005, 1007) | |
| v1007 := cons(v1006, 1008) | |
| v1008 := cons(v1007, 1009) | |
| v1009 := cons(v1008, 1010) | |
| v1010 := cons(v1009, 1011) | |
| v1011 := cons(v1010, 1012) | |
| v1012 := cons(v1011, 1013) | |
| v1013 := cons(v1012, 1014) | |
| v1014 := cons(v1013, 1015) | |
| v1015 := cons(v1014, 1016) | |
| v1016 := cons(v1015, 1017) | |
| v1017 := cons(v1016, 1018) | |
| v1018 := cons(v1017, 1019) | |
| v1019 := cons(v1018, 1020) | |
| v1020 := cons(v1019, 1021) | |
| v1021 := cons(v1020, 1022) | |
| v1022 := cons(v1021, 1023) | |
| v1023 := cons(v1022, 1024) | |
| v1024 := cons(v1023, 1025) | |
| v1025 := cons(v1024, 1026) | |
| v1026 := cons(v1025, 1027) | |
| v1027 := cons(v1026, 1028) | |
| v1028 := cons(v1027, 1029) | |
| v1029 := cons(v1028, 1030) | |
| v1030 := cons(v1029, 1031) | |
| v1031 := cons(v1030, 1032) | |
| v1032 := cons(v1031, 1033) | |
| v1033 := cons(v1032, 1034) | |
| v1034 := cons(v1033, 1035) | |
| v1035 := cons(v1034, 1036) | |
| v1036 := cons(v1035, 1037) | |
| v1037 := cons(v1036, 1038) | |
| v1038 := cons(v1037, 1039) | |
| v1039 := cons(v1038, 1040) | |
| v1040 := cons(v1039, 1041) | |
| v1041 := cons(v1040, 1042) | |
| v1042 := cons(v1041, 1043) | |
| v1043 := cons(v1042, 1044) | |
| v1044 := cons(v1043, 1045) | |
| v1045 := cons(v1044, 1046) | |
| v1046 := cons(v1045, 1047) | |
| v1047 := cons(v1046, 1048) | |
| v1048 := cons(v1047, 1049) | |
| v1049 := cons(v1048, 1050) | |
| v1050 := cons(v1049, 1051) | |
| v1051 := cons(v1050, 1052) | |
| v1052 := cons(v1051, 1053) | |
| v1053 := cons(v1052, 1054) | |
| v1054 := cons(v1053, 1055) | |
| v1055 := cons(v1054, 1056) | |
| v1056 := cons(v1055, 1057) | |
| v1057 := cons(v1056, 1058) | |
| v1058 := cons(v1057, 1059) | |
| v1059 := cons(v1058, 1060) | |
| v1060 := cons(v1059, 1061) | |
| v1061 := cons(v1060, 1062) | |
| v1062 := cons(v1061, 1063) | |
| v1063 := cons(v1062, 1064) | |
| v1064 := cons(v1063, 1065) | |
| v1065 := cons(v1064, 1066) | |
| v1066 := cons(v1065, 1067) | |
| v1067 := cons(v1066, 1068) | |
| v1068 := cons(v1067, 1069) | |
| v1069 := cons(v1068, 1070) | |
| v1070 := cons(v1069, 1071) | |
| v1071 := cons(v1070, 1072) | |
| v1072 := cons(v1071, 1073) | |
| v1073 := cons(v1072, 1074) | |
| v1074 := cons(v1073, 1075) | |
| v1075 := cons(v1074, 1076) | |
| v1076 := cons(v1075, 1077) | |
| v1077 := cons(v1076, 1078) | |
| v1078 := cons(v1077, 1079) | |
| v1079 := cons(v1078, 1080) | |
| v1080 := cons(v1079, 1081) | |
| v1081 := cons(v1080, 1082) | |
| v1082 := cons(v1081, 1083) | |
| v1083 := cons(v1082, 1084) | |
| v1084 := cons(v1083, 1085) | |
| v1085 := cons(v1084, 1086) | |
| v1086 := cons(v1085, 1087) | |
| v1087 := cons(v1086, 1088) | |
| v1088 := cons(v1087, 1089) | |
| v1089 := cons(v1088, 1090) | |
| v1090 := cons(v1089, 1091) | |
| v1091 := cons(v1090, 1092) | |
| v1092 := cons(v1091, 1093) | |
| v1093 := cons(v1092, 1094) | |
| v1094 := cons(v1093, 1095) | |
| v1095 := cons(v1094, 1096) | |
| v1096 := cons(v1095, 1097) | |
| v1097 := cons(v1096, 1098) | |
| v1098 := cons(v1097, 1099) | |
| v1099 := cons(v1098, 1100) | |
| v1100 := cons(v1099, 1101) | |
| v1101 := cons(v1100, 1102) | |
| v1102 := cons(v1101, 1103) | |
| v1103 := cons(v1102, 1104) | |
| v1104 := cons(v1103, 1105) | |
| v1105 := cons(v1104, 1106) | |
| v1106 := cons(v1105, 1107) | |
| v1107 := cons(v1106, 1108) | |
| v1108 := cons(v1107, 1109) | |
| v1109 := cons(v1108, 1110) | |
| v1110 := cons(v1109, 1111) | |
| v1111 := cons(v1110, 1112) | |
| v1112 := cons(v1111, 1113) | |
| v1113 := cons(v1112, 1114) | |
| v1114 := cons(v1113, 1115) | |
| v1115 := cons(v1114, 1116) | |
| v1116 := cons(v1115, 1117) | |
| v1117 := cons(v1116, 1118) | |
| v1118 := cons(v1117, 1119) | |
| v1119 := cons(v1118, 1120) | |
| v1120 := cons(v1119, 1121) | |
| v1121 := cons(v1120, 1122) | |
| v1122 := cons(v1121, 1123) | |
| v1123 := cons(v1122, 1124) | |
| v1124 := cons(v1123, 1125) | |
| v1125 := cons(v1124, 1126) | |
| v1126 := cons(v1125, 1127) | |
| v1127 := cons(v1126, 1128) | |
| v1128 := cons(v1127, 1129) | |
| v1129 := cons(v1128, 1130) | |
| v1130 := cons(v1129, 1131) | |
| v1131 := cons(v1130, 1132) | |
| v1132 := cons(v1131, 1133) | |
| v1133 := cons(v1132, 1134) | |
| v1134 := cons(v1133, 1135) | |
| v1135 := cons(v1134, 1136) | |
| v1136 := cons(v1135, 1137) | |
| v1137 := cons(v1136, 1138) | |
| v1138 := cons(v1137, 1139) | |
| v1139 := cons(v1138, 1140) | |
| v1140 := cons(v1139, 1141) | |
| v1141 := cons(v1140, 1142) | |
| v1142 := cons(v1141, 1143) | |
| v1143 := cons(v1142, 1144) | |
| v1144 := cons(v1143, 1145) | |
| v1145 := cons(v1144, 1146) | |
| v1146 := cons(v1145, 1147) | |
| v1147 := cons(v1146, 1148) | |
| v1148 := cons(v1147, 1149) | |
| v1149 := cons(v1148, 1150) | |
| v1150 := cons(v1149, 1151) | |
| v1151 := cons(v1150, 1152) | |
| v1152 := cons(v1151, 1153) | |
| v1153 := cons(v1152, 1154) | |
| v1154 := cons(v1153, 1155) | |
| v1155 := cons(v1154, 1156) | |
| v1156 := cons(v1155, 1157) | |
| v1157 := cons(v1156, 1158) | |
| v1158 := cons(v1157, 1159) | |
| v1159 := cons(v1158, 1160) | |
| v1160 := cons(v1159, 1161) | |
| v1161 := cons(v1160, 1162) | |
| v1162 := cons(v1161, 1163) | |
| v1163 := cons(v1162, 1164) | |
| v1164 := cons(v1163, 1165) | |
| v1165 := cons(v1164, 1166) | |
| v1166 := cons(v1165, 1167) | |
| v1167 := cons(v1166, 1168) | |
| v1168 := cons(v1167, 1169) | |
| v1169 := cons(v1168, 1170) | |
| v1170 := cons(v1169, 1171) | |
| v1171 := cons(v1170, 1172) | |
| v1172 := cons(v1171, 1173) | |
| v1173 := cons(v1172, 1174) | |
| v1174 := cons(v1173, 1175) | |
| v1175 := cons(v1174, 1176) | |
| v1176 := cons(v1175, 1177) | |
| v1177 := cons(v1176, 1178) | |
| v1178 := cons(v1177, 1179) | |
| v1179 := cons(v1178, 1180) | |
| v1180 := cons(v1179, 1181) | |
| v1181 := cons(v1180, 1182) | |
| v1182 := cons(v1181, 1183) | |
| v1183 := cons(v1182, 1184) | |
| v1184 := cons(v1183, 1185) | |
| v1185 := cons(v1184, 1186) | |
| v1186 := cons(v1185, 1187) | |
| v1187 := cons(v1186, 1188) | |
| v1188 := cons(v1187, 1189) | |
| v1189 := cons(v1188, 1190) | |
| v1190 := cons(v1189, 1191) | |
| v1191 := cons(v1190, 1192) | |
| v1192 := cons(v1191, 1193) | |
| v1193 := cons(v1192, 1194) | |
| v1194 := cons(v1193, 1195) | |
| v1195 := cons(v1194, 1196) | |
| v1196 := cons(v1195, 1197) | |
| v1197 := cons(v1196, 1198) | |
| v1198 := cons(v1197, 1199) | |
| v1199 := cons(v1198, 1200) | |
| v1200 := cons(v1199, 1201) | |
| v1201 := cons(v1200, 1202) | |
| v1202 := cons(v1201, 1203) | |
| v1203 := cons(v1202, 1204) | |
| v1204 := cons(v1203, 1205) | |
| v1205 := cons(v1204, 1206) | |
| v1206 := cons(v1205, 1207) | |
| v1207 := cons(v1206, 1208) | |
| v1208 := cons(v1207, 1209) | |
| v1209 := cons(v1208, 1210) | |
| v1210 := cons(v1209, 1211) | |
| v1211 := cons(v1210, 1212) | |
| v1212 := cons(v1211, 1213) | |
| v1213 := cons(v1212, 1214) | |
| v1214 := cons(v1213, 1215) | |
| v1215 := cons(v1214, 1216) | |
| v1216 := cons(v1215, 1217) | |
| v1217 := cons(v1216, 1218) | |
| v1218 := cons(v1217, 1219) | |
| v1219 := cons(v1218, 1220) | |
| v1220 := cons(v1219, 1221) | |
| v1221 := cons(v1220, 1222) | |
| v1222 := cons(v1221, 1223) | |
| v1223 := cons(v1222, 1224) | |
| v1224 := cons(v1223, 1225) | |
| v1225 := cons(v1224, 1226) | |
| v1226 := cons(v1225, 1227) | |
| v1227 := cons(v1226, 1228) | |
| v1228 := cons(v1227, 1229) | |
| v1229 := cons(v1228, 1230) | |
| v1230 := cons(v1229, 1231) | |
| v1231 := cons(v1230, 1232) | |
| v1232 := cons(v1231, 1233) | |
| v1233 := cons(v1232, 1234) | |
| v1234 := cons(v1233, 1235) | |
| v1235 := cons(v1234, 1236) | |
| v1236 := cons(v1235, 1237) | |
| v1237 := cons(v1236, 1238) | |
| v1238 := cons(v1237, 1239) | |
| v1239 := cons(v1238, 1240) | |
| v1240 := cons(v1239, 1241) | |
| v1241 := cons(v1240, 1242) | |
| v1242 := cons(v1241, 1243) | |
| v1243 := cons(v1242, 1244) | |
| v1244 := cons(v1243, 1245) | |
| v1245 := cons(v1244, 1246) | |
| v1246 := cons(v1245, 1247) | |
| v1247 := cons(v1246, 1248) | |
| v1248 := cons(v1247, 1249) | |
| v1249 := cons(v1248, 1250) | |
| v1250 := cons(v1249, 1251) | |
| v1251 := cons(v1250, 1252) | |
| v1252 := cons(v1251, 1253) | |
| v1253 := cons(v1252, 1254) | |
| v1254 := cons(v1253, 1255) | |
| v1255 := cons(v1254, 1256) | |
| v1256 := cons(v1255, 1257) | |
| v1257 := cons(v1256, 1258) | |
| v1258 := cons(v1257, 1259) | |
| v1259 := cons(v1258, 1260) | |
| v1260 := cons(v1259, 1261) | |
| v1261 := cons(v1260, 1262) | |
| v1262 := cons(v1261, 1263) | |
| v1263 := cons(v1262, 1264) | |
| v1264 := cons(v1263, 1265) | |
| v1265 := cons(v1264, 1266) | |
| v1266 := cons(v1265, 1267) | |
| v1267 := cons(v1266, 1268) | |
| v1268 := cons(v1267, 1269) | |
| v1269 := cons(v1268, 1270) | |
| v1270 := cons(v1269, 1271) | |
| v1271 := cons(v1270, 1272) | |
| v1272 := cons(v1271, 1273) | |
| v1273 := cons(v1272, 1274) | |
| v1274 := cons(v1273, 1275) | |
| v1275 := cons(v1274, 1276) | |
| v1276 := cons(v1275, 1277) | |
| v1277 := cons(v1276, 1278) | |
| v1278 := cons(v1277, 1279) | |
| v1279 := cons(v1278, 1280) | |
| v1280 := cons(v1279, 1281) | |
| v1281 := cons(v1280, 1282) | |
| v1282 := cons(v1281, 1283) | |
| v1283 := cons(v1282, 1284) | |
| v1284 := cons(v1283, 1285) | |
| v1285 := cons(v1284, 1286) | |
| v1286 := cons(v1285, 1287) | |
| v1287 := cons(v1286, 1288) | |
| v1288 := cons(v1287, 1289) | |
| v1289 := cons(v1288, 1290) | |
| v1290 := cons(v1289, 1291) | |
| v1291 := cons(v1290, 1292) | |
| v1292 := cons(v1291, 1293) | |
| v1293 := cons(v1292, 1294) | |
| v1294 := cons(v1293, 1295) | |
| v1295 := cons(v1294, 1296) | |
| v1296 := cons(v1295, 1297) | |
| v1297 := cons(v1296, 1298) | |
| v1298 := cons(v1297, 1299) | |
| v1299 := cons(v1298, 1300) | |
| v1300 := cons(v1299, 1301) | |
| fmt.Println(v1300) | |
| fmt.Println(reflect.TypeOf(v1300)) | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{1 2} 3} 4} 5} 6} 7} 8} 9} 10} 11} 12} 13} 14} 15} 16} 17} 18} 19} 20} 21} 22} 23} 24} 25} 26} 27} 28} 29} 30} 31} 32} 33} 34} 35} 36} 37} 38} 39} 40} 41} 42} 43} 44} 45} 46} 47} 48} 49} 50} 51} 52} 53} 54} 55} 56} 57} 58} 59} 60} 61} 62} 63} 64} 65} 66} 67} 68} 69} 70} 71} 72} 73} 74} 75} 76} 77} 78} 79} 80} 81} 82} 83} 84} 85} 86} 87} 88} 89} 90} 91} 92} 93} 94} 95} 96} 97} 98} 99} 100} 101} 102} 103} 104} 105} 106} 107} 108} 109} 110} 111} 112} 113} 114} 115} 116} 117} 118} 119} 120} 121} 122} 123} 124} 125} 126} 127} 128} 129} 130} 131} 132} 133} 134} 135} 136} 137} 138} 139} 140} 141} 142} 143} 144} 145} 146} 147} 148} 149} 150} 151} 152} 153} 154} 155} 156} 157} 158} 159} 160} 161} 162} 163} 164} 165} 166} 167} 168} 169} 170} 171} 172} 173} 174} 175} 176} 177} 178} 179} 180} 181} 182} 183} 184} 185} 186} 187} 188} 189} 190} 191} 192} 193} 194} 195} 196} 197} 198} 199} 200} 201} 202} 203} 204} 205} 206} 207} 208} 209} 210} 211} 212} 213} 214} 215} 216} 217} 218} 219} 220} 221} 222} 223} 224} 225} 226} 227} 228} 229} 230} 231} 232} 233} 234} 235} 236} 237} 238} 239} 240} 241} 242} 243} 244} 245} 246} 247} 248} 249} 250} 251} 252} 253} 254} 255} 256} 257} 258} 259} 260} 261} 262} 263} 264} 265} 266} 267} 268} 269} 270} 271} 272} 273} 274} 275} 276} 277} 278} 279} 280} 281} 282} 283} 284} 285} 286} 287} 288} 289} 290} 291} 292} 293} 294} 295} 296} 297} 298} 299} 300} 301} 302} 303} 304} 305} 306} 307} 308} 309} 310} 311} 312} 313} 314} 315} 316} 317} 318} 319} 320} 321} 322} 323} 324} 325} 326} 327} 328} 329} 330} 331} 332} 333} 334} 335} 336} 337} 338} 339} 340} 341} 342} 343} 344} 345} 346} 347} 348} 349} 350} 351} 352} 353} 354} 355} 356} 357} 358} 359} 360} 361} 362} 363} 364} 365} 366} 367} 368} 369} 370} 371} 372} 373} 374} 375} 376} 377} 378} 379} 380} 381} 382} 383} 384} 385} 386} 387} 388} 389} 390} 391} 392} 393} 394} 395} 396} 397} 398} 399} 400} 401} 402} 403} 404} 405} 406} 407} 408} 409} 410} 411} 412} 413} 414} 415} 416} 417} 418} 419} 420} 421} 422} 423} 424} 425} 426} 427} 428} 429} 430} 431} 432} 433} 434} 435} 436} 437} 438} 439} 440} 441} 442} 443} 444} 445} 446} 447} 448} 449} 450} 451} 452} 453} 454} 455} 456} 457} 458} 459} 460} 461} 462} 463} 464} 465} 466} 467} 468} 469} 470} 471} 472} 473} 474} 475} 476} 477} 478} 479} 480} 481} 482} 483} 484} 485} 486} 487} 488} 489} 490} 491} 492} 493} 494} 495} 496} 497} 498} 499} 500} 501} 502} 503} 504} 505} 506} 507} 508} 509} 510} 511} 512} 513} 514} 515} 516} 517} 518} 519} 520} 521} 522} 523} 524} 525} 526} 527} 528} 529} 530} 531} 532} 533} 534} 535} 536} 537} 538} 539} 540} 541} 542} 543} 544} 545} 546} 547} 548} 549} 550} 551} 552} 553} 554} 555} 556} 557} 558} 559} 560} 561} 562} 563} 564} 565} 566} 567} 568} 569} 570} 571} 572} 573} 574} 575} 576} 577} 578} 579} 580} 581} 582} 583} 584} 585} 586} 587} 588} 589} 590} 591} 592} 593} 594} 595} 596} 597} 598} 599} 600} 601} 602} 603} 604} 605} 606} 607} 608} 609} 610} 611} 612} 613} 614} 615} 616} 617} 618} 619} 620} 621} 622} 623} 624} 625} 626} 627} 628} 629} 630} 631} 632} 633} 634} 635} 636} 637} 638} 639} 640} 641} 642} 643} 644} 645} 646} 647} 648} 649} 650} 651} 652} 653} 654} 655} 656} 657} 658} 659} 660} 661} 662} 663} 664} 665} 666} 667} 668} 669} 670} 671} 672} 673} 674} 675} 676} 677} 678} 679} 680} 681} 682} 683} 684} 685} 686} 687} 688} 689} 690} 691} 692} 693} 694} 695} 696} 697} 698} 699} 700} 701} 702} 703} 704} 705} 706} 707} 708} 709} 710} 711} 712} 713} 714} 715} 716} 717} 718} 719} 720} 721} 722} 723} 724} 725} 726} 727} 728} 729} 730} 731} 732} 733} 734} 735} 736} 737} 738} 739} 740} 741} 742} 743} 744} 745} 746} 747} 748} 749} 750} 751} 752} 753} 754} 755} 756} 757} 758} 759} 760} 761} 762} 763} 764} 765} 766} 767} 768} 769} 770} 771} 772} 773} 774} 775} 776} 777} 778} 779} 780} 781} 782} 783} 784} 785} 786} 787} 788} 789} 790} 791} 792} 793} 794} 795} 796} 797} 798} 799} 800} 801} 802} 803} 804} 805} 806} 807} 808} 809} 810} 811} 812} 813} 814} 815} 816} 817} 818} 819} 820} 821} 822} 823} 824} 825} 826} 827} 828} 829} 830} 831} 832} 833} 834} 835} 836} 837} 838} 839} 840} 841} 842} 843} 844} 845} 846} 847} 848} 849} 850} 851} 852} 853} 854} 855} 856} 857} 858} 859} 860} 861} 862} 863} 864} 865} 866} 867} 868} 869} 870} 871} 872} 873} 874} 875} 876} 877} 878} 879} 880} 881} 882} 883} 884} 885} 886} 887} 888} 889} 890} 891} 892} 893} 894} 895} 896} 897} 898} 899} 900} 901} 902} 903} 904} 905} 906} 907} 908} 909} 910} 911} 912} 913} 914} 915} 916} 917} 918} 919} 920} 921} 922} 923} 924} 925} 926} 927} 928} 929} 930} 931} 932} 933} 934} 935} 936} 937} 938} 939} 940} 941} 942} 943} 944} 945} 946} 947} 948} 949} 950} 951} 952} 953} 954} 955} 956} 957} 958} 959} 960} 961} 962} 963} 964} 965} 966} 967} 968} 969} 970} 971} 972} 973} 974} 975} 976} 977} 978} 979} 980} 981} 982} 983} 984} 985} 986} 987} 988} 989} 990} 991} 992} 993} 994} 995} 996} 997} 998} 999} 1000} 1001} 1002} 1003} 1004} 1005} 1006} 1007} 1008} 1009} 1010} 1011} 1012} 1013} 1014} 1015} 1016} 1017} 1018} 1019} 1020} 1021} 1022} 1023} 1024} 1025} 1026} 1027} 1028} 1029} 1030} 1031} 1032} 1033} 1034} 1035} 1036} 1037} 1038} 1039} 1040} 1041} 1042} 1043} 1044} 1045} 1046} 1047} 1048} 1049} 1050} 1051} 1052} 1053} 1054} 1055} 1056} 1057} 1058} 1059} 1060} 1061} 1062} 1063} 1064} 1065} 1066} 1067} 1068} 1069} 1070} 1071} 1072} 1073} 1074} 1075} 1076} 1077} 1078} 1079} 1080} 1081} 1082} 1083} 1084} 1085} 1086} 1087} 1088} 1089} 1090} 1091} 1092} 1093} 1094} 1095} 1096} 1097} 1098} 1099} 1100} 1101} 1102} 1103} 1104} 1105} 1106} 1107} 1108} 1109} 1110} 1111} 1112} 1113} 1114} 1115} 1116} 1117} 1118} 1119} 1120} 1121} 1122} 1123} 1124} 1125} 1126} 1127} 1128} 1129} 1130} 1131} 1132} 1133} 1134} 1135} 1136} 1137} 1138} 1139} 1140} 1141} 1142} 1143} 1144} 1145} 1146} 1147} 1148} 1149} 1150} 1151} 1152} 1153} 1154} 1155} 1156} 1157} 1158} 1159} 1160} 1161} 1162} 1163} 1164} 1165} 1166} 1167} 1168} 1169} 1170} 1171} 1172} 1173} 1174} 1175} 1176} 1177} 1178} 1179} 1180} 1181} 1182} 1183} 1184} 1185} 1186} 1187} 1188} 1189} 1190} 1191} 1192} 1193} 1194} 1195} 1196} 1197} 1198} 1199} 1200} 1201} 1202} 1203} 1204} 1205} 1206} 1207} 1208} 1209} 1210} 1211} 1212} 1213} 1214} 1215} 1216} 1217} 1218} 1219} 1220} 1221} 1222} 1223} 1224} 1225} 1226} 1227} 1228} 1229} 1230} 1231} 1232} 1233} 1234} 1235} 1236} 1237} 1238} 1239} 1240} 1241} 1242} 1243} 1244} 1245} 1246} 1247} 1248} 1249} 1250} 1251} 1252} 1253} 1254} 1255} 1256} 1257} 1258} 1259} 1260} 1261} 1262} 1263} 1264} 1265} 1266} 1267} 1268} 1269} 1270} 1271} 1272} 1273} 1274} 1275} 1276} 1277} 1278} 1279} 1280} 1281} 1282} 1283} 1284} 1285} 1286} 1287} 1288} 1289} 1290} 1291} 1292} 1293} 1294} 1295} 1296} 1297} 1298} 1299} 1300} 1301} | |
| main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[main.pair[int,int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int],int] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment