module dstres.run.html_entity_tech;

int main(){
	static assert('∿' == 0x223F);
	static assert('ℵ' == 0x2135);
	static assert('∧' == 0x2227);
	static assert('⩓' == 0x2A53);
	static assert('⩕' == 0x2A55);
	static assert('⩜' == 0x2A5C);
	static assert('⩘' == 0x2A58);
	static assert('⩚' == 0x2A5A);
	static assert('∟' == 0x221F);
	static assert('∢' == 0x2222);
	static assert('Å' == 0x212B);
	static assert('≈' == 0x2248);
	static assert('⩯' == 0x2A6F);
	static assert('∳' == 0x2233);
	static assert('⨑' == 0x2A11);
	static assert('∵' == 0x2235);
	static assert('ℬ' == 0x212C);
	static assert('⌐' == 0x2310);
	static assert('⫭' == 0x2AED);
	static assert('⊥' == 0x22A5);
	static assert('∩' == 0x2229);
	static assert('∰' == 0x2230);
	static assert('⨐' == 0x2A10);
	static assert('∘' == 0x2218);
	static assert('≅' == 0x2245);
	static assert('∮' == 0x222E);
	static assert('∯' == 0x222F);
	static assert('⋯' == 0x22EF);
	static assert('∪' == 0x222A);
	static assert('∲' == 0x2232);
	static assert('∱' == 0x2231);
	static assert('⌭' == 0x232D);
	static assert('⋲' == 0x22F2);
	static assert('¨' == 0xA8);
	static assert('⃜' == 0x20DC);
	static assert('⧶' == 0x29F6);
	static assert('⋱' == 0x22F1);
	static assert('⦦' == 0x29A6);
	static assert('⏧' == 0xFFFD);
	static assert('⋕' == 0x22D5);
	static assert('⧣' == 0x29E3);
	static assert('≡' == 0x2261);
	static assert('⧥' == 0x29E5);
	static assert('∃' == 0x2203);
	static assert('▱' == 0x25B1);
	static assert('ƒ' == 0x192);
	static assert('∀' == 0x2200);
	static assert('⨍' == 0x2A0D);
	static assert('≥' == 0x2265);
	static assert('ℋ' == 0x210B);
	static assert('⇔' == 0x21D4);
	static assert('⧜' == 0x29DC);
	static assert('Ƶ' == 0x1B5);
	static assert('∞' == 0x221E);
	static assert('⧝' == 0x29DD);
	static assert('∫' == 0x222B);
	static assert('∬' == 0x222C);
	static assert('⨗' == 0x2A17);
	static assert('∈' == 0x2208);
	static assert('⋵' == 0x22F5);
	static assert('⋹' == 0x22F9);
	static assert('⋴' == 0x22F4);
	static assert('⋳' == 0x22F3);
	static assert('∈' == 0x2208);
	static assert('ℒ' == 0x2112);
	static assert('⟨' == 0x2329);
	static assert('⟪' == 0x300A);
	static assert('⇐' == 0x21D0);
	static assert('❲' == 0x3014);
	static assert('≤' == 0x2264);
	static assert('⟬' == 0x3018);
	static assert('⟦' == 0x301A);
	static assert('⦅' == 0x2985);
	static assert('∗' == 0x2217);
	static assert('−' == 0x2212);
	static assert('∓' == 0x2213);
	static assert('∇' == 0x2207);
	static assert('≠' == 0x2260);
	static assert('⫲' == 0x2AF2);
	static assert('∋' == 0x220B);
	static assert('⋼' == 0x22FC);
	static assert('⋺' == 0x22FA);
	static assert('∋' == 0x220B);
	static assert('⫬' == 0x2AEC);
	static assert('∉' == 0x2209);
	static assert('∉' == 0x2209);
	static assert('⋷' == 0x22F7);
	static assert('⋶' == 0x22F6);
	static assert('∌' == 0x220C);
	static assert('∌' == 0x220C);
	static assert('⋾' == 0x22FE);
	static assert('⋽' == 0x22FD);
	static assert('⨔' == 0x2A14);
	static assert('⧞' == 0x29DE);
	static assert('⦻' == 0x29BB);
	static assert('∨' == 0x2228);
	static assert('⩔' == 0x2A54);
	static assert('⩝' == 0x2A5D);
	static assert('ℴ' == 0x2134);
	static assert('⩖' == 0x2A56);
	static assert('⩗' == 0x2A57);
	static assert('⩛' == 0x2A5B);
	static assert('∥' == 0x2225);
	static assert('⫽' == 0x2AFD);
	static assert('∂' == 0x2202);
	static assert('‰' == 0x2030);
	static assert('⊥' == 0x22A5);
	static assert('‱' == 0x2031);
	static assert('ℳ' == 0x2133);
	static assert('⨕' == 0x2A15);
	static assert('′' == 0x2032);
	static assert('″' == 0x2033);
	static assert('⌮' == 0x232E);
	static assert('⌒' == 0x2312);
	static assert('⌓' == 0x2313);
	static assert('∝' == 0x221D);
	static assert('⨌' == 0x2A0C);
	static assert('⁗' == 0x2057);
	static assert('⨖' == 0x2A16);
	static assert('√' == 0x221A);
	static assert('⟩' == 0x232A);
	static assert('⟫' == 0x300B);
	static assert('⇒' == 0x21D2);
	static assert('❳' == 0x3015);
	static assert('⟭' == 0x3019);
	static assert('⟧' == 0x301B);
	static assert('⦆' == 0x2986);
	static assert('⨒' == 0x2A12);
	static assert('⨓' == 0x2A13);
	static assert('∼' == 0x223C);
	static assert('⩪' == 0x2A6A);
	static assert('≃' == 0x2243);
	static assert('⧤' == 0x29E4);
	static assert('□' == 0x25A1);
	static assert('▪' == 0x25AA);
	static assert('¯' == 0xAF);
	static assert('⊂' == 0x2282);
	static assert('⊆' == 0x2286);
	static assert('⊃' == 0x2283);
	static assert('⊇' == 0x2287);
	static assert('⃛' == 0x20DB);
	static assert('∴' == 0x2234);
	static assert('∭' == 0x222D);
	static assert('⊤' == 0x22A4);
	static assert('⌶' == 0x2336);
	static assert('⫱' == 0x2AF1);
	static assert('‴' == 0x2034);
	static assert('⋰' == 0x22F0);
	static assert('⦧' == 0x29A7);
	static assert('⦜' == 0x299C);
	static assert('≚' == 0x225A);
	static assert('‖' == 0x2016);
	static assert('≙' == 0x2259);
	static assert('⋻' == 0x22FB);
	return 0;
}