( 6 3 1 1 )+<( 2 0 1 0 )-( 6 3 1 1 ),( 1 3 3 1 )-( 6 3 1 1 )>=( 6 3 1 1 )+<( -4 -3 0 -1 ),( -5 0 2 0 )>.