Datum

33fe9ec726aa6f…56211d22c9

33fe9ec726aa6fa8264e40bab3a8f02a30f32fdd4e90e05f01288c56211d22c9

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#162eb9bb69fc5c67a230cc94ac604aefd1eb4cdcd68a7d76a2ccbbe6

1

Constr 0

0

Constr 0

0

Constr 0

0

#1590b9d3a10420f9c41b26d1af301524cd9d8cc2fbf4dea84ee7fdf9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

214000000

2

Constr 0

0

129485