Datum

bba03dcb561820…fd873c4b07

bba03dcb56182048144d73ec71f148b231223934a4c32cc777c8bdfd873c4b07

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1825a09cd52e98711b55b08e07c1e392f872eb7388f6eb30204a2df9

1

Constr 0

0

Constr 0

0

Constr 0

0

#9b77599f7729515c8a05a5214bcc10dd92d86ce583ad74d38c1bfdb9

1

Constr 0

0

Constr 0

0

#1825a09cd52e98711b55b08e07c1e392f872eb7388f6eb30204a2df9

1

Constr 0

0

Constr 0

0

Constr 0

0

#9b77599f7729515c8a05a5214bcc10dd92d86ce583ad74d38c1bfdb9

2

Constr 1 []

3

Constr 2

0

1

4

1998203

5

2000000