Start: f0
Program_Vars: 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₃₃, X₃₄, X₃₅, X₃₆, X₃₇, X₃₈, X₃₉, X₄₀, X₄₁, X₄₂, X₄₃, X₄₄, X₄₅, X₄₆, X₄₇
Temp_Vars: A2, B2, C2, D2, W1, X1, Y1, Z1
Locations: f0, f75
Transitions:
t₀: f0(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₃₃, X₃₄, X₃₅, X₃₆, X₃₇, X₃₈, X₃₉, X₄₀, X₄₁, X₄₂, X₄₃, X₄₄, X₄₅, X₄₆, X₄₇) → f75(2, W1, W1, W1, W1, W1, 2, X1, X1, X1, X1, X1, 2, Y1, Y1, Y1, Y1, Y1, 2, Z1, Z1, Z1, Z1, Z1, 2, A2, A2, A2, A2, A2, 2, B2, B2, B2, B2, B2, 2, C2, C2, C2, C2, C2, 2, D2, D2, D2, D2, D2)
Eliminate variables [A2; B2; C2; D2; W1; X1; Y1; Z1; 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₃₃; X₃₄; X₃₅; X₃₆; X₃₇; X₃₈; X₃₉; X₄₀; X₄₁; X₄₂; X₄₃; X₄₄; X₄₅; X₄₆; X₄₇] that do not contribute to the problem
Start: f0
Program_Vars:
Temp_Vars:
Locations: f0, f75
Transitions:
t₁: f0 → f75
Overall timebound:1 {O(1)}
t₁: 1 {O(1)}
Overall costbound: 1 {O(1)}
t₁: 1 {O(1)}