Datum

29fdea02b512fe…0ddbc9b7ec

29fdea02b512fe31df4bc4b7cc43f83d6ff3a8f5b9efab815d50240ddbc9b7ec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1fd4655bae79ce201fd1a15a654c9d328eba7ccf36009dbf10a6bc46

1

Constr 0

0

Constr 0

0

Constr 0

0

#ccc7b29f859c72aef12e2ad1e25fd0dfb1fa8ab4844d5b662e61ebe0

1

Constr 0

0

Constr 0

0

#1fd4655bae79ce201fd1a15a654c9d328eba7ccf36009dbf10a6bc46

1

Constr 0

0

Constr 0

0

Constr 0

0

#ccc7b29f859c72aef12e2ad1e25fd0dfb1fa8ab4844d5b662e61ebe0

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

15640659

4

1999792

5

2000000