Datum

3186e9b413298f…e90a03e5ba

3186e9b413298fa5197a332e287903c338fa67c33dfe3be0080f88e90a03e5ba

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1007ca49098f2a53b2d4e9c79b7fad176a43ba3992ab6c0af0ead264

1

Constr 0

0

Constr 0

0

Constr 0

0

#1111a83a41c2b68cf3429fc06de3f9f042a8033480591382f3df9e11

1

Constr 0

0

Constr 0

0

#1007ca49098f2a53b2d4e9c79b7fad176a43ba3992ab6c0af0ead264

1

Constr 0

0

Constr 0

0

Constr 0

0

#1111a83a41c2b68cf3429fc06de3f9f042a8033480591382f3df9e11

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

270060759

4

2000000

5

2000000