Datum

28561cfbaddaf3…2258cb5ade

28561cfbaddaf3170968e268de25ffab47db59e75cf242ae5c2a7c2258cb5ade

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#44b1d6a5c2f4494f5a682d29f5c6d2efcedfa3bb1b65eaeceaa92189

1

Constr 0

0

Constr 0

0

Constr 0

0

#b945dd09f8dd359bbb8ccba65384a5a15c4ca2f3d8f5eddb230c9041

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

50000000

2

Constr 0

0

40386