Datum

83ae3f9cca3fb8…59f30e544f

83ae3f9cca3fb81f8923f72ff963d3b355fc5fe8eb2db98c7e18b159f30e544f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7d2cd9597ac6dfcca5f052a18d3b30f9fc4c2132c30d5e5c68e35f49

1

Constr 0

0

Constr 0

0

Constr 0

0

#8c19edb6f5f7e98e18173ec1ffbf2cc7ef347c0dec180424d13dcacf

1

Constr 0

0

Constr 0

0

#7d2cd9597ac6dfcca5f052a18d3b30f9fc4c2132c30d5e5c68e35f49

1

Constr 0

0

Constr 0

0

Constr 0

0

#8c19edb6f5f7e98e18173ec1ffbf2cc7ef347c0dec180424d13dcacf

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000