Datum

6e6bcfc439fca7…62c2ac384d

6e6bcfc439fca7ec788bf4eb1314cdb5412c53ebc3c1b8a9ba503c62c2ac384d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9ceb1909224cf54e672cf0fc4e198b40c150adb8436da3bae978f059

1

Constr 0

0

Constr 0

0

Constr 0

0

#2bf68a26510efd1aba0c6ed363031a377abff78bcba35c90bf3e8e4f

1

Constr 0

0

Constr 0

0

#9ceb1909224cf54e672cf0fc4e198b40c150adb8436da3bae978f059

1

Constr 0

0

Constr 0

0

Constr 0

0

#2bf68a26510efd1aba0c6ed363031a377abff78bcba35c90bf3e8e4f

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000