Datum

77207fc01d96ac…67746a86e2

77207fc01d96ace35c68bdf129ee32625dd090e5d3e8ca0dcf840567746a86e2

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b5ae23f4f61e0f26db6a3110ec3a3c3d3f53537a9cbbb535dc5d9dbd

1

Constr 0

0

Constr 0

0

Constr 0

0

#213adc25386b36d73aac047b8ef43c7f86e3da5423b49f327893d003

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

11972432774

1

20000000000