Datum

32eae288286ff5…3306dca7ff

32eae288286ff5de22a93eb55a9826bcd10d1d300cb5571d6ccbad3306dca7ff

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f565e7209542f22e41dde8e9e26c93956993e9abb3fb89af3bbe7a91

1

Constr 0

0

Constr 0

0

Constr 0

0

#18dea6677a50c85439bb4aafdad0f422b334cd4730150b70ae80aa98

1

Constr 0

0

Constr 0

0

#f565e7209542f22e41dde8e9e26c93956993e9abb3fb89af3bbe7a91

1

Constr 0

0

Constr 0

0

Constr 0

0

#18dea6677a50c85439bb4aafdad0f422b334cd4730150b70ae80aa98

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

444382040

4

2000000

5

2000000