Datum
20d56ded1a11ec…704161b5bf
20d56ded1a11ec531e4c83439008b15661f7ceb0e5f2f52e5cbc6f704161b5bf
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#c972824a7156a487f3bcba0ddecc14beca0f12f4fca12217c5717eb2
1
Constr 0
0
Constr 0
0
Constr 0
0
#6a9d3d12832e725f8e8949729c8fcd4e1436076e670f702f6273806d
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
132051860
6
Constr 1 []
7
1735151