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;
}