if k1 == o1 then
  else
    写文件库.写文件(o3, k1)
    end
  end
--~ 目对
function d.残局改名(o1_0)
  local h1_0, h2_0, h3_0, h4_0, h5_0, k6_0, k7_0, k8_0, k9_0
  local h1_0, h2_0, h3_0, h4_0, h5_0, h6_0, k7_0, k8_0, k9_0
  local k10_0, k11_0, k12_0
  --~ 文件名排
  h1_0 = 历文库.历文(o1_0.文件目, 文件系库.dir)
  h1_0 = 历排库.历排(h1_0, 后缀库.全筛后缀, ".lua")
  --~ 文件排
  h2_0 = 历排库.历排(h1_0, 后缀库.全筛后缀, ".lua")
  h2_0 = 历排库.历排(h2_0, 前缀库.加前缀, o1_0.文件目)
  h2_0 = 历排库.历排(h2_0, 读文件库.读文件)
  h2_0 = 历排库.历排(h2_0, 删注库.删注)
  --~ 则数排
  h3_0 = 历排库.历排(h2_0, d.局筛则数)
  --~ 各文件的卡编排
  h4_0 = 历排库.历排(h2_0, d.局筛卡编)
  --~ 各文件的卡对排
  h5_0 = 历排库.历排(h4_0, d.取卡对_一维)
  --~ 有效果卡的卡对排
  k6_0 = 历排库.历排(h5_0, d.筛有效果卡)
  h6_0 = 历排库.历排(h5_0, d.筛有效果卡)
  --~ 有效果卡的张数排
  k7_0 = 历排库.历排(k6_0, table.maxn)
  k7_0 = 历排库.历排(h6_0, table.maxn)
  --~ 血排
  k11_0 = 历排库.历排(h2_0, d.局筛血)
  --~ 荐名排
  k8_0 = 历排库.历二排(k6_0, k11_0, d.荐名)
  k8_0 = 历排库.历二排(h6_0, k11_0, d.荐名)
  --~ 新名排
  k9_0 = 历排库.历排(h1_0, string.gsub, 字集库.u8_to_a(文库.连("　", ".+")), "")
  --~ 编号排
  k10_0 = 历排库.历排(h1_0, string.gsub, 字集库.u8_to_a(文库.连("　", ".+")), "")
  k9_0 = 历排库.历排(k9_0, string.gsub, 文库.连("%.", "lua", "$"), "")
  for o1 = 1, #h1_0 do
    k9_0[o1] = 文库.连(字集库.a_to_u8(o1_0.文件目), 字集库.a_to_u8(k9_0[o1]), "　", h3_0[o1], "_", 数库.几位整数(k7_0[o1], 2))