Datum

48cedb756f47dd…c2652ea1db

48cedb756f47dd3597952d856420b01c625a776e0796113b45ce59c2652ea1db

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5b0f0021aaac30f36536618429d41957ef2288c61f9e8f232f9e398a

1

Constr 0

0

Constr 0

0

Constr 0

0

#1bfcd3be3169cd56a4baa0af92f47ae5ad53b668fca61bf0d4cdffe9

1

Constr 0

0

Constr 0

0

#5b0f0021aaac30f36536618429d41957ef2288c61f9e8f232f9e398a

1

Constr 0

0

Constr 0

0

Constr 0

0

#1bfcd3be3169cd56a4baa0af92f47ae5ad53b668fca61bf0d4cdffe9

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000