#ifndef ALGO_ALIGN_UTIL_COMPARTMENT_FINDER__HPP
#define ALGO_ALIGN_UTIL_COMPARTMENT_FINDER__HPP

/* $Id: compartment_finder.hpp 91306 2020-10-08 11:57:15Z gouriano $
* ===========================================================================
*
*                            PUBLIC DOMAIN NOTICE                          
*               National Center for Biotechnology Information
*                                                                          
*  This software/database is a "United States Government Work" under the   
*  terms of the United States Copyright Act.  It was written as part of    
*  the author's official duties as a United States Government employee and 
*  thus cannot be copyrighted.  This software/database is freely available 
*  to the public for use. The National Library of Medicine and the U.S.    
*  Government have not placed any restriction on its use or reproduction.  
*                                                                          
*  Although all reasonable efforts have been taken to ensure the accuracy  
*  and reliability of the software and data, the NLM and the U.S.          
*  Government do not and cannot warrant the performance or results that    
*  may be obtained by using this software or data. The NLM and the U.S.    
*  Government disclaim all warranties, express or implied, including       
*  warranties of performance, merchantability or fitness for any particular
*  purpose.                                                                
*                                                                          
*  Please cite the author in any work or product based on this material.   
*
* ===========================================================================
*
* Author:  Yuri Kapustin, Alexander Souvorov, Boris Kiryutin
*
* File Description:  
*
*   cDNA-to-genomic compartmentization algortihms.
*   The task of compartmentization is to identify alternative placements
*   of a transcript on a genomic sequence.
* 
*   CCompartmentFinder      Identification of genomic compartments.
*   CCompartmentAccessor    An aggregator class to CCompartmentFinder.
*                   
* ===========================================================================
*/


#include <corelib/ncbi_limits.hpp>

#include <algo/align/nw/align_exception.hpp>
#include <algo/align/util/hit_filter.hpp>

#include <objects/seqalign/Seq_align_set.hpp>
#include <objects/seqalign/Seq_align.hpp>
#include <objects/seqalign/Std_seg.hpp>
#include <objects/seqalign/Dense_seg.hpp>
#include <objects/seqloc/Seq_loc.hpp>
#include <objects/seqloc/Na_strand.hpp>
#include <objects/seq/Seq_literal.hpp>

#include <objmgr/seq_map.hpp>
#include <objmgr/scope.hpp>
#include <objmgr/seq_map_ci.hpp>

#include <algorithm>
#include <numeric>
#include <vector>


BEGIN_NCBI_SCOPE

USING_SCOPE(objects);

template<class THit>
class CGapInfo {
public:
    typedef typename THit::TCoord TCoord;

    CGapInfo(const CSeq_id& id, CScope *scope) {
        m_scope = scope;
        m_flipped = false;
        if(scope) {
            m_seq_map = & (scope->GetBioseqHandle(id).GetSeqMap() );
        }
    }

    void Flip(TCoord subj_min, TCoord subj_max) {
        m_flipped = true;
        m_subj_min = subj_min;
        m_subj_max = subj_max;
    }

    bool IntersectsNonBridgeableGap(TCoord from, TCoord to) {
        if(m_flipped) {
            TCoord new_from = m_subj_min + m_subj_max - to;
            TCoord new_to = m_subj_min + m_subj_max - from;
            from = new_from;
            to = new_to;
        }
        bool res = false;
        if(m_scope && m_seq_map) {
            CSeqMap_CI it = m_seq_map->ResolvedRangeIterator(m_scope,  from, to - from + 1, eNa_strand_plus, size_t(-1), CSeqMap::fFindGap);
            for( ; it; ++it) {
                CConstRef<CSeq_literal> lit = it.GetRefGapLiteral();
                if(lit && lit->GetBridgeability() == CSeq_literal::e_NotBridgeable) {
                    res = true;
                    break;
                }
            }
        }
        return res;
    }

private:
    CScope *m_scope;
    bool m_flipped;
    TCoord m_subj_min;
    TCoord m_subj_max;
    CConstRef<CSeqMap> m_seq_map;    
};


template<class THit>
class CPrecalcGapInfo {
public:
    typedef typename THit::TCoord TCoord;

    CPrecalcGapInfo(const vector<pair<TCoord, TCoord> >* gaps) : m_gaps(gaps) {
        m_flipped = false;
    }

    void Flip(TCoord subj_min, TCoord subj_max) {
        m_flipped = true;
        m_subj_min = subj_min;
        m_subj_max = subj_max;
    }

    bool IntersectsNonBridgeableGap(TCoord from, TCoord to) {
        if(m_gaps == NULL) {
            return false;
        }
        if(m_flipped) {
            TCoord new_from = m_subj_min + m_subj_max - to;
            TCoord new_to = m_subj_min + m_subj_max - from;
            from = new_from;
            to = new_to;
        }
        bool res = false;
        for(size_t i = 0; i < m_gaps->size(); ++i) {
            TCoord gfrom = (*m_gaps)[i].first;
            TCoord gto = (*m_gaps)[i].second;
            if( gfrom < to && from < gto ) {
                res = true;
                break;
            }
        }
        return res;
    }

private:
    bool m_flipped;
    TCoord m_subj_min;
    TCoord m_subj_max;
    const vector<pair<TCoord, TCoord> > *m_gaps;    
};


template<class THit>
class CCompartmentFinder {

public:

    typedef CRef<THit>            THitRef;
    typedef vector<THitRef>       THitRefs;
    typedef typename THit::TCoord TCoord;

    /// Create the object from the complete set of local alignments (hits)
    /// between the transcript and the genomic sequences.
    /// The hits are assumed to share the same query and subject and 
    /// to have plus strand on both sequences.
    ///
    /// @param start
    ///    Start of the input set of alignments.
    /// @param finish
    ///    End of the input set of alignments.

    CCompartmentFinder(typename THitRefs::const_iterator start,
                       typename THitRefs::const_iterator finish,
                       CGapInfo<THit> *gap_info = NULL, CPrecalcGapInfo<THit> *prec_gap_info = NULL);

    /// Set compartment overlap behaviour. Allow compartments to overlap 
    /// on subject. 
    ///
    /// @param max_overlap
    ///    Maximum length of overlap on subject.
    ///    0 - do not allow overlap.

    void SetMaxOverlap(TCoord max_overlap) {
        m_max_overlap = max_overlap;
    }

    /// Retrieve the default compartment overlap behaviour (no overlap).

    static TCoord s_GetDefaultMaxOverlap(void) {
        return 0;
    }

    /// Set the maximum length of an intron
    ///
    /// @param intr_max
    ///    Maximum length of an intron, in base pairs.

    void SetMaxIntron(TCoord intr_max) {
        m_intron_max = intr_max;
    }

    /// Retrieve the default maximum length of an intron
    
    static TCoord s_GetDefaultMaxIntron(void) {
                        // Some examples:
                        //    NM_147181.3 vs NC_000004.10 (~1.1M)
        return 1200000; //    NM_001128929.1 vs NC_000003.10 (~1.2M)
    }


    /// Set the penalty to open a compartment
    ///
    /// @param penalty
    ///    Compartment opening penalty, in base pairs.

    void SetPenalty(TCoord penalty) {
        m_penalty = penalty;
    }
        
    /// Set the minimum matching residues per compartment.
    ///
    /// @param min_matches
    ///    The min number of matching residues in base pairs

    void SetMinMatches(TCoord min_matches) {
        m_MinSingletonMatches = m_MinMatches = min_matches;
    }
        
    /// Set the minimum matching residues per singleton compartment.
    ///
    /// @param min_matches
    ///    The min number of matching residues in base pairs

    void SetMinSingletonMatches(TCoord min_matches) {
        m_MinSingletonMatches = min_matches;
    }

    /// Retrieve the default compartment penalty, in base pairs

    static TCoord s_GetDefaultPenalty(void) {
        return 500;
    }

    /// Retrieve the default minimum coverage, in base pairs
    
    static TCoord s_GetDefaultMinCoverage(void) {
        return 500;
    }

    /// Identify compartments.
    ///
    /// @param  cross_filter
    ///    When activated, cross filtering will ensure that only 
    ///    the alignments that provided non-ambguous mapping between 
    ///    the sequences will be reported in the output.

    size_t Run(bool cross_filter = false); // do the compartment search

    ///  Order compartments by lower subj coordinate

    void OrderCompartments(void);

    /// Individual compartment representation.
    /// Compartment members are the hits comprising the compartment.

    class CCompartment {

    public:
        
        /// Create an empty compartment

        CCompartment(void) {
            m_box[0] = m_box[2] = numeric_limits<TCoord>::max();
            m_box[1] = m_box[3] = 0;
        }

        /// Retrieve compartment's members

        const THitRefs& GetMembers(void) {
            return m_members;
        }
    
        /// Add a new member into the compartment

        void AddMember(const THitRef& hitref) {
            m_members.push_back(hitref);
        }

        /// Assign all members of the compartment

        THitRefs& SetMembers(void) {
            return m_members;
        }
    
        /// Make sure the compartment's box is up-to-date

        void UpdateMinMax(void);

        /// Retrieve the compartment's strand (true == plus)
        
        bool GetStrand(void) const;

        /// Retrieve the first member.
        /// 
        /// @return
        ///    A reference on the first member of the compartment,
        ///    or a null reference if the compartment is empty.

        const THitRef GetFirst(void) const {
            m_iter = 0;
            return GetNext();
        }
        

        /// Retrieve the next member.
        /// 
        /// @return
        ///    A reference on the next member of the compartment,
        ///    or a null reference if there are no more members.

        const THitRef GetNext(void) const {
            if(m_iter < m_members.size()) {
                return m_members[m_iter++];
            }
            return THitRef(NULL);
        }
        
        /// Retrieve the compartment's box.
        ///
        /// @return
        ///    A const pointer at the compartment's box.

        const TCoord* GetBox(void) const {
            return m_box;
        }
              
        // helper predicate
        static bool s_PLowerSubj(const CCompartment& c1, const CCompartment& c2) {

            return c1.m_box[2] < c2.m_box[2];
        }
        
    protected:
        
        THitRefs            m_members;
        TCoord              m_box[4];
        mutable size_t      m_iter;
    };

    // iterate through compartments

    CCompartment* GetFirst(void);
    CCompartment* GetNext(void);

private:

    TCoord                m_max_overlap;   //max overlap on subject for different compartments
    TCoord                m_intron_max;    // max intron size
    TCoord                m_penalty;       // penalty per compartment
    TCoord                m_MinMatches;    // min approx matches to report
    TCoord                m_MinSingletonMatches; // min matches for singleton comps

    THitRefs              m_hitrefs;         // input hits
    vector<CCompartment>  m_compartments;    // final compartments
    int                   m_iter;            // GetFirst/Next index
    CGapInfo<THit> *      m_gap_info;        // holds information about sequence gaps
    CPrecalcGapInfo<THit> *      m_prec_gap_info;        // holds precalculated information about sequence gaps
    
    struct SHitStatus {
        
        enum EType {
            eNone, 
            eExtension,
            eOpening
        };
        
        EType  m_type;
        int    m_prev;
        double m_score;        

        SHitStatus(void): m_type(eNone), m_prev(-1), m_score(0) 
        {}
        SHitStatus(EType type, int prev, double score): 
            m_type(type), m_prev(prev), m_score(score) 
        {}
    };    


    static size_t sx_XFilter(THitRefs& hitrefs,
                             typename THitRefs::iterator ihr,
                             typename THitRefs::iterator ihr_e,
                             Uint1 w,
                             size_t min_compartment_hit_len);

    // helper predicate

    static bool s_PNullRef(const THitRef& hr) {
        return hr.IsNull();
    }
};


// Facilitate access to compartments over a hit set
template<class THit>
class CCompartmentAccessor
{
public:

    typedef CCompartmentFinder<THit> TCompartmentFinder;
    typedef typename TCompartmentFinder::THitRefs THitRefs;
    typedef typename TCompartmentFinder::TCoord   TCoord;

    /// Construct the object and assign the parameters of the algorithm.
    ///
    /// @param  comp_penalty_bps
    ///    Penalty to open a compartment, in base pairs.
    /// @param  min_matches
    ///    The minimum number of matching residues in a compartment, in base pairs.
    /// @param  min_singleton_matches
    ///    The minimum number of matching residues in a singleton, in base pairs.
    /// @param  cross_filter
    ///    Perform cross-filtering when true.

    CCompartmentAccessor(TCoord  comp_penalty_bps,
                         TCoord  min_matches,
                         TCoord  min_singleton_matches = numeric_limits<TCoord>::max(),
                         bool    cross_filter = false);

    /// Construct the object; assign the parameters of the algorithm; execute.
    /// The input range of alignments is assumed to contain the complete set of 
    /// alignments between the same pair of sequences.
    /// The alignments can be on one or both genomic strands.
    ///
    /// @param  start
    ///    Start of the input range of input alignments.
    /// @param  finish
    ///    Stop of the input range of input alignments.
    /// @param  comp_penalty_bps
    ///    Penalty to open a compartment, in base pairs.
    /// @param  min_matches
    ///    The minimum number of matching residues in a compartment, in base pairs.
    /// @param  min_singleton_matches
    ///    The minimum number of matching residues in a singleton, in base pairs.
    /// @param  cross_filter
    ///    Perform cross-filtering when true.

    CCompartmentAccessor(typename THitRefs::iterator start, 
                         typename THitRefs::iterator finish,
                         TCoord  comp_penalty_bps,
                         TCoord  min_matches,
                         TCoord  min_singleton_matches = numeric_limits<TCoord>::max(),
                         bool    cross_filter = false, CScope *scope = NULL,
                         const vector<pair<TCoord, TCoord> > *gaps = NULL);

    /// Execute: identify compartments. The alignments can be on one 
    /// or both genomic strands.
    ///
    /// @param  start
    ///    Start of the input range of input alignments.
    /// @param  finish
    ///    Stop of the input range of input alignments.

    void Run(typename THitRefs::iterator start, 
             typename THitRefs::iterator finish, CScope *scope = NULL,
             const vector<pair<TCoord, TCoord> > *gaps = NULL);
    
    /// Assign the maximum intron length, in base pairs

    void   SetMaxIntron(TCoord mi) { m_MaxIntron = mi; }

    /// Retrieve the maximum intron length, in base pairs

    TCoord GetMaxIntron(void) const { return m_MaxIntron; }

    /// Assign the maximum length for compartments to overlap on the subject.

    void   SetMaxOverlap(TCoord max_overlap) { m_MaxOverlap = max_overlap; }

    /// Initialize iteration over the results.
    /// Results are sorted by strand (minus first) and subj position.
    ///
    /// @param  compartment
    ///    The first identified compartment
    /// @return
    ///    true if more compartments are available

    bool GetFirst(THitRefs& compartment);

    /// Proceed with iteration over the results.
    ///
    /// @param  compartment
    ///    The next identified compartment
    /// @return
    ///    true if more compartments are available

    bool GetNext(THitRefs& compartment);
    
    /// Retrieve the compartment counts.
    ///
    /// @return
    ///    The first number in the pair is the total count;
    ///    the second number is the number of compartments with the number of matches
    ///    abive the minimum.
    ///

    pair<size_t,size_t> GetCounts(void) const {

        // std::count() not supported on some platforms
        size_t valid_count (0);
        for(size_t i(0), n(m_status.size()); i != n; ++i) {
            if(m_status[i]) ++valid_count;
        }

        pair<size_t, size_t> rv (m_pending.size(), valid_count);

        return rv;
    }
    
    /// Retrieve a compartment by index.
    ///
    /// @param idx
    ///    The compartment's index
    /// @param compartment
    ///    The reference to receive the compartment requested.

    void Get(size_t idx, THitRefs& compartment) const {
        compartment = m_pending[idx];
    }
    
    const TCoord* GetBox(size_t i) const {
        return &m_ranges.front() + i*4;
    }
    
    bool GetStrand(size_t i) const {
        return m_strands[i];
    }

    bool GetStatus(size_t i) const {
        return m_status[i];
    }

    /// Retrieve all valid compartments in a seq-align-set.
    ///
    /// @return
    ///    A seq-align-set object with this hierarchy.
    ///      1. Compartment-level seq-align with bounds.
    ///      2. Seq-align-set keeping individual hits of the compartment.
    ///      3. Hit-level seq-align of the dense-seg type.
    CRef<objects::CSeq_align_set> AsSeqAlignSet(void) const;
        
private:

    void x_Init(TCoord comp_penalty, TCoord  min_matches,
                TCoord min_singleton_matches, bool cross_filter);
    
    // compartmentization parameters
    TCoord m_Penalty;
    TCoord m_MinMatches;
    TCoord m_MinSingletonMatches;
    TCoord m_MaxIntron;
    TCoord m_MaxOverlap;
    bool   m_CrossFiltering;

    // ancillary members
    vector<THitRefs>         m_pending;
    vector<TCoord>           m_ranges;
    vector<bool>             m_strands;
    vector<bool>             m_status;
    size_t                   m_iter;
    
    void x_Copy2Pending(TCompartmentFinder& finder);
};



///  IMPLEMENTATION
/////////////////////////////////////////////////////////////////////////////


const double kPenaltyPerIntronBase = -2e-5; // a small penalty to prefer
                                            // more compact models among equal

const double kPenaltyPerIntronPos = -1e-9;  // a small penalty to favor uniform
                                            // selection among equivalent chains

template<class THit>
void CCompartmentFinder<THit>::CCompartment::UpdateMinMax() 
{
    typedef CHitFilter<THit> THitFilter;
    THitFilter::s_GetSpan(m_members, m_box);
}


template<class THit>
bool CCompartmentFinder<THit>::CCompartment::GetStrand() const {

    if(m_members.size()) {
        return m_members.front()->GetSubjStrand();
    }
    else {
        NCBI_THROW( CAlgoAlignException,
                    eInternal,
                    "Strand requested on an empty compartment" );
    }
}


template<class THit>
CCompartmentFinder<THit>::CCompartmentFinder(
    typename THitRefs::const_iterator start,
    typename THitRefs::const_iterator finish,
                       CGapInfo<THit> *gap_info,
                       CPrecalcGapInfo<THit> *prec_gap_info ):

    m_max_overlap(s_GetDefaultMaxOverlap()),
    m_intron_max(s_GetDefaultMaxIntron()),
    m_penalty(s_GetDefaultPenalty()),
    m_MinMatches(1),
    m_MinSingletonMatches(1),
    m_iter(-1),
    m_gap_info(gap_info),
    m_prec_gap_info(prec_gap_info)
{
    m_hitrefs.resize(finish - start);
    copy(start, finish, m_hitrefs.begin());
}

// Query match accumulator
template<class THit>
class CQueryMatchAccumulator
{
public:

    CQueryMatchAccumulator(void): m_Finish(-1.0)
    {}

    double operator() (double acm, CRef<THit> ph)
    {
        const typename THit::TCoord qmin (ph->GetQueryMin()), 
            qmax (ph->GetQueryMax());
        if(qmin > m_Finish)
            return acm + ph->GetIdentity() * ((m_Finish = qmax) - qmin + 1);
        else {
            if(qmax > m_Finish) {
                const double finish0 (m_Finish);
                return acm + ph->GetIdentity() * ((m_Finish = qmax) - finish0);
            }
            else {
                return acm;
            }
        }
    }

private:

    double m_Finish;
};


template<class THit>
double GetTotalMatches(
    const typename CCompartmentFinder<THit>::THitRefs& hitrefs0)
{
    typename CCompartmentFinder<THit>::THitRefs hitrefs (hitrefs0);   

    typedef CHitComparator<THit> THitComparator;
    THitComparator sorter (THitComparator::eQueryMin);
    stable_sort(hitrefs.begin(), hitrefs.end(), sorter);

    const double rv (accumulate(hitrefs.begin(), hitrefs.end(), 0.0, 
                                CQueryMatchAccumulator<THit>()));
    return rv;
}


template<class THit>
size_t CCompartmentFinder<THit>::Run(bool cross_filter)
{
    const double kMinusInf (-1e12);

    m_compartments.clear();
    const int dimhits = m_hitrefs.size();
    if(dimhits == 0) {
        return 0;
    }

    // sort the hits to make sure that each hit is placed after:
    // - hits from which to continue a compartment
    // - hits from which to open a new compartment

    typedef CHitComparator<THit> THitComparator;
    stable_sort(m_hitrefs.begin(), m_hitrefs.end(),
                THitComparator(THitComparator::eSubjMaxQueryMax));

    // For every hit:
    // - evaluate its best extension potential
    // - evaluate its best potential to start a new compartment
    // - select the best variant
    // - update the hit status array
    
    typedef vector<SHitStatus> THitData;
    THitData hitstatus (dimhits);

    const TCoord subj_min_global (m_hitrefs.front()->GetSubjMin());

    int i_bestsofar (0);
    for(int i (0); i < dimhits; ++i) {
        
        const THitRef& h (m_hitrefs[i]);
        const double identity (h->GetIdentity());
        const typename THit::TCoord hbox [4] = {
            h->GetQueryMin(),  h->GetQueryMax(),
            h->GetSubjMin(),   h->GetSubjMax()
        };

//#define CF_DBG_TRACE
#ifdef CF_DBG_TRACE
        cerr << endl << *h << endl;
#endif

        double best_ext_score (kMinusInf);
        int    i_best_ext (-1);

        double best_open_score (identity*(hbox[1] - hbox[0] + 1) - m_penalty);
        int    i_best_open (-1); // each can be a start of the very first compartment

        if(hbox[2] + m_max_overlap > m_hitrefs[i_bestsofar]->GetSubjMax()) {

            const double score_open (identity*(hbox[1] - hbox[0] + 1) 
                                     + hitstatus[i_bestsofar].m_score
                                     - m_penalty);

            if(score_open > best_open_score) {
                best_open_score = score_open;
                i_best_open = i_bestsofar;
            }
        }
        else {
            // try every prior hit
            for(int j (i - 1); j >= 0; --j) {

                const double score_open (identity * (hbox[1] - hbox[0] + 1)
                                         + hitstatus[j].m_score
                                         - m_penalty);

                if(score_open > best_open_score 
                   && hbox[2] + m_max_overlap > m_hitrefs[j]->GetSubjMax())
                {
                    best_open_score = score_open;
                    i_best_open = j;
                }
            }
        }

        for(int j = i; j >= 0; --j) {
            
            THitRef phc;
            typename THit::TCoord phcbox[4];
            if(j != i) {

                phc = m_hitrefs[j];
                phcbox[0] = phc->GetQueryMin();
                phcbox[1] = phc->GetQueryMax();
                phcbox[2] = phc->GetSubjMin();
                phcbox[3] = phc->GetSubjMax();

#ifdef CF_DBG_TRACE
                cerr << '\t' << *phc << endl;
#endif
            }
#ifdef CF_DBG_TRACE
            else {
                cerr << "\t[Dummy]" << endl;
            }
#endif
            
            // check if good for extension
            {{
                typename THit::TCoord q0, s0; // possible continuation
                bool good (false);
                int subj_space;
                TCoord intron_start (0);

                if(i != j) {

                    if( ( phcbox[1] < hbox[1] && phcbox[0] < hbox[0] )
                        && phcbox[2] <= hbox[2] //prohibit to extend if previous hit is inside the current in genomic coordinates
                    ) {

                        if(hbox[0] <= phcbox[1] && 
                           hbox[2] + phcbox[1] - hbox[0] >= phcbox[3]) {

                            q0 = phcbox[1] + 1;
                            s0 = hbox[2] + phcbox[1] - hbox[0];
                        }
                        else if(phcbox[3] >= hbox[2]) {

                            s0 = phcbox[3] + 1;
                            q0 = hbox[1] - (hbox[3] - s0);
                        }
                        else {
                            
                            q0 = hbox[0];
                            s0 = hbox[2];
                        }
                        subj_space = s0 - phcbox[3] - 1;


                        // max run of spaces inside an exon - NOW DISABLED
                        // example: NM_021645.4 vs NC_000013.9: 51.4 - 51.51M
                        //const TCoord max_gap (100);

                        good = (subj_space <= int(m_intron_max))
                            && (s0 < hbox[3] && q0 < hbox[1]);

                        //prohibit to go over non-bridgable gaps in subject
                        if(good) {
                            if( phcbox[3] <= hbox[2] ) {
                                if( ( m_prec_gap_info && m_prec_gap_info->IntersectsNonBridgeableGap(phcbox[3], hbox[2]) ) ||
                                    ( m_gap_info && m_gap_info->IntersectsNonBridgeableGap(phcbox[3], hbox[2]) ) ) {
                                    good = false;
                                }
                            }
                        }

                        if(good) {
                            intron_start = phcbox[3];
                        }
                    }
                }
                
                if(good) {
                    
                    const double jscore (hitstatus[j].m_score);
                    const double intron_penalty ((subj_space > 0)?
                         (kPenaltyPerIntronPos * (intron_start - subj_min_global) 
                         + subj_space * kPenaltyPerIntronBase): 0.0);

                    const double ext_score (jscore +
                        identity * (hbox[1] - q0 + 1) + intron_penalty);

                    if(ext_score > best_ext_score) {
                        best_ext_score = ext_score;
                        i_best_ext = j;
                    }
#ifdef CF_DBG_TRACE
                    cerr << "\tGood for extension with score = " << ext_score << endl;
#endif
                }
            }}          
        }
        
        typename SHitStatus::EType hit_type;
        int prev_hit;
        double best_score;
        if(best_ext_score > best_open_score) {

            hit_type = SHitStatus::eExtension;
            prev_hit = i_best_ext;
            best_score = best_ext_score;
        }
        else {

            hit_type = SHitStatus::eOpening;
            prev_hit = i_best_open;
            best_score = best_open_score;
        }
                
        hitstatus[i].m_type  = hit_type;
        hitstatus[i].m_prev  = prev_hit;
        hitstatus[i].m_score = best_score;

        if(best_score > hitstatus[i_bestsofar].m_score) {
            i_bestsofar = i;
        }

#ifdef CF_DBG_TRACE
        cerr << "Status = " << ((hit_type == SHitStatus::eOpening)? "Open": "Extend")
             << '\t' << best_score << endl;
        if(prev_hit == -1) {
            cerr << "[Dummy]" << endl;
        }
        else {
            cerr << *(m_hitrefs[prev_hit]) << endl;
        }
#endif
    }
    
#ifdef CF_DBG_TRACE
    cerr << "\n\n--- BACKTRACE ---\n";
#endif

    // *** backtrace ***
    // -  trace back the chain with the highest score
    const double score_best    (hitstatus[i_bestsofar].m_score);    
    const double min_matches   (m_MinSingletonMatches < m_MinMatches? 
        m_MinSingletonMatches: m_MinMatches);

    vector<bool> comp_status;
    if(score_best + m_penalty >= min_matches) {

        int i (i_bestsofar);
        bool new_compartment (true);
        THitRefs hitrefs;
        while(i != -1) {

            if(new_compartment) {

                const double mp (GetTotalMatches<THit>(hitrefs));
                if(mp > 0) {
                    // save the current compartment
                    m_compartments.push_back(CCompartment());
                    m_compartments.back().SetMembers() = hitrefs;
                    comp_status.push_back(mp >= m_MinMatches);
                }

                hitrefs.resize(0);
                new_compartment = false;
            }
            hitrefs.push_back(m_hitrefs[i]);

#ifdef CF_DBG_TRACE
            cerr << *(m_hitrefs[i]) << endl;
#endif            
            
            if(hitstatus[i].m_type == SHitStatus::eOpening) {
                new_compartment = true;
            }
            i = hitstatus[i].m_prev;
        }

        const double mp (GetTotalMatches<THit>(hitrefs));
        if(mp > 0) {
            bool status ( ( m_compartments.size() == 0 && mp >= m_MinSingletonMatches )
                         || mp >= m_MinMatches );
            m_compartments.push_back(CCompartment());
            m_compartments.back().SetMembers() = hitrefs;
            comp_status.push_back(status);
        }
    }

    if(cross_filter && m_compartments.size()) {

        const TCoord kMinCompartmentHitLength (8);

        // partial x-filtering using compartment hits only
        for(size_t icn (m_compartments.size()), ic (0); ic < icn; ++ic) {

            CCompartment & comp (m_compartments[ic]);
            THitRefs& hitrefs (comp.SetMembers());
            size_t nullified (0);
            for(int in (hitrefs.size()), i (in - 1); i > 0; --i) {

                int j1 (i);
                while(j1 < in && hitrefs[j1].IsNull()) ++j1;
                if(j1 == in) continue;

                THitRef& h1 (hitrefs[j1]);
                THitRef& h2 (hitrefs[i-1]);

                if(h1.IsNull()) continue;

                const TCoord * box1o (h1->GetBox());
                TCoord box1 [4] = {box1o[0], box1o[1], box1o[2], box1o[3]};
                const TCoord * box2o (h2->GetBox());
                TCoord box2 [4] = {box2o[0], box2o[1], box2o[2], box2o[3]};

                const int qd (box1[1] - box2[0] + 1);
                const int sd (box1[3] - box2[2] + 1);
                if(qd > sd && qd > 0) {

                    if(box2[0] <= box1[0] + kMinCompartmentHitLength) {

#ifdef ALGOALIGNUTIL_COMPARTMENT_FINDER_KEEP_TERMINII
                        if(i + 1 == in) {
                            TCoord new_coord (box1[0] + (box1[1] - box1[0])/2);
                            if(box1[0] + 1 <= new_coord) {
                                --new_coord;
                            }
                            else {
                                new_coord = box1[0];
                            }
                            h1->Modify(1, new_coord);
                        }
                        else 
#endif
                        {
                            h1.Reset(0);
                            ++nullified;
                        }
                    }
                    else {
                        h1->Modify(1, box2[0] - 1);
                    }
                    
                    if(box2[1] <= box1[1] + kMinCompartmentHitLength) {

#ifdef ALGOALIGNUTIL_COMPARTMENT_FINDER_KEEP_TERMINII
                        if(i == 1) {
                            TCoord new_coord (box2[0] + (box2[1] - box2[0])/2);
                            if(box2[1] >= new_coord + 1) {
                                ++new_coord;
                            }
                            else {
                                new_coord = box2[1];
                            }
                            h2->Modify(0, new_coord);
                        }
                        else
#endif
                        {
                            h2.Reset(0);
                            ++nullified;
                        }
                    }
                    else {
                        h2->Modify(0, box1[1] + 1);
                    }
                }
                else if (sd > 0) {

                    if(box2[2] <= box1[2] + kMinCompartmentHitLength) {

                        if(i + 1 == in) {
                            TCoord new_coord (box1[2] + (box1[3] - box1[2])/2);
                            if(box1[2] + 1 <= new_coord) {
                                --new_coord;
                            }
                            else {
                                new_coord = box1[2];
                            }
                            h1->Modify(3, new_coord);
                        }
                        else {
                            h1.Reset(0);
                            ++nullified;
                        }
                    }
                    else {
                        h1->Modify(3, box2[2] - 1);
                    }
                    
                    if(box2[3] <= box1[3] + kMinCompartmentHitLength) {

                        if(i == 1) {
                            TCoord new_coord (box2[2] + (box2[3] - box2[2])/2);
                            if(box2[3] >= new_coord + 1) {
                                ++new_coord;
                            }
                            else {
                                new_coord = box2[3];
                            }

                            h2->Modify(2, new_coord);
                        }
                        else {
                            h2.Reset(0);
                            ++nullified;
                        }
                    }
                    else {
                        h2->Modify(2, box1[3] + 1);
                    }
                }
            }

            if(nullified > 0) {
                hitrefs.erase(remove_if(hitrefs.begin(), hitrefs.end(),
                                        CCompartmentFinder<THit>::s_PNullRef),
                              hitrefs.end());
            }
        }

#define ALGO_ALIGN_COMPARTMENT_FINDER_USE_FULL_XFILTERING
#ifdef  ALGO_ALIGN_COMPARTMENT_FINDER_USE_FULL_XFILTERING

        typename THitRefs::iterator ihr_b (m_hitrefs.begin()),
            ihr_e(m_hitrefs.end()), ihr (ihr_b);

        stable_sort(ihr_b, ihr_e, THitComparator(THitComparator::eSubjMinSubjMax));

        // complete x-filtering using the full set of hits
        for(int icn (m_compartments.size()), ic (icn - 1); ic >= 0; --ic) {

            CCompartment & comp (m_compartments[ic]);
            THitRefs& hitrefs (comp.SetMembers());

            if(hitrefs.size() < 3) {
                continue;
            }
            else {
                NON_CONST_ITERATE(typename THitRefs, ii, hitrefs) {
                    (*ii)->SetScore(- (*ii)->GetScore());
                }
                hitrefs.front()->SetEValue(-1);
                hitrefs.back()->SetEValue(-1);
            }
            
            const TCoord comp_subj_min (hitrefs.back()->GetSubjStart());
            const TCoord comp_subj_max (hitrefs.front()->GetSubjStop());
            while(ihr != ihr_e && ((*ihr)->GetSubjStart() < comp_subj_min
                                   || (*ihr)->GetScore() < 0))
            {
                ++ihr;
            }

            if(ihr == ihr_e) break;
            if((*ihr)->GetSubjStart() > comp_subj_max) continue;
            typename THitRefs::iterator ihrc_b (ihr);

            typename THitRefs::iterator ihrc_e (ihr);
            while(ihrc_e != ihr_e && ((*ihrc_e)->GetSubjStart() < comp_subj_max
                                      || (*ihrc_e)->GetScore() < 0))
            {
                ++ihrc_e;
            }

            size_t nullified (sx_XFilter(hitrefs, ihrc_b, ihrc_e, 1, 
                                         kMinCompartmentHitLength));
            stable_sort(ihrc_b, ihrc_e, THitComparator (THitComparator::eQueryMinQueryMax));

            nullified += sx_XFilter(hitrefs, ihrc_b, ihrc_e, 0,
                                    kMinCompartmentHitLength);

            ihr = ihrc_e;

            if(nullified > 0) {
                hitrefs.erase(remove_if(hitrefs.begin(), hitrefs.end(),
                                        CCompartmentFinder<THit>::s_PNullRef),
                              hitrefs.end());
            }
        }

        for(int icn (m_compartments.size()), ic (icn - 1); ic >= 0; --ic) {

            CCompartment & comp (m_compartments[ic]);
            THitRefs& hitrefs (comp.SetMembers());
            NON_CONST_ITERATE(typename THitRefs, ii, hitrefs) {
                const double score ((*ii)->GetScore());
                if(score < 0) {
                    (*ii)->SetScore(-score);
                }
                const double eval ((*ii)->GetEValue());
                if(eval < 0) {
                    (*ii)->SetEValue(0);
                }
            }
        }
#endif
    }

    // mask out compartments with low identity
    for(size_t i (0), in (m_compartments.size()); i < in; ++i) {
        if(comp_status[i] == false) {

            THitRefs & hitrefs (m_compartments[i].SetMembers());
            NON_CONST_ITERATE(typename THitRefs, ii, hitrefs) {
                THitRef & hr (*ii);
                hr->SetScore(-hr->GetScore());
            }
        }
    }

    return m_compartments.size();
}


template<class THit>
size_t CCompartmentFinder<THit>::sx_XFilter(
    THitRefs& hitrefs,
    typename THitRefs::iterator ihr,
    typename THitRefs::iterator ihr_e,
    Uint1 w,
    size_t min_compartment_hit_len)
{
    size_t nullified (0);
    for(int in (hitrefs.size()), i (in - 2); i > 0 && ihr != ihr_e; --i) {

        THitRef& h1 (hitrefs[i]);
        if(h1.IsNull()) continue;
                      
        const TCoord * box1o (h1->GetBox());
        TCoord box1 [4] = {box1o[0], box1o[1], box1o[2], box1o[3]};

        // locate the first overlap
        for(; ihr != ihr_e; ++ihr) {

            THitRef hr (*ihr);
            if(hr.IsNull()) continue;
            if(hr->GetScore() > 0 && hr->GetStop(w) >= box1[2*w]) {
                break;
            }
        }

        if(ihr == ihr_e) {
            break;
        }

        // find the smallest not overlapped hit coord and its interval
        TCoord ls0 (box1[2*w+1] + 1), cursegmax (0);
        TCoord segmax_start(box1[2*w]), segmax_stop(box1[2*w+1]);

        if(box1[2*w] < (*ihr)->GetStart(w)) {

            segmax_start = ls0 = box1[2*w];
            segmax_stop = (*ihr)->GetStart(w) - 1;
            cursegmax = segmax_stop - segmax_start + 1;
        }
        else {

            TCoord shrsmax ((*ihr)->GetStop(w));
            for(++ihr; ihr != ihr_e; ++ihr) {

                THitRef hr (*ihr);
                if(hr.IsNull() || hr->GetScore() < 0) {
                    continue;
                }

                const TCoord hrs0 (hr->GetStart(w));
                if(hrs0 > box1[2*w+1]) {
                    segmax_stop = box1[2*w+1];
                    break;
                }

                if(hrs0 > shrsmax) {
                    segmax_stop = hrs0 - 1;
                    break;
                }

                const TCoord hrs1 (hr->GetStop(w));
                if(hrs1 > shrsmax) {
                    shrsmax = hrs1;
                }
            }

            if(shrsmax < box1[2*w+1]) {
                segmax_start = ls0 = shrsmax + 1;
                cursegmax = segmax_stop - segmax_start + 1;
            }
        }
                
        if(ls0 > box1[2*w+1]) {
            h1.Reset(0);
            ++nullified;
            continue;
        }

        // find the longest surviving segment       
        for(; ihr != ihr_e; ++ihr) {

            THitRef hr (*ihr);
            if(hr.IsNull() || hr->GetScore() < 0) {
                continue;
            }

            const TCoord hrs0 (hr->GetStart(w));
            if(hrs0 > box1[2*w+1]) {
                if(ls0 <= box1[2*w+1] && box1[2*w+1] + 1 - ls0 > cursegmax) {
                    segmax_start = ls0;
                    segmax_stop = box1[2*w+1];
                    cursegmax = segmax_stop - segmax_start + 1;
                }
                break;
            }

            if(hrs0 > ls0) {
                if(hrs0 - ls0 > cursegmax) {
                    segmax_start = ls0;
                    segmax_stop = hrs0 - 1;
                    cursegmax = segmax_stop - segmax_start + 1;
                }
                
                ls0 = hr->GetStop(w) + 1;
            }
            else if(hr->GetStop(w) + 1 > ls0) {
                ls0 = hr->GetStop(w) + 1;
            }
        }

        if(box1[2*w+1] > ls0 + cursegmax) {
            segmax_start = ls0;
            segmax_stop  = box1[2*w+1];
            cursegmax    = segmax_stop - segmax_start + 1;
        }
                
        if(cursegmax < min_compartment_hit_len) {
            h1.Reset(0);
            ++nullified;
            continue;
        }
        else {

            if(box1[2*w] < segmax_start) {
                h1->Modify(2 * w, segmax_start);
            }
            
            if(segmax_stop < box1[2*w+1]) {
                h1->Modify(2 * w + 1, segmax_stop);
            }
        }
        
        if(ihr == ihr_e) break;
    }

    return nullified;
}


template<class THit>
typename CCompartmentFinder<THit>::CCompartment* 
CCompartmentFinder<THit>::GetFirst()
{
    if(m_compartments.size()) {
        m_iter = 0;
        return &m_compartments[m_iter++];
    }
    else {
        m_iter = -1;
        return 0;
    }
}

template<class THit>
void CCompartmentFinder<THit>::OrderCompartments(void) {
  
    for(size_t i = 0, dim = m_compartments.size(); i < dim; ++i) {
        m_compartments[i].UpdateMinMax();
    }
    
    stable_sort(m_compartments.begin(), m_compartments.end(), 
                CCompartmentFinder<THit>::CCompartment::s_PLowerSubj);
}

template<class THit>
typename CCompartmentFinder<THit>::CCompartment* 
CCompartmentFinder<THit>::GetNext()
{
    const size_t dim = m_compartments.size();
    if(m_iter == -1 || m_iter >= int(dim)) {
        m_iter = -1;
        return 0;
    }
    else {
        return &m_compartments[m_iter++];
    }
}


template<class THit>
CCompartmentAccessor<THit>::CCompartmentAccessor(TCoord  comp_penalty,
                                                 TCoord  min_matches,
                                                 TCoord  min_singleton_matches,
                                                 bool    cross_filter)
{
    x_Init(comp_penalty, min_matches, min_singleton_matches, cross_filter);
}


template<class THit>
CCompartmentAccessor<THit>::CCompartmentAccessor(
     typename THitRefs::iterator istart,
     typename THitRefs::iterator ifinish,
     TCoord comp_penalty,
     TCoord min_matches,
     TCoord min_singleton_matches,
     bool   cross_filter, 
     CScope *scope,
     const vector<pair<TCoord, TCoord> > *gaps)
{
    x_Init(comp_penalty, min_matches, min_singleton_matches, cross_filter);
    Run(istart, ifinish, scope, gaps);
}


template<class THit>
void CCompartmentAccessor<THit>::x_Init(TCoord  comp_penalty,
                                        TCoord  min_matches,
                                        TCoord  min_singleton_matches,
                                        bool    cross_filter)
{
    m_Penalty             = comp_penalty;
    m_MinMatches          = min_matches;
    m_MinSingletonMatches = min_singleton_matches;
    m_CrossFiltering      = cross_filter;
    m_MaxIntron           = CCompartmentFinder<THit>::s_GetDefaultMaxIntron();
    m_MaxOverlap          = CCompartmentFinder<THit>::s_GetDefaultMaxOverlap();
}


template<class THit>
void CCompartmentAccessor<THit>::Run(typename THitRefs::iterator istart,
                                     typename THitRefs::iterator ifinish,
                                     CScope *scope,
                                     const vector<pair<TCoord, TCoord> > *gaps)
{

    if(istart == ifinish) return;

    const TCoord kMax_TCoord (numeric_limits<TCoord>::max());

    // separate strands for CompartmentFinder
    typename THitRefs::iterator ib = istart, ie = ifinish, ii = ib, 
        iplus_beg = ie;
    typedef CHitComparator<THit> THitComparator;
    THitComparator sorter (THitComparator::eSubjStrand);
    stable_sort(ib, ie, sorter);

    TCoord minus_subj_min = kMax_TCoord, minus_subj_max = 0;
    for(ii = ib; ii != ie; ++ii) {
        if((*ii)->GetSubjStrand()) {
            iplus_beg = ii;
            break;
        }
        else {
            if((*ii)->GetSubjMin() < minus_subj_min) {
                minus_subj_min = (*ii)->GetSubjMin();
            }
            if((*ii)->GetSubjMax() > minus_subj_max) {
                minus_subj_max = (*ii)->GetSubjMax();
            }
        }
    }


    // minus
    {{
        CGapInfo<THit> gapi( *(*istart)->GetSubjId(), scope);
        CPrecalcGapInfo<THit> prec_gapi( gaps );
        // flip
        gapi.Flip(minus_subj_min, minus_subj_max);
        prec_gapi.Flip(minus_subj_min, minus_subj_max);
        for(ii = ib; ii != iplus_beg; ++ii) {

            const typename THit::TCoord s0 = minus_subj_min + minus_subj_max 
                - (*ii)->GetSubjMax();
            const typename THit::TCoord s1 = minus_subj_min + minus_subj_max 
                - (*ii)->GetSubjMin();
            (*ii)->SetSubjStart(s0);
            (*ii)->SetSubjStop(s1);
        }
        
        CCompartmentFinder<THit> finder (ib, iplus_beg, &gapi, &prec_gapi);
        finder.SetPenalty(m_Penalty);
        finder.SetMinMatches(m_MinMatches);
        finder.SetMinSingletonMatches(m_MinSingletonMatches);
        finder.SetMaxIntron(m_MaxIntron);
        finder.SetMaxOverlap(m_MaxOverlap);
        finder.Run(m_CrossFiltering);
        
        // un-flip
        for(ii = ib; ii != iplus_beg; ++ii) {

            const typename THit::TCoord s0 = minus_subj_min + minus_subj_max 
                - (*ii)->GetSubjMax();
            const typename THit::TCoord s1 = minus_subj_min + minus_subj_max 
                - (*ii)->GetSubjMin();
            (*ii)->SetSubjStart(s1);
            (*ii)->SetSubjStop(s0);
        }        

        x_Copy2Pending(finder);
    }}

    // plus
    {{
        CGapInfo<THit> gapi( *(*istart)->GetSubjId(), scope);
        CPrecalcGapInfo<THit> prec_gapi( gaps );
        CCompartmentFinder<THit> finder (iplus_beg, ie, &gapi, &prec_gapi);
        finder.SetPenalty(m_Penalty);
        finder.SetMinMatches(m_MinMatches);
        finder.SetMinSingletonMatches(m_MinSingletonMatches);
        finder.SetMaxIntron(m_MaxIntron);
        finder.SetMaxOverlap(m_MaxOverlap);
        finder.Run(m_CrossFiltering);
        x_Copy2Pending(finder);
    }}
}


template<class THit>
void CCompartmentAccessor<THit>::x_Copy2Pending(
    CCompartmentFinder<THit>& finder)
{
    finder.OrderCompartments();

    typedef typename CCompartmentFinder<THit>::THitRef THitRef;

    // copy to pending
    for(typename CCompartmentFinder<THit>::CCompartment* compartment =
            finder.GetFirst(); compartment; compartment = finder.GetNext()) {
        
        if(compartment->GetMembers().size() > 0) {

            m_pending.push_back(THitRefs(0));
            THitRefs& vh = m_pending.back();
        
            for(THitRef ph (compartment->GetFirst()); ph; ph = compartment->GetNext())
            {
                vh.push_back(ph);
            }
        
            const TCoord* box = compartment->GetBox();
            m_ranges.push_back(box[0]);
            m_ranges.push_back(box[1]);
            m_ranges.push_back(box[2]);
            m_ranges.push_back(box[3]);
        
            m_strands.push_back(compartment->GetStrand());
            m_status.push_back(compartment->GetFirst()->GetScore() > 0);
        }
    }
}


template<class THit>
bool CCompartmentAccessor<THit>::GetFirst(THitRefs& compartment) {

    m_iter = 0;
    return GetNext(compartment);
}


template<class THit>
bool CCompartmentAccessor<THit>::GetNext(THitRefs& compartment) {

    compartment.clear();
    if(m_iter < m_pending.size()) {
        compartment = m_pending[m_iter++];
        return true;
    }
    else {
        return false;
    }
}


template<class THit>
CRef<objects::CSeq_align_set> CCompartmentAccessor<THit>::AsSeqAlignSet(void) const
{
    USING_SCOPE(objects);

    CRef<CSeq_align_set> rv (new CSeq_align_set);

    // retrieve the ids
    CRef<CSeq_id> seqid_query (new CSeq_id), seqid_subj (new CSeq_id);
    if(m_pending.size()) {
        if(m_pending.front().size()) {
            const THit & h (*m_pending.front().front());
            seqid_query->Assign(*(h.GetQueryId()));
            seqid_subj->Assign(*(h.GetSubjId()));
        }
    }

    CSeq_align_set::Tdata& sas1_data (rv->Set());

    for(size_t i(0), idim(m_pending.size()); i < idim; ++i) {

        if(m_status[i]) {

            // note the range
            TCoord range_min (i > 0 && m_strands[i-1] == m_strands[i]
                              ? m_ranges[4*i - 1]
                              : 0);

            TCoord range_max (i + 1 < idim && m_strands[i+1] == m_strands[i]
                              ? m_ranges[4*i + 6]
                              : numeric_limits<TCoord>::max());

            CRef<CSeq_align> sa2 (new CSeq_align);
            sa2->SetType(CSeq_align::eType_disc);

            CSeq_align::TBounds & bounds (sa2->SetBounds());
            const ENa_strand query_strand (eNa_strand_plus);

            const ENa_strand subj_strand (m_strands[i]? eNa_strand_plus: 
                                          eNa_strand_minus);
            CRef<CSeq_loc> seq_loc (new CSeq_loc (*seqid_subj, range_min, 
                                                  range_max, subj_strand));
            bounds.push_back(seq_loc);

            // add the hits
            CSeq_align_set::Tdata& sas2_data (sa2->SetSegs().SetDisc().Set());
            ITERATE(typename THitRefs, ii, m_pending[i]) {

                const THit& h (**ii);
                CRef<CSeq_align> sa3 (new CSeq_align);
                sa3->SetType(CSeq_align::eType_global);
                const string& transcript(h.GetTranscript());
                if (transcript.empty()) {
                    CRef<CStd_seg> sg(new CStd_seg);
                    sa3->SetSegs().SetStd().push_back(sg);
                    sg->SetDim(2);
                    CRef<CSeq_loc> query_loc(new CSeq_loc(
                            *seqid_query, h.GetQueryMin(), h.GetQueryMax(), query_strand));
                    CRef<CSeq_loc> subj_loc(new CSeq_loc(
                            *seqid_subj, h.GetSubjMin(), h.GetSubjMax(), subj_strand));
                    sg->SetLoc().push_back(query_loc);
                    sg->SetLoc().push_back(subj_loc);
                } else {
                    CDense_seg & ds (sa3->SetSegs().SetDenseg());
                    ds.FromTranscript(h.GetQueryStart(), query_strand, 
                                      h.GetSubjStart(), subj_strand, 
                                      transcript);
                    ds.SetIds().push_back(seqid_query);
                    ds.SetIds().push_back(seqid_subj);
                }
                sas2_data.push_back(sa3);
            }

            // save into the seq-align-set
            sas1_data.push_back(sa2);
        }
    }

    return rv;
}



END_NCBI_SCOPE


#endif
0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014
0015
0016
0017
0018
0019
0020
0021
0022
0023
0024
0025
0026
0027
0028
0029
0030
0031
0032
0033
0034
0035
0036
0037
0038
0039
0040
0041
0042
0043
0044
0045
0046
0047
0048
0049
0050
0051
0052
0053
0054
0055
0056
0057
0058
0059
0060
0061
0062
0063
0064
0065
0066
0067
0068
0069
0070
0071
0072
0073
0074
0075
0076
0077
0078
0079
0080
0081
0082
0083
0084
0085
0086
0087
0088
0089
0090
0091
0092
0093
0094
0095
0096
0097
0098
0099
0100
0101
0102
0103
0104
0105
0106
0107
0108
0109
0110
0111
0112
0113
0114
0115
0116
0117
0118
0119
0120
0121
0122
0123
0124
0125
0126
0127
0128
0129
0130
0131
0132
0133
0134
0135
0136
0137
0138
0139
0140
0141
0142
0143
0144
0145
0146
0147
0148
0149
0150
0151
0152
0153
0154
0155
0156
0157
0158
0159
0160
0161
0162
0163
0164
0165
0166
0167
0168
0169
0170
0171
0172
0173
0174
0175
0176
0177
0178
0179
0180
0181
0182
0183
0184
0185
0186
0187
0188
0189
0190
0191
0192
0193
0194
0195
0196
0197
0198
0199
0200
0201
0202
0203
0204
0205
0206
0207
0208
0209
0210
0211
0212
0213
0214
0215
0216
0217
0218
0219
0220
0221
0222
0223
0224
0225
0226
0227
0228
0229
0230
0231
0232
0233
0234
0235
0236
0237
0238
0239
0240
0241
0242
0243
0244
0245
0246
0247
0248
0249
0250
0251
0252
0253
0254
0255
0256
0257
0258
0259
0260
0261
0262
0263
0264
0265
0266
0267
0268
0269
0270
0271
0272
0273
0274
0275
0276
0277
0278
0279
0280
0281
0282
0283
0284
0285
0286
0287
0288
0289
0290
0291
0292
0293
0294
0295
0296
0297
0298
0299
0300
0301
0302
0303
0304
0305
0306
0307
0308
0309
0310
0311
0312
0313
0314
0315
0316
0317
0318
0319
0320
0321
0322
0323
0324
0325
0326
0327
0328
0329
0330
0331
0332
0333
0334
0335
0336
0337
0338
0339
0340
0341
0342
0343
0344
0345
0346
0347
0348
0349
0350
0351
0352
0353
0354
0355
0356
0357
0358
0359
0360
0361
0362
0363
0364
0365
0366
0367
0368
0369
0370
0371
0372
0373
0374
0375
0376
0377
0378
0379
0380
0381
0382
0383
0384
0385
0386
0387
0388
0389
0390
0391
0392
0393
0394
0395
0396
0397
0398
0399
0400
0401
0402
0403
0404
0405
0406
0407
0408
0409
0410
0411
0412
0413
0414
0415
0416
0417
0418
0419
0420
0421
0422
0423
0424
0425
0426
0427
0428
0429
0430
0431
0432
0433
0434
0435
0436
0437
0438
0439
0440
0441
0442
0443
0444
0445
0446
0447
0448
0449
0450
0451
0452
0453
0454
0455
0456
0457
0458
0459
0460
0461
0462
0463
0464
0465
0466
0467
0468
0469
0470
0471
0472
0473
0474
0475
0476
0477
0478
0479
0480
0481
0482
0483
0484
0485
0486
0487
0488
0489
0490
0491
0492
0493
0494
0495
0496
0497
0498
0499
0500
0501
0502
0503
0504
0505
0506
0507
0508
0509
0510
0511
0512
0513
0514
0515
0516
0517
0518
0519
0520
0521
0522
0523
0524
0525
0526
0527
0528
0529
0530
0531
0532
0533
0534
0535
0536
0537
0538
0539
0540
0541
0542
0543
0544
0545
0546
0547
0548
0549
0550
0551
0552
0553
0554
0555
0556
0557
0558
0559
0560
0561
0562
0563
0564
0565
0566
0567
0568
0569
0570
0571
0572
0573
0574
0575
0576
0577
0578
0579
0580
0581
0582
0583
0584
0585
0586
0587
0588
0589
0590
0591
0592
0593
0594
0595
0596
0597
0598
0599
0600
0601
0602
0603
0604
0605
0606
0607
0608
0609
0610
0611
0612
0613
0614
0615
0616
0617
0618
0619
0620
0621
0622
0623
0624
0625
0626
0627
0628
0629
0630
0631
0632
0633
0634
0635
0636
0637
0638
0639
0640
0641
0642
0643
0644
0645
0646
0647
0648
0649
0650
0651
0652
0653
0654
0655
0656
0657
0658
0659
0660
0661
0662
0663
0664
0665
0666
0667
0668
0669
0670
0671
0672
0673
0674
0675
0676
0677
0678
0679
0680
0681
0682
0683
0684
0685
0686
0687
0688
0689
0690
0691
0692
0693
0694
0695
0696
0697
0698
0699
0700
0701
0702
0703
0704
0705
0706
0707
0708
0709
0710
0711
0712
0713
0714
0715
0716
0717
0718
0719
0720
0721
0722
0723
0724
0725
0726
0727
0728
0729
0730
0731
0732
0733
0734
0735
0736
0737
0738
0739
0740
0741
0742
0743
0744
0745
0746
0747
0748
0749
0750
0751
0752
0753
0754
0755
0756
0757
0758
0759
0760
0761
0762
0763
0764
0765
0766
0767
0768
0769
0770
0771
0772
0773
0774
0775
0776
0777
0778
0779
0780
0781
0782
0783
0784
0785
0786
0787
0788
0789
0790
0791
0792
0793
0794
0795
0796
0797
0798
0799
0800
0801
0802
0803
0804
0805
0806
0807
0808
0809
0810
0811
0812
0813
0814
0815
0816
0817
0818
0819
0820
0821
0822
0823
0824
0825
0826
0827
0828
0829
0830
0831
0832
0833
0834
0835
0836
0837
0838
0839
0840
0841
0842
0843
0844
0845
0846
0847
0848
0849
0850
0851
0852
0853
0854
0855
0856
0857
0858
0859
0860
0861
0862
0863
0864
0865
0866
0867
0868
0869
0870
0871
0872
0873
0874
0875
0876
0877
0878
0879
0880
0881
0882
0883
0884
0885
0886
0887
0888
0889
0890
0891
0892
0893
0894
0895
0896
0897
0898
0899
0900
0901
0902
0903
0904
0905
0906
0907
0908
0909
0910
0911
0912
0913
0914
0915
0916
0917
0918
0919
0920
0921
0922
0923
0924
0925
0926
0927
0928
0929
0930
0931
0932
0933
0934
0935
0936
0937
0938
0939
0940
0941
0942
0943
0944
0945
0946
0947
0948
0949
0950
0951
0952
0953
0954
0955
0956
0957
0958
0959
0960
0961
0962
0963
0964
0965
0966
0967
0968
0969
0970
0971
0972
0973
0974
0975
0976
0977
0978
0979
0980
0981
0982
0983
0984
0985
0986
0987
0988
0989
0990
0991
0992
0993
0994
0995
0996
0997
0998
0999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634

-