Datum

8b9e4266beaec4…63cd7d9cb3

8b9e4266beaec4d6880221f0e02f31ff09cccb9ba75ebe3440e2c163cd7d9cb3

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ea7c3e2882939e24cb8aa17a942a21d2ab7dbc9907ef5cb8c12dbb24

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ad0ba050fd693c80e675590fdf70f2c5a17d8593f899922da985501

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

507000000

2

Constr 0

0

568249199