Datum
f5512052d22ab5…2c8c820ded
f5512052d22ab5866ef2962db54064be6c102d4715603b8e68dfac2c8c820ded
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#c17dbaa7a79873a96f3f29fdccb6b08fef90f5342b23c37058febb68
1
Constr 0
0
Constr 0
0
Constr 0
0
#332eb3b3bd73f7330bf219271a291a8ffd35efd1a43d533c010648b9
1
Constr 0
0
Constr 0
0
#c17dbaa7a79873a96f3f29fdccb6b08fef90f5342b23c37058febb68
1
Constr 0
0
Constr 0
0
Constr 0
0
#332eb3b3bd73f7330bf219271a291a8ffd35efd1a43d533c010648b9
2
Constr 1 []
3
Constr 2
0
1
4
2000000
5
2000000