Datum

dbb3daad1d32f2…6e8d93e18b

dbb3daad1d32f2ee376f57aefc25743b5b04a49a132288e0b156e16e8d93e18b

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c472ae0b42212d5bec7b5a069696f5c64dfde4619598a8a0123e9120

1

Constr 0

0

Constr 0

0

Constr 0

0

#6adf9f29bd76ece1d2b4bbc37e2232a59584c308d3e466fe364293fa

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

116