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('⊬'=='⊬');
	assert('⊭'=='⊭');
	assert('⊯'=='⊯');
	assert('⊮'=='⊮');
	assert('⋨'=='⪹');
	assert(''=='⪵');
	assert('⋨'=='⋨');
	assert('⋩'=='⪺');
	assert(''=='⪶');
	assert('⋩'=='⋩');
	assert('⊊'=='⊊');
	assert('⊊'=='⫋');
	assert('⊋'=='⊋');
	assert('⊋'=='⫌');
	assert(''=='⫋︀');
	assert('⊊'=='⊊︀');
	assert('⊋'=='⊋︀');
	assert('⊋'=='⫌︀');
	return 0;
}