Datum
814cd6a4191f7e…321dd79947
814cd6a4191f7e015d9bb2ef79ffd195d4cc786d2b10dcf7234e45321dd79947
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#4baa570c38817ee808ae29a77bb6d9eff69977a1424a1f99bf1795e1
1
Constr 0
0
Constr 0
0
Constr 0
0
#678f87ff6388fd4193e947903106d5ba70fa56dcaf21740b9fc3993e
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
146771272
6
Constr 1 []
7
2401474