Dump

0.12280988693237305