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