Datum
b82ccb29d13b8a…ab09092b35
b82ccb29d13b8a261f104a5b5fae97cf8bb3907186fe8d85d68342ab09092b35
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#c53b533d77fbf92e26cb809e99db8093f1fd4372727c270e728b7b70
1
Constr 0
0
Constr 0
0
Constr 0
0
#e667bb5f5e10e18f524d07ab535afdda1aa8e9f0364ad7f6e983e246
1
Constr 0
0
Constr 0
0
#c53b533d77fbf92e26cb809e99db8093f1fd4372727c270e728b7b70
1
Constr 0
0
Constr 0
0
Constr 0
0
#e667bb5f5e10e18f524d07ab535afdda1aa8e9f0364ad7f6e983e246
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
1
#4f5054"OPT"
1
385836841
4
2000000
5
2000000