Datum

79b4fec9faab79…482f0628e1

79b4fec9faab79c2f2ea29fbf85ce87eff9814932cb68cf82df6c5482f0628e1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6efcce60a390e1cca521f4d24f458f4389ca0dd76a53eb82dfe34cf8

1

Constr 0

0

Constr 0

0

Constr 0

0

#7a81be52ae9aadfea1f3481b6f89a7369b20bc7be43ab15702c5c2fd

1

Constr 0

0

Constr 0

0

#6efcce60a390e1cca521f4d24f458f4389ca0dd76a53eb82dfe34cf8

1

Constr 0

0

Constr 0

0

Constr 0

0

#7a81be52ae9aadfea1f3481b6f89a7369b20bc7be43ab15702c5c2fd

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000