RIFT                                                        J. Head, Ed.
Internet-Draft                                             T. Przygienda
Intended status: Standards Track                                  W. Lin
Expires: 25 April 8 September 2022                               Juniper Networks
                                                         22 October 2021
                                                            7 March 2022

                             RIFT Auto-EVPN
                      draft-ietf-rift-auto-evpn-01
                      draft-ietf-rift-auto-evpn-02

Abstract

   This document specifies procedures that allow an EVPN overlay to be
   fully and automatically provisioned when using RIFT as underlay by
   leveraging RIFT's no-touch ZTP architecture.

Status of This Memo

   This Internet-Draft is submitted in full conformance with the
   provisions of BCP 78 and BCP 79.

   Internet-Drafts are working documents of the Internet Engineering
   Task Force (IETF).  Note that other groups may also distribute
   working documents as Internet-Drafts.  The list of current Internet-
   Drafts is at https://datatracker.ietf.org/drafts/current/.

   Internet-Drafts are draft documents valid for a maximum of six months
   and may be updated, replaced, or obsoleted by other documents at any
   time.  It is inappropriate to use Internet-Drafts as reference
   material or to cite them other than as "work in progress."

   This Internet-Draft will expire on 25 April 8 September 2022.

Copyright Notice

   Copyright (c) 2021 2022 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents (https://trustee.ietf.org/
   license-info) in effect on the date of publication of this document.
   Please review these documents carefully, as they describe your rights
   and restrictions with respect to this document.  Code Components
   extracted from this document must include Simplified Revised BSD License text as
   described in Section 4.e of the Trust Legal Provisions and are
   provided without warranty as described in the Simplified Revised BSD License.

Table of Contents

   1.  Introduction  . . . . . . . . . . . . . . . . . . . . . . . .   3
     1.1.  Requirements Language . . . . . . . . . . . . . . . . . .   3
   2.  Design Considerations . . . . . . . . . . . . . . . . . . . .   3
   3.  System ID . . . . . . . . . . . . . . . . . . . . . . . . . .   4
   4.  Fabric ID . . . . . . . . . . . . . . . . . . . . . . . . . .   4
   5.  Auto-EVPN Device Roles  . . . . . . . . . . . . . . . . . . .   5
     5.1.  All Participating Nodes . . . . . . . . . . . . . . . . .   5
     5.2.  ToF Nodes as Route Reflectors . . . . . . . . . . . . . .   5
       5.2.1.  Data Center Interconnect Gateway Functions  . . . . .   6
     5.3.  Leaf Nodes  . . . . . . . . . . . . . . . . . . . . . . .   6
   6.  Auto-EVPN Variable Derivation . . . . . . . . . . . . . . . .   8
     6.1.  Auto-EVPN Version . . . . . . . . . . . . . . . . . . . .   8
     6.2.  MAC-VRF ID  . . . . . . . . . . . . . . . . . . . . . . .   8
     6.3.  Loopback Address  . . . . . . . . . . . . . . . . . . . .   8
       6.3.1.  Leaf Nodes as Gateways  . . . . . . . . . . . . . . .   9
       6.3.2.  ToF Nodes as Route Reflectors . . . . . . . . . . . .   9
         6.3.2.1.  Single Plane Route Reflector Election
                 Procedures  . . . . . . . . . . . . . . . . . . . .   9
         6.3.2.2.  Multiplane Route Reflector Election Procedures  .  10  11
     6.4.  Autonomous System Number  . . . . . . . . . . . . . . . .  11
     6.5.  Router ID . . . . . . . . . . . . . . . . . . . . . . . .  11
     6.6.  Cluster ID  . . . . . . . . . . . . . . . . . . . . . . .  11
     6.7.  Route Target  . . . . . . . . . . . . . . . . . . . . . .  12
     6.8.  Route Distinguisher . . . . . . . . . . . . . . . . . . .  12
     6.9.  EVPN MAC-VRF Services . . . . . . . . . . . . . . . . . .  12
       6.9.1.  Untagged Traffic in Multiple Fabrics  . . . . . . . .  12  13
         6.9.1.1.  VLAN  . . . . . . . . . . . . . . . . . . . . . .  13
         6.9.1.2.  VNI . . . . . . . . . . . . . . . . . . . . . . .  13
         6.9.1.3.  MAC Address . . . . . . . . . . . . . . . . . . .  13
         6.9.1.4.  IPv6 IRB Gateway Address  . . . . . . . . . . . .  13
         6.9.1.5.  IPv4 IRB Gateway Address  . . . . . . . . . . . .  13
       6.9.2.  Tagged Traffic in Multiple Fabrics  . . . . . . . . .  14
         6.9.2.1.  VLAN  . . . . . . . . . . . . . . . . . . . . . .  14
         6.9.2.2.  VNI . . . . . . . . . . . . . . . . . . . . . . .  14
         6.9.2.3.  MAC Address . . . . . . . . . . . . . . . . . . .  14
         6.9.2.4.  IPv6 IRB Gateway Address  . . . . . . . . . . . .  14
         6.9.2.5.  IPv4 IRB Gateway Address  . . . . . . . . . . . .  14  15
       6.9.3.  Tagged Traffic in a Single Fabric . . . . . . . . . .  15
         6.9.3.1.  VLAN  . . . . . . . . . . . . . . . . . . . . . .  15
         6.9.3.2.  VNI . . . . . . . . . . . . . . . . . . . . . . .  15
         6.9.3.3.  MAC Address . . . . . . . . . . . . . . . . . . .  15
         6.9.3.4.  IPv6 IRB Gateway Address  . . . . . . . . . . . .  15  16
         6.9.3.5.  IPv4 IRB Gateway Address  . . . . . . . . . . . .  16
       6.9.4.  Traffic Routed to External Destinations . . . . . . .  16
         6.9.4.1.  Route Distinguisher . . . . . . . . . . . . . . .  16
         6.9.4.2.  Route Target  . . . . . . . . . . . . . . . . . .  16

   7.  Operational Considerations  . . . . . . . . . . . . . . . . .  16  17
     7.1.  RIFT Underlay and Auto-EVPN Overlay . . . . . . . . . . .  16  17
     7.2.  Auto-EVPN Analytics . . . . . . . . . . . . . . . . . . .  19  20
       7.2.1.  Auto-EVPN Global Analytics Key Type . . . . . . . . .  20  21
       7.2.2.  Auto-EVPN MAC-VRF Key Type  . . . . . . . . . . . . .  21  22
   8.  Acknowledgements  . . . . . . . . . . . . . . . . . . . . . .  22  23
   9.  Security Considerations . . . . . . . . . . . . . . . . . . .  22  23
   10. References  . . . . . . . . . . . . . . . . . . . . . . . . .  22  23
     10.1.  Normative References . . . . . . . . . . . . . . . . . .  22  23
   Appendix A.  Thrift Models  . . . . . . . . . . . . . . . . . . .  23  24
     A.1.  common.thrift . . . . . . . . . . . . . . . . . . . . . .  23  24
     A.2.  encoding.thrift . . . . . . . . . . . . . . . . . . . . .  23  24
     A.3.  common_evpn.thrift  . . . . . . . . . . . . . . . . . . .  24  25
     A.4.  auto_evpn_kv.thrift . . . . . . . . . . . . . . . . . . .  27  28
   Appendix B.  Auto-EVPN Variable Derivation  . . . . . . . . . . .  29  30
     B.1.  Variable Derivation Functions . . . . . . . . . . . . . .  29  30
     B.2.  Variable Derivation Results . . . . . . . . . . . . . . .  41  42
   Authors' Addresses  . . . . . . . . . . . . . . . . . . . . . . .  86  87

1.  Introduction

   RIFT is a protocol that focuses heavily on operational simplicity.
   [RIFT] natively supports Zero Touch Provisioning (ZTP) functionality
   that allows each node in an underlay network to automatically derive
   its place in the topology and configure itself accordingly when
   properly cabled.  RIFT can also disseminate Key-Value information
   contained in Key-Value Topology Information Elements (KV-TIEs)
   [RIFT-KV].  These KV-TIEs can contain any information and therefore
   be used for any purpose.  Leveraging RIFT to provision EVPN overlays
   without any need for configuration and leveraging KV capabilities to
   easily validate correct operation of such overlay without a single
   point of failure would provide significant benefit to operators in
   terms of simplicity and robustness of such a solution.

1.1.  Requirements Language

   The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
   "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
   document are to be interpreted as described in RFC 2119 [RFC2119].

2.  Design Considerations

   EVPN supports various service models, this document defines a method
   for the VLAN-Aware service model defined in [RFC7432].  Other service
   models may be considered in future revisions of this document.

   Each model has its own set of requirements for deployment.  For
   example, a functional BGP overlay is necessary to exchange EVPN NLRI
   regardless of the service model.  Furthermore, the requirements are
   made up of individual variables, such as each node's loopback address
   and AS number for the BGP session.  Some of these variables may be
   coordinated across each node in a network, but are ultimately locally
   significant (e.g. route distinguishers).  Similarly, calculation of
   some variables will be local only to each device.  RIFT contains
   currently enough topology information in each node to calculate all
   those necessary variables automatically.

   Once the EVPN overlay is configured and becomes operational, RIFT
   Key-Value TIEs can be used to distribute state information to allow
   for validation of basic operational correctness without the need for
   further tooling.

3.  System ID

   The 64-bit RIFT System ID that uniquely identifies a node as defined
   in RIFT [RIFT].

4.  Fabric ID

   RIFT operates on variants of Clos substrate which are commonly called
   an IP Fabric.  Since EVPN VLANs can be either contained within one
   fabric or span them, Auto-EVPN introduces the concept of a Fabric ID
   into RIFT.

   This section describes an optional extension to LIE packet schema in
   the form of a 16-bit Fabric ID that identifies a nodes membership
   within a particular fabric.  Auto-EVPN capable nodes MUST support
   this extension but MAY not advertise it when not participating in
   Auto-EVPN.  A non-present Fabric ID and value of 0 is reserved as
   ANY_FABRIC and MUST NOT be used for any other purpose.

   Fabric ID MUST be considered in existing adjacency FSM rules so nodes
   that support Auto-EVPN can interoperate with nodes that do not.  The
   LIE validation is extended with following clause and if it is not
   met, miscabling should be declared:

   (if fabric_id is not advertised by either node OR
    if fabric_id is identical on both nodes)
       AND
   (if auto_evpn_version is not advertised by either node OR
    if auto_evpn_version is identical on both nodes)

   The appendix (Appendix A) details necessary changes to the RIFT LIE
   and Node-TIE thrift schema.

5.  Auto-EVPN Device Roles

   Auto-EVPN requires that each node understand its given role within
   the scope of the EVPN implementation so each node derives the
   necessary variables and provides the necessary overlay configuration.
   For example, a leaf node performing VXLAN gateway functions does not
   need to derive its own Cluster ID or learn one from the route
   reflector that it peers with.

5.1.  All Participating Nodes

   Not all nodes have to participate in Auto-EVPN, however if a node
   does assume an Auto-EVPN role, it MUST derive the following
   variables:

      *IPv6 Loopback Address*
         Unique IPv6 loopback address used in BGP sessions.

      *Router ID*
         The BGP Router ID.

      *Autonomous System Number*
         The ASN for IBGP sessions.

      *Cluster ID*
         The Cluster ID for Top-of-Fabric IBGP route reflection.

5.2.  ToF Nodes as Route Reflectors

   This section defines an Auto-EVPN role whereby some Top-of-Fabric
   nodes act as EVPN route reflectors.  It is expected that route
   reflectors would establish IBGP sessions with leaf nodes in the same
   fabric.  The typical route reflector requirements do not change,
   however determining which specific values to use requires further
   consideration.

   ToF nodes performing route reflector functionality MUST derive the
   following variables:

      *IPv6 RR Loopback Address*
         The source address for IBGP sessions with leaf nodes in case
         ToF won election for one of the route reflectors in the fabric.

      *IPv6 RR Acceptable Prefix Range*
         Range of addresses acceptable by the route reflector to form a
         IBGP session.  This range covers ALL possible IPv6 Loopback
         Addresses derived by other Auto EVPN nodes in the current
         fabric and other Auto-EVPN RRs addresses.

      *Cluster ID*
         The Cluster ID for Top-of-Fabric IBGP route reflection.

5.2.1.  Data Center Interconnect Gateway Functions

   Implementations that require connectivity beyond the EVPN/VXLAN
   boundary can leverage Data Center Interconnect Gateway functionality.
   This requires additional considerations to ensure the appropriate
   reachability is present.

   First - new VRFs and accompanying variable derivation is required,
   this is decribed below.

   Second - additional route reflector election considerations in order
   to ensure that route reflectors with DCI gateway functionality are
   preferred.  This is described later in the document in Section 6.3.2.

   If DCI functionality is desired, the Top-of-Fabric nodes MUST be
   capable of routing toward the correct leaf node when it receives
   traffic from an external destination.  Therefore, it MUST be capable
   of deriving the following types of variables:

      *Route Distinguisher*
         The route distinguisher corresponding to a IP-VRF's IP prefix
         routes that MUST uniquely identify each node.

      *Route Target*
         The route target that corresponds to an IP-VRF's IP prefix
         routes.

      *VNI*
         The VNI that corresponds to the Type-5 IP prefix routes within
         an IP-VRF.

5.3.  Leaf Nodes

   Leaf nodes derive their role from realizing they are at the bottom of
   the fabric, i.e. not having any southbound adjacencies.  Alternately,
   a node can assume a leaf node if it has only southbound adjacencies
   to nodes with explicit LEAF_LEVEL to allow for scenarios where RIFT
   leaves do NOT participate in Auto-EVPN.

   Leaf nodes MUST derive the following variables:

      *IPv6 RR Loopback Addresses*
         Addresses of the RRs present in the fabric.  Those addresses
         are used to build BGP sessions to the RR.

      *EVIs*
         Leaf node derives all the necessary variables to instantiate
         EVIs with layer-2 and optionally layer-3 functionality.

   If a leaf node is required to perform layer-2 VXLAN gateway
   functions, it MUST be capable of deriving the following types of
   variables:

      *Route Distinguisher*
         The route distinguisher corresponding to a MAC-VRF that
         uniquely identifies each node.

      *Route Target*
         The route target that corresponds to a MAC-VRF.

      *MAC VRF Name*
         This is an optional variable to provide a common MAC VRF name
         across all leaves.

      *Set of VLANs*
         Those are VLANs provisioned either within the fabric or
         allowing to stretch across fabrics.

   For each VLAN derived in an EVI the following variables MUST be
   derived:

      *VLAN*
         The VLAN ID.

      *Name*
         This is an optional variable to provide a common VLAN name
         across all leaves.

      *VNI*
         The VNI that corresponds to the VLAN ID.  This will contribute
         to the EVPN Type-2 route.

      *IRB*
         Optional variables of the IRB for the VLAN if the leaf performs
         layer-3 gateway function.

6.  Auto-EVPN Variable Derivation

   As previously mentioned, not all nodes are required to derive all
   variables in a given network (e.g. a transit spine node may not need
   to derive any or participate in Auto-EVPN).  Additionally, all
   derived variables are derived from RIFT's FSM or ZTP mechanism so no
   additional flooding beside RIFT flooding is necessary for the
   functionality.

   It is also important to mention that all variable derivation is in
   some way based on combinations of System ID, MAC-VRF ID, Fabric ID,
   EVI and VLAN and MUST comply precisely with calculation methods
   specified in the Auto-EVPN Variable Derivation section to allow
   interoperability between different implementations.  All foundational
   code elements are also mentioned there.

6.1.  Auto-EVPN Version

   This section describes extensions to both the RIFT LIE packet and
   Node-TIE schemas in the form of a 16-bit value that identifies the
   Auto-EVPN Version.  Auto-EVPN capable nodes MUST support this
   extension, but MAY choose not to advertise it in LIEs and Node-TIEs
   when Auto-EVPN is not being utilized.

   This section also describes an extension to the Node Capabilities
   schema indicating that a node supports Auto-EVPN.

   The appendix (Appendix A) details necessary changes to the RIFT LIE LIE,
   Node-TIE, and Node-TIE Node Capabilities thrift schema.

6.2.  MAC-VRF ID

   This section describes a variable MAC-VRF ID that uniquely identifies
   an instance of EVPN instance (EVI) and is used in variable derivation
   procedures.  Each EVPN EVI MUST be associated with a unique MAC-VRF
   ID, this document does not specify a method for making that
   association or ensuring that they are coordinated properly across
   fabric(s).

6.3.  Loopback Address

   First and foremost, RIFT does not advertise anything more specific
   than the fabric default route in the southbound direction by default.
   However, Auto-EVPN nodes MUST advertise specific loopback addresses
   southbound to all other Auto-EVPN nodes so to establish MP-BGP
   reachability correctly in all scenarios.

   Auto-EVPN nodes MUST derive a ULA-scoped IPv6 loopback address to be
   used as both the IBGP source address, as well as the VTEP source when
   VXLAN gateways are required.  Calculation is done using the 6-bytes
   of reserved ULA space, the 2-byte Fabric ID, and the node's 8-byte
   System ID.  Derivation of the System ID varies slightly depending
   upon the node's location/role in the fabric and will be described in
   subsequent sections.

6.3.1.  Leaf Nodes as Gateways

   Calculation is done using the 6-bytes of reserved ULA space, the
   2-byte Fabric ID, and the node's 8-byte System ID.

   In order for leaf nodes to derive IPv6 loopback addresses, algorithms
   shown in both auto_evpn_fidsidv6loopback (Figure 28) and
   auto_evpn_v6prefixfidsid2loopback (Figure 13) are required.

   IPv4 addresses MAY be supported, but it should be noted that they
   have a higher likelihood of collision.  The appendix contains the
   required auto_evpn_fidsid2v4loopback (Figure 27) algorithm to support
   IPv4 loopback derivation.

6.3.2.  ToF Nodes as Route Reflectors

   ToF nodes acting as route reflectors MUST derive their loopback
   address according to the specific section describing the algorithm.
   Calculation is done using the 6-bytes of reserved ULA space, the
   2-byte Fabric ID, and the 8-byte System ID of each elected route
   reflector.

   In order for the ToF nodes to derive IPv6 loopbacks, the algorithms
   shown in both auto_evpn_fidsidv6loopback (Figure 28) and
   auto_evpn_fidrrpref2rrloopback (Figure 14) are required.

   In order for the ToF derive the necessary prefix range to facilitate
   peering requests from any leaf, the algorithm shown in
   "auto_evpn_fid2fabric_prefixes" (Figure 12) is required.

   A topology MUST elect at least 1 Top-of-Fabric node as an IBGP route
   reflector, but SHOULD elect 3.  The election method varies depending
   upon whether the fabric is comprised of a single plane or multiple
   planes or if DCI gateway functionality is desired.

6.3.2.1.  Single Plane Route Reflector Election Procedures

   Each ToF performs the election independently based on system IDs of
   other ToFs in the fabric obtained via southbound reflection.  The
   route reflector election procedures are defined as follows:

   1.  ToF node with the highest System ID.

   2.  ToF node with the lowest System ID.

   3.  ToF node with the 2nd highest System ID.

   4.  etc.

   This ordering is necessary to prevent a single node with either the
   highest or lowest System ID from triggering changes to route
   reflector loopback addresses as it would result in all BGP sessions
   dropping.

   For example, if two nodes, ToF01 and ToF02 with System IDs
   002c6af5a281c000 and 002c6bf5788fc000 respectively, ToF02 would be
   elected due to it having the highest System ID of the ToFs
   (002c6bf5788fc000).  If a ToF determines that it is elected as route
   reflector, it uses the knowledge of its position in the list to
   derive route reflector IPv6 loopback address.

   The algorithm shown in "auto_evpn_sids2rrs" (Figure 10) is required
   to accomplish this.

6.3.2.1.1.  DCI-GW Variations

   It is beneficial for ToF-RRs requiring DCI-GW functions to be
   preferred over ToF-RRs that do not.  As such, the
   "default_acting_auto_evpn_dci_when_tof" flag described in
   Appendix A.1 MUST be factored into election procedures mentioned in
   the previous section.  Essentially, ToFs flagged as requiring DCI-GW
   functions, will be sorted separately from those that do not.  That is
   to say, that ToFs requiring DCI-GW functions will always be preferred
   as RRs.

   For example, if a fabric contains 4 ToF nodes where 2 require DCI-GW
   functions and the other 2 do not, the election will take place as
   follows:

   1.  ToF node (DCI) with the highest System ID.

   2.  ToF node (DCI) with the lowest System ID.

   3.  ToF node (non-DCI) with the 2nd highest System ID.

   4.  etc.

6.3.2.2.  Multiplane Route Reflector Election Procedures

   As mentioned in the main RIFT [RIFT] specification, when an
   implementation uses multiplane fabrics, inter-ToF rings are
   recommended in order to facilitate northbound flooding between ToFs
   in different planes.

   If a multiplane implementation is using Auto-EVPN, those inter-Tof
   rings are REQUIRED to ensure that DCI/RR election works as intended.

   Each ToF performs the election independently based on system IDs of
   other ToFs in the other fabrics obtained from northbound flooding
   across the inter-ToF rings.  The highest System ID from each plane
   will be considered the Plane ID, which is then factored into the
   election as follows:

   1.  The ToF node with the highest Plane ID, DCI bit, System ID

   2.  The ToF node with the lowest Plane ID, DCI bit, System ID

   3.  The ToF node with the 2nd highest Plane ID, DCI bit, System ID

   4.  etc.

   This algorithm allows DCI/RRs to be split across planes for improved
   redundancy.

6.4.  Autonomous System Number

   Nodes in each fabric MUST derive a private autonomous system number
   based on its Fabric ID so that it is unique across the fabric.

   The algorithm shown in auto_evpn_fid2private_AS (Figure 29) is
   required to derive the private ASN.

6.5.  Router ID

   Nodes MUST drive a Router ID that is based on both its System ID and
   Fabric ID so that it is unique to both.

   The algorithm shown in auto_evpn_sidfid2bgpid (Figure 15) is required
   to derive the BGP Router ID.

6.6.  Cluster ID

   Route reflector nodes in each fabric MUST derive a cluster ID that is
   based on its Fabric ID so that it is unique across the fabric.

   The algorithm shown in auto_evpn_fid2clusterid (Figure 30) is
   required to derive the BGP Cluster ID.

6.7.  Route Target

   Nodes hosting EVPN EVIs MUST derive a route target extended community
   based on the MAC-VRF ID for each EVI so that it is unique across the
   network.  Route targets MUST be of type 0 as per RFC4360.

   For example, if given a MAC-VRF ID of 1, the derived route target
   would be "target:1"

   The algorithm shown in auto_evpn_evi2rt (Figure 16) is required to
   derive the Route Target community.

6.8.  Route Distinguisher

   Nodes hosting EVPN EVIs MUST derive a type-0 route distinguisher
   based on its System ID and Fabric ID so that it is unique per node
   within a fabric.

   The algorithm shown in auto_evpn_sidfid2rd (Figure 22) is required to
   derive the Route Distinguisher.

6.9.  EVPN MAC-VRF Services

   It's obvious that applications utilizing Auto-EVPN overlay services
   may require a variety of layer-2 and/or layer-3 traffic
   considerations.  Variables supporting these services are also derived
   based on some combination of MAC-VRF ID, Fabric ID, and other
   constant values.  Integrated Routing and Bridging (IRB) gateway
   address derivation also leverages a set of constant RANDOMSEEDS
   (Figure 9) values that MUST be used to provide additional entropy.

   In order to ensure that VLAN ID's don't collide, a single deployment
   SHOULD NOT exceed 6 fabrics with 7 EVIs where each EVI terminates 30
   VLANs.  The algorithms shown in auto_evpn_fidevivlansvlans2desc
   (Figure 20) and auto_evpn_vlan_description_table (Figure 19) are
   required to derive VLANs accordingly.  An implementation MAY exceed
   this, but MUST indicate methods to ensure collision-free derivation
   and describe which VLANs are stretched across fabrics.

   Lastly, Table 3 shows example derivation results for the previously
   mentioned scaling figures.

6.9.1.  Untagged Traffic in Multiple Fabrics

   This section defines methods to derive unique VLAN, VNI, MAC, and
   gateway address values for deployments where untagged traffic is
   stretched across multiple fabrics.

6.9.1.1.  VLAN

   Untagged traffic stretched across multiple fabrics MUST derive VLAN
   tags based on MAC-VRF ID in conjunction with a constant value.

6.9.1.2.  VNI

   Untagged traffic stretched across multiple fabrics MUST derive VNIs
   based on MAC-VRF ID in conjunction with a constant value.  These VNIs
   MUST correspond to EVPN Type-2 routes.

   The algorithm shown in auto_evpn_fidevivid2vni (Figure 18) is
   required to derive VNIs for Type-2 EVPN routes.

6.9.1.3.  MAC Address

   The MAC address MUST be a unicast address and also MUST be identical
   for any IRB gateways that belong to an individual bridge-domain
   across fabrics.  The last 5-bytes MUST be a hash of the MAC-VRF ID
   and a constant value that is calculated using the previously
   mentioned random seed values.

   The algorithm shown in auto_evpn_fidevividsid2mac (Figure 26) is
   required to derive MAC addresses.

6.9.1.4.  IPv6 IRB Gateway Address

   The derived IPv6 gateway address MUST be from a ULA-scoped range that
   will account for the first 6-bytes.  The next 5-bytes MUST be the
   last bytes of the derived MAC address.  Finally, the remaining
   7-bytes MUST be ::0001.

   The algorithm shown in auto_evpn_fidevividsid2v6subnet (Figure 25) is
   required to derive the IPv6 gateway address.

6.9.1.5.  IPv4 IRB Gateway Address

   The derived IPv4 gateway address MUST be from a RFC1918 range, which
   accounts for the first octet.  The next octet MUST a hash of the MAC-
   VRF ID and a constant value of 1 that is calculated using the
   previously mentioned random seed values.  Finally, the remaining 2
   octets MUST be 0 and 1 respectively.

   The algorithm shown in auto_evpn_v4prefixfidevividsid2v4subnet
   (Figure 23) is required to derive the IPv4 gateway address.  It
   should be noted that there is a higher likelihood of address
   collisions when deriving IPv4 addresses.

6.9.2.  Tagged Traffic in Multiple Fabrics

   This section defines methods to derive unique VLAN, VNI, MAC, and
   gateway address values for deployments where tagged traffic is
   stretched across multiple fabrics.

6.9.2.1.  VLAN

   Tagged traffic stretched across multiple fabrics MUST derive VLAN
   tags based on MAC-VRF ID in conjunction with a constant value.

6.9.2.2.  VNI

   Tagged traffic stretched across multiple fabrics MUST derive VNIs
   based on MAC-VRF ID in conjunction with a constant value.  These VNIs
   MUST correspond to EVPN Type-2 routes.

   The algorithm shown in auto_evpn_fidevivid2vni (Figure 18) is
   required to derive VNIs for Type-2 EVPN routes.

6.9.2.3.  MAC Address

   The MAC address MUST be a unicast address and also MUST be identical
   for any IRB gateways that belong to an individual bridge-domain
   across fabrics.  The last 5-bytes MUST be a hash of the MAC-VRF ID
   and a constant value that is calculated using the previously
   mentioned random seed values.

   The algorithm shown in auto_evpn_fidevividsid2mac (Figure 26) is
   required to derive MAC addresses.

6.9.2.4.  IPv6 IRB Gateway Address

   The derived IPv6 gateway address MUST be from a ULA-scoped range that
   will account for the first 6-bytes.  The next 5-bytes MUST be the
   last bytes of the derived MAC address.  Finally, the remaining
   7-bytes MUST be ::0001.

   The algorithm shown in auto_evpn_fidevividsid2v6subnet (Figure 25) is
   required to derive the IPv6 gateway address.

6.9.2.5.  IPv4 IRB Gateway Address

   The derived IPv4 gateway address MUST be from a RFC1918 range, which
   accounts for the first octet.  The next octet MUST a hash of the MAC-
   VRF ID and a constant value of 16 that is calculated using the
   previously mentioned random seed values.  Finally, the remaining 2
   octets MUST be 0 and 1 respectively.

   The algorithm shown in auto_evpn_v4prefixfidevividsid2v4subnet
   (Figure 23) is required to derive the IPv4 gateway address.  It
   should be noted that there is a higher likelihood of address
   collisions when deriving IPv4 addresses.

6.9.3.  Tagged Traffic in a Single Fabric

   This section defines a method to derive unique VLAN, VNI, MAC, and
   gateway address values for deployments where untagged traffic is
   contained within a single fabric.

6.9.3.1.  VLAN

   Tagged traffic contained to a single fabric MUST derive VLAN tags
   based on MAC-VRF ID and Fabric ID in conjunction with a constant
   value.

6.9.3.2.  VNI

   Tagged traffic contained to a single fabric MUST derive VNIs based on
   MAC-VRF ID and Fabric ID in conjunction with a constant value.  These
   VNIs MUST correspond to EVPN Type-2 routes.

   The algorithm shown in auto_evpn_fidevivid2vni (Figure 18) is
   required to derive VNIs for Type-2 EVPN routes.

6.9.3.3.  MAC Address

   The MAC address MUST be a unicast address and also MUST be identical
   for any IRB gateways that belong to an individual bridge-domain
   across fabrics.  The last 5-bytes MUST be a hash of the MAC-VRF ID
   and a constant value that is calculated using the previously
   mentioned random seed values.

   The algorithm shown in auto_evpn_fidevividsid2mac (Figure 26) is
   required to derive MAC addresses.

6.9.3.4.  IPv6 IRB Gateway Address

   The derived IPv6 gateway address MUST be from a ULA-scoped range,
   which accounts for the first 6-bytes.  The next 5-bytes MUST be the
   last bytes of the derived MAC address.  Finally, the remaining
   7-bytes MUST be ::0001.

   The algorithm shown in auto_evpn_fidevividsid2v6subnet (Figure 25) is
   required to derive the IPv6 gateway address.

6.9.3.5.  IPv4 IRB Gateway Address

   The derived IPv4 gateway address MUST be from a RFC1918 range, which
   accounts for the first octet.  The next octet MUST a hash of the MAC-
   VRF ID and a constant value of 17 that is calculated using the
   previously mentioned random seed values.  Finally, the remaining 2
   octets MUST be 0 and 1 respectively.

   The algorithm shown in auto_evpn_v4prefixfidevividsid2v4subnet
   (Figure 23) is required to derive the IPv4 gateway address.  It
   should be noted that there is a higher likelihood of address
   collisions when deriving IPv4 addresses.

6.9.4.  Traffic Routed to External Destinations

6.9.4.1.  Route Distinguisher

   Nodes hosting IP Prefix routes MUST derive a type-0 route
   distinguisher based on its System ID and Fabric ID so that it is
   unique per IP-VRF and per node.

   The algorithm shown in auto_evpn_sidfid2rd (Figure 22) is required to
   derive the Route Target.

6.9.4.2.  Route Target

   Nodes hosting IP prefix routes MUST derive a route target extended
   community based on the MAC-VRF ID for each IP-VRF so that it is
   unique across the network.  Route targets MUST be of type 0.

   The algorithm shown in auto_evpn_evi2rt (Figure 16) is required to
   derive the Route Target community.

7.  Operational Considerations

   To fully realize the benefits of Auto-EVPN, it may help to describe
   the high-level methodology.  Simply put, RIFT automatically
   provisions the underlay and Auto-EVPN provisions the overlay.  The
   goal of this section is to draw clear lines between general fabric
   concepts, RIFT, and Auto-EVPN and how they fit into current network
   designs and practices.

   This section also describes an set of optional Key-Value TIEs that
   leverages the variables that have already been derived to provide
   further operational enhancement to the operator.

7.1.  RIFT Underlay and Auto-EVPN Overlay
                      +----------------+    +----------------+
                      | Superspine-01  |    | Superspine-02  |
                      | Top-of-Fabric  |    | Top-of-Fabric  |
                      | RR/DCI Gateway |    | RR/DCI Gateway |
                      +-+--+------+--+-+    +-+--+------+--+-+
                        |  |      |  |        |  |      |  |
  +---------------------+  |      |  |        |  |      |  |
  |                        |      |  |        |  |      |  +---------------------+
  |            +-----------)------)--)--------+  |      |                        |
  |            |           |      |  |   +-------+      |                        |
  |            |           |      |  |   |              |                        |
  |            |           |      |  +---)--------------)-----------+            |
  |            |           |      |      |              |           |            |
  |            |        +--+      +------)----+         +--+        |            |
  |            |        |                |    |            |        |            |
  |            |        |            +---+    |            |        |            |
  |            |        |            |        |            |        |            |
+-+------------+-+    +-+------------+-+    +-+------------+-+    +-+------------+-+
| Spine-1-1      |    | Spine-1-2      |    | Spine-2-1      |    | Spine-2-2      |
| Top-of-PoD     |    | Top-of-PoD     |    | Top-of-PoD     |    | Top-of-PoD     |
| N/A            |    | N/A            |    | N/A            |    | N/A            |
+--+----------+--+    +--+----------+--+    +--+----------+--+    +--+----------+--+
   |          |          |          |          |          |          |          |
   |          +----------)---+      |          |          +----------)---+      |
   |                     |   |      |          |                     |   |      |
   |          +----------+   |      |          |          +----------+   |      |
   |          |              |      |          |          |              |      |
+--+----------+--+    +------+------+--+    +--+----------+--+    +------+------+--+
| Leaf-1-1       |    | Leaf-1-2       |    | Leaf-2-1       |    | Leaf-2-2       |
| Leaf           +----+ Leaf           |    | Leaf           |    | Leaf           |
| Leaf Gateway   |    | Leaf Gateway   |    | Leaf Gateway   |    | Leaf Gateway   |
+--+-------------+    +--------------+-+    +----------------+    +--------------+-+
   |                                 |                                           |
   |               ESI               |                                           |
   | (00:00:00:00:00:00:00:00:11:01) |                                           |
   |          +----------------------+                                           |
   |          |                                                                  |
+--+----------+--+                                                +--------------+-+
| Server-1-1     |                                                | Server-2-2     |
+----------------+                                                +----------------+

  +-------------- PoD-1 -------------+        +-------------- PoD-2 -------------+

                 Figure 1: Auto-EVPN Example Topology

   Figure 1 illustrates a typical 5-stage Clos IP fabric.  Each node is
   labelled in such a way that conveys the following:

   1.  The nodes placement within the generic IP fabric.

   2.  The nodes role within the RIFT IP underlay.

   3.  The nodes role within the Auto-EVPN overlay.

   Table 1 should also help further align these concepts.

         +==================+===============+====================+
         | Fabric Placement | RIFT Role     | Auto-EVPN Role     |
         +==================+===============+====================+
         | Superspine       | Top-of-Fabric | Route Reflector    |
         |                  |               | and/or DCI Gateway |
         +------------------+---------------+--------------------+
         | Spine            | Spine or Top- | N/A                |
         |                  | of-PoD        |                    |
         +------------------+---------------+--------------------+
         | Leaf             | Leaf          | Leaf Gateway       |
         +------------------+---------------+--------------------+

                         Table 1: Role Associations

   It's also important to remember that Auto-EVPN simply takes existing
   EVPN overlay deployment scenarios and simplifies the provisioning.
   Figure 2 further illustrates the resulting EVPN overlay topology.

                      +----------------+    +----------------+
                      | Superspine-01  |    | Superspine-02  |
                      | RR1            |    | RR2            |
                      |                |    |                |
                      +-+--+---------+-+    +-+--+---------+-+
                        |  |         |        |  |         |
  +---------------------+  |         |        |  |         |
  |                        |         |        |  |         +---------------------+
  |            +-----------)---------)--------+  |                               |
  |            |           |         |   +-------+                               |
  |            |           |         |   |                                       |
  |            |           |         +---)--------------------------+            |
  |            |           |             |                          |            |
  |            |        +--+             |                          |            |
  |            |        |                |                          |            |
  |            |        |            +---+                          |            |
  |            |        |            |                              |            |
+-+------------+-+    +-+------------+-+                          +-+------------+-+
| Leaf-1-1       |    | Leaf-1-2       |                          | Leaf-2-2       |
| Leaf Gateway   |    | Leaf Gateway   |                          | Leaf Gateway   |
|                |    |                |                          |                |
+--+-------------+    +--------------+-+                          +--------------+-+
   |                                 |                                           |
   |               ESI               |                                           |
   | (00:00:00:00:00:00:00:00:11:01) |                                           |
   |          +----------------------+                                           |
   |          |                                                                  |
+--+----------+--+                                                +--------------+-+
| Server-1-1     |                                                | Server-2-2     |
+----------------+                                                +----------------+

  +-------------- PoD-1 -------------+        +-------------- PoD-2 -------------+

                 Figure 2: Auto-EVPN Overlay Topology

7.2.  Auto-EVPN Analytics

   Leaf nodes MAY optionally advertise analytics information about the
   Auto-EVPN fabric to ToF nodes using RIFT Key-Value TIEs.  This may be
   advantageous in that overlay validation and troubleshooting
   activities can be performed on the ToF nodes.

   This section requests suggested values from the RIFT Well-Known Key-
   Type Registry and describes their use for Auto-EVPN.

    +===================+=======+====================================+
    | Name              | Value | Description                        |
    +===================+=======+====================================+
    | Auto-EVPN         | 3     | Analytics describing a MAC-VRF on  |
    | Analytics MAC-VRF |       | a particular node within a fabric. |
    +-------------------+-------+------------------------------------+
    | Auto-EVPN         | 4     | Analytics describing an Auto-EVPN  |
    | Analytics Global  |       | node within a fabric.              |
    +-------------------+-------+------------------------------------+

               Table 2: Requested RIFT Key Registry Values

   The normative Thrift schema can be found in the appendix
   (Appendix A.4).

7.2.1.  Auto-EVPN Global Analytics Key Type

   This Key Type describes node level information within the context of
   the Auto-EVPN fabric.  The System ID of the advertising leaf node
   MUST be used to differentiate the node among other nodes in the
   fabric.

   The Auto-EVPN Global Key Type MUST be advertised with the RIFT Fabric
   ID encoded into the 3rd and 4th bytes of the Key Identifier.

      0                   1                   2                   3
      0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
     |  Well-Known  |             Auto-EVPN (Global)                 |
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
     |     (Auto-EVPN Role,                                          |
     |      Established BGP Peer Count,                              |
     |      Total BGP Peer Count,)                                   |
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

                  Figure 3: Auto-EVPN Global Key-Value TIE

   where:

      *Auto-EVPN Role:*
         The value indicating the node's Auto-EVPN role within the
         fabric.

         0:  Illegal value, MUST NOT be used.

         1:  Auto-EVPN Leaf Gateway

         2:  Auto-EVPN Top-of-Fabric Gateway

      *Established BGP Session Count:*
         A 16-bit integer indicating the number of BGP sessions in the
         Established state.

      *Total BGP Peer Count:*
         A 16-bit integer indicating the total number of possible BGP
         sessions on the local node, regardless of state.

7.2.2.  Auto-EVPN MAC-VRF Key Type

   This Key-Value structure contains information about a specific MAC-
   VRF within the Auto-EVPN fabric.

   The Auto-EVPN MAC-VRF Key Type MUST be advertised with the Auto-EVPN
   MAC-VRF ID encoded into the 3rd and 4th bytes of the Key Identifier.

   All values advertised in a MAC-VRF Key-Value TIE MUST represent only
   state of the local node.

      0                   1                   2                   3
      0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
     |  Well-Known  |             Auto-EVPN (MAC-VRF)                |
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
     |     (Operational CE Interface Count,                          |
     |      Total CE Interface Count,                                |
     |      Operational IRB Interface Count,                         |
     |      Total IRB Interface Count,                               |
     |      EVPN Type-2 MAC Route Count,                             |
     |      EVPN Type-2 MAC/IP Route Count,                          |
     |      Configured VLAN Count,                                   |
     |      MAC-VRF Name,                                            |
     |      MAC-VRF Description,)                                    |
     +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

                 Figure 4: Auto-EVPN MAC-VRF Key-Value TIE

   where:

      *Operational Customer Edge Interface Count:*
         A 16-bit integer indicating the number of CE interfaces
         associated with the MAC-VRF where both administrative and
         operational status are "up".

      *Total Customer Edge Interface Count:*
         A 16-bit integer indicating the total number of CE interfaces
         associated with the MAC-VRF regardless of interface status.

      *Operational IRB Interface Count:*
         A 16-bit integer indicating the number of IRB interfaces
         associated with the MAC-VRF where both administrative and
         operational status are "up".

      *Total IRB Interface Count:*
         A 16-bit integer indicating the total number of IRB interfaces
         associated with the MAC-VRF regardless of interface status.

      *EVPN Type-2 MAC Route Count:*
         A 32-bit integer indicating the total number of EVPN Type-2 MAC
         routes.

      *EVPN Type-2 MAC/IP Route Count:*
         A 32-bit integer indicating the total number of EVPN Type-2
         MAC/IP routes.

      *VLAN Count:*
         A 16-bit integer indicating the total number configured VLANs.

      *MAC-VRF Name:*
         A string used to indicate the name of the MAC-VRF on the node.

      *MAC-VRF Description:*
         A string used to describe the MAC-VRF on the node, similar to
         that of an interface description.

8.  Acknowledgements

   The authors would like to thank Olivier Vandezande, Vandezande for some nice
   operational improvements for variable derivation procedures, as well
   as Matthew Jones, Jones and Michal Styszynski for their contributions.

9.  Security Considerations

   This document introduces no new security concerns to RIFT or other
   specifications referenced in this document.

10.  References

10.1.  Normative References

   [RFC2119]  Bradner, S., "Key words for use in RFCs to Indicate
              Requirement Levels", BCP 14, RFC 2119,
              DOI 10.17487/RFC2119, March 1997,
              <https://www.rfc-editor.org/info/rfc2119>.

   [RFC7432]  Sajassi, A., Aggarwal, R., Bitar, N., Isaac, A., Uttaro,
              J., Drake, J., and W. Henderickx, "BGP MPLS-Based Ethernet
              VPN", February 2015,
              <https://www.rfc-editor.org/info/rfc7432>.

   [RIFT]     Przygienda, T., Sharma, A., Thubert, P., Rijsman, B., and
              D. Afanasiev, "RIFT: Routing in Fat Trees", Work in
              Progress, draft-ietf-rift-rift-13, July 2021.

   [RIFT-KV]  Head, J. and T. Przygienda, "RIFT Keys Structure and Well-
              Known Registry in Key Value TIE", Work in Progress, draft-
              head-rift-kv-registry-01, July 2021.

Appendix A.  Thrift Models

   This section contains the normative Thrift models required to support
   Auto-EVPN.  Per the main RIFT [RIFT] specification, all signed values
   MUST be interpreted as unsigned values.

A.1.  common.thrift

   This section specifies changes to main RIFT encoding.thrift common.thrift model.

...
/** EVPN Fabric ID */
typedef  i16    FabricIDType

const FabricIDType   undefined_fabric_id   = 0
const FabricIDType   default_fabric_id     = 1

const    bool   default_acting_auto_evpn_dci_when_tof         = false

enum AutoEVPNModel {
    ERB_VLAN_BUNDLE,
    ERB_VLAN_BUNDLE = 0,
}

const AutoEVPNModel default_autoevpn_model = AutoEVPNModel.ERB_VLAN_BUNDLE
...

              Figure 5: RIFT Common Schema for Auto-EVPN

A.2.  encoding.thrift

   This section specifies changes to main RIFT encoding.thrift model.

struct LIEPacket {
...
    /** provides the optional ID of the configured auto-evpn fabric. */
    35: optional common.FabricIDType       fabric_id;
    /** provides optional version of EVPN ZTP as 256 * MAJOR + MINOR */
    36: optional i16                       auto_evpn_version;
...
}

struct NodeTIEElement {
...
   /** It provides the optional ID of the Fabric configured All Auto EVPN elements MUST be present in at least one node TIE in each direction if auto evpn is running.  */
    21: optional common.FabricIDType             fabric_id;
   /** It provides optional version of EVPN ZTP as 256 * MAJOR + MINOR MINOR, if set auto EVPN is enabled. */
    22:
   21: optional i16                             auto_evpn_version;
   /** ToFs in It provides the same plane. Only carried by ToF. Multiple node TIEs can carry disjoint sets of ToFs.
        Used in complex multi-plane elections. optional ID of the Fabric configured */
    24:
   22: optional set<common.SystemIDType>        same_plane_tofs, common.FabricIDType             fabric_id = common.default_fabric_id;
   /** provides optionally the EVPN model supported */
   25: optional common.AutoEVPNModel            auto_evpn_model = common.AutoEVPNModel.ERB_VLAN_BUNDLE,
...
}

struct NodeCapabilities {
...
   /** provides the optional ID of the configured auto-evpn fabric. */
   10: optional bool                           auto_evpn_support = false;
...
}

struct NodeFlags {
...
    /** acting as DCI for auto-evpn, necessary for proper RR election where DCIs are preferred */
    10: optional bool
...
}

             Figure 6: RIFT Encoding Schema for Auto-EVPN

A.3.  common_evpn.thrift

   This section contains the normative Auto-EVPN Thrift schema.

/**
    Thrift file for common AUTO EVPN definitions for RIFT

    Copyright (c) Juniper Networks, Inc., 2016-
    All rights reserved.
*/
namespace py common_evpn
namespace rs models

include "common.thrift"
include "encoding.thrift"
include "statistics.thrift"

const common.FabricIDType   default_fabric_id     = 1
const i8                    default_evis          = 3
const i8                    default_vlans_per_evi = 7

typedef i32       RouterIDType
typedef i32       ASType
typedef i32       ClusterIDType

struct EVPNAnyRole {
    1: required   common.IPv6Address                    v6_loopback,
    2: required   common.IPv6Address                    type5_v6_loopback,
    3: required   common.IPv4Address                    type5_v4_loopback,
    4: required   RouterIDType                          bgp_router_id,
    5: required   ASType                                autonomous_system,
    6: required   ClusterIDType                         cluster_id,
    /** prefixes to be redistributed north */
    7: required   set<common.IPPrefixType>              redistribute_north,
    /** prefixes to be redistributed south */
    8: required   set<common.IPPrefixType>              redistribute_south,
    /** group name for evpn auto overlay */
    9: required   string                                bgp_group_name,
    /** fabric prefixes to be advertised in rift instead of default */
   10: required   set<common.IPPrefixType>              fabric_prefixes,
    /** v6 loopback prefix range, used e.g. to clean up config  */
   20: required   common.IPv6PrefixType                 v6_loopback_range,
   21: required   common.IPv6PrefixType                 rr_loopback_range,
   22: required   common.IPv6PrefixType                 type5_loopback_range,
   23: required   common.IPv4PrefixType                 type5_v4_loopback_range,
    /** v6 addresses of all possible RR loopbacks in this config. Can be used for e.g. cleanup */
   24: required   set<common.IPv6PrefixType>            possible_elected_rrs,
}

struct PartialEVPNEVI {
    // route target per RFC4360
    1: required   CommunityType                         rt_target,
    2: required   RTDistinguisherType                   rt_distinguisher,
    3: required   RTDistinguisherType                   rt_type5_distinguisher,
    5: required   string                                mac_vrf_name,
    6: required   VNIType                               type5_vni,
}

struct EVPNRRRole {
    2: required   common.IPv6Address                    v6_rr_addr_loopback,
    3: required   common.IPv6PrefixType                 v6_peers_allowed_range,
    4: required   map<MACVRFNumberType, PartialEVPNEVI> evis,
}

typedef i64         RTDistinguisherType
typedef i64         RTTargetType
typedef i16         MACVRFNumberType

typedef i16         VLANIDType
typedef binary      MACType

typedef i16         UnitType

struct IRBType {
    1: required   string                                name,
    2: required   UnitType                              unit,
    /// constant
    3: required   MACType                               mac,
    /// contains address of the gateway as well
    4: optional   common.IPv6PrefixType                 v6_subnet,
    /// contains address of the gateway as well
    5: optional   common.IPv4PrefixType                 v4_prefix,
}

typedef i32      VNIType

struct VLANType {
    1: optional   VLANIDType                            id,
    2: required   string                                name,
    3: optional   IRBType                               irb,
    5: optional   bool                                  stretched = false,
    6: optional   bool                                  is_native = false,
}

struct CEInterfaceType {
    2: optional   common.IEEE802_1ASTimeStampType       moved_to_ce,
    // we may not be able to obtain it in case of internal errors
    3: optional   string                                platform_interface_name,
}

typedef i64       CommunityType

struct EVPNEVI {
    // route target per RFC4360
    1: required   CommunityType                         rt_target,
    2: required   RTDistinguisherType                   rt_distinguisher,
    3: required   RTDistinguisherType                   rt_type5_distinguisher,
    4: required   string                                mac_vrf_name,
    // fabric unique 24 bits VNI on non-stretch, otherwise unique across fabrics
    5: required   map<VNIType, VLANType>                vlans,
    6: required   VNIType                               type5_vni,
}

struct EVPNLeafRole {
    1: required   set<common.IPv6Address>               rrs,
    2: required   map<MACVRFNumberType, EVPNEVI>        evis,
    3: optional   map<common.LinkIDType,
                      CEInterfaceType>                  ce_interfaces,

    5: optional   binary                                leaf_unique_lacp_system_id,
    6: optional   binary                                fabric_unique_lacp_system_id,
}

/// structure to indicate EVPN roles assumed and their variables for
/// external platform to configure itself accordingly. Presence of
/// according structure indicates that the role is assumed.
struct EVPNRoles {
    1: required  EVPNAnyRole                            generic,
    2: optional  EVPNRRRole                             route_reflector,
    3: optional  EVPNLeafRole                           leaf,
}

const common.TimeIntervalInSecType          default_leaf_delay = 120
const common.TimeIntervalInSecType          default_interface_ce_delay = 180
/// default delay before AUTOEVPN FSM starts to compute anything
const common.TimeIntervalInSecType          default_AUTOEVPN_startup_delay = 60

               Figure 7: Auto-EVPN Common Thrift Schema

A.4.  auto_evpn_kv.thrift

   This section contains the normative Auto-EVPN Analytics Thrift
   schema.

include "common.thrift"

namespace py auto_evpn_kv
namespace rs models

/** We don't need the full role structure, only an indication of the node's basic role */
enum AutoEVPNRole {
    ILLEGAL            = 0,
    auto_evpn_leaf_erb = 1,
    auto_evpn_tof_gw   = 2,
}
enum   KVTypes {
    OUI       = 1,
    WellKnown = 2,
}

const i8            AutoEVPNWellKnownKeyType  = 1
typedef i32         AutoEVPNKeyIdentifier
typedef i16         AutoEVPNCounterType
typedef i32         AutoEVPNLongCounterType

const i8            GlobalAutoEVPNTelemetryKV = 4
const i8            AutoEVPNTelemetryKV       = 3

/** Per the according RIFT draft the key comes from the well known space.
    Part of the key is used as Fabric-ID.

    1st     byte  MUST be = "Well-Known"
    2nd     byte  MUST be = "Global Auto-EVPN Telemetry KV",
    3rd/4th bytes MUST be = FabricIDType
*/
struct AutoEVPNTelemetryGlobalKV {
    /** Only values that the ToF cannot derive itself should be flooded. */
    1: required   set<AutoEVPNRole>            auto_evpn_roles,

    /** Established BGP peer count (for Auto-EVPN)
    2: optional   AutoEVPNCounterType          established_bgp_peer_count,

    /** Total BGP peer count (for Auto-EVPN)
    3: optional   AutoEVPNCounterType          total_bgp_peer_count,
}

/** Per the according RIFT draft the key comes from the well known space.
    Part of the key is used as MAC-VRF number.

    1st     byte  MUST be = "Well-Known"
    2nd     byte  MUST be = indicates "Auto-EVPN Telemetry KV",
    3rd/4th bytes MUST be = MACVRFNumberType
*/
struct AutoEVPNTelemetryMACVRFKV {
    /** Active CE interface count (up/up)
    1: optional   AutoEVPNCounterType          active_ce_interfaces,

    /** Total CE interface count
    2: optional   AutoEVPNCounterType          total_ce_interfaces,

    /** Active IRB interface count (up/up)
    3: optional   AutoEVPNCounterType          active_irb_interfaces,
    /** Total IRB interface count
    4: optional   AutoEVPNCounterType          total_irb_interfaces,

    /** Local EVPN Type-2 MAC route count
    5: optional  AutoEVPNLongCounterType       local_evpn_type2_mac_routes,

    /** Local EVPN Type-2 MAC/IP route count
    6: optional  AutoEVPNLongCounterType       local_evpn_type2_mac_ip_routes,

    /** number of configured VLANs */
    7: optional  i16                           configured_vlans,

    /** optional human readable name */
    8: optional  string                        name,

    /** optional human readable string describing the MAC-VRF */
    9: optional  string                        description,
}

             Figure 8: Auto-EVPN Key-Value Thrift Schema

Appendix B.  Auto-EVPN Variable Derivation

B.1.  Variable Derivation Functions

   This section contains the normative derivation procedures required to
   support Auto-EVPN.

/// indicates how many RRs we're computing in AUTO EVPN
pub const MAX_AUTO_EVPN_RRS: usize = 3;
/// indicates the fabric has no ID, used in computations to omit effects of fabric ID
pub const NO_FABRIC_ID: FabricIDType = 0;
/// invalid MACVRF number, MACVRFs start from 1
pub const NO_MACVRF: MACVRFNumberType = 0;
/// first MACVRF
pub const MIN_MACVRF : MACVRFNumberType  = 1;

/// unique v6 prefix for all nodes starts with this
pub fn auto_evpn_v6pref(fid: FabricIDType) -> String {
    format!("FD00:{:04X}:A1", fid)
}
/// how many bytes in a v6pref for different purposes
pub const AUTO_EVPN_V6PREFLEN: usize = 8 * 5;
/// unique v6 prefix for route reflector purposes starts like this
pub fn auto_evpn_v6rrpref(fid: FabricIDType) -> String {
    format!("FD00:{:04X}:A2", fid)
}
/// unique v6 prefix for type-5 purposes starts like this
pub fn auto_evpn_v6t5pref(fid: FabricIDType) -> String {
    format!("FD00:{:04X}:A3", fid)
}
/// unique v6 prefix for IRB prefix purposes
pub fn auto_evpn_v6irbpref(fid: FabricIDType) -> String {
    format!("FD00:{:04X}:A4", fid)
}
/// 2 bytes of prefix, then fabric ID, then another byte
pub const AUTO_EVPN_V6_FABPREFIXLEN: usize = 16 + 16 + 8;
/// unique v4 prefix for IRB purposes
pub const AUTO_EVPN_V4IRBPREF: &str = "10";

/// per RFC magic
const RT_TARGET_HIGH: CommunityType = 0;
const RT_TARGET_LOW: CommunityType = 0;

/// first available VLAN number
pub const FIRST_VLAN: UnsignedVLANIDType = 1;
// maximum vlan number one less than maximum to use as bitmask
pub const MAX_VLAN: UnsignedVLANIDType = 4095;
/// constant VLAN shift
pub const FIRST_VLAN_SHIFT: UnsignedVLANIDType = 32; NATIVE_VLAN + 1;
/// NATIVE VLAN number
pub const NATIVE_VLAN: UnsignedVLANIDType = 1;

/// abstract description of VLAN properties for a derived VLAN
pub struct VLANDescription {
    pub vlan_id: UnsignedVLANIDType,
    pub name: String,
    /// can this VLAN be stretched across multiple fabrics
    pub stretchable: bool,
    pub native: bool,
}

/// maximum number of VLANs per MACVRF
pub const MAX_VLANS_PER_EVI: usize = 30;

/// maximum number of EVIs
pub const MAX_EVIS: MACVRFNumberType = 7;

pub type VLANStretchableType = bool;
pub type VLANNativeType = bool;

pub type UnsignedVNIType = u32;
pub type UnsignedFabricIDType = u16;

pub type UnsignedUnitType = u16;
pub type UnsignedVLANIDType = u16;
pub type UnsignedRTDistinguisherType = u64;

pub const EXTRATYPE5_RD_DISTINGUISHER: u32 = 0xffff_ffff;

/// high bits of type 5 VNI
const TYPE5VNIHIGH: UnsignedVNIType = 0x0080_0000;
/// bitmask for type 2 VNI
const TYPE2VNIMASK: UnsignedVNIType = 0x00ff_ffff ^ TYPE5VNIHIGH;

/// random seeds used in several algorithms to increase entropy
pub const RANDOMSEEDS: [u64; 4] = [
    27008318799u64,
    67438371571,
    37087353685,
    88675895388,
];

                Figure 9: auto_evpn_const_structs_type

/// function sorts vector of (is_dci, systemID) first,
/// splits of the DCIs from the non-DCIs and sorts them
/// followed by a shuffle taking largest/smallest/2nd largest/2nd smallest.
/// Ultimately both are merged which prefers the DCIs while
/// still making sure that the election is stable with a system ID joining
/// as smallest/largest.
pub(crate) fn auto_evpn_sids2rrs(v: Vec<(bool, UnsignedSystemID)>)
    -> Vec<UnsignedSystemID> {
    let (dcis, nondcis): (Vec<(bool, UnsignedSystemID)>, Vec<(bool, UnsignedSystemID)>) =
        v.into_iter().partition(|(dci, _)| *dci);

    vec![dcis, nondcis]
        .into_iter()
        .flat_map(|mut v| {
            v.par_sort();
            if v.len() > 2 {
                let mut s = v.split_off(v.len() / 2);
                s.reverse();
                interleave(v.into_iter(), s.into_iter())
                    .collect::<Vec<_>>()
                    .into_iter()
            } else {
                v.into_iter()
            }
        })
        .map(|(_, sid)| sid)
        .collect()
}
                    Figure 10: auto_evpn_sids2rrs

   pub(crate) fn auto_evpn_v62octets(a: Ipv6Addr) -> Vec<u8> {
       a.octets().iter().cloned().collect()
   }

                       Figure 11: auto_evpn_v62octets

/// fabric prefixes derived instead of advertising default on the fabric to allow
/// for default route on ToF or leaves
pub fn auto_evpn_fid2fabric_prefixes(fid: FabricIDType) -> Result<Vec<IPPrefixType>, ServiceErrorType> {
    vec![
        (auto_evpn_fidsidv6loopback(fid, ILLEGAL_SYSTEM_I_D as _), AUTO_EVPN_V6PREFLEN),
        (auto_evpn_fidrrpref2rrloopback(fid, ILLEGAL_SYSTEM_I_D as _), AUTO_EVPN_V6PREFLEN),
    ]
        .into_iter()
        .map(|(p, _)|
            match p {
                Ok(_) => Ok(
                    IPPrefixType::Ipv6prefix(
                        IPv6PrefixType {
                            address: auto_evpn_v62octets(p?),
                            prefixlen: AUTO_EVPN_V6PREFLEN as _,
                        })),
                Err(e) => Err(e),
            }
        )
        .collect::<Result<Vec<_>, _>>()
}

               Figure 12: auto_evpn_fid2fabric_prefixes

/// local address with encoded fabric ID and system ID for collision free identifiers. Basis
/// for several different prefixes.
pub fn auto_evpn_v6prefixfidsid2loopback(v6pref: &str, fid: FabricIDType,
                                         sid: UnsignedSystemID) -> Result<Ipv6Addr, ServiceErrorType> {
    assert!(fid != 0); UNDEFINED_FABRIC_ID);
    let a = format!("{}00::{}",
                    v6pref,
                    sid.to_ne_bytes()
                        .iter()
                        .chunks(2)
                        .into_iter()
                        .map(|chunk|
                            chunk.fold(0u16, |v, n| (v << 8) | *n as u16))
                        .map(|v| format!("{:04X}", v))
                        .collect::<Vec<_>>()
                        .into_iter()
                        .join(":")
    );

    Ipv6Addr::from_str(&a)
        .map_err(|_| ServiceErrorType::INTERNALRIFTERROR)
}

             Figure 13: auto_evpn_v6prefixfidsid2loopback

/// auto evpn V6 loopback for RRs
pub fn auto_evpn_fidrrpref2rrloopback(fid: FabricIDType,
                                      preference: u8) -> Result<Ipv6Addr, ServiceErrorType> {
    auto_evpn_v6prefixfidsid2loopback(&auto_evpn_v6rrpref(fid), fid, (1 + preference) as _)
}

              Figure 14: auto_evpn_fidrrpref2rrloopback

/// auto evpn BGP router ID
pub fn auto_evpn_sidfid2bgpid(fid: FabricIDType, sid: UnsignedSystemID) -> u32 {
    assert!(fid != 0);
    let hs: u32 = ((sid & 0xffff_ffff_0000_0000) >> 32) as _;
    let mut ls: u32 = (sid & 0xffff_ffff) as _;
    ls = ls.rotate_right(7) ^ (fid as u32).rotate_right(13);
    max(1, hs ^ ls) // never a 0
}

                  Figure 15: auto_evpn_sidfid2bgpid

   /// route target bytes are type0/0 and then add EVI
   pub fn auto_evpn_evi2rt(evi: MACVRFNumberType) -> CommunityType {
       let wideevi = (evi + 1) as CommunityType;

       (RT_TARGET_HIGH << (64 - 8)) | (RT_TARGET_LOW << 64 - 16) |
           ((wideevi) << 17) |
           ((wideevi))
   }

                        Figure 16: auto_evpn_evi2rt

/// type-5 VNI for an EVI
pub fn auto_evpn_fidevi2type5vni(fid: FabricIDType, evi: MACVRFNumberType) -> UnsignedVNIType {
    TYPE5VNIHIGH | auto_evpn_fidevivid2vni(fid, evi, 0, false)
}

                 Figure 17: auto_evpn_fidevi2type5vni

/// type-2 VNI for a specific VLAN
pub fn auto_evpn_fidevivid2vni(fid: FabricIDType, evi: MACVRFNumberType, vlanid: VLANIDType, stretchable: bool) -> UnsignedVNIType {
    let rfid = if stretchable {
        NO_FABRIC_ID as _
    } else {
        fid as UnsignedVNIType
    };

    let revi = evi as UnsignedVNIType;
    let rvlan = vlanid as UnsignedVNIType;
// mask out high bits, VNI is only 24 bits
    TYPE2VNIMASK &
        (
            rfid.rotate_left(16) ^
                revi.rotate_left(12) ^
                rvlan
        )
}

                  Figure 18: auto_evpn_fidevivid2vni

/// maximum VLANs per EVI supported by auto evpn when deriving
pub fn auto_evpn_vlan_description_table<'a>(vlans: usize)
                                            -> Result<&'a [(UnsignedVLANIDType, VLANStretchableType, VLANNativeType)], ServiceErrorType> {
    // up to 15 vlans can be activated
    const VLANSARRAY: [(UnsignedVLANIDType, bool, bool); MAX_VLANS_PER_EVI] = [
        (NATIVE_VLAN, true, true, ),
        (FIRST_VLAN_SHIFT, true, false, ),
        (FIRST_VLAN_SHIFT + 1, true, false, ),
        (FIRST_VLAN_SHIFT + 2, true, false, ),
        (FIRST_VLAN_SHIFT + 3, true, false, ),
        (FIRST_VLAN_SHIFT + 4, true, false, ),
        (FIRST_VLAN_SHIFT + 5, true, false, ),
        (FIRST_VLAN_SHIFT + 6, true, false, ),
        (FIRST_VLAN_SHIFT + 7, true, false, ),
        (FIRST_VLAN_SHIFT + 8, false, false, ),
        (FIRST_VLAN_SHIFT + 9, false, false, ),
        (FIRST_VLAN_SHIFT +10, false, false, ),
        (FIRST_VLAN_SHIFT +11, false, false, ),
        (FIRST_VLAN_SHIFT +12, false, false, ),
        (FIRST_VLAN_SHIFT +13, false, false, ),
        (FIRST_VLAN_SHIFT +14, false, false, ),
        (FIRST_VLAN_SHIFT +15, false, false, ),
        (FIRST_VLAN_SHIFT +16, false, false, ),
        (FIRST_VLAN_SHIFT +17, false, false, ),
        (FIRST_VLAN_SHIFT +18, false, false, ),
        (FIRST_VLAN_SHIFT +19, false, false, ),
        (FIRST_VLAN_SHIFT +20, false, false, ),
        (FIRST_VLAN_SHIFT +21, false, false, ),
        (FIRST_VLAN_SHIFT +22, false, false, ),
        (FIRST_VLAN_SHIFT +23, false, false, ),
        (FIRST_VLAN_SHIFT +24, false, false, ),
        (FIRST_VLAN_SHIFT +25, false, false, ),
        (FIRST_VLAN_SHIFT +26, false, false, ),
        (FIRST_VLAN_SHIFT +27, false, false, ),
        (FIRST_VLAN_SHIFT +28, false, false, ),
    ];

    if vlans > VLANSARRAY.len() {
        return Err(ServiceErrorType::INVALIDPARAMETERVALUE)
    }

    Ok(&VLANSARRAY[..vlans])
}

             Figure 19: auto_evpn_vlan_description_table

const fn num_bits<T>() -> usize { std::mem::size_of::<T>() * 8 }

fn log2(x: u32) -> u32 {
    assert!(x > 0);
    num_bits::<u32>() as u32 - x.leading_zeros() - 1
}

/// delivers the vlan description that can be used to generate vlans for a
/// specific fabric ID and a MACVRF number
pub fn auto_evpn_fidevivlansvlans2desc(fid: UnsignedFabricIDType, macvrf: MACVRFNumberType,
                                       vlans: usize) -> Vec<VLANDescription> {
    assert!(NO_MACVRF != macvrf);

    // abstract description of derived VLANs
    let vlan_table = auto_evpn_vlan_description_table(vlans)
        .expect("vlan table in AUTO EVPN incorrect");

    let vlanshift = vlan_table log2(vlan_table
        .iter()
        .map(|(vl, _, _)| *vl as usize)
        .max()
        .expect("vlan table in AUTO EVPN incorrect")
        .checked_next_power_of_two()
        .expect("vlan table in AUTO EVPN incorrect");

    assert!(vlan_table.len() < FIRST_VLAN_SHIFT incorrect")
        as _); u32);

    vlan_table
        .iter()
        .map(move |(vid, stretch, native_)| {
            let stretchedfid = if !stretch {
                fid
            } else {
                NO_FABRIC_ID as _
            };

            let reducedmacvrf = macvrf - MIN_MACVRF;

            // we shift fid & evi same amount to extinguish them possibly
            let fidandevishift = vlanshift + 1;
            let mut vlan_id = *vid ^ stretchedfid
                .rotate_left(max(16, vlanshift as u32 + 9))
                .rotate_left(fidandevishift) as UnsignedVLANIDType;
            // leave space for VLANs in the encoding
            vlan_id ^= macvrf.rotate_left(vlanshift as _) reducedmacvrf.rotate_left(fidandevishift) as UnsignedVLANIDType;

            vlan_id %= MAX_VLAN;
            vlan_id = max(1, vlan_id);

            VLANDescription {
                vlan_id: vlan_id as _,
                name: format!("V{}", vlan_id),
                stretchable: *stretch,
                native: *native_,
            }
        })
        .collect()
}

              Figure 20: auto_evpn_fidevivlansvlans2desc

/// IRB interface number.
/// fid/evi combination shifted up to not interfere with the VLAN-ID
/// and then add the VLAN-ID
pub fn auto_evpn_fidevivid2irb(fid: auto_evpn_fidevivid2irb(_fid: FabricIDType, evi: _evi: MACVRFNumberType, vid: VLANIDType) -> UnsignedUnitType {

    assert!(NO_MACVRF != evi);

    let mut v = (fid as UnsignedUnitType ^ evi.rotate_left(4) _evi);

    // VLAN collision function is collision free to the point we can just ignore EVI
    // and assign IRB interface number to be same as UnsignedUnitType); VLAN which simplifies deployment
    let mut v v: UnsignedUnitType = v.rotate_left(2); 0;

    v = 1 + v.wrapping_add(vid as UnsignedVLANIDType) % MAX_VLAN; UnsignedVLANIDType);
    max(1, v % (UnsignedUnitType::MAX - 1) 1))
}

                  Figure 21: auto_evpn_fidevivid2irb

/// route distinguisher derivation
pub fn auto_evpn_sidfid2rd(sid: UnsignedSystemID, fid: UnsignedFabricIDType, extra: u32) -> UnsignedRTDistinguisherType {
    // generate type 0 route distinguisher, first 2 bytes 0 and then 6 bytes
    assert!(fid != NO_FABRIC_ID as _);
    // shift the 2 bytes we loose
    let convsid = sid as UnsignedRTDistinguisherType;
    let hs = ((sid & 0xffff_0000_0000_0000) >> 32) as UnsignedRTDistinguisherType;
    let mut ls: UnsignedRTDistinguisherType = convsid & 0x0000_ffff_ffff_ffff;
    ls ^= hs;
    ls ^= (fid as UnsignedRTDistinguisherType).rotate_left(16);
    ls ^= extra as UnsignedRTDistinguisherType;
    ls
}

                    Figure 22: auto_evpn_sidfid2rd

/// v4 subnet derivation
pub fn auto_evpn_v4prefixfidevividsid2v4subnet(v4pref: &str, fid: FabricIDType,
                                               evi: MACVRFNumberType, vid: VLANIDType,
                                               sid: UnsignedSystemID) -> Result<IPv4PrefixType, ServiceErrorType> {

    assert!(NO_MACVRF != evi);

    // fid can be 0 for stretched v4subnets
    let mut sub = evi.to_ne_bytes().iter()
        .fold((RANDOMSEEDS[0] & 0xff) as u8, |r, e| r.rotate_left(1) ^ e.rotate_right(1));
    sub ^= fid.to_ne_bytes().iter()
        .fold((RANDOMSEEDS[1] & 0xff) as u8, |r, e| r.rotate_left(2) ^ e.rotate_right(1));
    sub ^= vid.to_ne_bytes().iter()
        .fold((RANDOMSEEDS[2] & 0xff) as u8, |r, e| r.rotate_left(3) ^ e.rotate_right(1));

    let subnet = sub % 254; // make sure we don't show multicast subnet

    let _host = sid.to_ne_bytes().iter()
        .fold(0u16, |r, e| r.rotate_left(3) ^ e.rotate_right(3) as u16);

    let a = format!("{}.{}.{}.{}",
                    v4pref,
                    subnet,
                    0,
                    1,
    );

    Ok(
        IPv4PrefixType {
            address: Ipv4Addr::from_str(&a)
                .map_err(|_| {
                    ServiceErrorType::INTERNALRIFTERROR
                })?
                .octets()
                .iter()
                .fold(0u32, |v, nv| v << 8 | (*nv as u32)) as IPv4Address
            ,
            prefixlen: 16,
        }
    )
}

          Figure 23: auto_evpn_v4prefixfidevividsid2v4subnet

/// generic v6 bytes derivation used for different purposes
pub fn auto_evpn_v6hash(fid: FabricIDType, evi: MACVRFNumberType, vid: VLANIDType, sid: UnsignedSystemID)
                        -> [u8; 8] {

    let mut sub = evi.to_ne_bytes().iter()
        .fold(RANDOMSEEDS[3], |r, e| r.rotate_left(6) ^ e.rotate_right(4) as u64);
    sub ^= fid.to_ne_bytes().iter()
        .fold(RANDOMSEEDS[0], |r, e| r.rotate_left(6) ^ e.rotate_right(4) as u64);
    sub ^= vid as u64;
    sub ^= sid;

    sub.to_ne_bytes()
}

                     Figure 24: auto_evpn_v6hash

/// v6 subnet derivation
pub fn auto_evpn_fidevividsid2v6subnet(fid: FabricIDType, evi: MACVRFNumberType,
                                       vid: VLANIDType,
                                       sid: UnsignedSystemID) -> Result<IPv6PrefixType, ServiceErrorType> {

    assert!(NO_MACVRF != evi);

    let sb = auto_evpn_v6hash(fid, evi, vid, sid);

    let a = format!("{}:{:02X}{:02X}:{:02X}{:02X}:{:02X}{:02X}::1",
                    auto_evpn_v6irbpref(fid),
                    sb[3] ^ sb[0],
                    sb[4] ^ sb[1],
                    sb[6],
                    sb[7],
                    sb[5],
                    sb[2],
    );

    Ok(IPv6PrefixType {
        address: Ipv6Addr::from_str(
            &a)
            .map_err(|_| {
                ServiceErrorType::INTERNALRIFTERROR
            })?
            .octets()
            .to_vec(),
        prefixlen: 64,
    })
}

              Figure 25: auto_evpn_fidevividsid2v6subnet

/// MAC address derivation for IRB
pub fn auto_evpn_fidevividsid2mac(fid: FabricIDType, evi: MACVRFNumberType,
                                  vid: VLANIDType, sid: UnsignedSystemID) -> Vec<u8> {

    let sb = auto_evpn_v6hash(fid, evi, vid, sid);

    vec![0x02,
         sb[3] ^ sb[0],
         sb[4] ^ sb[1],
         sb[6],
         sb[7],
         sb[5] ^ sb[2],
    ]
}

                Figure 26: auto_evpn_fidevividsid2mac

/// v4 loopback address derivation for every node in auto-evpn, returns address and
/// subnet mask length
pub fn auto_evpn_fidsid2v4loopback(fid: FabricIDType, sid: UnsignedSystemID) -> (IPv4Address, u8) {
    let mut derived = sid.to_ne_bytes().iter()
        .fold(0 as IPv4Address, |p, e| (p << 4) ^ (*e as IPv4Address));
    derived ^= fid as IPv4Address;
    // use the byte we loose for entropy
    derived ^= derived >> 24;
    // and sanitize for loopback range, we nuke 9 bits out
    derived &= 0x007f_ffff;

    let m = ((127 as IPv4Address) << 24) | derived;
    (m as _, 9)
}

                Figure 27: auto_evpn_fidsid2v4loopback

/// V6 loopback derivation for every node in auto-evpn
pub fn auto_evpn_fidsidv6loopback(fid: FabricIDType,
                                  sid: UnsignedSystemID) -> Result<Ipv6Addr, ServiceErrorType> {
    auto_evpn_v6prefixfidsid2loopback(&auto_evpn_v6pref(fid), fid, sid)
}

                Figure 28: auto_evpn_fidsidv6loopback

   #[allow(non_snake_case)]
   pub fn auto_evpn_fid2private_AS(fid: FabricIDType) -> u32 {
       assert!(fid != NO_FABRIC_ID);
       // range 4200000000-4294967294
       const DIFF: u32 = 4_294_967_294 - 4_200_000_000;
       64496 + ((fid as u32) << 3) % DIFF
   }

                    Figure 29: auto_evpn_fid2private_AS

   pub fn auto_evpn_fid2clusterid(fid: FabricIDType) -> u32 {
       auto_evpn_fid2private_AS(fid)
   }

                     Figure 30: auto_evpn_fid2clusterid

B.2.  Variable Derivation Results

   This section contains functional variable derviation results that can
   be used as a confirmation that an implementation conforms to
   procedures in this document.

   +===========+============+=========+===========+========+======+

   +===========+============+=========+===========+========+=====+
   | Fabric ID | MAC-VRF ID | VLAN ID | Stretched | VNI    | IRB |
   +===========+============+=========+===========+========+======+
   +===========+============+=========+===========+========+=====+
   | 1         | 1          | 1       | Y         | 4097   | 70 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 33 2       | Y         | 4129 4098   | 102 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 32 3       | Y         | 4128 4099   | 101 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 35 4       | Y         | 4131 4100   | 104 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 34 5       | Y         | 4130 4101   | 103 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 37 6       | Y         | 4133 4102   | 106 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 36 7       | Y         | 4132 4103   | 105 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 39 8       | Y         | 4135 4104   | 108 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 38 9       | Y         | 4134 4105   | 107 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 553 74      | N         | 70185 69706  | 622 74  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 552 75      | N         | 70184 69707  | 621 75  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 555 76      | N         | 70187 69708  | 624 76  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 554 77      | N         | 70186 69709  | 623 77  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 557 78      | N         | 70189 69710  | 626 78  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 556 79      | N         | 70188 69711  | 625 79  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 559 80      | N         | 70191 69712  | 628 80  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 558 81      | N         | 70190 69713  | 627 81  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 561 82      | N         | 70193 69714  | 630 82  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 560 83      | N         | 70192 69715  | 629 83  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 563 84      | N         | 70195 69716  | 632 84  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 562 85      | N         | 70194 69717  | 631 85  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 565 86      | N         | 70197 69718  | 634 86  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 564 87      | N         | 70196 69719  | 633 87  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 567 88      | N         | 70199 69720  | 636 88  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 566 89      | N         | 70198 69721  | 635 89  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 569 90      | N         | 70201 69722  | 638 90  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 568 91      | N         | 70200 69723  | 637 91  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 571 92      | N         | 70203 69724  | 640 92  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 570 93      | N         | 70202 69725  | 639 93  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 1          | 573 94      | N         | 70205 69726  | 642 94  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 3 65      | Y         | 8195 8257   | 136 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 34 66      | Y         | 8226 8258   | 167 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 35 67      | Y         | 8227 8259   | 168 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 32 68      | Y         | 8224 8260   | 165 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 33 69      | Y         | 8225 8261   | 166 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 38 70      | Y         | 8230 8262   | 171 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 39 71      | Y         | 8231 8263   | 172 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 36 72      | Y         | 8228 8264   | 169 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 37 73      | Y         | 8229 8265   | 170 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 554 10      | N         | 74282 73738  | 687 10  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 555 11      | N         | 74283 73739  | 688 11  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 552 12      | N         | 74280 73740  | 685 12  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 553 13      | N         | 74281 73741  | 686 13  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 558 14      | N         | 74286 73742  | 691 14  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 559 15      | N         | 74287 73743  | 692 15  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 556 16      | N         | 74284 73744  | 689 16  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 557 17      | N         | 74285 73745  | 690 17  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 562 18      | N         | 74290 73746  | 695 18  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 563 19      | N         | 74291 73747  | 696 19  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 560 20      | N         | 74288 73748  | 693 20  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 561 21      | N         | 74289 73749  | 694 21  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 566 22      | N         | 74294 73750  | 699 22  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 567 23      | N         | 74295 73751  | 700 23  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 564 24      | N         | 74292 73752  | 697 24  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 565 25      | N         | 74293 73753  | 698 25  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 570 26      | N         | 74298 73754  | 703 26  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 571 27      | N         | 74299 73755  | 704 27  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 568 28      | N         | 74296 73756  | 701 28  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 569 29      | N         | 74297 73757  | 702 29  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 2          | 574 30      | N         | 74302 73758  | 707 30  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 2 129     | Y         | 12290 12417  | 199 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 35 130     | Y         | 12323 12418  | 232 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 34 131     | Y         | 12322 12419  | 231 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 33 132     | Y         | 12321 12420  | 230 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 32 133     | Y         | 12320 12421  | 229 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 39 134     | Y         | 12327 12422  | 236 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 38 135     | Y         | 12326 12423  | 235 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 37 136     | Y         | 12325 12424  | 234 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 36 137     | Y         | 12324 12425  | 233 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 555 202     | N         | 78379 78026  | 752 202 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 554 203     | N         | 78378 78027  | 751 203 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 553 204     | N         | 78377 78028  | 750 204 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 552 205     | N         | 78376 78029  | 749 205 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 559 206     | N         | 78383 78030  | 756 206 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 558 207     | N         | 78382 78031  | 755 207 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 557 208     | N         | 78381 78032  | 754 208 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 556 209     | N         | 78380 78033  | 753 209 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 563 210     | N         | 78387 78034  | 760 210 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 562 211     | N         | 78386 78035  | 759 211 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 561 212     | N         | 78385 78036  | 758 212 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 560 213     | N         | 78384 78037  | 757 213 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 567 214     | N         | 78391 78038  | 764 214 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 566 215     | N         | 78390 78039  | 763 215 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 565 216     | N         | 78389 78040  | 762 216 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 564 217     | N         | 78388 78041  | 761 217 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 571 218     | N         | 78395 78042  | 768 218 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 570 219     | N         | 78394 78043  | 767 219 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 569 220     | N         | 78393 78044  | 766 220 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 568 221     | N         | 78392 78045  | 765 221 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 3          | 575 222     | N         | 78399 78046  | 772 222 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 5 193     | Y         | 16389 16577  | 266 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 36 194     | Y         | 16420 16578  | 297 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 37 195     | Y         | 16421 16579  | 298 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 38 196     | Y         | 16422 16580  | 299 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 39 197     | Y         | 16423 16581  | 300 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 32 198     | Y         | 16416 16582  | 293 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 33 199     | Y         | 16417 16583  | 294 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 34 200     | Y         | 16418 16584  | 295 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 35 201     | Y         | 16419 16585  | 296 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 556 138     | N         | 82476 82058  | 817 138 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 557 139     | N         | 82477 82059  | 818 139 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 558 140     | N         | 82478 82060  | 819 140 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 559 141     | N         | 82479 82061  | 820 141 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 552 142     | N         | 82472 82062  | 813 142 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 553 143     | N         | 82473 82063  | 814 143 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 554 144     | N         | 82474 82064  | 815 144 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 555 145     | N         | 82475 82065  | 816 145 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 564 146     | N         | 82484 82066  | 825 146 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 565 147     | N         | 82485 82067  | 826 147 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 566 148     | N         | 82486 82068  | 827 148 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 567 149     | N         | 82487 82069  | 828 149 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 560 150     | N         | 82480 82070  | 821 150 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 561 151     | N         | 82481 82071  | 822 151 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 562 152     | N         | 82482 82072  | 823 152 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 563 153     | N         | 82483 82073  | 824 153 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 572 154     | N         | 82492 82074  | 833 154 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 573 155     | N         | 82493 82075  | 834 155 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 574 156     | N         | 82494 82076  | 835 156 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 575 157     | N         | 82495 82077  | 836 157 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 4          | 568 158     | N         | 82488 82078  | 829 158 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 4 257     | Y         | 20484 20737  | 329 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 37 258     | Y         | 20517 20738  | 362 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 36 259     | Y         | 20516 20739  | 361 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 39 260     | Y         | 20519 20740  | 364 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 38 261     | Y         | 20518 20741  | 363 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 33 262     | Y         | 20513 20742  | 358 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 32 263     | Y         | 20512 20743  | 357 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 35 264     | Y         | 20515 20744  | 360 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 34 265     | Y         | 20514 20745  | 359 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 557 330     | N         | 86573 86346  | 882 330 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 556 331     | N         | 86572 86347  | 881 331 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 559 332     | N         | 86575 86348  | 884 332 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 558 333     | N         | 86574 86349  | 883 333 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 553 334     | N         | 86569 86350  | 878 334 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 552 335     | N         | 86568 86351  | 877 335 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 555 336     | N         | 86571 86352  | 880 336 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 554 337     | N         | 86570 86353  | 879 337 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 565 338     | N         | 86581 86354  | 890 338 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 564 339     | N         | 86580 86355  | 889 339 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 567 340     | N         | 86583 86356  | 892 340 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 566 341     | N         | 86582 86357  | 891 341 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 561 342     | N         | 86577 86358  | 886 342 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 560 343     | N         | 86576 86359  | 885 343 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 563 344     | N         | 86579 86360  | 888 344 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 562 345     | N         | 86578 86361  | 887 345 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 573 346     | N         | 86589 86362  | 898 346 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 572 347     | N         | 86588 86363  | 897 347 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 575 348     | N         | 86591 86364  | 900 348 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 574 349     | N         | 86590 86365  | 899 349 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 5          | 569 350     | N         | 86585 86366  | 894 350 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 7 321     | Y         | 24583 24897  | 396 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 38 322     | Y         | 24614 24898  | 427 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 39 323     | Y         | 24615 24899  | 428 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 36 324     | Y         | 24612 24900  | 425 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 37 325     | Y         | 24613 24901  | 426 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 34 326     | Y         | 24610 24902  | 423 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 35 327     | Y         | 24611 24903  | 424 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 32 328     | Y         | 24608 24904  | 421 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 33 329     | Y         | 24609 24905  | 422 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 558 266     | N         | 90670 90378  | 947 266 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 559 267     | N         | 90671 90379  | 948 267 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 556 268     | N         | 90668 90380  | 945 268 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 557 269     | N         | 90669 90381  | 946 269 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 554 270     | N         | 90666 90382  | 943 270 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 555 271     | N         | 90667 90383  | 944 271 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 552 272     | N         | 90664 90384  | 941 272 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 553 273     | N         | 90665 90385  | 942 273 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 566 274     | N         | 90678 90386  | 955 274 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 567 275     | N         | 90679 90387  | 956 275 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 564 276     | N         | 90676 90388  | 953 276 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 565 277     | N         | 90677 90389  | 954 277 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 562 278     | N         | 90674 90390  | 951 278 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 563 279     | N         | 90675 90391  | 952 279 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 560 280     | N         | 90672 90392  | 949 280 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 561 281     | N         | 90673 90393  | 950 281 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 574 282     | N         | 90686 90394  | 963 282 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 575 283     | N         | 90687 90395  | 964 283 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 572 284     | N         | 90684 90396  | 961 284 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 573 285     | N         | 90685 90397  | 962 285 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 1         | 6          | 570 286     | N         | 90682 90398  | 959 286 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1       | Y         | 4097   | 74 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 33 2       | Y         | 4129 4098   | 106 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 32 3       | Y         | 4128 4099   | 105 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 35 4       | Y         | 4131 4100   | 108 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 34 5       | Y         | 4130 4101   | 107 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 37 6       | Y         | 4133 4102   | 110 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 36 7       | Y         | 4132 4103   | 109 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 39 8       | Y         | 4135 4104   | 112 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 38 9       | Y         | 4134 4105   | 111 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1065 138     | N         | 136233 135306 | 1138 138 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1064 139     | N         | 136232 135307 | 1137 139 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1067 140     | N         | 136235 135308 | 1140 140 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1066 141     | N         | 136234 135309 | 1139 141 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1069 142     | N         | 136237 135310 | 1142 142 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1068 143     | N         | 136236 135311 | 1141 143 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1071 144     | N         | 136239 135312 | 1144 144 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1070 145     | N         | 136238 135313 | 1143 145 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1073 146     | N         | 136241 135314 | 1146 146 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1072 147     | N         | 136240 135315 | 1145 147 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1075 148     | N         | 136243 135316 | 1148 148 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1074 149     | N         | 136242 135317 | 1147 149 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1077 150     | N         | 136245 135318 | 1150 150 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1076 151     | N         | 136244 135319 | 1149 151 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1079 152     | N         | 136247 135320 | 1152 152 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1078 153     | N         | 136246 135321 | 1151 153 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1081 154     | N         | 136249 135322 | 1154 154 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1080 155     | N         | 136248 135323 | 1153 155 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1083 156     | N         | 136251 135324 | 1156 156 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1082 157     | N         | 136250 135325 | 1155 157 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 1          | 1085 158     | N         | 136253 135326 | 1158 158 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 3 65      | Y         | 8195 8257   | 140 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 34 66      | Y         | 8226 8258   | 171 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 35 67      | Y         | 8227 8259   | 172 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 32 68      | Y         | 8224 8260   | 169 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 33 69      | Y         | 8225 8261   | 170 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 38 70      | Y         | 8230 8262   | 175 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 39 71      | Y         | 8231 8263   | 176 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 36 72      | Y         | 8228 8264   | 173 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 37 73      | Y         | 8229 8265   | 174 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1066 202     | N         | 140330 139466 | 1203 202 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1067 203     | N         | 140331 139467 | 1204 203 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1064 204     | N         | 140328 139468 | 1201 204 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1065 205     | N         | 140329 139469 | 1202 205 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1070 206     | N         | 140334 139470 | 1207 206 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1071 207     | N         | 140335 139471 | 1208 207 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1068 208     | N         | 140332 139472 | 1205 208 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1069 209     | N         | 140333 139473 | 1206 209 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1074 210     | N         | 140338 139474 | 1211 210 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1075 211     | N         | 140339 139475 | 1212 211 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1072 212     | N         | 140336 139476 | 1209 212 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1073 213     | N         | 140337 139477 | 1210 213 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1078 214     | N         | 140342 139478 | 1215 214 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1079 215     | N         | 140343 139479 | 1216 215 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1076 216     | N         | 140340 139480 | 1213 216 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1077 217     | N         | 140341 139481 | 1214 217 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1082 218     | N         | 140346 139482 | 1219 218 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1083 219     | N         | 140347 139483 | 1220 219 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1080 220     | N         | 140344 139484 | 1217 220 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1081 221     | N         | 140345 139485 | 1218 221 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 2          | 1086 222     | N         | 140350 139486 | 1223 222 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 2 129     | Y         | 12290 12417  | 203 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 35 130     | Y         | 12323 12418  | 236 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 34 131     | Y         | 12322 12419  | 235 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 33 132     | Y         | 12321 12420  | 234 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 32 133     | Y         | 12320 12421  | 233 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 39 134     | Y         | 12327 12422  | 240 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 38 135     | Y         | 12326 12423  | 239 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 37 136     | Y         | 12325 12424  | 238 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 36 137     | Y         | 12324 12425  | 237 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1067 10      | N         | 144427 143370 | 1268 10  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1066 11      | N         | 144426 143371 | 1267 11  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1065 12      | N         | 144425 143372 | 1266 12  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1064 13      | N         | 144424 143373 | 1265 13  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1071 14      | N         | 144431 143374 | 1272 14  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1070 15      | N         | 144430 143375 | 1271 15  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1069 16      | N         | 144429 143376 | 1270 16  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1068 17      | N         | 144428 143377 | 1269 17  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1075 18      | N         | 144435 143378 | 1276 18  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1074 19      | N         | 144434 143379 | 1275 19  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1073 20      | N         | 144433 143380 | 1274 20  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1072 21      | N         | 144432 143381 | 1273 21  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1079 22      | N         | 144439 143382 | 1280 22  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1078 23      | N         | 144438 143383 | 1279 23  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1077 24      | N         | 144437 143384 | 1278 24  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1076 25      | N         | 144436 143385 | 1277 25  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1083 26      | N         | 144443 143386 | 1284 26  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1082 27      | N         | 144442 143387 | 1283 27  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1081 28      | N         | 144441 143388 | 1282 28  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1080 29      | N         | 144440 143389 | 1281 29  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 3          | 1087 30      | N         | 144447 143390 | 1288 30  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 5 193     | Y         | 16389 16577  | 270 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 36 194     | Y         | 16420 16578  | 301 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 37 195     | Y         | 16421 16579  | 302 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 38 196     | Y         | 16422 16580  | 303 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 39 197     | Y         | 16423 16581  | 304 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 32 198     | Y         | 16416 16582  | 297 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 33 199     | Y         | 16417 16583  | 298 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 34 200     | Y         | 16418 16584  | 299 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 35 201     | Y         | 16419 16585  | 300 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1068 74      | N         | 148524 147530 | 1333 74  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1069 75      | N         | 148525 147531 | 1334 75  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1070 76      | N         | 148526 147532 | 1335 76  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1071 77      | N         | 148527 147533 | 1336 77  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1064 78      | N         | 148520 147534 | 1329 78  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1065 79      | N         | 148521 147535 | 1330 79  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1066 80      | N         | 148522 147536 | 1331 80  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1067 81      | N         | 148523 147537 | 1332 81  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1076 82      | N         | 148532 147538 | 1341 82  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1077 83      | N         | 148533 147539 | 1342 83  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1078 84      | N         | 148534 147540 | 1343 84  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1079 85      | N         | 148535 147541 | 1344 85  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1072 86      | N         | 148528 147542 | 1337 86  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1073 87      | N         | 148529 147543 | 1338 87  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1074 88      | N         | 148530 147544 | 1339 88  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1075 89      | N         | 148531 147545 | 1340 89  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1084 90      | N         | 148540 147546 | 1349 90  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1085 91      | N         | 148541 147547 | 1350 91  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1086 92      | N         | 148542 147548 | 1351 92  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1087 93      | N         | 148543 147549 | 1352 93  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 4          | 1080 94      | N         | 148536 147550 | 1345 94  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 4 257     | Y         | 20484 20737  | 333 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 37 258     | Y         | 20517 20738  | 366 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 36 259     | Y         | 20516 20739  | 365 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 39 260     | Y         | 20519 20740  | 368 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 38 261     | Y         | 20518 20741  | 367 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 33 262     | Y         | 20513 20742  | 362 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 32 263     | Y         | 20512 20743  | 361 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 35 264     | Y         | 20515 20744  | 364 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 34 265     | Y         | 20514 20745  | 363 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1069 394     | N         | 152621 151946 | 1398 394 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1068 395     | N         | 152620 151947 | 1397 395 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1071 396     | N         | 152623 151948 | 1400 396 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1070 397     | N         | 152622 151949 | 1399 397 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1065 398     | N         | 152617 151950 | 1394 398 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1064 399     | N         | 152616 151951 | 1393 399 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1067 400     | N         | 152619 151952 | 1396 400 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1066 401     | N         | 152618 151953 | 1395 401 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1077 402     | N         | 152629 151954 | 1406 402 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1076 403     | N         | 152628 151955 | 1405 403 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1079 404     | N         | 152631 151956 | 1408 404 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1078 405     | N         | 152630 151957 | 1407 405 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1073 406     | N         | 152625 151958 | 1402 406 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1072 407     | N         | 152624 151959 | 1401 407 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1075 408     | N         | 152627 151960 | 1404 408 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1074 409     | N         | 152626 151961 | 1403 409 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1085 410     | N         | 152637 151962 | 1414 410 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1084 411     | N         | 152636 151963 | 1413 411 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1087 412     | N         | 152639 151964 | 1416 412 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1086 413     | N         | 152638 151965 | 1415 413 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 5          | 1081 414     | N         | 152633 151966 | 1410 414 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 7 321     | Y         | 24583 24897  | 400 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 38 322     | Y         | 24614 24898  | 431 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 39 323     | Y         | 24615 24899  | 432 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 36 324     | Y         | 24612 24900  | 429 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 37 325     | Y         | 24613 24901  | 430 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 34 326     | Y         | 24610 24902  | 427 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 35 327     | Y         | 24611 24903  | 428 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 32 328     | Y         | 24608 24904  | 425 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 33 329     | Y         | 24609 24905  | 426 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1070 458     | N         | 156718 156106 | 1463 458 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1071 459     | N         | 156719 156107 | 1464 459 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1068 460     | N         | 156716 156108 | 1461 460 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1069 461     | N         | 156717 156109 | 1462 461 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1066 462     | N         | 156714 156110 | 1459 462 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1067 463     | N         | 156715 156111 | 1460 463 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1064 464     | N         | 156712 156112 | 1457 464 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1065 465     | N         | 156713 156113 | 1458 465 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1078 466     | N         | 156726 156114 | 1471 466 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1079 467     | N         | 156727 156115 | 1472 467 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1076 468     | N         | 156724 156116 | 1469 468 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1077 469     | N         | 156725 156117 | 1470 469 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1074 470     | N         | 156722 156118 | 1467 470 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1075 471     | N         | 156723 156119 | 1468 471 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1072 472     | N         | 156720 156120 | 1465 472 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1073 473     | N         | 156721 156121 | 1466 473 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1086 474     | N         | 156734 156122 | 1479 474 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1087 475     | N         | 156735 156123 | 1480 475 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1084 476     | N         | 156732 156124 | 1477 476 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1085 477     | N         | 156733 156125 | 1478 477 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 2         | 6          | 1082 478     | N         | 156730 156126 | 1475 478 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1       | Y         | 4097   | 78 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 33 2       | Y         | 4129 4098   | 110 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 32 3       | Y         | 4128 4099   | 109 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 35 4       | Y         | 4131 4100   | 112 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 34 5       | Y         | 4130 4101   | 111 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 37 6       | Y         | 4133 4102   | 114 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 36 7       | Y         | 4132 4103   | 113 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 39 8       | Y         | 4135 4104   | 116 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 38 9       | Y         | 4134 4105   | 115 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1577 202     | N         | 202281 200906 | 1654 202 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1576 203     | N         | 202280 200907 | 1653 203 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1579 204     | N         | 202283 200908 | 1656 204 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1578 205     | N         | 202282 200909 | 1655 205 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1581 206     | N         | 202285 200910 | 1658 206 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1580 207     | N         | 202284 200911 | 1657 207 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1583 208     | N         | 202287 200912 | 1660 208 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1582 209     | N         | 202286 200913 | 1659 209 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1585 210     | N         | 202289 200914 | 1662 210 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1584 211     | N         | 202288 200915 | 1661 211 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1587 212     | N         | 202291 200916 | 1664 212 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1586 213     | N         | 202290 200917 | 1663 213 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1589 214     | N         | 202293 200918 | 1666 214 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1588 215     | N         | 202292 200919 | 1665 215 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1591 216     | N         | 202295 200920 | 1668 216 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1590 217     | N         | 202294 200921 | 1667 217 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1593 218     | N         | 202297 200922 | 1670 218 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1592 219     | N         | 202296 200923 | 1669 219 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1595 220     | N         | 202299 200924 | 1672 220 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1594 221     | N         | 202298 200925 | 1671 221 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 1          | 1597 222     | N         | 202301 200926 | 1674 222 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 3 65      | Y         | 8195 8257   | 144 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 34 66      | Y         | 8226 8258   | 175 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 35 67      | Y         | 8227 8259   | 176 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 32 68      | Y         | 8224 8260   | 173 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 33 69      | Y         | 8225 8261   | 174 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 38 70      | Y         | 8230 8262   | 179 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 39 71      | Y         | 8231 8263   | 180 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 36 72      | Y         | 8228 8264   | 177 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 37 73      | Y         | 8229 8265   | 178 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1578 138     | N         | 206378 204938 | 1719 138 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1579 139     | N         | 206379 204939 | 1720 139 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1576 140     | N         | 206376 204940 | 1717 140 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1577 141     | N         | 206377 204941 | 1718 141 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1582 142     | N         | 206382 204942 | 1723 142 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1583 143     | N         | 206383 204943 | 1724 143 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1580 144     | N         | 206380 204944 | 1721 144 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1581 145     | N         | 206381 204945 | 1722 145 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1586 146     | N         | 206386 204946 | 1727 146 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1587 147     | N         | 206387 204947 | 1728 147 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1584 148     | N         | 206384 204948 | 1725 148 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1585 149     | N         | 206385 204949 | 1726 149 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1590 150     | N         | 206390 204950 | 1731 150 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1591 151     | N         | 206391 204951 | 1732 151 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1588 152     | N         | 206388 204952 | 1729 152 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1589 153     | N         | 206389 204953 | 1730 153 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1594 154     | N         | 206394 204954 | 1735 154 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1595 155     | N         | 206395 204955 | 1736 155 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1592 156     | N         | 206392 204956 | 1733 156 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1593 157     | N         | 206393 204957 | 1734 157 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 2          | 1598 158     | N         | 206398 204958 | 1739 158 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 2 129     | Y         | 12290 12417  | 207 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 35 130     | Y         | 12323 12418  | 240 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 34 131     | Y         | 12322 12419  | 239 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 33 132     | Y         | 12321 12420  | 238 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 32 133     | Y         | 12320 12421  | 237 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 39 134     | Y         | 12327 12422  | 244 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 38 135     | Y         | 12326 12423  | 243 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 37 136     | Y         | 12325 12424  | 242 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 36 137     | Y         | 12324 12425  | 241 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1579 74      | N         | 210475 208970 | 1784 74  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1578 75      | N         | 210474 208971 | 1783 75  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1577 76      | N         | 210473 208972 | 1782 76  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1576 77      | N         | 210472 208973 | 1781 77  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1583 78      | N         | 210479 208974 | 1788 78  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1582 79      | N         | 210478 208975 | 1787 79  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1581 80      | N         | 210477 208976 | 1786 80  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1580 81      | N         | 210476 208977 | 1785 81  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1587 82      | N         | 210483 208978 | 1792 82  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1586 83      | N         | 210482 208979 | 1791 83  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1585 84      | N         | 210481 208980 | 1790 84  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1584 85      | N         | 210480 208981 | 1789 85  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1591 86      | N         | 210487 208982 | 1796 86  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1590 87      | N         | 210486 208983 | 1795 87  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1589 88      | N         | 210485 208984 | 1794 88  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1588 89      | N         | 210484 208985 | 1793 89  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1595 90      | N         | 210491 208986 | 1800 90  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1594 91      | N         | 210490 208987 | 1799 91  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1593 92      | N         | 210489 208988 | 1798 92  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1592 93      | N         | 210488 208989 | 1797 93  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 3          | 1599 94      | N         | 210495 208990 | 1804 94  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 5 193     | Y         | 16389 16577  | 274 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 36 194     | Y         | 16420 16578  | 305 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 37 195     | Y         | 16421 16579  | 306 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 38 196     | Y         | 16422 16580  | 307 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 39 197     | Y         | 16423 16581  | 308 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 32 198     | Y         | 16416 16582  | 301 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 33 199     | Y         | 16417 16583  | 302 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 34 200     | Y         | 16418 16584  | 303 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 35 201     | Y         | 16419 16585  | 304 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1580 10      | N         | 214572 213002 | 1849 10  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1581 11      | N         | 214573 213003 | 1850 11  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1582 12      | N         | 214574 213004 | 1851 12  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1583 13      | N         | 214575 213005 | 1852 13  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1576 14      | N         | 214568 213006 | 1845 14  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1577 15      | N         | 214569 213007 | 1846 15  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1578 16      | N         | 214570 213008 | 1847 16  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1579 17      | N         | 214571 213009 | 1848 17  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1588 18      | N         | 214580 213010 | 1857 18  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1589 19      | N         | 214581 213011 | 1858 19  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1590 20      | N         | 214582 213012 | 1859 20  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1591 21      | N         | 214583 213013 | 1860 21  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1584 22      | N         | 214576 213014 | 1853 22  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1585 23      | N         | 214577 213015 | 1854 23  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1586 24      | N         | 214578 213016 | 1855 24  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1587 25      | N         | 214579 213017 | 1856 25  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1596 26      | N         | 214588 213018 | 1865 26  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1597 27      | N         | 214589 213019 | 1866 27  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1598 28      | N         | 214590 213020 | 1867 28  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1599 29      | N         | 214591 213021 | 1868 29  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 4          | 1592 30      | N         | 214584 213022 | 1861 30  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 4 257     | Y         | 20484 20737  | 337 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 37 258     | Y         | 20517 20738  | 370 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 36 259     | Y         | 20516 20739  | 369 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 39 260     | Y         | 20519 20740  | 372 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 38 261     | Y         | 20518 20741  | 371 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 33 262     | Y         | 20513 20742  | 366 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 32 263     | Y         | 20512 20743  | 365 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 35 264     | Y         | 20515 20744  | 368 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 34 265     | Y         | 20514 20745  | 367 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1581 458     | N         | 218669 217546 | 1914 458 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1580 459     | N         | 218668 217547 | 1913 459 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1583 460     | N         | 218671 217548 | 1916 460 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1582 461     | N         | 218670 217549 | 1915 461 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1577 462     | N         | 218665 217550 | 1910 462 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1576 463     | N         | 218664 217551 | 1909 463 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1579 464     | N         | 218667 217552 | 1912 464 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1578 465     | N         | 218666 217553 | 1911 465 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1589 466     | N         | 218677 217554 | 1922 466 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1588 467     | N         | 218676 217555 | 1921 467 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1591 468     | N         | 218679 217556 | 1924 468 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1590 469     | N         | 218678 217557 | 1923 469 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1585 470     | N         | 218673 217558 | 1918 470 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1584 471     | N         | 218672 217559 | 1917 471 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1587 472     | N         | 218675 217560 | 1920 472 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1586 473     | N         | 218674 217561 | 1919 473 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1597 474     | N         | 218685 217562 | 1930 474 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1596 475     | N         | 218684 217563 | 1929 475 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1599 476     | N         | 218687 217564 | 1932 476 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1598 477     | N         | 218686 217565 | 1931 477 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 5          | 1593 478     | N         | 218681 217566 | 1926 478 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 7 321     | Y         | 24583 24897  | 404 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 38 322     | Y         | 24614 24898  | 435 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 39 323     | Y         | 24615 24899  | 436 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 36 324     | Y         | 24612 24900  | 433 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 37 325     | Y         | 24613 24901  | 434 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 34 326     | Y         | 24610 24902  | 431 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 35 327     | Y         | 24611 24903  | 432 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 32 328     | Y         | 24608 24904  | 429 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 33 329     | Y         | 24609 24905  | 430 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1582 394     | N         | 222766 221578 | 1979 394 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1583 395     | N         | 222767 221579 | 1980 395 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1580 396     | N         | 222764 221580 | 1977 396 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1581 397     | N         | 222765 221581 | 1978 397 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1578 398     | N         | 222762 221582 | 1975 398 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1579 399     | N         | 222763 221583 | 1976 399 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1576 400     | N         | 222760 221584 | 1973 400 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1577 401     | N         | 222761 221585 | 1974 401 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1590 402     | N         | 222774 221586 | 1987 402 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1591 403     | N         | 222775 221587 | 1988 403 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1588 404     | N         | 222772 221588 | 1985 404 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1589 405     | N         | 222773 221589 | 1986 405 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1586 406     | N         | 222770 221590 | 1983 406 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1587 407     | N         | 222771 221591 | 1984 407 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1584 408     | N         | 222768 221592 | 1981 408 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1585 409     | N         | 222769 221593 | 1982 409 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1598 410     | N         | 222782 221594 | 1995 410 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1599 411     | N         | 222783 221595 | 1996 411 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1596 412     | N         | 222780 221596 | 1993 412 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1597 413     | N         | 222781 221597 | 1994 413 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 3         | 6          | 1594 414     | N         | 222778 221598 | 1991 414 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 1       | Y         | 4097   | 82 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 33 2       | Y         | 4129 4098   | 114 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 32 3       | Y         | 4128 4099   | 113 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 35 4       | Y         | 4131 4100   | 116 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 34 5       | Y         | 4130 4101   | 115 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 37 6       | Y         | 4133 4102   | 118 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 36 7       | Y         | 4132 4103   | 117 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 39 8       | Y         | 4135 4104   | 120 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 38 9       | Y         | 4134 4105   | 119 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2089 266     | N         | 268329 266506 | 2170 266 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2088 267     | N         | 268328 266507 | 2169 267 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2091 268     | N         | 268331 266508 | 2172 268 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2090 269     | N         | 268330 266509 | 2171 269 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2093 270     | N         | 268333 266510 | 2174 270 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2092 271     | N         | 268332 266511 | 2173 271 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2095 272     | N         | 268335 266512 | 2176 272 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2094 273     | N         | 268334 266513 | 2175 273 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2097 274     | N         | 268337 266514 | 2178 274 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2096 275     | N         | 268336 266515 | 2177 275 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2099 276     | N         | 268339 266516 | 2180 276 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2098 277     | N         | 268338 266517 | 2179 277 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2101 278     | N         | 268341 266518 | 2182 278 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2100 279     | N         | 268340 266519 | 2181 279 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2103 280     | N         | 268343 266520 | 2184 280 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2102 281     | N         | 268342 266521 | 2183 281 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2105 282     | N         | 268345 266522 | 2186 282 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2104 283     | N         | 268344 266523 | 2185 283 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2107 284     | N         | 268347 266524 | 2188 284 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2106 285     | N         | 268346 266525 | 2187 285 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 1          | 2109 286     | N         | 268349 266526 | 2190 286 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 3 65      | Y         | 8195 8257   | 148 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 34 66      | Y         | 8226 8258   | 179 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 35 67      | Y         | 8227 8259   | 180 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 32 68      | Y         | 8224 8260   | 177 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 33 69      | Y         | 8225 8261   | 178 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 38 70      | Y         | 8230 8262   | 183 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 39 71      | Y         | 8231 8263   | 184 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 36 72      | Y         | 8228 8264   | 181 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 37 73      | Y         | 8229 8265   | 182 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2090 330     | N         | 272426 270666 | 2235 330 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2091 331     | N         | 272427 270667 | 2236 331 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2088 332     | N         | 272424 270668 | 2233 332 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2089 333     | N         | 272425 270669 | 2234 333 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2094 334     | N         | 272430 270670 | 2239 334 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2095 335     | N         | 272431 270671 | 2240 335 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2092 336     | N         | 272428 270672 | 2237 336 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2093 337     | N         | 272429 270673 | 2238 337 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2098 338     | N         | 272434 270674 | 2243 338 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2099 339     | N         | 272435 270675 | 2244 339 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2096 340     | N         | 272432 270676 | 2241 340 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2097 341     | N         | 272433 270677 | 2242 341 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2102 342     | N         | 272438 270678 | 2247 342 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2103 343     | N         | 272439 270679 | 2248 343 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2100 344     | N         | 272436 270680 | 2245 344 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2101 345     | N         | 272437 270681 | 2246 345 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2106 346     | N         | 272442 270682 | 2251 346 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2107 347     | N         | 272443 270683 | 2252 347 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2104 348     | N         | 272440 270684 | 2249 348 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2105 349     | N         | 272441 270685 | 2250 349 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 2          | 2110 350     | N         | 272446 270686 | 2255 350 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2 129     | Y         | 12290 12417  | 211 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 35 130     | Y         | 12323 12418  | 244 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 34 131     | Y         | 12322 12419  | 243 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 33 132     | Y         | 12321 12420  | 242 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 32 133     | Y         | 12320 12421  | 241 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 39 134     | Y         | 12327 12422  | 248 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 38 135     | Y         | 12326 12423  | 247 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 37 136     | Y         | 12325 12424  | 246 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 36 137     | Y         | 12324 12425  | 245 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2091 394     | N         | 276523 274826 | 2300 394 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2090 395     | N         | 276522 274827 | 2299 395 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2089 396     | N         | 276521 274828 | 2298 396 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2088 397     | N         | 276520 274829 | 2297 397 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2095 398     | N         | 276527 274830 | 2304 398 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2094 399     | N         | 276526 274831 | 2303 399 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2093 400     | N         | 276525 274832 | 2302 400 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2092 401     | N         | 276524 274833 | 2301 401 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2099 402     | N         | 276531 274834 | 2308 402 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2098 403     | N         | 276530 274835 | 2307 403 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2097 404     | N         | 276529 274836 | 2306 404 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2096 405     | N         | 276528 274837 | 2305 405 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2103 406     | N         | 276535 274838 | 2312 406 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2102 407     | N         | 276534 274839 | 2311 407 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2101 408     | N         | 276533 274840 | 2310 408 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2100 409     | N         | 276532 274841 | 2309 409 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2107 410     | N         | 276539 274842 | 2316 410 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2106 411     | N         | 276538 274843 | 2315 411 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2105 412     | N         | 276537 274844 | 2314 412 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2104 413     | N         | 276536 274845 | 2313 413 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 3          | 2111 414     | N         | 276543 274846 | 2320 414 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 5 193     | Y         | 16389 16577  | 278 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 36 194     | Y         | 16420 16578  | 309 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 37 195     | Y         | 16421 16579  | 310 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 38 196     | Y         | 16422 16580  | 311 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 39 197     | Y         | 16423 16581  | 312 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 32 198     | Y         | 16416 16582  | 305 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 33 199     | Y         | 16417 16583  | 306 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 34 200     | Y         | 16418 16584  | 307 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 35 201     | Y         | 16419 16585  | 308 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2092 458     | N         | 280620 278986 | 2365 458 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2093 459     | N         | 280621 278987 | 2366 459 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2094 460     | N         | 280622 278988 | 2367 460 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2095 461     | N         | 280623 278989 | 2368 461 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2088 462     | N         | 280616 278990 | 2361 462 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2089 463     | N         | 280617 278991 | 2362 463 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2090 464     | N         | 280618 278992 | 2363 464 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2091 465     | N         | 280619 278993 | 2364 465 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2100 466     | N         | 280628 278994 | 2373 466 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2101 467     | N         | 280629 278995 | 2374 467 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2102 468     | N         | 280630 278996 | 2375 468 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2103 469     | N         | 280631 278997 | 2376 469 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2096 470     | N         | 280624 278998 | 2369 470 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2097 471     | N         | 280625 278999 | 2370 471 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2098 472     | N         | 280626 279000 | 2371 472 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2099 473     | N         | 280627 279001 | 2372 473 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2108 474     | N         | 280636 279002 | 2381 474 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2109 475     | N         | 280637 279003 | 2382 475 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2110 476     | N         | 280638 279004 | 2383 476 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2111 477     | N         | 280639 279005 | 2384 477 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 4          | 2104 478     | N         | 280632 279006 | 2377 478 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 4 257     | Y         | 20484 20737  | 341 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 37 258     | Y         | 20517 20738  | 374 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 36 259     | Y         | 20516 20739  | 373 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 39 260     | Y         | 20519 20740  | 376 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 38 261     | Y         | 20518 20741  | 375 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 33 262     | Y         | 20513 20742  | 370 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 32 263     | Y         | 20512 20743  | 369 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 35 264     | Y         | 20515 20744  | 372 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 34 265     | Y         | 20514 20745  | 371 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2093 10      | N         | 284717 282634 | 2430 10  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2092 11      | N         | 284716 282635 | 2429 11  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2095 12      | N         | 284719 282636 | 2432 12  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2094 13      | N         | 284718 282637 | 2431 13  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2089 14      | N         | 284713 282638 | 2426 14  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2088 15      | N         | 284712 282639 | 2425 15  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2091 16      | N         | 284715 282640 | 2428 16  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2090 17      | N         | 284714 282641 | 2427 17  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2101 18      | N         | 284725 282642 | 2438 18  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2100 19      | N         | 284724 282643 | 2437 19  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2103 20      | N         | 284727 282644 | 2440 20  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2102 21      | N         | 284726 282645 | 2439 21  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2097 22      | N         | 284721 282646 | 2434 22  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2096 23      | N         | 284720 282647 | 2433 23  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2099 24      | N         | 284723 282648 | 2436 24  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2098 25      | N         | 284722 282649 | 2435 25  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2109 26      | N         | 284733 282650 | 2446 26  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2108 27      | N         | 284732 282651 | 2445 27  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2111 28      | N         | 284735 282652 | 2448 28  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2110 29      | N         | 284734 282653 | 2447 29  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 5          | 2105 30      | N         | 284729 282654 | 2442 30  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 7 321     | Y         | 24583 24897  | 408 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 38 322     | Y         | 24614 24898  | 439 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 39 323     | Y         | 24615 24899  | 440 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 36 324     | Y         | 24612 24900  | 437 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 37 325     | Y         | 24613 24901  | 438 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 34 326     | Y         | 24610 24902  | 435 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 35 327     | Y         | 24611 24903  | 436 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 32 328     | Y         | 24608 24904  | 433 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 33 329     | Y         | 24609 24905  | 434 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2094 74      | N         | 288814 286794 | 2495 74  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2095 75      | N         | 288815 286795 | 2496 75  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2092 76      | N         | 288812 286796 | 2493 76  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2093 77      | N         | 288813 286797 | 2494 77  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2090 78      | N         | 288810 286798 | 2491 78  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2091 79      | N         | 288811 286799 | 2492 79  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2088 80      | N         | 288808 286800 | 2489 80  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2089 81      | N         | 288809 286801 | 2490 81  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2102 82      | N         | 288822 286802 | 2503 82  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2103 83      | N         | 288823 286803 | 2504 83  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2100 84      | N         | 288820 286804 | 2501 84  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2101 85      | N         | 288821 286805 | 2502 85  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2098 86      | N         | 288818 286806 | 2499 86  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2099 87      | N         | 288819 286807 | 2500 87  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2096 88      | N         | 288816 286808 | 2497 88  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2097 89      | N         | 288817 286809 | 2498 89  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2110 90      | N         | 288830 286810 | 2511 90  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2111 91      | N         | 288831 286811 | 2512 91  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2108 92      | N         | 288828 286812 | 2509 92  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2109 93      | N         | 288829 286813 | 2510 93  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 4         | 6          | 2106 94      | N         | 288826 286814 | 2507 94  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 1       | Y         | 4097   | 86 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 33 2       | Y         | 4129 4098   | 118 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 32 3       | Y         | 4128 4099   | 117 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 35 4       | Y         | 4131 4100   | 120 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 34 5       | Y         | 4130 4101   | 119 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 37 6       | Y         | 4133 4102   | 122 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 36 7       | Y         | 4132 4103   | 121 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 39 8       | Y         | 4135 4104   | 124 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 38 9       | Y         | 4134 4105   | 123 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2601 330     | N         | 334377 332106 | 2686 330 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2600 331     | N         | 334376 332107 | 2685 331 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2603 332     | N         | 334379 332108 | 2688 332 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2602 333     | N         | 334378 332109 | 2687 333 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2605 334     | N         | 334381 332110 | 2690 334 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2604 335     | N         | 334380 332111 | 2689 335 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2607 336     | N         | 334383 332112 | 2692 336 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2606 337     | N         | 334382 332113 | 2691 337 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2609 338     | N         | 334385 332114 | 2694 338 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2608 339     | N         | 334384 332115 | 2693 339 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2611 340     | N         | 334387 332116 | 2696 340 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2610 341     | N         | 334386 332117 | 2695 341 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2613 342     | N         | 334389 332118 | 2698 342 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2612 343     | N         | 334388 332119 | 2697 343 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2615 344     | N         | 334391 332120 | 2700 344 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2614 345     | N         | 334390 332121 | 2699 345 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2617 346     | N         | 334393 332122 | 2702 346 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2616 347     | N         | 334392 332123 | 2701 347 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2619 348     | N         | 334395 332124 | 2704 348 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2618 349     | N         | 334394 332125 | 2703 349 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 1          | 2621 350     | N         | 334397 332126 | 2706 350 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 3 65      | Y         | 8195 8257   | 152 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 34 66      | Y         | 8226 8258   | 183 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 35 67      | Y         | 8227 8259   | 184 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 32 68      | Y         | 8224 8260   | 181 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 33 69      | Y         | 8225 8261   | 182 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 38 70      | Y         | 8230 8262   | 187 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 39 71      | Y         | 8231 8263   | 188 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 36 72      | Y         | 8228 8264   | 185 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 37 73      | Y         | 8229 8265   | 186 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2602 266     | N         | 338474 336138 | 2751 266 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2603 267     | N         | 338475 336139 | 2752 267 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2600 268     | N         | 338472 336140 | 2749 268 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2601 269     | N         | 338473 336141 | 2750 269 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2606 270     | N         | 338478 336142 | 2755 270 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2607 271     | N         | 338479 336143 | 2756 271 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2604 272     | N         | 338476 336144 | 2753 272 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2605 273     | N         | 338477 336145 | 2754 273 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2610 274     | N         | 338482 336146 | 2759 274 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2611 275     | N         | 338483 336147 | 2760 275 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2608 276     | N         | 338480 336148 | 2757 276 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2609 277     | N         | 338481 336149 | 2758 277 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2614 278     | N         | 338486 336150 | 2763 278 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2615 279     | N         | 338487 336151 | 2764 279 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2612 280     | N         | 338484 336152 | 2761 280 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2613 281     | N         | 338485 336153 | 2762 281 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2618 282     | N         | 338490 336154 | 2767 282 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2619 283     | N         | 338491 336155 | 2768 283 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2616 284     | N         | 338488 336156 | 2765 284 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2617 285     | N         | 338489 336157 | 2766 285 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 2          | 2622 286     | N         | 338494 336158 | 2771 286 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2 129     | Y         | 12290 12417  | 215 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 35 130     | Y         | 12323 12418  | 248 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 34 131     | Y         | 12322 12419  | 247 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 33 132     | Y         | 12321 12420  | 246 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 32 133     | Y         | 12320 12421  | 245 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 39 134     | Y         | 12327 12422  | 252 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 38 135     | Y         | 12326 12423  | 251 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 37 136     | Y         | 12325 12424  | 250 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 36 137     | Y         | 12324 12425  | 249 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2603 458     | N         | 342571 340426 | 2816 458 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2602 459     | N         | 342570 340427 | 2815 459 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2601 460     | N         | 342569 340428 | 2814 460 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2600 461     | N         | 342568 340429 | 2813 461 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2607 462     | N         | 342575 340430 | 2820 462 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2606 463     | N         | 342574 340431 | 2819 463 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2605 464     | N         | 342573 340432 | 2818 464 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2604 465     | N         | 342572 340433 | 2817 465 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2611 466     | N         | 342579 340434 | 2824 466 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2610 467     | N         | 342578 340435 | 2823 467 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2609 468     | N         | 342577 340436 | 2822 468 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2608 469     | N         | 342576 340437 | 2821 469 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2615 470     | N         | 342583 340438 | 2828 470 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2614 471     | N         | 342582 340439 | 2827 471 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2613 472     | N         | 342581 340440 | 2826 472 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2612 473     | N         | 342580 340441 | 2825 473 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2619 474     | N         | 342587 340442 | 2832 474 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2618 475     | N         | 342586 340443 | 2831 475 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2617 476     | N         | 342585 340444 | 2830 476 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2616 477     | N         | 342584 340445 | 2829 477 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 3          | 2623 478     | N         | 342591 340446 | 2836 478 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 5 193     | Y         | 16389 16577  | 282 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 36 194     | Y         | 16420 16578  | 313 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 37 195     | Y         | 16421 16579  | 314 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 38 196     | Y         | 16422 16580  | 315 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 39 197     | Y         | 16423 16581  | 316 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 32 198     | Y         | 16416 16582  | 309 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 33 199     | Y         | 16417 16583  | 310 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 34 200     | Y         | 16418 16584  | 311 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 35 201     | Y         | 16419 16585  | 312 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2604 394     | N         | 346668 344458 | 2881 394 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2605 395     | N         | 346669 344459 | 2882 395 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2606 396     | N         | 346670 344460 | 2883 396 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2607 397     | N         | 346671 344461 | 2884 397 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2600 398     | N         | 346664 344462 | 2877 398 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2601 399     | N         | 346665 344463 | 2878 399 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2602 400     | N         | 346666 344464 | 2879 400 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2603 401     | N         | 346667 344465 | 2880 401 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2612 402     | N         | 346676 344466 | 2889 402 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2613 403     | N         | 346677 344467 | 2890 403 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2614 404     | N         | 346678 344468 | 2891 404 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2615 405     | N         | 346679 344469 | 2892 405 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2608 406     | N         | 346672 344470 | 2885 406 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2609 407     | N         | 346673 344471 | 2886 407 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2610 408     | N         | 346674 344472 | 2887 408 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2611 409     | N         | 346675 344473 | 2888 409 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2620 410     | N         | 346684 344474 | 2897 410 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2621 411     | N         | 346685 344475 | 2898 411 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2622 412     | N         | 346686 344476 | 2899 412 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2623 413     | N         | 346687 344477 | 2900 413 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 4          | 2616 414     | N         | 346680 344478 | 2893 414 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 4 257     | Y         | 20484 20737  | 345 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 37 258     | Y         | 20517 20738  | 378 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 36 259     | Y         | 20516 20739  | 377 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 39 260     | Y         | 20519 20740  | 380 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 38 261     | Y         | 20518 20741  | 379 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 33 262     | Y         | 20513 20742  | 374 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 32 263     | Y         | 20512 20743  | 373 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 35 264     | Y         | 20515 20744  | 376 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 34 265     | Y         | 20514 20745  | 375 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2605 74      | N         | 350765 348234 | 2946 74  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2604 75      | N         | 350764 348235 | 2945 75  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2607 76      | N         | 350767 348236 | 2948 76  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2606 77      | N         | 350766 348237 | 2947 77  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2601 78      | N         | 350761 348238 | 2942 78  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2600 79      | N         | 350760 348239 | 2941 79  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2603 80      | N         | 350763 348240 | 2944 80  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2602 81      | N         | 350762 348241 | 2943 81  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2613 82      | N         | 350773 348242 | 2954 82  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2612 83      | N         | 350772 348243 | 2953 83  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2615 84      | N         | 350775 348244 | 2956 84  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2614 85      | N         | 350774 348245 | 2955 85  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2609 86      | N         | 350769 348246 | 2950 86  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2608 87      | N         | 350768 348247 | 2949 87  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2611 88      | N         | 350771 348248 | 2952 88  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2610 89      | N         | 350770 348249 | 2951 89  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2621 90      | N         | 350781 348250 | 2962 90  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2620 91      | N         | 350780 348251 | 2961 91  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2623 92      | N         | 350783 348252 | 2964 92  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2622 93      | N         | 350782 348253 | 2963 93  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 5          | 2617 94      | N         | 350777 348254 | 2958 94  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 7 321     | Y         | 24583 24897  | 412 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 38 322     | Y         | 24614 24898  | 443 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 39 323     | Y         | 24615 24899  | 444 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 36 324     | Y         | 24612 24900  | 441 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 37 325     | Y         | 24613 24901  | 442 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 34 326     | Y         | 24610 24902  | 439 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 35 327     | Y         | 24611 24903  | 440 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 32 328     | Y         | 24608 24904  | 437 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 33 329     | Y         | 24609 24905  | 438 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2606 10      | N         | 354862 352266 | 3011 10  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2607 11      | N         | 354863 352267 | 3012 11  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2604 12      | N         | 354860 352268 | 3009 12  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2605 13      | N         | 354861 352269 | 3010 13  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2602 14      | N         | 354858 352270 | 3007 14  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2603 15      | N         | 354859 352271 | 3008 15  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2600 16      | N         | 354856 352272 | 3005 16  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2601 17      | N         | 354857 352273 | 3006 17  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2614 18      | N         | 354870 352274 | 3019 18  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2615 19      | N         | 354871 352275 | 3020 19  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2612 20      | N         | 354868 352276 | 3017 20  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2613 21      | N         | 354869 352277 | 3018 21  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2610 22      | N         | 354866 352278 | 3015 22  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2611 23      | N         | 354867 352279 | 3016 23  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2608 24      | N         | 354864 352280 | 3013 24  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2609 25      | N         | 354865 352281 | 3014 25  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2622 26      | N         | 354878 352282 | 3027 26  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2623 27      | N         | 354879 352283 | 3028 27  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2620 28      | N         | 354876 352284 | 3025 28  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2621 29      | N         | 354877 352285 | 3026 29  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 5         | 6          | 2618 30      | N         | 354874 352286 | 3023 30  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 1       | Y         | 4097   | 90 1   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 33 2       | Y         | 4129 4098   | 122 2   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 32 3       | Y         | 4128 4099   | 121 3   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 35 4       | Y         | 4131 4100   | 124 4   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 34 5       | Y         | 4130 4101   | 123 5   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 37 6       | Y         | 4133 4102   | 126 6   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 36 7       | Y         | 4132 4103   | 125 7   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 39 8       | Y         | 4135 4104   | 128 8   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 38 9       | Y         | 4134 4105   | 127 9   |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3113 394     | N         | 400425 397706 | 3202 394 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3112 395     | N         | 400424 397707 | 3201 395 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3115 396     | N         | 400427 397708 | 3204 396 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3114 397     | N         | 400426 397709 | 3203 397 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3117 398     | N         | 400429 397710 | 3206 398 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3116 399     | N         | 400428 397711 | 3205 399 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3119 400     | N         | 400431 397712 | 3208 400 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3118 401     | N         | 400430 397713 | 3207 401 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3121 402     | N         | 400433 397714 | 3210 402 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3120 403     | N         | 400432 397715 | 3209 403 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3123 404     | N         | 400435 397716 | 3212 404 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3122 405     | N         | 400434 397717 | 3211 405 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3125 406     | N         | 400437 397718 | 3214 406 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3124 407     | N         | 400436 397719 | 3213 407 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3127 408     | N         | 400439 397720 | 3216 408 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3126 409     | N         | 400438 397721 | 3215 409 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3129 410     | N         | 400441 397722 | 3218 410 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3128 411     | N         | 400440 397723 | 3217 411 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3131 412     | N         | 400443 397724 | 3220 412 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3130 413     | N         | 400442 397725 | 3219 413 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 1          | 3133 414     | N         | 400445 397726 | 3222 414 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3 65      | Y         | 8195 8257   | 156 65  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 34 66      | Y         | 8226 8258   | 187 66  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 35 67      | Y         | 8227 8259   | 188 67  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 32 68      | Y         | 8224 8260   | 185 68  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 33 69      | Y         | 8225 8261   | 186 69  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 38 70      | Y         | 8230 8262   | 191 70  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 39 71      | Y         | 8231 8263   | 192 71  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 36 72      | Y         | 8228 8264   | 189 72  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 37 73      | Y         | 8229 8265   | 190 73  |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3114 458     | N         | 404522 401866 | 3267 458 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3115 459     | N         | 404523 401867 | 3268 459 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3112 460     | N         | 404520 401868 | 3265 460 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3113 461     | N         | 404521 401869 | 3266 461 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3118 462     | N         | 404526 401870 | 3271 462 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3119 463     | N         | 404527 401871 | 3272 463 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3116 464     | N         | 404524 401872 | 3269 464 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3117 465     | N         | 404525 401873 | 3270 465 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3122 466     | N         | 404530 401874 | 3275 466 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3123 467     | N         | 404531 401875 | 3276 467 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3120 468     | N         | 404528 401876 | 3273 468 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3121 469     | N         | 404529 401877 | 3274 469 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3126 470     | N         | 404534 401878 | 3279 470 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3127 471     | N         | 404535 401879 | 3280 471 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3124 472     | N         | 404532 401880 | 3277 472 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3125 473     | N         | 404533 401881 | 3278 473 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3130 474     | N         | 404538 401882 | 3283 474 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3131 475     | N         | 404539 401883 | 3284 475 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3128 476     | N         | 404536 401884 | 3281 476 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3129 477     | N         | 404537 401885 | 3282 477 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 2          | 3134 478     | N         | 404542 401886 | 3287 478 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 2 129     | Y         | 12290 12417  | 219 129 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 35 130     | Y         | 12323 12418  | 252 130 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 34 131     | Y         | 12322 12419  | 251 131 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 33 132     | Y         | 12321 12420  | 250 132 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 32 133     | Y         | 12320 12421  | 249 133 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 39 134     | Y         | 12327 12422  | 256 134 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 38 135     | Y         | 12326 12423  | 255 135 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 37 136     | Y         | 12325 12424  | 254 136 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 36 137     | Y         | 12324 12425  | 253 137 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3115 266     | N         | 408619 405770 | 3332 266 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3114 267     | N         | 408618 405771 | 3331 267 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3113 268     | N         | 408617 405772 | 3330 268 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3112 269     | N         | 408616 405773 | 3329 269 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3119 270     | N         | 408623 405774 | 3336 270 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3118 271     | N         | 408622 405775 | 3335 271 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3117 272     | N         | 408621 405776 | 3334 272 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3116 273     | N         | 408620 405777 | 3333 273 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3123 274     | N         | 408627 405778 | 3340 274 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3122 275     | N         | 408626 405779 | 3339 275 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3121 276     | N         | 408625 405780 | 3338 276 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3120 277     | N         | 408624 405781 | 3337 277 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3127 278     | N         | 408631 405782 | 3344 278 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3126 279     | N         | 408630 405783 | 3343 279 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3125 280     | N         | 408629 405784 | 3342 280 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3124 281     | N         | 408628 405785 | 3341 281 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3131 282     | N         | 408635 405786 | 3348 282 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3130 283     | N         | 408634 405787 | 3347 283 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3129 284     | N         | 408633 405788 | 3346 284 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3128 285     | N         | 408632 405789 | 3345 285 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 3          | 3135 286     | N         | 408639 405790 | 3352 286 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 5 193     | Y         | 16389 16577  | 286 193 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 36 194     | Y         | 16420 16578  | 317 194 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 37 195     | Y         | 16421 16579  | 318 195 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 38 196     | Y         | 16422 16580  | 319 196 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 39 197     | Y         | 16423 16581  | 320 197 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 32 198     | Y         | 16416 16582  | 313 198 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 33 199     | Y         | 16417 16583  | 314 199 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 34 200     | Y         | 16418 16584  | 315 200 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 35 201     | Y         | 16419 16585  | 316 201 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3116 330     | N         | 412716 409930 | 3397 330 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3117 331     | N         | 412717 409931 | 3398 331 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3118 332     | N         | 412718 409932 | 3399 332 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3119 333     | N         | 412719 409933 | 3400 333 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3112 334     | N         | 412712 409934 | 3393 334 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3113 335     | N         | 412713 409935 | 3394 335 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3114 336     | N         | 412714 409936 | 3395 336 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3115 337     | N         | 412715 409937 | 3396 337 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3124 338     | N         | 412724 409938 | 3405 338 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3125 339     | N         | 412725 409939 | 3406 339 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3126 340     | N         | 412726 409940 | 3407 340 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3127 341     | N         | 412727 409941 | 3408 341 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3120 342     | N         | 412720 409942 | 3401 342 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3121 343     | N         | 412721 409943 | 3402 343 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3122 344     | N         | 412722 409944 | 3403 344 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3123 345     | N         | 412723 409945 | 3404 345 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3132 346     | N         | 412732 409946 | 3413 346 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3133 347     | N         | 412733 409947 | 3414 347 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3134 348     | N         | 412734 409948 | 3415 348 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3135 349     | N         | 412735 409949 | 3416 349 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 4          | 3128 350     | N         | 412728 409950 | 3409 350 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 4 257     | Y         | 20484 20737  | 349 257 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 37 258     | Y         | 20517 20738  | 382 258 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 36 259     | Y         | 20516 20739  | 381 259 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 39 260     | Y         | 20519 20740  | 384 260 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 38 261     | Y         | 20518 20741  | 383 261 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 33 262     | Y         | 20513 20742  | 378 262 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 32 263     | Y         | 20512 20743  | 377 263 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 35 264     | Y         | 20515 20744  | 380 264 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 34 265     | Y         | 20514 20745  | 379 265 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3117 138     | N         | 416813 413834 | 3462 138 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3116 139     | N         | 416812 413835 | 3461 139 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3119 140     | N         | 416815 413836 | 3464 140 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3118 141     | N         | 416814 413837 | 3463 141 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3113 142     | N         | 416809 413838 | 3458 142 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3112 143     | N         | 416808 413839 | 3457 143 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3115 144     | N         | 416811 413840 | 3460 144 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3114 145     | N         | 416810 413841 | 3459 145 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3125 146     | N         | 416821 413842 | 3470 146 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3124 147     | N         | 416820 413843 | 3469 147 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3127 148     | N         | 416823 413844 | 3472 148 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3126 149     | N         | 416822 413845 | 3471 149 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3121 150     | N         | 416817 413846 | 3466 150 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3120 151     | N         | 416816 413847 | 3465 151 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3123 152     | N         | 416819 413848 | 3468 152 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3122 153     | N         | 416818 413849 | 3467 153 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3133 154     | N         | 416829 413850 | 3478 154 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3132 155     | N         | 416828 413851 | 3477 155 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3135 156     | N         | 416831 413852 | 3480 156 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3134 157     | N         | 416830 413853 | 3479 157 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 5          | 3129 158     | N         | 416825 413854 | 3474 158 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 7 321     | Y         | 24583 24897  | 416 321 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 38 322     | Y         | 24614 24898  | 447 322 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 39 323     | Y         | 24615 24899  | 448 323 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 36 324     | Y         | 24612 24900  | 445 324 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 37 325     | Y         | 24613 24901  | 446 325 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 34 326     | Y         | 24610 24902  | 443 326 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 35 327     | Y         | 24611 24903  | 444 327 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 32 328     | Y         | 24608 24904  | 441 328 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 33 329     | Y         | 24609 24905  | 442 329 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3118 202     | N         | 420910 417994 | 3527 202 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3119 203     | N         | 420911 417995 | 3528 203 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3116 204     | N         | 420908 417996 | 3525 204 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3117 205     | N         | 420909 417997 | 3526 205 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3114 206     | N         | 420906 417998 | 3523 206 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3115 207     | N         | 420907 417999 | 3524 207 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3112 208     | N         | 420904 418000 | 3521 208 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3113 209     | N         | 420905 418001 | 3522 209 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3126 210     | N         | 420918 418002 | 3535 210 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3127 211     | N         | 420919 418003 | 3536 211 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3124 212     | N         | 420916 418004 | 3533 212 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3125 213     | N         | 420917 418005 | 3534 213 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3122 214     | N         | 420914 418006 | 3531 214 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3123 215     | N         | 420915 418007 | 3532 215 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3120 216     | N         | 420912 418008 | 3529 216 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3121 217     | N         | 420913 418009 | 3530 217 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3134 218     | N         | 420926 418010 | 3543 218 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3135 219     | N         | 420927 418011 | 3544 219 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3132 220     | N         | 420924 418012 | 3541 220 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3133 221     | N         | 420925 418013 | 3542 221 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+
   | 6         | 6          | 3130 222     | N         | 420922 418014 | 3539 222 |
   +-----------+------------+---------+-----------+--------+------+
   +-----------+------------+---------+-----------+--------+-----+

                 Table 3: Example Derivation Results

Authors' Addresses

   Jordan Head (editor)
   Juniper Networks
   1137 Innovation Way
   Sunnyvale, CA
   United States of America
   Email: jhead@juniper.net

   Tony Przygienda
   Juniper Networks
   1137 Innovation Way
   Sunnyvale, CA
   United States of America
   Email: prz@juniper.net
   Wen Lin
   Juniper Networks
   10 Technology Park Drive
   Westford, MA
   United States of America
   Email: wlin@juniper.net