japl/tests/japl/longs/locWithSets.jpl

5186 lines
90 KiB
Plaintext

{
var a0 = 8313;
var a1 = 3509;
var a2 = 9029;
var a3 = 1706;
var a4 = 1340;
var a5 = 9375;
var a6 = 1570;
var a7 = 4698;
var a8 = 3860;
var a9 = 3213;
var a10 = 6428;
var a11 = 9265;
var a12 = 4944;
var a13 = 1539;
var a14 = 5959;
var a15 = 5911;
var a16 = 1680;
var a17 = 6994;
var a18 = 8568;
var a19 = 5227;
var a20 = 6148;
var a21 = 3719;
var a22 = 3703;
var a23 = 7709;
var a24 = 934;
var a25 = 3765;
var a26 = 7888;
var a27 = 9225;
var a28 = 5309;
var a29 = 7939;
var a30 = 5143;
var a31 = 2696;
var a32 = 1947;
var a33 = 7930;
var a34 = 7836;
var a35 = 9982;
var a36 = 8763;
var a37 = 654;
var a38 = 4210;
var a39 = 1175;
var a40 = 265;
var a41 = 7735;
var a42 = 5183;
var a43 = 5958;
var a44 = 7124;
var a45 = 2923;
var a46 = 754;
var a47 = 5874;
var a48 = 5092;
var a49 = 2352;
var a50 = 7464;
var a51 = 4456;
var a52 = 1611;
var a53 = 5503;
var a54 = 6783;
var a55 = 6992;
var a56 = 2572;
var a57 = 6618;
var a58 = 8097;
var a59 = 587;
var a60 = 7350;
var a61 = 7447;
var a62 = 7338;
var a63 = 9125;
var a64 = 1680;
var a65 = 3753;
var a66 = 108;
var a67 = 6287;
var a68 = 1296;
var a69 = 8678;
var a70 = 2645;
var a71 = 2697;
var a72 = 2835;
var a73 = 961;
var a74 = 28;
var a75 = 7133;
var a76 = 4261;
var a77 = 2015;
var a78 = 417;
var a79 = 952;
var a80 = 9114;
var a81 = 9073;
var a82 = 6230;
var a83 = 2676;
var a84 = 7597;
var a85 = 4712;
var a86 = 2387;
var a87 = 3539;
var a88 = 75;
var a89 = 8884;
var a90 = 8714;
var a91 = 6255;
var a92 = 1609;
var a93 = 360;
var a94 = 8229;
var a95 = 7098;
var a96 = 2828;
var a97 = 2761;
var a98 = 6377;
var a99 = 7091;
var a100 = 4977;
var a101 = 3326;
var a102 = 2504;
var a103 = 8890;
var a104 = 6057;
var a105 = 1708;
var a106 = 3435;
var a107 = 9696;
var a108 = 262;
var a109 = 8953;
var a110 = 6481;
var a111 = 8858;
var a112 = 2016;
var a113 = 4977;
var a114 = 4204;
var a115 = 3903;
var a116 = 2613;
var a117 = 1625;
var a118 = 9328;
var a119 = 383;
var a120 = 3941;
var a121 = 5374;
var a122 = 2802;
var a123 = 7512;
var a124 = 8205;
var a125 = 6924;
var a126 = 996;
var a127 = 6596;
var a128 = 7424;
var a129 = 6625;
var a130 = 9666;
var a131 = 5970;
var a132 = 6754;
var a133 = 7783;
var a134 = 2856;
var a135 = 5969;
var a136 = 9077;
var a137 = 1457;
var a138 = 1321;
var a139 = 7498;
var a140 = 4651;
var a141 = 9322;
var a142 = 3795;
var a143 = 7451;
var a144 = 7087;
var a145 = 1804;
var a146 = 9703;
var a147 = 1025;
var a148 = 5393;
var a149 = 5834;
var a150 = 9171;
var a151 = 7047;
var a152 = 4860;
var a153 = 9812;
var a154 = 7813;
var a155 = 3315;
var a156 = 843;
var a157 = 4842;
var a158 = 2539;
var a159 = 7728;
var a160 = 5866;
var a161 = 1352;
var a162 = 7283;
var a163 = 9389;
var a164 = 5406;
var a165 = 2454;
var a166 = 4162;
var a167 = 8119;
var a168 = 9239;
var a169 = 5168;
var a170 = 852;
var a171 = 1311;
var a172 = 7285;
var a173 = 6699;
var a174 = 1232;
var a175 = 1646;
var a176 = 909;
var a177 = 8294;
var a178 = 5457;
var a179 = 9563;
var a180 = 9883;
var a181 = 2949;
var a182 = 3780;
var a183 = 3222;
var a184 = 6959;
var a185 = 6150;
var a186 = 9742;
var a187 = 2076;
var a188 = 7371;
var a189 = 6595;
var a190 = 5819;
var a191 = 3021;
var a192 = 4292;
var a193 = 1017;
var a194 = 1384;
var a195 = 5142;
var a196 = 5597;
var a197 = 358;
var a198 = 940;
var a199 = 6918;
var a200 = 4841;
var a201 = 7453;
var a202 = 2750;
var a203 = 8843;
var a204 = 8042;
var a205 = 6776;
var a206 = 2701;
var a207 = 4729;
var a208 = 4069;
var a209 = 5051;
var a210 = 331;
var a211 = 3770;
var a212 = 6253;
var a213 = 4810;
var a214 = 6981;
var a215 = 380;
var a216 = 8451;
var a217 = 8359;
var a218 = 5746;
var a219 = 1989;
var a220 = 4410;
var a221 = 1112;
var a222 = 75;
var a223 = 746;
var a224 = 1633;
var a225 = 7008;
var a226 = 8828;
var a227 = 8842;
var a228 = 7024;
var a229 = 5050;
var a230 = 7416;
var a231 = 5600;
var a232 = 1624;
var a233 = 6909;
var a234 = 9029;
var a235 = 1444;
var a236 = 5100;
var a237 = 9464;
var a238 = 80;
var a239 = 5683;
var a240 = 2891;
var a241 = 5863;
var a242 = 355;
var a243 = 7099;
var a244 = 6260;
var a245 = 1221;
var a246 = 3941;
var a247 = 712;
var a248 = 6982;
var a249 = 6565;
var a250 = 6557;
var a251 = 8030;
var a252 = 87;
var a253 = 7651;
var a254 = 8981;
var a255 = 9612;
var a256 = 6792;
var a257 = 637;
var a258 = 2198;
var a259 = 1974;
var a260 = 1985;
var a261 = 5070;
var a262 = 5410;
var a263 = 8973;
var a264 = 9724;
var a265 = 1655;
var a266 = 6401;
var a267 = 6551;
var a268 = 7412;
var a269 = 9554;
var a270 = 6406;
var a271 = 8684;
var a272 = 7713;
var a273 = 4137;
var a274 = 6976;
var a275 = 8360;
var a276 = 9466;
var a277 = 3758;
var a278 = 7667;
var a279 = 7085;
var a280 = 5678;
var a281 = 225;
var a282 = 2629;
var a283 = 2494;
var a284 = 3409;
var a285 = 9429;
var a286 = 2200;
var a287 = 8609;
var a288 = 577;
var a289 = 3856;
var a290 = 3803;
var a291 = 4505;
var a292 = 7538;
var a293 = 4256;
var a294 = 5133;
var a295 = 7081;
var a296 = 6478;
var a297 = 8960;
var a298 = 877;
var a299 = 254;
var a300 = 1857;
var a301 = 4835;
var a302 = 6067;
var a303 = 1611;
var a304 = 8923;
var a305 = 88;
var a306 = 7227;
var a307 = 2124;
var a308 = 3844;
var a309 = 1499;
var a310 = 5953;
var a311 = 474;
var a312 = 5532;
var a313 = 9327;
var a314 = 5029;
var a315 = 3319;
var a316 = 2168;
var a317 = 2276;
var a318 = 3672;
var a319 = 3808;
var a320 = 3556;
var a321 = 3206;
var a322 = 9359;
var a323 = 9025;
var a324 = 3469;
var a325 = 6526;
var a326 = 4264;
var a327 = 1689;
var a328 = 9497;
var a329 = 1163;
var a330 = 4899;
var a331 = 7464;
var a332 = 6214;
var a333 = 4829;
var a334 = 4583;
var a335 = 7355;
var a336 = 1171;
var a337 = 325;
var a338 = 6978;
var a339 = 7160;
var a340 = 7216;
var a341 = 3600;
var a342 = 8741;
var a343 = 5974;
var a344 = 7650;
var a345 = 1530;
var a346 = 2703;
var a347 = 38;
var a348 = 7615;
var a349 = 6774;
var a350 = 730;
var a351 = 9647;
var a352 = 7118;
var a353 = 2339;
var a354 = 7632;
var a355 = 1249;
var a356 = 9446;
var a357 = 6722;
var a358 = 833;
var a359 = 6417;
var a360 = 5169;
var a361 = 8382;
var a362 = 4832;
var a363 = 7403;
var a364 = 5109;
var a365 = 7401;
var a366 = 2725;
var a367 = 3738;
var a368 = 6157;
var a369 = 3832;
var a370 = 4884;
var a371 = 7330;
var a372 = 359;
var a373 = 699;
var a374 = 1393;
var a375 = 3074;
var a376 = 6339;
var a377 = 9881;
var a378 = 9700;
var a379 = 2092;
var a380 = 5834;
var a381 = 2428;
var a382 = 8298;
var a383 = 7724;
var a384 = 9917;
var a385 = 9206;
var a386 = 1819;
var a387 = 8290;
var a388 = 6009;
var a389 = 6555;
var a390 = 3125;
var a391 = 3726;
var a392 = 3563;
var a393 = 8376;
var a394 = 151;
var a395 = 9325;
var a396 = 865;
var a397 = 5738;
var a398 = 8588;
var a399 = 6068;
var a400 = 9227;
var a401 = 704;
var a402 = 840;
var a403 = 1194;
var a404 = 9685;
var a405 = 8522;
var a406 = 9494;
var a407 = 6051;
var a408 = 7253;
var a409 = 4654;
var a410 = 6140;
var a411 = 6019;
var a412 = 5819;
var a413 = 1430;
var a414 = 4129;
var a415 = 5741;
var a416 = 8113;
var a417 = 3787;
var a418 = 291;
var a419 = 1068;
var a420 = 9477;
var a421 = 9725;
var a422 = 4192;
var a423 = 9148;
var a424 = 4290;
var a425 = 5573;
var a426 = 4728;
var a427 = 1238;
var a428 = 4390;
var a429 = 204;
var a430 = 2592;
var a431 = 8033;
var a432 = 372;
var a433 = 2252;
var a434 = 2304;
var a435 = 5798;
var a436 = 3085;
var a437 = 5081;
var a438 = 3534;
var a439 = 4467;
var a440 = 6279;
var a441 = 786;
var a442 = 9232;
var a443 = 3814;
var a444 = 4556;
var a445 = 8857;
var a446 = 7688;
var a447 = 1027;
var a448 = 2862;
var a449 = 1915;
var a450 = 101;
var a451 = 858;
var a452 = 3748;
var a453 = 2852;
var a454 = 6970;
var a455 = 2472;
var a456 = 197;
var a457 = 3058;
var a458 = 7369;
var a459 = 8763;
var a460 = 7505;
var a461 = 3622;
var a462 = 3396;
var a463 = 3153;
var a464 = 9598;
var a465 = 6611;
var a466 = 2808;
var a467 = 3236;
var a468 = 8965;
var a469 = 5596;
var a470 = 4174;
var a471 = 2059;
var a472 = 9943;
var a473 = 8000;
var a474 = 7217;
var a475 = 9498;
var a476 = 6795;
var a477 = 6531;
var a478 = 4399;
var a479 = 5313;
var a480 = 6296;
var a481 = 5476;
var a482 = 3013;
var a483 = 1108;
var a484 = 3017;
var a485 = 3725;
var a486 = 7839;
var a487 = 4394;
var a488 = 5006;
var a489 = 8277;
var a490 = 2399;
var a491 = 5971;
var a492 = 9031;
var a493 = 1255;
var a494 = 615;
var a495 = 2714;
var a496 = 2614;
var a497 = 8633;
var a498 = 1953;
var a499 = 2928;
var a500 = 6271;
var a501 = 6991;
var a502 = 360;
var a503 = 6212;
var a504 = 2520;
var a505 = 7956;
var a506 = 5407;
var a507 = 7113;
var a508 = 997;
var a509 = 5741;
var a510 = 898;
var a511 = 3468;
var a512 = 2190;
var a513 = 4622;
var a514 = 2189;
var a515 = 3069;
var a516 = 9209;
var a517 = 3971;
var a518 = 9649;
var a519 = 6982;
var a520 = 3378;
var a521 = 2934;
var a522 = 4100;
var a523 = 1883;
var a524 = 1195;
var a525 = 4458;
var a526 = 5590;
var a527 = 986;
var a528 = 2368;
var a529 = 2536;
var a530 = 4426;
var a531 = 1529;
var a532 = 7488;
var a533 = 5945;
var a534 = 1648;
var a535 = 6241;
var a536 = 6755;
var a537 = 5162;
var a538 = 2570;
var a539 = 8872;
var a540 = 9296;
var a541 = 7698;
var a542 = 6815;
var a543 = 7472;
var a544 = 4106;
var a545 = 3138;
var a546 = 6303;
var a547 = 5956;
var a548 = 618;
var a549 = 4365;
var a550 = 4932;
var a551 = 7636;
var a552 = 196;
var a553 = 7319;
var a554 = 5964;
var a555 = 3445;
var a556 = 659;
var a557 = 9532;
var a558 = 4761;
var a559 = 7393;
var a560 = 7743;
var a561 = 4778;
var a562 = 7739;
var a563 = 2550;
var a564 = 5162;
var a565 = 9736;
var a566 = 9143;
var a567 = 36;
var a568 = 6899;
var a569 = 5532;
var a570 = 9679;
var a571 = 6189;
var a572 = 1801;
var a573 = 1875;
var a574 = 1895;
var a575 = 8164;
var a576 = 5548;
var a577 = 3522;
var a578 = 5721;
var a579 = 7354;
var a580 = 4963;
var a581 = 1278;
var a582 = 7802;
var a583 = 3089;
var a584 = 9667;
var a585 = 9134;
var a586 = 5527;
var a587 = 3570;
var a588 = 5501;
var a589 = 8833;
var a590 = 2188;
var a591 = 7287;
var a592 = 7087;
var a593 = 939;
var a594 = 4248;
var a595 = 2421;
var a596 = 465;
var a597 = 2884;
var a598 = 1775;
var a599 = 1802;
var a600 = 3675;
var a601 = 6426;
var a602 = 4608;
var a603 = 2413;
var a604 = 4952;
var a605 = 9068;
var a606 = 9188;
var a607 = 3387;
var a608 = 7491;
var a609 = 7533;
var a610 = 6348;
var a611 = 4096;
var a612 = 5639;
var a613 = 7550;
var a614 = 6432;
var a615 = 1209;
var a616 = 1011;
var a617 = 9717;
var a618 = 1504;
var a619 = 7699;
var a620 = 5892;
var a621 = 1272;
var a622 = 7373;
var a623 = 7855;
var a624 = 3558;
var a625 = 6089;
var a626 = 8488;
var a627 = 3729;
var a628 = 5611;
var a629 = 1975;
var a630 = 9489;
var a631 = 9622;
var a632 = 3369;
var a633 = 6671;
var a634 = 2724;
var a635 = 282;
var a636 = 4833;
var a637 = 5410;
var a638 = 9577;
var a639 = 1183;
var a640 = 7653;
var a641 = 2435;
var a642 = 5249;
var a643 = 278;
var a644 = 1843;
var a645 = 5434;
var a646 = 7261;
var a647 = 639;
var a648 = 3566;
var a649 = 5883;
var a650 = 198;
var a651 = 4317;
var a652 = 2785;
var a653 = 842;
var a654 = 6535;
var a655 = 1084;
var a656 = 6430;
var a657 = 978;
var a658 = 8672;
var a659 = 1189;
var a660 = 5476;
var a661 = 9119;
var a662 = 7658;
var a663 = 7658;
var a664 = 8474;
var a665 = 884;
var a666 = 2180;
var a667 = 5269;
var a668 = 696;
var a669 = 1432;
var a670 = 6712;
var a671 = 8757;
var a672 = 2940;
var a673 = 240;
var a674 = 57;
var a675 = 7620;
var a676 = 3915;
var a677 = 8099;
var a678 = 3880;
var a679 = 9357;
var a680 = 6226;
var a681 = 2634;
var a682 = 7326;
var a683 = 9562;
var a684 = 9685;
var a685 = 4001;
var a686 = 3560;
var a687 = 8710;
var a688 = 677;
var a689 = 1138;
var a690 = 4190;
var a691 = 9775;
var a692 = 8721;
var a693 = 4291;
var a694 = 8417;
var a695 = 7664;
var a696 = 7677;
var a697 = 4455;
var a698 = 9545;
var a699 = 6882;
var a700 = 350;
var a701 = 1052;
var a702 = 2184;
var a703 = 7750;
var a704 = 4649;
var a705 = 4387;
var a706 = 5094;
var a707 = 7787;
var a708 = 1447;
var a709 = 6296;
var a710 = 4079;
var a711 = 38;
var a712 = 3319;
var a713 = 2739;
var a714 = 9528;
var a715 = 2375;
var a716 = 4078;
var a717 = 773;
var a718 = 8521;
var a719 = 2155;
var a720 = 6741;
var a721 = 6995;
var a722 = 6310;
var a723 = 7285;
var a724 = 8929;
var a725 = 3965;
var a726 = 7929;
var a727 = 423;
var a728 = 4588;
var a729 = 2621;
var a730 = 6511;
var a731 = 7542;
var a732 = 901;
var a733 = 4267;
var a734 = 2721;
var a735 = 7437;
var a736 = 7707;
var a737 = 4048;
var a738 = 4879;
var a739 = 4775;
var a740 = 6794;
var a741 = 1713;
var a742 = 520;
var a743 = 1437;
var a744 = 2653;
var a745 = 6269;
var a746 = 128;
var a747 = 8492;
var a748 = 5708;
var a749 = 3707;
var a750 = 850;
var a751 = 316;
var a752 = 286;
var a753 = 2073;
var a754 = 5992;
var a755 = 1345;
var a756 = 8038;
var a757 = 9507;
var a758 = 6649;
var a759 = 8361;
var a760 = 5631;
var a761 = 8197;
var a762 = 4267;
var a763 = 7859;
var a764 = 5296;
var a765 = 4100;
var a766 = 6279;
var a767 = 7606;
var a768 = 9399;
var a769 = 9635;
var a770 = 427;
var a771 = 4802;
var a772 = 4803;
var a773 = 186;
var a774 = 5134;
var a775 = 9457;
var a776 = 8486;
var a777 = 5079;
var a778 = 2849;
var a779 = 7304;
var a780 = 2977;
var a781 = 4425;
var a782 = 7751;
var a783 = 1352;
var a784 = 9983;
var a785 = 5066;
var a786 = 8102;
var a787 = 7589;
var a788 = 7390;
var a789 = 260;
var a790 = 1464;
var a791 = 5230;
var a792 = 9851;
var a793 = 4083;
var a794 = 5538;
var a795 = 2543;
var a796 = 4248;
var a797 = 624;
var a798 = 2908;
var a799 = 3334;
var a800 = 2073;
var a801 = 5268;
var a802 = 997;
var a803 = 8368;
var a804 = 6363;
var a805 = 78;
var a806 = 3314;
var a807 = 6548;
var a808 = 5804;
var a809 = 7822;
var a810 = 1838;
var a811 = 8981;
var a812 = 9399;
var a813 = 8546;
var a814 = 270;
var a815 = 9077;
var a816 = 1714;
var a817 = 3045;
var a818 = 9070;
var a819 = 9050;
var a820 = 1588;
var a821 = 119;
var a822 = 6948;
var a823 = 7724;
var a824 = 7412;
var a825 = 2039;
var a826 = 7758;
var a827 = 7543;
var a828 = 8023;
var a829 = 3810;
var a830 = 3620;
var a831 = 9495;
var a832 = 8852;
var a833 = 3686;
var a834 = 840;
var a835 = 7053;
var a836 = 4100;
var a837 = 3759;
var a838 = 4587;
var a839 = 1704;
var a840 = 5264;
var a841 = 8845;
var a842 = 7347;
var a843 = 6549;
var a844 = 6621;
var a845 = 1846;
var a846 = 9763;
var a847 = 83;
var a848 = 9095;
var a849 = 3262;
var a850 = 4140;
var a851 = 6614;
var a852 = 9650;
var a853 = 9371;
var a854 = 6921;
var a855 = 9959;
var a856 = 1404;
var a857 = 4218;
var a858 = 4681;
var a859 = 3382;
var a860 = 7066;
var a861 = 8300;
var a862 = 1569;
var a863 = 2419;
var a864 = 1035;
var a865 = 5582;
var a866 = 1383;
var a867 = 8170;
var a868 = 4604;
var a869 = 4761;
var a870 = 5314;
var a871 = 7794;
var a872 = 4745;
var a873 = 6116;
var a874 = 4739;
var a875 = 8666;
var a876 = 291;
var a877 = 5522;
var a878 = 5527;
var a879 = 9725;
var a880 = 9977;
var a881 = 8206;
var a882 = 4547;
var a883 = 3188;
var a884 = 3194;
var a885 = 3535;
var a886 = 2472;
var a887 = 7260;
var a888 = 3782;
var a889 = 5551;
var a890 = 5851;
var a891 = 4664;
var a892 = 4743;
var a893 = 6733;
var a894 = 7588;
var a895 = 6955;
var a896 = 9550;
var a897 = 6265;
var a898 = 5938;
var a899 = 620;
var a900 = 4724;
var a901 = 1500;
var a902 = 9333;
var a903 = 846;
var a904 = 2419;
var a905 = 4146;
var a906 = 4088;
var a907 = 2786;
var a908 = 1860;
var a909 = 177;
var a910 = 1618;
var a911 = 9925;
var a912 = 7999;
var a913 = 2721;
var a914 = 4878;
var a915 = 1463;
var a916 = 2486;
var a917 = 7493;
var a918 = 5521;
var a919 = 1217;
var a920 = 9818;
var a921 = 7328;
var a922 = 4214;
var a923 = 7997;
var a924 = 4659;
var a925 = 7432;
var a926 = 9861;
var a927 = 5617;
var a928 = 6242;
var a929 = 9257;
var a930 = 2326;
var a931 = 4026;
var a932 = 6142;
var a933 = 6820;
var a934 = 2520;
var a935 = 2206;
var a936 = 6631;
var a937 = 2116;
var a938 = 6899;
var a939 = 4711;
var a940 = 3873;
var a941 = 6339;
var a942 = 210;
var a943 = 85;
var a944 = 604;
var a945 = 6308;
var a946 = 3957;
var a947 = 2804;
var a948 = 5347;
var a949 = 8880;
var a950 = 8865;
var a951 = 2013;
var a952 = 50;
var a953 = 1988;
var a954 = 7876;
var a955 = 2344;
var a956 = 9347;
var a957 = 5852;
var a958 = 9224;
var a959 = 5345;
var a960 = 6251;
var a961 = 6221;
var a962 = 1200;
var a963 = 4161;
var a964 = 4074;
var a965 = 3281;
var a966 = 121;
var a967 = 9295;
var a968 = 8133;
var a969 = 2176;
var a970 = 6302;
var a971 = 3575;
var a972 = 4626;
var a973 = 6465;
var a974 = 9134;
var a975 = 6976;
var a976 = 5433;
var a977 = 1639;
var a978 = 7165;
var a979 = 481;
var a980 = 3985;
var a981 = 7733;
var a982 = 5145;
var a983 = 6737;
var a984 = 488;
var a985 = 5768;
var a986 = 2542;
var a987 = 7996;
var a988 = 765;
var a989 = 8977;
var a990 = 425;
var a991 = 75;
var a992 = 5770;
var a993 = 9924;
var a994 = 2071;
var a995 = 7734;
var a996 = 64;
var a997 = 1794;
var a998 = 7134;
var a999 = 4807;
var a1000 = 5786;
a243 = 1342;
print(a216);//output:8451
a216 = 1843;
a35 = 3952;
print(a35);//output:3952
a35 = 3662;
print(a503);//output:6212
a503 = 3409;
print(a460);//output:7505
a460 = 4198;
a898 = 708;
a478 = 914;
a723 = 1805;
print(a704);//output:4649
a704 = 3827;
a828 = 1300;
print(a385);//output:9206
a385 = 289;
a929 = 599;
a481 = 110;
a439 = 861;
print(a847);//output:83
a847 = 2743;
print(a145);//output:1804
a145 = 3714;
print(a158);//output:2539
a158 = 3504;
print(a0);//output:8313
a0 = 1490;
print(a10);//output:6428
a10 = 2956;
print(a237);//output:9464
a237 = 2857;
a937 = 286;
print(a606);//output:9188
a606 = 2006;
a757 = 3935;
print(a452);//output:3748
a452 = 2380;
print(a350);//output:730
a350 = 948;
print(a781);//output:4425
a781 = 3416;
a117 = 1240;
print(a334);//output:4583
a334 = 797;
print(a366);//output:2725
a366 = 2109;
print(a507);//output:7113
a507 = 1627;
print(a598);//output:1775
a598 = 4392;
a728 = 2690;
print(a199);//output:6918
a199 = 1905;
print(a477);//output:6531
a477 = 3312;
print(a299);//output:254
a299 = 2221;
print(a179);//output:9563
a179 = 3338;
a73 = 1274;
a498 = 782;
a709 = 193;
a91 = 3916;
a834 = 3037;
print(a255);//output:9612
a255 = 4337;
a471 = 1403;
a484 = 2733;
a38 = 757;
print(a610);//output:6348
a610 = 3536;
print(a604);//output:4952
a604 = 4157;
print(a987);//output:7996
a987 = 2184;
a649 = 4284;
print(a464);//output:9598
a464 = 4230;
print(a959);//output:5345
a959 = 4130;
a86 = 103;
print(a463);//output:3153
a463 = 1038;
a106 = 3805;
a718 = 1880;
print(a203);//output:8843
a203 = 3335;
a20 = 731;
a696 = 2385;
a130 = 1731;
print(a191);//output:3021
a191 = 3367;
print(a830);//output:3620
a830 = 2130;
print(a485);//output:3725
a485 = 2879;
a220 = 205;
a770 = 706;
print(a940);//output:3873
a940 = 4377;
print(a839);//output:1704
a839 = 285;
print(a519);//output:6982
a519 = 529;
a955 = 3561;
a588 = 3772;
print(a560);//output:7743
a560 = 582;
a589 = 1783;
print(a675);//output:7620
a675 = 1486;
a918 = 2608;
print(a630);//output:9489
a630 = 3187;
print(a485);//output:2879
a485 = 4109;
a605 = 2255;
print(a545);//output:3138
a545 = 4376;
print(a432);//output:372
a432 = 2082;
print(a740);//output:6794
a740 = 2752;
print(a874);//output:4739
a874 = 994;
a447 = 2573;
a407 = 4251;
a48 = 709;
print(a720);//output:6741
a720 = 1059;
print(a418);//output:291
a418 = 4481;
print(a632);//output:3369
a632 = 1219;
a89 = 2781;
print(a778);//output:2849
a778 = 2926;
print(a230);//output:7416
a230 = 2840;
a312 = 687;
a690 = 3221;
a213 = 4499;
print(a399);//output:6068
a399 = 1458;
print(a980);//output:3985
a980 = 1606;
print(a152);//output:4860
a152 = 1358;
a728 = 1312;
print(a884);//output:3194
a884 = 885;
a969 = 1414;
print(a440);//output:6279
a440 = 3015;
print(a990);//output:425
a990 = 1927;
a9 = 3138;
print(a370);//output:4884
a370 = 2109;
a778 = 4292;
print(a407);//output:4251
a407 = 2644;
print(a392);//output:3563
a392 = 150;
a324 = 3115;
a698 = 2816;
a518 = 807;
print(a303);//output:1611
a303 = 415;
a253 = 3113;
print(a685);//output:4001
a685 = 1995;
a838 = 3671;
a856 = 3767;
print(a284);//output:3409
a284 = 195;
a254 = 2485;
print(a695);//output:7664
a695 = 911;
a919 = 4376;
print(a902);//output:9333
a902 = 762;
print(a173);//output:6699
a173 = 1227;
a823 = 2153;
a486 = 592;
a592 = 614;
a330 = 4009;
print(a124);//output:8205
a124 = 1237;
a735 = 2195;
print(a738);//output:4879
a738 = 244;
a727 = 4442;
a223 = 658;
a585 = 330;
a451 = 4420;
print(a697);//output:4455
a697 = 3694;
print(a969);//output:1414
a969 = 2277;
a253 = 2933;
print(a648);//output:3566
a648 = 747;
a80 = 57;
print(a959);//output:4130
a959 = 3429;
a166 = 4439;
a967 = 3263;
a403 = 1550;
print(a935);//output:2206
a935 = 3397;
a551 = 2375;
a561 = 2293;
a723 = 2753;
print(a60);//output:7350
a60 = 709;
print(a20);//output:731
a20 = 1281;
print(a750);//output:850
a750 = 2649;
a404 = 2989;
a759 = 803;
a172 = 447;
print(a999);//output:4807
a999 = 723;
a268 = 1810;
print(a549);//output:4365
a549 = 3662;
a871 = 3605;
print(a128);//output:7424
a128 = 2606;
a970 = 2408;
print(a170);//output:852
a170 = 2307;
print(a79);//output:952
a79 = 481;
print(a71);//output:2697
a71 = 4173;
a499 = 2271;
a134 = 4323;
a193 = 2644;
print(a565);//output:9736
a565 = 3165;
print(a110);//output:6481
a110 = 2969;
print(a982);//output:5145
a982 = 2632;
print(a256);//output:6792
a256 = 134;
a583 = 555;
print(a790);//output:1464
a790 = 2722;
print(a567);//output:36
a567 = 869;
a297 = 586;
a300 = 1091;
print(a709);//output:193
a709 = 1084;
print(a753);//output:2073
a753 = 4457;
a590 = 3209;
print(a776);//output:8486
a776 = 3264;
print(a585);//output:330
a585 = 1358;
a534 = 2068;
a993 = 1885;
print(a689);//output:1138
a689 = 4052;
a771 = 1702;
print(a189);//output:6595
a189 = 3240;
print(a718);//output:1880
a718 = 1990;
print(a494);//output:615
a494 = 4068;
a963 = 2930;
a639 = 368;
print(a741);//output:1713
a741 = 2169;
a647 = 59;
a603 = 614;
a899 = 1939;
print(a933);//output:6820
a933 = 3601;
print(a622);//output:7373
a622 = 1993;
print(a739);//output:4775
a739 = 2627;
print(a456);//output:197
a456 = 3313;
a315 = 2927;
print(a710);//output:4079
a710 = 2778;
print(a267);//output:6551
a267 = 2936;
a109 = 3244;
print(a464);//output:4230
a464 = 1970;
a572 = 1196;
a649 = 526;
print(a574);//output:1895
a574 = 4340;
a75 = 1528;
a626 = 315;
a878 = 3174;
a137 = 3448;
a555 = 382;
print(a402);//output:840
a402 = 3721;
a441 = 3002;
print(a798);//output:2908
a798 = 2737;
a318 = 1854;
print(a41);//output:7735
a41 = 31;
a893 = 3176;
print(a858);//output:4681
a858 = 353;
a540 = 2311;
a970 = 3035;
a644 = 2331;
print(a366);//output:2109
a366 = 1043;
a746 = 1792;
a235 = 78;
print(a473);//output:8000
a473 = 845;
print(a12);//output:4944
a12 = 3953;
print(a480);//output:6296
a480 = 331;
print(a504);//output:2520
a504 = 1821;
print(a956);//output:9347
a956 = 281;
print(a537);//output:5162
a537 = 1070;
a849 = 668;
a72 = 871;
print(a242);//output:355
a242 = 4340;
print(a904);//output:2419
a904 = 2872;
a633 = 793;
a692 = 1641;
a450 = 3260;
print(a975);//output:6976
a975 = 2335;
a179 = 2080;
print(a249);//output:6565
a249 = 2445;
a847 = 1472;
a255 = 2827;
print(a180);//output:9883
a180 = 4301;
a420 = 922;
a769 = 1499;
a724 = 3263;
print(a201);//output:7453
a201 = 2941;
a157 = 3792;
print(a949);//output:8880
a949 = 2807;
print(a219);//output:1989
a219 = 697;
a392 = 980;
a532 = 2929;
print(a571);//output:6189
a571 = 331;
print(a543);//output:7472
a543 = 2410;
print(a670);//output:6712
a670 = 3580;
print(a641);//output:2435
a641 = 3476;
print(a163);//output:9389
a163 = 1983;
a95 = 3159;
a243 = 4169;
print(a929);//output:599
a929 = 956;
a598 = 1750;
a455 = 541;
print(a645);//output:5434
a645 = 3711;
a854 = 1585;
a662 = 2100;
a867 = 3014;
a844 = 4055;
a292 = 103;
print(a538);//output:2570
a538 = 4321;
a869 = 4120;
print(a848);//output:9095
a848 = 308;
print(a88);//output:75
a88 = 4005;
a77 = 3862;
a36 = 757;
a44 = 384;
print(a310);//output:5953
a310 = 772;
print(a679);//output:9357
a679 = 3609;
a151 = 3473;
a109 = 2152;
print(a441);//output:3002
a441 = 2462;
a546 = 2831;
a82 = 1477;
print(a438);//output:3534
a438 = 1360;
a575 = 3070;
print(a638);//output:9577
a638 = 36;
a182 = 2231;
print(a468);//output:8965
a468 = 781;
print(a348);//output:7615
a348 = 1602;
print(a200);//output:4841
a200 = 1602;
print(a237);//output:2857
a237 = 4180;
a250 = 1838;
a992 = 624;
a107 = 2962;
a485 = 2974;
a445 = 847;
print(a740);//output:2752
a740 = 2589;
print(a90);//output:8714
a90 = 2021;
a888 = 1284;
a722 = 1773;
print(a741);//output:2169
a741 = 698;
a235 = 980;
print(a855);//output:9959
a855 = 2654;
a613 = 3477;
print(a616);//output:1011
a616 = 48;
a968 = 2640;
a617 = 4129;
a126 = 607;
print(a725);//output:3965
a725 = 2961;
a330 = 2047;
a874 = 3804;
a259 = 2038;
print(a637);//output:5410
a637 = 4196;
print(a353);//output:2339
a353 = 2182;
print(a699);//output:6882
a699 = 3972;
print(a820);//output:1588
a820 = 4421;
print(a196);//output:5597
a196 = 2010;
a304 = 961;
a148 = 3526;
print(a659);//output:1189
a659 = 2532;
print(a911);//output:9925
a911 = 2671;
a441 = 377;
print(a362);//output:4832
a362 = 3436;
print(a394);//output:151
a394 = 289;
print(a857);//output:4218
a857 = 1554;
a453 = 4156;
a301 = 2558;
a362 = 3364;
print(a965);//output:3281
a965 = 2095;
a807 = 1723;
print(a369);//output:3832
a369 = 4498;
a68 = 2745;
a638 = 2448;
print(a751);//output:316
a751 = 1602;
a715 = 443;
a758 = 1795;
print(a490);//output:2399
a490 = 912;
print(a384);//output:9917
a384 = 2101;
a207 = 1258;
a77 = 894;
a336 = 1493;
a21 = 3257;
print(a823);//output:2153
a823 = 1508;
print(a135);//output:5969
a135 = 3184;
a900 = 2331;
a379 = 3105;
a822 = 3691;
a206 = 3817;
a662 = 1582;
a900 = 1281;
print(a710);//output:2778
a710 = 3482;
a982 = 2463;
a721 = 1217;
print(a248);//output:6982
a248 = 2278;
a790 = 3797;
a443 = 1322;
print(a177);//output:8294
a177 = 2628;
a111 = 2711;
a130 = 803;
print(a869);//output:4120
a869 = 1452;
a612 = 543;
a279 = 4246;
a590 = 1858;
print(a770);//output:706
a770 = 4263;
print(a422);//output:4192
a422 = 881;
a149 = 3818;
print(a937);//output:286
a937 = 3374;
print(a511);//output:3468
a511 = 258;
a859 = 1103;
print(a36);//output:757
a36 = 1807;
a109 = 4325;
a887 = 1924;
print(a537);//output:1070
a537 = 1890;
print(a350);//output:948
a350 = 1262;
print(a610);//output:3536
a610 = 3057;
a150 = 570;
print(a266);//output:6401
a266 = 1587;
print(a948);//output:5347
a948 = 2831;
print(a535);//output:6241
a535 = 1392;
print(a800);//output:2073
a800 = 4068;
a351 = 98;
print(a769);//output:1499
a769 = 4129;
a996 = 4267;
a277 = 505;
print(a808);//output:5804
a808 = 1520;
print(a830);//output:2130
a830 = 3925;
a808 = 3684;
a389 = 3229;
a713 = 1397;
print(a798);//output:2737
a798 = 3704;
print(a882);//output:4547
a882 = 3273;
a102 = 3161;
print(a949);//output:2807
a949 = 2677;
a671 = 2452;
print(a175);//output:1646
a175 = 474;
print(a891);//output:4664
a891 = 1256;
a568 = 1462;
print(a331);//output:7464
a331 = 2628;
a169 = 624;
print(a228);//output:7024
a228 = 43;
a46 = 112;
a892 = 4094;
print(a811);//output:8981
a811 = 2153;
print(a567);//output:869
a567 = 2900;
a761 = 2629;
a430 = 2311;
a722 = 1942;
a110 = 624;
a122 = 3440;
print(a665);//output:884
a665 = 1470;
print(a480);//output:331
a480 = 2412;
a816 = 2559;
print(a776);//output:3264
a776 = 1264;
a846 = 3216;
print(a831);//output:9495
a831 = 4103;
print(a866);//output:1383
a866 = 1138;
print(a275);//output:8360
a275 = 1148;
print(a157);//output:3792
a157 = 4471;
a228 = 3625;
a880 = 3281;
print(a420);//output:922
a420 = 2553;
a714 = 4447;
a420 = 2161;
print(a657);//output:978
a657 = 685;
a956 = 2057;
a785 = 3210;
a220 = 350;
print(a875);//output:8666
a875 = 2520;
a789 = 2464;
print(a48);//output:709
a48 = 4093;
print(a947);//output:2804
a947 = 1176;
print(a839);//output:285
a839 = 4122;
print(a439);//output:861
a439 = 2702;
a328 = 2678;
print(a742);//output:520
a742 = 585;
print(a290);//output:3803
a290 = 3832;
a770 = 3915;
a241 = 2235;
a817 = 2940;
a634 = 4495;
a612 = 1493;
a721 = 3962;
print(a170);//output:2307
a170 = 3892;
print(a454);//output:6970
a454 = 2422;
a869 = 1127;
a535 = 1459;
a714 = 1420;
print(a370);//output:2109
a370 = 2751;
a31 = 463;
a515 = 788;
print(a443);//output:1322
a443 = 3265;
a379 = 2618;
a746 = 90;
a508 = 1746;
print(a997);//output:1794
a997 = 1584;
print(a860);//output:7066
a860 = 207;
a832 = 1989;
a137 = 4274;
print(a204);//output:8042
a204 = 1938;
a812 = 765;
a831 = 2136;
print(a104);//output:6057
a104 = 4235;
a19 = 196;
print(a63);//output:9125
a63 = 3460;
print(a771);//output:1702
a771 = 1134;
a419 = 4146;
print(a652);//output:2785
a652 = 4388;
print(a451);//output:4420
a451 = 1227;
print(a472);//output:9943
a472 = 523;
print(a433);//output:2252
a433 = 2644;
print(a28);//output:5309
a28 = 3594;
a594 = 480;
a436 = 1422;
a914 = 3486;
a984 = 3319;
print(a455);//output:541
a455 = 482;
print(a190);//output:5819
a190 = 2811;
print(a241);//output:2235
a241 = 710;
a723 = 1182;
print(a212);//output:6253
a212 = 2739;
a353 = 308;
a582 = 1832;
print(a531);//output:1529
a531 = 3357;
a570 = 3699;
a974 = 4039;
a859 = 1023;
a473 = 3802;
print(a892);//output:4094
a892 = 2180;
print(a490);//output:912
a490 = 3317;
a0 = 3064;
print(a118);//output:9328
a118 = 4300;
a386 = 4470;
a332 = 3367;
print(a223);//output:658
a223 = 3585;
print(a895);//output:6955
a895 = 516;
print(a60);//output:709
a60 = 587;
print(a552);//output:196
a552 = 3302;
print(a937);//output:3374
a937 = 2386;
a104 = 4413;
a351 = 1537;
print(a12);//output:3953
a12 = 4379;
a770 = 2874;
print(a98);//output:6377
a98 = 1998;
a291 = 2993;
print(a582);//output:1832
a582 = 2193;
a726 = 1235;
a323 = 2323;
a593 = 2202;
a451 = 2337;
print(a128);//output:2606
a128 = 2265;
a343 = 129;
a517 = 698;
a498 = 4336;
print(a636);//output:4833
a636 = 1851;
print(a345);//output:1530
a345 = 433;
a800 = 4274;
a221 = 4095;
print(a34);//output:7836
a34 = 2058;
print(a374);//output:1393
a374 = 940;
a743 = 3123;
print(a941);//output:6339
a941 = 1380;
print(a238);//output:80
a238 = 3780;
a419 = 949;
print(a311);//output:474
a311 = 2037;
a396 = 1499;
a125 = 511;
a801 = 1171;
print(a557);//output:9532
a557 = 4217;
print(a334);//output:797
a334 = 925;
a820 = 4014;
a583 = 2020;
print(a807);//output:1723
a807 = 1080;
a185 = 3806;
print(a656);//output:6430
a656 = 125;
print(a854);//output:1585
a854 = 35;
print(a316);//output:2168
a316 = 3752;
print(a24);//output:934
a24 = 4275;
print(a554);//output:5964
a554 = 1335;
print(a240);//output:2891
a240 = 1862;
print(a502);//output:360
a502 = 3291;
print(a829);//output:3810
a829 = 813;
a112 = 1518;
a217 = 1445;
a191 = 2849;
a579 = 949;
print(a316);//output:3752
a316 = 2360;
a4 = 4259;
a700 = 3931;
a336 = 4325;
a334 = 1876;
a470 = 3912;
a972 = 2091;
print(a926);//output:9861
a926 = 277;
print(a357);//output:6722
a357 = 3890;
print(a11);//output:9265
a11 = 1164;
print(a504);//output:1821
a504 = 1939;
print(a195);//output:5142
a195 = 3334;
a740 = 2293;
a724 = 1356;
print(a128);//output:2265
a128 = 2599;
print(a891);//output:1256
a891 = 283;
a846 = 730;
a654 = 2027;
print(a671);//output:2452
a671 = 499;
print(a228);//output:3625
a228 = 4073;
print(a378);//output:9700
a378 = 1214;
print(a269);//output:9554
a269 = 105;
a263 = 1203;
print(a16);//output:1680
a16 = 1226;
print(a556);//output:659
a556 = 2942;
print(a162);//output:7283
a162 = 2779;
a879 = 1509;
print(a896);//output:9550
a896 = 3290;
print(a730);//output:6511
a730 = 155;
print(a268);//output:1810
a268 = 4280;
print(a617);//output:4129
a617 = 537;
a842 = 3056;
print(a490);//output:3317
a490 = 3607;
a787 = 2147;
print(a25);//output:3765
a25 = 3841;
print(a348);//output:1602
a348 = 3485;
print(a264);//output:9724
a264 = 594;
print(a251);//output:8030
a251 = 2892;
a358 = 4240;
a288 = 3742;
a311 = 1764;
a719 = 536;
print(a230);//output:2840
a230 = 2003;
a368 = 2684;
a216 = 4316;
print(a554);//output:1335
a554 = 3889;
a20 = 482;
print(a409);//output:4654
a409 = 689;
print(a394);//output:289
a394 = 2072;
print(a846);//output:730
a846 = 1133;
print(a726);//output:1235
a726 = 1695;
print(a674);//output:57
a674 = 467;
a876 = 3094;
a427 = 2487;
a215 = 3417;
a662 = 323;
a516 = 1559;
a733 = 651;
a772 = 930;
print(a174);//output:1232
a174 = 173;
print(a44);//output:384
a44 = 762;
print(a128);//output:2599
a128 = 3376;
a625 = 3765;
a226 = 408;
a818 = 1194;
a909 = 2431;
a866 = 35;
print(a478);//output:914
a478 = 4450;
print(a14);//output:5959
a14 = 2367;
a391 = 2746;
a367 = 2789;
a79 = 4291;
a855 = 1804;
a585 = 3269;
a952 = 987;
a750 = 3890;
a823 = 565;
print(a954);//output:7876
a954 = 2313;
print(a657);//output:685
a657 = 1473;
print(a526);//output:5590
a526 = 1378;
a679 = 3796;
a168 = 783;
a845 = 2345;
print(a353);//output:308
a353 = 2948;
a553 = 2570;
print(a587);//output:3570
a587 = 3343;
a976 = 1137;
print(a468);//output:781
a468 = 1205;
a719 = 2440;
a648 = 882;
print(a308);//output:3844
a308 = 4260;
print(a670);//output:3580
a670 = 2373;
a282 = 1260;
print(a93);//output:360
a93 = 2395;
print(a341);//output:3600
a341 = 1295;
print(a876);//output:3094
a876 = 4457;
print(a540);//output:2311
a540 = 466;
print(a561);//output:2293
a561 = 3328;
print(a441);//output:377
a441 = 4364;
a533 = 2860;
print(a466);//output:2808
a466 = 3440;
print(a906);//output:4088
a906 = 2095;
a281 = 2772;
print(a183);//output:3222
a183 = 4114;
a349 = 3684;
print(a140);//output:4651
a140 = 296;
print(a282);//output:1260
a282 = 3421;
a4 = 1668;
a947 = 740;
print(a292);//output:103
a292 = 4262;
print(a942);//output:210
a942 = 1673;
a466 = 704;
print(a669);//output:1432
a669 = 176;
print(a59);//output:587
a59 = 3017;
print(a903);//output:846
a903 = 3293;
a710 = 3075;
a245 = 3452;
print(a285);//output:9429
a285 = 2494;
a96 = 92;
print(a576);//output:5548
a576 = 3820;
print(a782);//output:7751
a782 = 1003;
a37 = 2019;
a956 = 257;
a57 = 3216;
print(a330);//output:2047
a330 = 2992;
print(a999);//output:723
a999 = 3092;
print(a906);//output:2095
a906 = 771;
a773 = 1317;
a950 = 3548;
a596 = 1631;
print(a989);//output:8977
a989 = 4176;
a625 = 1294;
a485 = 3336;
a420 = 4484;
a586 = 572;
a311 = 2262;
a540 = 3648;
print(a781);//output:3416
a781 = 2225;
a893 = 1358;
a127 = 3137;
a824 = 1526;
a742 = 2156;
print(a908);//output:1860
a908 = 1497;
print(a488);//output:5006
a488 = 1912;
a650 = 1636;
a923 = 2259;
print(a417);//output:3787
a417 = 1223;
a305 = 4375;
print(a478);//output:4450
a478 = 2618;
a621 = 2052;
print(a252);//output:87
a252 = 3958;
print(a155);//output:3315
a155 = 3208;
a93 = 1271;
a706 = 4340;
print(a953);//output:1988
a953 = 1474;
print(a128);//output:3376
a128 = 277;
print(a823);//output:565
a823 = 3050;
print(a50);//output:7464
a50 = 3897;
a407 = 2056;
a792 = 744;
print(a229);//output:5050
a229 = 1782;
a239 = 3472;
print(a822);//output:3691
a822 = 833;
a908 = 334;
a196 = 3186;
a189 = 1972;
print(a214);//output:6981
a214 = 3909;
a9 = 4315;
a845 = 3032;
print(a518);//output:807
a518 = 443;
print(a822);//output:833
a822 = 3751;
a28 = 4318;
a291 = 1458;
a382 = 1871;
a330 = 3045;
a737 = 685;
a791 = 1713;
print(a835);//output:7053
a835 = 1072;
a944 = 3544;
print(a112);//output:1518
a112 = 1859;
print(a412);//output:5819
a412 = 2546;
print(a98);//output:1998
a98 = 2074;
a937 = 2255;
print(a52);//output:1611
a52 = 1172;
print(a647);//output:59
a647 = 154;
a425 = 4060;
print(a744);//output:2653
a744 = 4256;
a309 = 4017;
print(a366);//output:1043
a366 = 3464;
a19 = 297;
a619 = 3434;
print(a142);//output:3795
a142 = 3044;
a119 = 2446;
a617 = 3030;
a483 = 4160;
print(a30);//output:5143
a30 = 3383;
a144 = 4241;
print(a80);//output:57
a80 = 3472;
a853 = 3;
a829 = 2346;
a377 = 2547;
a15 = 902;
a100 = 4308;
a512 = 2245;
print(a163);//output:1983
a163 = 2060;
a234 = 2635;
a151 = 2550;
print(a777);//output:5079
a777 = 4345;
a76 = 2888;
a369 = 4057;
a124 = 4238;
a168 = 1141;
a463 = 619;
a344 = 2672;
print(a673);//output:240
a673 = 263;
a207 = 3284;
print(a218);//output:5746
a218 = 1724;
a774 = 644;
a616 = 3181;
a610 = 2377;
a646 = 3633;
print(a275);//output:1148
a275 = 3661;
a462 = 1304;
a662 = 1756;
print(a463);//output:619
a463 = 345;
print(a529);//output:2536
a529 = 50;
print(a882);//output:3273
a882 = 4015;
print(a676);//output:3915
a676 = 2095;
a803 = 4411;
a650 = 2893;
a702 = 2430;
print(a489);//output:8277
a489 = 1884;
print(a874);//output:3804
a874 = 3449;
print(a949);//output:2677
a949 = 540;
print(a178);//output:5457
a178 = 2610;
print(a384);//output:2101
a384 = 3203;
a244 = 3930;
a57 = 2896;
print(a892);//output:2180
a892 = 115;
print(a713);//output:1397
a713 = 2110;
print(a904);//output:2872
a904 = 1516;
print(a704);//output:3827
a704 = 2792;
a534 = 1441;
print(a936);//output:6631
a936 = 1247;
print(a358);//output:4240
a358 = 1819;
a489 = 433;
print(a601);//output:6426
a601 = 991;
a639 = 2601;
print(a48);//output:4093
a48 = 1616;
a749 = 3879;
print(a512);//output:2245
a512 = 1990;
print(a591);//output:7287
a591 = 3267;
print(a656);//output:125
a656 = 2283;
print(a18);//output:8568
a18 = 174;
a365 = 1231;
a359 = 1608;
print(a284);//output:195
a284 = 474;
a561 = 1189;
print(a11);//output:1164
a11 = 2985;
a151 = 4013;
a724 = 1414;
a868 = 4013;
a125 = 3312;
a560 = 687;
a390 = 1272;
a1 = 1518;
print(a902);//output:762
a902 = 637;
a426 = 2018;
a903 = 4114;
print(a705);//output:4387
a705 = 3453;
print(a994);//output:2071
a994 = 124;
a531 = 1767;
print(a561);//output:1189
a561 = 4168;
print(a333);//output:4829
a333 = 1493;
print(a383);//output:7724
a383 = 3870;
a845 = 3166;
a998 = 4095;
a339 = 2542;
a463 = 1559;
a690 = 941;
print(a353);//output:2948
a353 = 2428;
a954 = 3772;
a216 = 66;
print(a735);//output:2195
a735 = 2471;
print(a321);//output:3206
a321 = 278;
print(a958);//output:9224
a958 = 755;
a794 = 3970;
print(a415);//output:5741
a415 = 2033;
a580 = 1341;
print(a931);//output:4026
a931 = 2015;
a277 = 2405;
print(a840);//output:5264
a840 = 4099;
a835 = 3093;
a999 = 2564;
a802 = 1540;
a18 = 2104;
a460 = 286;
print(a80);//output:3472
a80 = 4322;
a659 = 2350;
a381 = 1343;
a751 = 3610;
a54 = 4276;
a770 = 1991;
print(a243);//output:4169
a243 = 15;
print(a953);//output:1474
a953 = 3261;
print(a857);//output:1554
a857 = 3773;
print(a338);//output:6978
a338 = 4309;
print(a103);//output:8890
a103 = 4400;
a331 = 2931;
print(a883);//output:3188
a883 = 3469;
a296 = 2786;
a407 = 1514;
print(a604);//output:4157
a604 = 920;
a611 = 3170;
print(a608);//output:7491
a608 = 2016;
print(a513);//output:4622
a513 = 2300;
print(a105);//output:1708
a105 = 4025;
a516 = 3086;
print(a739);//output:2627
a739 = 3822;
a905 = 1760;
a490 = 1642;
a551 = 4391;
print(a628);//output:5611
a628 = 2582;
print(a170);//output:3892
a170 = 1231;
a89 = 2951;
print(a86);//output:103
a86 = 2397;
print(a881);//output:8206
a881 = 3071;
a354 = 3545;
a954 = 3791;
a255 = 351;
a561 = 3725;
print(a912);//output:7999
a912 = 3336;
print(a36);//output:1807
a36 = 106;
a292 = 192;
a646 = 624;
a952 = 480;
a554 = 61;
print(a164);//output:5406
a164 = 3065;
a51 = 904;
a332 = 2464;
print(a842);//output:3056
a842 = 542;
print(a723);//output:1182
a723 = 178;
a170 = 1936;
print(a707);//output:7787
a707 = 708;
print(a142);//output:3044
a142 = 3784;
a215 = 1108;
print(a772);//output:930
a772 = 1334;
print(a825);//output:2039
a825 = 3686;
print(a276);//output:9466
a276 = 3036;
a757 = 4224;
a387 = 2028;
print(a411);//output:6019
a411 = 2700;
print(a3);//output:1706
a3 = 3967;
a755 = 2614;
print(a227);//output:8842
a227 = 2012;
a701 = 3904;
print(a610);//output:2377
a610 = 2290;
print(a74);//output:28
a74 = 1207;
a601 = 2225;
a931 = 4423;
print(a723);//output:178
a723 = 1347;
a59 = 168;
a214 = 3279;
a598 = 1334;
print(a991);//output:75
a991 = 3479;
a529 = 4104;
a449 = 160;
print(a590);//output:1858
a590 = 2797;
print(a723);//output:1347
a723 = 3617;
a670 = 1546;
print(a568);//output:1462
a568 = 4250;
a827 = 3954;
a286 = 481;
print(a982);//output:2463
a982 = 2561;
print(a216);//output:66
a216 = 3239;
print(a901);//output:1500
a901 = 762;
print(a911);//output:2671
a911 = 163;
a785 = 407;
print(a694);//output:8417
a694 = 3993;
a588 = 2733;
print(a936);//output:1247
a936 = 1898;
print(a644);//output:2331
a644 = 384;
print(a601);//output:2225
a601 = 566;
print(a135);//output:3184
a135 = 1980;
a351 = 4093;
a956 = 3753;
print(a195);//output:3334
a195 = 770;
a933 = 77;
print(a887);//output:1924
a887 = 4180;
print(a990);//output:1927
a990 = 1233;
print(a408);//output:7253
a408 = 3079;
print(a60);//output:587
a60 = 2099;
a616 = 1025;
a105 = 3983;
a418 = 1299;
print(a203);//output:3335
a203 = 2563;
a346 = 1331;
a973 = 3228;
print(a218);//output:1724
a218 = 1097;
print(a489);//output:433
a489 = 1900;
a158 = 1880;
a955 = 1616;
print(a749);//output:3879
a749 = 2214;
a640 = 1016;
a902 = 3631;
a597 = 789;
a985 = 1909;
print(a928);//output:6242
a928 = 597;
print(a147);//output:1025
a147 = 4333;
a330 = 3944;
print(a970);//output:3035
a970 = 1989;
a997 = 2083;
print(a335);//output:7355
a335 = 1963;
print(a34);//output:2058
a34 = 4338;
a204 = 755;
print(a460);//output:286
a460 = 3919;
a240 = 3129;
print(a140);//output:296
a140 = 4330;
print(a68);//output:2745
a68 = 4044;
print(a155);//output:3208
a155 = 957;
a728 = 379;
a68 = 943;
a178 = 3308;
print(a76);//output:2888
a76 = 490;
print(a879);//output:1509
a879 = 2250;
a789 = 39;
a997 = 2248;
print(a299);//output:2221
a299 = 906;
a827 = 4063;
a408 = 4010;
a403 = 3918;
print(a796);//output:4248
a796 = 974;
print(a143);//output:7451
a143 = 2338;
a886 = 2743;
print(a723);//output:3617
a723 = 715;
a849 = 3707;
a122 = 3717;
a833 = 2997;
print(a299);//output:906
a299 = 1896;
print(a942);//output:1673
a942 = 3934;
print(a973);//output:3228
a973 = 2395;
a789 = 3283;
print(a604);//output:920
a604 = 732;
a930 = 2191;
print(a926);//output:277
a926 = 87;
print(a361);//output:8382
a361 = 2936;
print(a890);//output:5851
a890 = 2960;
a306 = 2780;
a482 = 1019;
print(a240);//output:3129
a240 = 1607;
a525 = 838;
print(a175);//output:474
a175 = 258;
a359 = 1074;
a420 = 1106;
print(a935);//output:3397
a935 = 2310;
print(a923);//output:2259
a923 = 4041;
a150 = 301;
a497 = 2742;
a22 = 1420;
print(a271);//output:8684
a271 = 2069;
a53 = 3218;
a151 = 960;
print(a381);//output:1343
a381 = 150;
a132 = 1743;
a649 = 1056;
print(a354);//output:3545
a354 = 2196;
a712 = 4050;
a728 = 398;
print(a232);//output:1624
a232 = 61;
print(a75);//output:1528
a75 = 4400;
print(a279);//output:4246
a279 = 297;
print(a984);//output:3319
a984 = 437;
a636 = 258;
print(a591);//output:3267
a591 = 2421;
print(a825);//output:3686
a825 = 1115;
a841 = 588;
print(a204);//output:755
a204 = 2295;
print(a404);//output:2989
a404 = 3139;
print(a640);//output:1016
a640 = 469;
a395 = 4374;
print(a519);//output:529
a519 = 4095;
a316 = 1570;
a52 = 3473;
print(a483);//output:4160
a483 = 3843;
a735 = 924;
a174 = 2392;
a576 = 4371;
a983 = 1849;
a905 = 2340;
print(a362);//output:3364
a362 = 1349;
print(a879);//output:2250
a879 = 2880;
print(a640);//output:469
a640 = 2081;
a60 = 2462;
print(a119);//output:2446
a119 = 2248;
print(a317);//output:2276
a317 = 3310;
a66 = 730;
a504 = 2251;
a81 = 2908;
a973 = 197;
a347 = 2622;
print(a107);//output:2962
a107 = 4059;
a384 = 4439;
a858 = 2957;
a243 = 3644;
a678 = 2513;
a288 = 3462;
a79 = 3189;
print(a978);//output:7165
a978 = 2890;
a730 = 3728;
a73 = 3419;
print(a592);//output:614
a592 = 1789;
a469 = 3080;
print(a178);//output:3308
a178 = 722;
a152 = 2522;
a78 = 2515;
print(a866);//output:35
a866 = 3246;
a924 = 561;
print(a881);//output:3071
a881 = 2937;
a759 = 2902;
print(a780);//output:2977
a780 = 2210;
a262 = 484;
print(a778);//output:4292
a778 = 3645;
a993 = 548;
print(a792);//output:744
a792 = 1714;
a894 = 2550;
a589 = 2853;
print(a63);//output:3460
a63 = 3343;
print(a163);//output:2060
a163 = 3541;
a951 = 158;
print(a88);//output:4005
a88 = 3669;
a659 = 4146;
a622 = 4100;
a645 = 1395;
a981 = 1465;
a127 = 3992;
a88 = 2543;
a734 = 4456;
a761 = 153;
print(a419);//output:949
a419 = 1588;
a978 = 3324;
print(a349);//output:3684
a349 = 689;
print(a431);//output:8033
a431 = 3203;
print(a909);//output:2431
a909 = 2155;
print(a88);//output:2543
a88 = 2830;
a403 = 596;
a250 = 4093;
a856 = 2208;
a610 = 4104;
a549 = 4102;
a473 = 834;
print(a957);//output:5852
a957 = 3041;
a350 = 1460;
print(a471);//output:1403
a471 = 786;
print(a78);//output:2515
a78 = 4008;
print(a557);//output:4217
a557 = 1022;
a414 = 2262;
a192 = 3008;
print(a303);//output:415
a303 = 3661;
a497 = 3144;
print(a797);//output:624
a797 = 2269;
print(a806);//output:3314
a806 = 3392;
print(a551);//output:4391
a551 = 1260;
print(a595);//output:2421
a595 = 1403;
a911 = 3546;
print(a269);//output:105
a269 = 1599;
a218 = 3053;
a397 = 915;
a912 = 2260;
a357 = 3938;
print(a877);//output:5522
a877 = 3858;
a242 = 2139;
a47 = 2664;
print(a396);//output:1499
a396 = 4010;
print(a698);//output:2816
a698 = 2339;
a473 = 2423;
a40 = 442;
a860 = 2393;
a53 = 373;
a57 = 2793;
a822 = 2163;
a169 = 2418;
a511 = 1625;
a91 = 1489;
a418 = 2631;
print(a269);//output:1599
a269 = 2111;
a964 = 4129;
a938 = 4099;
print(a870);//output:5314
a870 = 3773;
print(a400);//output:9227
a400 = 4204;
print(a744);//output:4256
a744 = 3915;
print(a103);//output:4400
a103 = 2503;
a550 = 1728;
a185 = 3323;
a734 = 803;
print(a86);//output:2397
a86 = 59;
print(a636);//output:258
a636 = 3626;
print(a994);//output:124
a994 = 531;
a269 = 4228;
a701 = 1485;
a657 = 1473;
print(a384);//output:4439
a384 = 3366;
print(a997);//output:2248
a997 = 153;
print(a225);//output:7008
a225 = 4282;
a992 = 4036;
a982 = 3336;
a811 = 2201;
print(a54);//output:4276
a54 = 1973;
print(a586);//output:572
a586 = 2484;
print(a620);//output:5892
a620 = 328;
print(a296);//output:2786
a296 = 898;
a501 = 2544;
a535 = 1672;
print(a589);//output:2853
a589 = 310;
print(a134);//output:4323
a134 = 4051;
a229 = 591;
a17 = 1941;
print(a607);//output:3387
a607 = 3733;
a291 = 1355;
print(a347);//output:2622
a347 = 4081;
a991 = 3718;
a702 = 3316;
print(a423);//output:9148
a423 = 3127;
a575 = 773;
a384 = 3769;
print(a808);//output:3684
a808 = 375;
print(a14);//output:2367
a14 = 3334;
a4 = 611;
a853 = 4066;
print(a101);//output:3326
a101 = 977;
a318 = 2096;
a39 = 2625;
a134 = 3902;
a566 = 3256;
a247 = 3898;
a19 = 3027;
a792 = 2411;
a107 = 3225;
print(a355);//output:1249
a355 = 1584;
print(a636);//output:3626
a636 = 274;
print(a128);//output:277
a128 = 2908;
print(a305);//output:4375
a305 = 3699;
a108 = 4139;
print(a463);//output:1559
a463 = 867;
print(a425);//output:4060
a425 = 4146;
a99 = 322;
print(a636);//output:274
a636 = 2606;
a66 = 3695;
print(a762);//output:4267
a762 = 909;
print(a680);//output:6226
a680 = 3900;
print(a44);//output:762
a44 = 3789;
a894 = 2066;
a550 = 3526;
print(a308);//output:4260
a308 = 2280;
a306 = 70;
a921 = 4499;
print(a57);//output:2793
a57 = 937;
a357 = 2595;
print(a383);//output:3870
a383 = 3416;
print(a0);//output:3064
a0 = 2148;
print(a652);//output:4388
a652 = 2952;
print(a135);//output:1980
a135 = 3556;
print(a647);//output:154
a647 = 3762;
print(a220);//output:350
a220 = 385;
a75 = 3773;
print(a16);//output:1226
a16 = 552;
a585 = 4055;
a576 = 119;
print(a630);//output:3187
a630 = 1858;
print(a358);//output:1819
a358 = 736;
a98 = 2429;
a437 = 4194;
print(a964);//output:4129
a964 = 3733;
a232 = 27;
a729 = 85;
a205 = 2185;
print(a585);//output:4055
a585 = 2505;
print(a587);//output:3343
a587 = 1413;
print(a943);//output:85
a943 = 2782;
a418 = 1251;
print(a174);//output:2392
a174 = 1918;
a919 = 1814;
a10 = 3433;
a129 = 1989;
a502 = 4028;
print(a638);//output:2448
a638 = 2165;
print(a568);//output:4250
a568 = 1180;
print(a915);//output:1463
a915 = 4057;
a378 = 3229;
a300 = 3729;
print(a51);//output:904
a51 = 2233;
print(a167);//output:8119
a167 = 1861;
a884 = 2398;
print(a833);//output:2997
a833 = 415;
a908 = 1267;
a288 = 3029;
print(a660);//output:5476
a660 = 3596;
a973 = 438;
print(a537);//output:1890
a537 = 1699;
a653 = 1895;
a434 = 3329;
a584 = 4448;
print(a326);//output:4264
a326 = 3839;
a760 = 3080;
a41 = 4019;
a629 = 629;
a379 = 1322;
a592 = 10;
a688 = 647;
a621 = 2301;
a815 = 2317;
a342 = 283;
a199 = 1144;
print(a947);//output:740
a947 = 1670;
a211 = 1134;
a931 = 1630;
print(a405);//output:8522
a405 = 641;
print(a403);//output:596
a403 = 3819;
a488 = 4207;
print(a341);//output:1295
a341 = 2838;
a189 = 4229;
a505 = 3834;
a109 = 204;
a636 = 3745;
a523 = 540;
print(a178);//output:722
a178 = 2845;
a357 = 4337;
a853 = 290;
a167 = 1576;
print(a445);//output:847
a445 = 1958;
print(a818);//output:1194
a818 = 2173;
a227 = 3098;
print(a709);//output:1084
a709 = 2586;
a390 = 2922;
print(a556);//output:2942
a556 = 159;
a875 = 1475;
print(a65);//output:3753
a65 = 975;
print(a923);//output:4041
a923 = 3853;
print(a245);//output:3452
a245 = 3649;
print(a242);//output:2139
a242 = 2819;
print(a878);//output:3174
a878 = 2044;
a849 = 4479;
a471 = 1004;
a216 = 3564;
a976 = 3161;
print(a999);//output:2564
a999 = 266;
a25 = 2188;
print(a453);//output:4156
a453 = 715;
a684 = 1420;
a617 = 591;
a1000 = 635;
print(a844);//output:4055
a844 = 1026;
print(a402);//output:3721
a402 = 2560;
a625 = 1550;
print(a949);//output:540
a949 = 3621;
print(a957);//output:3041
a957 = 3520;
a513 = 3945;
print(a471);//output:1004
a471 = 1340;
a918 = 537;
print(a580);//output:1341
a580 = 893;
print(a284);//output:474
a284 = 333;
print(a365);//output:1231
a365 = 2321;
print(a680);//output:3900
a680 = 776;
print(a368);//output:2684
a368 = 3358;
a536 = 939;
print(a950);//output:3548
a950 = 1928;
print(a784);//output:9983
a784 = 4316;
a383 = 918;
print(a868);//output:4013
a868 = 2601;
a507 = 1532;
a940 = 2098;
print(a960);//output:6251
a960 = 2661;
a539 = 2394;
a883 = 2247;
a298 = 1396;
a88 = 4261;
print(a261);//output:5070
a261 = 1420;
a674 = 3612;
print(a392);//output:980
a392 = 3943;
a716 = 98;
a198 = 3465;
print(a30);//output:3383
a30 = 1323;
a129 = 3717;
a575 = 256;
print(a498);//output:4336
a498 = 2849;
a196 = 447;
a162 = 2226;
a257 = 3816;
a64 = 2977;
a413 = 1025;
a831 = 2634;
print(a395);//output:4374
a395 = 3968;
print(a759);//output:2902
a759 = 1699;
a711 = 2473;
print(a203);//output:2563
a203 = 2966;
a969 = 2584;
a230 = 2646;
print(a738);//output:244
a738 = 203;
a773 = 3665;
a641 = 1228;
a317 = 3354;
a843 = 4185;
print(a223);//output:3585
a223 = 407;
a852 = 3572;
a319 = 3397;
a652 = 2654;
print(a705);//output:3453
a705 = 203;
print(a38);//output:757
a38 = 42;
print(a887);//output:4180
a887 = 3623;
print(a303);//output:3661
a303 = 4222;
a528 = 263;
print(a756);//output:8038
a756 = 3130;
print(a192);//output:3008
a192 = 475;
a225 = 2586;
print(a445);//output:1958
a445 = 666;
a743 = 158;
a381 = 3707;
a598 = 2586;
a355 = 306;
print(a542);//output:6815
a542 = 454;
a277 = 3482;
a110 = 4252;
a106 = 1311;
a536 = 3729;
a929 = 3140;
print(a824);//output:1526
a824 = 3772;
print(a622);//output:4100
a622 = 1890;
a664 = 568;
a300 = 4195;
a30 = 1698;
print(a969);//output:2584
a969 = 1179;
a627 = 3608;
a596 = 2985;
print(a771);//output:1134
a771 = 1602;
print(a31);//output:463
a31 = 2894;
a766 = 925;
a235 = 2310;
a904 = 4025;
a742 = 3482;
print(a285);//output:2494
a285 = 1382;
print(a824);//output:3772
a824 = 1507;
print(a850);//output:4140
a850 = 3194;
a143 = 362;
a736 = 629;
a87 = 3426;
a454 = 1754;
a832 = 3990;
print(a917);//output:7493
a917 = 2442;
print(a476);//output:6795
a476 = 3502;
a147 = 3259;
print(a397);//output:915
a397 = 1710;
print(a982);//output:3336
a982 = 3877;
a479 = 3867;
a721 = 2807;
a940 = 819;
a643 = 2616;
a544 = 535;
a457 = 3025;
print(a845);//output:3166
a845 = 174;
a382 = 4387;
a906 = 2247;
print(a885);//output:3535
a885 = 2694;
print(a341);//output:2838
a341 = 2869;
print(a457);//output:3025
a457 = 4431;
print(a711);//output:2473
a711 = 2373;
print(a327);//output:1689
a327 = 680;
a387 = 88;
a324 = 2021;
print(a844);//output:1026
a844 = 2949;
a793 = 960;
a207 = 3135;
a715 = 2923;
print(a506);//output:5407
a506 = 1240;
a819 = 3704;
print(a541);//output:7698
a541 = 3559;
a828 = 2658;
print(a881);//output:2937
a881 = 3532;
a33 = 3989;
print(a395);//output:3968
a395 = 2558;
a266 = 1420;
a13 = 196;
print(a497);//output:3144
a497 = 3082;
a550 = 3826;
a862 = 2975;
print(a208);//output:4069
a208 = 14;
a300 = 224;
print(a774);//output:644
a774 = 1099;
a64 = 2129;
print(a83);//output:2676
a83 = 2403;
a655 = 4200;
a457 = 3929;
a59 = 3578;
print(a766);//output:925
a766 = 2644;
print(a582);//output:2193
a582 = 1337;
a905 = 2190;
a954 = 1951;
a684 = 1261;
a623 = 4074;
print(a302);//output:6067
a302 = 50;
print(a217);//output:1445
a217 = 4314;
a494 = 2920;
a756 = 2880;
print(a881);//output:3532
a881 = 3245;
a358 = 1618;
a759 = 1077;
print(a78);//output:4008
a78 = 1537;
a495 = 3564;
a285 = 3331;
print(a748);//output:5708
a748 = 215;
print(a551);//output:1260
a551 = 267;
a89 = 4121;
print(a715);//output:2923
a715 = 2685;
print(a41);//output:4019
a41 = 747;
print(a431);//output:3203
a431 = 1991;
a368 = 1148;
a531 = 609;
print(a824);//output:1507
a824 = 3635;
print(a223);//output:407
a223 = 3201;
print(a426);//output:2018
a426 = 4231;
a420 = 1995;
print(a71);//output:4173
a71 = 2210;
print(a852);//output:3572
a852 = 2172;
a738 = 1038;
print(a123);//output:7512
a123 = 1885;
print(a725);//output:2961
a725 = 4029;
a33 = 4154;
print(a681);//output:2634
a681 = 234;
print(a77);//output:894
a77 = 2404;
a968 = 1089;
a553 = 4102;
print(a828);//output:2658
a828 = 3880;
a79 = 3880;
print(a890);//output:2960
a890 = 1175;
a396 = 1638;
print(a681);//output:234
a681 = 370;
a15 = 32;
a70 = 1998;
print(a760);//output:3080
a760 = 225;
a187 = 3757;
print(a957);//output:3520
a957 = 3708;
a206 = 577;
a940 = 1576;
print(a370);//output:2751
a370 = 349;
a130 = 3125;
print(a887);//output:3623
a887 = 3663;
print(a687);//output:8710
a687 = 1631;
a767 = 1715;
print(a344);//output:2672
a344 = 1387;
print(a25);//output:2188
a25 = 400;
a741 = 4053;
a584 = 3753;
print(a170);//output:1936
a170 = 2295;
print(a317);//output:3354
a317 = 3430;
a306 = 2520;
a569 = 2225;
a760 = 1350;
a544 = 3724;
a229 = 1782;
print(a421);//output:9725
a421 = 3304;
a400 = 525;
print(a87);//output:3426
a87 = 999;
print(a754);//output:5992
a754 = 133;
print(a785);//output:407
a785 = 1407;
a28 = 2368;
a589 = 147;
a460 = 1656;
a226 = 2774;
a17 = 2314;
a930 = 1969;
a339 = 941;
a936 = 1596;
a927 = 4235;
print(a553);//output:4102
a553 = 508;
a377 = 438;
print(a505);//output:3834
a505 = 1750;
a427 = 2016;
print(a576);//output:119
a576 = 3378;
print(a661);//output:9119
a661 = 3294;
print(a836);//output:4100
a836 = 2027;
print(a502);//output:4028
a502 = 1296;
a693 = 4230;
a5 = 1589;
print(a501);//output:2544
a501 = 2573;
print(a648);//output:882
a648 = 2425;
a805 = 2164;
a534 = 3261;
print(a991);//output:3718
a991 = 1774;
a348 = 3926;
a686 = 1740;
print(a900);//output:1281
a900 = 149;
print(a532);//output:2929
a532 = 1159;
a926 = 3792;
a779 = 2160;
a628 = 2579;
a993 = 3399;
print(a655);//output:4200
a655 = 4458;
print(a619);//output:3434
a619 = 2435;
a187 = 3317;
print(a863);//output:2419
a863 = 1925;
a488 = 1468;
a282 = 738;
print(a374);//output:940
a374 = 351;
a793 = 2764;
print(a385);//output:289
a385 = 931;
a32 = 2695;
a827 = 3838;
a516 = 2424;
a151 = 4065;
print(a517);//output:698
a517 = 2715;
a213 = 4141;
print(a880);//output:3281
a880 = 598;
print(a166);//output:4439
a166 = 1398;
a652 = 620;
a848 = 785;
print(a578);//output:5721
a578 = 739;
print(a94);//output:8229
a94 = 2431;
a248 = 4091;
print(a107);//output:3225
a107 = 2477;
print(a941);//output:1380
a941 = 413;
print(a459);//output:8763
a459 = 76;
print(a163);//output:3541
a163 = 3526;
a266 = 821;
a712 = 2020;
a580 = 4298;
print(a718);//output:1990
a718 = 2241;
a370 = 878;
print(a369);//output:4057
a369 = 1271;
a435 = 2175;
a92 = 449;
a441 = 451;
a872 = 804;
print(a352);//output:7118
a352 = 4047;
print(a963);//output:2930
a963 = 2590;
a288 = 519;
print(a960);//output:2661
a960 = 2596;
print(a9);//output:4315
a9 = 599;
a150 = 1614;
a417 = 65;
print(a29);//output:7939
a29 = 1302;
a525 = 609;
a431 = 3998;
print(a267);//output:2936
a267 = 2602;
a399 = 494;
a897 = 2546;
print(a191);//output:2849
a191 = 1434;
print(a287);//output:8609
a287 = 3255;
a633 = 3959;
print(a791);//output:1713
a791 = 1729;
a392 = 1692;
print(a341);//output:2869
a341 = 1642;
print(a452);//output:2380
a452 = 4256;
print(a804);//output:6363
a804 = 2389;
print(a497);//output:3082
a497 = 624;
print(a270);//output:6406
a270 = 993;
print(a740);//output:2293
a740 = 1656;
print(a825);//output:1115
a825 = 2945;
print(a86);//output:59
a86 = 1029;
a322 = 4240;
print(a983);//output:1849
a983 = 2945;
print(a872);//output:804
a872 = 1988;
print(a297);//output:586
a297 = 1700;
print(a416);//output:8113
a416 = 2316;
a525 = 543;
print(a723);//output:715
a723 = 519;
print(a731);//output:7542
a731 = 1264;
print(a648);//output:2425
a648 = 3819;
print(a882);//output:4015
a882 = 1263;
print(a399);//output:494
a399 = 3045;
print(a147);//output:3259
a147 = 2157;
print(a572);//output:1196
a572 = 3346;
a271 = 376;
a860 = 3002;
print(a822);//output:2163
a822 = 319;
print(a295);//output:7081
a295 = 358;
a572 = 2456;
a492 = 382;
a647 = 3612;
a729 = 3050;
print(a862);//output:2975
a862 = 697;
print(a241);//output:710
a241 = 1825;
a744 = 1067;
a866 = 39;
print(a248);//output:4091
a248 = 3568;
a171 = 1169;
print(a54);//output:1973
a54 = 1613;
a909 = 2623;
a392 = 284;
a743 = 3073;
a735 = 1408;
print(a772);//output:1334
a772 = 2900;
a828 = 4137;
print(a537);//output:1699
a537 = 571;
a152 = 3880;
print(a817);//output:2940
a817 = 1168;
a320 = 4009;
a113 = 3290;
a537 = 73;
a518 = 1754;
print(a955);//output:1616
a955 = 2939;
print(a992);//output:4036
a992 = 2036;
print(a727);//output:4442
a727 = 2303;
a143 = 3212;
print(a878);//output:2044
a878 = 946;
print(a502);//output:1296
a502 = 1563;
print(a413);//output:1025
a413 = 3912;
print(a892);//output:115
a892 = 2695;
print(a89);//output:4121
a89 = 4197;
a630 = 3365;
print(a802);//output:1540
a802 = 1526;
print(a746);//output:90
a746 = 3130;
a254 = 2651;
print(a591);//output:2421
a591 = 49;
print(a598);//output:2586
a598 = 4165;
print(a238);//output:3780
a238 = 1987;
a327 = 2842;
print(a270);//output:993
a270 = 1444;
print(a554);//output:61
a554 = 1535;
a978 = 3834;
a970 = 388;
a406 = 1939;
print(a392);//output:284
a392 = 2314;
print(a957);//output:3708
a957 = 4055;
print(a985);//output:1909
a985 = 592;
a832 = 4352;
print(a693);//output:4230
a693 = 2777;
a449 = 936;
a673 = 3256;
a332 = 170;
a63 = 1773;
a564 = 3664;
a911 = 4357;
a629 = 150;
print(a837);//output:3759
a837 = 2305;
a462 = 95;
a518 = 2691;
print(a450);//output:3260
a450 = 3688;
a448 = 4015;
print(a499);//output:2271
a499 = 3041;
a287 = 284;
a460 = 3404;
a567 = 1299;
a573 = 1261;
a215 = 628;
print(a739);//output:3822
a739 = 4361;
print(a866);//output:39
a866 = 2271;
print(a873);//output:6116
a873 = 3271;
a507 = 2099;
print(a74);//output:1207
a74 = 65;
a942 = 433;
a904 = 999;
a171 = 3373;
a215 = 652;
print(a218);//output:3053
a218 = 1478;
print(a655);//output:4458
a655 = 2140;
print(a672);//output:2940
a672 = 3950;
print(a578);//output:739
a578 = 746;
print(a923);//output:3853
a923 = 3007;
print(a699);//output:3972
a699 = 2083;
a288 = 3430;
print(a906);//output:2247
a906 = 405;
a28 = 1837;
print(a910);//output:1618
a910 = 3273;
a584 = 2517;
print(a729);//output:3050
a729 = 2980;
a854 = 772;
a780 = 785;
a328 = 3118;
print(a335);//output:1963
a335 = 862;
print(a391);//output:2746
a391 = 2267;
print(a625);//output:1550
a625 = 4366;
print(a854);//output:772
a854 = 1743;
a254 = 2029;
print(a801);//output:1171
a801 = 2666;
a243 = 2014;
a818 = 3488;
a114 = 2556;
a330 = 2735;
a837 = 3784;
a285 = 1531;
print(a148);//output:3526
a148 = 2602;
print(a897);//output:2546
a897 = 47;
print(a412);//output:2546
a412 = 2834;
print(a316);//output:1570
a316 = 3394;
a389 = 1231;
a610 = 4146;
print(a18);//output:2104
a18 = 121;
a884 = 4275;
print(a29);//output:1302
a29 = 1569;
a264 = 4370;
print(a508);//output:1746
a508 = 1282;
a757 = 1813;
a923 = 3335;
print(a762);//output:909
a762 = 3650;
print(a702);//output:3316
a702 = 2194;
a432 = 2640;
print(a116);//output:2613
a116 = 4233;
a581 = 3945;
a107 = 2066;
a484 = 3662;
print(a967);//output:3263
a967 = 4293;
print(a429);//output:204
a429 = 2806;
print(a368);//output:1148
a368 = 1720;
a458 = 898;
print(a585);//output:2505
a585 = 3908;
print(a564);//output:3664
a564 = 476;
a229 = 1368;
a448 = 3401;
print(a289);//output:3856
a289 = 1755;
print(a179);//output:2080
a179 = 3917;
a439 = 2353;
a307 = 4244;
a414 = 3498;
print(a131);//output:5970
a131 = 2066;
print(a673);//output:3256
a673 = 1338;
print(a679);//output:3796
a679 = 2099;
a915 = 1069;
a812 = 3111;
print(a714);//output:1420
a714 = 2719;
a627 = 1955;
a402 = 1211;
print(a261);//output:1420
a261 = 3781;
print(a940);//output:1576
a940 = 1021;
print(a987);//output:2184
a987 = 2971;
print(a477);//output:3312
a477 = 2331;
a389 = 2979;
print(a870);//output:3773
a870 = 3092;
a651 = 1400;
print(a907);//output:2786
a907 = 4090;
a593 = 1961;
print(a660);//output:3596
a660 = 765;
a167 = 18;
a601 = 1425;
a478 = 3786;
print(a158);//output:1880
a158 = 155;
print(a343);//output:129
a343 = 1641;
a696 = 1006;
a97 = 3547;
a610 = 2051;
a388 = 4123;
a307 = 4315;
a934 = 199;
print(a67);//output:6287
a67 = 3282;
print(a619);//output:2435
a619 = 4261;
print(a318);//output:2096
a318 = 2648;
a713 = 2428;
print(a576);//output:3378
a576 = 537;
a467 = 428;
print(a833);//output:415
a833 = 4186;
a510 = 2436;
a923 = 1085;
print(a668);//output:696
a668 = 1158;
a216 = 946;
a712 = 1032;
print(a2);//output:9029
a2 = 3254;
print(a726);//output:1695
a726 = 576;
print(a218);//output:1478
a218 = 1895;
print(a861);//output:8300
a861 = 4062;
print(a659);//output:4146
a659 = 4077;
a673 = 3905;
print(a150);//output:1614
a150 = 3402;
a674 = 3611;
a27 = 1685;
print(a958);//output:755
a958 = 3395;
a935 = 1176;
a841 = 4388;
a644 = 1789;
a56 = 3743;
a963 = 1499;
a963 = 3572;
a148 = 1492;
a934 = 280;
a25 = 4368;
print(a139);//output:7498
a139 = 149;
a722 = 4415;
a325 = 3709;
a600 = 3132;
print(a26);//output:7888
a26 = 3549;
a529 = 2132;
print(a39);//output:2625
a39 = 67;
print(a688);//output:647
a688 = 1893;
print(a648);//output:3819
a648 = 3414;
print(a231);//output:5600
a231 = 3674;
print(a888);//output:1284
a888 = 2360;
a299 = 1379;
print(a171);//output:3373
a171 = 1500;
a892 = 1378;
a748 = 4334;
a26 = 2640;
print(a258);//output:2198
a258 = 3651;
print(a183);//output:4114
a183 = 1305;
print(a812);//output:3111
a812 = 2087;
print(a170);//output:2295
a170 = 193;
a841 = 3380;
print(a209);//output:5051
a209 = 2424;
a601 = 1923;
a39 = 4155;
a400 = 4401;
print(a155);//output:957
a155 = 4061;
print(a451);//output:2337
a451 = 3454;
print(a757);//output:1813
a757 = 1703;
a210 = 3399;
print(a401);//output:704
a401 = 1696;
a256 = 1009;
print(a341);//output:1642
a341 = 3545;
print(a177);//output:2628
a177 = 379;
print(a645);//output:1395
a645 = 4052;
a75 = 4245;
print(a679);//output:2099
a679 = 814;
a378 = 3939;
print(a97);//output:3547
a97 = 1131;
print(a552);//output:3302
a552 = 3819;
print(a714);//output:2719
a714 = 1388;
print(a724);//output:1414
a724 = 49;
a148 = 1403;
a763 = 4213;
print(a538);//output:4321
a538 = 10;
print(a680);//output:776
a680 = 3298;
print(a460);//output:3404
a460 = 3626;
a32 = 1072;
print(a737);//output:685
a737 = 3075;
print(a166);//output:1398
a166 = 1919;
print(a369);//output:1271
a369 = 4394;
print(a65);//output:975
a65 = 3626;
a431 = 2304;
print(a610);//output:2051
a610 = 2494;
print(a67);//output:3282
a67 = 2438;
a18 = 2334;
print(a334);//output:1876
a334 = 142;
a547 = 2770;
a348 = 701;
a720 = 1441;
a256 = 539;
a515 = 1191;
a982 = 3631;
print(a720);//output:1441
a720 = 3682;
a411 = 2937;
a816 = 3013;
a345 = 2564;
a292 = 1762;
a206 = 1983;
print(a948);//output:2831
a948 = 618;
a457 = 672;
print(a411);//output:2937
a411 = 3048;
print(a22);//output:1420
a22 = 306;
print(a140);//output:4330
a140 = 4324;
a814 = 184;
a444 = 431;
a948 = 731;
a545 = 2137;
a942 = 77;
a750 = 1597;
a513 = 306;
a648 = 793;
print(a244);//output:3930
a244 = 198;
a250 = 3197;
print(a763);//output:4213
a763 = 3332;
print(a309);//output:4017
a309 = 4065;
a101 = 973;
print(a198);//output:3465
a198 = 1117;
print(a3);//output:3967
a3 = 2765;
a0 = 2359;
print(a221);//output:4095
a221 = 1969;
print(a569);//output:2225
a569 = 4283;
a818 = 9;
a465 = 2377;
a83 = 3482;
a756 = 2389;
print(a473);//output:2423
a473 = 619;
a669 = 1708;
a910 = 1191;
print(a374);//output:351
a374 = 840;
print(a714);//output:1388
a714 = 279;
print(a6);//output:1570
a6 = 2351;
print(a783);//output:1352
a783 = 2044;
a582 = 3028;
print(a982);//output:3631
a982 = 2303;
print(a508);//output:1282
a508 = 3861;
print(a283);//output:2494
a283 = 3717;
a297 = 2397;
print(a756);//output:2389
a756 = 4046;
a180 = 482;
a774 = 3701;
print(a889);//output:5551
a889 = 3558;
a265 = 1504;
a116 = 523;
a425 = 102;
a931 = 479;
print(a605);//output:2255
a605 = 4262;
a980 = 2065;
print(a398);//output:8588
a398 = 3203;
print(a5);//output:1589
a5 = 309;
a295 = 2668;
print(a886);//output:2743
a886 = 2866;
a585 = 2649;
print(a40);//output:442
a40 = 1824;
a419 = 340;
print(a912);//output:2260
a912 = 3304;
print(a701);//output:1485
a701 = 1481;
a596 = 501;
a14 = 2524;
a591 = 3846;
a848 = 3749;
a877 = 3873;
print(a108);//output:4139
a108 = 3422;
a757 = 3240;
print(a715);//output:2685
a715 = 4094;
a969 = 998;
a251 = 2506;
a552 = 3181;
print(a882);//output:1263
a882 = 3256;
print(a584);//output:2517
a584 = 923;
a561 = 3027;
print(a428);//output:4390
a428 = 1909;
a499 = 3641;
a27 = 2283;
print(a30);//output:1698
a30 = 3442;
a663 = 2455;
a708 = 1938;
a924 = 2580;
a555 = 3026;
print(a394);//output:2072
a394 = 415;
print(a121);//output:5374
a121 = 52;
print(a736);//output:629
a736 = 1806;
print(a933);//output:77
a933 = 2465;
a688 = 1252;
a621 = 1905;
print(a312);//output:687
a312 = 3626;
a506 = 896;
a666 = 3673;
a14 = 2822;
a170 = 4476;
print(a20);//output:482
a20 = 1074;
a278 = 2280;
print(a927);//output:4235
a927 = 1990;
print(a612);//output:1493
a612 = 1844;
print(a357);//output:4337
a357 = 318;
print(a182);//output:2231
a182 = 2782;
a659 = 3096;
a0 = 3590;
a981 = 514;
print(a270);//output:1444
a270 = 3063;
print(a109);//output:204
a109 = 602;
print(a167);//output:18
a167 = 4017;
print(a104);//output:4413
a104 = 3060;
a198 = 2317;
a94 = 3440;
print(a105);//output:3983
a105 = 4395;
print(a291);//output:1355
a291 = 57;
print(a490);//output:1642
a490 = 2087;
a877 = 310;
a156 = 2489;
a910 = 317;
a17 = 1675;
print(a490);//output:2087
a490 = 3851;
a386 = 115;
a893 = 1302;
print(a925);//output:7432
a925 = 1576;
print(a438);//output:1360
a438 = 3583;
print(a139);//output:149
a139 = 321;
print(a815);//output:2317
a815 = 1455;
print(a605);//output:4262
a605 = 4149;
a460 = 303;
print(a944);//output:3544
a944 = 1020;
a280 = 2063;
print(a530);//output:4426
a530 = 802;
a900 = 3349;
print(a329);//output:1163
a329 = 1605;
print(a422);//output:881
a422 = 1442;
print(a407);//output:1514
a407 = 3521;
a679 = 327;
a119 = 595;
a170 = 3635;
print(a862);//output:697
a862 = 3039;
print(a73);//output:3419
a73 = 4090;
print(a305);//output:3699
a305 = 3744;
a309 = 2082;
a884 = 507;
a163 = 717;
a627 = 2787;
a300 = 547;
print(a51);//output:2233
a51 = 2473;
print(a586);//output:2484
a586 = 2162;
a924 = 1288;
print(a184);//output:6959
a184 = 2134;
a793 = 2078;
print(a980);//output:2065
a980 = 1155;
a146 = 1337;
print(a450);//output:3688
a450 = 3772;
a3 = 1906;
a560 = 3292;
print(a773);//output:3665
a773 = 1739;
print(a46);//output:112
a46 = 1251;
a669 = 1493;
print(a774);//output:3701
a774 = 1210;
print(a34);//output:4338
a34 = 2637;
a294 = 1556;
print(a960);//output:2596
a960 = 2227;
print(a373);//output:699
a373 = 4236;
a527 = 721;
a86 = 943;
print(a271);//output:376
a271 = 34;
a20 = 1841;
a180 = 1062;
print(a157);//output:4471
a157 = 60;
print(a853);//output:290
a853 = 3239;
a718 = 751;
print(a668);//output:1158
a668 = 3436;
a400 = 2001;
a982 = 864;
a523 = 3546;
a380 = 2145;
a166 = 1615;
a850 = 293;
print(a492);//output:382
a492 = 680;
print(a812);//output:2087
a812 = 3612;
a575 = 3202;
print(a317);//output:3430
a317 = 3485;
a794 = 4194;
a709 = 1166;
print(a157);//output:60
a157 = 3578;
a486 = 4355;
a339 = 3505;
print(a78);//output:1537
a78 = 3560;
print(a793);//output:2078
a793 = 3415;
a398 = 850;
a452 = 149;
a971 = 3716;
a3 = 4259;
print(a581);//output:3945
a581 = 2574;
print(a528);//output:263
a528 = 1999;
print(a635);//output:282
a635 = 3178;
a776 = 2504;
a433 = 994;
print(a70);//output:1998
a70 = 2529;
a899 = 2268;
a260 = 663;
a327 = 2584;
a967 = 3630;
print(a883);//output:2247
a883 = 1260;
a454 = 2849;
print(a737);//output:3075
a737 = 1750;
a294 = 2045;
a686 = 1553;
print(a597);//output:789
a597 = 3434;
print(a943);//output:2782
a943 = 2515;
a203 = 3903;
a26 = 596;
print(a302);//output:50
a302 = 665;
a867 = 1247;
print(a443);//output:3265
a443 = 2933;
print(a762);//output:3650
a762 = 4149;
print(a108);//output:3422
a108 = 429;
print(a378);//output:3939
a378 = 4150;
a52 = 1727;
print(a376);//output:6339
a376 = 2622;
a980 = 3106;
print(a266);//output:821
a266 = 2859;
a192 = 3452;
a34 = 4164;
print(a256);//output:539
a256 = 3991;
print(a817);//output:1168
a817 = 732;
a245 = 3934;
a335 = 1481;
a80 = 4049;
print(a717);//output:773
a717 = 4335;
print(a87);//output:999
a87 = 606;
print(a80);//output:4049
a80 = 3652;
print(a713);//output:2428
a713 = 828;
a622 = 1837;
print(a433);//output:994
a433 = 2961;
print(a470);//output:3912
a470 = 667;
a325 = 4249;
print(a541);//output:3559
a541 = 2959;
print(a681);//output:370
a681 = 1764;
a261 = 366;
a534 = 2275;
print(a79);//output:3880
a79 = 68;
print(a953);//output:3261
a953 = 978;
a506 = 1064;
print(a746);//output:3130
a746 = 3561;
print(a743);//output:3073
a743 = 3249;
a262 = 1727;
a718 = 1689;
a755 = 4246;
print(a650);//output:2893
a650 = 416;
print(a738);//output:1038
a738 = 2609;
print(a704);//output:2792
a704 = 2823;
print(a827);//output:3838
a827 = 306;
print(a515);//output:1191
a515 = 1553;
a947 = 2744;
print(a646);//output:624
a646 = 1619;
a765 = 3671;
print(a537);//output:73
a537 = 3381;
print(a511);//output:1625
a511 = 2588;
a155 = 3208;
a576 = 2900;
print(a654);//output:2027
a654 = 1930;
print(a824);//output:3635
a824 = 2338;
print(a793);//output:3415
a793 = 1543;
print(a299);//output:1379
a299 = 1873;
print(a118);//output:4300
a118 = 2961;
print(a30);//output:3442
a30 = 3416;
print(a166);//output:1615
a166 = 1133;
a556 = 823;
a247 = 4029;
print(a420);//output:1995
a420 = 1272;
print(a252);//output:3958
a252 = 3274;
a810 = 3613;
a70 = 1798;
a635 = 2310;
print(a813);//output:8546
a813 = 3404;
a166 = 1799;
a167 = 4428;
a399 = 2526;
print(a87);//output:606
a87 = 1012;
a305 = 77;
a703 = 2655;
a83 = 348;
print(a349);//output:689
a349 = 2530;
print(a399);//output:2526
a399 = 3306;
print(a752);//output:286
a752 = 1469;
print(a765);//output:3671
a765 = 2756;
print(a177);//output:379
a177 = 1923;
print(a102);//output:3161
a102 = 3549;
print(a119);//output:595
a119 = 3071;
a460 = 4130;
a16 = 642;
a727 = 1503;
print(a912);//output:3304
a912 = 3802;
print(a32);//output:1072
a32 = 2096;
print(a253);//output:2933
a253 = 2773;
a39 = 552;
print(a803);//output:4411
a803 = 2468;
a75 = 775;
print(a561);//output:3027
a561 = 2150;
a584 = 2274;
a557 = 3505;
print(a943);//output:2515
a943 = 1265;
print(a922);//output:4214
a922 = 4326;
print(a276);//output:3036
a276 = 1397;
print(a781);//output:2225
a781 = 254;
print(a745);//output:6269
a745 = 2505;
print(a569);//output:4283
a569 = 1651;
a545 = 1957;
a172 = 1427;
a708 = 1366;
a524 = 639;
a5 = 789;
a276 = 3531;
a41 = 1320;
print(a762);//output:4149
a762 = 3947;
print(a437);//output:4194
a437 = 1542;
a513 = 2059;
a814 = 2498;
a818 = 823;
a102 = 3331;
a107 = 3093;
a262 = 1157;
print(a60);//output:2462
a60 = 2781;
print(a965);//output:2095
a965 = 1017;
print(a573);//output:1261
a573 = 1383;
a627 = 2877;
a455 = 3644;
print(a513);//output:2059
a513 = 966;
print(a490);//output:3851
a490 = 4229;
a764 = 88;
print(a933);//output:2465
a933 = 778;
a254 = 3605;
print(a90);//output:2021
a90 = 1392;
a640 = 4017;
print(a517);//output:2715
a517 = 1563;
print(a314);//output:5029
a314 = 2186;
a129 = 867;
print(a184);//output:2134
a184 = 2203;
print(a737);//output:1750
a737 = 1049;
print(a459);//output:76
a459 = 3947;
a159 = 2200;
a958 = 3474;
print(a685);//output:1995
a685 = 4074;
a881 = 3015;
a123 = 2435;
print(a411);//output:3048
a411 = 2408;
print(a925);//output:1576
a925 = 2300;
print(a428);//output:1909
a428 = 4018;
a166 = 2435;
print(a1);//output:1518
a1 = 151;
print(a840);//output:4099
a840 = 2452;
a56 = 2046;
a178 = 3066;
a270 = 221;
print(a406);//output:1939
a406 = 472;
a194 = 3463;
a534 = 3261;
print(a362);//output:1349
a362 = 1244;
print(a936);//output:1596
a936 = 1027;
a963 = 1253;
print(a78);//output:3560
a78 = 1474;
a121 = 3755;
print(a624);//output:3558
a624 = 1994;
print(a753);//output:4457
a753 = 3937;
a217 = 2368;
print(a940);//output:1021
a940 = 510;
print(a680);//output:3298
a680 = 3948;
a2 = 4442;
a543 = 2583;
print(a210);//output:3399
a210 = 1464;
a509 = 1927;
a134 = 1438;
a688 = 2444;
print(a940);//output:510
a940 = 1112;
a283 = 2258;
a639 = 644;
a530 = 1883;
a745 = 2800;
print(a872);//output:1988
a872 = 4375;
a540 = 2155;
a490 = 2882;
print(a141);//output:9322
a141 = 2575;
print(a404);//output:3139
a404 = 2224;
print(a125);//output:3312
a125 = 4280;
print(a0);//output:3590
a0 = 1046;
print(a77);//output:2404
a77 = 2843;
print(a648);//output:793
a648 = 2872;
a157 = 3788;
a144 = 3751;
a767 = 1949;
a305 = 3494;
print(a91);//output:1489
a91 = 2104;
print(a306);//output:2520
a306 = 2054;
print(a451);//output:3454
a451 = 945;
a836 = 875;
a573 = 3103;
a430 = 2164;
a947 = 3097;
a917 = 1891;
print(a938);//output:4099
a938 = 3702;
a142 = 1087;
print(a288);//output:3430
a288 = 1242;
print(a372);//output:359
a372 = 1060;
a200 = 4153;
a640 = 1612;
a446 = 1476;
a886 = 1144;
a466 = 2870;
a790 = 2078;
a618 = 237;
a986 = 780;
print(a886);//output:1144
a886 = 2851;
print(a532);//output:1159
a532 = 1289;
a377 = 3149;
a154 = 3319;
a23 = 3431;
print(a986);//output:780
a986 = 66;
print(a196);//output:447
a196 = 3914;
print(a5);//output:789
a5 = 1785;
print(a486);//output:4355
a486 = 716;
print(a710);//output:3075
a710 = 3461;
print(a433);//output:2961
a433 = 3448;
a773 = 3922;
a892 = 3438;
print(a476);//output:3502
a476 = 3136;
print(a757);//output:3240
a757 = 3327;
a609 = 3005;
print(a291);//output:57
a291 = 2688;
a476 = 751;
print(a762);//output:3947
a762 = 1199;
print(a573);//output:3103
a573 = 1941;
print(a485);//output:3336
a485 = 2037;
print(a816);//output:3013
a816 = 3183;
a243 = 1283;
print(a729);//output:2980
a729 = 3999;
print(a238);//output:1987
a238 = 2950;
print(a692);//output:1641
a692 = 183;
print(a292);//output:1762
a292 = 1205;
a196 = 3569;
a364 = 2673;
a902 = 1067;
print(a86);//output:943
a86 = 3727;
a879 = 2828;
print(a379);//output:1322
a379 = 460;
a910 = 1477;
print(a2);//output:4442
a2 = 1;
print(a755);//output:4246
a755 = 2893;
a150 = 194;
print(a705);//output:203
a705 = 1989;
a222 = 355;
print(a216);//output:946
a216 = 3154;
a690 = 1492;
a247 = 4226;
a344 = 265;
print(a33);//output:4154
a33 = 1995;
print(a492);//output:680
a492 = 3782;
print(a557);//output:3505
a557 = 4320;
a608 = 4050;
print(a169);//output:2418
a169 = 2676;
a2 = 3036;
print(a436);//output:1422
a436 = 674;
print(a494);//output:2920
a494 = 3802;
print(a835);//output:3093
a835 = 2794;
print(a732);//output:901
a732 = 2700;
a427 = 3520;
a354 = 3298;
a297 = 1594;
print(a460);//output:4130
a460 = 4381;
a775 = 3693;
a486 = 2576;
a617 = 2340;
print(a279);//output:297
a279 = 2417;
print(a920);//output:9818
a920 = 3484;
a892 = 3542;
print(a816);//output:3183
a816 = 1431;
a852 = 138;
print(a389);//output:2979
a389 = 692;
print(a804);//output:2389
a804 = 583;
print(a695);//output:911
a695 = 2363;
a155 = 1853;
print(a498);//output:2849
a498 = 3484;
print(a548);//output:618
a548 = 2810;
print(a871);//output:3605
a871 = 4273;
a743 = 4061;
print(a685);//output:4074
a685 = 4248;
print(a716);//output:98
a716 = 1881;
a772 = 1201;
a403 = 1071;
print(a228);//output:4073
a228 = 1647;
a387 = 4288;
print(a81);//output:2908
a81 = 385;
print(a436);//output:674
a436 = 473;
a439 = 2613;
print(a910);//output:1477
a910 = 4421;
a516 = 2717;
a539 = 3904;
print(a243);//output:1283
a243 = 1179;
a448 = 2347;
a936 = 3619;
a430 = 4381;
print(a918);//output:537
a918 = 982;
a83 = 3141;
print(a418);//output:1251
a418 = 3883;
a629 = 1648;
print(a77);//output:2843
a77 = 3162;
print(a660);//output:765
a660 = 2999;
a299 = 2105;
a629 = 4152;
a352 = 3556;
print(a954);//output:1951
a954 = 1980;
a983 = 3628;
print(a349);//output:2530
a349 = 3219;
a99 = 2079;
a769 = 1781;
print(a58);//output:8097
a58 = 2395;
a754 = 833;
a84 = 4117;
print(a346);//output:1331
a346 = 984;
a65 = 86;
a617 = 2172;
print(a480);//output:2412
a480 = 4227;
print(a73);//output:4090
a73 = 2660;
print(a846);//output:1133
a846 = 1053;
a487 = 2304;
print(a482);//output:1019
a482 = 2837;
print(a548);//output:2810
a548 = 522;
print(a529);//output:2132
a529 = 3506;
print(a541);//output:2959
a541 = 2857;
print(a504);//output:2251
a504 = 1627;
print(a130);//output:3125
a130 = 801;
print(a685);//output:4248
a685 = 1816;
a697 = 4019;
a400 = 1129;
print(a415);//output:2033
a415 = 564;
a64 = 3651;
a688 = 2649;
print(a680);//output:3948
a680 = 1951;
a275 = 4057;
print(a802);//output:1526
a802 = 234;
print(a504);//output:1627
a504 = 1576;
a40 = 1582;
print(a815);//output:1455
a815 = 405;
print(a871);//output:4273
a871 = 1048;
a779 = 2198;
print(a978);//output:3834
a978 = 3469;
print(a479);//output:3867
a479 = 2035;
print(a86);//output:3727
a86 = 151;
print(a820);//output:4014
a820 = 892;
print(a227);//output:3098
a227 = 2321;
print(a330);//output:2735
a330 = 1046;
a606 = 756;
a958 = 604;
print(a323);//output:2323
a323 = 345;
print(a828);//output:4137
a828 = 4343;
print(a251);//output:2506
a251 = 1968;
print(a382);//output:4387
a382 = 2554;
a341 = 1311;
a349 = 2569;
print(a574);//output:4340
a574 = 2098;
a306 = 3629;
a801 = 3313;
a798 = 4005;
a254 = 3943;
a69 = 3125;
print(a224);//output:1633
a224 = 713;
print(a974);//output:4039
a974 = 1516;
print(a477);//output:2331
a477 = 1761;
a720 = 2198;
a205 = 2880;
a4 = 1186;
print(a363);//output:7403
a363 = 4135;
print(a740);//output:1656
a740 = 3887;
print(a331);//output:2931
a331 = 1335;
a162 = 714;
print(a902);//output:1067
a902 = 2315;
a785 = 1643;
a387 = 3525;
a412 = 4052;
a111 = 1096;
a724 = 3573;
a962 = 1443;
a56 = 2888;
a22 = 2927;
print(a128);//output:2908
a128 = 206;
print(a438);//output:3583
a438 = 3107;
print(a721);//output:2807
a721 = 1808;
a993 = 1996;
print(a175);//output:258
a175 = 694;
print(a271);//output:34
a271 = 3184;
a266 = 3834;
print(a491);//output:5971
a491 = 1786;
a210 = 3711;
print(a342);//output:283
a342 = 3153;
a916 = 3469;
a558 = 3652;
print(a713);//output:828
a713 = 647;
print(a258);//output:3651
a258 = 2087;
a211 = 1567;
a580 = 3664;
a635 = 4095;
print(a798);//output:4005
a798 = 1066;
a962 = 1519;
a533 = 1262;
print(a603);//output:614
a603 = 1039;
a970 = 3968;
a816 = 129;
a128 = 2909;
a662 = 3717;
a866 = 1938;
a632 = 1966;
print(a562);//output:7739
a562 = 3323;
print(a227);//output:2321
a227 = 2369;
print(a137);//output:4274
a137 = 4147;
print(a136);//output:9077
a136 = 4406;
a800 = 1978;
print(a200);//output:4153
a200 = 860;
a251 = 468;
print(a570);//output:3699
a570 = 553;
print(a454);//output:2849
a454 = 3636;
print(a742);//output:3482
a742 = 1732;
a798 = 2986;
a193 = 3553;
a729 = 2001;
print(a319);//output:3397
a319 = 1784;
print(a15);//output:32
a15 = 3864;
a843 = 782;
print(a303);//output:4222
print(a358);//output:1618
print(a452);//output:149
print(a112);//output:1859
print(a674);//output:3611
print(a606);//output:756
print(a904);//output:999
print(a695);//output:2363
print(a280);//output:2063
print(a941);//output:413
print(a115);//output:3903
print(a863);//output:1925
print(a279);//output:2417
print(a275);//output:4057
print(a247);//output:4226
print(a615);//output:1209
print(a647);//output:3612
print(a425);//output:102
print(a780);//output:785
print(a163);//output:717
print(a154);//output:3319
print(a363);//output:4135
print(a313);//output:9327
print(a755);//output:2893
print(a276);//output:3531
print(a281);//output:2772
print(a612);//output:1844
print(a301);//output:2558
print(a591);//output:3846
print(a129);//output:867
print(a188);//output:7371
print(a922);//output:4326
print(a892);//output:3542
print(a211);//output:1567
print(a437);//output:1542
print(a332);//output:170
print(a950);//output:1928
print(a687);//output:1631
print(a903);//output:4114
print(a736);//output:1806
print(a911);//output:4357
print(a586);//output:2162
print(a724);//output:3573
print(a110);//output:4252
print(a154);//output:3319
print(a275);//output:4057
print(a408);//output:4010
print(a962);//output:1519
print(a403);//output:1071
print(a260);//output:663
print(a344);//output:265
print(a294);//output:2045
print(a696);//output:1006
print(a324);//output:2021
print(a517);//output:1563
print(a620);//output:328
print(a465);//output:2377
print(a256);//output:3991
print(a265);//output:1504
print(a479);//output:2035
print(a547);//output:2770
print(a213);//output:4141
print(a317);//output:3485
print(a174);//output:1918
print(a419);//output:340
print(a374);//output:840
print(a114);//output:2556
print(a644);//output:1789
print(a964);//output:3733
print(a417);//output:65
print(a197);//output:358
print(a717);//output:4335
print(a577);//output:3522
print(a979);//output:481
print(a516);//output:2717
print(a916);//output:3469
print(a862);//output:3039
print(a242);//output:2819
print(a487);//output:2304
print(a831);//output:2634
print(a965);//output:1017
print(a421);//output:3304
print(a674);//output:3611
print(a469);//output:3080
print(a607);//output:3733
print(a340);//output:7216
print(a679);//output:327
print(a762);//output:1199
print(a860);//output:3002
print(a969);//output:998
print(a184);//output:2203
print(a889);//output:3558
print(a903);//output:4114
print(a967);//output:3630
print(a842);//output:542
print(a137);//output:4147
print(a789);//output:3283
print(a174);//output:1918
print(a617);//output:2172
print(a895);//output:516
print(a577);//output:3522
print(a76);//output:490
print(a732);//output:2700
print(a305);//output:3494
print(a974);//output:1516
print(a123);//output:2435
print(a566);//output:3256
print(a559);//output:7393
print(a595);//output:1403
print(a713);//output:647
print(a956);//output:3753
print(a969);//output:998
print(a350);//output:1460
print(a132);//output:1743
print(a775);//output:3693
print(a152);//output:3880
print(a914);//output:3486
print(a477);//output:1761
print(a478);//output:3786
print(a214);//output:3279
print(a327);//output:2584
print(a120);//output:3941
print(a83);//output:3141
print(a954);//output:1980
print(a602);//output:4608
print(a49);//output:2352
print(a312);//output:3626
print(a266);//output:3834
print(a704);//output:2823
print(a95);//output:3159
print(a135);//output:3556
print(a219);//output:697
print(a983);//output:3628
print(a751);//output:3610
print(a486);//output:2576
print(a94);//output:3440
print(a329);//output:1605
print(a255);//output:351
print(a786);//output:8102
print(a122);//output:3717
print(a802);//output:234
print(a330);//output:1046
print(a509);//output:1927
print(a391);//output:2267
print(a993);//output:1996
print(a496);//output:2614
print(a619);//output:4261
print(a233);//output:6909
print(a504);//output:1576
print(a748);//output:4334
print(a951);//output:158
print(a867);//output:1247
print(a856);//output:2208
print(a563);//output:2550
print(a42);//output:5183
print(a5);//output:1785
print(a364);//output:2673
print(a75);//output:775
print(a533);//output:1262
print(a522);//output:4100
print(a760);//output:1350
print(a268);//output:4280
print(a938);//output:3702
print(a124);//output:4238
print(a750);//output:1597
print(a462);//output:95
print(a909);//output:2623
print(a424);//output:4290
print(a453);//output:715
print(a150);//output:194
print(a608);//output:4050
print(a550);//output:3826
print(a388);//output:4123
print(a534);//output:3261
print(a177);//output:1923
print(a701);//output:1481
print(a222);//output:355
print(a71);//output:2210
print(a457);//output:672
print(a714);//output:279
print(a659);//output:3096
print(a814);//output:2498
print(a434);//output:3329
print(a104);//output:3060
print(a165);//output:2454
print(a735);//output:1408
print(a299);//output:2105
print(a671);//output:499
print(a66);//output:3695
print(a312);//output:3626
print(a79);//output:68
print(a421);//output:3304
print(a826);//output:7758
print(a626);//output:315
print(a935);//output:1176
print(a218);//output:1895
print(a380);//output:2145
print(a218);//output:1895
print(a553);//output:508
print(a755);//output:2893
print(a582);//output:3028
print(a550);//output:3826
print(a758);//output:1795
print(a129);//output:867
print(a249);//output:2445
print(a642);//output:5249
print(a637);//output:4196
print(a961);//output:6221
print(a330);//output:1046
print(a606);//output:756
print(a398);//output:850
print(a501);//output:2573
print(a660);//output:2999
print(a892);//output:3542
print(a951);//output:158
print(a366);//output:3464
print(a639);//output:644
print(a857);//output:3773
print(a579);//output:949
print(a172);//output:1427
print(a514);//output:2189
print(a821);//output:119
print(a89);//output:4197
print(a690);//output:1492
print(a959);//output:3429
print(a502);//output:1563
print(a825);//output:2945
print(a114);//output:2556
print(a808);//output:375
print(a384);//output:3769
print(a626);//output:315
print(a510);//output:2436
print(a764);//output:88
print(a710);//output:3461
print(a930);//output:1969
print(a4);//output:1186
print(a867);//output:1247
print(a955);//output:2939
print(a117);//output:1240
print(a551);//output:267
print(a882);//output:3256
print(a81);//output:385
print(a832);//output:4352
print(a745);//output:2800
print(a855);//output:1804
print(a394);//output:415
print(a527);//output:721
print(a837);//output:3784
print(a103);//output:2503
print(a679);//output:327
print(a241);//output:1825
print(a755);//output:2893
print(a422);//output:1442
print(a91);//output:2104
print(a476);//output:751
print(a23);//output:3431
print(a167);//output:4428
print(a150);//output:194
print(a257);//output:3816
print(a864);//output:1035
print(a17);//output:1675
print(a504);//output:1576
print(a298);//output:1396
print(a801);//output:3313
print(a688);//output:2649
print(a36);//output:106
print(a384);//output:3769
print(a614);//output:6432
print(a844);//output:2949
print(a625);//output:4366
print(a887);//output:3663
print(a465);//output:2377
print(a62);//output:7338
print(a948);//output:731
print(a81);//output:385
print(a328);//output:3118
print(a351);//output:4093
print(a307);//output:4315
print(a322);//output:4240
print(a931);//output:479
print(a321);//output:278
print(a66);//output:3695
print(a560);//output:3292
print(a839);//output:4122
print(a236);//output:5100
print(a205);//output:2880
print(a358);//output:1618
print(a851);//output:6614
print(a746);//output:3561
print(a698);//output:2339
print(a136);//output:4406
print(a102);//output:3331
print(a392);//output:2314
print(a946);//output:3957
print(a716);//output:1881
print(a65);//output:86
print(a203);//output:3903
print(a331);//output:1335
print(a139);//output:321
print(a300);//output:547
print(a535);//output:1672
print(a103);//output:2503
print(a400);//output:1129
print(a925);//output:2300
print(a770);//output:1991
print(a819);//output:3704
print(a3);//output:4259
print(a435);//output:2175
print(a764);//output:88
print(a565);//output:3165
print(a866);//output:1938
print(a618);//output:237
print(a551);//output:267
print(a531);//output:609
print(a332);//output:170
print(a550);//output:3826
print(a332);//output:170
print(a33);//output:1995
print(a353);//output:2428
print(a727);//output:1503
print(a533);//output:1262
print(a638);//output:2165
print(a368);//output:1720
print(a476);//output:751
print(a576);//output:2900
print(a947);//output:3097
print(a645);//output:4052
print(a53);//output:373
print(a577);//output:3522
print(a817);//output:732
print(a187);//output:3317
print(a673);//output:3905
print(a13);//output:196
print(a794);//output:4194
print(a236);//output:5100
print(a81);//output:385
print(a467);//output:428
print(a589);//output:147
print(a914);//output:3486
print(a360);//output:5169
print(a898);//output:708
print(a565);//output:3165
print(a640);//output:1612
print(a593);//output:1961
print(a93);//output:1271
print(a316);//output:3394
print(a867);//output:1247
print(a188);//output:7371
print(a167);//output:4428
print(a124);//output:4238
print(a957);//output:4055
print(a951);//output:158
print(a763);//output:3332
print(a322);//output:4240
print(a334);//output:142
print(a623);//output:4074
print(a164);//output:3065
print(a629);//output:4152
print(a630);//output:3365
print(a192);//output:3452
print(a287);//output:284
print(a976);//output:3161
print(a719);//output:2440
print(a808);//output:375
print(a587);//output:1413
print(a309);//output:2082
print(a850);//output:293
print(a408);//output:4010
print(a781);//output:254
print(a498);//output:3484
print(a886);//output:2851
print(a410);//output:6140
print(a773);//output:3922
print(a788);//output:7390
print(a767);//output:1949
print(a853);//output:3239
print(a641);//output:1228
print(a181);//output:2949
print(a465);//output:2377
print(a205);//output:2880
print(a415);//output:564
print(a30);//output:3416
print(a829);//output:2346
print(a439);//output:2613
print(a780);//output:785
print(a250);//output:3197
print(a945);//output:6308
print(a592);//output:10
print(a582);//output:3028
print(a750);//output:1597
print(a235);//output:2310
print(a463);//output:867
print(a928);//output:597
print(a374);//output:840
print(a581);//output:2574
print(a201);//output:2941
print(a534);//output:3261
print(a913);//output:2721
print(a778);//output:3645
print(a17);//output:1675
print(a870);//output:3092
print(a219);//output:697
print(a619);//output:4261
print(a869);//output:1127
print(a272);//output:7713
print(a228);//output:1647
print(a136);//output:4406
print(a739);//output:4361
print(a69);//output:3125
print(a460);//output:4381
print(a703);//output:2655
print(a492);//output:3782
print(a180);//output:1062
print(a485);//output:2037
print(a139);//output:321
print(a575);//output:3202
print(a185);//output:3323
print(a676);//output:2095
print(a288);//output:1242
print(a562);//output:3323
print(a463);//output:867
print(a795);//output:2543
print(a388);//output:4123
print(a412);//output:4052
print(a171);//output:1500
print(a739);//output:4361
print(a944);//output:1020
print(a694);//output:3993
print(a577);//output:3522
print(a331);//output:1335
print(a829);//output:2346
print(a308);//output:2280
print(a95);//output:3159
print(a523);//output:3546
print(a991);//output:1774
print(a663);//output:2455
print(a538);//output:10
print(a318);//output:2648
print(a697);//output:4019
print(a651);//output:1400
print(a650);//output:416
print(a325);//output:4249
print(a127);//output:3992
print(a455);//output:3644
print(a93);//output:1271
print(a907);//output:4090
print(a41);//output:1320
print(a413);//output:3912
print(a117);//output:1240
print(a455);//output:3644
print(a7);//output:4698
print(a48);//output:1616
print(a276);//output:3531
print(a532);//output:1289
print(a848);//output:3749
print(a36);//output:106
print(a858);//output:2957
print(a381);//output:3707
print(a747);//output:8492
print(a439);//output:2613
print(a509);//output:1927
print(a618);//output:237
print(a912);//output:3802
print(a934);//output:280
print(a905);//output:2190
print(a224);//output:713
print(a56);//output:2888
print(a88);//output:4261
print(a428);//output:4018
print(a312);//output:3626
print(a367);//output:2789
print(a341);//output:1311
print(a103);//output:2503
print(a260);//output:663
print(a847);//output:1472
print(a484);//output:3662
print(a147);//output:2157
print(a973);//output:438
print(a680);//output:1951
print(a538);//output:10
print(a873);//output:3271
print(a473);//output:619
print(a651);//output:1400
print(a52);//output:1727
print(a850);//output:293
print(a556);//output:823
print(a272);//output:7713
print(a361);//output:2936
print(a611);//output:3170
print(a110);//output:4252
print(a170);//output:3635
print(a378);//output:4150
print(a424);//output:4290
print(a619);//output:4261
print(a322);//output:4240
print(a944);//output:1020
print(a729);//output:2001
print(a380);//output:2145
print(a125);//output:4280
print(a55);//output:6992
}