Datum

2507f6480ae5f9…fc0ee21d85

2507f6480ae5f94cdae31042a82f9efb3fca67a8bf9780893530e0fc0ee21d85

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#409263c82d10e9bdf024fccbb73ccdb7dd7a4bd39f633c51384eaddd

1

Constr 0

0

Constr 0

0

Constr 0

0

#fa8f9a1a16f8031d3fe7e510df139bc08cd07b97a3114cecde07930f

1

Constr 0

0

Constr 0

0

#409263c82d10e9bdf024fccbb73ccdb7dd7a4bd39f633c51384eaddd

1

Constr 0

0

Constr 0

0

Constr 0

0

#fa8f9a1a16f8031d3fe7e510df139bc08cd07b97a3114cecde07930f

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000