F23(a,2ba1,22b+ab,ab+32;z4)=(1z)aF23(13a,13a+13,13a+23b,ab+32;27z4(1z)3).