text: 
  int do_000() { return 0; }
  int do_001() { return 1; }
  int do_002() { return 2; }
  int do_003() { return 3; }
  int do_004() { return 4; }
  int do_005() { return 5; }
  int do_006() { return 6; }
  int do_007() { return 7; }
  int do_008() { return 8; }
  int do_009() { return 9; }
  int do_010() { return 10; }
  int do_011() { return 11; }
  int do_012() { return 12; }
  int do_013() { return 13; }
  int do_014() { return 14; }
  int do_015() { return 15; }
  int do_016() { return 16; }
  int do_017() { return 17; }
  int do_018() { return 18; }
  int do_019() { return 19; }
  int do_020() { return 20; }
  int do_021() { return 21; }
  int do_022() { return 22; }
  int do_023() { return 23; }
  int do_024() { return 24; }
  int do_025() { return 25; }
  int do_026() { return 26; }
  int do_027() { return 27; }
  int do_028() { return 28; }
  int do_029() { return 29; }
  int do_030() { return 30; }
  int do_031() { return 31; }
  int do_032() { return 32; }
  int do_033() { return 33; }
  int do_034() { return 34; }
  int do_035() { return 35; }
  int do_036() { return 36; }
  int do_037() { return 37; }
  int do_038() { return 38; }
  int do_039() { return 39; }
  int do_040() { return 40; }
  int do_041() { return 41; }
  int do_042() { return 42; }
  int do_043() { return 43; }
  int do_044() { return 44; }
  int do_045() { return 45; }
  int do_046() { return 46; }
  int do_047() { return 47; }
  int do_048() { return 48; }
  int do_049() { return 49; }
  int do_050() { return 50; }
  int do_051() { return 51; }
  int do_052() { return 52; }
  int do_053() { return 53; }
  int do_054() { return 54; }
  int do_055() { return 55; }
  int do_056() { return 56; }
  int do_057() { return 57; }
  int do_058() { return 58; }
  int do_059() { return 59; }
  int do_060() { return 60; }
  int do_061() { return 61; }
  int do_062() { return 62; }
  int do_063() { return 63; }
  int do_064() { return 64; }
  int do_065() { return 65; }
  int do_066() { return 66; }
  int do_067() { return 67; }
  int do_068() { return 68; }
  int do_069() { return 69; }
  int do_070() { return 70; }
  int do_071() { return 71; }
  int do_072() { return 72; }
  int do_073() { return 73; }
  int do_074() { return 74; }
  int do_075() { return 75; }
  int do_076() { return 76; }
  int do_077() { return 77; }
  int do_078() { return 78; }
  int do_079() { return 79; }
  int do_080() { return 80; }
  int do_081() { return 81; }
  int do_082() { return 82; }
  int do_083() { return 83; }
  int do_084() { return 84; }
  int do_085() { return 85; }
  int do_086() { return 86; }
  int do_087() { return 87; }
  int do_088() { return 88; }
  int do_089() { return 89; }
  int do_090() { return 90; }
  int do_091() { return 91; }
  int do_092() { return 92; }
  int do_093() { return 93; }
  int do_094() { return 94; }
  int do_095() { return 95; }
  int do_096() { return 96; }
  int do_097() { return 97; }
  int do_098() { return 98; }
  int do_099() { return 99; }
  int do_100() { return 100; }
  int do_101() { return 101; }
  int do_102() { return 102; }
  int do_103() { return 103; }
  int do_104() { return 104; }
  int do_105() { return 105; }
  int do_106() { return 106; }
  int do_107() { return 107; }
  int do_108() { return 108; }
  int do_109() { return 109; }
  int do_110() { return 110; }
  int do_111() { return 111; }
  int do_112() { return 112; }
  int do_113() { return 113; }
  int do_114() { return 114; }
  int do_115() { return 115; }
  int do_116() { return 116; }
  int do_117() { return 117; }
  int do_118() { return 118; }
  int do_119() { return 119; }
  int do_120() { return 120; }
  int do_121() { return 121; }
  int do_122() { return 122; }
  int do_123() { return 123; }
  int do_124() { return 124; }
  int do_125() { return 125; }
  int do_126() { return 126; }
  int do_127() { return 127; }
  int do_128() { return 128; }
  int do_129() { return 129; }
  int do_130() { return 130; }
  int do_131() { return 131; }
  int do_132() { return 132; }
  int do_133() { return 133; }
  int do_134() { return 134; }
  int do_135() { return 135; }
  int do_136() { return 136; }
  int do_137() { return 137; }
  int do_138() { return 138; }
  int do_139() { return 139; }
  int do_140() { return 140; }
  int do_141() { return 141; }
  int do_142() { return 142; }
  int do_143() { return 143; }
  int do_144() { return 144; }
  int do_145() { return 145; }
  int do_146() { return 146; }
  int do_147() { return 147; }
  int do_148() { return 148; }
  int do_149() { return 149; }
  int do_150() { return 150; }
  int do_151() { return 151; }
  int do_152() { return 152; }
  int do_153() { return 153; }
  int do_154() { return 154; }
  int do_155() { return 155; }
  int do_156() { return 156; }
  int do_157() { return 157; }
  int do_158() { return 158; }
  int do_159() { return 159; }
  int do_160() { return 160; }
  int do_161() { return 161; }
  int do_162() { return 162; }
  int do_163() { return 163; }
  int do_164() { return 164; }
  int do_165() { return 165; }
  int do_166() { return 166; }
  int do_167() { return 167; }
  int do_168() { return 168; }
  int do_169() { return 169; }
  int do_170() { return 170; }
  int do_171() { return 171; }
  int do_172() { return 172; }
  int do_173() { return 173; }
  int do_174() { return 174; }
  int do_175() { return 175; }
  int do_176() { return 176; }
  int do_177() { return 177; }
  int do_178() { return 178; }
  int do_179() { return 179; }
  int do_180() { return 180; }
  int do_181() { return 181; }
  int do_182() { return 182; }
  int do_183() { return 183; }
  int do_184() { return 184; }
  int do_185() { return 185; }
  int do_186() { return 186; }
  int do_187() { return 187; }
  int do_188() { return 188; }
  int do_189() { return 189; }
  int do_190() { return 190; }
  int do_191() { return 191; }
  int do_192() { return 192; }
  int do_193() { return 193; }
  int do_194() { return 194; }
  int do_195() { return 195; }
  int do_196() { return 196; }
  int do_197() { return 197; }
  int do_198() { return 198; }
  int do_199() { return 199; }
  int do_200() { return 200; }
  int do_201() { return 201; }
  int do_202() { return 202; }
  int do_203() { return 203; }
  int do_204() { return 204; }
  int do_205() { return 205; }
  int do_206() { return 206; }
  int do_207() { return 207; }
  int do_208() { return 208; }
  int do_209() { return 209; }
  int do_210() { return 210; }
  int do_211() { return 211; }
  int do_212() { return 212; }
  int do_213() { return 213; }
  int do_214() { return 214; }
  int do_215() { return 215; }
  int do_216() { return 216; }
  int do_217() { return 217; }
  int do_218() { return 218; }
  int do_219() { return 219; }
  int do_220() { return 220; }
  int do_221() { return 221; }
  int do_222() { return 222; }
  int do_223() { return 223; }
  int do_224() { return 224; }
  int do_225() { return 225; }
  int do_226() { return 226; }
  int do_227() { return 227; }
  int do_228() { return 228; }
  int do_229() { return 229; }
  int do_230() { return 230; }
  int do_231() { return 231; }
  int do_232() { return 232; }
  int do_233() { return 233; }
  int do_234() { return 234; }
  int do_235() { return 235; }
  int do_236() { return 236; }
  int do_237() { return 237; }
  int do_238() { return 238; }
  int do_239() { return 239; }
  int do_240() { return 240; }
  int do_241() { return 241; }
  int do_242() { return 242; }
  int do_243() { return 243; }
  int do_244() { return 244; }
  int do_245() { return 245; }
  int do_246() { return 246; }
  int do_247() { return 247; }
  int do_248() { return 248; }
  int do_249() { return 249; }
  int do_250() { return 250; }
  int do_251() { return 251; }
  int do_252() { return 252; }
  int do_253() { return 253; }
  int do_254() { return 254; }
  int do_255() { return 255; }
  int do_256() { return 256; }
  int do_257() { return 257; }
  int do_258() { return 258; }
  int do_259() { return 259; }
  int do_260() { return 260; }
  int do_261() { return 261; }
  int do_262() { return 262; }
  int do_263() { return 263; }
  int do_264() { return 264; }
  int do_265() { return 265; }
  int do_266() { return 266; }
  int do_267() { return 267; }
  int do_268() { return 268; }
  int do_269() { return 269; }
  int do_270() { return 270; }
  int do_271() { return 271; }
  int do_272() { return 272; }
  int do_273() { return 273; }
  int do_274() { return 274; }
  int do_275() { return 275; }
  int do_276() { return 276; }
  int do_277() { return 277; }
  int do_278() { return 278; }
  int do_279() { return 279; }
  int do_280() { return 280; }
  int do_281() { return 281; }
  int do_282() { return 282; }
  int do_283() { return 283; }
  int do_284() { return 284; }
  int do_285() { return 285; }
  int do_286() { return 286; }
  int do_287() { return 287; }
  int do_288() { return 288; }
  int do_289() { return 289; }
  int do_290() { return 290; }
  int do_291() { return 291; }
  int do_292() { return 292; }
  int do_293() { return 293; }
  int do_294() { return 294; }
  int do_295() { return 295; }
  int do_296() { return 296; }
  int do_297() { return 297; }
  int do_298() { return 298; }
  int do_299() { return 299; }
  int do_300() { return 300; }
  int do_301() { return 301; }
  int do_302() { return 302; }
  int do_303() { return 303; }
  int do_304() { return 304; }
  int do_305() { return 305; }
  int do_306() { return 306; }
  int do_307() { return 307; }
  int do_308() { return 308; }
  int do_309() { return 309; }
  int do_310() { return 310; }
  int do_311() { return 311; }
  int do_312() { return 312; }
  int do_313() { return 313; }
  int do_314() { return 314; }
  int do_315() { return 315; }
  int do_316() { return 316; }
  int do_317() { return 317; }
  int do_318() { return 318; }
  int do_319() { return 319; }
  int do_320() { return 320; }
  int do_321() { return 321; }
  int do_322() { return 322; }
  int do_323() { return 323; }
  int do_324() { return 324; }
  int do_325() { return 325; }
  int do_326() { return 326; }
  int do_327() { return 327; }
  int do_328() { return 328; }
  int do_329() { return 329; }
  int do_330() { return 330; }
  int do_331() { return 331; }
  int do_332() { return 332; }
  int do_333() { return 333; }
  int do_334() { return 334; }
  int do_335() { return 335; }
  int do_336() { return 336; }
  int do_337() { return 337; }
  int do_338() { return 338; }
  int do_339() { return 339; }
  int do_340() { return 340; }
  int do_341() { return 341; }
  int do_342() { return 342; }
  int do_343() { return 343; }
  int do_344() { return 344; }
  int do_345() { return 345; }
  int do_346() { return 346; }
  int do_347() { return 347; }
  int do_348() { return 348; }
  int do_349() { return 349; }
  int do_350() { return 350; }
  int do_351() { return 351; }
  int do_352() { return 352; }
  int do_353() { return 353; }
  int do_354() { return 354; }
  int do_355() { return 355; }
  int do_356() { return 356; }
  int do_357() { return 357; }
  int do_358() { return 358; }
  int do_359() { return 359; }
  int do_360() { return 360; }
  int do_361() { return 361; }
  int do_362() { return 362; }
  int do_363() { return 363; }
  int do_364() { return 364; }
  int do_365() { return 365; }
  int do_366() { return 366; }
  int do_367() { return 367; }
  int do_368() { return 368; }
  int do_369() { return 369; }
  int do_370() { return 370; }
  int do_371() { return 371; }
  int do_372() { return 372; }
  int do_373() { return 373; }
  int do_374() { return 374; }
  int do_375() { return 375; }
  int do_376() { return 376; }
  int do_377() { return 377; }
  int do_378() { return 378; }
  int do_379() { return 379; }
  int do_380() { return 380; }
  int do_381() { return 381; }
  int do_382() { return 382; }
  int do_383() { return 383; }
  int do_384() { return 384; }
  int do_385() { return 385; }
  int do_386() { return 386; }
  int do_387() { return 387; }
  int do_388() { return 388; }
  int do_389() { return 389; }
  int do_390() { return 390; }
  int do_391() { return 391; }
  int do_392() { return 392; }
  int do_393() { return 393; }
  int do_394() { return 394; }
  int do_395() { return 395; }
  int do_396() { return 396; }
  int do_397() { return 397; }
  int do_398() { return 398; }
  int do_399() { return 399; }
  int do_400() { return 400; }
  int do_401() { return 401; }
  int do_402() { return 402; }
  int do_403() { return 403; }
  int do_404() { return 404; }
  int do_405() { return 405; }
  int do_406() { return 406; }
  int do_407() { return 407; }
  int do_408() { return 408; }
  int do_409() { return 409; }
  int do_410() { return 410; }
  int do_411() { return 411; }
  int do_412() { return 412; }
  int do_413() { return 413; }
  int do_414() { return 414; }
  int do_415() { return 415; }
  int do_416() { return 416; }
  int do_417() { return 417; }
  int do_418() { return 418; }
  int do_419() { return 419; }
  int do_420() { return 420; }
  int do_421() { return 421; }
  int do_422() { return 422; }
  int do_423() { return 423; }
  int do_424() { return 424; }
  int do_425() { return 425; }
  int do_426() { return 426; }
  int do_427() { return 427; }
  int do_428() { return 428; }
  int do_429() { return 429; }
  int do_430() { return 430; }
  int do_431() { return 431; }
  int do_432() { return 432; }
  int do_433() { return 433; }
  int do_434() { return 434; }
  int do_435() { return 435; }
  int do_436() { return 436; }
  int do_437() { return 437; }
  int do_438() { return 438; }
  int do_439() { return 439; }
  int do_440() { return 440; }
  int do_441() { return 441; }
  int do_442() { return 442; }
  int do_443() { return 443; }
  int do_444() { return 444; }
  int do_445() { return 445; }
  int do_446() { return 446; }
  int do_447() { return 447; }
  int do_448() { return 448; }
  int do_449() { return 449; }
  int do_450() { return 450; }
  int do_451() { return 451; }
  int do_452() { return 452; }
  int do_453() { return 453; }
  int do_454() { return 454; }
  int do_455() { return 455; }
  int do_456() { return 456; }
  int do_457() { return 457; }
  int do_458() { return 458; }
  int do_459() { return 459; }
  int do_460() { return 460; }
  int do_461() { return 461; }
  int do_462() { return 462; }
  int do_463() { return 463; }
  int do_464() { return 464; }
  int do_465() { return 465; }
  int do_466() { return 466; }
  int do_467() { return 467; }
  int do_468() { return 468; }
  int do_469() { return 469; }
  int do_470() { return 470; }
  int do_471() { return 471; }
  int do_472() { return 472; }
  int do_473() { return 473; }
  int do_474() { return 474; }
  int do_475() { return 475; }
  int do_476() { return 476; }
  int do_477() { return 477; }
  int do_478() { return 478; }
  int do_479() { return 479; }
  int do_480() { return 480; }
  int do_481() { return 481; }
  int do_482() { return 482; }
  int do_483() { return 483; }
  int do_484() { return 484; }
  int do_485() { return 485; }
  int do_486() { return 486; }
  int do_487() { return 487; }
  int do_488() { return 488; }
  int do_489() { return 489; }
  int do_490() { return 490; }
  int do_491() { return 491; }
  int do_492() { return 492; }
  int do_493() { return 493; }
  int do_494() { return 494; }
  int do_495() { return 495; }
  int do_496() { return 496; }
  int do_497() { return 497; }
  int do_498() { return 498; }
  int do_499() { return 499; }
  int do_500() { return 500; }
  int do_501() { return 501; }
  int do_502() { return 502; }
  int do_503() { return 503; }
  int do_504() { return 504; }
  int do_505() { return 505; }
  int do_506() { return 506; }
  int do_507() { return 507; }
  int do_508() { return 508; }
  int do_509() { return 509; }
  int do_510() { return 510; }
  int do_511() { return 511; }
  int do_512() { return 512; }
  int do_513() { return 513; }
  int do_514() { return 514; }
  int do_515() { return 515; }
  int do_516() { return 516; }
  int do_517() { return 517; }
  int do_518() { return 518; }
  int do_519() { return 519; }
  int do_520() { return 520; }
  int do_521() { return 521; }
  int do_522() { return 522; }
  int do_523() { return 523; }
  int do_524() { return 524; }
  int do_525() { return 525; }
  int do_526() { return 526; }
  int do_527() { return 527; }
  int do_528() { return 528; }
  int do_529() { return 529; }
  int do_530() { return 530; }
  int do_531() { return 531; }
  int do_532() { return 532; }
  int do_533() { return 533; }
  int do_534() { return 534; }
  int do_535() { return 535; }
  int do_536() { return 536; }
  int do_537() { return 537; }
  int do_538() { return 538; }
  int do_539() { return 539; }
  int do_540() { return 540; }
  int do_541() { return 541; }
  int do_542() { return 542; }
  int do_543() { return 543; }
  int do_544() { return 544; }
  int do_545() { return 545; }
  int do_546() { return 546; }
  int do_547() { return 547; }
  int do_548() { return 548; }
  int do_549() { return 549; }
  int do_550() { return 550; }
  int do_551() { return 551; }
  int do_552() { return 552; }
  int do_553() { return 553; }
  int do_554() { return 554; }
  int do_555() { return 555; }
  int do_556() { return 556; }
  int do_557() { return 557; }
  int do_558() { return 558; }
  int do_559() { return 559; }
  int do_560() { return 560; }
  int do_561() { return 561; }
  int do_562() { return 562; }
  int do_563() { return 563; }
  int do_564() { return 564; }
  int do_565() { return 565; }
  int do_566() { return 566; }
  int do_567() { return 567; }
  int do_568() { return 568; }
  int do_569() { return 569; }
  int do_570() { return 570; }
  int do_571() { return 571; }
  int do_572() { return 572; }
  int do_573() { return 573; }
  int do_574() { return 574; }
  int do_575() { return 575; }
  int do_576() { return 576; }
  int do_577() { return 577; }
  int do_578() { return 578; }
  int do_579() { return 579; }
  int do_580() { return 580; }
  int do_581() { return 581; }
  int do_582() { return 582; }
  int do_583() { return 583; }
  int do_584() { return 584; }
  int do_585() { return 585; }
  int do_586() { return 586; }
  int do_587() { return 587; }
  int do_588() { return 588; }
  int do_589() { return 589; }
  int do_590() { return 590; }
  int do_591() { return 591; }
  int do_592() { return 592; }
  int do_593() { return 593; }
  int do_594() { return 594; }
  int do_595() { return 595; }
  int do_596() { return 596; }
  int do_597() { return 597; }
  int do_598() { return 598; }
  int do_599() { return 599; }
  int do_600() { return 600; }
  int do_601() { return 601; }
  int do_602() { return 602; }
  int do_603() { return 603; }
  int do_604() { return 604; }
  int do_605() { return 605; }
  int do_606() { return 606; }
  int do_607() { return 607; }
  int do_608() { return 608; }
  int do_609() { return 609; }
  int do_610() { return 610; }
  int do_611() { return 611; }
  int do_612() { return 612; }
  int do_613() { return 613; }
  int do_614() { return 614; }
  int do_615() { return 615; }
  int do_616() { return 616; }
  int do_617() { return 617; }
  int do_618() { return 618; }
  int do_619() { return 619; }
  int do_620() { return 620; }
  int do_621() { return 621; }
  int do_622() { return 622; }
  int do_623() { return 623; }
  int do_624() { return 624; }
  int do_625() { return 625; }
  int do_626() { return 626; }
  int do_627() { return 627; }
  int do_628() { return 628; }
  int do_629() { return 629; }
  int do_630() { return 630; }
  int do_631() { return 631; }
  int do_632() { return 632; }
  int do_633() { return 633; }
  int do_634() { return 634; }
  int do_635() { return 635; }
  int do_636() { return 636; }
  int do_637() { return 637; }
  int do_638() { return 638; }
  int do_639() { return 639; }
  int do_640() { return 640; }
  int do_641() { return 641; }
  int do_642() { return 642; }
  int do_643() { return 643; }
  int do_644() { return 644; }
  int do_645() { return 645; }
  int do_646() { return 646; }
  int do_647() { return 647; }
  int do_648() { return 648; }
  int do_649() { return 649; }
  int do_650() { return 650; }
  int do_651() { return 651; }
  int do_652() { return 652; }
  int do_653() { return 653; }
  int do_654() { return 654; }
  int do_655() { return 655; }
  int do_656() { return 656; }
  int do_657() { return 657; }
  int do_658() { return 658; }
  int do_659() { return 659; }
  int do_660() { return 660; }
  int do_661() { return 661; }
  int do_662() { return 662; }
  int do_663() { return 663; }
  int do_664() { return 664; }
  int do_665() { return 665; }
  int do_666() { return 666; }
  int do_667() { return 667; }
  int do_668() { return 668; }
  int do_669() { return 669; }
  int do_670() { return 670; }
  int do_671() { return 671; }
  int do_672() { return 672; }
  int do_673() { return 673; }
  int do_674() { return 674; }
  int do_675() { return 675; }
  int do_676() { return 676; }
  int do_677() { return 677; }
  int do_678() { return 678; }
  int do_679() { return 679; }
  int do_680() { return 680; }
  int do_681() { return 681; }
  int do_682() { return 682; }
  int do_683() { return 683; }
  int do_684() { return 684; }
  int do_685() { return 685; }
  int do_686() { return 686; }
  int do_687() { return 687; }
  int do_688() { return 688; }
  int do_689() { return 689; }
  int do_690() { return 690; }
  int do_691() { return 691; }
  int do_692() { return 692; }
  int do_693() { return 693; }
  int do_694() { return 694; }
  int do_695() { return 695; }
  int do_696() { return 696; }
  int do_697() { return 697; }
  int do_698() { return 698; }
  int do_699() { return 699; }
  int do_700() { return 700; }
  int do_701() { return 701; }
  int do_702() { return 702; }
  int do_703() { return 703; }
  int do_704() { return 704; }
  int do_705() { return 705; }
  int do_706() { return 706; }
  int do_707() { return 707; }
  int do_708() { return 708; }
  int do_709() { return 709; }
  int do_710() { return 710; }
  int do_711() { return 711; }
  int do_712() { return 712; }
  int do_713() { return 713; }
  int do_714() { return 714; }
  int do_715() { return 715; }
  int do_716() { return 716; }
  int do_717() { return 717; }
  int do_718() { return 718; }
  int do_719() { return 719; }
  int do_720() { return 720; }
  int do_721() { return 721; }
  int do_722() { return 722; }
  int do_723() { return 723; }
  int do_724() { return 724; }
  int do_725() { return 725; }
  int do_726() { return 726; }
  int do_727() { return 727; }
  int do_728() { return 728; }
  int do_729() { return 729; }
  int do_730() { return 730; }
  int do_731() { return 731; }
  int do_732() { return 732; }
  int do_733() { return 733; }
  int do_734() { return 734; }
  int do_735() { return 735; }
  int do_736() { return 736; }
  int do_737() { return 737; }
  int do_738() { return 738; }
  int do_739() { return 739; }
  int do_740() { return 740; }
  int do_741() { return 741; }
  int do_742() { return 742; }
  int do_743() { return 743; }
  int do_744() { return 744; }
  int do_745() { return 745; }
  int do_746() { return 746; }
  int do_747() { return 747; }
  int do_748() { return 748; }
  int do_749() { return 749; }
  int do_750() { return 750; }
  int do_751() { return 751; }
  int do_752() { return 752; }
  int do_753() { return 753; }
  int do_754() { return 754; }
  int do_755() { return 755; }
  int do_756() { return 756; }
  int do_757() { return 757; }
  int do_758() { return 758; }
  int do_759() { return 759; }
  int do_760() { return 760; }
  int do_761() { return 761; }
  int do_762() { return 762; }
  int do_763() { return 763; }
  int do_764() { return 764; }
  int do_765() { return 765; }
  int do_766() { return 766; }
  int do_767() { return 767; }
  int do_768() { return 768; }
  int do_769() { return 769; }
  int do_770() { return 770; }
  int do_771() { return 771; }
  int do_772() { return 772; }
  int do_773() { return 773; }
  int do_774() { return 774; }
  int do_775() { return 775; }
  int do_776() { return 776; }
  int do_777() { return 777; }
  int do_778() { return 778; }
  int do_779() { return 779; }
  int do_780() { return 780; }
  int do_781() { return 781; }
  int do_782() { return 782; }
  int do_783() { return 783; }
  int do_784() { return 784; }
  int do_785() { return 785; }
  int do_786() { return 786; }
  int do_787() { return 787; }
  int do_788() { return 788; }
  int do_789() { return 789; }
  int do_790() { return 790; }
  int do_791() { return 791; }
  int do_792() { return 792; }
  int do_793() { return 793; }
  int do_794() { return 794; }
  int do_795() { return 795; }
  int do_796() { return 796; }
  int do_797() { return 797; }
  int do_798() { return 798; }
  int do_799() { return 799; }
  int do_800() { return 800; }
  int do_801() { return 801; }
  int do_802() { return 802; }
  int do_803() { return 803; }
  int do_804() { return 804; }
  int do_805() { return 805; }
  int do_806() { return 806; }
  int do_807() { return 807; }
  int do_808() { return 808; }
  int do_809() { return 809; }
  int do_810() { return 810; }
  int do_811() { return 811; }
  int do_812() { return 812; }
  int do_813() { return 813; }
  int do_814() { return 814; }
  int do_815() { return 815; }
  int do_816() { return 816; }
  int do_817() { return 817; }
  int do_818() { return 818; }
  int do_819() { return 819; }
  int do_820() { return 820; }
  int do_821() { return 821; }
  int do_822() { return 822; }
  int do_823() { return 823; }
  int do_824() { return 824; }
  int do_825() { return 825; }
  int do_826() { return 826; }
  int do_827() { return 827; }
  int do_828() { return 828; }
  int do_829() { return 829; }
  int do_830() { return 830; }
  int do_831() { return 831; }
  int do_832() { return 832; }
  int do_833() { return 833; }
  int do_834() { return 834; }
  int do_835() { return 835; }
  int do_836() { return 836; }
  int do_837() { return 837; }
  int do_838() { return 838; }
  int do_839() { return 839; }
  int do_840() { return 840; }
  int do_841() { return 841; }
  int do_842() { return 842; }
  int do_843() { return 843; }
  int do_844() { return 844; }
  int do_845() { return 845; }
  int do_846() { return 846; }
  int do_847() { return 847; }
  int do_848() { return 848; }
  int do_849() { return 849; }
  int do_850() { return 850; }
  int do_851() { return 851; }
  int do_852() { return 852; }
  int do_853() { return 853; }
  int do_854() { return 854; }
  int do_855() { return 855; }
  int do_856() { return 856; }
  int do_857() { return 857; }
  int do_858() { return 858; }
  int do_859() { return 859; }
  int do_860() { return 860; }
  int do_861() { return 861; }
  int do_862() { return 862; }
  int do_863() { return 863; }
  int do_864() { return 864; }
  int do_865() { return 865; }
  int do_866() { return 866; }
  int do_867() { return 867; }
  int do_868() { return 868; }
  int do_869() { return 869; }
  int do_870() { return 870; }
  int do_871() { return 871; }
  int do_872() { return 872; }
  int do_873() { return 873; }
  int do_874() { return 874; }
  int do_875() { return 875; }
  int do_876() { return 876; }
  int do_877() { return 877; }
  int do_878() { return 878; }
  int do_879() { return 879; }
  int do_880() { return 880; }
  int do_881() { return 881; }
  int do_882() { return 882; }
  int do_883() { return 883; }
  int do_884() { return 884; }
  int do_885() { return 885; }
  int do_886() { return 886; }
  int do_887() { return 887; }
  int do_888() { return 888; }
  int do_889() { return 889; }
  int do_890() { return 890; }
  int do_891() { return 891; }
  int do_892() { return 892; }
  int do_893() { return 893; }
  int do_894() { return 894; }
  int do_895() { return 895; }
  int do_896() { return 896; }
  int do_897() { return 897; }
  int do_898() { return 898; }
  int do_899() { return 899; }
  int do_900() { return 900; }
  int do_901() { return 901; }
  int do_902() { return 902; }
  int do_903() { return 903; }
  int do_904() { return 904; }
  int do_905() { return 905; }
  int do_906() { return 906; }
  int do_907() { return 907; }
  int do_908() { return 908; }
  int do_909() { return 909; }
  int do_910() { return 910; }
  int do_911() { return 911; }
  int do_912() { return 912; }
  int do_913() { return 913; }
  int do_914() { return 914; }
  int do_915() { return 915; }
  int do_916() { return 916; }
  int do_917() { return 917; }
  int do_918() { return 918; }
  int do_919() { return 919; }
  int do_920() { return 920; }
  int do_921() { return 921; }
  int do_922() { return 922; }
  int do_923() { return 923; }
  int do_924() { return 924; }
  int do_925() { return 925; }
  int do_926() { return 926; }
  int do_927() { return 927; }
  int do_928() { return 928; }
  int do_929() { return 929; }
  int do_930() { return 930; }
  int do_931() { return 931; }
  int do_932() { return 932; }
  int do_933() { return 933; }
  int do_934() { return 934; }
  int do_935() { return 935; }
  int do_936() { return 936; }
  int do_937() { return 937; }
  int do_938() { return 938; }
  int do_939() { return 939; }
  int do_940() { return 940; }
  int do_941() { return 941; }
  int do_942() { return 942; }
  int do_943() { return 943; }
  int do_944() { return 944; }
  int do_945() { return 945; }
  int do_946() { return 946; }
  int do_947() { return 947; }
  int do_948() { return 948; }
  int do_949() { return 949; }
  int do_950() { return 950; }
  int do_951() { return 951; }
  int do_952() { return 952; }
  int do_953() { return 953; }
  int do_954() { return 954; }
  int do_955() { return 955; }
  int do_956() { return 956; }
  int do_957() { return 957; }
  int do_958() { return 958; }
  int do_959() { return 959; }
  int do_960() { return 960; }
  int do_961() { return 961; }
  int do_962() { return 962; }
  int do_963() { return 963; }
  int do_964() { return 964; }
  int do_965() { return 965; }
  int do_966() { return 966; }
  int do_967() { return 967; }
  int do_968() { return 968; }
  int do_969() { return 969; }
  int do_970() { return 970; }
  int do_971() { return 971; }
  int do_972() { return 972; }
  int do_973() { return 973; }
  int do_974() { return 974; }
  int do_975() { return 975; }
  int do_976() { return 976; }
  int do_977() { return 977; }
  int do_978() { return 978; }
  int do_979() { return 979; }
  int do_980() { return 980; }
  int do_981() { return 981; }
  int do_982() { return 982; }
  int do_983() { return 983; }
  int do_984() { return 984; }
  int do_985() { return 985; }
  int do_986() { return 986; }
  int do_987() { return 987; }
  int do_988() { return 988; }
  int do_989() { return 989; }
  int do_990() { return 990; }
  int do_991() { return 991; }
  int do_992() { return 992; }
  int do_993() { return 993; }
  int do_994() { return 994; }
  int do_995() { return 995; }
  int do_996() { return 996; }
  int do_997() { return 997; }
  int do_998() { return 998; }
  int do_999() { return 999; }
  