Datum

e32978ff802e93…d8f36fec3d

e32978ff802e938c957249ce255a7110219e33fce08dd7169cb39ed8f36fec3d

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d41633e3b720e7c2d4353f23caa13d98ac509ddb9137d9586ee5d67c

1

Constr 0

0

Constr 0

0

Constr 0

0

#d148e7dd4458ee845e157a5f47ef1230ab7cbe78a737be049650f748

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

2500000000

2

Constr 0

0

4719177405