terbrimoi lujvo

x1=m1 is the x2=m0-th of terbri in bridi x3=b1

moi3 has been dropped, because the order of terbri is predefined; bridi2 and bridi3 depend on bridi1 and have been removed.