Department of informatics, University of Oslo, Oslo, Norway.|Department of Mathematics, University of Oslo, Oslo, Norway.|Department of informatics, University of Oslo, Oslo, Norway.|Department of Mathematics, University of Oslo, Oslo, Norway.|Department of Mathematics, University of Oslo, Oslo, Norway.|Department of informatics, University of Oslo, Oslo, Norway.