home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / piwg / z000124.ada < prev    next >
Encoding:
Text File  |  1988-05-03  |  30.1 KB  |  1,005 lines

  1. procedure z000124 is
  2.     integer_1: integer := 1;
  3.     integer_2: integer := 2;
  4.     integer_3: integer := 3;
  5.     integer_4: integer := 4;
  6.     integer_5: integer := 5;
  7.     integer_6: integer := 6;
  8.     integer_7: integer := 7;
  9.     integer_8: integer := 8;
  10.     integer_9: integer := 9;
  11.     integer_10: integer := 10;
  12.     integer_11: integer := 11;
  13.     integer_12: integer := 12;
  14.     integer_13: integer := 13;
  15.     integer_14: integer := 14;
  16.     integer_15: integer := 15;
  17.     integer_16: integer := 16;
  18.     integer_17: integer := 17;
  19.     integer_18: integer := 18;
  20.     integer_19: integer := 19;
  21.     integer_20: integer := 20;
  22.     integer_21: integer := 21;
  23.     integer_22: integer := 22;
  24.     integer_23: integer := 23;
  25.     integer_24: integer := 24;
  26.     integer_25: integer := 25;
  27.     integer_26: integer := 26;
  28.     integer_27: integer := 27;
  29.     integer_28: integer := 28;
  30.     integer_29: integer := 29;
  31.     integer_30: integer := 30;
  32.     integer_31: integer := 31;
  33.     integer_32: integer := 32;
  34.     integer_33: integer := 33;
  35.     integer_34: integer := 34;
  36.     integer_35: integer := 35;
  37.     integer_36: integer := 36;
  38.     integer_37: integer := 37;
  39.     integer_38: integer := 38;
  40.     integer_39: integer := 39;
  41.     integer_40: integer := 40;
  42.     integer_41: integer := 41;
  43.     integer_42: integer := 42;
  44.     integer_43: integer := 43;
  45.     integer_44: integer := 44;
  46.     integer_45: integer := 45;
  47.     integer_46: integer := 46;
  48.     integer_47: integer := 47;
  49.     integer_48: integer := 48;
  50.     integer_49: integer := 49;
  51.     integer_50: integer := 50;
  52.     integer_51: integer := 51;
  53.     integer_52: integer := 52;
  54.     integer_53: integer := 53;
  55.     integer_54: integer := 54;
  56.     integer_55: integer := 55;
  57.     integer_56: integer := 56;
  58.     integer_57: integer := 57;
  59.     integer_58: integer := 58;
  60.     integer_59: integer := 59;
  61.     integer_60: integer := 60;
  62.     integer_61: integer := 61;
  63.     integer_62: integer := 62;
  64.     integer_63: integer := 63;
  65.     integer_64: integer := 64;
  66.     integer_65: integer := 65;
  67.     integer_66: integer := 66;
  68.     integer_67: integer := 67;
  69.     integer_68: integer := 68;
  70.     integer_69: integer := 69;
  71.     integer_70: integer := 70;
  72.     integer_71: integer := 71;
  73.     integer_72: integer := 72;
  74.     integer_73: integer := 73;
  75.     integer_74: integer := 74;
  76.     integer_75: integer := 75;
  77.     integer_76: integer := 76;
  78.     integer_77: integer := 77;
  79.     integer_78: integer := 78;
  80.     integer_79: integer := 79;
  81.     integer_80: integer := 80;
  82.     integer_81: integer := 81;
  83.     integer_82: integer := 82;
  84.     integer_83: integer := 83;
  85.     integer_84: integer := 84;
  86.     integer_85: integer := 85;
  87.     integer_86: integer := 86;
  88.     integer_87: integer := 87;
  89.     integer_88: integer := 88;
  90.     integer_89: integer := 89;
  91.     integer_90: integer := 90;
  92.     integer_91: integer := 91;
  93.     integer_92: integer := 92;
  94.     integer_93: integer := 93;
  95.     integer_94: integer := 94;
  96.     integer_95: integer := 95;
  97.     integer_96: integer := 96;
  98.     integer_97: integer := 97;
  99.     integer_98: integer := 98;
  100.     integer_99: integer := 99;
  101.     integer_100: integer := 100;
  102.     integer_101: integer := 101;
  103.     integer_102: integer := 102;
  104.     integer_103: integer := 103;
  105.     integer_104: integer := 104;
  106.     integer_105: integer := 105;
  107.     integer_106: integer := 106;
  108.     integer_107: integer := 107;
  109.     integer_108: integer := 108;
  110.     integer_109: integer := 109;
  111.     integer_110: integer := 110;
  112.     integer_111: integer := 111;
  113.     integer_112: integer := 112;
  114.     integer_113: integer := 113;
  115.     integer_114: integer := 114;
  116.     integer_115: integer := 115;
  117.     integer_116: integer := 116;
  118.     integer_117: integer := 117;
  119.     integer_118: integer := 118;
  120.     integer_119: integer := 119;
  121.     integer_120: integer := 120;
  122.     integer_121: integer := 121;
  123.     integer_122: integer := 122;
  124.     integer_123: integer := 123;
  125.     integer_124: integer := 124;
  126.     integer_125: integer := 125;
  127.     integer_126: integer := 126;
  128.     integer_127: integer := 127;
  129.     integer_128: integer := 128;
  130.     integer_129: integer := 129;
  131.     integer_130: integer := 130;
  132.     integer_131: integer := 131;
  133.     integer_132: integer := 132;
  134.     integer_133: integer := 133;
  135.     integer_134: integer := 134;
  136.     integer_135: integer := 135;
  137.     integer_136: integer := 136;
  138.     integer_137: integer := 137;
  139.     integer_138: integer := 138;
  140.     integer_139: integer := 139;
  141.     integer_140: integer := 140;
  142.     integer_141: integer := 141;
  143.     integer_142: integer := 142;
  144.     integer_143: integer := 143;
  145.     integer_144: integer := 144;
  146.     integer_145: integer := 145;
  147.     integer_146: integer := 146;
  148.     integer_147: integer := 147;
  149.     integer_148: integer := 148;
  150.     integer_149: integer := 149;
  151.     integer_150: integer := 150;
  152.     integer_151: integer := 151;
  153.     integer_152: integer := 152;
  154.     integer_153: integer := 153;
  155.     integer_154: integer := 154;
  156.     integer_155: integer := 155;
  157.     integer_156: integer := 156;
  158.     integer_157: integer := 157;
  159.     integer_158: integer := 158;
  160.     integer_159: integer := 159;
  161.     integer_160: integer := 160;
  162.     integer_161: integer := 161;
  163.     integer_162: integer := 162;
  164.     integer_163: integer := 163;
  165.     integer_164: integer := 164;
  166.     integer_165: integer := 165;
  167.     integer_166: integer := 166;
  168.     integer_167: integer := 167;
  169.     integer_168: integer := 168;
  170.     integer_169: integer := 169;
  171.     integer_170: integer := 170;
  172.     integer_171: integer := 171;
  173.     integer_172: integer := 172;
  174.     integer_173: integer := 173;
  175.     integer_174: integer := 174;
  176.     integer_175: integer := 175;
  177.     integer_176: integer := 176;
  178.     integer_177: integer := 177;
  179.     integer_178: integer := 178;
  180.     integer_179: integer := 179;
  181.     integer_180: integer := 180;
  182.     integer_181: integer := 181;
  183.     integer_182: integer := 182;
  184.     integer_183: integer := 183;
  185.     integer_184: integer := 184;
  186.     integer_185: integer := 185;
  187.     integer_186: integer := 186;
  188.     integer_187: integer := 187;
  189.     integer_188: integer := 188;
  190.     integer_189: integer := 189;
  191.     integer_190: integer := 190;
  192.     integer_191: integer := 191;
  193.     integer_192: integer := 192;
  194.     integer_193: integer := 193;
  195.     integer_194: integer := 194;
  196.     integer_195: integer := 195;
  197.     integer_196: integer := 196;
  198.     integer_197: integer := 197;
  199.     integer_198: integer := 198;
  200.     integer_199: integer := 199;
  201.     integer_200: integer := 200;
  202.     integer_201: integer := 201;
  203.     integer_202: integer := 202;
  204.     integer_203: integer := 203;
  205.     integer_204: integer := 204;
  206.     integer_205: integer := 205;
  207.     integer_206: integer := 206;
  208.     integer_207: integer := 207;
  209.     integer_208: integer := 208;
  210.     integer_209: integer := 209;
  211.     integer_210: integer := 210;
  212.     integer_211: integer := 211;
  213.     integer_212: integer := 212;
  214.     integer_213: integer := 213;
  215.     integer_214: integer := 214;
  216.     integer_215: integer := 215;
  217.     integer_216: integer := 216;
  218.     integer_217: integer := 217;
  219.     integer_218: integer := 218;
  220.     integer_219: integer := 219;
  221.     integer_220: integer := 220;
  222.     integer_221: integer := 221;
  223.     integer_222: integer := 222;
  224.     integer_223: integer := 223;
  225.     integer_224: integer := 224;
  226.     integer_225: integer := 225;
  227.     integer_226: integer := 226;
  228.     integer_227: integer := 227;
  229.     integer_228: integer := 228;
  230.     integer_229: integer := 229;
  231.     integer_230: integer := 230;
  232.     integer_231: integer := 231;
  233.     integer_232: integer := 232;
  234.     integer_233: integer := 233;
  235.     integer_234: integer := 234;
  236.     integer_235: integer := 235;
  237.     integer_236: integer := 236;
  238.     integer_237: integer := 237;
  239.     integer_238: integer := 238;
  240.     integer_239: integer := 239;
  241.     integer_240: integer := 240;
  242.     integer_241: integer := 241;
  243.     integer_242: integer := 242;
  244.     integer_243: integer := 243;
  245.     integer_244: integer := 244;
  246.     integer_245: integer := 245;
  247.     integer_246: integer := 246;
  248.     integer_247: integer := 247;
  249.     integer_248: integer := 248;
  250.     integer_249: integer := 249;
  251.     integer_250: integer := 250;
  252.     integer_251: integer := 251;
  253.     integer_252: integer := 252;
  254.     integer_253: integer := 253;
  255.     integer_254: integer := 254;
  256.     integer_255: integer := 255;
  257.     integer_256: integer := 256;
  258.     integer_257: integer := 257;
  259.     integer_258: integer := 258;
  260.     integer_259: integer := 259;
  261.     integer_260: integer := 260;
  262.     integer_261: integer := 261;
  263.     integer_262: integer := 262;
  264.     integer_263: integer := 263;
  265.     integer_264: integer := 264;
  266.     integer_265: integer := 265;
  267.     integer_266: integer := 266;
  268.     integer_267: integer := 267;
  269.     integer_268: integer := 268;
  270.     integer_269: integer := 269;
  271.     integer_270: integer := 270;
  272.     integer_271: integer := 271;
  273.     integer_272: integer := 272;
  274.     integer_273: integer := 273;
  275.     integer_274: integer := 274;
  276.     integer_275: integer := 275;
  277.     integer_276: integer := 276;
  278.     integer_277: integer := 277;
  279.     integer_278: integer := 278;
  280.     integer_279: integer := 279;
  281.     integer_280: integer := 280;
  282.     integer_281: integer := 281;
  283.     integer_282: integer := 282;
  284.     integer_283: integer := 283;
  285.     integer_284: integer := 284;
  286.     integer_285: integer := 285;
  287.     integer_286: integer := 286;
  288.     integer_287: integer := 287;
  289.     integer_288: integer := 288;
  290.     integer_289: integer := 289;
  291.     integer_290: integer := 290;
  292.     integer_291: integer := 291;
  293.     integer_292: integer := 292;
  294.     integer_293: integer := 293;
  295.     integer_294: integer := 294;
  296.     integer_295: integer := 295;
  297.     integer_296: integer := 296;
  298.     integer_297: integer := 297;
  299.     integer_298: integer := 298;
  300.     integer_299: integer := 299;
  301.     integer_300: integer := 300;
  302.     integer_301: integer := 301;
  303.     integer_302: integer := 302;
  304.     integer_303: integer := 303;
  305.     integer_304: integer := 304;
  306.     integer_305: integer := 305;
  307.     integer_306: integer := 306;
  308.     integer_307: integer := 307;
  309.     integer_308: integer := 308;
  310.     integer_309: integer := 309;
  311.     integer_310: integer := 310;
  312.     integer_311: integer := 311;
  313.     integer_312: integer := 312;
  314.     integer_313: integer := 313;
  315.     integer_314: integer := 314;
  316.     integer_315: integer := 315;
  317.     integer_316: integer := 316;
  318.     integer_317: integer := 317;
  319.     integer_318: integer := 318;
  320.     integer_319: integer := 319;
  321.     integer_320: integer := 320;
  322.     integer_321: integer := 321;
  323.     integer_322: integer := 322;
  324.     integer_323: integer := 323;
  325.     integer_324: integer := 324;
  326.     integer_325: integer := 325;
  327.     integer_326: integer := 326;
  328.     integer_327: integer := 327;
  329.     integer_328: integer := 328;
  330.     integer_329: integer := 329;
  331.     integer_330: integer := 330;
  332.     integer_331: integer := 331;
  333.     integer_332: integer := 332;
  334.     integer_333: integer := 333;
  335.     integer_334: integer := 334;
  336.     integer_335: integer := 335;
  337.     integer_336: integer := 336;
  338.     integer_337: integer := 337;
  339.     integer_338: integer := 338;
  340.     integer_339: integer := 339;
  341.     integer_340: integer := 340;
  342.     integer_341: integer := 341;
  343.     integer_342: integer := 342;
  344.     integer_343: integer := 343;
  345.     integer_344: integer := 344;
  346.     integer_345: integer := 345;
  347.     integer_346: integer := 346;
  348.     integer_347: integer := 347;
  349.     integer_348: integer := 348;
  350.     integer_349: integer := 349;
  351.     integer_350: integer := 350;
  352.     integer_351: integer := 351;
  353.     integer_352: integer := 352;
  354.     integer_353: integer := 353;
  355.     integer_354: integer := 354;
  356.     integer_355: integer := 355;
  357.     integer_356: integer := 356;
  358.     integer_357: integer := 357;
  359.     integer_358: integer := 358;
  360.     integer_359: integer := 359;
  361.     integer_360: integer := 360;
  362.     integer_361: integer := 361;
  363.     integer_362: integer := 362;
  364.     integer_363: integer := 363;
  365.     integer_364: integer := 364;
  366.     integer_365: integer := 365;
  367.     integer_366: integer := 366;
  368.     integer_367: integer := 367;
  369.     integer_368: integer := 368;
  370.     integer_369: integer := 369;
  371.     integer_370: integer := 370;
  372.     integer_371: integer := 371;
  373.     integer_372: integer := 372;
  374.     integer_373: integer := 373;
  375.     integer_374: integer := 374;
  376.     integer_375: integer := 375;
  377.     integer_376: integer := 376;
  378.     integer_377: integer := 377;
  379.     integer_378: integer := 378;
  380.     integer_379: integer := 379;
  381.     integer_380: integer := 380;
  382.     integer_381: integer := 381;
  383.     integer_382: integer := 382;
  384.     integer_383: integer := 383;
  385.     integer_384: integer := 384;
  386.     integer_385: integer := 385;
  387.     integer_386: integer := 386;
  388.     integer_387: integer := 387;
  389.     integer_388: integer := 388;
  390.     integer_389: integer := 389;
  391.     integer_390: integer := 390;
  392.     integer_391: integer := 391;
  393.     integer_392: integer := 392;
  394.     integer_393: integer := 393;
  395.     integer_394: integer := 394;
  396.     integer_395: integer := 395;
  397.     integer_396: integer := 396;
  398.     integer_397: integer := 397;
  399.     integer_398: integer := 398;
  400.     integer_399: integer := 399;
  401.     integer_400: integer := 400;
  402.     integer_401: integer := 401;
  403.     integer_402: integer := 402;
  404.     integer_403: integer := 403;
  405.     integer_404: integer := 404;
  406.     integer_405: integer := 405;
  407.     integer_406: integer := 406;
  408.     integer_407: integer := 407;
  409.     integer_408: integer := 408;
  410.     integer_409: integer := 409;
  411.     integer_410: integer := 410;
  412.     integer_411: integer := 411;
  413.     integer_412: integer := 412;
  414.     integer_413: integer := 413;
  415.     integer_414: integer := 414;
  416.     integer_415: integer := 415;
  417.     integer_416: integer := 416;
  418.     integer_417: integer := 417;
  419.     integer_418: integer := 418;
  420.     integer_419: integer := 419;
  421.     integer_420: integer := 420;
  422.     integer_421: integer := 421;
  423.     integer_422: integer := 422;
  424.     integer_423: integer := 423;
  425.     integer_424: integer := 424;
  426.     integer_425: integer := 425;
  427.     integer_426: integer := 426;
  428.     integer_427: integer := 427;
  429.     integer_428: integer := 428;
  430.     integer_429: integer := 429;
  431.     integer_430: integer := 430;
  432.     integer_431: integer := 431;
  433.     integer_432: integer := 432;
  434.     integer_433: integer := 433;
  435.     integer_434: integer := 434;
  436.     integer_435: integer := 435;
  437.     integer_436: integer := 436;
  438.     integer_437: integer := 437;
  439.     integer_438: integer := 438;
  440.     integer_439: integer := 439;
  441.     integer_440: integer := 440;
  442.     integer_441: integer := 441;
  443.     integer_442: integer := 442;
  444.     integer_443: integer := 443;
  445.     integer_444: integer := 444;
  446.     integer_445: integer := 445;
  447.     integer_446: integer := 446;
  448.     integer_447: integer := 447;
  449.     integer_448: integer := 448;
  450.     integer_449: integer := 449;
  451.     integer_450: integer := 450;
  452.     integer_451: integer := 451;
  453.     integer_452: integer := 452;
  454.     integer_453: integer := 453;
  455.     integer_454: integer := 454;
  456.     integer_455: integer := 455;
  457.     integer_456: integer := 456;
  458.     integer_457: integer := 457;
  459.     integer_458: integer := 458;
  460.     integer_459: integer := 459;
  461.     integer_460: integer := 460;
  462.     integer_461: integer := 461;
  463.     integer_462: integer := 462;
  464.     integer_463: integer := 463;
  465.     integer_464: integer := 464;
  466.     integer_465: integer := 465;
  467.     integer_466: integer := 466;
  468.     integer_467: integer := 467;
  469.     integer_468: integer := 468;
  470.     integer_469: integer := 469;
  471.     integer_470: integer := 470;
  472.     integer_471: integer := 471;
  473.     integer_472: integer := 472;
  474.     integer_473: integer := 473;
  475.     integer_474: integer := 474;
  476.     integer_475: integer := 475;
  477.     integer_476: integer := 476;
  478.     integer_477: integer := 477;
  479.     integer_478: integer := 478;
  480.     integer_479: integer := 479;
  481.     integer_480: integer := 480;
  482.     integer_481: integer := 481;
  483.     integer_482: integer := 482;
  484.     integer_483: integer := 483;
  485.     integer_484: integer := 484;
  486.     integer_485: integer := 485;
  487.     integer_486: integer := 486;
  488.     integer_487: integer := 487;
  489.     integer_488: integer := 488;
  490.     integer_489: integer := 489;
  491.     integer_490: integer := 490;
  492.     integer_491: integer := 491;
  493.     integer_492: integer := 492;
  494.     integer_493: integer := 493;
  495.     integer_494: integer := 494;
  496.     integer_495: integer := 495;
  497.     integer_496: integer := 496;
  498.     integer_497: integer := 497;
  499.     integer_498: integer := 498;
  500.     integer_499: integer := 499;
  501.     integer_500: integer := 500;
  502.     integer_501: integer := 501;
  503.     integer_502: integer := 502;
  504.     integer_503: integer := 503;
  505.     integer_504: integer := 504;
  506.     integer_505: integer := 505;
  507.     integer_506: integer := 506;
  508.     integer_507: integer := 507;
  509.     integer_508: integer := 508;
  510.     integer_509: integer := 509;
  511.     integer_510: integer := 510;
  512.     integer_511: integer := 511;
  513.     integer_512: integer := 512;
  514.     integer_513: integer := 513;
  515.     integer_514: integer := 514;
  516.     integer_515: integer := 515;
  517.     integer_516: integer := 516;
  518.     integer_517: integer := 517;
  519.     integer_518: integer := 518;
  520.     integer_519: integer := 519;
  521.     integer_520: integer := 520;
  522.     integer_521: integer := 521;
  523.     integer_522: integer := 522;
  524.     integer_523: integer := 523;
  525.     integer_524: integer := 524;
  526.     integer_525: integer := 525;
  527.     integer_526: integer := 526;
  528.     integer_527: integer := 527;
  529.     integer_528: integer := 528;
  530.     integer_529: integer := 529;
  531.     integer_530: integer := 530;
  532.     integer_531: integer := 531;
  533.     integer_532: integer := 532;
  534.     integer_533: integer := 533;
  535.     integer_534: integer := 534;
  536.     integer_535: integer := 535;
  537.     integer_536: integer := 536;
  538.     integer_537: integer := 537;
  539.     integer_538: integer := 538;
  540.     integer_539: integer := 539;
  541.     integer_540: integer := 540;
  542.     integer_541: integer := 541;
  543.     integer_542: integer := 542;
  544.     integer_543: integer := 543;
  545.     integer_544: integer := 544;
  546.     integer_545: integer := 545;
  547.     integer_546: integer := 546;
  548.     integer_547: integer := 547;
  549.     integer_548: integer := 548;
  550.     integer_549: integer := 549;
  551.     integer_550: integer := 550;
  552.     integer_551: integer := 551;
  553.     integer_552: integer := 552;
  554.     integer_553: integer := 553;
  555.     integer_554: integer := 554;
  556.     integer_555: integer := 555;
  557.     integer_556: integer := 556;
  558.     integer_557: integer := 557;
  559.     integer_558: integer := 558;
  560.     integer_559: integer := 559;
  561.     integer_560: integer := 560;
  562.     integer_561: integer := 561;
  563.     integer_562: integer := 562;
  564.     integer_563: integer := 563;
  565.     integer_564: integer := 564;
  566.     integer_565: integer := 565;
  567.     integer_566: integer := 566;
  568.     integer_567: integer := 567;
  569.     integer_568: integer := 568;
  570.     integer_569: integer := 569;
  571.     integer_570: integer := 570;
  572.     integer_571: integer := 571;
  573.     integer_572: integer := 572;
  574.     integer_573: integer := 573;
  575.     integer_574: integer := 574;
  576.     integer_575: integer := 575;
  577.     integer_576: integer := 576;
  578.     integer_577: integer := 577;
  579.     integer_578: integer := 578;
  580.     integer_579: integer := 579;
  581.     integer_580: integer := 580;
  582.     integer_581: integer := 581;
  583.     integer_582: integer := 582;
  584.     integer_583: integer := 583;
  585.     integer_584: integer := 584;
  586.     integer_585: integer := 585;
  587.     integer_586: integer := 586;
  588.     integer_587: integer := 587;
  589.     integer_588: integer := 588;
  590.     integer_589: integer := 589;
  591.     integer_590: integer := 590;
  592.     integer_591: integer := 591;
  593.     integer_592: integer := 592;
  594.     integer_593: integer := 593;
  595.     integer_594: integer := 594;
  596.     integer_595: integer := 595;
  597.     integer_596: integer := 596;
  598.     integer_597: integer := 597;
  599.     integer_598: integer := 598;
  600.     integer_599: integer := 599;
  601.     integer_600: integer := 600;
  602.     integer_601: integer := 601;
  603.     integer_602: integer := 602;
  604.     integer_603: integer := 603;
  605.     integer_604: integer := 604;
  606.     integer_605: integer := 605;
  607.     integer_606: integer := 606;
  608.     integer_607: integer := 607;
  609.     integer_608: integer := 608;
  610.     integer_609: integer := 609;
  611.     integer_610: integer := 610;
  612.     integer_611: integer := 611;
  613.     integer_612: integer := 612;
  614.     integer_613: integer := 613;
  615.     integer_614: integer := 614;
  616.     integer_615: integer := 615;
  617.     integer_616: integer := 616;
  618.     integer_617: integer := 617;
  619.     integer_618: integer := 618;
  620.     integer_619: integer := 619;
  621.     integer_620: integer := 620;
  622.     integer_621: integer := 621;
  623.     integer_622: integer := 622;
  624.     integer_623: integer := 623;
  625.     integer_624: integer := 624;
  626.     integer_625: integer := 625;
  627.     integer_626: integer := 626;
  628.     integer_627: integer := 627;
  629.     integer_628: integer := 628;
  630.     integer_629: integer := 629;
  631.     integer_630: integer := 630;
  632.     integer_631: integer := 631;
  633.     integer_632: integer := 632;
  634.     integer_633: integer := 633;
  635.     integer_634: integer := 634;
  636.     integer_635: integer := 635;
  637.     integer_636: integer := 636;
  638.     integer_637: integer := 637;
  639.     integer_638: integer := 638;
  640.     integer_639: integer := 639;
  641.     integer_640: integer := 640;
  642.     integer_641: integer := 641;
  643.     integer_642: integer := 642;
  644.     integer_643: integer := 643;
  645.     integer_644: integer := 644;
  646.     integer_645: integer := 645;
  647.     integer_646: integer := 646;
  648.     integer_647: integer := 647;
  649.     integer_648: integer := 648;
  650.     integer_649: integer := 649;
  651.     integer_650: integer := 650;
  652.     integer_651: integer := 651;
  653.     integer_652: integer := 652;
  654.     integer_653: integer := 653;
  655.     integer_654: integer := 654;
  656.     integer_655: integer := 655;
  657.     integer_656: integer := 656;
  658.     integer_657: integer := 657;
  659.     integer_658: integer := 658;
  660.     integer_659: integer := 659;
  661.     integer_660: integer := 660;
  662.     integer_661: integer := 661;
  663.     integer_662: integer := 662;
  664.     integer_663: integer := 663;
  665.     integer_664: integer := 664;
  666.     integer_665: integer := 665;
  667.     integer_666: integer := 666;
  668.     integer_667: integer := 667;
  669.     integer_668: integer := 668;
  670.     integer_669: integer := 669;
  671.     integer_670: integer := 670;
  672.     integer_671: integer := 671;
  673.     integer_672: integer := 672;
  674.     integer_673: integer := 673;
  675.     integer_674: integer := 674;
  676.     integer_675: integer := 675;
  677.     integer_676: integer := 676;
  678.     integer_677: integer := 677;
  679.     integer_678: integer := 678;
  680.     integer_679: integer := 679;
  681.     integer_680: integer := 680;
  682.     integer_681: integer := 681;
  683.     integer_682: integer := 682;
  684.     integer_683: integer := 683;
  685.     integer_684: integer := 684;
  686.     integer_685: integer := 685;
  687.     integer_686: integer := 686;
  688.     integer_687: integer := 687;
  689.     integer_688: integer := 688;
  690.     integer_689: integer := 689;
  691.     integer_690: integer := 690;
  692.     integer_691: integer := 691;
  693.     integer_692: integer := 692;
  694.     integer_693: integer := 693;
  695.     integer_694: integer := 694;
  696.     integer_695: integer := 695;
  697.     integer_696: integer := 696;
  698.     integer_697: integer := 697;
  699.     integer_698: integer := 698;
  700.     integer_699: integer := 699;
  701.     integer_700: integer := 700;
  702.     integer_701: integer := 701;
  703.     integer_702: integer := 702;
  704.     integer_703: integer := 703;
  705.     integer_704: integer := 704;
  706.     integer_705: integer := 705;
  707.     integer_706: integer := 706;
  708.     integer_707: integer := 707;
  709.     integer_708: integer := 708;
  710.     integer_709: integer := 709;
  711.     integer_710: integer := 710;
  712.     integer_711: integer := 711;
  713.     integer_712: integer := 712;
  714.     integer_713: integer := 713;
  715.     integer_714: integer := 714;
  716.     integer_715: integer := 715;
  717.     integer_716: integer := 716;
  718.     integer_717: integer := 717;
  719.     integer_718: integer := 718;
  720.     integer_719: integer := 719;
  721.     integer_720: integer := 720;
  722.     integer_721: integer := 721;
  723.     integer_722: integer := 722;
  724.     integer_723: integer := 723;
  725.     integer_724: integer := 724;
  726.     integer_725: integer := 725;
  727.     integer_726: integer := 726;
  728.     integer_727: integer := 727;
  729.     integer_728: integer := 728;
  730.     integer_729: integer := 729;
  731.     integer_730: integer := 730;
  732.     integer_731: integer := 731;
  733.     integer_732: integer := 732;
  734.     integer_733: integer := 733;
  735.     integer_734: integer := 734;
  736.     integer_735: integer := 735;
  737.     integer_736: integer := 736;
  738.     integer_737: integer := 737;
  739.     integer_738: integer := 738;
  740.     integer_739: integer := 739;
  741.     integer_740: integer := 740;
  742.     integer_741: integer := 741;
  743.     integer_742: integer := 742;
  744.     integer_743: integer := 743;
  745.     integer_744: integer := 744;
  746.     integer_745: integer := 745;
  747.     integer_746: integer := 746;
  748.     integer_747: integer := 747;
  749.     integer_748: integer := 748;
  750.     integer_749: integer := 749;
  751.     integer_750: integer := 750;
  752.     integer_751: integer := 751;
  753.     integer_752: integer := 752;
  754.     integer_753: integer := 753;
  755.     integer_754: integer := 754;
  756.     integer_755: integer := 755;
  757.     integer_756: integer := 756;
  758.     integer_757: integer := 757;
  759.     integer_758: integer := 758;
  760.     integer_759: integer := 759;
  761.     integer_760: integer := 760;
  762.     integer_761: integer := 761;
  763.     integer_762: integer := 762;
  764.     integer_763: integer := 763;
  765.     integer_764: integer := 764;
  766.     integer_765: integer := 765;
  767.     integer_766: integer := 766;
  768.     integer_767: integer := 767;
  769.     integer_768: integer := 768;
  770.     integer_769: integer := 769;
  771.     integer_770: integer := 770;
  772.     integer_771: integer := 771;
  773.     integer_772: integer := 772;
  774.     integer_773: integer := 773;
  775.     integer_774: integer := 774;
  776.     integer_775: integer := 775;
  777.     integer_776: integer := 776;
  778.     integer_777: integer := 777;
  779.     integer_778: integer := 778;
  780.     integer_779: integer := 779;
  781.     integer_780: integer := 780;
  782.     integer_781: integer := 781;
  783.     integer_782: integer := 782;
  784.     integer_783: integer := 783;
  785.     integer_784: integer := 784;
  786.     integer_785: integer := 785;
  787.     integer_786: integer := 786;
  788.     integer_787: integer := 787;
  789.     integer_788: integer := 788;
  790.     integer_789: integer := 789;
  791.     integer_790: integer := 790;
  792.     integer_791: integer := 791;
  793.     integer_792: integer := 792;
  794.     integer_793: integer := 793;
  795.     integer_794: integer := 794;
  796.     integer_795: integer := 795;
  797.     integer_796: integer := 796;
  798.     integer_797: integer := 797;
  799.     integer_798: integer := 798;
  800.     integer_799: integer := 799;
  801.     integer_800: integer := 800;
  802.     integer_801: integer := 801;
  803.     integer_802: integer := 802;
  804.     integer_803: integer := 803;
  805.     integer_804: integer := 804;
  806.     integer_805: integer := 805;
  807.     integer_806: integer := 806;
  808.     integer_807: integer := 807;
  809.     integer_808: integer := 808;
  810.     integer_809: integer := 809;
  811.     integer_810: integer := 810;
  812.     integer_811: integer := 811;
  813.     integer_812: integer := 812;
  814.     integer_813: integer := 813;
  815.     integer_814: integer := 814;
  816.     integer_815: integer := 815;
  817.     integer_816: integer := 816;
  818.     integer_817: integer := 817;
  819.     integer_818: integer := 818;
  820.     integer_819: integer := 819;
  821.     integer_820: integer := 820;
  822.     integer_821: integer := 821;
  823.     integer_822: integer := 822;
  824.     integer_823: integer := 823;
  825.     integer_824: integer := 824;
  826.     integer_825: integer := 825;
  827.     integer_826: integer := 826;
  828.     integer_827: integer := 827;
  829.     integer_828: integer := 828;
  830.     integer_829: integer := 829;
  831.     integer_830: integer := 830;
  832.     integer_831: integer := 831;
  833.     integer_832: integer := 832;
  834.     integer_833: integer := 833;
  835.     integer_834: integer := 834;
  836.     integer_835: integer := 835;
  837.     integer_836: integer := 836;
  838.     integer_837: integer := 837;
  839.     integer_838: integer := 838;
  840.     integer_839: integer := 839;
  841.     integer_840: integer := 840;
  842.     integer_841: integer := 841;
  843.     integer_842: integer := 842;
  844.     integer_843: integer := 843;
  845.     integer_844: integer := 844;
  846.     integer_845: integer := 845;
  847.     integer_846: integer := 846;
  848.     integer_847: integer := 847;
  849.     integer_848: integer := 848;
  850.     integer_849: integer := 849;
  851.     integer_850: integer := 850;
  852.     integer_851: integer := 851;
  853.     integer_852: integer := 852;
  854.     integer_853: integer := 853;
  855.     integer_854: integer := 854;
  856.     integer_855: integer := 855;
  857.     integer_856: integer := 856;
  858.     integer_857: integer := 857;
  859.     integer_858: integer := 858;
  860.     integer_859: integer := 859;
  861.     integer_860: integer := 860;
  862.     integer_861: integer := 861;
  863.     integer_862: integer := 862;
  864.     integer_863: integer := 863;
  865.     integer_864: integer := 864;
  866.     integer_865: integer := 865;
  867.     integer_866: integer := 866;
  868.     integer_867: integer := 867;
  869.     integer_868: integer := 868;
  870.     integer_869: integer := 869;
  871.     integer_870: integer := 870;
  872.     integer_871: integer := 871;
  873.     integer_872: integer := 872;
  874.     integer_873: integer := 873;
  875.     integer_874: integer := 874;
  876.     integer_875: integer := 875;
  877.     integer_876: integer := 876;
  878.     integer_877: integer := 877;
  879.     integer_878: integer := 878;
  880.     integer_879: integer := 879;
  881.     integer_880: integer := 880;
  882.     integer_881: integer := 881;
  883.     integer_882: integer := 882;
  884.     integer_883: integer := 883;
  885.     integer_884: integer := 884;
  886.     integer_885: integer := 885;
  887.     integer_886: integer := 886;
  888.     integer_887: integer := 887;
  889.     integer_888: integer := 888;
  890.     integer_889: integer := 889;
  891.     integer_890: integer := 890;
  892.     integer_891: integer := 891;
  893.     integer_892: integer := 892;
  894.     integer_893: integer := 893;
  895.     integer_894: integer := 894;
  896.     integer_895: integer := 895;
  897.     integer_896: integer := 896;
  898.     integer_897: integer := 897;
  899.     integer_898: integer := 898;
  900.     integer_899: integer := 899;
  901.     integer_900: integer := 900;
  902.     integer_901: integer := 901;
  903.     integer_902: integer := 902;
  904.     integer_903: integer := 903;
  905.     integer_904: integer := 904;
  906.     integer_905: integer := 905;
  907.     integer_906: integer := 906;
  908.     integer_907: integer := 907;
  909.     integer_908: integer := 908;
  910.     integer_909: integer := 909;
  911.     integer_910: integer := 910;
  912.     integer_911: integer := 911;
  913.     integer_912: integer := 912;
  914.     integer_913: integer := 913;
  915.     integer_914: integer := 914;
  916.     integer_915: integer := 915;
  917.     integer_916: integer := 916;
  918.     integer_917: integer := 917;
  919.     integer_918: integer := 918;
  920.     integer_919: integer := 919;
  921.     integer_920: integer := 920;
  922.     integer_921: integer := 921;
  923.     integer_922: integer := 922;
  924.     integer_923: integer := 923;
  925.     integer_924: integer := 924;
  926.     integer_925: integer := 925;
  927.     integer_926: integer := 926;
  928.     integer_927: integer := 927;
  929.     integer_928: integer := 928;
  930.     integer_929: integer := 929;
  931.     integer_930: integer := 930;
  932.     integer_931: integer := 931;
  933.     integer_932: integer := 932;
  934.     integer_933: integer := 933;
  935.     integer_934: integer := 934;
  936.     integer_935: integer := 935;
  937.     integer_936: integer := 936;
  938.     integer_937: integer := 937;
  939.     integer_938: integer := 938;
  940.     integer_939: integer := 939;
  941.     integer_940: integer := 940;
  942.     integer_941: integer := 941;
  943.     integer_942: integer := 942;
  944.     integer_943: integer := 943;
  945.     integer_944: integer := 944;
  946.     integer_945: integer := 945;
  947.     integer_946: integer := 946;
  948.     integer_947: integer := 947;
  949.     integer_948: integer := 948;
  950.     integer_949: integer := 949;
  951.     integer_950: integer := 950;
  952.     integer_951: integer := 951;
  953.     integer_952: integer := 952;
  954.     integer_953: integer := 953;
  955.     integer_954: integer := 954;
  956.     integer_955: integer := 955;
  957.     integer_956: integer := 956;
  958.     integer_957: integer := 957;
  959.     integer_958: integer := 958;
  960.     integer_959: integer := 959;
  961.     integer_960: integer := 960;
  962.     integer_961: integer := 961;
  963.     integer_962: integer := 962;
  964.     integer_963: integer := 963;
  965.     integer_964: integer := 964;
  966.     integer_965: integer := 965;
  967.     integer_966: integer := 966;
  968.     integer_967: integer := 967;
  969.     integer_968: integer := 968;
  970.     integer_969: integer := 969;
  971.     integer_970: integer := 970;
  972.     integer_971: integer := 971;
  973.     integer_972: integer := 972;
  974.     integer_973: integer := 973;
  975.     integer_974: integer := 974;
  976.     integer_975: integer := 975;
  977.     integer_976: integer := 976;
  978.     integer_977: integer := 977;
  979.     integer_978: integer := 978;
  980.     integer_979: integer := 979;
  981.     integer_980: integer := 980;
  982.     integer_981: integer := 981;
  983.     integer_982: integer := 982;
  984.     integer_983: integer := 983;
  985.     integer_984: integer := 984;
  986.     integer_985: integer := 985;
  987.     integer_986: integer := 986;
  988.     integer_987: integer := 987;
  989.     integer_988: integer := 988;
  990.     integer_989: integer := 989;
  991.     integer_990: integer := 990;
  992.     integer_991: integer := 991;
  993.     integer_992: integer := 992;
  994.     integer_993: integer := 993;
  995.     integer_994: integer := 994;
  996.     integer_995: integer := 995;
  997.     integer_996: integer := 996;
  998.     integer_997: integer := 997;
  999.     integer_998: integer := 998;
  1000.     integer_999: integer := 999;
  1001.     integer_1000: integer := 1000;
  1002.     begin
  1003.     null;
  1004.     end z000124;
  1005.