Datum
a42fcec8dd52ef…c5cad768ae
a42fcec8dd52efdb5e72dec66201f88172f000b19ccfe173d50faec5cad768ae
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#80456245abff96c793c9d756d6f561b4636b739010be24895463ccc2
1
Constr 0
0
Constr 0
0
Constr 0
0
#87e23e56404dde786317527573636416ade730fff7eef04fe1091e8f
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
34403072
6
Constr 1 []
7
2650000