Datum

8d64c56057bce5…8777bddc42

8d64c56057bce59ef2afb05bee54ae773f5f4fa2bf4c7d29afbbfb8777bddc42

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ef8be1bc2cda4cc20ad2d43f135f438d724aa935bc84c61c8e5a8870

1

Constr 0

0

Constr 0

0

Constr 0

0

#fad523f4ec41f20c79fa20bd0181ec6b0580abfc8b5071c6480a1718

1

Constr 0

0

Constr 0

0

#ef8be1bc2cda4cc20ad2d43f135f438d724aa935bc84c61c8e5a8870

1

Constr 0

0

Constr 0

0

Constr 0

0

#fad523f4ec41f20c79fa20bd0181ec6b0580abfc8b5071c6480a1718

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

341835013

4

2000000

5

2000000