Detailed UC4

Detailed UC4 within #58 with new encoding