Datum

40ffcca60b41f2…50ffcde9f4

40ffcca60b41f29574d52ef8028b64d93b20d52f33834e76cd8d8b50ffcde9f4

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c2538358d51ae6521e78d2bf60deaf8edff243dcacb89ea2d1b6dbdb

1

Constr 0

0

Constr 0

0

Constr 0

0

#bc60ecb7781b6c63b6604f2f4fa365b37ab47183bf500a0ff5afd256

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

24037991