Datum

a41b124a5bfd1e…d0f5dc97bb

a41b124a5bfd1ef029fe6f58dcc1f1dfbbcea256c468bf4d76c255d0f5dc97bb

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#e2dd3b9b93d28d3e52a9e3943a41ef7e9f96d32939ff5ed22f7c3029

1

Constr 0

0

Constr 0

0

Constr 0

0

#bfb43f5515f5e78898f064a2b0e6979fca3ab0c907cc6a76cdb8d3e6

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

80000000

2

Constr 0

0

169867386