Datum
f128cf9d7c8f86…84200ade25
f128cf9d7c8f868e9edb8eda7cc7e596174068e22eba91360b7e8f84200ade25
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#fec51bf6a9ede89ee656ff173df23bd8692373c1760967d115a12bd1
1
Constr 0
0
Constr 0
0
Constr 0
0
#967f89edb8109c2e63fec0553fa5a8b5d0450a143fa72c623a341ade
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
5000000000
6
Constr 1 []
7
2650000