Datum

bdd9bf9ac7777e…bc365bdedc

bdd9bf9ac7777e87841e382cd16166a4f774202d321fa8faf6f3f9bc365bdedc

Datum

Constr 0

0

#5d

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#fa20c96ad2e5b9d7c1243fa3a8890c0f37eee97600ae3b201fd2bd18

1

Constr 0

0

Constr 0

0

Constr 0

0

#7e82699b05c5aad550b61489d864befe1bb272496d2e7031ba315719

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

5000000000

2

Constr 0

0

16723261