Datum

8bd667629d7eda…ec29ffe17b

8bd667629d7edaa96f1e5f92ce3eeedac74bb829e63c79398002fbec29ffe17b

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ca117cf19d50f16607eaa07555d023b001c7e756b76ecafeb8b9c96e

1

Constr 0

0

Constr 0

0

Constr 0

0

#490b2bae054449eb8c7485d81c24aeeae19440991cac6b014e5a0a69

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

116102177

2

Constr 0

0

367729558