KoAT2 Proof Output

Analysing control-flow refined program

knowledge_propagation leads to new time bound 2⋅X₉+1 {O(n)} for transition t₈₃: eval_non_linear09_bb3_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) → eval_non_linear09_bb4_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) :|: (X₂)² ≤ 31+X₃ ∧ 1 ≤ X₂ ∧ X₂ ≤ 2 ∧ X₂ ≤ 2+X₇ ∧ X₂ ≤ 1+X₁ ∧ X₁ ≤ 1+X₇ ∧ X₂ ≤ 1+X₃ ∧ X₂ ≤ 1+X₄ ∧ X₂ ≤ 1+X₅ ∧ X₂ ≤ 1+X₉ ∧ X₃ ≤ 1+X₇ ∧ X₄ ≤ 1+X₇ ∧ X₅ ≤ 1+X₇ ∧ 1 ≤ X₁ ∧ 1 ≤ X₁+X₇ ∧ 1+X₇ ≤ X₁ ∧ 1 ≤ X₃ ∧ 1 ≤ X₃+X₇ ∧ 1+X₇ ≤ X₃ ∧ 1 ≤ X₄ ∧ 1 ≤ X₄+X₇ ∧ 1+X₇ ≤ X₄ ∧ 1 ≤ X₅ ∧ 1 ≤ X₅+X₇ ∧ 1+X₇ ≤ X₅ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 1 ≤ X₉ ∧ 2 ≤ X₁+X₃ ∧ 2 ≤ X₁+X₄ ∧ 2 ≤ X₁+X₅ ∧ 2 ≤ X₁+X₉ ∧ 2 ≤ X₂ ∧ 2 ≤ X₂+X₇ ∧ 2 ≤ X₃+X₄ ∧ 2 ≤ X₃+X₅ ∧ 2 ≤ X₃+X₉ ∧ 2 ≤ X₄+X₅ ∧ 2 ≤ X₄+X₉ ∧ 2 ≤ X₅+X₉ ∧ 3 ≤ X₁+X₂ ∧ 3 ≤ X₂+X₃ ∧ 3 ≤ X₂+X₄ ∧ 3 ≤ X₂+X₅ ∧ 3 ≤ X₂+X₉ ∧ X₃ ≤ X₁ ∧ X₄ ≤ X₁ ∧ X₅ ≤ X₁ ∧ X₁ ≤ X₃ ∧ X₁ ≤ X₄ ∧ X₁ ≤ X₅ ∧ X₁ ≤ X₉ ∧ X₄ ≤ X₃ ∧ X₅ ≤ X₃ ∧ X₃ ≤ X₄ ∧ X₃ ≤ X₅ ∧ X₃ ≤ X₉ ∧ X₅ ≤ X₄ ∧ X₄ ≤ X₅ ∧ X₄ ≤ X₉ ∧ X₅ ≤ X₉ ∧ 0 ≤ X₇

MPRF for transition t₈₉: eval_non_linear09_bb3_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) → eval_non_linear09_bb1_in(X₅, X₁, X₂, X₃, X₇, X₅, X₆, X₇, X₈, X₉) :|: 32+X₃ ≤ (X₂)² ∧ X₄ ≤ 1+X₇ ∧ 1 ≤ X₃ ∧ 1 ≤ X₃+X₇ ∧ 1+X₇ ≤ X₃ ∧ 1 ≤ X₄ ∧ 1 ≤ X₄+X₇ ∧ 1+X₇ ≤ X₄ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 1 ≤ X₉ ∧ 2 ≤ X₂ ∧ 2 ≤ X₃+X₄ ∧ 2 ≤ X₃+X₉ ∧ 2 ≤ X₄+X₉ ∧ 7+3⋅X₇ ≤ X₃ ∧ 8 ≤ X₂ ∧ 8 ≤ X₂+X₇ ∧ 9 ≤ X₂+X₄ ∧ 9 ≤ X₂+X₉ ∧ 24+X₄ ≤ X₃ ∧ 25 ≤ X₃ ∧ 25 ≤ X₃+X₇ ∧ 25+X₇ ≤ X₃ ∧ 26 ≤ X₃+X₄ ∧ 26 ≤ X₃+X₉ ∧ 33 ≤ X₂+X₃ ∧ X₄ ≤ X₃ ∧ X₄ ≤ X₉ ∧ 0 ≤ X₇ of depth 1:

new bound:

X₉ {O(n)}

MPRF:

• eval_non_linear09_1: [X₄]
• eval_non_linear09_2: [X₄]
• eval_non_linear09_bb1_in: [X₄]
• eval_non_linear09_bb2_in: [X₄]
• eval_non_linear09_bb3_in: [X₁]
• eval_non_linear09_bb3_in_v1: [X₄]
• eval_non_linear09_bb3_in_v2: [1+X₇]
• eval_non_linear09_bb4_in_v1: [1+X₇]
• eval_non_linear09_bb4_in_v2: [1+X₇]

MPRF for transition t₉₂: eval_non_linear09_bb3_in_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) → eval_non_linear09_bb1_in(X₅, X₁, X₂, X₃, X₇, X₅, X₆, X₇, X₈, X₉) :|: 32+X₃ ≤ (X₂)² ∧ X₄ ≤ 1+X₇ ∧ 1 ≤ X₃ ∧ 1 ≤ X₃+X₇ ∧ 1+X₇ ≤ X₃ ∧ 1 ≤ X₄ ∧ 1 ≤ X₄+X₇ ∧ 1+X₇ ≤ X₄ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 1 ≤ X₉ ∧ 2+X₂ ≤ 0 ∧ 2 ≤ X₃+X₄ ∧ 2 ≤ X₃+X₉ ∧ 2 ≤ X₄+X₉ ∧ 4+X₂ ≤ 0 ∧ 4+X₂ ≤ X₇ ∧ 4+3⋅X₄ ≤ X₃ ∧ 5+X₂ ≤ X₄ ∧ 5+X₂ ≤ X₉ ∧ 6+X₄ ≤ X₃ ∧ 7 ≤ X₃ ∧ 7 ≤ X₃+X₇ ∧ 7+X₇ ≤ X₃ ∧ 8 ≤ X₃+X₄ ∧ 8 ≤ X₃+X₉ ∧ 11+X₂ ≤ X₃ ∧ X₄ ≤ X₃ ∧ X₄ ≤ X₉ ∧ 0 ≤ X₇ of depth 1:

new bound:

X₉ {O(n)}

MPRF:

• eval_non_linear09_1: [X₄]
• eval_non_linear09_2: [X₄]
• eval_non_linear09_bb1_in: [X₄]
• eval_non_linear09_bb2_in: [X₄]
• eval_non_linear09_bb3_in: [X₄]
• eval_non_linear09_bb3_in_v1: [X₄]
• eval_non_linear09_bb3_in_v2: [X₄]
• eval_non_linear09_bb4_in_v1: [X₄]
• eval_non_linear09_bb4_in_v2: [1+X₇]

MPRF for transition t₄₃: eval_non_linear09_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) → eval_non_linear09_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) :|: 1 ≤ X₆ ∧ X₆ ≤ X₀ ∧ X₄ ≤ 0 ∧ X₄ ≤ X₉ of depth 1:

new bound:

10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}

MPRF:

• eval_non_linear09_bb5_in: [X₆]
• eval_non_linear09_bb6_in: [X₆-1]

MPRF for transition t₄₅: eval_non_linear09_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉) → eval_non_linear09_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆-1, X₇, X₈, X₉) :|: 1 ≤ X₀ ∧ 1+X₄ ≤ X₀ ∧ 1+X₄ ≤ X₆ ∧ 1 ≤ X₆ ∧ 2 ≤ X₀+X₆ ∧ X₆ ≤ X₀ ∧ X₄ ≤ 0 ∧ X₄ ≤ X₉ of depth 1:

new bound:

MPRF:

• eval_non_linear09_bb5_in: [X₆]
• eval_non_linear09_bb6_in: [X₆]

Found invariant 1 ≤ X₉ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 2 ≤ X₄+X₉ ∧ X₄ ≤ X₉ ∧ 2 ≤ X₃+X₉ ∧ 1+X₇ ≤ X₄ ∧ 1+X₇ ≤ X₃ ∧ 0 ≤ X₇ ∧ 1 ≤ X₄+X₇ ∧ X₄ ≤ 1+X₇ ∧ 1 ≤ X₃+X₇ ∧ X₄ ≤ X₃ ∧ 1 ≤ X₄ ∧ 2 ≤ X₃+X₄ ∧ 1 ≤ X₃ for location eval_non_linear09_bb3_in

Found invariant X₄ ≤ X₉ ∧ X₆ ≤ X₀ ∧ X₀ ≤ X₆ ∧ X₄ ≤ 0 for location eval_non_linear09_bb5_in

Found invariant X₄ ≤ X₉ ∧ X₆ ≤ 0 ∧ X₄+X₆ ≤ 0 ∧ X₆ ≤ X₀ ∧ X₄ ≤ 0 for location eval_non_linear09_stop

Found invariant X₄ ≤ X₉ for location eval_non_linear09_bb1_in

Found invariant 1 ≤ X₉ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 2 ≤ X₄+X₉ ∧ X₄ ≤ X₉ ∧ 1+X₇ ≤ X₄ ∧ 0 ≤ X₇ ∧ 1 ≤ X₄+X₇ ∧ X₄ ≤ 1+X₇ ∧ 1 ≤ X₄ for location eval_non_linear09_2

Found invariant X₄ ≤ X₉ ∧ 1+X₆ ≤ X₀ ∧ 0 ≤ X₆ ∧ X₄ ≤ X₆ ∧ 1 ≤ X₀+X₆ ∧ X₄ ≤ 0 ∧ 1+X₄ ≤ X₀ ∧ 1 ≤ X₀ for location eval_non_linear09_bb5_in_v1

Found invariant X₄ ≤ X₉ ∧ 1+X₆ ≤ X₀ ∧ 1 ≤ X₆ ∧ 1+X₄ ≤ X₆ ∧ 3 ≤ X₀+X₆ ∧ X₄ ≤ 0 ∧ 2+X₄ ≤ X₀ ∧ 2 ≤ X₀ for location eval_non_linear09_bb6_in_v2

Found invariant X₄ ≤ X₉ ∧ X₆ ≤ 0 ∧ X₄+X₆ ≤ 0 ∧ X₆ ≤ X₀ ∧ X₄ ≤ 0 for location eval_non_linear09_bb7_in

Found invariant 1 ≤ X₉ ∧ 2 ≤ X₄+X₉ ∧ X₄ ≤ X₉ ∧ 1 ≤ X₄ for location eval_non_linear09_bb2_in

Found invariant 1 ≤ X₉ ∧ 1 ≤ X₇+X₉ ∧ 1+X₇ ≤ X₉ ∧ 2 ≤ X₄+X₉ ∧ X₄ ≤ X₉ ∧ 1+X₇ ≤ X₄ ∧ 0 ≤ X₇ ∧ 1 ≤ X₄+X₇ ∧ X₄ ≤ 1+X₇ ∧ 1 ≤ X₄ for location eval_non_linear09_1

Found invariant X₄ ≤ X₉ ∧ X₆ ≤ X₀ ∧ 1 ≤ X₆ ∧ 1+X₄ ≤ X₆ ∧ 2 ≤ X₀+X₆ ∧ X₀ ≤ X₆ ∧ X₄ ≤ 0 ∧ 1+X₄ ≤ X₀ ∧ 1 ≤ X₀ for location eval_non_linear09_bb6_in_v1

All Bounds

Timebounds

Overall timebound:10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+336⋅X₉⋅X₉+2⋅X₈+2461⋅X₉+1150 {O(EXP)}
t₃₂: X₉+1 {O(n)}
t₃₃: 2⋅X₉+1 {O(n)}
t₃₄: 1 {O(1)}
t₃₅: X₉ {O(n)}
t₃₆: 1 {O(1)}
t₃₇: X₉ {O(n)}
t₃₈: X₉ {O(n)}
t₃₉: X₉ {O(n)}
t₄₀: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₁: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₂: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₃: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₄: 1 {O(1)}
t₄₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₆: 1 {O(1)}
t₄₇: 1 {O(1)}

Costbounds

Overall costbound: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+336⋅X₉⋅X₉+2⋅X₈+2461⋅X₉+1150 {O(EXP)}
t₃₂: X₉+1 {O(n)}
t₃₃: 2⋅X₉+1 {O(n)}
t₃₄: 1 {O(1)}
t₃₅: X₉ {O(n)}
t₃₆: 1 {O(1)}
t₃₇: X₉ {O(n)}
t₃₈: X₉ {O(n)}
t₃₉: X₉ {O(n)}
t₄₀: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₁: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₂: 112⋅X₉⋅X₉+818⋅X₉+381 {O(n^2)}
t₄₃: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₄: 1 {O(1)}
t₄₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₆: 1 {O(1)}
t₄₇: 1 {O(1)}

Sizebounds

t₃₂, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₂, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₃₂, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₃₂, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₃₂, X₄: X₉ {O(n)}
t₃₂, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₃₂, X₆: X₆ {O(n)}
t₃₂, X₇: X₉ {O(n)}
t₃₂, X₈: X₈ {O(n)}
t₃₂, X₉: X₉ {O(n)}
t₃₃, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₃, X₁: X₉ {O(n)}
t₃₃, X₂: 2 {O(1)}
t₃₃, X₃: X₉ {O(n)}
t₃₃, X₄: X₉ {O(n)}
t₃₃, X₅: X₉ {O(n)}
t₃₃, X₆: X₆ {O(n)}
t₃₃, X₇: X₉ {O(n)}
t₃₃, X₈: X₈ {O(n)}
t₃₃, X₉: X₉ {O(n)}
t₃₄, X₀: X₈ {O(n)}
t₃₄, X₁: X₁ {O(n)}
t₃₄, X₂: X₂ {O(n)}
t₃₄, X₃: X₃ {O(n)}
t₃₄, X₄: X₉ {O(n)}
t₃₄, X₅: X₅ {O(n)}
t₃₄, X₆: X₆ {O(n)}
t₃₄, X₇: X₇ {O(n)}
t₃₄, X₈: X₈ {O(n)}
t₃₄, X₉: X₉ {O(n)}
t₃₅, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₅, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₃₅, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₃₅, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₃₅, X₄: X₉ {O(n)}
t₃₅, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₃₅, X₆: X₆ {O(n)}
t₃₅, X₇: 2⋅X₉+X₇ {O(n)}
t₃₅, X₈: X₈ {O(n)}
t₃₅, X₉: X₉ {O(n)}
t₃₆, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₆, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₃₆, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₃₆, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₃₆, X₄: 3⋅X₉ {O(n)}
t₃₆, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₃₆, X₆: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₆, X₇: 2⋅X₉+X₇ {O(n)}
t₃₆, X₈: 3⋅X₈ {O(n)}
t₃₆, X₉: 3⋅X₉ {O(n)}
t₃₇, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₃₇, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₃₇, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₃₇, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₃₇, X₄: X₉ {O(n)}
t₃₇, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₃₇, X₆: X₆ {O(n)}
t₃₇, X₇: X₉ {O(n)}
t₃₇, X₈: X₈ {O(n)}
t₃₇, X₉: X₉ {O(n)}
t₃₈, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₈, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₈, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704 {O(EXP)}
t₃₈, X₃: 13597092953773322470125387743762647129467108723535062124608105930500324470926108101864623608481169798109386450992855400460585237356138472875560365555692897779138972274405024351639539872⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅46254396565961034474265827949764004967205075211311238120318646067148425209132564167950192810993979402497109266323909889066812280649006769335611600684991018337963825326324234624773791886+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅99368040916638075373193123823836845316685968662620074544569059858165317673687673940858878781623548926361900090514751297115973364071422679005769278636916400287725435773218860998365744511⋅X₉ {O(EXP)}
t₃₈, X₄: X₉ {O(n)}
t₃₈, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₈, X₆: X₆ {O(n)}
t₃₈, X₇: X₉ {O(n)}
t₃₈, X₈: X₈ {O(n)}
t₃₈, X₉: X₉ {O(n)}
t₃₉, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₉, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₉, X₂: 0 {O(1)}
t₃₉, X₃: 13597092953773322470125387743762647129467108723535062124608105930500324470926108101864623608481169798109386450992855400460585237356138472875560365555692897779138972274405024351639539872⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅46254396565961034474265827949764004967205075211311238120318646067148425209132564167950192810993979402497109266323909889066812280649006769335611600684991018337963825326324234624773791886+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅99368040916638075373193123823836845316685968662620074544569059858165317673687673940858878781623548926361900090514751297115973364071422679005769278636916400287725435773218860998365744511⋅X₉ {O(EXP)}
t₃₉, X₄: X₉ {O(n)}
t₃₉, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₃₉, X₆: X₆ {O(n)}
t₃₉, X₇: X₉ {O(n)}
t₃₉, X₈: X₈ {O(n)}
t₃₉, X₉: X₉ {O(n)}
t₄₀, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₀, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₀, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704 {O(EXP)}
t₄₀, X₃: 13597092953773322470125387743762647129467108723535062124608105930500324470926108101864623608481169798109386450992855400460585237356138472875560365555692897779138972274405024351639539872⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅46254396565961034474265827949764004967205075211311238120318646067148425209132564167950192810993979402497109266323909889066812280649006769335611600684991018337963825326324234624773791886+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅99368040916638075373193123823836845316685968662620074544569059858165317673687673940858878781623548926361900090514751297115973364071422679005769278636916400287725435773218860998365744511⋅X₉ {O(EXP)}
t₄₀, X₄: X₉ {O(n)}
t₄₀, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₀, X₆: X₆ {O(n)}
t₄₀, X₇: X₉ {O(n)}
t₄₀, X₈: X₈ {O(n)}
t₄₀, X₉: X₉ {O(n)}
t₄₁, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₁, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₁, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704 {O(EXP)}
t₄₁, X₃: 13597092953773322470125387743762647129467108723535062124608105930500324470926108101864623608481169798109386450992855400460585237356138472875560365555692897779138972274405024351639539872⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅46254396565961034474265827949764004967205075211311238120318646067148425209132564167950192810993979402497109266323909889066812280649006769335611600684991018337963825326324234624773791886+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅99368040916638075373193123823836845316685968662620074544569059858165317673687673940858878781623548926361900090514751297115973364071422679005769278636916400287725435773218860998365744511⋅X₉ {O(EXP)}
t₄₁, X₄: X₉ {O(n)}
t₄₁, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₁, X₆: X₆ {O(n)}
t₄₁, X₇: X₉ {O(n)}
t₄₁, X₈: X₈ {O(n)}
t₄₁, X₉: X₉ {O(n)}
t₄₂, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₂, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₂, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704 {O(EXP)}
t₄₂, X₃: 13597092953773322470125387743762647129467108723535062124608105930500324470926108101864623608481169798109386450992855400460585237356138472875560365555692897779138972274405024351639539872⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅46254396565961034474265827949764004967205075211311238120318646067148425209132564167950192810993979402497109266323909889066812280649006769335611600684991018337963825326324234624773791886+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅99368040916638075373193123823836845316685968662620074544569059858165317673687673940858878781623548926361900090514751297115973364071422679005769278636916400287725435773218860998365744511⋅X₉ {O(EXP)}
t₄₂, X₄: X₉ {O(n)}
t₄₂, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉ {O(EXP)}
t₄₂, X₆: X₆ {O(n)}
t₄₂, X₇: X₉ {O(n)}
t₄₂, X₈: X₈ {O(n)}
t₄₂, X₉: X₉ {O(n)}
t₄₃, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₃, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₄₃, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₄₃, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₄₃, X₄: 3⋅X₉ {O(n)}
t₄₃, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₄₃, X₆: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₃, X₇: 2⋅X₉+X₇ {O(n)}
t₄₃, X₈: 3⋅X₈ {O(n)}
t₄₃, X₉: 3⋅X₉ {O(n)}
t₄₄, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₈ {O(EXP)}
t₄₄, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₁ {O(EXP)}
t₄₄, X₂: 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408⋅2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)+2⋅X₂ {O(EXP)}
t₄₄, X₃: 185017586263844137897063311799056019868820300845244952481274584268593700836530256671800771243975917609988437065295639556267249122596027077342446402739964073351855301305296938499095167544⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)+397472163666552301492772495295347381266743874650480298178276239432661270694750695763435515126494195705447600362059005188463893456285690716023077114547665601150901743092875443993462978044⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅54388371815093289880501550975050588517868434894140248498432423722001297883704432407458494433924679192437545803971421601842340949424553891502241462222771591116555889097620097406558159488⋅X₉⋅X₉+2⋅X₃ {O(EXP)}
t₄₄, X₄: 6⋅X₉ {O(n)}
t₄₄, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₅ {O(EXP)}
t₄₄, X₆: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₈ {O(EXP)}
t₄₄, X₇: 2⋅X₇+4⋅X₉ {O(n)}
t₄₄, X₈: 6⋅X₈ {O(n)}
t₄₄, X₉: 6⋅X₉ {O(n)}
t₄₅, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₅, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₁ {O(EXP)}
t₄₅, X₂: 2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)⋅9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704+X₂ {O(EXP)}
t₄₅, X₃: 198736081833276150746386247647673690633371937325240149089138119716330635347375347881717757563247097852723800181029502594231946728142845358011538557273832800575450871546437721996731489022⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+27194185907546644940250775487525294258934217447070124249216211861000648941852216203729247216962339596218772901985710800921170474712276945751120731111385795558277944548810048703279079744⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅92508793131922068948531655899528009934410150422622476240637292134296850418265128335900385621987958804994218532647819778133624561298013538671223201369982036675927650652648469249547583772+X₃ {O(EXP)}
t₄₅, X₄: 3⋅X₉ {O(n)}
t₄₅, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₅ {O(EXP)}
t₄₅, X₆: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+X₈ {O(EXP)}
t₄₅, X₇: 2⋅X₉+X₇ {O(n)}
t₄₅, X₈: 3⋅X₈ {O(n)}
t₄₅, X₉: 3⋅X₉ {O(n)}
t₄₆, X₀: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₈ {O(EXP)}
t₄₆, X₁: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₁ {O(EXP)}
t₄₆, X₂: 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408⋅2^(112⋅X₉⋅X₉)⋅2^(818⋅X₉)+2⋅X₂ {O(EXP)}
t₄₆, X₃: 185017586263844137897063311799056019868820300845244952481274584268593700836530256671800771243975917609988437065295639556267249122596027077342446402739964073351855301305296938499095167544⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)+397472163666552301492772495295347381266743874650480298178276239432661270694750695763435515126494195705447600362059005188463893456285690716023077114547665601150901743092875443993462978044⋅3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅X₉+3^(112⋅X₉⋅X₉)⋅3^(818⋅X₉)⋅54388371815093289880501550975050588517868434894140248498432423722001297883704432407458494433924679192437545803971421601842340949424553891502241462222771591116555889097620097406558159488⋅X₉⋅X₉+2⋅X₃ {O(EXP)}
t₄₆, X₄: 6⋅X₉ {O(n)}
t₄₆, X₅: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₅ {O(EXP)}
t₄₆, X₆: 10^(112⋅X₉⋅X₉)⋅10^(818⋅X₉)⋅8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000⋅X₉+2⋅X₈ {O(EXP)}
t₄₆, X₇: 2⋅X₇+4⋅X₉ {O(n)}
t₄₆, X₈: 6⋅X₈ {O(n)}
t₄₆, X₉: 6⋅X₉ {O(n)}
t₄₇, X₀: X₀ {O(n)}
t₄₇, X₁: X₁ {O(n)}
t₄₇, X₂: X₂ {O(n)}
t₄₇, X₃: X₃ {O(n)}
t₄₇, X₄: X₄ {O(n)}
t₄₇, X₅: X₅ {O(n)}
t₄₇, X₆: X₆ {O(n)}
t₄₇, X₇: X₇ {O(n)}
t₄₇, X₈: X₈ {O(n)}
t₄₇, X₉: X₉ {O(n)}