Datum

ab78ace08e2cf0…dad5df2e74

ab78ace08e2cf079f3b9a5a4f58c3f8be955df054228104f90abc3dad5df2e74

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b91106f7d31a8fcb7129436265a40ce89be02a46f8b5590b0113a463

1

Constr 0

0

Constr 0

0

Constr 0

0

#9aa4a4640f4ac103ac4d300475505cdbccbdef87c91039b118ee1e5f

1

Constr 0

0

Constr 0

0

#b91106f7d31a8fcb7129436265a40ce89be02a46f8b5590b0113a463

1

Constr 0

0

Constr 0

0

Constr 0

0

#9aa4a4640f4ac103ac4d300475505cdbccbdef87c91039b118ee1e5f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

332413793

4

2000000

5

2000000