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