diff --git a/src/typinferenz/FunNInterface.java b/src/typinferenz/FunNInterface.java
index 269f9aa10..3b8f2a560 100644
--- a/src/typinferenz/FunNInterface.java
+++ b/src/typinferenz/FunNInterface.java
@@ -1,13 +1,18 @@
 package typinferenz;
 
+import java.util.Vector;
+
+import mycompiler.mytype.*;
 import mycompiler.myclass.Class;
+import mycompiler.mytype.TypePlaceholder;
 
 
 public class FunNInterface extends Class{
 //TODO: Diese Klasse sollte eigentlich von Interface erben
 	
-	public FunNInterface(int parameterCount) {
-		super("Fun"+parameterCount);
+	public FunNInterface(Vector<Type> parameter) {
+		super("Fun"+parameter.size());
+		this.set_ParaList(parameter);
 	}
 	
 }
diff --git a/src/typinferenz/Overloading.java b/src/typinferenz/Overloading.java
index 3eceb2dfe..bcfd04b10 100755
--- a/src/typinferenz/Overloading.java
+++ b/src/typinferenz/Overloading.java
@@ -4,6 +4,7 @@ import java.util.Vector;
 
 import typinferenz.assumptions.MethodAssumption;
 import typinferenz.assumptions.TypeAssumptions;
+import mycompiler.mystatement.Expr;
 import mycompiler.mystatement.MethodCall;
 import mycompiler.mytype.RefType;
 import mycompiler.mytype.Type;
@@ -55,7 +56,11 @@ public class Overloading{
 	 */
 	public OderConstraint generateConsstraints(){
 		OderConstraint ret = new OderConstraint();
-		for(MethodAssumption methodAssumption : assumptions.getMethodAssumptions(methodCall.getName(), methodCall.getArgumentList().size())){
+		Vector<Type> parameterList = new Vector<Type>();
+		for(Expr argument : methodCall.getArgumentList().expr){
+			parameterList.add(argument.getType());
+		}
+		for(MethodAssumption methodAssumption : assumptions.getMethodAssumptions(methodCall.getName(), parameterList)){
 			if(!(this.type instanceof TypePlaceholder) && !this.type.equals(methodAssumption.getAssumedType()))break;
 			UndConstraint methodConstraint = new UndConstraint();
 			//Ein Constraint für den ReturnType der Methode...
diff --git a/src/typinferenz/assumptions/TypeAssumptions.java b/src/typinferenz/assumptions/TypeAssumptions.java
index 34c36673b..4b00afae2 100755
--- a/src/typinferenz/assumptions/TypeAssumptions.java
+++ b/src/typinferenz/assumptions/TypeAssumptions.java
@@ -134,10 +134,11 @@ public class TypeAssumptions {
 	/**
 	 * Sucht nach Assumptions zu einer Methode mit dem Namen methodName und parameterCount Parametern.
 	 * @param methodName
-	 * @param parameterCount Anzahl der Parameter der gesuchten Methoden-Assumption
-	 * @return
+	 * @param parameter Die Parameter, welche die Methode verarbeiten soll
+	 * @return Alle Methoden in den Assumptions, welche eine Parameterliste der Länge der übergebenen Parameterliste (parameter) verarbeiten können.
 	 */
-	public Vector<MethodAssumption> getMethodAssumptions(String methodName, int parameterCount){
+	public Vector<MethodAssumption> getMethodAssumptions(String methodName, Vector<Type> parameter){
+		int parameterCount = parameter.size();
 		Vector<MethodAssumption> ret = new  Vector<MethodAssumption>();
 		for(MethodAssumption ass : this.methodAssumptions){
 			if(ass.getMethodName().equals(methodName) && ass.getParaCount() == parameterCount){
@@ -148,7 +149,7 @@ public class TypeAssumptions {
 		//Falls es sich um die apply-Methode eines FunN-Interface handelt:
 		if(methodName.equals("apply")){ //Ein Workaround für den Typinferenzalgorithmus TODO: Das hier rausnehmen.
 			//CMethodTypeAssumption funNAssumption = new FunN(parameterCount).toCMethodTypeAssumption();
-			MethodAssumption funNAssumption = new MethodAssumption(new FunNMethod(parameterCount), new FunNInterface(parameterCount));
+			MethodAssumption funNAssumption = new MethodAssumption(new FunNMethod(parameterCount), new FunNInterface(parameter));
 			ret.add(funNAssumption);
 		}
 		if(ret.size()==0)throw new TypinferenzException("Eine Methode "+methodName+" ist in den Assumptions nicht vorhanden");
diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log
index f0067523e..4ff499a22 100644
--- a/test/mycompiler/test/lambda/testResults/LambdaTest.log
+++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log
@@ -1,7 +1,7 @@
 Class           DEBUG [Typeinference] Erstellte Assumptions: this: MatrixMethod Assumptions:
 []
 FieldVar Assumptions:
-[typinferenz.assumptions.FieldAssumption@45eb96fc, typinferenz.assumptions.FieldAssumption@6e059e40, typinferenz.assumptions.FieldAssumption@45eb96fc, typinferenz.assumptions.FieldAssumption@6e059e40]
+[typinferenz.assumptions.FieldAssumption@2c8df9a0, typinferenz.assumptions.FieldAssumption@1cff8e3a, typinferenz.assumptions.FieldAssumption@2c8df9a0, typinferenz.assumptions.FieldAssumption@1cff8e3a]
 LocalVar Assumptions:
 []
 Parameter Assumptions:
@@ -9,3 +9,1096 @@ Parameter Assumptions:
 
 Block           DEBUG [Typeinference] Prozessing statement: null Return null (( [  f, ]) -> null { [null Return null (f.apply( [ null (this(null)), m, ]))])
 Block           DEBUG [Typeinference] Prozessing statement: null Return null (f.apply( [ null (this(null)), m, ]))
+Block           DEBUG [Typeinference] Prozessing statement: TPH K Return TPH G (f: TPH E.apply( [ Matrix (this(null)), m: TPH C, ]))
+Block           DEBUG [Typeinference] Prozessing statement: TPH L Return TPH F (( [ TPH E f, ]) -> TPH K { [TPH K Return TPH G (f: TPH E.apply( [ Matrix (this(null)), m: TPH C, ]))])
+Class           DEBUG [Typeinference] Erstellte Constraints: TPH A < TPH A
+[[(TPH H <. TPH G), (Matrix <. TPH I), (TPH C <. TPH J), (TPH E <. Fun2< Matrix, TPH C >), ]| ]
+TPH G < TPH K
+Fun1< TPH K, TPH E > < TPH F
+TPH F < TPH L
+Fun1< TPH L, TPH C > < TPH D
+TPH D < TPH A
+
+SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH A <. TPH A), (TPH H <. TPH G), (Matrix <. TPH I), (TPH C <. TPH J), (TPH E <. Fun2< Matrix, TPH C >), (TPH G <. TPH K), (Fun1< TPH K, TPH E > <. TPH F), (TPH F <. TPH L), (Fun1< TPH L, TPH C > <. TPH D), (TPH D <. TPH A)]]
+SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]]
+SourceFile      DEBUG [Typeinference] 
+JavaFiles:
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+
+SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+{
+Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
+return (Fun2<Matrix, C> f) -> {
+return f.apply(this, m);;
+};
+};
+Matrix Matrix()
+{
+}
+}
+