#include int main() { int findthis; int x1 = 1804289383; int x2 = 846930886; int x3 = 1681692777; int x4 = 1714636915; int x5 = 1957747793; int x6 = 424238335; int x7 = 719885386; int x8 = 1649760492; int x9 = 596516649; int x10 = 1189641421; int x11 = 1025202362; int x12 = 1350490027; int x13 = 783368690; int x14 = 1102520059; int x15 = 2044897763; int x16 = 1967513926; int x17 = 1365180540; int x18 = 1540383426; int x19 = 304089172; int x20 = 1303455736; int x21 = 35005211; int x22 = 521595368; int x23 = 294702567; int x24 = 1726956429; int x25 = 336465782; int x26 = 861021530; int x27 = 278722862; int x28 = 233665123; int x29 = 2145174067; int x30 = 468703135; int x31 = 1101513929; int x32 = 1801979802; int x33 = 1315634022; int x34 = 635723058; int x35 = 1369133069; int x36 = 1125898167; int x37 = 1059961393; int x38 = 2089018456; int x39 = 628175011; int x40 = 1656478042; int x41 = 1131176229; int x42 = 1653377373; int x43 = 859484421; int x44 = 1914544919; int x45 = 608413784; int x46 = 756898537; int x47 = 1734575198; int x48 = 1973594324; int x49 = 149798315; int x50 = 2038664370; int x51 = 1129566413; int x52 = 184803526; int x53 = 412776091; int x54 = 1424268980; int x55 = 1911759956; int x56 = 749241873; int x57 = 137806862; int x58 = 42999170; int x59 = 982906996; int x60 = 135497281; int x61 = 511702305; int x62 = 2084420925; int x63 = 1937477084; int x64 = 1827336327; int x65 = 572660336; int x66 = 1159126505; int x67 = 805750846; int x68 = 1632621729; int x69 = 1100661313; int x70 = 1433925857; int x71 = 1141616124; int x72 = 84353895; int x73 = 939819582; int x74 = 2001100545; int x75 = 1998898814; int x76 = 1548233367; int x77 = 610515434; int x78 = 1585990364; int x79 = 1374344043; int x80 = 760313750; int x81 = 1477171087; int x82 = 356426808; int x83 = 945117276; int x84 = 1889947178; int x85 = 1780695788; int x86 = 709393584; int x87 = 491705403; int x88 = 1918502651; int x89 = 752392754; int x90 = 1474612399; int x91 = 2053999932; int x92 = 1264095060; int x93 = 1411549676; int x94 = 1843993368; int x95 = 943947739; int x96 = 1984210012; int x97 = 855636226; int x98 = 1749698586; int x99 = 1469348094; int x100 = 1956297539; int x101 = 1036140795; int x102 = 463480570; int x103 = 2040651434; int x104 = 1975960378; int x105 = 317097467; int x106 = 1892066601; int x107 = 1376710097; int x108 = 927612902; int x109 = 1330573317; int x110 = 603570492; int x111 = 1687926652; int x112 = 660260756; int x113 = 959997301; int x114 = 485560280; int x115 = 402724286; int x116 = 593209441; int x117 = 1194953865; int x118 = 894429689; int x119 = 364228444; int x120 = 1947346619; int x121 = 221558440; int x122 = 270744729; int x123 = 1063958031; int x124 = 1633108117; int x125 = 2114738097; int x126 = 2007905771; int x127 = 1469834481; int x128 = 822890675; int x129 = 1610120709; int x130 = 791698927; int x131 = 631704567; int x132 = 498777856; int x133 = 1255179497; int x134 = 524872353; int x135 = 327254586; int x136 = 1572276965; int x137 = 269455306; int x138 = 1703964683; int x139 = 352406219; int x140 = 1600028624; int x141 = 160051528; int x142 = 2040332871; int x143 = 112805732; int x144 = 1120048829; int x145 = 378409503; int x146 = 515530019; int x147 = 1713258270; int x148 = 1573363368; int x149 = 1409959708; int x150 = 2077486715; int x151 = 1373226340; int x152 = 1631518149; int x153 = 200747796; int x154 = 289700723; int x155 = 1117142618; int x156 = 168002245; int x157 = 150122846; int x158 = 439493451; int x159 = 990892921; int x160 = 1760243555; int x161 = 1231192379; int x162 = 1622597488; int x163 = 111537764; int x164 = 338888228; int x165 = 2147469841; int x166 = 438792350; int x167 = 1911165193; int x168 = 269441500; int x169 = 2142757034; int x170 = 116087764; int x171 = 1869470124; int x172 = 155324914; int x173 = 8936987; int x174 = 1982275856; int x175 = 1275373743; int x176 = 387346491; int x177 = 350322227; int x178 = 841148365; int x179 = 1960709859; int x180 = 1760281936; int x181 = 771151432; int x182 = 1186452551; int x183 = 1244316437; int x184 = 971899228; int x185 = 1476153275; int x186 = 213975407; int x187 = 1139901474; int x188 = 1626276121; int x189 = 653468858; int x190 = 2130794395; int x191 = 1239036029; int x192 = 1884661237; int x193 = 1605908235; int x194 = 1350573793; int x195 = 76065818; int x196 = 1605894428; int x197 = 1789366143; int x198 = 1987231011; int x199 = 1875335928; int x200 = 1784639529; int x201 = 2103318776; int x202 = 1597322404; int x203 = 1939964443; int x204 = 2112255763; int x205 = 1432114613; int x206 = 1067854538; int x207 = 352118606; int x208 = 1782436840; int x209 = 1909002904; int x210 = 165344818; int x211 = 1395235128; int x212 = 532670688; int x213 = 1351797369; int x214 = 492067917; int x215 = 1504569917; int x216 = 680466996; int x217 = 706043324; int x218 = 496987743; int x219 = 159259470; int x220 = 1359512183; int x221 = 480298490; int x222 = 1398295499; int x223 = 1096689772; int x224 = 2086206725; int x225 = 601385644; int x226 = 1172755590; int x227 = 1544617505; int x228 = 243268139; int x229 = 1012502954; int x230 = 1272469786; int x231 = 2027907669; int x232 = 968338082; int x233 = 722308542; int x234 = 1820388464; int x235 = 933110197; int x236 = 6939507; int x237 = 740759355; int x238 = 1285228804; int x239 = 1789376348; int x240 = 502278611; int x241 = 1450573622; int x242 = 1037127828; int x243 = 1034949299; int x244 = 654887343; int x245 = 1529195746; int x246 = 392035568; int x247 = 1335354340; int x248 = 87755422; int x249 = 889023311; int x250 = 1494613810; int x251 = 1447267605; int x252 = 1369321801; int x253 = 745425661; int x254 = 396473730; int x255 = 1308044878; int x256 = 1346811305; int x257 = 1569229320; int x258 = 705178736; int x259 = 1590079444; int x260 = 434248626; int x261 = 1977648522; int x262 = 1470503465; int x263 = 1402586708; int x264 = 552473416; int x265 = 1143408282; int x266 = 188213258; int x267 = 559412924; int x268 = 1884167637; int x269 = 1473442062; int x270 = 201305624; int x271 = 238962600; int x272 = 776532036; int x273 = 1238433452; int x274 = 1273911899; int x275 = 1431419379; int x276 = 620145550; int x277 = 1665947468; int x278 = 619290071; int x279 = 707900973; int x280 = 407487131; int x281 = 2113903881; int x282 = 7684930; int x283 = 1776808933; int x284 = 711845894; int x285 = 404158660; int x286 = 937370163; int x287 = 2058657199; int x288 = 1973387981; int x289 = 1642548899; int x290 = 1501252996; int x291 = 260152959; int x292 = 1472713773; int x293 = 824272813; int x294 = 1662739668; int x295 = 2025187190; int x296 = 1967681095; int x297 = 1850952926; int x298 = 437116466; int x299 = 1704365084; int x300 = 1176911340; int x301 = 638422090; int x302 = 1943327684; int x303 = 1953443376; int x304 = 1876855542; int x305 = 1069755936; int x306 = 1237379107; int x307 = 349517445; int x308 = 588219756; int x309 = 1856669179; int x310 = 1057418418; int x311 = 995706887; int x312 = 1823089412; int x313 = 1065103348; int x314 = 625032172; int x315 = 387451659; int x316 = 1469262009; int x317 = 1562402336; int x318 = 298625210; int x319 = 1295166342; int x320 = 1057467587; int x321 = 1799878206; int x322 = 1555319301; int x323 = 382697713; int x324 = 476667372; int x325 = 1070575321; int x326 = 260401255; int x327 = 296864819; int x328 = 774044599; int x329 = 697517721; int x330 = 2001229904; int x331 = 1950955939; int x332 = 1335939811; int x333 = 1797073940; int x334 = 1756915667; int x335 = 1065311705; int x336 = 719346228; int x337 = 846811127; int x338 = 1414829150; int x339 = 1307565984; int x340 = 555996658; int x341 = 324763920; int x342 = 155789224; int x343 = 231602422; int x344 = 1389867269; int x345 = 780821396; int x346 = 619054081; int x347 = 711645630; int x348 = 195740084; int x349 = 917679292; int x350 = 2006811972; int x351 = 1253207672; int x352 = 570073850; int x353 = 1414647625; int x354 = 1635905385; int x355 = 1046741222; int x356 = 337739299; int x357 = 1896306640; int x358 = 1343606042; int x359 = 1111783898; int x360 = 446340713; int x361 = 1197352298; int x362 = 915256190; int x363 = 1782280524; int x364 = 846942590; int x365 = 524688209; int x366 = 700108581; int x367 = 1566288819; int x368 = 1371499336; int x369 = 2114937732; int x370 = 726371155; int x371 = 1927495994; int x372 = 292218004; int x373 = 882160379; int x374 = 11614769; int x375 = 1682085273; int x376 = 1662981776; int x377 = 630668850; int x378 = 246247255; int x379 = 1858721860; int x380 = 1548348142; int x381 = 105575579; int x382 = 964445884; int x383 = 2118421993; int x384 = 1520223205; int x385 = 452867621; int x386 = 1017679567; int x387 = 1857962504; int x388 = 201690613; int x389 = 213801961; int x390 = 822262754; int x391 = 648031326; int x392 = 1411154259; int x393 = 1737518944; int x394 = 282828202; int x395 = 110613202; int x396 = 114723506; int x397 = 982936784; int x398 = 1676902021; int x399 = 1486222842; int x400 = 950390868; int x401 = 255789528; int x402 = 1266235189; int x403 = 1242608872; int x404 = 1137949908; int x405 = 1277849958; int x406 = 777210498; int x407 = 653448036; int x408 = 1908518808; int x409 = 1023457753; int x410 = 364686248; int x411 = 1309383303; int x412 = 1129033333; int x413 = 1329132133; int x414 = 1280321648; int x415 = 501772890; int x416 = 1781999754; int x417 = 150517567; int x418 = 212251746; int x419 = 1983690368; int x420 = 364319529; int x421 = 1034514500; int x422 = 484238046; int x423 = 1775473788; int x424 = 624549797; int x425 = 767066249; int x426 = 1886086990; int x427 = 739273303; int x428 = 1750003033; int x429 = 1415505363; int x430 = 78012497; int x431 = 552910253; int x432 = 1671294892; int x433 = 1344247686; int x434 = 1795519125; int x435 = 661761152; int x436 = 474613996; int x437 = 425245975; int x438 = 1315209188; int x439 = 235649157; int x440 = 1448703729; int x441 = 1679895436; int x442 = 1545032460; int x443 = 430253414; int x444 = 861543921; int x445 = 677870460; int x446 = 932026304; int x447 = 496060028; int x448 = 828388027; int x449 = 1144278050; int x450 = 332266748; int x451 = 1192707556; int x452 = 31308902; int x453 = 816504794; int x454 = 820697697; int x455 = 655858699; int x456 = 1583571043; int x457 = 559301039; int x458 = 1395132002; int x459 = 1186090428; int x460 = 1974806403; int x461 = 1473144500; int x462 = 1739000681; int x463 = 1498617647; int x464 = 669908538; int x465 = 1387036159; int x466 = 12895151; int x467 = 1144522535; int x468 = 1812282134; int x469 = 1328104339; int x470 = 1380171692; int x471 = 1113502215; int x472 = 860516127; int x473 = 777720504; int x474 = 1543755629; int x475 = 1722060049; int x476 = 1455590964; int x477 = 328298285; int x478 = 70636429; int x479 = 136495343; int x480 = 1472576335; int x481 = 402903177; int x482 = 1329202900; int x483 = 1503885238; int x484 = 1219407971; int x485 = 2416949; int x486 = 12260289; int x487 = 655495367; int x488 = 561717988; int x489 = 1407392292; int x490 = 1841585795; int x491 = 389040743; int x492 = 733053144; int x493 = 1433102829; int x494 = 1887658390; int x495 = 1402961682; int x496 = 672655340; int x497 = 1900553541; int x498 = 400000569; int x499 = 337453826; int x500 = 1081174232; int x501 = 1780172261; int x502 = 1450956042; int x503 = 1941690360; int x504 = 410409117; int x505 = 847228023; int x506 = 1516266761; int x507 = 1866000081; int x508 = 1175526309; int x509 = 1586903190; int x510 = 2002495425; int x511 = 500618996; int x512 = 1989806367; int x513 = 1184214677; int x514 = 2004504234; int x515 = 1061730690; int x516 = 1186631626; int x517 = 2016764524; int x518 = 1717226057; int x519 = 1748349614; int x520 = 1276673168; int x521 = 1411328205; int x522 = 2137390358; int x523 = 2009726312; int x524 = 696947386; int x525 = 1877565100; int x526 = 1265204346; int x527 = 1369602726; int x528 = 1630634994; int x529 = 1665204916; int x530 = 1707056552; int x531 = 564325578; int x532 = 1297893529; int x533 = 1010528946; int x534 = 358532290; int x535 = 1708302647; int x536 = 1857756970; int x537 = 1874799051; int x538 = 1426819080; int x539 = 885799631; int x540 = 1314218593; int x541 = 1281830857; int x542 = 1386418627; int x543 = 1156541312; int x544 = 318561886; int x545 = 1243439214; int x546 = 70788355; int x547 = 1505193512; int x548 = 1112720090; int x549 = 1788014412; int x550 = 1106059479; int x551 = 241909610; int x552 = 1051858969; int x553 = 1095966189; int x554 = 104152274; int x555 = 1748806355; int x556 = 826047641; int x557 = 1369356620; int x558 = 970925433; int x559 = 309198987; int x560 = 887077888; int x561 = 530498338; int x562 = 873524566; int x563 = 37487770; int x564 = 1541027284; int x565 = 1232056856; int x566 = 1745790417; int x567 = 1251300606; int x568 = 959372260; int x569 = 1025125849; int x570 = 2137100237; int x571 = 126107205; int x572 = 159473059; int x573 = 1376035217; int x574 = 1282648518; int x575 = 478034945; int x576 = 471990783; int x577 = 1353436873; int x578 = 1983228458; int x579 = 1584710873; int x580 = 993967637; int x581 = 941804289; int x582 = 1826620483; int x583 = 2045826607; int x584 = 2037770478; int x585 = 1930772757; int x586 = 1647149314; int x587 = 716334471; int x588 = 1152645729; int x589 = 470591100; int x590 = 1025533459; int x591 = 2039723618; int x592 = 1001089438; int x593 = 1899058025; int x594 = 2077211388; int x595 = 394633074; int x596 = 983631233; int x597 = 1675518157; int x598 = 1645933681; int x599 = 1943003493; int x600 = 553160358; int x601 = 1635550270; int x602 = 2069110699; int x603 = 712633417; int x604 = 864101839; int x605 = 1204275569; int x606 = 1190668363; int x607 = 1336092622; int x608 = 410228794; int x609 = 1026413173; int x610 = 773319847; int x611 = 1404196431; int x612 = 1968217462; int x613 = 452456682; int x614 = 1302539390; int x615 = 1858504292; int x616 = 235745791; int x617 = 802205057; int x618 = 427355115; int x619 = 1388391521; int x620 = 1272796157; int x621 = 1452888574; int x622 = 1280631491; int x623 = 126401947; int x624 = 1204462951; int x625 = 1210359231; int x626 = 521035021; int x627 = 40610537; int x628 = 738393740; int x629 = 19485054; int x630 = 1983614030; int x631 = 1291554098; int x632 = 1655035325; int x633 = 1905241081; int x634 = 2004187516; int x635 = 371653516; int x636 = 962033002; int x637 = 1047372231; int x638 = 1707746139; int x639 = 1372261796; int x640 = 2073785404; int x641 = 333582338; int x642 = 628974580; int x643 = 1894519218; int x644 = 786039021; int x645 = 1931513970; int x646 = 1605539862; int x647 = 1021784812; int x648 = 586235379; int x649 = 2032894977; int x650 = 262692685; int x651 = 1859031536; int x652 = 1338299904; int x653 = 1543324176; int x654 = 1985433483; int x655 = 395279207; int x656 = 606199759; int x657 = 358984857; int x658 = 435889744; int x659 = 1344593499; int x660 = 378469911; int x661 = 272020127; int x662 = 488663950; int x663 = 2033505236; int x664 = 29777560; int x665 = 345367818; int x666 = 257675105; int x667 = 991810563; int x668 = 1392740049; int x669 = 1965421244; int x670 = 216588711; int x671 = 1319041805; int x672 = 151519934; int x673 = 845563291; int x674 = 1066077375; int x675 = 937558955; int x676 = 629593614; int x677 = 524133589; int x678 = 1959343768; int x679 = 1215828993; int x680 = 409544918; int x681 = 74552805; int x682 = 927376882; int x683 = 1747844822; int x684 = 1617876982; int x685 = 765326717; int x686 = 2143124030; int x687 = 76593093; int x688 = 1124311574; int x689 = 431530126; int x690 = 1421186593; int x691 = 1502781486; int x692 = 703550253; int x693 = 1909850543; int x694 = 1388803074; int x695 = 733327814; int x696 = 107734713; int x697 = 1646478179; int x698 = 1725138377; int x699 = 1500474762; int x700 = 1464415775; int x701 = 1941727088; int x702 = 672032919; int x703 = 1615935710; int x704 = 639806732; int x705 = 1738110294; int x706 = 406011017; int x707 = 1269400346; int x708 = 114760235; int x709 = 217871137; int x710 = 337745691; int x711 = 524305153; int x712 = 292423943; int x713 = 1265122573; int x714 = 124666328; int x715 = 1910300925; int x716 = 2030449291; int x717 = 120306710; int x718 = 1986894018; int x719 = 1007277217; int x720 = 551836836; int x721 = 1260596963; int x722 = 362575055; int x723 = 1255387090; int x724 = 1022963858; int x725 = 1751378130; int x726 = 1988714904; int x727 = 1130698571; int x728 = 1250372661; int x729 = 1566369633; int x730 = 483689685; int x731 = 567304789; int x732 = 1360613073; int x733 = 1155722604; int x734 = 35756851; int x735 = 2000419805; int x736 = 746349250; int x737 = 441767868; int x738 = 1122336503; int x739 = 861109485; int x740 = 659639006; int x741 = 1460082195; int x742 = 1385414639; int x743 = 952062949; int x744 = 577721120; int x745 = 1510080967; int x746 = 714880226; int x747 = 460686763; int x748 = 1630387677; int x749 = 554290596; int x750 = 1467963981; int x751 = 34740865; int x752 = 1814887560; int x753 = 1830539036; int x754 = 1290127955; int x755 = 690367770; int x756 = 1434433518; int x757 = 1131359211; int x758 = 1821066342; int x759 = 537322532; int x760 = 550245196; int x761 = 157272379; int x762 = 1104627321; int x763 = 1910858270; int x764 = 1312994984; int x765 = 1140384172; int x766 = 1763794427; int x767 = 2059344234; int x768 = 1582152040; int x769 = 738647283; int x770 = 772970072; int x771 = 94307398; int x772 = 51245830; int x773 = 10901063; int x774 = 1046370347; int x775 = 628966950; int x776 = 1520982030; int x777 = 1761250573; int x778 = 1089653714; int x779 = 1003886059; int x780 = 168057522; int x781 = 410134047; int x782 = 1038626924; int x783 = 1982945082; int x784 = 93189435; int x785 = 181271232; int x786 = 525829204; int x787 = 1527622954; int x788 = 1312630443; int x789 = 199411898; int x790 = 2064945486; int x791 = 1862875640; int x792 = 356684278; int x793 = 1022089159; int x794 = 1626250262; int x795 = 1669679262; int x796 = 14989683; int x797 = 1242561041; int x798 = 1581539848; int x799 = 1597141723; int x800 = 1981208324; int x801 = 207026272; int x802 = 1691449122; int x803 = 2032454154; int x804 = 217927335; int x805 = 590335821; int x806 = 513937457; int x807 = 1738909365; int x808 = 204102747; int x809 = 1603591171; int x810 = 595311776; int x811 = 372160269; int x812 = 2013725218; int x813 = 1633938701; int x814 = 207621703; int x815 = 2106914653; int x816 = 1815209933; int x817 = 733450907; int x818 = 1487053959; int x819 = 980356728; int x820 = 932862806; int x821 = 1404515797; int x822 = 695748720; int x823 = 1289547084; int x824 = 279121308; int x825 = 174515334; int x826 = 811742698; int x827 = 294110991; int x828 = 1417076376; int x829 = 245798898; int x830 = 1891252715; int x831 = 1250801052; int x832 = 452825171; int x833 = 1435218189; int x834 = 1135771559; int x835 = 670752506; int x836 = 2025554010; int x837 = 1649709016; int x838 = 262178224; int x839 = 82173109; int x840 = 1105816539; int x841 = 857490000; int x842 = 454333378; int x843 = 972058109; int x844 = 343945053; int x845 = 661955081; int x846 = 931489114; int x847 = 11671338; int x848 = 1395405989; int x849 = 271059426; int x850 = 992028067; int x851 = 180785147; int x852 = 1675575223; int x853 = 1687776787; int x854 = 1470332231; int x855 = 1954696532; int x856 = 1862292122; int x857 = 134591281; int x858 = 101323875; int x859 = 1131884850; int x860 = 380390179; int x861 = 1992576590; int x862 = 235202254; int x863 = 833215350; int x864 = 1280311131; int x865 = 1370973813; int x866 = 1503967857; int x867 = 1158381494; int x868 = 873199181; int x869 = 1766146081; int x870 = 1240554603; int x871 = 1979015720; int x872 = 476152433; int x873 = 1694887982; int x874 = 803590181; int x875 = 820097487; int x876 = 209359415; int x877 = 1735079296; int x878 = 831768825; int x879 = 1604765404; int x880 = 2006138722; int x881 = 1823796892; int x882 = 1785550551; int x883 = 1534230297; int x884 = 1364090032; int x885 = 1108399134; int x886 = 1341443181; int x887 = 1078898506; int x888 = 1242990415; int x889 = 1442767057; int x890 = 63299708; int x891 = 1623380595; int x892 = 1287859999; int x893 = 298501962; int x894 = 309112297; int x895 = 420687483; int x896 = 1669475776; int x897 = 1813080154; int x898 = 1579068977; int x899 = 395191309; int x900 = 1431742587; int x901 = 672139932; int x902 = 226723382; int x903 = 1907895021; int x904 = 219544266; int x905 = 1030313563; int x906 = 580508860; int x907 = 428903682; int x908 = 617909211; int x909 = 1412277685; int x910 = 2033669086; int x911 = 476564285; int x912 = 1088590930; int x913 = 1671735990; int x914 = 2010794583; int x915 = 305197314; int x916 = 632651476; int x917 = 1204754116; int x918 = 1384095820; int x919 = 1875641892; int x920 = 500037525; int x921 = 1447395528; int x922 = 1351538839; int x923 = 1787897525; int x924 = 1745897490; int x925 = 1660651136; int x926 = 61101360; int x927 = 1267889618; int x928 = 1326247643; int x929 = 1640170337; int x930 = 1663080928; int x931 = 610506582; int x932 = 164826621; int x933 = 1889804310; int x934 = 370917955; int x935 = 384370888; int x936 = 772634225; int x937 = 951426815; int x938 = 813274570; int x939 = 1390543437; int x940 = 216220853; int x941 = 699460008; int x942 = 1867107722; int x943 = 1304811783; int x944 = 223712350; int x945 = 1730418657; int x946 = 1610009097; int x947 = 856363827; int x948 = 787689126; int x949 = 846621269; int x950 = 584522071; int x951 = 1287726651; int x952 = 146533149; int x953 = 1936060910; int x954 = 928140528; int x955 = 1892430639; int x956 = 1449228398; int x957 = 989241888; int x958 = 1012836610; int x959 = 627992393; int x960 = 481928577; int x961 = 528433890; int x962 = 1238498976; int x963 = 646755199; int x964 = 270754552; int x965 = 1609416931; int x966 = 1031126087; int x967 = 1043388777; int x968 = 413360099; int x969 = 1844400657; int x970 = 286448566; int x971 = 629580952; int x972 = 396377017; int x973 = 6072641; int x974 = 1934392735; int x975 = 620089368; int x976 = 1736491298; int x977 = 1396918184; int x978 = 1476453195; int x979 = 376696776; int x980 = 96055805; int x981 = 2060975266; int x982 = 1664423428; int x983 = 242588954; int x984 = 1849552528; int x985 = 445080308; int x986 = 2135019593; int x987 = 1151297278; int x988 = 1434322197; int x989 = 1000372555; int x990 = 1779289672; int x991 = 1916250774; int x992 = 1528806445; int x993 = 870305000; int x994 = 415522325; int x995 = 1799560997; int x996 = 332238283; int x997 = 1446648412; int x998 = 695466127; int x999 = 745598382; int x1000 = 1143565421; printf("Enter the potential bad guy id >"); scanf("%d", &findthis); if (x1 == findthis) printf("Yes, this is bad guy 1"); else if (x2 == findthis) printf("Yes, this is bad guy 2"); else if (x3 == findthis) printf("Yes, this is bad guy 3"); else if (x4 == findthis) printf("Yes, this is bad guy 4"); else if (x5 == findthis) printf("Yes, this is bad guy 5"); else if (x6 == findthis) printf("Yes, this is bad guy 6"); else if (x7 == findthis) printf("Yes, this is bad guy 7"); else if (x8 == findthis) printf("Yes, this is bad guy 8"); else if (x9 == findthis) printf("Yes, this is bad guy 9"); else if (x10 == findthis) printf("Yes, this is bad guy 10"); else if (x11 == findthis) printf("Yes, this is bad guy 11"); else if (x12 == findthis) printf("Yes, this is bad guy 12"); else if (x13 == findthis) printf("Yes, this is bad guy 13"); else if (x14 == findthis) printf("Yes, this is bad guy 14"); else if (x15 == findthis) printf("Yes, this is bad guy 15"); else if (x16 == findthis) printf("Yes, this is bad guy 16"); else if (x17 == findthis) printf("Yes, this is bad guy 17"); else if (x18 == findthis) printf("Yes, this is bad guy 18"); else if (x19 == findthis) printf("Yes, this is bad guy 19"); else if (x20 == findthis) printf("Yes, this is bad guy 20"); else if (x21 == findthis) printf("Yes, this is bad guy 21"); else if (x22 == findthis) printf("Yes, this is bad guy 22"); else if (x23 == findthis) printf("Yes, this is bad guy 23"); else if (x24 == findthis) printf("Yes, this is bad guy 24"); else if (x25 == findthis) printf("Yes, this is bad guy 25"); else if (x26 == findthis) printf("Yes, this is bad guy 26"); else if (x27 == findthis) printf("Yes, this is bad guy 27"); else if (x28 == findthis) printf("Yes, this is bad guy 28"); else if (x29 == findthis) printf("Yes, this is bad guy 29"); else if (x30 == findthis) printf("Yes, this is bad guy 30"); else if (x31 == findthis) printf("Yes, this is bad guy 31"); else if (x32 == findthis) printf("Yes, this is bad guy 32"); else if (x33 == findthis) printf("Yes, this is bad guy 33"); else if (x34 == findthis) printf("Yes, this is bad guy 34"); else if (x35 == findthis) printf("Yes, this is bad guy 35"); else if (x36 == findthis) printf("Yes, this is bad guy 36"); else if (x37 == findthis) printf("Yes, this is bad guy 37"); else if (x38 == findthis) printf("Yes, this is bad guy 38"); else if (x39 == findthis) printf("Yes, this is bad guy 39"); else if (x40 == findthis) printf("Yes, this is bad guy 40"); else if (x41 == findthis) printf("Yes, this is bad guy 41"); else if (x42 == findthis) printf("Yes, this is bad guy 42"); else if (x43 == findthis) printf("Yes, this is bad guy 43"); else if (x44 == findthis) printf("Yes, this is bad guy 44"); else if (x45 == findthis) printf("Yes, this is bad guy 45"); else if (x46 == findthis) printf("Yes, this is bad guy 46"); else if (x47 == findthis) printf("Yes, this is bad guy 47"); else if (x48 == findthis) printf("Yes, this is bad guy 48"); else if (x49 == findthis) printf("Yes, this is bad guy 49"); else if (x50 == findthis) printf("Yes, this is bad guy 50"); else if (x51 == findthis) printf("Yes, this is bad guy 51"); else if (x52 == findthis) printf("Yes, this is bad guy 52"); else if (x53 == findthis) printf("Yes, this is bad guy 53"); else if (x54 == findthis) printf("Yes, this is bad guy 54"); else if (x55 == findthis) printf("Yes, this is bad guy 55"); else if (x56 == findthis) printf("Yes, this is bad guy 56"); else if (x57 == findthis) printf("Yes, this is bad guy 57"); else if (x58 == findthis) printf("Yes, this is bad guy 58"); else if (x59 == findthis) printf("Yes, this is bad guy 59"); else if (x60 == findthis) printf("Yes, this is bad guy 60"); else if (x61 == findthis) printf("Yes, this is bad guy 61"); else if (x62 == findthis) printf("Yes, this is bad guy 62"); else if (x63 == findthis) printf("Yes, this is bad guy 63"); else if (x64 == findthis) printf("Yes, this is bad guy 64"); else if (x65 == findthis) printf("Yes, this is bad guy 65"); else if (x66 == findthis) printf("Yes, this is bad guy 66"); else if (x67 == findthis) printf("Yes, this is bad guy 67"); else if (x68 == findthis) printf("Yes, this is bad guy 68"); else if (x69 == findthis) printf("Yes, this is bad guy 69"); else if (x70 == findthis) printf("Yes, this is bad guy 70"); else if (x71 == findthis) printf("Yes, this is bad guy 71"); else if (x72 == findthis) printf("Yes, this is bad guy 72"); else if (x73 == findthis) printf("Yes, this is bad guy 73"); else if (x74 == findthis) printf("Yes, this is bad guy 74"); else if (x75 == findthis) printf("Yes, this is bad guy 75"); else if (x76 == findthis) printf("Yes, this is bad guy 76"); else if (x77 == findthis) printf("Yes, this is bad guy 77"); else if (x78 == findthis) printf("Yes, this is bad guy 78"); else if (x79 == findthis) printf("Yes, this is bad guy 79"); else if (x80 == findthis) printf("Yes, this is bad guy 80"); else if (x81 == findthis) printf("Yes, this is bad guy 81"); else if (x82 == findthis) printf("Yes, this is bad guy 82"); else if (x83 == findthis) printf("Yes, this is bad guy 83"); else if (x84 == findthis) printf("Yes, this is bad guy 84"); else if (x85 == findthis) printf("Yes, this is bad guy 85"); else if (x86 == findthis) printf("Yes, this is bad guy 86"); else if (x87 == findthis) printf("Yes, this is bad guy 87"); else if (x88 == findthis) printf("Yes, this is bad guy 88"); else if (x89 == findthis) printf("Yes, this is bad guy 89"); else if (x90 == findthis) printf("Yes, this is bad guy 90"); else if (x91 == findthis) printf("Yes, this is bad guy 91"); else if (x92 == findthis) printf("Yes, this is bad guy 92"); else if (x93 == findthis) printf("Yes, this is bad guy 93"); else if (x94 == findthis) printf("Yes, this is bad guy 94"); else if (x95 == findthis) printf("Yes, this is bad guy 95"); else if (x96 == findthis) printf("Yes, this is bad guy 96"); else if (x97 == findthis) printf("Yes, this is bad guy 97"); else if (x98 == findthis) printf("Yes, this is bad guy 98"); else if (x99 == findthis) printf("Yes, this is bad guy 99"); else if (x100 == findthis) printf("Yes, this is bad guy 100"); else if (x101 == findthis) printf("Yes, this is bad guy 101"); else if (x102 == findthis) printf("Yes, this is bad guy 102"); else if (x103 == findthis) printf("Yes, this is bad guy 103"); else if (x104 == findthis) printf("Yes, this is bad guy 104"); else if (x105 == findthis) printf("Yes, this is bad guy 105"); else if (x106 == findthis) printf("Yes, this is bad guy 106"); else if (x107 == findthis) printf("Yes, this is bad guy 107"); else if (x108 == findthis) printf("Yes, this is bad guy 108"); else if (x109 == findthis) printf("Yes, this is bad guy 109"); else if (x110 == findthis) printf("Yes, this is bad guy 110"); else if (x111 == findthis) printf("Yes, this is bad guy 111"); else if (x112 == findthis) printf("Yes, this is bad guy 112"); else if (x113 == findthis) printf("Yes, this is bad guy 113"); else if (x114 == findthis) printf("Yes, this is bad guy 114"); else if (x115 == findthis) printf("Yes, this is bad guy 115"); else if (x116 == findthis) printf("Yes, this is bad guy 116"); else if (x117 == findthis) printf("Yes, this is bad guy 117"); else if (x118 == findthis) printf("Yes, this is bad guy 118"); else if (x119 == findthis) printf("Yes, this is bad guy 119"); else if (x120 == findthis) printf("Yes, this is bad guy 120"); else if (x121 == findthis) printf("Yes, this is bad guy 121"); else if (x122 == findthis) printf("Yes, this is bad guy 122"); else if (x123 == findthis) printf("Yes, this is bad guy 123"); else if (x124 == findthis) printf("Yes, this is bad guy 124"); else if (x125 == findthis) printf("Yes, this is bad guy 125"); else if (x126 == findthis) printf("Yes, this is bad guy 126"); else if (x127 == findthis) printf("Yes, this is bad guy 127"); else if (x128 == findthis) printf("Yes, this is bad guy 128"); else if (x129 == findthis) printf("Yes, this is bad guy 129"); else if (x130 == findthis) printf("Yes, this is bad guy 130"); else if (x131 == findthis) printf("Yes, this is bad guy 131"); else if (x132 == findthis) printf("Yes, this is bad guy 132"); else if (x133 == findthis) printf("Yes, this is bad guy 133"); else if (x134 == findthis) printf("Yes, this is bad guy 134"); else if (x135 == findthis) printf("Yes, this is bad guy 135"); else if (x136 == findthis) printf("Yes, this is bad guy 136"); else if (x137 == findthis) printf("Yes, this is bad guy 137"); else if (x138 == findthis) printf("Yes, this is bad guy 138"); else if (x139 == findthis) printf("Yes, this is bad guy 139"); else if (x140 == findthis) printf("Yes, this is bad guy 140"); else if (x141 == findthis) printf("Yes, this is bad guy 141"); else if (x142 == findthis) printf("Yes, this is bad guy 142"); else if (x143 == findthis) printf("Yes, this is bad guy 143"); else if (x144 == findthis) printf("Yes, this is bad guy 144"); else if (x145 == findthis) printf("Yes, this is bad guy 145"); else if (x146 == findthis) printf("Yes, this is bad guy 146"); else if (x147 == findthis) printf("Yes, this is bad guy 147"); else if (x148 == findthis) printf("Yes, this is bad guy 148"); else if (x149 == findthis) printf("Yes, this is bad guy 149"); else if (x150 == findthis) printf("Yes, this is bad guy 150"); else if (x151 == findthis) printf("Yes, this is bad guy 151"); else if (x152 == findthis) printf("Yes, this is bad guy 152"); else if (x153 == findthis) printf("Yes, this is bad guy 153"); else if (x154 == findthis) printf("Yes, this is bad guy 154"); else if (x155 == findthis) printf("Yes, this is bad guy 155"); else if (x156 == findthis) printf("Yes, this is bad guy 156"); else if (x157 == findthis) printf("Yes, this is bad guy 157"); else if (x158 == findthis) printf("Yes, this is bad guy 158"); else if (x159 == findthis) printf("Yes, this is bad guy 159"); else if (x160 == findthis) printf("Yes, this is bad guy 160"); else if (x161 == findthis) printf("Yes, this is bad guy 161"); else if (x162 == findthis) printf("Yes, this is bad guy 162"); else if (x163 == findthis) printf("Yes, this is bad guy 163"); else if (x164 == findthis) printf("Yes, this is bad guy 164"); else if (x165 == findthis) printf("Yes, this is bad guy 165"); else if (x166 == findthis) printf("Yes, this is bad guy 166"); else if (x167 == findthis) printf("Yes, this is bad guy 167"); else if (x168 == findthis) printf("Yes, this is bad guy 168"); else if (x169 == findthis) printf("Yes, this is bad guy 169"); else if (x170 == findthis) printf("Yes, this is bad guy 170"); else if (x171 == findthis) printf("Yes, this is bad guy 171"); else if (x172 == findthis) printf("Yes, this is bad guy 172"); else if (x173 == findthis) printf("Yes, this is bad guy 173"); else if (x174 == findthis) printf("Yes, this is bad guy 174"); else if (x175 == findthis) printf("Yes, this is bad guy 175"); else if (x176 == findthis) printf("Yes, this is bad guy 176"); else if (x177 == findthis) printf("Yes, this is bad guy 177"); else if (x178 == findthis) printf("Yes, this is bad guy 178"); else if (x179 == findthis) printf("Yes, this is bad guy 179"); else if (x180 == findthis) printf("Yes, this is bad guy 180"); else if (x181 == findthis) printf("Yes, this is bad guy 181"); else if (x182 == findthis) printf("Yes, this is bad guy 182"); else if (x183 == findthis) printf("Yes, this is bad guy 183"); else if (x184 == findthis) printf("Yes, this is bad guy 184"); else if (x185 == findthis) printf("Yes, this is bad guy 185"); else if (x186 == findthis) printf("Yes, this is bad guy 186"); else if (x187 == findthis) printf("Yes, this is bad guy 187"); else if (x188 == findthis) printf("Yes, this is bad guy 188"); else if (x189 == findthis) printf("Yes, this is bad guy 189"); else if (x190 == findthis) printf("Yes, this is bad guy 190"); else if (x191 == findthis) printf("Yes, this is bad guy 191"); else if (x192 == findthis) printf("Yes, this is bad guy 192"); else if (x193 == findthis) printf("Yes, this is bad guy 193"); else if (x194 == findthis) printf("Yes, this is bad guy 194"); else if (x195 == findthis) printf("Yes, this is bad guy 195"); else if (x196 == findthis) printf("Yes, this is bad guy 196"); else if (x197 == findthis) printf("Yes, this is bad guy 197"); else if (x198 == findthis) printf("Yes, this is bad guy 198"); else if (x199 == findthis) printf("Yes, this is bad guy 199"); else if (x200 == findthis) printf("Yes, this is bad guy 200"); else if (x201 == findthis) printf("Yes, this is bad guy 201"); else if (x202 == findthis) printf("Yes, this is bad guy 202"); else if (x203 == findthis) printf("Yes, this is bad guy 203"); else if (x204 == findthis) printf("Yes, this is bad guy 204"); else if (x205 == findthis) printf("Yes, this is bad guy 205"); else if (x206 == findthis) printf("Yes, this is bad guy 206"); else if (x207 == findthis) printf("Yes, this is bad guy 207"); else if (x208 == findthis) printf("Yes, this is bad guy 208"); else if (x209 == findthis) printf("Yes, this is bad guy 209"); else if (x210 == findthis) printf("Yes, this is bad guy 210"); else if (x211 == findthis) printf("Yes, this is bad guy 211"); else if (x212 == findthis) printf("Yes, this is bad guy 212"); else if (x213 == findthis) printf("Yes, this is bad guy 213"); else if (x214 == findthis) printf("Yes, this is bad guy 214"); else if (x215 == findthis) printf("Yes, this is bad guy 215"); else if (x216 == findthis) printf("Yes, this is bad guy 216"); else if (x217 == findthis) printf("Yes, this is bad guy 217"); else if (x218 == findthis) printf("Yes, this is bad guy 218"); else if (x219 == findthis) printf("Yes, this is bad guy 219"); else if (x220 == findthis) printf("Yes, this is bad guy 220"); else if (x221 == findthis) printf("Yes, this is bad guy 221"); else if (x222 == findthis) printf("Yes, this is bad guy 222"); else if (x223 == findthis) printf("Yes, this is bad guy 223"); else if (x224 == findthis) printf("Yes, this is bad guy 224"); else if (x225 == findthis) printf("Yes, this is bad guy 225"); else if (x226 == findthis) printf("Yes, this is bad guy 226"); else if (x227 == findthis) printf("Yes, this is bad guy 227"); else if (x228 == findthis) printf("Yes, this is bad guy 228"); else if (x229 == findthis) printf("Yes, this is bad guy 229"); else if (x230 == findthis) printf("Yes, this is bad guy 230"); else if (x231 == findthis) printf("Yes, this is bad guy 231"); else if (x232 == findthis) printf("Yes, this is bad guy 232"); else if (x233 == findthis) printf("Yes, this is bad guy 233"); else if (x234 == findthis) printf("Yes, this is bad guy 234"); else if (x235 == findthis) printf("Yes, this is bad guy 235"); else if (x236 == findthis) printf("Yes, this is bad guy 236"); else if (x237 == findthis) printf("Yes, this is bad guy 237"); else if (x238 == findthis) printf("Yes, this is bad guy 238"); else if (x239 == findthis) printf("Yes, this is bad guy 239"); else if (x240 == findthis) printf("Yes, this is bad guy 240"); else if (x241 == findthis) printf("Yes, this is bad guy 241"); else if (x242 == findthis) printf("Yes, this is bad guy 242"); else if (x243 == findthis) printf("Yes, this is bad guy 243"); else if (x244 == findthis) printf("Yes, this is bad guy 244"); else if (x245 == findthis) printf("Yes, this is bad guy 245"); else if (x246 == findthis) printf("Yes, this is bad guy 246"); else if (x247 == findthis) printf("Yes, this is bad guy 247"); else if (x248 == findthis) printf("Yes, this is bad guy 248"); else if (x249 == findthis) printf("Yes, this is bad guy 249"); else if (x250 == findthis) printf("Yes, this is bad guy 250"); else if (x251 == findthis) printf("Yes, this is bad guy 251"); else if (x252 == findthis) printf("Yes, this is bad guy 252"); else if (x253 == findthis) printf("Yes, this is bad guy 253"); else if (x254 == findthis) printf("Yes, this is bad guy 254"); else if (x255 == findthis) printf("Yes, this is bad guy 255"); else if (x256 == findthis) printf("Yes, this is bad guy 256"); else if (x257 == findthis) printf("Yes, this is bad guy 257"); else if (x258 == findthis) printf("Yes, this is bad guy 258"); else if (x259 == findthis) printf("Yes, this is bad guy 259"); else if (x260 == findthis) printf("Yes, this is bad guy 260"); else if (x261 == findthis) printf("Yes, this is bad guy 261"); else if (x262 == findthis) printf("Yes, this is bad guy 262"); else if (x263 == findthis) printf("Yes, this is bad guy 263"); else if (x264 == findthis) printf("Yes, this is bad guy 264"); else if (x265 == findthis) printf("Yes, this is bad guy 265"); else if (x266 == findthis) printf("Yes, this is bad guy 266"); else if (x267 == findthis) printf("Yes, this is bad guy 267"); else if (x268 == findthis) printf("Yes, this is bad guy 268"); else if (x269 == findthis) printf("Yes, this is bad guy 269"); else if (x270 == findthis) printf("Yes, this is bad guy 270"); else if (x271 == findthis) printf("Yes, this is bad guy 271"); else if (x272 == findthis) printf("Yes, this is bad guy 272"); else if (x273 == findthis) printf("Yes, this is bad guy 273"); else if (x274 == findthis) printf("Yes, this is bad guy 274"); else if (x275 == findthis) printf("Yes, this is bad guy 275"); else if (x276 == findthis) printf("Yes, this is bad guy 276"); else if (x277 == findthis) printf("Yes, this is bad guy 277"); else if (x278 == findthis) printf("Yes, this is bad guy 278"); else if (x279 == findthis) printf("Yes, this is bad guy 279"); else if (x280 == findthis) printf("Yes, this is bad guy 280"); else if (x281 == findthis) printf("Yes, this is bad guy 281"); else if (x282 == findthis) printf("Yes, this is bad guy 282"); else if (x283 == findthis) printf("Yes, this is bad guy 283"); else if (x284 == findthis) printf("Yes, this is bad guy 284"); else if (x285 == findthis) printf("Yes, this is bad guy 285"); else if (x286 == findthis) printf("Yes, this is bad guy 286"); else if (x287 == findthis) printf("Yes, this is bad guy 287"); else if (x288 == findthis) printf("Yes, this is bad guy 288"); else if (x289 == findthis) printf("Yes, this is bad guy 289"); else if (x290 == findthis) printf("Yes, this is bad guy 290"); else if (x291 == findthis) printf("Yes, this is bad guy 291"); else if (x292 == findthis) printf("Yes, this is bad guy 292"); else if (x293 == findthis) printf("Yes, this is bad guy 293"); else if (x294 == findthis) printf("Yes, this is bad guy 294"); else if (x295 == findthis) printf("Yes, this is bad guy 295"); else if (x296 == findthis) printf("Yes, this is bad guy 296"); else if (x297 == findthis) printf("Yes, this is bad guy 297"); else if (x298 == findthis) printf("Yes, this is bad guy 298"); else if (x299 == findthis) printf("Yes, this is bad guy 299"); else if (x300 == findthis) printf("Yes, this is bad guy 300"); else if (x301 == findthis) printf("Yes, this is bad guy 301"); else if (x302 == findthis) printf("Yes, this is bad guy 302"); else if (x303 == findthis) printf("Yes, this is bad guy 303"); else if (x304 == findthis) printf("Yes, this is bad guy 304"); else if (x305 == findthis) printf("Yes, this is bad guy 305"); else if (x306 == findthis) printf("Yes, this is bad guy 306"); else if (x307 == findthis) printf("Yes, this is bad guy 307"); else if (x308 == findthis) printf("Yes, this is bad guy 308"); else if (x309 == findthis) printf("Yes, this is bad guy 309"); else if (x310 == findthis) printf("Yes, this is bad guy 310"); else if (x311 == findthis) printf("Yes, this is bad guy 311"); else if (x312 == findthis) printf("Yes, this is bad guy 312"); else if (x313 == findthis) printf("Yes, this is bad guy 313"); else if (x314 == findthis) printf("Yes, this is bad guy 314"); else if (x315 == findthis) printf("Yes, this is bad guy 315"); else if (x316 == findthis) printf("Yes, this is bad guy 316"); else if (x317 == findthis) printf("Yes, this is bad guy 317"); else if (x318 == findthis) printf("Yes, this is bad guy 318"); else if (x319 == findthis) printf("Yes, this is bad guy 319"); else if (x320 == findthis) printf("Yes, this is bad guy 320"); else if (x321 == findthis) printf("Yes, this is bad guy 321"); else if (x322 == findthis) printf("Yes, this is bad guy 322"); else if (x323 == findthis) printf("Yes, this is bad guy 323"); else if (x324 == findthis) printf("Yes, this is bad guy 324"); else if (x325 == findthis) printf("Yes, this is bad guy 325"); else if (x326 == findthis) printf("Yes, this is bad guy 326"); else if (x327 == findthis) printf("Yes, this is bad guy 327"); else if (x328 == findthis) printf("Yes, this is bad guy 328"); else if (x329 == findthis) printf("Yes, this is bad guy 329"); else if (x330 == findthis) printf("Yes, this is bad guy 330"); else if (x331 == findthis) printf("Yes, this is bad guy 331"); else if (x332 == findthis) printf("Yes, this is bad guy 332"); else if (x333 == findthis) printf("Yes, this is bad guy 333"); else if (x334 == findthis) printf("Yes, this is bad guy 334"); else if (x335 == findthis) printf("Yes, this is bad guy 335"); else if (x336 == findthis) printf("Yes, this is bad guy 336"); else if (x337 == findthis) printf("Yes, this is bad guy 337"); else if (x338 == findthis) printf("Yes, this is bad guy 338"); else if (x339 == findthis) printf("Yes, this is bad guy 339"); else if (x340 == findthis) printf("Yes, this is bad guy 340"); else if (x341 == findthis) printf("Yes, this is bad guy 341"); else if (x342 == findthis) printf("Yes, this is bad guy 342"); else if (x343 == findthis) printf("Yes, this is bad guy 343"); else if (x344 == findthis) printf("Yes, this is bad guy 344"); else if (x345 == findthis) printf("Yes, this is bad guy 345"); else if (x346 == findthis) printf("Yes, this is bad guy 346"); else if (x347 == findthis) printf("Yes, this is bad guy 347"); else if (x348 == findthis) printf("Yes, this is bad guy 348"); else if (x349 == findthis) printf("Yes, this is bad guy 349"); else if (x350 == findthis) printf("Yes, this is bad guy 350"); else if (x351 == findthis) printf("Yes, this is bad guy 351"); else if (x352 == findthis) printf("Yes, this is bad guy 352"); else if (x353 == findthis) printf("Yes, this is bad guy 353"); else if (x354 == findthis) printf("Yes, this is bad guy 354"); else if (x355 == findthis) printf("Yes, this is bad guy 355"); else if (x356 == findthis) printf("Yes, this is bad guy 356"); else if (x357 == findthis) printf("Yes, this is bad guy 357"); else if (x358 == findthis) printf("Yes, this is bad guy 358"); else if (x359 == findthis) printf("Yes, this is bad guy 359"); else if (x360 == findthis) printf("Yes, this is bad guy 360"); else if (x361 == findthis) printf("Yes, this is bad guy 361"); else if (x362 == findthis) printf("Yes, this is bad guy 362"); else if (x363 == findthis) printf("Yes, this is bad guy 363"); else if (x364 == findthis) printf("Yes, this is bad guy 364"); else if (x365 == findthis) printf("Yes, this is bad guy 365"); else if (x366 == findthis) printf("Yes, this is bad guy 366"); else if (x367 == findthis) printf("Yes, this is bad guy 367"); else if (x368 == findthis) printf("Yes, this is bad guy 368"); else if (x369 == findthis) printf("Yes, this is bad guy 369"); else if (x370 == findthis) printf("Yes, this is bad guy 370"); else if (x371 == findthis) printf("Yes, this is bad guy 371"); else if (x372 == findthis) printf("Yes, this is bad guy 372"); else if (x373 == findthis) printf("Yes, this is bad guy 373"); else if (x374 == findthis) printf("Yes, this is bad guy 374"); else if (x375 == findthis) printf("Yes, this is bad guy 375"); else if (x376 == findthis) printf("Yes, this is bad guy 376"); else if (x377 == findthis) printf("Yes, this is bad guy 377"); else if (x378 == findthis) printf("Yes, this is bad guy 378"); else if (x379 == findthis) printf("Yes, this is bad guy 379"); else if (x380 == findthis) printf("Yes, this is bad guy 380"); else if (x381 == findthis) printf("Yes, this is bad guy 381"); else if (x382 == findthis) printf("Yes, this is bad guy 382"); else if (x383 == findthis) printf("Yes, this is bad guy 383"); else if (x384 == findthis) printf("Yes, this is bad guy 384"); else if (x385 == findthis) printf("Yes, this is bad guy 385"); else if (x386 == findthis) printf("Yes, this is bad guy 386"); else if (x387 == findthis) printf("Yes, this is bad guy 387"); else if (x388 == findthis) printf("Yes, this is bad guy 388"); else if (x389 == findthis) printf("Yes, this is bad guy 389"); else if (x390 == findthis) printf("Yes, this is bad guy 390"); else if (x391 == findthis) printf("Yes, this is bad guy 391"); else if (x392 == findthis) printf("Yes, this is bad guy 392"); else if (x393 == findthis) printf("Yes, this is bad guy 393"); else if (x394 == findthis) printf("Yes, this is bad guy 394"); else if (x395 == findthis) printf("Yes, this is bad guy 395"); else if (x396 == findthis) printf("Yes, this is bad guy 396"); else if (x397 == findthis) printf("Yes, this is bad guy 397"); else if (x398 == findthis) printf("Yes, this is bad guy 398"); else if (x399 == findthis) printf("Yes, this is bad guy 399"); else if (x400 == findthis) printf("Yes, this is bad guy 400"); else if (x401 == findthis) printf("Yes, this is bad guy 401"); else if (x402 == findthis) printf("Yes, this is bad guy 402"); else if (x403 == findthis) printf("Yes, this is bad guy 403"); else if (x404 == findthis) printf("Yes, this is bad guy 404"); else if (x405 == findthis) printf("Yes, this is bad guy 405"); else if (x406 == findthis) printf("Yes, this is bad guy 406"); else if (x407 == findthis) printf("Yes, this is bad guy 407"); else if (x408 == findthis) printf("Yes, this is bad guy 408"); else if (x409 == findthis) printf("Yes, this is bad guy 409"); else if (x410 == findthis) printf("Yes, this is bad guy 410"); else if (x411 == findthis) printf("Yes, this is bad guy 411"); else if (x412 == findthis) printf("Yes, this is bad guy 412"); else if (x413 == findthis) printf("Yes, this is bad guy 413"); else if (x414 == findthis) printf("Yes, this is bad guy 414"); else if (x415 == findthis) printf("Yes, this is bad guy 415"); else if (x416 == findthis) printf("Yes, this is bad guy 416"); else if (x417 == findthis) printf("Yes, this is bad guy 417"); else if (x418 == findthis) printf("Yes, this is bad guy 418"); else if (x419 == findthis) printf("Yes, this is bad guy 419"); else if (x420 == findthis) printf("Yes, this is bad guy 420"); else if (x421 == findthis) printf("Yes, this is bad guy 421"); else if (x422 == findthis) printf("Yes, this is bad guy 422"); else if (x423 == findthis) printf("Yes, this is bad guy 423"); else if (x424 == findthis) printf("Yes, this is bad guy 424"); else if (x425 == findthis) printf("Yes, this is bad guy 425"); else if (x426 == findthis) printf("Yes, this is bad guy 426"); else if (x427 == findthis) printf("Yes, this is bad guy 427"); else if (x428 == findthis) printf("Yes, this is bad guy 428"); else if (x429 == findthis) printf("Yes, this is bad guy 429"); else if (x430 == findthis) printf("Yes, this is bad guy 430"); else if (x431 == findthis) printf("Yes, this is bad guy 431"); else if (x432 == findthis) printf("Yes, this is bad guy 432"); else if (x433 == findthis) printf("Yes, this is bad guy 433"); else if (x434 == findthis) printf("Yes, this is bad guy 434"); else if (x435 == findthis) printf("Yes, this is bad guy 435"); else if (x436 == findthis) printf("Yes, this is bad guy 436"); else if (x437 == findthis) printf("Yes, this is bad guy 437"); else if (x438 == findthis) printf("Yes, this is bad guy 438"); else if (x439 == findthis) printf("Yes, this is bad guy 439"); else if (x440 == findthis) printf("Yes, this is bad guy 440"); else if (x441 == findthis) printf("Yes, this is bad guy 441"); else if (x442 == findthis) printf("Yes, this is bad guy 442"); else if (x443 == findthis) printf("Yes, this is bad guy 443"); else if (x444 == findthis) printf("Yes, this is bad guy 444"); else if (x445 == findthis) printf("Yes, this is bad guy 445"); else if (x446 == findthis) printf("Yes, this is bad guy 446"); else if (x447 == findthis) printf("Yes, this is bad guy 447"); else if (x448 == findthis) printf("Yes, this is bad guy 448"); else if (x449 == findthis) printf("Yes, this is bad guy 449"); else if (x450 == findthis) printf("Yes, this is bad guy 450"); else if (x451 == findthis) printf("Yes, this is bad guy 451"); else if (x452 == findthis) printf("Yes, this is bad guy 452"); else if (x453 == findthis) printf("Yes, this is bad guy 453"); else if (x454 == findthis) printf("Yes, this is bad guy 454"); else if (x455 == findthis) printf("Yes, this is bad guy 455"); else if (x456 == findthis) printf("Yes, this is bad guy 456"); else if (x457 == findthis) printf("Yes, this is bad guy 457"); else if (x458 == findthis) printf("Yes, this is bad guy 458"); else if (x459 == findthis) printf("Yes, this is bad guy 459"); else if (x460 == findthis) printf("Yes, this is bad guy 460"); else if (x461 == findthis) printf("Yes, this is bad guy 461"); else if (x462 == findthis) printf("Yes, this is bad guy 462"); else if (x463 == findthis) printf("Yes, this is bad guy 463"); else if (x464 == findthis) printf("Yes, this is bad guy 464"); else if (x465 == findthis) printf("Yes, this is bad guy 465"); else if (x466 == findthis) printf("Yes, this is bad guy 466"); else if (x467 == findthis) printf("Yes, this is bad guy 467"); else if (x468 == findthis) printf("Yes, this is bad guy 468"); else if (x469 == findthis) printf("Yes, this is bad guy 469"); else if (x470 == findthis) printf("Yes, this is bad guy 470"); else if (x471 == findthis) printf("Yes, this is bad guy 471"); else if (x472 == findthis) printf("Yes, this is bad guy 472"); else if (x473 == findthis) printf("Yes, this is bad guy 473"); else if (x474 == findthis) printf("Yes, this is bad guy 474"); else if (x475 == findthis) printf("Yes, this is bad guy 475"); else if (x476 == findthis) printf("Yes, this is bad guy 476"); else if (x477 == findthis) printf("Yes, this is bad guy 477"); else if (x478 == findthis) printf("Yes, this is bad guy 478"); else if (x479 == findthis) printf("Yes, this is bad guy 479"); else if (x480 == findthis) printf("Yes, this is bad guy 480"); else if (x481 == findthis) printf("Yes, this is bad guy 481"); else if (x482 == findthis) printf("Yes, this is bad guy 482"); else if (x483 == findthis) printf("Yes, this is bad guy 483"); else if (x484 == findthis) printf("Yes, this is bad guy 484"); else if (x485 == findthis) printf("Yes, this is bad guy 485"); else if (x486 == findthis) printf("Yes, this is bad guy 486"); else if (x487 == findthis) printf("Yes, this is bad guy 487"); else if (x488 == findthis) printf("Yes, this is bad guy 488"); else if (x489 == findthis) printf("Yes, this is bad guy 489"); else if (x490 == findthis) printf("Yes, this is bad guy 490"); else if (x491 == findthis) printf("Yes, this is bad guy 491"); else if (x492 == findthis) printf("Yes, this is bad guy 492"); else if (x493 == findthis) printf("Yes, this is bad guy 493"); else if (x494 == findthis) printf("Yes, this is bad guy 494"); else if (x495 == findthis) printf("Yes, this is bad guy 495"); else if (x496 == findthis) printf("Yes, this is bad guy 496"); else if (x497 == findthis) printf("Yes, this is bad guy 497"); else if (x498 == findthis) printf("Yes, this is bad guy 498"); else if (x499 == findthis) printf("Yes, this is bad guy 499"); else if (x500 == findthis) printf("Yes, this is bad guy 500"); else if (x501 == findthis) printf("Yes, this is bad guy 501"); else if (x502 == findthis) printf("Yes, this is bad guy 502"); else if (x503 == findthis) printf("Yes, this is bad guy 503"); else if (x504 == findthis) printf("Yes, this is bad guy 504"); else if (x505 == findthis) printf("Yes, this is bad guy 505"); else if (x506 == findthis) printf("Yes, this is bad guy 506"); else if (x507 == findthis) printf("Yes, this is bad guy 507"); else if (x508 == findthis) printf("Yes, this is bad guy 508"); else if (x509 == findthis) printf("Yes, this is bad guy 509"); else if (x510 == findthis) printf("Yes, this is bad guy 510"); else if (x511 == findthis) printf("Yes, this is bad guy 511"); else if (x512 == findthis) printf("Yes, this is bad guy 512"); else if (x513 == findthis) printf("Yes, this is bad guy 513"); else if (x514 == findthis) printf("Yes, this is bad guy 514"); else if (x515 == findthis) printf("Yes, this is bad guy 515"); else if (x516 == findthis) printf("Yes, this is bad guy 516"); else if (x517 == findthis) printf("Yes, this is bad guy 517"); else if (x518 == findthis) printf("Yes, this is bad guy 518"); else if (x519 == findthis) printf("Yes, this is bad guy 519"); else if (x520 == findthis) printf("Yes, this is bad guy 520"); else if (x521 == findthis) printf("Yes, this is bad guy 521"); else if (x522 == findthis) printf("Yes, this is bad guy 522"); else if (x523 == findthis) printf("Yes, this is bad guy 523"); else if (x524 == findthis) printf("Yes, this is bad guy 524"); else if (x525 == findthis) printf("Yes, this is bad guy 525"); else if (x526 == findthis) printf("Yes, this is bad guy 526"); else if (x527 == findthis) printf("Yes, this is bad guy 527"); else if (x528 == findthis) printf("Yes, this is bad guy 528"); else if (x529 == findthis) printf("Yes, this is bad guy 529"); else if (x530 == findthis) printf("Yes, this is bad guy 530"); else if (x531 == findthis) printf("Yes, this is bad guy 531"); else if (x532 == findthis) printf("Yes, this is bad guy 532"); else if (x533 == findthis) printf("Yes, this is bad guy 533"); else if (x534 == findthis) printf("Yes, this is bad guy 534"); else if (x535 == findthis) printf("Yes, this is bad guy 535"); else if (x536 == findthis) printf("Yes, this is bad guy 536"); else if (x537 == findthis) printf("Yes, this is bad guy 537"); else if (x538 == findthis) printf("Yes, this is bad guy 538"); else if (x539 == findthis) printf("Yes, this is bad guy 539"); else if (x540 == findthis) printf("Yes, this is bad guy 540"); else if (x541 == findthis) printf("Yes, this is bad guy 541"); else if (x542 == findthis) printf("Yes, this is bad guy 542"); else if (x543 == findthis) printf("Yes, this is bad guy 543"); else if (x544 == findthis) printf("Yes, this is bad guy 544"); else if (x545 == findthis) printf("Yes, this is bad guy 545"); else if (x546 == findthis) printf("Yes, this is bad guy 546"); else if (x547 == findthis) printf("Yes, this is bad guy 547"); else if (x548 == findthis) printf("Yes, this is bad guy 548"); else if (x549 == findthis) printf("Yes, this is bad guy 549"); else if (x550 == findthis) printf("Yes, this is bad guy 550"); else if (x551 == findthis) printf("Yes, this is bad guy 551"); else if (x552 == findthis) printf("Yes, this is bad guy 552"); else if (x553 == findthis) printf("Yes, this is bad guy 553"); else if (x554 == findthis) printf("Yes, this is bad guy 554"); else if (x555 == findthis) printf("Yes, this is bad guy 555"); else if (x556 == findthis) printf("Yes, this is bad guy 556"); else if (x557 == findthis) printf("Yes, this is bad guy 557"); else if (x558 == findthis) printf("Yes, this is bad guy 558"); else if (x559 == findthis) printf("Yes, this is bad guy 559"); else if (x560 == findthis) printf("Yes, this is bad guy 560"); else if (x561 == findthis) printf("Yes, this is bad guy 561"); else if (x562 == findthis) printf("Yes, this is bad guy 562"); else if (x563 == findthis) printf("Yes, this is bad guy 563"); else if (x564 == findthis) printf("Yes, this is bad guy 564"); else if (x565 == findthis) printf("Yes, this is bad guy 565"); else if (x566 == findthis) printf("Yes, this is bad guy 566"); else if (x567 == findthis) printf("Yes, this is bad guy 567"); else if (x568 == findthis) printf("Yes, this is bad guy 568"); else if (x569 == findthis) printf("Yes, this is bad guy 569"); else if (x570 == findthis) printf("Yes, this is bad guy 570"); else if (x571 == findthis) printf("Yes, this is bad guy 571"); else if (x572 == findthis) printf("Yes, this is bad guy 572"); else if (x573 == findthis) printf("Yes, this is bad guy 573"); else if (x574 == findthis) printf("Yes, this is bad guy 574"); else if (x575 == findthis) printf("Yes, this is bad guy 575"); else if (x576 == findthis) printf("Yes, this is bad guy 576"); else if (x577 == findthis) printf("Yes, this is bad guy 577"); else if (x578 == findthis) printf("Yes, this is bad guy 578"); else if (x579 == findthis) printf("Yes, this is bad guy 579"); else if (x580 == findthis) printf("Yes, this is bad guy 580"); else if (x581 == findthis) printf("Yes, this is bad guy 581"); else if (x582 == findthis) printf("Yes, this is bad guy 582"); else if (x583 == findthis) printf("Yes, this is bad guy 583"); else if (x584 == findthis) printf("Yes, this is bad guy 584"); else if (x585 == findthis) printf("Yes, this is bad guy 585"); else if (x586 == findthis) printf("Yes, this is bad guy 586"); else if (x587 == findthis) printf("Yes, this is bad guy 587"); else if (x588 == findthis) printf("Yes, this is bad guy 588"); else if (x589 == findthis) printf("Yes, this is bad guy 589"); else if (x590 == findthis) printf("Yes, this is bad guy 590"); else if (x591 == findthis) printf("Yes, this is bad guy 591"); else if (x592 == findthis) printf("Yes, this is bad guy 592"); else if (x593 == findthis) printf("Yes, this is bad guy 593"); else if (x594 == findthis) printf("Yes, this is bad guy 594"); else if (x595 == findthis) printf("Yes, this is bad guy 595"); else if (x596 == findthis) printf("Yes, this is bad guy 596"); else if (x597 == findthis) printf("Yes, this is bad guy 597"); else if (x598 == findthis) printf("Yes, this is bad guy 598"); else if (x599 == findthis) printf("Yes, this is bad guy 599"); else if (x600 == findthis) printf("Yes, this is bad guy 600"); else if (x601 == findthis) printf("Yes, this is bad guy 601"); else if (x602 == findthis) printf("Yes, this is bad guy 602"); else if (x603 == findthis) printf("Yes, this is bad guy 603"); else if (x604 == findthis) printf("Yes, this is bad guy 604"); else if (x605 == findthis) printf("Yes, this is bad guy 605"); else if (x606 == findthis) printf("Yes, this is bad guy 606"); else if (x607 == findthis) printf("Yes, this is bad guy 607"); else if (x608 == findthis) printf("Yes, this is bad guy 608"); else if (x609 == findthis) printf("Yes, this is bad guy 609"); else if (x610 == findthis) printf("Yes, this is bad guy 610"); else if (x611 == findthis) printf("Yes, this is bad guy 611"); else if (x612 == findthis) printf("Yes, this is bad guy 612"); else if (x613 == findthis) printf("Yes, this is bad guy 613"); else if (x614 == findthis) printf("Yes, this is bad guy 614"); else if (x615 == findthis) printf("Yes, this is bad guy 615"); else if (x616 == findthis) printf("Yes, this is bad guy 616"); else if (x617 == findthis) printf("Yes, this is bad guy 617"); else if (x618 == findthis) printf("Yes, this is bad guy 618"); else if (x619 == findthis) printf("Yes, this is bad guy 619"); else if (x620 == findthis) printf("Yes, this is bad guy 620"); else if (x621 == findthis) printf("Yes, this is bad guy 621"); else if (x622 == findthis) printf("Yes, this is bad guy 622"); else if (x623 == findthis) printf("Yes, this is bad guy 623"); else if (x624 == findthis) printf("Yes, this is bad guy 624"); else if (x625 == findthis) printf("Yes, this is bad guy 625"); else if (x626 == findthis) printf("Yes, this is bad guy 626"); else if (x627 == findthis) printf("Yes, this is bad guy 627"); else if (x628 == findthis) printf("Yes, this is bad guy 628"); else if (x629 == findthis) printf("Yes, this is bad guy 629"); else if (x630 == findthis) printf("Yes, this is bad guy 630"); else if (x631 == findthis) printf("Yes, this is bad guy 631"); else if (x632 == findthis) printf("Yes, this is bad guy 632"); else if (x633 == findthis) printf("Yes, this is bad guy 633"); else if (x634 == findthis) printf("Yes, this is bad guy 634"); else if (x635 == findthis) printf("Yes, this is bad guy 635"); else if (x636 == findthis) printf("Yes, this is bad guy 636"); else if (x637 == findthis) printf("Yes, this is bad guy 637"); else if (x638 == findthis) printf("Yes, this is bad guy 638"); else if (x639 == findthis) printf("Yes, this is bad guy 639"); else if (x640 == findthis) printf("Yes, this is bad guy 640"); else if (x641 == findthis) printf("Yes, this is bad guy 641"); else if (x642 == findthis) printf("Yes, this is bad guy 642"); else if (x643 == findthis) printf("Yes, this is bad guy 643"); else if (x644 == findthis) printf("Yes, this is bad guy 644"); else if (x645 == findthis) printf("Yes, this is bad guy 645"); else if (x646 == findthis) printf("Yes, this is bad guy 646"); else if (x647 == findthis) printf("Yes, this is bad guy 647"); else if (x648 == findthis) printf("Yes, this is bad guy 648"); else if (x649 == findthis) printf("Yes, this is bad guy 649"); else if (x650 == findthis) printf("Yes, this is bad guy 650"); else if (x651 == findthis) printf("Yes, this is bad guy 651"); else if (x652 == findthis) printf("Yes, this is bad guy 652"); else if (x653 == findthis) printf("Yes, this is bad guy 653"); else if (x654 == findthis) printf("Yes, this is bad guy 654"); else if (x655 == findthis) printf("Yes, this is bad guy 655"); else if (x656 == findthis) printf("Yes, this is bad guy 656"); else if (x657 == findthis) printf("Yes, this is bad guy 657"); else if (x658 == findthis) printf("Yes, this is bad guy 658"); else if (x659 == findthis) printf("Yes, this is bad guy 659"); else if (x660 == findthis) printf("Yes, this is bad guy 660"); else if (x661 == findthis) printf("Yes, this is bad guy 661"); else if (x662 == findthis) printf("Yes, this is bad guy 662"); else if (x663 == findthis) printf("Yes, this is bad guy 663"); else if (x664 == findthis) printf("Yes, this is bad guy 664"); else if (x665 == findthis) printf("Yes, this is bad guy 665"); else if (x666 == findthis) printf("Yes, this is bad guy 666"); else if (x667 == findthis) printf("Yes, this is bad guy 667"); else if (x668 == findthis) printf("Yes, this is bad guy 668"); else if (x669 == findthis) printf("Yes, this is bad guy 669"); else if (x670 == findthis) printf("Yes, this is bad guy 670"); else if (x671 == findthis) printf("Yes, this is bad guy 671"); else if (x672 == findthis) printf("Yes, this is bad guy 672"); else if (x673 == findthis) printf("Yes, this is bad guy 673"); else if (x674 == findthis) printf("Yes, this is bad guy 674"); else if (x675 == findthis) printf("Yes, this is bad guy 675"); else if (x676 == findthis) printf("Yes, this is bad guy 676"); else if (x677 == findthis) printf("Yes, this is bad guy 677"); else if (x678 == findthis) printf("Yes, this is bad guy 678"); else if (x679 == findthis) printf("Yes, this is bad guy 679"); else if (x680 == findthis) printf("Yes, this is bad guy 680"); else if (x681 == findthis) printf("Yes, this is bad guy 681"); else if (x682 == findthis) printf("Yes, this is bad guy 682"); else if (x683 == findthis) printf("Yes, this is bad guy 683"); else if (x684 == findthis) printf("Yes, this is bad guy 684"); else if (x685 == findthis) printf("Yes, this is bad guy 685"); else if (x686 == findthis) printf("Yes, this is bad guy 686"); else if (x687 == findthis) printf("Yes, this is bad guy 687"); else if (x688 == findthis) printf("Yes, this is bad guy 688"); else if (x689 == findthis) printf("Yes, this is bad guy 689"); else if (x690 == findthis) printf("Yes, this is bad guy 690"); else if (x691 == findthis) printf("Yes, this is bad guy 691"); else if (x692 == findthis) printf("Yes, this is bad guy 692"); else if (x693 == findthis) printf("Yes, this is bad guy 693"); else if (x694 == findthis) printf("Yes, this is bad guy 694"); else if (x695 == findthis) printf("Yes, this is bad guy 695"); else if (x696 == findthis) printf("Yes, this is bad guy 696"); else if (x697 == findthis) printf("Yes, this is bad guy 697"); else if (x698 == findthis) printf("Yes, this is bad guy 698"); else if (x699 == findthis) printf("Yes, this is bad guy 699"); else if (x700 == findthis) printf("Yes, this is bad guy 700"); else if (x701 == findthis) printf("Yes, this is bad guy 701"); else if (x702 == findthis) printf("Yes, this is bad guy 702"); else if (x703 == findthis) printf("Yes, this is bad guy 703"); else if (x704 == findthis) printf("Yes, this is bad guy 704"); else if (x705 == findthis) printf("Yes, this is bad guy 705"); else if (x706 == findthis) printf("Yes, this is bad guy 706"); else if (x707 == findthis) printf("Yes, this is bad guy 707"); else if (x708 == findthis) printf("Yes, this is bad guy 708"); else if (x709 == findthis) printf("Yes, this is bad guy 709"); else if (x710 == findthis) printf("Yes, this is bad guy 710"); else if (x711 == findthis) printf("Yes, this is bad guy 711"); else if (x712 == findthis) printf("Yes, this is bad guy 712"); else if (x713 == findthis) printf("Yes, this is bad guy 713"); else if (x714 == findthis) printf("Yes, this is bad guy 714"); else if (x715 == findthis) printf("Yes, this is bad guy 715"); else if (x716 == findthis) printf("Yes, this is bad guy 716"); else if (x717 == findthis) printf("Yes, this is bad guy 717"); else if (x718 == findthis) printf("Yes, this is bad guy 718"); else if (x719 == findthis) printf("Yes, this is bad guy 719"); else if (x720 == findthis) printf("Yes, this is bad guy 720"); else if (x721 == findthis) printf("Yes, this is bad guy 721"); else if (x722 == findthis) printf("Yes, this is bad guy 722"); else if (x723 == findthis) printf("Yes, this is bad guy 723"); else if (x724 == findthis) printf("Yes, this is bad guy 724"); else if (x725 == findthis) printf("Yes, this is bad guy 725"); else if (x726 == findthis) printf("Yes, this is bad guy 726"); else if (x727 == findthis) printf("Yes, this is bad guy 727"); else if (x728 == findthis) printf("Yes, this is bad guy 728"); else if (x729 == findthis) printf("Yes, this is bad guy 729"); else if (x730 == findthis) printf("Yes, this is bad guy 730"); else if (x731 == findthis) printf("Yes, this is bad guy 731"); else if (x732 == findthis) printf("Yes, this is bad guy 732"); else if (x733 == findthis) printf("Yes, this is bad guy 733"); else if (x734 == findthis) printf("Yes, this is bad guy 734"); else if (x735 == findthis) printf("Yes, this is bad guy 735"); else if (x736 == findthis) printf("Yes, this is bad guy 736"); else if (x737 == findthis) printf("Yes, this is bad guy 737"); else if (x738 == findthis) printf("Yes, this is bad guy 738"); else if (x739 == findthis) printf("Yes, this is bad guy 739"); else if (x740 == findthis) printf("Yes, this is bad guy 740"); else if (x741 == findthis) printf("Yes, this is bad guy 741"); else if (x742 == findthis) printf("Yes, this is bad guy 742"); else if (x743 == findthis) printf("Yes, this is bad guy 743"); else if (x744 == findthis) printf("Yes, this is bad guy 744"); else if (x745 == findthis) printf("Yes, this is bad guy 745"); else if (x746 == findthis) printf("Yes, this is bad guy 746"); else if (x747 == findthis) printf("Yes, this is bad guy 747"); else if (x748 == findthis) printf("Yes, this is bad guy 748"); else if (x749 == findthis) printf("Yes, this is bad guy 749"); else if (x750 == findthis) printf("Yes, this is bad guy 750"); else if (x751 == findthis) printf("Yes, this is bad guy 751"); else if (x752 == findthis) printf("Yes, this is bad guy 752"); else if (x753 == findthis) printf("Yes, this is bad guy 753"); else if (x754 == findthis) printf("Yes, this is bad guy 754"); else if (x755 == findthis) printf("Yes, this is bad guy 755"); else if (x756 == findthis) printf("Yes, this is bad guy 756"); else if (x757 == findthis) printf("Yes, this is bad guy 757"); else if (x758 == findthis) printf("Yes, this is bad guy 758"); else if (x759 == findthis) printf("Yes, this is bad guy 759"); else if (x760 == findthis) printf("Yes, this is bad guy 760"); else if (x761 == findthis) printf("Yes, this is bad guy 761"); else if (x762 == findthis) printf("Yes, this is bad guy 762"); else if (x763 == findthis) printf("Yes, this is bad guy 763"); else if (x764 == findthis) printf("Yes, this is bad guy 764"); else if (x765 == findthis) printf("Yes, this is bad guy 765"); else if (x766 == findthis) printf("Yes, this is bad guy 766"); else if (x767 == findthis) printf("Yes, this is bad guy 767"); else if (x768 == findthis) printf("Yes, this is bad guy 768"); else if (x769 == findthis) printf("Yes, this is bad guy 769"); else if (x770 == findthis) printf("Yes, this is bad guy 770"); else if (x771 == findthis) printf("Yes, this is bad guy 771"); else if (x772 == findthis) printf("Yes, this is bad guy 772"); else if (x773 == findthis) printf("Yes, this is bad guy 773"); else if (x774 == findthis) printf("Yes, this is bad guy 774"); else if (x775 == findthis) printf("Yes, this is bad guy 775"); else if (x776 == findthis) printf("Yes, this is bad guy 776"); else if (x777 == findthis) printf("Yes, this is bad guy 777"); else if (x778 == findthis) printf("Yes, this is bad guy 778"); else if (x779 == findthis) printf("Yes, this is bad guy 779"); else if (x780 == findthis) printf("Yes, this is bad guy 780"); else if (x781 == findthis) printf("Yes, this is bad guy 781"); else if (x782 == findthis) printf("Yes, this is bad guy 782"); else if (x783 == findthis) printf("Yes, this is bad guy 783"); else if (x784 == findthis) printf("Yes, this is bad guy 784"); else if (x785 == findthis) printf("Yes, this is bad guy 785"); else if (x786 == findthis) printf("Yes, this is bad guy 786"); else if (x787 == findthis) printf("Yes, this is bad guy 787"); else if (x788 == findthis) printf("Yes, this is bad guy 788"); else if (x789 == findthis) printf("Yes, this is bad guy 789"); else if (x790 == findthis) printf("Yes, this is bad guy 790"); else if (x791 == findthis) printf("Yes, this is bad guy 791"); else if (x792 == findthis) printf("Yes, this is bad guy 792"); else if (x793 == findthis) printf("Yes, this is bad guy 793"); else if (x794 == findthis) printf("Yes, this is bad guy 794"); else if (x795 == findthis) printf("Yes, this is bad guy 795"); else if (x796 == findthis) printf("Yes, this is bad guy 796"); else if (x797 == findthis) printf("Yes, this is bad guy 797"); else if (x798 == findthis) printf("Yes, this is bad guy 798"); else if (x799 == findthis) printf("Yes, this is bad guy 799"); else if (x800 == findthis) printf("Yes, this is bad guy 800"); else if (x801 == findthis) printf("Yes, this is bad guy 801"); else if (x802 == findthis) printf("Yes, this is bad guy 802"); else if (x803 == findthis) printf("Yes, this is bad guy 803"); else if (x804 == findthis) printf("Yes, this is bad guy 804"); else if (x805 == findthis) printf("Yes, this is bad guy 805"); else if (x806 == findthis) printf("Yes, this is bad guy 806"); else if (x807 == findthis) printf("Yes, this is bad guy 807"); else if (x808 == findthis) printf("Yes, this is bad guy 808"); else if (x809 == findthis) printf("Yes, this is bad guy 809"); else if (x810 == findthis) printf("Yes, this is bad guy 810"); else if (x811 == findthis) printf("Yes, this is bad guy 811"); else if (x812 == findthis) printf("Yes, this is bad guy 812"); else if (x813 == findthis) printf("Yes, this is bad guy 813"); else if (x814 == findthis) printf("Yes, this is bad guy 814"); else if (x815 == findthis) printf("Yes, this is bad guy 815"); else if (x816 == findthis) printf("Yes, this is bad guy 816"); else if (x817 == findthis) printf("Yes, this is bad guy 817"); else if (x818 == findthis) printf("Yes, this is bad guy 818"); else if (x819 == findthis) printf("Yes, this is bad guy 819"); else if (x820 == findthis) printf("Yes, this is bad guy 820"); else if (x821 == findthis) printf("Yes, this is bad guy 821"); else if (x822 == findthis) printf("Yes, this is bad guy 822"); else if (x823 == findthis) printf("Yes, this is bad guy 823"); else if (x824 == findthis) printf("Yes, this is bad guy 824"); else if (x825 == findthis) printf("Yes, this is bad guy 825"); else if (x826 == findthis) printf("Yes, this is bad guy 826"); else if (x827 == findthis) printf("Yes, this is bad guy 827"); else if (x828 == findthis) printf("Yes, this is bad guy 828"); else if (x829 == findthis) printf("Yes, this is bad guy 829"); else if (x830 == findthis) printf("Yes, this is bad guy 830"); else if (x831 == findthis) printf("Yes, this is bad guy 831"); else if (x832 == findthis) printf("Yes, this is bad guy 832"); else if (x833 == findthis) printf("Yes, this is bad guy 833"); else if (x834 == findthis) printf("Yes, this is bad guy 834"); else if (x835 == findthis) printf("Yes, this is bad guy 835"); else if (x836 == findthis) printf("Yes, this is bad guy 836"); else if (x837 == findthis) printf("Yes, this is bad guy 837"); else if (x838 == findthis) printf("Yes, this is bad guy 838"); else if (x839 == findthis) printf("Yes, this is bad guy 839"); else if (x840 == findthis) printf("Yes, this is bad guy 840"); else if (x841 == findthis) printf("Yes, this is bad guy 841"); else if (x842 == findthis) printf("Yes, this is bad guy 842"); else if (x843 == findthis) printf("Yes, this is bad guy 843"); else if (x844 == findthis) printf("Yes, this is bad guy 844"); else if (x845 == findthis) printf("Yes, this is bad guy 845"); else if (x846 == findthis) printf("Yes, this is bad guy 846"); else if (x847 == findthis) printf("Yes, this is bad guy 847"); else if (x848 == findthis) printf("Yes, this is bad guy 848"); else if (x849 == findthis) printf("Yes, this is bad guy 849"); else if (x850 == findthis) printf("Yes, this is bad guy 850"); else if (x851 == findthis) printf("Yes, this is bad guy 851"); else if (x852 == findthis) printf("Yes, this is bad guy 852"); else if (x853 == findthis) printf("Yes, this is bad guy 853"); else if (x854 == findthis) printf("Yes, this is bad guy 854"); else if (x855 == findthis) printf("Yes, this is bad guy 855"); else if (x856 == findthis) printf("Yes, this is bad guy 856"); else if (x857 == findthis) printf("Yes, this is bad guy 857"); else if (x858 == findthis) printf("Yes, this is bad guy 858"); else if (x859 == findthis) printf("Yes, this is bad guy 859"); else if (x860 == findthis) printf("Yes, this is bad guy 860"); else if (x861 == findthis) printf("Yes, this is bad guy 861"); else if (x862 == findthis) printf("Yes, this is bad guy 862"); else if (x863 == findthis) printf("Yes, this is bad guy 863"); else if (x864 == findthis) printf("Yes, this is bad guy 864"); else if (x865 == findthis) printf("Yes, this is bad guy 865"); else if (x866 == findthis) printf("Yes, this is bad guy 866"); else if (x867 == findthis) printf("Yes, this is bad guy 867"); else if (x868 == findthis) printf("Yes, this is bad guy 868"); else if (x869 == findthis) printf("Yes, this is bad guy 869"); else if (x870 == findthis) printf("Yes, this is bad guy 870"); else if (x871 == findthis) printf("Yes, this is bad guy 871"); else if (x872 == findthis) printf("Yes, this is bad guy 872"); else if (x873 == findthis) printf("Yes, this is bad guy 873"); else if (x874 == findthis) printf("Yes, this is bad guy 874"); else if (x875 == findthis) printf("Yes, this is bad guy 875"); else if (x876 == findthis) printf("Yes, this is bad guy 876"); else if (x877 == findthis) printf("Yes, this is bad guy 877"); else if (x878 == findthis) printf("Yes, this is bad guy 878"); else if (x879 == findthis) printf("Yes, this is bad guy 879"); else if (x880 == findthis) printf("Yes, this is bad guy 880"); else if (x881 == findthis) printf("Yes, this is bad guy 881"); else if (x882 == findthis) printf("Yes, this is bad guy 882"); else if (x883 == findthis) printf("Yes, this is bad guy 883"); else if (x884 == findthis) printf("Yes, this is bad guy 884"); else if (x885 == findthis) printf("Yes, this is bad guy 885"); else if (x886 == findthis) printf("Yes, this is bad guy 886"); else if (x887 == findthis) printf("Yes, this is bad guy 887"); else if (x888 == findthis) printf("Yes, this is bad guy 888"); else if (x889 == findthis) printf("Yes, this is bad guy 889"); else if (x890 == findthis) printf("Yes, this is bad guy 890"); else if (x891 == findthis) printf("Yes, this is bad guy 891"); else if (x892 == findthis) printf("Yes, this is bad guy 892"); else if (x893 == findthis) printf("Yes, this is bad guy 893"); else if (x894 == findthis) printf("Yes, this is bad guy 894"); else if (x895 == findthis) printf("Yes, this is bad guy 895"); else if (x896 == findthis) printf("Yes, this is bad guy 896"); else if (x897 == findthis) printf("Yes, this is bad guy 897"); else if (x898 == findthis) printf("Yes, this is bad guy 898"); else if (x899 == findthis) printf("Yes, this is bad guy 899"); else if (x900 == findthis) printf("Yes, this is bad guy 900"); else if (x901 == findthis) printf("Yes, this is bad guy 901"); else if (x902 == findthis) printf("Yes, this is bad guy 902"); else if (x903 == findthis) printf("Yes, this is bad guy 903"); else if (x904 == findthis) printf("Yes, this is bad guy 904"); else if (x905 == findthis) printf("Yes, this is bad guy 905"); else if (x906 == findthis) printf("Yes, this is bad guy 906"); else if (x907 == findthis) printf("Yes, this is bad guy 907"); else if (x908 == findthis) printf("Yes, this is bad guy 908"); else if (x909 == findthis) printf("Yes, this is bad guy 909"); else if (x910 == findthis) printf("Yes, this is bad guy 910"); else if (x911 == findthis) printf("Yes, this is bad guy 911"); else if (x912 == findthis) printf("Yes, this is bad guy 912"); else if (x913 == findthis) printf("Yes, this is bad guy 913"); else if (x914 == findthis) printf("Yes, this is bad guy 914"); else if (x915 == findthis) printf("Yes, this is bad guy 915"); else if (x916 == findthis) printf("Yes, this is bad guy 916"); else if (x917 == findthis) printf("Yes, this is bad guy 917"); else if (x918 == findthis) printf("Yes, this is bad guy 918"); else if (x919 == findthis) printf("Yes, this is bad guy 919"); else if (x920 == findthis) printf("Yes, this is bad guy 920"); else if (x921 == findthis) printf("Yes, this is bad guy 921"); else if (x922 == findthis) printf("Yes, this is bad guy 922"); else if (x923 == findthis) printf("Yes, this is bad guy 923"); else if (x924 == findthis) printf("Yes, this is bad guy 924"); else if (x925 == findthis) printf("Yes, this is bad guy 925"); else if (x926 == findthis) printf("Yes, this is bad guy 926"); else if (x927 == findthis) printf("Yes, this is bad guy 927"); else if (x928 == findthis) printf("Yes, this is bad guy 928"); else if (x929 == findthis) printf("Yes, this is bad guy 929"); else if (x930 == findthis) printf("Yes, this is bad guy 930"); else if (x931 == findthis) printf("Yes, this is bad guy 931"); else if (x932 == findthis) printf("Yes, this is bad guy 932"); else if (x933 == findthis) printf("Yes, this is bad guy 933"); else if (x934 == findthis) printf("Yes, this is bad guy 934"); else if (x935 == findthis) printf("Yes, this is bad guy 935"); else if (x936 == findthis) printf("Yes, this is bad guy 936"); else if (x937 == findthis) printf("Yes, this is bad guy 937"); else if (x938 == findthis) printf("Yes, this is bad guy 938"); else if (x939 == findthis) printf("Yes, this is bad guy 939"); else if (x940 == findthis) printf("Yes, this is bad guy 940"); else if (x941 == findthis) printf("Yes, this is bad guy 941"); else if (x942 == findthis) printf("Yes, this is bad guy 942"); else if (x943 == findthis) printf("Yes, this is bad guy 943"); else if (x944 == findthis) printf("Yes, this is bad guy 944"); else if (x945 == findthis) printf("Yes, this is bad guy 945"); else if (x946 == findthis) printf("Yes, this is bad guy 946"); else if (x947 == findthis) printf("Yes, this is bad guy 947"); else if (x948 == findthis) printf("Yes, this is bad guy 948"); else if (x949 == findthis) printf("Yes, this is bad guy 949"); else if (x950 == findthis) printf("Yes, this is bad guy 950"); else if (x951 == findthis) printf("Yes, this is bad guy 951"); else if (x952 == findthis) printf("Yes, this is bad guy 952"); else if (x953 == findthis) printf("Yes, this is bad guy 953"); else if (x954 == findthis) printf("Yes, this is bad guy 954"); else if (x955 == findthis) printf("Yes, this is bad guy 955"); else if (x956 == findthis) printf("Yes, this is bad guy 956"); else if (x957 == findthis) printf("Yes, this is bad guy 957"); else if (x958 == findthis) printf("Yes, this is bad guy 958"); else if (x959 == findthis) printf("Yes, this is bad guy 959"); else if (x960 == findthis) printf("Yes, this is bad guy 960"); else if (x961 == findthis) printf("Yes, this is bad guy 961"); else if (x962 == findthis) printf("Yes, this is bad guy 962"); else if (x963 == findthis) printf("Yes, this is bad guy 963"); else if (x964 == findthis) printf("Yes, this is bad guy 964"); else if (x965 == findthis) printf("Yes, this is bad guy 965"); else if (x966 == findthis) printf("Yes, this is bad guy 966"); else if (x967 == findthis) printf("Yes, this is bad guy 967"); else if (x968 == findthis) printf("Yes, this is bad guy 968"); else if (x969 == findthis) printf("Yes, this is bad guy 969"); else if (x970 == findthis) printf("Yes, this is bad guy 970"); else if (x971 == findthis) printf("Yes, this is bad guy 971"); else if (x972 == findthis) printf("Yes, this is bad guy 972"); else if (x973 == findthis) printf("Yes, this is bad guy 973"); else if (x974 == findthis) printf("Yes, this is bad guy 974"); else if (x975 == findthis) printf("Yes, this is bad guy 975"); else if (x976 == findthis) printf("Yes, this is bad guy 976"); else if (x977 == findthis) printf("Yes, this is bad guy 977"); else if (x978 == findthis) printf("Yes, this is bad guy 978"); else if (x979 == findthis) printf("Yes, this is bad guy 979"); else if (x980 == findthis) printf("Yes, this is bad guy 980"); else if (x981 == findthis) printf("Yes, this is bad guy 981"); else if (x982 == findthis) printf("Yes, this is bad guy 982"); else if (x983 == findthis) printf("Yes, this is bad guy 983"); else if (x984 == findthis) printf("Yes, this is bad guy 984"); else if (x985 == findthis) printf("Yes, this is bad guy 985"); else if (x986 == findthis) printf("Yes, this is bad guy 986"); else if (x987 == findthis) printf("Yes, this is bad guy 987"); else if (x988 == findthis) printf("Yes, this is bad guy 988"); else if (x989 == findthis) printf("Yes, this is bad guy 989"); else if (x990 == findthis) printf("Yes, this is bad guy 990"); else if (x991 == findthis) printf("Yes, this is bad guy 991"); else if (x992 == findthis) printf("Yes, this is bad guy 992"); else if (x993 == findthis) printf("Yes, this is bad guy 993"); else if (x994 == findthis) printf("Yes, this is bad guy 994"); else if (x995 == findthis) printf("Yes, this is bad guy 995"); else if (x996 == findthis) printf("Yes, this is bad guy 996"); else if (x997 == findthis) printf("Yes, this is bad guy 997"); else if (x998 == findthis) printf("Yes, this is bad guy 998"); else if (x999 == findthis) printf("Yes, this is bad guy 999"); else if (x1000 == findthis) printf("Yes, this is bad guy 1000"); else printf("OK, this guy is not a bad guy"); return 0;}