Datum

a963d28d5760e6…1e2f7c7c80

a963d28d5760e64f5c2741e551bc84dbeaf968ebd16acadaaade301e2f7c7c80

Datum

Constr 0

0

#1401

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b126cba25108895a274e29cf29f7ff5946ab033b6706e90584778318

1

Constr 0

0

Constr 0

0

Constr 0

0

#bae2762c478bcb38740efe9ee36f6ffc520e3ce62d5527c109ef2d73

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

50000000

2

Constr 0

0

124144993