retraced-nomh.js

__pr = require("./webchurch/probabilistic-js/probabilistic/index"); __pr.openModule(__pr);
__ch = require("./webchurch/church_builtins"); __pr.openModule(__ch);
__int = require("./trace_interface");
var X0 = _const(3.141592653589793);
var X1 = _const(0);
var X2 = _const(51);
var X3 = eq(X1, X2);
var X4 = list(X1, X1);
var X5 = _const(1);
var X6 = plus(X1, X5);
var X7 = _const(51);
var X8 = eq(X6, X7);
var X9 = list(X6, X6);
var X10 = _const(1);
var X11 = plus(X6, X10);
var X12 = _const(51);
var X13 = eq(X11, X12);
var X14 = list(X11, X11);
var X15 = _const(1);
var X16 = plus(X11, X15);
var X17 = _const(51);
var X18 = eq(X16, X17);
var X19 = list(X16, X16);
var X20 = _const(1);
var X21 = plus(X16, X20);
var X22 = _const(51);
var X23 = eq(X21, X22);
var X24 = list(X21, X21);
var X25 = _const(1);
var X26 = plus(X21, X25);
var X27 = _const(51);
var X28 = eq(X26, X27);
var X29 = list(X26, X26);
var X30 = _const(1);
var X31 = plus(X26, X30);
var X32 = _const(51);
var X33 = eq(X31, X32);
var X34 = list(X31, X31);
var X35 = _const(1);
var X36 = plus(X31, X35);
var X37 = _const(51);
var X38 = eq(X36, X37);
var X39 = list(X36, X36);
var X40 = _const(1);
var X41 = plus(X36, X40);
var X42 = _const(51);
var X43 = eq(X41, X42);
var X44 = list(X41, X41);
var X45 = _const(1);
var X46 = plus(X41, X45);
var X47 = _const(51);
var X48 = eq(X46, X47);
var X49 = list(X46, X46);
var X50 = _const(1);
var X51 = plus(X46, X50);
var X52 = _const(51);
var X53 = eq(X51, X52);
var X54 = list(X51, X51);
var X55 = _const(1);
var X56 = plus(X51, X55);
var X57 = _const(51);
var X58 = eq(X56, X57);
var X59 = list(X56, X56);
var X60 = _const(1);
var X61 = plus(X56, X60);
var X62 = _const(51);
var X63 = eq(X61, X62);
var X64 = list(X61, X61);
var X65 = _const(1);
var X66 = plus(X61, X65);
var X67 = _const(51);
var X68 = eq(X66, X67);
var X69 = list(X66, X66);
var X70 = _const(1);
var X71 = plus(X66, X70);
var X72 = _const(51);
var X73 = eq(X71, X72);
var X74 = list(X71, X71);
var X75 = _const(1);
var X76 = plus(X71, X75);
var X77 = _const(51);
var X78 = eq(X76, X77);
var X79 = list(X76, X76);
var X80 = _const(1);
var X81 = plus(X76, X80);
var X82 = _const(51);
var X83 = eq(X81, X82);
var X84 = list(X81, X81);
var X85 = _const(1);
var X86 = plus(X81, X85);
var X87 = _const(51);
var X88 = eq(X86, X87);
var X89 = list(X86, X86);
var X90 = _const(1);
var X91 = plus(X86, X90);
var X92 = _const(51);
var X93 = eq(X91, X92);
var X94 = list(X91, X91);
var X95 = _const(1);
var X96 = plus(X91, X95);
var X97 = _const(51);
var X98 = eq(X96, X97);
var X99 = list(X96, X96);
var X100 = _const(1);
var X101 = plus(X96, X100);
var X102 = _const(51);
var X103 = eq(X101, X102);
var X104 = list(X101, X101);
var X105 = _const(1);
var X106 = plus(X101, X105);
var X107 = _const(51);
var X108 = eq(X106, X107);
var X109 = list(X106, X106);
var X110 = _const(1);
var X111 = plus(X106, X110);
var X112 = _const(51);
var X113 = eq(X111, X112);
var X114 = list(X111, X111);
var X115 = _const(1);
var X116 = plus(X111, X115);
var X117 = _const(51);
var X118 = eq(X116, X117);
var X119 = list(X116, X116);
var X120 = _const(1);
var X121 = plus(X116, X120);
var X122 = _const(51);
var X123 = eq(X121, X122);
var X124 = list(X121, X121);
var X125 = _const(1);
var X126 = plus(X121, X125);
var X127 = _const(51);
var X128 = eq(X126, X127);
var X129 = list(X126, X126);
var X130 = _const(1);
var X131 = plus(X126, X130);
var X132 = _const(51);
var X133 = eq(X131, X132);
var X134 = list(X131, X131);
var X135 = _const(1);
var X136 = plus(X131, X135);
var X137 = _const(51);
var X138 = eq(X136, X137);
var X139 = list(X136, X136);
var X140 = _const(1);
var X141 = plus(X136, X140);
var X142 = _const(51);
var X143 = eq(X141, X142);
var X144 = list(X141, X141);
var X145 = _const(1);
var X146 = plus(X141, X145);
var X147 = _const(51);
var X148 = eq(X146, X147);
var X149 = list(X146, X146);
var X150 = _const(1);
var X151 = plus(X146, X150);
var X152 = _const(51);
var X153 = eq(X151, X152);
var X154 = list(X151, X151);
var X155 = _const(1);
var X156 = plus(X151, X155);
var X157 = _const(51);
var X158 = eq(X156, X157);
var X159 = list(X156, X156);
var X160 = _const(1);
var X161 = plus(X156, X160);
var X162 = _const(51);
var X163 = eq(X161, X162);
var X164 = list(X161, X161);
var X165 = _const(1);
var X166 = plus(X161, X165);
var X167 = _const(51);
var X168 = eq(X166, X167);
var X169 = list(X166, X166);
var X170 = _const(1);
var X171 = plus(X166, X170);
var X172 = _const(51);
var X173 = eq(X171, X172);
var X174 = list(X171, X171);
var X175 = _const(1);
var X176 = plus(X171, X175);
var X177 = _const(51);
var X178 = eq(X176, X177);
var X179 = list(X176, X176);
var X180 = _const(1);
var X181 = plus(X176, X180);
var X182 = _const(51);
var X183 = eq(X181, X182);
var X184 = list(X181, X181);
var X185 = _const(1);
var X186 = plus(X181, X185);
var X187 = _const(51);
var X188 = eq(X186, X187);
var X189 = list(X186, X186);
var X190 = _const(1);
var X191 = plus(X186, X190);
var X192 = _const(51);
var X193 = eq(X191, X192);
var X194 = list(X191, X191);
var X195 = _const(1);
var X196 = plus(X191, X195);
var X197 = _const(51);
var X198 = eq(X196, X197);
var X199 = list(X196, X196);
var X200 = _const(1);
var X201 = plus(X196, X200);
var X202 = _const(51);
var X203 = eq(X201, X202);
var X204 = list(X201, X201);
var X205 = _const(1);
var X206 = plus(X201, X205);
var X207 = _const(51);
var X208 = eq(X206, X207);
var X209 = list(X206, X206);
var X210 = _const(1);
var X211 = plus(X206, X210);
var X212 = _const(51);
var X213 = eq(X211, X212);
var X214 = list(X211, X211);
var X215 = _const(1);
var X216 = plus(X211, X215);
var X217 = _const(51);
var X218 = eq(X216, X217);
var X219 = list(X216, X216);
var X220 = _const(1);
var X221 = plus(X216, X220);
var X222 = _const(51);
var X223 = eq(X221, X222);
var X224 = list(X221, X221);
var X225 = _const(1);
var X226 = plus(X221, X225);
var X227 = _const(51);
var X228 = eq(X226, X227);
var X229 = list(X226, X226);
var X230 = _const(1);
var X231 = plus(X226, X230);
var X232 = _const(51);
var X233 = eq(X231, X232);
var X234 = list(X231, X231);
var X235 = _const(1);
var X236 = plus(X231, X235);
var X237 = _const(51);
var X238 = eq(X236, X237);
var X239 = list(X236, X236);
var X240 = _const(1);
var X241 = plus(X236, X240);
var X242 = _const(51);
var X243 = eq(X241, X242);
var X244 = list(X241, X241);
var X245 = _const(1);
var X246 = plus(X241, X245);
var X247 = _const(51);
var X248 = eq(X246, X247);
var X249 = list(X246, X246);
var X250 = _const(1);
var X251 = plus(X246, X250);
var X252 = _const(51);
var X253 = eq(X251, X252);
var X254 = list(X251, X251);
var X255 = _const(1);
var X256 = plus(X251, X255);
var X257 = _const(51);
var X258 = eq(X256, X257);
var X259 = _const(undefined);
var X260 = pair(X254, X259);
var X261 = pair(X249, X260);
var X262 = pair(X244, X261);
var X263 = pair(X239, X262);
var X264 = pair(X234, X263);
var X265 = pair(X229, X264);
var X266 = pair(X224, X265);
var X267 = pair(X219, X266);
var X268 = pair(X214, X267);
var X269 = pair(X209, X268);
var X270 = pair(X204, X269);
var X271 = pair(X199, X270);
var X272 = pair(X194, X271);
var X273 = pair(X189, X272);
var X274 = pair(X184, X273);
var X275 = pair(X179, X274);
var X276 = pair(X174, X275);
var X277 = pair(X169, X276);
var X278 = pair(X164, X277);
var X279 = pair(X159, X278);
var X280 = pair(X154, X279);
var X281 = pair(X149, X280);
var X282 = pair(X144, X281);
var X283 = pair(X139, X282);
var X284 = pair(X134, X283);
var X285 = pair(X129, X284);
var X286 = pair(X124, X285);
var X287 = pair(X119, X286);
var X288 = pair(X114, X287);
var X289 = pair(X109, X288);
var X290 = pair(X104, X289);
var X291 = pair(X99, X290);
var X292 = pair(X94, X291);
var X293 = pair(X89, X292);
var X294 = pair(X84, X293);
var X295 = pair(X79, X294);
var X296 = pair(X74, X295);
var X297 = pair(X69, X296);
var X298 = pair(X64, X297);
var X299 = pair(X59, X298);
var X300 = pair(X54, X299);
var X301 = pair(X49, X300);
var X302 = pair(X44, X301);
var X303 = pair(X39, X302);
var X304 = pair(X34, X303);
var X305 = pair(X29, X304);
var X306 = pair(X24, X305);
var X307 = pair(X19, X306);
var X308 = pair(X14, X307);
var X309 = pair(X9, X308);
var X310 = pair(X4, X309);
var X311 = is_null(X310);
var X312 = first(X310);
var X313 = first(X312);
var X314 = rest(X310);
var X315 = is_null(X314);
var X316 = first(X314);
var X317 = first(X316);
var X318 = rest(X314);
var X319 = is_null(X318);
var X320 = first(X318);
var X321 = first(X320);
var X322 = rest(X318);
var X323 = is_null(X322);
var X324 = first(X322);
var X325 = first(X324);
var X326 = rest(X322);
var X327 = is_null(X326);
var X328 = first(X326);
var X329 = first(X328);
var X330 = rest(X326);
var X331 = is_null(X330);
var X332 = first(X330);
var X333 = first(X332);
var X334 = rest(X330);
var X335 = is_null(X334);
var X336 = first(X334);
var X337 = first(X336);
var X338 = rest(X334);
var X339 = is_null(X338);
var X340 = first(X338);
var X341 = first(X340);
var X342 = rest(X338);
var X343 = is_null(X342);
var X344 = first(X342);
var X345 = first(X344);
var X346 = rest(X342);
var X347 = is_null(X346);
var X348 = first(X346);
var X349 = first(X348);
var X350 = rest(X346);
var X351 = is_null(X350);
var X352 = first(X350);
var X353 = first(X352);
var X354 = rest(X350);
var X355 = is_null(X354);
var X356 = first(X354);
var X357 = first(X356);
var X358 = rest(X354);
var X359 = is_null(X358);
var X360 = first(X358);
var X361 = first(X360);
var X362 = rest(X358);
var X363 = is_null(X362);
var X364 = first(X362);
var X365 = first(X364);
var X366 = rest(X362);
var X367 = is_null(X366);
var X368 = first(X366);
var X369 = first(X368);
var X370 = rest(X366);
var X371 = is_null(X370);
var X372 = first(X370);
var X373 = first(X372);
var X374 = rest(X370);
var X375 = is_null(X374);
var X376 = first(X374);
var X377 = first(X376);
var X378 = rest(X374);
var X379 = is_null(X378);
var X380 = first(X378);
var X381 = first(X380);
var X382 = rest(X378);
var X383 = is_null(X382);
var X384 = first(X382);
var X385 = first(X384);
var X386 = rest(X382);
var X387 = is_null(X386);
var X388 = first(X386);
var X389 = first(X388);
var X390 = rest(X386);
var X391 = is_null(X390);
var X392 = first(X390);
var X393 = first(X392);
var X394 = rest(X390);
var X395 = is_null(X394);
var X396 = first(X394);
var X397 = first(X396);
var X398 = rest(X394);
var X399 = is_null(X398);
var X400 = first(X398);
var X401 = first(X400);
var X402 = rest(X398);
var X403 = is_null(X402);
var X404 = first(X402);
var X405 = first(X404);
var X406 = rest(X402);
var X407 = is_null(X406);
var X408 = first(X406);
var X409 = first(X408);
var X410 = rest(X406);
var X411 = is_null(X410);
var X412 = first(X410);
var X413 = first(X412);
var X414 = rest(X410);
var X415 = is_null(X414);
var X416 = first(X414);
var X417 = first(X416);
var X418 = rest(X414);
var X419 = is_null(X418);
var X420 = first(X418);
var X421 = first(X420);
var X422 = rest(X418);
var X423 = is_null(X422);
var X424 = first(X422);
var X425 = first(X424);
var X426 = rest(X422);
var X427 = is_null(X426);
var X428 = first(X426);
var X429 = first(X428);
var X430 = rest(X426);
var X431 = is_null(X430);
var X432 = first(X430);
var X433 = first(X432);
var X434 = rest(X430);
var X435 = is_null(X434);
var X436 = first(X434);
var X437 = first(X436);
var X438 = rest(X434);
var X439 = is_null(X438);
var X440 = first(X438);
var X441 = first(X440);
var X442 = rest(X438);
var X443 = is_null(X442);
var X444 = first(X442);
var X445 = first(X444);
var X446 = rest(X442);
var X447 = is_null(X446);
var X448 = first(X446);
var X449 = first(X448);
var X450 = rest(X446);
var X451 = is_null(X450);
var X452 = first(X450);
var X453 = first(X452);
var X454 = rest(X450);
var X455 = is_null(X454);
var X456 = first(X454);
var X457 = first(X456);
var X458 = rest(X454);
var X459 = is_null(X458);
var X460 = first(X458);
var X461 = first(X460);
var X462 = rest(X458);
var X463 = is_null(X462);
var X464 = first(X462);
var X465 = first(X464);
var X466 = rest(X462);
var X467 = is_null(X466);
var X468 = first(X466);
var X469 = first(X468);
var X470 = rest(X466);
var X471 = is_null(X470);
var X472 = first(X470);
var X473 = first(X472);
var X474 = rest(X470);
var X475 = is_null(X474);
var X476 = first(X474);
var X477 = first(X476);
var X478 = rest(X474);
var X479 = is_null(X478);
var X480 = first(X478);
var X481 = first(X480);
var X482 = rest(X478);
var X483 = is_null(X482);
var X484 = first(X482);
var X485 = first(X484);
var X486 = rest(X482);
var X487 = is_null(X486);
var X488 = first(X486);
var X489 = first(X488);
var X490 = rest(X486);
var X491 = is_null(X490);
var X492 = first(X490);
var X493 = first(X492);
var X494 = rest(X490);
var X495 = is_null(X494);
var X496 = first(X494);
var X497 = first(X496);
var X498 = rest(X494);
var X499 = is_null(X498);
var X500 = first(X498);
var X501 = first(X500);
var X502 = rest(X498);
var X503 = is_null(X502);
var X504 = first(X502);
var X505 = first(X504);
var X506 = rest(X502);
var X507 = is_null(X506);
var X508 = first(X506);
var X509 = first(X508);
var X510 = rest(X506);
var X511 = is_null(X510);
var X512 = first(X510);
var X513 = first(X512);
var X514 = rest(X510);
var X515 = is_null(X514);
var X516 = _const(undefined);
var X517 = pair(X513, X516);
var X518 = pair(X509, X517);
var X519 = pair(X505, X518);
var X520 = pair(X501, X519);
var X521 = pair(X497, X520);
var X522 = pair(X493, X521);
var X523 = pair(X489, X522);
var X524 = pair(X485, X523);
var X525 = pair(X481, X524);
var X526 = pair(X477, X525);
var X527 = pair(X473, X526);
var X528 = pair(X469, X527);
var X529 = pair(X465, X528);
var X530 = pair(X461, X529);
var X531 = pair(X457, X530);
var X532 = pair(X453, X531);
var X533 = pair(X449, X532);
var X534 = pair(X445, X533);
var X535 = pair(X441, X534);
var X536 = pair(X437, X535);
var X537 = pair(X433, X536);
var X538 = pair(X429, X537);
var X539 = pair(X425, X538);
var X540 = pair(X421, X539);
var X541 = pair(X417, X540);
var X542 = pair(X413, X541);
var X543 = pair(X409, X542);
var X544 = pair(X405, X543);
var X545 = pair(X401, X544);
var X546 = pair(X397, X545);
var X547 = pair(X393, X546);
var X548 = pair(X389, X547);
var X549 = pair(X385, X548);
var X550 = pair(X381, X549);
var X551 = pair(X377, X550);
var X552 = pair(X373, X551);
var X553 = pair(X369, X552);
var X554 = pair(X365, X553);
var X555 = pair(X361, X554);
var X556 = pair(X357, X555);
var X557 = pair(X353, X556);
var X558 = pair(X349, X557);
var X559 = pair(X345, X558);
var X560 = pair(X341, X559);
var X561 = pair(X337, X560);
var X562 = pair(X333, X561);
var X563 = pair(X329, X562);
var X564 = pair(X325, X563);
var X565 = pair(X321, X564);
var X566 = pair(X317, X565);
var X567 = pair(X313, X566);
var X568 = is_null(X567);
var X569 = first(X567);
var X570 = rest(X567);
var X571 = is_null(X570);
var X572 = first(X570);
var X573 = rest(X570);
var X574 = is_null(X573);
var X575 = first(X573);
var X576 = rest(X573);
var X577 = is_null(X576);
var X578 = first(X576);
var X579 = rest(X576);
var X580 = is_null(X579);
var X581 = first(X579);
var X582 = rest(X579);
var X583 = is_null(X582);
var X584 = first(X582);
var X585 = rest(X582);
var X586 = is_null(X585);
var X587 = first(X585);
var X588 = rest(X585);
var X589 = is_null(X588);
var X590 = first(X588);
var X591 = rest(X588);
var X592 = is_null(X591);
var X593 = first(X591);
var X594 = rest(X591);
var X595 = is_null(X594);
var X596 = first(X594);
var X597 = rest(X594);
var X598 = is_null(X597);
var X599 = first(X597);
var X600 = rest(X597);
var X601 = is_null(X600);
var X602 = first(X600);
var X603 = rest(X600);
var X604 = is_null(X603);
var X605 = first(X603);
var X606 = rest(X603);
var X607 = is_null(X606);
var X608 = first(X606);
var X609 = rest(X606);
var X610 = is_null(X609);
var X611 = first(X609);
var X612 = rest(X609);
var X613 = is_null(X612);
var X614 = first(X612);
var X615 = rest(X612);
var X616 = is_null(X615);
var X617 = first(X615);
var X618 = rest(X615);
var X619 = is_null(X618);
var X620 = first(X618);
var X621 = rest(X618);
var X622 = is_null(X621);
var X623 = first(X621);
var X624 = rest(X621);
var X625 = is_null(X624);
var X626 = first(X624);
var X627 = rest(X624);
var X628 = is_null(X627);
var X629 = first(X627);
var X630 = rest(X627);
var X631 = is_null(X630);
var X632 = first(X630);
var X633 = rest(X630);
var X634 = is_null(X633);
var X635 = first(X633);
var X636 = rest(X633);
var X637 = is_null(X636);
var X638 = first(X636);
var X639 = rest(X636);
var X640 = is_null(X639);
var X641 = first(X639);
var X642 = rest(X639);
var X643 = is_null(X642);
var X644 = first(X642);
var X645 = rest(X642);
var X646 = is_null(X645);
var X647 = first(X645);
var X648 = rest(X645);
var X649 = is_null(X648);
var X650 = first(X648);
var X651 = rest(X648);
var X652 = is_null(X651);
var X653 = first(X651);
var X654 = rest(X651);
var X655 = is_null(X654);
var X656 = first(X654);
var X657 = rest(X654);
var X658 = is_null(X657);
var X659 = first(X657);
var X660 = rest(X657);
var X661 = is_null(X660);
var X662 = first(X660);
var X663 = rest(X660);
var X664 = is_null(X663);
var X665 = first(X663);
var X666 = rest(X663);
var X667 = is_null(X666);
var X668 = first(X666);
var X669 = rest(X666);
var X670 = is_null(X669);
var X671 = first(X669);
var X672 = rest(X669);
var X673 = is_null(X672);
var X674 = first(X672);
var X675 = rest(X672);
var X676 = is_null(X675);
var X677 = first(X675);
var X678 = rest(X675);
var X679 = is_null(X678);
var X680 = first(X678);
var X681 = rest(X678);
var X682 = is_null(X681);
var X683 = first(X681);
var X684 = rest(X681);
var X685 = is_null(X684);
var X686 = first(X684);
var X687 = rest(X684);
var X688 = is_null(X687);
var X689 = first(X687);
var X690 = rest(X687);
var X691 = is_null(X690);
var X692 = first(X690);
var X693 = rest(X690);
var X694 = is_null(X693);
var X695 = first(X693);
var X696 = rest(X693);
var X697 = is_null(X696);
var X698 = first(X696);
var X699 = rest(X696);
var X700 = is_null(X699);
var X701 = first(X699);
var X702 = rest(X699);
var X703 = is_null(X702);
var X704 = first(X702);
var X705 = rest(X702);
var X706 = is_null(X705);
var X707 = first(X705);
var X708 = rest(X705);
var X709 = is_null(X708);
var X710 = first(X708);
var X711 = rest(X708);
var X712 = is_null(X711);
var X713 = first(X711);
var X714 = rest(X711);
var X715 = is_null(X714);
var X716 = first(X714);
var X717 = rest(X714);
var X718 = is_null(X717);
var X719 = first(X717);
var X720 = rest(X717);
var X721 = is_null(X720);
var X722 = _const(0);
var X723 = plus(X719, X722);
var X724 = plus(X716, X723);
var X725 = plus(X713, X724);
var X726 = plus(X710, X725);
var X727 = plus(X707, X726);
var X728 = plus(X704, X727);
var X729 = plus(X701, X728);
var X730 = plus(X698, X729);
var X731 = plus(X695, X730);
var X732 = plus(X692, X731);
var X733 = plus(X689, X732);
var X734 = plus(X686, X733);
var X735 = plus(X683, X734);
var X736 = plus(X680, X735);
var X737 = plus(X677, X736);
var X738 = plus(X674, X737);
var X739 = plus(X671, X738);
var X740 = plus(X668, X739);
var X741 = plus(X665, X740);
var X742 = plus(X662, X741);
var X743 = plus(X659, X742);
var X744 = plus(X656, X743);
var X745 = plus(X653, X744);
var X746 = plus(X650, X745);
var X747 = plus(X647, X746);
var X748 = plus(X644, X747);
var X749 = plus(X641, X748);
var X750 = plus(X638, X749);
var X751 = plus(X635, X750);
var X752 = plus(X632, X751);
var X753 = plus(X629, X752);
var X754 = plus(X626, X753);
var X755 = plus(X623, X754);
var X756 = plus(X620, X755);
var X757 = plus(X617, X756);
var X758 = plus(X614, X757);
var X759 = plus(X611, X758);
var X760 = plus(X608, X759);
var X761 = plus(X605, X760);
var X762 = plus(X602, X761);
var X763 = plus(X599, X762);
var X764 = plus(X596, X763);
var X765 = plus(X593, X764);
var X766 = plus(X590, X765);
var X767 = plus(X587, X766);
var X768 = plus(X584, X767);
var X769 = plus(X581, X768);
var X770 = plus(X578, X769);
var X771 = plus(X575, X770);
var X772 = plus(X572, X771);
var X773 = plus(X569, X772);
var X774 = is_null(X310);
var X775 = _const(1);
var X776 = rest(X310);
var X777 = is_null(X776);
var X778 = _const(1);
var X779 = rest(X776);
var X780 = is_null(X779);
var X781 = _const(1);
var X782 = rest(X779);
var X783 = is_null(X782);
var X784 = _const(1);
var X785 = rest(X782);
var X786 = is_null(X785);
var X787 = _const(1);
var X788 = rest(X785);
var X789 = is_null(X788);
var X790 = _const(1);
var X791 = rest(X788);
var X792 = is_null(X791);
var X793 = _const(1);
var X794 = rest(X791);
var X795 = is_null(X794);
var X796 = _const(1);
var X797 = rest(X794);
var X798 = is_null(X797);
var X799 = _const(1);
var X800 = rest(X797);
var X801 = is_null(X800);
var X802 = _const(1);
var X803 = rest(X800);
var X804 = is_null(X803);
var X805 = _const(1);
var X806 = rest(X803);
var X807 = is_null(X806);
var X808 = _const(1);
var X809 = rest(X806);
var X810 = is_null(X809);
var X811 = _const(1);
var X812 = rest(X809);
var X813 = is_null(X812);
var X814 = _const(1);
var X815 = rest(X812);
var X816 = is_null(X815);
var X817 = _const(1);
var X818 = rest(X815);
var X819 = is_null(X818);
var X820 = _const(1);
var X821 = rest(X818);
var X822 = is_null(X821);
var X823 = _const(1);
var X824 = rest(X821);
var X825 = is_null(X824);
var X826 = _const(1);
var X827 = rest(X824);
var X828 = is_null(X827);
var X829 = _const(1);
var X830 = rest(X827);
var X831 = is_null(X830);
var X832 = _const(1);
var X833 = rest(X830);
var X834 = is_null(X833);
var X835 = _const(1);
var X836 = rest(X833);
var X837 = is_null(X836);
var X838 = _const(1);
var X839 = rest(X836);
var X840 = is_null(X839);
var X841 = _const(1);
var X842 = rest(X839);
var X843 = is_null(X842);
var X844 = _const(1);
var X845 = rest(X842);
var X846 = is_null(X845);
var X847 = _const(1);
var X848 = rest(X845);
var X849 = is_null(X848);
var X850 = _const(1);
var X851 = rest(X848);
var X852 = is_null(X851);
var X853 = _const(1);
var X854 = rest(X851);
var X855 = is_null(X854);
var X856 = _const(1);
var X857 = rest(X854);
var X858 = is_null(X857);
var X859 = _const(1);
var X860 = rest(X857);
var X861 = is_null(X860);
var X862 = _const(1);
var X863 = rest(X860);
var X864 = is_null(X863);
var X865 = _const(1);
var X866 = rest(X863);
var X867 = is_null(X866);
var X868 = _const(1);
var X869 = rest(X866);
var X870 = is_null(X869);
var X871 = _const(1);
var X872 = rest(X869);
var X873 = is_null(X872);
var X874 = _const(1);
var X875 = rest(X872);
var X876 = is_null(X875);
var X877 = _const(1);
var X878 = rest(X875);
var X879 = is_null(X878);
var X880 = _const(1);
var X881 = rest(X878);
var X882 = is_null(X881);
var X883 = _const(1);
var X884 = rest(X881);
var X885 = is_null(X884);
var X886 = _const(1);
var X887 = rest(X884);
var X888 = is_null(X887);
var X889 = _const(1);
var X890 = rest(X887);
var X891 = is_null(X890);
var X892 = _const(1);
var X893 = rest(X890);
var X894 = is_null(X893);
var X895 = _const(1);
var X896 = rest(X893);
var X897 = is_null(X896);
var X898 = _const(1);
var X899 = rest(X896);
var X900 = is_null(X899);
var X901 = _const(1);
var X902 = rest(X899);
var X903 = is_null(X902);
var X904 = _const(1);
var X905 = rest(X902);
var X906 = is_null(X905);
var X907 = _const(1);
var X908 = rest(X905);
var X909 = is_null(X908);
var X910 = _const(1);
var X911 = rest(X908);
var X912 = is_null(X911);
var X913 = _const(1);
var X914 = rest(X911);
var X915 = is_null(X914);
var X916 = _const(1);
var X917 = rest(X914);
var X918 = is_null(X917);
var X919 = _const(1);
var X920 = rest(X917);
var X921 = is_null(X920);
var X922 = _const(1);
var X923 = rest(X920);
var X924 = is_null(X923);
var X925 = _const(1);
var X926 = rest(X923);
var X927 = is_null(X926);
var X928 = _const(0);
var X929 = plus(X925, X928);
var X930 = plus(X922, X929);
var X931 = plus(X919, X930);
var X932 = plus(X916, X931);
var X933 = plus(X913, X932);
var X934 = plus(X910, X933);
var X935 = plus(X907, X934);
var X936 = plus(X904, X935);
var X937 = plus(X901, X936);
var X938 = plus(X898, X937);
var X939 = plus(X895, X938);
var X940 = plus(X892, X939);
var X941 = plus(X889, X940);
var X942 = plus(X886, X941);
var X943 = plus(X883, X942);
var X944 = plus(X880, X943);
var X945 = plus(X877, X944);
var X946 = plus(X874, X945);
var X947 = plus(X871, X946);
var X948 = plus(X868, X947);
var X949 = plus(X865, X948);
var X950 = plus(X862, X949);
var X951 = plus(X859, X950);
var X952 = plus(X856, X951);
var X953 = plus(X853, X952);
var X954 = plus(X850, X953);
var X955 = plus(X847, X954);
var X956 = plus(X844, X955);
var X957 = plus(X841, X956);
var X958 = plus(X838, X957);
var X959 = plus(X835, X958);
var X960 = plus(X832, X959);
var X961 = plus(X829, X960);
var X962 = plus(X826, X961);
var X963 = plus(X823, X962);
var X964 = plus(X820, X963);
var X965 = plus(X817, X964);
var X966 = plus(X814, X965);
var X967 = plus(X811, X966);
var X968 = plus(X808, X967);
var X969 = plus(X805, X968);
var X970 = plus(X802, X969);
var X971 = plus(X799, X970);
var X972 = plus(X796, X971);
var X973 = plus(X793, X972);
var X974 = plus(X790, X973);
var X975 = plus(X787, X974);
var X976 = plus(X784, X975);
var X977 = plus(X781, X976);
var X978 = plus(X778, X977);
var X979 = plus(X775, X978);
var X980 = div(X773, X979);
var X981 = _const(0);
var X982 = _const(10000);
var X983 = wrapped_gaussian(X981, X982);
var X984 = _const(0);
var X985 = _const(10000);
var X986 = wrapped_gaussian(X984, X985);
var X987 = _const(0);
var X988 = _const(10000);
var X989 = wrapped_gaussian(X987, X988);
var X990 = abs(X989);
var X991 = is_null(X310);
var X992 = first(X310);
var X993 = first(X992);
var X994 = minus(X993, X980);
var X995 = mult(X986, X994);
var X996 = plus(X983, X995);
var X997 = _const(1);
var X998 = div(X997, X990);
var X999 = second(X992);
var X1000 = minus(X999, X996);
var X1001 = mult(X1000, X1000);
var X1002 = _const(2);
var X1003 = mult(X1002, X998);
var X1004 = div(X1001, X1003);
var X1005 = minus(X1004);
var X1006 = _const(0.5);
var X1007 = _const(2);
var X1008 = log(X1007);
var X1009 = log(X0);
var X1010 = log(X998);
var X1011 = plus(X1008, X1009, X1010);
var X1012 = mult(X1006, X1011);
var X1013 = minus(X1005, X1012);
var X1014 = wrapped_factor(X1013);
var X1015 = rest(X310);
var X1016 = is_null(X1015);
var X1017 = first(X1015);
var X1018 = first(X1017);
var X1019 = minus(X1018, X980);
var X1020 = mult(X986, X1019);
var X1021 = plus(X983, X1020);
var X1022 = _const(1);
var X1023 = div(X1022, X990);
var X1024 = second(X1017);
var X1025 = minus(X1024, X1021);
var X1026 = mult(X1025, X1025);
var X1027 = _const(2);
var X1028 = mult(X1027, X1023);
var X1029 = div(X1026, X1028);
var X1030 = minus(X1029);
var X1031 = _const(0.5);
var X1032 = _const(2);
var X1033 = log(X1032);
var X1034 = log(X0);
var X1035 = log(X1023);
var X1036 = plus(X1033, X1034, X1035);
var X1037 = mult(X1031, X1036);
var X1038 = minus(X1030, X1037);
var X1039 = wrapped_factor(X1038);
var X1040 = rest(X1015);
var X1041 = is_null(X1040);
var X1042 = first(X1040);
var X1043 = first(X1042);
var X1044 = minus(X1043, X980);
var X1045 = mult(X986, X1044);
var X1046 = plus(X983, X1045);
var X1047 = _const(1);
var X1048 = div(X1047, X990);
var X1049 = second(X1042);
var X1050 = minus(X1049, X1046);
var X1051 = mult(X1050, X1050);
var X1052 = _const(2);
var X1053 = mult(X1052, X1048);
var X1054 = div(X1051, X1053);
var X1055 = minus(X1054);
var X1056 = _const(0.5);
var X1057 = _const(2);
var X1058 = log(X1057);
var X1059 = log(X0);
var X1060 = log(X1048);
var X1061 = plus(X1058, X1059, X1060);
var X1062 = mult(X1056, X1061);
var X1063 = minus(X1055, X1062);
var X1064 = wrapped_factor(X1063);
var X1065 = rest(X1040);
var X1066 = is_null(X1065);
var X1067 = first(X1065);
var X1068 = first(X1067);
var X1069 = minus(X1068, X980);
var X1070 = mult(X986, X1069);
var X1071 = plus(X983, X1070);
var X1072 = _const(1);
var X1073 = div(X1072, X990);
var X1074 = second(X1067);
var X1075 = minus(X1074, X1071);
var X1076 = mult(X1075, X1075);
var X1077 = _const(2);
var X1078 = mult(X1077, X1073);
var X1079 = div(X1076, X1078);
var X1080 = minus(X1079);
var X1081 = _const(0.5);
var X1082 = _const(2);
var X1083 = log(X1082);
var X1084 = log(X0);
var X1085 = log(X1073);
var X1086 = plus(X1083, X1084, X1085);
var X1087 = mult(X1081, X1086);
var X1088 = minus(X1080, X1087);
var X1089 = wrapped_factor(X1088);
var X1090 = rest(X1065);
var X1091 = is_null(X1090);
var X1092 = first(X1090);
var X1093 = first(X1092);
var X1094 = minus(X1093, X980);
var X1095 = mult(X986, X1094);
var X1096 = plus(X983, X1095);
var X1097 = _const(1);
var X1098 = div(X1097, X990);
var X1099 = second(X1092);
var X1100 = minus(X1099, X1096);
var X1101 = mult(X1100, X1100);
var X1102 = _const(2);
var X1103 = mult(X1102, X1098);
var X1104 = div(X1101, X1103);
var X1105 = minus(X1104);
var X1106 = _const(0.5);
var X1107 = _const(2);
var X1108 = log(X1107);
var X1109 = log(X0);
var X1110 = log(X1098);
var X1111 = plus(X1108, X1109, X1110);
var X1112 = mult(X1106, X1111);
var X1113 = minus(X1105, X1112);
var X1114 = wrapped_factor(X1113);
var X1115 = rest(X1090);
var X1116 = is_null(X1115);
var X1117 = first(X1115);
var X1118 = first(X1117);
var X1119 = minus(X1118, X980);
var X1120 = mult(X986, X1119);
var X1121 = plus(X983, X1120);
var X1122 = _const(1);
var X1123 = div(X1122, X990);
var X1124 = second(X1117);
var X1125 = minus(X1124, X1121);
var X1126 = mult(X1125, X1125);
var X1127 = _const(2);
var X1128 = mult(X1127, X1123);
var X1129 = div(X1126, X1128);
var X1130 = minus(X1129);
var X1131 = _const(0.5);
var X1132 = _const(2);
var X1133 = log(X1132);
var X1134 = log(X0);
var X1135 = log(X1123);
var X1136 = plus(X1133, X1134, X1135);
var X1137 = mult(X1131, X1136);
var X1138 = minus(X1130, X1137);
var X1139 = wrapped_factor(X1138);
var X1140 = rest(X1115);
var X1141 = is_null(X1140);
var X1142 = first(X1140);
var X1143 = first(X1142);
var X1144 = minus(X1143, X980);
var X1145 = mult(X986, X1144);
var X1146 = plus(X983, X1145);
var X1147 = _const(1);
var X1148 = div(X1147, X990);
var X1149 = second(X1142);
var X1150 = minus(X1149, X1146);
var X1151 = mult(X1150, X1150);
var X1152 = _const(2);
var X1153 = mult(X1152, X1148);
var X1154 = div(X1151, X1153);
var X1155 = minus(X1154);
var X1156 = _const(0.5);
var X1157 = _const(2);
var X1158 = log(X1157);
var X1159 = log(X0);
var X1160 = log(X1148);
var X1161 = plus(X1158, X1159, X1160);
var X1162 = mult(X1156, X1161);
var X1163 = minus(X1155, X1162);
var X1164 = wrapped_factor(X1163);
var X1165 = rest(X1140);
var X1166 = is_null(X1165);
var X1167 = first(X1165);
var X1168 = first(X1167);
var X1169 = minus(X1168, X980);
var X1170 = mult(X986, X1169);
var X1171 = plus(X983, X1170);
var X1172 = _const(1);
var X1173 = div(X1172, X990);
var X1174 = second(X1167);
var X1175 = minus(X1174, X1171);
var X1176 = mult(X1175, X1175);
var X1177 = _const(2);
var X1178 = mult(X1177, X1173);
var X1179 = div(X1176, X1178);
var X1180 = minus(X1179);
var X1181 = _const(0.5);
var X1182 = _const(2);
var X1183 = log(X1182);
var X1184 = log(X0);
var X1185 = log(X1173);
var X1186 = plus(X1183, X1184, X1185);
var X1187 = mult(X1181, X1186);
var X1188 = minus(X1180, X1187);
var X1189 = wrapped_factor(X1188);
var X1190 = rest(X1165);
var X1191 = is_null(X1190);
var X1192 = first(X1190);
var X1193 = first(X1192);
var X1194 = minus(X1193, X980);
var X1195 = mult(X986, X1194);
var X1196 = plus(X983, X1195);
var X1197 = _const(1);
var X1198 = div(X1197, X990);
var X1199 = second(X1192);
var X1200 = minus(X1199, X1196);
var X1201 = mult(X1200, X1200);
var X1202 = _const(2);
var X1203 = mult(X1202, X1198);
var X1204 = div(X1201, X1203);
var X1205 = minus(X1204);
var X1206 = _const(0.5);
var X1207 = _const(2);
var X1208 = log(X1207);
var X1209 = log(X0);
var X1210 = log(X1198);
var X1211 = plus(X1208, X1209, X1210);
var X1212 = mult(X1206, X1211);
var X1213 = minus(X1205, X1212);
var X1214 = wrapped_factor(X1213);
var X1215 = rest(X1190);
var X1216 = is_null(X1215);
var X1217 = first(X1215);
var X1218 = first(X1217);
var X1219 = minus(X1218, X980);
var X1220 = mult(X986, X1219);
var X1221 = plus(X983, X1220);
var X1222 = _const(1);
var X1223 = div(X1222, X990);
var X1224 = second(X1217);
var X1225 = minus(X1224, X1221);
var X1226 = mult(X1225, X1225);
var X1227 = _const(2);
var X1228 = mult(X1227, X1223);
var X1229 = div(X1226, X1228);
var X1230 = minus(X1229);
var X1231 = _const(0.5);
var X1232 = _const(2);
var X1233 = log(X1232);
var X1234 = log(X0);
var X1235 = log(X1223);
var X1236 = plus(X1233, X1234, X1235);
var X1237 = mult(X1231, X1236);
var X1238 = minus(X1230, X1237);
var X1239 = wrapped_factor(X1238);
var X1240 = rest(X1215);
var X1241 = is_null(X1240);
var X1242 = first(X1240);
var X1243 = first(X1242);
var X1244 = minus(X1243, X980);
var X1245 = mult(X986, X1244);
var X1246 = plus(X983, X1245);
var X1247 = _const(1);
var X1248 = div(X1247, X990);
var X1249 = second(X1242);
var X1250 = minus(X1249, X1246);
var X1251 = mult(X1250, X1250);
var X1252 = _const(2);
var X1253 = mult(X1252, X1248);
var X1254 = div(X1251, X1253);
var X1255 = minus(X1254);
var X1256 = _const(0.5);
var X1257 = _const(2);
var X1258 = log(X1257);
var X1259 = log(X0);
var X1260 = log(X1248);
var X1261 = plus(X1258, X1259, X1260);
var X1262 = mult(X1256, X1261);
var X1263 = minus(X1255, X1262);
var X1264 = wrapped_factor(X1263);
var X1265 = rest(X1240);
var X1266 = is_null(X1265);
var X1267 = first(X1265);
var X1268 = first(X1267);
var X1269 = minus(X1268, X980);
var X1270 = mult(X986, X1269);
var X1271 = plus(X983, X1270);
var X1272 = _const(1);
var X1273 = div(X1272, X990);
var X1274 = second(X1267);
var X1275 = minus(X1274, X1271);
var X1276 = mult(X1275, X1275);
var X1277 = _const(2);
var X1278 = mult(X1277, X1273);
var X1279 = div(X1276, X1278);
var X1280 = minus(X1279);
var X1281 = _const(0.5);
var X1282 = _const(2);
var X1283 = log(X1282);
var X1284 = log(X0);
var X1285 = log(X1273);
var X1286 = plus(X1283, X1284, X1285);
var X1287 = mult(X1281, X1286);
var X1288 = minus(X1280, X1287);
var X1289 = wrapped_factor(X1288);
var X1290 = rest(X1265);
var X1291 = is_null(X1290);
var X1292 = first(X1290);
var X1293 = first(X1292);
var X1294 = minus(X1293, X980);
var X1295 = mult(X986, X1294);
var X1296 = plus(X983, X1295);
var X1297 = _const(1);
var X1298 = div(X1297, X990);
var X1299 = second(X1292);
var X1300 = minus(X1299, X1296);
var X1301 = mult(X1300, X1300);
var X1302 = _const(2);
var X1303 = mult(X1302, X1298);
var X1304 = div(X1301, X1303);
var X1305 = minus(X1304);
var X1306 = _const(0.5);
var X1307 = _const(2);
var X1308 = log(X1307);
var X1309 = log(X0);
var X1310 = log(X1298);
var X1311 = plus(X1308, X1309, X1310);
var X1312 = mult(X1306, X1311);
var X1313 = minus(X1305, X1312);
var X1314 = wrapped_factor(X1313);
var X1315 = rest(X1290);
var X1316 = is_null(X1315);
var X1317 = first(X1315);
var X1318 = first(X1317);
var X1319 = minus(X1318, X980);
var X1320 = mult(X986, X1319);
var X1321 = plus(X983, X1320);
var X1322 = _const(1);
var X1323 = div(X1322, X990);
var X1324 = second(X1317);
var X1325 = minus(X1324, X1321);
var X1326 = mult(X1325, X1325);
var X1327 = _const(2);
var X1328 = mult(X1327, X1323);
var X1329 = div(X1326, X1328);
var X1330 = minus(X1329);
var X1331 = _const(0.5);
var X1332 = _const(2);
var X1333 = log(X1332);
var X1334 = log(X0);
var X1335 = log(X1323);
var X1336 = plus(X1333, X1334, X1335);
var X1337 = mult(X1331, X1336);
var X1338 = minus(X1330, X1337);
var X1339 = wrapped_factor(X1338);
var X1340 = rest(X1315);
var X1341 = is_null(X1340);
var X1342 = first(X1340);
var X1343 = first(X1342);
var X1344 = minus(X1343, X980);
var X1345 = mult(X986, X1344);
var X1346 = plus(X983, X1345);
var X1347 = _const(1);
var X1348 = div(X1347, X990);
var X1349 = second(X1342);
var X1350 = minus(X1349, X1346);
var X1351 = mult(X1350, X1350);
var X1352 = _const(2);
var X1353 = mult(X1352, X1348);
var X1354 = div(X1351, X1353);
var X1355 = minus(X1354);
var X1356 = _const(0.5);
var X1357 = _const(2);
var X1358 = log(X1357);
var X1359 = log(X0);
var X1360 = log(X1348);
var X1361 = plus(X1358, X1359, X1360);
var X1362 = mult(X1356, X1361);
var X1363 = minus(X1355, X1362);
var X1364 = wrapped_factor(X1363);
var X1365 = rest(X1340);
var X1366 = is_null(X1365);
var X1367 = first(X1365);
var X1368 = first(X1367);
var X1369 = minus(X1368, X980);
var X1370 = mult(X986, X1369);
var X1371 = plus(X983, X1370);
var X1372 = _const(1);
var X1373 = div(X1372, X990);
var X1374 = second(X1367);
var X1375 = minus(X1374, X1371);
var X1376 = mult(X1375, X1375);
var X1377 = _const(2);
var X1378 = mult(X1377, X1373);
var X1379 = div(X1376, X1378);
var X1380 = minus(X1379);
var X1381 = _const(0.5);
var X1382 = _const(2);
var X1383 = log(X1382);
var X1384 = log(X0);
var X1385 = log(X1373);
var X1386 = plus(X1383, X1384, X1385);
var X1387 = mult(X1381, X1386);
var X1388 = minus(X1380, X1387);
var X1389 = wrapped_factor(X1388);
var X1390 = rest(X1365);
var X1391 = is_null(X1390);
var X1392 = first(X1390);
var X1393 = first(X1392);
var X1394 = minus(X1393, X980);
var X1395 = mult(X986, X1394);
var X1396 = plus(X983, X1395);
var X1397 = _const(1);
var X1398 = div(X1397, X990);
var X1399 = second(X1392);
var X1400 = minus(X1399, X1396);
var X1401 = mult(X1400, X1400);
var X1402 = _const(2);
var X1403 = mult(X1402, X1398);
var X1404 = div(X1401, X1403);
var X1405 = minus(X1404);
var X1406 = _const(0.5);
var X1407 = _const(2);
var X1408 = log(X1407);
var X1409 = log(X0);
var X1410 = log(X1398);
var X1411 = plus(X1408, X1409, X1410);
var X1412 = mult(X1406, X1411);
var X1413 = minus(X1405, X1412);
var X1414 = wrapped_factor(X1413);
var X1415 = rest(X1390);
var X1416 = is_null(X1415);
var X1417 = first(X1415);
var X1418 = first(X1417);
var X1419 = minus(X1418, X980);
var X1420 = mult(X986, X1419);
var X1421 = plus(X983, X1420);
var X1422 = _const(1);
var X1423 = div(X1422, X990);
var X1424 = second(X1417);
var X1425 = minus(X1424, X1421);
var X1426 = mult(X1425, X1425);
var X1427 = _const(2);
var X1428 = mult(X1427, X1423);
var X1429 = div(X1426, X1428);
var X1430 = minus(X1429);
var X1431 = _const(0.5);
var X1432 = _const(2);
var X1433 = log(X1432);
var X1434 = log(X0);
var X1435 = log(X1423);
var X1436 = plus(X1433, X1434, X1435);
var X1437 = mult(X1431, X1436);
var X1438 = minus(X1430, X1437);
var X1439 = wrapped_factor(X1438);
var X1440 = rest(X1415);
var X1441 = is_null(X1440);
var X1442 = first(X1440);
var X1443 = first(X1442);
var X1444 = minus(X1443, X980);
var X1445 = mult(X986, X1444);
var X1446 = plus(X983, X1445);
var X1447 = _const(1);
var X1448 = div(X1447, X990);
var X1449 = second(X1442);
var X1450 = minus(X1449, X1446);
var X1451 = mult(X1450, X1450);
var X1452 = _const(2);
var X1453 = mult(X1452, X1448);
var X1454 = div(X1451, X1453);
var X1455 = minus(X1454);
var X1456 = _const(0.5);
var X1457 = _const(2);
var X1458 = log(X1457);
var X1459 = log(X0);
var X1460 = log(X1448);
var X1461 = plus(X1458, X1459, X1460);
var X1462 = mult(X1456, X1461);
var X1463 = minus(X1455, X1462);
var X1464 = wrapped_factor(X1463);
var X1465 = rest(X1440);
var X1466 = is_null(X1465);
var X1467 = first(X1465);
var X1468 = first(X1467);
var X1469 = minus(X1468, X980);
var X1470 = mult(X986, X1469);
var X1471 = plus(X983, X1470);
var X1472 = _const(1);
var X1473 = div(X1472, X990);
var X1474 = second(X1467);
var X1475 = minus(X1474, X1471);
var X1476 = mult(X1475, X1475);
var X1477 = _const(2);
var X1478 = mult(X1477, X1473);
var X1479 = div(X1476, X1478);
var X1480 = minus(X1479);
var X1481 = _const(0.5);
var X1482 = _const(2);
var X1483 = log(X1482);
var X1484 = log(X0);
var X1485 = log(X1473);
var X1486 = plus(X1483, X1484, X1485);
var X1487 = mult(X1481, X1486);
var X1488 = minus(X1480, X1487);
var X1489 = wrapped_factor(X1488);
var X1490 = rest(X1465);
var X1491 = is_null(X1490);
var X1492 = first(X1490);
var X1493 = first(X1492);
var X1494 = minus(X1493, X980);
var X1495 = mult(X986, X1494);
var X1496 = plus(X983, X1495);
var X1497 = _const(1);
var X1498 = div(X1497, X990);
var X1499 = second(X1492);
var X1500 = minus(X1499, X1496);
var X1501 = mult(X1500, X1500);
var X1502 = _const(2);
var X1503 = mult(X1502, X1498);
var X1504 = div(X1501, X1503);
var X1505 = minus(X1504);
var X1506 = _const(0.5);
var X1507 = _const(2);
var X1508 = log(X1507);
var X1509 = log(X0);
var X1510 = log(X1498);
var X1511 = plus(X1508, X1509, X1510);
var X1512 = mult(X1506, X1511);
var X1513 = minus(X1505, X1512);
var X1514 = wrapped_factor(X1513);
var X1515 = rest(X1490);
var X1516 = is_null(X1515);
var X1517 = first(X1515);
var X1518 = first(X1517);
var X1519 = minus(X1518, X980);
var X1520 = mult(X986, X1519);
var X1521 = plus(X983, X1520);
var X1522 = _const(1);
var X1523 = div(X1522, X990);
var X1524 = second(X1517);
var X1525 = minus(X1524, X1521);
var X1526 = mult(X1525, X1525);
var X1527 = _const(2);
var X1528 = mult(X1527, X1523);
var X1529 = div(X1526, X1528);
var X1530 = minus(X1529);
var X1531 = _const(0.5);
var X1532 = _const(2);
var X1533 = log(X1532);
var X1534 = log(X0);
var X1535 = log(X1523);
var X1536 = plus(X1533, X1534, X1535);
var X1537 = mult(X1531, X1536);
var X1538 = minus(X1530, X1537);
var X1539 = wrapped_factor(X1538);
var X1540 = rest(X1515);
var X1541 = is_null(X1540);
var X1542 = first(X1540);
var X1543 = first(X1542);
var X1544 = minus(X1543, X980);
var X1545 = mult(X986, X1544);
var X1546 = plus(X983, X1545);
var X1547 = _const(1);
var X1548 = div(X1547, X990);
var X1549 = second(X1542);
var X1550 = minus(X1549, X1546);
var X1551 = mult(X1550, X1550);
var X1552 = _const(2);
var X1553 = mult(X1552, X1548);
var X1554 = div(X1551, X1553);
var X1555 = minus(X1554);
var X1556 = _const(0.5);
var X1557 = _const(2);
var X1558 = log(X1557);
var X1559 = log(X0);
var X1560 = log(X1548);
var X1561 = plus(X1558, X1559, X1560);
var X1562 = mult(X1556, X1561);
var X1563 = minus(X1555, X1562);
var X1564 = wrapped_factor(X1563);
var X1565 = rest(X1540);
var X1566 = is_null(X1565);
var X1567 = first(X1565);
var X1568 = first(X1567);
var X1569 = minus(X1568, X980);
var X1570 = mult(X986, X1569);
var X1571 = plus(X983, X1570);
var X1572 = _const(1);
var X1573 = div(X1572, X990);
var X1574 = second(X1567);
var X1575 = minus(X1574, X1571);
var X1576 = mult(X1575, X1575);
var X1577 = _const(2);
var X1578 = mult(X1577, X1573);
var X1579 = div(X1576, X1578);
var X1580 = minus(X1579);
var X1581 = _const(0.5);
var X1582 = _const(2);
var X1583 = log(X1582);
var X1584 = log(X0);
var X1585 = log(X1573);
var X1586 = plus(X1583, X1584, X1585);
var X1587 = mult(X1581, X1586);
var X1588 = minus(X1580, X1587);
var X1589 = wrapped_factor(X1588);
var X1590 = rest(X1565);
var X1591 = is_null(X1590);
var X1592 = first(X1590);
var X1593 = first(X1592);
var X1594 = minus(X1593, X980);
var X1595 = mult(X986, X1594);
var X1596 = plus(X983, X1595);
var X1597 = _const(1);
var X1598 = div(X1597, X990);
var X1599 = second(X1592);
var X1600 = minus(X1599, X1596);
var X1601 = mult(X1600, X1600);
var X1602 = _const(2);
var X1603 = mult(X1602, X1598);
var X1604 = div(X1601, X1603);
var X1605 = minus(X1604);
var X1606 = _const(0.5);
var X1607 = _const(2);
var X1608 = log(X1607);
var X1609 = log(X0);
var X1610 = log(X1598);
var X1611 = plus(X1608, X1609, X1610);
var X1612 = mult(X1606, X1611);
var X1613 = minus(X1605, X1612);
var X1614 = wrapped_factor(X1613);
var X1615 = rest(X1590);
var X1616 = is_null(X1615);
var X1617 = first(X1615);
var X1618 = first(X1617);
var X1619 = minus(X1618, X980);
var X1620 = mult(X986, X1619);
var X1621 = plus(X983, X1620);
var X1622 = _const(1);
var X1623 = div(X1622, X990);
var X1624 = second(X1617);
var X1625 = minus(X1624, X1621);
var X1626 = mult(X1625, X1625);
var X1627 = _const(2);
var X1628 = mult(X1627, X1623);
var X1629 = div(X1626, X1628);
var X1630 = minus(X1629);
var X1631 = _const(0.5);
var X1632 = _const(2);
var X1633 = log(X1632);
var X1634 = log(X0);
var X1635 = log(X1623);
var X1636 = plus(X1633, X1634, X1635);
var X1637 = mult(X1631, X1636);
var X1638 = minus(X1630, X1637);
var X1639 = wrapped_factor(X1638);
var X1640 = rest(X1615);
var X1641 = is_null(X1640);
var X1642 = first(X1640);
var X1643 = first(X1642);
var X1644 = minus(X1643, X980);
var X1645 = mult(X986, X1644);
var X1646 = plus(X983, X1645);
var X1647 = _const(1);
var X1648 = div(X1647, X990);
var X1649 = second(X1642);
var X1650 = minus(X1649, X1646);
var X1651 = mult(X1650, X1650);
var X1652 = _const(2);
var X1653 = mult(X1652, X1648);
var X1654 = div(X1651, X1653);
var X1655 = minus(X1654);
var X1656 = _const(0.5);
var X1657 = _const(2);
var X1658 = log(X1657);
var X1659 = log(X0);
var X1660 = log(X1648);
var X1661 = plus(X1658, X1659, X1660);
var X1662 = mult(X1656, X1661);
var X1663 = minus(X1655, X1662);
var X1664 = wrapped_factor(X1663);
var X1665 = rest(X1640);
var X1666 = is_null(X1665);
var X1667 = first(X1665);
var X1668 = first(X1667);
var X1669 = minus(X1668, X980);
var X1670 = mult(X986, X1669);
var X1671 = plus(X983, X1670);
var X1672 = _const(1);
var X1673 = div(X1672, X990);
var X1674 = second(X1667);
var X1675 = minus(X1674, X1671);
var X1676 = mult(X1675, X1675);
var X1677 = _const(2);
var X1678 = mult(X1677, X1673);
var X1679 = div(X1676, X1678);
var X1680 = minus(X1679);
var X1681 = _const(0.5);
var X1682 = _const(2);
var X1683 = log(X1682);
var X1684 = log(X0);
var X1685 = log(X1673);
var X1686 = plus(X1683, X1684, X1685);
var X1687 = mult(X1681, X1686);
var X1688 = minus(X1680, X1687);
var X1689 = wrapped_factor(X1688);
var X1690 = rest(X1665);
var X1691 = is_null(X1690);
var X1692 = first(X1690);
var X1693 = first(X1692);
var X1694 = minus(X1693, X980);
var X1695 = mult(X986, X1694);
var X1696 = plus(X983, X1695);
var X1697 = _const(1);
var X1698 = div(X1697, X990);
var X1699 = second(X1692);
var X1700 = minus(X1699, X1696);
var X1701 = mult(X1700, X1700);
var X1702 = _const(2);
var X1703 = mult(X1702, X1698);
var X1704 = div(X1701, X1703);
var X1705 = minus(X1704);
var X1706 = _const(0.5);
var X1707 = _const(2);
var X1708 = log(X1707);
var X1709 = log(X0);
var X1710 = log(X1698);
var X1711 = plus(X1708, X1709, X1710);
var X1712 = mult(X1706, X1711);
var X1713 = minus(X1705, X1712);
var X1714 = wrapped_factor(X1713);
var X1715 = rest(X1690);
var X1716 = is_null(X1715);
var X1717 = first(X1715);
var X1718 = first(X1717);
var X1719 = minus(X1718, X980);
var X1720 = mult(X986, X1719);
var X1721 = plus(X983, X1720);
var X1722 = _const(1);
var X1723 = div(X1722, X990);
var X1724 = second(X1717);
var X1725 = minus(X1724, X1721);
var X1726 = mult(X1725, X1725);
var X1727 = _const(2);
var X1728 = mult(X1727, X1723);
var X1729 = div(X1726, X1728);
var X1730 = minus(X1729);
var X1731 = _const(0.5);
var X1732 = _const(2);
var X1733 = log(X1732);
var X1734 = log(X0);
var X1735 = log(X1723);
var X1736 = plus(X1733, X1734, X1735);
var X1737 = mult(X1731, X1736);
var X1738 = minus(X1730, X1737);
var X1739 = wrapped_factor(X1738);
var X1740 = rest(X1715);
var X1741 = is_null(X1740);
var X1742 = first(X1740);
var X1743 = first(X1742);
var X1744 = minus(X1743, X980);
var X1745 = mult(X986, X1744);
var X1746 = plus(X983, X1745);
var X1747 = _const(1);
var X1748 = div(X1747, X990);
var X1749 = second(X1742);
var X1750 = minus(X1749, X1746);
var X1751 = mult(X1750, X1750);
var X1752 = _const(2);
var X1753 = mult(X1752, X1748);
var X1754 = div(X1751, X1753);
var X1755 = minus(X1754);
var X1756 = _const(0.5);
var X1757 = _const(2);
var X1758 = log(X1757);
var X1759 = log(X0);
var X1760 = log(X1748);
var X1761 = plus(X1758, X1759, X1760);
var X1762 = mult(X1756, X1761);
var X1763 = minus(X1755, X1762);
var X1764 = wrapped_factor(X1763);
var X1765 = rest(X1740);
var X1766 = is_null(X1765);
var X1767 = first(X1765);
var X1768 = first(X1767);
var X1769 = minus(X1768, X980);
var X1770 = mult(X986, X1769);
var X1771 = plus(X983, X1770);
var X1772 = _const(1);
var X1773 = div(X1772, X990);
var X1774 = second(X1767);
var X1775 = minus(X1774, X1771);
var X1776 = mult(X1775, X1775);
var X1777 = _const(2);
var X1778 = mult(X1777, X1773);
var X1779 = div(X1776, X1778);
var X1780 = minus(X1779);
var X1781 = _const(0.5);
var X1782 = _const(2);
var X1783 = log(X1782);
var X1784 = log(X0);
var X1785 = log(X1773);
var X1786 = plus(X1783, X1784, X1785);
var X1787 = mult(X1781, X1786);
var X1788 = minus(X1780, X1787);
var X1789 = wrapped_factor(X1788);
var X1790 = rest(X1765);
var X1791 = is_null(X1790);
var X1792 = first(X1790);
var X1793 = first(X1792);
var X1794 = minus(X1793, X980);
var X1795 = mult(X986, X1794);
var X1796 = plus(X983, X1795);
var X1797 = _const(1);
var X1798 = div(X1797, X990);
var X1799 = second(X1792);
var X1800 = minus(X1799, X1796);
var X1801 = mult(X1800, X1800);
var X1802 = _const(2);
var X1803 = mult(X1802, X1798);
var X1804 = div(X1801, X1803);
var X1805 = minus(X1804);
var X1806 = _const(0.5);
var X1807 = _const(2);
var X1808 = log(X1807);
var X1809 = log(X0);
var X1810 = log(X1798);
var X1811 = plus(X1808, X1809, X1810);
var X1812 = mult(X1806, X1811);
var X1813 = minus(X1805, X1812);
var X1814 = wrapped_factor(X1813);
var X1815 = rest(X1790);
var X1816 = is_null(X1815);
var X1817 = first(X1815);
var X1818 = first(X1817);
var X1819 = minus(X1818, X980);
var X1820 = mult(X986, X1819);
var X1821 = plus(X983, X1820);
var X1822 = _const(1);
var X1823 = div(X1822, X990);
var X1824 = second(X1817);
var X1825 = minus(X1824, X1821);
var X1826 = mult(X1825, X1825);
var X1827 = _const(2);
var X1828 = mult(X1827, X1823);
var X1829 = div(X1826, X1828);
var X1830 = minus(X1829);
var X1831 = _const(0.5);
var X1832 = _const(2);
var X1833 = log(X1832);
var X1834 = log(X0);
var X1835 = log(X1823);
var X1836 = plus(X1833, X1834, X1835);
var X1837 = mult(X1831, X1836);
var X1838 = minus(X1830, X1837);
var X1839 = wrapped_factor(X1838);
var X1840 = rest(X1815);
var X1841 = is_null(X1840);
var X1842 = first(X1840);
var X1843 = first(X1842);
var X1844 = minus(X1843, X980);
var X1845 = mult(X986, X1844);
var X1846 = plus(X983, X1845);
var X1847 = _const(1);
var X1848 = div(X1847, X990);
var X1849 = second(X1842);
var X1850 = minus(X1849, X1846);
var X1851 = mult(X1850, X1850);
var X1852 = _const(2);
var X1853 = mult(X1852, X1848);
var X1854 = div(X1851, X1853);
var X1855 = minus(X1854);
var X1856 = _const(0.5);
var X1857 = _const(2);
var X1858 = log(X1857);
var X1859 = log(X0);
var X1860 = log(X1848);
var X1861 = plus(X1858, X1859, X1860);
var X1862 = mult(X1856, X1861);
var X1863 = minus(X1855, X1862);
var X1864 = wrapped_factor(X1863);
var X1865 = rest(X1840);
var X1866 = is_null(X1865);
var X1867 = first(X1865);
var X1868 = first(X1867);
var X1869 = minus(X1868, X980);
var X1870 = mult(X986, X1869);
var X1871 = plus(X983, X1870);
var X1872 = _const(1);
var X1873 = div(X1872, X990);
var X1874 = second(X1867);
var X1875 = minus(X1874, X1871);
var X1876 = mult(X1875, X1875);
var X1877 = _const(2);
var X1878 = mult(X1877, X1873);
var X1879 = div(X1876, X1878);
var X1880 = minus(X1879);
var X1881 = _const(0.5);
var X1882 = _const(2);
var X1883 = log(X1882);
var X1884 = log(X0);
var X1885 = log(X1873);
var X1886 = plus(X1883, X1884, X1885);
var X1887 = mult(X1881, X1886);
var X1888 = minus(X1880, X1887);
var X1889 = wrapped_factor(X1888);
var X1890 = rest(X1865);
var X1891 = is_null(X1890);
var X1892 = first(X1890);
var X1893 = first(X1892);
var X1894 = minus(X1893, X980);
var X1895 = mult(X986, X1894);
var X1896 = plus(X983, X1895);
var X1897 = _const(1);
var X1898 = div(X1897, X990);
var X1899 = second(X1892);
var X1900 = minus(X1899, X1896);
var X1901 = mult(X1900, X1900);
var X1902 = _const(2);
var X1903 = mult(X1902, X1898);
var X1904 = div(X1901, X1903);
var X1905 = minus(X1904);
var X1906 = _const(0.5);
var X1907 = _const(2);
var X1908 = log(X1907);
var X1909 = log(X0);
var X1910 = log(X1898);
var X1911 = plus(X1908, X1909, X1910);
var X1912 = mult(X1906, X1911);
var X1913 = minus(X1905, X1912);
var X1914 = wrapped_factor(X1913);
var X1915 = rest(X1890);
var X1916 = is_null(X1915);
var X1917 = first(X1915);
var X1918 = first(X1917);
var X1919 = minus(X1918, X980);
var X1920 = mult(X986, X1919);
var X1921 = plus(X983, X1920);
var X1922 = _const(1);
var X1923 = div(X1922, X990);
var X1924 = second(X1917);
var X1925 = minus(X1924, X1921);
var X1926 = mult(X1925, X1925);
var X1927 = _const(2);
var X1928 = mult(X1927, X1923);
var X1929 = div(X1926, X1928);
var X1930 = minus(X1929);
var X1931 = _const(0.5);
var X1932 = _const(2);
var X1933 = log(X1932);
var X1934 = log(X0);
var X1935 = log(X1923);
var X1936 = plus(X1933, X1934, X1935);
var X1937 = mult(X1931, X1936);
var X1938 = minus(X1930, X1937);
var X1939 = wrapped_factor(X1938);
var X1940 = rest(X1915);
var X1941 = is_null(X1940);
var X1942 = first(X1940);
var X1943 = first(X1942);
var X1944 = minus(X1943, X980);
var X1945 = mult(X986, X1944);
var X1946 = plus(X983, X1945);
var X1947 = _const(1);
var X1948 = div(X1947, X990);
var X1949 = second(X1942);
var X1950 = minus(X1949, X1946);
var X1951 = mult(X1950, X1950);
var X1952 = _const(2);
var X1953 = mult(X1952, X1948);
var X1954 = div(X1951, X1953);
var X1955 = minus(X1954);
var X1956 = _const(0.5);
var X1957 = _const(2);
var X1958 = log(X1957);
var X1959 = log(X0);
var X1960 = log(X1948);
var X1961 = plus(X1958, X1959, X1960);
var X1962 = mult(X1956, X1961);
var X1963 = minus(X1955, X1962);
var X1964 = wrapped_factor(X1963);
var X1965 = rest(X1940);
var X1966 = is_null(X1965);
var X1967 = first(X1965);
var X1968 = first(X1967);
var X1969 = minus(X1968, X980);
var X1970 = mult(X986, X1969);
var X1971 = plus(X983, X1970);
var X1972 = _const(1);
var X1973 = div(X1972, X990);
var X1974 = second(X1967);
var X1975 = minus(X1974, X1971);
var X1976 = mult(X1975, X1975);
var X1977 = _const(2);
var X1978 = mult(X1977, X1973);
var X1979 = div(X1976, X1978);
var X1980 = minus(X1979);
var X1981 = _const(0.5);
var X1982 = _const(2);
var X1983 = log(X1982);
var X1984 = log(X0);
var X1985 = log(X1973);
var X1986 = plus(X1983, X1984, X1985);
var X1987 = mult(X1981, X1986);
var X1988 = minus(X1980, X1987);
var X1989 = wrapped_factor(X1988);
var X1990 = rest(X1965);
var X1991 = is_null(X1990);
var X1992 = first(X1990);
var X1993 = first(X1992);
var X1994 = minus(X1993, X980);
var X1995 = mult(X986, X1994);
var X1996 = plus(X983, X1995);
var X1997 = _const(1);
var X1998 = div(X1997, X990);
var X1999 = second(X1992);
var X2000 = minus(X1999, X1996);
var X2001 = mult(X2000, X2000);
var X2002 = _const(2);
var X2003 = mult(X2002, X1998);
var X2004 = div(X2001, X2003);
var X2005 = minus(X2004);
var X2006 = _const(0.5);
var X2007 = _const(2);
var X2008 = log(X2007);
var X2009 = log(X0);
var X2010 = log(X1998);
var X2011 = plus(X2008, X2009, X2010);
var X2012 = mult(X2006, X2011);
var X2013 = minus(X2005, X2012);
var X2014 = wrapped_factor(X2013);
var X2015 = rest(X1990);
var X2016 = is_null(X2015);
var X2017 = first(X2015);
var X2018 = first(X2017);
var X2019 = minus(X2018, X980);
var X2020 = mult(X986, X2019);
var X2021 = plus(X983, X2020);
var X2022 = _const(1);
var X2023 = div(X2022, X990);
var X2024 = second(X2017);
var X2025 = minus(X2024, X2021);
var X2026 = mult(X2025, X2025);
var X2027 = _const(2);
var X2028 = mult(X2027, X2023);
var X2029 = div(X2026, X2028);
var X2030 = minus(X2029);
var X2031 = _const(0.5);
var X2032 = _const(2);
var X2033 = log(X2032);
var X2034 = log(X0);
var X2035 = log(X2023);
var X2036 = plus(X2033, X2034, X2035);
var X2037 = mult(X2031, X2036);
var X2038 = minus(X2030, X2037);
var X2039 = wrapped_factor(X2038);
var X2040 = rest(X2015);
var X2041 = is_null(X2040);
var X2042 = first(X2040);
var X2043 = first(X2042);
var X2044 = minus(X2043, X980);
var X2045 = mult(X986, X2044);
var X2046 = plus(X983, X2045);
var X2047 = _const(1);
var X2048 = div(X2047, X990);
var X2049 = second(X2042);
var X2050 = minus(X2049, X2046);
var X2051 = mult(X2050, X2050);
var X2052 = _const(2);
var X2053 = mult(X2052, X2048);
var X2054 = div(X2051, X2053);
var X2055 = minus(X2054);
var X2056 = _const(0.5);
var X2057 = _const(2);
var X2058 = log(X2057);
var X2059 = log(X0);
var X2060 = log(X2048);
var X2061 = plus(X2058, X2059, X2060);
var X2062 = mult(X2056, X2061);
var X2063 = minus(X2055, X2062);
var X2064 = wrapped_factor(X2063);
var X2065 = rest(X2040);
var X2066 = is_null(X2065);
var X2067 = first(X2065);
var X2068 = first(X2067);
var X2069 = minus(X2068, X980);
var X2070 = mult(X986, X2069);
var X2071 = plus(X983, X2070);
var X2072 = _const(1);
var X2073 = div(X2072, X990);
var X2074 = second(X2067);
var X2075 = minus(X2074, X2071);
var X2076 = mult(X2075, X2075);
var X2077 = _const(2);
var X2078 = mult(X2077, X2073);
var X2079 = div(X2076, X2078);
var X2080 = minus(X2079);
var X2081 = _const(0.5);
var X2082 = _const(2);
var X2083 = log(X2082);
var X2084 = log(X0);
var X2085 = log(X2073);
var X2086 = plus(X2083, X2084, X2085);
var X2087 = mult(X2081, X2086);
var X2088 = minus(X2080, X2087);
var X2089 = wrapped_factor(X2088);
var X2090 = rest(X2065);
var X2091 = is_null(X2090);
var X2092 = first(X2090);
var X2093 = first(X2092);
var X2094 = minus(X2093, X980);
var X2095 = mult(X986, X2094);
var X2096 = plus(X983, X2095);
var X2097 = _const(1);
var X2098 = div(X2097, X990);
var X2099 = second(X2092);
var X2100 = minus(X2099, X2096);
var X2101 = mult(X2100, X2100);
var X2102 = _const(2);
var X2103 = mult(X2102, X2098);
var X2104 = div(X2101, X2103);
var X2105 = minus(X2104);
var X2106 = _const(0.5);
var X2107 = _const(2);
var X2108 = log(X2107);
var X2109 = log(X0);
var X2110 = log(X2098);
var X2111 = plus(X2108, X2109, X2110);
var X2112 = mult(X2106, X2111);
var X2113 = minus(X2105, X2112);
var X2114 = wrapped_factor(X2113);
var X2115 = rest(X2090);
var X2116 = is_null(X2115);
var X2117 = first(X2115);
var X2118 = first(X2117);
var X2119 = minus(X2118, X980);
var X2120 = mult(X986, X2119);
var X2121 = plus(X983, X2120);
var X2122 = _const(1);
var X2123 = div(X2122, X990);
var X2124 = second(X2117);
var X2125 = minus(X2124, X2121);
var X2126 = mult(X2125, X2125);
var X2127 = _const(2);
var X2128 = mult(X2127, X2123);
var X2129 = div(X2126, X2128);
var X2130 = minus(X2129);
var X2131 = _const(0.5);
var X2132 = _const(2);
var X2133 = log(X2132);
var X2134 = log(X0);
var X2135 = log(X2123);
var X2136 = plus(X2133, X2134, X2135);
var X2137 = mult(X2131, X2136);
var X2138 = minus(X2130, X2137);
var X2139 = wrapped_factor(X2138);
var X2140 = rest(X2115);
var X2141 = is_null(X2140);
var X2142 = first(X2140);
var X2143 = first(X2142);
var X2144 = minus(X2143, X980);
var X2145 = mult(X986, X2144);
var X2146 = plus(X983, X2145);
var X2147 = _const(1);
var X2148 = div(X2147, X990);
var X2149 = second(X2142);
var X2150 = minus(X2149, X2146);
var X2151 = mult(X2150, X2150);
var X2152 = _const(2);
var X2153 = mult(X2152, X2148);
var X2154 = div(X2151, X2153);
var X2155 = minus(X2154);
var X2156 = _const(0.5);
var X2157 = _const(2);
var X2158 = log(X2157);
var X2159 = log(X0);
var X2160 = log(X2148);
var X2161 = plus(X2158, X2159, X2160);
var X2162 = mult(X2156, X2161);
var X2163 = minus(X2155, X2162);
var X2164 = wrapped_factor(X2163);
var X2165 = rest(X2140);
var X2166 = is_null(X2165);
var X2167 = first(X2165);
var X2168 = first(X2167);
var X2169 = minus(X2168, X980);
var X2170 = mult(X986, X2169);
var X2171 = plus(X983, X2170);
var X2172 = _const(1);
var X2173 = div(X2172, X990);
var X2174 = second(X2167);
var X2175 = minus(X2174, X2171);
var X2176 = mult(X2175, X2175);
var X2177 = _const(2);
var X2178 = mult(X2177, X2173);
var X2179 = div(X2176, X2178);
var X2180 = minus(X2179);
var X2181 = _const(0.5);
var X2182 = _const(2);
var X2183 = log(X2182);
var X2184 = log(X0);
var X2185 = log(X2173);
var X2186 = plus(X2183, X2184, X2185);
var X2187 = mult(X2181, X2186);
var X2188 = minus(X2180, X2187);
var X2189 = wrapped_factor(X2188);
var X2190 = rest(X2165);
var X2191 = is_null(X2190);
var X2192 = first(X2190);
var X2193 = first(X2192);
var X2194 = minus(X2193, X980);
var X2195 = mult(X986, X2194);
var X2196 = plus(X983, X2195);
var X2197 = _const(1);
var X2198 = div(X2197, X990);
var X2199 = second(X2192);
var X2200 = minus(X2199, X2196);
var X2201 = mult(X2200, X2200);
var X2202 = _const(2);
var X2203 = mult(X2202, X2198);
var X2204 = div(X2201, X2203);
var X2205 = minus(X2204);
var X2206 = _const(0.5);
var X2207 = _const(2);
var X2208 = log(X2207);
var X2209 = log(X0);
var X2210 = log(X2198);
var X2211 = plus(X2208, X2209, X2210);
var X2212 = mult(X2206, X2211);
var X2213 = minus(X2205, X2212);
var X2214 = wrapped_factor(X2213);
var X2215 = rest(X2190);
var X2216 = is_null(X2215);
var X2217 = first(X2215);
var X2218 = first(X2217);
var X2219 = minus(X2218, X980);
var X2220 = mult(X986, X2219);
var X2221 = plus(X983, X2220);
var X2222 = _const(1);
var X2223 = div(X2222, X990);
var X2224 = second(X2217);
var X2225 = minus(X2224, X2221);
var X2226 = mult(X2225, X2225);
var X2227 = _const(2);
var X2228 = mult(X2227, X2223);
var X2229 = div(X2226, X2228);
var X2230 = minus(X2229);
var X2231 = _const(0.5);
var X2232 = _const(2);
var X2233 = log(X2232);
var X2234 = log(X0);
var X2235 = log(X2223);
var X2236 = plus(X2233, X2234, X2235);
var X2237 = mult(X2231, X2236);
var X2238 = minus(X2230, X2237);
var X2239 = wrapped_factor(X2238);
var X2240 = rest(X2215);
var X2241 = is_null(X2240);
var X2242 = first(X2240);
var X2243 = first(X2242);
var X2244 = minus(X2243, X980);
var X2245 = mult(X986, X2244);
var X2246 = plus(X983, X2245);
var X2247 = _const(1);
var X2248 = div(X2247, X990);
var X2249 = second(X2242);
var X2250 = minus(X2249, X2246);
var X2251 = mult(X2250, X2250);
var X2252 = _const(2);
var X2253 = mult(X2252, X2248);
var X2254 = div(X2251, X2253);
var X2255 = minus(X2254);
var X2256 = _const(0.5);
var X2257 = _const(2);
var X2258 = log(X2257);
var X2259 = log(X0);
var X2260 = log(X2248);
var X2261 = plus(X2258, X2259, X2260);
var X2262 = mult(X2256, X2261);
var X2263 = minus(X2255, X2262);
var X2264 = wrapped_factor(X2263);
var X2265 = rest(X2240);
var X2266 = is_null(X2265);
var X2267 = _const(undefined);
var X2268 = pair(X2264, X2267);
var X2269 = pair(X2239, X2268);
var X2270 = pair(X2214, X2269);
var X2271 = pair(X2189, X2270);
var X2272 = pair(X2164, X2271);
var X2273 = pair(X2139, X2272);
var X2274 = pair(X2114, X2273);
var X2275 = pair(X2089, X2274);
var X2276 = pair(X2064, X2275);
var X2277 = pair(X2039, X2276);
var X2278 = pair(X2014, X2277);
var X2279 = pair(X1989, X2278);
var X2280 = pair(X1964, X2279);
var X2281 = pair(X1939, X2280);
var X2282 = pair(X1914, X2281);
var X2283 = pair(X1889, X2282);
var X2284 = pair(X1864, X2283);
var X2285 = pair(X1839, X2284);
var X2286 = pair(X1814, X2285);
var X2287 = pair(X1789, X2286);
var X2288 = pair(X1764, X2287);
var X2289 = pair(X1739, X2288);
var X2290 = pair(X1714, X2289);
var X2291 = pair(X1689, X2290);
var X2292 = pair(X1664, X2291);
var X2293 = pair(X1639, X2292);
var X2294 = pair(X1614, X2293);
var X2295 = pair(X1589, X2294);
var X2296 = pair(X1564, X2295);
var X2297 = pair(X1539, X2296);
var X2298 = pair(X1514, X2297);
var X2299 = pair(X1489, X2298);
var X2300 = pair(X1464, X2299);
var X2301 = pair(X1439, X2300);
var X2302 = pair(X1414, X2301);
var X2303 = pair(X1389, X2302);
var X2304 = pair(X1364, X2303);
var X2305 = pair(X1339, X2304);
var X2306 = pair(X1314, X2305);
var X2307 = pair(X1289, X2306);
var X2308 = pair(X1264, X2307);
var X2309 = pair(X1239, X2308);
var X2310 = pair(X1214, X2309);
var X2311 = pair(X1189, X2310);
var X2312 = pair(X1164, X2311);
var X2313 = pair(X1139, X2312);
var X2314 = pair(X1114, X2313);
var X2315 = pair(X1089, X2314);
var X2316 = pair(X1064, X2315);
var X2317 = pair(X1039, X2316);
var X2318 = pair(X1014, X2317);
var X2319 = _const(1);
var X2320 = _const(0.5);
var X2321 = expt(X990, X2320);
var X2322 = div(X2319, X2321);
var X2323 = list(X983, X986, X2322, X990);