// $HeadURL$
// $Date$
// $Author$

module dstress.run.named_entity_01;

// "-//W3C//ENTITIES Full Latin 1//EN//HTML"

int main(){
	assert('\ '==160);
	assert('\¡'==161);
	assert('\¢'==162);
	assert('\£'==163);
	assert('\¤'==164);
	assert('\¥'==165);
	assert('\¦'==166);
	assert('\§'==167);
	assert('\¨'==168);
	assert('\©'==169);
	assert('\ª'==170);
	assert('\«'==171);
	assert('\¬'==172);
	assert('\­'==173);
	assert('\®'==174);
	assert('\¯'==175);
	assert('\°'==176);
	assert('\±'==177);
	assert('\²'==178);
	assert('\³'==179);
	assert('\´'==180);
	assert('\µ'==181);
	assert('\¶'==182);
	assert('\·'==183);
	assert('\¸'==184);
	assert('\¹'==185);
	assert('\º'==186);
	assert('\»'==187);
	assert('\¼'==188);
	assert('\½'==189);
	assert('\¾'==190);
	assert('\¿'==191);
	assert('\À'==192);
	assert('\Á'==193);
	assert('\Â'==194);
	assert('\Ã'==195);
	assert('\Ä'==196);
	assert('\Å'==197);
	assert('\Æ'==198);
	assert('\Ç'==199);
	assert('\È'==200);
	assert('\É'==201);
	assert('\Ê'==202);
	assert('\Ë'==203);
	assert('\Ì'==204);
	assert('\Í'==205);
	assert('\Î'==206);
	assert('\Ï'==207);
	assert('\Ð'==208);
	assert('\Ñ'==209);
	assert('\Ò'==210);
	assert('\Ó'==211);
	assert('\Ô'==212);
	assert('\Õ'==213);
	assert('\Ö'==214);
	assert('\×'==215);
	assert('\Ø'==216);
	assert('\Ù'==217);
	assert('\Ú'==218);
	assert('\Û'==219);
	assert('\Ü'==220);
	assert('\Ý'==221);
	assert('\Þ'==222);
	assert('\ß'==223);
	assert('\à'==224);
	assert('\á'==225);
	assert('\â'==226);
	assert('\ã'==227);
	assert('\ä'==228);
	assert('\å'==229);
	assert('\æ'==230);
	assert('\ç'==231);
	assert('\è'==232);
	assert('\é'==233);
	assert('\ê'==234);
	assert('\ë'==235);
	assert('\ì'==236);
	assert('\í'==237);
	assert('\î'==238);
	assert('\ï'==239);
	assert('\ð'==240);
	assert('\ñ'==241);
	assert('\ò'==242);
	assert('\ó'==243);
	assert('\ô'==244);
	assert('\õ'==245);
	assert('\ö'==246);
	assert('\÷'==247);
	assert('\ø'==248);
	assert('\ù'==249);
	assert('\ú'==250);
	assert('\û'==251);
	assert('\ü'==252);
	assert('\ý'==253);
	assert('\þ'==254);
	assert('\ÿ'==255);
	return 0;
}