Datum

05ccab26d74cd4…77fc64bc7b

05ccab26d74cd4d2bc3865a998542309271f9e4ea9edc26ee9354577fc64bc7b

Datum

Constr 0

0

#09

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0679683e412ff35ae7ce67aa64fe9632e5bfdfe5c85478ad58b06f60

1

Constr 0

0

Constr 0

0

Constr 0

0

#19123f3b63eca40bf433312726cd8ebb74364a798e4eaf23ac33cb9b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

12147