Datum

daee5ff50f0c4f…6e581ed835

daee5ff50f0c4fcd7b85c7293ecc2e83f424ee66e0b5adb86b1c716e581ed835

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#65afd48cb8f9e74820470a422fa6e75cea52d9763074737cd02ef179

1

Constr 0

0

Constr 0

0

Constr 0

0

#1efcddafc8bd3a14ae01df53763b676a9b519920b6d75943579ec67e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

200000000000

2

Constr 0

0

361167033