Datum
b14d8d9e8ec158…32bcea5771
b14d8d9e8ec158d5c9f64479cccfdd06604a37840cb005e04384ba32bcea5771
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2c3abb63aacf1ba0317868ff1a465d3550600e8b78d43ea43e0c39ea
1
Constr 0
0
Constr 0
0
Constr 0
0
#33d7eaad072685458112ea381228018b653c0a653f31187cd4ab0401
1
Constr 0
0
Constr 0
0
#2c3abb63aacf1ba0317868ff1a465d3550600e8b78d43ea43e0c39ea
1
Constr 0
0
Constr 0
0
Constr 0
0
#33d7eaad072685458112ea381228018b653c0a653f31187cd4ab0401
2
Constr 1 []
3
Constr 2
0
1
4
1971882
5
2000000