Skip to content

Instantly share code, notes, and snippets.

@slavapestov

slavapestov/wordproblem.swift

Created August 2, 2020 01:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save slavapestov/49d47d5e5e3e2b2b36afbc5c77fe52fc to your computer and use it in GitHub Desktop.
Save slavapestov/49d47d5e5e3e2b2b36afbc5c77fe52fc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
wordproblem.swift
protocol P
where A.C == C.A,
A.D == D.A,
B.C == C.B,
B.D == D.B,
C.E == E.C.A,
D.E == E.D.B,
C.C.A == C.C.A.E {
associatedtype A : P
associatedtype B : P
associatedtype C : P
associatedtype D : P
associatedtype E : P
}
func foo<T : P>(_: T) {}
<τ_0_0 where τ_0_0 : P, τ_0_0.A.C.C == τ_0_0.C.A.E.A.C.E, τ_0_0.C.C.E == τ_0_0.E.A.C.A.C.E, τ_0_0.A.A.C.C == τ_0_0.A.C.A.C.E, τ_0_0.A.C.C.C == τ_0_0.A.C.C.C.A, τ_0_0.A.C.E.C == τ_0_0.A.E.C.A.C.E, τ_0_0.A.D.C.C == τ_0_0.D.C.A.E.A.C.E, τ_0_0.B.A.C.C == τ_0_0.B.C.A.E.A.C.E, τ_0_0.B.C.C.E == τ_0_0.C.B.C.E.E, τ_0_0.C.C.C.E == τ_0_0.C.C.C.E.A, τ_0_0.C.C.E.A == τ_0_0.C.C.E.A.E, τ_0_0.C.E.E.C == τ_0_0.C.E.E.C.E, τ_0_0.D.C.C.E == τ_0_0.D.E.A.C.A.C.E, τ_0_0.A.A.D.C.C == τ_0_0.A.D.C.A.C.E, τ_0_0.A.B.A.C.C == τ_0_0.A.B.C.A.C.E, τ_0_0.A.B.C.C.E == τ_0_0.A.C.B.E.A.C.E, τ_0_0.A.B.C.E.C == τ_0_0.A.B.E.C.A.C.E, τ_0_0.A.C.A.C.E == τ_0_0.C.A.A.C.E, τ_0_0.A.C.C.C.A == τ_0_0.A.C.E.C.C, τ_0_0.A.C.D.C.C == τ_0_0.A.C.D.C.C.E, τ_0_0.A.C.E.C.C == τ_0_0.C.A.C.C.A, τ_0_0.A.C.E.E.C == τ_0_0.A.C.E.E.C.E, τ_0_0.A.D.C.C.C == τ_0_0.A.D.C.C.C.A, τ_0_0.A.D.C.E.C == τ_0_0.A.D.E.C.A.C.E, τ_0_0.A.D.D.C.C == τ_0_0.A.D.D.C.C.E, τ_0_0.B.A.A.C.C == τ_0_0.B.A.C.A.C.E, τ_0_0.B.A.C.C.C == τ_0_0.B.A.C.C.C.A, τ_0_0.B.A.C.E.C == τ_0_0.B.A.E.C.A.C.E, τ_0_0.B.A.D.C.C == τ_0_0.B.D.C.A.E.A.C.E, τ_0_0.B.B.A.C.C == τ_0_0.B.B.C.A.C.E, τ_0_0.B.C.C.C.E == τ_0_0.B.C.C.C.E.A, τ_0_0.B.C.C.E.A == τ_0_0.B.C.C.E.A.E, τ_0_0.B.C.E.E.C == τ_0_0.B.C.E.E.C.E, τ_0_0.B.D.C.C.E == τ_0_0.D.C.B.C.E.E, τ_0_0.B.D.C.E.C == τ_0_0.B.E.D.C.B.A.C.E, τ_0_0.C.A.C.C.A == τ_0_0.A.C.E.C.C.A, τ_0_0.C.B.C.E.E == τ_0_0.B.E.A.C.A.C.E, τ_0_0.C.C.C.E.A == τ_0_0.C.C.E.C.A, τ_0_0.C.C.E.A.E == τ_0_0.C.E.A.A.C.E, τ_0_0.C.C.E.C.A == τ_0_0.C.E.C.C.A, τ_0_0.C.D.C.C.E == τ_0_0.C.D.C.E.C.A, τ_0_0.C.E.A.E.C == τ_0_0.C.E.A.E.C.E, τ_0_0.C.E.B.A.C == τ_0_0.E.A.B.C.A.C.E, τ_0_0.C.E.B.C.E == τ_0_0.C.E.B.C.E.E, τ_0_0.C.E.B.E.C == τ_0_0.C.E.B.E.C.E, τ_0_0.C.E.C.C.A == τ_0_0.C.E.A.C.C.A, τ_0_0.D.C.C.C.E == τ_0_0.D.C.C.C.E.A, τ_0_0.D.C.C.E.A == τ_0_0.D.C.C.E.A.E, τ_0_0.D.C.E.E.C == τ_0_0.D.C.E.E.C.E, τ_0_0.D.D.C.E.C == τ_0_0.D.D.E.A.C.C.E, τ_0_0.A.A.A.C.C.C == τ_0_0.A.A.A.C.C.C.E, τ_0_0.A.A.A.D.C.C == τ_0_0.A.A.D.A.C.C.E, τ_0_0.A.A.C.D.C.C == τ_0_0.A.A.C.D.C.C.E, τ_0_0.A.A.D.D.C.C == τ_0_0.A.A.D.D.C.C.E, τ_0_0.A.B.A.C.C.C == τ_0_0.A.B.A.C.C.C.E, τ_0_0.A.B.A.D.C.C == τ_0_0.A.B.D.C.A.C.E, τ_0_0.A.B.B.A.C.C == τ_0_0.A.B.B.C.A.C.E, τ_0_0.A.B.C.A.C.E == τ_0_0.A.C.B.A.C.E, τ_0_0.A.B.C.C.E.C == τ_0_0.A.B.C.E.C.C, τ_0_0.A.B.C.E.C.C == τ_0_0.A.B.C.E.C.C.A, τ_0_0.A.B.C.E.E.C == τ_0_0.A.B.C.E.E.C.E, τ_0_0.A.B.D.C.C.E == τ_0_0.A.D.C.B.E.A.C.E, τ_0_0.A.B.D.C.E.C == τ_0_0.A.B.D.E.C.A.C.E, τ_0_0.A.C.B.A.C.E == τ_0_0.C.A.B.A.C.E, τ_0_0.A.C.C.C.C.A == τ_0_0.A.C.C.C.C.A.E, τ_0_0.A.C.D.D.C.C == τ_0_0.A.C.D.D.C.C.E, τ_0_0.A.C.E.B.A.C == τ_0_0.C.A.E.B.A.C.E, τ_0_0.A.C.E.B.E.C == τ_0_0.A.C.E.B.E.C.E, τ_0_0.A.C.E.C.C.A == τ_0_0.C.A.E.C.C.A, τ_0_0.A.C.E.D.C.C == τ_0_0.A.C.E.D.C.C.E, τ_0_0.A.D.C.A.C.E == τ_0_0.D.A.C.A.C.E, τ_0_0.A.D.C.C.C.A == τ_0_0.A.D.C.E.C.C, τ_0_0.A.D.C.D.C.C == τ_0_0.A.D.C.D.C.C.E, τ_0_0.A.D.C.E.C.C == τ_0_0.D.A.C.C.C.A, τ_0_0.A.D.C.E.E.C == τ_0_0.A.D.C.E.E.C.E, τ_0_0.A.E.A.D.C.C == τ_0_0.A.E.D.C.A.C.E, τ_0_0.A.E.B.A.C.C == τ_0_0.A.E.B.C.A.C.E, τ_0_0.B.A.A.D.C.C == τ_0_0.B.A.D.C.A.C.E, τ_0_0.B.A.B.A.C.C == τ_0_0.B.A.B.C.A.C.E, τ_0_0.B.A.C.A.C.E == τ_0_0.B.C.A.A.C.E, τ_0_0.B.A.C.C.C.A == τ_0_0.B.A.C.E.C.C, τ_0_0.B.A.C.D.C.C == τ_0_0.B.A.C.D.C.C.E, τ_0_0.B.A.C.E.C.C == τ_0_0.B.C.A.C.C.A, τ_0_0.B.A.C.E.E.C == τ_0_0.B.A.C.E.E.C.E, τ_0_0.B.A.D.C.C.C == τ_0_0.B.A.D.C.C.C.A, τ_0_0.B.A.D.C.E.C == τ_0_0.B.A.D.E.C.A.C.E, τ_0_0.B.A.D.D.C.C == τ_0_0.B.A.D.D.C.C.E, τ_0_0.B.B.A.C.C.C == τ_0_0.B.B.A.C.C.C.E, τ_0_0.B.B.A.D.C.C == τ_0_0.B.B.D.A.C.C.E, τ_0_0.B.B.C.A.C.E == τ_0_0.B.C.B.A.C.E, τ_0_0.B.C.A.A.C.E == τ_0_0.C.B.A.A.C.E, τ_0_0.B.C.A.C.C.A == τ_0_0.C.B.A.C.C.A, τ_0_0.B.C.B.A.C.E == τ_0_0.C.B.B.A.C.E, τ_0_0.B.C.C.C.E.A == τ_0_0.B.C.C.E.C.A, τ_0_0.B.C.C.E.A.E == τ_0_0.B.C.E.A.A.C.E, τ_0_0.B.C.C.E.C.A == τ_0_0.B.C.E.C.C.A, τ_0_0.B.C.D.C.C.E == τ_0_0.B.C.D.C.E.C.A, τ_0_0.B.C.E.A.E.C == τ_0_0.B.C.E.A.E.C.E, τ_0_0.B.C.E.B.A.C == τ_0_0.C.B.E.B.A.C.E, τ_0_0.B.C.E.B.E.C == τ_0_0.B.C.E.B.E.C.E, τ_0_0.B.C.E.C.C.A == τ_0_0.C.B.E.C.C.A, τ_0_0.B.D.C.C.C.E == τ_0_0.B.D.C.C.C.E.A, τ_0_0.B.D.C.C.E.A == τ_0_0.B.D.C.C.E.A.E, τ_0_0.B.D.C.E.E.C == τ_0_0.B.D.C.E.E.C.E, τ_0_0.B.E.B.A.C.C == τ_0_0.B.E.C.B.A.C.E, τ_0_0.C.B.A.C.C.A == τ_0_0.B.A.C.E.C.C.A, τ_0_0.C.B.E.C.C.A == τ_0_0.B.C.E.A.C.C.A, τ_0_0.C.C.E.B.C.E == τ_0_0.C.C.E.B.C.E.E, τ_0_0.C.C.E.B.E.C == τ_0_0.C.C.E.B.E.C.E, τ_0_0.C.D.C.E.E.C == τ_0_0.C.D.C.E.E.C.E, τ_0_0.C.D.D.C.E.C == τ_0_0.C.D.D.E.A.C.C.E, τ_0_0.C.D.E.C.C.E == τ_0_0.C.D.E.C.E.C.A.E, τ_0_0.C.E.A.B.E.C == τ_0_0.C.E.A.B.E.C.E, τ_0_0.C.E.A.C.C.A == τ_0_0.E.A.C.C.C.A, τ_0_0.C.E.B.A.A.C == τ_0_0.C.E.B.A.A.C.E, τ_0_0.C.E.B.A.C.C == τ_0_0.C.E.B.C.C.A.A.E, τ_0_0.C.E.B.A.E.C == τ_0_0.C.E.B.A.E.C.E, τ_0_0.C.E.B.B.A.C == τ_0_0.C.E.B.B.A.C.E, τ_0_0.C.E.B.B.E.C == τ_0_0.C.E.B.B.E.C.E, τ_0_0.C.E.B.C.C.E == τ_0_0.C.E.B.C.E.C.A.E, τ_0_0.C.E.D.D.C.C == τ_0_0.C.E.D.D.C.C.E, τ_0_0.C.E.E.B.A.C == τ_0_0.C.E.E.B.A.C.E, τ_0_0.D.A.C.A.C.E == τ_0_0.D.C.A.A.C.E, τ_0_0.D.A.C.C.C.A == τ_0_0.D.C.A.C.C.A, τ_0_0.D.C.A.C.C.A == τ_0_0.A.D.C.E.C.C.A, τ_0_0.D.C.B.C.E.E == τ_0_0.B.D.E.A.C.A.C.E, τ_0_0.D.C.C.C.E.A == τ_0_0.D.C.C.E.C.A, τ_0_0.D.C.C.E.A.E == τ_0_0.D.C.E.A.A.C.E, τ_0_0.D.C.C.E.C.A == τ_0_0.D.C.E.C.C.A, τ_0_0.D.C.D.C.E.C == τ_0_0.D.C.D.E.A.C.C.E, τ_0_0.D.C.E.A.E.C == τ_0_0.D.C.E.A.E.C.E, τ_0_0.D.C.E.B.A.C == τ_0_0.D.E.A.B.C.A.C.E, τ_0_0.D.C.E.B.C.E == τ_0_0.D.C.E.B.C.E.E, τ_0_0.D.C.E.B.E.C == τ_0_0.D.C.E.B.E.C.E, τ_0_0.D.C.E.C.C.A == τ_0_0.D.C.E.A.C.C.A, τ_0_0.D.C.E.D.C.C == τ_0_0.D.C.E.D.C.C.E, τ_0_0.D.D.C.E.E.C == τ_0_0.D.D.C.E.E.C.E, τ_0_0.D.D.E.C.C.E == τ_0_0.D.D.E.C.C.E.E, τ_0_0.D.D.E.C.E.C == τ_0_0.D.D.E.C.E.C.E, τ_0_0.D.E.A.D.C.C == τ_0_0.E.B.A.D.D.C.C.E, τ_0_0.D.E.B.A.C.C == τ_0_0.E.B.D.C.B.A.C.E, τ_0_0.E.A.A.D.C.C == τ_0_0.E.A.D.C.A.C.E, τ_0_0.E.A.C.A.C.E == τ_0_0.E.C.A.A.C.E, τ_0_0.E.A.C.C.C.A == τ_0_0.E.C.A.C.C.A, τ_0_0.E.A.D.C.C.C == τ_0_0.E.A.D.C.C.C.A, τ_0_0.E.A.D.D.C.C == τ_0_0.E.A.D.D.C.C.E, τ_0_0.E.B.A.A.C.C == τ_0_0.E.B.A.C.A.C.E, τ_0_0.E.B.A.C.C.C == τ_0_0.E.B.A.C.C.C.A, τ_0_0.E.B.B.A.C.C == τ_0_0.E.B.B.C.A.C.E, τ_0_0.A.A.A.C.D.C.C == τ_0_0.A.A.A.C.D.C.C.E, τ_0_0.A.A.A.D.C.C.C == τ_0_0.A.A.A.D.C.C.C.E, τ_0_0.A.A.A.D.D.C.C == τ_0_0.A.A.A.D.D.C.C.E, τ_0_0.A.A.B.A.C.C.C == τ_0_0.A.A.B.A.C.C.C.E, τ_0_0.A.A.C.D.D.C.C == τ_0_0.A.A.C.D.D.C.C.E, τ_0_0.A.A.D.C.D.C.C == τ_0_0.A.A.D.C.D.C.C.E, τ_0_0.A.B.A.A.C.C.C == τ_0_0.A.B.A.A.C.C.C.E, τ_0_0.A.B.A.A.D.C.C == τ_0_0.A.B.A.D.A.C.C.E, τ_0_0.A.B.A.C.D.C.C == τ_0_0.A.B.A.C.D.C.C.E, τ_0_0.A.B.A.D.C.C.C == τ_0_0.A.B.A.D.C.C.C.E, τ_0_0.A.B.A.D.D.C.C == τ_0_0.A.B.A.D.D.C.C.E, τ_0_0.A.B.B.A.C.C.C == τ_0_0.A.B.B.A.C.C.C.E, τ_0_0.A.B.B.A.D.C.C == τ_0_0.A.B.B.D.A.C.C.E, τ_0_0.A.B.B.C.A.C.E == τ_0_0.A.B.C.B.A.C.E, τ_0_0.A.B.C.B.A.C.E == τ_0_0.A.C.B.B.A.C.E, τ_0_0.A.B.C.E.B.A.C == τ_0_0.A.C.B.E.B.A.C.E, τ_0_0.A.B.C.E.B.E.C == τ_0_0.A.B.C.E.B.E.C.E, τ_0_0.A.B.C.E.C.C.A == τ_0_0.A.C.B.E.C.C.A, τ_0_0.A.B.C.E.D.C.C == τ_0_0.A.B.C.E.D.C.C.E, τ_0_0.A.B.D.C.A.C.E == τ_0_0.A.D.B.C.A.C.E, τ_0_0.A.B.D.C.C.E.C == τ_0_0.A.B.D.C.E.C.C, τ_0_0.A.B.D.C.E.C.C == τ_0_0.A.B.D.C.E.C.C.A, τ_0_0.A.B.D.C.E.E.C == τ_0_0.A.B.D.C.E.E.C.E, τ_0_0.A.B.E.A.D.C.C == τ_0_0.A.B.E.D.C.A.C.E, τ_0_0.A.B.E.B.A.C.C == τ_0_0.A.B.E.C.B.A.C.E, τ_0_0.A.C.B.B.A.C.E == τ_0_0.C.A.B.B.A.C.E, τ_0_0.A.C.B.E.A.C.E == τ_0_0.C.A.B.E.A.C.E, τ_0_0.A.C.B.E.C.C.A == τ_0_0.C.A.B.E.C.C.A, τ_0_0.A.C.C.C.B.C.A == τ_0_0.A.C.C.C.B.C.A.E, τ_0_0.A.C.D.C.C.C.A == τ_0_0.A.C.D.C.C.C.A.E, τ_0_0.A.C.D.C.E.E.C == τ_0_0.A.C.D.C.E.E.C.E, τ_0_0.A.C.E.D.D.C.C == τ_0_0.A.C.E.D.D.C.C.E, τ_0_0.A.D.B.C.A.C.E == τ_0_0.A.D.C.B.A.C.E, τ_0_0.A.D.C.B.A.C.E == τ_0_0.D.A.B.C.A.C.E, τ_0_0.A.D.C.C.C.C.A == τ_0_0.A.D.C.C.C.C.A.E, τ_0_0.A.D.C.E.B.A.C == τ_0_0.D.C.A.E.B.A.C.E, τ_0_0.A.D.C.E.B.E.C == τ_0_0.A.D.C.E.B.E.C.E, τ_0_0.A.D.C.E.C.C.A == τ_0_0.D.A.C.E.C.C.A, τ_0_0.A.D.C.E.D.C.C == τ_0_0.A.D.C.E.D.C.C.E, τ_0_0.A.D.D.C.C.C.A == τ_0_0.A.D.D.C.C.C.A.E, τ_0_0.A.D.D.C.E.E.C == τ_0_0.A.D.D.C.E.E.C.E, τ_0_0.A.D.D.E.C.C.E == τ_0_0.A.D.D.E.C.C.E.E, τ_0_0.A.D.D.E.C.E.C == τ_0_0.A.D.D.E.C.E.C.E, τ_0_0.A.D.E.B.A.C.C == τ_0_0.A.D.E.B.C.A.C.E, τ_0_0.A.D.E.C.A.C.E == τ_0_0.D.A.E.C.A.C.E, τ_0_0.A.E.A.D.C.C.C == τ_0_0.A.E.A.D.C.C.C.E, τ_0_0.A.E.A.D.D.C.C == τ_0_0.A.E.A.D.D.C.C.E, τ_0_0.A.E.B.A.C.C.C == τ_0_0.A.E.B.A.C.C.C.E, τ_0_0.A.E.B.B.A.C.C == τ_0_0.A.E.B.B.C.A.C.E, τ_0_0.A.E.B.C.A.C.E == τ_0_0.A.E.C.B.A.C.E, τ_0_0.B.A.A.A.C.C.C == τ_0_0.B.A.A.A.C.C.C.E, τ_0_0.B.A.A.A.D.C.C == τ_0_0.B.A.A.D.A.C.C.E, τ_0_0.B.A.A.C.D.C.C == τ_0_0.B.A.A.C.D.C.C.E, τ_0_0.B.A.A.D.D.C.C == τ_0_0.B.A.A.D.D.C.C.E, τ_0_0.B.A.B.A.C.C.C == τ_0_0.B.A.B.A.C.C.C.E, τ_0_0.B.A.B.A.D.C.C == τ_0_0.B.A.B.D.A.C.C.E, τ_0_0.B.A.B.C.A.C.E == τ_0_0.B.A.C.B.A.C.E, τ_0_0.B.A.C.B.A.C.E == τ_0_0.B.C.A.B.A.C.E, τ_0_0.B.A.C.C.C.C.A == τ_0_0.B.A.C.C.C.C.A.E, τ_0_0.B.A.C.D.D.C.C == τ_0_0.B.A.C.D.D.C.C.E, τ_0_0.B.A.C.E.B.A.C == τ_0_0.B.C.A.E.B.A.C.E, τ_0_0.B.A.C.E.B.E.C == τ_0_0.B.A.C.E.B.E.C.E, τ_0_0.B.A.C.E.C.C.A == τ_0_0.B.C.A.E.C.C.A, τ_0_0.B.A.C.E.D.C.C == τ_0_0.B.A.C.E.D.C.C.E, τ_0_0.B.A.D.C.A.C.E == τ_0_0.B.D.A.C.A.C.E, τ_0_0.B.A.D.C.C.C.A == τ_0_0.B.A.D.C.E.C.C, τ_0_0.B.A.D.C.D.C.C == τ_0_0.B.A.D.C.D.C.C.E, τ_0_0.B.A.D.C.E.C.C == τ_0_0.B.D.A.C.C.C.A, τ_0_0.B.A.D.C.E.E.C == τ_0_0.B.A.D.C.E.E.C.E, τ_0_0.B.A.E.A.D.C.C == τ_0_0.B.A.E.D.C.A.C.E, τ_0_0.B.A.E.B.A.C.C == τ_0_0.B.A.E.C.B.A.C.E, τ_0_0.B.B.A.A.C.C.C == τ_0_0.B.B.A.A.C.C.C.E, τ_0_0.B.B.A.C.D.C.C == τ_0_0.B.B.A.C.D.C.C.E, τ_0_0.B.B.A.D.C.C.C == τ_0_0.B.B.A.D.C.C.C.E, τ_0_0.B.B.A.D.D.C.C == τ_0_0.B.B.A.D.D.C.C.E, τ_0_0.B.B.D.A.C.C.E == τ_0_0.B.D.C.B.A.C.E, τ_0_0.B.C.A.B.A.C.E == τ_0_0.C.B.A.B.A.C.E, τ_0_0.B.C.A.E.A.C.E == τ_0_0.C.B.A.E.A.C.E, τ_0_0.B.C.A.E.C.C.A == τ_0_0.C.B.A.E.C.C.A, τ_0_0.B.C.D.C.E.E.C == τ_0_0.B.C.D.C.E.E.C.E, τ_0_0.B.C.D.E.C.C.E == τ_0_0.B.C.D.E.C.E.C.A.E, τ_0_0.B.C.E.A.A.C.E == τ_0_0.C.B.E.A.A.C.E, τ_0_0.B.C.E.A.B.E.C == τ_0_0.B.C.E.A.B.E.C.E, τ_0_0.B.C.E.A.C.C.A == τ_0_0.B.E.A.C.C.C.A, τ_0_0.B.C.E.B.A.E.C == τ_0_0.B.C.E.B.A.E.C.E, τ_0_0.B.C.E.D.D.C.C == τ_0_0.B.C.E.D.D.C.C.E, τ_0_0.B.C.E.E.B.A.C == τ_0_0.B.C.E.E.B.A.C.E, τ_0_0.B.D.A.C.A.C.E == τ_0_0.B.D.C.A.A.C.E, τ_0_0.B.D.A.C.C.C.A == τ_0_0.B.D.C.A.C.C.A, τ_0_0.B.D.C.A.A.C.E == τ_0_0.D.B.A.C.A.C.E, τ_0_0.B.D.C.A.C.C.A == τ_0_0.D.B.A.C.C.C.A, τ_0_0.B.D.C.B.A.C.E == τ_0_0.D.B.C.B.A.C.E, τ_0_0.B.D.C.C.C.E.A == τ_0_0.B.D.C.C.E.C.A, τ_0_0.B.D.C.C.E.A.E == τ_0_0.B.D.C.E.A.A.C.E, τ_0_0.B.D.C.C.E.C.A == τ_0_0.B.D.C.E.C.C.A, τ_0_0.B.D.C.E.A.E.C == τ_0_0.B.D.C.E.A.E.C.E, τ_0_0.B.D.C.E.B.A.C == τ_0_0.D.C.B.E.B.A.C.E, τ_0_0.B.D.C.E.B.E.C == τ_0_0.B.D.C.E.B.E.C.E, τ_0_0.B.D.C.E.C.C.A == τ_0_0.D.B.C.C.E.C.A, τ_0_0.B.D.C.E.D.C.C == τ_0_0.B.D.C.E.D.C.C.E, τ_0_0.B.D.E.B.A.C.C == τ_0_0.B.D.E.B.C.A.C.E, τ_0_0.B.E.A.A.D.C.C == τ_0_0.B.E.A.D.C.A.C.E, τ_0_0.B.E.A.C.A.C.E == τ_0_0.B.E.C.A.A.C.E, τ_0_0.B.E.A.C.C.C.A == τ_0_0.B.E.C.A.C.C.A, τ_0_0.B.E.A.D.C.C.C == τ_0_0.B.E.A.D.C.C.C.A, τ_0_0.B.E.A.D.D.C.C == τ_0_0.B.E.A.D.D.C.C.E, τ_0_0.B.E.B.A.C.C.C == τ_0_0.B.E.B.A.C.C.C.E, τ_0_0.B.E.C.A.C.C.A == τ_0_0.C.B.E.A.C.C.A, τ_0_0.C.B.E.A.C.C.A == τ_0_0.B.C.C.E.A.E.C.E, τ_0_0.C.B.E.B.A.C.E == τ_0_0.B.E.A.C.B.A.C.E, τ_0_0.C.C.E.B.A.E.C == τ_0_0.C.C.E.B.A.E.C.E, τ_0_0.C.D.C.E.A.E.C == τ_0_0.C.D.C.E.A.E.C.E, τ_0_0.C.D.C.E.B.C.E == τ_0_0.C.D.C.E.B.C.E.E, τ_0_0.C.D.C.E.B.E.C == τ_0_0.C.D.C.E.B.E.C.E, τ_0_0.C.D.D.C.E.E.C == τ_0_0.C.D.D.C.E.E.C.E, τ_0_0.C.D.D.E.C.C.E == τ_0_0.C.D.D.E.C.C.E.E, τ_0_0.C.D.D.E.C.E.C == τ_0_0.C.D.D.E.C.E.C.E, τ_0_0.C.D.E.A.D.C.C == τ_0_0.C.E.B.A.D.D.C.C.E, τ_0_0.C.D.E.B.C.C.E == τ_0_0.C.D.E.B.C.E.C.A.E, τ_0_0.C.E.A.D.D.C.C == τ_0_0.C.E.A.D.D.C.C.E, τ_0_0.C.E.B.A.B.E.C == τ_0_0.C.E.B.A.B.E.C.E, τ_0_0.C.E.B.B.A.C.E == τ_0_0.E.A.B.C.B.A.C.E, τ_0_0.C.E.B.B.A.E.C == τ_0_0.C.E.B.B.A.E.C.E, τ_0_0.C.E.B.E.B.A.C == τ_0_0.C.E.B.E.B.A.C.E, τ_0_0.C.E.D.C.C.C.A == τ_0_0.C.E.D.C.C.C.A.E, τ_0_0.C.E.D.D.C.C.E == τ_0_0.E.A.C.D.D.C.C.E, τ_0_0.D.A.B.C.A.C.E == τ_0_0.D.A.C.B.A.C.E, τ_0_0.D.A.C.B.A.C.E == τ_0_0.D.C.A.B.A.C.E, τ_0_0.D.A.C.E.C.C.A == τ_0_0.D.C.A.E.C.C.A, τ_0_0.D.A.E.C.A.C.E == τ_0_0.A.E.B.D.C.A.C.E, τ_0_0.D.B.A.C.A.C.E == τ_0_0.D.B.C.A.A.C.E, τ_0_0.D.B.A.C.C.C.A == τ_0_0.D.B.C.A.C.C.A, τ_0_0.D.B.C.A.A.C.E == τ_0_0.D.C.B.A.A.C.E, τ_0_0.D.B.C.A.C.C.A == τ_0_0.D.C.B.A.C.C.A, τ_0_0.D.B.C.B.A.C.E == τ_0_0.D.C.B.B.A.C.E, τ_0_0.D.B.C.C.E.C.A == τ_0_0.D.B.C.E.C.C.A, τ_0_0.D.B.C.E.C.C.A == τ_0_0.D.C.B.E.C.C.A, τ_0_0.D.C.B.A.C.C.A == τ_0_0.B.A.D.C.E.C.C.A, τ_0_0.D.C.B.E.C.C.A == τ_0_0.B.D.C.E.A.C.C.A, τ_0_0.D.C.C.E.B.C.E == τ_0_0.D.C.C.E.B.C.E.E, τ_0_0.D.C.C.E.B.E.C == τ_0_0.D.C.C.E.B.E.C.E, τ_0_0.D.C.D.C.E.E.C == τ_0_0.D.C.D.C.E.E.C.E, τ_0_0.D.C.D.E.C.C.E == τ_0_0.D.C.D.E.C.C.E.E, τ_0_0.D.C.D.E.C.E.C == τ_0_0.D.C.D.E.C.E.C.E, τ_0_0.D.C.E.A.B.E.C == τ_0_0.D.C.E.A.B.E.C.E, τ_0_0.D.C.E.A.C.C.A == τ_0_0.D.E.A.C.C.C.A, τ_0_0.D.C.E.B.A.A.C == τ_0_0.D.C.E.B.A.A.C.E, τ_0_0.D.C.E.B.A.C.C == τ_0_0.D.C.E.B.C.C.A.A.E, τ_0_0.D.C.E.B.A.E.C == τ_0_0.D.C.E.B.A.E.C.E, τ_0_0.D.C.E.B.B.A.C == τ_0_0.D.C.E.B.B.A.C.E, τ_0_0.D.C.E.B.B.E.C == τ_0_0.D.C.E.B.B.E.C.E, τ_0_0.D.C.E.B.C.C.E == τ_0_0.D.C.E.B.C.E.C.A.E, τ_0_0.D.C.E.D.C.C.E == τ_0_0.D.E.A.C.D.C.C.E, τ_0_0.D.C.E.E.B.A.C == τ_0_0.D.C.E.E.B.A.C.E, τ_0_0.D.E.A.C.A.C.E == τ_0_0.D.E.C.A.A.C.E, τ_0_0.D.E.A.C.C.C.A == τ_0_0.D.E.C.A.C.C.A, τ_0_0.D.E.B.A.A.C.C == τ_0_0.D.E.B.A.C.A.C.E, τ_0_0.D.E.B.A.C.C.C == τ_0_0.D.E.B.A.C.C.C.A, τ_0_0.D.E.B.B.A.C.C == τ_0_0.D.E.B.B.C.A.C.E, τ_0_0.D.E.C.A.A.C.E == τ_0_0.E.B.A.D.C.A.C.E, τ_0_0.D.E.C.A.C.C.A == τ_0_0.E.B.A.D.C.C.C.A, τ_0_0.E.A.A.A.D.C.C == τ_0_0.E.A.A.D.A.C.C.E, τ_0_0.E.A.A.D.D.C.C == τ_0_0.E.A.A.D.D.C.C.E, τ_0_0.E.A.B.A.D.C.C == τ_0_0.E.A.B.D.C.A.C.E, τ_0_0.E.A.B.C.A.C.E == τ_0_0.E.A.C.B.A.C.E, τ_0_0.E.A.C.B.A.C.E == τ_0_0.E.C.A.B.A.C.E, τ_0_0.E.A.D.C.A.C.E == τ_0_0.E.D.A.C.A.C.E, τ_0_0.E.A.D.C.C.C.A == τ_0_0.E.D.A.C.C.C.A, τ_0_0.E.A.D.C.D.C.C == τ_0_0.E.A.D.C.D.C.C.E, τ_0_0.E.B.A.B.A.C.C == τ_0_0.E.B.A.B.C.A.C.E, τ_0_0.E.B.A.C.A.C.E == τ_0_0.E.B.C.A.A.C.E, τ_0_0.E.B.A.C.C.C.A == τ_0_0.E.B.C.A.C.C.A, τ_0_0.E.B.B.A.C.C.C == τ_0_0.E.B.B.A.C.C.C.E, τ_0_0.E.B.B.C.A.C.E == τ_0_0.E.B.C.B.A.C.E, τ_0_0.E.B.C.A.A.C.E == τ_0_0.E.C.B.A.A.C.E, τ_0_0.E.B.C.A.C.C.A == τ_0_0.E.C.B.A.C.C.A, τ_0_0.E.B.C.B.A.C.E == τ_0_0.E.C.B.B.A.C.E, τ_0_0.E.C.B.A.C.C.A == τ_0_0.E.B.A.A.C.C.C.E, τ_0_0.E.D.A.C.A.C.E == τ_0_0.E.D.C.A.A.C.E, τ_0_0.E.D.A.C.C.C.A == τ_0_0.E.D.C.A.C.C.A, τ_0_0.E.D.C.A.C.C.A == τ_0_0.E.A.A.D.C.C.C.E, τ_0_0.A.A.A.C.D.D.C.C == τ_0_0.A.A.A.C.D.D.C.C.E, τ_0_0.A.A.A.D.C.D.C.C == τ_0_0.A.A.A.D.C.D.C.C.E, τ_0_0.A.A.B.A.C.D.C.C == τ_0_0.A.A.B.A.C.D.C.C.E, τ_0_0.A.A.B.A.D.C.C.C == τ_0_0.A.A.B.A.D.C.C.C.E, τ_0_0.A.A.B.A.D.D.C.C == τ_0_0.A.A.B.A.D.D.C.C.E, τ_0_0.A.A.B.D.C.C.E.C == τ_0_0.A.A.B.D.C.C.E.C.E, τ_0_0.A.B.A.A.C.D.C.C == τ_0_0.A.B.A.A.C.D.C.C.E, τ_0_0.A.B.A.A.D.C.C.C == τ_0_0.A.B.A.A.D.C.C.C.E, τ_0_0.A.B.A.A.D.D.C.C == τ_0_0.A.B.A.A.D.D.C.C.E, τ_0_0.A.B.A.B.A.C.C.C == τ_0_0.A.B.A.B.A.C.C.C.E, τ_0_0.A.B.A.C.D.D.C.C == τ_0_0.A.B.A.C.D.D.C.C.E, τ_0_0.A.B.A.D.C.D.C.C == τ_0_0.A.B.A.D.C.D.C.C.E, τ_0_0.A.B.B.A.A.C.C.C == τ_0_0.A.B.B.A.A.C.C.C.E, τ_0_0.A.B.B.A.C.D.C.C == τ_0_0.A.B.B.A.C.D.C.C.E, τ_0_0.A.B.B.A.D.C.C.C == τ_0_0.A.B.B.A.D.C.C.C.E, τ_0_0.A.B.B.A.D.D.C.C == τ_0_0.A.B.B.A.D.D.C.C.E, τ_0_0.A.B.B.D.A.C.C.E == τ_0_0.A.B.D.C.B.A.C.E, τ_0_0.A.B.C.D.C.E.E.C == τ_0_0.A.B.C.D.C.E.E.C.E, τ_0_0.A.B.C.E.C.C.C.A == τ_0_0.A.B.C.E.C.C.C.A.E, τ_0_0.A.B.C.E.D.D.C.C == τ_0_0.A.B.C.E.D.D.C.C.E, τ_0_0.A.B.D.C.B.A.C.E == τ_0_0.A.D.B.C.B.A.C.E, τ_0_0.A.B.D.C.E.B.A.C == τ_0_0.A.D.C.B.E.B.A.C.E, τ_0_0.A.B.D.C.E.B.E.C == τ_0_0.A.B.D.C.E.B.E.C.E, τ_0_0.A.B.D.C.E.C.C.A == τ_0_0.A.D.B.C.E.C.C.A, τ_0_0.A.B.D.C.E.D.C.C == τ_0_0.A.B.D.C.E.D.C.C.E, τ_0_0.A.B.D.E.B.A.C.C == τ_0_0.A.B.D.E.B.C.A.C.E, τ_0_0.A.B.D.E.C.A.C.E == τ_0_0.A.D.B.E.C.A.C.E, τ_0_0.A.B.E.A.D.C.C.C == τ_0_0.A.B.E.A.D.C.C.C.E, τ_0_0.A.B.E.A.D.D.C.C == τ_0_0.A.B.E.A.D.D.C.C.E, τ_0_0.A.B.E.B.A.C.C.C == τ_0_0.A.B.E.B.A.C.C.C.E, τ_0_0.A.C.B.E.B.A.C.E == τ_0_0.C.A.B.E.B.A.C.E, τ_0_0.A.C.D.C.C.B.C.A == τ_0_0.A.C.D.C.C.B.C.A.E, τ_0_0.A.C.D.D.C.C.C.A == τ_0_0.A.C.D.D.C.C.C.A.E, τ_0_0.A.C.D.D.C.E.E.C == τ_0_0.A.C.D.D.C.E.E.C.E, τ_0_0.A.C.D.D.E.C.C.E == τ_0_0.A.C.D.D.E.C.C.E.E, τ_0_0.A.C.D.D.E.C.E.C == τ_0_0.A.C.D.D.E.C.E.C.E, τ_0_0.A.C.E.A.D.D.C.C == τ_0_0.A.C.E.A.D.D.C.C.E, τ_0_0.A.C.E.D.C.C.C.A == τ_0_0.A.C.E.D.C.C.C.A.E, τ_0_0.A.D.B.C.B.A.C.E == τ_0_0.A.D.C.B.B.A.C.E, τ_0_0.A.D.B.C.E.C.C.A == τ_0_0.A.D.C.B.E.C.C.A, τ_0_0.A.D.B.E.C.A.C.E == τ_0_0.D.A.B.E.C.A.C.E, τ_0_0.A.D.C.B.B.A.C.E == τ_0_0.D.A.B.C.B.A.C.E, τ_0_0.A.D.C.B.E.A.C.E == τ_0_0.D.A.C.B.E.A.C.E, τ_0_0.A.D.C.B.E.C.C.A == τ_0_0.D.A.B.C.E.C.C.A, τ_0_0.A.D.C.C.C.B.C.A == τ_0_0.A.D.C.C.C.B.C.A.E, τ_0_0.A.D.C.D.C.C.C.A == τ_0_0.A.D.C.D.C.C.C.A.E, τ_0_0.A.D.C.D.C.E.E.C == τ_0_0.A.D.C.D.C.E.E.C.E, τ_0_0.A.D.C.D.E.C.C.E == τ_0_0.A.D.C.D.E.C.C.E.E, τ_0_0.A.D.C.D.E.C.E.C == τ_0_0.A.D.C.D.E.C.E.C.E, τ_0_0.A.D.C.E.D.C.C.E == τ_0_0.D.A.C.E.D.C.C.E, τ_0_0.A.D.D.C.C.B.C.A == τ_0_0.A.D.D.C.C.B.C.A.E, τ_0_0.A.D.E.B.A.C.C.C == τ_0_0.A.D.E.B.A.C.C.C.E, τ_0_0.A.D.E.B.B.A.C.C == τ_0_0.A.D.E.B.B.C.A.C.E, τ_0_0.A.D.E.B.C.A.C.E == τ_0_0.A.D.E.C.B.A.C.E, τ_0_0.A.D.E.C.B.A.C.E == τ_0_0.D.A.E.B.C.A.C.E, τ_0_0.A.E.A.A.D.C.C.C == τ_0_0.A.E.A.A.D.C.C.C.E, τ_0_0.A.E.A.A.D.D.C.C == τ_0_0.A.E.A.A.D.D.C.C.E, τ_0_0.A.E.A.D.C.D.C.C == τ_0_0.A.E.A.D.C.D.C.C.E, τ_0_0.A.E.B.A.A.C.C.C == τ_0_0.A.E.B.A.A.C.C.C.E, τ_0_0.A.E.B.A.C.D.C.C == τ_0_0.A.E.B.A.C.D.C.C.E, τ_0_0.A.E.B.B.A.C.C.C == τ_0_0.A.E.B.B.A.C.C.C.E, τ_0_0.A.E.B.B.C.A.C.E == τ_0_0.A.E.B.C.B.A.C.E, τ_0_0.A.E.B.C.B.A.C.E == τ_0_0.A.E.C.B.B.A.C.E, τ_0_0.A.E.B.D.C.A.C.E == τ_0_0.A.E.D.B.C.A.C.E, τ_0_0.A.E.D.B.C.A.C.E == τ_0_0.A.E.D.C.B.A.C.E, τ_0_0.B.A.A.A.C.D.C.C == τ_0_0.B.A.A.A.C.D.C.C.E, τ_0_0.B.A.A.A.D.C.C.C == τ_0_0.B.A.A.A.D.C.C.C.E, τ_0_0.B.A.A.A.D.D.C.C == τ_0_0.B.A.A.A.D.D.C.C.E, τ_0_0.B.A.A.B.A.C.C.C == τ_0_0.B.A.A.B.A.C.C.C.E, τ_0_0.B.A.A.C.D.D.C.C == τ_0_0.B.A.A.C.D.D.C.C.E, τ_0_0.B.A.A.D.C.D.C.C == τ_0_0.B.A.A.D.C.D.C.C.E, τ_0_0.B.A.B.A.A.C.C.C == τ_0_0.B.A.B.A.A.C.C.C.E, τ_0_0.B.A.B.A.C.D.C.C == τ_0_0.B.A.B.A.C.D.C.C.E, τ_0_0.B.A.B.A.D.C.C.C == τ_0_0.B.A.B.A.D.C.C.C.E, τ_0_0.B.A.B.A.D.D.C.C == τ_0_0.B.A.B.A.D.D.C.C.E, τ_0_0.B.A.B.D.A.C.C.E == τ_0_0.B.A.D.C.B.A.C.E, τ_0_0.B.A.C.C.C.B.C.A == τ_0_0.B.A.C.C.C.B.C.A.E, τ_0_0.B.A.C.D.C.C.C.A == τ_0_0.B.A.C.D.C.C.C.A.E, τ_0_0.B.A.C.D.C.E.E.C == τ_0_0.B.A.C.D.C.E.E.C.E, τ_0_0.B.A.C.D.D.C.C.E == τ_0_0.B.C.A.D.D.C.C.E, τ_0_0.B.A.C.E.D.D.C.C == τ_0_0.B.A.C.E.D.D.C.C.E, τ_0_0.B.A.D.C.B.A.C.E == τ_0_0.B.D.A.C.B.A.C.E, τ_0_0.B.A.D.C.C.C.C.A == τ_0_0.B.A.D.C.C.C.C.A.E, τ_0_0.B.A.D.C.D.C.C.E == τ_0_0.B.D.A.C.D.C.C.E, τ_0_0.B.A.D.C.E.B.A.C == τ_0_0.B.D.C.A.E.B.A.C.E, τ_0_0.B.A.D.C.E.B.E.C == τ_0_0.B.A.D.C.E.B.E.C.E, τ_0_0.B.A.D.C.E.C.C.A == τ_0_0.B.D.A.C.E.C.C.A, τ_0_0.B.A.D.C.E.D.C.C == τ_0_0.B.A.D.C.E.D.C.C.E, τ_0_0.B.A.D.D.C.C.C.A == τ_0_0.B.A.D.D.C.C.C.A.E, τ_0_0.B.A.D.E.B.A.C.C == τ_0_0.B.A.D.E.B.C.A.C.E, τ_0_0.B.A.D.E.C.A.C.E == τ_0_0.B.D.A.E.C.A.C.E, τ_0_0.B.A.E.A.D.C.C.C == τ_0_0.B.A.E.A.D.C.C.C.E, τ_0_0.B.A.E.A.D.D.C.C == τ_0_0.B.A.E.A.D.D.C.C.E, τ_0_0.B.A.E.B.A.C.C.C == τ_0_0.B.A.E.B.A.C.C.C.E, τ_0_0.B.B.A.A.C.D.C.C == τ_0_0.B.B.A.A.C.D.C.C.E, τ_0_0.B.B.A.A.D.C.C.C == τ_0_0.B.B.A.A.D.C.C.C.E, τ_0_0.B.B.A.A.D.D.C.C == τ_0_0.B.B.A.A.D.D.C.C.E, τ_0_0.B.B.A.C.D.D.C.C == τ_0_0.B.B.A.C.D.D.C.C.E, τ_0_0.B.B.A.D.C.D.C.C == τ_0_0.B.B.A.D.C.D.C.C.E, τ_0_0.B.C.A.D.D.C.C.E == τ_0_0.C.B.A.D.D.C.C.E, τ_0_0.B.C.A.E.B.A.C.E == τ_0_0.C.B.A.E.B.A.C.E, τ_0_0.B.C.D.C.E.A.E.C == τ_0_0.B.C.D.C.E.A.E.C.E, τ_0_0.B.C.E.A.D.D.C.C == τ_0_0.B.C.E.A.D.D.C.C.E, τ_0_0.B.C.E.D.C.C.C.A == τ_0_0.B.C.E.D.C.C.C.A.E, τ_0_0.B.C.E.D.D.C.C.E == τ_0_0.C.B.E.D.D.C.C.E, τ_0_0.B.D.A.C.B.A.C.E == τ_0_0.B.D.C.A.B.A.C.E, τ_0_0.B.D.A.C.D.C.C.E == τ_0_0.D.B.A.C.D.C.C.E, τ_0_0.B.D.A.C.E.C.C.A == τ_0_0.B.D.C.A.E.C.C.A, τ_0_0.B.D.A.E.C.A.C.E == τ_0_0.D.B.A.E.C.A.C.E, τ_0_0.B.D.C.A.B.A.C.E == τ_0_0.D.B.A.C.B.A.C.E, τ_0_0.B.D.C.A.E.A.C.E == τ_0_0.D.B.C.A.E.A.C.E, τ_0_0.B.D.C.A.E.C.C.A == τ_0_0.D.B.A.C.E.C.C.A, τ_0_0.B.D.C.E.A.A.C.E == τ_0_0.D.B.C.E.A.A.C.E, τ_0_0.B.D.C.E.A.B.E.C == τ_0_0.B.D.C.E.A.B.E.C.E, τ_0_0.B.D.C.E.A.C.C.A == τ_0_0.B.D.E.A.C.C.C.A, τ_0_0.B.D.C.E.B.A.E.C == τ_0_0.B.D.C.E.B.A.E.C.E, τ_0_0.B.D.C.E.D.C.C.E == τ_0_0.D.B.C.E.D.C.C.E, τ_0_0.B.D.C.E.E.B.A.C == τ_0_0.B.D.C.E.E.B.A.C.E, τ_0_0.B.D.E.A.C.A.C.E == τ_0_0.B.D.E.C.A.A.C.E, τ_0_0.B.D.E.A.C.C.C.A == τ_0_0.B.D.E.C.A.C.C.A, τ_0_0.B.D.E.B.A.C.C.C == τ_0_0.B.D.E.B.A.C.C.C.E, τ_0_0.B.D.E.B.C.A.C.E == τ_0_0.B.D.E.C.B.A.C.E, τ_0_0.B.D.E.C.A.A.C.E == τ_0_0.D.B.E.A.C.A.C.E, τ_0_0.B.D.E.C.A.C.C.A == τ_0_0.D.B.C.E.A.C.C.A, τ_0_0.B.D.E.C.B.A.C.E == τ_0_0.D.B.E.C.B.A.C.E, τ_0_0.B.E.A.A.A.D.C.C == τ_0_0.B.E.A.A.D.A.C.C.E, τ_0_0.B.E.A.A.D.D.C.C == τ_0_0.B.E.A.A.D.D.C.C.E, τ_0_0.B.E.A.B.A.D.C.C == τ_0_0.B.E.A.B.D.A.C.C.E, τ_0_0.B.E.A.C.B.A.C.E == τ_0_0.B.E.C.A.B.A.C.E, τ_0_0.B.E.A.D.C.A.C.E == τ_0_0.B.E.D.A.C.A.C.E, τ_0_0.B.E.A.D.C.C.C.A == τ_0_0.B.E.D.A.C.C.C.A, τ_0_0.B.E.A.D.C.D.C.C == τ_0_0.B.E.A.D.C.D.C.C.E, τ_0_0.B.E.B.A.A.C.C.C == τ_0_0.B.E.B.A.A.C.C.C.E, τ_0_0.B.E.B.A.C.D.C.C == τ_0_0.B.E.B.A.C.D.C.C.E, τ_0_0.B.E.D.A.C.A.C.E == τ_0_0.B.E.D.C.A.A.C.E, τ_0_0.B.E.D.A.C.C.C.A == τ_0_0.B.E.D.C.A.C.C.A, τ_0_0.B.E.D.C.A.C.C.A == τ_0_0.B.E.A.A.D.C.C.C.E, τ_0_0.C.B.E.D.D.C.C.E == τ_0_0.B.E.A.C.D.D.C.C.E, τ_0_0.C.C.E.B.C.E.C.A == τ_0_0.C.C.E.B.C.E.C.A.E, τ_0_0.C.C.E.B.E.B.A.C == τ_0_0.C.C.E.B.E.B.A.C.E, τ_0_0.C.C.E.D.C.E.C.A == τ_0_0.C.C.E.D.C.E.C.A.E, τ_0_0.C.D.C.E.B.A.E.C == τ_0_0.C.D.C.E.B.A.E.C.E, τ_0_0.C.D.C.E.E.B.A.C == τ_0_0.C.D.C.E.E.B.A.C.E, τ_0_0.C.E.A.A.D.D.C.C == τ_0_0.C.E.A.A.D.D.C.C.E, τ_0_0.C.E.A.D.C.C.C.A == τ_0_0.C.E.A.D.C.C.C.A.E, τ_0_0.C.E.B.A.C.C.C.A == τ_0_0.C.E.B.C.C.A.C.A.E, τ_0_0.C.E.D.C.C.B.C.A == τ_0_0.C.E.D.C.C.B.C.A.E, τ_0_0.C.E.D.D.C.C.C.A == τ_0_0.C.E.D.D.C.C.C.A.E, τ_0_0.D.A.B.C.B.A.C.E == τ_0_0.D.A.C.B.B.A.C.E, τ_0_0.D.A.B.C.E.C.C.A == τ_0_0.D.A.C.B.E.C.C.A, τ_0_0.D.A.B.E.C.A.C.E == τ_0_0.A.B.E.D.C.B.A.C.E, τ_0_0.D.A.C.B.B.A.C.E == τ_0_0.D.C.A.B.B.A.C.E, τ_0_0.D.A.C.B.E.A.C.E == τ_0_0.D.C.A.B.E.A.C.E, τ_0_0.D.A.C.B.E.C.C.A == τ_0_0.D.C.A.B.E.C.C.A, τ_0_0.D.A.C.E.D.C.C.E == τ_0_0.D.C.A.E.D.C.C.E, τ_0_0.D.A.E.B.C.A.C.E == τ_0_0.D.A.E.C.B.A.C.E, τ_0_0.D.A.E.C.B.A.C.E == τ_0_0.A.E.B.D.C.B.A.C.E, τ_0_0.D.B.A.C.B.A.C.E == τ_0_0.D.B.C.A.B.A.C.E, τ_0_0.D.B.A.C.E.C.C.A == τ_0_0.D.B.C.A.E.C.C.A, τ_0_0.D.B.A.E.C.A.C.E == τ_0_0.B.A.E.D.C.B.A.C.E, τ_0_0.D.B.C.A.B.A.C.E == τ_0_0.D.C.B.A.B.A.C.E, τ_0_0.D.B.C.A.E.A.C.E == τ_0_0.D.C.B.A.E.A.C.E, τ_0_0.D.B.C.A.E.C.C.A == τ_0_0.D.C.B.A.E.C.C.A, τ_0_0.D.B.C.E.A.A.C.E == τ_0_0.D.C.B.E.A.A.C.E, τ_0_0.D.B.C.E.A.C.C.A == τ_0_0.D.B.E.A.C.C.C.A, τ_0_0.D.B.C.E.D.C.C.E == τ_0_0.D.C.B.E.D.C.C.E, τ_0_0.D.B.E.A.C.A.C.E == τ_0_0.D.B.E.C.A.A.C.E, τ_0_0.D.B.E.A.C.C.C.A == τ_0_0.D.B.E.C.A.C.C.A, τ_0_0.D.B.E.C.A.C.C.A == τ_0_0.D.C.B.E.A.C.C.A, τ_0_0.D.C.B.E.B.A.C.E == τ_0_0.B.D.E.A.C.B.A.C.E, τ_0_0.D.C.B.E.D.C.C.E == τ_0_0.B.D.E.A.C.D.C.C.E, τ_0_0.D.C.C.E.B.A.E.C == τ_0_0.D.C.C.E.B.A.E.C.E, τ_0_0.D.C.E.B.A.B.E.C == τ_0_0.D.C.E.B.A.B.E.C.E, τ_0_0.D.C.E.B.B.A.C.E == τ_0_0.D.E.A.B.C.B.A.C.E, τ_0_0.D.C.E.B.B.A.E.C == τ_0_0.D.C.E.B.B.A.E.C.E, τ_0_0.D.C.E.B.E.B.A.C == τ_0_0.D.C.E.B.E.B.A.C.E, τ_0_0.D.C.E.D.C.C.C.A == τ_0_0.D.C.E.D.C.C.C.A.E, τ_0_0.D.D.C.E.E.B.A.C == τ_0_0.D.D.C.E.E.B.A.C.E, τ_0_0.D.D.E.C.C.E.C.A == τ_0_0.D.D.E.C.C.E.C.A.E, τ_0_0.D.D.E.C.E.B.A.C == τ_0_0.D.D.E.C.E.B.A.C.E, τ_0_0.D.E.A.B.C.A.C.E == τ_0_0.D.E.A.C.B.A.C.E, τ_0_0.D.E.A.C.B.A.C.E == τ_0_0.D.E.C.A.B.A.C.E, τ_0_0.D.E.A.C.D.C.C.E == τ_0_0.E.B.A.D.C.D.C.C.E, τ_0_0.D.E.A.D.C.C.C.A == τ_0_0.D.E.A.D.C.C.C.A.E, τ_0_0.D.E.B.A.B.A.C.C == τ_0_0.D.E.B.A.B.C.A.C.E, τ_0_0.D.E.B.A.C.A.C.E == τ_0_0.D.E.B.C.A.A.C.E, τ_0_0.D.E.B.A.C.C.C.A == τ_0_0.D.E.B.C.A.C.C.A, τ_0_0.D.E.B.A.C.D.C.C == τ_0_0.D.E.B.A.C.D.C.C.E, τ_0_0.D.E.B.B.A.C.C.C == τ_0_0.D.E.B.B.A.C.C.C.E, τ_0_0.D.E.B.B.C.A.C.E == τ_0_0.D.E.B.C.B.A.C.E, τ_0_0.D.E.B.C.A.A.C.E == τ_0_0.D.E.C.B.A.A.C.E, τ_0_0.D.E.B.C.A.C.C.A == τ_0_0.D.E.C.B.A.C.C.A, τ_0_0.D.E.B.C.B.A.C.E == τ_0_0.D.E.C.B.B.A.C.E, τ_0_0.D.E.C.A.B.A.C.E == τ_0_0.E.B.A.D.C.B.A.C.E, τ_0_0.D.E.C.B.A.C.C.A == τ_0_0.D.E.B.A.A.C.C.C.E, τ_0_0.E.A.A.A.D.C.C.C == τ_0_0.E.A.A.A.D.C.C.C.E, τ_0_0.E.A.A.A.D.D.C.C == τ_0_0.E.A.A.A.D.D.C.C.E, τ_0_0.E.A.A.D.C.D.C.C == τ_0_0.E.A.A.D.C.D.C.C.E, τ_0_0.E.A.B.A.A.D.C.C == τ_0_0.E.A.B.A.D.A.C.C.E, τ_0_0.E.A.B.A.D.C.C.C == τ_0_0.E.A.B.A.D.C.C.C.E, τ_0_0.E.A.B.A.D.D.C.C == τ_0_0.E.A.B.A.D.D.C.C.E, τ_0_0.E.A.B.B.A.D.C.C == τ_0_0.E.A.B.B.D.A.C.C.E, τ_0_0.E.A.B.C.B.A.C.E == τ_0_0.E.A.C.B.B.A.C.E, τ_0_0.E.A.B.D.C.A.C.E == τ_0_0.E.A.D.B.C.A.C.E, τ_0_0.E.A.C.B.B.A.C.E == τ_0_0.E.C.A.B.B.A.C.E, τ_0_0.E.A.C.D.D.C.C.E == τ_0_0.E.C.A.D.D.C.C.E, τ_0_0.E.A.D.B.C.A.C.E == τ_0_0.E.A.D.C.B.A.C.E, τ_0_0.E.A.D.C.B.A.C.E == τ_0_0.E.D.A.B.C.A.C.E, τ_0_0.E.A.D.C.C.C.C.A == τ_0_0.E.A.D.C.C.C.C.A.E, τ_0_0.E.A.D.C.D.C.C.E == τ_0_0.E.D.A.C.D.C.C.E, τ_0_0.E.A.D.D.C.C.C.A == τ_0_0.E.A.D.D.C.C.C.A.E, τ_0_0.E.B.A.A.A.C.C.C == τ_0_0.E.B.A.A.A.C.C.C.E, τ_0_0.E.B.A.A.C.D.C.C == τ_0_0.E.B.A.A.C.D.C.C.E, τ_0_0.E.B.A.B.A.C.C.C == τ_0_0.E.B.A.B.A.C.C.C.E, τ_0_0.E.B.A.B.C.A.C.E == τ_0_0.E.B.A.C.B.A.C.E, τ_0_0.E.B.A.C.B.A.C.E == τ_0_0.E.B.C.A.B.A.C.E, τ_0_0.E.B.A.C.C.C.C.A == τ_0_0.E.B.A.C.C.C.C.A.E, τ_0_0.E.B.A.C.D.D.C.C == τ_0_0.E.B.A.C.D.D.C.C.E, τ_0_0.E.B.A.D.C.A.C.E == τ_0_0.E.B.D.A.C.A.C.E, τ_0_0.E.B.A.D.C.C.C.A == τ_0_0.E.B.D.A.C.C.C.A, τ_0_0.E.B.B.A.A.C.C.C == τ_0_0.E.B.B.A.A.C.C.C.E, τ_0_0.E.B.B.A.C.D.C.C == τ_0_0.E.B.B.A.C.D.C.C.E, τ_0_0.E.B.C.A.B.A.C.E == τ_0_0.E.C.B.A.B.A.C.E, τ_0_0.E.B.D.A.C.A.C.E == τ_0_0.E.B.D.C.A.A.C.E, τ_0_0.E.B.D.A.C.C.C.A == τ_0_0.E.B.D.C.A.C.C.A, τ_0_0.E.B.D.C.A.A.C.E == τ_0_0.E.D.B.A.C.A.C.E, τ_0_0.E.B.D.C.A.C.C.A == τ_0_0.E.D.B.A.C.C.C.A, τ_0_0.E.B.D.C.B.A.C.E == τ_0_0.E.D.B.C.B.A.C.E, τ_0_0.E.D.A.B.C.A.C.E == τ_0_0.E.D.A.C.B.A.C.E, τ_0_0.E.D.A.C.B.A.C.E == τ_0_0.E.D.C.A.B.A.C.E, τ_0_0.E.D.B.A.C.A.C.E == τ_0_0.E.D.B.C.A.A.C.E, τ_0_0.E.D.B.A.C.C.C.A == τ_0_0.E.D.B.C.A.C.C.A, τ_0_0.E.D.B.C.A.A.C.E == τ_0_0.E.D.C.B.A.A.C.E, τ_0_0.E.D.B.C.A.C.C.A == τ_0_0.E.D.C.B.A.C.C.A, τ_0_0.E.D.B.C.B.A.C.E == τ_0_0.E.D.C.B.B.A.C.E, τ_0_0.A.A.B.A.C.D.D.C.C == τ_0_0.A.A.B.A.C.D.D.C.C.E, τ_0_0.A.A.B.A.D.C.C.C.E == τ_0_0.A.A.B.D.A.C.C.C.E, τ_0_0.A.A.B.A.D.C.D.C.C == τ_0_0.A.A.B.A.D.C.D.C.C.E, τ_0_0.A.B.A.A.C.D.D.C.C == τ_0_0.A.B.A.A.C.D.D.C.C.E, τ_0_0.A.B.A.A.D.C.D.C.C == τ_0_0.A.B.A.A.D.C.D.C.C.E, τ_0_0.A.B.A.B.A.C.D.C.C == τ_0_0.A.B.A.B.A.C.D.C.C.E, τ_0_0.A.B.A.B.A.D.C.C.C == τ_0_0.A.B.A.B.A.D.C.C.C.E, τ_0_0.A.B.A.B.A.D.D.C.C == τ_0_0.A.B.A.B.A.D.D.C.C.E, τ_0_0.A.B.A.B.D.C.C.E.C == τ_0_0.A.B.A.B.D.C.C.E.C.E, τ_0_0.A.B.B.A.A.C.D.C.C == τ_0_0.A.B.B.A.A.C.D.C.C.E, τ_0_0.A.B.B.A.A.D.C.C.C == τ_0_0.A.B.B.A.A.D.C.C.C.E, τ_0_0.A.B.B.A.A.D.D.C.C == τ_0_0.A.B.B.A.A.D.D.C.C.E, τ_0_0.A.B.B.A.C.D.D.C.C == τ_0_0.A.B.B.A.C.D.D.C.C.E, τ_0_0.A.B.B.A.D.C.D.C.C == τ_0_0.A.B.B.A.D.C.D.C.C.E, τ_0_0.A.B.C.E.A.D.D.C.C == τ_0_0.A.B.C.E.A.D.D.C.C.E, τ_0_0.A.B.C.E.C.C.B.C.A == τ_0_0.A.B.C.E.C.C.B.C.A.E, τ_0_0.A.B.C.E.D.C.C.C.A == τ_0_0.A.B.C.E.D.C.C.C.A.E, τ_0_0.A.B.D.C.E.C.C.C.A == τ_0_0.A.B.D.C.E.C.C.C.A.E, τ_0_0.A.B.D.E.B.A.C.C.C == τ_0_0.A.B.D.E.B.A.C.C.C.E, τ_0_0.A.B.D.E.B.C.A.C.E == τ_0_0.A.B.D.E.C.B.A.C.E, τ_0_0.A.B.D.E.C.B.A.C.E == τ_0_0.A.D.B.E.C.B.A.C.E, τ_0_0.A.B.E.A.A.D.C.C.C == τ_0_0.A.B.E.A.A.D.C.C.C.E, τ_0_0.A.B.E.A.A.D.D.C.C == τ_0_0.A.B.E.A.A.D.D.C.C.E, τ_0_0.A.B.E.A.D.C.D.C.C == τ_0_0.A.B.E.A.D.C.D.C.C.E, τ_0_0.A.B.E.B.A.A.C.C.C == τ_0_0.A.B.E.B.A.A.C.C.C.E, τ_0_0.A.B.E.B.A.C.D.C.C == τ_0_0.A.B.E.B.A.C.D.C.C.E, τ_0_0.A.C.D.D.C.C.B.C.A == τ_0_0.A.C.D.D.C.C.B.C.A.E, τ_0_0.A.C.E.A.A.D.D.C.C == τ_0_0.A.C.E.A.A.D.D.C.C.E, τ_0_0.A.C.E.D.C.C.B.C.A == τ_0_0.A.C.E.D.C.C.B.C.A.E, τ_0_0.A.C.E.D.D.C.C.C.A == τ_0_0.A.C.E.D.D.C.C.C.A.E, τ_0_0.A.D.B.E.C.B.A.C.E == τ_0_0.D.A.B.E.C.B.A.C.E, τ_0_0.A.D.C.B.E.B.A.C.E == τ_0_0.D.A.C.B.E.B.A.C.E, τ_0_0.A.D.C.D.C.C.B.C.A == τ_0_0.A.D.C.D.C.C.B.C.A.E, τ_0_0.A.D.C.E.D.C.C.C.A == τ_0_0.A.D.C.E.D.C.C.C.A.E, τ_0_0.A.D.D.E.C.C.E.C.A == τ_0_0.A.D.D.E.C.C.E.C.A.E, τ_0_0.A.D.D.E.C.E.B.A.C == τ_0_0.A.D.D.E.C.E.B.A.C.E, τ_0_0.A.D.E.B.A.A.C.C.C == τ_0_0.A.D.E.B.A.A.C.C.C.E, τ_0_0.A.D.E.B.A.C.D.C.C == τ_0_0.A.D.E.B.A.C.D.C.C.E, τ_0_0.A.D.E.B.B.A.C.C.C == τ_0_0.A.D.E.B.B.A.C.C.C.E, τ_0_0.A.D.E.B.B.C.A.C.E == τ_0_0.A.D.E.B.C.B.A.C.E, τ_0_0.A.D.E.B.C.B.A.C.E == τ_0_0.A.D.E.C.B.B.A.C.E, τ_0_0.A.D.E.C.B.B.A.C.E == τ_0_0.D.A.E.B.C.B.A.C.E, τ_0_0.A.E.A.A.D.C.D.C.C == τ_0_0.A.E.A.A.D.C.D.C.C.E, τ_0_0.A.E.A.B.A.D.C.C.C == τ_0_0.A.E.A.B.A.D.C.C.C.E, τ_0_0.A.E.A.B.A.D.D.C.C == τ_0_0.A.E.A.B.A.D.D.C.C.E, τ_0_0.A.E.A.B.D.C.C.E.C == τ_0_0.A.E.A.B.D.C.C.E.C.E, τ_0_0.A.E.B.A.A.C.D.C.C == τ_0_0.A.E.B.A.A.C.D.C.C.E, τ_0_0.A.E.B.A.B.A.C.C.C == τ_0_0.A.E.B.A.B.A.C.C.C.E, τ_0_0.A.E.B.A.C.D.D.C.C == τ_0_0.A.E.B.A.C.D.D.C.C.E, τ_0_0.A.E.B.B.A.A.C.C.C == τ_0_0.A.E.B.B.A.A.C.C.C.E, τ_0_0.A.E.B.B.A.C.D.C.C == τ_0_0.A.E.B.B.A.C.D.C.C.E, τ_0_0.A.E.B.D.C.B.A.C.E == τ_0_0.A.E.D.B.C.B.A.C.E, τ_0_0.A.E.D.B.C.B.A.C.E == τ_0_0.A.E.D.C.B.B.A.C.E, τ_0_0.B.A.A.A.C.D.D.C.C == τ_0_0.B.A.A.A.C.D.D.C.C.E, τ_0_0.B.A.A.A.D.C.D.C.C == τ_0_0.B.A.A.A.D.C.D.C.C.E, τ_0_0.B.A.A.B.A.C.D.C.C == τ_0_0.B.A.A.B.A.C.D.C.C.E, τ_0_0.B.A.A.B.A.D.C.C.C == τ_0_0.B.A.A.B.A.D.C.C.C.E, τ_0_0.B.A.A.B.A.D.D.C.C == τ_0_0.B.A.A.B.A.D.D.C.C.E, τ_0_0.B.A.A.B.D.C.C.E.C == τ_0_0.B.A.A.B.D.C.C.E.C.E, τ_0_0.B.A.B.A.A.C.D.C.C == τ_0_0.B.A.B.A.A.C.D.C.C.E, τ_0_0.B.A.B.A.A.D.C.C.C == τ_0_0.B.A.B.A.A.D.C.C.C.E, τ_0_0.B.A.B.A.A.D.D.C.C == τ_0_0.B.A.B.A.A.D.D.C.C.E, τ_0_0.B.A.B.A.C.D.D.C.C == τ_0_0.B.A.B.A.C.D.D.C.C.E, τ_0_0.B.A.B.A.D.C.D.C.C == τ_0_0.B.A.B.A.D.C.D.C.C.E, τ_0_0.B.A.C.D.C.C.B.C.A == τ_0_0.B.A.C.D.C.C.B.C.A.E, τ_0_0.B.A.C.D.D.C.C.C.A == τ_0_0.B.A.C.D.D.C.C.C.A.E, τ_0_0.B.A.C.E.A.D.D.C.C == τ_0_0.B.A.C.E.A.D.D.C.C.E, τ_0_0.B.A.C.E.D.C.C.C.A == τ_0_0.B.A.C.E.D.C.C.C.A.E, τ_0_0.B.A.D.C.C.C.B.C.A == τ_0_0.B.A.D.C.C.C.B.C.A.E, τ_0_0.B.A.D.C.D.C.C.C.A == τ_0_0.B.A.D.C.D.C.C.C.A.E, τ_0_0.B.A.D.D.C.C.B.C.A == τ_0_0.B.A.D.D.C.C.B.C.A.E, τ_0_0.B.A.D.E.B.A.C.C.C == τ_0_0.B.A.D.E.B.A.C.C.C.E, τ_0_0.B.A.D.E.B.C.A.C.E == τ_0_0.B.A.D.E.C.B.A.C.E, τ_0_0.B.A.D.E.C.B.A.C.E == τ_0_0.B.D.A.E.C.B.A.C.E, τ_0_0.B.A.E.A.A.D.C.C.C == τ_0_0.B.A.E.A.A.D.C.C.C.E, τ_0_0.B.A.E.A.A.D.D.C.C == τ_0_0.B.A.E.A.A.D.D.C.C.E, τ_0_0.B.A.E.A.D.C.D.C.C == τ_0_0.B.A.E.A.D.C.D.C.C.E, τ_0_0.B.A.E.B.A.A.C.C.C == τ_0_0.B.A.E.B.A.A.C.C.C.E, τ_0_0.B.A.E.B.A.C.D.C.C == τ_0_0.B.A.E.B.A.C.D.C.C.E, τ_0_0.B.B.A.A.C.D.D.C.C == τ_0_0.B.B.A.A.C.D.D.C.C.E, τ_0_0.B.B.A.A.D.C.C.C.E == τ_0_0.B.B.A.D.A.C.C.C.E, τ_0_0.B.B.A.A.D.C.D.C.C == τ_0_0.B.B.A.A.D.C.D.C.C.E, τ_0_0.B.C.C.E.D.C.E.C.A == τ_0_0.B.C.C.E.D.C.E.C.A.E, τ_0_0.B.C.D.C.E.E.B.A.C == τ_0_0.B.C.D.C.E.E.B.A.C.E, τ_0_0.B.C.E.A.A.D.D.C.C == τ_0_0.B.C.E.A.A.D.D.C.C.E, τ_0_0.B.C.E.A.D.C.C.C.A == τ_0_0.B.C.E.A.D.C.C.C.A.E, τ_0_0.B.C.E.A.D.D.C.C.E == τ_0_0.C.B.E.A.D.D.C.C.E, τ_0_0.B.C.E.D.C.C.B.C.A == τ_0_0.B.C.E.D.C.C.B.C.A.E, τ_0_0.B.C.E.D.D.C.C.C.A == τ_0_0.B.C.E.D.D.C.C.C.A.E, τ_0_0.B.D.A.E.C.B.A.C.E == τ_0_0.D.B.A.E.C.B.A.C.E, τ_0_0.B.D.C.A.E.B.A.C.E == τ_0_0.D.B.C.A.E.B.A.C.E, τ_0_0.B.D.C.E.D.C.C.C.A == τ_0_0.B.D.C.E.D.C.C.C.A.E, τ_0_0.B.D.E.A.C.B.A.C.E == τ_0_0.B.D.E.C.A.B.A.C.E, τ_0_0.B.D.E.A.D.C.C.C.A == τ_0_0.B.D.E.A.D.C.C.C.A.E, τ_0_0.B.D.E.B.A.A.C.C.C == τ_0_0.B.D.E.B.A.A.C.C.C.E, τ_0_0.B.D.E.B.A.C.D.C.C == τ_0_0.B.D.E.B.A.C.D.C.C.E, τ_0_0.B.D.E.C.A.B.A.C.E == τ_0_0.D.B.E.A.C.B.A.C.E, τ_0_0.B.E.A.A.A.D.C.C.C == τ_0_0.B.E.A.A.A.D.C.C.C.E, τ_0_0.B.E.A.A.A.D.D.C.C == τ_0_0.B.E.A.A.A.D.D.C.C.E, τ_0_0.B.E.A.A.D.C.D.C.C == τ_0_0.B.E.A.A.D.C.D.C.C.E, τ_0_0.B.E.A.B.A.D.C.C.C == τ_0_0.B.E.A.B.A.D.C.C.C.E, τ_0_0.B.E.A.B.A.D.D.C.C == τ_0_0.B.E.A.B.A.D.D.C.C.E, τ_0_0.B.E.A.B.D.A.C.C.E == τ_0_0.B.E.A.D.C.B.A.C.E, τ_0_0.B.E.A.C.D.D.C.C.E == τ_0_0.B.E.C.A.D.D.C.C.E, τ_0_0.B.E.A.D.C.B.A.C.E == τ_0_0.B.E.D.A.C.B.A.C.E, τ_0_0.B.E.A.D.C.C.C.C.A == τ_0_0.B.E.A.D.C.C.C.C.A.E, τ_0_0.B.E.A.D.C.D.C.C.E == τ_0_0.B.E.D.A.C.D.C.C.E, τ_0_0.B.E.A.D.D.C.C.C.A == τ_0_0.B.E.A.D.D.C.C.C.A.E, τ_0_0.B.E.B.A.A.C.D.C.C == τ_0_0.B.E.B.A.A.C.D.C.C.E, τ_0_0.B.E.B.A.C.D.D.C.C == τ_0_0.B.E.B.A.C.D.D.C.C.E, τ_0_0.B.E.D.A.C.B.A.C.E == τ_0_0.B.E.D.C.A.B.A.C.E, τ_0_0.C.C.E.B.C.E.B.C.A == τ_0_0.C.C.E.B.C.E.B.C.A.E, τ_0_0.C.C.E.B.D.C.E.C.A == τ_0_0.C.C.E.B.D.C.E.C.A.E, τ_0_0.C.C.E.D.C.E.B.C.A == τ_0_0.C.C.E.D.C.E.B.C.A.E, τ_0_0.C.D.C.E.B.C.E.C.A == τ_0_0.C.D.C.E.B.C.E.C.A.E, τ_0_0.C.D.C.E.B.E.B.A.C == τ_0_0.C.D.C.E.B.E.B.A.C.E, τ_0_0.C.D.C.E.D.C.E.C.A == τ_0_0.C.D.C.E.D.C.E.C.A.E, τ_0_0.C.D.D.C.E.E.B.A.C == τ_0_0.C.D.D.C.E.E.B.A.C.E, τ_0_0.C.D.D.E.C.C.E.C.A == τ_0_0.C.D.D.E.C.C.E.C.A.E, τ_0_0.C.D.D.E.C.E.B.A.C == τ_0_0.C.D.D.E.C.E.B.A.C.E, τ_0_0.C.D.E.A.D.C.C.C.A == τ_0_0.C.D.E.A.D.C.C.C.A.E, τ_0_0.C.D.E.B.A.C.C.C.A == τ_0_0.C.D.E.B.A.C.C.C.A.E, τ_0_0.C.E.A.A.A.D.D.C.C == τ_0_0.C.E.A.A.A.D.D.C.C.E, τ_0_0.C.E.A.B.A.D.D.C.C == τ_0_0.C.E.A.B.A.D.D.C.C.E, τ_0_0.C.E.A.D.C.C.B.C.A == τ_0_0.C.E.A.D.C.C.B.C.A.E, τ_0_0.C.E.A.D.D.C.C.C.A == τ_0_0.C.E.A.D.D.C.C.C.A.E, τ_0_0.C.E.D.D.C.C.B.C.A == τ_0_0.C.E.D.D.C.C.B.C.A.E, τ_0_0.D.A.C.B.E.B.A.C.E == τ_0_0.D.C.A.B.E.B.A.C.E, τ_0_0.D.A.E.B.C.B.A.C.E == τ_0_0.D.A.E.C.B.B.A.C.E, τ_0_0.D.B.C.A.E.B.A.C.E == τ_0_0.D.C.B.A.E.B.A.C.E, τ_0_0.D.B.E.A.C.B.A.C.E == τ_0_0.D.B.E.C.A.B.A.C.E, τ_0_0.D.C.C.E.B.C.E.C.A == τ_0_0.D.C.C.E.B.C.E.C.A.E, τ_0_0.D.C.C.E.B.E.B.A.C == τ_0_0.D.C.C.E.B.E.B.A.C.E, τ_0_0.D.C.C.E.D.C.E.C.A == τ_0_0.D.C.C.E.D.C.E.C.A.E, τ_0_0.D.C.D.C.E.B.C.C.A == τ_0_0.D.C.D.C.E.B.C.C.A.E, τ_0_0.D.C.D.C.E.E.B.A.C == τ_0_0.D.C.D.C.E.E.B.A.C.E, τ_0_0.D.C.D.E.C.C.E.C.A == τ_0_0.D.C.D.E.C.C.E.C.A.E, τ_0_0.D.C.D.E.C.E.B.A.C == τ_0_0.D.C.D.E.C.E.B.A.C.E, τ_0_0.D.C.E.A.D.C.C.C.A == τ_0_0.D.C.E.A.D.C.C.C.A.E, τ_0_0.D.C.E.D.C.C.B.C.A == τ_0_0.D.C.E.D.C.C.B.C.A.E, τ_0_0.D.D.E.C.C.E.B.C.A == τ_0_0.D.D.E.C.C.E.B.C.A.E, τ_0_0.D.E.A.B.C.B.A.C.E == τ_0_0.D.E.A.C.B.B.A.C.E, τ_0_0.D.E.A.C.B.B.A.C.E == τ_0_0.D.E.C.A.B.B.A.C.E, τ_0_0.D.E.A.D.C.C.B.C.A == τ_0_0.D.E.A.D.C.C.B.C.A.E, τ_0_0.D.E.B.A.A.A.C.C.C == τ_0_0.D.E.B.A.A.A.C.C.C.E, τ_0_0.D.E.B.A.A.C.D.C.C == τ_0_0.D.E.B.A.A.C.D.C.C.E, τ_0_0.D.E.B.A.B.A.C.C.C == τ_0_0.D.E.B.A.B.A.C.C.C.E, τ_0_0.D.E.B.A.B.C.A.C.E == τ_0_0.D.E.B.A.C.B.A.C.E, τ_0_0.D.E.B.A.C.B.A.C.E == τ_0_0.D.E.B.C.A.B.A.C.E, τ_0_0.D.E.B.A.C.C.C.C.A == τ_0_0.D.E.B.A.C.C.C.C.A.E, τ_0_0.D.E.B.B.A.A.C.C.C == τ_0_0.D.E.B.B.A.A.C.C.C.E, τ_0_0.D.E.B.B.A.C.D.C.C == τ_0_0.D.E.B.B.A.C.D.C.C.E, τ_0_0.D.E.B.C.A.B.A.C.E == τ_0_0.D.E.C.B.A.B.A.C.E, τ_0_0.E.A.A.A.D.C.D.C.C == τ_0_0.E.A.A.A.D.C.D.C.C.E, τ_0_0.E.A.A.B.A.D.C.C.C == τ_0_0.E.A.A.B.A.D.C.C.C.E, τ_0_0.E.A.A.B.A.D.D.C.C == τ_0_0.E.A.A.B.A.D.D.C.C.E, τ_0_0.E.A.A.B.D.C.C.E.C == τ_0_0.E.A.A.B.D.C.C.E.C.E, τ_0_0.E.A.B.A.A.D.C.C.C == τ_0_0.E.A.B.A.A.D.C.C.C.E, τ_0_0.E.A.B.A.A.D.D.C.C == τ_0_0.E.A.B.A.A.D.D.C.C.E, τ_0_0.E.A.B.A.D.C.D.C.C == τ_0_0.E.A.B.A.D.C.D.C.C.E, τ_0_0.E.A.B.B.A.D.C.C.C == τ_0_0.E.A.B.B.A.D.C.C.C.E, τ_0_0.E.A.B.B.A.D.D.C.C == τ_0_0.E.A.B.B.A.D.D.C.C.E, τ_0_0.E.A.B.B.D.A.C.C.E == τ_0_0.E.A.B.D.C.B.A.C.E, τ_0_0.E.A.B.D.C.B.A.C.E == τ_0_0.E.A.D.B.C.B.A.C.E, τ_0_0.E.A.D.B.C.B.A.C.E == τ_0_0.E.A.D.C.B.B.A.C.E, τ_0_0.E.A.D.C.B.B.A.C.E == τ_0_0.E.D.A.B.C.B.A.C.E, τ_0_0.E.A.D.C.C.C.B.C.A == τ_0_0.E.A.D.C.C.C.B.C.A.E, τ_0_0.E.A.D.C.D.C.C.C.A == τ_0_0.E.A.D.C.D.C.C.C.A.E, τ_0_0.E.A.D.D.C.C.B.C.A == τ_0_0.E.A.D.D.C.C.B.C.A.E, τ_0_0.E.B.A.A.A.C.D.C.C == τ_0_0.E.B.A.A.A.C.D.C.C.E, τ_0_0.E.B.A.A.B.A.C.C.C == τ_0_0.E.B.A.A.B.A.C.C.C.E, τ_0_0.E.B.A.A.C.D.D.C.C == τ_0_0.E.B.A.A.C.D.D.C.C.E, τ_0_0.E.B.A.B.A.A.C.C.C == τ_0_0.E.B.A.B.A.A.C.C.C.E, τ_0_0.E.B.A.B.A.C.D.C.C == τ_0_0.E.B.A.B.A.C.D.C.C.E, τ_0_0.E.B.A.C.C.C.B.C.A == τ_0_0.E.B.A.C.C.C.B.C.A.E, τ_0_0.E.B.A.C.D.C.C.C.A == τ_0_0.E.B.A.C.D.C.C.C.A.E, τ_0_0.E.B.A.C.D.D.C.C.E == τ_0_0.E.B.C.A.D.D.C.C.E, τ_0_0.E.B.A.D.C.B.A.C.E == τ_0_0.E.B.D.A.C.B.A.C.E, τ_0_0.E.B.A.D.C.D.C.C.E == τ_0_0.E.B.D.A.C.D.C.C.E, τ_0_0.E.B.B.A.A.C.D.C.C == τ_0_0.E.B.B.A.A.C.D.C.C.E, τ_0_0.E.B.B.A.C.D.D.C.C == τ_0_0.E.B.B.A.C.D.D.C.C.E, τ_0_0.E.B.C.A.D.D.C.C.E == τ_0_0.E.C.B.A.D.D.C.C.E, τ_0_0.E.B.D.A.C.B.A.C.E == τ_0_0.E.B.D.C.A.B.A.C.E, τ_0_0.E.B.D.A.C.D.C.C.E == τ_0_0.E.D.B.A.C.D.C.C.E, τ_0_0.E.B.D.C.A.B.A.C.E == τ_0_0.E.D.B.A.C.B.A.C.E, τ_0_0.E.D.A.B.C.B.A.C.E == τ_0_0.E.D.A.C.B.B.A.C.E, τ_0_0.E.D.A.C.B.B.A.C.E == τ_0_0.E.D.C.A.B.B.A.C.E, τ_0_0.E.D.B.A.C.B.A.C.E == τ_0_0.E.D.B.C.A.B.A.C.E, τ_0_0.E.D.B.C.A.B.A.C.E == τ_0_0.E.D.C.B.A.B.A.C.E, τ_0_0.A.B.A.B.A.C.D.D.C.C == τ_0_0.A.B.A.B.A.C.D.D.C.C.E, τ_0_0.A.B.A.B.A.D.C.C.C.E == τ_0_0.A.B.A.B.D.A.C.C.C.E, τ_0_0.A.B.A.B.A.D.C.D.C.C == τ_0_0.A.B.A.B.A.D.C.D.C.C.E, τ_0_0.A.B.B.A.A.C.D.D.C.C == τ_0_0.A.B.B.A.A.C.D.D.C.C.E, τ_0_0.A.B.B.A.A.D.C.C.C.E == τ_0_0.A.B.B.A.D.A.C.C.C.E, τ_0_0.A.B.B.A.A.D.C.D.C.C == τ_0_0.A.B.B.A.A.D.C.D.C.C.E, τ_0_0.A.B.C.E.A.A.D.D.C.C == τ_0_0.A.B.C.E.A.A.D.D.C.C.E, τ_0_0.A.B.C.E.D.C.C.B.C.A == τ_0_0.A.B.C.E.D.C.C.B.C.A.E, τ_0_0.A.B.C.E.D.D.C.C.C.A == τ_0_0.A.B.C.E.D.D.C.C.C.A.E, τ_0_0.A.B.D.C.E.C.C.B.C.A == τ_0_0.A.B.D.C.E.C.C.B.C.A.E, τ_0_0.A.B.D.C.E.D.C.C.C.A == τ_0_0.A.B.D.C.E.D.C.C.C.A.E, τ_0_0.A.B.D.E.B.A.A.C.C.C == τ_0_0.A.B.D.E.B.A.A.C.C.C.E, τ_0_0.A.B.D.E.B.A.C.D.C.C == τ_0_0.A.B.D.E.B.A.C.D.C.C.E, τ_0_0.A.B.E.A.A.D.C.D.C.C == τ_0_0.A.B.E.A.A.D.C.D.C.C.E, τ_0_0.A.B.E.A.B.A.D.C.C.C == τ_0_0.A.B.E.A.B.A.D.C.C.C.E, τ_0_0.A.B.E.A.B.A.D.D.C.C == τ_0_0.A.B.E.A.B.A.D.D.C.C.E, τ_0_0.A.B.E.A.B.D.C.C.E.C == τ_0_0.A.B.E.A.B.D.C.C.E.C.E, τ_0_0.A.B.E.B.A.A.C.D.C.C == τ_0_0.A.B.E.B.A.A.C.D.C.C.E, τ_0_0.A.B.E.B.A.C.D.D.C.C == τ_0_0.A.B.E.B.A.C.D.D.C.C.E, τ_0_0.A.C.D.D.E.C.C.E.C.A == τ_0_0.A.C.D.D.E.C.C.E.C.A.E, τ_0_0.A.C.D.D.E.C.E.B.A.C == τ_0_0.A.C.D.D.E.C.E.B.A.C.E, τ_0_0.A.C.E.A.B.A.D.D.C.C == τ_0_0.A.C.E.A.B.A.D.D.C.C.E, τ_0_0.A.C.E.D.D.C.C.B.C.A == τ_0_0.A.C.E.D.D.C.C.B.C.A.E, τ_0_0.A.D.C.D.E.C.C.E.C.A == τ_0_0.A.D.C.D.E.C.C.E.C.A.E, τ_0_0.A.D.C.D.E.C.E.B.A.C == τ_0_0.A.D.C.D.E.C.E.B.A.C.E, τ_0_0.A.D.C.E.D.C.C.B.C.A == τ_0_0.A.D.C.E.D.C.C.B.C.A.E, τ_0_0.A.D.D.E.C.C.E.B.C.A == τ_0_0.A.D.D.E.C.C.E.B.C.A.E, τ_0_0.A.D.E.B.A.A.C.D.C.C == τ_0_0.A.D.E.B.A.A.C.D.C.C.E, τ_0_0.A.D.E.B.A.B.A.C.C.C == τ_0_0.A.D.E.B.A.B.A.C.C.C.E, τ_0_0.A.D.E.B.B.A.A.C.C.C == τ_0_0.A.D.E.B.B.A.A.C.C.C.E, τ_0_0.A.D.E.B.B.A.C.D.C.C == τ_0_0.A.D.E.B.B.A.C.D.C.C.E, τ_0_0.A.E.A.B.A.D.C.D.C.C == τ_0_0.A.E.A.B.A.D.C.D.C.C.E, τ_0_0.A.E.B.A.A.C.D.D.C.C == τ_0_0.A.E.B.A.A.C.D.D.C.C.E, τ_0_0.A.E.B.A.B.A.C.D.C.C == τ_0_0.A.E.B.A.B.A.C.D.C.C.E, τ_0_0.A.E.B.B.A.A.C.D.C.C == τ_0_0.A.E.B.B.A.A.C.D.C.C.E, τ_0_0.A.E.B.B.A.C.D.D.C.C == τ_0_0.A.E.B.B.A.C.D.D.C.C.E, τ_0_0.B.A.A.B.A.C.D.D.C.C == τ_0_0.B.A.A.B.A.C.D.D.C.C.E, τ_0_0.B.A.A.B.A.D.C.C.C.E == τ_0_0.B.A.A.B.D.A.C.C.C.E, τ_0_0.B.A.A.B.A.D.C.D.C.C == τ_0_0.B.A.A.B.A.D.C.D.C.C.E, τ_0_0.B.A.B.A.A.C.D.D.C.C == τ_0_0.B.A.B.A.A.C.D.D.C.C.E, τ_0_0.B.A.B.A.A.D.C.C.C.E == τ_0_0.B.A.B.A.D.A.C.C.C.E, τ_0_0.B.A.B.A.A.D.C.D.C.C == τ_0_0.B.A.B.A.A.D.C.D.C.C.E, τ_0_0.B.A.C.D.D.C.C.B.C.A == τ_0_0.B.A.C.D.D.C.C.B.C.A.E, τ_0_0.B.A.C.E.A.A.D.D.C.C == τ_0_0.B.A.C.E.A.A.D.D.C.C.E, τ_0_0.B.A.C.E.D.C.C.B.C.A == τ_0_0.B.A.C.E.D.C.C.B.C.A.E, τ_0_0.B.A.C.E.D.D.C.C.C.A == τ_0_0.B.A.C.E.D.D.C.C.C.A.E, τ_0_0.B.A.D.C.D.C.C.B.C.A == τ_0_0.B.A.D.C.D.C.C.B.C.A.E, τ_0_0.B.A.D.C.E.D.C.C.C.A == τ_0_0.B.A.D.C.E.D.C.C.C.A.E, τ_0_0.B.A.D.E.B.A.A.C.C.C == τ_0_0.B.A.D.E.B.A.A.C.C.C.E, τ_0_0.B.A.D.E.B.A.C.D.C.C == τ_0_0.B.A.D.E.B.A.C.D.C.C.E, τ_0_0.B.A.E.A.A.D.C.D.C.C == τ_0_0.B.A.E.A.A.D.C.D.C.C.E, τ_0_0.B.A.E.A.B.A.D.C.C.C == τ_0_0.B.A.E.A.B.A.D.C.C.C.E, τ_0_0.B.A.E.A.B.A.D.D.C.C == τ_0_0.B.A.E.A.B.A.D.D.C.C.E, τ_0_0.B.A.E.A.B.D.C.C.E.C == τ_0_0.B.A.E.A.B.D.C.C.E.C.E, τ_0_0.B.A.E.B.A.A.C.D.C.C == τ_0_0.B.A.E.B.A.A.C.D.C.C.E, τ_0_0.B.A.E.B.A.C.D.D.C.C == τ_0_0.B.A.E.B.A.C.D.D.C.C.E, τ_0_0.B.C.C.E.D.C.E.B.C.A == τ_0_0.B.C.C.E.D.C.E.B.C.A.E, τ_0_0.B.C.D.C.E.D.C.E.C.A == τ_0_0.B.C.D.C.E.D.C.E.C.A.E, τ_0_0.B.C.D.E.A.D.C.C.C.A == τ_0_0.B.C.D.E.A.D.C.C.C.A.E, τ_0_0.B.C.E.A.A.A.D.D.C.C == τ_0_0.B.C.E.A.A.A.D.D.C.C.E, τ_0_0.B.C.E.A.B.A.D.D.C.C == τ_0_0.B.C.E.A.B.A.D.D.C.C.E, τ_0_0.B.C.E.A.D.C.C.B.C.A == τ_0_0.B.C.E.A.D.C.C.B.C.A.E, τ_0_0.B.C.E.A.D.D.C.C.C.A == τ_0_0.B.C.E.A.D.D.C.C.C.A.E, τ_0_0.B.C.E.D.D.C.C.B.C.A == τ_0_0.B.C.E.D.D.C.C.B.C.A.E, τ_0_0.B.D.C.C.E.D.C.E.C.A == τ_0_0.B.D.C.C.E.D.C.E.C.A.E, τ_0_0.B.D.C.E.A.D.C.C.C.A == τ_0_0.B.D.C.E.A.D.C.C.C.A.E, τ_0_0.B.D.C.E.D.C.C.B.C.A == τ_0_0.B.D.C.E.D.C.C.B.C.A.E, τ_0_0.B.D.E.A.D.C.C.B.C.A == τ_0_0.B.D.E.A.D.C.C.B.C.A.E, τ_0_0.B.D.E.B.A.A.C.D.C.C == τ_0_0.B.D.E.B.A.A.C.D.C.C.E, τ_0_0.B.E.A.A.A.D.C.D.C.C == τ_0_0.B.E.A.A.A.D.C.D.C.C.E, τ_0_0.B.E.A.A.B.A.D.C.C.C == τ_0_0.B.E.A.A.B.A.D.C.C.C.E, τ_0_0.B.E.A.A.B.A.D.D.C.C == τ_0_0.B.E.A.A.B.A.D.D.C.C.E, τ_0_0.B.E.A.A.B.D.C.C.E.C == τ_0_0.B.E.A.A.B.D.C.C.E.C.E, τ_0_0.B.E.A.B.A.A.D.C.C.C == τ_0_0.B.E.A.B.A.A.D.C.C.C.E, τ_0_0.B.E.A.B.A.A.D.D.C.C == τ_0_0.B.E.A.B.A.A.D.D.C.C.E, τ_0_0.B.E.A.B.A.D.C.D.C.C == τ_0_0.B.E.A.B.A.D.C.D.C.C.E, τ_0_0.B.E.A.D.C.C.C.B.C.A == τ_0_0.B.E.A.D.C.C.C.B.C.A.E, τ_0_0.B.E.A.D.C.D.C.C.C.A == τ_0_0.B.E.A.D.C.D.C.C.C.A.E, τ_0_0.B.E.A.D.D.C.C.B.C.A == τ_0_0.B.E.A.D.D.C.C.B.C.A.E, τ_0_0.B.E.B.A.A.C.D.D.C.C == τ_0_0.B.E.B.A.A.C.D.D.C.C.E, τ_0_0.C.C.E.B.D.C.E.B.C.A == τ_0_0.C.C.E.B.D.C.E.B.C.A.E, τ_0_0.C.D.C.E.B.C.E.B.C.A == τ_0_0.C.D.C.E.B.C.E.B.C.A.E, τ_0_0.C.D.C.E.B.D.C.E.C.A == τ_0_0.C.D.C.E.B.D.C.E.C.A.E, τ_0_0.C.D.C.E.D.C.E.B.C.A == τ_0_0.C.D.C.E.D.C.E.B.C.A.E, τ_0_0.C.D.D.E.C.C.E.B.C.A == τ_0_0.C.D.D.E.C.C.E.B.C.A.E, τ_0_0.C.D.E.A.D.C.C.B.C.A == τ_0_0.C.D.E.A.D.C.C.B.C.A.E, τ_0_0.C.D.E.B.A.C.C.B.C.A == τ_0_0.C.D.E.B.A.C.C.B.C.A.E, τ_0_0.C.E.A.A.B.A.D.D.C.C == τ_0_0.C.E.A.A.B.A.D.D.C.C.E, τ_0_0.C.E.A.B.A.A.D.D.C.C == τ_0_0.C.E.A.B.A.A.D.D.C.C.E, τ_0_0.C.E.A.B.B.A.D.D.C.C == τ_0_0.C.E.A.B.B.A.D.D.C.C.E, τ_0_0.C.E.A.D.D.C.C.B.C.A == τ_0_0.C.E.A.D.D.C.C.B.C.A.E, τ_0_0.D.C.C.E.B.C.E.B.C.A == τ_0_0.D.C.C.E.B.C.E.B.C.A.E, τ_0_0.D.C.C.E.B.D.C.E.C.A == τ_0_0.D.C.C.E.B.D.C.E.C.A.E, τ_0_0.D.C.C.E.D.C.E.B.C.A == τ_0_0.D.C.C.E.D.C.E.B.C.A.E, τ_0_0.D.C.D.E.C.C.E.B.C.A == τ_0_0.D.C.D.E.C.C.E.B.C.A.E, τ_0_0.D.C.E.A.D.C.C.B.C.A == τ_0_0.D.C.E.A.D.C.C.B.C.A.E, τ_0_0.D.E.B.A.A.A.C.D.C.C == τ_0_0.D.E.B.A.A.A.C.D.C.C.E, τ_0_0.D.E.B.A.A.B.A.C.C.C == τ_0_0.D.E.B.A.A.B.A.C.C.C.E, τ_0_0.D.E.B.A.B.A.A.C.C.C == τ_0_0.D.E.B.A.B.A.A.C.C.C.E, τ_0_0.D.E.B.A.B.A.C.D.C.C == τ_0_0.D.E.B.A.B.A.C.D.C.C.E, τ_0_0.D.E.B.A.C.C.C.B.C.A == τ_0_0.D.E.B.A.C.C.C.B.C.A.E, τ_0_0.D.E.B.A.C.D.C.C.C.A == τ_0_0.D.E.B.A.C.D.C.C.C.A.E, τ_0_0.D.E.B.B.A.A.C.D.C.C == τ_0_0.D.E.B.B.A.A.C.D.C.C.E, τ_0_0.E.A.A.B.A.D.C.C.C.E == τ_0_0.E.A.A.B.D.A.C.C.C.E, τ_0_0.E.A.A.B.A.D.C.D.C.C == τ_0_0.E.A.A.B.A.D.C.D.C.C.E, τ_0_0.E.A.B.A.A.D.C.D.C.C == τ_0_0.E.A.B.A.A.D.C.D.C.C.E, τ_0_0.E.A.B.A.B.A.D.C.C.C == τ_0_0.E.A.B.A.B.A.D.C.C.C.E, τ_0_0.E.A.B.A.B.A.D.D.C.C == τ_0_0.E.A.B.A.B.A.D.D.C.C.E, τ_0_0.E.A.B.A.B.D.C.C.E.C == τ_0_0.E.A.B.A.B.D.C.C.E.C.E, τ_0_0.E.A.B.B.A.A.D.C.C.C == τ_0_0.E.A.B.B.A.A.D.C.C.C.E, τ_0_0.E.A.B.B.A.A.D.D.C.C == τ_0_0.E.A.B.B.A.A.D.D.C.C.E, τ_0_0.E.A.B.B.A.D.C.D.C.C == τ_0_0.E.A.B.B.A.D.C.D.C.C.E, τ_0_0.E.A.D.C.D.C.C.B.C.A == τ_0_0.E.A.D.C.D.C.C.B.C.A.E, τ_0_0.E.B.A.A.A.C.D.D.C.C == τ_0_0.E.B.A.A.A.C.D.D.C.C.E, τ_0_0.E.B.A.A.B.A.C.D.C.C == τ_0_0.E.B.A.A.B.A.C.D.C.C.E, τ_0_0.E.B.A.B.A.A.C.D.C.C == τ_0_0.E.B.A.B.A.A.C.D.C.C.E, τ_0_0.E.B.A.B.A.C.D.D.C.C == τ_0_0.E.B.A.B.A.C.D.D.C.C.E, τ_0_0.E.B.A.C.D.C.C.B.C.A == τ_0_0.E.B.A.C.D.C.C.B.C.A.E, τ_0_0.E.B.A.C.D.D.C.C.C.A == τ_0_0.E.B.A.C.D.D.C.C.C.A.E, τ_0_0.E.B.B.A.A.C.D.D.C.C == τ_0_0.E.B.B.A.A.C.D.D.C.C.E, τ_0_0.A.B.C.E.A.B.A.D.D.C.C == τ_0_0.A.B.C.E.A.B.A.D.D.C.C.E, τ_0_0.A.B.C.E.D.D.C.C.B.C.A == τ_0_0.A.B.C.E.D.D.C.C.B.C.A.E, τ_0_0.A.B.D.C.E.D.C.C.B.C.A == τ_0_0.A.B.D.C.E.D.C.C.B.C.A.E, τ_0_0.A.B.D.E.B.A.A.C.D.C.C == τ_0_0.A.B.D.E.B.A.A.C.D.C.C.E, τ_0_0.A.B.E.A.B.A.D.C.D.C.C == τ_0_0.A.B.E.A.B.A.D.C.D.C.C.E, τ_0_0.A.B.E.B.A.A.C.D.D.C.C == τ_0_0.A.B.E.B.A.A.C.D.D.C.C.E, τ_0_0.A.C.D.D.E.C.C.E.B.C.A == τ_0_0.A.C.D.D.E.C.C.E.B.C.A.E, τ_0_0.A.D.C.D.E.C.C.E.B.C.A == τ_0_0.A.D.C.D.E.C.C.E.B.C.A.E, τ_0_0.A.D.E.B.A.B.A.C.D.C.C == τ_0_0.A.D.E.B.A.B.A.C.D.C.C.E, τ_0_0.A.D.E.B.B.A.A.C.D.C.C == τ_0_0.A.D.E.B.B.A.A.C.D.C.C.E, τ_0_0.A.E.B.A.B.A.C.D.D.C.C == τ_0_0.A.E.B.A.B.A.C.D.D.C.C.E, τ_0_0.A.E.B.B.A.A.C.D.D.C.C == τ_0_0.A.E.B.B.A.A.C.D.D.C.C.E, τ_0_0.B.A.C.E.A.B.A.D.D.C.C == τ_0_0.B.A.C.E.A.B.A.D.D.C.C.E, τ_0_0.B.A.C.E.D.D.C.C.B.C.A == τ_0_0.B.A.C.E.D.D.C.C.B.C.A.E, τ_0_0.B.A.D.C.E.D.C.C.B.C.A == τ_0_0.B.A.D.C.E.D.C.C.B.C.A.E, τ_0_0.B.A.D.E.B.A.A.C.D.C.C == τ_0_0.B.A.D.E.B.A.A.C.D.C.C.E, τ_0_0.B.A.E.A.B.A.D.C.D.C.C == τ_0_0.B.A.E.A.B.A.D.C.D.C.C.E, τ_0_0.B.A.E.B.A.A.C.D.D.C.C == τ_0_0.B.A.E.B.A.A.C.D.D.C.C.E, τ_0_0.B.C.D.C.E.D.C.E.B.C.A == τ_0_0.B.C.D.C.E.D.C.E.B.C.A.E, τ_0_0.B.C.D.E.A.D.C.C.B.C.A == τ_0_0.B.C.D.E.A.D.C.C.B.C.A.E, τ_0_0.B.C.E.A.A.B.A.D.D.C.C == τ_0_0.B.C.E.A.A.B.A.D.D.C.C.E, τ_0_0.B.C.E.A.B.A.A.D.D.C.C == τ_0_0.B.C.E.A.B.A.A.D.D.C.C.E, τ_0_0.B.C.E.A.D.D.C.C.B.C.A == τ_0_0.B.C.E.A.D.D.C.C.B.C.A.E, τ_0_0.B.D.C.C.E.D.C.E.B.C.A == τ_0_0.B.D.C.C.E.D.C.E.B.C.A.E, τ_0_0.B.D.C.E.A.D.C.C.B.C.A == τ_0_0.B.D.C.E.A.D.C.C.B.C.A.E, τ_0_0.B.E.A.A.B.A.D.C.C.C.E == τ_0_0.B.E.A.A.B.D.A.C.C.C.E, τ_0_0.B.E.A.A.B.A.D.C.D.C.C == τ_0_0.B.E.A.A.B.A.D.C.D.C.C.E, τ_0_0.B.E.A.B.A.A.D.C.C.C.E == τ_0_0.B.E.A.B.A.D.A.C.C.C.E, τ_0_0.B.E.A.B.A.A.D.C.D.C.C == τ_0_0.B.E.A.B.A.A.D.C.D.C.C.E, τ_0_0.B.E.A.D.C.D.C.C.B.C.A == τ_0_0.B.E.A.D.C.D.C.C.B.C.A.E, τ_0_0.C.D.C.E.B.D.C.E.B.C.A == τ_0_0.C.D.C.E.B.D.C.E.B.C.A.E, τ_0_0.C.E.A.B.A.B.A.D.D.C.C == τ_0_0.C.E.A.B.A.B.A.D.D.C.C.E, τ_0_0.C.E.A.B.B.A.A.D.D.C.C == τ_0_0.C.E.A.B.B.A.A.D.D.C.C.E, τ_0_0.D.C.C.E.B.D.C.E.B.C.A == τ_0_0.D.C.C.E.B.D.C.E.B.C.A.E, τ_0_0.D.E.B.A.A.B.A.C.D.C.C == τ_0_0.D.E.B.A.A.B.A.C.D.C.C.E, τ_0_0.D.E.B.A.B.A.A.C.D.C.C == τ_0_0.D.E.B.A.B.A.A.C.D.C.C.E, τ_0_0.D.E.B.A.C.D.C.C.B.C.A == τ_0_0.D.E.B.A.C.D.C.C.B.C.A.E, τ_0_0.E.A.B.A.B.A.D.C.C.C.E == τ_0_0.E.A.B.A.B.D.A.C.C.C.E, τ_0_0.E.A.B.A.B.A.D.C.D.C.C == τ_0_0.E.A.B.A.B.A.D.C.D.C.C.E, τ_0_0.E.A.B.B.A.A.D.C.C.C.E == τ_0_0.E.A.B.B.A.D.A.C.C.C.E, τ_0_0.E.A.B.B.A.A.D.C.D.C.C == τ_0_0.E.A.B.B.A.A.D.C.D.C.C.E, τ_0_0.E.B.A.A.B.A.C.D.D.C.C == τ_0_0.E.B.A.A.B.A.C.D.D.C.C.E, τ_0_0.E.B.A.B.A.A.C.D.D.C.C == τ_0_0.E.B.A.B.A.A.C.D.D.C.C.E, τ_0_0.E.B.A.C.D.D.C.C.B.C.A == τ_0_0.E.B.A.C.D.D.C.C.B.C.A.E>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment