Datum

fa3ccdcc32eae4…ac64dd8b0f

fa3ccdcc32eae4db076907b28839df27a4d368411010acf98aee71ac64dd8b0f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d8a229af4b974a031fd7e2a61bd20034d80cce042d255d600fc19144

1

Constr 0

0

Constr 0

0

Constr 0

0

#ce93da90d27aefe88e84eea4916fee53fe8364cbe695aa573a9766c8

1

Constr 0

0

Constr 0

0

#d8a229af4b974a031fd7e2a61bd20034d80cce042d255d600fc19144

1

Constr 0

0

Constr 0

0

Constr 0

0

#ce93da90d27aefe88e84eea4916fee53fe8364cbe695aa573a9766c8

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

255175668

4

2000000

5

2000000