--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

	-- To reproduce error:
	-- Compile classes as is.  Compiler reports VTCT on class `E',
	--	although `E' is a formal generic parameter and so should
	--	be usable as a type.

class TEST
inherit
	TEST1 [INTEGER, REAL, DOUBLE, BOOLEAN, CHARACTER, STRING, STRING, STRING, STRING, STRING, STRING, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER, INTEGER]
creation
	make
feature
	make is
		do
			x1 := 47
			x2 := {REAL_32} 47.0
			x3 := 47.0
			x4 := True
			x5 := 'W'
			x6 := "W"
			x7 := "We"
			x8 := "Wea"
			x9 := "Weas"
			x10 := "Wease"
			x11 := "Weasel"
			x12 := 47
			x13 := 47
			x14 := 47
			x15 := 47
			x16 := 47
			x17 := 47
			x18 := 47
			x19 := 47
			x20 := 47
			x21 := 47
			x22 := 47
			x23 := 47
			x24 := 47
			x25 := 47
			x26 := 47
			x27 := 47
			x28 := 47
			x29 := 47
			x30 := 47
			x31 := 47
			x32 := 47
			x33 := 47
			x34 := 47
			x35 := 47
			x36 := 47
			x37 := 47
			x38 := 47
			x39 := 47
			x40 := 47
			x41 := 47
			x42 := 47
			x43 := 47
			x44 := 47
			x45 := 47
			x46 := 47
			x47 := 47
			x48 := 47
			x49 := 47
			x50 := 47
			x51 := 47
			x52 := 47
			x53 := 47
			x54 := 47
			x55 := 47
			x56 := 47
			x57 := 47
			x58 := 47
			x59 := 47
			x60 := 47
			x61 := 47
			x62 := 47
			x63 := 47
			x64 := 47
			x65 := 47
			x66 := 47
			x67 := 47
			x68 := 47
			x69 := 47
			x70 := 47
			x71 := 47
			x72 := 47
			x73 := 47
			x74 := 47
			x75 := 47
			x76 := 47
			x77 := 47
			x78 := 47
			x79 := 47
			x80 := 47
			x81 := 47
			x82 := 47
			x83 := 47
			x84 := 47
			x85 := 47
			x86 := 47
			x87 := 47
			x88 := 47
			x89 := 47
			x90 := 47
			x91 := 47
			x92 := 47
			x93 := 47
			x94 := 47
			x95 := 47
			x96 := 47
			x97 := 47
			x98 := 47
			x99 := 47
			x100 := 47
			x101 := 47
			x102 := 47
			x103 := 47
			x104 := 47
			x105 := 47
			x106 := 47
			x107 := 47
			x108 := 47
			x109 := 47
			x110 := 47
			x111 := 47
			x112 := 47
			x113 := 47
			x114 := 47
			x115 := 47
			x116 := 47
			x117 := 47
			x118 := 47
			x119 := 47
			x120 := 47
			x121 := 47
			x122 := 47
			x123 := 47
			x124 := 47
			x125 := 47
			x126 := 47
			x127 := 47
			x128 := 47
			x129 := 47
			x130 := 47
			x131 := 47
			x132 := 47
			x133 := 47
			x134 := 47
			x135 := 47
			x136 := 47
			x137 := 47
			x138 := 47
			x139 := 47
			x140 := 47
			x141 := 47
			x142 := 47
			x143 := 47
			x144 := 47
			x145 := 47
			x146 := 47
			x147 := 47
			x148 := 47
			x149 := 47
			x150 := 47
			x151 := 47
			x152 := 47
			x153 := 47
			x154 := 47
			x155 := 47
			x156 := 47
			x157 := 47
			x158 := 47
			x159 := 47
			x160 := 47
			x161 := 47
			x162 := 47
			x163 := 47
			x164 := 47
			x165 := 47
			x166 := 47
			x167 := 47
			x168 := 47
			x169 := 47
			x170 := 47
			x171 := 47
			x172 := 47
			x173 := 47
			x174 := 47
			x175 := 47
			x176 := 47
			x177 := 47
			x178 := 47
			x179 := 47
			x180 := 47
			x181 := 47
			x182 := 47
			x183 := 47
			x184 := 47
			x185 := 47
			x186 := 47
			x187 := 47
			x188 := 47
			x189 := 47
			x190 := 47
			x191 := 47
			x192 := 47
			x193 := 47
			x194 := 47
			x195 := 47
			x196 := 47
			x197 := 47
			x198 := 47
			x199 := 47
			x200 := 47
			x201 := 47
			x202 := 47
			x203 := 47
			x204 := 47
			x205 := 47
			x206 := 47
			x207 := 47
			x208 := 47
			x209 := 47
			x210 := 47
			x211 := 47
			x212 := 47
			x213 := 47
			x214 := 47
			x215 := 47
			x216 := 47
			x217 := 47
			x218 := 47
			x219 := 47
			x220 := 47
			x221 := 47
			x222 := 47
			x223 := 47
			x224 := 47
			x225 := 47
			x226 := 47
			x227 := 47
			x228 := 47
			x229 := 47
			x230 := 47
			x231 := 47
			x232 := 47
			x233 := 47
			x234 := 47
			x235 := 47
			x236 := 47
			x237 := 47
			x238 := 47
			x239 := 47
			x240 := 47
			x241 := 47
			x242 := 47
			x243 := 47
			x244 := 47
			x245 := 47
			x246 := 47
			x247 := 47
			x248 := 47
			x249 := 47
			x250 := 47
			x251 := 47
			x252 := 47
			x253 := 47
			x254 := 47
			x255 := 47
			x256 := 47
			x257 := 47
			x258 := 47
			x259 := 47
			x260 := 47
			x261 := 47
			x262 := 47
			x263 := 47
			x264 := 47
			x265 := 47
			x266 := 47
			x267 := 47
			x268 := 47
			x269 := 47
			x270 := 47
			x271 := 47
			x272 := 47
			x273 := 47
			x274 := 47
			x275 := 47
			x276 := 47
			x277 := 47
			x278 := 47
			x279 := 47
			x280 := 47
			x281 := 47
			x282 := 47
			x283 := 47
			x284 := 47
			x285 := 47
			x286 := 47
			x287 := 47
			x288 := 47
			x289 := 47
			x290 := 47
			x291 := 47
			x292 := 47
			x293 := 47
			x294 := 47
			x295 := 47
			x296 := 47
			x297 := 47
			x298 := 47
			x299 := 47
			x300 := 47
			x301 := 47
			x302 := 47
			x303 := 47
			x304 := 47
			x305 := 47
			x306 := 47
			x307 := 47
			x308 := 47
			x309 := 47
			x310 := 47
			x311 := 47
			x312 := 47
			x313 := 47
			x314 := 47
			x315 := 47
			x316 := 47
			x317 := 47
			x318 := 47
			x319 := 47
			x320 := 47
			x321 := 47
			x322 := 47
			x323 := 47
			x324 := 47
			x325 := 47
			x326 := 47
			x327 := 47
			x328 := 47
			x329 := 47
			x330 := 47
			x331 := 47
			x332 := 47
			x333 := 47
			x334 := 47
			x335 := 47
			x336 := 47
			x337 := 47
			x338 := 47
			x339 := 47
			x340 := 47
			x341 := 47
			x342 := 47
			x343 := 47
			x344 := 47
			x345 := 47
			x346 := 47
			x347 := 47
			x348 := 47
			x349 := 47
			x350 := 47
			x351 := 47
			x352 := 47
			x353 := 47
			x354 := 47
			x355 := 47
			x356 := 47
			x357 := 47
			x358 := 47
			x359 := 47
			x360 := 47
			x361 := 47
			x362 := 47
			x363 := 47
			x364 := 47
			x365 := 47
			x366 := 47
			x367 := 47
			x368 := 47
			x369 := 47
			x370 := 47
			x371 := 47
			x372 := 47
			x373 := 47
			x374 := 47
			x375 := 47
			x376 := 47
			x377 := 47
			x378 := 47
			x379 := 47
			x380 := 47
			x381 := 47
			x382 := 47
			x383 := 47
			x384 := 47
			x385 := 47
			x386 := 47
			x387 := 47
			x388 := 47
			x389 := 47
			x390 := 47
			x391 := 47
			x392 := 47
			x393 := 47
			x394 := 47
			x395 := 47
			x396 := 47
			x397 := 47
			x398 := 47
			x399 := 47
			x400 := 47
			x401 := 47
			x402 := 47
			x403 := 47
			x404 := 47
			x405 := 47
			x406 := 47
			x407 := 47
			x408 := 47
			x409 := 47
			x410 := 47
			x411 := 47
			x412 := 47
			x413 := 47
			x414 := 47
			x415 := 47
			x416 := 47
			x417 := 47
			x418 := 47
			x419 := 47
			x420 := 47
			x421 := 47
			x422 := 47
			x423 := 47
			x424 := 47
			x425 := 47
			x426 := 47
			x427 := 47
			x428 := 47
			x429 := 47
			x430 := 47
			x431 := 47
			x432 := 47
			x433 := 47
			x434 := 47
			x435 := 47
			x436 := 47
			x437 := 47
			x438 := 47
			x439 := 47
			x440 := 47
			x441 := 47
			x442 := 47
			x443 := 47
			x444 := 47
			x445 := 47
			x446 := 47
			x447 := 47
			x448 := 47
			x449 := 47
			x450 := 47
			x451 := 47
			x452 := 47
			x453 := 47
			x454 := 47
			x455 := 47
			x456 := 47
			x457 := 47
			x458 := 47
			x459 := 47
			x460 := 47
			x461 := 47
			x462 := 47
			x463 := 47
			x464 := 47
			x465 := 47
			x466 := 47
			x467 := 47
			x468 := 47
			x469 := 47
			x470 := 47
			x471 := 47
			x472 := 47
			x473 := 47
			x474 := 47
			x475 := 47
			x476 := 47
			x477 := 47
			x478 := 47
			x479 := 47
			x480 := 47
			x481 := 47
			x482 := 47
			x483 := 47
			x484 := 47
			x485 := 47
			x486 := 47
			x487 := 47
			x488 := 47
			x489 := 47
			x490 := 47
			x491 := 47
			x492 := 47
			x493 := 47
			x494 := 47
			x495 := 47
			x496 := 47
			x497 := 47
			x498 := 47
			x499 := 47
			x500 := 47
			x501 := 47
			x502 := 47
			x503 := 47
			x504 := 47
			x505 := 47
			x506 := 47
			x507 := 47
			x508 := 47
			x509 := 47
			x510 := 47
			x511 := 47
			x512 := 47
			x513 := 47
			x514 := 47
			x515 := 47
			x516 := 47
			x517 := 47
			x518 := 47
			x519 := 47
			x520 := 47
			x521 := 47
			x522 := 47
			x523 := 47
			x524 := 47
			x525 := 47
			x526 := 47
			x527 := 47
			x528 := 47
			x529 := 47
			x530 := 47
			x531 := 47
			x532 := 47
			x533 := 47
			x534 := 47
			x535 := 47
			x536 := 47
			x537 := 47
			x538 := 47
			x539 := 47
			x540 := 47
			x541 := 47
			x542 := 47
			x543 := 47
			x544 := 47
			x545 := 47
			x546 := 47
			x547 := 47
			x548 := 47
			x549 := 47
			x550 := 47
			x551 := 47
			x552 := 47
			x553 := 47
			x554 := 47
			x555 := 47
			x556 := 47
			x557 := 47
			x558 := 47
			x559 := 47
			x560 := 47
			x561 := 47
			x562 := 47
			x563 := 47
			x564 := 47
			x565 := 47
			x566 := 47
			x567 := 47
			x568 := 47
			x569 := 47
			x570 := 47
			x571 := 47
			x572 := 47
			x573 := 47
			x574 := 47
			x575 := 47
			x576 := 47
			x577 := 47
			x578 := 47
			x579 := 47
			x580 := 47
			x581 := 47
			x582 := 47
			x583 := 47
			x584 := 47
			x585 := 47
			x586 := 47
			x587 := 47
			x588 := 47
			x589 := 47
			x590 := 47
			x591 := 47
			x592 := 47
			x593 := 47
			x594 := 47
			x595 := 47
			x596 := 47
			x597 := 47
			x598 := 47
			x599 := 47
			x600 := 47
			x601 := 47
			x602 := 47
			x603 := 47
			x604 := 47
			x605 := 47
			x606 := 47
			x607 := 47
			x608 := 47
			x609 := 47
			x610 := 47
			x611 := 47
			x612 := 47
			x613 := 47
			x614 := 47
			x615 := 47
			x616 := 47
			x617 := 47
			x618 := 47
			x619 := 47
			x620 := 47
			x621 := 47
			x622 := 47
			x623 := 47
			x624 := 47
			x625 := 47
			x626 := 47
			x627 := 47
			x628 := 47
			x629 := 47
			x630 := 47
			x631 := 47
			x632 := 47
			x633 := 47
			x634 := 47
			x635 := 47
			x636 := 47
			x637 := 47
			x638 := 47
			x639 := 47
			x640 := 47
			x641 := 47
			x642 := 47
			x643 := 47
			x644 := 47
			x645 := 47
			x646 := 47
			x647 := 47
			x648 := 47
			x649 := 47
			x650 := 47
			x651 := 47
			x652 := 47
			x653 := 47
			x654 := 47
			x655 := 47
			x656 := 47
			x657 := 47
			x658 := 47
			x659 := 47
			x660 := 47
			x661 := 47
			x662 := 47
			x663 := 47
			x664 := 47
			x665 := 47
			x666 := 47
			x667 := 47
			x668 := 47
			x669 := 47
			x670 := 47
			x671 := 47
			x672 := 47
			x673 := 47
			x674 := 47
			x675 := 47
			x676 := 47
			x677 := 47
			x678 := 47
			x679 := 47
			x680 := 47
			x681 := 47
			x682 := 47
			x683 := 47
			x684 := 47
			x685 := 47
			x686 := 47
			x687 := 47
			x688 := 47
			x689 := 47
			x690 := 47
			x691 := 47
			x692 := 47
			x693 := 47
			x694 := 47
			x695 := 47
			x696 := 47
			x697 := 47
			x698 := 47
			x699 := 47
			x700 := 47
			x701 := 47
			x702 := 47
			x703 := 47
			x704 := 47
			x705 := 47
			x706 := 47
			x707 := 47
			x708 := 47
			x709 := 47
			x710 := 47
			x711 := 47
			x712 := 47
			x713 := 47
			x714 := 47
			x715 := 47
			x716 := 47
			x717 := 47
			x718 := 47
			x719 := 47
			x720 := 47
			x721 := 47
			x722 := 47
			x723 := 47
			x724 := 47
			x725 := 47
			x726 := 47
			x727 := 47
			x728 := 47
			x729 := 47
			x730 := 47
			x731 := 47
			x732 := 47
			x733 := 47
			x734 := 47
			x735 := 47
			x736 := 47
			x737 := 47
			x738 := 47
			x739 := 47
			x740 := 47
			x741 := 47
			x742 := 47
			x743 := 47
			x744 := 47
			x745 := 47
			x746 := 47
			x747 := 47
			x748 := 47
			x749 := 47
			x750 := 47
			x751 := 47
			x752 := 47
			x753 := 47
			x754 := 47
			x755 := 47
			x756 := 47
			x757 := 47
			x758 := 47
			x759 := 47
			x760 := 47
			x761 := 47
			x762 := 47
			x763 := 47
			x764 := 47
			x765 := 47
			x766 := 47
			x767 := 47
			x768 := 47
			x769 := 47
			x770 := 47
			x771 := 47
			x772 := 47
			x773 := 47
			x774 := 47
			x775 := 47
			x776 := 47
			x777 := 47
			x778 := 47
			x779 := 47
			x780 := 47
			x781 := 47
			x782 := 47
			x783 := 47
			x784 := 47
			x785 := 47
			x786 := 47
			x787 := 47
			x788 := 47
			x789 := 47
			x790 := 47
			x791 := 47
			x792 := 47
			x793 := 47
			x794 := 47
			x795 := 47
			x796 := 47
			x797 := 47
			x798 := 47
			x799 := 47
			x800 := 47
			x801 := 47
			x802 := 47
			x803 := 47
			x804 := 47
			x805 := 47
			x806 := 47
			x807 := 47
			x808 := 47
			x809 := 47
			x810 := 47
			x811 := 47
			x812 := 47
			x813 := 47
			x814 := 47
			x815 := 47
			x816 := 47
			x817 := 47
			x818 := 47
			x819 := 47
			x820 := 47
			x821 := 47
			x822 := 47
			x823 := 47
			x824 := 47
			x825 := 47
			x826 := 47
			x827 := 47
			x828 := 47
			x829 := 47
			x830 := 47
			x831 := 47
			x832 := 47
			x833 := 47
			x834 := 47
			x835 := 47
			x836 := 47
			x837 := 47
			x838 := 47
			x839 := 47
			x840 := 47
			x841 := 47
			x842 := 47
			x843 := 47
			x844 := 47
			x845 := 47
			x846 := 47
			x847 := 47
			x848 := 47
			x849 := 47
			x850 := 47
			x851 := 47
			x852 := 47
			x853 := 47
			x854 := 47
			x855 := 47
			x856 := 47
			x857 := 47
			x858 := 47
			x859 := 47
			x860 := 47
			x861 := 47
			x862 := 47
			x863 := 47
			x864 := 47
			x865 := 47
			x866 := 47
			x867 := 47
			x868 := 47
			x869 := 47
			x870 := 47
			x871 := 47
			x872 := 47
			x873 := 47
			x874 := 47
			x875 := 47
			x876 := 47
			x877 := 47
			x878 := 47
			x879 := 47
			x880 := 47
			x881 := 47
			x882 := 47
			x883 := 47
			x884 := 47
			x885 := 47
			x886 := 47
			x887 := 47
			x888 := 47
			x889 := 47
			x890 := 47
			x891 := 47
			x892 := 47
			x893 := 47
			x894 := 47
			x895 := 47
			x896 := 47
			x897 := 47
			x898 := 47
			x899 := 47
			x900 := 47
			x901 := 47
			x902 := 47
			x903 := 47
			x904 := 47
			x905 := 47
			x906 := 47
			x907 := 47
			x908 := 47
			x909 := 47
			x910 := 47
			x911 := 47
			x912 := 47
			x913 := 47
			x914 := 47
			x915 := 47
			x916 := 47
			x917 := 47
			x918 := 47
			x919 := 47
			x920 := 47
			x921 := 47
			x922 := 47
			x923 := 47
			x924 := 47
			x925 := 47
			x926 := 47
			x927 := 47
			x928 := 47
			x929 := 47
			x930 := 47
			x931 := 47
			x932 := 47
			x933 := 47
			x934 := 47
			x935 := 47
			x936 := 47
			x937 := 47
			x938 := 47
			x939 := 47
			x940 := 47
			x941 := 47
			x942 := 47
			x943 := 47
			x944 := 47
			x945 := 47
			x946 := 47
			x947 := 47
			x948 := 47
			x949 := 47
			x950 := 47
			x951 := 47
			x952 := 47
			x953 := 47
			x954 := 47
			x955 := 47
			x956 := 47
			x957 := 47
			x958 := 47
			x959 := 47
			x960 := 47
			x961 := 47
			x962 := 47
			x963 := 47
			x964 := 47
			x965 := 47
			x966 := 47
			x967 := 47
			x968 := 47
			x969 := 47
			x970 := 47
			x971 := 47
			x972 := 47
			x973 := 47
			x974 := 47
			x975 := 47
			x976 := 47
			x977 := 47
			x978 := 47
			x979 := 47
			x980 := 47
			x981 := 47
			x982 := 47
			x983 := 47
			x984 := 47
			x985 := 47
			x986 := 47
			x987 := 47
			x988 := 47
			x989 := 47
			x990 := 47
			x991 := 47
			x992 := 47
			x993 := 47
			x994 := 47
			x995 := 47
			x996 := 47
			x997 := 47
			x998 := 47
			x999 := 47
			x1000 := 47

		end;

end