Datum
6033e52cc39f41…bc23992e8c
6033e52cc39f415d5d3b5ccbdc5a1c57ae42a9443cd459ebebe2aebc23992e8c
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#3631d7ae0c24512bc5dfc7c299cd81c00b620a2dd5517d221581dec0
1
Constr 0
0
Constr 0
0
Constr 0
0
#1a2262c64d9122b5b2aaf4846462dbfc51a5bfba09b2056c7e2b3af3
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
2606441072
6
Constr 1 []
7
2393314