diff --git a/driver.fzz b/driver.fzz
index 405d281..acb0c2f 100644
Binary files a/driver.fzz and b/driver.fzz differ