mfs: change largest abstraction size to 100
largest abstraction size = full abstraction size / 15
enable singledef opt
Merge branch 'master' of github.com:skcho/zooberry
disable singledef opt
Merge branch 'master' of github.com:skcho/zooberry