Datum
93890bd8709b3a…800dcf07fa
93890bd8709b3a3c1755a6fdc44f8264ab5edb2eeadd884d64edeb800dcf07fa
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#42cf9a70f76c39a9d7a04d331ab3b6ccb48490cb7a50650cf4693f46
1
Constr 0
0
Constr 0
0
Constr 0
0
#196d9fb5061b3a658eae958c155405014b1a01c60744c57241e0a374
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
1338174011
6
Constr 1 []
7
4096847