Datum

3f4ef8440d0eee…3f602e07cf

3f4ef8440d0eee4f9b17eb5669c82630389c8ee815cf9dcbc72ff53f602e07cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1b99baff37f78cb05032d29923df20a494564fec68842dd49b314905

1

Constr 0

0

Constr 0

0

Constr 0

0

#d03c5c7485816734c6b46c0f80a6df6945718d745484b35ed9706d80

1

Constr 0

0

Constr 0

0

#1b99baff37f78cb05032d29923df20a494564fec68842dd49b314905

1

Constr 0

0

Constr 0

0

Constr 0

0

#d03c5c7485816734c6b46c0f80a6df6945718d745484b35ed9706d80

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

294474710

4

1998993

5

2000000