Datum

121bf9fb43233e…483f0ae3bf

121bf9fb43233e5972c8aef2300ba8e7d371cfe13e2a9b9f604559483f0ae3bf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#66ebcd25e79cd94ec66d7c30bfe9577913b3d1f5aee837cfb80eb6ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e1c913b256324bbe19f512bd97e9200086c8110d27a0bb29fa84924

1

Constr 0

0

Constr 0

0

#66ebcd25e79cd94ec66d7c30bfe9577913b3d1f5aee837cfb80eb6ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e1c913b256324bbe19f512bd97e9200086c8110d27a0bb29fa84924

2

Constr 1 []

3

Constr 2

0

1

4

1942778

5

2000000