Datum

72b7e129a84c48…04399318dc

72b7e129a84c488cc20f3dc8ec3b277ff34904176f7610d4e0b95804399318dc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#655bdeba3e744b05f9099ee4c852e9b8c5ac468280e06a8cbbbe89ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fa2dee72f0ac68e7f5b61ef2f423ac36b695a484846ada3f9d33796

1

Constr 0

0

Constr 0

0

#655bdeba3e744b05f9099ee4c852e9b8c5ac468280e06a8cbbbe89ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fa2dee72f0ac68e7f5b61ef2f423ac36b695a484846ada3f9d33796

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

1068303

4

2000000

5

2000000