Datum

ae0e55dbd623a2…d8d829da5d

ae0e55dbd623a28b104c557e1b04de1bb7f660411e264577bafc5cd8d829da5d

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#61a6f36e949c2966e653afa734f96309cee1e01a91e2d93069ad8405

1

Constr 0

0

Constr 0

0

Constr 0

0

#8adef0ba4ec7bb9f8ddca7438473388c57dcebad0891d6340ee8d38d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

5

2

Constr 0

0

29117650