Datum

87eb2bbdf2c44f…3a227d961b

87eb2bbdf2c44fe94b7ca00bf45fadae6f9aa8162820e37dfe73bc3a227d961b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f776bf11043cb312cb25f0704ad5ad9490700f73b60333910b99479f

1

Constr 0

0

Constr 0

0

Constr 0

0

#866d95866ac7c96650a1ea4960734267bca28eb5d410d787b84c66ae

1

Constr 0

0

Constr 0

0

#f776bf11043cb312cb25f0704ad5ad9490700f73b60333910b99479f

1

Constr 0

0

Constr 0

0

Constr 0

0

#866d95866ac7c96650a1ea4960734267bca28eb5d410d787b84c66ae

2

Constr 1 []

3

Constr 2

0

1

4

1998505

5

2000000