Abridged version 

Problem statement Abridged