Datum

b8a9152ea4aec5…feb759e05d

b8a9152ea4aec536432a34b9bae12c832c170baaae7feb042fa784feb759e05d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8a0cc64cd28b6a1d935ea959461de651bd501f2ab5c8d295a0d48f77

1

Constr 0

0

Constr 0

0

Constr 0

0

#b23ff9c0459d38f5f158d05e4453a0db1d66ed50aaf571dc09394d29

1

Constr 0

0

Constr 0

0

#8a0cc64cd28b6a1d935ea959461de651bd501f2ab5c8d295a0d48f77

1

Constr 0

0

Constr 0

0

Constr 0

0

#b23ff9c0459d38f5f158d05e4453a0db1d66ed50aaf571dc09394d29

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

425074185

4

2000000

5

2000000