Datum

fa0320c92efe30…bb53776a70

fa0320c92efe308bb4d41e92ac1a3e45e306e2a347a265263a1aedbb53776a70

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6d19ca9bf9e71ce9f7b19b2ddd1a8908e23b8a12ad57641223ba4a6e

1

Constr 0

0

Constr 0

0

Constr 0

0

#6c60672d5c1a4cab22b3235ec4dbbbae24c963ae4b14b945bc8e6468

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

50000000

2

Constr 0

0

648798088