# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1506425141 -3600
# Node ID c0e392a9c09ae9a55067fd2808f572d14d043d3a
# Parent  62985f147c85279dfeeb6042e6c041b3f1829190
updated

diff -r 62985f147c85 -r c0e392a9c09a pics/p1.pdf
Binary file pics/p1.pdf has changed
diff -r 62985f147c85 -r c0e392a9c09a pics/state5.png
Binary file pics/state5.png has changed
diff -r 62985f147c85 -r c0e392a9c09a pics/state6.png
Binary file pics/state6.png has changed