Datum

a6783bae9b5b71…dd7c3eb57e

a6783bae9b5b71ee2ac5690ebe39d47f15d433ae8ec98ae921ffd1dd7c3eb57e

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#81b3d32e9870d5e39e6e288cd9e8e010b5d295770a9fc7baf75f0a60

1

Constr 0

0

Constr 0

0

Constr 0

0

#c9cdcddb04802ca37e5676af196eb89cdf7eb457d933c0aea4e2c56f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

2000000000

2

Constr 0

0

137560208