int main(){
assert('≊'=='≊');
assert('≍'=='≈');
assert('≌'=='≌');
assert('∍'=='϶');
assert('⋈'=='⋈');
assert('∽'=='∽');
assert('⋍'=='⋍');
assert('≎'=='≎');
assert('≏'=='≏');
assert('≗'=='≗');
assert('≔'=='≔');
assert('⋞'=='⋞');
assert('⋟'=='⋟');
assert('≼'=='&cupre;');
assert('⊣'=='⊣');
assert('≖'=='≖');
assert('≕'=='≕');
assert('≑'=='≑');
assert('≐'=='≐');
assert('≒'=='≒');
assert('⋝'=='⪖');
assert('⋜'=='⪕');
assert('≓'=='≓');
assert('⋔'=='⋔');
assert('⌢'=='⌢');
assert('≳'=='⪆');
assert('⋗'=='&gsdot;');
assert('≧'=='≧');
assert('⋛'=='⋛');
assert('⋛'=='⪌');
assert('≥'=='⩾');
assert('⋙'=='⋙');
assert('≷'=='≷');
assert('≳'=='≳');
assert('≫'=='≫');
assert('≲'=='⪅');
assert('⋖'=='&ldot;');
assert('≦'=='≦');
assert('⋚'=='⪋');
assert('⋚'=='⋚');
assert('≤'=='⩽');
assert('≶'=='≶');
assert('⋘'=='⋘');
assert('≲'=='≲');
assert('≪'=='≪');
assert('⊴'=='⊴');
assert('∣'=='∣');
assert('⊧'=='⊧');
assert('≺'=='≺');
assert('≾'=='⪷');
assert('≼'=='⪯');
assert('≾'=='≾');
assert('⊵'=='⊵');
assert('∐'=='&samalg;');
assert('≻'=='≻');
assert('≿'=='⪸');
assert('≽'=='≽');
assert('≽'=='⪰');
assert('≿'=='≿');
assert('⌢'=='⌢');
assert(''=='∣');
assert('⌣'=='⌣');
assert('∥'=='∥');
assert('⊏'=='⊏');
assert('⊑'=='⊑');
assert('⊐'=='⊐');
assert('⊒'=='⊒');
assert('⌣'=='⌣');
assert('⋐'=='⋐');
assert('⊆'=='⫅');
assert('⋑'=='⋑');
assert('⊇'=='⫆');
assert('≈'=='≈');
assert('∼'=='∼');
assert('≜'=='≜');
assert('≬'=='≬');
assert('⊢'=='⊢');
assert('⊩'=='⊩');
assert('⊨'=='⊨');
assert('⊻'=='⊻');
assert('⊲'=='⊲');
assert('∝'=='∝');
assert('⊳'=='⊳');
assert('⊪'=='⊪');
return 0;
}