( 0 0 8 1157 l( 1 -1 -1 923 l r ) r( 2 -1 -1 234 l r ) )
5 20
