added answers
start npc ex
proof 1
ex3
raw ex1
ex1 with alg
algos
Merge branch 'master' into solutions-ex5
ex2
col3-s1
col3-s2
col3-sf
col3-final
col3-final2
final
Merge branch 'solutions-ex5'