Datum

51c9700e1b1971…c7685ec141

51c9700e1b197142a33928ba78cf2bf3e75ce5e4542dd596cae65cc7685ec141

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

340306129

4

2000000

5

2000000