Datum

a2c5fb104c0f2b…610a6dafae

a2c5fb104c0f2b2c0b41e32612f4c9ef48be7c3314ddf716f366da610a6dafae

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f52c28481365fa384138e4085e858e7653794ca6defa93010b30ad73

1

Constr 0

0

Constr 0

0

Constr 0

0

#500ed9cebc7535c4c49c9a8f3414ca34dbdfeda4fca29c06cccadbdf

1

Constr 0

0

Constr 0

0

#f52c28481365fa384138e4085e858e7653794ca6defa93010b30ad73

1

Constr 0

0

Constr 0

0

Constr 0

0

#500ed9cebc7535c4c49c9a8f3414ca34dbdfeda4fca29c06cccadbdf

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

127492077

4

2000000

5

2000000