\(var30 : Type) -> \(var31 : Type) -> \(var60 : Type) -> \(var61 : Type) -> \(var62 : Type) -> \(var63 : Type) -> \(var94 : Type) -> \(var95 : Type) -> \(var96 : Type) -> \(var97 : Type) -> \(var98 : Type) -> \(var99 : Type) -> \(var122 : Type) -> \(var123 : Type) -> \(var124 : Type) -> \(var125 : Type) -> \(var126 : Type) -> \(var127 : Type) -> \(var128 : Type) -> \(var129 : Type) -> List (./properties/steps/Type var30 var31 var60 var61 var62 var63 var94 var95 var96 var97 var98 var99 var122 var123 var124 var125 var126 var127 var128 var129)