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