int main(){
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('⊔'=='⊔');
assert('∖'=='∖');
assert('⋆'=='⋆');
assert('⊠'=='⊠');
assert('⊤'=='⊤');
assert('⊎'=='⊎');
assert('≀'=='≀');
assert('○'=='◯');
assert('▽'=='▽');
assert('△'=='△');
assert('∐'=='∐');
assert('∏'=='∏');
assert('∑'=='∑');
return 0;
}