Datum

e5f32e9e34b4d2…8367a59cb3

e5f32e9e34b4d22352da2fe306704df62d377829e70d4ec36a13cd8367a59cb3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f19492d4f3e15d64fc1b4225f3cb85a6e49be92566e453fe6d2d863b

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d5a6ed645a0afef4c4323e90be820326212cca9c9b579ad353ceda8

1

Constr 0

0

Constr 0

0

#f19492d4f3e15d64fc1b4225f3cb85a6e49be92566e453fe6d2d863b

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d5a6ed645a0afef4c4323e90be820326212cca9c9b579ad353ceda8

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

15284153

4

2000000

5

2000000