Datum

57902fa4dc951c…fc55bc89d5

57902fa4dc951c5ec40ed707612c68bedbf671b1d23ca12e8b7cfafc55bc89d5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ff09efb12aee2fcfdd8777a55525ec6f5fdbc1238ff3a8da664c55dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f92322ec97267154fdf7032fc2cf120c274538298d854800b5c4c7bc

1

Constr 0

0

Constr 0

0

#ff09efb12aee2fcfdd8777a55525ec6f5fdbc1238ff3a8da664c55dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f92322ec97267154fdf7032fc2cf120c274538298d854800b5c4c7bc

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

44386451

4

1989972

5

2000000