japl/tests/japl/longs/locWithSets.jpl

5191 lines
90 KiB
Plaintext

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