Datum

fc85456c6ba333…0b199efa92

fc85456c6ba3330459d815445851d54aea4e637fbb2d64e7474d040b199efa92

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#19e62c582da41448ead2e17e62098cff561263715f1e9f34a5688e96

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c832f76f5abd52752977fcf33244be912a9befd565ed8ca948582d2

1

Constr 0

0

Constr 0

0

#19e62c582da41448ead2e17e62098cff561263715f1e9f34a5688e96

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c832f76f5abd52752977fcf33244be912a9befd565ed8ca948582d2

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

186726432

4

2000000

5

2000000