[1] Univ Waterloo, Dept Combinator & Optimizat, Waterloo, ON N2L 3G1, Canada
[2] CWI, NL-1090 GB Amsterdam, Netherlands
[3] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
[4] Victoria Univ Wellington, Sch Math & Comp Sci, Wellington, New Zealand