Datum

a070efc73ed7f5…5b03dd36dc

a070efc73ed7f5da13fa69d2be0ffe448d19a1cfb163b19c4c33ad5b03dd36dc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f35664b7bf41b1af531eadae68c176ae73c3f8a67c8a8f540a01e950

1

Constr 0

0

Constr 0

0

Constr 0

0

#c10de5e2125512e5bfc8e586910eca3230ce57ea05f50a3a6b4420a4

1

Constr 0

0

Constr 0

0

#f35664b7bf41b1af531eadae68c176ae73c3f8a67c8a8f540a01e950

1

Constr 0

0

Constr 0

0

Constr 0

0

#c10de5e2125512e5bfc8e586910eca3230ce57ea05f50a3a6b4420a4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5598282

4

1984203

5

2000000