Datum

b8010b8cdaf35c…817e56ec76

b8010b8cdaf35c2eac073ad8a8f8bfc05ed58ad0d8f0d407e4b0b2817e56ec76

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7f2801f7bb8e7d1e0251a6a23a80420e147c905add091f627b795a72

1

Constr 0

0

Constr 0

0

Constr 0

0

#b489dcfdd10bcfba0eb39e230c868defb5380734943aceb078f9e4fb

1

Constr 0

0

Constr 0

0

#7f2801f7bb8e7d1e0251a6a23a80420e147c905add091f627b795a72

1

Constr 0

0

Constr 0

0

Constr 0

0

#b489dcfdd10bcfba0eb39e230c868defb5380734943aceb078f9e4fb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

16763464

4

2000000

5

2000000