Datum
7600c29588e22c…0618ff3fde
7600c29588e22c5bd4fcf734152873bc9ac16edcd3da24b4fc62c90618ff3fde
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#e5d67fd922fd3bbefd90cac6258b1a524311b50909409ddf7ee0c91a
1
Constr 0
0
Constr 0
0
Constr 0
0
#2b6a260669fe5e5f1969f990438b99a046dcb896251f67b2bb08aafa
1
#""
2
#""
3
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
4
#4f5054"OPT"
5
3720536600
6
Constr 1 []
7
2407038