mv2c00 :: Lens' MV2Info Double
mv2c00 f_ajeI (MV2Info x1_ajeJ x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
  = fmap
      (\ y1_ajeO -> MV2Info y1_ajeO x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
      (f_ajeI x1_ajeJ)
mv2c00 :: Lens' MV2Info Double
mv2c00 f_ajeI (MV2Info x1_ajeJ x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
  = fmap
      (\ y1_ajeO -> MV2Info y1_ajeO x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
      (f_ajeI x1_ajeJ)
mv2c00 f_ajeI (MV2Info x1_ajeJ x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
  = fmap
      (\ y1_ajeO -> MV2Info y1_ajeO x2_ajeK x3_ajeL x4_ajeM x5_ajeN)
      (f_ajeI x1_ajeJ)