Datum

85c54bdbf2b41f…70ede10de6

85c54bdbf2b41f86d46ded2fef38cabb1d70790c80c456173c3ca970ede10de6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d6b0a8a549f1bf548a27fb1a2f81461a6fccb8ebb1c5d8a24b8cc9a7

1

Constr 0

0

Constr 0

0

Constr 0

0

#e141fef43686924a2ea2a861d9bc321eb5d0dfc2f3bef5d3e7d3fcc3

1

Constr 0

0

Constr 0

0

#d6b0a8a549f1bf548a27fb1a2f81461a6fccb8ebb1c5d8a24b8cc9a7

1

Constr 0

0

Constr 0

0

Constr 0

0

#e141fef43686924a2ea2a861d9bc321eb5d0dfc2f3bef5d3e7d3fcc3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

476015297

4

2000000

5

2000000