mv2c20 :: Lens' MV2Info Double
mv2c20 f_ajf3 (MV2Info x1_ajf4 x2_ajf5 x3_ajf6 x4_ajf7 x5_ajf8)
  = fmap
      (\ y1_ajf9 -> MV2Info x1_ajf4 x2_ajf5 y1_ajf9 x4_ajf7 x5_ajf8)
      (f_ajf3 x3_ajf6)
mv2c20 :: Lens' MV2Info Double
mv2c20 f_ajf3 (MV2Info x1_ajf4 x2_ajf5 x3_ajf6 x4_ajf7 x5_ajf8)
  = fmap
      (\ y1_ajf9 -> MV2Info x1_ajf4 x2_ajf5 y1_ajf9 x4_ajf7 x5_ajf8)
      (f_ajf3 x3_ajf6)
mv2c20 f_ajf3 (MV2Info x1_ajf4 x2_ajf5 x3_ajf6 x4_ajf7 x5_ajf8)
  = fmap
      (\ y1_ajf9 -> MV2Info x1_ajf4 x2_ajf5 y1_ajf9 x4_ajf7 x5_ajf8)
      (f_ajf3 x3_ajf6)