Datum

5ec0430aaa5cea…ecf29ae67a

5ec0430aaa5ceae360790af39e23315462f9fc06565db5c8cf64e9ecf29ae67a

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4026ad84915429299bf28a8dd1a8f5b4df65d5a8a49c4e729d0f2250

1

Constr 0

0

Constr 0

0

Constr 0

0

#c8ec7543adbae3b6ff3a69acf00f7e59d5e7a8d2f2625277a8fb9561

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

1319539481