Datum

9caa271ffdc657…c7475ecf81

9caa271ffdc6570908b652ca8a48a5225e7d49ea4c720ca180a13ac7475ecf81

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

1

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

2

Constr 1 []

3

Constr 3

0

15059061

1

53969967

4

1999898

5

2000000