final p3.smv
final p3.smv
Merge branch 'master' of https://github.com/rhodeser/whippet-badger

Conflicts:
	p3.smv