Datum

081a0dfe0b324e…63a3d22e36

081a0dfe0b324e7dba69004e9d44b9bbf45195db0b0433dc9e372663a3d22e36

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b5d5cb4d74d10f4a2ee2f99e7113c3ff793ab9564f2a9d080cba5748

1

Constr 0

0

Constr 0

0

Constr 0

0

#f74ae9246995e4e1c8096600a510a8b2f5b8e9e9b4bcd32fb56079f5

1

Constr 0

0

Constr 0

0

#b5d5cb4d74d10f4a2ee2f99e7113c3ff793ab9564f2a9d080cba5748

1

Constr 0

0

Constr 0

0

Constr 0

0

#f74ae9246995e4e1c8096600a510a8b2f5b8e9e9b4bcd32fb56079f5

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000