Datum

ec78e6527dfee6…5f6ce4cd82

ec78e6527dfee695f3a24052eecc714fa78267b78dc222ff1babb25f6ce4cd82

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#42414513bd818bc353a620756462283fc4120d7d05ad8c67464d7288

1

Constr 0

0

Constr 0

0

Constr 0

0

#dbd843c44d1e80faf9b1b53bcc99908f80e2c2af5361ac1b86ff03b3

1

Constr 0

0

Constr 0

0

#42414513bd818bc353a620756462283fc4120d7d05ad8c67464d7288

1

Constr 0

0

Constr 0

0

Constr 0

0

#dbd843c44d1e80faf9b1b53bcc99908f80e2c2af5361ac1b86ff03b3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

512589573

4

2000000

5

2000000