Datum

fa97ded7480420…09e8ecb5bf

fa97ded74804203736c0601e8b7ad064f1bf24b95d4edb7579b69909e8ecb5bf

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5e94d95edee081f7168070fee32103f140ff84809cf1f83d00dbe6cf

1

Constr 0

0

Constr 0

0

Constr 0

0

#5f5e7d85fad1595d3cb9168b81e7859fc9921b0e21c46ad5d02dd183

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

53765500

2

Constr 0

0

101065072