function c65000003.initial_effect(c)
   --fusion material
   c:EnableReviveLimit()
   aux.AddFusionProcFun2(c,aux.FilterBoolFunction(Card.IsRace,RACE_FAIRY),aux.FilterBoolFunction(Card.IsRace,RACE_FAIRY),true)
   --spsummon condition
   local e1=Effect.CreateEffect(c)
   e1:SetType(EFFECT_TYPE_SINGLE)
   e1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
   e1:SetCode(EFFECT_SPSUMMON_CONDITION)
   c:RegisterEffect(e1)
   --special summon rule
   local e2=Effect.CreateEffect(c)
   e2:SetType(EFFECT_TYPE_FIELD)
   e2:SetCode(EFFECT_SPSUMMON_PROC)
   e2:SetProperty(EFFECT_FLAG_UNCOPYABLE)
   e2:SetRange(LOCATION_EXTRA)
   e2:SetCondition(c65000003.spcon)
   e2:SetOperation(c65000003.spop)
   c:RegisterEffect(e2)
   --send to grave
   local e3=Effect.CreateEffect(c)
   e3:SetCategory(CATEGORY_TOGRAVE)
   e3:SetType(EFFECT_TYPE_IGNITION)
   e3:SetCode(EVENT_FREE_CHAIN)
   e3:SetRange(LOCATION_MZONE)
   e3:SetProperty(EFFECT_FLAG_CARD_TARGET)
   e3:SetCountLimit(1)
   e3:SetTarget(c65000003.target)
   e3:SetOperation(c65000003.operation)
   c:RegisterEffect(e3)
   --EP ss
      local e4=Effect.CreateEffect(c)
      e4:SetCategory(CATEGORY_SPECIAL_SUMMON)
      e4:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_TRIGGER_F)
      e4:SetCode(EVENT_PHASE+PHASE_END)
      e4:SetRange(LOCATION_MZONE)
      e4:SetCountLimit(1)
      e4:SetCondition(c65000003.sscon)
      e4:SetTarget(c65000003.sstg)
      e4:SetOperation(c65000003.ssop)
      c:RegisterEffect(e4)
      --atk/def
   local e5=Effect.CreateEffect(c)
   e5:SetType(EFFECT_TYPE_FIELD)
   e5:SetCode(EFFECT_UPDATE_ATTACK)
   e5:SetRange(LOCATION_MZONE)
   e5:SetTargetRange(LOCATION_MZONE,0)
   e5:SetTarget(aux.TargetBoolFunction(Card.IsRace,RACE_FAIRY))
   e5:SetValue(500)
   c:RegisterEffect(e5)
   local e6=e5:Clone()
   e6:SetCode(EFFECT_UPDATE_DEFENCE)
   c:RegisterEffect(e6)
   --redirect
   local e7=Effect.CreateEffect(c)
   e7:SetType(EFFECT_TYPE_SINGLE)
   e7:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
   e7:SetCondition(c65000003.recon)
   e7:SetValue(LOCATION_DECK)
   c:RegisterEffect(e7)
   end
function c65000003.spfilter1(c,tp)
   return c:IsRace(RACE_FAIRY) and c:IsCanBeFusionMaterial()
      and Duel.CheckReleaseGroup(tp,c65000003.spfilter2,1,c)
end
function c65000003.spfilter2(c)
   return c:IsRace(RACE_FAIRY) and c:IsCanBeFusionMaterial()
end
function c65000003.spcon(e,c)
   if c==nil then return true end
   local tp=c:GetControler()
   return Duel.GetLocationCount(tp,LOCATION_MZONE)>-2
      and Duel.CheckReleaseGroup(tp,c65000003.spfilter1,1,nil,tp)
end
function c65000003.spop(e,tp,eg,ep,ev,re,r,rp,c)
   local g1=Duel.SelectReleaseGroup(tp,c65000003.spfilter1,1,1,nil,tp)
   local g2=Duel.SelectReleaseGroup(tp,c65000003.spfilter2,1,1,g1:GetFirst())
   g1:Merge(g2)
   c:SetMaterial(g1)
   Duel.Release(g1,REASON_COST)
end
function c65000003.rmfilter(c)
   return c:IsType(TYPE_MONSTER) and c:IsSetCard(0x9b) and c:IsAbleToRemoveAsCost()
end
function c65000003.filter(c,e,tp)
   return c:IsSetCard(0x9b) and c:IsAbleToGrave()
end
function c65000003.target(e,tp,eg,ep,ev,re,r,rp,chk,chkc)
   if chkc then return chkc:IsControler(tp) and chkc:IsLocation(LOCATION_GRAVE) and c65000003.rmfilter(chkc) end
   if chk==0 then return Duel.IsExistingTarget(c65000003.rmfilter,tp,LOCATION_GRAVE,0,1,nil)
      and Duel.IsExistingMatchingCard(c65000003.filter,tp,LOCATION_DECK,0,1,nil,e,tp) end
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_REMOVE)
   local g=Duel.SelectTarget(tp,c65000003.rmfilter,tp,LOCATION_GRAVE,0,1,1,nil)
   Duel.SetOperationInfo(0,CATEGORY_REMOVE,g,1,0,0)
   Duel.SetOperationInfo(0,CATEGORY_TOGRAVE,nil,1,tp,LOCATION_DECK)
end
function c65000003.operation(e,tp,eg,ep,ev,re,r,rp)
   local tc=Duel.GetFirstTarget()
   if tc and tc:IsRelateToEffect(e) and Duel.Remove(tc,POS_FACEUP,REASON_EFFECT)>0 then
      Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_TOGRAVE)
      local g=Duel.SelectMatchingCard(tp,c65000003.filter,tp,LOCATION_DECK,0,1,1,nil,e,tp)
      if g:GetCount()>0 then
         Duel.SendtoGrave(g,REASON_EFFECT)
         e:GetHandler():RegisterFlagEffect(65000003,RESET_EVENT+0x1fe0000+RESET_PHASE+PHASE_END,0,1)
      end
   end
end
function c65000003.sscon(e,tp,eg,ep,ev,re,r,rp)
   return e:GetHandler():GetFlagEffect(65000003)~=0
end
function c65000003.ssfilter(c,e,tp)
   return c:IsSetCard(0x9b) and c:IsCanBeSpecialSummoned(e,0,tp,false,false) and not c:IsHasEffect(EFFECT_NECRO_VALLEY)
end
function c65000003.sstg(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return Duel.GetLocationCount(tp,LOCATION_MZONE)>0
      and Duel.IsExistingMatchingCard(c65000003.ssfilter,tp,LOCATION_GRAVE,0,1,nil,e,tp) end
   Duel.SetOperationInfo(0,CATEGORY_SPECIAL_SUMMON,nil,1,tp,LOCATION_GRAVE)
end
function c65000003.ssop(e,tp,eg,ep,ev,re,r,rp)
   if Duel.GetLocationCount(tp,LOCATION_MZONE)<=0 then return end
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_SPSUMMON)
   local g=Duel.SelectMatchingCard(tp,c65000003.ssfilter,tp,LOCATION_GRAVE,0,1,1,nil,e,tp)
   if g:GetCount()>0 then
      Duel.SpecialSummon(g,0,tp,tp,false,false,POS_FACEUP)
   end
end
function c65000003.recon(e)
   local c=e:GetHandler()
   return c:IsFaceup() and c:GetDestination()==LOCATION_GRAVE
end

function c65000010.initial_effect(c)
   --special summon
   local e1=Effect.CreateEffect(c)
   e1:SetCategory(CATEGORY_SPECIAL_SUMMON)
   e1:SetType(EFFECT_TYPE_SINGLE+EFFECT_TYPE_TRIGGER_F)
   e1:SetCode(EVENT_TO_GRAVE)
   e1:SetCountLimit(1,65000010)
   e1:SetCondition(c65000010.condition)
   e1:SetTarget(c65000010.target)
   e1:SetOperation(c65000010.operation)
   c:RegisterEffect(e1)
   --negate and destroy
   local e2=Effect.CreateEffect(c)
   e2:SetCategory(CATEGORY_NEGATE)
   e2:SetType(EFFECT_TYPE_QUICK_O)
   e2:SetCode(EVENT_CHAINING)
   e2:SetRange(LOCATION_GRAVE)
   e2:SetCountLimit(1,65000010)
   e2:SetCost(c65000010.negcost)
   e2:SetCondition(c65000010.negcondition)
   e2:SetTarget(c65000010.negtarget)
   e2:SetOperation(c65000010.negoperation)
   c:RegisterEffect(e2)
   end
function c65000010.condition(e,tp,eg,ep,ev,re,r,rp)
   return not e:GetHandler():IsReason(REASON_RETURN)
end
function c65000010.filter(c,e,tp)
   return c:IsSetCard(0x9b) and c:GetCode()~=65000010 and c:IsCanBeSpecialSummoned(e,0,tp,false,false)
end
function c65000010.target(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return Duel.GetLocationCount(tp,LOCATION_MZONE)>0
      and Duel.IsExistingMatchingCard(c65000010.filter,tp,LOCATION_DECK,0,1,nil,e,tp) end
   Duel.SetOperationInfo(0,CATEGORY_SPECIAL_SUMMON,nil,1,tp,LOCATION_DECK)
end
function c65000010.operation(e,tp,eg,ep,ev,re,r,rp)
   if Duel.GetLocationCount(tp,LOCATION_MZONE)<=0 then return end
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_SPSUMMON)
   local g=Duel.SelectMatchingCard(tp,c65000010.filter,tp,LOCATION_DECK,0,1,1,nil,e,tp)
   if g:GetCount()>0 then
      Duel.SpecialSummon(g,0,tp,tp,false,false,POS_FACEUP)
   end
end
function c65000010.negcost(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return e:GetHandler():IsAbleToRemoveAsCost() end
   Duel.Remove(e:GetHandler(),POS_FACEUP,REASON_COST)
end
function c65000010.negcondition(e,tp,eg,ep,ev,re,r,rp,chk)
   local loc=Duel.GetChainInfo(ev,CHAININFO_TRIGGERING_LOCATION)
   return not e:GetHandler():IsStatus(STATUS_BATTLE_DESTROYED) and ep~=tp
      and loc==LOCATION_MZONE and re:IsActiveType(TYPE_MONSTER) and Duel.IsChainDisablable(ev)
end
function c65000010.negtarget(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return true end
   Duel.SetOperationInfo(0,CATEGORY_NEGATE,eg,1,0,0)
   if re:GetHandler():IsDestructable() and re:GetHandler():IsRelateToEffect(re) then
      Duel.SetOperationInfo(0,CATEGORY_DESTROY,eg,1,0,0)
   end
end
function c65000010.negoperation(e,tp,eg,ep,ev,re,r,rp)
   Duel.NegateActivation(ev)
   if re:GetHandler():IsRelateToEffect(re) then
      Duel.Destroy(eg,REASON_EFFECT)
   end
end

function c65000005.initial_effect(c)
   --fusion material
   c:EnableReviveLimit()
   aux.AddFusionProcFunRep(c,aux.FilterBoolFunction(Card.IsRace,RACE_FAIRY),3,true)
   --spsummon condition
   local e1=Effect.CreateEffect(c)
   e1:SetType(EFFECT_TYPE_SINGLE)
   e1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
   e1:SetCode(EFFECT_SPSUMMON_CONDITION)
   c:RegisterEffect(e1)
   --special summon rule
   local e2=Effect.CreateEffect(c)
   e2:SetType(EFFECT_TYPE_FIELD)
   e2:SetCode(EFFECT_SPSUMMON_PROC)
   e2:SetProperty(EFFECT_FLAG_UNCOPYABLE)
   e2:SetRange(LOCATION_EXTRA)
   e2:SetCondition(c65000005.sprcon)
   e2:SetOperation(c65000005.sprop)
   c:RegisterEffect(e2)
   --add light
   local e3=Effect.CreateEffect(c)
   e3:SetCategory(CATEGORY_DAMAGE)
   e3:SetType(EFFECT_TYPE_IGNITION)
   e3:SetProperty(EFFECT_FLAG_PLAYER_TARGET)
   e3:SetRange(LOCATION_MZONE)
   e3:SetCountLimit(1)
   e3:SetCost(c65000005.addcost)
   e3:SetTarget(c65000005.addtg)
   e3:SetOperation(c65000005.addop)
   c:RegisterEffect(e3)
   --protection
   local e4=Effect.CreateEffect(c)
   e4:SetCode(EFFECT_INDESTRUCTABLE_EFFECT)
   e4:SetType(EFFECT_TYPE_FIELD)
   e4:SetRange(LOCATION_MZONE)
   e4:SetTargetRange(LOCATION_MZONE,LOCATION_MZONE)
   e4:SetTarget(c65000005.target)
   e4:SetValue(1)
   c:RegisterEffect(e4)
   --redirect
   local e5=Effect.CreateEffect(c)
   e5:SetType(EFFECT_TYPE_SINGLE)
   e5:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
   e5:SetCondition(c65000005.recon)
   e5:SetValue(LOCATION_DECK)
   c:RegisterEffect(e5)
   --cannot be effect target
   local e6=Effect.CreateEffect(c)
   e6:SetType(EFFECT_TYPE_SINGLE)
   e6:SetProperty(EFFECT_FLAG_SINGLE_RANGE)
   e6:SetCode(EFFECT_CANNOT_BE_EFFECT_TARGET)
   e6:SetRange(LOCATION_MZONE)
   e6:SetValue(1)
   c:RegisterEffect(e6)
   end
function c65000005.spfilter(c)
   local tpe=c:GetOriginalType()
   return c:IsRace(RACE_FAIRY) and c:IsCanBeFusionMaterial() and
      ((bit.band(tpe,TYPE_FUSION)>0 and c:IsAbleToExtraAsCost()) or
      (bit.band(tpe,TYPE_FUSION)==0 and c:IsAbleToDeckAsCost()))
end
function c65000005.sprcon(e,c)
   if c==nil then return true end
   local tp=c:GetControler()
   return Duel.GetLocationCount(tp,LOCATION_MZONE)>-3
      and Duel.IsExistingMatchingCard(c65000005.spfilter,tp,LOCATION_MZONE,0,3,nil)
end
function c65000005.sprop(e,tp,eg,ep,ev,re,r,rp,c)
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_TODECK)
   local g=Duel.SelectMatchingCard(tp,c65000005.spfilter,tp,LOCATION_MZONE,0,3,3,nil)
   local cg=g:Filter(Card.IsFacedown,nil)
   if cg:GetCount()>0 then
      Duel.ConfirmCards(1-tp,cg)
   end
   Duel.SendtoDeck(g,nil,2,REASON_COST)
end
function c65000005.cfilter(c)
   return c:IsRace(RACE_FAIRY) and c:IsAbleToRemoveAsCost()
end
function c65000005.addcost(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return Duel.IsExistingMatchingCard(c65000005.cfilter,tp,LOCATION_DECK,0,1,nil) end
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_REMOVE)
   local g=Duel.SelectMatchingCard(tp,c65000005.cfilter,tp,LOCATION_DECK,0,1,1,nil)
   Duel.Remove(g,POS_FACEUP,REASON_COST)
end
function c65000005.addfilter(c)
   return c:IsAttribute(ATTRIBUTE_LIGHT) and c:IsAbleToHand()
end
function c65000005.addtg(e,tp,eg,ep,ev,re,r,rp,chk)
   if chk==0 then return Duel.IsExistingMatchingCard(c65000005.addfilter,tp,LOCATION_DECK,0,1,nil) end
   Duel.SetOperationInfo(0,CATEGORY_TOHAND,nil,1,tp,LOCATION_DECK)
end
function c65000005.addop(e,tp,eg,ep,ev,re,r,rp)
   Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_ATOHAND)
   local g=Duel.SelectMatchingCard(tp,c65000005.addfilter,tp,LOCATION_DECK,0,1,1,nil)
   if g:GetCount()>0 then
      Duel.SendtoHand(g,nil,REASON_EFFECT)
      Duel.ConfirmCards(1-tp,g)
   end
end
function c65000005.target(e,c)
   return c~=e:GetHandler() and c:IsRace(RACE_FAIRY)
end
function c65000005.recon(e)
   local c=e:GetHandler()
   return c:IsFaceup() and c:GetDestination()==LOCATION_GRAVE
end