Datum

1ba77e1ba65ee7…ee284061a3

1ba77e1ba65ee7d7f30d3bbde9e53697eace435005d85ae26d2c4cee284061a3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ba55cfb94f5fe4734b5a44249c1a1c8a4b68a055d26cf582cfa48bd7

1

Constr 0

0

Constr 0

0

Constr 0

0

#e912e72f5b887e2b180ec2427f42a22063e0f4ab9757c958edc3c042

1

Constr 0

0

Constr 0

0

#ba55cfb94f5fe4734b5a44249c1a1c8a4b68a055d26cf582cfa48bd7

1

Constr 0

0

Constr 0

0

Constr 0

0

#e912e72f5b887e2b180ec2427f42a22063e0f4ab9757c958edc3c042

2

Constr 1 []

3

Constr 2

0

1

4

1831567

5

2000000