Datum

cc7f1f16bb358d…f2a55b35cc

cc7f1f16bb358d3fe68c66f2b39a3c5a3def48df47ccaf3f4eb11df2a55b35cc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7da60865d0fe4184bea9915b11ace1f464e87be75a6513f5b746b619

1

Constr 0

0

Constr 0

0

Constr 0

0

#a4390af4ed4a9e2573ad1dd65497b2b6b1ffb32df651e4052cb826d3

1

Constr 0

0

Constr 0

0

#7da60865d0fe4184bea9915b11ace1f464e87be75a6513f5b746b619

1

Constr 0

0

Constr 0

0

Constr 0

0

#a4390af4ed4a9e2573ad1dd65497b2b6b1ffb32df651e4052cb826d3

2

Constr 1 []

3

Constr 2

0

1

4

1992538

5

2000000