Datum

64e7a8d4ee223d…dfec01e45b

64e7a8d4ee223d358679ab276cf340a655e0f18fb6f0ddbef49d69dfec01e45b

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ee8ed1a0341e405c3ce6e542b05a26b10e1302855cddb89c2a8a713f

1

Constr 0

0

Constr 0

0

Constr 0

0

#e13d27423bca7662189bf2bf416c9040fe3bd7922ec3729d22731d04

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

10000000000

2

Constr 0

0

12484