require "rational"
 
# Set up the classes required to swallow the raw data for presentation to the
# rest of the program.
 
class ExtendedObject
  # Put any methods here that I want to use just about all over the place.
  def initialize
    super
    yield self if block_given?
  end
end
class Person < ExtendedObject
  attr_accessor :name
  def inspect
    if name
      "{#{class_word} #{name}}"
    else
      "{a #{class_word}}"
    end
  end
end
class Voter < Person
  attr_accessor :ranks_by_candidate, :scores_by_candidate, :weight
  class Initializer
    attr_accessor :target
    class CandidateInitializer
      attr_accessor :voter, :candidate
      def rank a_rank
        voter.ranks_by_candidate[candidate]  = a_rank
      end
      def score a_score
        voter.scores_by_candidate[candidate] = a_score
      end
    end
    def weight shall_be
      target.weight = shall_be
    end
    def candidate name, &y
      # Accept data initialization concerning the voter's attitude to the named candidate.
      target.scores_by_candidate ||= Hash.new
      target.ranks_by_candidate  ||= Hash.new
      ci = CandidateInitializer.new
      ci.voter = target
      ci.candidate = $example.candidate name
      y.call ci
      true
    end
  end # Initilizer
  def initializer
    # Answer with an object that can initialize me from data declarations.
    iobj = Initializer.new
    iobj.target = self
    self.weight = 1 # can be changed
    iobj
  end
  def class_word
    "voter"
  end
end # Voter
class Candidate < Person
  def class_word
    "candidate"
  end
end
 
$example ||= Object.new
class << $example
  attr_accessor :data_initializer_thingy, :voters_by_name, :candidates_by_name
  def inspect
    "$example"
  end
  def data
    # Accept a data declaration specified by the block.
    yield data_initializer_thingy
    true
  end
  def voter name
    # Return an object to represent the voter whose name is given.
    voters_by_name[name]     ||= Voter.new     {|v| v.name = name}
  end
  def candidate name
    # Return an object to represent the candidate whose name is given.
    candidates_by_name[name] ||= Candidate.new {|c| c.name = name}
  end
  def voters
    voters_by_name.values
  end
  def candidates
    candidates_by_name.values
  end
end # class << $example
$example.candidates_by_name ||= Hash.new
$example.voters_by_name     ||= Hash.new
$example.data_initializer_thingy = Object.new
class << $example.data_initializer_thingy
  def inspect
    "{the data initializer thingy}"
  end
  def voter voter_name, &y
    # Accept a data declaration concerning the voter whose name is given by
    # voter_name.  Consult the block given for further details about the data to be associated
    # to the voter.
    y.call(($example.voter voter_name).initializer)
  end
end
 
 
 
################################################################################
#                                                                              #
#                               D A T A                                        #
#                                                                              #
################################################################################
 
# OK, the raw data are here.  You can clone this code and stubstitute your own
# example here.
 
$example.data do |d|
  d.voter "Ossipoff" do |v|
    v.weight 1
    v.candidate "fine Score" do |c|
      c.score 1
    end
    v.candidate "coarse Score" do |c|
      c.score Rational(75, 100)
    end
    v.candidate "Approval" do |c|
      c.score Rational(74, 100)
    end
    v.candidate "ER-Bucklin (delay)" do |c|
      c.score Rational(74, 100)
    end
    v.candidate "ER-Bucklin (no delay)" do |c|
      c.score Rational(73, 100)
    end
    v.candidate "Majority Judgment" do |c|
      c.score Rational(1, 100)
    end
  end
  d.voter "Jennings" do |v|
    v.candidate("coarse Score")      {|c|c.score 1}
    v.candidate("fine Score")        {|c|c.score 1}
    v.candidate("Majority Judgment") {|c|c.score 1}
    v.candidate("Approval")          {|c|c.score 1}
    v.candidate("Condorcet")         {|c|c.score Rational(75, 100)}
    v.candidate("Instant Runoff")    {|c|c.score Rational(35, 100)}
  end
  d.voter "Quinn" do |v|
    v.candidate "ER-Bucklin (delay)" do |c|
      c.score Rational(93, 100)
    end
    v.candidate "ER-Bucklin (no delay)" do |c|
      c.score Rational(93, 100)
    end
    v.candidate("Ranked Pairs")           {|c|c.score Rational(91, 100)} # Condorcet.
    v.candidate("Improved Condorcet Top") {|c|c.score Rational(91, 100)} # Condorcet.
    v.candidate("ERABW")                  {|c|c.score Rational(91, 100)} # Condorcet?
    v.candidate("other Condorcet") {|c|c.score Rational(90, 100)}
    v.candidate("coarse Score")      {|c|c.score Rational(8, 10)}
    v.candidate("fine Score")        {|c|c.score Rational(94, 100)}
    v.candidate("Runoff") {|c|c.score Rational(4, 10)}
    v.candidate("Majority Judgment")            {|c|c.score 1}
    v.candidate("Continuous Majority Judgment") {|c|c.score 1}
    v.candidate("SODA")                         {|c|c.score 1}
    v.candidate("Approval")          {|c|c.score Rational(94, 100)}
    v.candidate("Condorcet")         {|c|c.score Rational(90, 100)}
    v.candidate("Instant Runoff")    {|c|c.score Rational(20, 100)}
    v.candidate("Score (selected alternative values)") {|c|c.score Rational(99, 100)}
  end
  d.voter "Gilson" do |v|
    v.weight 1
    v.candidate "coarse Score" do |c|
      c.score 1
    end
    v.candidate "fine Score" do |c|
      c.score Rational(75, 100)
    end
    v.candidate "Condorcet" do |c|
      c.score Rational(75, 100)
    end
    v.candidate "Majority Judgment" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(90, 100)
    end
    v.candidate "Bucklin" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(90, 100)
    end
    v.candidate "Plurality" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(10, 100)
    end
  end
  d.voter "Shentrup" do |v|
    v.weight 1
    v.candidate "coarse Score" do |c|
      c.score 1
    end
    v.candidate "fine Score" do |c|
      c.score Rational(100, 100)
    end
    v.candidate "Approval" do |c|
      c.score Rational(90, 100)
    end
    v.candidate "Bucklin" do |c|
      c.score Rational(75, 100)
    end
    v.candidate "Majority Judgment" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(70, 100)
    end
    v.candidate "Condorcet" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(67, 100)
    end
    v.candidate "Instant Runoff" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(30, 100)
    end
  end
  d.voter "Le'vesque" do |v|
    v.weight 1
    v.candidate "coarse Score" do |c|
      c.score 1
    end
    v.candidate "fine Score" do |c|
      c.score Rational(100, 100)
    end
    v.candidate "Approval" do |c|
      c.score Rational(85, 100)
    end
    v.candidate "Bucklin" do |c|
      c.score Rational(70, 100)
    end
    v.candidate "Majority Judgment" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(75, 100)
    end
    v.candidate "Instant Runoff" do |c|
      # c.rank  2 Not trying to rank these.
      c.score Rational(30, 100)
    end
  end
end
 
 
 
################################################################################
#                                                                              #
#                               R A N G E                                      #
#                                                                              #
################################################################################
 
 
# Score or range voting.
 
class ScoreElection < ExtendedObject
  attr_accessor :max_score # What is the maximum score that a voter is allowed to assign to a
                             # candidate in this election?
  # Code all over the place assumes the minimum score is zero.
  def initialize
    @max_score = Rational(1, 1)
    super
  end
  def voters
    $example.voters
  end
  def candidates
    $example.candidates
  end
  def ballots
    @ballots ||= voters.map do | a_voter |
      ScoreBallot.new do |it|
        it.election = self
        it.voter = a_voter
      end
    end
  end
  def first_round
    # Answer with my first round.
    @first_round ||= ScoreRound.new do |it|
      it.real_ballots = ballots
      it.candidates = candidates
      it.ordinal = 1 # for display
    end
  end
end
 
 
class << $example
  # This is a re-open.
 
  attr_accessor :score_election
 
  def voters
    voters_by_name.values
  end
  def candidates
    candidates_by_name.values
  end
end
 
$example.score_election = ScoreElection.new
 
 
class ScoreBallot < ExtendedObject
  attr_writer :weight
  attr_accessor :voter, :election
  attr_writer :scores_by_candidate
 
  def weight
    @weight ||= voter.weight.to_r
  end
  def inspect
    if voter
      "{ballot of #{voter.inspect} wt:#{weight} #{scores_by_candidate.size} scores}"
    else
      "{a score ballot}"
    end
  end
 
  def max_score
    election.max_score
  end
 
  def scores_by_candidate
    @scores_by_candidate ||= lambda do
      r = Hash.new
      voter.scores_by_candidate.each do | cand, score |
        r[cand] = score.to_r
      end
      r
    end.call
  end
 
  def weighted_score_for_candidate a_candidate
    hit = scores_by_candidate[a_candidate]
    if hit
      hit * weight
    else
      nil
    end
  end
 
  def []=(k, v)
    scores_by_candidate[k] = v
  end
 
  def deweighted_with_winners some_winners
    # Answer with a ballot similar to myself but with weight determined by
    # some_winners as canddidates who have already won in prior rounds of the
    # multi-winner election.
    sum = some_winners.inject(0.to_r) do | acc, a_winner |
      acc + ((weighted_score_for_candidate a_winner) || 0.to_r)
    end
    new_weight = Rational(1, 2) * voter.weight / (Rational(1, 2) + sum.to_r / max_score)
    if new_weight == weight
      self
    else
      n = self.class.allocate
      n.scores_by_candidate = scores_by_candidate
      n.voter               = voter
      n.election            = election
      n.weight              = new_weight
      n
    end
  end
end
 
class FakeBallot < ExtendedObject
  # There exist versions of score election code that do not use this class.
  attr_accessor :weight
  def weighted_score_for_candidate any_candidate
    0.to_r
  end
  def deweighted_with_winners some_winners
    self
  end
end
 
class RoundCandidateTally
  # The purpose of a round candidate tally is to calculate the total score that
  # a candidate receives in a round.
 
  attr_accessor :candidate, :round
 
  def score
    @score ||= lambda do
      acc  = Rational(0)
      base = Rational(0)
      round.ballots.each do | a_ballot |
        hit = a_ballot.weighted_score_for_candidate candidate
        if hit
          acc  += hit
          # base += a_ballot.weight
        end
        base += a_ballot.weight # even if candidate not mentioned on ballot.
      end
      acc / base
    end.call
  end
 
  def inspect
    if @candidate
      "{#{score.to_f} #{candidate.name}}"
    else
      "{an uninitialized tally object}"
    end
  end
end
 
class ScoreRound < ExtendedObject
  # An instance represents a round of tallying for a reweighted range (score) multi-winner
  # election.
 
  attr_accessor :ballots, :candidates, :ordinal
  attr_writer :prior_winners
 
  attr_writer :winners
    # Can be set from outside to express decision between ties for first place.
    # Expressed as tallies, not candidates (historical reasons).
    # Probably should have just one element.
 
  def real_ballots=(them)
    # Receive them as the real ballots on which to base my work.
    # Internally, our ballots could also include artificial ballots for
    # the "better quorum" scheme http://r...content-available-to-author-only...g.org/BetterQuorum.html
    # but that feature is commented out.
    # fake = FakeBallot.new {|it| it.weight = [them.size, 1000].min.to_r}
    self.ballots = them # + [fake]
  end
 
  def prior_winners
    # What candidates already won on prior rounds?
    @prior_winners ||= []
  end
 
  def follow prior_round
    # Be the round that follows prior_round.
    self.ordinal = prior_round.ordinal + 1
    self.prior_winners = prior_round.prior_winners + prior_round.winners.map(&:candidate)
    self.ballots = prior_round.ballots.map {|e|e.deweighted_with_winners prior_winners}
    self.candidates = prior_round.candidates - prior_winners
    true
  end
 
  def inspect
    if ordinal
      "{round #{ordinal}}"
    else
      "{a round}"
    end
  end
 
  def tallies
    @tallies ||= lambda do
      candidates.map do | a_candidate |
        n = RoundCandidateTally.new
        n.round     = self
        n.candidate = a_candidate
        n
      end
    end.call
  end
 
  def ordered_tallies
    tallies.sort_by {|t| - t.score}
  end
 
  def winners
    @winners ||= leaders # by default; can be set otherwise.
  end
 
  def leaders
    # Answer with the tallies of the candidates in first place by score.
 
    @leaders ||= lambda do
      ordered_tallies = self.ordered_tallies
      acc = []
      unless ordered_tallies.empty?
        cur = 1
        lim = ordered_tallies.size
        top_score = ordered_tallies.first.score
        acc = [ordered_tallies.first]
        while cur < lim && (hit = ordered_tallies[cur]).score == top_score
          acc += [hit]
          cur += 1
        end # while
      end # unless
      acc
    end.call
  end # def
 
  def successor
    r = self.class.new
    r.follow self
    r
  end
  def next_round
    successor
  end
  def next    # Can do this with a keyword?  Yes, but be careful with implied "self".
    successor
  end
end # class
 
 
 
################################################################################
#                                                                              #
#                               O G L E                                        #
#                                                                              #
################################################################################
 
# Rank election by my best understanding of the method of James Ogle despite being
# somewhat confused by his communications about it.
 
# An Ogle election only has one round.  However, to make the code parallel the
# code for a score election, I will objectify the round.
 
class OgleElection < ExtendedObject
  def voters
    $example.voters
  end
  def candidates
    $example.candidates
  end
  def ballots
    @ballots ||= voters.map do | a_voter |
      OgleBallot.new do |it|
        it.election = self
        it.voter = a_voter
      end
    end
  end
  def first_round
    # Answer with my first round.
    @first_round ||= OgleRound.new do |it|
      it.real_ballots = ballots
      it.candidates = candidates
      it.ordinal = 1 # for display
    end
  end
end
 
class << $example
  attr_accessor :rank_election
end
$example.rank_election = OgleElection.new
 
class OgleTally
  # An instance denotes the tally of a candidate across the ballots.
 
  attr_accessor :candidate, :round
 
  def high_order_part
    do_tally unless @high_order_part
    @high_order_part
  end
  def low_order_part
    do_tally unless @low_order_part
    @low_order_part
  end
 
  def inspect
    if @candidate && @round
      "{(#{high_order_part}, #{low_order_part}) #{candidate.name}}"
    else
      "{a tally}"
    end
  end
 
  def <=> another
    if    high_order_part < another.high_order_part
      1
    elsif high_order_part > another.high_order_part
      -1
    elsif low_order_part  < another.low_order_part
      1
    elsif low_order_part  > another.low_order_part
      -1
    else
      0
    end
  end
 
  def do_tally
    # Private.
    high = 0
    low = 0
    round.ballots.each do | a_ballot |
      hit = a_ballot.rank_for_candidate candidate
      if hit
        high += a_ballot.weight         # tic count.
        low -= hit * a_ballot.weight    # sum rank numbers negated.
      end
    end
    @high_order_part = high
    @low_order_part  = low
    true
  end
end
 
class OgleRound < ExtendedObject
  attr_accessor :ballots, :candidates, :ordinal
  attr_writer :prior_winners, :winners
 
  def real_ballots=(them)
    # Receive them as the real ballots on which to base my work.
    self.ballots = them
  end
 
  def prior_winners
    # What candidates already won on prior rounds?
    @prior_winners ||= []
  end
 
  def follow prior_round
    # Be the round that follows prior_round.
    self.ordinal = prior_round.ordinal + 1
    self.prior_winners = prior_round.prior_winners + prior_round.winners.map(&:candidate)
    self.ballots = prior_round.ballots.map {|e|e.deweighted_with_winners prior_winners}
    self.candidates = prior_round.candidates - prior_winners
    true
  end
 
  def inspect
    if ordinal
      "{round #{ordinal}}"
    else
      "{a round}"
    end
  end
 
  def tallies
    @tallies ||= lambda do
      candidates.map do | a_candidate |
        n = OgleTally.new
        n.round     = self
        n.candidate = a_candidate
        n
      end
    end.call
  end
 
  def ordered_tallies
    tallies.sort
  end
 
  def winners
    @winners ||= leaders
  end
 
  def leaders
    # Answer with the tallies of the candidates in first place by Ogle pair.
    throw "Don't ask."
  end # def
 
  def successor
    r = self.class.new
    r.follow self
    r
  end
  def next_round
    successor
  end
  def next    # Can do this with a keyword?  Yes, but be careful with implied "self".
    successor
  end
end
 
class OgleBallot < ExtendedObject
  attr_accessor :voter, :election
  attr_writer :ranks_by_candidate
  attr_writer :weight # for made-up examples where a ballot represents many.
 
  def inspect
    if voter
      "{ballot of #{voter.inspect} #{ranks_by_candidate.size} ranks}"
    else
      "{a score ballot}"
    end
  end
 
  def rank_for_candidate a_candidate
    ranks_by_candidate[a_candidate]
  end
  def weight
    @weight ||= voter.weight || 1
  end
 
  def ranks_by_candidate
    @ranks_by_candidate ||= lambda do
      r = voter.ranks_by_candidate
      # Just do a sanity check.
      candidates_by_rank = Array.new r.size
      r.each {|k, v| candidates_by_rank[v - 1] = k}
      candidates_by_rank.each do |e|
        e || (throw "Bad rank ballot #{voter.inspect}.")
      end
      r
    end.call
  end
end
 
 
 
 
################################################################################
#                                                                              #
#                               B U C K L I N                                  #
#                                                                              #
################################################################################
 
 
# What's it take to run a Bucklin election?
 
class BucklinElection < ExtendedObject
  def electorate_size
    @electorate_size ||= ballot_models.inject(0){| a, e | a + e.instance_count}
  end
  def half_electorate_size
    @half_electorate_size ||= electorate_size * Rational(1, 2)
  end
  def finds_majority_in_score a_score
    a_score > half_electorate_size
  end
  def candidates
    $example.candidates
  end
  def assess_ballot_models
    # Initialize myself according to what I find in the example ballot_models.
    self.approval_grade_count = [ $example.voters.map do |b|
      b.ranks_by_candidate.values.max
    end.max, 3 ].max
    true
  end
  def approval_grade_count= the_count
    # Initialize myself to tally the election based on the given count of
    # Bucklin grades or ranks indicating approval.
    @approval_grade_count = the_count
  end
  def approval_grade_count
    @approval_grade_count or assess_ballot_models
    @approval_grade_count
  end
  def grade_from_one_based_rank_index an_index
    # Given a one-based index to a grade viewed as a rank, where rank 1 is the
    # most preferred rank and higher numbers correspond to the less-preferred
    # ranks, answer with the abstrct grade object representing the corresponding
    # grade in the Bucklin election.
    grades_by_rank_index[an_index - 1]
  end
  def most_preferred_grade
    @most_preferred_grade ||= grades_by_rank_index[0]
  end
  def grades_by_rank_index
    @grades_by_rank_index ||= lambda do # called immediately.
      they = Array.new approval_grade_count
      (0..(approval_grade_count - 1)).each do|i|
        they[i] = BucklinGrade.new {|n| n.rank_index = i}
      end
      (1..(approval_grade_count - 1)).each do|i|
        they[i - 1].next_less_preferred = they[i]
      end
      they
    end.call
  end
  def grades
    grades_by_rank_index.values
  end
  def ballot_models
    @ballot_models ||= $example.voters.map do | a_voter |
      BucklinBallotModel.new do |b|
        b.instance_count = a_voter.weight
        a_dict = Hash.new
        a_voter.ranks_by_candidate.each do | candidate, one_based_rank |
          a_dict[candidate] = grade_from_one_based_rank_index one_based_rank
        end
        b.grades_by_candidate = a_dict
      end
    end
  end
  def first_round
    BucklinRound.new {|n| n.election = self}
  end
end
class BucklinBallotModel < ExtendedObject
  # An instance represents a group of ballots all marked the same way.
  attr_accessor :grades_by_candidate, :instance_count
end
class BucklinGrade < ExtendedObject
  # An instance represents a grade or rank.
  attr_accessor :rank_index # zero-based index where most preferred gets lowest.
  attr_accessor :next_less_preferred
end
class BucklinCandidateTally < ExtendedObject
  attr_accessor :candidate
  attr_accessor :approval_accumulators_by_rank_index
end
 
class BucklinRound < ExtendedObject
  # An instance represents a round in the election.
  # It might be the only round.
  attr_accessor :election
  def finds_majority_in_score a_score
    election.finds_majority_in_score a_score
  end
  def approval_grade_count
    election.approval_grade_count
  end
  def ballot_models
    election.ballot_models
  end
  def candidates
    election.candidates
  end
  def most_preferred_grade
    election.most_preferred_grade
  end
  def working_tallies
    # Answer with data structures allocated for the candidates'
    # tallies but not necessarily filled in with the totals yet.
    @working_tallies ||= candidates.map do | c |
      BucklinCandidateTally.new do |n|
        n.candidate = c
        n.approval_accumulators_by_rank_index = [0] * approval_grade_count
      end
    end
  end
  def working_tallies_by_candidate
    @working_tallies_by_candidate ||= working_tallies.inject({}) do | a, e |
      a.update({e.candidate => e})
    end
  end
  def working_tally_for_candidate a_candidate
    working_tallies_by_candidate[a_candidate]
  end
  def tallies
    # Answer with the candidate tallies for this round.
    @tallies or ballot_models.each do | ab |
      ab.grades_by_candidate.each do | candidate, grade |
        ( working_tally_for_candidate candidate
        ).approval_accumulators_by_rank_index[grade.rank_index] +=
          ab.instance_count
      end
    end
    @tallies = @working_tallies
  end
  def first_miniround
    BucklinMiniround.new do |n|
      n.round = self
      n.through_grade = self.most_preferred_grade
    end
  end
end
 
class BucklinMiniround < ExtendedObject
  # A mini-round deals with the grades from the most preferred down through
  # some given grade, and looks at the candidates with regard to their scores
  # taken through that range of grades.
  attr_accessor :round, :through_grade
  def finds_majority_in_score a_score
    round.finds_majority_in_score a_score
  end
  def tallies
    @tallies ||= round.tallies.map do |e| BucklinTallyThroughGrade.new do |n|
      n.tally = e
      n.through_grade = through_grade
    end end
  end
  def majority_tallies
    tallies.select{|e| finds_majority_in_score e.score}
  end
  def next
    ng = through_grade.next_less_preferred
    ng and self.class.new do |n|
      n.round = round
      n.through_grade = ng
    end
  end
  def inspect
    "{a miniround}"
  end
end
class BucklinTallyThroughGrade < ExtendedObject
  # An instance holds a candidate's score summed down through a certain grade
  # in a round of a Bucklin election.
  attr_accessor :tally, :through_grade
  def score
    @score ||= (0..(through_grade.rank_index)).inject(0) do | a, i |
      a + approval_accumulators_by_rank_index[i]
    end
  end
  def approval_accumulators_by_rank_index
    tally.approval_accumulators_by_rank_index
  end
  def inspect
    if @tally && @through_grade
      "{#{score} #{candidate.name}}"
    else
      super
    end
  end
  def candidate
    tally.candidate
  end
end
 
 
 
################################################################################
#                                                                              #
#                  Symmetric Improved Condorcet Top                            #
#                                                                              #
################################################################################
 
class SymmetricImprovedCondercetTopElection < ExtendedObject
  # Symmetric Improved-Condorcet-Top
  # http://w...content-available-to-author-only...a.com/wiki/Symmetrical_ICT
 
  class BallotModel < ExtendedObject
    # An instance represents a group of ballots that are marked the same way.
 
    attr_accessor :underlying # My basis in the raw data.
 
    def ranks__over a, b
      # Answer whether I rank candidate a over candidate b.
      if ! score_for_candidate(a)
        false
      elsif ! score_for_candidate(b)
        true
      else
        score_for_candidate(a) > score_for_candidate(b)
      end # if
    end # ranks__over
    def score_for_candidate a_candidate
      # Answer with the score that I assign to a_candidate.
      # If none, answer nil.
      underlying.scores_by_candidate[a_candidate.underlying]
    end
    def instance_count
      # How many ballots are in me?
      underlying.weight
    end
    def ranks_at_bottom a_candidate
      # Answer whether I rank a_candidate at the bottom.
      i = score_for a_candidate
      ! i || 0 == i
    end
    def ranks_at_top a_candidate
      # Answer whether I rank a_candidate at the top.
      underlying.scores_by_candidate.values.max == (score_for a_candidate)
    end
    def score_for a_candidate
      score_for_candidate a_candidate
    end
  end # BallotModel
 
  class Candidate < ExtendedObject
    attr_accessor :underlying # the rawer data structure that underlies me.
    attr_accessor :election   # the election to which I belong.
 
    def inspect
      if @underlying
        "{#{@underlying.name}}"
      else
        "{an unitialized Candidate structure for Symmetric ICT}"
      end
    end
    def beats another
      # Answer whether I beat the indicated other candidate.
      (self % another).beats
    end
    def % another
      # Answer with the pair of candidates consisting of myself and another
      # in that order.  Another should not be me.
      another.inverse_percent self
    end # %
    def inverse_percent another
      # Indicate the pair of which another is the left member and I am the
      # right member.  another should not be me.
      inward_edges_by_candidate[another]
    end
    def is_unbeaten
      # Answer whether I am unbeaten.
      if nil == @is_unbeaten
        inward_edges.each do | a_pair |
          if a_pair.beats
            return @is_unbeaten = false # Someone beat me.
          end
        end
        # The above loop contains an early return.
        @is_unbeaten = true
      end
      # This method contains an early return.
      @is_unbeaten
    end
    def inward_edges
      # Answer with the candidate pairs of which I am the right-hand candidate.
      @inward_edges ||= others.map do | another |
        CandidatePair.new{|n| n.left = another; n.right = self}
      end
    end
    def inward_edges_by_candidate
      @inward_edges_by_candidate ||= inward_edges.inject({}) do | a, e |
        a[e.left] = e
        a
      end
    end
    def others
      # Indicate the candidates who are not me.
      all.select{|e| self != e}
    end
    def all
      # Indicate the candidates in the election.
      election.candidates
    end
    def top_count
      # The count of ballots that rank me at the top.
      @top_count_prim ||= ballot_models.inject(0) do
        | a, e|
        if e.ranks_at_top self
          a + e.instance_count
        else
          a
        end # if
      end # do
    end # top_count
    def ballot_models; election.ballot_models; end
  end # Candidate
 
  class CandidatePair < ExtendedObject
    # An instance represents an ordered pair of different candidates.
    attr_accessor :left, :right
    attr_reader :bottom_count_prim, :top_count_prim # for use with mates.
    def bottom_count
      # Return the count of ballots that rank both my members at the bottom.
      @bottom_count_prim ||= transpose.bottom_count_prim || ballot_models.inject(0) do
        | a, e|
        if e.ranks_at_bottom left and e.ranks_at_bottom right
          a + e.instance_count
        else
          a
        end
      end 
    end
    def top_count
      # Return the count of ballots that rank both my members at the top.
      @top_count_prim ||= transpose.top_count_prim || ballot_models.inject(0) do
        | a, e|
        if e.ranks_at_top left and e.ranks_at_top right
          a + e.instance_count
        else
          a
        end
      end 
    end
    def election
      right.election
    end
    def ballot_models
      election.ballot_models
    end
    def beats
      if approximately_beats
        if transpose.approximately_beats
          over_count > transpose.over_count
        else
          true
        end
      else
        false
      end
    end # beats
    def approximately_beats
      # Answer whether by the first-cut definition of "beats", left would be
      # said to beat right.
      over_count + bottom_count > transpose.over_count + top_count
    end
    def over_count
      # Return the count of ballots that rate left over right.
      @over_count ||= ballot_models.inject(0) do | a, m |
        if m.ranks__over(left, right)
          a + m.instance_count
        else
          a
        end
      end
    end # over_count
    def transpose
      # Answer with the candidate pair that has the same candidates I have, but
      # in the opposite order.
      @transpose ||= right % left
    end
  end # CandidatePair
  def unbeaten_candidates_count
    @unbeaten_candidates_count ||= unbeaten_candidates.size
  end
  def unbeaten_candidates
    @unbeaten_candidates ||= candidates.select{|c|c.is_unbeaten}
  end
  def candidates_count
    @candidates_count ||= candidates.size
  end
  def candidates
    @candidates ||= underlying.candidates_by_name.values.map do | uc |
      Candidate.new{|n| n.underlying = uc; n.election = self}
    end
  end
  def leaders
    # Answer with the candidates tied for the win.
    if unbeaten_candidates_count == 1
      unbeaten_candidates
    elsif unbeaten_candidates_count == 0 or
      unbeaten_candidates_count == candidates_count
    # then
      leaders_by_top_count_among candidates
    else
      leaders_by_top_count_among unbeaten_candidates
    end
  end
  def print_leaders_with_explanation
    # Print the names of the candidates tied for the win, with a top-level
    # explanation of by what rule we arrive at that result.
    if unbeaten_candidates_count == 1
      puts "There is only one unbeaten candidate, #{unbeaten_candidates.first}."
    elsif unbeaten_candidates_count == 0 or
      unbeaten_candidates_count == candidates_count
    # then
      puts unbeaten_candidates_count == 0 ?
        "There are no unbeaten candidates." :
        "All #{candidates_count} candidates are unbeaten."
      puts "The candidates who received top billing from the most ballots are" +
        " " + (leaders_by_top_count_among candidates).inspect + "."
    else
      puts "Some, but not all, of the candidates are unbeaten."
      puts "Among the unbeaten ones, these are the ones who received top"
      puts "rankings from the highest count of ballots:"
      puts leaders_by_top_count_among(unbeaten_candidates).inspect
    end
  end
  def leaders_by_top_count_among some_candidates
    # Answer with the candidates from among some_candidates who received top
    # ranking from the most ballots.
    leaders_among(some_candidates) {|e| e.top_count}
  end
  def leaders_among(some_objects, &y)
    # Answer with those among some_objects to which the result of calling the
    # given block on them is the highest.
    max_r = some_objects.map(&y).max
    some_objects.select{|e| max_r == y.call(e)}
  end
  def underlying
    # Indicate the rawer data structure that underlies me.
    $example
  end
  def ballot_models
    @ballot_models ||= underlying.voters.map do |v| BallotModel.new do |n|
      n.underlying = v
    end end
  end
end # SymmetricImprovedCondercetTopElection
 
 
################################################################################
#                                                                              #
#                       Top-level Queries                                      #
#                                                                              #
################################################################################
 
 
# Who wins the first round of the score election?  Let r1 be the first round.
 
r1 = $example.score_election.first_round
puts "Score election."
puts
puts "Round 1, ordered tallies:"
r1.ordered_tallies.each {|e| puts "  " + e.inspect}
puts
puts "Round 1 leaders #{r1.leaders}"
# puts "Manual resolution of tie: fine Score used as the winner."
# r1.winners = [r1.leaders[0]]
# puts "r1.winners #{r1.winners}"
r2 = r1.next
puts "Round 2 leaders #{r2.leaders}."
r3 = r2.next
puts "Round 3 leaders #{r3.leaders}."
r4 = r3.next
puts "Round 4 leaders #{r4.leaders}."
 
puts
puts
puts "Symmetric Improved Condorcet Top election:"
puts
sicte = SymmetricImprovedCondercetTopElection.new
sicte.print_leaders_with_explanation
 

cmVxdWlyZSAicmF0aW9uYWwiCgojIFNldCB1cCB0aGUgY2xhc3NlcyByZXF1aXJlZCB0byBzd2FsbG93IHRoZSByYXcgZGF0YSBmb3IgcHJlc2VudGF0aW9uIHRvIHRoZQojIHJlc3Qgb2YgdGhlIHByb2dyYW0uCgpjbGFzcyBFeHRlbmRlZE9iamVjdAogICMgUHV0IGFueSBtZXRob2RzIGhlcmUgdGhhdCBJIHdhbnQgdG8gdXNlIGp1c3QgYWJvdXQgYWxsIG92ZXIgdGhlIHBsYWNlLgogIGRlZiBpbml0aWFsaXplCiAgICBzdXBlcgogICAgeWllbGQgc2VsZiBpZiBibG9ja19naXZlbj8KICBlbmQKZW5kCmNsYXNzIFBlcnNvbiA8IEV4dGVuZGVkT2JqZWN0CiAgYXR0cl9hY2Nlc3NvciA6bmFtZQogIGRlZiBpbnNwZWN0CiAgICBpZiBuYW1lCiAgICAgICJ7I3tjbGFzc193b3JkfSAje25hbWV9fSIKICAgIGVsc2UKICAgICAgInthICN7Y2xhc3Nfd29yZH19IgogICAgZW5kCiAgZW5kCmVuZApjbGFzcyBWb3RlciA8IFBlcnNvbgogIGF0dHJfYWNjZXNzb3IgOnJhbmtzX2J5X2NhbmRpZGF0ZSwgOnNjb3Jlc19ieV9jYW5kaWRhdGUsIDp3ZWlnaHQKICBjbGFzcyBJbml0aWFsaXplcgogICAgYXR0cl9hY2Nlc3NvciA6dGFyZ2V0CiAgICBjbGFzcyBDYW5kaWRhdGVJbml0aWFsaXplcgogICAgICBhdHRyX2FjY2Vzc29yIDp2b3RlciwgOmNhbmRpZGF0ZQogICAgICBkZWYgcmFuayBhX3JhbmsKICAgICAgICB2b3Rlci5yYW5rc19ieV9jYW5kaWRhdGVbY2FuZGlkYXRlXSAgPSBhX3JhbmsKICAgICAgZW5kCiAgICAgIGRlZiBzY29yZSBhX3Njb3JlCiAgICAgICAgdm90ZXIuc2NvcmVzX2J5X2NhbmRpZGF0ZVtjYW5kaWRhdGVdID0gYV9zY29yZQogICAgICBlbmQKICAgIGVuZAogICAgZGVmIHdlaWdodCBzaGFsbF9iZQogICAgICB0YXJnZXQud2VpZ2h0ID0gc2hhbGxfYmUKICAgIGVuZAogICAgZGVmIGNhbmRpZGF0ZSBuYW1lLCAmeQogICAgICAjIEFjY2VwdCBkYXRhIGluaXRpYWxpemF0aW9uIGNvbmNlcm5pbmcgdGhlIHZvdGVyJ3MgYXR0aXR1ZGUgdG8gdGhlIG5hbWVkIGNhbmRpZGF0ZS4KICAgICAgdGFyZ2V0LnNjb3Jlc19ieV9jYW5kaWRhdGUgfHw9IEhhc2gubmV3CiAgICAgIHRhcmdldC5yYW5rc19ieV9jYW5kaWRhdGUgIHx8PSBIYXNoLm5ldwogICAgICBjaSA9IENhbmRpZGF0ZUluaXRpYWxpemVyLm5ldwogICAgICBjaS52b3RlciA9IHRhcmdldAogICAgICBjaS5jYW5kaWRhdGUgPSAkZXhhbXBsZS5jYW5kaWRhdGUgbmFtZQogICAgICB5LmNhbGwgY2kKICAgICAgdHJ1ZQogICAgZW5kCiAgZW5kICMgSW5pdGlsaXplcgogIGRlZiBpbml0aWFsaXplcgogICAgIyBBbnN3ZXIgd2l0aCBhbiBvYmplY3QgdGhhdCBjYW4gaW5pdGlhbGl6ZSBtZSBmcm9tIGRhdGEgZGVjbGFyYXRpb25zLgogICAgaW9iaiA9IEluaXRpYWxpemVyLm5ldwogICAgaW9iai50YXJnZXQgPSBzZWxmCiAgICBzZWxmLndlaWdodCA9IDEgIyBjYW4gYmUgY2hhbmdlZAogICAgaW9iagogIGVuZAogIGRlZiBjbGFzc193b3JkCiAgICAidm90ZXIiCiAgZW5kCmVuZCAjIFZvdGVyCmNsYXNzIENhbmRpZGF0ZSA8IFBlcnNvbgogIGRlZiBjbGFzc193b3JkCiAgICAiY2FuZGlkYXRlIgogIGVuZAplbmQKCiRleGFtcGxlIHx8PSBPYmplY3QubmV3CmNsYXNzIDw8ICRleGFtcGxlCiAgYXR0cl9hY2Nlc3NvciA6ZGF0YV9pbml0aWFsaXplcl90aGluZ3ksIDp2b3RlcnNfYnlfbmFtZSwgOmNhbmRpZGF0ZXNfYnlfbmFtZQogIGRlZiBpbnNwZWN0CiAgICAiJGV4YW1wbGUiCiAgZW5kCiAgZGVmIGRhdGEKICAgICMgQWNjZXB0IGEgZGF0YSBkZWNsYXJhdGlvbiBzcGVjaWZpZWQgYnkgdGhlIGJsb2NrLgogICAgeWllbGQgZGF0YV9pbml0aWFsaXplcl90aGluZ3kKICAgIHRydWUKICBlbmQKICBkZWYgdm90ZXIgbmFtZQogICAgIyBSZXR1cm4gYW4gb2JqZWN0IHRvIHJlcHJlc2VudCB0aGUgdm90ZXIgd2hvc2UgbmFtZSBpcyBnaXZlbi4KICAgIHZvdGVyc19ieV9uYW1lW25hbWVdICAgICB8fD0gVm90ZXIubmV3ICAgICB7fHZ8IHYubmFtZSA9IG5hbWV9CiAgZW5kCiAgZGVmIGNhbmRpZGF0ZSBuYW1lCiAgICAjIFJldHVybiBhbiBvYmplY3QgdG8gcmVwcmVzZW50IHRoZSBjYW5kaWRhdGUgd2hvc2UgbmFtZSBpcyBnaXZlbi4KICAgIGNhbmRpZGF0ZXNfYnlfbmFtZVtuYW1lXSB8fD0gQ2FuZGlkYXRlLm5ldyB7fGN8IGMubmFtZSA9IG5hbWV9CiAgZW5kCiAgZGVmIHZvdGVycwogICAgdm90ZXJzX2J5X25hbWUudmFsdWVzCiAgZW5kCiAgZGVmIGNhbmRpZGF0ZXMKICAgIGNhbmRpZGF0ZXNfYnlfbmFtZS52YWx1ZXMKICBlbmQKZW5kICMgY2xhc3MgPDwgJGV4YW1wbGUKJGV4YW1wbGUuY2FuZGlkYXRlc19ieV9uYW1lIHx8PSBIYXNoLm5ldwokZXhhbXBsZS52b3RlcnNfYnlfbmFtZSAgICAgfHw9IEhhc2gubmV3CiRleGFtcGxlLmRhdGFfaW5pdGlhbGl6ZXJfdGhpbmd5ID0gT2JqZWN0Lm5ldwpjbGFzcyA8PCAkZXhhbXBsZS5kYXRhX2luaXRpYWxpemVyX3RoaW5neQogIGRlZiBpbnNwZWN0CiAgICAie3RoZSBkYXRhIGluaXRpYWxpemVyIHRoaW5neX0iCiAgZW5kCiAgZGVmIHZvdGVyIHZvdGVyX25hbWUsICZ5CiAgICAjIEFjY2VwdCBhIGRhdGEgZGVjbGFyYXRpb24gY29uY2VybmluZyB0aGUgdm90ZXIgd2hvc2UgbmFtZSBpcyBnaXZlbiBieQogICAgIyB2b3Rlcl9uYW1lLiAgQ29uc3VsdCB0aGUgYmxvY2sgZ2l2ZW4gZm9yIGZ1cnRoZXIgZGV0YWlscyBhYm91dCB0aGUgZGF0YSB0byBiZSBhc3NvY2lhdGVkCiAgICAjIHRvIHRoZSB2b3Rlci4KICAgIHkuY2FsbCgoJGV4YW1wbGUudm90ZXIgdm90ZXJfbmFtZSkuaW5pdGlhbGl6ZXIpCiAgZW5kCmVuZAoKCgojIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEQgQSBUIEEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIwoKIyBPSywgdGhlIHJhdyBkYXRhIGFyZSBoZXJlLiAgWW91IGNhbiBjbG9uZSB0aGlzIGNvZGUgYW5kIHN0dWJzdGl0dXRlIHlvdXIgb3duCiMgZXhhbXBsZSBoZXJlLgoKJGV4YW1wbGUuZGF0YSBkbyB8ZHwKICBkLnZvdGVyICJPc3NpcG9mZiIgZG8gfHZ8CiAgICB2LndlaWdodCAxCiAgICB2LmNhbmRpZGF0ZSAiZmluZSBTY29yZSIgZG8gfGN8CiAgICAgIGMuc2NvcmUgMQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiY29hcnNlIFNjb3JlIiBkbyB8Y3wKICAgICAgYy5zY29yZSBSYXRpb25hbCg3NSwgMTAwKQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiQXBwcm92YWwiIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDc0LCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJFUi1CdWNrbGluIChkZWxheSkiIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDc0LCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJFUi1CdWNrbGluIChubyBkZWxheSkiIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDczLCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJNYWpvcml0eSBKdWRnbWVudCIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoMSwgMTAwKQogICAgZW5kCiAgZW5kCiAgZC52b3RlciAiSmVubmluZ3MiIGRvIHx2fAogICAgdi5jYW5kaWRhdGUoImNvYXJzZSBTY29yZSIpICAgICAge3xjfGMuc2NvcmUgMX0KICAgIHYuY2FuZGlkYXRlKCJmaW5lIFNjb3JlIikgICAgICAgIHt8Y3xjLnNjb3JlIDF9CiAgICB2LmNhbmRpZGF0ZSgiTWFqb3JpdHkgSnVkZ21lbnQiKSB7fGN8Yy5zY29yZSAxfQogICAgdi5jYW5kaWRhdGUoIkFwcHJvdmFsIikgICAgICAgICAge3xjfGMuc2NvcmUgMX0KICAgIHYuY2FuZGlkYXRlKCJDb25kb3JjZXQiKSAgICAgICAgIHt8Y3xjLnNjb3JlIFJhdGlvbmFsKDc1LCAxMDApfQogICAgdi5jYW5kaWRhdGUoIkluc3RhbnQgUnVub2ZmIikgICAge3xjfGMuc2NvcmUgUmF0aW9uYWwoMzUsIDEwMCl9CiAgZW5kCiAgZC52b3RlciAiUXVpbm4iIGRvIHx2fAogICAgdi5jYW5kaWRhdGUgIkVSLUJ1Y2tsaW4gKGRlbGF5KSIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoOTMsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgIkVSLUJ1Y2tsaW4gKG5vIGRlbGF5KSIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoOTMsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUoIlJhbmtlZCBQYWlycyIpICAgICAgICAgICB7fGN8Yy5zY29yZSBSYXRpb25hbCg5MSwgMTAwKX0gIyBDb25kb3JjZXQuCiAgICB2LmNhbmRpZGF0ZSgiSW1wcm92ZWQgQ29uZG9yY2V0IFRvcCIpIHt8Y3xjLnNjb3JlIFJhdGlvbmFsKDkxLCAxMDApfSAjIENvbmRvcmNldC4KICAgIHYuY2FuZGlkYXRlKCJFUkFCVyIpICAgICAgICAgICAgICAgICAge3xjfGMuc2NvcmUgUmF0aW9uYWwoOTEsIDEwMCl9ICMgQ29uZG9yY2V0PwogICAgdi5jYW5kaWRhdGUoIm90aGVyIENvbmRvcmNldCIpIHt8Y3xjLnNjb3JlIFJhdGlvbmFsKDkwLCAxMDApfQogICAgdi5jYW5kaWRhdGUoImNvYXJzZSBTY29yZSIpICAgICAge3xjfGMuc2NvcmUgUmF0aW9uYWwoOCwgMTApfQogICAgdi5jYW5kaWRhdGUoImZpbmUgU2NvcmUiKSAgICAgICAge3xjfGMuc2NvcmUgUmF0aW9uYWwoOTQsIDEwMCl9CiAgICB2LmNhbmRpZGF0ZSgiUnVub2ZmIikge3xjfGMuc2NvcmUgUmF0aW9uYWwoNCwgMTApfQogICAgdi5jYW5kaWRhdGUoIk1ham9yaXR5IEp1ZGdtZW50IikgICAgICAgICAgICB7fGN8Yy5zY29yZSAxfQogICAgdi5jYW5kaWRhdGUoIkNvbnRpbnVvdXMgTWFqb3JpdHkgSnVkZ21lbnQiKSB7fGN8Yy5zY29yZSAxfQogICAgdi5jYW5kaWRhdGUoIlNPREEiKSAgICAgICAgICAgICAgICAgICAgICAgICB7fGN8Yy5zY29yZSAxfQogICAgdi5jYW5kaWRhdGUoIkFwcHJvdmFsIikgICAgICAgICAge3xjfGMuc2NvcmUgUmF0aW9uYWwoOTQsIDEwMCl9CiAgICB2LmNhbmRpZGF0ZSgiQ29uZG9yY2V0IikgICAgICAgICB7fGN8Yy5zY29yZSBSYXRpb25hbCg5MCwgMTAwKX0KICAgIHYuY2FuZGlkYXRlKCJJbnN0YW50IFJ1bm9mZiIpICAgIHt8Y3xjLnNjb3JlIFJhdGlvbmFsKDIwLCAxMDApfQogICAgdi5jYW5kaWRhdGUoIlNjb3JlIChzZWxlY3RlZCBhbHRlcm5hdGl2ZSB2YWx1ZXMpIikge3xjfGMuc2NvcmUgUmF0aW9uYWwoOTksIDEwMCl9CiAgZW5kCiAgZC52b3RlciAiR2lsc29uIiBkbyB8dnwKICAgIHYud2VpZ2h0IDEKICAgIHYuY2FuZGlkYXRlICJjb2Fyc2UgU2NvcmUiIGRvIHxjfAogICAgICBjLnNjb3JlIDEKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgImZpbmUgU2NvcmUiIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDc1LCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJDb25kb3JjZXQiIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDc1LCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJNYWpvcml0eSBKdWRnbWVudCIgZG8gfGN8CiAgICAgICMgYy5yYW5rICAyIE5vdCB0cnlpbmcgdG8gcmFuayB0aGVzZS4KICAgICAgYy5zY29yZSBSYXRpb25hbCg5MCwgMTAwKQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiQnVja2xpbiIgZG8gfGN8CiAgICAgICMgYy5yYW5rICAyIE5vdCB0cnlpbmcgdG8gcmFuayB0aGVzZS4KICAgICAgYy5zY29yZSBSYXRpb25hbCg5MCwgMTAwKQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiUGx1cmFsaXR5IiBkbyB8Y3wKICAgICAgIyBjLnJhbmsgIDIgTm90IHRyeWluZyB0byByYW5rIHRoZXNlLgogICAgICBjLnNjb3JlIFJhdGlvbmFsKDEwLCAxMDApCiAgICBlbmQKICBlbmQKICBkLnZvdGVyICJTaGVudHJ1cCIgZG8gfHZ8CiAgICB2LndlaWdodCAxCiAgICB2LmNhbmRpZGF0ZSAiY29hcnNlIFNjb3JlIiBkbyB8Y3wKICAgICAgYy5zY29yZSAxCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJmaW5lIFNjb3JlIiBkbyB8Y3wKICAgICAgYy5zY29yZSBSYXRpb25hbCgxMDAsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgIkFwcHJvdmFsIiBkbyB8Y3wKICAgICAgYy5zY29yZSBSYXRpb25hbCg5MCwgMTAwKQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiQnVja2xpbiIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoNzUsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgIk1ham9yaXR5IEp1ZGdtZW50IiBkbyB8Y3wKICAgICAgIyBjLnJhbmsgIDIgTm90IHRyeWluZyB0byByYW5rIHRoZXNlLgogICAgICBjLnNjb3JlIFJhdGlvbmFsKDcwLCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJDb25kb3JjZXQiIGRvIHxjfAogICAgICAjIGMucmFuayAgMiBOb3QgdHJ5aW5nIHRvIHJhbmsgdGhlc2UuCiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoNjcsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgIkluc3RhbnQgUnVub2ZmIiBkbyB8Y3wKICAgICAgIyBjLnJhbmsgIDIgTm90IHRyeWluZyB0byByYW5rIHRoZXNlLgogICAgICBjLnNjb3JlIFJhdGlvbmFsKDMwLCAxMDApCiAgICBlbmQKICBlbmQKICBkLnZvdGVyICJMZSd2ZXNxdWUiIGRvIHx2fAogICAgdi53ZWlnaHQgMQogICAgdi5jYW5kaWRhdGUgImNvYXJzZSBTY29yZSIgZG8gfGN8CiAgICAgIGMuc2NvcmUgMQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiZmluZSBTY29yZSIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoMTAwLCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJBcHByb3ZhbCIgZG8gfGN8CiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoODUsIDEwMCkKICAgIGVuZAogICAgdi5jYW5kaWRhdGUgIkJ1Y2tsaW4iIGRvIHxjfAogICAgICBjLnNjb3JlIFJhdGlvbmFsKDcwLCAxMDApCiAgICBlbmQKICAgIHYuY2FuZGlkYXRlICJNYWpvcml0eSBKdWRnbWVudCIgZG8gfGN8CiAgICAgICMgYy5yYW5rICAyIE5vdCB0cnlpbmcgdG8gcmFuayB0aGVzZS4KICAgICAgYy5zY29yZSBSYXRpb25hbCg3NSwgMTAwKQogICAgZW5kCiAgICB2LmNhbmRpZGF0ZSAiSW5zdGFudCBSdW5vZmYiIGRvIHxjfAogICAgICAjIGMucmFuayAgMiBOb3QgdHJ5aW5nIHRvIHJhbmsgdGhlc2UuCiAgICAgIGMuc2NvcmUgUmF0aW9uYWwoMzAsIDEwMCkKICAgIGVuZAogIGVuZAplbmQKCgoKIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMKIyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBSIEEgTiBHIEUgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMKCgojIFNjb3JlIG9yIHJhbmdlIHZvdGluZy4KCmNsYXNzIFNjb3JlRWxlY3Rpb24gPCBFeHRlbmRlZE9iamVjdAogIGF0dHJfYWNjZXNzb3IgOm1heF9zY29yZSAjIFdoYXQgaXMgdGhlIG1heGltdW0gc2NvcmUgdGhhdCBhIHZvdGVyIGlzIGFsbG93ZWQgdG8gYXNzaWduIHRvIGEKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjIGNhbmRpZGF0ZSBpbiB0aGlzIGVsZWN0aW9uPwogICMgQ29kZSBhbGwgb3ZlciB0aGUgcGxhY2UgYXNzdW1lcyB0aGUgbWluaW11bSBzY29yZSBpcyB6ZXJvLgogIGRlZiBpbml0aWFsaXplCiAgICBAbWF4X3Njb3JlID0gUmF0aW9uYWwoMSwgMSkKICAgIHN1cGVyCiAgZW5kCiAgZGVmIHZvdGVycwogICAgJGV4YW1wbGUudm90ZXJzCiAgZW5kCiAgZGVmIGNhbmRpZGF0ZXMKICAgICRleGFtcGxlLmNhbmRpZGF0ZXMKICBlbmQKICBkZWYgYmFsbG90cwogICAgQGJhbGxvdHMgfHw9IHZvdGVycy5tYXAgZG8gfCBhX3ZvdGVyIHwKICAgICAgU2NvcmVCYWxsb3QubmV3IGRvIHxpdHwKICAgICAgICBpdC5lbGVjdGlvbiA9IHNlbGYKICAgICAgICBpdC52b3RlciA9IGFfdm90ZXIKICAgICAgZW5kCiAgICBlbmQKICBlbmQKICBkZWYgZmlyc3Rfcm91bmQKICAgICMgQW5zd2VyIHdpdGggbXkgZmlyc3Qgcm91bmQuCiAgICBAZmlyc3Rfcm91bmQgfHw9IFNjb3JlUm91bmQubmV3IGRvIHxpdHwKICAgICAgaXQucmVhbF9iYWxsb3RzID0gYmFsbG90cwogICAgICBpdC5jYW5kaWRhdGVzID0gY2FuZGlkYXRlcwogICAgICBpdC5vcmRpbmFsID0gMSAjIGZvciBkaXNwbGF5CiAgICBlbmQKICBlbmQKZW5kCgoKY2xhc3MgPDwgJGV4YW1wbGUKICAjIFRoaXMgaXMgYSByZS1vcGVuLgoKICBhdHRyX2FjY2Vzc29yIDpzY29yZV9lbGVjdGlvbgoKICBkZWYgdm90ZXJzCiAgICB2b3RlcnNfYnlfbmFtZS52YWx1ZXMKICBlbmQKICBkZWYgY2FuZGlkYXRlcwogICAgY2FuZGlkYXRlc19ieV9uYW1lLnZhbHVlcwogIGVuZAplbmQKCiRleGFtcGxlLnNjb3JlX2VsZWN0aW9uID0gU2NvcmVFbGVjdGlvbi5uZXcKCgpjbGFzcyBTY29yZUJhbGxvdCA8IEV4dGVuZGVkT2JqZWN0CiAgYXR0cl93cml0ZXIgOndlaWdodAogIGF0dHJfYWNjZXNzb3IgOnZvdGVyLCA6ZWxlY3Rpb24KICBhdHRyX3dyaXRlciA6c2NvcmVzX2J5X2NhbmRpZGF0ZQoKICBkZWYgd2VpZ2h0CiAgICBAd2VpZ2h0IHx8PSB2b3Rlci53ZWlnaHQudG9fcgogIGVuZAogIGRlZiBpbnNwZWN0CiAgICBpZiB2b3RlcgogICAgICAie2JhbGxvdCBvZiAje3ZvdGVyLmluc3BlY3R9IHd0OiN7d2VpZ2h0fSAje3Njb3Jlc19ieV9jYW5kaWRhdGUuc2l6ZX0gc2NvcmVzfSIKICAgIGVsc2UKICAgICAgInthIHNjb3JlIGJhbGxvdH0iCiAgICBlbmQKICBlbmQKCiAgZGVmIG1heF9zY29yZQogICAgZWxlY3Rpb24ubWF4X3Njb3JlCiAgZW5kCgogIGRlZiBzY29yZXNfYnlfY2FuZGlkYXRlCiAgICBAc2NvcmVzX2J5X2NhbmRpZGF0ZSB8fD0gbGFtYmRhIGRvCiAgICAgIHIgPSBIYXNoLm5ldwogICAgICB2b3Rlci5zY29yZXNfYnlfY2FuZGlkYXRlLmVhY2ggZG8gfCBjYW5kLCBzY29yZSB8CiAgICAgICAgcltjYW5kXSA9IHNjb3JlLnRvX3IKICAgICAgZW5kCiAgICAgIHIKICAgIGVuZC5jYWxsCiAgZW5kCgogIGRlZiB3ZWlnaHRlZF9zY29yZV9mb3JfY2FuZGlkYXRlIGFfY2FuZGlkYXRlCiAgICBoaXQgPSBzY29yZXNfYnlfY2FuZGlkYXRlW2FfY2FuZGlkYXRlXQogICAgaWYgaGl0CiAgICAgIGhpdCAqIHdlaWdodAogICAgZWxzZQogICAgICBuaWwKICAgIGVuZAogIGVuZAoKICBkZWYgW109KGssIHYpCiAgICBzY29yZXNfYnlfY2FuZGlkYXRlW2tdID0gdgogIGVuZAoKICBkZWYgZGV3ZWlnaHRlZF93aXRoX3dpbm5lcnMgc29tZV93aW5uZXJzCiAgICAjIEFuc3dlciB3aXRoIGEgYmFsbG90IHNpbWlsYXIgdG8gbXlzZWxmIGJ1dCB3aXRoIHdlaWdodCBkZXRlcm1pbmVkIGJ5CiAgICAjIHNvbWVfd2lubmVycyBhcyBjYW5kZGlkYXRlcyB3aG8gaGF2ZSBhbHJlYWR5IHdvbiBpbiBwcmlvciByb3VuZHMgb2YgdGhlCiAgICAjIG11bHRpLXdpbm5lciBlbGVjdGlvbi4KICAgIHN1bSA9IHNvbWVfd2lubmVycy5pbmplY3QoMC50b19yKSBkbyB8IGFjYywgYV93aW5uZXIgfAogICAgICBhY2MgKyAoKHdlaWdodGVkX3Njb3JlX2Zvcl9jYW5kaWRhdGUgYV93aW5uZXIpIHx8IDAudG9fcikKICAgIGVuZAogICAgbmV3X3dlaWdodCA9IFJhdGlvbmFsKDEsIDIpICogdm90ZXIud2VpZ2h0IC8gKFJhdGlvbmFsKDEsIDIpICsgc3VtLnRvX3IgLyBtYXhfc2NvcmUpCiAgICBpZiBuZXdfd2VpZ2h0ID09IHdlaWdodAogICAgICBzZWxmCiAgICBlbHNlCiAgICAgIG4gPSBzZWxmLmNsYXNzLmFsbG9jYXRlCiAgICAgIG4uc2NvcmVzX2J5X2NhbmRpZGF0ZSA9IHNjb3Jlc19ieV9jYW5kaWRhdGUKICAgICAgbi52b3RlciAgICAgICAgICAgICAgID0gdm90ZXIKICAgICAgbi5lbGVjdGlvbiAgICAgICAgICAgID0gZWxlY3Rpb24KICAgICAgbi53ZWlnaHQgICAgICAgICAgICAgID0gbmV3X3dlaWdodAogICAgICBuCiAgICBlbmQKICBlbmQKZW5kCgpjbGFzcyBGYWtlQmFsbG90IDwgRXh0ZW5kZWRPYmplY3QKICAjIFRoZXJlIGV4aXN0IHZlcnNpb25zIG9mIHNjb3JlIGVsZWN0aW9uIGNvZGUgdGhhdCBkbyBub3QgdXNlIHRoaXMgY2xhc3MuCiAgYXR0cl9hY2Nlc3NvciA6d2VpZ2h0CiAgZGVmIHdlaWdodGVkX3Njb3JlX2Zvcl9jYW5kaWRhdGUgYW55X2NhbmRpZGF0ZQogICAgMC50b19yCiAgZW5kCiAgZGVmIGRld2VpZ2h0ZWRfd2l0aF93aW5uZXJzIHNvbWVfd2lubmVycwogICAgc2VsZgogIGVuZAplbmQKCmNsYXNzIFJvdW5kQ2FuZGlkYXRlVGFsbHkKICAjIFRoZSBwdXJwb3NlIG9mIGEgcm91bmQgY2FuZGlkYXRlIHRhbGx5IGlzIHRvIGNhbGN1bGF0ZSB0aGUgdG90YWwgc2NvcmUgdGhhdAogICMgYSBjYW5kaWRhdGUgcmVjZWl2ZXMgaW4gYSByb3VuZC4KCiAgYXR0cl9hY2Nlc3NvciA6Y2FuZGlkYXRlLCA6cm91bmQKCiAgZGVmIHNjb3JlCiAgICBAc2NvcmUgfHw9IGxhbWJkYSBkbwogICAgICBhY2MgID0gUmF0aW9uYWwoMCkKICAgICAgYmFzZSA9IFJhdGlvbmFsKDApCiAgICAgIHJvdW5kLmJhbGxvdHMuZWFjaCBkbyB8IGFfYmFsbG90IHwKICAgICAgICBoaXQgPSBhX2JhbGxvdC53ZWlnaHRlZF9zY29yZV9mb3JfY2FuZGlkYXRlIGNhbmRpZGF0ZQogICAgICAgIGlmIGhpdAogICAgICAgICAgYWNjICArPSBoaXQKICAgICAgICAgICMgYmFzZSArPSBhX2JhbGxvdC53ZWlnaHQKICAgICAgICBlbmQKICAgICAgICBiYXNlICs9IGFfYmFsbG90LndlaWdodCAjIGV2ZW4gaWYgY2FuZGlkYXRlIG5vdCBtZW50aW9uZWQgb24gYmFsbG90LgogICAgICBlbmQKICAgICAgYWNjIC8gYmFzZQogICAgZW5kLmNhbGwKICBlbmQKCiAgZGVmIGluc3BlY3QKICAgIGlmIEBjYW5kaWRhdGUKICAgICAgInsje3Njb3JlLnRvX2Z9ICN7Y2FuZGlkYXRlLm5hbWV9fSIKICAgIGVsc2UKICAgICAgInthbiB1bmluaXRpYWxpemVkIHRhbGx5IG9iamVjdH0iCiAgICBlbmQKICBlbmQKZW5kCgpjbGFzcyBTY29yZVJvdW5kIDwgRXh0ZW5kZWRPYmplY3QKICAjIEFuIGluc3RhbmNlIHJlcHJlc2VudHMgYSByb3VuZCBvZiB0YWxseWluZyBmb3IgYSByZXdlaWdodGVkIHJhbmdlIChzY29yZSkgbXVsdGktd2lubmVyCiAgIyBlbGVjdGlvbi4KCiAgYXR0cl9hY2Nlc3NvciA6YmFsbG90cywgOmNhbmRpZGF0ZXMsIDpvcmRpbmFsCiAgYXR0cl93cml0ZXIgOnByaW9yX3dpbm5lcnMKICAKICBhdHRyX3dyaXRlciA6d2lubmVycwogICAgIyBDYW4gYmUgc2V0IGZyb20gb3V0c2lkZSB0byBleHByZXNzIGRlY2lzaW9uIGJldHdlZW4gdGllcyBmb3IgZmlyc3QgcGxhY2UuCiAgICAjIEV4cHJlc3NlZCBhcyB0YWxsaWVzLCBub3QgY2FuZGlkYXRlcyAoaGlzdG9yaWNhbCByZWFzb25zKS4KICAgICMgUHJvYmFibHkgc2hvdWxkIGhhdmUganVzdCBvbmUgZWxlbWVudC4KCiAgZGVmIHJlYWxfYmFsbG90cz0odGhlbSkKICAgICMgUmVjZWl2ZSB0aGVtIGFzIHRoZSByZWFsIGJhbGxvdHMgb24gd2hpY2ggdG8gYmFzZSBteSB3b3JrLgogICAgIyBJbnRlcm5hbGx5LCBvdXIgYmFsbG90cyBjb3VsZCBhbHNvIGluY2x1ZGUgYXJ0aWZpY2lhbCBiYWxsb3RzIGZvcgogICAgIyB0aGUgImJldHRlciBxdW9ydW0iIHNjaGVtZSBodHRwOi8vci4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uZy5vcmcvQmV0dGVyUXVvcnVtLmh0bWwKICAgICMgYnV0IHRoYXQgZmVhdHVyZSBpcyBjb21tZW50ZWQgb3V0LgogICAgIyBmYWtlID0gRmFrZUJhbGxvdC5uZXcge3xpdHwgaXQud2VpZ2h0ID0gW3RoZW0uc2l6ZSwgMTAwMF0ubWluLnRvX3J9CiAgICBzZWxmLmJhbGxvdHMgPSB0aGVtICMgKyBbZmFrZV0KICBlbmQKCiAgZGVmIHByaW9yX3dpbm5lcnMKICAgICMgV2hhdCBjYW5kaWRhdGVzIGFscmVhZHkgd29uIG9uIHByaW9yIHJvdW5kcz8KICAgIEBwcmlvcl93aW5uZXJzIHx8PSBbXQogIGVuZAoKICBkZWYgZm9sbG93IHByaW9yX3JvdW5kCiAgICAjIEJlIHRoZSByb3VuZCB0aGF0IGZvbGxvd3MgcHJpb3Jfcm91bmQuCiAgICBzZWxmLm9yZGluYWwgPSBwcmlvcl9yb3VuZC5vcmRpbmFsICsgMQogICAgc2VsZi5wcmlvcl93aW5uZXJzID0gcHJpb3Jfcm91bmQucHJpb3Jfd2lubmVycyArIHByaW9yX3JvdW5kLndpbm5lcnMubWFwKCY6Y2FuZGlkYXRlKQogICAgc2VsZi5iYWxsb3RzID0gcHJpb3Jfcm91bmQuYmFsbG90cy5tYXAge3xlfGUuZGV3ZWlnaHRlZF93aXRoX3dpbm5lcnMgcHJpb3Jfd2lubmVyc30KICAgIHNlbGYuY2FuZGlkYXRlcyA9IHByaW9yX3JvdW5kLmNhbmRpZGF0ZXMgLSBwcmlvcl93aW5uZXJzCiAgICB0cnVlCiAgZW5kCgogIGRlZiBpbnNwZWN0CiAgICBpZiBvcmRpbmFsCiAgICAgICJ7cm91bmQgI3tvcmRpbmFsfX0iCiAgICBlbHNlCiAgICAgICJ7YSByb3VuZH0iCiAgICBlbmQKICBlbmQKCiAgZGVmIHRhbGxpZXMKICAgIEB0YWxsaWVzIHx8PSBsYW1iZGEgZG8KICAgICAgY2FuZGlkYXRlcy5tYXAgZG8gfCBhX2NhbmRpZGF0ZSB8CiAgICAgICAgbiA9IFJvdW5kQ2FuZGlkYXRlVGFsbHkubmV3CiAgICAgICAgbi5yb3VuZCAgICAgPSBzZWxmCiAgICAgICAgbi5jYW5kaWRhdGUgPSBhX2NhbmRpZGF0ZQogICAgICAgIG4KICAgICAgZW5kCiAgICBlbmQuY2FsbAogIGVuZAoKICBkZWYgb3JkZXJlZF90YWxsaWVzCiAgICB0YWxsaWVzLnNvcnRfYnkge3x0fCAtIHQuc2NvcmV9CiAgZW5kCgogIGRlZiB3aW5uZXJzCiAgICBAd2lubmVycyB8fD0gbGVhZGVycyAjIGJ5IGRlZmF1bHQ7IGNhbiBiZSBzZXQgb3RoZXJ3aXNlLgogIGVuZAoKICBkZWYgbGVhZGVycwogICAgIyBBbnN3ZXIgd2l0aCB0aGUgdGFsbGllcyBvZiB0aGUgY2FuZGlkYXRlcyBpbiBmaXJzdCBwbGFjZSBieSBzY29yZS4KCiAgICBAbGVhZGVycyB8fD0gbGFtYmRhIGRvCiAgICAgIG9yZGVyZWRfdGFsbGllcyA9IHNlbGYub3JkZXJlZF90YWxsaWVzCiAgICAgIGFjYyA9IFtdCiAgICAgIHVubGVzcyBvcmRlcmVkX3RhbGxpZXMuZW1wdHk/CiAgICAgICAgY3VyID0gMQogICAgICAgIGxpbSA9IG9yZGVyZWRfdGFsbGllcy5zaXplCiAgICAgICAgdG9wX3Njb3JlID0gb3JkZXJlZF90YWxsaWVzLmZpcnN0LnNjb3JlCiAgICAgICAgYWNjID0gW29yZGVyZWRfdGFsbGllcy5maXJzdF0KICAgICAgICB3aGlsZSBjdXIgPCBsaW0gJiYgKGhpdCA9IG9yZGVyZWRfdGFsbGllc1tjdXJdKS5zY29yZSA9PSB0b3Bfc2NvcmUKICAgICAgICAgIGFjYyArPSBbaGl0XQogICAgICAgICAgY3VyICs9IDEKICAgICAgICBlbmQgIyB3aGlsZQogICAgICBlbmQgIyB1bmxlc3MKICAgICAgYWNjCiAgICBlbmQuY2FsbAogIGVuZCAjIGRlZgoKICBkZWYgc3VjY2Vzc29yCiAgICByID0gc2VsZi5jbGFzcy5uZXcKICAgIHIuZm9sbG93IHNlbGYKICAgIHIKICBlbmQKICBkZWYgbmV4dF9yb3VuZAogICAgc3VjY2Vzc29yCiAgZW5kCiAgZGVmIG5leHQgICAgIyBDYW4gZG8gdGhpcyB3aXRoIGEga2V5d29yZD8gIFllcywgYnV0IGJlIGNhcmVmdWwgd2l0aCBpbXBsaWVkICJzZWxmIi4KICAgIHN1Y2Nlc3NvcgogIGVuZAplbmQgIyBjbGFzcwoKCgojIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIE8gRyBMIEUgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIwojIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIwoKIyBSYW5rIGVsZWN0aW9uIGJ5IG15IGJlc3QgdW5kZXJzdGFuZGluZyBvZiB0aGUgbWV0aG9kIG9mIEphbWVzIE9nbGUgZGVzcGl0ZSBiZWluZwojIHNvbWV3aGF0IGNvbmZ1c2VkIGJ5IGhpcyBjb21tdW5pY2F0aW9ucyBhYm91dCBpdC4KCiMgQW4gT2dsZSBlbGVjdGlvbiBvbmx5IGhhcyBvbmUgcm91bmQuICBIb3dldmVyLCB0byBtYWtlIHRoZSBjb2RlIHBhcmFsbGVsIHRoZQojIGNvZGUgZm9yIGEgc2NvcmUgZWxlY3Rpb24sIEkgd2lsbCBvYmplY3RpZnkgdGhlIHJvdW5kLgoKY2xhc3MgT2dsZUVsZWN0aW9uIDwgRXh0ZW5kZWRPYmplY3QKICBkZWYgdm90ZXJzCiAgICAkZXhhbXBsZS52b3RlcnMKICBlbmQKICBkZWYgY2FuZGlkYXRlcwogICAgJGV4YW1wbGUuY2FuZGlkYXRlcwogIGVuZAogIGRlZiBiYWxsb3RzCiAgICBAYmFsbG90cyB8fD0gdm90ZXJzLm1hcCBkbyB8IGFfdm90ZXIgfAogICAgICBPZ2xlQmFsbG90Lm5ldyBkbyB8aXR8CiAgICAgICAgaXQuZWxlY3Rpb24gPSBzZWxmCiAgICAgICAgaXQudm90ZXIgPSBhX3ZvdGVyCiAgICAgIGVuZAogICAgZW5kCiAgZW5kCiAgZGVmIGZpcnN0X3JvdW5kCiAgICAjIEFuc3dlciB3aXRoIG15IGZpcnN0IHJvdW5kLgogICAgQGZpcnN0X3JvdW5kIHx8PSBPZ2xlUm91bmQubmV3IGRvIHxpdHwKICAgICAgaXQucmVhbF9iYWxsb3RzID0gYmFsbG90cwogICAgICBpdC5jYW5kaWRhdGVzID0gY2FuZGlkYXRlcwogICAgICBpdC5vcmRpbmFsID0gMSAjIGZvciBkaXNwbGF5CiAgICBlbmQKICBlbmQKZW5kCgpjbGFzcyA8PCAkZXhhbXBsZQogIGF0dHJfYWNjZXNzb3IgOnJhbmtfZWxlY3Rpb24KZW5kCiRleGFtcGxlLnJhbmtfZWxlY3Rpb24gPSBPZ2xlRWxlY3Rpb24ubmV3CgpjbGFzcyBPZ2xlVGFsbHkKICAjIEFuIGluc3RhbmNlIGRlbm90ZXMgdGhlIHRhbGx5IG9mIGEgY2FuZGlkYXRlIGFjcm9zcyB0aGUgYmFsbG90cy4KCiAgYXR0cl9hY2Nlc3NvciA6Y2FuZGlkYXRlLCA6cm91bmQKCiAgZGVmIGhpZ2hfb3JkZXJfcGFydAogICAgZG9fdGFsbHkgdW5sZXNzIEBoaWdoX29yZGVyX3BhcnQKICAgIEBoaWdoX29yZGVyX3BhcnQKICBlbmQKICBkZWYgbG93X29yZGVyX3BhcnQKICAgIGRvX3RhbGx5IHVubGVzcyBAbG93X29yZGVyX3BhcnQKICAgIEBsb3dfb3JkZXJfcGFydAogIGVuZAoKICBkZWYgaW5zcGVjdAogICAgaWYgQGNhbmRpZGF0ZSAmJiBAcm91bmQKICAgICAgInsoI3toaWdoX29yZGVyX3BhcnR9LCAje2xvd19vcmRlcl9wYXJ0fSkgI3tjYW5kaWRhdGUubmFtZX19IgogICAgZWxzZQogICAgICAie2EgdGFsbHl9IgogICAgZW5kCiAgZW5kCgogIGRlZiA8PT4gYW5vdGhlcgogICAgaWYgICAgaGlnaF9vcmRlcl9wYXJ0IDwgYW5vdGhlci5oaWdoX29yZGVyX3BhcnQKICAgICAgMQogICAgZWxzaWYgaGlnaF9vcmRlcl9wYXJ0ID4gYW5vdGhlci5oaWdoX29yZGVyX3BhcnQKICAgICAgLTEKICAgIGVsc2lmIGxvd19vcmRlcl9wYXJ0ICA8IGFub3RoZXIubG93X29yZGVyX3BhcnQKICAgICAgMQogICAgZWxzaWYgbG93X29yZGVyX3BhcnQgID4gYW5vdGhlci5sb3dfb3JkZXJfcGFydAogICAgICAtMQogICAgZWxzZQogICAgICAwCiAgICBlbmQKICBlbmQKCiAgZGVmIGRvX3RhbGx5CiAgICAjIFByaXZhdGUuCiAgICBoaWdoID0gMAogICAgbG93ID0gMAogICAgcm91bmQuYmFsbG90cy5lYWNoIGRvIHwgYV9iYWxsb3QgfAogICAgICBoaXQgPSBhX2JhbGxvdC5yYW5rX2Zvcl9jYW5kaWRhdGUgY2FuZGlkYXRlCiAgICAgIGlmIGhpdAogICAgICAgIGhpZ2ggKz0gYV9iYWxsb3Qud2VpZ2h0ICAgICAgICAgIyB0aWMgY291bnQuCiAgICAgICAgbG93IC09IGhpdCAqIGFfYmFsbG90LndlaWdodCAgICAjIHN1bSByYW5rIG51bWJlcnMgbmVnYXRlZC4KICAgICAgZW5kCiAgICBlbmQKICAgIEBoaWdoX29yZGVyX3BhcnQgPSBoaWdoCiAgICBAbG93X29yZGVyX3BhcnQgID0gbG93CiAgICB0cnVlCiAgZW5kCmVuZAoKY2xhc3MgT2dsZVJvdW5kIDwgRXh0ZW5kZWRPYmplY3QKICBhdHRyX2FjY2Vzc29yIDpiYWxsb3RzLCA6Y2FuZGlkYXRlcywgOm9yZGluYWwKICBhdHRyX3dyaXRlciA6cHJpb3Jfd2lubmVycywgOndpbm5lcnMKCiAgZGVmIHJlYWxfYmFsbG90cz0odGhlbSkKICAgICMgUmVjZWl2ZSB0aGVtIGFzIHRoZSByZWFsIGJhbGxvdHMgb24gd2hpY2ggdG8gYmFzZSBteSB3b3JrLgogICAgc2VsZi5iYWxsb3RzID0gdGhlbQogIGVuZAoKICBkZWYgcHJpb3Jfd2lubmVycwogICAgIyBXaGF0IGNhbmRpZGF0ZXMgYWxyZWFkeSB3b24gb24gcHJpb3Igcm91bmRzPwogICAgQHByaW9yX3dpbm5lcnMgfHw9IFtdCiAgZW5kCgogIGRlZiBmb2xsb3cgcHJpb3Jfcm91bmQKICAgICMgQmUgdGhlIHJvdW5kIHRoYXQgZm9sbG93cyBwcmlvcl9yb3VuZC4KICAgIHNlbGYub3JkaW5hbCA9IHByaW9yX3JvdW5kLm9yZGluYWwgKyAxCiAgICBzZWxmLnByaW9yX3dpbm5lcnMgPSBwcmlvcl9yb3VuZC5wcmlvcl93aW5uZXJzICsgcHJpb3Jfcm91bmQud2lubmVycy5tYXAoJjpjYW5kaWRhdGUpCiAgICBzZWxmLmJhbGxvdHMgPSBwcmlvcl9yb3VuZC5iYWxsb3RzLm1hcCB7fGV8ZS5kZXdlaWdodGVkX3dpdGhfd2lubmVycyBwcmlvcl93aW5uZXJzfQogICAgc2VsZi5jYW5kaWRhdGVzID0gcHJpb3Jfcm91bmQuY2FuZGlkYXRlcyAtIHByaW9yX3dpbm5lcnMKICAgIHRydWUKICBlbmQKCiAgZGVmIGluc3BlY3QKICAgIGlmIG9yZGluYWwKICAgICAgIntyb3VuZCAje29yZGluYWx9fSIKICAgIGVsc2UKICAgICAgInthIHJvdW5kfSIKICAgIGVuZAogIGVuZAoKICBkZWYgdGFsbGllcwogICAgQHRhbGxpZXMgfHw9IGxhbWJkYSBkbwogICAgICBjYW5kaWRhdGVzLm1hcCBkbyB8IGFfY2FuZGlkYXRlIHwKICAgICAgICBuID0gT2dsZVRhbGx5Lm5ldwogICAgICAgIG4ucm91bmQgICAgID0gc2VsZgogICAgICAgIG4uY2FuZGlkYXRlID0gYV9jYW5kaWRhdGUKICAgICAgICBuCiAgICAgIGVuZAogICAgZW5kLmNhbGwKICBlbmQKCiAgZGVmIG9yZGVyZWRfdGFsbGllcwogICAgdGFsbGllcy5zb3J0CiAgZW5kCgogIGRlZiB3aW5uZXJzCiAgICBAd2lubmVycyB8fD0gbGVhZGVycwogIGVuZAoKICBkZWYgbGVhZGVycwogICAgIyBBbnN3ZXIgd2l0aCB0aGUgdGFsbGllcyBvZiB0aGUgY2FuZGlkYXRlcyBpbiBmaXJzdCBwbGFjZSBieSBPZ2xlIHBhaXIuCiAgICB0aHJvdyAiRG9uJ3QgYXNrLiIKICBlbmQgIyBkZWYKCiAgZGVmIHN1Y2Nlc3NvcgogICAgciA9IHNlbGYuY2xhc3MubmV3CiAgICByLmZvbGxvdyBzZWxmCiAgICByCiAgZW5kCiAgZGVmIG5leHRfcm91bmQKICAgIHN1Y2Nlc3NvcgogIGVuZAogIGRlZiBuZXh0ICAgICMgQ2FuIGRvIHRoaXMgd2l0aCBhIGtleXdvcmQ/ICBZZXMsIGJ1dCBiZSBjYXJlZnVsIHdpdGggaW1wbGllZCAic2VsZiIuCiAgICBzdWNjZXNzb3IKICBlbmQKZW5kCgpjbGFzcyBPZ2xlQmFsbG90IDwgRXh0ZW5kZWRPYmplY3QKICBhdHRyX2FjY2Vzc29yIDp2b3RlciwgOmVsZWN0aW9uCiAgYXR0cl93cml0ZXIgOnJhbmtzX2J5X2NhbmRpZGF0ZQogIGF0dHJfd3JpdGVyIDp3ZWlnaHQgIyBmb3IgbWFkZS11cCBleGFtcGxlcyB3aGVyZSBhIGJhbGxvdCByZXByZXNlbnRzIG1hbnkuCgogIGRlZiBpbnNwZWN0CiAgICBpZiB2b3RlcgogICAgICAie2JhbGxvdCBvZiAje3ZvdGVyLmluc3BlY3R9ICN7cmFua3NfYnlfY2FuZGlkYXRlLnNpemV9IHJhbmtzfSIKICAgIGVsc2UKICAgICAgInthIHNjb3JlIGJhbGxvdH0iCiAgICBlbmQKICBlbmQKCiAgZGVmIHJhbmtfZm9yX2NhbmRpZGF0ZSBhX2NhbmRpZGF0ZQogICAgcmFua3NfYnlfY2FuZGlkYXRlW2FfY2FuZGlkYXRlXQogIGVuZAogIGRlZiB3ZWlnaHQKICAgIEB3ZWlnaHQgfHw9IHZvdGVyLndlaWdodCB8fCAxCiAgZW5kCgogIGRlZiByYW5rc19ieV9jYW5kaWRhdGUKICAgIEByYW5rc19ieV9jYW5kaWRhdGUgfHw9IGxhbWJkYSBkbwogICAgICByID0gdm90ZXIucmFua3NfYnlfY2FuZGlkYXRlCiAgICAgICMgSnVzdCBkbyBhIHNhbml0eSBjaGVjay4KICAgICAgY2FuZGlkYXRlc19ieV9yYW5rID0gQXJyYXkubmV3IHIuc2l6ZQogICAgICByLmVhY2gge3xrLCB2fCBjYW5kaWRhdGVzX2J5X3JhbmtbdiAtIDFdID0ga30KICAgICAgY2FuZGlkYXRlc19ieV9yYW5rLmVhY2ggZG8gfGV8CiAgICAgICAgZSB8fCAodGhyb3cgIkJhZCByYW5rIGJhbGxvdCAje3ZvdGVyLmluc3BlY3R9LiIpCiAgICAgIGVuZAogICAgICByCiAgICBlbmQuY2FsbAogIGVuZAplbmQKCgoKCiMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjCiMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQiBVIEMgSyBMIEkgTiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjCgoKIyBXaGF0J3MgaXQgdGFrZSB0byBydW4gYSBCdWNrbGluIGVsZWN0aW9uPwoKY2xhc3MgQnVja2xpbkVsZWN0aW9uIDwgRXh0ZW5kZWRPYmplY3QKICBkZWYgZWxlY3RvcmF0ZV9zaXplCiAgICBAZWxlY3RvcmF0ZV9zaXplIHx8PSBiYWxsb3RfbW9kZWxzLmluamVjdCgwKXt8IGEsIGUgfCBhICsgZS5pbnN0YW5jZV9jb3VudH0KICBlbmQKICBkZWYgaGFsZl9lbGVjdG9yYXRlX3NpemUKICAgIEBoYWxmX2VsZWN0b3JhdGVfc2l6ZSB8fD0gZWxlY3RvcmF0ZV9zaXplICogUmF0aW9uYWwoMSwgMikKICBlbmQKICBkZWYgZmluZHNfbWFqb3JpdHlfaW5fc2NvcmUgYV9zY29yZQogICAgYV9zY29yZSA+IGhhbGZfZWxlY3RvcmF0ZV9zaXplCiAgZW5kCiAgZGVmIGNhbmRpZGF0ZXMKICAgICRleGFtcGxlLmNhbmRpZGF0ZXMKICBlbmQKICBkZWYgYXNzZXNzX2JhbGxvdF9tb2RlbHMKICAgICMgSW5pdGlhbGl6ZSBteXNlbGYgYWNjb3JkaW5nIHRvIHdoYXQgSSBmaW5kIGluIHRoZSBleGFtcGxlIGJhbGxvdF9tb2RlbHMuCiAgICBzZWxmLmFwcHJvdmFsX2dyYWRlX2NvdW50ID0gWyAkZXhhbXBsZS52b3RlcnMubWFwIGRvIHxifAogICAgICBiLnJhbmtzX2J5X2NhbmRpZGF0ZS52YWx1ZXMubWF4CiAgICBlbmQubWF4LCAzIF0ubWF4CiAgICB0cnVlCiAgZW5kCiAgZGVmIGFwcHJvdmFsX2dyYWRlX2NvdW50PSB0aGVfY291bnQKICAgICMgSW5pdGlhbGl6ZSBteXNlbGYgdG8gdGFsbHkgdGhlIGVsZWN0aW9uIGJhc2VkIG9uIHRoZSBnaXZlbiBjb3VudCBvZgogICAgIyBCdWNrbGluIGdyYWRlcyBvciByYW5rcyBpbmRpY2F0aW5nIGFwcHJvdmFsLgogICAgQGFwcHJvdmFsX2dyYWRlX2NvdW50ID0gdGhlX2NvdW50CiAgZW5kCiAgZGVmIGFwcHJvdmFsX2dyYWRlX2NvdW50CiAgICBAYXBwcm92YWxfZ3JhZGVfY291bnQgb3IgYXNzZXNzX2JhbGxvdF9tb2RlbHMKICAgIEBhcHByb3ZhbF9ncmFkZV9jb3VudAogIGVuZAogIGRlZiBncmFkZV9mcm9tX29uZV9iYXNlZF9yYW5rX2luZGV4IGFuX2luZGV4CiAgICAjIEdpdmVuIGEgb25lLWJhc2VkIGluZGV4IHRvIGEgZ3JhZGUgdmlld2VkIGFzIGEgcmFuaywgd2hlcmUgcmFuayAxIGlzIHRoZQogICAgIyBtb3N0IHByZWZlcnJlZCByYW5rIGFuZCBoaWdoZXIgbnVtYmVycyBjb3JyZXNwb25kIHRvIHRoZSBsZXNzLXByZWZlcnJlZAogICAgIyByYW5rcywgYW5zd2VyIHdpdGggdGhlIGFic3RyY3QgZ3JhZGUgb2JqZWN0IHJlcHJlc2VudGluZyB0aGUgY29ycmVzcG9uZGluZwogICAgIyBncmFkZSBpbiB0aGUgQnVja2xpbiBlbGVjdGlvbi4KICAgIGdyYWRlc19ieV9yYW5rX2luZGV4W2FuX2luZGV4IC0gMV0KICBlbmQKICBkZWYgbW9zdF9wcmVmZXJyZWRfZ3JhZGUKICAgIEBtb3N0X3ByZWZlcnJlZF9ncmFkZSB8fD0gZ3JhZGVzX2J5X3JhbmtfaW5kZXhbMF0KICBlbmQKICBkZWYgZ3JhZGVzX2J5X3JhbmtfaW5kZXgKICAgIEBncmFkZXNfYnlfcmFua19pbmRleCB8fD0gbGFtYmRhIGRvICMgY2FsbGVkIGltbWVkaWF0ZWx5LgogICAgICB0aGV5ID0gQXJyYXkubmV3IGFwcHJvdmFsX2dyYWRlX2NvdW50CiAgICAgICgwLi4oYXBwcm92YWxfZ3JhZGVfY291bnQgLSAxKSkuZWFjaCBkb3xpfAogICAgICAgIHRoZXlbaV0gPSBCdWNrbGluR3JhZGUubmV3IHt8bnwgbi5yYW5rX2luZGV4ID0gaX0KICAgICAgZW5kCiAgICAgICgxLi4oYXBwcm92YWxfZ3JhZGVfY291bnQgLSAxKSkuZWFjaCBkb3xpfAogICAgICAgIHRoZXlbaSAtIDFdLm5leHRfbGVzc19wcmVmZXJyZWQgPSB0aGV5W2ldCiAgICAgIGVuZAogICAgICB0aGV5CiAgICBlbmQuY2FsbAogIGVuZAogIGRlZiBncmFkZXMKICAgIGdyYWRlc19ieV9yYW5rX2luZGV4LnZhbHVlcwogIGVuZAogIGRlZiBiYWxsb3RfbW9kZWxzCiAgICBAYmFsbG90X21vZGVscyB8fD0gJGV4YW1wbGUudm90ZXJzLm1hcCBkbyB8IGFfdm90ZXIgfAogICAgICBCdWNrbGluQmFsbG90TW9kZWwubmV3IGRvIHxifAogICAgICAgIGIuaW5zdGFuY2VfY291bnQgPSBhX3ZvdGVyLndlaWdodAogICAgICAgIGFfZGljdCA9IEhhc2gubmV3CiAgICAgICAgYV92b3Rlci5yYW5rc19ieV9jYW5kaWRhdGUuZWFjaCBkbyB8IGNhbmRpZGF0ZSwgb25lX2Jhc2VkX3JhbmsgfAogICAgICAgICAgYV9kaWN0W2NhbmRpZGF0ZV0gPSBncmFkZV9mcm9tX29uZV9iYXNlZF9yYW5rX2luZGV4IG9uZV9iYXNlZF9yYW5rCiAgICAgICAgZW5kCiAgICAgICAgYi5ncmFkZXNfYnlfY2FuZGlkYXRlID0gYV9kaWN0CiAgICAgIGVuZAogICAgZW5kCiAgZW5kCiAgZGVmIGZpcnN0X3JvdW5kCiAgICBCdWNrbGluUm91bmQubmV3IHt8bnwgbi5lbGVjdGlvbiA9IHNlbGZ9CiAgZW5kCmVuZApjbGFzcyBCdWNrbGluQmFsbG90TW9kZWwgPCBFeHRlbmRlZE9iamVjdAogICMgQW4gaW5zdGFuY2UgcmVwcmVzZW50cyBhIGdyb3VwIG9mIGJhbGxvdHMgYWxsIG1hcmtlZCB0aGUgc2FtZSB3YXkuCiAgYXR0cl9hY2Nlc3NvciA6Z3JhZGVzX2J5X2NhbmRpZGF0ZSwgOmluc3RhbmNlX2NvdW50CmVuZApjbGFzcyBCdWNrbGluR3JhZGUgPCBFeHRlbmRlZE9iamVjdAogICMgQW4gaW5zdGFuY2UgcmVwcmVzZW50cyBhIGdyYWRlIG9yIHJhbmsuCiAgYXR0cl9hY2Nlc3NvciA6cmFua19pbmRleCAjIHplcm8tYmFzZWQgaW5kZXggd2hlcmUgbW9zdCBwcmVmZXJyZWQgZ2V0cyBsb3dlc3QuCiAgYXR0cl9hY2Nlc3NvciA6bmV4dF9sZXNzX3ByZWZlcnJlZAplbmQKY2xhc3MgQnVja2xpbkNhbmRpZGF0ZVRhbGx5IDwgRXh0ZW5kZWRPYmplY3QKICBhdHRyX2FjY2Vzc29yIDpjYW5kaWRhdGUKICBhdHRyX2FjY2Vzc29yIDphcHByb3ZhbF9hY2N1bXVsYXRvcnNfYnlfcmFua19pbmRleAplbmQKCmNsYXNzIEJ1Y2tsaW5Sb3VuZCA8IEV4dGVuZGVkT2JqZWN0CiAgIyBBbiBpbnN0YW5jZSByZXByZXNlbnRzIGEgcm91bmQgaW4gdGhlIGVsZWN0aW9uLgogICMgSXQgbWlnaHQgYmUgdGhlIG9ubHkgcm91bmQuCiAgYXR0cl9hY2Nlc3NvciA6ZWxlY3Rpb24KICBkZWYgZmluZHNfbWFqb3JpdHlfaW5fc2NvcmUgYV9zY29yZQogICAgZWxlY3Rpb24uZmluZHNfbWFqb3JpdHlfaW5fc2NvcmUgYV9zY29yZQogIGVuZAogIGRlZiBhcHByb3ZhbF9ncmFkZV9jb3VudAogICAgZWxlY3Rpb24uYXBwcm92YWxfZ3JhZGVfY291bnQKICBlbmQKICBkZWYgYmFsbG90X21vZGVscwogICAgZWxlY3Rpb24uYmFsbG90X21vZGVscwogIGVuZAogIGRlZiBjYW5kaWRhdGVzCiAgICBlbGVjdGlvbi5jYW5kaWRhdGVzCiAgZW5kCiAgZGVmIG1vc3RfcHJlZmVycmVkX2dyYWRlCiAgICBlbGVjdGlvbi5tb3N0X3ByZWZlcnJlZF9ncmFkZQogIGVuZAogIGRlZiB3b3JraW5nX3RhbGxpZXMKICAgICMgQW5zd2VyIHdpdGggZGF0YSBzdHJ1Y3R1cmVzIGFsbG9jYXRlZCBmb3IgdGhlIGNhbmRpZGF0ZXMnCiAgICAjIHRhbGxpZXMgYnV0IG5vdCBuZWNlc3NhcmlseSBmaWxsZWQgaW4gd2l0aCB0aGUgdG90YWxzIHlldC4KICAgIEB3b3JraW5nX3RhbGxpZXMgfHw9IGNhbmRpZGF0ZXMubWFwIGRvIHwgYyB8CiAgICAgIEJ1Y2tsaW5DYW5kaWRhdGVUYWxseS5uZXcgZG8gfG58CiAgICAgICAgbi5jYW5kaWRhdGUgPSBjCiAgICAgICAgbi5hcHByb3ZhbF9hY2N1bXVsYXRvcnNfYnlfcmFua19pbmRleCA9IFswXSAqIGFwcHJvdmFsX2dyYWRlX2NvdW50CiAgICAgIGVuZAogICAgZW5kCiAgZW5kCiAgZGVmIHdvcmtpbmdfdGFsbGllc19ieV9jYW5kaWRhdGUKICAgIEB3b3JraW5nX3RhbGxpZXNfYnlfY2FuZGlkYXRlIHx8PSB3b3JraW5nX3RhbGxpZXMuaW5qZWN0KHt9KSBkbyB8IGEsIGUgfAogICAgICBhLnVwZGF0ZSh7ZS5jYW5kaWRhdGUgPT4gZX0pCiAgICBlbmQKICBlbmQKICBkZWYgd29ya2luZ190YWxseV9mb3JfY2FuZGlkYXRlIGFfY2FuZGlkYXRlCiAgICB3b3JraW5nX3RhbGxpZXNfYnlfY2FuZGlkYXRlW2FfY2FuZGlkYXRlXQogIGVuZAogIGRlZiB0YWxsaWVzCiAgICAjIEFuc3dlciB3aXRoIHRoZSBjYW5kaWRhdGUgdGFsbGllcyBmb3IgdGhpcyByb3VuZC4KICAgIEB0YWxsaWVzIG9yIGJhbGxvdF9tb2RlbHMuZWFjaCBkbyB8IGFiIHwKICAgICAgYWIuZ3JhZGVzX2J5X2NhbmRpZGF0ZS5lYWNoIGRvIHwgY2FuZGlkYXRlLCBncmFkZSB8CiAgICAgICAgKCB3b3JraW5nX3RhbGx5X2Zvcl9jYW5kaWRhdGUgY2FuZGlkYXRlCiAgICAgICAgKS5hcHByb3ZhbF9hY2N1bXVsYXRvcnNfYnlfcmFua19pbmRleFtncmFkZS5yYW5rX2luZGV4XSArPQogICAgICAgICAgYWIuaW5zdGFuY2VfY291bnQKICAgICAgZW5kCiAgICBlbmQKICAgIEB0YWxsaWVzID0gQHdvcmtpbmdfdGFsbGllcwogIGVuZAogIGRlZiBmaXJzdF9taW5pcm91bmQKICAgIEJ1Y2tsaW5NaW5pcm91bmQubmV3IGRvIHxufAogICAgICBuLnJvdW5kID0gc2VsZgogICAgICBuLnRocm91Z2hfZ3JhZGUgPSBzZWxmLm1vc3RfcHJlZmVycmVkX2dyYWRlCiAgICBlbmQKICBlbmQKZW5kCgpjbGFzcyBCdWNrbGluTWluaXJvdW5kIDwgRXh0ZW5kZWRPYmplY3QKICAjIEEgbWluaS1yb3VuZCBkZWFscyB3aXRoIHRoZSBncmFkZXMgZnJvbSB0aGUgbW9zdCBwcmVmZXJyZWQgZG93biB0aHJvdWdoCiAgIyBzb21lIGdpdmVuIGdyYWRlLCBhbmQgbG9va3MgYXQgdGhlIGNhbmRpZGF0ZXMgd2l0aCByZWdhcmQgdG8gdGhlaXIgc2NvcmVzCiAgIyB0YWtlbiB0aHJvdWdoIHRoYXQgcmFuZ2Ugb2YgZ3JhZGVzLgogIGF0dHJfYWNjZXNzb3IgOnJvdW5kLCA6dGhyb3VnaF9ncmFkZQogIGRlZiBmaW5kc19tYWpvcml0eV9pbl9zY29yZSBhX3Njb3JlCiAgICByb3VuZC5maW5kc19tYWpvcml0eV9pbl9zY29yZSBhX3Njb3JlCiAgZW5kCiAgZGVmIHRhbGxpZXMKICAgIEB0YWxsaWVzIHx8PSByb3VuZC50YWxsaWVzLm1hcCBkbyB8ZXwgQnVja2xpblRhbGx5VGhyb3VnaEdyYWRlLm5ldyBkbyB8bnwKICAgICAgbi50YWxseSA9IGUKICAgICAgbi50aHJvdWdoX2dyYWRlID0gdGhyb3VnaF9ncmFkZQogICAgZW5kIGVuZAogIGVuZAogIGRlZiBtYWpvcml0eV90YWxsaWVzCiAgICB0YWxsaWVzLnNlbGVjdHt8ZXwgZmluZHNfbWFqb3JpdHlfaW5fc2NvcmUgZS5zY29yZX0KICBlbmQKICBkZWYgbmV4dAogICAgbmcgPSB0aHJvdWdoX2dyYWRlLm5leHRfbGVzc19wcmVmZXJyZWQKICAgIG5nIGFuZCBzZWxmLmNsYXNzLm5ldyBkbyB8bnwKICAgICAgbi5yb3VuZCA9IHJvdW5kCiAgICAgIG4udGhyb3VnaF9ncmFkZSA9IG5nCiAgICBlbmQKICBlbmQKICBkZWYgaW5zcGVjdAogICAgInthIG1pbmlyb3VuZH0iCiAgZW5kCmVuZApjbGFzcyBCdWNrbGluVGFsbHlUaHJvdWdoR3JhZGUgPCBFeHRlbmRlZE9iamVjdAogICMgQW4gaW5zdGFuY2UgaG9sZHMgYSBjYW5kaWRhdGUncyBzY29yZSBzdW1tZWQgZG93biB0aHJvdWdoIGEgY2VydGFpbiBncmFkZQogICMgaW4gYSByb3VuZCBvZiBhIEJ1Y2tsaW4gZWxlY3Rpb24uCiAgYXR0cl9hY2Nlc3NvciA6dGFsbHksIDp0aHJvdWdoX2dyYWRlCiAgZGVmIHNjb3JlCiAgICBAc2NvcmUgfHw9ICgwLi4odGhyb3VnaF9ncmFkZS5yYW5rX2luZGV4KSkuaW5qZWN0KDApIGRvIHwgYSwgaSB8CiAgICAgIGEgKyBhcHByb3ZhbF9hY2N1bXVsYXRvcnNfYnlfcmFua19pbmRleFtpXQogICAgZW5kCiAgZW5kCiAgZGVmIGFwcHJvdmFsX2FjY3VtdWxhdG9yc19ieV9yYW5rX2luZGV4CiAgICB0YWxseS5hcHByb3ZhbF9hY2N1bXVsYXRvcnNfYnlfcmFua19pbmRleAogIGVuZAogIGRlZiBpbnNwZWN0CiAgICBpZiBAdGFsbHkgJiYgQHRocm91Z2hfZ3JhZGUKICAgICAgInsje3Njb3JlfSAje2NhbmRpZGF0ZS5uYW1lfX0iCiAgICBlbHNlCiAgICAgIHN1cGVyCiAgICBlbmQKICBlbmQKICBkZWYgY2FuZGlkYXRlCiAgICB0YWxseS5jYW5kaWRhdGUKICBlbmQKZW5kCgoKCiMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjCiMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMgICAgICAgICAgICAgICAgICBTeW1tZXRyaWMgSW1wcm92ZWQgQ29uZG9yY2V0IFRvcCAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAjCiMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjCgpjbGFzcyBTeW1tZXRyaWNJbXByb3ZlZENvbmRlcmNldFRvcEVsZWN0aW9uIDwgRXh0ZW5kZWRPYmplY3QKICAjIFN5bW1ldHJpYyBJbXByb3ZlZC1Db25kb3JjZXQtVG9wCiAgIyBodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uYS5jb20vd2lraS9TeW1tZXRyaWNhbF9JQ1QKCiAgY2xhc3MgQmFsbG90TW9kZWwgPCBFeHRlbmRlZE9iamVjdAogICAgIyBBbiBpbnN0YW5jZSByZXByZXNlbnRzIGEgZ3JvdXAgb2YgYmFsbG90cyB0aGF0IGFyZSBtYXJrZWQgdGhlIHNhbWUgd2F5LgoKICAgIGF0dHJfYWNjZXNzb3IgOnVuZGVybHlpbmcgIyBNeSBiYXNpcyBpbiB0aGUgcmF3IGRhdGEuCgogICAgZGVmIHJhbmtzX19vdmVyIGEsIGIKICAgICAgIyBBbnN3ZXIgd2hldGhlciBJIHJhbmsgY2FuZGlkYXRlIGEgb3ZlciBjYW5kaWRhdGUgYi4KICAgICAgaWYgISBzY29yZV9mb3JfY2FuZGlkYXRlKGEpCiAgICAgICAgZmFsc2UKICAgICAgZWxzaWYgISBzY29yZV9mb3JfY2FuZGlkYXRlKGIpCiAgICAgICAgdHJ1ZQogICAgICBlbHNlCiAgICAgICAgc2NvcmVfZm9yX2NhbmRpZGF0ZShhKSA+IHNjb3JlX2Zvcl9jYW5kaWRhdGUoYikKICAgICAgZW5kICMgaWYKICAgIGVuZCAjIHJhbmtzX19vdmVyCiAgICBkZWYgc2NvcmVfZm9yX2NhbmRpZGF0ZSBhX2NhbmRpZGF0ZQogICAgICAjIEFuc3dlciB3aXRoIHRoZSBzY29yZSB0aGF0IEkgYXNzaWduIHRvIGFfY2FuZGlkYXRlLgogICAgICAjIElmIG5vbmUsIGFuc3dlciBuaWwuCiAgICAgIHVuZGVybHlpbmcuc2NvcmVzX2J5X2NhbmRpZGF0ZVthX2NhbmRpZGF0ZS51bmRlcmx5aW5nXQogICAgZW5kCiAgICBkZWYgaW5zdGFuY2VfY291bnQKICAgICAgIyBIb3cgbWFueSBiYWxsb3RzIGFyZSBpbiBtZT8KICAgICAgdW5kZXJseWluZy53ZWlnaHQKICAgIGVuZAogICAgZGVmIHJhbmtzX2F0X2JvdHRvbSBhX2NhbmRpZGF0ZQogICAgICAjIEFuc3dlciB3aGV0aGVyIEkgcmFuayBhX2NhbmRpZGF0ZSBhdCB0aGUgYm90dG9tLgogICAgICBpID0gc2NvcmVfZm9yIGFfY2FuZGlkYXRlCiAgICAgICEgaSB8fCAwID09IGkKICAgIGVuZAogICAgZGVmIHJhbmtzX2F0X3RvcCBhX2NhbmRpZGF0ZQogICAgICAjIEFuc3dlciB3aGV0aGVyIEkgcmFuayBhX2NhbmRpZGF0ZSBhdCB0aGUgdG9wLgogICAgICB1bmRlcmx5aW5nLnNjb3Jlc19ieV9jYW5kaWRhdGUudmFsdWVzLm1heCA9PSAoc2NvcmVfZm9yIGFfY2FuZGlkYXRlKQogICAgZW5kCiAgICBkZWYgc2NvcmVfZm9yIGFfY2FuZGlkYXRlCiAgICAgIHNjb3JlX2Zvcl9jYW5kaWRhdGUgYV9jYW5kaWRhdGUKICAgIGVuZAogIGVuZCAjIEJhbGxvdE1vZGVsCgogIGNsYXNzIENhbmRpZGF0ZSA8IEV4dGVuZGVkT2JqZWN0CiAgICBhdHRyX2FjY2Vzc29yIDp1bmRlcmx5aW5nICMgdGhlIHJhd2VyIGRhdGEgc3RydWN0dXJlIHRoYXQgdW5kZXJsaWVzIG1lLgogICAgYXR0cl9hY2Nlc3NvciA6ZWxlY3Rpb24gICAjIHRoZSBlbGVjdGlvbiB0byB3aGljaCBJIGJlbG9uZy4KCiAgICBkZWYgaW5zcGVjdAogICAgICBpZiBAdW5kZXJseWluZwogICAgICAgICJ7I3tAdW5kZXJseWluZy5uYW1lfX0iCiAgICAgIGVsc2UKICAgICAgICAie2FuIHVuaXRpYWxpemVkIENhbmRpZGF0ZSBzdHJ1Y3R1cmUgZm9yIFN5bW1ldHJpYyBJQ1R9IgogICAgICBlbmQKICAgIGVuZAogICAgZGVmIGJlYXRzIGFub3RoZXIKICAgICAgIyBBbnN3ZXIgd2hldGhlciBJIGJlYXQgdGhlIGluZGljYXRlZCBvdGhlciBjYW5kaWRhdGUuCiAgICAgIChzZWxmICUgYW5vdGhlcikuYmVhdHMKICAgIGVuZAogICAgZGVmICUgYW5vdGhlcgogICAgICAjIEFuc3dlciB3aXRoIHRoZSBwYWlyIG9mIGNhbmRpZGF0ZXMgY29uc2lzdGluZyBvZiBteXNlbGYgYW5kIGFub3RoZXIKICAgICAgIyBpbiB0aGF0IG9yZGVyLiAgQW5vdGhlciBzaG91bGQgbm90IGJlIG1lLgogICAgICBhbm90aGVyLmludmVyc2VfcGVyY2VudCBzZWxmCiAgICBlbmQgIyAlCiAgICBkZWYgaW52ZXJzZV9wZXJjZW50IGFub3RoZXIKICAgICAgIyBJbmRpY2F0ZSB0aGUgcGFpciBvZiB3aGljaCBhbm90aGVyIGlzIHRoZSBsZWZ0IG1lbWJlciBhbmQgSSBhbSB0aGUKICAgICAgIyByaWdodCBtZW1iZXIuICBhbm90aGVyIHNob3VsZCBub3QgYmUgbWUuCiAgICAgIGlud2FyZF9lZGdlc19ieV9jYW5kaWRhdGVbYW5vdGhlcl0KICAgIGVuZAogICAgZGVmIGlzX3VuYmVhdGVuCiAgICAgICMgQW5zd2VyIHdoZXRoZXIgSSBhbSB1bmJlYXRlbi4KICAgICAgaWYgbmlsID09IEBpc191bmJlYXRlbgogICAgICAgIGlud2FyZF9lZGdlcy5lYWNoIGRvIHwgYV9wYWlyIHwKICAgICAgICAgIGlmIGFfcGFpci5iZWF0cwogICAgICAgICAgICByZXR1cm4gQGlzX3VuYmVhdGVuID0gZmFsc2UgIyBTb21lb25lIGJlYXQgbWUuCiAgICAgICAgICBlbmQKICAgICAgICBlbmQKICAgICAgICAjIFRoZSBhYm92ZSBsb29wIGNvbnRhaW5zIGFuIGVhcmx5IHJldHVybi4KICAgICAgICBAaXNfdW5iZWF0ZW4gPSB0cnVlCiAgICAgIGVuZAogICAgICAjIFRoaXMgbWV0aG9kIGNvbnRhaW5zIGFuIGVhcmx5IHJldHVybi4KICAgICAgQGlzX3VuYmVhdGVuCiAgICBlbmQKICAgIGRlZiBpbndhcmRfZWRnZXMKICAgICAgIyBBbnN3ZXIgd2l0aCB0aGUgY2FuZGlkYXRlIHBhaXJzIG9mIHdoaWNoIEkgYW0gdGhlIHJpZ2h0LWhhbmQgY2FuZGlkYXRlLgogICAgICBAaW53YXJkX2VkZ2VzIHx8PSBvdGhlcnMubWFwIGRvIHwgYW5vdGhlciB8CiAgICAgICAgQ2FuZGlkYXRlUGFpci5uZXd7fG58IG4ubGVmdCA9IGFub3RoZXI7IG4ucmlnaHQgPSBzZWxmfQogICAgICBlbmQKICAgIGVuZAogICAgZGVmIGlud2FyZF9lZGdlc19ieV9jYW5kaWRhdGUKICAgICAgQGlud2FyZF9lZGdlc19ieV9jYW5kaWRhdGUgfHw9IGlud2FyZF9lZGdlcy5pbmplY3Qoe30pIGRvIHwgYSwgZSB8CiAgICAgICAgYVtlLmxlZnRdID0gZQogICAgICAgIGEKICAgICAgZW5kCiAgICBlbmQKICAgIGRlZiBvdGhlcnMKICAgICAgIyBJbmRpY2F0ZSB0aGUgY2FuZGlkYXRlcyB3aG8gYXJlIG5vdCBtZS4KICAgICAgYWxsLnNlbGVjdHt8ZXwgc2VsZiAhPSBlfQogICAgZW5kCiAgICBkZWYgYWxsCiAgICAgICMgSW5kaWNhdGUgdGhlIGNhbmRpZGF0ZXMgaW4gdGhlIGVsZWN0aW9uLgogICAgICBlbGVjdGlvbi5jYW5kaWRhdGVzCiAgICBlbmQKICAgIGRlZiB0b3BfY291bnQKICAgICAgIyBUaGUgY291bnQgb2YgYmFsbG90cyB0aGF0IHJhbmsgbWUgYXQgdGhlIHRvcC4KICAgICAgQHRvcF9jb3VudF9wcmltIHx8PSBiYWxsb3RfbW9kZWxzLmluamVjdCgwKSBkbwogICAgICAgIHwgYSwgZXwKICAgICAgICBpZiBlLnJhbmtzX2F0X3RvcCBzZWxmCiAgICAgICAgICBhICsgZS5pbnN0YW5jZV9jb3VudAogICAgICAgIGVsc2UKICAgICAgICAgIGEKICAgICAgICBlbmQgIyBpZgogICAgICBlbmQgIyBkbwogICAgZW5kICMgdG9wX2NvdW50CiAgICBkZWYgYmFsbG90X21vZGVsczsgZWxlY3Rpb24uYmFsbG90X21vZGVsczsgZW5kCiAgZW5kICMgQ2FuZGlkYXRlCgogIGNsYXNzIENhbmRpZGF0ZVBhaXIgPCBFeHRlbmRlZE9iamVjdAogICAgIyBBbiBpbnN0YW5jZSByZXByZXNlbnRzIGFuIG9yZGVyZWQgcGFpciBvZiBkaWZmZXJlbnQgY2FuZGlkYXRlcy4KICAgIGF0dHJfYWNjZXNzb3IgOmxlZnQsIDpyaWdodAogICAgYXR0cl9yZWFkZXIgOmJvdHRvbV9jb3VudF9wcmltLCA6dG9wX2NvdW50X3ByaW0gIyBmb3IgdXNlIHdpdGggbWF0ZXMuCiAgICBkZWYgYm90dG9tX2NvdW50CiAgICAgICMgUmV0dXJuIHRoZSBjb3VudCBvZiBiYWxsb3RzIHRoYXQgcmFuayBib3RoIG15IG1lbWJlcnMgYXQgdGhlIGJvdHRvbS4KICAgICAgQGJvdHRvbV9jb3VudF9wcmltIHx8PSB0cmFuc3Bvc2UuYm90dG9tX2NvdW50X3ByaW0gfHwgYmFsbG90X21vZGVscy5pbmplY3QoMCkgZG8KICAgICAgICB8IGEsIGV8CiAgICAgICAgaWYgZS5yYW5rc19hdF9ib3R0b20gbGVmdCBhbmQgZS5yYW5rc19hdF9ib3R0b20gcmlnaHQKICAgICAgICAgIGEgKyBlLmluc3RhbmNlX2NvdW50CiAgICAgICAgZWxzZQogICAgICAgICAgYQogICAgICAgIGVuZAogICAgICBlbmQgCiAgICBlbmQKICAgIGRlZiB0b3BfY291bnQKICAgICAgIyBSZXR1cm4gdGhlIGNvdW50IG9mIGJhbGxvdHMgdGhhdCByYW5rIGJvdGggbXkgbWVtYmVycyBhdCB0aGUgdG9wLgogICAgICBAdG9wX2NvdW50X3ByaW0gfHw9IHRyYW5zcG9zZS50b3BfY291bnRfcHJpbSB8fCBiYWxsb3RfbW9kZWxzLmluamVjdCgwKSBkbwogICAgICAgIHwgYSwgZXwKICAgICAgICBpZiBlLnJhbmtzX2F0X3RvcCBsZWZ0IGFuZCBlLnJhbmtzX2F0X3RvcCByaWdodAogICAgICAgICAgYSArIGUuaW5zdGFuY2VfY291bnQKICAgICAgICBlbHNlCiAgICAgICAgICBhCiAgICAgICAgZW5kCiAgICAgIGVuZCAKICAgIGVuZAogICAgZGVmIGVsZWN0aW9uCiAgICAgIHJpZ2h0LmVsZWN0aW9uCiAgICBlbmQKICAgIGRlZiBiYWxsb3RfbW9kZWxzCiAgICAgIGVsZWN0aW9uLmJhbGxvdF9tb2RlbHMKICAgIGVuZAogICAgZGVmIGJlYXRzCiAgICAgIGlmIGFwcHJveGltYXRlbHlfYmVhdHMKICAgICAgICBpZiB0cmFuc3Bvc2UuYXBwcm94aW1hdGVseV9iZWF0cwogICAgICAgICAgb3Zlcl9jb3VudCA+IHRyYW5zcG9zZS5vdmVyX2NvdW50CiAgICAgICAgZWxzZQogICAgICAgICAgdHJ1ZQogICAgICAgIGVuZAogICAgICBlbHNlCiAgICAgICAgZmFsc2UKICAgICAgZW5kCiAgICBlbmQgIyBiZWF0cwogICAgZGVmIGFwcHJveGltYXRlbHlfYmVhdHMKICAgICAgIyBBbnN3ZXIgd2hldGhlciBieSB0aGUgZmlyc3QtY3V0IGRlZmluaXRpb24gb2YgImJlYXRzIiwgbGVmdCB3b3VsZCBiZQogICAgICAjIHNhaWQgdG8gYmVhdCByaWdodC4KICAgICAgb3Zlcl9jb3VudCArIGJvdHRvbV9jb3VudCA+IHRyYW5zcG9zZS5vdmVyX2NvdW50ICsgdG9wX2NvdW50CiAgICBlbmQKICAgIGRlZiBvdmVyX2NvdW50CiAgICAgICMgUmV0dXJuIHRoZSBjb3VudCBvZiBiYWxsb3RzIHRoYXQgcmF0ZSBsZWZ0IG92ZXIgcmlnaHQuCiAgICAgIEBvdmVyX2NvdW50IHx8PSBiYWxsb3RfbW9kZWxzLmluamVjdCgwKSBkbyB8IGEsIG0gfAogICAgICAgIGlmIG0ucmFua3NfX292ZXIobGVmdCwgcmlnaHQpCiAgICAgICAgICBhICsgbS5pbnN0YW5jZV9jb3VudAogICAgICAgIGVsc2UKICAgICAgICAgIGEKICAgICAgICBlbmQKICAgICAgZW5kCiAgICBlbmQgIyBvdmVyX2NvdW50CiAgICBkZWYgdHJhbnNwb3NlCiAgICAgICMgQW5zd2VyIHdpdGggdGhlIGNhbmRpZGF0ZSBwYWlyIHRoYXQgaGFzIHRoZSBzYW1lIGNhbmRpZGF0ZXMgSSBoYXZlLCBidXQKICAgICAgIyBpbiB0aGUgb3Bwb3NpdGUgb3JkZXIuCiAgICAgIEB0cmFuc3Bvc2UgfHw9IHJpZ2h0ICUgbGVmdAogICAgZW5kCiAgZW5kICMgQ2FuZGlkYXRlUGFpcgogIGRlZiB1bmJlYXRlbl9jYW5kaWRhdGVzX2NvdW50CiAgICBAdW5iZWF0ZW5fY2FuZGlkYXRlc19jb3VudCB8fD0gdW5iZWF0ZW5fY2FuZGlkYXRlcy5zaXplCiAgZW5kCiAgZGVmIHVuYmVhdGVuX2NhbmRpZGF0ZXMKICAgIEB1bmJlYXRlbl9jYW5kaWRhdGVzIHx8PSBjYW5kaWRhdGVzLnNlbGVjdHt8Y3xjLmlzX3VuYmVhdGVufQogIGVuZAogIGRlZiBjYW5kaWRhdGVzX2NvdW50CiAgICBAY2FuZGlkYXRlc19jb3VudCB8fD0gY2FuZGlkYXRlcy5zaXplCiAgZW5kCiAgZGVmIGNhbmRpZGF0ZXMKICAgIEBjYW5kaWRhdGVzIHx8PSB1bmRlcmx5aW5nLmNhbmRpZGF0ZXNfYnlfbmFtZS52YWx1ZXMubWFwIGRvIHwgdWMgfAogICAgICBDYW5kaWRhdGUubmV3e3xufCBuLnVuZGVybHlpbmcgPSB1Yzsgbi5lbGVjdGlvbiA9IHNlbGZ9CiAgICBlbmQKICBlbmQKICBkZWYgbGVhZGVycwogICAgIyBBbnN3ZXIgd2l0aCB0aGUgY2FuZGlkYXRlcyB0aWVkIGZvciB0aGUgd2luLgogICAgaWYgdW5iZWF0ZW5fY2FuZGlkYXRlc19jb3VudCA9PSAxCiAgICAgIHVuYmVhdGVuX2NhbmRpZGF0ZXMKICAgIGVsc2lmIHVuYmVhdGVuX2NhbmRpZGF0ZXNfY291bnQgPT0gMCBvcgogICAgICB1bmJlYXRlbl9jYW5kaWRhdGVzX2NvdW50ID09IGNhbmRpZGF0ZXNfY291bnQKICAgICMgdGhlbgogICAgICBsZWFkZXJzX2J5X3RvcF9jb3VudF9hbW9uZyBjYW5kaWRhdGVzCiAgICBlbHNlCiAgICAgIGxlYWRlcnNfYnlfdG9wX2NvdW50X2Ftb25nIHVuYmVhdGVuX2NhbmRpZGF0ZXMKICAgIGVuZAogIGVuZAogIGRlZiBwcmludF9sZWFkZXJzX3dpdGhfZXhwbGFuYXRpb24KICAgICMgUHJpbnQgdGhlIG5hbWVzIG9mIHRoZSBjYW5kaWRhdGVzIHRpZWQgZm9yIHRoZSB3aW4sIHdpdGggYSB0b3AtbGV2ZWwKICAgICMgZXhwbGFuYXRpb24gb2YgYnkgd2hhdCBydWxlIHdlIGFycml2ZSBhdCB0aGF0IHJlc3VsdC4KICAgIGlmIHVuYmVhdGVuX2NhbmRpZGF0ZXNfY291bnQgPT0gMQogICAgICBwdXRzICJUaGVyZSBpcyBvbmx5IG9uZSB1bmJlYXRlbiBjYW5kaWRhdGUsICN7dW5iZWF0ZW5fY2FuZGlkYXRlcy5maXJzdH0uIgogICAgZWxzaWYgdW5iZWF0ZW5fY2FuZGlkYXRlc19jb3VudCA9PSAwIG9yCiAgICAgIHVuYmVhdGVuX2NhbmRpZGF0ZXNfY291bnQgPT0gY2FuZGlkYXRlc19jb3VudAogICAgIyB0aGVuCiAgICAgIHB1dHMgdW5iZWF0ZW5fY2FuZGlkYXRlc19jb3VudCA9PSAwID8KICAgICAgICAiVGhlcmUgYXJlIG5vIHVuYmVhdGVuIGNhbmRpZGF0ZXMuIiA6CiAgICAgICAgIkFsbCAje2NhbmRpZGF0ZXNfY291bnR9IGNhbmRpZGF0ZXMgYXJlIHVuYmVhdGVuLiIKICAgICAgcHV0cyAiVGhlIGNhbmRpZGF0ZXMgd2hvIHJlY2VpdmVkIHRvcCBiaWxsaW5nIGZyb20gdGhlIG1vc3QgYmFsbG90cyBhcmUiICsKICAgICAgICAiICIgKyAobGVhZGVyc19ieV90b3BfY291bnRfYW1vbmcgY2FuZGlkYXRlcykuaW5zcGVjdCArICIuIgogICAgZWxzZQogICAgICBwdXRzICJTb21lLCBidXQgbm90IGFsbCwgb2YgdGhlIGNhbmRpZGF0ZXMgYXJlIHVuYmVhdGVuLiIKICAgICAgcHV0cyAiQW1vbmcgdGhlIHVuYmVhdGVuIG9uZXMsIHRoZXNlIGFyZSB0aGUgb25lcyB3aG8gcmVjZWl2ZWQgdG9wIgogICAgICBwdXRzICJyYW5raW5ncyBmcm9tIHRoZSBoaWdoZXN0IGNvdW50IG9mIGJhbGxvdHM6IgogICAgICBwdXRzIGxlYWRlcnNfYnlfdG9wX2NvdW50X2Ftb25nKHVuYmVhdGVuX2NhbmRpZGF0ZXMpLmluc3BlY3QKICAgIGVuZAogIGVuZAogIGRlZiBsZWFkZXJzX2J5X3RvcF9jb3VudF9hbW9uZyBzb21lX2NhbmRpZGF0ZXMKICAgICMgQW5zd2VyIHdpdGggdGhlIGNhbmRpZGF0ZXMgZnJvbSBhbW9uZyBzb21lX2NhbmRpZGF0ZXMgd2hvIHJlY2VpdmVkIHRvcAogICAgIyByYW5raW5nIGZyb20gdGhlIG1vc3QgYmFsbG90cy4KICAgIGxlYWRlcnNfYW1vbmcoc29tZV9jYW5kaWRhdGVzKSB7fGV8IGUudG9wX2NvdW50fQogIGVuZAogIGRlZiBsZWFkZXJzX2Ftb25nKHNvbWVfb2JqZWN0cywgJnkpCiAgICAjIEFuc3dlciB3aXRoIHRob3NlIGFtb25nIHNvbWVfb2JqZWN0cyB0byB3aGljaCB0aGUgcmVzdWx0IG9mIGNhbGxpbmcgdGhlCiAgICAjIGdpdmVuIGJsb2NrIG9uIHRoZW0gaXMgdGhlIGhpZ2hlc3QuCiAgICBtYXhfciA9IHNvbWVfb2JqZWN0cy5tYXAoJnkpLm1heAogICAgc29tZV9vYmplY3RzLnNlbGVjdHt8ZXwgbWF4X3IgPT0geS5jYWxsKGUpfQogIGVuZAogIGRlZiB1bmRlcmx5aW5nCiAgICAjIEluZGljYXRlIHRoZSByYXdlciBkYXRhIHN0cnVjdHVyZSB0aGF0IHVuZGVybGllcyBtZS4KICAgICRleGFtcGxlCiAgZW5kCiAgZGVmIGJhbGxvdF9tb2RlbHMKICAgIEBiYWxsb3RfbW9kZWxzIHx8PSB1bmRlcmx5aW5nLnZvdGVycy5tYXAgZG8gfHZ8IEJhbGxvdE1vZGVsLm5ldyBkbyB8bnwKICAgICAgbi51bmRlcmx5aW5nID0gdgogICAgZW5kIGVuZAogIGVuZAplbmQgIyBTeW1tZXRyaWNJbXByb3ZlZENvbmRlcmNldFRvcEVsZWN0aW9uCgoKIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMKIyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyAgICAgICAgICAgICAgICAgICAgICAgVG9wLWxldmVsIFF1ZXJpZXMgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICMKIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMKCgojIFdobyB3aW5zIHRoZSBmaXJzdCByb3VuZCBvZiB0aGUgc2NvcmUgZWxlY3Rpb24/ICBMZXQgcjEgYmUgdGhlIGZpcnN0IHJvdW5kLgoKcjEgPSAkZXhhbXBsZS5zY29yZV9lbGVjdGlvbi5maXJzdF9yb3VuZApwdXRzICJTY29yZSBlbGVjdGlvbi4iCnB1dHMKcHV0cyAiUm91bmQgMSwgb3JkZXJlZCB0YWxsaWVzOiIKcjEub3JkZXJlZF90YWxsaWVzLmVhY2gge3xlfCBwdXRzICIgICIgKyBlLmluc3BlY3R9CnB1dHMKcHV0cyAiUm91bmQgMSBsZWFkZXJzICN7cjEubGVhZGVyc30iCiMgcHV0cyAiTWFudWFsIHJlc29sdXRpb24gb2YgdGllOiBmaW5lIFNjb3JlIHVzZWQgYXMgdGhlIHdpbm5lci4iCiMgcjEud2lubmVycyA9IFtyMS5sZWFkZXJzWzBdXQojIHB1dHMgInIxLndpbm5lcnMgI3tyMS53aW5uZXJzfSIKcjIgPSByMS5uZXh0CnB1dHMgIlJvdW5kIDIgbGVhZGVycyAje3IyLmxlYWRlcnN9LiIKcjMgPSByMi5uZXh0CnB1dHMgIlJvdW5kIDMgbGVhZGVycyAje3IzLmxlYWRlcnN9LiIKcjQgPSByMy5uZXh0CnB1dHMgIlJvdW5kIDQgbGVhZGVycyAje3I0LmxlYWRlcnN9LiIKCnB1dHMKcHV0cwpwdXRzICJTeW1tZXRyaWMgSW1wcm92ZWQgQ29uZG9yY2V0IFRvcCBlbGVjdGlvbjoiCnB1dHMKc2ljdGUgPSBTeW1tZXRyaWNJbXByb3ZlZENvbmRlcmNldFRvcEVsZWN0aW9uLm5ldwpzaWN0ZS5wcmludF9sZWFkZXJzX3dpdGhfZXhwbGFuYXRpb24K

SW5wdXQgc3RhcnRzIGF0IGFib3V0IGxpbmUgMTEwIG9mIHRoZSBjb2RlLgpMb29rIGZvciAmcXVvdDskZXhhbXBsZS5kYXRhIGRvJnF1b3Q7IGFuZCBtb2RpZnkgd2hhdCBjb21lcyBhZnRlci4=

Input starts at about line 110 of the code.
Look for "$example.data do" and modify what comes after.