Datum

bbde420f160c5e…4fb43a7eb6

bbde420f160c5e9a8f22ef4e07e0e8309a19c31a5ae8d4720582ff4fb43a7eb6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#aba1c4db3b842c8096856e34dec5b0b050cf153b017629754a8b4248

1

Constr 0

0

Constr 0

0

Constr 0

0

#2abb9eef0f6ee4dfed9dc7f4a723c2fce69e8da6db7d75879db4945e

1

Constr 0

0

Constr 0

0

#aba1c4db3b842c8096856e34dec5b0b050cf153b017629754a8b4248

1

Constr 0

0

Constr 0

0

Constr 0

0

#2abb9eef0f6ee4dfed9dc7f4a723c2fce69e8da6db7d75879db4945e

2

Constr 1 []

3

Constr 2

0

1

4

1957400

5

2000000