module dstress.run.html_entity_amsb;
int main(){
static assert('∾' == 0x223E);
static assert('∾̳' == 0x223E);
static assert('⨿' == 0x2A3F);
static assert('⊽' == 0x22BD);
static assert('⌅' == 0x2305);
static assert('⌆' == 0x2306);
static assert('⧅' == 0x29C5);
static assert('⋒' == 0x22D2);
static assert('⩄' == 0x2A44);
static assert('⩉' == 0x2A49);
static assert('⩋' == 0x2A4B);
static assert('⩇' == 0x2A47);
static assert('⩀' == 0x2A40);
static assert('∩︀' == 0x2229);
static assert('⩍' == 0x2A4D);
static assert('⩌' == 0x2A4C);
static assert('⩐' == 0x2A50);
static assert('∐' == 0x2210);
static assert('⋓' == 0x22D3);
static assert('⩈' == 0x2A48);
static assert('⩆' == 0x2A46);
static assert('⩊' == 0x2A4A);
static assert('⊍' == 0x228D);
static assert('⩅' == 0x2A45);
static assert('∪︀' == 0x222A);
static assert('⋎' == 0x22CE);
static assert('⋏' == 0x22CF);
static assert('†' == 0x2020);
static assert('‡' == 0x2021);
static assert('⋄' == 0x22C4);
static assert('⋇' == 0x22C7);
static assert('⩱' == 0x2A71);
static assert('⊹' == 0x22B9);
static assert('⊺' == 0x22BA);
static assert('⨼' == 0x2A3C);
static assert('⨭' == 0x2A2D);
static assert('⨴' == 0x2A34);
static assert('⋋' == 0x22CB);
static assert('⋉' == 0x22C9);
static assert('⊟' == 0x229F);
static assert('∸' == 0x2238);
static assert('⨪' == 0x2A2A);
static assert('⩃' == 0x2A43);
static assert('⩂' == 0x2A42);
static assert('⊛' == 0x229B);
static assert('⊚' == 0x229A);
static assert('⊝' == 0x229D);
static assert('⨸' == 0x2A38);
static assert('⊙' == 0x2299);
static assert('⦼' == 0x29BC);
static assert('⦿' == 0x29BF);
static assert('⧁' == 0x29C1);
static assert('⦵' == 0x29B5);
static assert('⦾' == 0x29BE);
static assert('⧀' == 0x29C0);
static assert('⦶' == 0x29B6);
static assert('⊖' == 0x2296);
static assert('⦷' == 0x29B7);
static assert('⦹' == 0x29B9);
static assert('⊕' == 0x2295);
static assert('⊘' == 0x2298);
static assert('⊗' == 0x2297);
static assert('⨷' == 0x2A37);
static assert('⨶' == 0x2A36);
static assert('⌽' == 0x233D);
static assert('⨣' == 0x2A23);
static assert('⊞' == 0x229E);
static assert('⨢' == 0x2A22);
static assert('∔' == 0x2214);
static assert('⨥' == 0x2A25);
static assert('⩲' == 0x2A72);
static assert('⨦' == 0x2A26);
static assert('⨧' == 0x2A27);
static assert('∏' == 0x220F);
static assert('∽̱' == 0x29DA);
static assert('⨮' == 0x2A2E);
static assert('⨵' == 0x2A35);
static assert('⋌' == 0x22CC);
static assert('⋊' == 0x22CA);
static assert('⋅' == 0x22C5);
static assert('⊡' == 0x22A1);
static assert('∖' == 0x2216);
static assert('⨤' == 0x2A24);
static assert('⨳' == 0x2A33);
static assert('⧄' == 0x29C4);
static assert('⊓' == 0x2293);
static assert('⊓︀' == 0x2293);
static assert('⊔' == 0x2294);
static assert('⊔︀' == 0x2294);
static assert('∖' == 0x2216);
static assert('⋆' == 0x22C6);
static assert('⪽' == 0x2ABD);
static assert('∑' == 0x2211);
static assert('⪾' == 0x2ABE);
static assert('⊠' == 0x22A0);
static assert('⨱' == 0x2A31);
static assert('⨰' == 0x2A30);
static assert('◬' == 0x25EC);
static assert('⨺' == 0x2A3A);
static assert('⨹' == 0x2A39);
static assert('⧍' == 0x29CD);
static assert('⨻' == 0x2A3B);
static assert('⊎' == 0x228E);
static assert('⊻' == 0x22BB);
static assert('⩟' == 0x2A5F);
static assert('≀' == 0x2240);
static assert('⋂' == 0x22C2);
static assert('◯' == 0x25EF);
static assert('⋃' == 0x22C3);
static assert('▽' == 0x25BD);
static assert('⨀' == 0x2A00);
static assert('⨁' == 0x2A01);
static assert('⨂' == 0x2A02);
static assert('⨆' == 0x2A06);
static assert('⨄' == 0x2A04);
static assert('△' == 0x25B3);
static assert('⋁' == 0x22C1);
static assert('⋀' == 0x22C0);
return 0;
}