Datum

9c166d1d75d048…d64162c8d4

9c166d1d75d048b40682790f68235ded1b717151c275b835b325abd64162c8d4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b24f165f1853c4df19e74458144fe41ccd6216986bb3266dd53b1cab

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4d5c61693c525ca1776667b2461bf5ba54af610ecc5ebf3c90babe6

1

Constr 0

0

Constr 0

0

#b24f165f1853c4df19e74458144fe41ccd6216986bb3266dd53b1cab

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4d5c61693c525ca1776667b2461bf5ba54af610ecc5ebf3c90babe6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

16332169

4

2000000

5

2000000