module dstress.run.html_entity_amsn;

int main(){
	static assert('⪊' == 0x2A8A);
	static assert('≩' == 0x2269);
	static assert('⪈' == 0x2A88);
	static assert('⋧' == 0x22E7);
	static assert('⪉' == 0x2A89);
	static assert('≨' == 0x2268);
	static assert('⪇' == 0x2A87);
	static assert('⋦' == 0x22E6);
	static assert('≉' == 0x2249);
	static assert('≇' == 0x2247);
	static assert('≢' == 0x2262);
	static assert('≱' == 0x2271);
	static assert('≵' == 0x2275);
	static assert('≯' == 0x226F);
	static assert('≰' == 0x2270);
	static assert('≴' == 0x2274);
	static assert('≮' == 0x226E);
	static assert('⋪' == 0x22EA);
	static assert('⋬' == 0x22EC);
	static assert('∤' == 0x2224);
	static assert('∦' == 0x2226);
	static assert('⊀' == 0x2280);
	static assert('⋠' == 0x22E0);
	static assert('⋫' == 0x22EB);
	static assert('⋭' == 0x22ED);
	static assert('⊁' == 0x2281);
	static assert('⋡' == 0x22E1);
	static assert('≁' == 0x2241);
	static assert('≄' == 0x2244);
	static assert('∤' == 0x2224);
	static assert('∦' == 0x2226);
	static assert('⋢' == 0x22E2);
	static assert('⋣' == 0x22E3);
	static assert('⊄' == 0x2284);
	static assert('⊈' == 0x2288);
	static assert('⊅' == 0x2285);
	static assert('⊉' == 0x2289);
	static assert('≹' == 0x2279);
	static assert('≸' == 0x2278);
	static assert('⊬' == 0x22AC);
	static assert('⊭' == 0x22AD);
	static assert('⊮' == 0x22AE);
	static assert('⊯' == 0x22AF);
	static assert('⫳' == 0x2AF3);
	static assert('⪹' == 0x2AB9);
	static assert('⪵' == 0x2AB5);
	static assert('⋨' == 0x22E8);
	static assert('⫮' == 0x2AEE);
	static assert('⪺' == 0x2ABA);
	static assert('⪶' == 0x2AB6);
	static assert('⋩' == 0x22E9);
	static assert('≆' == 0x2246);
	static assert('⌿' == 0x233F);
	static assert('⊊' == 0x228A);
	static assert('⫋' == 0x2ACB);
	static assert('⊋' == 0x228B);
	static assert('⫌' == 0x2ACC);
	return 0;
}