Datum

00fb1224d9f8cf…fc86fbc293

00fb1224d9f8cfe2eb145c23bd2db1713d65fa61bd15513ac72938fc86fbc293

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#bd5e49a0d3c52595de4c10de5bcb4ee10e7eaf12b7c575ee086b6dec

1

Constr 0

0

Constr 0

0

Constr 0

0

#00e1e6672f7b1dfc9f2f290967efeb657b68a86e8c3c1bcef408ae12

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

20000000000

2

Constr 0

0

57402555