Datum
d522d5f54ca323…9fedcbebcf
d522d5f54ca32369286a0a2fd2e126ec720c66ce16d87ee36c3d259fedcbebcf
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#5a6aefb7783150cbfb07693a20576750e02479d041bae1b13380009b
1
Constr 0
0
Constr 0
0
Constr 0
0
#cc48921477173f13790dba23a3b6e68a8bf14ba390777e1111c50b37
1
Constr 0
0
Constr 0
0
#5a6aefb7783150cbfb07693a20576750e02479d041bae1b13380009b
1
Constr 0
0
Constr 0
0
Constr 0
0
#cc48921477173f13790dba23a3b6e68a8bf14ba390777e1111c50b37
2
Constr 1 []
3
Constr 2
0
1
4
2000000
5
2000000