Datum

bbd47c4e0d13f1…eea6304b73

bbd47c4e0d13f106f446e24fd1cfb48b73b1bdc224a9812f79e1d4eea6304b73

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#33f6e7fb21b1e94801a0fbf28a7adb5d8c3f6eef497e224b373457ea

1

Constr 0

0

Constr 0

0

Constr 0

0

#7df1d256fa0c846892dd4df73180763b512cea9ca761e80635e7f45f

1

Constr 0

0

Constr 0

0

#33f6e7fb21b1e94801a0fbf28a7adb5d8c3f6eef497e224b373457ea

1

Constr 0

0

Constr 0

0

Constr 0

0

#7df1d256fa0c846892dd4df73180763b512cea9ca761e80635e7f45f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

21236128

4

2000000

5

2000000