Datum

74f6e2dcb7f93d…62e284deeb

74f6e2dcb7f93d5fb2fe2e80c735eb5e2ab3fbc45611d3c4beb81b62e284deeb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ff4cac8365b0375138678fed38a75e6a1acaeb53644ce8fbc6bffb13

1

Constr 0

0

Constr 0

0

Constr 0

0

#f0620505efe00953b4d9e7d9ef11b9549b2e22c3ea196df1f693fad2

1

Constr 0

0

Constr 0

0

#ff4cac8365b0375138678fed38a75e6a1acaeb53644ce8fbc6bffb13

1

Constr 0

0

Constr 0

0

Constr 0

0

#f0620505efe00953b4d9e7d9ef11b9549b2e22c3ea196df1f693fad2

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5510653

4

2000000

5

2000000