0.00/0.00	NO
0.00/0.00	not joinable
0.00/0.00	CP
0.00/0.00	  { lhs = [b, b, b, a]
0.00/0.00	  ,rhs = [a, b, b, b]
0.00/0.00	  ,u1 = [a, a] -> [b, b, b]
0.00/0.00	  ,u2 = [a, a] -> [b, b, b]
0.00/0.00	  ,offset = 1}
0.00/0.01	EOF