Datum

80ec9d358e6d69…3075abe205

80ec9d358e6d692ae678145b462d6fa3f31fda44a6db4d4dff3d6a3075abe205

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#88dfda47456ce548344a152a8cdeb3574d1472286f93bff703249510

1

Constr 0

0

Constr 0

0

Constr 0

0

#8ca66a4f5ea753e0afdc8f4e3251ea26305fec6d6ac7a28f68f0259c

1

Constr 0

0

Constr 0

0

#88dfda47456ce548344a152a8cdeb3574d1472286f93bff703249510

1

Constr 0

0

Constr 0

0

Constr 0

0

#8ca66a4f5ea753e0afdc8f4e3251ea26305fec6d6ac7a28f68f0259c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

407420973

4

2000000

5

2000000