Datum

e7f0c2a67aead8…97fd644c5d

e7f0c2a67aead834ae2b40b44dd0f6e953a3e018b6838ffda6403197fd644c5d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2565dfe12f53eb5db12bb707d720be07bc91464c2a0f03df8cc16f9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2411c27854bd121f398d5bb965c35c07a843d7f3ab85c531a856701e

1

Constr 0

0

Constr 0

0

#2565dfe12f53eb5db12bb707d720be07bc91464c2a0f03df8cc16f9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2411c27854bd121f398d5bb965c35c07a843d7f3ab85c531a856701e

2

Constr 1 []

3

Constr 3

0

256208

1

1967123

4

2000000

5

2000000