Datum

dd87d66baba4ea…3c88b377ad

dd87d66baba4ea565bf4defc71b4d494240d4fce800ea84aee0ed33c88b377ad

Datum

Constr 0

0

#f302

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#07a7cc13785fd6ef1ef881a8bd397543bd2ecd84a98eceab0efe5208

1

Constr 0

0

Constr 0

0

Constr 0

0

#f106765e10f1ae7a1238701f0306eae619ac06a45968cdcac627ff82

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

213106412

2

Constr 0

0

391880000