add formatted lab5 sources
add formatted sources of lab6