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