0 Prolog
↳1 PrologToDTProblemTransformerProof (⇐)
↳2 TRIPLES
↳3 TriplesToPiDPProof (⇐)
↳4 PiDP
↳5 DependencyGraphProof (⇔)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔)
↳9 PiDP
↳10 PiDPToQDPProof (⇔)
↳11 QDP
↳12 QDPSizeChangeProof (⇔)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔)
↳16 PiDP
↳17 PiDPToQDPProof (⇐)
↳18 QDP
↳19 QDPSizeChangeProof (⇔)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔)
↳23 PiDP
↳24 PiDPToQDPProof (⇔)
↳25 QDP
↳26 QDPSizeChangeProof (⇔)
↳27 YES
↳28 PiDP
↳29 PiDPToQDPProof (⇐)
↳30 QDP
↳31 Narrowing (⇐)
↳32 QDP
↳33 Narrowing (⇐)
↳34 QDP
↳35 Instantiation (⇔)
↳36 QDP
↳37 Instantiation (⇔)
↳38 QDP
↳39 Instantiation (⇔)
↳40 QDP
↳41 Instantiation (⇔)
↳42 QDP
↳43 Instantiation (⇔)
↳44 QDP
↳45 Instantiation (⇔)
↳46 QDP
↳47 Instantiation (⇔)
↳48 QDP
↳49 Instantiation (⇔)
↳50 QDP
↳51 Instantiation (⇔)
↳52 QDP
↳53 Instantiation (⇔)
↳54 QDP
↳55 Instantiation (⇔)
↳56 QDP
↳57 Instantiation (⇔)
↳58 QDP
↳59 Instantiation (⇔)
↳60 QDP
↳61 Instantiation (⇔)
↳62 QDP
↳63 Instantiation (⇔)
↳64 QDP
↳65 Instantiation (⇔)
↳66 QDP
↳67 Instantiation (⇔)
↳68 QDP
↳69 Instantiation (⇔)
↳70 QDP
↳71 Instantiation (⇔)
↳72 QDP
↳73 NonTerminationProof (⇔)
↳74 NO
REACH1_IN_GGGG(T44, T45, .(T46, T47), T12) → U4_GGGG(T44, T45, T46, T47, T12, member12_in_ggg(T44, T45, T47))
REACH1_IN_GGGG(T44, T45, .(T46, T47), T12) → MEMBER12_IN_GGG(T44, T45, T47)
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → U1_GGG(T77, T78, T79, T80, member12_in_ggg(T77, T78, T80))
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → MEMBER12_IN_GGG(T77, T78, T80)
REACH1_IN_GGGG(T99, T100, T101, T102) → U5_GGGG(T99, T100, T101, T102, member124_in_gag(T99, X90, T101))
REACH1_IN_GGGG(T99, T100, T101, T102) → MEMBER124_IN_GAG(T99, X90, T101)
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → U2_GAG(T128, X131, T129, T130, member124_in_gag(T128, X131, T130))
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → MEMBER124_IN_GAG(T128, X131, T130)
REACH1_IN_GGGG(T99, T100, T101, T102) → U6_GGGG(T99, T100, T101, T102, member1c24_in_gag(T99, T107, T101))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U7_GGGG(T99, T100, T101, T102, member34_in_gg(T107, T102))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → MEMBER34_IN_GG(T107, T102)
MEMBER34_IN_GG(T159, .(T160, T161)) → U3_GG(T159, T160, T161, member34_in_gg(T159, T161))
MEMBER34_IN_GG(T159, .(T160, T161)) → MEMBER34_IN_GG(T159, T161)
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U8_GGGG(T99, T100, T101, T102, T107, memberc34_in_gg(T107, T102))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → U9_GGGG(T99, T100, T101, T102, reach1_in_gggg(T107, T100, T101, .(T107, T102)))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
REACH1_IN_GGGG(T44, T45, .(T46, T47), T12) → U4_GGGG(T44, T45, T46, T47, T12, member12_in_ggg(T44, T45, T47))
REACH1_IN_GGGG(T44, T45, .(T46, T47), T12) → MEMBER12_IN_GGG(T44, T45, T47)
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → U1_GGG(T77, T78, T79, T80, member12_in_ggg(T77, T78, T80))
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → MEMBER12_IN_GGG(T77, T78, T80)
REACH1_IN_GGGG(T99, T100, T101, T102) → U5_GGGG(T99, T100, T101, T102, member124_in_gag(T99, X90, T101))
REACH1_IN_GGGG(T99, T100, T101, T102) → MEMBER124_IN_GAG(T99, X90, T101)
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → U2_GAG(T128, X131, T129, T130, member124_in_gag(T128, X131, T130))
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → MEMBER124_IN_GAG(T128, X131, T130)
REACH1_IN_GGGG(T99, T100, T101, T102) → U6_GGGG(T99, T100, T101, T102, member1c24_in_gag(T99, T107, T101))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U7_GGGG(T99, T100, T101, T102, member34_in_gg(T107, T102))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → MEMBER34_IN_GG(T107, T102)
MEMBER34_IN_GG(T159, .(T160, T161)) → U3_GG(T159, T160, T161, member34_in_gg(T159, T161))
MEMBER34_IN_GG(T159, .(T160, T161)) → MEMBER34_IN_GG(T159, T161)
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U8_GGGG(T99, T100, T101, T102, T107, memberc34_in_gg(T107, T102))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → U9_GGGG(T99, T100, T101, T102, reach1_in_gggg(T107, T100, T101, .(T107, T102)))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
MEMBER34_IN_GG(T159, .(T160, T161)) → MEMBER34_IN_GG(T159, T161)
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
MEMBER34_IN_GG(T159, .(T160, T161)) → MEMBER34_IN_GG(T159, T161)
MEMBER34_IN_GG(T159, .(T160, T161)) → MEMBER34_IN_GG(T159, T161)
From the DPs we obtained the following set of size-change graphs:
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → MEMBER124_IN_GAG(T128, X131, T130)
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
MEMBER124_IN_GAG(T128, X131, .(T129, T130)) → MEMBER124_IN_GAG(T128, X131, T130)
MEMBER124_IN_GAG(T128, .(T129, T130)) → MEMBER124_IN_GAG(T128, T130)
From the DPs we obtained the following set of size-change graphs:
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → MEMBER12_IN_GGG(T77, T78, T80)
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → MEMBER12_IN_GGG(T77, T78, T80)
MEMBER12_IN_GGG(T77, T78, .(T79, T80)) → MEMBER12_IN_GGG(T77, T78, T80)
From the DPs we obtained the following set of size-change graphs:
REACH1_IN_GGGG(T99, T100, T101, T102) → U6_GGGG(T99, T100, T101, T102, member1c24_in_gag(T99, T107, T101))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U8_GGGG(T99, T100, T101, T102, T107, memberc34_in_gg(T107, T102))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
member1c24_in_gag(T120, X117, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, X131, .(T129, T130)) → U12_gag(T128, X131, T129, T130, member1c24_in_gag(T128, X131, T130))
U12_gag(T128, X131, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
REACH1_IN_GGGG(T99, T100, T101, T102) → U6_GGGG(T99, T100, T101, T102, member1c24_in_gag(T99, T101))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U8_GGGG(T99, T100, T101, T102, T107, memberc34_in_gg(T107, T102))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3) → U6_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3, member1c24_out_gag(x0, x1, .(.(x0, .(x1, [])), x2)))
REACH1_IN_GGGG(x0, y1, .(x1, x2), y3) → U6_GGGG(x0, y1, .(x1, x2), y3, U12_gag(x0, x1, x2, member1c24_in_gag(x0, x2)))
U6_GGGG(T99, T100, T101, T102, member1c24_out_gag(T99, T107, T101)) → U8_GGGG(T99, T100, T101, T102, T107, memberc34_in_gg(T107, T102))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
REACH1_IN_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3) → U6_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3, member1c24_out_gag(x0, x1, .(.(x0, .(x1, [])), x2)))
REACH1_IN_GGGG(x0, y1, .(x1, x2), y3) → U6_GGGG(x0, y1, .(x1, x2), y3, U12_gag(x0, x1, x2, member1c24_in_gag(x0, x2)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(y0, y1, y2, .(x0, x1), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x0, x1), x0, memberc34_out_gg(x0, .(x0, x1)))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
U8_GGGG(T99, T100, T101, T102, T107, memberc34_out_gg(T107, T102)) → REACH1_IN_GGGG(T107, T100, T101, .(T107, T102))
REACH1_IN_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3) → U6_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3, member1c24_out_gag(x0, x1, .(.(x0, .(x1, [])), x2)))
REACH1_IN_GGGG(x0, y1, .(x1, x2), y3) → U6_GGGG(x0, y1, .(x1, x2), y3, U12_gag(x0, x1, x2, member1c24_in_gag(x0, x2)))
U6_GGGG(y0, y1, y2, .(x0, x1), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x0, x1), x0, memberc34_out_gg(x0, .(x0, x1)))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3) → U6_GGGG(x0, y1, .(.(x0, .(x1, [])), x2), y3, member1c24_out_gag(x0, x1, .(.(x0, .(x1, [])), x2)))
REACH1_IN_GGGG(x0, y1, .(x1, x2), y3) → U6_GGGG(x0, y1, .(x1, x2), y3, U12_gag(x0, x1, x2, member1c24_in_gag(x0, x2)))
U6_GGGG(y0, y1, y2, .(x0, x1), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x0, x1), x0, memberc34_out_gg(x0, .(x0, x1)))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(x0, y1, .(x1, x2), y3) → U6_GGGG(x0, y1, .(x1, x2), y3, U12_gag(x0, x1, x2, member1c24_in_gag(x0, x2)))
U6_GGGG(y0, y1, y2, .(x0, x1), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x0, x1), x0, memberc34_out_gg(x0, .(x0, x1)))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(y0, y1, y2, .(x0, x1), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x0, x1), x0, memberc34_out_gg(x0, .(x0, x1)))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(y0, y1, y2, .(x1, x2), member1c24_out_gag(y0, x0, y2)) → U8_GGGG(y0, y1, y2, .(x1, x2), x0, U17_gg(x0, x1, x2, memberc34_in_gg(x0, x2)))
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, z2, .(z3, z4), z3, memberc34_out_gg(z3, .(z3, z4))) → REACH1_IN_GGGG(z3, z1, z2, .(z3, .(z3, z4)))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, z2, .(z3, z4), z5, memberc34_out_gg(z5, .(z3, z4))) → REACH1_IN_GGGG(z5, z1, z2, .(z5, .(z3, z4)))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(.(z3, .(x2, [])), x3), .(z3, .(z3, z4)), member1c24_out_gag(z3, x2, .(.(z3, .(x2, [])), x3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), x3), .(z5, .(z3, z4)), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), x3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4))) → U6_GGGG(z3, z1, .(x2, x3), .(z3, .(z3, z4)), U12_gag(z3, x2, x3, member1c24_in_gag(z3, x3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4))) → U6_GGGG(z5, z1, .(x2, x3), .(z5, .(z3, z4)), U12_gag(z5, x2, x3, member1c24_in_gag(z5, x3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, U17_gg(z2, z0, .(z0, z4), memberc34_in_gg(z2, .(z0, z4))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, U17_gg(z2, z0, .(z4, z5), memberc34_in_gg(z2, .(z4, z5))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), z2, U17_gg(z2, z0, .(z4, .(z4, z5)), memberc34_in_gg(z2, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), z2, U17_gg(z2, z0, .(z4, .(z5, z6)), memberc34_in_gg(z2, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), x5, U17_gg(x5, z0, .(z0, z4), memberc34_in_gg(x5, .(z0, z4))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), z2, U17_gg(z2, z0, .(z4, .(z4, z5)), memberc34_in_gg(z2, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), z2, U17_gg(z2, z0, .(z4, .(z5, z6)), memberc34_in_gg(z2, .(z4, .(z5, z6)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), x5, U17_gg(x5, z0, .(z0, .(z0, z3)), memberc34_in_gg(x5, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), x5, U17_gg(x5, z0, .(z0, .(z3, z4)), memberc34_in_gg(x5, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), x5, U17_gg(x5, z0, .(z0, .(z0, z4)), memberc34_in_gg(x5, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), x5, U17_gg(x5, z0, .(z0, .(z4, z5)), memberc34_in_gg(x5, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), x5, U17_gg(x5, z0, .(z4, z5), memberc34_in_gg(x5, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), z2, U17_gg(z2, z0, .(z4, .(z4, z5)), memberc34_in_gg(z2, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), z2, U17_gg(z2, z0, .(z4, .(z5, z6)), memberc34_in_gg(z2, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), x5, U17_gg(x5, z0, .(z0, .(z0, z3)), memberc34_in_gg(x5, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), x5, U17_gg(x5, z0, .(z0, .(z3, z4)), memberc34_in_gg(x5, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), x5, U17_gg(x5, z0, .(z0, .(z0, z4)), memberc34_in_gg(x5, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), x5, U17_gg(x5, z0, .(z0, .(z4, z5)), memberc34_in_gg(x5, .(z0, .(z4, z5)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), z2, U17_gg(z2, z0, .(z4, .(z4, z5)), memberc34_in_gg(z2, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), z2, U17_gg(z2, z0, .(z4, .(z5, z6)), memberc34_in_gg(z2, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, x6, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), x6, U17_gg(x6, z0, .(z0, .(z0, z3)), memberc34_in_gg(x6, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, x6, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), x6, U17_gg(x6, z0, .(z0, .(z3, z4)), memberc34_in_gg(x6, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), x6, U17_gg(x6, z0, .(z0, .(z0, z4)), memberc34_in_gg(x6, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), x6, U17_gg(x6, z0, .(z0, .(z4, z5)), memberc34_in_gg(x6, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, x6, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), x6, U17_gg(x6, z0, .(z2, .(z2, z4)), memberc34_in_gg(x6, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, x6, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), x6, U17_gg(x6, z0, .(z2, .(z4, z5)), memberc34_in_gg(x6, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), x6, U17_gg(x6, z0, .(z4, .(z4, z5)), memberc34_in_gg(x6, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), x6, U17_gg(x6, z0, .(z4, .(z5, z6)), memberc34_in_gg(x6, .(z4, .(z5, z6)))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, z3)), z0, memberc34_out_gg(z0, .(z0, .(z0, z3)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))))
U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z3, z4)), z0, memberc34_out_gg(z0, .(z0, .(z3, z4)))) → REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z0, memberc34_out_gg(z0, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z0, memberc34_out_gg(z0, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, z4)), z2, memberc34_out_gg(z2, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, z5)), z2, memberc34_out_gg(z2, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, z4)), z5, memberc34_out_gg(z5, .(z0, .(z0, z4)))) → REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))))
U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, z5)), z6, memberc34_out_gg(z6, .(z0, .(z4, z5)))) → REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(.(z0, .(x2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x2, .(.(z0, .(x2, [])), z3)))
REACH1_IN_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(.(z5, .(x2, [])), z3), .(z5, .(z0, .(z0, z4))), member1c24_out_gag(z5, x2, .(.(z5, .(x2, [])), z3)))
REACH1_IN_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(.(z6, .(x2, [])), z3), .(z6, .(z0, .(z4, z5))), member1c24_out_gag(z6, x2, .(.(z6, .(x2, [])), z3)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4)))) → U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), U12_gag(z0, .(z0, .(z0, [])), z2, member1c24_in_gag(z0, z2)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5)))) → U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), U12_gag(z0, z2, z3, member1c24_in_gag(z0, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z0, z4))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5)))) → U6_GGGG(z2, z1, .(.(z0, .(z2, [])), z3), .(z2, .(z0, .(z4, z5))), U12_gag(z2, .(z0, .(z2, [])), z3, member1c24_in_gag(z2, z3)))
REACH1_IN_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4)))) → U6_GGGG(z5, z1, .(z2, z3), .(z5, .(z0, .(z0, z4))), U12_gag(z5, z2, z3, member1c24_in_gag(z5, z3)))
REACH1_IN_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5)))) → U6_GGGG(z6, z1, .(z2, z3), .(z6, .(z0, .(z4, z5))), U12_gag(z6, z2, z3, member1c24_in_gag(z6, z3)))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, z0, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z0, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), z0, memberc34_out_gg(z0, .(z0, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), z0, U17_gg(z0, z0, .(z0, .(z0, z3)), memberc34_in_gg(z0, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, z0, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), z0, U17_gg(z0, z0, .(z0, .(z3, z4)), memberc34_in_gg(z0, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z0, z4))), z2, U17_gg(z2, z0, .(z0, .(z0, z4)), memberc34_in_gg(z2, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z0, .(z4, z5))), z2, U17_gg(z2, z0, .(z0, .(z4, z5)), memberc34_in_gg(z2, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z4, z5))), z2, U17_gg(z2, z0, .(z4, .(z4, z5)), memberc34_in_gg(z2, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, z2, .(.(z0, .(z2, [])), z3))) → U8_GGGG(z0, z1, .(.(z0, .(z2, [])), z3), .(z0, .(z4, .(z5, z6))), z2, U17_gg(z2, z0, .(z4, .(z5, z6)), memberc34_in_gg(z2, .(z4, .(z5, z6)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z0, z3))), x5, U17_gg(x5, z0, .(z0, .(z0, z3)), memberc34_in_gg(x5, .(z0, .(z0, z3)))))
U6_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), member1c24_out_gag(z0, x5, .(.(z0, .(z0, [])), z2))) → U8_GGGG(z0, z1, .(.(z0, .(z0, [])), z2), .(z0, .(z0, .(z3, z4))), x5, U17_gg(x5, z0, .(z0, .(z3, z4)), memberc34_in_gg(x5, .(z0, .(z3, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z0, z4))), x5, U17_gg(x5, z0, .(z0, .(z0, z4)), memberc34_in_gg(x5, .(z0, .(z0, z4)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), member1c24_out_gag(z0, x5, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z0, .(z4, z5))), x5, U17_gg(x5, z0, .(z0, .(z4, z5)), memberc34_in_gg(x5, .(z0, .(z4, z5)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), member1c24_out_gag(z0, x6, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z2, z4))), x6, U17_gg(x6, z0, .(z2, .(z2, z4)), memberc34_in_gg(x6, .(z2, .(z2, z4)))))
U6_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), member1c24_out_gag(z0, x6, .(.(z2, .(z0, [])), z3))) → U8_GGGG(z0, z1, .(.(z2, .(z0, [])), z3), .(z0, .(z2, .(z4, z5))), x6, U17_gg(x6, z0, .(z2, .(z4, z5)), memberc34_in_gg(x6, .(z2, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z4, z5))), x6, U17_gg(x6, z0, .(z4, .(z4, z5)), memberc34_in_gg(x6, .(z4, .(z4, z5)))))
U6_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), member1c24_out_gag(z0, x6, .(z2, z3))) → U8_GGGG(z0, z1, .(z2, z3), .(z0, .(z4, .(z5, z6))), x6, U17_gg(x6, z0, .(z4, .(z5, z6)), memberc34_in_gg(x6, .(z4, .(z5, z6)))))
member1c24_in_gag(T120, .(.(T120, .(X117, [])), T121)) → member1c24_out_gag(T120, X117, .(.(T120, .(X117, [])), T121))
member1c24_in_gag(T128, .(T129, T130)) → U12_gag(T128, T129, T130, member1c24_in_gag(T128, T130))
U12_gag(T128, T129, T130, member1c24_out_gag(T128, X131, T130)) → member1c24_out_gag(T128, X131, .(T129, T130))
memberc34_in_gg(T151, .(T151, T152)) → memberc34_out_gg(T151, .(T151, T152))
memberc34_in_gg(T159, .(T160, T161)) → U17_gg(T159, T160, T161, memberc34_in_gg(T159, T161))
U17_gg(T159, T160, T161, memberc34_out_gg(T159, T161)) → memberc34_out_gg(T159, .(T160, T161))
member1c24_in_gag(x0, x1)
U12_gag(x0, x1, x2, x3)
memberc34_in_gg(x0, x1)
U17_gg(x0, x1, x2, x3)