Datum

dd44ef731f59da…c6aad06ce7

dd44ef731f59da4ae27db1da749e09f2d7d41d443305f03939741bc6aad06ce7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ae03cda5bebb728690d5c27d0c415ed09524f035e2d79f2c3a9f5ecb

1

Constr 0

0

Constr 0

0

Constr 0

0

#a63ae1a512820103ae755d6b7e54dca1766fceaedf1e8729b7a0e007

1

Constr 0

0

Constr 0

0

#ae03cda5bebb728690d5c27d0c415ed09524f035e2d79f2c3a9f5ecb

1

Constr 0

0

Constr 0

0

Constr 0

0

#a63ae1a512820103ae755d6b7e54dca1766fceaedf1e8729b7a0e007

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

456810256

4

2000000

5

2000000