module dstress.run.html_entity_cyr1;

int main(){
	static assert('А' == 0x410);
	static assert('а' == 0x430);
	static assert('Б' == 0x411);
	static assert('б' == 0x431);
	static assert('Ч' == 0x427);
	static assert('ч' == 0x447);
	static assert('Д' == 0x414);
	static assert('д' == 0x434);
	static assert('Э' == 0x42D);
	static assert('э' == 0x44D);
	static assert('Ф' == 0x424);
	static assert('ф' == 0x444);
	static assert('Г' == 0x413);
	static assert('г' == 0x433);
	static assert('Ъ' == 0x42A);
	static assert('ъ' == 0x44A);
	static assert('И' == 0x418);
	static assert('и' == 0x438);
	static assert('Е' == 0x415);
	static assert('е' == 0x435);
	static assert('Ё' == 0x401);
	static assert('ё' == 0x451);
	static assert('Й' == 0x419);
	static assert('й' == 0x439);
	static assert('К' == 0x41A);
	static assert('к' == 0x43A);
	static assert('Х' == 0x425);
	static assert('х' == 0x445);
	static assert('Л' == 0x41B);
	static assert('л' == 0x43B);
	static assert('М' == 0x41C);
	static assert('м' == 0x43C);
	static assert('Н' == 0x41D);
	static assert('н' == 0x43D);
	static assert('№' == 0x2116);
	static assert('О' == 0x41E);
	static assert('о' == 0x43E);
	static assert('П' == 0x41F);
	static assert('п' == 0x43F);
	static assert('Р' == 0x420);
	static assert('р' == 0x440);
	static assert('С' == 0x421);
	static assert('с' == 0x441);
	static assert('Щ' == 0x429);
	static assert('щ' == 0x449);
	static assert('Ш' == 0x428);
	static assert('ш' == 0x448);
	static assert('Ь' == 0x42C);
	static assert('ь' == 0x44C);
	static assert('Т' == 0x422);
	static assert('т' == 0x442);
	static assert('Ц' == 0x426);
	static assert('ц' == 0x446);
	static assert('У' == 0x423);
	static assert('у' == 0x443);
	static assert('В' == 0x412);
	static assert('в' == 0x432);
	static assert('Я' == 0x42F);
	static assert('я' == 0x44F);
	static assert('Ы' == 0x42B);
	static assert('ы' == 0x44B);
	static assert('Ю' == 0x42E);
	static assert('ю' == 0x44E);
	static assert('З' == 0x417);
	static assert('з' == 0x437);
	static assert('Ж' == 0x416);
	static assert('ж' == 0x436);
	return 0;
}