class TEST

create
	make

feature {NONE} -- Creation
	
	make is
			-- Run test.
		do
			print (x1); io.new_line
			print (x2); io.new_line
			print (x3); io.new_line
			print (x4); io.new_line
			print (x5); io.new_line
			print (x6); io.new_line
			print (x7); io.new_line
			print (x8); io.new_line
			print (x9); io.new_line
			print (x10); io.new_line
			print (x11); io.new_line
			print (x12); io.new_line
			print (x13); io.new_line
			print (x14); io.new_line
			print (x15); io.new_line
			print (x16); io.new_line
			print (x17); io.new_line
			print (x18); io.new_line
			print (x19); io.new_line
			print (x20); io.new_line
			print (x21); io.new_line
			print (x22); io.new_line
			print (x23); io.new_line
			print (x24); io.new_line
			print (x25); io.new_line
			print (x26); io.new_line
			print (x27); io.new_line
			print (x28); io.new_line
			print (x29); io.new_line
			print (x30); io.new_line
			print (x31); io.new_line
			print (x32); io.new_line
			print (x33); io.new_line
			print (x34); io.new_line
			print (x35); io.new_line
			print (x36); io.new_line
			print (x37); io.new_line
			print (x38); io.new_line
			print (x39); io.new_line
			print (x40); io.new_line
			print (x41); io.new_line
			print (x42); io.new_line
			print (x43); io.new_line
			print (x44); io.new_line
			print (x45); io.new_line
			print (x46); io.new_line
			print (x47); io.new_line
			print (x48); io.new_line
			print (x49); io.new_line
			print (x50); io.new_line
			print (x51); io.new_line
			print (x52); io.new_line
			print (x53); io.new_line
			print (x54); io.new_line
			print (x55); io.new_line
			print (x56); io.new_line
			print (x57); io.new_line
			print (x58); io.new_line
			print (x59); io.new_line
			print (x60); io.new_line
			print (x61); io.new_line
			print (x62); io.new_line
			print (x63); io.new_line
			print (x64); io.new_line
			print (x65); io.new_line
			print (x66); io.new_line
			print (x67); io.new_line
			print (x68); io.new_line
			print (x69); io.new_line
			print (x70); io.new_line
			print (x71); io.new_line
			print (x72); io.new_line
			print (x73); io.new_line
			print (x74); io.new_line
			print (x75); io.new_line
			print (x76); io.new_line
			print (x77); io.new_line
			print (x78); io.new_line
			print (x79); io.new_line
			print (x80); io.new_line
			print (x81); io.new_line
			print (x82); io.new_line
			print (x83); io.new_line
			print (x84); io.new_line
			print (x85); io.new_line
			print (x86); io.new_line
			print (x87); io.new_line
			print (x88); io.new_line
			print (x89); io.new_line
			print (x90); io.new_line
			print (x91); io.new_line
			print (x92); io.new_line
			print (x93); io.new_line
			print (x94); io.new_line
			print (x95); io.new_line
			print (x96); io.new_line
			print (x97); io.new_line
			print (x98); io.new_line
			print (x99); io.new_line
			print (x100); io.new_line
			print (x101); io.new_line
			print (x102); io.new_line
			print (x103); io.new_line
			print (x104); io.new_line
			print (x105); io.new_line
			print (x106); io.new_line
			print (x107); io.new_line
			print (x108); io.new_line
			print (x109); io.new_line
			print (x110); io.new_line
			print (x111); io.new_line
			print (x112); io.new_line
			print (x113); io.new_line
			print (x114); io.new_line
			print (x115); io.new_line
			print (x116); io.new_line
			print (x117); io.new_line
			print (x118); io.new_line
			print (x119); io.new_line
			print (x120); io.new_line
			print (x121); io.new_line
			print (x122); io.new_line
			print (x123); io.new_line
			print (x124); io.new_line
			print (x125); io.new_line
			print (x126); io.new_line
			print (x127); io.new_line
			print (x128); io.new_line
			print (x129); io.new_line
			print (x130); io.new_line
			print (x131); io.new_line
			print (x132); io.new_line
			print (x133); io.new_line
			print (x134); io.new_line
			print (x135); io.new_line
			print (x136); io.new_line
			print (x137); io.new_line
			print (x138); io.new_line
			print (x139); io.new_line
			print (x140); io.new_line
			print (x141); io.new_line
			print (x142); io.new_line
			print (x143); io.new_line
			print (x144); io.new_line
			print (x145); io.new_line
			print (x146); io.new_line
			print (x147); io.new_line
			print (x148); io.new_line
			print (x149); io.new_line
			print (x150); io.new_line
			print (x151); io.new_line
			print (x152); io.new_line
			print (x153); io.new_line
			print (x154); io.new_line
			print (x155); io.new_line
			print (x156); io.new_line
			print (x157); io.new_line
			print (x158); io.new_line
			print (x159); io.new_line
			print (x160); io.new_line
			print (x161); io.new_line
			print (x162); io.new_line
			print (x163); io.new_line
			print (x164); io.new_line
			print (x165); io.new_line
			print (x166); io.new_line
			print (x167); io.new_line
			print (x168); io.new_line
			print (x169); io.new_line
			print (x170); io.new_line
			print (x171); io.new_line
			print (x172); io.new_line
			print (x173); io.new_line
			print (x174); io.new_line
			print (x175); io.new_line
			print (x176); io.new_line
			print (x177); io.new_line
			print (x178); io.new_line
			print (x179); io.new_line
			print (x180); io.new_line
			print (x181); io.new_line
			print (x182); io.new_line
			print (x183); io.new_line
			print (x184); io.new_line
			print (x185); io.new_line
			print (x186); io.new_line
			print (x187); io.new_line
			print (x188); io.new_line
			print (x189); io.new_line
			print (x190); io.new_line
			print (x191); io.new_line
			print (x192); io.new_line
			print (x193); io.new_line
			print (x194); io.new_line
			print (x195); io.new_line
			print (x196); io.new_line
			print (x197); io.new_line
			print (x198); io.new_line
			print (x199); io.new_line
			print (x200); io.new_line
			print (x201); io.new_line
			print (x202); io.new_line
			print (x203); io.new_line
			print (x204); io.new_line
			print (x205); io.new_line
			print (x206); io.new_line
			print (x207); io.new_line
			print (x208); io.new_line
			print (x209); io.new_line
			print (x210); io.new_line
			print (x211); io.new_line
			print (x212); io.new_line
			print (x213); io.new_line
			print (x214); io.new_line
			print (x215); io.new_line
			print (x216); io.new_line
			print (x217); io.new_line
			print (x218); io.new_line
			print (x219); io.new_line
			print (x220); io.new_line
			print (x221); io.new_line
			print (x222); io.new_line
			print (x223); io.new_line
			print (x224); io.new_line
			print (x225); io.new_line
			print (x226); io.new_line
			print (x227); io.new_line
			print (x228); io.new_line
			print (x229); io.new_line
			print (x230); io.new_line
			print (x231); io.new_line
			print (x232); io.new_line
			print (x233); io.new_line
			print (x234); io.new_line
			print (x235); io.new_line
			print (x236); io.new_line
			print (x237); io.new_line
			print (x238); io.new_line
			print (x239); io.new_line
			print (x240); io.new_line
			print (x241); io.new_line
			print (x242); io.new_line
			print (x243); io.new_line
			print (x244); io.new_line
			print (x245); io.new_line
			print (x246); io.new_line
			print (x247); io.new_line
			print (x248); io.new_line
			print (x249); io.new_line
			print (x250); io.new_line
			print (x251); io.new_line
			print (x252); io.new_line
			print (x253); io.new_line
			print (x254); io.new_line
			print (x255); io.new_line
			print (x256); io.new_line
			print (x257); io.new_line
			print (x258); io.new_line
			print (x259); io.new_line
			print (x260); io.new_line
			print (x261); io.new_line
			print (x262); io.new_line
			print (x263); io.new_line
			print (x264); io.new_line
			print (x265); io.new_line
			print (x266); io.new_line
			print (x267); io.new_line
			print (x268); io.new_line
			print (x269); io.new_line
			print (x270); io.new_line
			print (x271); io.new_line
			print (x272); io.new_line
			print (x273); io.new_line
			print (x274); io.new_line
			print (x275); io.new_line
			print (x276); io.new_line
			print (x277); io.new_line
			print (x278); io.new_line
			print (x279); io.new_line
			print (x280); io.new_line
			print (x281); io.new_line
			print (x282); io.new_line
			print (x283); io.new_line
			print (x284); io.new_line
			print (x285); io.new_line
			print (x286); io.new_line
			print (x287); io.new_line
			print (x288); io.new_line
			print (x289); io.new_line
			print (x290); io.new_line
			print (x291); io.new_line
			print (x292); io.new_line
			print (x293); io.new_line
			print (x294); io.new_line
			print (x295); io.new_line
			print (x296); io.new_line
			print (x297); io.new_line
			print (x298); io.new_line
			print (x299); io.new_line
			print (x300); io.new_line
			print (x301); io.new_line
			print (x302); io.new_line
			print (x303); io.new_line
			print (x304); io.new_line
			print (x305); io.new_line
			print (x306); io.new_line
			print (x307); io.new_line
			print (x308); io.new_line
			print (x309); io.new_line
			print (x310); io.new_line
			print (x311); io.new_line
			print (x312); io.new_line
			print (x313); io.new_line
			print (x314); io.new_line
			print (x315); io.new_line
			print (x316); io.new_line
			print (x317); io.new_line
			print (x318); io.new_line
			print (x319); io.new_line
			print (x320); io.new_line
			print (x321); io.new_line
			print (x322); io.new_line
			print (x323); io.new_line
			print (x324); io.new_line
			print (x325); io.new_line
			print (x326); io.new_line
			print (x327); io.new_line
			print (x328); io.new_line
			print (x329); io.new_line
			print (x330); io.new_line
			print (x331); io.new_line
			print (x332); io.new_line
			print (x333); io.new_line
			print (x334); io.new_line
			print (x335); io.new_line
			print (x336); io.new_line
			print (x337); io.new_line
			print (x338); io.new_line
			print (x339); io.new_line
			print (x340); io.new_line
			print (x341); io.new_line
			print (x342); io.new_line
			print (x343); io.new_line
			print (x344); io.new_line
			print (x345); io.new_line
			print (x346); io.new_line
			print (x347); io.new_line
			print (x348); io.new_line
			print (x349); io.new_line
			print (x350); io.new_line
			print (x351); io.new_line
			print (x352); io.new_line
			print (x353); io.new_line
			print (x354); io.new_line
			print (x355); io.new_line
			print (x356); io.new_line
			print (x357); io.new_line
			print (x358); io.new_line
			print (x359); io.new_line
			print (x360); io.new_line
			print (x361); io.new_line
			print (x362); io.new_line
			print (x363); io.new_line
			print (x364); io.new_line
			print (x365); io.new_line
			print (x366); io.new_line
			print (x367); io.new_line
			print (x368); io.new_line
			print (x369); io.new_line
			print (x370); io.new_line
			print (x371); io.new_line
			print (x372); io.new_line
			print (x373); io.new_line
			print (x374); io.new_line
			print (x375); io.new_line
			print (x376); io.new_line
			print (x377); io.new_line
			print (x378); io.new_line
			print (x379); io.new_line
			print (x380); io.new_line
			print (x381); io.new_line
			print (x382); io.new_line
			print (x383); io.new_line
			print (x384); io.new_line
			print (x385); io.new_line
			print (x386); io.new_line
			print (x387); io.new_line
			print (x388); io.new_line
			print (x389); io.new_line
			print (x390); io.new_line
			print (x391); io.new_line
			print (x392); io.new_line
			print (x393); io.new_line
			print (x394); io.new_line
			print (x395); io.new_line
			print (x396); io.new_line
			print (x397); io.new_line
			print (x398); io.new_line
			print (x399); io.new_line
			print (x400); io.new_line
			print (x401); io.new_line
			print (x402); io.new_line
			print (x403); io.new_line
			print (x404); io.new_line
			print (x405); io.new_line
			print (x406); io.new_line
			print (x407); io.new_line
			print (x408); io.new_line
			print (x409); io.new_line
			print (x410); io.new_line
			print (x411); io.new_line
			print (x412); io.new_line
			print (x413); io.new_line
			print (x414); io.new_line
			print (x415); io.new_line
			print (x416); io.new_line
			print (x417); io.new_line
			print (x418); io.new_line
			print (x419); io.new_line
			print (x420); io.new_line
			print (x421); io.new_line
			print (x422); io.new_line
			print (x423); io.new_line
			print (x424); io.new_line
			print (x425); io.new_line
			print (x426); io.new_line
			print (x427); io.new_line
			print (x428); io.new_line
			print (x429); io.new_line
			print (x430); io.new_line
			print (x431); io.new_line
			print (x432); io.new_line
			print (x433); io.new_line
			print (x434); io.new_line
			print (x435); io.new_line
			print (x436); io.new_line
			print (x437); io.new_line
			print (x438); io.new_line
			print (x439); io.new_line
			print (x440); io.new_line
			print (x441); io.new_line
			print (x442); io.new_line
			print (x443); io.new_line
			print (x444); io.new_line
			print (x445); io.new_line
			print (x446); io.new_line
			print (x447); io.new_line
			print (x448); io.new_line
			print (x449); io.new_line
			print (x450); io.new_line
			print (x451); io.new_line
			print (x452); io.new_line
			print (x453); io.new_line
			print (x454); io.new_line
			print (x455); io.new_line
			print (x456); io.new_line
			print (x457); io.new_line
			print (x458); io.new_line
			print (x459); io.new_line
			print (x460); io.new_line
			print (x461); io.new_line
			print (x462); io.new_line
			print (x463); io.new_line
			print (x464); io.new_line
			print (x465); io.new_line
			print (x466); io.new_line
			print (x467); io.new_line
			print (x468); io.new_line
			print (x469); io.new_line
			print (x470); io.new_line
			print (x471); io.new_line
			print (x472); io.new_line
			print (x473); io.new_line
			print (x474); io.new_line
			print (x475); io.new_line
			print (x476); io.new_line
			print (x477); io.new_line
			print (x478); io.new_line
			print (x479); io.new_line
			print (x480); io.new_line
			print (x481); io.new_line
			print (x482); io.new_line
			print (x483); io.new_line
			print (x484); io.new_line
			print (x485); io.new_line
			print (x486); io.new_line
			print (x487); io.new_line
			print (x488); io.new_line
			print (x489); io.new_line
			print (x490); io.new_line
			print (x491); io.new_line
			print (x492); io.new_line
			print (x493); io.new_line
			print (x494); io.new_line
			print (x495); io.new_line
			print (x496); io.new_line
			print (x497); io.new_line
			print (x498); io.new_line
			print (x499); io.new_line
			print (x500); io.new_line
		end

feature {NONE} -- Constants

	x1, x2, x3, x4, x5, x6, x7, x8, x9, x10,
	x11, x12, x13, x14, x15, x16, x17, x18, x19, x20,
	x21, x22, x23, x24, x25, x26, x27, x28, x29, x30,
	x31, x32, x33, x34, x35, x36, x37, x38, x39, x40,
	x41, x42, x43, x44, x45, x46, x47, x48, x49, x50,
	x51, x52, x53, x54, x55, x56, x57, x58, x59, x60,
	x61, x62, x63, x64, x65, x66, x67, x68, x69, x70,
	x71, x72, x73, x74, x75, x76, x77, x78, x79, x80,
	x81, x82, x83, x84, x85, x86, x87, x88, x89, x90,
	x91, x92, x93, x94, x95, x96, x97, x98, x99, x100,
	x101, x102, x103, x104, x105, x106, x107, x108, x109, x110,
	x111, x112, x113, x114, x115, x116, x117, x118, x119, x120,
	x121, x122, x123, x124, x125, x126, x127, x128, x129, x130,
	x131, x132, x133, x134, x135, x136, x137, x138, x139, x140,
	x141, x142, x143, x144, x145, x146, x147, x148, x149, x150,
	x151, x152, x153, x154, x155, x156, x157, x158, x159, x160,
	x161, x162, x163, x164, x165, x166, x167, x168, x169, x170,
	x171, x172, x173, x174, x175, x176, x177, x178, x179, x180,
	x181, x182, x183, x184, x185, x186, x187, x188, x189, x190,
	x191, x192, x193, x194, x195, x196, x197, x198, x199, x200,
	x201, x202, x203, x204, x205, x206, x207, x208, x209, x210,
	x211, x212, x213, x214, x215, x216, x217, x218, x219, x220,
	x221, x222, x223, x224, x225, x226, x227, x228, x229, x230,
	x231, x232, x233, x234, x235, x236, x237, x238, x239, x240,
	x241, x242, x243, x244, x245, x246, x247, x248, x249, x250,
	x251, x252, x253, x254, x255, x256, x257, x258, x259, x260,
	x261, x262, x263, x264, x265, x266, x267, x268, x269, x270,
	x271, x272, x273, x274, x275, x276, x277, x278, x279, x280,
	x281, x282, x283, x284, x285, x286, x287, x288, x289, x290,
	x291, x292, x293, x294, x295, x296, x297, x298, x299, x300,
	x301, x302, x303, x304, x305, x306, x307, x308, x309, x310,
	x311, x312, x313, x314, x315, x316, x317, x318, x319, x320,
	x321, x322, x323, x324, x325, x326, x327, x328, x329, x330,
	x331, x332, x333, x334, x335, x336, x337, x338, x339, x340,
	x341, x342, x343, x344, x345, x346, x347, x348, x349, x350,
	x351, x352, x353, x354, x355, x356, x357, x358, x359, x360,
	x361, x362, x363, x364, x365, x366, x367, x368, x369, x370,
	x371, x372, x373, x374, x375, x376, x377, x378, x379, x380,
	x381, x382, x383, x384, x385, x386, x387, x388, x389, x390,
	x391, x392, x393, x394, x395, x396, x397, x398, x399, x400,
	x401, x402, x403, x404, x405, x406, x407, x408, x409, x410,
	x411, x412, x413, x414, x415, x416, x417, x418, x419, x420,
	x421, x422, x423, x424, x425, x426, x427, x428, x429, x430,
	x431, x432, x433, x434, x435, x436, x437, x438, x439, x440,
	x441, x442, x443, x444, x445, x446, x447, x448, x449, x450,
	x451, x452, x453, x454, x455, x456, x457, x458, x459, x460,
	x461, x462, x463, x464, x465, x466, x467, x468, x469, x470,
	x471, x472, x473, x474, x475, x476, x477, x478, x479, x480,
	x481, x482, x483, x484, x485, x486, x487, x488, x489, x490,
	x491, x492, x493, x494, x495, x496, x497, x498, x499, x500:
		INTEGER_8 is unique

end