Datum

08f255aa956ee3…4eec6d462b

08f255aa956ee3c35aa9681d1fdcbc947f5eea9f9f830b8a75b3d84eec6d462b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f940339366722b5f6abbd14ed1ea4da28399a28a6a0c34a9f9552bd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#dedb6328a9a2f48eec9acf6852dc63d60dfcd76889471e9ed046b85d

1

Constr 0

0

Constr 0

0

#f940339366722b5f6abbd14ed1ea4da28399a28a6a0c34a9f9552bd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#dedb6328a9a2f48eec9acf6852dc63d60dfcd76889471e9ed046b85d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

299740264

4

2000000

5

2000000