Datum
5576bcc298b552…256eba3568
5576bcc298b5524d43dc3cebb91b1cfe371e32f65ebd2b3798fae8256eba3568
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2fbf59b3ed715636dc19d7cd290633449feeaf4e4dc50a6da87a5b63
1
Constr 0
0
Constr 0
0
Constr 0
0
#aa5dbe448038f72bb5130740e077502d13cdddcf88507e9376308371
1
Constr 0
0
Constr 0
0
#2fbf59b3ed715636dc19d7cd290633449feeaf4e4dc50a6da87a5b63
1
Constr 0
0
Constr 0
0
Constr 0
0
#aa5dbe448038f72bb5130740e077502d13cdddcf88507e9376308371
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
1
#4f5054"OPT"
1
289374202
4
1994211
5
2000000