Datum

4c70d1e4d4ec6d…d84c8339cc

4c70d1e4d4ec6d42e0afa423e1ec3d289648ebb9df624823b4fa4ad84c8339cc

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c66b46557fb7fb4acfd348b97e3b32a87d2c8f1acf3c8a6ed21d683b

1

Constr 0

0

Constr 0

0

Constr 0

0

#b15ab9538ffffb99ee2cd572f3109ca4b11d3792d2154ae2d488f70c

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

190000000

2

Constr 0

0

425297