module dstress.run.h.html_entity_symbol;
int main(){
static assert('ℵ' == 8501);
static assert('Α' == 913);
static assert('α' == 945);
static assert('∧' == 8743);
static assert('∠' == 8736);
static assert('≈' == 8776);
static assert('Β' == 914);
static assert('β' == 946);
static assert('•' == 8226);
static assert('∩' == 8745);
static assert('Χ' == 935);
static assert('χ' == 967);
static assert('♣' == 9827);
static assert('≅' == 8773);
static assert('↵' == 8629);
static assert('∪' == 8746);
static assert('↓' == 8595);
static assert('⇓' == 8659);
static assert('Δ' == 916);
static assert('δ' == 948);
static assert('♦' == 9830);
static assert('∅' == 8709);
static assert('Ε' == 917);
static assert('ε' == 949);
static assert('≡' == 8801);
static assert('Η' == 919);
static assert('η' == 951);
static assert('∃' == 8707);
static assert('ƒ' == 402);
static assert('∀' == 8704);
static assert('⁄' == 8260);
static assert('Γ' == 915);
static assert('γ' == 947);
static assert('≥' == 8805);
static assert('↔' == 8596);
static assert('⇔' == 8660);
static assert('♥' == 9829);
static assert('…' == 8230);
static assert('ℑ' == 8465);
static assert('∞' == 8734);
static assert('∫' == 8747);
static assert('Ι' == 921);
static assert('ι' == 953);
static assert('∈' == 8712);
static assert('Κ' == 922);
static assert('κ' == 954);
static assert('Λ' == 923);
static assert('λ' == 955);
static assert('〈' == 9001);
static assert('←' == 8592);
static assert('⇐' == 8656);
static assert('⌈' == 8968);
static assert('≤' == 8804);
static assert('⌊' == 8970);
static assert('∗' == 8727);
static assert('◊' == 9674);
static assert('−' == 8722);
static assert('Μ' == 924);
static assert('μ' == 956);
static assert('∇' == 8711);
static assert('≠' == 8800);
static assert('∋' == 8715);
static assert('∉' == 8713);
static assert('⊄' == 8836);
static assert('Ν' == 925);
static assert('ν' == 957);
static assert('‾' == 8254);
static assert('Ω' == 937);
static assert('ω' == 969);
static assert('Ο' == 927);
static assert('ο' == 959);
static assert('⊕' == 8853);
static assert('∨' == 8744);
static assert('⊗' == 8855);
static assert('∂' == 8706);
static assert('⊥' == 8869);
static assert('Φ' == 934);
static assert('φ' == 966);
static assert('Π' == 928);
static assert('π' == 960);
static assert('ϖ' == 982);
static assert('′' == 8242);
static assert('″' == 8243);
static assert('∏' == 8719);
static assert('∝' == 8733);
static assert('Ψ' == 936);
static assert('ψ' == 968);
static assert('√' == 8730);
static assert('〉' == 9002);
static assert('→' == 8594);
static assert('⇒' == 8658);
static assert('⌉' == 8969);
static assert('ℜ' == 8476);
static assert('⌋' == 8971);
static assert('Ρ' == 929);
static assert('ρ' == 961);
static assert('⋅' == 8901);
static assert('Σ' == 931);
static assert('σ' == 963);
static assert('ς' == 962);
static assert('∼' == 8764);
static assert('♠' == 9824);
static assert('⊂' == 8834);
static assert('⊆' == 8838);
static assert('∑' == 8721);
static assert('⊃' == 8835);
static assert('⊇' == 8839);
static assert('Τ' == 932);
static assert('τ' == 964);
static assert('∴' == 8756);
static assert('Θ' == 920);
static assert('θ' == 952);
static assert('ϑ' == 977);
static assert('™' == 8482);
static assert('↑' == 8593);
static assert('⇑' == 8657);
static assert('ϒ' == 978);
static assert('Υ' == 933);
static assert('υ' == 965);
static assert('℘' == 8472);
static assert('Ξ' == 926);
static assert('ξ' == 958);
static assert('Ζ' == 918);
static assert('ζ' == 950);
return 0;
}