YES

Problem:
 a1() -> b1()
 a1() -> c1()
 b1() -> b2()
 c1() -> c2()
 a2() -> b2()
 a2() -> c2()
 b2() -> b3()
 c2() -> c3()
 a3() -> b3()
 a3() -> c3()
 b3() -> b4()
 c3() -> c4()
 a4() -> b4()
 a4() -> c4()
 b4() -> b5()
 c4() -> c5()
 a5() -> b5()
 a5() -> c5()
 b5() -> b6()
 c5() -> c6()
 a6() -> b6()
 a6() -> c6()
 b6() -> b7()
 c6() -> c7()
 a7() -> b7()
 a7() -> c7()
 b7() -> b8()
 c7() -> c8()
 a8() -> b8()
 a8() -> c8()
 b8() -> b9()
 c8() -> c9()
 a9() -> b9()
 a9() -> c9()
 b9() -> b10()
 c9() -> c10()
 a10() -> b11()
 b10() -> b11()
 c10() -> b11()

Proof:
 sorted: (order)
 0:a1() -> b1()
   a1() -> c1()
   b1() -> b2()
   c1() -> c2()
   b2() -> b3()
   c2() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 1:a2() -> b2()
   a2() -> c2()
   b2() -> b3()
   c2() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 2:a3() -> b3()
   a3() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 3:a4() -> b4()
   a4() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 4:a5() -> b5()
   a5() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 5:a6() -> b6()
   a6() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 6:a7() -> b7()
   a7() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 7:a8() -> b8()
   a8() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 8:a9() -> b9()
   a9() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
 9:a10() -> b11()
 -----
 sorts
   [0>1, 0>2, 1>5, 2>4, 3>4, 3>5, 4>7, 5>8, 6>7, 6>8, 7>10, 8>11, 9>10, 9>11, 10>13, 11>14, 12>13,
    12>14, 13>16, 14>17, 15>16, 15>17, 16>19, 17>20, 18>19, 18>20, 19>22, 20>23, 21>22, 21>23,
    22>25, 23>26, 24>25, 24>26, 25>28, 26>27, 27>30, 28>30, 29>30]
 sort attachment (non-strict)
   a1 : 0
   b1 : 1
   c1 : 2
   b2 : 5
   c2 : 4
   a2 : 3
   b3 : 8
   c3 : 7
   a3 : 6
   b4 : 11
   c4 : 10
   a4 : 9
   b5 : 14
   c5 : 13
   a5 : 12
   b6 : 17
   c6 : 16
   a6 : 15
   b7 : 20
   c7 : 19
   a7 : 18
   b8 : 23
   c8 : 22
   a8 : 21
   b9 : 26
   c9 : 25
   a9 : 24
   b10 : 27
   c10 : 28
   a10 : 29
   b11 : 30
 -----
 0:a1() -> b1()
   a1() -> c1()
   b1() -> b2()
   c1() -> c2()
   b2() -> b3()
   c2() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a1() -> b1()
    a1() -> c1()
    b1() -> b2()
    c1() -> c2()
    b2() -> b3()
    c2() -> c3()
    b3() -> b4()
    c3() -> c4()
    b4() -> b5()
    c4() -> c5()
    b5() -> b6()
    c5() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 1:a2() -> b2()
   a2() -> c2()
   b2() -> b3()
   c2() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a2() -> b2()
    a2() -> c2()
    b2() -> b3()
    c2() -> c3()
    b3() -> b4()
    c3() -> c4()
    b4() -> b5()
    c4() -> c5()
    b5() -> b6()
    c5() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 2:a3() -> b3()
   a3() -> c3()
   b3() -> b4()
   c3() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a3() -> b3()
    a3() -> c3()
    b3() -> b4()
    c3() -> c4()
    b4() -> b5()
    c4() -> c5()
    b5() -> b6()
    c5() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 3:a4() -> b4()
   a4() -> c4()
   b4() -> b5()
   c4() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a4() -> b4()
    a4() -> c4()
    b4() -> b5()
    c4() -> c5()
    b5() -> b6()
    c5() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 4:a5() -> b5()
   a5() -> c5()
   b5() -> b6()
   c5() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a5() -> b5()
    a5() -> c5()
    b5() -> b6()
    c5() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 5:a6() -> b6()
   a6() -> c6()
   b6() -> b7()
   c6() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a6() -> b6()
    a6() -> c6()
    b6() -> b7()
    c6() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 6:a7() -> b7()
   a7() -> c7()
   b7() -> b8()
   c7() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a7() -> b7()
    a7() -> c7()
    b7() -> b8()
    c7() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 7:a8() -> b8()
   a8() -> c8()
   b8() -> b9()
   c8() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a8() -> b8()
    a8() -> c8()
    b8() -> b9()
    c8() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 8:a9() -> b9()
   a9() -> c9()
   b9() -> b10()
   c9() -> c10()
   b10() -> b11()
   c10() -> b11()
   Uncurry Processor:
    a9() -> b9()
    a9() -> c9()
    b9() -> b10()
    c9() -> c10()
    b10() -> b11()
    c10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.
 
 
 9:a10() -> b11()
   Uncurry Processor:
    a10() -> b11()
    Ground Confluence Processor:
     confluent by decision procedure.