Datum

c9dee7faffd663…7263b071ce

c9dee7faffd663264f60da52d018e7e45eae9dd07e714c25371a777263b071ce

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2f878aa7efba9761f192337939fea228e20eb3a2cedb5a7eccbe9b57

1

Constr 0

0

Constr 0

0

Constr 0

0

#b8b934ceec64ed463120a115d30fb871b12c3575c6b6e7e37b57c7ee

1

Constr 0

0

Constr 0

0

#2f878aa7efba9761f192337939fea228e20eb3a2cedb5a7eccbe9b57

1

Constr 0

0

Constr 0

0

Constr 0

0

#b8b934ceec64ed463120a115d30fb871b12c3575c6b6e7e37b57c7ee

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

357634195

4

2000000

5

2000000