Datum

568fe3543e22df…6e718d82db

568fe3543e22dfd77f0f427e3ee98e764d6488e0db008f4c7955306e718d82db

Datum

Constr 0

0

#c1

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#bad70defd15242f4dc72d92dbe7289a7204f34072f1b4b28d3a60a66

1

Constr 0

0

Constr 0

0

Constr 0

0

#3d192ee783612217c56964e9e3d6f7cdd00e9a5721ded3c2839602e3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

794820238