Datum

ed2da6c8e55ff3…9da8f32be5

ed2da6c8e55ff3897e8ce618709e6f4fcfd6bbf8f5af392b8eb3619da8f32be5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d056faa87ad14bfd8aef7aa3ffbc6c233a9f92731b16c7980c629c6c

1

Constr 0

0

Constr 0

0

Constr 0

0

#416d5ab8ba51f39749b4e027b4a801cf0ff31219a3ff53c7ab41d80d

1

Constr 0

0

Constr 0

0

#d056faa87ad14bfd8aef7aa3ffbc6c233a9f92731b16c7980c629c6c

1

Constr 0

0

Constr 0

0

Constr 0

0

#416d5ab8ba51f39749b4e027b4a801cf0ff31219a3ff53c7ab41d80d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

225331152

4

2000000

5

2000000