Datum

1ec53c4f8219c2…864f044bce

1ec53c4f8219c2ecf79efd866f30ea186430812e64829c6643d29d864f044bce

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#958278031f436c6d537520febc9040ae5b84108fc2fe14432b503b9d

1

Constr 0

0

Constr 0

0

Constr 0

0

#cd27a8fd279921432496b544ab82fefb7761c2367675be518042caad

1

Constr 0

0

Constr 0

0

#958278031f436c6d537520febc9040ae5b84108fc2fe14432b503b9d

1

Constr 0

0

Constr 0

0

Constr 0

0

#cd27a8fd279921432496b544ab82fefb7761c2367675be518042caad

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000