Datum

f8c64f81c18bf4…98ea33053a

f8c64f81c18bf427f24fb00fc677cc39c453aa459fd556d4ecdfef98ea33053a

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#22d9b033a48fdf8550a1b7d5345f7a3affee72f081962733e1a191e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#0a500671591687959a71196e06a2ef68e443c63bfb59cbe202af2965

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

2524408

1

1000000000