Datum

0bd8a2ba1d7250…5ee93733bb

0bd8a2ba1d725010d1cccccc4c4f1839c8ea2ae7e0fc925422dcc45ee93733bb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ada59f6e8441657d12e4f28e8a2393d74da844f90d3fdde74a3ee685

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a6f8c6122ee89a0811423cec90dd6c74489578c107a4a256f3c1c96

1

Constr 0

0

Constr 0

0

#ada59f6e8441657d12e4f28e8a2393d74da844f90d3fdde74a3ee685

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a6f8c6122ee89a0811423cec90dd6c74489578c107a4a256f3c1c96

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

944513170

4

2000000

5

2000000