192       ASSERT_STREQ("(1 -> 2) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
194       ASSERT_STREQ("(1 -> 2) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
203       ASSERT_STREQ("(2 -> 3) (1 -> 2) (1 -> 4) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
205       ASSERT_STREQ("(2 -> 3) (1 -> 2) (0 -> 1) (2 -> 4)", resolver.GetMessage().c_str());  in TYPED_TEST()
219       ASSERT_STREQ("(1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
221       ASSERT_STREQ("(1 -> T0) (0 -> 1) (T0 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
230       ASSERT_STREQ("(1 -> 2) (1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
232       ASSERT_STREQ("(1 -> 2) (0 -> 1) (2 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
241       ASSERT_STREQ("(0 -> 2) (1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
243       ASSERT_STREQ("(0 -> 2) (1 -> 0) (2 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
252       ASSERT_STREQ("(4 <-> 0) (3 <-> 4) (2 <-> 3) (1 <-> 2)", resolver.GetMessage().c_str());  in TYPED_TEST()
255           resolver.GetMessage().c_str());  in TYPED_TEST()
276   ASSERT_STREQ("(1 -> 2) (C -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
297     ASSERT_STREQ("(2 -> 4) (0,1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
314     ASSERT_STREQ("(2 -> 4) (0,1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
332       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
334       ASSERT_STREQ("(2 -> T0) (0,1 -> 2,3) (T0 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
357       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
360           resolver.GetMessage().c_str());  in TYPED_TEST()
383       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
386           resolver.GetMessage().c_str());  in TYPED_TEST()
409       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
411       ASSERT_STREQ("(7 -> T0) (2 -> 7) (0,1 -> 2,3) (T0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
429       ASSERT_STREQ("(2,3 <-> 0,1)", resolver.GetMessage().c_str());  in TYPED_TEST()
431       ASSERT_STREQ("(2,3 -> T0,T1) (0,1 -> 2,3) (T0,T1 -> 0,1)", resolver.GetMessage().c_str());  in TYPED_TEST()
449       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
451       ASSERT_STREQ("(0,1 -> T0,T1) (2,3 -> 0,1) (T0,T1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
465       ASSERT_STREQ("(1 <-> 0) (3 <-> 2)",  resolver.GetMessage().c_str());  in TYPED_TEST()
468           resolver.GetMessage().c_str());  in TYPED_TEST()
491       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
494           resolver.GetMessage().c_str());  in TYPED_TEST()
517       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
520           resolver.GetMessage().c_str());  in TYPED_TEST()
545 …   ASSERT_STREQ("(2x32(sp) <-> 10,11) (4,5 <-> 2x32(sp)) (4 -> 5)", resolver.GetMessage().c_str());  in TYPED_TEST()
548           resolver.GetMessage().c_str());  in TYPED_TEST()
578       ASSERT_STREQ("(0 <-> 1) (48(sp) <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
581           resolver.GetMessage().c_str());  in TYPED_TEST()
605       ASSERT_STREQ("(2x32(sp) <-> 0,1) (2,3 <-> 2x32(sp))", resolver.GetMessage().c_str());  in TYPED_TEST()
608           resolver.GetMessage().c_str());  in TYPED_TEST()
637       ASSERT_STREQ("(2,3 <-> 0,1) (2 -> 3) (7 -> 2)", resolver.GetMessage().c_str());  in TYPED_TEST()
640           resolver.GetMessage().c_str());  in TYPED_TEST()