Datum

d80c43906223c4…2dab72d85c

d80c43906223c4c8be722b2d2fbd9ba58efe92b2fe6a78f84d44322dab72d85c

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9def31184f2bbdb4a9e95bcee6078f8ddc9008797d3f79f0402ee32f

1

Constr 0

0

Constr 0

0

Constr 0

0

#24c3c8d375a6d59328c3b562fb90526653eb21a452e5aa2eca9bf24e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

5000000000

2

Constr 0

0

1506093