Inferring Expected Runtimes Using Sizes

KoAT2 Proof WORST_CASE( ?, 12*(2+2*Arg_13+2*Arg_14)+24*(1+Arg_13+Arg_14)+25+27*(1+Arg_16)+3*(1+2*Arg_13+2*Arg_14)+3*(1+Arg_16)*(2+2*Arg_9+3*(1+Arg_9+2*Arg_3)+4*Arg_3+6*(6*Arg_3+Arg_9))+4*Arg_9+6*Arg_3 {O(n^2)})

Initial Complexity Problem (after preprocessing)

Start:f0
Program_Vars:Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11, Arg_12, Arg_13, Arg_14, Arg_15, Arg_16, Arg_17, Arg_18, Arg_19, Arg_20, Arg_21, Arg_22, Arg_23, Arg_24, Arg_25, Arg_26
Temp_Vars:B1, C1, $_199, $_225, $_239, $_241, $_253, $_267, $_269
Locations:f0, f117, f125, f23, f33, f39, f44, f46, f49, f54, f60, f66, f72, f87, f91
Transitions:
f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f23(0,0,2*Arg_3,Arg_3,4*Arg_3,4*Arg_3+3,4*Arg_3+4,Arg_3,B1,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26)
f23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1,1,0,0,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_9<=Arg_2 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f23(Arg_0+B1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1,C1,1-C1,B1,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 2<=C1 && Arg_9<=Arg_2 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f23(Arg_0+B1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1,C1,1-C1,B1,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: C1<=0 && Arg_9<=Arg_2 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_9<=Arg_3 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f49(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_15+1<=0 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f49(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_15 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f66(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,0,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f66(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> 1/2:f66(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+2,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :+: 1/2:f66(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_9<=Arg_4 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_16<=Arg_15 && Arg_15+Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_16<=Arg_15 && Arg_15+Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f91(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,0,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,0,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_11<=0 && 0<=Arg_11 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f91(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,B1,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_11+1<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f91(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,B1,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_11 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13
f66(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16+1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_4<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_16<=Arg_15 && Arg_15+Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_16<=Arg_15 && Arg_15+Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 && Arg_14<=Arg_13
f60(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16+1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_26<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_26<=Arg_2 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_26<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_26<=Arg_2 && Arg_16<=0 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f72(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_16 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f117(Arg_0,B1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_13<=Arg_14 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f39(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_15+1<=0 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f39(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_15 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,0,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_3<=Arg_9 && Arg_15<=0 && 0<=Arg_15 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -> f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f125(Arg_0,B1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1+Arg_13<=Arg_14 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1+Arg_13<=Arg_14 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_15+1<=0 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f44(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_15 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_1<=0 && 0<=Arg_1
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f54(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_15+1<=0 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f54(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_15 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{3}> f60(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_16+Arg_2) :|: Arg_15+1<=0 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{3}> f60(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_16+Arg_2) :|: 1<=Arg_15 && Arg_16<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_16<=0 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,$_199,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,0,Arg_26) :|: 1<=Arg_16 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1+Arg_2<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,$_225,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,$_239,Arg_26) :|: 1<=Arg_16 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && $_241+1<=0 && 1+Arg_2<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f46(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,$_253,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,$_267,Arg_26) :|: 1<=Arg_16 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13 && 1<=$_269 && 1+Arg_2<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f44(Arg_0,Arg_1+Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,0,Arg_12,Arg_13,Arg_14+1,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,0,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_11<=0 && 0<=Arg_11 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f44(Arg_0,Arg_1+Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14+1,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,B1,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: Arg_11+1<=0 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13
f87(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) -{2}> f44(Arg_0,Arg_1+Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14+1,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,B1,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26) :|: 1<=Arg_11 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_3<=Arg_9 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13 && 1+Arg_7<=Arg_9 && 1+Arg_3<=Arg_9 && 1+Arg_2<=Arg_9 && Arg_7<=Arg_3 && Arg_3<=Arg_7 && 1<=Arg_16 && Arg_14<=Arg_13

G f0 f0 f23 f23 f0->f23 t₀ ∈ g₀ η (Arg_0) = 0 η (Arg_1) = 0 η (Arg_2) = 2*Arg_3 η (Arg_4) = 4*Arg_3 η (Arg_5) = 4*Arg_3+3 η (Arg_6) = 4*Arg_3+4 η (Arg_7) = Arg_3 η (Arg_8) = B1 f117 f117 f125 f125 f23->f23 t₁ ∈ g₁ η (Arg_9) = Arg_9+1 η (Arg_10) = 1 η (Arg_11) = 0 η (Arg_12) = 0 τ = Arg_9<=Arg_2 f23->f23 t₂ ∈ g₂ η (Arg_0) = Arg_0+B1 η (Arg_9) = Arg_9+1 η (Arg_10) = C1 η (Arg_11) = 1-C1 η (Arg_12) = B1 τ = 2<=C1 && Arg_9<=Arg_2 f23->f23 t₃ ∈ g₃ η (Arg_0) = Arg_0+B1 η (Arg_9) = Arg_9+1 η (Arg_10) = C1 η (Arg_11) = 1-C1 η (Arg_12) = B1 τ = C1<=0 && Arg_9<=Arg_2 f33 f33 f23->f33 t₄₇ ∈ g₄₆ τ = 1+Arg_2<=Arg_9 f33->f33 t₄ ∈ g₄ η (Arg_9) = Arg_9+1 τ = Arg_9<=Arg_3 f39 f39 f33->f39 t₄₄ ∈ g₄₃ τ = Arg_15+1<=0 && 1+Arg_3<=Arg_9 f33->f39 t₄₅ ∈ g₄₄ τ = 1<=Arg_15 && 1+Arg_3<=Arg_9 f44 f44 f33->f44 t₄₆ ∈ g₄₅ η (Arg_15) = 0 τ = 1+Arg_3<=Arg_9 && Arg_15<=0 && 0<=Arg_15 f33->f44 t₄₉ ∈ g₄₈ τ = Arg_15+1<=0 && 1+Arg_3<=Arg_9 && 1+Arg_3<=Arg_9 {2} f33->f44 t₅₀ ∈ g₄₉ τ = 1<=Arg_15 && 1+Arg_3<=Arg_9 && 1+Arg_3<=Arg_9 {2} f44->f117 t₄₂ ∈ g₄₁ η (Arg_1) = B1 τ = 1+Arg_13<=Arg_14 f44->f125 t₄₈ ∈ g₄₇ η (Arg_1) = B1 τ = 1+Arg_13<=Arg_14 && 1+Arg_3<=Arg_9 {2} f46 f46 f44->f46 t₆ ∈ g₆ τ = Arg_14<=Arg_13 f49 f49 f46->f49 t₇ ∈ g₇ τ = Arg_15+1<=0 && Arg_16<=0 f46->f49 t₈ ∈ g₈ τ = 1<=Arg_15 && Arg_16<=0 f54 f54 f46->f54 t₅₁ ∈ g₅₀ τ = Arg_15+1<=0 && Arg_16<=0 && 1+Arg_3<=Arg_9 {2} f46->f54 t₅₂ ∈ g₅₁ τ = 1<=Arg_15 && Arg_16<=0 && 1+Arg_3<=Arg_9 {2} f60 f60 f46->f60 t₅₃ ∈ g₅₂ η (Arg_26) = Arg_16+Arg_2 τ = Arg_15+1<=0 && Arg_16<=0 && 1+Arg_3<=Arg_9 && 1+Arg_3<=Arg_9 {3} f46->f60 t₅₄ ∈ g₅₃ η (Arg_26) = Arg_16+Arg_2 τ = 1<=Arg_15 && Arg_16<=0 && 1+Arg_3<=Arg_9 && 1+Arg_3<=Arg_9 {3} f66 f66 f46->f66 t₁₂ ∈ g₁₂ η (Arg_15) = 0 τ = Arg_16<=0 && Arg_15<=0 && 0<=Arg_15 f72 f72 f46->f72 t₄₁ ∈ g₄₀ τ = 1<=Arg_16 f87 f87 f46->f87 t₅₅ ∈ g₅₄ η (Arg_11) = $_199 η (Arg_25) = 0 τ = 1<=Arg_16 && 1+Arg_2<=Arg_9 {2} f46->f87 t₅₆ ∈ g₅₅ η (Arg_11) = $_225 η (Arg_25) = $_239 τ = 1<=Arg_16 && $_241+1<=0 && 1+Arg_2<=Arg_9 {2} f46->f87 t₅₇ ∈ g₅₆ η (Arg_11) = $_253 η (Arg_25) = $_267 τ = 1<=Arg_16 && 1<=$_269 && 1+Arg_2<=Arg_9 {2} f60->f46 t₃₈ ∈ g₃₇ η (Arg_16) = Arg_16+1 τ = 1+Arg_3<=Arg_9 f66->f46 t₃₇ ∈ g₃₆ η (Arg_16) = Arg_16+1 τ = 1+Arg_4<=Arg_9 f66->f66 t₁₃ ∈ g₁₃ p = 1/2 η (Arg_9) = Arg_9+2 τ = Arg_9<=Arg_4 f66->f66 t₁₄ ∈ g₁₃ p = 1/2 τ = Arg_9<=Arg_4 f87->f44 t₅₈ ∈ g₅₇ η (Arg_1) = Arg_1+Arg_0 η (Arg_11) = 0 η (Arg_14) = Arg_14+1 η (Arg_20) = 0 τ = Arg_11<=0 && 0<=Arg_11 && 1+Arg_3<=Arg_9 {2} f87->f44 t₅₉ ∈ g₅₈ η (Arg_1) = Arg_1+Arg_0 η (Arg_14) = Arg_14+1 η (Arg_20) = B1 τ = Arg_11+1<=0 && 1+Arg_3<=Arg_9 {2} f87->f44 t₆₀ ∈ g₅₉ η (Arg_1) = Arg_1+Arg_0 η (Arg_14) = Arg_14+1 η (Arg_20) = B1 τ = 1<=Arg_11 && 1+Arg_3<=Arg_9 {2} f91 f91 f87->f91 t₁₆ ∈ g₁₅ η (Arg_11) = 0 η (Arg_20) = 0 τ = Arg_11<=0 && 0<=Arg_11 f87->f91 t₁₇ ∈ g₁₆ η (Arg_20) = B1 τ = Arg_11+1<=0 f87->f91 t₁₈ ∈ g₁₇ η (Arg_20) = B1 τ = 1<=Arg_11

Timebounds:

Overall timebound:inf {Infinity}
0,0: f0->f23: 1 {O(1)}
1,1: f23->f23: max([-(Arg_9)+1+2*Arg_3, 0]) {O(n)}
2,2: f23->f23: max([-(Arg_9)+1+2*Arg_3, 0]) {O(n)}
3,3: f23->f23: max([-(Arg_9)+1+2*Arg_3, 0]) {O(n)}
47,46: f23->f33: 1 {O(1)}
4,4: f33->f33: max([-(Arg_9), 0]) {O(n)}
44,43: f33->f39: 1 {O(1)}
45,44: f33->f39: 1 {O(1)}
46,45: f33->f44: 1 {O(1)}
49,48: f33->f44: 1 {O(1)}
50,49: f33->f44: 1 {O(1)}
6,6: f44->f46: 3*max([(-2)*Arg_14+1+2*Arg_13, 0]) {O(n)}
42,41: f44->f117: 1 {O(1)}
48,47: f44->f125: 1 {O(1)}
7,7: f46->f49: 1 {O(1)}
8,8: f46->f49: 1 {O(1)}
12,12: f46->f66: 3*max([-(Arg_16)+1, 0]) {O(n)}
41,40: f46->f72: 1 {O(1)}
51,50: f46->f54: 1 {O(1)}
52,51: f46->f54: 1 {O(1)}
53,52: f46->f60: 3*max([-(Arg_16)+1, 0]) {O(n)}
54,53: f46->f60: 3*max([-(Arg_16)+1, 0]) {O(n)}
55,54: f46->f87: 3*max([(-2)*Arg_14+2+2*Arg_13, 0]) {O(n)}
56,55: f46->f87: 3*max([-(Arg_14)+1+Arg_13, 0]) {O(n)}
57,56: f46->f87: 3*max([(-2)*Arg_14+2+2*Arg_13, 0]) {O(n)}
38,37: f60->f46: 3*max([-(Arg_16)+1, 0]) {O(n)}
13,13: f66->f66: 3*max([-(Arg_9)+6*Arg_3, 0]) {O(n)}
14,13: f66->f66: inf {Infinity}
37,36: f66->f46: 3*max([-(Arg_16)+1, 0]) {O(n)}
16,15: f87->f91: 1 {O(1)}
17,16: f87->f91: 1 {O(1)}
18,17: f87->f91: 1 {O(1)}
58,57: f87->f44: 3*max([-(Arg_14)+1+Arg_13, 0]) {O(n)}
59,58: f87->f44: 3*max([-(Arg_14)+1+Arg_13, 0]) {O(n)}
60,59: f87->f44: 3*max([-(Arg_14)+1+Arg_13, 0]) {O(n)}

Expected Timebounds:

Overall expected timebound: 12*(1+Arg_13+Arg_14)+15*(1+Arg_16)+20+3*(1+2*Arg_13+2*Arg_14)+3*(1+Arg_16)*(2+2*Arg_9+3*(1+Arg_9+2*Arg_3)+4*Arg_3+6*(6*Arg_3+Arg_9))+4*Arg_9+6*(2+2*Arg_13+2*Arg_14)+6*Arg_3 {O(n^2)}
0: f0->[1:f23]: 1 {O(1)}
1: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
2: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
3: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
4: f33->[1:f33]: Arg_9 {O(n)}
6: f44->[1:f46]: 3*(1+2*Arg_13+2*Arg_14) {O(n)}
7: f46->[1:f49]: 1 {O(1)}
8: f46->[1:f49]: 1 {O(1)}
12: f46->[1:f66]: 3*(1+Arg_16) {O(n)}
13: f66->[1/2:f66; 1/2:f66]: 3*(1+Arg_16)*(2+2*Arg_9+3*(1+Arg_9+2*Arg_3)+4*Arg_3+6*(6*Arg_3+Arg_9)) {O(n^2)}
15: f87->[1:f91]: 1 {O(1)}
16: f87->[1:f91]: 1 {O(1)}
17: f87->[1:f91]: 1 {O(1)}
36: f66->[1:f46]: 3*(1+Arg_16) {O(n)}
37: f60->[1:f46]: 3*(1+Arg_16) {O(n)}
40: f46->[1:f72]: 1 {O(1)}
41: f44->[1:f117]: 1 {O(1)}
43: f33->[1:f39]: 1 {O(1)}
44: f33->[1:f39]: 1 {O(1)}
45: f33->[1:f44]: 1 {O(1)}
46: f23->[1:f33]: 1 {O(1)}
47: f44->[1:f125]: 1 {O(1)}
48: f33->[1:f44]: 1 {O(1)}
49: f33->[1:f44]: 1 {O(1)}
50: f46->[1:f54]: 1 {O(1)}
51: f46->[1:f54]: 1 {O(1)}
52: f46->[1:f60]: 3*(1+Arg_16) {O(n)}
53: f46->[1:f60]: 3*(1+Arg_16) {O(n)}
54: f46->[1:f87]: 3*(2+2*Arg_13+2*Arg_14) {O(n)}
55: f46->[1:f87]: 3*(1+Arg_13+Arg_14) {O(n)}
56: f46->[1:f87]: 3*(2+2*Arg_13+2*Arg_14) {O(n)}
57: f87->[1:f44]: 3*(1+Arg_13+Arg_14) {O(n)}
58: f87->[1:f44]: 3*(1+Arg_13+Arg_14) {O(n)}
59: f87->[1:f44]: 3*(1+Arg_13+Arg_14) {O(n)}

Costbounds:

Overall costbound: inf {Infinity}
0,0: f0->f23: inf {Infinity}
1,1: f23->f23: inf {Infinity}
2,2: f23->f23: inf {Infinity}
3,3: f23->f23: inf {Infinity}
47,46: f23->f33: inf {Infinity}
4,4: f33->f33: inf {Infinity}
44,43: f33->f39: inf {Infinity}
45,44: f33->f39: inf {Infinity}
46,45: f33->f44: inf {Infinity}
49,48: f33->f44: inf {Infinity}
50,49: f33->f44: inf {Infinity}
6,6: f44->f46: inf {Infinity}
42,41: f44->f117: inf {Infinity}
48,47: f44->f125: inf {Infinity}
7,7: f46->f49: inf {Infinity}
8,8: f46->f49: inf {Infinity}
12,12: f46->f66: inf {Infinity}
41,40: f46->f72: inf {Infinity}
51,50: f46->f54: inf {Infinity}
52,51: f46->f54: inf {Infinity}
53,52: f46->f60: inf {Infinity}
54,53: f46->f60: inf {Infinity}
55,54: f46->f87: inf {Infinity}
56,55: f46->f87: inf {Infinity}
57,56: f46->f87: inf {Infinity}
38,37: f60->f46: inf {Infinity}
13,13: f66->f66: inf {Infinity}
14,13: f66->f66: inf {Infinity}
37,36: f66->f46: inf {Infinity}
16,15: f87->f91: inf {Infinity}
17,16: f87->f91: inf {Infinity}
18,17: f87->f91: inf {Infinity}
58,57: f87->f44: inf {Infinity}
59,58: f87->f44: inf {Infinity}
60,59: f87->f44: inf {Infinity}

Expected Costbounds:

Overall expected costbound: 12*(2+2*Arg_13+2*Arg_14)+24*(1+Arg_13+Arg_14)+25+27*(1+Arg_16)+3*(1+2*Arg_13+2*Arg_14)+3*(1+Arg_16)*(2+2*Arg_9+3*(1+Arg_9+2*Arg_3)+4*Arg_3+6*(6*Arg_3+Arg_9))+4*Arg_9+6*Arg_3 {O(n^2)}
0: f0->[1:f23]: 1 {O(1)}
1: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
2: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
3: f23->[1:f23]: 1+Arg_9+2*Arg_3 {O(n)}
4: f33->[1:f33]: Arg_9 {O(n)}
6: f44->[1:f46]: 3*(1+2*Arg_13+2*Arg_14) {O(n)}
7: f46->[1:f49]: 1 {O(1)}
8: f46->[1:f49]: 1 {O(1)}
12: f46->[1:f66]: 3*(1+Arg_16) {O(n)}
13: f66->[1/2:f66; 1/2:f66]: 3*(1+Arg_16)*(2+2*Arg_9+3*(1+Arg_9+2*Arg_3)+4*Arg_3+6*(6*Arg_3+Arg_9)) {O(n^2)}
15: f87->[1:f91]: 1 {O(1)}
16: f87->[1:f91]: 1 {O(1)}
17: f87->[1:f91]: 1 {O(1)}
36: f66->[1:f46]: 3*(1+Arg_16) {O(n)}
37: f60->[1:f46]: 3*(1+Arg_16) {O(n)}
40: f46->[1:f72]: 1 {O(1)}
41: f44->[1:f117]: 1 {O(1)}
43: f33->[1:f39]: 1 {O(1)}
44: f33->[1:f39]: 1 {O(1)}
45: f33->[1:f44]: 1 {O(1)}
46: f23->[1:f33]: 1 {O(1)}
47: f44->[1:f125]: 2 {O(1)}
48: f33->[1:f44]: 2 {O(1)}
49: f33->[1:f44]: 2 {O(1)}
50: f46->[1:f54]: 2 {O(1)}
51: f46->[1:f54]: 2 {O(1)}
52: f46->[1:f60]: 9*(1+Arg_16) {O(n)}
53: f46->[1:f60]: 9*(1+Arg_16) {O(n)}
54: f46->[1:f87]: 6*(2+2*Arg_13+2*Arg_14) {O(n)}
55: f46->[1:f87]: 6*(1+Arg_13+Arg_14) {O(n)}
56: f46->[1:f87]: 6*(2+2*Arg_13+2*Arg_14) {O(n)}
57: f87->[1:f44]: 6*(1+Arg_13+Arg_14) {O(n)}
58: f87->[1:f44]: 6*(1+Arg_13+Arg_14) {O(n)}
59: f87->[1:f44]: 6*(1+Arg_13+Arg_14) {O(n)}

Sizebounds:

0,0: f0->f23, Arg_0: 0 {O(1)}
0,0: f0->f23, Arg_1: 0 {O(1)}
0,0: f0->f23, Arg_2: 2*Arg_3 {O(n)}
0,0: f0->f23, Arg_3: Arg_3 {O(n)}
0,0: f0->f23, Arg_4: 4*Arg_3 {O(n)}
0,0: f0->f23, Arg_5: 4*(1+Arg_3) {O(n)}
0,0: f0->f23, Arg_6: 4*(1+Arg_3) {O(n)}
0,0: f0->f23, Arg_7: Arg_3 {O(n)}
0,0: f0->f23, Arg_9: Arg_9 {O(n)}
0,0: f0->f23, Arg_10: Arg_10 {O(n)}
0,0: f0->f23, Arg_11: Arg_11 {O(n)}
0,0: f0->f23, Arg_12: Arg_12 {O(n)}
0,0: f0->f23, Arg_13: Arg_13 {O(n)}
0,0: f0->f23, Arg_14: Arg_14 {O(n)}
0,0: f0->f23, Arg_15: Arg_15 {O(n)}
0,0: f0->f23, Arg_16: Arg_16 {O(n)}
0,0: f0->f23, Arg_17: Arg_17 {O(n)}
0,0: f0->f23, Arg_18: Arg_18 {O(n)}
0,0: f0->f23, Arg_19: Arg_19 {O(n)}
0,0: f0->f23, Arg_20: Arg_20 {O(n)}
0,0: f0->f23, Arg_21: Arg_21 {O(n)}
0,0: f0->f23, Arg_22: Arg_22 {O(n)}
0,0: f0->f23, Arg_23: Arg_23 {O(n)}
0,0: f0->f23, Arg_24: Arg_24 {O(n)}
0,0: f0->f23, Arg_25: Arg_25 {O(n)}
0,0: f0->f23, Arg_26: Arg_26 {O(n)}
1,1: f23->f23, Arg_1: 0 {O(1)}
1,1: f23->f23, Arg_2: 2*Arg_3 {O(n)}
1,1: f23->f23, Arg_3: Arg_3 {O(n)}
1,1: f23->f23, Arg_4: 4*Arg_3 {O(n)}
1,1: f23->f23, Arg_5: 4*(1+Arg_3) {O(n)}
1,1: f23->f23, Arg_6: 4*(1+Arg_3) {O(n)}
1,1: f23->f23, Arg_7: Arg_3 {O(n)}
1,1: f23->f23, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9 {O(n)}
1,1: f23->f23, Arg_10: 1 {O(1)}
1,1: f23->f23, Arg_11: 0 {O(1)}
1,1: f23->f23, Arg_12: 0 {O(1)}
1,1: f23->f23, Arg_13: Arg_13 {O(n)}
1,1: f23->f23, Arg_14: Arg_14 {O(n)}
1,1: f23->f23, Arg_15: Arg_15 {O(n)}
1,1: f23->f23, Arg_16: Arg_16 {O(n)}
1,1: f23->f23, Arg_17: Arg_17 {O(n)}
1,1: f23->f23, Arg_18: Arg_18 {O(n)}
1,1: f23->f23, Arg_19: Arg_19 {O(n)}
1,1: f23->f23, Arg_20: Arg_20 {O(n)}
1,1: f23->f23, Arg_21: Arg_21 {O(n)}
1,1: f23->f23, Arg_22: Arg_22 {O(n)}
1,1: f23->f23, Arg_23: Arg_23 {O(n)}
1,1: f23->f23, Arg_24: Arg_24 {O(n)}
1,1: f23->f23, Arg_25: Arg_25 {O(n)}
1,1: f23->f23, Arg_26: Arg_26 {O(n)}
2,2: f23->f23, Arg_1: 0 {O(1)}
2,2: f23->f23, Arg_2: 2*Arg_3 {O(n)}
2,2: f23->f23, Arg_3: Arg_3 {O(n)}
2,2: f23->f23, Arg_4: 4*Arg_3 {O(n)}
2,2: f23->f23, Arg_5: 4*(1+Arg_3) {O(n)}
2,2: f23->f23, Arg_6: 4*(1+Arg_3) {O(n)}
2,2: f23->f23, Arg_7: Arg_3 {O(n)}
2,2: f23->f23, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9 {O(n)}
2,2: f23->f23, Arg_11: (-1) {O(1)}
2,2: f23->f23, Arg_13: Arg_13 {O(n)}
2,2: f23->f23, Arg_14: Arg_14 {O(n)}
2,2: f23->f23, Arg_15: Arg_15 {O(n)}
2,2: f23->f23, Arg_16: Arg_16 {O(n)}
2,2: f23->f23, Arg_17: Arg_17 {O(n)}
2,2: f23->f23, Arg_18: Arg_18 {O(n)}
2,2: f23->f23, Arg_19: Arg_19 {O(n)}
2,2: f23->f23, Arg_20: Arg_20 {O(n)}
2,2: f23->f23, Arg_21: Arg_21 {O(n)}
2,2: f23->f23, Arg_22: Arg_22 {O(n)}
2,2: f23->f23, Arg_23: Arg_23 {O(n)}
2,2: f23->f23, Arg_24: Arg_24 {O(n)}
2,2: f23->f23, Arg_25: Arg_25 {O(n)}
2,2: f23->f23, Arg_26: Arg_26 {O(n)}
3,3: f23->f23, Arg_1: 0 {O(1)}
3,3: f23->f23, Arg_2: 2*Arg_3 {O(n)}
3,3: f23->f23, Arg_3: Arg_3 {O(n)}
3,3: f23->f23, Arg_4: 4*Arg_3 {O(n)}
3,3: f23->f23, Arg_5: 4*(1+Arg_3) {O(n)}
3,3: f23->f23, Arg_6: 4*(1+Arg_3) {O(n)}
3,3: f23->f23, Arg_7: Arg_3 {O(n)}
3,3: f23->f23, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9 {O(n)}
3,3: f23->f23, Arg_10: 0 {O(1)}
3,3: f23->f23, Arg_13: Arg_13 {O(n)}
3,3: f23->f23, Arg_14: Arg_14 {O(n)}
3,3: f23->f23, Arg_15: Arg_15 {O(n)}
3,3: f23->f23, Arg_16: Arg_16 {O(n)}
3,3: f23->f23, Arg_17: Arg_17 {O(n)}
3,3: f23->f23, Arg_18: Arg_18 {O(n)}
3,3: f23->f23, Arg_19: Arg_19 {O(n)}
3,3: f23->f23, Arg_20: Arg_20 {O(n)}
3,3: f23->f23, Arg_21: Arg_21 {O(n)}
3,3: f23->f23, Arg_22: Arg_22 {O(n)}
3,3: f23->f23, Arg_23: Arg_23 {O(n)}
3,3: f23->f23, Arg_24: Arg_24 {O(n)}
3,3: f23->f23, Arg_25: Arg_25 {O(n)}
3,3: f23->f23, Arg_26: Arg_26 {O(n)}
47,46: f23->f33, Arg_1: 0 {O(1)}
47,46: f23->f33, Arg_2: 2*Arg_3 {O(n)}
47,46: f23->f33, Arg_3: Arg_3 {O(n)}
47,46: f23->f33, Arg_4: 4*Arg_3 {O(n)}
47,46: f23->f33, Arg_5: 4*(1+Arg_3) {O(n)}
47,46: f23->f33, Arg_6: 4*(1+Arg_3) {O(n)}
47,46: f23->f33, Arg_7: Arg_3 {O(n)}
47,46: f23->f33, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9 {O(n)}
47,46: f23->f33, Arg_13: Arg_13 {O(n)}
47,46: f23->f33, Arg_14: Arg_14 {O(n)}
47,46: f23->f33, Arg_15: Arg_15 {O(n)}
47,46: f23->f33, Arg_16: Arg_16 {O(n)}
47,46: f23->f33, Arg_17: Arg_17 {O(n)}
47,46: f23->f33, Arg_18: Arg_18 {O(n)}
47,46: f23->f33, Arg_19: Arg_19 {O(n)}
47,46: f23->f33, Arg_20: Arg_20 {O(n)}
47,46: f23->f33, Arg_21: Arg_21 {O(n)}
47,46: f23->f33, Arg_22: Arg_22 {O(n)}
47,46: f23->f33, Arg_23: Arg_23 {O(n)}
47,46: f23->f33, Arg_24: Arg_24 {O(n)}
47,46: f23->f33, Arg_25: Arg_25 {O(n)}
47,46: f23->f33, Arg_26: Arg_26 {O(n)}
4,4: f33->f33, Arg_1: 0 {O(1)}
4,4: f33->f33, Arg_2: 2*Arg_3 {O(n)}
4,4: f33->f33, Arg_3: Arg_3 {O(n)}
4,4: f33->f33, Arg_4: 4*Arg_3 {O(n)}
4,4: f33->f33, Arg_5: 4*(1+Arg_3) {O(n)}
4,4: f33->f33, Arg_6: 4*(1+Arg_3) {O(n)}
4,4: f33->f33, Arg_7: Arg_3 {O(n)}
4,4: f33->f33, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
4,4: f33->f33, Arg_13: Arg_13 {O(n)}
4,4: f33->f33, Arg_14: Arg_14 {O(n)}
4,4: f33->f33, Arg_15: Arg_15 {O(n)}
4,4: f33->f33, Arg_16: Arg_16 {O(n)}
4,4: f33->f33, Arg_17: Arg_17 {O(n)}
4,4: f33->f33, Arg_18: Arg_18 {O(n)}
4,4: f33->f33, Arg_19: Arg_19 {O(n)}
4,4: f33->f33, Arg_20: Arg_20 {O(n)}
4,4: f33->f33, Arg_21: Arg_21 {O(n)}
4,4: f33->f33, Arg_22: Arg_22 {O(n)}
4,4: f33->f33, Arg_23: Arg_23 {O(n)}
4,4: f33->f33, Arg_24: Arg_24 {O(n)}
4,4: f33->f33, Arg_25: Arg_25 {O(n)}
4,4: f33->f33, Arg_26: Arg_26 {O(n)}
44,43: f33->f39, Arg_1: 0 {O(1)}
44,43: f33->f39, Arg_2: 2*Arg_3 {O(n)}
44,43: f33->f39, Arg_3: Arg_3 {O(n)}
44,43: f33->f39, Arg_4: 4*Arg_3 {O(n)}
44,43: f33->f39, Arg_5: 4*(1+Arg_3) {O(n)}
44,43: f33->f39, Arg_6: 4*(1+Arg_3) {O(n)}
44,43: f33->f39, Arg_7: Arg_3 {O(n)}
44,43: f33->f39, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
44,43: f33->f39, Arg_13: Arg_13 {O(n)}
44,43: f33->f39, Arg_14: Arg_14 {O(n)}
44,43: f33->f39, Arg_15: (-1) {O(1)}
44,43: f33->f39, Arg_16: Arg_16 {O(n)}
44,43: f33->f39, Arg_17: Arg_17 {O(n)}
44,43: f33->f39, Arg_18: Arg_18 {O(n)}
44,43: f33->f39, Arg_19: Arg_19 {O(n)}
44,43: f33->f39, Arg_20: Arg_20 {O(n)}
44,43: f33->f39, Arg_21: Arg_21 {O(n)}
44,43: f33->f39, Arg_22: Arg_22 {O(n)}
44,43: f33->f39, Arg_23: Arg_23 {O(n)}
44,43: f33->f39, Arg_24: Arg_24 {O(n)}
44,43: f33->f39, Arg_25: Arg_25 {O(n)}
44,43: f33->f39, Arg_26: Arg_26 {O(n)}
45,44: f33->f39, Arg_1: 0 {O(1)}
45,44: f33->f39, Arg_2: 2*Arg_3 {O(n)}
45,44: f33->f39, Arg_3: Arg_3 {O(n)}
45,44: f33->f39, Arg_4: 4*Arg_3 {O(n)}
45,44: f33->f39, Arg_5: 4*(1+Arg_3) {O(n)}
45,44: f33->f39, Arg_6: 4*(1+Arg_3) {O(n)}
45,44: f33->f39, Arg_7: Arg_3 {O(n)}
45,44: f33->f39, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
45,44: f33->f39, Arg_13: Arg_13 {O(n)}
45,44: f33->f39, Arg_14: Arg_14 {O(n)}
45,44: f33->f39, Arg_15: Arg_15 {O(n)}
45,44: f33->f39, Arg_16: Arg_16 {O(n)}
45,44: f33->f39, Arg_17: Arg_17 {O(n)}
45,44: f33->f39, Arg_18: Arg_18 {O(n)}
45,44: f33->f39, Arg_19: Arg_19 {O(n)}
45,44: f33->f39, Arg_20: Arg_20 {O(n)}
45,44: f33->f39, Arg_21: Arg_21 {O(n)}
45,44: f33->f39, Arg_22: Arg_22 {O(n)}
45,44: f33->f39, Arg_23: Arg_23 {O(n)}
45,44: f33->f39, Arg_24: Arg_24 {O(n)}
45,44: f33->f39, Arg_25: Arg_25 {O(n)}
45,44: f33->f39, Arg_26: Arg_26 {O(n)}
46,45: f33->f44, Arg_1: 0 {O(1)}
46,45: f33->f44, Arg_2: 2*Arg_3 {O(n)}
46,45: f33->f44, Arg_3: Arg_3 {O(n)}
46,45: f33->f44, Arg_4: 4*Arg_3 {O(n)}
46,45: f33->f44, Arg_5: 4*(1+Arg_3) {O(n)}
46,45: f33->f44, Arg_6: 4*(1+Arg_3) {O(n)}
46,45: f33->f44, Arg_7: Arg_3 {O(n)}
46,45: f33->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
46,45: f33->f44, Arg_13: Arg_13 {O(n)}
46,45: f33->f44, Arg_14: Arg_14 {O(n)}
46,45: f33->f44, Arg_15: 0 {O(1)}
46,45: f33->f44, Arg_16: Arg_16 {O(n)}
46,45: f33->f44, Arg_17: Arg_17 {O(n)}
46,45: f33->f44, Arg_18: Arg_18 {O(n)}
46,45: f33->f44, Arg_19: Arg_19 {O(n)}
46,45: f33->f44, Arg_20: Arg_20 {O(n)}
46,45: f33->f44, Arg_21: Arg_21 {O(n)}
46,45: f33->f44, Arg_22: Arg_22 {O(n)}
46,45: f33->f44, Arg_23: Arg_23 {O(n)}
46,45: f33->f44, Arg_24: Arg_24 {O(n)}
46,45: f33->f44, Arg_25: Arg_25 {O(n)}
46,45: f33->f44, Arg_26: Arg_26 {O(n)}
49,48: f33->f44, Arg_1: 0 {O(1)}
49,48: f33->f44, Arg_2: 2*Arg_3 {O(n)}
49,48: f33->f44, Arg_3: Arg_3 {O(n)}
49,48: f33->f44, Arg_4: 4*Arg_3 {O(n)}
49,48: f33->f44, Arg_5: 4*(1+Arg_3) {O(n)}
49,48: f33->f44, Arg_6: 4*(1+Arg_3) {O(n)}
49,48: f33->f44, Arg_7: Arg_3 {O(n)}
49,48: f33->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
49,48: f33->f44, Arg_13: Arg_13 {O(n)}
49,48: f33->f44, Arg_14: Arg_14 {O(n)}
49,48: f33->f44, Arg_15: (-1) {O(1)}
49,48: f33->f44, Arg_16: Arg_16 {O(n)}
49,48: f33->f44, Arg_17: Arg_17 {O(n)}
49,48: f33->f44, Arg_18: Arg_18 {O(n)}
49,48: f33->f44, Arg_19: Arg_19 {O(n)}
49,48: f33->f44, Arg_20: Arg_20 {O(n)}
49,48: f33->f44, Arg_21: Arg_21 {O(n)}
49,48: f33->f44, Arg_22: Arg_22 {O(n)}
49,48: f33->f44, Arg_23: Arg_23 {O(n)}
49,48: f33->f44, Arg_24: Arg_24 {O(n)}
49,48: f33->f44, Arg_25: Arg_25 {O(n)}
49,48: f33->f44, Arg_26: Arg_26 {O(n)}
50,49: f33->f44, Arg_1: 0 {O(1)}
50,49: f33->f44, Arg_2: 2*Arg_3 {O(n)}
50,49: f33->f44, Arg_3: Arg_3 {O(n)}
50,49: f33->f44, Arg_4: 4*Arg_3 {O(n)}
50,49: f33->f44, Arg_5: 4*(1+Arg_3) {O(n)}
50,49: f33->f44, Arg_6: 4*(1+Arg_3) {O(n)}
50,49: f33->f44, Arg_7: Arg_3 {O(n)}
50,49: f33->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
50,49: f33->f44, Arg_13: Arg_13 {O(n)}
50,49: f33->f44, Arg_14: Arg_14 {O(n)}
50,49: f33->f44, Arg_15: Arg_15 {O(n)}
50,49: f33->f44, Arg_16: Arg_16 {O(n)}
50,49: f33->f44, Arg_17: Arg_17 {O(n)}
50,49: f33->f44, Arg_18: Arg_18 {O(n)}
50,49: f33->f44, Arg_19: Arg_19 {O(n)}
50,49: f33->f44, Arg_20: Arg_20 {O(n)}
50,49: f33->f44, Arg_21: Arg_21 {O(n)}
50,49: f33->f44, Arg_22: Arg_22 {O(n)}
50,49: f33->f44, Arg_23: Arg_23 {O(n)}
50,49: f33->f44, Arg_24: Arg_24 {O(n)}
50,49: f33->f44, Arg_25: Arg_25 {O(n)}
50,49: f33->f44, Arg_26: Arg_26 {O(n)}
6,6: f44->f46, Arg_2: 2*Arg_3 {O(n)}
6,6: f44->f46, Arg_3: Arg_3 {O(n)}
6,6: f44->f46, Arg_4: 4*Arg_3 {O(n)}
6,6: f44->f46, Arg_5: 4*(1+Arg_3) {O(n)}
6,6: f44->f46, Arg_6: 4*(1+Arg_3) {O(n)}
6,6: f44->f46, Arg_7: Arg_3 {O(n)}
6,6: f44->f46, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
6,6: f44->f46, Arg_13: Arg_13 {O(n)}
6,6: f44->f46, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
6,6: f44->f46, Arg_15: max([0, Arg_15]) {O(n)}
6,6: f44->f46, Arg_16: max([1, Arg_16]) {O(n)}
6,6: f44->f46, Arg_17: Arg_17 {O(n)}
6,6: f44->f46, Arg_18: Arg_18 {O(n)}
6,6: f44->f46, Arg_19: Arg_19 {O(n)}
6,6: f44->f46, Arg_21: Arg_21 {O(n)}
6,6: f44->f46, Arg_22: Arg_22 {O(n)}
6,6: f44->f46, Arg_23: Arg_23 {O(n)}
6,6: f44->f46, Arg_24: Arg_24 {O(n)}
6,6: f44->f46, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
42,41: f44->f117, Arg_2: 2*Arg_3 {O(n)}
42,41: f44->f117, Arg_3: Arg_3 {O(n)}
42,41: f44->f117, Arg_4: 4*Arg_3 {O(n)}
42,41: f44->f117, Arg_5: 4*(1+Arg_3) {O(n)}
42,41: f44->f117, Arg_6: 4*(1+Arg_3) {O(n)}
42,41: f44->f117, Arg_7: Arg_3 {O(n)}
42,41: f44->f117, Arg_9: max([3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]), 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0])]) {O(n)}
42,41: f44->f117, Arg_13: Arg_13 {O(n)}
42,41: f44->f117, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
42,41: f44->f117, Arg_15: max([0, Arg_15]) {O(n)}
42,41: f44->f117, Arg_16: max([1, Arg_16]) {O(n)}
42,41: f44->f117, Arg_17: Arg_17 {O(n)}
42,41: f44->f117, Arg_18: Arg_18 {O(n)}
42,41: f44->f117, Arg_19: Arg_19 {O(n)}
42,41: f44->f117, Arg_21: Arg_21 {O(n)}
42,41: f44->f117, Arg_22: Arg_22 {O(n)}
42,41: f44->f117, Arg_23: Arg_23 {O(n)}
42,41: f44->f117, Arg_24: Arg_24 {O(n)}
42,41: f44->f117, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
48,47: f44->f125, Arg_2: 2*Arg_3 {O(n)}
48,47: f44->f125, Arg_3: Arg_3 {O(n)}
48,47: f44->f125, Arg_4: 4*Arg_3 {O(n)}
48,47: f44->f125, Arg_5: 4*(1+Arg_3) {O(n)}
48,47: f44->f125, Arg_6: 4*(1+Arg_3) {O(n)}
48,47: f44->f125, Arg_7: Arg_3 {O(n)}
48,47: f44->f125, Arg_9: max([3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]), 3*max([-(Arg_9)+1+2*Arg_3, 0])+Arg_9+max([-(Arg_9), 0])]) {O(n)}
48,47: f44->f125, Arg_13: Arg_13 {O(n)}
48,47: f44->f125, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
48,47: f44->f125, Arg_15: max([0, Arg_15]) {O(n)}
48,47: f44->f125, Arg_16: max([1, Arg_16]) {O(n)}
48,47: f44->f125, Arg_17: Arg_17 {O(n)}
48,47: f44->f125, Arg_18: Arg_18 {O(n)}
48,47: f44->f125, Arg_19: Arg_19 {O(n)}
48,47: f44->f125, Arg_21: Arg_21 {O(n)}
48,47: f44->f125, Arg_22: Arg_22 {O(n)}
48,47: f44->f125, Arg_23: Arg_23 {O(n)}
48,47: f44->f125, Arg_24: Arg_24 {O(n)}
48,47: f44->f125, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
7,7: f46->f49, Arg_2: 2*Arg_3 {O(n)}
7,7: f46->f49, Arg_3: Arg_3 {O(n)}
7,7: f46->f49, Arg_4: 4*Arg_3 {O(n)}
7,7: f46->f49, Arg_5: 4*(1+Arg_3) {O(n)}
7,7: f46->f49, Arg_6: 4*(1+Arg_3) {O(n)}
7,7: f46->f49, Arg_7: Arg_3 {O(n)}
7,7: f46->f49, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
7,7: f46->f49, Arg_13: Arg_13 {O(n)}
7,7: f46->f49, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
7,7: f46->f49, Arg_15: (-1) {O(1)}
7,7: f46->f49, Arg_16: 0 {O(1)}
7,7: f46->f49, Arg_17: Arg_17 {O(n)}
7,7: f46->f49, Arg_18: Arg_18 {O(n)}
7,7: f46->f49, Arg_19: Arg_19 {O(n)}
7,7: f46->f49, Arg_21: Arg_21 {O(n)}
7,7: f46->f49, Arg_22: Arg_22 {O(n)}
7,7: f46->f49, Arg_23: Arg_23 {O(n)}
7,7: f46->f49, Arg_24: Arg_24 {O(n)}
7,7: f46->f49, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
8,8: f46->f49, Arg_2: 2*Arg_3 {O(n)}
8,8: f46->f49, Arg_3: Arg_3 {O(n)}
8,8: f46->f49, Arg_4: 4*Arg_3 {O(n)}
8,8: f46->f49, Arg_5: 4*(1+Arg_3) {O(n)}
8,8: f46->f49, Arg_6: 4*(1+Arg_3) {O(n)}
8,8: f46->f49, Arg_7: Arg_3 {O(n)}
8,8: f46->f49, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
8,8: f46->f49, Arg_13: Arg_13 {O(n)}
8,8: f46->f49, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
8,8: f46->f49, Arg_15: max([0, Arg_15]) {O(n)}
8,8: f46->f49, Arg_16: 0 {O(1)}
8,8: f46->f49, Arg_17: Arg_17 {O(n)}
8,8: f46->f49, Arg_18: Arg_18 {O(n)}
8,8: f46->f49, Arg_19: Arg_19 {O(n)}
8,8: f46->f49, Arg_21: Arg_21 {O(n)}
8,8: f46->f49, Arg_22: Arg_22 {O(n)}
8,8: f46->f49, Arg_23: Arg_23 {O(n)}
8,8: f46->f49, Arg_24: Arg_24 {O(n)}
8,8: f46->f49, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
12,12: f46->f66, Arg_2: 2*Arg_3 {O(n)}
12,12: f46->f66, Arg_3: Arg_3 {O(n)}
12,12: f46->f66, Arg_4: 4*Arg_3 {O(n)}
12,12: f46->f66, Arg_5: 4*(1+Arg_3) {O(n)}
12,12: f46->f66, Arg_6: 4*(1+Arg_3) {O(n)}
12,12: f46->f66, Arg_7: Arg_3 {O(n)}
12,12: f46->f66, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
12,12: f46->f66, Arg_13: Arg_13 {O(n)}
12,12: f46->f66, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
12,12: f46->f66, Arg_15: 0 {O(1)}
12,12: f46->f66, Arg_16: 0 {O(1)}
12,12: f46->f66, Arg_17: Arg_17 {O(n)}
12,12: f46->f66, Arg_18: Arg_18 {O(n)}
12,12: f46->f66, Arg_19: Arg_19 {O(n)}
12,12: f46->f66, Arg_21: Arg_21 {O(n)}
12,12: f46->f66, Arg_22: Arg_22 {O(n)}
12,12: f46->f66, Arg_23: Arg_23 {O(n)}
12,12: f46->f66, Arg_24: Arg_24 {O(n)}
12,12: f46->f66, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
41,40: f46->f72, Arg_2: 2*Arg_3 {O(n)}
41,40: f46->f72, Arg_3: Arg_3 {O(n)}
41,40: f46->f72, Arg_4: 4*Arg_3 {O(n)}
41,40: f46->f72, Arg_5: 4*(1+Arg_3) {O(n)}
41,40: f46->f72, Arg_6: 4*(1+Arg_3) {O(n)}
41,40: f46->f72, Arg_7: Arg_3 {O(n)}
41,40: f46->f72, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
41,40: f46->f72, Arg_13: Arg_13 {O(n)}
41,40: f46->f72, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
41,40: f46->f72, Arg_15: max([0, Arg_15]) {O(n)}
41,40: f46->f72, Arg_16: max([1, Arg_16]) {O(n)}
41,40: f46->f72, Arg_17: Arg_17 {O(n)}
41,40: f46->f72, Arg_18: Arg_18 {O(n)}
41,40: f46->f72, Arg_19: Arg_19 {O(n)}
41,40: f46->f72, Arg_21: Arg_21 {O(n)}
41,40: f46->f72, Arg_22: Arg_22 {O(n)}
41,40: f46->f72, Arg_23: Arg_23 {O(n)}
41,40: f46->f72, Arg_24: Arg_24 {O(n)}
41,40: f46->f72, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
51,50: f46->f54, Arg_2: 2*Arg_3 {O(n)}
51,50: f46->f54, Arg_3: Arg_3 {O(n)}
51,50: f46->f54, Arg_4: 4*Arg_3 {O(n)}
51,50: f46->f54, Arg_5: 4*(1+Arg_3) {O(n)}
51,50: f46->f54, Arg_6: 4*(1+Arg_3) {O(n)}
51,50: f46->f54, Arg_7: Arg_3 {O(n)}
51,50: f46->f54, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
51,50: f46->f54, Arg_13: Arg_13 {O(n)}
51,50: f46->f54, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
51,50: f46->f54, Arg_15: (-1) {O(1)}
51,50: f46->f54, Arg_16: 0 {O(1)}
51,50: f46->f54, Arg_17: Arg_17 {O(n)}
51,50: f46->f54, Arg_18: Arg_18 {O(n)}
51,50: f46->f54, Arg_19: Arg_19 {O(n)}
51,50: f46->f54, Arg_21: Arg_21 {O(n)}
51,50: f46->f54, Arg_22: Arg_22 {O(n)}
51,50: f46->f54, Arg_23: Arg_23 {O(n)}
51,50: f46->f54, Arg_24: Arg_24 {O(n)}
51,50: f46->f54, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
52,51: f46->f54, Arg_2: 2*Arg_3 {O(n)}
52,51: f46->f54, Arg_3: Arg_3 {O(n)}
52,51: f46->f54, Arg_4: 4*Arg_3 {O(n)}
52,51: f46->f54, Arg_5: 4*(1+Arg_3) {O(n)}
52,51: f46->f54, Arg_6: 4*(1+Arg_3) {O(n)}
52,51: f46->f54, Arg_7: Arg_3 {O(n)}
52,51: f46->f54, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
52,51: f46->f54, Arg_13: Arg_13 {O(n)}
52,51: f46->f54, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
52,51: f46->f54, Arg_15: max([0, Arg_15]) {O(n)}
52,51: f46->f54, Arg_16: 0 {O(1)}
52,51: f46->f54, Arg_17: Arg_17 {O(n)}
52,51: f46->f54, Arg_18: Arg_18 {O(n)}
52,51: f46->f54, Arg_19: Arg_19 {O(n)}
52,51: f46->f54, Arg_21: Arg_21 {O(n)}
52,51: f46->f54, Arg_22: Arg_22 {O(n)}
52,51: f46->f54, Arg_23: Arg_23 {O(n)}
52,51: f46->f54, Arg_24: Arg_24 {O(n)}
52,51: f46->f54, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
53,52: f46->f60, Arg_2: 2*Arg_3 {O(n)}
53,52: f46->f60, Arg_3: Arg_3 {O(n)}
53,52: f46->f60, Arg_4: 4*Arg_3 {O(n)}
53,52: f46->f60, Arg_5: 4*(1+Arg_3) {O(n)}
53,52: f46->f60, Arg_6: 4*(1+Arg_3) {O(n)}
53,52: f46->f60, Arg_7: Arg_3 {O(n)}
53,52: f46->f60, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
53,52: f46->f60, Arg_13: Arg_13 {O(n)}
53,52: f46->f60, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
53,52: f46->f60, Arg_15: (-1) {O(1)}
53,52: f46->f60, Arg_16: 0 {O(1)}
53,52: f46->f60, Arg_17: Arg_17 {O(n)}
53,52: f46->f60, Arg_18: Arg_18 {O(n)}
53,52: f46->f60, Arg_19: Arg_19 {O(n)}
53,52: f46->f60, Arg_21: Arg_21 {O(n)}
53,52: f46->f60, Arg_22: Arg_22 {O(n)}
53,52: f46->f60, Arg_23: Arg_23 {O(n)}
53,52: f46->f60, Arg_24: Arg_24 {O(n)}
53,52: f46->f60, Arg_26: 2*Arg_3 {O(n)}
54,53: f46->f60, Arg_2: 2*Arg_3 {O(n)}
54,53: f46->f60, Arg_3: Arg_3 {O(n)}
54,53: f46->f60, Arg_4: 4*Arg_3 {O(n)}
54,53: f46->f60, Arg_5: 4*(1+Arg_3) {O(n)}
54,53: f46->f60, Arg_6: 4*(1+Arg_3) {O(n)}
54,53: f46->f60, Arg_7: Arg_3 {O(n)}
54,53: f46->f60, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
54,53: f46->f60, Arg_13: Arg_13 {O(n)}
54,53: f46->f60, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
54,53: f46->f60, Arg_15: max([0, Arg_15]) {O(n)}
54,53: f46->f60, Arg_16: 0 {O(1)}
54,53: f46->f60, Arg_17: Arg_17 {O(n)}
54,53: f46->f60, Arg_18: Arg_18 {O(n)}
54,53: f46->f60, Arg_19: Arg_19 {O(n)}
54,53: f46->f60, Arg_21: Arg_21 {O(n)}
54,53: f46->f60, Arg_22: Arg_22 {O(n)}
54,53: f46->f60, Arg_23: Arg_23 {O(n)}
54,53: f46->f60, Arg_24: Arg_24 {O(n)}
54,53: f46->f60, Arg_26: 2*Arg_3 {O(n)}
55,54: f46->f87, Arg_2: 2*Arg_3 {O(n)}
55,54: f46->f87, Arg_3: Arg_3 {O(n)}
55,54: f46->f87, Arg_4: 4*Arg_3 {O(n)}
55,54: f46->f87, Arg_5: 4*(1+Arg_3) {O(n)}
55,54: f46->f87, Arg_6: 4*(1+Arg_3) {O(n)}
55,54: f46->f87, Arg_7: Arg_3 {O(n)}
55,54: f46->f87, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
55,54: f46->f87, Arg_13: Arg_13 {O(n)}
55,54: f46->f87, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
55,54: f46->f87, Arg_15: max([0, Arg_15]) {O(n)}
55,54: f46->f87, Arg_16: max([1, Arg_16]) {O(n)}
55,54: f46->f87, Arg_17: Arg_17 {O(n)}
55,54: f46->f87, Arg_18: Arg_18 {O(n)}
55,54: f46->f87, Arg_19: Arg_19 {O(n)}
55,54: f46->f87, Arg_21: Arg_21 {O(n)}
55,54: f46->f87, Arg_22: Arg_22 {O(n)}
55,54: f46->f87, Arg_23: Arg_23 {O(n)}
55,54: f46->f87, Arg_24: Arg_24 {O(n)}
55,54: f46->f87, Arg_25: 0 {O(1)}
55,54: f46->f87, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
56,55: f46->f87, Arg_2: 2*Arg_3 {O(n)}
56,55: f46->f87, Arg_3: Arg_3 {O(n)}
56,55: f46->f87, Arg_4: 4*Arg_3 {O(n)}
56,55: f46->f87, Arg_5: 4*(1+Arg_3) {O(n)}
56,55: f46->f87, Arg_6: 4*(1+Arg_3) {O(n)}
56,55: f46->f87, Arg_7: Arg_3 {O(n)}
56,55: f46->f87, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
56,55: f46->f87, Arg_13: Arg_13 {O(n)}
56,55: f46->f87, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
56,55: f46->f87, Arg_15: max([0, Arg_15]) {O(n)}
56,55: f46->f87, Arg_16: max([1, Arg_16]) {O(n)}
56,55: f46->f87, Arg_17: Arg_17 {O(n)}
56,55: f46->f87, Arg_18: Arg_18 {O(n)}
56,55: f46->f87, Arg_19: Arg_19 {O(n)}
56,55: f46->f87, Arg_21: Arg_21 {O(n)}
56,55: f46->f87, Arg_22: Arg_22 {O(n)}
56,55: f46->f87, Arg_23: Arg_23 {O(n)}
56,55: f46->f87, Arg_24: Arg_24 {O(n)}
56,55: f46->f87, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
57,56: f46->f87, Arg_2: 2*Arg_3 {O(n)}
57,56: f46->f87, Arg_3: Arg_3 {O(n)}
57,56: f46->f87, Arg_4: 4*Arg_3 {O(n)}
57,56: f46->f87, Arg_5: 4*(1+Arg_3) {O(n)}
57,56: f46->f87, Arg_6: 4*(1+Arg_3) {O(n)}
57,56: f46->f87, Arg_7: Arg_3 {O(n)}
57,56: f46->f87, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
57,56: f46->f87, Arg_13: Arg_13 {O(n)}
57,56: f46->f87, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
57,56: f46->f87, Arg_15: max([0, Arg_15]) {O(n)}
57,56: f46->f87, Arg_16: max([1, Arg_16]) {O(n)}
57,56: f46->f87, Arg_17: Arg_17 {O(n)}
57,56: f46->f87, Arg_18: Arg_18 {O(n)}
57,56: f46->f87, Arg_19: Arg_19 {O(n)}
57,56: f46->f87, Arg_21: Arg_21 {O(n)}
57,56: f46->f87, Arg_22: Arg_22 {O(n)}
57,56: f46->f87, Arg_23: Arg_23 {O(n)}
57,56: f46->f87, Arg_24: Arg_24 {O(n)}
57,56: f46->f87, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
38,37: f60->f46, Arg_2: 2*Arg_3 {O(n)}
38,37: f60->f46, Arg_3: Arg_3 {O(n)}
38,37: f60->f46, Arg_4: 4*Arg_3 {O(n)}
38,37: f60->f46, Arg_5: 4*(1+Arg_3) {O(n)}
38,37: f60->f46, Arg_6: 4*(1+Arg_3) {O(n)}
38,37: f60->f46, Arg_7: Arg_3 {O(n)}
38,37: f60->f46, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
38,37: f60->f46, Arg_13: Arg_13 {O(n)}
38,37: f60->f46, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
38,37: f60->f46, Arg_15: max([0, Arg_15]) {O(n)}
38,37: f60->f46, Arg_16: 1 {O(1)}
38,37: f60->f46, Arg_17: Arg_17 {O(n)}
38,37: f60->f46, Arg_18: Arg_18 {O(n)}
38,37: f60->f46, Arg_19: Arg_19 {O(n)}
38,37: f60->f46, Arg_21: Arg_21 {O(n)}
38,37: f60->f46, Arg_22: Arg_22 {O(n)}
38,37: f60->f46, Arg_23: Arg_23 {O(n)}
38,37: f60->f46, Arg_24: Arg_24 {O(n)}
38,37: f60->f46, Arg_26: 2*Arg_3 {O(n)}
13,13: f66->f66, Arg_2: 2*Arg_3 {O(n)}
13,13: f66->f66, Arg_3: Arg_3 {O(n)}
13,13: f66->f66, Arg_4: 4*Arg_3 {O(n)}
13,13: f66->f66, Arg_5: 4*(1+Arg_3) {O(n)}
13,13: f66->f66, Arg_6: 4*(1+Arg_3) {O(n)}
13,13: f66->f66, Arg_7: Arg_3 {O(n)}
13,13: f66->f66, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
13,13: f66->f66, Arg_13: Arg_13 {O(n)}
13,13: f66->f66, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
13,13: f66->f66, Arg_15: 0 {O(1)}
13,13: f66->f66, Arg_16: 0 {O(1)}
13,13: f66->f66, Arg_17: Arg_17 {O(n)}
13,13: f66->f66, Arg_18: Arg_18 {O(n)}
13,13: f66->f66, Arg_19: Arg_19 {O(n)}
13,13: f66->f66, Arg_21: Arg_21 {O(n)}
13,13: f66->f66, Arg_22: Arg_22 {O(n)}
13,13: f66->f66, Arg_23: Arg_23 {O(n)}
13,13: f66->f66, Arg_24: Arg_24 {O(n)}
13,13: f66->f66, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
14,13: f66->f66, Arg_2: 2*Arg_3 {O(n)}
14,13: f66->f66, Arg_3: Arg_3 {O(n)}
14,13: f66->f66, Arg_4: 4*Arg_3 {O(n)}
14,13: f66->f66, Arg_5: 4*(1+Arg_3) {O(n)}
14,13: f66->f66, Arg_6: 4*(1+Arg_3) {O(n)}
14,13: f66->f66, Arg_7: Arg_3 {O(n)}
14,13: f66->f66, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
14,13: f66->f66, Arg_13: Arg_13 {O(n)}
14,13: f66->f66, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
14,13: f66->f66, Arg_15: 0 {O(1)}
14,13: f66->f66, Arg_16: 0 {O(1)}
14,13: f66->f66, Arg_17: Arg_17 {O(n)}
14,13: f66->f66, Arg_18: Arg_18 {O(n)}
14,13: f66->f66, Arg_19: Arg_19 {O(n)}
14,13: f66->f66, Arg_21: Arg_21 {O(n)}
14,13: f66->f66, Arg_22: Arg_22 {O(n)}
14,13: f66->f66, Arg_23: Arg_23 {O(n)}
14,13: f66->f66, Arg_24: Arg_24 {O(n)}
14,13: f66->f66, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
37,36: f66->f46, Arg_2: 2*Arg_3 {O(n)}
37,36: f66->f46, Arg_3: Arg_3 {O(n)}
37,36: f66->f46, Arg_4: 4*Arg_3 {O(n)}
37,36: f66->f46, Arg_5: 4*(1+Arg_3) {O(n)}
37,36: f66->f46, Arg_6: 4*(1+Arg_3) {O(n)}
37,36: f66->f46, Arg_7: Arg_3 {O(n)}
37,36: f66->f46, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
37,36: f66->f46, Arg_13: Arg_13 {O(n)}
37,36: f66->f46, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
37,36: f66->f46, Arg_15: 0 {O(1)}
37,36: f66->f46, Arg_16: 1 {O(1)}
37,36: f66->f46, Arg_17: Arg_17 {O(n)}
37,36: f66->f46, Arg_18: Arg_18 {O(n)}
37,36: f66->f46, Arg_19: Arg_19 {O(n)}
37,36: f66->f46, Arg_21: Arg_21 {O(n)}
37,36: f66->f46, Arg_22: Arg_22 {O(n)}
37,36: f66->f46, Arg_23: Arg_23 {O(n)}
37,36: f66->f46, Arg_24: Arg_24 {O(n)}
37,36: f66->f46, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
16,15: f87->f91, Arg_2: 2*Arg_3 {O(n)}
16,15: f87->f91, Arg_3: Arg_3 {O(n)}
16,15: f87->f91, Arg_4: 4*Arg_3 {O(n)}
16,15: f87->f91, Arg_5: 4*(1+Arg_3) {O(n)}
16,15: f87->f91, Arg_6: 4*(1+Arg_3) {O(n)}
16,15: f87->f91, Arg_7: Arg_3 {O(n)}
16,15: f87->f91, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
16,15: f87->f91, Arg_11: 0 {O(1)}
16,15: f87->f91, Arg_13: Arg_13 {O(n)}
16,15: f87->f91, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
16,15: f87->f91, Arg_15: max([0, Arg_15]) {O(n)}
16,15: f87->f91, Arg_16: max([1, Arg_16]) {O(n)}
16,15: f87->f91, Arg_17: Arg_17 {O(n)}
16,15: f87->f91, Arg_18: Arg_18 {O(n)}
16,15: f87->f91, Arg_19: Arg_19 {O(n)}
16,15: f87->f91, Arg_20: 0 {O(1)}
16,15: f87->f91, Arg_21: Arg_21 {O(n)}
16,15: f87->f91, Arg_22: Arg_22 {O(n)}
16,15: f87->f91, Arg_23: Arg_23 {O(n)}
16,15: f87->f91, Arg_24: Arg_24 {O(n)}
16,15: f87->f91, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
17,16: f87->f91, Arg_2: 2*Arg_3 {O(n)}
17,16: f87->f91, Arg_3: Arg_3 {O(n)}
17,16: f87->f91, Arg_4: 4*Arg_3 {O(n)}
17,16: f87->f91, Arg_5: 4*(1+Arg_3) {O(n)}
17,16: f87->f91, Arg_6: 4*(1+Arg_3) {O(n)}
17,16: f87->f91, Arg_7: Arg_3 {O(n)}
17,16: f87->f91, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
17,16: f87->f91, Arg_11: (-1) {O(1)}
17,16: f87->f91, Arg_13: Arg_13 {O(n)}
17,16: f87->f91, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
17,16: f87->f91, Arg_15: max([0, Arg_15]) {O(n)}
17,16: f87->f91, Arg_16: max([1, Arg_16]) {O(n)}
17,16: f87->f91, Arg_17: Arg_17 {O(n)}
17,16: f87->f91, Arg_18: Arg_18 {O(n)}
17,16: f87->f91, Arg_19: Arg_19 {O(n)}
17,16: f87->f91, Arg_21: Arg_21 {O(n)}
17,16: f87->f91, Arg_22: Arg_22 {O(n)}
17,16: f87->f91, Arg_23: Arg_23 {O(n)}
17,16: f87->f91, Arg_24: Arg_24 {O(n)}
17,16: f87->f91, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
18,17: f87->f91, Arg_2: 2*Arg_3 {O(n)}
18,17: f87->f91, Arg_3: Arg_3 {O(n)}
18,17: f87->f91, Arg_4: 4*Arg_3 {O(n)}
18,17: f87->f91, Arg_5: 4*(1+Arg_3) {O(n)}
18,17: f87->f91, Arg_6: 4*(1+Arg_3) {O(n)}
18,17: f87->f91, Arg_7: Arg_3 {O(n)}
18,17: f87->f91, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
18,17: f87->f91, Arg_13: Arg_13 {O(n)}
18,17: f87->f91, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
18,17: f87->f91, Arg_15: max([0, Arg_15]) {O(n)}
18,17: f87->f91, Arg_16: max([1, Arg_16]) {O(n)}
18,17: f87->f91, Arg_17: Arg_17 {O(n)}
18,17: f87->f91, Arg_18: Arg_18 {O(n)}
18,17: f87->f91, Arg_19: Arg_19 {O(n)}
18,17: f87->f91, Arg_21: Arg_21 {O(n)}
18,17: f87->f91, Arg_22: Arg_22 {O(n)}
18,17: f87->f91, Arg_23: Arg_23 {O(n)}
18,17: f87->f91, Arg_24: Arg_24 {O(n)}
18,17: f87->f91, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
58,57: f87->f44, Arg_2: 2*Arg_3 {O(n)}
58,57: f87->f44, Arg_3: Arg_3 {O(n)}
58,57: f87->f44, Arg_4: 4*Arg_3 {O(n)}
58,57: f87->f44, Arg_5: 4*(1+Arg_3) {O(n)}
58,57: f87->f44, Arg_6: 4*(1+Arg_3) {O(n)}
58,57: f87->f44, Arg_7: Arg_3 {O(n)}
58,57: f87->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
58,57: f87->f44, Arg_11: 0 {O(1)}
58,57: f87->f44, Arg_13: Arg_13 {O(n)}
58,57: f87->f44, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
58,57: f87->f44, Arg_15: max([0, Arg_15]) {O(n)}
58,57: f87->f44, Arg_16: max([1, Arg_16]) {O(n)}
58,57: f87->f44, Arg_17: Arg_17 {O(n)}
58,57: f87->f44, Arg_18: Arg_18 {O(n)}
58,57: f87->f44, Arg_19: Arg_19 {O(n)}
58,57: f87->f44, Arg_20: 0 {O(1)}
58,57: f87->f44, Arg_21: Arg_21 {O(n)}
58,57: f87->f44, Arg_22: Arg_22 {O(n)}
58,57: f87->f44, Arg_23: Arg_23 {O(n)}
58,57: f87->f44, Arg_24: Arg_24 {O(n)}
58,57: f87->f44, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
59,58: f87->f44, Arg_2: 2*Arg_3 {O(n)}
59,58: f87->f44, Arg_3: Arg_3 {O(n)}
59,58: f87->f44, Arg_4: 4*Arg_3 {O(n)}
59,58: f87->f44, Arg_5: 4*(1+Arg_3) {O(n)}
59,58: f87->f44, Arg_6: 4*(1+Arg_3) {O(n)}
59,58: f87->f44, Arg_7: Arg_3 {O(n)}
59,58: f87->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
59,58: f87->f44, Arg_11: (-1) {O(1)}
59,58: f87->f44, Arg_13: Arg_13 {O(n)}
59,58: f87->f44, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
59,58: f87->f44, Arg_15: max([0, Arg_15]) {O(n)}
59,58: f87->f44, Arg_16: max([1, Arg_16]) {O(n)}
59,58: f87->f44, Arg_17: Arg_17 {O(n)}
59,58: f87->f44, Arg_18: Arg_18 {O(n)}
59,58: f87->f44, Arg_19: Arg_19 {O(n)}
59,58: f87->f44, Arg_21: Arg_21 {O(n)}
59,58: f87->f44, Arg_22: Arg_22 {O(n)}
59,58: f87->f44, Arg_23: Arg_23 {O(n)}
59,58: f87->f44, Arg_24: Arg_24 {O(n)}
59,58: f87->f44, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
60,59: f87->f44, Arg_2: 2*Arg_3 {O(n)}
60,59: f87->f44, Arg_3: Arg_3 {O(n)}
60,59: f87->f44, Arg_4: 4*Arg_3 {O(n)}
60,59: f87->f44, Arg_5: 4*(1+Arg_3) {O(n)}
60,59: f87->f44, Arg_6: 4*(1+Arg_3) {O(n)}
60,59: f87->f44, Arg_7: Arg_3 {O(n)}
60,59: f87->f44, Arg_9: 3*max([-(Arg_9)+1+2*Arg_3, 0])+6*max([-(Arg_9)+6*Arg_3, 0])+Arg_9+max([-(Arg_9), 0]) {O(n)}
60,59: f87->f44, Arg_13: Arg_13 {O(n)}
60,59: f87->f44, Arg_14: 9*max([-(Arg_14)+1+Arg_13, 0])+Arg_14 {O(n)}
60,59: f87->f44, Arg_15: max([0, Arg_15]) {O(n)}
60,59: f87->f44, Arg_16: max([1, Arg_16]) {O(n)}
60,59: f87->f44, Arg_17: Arg_17 {O(n)}
60,59: f87->f44, Arg_18: Arg_18 {O(n)}
60,59: f87->f44, Arg_19: Arg_19 {O(n)}
60,59: f87->f44, Arg_21: Arg_21 {O(n)}
60,59: f87->f44, Arg_22: Arg_22 {O(n)}
60,59: f87->f44, Arg_23: Arg_23 {O(n)}
60,59: f87->f44, Arg_24: Arg_24 {O(n)}
60,59: f87->f44, Arg_26: max([2*Arg_3, Arg_26]) {O(n)}

ExpSizeBounds:

(0: f0->[1:f23], f23), B1: B1 {O(n)}
(0: f0->[1:f23], f23), C1: C1 {O(n)}
(0: f0->[1:f23], f23), $_199: $_199 {O(n)}
(0: f0->[1:f23], f23), $_225: $_225 {O(n)}
(0: f0->[1:f23], f23), $_239: $_239 {O(n)}
(0: f0->[1:f23], f23), $_241: $_241 {O(n)}
(0: f0->[1:f23], f23), $_253: $_253 {O(n)}
(0: f0->[1:f23], f23), $_267: $_267 {O(n)}
(0: f0->[1:f23], f23), $_269: $_269 {O(n)}
(0: f0->[1:f23], f23), Arg_0: 0 {O(1)}
(0: f0->[1:f23], f23), Arg_1: 0 {O(1)}
(0: f0->[1:f23], f23), Arg_2: 2*Arg_3 {O(n)}
(0: f0->[1:f23], f23), Arg_3: Arg_3 {O(n)}
(0: f0->[1:f23], f23), Arg_4: 4*Arg_3 {O(n)}
(0: f0->[1:f23], f23), Arg_5: 2*Arg_5+3+4*Arg_3 {O(n)}
(0: f0->[1:f23], f23), Arg_6: 4*(1+Arg_3) {O(n)}
(0: f0->[1:f23], f23), Arg_7: Arg_3 {O(n)}
(0: f0->[1:f23], f23), Arg_9: Arg_9 {O(n)}
(0: f0->[1:f23], f23), Arg_10: Arg_10 {O(n)}
(0: f0->[1:f23], f23), Arg_11: Arg_11 {O(n)}
(0: f0->[1:f23], f23), Arg_12: Arg_12 {O(n)}
(0: f0->[1:f23], f23), Arg_13: Arg_13 {O(n)}
(0: f0->[1:f23], f23), Arg_14: Arg_14 {O(n)}
(0: f0->[1:f23], f23), Arg_15: Arg_15 {O(n)}
(0: f0->[1:f23], f23), Arg_16: Arg_16 {O(n)}
(0: f0->[1:f23], f23), Arg_17: Arg_17 {O(n)}
(0: f0->[1:f23], f23), Arg_18: Arg_18 {O(n)}
(0: f0->[1:f23], f23), Arg_19: Arg_19 {O(n)}
(0: f0->[1:f23], f23), Arg_20: Arg_20 {O(n)}
(0: f0->[1:f23], f23), Arg_21: Arg_21 {O(n)}
(0: f0->[1:f23], f23), Arg_22: Arg_22 {O(n)}
(0: f0->[1:f23], f23), Arg_23: Arg_23 {O(n)}
(0: f0->[1:f23], f23), Arg_24: Arg_24 {O(n)}
(0: f0->[1:f23], f23), Arg_25: Arg_25 {O(n)}
(0: f0->[1:f23], f23), Arg_26: Arg_26 {O(n)}
(1: f23->[1:f23], f23), B1: B1 {O(n)}
(1: f23->[1:f23], f23), C1: C1 {O(n)}
(1: f23->[1:f23], f23), $_199: $_199 {O(n)}
(1: f23->[1:f23], f23), $_225: $_225 {O(n)}
(1: f23->[1:f23], f23), $_239: $_239 {O(n)}
(1: f23->[1:f23], f23), $_241: $_241 {O(n)}
(1: f23->[1:f23], f23), $_253: $_253 {O(n)}
(1: f23->[1:f23], f23), $_267: $_267 {O(n)}
(1: f23->[1:f23], f23), $_269: $_269 {O(n)}
(1: f23->[1:f23], f23), Arg_1: 0 {O(1)}
(1: f23->[1:f23], f23), Arg_2: 2*Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_3: Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_4: 4*Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_5: 2*Arg_5+3+4*Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_6: 4*(1+Arg_3) {O(n)}
(1: f23->[1:f23], f23), Arg_7: Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_9: 3+4*Arg_9+6*Arg_3 {O(n)}
(1: f23->[1:f23], f23), Arg_10: 1 {O(1)}
(1: f23->[1:f23], f23), Arg_11: 0 {O(1)}
(1: f23->[1:f23], f23), Arg_12: 0 {O(1)}
(1: f23->[1:f23], f23), Arg_13: Arg_13 {O(n)}
(1: f23->[1:f23], f23), Arg_14: Arg_14 {O(n)}
(1: f23->[1:f23], f23), Arg_15: Arg_15 {O(n)}
(1: f23->[1:f23], f23), Arg_16: Arg_16 {O(n)}
(1: f23->[1:f23], f23), Arg_17: Arg_17 {O(n)}
(1: f23->[1:f23], f23), Arg_18: Arg_18 {O(n)}
(1: f23->[1:f23], f23), Arg_19: Arg_19 {O(n)}
(1: f23->[1:f23], f23), Arg_20: Arg_20 {O(n)}
(1: f23->[1:f23], f23), Arg_21: Arg_21 {O(n)}
(1: f23->[1:f23], f23), Arg_22: Arg_22 {O(n)}
(1: f23->[1:f23], f23), Arg_23: Arg_23 {O(n)}
(1: f23->[1:f23], f23), Arg_24: Arg_24 {O(n)}
(1: f23->[1:f23], f23), Arg_25: Arg_25 {O(n)}
(1: f23->[1:f23], f23), Arg_26: Arg_26 {O(n)}
(2: f23->[1:f23], f23), B1: B1 {O(n)}
(2: f23->[1:f23], f23), C1: C1 {O(n)}
(2: f23->[1:f23], f23), $_199: $_199 {O(n)}
(2: f23->[1:f23], f23), $_225: $_225 {O(n)}
(2: f23->[1:f23], f23), $_239: $_239 {O(n)}
(2: f23->[1:f23], f23), $_241: $_241 {O(n)}
(2: f23->[1:f23], f23), $_253: $_253 {O(n)}
(2: f23->[1:f23], f23), $_267: $_267 {O(n)}
(2: f23->[1:f23], f23), $_269: $_269 {O(n)}
(2: f23->[1:f23], f23), Arg_1: 0 {O(1)}
(2: f23->[1:f23], f23), Arg_2: 2*Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_3: Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_4: 4*Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_5: 2*Arg_5+3+4*Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_6: 4*(1+Arg_3) {O(n)}
(2: f23->[1:f23], f23), Arg_7: Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_9: 3+4*Arg_9+6*Arg_3 {O(n)}
(2: f23->[1:f23], f23), Arg_13: Arg_13 {O(n)}
(2: f23->[1:f23], f23), Arg_14: Arg_14 {O(n)}
(2: f23->[1:f23], f23), Arg_15: Arg_15 {O(n)}
(2: f23->[1:f23], f23), Arg_16: Arg_16 {O(n)}
(2: f23->[1:f23], f23), Arg_17: Arg_17 {O(n)}
(2: f23->[1:f23], f23), Arg_18: Arg_18 {O(n)}
(2: f23->[1:f23], f23), Arg_19: Arg_19 {O(n)}
(2: f23->[1:f23], f23), Arg_20: Arg_20 {O(n)}
(2: f23->[1:f23], f23), Arg_21: Arg_21 {O(n)}
(2: f23->[1:f23], f23), Arg_22: Arg_22 {O(n)}
(2: f23->[1:f23], f23), Arg_23: Arg_23 {O(n)}
(2: f23->[1:f23], f23), Arg_24: Arg_24 {O(n)}
(2: f23->[1:f23], f23), Arg_25: Arg_25 {O(n)}
(2: f23->[1:f23], f23), Arg_26: Arg_26 {O(n)}
(3: f23->[1:f23], f23), B1: B1 {O(n)}
(3: f23->[1:f23], f23), C1: C1 {O(n)}
(3: f23->[1:f23], f23), $_199: $_199 {O(n)}
(3: f23->[1:f23], f23), $_225: $_225 {O(n)}
(3: f23->[1:f23], f23), $_239: $_239 {O(n)}
(3: f23->[1:f23], f23), $_241: $_241 {O(n)}
(3: f23->[1:f23], f23), $_253: $_253 {O(n)}
(3: f23->[1:f23], f23), $_267: $_267 {O(n)}
(3: f23->[1:f23], f23), $_269: $_269 {O(n)}
(3: f23->[1:f23], f23), Arg_1: 0 {O(1)}
(3: f23->[1:f23], f23), Arg_2: 2*Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_3: Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_4: 4*Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_5: 2*Arg_5+3+4*Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_6: 4*(1+Arg_3) {O(n)}
(3: f23->[1:f23], f23), Arg_7: Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_9: 3+4*Arg_9+6*Arg_3 {O(n)}
(3: f23->[1:f23], f23), Arg_13: Arg_13 {O(n)}
(3: f23->[1:f23], f23), Arg_14: Arg_14 {O(n)}
(3: f23->[1:f23], f23), Arg_15: Arg_15 {O(n)}
(3: f23->[1:f23], f23), Arg_16: Arg_16 {O(n)}
(3: f23->[1:f23], f23), Arg_17: Arg_17 {O(n)}
(3: f23->[1:f23], f23), Arg_18: Arg_18 {O(n)}
(3: f23->[1:f23], f23), Arg_19: Arg_19 {O(n)}
(3: f23->[1:f23], f23), Arg_20: Arg_20 {O(n)}
(3: f23->[1:f23], f23), Arg_21: Arg_21 {O(n)}
(3: f23->[1:f23], f23), Arg_22: Arg_22 {O(n)}
(3: f23->[1:f23], f23), Arg_23: Arg_23 {O(n)}
(3: f23->[1:f23], f23), Arg_24: Arg_24 {O(n)}
(3: f23->[1:f23], f23), Arg_25: Arg_25 {O(n)}
(3: f23->[1:f23], f23), Arg_26: Arg_26 {O(n)}
(4: f33->[1:f33], f33), B1: 4*B1 {O(n)}
(4: f33->[1:f33], f33), C1: 4*C1 {O(n)}
(4: f33->[1:f33], f33), $_199: 4*$_199 {O(n)}
(4: f33->[1:f33], f33), $_225: 4*$_225 {O(n)}
(4: f33->[1:f33], f33), $_239: 4*$_239 {O(n)}
(4: f33->[1:f33], f33), $_241: 4*$_241 {O(n)}
(4: f33->[1:f33], f33), $_253: 4*$_253 {O(n)}
(4: f33->[1:f33], f33), $_267: 4*$_267 {O(n)}
(4: f33->[1:f33], f33), $_269: 4*$_269 {O(n)}
(4: f33->[1:f33], f33), Arg_1: 0 {O(1)}
(4: f33->[1:f33], f33), Arg_2: 8*Arg_3 {O(n)}
(4: f33->[1:f33], f33), Arg_3: Arg_3 {O(n)}
(4: f33->[1:f33], f33), Arg_4: 4*Arg_3 {O(n)}
(4: f33->[1:f33], f33), Arg_5: 12+16*Arg_3+8*Arg_5 {O(n)}
(4: f33->[1:f33], f33), Arg_6: 4*(1+Arg_3) {O(n)}
(4: f33->[1:f33], f33), Arg_7: Arg_3 {O(n)}
(4: f33->[1:f33], f33), Arg_9: 14*Arg_9+9+18*Arg_3 {O(n)}
(4: f33->[1:f33], f33), Arg_13: Arg_13 {O(n)}
(4: f33->[1:f33], f33), Arg_14: Arg_14 {O(n)}
(4: f33->[1:f33], f33), Arg_15: Arg_15 {O(n)}
(4: f33->[1:f33], f33), Arg_16: Arg_16 {O(n)}
(4: f33->[1:f33], f33), Arg_17: Arg_17 {O(n)}
(4: f33->[1:f33], f33), Arg_18: Arg_18 {O(n)}
(4: f33->[1:f33], f33), Arg_19: Arg_19 {O(n)}
(4: f33->[1:f33], f33), Arg_20: Arg_20 {O(n)}
(4: f33->[1:f33], f33), Arg_21: Arg_21 {O(n)}
(4: f33->[1:f33], f33), Arg_22: Arg_22 {O(n)}
(4: f33->[1:f33], f33), Arg_23: Arg_23 {O(n)}
(4: f33->[1:f33], f33), Arg_24: Arg_24 {O(n)}
(4: f33->[1:f33], f33), Arg_25: Arg_25 {O(n)}
(4: f33->[1:f33], f33), Arg_26: Arg_26 {O(n)}
(6: f44->[1:f46], f46), Arg_2: 2*Arg_3 {O(n)}
(6: f44->[1:f46], f46), Arg_3: Arg_3 {O(n)}
(6: f44->[1:f46], f46), Arg_4: 4*Arg_3 {O(n)}
(6: f44->[1:f46], f46), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(6: f44->[1:f46], f46), Arg_6: 4*(1+Arg_3) {O(n)}
(6: f44->[1:f46], f46), Arg_7: Arg_3 {O(n)}
(6: f44->[1:f46], f46), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(6: f44->[1:f46], f46), Arg_13: Arg_13 {O(n)}
(6: f44->[1:f46], f46), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(6: f44->[1:f46], f46), Arg_15: Arg_15 {O(n)}
(6: f44->[1:f46], f46), Arg_16: max([1, Arg_16]) {O(n)}
(6: f44->[1:f46], f46), Arg_17: Arg_17 {O(n)}
(6: f44->[1:f46], f46), Arg_18: Arg_18 {O(n)}
(6: f44->[1:f46], f46), Arg_19: Arg_19 {O(n)}
(6: f44->[1:f46], f46), Arg_21: Arg_21 {O(n)}
(6: f44->[1:f46], f46), Arg_22: Arg_22 {O(n)}
(6: f44->[1:f46], f46), Arg_23: Arg_23 {O(n)}
(6: f44->[1:f46], f46), Arg_24: Arg_24 {O(n)}
(6: f44->[1:f46], f46), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(7: f46->[1:f49], f49), Arg_2: 4*Arg_3 {O(n)}
(7: f46->[1:f49], f49), Arg_3: Arg_3 {O(n)}
(7: f46->[1:f49], f49), Arg_4: 8*Arg_3 {O(n)}
(7: f46->[1:f49], f49), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(7: f46->[1:f49], f49), Arg_6: 8*(1+Arg_3) {O(n)}
(7: f46->[1:f49], f49), Arg_7: Arg_3 {O(n)}
(7: f46->[1:f49], f49), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(7: f46->[1:f49], f49), Arg_13: Arg_13 {O(n)}
(7: f46->[1:f49], f49), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(7: f46->[1:f49], f49), Arg_15: 0 {O(1)}
(7: f46->[1:f49], f49), Arg_16: min([1, Arg_16]) {O(n)}
(7: f46->[1:f49], f49), Arg_17: Arg_17 {O(n)}
(7: f46->[1:f49], f49), Arg_18: Arg_18 {O(n)}
(7: f46->[1:f49], f49), Arg_19: Arg_19 {O(n)}
(7: f46->[1:f49], f49), Arg_21: Arg_21 {O(n)}
(7: f46->[1:f49], f49), Arg_22: Arg_22 {O(n)}
(7: f46->[1:f49], f49), Arg_23: Arg_23 {O(n)}
(7: f46->[1:f49], f49), Arg_24: Arg_24 {O(n)}
(7: f46->[1:f49], f49), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(8: f46->[1:f49], f49), Arg_2: 4*Arg_3 {O(n)}
(8: f46->[1:f49], f49), Arg_3: Arg_3 {O(n)}
(8: f46->[1:f49], f49), Arg_4: 8*Arg_3 {O(n)}
(8: f46->[1:f49], f49), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(8: f46->[1:f49], f49), Arg_6: 8*(1+Arg_3) {O(n)}
(8: f46->[1:f49], f49), Arg_7: Arg_3 {O(n)}
(8: f46->[1:f49], f49), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(8: f46->[1:f49], f49), Arg_13: Arg_13 {O(n)}
(8: f46->[1:f49], f49), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(8: f46->[1:f49], f49), Arg_15: Arg_15 {O(n)}
(8: f46->[1:f49], f49), Arg_16: min([1, Arg_16]) {O(n)}
(8: f46->[1:f49], f49), Arg_17: Arg_17 {O(n)}
(8: f46->[1:f49], f49), Arg_18: Arg_18 {O(n)}
(8: f46->[1:f49], f49), Arg_19: Arg_19 {O(n)}
(8: f46->[1:f49], f49), Arg_21: Arg_21 {O(n)}
(8: f46->[1:f49], f49), Arg_22: Arg_22 {O(n)}
(8: f46->[1:f49], f49), Arg_23: Arg_23 {O(n)}
(8: f46->[1:f49], f49), Arg_24: Arg_24 {O(n)}
(8: f46->[1:f49], f49), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(12: f46->[1:f66], f66), Arg_2: 2*Arg_3 {O(n)}
(12: f46->[1:f66], f66), Arg_3: Arg_3 {O(n)}
(12: f46->[1:f66], f66), Arg_4: 4*Arg_3 {O(n)}
(12: f46->[1:f66], f66), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(12: f46->[1:f66], f66), Arg_6: 4*(1+Arg_3) {O(n)}
(12: f46->[1:f66], f66), Arg_7: Arg_3 {O(n)}
(12: f46->[1:f66], f66), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(12: f46->[1:f66], f66), Arg_13: Arg_13 {O(n)}
(12: f46->[1:f66], f66), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(12: f46->[1:f66], f66), Arg_15: 0 {O(1)}
(12: f46->[1:f66], f66), Arg_16: max([1, Arg_16]) {O(n)}
(12: f46->[1:f66], f66), Arg_17: Arg_17 {O(n)}
(12: f46->[1:f66], f66), Arg_18: Arg_18 {O(n)}
(12: f46->[1:f66], f66), Arg_19: Arg_19 {O(n)}
(12: f46->[1:f66], f66), Arg_21: Arg_21 {O(n)}
(12: f46->[1:f66], f66), Arg_22: Arg_22 {O(n)}
(12: f46->[1:f66], f66), Arg_23: Arg_23 {O(n)}
(12: f46->[1:f66], f66), Arg_24: Arg_24 {O(n)}
(12: f46->[1:f66], f66), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_2: 2*Arg_3 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_3: Arg_3 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_4: 4*Arg_3 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_6: 4*(1+Arg_3) {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_7: Arg_3 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_13: Arg_13 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_15: 0 {O(1)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_16: max([1, Arg_16]) {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_17: Arg_17 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_18: Arg_18 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_19: Arg_19 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_21: Arg_21 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_22: Arg_22 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_23: Arg_23 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_24: Arg_24 {O(n)}
(13: f66->[1/2:f66; 1/2:f66], f66), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(15: f87->[1:f91], f91), Arg_2: 6*Arg_3 {O(n)}
(15: f87->[1:f91], f91), Arg_3: Arg_3 {O(n)}
(15: f87->[1:f91], f91), Arg_4: 4*Arg_3 {O(n)}
(15: f87->[1:f91], f91), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(15: f87->[1:f91], f91), Arg_6: 4*(1+Arg_3) {O(n)}
(15: f87->[1:f91], f91), Arg_7: Arg_3 {O(n)}
(15: f87->[1:f91], f91), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(15: f87->[1:f91], f91), Arg_11: 0 {O(1)}
(15: f87->[1:f91], f91), Arg_13: Arg_13 {O(n)}
(15: f87->[1:f91], f91), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(15: f87->[1:f91], f91), Arg_15: Arg_15 {O(n)}
(15: f87->[1:f91], f91), Arg_16: max([1, Arg_16]) {O(n)}
(15: f87->[1:f91], f91), Arg_17: Arg_17 {O(n)}
(15: f87->[1:f91], f91), Arg_18: Arg_18 {O(n)}
(15: f87->[1:f91], f91), Arg_19: Arg_19 {O(n)}
(15: f87->[1:f91], f91), Arg_20: 0 {O(1)}
(15: f87->[1:f91], f91), Arg_21: Arg_21 {O(n)}
(15: f87->[1:f91], f91), Arg_22: Arg_22 {O(n)}
(15: f87->[1:f91], f91), Arg_23: Arg_23 {O(n)}
(15: f87->[1:f91], f91), Arg_24: Arg_24 {O(n)}
(15: f87->[1:f91], f91), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(16: f87->[1:f91], f91), Arg_2: 6*Arg_3 {O(n)}
(16: f87->[1:f91], f91), Arg_3: Arg_3 {O(n)}
(16: f87->[1:f91], f91), Arg_4: 4*Arg_3 {O(n)}
(16: f87->[1:f91], f91), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(16: f87->[1:f91], f91), Arg_6: 4*(1+Arg_3) {O(n)}
(16: f87->[1:f91], f91), Arg_7: Arg_3 {O(n)}
(16: f87->[1:f91], f91), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(16: f87->[1:f91], f91), Arg_13: Arg_13 {O(n)}
(16: f87->[1:f91], f91), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(16: f87->[1:f91], f91), Arg_15: Arg_15 {O(n)}
(16: f87->[1:f91], f91), Arg_16: max([1, Arg_16]) {O(n)}
(16: f87->[1:f91], f91), Arg_17: Arg_17 {O(n)}
(16: f87->[1:f91], f91), Arg_18: Arg_18 {O(n)}
(16: f87->[1:f91], f91), Arg_19: Arg_19 {O(n)}
(16: f87->[1:f91], f91), Arg_21: Arg_21 {O(n)}
(16: f87->[1:f91], f91), Arg_22: Arg_22 {O(n)}
(16: f87->[1:f91], f91), Arg_23: Arg_23 {O(n)}
(16: f87->[1:f91], f91), Arg_24: Arg_24 {O(n)}
(16: f87->[1:f91], f91), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(17: f87->[1:f91], f91), Arg_2: 6*Arg_3 {O(n)}
(17: f87->[1:f91], f91), Arg_3: Arg_3 {O(n)}
(17: f87->[1:f91], f91), Arg_4: 4*Arg_3 {O(n)}
(17: f87->[1:f91], f91), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(17: f87->[1:f91], f91), Arg_6: 4*(1+Arg_3) {O(n)}
(17: f87->[1:f91], f91), Arg_7: Arg_3 {O(n)}
(17: f87->[1:f91], f91), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(17: f87->[1:f91], f91), Arg_13: Arg_13 {O(n)}
(17: f87->[1:f91], f91), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(17: f87->[1:f91], f91), Arg_15: Arg_15 {O(n)}
(17: f87->[1:f91], f91), Arg_16: max([1, Arg_16]) {O(n)}
(17: f87->[1:f91], f91), Arg_17: Arg_17 {O(n)}
(17: f87->[1:f91], f91), Arg_18: Arg_18 {O(n)}
(17: f87->[1:f91], f91), Arg_19: Arg_19 {O(n)}
(17: f87->[1:f91], f91), Arg_21: Arg_21 {O(n)}
(17: f87->[1:f91], f91), Arg_22: Arg_22 {O(n)}
(17: f87->[1:f91], f91), Arg_23: Arg_23 {O(n)}
(17: f87->[1:f91], f91), Arg_24: Arg_24 {O(n)}
(17: f87->[1:f91], f91), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(36: f66->[1:f46], f46), Arg_2: 2*Arg_3 {O(n)}
(36: f66->[1:f46], f46), Arg_3: Arg_3 {O(n)}
(36: f66->[1:f46], f46), Arg_4: 4*Arg_3 {O(n)}
(36: f66->[1:f46], f46), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(36: f66->[1:f46], f46), Arg_6: 4*(1+Arg_3) {O(n)}
(36: f66->[1:f46], f46), Arg_7: Arg_3 {O(n)}
(36: f66->[1:f46], f46), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(36: f66->[1:f46], f46), Arg_13: Arg_13 {O(n)}
(36: f66->[1:f46], f46), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(36: f66->[1:f46], f46), Arg_15: 0 {O(1)}
(36: f66->[1:f46], f46), Arg_16: max([1, Arg_16]) {O(n)}
(36: f66->[1:f46], f46), Arg_17: Arg_17 {O(n)}
(36: f66->[1:f46], f46), Arg_18: Arg_18 {O(n)}
(36: f66->[1:f46], f46), Arg_19: Arg_19 {O(n)}
(36: f66->[1:f46], f46), Arg_21: Arg_21 {O(n)}
(36: f66->[1:f46], f46), Arg_22: Arg_22 {O(n)}
(36: f66->[1:f46], f46), Arg_23: Arg_23 {O(n)}
(36: f66->[1:f46], f46), Arg_24: Arg_24 {O(n)}
(36: f66->[1:f46], f46), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(37: f60->[1:f46], f46), Arg_2: 2*Arg_3 {O(n)}
(37: f60->[1:f46], f46), Arg_3: Arg_3 {O(n)}
(37: f60->[1:f46], f46), Arg_4: 4*Arg_3 {O(n)}
(37: f60->[1:f46], f46), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(37: f60->[1:f46], f46), Arg_6: 4*(1+Arg_3) {O(n)}
(37: f60->[1:f46], f46), Arg_7: Arg_3 {O(n)}
(37: f60->[1:f46], f46), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(37: f60->[1:f46], f46), Arg_13: Arg_13 {O(n)}
(37: f60->[1:f46], f46), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(37: f60->[1:f46], f46), Arg_15: Arg_15 {O(n)}
(37: f60->[1:f46], f46), Arg_16: max([1, Arg_16]) {O(n)}
(37: f60->[1:f46], f46), Arg_17: Arg_17 {O(n)}
(37: f60->[1:f46], f46), Arg_18: Arg_18 {O(n)}
(37: f60->[1:f46], f46), Arg_19: Arg_19 {O(n)}
(37: f60->[1:f46], f46), Arg_21: Arg_21 {O(n)}
(37: f60->[1:f46], f46), Arg_22: Arg_22 {O(n)}
(37: f60->[1:f46], f46), Arg_23: Arg_23 {O(n)}
(37: f60->[1:f46], f46), Arg_24: Arg_24 {O(n)}
(37: f60->[1:f46], f46), Arg_26: min([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]) {O(n)}
(40: f46->[1:f72], f72), Arg_2: 6*Arg_3 {O(n)}
(40: f46->[1:f72], f72), Arg_3: Arg_3 {O(n)}
(40: f46->[1:f72], f72), Arg_4: 4*Arg_3 {O(n)}
(40: f46->[1:f72], f72), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(40: f46->[1:f72], f72), Arg_6: 4*(1+Arg_3) {O(n)}
(40: f46->[1:f72], f72), Arg_7: Arg_3 {O(n)}
(40: f46->[1:f72], f72), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(40: f46->[1:f72], f72), Arg_13: Arg_13 {O(n)}
(40: f46->[1:f72], f72), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(40: f46->[1:f72], f72), Arg_15: Arg_15 {O(n)}
(40: f46->[1:f72], f72), Arg_16: max([1, Arg_16]) {O(n)}
(40: f46->[1:f72], f72), Arg_17: Arg_17 {O(n)}
(40: f46->[1:f72], f72), Arg_18: Arg_18 {O(n)}
(40: f46->[1:f72], f72), Arg_19: Arg_19 {O(n)}
(40: f46->[1:f72], f72), Arg_21: Arg_21 {O(n)}
(40: f46->[1:f72], f72), Arg_22: Arg_22 {O(n)}
(40: f46->[1:f72], f72), Arg_23: Arg_23 {O(n)}
(40: f46->[1:f72], f72), Arg_24: Arg_24 {O(n)}
(40: f46->[1:f72], f72), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(41: f44->[1:f117], f117), Arg_2: 2*Arg_3 {O(n)}
(41: f44->[1:f117], f117), Arg_3: Arg_3 {O(n)}
(41: f44->[1:f117], f117), Arg_4: 4*Arg_3 {O(n)}
(41: f44->[1:f117], f117), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(41: f44->[1:f117], f117), Arg_6: 4*(1+Arg_3) {O(n)}
(41: f44->[1:f117], f117), Arg_7: Arg_3 {O(n)}
(41: f44->[1:f117], f117), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(41: f44->[1:f117], f117), Arg_13: Arg_13 {O(n)}
(41: f44->[1:f117], f117), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(41: f44->[1:f117], f117), Arg_15: Arg_15 {O(n)}
(41: f44->[1:f117], f117), Arg_16: max([1, Arg_16]) {O(n)}
(41: f44->[1:f117], f117), Arg_17: Arg_17 {O(n)}
(41: f44->[1:f117], f117), Arg_18: Arg_18 {O(n)}
(41: f44->[1:f117], f117), Arg_19: Arg_19 {O(n)}
(41: f44->[1:f117], f117), Arg_21: Arg_21 {O(n)}
(41: f44->[1:f117], f117), Arg_22: Arg_22 {O(n)}
(41: f44->[1:f117], f117), Arg_23: Arg_23 {O(n)}
(41: f44->[1:f117], f117), Arg_24: Arg_24 {O(n)}
(41: f44->[1:f117], f117), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(43: f33->[1:f39], f39), B1: 8*B1 {O(n)}
(43: f33->[1:f39], f39), C1: 8*C1 {O(n)}
(43: f33->[1:f39], f39), $_199: 8*$_199 {O(n)}
(43: f33->[1:f39], f39), $_225: 8*$_225 {O(n)}
(43: f33->[1:f39], f39), $_239: 8*$_239 {O(n)}
(43: f33->[1:f39], f39), $_241: 8*$_241 {O(n)}
(43: f33->[1:f39], f39), $_253: 8*$_253 {O(n)}
(43: f33->[1:f39], f39), $_267: 8*$_267 {O(n)}
(43: f33->[1:f39], f39), $_269: 8*$_269 {O(n)}
(43: f33->[1:f39], f39), Arg_1: 0 {O(1)}
(43: f33->[1:f39], f39), Arg_2: 2*Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_3: Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_4: 8*Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_5: 16*Arg_5+24+32*Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_6: 8*(1+Arg_3) {O(n)}
(43: f33->[1:f39], f39), Arg_7: Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_9: 18+27*Arg_9+36*Arg_3 {O(n)}
(43: f33->[1:f39], f39), Arg_13: Arg_13 {O(n)}
(43: f33->[1:f39], f39), Arg_14: Arg_14 {O(n)}
(43: f33->[1:f39], f39), Arg_15: Arg_15 {O(n)}
(43: f33->[1:f39], f39), Arg_16: Arg_16 {O(n)}
(43: f33->[1:f39], f39), Arg_17: Arg_17 {O(n)}
(43: f33->[1:f39], f39), Arg_18: Arg_18 {O(n)}
(43: f33->[1:f39], f39), Arg_19: Arg_19 {O(n)}
(43: f33->[1:f39], f39), Arg_20: Arg_20 {O(n)}
(43: f33->[1:f39], f39), Arg_21: Arg_21 {O(n)}
(43: f33->[1:f39], f39), Arg_22: Arg_22 {O(n)}
(43: f33->[1:f39], f39), Arg_23: Arg_23 {O(n)}
(43: f33->[1:f39], f39), Arg_24: Arg_24 {O(n)}
(43: f33->[1:f39], f39), Arg_25: Arg_25 {O(n)}
(43: f33->[1:f39], f39), Arg_26: Arg_26 {O(n)}
(44: f33->[1:f39], f39), B1: 8*B1 {O(n)}
(44: f33->[1:f39], f39), C1: 8*C1 {O(n)}
(44: f33->[1:f39], f39), $_199: 8*$_199 {O(n)}
(44: f33->[1:f39], f39), $_225: 8*$_225 {O(n)}
(44: f33->[1:f39], f39), $_239: 8*$_239 {O(n)}
(44: f33->[1:f39], f39), $_241: 8*$_241 {O(n)}
(44: f33->[1:f39], f39), $_253: 8*$_253 {O(n)}
(44: f33->[1:f39], f39), $_267: 8*$_267 {O(n)}
(44: f33->[1:f39], f39), $_269: 8*$_269 {O(n)}
(44: f33->[1:f39], f39), Arg_1: 0 {O(1)}
(44: f33->[1:f39], f39), Arg_2: 2*Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_3: Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_4: 8*Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_5: 16*Arg_5+24+32*Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_6: 8*(1+Arg_3) {O(n)}
(44: f33->[1:f39], f39), Arg_7: Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_9: 18+27*Arg_9+36*Arg_3 {O(n)}
(44: f33->[1:f39], f39), Arg_13: Arg_13 {O(n)}
(44: f33->[1:f39], f39), Arg_14: Arg_14 {O(n)}
(44: f33->[1:f39], f39), Arg_15: Arg_15 {O(n)}
(44: f33->[1:f39], f39), Arg_16: Arg_16 {O(n)}
(44: f33->[1:f39], f39), Arg_17: Arg_17 {O(n)}
(44: f33->[1:f39], f39), Arg_18: Arg_18 {O(n)}
(44: f33->[1:f39], f39), Arg_19: Arg_19 {O(n)}
(44: f33->[1:f39], f39), Arg_20: Arg_20 {O(n)}
(44: f33->[1:f39], f39), Arg_21: Arg_21 {O(n)}
(44: f33->[1:f39], f39), Arg_22: Arg_22 {O(n)}
(44: f33->[1:f39], f39), Arg_23: Arg_23 {O(n)}
(44: f33->[1:f39], f39), Arg_24: Arg_24 {O(n)}
(44: f33->[1:f39], f39), Arg_25: Arg_25 {O(n)}
(44: f33->[1:f39], f39), Arg_26: Arg_26 {O(n)}
(45: f33->[1:f44], f44), B1: 8*B1 {O(n)}
(45: f33->[1:f44], f44), C1: 8*C1 {O(n)}
(45: f33->[1:f44], f44), $_199: 8*$_199 {O(n)}
(45: f33->[1:f44], f44), $_225: 8*$_225 {O(n)}
(45: f33->[1:f44], f44), $_239: 8*$_239 {O(n)}
(45: f33->[1:f44], f44), $_241: 8*$_241 {O(n)}
(45: f33->[1:f44], f44), $_253: 8*$_253 {O(n)}
(45: f33->[1:f44], f44), $_267: 8*$_267 {O(n)}
(45: f33->[1:f44], f44), $_269: 8*$_269 {O(n)}
(45: f33->[1:f44], f44), Arg_1: 0 {O(1)}
(45: f33->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_4: 8*Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_5: 16*Arg_5+24+32*Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_6: 8*(1+Arg_3) {O(n)}
(45: f33->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_9: 18+27*Arg_9+36*Arg_3 {O(n)}
(45: f33->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(45: f33->[1:f44], f44), Arg_14: Arg_14 {O(n)}
(45: f33->[1:f44], f44), Arg_15: 0 {O(1)}
(45: f33->[1:f44], f44), Arg_16: Arg_16 {O(n)}
(45: f33->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(45: f33->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(45: f33->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(45: f33->[1:f44], f44), Arg_20: Arg_20 {O(n)}
(45: f33->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(45: f33->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(45: f33->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(45: f33->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(45: f33->[1:f44], f44), Arg_25: Arg_25 {O(n)}
(45: f33->[1:f44], f44), Arg_26: Arg_26 {O(n)}
(46: f23->[1:f33], f33), B1: 4*B1 {O(n)}
(46: f23->[1:f33], f33), C1: 4*C1 {O(n)}
(46: f23->[1:f33], f33), $_199: 4*$_199 {O(n)}
(46: f23->[1:f33], f33), $_225: 4*$_225 {O(n)}
(46: f23->[1:f33], f33), $_239: 4*$_239 {O(n)}
(46: f23->[1:f33], f33), $_241: 4*$_241 {O(n)}
(46: f23->[1:f33], f33), $_253: 4*$_253 {O(n)}
(46: f23->[1:f33], f33), $_267: 4*$_267 {O(n)}
(46: f23->[1:f33], f33), $_269: 4*$_269 {O(n)}
(46: f23->[1:f33], f33), Arg_1: 0 {O(1)}
(46: f23->[1:f33], f33), Arg_2: 8*Arg_3 {O(n)}
(46: f23->[1:f33], f33), Arg_3: Arg_3 {O(n)}
(46: f23->[1:f33], f33), Arg_4: 4*Arg_3 {O(n)}
(46: f23->[1:f33], f33), Arg_5: 12+16*Arg_3+8*Arg_5 {O(n)}
(46: f23->[1:f33], f33), Arg_6: 4*(1+Arg_3) {O(n)}
(46: f23->[1:f33], f33), Arg_7: Arg_3 {O(n)}
(46: f23->[1:f33], f33), Arg_9: 13*Arg_9+9+18*Arg_3 {O(n)}
(46: f23->[1:f33], f33), Arg_13: Arg_13 {O(n)}
(46: f23->[1:f33], f33), Arg_14: Arg_14 {O(n)}
(46: f23->[1:f33], f33), Arg_15: Arg_15 {O(n)}
(46: f23->[1:f33], f33), Arg_16: Arg_16 {O(n)}
(46: f23->[1:f33], f33), Arg_17: Arg_17 {O(n)}
(46: f23->[1:f33], f33), Arg_18: Arg_18 {O(n)}
(46: f23->[1:f33], f33), Arg_19: Arg_19 {O(n)}
(46: f23->[1:f33], f33), Arg_20: Arg_20 {O(n)}
(46: f23->[1:f33], f33), Arg_21: Arg_21 {O(n)}
(46: f23->[1:f33], f33), Arg_22: Arg_22 {O(n)}
(46: f23->[1:f33], f33), Arg_23: Arg_23 {O(n)}
(46: f23->[1:f33], f33), Arg_24: Arg_24 {O(n)}
(46: f23->[1:f33], f33), Arg_25: Arg_25 {O(n)}
(46: f23->[1:f33], f33), Arg_26: Arg_26 {O(n)}
(47: f44->[1:f125], f125), Arg_2: 2*Arg_3 {O(n)}
(47: f44->[1:f125], f125), Arg_3: Arg_3 {O(n)}
(47: f44->[1:f125], f125), Arg_4: 4*Arg_3 {O(n)}
(47: f44->[1:f125], f125), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(47: f44->[1:f125], f125), Arg_6: 4*(1+Arg_3) {O(n)}
(47: f44->[1:f125], f125), Arg_7: Arg_3 {O(n)}
(47: f44->[1:f125], f125), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(47: f44->[1:f125], f125), Arg_13: Arg_13 {O(n)}
(47: f44->[1:f125], f125), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(47: f44->[1:f125], f125), Arg_15: Arg_15 {O(n)}
(47: f44->[1:f125], f125), Arg_16: max([1, Arg_16]) {O(n)}
(47: f44->[1:f125], f125), Arg_17: Arg_17 {O(n)}
(47: f44->[1:f125], f125), Arg_18: Arg_18 {O(n)}
(47: f44->[1:f125], f125), Arg_19: Arg_19 {O(n)}
(47: f44->[1:f125], f125), Arg_21: Arg_21 {O(n)}
(47: f44->[1:f125], f125), Arg_22: Arg_22 {O(n)}
(47: f44->[1:f125], f125), Arg_23: Arg_23 {O(n)}
(47: f44->[1:f125], f125), Arg_24: Arg_24 {O(n)}
(47: f44->[1:f125], f125), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(48: f33->[1:f44], f44), B1: 8*B1 {O(n)}
(48: f33->[1:f44], f44), C1: 8*C1 {O(n)}
(48: f33->[1:f44], f44), $_199: 8*$_199 {O(n)}
(48: f33->[1:f44], f44), $_225: 8*$_225 {O(n)}
(48: f33->[1:f44], f44), $_239: 8*$_239 {O(n)}
(48: f33->[1:f44], f44), $_241: 8*$_241 {O(n)}
(48: f33->[1:f44], f44), $_253: 8*$_253 {O(n)}
(48: f33->[1:f44], f44), $_267: 8*$_267 {O(n)}
(48: f33->[1:f44], f44), $_269: 8*$_269 {O(n)}
(48: f33->[1:f44], f44), Arg_1: 0 {O(1)}
(48: f33->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_4: 8*Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_5: 16*Arg_5+24+32*Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_6: 8*(1+Arg_3) {O(n)}
(48: f33->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_9: 18+27*Arg_9+36*Arg_3 {O(n)}
(48: f33->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(48: f33->[1:f44], f44), Arg_14: Arg_14 {O(n)}
(48: f33->[1:f44], f44), Arg_15: Arg_15 {O(n)}
(48: f33->[1:f44], f44), Arg_16: Arg_16 {O(n)}
(48: f33->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(48: f33->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(48: f33->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(48: f33->[1:f44], f44), Arg_20: Arg_20 {O(n)}
(48: f33->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(48: f33->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(48: f33->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(48: f33->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(48: f33->[1:f44], f44), Arg_25: Arg_25 {O(n)}
(48: f33->[1:f44], f44), Arg_26: Arg_26 {O(n)}
(49: f33->[1:f44], f44), B1: 8*B1 {O(n)}
(49: f33->[1:f44], f44), C1: 8*C1 {O(n)}
(49: f33->[1:f44], f44), $_199: 8*$_199 {O(n)}
(49: f33->[1:f44], f44), $_225: 8*$_225 {O(n)}
(49: f33->[1:f44], f44), $_239: 8*$_239 {O(n)}
(49: f33->[1:f44], f44), $_241: 8*$_241 {O(n)}
(49: f33->[1:f44], f44), $_253: 8*$_253 {O(n)}
(49: f33->[1:f44], f44), $_267: 8*$_267 {O(n)}
(49: f33->[1:f44], f44), $_269: 8*$_269 {O(n)}
(49: f33->[1:f44], f44), Arg_1: 0 {O(1)}
(49: f33->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_4: 8*Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_5: 16*Arg_5+24+32*Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_6: 8*(1+Arg_3) {O(n)}
(49: f33->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_9: 18+27*Arg_9+36*Arg_3 {O(n)}
(49: f33->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(49: f33->[1:f44], f44), Arg_14: Arg_14 {O(n)}
(49: f33->[1:f44], f44), Arg_15: Arg_15 {O(n)}
(49: f33->[1:f44], f44), Arg_16: Arg_16 {O(n)}
(49: f33->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(49: f33->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(49: f33->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(49: f33->[1:f44], f44), Arg_20: Arg_20 {O(n)}
(49: f33->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(49: f33->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(49: f33->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(49: f33->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(49: f33->[1:f44], f44), Arg_25: Arg_25 {O(n)}
(49: f33->[1:f44], f44), Arg_26: Arg_26 {O(n)}
(50: f46->[1:f54], f54), Arg_2: 4*Arg_3 {O(n)}
(50: f46->[1:f54], f54), Arg_3: Arg_3 {O(n)}
(50: f46->[1:f54], f54), Arg_4: 8*Arg_3 {O(n)}
(50: f46->[1:f54], f54), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(50: f46->[1:f54], f54), Arg_6: 8*(1+Arg_3) {O(n)}
(50: f46->[1:f54], f54), Arg_7: Arg_3 {O(n)}
(50: f46->[1:f54], f54), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(50: f46->[1:f54], f54), Arg_13: Arg_13 {O(n)}
(50: f46->[1:f54], f54), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(50: f46->[1:f54], f54), Arg_15: 0 {O(1)}
(50: f46->[1:f54], f54), Arg_16: min([1, Arg_16]) {O(n)}
(50: f46->[1:f54], f54), Arg_17: Arg_17 {O(n)}
(50: f46->[1:f54], f54), Arg_18: Arg_18 {O(n)}
(50: f46->[1:f54], f54), Arg_19: Arg_19 {O(n)}
(50: f46->[1:f54], f54), Arg_21: Arg_21 {O(n)}
(50: f46->[1:f54], f54), Arg_22: Arg_22 {O(n)}
(50: f46->[1:f54], f54), Arg_23: Arg_23 {O(n)}
(50: f46->[1:f54], f54), Arg_24: Arg_24 {O(n)}
(50: f46->[1:f54], f54), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(51: f46->[1:f54], f54), Arg_2: 4*Arg_3 {O(n)}
(51: f46->[1:f54], f54), Arg_3: Arg_3 {O(n)}
(51: f46->[1:f54], f54), Arg_4: 8*Arg_3 {O(n)}
(51: f46->[1:f54], f54), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(51: f46->[1:f54], f54), Arg_6: 8*(1+Arg_3) {O(n)}
(51: f46->[1:f54], f54), Arg_7: Arg_3 {O(n)}
(51: f46->[1:f54], f54), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(51: f46->[1:f54], f54), Arg_13: Arg_13 {O(n)}
(51: f46->[1:f54], f54), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(51: f46->[1:f54], f54), Arg_15: Arg_15 {O(n)}
(51: f46->[1:f54], f54), Arg_16: min([1, Arg_16]) {O(n)}
(51: f46->[1:f54], f54), Arg_17: Arg_17 {O(n)}
(51: f46->[1:f54], f54), Arg_18: Arg_18 {O(n)}
(51: f46->[1:f54], f54), Arg_19: Arg_19 {O(n)}
(51: f46->[1:f54], f54), Arg_21: Arg_21 {O(n)}
(51: f46->[1:f54], f54), Arg_22: Arg_22 {O(n)}
(51: f46->[1:f54], f54), Arg_23: Arg_23 {O(n)}
(51: f46->[1:f54], f54), Arg_24: Arg_24 {O(n)}
(51: f46->[1:f54], f54), Arg_26: max([2*Arg_3, Arg_26]) {O(n)}
(52: f46->[1:f60], f60), Arg_2: 2*Arg_3 {O(n)}
(52: f46->[1:f60], f60), Arg_3: Arg_3 {O(n)}
(52: f46->[1:f60], f60), Arg_4: 4*Arg_3 {O(n)}
(52: f46->[1:f60], f60), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(52: f46->[1:f60], f60), Arg_6: 4*(1+Arg_3) {O(n)}
(52: f46->[1:f60], f60), Arg_7: Arg_3 {O(n)}
(52: f46->[1:f60], f60), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(52: f46->[1:f60], f60), Arg_13: Arg_13 {O(n)}
(52: f46->[1:f60], f60), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(52: f46->[1:f60], f60), Arg_15: Arg_15 {O(n)}
(52: f46->[1:f60], f60), Arg_16: max([1, Arg_16]) {O(n)}
(52: f46->[1:f60], f60), Arg_17: Arg_17 {O(n)}
(52: f46->[1:f60], f60), Arg_18: Arg_18 {O(n)}
(52: f46->[1:f60], f60), Arg_19: Arg_19 {O(n)}
(52: f46->[1:f60], f60), Arg_21: Arg_21 {O(n)}
(52: f46->[1:f60], f60), Arg_22: Arg_22 {O(n)}
(52: f46->[1:f60], f60), Arg_23: Arg_23 {O(n)}
(52: f46->[1:f60], f60), Arg_24: Arg_24 {O(n)}
(52: f46->[1:f60], f60), Arg_26: min([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]) {O(n)}
(53: f46->[1:f60], f60), Arg_2: 2*Arg_3 {O(n)}
(53: f46->[1:f60], f60), Arg_3: Arg_3 {O(n)}
(53: f46->[1:f60], f60), Arg_4: 4*Arg_3 {O(n)}
(53: f46->[1:f60], f60), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(53: f46->[1:f60], f60), Arg_6: 4*(1+Arg_3) {O(n)}
(53: f46->[1:f60], f60), Arg_7: Arg_3 {O(n)}
(53: f46->[1:f60], f60), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(53: f46->[1:f60], f60), Arg_13: Arg_13 {O(n)}
(53: f46->[1:f60], f60), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(53: f46->[1:f60], f60), Arg_15: Arg_15 {O(n)}
(53: f46->[1:f60], f60), Arg_16: max([1, Arg_16]) {O(n)}
(53: f46->[1:f60], f60), Arg_17: Arg_17 {O(n)}
(53: f46->[1:f60], f60), Arg_18: Arg_18 {O(n)}
(53: f46->[1:f60], f60), Arg_19: Arg_19 {O(n)}
(53: f46->[1:f60], f60), Arg_21: Arg_21 {O(n)}
(53: f46->[1:f60], f60), Arg_22: Arg_22 {O(n)}
(53: f46->[1:f60], f60), Arg_23: Arg_23 {O(n)}
(53: f46->[1:f60], f60), Arg_24: Arg_24 {O(n)}
(53: f46->[1:f60], f60), Arg_26: min([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]) {O(n)}
(54: f46->[1:f87], f87), Arg_2: 2*Arg_3 {O(n)}
(54: f46->[1:f87], f87), Arg_3: Arg_3 {O(n)}
(54: f46->[1:f87], f87), Arg_4: 4*Arg_3 {O(n)}
(54: f46->[1:f87], f87), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(54: f46->[1:f87], f87), Arg_6: 4*(1+Arg_3) {O(n)}
(54: f46->[1:f87], f87), Arg_7: Arg_3 {O(n)}
(54: f46->[1:f87], f87), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(54: f46->[1:f87], f87), Arg_13: Arg_13 {O(n)}
(54: f46->[1:f87], f87), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(54: f46->[1:f87], f87), Arg_15: Arg_15 {O(n)}
(54: f46->[1:f87], f87), Arg_16: max([1, Arg_16]) {O(n)}
(54: f46->[1:f87], f87), Arg_17: Arg_17 {O(n)}
(54: f46->[1:f87], f87), Arg_18: Arg_18 {O(n)}
(54: f46->[1:f87], f87), Arg_19: Arg_19 {O(n)}
(54: f46->[1:f87], f87), Arg_21: Arg_21 {O(n)}
(54: f46->[1:f87], f87), Arg_22: Arg_22 {O(n)}
(54: f46->[1:f87], f87), Arg_23: Arg_23 {O(n)}
(54: f46->[1:f87], f87), Arg_24: Arg_24 {O(n)}
(54: f46->[1:f87], f87), Arg_25: 0 {O(1)}
(54: f46->[1:f87], f87), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(55: f46->[1:f87], f87), Arg_2: 2*Arg_3 {O(n)}
(55: f46->[1:f87], f87), Arg_3: Arg_3 {O(n)}
(55: f46->[1:f87], f87), Arg_4: 4*Arg_3 {O(n)}
(55: f46->[1:f87], f87), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(55: f46->[1:f87], f87), Arg_6: 4*(1+Arg_3) {O(n)}
(55: f46->[1:f87], f87), Arg_7: Arg_3 {O(n)}
(55: f46->[1:f87], f87), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(55: f46->[1:f87], f87), Arg_13: Arg_13 {O(n)}
(55: f46->[1:f87], f87), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(55: f46->[1:f87], f87), Arg_15: Arg_15 {O(n)}
(55: f46->[1:f87], f87), Arg_16: max([1, Arg_16]) {O(n)}
(55: f46->[1:f87], f87), Arg_17: Arg_17 {O(n)}
(55: f46->[1:f87], f87), Arg_18: Arg_18 {O(n)}
(55: f46->[1:f87], f87), Arg_19: Arg_19 {O(n)}
(55: f46->[1:f87], f87), Arg_21: Arg_21 {O(n)}
(55: f46->[1:f87], f87), Arg_22: Arg_22 {O(n)}
(55: f46->[1:f87], f87), Arg_23: Arg_23 {O(n)}
(55: f46->[1:f87], f87), Arg_24: Arg_24 {O(n)}
(55: f46->[1:f87], f87), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(56: f46->[1:f87], f87), Arg_2: 2*Arg_3 {O(n)}
(56: f46->[1:f87], f87), Arg_3: Arg_3 {O(n)}
(56: f46->[1:f87], f87), Arg_4: 4*Arg_3 {O(n)}
(56: f46->[1:f87], f87), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(56: f46->[1:f87], f87), Arg_6: 4*(1+Arg_3) {O(n)}
(56: f46->[1:f87], f87), Arg_7: Arg_3 {O(n)}
(56: f46->[1:f87], f87), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(56: f46->[1:f87], f87), Arg_13: Arg_13 {O(n)}
(56: f46->[1:f87], f87), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(56: f46->[1:f87], f87), Arg_15: Arg_15 {O(n)}
(56: f46->[1:f87], f87), Arg_16: max([1, Arg_16]) {O(n)}
(56: f46->[1:f87], f87), Arg_17: Arg_17 {O(n)}
(56: f46->[1:f87], f87), Arg_18: Arg_18 {O(n)}
(56: f46->[1:f87], f87), Arg_19: Arg_19 {O(n)}
(56: f46->[1:f87], f87), Arg_21: Arg_21 {O(n)}
(56: f46->[1:f87], f87), Arg_22: Arg_22 {O(n)}
(56: f46->[1:f87], f87), Arg_23: Arg_23 {O(n)}
(56: f46->[1:f87], f87), Arg_24: Arg_24 {O(n)}
(56: f46->[1:f87], f87), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(57: f87->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(57: f87->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(57: f87->[1:f44], f44), Arg_4: 4*Arg_3 {O(n)}
(57: f87->[1:f44], f44), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(57: f87->[1:f44], f44), Arg_6: 4*(1+Arg_3) {O(n)}
(57: f87->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(57: f87->[1:f44], f44), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(57: f87->[1:f44], f44), Arg_11: 0 {O(1)}
(57: f87->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(57: f87->[1:f44], f44), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(57: f87->[1:f44], f44), Arg_15: Arg_15 {O(n)}
(57: f87->[1:f44], f44), Arg_16: max([1, Arg_16]) {O(n)}
(57: f87->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(57: f87->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(57: f87->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(57: f87->[1:f44], f44), Arg_20: 0 {O(1)}
(57: f87->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(57: f87->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(57: f87->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(57: f87->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(57: f87->[1:f44], f44), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(58: f87->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(58: f87->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(58: f87->[1:f44], f44), Arg_4: 4*Arg_3 {O(n)}
(58: f87->[1:f44], f44), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(58: f87->[1:f44], f44), Arg_6: 4*(1+Arg_3) {O(n)}
(58: f87->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(58: f87->[1:f44], f44), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(58: f87->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(58: f87->[1:f44], f44), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(58: f87->[1:f44], f44), Arg_15: Arg_15 {O(n)}
(58: f87->[1:f44], f44), Arg_16: max([1, Arg_16]) {O(n)}
(58: f87->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(58: f87->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(58: f87->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(58: f87->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(58: f87->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(58: f87->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(58: f87->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(58: f87->[1:f44], f44), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}
(59: f87->[1:f44], f44), Arg_2: 2*Arg_3 {O(n)}
(59: f87->[1:f44], f44), Arg_3: Arg_3 {O(n)}
(59: f87->[1:f44], f44), Arg_4: 4*Arg_3 {O(n)}
(59: f87->[1:f44], f44), Arg_5: max([4*(1+Arg_3), 4*Arg_3]) {O(n)}
(59: f87->[1:f44], f44), Arg_6: 4*(1+Arg_3) {O(n)}
(59: f87->[1:f44], f44), Arg_7: Arg_3 {O(n)}
(59: f87->[1:f44], f44), Arg_9: 2*Arg_9+3*(1+Arg_9+2*Arg_3)+6*(6*Arg_3+Arg_9) {O(n)}
(59: f87->[1:f44], f44), Arg_13: Arg_13 {O(n)}
(59: f87->[1:f44], f44), Arg_14: 9*(1+Arg_13+Arg_14)+Arg_14 {O(n)}
(59: f87->[1:f44], f44), Arg_15: Arg_15 {O(n)}
(59: f87->[1:f44], f44), Arg_16: max([1, Arg_16]) {O(n)}
(59: f87->[1:f44], f44), Arg_17: Arg_17 {O(n)}
(59: f87->[1:f44], f44), Arg_18: Arg_18 {O(n)}
(59: f87->[1:f44], f44), Arg_19: Arg_19 {O(n)}
(59: f87->[1:f44], f44), Arg_21: Arg_21 {O(n)}
(59: f87->[1:f44], f44), Arg_22: Arg_22 {O(n)}
(59: f87->[1:f44], f44), Arg_23: Arg_23 {O(n)}
(59: f87->[1:f44], f44), Arg_24: Arg_24 {O(n)}
(59: f87->[1:f44], f44), Arg_26: max([max([2*Arg_3+max([1, Arg_16]), 2*Arg_3+min([1, Arg_16])]), Arg_26]) {O(n)}