Datum

e3e64d0b778165…aaea3dff7f

e3e64d0b7781658d6de69792ec4f29fab85e7ffeb3f33d1febcd96aaea3dff7f

Datum

Constr 0

0

#20

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#8a105de3876fe127e9e6d0c6ebfdf30f3be27eb0fde7c041927e61a7

1

Constr 0

0

Constr 0

0

Constr 0

0

#9d16f0abb841de16244d112fb5b7f6451844b2fa35de3d2422c58b11

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

899977948

2

Constr 0

0

5012