Datum

5274ca9083bf34…8db68d00ad

5274ca9083bf340c7c73cf0995e22b3bb41e2e5f20d50bd3d62bad8db68d00ad

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#442e8808e315b12cefd8792e15aebdfc037a9298d4d974e0c506c4f7

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca74852c628effdc36b23d74ab9cb244963aff1a9b08f7f6b23a88d8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

20000000000

2

Constr 0

0

345746543885