Datum

acd1a87b80881e…308ca3d9ec

acd1a87b80881edead5475ee4aa2d70f3bc7f14c4b195b8ae6511e308ca3d9ec

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7e48ec27f112c585d7ca62abcc546cd62f46dc40d0c69ad521908256

1

Constr 0

0

Constr 0

0

Constr 0

0

#4426034b789c4d79332aaabb57d7ce266bc7a3f10096b204f1c1ad95

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

702985475

1

1000000000