Datum

54d67b4fd0772a…31ae1d533c

54d67b4fd0772ac90ecfe7c18e286dc0b563afc267d53b74dd3ebe31ae1d533c

Datum

Constr 0

0

#09

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d0815d4f9e614f8e3d7d73103a4c3a2a7821874023adf3d22646a8c8

1

Constr 0

0

Constr 0

0

Constr 0

0

#90ada37abe41eb0981b22d7a713d6a22b678744e9f88eccf6d1d671e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1164000000

2

Constr 0

0

15226