IsabellwithBiommap-opt