244.07/68.98
244.07/68.98
(0) Obligation:
Runtime Complexity TRS:
The TRS R consists of the following rules:
active(__(__(X, Y), Z)) → mark(__(X, __(Y, Z)))
244.07/68.98
active(__(X, nil)) → mark(X)
244.07/68.98
active(__(nil, X)) → mark(X)
244.07/68.98
active(U11(tt)) → mark(tt)
244.07/68.98
active(U21(tt, V2)) → mark(U22(isList(V2)))
244.07/68.98
active(U22(tt)) → mark(tt)
244.07/68.98
active(U31(tt)) → mark(tt)
244.07/68.98
active(U41(tt, V2)) → mark(U42(isNeList(V2)))
244.07/68.98
active(U42(tt)) → mark(tt)
244.07/68.98
active(U51(tt, V2)) → mark(U52(isList(V2)))
244.07/68.98
active(U52(tt)) → mark(tt)
244.07/68.98
active(U61(tt)) → mark(tt)
244.07/68.98
active(U71(tt, P)) → mark(U72(isPal(P)))
244.07/68.98
active(U72(tt)) → mark(tt)
244.07/68.98
active(U81(tt)) → mark(tt)
244.07/68.98
active(isList(V)) → mark(U11(isNeList(V)))
244.07/68.98
active(isList(nil)) → mark(tt)
244.07/68.98
active(isList(__(V1, V2))) → mark(U21(isList(V1), V2))
244.07/68.98
active(isNeList(V)) → mark(U31(isQid(V)))
244.07/68.98
active(isNeList(__(V1, V2))) → mark(U41(isList(V1), V2))
244.07/68.98
active(isNeList(__(V1, V2))) → mark(U51(isNeList(V1), V2))
244.07/68.98
active(isNePal(V)) → mark(U61(isQid(V)))
244.07/68.98
active(isNePal(__(I, __(P, I)))) → mark(U71(isQid(I), P))
244.07/68.98
active(isPal(V)) → mark(U81(isNePal(V)))
244.07/68.98
active(isPal(nil)) → mark(tt)
244.07/68.98
active(isQid(a)) → mark(tt)
244.07/68.98
active(isQid(e)) → mark(tt)
244.07/68.98
active(isQid(i)) → mark(tt)
244.07/68.98
active(isQid(o)) → mark(tt)
244.07/68.98
active(isQid(u)) → mark(tt)
244.07/68.98
active(__(X1, X2)) → __(active(X1), X2)
244.07/68.98
active(__(X1, X2)) → __(X1, active(X2))
244.07/68.98
active(U11(X)) → U11(active(X))
244.07/68.98
active(U21(X1, X2)) → U21(active(X1), X2)
244.07/68.98
active(U22(X)) → U22(active(X))
244.07/68.98
active(U31(X)) → U31(active(X))
244.07/68.98
active(U41(X1, X2)) → U41(active(X1), X2)
244.07/68.98
active(U42(X)) → U42(active(X))
244.07/68.98
active(U51(X1, X2)) → U51(active(X1), X2)
244.07/68.98
active(U52(X)) → U52(active(X))
244.07/68.98
active(U61(X)) → U61(active(X))
244.07/68.98
active(U71(X1, X2)) → U71(active(X1), X2)
244.07/68.98
active(U72(X)) → U72(active(X))
244.07/68.98
active(U81(X)) → U81(active(X))
244.07/68.98
__(mark(X1), X2) → mark(__(X1, X2))
244.07/68.98
__(X1, mark(X2)) → mark(__(X1, X2))
244.07/68.98
U11(mark(X)) → mark(U11(X))
244.07/68.98
U21(mark(X1), X2) → mark(U21(X1, X2))
244.07/68.98
U22(mark(X)) → mark(U22(X))
244.07/68.98
U31(mark(X)) → mark(U31(X))
244.07/68.98
U41(mark(X1), X2) → mark(U41(X1, X2))
244.07/68.98
U42(mark(X)) → mark(U42(X))
244.07/68.98
U51(mark(X1), X2) → mark(U51(X1, X2))
244.07/68.98
U52(mark(X)) → mark(U52(X))
244.07/68.98
U61(mark(X)) → mark(U61(X))
244.07/68.98
U71(mark(X1), X2) → mark(U71(X1, X2))
244.07/68.98
U72(mark(X)) → mark(U72(X))
244.07/68.98
U81(mark(X)) → mark(U81(X))
244.07/68.98
proper(__(X1, X2)) → __(proper(X1), proper(X2))
244.07/68.98
proper(nil) → ok(nil)
244.07/68.98
proper(U11(X)) → U11(proper(X))
244.07/68.98
proper(tt) → ok(tt)
244.07/68.98
proper(U21(X1, X2)) → U21(proper(X1), proper(X2))
244.07/68.98
proper(U22(X)) → U22(proper(X))
244.07/68.98
proper(isList(X)) → isList(proper(X))
244.07/68.98
proper(U31(X)) → U31(proper(X))
244.07/68.98
proper(U41(X1, X2)) → U41(proper(X1), proper(X2))
244.07/68.98
proper(U42(X)) → U42(proper(X))
244.07/68.98
proper(isNeList(X)) → isNeList(proper(X))
244.07/68.98
proper(U51(X1, X2)) → U51(proper(X1), proper(X2))
244.07/68.98
proper(U52(X)) → U52(proper(X))
244.07/68.98
proper(U61(X)) → U61(proper(X))
244.07/68.98
proper(U71(X1, X2)) → U71(proper(X1), proper(X2))
244.07/68.98
proper(U72(X)) → U72(proper(X))
244.07/68.98
proper(isPal(X)) → isPal(proper(X))
244.07/68.98
proper(U81(X)) → U81(proper(X))
244.07/68.98
proper(isQid(X)) → isQid(proper(X))
244.07/68.98
proper(isNePal(X)) → isNePal(proper(X))
244.07/68.98
proper(a) → ok(a)
244.07/68.98
proper(e) → ok(e)
244.07/68.98
proper(i) → ok(i)
244.07/68.98
proper(o) → ok(o)
244.07/68.98
proper(u) → ok(u)
244.07/68.98
__(ok(X1), ok(X2)) → ok(__(X1, X2))
244.07/68.98
U11(ok(X)) → ok(U11(X))
244.07/68.98
U21(ok(X1), ok(X2)) → ok(U21(X1, X2))
244.07/68.98
U22(ok(X)) → ok(U22(X))
244.07/68.98
isList(ok(X)) → ok(isList(X))
244.07/68.98
U31(ok(X)) → ok(U31(X))
244.07/68.98
U41(ok(X1), ok(X2)) → ok(U41(X1, X2))
244.07/68.98
U42(ok(X)) → ok(U42(X))
244.07/68.98
isNeList(ok(X)) → ok(isNeList(X))
244.07/68.98
U51(ok(X1), ok(X2)) → ok(U51(X1, X2))
244.07/68.98
U52(ok(X)) → ok(U52(X))
244.07/68.98
U61(ok(X)) → ok(U61(X))
244.07/68.98
U71(ok(X1), ok(X2)) → ok(U71(X1, X2))
244.07/68.98
U72(ok(X)) → ok(U72(X))
244.07/68.98
isPal(ok(X)) → ok(isPal(X))
244.07/68.98
U81(ok(X)) → ok(U81(X))
244.07/68.98
isQid(ok(X)) → ok(isQid(X))
244.07/68.98
isNePal(ok(X)) → ok(isNePal(X))
244.07/68.98
top(mark(X)) → top(proper(X))
244.07/68.98
top(ok(X)) → top(active(X))
Rewrite Strategy: INNERMOST
244.07/68.98
244.07/68.98
(1) CpxTrsMatchBoundsTAProof (EQUIVALENT transformation)
A linear upper bound on the runtime complexity of the TRS R could be shown with a Match(-raise)-Bound[TAB_LEFTLINEAR,TAB_NONLEFTLINEAR] (for contructor-based start-terms) of 2.
The compatible tree automaton used to show the Match(-raise)-Boundedness (for constructor-based start-terms) is represented by:
final states : [21, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 1, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 82, 83, 84, 85, 86, 87, 88, 96, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142]
transitions:
mark0(0) → 0
ok0(0) → 0
top0(0) → 21
__1(0, 0) → 22
mark1(22) → 2
__1(0, 0) → 2
U111(0) → 23
mark1(23) → 3
U111(0) → 3
U211(0, 0) → 24
mark1(24) → 4
U211(0, 0) → 4
U221(0) → 25
mark1(25) → 5
U221(0) → 5
U311(0) → 26
mark1(26) → 6
U311(0) → 6
U411(0, 0) → 27
mark1(27) → 7
U411(0, 0) → 7
U421(0) → 28
mark1(28) → 8
U421(0) → 8
U511(0, 0) → 29
mark1(29) → 9
U511(0, 0) → 9
U521(0) → 30
mark1(30) → 10
U521(0) → 10
U611(0) → 31
mark1(31) → 11
U611(0) → 11
U711(0, 0) → 32
mark1(32) → 12
U711(0, 0) → 12
U721(0) → 33
mark1(33) → 13
U721(0) → 13
U811(0) → 34
mark1(34) → 14
U811(0) → 14
ok1(35) → 15
ok1(36) → 15
ok1(37) → 15
ok1(38) → 15
ok1(39) → 15
ok1(40) → 15
ok1(41) → 15
__1(0, 0) → 42
ok1(42) → 2
U111(0) → 43
ok1(43) → 3
U211(0, 0) → 44
ok1(44) → 4
U221(0) → 45
ok1(45) → 5
isList1(0) → 46
ok1(46) → 16
isList1(0) → 16
U311(0) → 47
ok1(47) → 6
U411(0, 0) → 48
ok1(48) → 7
U421(0) → 49
ok1(49) → 8
isNeList1(0) → 50
ok1(50) → 17
isNeList1(0) → 17
U511(0, 0) → 51
ok1(51) → 9
U521(0) → 52
ok1(52) → 10
U611(0) → 53
ok1(53) → 11
U711(0, 0) → 54
ok1(54) → 12
U721(0) → 55
ok1(55) → 13
isPal1(0) → 56
ok1(56) → 18
isPal1(0) → 18
U811(0) → 57
ok1(57) → 14
isQid1(0) → 58
ok1(58) → 19
isQid1(0) → 19
isNePal1(0) → 59
ok1(59) → 20
isNePal1(0) → 20
proper1(0) → 60
top1(60) → 21
proper1(0) → 15
active1(0) → 61
top1(61) → 21
active1(0) → 1
__1(0, 0) → 62
U111(0) → 63
U211(0, 0) → 64
U221(0) → 65
U311(0) → 66
U411(0, 0) → 67
U421(0) → 68
U511(0, 0) → 69
U521(0) → 70
U611(0) → 71
U711(0, 0) → 72
U721(0) → 73
U811(0) → 74
isList1(0) → 82
isNeList1(0) → 83
isPal1(0) → 84
isQid1(0) → 85
isNePal1(0) → 86
proper1(0) → 87
active1(0) → 88
mark0(75) → 0
mark0(76) → 0
mark0(77) → 0
mark0(78) → 0
mark0(79) → 0
mark0(80) → 0
mark0(81) → 0
ok0(75) → 0
ok0(76) → 0
ok0(77) → 0
ok0(78) → 0
ok0(79) → 0
ok0(80) → 0
ok0(81) → 0
top0(75) → 21
top0(76) → 21
top0(77) → 21
top0(78) → 21
top0(79) → 21
top0(80) → 21
top0(81) → 21
mark1(62) → 2
mark1(63) → 3
mark1(64) → 4
mark1(65) → 5
mark1(66) → 6
mark1(67) → 7
mark1(68) → 8
mark1(69) → 9
mark1(70) → 10
mark1(71) → 11
mark1(72) → 12
mark1(73) → 13
mark1(74) → 14
__1(75, 0) → 62
__1(0, 75) → 62
__1(76, 0) → 62
__1(0, 76) → 62
__1(77, 0) → 62
__1(0, 77) → 62
__1(78, 0) → 62
__1(0, 78) → 62
__1(79, 0) → 62
__1(0, 79) → 62
__1(80, 0) → 62
__1(0, 80) → 62
__1(81, 0) → 62
__1(0, 81) → 62
__1(75, 75) → 62
__1(75, 76) → 62
__1(75, 77) → 62
__1(75, 78) → 62
__1(75, 79) → 62
__1(75, 80) → 62
__1(75, 81) → 62
__1(76, 75) → 62
__1(77, 75) → 62
__1(78, 75) → 62
__1(79, 75) → 62
__1(80, 75) → 62
__1(81, 75) → 62
__1(76, 76) → 62
__1(76, 77) → 62
__1(76, 78) → 62
__1(76, 79) → 62
__1(76, 80) → 62
__1(76, 81) → 62
__1(77, 76) → 62
__1(78, 76) → 62
__1(79, 76) → 62
__1(80, 76) → 62
__1(81, 76) → 62
__1(77, 77) → 62
__1(77, 78) → 62
__1(77, 79) → 62
__1(77, 80) → 62
__1(77, 81) → 62
__1(78, 77) → 62
__1(79, 77) → 62
__1(80, 77) → 62
__1(81, 77) → 62
__1(78, 78) → 62
__1(78, 79) → 62
__1(78, 80) → 62
__1(78, 81) → 62
__1(79, 78) → 62
__1(80, 78) → 62
__1(81, 78) → 62
__1(79, 79) → 62
__1(79, 80) → 62
__1(79, 81) → 62
__1(80, 79) → 62
__1(81, 79) → 62
__1(80, 80) → 62
__1(80, 81) → 62
__1(81, 80) → 62
__1(81, 81) → 62
U111(75) → 63
U111(76) → 63
U111(77) → 63
U111(78) → 63
U111(79) → 63
U111(80) → 63
U111(81) → 63
U211(75, 0) → 64
U211(0, 75) → 64
U211(76, 0) → 64
U211(0, 76) → 64
U211(77, 0) → 64
U211(0, 77) → 64
U211(78, 0) → 64
U211(0, 78) → 64
U211(79, 0) → 64
U211(0, 79) → 64
U211(80, 0) → 64
U211(0, 80) → 64
U211(81, 0) → 64
U211(0, 81) → 64
U211(75, 75) → 64
U211(75, 76) → 64
U211(75, 77) → 64
U211(75, 78) → 64
U211(75, 79) → 64
U211(75, 80) → 64
U211(75, 81) → 64
U211(76, 75) → 64
U211(77, 75) → 64
U211(78, 75) → 64
U211(79, 75) → 64
U211(80, 75) → 64
U211(81, 75) → 64
U211(76, 76) → 64
U211(76, 77) → 64
U211(76, 78) → 64
U211(76, 79) → 64
U211(76, 80) → 64
U211(76, 81) → 64
U211(77, 76) → 64
U211(78, 76) → 64
U211(79, 76) → 64
U211(80, 76) → 64
U211(81, 76) → 64
U211(77, 77) → 64
U211(77, 78) → 64
U211(77, 79) → 64
U211(77, 80) → 64
U211(77, 81) → 64
U211(78, 77) → 64
U211(79, 77) → 64
U211(80, 77) → 64
U211(81, 77) → 64
U211(78, 78) → 64
U211(78, 79) → 64
U211(78, 80) → 64
U211(78, 81) → 64
U211(79, 78) → 64
U211(80, 78) → 64
U211(81, 78) → 64
U211(79, 79) → 64
U211(79, 80) → 64
U211(79, 81) → 64
U211(80, 79) → 64
U211(81, 79) → 64
U211(80, 80) → 64
U211(80, 81) → 64
U211(81, 80) → 64
U211(81, 81) → 64
U221(75) → 65
U221(76) → 65
U221(77) → 65
U221(78) → 65
U221(79) → 65
U221(80) → 65
U221(81) → 65
U311(75) → 66
U311(76) → 66
U311(77) → 66
U311(78) → 66
U311(79) → 66
U311(80) → 66
U311(81) → 66
U411(75, 0) → 67
U411(0, 75) → 67
U411(76, 0) → 67
U411(0, 76) → 67
U411(77, 0) → 67
U411(0, 77) → 67
U411(78, 0) → 67
U411(0, 78) → 67
U411(79, 0) → 67
U411(0, 79) → 67
U411(80, 0) → 67
U411(0, 80) → 67
U411(81, 0) → 67
U411(0, 81) → 67
U411(75, 75) → 67
U411(75, 76) → 67
U411(75, 77) → 67
U411(75, 78) → 67
U411(75, 79) → 67
U411(75, 80) → 67
U411(75, 81) → 67
U411(76, 75) → 67
U411(77, 75) → 67
U411(78, 75) → 67
U411(79, 75) → 67
U411(80, 75) → 67
U411(81, 75) → 67
U411(76, 76) → 67
U411(76, 77) → 67
U411(76, 78) → 67
U411(76, 79) → 67
U411(76, 80) → 67
U411(76, 81) → 67
U411(77, 76) → 67
U411(78, 76) → 67
U411(79, 76) → 67
U411(80, 76) → 67
U411(81, 76) → 67
U411(77, 77) → 67
U411(77, 78) → 67
U411(77, 79) → 67
U411(77, 80) → 67
U411(77, 81) → 67
U411(78, 77) → 67
U411(79, 77) → 67
U411(80, 77) → 67
U411(81, 77) → 67
U411(78, 78) → 67
U411(78, 79) → 67
U411(78, 80) → 67
U411(78, 81) → 67
U411(79, 78) → 67
U411(80, 78) → 67
U411(81, 78) → 67
U411(79, 79) → 67
U411(79, 80) → 67
U411(79, 81) → 67
U411(80, 79) → 67
U411(81, 79) → 67
U411(80, 80) → 67
U411(80, 81) → 67
U411(81, 80) → 67
U411(81, 81) → 67
U421(75) → 68
U421(76) → 68
U421(77) → 68
U421(78) → 68
U421(79) → 68
U421(80) → 68
U421(81) → 68
U511(75, 0) → 69
U511(0, 75) → 69
U511(76, 0) → 69
U511(0, 76) → 69
U511(77, 0) → 69
U511(0, 77) → 69
U511(78, 0) → 69
U511(0, 78) → 69
U511(79, 0) → 69
U511(0, 79) → 69
U511(80, 0) → 69
U511(0, 80) → 69
U511(81, 0) → 69
U511(0, 81) → 69
U511(75, 75) → 69
U511(75, 76) → 69
U511(75, 77) → 69
U511(75, 78) → 69
U511(75, 79) → 69
U511(75, 80) → 69
U511(75, 81) → 69
U511(76, 75) → 69
U511(77, 75) → 69
U511(78, 75) → 69
U511(79, 75) → 69
U511(80, 75) → 69
U511(81, 75) → 69
U511(76, 76) → 69
U511(76, 77) → 69
U511(76, 78) → 69
U511(76, 79) → 69
U511(76, 80) → 69
U511(76, 81) → 69
U511(77, 76) → 69
U511(78, 76) → 69
U511(79, 76) → 69
U511(80, 76) → 69
U511(81, 76) → 69
U511(77, 77) → 69
U511(77, 78) → 69
U511(77, 79) → 69
U511(77, 80) → 69
U511(77, 81) → 69
U511(78, 77) → 69
U511(79, 77) → 69
U511(80, 77) → 69
U511(81, 77) → 69
U511(78, 78) → 69
U511(78, 79) → 69
U511(78, 80) → 69
U511(78, 81) → 69
U511(79, 78) → 69
U511(80, 78) → 69
U511(81, 78) → 69
U511(79, 79) → 69
U511(79, 80) → 69
U511(79, 81) → 69
U511(80, 79) → 69
U511(81, 79) → 69
U511(80, 80) → 69
U511(80, 81) → 69
U511(81, 80) → 69
U511(81, 81) → 69
U521(75) → 70
U521(76) → 70
U521(77) → 70
U521(78) → 70
U521(79) → 70
U521(80) → 70
U521(81) → 70
U611(75) → 71
U611(76) → 71
U611(77) → 71
U611(78) → 71
U611(79) → 71
U611(80) → 71
U611(81) → 71
U711(75, 0) → 72
U711(0, 75) → 72
U711(76, 0) → 72
U711(0, 76) → 72
U711(77, 0) → 72
U711(0, 77) → 72
U711(78, 0) → 72
U711(0, 78) → 72
U711(79, 0) → 72
U711(0, 79) → 72
U711(80, 0) → 72
U711(0, 80) → 72
U711(81, 0) → 72
U711(0, 81) → 72
U711(75, 75) → 72
U711(75, 76) → 72
U711(75, 77) → 72
U711(75, 78) → 72
U711(75, 79) → 72
U711(75, 80) → 72
U711(75, 81) → 72
U711(76, 75) → 72
U711(77, 75) → 72
U711(78, 75) → 72
U711(79, 75) → 72
U711(80, 75) → 72
U711(81, 75) → 72
U711(76, 76) → 72
U711(76, 77) → 72
U711(76, 78) → 72
U711(76, 79) → 72
U711(76, 80) → 72
U711(76, 81) → 72
U711(77, 76) → 72
U711(78, 76) → 72
U711(79, 76) → 72
U711(80, 76) → 72
U711(81, 76) → 72
U711(77, 77) → 72
U711(77, 78) → 72
U711(77, 79) → 72
U711(77, 80) → 72
U711(77, 81) → 72
U711(78, 77) → 72
U711(79, 77) → 72
U711(80, 77) → 72
U711(81, 77) → 72
U711(78, 78) → 72
U711(78, 79) → 72
U711(78, 80) → 72
U711(78, 81) → 72
U711(79, 78) → 72
U711(80, 78) → 72
U711(81, 78) → 72
U711(79, 79) → 72
U711(79, 80) → 72
U711(79, 81) → 72
U711(80, 79) → 72
U711(81, 79) → 72
U711(80, 80) → 72
U711(80, 81) → 72
U711(81, 80) → 72
U711(81, 81) → 72
U721(75) → 73
U721(76) → 73
U721(77) → 73
U721(78) → 73
U721(79) → 73
U721(80) → 73
U721(81) → 73
U811(75) → 74
U811(76) → 74
U811(77) → 74
U811(78) → 74
U811(79) → 74
U811(80) → 74
U811(81) → 74
ok1(62) → 2
ok1(63) → 3
ok1(64) → 4
ok1(65) → 5
ok1(66) → 6
ok1(67) → 7
ok1(68) → 8
ok1(69) → 9
ok1(70) → 10
ok1(71) → 11
ok1(72) → 12
ok1(73) → 13
ok1(74) → 14
ok1(75) → 15
ok1(76) → 15
ok1(77) → 15
ok1(78) → 15
ok1(79) → 15
ok1(80) → 15
ok1(81) → 15
ok1(82) → 16
ok1(83) → 17
ok1(84) → 18
ok1(85) → 19
ok1(86) → 20
isList1(75) → 82
isList1(76) → 82
isList1(77) → 82
isList1(78) → 82
isList1(79) → 82
isList1(80) → 82
isList1(81) → 82
isNeList1(75) → 83
isNeList1(76) → 83
isNeList1(77) → 83
isNeList1(78) → 83
isNeList1(79) → 83
isNeList1(80) → 83
isNeList1(81) → 83
isPal1(75) → 84
isPal1(76) → 84
isPal1(77) → 84
isPal1(78) → 84
isPal1(79) → 84
isPal1(80) → 84
isPal1(81) → 84
isQid1(75) → 85
isQid1(76) → 85
isQid1(77) → 85
isQid1(78) → 85
isQid1(79) → 85
isQid1(80) → 85
isQid1(81) → 85
isNePal1(75) → 86
isNePal1(76) → 86
isNePal1(77) → 86
isNePal1(78) → 86
isNePal1(79) → 86
isNePal1(80) → 86
isNePal1(81) → 86
top1(87) → 21
top1(88) → 21
proper1(75) → 87
proper1(76) → 87
proper1(77) → 87
proper1(78) → 87
proper1(79) → 87
proper1(80) → 87
proper1(81) → 87
active1(75) → 88
active1(76) → 88
active1(77) → 88
active1(78) → 88
active1(79) → 88
active1(80) → 88
active1(81) → 88
ok1(75) → 0
ok1(76) → 0
ok1(77) → 0
ok1(78) → 0
ok1(79) → 0
ok1(80) → 0
ok1(81) → 0
mark1(22) → 62
__1(75, 0) → 22
__1(76, 0) → 22
__1(77, 0) → 22
__1(78, 0) → 22
__1(79, 0) → 22
__1(80, 0) → 22
__1(81, 0) → 22
__1(0, 75) → 22
__1(75, 75) → 22
__1(76, 75) → 22
__1(77, 75) → 22
__1(78, 75) → 22
__1(79, 75) → 22
__1(80, 75) → 22
__1(81, 75) → 22
__1(0, 76) → 22
__1(75, 76) → 22
__1(76, 76) → 22
__1(77, 76) → 22
__1(78, 76) → 22
__1(79, 76) → 22
__1(80, 76) → 22
__1(81, 76) → 22
__1(0, 77) → 22
__1(75, 77) → 22
__1(76, 77) → 22
__1(77, 77) → 22
__1(78, 77) → 22
__1(79, 77) → 22
__1(80, 77) → 22
__1(81, 77) → 22
__1(0, 78) → 22
__1(75, 78) → 22
__1(76, 78) → 22
__1(77, 78) → 22
__1(78, 78) → 22
__1(79, 78) → 22
__1(80, 78) → 22
__1(81, 78) → 22
__1(0, 79) → 22
__1(75, 79) → 22
__1(76, 79) → 22
__1(77, 79) → 22
__1(78, 79) → 22
__1(79, 79) → 22
__1(80, 79) → 22
__1(81, 79) → 22
__1(0, 80) → 22
__1(75, 80) → 22
__1(76, 80) → 22
__1(77, 80) → 22
__1(78, 80) → 22
__1(79, 80) → 22
__1(80, 80) → 22
__1(81, 80) → 22
__1(0, 81) → 22
__1(75, 81) → 22
__1(76, 81) → 22
__1(77, 81) → 22
__1(78, 81) → 22
__1(79, 81) → 22
__1(80, 81) → 22
__1(81, 81) → 22
mark1(23) → 63
U111(75) → 23
U111(76) → 23
U111(77) → 23
U111(78) → 23
U111(79) → 23
U111(80) → 23
U111(81) → 23
mark1(24) → 64
U211(75, 0) → 24
U211(76, 0) → 24
U211(77, 0) → 24
U211(78, 0) → 24
U211(79, 0) → 24
U211(80, 0) → 24
U211(81, 0) → 24
U211(0, 75) → 24
U211(75, 75) → 24
U211(76, 75) → 24
U211(77, 75) → 24
U211(78, 75) → 24
U211(79, 75) → 24
U211(80, 75) → 24
U211(81, 75) → 24
U211(0, 76) → 24
U211(75, 76) → 24
U211(76, 76) → 24
U211(77, 76) → 24
U211(78, 76) → 24
U211(79, 76) → 24
U211(80, 76) → 24
U211(81, 76) → 24
U211(0, 77) → 24
U211(75, 77) → 24
U211(76, 77) → 24
U211(77, 77) → 24
U211(78, 77) → 24
U211(79, 77) → 24
U211(80, 77) → 24
U211(81, 77) → 24
U211(0, 78) → 24
U211(75, 78) → 24
U211(76, 78) → 24
U211(77, 78) → 24
U211(78, 78) → 24
U211(79, 78) → 24
U211(80, 78) → 24
U211(81, 78) → 24
U211(0, 79) → 24
U211(75, 79) → 24
U211(76, 79) → 24
U211(77, 79) → 24
U211(78, 79) → 24
U211(79, 79) → 24
U211(80, 79) → 24
U211(81, 79) → 24
U211(0, 80) → 24
U211(75, 80) → 24
U211(76, 80) → 24
U211(77, 80) → 24
U211(78, 80) → 24
U211(79, 80) → 24
U211(80, 80) → 24
U211(81, 80) → 24
U211(0, 81) → 24
U211(75, 81) → 24
U211(76, 81) → 24
U211(77, 81) → 24
U211(78, 81) → 24
U211(79, 81) → 24
U211(80, 81) → 24
U211(81, 81) → 24
mark1(25) → 65
U221(75) → 25
U221(76) → 25
U221(77) → 25
U221(78) → 25
U221(79) → 25
U221(80) → 25
U221(81) → 25
mark1(26) → 66
U311(75) → 26
U311(76) → 26
U311(77) → 26
U311(78) → 26
U311(79) → 26
U311(80) → 26
U311(81) → 26
mark1(27) → 67
U411(75, 0) → 27
U411(76, 0) → 27
U411(77, 0) → 27
U411(78, 0) → 27
U411(79, 0) → 27
U411(80, 0) → 27
U411(81, 0) → 27
U411(0, 75) → 27
U411(75, 75) → 27
U411(76, 75) → 27
U411(77, 75) → 27
U411(78, 75) → 27
U411(79, 75) → 27
U411(80, 75) → 27
U411(81, 75) → 27
U411(0, 76) → 27
U411(75, 76) → 27
U411(76, 76) → 27
U411(77, 76) → 27
U411(78, 76) → 27
U411(79, 76) → 27
U411(80, 76) → 27
U411(81, 76) → 27
U411(0, 77) → 27
U411(75, 77) → 27
U411(76, 77) → 27
U411(77, 77) → 27
U411(78, 77) → 27
U411(79, 77) → 27
U411(80, 77) → 27
U411(81, 77) → 27
U411(0, 78) → 27
U411(75, 78) → 27
U411(76, 78) → 27
U411(77, 78) → 27
U411(78, 78) → 27
U411(79, 78) → 27
U411(80, 78) → 27
U411(81, 78) → 27
U411(0, 79) → 27
U411(75, 79) → 27
U411(76, 79) → 27
U411(77, 79) → 27
U411(78, 79) → 27
U411(79, 79) → 27
U411(80, 79) → 27
U411(81, 79) → 27
U411(0, 80) → 27
U411(75, 80) → 27
U411(76, 80) → 27
U411(77, 80) → 27
U411(78, 80) → 27
U411(79, 80) → 27
U411(80, 80) → 27
U411(81, 80) → 27
U411(0, 81) → 27
U411(75, 81) → 27
U411(76, 81) → 27
U411(77, 81) → 27
U411(78, 81) → 27
U411(79, 81) → 27
U411(80, 81) → 27
U411(81, 81) → 27
mark1(28) → 68
U421(75) → 28
U421(76) → 28
U421(77) → 28
U421(78) → 28
U421(79) → 28
U421(80) → 28
U421(81) → 28
mark1(29) → 69
U511(75, 0) → 29
U511(76, 0) → 29
U511(77, 0) → 29
U511(78, 0) → 29
U511(79, 0) → 29
U511(80, 0) → 29
U511(81, 0) → 29
U511(0, 75) → 29
U511(75, 75) → 29
U511(76, 75) → 29
U511(77, 75) → 29
U511(78, 75) → 29
U511(79, 75) → 29
U511(80, 75) → 29
U511(81, 75) → 29
U511(0, 76) → 29
U511(75, 76) → 29
U511(76, 76) → 29
U511(77, 76) → 29
U511(78, 76) → 29
U511(79, 76) → 29
U511(80, 76) → 29
U511(81, 76) → 29
U511(0, 77) → 29
U511(75, 77) → 29
U511(76, 77) → 29
U511(77, 77) → 29
U511(78, 77) → 29
U511(79, 77) → 29
U511(80, 77) → 29
U511(81, 77) → 29
U511(0, 78) → 29
U511(75, 78) → 29
U511(76, 78) → 29
U511(77, 78) → 29
U511(78, 78) → 29
U511(79, 78) → 29
U511(80, 78) → 29
U511(81, 78) → 29
U511(0, 79) → 29
U511(75, 79) → 29
U511(76, 79) → 29
U511(77, 79) → 29
U511(78, 79) → 29
U511(79, 79) → 29
U511(80, 79) → 29
U511(81, 79) → 29
U511(0, 80) → 29
U511(75, 80) → 29
U511(76, 80) → 29
U511(77, 80) → 29
U511(78, 80) → 29
U511(79, 80) → 29
U511(80, 80) → 29
U511(81, 80) → 29
U511(0, 81) → 29
U511(75, 81) → 29
U511(76, 81) → 29
U511(77, 81) → 29
U511(78, 81) → 29
U511(79, 81) → 29
U511(80, 81) → 29
U511(81, 81) → 29
mark1(30) → 70
U521(75) → 30
U521(76) → 30
U521(77) → 30
U521(78) → 30
U521(79) → 30
U521(80) → 30
U521(81) → 30
mark1(31) → 71
U611(75) → 31
U611(76) → 31
U611(77) → 31
U611(78) → 31
U611(79) → 31
U611(80) → 31
U611(81) → 31
mark1(32) → 72
U711(75, 0) → 32
U711(76, 0) → 32
U711(77, 0) → 32
U711(78, 0) → 32
U711(79, 0) → 32
U711(80, 0) → 32
U711(81, 0) → 32
U711(0, 75) → 32
U711(75, 75) → 32
U711(76, 75) → 32
U711(77, 75) → 32
U711(78, 75) → 32
U711(79, 75) → 32
U711(80, 75) → 32
U711(81, 75) → 32
U711(0, 76) → 32
U711(75, 76) → 32
U711(76, 76) → 32
U711(77, 76) → 32
U711(78, 76) → 32
U711(79, 76) → 32
U711(80, 76) → 32
U711(81, 76) → 32
U711(0, 77) → 32
U711(75, 77) → 32
U711(76, 77) → 32
U711(77, 77) → 32
U711(78, 77) → 32
U711(79, 77) → 32
U711(80, 77) → 32
U711(81, 77) → 32
U711(0, 78) → 32
U711(75, 78) → 32
U711(76, 78) → 32
U711(77, 78) → 32
U711(78, 78) → 32
U711(79, 78) → 32
U711(80, 78) → 32
U711(81, 78) → 32
U711(0, 79) → 32
U711(75, 79) → 32
U711(76, 79) → 32
U711(77, 79) → 32
U711(78, 79) → 32
U711(79, 79) → 32
U711(80, 79) → 32
U711(81, 79) → 32
U711(0, 80) → 32
U711(75, 80) → 32
U711(76, 80) → 32
U711(77, 80) → 32
U711(78, 80) → 32
U711(79, 80) → 32
U711(80, 80) → 32
U711(81, 80) → 32
U711(0, 81) → 32
U711(75, 81) → 32
U711(76, 81) → 32
U711(77, 81) → 32
U711(78, 81) → 32
U711(79, 81) → 32
U711(80, 81) → 32
U711(81, 81) → 32
mark1(33) → 73
U721(75) → 33
U721(76) → 33
U721(77) → 33
U721(78) → 33
U721(79) → 33
U721(80) → 33
U721(81) → 33
mark1(34) → 74
U811(75) → 34
U811(76) → 34
U811(77) → 34
U811(78) → 34
U811(79) → 34
U811(80) → 34
U811(81) → 34
nil2() → 89
ok2(89) → 87
nil2() → 35
nil2() → 0
nil2() → 75
tt2() → 90
ok2(90) → 87
tt2() → 36
tt2() → 0
tt2() → 76
a2() → 91
ok2(91) → 87
a2() → 37
a2() → 0
a2() → 77
e2() → 92
ok2(92) → 87
e2() → 38
e2() → 0
e2() → 78
i2() → 93
ok2(93) → 87
i2() → 39
i2() → 0
i2() → 79
o2() → 94
ok2(94) → 87
o2() → 40
o2() → 0
o2() → 80
u2() → 95
ok2(95) → 87
u2() → 41
u2() → 0
u2() → 81
ok1(42) → 62
__1(0, 75) → 42
__1(0, 76) → 42
__1(0, 77) → 42
__1(0, 78) → 42
__1(0, 79) → 42
__1(0, 80) → 42
__1(0, 81) → 42
__1(75, 0) → 42
__1(75, 75) → 42
__1(75, 76) → 42
__1(75, 77) → 42
__1(75, 78) → 42
__1(75, 79) → 42
__1(75, 80) → 42
__1(75, 81) → 42
__1(76, 0) → 42
__1(76, 75) → 42
__1(76, 76) → 42
__1(76, 77) → 42
__1(76, 78) → 42
__1(76, 79) → 42
__1(76, 80) → 42
__1(76, 81) → 42
__1(77, 0) → 42
__1(77, 75) → 42
__1(77, 76) → 42
__1(77, 77) → 42
__1(77, 78) → 42
__1(77, 79) → 42
__1(77, 80) → 42
__1(77, 81) → 42
__1(78, 0) → 42
__1(78, 75) → 42
__1(78, 76) → 42
__1(78, 77) → 42
__1(78, 78) → 42
__1(78, 79) → 42
__1(78, 80) → 42
__1(78, 81) → 42
__1(79, 0) → 42
__1(79, 75) → 42
__1(79, 76) → 42
__1(79, 77) → 42
__1(79, 78) → 42
__1(79, 79) → 42
__1(79, 80) → 42
__1(79, 81) → 42
__1(80, 0) → 42
__1(80, 75) → 42
__1(80, 76) → 42
__1(80, 77) → 42
__1(80, 78) → 42
__1(80, 79) → 42
__1(80, 80) → 42
__1(80, 81) → 42
__1(81, 0) → 42
__1(81, 75) → 42
__1(81, 76) → 42
__1(81, 77) → 42
__1(81, 78) → 42
__1(81, 79) → 42
__1(81, 80) → 42
__1(81, 81) → 42
ok1(43) → 63
U111(75) → 43
U111(76) → 43
U111(77) → 43
U111(78) → 43
U111(79) → 43
U111(80) → 43
U111(81) → 43
ok1(44) → 64
U211(0, 75) → 44
U211(0, 76) → 44
U211(0, 77) → 44
U211(0, 78) → 44
U211(0, 79) → 44
U211(0, 80) → 44
U211(0, 81) → 44
U211(75, 0) → 44
U211(75, 75) → 44
U211(75, 76) → 44
U211(75, 77) → 44
U211(75, 78) → 44
U211(75, 79) → 44
U211(75, 80) → 44
U211(75, 81) → 44
U211(76, 0) → 44
U211(76, 75) → 44
U211(76, 76) → 44
U211(76, 77) → 44
U211(76, 78) → 44
U211(76, 79) → 44
U211(76, 80) → 44
U211(76, 81) → 44
U211(77, 0) → 44
U211(77, 75) → 44
U211(77, 76) → 44
U211(77, 77) → 44
U211(77, 78) → 44
U211(77, 79) → 44
U211(77, 80) → 44
U211(77, 81) → 44
U211(78, 0) → 44
U211(78, 75) → 44
U211(78, 76) → 44
U211(78, 77) → 44
U211(78, 78) → 44
U211(78, 79) → 44
U211(78, 80) → 44
U211(78, 81) → 44
U211(79, 0) → 44
U211(79, 75) → 44
U211(79, 76) → 44
U211(79, 77) → 44
U211(79, 78) → 44
U211(79, 79) → 44
U211(79, 80) → 44
U211(79, 81) → 44
U211(80, 0) → 44
U211(80, 75) → 44
U211(80, 76) → 44
U211(80, 77) → 44
U211(80, 78) → 44
U211(80, 79) → 44
U211(80, 80) → 44
U211(80, 81) → 44
U211(81, 0) → 44
U211(81, 75) → 44
U211(81, 76) → 44
U211(81, 77) → 44
U211(81, 78) → 44
U211(81, 79) → 44
U211(81, 80) → 44
U211(81, 81) → 44
ok1(45) → 65
U221(75) → 45
U221(76) → 45
U221(77) → 45
U221(78) → 45
U221(79) → 45
U221(80) → 45
U221(81) → 45
ok1(46) → 82
isList1(75) → 46
isList1(76) → 46
isList1(77) → 46
isList1(78) → 46
isList1(79) → 46
isList1(80) → 46
isList1(81) → 46
ok1(47) → 66
U311(75) → 47
U311(76) → 47
U311(77) → 47
U311(78) → 47
U311(79) → 47
U311(80) → 47
U311(81) → 47
ok1(48) → 67
U411(0, 75) → 48
U411(0, 76) → 48
U411(0, 77) → 48
U411(0, 78) → 48
U411(0, 79) → 48
U411(0, 80) → 48
U411(0, 81) → 48
U411(75, 0) → 48
U411(75, 75) → 48
U411(75, 76) → 48
U411(75, 77) → 48
U411(75, 78) → 48
U411(75, 79) → 48
U411(75, 80) → 48
U411(75, 81) → 48
U411(76, 0) → 48
U411(76, 75) → 48
U411(76, 76) → 48
U411(76, 77) → 48
U411(76, 78) → 48
U411(76, 79) → 48
U411(76, 80) → 48
U411(76, 81) → 48
U411(77, 0) → 48
U411(77, 75) → 48
U411(77, 76) → 48
U411(77, 77) → 48
U411(77, 78) → 48
U411(77, 79) → 48
U411(77, 80) → 48
U411(77, 81) → 48
U411(78, 0) → 48
U411(78, 75) → 48
U411(78, 76) → 48
U411(78, 77) → 48
U411(78, 78) → 48
U411(78, 79) → 48
U411(78, 80) → 48
U411(78, 81) → 48
U411(79, 0) → 48
U411(79, 75) → 48
U411(79, 76) → 48
U411(79, 77) → 48
U411(79, 78) → 48
U411(79, 79) → 48
U411(79, 80) → 48
U411(79, 81) → 48
U411(80, 0) → 48
U411(80, 75) → 48
U411(80, 76) → 48
U411(80, 77) → 48
U411(80, 78) → 48
U411(80, 79) → 48
U411(80, 80) → 48
U411(80, 81) → 48
U411(81, 0) → 48
U411(81, 75) → 48
U411(81, 76) → 48
U411(81, 77) → 48
U411(81, 78) → 48
U411(81, 79) → 48
U411(81, 80) → 48
U411(81, 81) → 48
ok1(49) → 68
U421(75) → 49
U421(76) → 49
U421(77) → 49
U421(78) → 49
U421(79) → 49
U421(80) → 49
U421(81) → 49
ok1(50) → 83
isNeList1(75) → 50
isNeList1(76) → 50
isNeList1(77) → 50
isNeList1(78) → 50
isNeList1(79) → 50
isNeList1(80) → 50
isNeList1(81) → 50
ok1(51) → 69
U511(0, 75) → 51
U511(0, 76) → 51
U511(0, 77) → 51
U511(0, 78) → 51
U511(0, 79) → 51
U511(0, 80) → 51
U511(0, 81) → 51
U511(75, 0) → 51
U511(75, 75) → 51
U511(75, 76) → 51
U511(75, 77) → 51
U511(75, 78) → 51
U511(75, 79) → 51
U511(75, 80) → 51
U511(75, 81) → 51
U511(76, 0) → 51
U511(76, 75) → 51
U511(76, 76) → 51
U511(76, 77) → 51
U511(76, 78) → 51
U511(76, 79) → 51
U511(76, 80) → 51
U511(76, 81) → 51
U511(77, 0) → 51
U511(77, 75) → 51
U511(77, 76) → 51
U511(77, 77) → 51
U511(77, 78) → 51
U511(77, 79) → 51
U511(77, 80) → 51
U511(77, 81) → 51
U511(78, 0) → 51
U511(78, 75) → 51
U511(78, 76) → 51
U511(78, 77) → 51
U511(78, 78) → 51
U511(78, 79) → 51
U511(78, 80) → 51
U511(78, 81) → 51
U511(79, 0) → 51
U511(79, 75) → 51
U511(79, 76) → 51
U511(79, 77) → 51
U511(79, 78) → 51
U511(79, 79) → 51
U511(79, 80) → 51
U511(79, 81) → 51
U511(80, 0) → 51
U511(80, 75) → 51
U511(80, 76) → 51
U511(80, 77) → 51
U511(80, 78) → 51
U511(80, 79) → 51
U511(80, 80) → 51
U511(80, 81) → 51
U511(81, 0) → 51
U511(81, 75) → 51
U511(81, 76) → 51
U511(81, 77) → 51
U511(81, 78) → 51
U511(81, 79) → 51
U511(81, 80) → 51
U511(81, 81) → 51
ok1(52) → 70
U521(75) → 52
U521(76) → 52
U521(77) → 52
U521(78) → 52
U521(79) → 52
U521(80) → 52
U521(81) → 52
ok1(53) → 71
U611(75) → 53
U611(76) → 53
U611(77) → 53
U611(78) → 53
U611(79) → 53
U611(80) → 53
U611(81) → 53
ok1(54) → 72
U711(0, 75) → 54
U711(0, 76) → 54
U711(0, 77) → 54
U711(0, 78) → 54
U711(0, 79) → 54
U711(0, 80) → 54
U711(0, 81) → 54
U711(75, 0) → 54
U711(75, 75) → 54
U711(75, 76) → 54
U711(75, 77) → 54
U711(75, 78) → 54
U711(75, 79) → 54
U711(75, 80) → 54
U711(75, 81) → 54
U711(76, 0) → 54
U711(76, 75) → 54
U711(76, 76) → 54
U711(76, 77) → 54
U711(76, 78) → 54
U711(76, 79) → 54
U711(76, 80) → 54
U711(76, 81) → 54
U711(77, 0) → 54
U711(77, 75) → 54
U711(77, 76) → 54
U711(77, 77) → 54
U711(77, 78) → 54
U711(77, 79) → 54
U711(77, 80) → 54
U711(77, 81) → 54
U711(78, 0) → 54
U711(78, 75) → 54
U711(78, 76) → 54
U711(78, 77) → 54
U711(78, 78) → 54
U711(78, 79) → 54
U711(78, 80) → 54
U711(78, 81) → 54
U711(79, 0) → 54
U711(79, 75) → 54
U711(79, 76) → 54
U711(79, 77) → 54
U711(79, 78) → 54
U711(79, 79) → 54
U711(79, 80) → 54
U711(79, 81) → 54
U711(80, 0) → 54
U711(80, 75) → 54
U711(80, 76) → 54
U711(80, 77) → 54
U711(80, 78) → 54
U711(80, 79) → 54
U711(80, 80) → 54
U711(80, 81) → 54
U711(81, 0) → 54
U711(81, 75) → 54
U711(81, 76) → 54
U711(81, 77) → 54
U711(81, 78) → 54
U711(81, 79) → 54
U711(81, 80) → 54
U711(81, 81) → 54
ok1(55) → 73
U721(75) → 55
U721(76) → 55
U721(77) → 55
U721(78) → 55
U721(79) → 55
U721(80) → 55
U721(81) → 55
ok1(56) → 84
isPal1(75) → 56
isPal1(76) → 56
isPal1(77) → 56
isPal1(78) → 56
isPal1(79) → 56
isPal1(80) → 56
isPal1(81) → 56
ok1(57) → 74
U811(75) → 57
U811(76) → 57
U811(77) → 57
U811(78) → 57
U811(79) → 57
U811(80) → 57
U811(81) → 57
ok1(58) → 85
isQid1(75) → 58
isQid1(76) → 58
isQid1(77) → 58
isQid1(78) → 58
isQid1(79) → 58
isQid1(80) → 58
isQid1(81) → 58
ok1(59) → 86
isNePal1(75) → 59
isNePal1(76) → 59
isNePal1(77) → 59
isNePal1(78) → 59
isNePal1(79) → 59
isNePal1(80) → 59
isNePal1(81) → 59
ok1(75) → 96
ok1(76) → 96
ok1(77) → 96
ok1(78) → 96
ok1(79) → 96
ok1(80) → 96
ok1(81) → 96
nil2() → 97
tt2() → 98
a2() → 99
e2() → 100
i2() → 101
o2() → 102
u2() → 103
mark0(96) → 0
mark0(97) → 0
mark0(98) → 0
mark0(99) → 0
mark0(100) → 0
mark0(101) → 0
mark0(102) → 0
mark0(103) → 0
ok0(96) → 0
ok0(97) → 0
ok0(98) → 0
ok0(99) → 0
ok0(100) → 0
ok0(101) → 0
ok0(102) → 0
ok0(103) → 0
top0(96) → 21
top0(97) → 21
top0(98) → 21
top0(99) → 21
top0(100) → 21
top0(101) → 21
top0(102) → 21
top0(103) → 21
mark1(62) → 62
mark1(63) → 63
mark1(64) → 64
mark1(65) → 65
mark1(66) → 66
mark1(67) → 67
mark1(68) → 68
mark1(69) → 69
mark1(70) → 70
mark1(71) → 71
mark1(72) → 72
mark1(73) → 73
mark1(74) → 74
__1(96, 0) → 62
__1(96, 75) → 62
__1(96, 76) → 62
__1(96, 77) → 62
__1(96, 78) → 62
__1(96, 79) → 62
__1(96, 80) → 62
__1(96, 81) → 62
__1(0, 96) → 62
__1(75, 96) → 62
__1(76, 96) → 62
__1(77, 96) → 62
__1(78, 96) → 62
__1(79, 96) → 62
__1(80, 96) → 62
__1(81, 96) → 62
__1(97, 0) → 62
__1(97, 75) → 62
__1(97, 76) → 62
__1(97, 77) → 62
__1(97, 78) → 62
__1(97, 79) → 62
__1(97, 80) → 62
__1(97, 81) → 62
__1(0, 97) → 62
__1(75, 97) → 62
__1(76, 97) → 62
__1(77, 97) → 62
__1(78, 97) → 62
__1(79, 97) → 62
__1(80, 97) → 62
__1(81, 97) → 62
__1(98, 0) → 62
__1(98, 75) → 62
__1(98, 76) → 62
__1(98, 77) → 62
__1(98, 78) → 62
__1(98, 79) → 62
__1(98, 80) → 62
__1(98, 81) → 62
__1(0, 98) → 62
__1(75, 98) → 62
__1(76, 98) → 62
__1(77, 98) → 62
__1(78, 98) → 62
__1(79, 98) → 62
__1(80, 98) → 62
__1(81, 98) → 62
__1(99, 0) → 62
__1(99, 75) → 62
__1(99, 76) → 62
__1(99, 77) → 62
__1(99, 78) → 62
__1(99, 79) → 62
__1(99, 80) → 62
__1(99, 81) → 62
__1(0, 99) → 62
__1(75, 99) → 62
__1(76, 99) → 62
__1(77, 99) → 62
__1(78, 99) → 62
__1(79, 99) → 62
__1(80, 99) → 62
__1(81, 99) → 62
__1(100, 0) → 62
__1(100, 75) → 62
__1(100, 76) → 62
__1(100, 77) → 62
__1(100, 78) → 62
__1(100, 79) → 62
__1(100, 80) → 62
__1(100, 81) → 62
__1(0, 100) → 62
__1(75, 100) → 62
__1(76, 100) → 62
__1(77, 100) → 62
__1(78, 100) → 62
__1(79, 100) → 62
__1(80, 100) → 62
__1(81, 100) → 62
__1(101, 0) → 62
__1(101, 75) → 62
__1(101, 76) → 62
__1(101, 77) → 62
__1(101, 78) → 62
__1(101, 79) → 62
__1(101, 80) → 62
__1(101, 81) → 62
__1(0, 101) → 62
__1(75, 101) → 62
__1(76, 101) → 62
__1(77, 101) → 62
__1(78, 101) → 62
__1(79, 101) → 62
__1(80, 101) → 62
__1(81, 101) → 62
__1(102, 0) → 62
__1(102, 75) → 62
__1(102, 76) → 62
__1(102, 77) → 62
__1(102, 78) → 62
__1(102, 79) → 62
__1(102, 80) → 62
__1(102, 81) → 62
__1(0, 102) → 62
__1(75, 102) → 62
__1(76, 102) → 62
__1(77, 102) → 62
__1(78, 102) → 62
__1(79, 102) → 62
__1(80, 102) → 62
__1(81, 102) → 62
__1(103, 0) → 62
__1(103, 75) → 62
__1(103, 76) → 62
__1(103, 77) → 62
__1(103, 78) → 62
__1(103, 79) → 62
__1(103, 80) → 62
__1(103, 81) → 62
__1(0, 103) → 62
__1(75, 103) → 62
__1(76, 103) → 62
__1(77, 103) → 62
__1(78, 103) → 62
__1(79, 103) → 62
__1(80, 103) → 62
__1(81, 103) → 62
__1(96, 96) → 62
__1(96, 97) → 62
__1(96, 98) → 62
__1(96, 99) → 62
__1(96, 100) → 62
__1(96, 101) → 62
__1(96, 102) → 62
__1(96, 103) → 62
__1(97, 96) → 62
__1(98, 96) → 62
__1(99, 96) → 62
__1(100, 96) → 62
__1(101, 96) → 62
__1(102, 96) → 62
__1(103, 96) → 62
U111(96) → 63
U211(96, 0) → 64
U211(96, 75) → 64
U211(96, 76) → 64
U211(96, 77) → 64
U211(96, 78) → 64
U211(96, 79) → 64
U211(96, 80) → 64
U211(96, 81) → 64
U211(0, 96) → 64
U211(75, 96) → 64
U211(76, 96) → 64
U211(77, 96) → 64
U211(78, 96) → 64
U211(79, 96) → 64
U211(80, 96) → 64
U211(81, 96) → 64
U211(97, 0) → 64
U211(97, 75) → 64
U211(97, 76) → 64
U211(97, 77) → 64
U211(97, 78) → 64
U211(97, 79) → 64
U211(97, 80) → 64
U211(97, 81) → 64
U211(0, 97) → 64
U211(75, 97) → 64
U211(76, 97) → 64
U211(77, 97) → 64
U211(78, 97) → 64
U211(79, 97) → 64
U211(80, 97) → 64
U211(81, 97) → 64
U211(98, 0) → 64
U211(98, 75) → 64
U211(98, 76) → 64
U211(98, 77) → 64
U211(98, 78) → 64
U211(98, 79) → 64
U211(98, 80) → 64
U211(98, 81) → 64
U211(0, 98) → 64
U211(75, 98) → 64
U211(76, 98) → 64
U211(77, 98) → 64
U211(78, 98) → 64
U211(79, 98) → 64
U211(80, 98) → 64
U211(81, 98) → 64
U211(99, 0) → 64
U211(99, 75) → 64
U211(99, 76) → 64
U211(99, 77) → 64
U211(99, 78) → 64
U211(99, 79) → 64
U211(99, 80) → 64
U211(99, 81) → 64
U211(0, 99) → 64
U211(75, 99) → 64
U211(76, 99) → 64
U211(77, 99) → 64
U211(78, 99) → 64
U211(79, 99) → 64
U211(80, 99) → 64
U211(81, 99) → 64
U211(100, 0) → 64
U211(100, 75) → 64
U211(100, 76) → 64
U211(100, 77) → 64
U211(100, 78) → 64
U211(100, 79) → 64
U211(100, 80) → 64
U211(100, 81) → 64
U211(0, 100) → 64
U211(75, 100) → 64
U211(76, 100) → 64
U211(77, 100) → 64
U211(78, 100) → 64
U211(79, 100) → 64
U211(80, 100) → 64
U211(81, 100) → 64
U211(101, 0) → 64
U211(101, 75) → 64
U211(101, 76) → 64
U211(101, 77) → 64
U211(101, 78) → 64
U211(101, 79) → 64
U211(101, 80) → 64
U211(101, 81) → 64
U211(0, 101) → 64
U211(75, 101) → 64
U211(76, 101) → 64
U211(77, 101) → 64
U211(78, 101) → 64
U211(79, 101) → 64
U211(80, 101) → 64
U211(81, 101) → 64
U211(102, 0) → 64
U211(102, 75) → 64
U211(102, 76) → 64
U211(102, 77) → 64
U211(102, 78) → 64
U211(102, 79) → 64
U211(102, 80) → 64
U211(102, 81) → 64
U211(0, 102) → 64
U211(75, 102) → 64
U211(76, 102) → 64
U211(77, 102) → 64
U211(78, 102) → 64
U211(79, 102) → 64
U211(80, 102) → 64
U211(81, 102) → 64
U211(103, 0) → 64
U211(103, 75) → 64
U211(103, 76) → 64
U211(103, 77) → 64
U211(103, 78) → 64
U211(103, 79) → 64
U211(103, 80) → 64
U211(103, 81) → 64
U211(0, 103) → 64
U211(75, 103) → 64
U211(76, 103) → 64
U211(77, 103) → 64
U211(78, 103) → 64
U211(79, 103) → 64
U211(80, 103) → 64
U211(81, 103) → 64
U211(96, 96) → 64
U211(96, 97) → 64
U211(96, 98) → 64
U211(96, 99) → 64
U211(96, 100) → 64
U211(96, 101) → 64
U211(96, 102) → 64
U211(96, 103) → 64
U211(97, 96) → 64
U211(98, 96) → 64
U211(99, 96) → 64
U211(100, 96) → 64
U211(101, 96) → 64
U211(102, 96) → 64
U211(103, 96) → 64
U221(96) → 65
U311(96) → 66
U411(96, 0) → 67
U411(96, 75) → 67
U411(96, 76) → 67
U411(96, 77) → 67
U411(96, 78) → 67
U411(96, 79) → 67
U411(96, 80) → 67
U411(96, 81) → 67
U411(0, 96) → 67
U411(75, 96) → 67
U411(76, 96) → 67
U411(77, 96) → 67
U411(78, 96) → 67
U411(79, 96) → 67
U411(80, 96) → 67
U411(81, 96) → 67
U411(97, 0) → 67
U411(97, 75) → 67
U411(97, 76) → 67
U411(97, 77) → 67
U411(97, 78) → 67
U411(97, 79) → 67
U411(97, 80) → 67
U411(97, 81) → 67
U411(0, 97) → 67
U411(75, 97) → 67
U411(76, 97) → 67
U411(77, 97) → 67
U411(78, 97) → 67
U411(79, 97) → 67
U411(80, 97) → 67
U411(81, 97) → 67
U411(98, 0) → 67
U411(98, 75) → 67
U411(98, 76) → 67
U411(98, 77) → 67
U411(98, 78) → 67
U411(98, 79) → 67
U411(98, 80) → 67
U411(98, 81) → 67
U411(0, 98) → 67
U411(75, 98) → 67
U411(76, 98) → 67
U411(77, 98) → 67
U411(78, 98) → 67
U411(79, 98) → 67
U411(80, 98) → 67
U411(81, 98) → 67
U411(99, 0) → 67
U411(99, 75) → 67
U411(99, 76) → 67
U411(99, 77) → 67
U411(99, 78) → 67
U411(99, 79) → 67
U411(99, 80) → 67
U411(99, 81) → 67
U411(0, 99) → 67
U411(75, 99) → 67
U411(76, 99) → 67
U411(77, 99) → 67
U411(78, 99) → 67
U411(79, 99) → 67
U411(80, 99) → 67
U411(81, 99) → 67
U411(100, 0) → 67
U411(100, 75) → 67
U411(100, 76) → 67
U411(100, 77) → 67
U411(100, 78) → 67
U411(100, 79) → 67
U411(100, 80) → 67
U411(100, 81) → 67
U411(0, 100) → 67
U411(75, 100) → 67
U411(76, 100) → 67
U411(77, 100) → 67
U411(78, 100) → 67
U411(79, 100) → 67
U411(80, 100) → 67
U411(81, 100) → 67
U411(101, 0) → 67
U411(101, 75) → 67
U411(101, 76) → 67
U411(101, 77) → 67
U411(101, 78) → 67
U411(101, 79) → 67
U411(101, 80) → 67
U411(101, 81) → 67
U411(0, 101) → 67
U411(75, 101) → 67
U411(76, 101) → 67
U411(77, 101) → 67
U411(78, 101) → 67
U411(79, 101) → 67
U411(80, 101) → 67
U411(81, 101) → 67
U411(102, 0) → 67
U411(102, 75) → 67
U411(102, 76) → 67
U411(102, 77) → 67
U411(102, 78) → 67
U411(102, 79) → 67
U411(102, 80) → 67
U411(102, 81) → 67
U411(0, 102) → 67
U411(75, 102) → 67
U411(76, 102) → 67
U411(77, 102) → 67
U411(78, 102) → 67
U411(79, 102) → 67
U411(80, 102) → 67
U411(81, 102) → 67
U411(103, 0) → 67
U411(103, 75) → 67
U411(103, 76) → 67
U411(103, 77) → 67
U411(103, 78) → 67
U411(103, 79) → 67
U411(103, 80) → 67
U411(103, 81) → 67
U411(0, 103) → 67
U411(75, 103) → 67
U411(76, 103) → 67
U411(77, 103) → 67
U411(78, 103) → 67
U411(79, 103) → 67
U411(80, 103) → 67
U411(81, 103) → 67
U411(96, 96) → 67
U411(96, 97) → 67
U411(96, 98) → 67
U411(96, 99) → 67
U411(96, 100) → 67
U411(96, 101) → 67
U411(96, 102) → 67
U411(96, 103) → 67
U411(97, 96) → 67
U411(98, 96) → 67
U411(99, 96) → 67
U411(100, 96) → 67
U411(101, 96) → 67
U411(102, 96) → 67
U411(103, 96) → 67
U421(96) → 68
U511(96, 0) → 69
U511(96, 75) → 69
U511(96, 76) → 69
U511(96, 77) → 69
U511(96, 78) → 69
U511(96, 79) → 69
U511(96, 80) → 69
U511(96, 81) → 69
U511(0, 96) → 69
U511(75, 96) → 69
U511(76, 96) → 69
U511(77, 96) → 69
U511(78, 96) → 69
U511(79, 96) → 69
U511(80, 96) → 69
U511(81, 96) → 69
U511(97, 0) → 69
U511(97, 75) → 69
U511(97, 76) → 69
U511(97, 77) → 69
U511(97, 78) → 69
U511(97, 79) → 69
U511(97, 80) → 69
U511(97, 81) → 69
U511(0, 97) → 69
U511(75, 97) → 69
U511(76, 97) → 69
U511(77, 97) → 69
U511(78, 97) → 69
U511(79, 97) → 69
U511(80, 97) → 69
U511(81, 97) → 69
U511(98, 0) → 69
U511(98, 75) → 69
U511(98, 76) → 69
U511(98, 77) → 69
U511(98, 78) → 69
U511(98, 79) → 69
U511(98, 80) → 69
U511(98, 81) → 69
U511(0, 98) → 69
U511(75, 98) → 69
U511(76, 98) → 69
U511(77, 98) → 69
U511(78, 98) → 69
U511(79, 98) → 69
U511(80, 98) → 69
U511(81, 98) → 69
U511(99, 0) → 69
U511(99, 75) → 69
U511(99, 76) → 69
U511(99, 77) → 69
U511(99, 78) → 69
U511(99, 79) → 69
U511(99, 80) → 69
U511(99, 81) → 69
U511(0, 99) → 69
U511(75, 99) → 69
U511(76, 99) → 69
U511(77, 99) → 69
U511(78, 99) → 69
U511(79, 99) → 69
U511(80, 99) → 69
U511(81, 99) → 69
U511(100, 0) → 69
U511(100, 75) → 69
U511(100, 76) → 69
U511(100, 77) → 69
U511(100, 78) → 69
U511(100, 79) → 69
U511(100, 80) → 69
U511(100, 81) → 69
U511(0, 100) → 69
U511(75, 100) → 69
U511(76, 100) → 69
U511(77, 100) → 69
U511(78, 100) → 69
U511(79, 100) → 69
U511(80, 100) → 69
U511(81, 100) → 69
U511(101, 0) → 69
U511(101, 75) → 69
U511(101, 76) → 69
U511(101, 77) → 69
U511(101, 78) → 69
U511(101, 79) → 69
U511(101, 80) → 69
U511(101, 81) → 69
U511(0, 101) → 69
U511(75, 101) → 69
U511(76, 101) → 69
U511(77, 101) → 69
U511(78, 101) → 69
U511(79, 101) → 69
U511(80, 101) → 69
U511(81, 101) → 69
U511(102, 0) → 69
U511(102, 75) → 69
U511(102, 76) → 69
U511(102, 77) → 69
U511(102, 78) → 69
U511(102, 79) → 69
U511(102, 80) → 69
U511(102, 81) → 69
U511(0, 102) → 69
U511(75, 102) → 69
U511(76, 102) → 69
U511(77, 102) → 69
U511(78, 102) → 69
U511(79, 102) → 69
U511(80, 102) → 69
U511(81, 102) → 69
U511(103, 0) → 69
U511(103, 75) → 69
U511(103, 76) → 69
U511(103, 77) → 69
U511(103, 78) → 69
U511(103, 79) → 69
U511(103, 80) → 69
U511(103, 81) → 69
U511(0, 103) → 69
U511(75, 103) → 69
U511(76, 103) → 69
U511(77, 103) → 69
U511(78, 103) → 69
U511(79, 103) → 69
U511(80, 103) → 69
U511(81, 103) → 69
U511(96, 96) → 69
U511(96, 97) → 69
U511(96, 98) → 69
U511(96, 99) → 69
U511(96, 100) → 69
U511(96, 101) → 69
U511(96, 102) → 69
U511(96, 103) → 69
U511(97, 96) → 69
U511(98, 96) → 69
U511(99, 96) → 69
U511(100, 96) → 69
U511(101, 96) → 69
U511(102, 96) → 69
U511(103, 96) → 69
U521(96) → 70
U611(96) → 71
U711(96, 0) → 72
U711(96, 75) → 72
U711(96, 76) → 72
U711(96, 77) → 72
U711(96, 78) → 72
U711(96, 79) → 72
U711(96, 80) → 72
U711(96, 81) → 72
U711(0, 96) → 72
U711(75, 96) → 72
U711(76, 96) → 72
U711(77, 96) → 72
U711(78, 96) → 72
U711(79, 96) → 72
U711(80, 96) → 72
U711(81, 96) → 72
U711(97, 0) → 72
U711(97, 75) → 72
U711(97, 76) → 72
U711(97, 77) → 72
U711(97, 78) → 72
U711(97, 79) → 72
U711(97, 80) → 72
U711(97, 81) → 72
U711(0, 97) → 72
U711(75, 97) → 72
U711(76, 97) → 72
U711(77, 97) → 72
U711(78, 97) → 72
U711(79, 97) → 72
U711(80, 97) → 72
U711(81, 97) → 72
U711(98, 0) → 72
U711(98, 75) → 72
U711(98, 76) → 72
U711(98, 77) → 72
U711(98, 78) → 72
U711(98, 79) → 72
U711(98, 80) → 72
U711(98, 81) → 72
U711(0, 98) → 72
U711(75, 98) → 72
U711(76, 98) → 72
U711(77, 98) → 72
U711(78, 98) → 72
U711(79, 98) → 72
U711(80, 98) → 72
U711(81, 98) → 72
U711(99, 0) → 72
U711(99, 75) → 72
U711(99, 76) → 72
U711(99, 77) → 72
U711(99, 78) → 72
U711(99, 79) → 72
U711(99, 80) → 72
U711(99, 81) → 72
U711(0, 99) → 72
U711(75, 99) → 72
U711(76, 99) → 72
U711(77, 99) → 72
U711(78, 99) → 72
U711(79, 99) → 72
U711(80, 99) → 72
U711(81, 99) → 72
U711(100, 0) → 72
U711(100, 75) → 72
U711(100, 76) → 72
U711(100, 77) → 72
U711(100, 78) → 72
U711(100, 79) → 72
U711(100, 80) → 72
U711(100, 81) → 72
U711(0, 100) → 72
U711(75, 100) → 72
U711(76, 100) → 72
U711(77, 100) → 72
U711(78, 100) → 72
U711(79, 100) → 72
U711(80, 100) → 72
U711(81, 100) → 72
U711(101, 0) → 72
U711(101, 75) → 72
U711(101, 76) → 72
U711(101, 77) → 72
U711(101, 78) → 72
U711(101, 79) → 72
U711(101, 80) → 72
U711(101, 81) → 72
U711(0, 101) → 72
U711(75, 101) → 72
U711(76, 101) → 72
U711(77, 101) → 72
U711(78, 101) → 72
U711(79, 101) → 72
U711(80, 101) → 72
U711(81, 101) → 72
U711(102, 0) → 72
U711(102, 75) → 72
U711(102, 76) → 72
U711(102, 77) → 72
U711(102, 78) → 72
U711(102, 79) → 72
U711(102, 80) → 72
U711(102, 81) → 72
U711(0, 102) → 72
U711(75, 102) → 72
U711(76, 102) → 72
U711(77, 102) → 72
U711(78, 102) → 72
U711(79, 102) → 72
U711(80, 102) → 72
U711(81, 102) → 72
U711(103, 0) → 72
U711(103, 75) → 72
U711(103, 76) → 72
U711(103, 77) → 72
U711(103, 78) → 72
U711(103, 79) → 72
U711(103, 80) → 72
U711(103, 81) → 72
U711(0, 103) → 72
U711(75, 103) → 72
U711(76, 103) → 72
U711(77, 103) → 72
U711(78, 103) → 72
U711(79, 103) → 72
U711(80, 103) → 72
U711(81, 103) → 72
U711(96, 96) → 72
U711(96, 97) → 72
U711(96, 98) → 72
U711(96, 99) → 72
U711(96, 100) → 72
U711(96, 101) → 72
U711(96, 102) → 72
U711(96, 103) → 72
U711(97, 96) → 72
U711(98, 96) → 72
U711(99, 96) → 72
U711(100, 96) → 72
U711(101, 96) → 72
U711(102, 96) → 72
U711(103, 96) → 72
U721(96) → 73
U811(96) → 74
ok1(62) → 62
ok1(63) → 63
ok1(64) → 64
ok1(65) → 65
ok1(66) → 66
ok1(67) → 67
ok1(68) → 68
ok1(69) → 69
ok1(70) → 70
ok1(71) → 71
ok1(72) → 72
ok1(73) → 73
ok1(74) → 74
ok1(82) → 82
ok1(83) → 83
ok1(84) → 84
ok1(85) → 85
ok1(86) → 86
ok1(97) → 96
ok1(98) → 96
ok1(99) → 96
ok1(100) → 96
ok1(101) → 96
ok1(102) → 96
ok1(103) → 96
isList1(96) → 82
isNeList1(96) → 83
isPal1(96) → 84
isQid1(96) → 85
isNePal1(96) → 86
proper1(96) → 87
proper1(97) → 87
proper1(98) → 87
proper1(99) → 87
proper1(100) → 87
proper1(101) → 87
proper1(102) → 87
proper1(103) → 87
active1(96) → 88
ok2(97) → 87
ok2(98) → 87
ok2(99) → 87
ok2(100) → 87
ok2(101) → 87
ok2(102) → 87
ok2(103) → 87
ok1(97) → 0
ok2(97) → 0
ok1(98) → 0
ok2(98) → 0
ok1(99) → 0
ok2(99) → 0
ok1(100) → 0
ok2(100) → 0
ok1(101) → 0
ok2(101) → 0
ok1(102) → 0
ok2(102) → 0
ok1(103) → 0
ok2(103) → 0
ok2(97) → 96
ok2(98) → 96
ok2(99) → 96
ok2(100) → 96
ok2(101) → 96
ok2(102) → 96
ok2(103) → 96
__2(97, 97) → 104
ok2(104) → 62
__2(97, 97) → 62
__2(97, 98) → 104
__2(97, 98) → 62
__2(97, 99) → 104
__2(97, 99) → 62
__2(97, 100) → 104
__2(97, 100) → 62
__2(97, 101) → 104
__2(97, 101) → 62
__2(97, 102) → 104
__2(97, 102) → 62
__2(97, 103) → 104
__2(97, 103) → 62
__2(98, 97) → 104
__2(98, 97) → 62
__2(98, 98) → 104
__2(98, 98) → 62
__2(98, 99) → 104
__2(98, 99) → 62
__2(98, 100) → 104
__2(98, 100) → 62
__2(98, 101) → 104
__2(98, 101) → 62
__2(98, 102) → 104
__2(98, 102) → 62
__2(98, 103) → 104
__2(98, 103) → 62
__2(99, 97) → 104
__2(99, 97) → 62
__2(99, 98) → 104
__2(99, 98) → 62
__2(99, 99) → 104
__2(99, 99) → 62
__2(99, 100) → 104
__2(99, 100) → 62
__2(99, 101) → 104
__2(99, 101) → 62
__2(99, 102) → 104
__2(99, 102) → 62
__2(99, 103) → 104
__2(99, 103) → 62
__2(100, 97) → 104
__2(100, 97) → 62
__2(100, 98) → 104
__2(100, 98) → 62
__2(100, 99) → 104
__2(100, 99) → 62
__2(100, 100) → 104
__2(100, 100) → 62
__2(100, 101) → 104
__2(100, 101) → 62
__2(100, 102) → 104
__2(100, 102) → 62
__2(100, 103) → 104
__2(100, 103) → 62
__2(101, 97) → 104
__2(101, 97) → 62
__2(101, 98) → 104
__2(101, 98) → 62
__2(101, 99) → 104
__2(101, 99) → 62
__2(101, 100) → 104
__2(101, 100) → 62
__2(101, 101) → 104
__2(101, 101) → 62
__2(101, 102) → 104
__2(101, 102) → 62
__2(101, 103) → 104
__2(101, 103) → 62
__2(102, 97) → 104
__2(102, 97) → 62
__2(102, 98) → 104
__2(102, 98) → 62
__2(102, 99) → 104
__2(102, 99) → 62
__2(102, 100) → 104
__2(102, 100) → 62
__2(102, 101) → 104
__2(102, 101) → 62
__2(102, 102) → 104
__2(102, 102) → 62
__2(102, 103) → 104
__2(102, 103) → 62
__2(103, 97) → 104
__2(103, 97) → 62
__2(103, 98) → 104
__2(103, 98) → 62
__2(103, 99) → 104
__2(103, 99) → 62
__2(103, 100) → 104
__2(103, 100) → 62
__2(103, 101) → 104
__2(103, 101) → 62
__2(103, 102) → 104
__2(103, 102) → 62
__2(103, 103) → 104
__2(103, 103) → 62
U112(97) → 105
ok2(105) → 63
U112(97) → 63
U112(98) → 105
U112(98) → 63
U112(99) → 105
U112(99) → 63
U112(100) → 105
U112(100) → 63
U112(101) → 105
U112(101) → 63
U112(102) → 105
U112(102) → 63
U112(103) → 105
U112(103) → 63
U212(97, 97) → 106
ok2(106) → 64
U212(97, 97) → 64
U212(97, 98) → 106
U212(97, 98) → 64
U212(97, 99) → 106
U212(97, 99) → 64
U212(97, 100) → 106
U212(97, 100) → 64
U212(97, 101) → 106
U212(97, 101) → 64
U212(97, 102) → 106
U212(97, 102) → 64
U212(97, 103) → 106
U212(97, 103) → 64
U212(98, 97) → 106
U212(98, 97) → 64
U212(98, 98) → 106
U212(98, 98) → 64
U212(98, 99) → 106
U212(98, 99) → 64
U212(98, 100) → 106
U212(98, 100) → 64
U212(98, 101) → 106
U212(98, 101) → 64
U212(98, 102) → 106
U212(98, 102) → 64
U212(98, 103) → 106
U212(98, 103) → 64
U212(99, 97) → 106
U212(99, 97) → 64
U212(99, 98) → 106
U212(99, 98) → 64
U212(99, 99) → 106
U212(99, 99) → 64
U212(99, 100) → 106
U212(99, 100) → 64
U212(99, 101) → 106
U212(99, 101) → 64
U212(99, 102) → 106
U212(99, 102) → 64
U212(99, 103) → 106
U212(99, 103) → 64
U212(100, 97) → 106
U212(100, 97) → 64
U212(100, 98) → 106
U212(100, 98) → 64
U212(100, 99) → 106
U212(100, 99) → 64
U212(100, 100) → 106
U212(100, 100) → 64
U212(100, 101) → 106
U212(100, 101) → 64
U212(100, 102) → 106
U212(100, 102) → 64
U212(100, 103) → 106
U212(100, 103) → 64
U212(101, 97) → 106
U212(101, 97) → 64
U212(101, 98) → 106
U212(101, 98) → 64
U212(101, 99) → 106
U212(101, 99) → 64
U212(101, 100) → 106
U212(101, 100) → 64
U212(101, 101) → 106
U212(101, 101) → 64
U212(101, 102) → 106
U212(101, 102) → 64
U212(101, 103) → 106
U212(101, 103) → 64
U212(102, 97) → 106
U212(102, 97) → 64
U212(102, 98) → 106
U212(102, 98) → 64
U212(102, 99) → 106
U212(102, 99) → 64
U212(102, 100) → 106
U212(102, 100) → 64
U212(102, 101) → 106
U212(102, 101) → 64
U212(102, 102) → 106
U212(102, 102) → 64
U212(102, 103) → 106
U212(102, 103) → 64
U212(103, 97) → 106
U212(103, 97) → 64
U212(103, 98) → 106
U212(103, 98) → 64
U212(103, 99) → 106
U212(103, 99) → 64
U212(103, 100) → 106
U212(103, 100) → 64
U212(103, 101) → 106
U212(103, 101) → 64
U212(103, 102) → 106
U212(103, 102) → 64
U212(103, 103) → 106
U212(103, 103) → 64
U222(97) → 107
ok2(107) → 65
U222(97) → 65
U222(98) → 107
U222(98) → 65
U222(99) → 107
U222(99) → 65
U222(100) → 107
U222(100) → 65
U222(101) → 107
U222(101) → 65
U222(102) → 107
U222(102) → 65
U222(103) → 107
U222(103) → 65
isList2(97) → 108
ok2(108) → 82
isList2(97) → 82
isList2(98) → 108
isList2(98) → 82
isList2(99) → 108
isList2(99) → 82
isList2(100) → 108
isList2(100) → 82
isList2(101) → 108
isList2(101) → 82
isList2(102) → 108
isList2(102) → 82
isList2(103) → 108
isList2(103) → 82
U312(97) → 109
ok2(109) → 66
U312(97) → 66
U312(98) → 109
U312(98) → 66
U312(99) → 109
U312(99) → 66
U312(100) → 109
U312(100) → 66
U312(101) → 109
U312(101) → 66
U312(102) → 109
U312(102) → 66
U312(103) → 109
U312(103) → 66
U412(97, 97) → 110
ok2(110) → 67
U412(97, 97) → 67
U412(97, 98) → 110
U412(97, 98) → 67
U412(97, 99) → 110
U412(97, 99) → 67
U412(97, 100) → 110
U412(97, 100) → 67
U412(97, 101) → 110
U412(97, 101) → 67
U412(97, 102) → 110
U412(97, 102) → 67
U412(97, 103) → 110
U412(97, 103) → 67
U412(98, 97) → 110
U412(98, 97) → 67
U412(98, 98) → 110
U412(98, 98) → 67
U412(98, 99) → 110
U412(98, 99) → 67
U412(98, 100) → 110
U412(98, 100) → 67
U412(98, 101) → 110
U412(98, 101) → 67
U412(98, 102) → 110
U412(98, 102) → 67
U412(98, 103) → 110
U412(98, 103) → 67
U412(99, 97) → 110
U412(99, 97) → 67
U412(99, 98) → 110
U412(99, 98) → 67
U412(99, 99) → 110
U412(99, 99) → 67
U412(99, 100) → 110
U412(99, 100) → 67
U412(99, 101) → 110
U412(99, 101) → 67
U412(99, 102) → 110
U412(99, 102) → 67
U412(99, 103) → 110
U412(99, 103) → 67
U412(100, 97) → 110
U412(100, 97) → 67
U412(100, 98) → 110
U412(100, 98) → 67
U412(100, 99) → 110
U412(100, 99) → 67
U412(100, 100) → 110
U412(100, 100) → 67
U412(100, 101) → 110
U412(100, 101) → 67
U412(100, 102) → 110
U412(100, 102) → 67
U412(100, 103) → 110
U412(100, 103) → 67
U412(101, 97) → 110
U412(101, 97) → 67
U412(101, 98) → 110
U412(101, 98) → 67
U412(101, 99) → 110
U412(101, 99) → 67
U412(101, 100) → 110
U412(101, 100) → 67
U412(101, 101) → 110
U412(101, 101) → 67
U412(101, 102) → 110
U412(101, 102) → 67
U412(101, 103) → 110
U412(101, 103) → 67
U412(102, 97) → 110
U412(102, 97) → 67
U412(102, 98) → 110
U412(102, 98) → 67
U412(102, 99) → 110
U412(102, 99) → 67
U412(102, 100) → 110
U412(102, 100) → 67
U412(102, 101) → 110
U412(102, 101) → 67
U412(102, 102) → 110
U412(102, 102) → 67
U412(102, 103) → 110
U412(102, 103) → 67
U412(103, 97) → 110
U412(103, 97) → 67
U412(103, 98) → 110
U412(103, 98) → 67
U412(103, 99) → 110
U412(103, 99) → 67
U412(103, 100) → 110
U412(103, 100) → 67
U412(103, 101) → 110
U412(103, 101) → 67
U412(103, 102) → 110
U412(103, 102) → 67
U412(103, 103) → 110
U412(103, 103) → 67
U422(97) → 111
ok2(111) → 68
U422(97) → 68
U422(98) → 111
U422(98) → 68
U422(99) → 111
U422(99) → 68
U422(100) → 111
U422(100) → 68
U422(101) → 111
U422(101) → 68
U422(102) → 111
U422(102) → 68
U422(103) → 111
U422(103) → 68
isNeList2(97) → 112
ok2(112) → 83
isNeList2(97) → 83
isNeList2(98) → 112
isNeList2(98) → 83
isNeList2(99) → 112
isNeList2(99) → 83
isNeList2(100) → 112
isNeList2(100) → 83
isNeList2(101) → 112
isNeList2(101) → 83
isNeList2(102) → 112
isNeList2(102) → 83
isNeList2(103) → 112
isNeList2(103) → 83
U512(97, 97) → 113
ok2(113) → 69
U512(97, 97) → 69
U512(97, 98) → 113
U512(97, 98) → 69
U512(97, 99) → 113
U512(97, 99) → 69
U512(97, 100) → 113
U512(97, 100) → 69
U512(97, 101) → 113
U512(97, 101) → 69
U512(97, 102) → 113
U512(97, 102) → 69
U512(97, 103) → 113
U512(97, 103) → 69
U512(98, 97) → 113
U512(98, 97) → 69
U512(98, 98) → 113
U512(98, 98) → 69
U512(98, 99) → 113
U512(98, 99) → 69
U512(98, 100) → 113
U512(98, 100) → 69
U512(98, 101) → 113
U512(98, 101) → 69
U512(98, 102) → 113
U512(98, 102) → 69
U512(98, 103) → 113
U512(98, 103) → 69
U512(99, 97) → 113
U512(99, 97) → 69
U512(99, 98) → 113
U512(99, 98) → 69
U512(99, 99) → 113
U512(99, 99) → 69
U512(99, 100) → 113
U512(99, 100) → 69
U512(99, 101) → 113
U512(99, 101) → 69
U512(99, 102) → 113
U512(99, 102) → 69
U512(99, 103) → 113
U512(99, 103) → 69
U512(100, 97) → 113
U512(100, 97) → 69
U512(100, 98) → 113
U512(100, 98) → 69
U512(100, 99) → 113
U512(100, 99) → 69
U512(100, 100) → 113
U512(100, 100) → 69
U512(100, 101) → 113
U512(100, 101) → 69
U512(100, 102) → 113
U512(100, 102) → 69
U512(100, 103) → 113
U512(100, 103) → 69
U512(101, 97) → 113
U512(101, 97) → 69
U512(101, 98) → 113
U512(101, 98) → 69
U512(101, 99) → 113
U512(101, 99) → 69
U512(101, 100) → 113
U512(101, 100) → 69
U512(101, 101) → 113
U512(101, 101) → 69
U512(101, 102) → 113
U512(101, 102) → 69
U512(101, 103) → 113
U512(101, 103) → 69
U512(102, 97) → 113
U512(102, 97) → 69
U512(102, 98) → 113
U512(102, 98) → 69
U512(102, 99) → 113
U512(102, 99) → 69
U512(102, 100) → 113
U512(102, 100) → 69
U512(102, 101) → 113
U512(102, 101) → 69
U512(102, 102) → 113
U512(102, 102) → 69
U512(102, 103) → 113
U512(102, 103) → 69
U512(103, 97) → 113
U512(103, 97) → 69
U512(103, 98) → 113
U512(103, 98) → 69
U512(103, 99) → 113
U512(103, 99) → 69
U512(103, 100) → 113
U512(103, 100) → 69
U512(103, 101) → 113
U512(103, 101) → 69
U512(103, 102) → 113
U512(103, 102) → 69
U512(103, 103) → 113
U512(103, 103) → 69
U522(97) → 114
ok2(114) → 70
U522(97) → 70
U522(98) → 114
U522(98) → 70
U522(99) → 114
U522(99) → 70
U522(100) → 114
U522(100) → 70
U522(101) → 114
U522(101) → 70
U522(102) → 114
U522(102) → 70
U522(103) → 114
U522(103) → 70
U612(97) → 115
ok2(115) → 71
U612(97) → 71
U612(98) → 115
U612(98) → 71
U612(99) → 115
U612(99) → 71
U612(100) → 115
U612(100) → 71
U612(101) → 115
U612(101) → 71
U612(102) → 115
U612(102) → 71
U612(103) → 115
U612(103) → 71
U712(97, 97) → 116
ok2(116) → 72
U712(97, 97) → 72
U712(97, 98) → 116
U712(97, 98) → 72
U712(97, 99) → 116
U712(97, 99) → 72
U712(97, 100) → 116
U712(97, 100) → 72
U712(97, 101) → 116
U712(97, 101) → 72
U712(97, 102) → 116
U712(97, 102) → 72
U712(97, 103) → 116
U712(97, 103) → 72
U712(98, 97) → 116
U712(98, 97) → 72
U712(98, 98) → 116
U712(98, 98) → 72
U712(98, 99) → 116
U712(98, 99) → 72
U712(98, 100) → 116
U712(98, 100) → 72
U712(98, 101) → 116
U712(98, 101) → 72
U712(98, 102) → 116
U712(98, 102) → 72
U712(98, 103) → 116
U712(98, 103) → 72
U712(99, 97) → 116
U712(99, 97) → 72
U712(99, 98) → 116
U712(99, 98) → 72
U712(99, 99) → 116
U712(99, 99) → 72
U712(99, 100) → 116
U712(99, 100) → 72
U712(99, 101) → 116
U712(99, 101) → 72
U712(99, 102) → 116
U712(99, 102) → 72
U712(99, 103) → 116
U712(99, 103) → 72
U712(100, 97) → 116
U712(100, 97) → 72
U712(100, 98) → 116
U712(100, 98) → 72
U712(100, 99) → 116
U712(100, 99) → 72
U712(100, 100) → 116
U712(100, 100) → 72
U712(100, 101) → 116
U712(100, 101) → 72
U712(100, 102) → 116
U712(100, 102) → 72
U712(100, 103) → 116
U712(100, 103) → 72
U712(101, 97) → 116
U712(101, 97) → 72
U712(101, 98) → 116
U712(101, 98) → 72
U712(101, 99) → 116
U712(101, 99) → 72
U712(101, 100) → 116
U712(101, 100) → 72
U712(101, 101) → 116
U712(101, 101) → 72
U712(101, 102) → 116
U712(101, 102) → 72
U712(101, 103) → 116
U712(101, 103) → 72
U712(102, 97) → 116
U712(102, 97) → 72
U712(102, 98) → 116
U712(102, 98) → 72
U712(102, 99) → 116
U712(102, 99) → 72
U712(102, 100) → 116
U712(102, 100) → 72
U712(102, 101) → 116
U712(102, 101) → 72
U712(102, 102) → 116
U712(102, 102) → 72
U712(102, 103) → 116
U712(102, 103) → 72
U712(103, 97) → 116
U712(103, 97) → 72
U712(103, 98) → 116
U712(103, 98) → 72
U712(103, 99) → 116
U712(103, 99) → 72
U712(103, 100) → 116
U712(103, 100) → 72
U712(103, 101) → 116
U712(103, 101) → 72
U712(103, 102) → 116
U712(103, 102) → 72
U712(103, 103) → 116
U712(103, 103) → 72
U722(97) → 117
ok2(117) → 73
U722(97) → 73
U722(98) → 117
U722(98) → 73
U722(99) → 117
U722(99) → 73
U722(100) → 117
U722(100) → 73
U722(101) → 117
U722(101) → 73
U722(102) → 117
U722(102) → 73
U722(103) → 117
U722(103) → 73
isPal2(97) → 118
ok2(118) → 84
isPal2(97) → 84
isPal2(98) → 118
isPal2(98) → 84
isPal2(99) → 118
isPal2(99) → 84
isPal2(100) → 118
isPal2(100) → 84
isPal2(101) → 118
isPal2(101) → 84
isPal2(102) → 118
isPal2(102) → 84
isPal2(103) → 118
isPal2(103) → 84
U812(97) → 119
ok2(119) → 74
U812(97) → 74
U812(98) → 119
U812(98) → 74
U812(99) → 119
U812(99) → 74
U812(100) → 119
U812(100) → 74
U812(101) → 119
U812(101) → 74
U812(102) → 119
U812(102) → 74
U812(103) → 119
U812(103) → 74
isQid2(97) → 120
ok2(120) → 85
isQid2(97) → 85
isQid2(98) → 120
isQid2(98) → 85
isQid2(99) → 120
isQid2(99) → 85
isQid2(100) → 120
isQid2(100) → 85
isQid2(101) → 120
isQid2(101) → 85
isQid2(102) → 120
isQid2(102) → 85
isQid2(103) → 120
isQid2(103) → 85
isNePal2(97) → 121
ok2(121) → 86
isNePal2(97) → 86
isNePal2(98) → 121
isNePal2(98) → 86
isNePal2(99) → 121
isNePal2(99) → 86
isNePal2(100) → 121
isNePal2(100) → 86
isNePal2(101) → 121
isNePal2(101) → 86
isNePal2(102) → 121
isNePal2(102) → 86
isNePal2(103) → 121
isNePal2(103) → 86
active2(97) → 122
top2(122) → 21
active2(97) → 88
active2(98) → 122
active2(98) → 88
active2(99) → 122
active2(99) → 88
active2(100) → 122
active2(100) → 88
active2(101) → 122
active2(101) → 88
active2(102) → 122
active2(102) → 88
active2(103) → 122
active2(103) → 88
ok2(97) → 123
ok2(98) → 123
ok2(99) → 123
ok2(100) → 123
ok2(101) → 123
ok2(102) → 123
ok2(103) → 123
__2(97, 97) → 124
__2(97, 98) → 124
__2(97, 99) → 124
__2(97, 100) → 124
__2(97, 101) → 124
__2(97, 102) → 124
__2(97, 103) → 124
__2(98, 97) → 124
__2(98, 98) → 124
__2(98, 99) → 124
__2(98, 100) → 124
__2(98, 101) → 124
__2(98, 102) → 124
__2(98, 103) → 124
__2(99, 97) → 124
__2(99, 98) → 124
__2(99, 99) → 124
__2(99, 100) → 124
__2(99, 101) → 124
__2(99, 102) → 124
__2(99, 103) → 124
__2(100, 97) → 124
__2(100, 98) → 124
__2(100, 99) → 124
__2(100, 100) → 124
__2(100, 101) → 124
__2(100, 102) → 124
__2(100, 103) → 124
__2(101, 97) → 124
__2(101, 98) → 124
__2(101, 99) → 124
__2(101, 100) → 124
__2(101, 101) → 124
__2(101, 102) → 124
__2(101, 103) → 124
__2(102, 97) → 124
__2(102, 98) → 124
__2(102, 99) → 124
__2(102, 100) → 124
__2(102, 101) → 124
__2(102, 102) → 124
__2(102, 103) → 124
__2(103, 97) → 124
__2(103, 98) → 124
__2(103, 99) → 124
__2(103, 100) → 124
__2(103, 101) → 124
__2(103, 102) → 124
__2(103, 103) → 124
U112(97) → 125
U112(98) → 125
U112(99) → 125
U112(100) → 125
U112(101) → 125
U112(102) → 125
U112(103) → 125
U212(97, 97) → 126
U212(97, 98) → 126
U212(97, 99) → 126
U212(97, 100) → 126
U212(97, 101) → 126
U212(97, 102) → 126
U212(97, 103) → 126
U212(98, 97) → 126
U212(98, 98) → 126
U212(98, 99) → 126
U212(98, 100) → 126
U212(98, 101) → 126
U212(98, 102) → 126
U212(98, 103) → 126
U212(99, 97) → 126
U212(99, 98) → 126
U212(99, 99) → 126
U212(99, 100) → 126
U212(99, 101) → 126
U212(99, 102) → 126
U212(99, 103) → 126
U212(100, 97) → 126
U212(100, 98) → 126
U212(100, 99) → 126
U212(100, 100) → 126
U212(100, 101) → 126
U212(100, 102) → 126
U212(100, 103) → 126
U212(101, 97) → 126
U212(101, 98) → 126
U212(101, 99) → 126
U212(101, 100) → 126
U212(101, 101) → 126
U212(101, 102) → 126
U212(101, 103) → 126
U212(102, 97) → 126
U212(102, 98) → 126
U212(102, 99) → 126
U212(102, 100) → 126
U212(102, 101) → 126
U212(102, 102) → 126
U212(102, 103) → 126
U212(103, 97) → 126
U212(103, 98) → 126
U212(103, 99) → 126
U212(103, 100) → 126
U212(103, 101) → 126
U212(103, 102) → 126
U212(103, 103) → 126
U222(97) → 127
U222(98) → 127
U222(99) → 127
U222(100) → 127
U222(101) → 127
U222(102) → 127
U222(103) → 127
isList2(97) → 128
isList2(98) → 128
isList2(99) → 128
isList2(100) → 128
isList2(101) → 128
isList2(102) → 128
isList2(103) → 128
U312(97) → 129
U312(98) → 129
U312(99) → 129
U312(100) → 129
U312(101) → 129
U312(102) → 129
U312(103) → 129
U412(97, 97) → 130
U412(97, 98) → 130
U412(97, 99) → 130
U412(97, 100) → 130
U412(97, 101) → 130
U412(97, 102) → 130
U412(97, 103) → 130
U412(98, 97) → 130
U412(98, 98) → 130
U412(98, 99) → 130
U412(98, 100) → 130
U412(98, 101) → 130
U412(98, 102) → 130
U412(98, 103) → 130
U412(99, 97) → 130
U412(99, 98) → 130
U412(99, 99) → 130
U412(99, 100) → 130
U412(99, 101) → 130
U412(99, 102) → 130
U412(99, 103) → 130
U412(100, 97) → 130
U412(100, 98) → 130
U412(100, 99) → 130
U412(100, 100) → 130
U412(100, 101) → 130
U412(100, 102) → 130
U412(100, 103) → 130
U412(101, 97) → 130
U412(101, 98) → 130
U412(101, 99) → 130
U412(101, 100) → 130
U412(101, 101) → 130
U412(101, 102) → 130
U412(101, 103) → 130
U412(102, 97) → 130
U412(102, 98) → 130
U412(102, 99) → 130
U412(102, 100) → 130
U412(102, 101) → 130
U412(102, 102) → 130
U412(102, 103) → 130
U412(103, 97) → 130
U412(103, 98) → 130
U412(103, 99) → 130
U412(103, 100) → 130
U412(103, 101) → 130
U412(103, 102) → 130
U412(103, 103) → 130
U422(97) → 131
U422(98) → 131
U422(99) → 131
U422(100) → 131
U422(101) → 131
U422(102) → 131
U422(103) → 131
isNeList2(97) → 132
isNeList2(98) → 132
isNeList2(99) → 132
isNeList2(100) → 132
isNeList2(101) → 132
isNeList2(102) → 132
isNeList2(103) → 132
U512(97, 97) → 133
U512(97, 98) → 133
U512(97, 99) → 133
U512(97, 100) → 133
U512(97, 101) → 133
U512(97, 102) → 133
U512(97, 103) → 133
U512(98, 97) → 133
U512(98, 98) → 133
U512(98, 99) → 133
U512(98, 100) → 133
U512(98, 101) → 133
U512(98, 102) → 133
U512(98, 103) → 133
U512(99, 97) → 133
U512(99, 98) → 133
U512(99, 99) → 133
U512(99, 100) → 133
U512(99, 101) → 133
U512(99, 102) → 133
U512(99, 103) → 133
U512(100, 97) → 133
U512(100, 98) → 133
U512(100, 99) → 133
U512(100, 100) → 133
U512(100, 101) → 133
U512(100, 102) → 133
U512(100, 103) → 133
U512(101, 97) → 133
U512(101, 98) → 133
U512(101, 99) → 133
U512(101, 100) → 133
U512(101, 101) → 133
U512(101, 102) → 133
U512(101, 103) → 133
U512(102, 97) → 133
U512(102, 98) → 133
U512(102, 99) → 133
U512(102, 100) → 133
U512(102, 101) → 133
U512(102, 102) → 133
U512(102, 103) → 133
U512(103, 97) → 133
U512(103, 98) → 133
U512(103, 99) → 133
U512(103, 100) → 133
U512(103, 101) → 133
U512(103, 102) → 133
U512(103, 103) → 133
U522(97) → 134
U522(98) → 134
U522(99) → 134
U522(100) → 134
U522(101) → 134
U522(102) → 134
U522(103) → 134
U612(97) → 135
U612(98) → 135
U612(99) → 135
U612(100) → 135
U612(101) → 135
U612(102) → 135
U612(103) → 135
U712(97, 97) → 136
U712(97, 98) → 136
U712(97, 99) → 136
U712(97, 100) → 136
U712(97, 101) → 136
U712(97, 102) → 136
U712(97, 103) → 136
U712(98, 97) → 136
U712(98, 98) → 136
U712(98, 99) → 136
U712(98, 100) → 136
U712(98, 101) → 136
U712(98, 102) → 136
U712(98, 103) → 136
U712(99, 97) → 136
U712(99, 98) → 136
U712(99, 99) → 136
U712(99, 100) → 136
U712(99, 101) → 136
U712(99, 102) → 136
U712(99, 103) → 136
U712(100, 97) → 136
U712(100, 98) → 136
U712(100, 99) → 136
U712(100, 100) → 136
U712(100, 101) → 136
U712(100, 102) → 136
U712(100, 103) → 136
U712(101, 97) → 136
U712(101, 98) → 136
U712(101, 99) → 136
U712(101, 100) → 136
U712(101, 101) → 136
U712(101, 102) → 136
U712(101, 103) → 136
U712(102, 97) → 136
U712(102, 98) → 136
U712(102, 99) → 136
U712(102, 100) → 136
U712(102, 101) → 136
U712(102, 102) → 136
U712(102, 103) → 136
U712(103, 97) → 136
U712(103, 98) → 136
U712(103, 99) → 136
U712(103, 100) → 136
U712(103, 101) → 136
U712(103, 102) → 136
U712(103, 103) → 136
U722(97) → 137
U722(98) → 137
U722(99) → 137
U722(100) → 137
U722(101) → 137
U722(102) → 137
U722(103) → 137
isPal2(97) → 138
isPal2(98) → 138
isPal2(99) → 138
isPal2(100) → 138
isPal2(101) → 138
isPal2(102) → 138
isPal2(103) → 138
U812(97) → 139
U812(98) → 139
U812(99) → 139
U812(100) → 139
U812(101) → 139
U812(102) → 139
U812(103) → 139
isQid2(97) → 140
isQid2(98) → 140
isQid2(99) → 140
isQid2(100) → 140
isQid2(101) → 140
isQid2(102) → 140
isQid2(103) → 140
isNePal2(97) → 141
isNePal2(98) → 141
isNePal2(99) → 141
isNePal2(100) → 141
isNePal2(101) → 141
isNePal2(102) → 141
isNePal2(103) → 141
active2(97) → 142
active2(98) → 142
active2(99) → 142
active2(100) → 142
active2(101) → 142
active2(102) → 142
active2(103) → 142
mark0(123) → 0
ok0(123) → 0
top0(123) → 21
mark1(124) → 62
mark1(125) → 63
mark1(126) → 64
mark1(127) → 65
mark1(129) → 66
mark1(130) → 67
mark1(131) → 68
mark1(133) → 69
mark1(134) → 70
mark1(135) → 71
mark1(136) → 72
mark1(137) → 73
mark1(139) → 74
__1(97, 97) → 62
__1(97, 98) → 62
__1(97, 99) → 62
__1(97, 100) → 62
__1(97, 101) → 62
__1(97, 102) → 62
__1(97, 103) → 62
__1(98, 97) → 62
__1(99, 97) → 62
__1(100, 97) → 62
__1(101, 97) → 62
__1(102, 97) → 62
__1(103, 97) → 62
__1(98, 98) → 62
__1(98, 99) → 62
__1(98, 100) → 62
__1(98, 101) → 62
__1(98, 102) → 62
__1(98, 103) → 62
__1(99, 98) → 62
__1(100, 98) → 62
__1(101, 98) → 62
__1(102, 98) → 62
__1(103, 98) → 62
__1(99, 99) → 62
__1(99, 100) → 62
__1(99, 101) → 62
__1(99, 102) → 62
__1(99, 103) → 62
__1(100, 99) → 62
__1(101, 99) → 62
__1(102, 99) → 62
__1(103, 99) → 62
__1(100, 100) → 62
__1(100, 101) → 62
__1(100, 102) → 62
__1(100, 103) → 62
__1(101, 100) → 62
__1(102, 100) → 62
__1(103, 100) → 62
__1(101, 101) → 62
__1(101, 102) → 62
__1(101, 103) → 62
__1(102, 101) → 62
__1(103, 101) → 62
__1(102, 102) → 62
__1(102, 103) → 62
__1(103, 102) → 62
__1(103, 103) → 62
__1(123, 0) → 62
__1(123, 75) → 62
__1(123, 76) → 62
__1(123, 77) → 62
__1(123, 78) → 62
__1(123, 79) → 62
__1(123, 80) → 62
__1(123, 81) → 62
__1(123, 96) → 62
__1(123, 97) → 62
__1(123, 98) → 62
__1(123, 99) → 62
__1(123, 100) → 62
__1(123, 101) → 62
__1(123, 102) → 62
__1(123, 103) → 62
__1(0, 123) → 62
__1(75, 123) → 62
__1(76, 123) → 62
__1(77, 123) → 62
__1(78, 123) → 62
__1(79, 123) → 62
__1(80, 123) → 62
__1(81, 123) → 62
__1(96, 123) → 62
__1(97, 123) → 62
__1(98, 123) → 62
__1(99, 123) → 62
__1(100, 123) → 62
__1(101, 123) → 62
__1(102, 123) → 62
__1(103, 123) → 62
__1(123, 123) → 62
U111(97) → 63
U111(98) → 63
U111(99) → 63
U111(100) → 63
U111(101) → 63
U111(102) → 63
U111(103) → 63
U111(123) → 63
U211(97, 97) → 64
U211(97, 98) → 64
U211(97, 99) → 64
U211(97, 100) → 64
U211(97, 101) → 64
U211(97, 102) → 64
U211(97, 103) → 64
U211(98, 97) → 64
U211(99, 97) → 64
U211(100, 97) → 64
U211(101, 97) → 64
U211(102, 97) → 64
U211(103, 97) → 64
U211(98, 98) → 64
U211(98, 99) → 64
U211(98, 100) → 64
U211(98, 101) → 64
U211(98, 102) → 64
U211(98, 103) → 64
U211(99, 98) → 64
U211(100, 98) → 64
U211(101, 98) → 64
U211(102, 98) → 64
U211(103, 98) → 64
U211(99, 99) → 64
U211(99, 100) → 64
U211(99, 101) → 64
U211(99, 102) → 64
U211(99, 103) → 64
U211(100, 99) → 64
U211(101, 99) → 64
U211(102, 99) → 64
U211(103, 99) → 64
U211(100, 100) → 64
U211(100, 101) → 64
U211(100, 102) → 64
U211(100, 103) → 64
U211(101, 100) → 64
U211(102, 100) → 64
U211(103, 100) → 64
U211(101, 101) → 64
U211(101, 102) → 64
U211(101, 103) → 64
U211(102, 101) → 64
U211(103, 101) → 64
U211(102, 102) → 64
U211(102, 103) → 64
U211(103, 102) → 64
U211(103, 103) → 64
U211(123, 0) → 64
U211(123, 75) → 64
U211(123, 76) → 64
U211(123, 77) → 64
U211(123, 78) → 64
U211(123, 79) → 64
U211(123, 80) → 64
U211(123, 81) → 64
U211(123, 96) → 64
U211(123, 97) → 64
U211(123, 98) → 64
U211(123, 99) → 64
U211(123, 100) → 64
U211(123, 101) → 64
U211(123, 102) → 64
U211(123, 103) → 64
U211(0, 123) → 64
U211(75, 123) → 64
U211(76, 123) → 64
U211(77, 123) → 64
U211(78, 123) → 64
U211(79, 123) → 64
U211(80, 123) → 64
U211(81, 123) → 64
U211(96, 123) → 64
U211(97, 123) → 64
U211(98, 123) → 64
U211(99, 123) → 64
U211(100, 123) → 64
U211(101, 123) → 64
U211(102, 123) → 64
U211(103, 123) → 64
U211(123, 123) → 64
U221(97) → 65
U221(98) → 65
U221(99) → 65
U221(100) → 65
U221(101) → 65
U221(102) → 65
U221(103) → 65
U221(123) → 65
U311(97) → 66
U311(98) → 66
U311(99) → 66
U311(100) → 66
U311(101) → 66
U311(102) → 66
U311(103) → 66
U311(123) → 66
U411(97, 97) → 67
U411(97, 98) → 67
U411(97, 99) → 67
U411(97, 100) → 67
U411(97, 101) → 67
U411(97, 102) → 67
U411(97, 103) → 67
U411(98, 97) → 67
U411(99, 97) → 67
U411(100, 97) → 67
U411(101, 97) → 67
U411(102, 97) → 67
U411(103, 97) → 67
U411(98, 98) → 67
U411(98, 99) → 67
U411(98, 100) → 67
U411(98, 101) → 67
U411(98, 102) → 67
U411(98, 103) → 67
U411(99, 98) → 67
U411(100, 98) → 67
U411(101, 98) → 67
U411(102, 98) → 67
U411(103, 98) → 67
U411(99, 99) → 67
U411(99, 100) → 67
U411(99, 101) → 67
U411(99, 102) → 67
U411(99, 103) → 67
U411(100, 99) → 67
U411(101, 99) → 67
U411(102, 99) → 67
U411(103, 99) → 67
U411(100, 100) → 67
U411(100, 101) → 67
U411(100, 102) → 67
U411(100, 103) → 67
U411(101, 100) → 67
U411(102, 100) → 67
U411(103, 100) → 67
U411(101, 101) → 67
U411(101, 102) → 67
U411(101, 103) → 67
U411(102, 101) → 67
U411(103, 101) → 67
U411(102, 102) → 67
U411(102, 103) → 67
U411(103, 102) → 67
U411(103, 103) → 67
U411(123, 0) → 67
U411(123, 75) → 67
U411(123, 76) → 67
U411(123, 77) → 67
U411(123, 78) → 67
U411(123, 79) → 67
U411(123, 80) → 67
U411(123, 81) → 67
U411(123, 96) → 67
U411(123, 97) → 67
U411(123, 98) → 67
U411(123, 99) → 67
U411(123, 100) → 67
U411(123, 101) → 67
U411(123, 102) → 67
U411(123, 103) → 67
U411(0, 123) → 67
U411(75, 123) → 67
U411(76, 123) → 67
U411(77, 123) → 67
U411(78, 123) → 67
U411(79, 123) → 67
U411(80, 123) → 67
U411(81, 123) → 67
U411(96, 123) → 67
U411(97, 123) → 67
U411(98, 123) → 67
U411(99, 123) → 67
U411(100, 123) → 67
U411(101, 123) → 67
U411(102, 123) → 67
U411(103, 123) → 67
U411(123, 123) → 67
U421(97) → 68
U421(98) → 68
U421(99) → 68
U421(100) → 68
U421(101) → 68
U421(102) → 68
U421(103) → 68
U421(123) → 68
U511(97, 97) → 69
U511(97, 98) → 69
U511(97, 99) → 69
U511(97, 100) → 69
U511(97, 101) → 69
U511(97, 102) → 69
U511(97, 103) → 69
U511(98, 97) → 69
U511(99, 97) → 69
U511(100, 97) → 69
U511(101, 97) → 69
U511(102, 97) → 69
U511(103, 97) → 69
U511(98, 98) → 69
U511(98, 99) → 69
U511(98, 100) → 69
U511(98, 101) → 69
U511(98, 102) → 69
U511(98, 103) → 69
U511(99, 98) → 69
U511(100, 98) → 69
U511(101, 98) → 69
U511(102, 98) → 69
U511(103, 98) → 69
U511(99, 99) → 69
U511(99, 100) → 69
U511(99, 101) → 69
U511(99, 102) → 69
U511(99, 103) → 69
U511(100, 99) → 69
U511(101, 99) → 69
U511(102, 99) → 69
U511(103, 99) → 69
U511(100, 100) → 69
U511(100, 101) → 69
U511(100, 102) → 69
U511(100, 103) → 69
U511(101, 100) → 69
U511(102, 100) → 69
U511(103, 100) → 69
U511(101, 101) → 69
U511(101, 102) → 69
U511(101, 103) → 69
U511(102, 101) → 69
U511(103, 101) → 69
U511(102, 102) → 69
U511(102, 103) → 69
U511(103, 102) → 69
U511(103, 103) → 69
U511(123, 0) → 69
U511(123, 75) → 69
U511(123, 76) → 69
U511(123, 77) → 69
U511(123, 78) → 69
U511(123, 79) → 69
U511(123, 80) → 69
U511(123, 81) → 69
U511(123, 96) → 69
U511(123, 97) → 69
U511(123, 98) → 69
U511(123, 99) → 69
U511(123, 100) → 69
U511(123, 101) → 69
U511(123, 102) → 69
U511(123, 103) → 69
U511(0, 123) → 69
U511(75, 123) → 69
U511(76, 123) → 69
U511(77, 123) → 69
U511(78, 123) → 69
U511(79, 123) → 69
U511(80, 123) → 69
U511(81, 123) → 69
U511(96, 123) → 69
U511(97, 123) → 69
U511(98, 123) → 69
U511(99, 123) → 69
U511(100, 123) → 69
U511(101, 123) → 69
U511(102, 123) → 69
U511(103, 123) → 69
U511(123, 123) → 69
U521(97) → 70
U521(98) → 70
U521(99) → 70
U521(100) → 70
U521(101) → 70
U521(102) → 70
U521(103) → 70
U521(123) → 70
U611(97) → 71
U611(98) → 71
U611(99) → 71
U611(100) → 71
U611(101) → 71
U611(102) → 71
U611(103) → 71
U611(123) → 71
U711(97, 97) → 72
U711(97, 98) → 72
U711(97, 99) → 72
U711(97, 100) → 72
U711(97, 101) → 72
U711(97, 102) → 72
U711(97, 103) → 72
U711(98, 97) → 72
U711(99, 97) → 72
U711(100, 97) → 72
U711(101, 97) → 72
U711(102, 97) → 72
U711(103, 97) → 72
U711(98, 98) → 72
U711(98, 99) → 72
U711(98, 100) → 72
U711(98, 101) → 72
U711(98, 102) → 72
U711(98, 103) → 72
U711(99, 98) → 72
U711(100, 98) → 72
U711(101, 98) → 72
U711(102, 98) → 72
U711(103, 98) → 72
U711(99, 99) → 72
U711(99, 100) → 72
U711(99, 101) → 72
U711(99, 102) → 72
U711(99, 103) → 72
U711(100, 99) → 72
U711(101, 99) → 72
U711(102, 99) → 72
U711(103, 99) → 72
U711(100, 100) → 72
U711(100, 101) → 72
U711(100, 102) → 72
U711(100, 103) → 72
U711(101, 100) → 72
U711(102, 100) → 72
U711(103, 100) → 72
U711(101, 101) → 72
U711(101, 102) → 72
U711(101, 103) → 72
U711(102, 101) → 72
U711(103, 101) → 72
U711(102, 102) → 72
U711(102, 103) → 72
U711(103, 102) → 72
U711(103, 103) → 72
U711(123, 0) → 72
U711(123, 75) → 72
U711(123, 76) → 72
U711(123, 77) → 72
U711(123, 78) → 72
U711(123, 79) → 72
U711(123, 80) → 72
U711(123, 81) → 72
U711(123, 96) → 72
U711(123, 97) → 72
U711(123, 98) → 72
U711(123, 99) → 72
U711(123, 100) → 72
U711(123, 101) → 72
U711(123, 102) → 72
U711(123, 103) → 72
U711(0, 123) → 72
U711(75, 123) → 72
U711(76, 123) → 72
U711(77, 123) → 72
U711(78, 123) → 72
U711(79, 123) → 72
U711(80, 123) → 72
U711(81, 123) → 72
U711(96, 123) → 72
U711(97, 123) → 72
U711(98, 123) → 72
U711(99, 123) → 72
U711(100, 123) → 72
U711(101, 123) → 72
U711(102, 123) → 72
U711(103, 123) → 72
U711(123, 123) → 72
U721(97) → 73
U721(98) → 73
U721(99) → 73
U721(100) → 73
U721(101) → 73
U721(102) → 73
U721(103) → 73
U721(123) → 73
U811(97) → 74
U811(98) → 74
U811(99) → 74
U811(100) → 74
U811(101) → 74
U811(102) → 74
U811(103) → 74
U811(123) → 74
ok1(124) → 62
ok1(125) → 63
ok1(126) → 64
ok1(127) → 65
ok1(128) → 82
ok1(129) → 66
ok1(130) → 67
ok1(131) → 68
ok1(132) → 83
ok1(133) → 69
ok1(134) → 70
ok1(135) → 71
ok1(136) → 72
ok1(137) → 73
ok1(138) → 84
ok1(139) → 74
ok1(140) → 85
ok1(141) → 86
isList1(97) → 82
isList1(98) → 82
isList1(99) → 82
isList1(100) → 82
isList1(101) → 82
isList1(102) → 82
isList1(103) → 82
isList1(123) → 82
isNeList1(97) → 83
isNeList1(98) → 83
isNeList1(99) → 83
isNeList1(100) → 83
isNeList1(101) → 83
isNeList1(102) → 83
isNeList1(103) → 83
isNeList1(123) → 83
isPal1(97) → 84
isPal1(98) → 84
isPal1(99) → 84
isPal1(100) → 84
isPal1(101) → 84
isPal1(102) → 84
isPal1(103) → 84
isPal1(123) → 84
isQid1(97) → 85
isQid1(98) → 85
isQid1(99) → 85
isQid1(100) → 85
isQid1(101) → 85
isQid1(102) → 85
isQid1(103) → 85
isQid1(123) → 85
isNePal1(97) → 86
isNePal1(98) → 86
isNePal1(99) → 86
isNePal1(100) → 86
isNePal1(101) → 86
isNePal1(102) → 86
isNePal1(103) → 86
isNePal1(123) → 86
top1(123) → 21
top1(142) → 21
proper1(123) → 87
active1(97) → 88
active1(98) → 88
active1(99) → 88
active1(100) → 88
active1(101) → 88
active1(102) → 88
active1(103) → 88
active1(123) → 88
ok2(124) → 62
ok2(125) → 63
ok2(126) → 64
ok2(127) → 65
ok2(128) → 82
ok2(129) → 66
ok2(130) → 67
ok2(131) → 68
ok2(132) → 83
ok2(133) → 69
ok2(134) → 70
ok2(135) → 71
ok2(136) → 72
ok2(137) → 73
ok2(138) → 84
ok2(139) → 74
ok2(140) → 85
ok2(141) → 86
top2(142) → 21
244.07/68.98
244.07/68.98
(2) BOUNDS(O(1), O(n^1))
244.07/68.98