Datum
74be52ceca65b9…901ded77cc
74be52ceca65b90afdbbf0332730e90007862b7eef2f65d789fdfd901ded77cc
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#cb07fef02adf81a4bb0ee3ec992f392a4ecd92774619a97be8f086b9
1
Constr 0
0
Constr 0
0
Constr 0
0
#d88fe2d8181d8e4cdf886be3ea3c572ebea4c2510f58a83ce5fb29fe
1
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
2
#4f5054"OPT"
3
#""
4
#""
5
2816901408
6
Constr 1 []
7
2650000