Datum

d24f83c1692255…e8d281df6a

d24f83c1692255d210ae1e26e2fa8320fc418cf424fe1ccbe29168e8d281df6a

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#cdfc3c7e65bffecd4e428cfc5b9e61a6606ee1e1e5cf7950560ce1cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#a255a81bcd27a93e990adaa90273a6d23a8c5a79192e7eefe204a8bd

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

99000000

2

Constr 0

0

363539753