Datum
b7844cf3e60aa5…4be6b4cb28
b7844cf3e60aa5da18b4719420972425faaf824fe72c2028effe514be6b4cb28
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#1c2197f81fececb03b233bc3ca8fc73bf06293de09d549a6ce722e6b
1
Constr 0
0
Constr 0
0
Constr 0
0
#2478a10115d4af0efa4480fd758d927f53566a38c0a2987238ec933f
1
Constr 0
0
Constr 0
0
#1c2197f81fececb03b233bc3ca8fc73bf06293de09d549a6ce722e6b
1
Constr 0
0
Constr 0
0
Constr 0
0
#2478a10115d4af0efa4480fd758d927f53566a38c0a2987238ec933f
2
Constr 1 []
3
Constr 2
0
1
4
2000000
5
2000000