Datum

b54893ada8ff86…fbcd9230ce

b54893ada8ff867f8ead1487b50cad57fbbd1aac490a5233e2643efbcd9230ce

Datum

Constr 0

0

#6003

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#2f339f358e2c4f65e9216573c491a2b967281222add05dc1b88ef14f

1

Constr 0

0

Constr 0

0

Constr 0

0

#7210ddb8b2db0435a8a488dbb667d13413de48d7b5967dfd5c09debd

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

360000000

2

Constr 0

0

106546777