Datum

c8b7fe78600721…fe1c71a200

c8b7fe7860072113ad58fa14f0efdd37df8031d464999a9bf2ea67fe1c71a200

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#06d0cf75821406142933241060342985dd7d2933e7f2d37c5e34c621

1

Constr 0

0

Constr 0

0

Constr 0

0

#6ff4a0832589ab6df19da6981e9bb5f9803fc03297b358828c7354b3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

4046107