int main(){
	assert('⌉'=='⌉');
	assert('⌋'=='⌋');
	assert(''=='⦔');
	assert('⌝'=='⌝');
	assert('⌟'=='⌟');
	assert('⌈'=='⌈');
	assert('⌊'=='⌊');
	assert('⌜'=='⌜');
	assert('⌞'=='⌞');
	return 0;
}