Datum

7e331454e87d6e…90afd78d64

7e331454e87d6ec570cd5d94b6b691bc8ca7a4c10519fec7f5d05090afd78d64

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b1207f459598a5a87bc6b7e04cc2856b435074140cc765bcee5162c3

1

Constr 0

0

Constr 0

0

Constr 0

0

#f488d6933d390afe53aaf5b7374266ae91334c245cff18789fe2076c

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

5520096