YES

Problem:
 c(c(x)) -> b(b(x))
 a(a(x)) -> b(a(x))
 c(c(x)) -> a(a(x))
 b(b(x)) -> c(b(x))
 b(c(x)) -> a(c(x))
 a(a(x)) -> a(a(x))
 a(a(x)) -> b(c(x))
 b(c(x)) -> b(a(x))
 a(a(x)) -> c(b(x))
 b(b(x)) -> c(c(x))
 c(b(x)) -> c(c(x))
 a(c(x)) -> b(c(x))
 c(b(x)) -> a(c(x))
 b(b(x)) -> b(b(x))
 c(b(x)) -> b(c(x))
 b(c(x)) -> b(c(x))
 c(a(x)) -> a(a(x))
 a(c(x)) -> c(a(x))
 a(b(x)) -> a(a(x))

Proof:
 Church Rosser Transformation Processor (no redundant rules):
  strict:
   
  weak:
   
  critical peaks: 104
   c(a(a(x513))) <-0|0[]- c(a(b(x513))) -2|[]-> a(a(b(x513)))
   a(a(a(x514))) <-0|0[]- a(a(b(x514))) -8|[]-> c(b(b(x514)))
   a(a(a(x515))) <-0|0[]- a(a(b(x515))) -10|[]-> b(c(b(x515)))
   a(a(a(x516))) <-0|0[]- a(a(b(x516))) -14|[]-> b(a(b(x516)))
   c(c(a(x517))) <-1|0[]- c(a(c(x517))) -2|[]-> a(a(c(x517)))
   c(a(x)) <-1|[]- a(c(x)) -5|[]-> b(c(x))
   a(c(a(x519))) <-1|0[]- a(a(c(x519))) -8|[]-> c(b(c(x519)))
   a(c(a(x520))) <-1|0[]- a(a(c(x520))) -10|[]-> b(c(c(x520)))
   a(c(a(x521))) <-1|0[]- a(a(c(x521))) -14|[]-> b(a(c(x521)))
   a(a(a(x522))) <-2|0[]- a(c(a(x522))) -1|[]-> c(a(a(x522)))
   a(a(a(x523))) <-2|0[]- a(c(a(x523))) -5|[]-> b(c(a(x523)))
   b(a(a(x524))) <-2|0[]- b(c(a(x524))) -9|[]-> b(a(a(x524)))
   b(a(a(x525))) <-2|0[]- b(c(a(x525))) -11|[]-> a(c(a(x525)))
   c(a(a(x526))) <-2|0[]- c(c(a(x526))) -13|[]-> a(a(a(x526)))
   c(a(a(x527))) <-2|0[]- c(c(a(x527))) -15|[]-> b(b(a(x527)))
   a(b(c(x528))) <-3|0[]- a(c(b(x528))) -1|[]-> c(a(b(x528)))
   b(c(x)) <-3|[]- c(b(x)) -4|[]-> a(c(x))
   a(b(c(x530))) <-3|0[]- a(c(b(x530))) -5|[]-> b(c(b(x530)))
   b(c(x)) <-3|[]- c(b(x)) -6|[]-> c(c(x))
   b(b(c(x532))) <-3|0[]- b(c(b(x532))) -9|[]-> b(a(b(x532)))
   b(b(c(x533))) <-3|0[]- b(c(b(x533))) -11|[]-> a(c(b(x533)))
   c(b(c(x534))) <-3|0[]- c(c(b(x534))) -13|[]-> a(a(b(x534)))
   c(b(c(x535))) <-3|0[]- c(c(b(x535))) -15|[]-> b(b(b(x535)))
   a(a(c(x536))) <-4|0[]- a(c(b(x536))) -1|[]-> c(a(b(x536)))
   a(c(x)) <-4|[]- c(b(x)) -3|[]-> b(c(x))
   a(a(c(x538))) <-4|0[]- a(c(b(x538))) -5|[]-> b(c(b(x538)))
   a(c(x)) <-4|[]- c(b(x)) -6|[]-> c(c(x))
   b(a(c(x540))) <-4|0[]- b(c(b(x540))) -9|[]-> b(a(b(x540)))
   b(a(c(x541))) <-4|0[]- b(c(b(x541))) -11|[]-> a(c(b(x541)))
   c(a(c(x542))) <-4|0[]- c(c(b(x542))) -13|[]-> a(a(b(x542)))
   c(a(c(x543))) <-4|0[]- c(c(b(x543))) -15|[]-> b(b(b(x543)))
   b(c(x)) <-5|[]- a(c(x)) -1|[]-> c(a(x))
   c(b(c(x545))) <-5|0[]- c(a(c(x545))) -2|[]-> a(a(c(x545)))
   a(b(c(x546))) <-5|0[]- a(a(c(x546))) -8|[]-> c(b(c(x546)))
   a(b(c(x547))) <-5|0[]- a(a(c(x547))) -10|[]-> b(c(c(x547)))
   a(b(c(x548))) <-5|0[]- a(a(c(x548))) -14|[]-> b(a(c(x548)))
   a(c(c(x549))) <-6|0[]- a(c(b(x549))) -1|[]-> c(a(b(x549)))
   c(c(x)) <-6|[]- c(b(x)) -3|[]-> b(c(x))
   c(c(x)) <-6|[]- c(b(x)) -4|[]-> a(c(x))
   a(c(c(x552))) <-6|0[]- a(c(b(x552))) -5|[]-> b(c(b(x552)))
   b(c(c(x553))) <-6|0[]- b(c(b(x553))) -9|[]-> b(a(b(x553)))
   b(c(c(x554))) <-6|0[]- b(c(b(x554))) -11|[]-> a(c(b(x554)))
   c(c(c(x555))) <-6|0[]- c(c(b(x555))) -13|[]-> a(a(b(x555)))
   c(c(c(x556))) <-6|0[]- c(c(b(x556))) -15|[]-> b(b(b(x556)))
   a(c(c(x557))) <-7|0[]- a(b(b(x557))) -0|[]-> a(a(b(x557)))
   c(c(c(x558))) <-7|0[]- c(b(b(x558))) -3|[]-> b(c(b(x558)))
   c(c(c(x559))) <-7|0[]- c(b(b(x559))) -4|[]-> a(c(b(x559)))
   c(c(c(x560))) <-7|0[]- c(b(b(x560))) -6|[]-> c(c(b(x560)))
   b(c(c(x561))) <-7|0[]- b(b(b(x561))) -7|[]-> c(c(b(x561)))
   c(c(x)) <-7|[]- b(b(x)) -12|[]-> c(b(x))
   b(c(c(x563))) <-7|0[]- b(b(b(x563))) -12|[]-> c(b(b(x563)))
   c(c(b(x564))) <-8|0[]- c(a(a(x564))) -2|[]-> a(a(a(x564)))
   a(c(b(x565))) <-8|0[]- a(a(a(x565))) -8|[]-> c(b(a(x565)))
   c(b(x)) <-8|[]- a(a(x)) -10|[]-> b(c(x))
   a(c(b(x567))) <-8|0[]- a(a(a(x567))) -10|[]-> b(c(a(x567)))
   c(b(x)) <-8|[]- a(a(x)) -14|[]-> b(a(x))
   a(c(b(x569))) <-8|0[]- a(a(a(x569))) -14|[]-> b(a(a(x569)))
   a(b(a(x570))) <-9|0[]- a(b(c(x570))) -0|[]-> a(a(c(x570)))
   c(b(a(x571))) <-9|0[]- c(b(c(x571))) -3|[]-> b(c(c(x571)))
   c(b(a(x572))) <-9|0[]- c(b(c(x572))) -4|[]-> a(c(c(x572)))
   c(b(a(x573))) <-9|0[]- c(b(c(x573))) -6|[]-> c(c(c(x573)))
   b(b(a(x574))) <-9|0[]- b(b(c(x574))) -7|[]-> c(c(c(x574)))
   b(a(x)) <-9|[]- b(c(x)) -11|[]-> a(c(x))
   b(b(a(x576))) <-9|0[]- b(b(c(x576))) -12|[]-> c(b(c(x576)))
   c(b(c(x577))) <-10|0[]- c(a(a(x577))) -2|[]-> a(a(a(x577)))
   b(c(x)) <-10|[]- a(a(x)) -8|[]-> c(b(x))
   a(b(c(x579))) <-10|0[]- a(a(a(x579))) -8|[]-> c(b(a(x579)))
   a(b(c(x580))) <-10|0[]- a(a(a(x580))) -10|[]-> b(c(a(x580)))
   b(c(x)) <-10|[]- a(a(x)) -14|[]-> b(a(x))
   a(b(c(x582))) <-10|0[]- a(a(a(x582))) -14|[]-> b(a(a(x582)))
   a(a(c(x583))) <-11|0[]- a(b(c(x583))) -0|[]-> a(a(c(x583)))
   c(a(c(x584))) <-11|0[]- c(b(c(x584))) -3|[]-> b(c(c(x584)))
   c(a(c(x585))) <-11|0[]- c(b(c(x585))) -4|[]-> a(c(c(x585)))
   c(a(c(x586))) <-11|0[]- c(b(c(x586))) -6|[]-> c(c(c(x586)))
   b(a(c(x587))) <-11|0[]- b(b(c(x587))) -7|[]-> c(c(c(x587)))
   a(c(x)) <-11|[]- b(c(x)) -9|[]-> b(a(x))
   b(a(c(x589))) <-11|0[]- b(b(c(x589))) -12|[]-> c(b(c(x589)))
   a(c(b(x590))) <-12|0[]- a(b(b(x590))) -0|[]-> a(a(b(x590)))
   c(c(b(x591))) <-12|0[]- c(b(b(x591))) -3|[]-> b(c(b(x591)))
   c(c(b(x592))) <-12|0[]- c(b(b(x592))) -4|[]-> a(c(b(x592)))
   c(c(b(x593))) <-12|0[]- c(b(b(x593))) -6|[]-> c(c(b(x593)))
   c(b(x)) <-12|[]- b(b(x)) -7|[]-> c(c(x))
   b(c(b(x595))) <-12|0[]- b(b(b(x595))) -7|[]-> c(c(b(x595)))
   b(c(b(x596))) <-12|0[]- b(b(b(x596))) -12|[]-> c(b(b(x596)))
   a(a(a(x597))) <-13|0[]- a(c(c(x597))) -1|[]-> c(a(c(x597)))
   a(a(a(x598))) <-13|0[]- a(c(c(x598))) -5|[]-> b(c(c(x598)))
   b(a(a(x599))) <-13|0[]- b(c(c(x599))) -9|[]-> b(a(c(x599)))
   b(a(a(x600))) <-13|0[]- b(c(c(x600))) -11|[]-> a(c(c(x600)))
   c(a(a(x601))) <-13|0[]- c(c(c(x601))) -13|[]-> a(a(c(x601)))
   a(a(x)) <-13|[]- c(c(x)) -15|[]-> b(b(x))
   c(a(a(x603))) <-13|0[]- c(c(c(x603))) -15|[]-> b(b(c(x603)))
   c(b(a(x604))) <-14|0[]- c(a(a(x604))) -2|[]-> a(a(a(x604)))
   b(a(x)) <-14|[]- a(a(x)) -8|[]-> c(b(x))
   a(b(a(x606))) <-14|0[]- a(a(a(x606))) -8|[]-> c(b(a(x606)))
   b(a(x)) <-14|[]- a(a(x)) -10|[]-> b(c(x))
   a(b(a(x608))) <-14|0[]- a(a(a(x608))) -10|[]-> b(c(a(x608)))
   a(b(a(x609))) <-14|0[]- a(a(a(x609))) -14|[]-> b(a(a(x609)))
   a(b(b(x610))) <-15|0[]- a(c(c(x610))) -1|[]-> c(a(c(x610)))
   a(b(b(x611))) <-15|0[]- a(c(c(x611))) -5|[]-> b(c(c(x611)))
   b(b(b(x612))) <-15|0[]- b(c(c(x612))) -9|[]-> b(a(c(x612)))
   b(b(b(x613))) <-15|0[]- b(c(c(x613))) -11|[]-> a(c(c(x613)))
   b(b(x)) <-15|[]- c(c(x)) -13|[]-> a(a(x))
   c(b(b(x615))) <-15|0[]- c(c(c(x615))) -13|[]-> a(a(c(x615)))
   c(b(b(x616))) <-15|0[]- c(c(c(x616))) -15|[]-> b(b(c(x616)))
  Redundant Rules Transformation:
   a(b(x)) -> a(a(x))
   a(c(x)) -> c(a(x))
   c(a(x)) -> a(a(x))
   c(b(x)) -> b(c(x))
   c(b(x)) -> a(c(x))
   a(c(x)) -> b(c(x))
   c(b(x)) -> c(c(x))
   b(b(x)) -> c(c(x))
   a(a(x)) -> c(b(x))
   b(c(x)) -> b(a(x))
   a(a(x)) -> b(c(x))
   b(c(x)) -> a(c(x))
   b(b(x)) -> c(b(x))
   c(c(x)) -> a(a(x))
   a(a(x)) -> b(a(x))
   c(c(x)) -> b(b(x))
   a(b(x)) -> c(b(x))
   a(b(x)) -> b(c(x))
   a(b(x)) -> b(a(x))
   a(c(x)) -> a(a(x))
   c(a(x)) -> c(b(x))
   c(a(x)) -> b(c(x))
   c(a(x)) -> b(a(x))
   c(b(x)) -> b(a(x))
   c(b(x)) -> c(a(x))
   a(c(x)) -> b(a(x))
   a(c(x)) -> a(c(x))
   c(b(x)) -> a(a(x))
   c(b(x)) -> b(b(x))
   b(b(x)) -> a(a(x))
   b(b(x)) -> b(b(x))
   a(a(x)) -> a(c(x))
   a(a(x)) -> c(c(x))
   b(c(x)) -> c(a(x))
   b(c(x)) -> b(c(x))
   b(b(x)) -> b(c(x))
   b(b(x)) -> a(c(x))
   c(c(x)) -> c(b(x))
   c(c(x)) -> b(c(x))
   c(c(x)) -> b(a(x))
   c(c(x)) -> c(c(x))
   Church Rosser Transformation Processor (no redundant rules):
    strict:
     
    weak:
     
    critical peaks: 581
     c(b(a(x3355))) <-0|0[]- c(c(c(x3355))) -0|[]-> b(a(c(x3355)))
     b(a(x)) <-0|[]- c(c(x)) -1|[]-> b(c(x))
     c(b(a(x3357))) <-0|0[]- c(c(c(x3357))) -1|[]-> b(c(c(x3357)))
     b(a(x)) <-0|[]- c(c(x)) -2|[]-> c(b(x))
     c(b(a(x3359))) <-0|0[]- c(c(c(x3359))) -2|[]-> c(b(c(x3359)))
     b(b(a(x3360))) <-0|0[]- b(c(c(x3360))) -5|[]-> c(a(c(x3360)))
     a(b(a(x3361))) <-0|0[]- a(c(c(x3361))) -11|[]-> b(a(c(x3361)))
     a(b(a(x3362))) <-0|0[]- a(c(c(x3362))) -17|[]-> a(a(c(x3362)))
     b(a(x)) <-0|[]- c(c(x)) -21|[]-> b(b(x))
     c(b(a(x3364))) <-0|0[]- c(c(c(x3364))) -21|[]-> b(b(c(x3364)))
     b(a(x)) <-0|[]- c(c(x)) -23|[]-> a(a(x))
     c(b(a(x3366))) <-0|0[]- c(c(c(x3366))) -23|[]-> a(a(c(x3366)))
     b(b(a(x3367))) <-0|0[]- b(c(c(x3367))) -25|[]-> a(c(c(x3367)))
     b(b(a(x3368))) <-0|0[]- b(c(c(x3368))) -27|[]-> b(a(c(x3368)))
     a(b(a(x3369))) <-0|0[]- a(c(c(x3369))) -31|[]-> b(c(c(x3369)))
     a(b(a(x3370))) <-0|0[]- a(c(c(x3370))) -35|[]-> c(a(c(x3370)))
     b(c(x)) <-1|[]- c(c(x)) -0|[]-> b(a(x))
     c(b(c(x3372))) <-1|0[]- c(c(c(x3372))) -0|[]-> b(a(c(x3372)))
     c(b(c(x3373))) <-1|0[]- c(c(c(x3373))) -1|[]-> b(c(c(x3373)))
     b(c(x)) <-1|[]- c(c(x)) -2|[]-> c(b(x))
     c(b(c(x3375))) <-1|0[]- c(c(c(x3375))) -2|[]-> c(b(c(x3375)))
     b(b(c(x3376))) <-1|0[]- b(c(c(x3376))) -5|[]-> c(a(c(x3376)))
     a(b(c(x3377))) <-1|0[]- a(c(c(x3377))) -11|[]-> b(a(c(x3377)))
     a(b(c(x3378))) <-1|0[]- a(c(c(x3378))) -17|[]-> a(a(c(x3378)))
     b(c(x)) <-1|[]- c(c(x)) -21|[]-> b(b(x))
     c(b(c(x3380))) <-1|0[]- c(c(c(x3380))) -21|[]-> b(b(c(x3380)))
     b(c(x)) <-1|[]- c(c(x)) -23|[]-> a(a(x))
     c(b(c(x3382))) <-1|0[]- c(c(c(x3382))) -23|[]-> a(a(c(x3382)))
     b(b(c(x3383))) <-1|0[]- b(c(c(x3383))) -25|[]-> a(c(c(x3383)))
     b(b(c(x3384))) <-1|0[]- b(c(c(x3384))) -27|[]-> b(a(c(x3384)))
     a(b(c(x3385))) <-1|0[]- a(c(c(x3385))) -31|[]-> b(c(c(x3385)))
     a(b(c(x3386))) <-1|0[]- a(c(c(x3386))) -35|[]-> c(a(c(x3386)))
     c(b(x)) <-2|[]- c(c(x)) -0|[]-> b(a(x))
     c(c(b(x3388))) <-2|0[]- c(c(c(x3388))) -0|[]-> b(a(c(x3388)))
     c(b(x)) <-2|[]- c(c(x)) -1|[]-> b(c(x))
     c(c(b(x3390))) <-2|0[]- c(c(c(x3390))) -1|[]-> b(c(c(x3390)))
     c(c(b(x3391))) <-2|0[]- c(c(c(x3391))) -2|[]-> c(b(c(x3391)))
     b(c(b(x3392))) <-2|0[]- b(c(c(x3392))) -5|[]-> c(a(c(x3392)))
     a(c(b(x3393))) <-2|0[]- a(c(c(x3393))) -11|[]-> b(a(c(x3393)))
     a(c(b(x3394))) <-2|0[]- a(c(c(x3394))) -17|[]-> a(a(c(x3394)))
     c(b(x)) <-2|[]- c(c(x)) -21|[]-> b(b(x))
     c(c(b(x3396))) <-2|0[]- c(c(c(x3396))) -21|[]-> b(b(c(x3396)))
     c(b(x)) <-2|[]- c(c(x)) -23|[]-> a(a(x))
     c(c(b(x3398))) <-2|0[]- c(c(c(x3398))) -23|[]-> a(a(c(x3398)))
     b(c(b(x3399))) <-2|0[]- b(c(c(x3399))) -25|[]-> a(c(c(x3399)))
     b(c(b(x3400))) <-2|0[]- b(c(c(x3400))) -27|[]-> b(a(c(x3400)))
     a(c(b(x3401))) <-2|0[]- a(c(c(x3401))) -31|[]-> b(c(c(x3401)))
     a(c(b(x3402))) <-2|0[]- a(c(c(x3402))) -35|[]-> c(a(c(x3402)))
     b(a(c(x3403))) <-3|0[]- b(b(b(x3403))) -3|[]-> a(c(b(x3403)))
     a(c(x)) <-3|[]- b(b(x)) -4|[]-> b(c(x))
     b(a(c(x3405))) <-3|0[]- b(b(b(x3405))) -4|[]-> b(c(b(x3405)))
     a(c(x)) <-3|[]- b(b(x)) -8|[]-> a(a(x))
     b(a(c(x3407))) <-3|0[]- b(b(b(x3407))) -8|[]-> a(a(b(x3407)))
     c(a(c(x3408))) <-3|0[]- c(b(b(x3408))) -9|[]-> b(b(b(x3408)))
     c(a(c(x3409))) <-3|0[]- c(b(b(x3409))) -10|[]-> a(a(b(x3409)))
     c(a(c(x3410))) <-3|0[]- c(b(b(x3410))) -12|[]-> c(a(b(x3410)))
     c(a(c(x3411))) <-3|0[]- c(b(b(x3411))) -13|[]-> b(a(b(x3411)))
     a(a(c(x3412))) <-3|0[]- a(b(b(x3412))) -18|[]-> b(a(b(x3412)))
     a(a(c(x3413))) <-3|0[]- a(b(b(x3413))) -19|[]-> b(c(b(x3413)))
     a(a(c(x3414))) <-3|0[]- a(b(b(x3414))) -20|[]-> c(b(b(x3414)))
     a(c(x)) <-3|[]- b(b(x)) -24|[]-> c(b(x))
     b(a(c(x3416))) <-3|0[]- b(b(b(x3416))) -24|[]-> c(b(b(x3416)))
     a(c(x)) <-3|[]- b(b(x)) -29|[]-> c(c(x))
     b(a(c(x3418))) <-3|0[]- b(b(b(x3418))) -29|[]-> c(c(b(x3418)))
     c(a(c(x3419))) <-3|0[]- c(b(b(x3419))) -30|[]-> c(c(b(x3419)))
     c(a(c(x3420))) <-3|0[]- c(b(b(x3420))) -32|[]-> a(c(b(x3420)))
     c(a(c(x3421))) <-3|0[]- c(b(b(x3421))) -33|[]-> b(c(b(x3421)))
     a(a(c(x3422))) <-3|0[]- a(b(b(x3422))) -36|[]-> a(a(b(x3422)))
     b(c(x)) <-4|[]- b(b(x)) -3|[]-> a(c(x))
     b(b(c(x3424))) <-4|0[]- b(b(b(x3424))) -3|[]-> a(c(b(x3424)))
     b(b(c(x3425))) <-4|0[]- b(b(b(x3425))) -4|[]-> b(c(b(x3425)))
     b(c(x)) <-4|[]- b(b(x)) -8|[]-> a(a(x))
     b(b(c(x3427))) <-4|0[]- b(b(b(x3427))) -8|[]-> a(a(b(x3427)))
     c(b(c(x3428))) <-4|0[]- c(b(b(x3428))) -9|[]-> b(b(b(x3428)))
     c(b(c(x3429))) <-4|0[]- c(b(b(x3429))) -10|[]-> a(a(b(x3429)))
     c(b(c(x3430))) <-4|0[]- c(b(b(x3430))) -12|[]-> c(a(b(x3430)))
     c(b(c(x3431))) <-4|0[]- c(b(b(x3431))) -13|[]-> b(a(b(x3431)))
     a(b(c(x3432))) <-4|0[]- a(b(b(x3432))) -18|[]-> b(a(b(x3432)))
     a(b(c(x3433))) <-4|0[]- a(b(b(x3433))) -19|[]-> b(c(b(x3433)))
     a(b(c(x3434))) <-4|0[]- a(b(b(x3434))) -20|[]-> c(b(b(x3434)))
     b(c(x)) <-4|[]- b(b(x)) -24|[]-> c(b(x))
     b(b(c(x3436))) <-4|0[]- b(b(b(x3436))) -24|[]-> c(b(b(x3436)))
     b(c(x)) <-4|[]- b(b(x)) -29|[]-> c(c(x))
     b(b(c(x3438))) <-4|0[]- b(b(b(x3438))) -29|[]-> c(c(b(x3438)))
     c(b(c(x3439))) <-4|0[]- c(b(b(x3439))) -30|[]-> c(c(b(x3439)))
     c(b(c(x3440))) <-4|0[]- c(b(b(x3440))) -32|[]-> a(c(b(x3440)))
     c(b(c(x3441))) <-4|0[]- c(b(b(x3441))) -33|[]-> b(c(b(x3441)))
     a(b(c(x3442))) <-4|0[]- a(b(b(x3442))) -36|[]-> a(a(b(x3442)))
     b(c(a(x3443))) <-5|0[]- b(b(c(x3443))) -3|[]-> a(c(c(x3443)))
     b(c(a(x3444))) <-5|0[]- b(b(c(x3444))) -4|[]-> b(c(c(x3444)))
     b(c(a(x3445))) <-5|0[]- b(b(c(x3445))) -8|[]-> a(a(c(x3445)))
     c(c(a(x3446))) <-5|0[]- c(b(c(x3446))) -9|[]-> b(b(c(x3446)))
     c(c(a(x3447))) <-5|0[]- c(b(c(x3447))) -10|[]-> a(a(c(x3447)))
     c(c(a(x3448))) <-5|0[]- c(b(c(x3448))) -12|[]-> c(a(c(x3448)))
     c(c(a(x3449))) <-5|0[]- c(b(c(x3449))) -13|[]-> b(a(c(x3449)))
     a(c(a(x3450))) <-5|0[]- a(b(c(x3450))) -18|[]-> b(a(c(x3450)))
     a(c(a(x3451))) <-5|0[]- a(b(c(x3451))) -19|[]-> b(c(c(x3451)))
     a(c(a(x3452))) <-5|0[]- a(b(c(x3452))) -20|[]-> c(b(c(x3452)))
     b(c(a(x3453))) <-5|0[]- b(b(c(x3453))) -24|[]-> c(b(c(x3453)))
     c(a(x)) <-5|[]- b(c(x)) -25|[]-> a(c(x))
     c(a(x)) <-5|[]- b(c(x)) -27|[]-> b(a(x))
     b(c(a(x3456))) <-5|0[]- b(b(c(x3456))) -29|[]-> c(c(c(x3456)))
     c(c(a(x3457))) <-5|0[]- c(b(c(x3457))) -30|[]-> c(c(c(x3457)))
     c(c(a(x3458))) <-5|0[]- c(b(c(x3458))) -32|[]-> a(c(c(x3458)))
     c(c(a(x3459))) <-5|0[]- c(b(c(x3459))) -33|[]-> b(c(c(x3459)))
     a(c(a(x3460))) <-5|0[]- a(b(c(x3460))) -36|[]-> a(a(c(x3460)))
     a(c(c(x3461))) <-6|0[]- a(a(a(x3461))) -6|[]-> c(c(a(x3461)))
     c(c(x)) <-6|[]- a(a(x)) -7|[]-> a(c(x))
     a(c(c(x3463))) <-6|0[]- a(a(a(x3463))) -7|[]-> a(c(a(x3463)))
     c(c(c(x3464))) <-6|0[]- c(a(a(x3464))) -14|[]-> b(a(a(x3464)))
     c(c(c(x3465))) <-6|0[]- c(a(a(x3465))) -15|[]-> b(c(a(x3465)))
     c(c(c(x3466))) <-6|0[]- c(a(a(x3466))) -16|[]-> c(b(a(x3466)))
     c(c(x)) <-6|[]- a(a(x)) -22|[]-> b(a(x))
     a(c(c(x3468))) <-6|0[]- a(a(a(x3468))) -22|[]-> b(a(a(x3468)))
     c(c(x)) <-6|[]- a(a(x)) -26|[]-> b(c(x))
     a(c(c(x3470))) <-6|0[]- a(a(a(x3470))) -26|[]-> b(c(a(x3470)))
     c(c(x)) <-6|[]- a(a(x)) -28|[]-> c(b(x))
     a(c(c(x3472))) <-6|0[]- a(a(a(x3472))) -28|[]-> c(b(a(x3472)))
     c(c(c(x3473))) <-6|0[]- c(a(a(x3473))) -34|[]-> a(a(a(x3473)))
     a(c(x)) <-7|[]- a(a(x)) -6|[]-> c(c(x))
     a(a(c(x3475))) <-7|0[]- a(a(a(x3475))) -6|[]-> c(c(a(x3475)))
     a(a(c(x3476))) <-7|0[]- a(a(a(x3476))) -7|[]-> a(c(a(x3476)))
     c(a(c(x3477))) <-7|0[]- c(a(a(x3477))) -14|[]-> b(a(a(x3477)))
     c(a(c(x3478))) <-7|0[]- c(a(a(x3478))) -15|[]-> b(c(a(x3478)))
     c(a(c(x3479))) <-7|0[]- c(a(a(x3479))) -16|[]-> c(b(a(x3479)))
     a(c(x)) <-7|[]- a(a(x)) -22|[]-> b(a(x))
     a(a(c(x3481))) <-7|0[]- a(a(a(x3481))) -22|[]-> b(a(a(x3481)))
     a(c(x)) <-7|[]- a(a(x)) -26|[]-> b(c(x))
     a(a(c(x3483))) <-7|0[]- a(a(a(x3483))) -26|[]-> b(c(a(x3483)))
     a(c(x)) <-7|[]- a(a(x)) -28|[]-> c(b(x))
     a(a(c(x3485))) <-7|0[]- a(a(a(x3485))) -28|[]-> c(b(a(x3485)))
     c(a(c(x3486))) <-7|0[]- c(a(a(x3486))) -34|[]-> a(a(a(x3486)))
     a(a(x)) <-8|[]- b(b(x)) -3|[]-> a(c(x))
     b(a(a(x3488))) <-8|0[]- b(b(b(x3488))) -3|[]-> a(c(b(x3488)))
     a(a(x)) <-8|[]- b(b(x)) -4|[]-> b(c(x))
     b(a(a(x3490))) <-8|0[]- b(b(b(x3490))) -4|[]-> b(c(b(x3490)))
     b(a(a(x3491))) <-8|0[]- b(b(b(x3491))) -8|[]-> a(a(b(x3491)))
     c(a(a(x3492))) <-8|0[]- c(b(b(x3492))) -9|[]-> b(b(b(x3492)))
     c(a(a(x3493))) <-8|0[]- c(b(b(x3493))) -10|[]-> a(a(b(x3493)))
     c(a(a(x3494))) <-8|0[]- c(b(b(x3494))) -12|[]-> c(a(b(x3494)))
     c(a(a(x3495))) <-8|0[]- c(b(b(x3495))) -13|[]-> b(a(b(x3495)))
     a(a(a(x3496))) <-8|0[]- a(b(b(x3496))) -18|[]-> b(a(b(x3496)))
     a(a(a(x3497))) <-8|0[]- a(b(b(x3497))) -19|[]-> b(c(b(x3497)))
     a(a(a(x3498))) <-8|0[]- a(b(b(x3498))) -20|[]-> c(b(b(x3498)))
     a(a(x)) <-8|[]- b(b(x)) -24|[]-> c(b(x))
     b(a(a(x3500))) <-8|0[]- b(b(b(x3500))) -24|[]-> c(b(b(x3500)))
     a(a(x)) <-8|[]- b(b(x)) -29|[]-> c(c(x))
     b(a(a(x3502))) <-8|0[]- b(b(b(x3502))) -29|[]-> c(c(b(x3502)))
     c(a(a(x3503))) <-8|0[]- c(b(b(x3503))) -30|[]-> c(c(b(x3503)))
     c(a(a(x3504))) <-8|0[]- c(b(b(x3504))) -32|[]-> a(c(b(x3504)))
     c(a(a(x3505))) <-8|0[]- c(b(b(x3505))) -33|[]-> b(c(b(x3505)))
     a(a(a(x3506))) <-8|0[]- a(b(b(x3506))) -36|[]-> a(a(b(x3506)))
     c(b(b(x3507))) <-9|0[]- c(c(b(x3507))) -0|[]-> b(a(b(x3507)))
     c(b(b(x3508))) <-9|0[]- c(c(b(x3508))) -1|[]-> b(c(b(x3508)))
     c(b(b(x3509))) <-9|0[]- c(c(b(x3509))) -2|[]-> c(b(b(x3509)))
     b(b(b(x3510))) <-9|0[]- b(c(b(x3510))) -5|[]-> c(a(b(x3510)))
     b(b(x)) <-9|[]- c(b(x)) -10|[]-> a(a(x))
     a(b(b(x3512))) <-9|0[]- a(c(b(x3512))) -11|[]-> b(a(b(x3512)))
     b(b(x)) <-9|[]- c(b(x)) -12|[]-> c(a(x))
     b(b(x)) <-9|[]- c(b(x)) -13|[]-> b(a(x))
     a(b(b(x3515))) <-9|0[]- a(c(b(x3515))) -17|[]-> a(a(b(x3515)))
     c(b(b(x3516))) <-9|0[]- c(c(b(x3516))) -21|[]-> b(b(b(x3516)))
     c(b(b(x3517))) <-9|0[]- c(c(b(x3517))) -23|[]-> a(a(b(x3517)))
     b(b(b(x3518))) <-9|0[]- b(c(b(x3518))) -25|[]-> a(c(b(x3518)))
     b(b(b(x3519))) <-9|0[]- b(c(b(x3519))) -27|[]-> b(a(b(x3519)))
     b(b(x)) <-9|[]- c(b(x)) -30|[]-> c(c(x))
     a(b(b(x3521))) <-9|0[]- a(c(b(x3521))) -31|[]-> b(c(b(x3521)))
     b(b(x)) <-9|[]- c(b(x)) -32|[]-> a(c(x))
     b(b(x)) <-9|[]- c(b(x)) -33|[]-> b(c(x))
     a(b(b(x3524))) <-9|0[]- a(c(b(x3524))) -35|[]-> c(a(b(x3524)))
     c(a(a(x3525))) <-10|0[]- c(c(b(x3525))) -0|[]-> b(a(b(x3525)))
     c(a(a(x3526))) <-10|0[]- c(c(b(x3526))) -1|[]-> b(c(b(x3526)))
     c(a(a(x3527))) <-10|0[]- c(c(b(x3527))) -2|[]-> c(b(b(x3527)))
     b(a(a(x3528))) <-10|0[]- b(c(b(x3528))) -5|[]-> c(a(b(x3528)))
     a(a(x)) <-10|[]- c(b(x)) -9|[]-> b(b(x))
     a(a(a(x3530))) <-10|0[]- a(c(b(x3530))) -11|[]-> b(a(b(x3530)))
     a(a(x)) <-10|[]- c(b(x)) -12|[]-> c(a(x))
     a(a(x)) <-10|[]- c(b(x)) -13|[]-> b(a(x))
     a(a(a(x3533))) <-10|0[]- a(c(b(x3533))) -17|[]-> a(a(b(x3533)))
     c(a(a(x3534))) <-10|0[]- c(c(b(x3534))) -21|[]-> b(b(b(x3534)))
     c(a(a(x3535))) <-10|0[]- c(c(b(x3535))) -23|[]-> a(a(b(x3535)))
     b(a(a(x3536))) <-10|0[]- b(c(b(x3536))) -25|[]-> a(c(b(x3536)))
     b(a(a(x3537))) <-10|0[]- b(c(b(x3537))) -27|[]-> b(a(b(x3537)))
     a(a(x)) <-10|[]- c(b(x)) -30|[]-> c(c(x))
     a(a(a(x3539))) <-10|0[]- a(c(b(x3539))) -31|[]-> b(c(b(x3539)))
     a(a(x)) <-10|[]- c(b(x)) -32|[]-> a(c(x))
     a(a(x)) <-10|[]- c(b(x)) -33|[]-> b(c(x))
     a(a(a(x3542))) <-10|0[]- a(c(b(x3542))) -35|[]-> c(a(b(x3542)))
     a(b(a(x3543))) <-11|0[]- a(a(c(x3543))) -6|[]-> c(c(c(x3543)))
     a(b(a(x3544))) <-11|0[]- a(a(c(x3544))) -7|[]-> a(c(c(x3544)))
     c(b(a(x3545))) <-11|0[]- c(a(c(x3545))) -14|[]-> b(a(c(x3545)))
     c(b(a(x3546))) <-11|0[]- c(a(c(x3546))) -15|[]-> b(c(c(x3546)))
     c(b(a(x3547))) <-11|0[]- c(a(c(x3547))) -16|[]-> c(b(c(x3547)))
     b(a(x)) <-11|[]- a(c(x)) -17|[]-> a(a(x))
     a(b(a(x3549))) <-11|0[]- a(a(c(x3549))) -22|[]-> b(a(c(x3549)))
     a(b(a(x3550))) <-11|0[]- a(a(c(x3550))) -26|[]-> b(c(c(x3550)))
     a(b(a(x3551))) <-11|0[]- a(a(c(x3551))) -28|[]-> c(b(c(x3551)))
     b(a(x)) <-11|[]- a(c(x)) -31|[]-> b(c(x))
     c(b(a(x3553))) <-11|0[]- c(a(c(x3553))) -34|[]-> a(a(c(x3553)))
     b(a(x)) <-11|[]- a(c(x)) -35|[]-> c(a(x))
     c(c(a(x3555))) <-12|0[]- c(c(b(x3555))) -0|[]-> b(a(b(x3555)))
     c(c(a(x3556))) <-12|0[]- c(c(b(x3556))) -1|[]-> b(c(b(x3556)))
     c(c(a(x3557))) <-12|0[]- c(c(b(x3557))) -2|[]-> c(b(b(x3557)))
     b(c(a(x3558))) <-12|0[]- b(c(b(x3558))) -5|[]-> c(a(b(x3558)))
     c(a(x)) <-12|[]- c(b(x)) -9|[]-> b(b(x))
     c(a(x)) <-12|[]- c(b(x)) -10|[]-> a(a(x))
     a(c(a(x3561))) <-12|0[]- a(c(b(x3561))) -11|[]-> b(a(b(x3561)))
     c(a(x)) <-12|[]- c(b(x)) -13|[]-> b(a(x))
     a(c(a(x3563))) <-12|0[]- a(c(b(x3563))) -17|[]-> a(a(b(x3563)))
     c(c(a(x3564))) <-12|0[]- c(c(b(x3564))) -21|[]-> b(b(b(x3564)))
     c(c(a(x3565))) <-12|0[]- c(c(b(x3565))) -23|[]-> a(a(b(x3565)))
     b(c(a(x3566))) <-12|0[]- b(c(b(x3566))) -25|[]-> a(c(b(x3566)))
     b(c(a(x3567))) <-12|0[]- b(c(b(x3567))) -27|[]-> b(a(b(x3567)))
     c(a(x)) <-12|[]- c(b(x)) -30|[]-> c(c(x))
     a(c(a(x3569))) <-12|0[]- a(c(b(x3569))) -31|[]-> b(c(b(x3569)))
     c(a(x)) <-12|[]- c(b(x)) -32|[]-> a(c(x))
     c(a(x)) <-12|[]- c(b(x)) -33|[]-> b(c(x))
     a(c(a(x3572))) <-12|0[]- a(c(b(x3572))) -35|[]-> c(a(b(x3572)))
     c(b(a(x3573))) <-13|0[]- c(c(b(x3573))) -0|[]-> b(a(b(x3573)))
     c(b(a(x3574))) <-13|0[]- c(c(b(x3574))) -1|[]-> b(c(b(x3574)))
     c(b(a(x3575))) <-13|0[]- c(c(b(x3575))) -2|[]-> c(b(b(x3575)))
     b(b(a(x3576))) <-13|0[]- b(c(b(x3576))) -5|[]-> c(a(b(x3576)))
     b(a(x)) <-13|[]- c(b(x)) -9|[]-> b(b(x))
     b(a(x)) <-13|[]- c(b(x)) -10|[]-> a(a(x))
     a(b(a(x3579))) <-13|0[]- a(c(b(x3579))) -11|[]-> b(a(b(x3579)))
     b(a(x)) <-13|[]- c(b(x)) -12|[]-> c(a(x))
     a(b(a(x3581))) <-13|0[]- a(c(b(x3581))) -17|[]-> a(a(b(x3581)))
     c(b(a(x3582))) <-13|0[]- c(c(b(x3582))) -21|[]-> b(b(b(x3582)))
     c(b(a(x3583))) <-13|0[]- c(c(b(x3583))) -23|[]-> a(a(b(x3583)))
     b(b(a(x3584))) <-13|0[]- b(c(b(x3584))) -25|[]-> a(c(b(x3584)))
     b(b(a(x3585))) <-13|0[]- b(c(b(x3585))) -27|[]-> b(a(b(x3585)))
     b(a(x)) <-13|[]- c(b(x)) -30|[]-> c(c(x))
     a(b(a(x3587))) <-13|0[]- a(c(b(x3587))) -31|[]-> b(c(b(x3587)))
     b(a(x)) <-13|[]- c(b(x)) -32|[]-> a(c(x))
     b(a(x)) <-13|[]- c(b(x)) -33|[]-> b(c(x))
     a(b(a(x3590))) <-13|0[]- a(c(b(x3590))) -35|[]-> c(a(b(x3590)))
     c(b(a(x3591))) <-14|0[]- c(c(a(x3591))) -0|[]-> b(a(a(x3591)))
     c(b(a(x3592))) <-14|0[]- c(c(a(x3592))) -1|[]-> b(c(a(x3592)))
     c(b(a(x3593))) <-14|0[]- c(c(a(x3593))) -2|[]-> c(b(a(x3593)))
     b(b(a(x3594))) <-14|0[]- b(c(a(x3594))) -5|[]-> c(a(a(x3594)))
     a(b(a(x3595))) <-14|0[]- a(c(a(x3595))) -11|[]-> b(a(a(x3595)))
     b(a(x)) <-14|[]- c(a(x)) -15|[]-> b(c(x))
     b(a(x)) <-14|[]- c(a(x)) -16|[]-> c(b(x))
     a(b(a(x3598))) <-14|0[]- a(c(a(x3598))) -17|[]-> a(a(a(x3598)))
     c(b(a(x3599))) <-14|0[]- c(c(a(x3599))) -21|[]-> b(b(a(x3599)))
     c(b(a(x3600))) <-14|0[]- c(c(a(x3600))) -23|[]-> a(a(a(x3600)))
     b(b(a(x3601))) <-14|0[]- b(c(a(x3601))) -25|[]-> a(c(a(x3601)))
     b(b(a(x3602))) <-14|0[]- b(c(a(x3602))) -27|[]-> b(a(a(x3602)))
     a(b(a(x3603))) <-14|0[]- a(c(a(x3603))) -31|[]-> b(c(a(x3603)))
     b(a(x)) <-14|[]- c(a(x)) -34|[]-> a(a(x))
     a(b(a(x3605))) <-14|0[]- a(c(a(x3605))) -35|[]-> c(a(a(x3605)))
     c(b(c(x3606))) <-15|0[]- c(c(a(x3606))) -0|[]-> b(a(a(x3606)))
     c(b(c(x3607))) <-15|0[]- c(c(a(x3607))) -1|[]-> b(c(a(x3607)))
     c(b(c(x3608))) <-15|0[]- c(c(a(x3608))) -2|[]-> c(b(a(x3608)))
     b(b(c(x3609))) <-15|0[]- b(c(a(x3609))) -5|[]-> c(a(a(x3609)))
     a(b(c(x3610))) <-15|0[]- a(c(a(x3610))) -11|[]-> b(a(a(x3610)))
     b(c(x)) <-15|[]- c(a(x)) -14|[]-> b(a(x))
     b(c(x)) <-15|[]- c(a(x)) -16|[]-> c(b(x))
     a(b(c(x3613))) <-15|0[]- a(c(a(x3613))) -17|[]-> a(a(a(x3613)))
     c(b(c(x3614))) <-15|0[]- c(c(a(x3614))) -21|[]-> b(b(a(x3614)))
     c(b(c(x3615))) <-15|0[]- c(c(a(x3615))) -23|[]-> a(a(a(x3615)))
     b(b(c(x3616))) <-15|0[]- b(c(a(x3616))) -25|[]-> a(c(a(x3616)))
     b(b(c(x3617))) <-15|0[]- b(c(a(x3617))) -27|[]-> b(a(a(x3617)))
     a(b(c(x3618))) <-15|0[]- a(c(a(x3618))) -31|[]-> b(c(a(x3618)))
     b(c(x)) <-15|[]- c(a(x)) -34|[]-> a(a(x))
     a(b(c(x3620))) <-15|0[]- a(c(a(x3620))) -35|[]-> c(a(a(x3620)))
     c(c(b(x3621))) <-16|0[]- c(c(a(x3621))) -0|[]-> b(a(a(x3621)))
     c(c(b(x3622))) <-16|0[]- c(c(a(x3622))) -1|[]-> b(c(a(x3622)))
     c(c(b(x3623))) <-16|0[]- c(c(a(x3623))) -2|[]-> c(b(a(x3623)))
     b(c(b(x3624))) <-16|0[]- b(c(a(x3624))) -5|[]-> c(a(a(x3624)))
     a(c(b(x3625))) <-16|0[]- a(c(a(x3625))) -11|[]-> b(a(a(x3625)))
     c(b(x)) <-16|[]- c(a(x)) -14|[]-> b(a(x))
     c(b(x)) <-16|[]- c(a(x)) -15|[]-> b(c(x))
     a(c(b(x3628))) <-16|0[]- a(c(a(x3628))) -17|[]-> a(a(a(x3628)))
     c(c(b(x3629))) <-16|0[]- c(c(a(x3629))) -21|[]-> b(b(a(x3629)))
     c(c(b(x3630))) <-16|0[]- c(c(a(x3630))) -23|[]-> a(a(a(x3630)))
     b(c(b(x3631))) <-16|0[]- b(c(a(x3631))) -25|[]-> a(c(a(x3631)))
     b(c(b(x3632))) <-16|0[]- b(c(a(x3632))) -27|[]-> b(a(a(x3632)))
     a(c(b(x3633))) <-16|0[]- a(c(a(x3633))) -31|[]-> b(c(a(x3633)))
     c(b(x)) <-16|[]- c(a(x)) -34|[]-> a(a(x))
     a(c(b(x3635))) <-16|0[]- a(c(a(x3635))) -35|[]-> c(a(a(x3635)))
     a(a(a(x3636))) <-17|0[]- a(a(c(x3636))) -6|[]-> c(c(c(x3636)))
     a(a(a(x3637))) <-17|0[]- a(a(c(x3637))) -7|[]-> a(c(c(x3637)))
     a(a(x)) <-17|[]- a(c(x)) -11|[]-> b(a(x))
     c(a(a(x3639))) <-17|0[]- c(a(c(x3639))) -14|[]-> b(a(c(x3639)))
     c(a(a(x3640))) <-17|0[]- c(a(c(x3640))) -15|[]-> b(c(c(x3640)))
     c(a(a(x3641))) <-17|0[]- c(a(c(x3641))) -16|[]-> c(b(c(x3641)))
     a(a(a(x3642))) <-17|0[]- a(a(c(x3642))) -22|[]-> b(a(c(x3642)))
     a(a(a(x3643))) <-17|0[]- a(a(c(x3643))) -26|[]-> b(c(c(x3643)))
     a(a(a(x3644))) <-17|0[]- a(a(c(x3644))) -28|[]-> c(b(c(x3644)))
     a(a(x)) <-17|[]- a(c(x)) -31|[]-> b(c(x))
     c(a(a(x3646))) <-17|0[]- c(a(c(x3646))) -34|[]-> a(a(c(x3646)))
     a(a(x)) <-17|[]- a(c(x)) -35|[]-> c(a(x))
     a(b(a(x3648))) <-18|0[]- a(a(b(x3648))) -6|[]-> c(c(b(x3648)))
     a(b(a(x3649))) <-18|0[]- a(a(b(x3649))) -7|[]-> a(c(b(x3649)))
     c(b(a(x3650))) <-18|0[]- c(a(b(x3650))) -14|[]-> b(a(b(x3650)))
     c(b(a(x3651))) <-18|0[]- c(a(b(x3651))) -15|[]-> b(c(b(x3651)))
     c(b(a(x3652))) <-18|0[]- c(a(b(x3652))) -16|[]-> c(b(b(x3652)))
     b(a(x)) <-18|[]- a(b(x)) -19|[]-> b(c(x))
     b(a(x)) <-18|[]- a(b(x)) -20|[]-> c(b(x))
     a(b(a(x3655))) <-18|0[]- a(a(b(x3655))) -22|[]-> b(a(b(x3655)))
     a(b(a(x3656))) <-18|0[]- a(a(b(x3656))) -26|[]-> b(c(b(x3656)))
     a(b(a(x3657))) <-18|0[]- a(a(b(x3657))) -28|[]-> c(b(b(x3657)))
     c(b(a(x3658))) <-18|0[]- c(a(b(x3658))) -34|[]-> a(a(b(x3658)))
     b(a(x)) <-18|[]- a(b(x)) -36|[]-> a(a(x))
     a(b(c(x3660))) <-19|0[]- a(a(b(x3660))) -6|[]-> c(c(b(x3660)))
     a(b(c(x3661))) <-19|0[]- a(a(b(x3661))) -7|[]-> a(c(b(x3661)))
     c(b(c(x3662))) <-19|0[]- c(a(b(x3662))) -14|[]-> b(a(b(x3662)))
     c(b(c(x3663))) <-19|0[]- c(a(b(x3663))) -15|[]-> b(c(b(x3663)))
     c(b(c(x3664))) <-19|0[]- c(a(b(x3664))) -16|[]-> c(b(b(x3664)))
     b(c(x)) <-19|[]- a(b(x)) -18|[]-> b(a(x))
     b(c(x)) <-19|[]- a(b(x)) -20|[]-> c(b(x))
     a(b(c(x3667))) <-19|0[]- a(a(b(x3667))) -22|[]-> b(a(b(x3667)))
     a(b(c(x3668))) <-19|0[]- a(a(b(x3668))) -26|[]-> b(c(b(x3668)))
     a(b(c(x3669))) <-19|0[]- a(a(b(x3669))) -28|[]-> c(b(b(x3669)))
     c(b(c(x3670))) <-19|0[]- c(a(b(x3670))) -34|[]-> a(a(b(x3670)))
     b(c(x)) <-19|[]- a(b(x)) -36|[]-> a(a(x))
     a(c(b(x3672))) <-20|0[]- a(a(b(x3672))) -6|[]-> c(c(b(x3672)))
     a(c(b(x3673))) <-20|0[]- a(a(b(x3673))) -7|[]-> a(c(b(x3673)))
     c(c(b(x3674))) <-20|0[]- c(a(b(x3674))) -14|[]-> b(a(b(x3674)))
     c(c(b(x3675))) <-20|0[]- c(a(b(x3675))) -15|[]-> b(c(b(x3675)))
     c(c(b(x3676))) <-20|0[]- c(a(b(x3676))) -16|[]-> c(b(b(x3676)))
     c(b(x)) <-20|[]- a(b(x)) -18|[]-> b(a(x))
     c(b(x)) <-20|[]- a(b(x)) -19|[]-> b(c(x))
     a(c(b(x3679))) <-20|0[]- a(a(b(x3679))) -22|[]-> b(a(b(x3679)))
     a(c(b(x3680))) <-20|0[]- a(a(b(x3680))) -26|[]-> b(c(b(x3680)))
     a(c(b(x3681))) <-20|0[]- a(a(b(x3681))) -28|[]-> c(b(b(x3681)))
     c(c(b(x3682))) <-20|0[]- c(a(b(x3682))) -34|[]-> a(a(b(x3682)))
     c(b(x)) <-20|[]- a(b(x)) -36|[]-> a(a(x))
     b(b(x)) <-21|[]- c(c(x)) -0|[]-> b(a(x))
     c(b(b(x3685))) <-21|0[]- c(c(c(x3685))) -0|[]-> b(a(c(x3685)))
     b(b(x)) <-21|[]- c(c(x)) -1|[]-> b(c(x))
     c(b(b(x3687))) <-21|0[]- c(c(c(x3687))) -1|[]-> b(c(c(x3687)))
     b(b(x)) <-21|[]- c(c(x)) -2|[]-> c(b(x))
     c(b(b(x3689))) <-21|0[]- c(c(c(x3689))) -2|[]-> c(b(c(x3689)))
     b(b(b(x3690))) <-21|0[]- b(c(c(x3690))) -5|[]-> c(a(c(x3690)))
     a(b(b(x3691))) <-21|0[]- a(c(c(x3691))) -11|[]-> b(a(c(x3691)))
     a(b(b(x3692))) <-21|0[]- a(c(c(x3692))) -17|[]-> a(a(c(x3692)))
     c(b(b(x3693))) <-21|0[]- c(c(c(x3693))) -21|[]-> b(b(c(x3693)))
     b(b(x)) <-21|[]- c(c(x)) -23|[]-> a(a(x))
     c(b(b(x3695))) <-21|0[]- c(c(c(x3695))) -23|[]-> a(a(c(x3695)))
     b(b(b(x3696))) <-21|0[]- b(c(c(x3696))) -25|[]-> a(c(c(x3696)))
     b(b(b(x3697))) <-21|0[]- b(c(c(x3697))) -27|[]-> b(a(c(x3697)))
     a(b(b(x3698))) <-21|0[]- a(c(c(x3698))) -31|[]-> b(c(c(x3698)))
     a(b(b(x3699))) <-21|0[]- a(c(c(x3699))) -35|[]-> c(a(c(x3699)))
     b(a(x)) <-22|[]- a(a(x)) -6|[]-> c(c(x))
     a(b(a(x3701))) <-22|0[]- a(a(a(x3701))) -6|[]-> c(c(a(x3701)))
     b(a(x)) <-22|[]- a(a(x)) -7|[]-> a(c(x))
     a(b(a(x3703))) <-22|0[]- a(a(a(x3703))) -7|[]-> a(c(a(x3703)))
     c(b(a(x3704))) <-22|0[]- c(a(a(x3704))) -14|[]-> b(a(a(x3704)))
     c(b(a(x3705))) <-22|0[]- c(a(a(x3705))) -15|[]-> b(c(a(x3705)))
     c(b(a(x3706))) <-22|0[]- c(a(a(x3706))) -16|[]-> c(b(a(x3706)))
     a(b(a(x3707))) <-22|0[]- a(a(a(x3707))) -22|[]-> b(a(a(x3707)))
     b(a(x)) <-22|[]- a(a(x)) -26|[]-> b(c(x))
     a(b(a(x3709))) <-22|0[]- a(a(a(x3709))) -26|[]-> b(c(a(x3709)))
     b(a(x)) <-22|[]- a(a(x)) -28|[]-> c(b(x))
     a(b(a(x3711))) <-22|0[]- a(a(a(x3711))) -28|[]-> c(b(a(x3711)))
     c(b(a(x3712))) <-22|0[]- c(a(a(x3712))) -34|[]-> a(a(a(x3712)))
     a(a(x)) <-23|[]- c(c(x)) -0|[]-> b(a(x))
     c(a(a(x3714))) <-23|0[]- c(c(c(x3714))) -0|[]-> b(a(c(x3714)))
     a(a(x)) <-23|[]- c(c(x)) -1|[]-> b(c(x))
     c(a(a(x3716))) <-23|0[]- c(c(c(x3716))) -1|[]-> b(c(c(x3716)))
     a(a(x)) <-23|[]- c(c(x)) -2|[]-> c(b(x))
     c(a(a(x3718))) <-23|0[]- c(c(c(x3718))) -2|[]-> c(b(c(x3718)))
     b(a(a(x3719))) <-23|0[]- b(c(c(x3719))) -5|[]-> c(a(c(x3719)))
     a(a(a(x3720))) <-23|0[]- a(c(c(x3720))) -11|[]-> b(a(c(x3720)))
     a(a(a(x3721))) <-23|0[]- a(c(c(x3721))) -17|[]-> a(a(c(x3721)))
     a(a(x)) <-23|[]- c(c(x)) -21|[]-> b(b(x))
     c(a(a(x3723))) <-23|0[]- c(c(c(x3723))) -21|[]-> b(b(c(x3723)))
     c(a(a(x3724))) <-23|0[]- c(c(c(x3724))) -23|[]-> a(a(c(x3724)))
     b(a(a(x3725))) <-23|0[]- b(c(c(x3725))) -25|[]-> a(c(c(x3725)))
     b(a(a(x3726))) <-23|0[]- b(c(c(x3726))) -27|[]-> b(a(c(x3726)))
     a(a(a(x3727))) <-23|0[]- a(c(c(x3727))) -31|[]-> b(c(c(x3727)))
     a(a(a(x3728))) <-23|0[]- a(c(c(x3728))) -35|[]-> c(a(c(x3728)))
     c(b(x)) <-24|[]- b(b(x)) -3|[]-> a(c(x))
     b(c(b(x3730))) <-24|0[]- b(b(b(x3730))) -3|[]-> a(c(b(x3730)))
     c(b(x)) <-24|[]- b(b(x)) -4|[]-> b(c(x))
     b(c(b(x3732))) <-24|0[]- b(b(b(x3732))) -4|[]-> b(c(b(x3732)))
     c(b(x)) <-24|[]- b(b(x)) -8|[]-> a(a(x))
     b(c(b(x3734))) <-24|0[]- b(b(b(x3734))) -8|[]-> a(a(b(x3734)))
     c(c(b(x3735))) <-24|0[]- c(b(b(x3735))) -9|[]-> b(b(b(x3735)))
     c(c(b(x3736))) <-24|0[]- c(b(b(x3736))) -10|[]-> a(a(b(x3736)))
     c(c(b(x3737))) <-24|0[]- c(b(b(x3737))) -12|[]-> c(a(b(x3737)))
     c(c(b(x3738))) <-24|0[]- c(b(b(x3738))) -13|[]-> b(a(b(x3738)))
     a(c(b(x3739))) <-24|0[]- a(b(b(x3739))) -18|[]-> b(a(b(x3739)))
     a(c(b(x3740))) <-24|0[]- a(b(b(x3740))) -19|[]-> b(c(b(x3740)))
     a(c(b(x3741))) <-24|0[]- a(b(b(x3741))) -20|[]-> c(b(b(x3741)))
     b(c(b(x3742))) <-24|0[]- b(b(b(x3742))) -24|[]-> c(b(b(x3742)))
     c(b(x)) <-24|[]- b(b(x)) -29|[]-> c(c(x))
     b(c(b(x3744))) <-24|0[]- b(b(b(x3744))) -29|[]-> c(c(b(x3744)))
     c(c(b(x3745))) <-24|0[]- c(b(b(x3745))) -30|[]-> c(c(b(x3745)))
     c(c(b(x3746))) <-24|0[]- c(b(b(x3746))) -32|[]-> a(c(b(x3746)))
     c(c(b(x3747))) <-24|0[]- c(b(b(x3747))) -33|[]-> b(c(b(x3747)))
     a(c(b(x3748))) <-24|0[]- a(b(b(x3748))) -36|[]-> a(a(b(x3748)))
     b(a(c(x3749))) <-25|0[]- b(b(c(x3749))) -3|[]-> a(c(c(x3749)))
     b(a(c(x3750))) <-25|0[]- b(b(c(x3750))) -4|[]-> b(c(c(x3750)))
     a(c(x)) <-25|[]- b(c(x)) -5|[]-> c(a(x))
     b(a(c(x3752))) <-25|0[]- b(b(c(x3752))) -8|[]-> a(a(c(x3752)))
     c(a(c(x3753))) <-25|0[]- c(b(c(x3753))) -9|[]-> b(b(c(x3753)))
     c(a(c(x3754))) <-25|0[]- c(b(c(x3754))) -10|[]-> a(a(c(x3754)))
     c(a(c(x3755))) <-25|0[]- c(b(c(x3755))) -12|[]-> c(a(c(x3755)))
     c(a(c(x3756))) <-25|0[]- c(b(c(x3756))) -13|[]-> b(a(c(x3756)))
     a(a(c(x3757))) <-25|0[]- a(b(c(x3757))) -18|[]-> b(a(c(x3757)))
     a(a(c(x3758))) <-25|0[]- a(b(c(x3758))) -19|[]-> b(c(c(x3758)))
     a(a(c(x3759))) <-25|0[]- a(b(c(x3759))) -20|[]-> c(b(c(x3759)))
     b(a(c(x3760))) <-25|0[]- b(b(c(x3760))) -24|[]-> c(b(c(x3760)))
     a(c(x)) <-25|[]- b(c(x)) -27|[]-> b(a(x))
     b(a(c(x3762))) <-25|0[]- b(b(c(x3762))) -29|[]-> c(c(c(x3762)))
     c(a(c(x3763))) <-25|0[]- c(b(c(x3763))) -30|[]-> c(c(c(x3763)))
     c(a(c(x3764))) <-25|0[]- c(b(c(x3764))) -32|[]-> a(c(c(x3764)))
     c(a(c(x3765))) <-25|0[]- c(b(c(x3765))) -33|[]-> b(c(c(x3765)))
     a(a(c(x3766))) <-25|0[]- a(b(c(x3766))) -36|[]-> a(a(c(x3766)))
     b(c(x)) <-26|[]- a(a(x)) -6|[]-> c(c(x))
     a(b(c(x3768))) <-26|0[]- a(a(a(x3768))) -6|[]-> c(c(a(x3768)))
     b(c(x)) <-26|[]- a(a(x)) -7|[]-> a(c(x))
     a(b(c(x3770))) <-26|0[]- a(a(a(x3770))) -7|[]-> a(c(a(x3770)))
     c(b(c(x3771))) <-26|0[]- c(a(a(x3771))) -14|[]-> b(a(a(x3771)))
     c(b(c(x3772))) <-26|0[]- c(a(a(x3772))) -15|[]-> b(c(a(x3772)))
     c(b(c(x3773))) <-26|0[]- c(a(a(x3773))) -16|[]-> c(b(a(x3773)))
     b(c(x)) <-26|[]- a(a(x)) -22|[]-> b(a(x))
     a(b(c(x3775))) <-26|0[]- a(a(a(x3775))) -22|[]-> b(a(a(x3775)))
     a(b(c(x3776))) <-26|0[]- a(a(a(x3776))) -26|[]-> b(c(a(x3776)))
     b(c(x)) <-26|[]- a(a(x)) -28|[]-> c(b(x))
     a(b(c(x3778))) <-26|0[]- a(a(a(x3778))) -28|[]-> c(b(a(x3778)))
     c(b(c(x3779))) <-26|0[]- c(a(a(x3779))) -34|[]-> a(a(a(x3779)))
     b(b(a(x3780))) <-27|0[]- b(b(c(x3780))) -3|[]-> a(c(c(x3780)))
     b(b(a(x3781))) <-27|0[]- b(b(c(x3781))) -4|[]-> b(c(c(x3781)))
     b(a(x)) <-27|[]- b(c(x)) -5|[]-> c(a(x))
     b(b(a(x3783))) <-27|0[]- b(b(c(x3783))) -8|[]-> a(a(c(x3783)))
     c(b(a(x3784))) <-27|0[]- c(b(c(x3784))) -9|[]-> b(b(c(x3784)))
     c(b(a(x3785))) <-27|0[]- c(b(c(x3785))) -10|[]-> a(a(c(x3785)))
     c(b(a(x3786))) <-27|0[]- c(b(c(x3786))) -12|[]-> c(a(c(x3786)))
     c(b(a(x3787))) <-27|0[]- c(b(c(x3787))) -13|[]-> b(a(c(x3787)))
     a(b(a(x3788))) <-27|0[]- a(b(c(x3788))) -18|[]-> b(a(c(x3788)))
     a(b(a(x3789))) <-27|0[]- a(b(c(x3789))) -19|[]-> b(c(c(x3789)))
     a(b(a(x3790))) <-27|0[]- a(b(c(x3790))) -20|[]-> c(b(c(x3790)))
     b(b(a(x3791))) <-27|0[]- b(b(c(x3791))) -24|[]-> c(b(c(x3791)))
     b(a(x)) <-27|[]- b(c(x)) -25|[]-> a(c(x))
     b(b(a(x3793))) <-27|0[]- b(b(c(x3793))) -29|[]-> c(c(c(x3793)))
     c(b(a(x3794))) <-27|0[]- c(b(c(x3794))) -30|[]-> c(c(c(x3794)))
     c(b(a(x3795))) <-27|0[]- c(b(c(x3795))) -32|[]-> a(c(c(x3795)))
     c(b(a(x3796))) <-27|0[]- c(b(c(x3796))) -33|[]-> b(c(c(x3796)))
     a(b(a(x3797))) <-27|0[]- a(b(c(x3797))) -36|[]-> a(a(c(x3797)))
     c(b(x)) <-28|[]- a(a(x)) -6|[]-> c(c(x))
     a(c(b(x3799))) <-28|0[]- a(a(a(x3799))) -6|[]-> c(c(a(x3799)))
     c(b(x)) <-28|[]- a(a(x)) -7|[]-> a(c(x))
     a(c(b(x3801))) <-28|0[]- a(a(a(x3801))) -7|[]-> a(c(a(x3801)))
     c(c(b(x3802))) <-28|0[]- c(a(a(x3802))) -14|[]-> b(a(a(x3802)))
     c(c(b(x3803))) <-28|0[]- c(a(a(x3803))) -15|[]-> b(c(a(x3803)))
     c(c(b(x3804))) <-28|0[]- c(a(a(x3804))) -16|[]-> c(b(a(x3804)))
     c(b(x)) <-28|[]- a(a(x)) -22|[]-> b(a(x))
     a(c(b(x3806))) <-28|0[]- a(a(a(x3806))) -22|[]-> b(a(a(x3806)))
     c(b(x)) <-28|[]- a(a(x)) -26|[]-> b(c(x))
     a(c(b(x3808))) <-28|0[]- a(a(a(x3808))) -26|[]-> b(c(a(x3808)))
     a(c(b(x3809))) <-28|0[]- a(a(a(x3809))) -28|[]-> c(b(a(x3809)))
     c(c(b(x3810))) <-28|0[]- c(a(a(x3810))) -34|[]-> a(a(a(x3810)))
     c(c(x)) <-29|[]- b(b(x)) -3|[]-> a(c(x))
     b(c(c(x3812))) <-29|0[]- b(b(b(x3812))) -3|[]-> a(c(b(x3812)))
     c(c(x)) <-29|[]- b(b(x)) -4|[]-> b(c(x))
     b(c(c(x3814))) <-29|0[]- b(b(b(x3814))) -4|[]-> b(c(b(x3814)))
     c(c(x)) <-29|[]- b(b(x)) -8|[]-> a(a(x))
     b(c(c(x3816))) <-29|0[]- b(b(b(x3816))) -8|[]-> a(a(b(x3816)))
     c(c(c(x3817))) <-29|0[]- c(b(b(x3817))) -9|[]-> b(b(b(x3817)))
     c(c(c(x3818))) <-29|0[]- c(b(b(x3818))) -10|[]-> a(a(b(x3818)))
     c(c(c(x3819))) <-29|0[]- c(b(b(x3819))) -12|[]-> c(a(b(x3819)))
     c(c(c(x3820))) <-29|0[]- c(b(b(x3820))) -13|[]-> b(a(b(x3820)))
     a(c(c(x3821))) <-29|0[]- a(b(b(x3821))) -18|[]-> b(a(b(x3821)))
     a(c(c(x3822))) <-29|0[]- a(b(b(x3822))) -19|[]-> b(c(b(x3822)))
     a(c(c(x3823))) <-29|0[]- a(b(b(x3823))) -20|[]-> c(b(b(x3823)))
     c(c(x)) <-29|[]- b(b(x)) -24|[]-> c(b(x))
     b(c(c(x3825))) <-29|0[]- b(b(b(x3825))) -24|[]-> c(b(b(x3825)))
     b(c(c(x3826))) <-29|0[]- b(b(b(x3826))) -29|[]-> c(c(b(x3826)))
     c(c(c(x3827))) <-29|0[]- c(b(b(x3827))) -30|[]-> c(c(b(x3827)))
     c(c(c(x3828))) <-29|0[]- c(b(b(x3828))) -32|[]-> a(c(b(x3828)))
     c(c(c(x3829))) <-29|0[]- c(b(b(x3829))) -33|[]-> b(c(b(x3829)))
     a(c(c(x3830))) <-29|0[]- a(b(b(x3830))) -36|[]-> a(a(b(x3830)))
     c(c(c(x3831))) <-30|0[]- c(c(b(x3831))) -0|[]-> b(a(b(x3831)))
     c(c(c(x3832))) <-30|0[]- c(c(b(x3832))) -1|[]-> b(c(b(x3832)))
     c(c(c(x3833))) <-30|0[]- c(c(b(x3833))) -2|[]-> c(b(b(x3833)))
     b(c(c(x3834))) <-30|0[]- b(c(b(x3834))) -5|[]-> c(a(b(x3834)))
     c(c(x)) <-30|[]- c(b(x)) -9|[]-> b(b(x))
     c(c(x)) <-30|[]- c(b(x)) -10|[]-> a(a(x))
     a(c(c(x3837))) <-30|0[]- a(c(b(x3837))) -11|[]-> b(a(b(x3837)))
     c(c(x)) <-30|[]- c(b(x)) -12|[]-> c(a(x))
     c(c(x)) <-30|[]- c(b(x)) -13|[]-> b(a(x))
     a(c(c(x3840))) <-30|0[]- a(c(b(x3840))) -17|[]-> a(a(b(x3840)))
     c(c(c(x3841))) <-30|0[]- c(c(b(x3841))) -21|[]-> b(b(b(x3841)))
     c(c(c(x3842))) <-30|0[]- c(c(b(x3842))) -23|[]-> a(a(b(x3842)))
     b(c(c(x3843))) <-30|0[]- b(c(b(x3843))) -25|[]-> a(c(b(x3843)))
     b(c(c(x3844))) <-30|0[]- b(c(b(x3844))) -27|[]-> b(a(b(x3844)))
     a(c(c(x3845))) <-30|0[]- a(c(b(x3845))) -31|[]-> b(c(b(x3845)))
     c(c(x)) <-30|[]- c(b(x)) -32|[]-> a(c(x))
     c(c(x)) <-30|[]- c(b(x)) -33|[]-> b(c(x))
     a(c(c(x3848))) <-30|0[]- a(c(b(x3848))) -35|[]-> c(a(b(x3848)))
     a(b(c(x3849))) <-31|0[]- a(a(c(x3849))) -6|[]-> c(c(c(x3849)))
     a(b(c(x3850))) <-31|0[]- a(a(c(x3850))) -7|[]-> a(c(c(x3850)))
     b(c(x)) <-31|[]- a(c(x)) -11|[]-> b(a(x))
     c(b(c(x3852))) <-31|0[]- c(a(c(x3852))) -14|[]-> b(a(c(x3852)))
     c(b(c(x3853))) <-31|0[]- c(a(c(x3853))) -15|[]-> b(c(c(x3853)))
     c(b(c(x3854))) <-31|0[]- c(a(c(x3854))) -16|[]-> c(b(c(x3854)))
     b(c(x)) <-31|[]- a(c(x)) -17|[]-> a(a(x))
     a(b(c(x3856))) <-31|0[]- a(a(c(x3856))) -22|[]-> b(a(c(x3856)))
     a(b(c(x3857))) <-31|0[]- a(a(c(x3857))) -26|[]-> b(c(c(x3857)))
     a(b(c(x3858))) <-31|0[]- a(a(c(x3858))) -28|[]-> c(b(c(x3858)))
     c(b(c(x3859))) <-31|0[]- c(a(c(x3859))) -34|[]-> a(a(c(x3859)))
     b(c(x)) <-31|[]- a(c(x)) -35|[]-> c(a(x))
     c(a(c(x3861))) <-32|0[]- c(c(b(x3861))) -0|[]-> b(a(b(x3861)))
     c(a(c(x3862))) <-32|0[]- c(c(b(x3862))) -1|[]-> b(c(b(x3862)))
     c(a(c(x3863))) <-32|0[]- c(c(b(x3863))) -2|[]-> c(b(b(x3863)))
     b(a(c(x3864))) <-32|0[]- b(c(b(x3864))) -5|[]-> c(a(b(x3864)))
     a(c(x)) <-32|[]- c(b(x)) -9|[]-> b(b(x))
     a(c(x)) <-32|[]- c(b(x)) -10|[]-> a(a(x))
     a(a(c(x3867))) <-32|0[]- a(c(b(x3867))) -11|[]-> b(a(b(x3867)))
     a(c(x)) <-32|[]- c(b(x)) -12|[]-> c(a(x))
     a(c(x)) <-32|[]- c(b(x)) -13|[]-> b(a(x))
     a(a(c(x3870))) <-32|0[]- a(c(b(x3870))) -17|[]-> a(a(b(x3870)))
     c(a(c(x3871))) <-32|0[]- c(c(b(x3871))) -21|[]-> b(b(b(x3871)))
     c(a(c(x3872))) <-32|0[]- c(c(b(x3872))) -23|[]-> a(a(b(x3872)))
     b(a(c(x3873))) <-32|0[]- b(c(b(x3873))) -25|[]-> a(c(b(x3873)))
     b(a(c(x3874))) <-32|0[]- b(c(b(x3874))) -27|[]-> b(a(b(x3874)))
     a(c(x)) <-32|[]- c(b(x)) -30|[]-> c(c(x))
     a(a(c(x3876))) <-32|0[]- a(c(b(x3876))) -31|[]-> b(c(b(x3876)))
     a(c(x)) <-32|[]- c(b(x)) -33|[]-> b(c(x))
     a(a(c(x3878))) <-32|0[]- a(c(b(x3878))) -35|[]-> c(a(b(x3878)))
     c(b(c(x3879))) <-33|0[]- c(c(b(x3879))) -0|[]-> b(a(b(x3879)))
     c(b(c(x3880))) <-33|0[]- c(c(b(x3880))) -1|[]-> b(c(b(x3880)))
     c(b(c(x3881))) <-33|0[]- c(c(b(x3881))) -2|[]-> c(b(b(x3881)))
     b(b(c(x3882))) <-33|0[]- b(c(b(x3882))) -5|[]-> c(a(b(x3882)))
     b(c(x)) <-33|[]- c(b(x)) -9|[]-> b(b(x))
     b(c(x)) <-33|[]- c(b(x)) -10|[]-> a(a(x))
     a(b(c(x3885))) <-33|0[]- a(c(b(x3885))) -11|[]-> b(a(b(x3885)))
     b(c(x)) <-33|[]- c(b(x)) -12|[]-> c(a(x))
     b(c(x)) <-33|[]- c(b(x)) -13|[]-> b(a(x))
     a(b(c(x3888))) <-33|0[]- a(c(b(x3888))) -17|[]-> a(a(b(x3888)))
     c(b(c(x3889))) <-33|0[]- c(c(b(x3889))) -21|[]-> b(b(b(x3889)))
     c(b(c(x3890))) <-33|0[]- c(c(b(x3890))) -23|[]-> a(a(b(x3890)))
     b(b(c(x3891))) <-33|0[]- b(c(b(x3891))) -25|[]-> a(c(b(x3891)))
     b(b(c(x3892))) <-33|0[]- b(c(b(x3892))) -27|[]-> b(a(b(x3892)))
     b(c(x)) <-33|[]- c(b(x)) -30|[]-> c(c(x))
     a(b(c(x3894))) <-33|0[]- a(c(b(x3894))) -31|[]-> b(c(b(x3894)))
     b(c(x)) <-33|[]- c(b(x)) -32|[]-> a(c(x))
     a(b(c(x3896))) <-33|0[]- a(c(b(x3896))) -35|[]-> c(a(b(x3896)))
     c(a(a(x3897))) <-34|0[]- c(c(a(x3897))) -0|[]-> b(a(a(x3897)))
     c(a(a(x3898))) <-34|0[]- c(c(a(x3898))) -1|[]-> b(c(a(x3898)))
     c(a(a(x3899))) <-34|0[]- c(c(a(x3899))) -2|[]-> c(b(a(x3899)))
     b(a(a(x3900))) <-34|0[]- b(c(a(x3900))) -5|[]-> c(a(a(x3900)))
     a(a(a(x3901))) <-34|0[]- a(c(a(x3901))) -11|[]-> b(a(a(x3901)))
     a(a(x)) <-34|[]- c(a(x)) -14|[]-> b(a(x))
     a(a(x)) <-34|[]- c(a(x)) -15|[]-> b(c(x))
     a(a(x)) <-34|[]- c(a(x)) -16|[]-> c(b(x))
     a(a(a(x3905))) <-34|0[]- a(c(a(x3905))) -17|[]-> a(a(a(x3905)))
     c(a(a(x3906))) <-34|0[]- c(c(a(x3906))) -21|[]-> b(b(a(x3906)))
     c(a(a(x3907))) <-34|0[]- c(c(a(x3907))) -23|[]-> a(a(a(x3907)))
     b(a(a(x3908))) <-34|0[]- b(c(a(x3908))) -25|[]-> a(c(a(x3908)))
     b(a(a(x3909))) <-34|0[]- b(c(a(x3909))) -27|[]-> b(a(a(x3909)))
     a(a(a(x3910))) <-34|0[]- a(c(a(x3910))) -31|[]-> b(c(a(x3910)))
     a(a(a(x3911))) <-34|0[]- a(c(a(x3911))) -35|[]-> c(a(a(x3911)))
     a(c(a(x3912))) <-35|0[]- a(a(c(x3912))) -6|[]-> c(c(c(x3912)))
     a(c(a(x3913))) <-35|0[]- a(a(c(x3913))) -7|[]-> a(c(c(x3913)))
     c(a(x)) <-35|[]- a(c(x)) -11|[]-> b(a(x))
     c(c(a(x3915))) <-35|0[]- c(a(c(x3915))) -14|[]-> b(a(c(x3915)))
     c(c(a(x3916))) <-35|0[]- c(a(c(x3916))) -15|[]-> b(c(c(x3916)))
     c(c(a(x3917))) <-35|0[]- c(a(c(x3917))) -16|[]-> c(b(c(x3917)))
     c(a(x)) <-35|[]- a(c(x)) -17|[]-> a(a(x))
     a(c(a(x3919))) <-35|0[]- a(a(c(x3919))) -22|[]-> b(a(c(x3919)))
     a(c(a(x3920))) <-35|0[]- a(a(c(x3920))) -26|[]-> b(c(c(x3920)))
     a(c(a(x3921))) <-35|0[]- a(a(c(x3921))) -28|[]-> c(b(c(x3921)))
     c(a(x)) <-35|[]- a(c(x)) -31|[]-> b(c(x))
     c(c(a(x3923))) <-35|0[]- c(a(c(x3923))) -34|[]-> a(a(c(x3923)))
     a(a(a(x3924))) <-36|0[]- a(a(b(x3924))) -6|[]-> c(c(b(x3924)))
     a(a(a(x3925))) <-36|0[]- a(a(b(x3925))) -7|[]-> a(c(b(x3925)))
     c(a(a(x3926))) <-36|0[]- c(a(b(x3926))) -14|[]-> b(a(b(x3926)))
     c(a(a(x3927))) <-36|0[]- c(a(b(x3927))) -15|[]-> b(c(b(x3927)))
     c(a(a(x3928))) <-36|0[]- c(a(b(x3928))) -16|[]-> c(b(b(x3928)))
     a(a(x)) <-36|[]- a(b(x)) -18|[]-> b(a(x))
     a(a(x)) <-36|[]- a(b(x)) -19|[]-> b(c(x))
     a(a(x)) <-36|[]- a(b(x)) -20|[]-> c(b(x))
     a(a(a(x3932))) <-36|0[]- a(a(b(x3932))) -22|[]-> b(a(b(x3932)))
     a(a(a(x3933))) <-36|0[]- a(a(b(x3933))) -26|[]-> b(c(b(x3933)))
     a(a(a(x3934))) <-36|0[]- a(a(b(x3934))) -28|[]-> c(b(b(x3934)))
     c(a(a(x3935))) <-36|0[]- c(a(b(x3935))) -34|[]-> a(a(b(x3935)))
    Redundant Rules Transformation:
     c(c(x)) -> b(a(x))
     c(c(x)) -> b(c(x))
     c(c(x)) -> c(b(x))
     b(b(x)) -> a(c(x))
     b(b(x)) -> b(c(x))
     b(c(x)) -> c(a(x))
     a(a(x)) -> c(c(x))
     a(a(x)) -> a(c(x))
     b(b(x)) -> a(a(x))
     c(b(x)) -> b(b(x))
     c(b(x)) -> a(a(x))
     a(c(x)) -> b(a(x))
     c(b(x)) -> c(a(x))
     c(b(x)) -> b(a(x))
     c(a(x)) -> b(a(x))
     c(a(x)) -> b(c(x))
     c(a(x)) -> c(b(x))
     a(c(x)) -> a(a(x))
     a(b(x)) -> b(a(x))
     a(b(x)) -> b(c(x))
     a(b(x)) -> c(b(x))
     c(c(x)) -> b(b(x))
     a(a(x)) -> b(a(x))
     c(c(x)) -> a(a(x))
     b(b(x)) -> c(b(x))
     b(c(x)) -> a(c(x))
     a(a(x)) -> b(c(x))
     b(c(x)) -> b(a(x))
     a(a(x)) -> c(b(x))
     b(b(x)) -> c(c(x))
     c(b(x)) -> c(c(x))
     a(c(x)) -> b(c(x))
     c(b(x)) -> a(c(x))
     c(b(x)) -> b(c(x))
     c(a(x)) -> a(a(x))
     a(c(x)) -> c(a(x))
     a(b(x)) -> a(a(x))
     c(c(x)) -> c(a(x))
     c(c(x)) -> a(c(x))
     c(c(x)) -> c(c(x))
     b(b(x)) -> b(a(x))
     b(b(x)) -> c(a(x))
     b(c(x)) -> b(c(x))
     b(c(x)) -> c(b(x))
     b(c(x)) -> a(a(x))
     a(a(x)) -> b(b(x))
     a(a(x)) -> a(a(x))
     a(a(x)) -> c(a(x))
     c(b(x)) -> c(b(x))
     c(a(x)) -> c(a(x))
     c(a(x)) -> a(c(x))
     c(a(x)) -> b(b(x))
     c(a(x)) -> c(c(x))
     a(c(x)) -> c(c(x))
     a(c(x)) -> a(c(x))
     a(c(x)) -> c(b(x))
     a(b(x)) -> c(a(x))
     a(b(x)) -> a(c(x))
     a(b(x)) -> b(b(x))
     a(b(x)) -> c(c(x))
     b(b(x)) -> b(b(x))
     Church Rosser Transformation Processor (no redundant rules):
      strict:
       a(b(x)) -> c(c(x))
       a(b(x)) -> b(b(x))
       a(b(x)) -> a(c(x))
       a(b(x)) -> c(a(x))
       a(c(x)) -> c(b(x))
       a(c(x)) -> c(c(x))
       c(a(x)) -> c(c(x))
       c(a(x)) -> b(b(x))
       c(a(x)) -> a(c(x))
       a(a(x)) -> c(a(x))
       a(a(x)) -> b(b(x))
       b(c(x)) -> a(a(x))
       b(c(x)) -> c(b(x))
       b(b(x)) -> c(a(x))
       b(b(x)) -> b(a(x))
       c(c(x)) -> a(c(x))
       c(c(x)) -> c(a(x))
       a(b(x)) -> a(a(x))
       a(c(x)) -> c(a(x))
       c(a(x)) -> a(a(x))
       c(b(x)) -> b(c(x))
       c(b(x)) -> a(c(x))
       a(c(x)) -> b(c(x))
       c(b(x)) -> c(c(x))
       b(b(x)) -> c(c(x))
       a(a(x)) -> c(b(x))
       b(c(x)) -> b(a(x))
       a(a(x)) -> b(c(x))
       b(c(x)) -> a(c(x))
       b(b(x)) -> c(b(x))
       c(c(x)) -> a(a(x))
       a(a(x)) -> b(a(x))
       c(c(x)) -> b(b(x))
       a(b(x)) -> c(b(x))
       a(b(x)) -> b(c(x))
       a(b(x)) -> b(a(x))
       a(c(x)) -> a(a(x))
       c(a(x)) -> c(b(x))
       c(a(x)) -> b(c(x))
       c(a(x)) -> b(a(x))
       c(b(x)) -> b(a(x))
       c(b(x)) -> c(a(x))
       a(c(x)) -> b(a(x))
       c(b(x)) -> a(a(x))
       c(b(x)) -> b(b(x))
       b(b(x)) -> a(a(x))
       a(a(x)) -> a(c(x))
       a(a(x)) -> c(c(x))
       b(c(x)) -> c(a(x))
       b(b(x)) -> b(c(x))
       b(b(x)) -> a(c(x))
       c(c(x)) -> c(b(x))
       c(c(x)) -> b(c(x))
       c(c(x)) -> b(a(x))
      weak:
       
      critical peaks: 1252
       c(c(x)) <-0|[]- a(b(x)) -1|[]-> b(b(x))
       c(c(x)) <-0|[]- a(b(x)) -2|[]-> a(c(x))
       c(c(x)) <-0|[]- a(b(x)) -3|[]-> c(a(x))
       c(c(c(x9771))) <-0|0[]- c(a(b(x9771))) -6|[]-> c(c(b(x9771)))
       c(c(c(x9772))) <-0|0[]- c(a(b(x9772))) -7|[]-> b(b(b(x9772)))
       c(c(c(x9773))) <-0|0[]- c(a(b(x9773))) -8|[]-> a(c(b(x9773)))
       a(c(c(x9774))) <-0|0[]- a(a(b(x9774))) -9|[]-> c(a(b(x9774)))
       a(c(c(x9775))) <-0|0[]- a(a(b(x9775))) -10|[]-> b(b(b(x9775)))
       c(c(x)) <-0|[]- a(b(x)) -17|[]-> a(a(x))
       c(c(c(x9777))) <-0|0[]- c(a(b(x9777))) -19|[]-> a(a(b(x9777)))
       a(c(c(x9778))) <-0|0[]- a(a(b(x9778))) -25|[]-> c(b(b(x9778)))
       a(c(c(x9779))) <-0|0[]- a(a(b(x9779))) -27|[]-> b(c(b(x9779)))
       a(c(c(x9780))) <-0|0[]- a(a(b(x9780))) -31|[]-> b(a(b(x9780)))
       c(c(x)) <-0|[]- a(b(x)) -33|[]-> c(b(x))
       c(c(x)) <-0|[]- a(b(x)) -34|[]-> b(c(x))
       c(c(x)) <-0|[]- a(b(x)) -35|[]-> b(a(x))
       c(c(c(x9784))) <-0|0[]- c(a(b(x9784))) -37|[]-> c(b(b(x9784)))
       c(c(c(x9785))) <-0|0[]- c(a(b(x9785))) -38|[]-> b(c(b(x9785)))
       c(c(c(x9786))) <-0|0[]- c(a(b(x9786))) -39|[]-> b(a(b(x9786)))
       a(c(c(x9787))) <-0|0[]- a(a(b(x9787))) -46|[]-> a(c(b(x9787)))
       a(c(c(x9788))) <-0|0[]- a(a(b(x9788))) -47|[]-> c(c(b(x9788)))
       b(b(x)) <-1|[]- a(b(x)) -0|[]-> c(c(x))
       b(b(x)) <-1|[]- a(b(x)) -2|[]-> a(c(x))
       b(b(x)) <-1|[]- a(b(x)) -3|[]-> c(a(x))
       c(b(b(x9792))) <-1|0[]- c(a(b(x9792))) -6|[]-> c(c(b(x9792)))
       c(b(b(x9793))) <-1|0[]- c(a(b(x9793))) -7|[]-> b(b(b(x9793)))
       c(b(b(x9794))) <-1|0[]- c(a(b(x9794))) -8|[]-> a(c(b(x9794)))
       a(b(b(x9795))) <-1|0[]- a(a(b(x9795))) -9|[]-> c(a(b(x9795)))
       a(b(b(x9796))) <-1|0[]- a(a(b(x9796))) -10|[]-> b(b(b(x9796)))
       b(b(x)) <-1|[]- a(b(x)) -17|[]-> a(a(x))
       c(b(b(x9798))) <-1|0[]- c(a(b(x9798))) -19|[]-> a(a(b(x9798)))
       a(b(b(x9799))) <-1|0[]- a(a(b(x9799))) -25|[]-> c(b(b(x9799)))
       a(b(b(x9800))) <-1|0[]- a(a(b(x9800))) -27|[]-> b(c(b(x9800)))
       a(b(b(x9801))) <-1|0[]- a(a(b(x9801))) -31|[]-> b(a(b(x9801)))
       b(b(x)) <-1|[]- a(b(x)) -33|[]-> c(b(x))
       b(b(x)) <-1|[]- a(b(x)) -34|[]-> b(c(x))
       b(b(x)) <-1|[]- a(b(x)) -35|[]-> b(a(x))
       c(b(b(x9805))) <-1|0[]- c(a(b(x9805))) -37|[]-> c(b(b(x9805)))
       c(b(b(x9806))) <-1|0[]- c(a(b(x9806))) -38|[]-> b(c(b(x9806)))
       c(b(b(x9807))) <-1|0[]- c(a(b(x9807))) -39|[]-> b(a(b(x9807)))
       a(b(b(x9808))) <-1|0[]- a(a(b(x9808))) -46|[]-> a(c(b(x9808)))
       a(b(b(x9809))) <-1|0[]- a(a(b(x9809))) -47|[]-> c(c(b(x9809)))
       a(c(x)) <-2|[]- a(b(x)) -0|[]-> c(c(x))
       a(c(x)) <-2|[]- a(b(x)) -1|[]-> b(b(x))
       a(c(x)) <-2|[]- a(b(x)) -3|[]-> c(a(x))
       c(a(c(x9813))) <-2|0[]- c(a(b(x9813))) -6|[]-> c(c(b(x9813)))
       c(a(c(x9814))) <-2|0[]- c(a(b(x9814))) -7|[]-> b(b(b(x9814)))
       c(a(c(x9815))) <-2|0[]- c(a(b(x9815))) -8|[]-> a(c(b(x9815)))
       a(a(c(x9816))) <-2|0[]- a(a(b(x9816))) -9|[]-> c(a(b(x9816)))
       a(a(c(x9817))) <-2|0[]- a(a(b(x9817))) -10|[]-> b(b(b(x9817)))
       a(c(x)) <-2|[]- a(b(x)) -17|[]-> a(a(x))
       c(a(c(x9819))) <-2|0[]- c(a(b(x9819))) -19|[]-> a(a(b(x9819)))
       a(a(c(x9820))) <-2|0[]- a(a(b(x9820))) -25|[]-> c(b(b(x9820)))
       a(a(c(x9821))) <-2|0[]- a(a(b(x9821))) -27|[]-> b(c(b(x9821)))
       a(a(c(x9822))) <-2|0[]- a(a(b(x9822))) -31|[]-> b(a(b(x9822)))
       a(c(x)) <-2|[]- a(b(x)) -33|[]-> c(b(x))
       a(c(x)) <-2|[]- a(b(x)) -34|[]-> b(c(x))
       a(c(x)) <-2|[]- a(b(x)) -35|[]-> b(a(x))
       c(a(c(x9826))) <-2|0[]- c(a(b(x9826))) -37|[]-> c(b(b(x9826)))
       c(a(c(x9827))) <-2|0[]- c(a(b(x9827))) -38|[]-> b(c(b(x9827)))
       c(a(c(x9828))) <-2|0[]- c(a(b(x9828))) -39|[]-> b(a(b(x9828)))
       a(a(c(x9829))) <-2|0[]- a(a(b(x9829))) -46|[]-> a(c(b(x9829)))
       a(a(c(x9830))) <-2|0[]- a(a(b(x9830))) -47|[]-> c(c(b(x9830)))
       c(a(x)) <-3|[]- a(b(x)) -0|[]-> c(c(x))
       c(a(x)) <-3|[]- a(b(x)) -1|[]-> b(b(x))
       c(a(x)) <-3|[]- a(b(x)) -2|[]-> a(c(x))
       c(c(a(x9834))) <-3|0[]- c(a(b(x9834))) -6|[]-> c(c(b(x9834)))
       c(c(a(x9835))) <-3|0[]- c(a(b(x9835))) -7|[]-> b(b(b(x9835)))
       c(c(a(x9836))) <-3|0[]- c(a(b(x9836))) -8|[]-> a(c(b(x9836)))
       a(c(a(x9837))) <-3|0[]- a(a(b(x9837))) -9|[]-> c(a(b(x9837)))
       a(c(a(x9838))) <-3|0[]- a(a(b(x9838))) -10|[]-> b(b(b(x9838)))
       c(a(x)) <-3|[]- a(b(x)) -17|[]-> a(a(x))
       c(c(a(x9840))) <-3|0[]- c(a(b(x9840))) -19|[]-> a(a(b(x9840)))
       a(c(a(x9841))) <-3|0[]- a(a(b(x9841))) -25|[]-> c(b(b(x9841)))
       a(c(a(x9842))) <-3|0[]- a(a(b(x9842))) -27|[]-> b(c(b(x9842)))
       a(c(a(x9843))) <-3|0[]- a(a(b(x9843))) -31|[]-> b(a(b(x9843)))
       c(a(x)) <-3|[]- a(b(x)) -33|[]-> c(b(x))
       c(a(x)) <-3|[]- a(b(x)) -34|[]-> b(c(x))
       c(a(x)) <-3|[]- a(b(x)) -35|[]-> b(a(x))
       c(c(a(x9847))) <-3|0[]- c(a(b(x9847))) -37|[]-> c(b(b(x9847)))
       c(c(a(x9848))) <-3|0[]- c(a(b(x9848))) -38|[]-> b(c(b(x9848)))
       c(c(a(x9849))) <-3|0[]- c(a(b(x9849))) -39|[]-> b(a(b(x9849)))
       a(c(a(x9850))) <-3|0[]- a(a(b(x9850))) -46|[]-> a(c(b(x9850)))
       a(c(a(x9851))) <-3|0[]- a(a(b(x9851))) -47|[]-> c(c(b(x9851)))
       c(b(x)) <-4|[]- a(c(x)) -5|[]-> c(c(x))
       c(c(b(x9853))) <-4|0[]- c(a(c(x9853))) -6|[]-> c(c(c(x9853)))
       c(c(b(x9854))) <-4|0[]- c(a(c(x9854))) -7|[]-> b(b(c(x9854)))
       c(c(b(x9855))) <-4|0[]- c(a(c(x9855))) -8|[]-> a(c(c(x9855)))
       a(c(b(x9856))) <-4|0[]- a(a(c(x9856))) -9|[]-> c(a(c(x9856)))
       a(c(b(x9857))) <-4|0[]- a(a(c(x9857))) -10|[]-> b(b(c(x9857)))
       c(b(x)) <-4|[]- a(c(x)) -18|[]-> c(a(x))
       c(c(b(x9859))) <-4|0[]- c(a(c(x9859))) -19|[]-> a(a(c(x9859)))
       c(b(x)) <-4|[]- a(c(x)) -22|[]-> b(c(x))
       a(c(b(x9861))) <-4|0[]- a(a(c(x9861))) -25|[]-> c(b(c(x9861)))
       a(c(b(x9862))) <-4|0[]- a(a(c(x9862))) -27|[]-> b(c(c(x9862)))
       a(c(b(x9863))) <-4|0[]- a(a(c(x9863))) -31|[]-> b(a(c(x9863)))
       c(b(x)) <-4|[]- a(c(x)) -36|[]-> a(a(x))
       c(c(b(x9865))) <-4|0[]- c(a(c(x9865))) -37|[]-> c(b(c(x9865)))
       c(c(b(x9866))) <-4|0[]- c(a(c(x9866))) -38|[]-> b(c(c(x9866)))
       c(c(b(x9867))) <-4|0[]- c(a(c(x9867))) -39|[]-> b(a(c(x9867)))
       c(b(x)) <-4|[]- a(c(x)) -42|[]-> b(a(x))
       a(c(b(x9869))) <-4|0[]- a(a(c(x9869))) -46|[]-> a(c(c(x9869)))
       a(c(b(x9870))) <-4|0[]- a(a(c(x9870))) -47|[]-> c(c(c(x9870)))
       c(c(x)) <-5|[]- a(c(x)) -4|[]-> c(b(x))
       c(c(c(x9872))) <-5|0[]- c(a(c(x9872))) -6|[]-> c(c(c(x9872)))
       c(c(c(x9873))) <-5|0[]- c(a(c(x9873))) -7|[]-> b(b(c(x9873)))
       c(c(c(x9874))) <-5|0[]- c(a(c(x9874))) -8|[]-> a(c(c(x9874)))
       a(c(c(x9875))) <-5|0[]- a(a(c(x9875))) -9|[]-> c(a(c(x9875)))
       a(c(c(x9876))) <-5|0[]- a(a(c(x9876))) -10|[]-> b(b(c(x9876)))
       c(c(x)) <-5|[]- a(c(x)) -18|[]-> c(a(x))
       c(c(c(x9878))) <-5|0[]- c(a(c(x9878))) -19|[]-> a(a(c(x9878)))
       c(c(x)) <-5|[]- a(c(x)) -22|[]-> b(c(x))
       a(c(c(x9880))) <-5|0[]- a(a(c(x9880))) -25|[]-> c(b(c(x9880)))
       a(c(c(x9881))) <-5|0[]- a(a(c(x9881))) -27|[]-> b(c(c(x9881)))
       a(c(c(x9882))) <-5|0[]- a(a(c(x9882))) -31|[]-> b(a(c(x9882)))
       c(c(x)) <-5|[]- a(c(x)) -36|[]-> a(a(x))
       c(c(c(x9884))) <-5|0[]- c(a(c(x9884))) -37|[]-> c(b(c(x9884)))
       c(c(c(x9885))) <-5|0[]- c(a(c(x9885))) -38|[]-> b(c(c(x9885)))
       c(c(c(x9886))) <-5|0[]- c(a(c(x9886))) -39|[]-> b(a(c(x9886)))
       c(c(x)) <-5|[]- a(c(x)) -42|[]-> b(a(x))
       a(c(c(x9888))) <-5|0[]- a(a(c(x9888))) -46|[]-> a(c(c(x9888)))
       a(c(c(x9889))) <-5|0[]- a(a(c(x9889))) -47|[]-> c(c(c(x9889)))
       a(c(c(x9890))) <-6|0[]- a(c(a(x9890))) -4|[]-> c(b(a(x9890)))
       a(c(c(x9891))) <-6|0[]- a(c(a(x9891))) -5|[]-> c(c(a(x9891)))
       c(c(x)) <-6|[]- c(a(x)) -7|[]-> b(b(x))
       c(c(x)) <-6|[]- c(a(x)) -8|[]-> a(c(x))
       b(c(c(x9894))) <-6|0[]- b(c(a(x9894))) -11|[]-> a(a(a(x9894)))
       b(c(c(x9895))) <-6|0[]- b(c(a(x9895))) -12|[]-> c(b(a(x9895)))
       c(c(c(x9896))) <-6|0[]- c(c(a(x9896))) -15|[]-> a(c(a(x9896)))
       c(c(c(x9897))) <-6|0[]- c(c(a(x9897))) -16|[]-> c(a(a(x9897)))
       a(c(c(x9898))) <-6|0[]- a(c(a(x9898))) -18|[]-> c(a(a(x9898)))
       c(c(x)) <-6|[]- c(a(x)) -19|[]-> a(a(x))
       a(c(c(x9900))) <-6|0[]- a(c(a(x9900))) -22|[]-> b(c(a(x9900)))
       b(c(c(x9901))) <-6|0[]- b(c(a(x9901))) -26|[]-> b(a(a(x9901)))
       b(c(c(x9902))) <-6|0[]- b(c(a(x9902))) -28|[]-> a(c(a(x9902)))
       c(c(c(x9903))) <-6|0[]- c(c(a(x9903))) -30|[]-> a(a(a(x9903)))
       c(c(c(x9904))) <-6|0[]- c(c(a(x9904))) -32|[]-> b(b(a(x9904)))
       a(c(c(x9905))) <-6|0[]- a(c(a(x9905))) -36|[]-> a(a(a(x9905)))
       c(c(x)) <-6|[]- c(a(x)) -37|[]-> c(b(x))
       c(c(x)) <-6|[]- c(a(x)) -38|[]-> b(c(x))
       c(c(x)) <-6|[]- c(a(x)) -39|[]-> b(a(x))
       a(c(c(x9909))) <-6|0[]- a(c(a(x9909))) -42|[]-> b(a(a(x9909)))
       b(c(c(x9910))) <-6|0[]- b(c(a(x9910))) -48|[]-> c(a(a(x9910)))
       c(c(c(x9911))) <-6|0[]- c(c(a(x9911))) -51|[]-> c(b(a(x9911)))
       c(c(c(x9912))) <-6|0[]- c(c(a(x9912))) -52|[]-> b(c(a(x9912)))
       c(c(c(x9913))) <-6|0[]- c(c(a(x9913))) -53|[]-> b(a(a(x9913)))
       a(b(b(x9914))) <-7|0[]- a(c(a(x9914))) -4|[]-> c(b(a(x9914)))
       a(b(b(x9915))) <-7|0[]- a(c(a(x9915))) -5|[]-> c(c(a(x9915)))
       b(b(x)) <-7|[]- c(a(x)) -6|[]-> c(c(x))
       b(b(x)) <-7|[]- c(a(x)) -8|[]-> a(c(x))
       b(b(b(x9918))) <-7|0[]- b(c(a(x9918))) -11|[]-> a(a(a(x9918)))
       b(b(b(x9919))) <-7|0[]- b(c(a(x9919))) -12|[]-> c(b(a(x9919)))
       c(b(b(x9920))) <-7|0[]- c(c(a(x9920))) -15|[]-> a(c(a(x9920)))
       c(b(b(x9921))) <-7|0[]- c(c(a(x9921))) -16|[]-> c(a(a(x9921)))
       a(b(b(x9922))) <-7|0[]- a(c(a(x9922))) -18|[]-> c(a(a(x9922)))
       b(b(x)) <-7|[]- c(a(x)) -19|[]-> a(a(x))
       a(b(b(x9924))) <-7|0[]- a(c(a(x9924))) -22|[]-> b(c(a(x9924)))
       b(b(b(x9925))) <-7|0[]- b(c(a(x9925))) -26|[]-> b(a(a(x9925)))
       b(b(b(x9926))) <-7|0[]- b(c(a(x9926))) -28|[]-> a(c(a(x9926)))
       c(b(b(x9927))) <-7|0[]- c(c(a(x9927))) -30|[]-> a(a(a(x9927)))
       c(b(b(x9928))) <-7|0[]- c(c(a(x9928))) -32|[]-> b(b(a(x9928)))
       a(b(b(x9929))) <-7|0[]- a(c(a(x9929))) -36|[]-> a(a(a(x9929)))
       b(b(x)) <-7|[]- c(a(x)) -37|[]-> c(b(x))
       b(b(x)) <-7|[]- c(a(x)) -38|[]-> b(c(x))
       b(b(x)) <-7|[]- c(a(x)) -39|[]-> b(a(x))
       a(b(b(x9933))) <-7|0[]- a(c(a(x9933))) -42|[]-> b(a(a(x9933)))
       b(b(b(x9934))) <-7|0[]- b(c(a(x9934))) -48|[]-> c(a(a(x9934)))
       c(b(b(x9935))) <-7|0[]- c(c(a(x9935))) -51|[]-> c(b(a(x9935)))
       c(b(b(x9936))) <-7|0[]- c(c(a(x9936))) -52|[]-> b(c(a(x9936)))
       c(b(b(x9937))) <-7|0[]- c(c(a(x9937))) -53|[]-> b(a(a(x9937)))
       a(a(c(x9938))) <-8|0[]- a(c(a(x9938))) -4|[]-> c(b(a(x9938)))
       a(a(c(x9939))) <-8|0[]- a(c(a(x9939))) -5|[]-> c(c(a(x9939)))
       a(c(x)) <-8|[]- c(a(x)) -6|[]-> c(c(x))
       a(c(x)) <-8|[]- c(a(x)) -7|[]-> b(b(x))
       b(a(c(x9942))) <-8|0[]- b(c(a(x9942))) -11|[]-> a(a(a(x9942)))
       b(a(c(x9943))) <-8|0[]- b(c(a(x9943))) -12|[]-> c(b(a(x9943)))
       c(a(c(x9944))) <-8|0[]- c(c(a(x9944))) -15|[]-> a(c(a(x9944)))
       c(a(c(x9945))) <-8|0[]- c(c(a(x9945))) -16|[]-> c(a(a(x9945)))
       a(a(c(x9946))) <-8|0[]- a(c(a(x9946))) -18|[]-> c(a(a(x9946)))
       a(c(x)) <-8|[]- c(a(x)) -19|[]-> a(a(x))
       a(a(c(x9948))) <-8|0[]- a(c(a(x9948))) -22|[]-> b(c(a(x9948)))
       b(a(c(x9949))) <-8|0[]- b(c(a(x9949))) -26|[]-> b(a(a(x9949)))
       b(a(c(x9950))) <-8|0[]- b(c(a(x9950))) -28|[]-> a(c(a(x9950)))
       c(a(c(x9951))) <-8|0[]- c(c(a(x9951))) -30|[]-> a(a(a(x9951)))
       c(a(c(x9952))) <-8|0[]- c(c(a(x9952))) -32|[]-> b(b(a(x9952)))
       a(a(c(x9953))) <-8|0[]- a(c(a(x9953))) -36|[]-> a(a(a(x9953)))
       a(c(x)) <-8|[]- c(a(x)) -37|[]-> c(b(x))
       a(c(x)) <-8|[]- c(a(x)) -38|[]-> b(c(x))
       a(c(x)) <-8|[]- c(a(x)) -39|[]-> b(a(x))
       a(a(c(x9957))) <-8|0[]- a(c(a(x9957))) -42|[]-> b(a(a(x9957)))
       b(a(c(x9958))) <-8|0[]- b(c(a(x9958))) -48|[]-> c(a(a(x9958)))
       c(a(c(x9959))) <-8|0[]- c(c(a(x9959))) -51|[]-> c(b(a(x9959)))
       c(a(c(x9960))) <-8|0[]- c(c(a(x9960))) -52|[]-> b(c(a(x9960)))
       c(a(c(x9961))) <-8|0[]- c(c(a(x9961))) -53|[]-> b(a(a(x9961)))
       c(c(a(x9962))) <-9|0[]- c(a(a(x9962))) -6|[]-> c(c(a(x9962)))
       c(c(a(x9963))) <-9|0[]- c(a(a(x9963))) -7|[]-> b(b(a(x9963)))
       c(c(a(x9964))) <-9|0[]- c(a(a(x9964))) -8|[]-> a(c(a(x9964)))
       a(c(a(x9965))) <-9|0[]- a(a(a(x9965))) -9|[]-> c(a(a(x9965)))
       c(a(x)) <-9|[]- a(a(x)) -10|[]-> b(b(x))
       a(c(a(x9967))) <-9|0[]- a(a(a(x9967))) -10|[]-> b(b(a(x9967)))
       c(c(a(x9968))) <-9|0[]- c(a(a(x9968))) -19|[]-> a(a(a(x9968)))
       c(a(x)) <-9|[]- a(a(x)) -25|[]-> c(b(x))
       a(c(a(x9970))) <-9|0[]- a(a(a(x9970))) -25|[]-> c(b(a(x9970)))
       c(a(x)) <-9|[]- a(a(x)) -27|[]-> b(c(x))
       a(c(a(x9972))) <-9|0[]- a(a(a(x9972))) -27|[]-> b(c(a(x9972)))
       c(a(x)) <-9|[]- a(a(x)) -31|[]-> b(a(x))
       a(c(a(x9974))) <-9|0[]- a(a(a(x9974))) -31|[]-> b(a(a(x9974)))
       c(c(a(x9975))) <-9|0[]- c(a(a(x9975))) -37|[]-> c(b(a(x9975)))
       c(c(a(x9976))) <-9|0[]- c(a(a(x9976))) -38|[]-> b(c(a(x9976)))
       c(c(a(x9977))) <-9|0[]- c(a(a(x9977))) -39|[]-> b(a(a(x9977)))
       c(a(x)) <-9|[]- a(a(x)) -46|[]-> a(c(x))
       a(c(a(x9979))) <-9|0[]- a(a(a(x9979))) -46|[]-> a(c(a(x9979)))
       c(a(x)) <-9|[]- a(a(x)) -47|[]-> c(c(x))
       a(c(a(x9981))) <-9|0[]- a(a(a(x9981))) -47|[]-> c(c(a(x9981)))
       c(b(b(x9982))) <-10|0[]- c(a(a(x9982))) -6|[]-> c(c(a(x9982)))
       c(b(b(x9983))) <-10|0[]- c(a(a(x9983))) -7|[]-> b(b(a(x9983)))
       c(b(b(x9984))) <-10|0[]- c(a(a(x9984))) -8|[]-> a(c(a(x9984)))
       b(b(x)) <-10|[]- a(a(x)) -9|[]-> c(a(x))
       a(b(b(x9986))) <-10|0[]- a(a(a(x9986))) -9|[]-> c(a(a(x9986)))
       a(b(b(x9987))) <-10|0[]- a(a(a(x9987))) -10|[]-> b(b(a(x9987)))
       c(b(b(x9988))) <-10|0[]- c(a(a(x9988))) -19|[]-> a(a(a(x9988)))
       b(b(x)) <-10|[]- a(a(x)) -25|[]-> c(b(x))
       a(b(b(x9990))) <-10|0[]- a(a(a(x9990))) -25|[]-> c(b(a(x9990)))
       b(b(x)) <-10|[]- a(a(x)) -27|[]-> b(c(x))
       a(b(b(x9992))) <-10|0[]- a(a(a(x9992))) -27|[]-> b(c(a(x9992)))
       b(b(x)) <-10|[]- a(a(x)) -31|[]-> b(a(x))
       a(b(b(x9994))) <-10|0[]- a(a(a(x9994))) -31|[]-> b(a(a(x9994)))
       c(b(b(x9995))) <-10|0[]- c(a(a(x9995))) -37|[]-> c(b(a(x9995)))
       c(b(b(x9996))) <-10|0[]- c(a(a(x9996))) -38|[]-> b(c(a(x9996)))
       c(b(b(x9997))) <-10|0[]- c(a(a(x9997))) -39|[]-> b(a(a(x9997)))
       b(b(x)) <-10|[]- a(a(x)) -46|[]-> a(c(x))
       a(b(b(x9999))) <-10|0[]- a(a(a(x9999))) -46|[]-> a(c(a(x9999)))
       b(b(x)) <-10|[]- a(a(x)) -47|[]-> c(c(x))
       a(b(b(x10001))) <-10|0[]- a(a(a(x10001))) -47|[]-> c(c(a(x10001)))
       a(a(a(x10002))) <-11|0[]- a(b(c(x10002))) -0|[]-> c(c(c(x10002)))
       a(a(a(x10003))) <-11|0[]- a(b(c(x10003))) -1|[]-> b(b(c(x10003)))
       a(a(a(x10004))) <-11|0[]- a(b(c(x10004))) -2|[]-> a(c(c(x10004)))
       a(a(a(x10005))) <-11|0[]- a(b(c(x10005))) -3|[]-> c(a(c(x10005)))
       a(a(x)) <-11|[]- b(c(x)) -12|[]-> c(b(x))
       b(a(a(x10007))) <-11|0[]- b(b(c(x10007))) -13|[]-> c(a(c(x10007)))
       b(a(a(x10008))) <-11|0[]- b(b(c(x10008))) -14|[]-> b(a(c(x10008)))
       a(a(a(x10009))) <-11|0[]- a(b(c(x10009))) -17|[]-> a(a(c(x10009)))
       c(a(a(x10010))) <-11|0[]- c(b(c(x10010))) -20|[]-> b(c(c(x10010)))
       c(a(a(x10011))) <-11|0[]- c(b(c(x10011))) -21|[]-> a(c(c(x10011)))
       c(a(a(x10012))) <-11|0[]- c(b(c(x10012))) -23|[]-> c(c(c(x10012)))
       b(a(a(x10013))) <-11|0[]- b(b(c(x10013))) -24|[]-> c(c(c(x10013)))
       a(a(x)) <-11|[]- b(c(x)) -26|[]-> b(a(x))
       a(a(x)) <-11|[]- b(c(x)) -28|[]-> a(c(x))
       b(a(a(x10016))) <-11|0[]- b(b(c(x10016))) -29|[]-> c(b(c(x10016)))
       a(a(a(x10017))) <-11|0[]- a(b(c(x10017))) -33|[]-> c(b(c(x10017)))
       a(a(a(x10018))) <-11|0[]- a(b(c(x10018))) -34|[]-> b(c(c(x10018)))
       a(a(a(x10019))) <-11|0[]- a(b(c(x10019))) -35|[]-> b(a(c(x10019)))
       c(a(a(x10020))) <-11|0[]- c(b(c(x10020))) -40|[]-> b(a(c(x10020)))
       c(a(a(x10021))) <-11|0[]- c(b(c(x10021))) -41|[]-> c(a(c(x10021)))
       c(a(a(x10022))) <-11|0[]- c(b(c(x10022))) -43|[]-> a(a(c(x10022)))
       c(a(a(x10023))) <-11|0[]- c(b(c(x10023))) -44|[]-> b(b(c(x10023)))
       b(a(a(x10024))) <-11|0[]- b(b(c(x10024))) -45|[]-> a(a(c(x10024)))
       a(a(x)) <-11|[]- b(c(x)) -48|[]-> c(a(x))
       b(a(a(x10026))) <-11|0[]- b(b(c(x10026))) -49|[]-> b(c(c(x10026)))
       b(a(a(x10027))) <-11|0[]- b(b(c(x10027))) -50|[]-> a(c(c(x10027)))
       a(c(b(x10028))) <-12|0[]- a(b(c(x10028))) -0|[]-> c(c(c(x10028)))
       a(c(b(x10029))) <-12|0[]- a(b(c(x10029))) -1|[]-> b(b(c(x10029)))
       a(c(b(x10030))) <-12|0[]- a(b(c(x10030))) -2|[]-> a(c(c(x10030)))
       a(c(b(x10031))) <-12|0[]- a(b(c(x10031))) -3|[]-> c(a(c(x10031)))
       c(b(x)) <-12|[]- b(c(x)) -11|[]-> a(a(x))
       b(c(b(x10033))) <-12|0[]- b(b(c(x10033))) -13|[]-> c(a(c(x10033)))
       b(c(b(x10034))) <-12|0[]- b(b(c(x10034))) -14|[]-> b(a(c(x10034)))
       a(c(b(x10035))) <-12|0[]- a(b(c(x10035))) -17|[]-> a(a(c(x10035)))
       c(c(b(x10036))) <-12|0[]- c(b(c(x10036))) -20|[]-> b(c(c(x10036)))
       c(c(b(x10037))) <-12|0[]- c(b(c(x10037))) -21|[]-> a(c(c(x10037)))
       c(c(b(x10038))) <-12|0[]- c(b(c(x10038))) -23|[]-> c(c(c(x10038)))
       b(c(b(x10039))) <-12|0[]- b(b(c(x10039))) -24|[]-> c(c(c(x10039)))
       c(b(x)) <-12|[]- b(c(x)) -26|[]-> b(a(x))
       c(b(x)) <-12|[]- b(c(x)) -28|[]-> a(c(x))
       b(c(b(x10042))) <-12|0[]- b(b(c(x10042))) -29|[]-> c(b(c(x10042)))
       a(c(b(x10043))) <-12|0[]- a(b(c(x10043))) -33|[]-> c(b(c(x10043)))
       a(c(b(x10044))) <-12|0[]- a(b(c(x10044))) -34|[]-> b(c(c(x10044)))
       a(c(b(x10045))) <-12|0[]- a(b(c(x10045))) -35|[]-> b(a(c(x10045)))
       c(c(b(x10046))) <-12|0[]- c(b(c(x10046))) -40|[]-> b(a(c(x10046)))
       c(c(b(x10047))) <-12|0[]- c(b(c(x10047))) -41|[]-> c(a(c(x10047)))
       c(c(b(x10048))) <-12|0[]- c(b(c(x10048))) -43|[]-> a(a(c(x10048)))
       c(c(b(x10049))) <-12|0[]- c(b(c(x10049))) -44|[]-> b(b(c(x10049)))
       b(c(b(x10050))) <-12|0[]- b(b(c(x10050))) -45|[]-> a(a(c(x10050)))
       c(b(x)) <-12|[]- b(c(x)) -48|[]-> c(a(x))
       b(c(b(x10052))) <-12|0[]- b(b(c(x10052))) -49|[]-> b(c(c(x10052)))
       b(c(b(x10053))) <-12|0[]- b(b(c(x10053))) -50|[]-> a(c(c(x10053)))
       a(c(a(x10054))) <-13|0[]- a(b(b(x10054))) -0|[]-> c(c(b(x10054)))
       a(c(a(x10055))) <-13|0[]- a(b(b(x10055))) -1|[]-> b(b(b(x10055)))
       a(c(a(x10056))) <-13|0[]- a(b(b(x10056))) -2|[]-> a(c(b(x10056)))
       a(c(a(x10057))) <-13|0[]- a(b(b(x10057))) -3|[]-> c(a(b(x10057)))
       b(c(a(x10058))) <-13|0[]- b(b(b(x10058))) -13|[]-> c(a(b(x10058)))
       c(a(x)) <-13|[]- b(b(x)) -14|[]-> b(a(x))
       b(c(a(x10060))) <-13|0[]- b(b(b(x10060))) -14|[]-> b(a(b(x10060)))
       a(c(a(x10061))) <-13|0[]- a(b(b(x10061))) -17|[]-> a(a(b(x10061)))
       c(c(a(x10062))) <-13|0[]- c(b(b(x10062))) -20|[]-> b(c(b(x10062)))
       c(c(a(x10063))) <-13|0[]- c(b(b(x10063))) -21|[]-> a(c(b(x10063)))
       c(c(a(x10064))) <-13|0[]- c(b(b(x10064))) -23|[]-> c(c(b(x10064)))
       c(a(x)) <-13|[]- b(b(x)) -24|[]-> c(c(x))
       b(c(a(x10066))) <-13|0[]- b(b(b(x10066))) -24|[]-> c(c(b(x10066)))
       c(a(x)) <-13|[]- b(b(x)) -29|[]-> c(b(x))
       b(c(a(x10068))) <-13|0[]- b(b(b(x10068))) -29|[]-> c(b(b(x10068)))
       a(c(a(x10069))) <-13|0[]- a(b(b(x10069))) -33|[]-> c(b(b(x10069)))
       a(c(a(x10070))) <-13|0[]- a(b(b(x10070))) -34|[]-> b(c(b(x10070)))
       a(c(a(x10071))) <-13|0[]- a(b(b(x10071))) -35|[]-> b(a(b(x10071)))
       c(c(a(x10072))) <-13|0[]- c(b(b(x10072))) -40|[]-> b(a(b(x10072)))
       c(c(a(x10073))) <-13|0[]- c(b(b(x10073))) -41|[]-> c(a(b(x10073)))
       c(c(a(x10074))) <-13|0[]- c(b(b(x10074))) -43|[]-> a(a(b(x10074)))
       c(c(a(x10075))) <-13|0[]- c(b(b(x10075))) -44|[]-> b(b(b(x10075)))
       c(a(x)) <-13|[]- b(b(x)) -45|[]-> a(a(x))
       b(c(a(x10077))) <-13|0[]- b(b(b(x10077))) -45|[]-> a(a(b(x10077)))
       c(a(x)) <-13|[]- b(b(x)) -49|[]-> b(c(x))
       b(c(a(x10079))) <-13|0[]- b(b(b(x10079))) -49|[]-> b(c(b(x10079)))
       c(a(x)) <-13|[]- b(b(x)) -50|[]-> a(c(x))
       b(c(a(x10081))) <-13|0[]- b(b(b(x10081))) -50|[]-> a(c(b(x10081)))
       a(b(a(x10082))) <-14|0[]- a(b(b(x10082))) -0|[]-> c(c(b(x10082)))
       a(b(a(x10083))) <-14|0[]- a(b(b(x10083))) -1|[]-> b(b(b(x10083)))
       a(b(a(x10084))) <-14|0[]- a(b(b(x10084))) -2|[]-> a(c(b(x10084)))
       a(b(a(x10085))) <-14|0[]- a(b(b(x10085))) -3|[]-> c(a(b(x10085)))
       b(a(x)) <-14|[]- b(b(x)) -13|[]-> c(a(x))
       b(b(a(x10087))) <-14|0[]- b(b(b(x10087))) -13|[]-> c(a(b(x10087)))
       b(b(a(x10088))) <-14|0[]- b(b(b(x10088))) -14|[]-> b(a(b(x10088)))
       a(b(a(x10089))) <-14|0[]- a(b(b(x10089))) -17|[]-> a(a(b(x10089)))
       c(b(a(x10090))) <-14|0[]- c(b(b(x10090))) -20|[]-> b(c(b(x10090)))
       c(b(a(x10091))) <-14|0[]- c(b(b(x10091))) -21|[]-> a(c(b(x10091)))
       c(b(a(x10092))) <-14|0[]- c(b(b(x10092))) -23|[]-> c(c(b(x10092)))
       b(a(x)) <-14|[]- b(b(x)) -24|[]-> c(c(x))
       b(b(a(x10094))) <-14|0[]- b(b(b(x10094))) -24|[]-> c(c(b(x10094)))
       b(a(x)) <-14|[]- b(b(x)) -29|[]-> c(b(x))
       b(b(a(x10096))) <-14|0[]- b(b(b(x10096))) -29|[]-> c(b(b(x10096)))
       a(b(a(x10097))) <-14|0[]- a(b(b(x10097))) -33|[]-> c(b(b(x10097)))
       a(b(a(x10098))) <-14|0[]- a(b(b(x10098))) -34|[]-> b(c(b(x10098)))
       a(b(a(x10099))) <-14|0[]- a(b(b(x10099))) -35|[]-> b(a(b(x10099)))
       c(b(a(x10100))) <-14|0[]- c(b(b(x10100))) -40|[]-> b(a(b(x10100)))
       c(b(a(x10101))) <-14|0[]- c(b(b(x10101))) -41|[]-> c(a(b(x10101)))
       c(b(a(x10102))) <-14|0[]- c(b(b(x10102))) -43|[]-> a(a(b(x10102)))
       c(b(a(x10103))) <-14|0[]- c(b(b(x10103))) -44|[]-> b(b(b(x10103)))
       b(a(x)) <-14|[]- b(b(x)) -45|[]-> a(a(x))
       b(b(a(x10105))) <-14|0[]- b(b(b(x10105))) -45|[]-> a(a(b(x10105)))
       b(a(x)) <-14|[]- b(b(x)) -49|[]-> b(c(x))
       b(b(a(x10107))) <-14|0[]- b(b(b(x10107))) -49|[]-> b(c(b(x10107)))
       b(a(x)) <-14|[]- b(b(x)) -50|[]-> a(c(x))
       b(b(a(x10109))) <-14|0[]- b(b(b(x10109))) -50|[]-> a(c(b(x10109)))
       a(a(c(x10110))) <-15|0[]- a(c(c(x10110))) -4|[]-> c(b(c(x10110)))
       a(a(c(x10111))) <-15|0[]- a(c(c(x10111))) -5|[]-> c(c(c(x10111)))
       b(a(c(x10112))) <-15|0[]- b(c(c(x10112))) -11|[]-> a(a(c(x10112)))
       b(a(c(x10113))) <-15|0[]- b(c(c(x10113))) -12|[]-> c(b(c(x10113)))
       c(a(c(x10114))) <-15|0[]- c(c(c(x10114))) -15|[]-> a(c(c(x10114)))
       a(c(x)) <-15|[]- c(c(x)) -16|[]-> c(a(x))
       c(a(c(x10116))) <-15|0[]- c(c(c(x10116))) -16|[]-> c(a(c(x10116)))
       a(a(c(x10117))) <-15|0[]- a(c(c(x10117))) -18|[]-> c(a(c(x10117)))
       a(a(c(x10118))) <-15|0[]- a(c(c(x10118))) -22|[]-> b(c(c(x10118)))
       b(a(c(x10119))) <-15|0[]- b(c(c(x10119))) -26|[]-> b(a(c(x10119)))
       b(a(c(x10120))) <-15|0[]- b(c(c(x10120))) -28|[]-> a(c(c(x10120)))
       a(c(x)) <-15|[]- c(c(x)) -30|[]-> a(a(x))
       c(a(c(x10122))) <-15|0[]- c(c(c(x10122))) -30|[]-> a(a(c(x10122)))
       a(c(x)) <-15|[]- c(c(x)) -32|[]-> b(b(x))
       c(a(c(x10124))) <-15|0[]- c(c(c(x10124))) -32|[]-> b(b(c(x10124)))
       a(a(c(x10125))) <-15|0[]- a(c(c(x10125))) -36|[]-> a(a(c(x10125)))
       a(a(c(x10126))) <-15|0[]- a(c(c(x10126))) -42|[]-> b(a(c(x10126)))
       b(a(c(x10127))) <-15|0[]- b(c(c(x10127))) -48|[]-> c(a(c(x10127)))
       a(c(x)) <-15|[]- c(c(x)) -51|[]-> c(b(x))
       c(a(c(x10129))) <-15|0[]- c(c(c(x10129))) -51|[]-> c(b(c(x10129)))
       a(c(x)) <-15|[]- c(c(x)) -52|[]-> b(c(x))
       c(a(c(x10131))) <-15|0[]- c(c(c(x10131))) -52|[]-> b(c(c(x10131)))
       a(c(x)) <-15|[]- c(c(x)) -53|[]-> b(a(x))
       c(a(c(x10133))) <-15|0[]- c(c(c(x10133))) -53|[]-> b(a(c(x10133)))
       a(c(a(x10134))) <-16|0[]- a(c(c(x10134))) -4|[]-> c(b(c(x10134)))
       a(c(a(x10135))) <-16|0[]- a(c(c(x10135))) -5|[]-> c(c(c(x10135)))
       b(c(a(x10136))) <-16|0[]- b(c(c(x10136))) -11|[]-> a(a(c(x10136)))
       b(c(a(x10137))) <-16|0[]- b(c(c(x10137))) -12|[]-> c(b(c(x10137)))
       c(a(x)) <-16|[]- c(c(x)) -15|[]-> a(c(x))
       c(c(a(x10139))) <-16|0[]- c(c(c(x10139))) -15|[]-> a(c(c(x10139)))
       c(c(a(x10140))) <-16|0[]- c(c(c(x10140))) -16|[]-> c(a(c(x10140)))
       a(c(a(x10141))) <-16|0[]- a(c(c(x10141))) -18|[]-> c(a(c(x10141)))
       a(c(a(x10142))) <-16|0[]- a(c(c(x10142))) -22|[]-> b(c(c(x10142)))
       b(c(a(x10143))) <-16|0[]- b(c(c(x10143))) -26|[]-> b(a(c(x10143)))
       b(c(a(x10144))) <-16|0[]- b(c(c(x10144))) -28|[]-> a(c(c(x10144)))
       c(a(x)) <-16|[]- c(c(x)) -30|[]-> a(a(x))
       c(c(a(x10146))) <-16|0[]- c(c(c(x10146))) -30|[]-> a(a(c(x10146)))
       c(a(x)) <-16|[]- c(c(x)) -32|[]-> b(b(x))
       c(c(a(x10148))) <-16|0[]- c(c(c(x10148))) -32|[]-> b(b(c(x10148)))
       a(c(a(x10149))) <-16|0[]- a(c(c(x10149))) -36|[]-> a(a(c(x10149)))
       a(c(a(x10150))) <-16|0[]- a(c(c(x10150))) -42|[]-> b(a(c(x10150)))
       b(c(a(x10151))) <-16|0[]- b(c(c(x10151))) -48|[]-> c(a(c(x10151)))
       c(a(x)) <-16|[]- c(c(x)) -51|[]-> c(b(x))
       c(c(a(x10153))) <-16|0[]- c(c(c(x10153))) -51|[]-> c(b(c(x10153)))
       c(a(x)) <-16|[]- c(c(x)) -52|[]-> b(c(x))
       c(c(a(x10155))) <-16|0[]- c(c(c(x10155))) -52|[]-> b(c(c(x10155)))
       c(a(x)) <-16|[]- c(c(x)) -53|[]-> b(a(x))
       c(c(a(x10157))) <-16|0[]- c(c(c(x10157))) -53|[]-> b(a(c(x10157)))
       a(a(x)) <-17|[]- a(b(x)) -0|[]-> c(c(x))
       a(a(x)) <-17|[]- a(b(x)) -1|[]-> b(b(x))
       a(a(x)) <-17|[]- a(b(x)) -2|[]-> a(c(x))
       a(a(x)) <-17|[]- a(b(x)) -3|[]-> c(a(x))
       c(a(a(x10162))) <-17|0[]- c(a(b(x10162))) -6|[]-> c(c(b(x10162)))
       c(a(a(x10163))) <-17|0[]- c(a(b(x10163))) -7|[]-> b(b(b(x10163)))
       c(a(a(x10164))) <-17|0[]- c(a(b(x10164))) -8|[]-> a(c(b(x10164)))
       a(a(a(x10165))) <-17|0[]- a(a(b(x10165))) -9|[]-> c(a(b(x10165)))
       a(a(a(x10166))) <-17|0[]- a(a(b(x10166))) -10|[]-> b(b(b(x10166)))
       c(a(a(x10167))) <-17|0[]- c(a(b(x10167))) -19|[]-> a(a(b(x10167)))
       a(a(a(x10168))) <-17|0[]- a(a(b(x10168))) -25|[]-> c(b(b(x10168)))
       a(a(a(x10169))) <-17|0[]- a(a(b(x10169))) -27|[]-> b(c(b(x10169)))
       a(a(a(x10170))) <-17|0[]- a(a(b(x10170))) -31|[]-> b(a(b(x10170)))
       a(a(x)) <-17|[]- a(b(x)) -33|[]-> c(b(x))
       a(a(x)) <-17|[]- a(b(x)) -34|[]-> b(c(x))
       a(a(x)) <-17|[]- a(b(x)) -35|[]-> b(a(x))
       c(a(a(x10174))) <-17|0[]- c(a(b(x10174))) -37|[]-> c(b(b(x10174)))
       c(a(a(x10175))) <-17|0[]- c(a(b(x10175))) -38|[]-> b(c(b(x10175)))
       c(a(a(x10176))) <-17|0[]- c(a(b(x10176))) -39|[]-> b(a(b(x10176)))
       a(a(a(x10177))) <-17|0[]- a(a(b(x10177))) -46|[]-> a(c(b(x10177)))
       a(a(a(x10178))) <-17|0[]- a(a(b(x10178))) -47|[]-> c(c(b(x10178)))
       c(a(x)) <-18|[]- a(c(x)) -4|[]-> c(b(x))
       c(a(x)) <-18|[]- a(c(x)) -5|[]-> c(c(x))
       c(c(a(x10181))) <-18|0[]- c(a(c(x10181))) -6|[]-> c(c(c(x10181)))
       c(c(a(x10182))) <-18|0[]- c(a(c(x10182))) -7|[]-> b(b(c(x10182)))
       c(c(a(x10183))) <-18|0[]- c(a(c(x10183))) -8|[]-> a(c(c(x10183)))
       a(c(a(x10184))) <-18|0[]- a(a(c(x10184))) -9|[]-> c(a(c(x10184)))
       a(c(a(x10185))) <-18|0[]- a(a(c(x10185))) -10|[]-> b(b(c(x10185)))
       c(c(a(x10186))) <-18|0[]- c(a(c(x10186))) -19|[]-> a(a(c(x10186)))
       c(a(x)) <-18|[]- a(c(x)) -22|[]-> b(c(x))
       a(c(a(x10188))) <-18|0[]- a(a(c(x10188))) -25|[]-> c(b(c(x10188)))
       a(c(a(x10189))) <-18|0[]- a(a(c(x10189))) -27|[]-> b(c(c(x10189)))
       a(c(a(x10190))) <-18|0[]- a(a(c(x10190))) -31|[]-> b(a(c(x10190)))
       c(a(x)) <-18|[]- a(c(x)) -36|[]-> a(a(x))
       c(c(a(x10192))) <-18|0[]- c(a(c(x10192))) -37|[]-> c(b(c(x10192)))
       c(c(a(x10193))) <-18|0[]- c(a(c(x10193))) -38|[]-> b(c(c(x10193)))
       c(c(a(x10194))) <-18|0[]- c(a(c(x10194))) -39|[]-> b(a(c(x10194)))
       c(a(x)) <-18|[]- a(c(x)) -42|[]-> b(a(x))
       a(c(a(x10196))) <-18|0[]- a(a(c(x10196))) -46|[]-> a(c(c(x10196)))
       a(c(a(x10197))) <-18|0[]- a(a(c(x10197))) -47|[]-> c(c(c(x10197)))
       a(a(a(x10198))) <-19|0[]- a(c(a(x10198))) -4|[]-> c(b(a(x10198)))
       a(a(a(x10199))) <-19|0[]- a(c(a(x10199))) -5|[]-> c(c(a(x10199)))
       a(a(x)) <-19|[]- c(a(x)) -6|[]-> c(c(x))
       a(a(x)) <-19|[]- c(a(x)) -7|[]-> b(b(x))
       a(a(x)) <-19|[]- c(a(x)) -8|[]-> a(c(x))
       b(a(a(x10203))) <-19|0[]- b(c(a(x10203))) -11|[]-> a(a(a(x10203)))
       b(a(a(x10204))) <-19|0[]- b(c(a(x10204))) -12|[]-> c(b(a(x10204)))
       c(a(a(x10205))) <-19|0[]- c(c(a(x10205))) -15|[]-> a(c(a(x10205)))
       c(a(a(x10206))) <-19|0[]- c(c(a(x10206))) -16|[]-> c(a(a(x10206)))
       a(a(a(x10207))) <-19|0[]- a(c(a(x10207))) -18|[]-> c(a(a(x10207)))
       a(a(a(x10208))) <-19|0[]- a(c(a(x10208))) -22|[]-> b(c(a(x10208)))
       b(a(a(x10209))) <-19|0[]- b(c(a(x10209))) -26|[]-> b(a(a(x10209)))
       b(a(a(x10210))) <-19|0[]- b(c(a(x10210))) -28|[]-> a(c(a(x10210)))
       c(a(a(x10211))) <-19|0[]- c(c(a(x10211))) -30|[]-> a(a(a(x10211)))
       c(a(a(x10212))) <-19|0[]- c(c(a(x10212))) -32|[]-> b(b(a(x10212)))
       a(a(a(x10213))) <-19|0[]- a(c(a(x10213))) -36|[]-> a(a(a(x10213)))
       a(a(x)) <-19|[]- c(a(x)) -37|[]-> c(b(x))
       a(a(x)) <-19|[]- c(a(x)) -38|[]-> b(c(x))
       a(a(x)) <-19|[]- c(a(x)) -39|[]-> b(a(x))
       a(a(a(x10217))) <-19|0[]- a(c(a(x10217))) -42|[]-> b(a(a(x10217)))
       b(a(a(x10218))) <-19|0[]- b(c(a(x10218))) -48|[]-> c(a(a(x10218)))
       c(a(a(x10219))) <-19|0[]- c(c(a(x10219))) -51|[]-> c(b(a(x10219)))
       c(a(a(x10220))) <-19|0[]- c(c(a(x10220))) -52|[]-> b(c(a(x10220)))
       c(a(a(x10221))) <-19|0[]- c(c(a(x10221))) -53|[]-> b(a(a(x10221)))
       a(b(c(x10222))) <-20|0[]- a(c(b(x10222))) -4|[]-> c(b(b(x10222)))
       a(b(c(x10223))) <-20|0[]- a(c(b(x10223))) -5|[]-> c(c(b(x10223)))
       b(b(c(x10224))) <-20|0[]- b(c(b(x10224))) -11|[]-> a(a(b(x10224)))
       b(b(c(x10225))) <-20|0[]- b(c(b(x10225))) -12|[]-> c(b(b(x10225)))
       c(b(c(x10226))) <-20|0[]- c(c(b(x10226))) -15|[]-> a(c(b(x10226)))
       c(b(c(x10227))) <-20|0[]- c(c(b(x10227))) -16|[]-> c(a(b(x10227)))
       a(b(c(x10228))) <-20|0[]- a(c(b(x10228))) -18|[]-> c(a(b(x10228)))
       b(c(x)) <-20|[]- c(b(x)) -21|[]-> a(c(x))
       a(b(c(x10230))) <-20|0[]- a(c(b(x10230))) -22|[]-> b(c(b(x10230)))
       b(c(x)) <-20|[]- c(b(x)) -23|[]-> c(c(x))
       b(b(c(x10232))) <-20|0[]- b(c(b(x10232))) -26|[]-> b(a(b(x10232)))
       b(b(c(x10233))) <-20|0[]- b(c(b(x10233))) -28|[]-> a(c(b(x10233)))
       c(b(c(x10234))) <-20|0[]- c(c(b(x10234))) -30|[]-> a(a(b(x10234)))
       c(b(c(x10235))) <-20|0[]- c(c(b(x10235))) -32|[]-> b(b(b(x10235)))
       a(b(c(x10236))) <-20|0[]- a(c(b(x10236))) -36|[]-> a(a(b(x10236)))
       b(c(x)) <-20|[]- c(b(x)) -40|[]-> b(a(x))
       b(c(x)) <-20|[]- c(b(x)) -41|[]-> c(a(x))
       a(b(c(x10239))) <-20|0[]- a(c(b(x10239))) -42|[]-> b(a(b(x10239)))
       b(c(x)) <-20|[]- c(b(x)) -43|[]-> a(a(x))
       b(c(x)) <-20|[]- c(b(x)) -44|[]-> b(b(x))
       b(b(c(x10242))) <-20|0[]- b(c(b(x10242))) -48|[]-> c(a(b(x10242)))
       c(b(c(x10243))) <-20|0[]- c(c(b(x10243))) -51|[]-> c(b(b(x10243)))
       c(b(c(x10244))) <-20|0[]- c(c(b(x10244))) -52|[]-> b(c(b(x10244)))
       c(b(c(x10245))) <-20|0[]- c(c(b(x10245))) -53|[]-> b(a(b(x10245)))
       a(a(c(x10246))) <-21|0[]- a(c(b(x10246))) -4|[]-> c(b(b(x10246)))
       a(a(c(x10247))) <-21|0[]- a(c(b(x10247))) -5|[]-> c(c(b(x10247)))
       b(a(c(x10248))) <-21|0[]- b(c(b(x10248))) -11|[]-> a(a(b(x10248)))
       b(a(c(x10249))) <-21|0[]- b(c(b(x10249))) -12|[]-> c(b(b(x10249)))
       c(a(c(x10250))) <-21|0[]- c(c(b(x10250))) -15|[]-> a(c(b(x10250)))
       c(a(c(x10251))) <-21|0[]- c(c(b(x10251))) -16|[]-> c(a(b(x10251)))
       a(a(c(x10252))) <-21|0[]- a(c(b(x10252))) -18|[]-> c(a(b(x10252)))
       a(c(x)) <-21|[]- c(b(x)) -20|[]-> b(c(x))
       a(a(c(x10254))) <-21|0[]- a(c(b(x10254))) -22|[]-> b(c(b(x10254)))
       a(c(x)) <-21|[]- c(b(x)) -23|[]-> c(c(x))
       b(a(c(x10256))) <-21|0[]- b(c(b(x10256))) -26|[]-> b(a(b(x10256)))
       b(a(c(x10257))) <-21|0[]- b(c(b(x10257))) -28|[]-> a(c(b(x10257)))
       c(a(c(x10258))) <-21|0[]- c(c(b(x10258))) -30|[]-> a(a(b(x10258)))
       c(a(c(x10259))) <-21|0[]- c(c(b(x10259))) -32|[]-> b(b(b(x10259)))
       a(a(c(x10260))) <-21|0[]- a(c(b(x10260))) -36|[]-> a(a(b(x10260)))
       a(c(x)) <-21|[]- c(b(x)) -40|[]-> b(a(x))
       a(c(x)) <-21|[]- c(b(x)) -41|[]-> c(a(x))
       a(a(c(x10263))) <-21|0[]- a(c(b(x10263))) -42|[]-> b(a(b(x10263)))
       a(c(x)) <-21|[]- c(b(x)) -43|[]-> a(a(x))
       a(c(x)) <-21|[]- c(b(x)) -44|[]-> b(b(x))
       b(a(c(x10266))) <-21|0[]- b(c(b(x10266))) -48|[]-> c(a(b(x10266)))
       c(a(c(x10267))) <-21|0[]- c(c(b(x10267))) -51|[]-> c(b(b(x10267)))
       c(a(c(x10268))) <-21|0[]- c(c(b(x10268))) -52|[]-> b(c(b(x10268)))
       c(a(c(x10269))) <-21|0[]- c(c(b(x10269))) -53|[]-> b(a(b(x10269)))
       b(c(x)) <-22|[]- a(c(x)) -4|[]-> c(b(x))
       b(c(x)) <-22|[]- a(c(x)) -5|[]-> c(c(x))
       c(b(c(x10272))) <-22|0[]- c(a(c(x10272))) -6|[]-> c(c(c(x10272)))
       c(b(c(x10273))) <-22|0[]- c(a(c(x10273))) -7|[]-> b(b(c(x10273)))
       c(b(c(x10274))) <-22|0[]- c(a(c(x10274))) -8|[]-> a(c(c(x10274)))
       a(b(c(x10275))) <-22|0[]- a(a(c(x10275))) -9|[]-> c(a(c(x10275)))
       a(b(c(x10276))) <-22|0[]- a(a(c(x10276))) -10|[]-> b(b(c(x10276)))
       b(c(x)) <-22|[]- a(c(x)) -18|[]-> c(a(x))
       c(b(c(x10278))) <-22|0[]- c(a(c(x10278))) -19|[]-> a(a(c(x10278)))
       a(b(c(x10279))) <-22|0[]- a(a(c(x10279))) -25|[]-> c(b(c(x10279)))
       a(b(c(x10280))) <-22|0[]- a(a(c(x10280))) -27|[]-> b(c(c(x10280)))
       a(b(c(x10281))) <-22|0[]- a(a(c(x10281))) -31|[]-> b(a(c(x10281)))
       b(c(x)) <-22|[]- a(c(x)) -36|[]-> a(a(x))
       c(b(c(x10283))) <-22|0[]- c(a(c(x10283))) -37|[]-> c(b(c(x10283)))
       c(b(c(x10284))) <-22|0[]- c(a(c(x10284))) -38|[]-> b(c(c(x10284)))
       c(b(c(x10285))) <-22|0[]- c(a(c(x10285))) -39|[]-> b(a(c(x10285)))
       b(c(x)) <-22|[]- a(c(x)) -42|[]-> b(a(x))
       a(b(c(x10287))) <-22|0[]- a(a(c(x10287))) -46|[]-> a(c(c(x10287)))
       a(b(c(x10288))) <-22|0[]- a(a(c(x10288))) -47|[]-> c(c(c(x10288)))
       a(c(c(x10289))) <-23|0[]- a(c(b(x10289))) -4|[]-> c(b(b(x10289)))
       a(c(c(x10290))) <-23|0[]- a(c(b(x10290))) -5|[]-> c(c(b(x10290)))
       b(c(c(x10291))) <-23|0[]- b(c(b(x10291))) -11|[]-> a(a(b(x10291)))
       b(c(c(x10292))) <-23|0[]- b(c(b(x10292))) -12|[]-> c(b(b(x10292)))
       c(c(c(x10293))) <-23|0[]- c(c(b(x10293))) -15|[]-> a(c(b(x10293)))
       c(c(c(x10294))) <-23|0[]- c(c(b(x10294))) -16|[]-> c(a(b(x10294)))
       a(c(c(x10295))) <-23|0[]- a(c(b(x10295))) -18|[]-> c(a(b(x10295)))
       c(c(x)) <-23|[]- c(b(x)) -20|[]-> b(c(x))
       c(c(x)) <-23|[]- c(b(x)) -21|[]-> a(c(x))
       a(c(c(x10298))) <-23|0[]- a(c(b(x10298))) -22|[]-> b(c(b(x10298)))
       b(c(c(x10299))) <-23|0[]- b(c(b(x10299))) -26|[]-> b(a(b(x10299)))
       b(c(c(x10300))) <-23|0[]- b(c(b(x10300))) -28|[]-> a(c(b(x10300)))
       c(c(c(x10301))) <-23|0[]- c(c(b(x10301))) -30|[]-> a(a(b(x10301)))
       c(c(c(x10302))) <-23|0[]- c(c(b(x10302))) -32|[]-> b(b(b(x10302)))
       a(c(c(x10303))) <-23|0[]- a(c(b(x10303))) -36|[]-> a(a(b(x10303)))
       c(c(x)) <-23|[]- c(b(x)) -40|[]-> b(a(x))
       c(c(x)) <-23|[]- c(b(x)) -41|[]-> c(a(x))
       a(c(c(x10306))) <-23|0[]- a(c(b(x10306))) -42|[]-> b(a(b(x10306)))
       c(c(x)) <-23|[]- c(b(x)) -43|[]-> a(a(x))
       c(c(x)) <-23|[]- c(b(x)) -44|[]-> b(b(x))
       b(c(c(x10309))) <-23|0[]- b(c(b(x10309))) -48|[]-> c(a(b(x10309)))
       c(c(c(x10310))) <-23|0[]- c(c(b(x10310))) -51|[]-> c(b(b(x10310)))
       c(c(c(x10311))) <-23|0[]- c(c(b(x10311))) -52|[]-> b(c(b(x10311)))
       c(c(c(x10312))) <-23|0[]- c(c(b(x10312))) -53|[]-> b(a(b(x10312)))
       a(c(c(x10313))) <-24|0[]- a(b(b(x10313))) -0|[]-> c(c(b(x10313)))
       a(c(c(x10314))) <-24|0[]- a(b(b(x10314))) -1|[]-> b(b(b(x10314)))
       a(c(c(x10315))) <-24|0[]- a(b(b(x10315))) -2|[]-> a(c(b(x10315)))
       a(c(c(x10316))) <-24|0[]- a(b(b(x10316))) -3|[]-> c(a(b(x10316)))
       c(c(x)) <-24|[]- b(b(x)) -13|[]-> c(a(x))
       b(c(c(x10318))) <-24|0[]- b(b(b(x10318))) -13|[]-> c(a(b(x10318)))
       c(c(x)) <-24|[]- b(b(x)) -14|[]-> b(a(x))
       b(c(c(x10320))) <-24|0[]- b(b(b(x10320))) -14|[]-> b(a(b(x10320)))
       a(c(c(x10321))) <-24|0[]- a(b(b(x10321))) -17|[]-> a(a(b(x10321)))
       c(c(c(x10322))) <-24|0[]- c(b(b(x10322))) -20|[]-> b(c(b(x10322)))
       c(c(c(x10323))) <-24|0[]- c(b(b(x10323))) -21|[]-> a(c(b(x10323)))
       c(c(c(x10324))) <-24|0[]- c(b(b(x10324))) -23|[]-> c(c(b(x10324)))
       b(c(c(x10325))) <-24|0[]- b(b(b(x10325))) -24|[]-> c(c(b(x10325)))
       c(c(x)) <-24|[]- b(b(x)) -29|[]-> c(b(x))
       b(c(c(x10327))) <-24|0[]- b(b(b(x10327))) -29|[]-> c(b(b(x10327)))
       a(c(c(x10328))) <-24|0[]- a(b(b(x10328))) -33|[]-> c(b(b(x10328)))
       a(c(c(x10329))) <-24|0[]- a(b(b(x10329))) -34|[]-> b(c(b(x10329)))
       a(c(c(x10330))) <-24|0[]- a(b(b(x10330))) -35|[]-> b(a(b(x10330)))
       c(c(c(x10331))) <-24|0[]- c(b(b(x10331))) -40|[]-> b(a(b(x10331)))
       c(c(c(x10332))) <-24|0[]- c(b(b(x10332))) -41|[]-> c(a(b(x10332)))
       c(c(c(x10333))) <-24|0[]- c(b(b(x10333))) -43|[]-> a(a(b(x10333)))
       c(c(c(x10334))) <-24|0[]- c(b(b(x10334))) -44|[]-> b(b(b(x10334)))
       c(c(x)) <-24|[]- b(b(x)) -45|[]-> a(a(x))
       b(c(c(x10336))) <-24|0[]- b(b(b(x10336))) -45|[]-> a(a(b(x10336)))
       c(c(x)) <-24|[]- b(b(x)) -49|[]-> b(c(x))
       b(c(c(x10338))) <-24|0[]- b(b(b(x10338))) -49|[]-> b(c(b(x10338)))
       c(c(x)) <-24|[]- b(b(x)) -50|[]-> a(c(x))
       b(c(c(x10340))) <-24|0[]- b(b(b(x10340))) -50|[]-> a(c(b(x10340)))
       c(c(b(x10341))) <-25|0[]- c(a(a(x10341))) -6|[]-> c(c(a(x10341)))
       c(c(b(x10342))) <-25|0[]- c(a(a(x10342))) -7|[]-> b(b(a(x10342)))
       c(c(b(x10343))) <-25|0[]- c(a(a(x10343))) -8|[]-> a(c(a(x10343)))
       c(b(x)) <-25|[]- a(a(x)) -9|[]-> c(a(x))
       a(c(b(x10345))) <-25|0[]- a(a(a(x10345))) -9|[]-> c(a(a(x10345)))
       c(b(x)) <-25|[]- a(a(x)) -10|[]-> b(b(x))
       a(c(b(x10347))) <-25|0[]- a(a(a(x10347))) -10|[]-> b(b(a(x10347)))
       c(c(b(x10348))) <-25|0[]- c(a(a(x10348))) -19|[]-> a(a(a(x10348)))
       a(c(b(x10349))) <-25|0[]- a(a(a(x10349))) -25|[]-> c(b(a(x10349)))
       c(b(x)) <-25|[]- a(a(x)) -27|[]-> b(c(x))
       a(c(b(x10351))) <-25|0[]- a(a(a(x10351))) -27|[]-> b(c(a(x10351)))
       c(b(x)) <-25|[]- a(a(x)) -31|[]-> b(a(x))
       a(c(b(x10353))) <-25|0[]- a(a(a(x10353))) -31|[]-> b(a(a(x10353)))
       c(c(b(x10354))) <-25|0[]- c(a(a(x10354))) -37|[]-> c(b(a(x10354)))
       c(c(b(x10355))) <-25|0[]- c(a(a(x10355))) -38|[]-> b(c(a(x10355)))
       c(c(b(x10356))) <-25|0[]- c(a(a(x10356))) -39|[]-> b(a(a(x10356)))
       c(b(x)) <-25|[]- a(a(x)) -46|[]-> a(c(x))
       a(c(b(x10358))) <-25|0[]- a(a(a(x10358))) -46|[]-> a(c(a(x10358)))
       c(b(x)) <-25|[]- a(a(x)) -47|[]-> c(c(x))
       a(c(b(x10360))) <-25|0[]- a(a(a(x10360))) -47|[]-> c(c(a(x10360)))
       a(b(a(x10361))) <-26|0[]- a(b(c(x10361))) -0|[]-> c(c(c(x10361)))
       a(b(a(x10362))) <-26|0[]- a(b(c(x10362))) -1|[]-> b(b(c(x10362)))
       a(b(a(x10363))) <-26|0[]- a(b(c(x10363))) -2|[]-> a(c(c(x10363)))
       a(b(a(x10364))) <-26|0[]- a(b(c(x10364))) -3|[]-> c(a(c(x10364)))
       b(a(x)) <-26|[]- b(c(x)) -11|[]-> a(a(x))
       b(a(x)) <-26|[]- b(c(x)) -12|[]-> c(b(x))
       b(b(a(x10367))) <-26|0[]- b(b(c(x10367))) -13|[]-> c(a(c(x10367)))
       b(b(a(x10368))) <-26|0[]- b(b(c(x10368))) -14|[]-> b(a(c(x10368)))
       a(b(a(x10369))) <-26|0[]- a(b(c(x10369))) -17|[]-> a(a(c(x10369)))
       c(b(a(x10370))) <-26|0[]- c(b(c(x10370))) -20|[]-> b(c(c(x10370)))
       c(b(a(x10371))) <-26|0[]- c(b(c(x10371))) -21|[]-> a(c(c(x10371)))
       c(b(a(x10372))) <-26|0[]- c(b(c(x10372))) -23|[]-> c(c(c(x10372)))
       b(b(a(x10373))) <-26|0[]- b(b(c(x10373))) -24|[]-> c(c(c(x10373)))
       b(a(x)) <-26|[]- b(c(x)) -28|[]-> a(c(x))
       b(b(a(x10375))) <-26|0[]- b(b(c(x10375))) -29|[]-> c(b(c(x10375)))
       a(b(a(x10376))) <-26|0[]- a(b(c(x10376))) -33|[]-> c(b(c(x10376)))
       a(b(a(x10377))) <-26|0[]- a(b(c(x10377))) -34|[]-> b(c(c(x10377)))
       a(b(a(x10378))) <-26|0[]- a(b(c(x10378))) -35|[]-> b(a(c(x10378)))
       c(b(a(x10379))) <-26|0[]- c(b(c(x10379))) -40|[]-> b(a(c(x10379)))
       c(b(a(x10380))) <-26|0[]- c(b(c(x10380))) -41|[]-> c(a(c(x10380)))
       c(b(a(x10381))) <-26|0[]- c(b(c(x10381))) -43|[]-> a(a(c(x10381)))
       c(b(a(x10382))) <-26|0[]- c(b(c(x10382))) -44|[]-> b(b(c(x10382)))
       b(b(a(x10383))) <-26|0[]- b(b(c(x10383))) -45|[]-> a(a(c(x10383)))
       b(a(x)) <-26|[]- b(c(x)) -48|[]-> c(a(x))
       b(b(a(x10385))) <-26|0[]- b(b(c(x10385))) -49|[]-> b(c(c(x10385)))
       b(b(a(x10386))) <-26|0[]- b(b(c(x10386))) -50|[]-> a(c(c(x10386)))
       c(b(c(x10387))) <-27|0[]- c(a(a(x10387))) -6|[]-> c(c(a(x10387)))
       c(b(c(x10388))) <-27|0[]- c(a(a(x10388))) -7|[]-> b(b(a(x10388)))
       c(b(c(x10389))) <-27|0[]- c(a(a(x10389))) -8|[]-> a(c(a(x10389)))
       b(c(x)) <-27|[]- a(a(x)) -9|[]-> c(a(x))
       a(b(c(x10391))) <-27|0[]- a(a(a(x10391))) -9|[]-> c(a(a(x10391)))
       b(c(x)) <-27|[]- a(a(x)) -10|[]-> b(b(x))
       a(b(c(x10393))) <-27|0[]- a(a(a(x10393))) -10|[]-> b(b(a(x10393)))
       c(b(c(x10394))) <-27|0[]- c(a(a(x10394))) -19|[]-> a(a(a(x10394)))
       b(c(x)) <-27|[]- a(a(x)) -25|[]-> c(b(x))
       a(b(c(x10396))) <-27|0[]- a(a(a(x10396))) -25|[]-> c(b(a(x10396)))
       a(b(c(x10397))) <-27|0[]- a(a(a(x10397))) -27|[]-> b(c(a(x10397)))
       b(c(x)) <-27|[]- a(a(x)) -31|[]-> b(a(x))
       a(b(c(x10399))) <-27|0[]- a(a(a(x10399))) -31|[]-> b(a(a(x10399)))
       c(b(c(x10400))) <-27|0[]- c(a(a(x10400))) -37|[]-> c(b(a(x10400)))
       c(b(c(x10401))) <-27|0[]- c(a(a(x10401))) -38|[]-> b(c(a(x10401)))
       c(b(c(x10402))) <-27|0[]- c(a(a(x10402))) -39|[]-> b(a(a(x10402)))
       b(c(x)) <-27|[]- a(a(x)) -46|[]-> a(c(x))
       a(b(c(x10404))) <-27|0[]- a(a(a(x10404))) -46|[]-> a(c(a(x10404)))
       b(c(x)) <-27|[]- a(a(x)) -47|[]-> c(c(x))
       a(b(c(x10406))) <-27|0[]- a(a(a(x10406))) -47|[]-> c(c(a(x10406)))
       a(a(c(x10407))) <-28|0[]- a(b(c(x10407))) -0|[]-> c(c(c(x10407)))
       a(a(c(x10408))) <-28|0[]- a(b(c(x10408))) -1|[]-> b(b(c(x10408)))
       a(a(c(x10409))) <-28|0[]- a(b(c(x10409))) -2|[]-> a(c(c(x10409)))
       a(a(c(x10410))) <-28|0[]- a(b(c(x10410))) -3|[]-> c(a(c(x10410)))
       a(c(x)) <-28|[]- b(c(x)) -11|[]-> a(a(x))
       a(c(x)) <-28|[]- b(c(x)) -12|[]-> c(b(x))
       b(a(c(x10413))) <-28|0[]- b(b(c(x10413))) -13|[]-> c(a(c(x10413)))
       b(a(c(x10414))) <-28|0[]- b(b(c(x10414))) -14|[]-> b(a(c(x10414)))
       a(a(c(x10415))) <-28|0[]- a(b(c(x10415))) -17|[]-> a(a(c(x10415)))
       c(a(c(x10416))) <-28|0[]- c(b(c(x10416))) -20|[]-> b(c(c(x10416)))
       c(a(c(x10417))) <-28|0[]- c(b(c(x10417))) -21|[]-> a(c(c(x10417)))
       c(a(c(x10418))) <-28|0[]- c(b(c(x10418))) -23|[]-> c(c(c(x10418)))
       b(a(c(x10419))) <-28|0[]- b(b(c(x10419))) -24|[]-> c(c(c(x10419)))
       a(c(x)) <-28|[]- b(c(x)) -26|[]-> b(a(x))
       b(a(c(x10421))) <-28|0[]- b(b(c(x10421))) -29|[]-> c(b(c(x10421)))
       a(a(c(x10422))) <-28|0[]- a(b(c(x10422))) -33|[]-> c(b(c(x10422)))
       a(a(c(x10423))) <-28|0[]- a(b(c(x10423))) -34|[]-> b(c(c(x10423)))
       a(a(c(x10424))) <-28|0[]- a(b(c(x10424))) -35|[]-> b(a(c(x10424)))
       c(a(c(x10425))) <-28|0[]- c(b(c(x10425))) -40|[]-> b(a(c(x10425)))
       c(a(c(x10426))) <-28|0[]- c(b(c(x10426))) -41|[]-> c(a(c(x10426)))
       c(a(c(x10427))) <-28|0[]- c(b(c(x10427))) -43|[]-> a(a(c(x10427)))
       c(a(c(x10428))) <-28|0[]- c(b(c(x10428))) -44|[]-> b(b(c(x10428)))
       b(a(c(x10429))) <-28|0[]- b(b(c(x10429))) -45|[]-> a(a(c(x10429)))
       a(c(x)) <-28|[]- b(c(x)) -48|[]-> c(a(x))
       b(a(c(x10431))) <-28|0[]- b(b(c(x10431))) -49|[]-> b(c(c(x10431)))
       b(a(c(x10432))) <-28|0[]- b(b(c(x10432))) -50|[]-> a(c(c(x10432)))
       a(c(b(x10433))) <-29|0[]- a(b(b(x10433))) -0|[]-> c(c(b(x10433)))
       a(c(b(x10434))) <-29|0[]- a(b(b(x10434))) -1|[]-> b(b(b(x10434)))
       a(c(b(x10435))) <-29|0[]- a(b(b(x10435))) -2|[]-> a(c(b(x10435)))
       a(c(b(x10436))) <-29|0[]- a(b(b(x10436))) -3|[]-> c(a(b(x10436)))
       c(b(x)) <-29|[]- b(b(x)) -13|[]-> c(a(x))
       b(c(b(x10438))) <-29|0[]- b(b(b(x10438))) -13|[]-> c(a(b(x10438)))
       c(b(x)) <-29|[]- b(b(x)) -14|[]-> b(a(x))
       b(c(b(x10440))) <-29|0[]- b(b(b(x10440))) -14|[]-> b(a(b(x10440)))
       a(c(b(x10441))) <-29|0[]- a(b(b(x10441))) -17|[]-> a(a(b(x10441)))
       c(c(b(x10442))) <-29|0[]- c(b(b(x10442))) -20|[]-> b(c(b(x10442)))
       c(c(b(x10443))) <-29|0[]- c(b(b(x10443))) -21|[]-> a(c(b(x10443)))
       c(c(b(x10444))) <-29|0[]- c(b(b(x10444))) -23|[]-> c(c(b(x10444)))
       c(b(x)) <-29|[]- b(b(x)) -24|[]-> c(c(x))
       b(c(b(x10446))) <-29|0[]- b(b(b(x10446))) -24|[]-> c(c(b(x10446)))
       b(c(b(x10447))) <-29|0[]- b(b(b(x10447))) -29|[]-> c(b(b(x10447)))
       a(c(b(x10448))) <-29|0[]- a(b(b(x10448))) -33|[]-> c(b(b(x10448)))
       a(c(b(x10449))) <-29|0[]- a(b(b(x10449))) -34|[]-> b(c(b(x10449)))
       a(c(b(x10450))) <-29|0[]- a(b(b(x10450))) -35|[]-> b(a(b(x10450)))
       c(c(b(x10451))) <-29|0[]- c(b(b(x10451))) -40|[]-> b(a(b(x10451)))
       c(c(b(x10452))) <-29|0[]- c(b(b(x10452))) -41|[]-> c(a(b(x10452)))
       c(c(b(x10453))) <-29|0[]- c(b(b(x10453))) -43|[]-> a(a(b(x10453)))
       c(c(b(x10454))) <-29|0[]- c(b(b(x10454))) -44|[]-> b(b(b(x10454)))
       c(b(x)) <-29|[]- b(b(x)) -45|[]-> a(a(x))
       b(c(b(x10456))) <-29|0[]- b(b(b(x10456))) -45|[]-> a(a(b(x10456)))
       c(b(x)) <-29|[]- b(b(x)) -49|[]-> b(c(x))
       b(c(b(x10458))) <-29|0[]- b(b(b(x10458))) -49|[]-> b(c(b(x10458)))
       c(b(x)) <-29|[]- b(b(x)) -50|[]-> a(c(x))
       b(c(b(x10460))) <-29|0[]- b(b(b(x10460))) -50|[]-> a(c(b(x10460)))
       a(a(a(x10461))) <-30|0[]- a(c(c(x10461))) -4|[]-> c(b(c(x10461)))
       a(a(a(x10462))) <-30|0[]- a(c(c(x10462))) -5|[]-> c(c(c(x10462)))
       b(a(a(x10463))) <-30|0[]- b(c(c(x10463))) -11|[]-> a(a(c(x10463)))
       b(a(a(x10464))) <-30|0[]- b(c(c(x10464))) -12|[]-> c(b(c(x10464)))
       a(a(x)) <-30|[]- c(c(x)) -15|[]-> a(c(x))
       c(a(a(x10466))) <-30|0[]- c(c(c(x10466))) -15|[]-> a(c(c(x10466)))
       a(a(x)) <-30|[]- c(c(x)) -16|[]-> c(a(x))
       c(a(a(x10468))) <-30|0[]- c(c(c(x10468))) -16|[]-> c(a(c(x10468)))
       a(a(a(x10469))) <-30|0[]- a(c(c(x10469))) -18|[]-> c(a(c(x10469)))
       a(a(a(x10470))) <-30|0[]- a(c(c(x10470))) -22|[]-> b(c(c(x10470)))
       b(a(a(x10471))) <-30|0[]- b(c(c(x10471))) -26|[]-> b(a(c(x10471)))
       b(a(a(x10472))) <-30|0[]- b(c(c(x10472))) -28|[]-> a(c(c(x10472)))
       c(a(a(x10473))) <-30|0[]- c(c(c(x10473))) -30|[]-> a(a(c(x10473)))
       a(a(x)) <-30|[]- c(c(x)) -32|[]-> b(b(x))
       c(a(a(x10475))) <-30|0[]- c(c(c(x10475))) -32|[]-> b(b(c(x10475)))
       a(a(a(x10476))) <-30|0[]- a(c(c(x10476))) -36|[]-> a(a(c(x10476)))
       a(a(a(x10477))) <-30|0[]- a(c(c(x10477))) -42|[]-> b(a(c(x10477)))
       b(a(a(x10478))) <-30|0[]- b(c(c(x10478))) -48|[]-> c(a(c(x10478)))
       a(a(x)) <-30|[]- c(c(x)) -51|[]-> c(b(x))
       c(a(a(x10480))) <-30|0[]- c(c(c(x10480))) -51|[]-> c(b(c(x10480)))
       a(a(x)) <-30|[]- c(c(x)) -52|[]-> b(c(x))
       c(a(a(x10482))) <-30|0[]- c(c(c(x10482))) -52|[]-> b(c(c(x10482)))
       a(a(x)) <-30|[]- c(c(x)) -53|[]-> b(a(x))
       c(a(a(x10484))) <-30|0[]- c(c(c(x10484))) -53|[]-> b(a(c(x10484)))
       c(b(a(x10485))) <-31|0[]- c(a(a(x10485))) -6|[]-> c(c(a(x10485)))
       c(b(a(x10486))) <-31|0[]- c(a(a(x10486))) -7|[]-> b(b(a(x10486)))
       c(b(a(x10487))) <-31|0[]- c(a(a(x10487))) -8|[]-> a(c(a(x10487)))
       b(a(x)) <-31|[]- a(a(x)) -9|[]-> c(a(x))
       a(b(a(x10489))) <-31|0[]- a(a(a(x10489))) -9|[]-> c(a(a(x10489)))
       b(a(x)) <-31|[]- a(a(x)) -10|[]-> b(b(x))
       a(b(a(x10491))) <-31|0[]- a(a(a(x10491))) -10|[]-> b(b(a(x10491)))
       c(b(a(x10492))) <-31|0[]- c(a(a(x10492))) -19|[]-> a(a(a(x10492)))
       b(a(x)) <-31|[]- a(a(x)) -25|[]-> c(b(x))
       a(b(a(x10494))) <-31|0[]- a(a(a(x10494))) -25|[]-> c(b(a(x10494)))
       b(a(x)) <-31|[]- a(a(x)) -27|[]-> b(c(x))
       a(b(a(x10496))) <-31|0[]- a(a(a(x10496))) -27|[]-> b(c(a(x10496)))
       a(b(a(x10497))) <-31|0[]- a(a(a(x10497))) -31|[]-> b(a(a(x10497)))
       c(b(a(x10498))) <-31|0[]- c(a(a(x10498))) -37|[]-> c(b(a(x10498)))
       c(b(a(x10499))) <-31|0[]- c(a(a(x10499))) -38|[]-> b(c(a(x10499)))
       c(b(a(x10500))) <-31|0[]- c(a(a(x10500))) -39|[]-> b(a(a(x10500)))
       b(a(x)) <-31|[]- a(a(x)) -46|[]-> a(c(x))
       a(b(a(x10502))) <-31|0[]- a(a(a(x10502))) -46|[]-> a(c(a(x10502)))
       b(a(x)) <-31|[]- a(a(x)) -47|[]-> c(c(x))
       a(b(a(x10504))) <-31|0[]- a(a(a(x10504))) -47|[]-> c(c(a(x10504)))
       a(b(b(x10505))) <-32|0[]- a(c(c(x10505))) -4|[]-> c(b(c(x10505)))
       a(b(b(x10506))) <-32|0[]- a(c(c(x10506))) -5|[]-> c(c(c(x10506)))
       b(b(b(x10507))) <-32|0[]- b(c(c(x10507))) -11|[]-> a(a(c(x10507)))
       b(b(b(x10508))) <-32|0[]- b(c(c(x10508))) -12|[]-> c(b(c(x10508)))
       b(b(x)) <-32|[]- c(c(x)) -15|[]-> a(c(x))
       c(b(b(x10510))) <-32|0[]- c(c(c(x10510))) -15|[]-> a(c(c(x10510)))
       b(b(x)) <-32|[]- c(c(x)) -16|[]-> c(a(x))
       c(b(b(x10512))) <-32|0[]- c(c(c(x10512))) -16|[]-> c(a(c(x10512)))
       a(b(b(x10513))) <-32|0[]- a(c(c(x10513))) -18|[]-> c(a(c(x10513)))
       a(b(b(x10514))) <-32|0[]- a(c(c(x10514))) -22|[]-> b(c(c(x10514)))
       b(b(b(x10515))) <-32|0[]- b(c(c(x10515))) -26|[]-> b(a(c(x10515)))
       b(b(b(x10516))) <-32|0[]- b(c(c(x10516))) -28|[]-> a(c(c(x10516)))
       b(b(x)) <-32|[]- c(c(x)) -30|[]-> a(a(x))
       c(b(b(x10518))) <-32|0[]- c(c(c(x10518))) -30|[]-> a(a(c(x10518)))
       c(b(b(x10519))) <-32|0[]- c(c(c(x10519))) -32|[]-> b(b(c(x10519)))
       a(b(b(x10520))) <-32|0[]- a(c(c(x10520))) -36|[]-> a(a(c(x10520)))
       a(b(b(x10521))) <-32|0[]- a(c(c(x10521))) -42|[]-> b(a(c(x10521)))
       b(b(b(x10522))) <-32|0[]- b(c(c(x10522))) -48|[]-> c(a(c(x10522)))
       b(b(x)) <-32|[]- c(c(x)) -51|[]-> c(b(x))
       c(b(b(x10524))) <-32|0[]- c(c(c(x10524))) -51|[]-> c(b(c(x10524)))
       b(b(x)) <-32|[]- c(c(x)) -52|[]-> b(c(x))
       c(b(b(x10526))) <-32|0[]- c(c(c(x10526))) -52|[]-> b(c(c(x10526)))
       b(b(x)) <-32|[]- c(c(x)) -53|[]-> b(a(x))
       c(b(b(x10528))) <-32|0[]- c(c(c(x10528))) -53|[]-> b(a(c(x10528)))
       c(b(x)) <-33|[]- a(b(x)) -0|[]-> c(c(x))
       c(b(x)) <-33|[]- a(b(x)) -1|[]-> b(b(x))
       c(b(x)) <-33|[]- a(b(x)) -2|[]-> a(c(x))
       c(b(x)) <-33|[]- a(b(x)) -3|[]-> c(a(x))
       c(c(b(x10533))) <-33|0[]- c(a(b(x10533))) -6|[]-> c(c(b(x10533)))
       c(c(b(x10534))) <-33|0[]- c(a(b(x10534))) -7|[]-> b(b(b(x10534)))
       c(c(b(x10535))) <-33|0[]- c(a(b(x10535))) -8|[]-> a(c(b(x10535)))
       a(c(b(x10536))) <-33|0[]- a(a(b(x10536))) -9|[]-> c(a(b(x10536)))
       a(c(b(x10537))) <-33|0[]- a(a(b(x10537))) -10|[]-> b(b(b(x10537)))
       c(b(x)) <-33|[]- a(b(x)) -17|[]-> a(a(x))
       c(c(b(x10539))) <-33|0[]- c(a(b(x10539))) -19|[]-> a(a(b(x10539)))
       a(c(b(x10540))) <-33|0[]- a(a(b(x10540))) -25|[]-> c(b(b(x10540)))
       a(c(b(x10541))) <-33|0[]- a(a(b(x10541))) -27|[]-> b(c(b(x10541)))
       a(c(b(x10542))) <-33|0[]- a(a(b(x10542))) -31|[]-> b(a(b(x10542)))
       c(b(x)) <-33|[]- a(b(x)) -34|[]-> b(c(x))
       c(b(x)) <-33|[]- a(b(x)) -35|[]-> b(a(x))
       c(c(b(x10545))) <-33|0[]- c(a(b(x10545))) -37|[]-> c(b(b(x10545)))
       c(c(b(x10546))) <-33|0[]- c(a(b(x10546))) -38|[]-> b(c(b(x10546)))
       c(c(b(x10547))) <-33|0[]- c(a(b(x10547))) -39|[]-> b(a(b(x10547)))
       a(c(b(x10548))) <-33|0[]- a(a(b(x10548))) -46|[]-> a(c(b(x10548)))
       a(c(b(x10549))) <-33|0[]- a(a(b(x10549))) -47|[]-> c(c(b(x10549)))
       b(c(x)) <-34|[]- a(b(x)) -0|[]-> c(c(x))
       b(c(x)) <-34|[]- a(b(x)) -1|[]-> b(b(x))
       b(c(x)) <-34|[]- a(b(x)) -2|[]-> a(c(x))
       b(c(x)) <-34|[]- a(b(x)) -3|[]-> c(a(x))
       c(b(c(x10554))) <-34|0[]- c(a(b(x10554))) -6|[]-> c(c(b(x10554)))
       c(b(c(x10555))) <-34|0[]- c(a(b(x10555))) -7|[]-> b(b(b(x10555)))
       c(b(c(x10556))) <-34|0[]- c(a(b(x10556))) -8|[]-> a(c(b(x10556)))
       a(b(c(x10557))) <-34|0[]- a(a(b(x10557))) -9|[]-> c(a(b(x10557)))
       a(b(c(x10558))) <-34|0[]- a(a(b(x10558))) -10|[]-> b(b(b(x10558)))
       b(c(x)) <-34|[]- a(b(x)) -17|[]-> a(a(x))
       c(b(c(x10560))) <-34|0[]- c(a(b(x10560))) -19|[]-> a(a(b(x10560)))
       a(b(c(x10561))) <-34|0[]- a(a(b(x10561))) -25|[]-> c(b(b(x10561)))
       a(b(c(x10562))) <-34|0[]- a(a(b(x10562))) -27|[]-> b(c(b(x10562)))
       a(b(c(x10563))) <-34|0[]- a(a(b(x10563))) -31|[]-> b(a(b(x10563)))
       b(c(x)) <-34|[]- a(b(x)) -33|[]-> c(b(x))
       b(c(x)) <-34|[]- a(b(x)) -35|[]-> b(a(x))
       c(b(c(x10566))) <-34|0[]- c(a(b(x10566))) -37|[]-> c(b(b(x10566)))
       c(b(c(x10567))) <-34|0[]- c(a(b(x10567))) -38|[]-> b(c(b(x10567)))
       c(b(c(x10568))) <-34|0[]- c(a(b(x10568))) -39|[]-> b(a(b(x10568)))
       a(b(c(x10569))) <-34|0[]- a(a(b(x10569))) -46|[]-> a(c(b(x10569)))
       a(b(c(x10570))) <-34|0[]- a(a(b(x10570))) -47|[]-> c(c(b(x10570)))
       b(a(x)) <-35|[]- a(b(x)) -0|[]-> c(c(x))
       b(a(x)) <-35|[]- a(b(x)) -1|[]-> b(b(x))
       b(a(x)) <-35|[]- a(b(x)) -2|[]-> a(c(x))
       b(a(x)) <-35|[]- a(b(x)) -3|[]-> c(a(x))
       c(b(a(x10575))) <-35|0[]- c(a(b(x10575))) -6|[]-> c(c(b(x10575)))
       c(b(a(x10576))) <-35|0[]- c(a(b(x10576))) -7|[]-> b(b(b(x10576)))
       c(b(a(x10577))) <-35|0[]- c(a(b(x10577))) -8|[]-> a(c(b(x10577)))
       a(b(a(x10578))) <-35|0[]- a(a(b(x10578))) -9|[]-> c(a(b(x10578)))
       a(b(a(x10579))) <-35|0[]- a(a(b(x10579))) -10|[]-> b(b(b(x10579)))
       b(a(x)) <-35|[]- a(b(x)) -17|[]-> a(a(x))
       c(b(a(x10581))) <-35|0[]- c(a(b(x10581))) -19|[]-> a(a(b(x10581)))
       a(b(a(x10582))) <-35|0[]- a(a(b(x10582))) -25|[]-> c(b(b(x10582)))
       a(b(a(x10583))) <-35|0[]- a(a(b(x10583))) -27|[]-> b(c(b(x10583)))
       a(b(a(x10584))) <-35|0[]- a(a(b(x10584))) -31|[]-> b(a(b(x10584)))
       b(a(x)) <-35|[]- a(b(x)) -33|[]-> c(b(x))
       b(a(x)) <-35|[]- a(b(x)) -34|[]-> b(c(x))
       c(b(a(x10587))) <-35|0[]- c(a(b(x10587))) -37|[]-> c(b(b(x10587)))
       c(b(a(x10588))) <-35|0[]- c(a(b(x10588))) -38|[]-> b(c(b(x10588)))
       c(b(a(x10589))) <-35|0[]- c(a(b(x10589))) -39|[]-> b(a(b(x10589)))
       a(b(a(x10590))) <-35|0[]- a(a(b(x10590))) -46|[]-> a(c(b(x10590)))
       a(b(a(x10591))) <-35|0[]- a(a(b(x10591))) -47|[]-> c(c(b(x10591)))
       a(a(x)) <-36|[]- a(c(x)) -4|[]-> c(b(x))
       a(a(x)) <-36|[]- a(c(x)) -5|[]-> c(c(x))
       c(a(a(x10594))) <-36|0[]- c(a(c(x10594))) -6|[]-> c(c(c(x10594)))
       c(a(a(x10595))) <-36|0[]- c(a(c(x10595))) -7|[]-> b(b(c(x10595)))
       c(a(a(x10596))) <-36|0[]- c(a(c(x10596))) -8|[]-> a(c(c(x10596)))
       a(a(a(x10597))) <-36|0[]- a(a(c(x10597))) -9|[]-> c(a(c(x10597)))
       a(a(a(x10598))) <-36|0[]- a(a(c(x10598))) -10|[]-> b(b(c(x10598)))
       a(a(x)) <-36|[]- a(c(x)) -18|[]-> c(a(x))
       c(a(a(x10600))) <-36|0[]- c(a(c(x10600))) -19|[]-> a(a(c(x10600)))
       a(a(x)) <-36|[]- a(c(x)) -22|[]-> b(c(x))
       a(a(a(x10602))) <-36|0[]- a(a(c(x10602))) -25|[]-> c(b(c(x10602)))
       a(a(a(x10603))) <-36|0[]- a(a(c(x10603))) -27|[]-> b(c(c(x10603)))
       a(a(a(x10604))) <-36|0[]- a(a(c(x10604))) -31|[]-> b(a(c(x10604)))
       c(a(a(x10605))) <-36|0[]- c(a(c(x10605))) -37|[]-> c(b(c(x10605)))
       c(a(a(x10606))) <-36|0[]- c(a(c(x10606))) -38|[]-> b(c(c(x10606)))
       c(a(a(x10607))) <-36|0[]- c(a(c(x10607))) -39|[]-> b(a(c(x10607)))
       a(a(x)) <-36|[]- a(c(x)) -42|[]-> b(a(x))
       a(a(a(x10609))) <-36|0[]- a(a(c(x10609))) -46|[]-> a(c(c(x10609)))
       a(a(a(x10610))) <-36|0[]- a(a(c(x10610))) -47|[]-> c(c(c(x10610)))
       a(c(b(x10611))) <-37|0[]- a(c(a(x10611))) -4|[]-> c(b(a(x10611)))
       a(c(b(x10612))) <-37|0[]- a(c(a(x10612))) -5|[]-> c(c(a(x10612)))
       c(b(x)) <-37|[]- c(a(x)) -6|[]-> c(c(x))
       c(b(x)) <-37|[]- c(a(x)) -7|[]-> b(b(x))
       c(b(x)) <-37|[]- c(a(x)) -8|[]-> a(c(x))
       b(c(b(x10616))) <-37|0[]- b(c(a(x10616))) -11|[]-> a(a(a(x10616)))
       b(c(b(x10617))) <-37|0[]- b(c(a(x10617))) -12|[]-> c(b(a(x10617)))
       c(c(b(x10618))) <-37|0[]- c(c(a(x10618))) -15|[]-> a(c(a(x10618)))
       c(c(b(x10619))) <-37|0[]- c(c(a(x10619))) -16|[]-> c(a(a(x10619)))
       a(c(b(x10620))) <-37|0[]- a(c(a(x10620))) -18|[]-> c(a(a(x10620)))
       c(b(x)) <-37|[]- c(a(x)) -19|[]-> a(a(x))
       a(c(b(x10622))) <-37|0[]- a(c(a(x10622))) -22|[]-> b(c(a(x10622)))
       b(c(b(x10623))) <-37|0[]- b(c(a(x10623))) -26|[]-> b(a(a(x10623)))
       b(c(b(x10624))) <-37|0[]- b(c(a(x10624))) -28|[]-> a(c(a(x10624)))
       c(c(b(x10625))) <-37|0[]- c(c(a(x10625))) -30|[]-> a(a(a(x10625)))
       c(c(b(x10626))) <-37|0[]- c(c(a(x10626))) -32|[]-> b(b(a(x10626)))
       a(c(b(x10627))) <-37|0[]- a(c(a(x10627))) -36|[]-> a(a(a(x10627)))
       c(b(x)) <-37|[]- c(a(x)) -38|[]-> b(c(x))
       c(b(x)) <-37|[]- c(a(x)) -39|[]-> b(a(x))
       a(c(b(x10630))) <-37|0[]- a(c(a(x10630))) -42|[]-> b(a(a(x10630)))
       b(c(b(x10631))) <-37|0[]- b(c(a(x10631))) -48|[]-> c(a(a(x10631)))
       c(c(b(x10632))) <-37|0[]- c(c(a(x10632))) -51|[]-> c(b(a(x10632)))
       c(c(b(x10633))) <-37|0[]- c(c(a(x10633))) -52|[]-> b(c(a(x10633)))
       c(c(b(x10634))) <-37|0[]- c(c(a(x10634))) -53|[]-> b(a(a(x10634)))
       a(b(c(x10635))) <-38|0[]- a(c(a(x10635))) -4|[]-> c(b(a(x10635)))
       a(b(c(x10636))) <-38|0[]- a(c(a(x10636))) -5|[]-> c(c(a(x10636)))
       b(c(x)) <-38|[]- c(a(x)) -6|[]-> c(c(x))
       b(c(x)) <-38|[]- c(a(x)) -7|[]-> b(b(x))
       b(c(x)) <-38|[]- c(a(x)) -8|[]-> a(c(x))
       b(b(c(x10640))) <-38|0[]- b(c(a(x10640))) -11|[]-> a(a(a(x10640)))
       b(b(c(x10641))) <-38|0[]- b(c(a(x10641))) -12|[]-> c(b(a(x10641)))
       c(b(c(x10642))) <-38|0[]- c(c(a(x10642))) -15|[]-> a(c(a(x10642)))
       c(b(c(x10643))) <-38|0[]- c(c(a(x10643))) -16|[]-> c(a(a(x10643)))
       a(b(c(x10644))) <-38|0[]- a(c(a(x10644))) -18|[]-> c(a(a(x10644)))
       b(c(x)) <-38|[]- c(a(x)) -19|[]-> a(a(x))
       a(b(c(x10646))) <-38|0[]- a(c(a(x10646))) -22|[]-> b(c(a(x10646)))
       b(b(c(x10647))) <-38|0[]- b(c(a(x10647))) -26|[]-> b(a(a(x10647)))
       b(b(c(x10648))) <-38|0[]- b(c(a(x10648))) -28|[]-> a(c(a(x10648)))
       c(b(c(x10649))) <-38|0[]- c(c(a(x10649))) -30|[]-> a(a(a(x10649)))
       c(b(c(x10650))) <-38|0[]- c(c(a(x10650))) -32|[]-> b(b(a(x10650)))
       a(b(c(x10651))) <-38|0[]- a(c(a(x10651))) -36|[]-> a(a(a(x10651)))
       b(c(x)) <-38|[]- c(a(x)) -37|[]-> c(b(x))
       b(c(x)) <-38|[]- c(a(x)) -39|[]-> b(a(x))
       a(b(c(x10654))) <-38|0[]- a(c(a(x10654))) -42|[]-> b(a(a(x10654)))
       b(b(c(x10655))) <-38|0[]- b(c(a(x10655))) -48|[]-> c(a(a(x10655)))
       c(b(c(x10656))) <-38|0[]- c(c(a(x10656))) -51|[]-> c(b(a(x10656)))
       c(b(c(x10657))) <-38|0[]- c(c(a(x10657))) -52|[]-> b(c(a(x10657)))
       c(b(c(x10658))) <-38|0[]- c(c(a(x10658))) -53|[]-> b(a(a(x10658)))
       a(b(a(x10659))) <-39|0[]- a(c(a(x10659))) -4|[]-> c(b(a(x10659)))
       a(b(a(x10660))) <-39|0[]- a(c(a(x10660))) -5|[]-> c(c(a(x10660)))
       b(a(x)) <-39|[]- c(a(x)) -6|[]-> c(c(x))
       b(a(x)) <-39|[]- c(a(x)) -7|[]-> b(b(x))
       b(a(x)) <-39|[]- c(a(x)) -8|[]-> a(c(x))
       b(b(a(x10664))) <-39|0[]- b(c(a(x10664))) -11|[]-> a(a(a(x10664)))
       b(b(a(x10665))) <-39|0[]- b(c(a(x10665))) -12|[]-> c(b(a(x10665)))
       c(b(a(x10666))) <-39|0[]- c(c(a(x10666))) -15|[]-> a(c(a(x10666)))
       c(b(a(x10667))) <-39|0[]- c(c(a(x10667))) -16|[]-> c(a(a(x10667)))
       a(b(a(x10668))) <-39|0[]- a(c(a(x10668))) -18|[]-> c(a(a(x10668)))
       b(a(x)) <-39|[]- c(a(x)) -19|[]-> a(a(x))
       a(b(a(x10670))) <-39|0[]- a(c(a(x10670))) -22|[]-> b(c(a(x10670)))
       b(b(a(x10671))) <-39|0[]- b(c(a(x10671))) -26|[]-> b(a(a(x10671)))
       b(b(a(x10672))) <-39|0[]- b(c(a(x10672))) -28|[]-> a(c(a(x10672)))
       c(b(a(x10673))) <-39|0[]- c(c(a(x10673))) -30|[]-> a(a(a(x10673)))
       c(b(a(x10674))) <-39|0[]- c(c(a(x10674))) -32|[]-> b(b(a(x10674)))
       a(b(a(x10675))) <-39|0[]- a(c(a(x10675))) -36|[]-> a(a(a(x10675)))
       b(a(x)) <-39|[]- c(a(x)) -37|[]-> c(b(x))
       b(a(x)) <-39|[]- c(a(x)) -38|[]-> b(c(x))
       a(b(a(x10678))) <-39|0[]- a(c(a(x10678))) -42|[]-> b(a(a(x10678)))
       b(b(a(x10679))) <-39|0[]- b(c(a(x10679))) -48|[]-> c(a(a(x10679)))
       c(b(a(x10680))) <-39|0[]- c(c(a(x10680))) -51|[]-> c(b(a(x10680)))
       c(b(a(x10681))) <-39|0[]- c(c(a(x10681))) -52|[]-> b(c(a(x10681)))
       c(b(a(x10682))) <-39|0[]- c(c(a(x10682))) -53|[]-> b(a(a(x10682)))
       a(b(a(x10683))) <-40|0[]- a(c(b(x10683))) -4|[]-> c(b(b(x10683)))
       a(b(a(x10684))) <-40|0[]- a(c(b(x10684))) -5|[]-> c(c(b(x10684)))
       b(b(a(x10685))) <-40|0[]- b(c(b(x10685))) -11|[]-> a(a(b(x10685)))
       b(b(a(x10686))) <-40|0[]- b(c(b(x10686))) -12|[]-> c(b(b(x10686)))
       c(b(a(x10687))) <-40|0[]- c(c(b(x10687))) -15|[]-> a(c(b(x10687)))
       c(b(a(x10688))) <-40|0[]- c(c(b(x10688))) -16|[]-> c(a(b(x10688)))
       a(b(a(x10689))) <-40|0[]- a(c(b(x10689))) -18|[]-> c(a(b(x10689)))
       b(a(x)) <-40|[]- c(b(x)) -20|[]-> b(c(x))
       b(a(x)) <-40|[]- c(b(x)) -21|[]-> a(c(x))
       a(b(a(x10692))) <-40|0[]- a(c(b(x10692))) -22|[]-> b(c(b(x10692)))
       b(a(x)) <-40|[]- c(b(x)) -23|[]-> c(c(x))
       b(b(a(x10694))) <-40|0[]- b(c(b(x10694))) -26|[]-> b(a(b(x10694)))
       b(b(a(x10695))) <-40|0[]- b(c(b(x10695))) -28|[]-> a(c(b(x10695)))
       c(b(a(x10696))) <-40|0[]- c(c(b(x10696))) -30|[]-> a(a(b(x10696)))
       c(b(a(x10697))) <-40|0[]- c(c(b(x10697))) -32|[]-> b(b(b(x10697)))
       a(b(a(x10698))) <-40|0[]- a(c(b(x10698))) -36|[]-> a(a(b(x10698)))
       b(a(x)) <-40|[]- c(b(x)) -41|[]-> c(a(x))
       a(b(a(x10700))) <-40|0[]- a(c(b(x10700))) -42|[]-> b(a(b(x10700)))
       b(a(x)) <-40|[]- c(b(x)) -43|[]-> a(a(x))
       b(a(x)) <-40|[]- c(b(x)) -44|[]-> b(b(x))
       b(b(a(x10703))) <-40|0[]- b(c(b(x10703))) -48|[]-> c(a(b(x10703)))
       c(b(a(x10704))) <-40|0[]- c(c(b(x10704))) -51|[]-> c(b(b(x10704)))
       c(b(a(x10705))) <-40|0[]- c(c(b(x10705))) -52|[]-> b(c(b(x10705)))
       c(b(a(x10706))) <-40|0[]- c(c(b(x10706))) -53|[]-> b(a(b(x10706)))
       a(c(a(x10707))) <-41|0[]- a(c(b(x10707))) -4|[]-> c(b(b(x10707)))
       a(c(a(x10708))) <-41|0[]- a(c(b(x10708))) -5|[]-> c(c(b(x10708)))
       b(c(a(x10709))) <-41|0[]- b(c(b(x10709))) -11|[]-> a(a(b(x10709)))
       b(c(a(x10710))) <-41|0[]- b(c(b(x10710))) -12|[]-> c(b(b(x10710)))
       c(c(a(x10711))) <-41|0[]- c(c(b(x10711))) -15|[]-> a(c(b(x10711)))
       c(c(a(x10712))) <-41|0[]- c(c(b(x10712))) -16|[]-> c(a(b(x10712)))
       a(c(a(x10713))) <-41|0[]- a(c(b(x10713))) -18|[]-> c(a(b(x10713)))
       c(a(x)) <-41|[]- c(b(x)) -20|[]-> b(c(x))
       c(a(x)) <-41|[]- c(b(x)) -21|[]-> a(c(x))
       a(c(a(x10716))) <-41|0[]- a(c(b(x10716))) -22|[]-> b(c(b(x10716)))
       c(a(x)) <-41|[]- c(b(x)) -23|[]-> c(c(x))
       b(c(a(x10718))) <-41|0[]- b(c(b(x10718))) -26|[]-> b(a(b(x10718)))
       b(c(a(x10719))) <-41|0[]- b(c(b(x10719))) -28|[]-> a(c(b(x10719)))
       c(c(a(x10720))) <-41|0[]- c(c(b(x10720))) -30|[]-> a(a(b(x10720)))
       c(c(a(x10721))) <-41|0[]- c(c(b(x10721))) -32|[]-> b(b(b(x10721)))
       a(c(a(x10722))) <-41|0[]- a(c(b(x10722))) -36|[]-> a(a(b(x10722)))
       c(a(x)) <-41|[]- c(b(x)) -40|[]-> b(a(x))
       a(c(a(x10724))) <-41|0[]- a(c(b(x10724))) -42|[]-> b(a(b(x10724)))
       c(a(x)) <-41|[]- c(b(x)) -43|[]-> a(a(x))
       c(a(x)) <-41|[]- c(b(x)) -44|[]-> b(b(x))
       b(c(a(x10727))) <-41|0[]- b(c(b(x10727))) -48|[]-> c(a(b(x10727)))
       c(c(a(x10728))) <-41|0[]- c(c(b(x10728))) -51|[]-> c(b(b(x10728)))
       c(c(a(x10729))) <-41|0[]- c(c(b(x10729))) -52|[]-> b(c(b(x10729)))
       c(c(a(x10730))) <-41|0[]- c(c(b(x10730))) -53|[]-> b(a(b(x10730)))
       b(a(x)) <-42|[]- a(c(x)) -4|[]-> c(b(x))
       b(a(x)) <-42|[]- a(c(x)) -5|[]-> c(c(x))
       c(b(a(x10733))) <-42|0[]- c(a(c(x10733))) -6|[]-> c(c(c(x10733)))
       c(b(a(x10734))) <-42|0[]- c(a(c(x10734))) -7|[]-> b(b(c(x10734)))
       c(b(a(x10735))) <-42|0[]- c(a(c(x10735))) -8|[]-> a(c(c(x10735)))
       a(b(a(x10736))) <-42|0[]- a(a(c(x10736))) -9|[]-> c(a(c(x10736)))
       a(b(a(x10737))) <-42|0[]- a(a(c(x10737))) -10|[]-> b(b(c(x10737)))
       b(a(x)) <-42|[]- a(c(x)) -18|[]-> c(a(x))
       c(b(a(x10739))) <-42|0[]- c(a(c(x10739))) -19|[]-> a(a(c(x10739)))
       b(a(x)) <-42|[]- a(c(x)) -22|[]-> b(c(x))
       a(b(a(x10741))) <-42|0[]- a(a(c(x10741))) -25|[]-> c(b(c(x10741)))
       a(b(a(x10742))) <-42|0[]- a(a(c(x10742))) -27|[]-> b(c(c(x10742)))
       a(b(a(x10743))) <-42|0[]- a(a(c(x10743))) -31|[]-> b(a(c(x10743)))
       b(a(x)) <-42|[]- a(c(x)) -36|[]-> a(a(x))
       c(b(a(x10745))) <-42|0[]- c(a(c(x10745))) -37|[]-> c(b(c(x10745)))
       c(b(a(x10746))) <-42|0[]- c(a(c(x10746))) -38|[]-> b(c(c(x10746)))
       c(b(a(x10747))) <-42|0[]- c(a(c(x10747))) -39|[]-> b(a(c(x10747)))
       a(b(a(x10748))) <-42|0[]- a(a(c(x10748))) -46|[]-> a(c(c(x10748)))
       a(b(a(x10749))) <-42|0[]- a(a(c(x10749))) -47|[]-> c(c(c(x10749)))
       a(a(a(x10750))) <-43|0[]- a(c(b(x10750))) -4|[]-> c(b(b(x10750)))
       a(a(a(x10751))) <-43|0[]- a(c(b(x10751))) -5|[]-> c(c(b(x10751)))
       b(a(a(x10752))) <-43|0[]- b(c(b(x10752))) -11|[]-> a(a(b(x10752)))
       b(a(a(x10753))) <-43|0[]- b(c(b(x10753))) -12|[]-> c(b(b(x10753)))
       c(a(a(x10754))) <-43|0[]- c(c(b(x10754))) -15|[]-> a(c(b(x10754)))
       c(a(a(x10755))) <-43|0[]- c(c(b(x10755))) -16|[]-> c(a(b(x10755)))
       a(a(a(x10756))) <-43|0[]- a(c(b(x10756))) -18|[]-> c(a(b(x10756)))
       a(a(x)) <-43|[]- c(b(x)) -20|[]-> b(c(x))
       a(a(x)) <-43|[]- c(b(x)) -21|[]-> a(c(x))
       a(a(a(x10759))) <-43|0[]- a(c(b(x10759))) -22|[]-> b(c(b(x10759)))
       a(a(x)) <-43|[]- c(b(x)) -23|[]-> c(c(x))
       b(a(a(x10761))) <-43|0[]- b(c(b(x10761))) -26|[]-> b(a(b(x10761)))
       b(a(a(x10762))) <-43|0[]- b(c(b(x10762))) -28|[]-> a(c(b(x10762)))
       c(a(a(x10763))) <-43|0[]- c(c(b(x10763))) -30|[]-> a(a(b(x10763)))
       c(a(a(x10764))) <-43|0[]- c(c(b(x10764))) -32|[]-> b(b(b(x10764)))
       a(a(a(x10765))) <-43|0[]- a(c(b(x10765))) -36|[]-> a(a(b(x10765)))
       a(a(x)) <-43|[]- c(b(x)) -40|[]-> b(a(x))
       a(a(x)) <-43|[]- c(b(x)) -41|[]-> c(a(x))
       a(a(a(x10768))) <-43|0[]- a(c(b(x10768))) -42|[]-> b(a(b(x10768)))
       a(a(x)) <-43|[]- c(b(x)) -44|[]-> b(b(x))
       b(a(a(x10770))) <-43|0[]- b(c(b(x10770))) -48|[]-> c(a(b(x10770)))
       c(a(a(x10771))) <-43|0[]- c(c(b(x10771))) -51|[]-> c(b(b(x10771)))
       c(a(a(x10772))) <-43|0[]- c(c(b(x10772))) -52|[]-> b(c(b(x10772)))
       c(a(a(x10773))) <-43|0[]- c(c(b(x10773))) -53|[]-> b(a(b(x10773)))
       a(b(b(x10774))) <-44|0[]- a(c(b(x10774))) -4|[]-> c(b(b(x10774)))
       a(b(b(x10775))) <-44|0[]- a(c(b(x10775))) -5|[]-> c(c(b(x10775)))
       b(b(b(x10776))) <-44|0[]- b(c(b(x10776))) -11|[]-> a(a(b(x10776)))
       b(b(b(x10777))) <-44|0[]- b(c(b(x10777))) -12|[]-> c(b(b(x10777)))
       c(b(b(x10778))) <-44|0[]- c(c(b(x10778))) -15|[]-> a(c(b(x10778)))
       c(b(b(x10779))) <-44|0[]- c(c(b(x10779))) -16|[]-> c(a(b(x10779)))
       a(b(b(x10780))) <-44|0[]- a(c(b(x10780))) -18|[]-> c(a(b(x10780)))
       b(b(x)) <-44|[]- c(b(x)) -20|[]-> b(c(x))
       b(b(x)) <-44|[]- c(b(x)) -21|[]-> a(c(x))
       a(b(b(x10783))) <-44|0[]- a(c(b(x10783))) -22|[]-> b(c(b(x10783)))
       b(b(x)) <-44|[]- c(b(x)) -23|[]-> c(c(x))
       b(b(b(x10785))) <-44|0[]- b(c(b(x10785))) -26|[]-> b(a(b(x10785)))
       b(b(b(x10786))) <-44|0[]- b(c(b(x10786))) -28|[]-> a(c(b(x10786)))
       c(b(b(x10787))) <-44|0[]- c(c(b(x10787))) -30|[]-> a(a(b(x10787)))
       c(b(b(x10788))) <-44|0[]- c(c(b(x10788))) -32|[]-> b(b(b(x10788)))
       a(b(b(x10789))) <-44|0[]- a(c(b(x10789))) -36|[]-> a(a(b(x10789)))
       b(b(x)) <-44|[]- c(b(x)) -40|[]-> b(a(x))
       b(b(x)) <-44|[]- c(b(x)) -41|[]-> c(a(x))
       a(b(b(x10792))) <-44|0[]- a(c(b(x10792))) -42|[]-> b(a(b(x10792)))
       b(b(x)) <-44|[]- c(b(x)) -43|[]-> a(a(x))
       b(b(b(x10794))) <-44|0[]- b(c(b(x10794))) -48|[]-> c(a(b(x10794)))
       c(b(b(x10795))) <-44|0[]- c(c(b(x10795))) -51|[]-> c(b(b(x10795)))
       c(b(b(x10796))) <-44|0[]- c(c(b(x10796))) -52|[]-> b(c(b(x10796)))
       c(b(b(x10797))) <-44|0[]- c(c(b(x10797))) -53|[]-> b(a(b(x10797)))
       a(a(a(x10798))) <-45|0[]- a(b(b(x10798))) -0|[]-> c(c(b(x10798)))
       a(a(a(x10799))) <-45|0[]- a(b(b(x10799))) -1|[]-> b(b(b(x10799)))
       a(a(a(x10800))) <-45|0[]- a(b(b(x10800))) -2|[]-> a(c(b(x10800)))
       a(a(a(x10801))) <-45|0[]- a(b(b(x10801))) -3|[]-> c(a(b(x10801)))
       a(a(x)) <-45|[]- b(b(x)) -13|[]-> c(a(x))
       b(a(a(x10803))) <-45|0[]- b(b(b(x10803))) -13|[]-> c(a(b(x10803)))
       a(a(x)) <-45|[]- b(b(x)) -14|[]-> b(a(x))
       b(a(a(x10805))) <-45|0[]- b(b(b(x10805))) -14|[]-> b(a(b(x10805)))
       a(a(a(x10806))) <-45|0[]- a(b(b(x10806))) -17|[]-> a(a(b(x10806)))
       c(a(a(x10807))) <-45|0[]- c(b(b(x10807))) -20|[]-> b(c(b(x10807)))
       c(a(a(x10808))) <-45|0[]- c(b(b(x10808))) -21|[]-> a(c(b(x10808)))
       c(a(a(x10809))) <-45|0[]- c(b(b(x10809))) -23|[]-> c(c(b(x10809)))
       a(a(x)) <-45|[]- b(b(x)) -24|[]-> c(c(x))
       b(a(a(x10811))) <-45|0[]- b(b(b(x10811))) -24|[]-> c(c(b(x10811)))
       a(a(x)) <-45|[]- b(b(x)) -29|[]-> c(b(x))
       b(a(a(x10813))) <-45|0[]- b(b(b(x10813))) -29|[]-> c(b(b(x10813)))
       a(a(a(x10814))) <-45|0[]- a(b(b(x10814))) -33|[]-> c(b(b(x10814)))
       a(a(a(x10815))) <-45|0[]- a(b(b(x10815))) -34|[]-> b(c(b(x10815)))
       a(a(a(x10816))) <-45|0[]- a(b(b(x10816))) -35|[]-> b(a(b(x10816)))
       c(a(a(x10817))) <-45|0[]- c(b(b(x10817))) -40|[]-> b(a(b(x10817)))
       c(a(a(x10818))) <-45|0[]- c(b(b(x10818))) -41|[]-> c(a(b(x10818)))
       c(a(a(x10819))) <-45|0[]- c(b(b(x10819))) -43|[]-> a(a(b(x10819)))
       c(a(a(x10820))) <-45|0[]- c(b(b(x10820))) -44|[]-> b(b(b(x10820)))
       b(a(a(x10821))) <-45|0[]- b(b(b(x10821))) -45|[]-> a(a(b(x10821)))
       a(a(x)) <-45|[]- b(b(x)) -49|[]-> b(c(x))
       b(a(a(x10823))) <-45|0[]- b(b(b(x10823))) -49|[]-> b(c(b(x10823)))
       a(a(x)) <-45|[]- b(b(x)) -50|[]-> a(c(x))
       b(a(a(x10825))) <-45|0[]- b(b(b(x10825))) -50|[]-> a(c(b(x10825)))
       c(a(c(x10826))) <-46|0[]- c(a(a(x10826))) -6|[]-> c(c(a(x10826)))
       c(a(c(x10827))) <-46|0[]- c(a(a(x10827))) -7|[]-> b(b(a(x10827)))
       c(a(c(x10828))) <-46|0[]- c(a(a(x10828))) -8|[]-> a(c(a(x10828)))
       a(c(x)) <-46|[]- a(a(x)) -9|[]-> c(a(x))
       a(a(c(x10830))) <-46|0[]- a(a(a(x10830))) -9|[]-> c(a(a(x10830)))
       a(c(x)) <-46|[]- a(a(x)) -10|[]-> b(b(x))
       a(a(c(x10832))) <-46|0[]- a(a(a(x10832))) -10|[]-> b(b(a(x10832)))
       c(a(c(x10833))) <-46|0[]- c(a(a(x10833))) -19|[]-> a(a(a(x10833)))
       a(c(x)) <-46|[]- a(a(x)) -25|[]-> c(b(x))
       a(a(c(x10835))) <-46|0[]- a(a(a(x10835))) -25|[]-> c(b(a(x10835)))
       a(c(x)) <-46|[]- a(a(x)) -27|[]-> b(c(x))
       a(a(c(x10837))) <-46|0[]- a(a(a(x10837))) -27|[]-> b(c(a(x10837)))
       a(c(x)) <-46|[]- a(a(x)) -31|[]-> b(a(x))
       a(a(c(x10839))) <-46|0[]- a(a(a(x10839))) -31|[]-> b(a(a(x10839)))
       c(a(c(x10840))) <-46|0[]- c(a(a(x10840))) -37|[]-> c(b(a(x10840)))
       c(a(c(x10841))) <-46|0[]- c(a(a(x10841))) -38|[]-> b(c(a(x10841)))
       c(a(c(x10842))) <-46|0[]- c(a(a(x10842))) -39|[]-> b(a(a(x10842)))
       a(a(c(x10843))) <-46|0[]- a(a(a(x10843))) -46|[]-> a(c(a(x10843)))
       a(c(x)) <-46|[]- a(a(x)) -47|[]-> c(c(x))
       a(a(c(x10845))) <-46|0[]- a(a(a(x10845))) -47|[]-> c(c(a(x10845)))
       c(c(c(x10846))) <-47|0[]- c(a(a(x10846))) -6|[]-> c(c(a(x10846)))
       c(c(c(x10847))) <-47|0[]- c(a(a(x10847))) -7|[]-> b(b(a(x10847)))
       c(c(c(x10848))) <-47|0[]- c(a(a(x10848))) -8|[]-> a(c(a(x10848)))
       c(c(x)) <-47|[]- a(a(x)) -9|[]-> c(a(x))
       a(c(c(x10850))) <-47|0[]- a(a(a(x10850))) -9|[]-> c(a(a(x10850)))
       c(c(x)) <-47|[]- a(a(x)) -10|[]-> b(b(x))
       a(c(c(x10852))) <-47|0[]- a(a(a(x10852))) -10|[]-> b(b(a(x10852)))
       c(c(c(x10853))) <-47|0[]- c(a(a(x10853))) -19|[]-> a(a(a(x10853)))
       c(c(x)) <-47|[]- a(a(x)) -25|[]-> c(b(x))
       a(c(c(x10855))) <-47|0[]- a(a(a(x10855))) -25|[]-> c(b(a(x10855)))
       c(c(x)) <-47|[]- a(a(x)) -27|[]-> b(c(x))
       a(c(c(x10857))) <-47|0[]- a(a(a(x10857))) -27|[]-> b(c(a(x10857)))
       c(c(x)) <-47|[]- a(a(x)) -31|[]-> b(a(x))
       a(c(c(x10859))) <-47|0[]- a(a(a(x10859))) -31|[]-> b(a(a(x10859)))
       c(c(c(x10860))) <-47|0[]- c(a(a(x10860))) -37|[]-> c(b(a(x10860)))
       c(c(c(x10861))) <-47|0[]- c(a(a(x10861))) -38|[]-> b(c(a(x10861)))
       c(c(c(x10862))) <-47|0[]- c(a(a(x10862))) -39|[]-> b(a(a(x10862)))
       c(c(x)) <-47|[]- a(a(x)) -46|[]-> a(c(x))
       a(c(c(x10864))) <-47|0[]- a(a(a(x10864))) -46|[]-> a(c(a(x10864)))
       a(c(c(x10865))) <-47|0[]- a(a(a(x10865))) -47|[]-> c(c(a(x10865)))
       a(c(a(x10866))) <-48|0[]- a(b(c(x10866))) -0|[]-> c(c(c(x10866)))
       a(c(a(x10867))) <-48|0[]- a(b(c(x10867))) -1|[]-> b(b(c(x10867)))
       a(c(a(x10868))) <-48|0[]- a(b(c(x10868))) -2|[]-> a(c(c(x10868)))
       a(c(a(x10869))) <-48|0[]- a(b(c(x10869))) -3|[]-> c(a(c(x10869)))
       c(a(x)) <-48|[]- b(c(x)) -11|[]-> a(a(x))
       c(a(x)) <-48|[]- b(c(x)) -12|[]-> c(b(x))
       b(c(a(x10872))) <-48|0[]- b(b(c(x10872))) -13|[]-> c(a(c(x10872)))
       b(c(a(x10873))) <-48|0[]- b(b(c(x10873))) -14|[]-> b(a(c(x10873)))
       a(c(a(x10874))) <-48|0[]- a(b(c(x10874))) -17|[]-> a(a(c(x10874)))
       c(c(a(x10875))) <-48|0[]- c(b(c(x10875))) -20|[]-> b(c(c(x10875)))
       c(c(a(x10876))) <-48|0[]- c(b(c(x10876))) -21|[]-> a(c(c(x10876)))
       c(c(a(x10877))) <-48|0[]- c(b(c(x10877))) -23|[]-> c(c(c(x10877)))
       b(c(a(x10878))) <-48|0[]- b(b(c(x10878))) -24|[]-> c(c(c(x10878)))
       c(a(x)) <-48|[]- b(c(x)) -26|[]-> b(a(x))
       c(a(x)) <-48|[]- b(c(x)) -28|[]-> a(c(x))
       b(c(a(x10881))) <-48|0[]- b(b(c(x10881))) -29|[]-> c(b(c(x10881)))
       a(c(a(x10882))) <-48|0[]- a(b(c(x10882))) -33|[]-> c(b(c(x10882)))
       a(c(a(x10883))) <-48|0[]- a(b(c(x10883))) -34|[]-> b(c(c(x10883)))
       a(c(a(x10884))) <-48|0[]- a(b(c(x10884))) -35|[]-> b(a(c(x10884)))
       c(c(a(x10885))) <-48|0[]- c(b(c(x10885))) -40|[]-> b(a(c(x10885)))
       c(c(a(x10886))) <-48|0[]- c(b(c(x10886))) -41|[]-> c(a(c(x10886)))
       c(c(a(x10887))) <-48|0[]- c(b(c(x10887))) -43|[]-> a(a(c(x10887)))
       c(c(a(x10888))) <-48|0[]- c(b(c(x10888))) -44|[]-> b(b(c(x10888)))
       b(c(a(x10889))) <-48|0[]- b(b(c(x10889))) -45|[]-> a(a(c(x10889)))
       b(c(a(x10890))) <-48|0[]- b(b(c(x10890))) -49|[]-> b(c(c(x10890)))
       b(c(a(x10891))) <-48|0[]- b(b(c(x10891))) -50|[]-> a(c(c(x10891)))
       a(b(c(x10892))) <-49|0[]- a(b(b(x10892))) -0|[]-> c(c(b(x10892)))
       a(b(c(x10893))) <-49|0[]- a(b(b(x10893))) -1|[]-> b(b(b(x10893)))
       a(b(c(x10894))) <-49|0[]- a(b(b(x10894))) -2|[]-> a(c(b(x10894)))
       a(b(c(x10895))) <-49|0[]- a(b(b(x10895))) -3|[]-> c(a(b(x10895)))
       b(c(x)) <-49|[]- b(b(x)) -13|[]-> c(a(x))
       b(b(c(x10897))) <-49|0[]- b(b(b(x10897))) -13|[]-> c(a(b(x10897)))
       b(c(x)) <-49|[]- b(b(x)) -14|[]-> b(a(x))
       b(b(c(x10899))) <-49|0[]- b(b(b(x10899))) -14|[]-> b(a(b(x10899)))
       a(b(c(x10900))) <-49|0[]- a(b(b(x10900))) -17|[]-> a(a(b(x10900)))
       c(b(c(x10901))) <-49|0[]- c(b(b(x10901))) -20|[]-> b(c(b(x10901)))
       c(b(c(x10902))) <-49|0[]- c(b(b(x10902))) -21|[]-> a(c(b(x10902)))
       c(b(c(x10903))) <-49|0[]- c(b(b(x10903))) -23|[]-> c(c(b(x10903)))
       b(c(x)) <-49|[]- b(b(x)) -24|[]-> c(c(x))
       b(b(c(x10905))) <-49|0[]- b(b(b(x10905))) -24|[]-> c(c(b(x10905)))
       b(c(x)) <-49|[]- b(b(x)) -29|[]-> c(b(x))
       b(b(c(x10907))) <-49|0[]- b(b(b(x10907))) -29|[]-> c(b(b(x10907)))
       a(b(c(x10908))) <-49|0[]- a(b(b(x10908))) -33|[]-> c(b(b(x10908)))
       a(b(c(x10909))) <-49|0[]- a(b(b(x10909))) -34|[]-> b(c(b(x10909)))
       a(b(c(x10910))) <-49|0[]- a(b(b(x10910))) -35|[]-> b(a(b(x10910)))
       c(b(c(x10911))) <-49|0[]- c(b(b(x10911))) -40|[]-> b(a(b(x10911)))
       c(b(c(x10912))) <-49|0[]- c(b(b(x10912))) -41|[]-> c(a(b(x10912)))
       c(b(c(x10913))) <-49|0[]- c(b(b(x10913))) -43|[]-> a(a(b(x10913)))
       c(b(c(x10914))) <-49|0[]- c(b(b(x10914))) -44|[]-> b(b(b(x10914)))
       b(c(x)) <-49|[]- b(b(x)) -45|[]-> a(a(x))
       b(b(c(x10916))) <-49|0[]- b(b(b(x10916))) -45|[]-> a(a(b(x10916)))
       b(b(c(x10917))) <-49|0[]- b(b(b(x10917))) -49|[]-> b(c(b(x10917)))
       b(c(x)) <-49|[]- b(b(x)) -50|[]-> a(c(x))
       b(b(c(x10919))) <-49|0[]- b(b(b(x10919))) -50|[]-> a(c(b(x10919)))
       a(a(c(x10920))) <-50|0[]- a(b(b(x10920))) -0|[]-> c(c(b(x10920)))
       a(a(c(x10921))) <-50|0[]- a(b(b(x10921))) -1|[]-> b(b(b(x10921)))
       a(a(c(x10922))) <-50|0[]- a(b(b(x10922))) -2|[]-> a(c(b(x10922)))
       a(a(c(x10923))) <-50|0[]- a(b(b(x10923))) -3|[]-> c(a(b(x10923)))
       a(c(x)) <-50|[]- b(b(x)) -13|[]-> c(a(x))
       b(a(c(x10925))) <-50|0[]- b(b(b(x10925))) -13|[]-> c(a(b(x10925)))
       a(c(x)) <-50|[]- b(b(x)) -14|[]-> b(a(x))
       b(a(c(x10927))) <-50|0[]- b(b(b(x10927))) -14|[]-> b(a(b(x10927)))
       a(a(c(x10928))) <-50|0[]- a(b(b(x10928))) -17|[]-> a(a(b(x10928)))
       c(a(c(x10929))) <-50|0[]- c(b(b(x10929))) -20|[]-> b(c(b(x10929)))
       c(a(c(x10930))) <-50|0[]- c(b(b(x10930))) -21|[]-> a(c(b(x10930)))
       c(a(c(x10931))) <-50|0[]- c(b(b(x10931))) -23|[]-> c(c(b(x10931)))
       a(c(x)) <-50|[]- b(b(x)) -24|[]-> c(c(x))
       b(a(c(x10933))) <-50|0[]- b(b(b(x10933))) -24|[]-> c(c(b(x10933)))
       a(c(x)) <-50|[]- b(b(x)) -29|[]-> c(b(x))
       b(a(c(x10935))) <-50|0[]- b(b(b(x10935))) -29|[]-> c(b(b(x10935)))
       a(a(c(x10936))) <-50|0[]- a(b(b(x10936))) -33|[]-> c(b(b(x10936)))
       a(a(c(x10937))) <-50|0[]- a(b(b(x10937))) -34|[]-> b(c(b(x10937)))
       a(a(c(x10938))) <-50|0[]- a(b(b(x10938))) -35|[]-> b(a(b(x10938)))
       c(a(c(x10939))) <-50|0[]- c(b(b(x10939))) -40|[]-> b(a(b(x10939)))
       c(a(c(x10940))) <-50|0[]- c(b(b(x10940))) -41|[]-> c(a(b(x10940)))
       c(a(c(x10941))) <-50|0[]- c(b(b(x10941))) -43|[]-> a(a(b(x10941)))
       c(a(c(x10942))) <-50|0[]- c(b(b(x10942))) -44|[]-> b(b(b(x10942)))
       a(c(x)) <-50|[]- b(b(x)) -45|[]-> a(a(x))
       b(a(c(x10944))) <-50|0[]- b(b(b(x10944))) -45|[]-> a(a(b(x10944)))
       a(c(x)) <-50|[]- b(b(x)) -49|[]-> b(c(x))
       b(a(c(x10946))) <-50|0[]- b(b(b(x10946))) -49|[]-> b(c(b(x10946)))
       b(a(c(x10947))) <-50|0[]- b(b(b(x10947))) -50|[]-> a(c(b(x10947)))
       a(c(b(x10948))) <-51|0[]- a(c(c(x10948))) -4|[]-> c(b(c(x10948)))
       a(c(b(x10949))) <-51|0[]- a(c(c(x10949))) -5|[]-> c(c(c(x10949)))
       b(c(b(x10950))) <-51|0[]- b(c(c(x10950))) -11|[]-> a(a(c(x10950)))
       b(c(b(x10951))) <-51|0[]- b(c(c(x10951))) -12|[]-> c(b(c(x10951)))
       c(b(x)) <-51|[]- c(c(x)) -15|[]-> a(c(x))
       c(c(b(x10953))) <-51|0[]- c(c(c(x10953))) -15|[]-> a(c(c(x10953)))
       c(b(x)) <-51|[]- c(c(x)) -16|[]-> c(a(x))
       c(c(b(x10955))) <-51|0[]- c(c(c(x10955))) -16|[]-> c(a(c(x10955)))
       a(c(b(x10956))) <-51|0[]- a(c(c(x10956))) -18|[]-> c(a(c(x10956)))
       a(c(b(x10957))) <-51|0[]- a(c(c(x10957))) -22|[]-> b(c(c(x10957)))
       b(c(b(x10958))) <-51|0[]- b(c(c(x10958))) -26|[]-> b(a(c(x10958)))
       b(c(b(x10959))) <-51|0[]- b(c(c(x10959))) -28|[]-> a(c(c(x10959)))
       c(b(x)) <-51|[]- c(c(x)) -30|[]-> a(a(x))
       c(c(b(x10961))) <-51|0[]- c(c(c(x10961))) -30|[]-> a(a(c(x10961)))
       c(b(x)) <-51|[]- c(c(x)) -32|[]-> b(b(x))
       c(c(b(x10963))) <-51|0[]- c(c(c(x10963))) -32|[]-> b(b(c(x10963)))
       a(c(b(x10964))) <-51|0[]- a(c(c(x10964))) -36|[]-> a(a(c(x10964)))
       a(c(b(x10965))) <-51|0[]- a(c(c(x10965))) -42|[]-> b(a(c(x10965)))
       b(c(b(x10966))) <-51|0[]- b(c(c(x10966))) -48|[]-> c(a(c(x10966)))
       c(c(b(x10967))) <-51|0[]- c(c(c(x10967))) -51|[]-> c(b(c(x10967)))
       c(b(x)) <-51|[]- c(c(x)) -52|[]-> b(c(x))
       c(c(b(x10969))) <-51|0[]- c(c(c(x10969))) -52|[]-> b(c(c(x10969)))
       c(b(x)) <-51|[]- c(c(x)) -53|[]-> b(a(x))
       c(c(b(x10971))) <-51|0[]- c(c(c(x10971))) -53|[]-> b(a(c(x10971)))
       a(b(c(x10972))) <-52|0[]- a(c(c(x10972))) -4|[]-> c(b(c(x10972)))
       a(b(c(x10973))) <-52|0[]- a(c(c(x10973))) -5|[]-> c(c(c(x10973)))
       b(b(c(x10974))) <-52|0[]- b(c(c(x10974))) -11|[]-> a(a(c(x10974)))
       b(b(c(x10975))) <-52|0[]- b(c(c(x10975))) -12|[]-> c(b(c(x10975)))
       b(c(x)) <-52|[]- c(c(x)) -15|[]-> a(c(x))
       c(b(c(x10977))) <-52|0[]- c(c(c(x10977))) -15|[]-> a(c(c(x10977)))
       b(c(x)) <-52|[]- c(c(x)) -16|[]-> c(a(x))
       c(b(c(x10979))) <-52|0[]- c(c(c(x10979))) -16|[]-> c(a(c(x10979)))
       a(b(c(x10980))) <-52|0[]- a(c(c(x10980))) -18|[]-> c(a(c(x10980)))
       a(b(c(x10981))) <-52|0[]- a(c(c(x10981))) -22|[]-> b(c(c(x10981)))
       b(b(c(x10982))) <-52|0[]- b(c(c(x10982))) -26|[]-> b(a(c(x10982)))
       b(b(c(x10983))) <-52|0[]- b(c(c(x10983))) -28|[]-> a(c(c(x10983)))
       b(c(x)) <-52|[]- c(c(x)) -30|[]-> a(a(x))
       c(b(c(x10985))) <-52|0[]- c(c(c(x10985))) -30|[]-> a(a(c(x10985)))
       b(c(x)) <-52|[]- c(c(x)) -32|[]-> b(b(x))
       c(b(c(x10987))) <-52|0[]- c(c(c(x10987))) -32|[]-> b(b(c(x10987)))
       a(b(c(x10988))) <-52|0[]- a(c(c(x10988))) -36|[]-> a(a(c(x10988)))
       a(b(c(x10989))) <-52|0[]- a(c(c(x10989))) -42|[]-> b(a(c(x10989)))
       b(b(c(x10990))) <-52|0[]- b(c(c(x10990))) -48|[]-> c(a(c(x10990)))
       b(c(x)) <-52|[]- c(c(x)) -51|[]-> c(b(x))
       c(b(c(x10992))) <-52|0[]- c(c(c(x10992))) -51|[]-> c(b(c(x10992)))
       c(b(c(x10993))) <-52|0[]- c(c(c(x10993))) -52|[]-> b(c(c(x10993)))
       b(c(x)) <-52|[]- c(c(x)) -53|[]-> b(a(x))
       c(b(c(x10995))) <-52|0[]- c(c(c(x10995))) -53|[]-> b(a(c(x10995)))
       a(b(a(x10996))) <-53|0[]- a(c(c(x10996))) -4|[]-> c(b(c(x10996)))
       a(b(a(x10997))) <-53|0[]- a(c(c(x10997))) -5|[]-> c(c(c(x10997)))
       b(b(a(x10998))) <-53|0[]- b(c(c(x10998))) -11|[]-> a(a(c(x10998)))
       b(b(a(x10999))) <-53|0[]- b(c(c(x10999))) -12|[]-> c(b(c(x10999)))
       b(a(x)) <-53|[]- c(c(x)) -15|[]-> a(c(x))
       c(b(a(x11001))) <-53|0[]- c(c(c(x11001))) -15|[]-> a(c(c(x11001)))
       b(a(x)) <-53|[]- c(c(x)) -16|[]-> c(a(x))
       c(b(a(x11003))) <-53|0[]- c(c(c(x11003))) -16|[]-> c(a(c(x11003)))
       a(b(a(x11004))) <-53|0[]- a(c(c(x11004))) -18|[]-> c(a(c(x11004)))
       a(b(a(x11005))) <-53|0[]- a(c(c(x11005))) -22|[]-> b(c(c(x11005)))
       b(b(a(x11006))) <-53|0[]- b(c(c(x11006))) -26|[]-> b(a(c(x11006)))
       b(b(a(x11007))) <-53|0[]- b(c(c(x11007))) -28|[]-> a(c(c(x11007)))
       b(a(x)) <-53|[]- c(c(x)) -30|[]-> a(a(x))
       c(b(a(x11009))) <-53|0[]- c(c(c(x11009))) -30|[]-> a(a(c(x11009)))
       b(a(x)) <-53|[]- c(c(x)) -32|[]-> b(b(x))
       c(b(a(x11011))) <-53|0[]- c(c(c(x11011))) -32|[]-> b(b(c(x11011)))
       a(b(a(x11012))) <-53|0[]- a(c(c(x11012))) -36|[]-> a(a(c(x11012)))
       a(b(a(x11013))) <-53|0[]- a(c(c(x11013))) -42|[]-> b(a(c(x11013)))
       b(b(a(x11014))) <-53|0[]- b(c(c(x11014))) -48|[]-> c(a(c(x11014)))
       b(a(x)) <-53|[]- c(c(x)) -51|[]-> c(b(x))
       c(b(a(x11016))) <-53|0[]- c(c(c(x11016))) -51|[]-> c(b(c(x11016)))
       b(a(x)) <-53|[]- c(c(x)) -52|[]-> b(c(x))
       c(b(a(x11018))) <-53|0[]- c(c(c(x11018))) -52|[]-> b(c(c(x11018)))
       c(b(a(x11019))) <-53|0[]- c(c(c(x11019))) -53|[]-> b(a(c(x11019)))
      Closedness Processor (*strongly -- <=7 steps*):
       
       Qed