Datum

b35ec5f9bfd72f…73b79acd87

b35ec5f9bfd72ffb98ce347ae92e1a2db58f0320c51124638540eb73b79acd87

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#86b1a1942b38354c706326958259163fd86d8cd5a42b19ad92a9ed47

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0a4b0a3603fcfece8bc238490110ec680ff7177e11f1f658c5ab6b4

1

Constr 0

0

Constr 0

0

#86b1a1942b38354c706326958259163fd86d8cd5a42b19ad92a9ed47

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0a4b0a3603fcfece8bc238490110ec680ff7177e11f1f658c5ab6b4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

256403520

4

2000000

5

2000000