diff --git a/driver.fzz b/driver.fzz
index ddd9e11..68a1b65 100644
Binary files a/driver.fzz and b/driver.fzz differ