Datum

41f54a30e85065…063a6f744d

41f54a30e85065d14bbb4dfc282d06c9ff99bea3d6fe1380e71df4063a6f744d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#68c9e15addead9acbc71d7073e5e477dd2b88052a016841e23a7cf8b

1

Constr 0

0

Constr 0

0

Constr 0

0

#22ecca02f439ee0426dbd3bd4e4565427a024fa984c427bd31ebdc2b

1

Constr 0

0

Constr 0

0

#68c9e15addead9acbc71d7073e5e477dd2b88052a016841e23a7cf8b

1

Constr 0

0

Constr 0

0

Constr 0

0

#22ecca02f439ee0426dbd3bd4e4565427a024fa984c427bd31ebdc2b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000