- Exchanged % and %%. - Fixed bug in shrink.
- Exchanged % and %%.
- Fixed bug in shrink.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle