mv2c100 :: Lens' MV2Info Double
mv2c100 f_ajeW (MV2Info x1_ajeX x2_ajeY x3_ajeZ x4_ajf0 x5_ajf1)
  = fmap
      (\ y1_ajf2 -> MV2Info x1_ajeX x2_ajeY x3_ajeZ y1_ajf2 x5_ajf1)
      (f_ajeW x4_ajf0)
mv2c100 :: Lens' MV2Info Double
mv2c100 f_ajeW (MV2Info x1_ajeX x2_ajeY x3_ajeZ x4_ajf0 x5_ajf1)
  = fmap
      (\ y1_ajf2 -> MV2Info x1_ajeX x2_ajeY x3_ajeZ y1_ajf2 x5_ajf1)
      (f_ajeW x4_ajf0)
mv2c100 f_ajeW (MV2Info x1_ajeX x2_ajeY x3_ajeZ x4_ajf0 x5_ajf1)
  = fmap
      (\ y1_ajf2 -> MV2Info x1_ajeX x2_ajeY x3_ajeZ y1_ajf2 x5_ajf1)
      (f_ajeW x4_ajf0)