Datum

06f8460e5d1d69…8d07f1f043

06f8460e5d1d690dfd78bc6bef52060d5b10d2c092f2b6f71414d68d07f1f043

Datum

Constr 0

0

#0e03

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a057002c651408a5fb4e4c4ec1ea5987633d26d9deaade5dbb79f2f8

1

Constr 0

0

Constr 0

0

Constr 0

0

#2b9b043bec6748faa81807983eb78f0add188e16d6fef48ee89bd5e7

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

40000000000

2

Constr 0

0

223264536