h ha hai han hang hao he hei hen heng hong hou hu hua huai huan huang hui hun huo j ji jia jian jiang jiao jie jin ...k ka kai kan kang kao ke ken keng kong kou ...
a1:=o>c and c<ref(c,1);a2:=c>o and c>ref(c,1);a3:=o<ref(c,1) and c>ref(o,1) and l>ref(l,1) and v>ref(v,1);a4:=ma(c,13)>=ref(ma(c,13),1);xg:a2 and a3 and ref(a1,1) and a4;