Datum

8571a808f006ae…825645e61d

8571a808f006ae0ac03fdb55dbeb7a53a2d63bf69d8b490b7e149e825645e61d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#33a1ee50d3d8285fdd7176665b0fe549aac763fbd73b5a3c43c5d95e

1

Constr 0

0

Constr 0

0

Constr 0

0

#f61f71fc95d882b15e7341c3e485430ea884f47aa2dec6e755fbe90d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

150000000

2

Constr 0

0

213885536