Datum
2fc5153d63852f…9bc1c18ee3
2fc5153d63852fa6ef04cfb258eca1e51e82a68ecc281ed2af3b449bc1c18ee3
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#16d36e4e351afcc78942b8a3e1ae936160aae6103141ab60cfbad105
1
Constr 0
0
Constr 0
0
Constr 0
0
#1506031c1a53022aaec6a7fb3658eb710ecaf348d208a08f1ca8eafd
1
Constr 0
0
Constr 0
0
#16d36e4e351afcc78942b8a3e1ae936160aae6103141ab60cfbad105
1
Constr 0
0
Constr 0
0
Constr 0
0
#1506031c1a53022aaec6a7fb3658eb710ecaf348d208a08f1ca8eafd
2
Constr 1 []
3
Constr 2
0
1
4
1998506
5
2000000