# 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

### 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)}