Datum

9027c97a323e81…80cfc8e892

9027c97a323e81330e95b3caeb84bdd2d47b9a36752b586136e4b080cfc8e892

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f526b82b9aeac1e43eb4e92b136d519a1dfa9c9c113281dd7197c30b

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4272d89872bba83a4ebf5cb083d875e1174b3a9cbcbfd1d97e2be85

1

Constr 0

0

Constr 0

0

#f526b82b9aeac1e43eb4e92b136d519a1dfa9c9c113281dd7197c30b

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4272d89872bba83a4ebf5cb083d875e1174b3a9cbcbfd1d97e2be85

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

90566325

4

2000000

5

2000000