Datum

4293ec75675339…59a585d142

4293ec756753390ca82e7ff7fba71cbbdc059a98dbeeaefcc7a08a59a585d142

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d385c4a87160c0f2ceb1e37ee1b0faa275260bbe84ee71e12ecb4d4f

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ef4196fc1c17486a62b756946be2a4729808a08ffd043e094f71616

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

245878933

2

Constr 0

0

65058067