Datum
99dd587cc8906c…efa46f2ebe
99dd587cc8906cf0b69b63a9cb770260281fd7f43a77e58b0e91aeefa46f2ebe
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#85e9d73977b1a2cb3dacf4a74daa45f7b0ec150e803726164a902050
1
Constr 0
0
Constr 0
0
Constr 0
0
#e8f261f3f6aec0fa5610056380e849c2154e8ea6c9bcf9f3be2344ef
1
Constr 0
0
Constr 0
0
#85e9d73977b1a2cb3dacf4a74daa45f7b0ec150e803726164a902050
1
Constr 0
0
Constr 0
0
Constr 0
0
#e8f261f3f6aec0fa5610056380e849c2154e8ea6c9bcf9f3be2344ef
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#1ddcb9c9de95361565392c5bdff64767492d61a96166cb16094e54be
1
#4f5054"OPT"
1
11193183
4
1994369
5
2000000