Datum
a128c3ad59385b…ede6e503e1
a128c3ad59385b91b6dfd981070d9fca4a652082bcd3c9204fad5cede6e503e1
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#85084aa08765112ae992aeddb5890e6a84cdd47588879f0e4f451bbd
1
Constr 0
0
Constr 0
0
Constr 0
0
#a0f447a7454f2ad9e0c6a28f97f26c1a9209fc11ca49c2f01e328c37
1
#""
2
#""
3
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
4
#4f5054"OPT"
5
3029720644
6
Constr 1 []
7
2620126