Datum

626f4e76a829c2…ac93eadc54

626f4e76a829c23ec39ce5982f76eefe2b1ebd74fe94cdd71b2cd9ac93eadc54

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f32da481ae990307798150efe147c5d2d7d4cd311dab5f01637a898d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a26a4a860ef73a7c396934fb9f54f83f2d3254d09b8e9800342d4498

1

Constr 0

0

Constr 0

0

#f32da481ae990307798150efe147c5d2d7d4cd311dab5f01637a898d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a26a4a860ef73a7c396934fb9f54f83f2d3254d09b8e9800342d4498

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

639750921

4

2000000

5

2000000