Datum

35f9c57c3c832e…6b67fd90eb

35f9c57c3c832ef633bb181869a0c692b293e913d5cb53b95c47e06b67fd90eb

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#26a7f5b5b96e06f4c74ad18609aebacb1669a2d3df54b0a297d337b5

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab3be37b9fbcd15a0d03e2459073632bc8e0f27066bd84de9a3c4732

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

20000000000

2

Constr 0

0

1523604835