nbslim 0.1.1

Rust implementation of SIA, SIATEC, COSIATEC, and RecurSIA algorithms for compressing Note Block Studio (.nbs) music files by discovering translational equivalence classes in 2D point sets.
Documentation
//! # NBSlim – Geometric compression algorithms for 2D point sets
//!
//! This crate implements SIA, SIATEC, COSIATEC, and RecurSIA – algorithms that discover
//! translational equivalence classes (TECs) in planar point sets. It is designed primarily
//! for compressing Note Block Studio (`.nbs`) music files but works on any set of points
//! in the plane.
//!
//! # Algorithms
//!
//! - **SIA** – finds all maximal translatable patterns from a point set.
//! - **SIATEC** – builds translational equivalence classes from SIA results.
//! - **COSIATEC** – greedy lossless compression: repeatedly extracts the best TEC and
//!   removes its covered points.
//! - **RecurSIA** – recursive version of COSIATEC that compresses patterns of each TEC
//!   to capture nested repetitions.
//!
//! # Examples
//!
//! Basic compression:
//!
//! ```
//! use nbslim::cosiatec_compress;
//!
//! let points = vec![(0, 100), (1, 200), (2, 100), (3, 200)];
//! let tecs = cosiatec_compress(&points, true);
//! assert!(tecs.len() > 0);
//! ```

mod sia;
mod tec;
mod siatec;
mod cosiatec;
mod recursia;

pub mod utils;

pub use tec::TranslationalEquivalence;
pub use sia::find_mtps;
pub use siatec::build_tecs_from_mtps;
pub use cosiatec::cosiatec_compress;
pub use recursia::recursive_cosiatec_compress;


#[cfg(test)]
mod test {
    use std::collections::HashSet;

    use crate::{
        TranslationalEquivalence, 
        cosiatec_compress, 
        recursive_cosiatec_compress, 
        utils::{compression_stats, notes_to_points, points_to_notes}
    };

    const NOTES: &str = r#"[[0, 0, 12, 33, 100, 0, 0], [0, 1, 13, 33, 100, 0, 0], [1, 3, 13, 33, 100, 0, 0], [2, 2, 13, 39, 100, 0, 0], [3, 3, 13, 39, 100, 0, 0], [4, 2, 13, 40, 100, 0, 0], [5, 3, 13, 40, 100, 0, 0], [6, 2, 13, 47, 100, 0, 0], [7, 3, 13, 47, 100, 0, 0], [12, 2, 13, 40, 100, 0, 0], [13, 3, 13, 40, 100, 0, 0], [16, 0, 12, 35, 100, 0, 0], [16, 1, 13, 35, 100, 0, 0], [17, 3, 13, 35, 100, 0, 0], [20, 2, 13, 39, 100, 0, 0], [21, 3, 13, 39, 100, 0, 0], [22, 2, 13, 40, 100, 0, 0], [23, 3, 13, 40, 100, 0, 0], [28, 2, 13, 35, 100, 0, 0], [29, 3, 13, 35, 100, 0, 0], [32, 0, 12, 37, 100, 0, 0], [32, 1, 13, 37, 100, 0, 0], [33, 3, 13, 37, 100, 0, 0], [34, 2, 13, 39, 100, 0, 0], [35, 3, 13, 39, 100, 0, 0], [36, 2, 13, 40, 100, 0, 0], [37, 3, 13, 40, 100, 0, 0], [38, 2, 13, 47, 100, 0, 0], [39, 3, 13, 47, 100, 0, 0], [44, 2, 13, 40, 100, 0, 0], [45, 3, 13, 40, 100, 0, 0], [48, 0, 12, 32, 100, 0, 0], [48, 1, 13, 32, 100, 0, 0], [49, 3, 13, 32, 100, 0, 0], [52, 2, 13, 39, 100, 0, 0], [53, 3, 13, 39, 100, 0, 0], [54, 2, 13, 40, 100, 0, 0], [55, 3, 13, 40, 100, 0, 0], [60, 2, 13, 35, 100, 0, 0], [61, 3, 13, 35, 100, 0, 0], [62, 2, 13, 37, 100, 0, 0], [63, 3, 13, 37, 100, 0, 0], [64, 0, 12, 33, 100, 0, 0], [64, 1, 13, 33, 100, 0, 0], [65, 3, 13, 33, 100, 0, 0], [66, 2, 13, 39, 100, 0, 0], [67, 3, 13, 39, 100, 0, 0], [68, 2, 13, 40, 100, 0, 0], [69, 3, 13, 40, 100, 0, 0], [70, 2, 13, 47, 100, 0, 0], [71, 3, 13, 47, 100, 0, 0], [76, 2, 13, 40, 100, 0, 0], [77, 3, 13, 40, 100, 0, 0], [80, 0, 12, 35, 100, 0, 0], [80, 1, 13, 35, 100, 0, 0], [81, 3, 13, 35, 100, 0, 0], [84, 2, 13, 39, 100, 0, 0], [85, 3, 13, 39, 100, 0, 0], [86, 2, 13, 40, 100, 0, 0], [87, 3, 13, 40, 100, 0, 0], [92, 2, 13, 35, 100, 0, 0], [93, 3, 13, 35, 100, 0, 0], [96, 0, 12, 37, 100, 0, 0], [96, 1, 13, 37, 100, 0, 0], [97, 3, 13, 37, 100, 0, 0], [98, 2, 13, 39, 100, 0, 0], [99, 3, 13, 39, 100, 0, 0], [100, 2, 13, 40, 100, 0, 0], [101, 3, 13, 40, 100, 0, 0], [102, 2, 13, 47, 100, 0, 0], [103, 3, 13, 47, 100, 0, 0], [108, 2, 13, 40, 100, 0, 0], [109, 3, 13, 40, 100, 0, 0], [112, 0, 12, 32, 100, 0, 0], [112, 1, 13, 32, 100, 0, 0], [113, 3, 13, 32, 100, 0, 0], [116, 2, 13, 39, 100, 0, 0], [117, 3, 13, 39, 100, 0, 0], [118, 2, 13, 40, 100, 0, 0], [119, 3, 13, 40, 100, 0, 0], [120, 2, 13, 39, 100, 0, 0], [121, 3, 13, 39, 100, 0, 0], [122, 2, 13, 35, 100, 0, 0], [123, 3, 13, 35, 100, 0, 0], [124, 2, 13, 37, 100, 0, 0], [125, 3, 13, 37, 100, 0, 0], [128, 0, 12, 33, 100, 0, 0], [128, 1, 13, 33, 100, 0, 0], [128, 4, 0, 39, 100, 0, 0], [128, 5, 0, 39, 100, 0, 0], [129, 3, 13, 33, 100, 0, 0], [130, 2, 13, 39, 100, 0, 0], [130, 4, 0, 40, 100, 0, 0], [130, 5, 0, 40, 100, 0, 0], [131, 3, 13, 39, 100, 0, 0], [132, 2, 13, 40, 100, 0, 0], [132, 4, 0, 40, 100, 0, 0], [132, 5, 0, 40, 100, 0, 0], [133, 3, 13, 40, 100, 0, 0], [134, 2, 13, 47, 100, 0, 0], [134, 4, 0, 47, 100, 0, 0], [134, 5, 0, 47, 100, 0, 0], [135, 3, 13, 47, 100, 0, 0], [140, 2, 13, 40, 100, 0, 0], [140, 4, 0, 40, 100, 0, 0], [140, 5, 0, 40, 100, 0, 0], [141, 3, 13, 40, 100, 0, 0], [142, 4, 0, 40, 100, 0, 0], [142, 5, 0, 40, 100, 0, 0], [144, 0, 12, 35, 100, 0, 0], [144, 1, 13, 35, 100, 0, 0], [144, 4, 0, 39, 100, 0, 0], [144, 5, 0, 39, 100, 0, 0], [145, 3, 13, 35, 100, 0, 0], [146, 4, 0, 39, 100, 0, 0], [146, 5, 0, 39, 100, 0, 0], [148, 2, 13, 39, 100, 0, 0], [148, 4, 0, 39, 100, 0, 0], [148, 5, 0, 39, 100, 0, 0], [149, 3, 13, 39, 100, 0, 0], [150, 2, 13, 40, 100, 0, 0], [150, 4, 0, 39, 100, 0, 0], [150, 5, 0, 39, 100, 0, 0], [151, 3, 13, 40, 100, 0, 0], [152, 4, 0, 39, 100, 0, 0], [152, 5, 0, 39, 100, 0, 0], [154, 4, 0, 40, 100, 0, 0], [154, 5, 0, 40, 100, 0, 0], [156, 2, 13, 35, 100, 0, 0], [156, 4, 0, 40, 100, 0, 0], [156, 5, 0, 40, 100, 0, 0], [157, 3, 13, 35, 100, 0, 0], [158, 4, 0, 40, 100, 0, 0], [158, 5, 0, 40, 100, 0, 0], [160, 0, 12, 37, 100, 0, 0], [160, 1, 13, 37, 100, 0, 0], [160, 4, 0, 39, 100, 0, 0], [160, 5, 0, 39, 100, 0, 0], [161, 3, 13, 37, 100, 0, 0], [162, 2, 13, 39, 100, 0, 0], [162, 4, 0, 40, 100, 0, 0], [162, 5, 0, 40, 100, 0, 0], [163, 3, 13, 39, 100, 0, 0], [164, 2, 13, 40, 100, 0, 0], [164, 4, 0, 40, 100, 0, 0], [164, 5, 0, 40, 100, 0, 0], [165, 3, 13, 40, 100, 0, 0], [166, 2, 13, 47, 100, 0, 0], [166, 4, 0, 47, 100, 0, 0], [166, 5, 0, 47, 100, 0, 0], [167, 3, 13, 47, 100, 0, 0], [172, 2, 13, 40, 100, 0, 0], [172, 4, 0, 40, 100, 0, 0], [172, 5, 0, 40, 100, 0, 0], [173, 3, 13, 40, 100, 0, 0], [174, 4, 0, 40, 100, 0, 0], [174, 5, 0, 40, 100, 0, 0], [176, 0, 12, 32, 100, 0, 0], [176, 1, 13, 32, 100, 0, 0], [176, 4, 0, 39, 100, 0, 0], [176, 5, 0, 39, 100, 0, 0], [177, 3, 13, 32, 100, 0, 0], [178, 4, 0, 39, 100, 0, 0], [178, 5, 0, 39, 100, 0, 0], [180, 2, 13, 39, 100, 0, 0], [180, 4, 0, 39, 100, 0, 0], [180, 5, 0, 39, 100, 0, 0], [181, 3, 13, 39, 100, 0, 0], [182, 2, 13, 40, 100, 0, 0], [182, 4, 0, 39, 100, 0, 0], [182, 5, 0, 39, 100, 0, 0], [183, 3, 13, 40, 100, 0, 0], [184, 4, 0, 39, 100, 0, 0], [184, 5, 0, 39, 100, 0, 0], [186, 4, 0, 40, 100, 0, 0], [186, 5, 0, 40, 100, 0, 0], [188, 2, 13, 35, 100, 0, 0], [188, 4, 0, 40, 100, 0, 0], [188, 5, 0, 40, 100, 0, 0], [189, 3, 13, 35, 100, 0, 0], [190, 2, 13, 37, 100, 0, 0], [191, 3, 13, 37, 100, 0, 0], [192, 0, 12, 33, 100, 0, 0], [192, 1, 13, 33, 100, 0, 0], [192, 4, 0, 39, 100, 0, 0], [192, 5, 0, 39, 100, 0, 0], [193, 3, 13, 33, 100, 0, 0], [194, 2, 13, 39, 100, 0, 0], [194, 4, 0, 40, 100, 0, 0], [194, 5, 0, 40, 100, 0, 0], [195, 3, 13, 39, 100, 0, 0], [196, 2, 13, 40, 100, 0, 0], [196, 4, 0, 40, 100, 0, 0], [196, 5, 0, 40, 100, 0, 0], [197, 3, 13, 40, 100, 0, 0], [198, 2, 13, 47, 100, 0, 0], [198, 4, 0, 47, 100, 0, 0], [198, 5, 0, 47, 100, 0, 0], [199, 3, 13, 47, 100, 0, 0], [204, 2, 13, 40, 100, 0, 0], [204, 4, 0, 40, 100, 0, 0], [204, 5, 0, 40, 100, 0, 0], [205, 3, 13, 40, 100, 0, 0], [206, 4, 0, 39, 100, 0, 0], [206, 5, 0, 39, 100, 0, 0], [208, 0, 12, 35, 100, 0, 0], [208, 1, 13, 35, 100, 0, 0], [208, 4, 0, 39, 100, 0, 0], [208, 5, 0, 39, 100, 0, 0], [209, 3, 13, 35, 100, 0, 0], [210, 4, 0, 39, 100, 0, 0], [210, 5, 0, 39, 100, 0, 0], [212, 2, 13, 39, 100, 0, 0], [212, 4, 0, 39, 100, 0, 0], [212, 5, 0, 39, 100, 0, 0], [213, 3, 13, 39, 100, 0, 0], [214, 2, 13, 40, 100, 0, 0], [214, 4, 0, 39, 100, 0, 0], [214, 5, 0, 39, 100, 0, 0], [215, 3, 13, 40, 100, 0, 0], [216, 4, 0, 39, 100, 0, 0], [216, 5, 0, 39, 100, 0, 0], [218, 4, 0, 40, 100, 0, 0], [218, 5, 0, 40, 100, 0, 0], [220, 2, 13, 35, 100, 0, 0], [220, 4, 0, 40, 100, 0, 0], [220, 5, 0, 40, 100, 0, 0], [221, 3, 13, 35, 100, 0, 0], [222, 4, 0, 40, 100, 0, 0], [222, 5, 0, 40, 100, 0, 0], [224, 0, 12, 37, 100, 0, 0], [224, 1, 13, 37, 100, 0, 0], [224, 4, 0, 39, 100, 0, 0], [224, 5, 0, 39, 100, 0, 0], [225, 3, 13, 37, 100, 0, 0], [226, 2, 13, 39, 100, 0, 0], [226, 4, 0, 40, 100, 0, 0], [226, 5, 0, 40, 100, 0, 0], [227, 3, 13, 39, 100, 0, 0], [228, 2, 13, 40, 100, 0, 0], [228, 4, 0, 40, 100, 0, 0], [228, 5, 0, 40, 100, 0, 0], [229, 3, 13, 40, 100, 0, 0], [230, 2, 13, 47, 100, 0, 0], [230, 4, 0, 47, 100, 0, 0], [230, 5, 0, 47, 100, 0, 0], [231, 2, 0, 47, 100, 0, 0], [231, 3, 0, 47, 100, 0, 0], [236, 4, 0, 42, 100, 0, 0], [236, 5, 0, 42, 100, 0, 0], [238, 4, 0, 44, 100, 0, 0], [238, 5, 0, 44, 100, 0, 0], [240, 4, 0, 44, 100, 0, 0], [240, 5, 0, 44, 100, 0, 0], [242, 4, 0, 51, 100, 0, 0], [242, 5, 0, 51, 100, 0, 0], [243, 2, 0, 51, 100, 0, 0], [243, 3, 0, 51, 100, 0, 0], [248, 4, 0, 47, 100, 0, 0], [248, 5, 0, 47, 100, 0, 0], [248, 6, 6, 44, 100, 0, 0], [249, 4, 0, 47, 100, 0, 0], [249, 5, 0, 47, 100, 0, 0], [249, 6, 6, 44, 100, 0, 0], [250, 4, 0, 47, 100, 0, 0], [250, 5, 0, 47, 100, 0, 0], [250, 6, 6, 44, 100, 0, 0], [251, 4, 0, 47, 100, 0, 0], [251, 5, 0, 47, 100, 0, 0], [251, 6, 6, 44, 100, 0, 0], [252, 4, 0, 47, 100, 0, 0], [252, 5, 0, 47, 100, 0, 0], [252, 6, 6, 44, 100, 0, 0], [254, 4, 0, 49, 100, 0, 0], [254, 5, 0, 49, 100, 0, 0], [254, 6, 6, 47, 100, 0, 0], [256, 0, 12, 33, 100, 0, 0], [256, 1, 13, 33, 100, 0, 0], [256, 7, 2, 43, 100, 0, 0], [256, 10, 1, 33, 100, 0, 0], [257, 3, 13, 33, 100, 0, 0], [257, 10, 1, 33, 100, 0, 0], [258, 2, 13, 39, 100, 0, 0], [258, 4, 0, 37, 100, 0, 0], [258, 5, 0, 37, 100, 0, 0], [258, 10, 1, 33, 100, 0, 0], [259, 3, 13, 39, 100, 0, 0], [260, 2, 13, 40, 100, 0, 0], [260, 4, 0, 44, 100, 0, 0], [260, 5, 0, 44, 100, 0, 0], [260, 8, 3, 40, 100, 0, 0], [261, 3, 13, 40, 100, 0, 0], [262, 2, 13, 47, 100, 0, 0], [262, 10, 1, 33, 100, 0, 0], [263, 3, 13, 47, 100, 0, 0], [263, 10, 1, 33, 100, 0, 0], [264, 4, 0, 42, 100, 0, 0], [264, 5, 0, 42, 100, 0, 0], [264, 7, 2, 43, 100, 0, 0], [264, 10, 1, 33, 100, 0, 0], [268, 2, 13, 40, 100, 0, 0], [268, 8, 3, 40, 100, 0, 0], [269, 3, 13, 40, 100, 0, 0], [270, 4, 0, 42, 100, 0, 0], [270, 5, 0, 42, 100, 0, 0], [272, 0, 12, 35, 100, 0, 0], [272, 1, 13, 35, 100, 0, 0], [272, 7, 2, 43, 100, 0, 0], [272, 10, 1, 35, 100, 0, 0], [273, 3, 13, 35, 100, 0, 0], [273, 10, 1, 35, 100, 0, 0], [274, 4, 0, 42, 100, 0, 0], [274, 5, 0, 42, 100, 0, 0], [274, 10, 1, 35, 100, 0, 0], [276, 2, 13, 39, 100, 0, 0], [276, 8, 3, 40, 100, 0, 0], [277, 3, 13, 39, 100, 0, 0], [278, 2, 13, 40, 100, 0, 0], [278, 4, 0, 40, 100, 0, 0], [278, 5, 0, 40, 100, 0, 0], [278, 10, 1, 35, 100, 0, 0], [279, 3, 13, 40, 100, 0, 0], [279, 10, 1, 35, 100, 0, 0], [280, 4, 0, 42, 100, 0, 0], [280, 5, 0, 42, 100, 0, 0], [280, 7, 2, 43, 100, 0, 0], [280, 10, 1, 35, 100, 0, 0], [284, 2, 13, 35, 100, 0, 0], [284, 4, 0, 42, 100, 0, 0], [284, 5, 0, 42, 100, 0, 0], [284, 8, 3, 40, 100, 0, 0], [285, 3, 13, 35, 100, 0, 0], [288, 0, 12, 37, 100, 0, 0], [288, 1, 13, 37, 100, 0, 0], [288, 4, 0, 37, 100, 0, 0], [288, 5, 0, 37, 100, 0, 0], [288, 7, 2, 43, 100, 0, 0], [288, 10, 1, 37, 100, 0, 0], [289, 3, 13, 37, 100, 0, 0], [289, 10, 1, 37, 100, 0, 0], [290, 2, 13, 39, 100, 0, 0], [290, 4, 0, 37, 100, 0, 0], [290, 5, 0, 37, 100, 0, 0], [290, 10, 1, 37, 100, 0, 0], [291, 3, 13, 39, 100, 0, 0], [292, 2, 13, 40, 100, 0, 0], [292, 4, 0, 44, 100, 0, 0], [292, 5, 0, 44, 100, 0, 0], [292, 8, 3, 40, 100, 0, 0], [293, 3, 13, 40, 100, 0, 0], [294, 2, 13, 47, 100, 0, 0], [294, 4, 0, 40, 100, 0, 0], [294, 5, 0, 40, 100, 0, 0], [294, 10, 1, 37, 100, 0, 0], [295, 3, 13, 47, 100, 0, 0], [295, 10, 1, 37, 100, 0, 0], [296, 4, 0, 42, 100, 0, 0], [296, 5, 0, 42, 100, 0, 0], [296, 7, 2, 43, 100, 0, 0], [296, 10, 1, 37, 100, 0, 0], [300, 2, 13, 40, 100, 0, 0], [300, 8, 3, 40, 100, 0, 0], [301, 3, 13, 40, 100, 0, 0], [302, 4, 0, 42, 100, 0, 0], [302, 5, 0, 42, 100, 0, 0], [304, 0, 12, 32, 100, 0, 0], [304, 1, 13, 32, 100, 0, 0], [304, 7, 2, 43, 100, 0, 0], [304, 10, 1, 32, 100, 0, 0], [305, 3, 13, 32, 100, 0, 0], [305, 10, 1, 32, 100, 0, 0], [306, 4, 0, 42, 100, 0, 0], [306, 5, 0, 42, 100, 0, 0], [306, 10, 1, 32, 100, 0, 0], [308, 2, 13, 39, 100, 0, 0], [308, 8, 3, 40, 100, 0, 0], [309, 3, 13, 39, 100, 0, 0], [310, 2, 13, 40, 100, 0, 0], [310, 4, 0, 40, 100, 0, 0], [310, 5, 0, 40, 100, 0, 0], [310, 10, 1, 32, 100, 0, 0], [311, 3, 13, 40, 100, 0, 0], [311, 10, 1, 32, 100, 0, 0], [312, 4, 0, 42, 100, 0, 0], [312, 5, 0, 42, 100, 0, 0], [312, 7, 2, 43, 100, 0, 0], [312, 10, 1, 32, 100, 0, 0], [314, 7, 2, 43, 100, 0, 0], [316, 2, 13, 35, 100, 0, 0], [316, 4, 0, 42, 100, 0, 0], [316, 5, 0, 42, 100, 0, 0], [316, 8, 3, 40, 100, 0, 0], [317, 3, 13, 35, 100, 0, 0], [318, 2, 13, 37, 100, 0, 0], [319, 3, 13, 37, 100, 0, 0], [320, 0, 12, 33, 100, 0, 0], [320, 1, 13, 33, 100, 0, 0], [320, 4, 0, 37, 100, 0, 0], [320, 5, 0, 37, 100, 0, 0], [320, 7, 2, 43, 100, 0, 0], [320, 10, 1, 33, 100, 0, 0], [321, 3, 13, 33, 100, 0, 0], [321, 10, 1, 33, 100, 0, 0], [322, 2, 13, 39, 100, 0, 0], [322, 4, 0, 37, 100, 0, 0], [322, 5, 0, 37, 100, 0, 0], [322, 10, 1, 33, 100, 0, 0], [323, 3, 13, 39, 100, 0, 0], [324, 2, 13, 40, 100, 0, 0], [324, 4, 0, 44, 100, 0, 0], [324, 5, 0, 44, 100, 0, 0], [324, 8, 3, 40, 100, 0, 0], [325, 3, 13, 40, 100, 0, 0], [326, 2, 13, 47, 100, 0, 0], [326, 4, 0, 40, 100, 0, 0], [326, 5, 0, 40, 100, 0, 0], [326, 10, 1, 33, 100, 0, 0], [327, 3, 13, 47, 100, 0, 0], [327, 10, 1, 33, 100, 0, 0], [328, 4, 0, 42, 100, 0, 0], [328, 5, 0, 42, 100, 0, 0], [328, 7, 2, 43, 100, 0, 0], [328, 10, 1, 33, 100, 0, 0], [332, 2, 13, 40, 100, 0, 0], [332, 8, 3, 40, 100, 0, 0], [333, 3, 13, 40, 100, 0, 0], [334, 4, 0, 42, 100, 0, 0], [334, 5, 0, 42, 100, 0, 0], [336, 0, 12, 35, 100, 0, 0], [336, 1, 13, 35, 100, 0, 0], [336, 7, 2, 43, 100, 0, 0], [336, 10, 1, 35, 100, 0, 0], [337, 3, 13, 35, 100, 0, 0], [337, 10, 1, 35, 100, 0, 0], [338, 4, 0, 42, 100, 0, 0], [338, 5, 0, 42, 100, 0, 0], [338, 10, 1, 35, 100, 0, 0], [340, 2, 13, 39, 100, 0, 0], [340, 8, 3, 40, 100, 0, 0], [341, 3, 13, 39, 100, 0, 0], [342, 2, 13, 40, 100, 0, 0], [342, 4, 0, 40, 100, 0, 0], [342, 5, 0, 40, 100, 0, 0], [342, 10, 1, 35, 100, 0, 0], [343, 3, 13, 40, 100, 0, 0], [343, 10, 1, 35, 100, 0, 0], [344, 4, 0, 42, 100, 0, 0], [344, 5, 0, 42, 100, 0, 0], [344, 7, 2, 43, 100, 0, 0], [344, 10, 1, 35, 100, 0, 0], [348, 2, 13, 35, 100, 0, 0], [348, 4, 0, 42, 100, 0, 0], [348, 5, 0, 42, 100, 0, 0], [348, 8, 3, 40, 100, 0, 0], [348, 10, 1, 35, 100, 0, 0], [349, 3, 13, 35, 100, 0, 0], [349, 10, 1, 35, 100, 0, 0], [350, 10, 1, 36, 100, 0, 0], [351, 10, 1, 36, 100, 0, 0], [352, 0, 12, 37, 100, 0, 0], [352, 1, 13, 37, 100, 0, 0], [352, 4, 0, 47, 100, 0, 0], [352, 5, 0, 47, 100, 0, 0], [352, 7, 2, 43, 100, 0, 0], [352, 10, 1, 37, 100, 0, 0], [353, 3, 13, 37, 100, 0, 0], [353, 10, 1, 37, 100, 0, 0], [354, 2, 13, 39, 100, 0, 0], [354, 10, 1, 37, 100, 0, 0], [355, 3, 13, 39, 100, 0, 0], [356, 2, 13, 40, 100, 0, 0], [356, 4, 0, 44, 100, 0, 0], [356, 5, 0, 44, 100, 0, 0], [356, 8, 3, 40, 100, 0, 0], [357, 3, 13, 40, 100, 0, 0], [358, 2, 13, 47, 100, 0, 0], [358, 10, 1, 37, 100, 0, 0], [359, 3, 13, 47, 100, 0, 0], [359, 10, 1, 37, 100, 0, 0], [360, 4, 0, 47, 100, 0, 0], [360, 5, 0, 47, 100, 0, 0], [360, 7, 2, 43, 100, 0, 0], [360, 10, 1, 37, 100, 0, 0], [364, 2, 13, 40, 100, 0, 0], [364, 4, 0, 44, 100, 0, 0], [364, 5, 0, 44, 100, 0, 0], [364, 8, 3, 40, 100, 0, 0], [365, 3, 13, 40, 100, 0, 0], [368, 0, 12, 32, 100, 0, 0], [368, 1, 13, 32, 100, 0, 0], [368, 4, 0, 42, 100, 0, 0], [368, 5, 0, 42, 100, 0, 0], [368, 7, 2, 43, 100, 0, 0], [368, 10, 1, 32, 100, 0, 0], [369, 3, 13, 32, 100, 0, 0], [369, 10, 1, 32, 100, 0, 0], [370, 4, 0, 42, 100, 0, 0], [370, 5, 0, 42, 100, 0, 0], [370, 10, 1, 32, 100, 0, 0], [372, 2, 13, 39, 100, 0, 0], [372, 4, 0, 42, 100, 0, 0], [372, 5, 0, 42, 100, 0, 0], [372, 8, 3, 40, 100, 0, 0], [373, 3, 13, 39, 100, 0, 0], [374, 2, 13, 40, 100, 0, 0], [374, 4, 0, 44, 100, 0, 0], [374, 5, 0, 44, 100, 0, 0], [374, 10, 1, 32, 100, 0, 0], [375, 3, 13, 40, 100, 0, 0], [375, 10, 1, 32, 100, 0, 0], [376, 2, 13, 39, 100, 0, 0], [376, 4, 0, 42, 100, 0, 0], [376, 5, 0, 42, 100, 0, 0], [376, 7, 2, 43, 100, 0, 0], [376, 10, 1, 32, 100, 0, 0], [377, 3, 13, 39, 100, 0, 0], [377, 10, 1, 36, 100, 0, 0], [378, 2, 13, 35, 100, 0, 0], [378, 7, 2, 43, 100, 0, 0], [378, 10, 1, 38, 100, 0, 0], [379, 3, 13, 35, 100, 0, 0], [379, 10, 1, 34, 100, 0, 0], [380, 2, 13, 37, 100, 0, 0], [380, 4, 0, 40, 100, 0, 0], [380, 5, 0, 40, 100, 0, 0], [380, 8, 3, 40, 100, 0, 0], [380, 10, 1, 32, 100, 0, 0], [381, 3, 13, 37, 100, 0, 0], [382, 7, 2, 43, 100, 0, 0], [384, 0, 12, 33, 100, 0, 0], [384, 1, 13, 33, 100, 0, 0], [384, 4, 0, 40, 100, 0, 0], [384, 5, 0, 40, 100, 0, 0], [384, 7, 2, 43, 100, 0, 0], [384, 10, 1, 33, 100, 0, 0], [385, 3, 13, 33, 100, 0, 0], [385, 4, 0, 40, 100, 0, 0], [385, 5, 0, 40, 100, 0, 0], [385, 10, 1, 33, 100, 0, 0], [386, 2, 13, 39, 100, 0, 0], [386, 4, 0, 40, 100, 0, 0], [386, 5, 0, 40, 100, 0, 0], [386, 10, 1, 33, 100, 0, 0], [387, 3, 13, 39, 100, 0, 0], [387, 4, 0, 40, 100, 0, 0], [387, 5, 0, 40, 100, 0, 0], [387, 10, 1, 33, 100, 0, 0], [388, 2, 13, 40, 100, 0, 0], [388, 4, 0, 40, 100, 0, 0], [388, 5, 0, 40, 100, 0, 0], [388, 8, 3, 40, 100, 0, 0], [388, 10, 1, 33, 100, 0, 0], [389, 3, 13, 40, 100, 0, 0], [389, 4, 0, 40, 100, 0, 0], [389, 5, 0, 40, 100, 0, 0], [389, 10, 1, 33, 100, 0, 0], [390, 2, 13, 47, 100, 0, 0], [390, 4, 0, 40, 100, 0, 0], [390, 5, 0, 40, 100, 0, 0], [390, 10, 1, 33, 100, 0, 0], [391, 3, 13, 47, 100, 0, 0], [391, 4, 0, 40, 100, 0, 0], [391, 5, 0, 40, 100, 0, 0], [391, 10, 1, 33, 100, 0, 0], [392, 4, 0, 40, 100, 0, 0], [392, 5, 0, 40, 100, 0, 0], [392, 7, 2, 43, 100, 0, 0], [392, 10, 1, 33, 100, 0, 0], [393, 4, 0, 40, 100, 0, 0], [393, 5, 0, 40, 100, 0, 0], [393, 10, 1, 33, 100, 0, 0], [394, 4, 0, 37, 100, 0, 0], [394, 5, 0, 37, 100, 0, 0], [394, 10, 1, 33, 100, 0, 0], [395, 4, 0, 37, 100, 0, 0], [395, 5, 0, 37, 100, 0, 0], [395, 10, 1, 33, 100, 0, 0], [396, 2, 13, 40, 100, 0, 0], [396, 4, 0, 44, 100, 0, 0], [396, 5, 0, 44, 100, 0, 0], [396, 8, 3, 40, 100, 0, 0], [396, 10, 1, 33, 100, 0, 0], [397, 3, 13, 40, 100, 0, 0], [397, 4, 0, 44, 100, 0, 0], [397, 5, 0, 44, 100, 0, 0], [397, 10, 1, 33, 100, 0, 0], [398, 4, 0, 44, 100, 0, 0], [398, 5, 0, 44, 100, 0, 0], [398, 10, 1, 33, 100, 0, 0], [399, 4, 0, 44, 100, 0, 0], [399, 5, 0, 44, 100, 0, 0], [399, 10, 1, 33, 100, 0, 0], [400, 0, 12, 35, 100, 0, 0], [400, 1, 13, 35, 100, 0, 0], [400, 4, 0, 47, 100, 0, 0], [400, 7, 2, 43, 100, 0, 0], [400, 10, 1, 35, 100, 0, 0], [401, 3, 13, 35, 100, 0, 0], [401, 4, 0, 47, 100, 0, 0], [401, 10, 1, 35, 100, 0, 0], [402, 4, 0, 47, 100, 0, 0], [402, 10, 1, 35, 100, 0, 0], [403, 4, 0, 47, 100, 0, 0], [403, 10, 1, 35, 100, 0, 0], [404, 2, 13, 39, 100, 0, 0], [404, 4, 0, 45, 100, 0, 0], [404, 8, 3, 40, 100, 0, 0], [404, 10, 1, 35, 100, 0, 0], [405, 3, 13, 39, 100, 0, 0], [405, 4, 0, 45, 100, 0, 0], [405, 10, 1, 35, 100, 0, 0], [406, 2, 13, 40, 100, 0, 0], [406, 4, 0, 44, 100, 0, 0], [406, 10, 1, 35, 100, 0, 0], [407, 3, 13, 40, 100, 0, 0], [407, 4, 0, 44, 100, 0, 0], [407, 10, 1, 35, 100, 0, 0], [408, 4, 0, 44, 100, 0, 0], [408, 7, 2, 43, 100, 0, 0], [408, 10, 1, 35, 100, 0, 0], [409, 4, 0, 44, 100, 0, 0], [409, 10, 1, 35, 100, 0, 0], [410, 4, 0, 44, 100, 0, 0], [410, 10, 1, 35, 100, 0, 0], [411, 4, 0, 44, 100, 0, 0], [411, 10, 1, 35, 100, 0, 0], [412, 2, 13, 35, 100, 0, 0], [412, 4, 0, 42, 100, 0, 0], [412, 8, 3, 40, 100, 0, 0], [412, 10, 1, 35, 100, 0, 0], [413, 3, 13, 35, 100, 0, 0], [413, 4, 0, 42, 100, 0, 0], [413, 10, 1, 35, 100, 0, 0], [414, 4, 0, 44, 100, 0, 0], [414, 10, 1, 35, 100, 0, 0], [415, 4, 0, 44, 100, 0, 0], [415, 10, 1, 35, 100, 0, 0], [416, 0, 12, 37, 100, 0, 0], [416, 1, 13, 37, 100, 0, 0], [416, 4, 0, 40, 100, 0, 0], [416, 5, 0, 40, 100, 0, 0], [416, 7, 2, 43, 100, 0, 0], [416, 10, 1, 37, 100, 0, 0], [417, 3, 13, 37, 100, 0, 0], [417, 4, 0, 40, 100, 0, 0], [417, 5, 0, 40, 100, 0, 0], [417, 10, 1, 37, 100, 0, 0], [418, 2, 13, 39, 100, 0, 0], [418, 4, 0, 40, 100, 0, 0], [418, 5, 0, 40, 100, 0, 0], [418, 10, 1, 37, 100, 0, 0], [419, 3, 13, 39, 100, 0, 0], [419, 4, 0, 40, 100, 0, 0], [419, 5, 0, 40, 100, 0, 0], [419, 10, 1, 37, 100, 0, 0], [420, 2, 13, 40, 100, 0, 0], [420, 4, 0, 40, 100, 0, 0], [420, 5, 0, 40, 100, 0, 0], [420, 8, 3, 40, 100, 0, 0], [420, 10, 1, 37, 100, 0, 0], [421, 3, 13, 40, 100, 0, 0], [421, 4, 0, 40, 100, 0, 0], [421, 5, 0, 40, 100, 0, 0], [421, 10, 1, 37, 100, 0, 0], [422, 2, 13, 47, 100, 0, 0], [422, 4, 0, 40, 100, 0, 0], [422, 5, 0, 40, 100, 0, 0], [422, 10, 1, 37, 100, 0, 0], [423, 3, 13, 47, 100, 0, 0], [423, 4, 0, 40, 100, 0, 0], [423, 5, 0, 40, 100, 0, 0], [423, 10, 1, 37, 100, 0, 0], [424, 4, 0, 40, 100, 0, 0], [424, 5, 0, 40, 100, 0, 0], [424, 7, 2, 43, 100, 0, 0], [424, 10, 1, 37, 100, 0, 0], [425, 4, 0, 40, 100, 0, 0], [425, 5, 0, 40, 100, 0, 0], [425, 10, 1, 37, 100, 0, 0], [426, 4, 0, 37, 100, 0, 0], [426, 5, 0, 37, 100, 0, 0], [426, 10, 1, 37, 100, 0, 0], [427, 4, 0, 37, 100, 0, 0], [427, 5, 0, 37, 100, 0, 0], [427, 10, 1, 37, 100, 0, 0], [428, 2, 13, 40, 100, 0, 0], [428, 4, 0, 44, 100, 0, 0], [428, 5, 0, 44, 100, 0, 0], [428, 8, 3, 40, 100, 0, 0], [428, 10, 1, 37, 100, 0, 0], [429, 3, 13, 40, 100, 0, 0], [429, 4, 0, 44, 100, 0, 0], [429, 5, 0, 44, 100, 0, 0], [429, 10, 1, 37, 100, 0, 0], [430, 4, 0, 44, 100, 0, 0], [430, 5, 0, 44, 100, 0, 0], [430, 10, 1, 37, 100, 0, 0], [431, 4, 0, 44, 100, 0, 0], [431, 5, 0, 44, 100, 0, 0], [431, 10, 1, 37, 100, 0, 0], [432, 0, 12, 32, 100, 0, 0], [432, 1, 13, 32, 100, 0, 0], [432, 4, 0, 47, 100, 0, 0], [432, 7, 2, 43, 100, 0, 0], [432, 10, 1, 32, 100, 0, 0], [433, 3, 13, 32, 100, 0, 0], [433, 4, 0, 47, 100, 0, 0], [433, 10, 1, 32, 100, 0, 0], [434, 4, 0, 47, 100, 0, 0], [434, 10, 1, 32, 100, 0, 0], [435, 4, 0, 47, 100, 0, 0], [435, 10, 1, 32, 100, 0, 0], [436, 2, 13, 39, 100, 0, 0], [436, 4, 0, 45, 100, 0, 0], [436, 8, 3, 40, 100, 0, 0], [436, 10, 1, 32, 100, 0, 0], [437, 3, 13, 39, 100, 0, 0], [437, 4, 0, 45, 100, 0, 0], [437, 10, 1, 32, 100, 0, 0], [438, 2, 13, 40, 100, 0, 0], [438, 4, 0, 44, 100, 0, 0], [438, 10, 1, 32, 100, 0, 0], [439, 3, 13, 40, 100, 0, 0], [439, 4, 0, 44, 100, 0, 0], [439, 10, 1, 32, 100, 0, 0], [440, 4, 0, 44, 100, 0, 0], [440, 7, 2, 43, 100, 0, 0], [440, 10, 1, 32, 100, 0, 0], [441, 4, 0, 44, 100, 0, 0], [441, 10, 1, 32, 100, 0, 0], [442, 4, 0, 44, 100, 0, 0], [442, 7, 2, 43, 100, 0, 0], [442, 10, 1, 32, 100, 0, 0], [443, 4, 0, 44, 100, 0, 0], [443, 10, 1, 32, 100, 0, 0], [444, 2, 13, 35, 100, 0, 0], [444, 4, 0, 42, 100, 0, 0], [444, 8, 3, 40, 100, 0, 0], [444, 10, 1, 32, 100, 0, 0], [445, 3, 13, 35, 100, 0, 0], [445, 4, 0, 42, 100, 0, 0], [445, 10, 1, 32, 100, 0, 0], [446, 2, 13, 37, 100, 0, 0], [446, 4, 0, 44, 100, 0, 0], [446, 10, 1, 32, 100, 0, 0], [447, 3, 13, 37, 100, 0, 0], [447, 4, 0, 44, 100, 0, 0], [447, 10, 1, 32, 100, 0, 0], [448, 0, 12, 33, 100, 0, 0], [448, 1, 13, 33, 100, 0, 0], [448, 4, 0, 40, 100, 0, 0], [448, 5, 0, 40, 100, 0, 0], [448, 10, 1, 33, 100, 0, 0], [449, 3, 13, 33, 100, 0, 0], [449, 4, 0, 40, 100, 0, 0], [449, 5, 0, 40, 100, 0, 0], [449, 10, 1, 33, 100, 0, 0], [450, 2, 13, 39, 100, 0, 0], [450, 4, 0, 40, 100, 0, 0], [450, 5, 0, 40, 100, 0, 0], [450, 10, 1, 33, 100, 0, 0], [451, 3, 13, 39, 100, 0, 0], [451, 4, 0, 40, 100, 0, 0], [451, 5, 0, 40, 100, 0, 0], [451, 10, 1, 33, 100, 0, 0], [452, 2, 13, 40, 100, 0, 0], [452, 4, 0, 40, 100, 0, 0], [452, 5, 0, 40, 100, 0, 0], [452, 10, 1, 33, 100, 0, 0], [453, 3, 13, 40, 100, 0, 0], [453, 4, 0, 40, 100, 0, 0], [453, 5, 0, 40, 100, 0, 0], [453, 10, 1, 33, 100, 0, 0], [454, 2, 13, 47, 100, 0, 0], [454, 4, 0, 40, 100, 0, 0], [454, 5, 0, 40, 100, 0, 0], [454, 10, 1, 33, 100, 0, 0], [455, 3, 13, 47, 100, 0, 0], [455, 4, 0, 40, 100, 0, 0], [455, 5, 0, 40, 100, 0, 0], [455, 10, 1, 33, 100, 0, 0], [456, 4, 0, 40, 100, 0, 0], [456, 5, 0, 40, 100, 0, 0], [456, 10, 1, 33, 100, 0, 0], [457, 4, 0, 40, 100, 0, 0], [457, 5, 0, 40, 100, 0, 0], [457, 10, 1, 33, 100, 0, 0], [458, 4, 0, 37, 100, 0, 0], [458, 5, 0, 37, 100, 0, 0], [458, 10, 1, 33, 100, 0, 0], [459, 4, 0, 37, 100, 0, 0], [459, 5, 0, 37, 100, 0, 0], [459, 10, 1, 33, 100, 0, 0], [460, 2, 13, 40, 100, 0, 0], [460, 4, 0, 44, 100, 0, 0], [460, 5, 0, 44, 100, 0, 0], [460, 10, 1, 33, 100, 0, 0], [461, 3, 13, 40, 100, 0, 0], [461, 4, 0, 44, 100, 0, 0], [461, 5, 0, 44, 100, 0, 0], [461, 10, 1, 33, 100, 0, 0], [462, 4, 0, 44, 100, 0, 0], [462, 5, 0, 44, 100, 0, 0], [462, 10, 1, 33, 100, 0, 0], [463, 4, 0, 44, 100, 0, 0], [463, 5, 0, 44, 100, 0, 0], [463, 10, 1, 33, 100, 0, 0], [464, 0, 12, 35, 100, 0, 0], [464, 1, 13, 35, 100, 0, 0], [464, 4, 0, 47, 100, 0, 0], [464, 10, 1, 35, 100, 0, 0], [465, 3, 13, 35, 100, 0, 0], [465, 4, 0, 47, 100, 0, 0], [465, 10, 1, 35, 100, 0, 0], [466, 4, 0, 47, 100, 0, 0], [466, 10, 1, 35, 100, 0, 0], [467, 4, 0, 47, 100, 0, 0], [467, 10, 1, 35, 100, 0, 0], [468, 2, 13, 39, 100, 0, 0], [468, 4, 0, 45, 100, 0, 0], [468, 10, 1, 35, 100, 0, 0], [469, 3, 13, 39, 100, 0, 0], [469, 4, 0, 45, 100, 0, 0], [469, 10, 1, 35, 100, 0, 0], [470, 2, 13, 40, 100, 0, 0], [470, 4, 0, 44, 100, 0, 0], [470, 10, 1, 35, 100, 0, 0], [471, 3, 13, 40, 100, 0, 0], [471, 4, 0, 44, 100, 0, 0], [471, 10, 1, 35, 100, 0, 0], [472, 4, 0, 44, 100, 0, 0], [472, 10, 1, 35, 100, 0, 0], [473, 4, 0, 44, 100, 0, 0], [473, 10, 1, 35, 100, 0, 0], [474, 4, 0, 44, 100, 0, 0], [474, 10, 1, 35, 100, 0, 0], [475, 4, 0, 44, 100, 0, 0], [475, 10, 1, 35, 100, 0, 0], [476, 2, 13, 35, 100, 0, 0], [476, 4, 0, 42, 100, 0, 0], [476, 10, 1, 35, 100, 0, 0], [477, 3, 13, 35, 100, 0, 0], [477, 4, 0, 42, 100, 0, 0], [477, 10, 1, 35, 100, 0, 0], [478, 4, 0, 44, 100, 0, 0], [478, 10, 1, 35, 100, 0, 0], [479, 4, 0, 44, 100, 0, 0], [479, 10, 1, 35, 100, 0, 0], [480, 0, 12, 37, 100, 0, 0], [480, 1, 13, 37, 100, 0, 0], [480, 4, 0, 47, 100, 0, 0], [480, 5, 0, 47, 100, 0, 0], [480, 10, 1, 37, 100, 0, 0], [481, 3, 13, 37, 100, 0, 0], [481, 10, 1, 37, 100, 0, 0], [482, 2, 13, 39, 100, 0, 0], [482, 10, 1, 37, 100, 0, 0], [483, 3, 13, 39, 100, 0, 0], [483, 10, 1, 37, 100, 0, 0], [484, 2, 13, 40, 100, 0, 0], [484, 4, 0, 44, 100, 0, 0], [484, 5, 0, 44, 100, 0, 0], [484, 10, 1, 37, 100, 0, 0], [485, 3, 13, 40, 100, 0, 0], [485, 10, 1, 37, 100, 0, 0], [486, 2, 13, 47, 100, 0, 0], [486, 10, 1, 37, 100, 0, 0], [487, 3, 13, 47, 100, 0, 0], [487, 10, 1, 37, 100, 0, 0], [488, 4, 0, 47, 100, 0, 0], [488, 5, 0, 47, 100, 0, 0], [488, 10, 1, 37, 100, 0, 0], [489, 10, 1, 37, 100, 0, 0], [490, 10, 1, 37, 100, 0, 0], [491, 10, 1, 37, 100, 0, 0], [492, 2, 13, 40, 100, 0, 0], [492, 4, 0, 44, 100, 0, 0], [492, 5, 0, 44, 100, 0, 0], [492, 10, 1, 37, 100, 0, 0], [493, 3, 13, 40, 100, 0, 0], [493, 10, 1, 37, 100, 0, 0], [494, 10, 1, 37, 100, 0, 0], [495, 10, 1, 37, 100, 0, 0], [496, 4, 0, 42, 100, 0, 0], [496, 5, 0, 42, 100, 0, 0], [498, 4, 0, 42, 100, 0, 0], [498, 5, 0, 42, 100, 0, 0], [500, 4, 0, 42, 100, 0, 0], [500, 5, 0, 42, 100, 0, 0], [502, 4, 0, 44, 100, 0, 0], [502, 5, 0, 44, 100, 0, 0], [504, 4, 0, 42, 100, 0, 0], [504, 5, 0, 42, 100, 0, 0], [506, 8, 3, 40, 100, 0, 0], [508, 4, 0, 40, 100, 0, 0], [508, 5, 0, 40, 100, 0, 0], [508, 7, 2, 43, 100, 0, 0], [508, 8, 3, 40, 100, 0, 0], [510, 8, 3, 40, 100, 0, 0], [512, 0, 12, 33, 100, 0, 0], [512, 1, 13, 33, 100, 0, 0], [512, 4, 0, 39, 100, 0, 0], [512, 5, 0, 39, 100, 0, 0], [512, 7, 2, 43, 100, 0, 0], [512, 10, 1, 33, 100, 0, 0], [513, 3, 13, 33, 100, 0, 0], [513, 10, 1, 33, 100, 0, 0], [514, 2, 13, 39, 100, 0, 0], [514, 4, 0, 40, 100, 0, 0], [514, 5, 0, 40, 100, 0, 0], [514, 10, 1, 33, 100, 0, 0], [515, 3, 13, 39, 100, 0, 0], [516, 2, 13, 40, 100, 0, 0], [516, 4, 0, 40, 100, 0, 0], [516, 5, 0, 40, 100, 0, 0], [516, 8, 3, 40, 100, 0, 0], [517, 3, 13, 40, 100, 0, 0], [518, 2, 13, 47, 100, 0, 0], [518, 4, 0, 47, 100, 0, 0], [518, 5, 0, 47, 100, 0, 0], [518, 10, 1, 33, 100, 0, 0], [519, 3, 13, 47, 100, 0, 0], [519, 10, 1, 33, 100, 0, 0], [520, 7, 2, 43, 100, 0, 0], [520, 10, 1, 33, 100, 0, 0], [524, 2, 13, 40, 100, 0, 0], [524, 4, 0, 40, 100, 0, 0], [524, 5, 0, 40, 100, 0, 0], [524, 8, 3, 40, 100, 0, 0], [525, 3, 13, 40, 100, 0, 0], [526, 4, 0, 40, 100, 0, 0], [526, 5, 0, 40, 100, 0, 0], [528, 0, 12, 35, 100, 0, 0], [528, 1, 13, 35, 100, 0, 0], [528, 4, 0, 39, 100, 0, 0], [528, 5, 0, 39, 100, 0, 0], [528, 7, 2, 43, 100, 0, 0], [528, 10, 1, 35, 100, 0, 0], [529, 3, 13, 35, 100, 0, 0], [529, 10, 1, 35, 100, 0, 0], [530, 4, 0, 39, 100, 0, 0], [530, 5, 0, 39, 100, 0, 0], [530, 10, 1, 35, 100, 0, 0], [532, 2, 13, 39, 100, 0, 0], [532, 4, 0, 39, 100, 0, 0], [532, 5, 0, 39, 100, 0, 0], [532, 8, 3, 40, 100, 0, 0], [533, 3, 13, 39, 100, 0, 0], [534, 2, 13, 40, 100, 0, 0], [534, 4, 0, 39, 100, 0, 0], [534, 5, 0, 39, 100, 0, 0], [534, 10, 1, 35, 100, 0, 0], [535, 3, 13, 40, 100, 0, 0], [535, 10, 1, 35, 100, 0, 0], [536, 4, 0, 39, 100, 0, 0], [536, 5, 0, 39, 100, 0, 0], [536, 7, 2, 43, 100, 0, 0], [536, 10, 1, 35, 100, 0, 0], [538, 4, 0, 40, 100, 0, 0], [538, 5, 0, 40, 100, 0, 0], [540, 2, 13, 35, 100, 0, 0], [540, 4, 0, 40, 100, 0, 0], [540, 5, 0, 40, 100, 0, 0], [540, 8, 3, 40, 100, 0, 0], [540, 10, 1, 35, 100, 0, 0], [541, 3, 13, 35, 100, 0, 0], [541, 10, 1, 35, 100, 0, 0], [542, 4, 0, 40, 100, 0, 0], [542, 5, 0, 40, 100, 0, 0], [542, 10, 1, 36, 100, 0, 0], [543, 10, 1, 36, 100, 0, 0], [544, 0, 12, 37, 100, 0, 0], [544, 1, 13, 37, 100, 0, 0], [544, 4, 0, 39, 100, 0, 0], [544, 5, 0, 39, 100, 0, 0], [544, 7, 2, 43, 100, 0, 0], [544, 10, 1, 37, 100, 0, 0], [545, 3, 13, 37, 100, 0, 0], [545, 10, 1, 37, 100, 0, 0], [546, 2, 13, 39, 100, 0, 0], [546, 4, 0, 40, 100, 0, 0], [546, 5, 0, 40, 100, 0, 0], [546, 10, 1, 37, 100, 0, 0], [547, 3, 13, 39, 100, 0, 0], [548, 2, 13, 40, 100, 0, 0], [548, 4, 0, 40, 100, 0, 0], [548, 5, 0, 40, 100, 0, 0], [548, 8, 3, 40, 100, 0, 0], [549, 3, 13, 40, 100, 0, 0], [550, 2, 13, 47, 100, 0, 0], [550, 4, 0, 47, 100, 0, 0], [550, 5, 0, 47, 100, 0, 0], [550, 10, 1, 37, 100, 0, 0], [551, 3, 13, 47, 100, 0, 0], [551, 10, 1, 37, 100, 0, 0], [552, 7, 2, 43, 100, 0, 0], [552, 10, 1, 37, 100, 0, 0], [556, 2, 13, 40, 100, 0, 0], [556, 4, 0, 40, 100, 0, 0], [556, 5, 0, 40, 100, 0, 0], [556, 8, 3, 40, 100, 0, 0], [557, 3, 13, 40, 100, 0, 0], [558, 4, 0, 40, 100, 0, 0], [558, 5, 0, 40, 100, 0, 0], [560, 0, 12, 32, 100, 0, 0], [560, 1, 13, 32, 100, 0, 0], [560, 4, 0, 39, 100, 0, 0], [560, 5, 0, 39, 100, 0, 0], [560, 7, 2, 43, 100, 0, 0], [560, 10, 1, 32, 100, 0, 0], [561, 3, 13, 32, 100, 0, 0], [561, 10, 1, 32, 100, 0, 0], [562, 4, 0, 39, 100, 0, 0], [562, 5, 0, 39, 100, 0, 0], [562, 10, 1, 32, 100, 0, 0], [564, 2, 13, 39, 100, 0, 0], [564, 4, 0, 39, 100, 0, 0], [564, 5, 0, 39, 100, 0, 0], [564, 8, 3, 40, 100, 0, 0], [565, 3, 13, 39, 100, 0, 0], [566, 2, 13, 40, 100, 0, 0], [566, 4, 0, 39, 100, 0, 0], [566, 5, 0, 39, 100, 0, 0], [566, 10, 1, 32, 100, 0, 0], [567, 3, 13, 40, 100, 0, 0], [567, 10, 1, 32, 100, 0, 0], [568, 4, 0, 39, 100, 0, 0], [568, 5, 0, 39, 100, 0, 0], [568, 7, 2, 43, 100, 0, 0], [568, 10, 1, 32, 100, 0, 0], [570, 4, 0, 40, 100, 0, 0], [570, 5, 0, 40, 100, 0, 0], [570, 7, 2, 43, 100, 0, 0], [572, 2, 13, 35, 100, 0, 0], [572, 4, 0, 40, 100, 0, 0], [572, 5, 0, 40, 100, 0, 0], [572, 8, 3, 40, 100, 0, 0], [573, 3, 13, 35, 100, 0, 0], [574, 2, 13, 37, 100, 0, 0], [575, 3, 13, 37, 100, 0, 0], [576, 0, 12, 33, 100, 0, 0], [576, 1, 13, 33, 100, 0, 0], [576, 4, 0, 39, 100, 0, 0], [576, 5, 0, 39, 100, 0, 0], [576, 7, 2, 43, 100, 0, 0], [576, 10, 1, 33, 100, 0, 0], [577, 3, 13, 33, 100, 0, 0], [577, 10, 1, 33, 100, 0, 0], [578, 2, 13, 39, 100, 0, 0], [578, 4, 0, 40, 100, 0, 0], [578, 5, 0, 40, 100, 0, 0], [578, 10, 1, 33, 100, 0, 0], [579, 3, 13, 39, 100, 0, 0], [580, 2, 13, 40, 100, 0, 0], [580, 4, 0, 40, 100, 0, 0], [580, 5, 0, 40, 100, 0, 0], [580, 8, 3, 40, 100, 0, 0], [581, 3, 13, 40, 100, 0, 0], [582, 2, 13, 47, 100, 0, 0], [582, 4, 0, 47, 100, 0, 0], [582, 5, 0, 47, 100, 0, 0], [582, 10, 1, 33, 100, 0, 0], [583, 3, 13, 47, 100, 0, 0], [583, 10, 1, 33, 100, 0, 0], [584, 7, 2, 43, 100, 0, 0], [584, 10, 1, 33, 100, 0, 0], [588, 2, 13, 40, 100, 0, 0], [588, 4, 0, 40, 100, 0, 0], [588, 5, 0, 40, 100, 0, 0], [588, 8, 3, 40, 100, 0, 0], [589, 3, 13, 40, 100, 0, 0], [590, 4, 0, 40, 100, 0, 0], [590, 5, 0, 40, 100, 0, 0], [592, 0, 12, 35, 100, 0, 0], [592, 1, 13, 35, 100, 0, 0], [592, 4, 0, 39, 100, 0, 0], [592, 5, 0, 39, 100, 0, 0], [592, 7, 2, 43, 100, 0, 0], [592, 10, 1, 35, 100, 0, 0], [593, 3, 13, 35, 100, 0, 0], [593, 10, 1, 35, 100, 0, 0], [594, 4, 0, 39, 100, 0, 0], [594, 5, 0, 39, 100, 0, 0], [594, 10, 1, 35, 100, 0, 0], [596, 2, 13, 39, 100, 0, 0], [596, 4, 0, 39, 100, 0, 0], [596, 5, 0, 39, 100, 0, 0], [596, 8, 3, 40, 100, 0, 0], [597, 3, 13, 39, 100, 0, 0], [598, 2, 13, 40, 100, 0, 0], [598, 4, 0, 39, 100, 0, 0], [598, 5, 0, 39, 100, 0, 0], [598, 10, 1, 35, 100, 0, 0], [599, 3, 13, 40, 100, 0, 0], [599, 10, 1, 35, 100, 0, 0], [600, 4, 0, 39, 100, 0, 0], [600, 5, 0, 39, 100, 0, 0], [600, 7, 2, 43, 100, 0, 0], [600, 10, 1, 35, 100, 0, 0], [602, 4, 0, 40, 100, 0, 0], [602, 5, 0, 40, 100, 0, 0], [604, 2, 13, 35, 100, 0, 0], [604, 4, 0, 40, 100, 0, 0], [604, 5, 0, 40, 100, 0, 0], [604, 8, 3, 40, 100, 0, 0], [604, 10, 1, 35, 100, 0, 0], [605, 3, 13, 35, 100, 0, 0], [605, 10, 1, 35, 100, 0, 0], [606, 4, 0, 40, 100, 0, 0], [606, 5, 0, 40, 100, 0, 0], [606, 10, 1, 36, 100, 0, 0], [607, 10, 1, 36, 100, 0, 0], [608, 0, 12, 37, 100, 0, 0], [608, 1, 13, 37, 100, 0, 0], [608, 4, 0, 39, 100, 0, 0], [608, 5, 0, 39, 100, 0, 0], [608, 7, 2, 43, 100, 0, 0], [608, 10, 1, 37, 100, 0, 0], [609, 3, 13, 37, 100, 0, 0], [609, 10, 1, 37, 100, 0, 0], [610, 2, 13, 39, 100, 0, 0], [610, 4, 0, 40, 100, 0, 0], [610, 5, 0, 40, 100, 0, 0], [610, 10, 1, 37, 100, 0, 0], [611, 3, 13, 39, 100, 0, 0], [612, 2, 13, 40, 100, 0, 0], [612, 4, 0, 40, 100, 0, 0], [612, 5, 0, 40, 100, 0, 0], [612, 8, 3, 40, 100, 0, 0], [613, 3, 13, 40, 100, 0, 0], [614, 2, 13, 47, 100, 0, 0], [614, 4, 0, 47, 100, 0, 0], [614, 5, 0, 47, 100, 0, 0], [614, 10, 1, 37, 100, 0, 0], [615, 3, 13, 47, 100, 0, 0], [615, 10, 1, 37, 100, 0, 0], [616, 7, 2, 43, 100, 0, 0], [616, 10, 1, 37, 100, 0, 0], [620, 2, 13, 40, 100, 0, 0], [620, 4, 0, 42, 100, 0, 0], [620, 5, 0, 42, 100, 0, 0], [620, 8, 3, 40, 100, 0, 0], [621, 3, 13, 40, 100, 0, 0], [622, 4, 0, 44, 100, 0, 0], [622, 5, 0, 44, 100, 0, 0], [624, 0, 12, 32, 100, 0, 0], [624, 1, 13, 32, 100, 0, 0], [624, 4, 0, 44, 100, 0, 0], [624, 5, 0, 44, 100, 0, 0], [624, 7, 2, 43, 100, 0, 0], [624, 10, 1, 32, 100, 0, 0], [625, 3, 13, 32, 100, 0, 0], [625, 10, 1, 32, 100, 0, 0], [626, 4, 0, 51, 100, 0, 0], [626, 5, 0, 51, 100, 0, 0], [626, 10, 1, 32, 100, 0, 0], [628, 2, 13, 39, 100, 0, 0], [628, 8, 3, 40, 100, 0, 0], [629, 3, 13, 39, 100, 0, 0], [630, 2, 13, 40, 100, 0, 0], [630, 10, 1, 32, 100, 0, 0], [631, 3, 13, 40, 100, 0, 0], [631, 10, 1, 32, 100, 0, 0], [632, 2, 13, 39, 100, 0, 0], [632, 4, 0, 47, 100, 0, 0], [632, 5, 0, 47, 100, 0, 0], [632, 7, 2, 43, 100, 0, 0], [632, 10, 1, 32, 100, 0, 0], [633, 3, 13, 39, 100, 0, 0], [633, 4, 0, 47, 100, 0, 0], [633, 5, 0, 47, 100, 0, 0], [633, 10, 1, 44, 100, 0, 0], [634, 2, 13, 35, 100, 0, 0], [634, 4, 0, 47, 100, 0, 0], [634, 5, 0, 47, 100, 0, 0], [634, 7, 2, 43, 100, 0, 0], [634, 10, 1, 44, 100, 0, 0], [635, 3, 13, 35, 100, 0, 0], [635, 4, 0, 47, 100, 0, 0], [635, 5, 0, 47, 100, 0, 0], [636, 2, 13, 37, 100, 0, 0], [636, 4, 0, 47, 100, 0, 0], [636, 5, 0, 47, 100, 0, 0], [636, 7, 2, 43, 100, 0, 0], [636, 8, 3, 40, 100, 0, 0], [636, 10, 1, 40, 100, 0, 0], [637, 3, 13, 37, 100, 0, 0], [637, 10, 1, 40, 100, 0, 0], [638, 4, 0, 49, 100, 0, 0], [638, 5, 0, 49, 100, 0, 0], [638, 7, 2, 43, 100, 0, 0], [640, 0, 12, 33, 100, 0, 0], [640, 1, 13, 33, 100, 0, 0], [640, 4, 0, 39, 100, 0, 0], [640, 5, 0, 39, 100, 0, 0], [640, 7, 2, 43, 100, 0, 0], [640, 10, 1, 33, 100, 0, 0], [640, 11, 7, 44, 100, 0, 0], [640, 12, 8, 44, 100, 0, 0], [641, 3, 13, 33, 100, 0, 0], [641, 10, 1, 33, 100, 0, 0], [642, 2, 13, 39, 100, 0, 0], [642, 4, 0, 40, 100, 0, 0], [642, 5, 0, 40, 100, 0, 0], [642, 10, 1, 33, 100, 0, 0], [643, 3, 13, 39, 100, 0, 0], [644, 2, 13, 40, 100, 0, 0], [644, 4, 0, 40, 100, 0, 0], [644, 5, 0, 40, 100, 0, 0], [644, 8, 3, 40, 100, 0, 0], [644, 12, 8, 40, 100, 0, 0], [645, 3, 13, 40, 100, 0, 0], [646, 2, 13, 47, 100, 0, 0], [646, 4, 0, 47, 100, 0, 0], [646, 5, 0, 47, 100, 0, 0], [646, 10, 1, 33, 100, 0, 0], [646, 11, 7, 40, 100, 0, 0], [647, 3, 13, 47, 100, 0, 0], [647, 10, 1, 33, 100, 0, 0], [648, 7, 2, 43, 100, 0, 0], [648, 10, 1, 33, 100, 0, 0], [652, 2, 13, 40, 100, 0, 0], [652, 4, 0, 40, 100, 0, 0], [652, 5, 0, 40, 100, 0, 0], [652, 8, 3, 40, 100, 0, 0], [653, 3, 13, 40, 100, 0, 0], [654, 4, 0, 40, 100, 0, 0], [654, 5, 0, 40, 100, 0, 0], [656, 0, 12, 35, 100, 0, 0], [656, 1, 13, 35, 100, 0, 0], [656, 4, 0, 39, 100, 0, 0], [656, 5, 0, 39, 100, 0, 0], [656, 7, 2, 43, 100, 0, 0], [656, 10, 1, 35, 100, 0, 0], [656, 11, 7, 42, 100, 0, 0], [656, 12, 8, 42, 100, 0, 0], [657, 3, 13, 35, 100, 0, 0], [657, 10, 1, 35, 100, 0, 0], [658, 4, 0, 39, 100, 0, 0], [658, 5, 0, 39, 100, 0, 0], [658, 10, 1, 35, 100, 0, 0], [660, 2, 13, 39, 100, 0, 0], [660, 4, 0, 39, 100, 0, 0], [660, 5, 0, 39, 100, 0, 0], [660, 8, 3, 40, 100, 0, 0], [661, 3, 13, 39, 100, 0, 0], [662, 2, 13, 40, 100, 0, 0], [662, 4, 0, 39, 100, 0, 0], [662, 5, 0, 39, 100, 0, 0], [662, 10, 1, 35, 100, 0, 0], [663, 3, 13, 40, 100, 0, 0], [663, 10, 1, 35, 100, 0, 0], [664, 4, 0, 39, 100, 0, 0], [664, 5, 0, 39, 100, 0, 0], [664, 7, 2, 43, 100, 0, 0], [664, 10, 1, 35, 100, 0, 0], [666, 4, 0, 40, 100, 0, 0], [666, 5, 0, 40, 100, 0, 0], [668, 2, 13, 35, 100, 0, 0], [668, 4, 0, 40, 100, 0, 0], [668, 5, 0, 40, 100, 0, 0], [668, 8, 3, 40, 100, 0, 0], [668, 10, 1, 35, 100, 0, 0], [669, 3, 13, 35, 100, 0, 0], [669, 10, 1, 35, 100, 0, 0], [670, 4, 0, 40, 100, 0, 0], [670, 5, 0, 40, 100, 0, 0], [670, 10, 1, 36, 100, 0, 0], [671, 10, 1, 36, 100, 0, 0], [672, 0, 12, 37, 100, 0, 0], [672, 1, 13, 37, 100, 0, 0], [672, 4, 0, 39, 100, 0, 0], [672, 5, 0, 39, 100, 0, 0], [672, 7, 2, 43, 100, 0, 0], [672, 10, 1, 37, 100, 0, 0], [672, 11, 7, 44, 100, 0, 0], [672, 12, 8, 44, 100, 0, 0], [673, 3, 13, 37, 100, 0, 0], [673, 10, 1, 37, 100, 0, 0], [674, 2, 13, 39, 100, 0, 0], [674, 4, 0, 40, 100, 0, 0], [674, 5, 0, 40, 100, 0, 0], [674, 10, 1, 37, 100, 0, 0], [675, 3, 13, 39, 100, 0, 0], [676, 2, 13, 40, 100, 0, 0], [676, 4, 0, 40, 100, 0, 0], [676, 5, 0, 40, 100, 0, 0], [676, 8, 3, 40, 100, 0, 0], [676, 12, 8, 40, 100, 0, 0], [677, 3, 13, 40, 100, 0, 0], [678, 2, 13, 47, 100, 0, 0], [678, 4, 0, 47, 100, 0, 0], [678, 5, 0, 47, 100, 0, 0], [678, 10, 1, 37, 100, 0, 0], [678, 11, 7, 40, 100, 0, 0], [679, 3, 13, 47, 100, 0, 0], [679, 10, 1, 37, 100, 0, 0], [680, 7, 2, 43, 100, 0, 0], [680, 10, 1, 37, 100, 0, 0], [684, 2, 13, 40, 100, 0, 0], [684, 4, 0, 40, 100, 0, 0], [684, 5, 0, 40, 100, 0, 0], [684, 8, 3, 40, 100, 0, 0], [685, 3, 13, 40, 100, 0, 0], [686, 4, 0, 40, 100, 0, 0], [686, 5, 0, 40, 100, 0, 0], [688, 0, 12, 32, 100, 0, 0], [688, 1, 13, 32, 100, 0, 0], [688, 4, 0, 39, 100, 0, 0], [688, 5, 0, 39, 100, 0, 0], [688, 7, 2, 43, 100, 0, 0], [688, 10, 1, 32, 100, 0, 0], [688, 11, 7, 39, 100, 0, 0], [688, 12, 8, 39, 100, 0, 0], [688, 13, 8, 42, 100, 0, 0], [688, 14, 8, 35, 100, 0, 0], [689, 3, 13, 32, 100, 0, 0], [689, 10, 1, 32, 100, 0, 0], [690, 4, 0, 39, 100, 0, 0], [690, 5, 0, 39, 100, 0, 0], [690, 10, 1, 32, 100, 0, 0], [692, 2, 13, 39, 100, 0, 0], [692, 4, 0, 39, 100, 0, 0], [692, 5, 0, 39, 100, 0, 0], [692, 8, 3, 40, 100, 0, 0], [693, 3, 13, 39, 100, 0, 0], [694, 2, 13, 40, 100, 0, 0], [694, 4, 0, 39, 100, 0, 0], [694, 5, 0, 39, 100, 0, 0], [694, 10, 1, 32, 100, 0, 0], [695, 3, 13, 40, 100, 0, 0], [695, 10, 1, 32, 100, 0, 0], [696, 4, 0, 39, 100, 0, 0], [696, 5, 0, 39, 100, 0, 0], [696, 7, 2, 43, 100, 0, 0], [696, 10, 1, 32, 100, 0, 0], [697, 10, 1, 36, 100, 0, 0], [698, 4, 0, 40, 100, 0, 0], [698, 5, 0, 40, 100, 0, 0], [698, 7, 2, 43, 100, 0, 0], [698, 10, 1, 38, 100, 0, 0], [699, 10, 1, 34, 100, 0, 0], [700, 2, 13, 35, 100, 0, 0], [700, 4, 0, 40, 100, 0, 0], [700, 5, 0, 40, 100, 0, 0], [700, 7, 2, 43, 100, 0, 0], [700, 8, 3, 40, 100, 0, 0], [700, 10, 1, 32, 100, 0, 0], [701, 3, 13, 35, 100, 0, 0], [702, 2, 13, 37, 100, 0, 0], [702, 7, 2, 43, 100, 0, 0], [703, 3, 13, 37, 100, 0, 0], [704, 0, 12, 33, 100, 0, 0], [704, 1, 13, 33, 100, 0, 0], [704, 4, 0, 39, 100, 0, 0], [704, 5, 0, 39, 100, 0, 0], [704, 7, 2, 43, 100, 0, 0], [704, 10, 1, 33, 100, 0, 0], [704, 11, 7, 44, 100, 0, 0], [704, 12, 8, 44, 100, 0, 0], [705, 3, 13, 33, 100, 0, 0], [705, 10, 1, 33, 100, 0, 0], [706, 2, 13, 39, 100, 0, 0], [706, 4, 0, 40, 100, 0, 0], [706, 5, 0, 40, 100, 0, 0], [706, 10, 1, 33, 100, 0, 0], [707, 3, 13, 39, 100, 0, 0], [708, 2, 13, 40, 100, 0, 0], [708, 4, 0, 40, 100, 0, 0], [708, 5, 0, 40, 100, 0, 0], [708, 8, 3, 40, 100, 0, 0], [708, 12, 8, 40, 100, 0, 0], [709, 3, 13, 40, 100, 0, 0], [710, 2, 13, 47, 100, 0, 0], [710, 4, 0, 47, 100, 0, 0], [710, 5, 0, 47, 100, 0, 0], [710, 10, 1, 33, 100, 0, 0], [710, 11, 7, 40, 100, 0, 0], [711, 3, 13, 47, 100, 0, 0], [711, 10, 1, 33, 100, 0, 0], [712, 7, 2, 43, 100, 0, 0], [712, 10, 1, 33, 100, 0, 0], [716, 2, 13, 40, 100, 0, 0], [716, 4, 0, 40, 100, 0, 0], [716, 5, 0, 40, 100, 0, 0], [716, 8, 3, 40, 100, 0, 0], [717, 3, 13, 40, 100, 0, 0], [718, 4, 0, 40, 100, 0, 0], [718, 5, 0, 40, 100, 0, 0], [720, 0, 12, 35, 100, 0, 0], [720, 1, 13, 35, 100, 0, 0], [720, 4, 0, 39, 100, 0, 0], [720, 5, 0, 39, 100, 0, 0], [720, 7, 2, 43, 100, 0, 0], [720, 10, 1, 35, 100, 0, 0], [720, 11, 7, 42, 100, 0, 0], [720, 12, 8, 42, 100, 0, 0], [721, 3, 13, 35, 100, 0, 0], [721, 10, 1, 35, 100, 0, 0], [722, 4, 0, 39, 100, 0, 0], [722, 5, 0, 39, 100, 0, 0], [722, 10, 1, 35, 100, 0, 0], [724, 2, 13, 39, 100, 0, 0], [724, 4, 0, 39, 100, 0, 0], [724, 5, 0, 39, 100, 0, 0], [724, 8, 3, 40, 100, 0, 0], [725, 3, 13, 39, 100, 0, 0], [726, 2, 13, 40, 100, 0, 0], [726, 4, 0, 39, 100, 0, 0], [726, 5, 0, 39, 100, 0, 0], [726, 10, 1, 35, 100, 0, 0], [727, 3, 13, 40, 100, 0, 0], [727, 10, 1, 35, 100, 0, 0], [728, 4, 0, 39, 100, 0, 0], [728, 5, 0, 39, 100, 0, 0], [728, 7, 2, 43, 100, 0, 0], [728, 10, 1, 35, 100, 0, 0], [730, 4, 0, 40, 100, 0, 0], [730, 5, 0, 40, 100, 0, 0], [732, 2, 13, 35, 100, 0, 0], [732, 4, 0, 40, 100, 0, 0], [732, 5, 0, 40, 100, 0, 0], [732, 8, 3, 40, 100, 0, 0], [732, 10, 1, 35, 100, 0, 0], [733, 3, 13, 35, 100, 0, 0], [733, 10, 1, 35, 100, 0, 0], [734, 4, 0, 40, 100, 0, 0], [734, 5, 0, 40, 100, 0, 0], [734, 10, 1, 36, 100, 0, 0], [735, 10, 1, 36, 100, 0, 0], [736, 0, 12, 37, 100, 0, 0], [736, 1, 13, 37, 100, 0, 0], [736, 4, 0, 39, 100, 0, 0], [736, 5, 0, 39, 100, 0, 0], [736, 7, 2, 43, 100, 0, 0], [736, 10, 1, 37, 100, 0, 0], [736, 11, 7, 44, 100, 0, 0], [736, 12, 8, 44, 100, 0, 0], [737, 3, 13, 37, 100, 0, 0], [737, 10, 1, 37, 100, 0, 0], [738, 2, 13, 39, 100, 0, 0], [738, 4, 0, 40, 100, 0, 0], [738, 5, 0, 40, 100, 0, 0], [738, 10, 1, 37, 100, 0, 0], [739, 3, 13, 39, 100, 0, 0], [740, 2, 13, 40, 100, 0, 0], [740, 4, 0, 40, 100, 0, 0], [740, 5, 0, 40, 100, 0, 0], [740, 8, 3, 40, 100, 0, 0], [740, 12, 8, 40, 100, 0, 0], [741, 3, 13, 40, 100, 0, 0], [742, 2, 13, 47, 100, 0, 0], [742, 4, 0, 47, 100, 0, 0], [742, 5, 0, 47, 100, 0, 0], [742, 10, 1, 37, 100, 0, 0], [742, 11, 7, 40, 100, 0, 0], [743, 3, 13, 47, 100, 0, 0], [743, 10, 1, 37, 100, 0, 0], [744, 7, 2, 43, 100, 0, 0], [744, 10, 1, 37, 100, 0, 0], [748, 2, 13, 40, 100, 0, 0], [748, 4, 0, 42, 100, 0, 0], [748, 5, 0, 42, 100, 0, 0], [748, 8, 3, 40, 100, 0, 0], [749, 3, 13, 40, 100, 0, 0], [750, 4, 0, 44, 100, 0, 0], [750, 5, 0, 44, 100, 0, 0], [752, 0, 12, 32, 100, 0, 0], [752, 1, 13, 32, 100, 0, 0], [752, 4, 0, 44, 100, 0, 0], [752, 5, 0, 44, 100, 0, 0], [752, 7, 2, 43, 100, 0, 0], [752, 10, 1, 32, 100, 0, 0], [752, 11, 7, 39, 100, 0, 0], [752, 12, 8, 39, 100, 0, 0], [752, 13, 8, 42, 100, 0, 0], [752, 14, 8, 35, 100, 0, 0], [753, 3, 13, 32, 100, 0, 0], [753, 10, 1, 32, 100, 0, 0], [754, 4, 0, 51, 100, 0, 0], [754, 5, 0, 51, 100, 0, 0], [754, 10, 1, 32, 100, 0, 0], [756, 2, 13, 39, 100, 0, 0], [756, 8, 3, 40, 100, 0, 0], [757, 3, 13, 39, 100, 0, 0], [758, 2, 13, 40, 100, 0, 0], [758, 10, 1, 32, 100, 0, 0], [759, 3, 13, 40, 100, 0, 0], [759, 10, 1, 32, 100, 0, 0], [760, 2, 13, 39, 100, 0, 0], [760, 4, 0, 47, 100, 0, 0], [760, 5, 0, 47, 100, 0, 0], [760, 7, 2, 43, 100, 0, 0], [760, 10, 1, 32, 100, 0, 0], [761, 3, 13, 39, 100, 0, 0], [761, 4, 0, 47, 100, 0, 0], [761, 5, 0, 47, 100, 0, 0], [761, 10, 1, 44, 100, 0, 0], [762, 2, 13, 35, 100, 0, 0], [762, 4, 0, 47, 100, 0, 0], [762, 5, 0, 47, 100, 0, 0], [762, 7, 2, 43, 100, 0, 0], [762, 10, 1, 44, 100, 0, 0], [763, 3, 13, 35, 100, 0, 0], [763, 4, 0, 47, 100, 0, 0], [763, 5, 0, 47, 100, 0, 0], [764, 2, 13, 37, 100, 0, 0], [764, 4, 0, 47, 100, 0, 0], [764, 5, 0, 47, 100, 0, 0], [764, 7, 2, 43, 100, 0, 0], [764, 8, 3, 40, 100, 0, 0], [764, 10, 1, 40, 100, 0, 0], [765, 3, 13, 37, 100, 0, 0], [765, 10, 1, 40, 100, 0, 0], [766, 4, 0, 49, 100, 0, 0], [766, 5, 0, 49, 100, 0, 0], [766, 7, 2, 43, 100, 0, 0], [770, 4, 0, 44, 100, 0, 0], [770, 5, 0, 44, 100, 0, 0], [772, 4, 0, 44, 100, 0, 0], [772, 5, 0, 44, 100, 0, 0], [774, 4, 0, 44, 100, 0, 0], [774, 5, 0, 44, 100, 0, 0], [776, 4, 0, 44, 100, 0, 0], [776, 5, 0, 44, 100, 0, 0], [778, 4, 0, 40, 100, 0, 0], [778, 5, 0, 40, 100, 0, 0], [780, 4, 0, 40, 100, 0, 0], [780, 5, 0, 40, 100, 0, 0], [782, 4, 0, 40, 100, 0, 0], [782, 5, 0, 40, 100, 0, 0], [784, 4, 0, 40, 100, 0, 0], [784, 5, 0, 40, 100, 0, 0], [786, 4, 0, 42, 100, 0, 0], [786, 5, 0, 42, 100, 0, 0], [788, 4, 0, 42, 100, 0, 0], [788, 5, 0, 42, 100, 0, 0], [792, 8, 3, 40, 100, 0, 0], [796, 4, 6, 51, 100, 0, 0], [796, 8, 3, 40, 100, 0, 0], [798, 4, 6, 49, 100, 0, 0], [800, 0, 12, 37, 100, 0, 0], [800, 1, 13, 37, 100, 0, 0], [800, 7, 2, 43, 100, 0, 0], [800, 10, 1, 37, 100, 0, 0], [801, 10, 1, 37, 100, 0, 0], [802, 2, 13, 39, 100, 0, 0], [802, 10, 1, 37, 100, 0, 0], [803, 3, 13, 39, 100, 0, 0], [804, 2, 13, 40, 100, 0, 0], [804, 4, 0, 42, 100, 0, 0], [804, 5, 0, 42, 100, 0, 0], [804, 8, 3, 40, 100, 0, 0], [805, 3, 13, 40, 100, 0, 0], [806, 2, 13, 47, 100, 0, 0], [806, 4, 0, 44, 100, 0, 0], [806, 5, 0, 44, 100, 0, 0], [806, 10, 1, 37, 100, 0, 0], [807, 3, 13, 47, 100, 0, 0], [807, 10, 1, 37, 100, 0, 0], [808, 4, 0, 44, 100, 0, 0], [808, 5, 0, 44, 100, 0, 0], [808, 7, 2, 43, 100, 0, 0], [808, 10, 1, 37, 100, 0, 0], [810, 4, 0, 40, 100, 0, 0], [810, 5, 0, 40, 100, 0, 0], [812, 2, 13, 40, 100, 0, 0], [812, 4, 0, 40, 100, 0, 0], [812, 5, 0, 40, 100, 0, 0], [812, 8, 3, 40, 100, 0, 0], [813, 3, 13, 40, 100, 0, 0], [814, 4, 0, 40, 100, 0, 0], [814, 5, 0, 40, 100, 0, 0], [816, 0, 12, 32, 100, 0, 0], [816, 1, 13, 32, 100, 0, 0], [816, 4, 0, 40, 100, 0, 0], [816, 5, 0, 40, 100, 0, 0], [816, 7, 2, 43, 100, 0, 0], [816, 10, 1, 32, 100, 0, 0], [817, 10, 1, 32, 100, 0, 0], [818, 4, 0, 42, 100, 0, 0], [818, 5, 0, 42, 100, 0, 0], [818, 10, 1, 32, 100, 0, 0], [820, 2, 13, 39, 100, 0, 0], [820, 4, 0, 42, 100, 0, 0], [820, 5, 0, 42, 100, 0, 0], [820, 8, 3, 40, 100, 0, 0], [821, 3, 13, 39, 100, 0, 0], [821, 4, 0, 42, 100, 0, 0], [821, 5, 0, 42, 100, 0, 0], [822, 2, 13, 40, 100, 0, 0], [822, 4, 0, 42, 100, 0, 0], [822, 5, 0, 42, 100, 0, 0], [822, 10, 1, 32, 100, 0, 0], [823, 3, 13, 40, 100, 0, 0], [823, 4, 0, 42, 100, 0, 0], [823, 5, 0, 42, 100, 0, 0], [823, 10, 1, 32, 100, 0, 0], [824, 4, 0, 42, 100, 0, 0], [824, 5, 0, 42, 100, 0, 0], [824, 7, 2, 43, 100, 0, 0], [824, 10, 1, 32, 100, 0, 0], [825, 4, 0, 42, 100, 0, 0], [825, 5, 0, 42, 100, 0, 0], [826, 4, 0, 40, 100, 0, 0], [826, 5, 0, 40, 100, 0, 0], [826, 7, 2, 43, 100, 0, 0], [827, 4, 0, 40, 100, 0, 0], [827, 5, 0, 40, 100, 0, 0], [828, 2, 13, 35, 100, 0, 0], [828, 4, 0, 42, 100, 0, 0], [828, 5, 0, 42, 100, 0, 0], [828, 8, 3, 40, 100, 0, 0], [829, 3, 13, 35, 100, 0, 0], [829, 4, 0, 42, 100, 0, 0], [829, 5, 0, 42, 100, 0, 0], [830, 2, 13, 37, 100, 0, 0], [830, 4, 0, 40, 100, 0, 0], [830, 5, 0, 40, 100, 0, 0], [831, 3, 13, 37, 100, 0, 0], [831, 4, 0, 40, 100, 0, 0], [831, 5, 0, 40, 100, 0, 0], [832, 0, 12, 33, 100, 0, 0], [832, 1, 13, 33, 100, 0, 0], [832, 7, 2, 43, 100, 0, 0], [832, 10, 1, 33, 100, 0, 0], [833, 10, 1, 33, 100, 0, 0], [834, 2, 13, 39, 100, 0, 0], [834, 10, 1, 33, 100, 0, 0], [835, 3, 13, 39, 100, 0, 0], [836, 2, 13, 40, 100, 0, 0], [836, 4, 0, 44, 100, 0, 0], [836, 5, 0, 44, 100, 0, 0], [836, 8, 3, 40, 100, 0, 0], [837, 3, 13, 40, 100, 0, 0], [838, 2, 13, 47, 100, 0, 0], [838, 4, 0, 44, 100, 0, 0], [838, 5, 0, 44, 100, 0, 0], [838, 10, 1, 33, 100, 0, 0], [839, 3, 13, 47, 100, 0, 0], [839, 10, 1, 33, 100, 0, 0], [840, 4, 0, 44, 100, 0, 0], [840, 5, 0, 44, 100, 0, 0], [840, 7, 2, 43, 100, 0, 0], [840, 10, 1, 33, 100, 0, 0], [842, 4, 0, 47, 100, 0, 0], [842, 5, 0, 47, 100, 0, 0], [844, 2, 13, 40, 100, 0, 0], [844, 4, 0, 40, 100, 0, 0], [844, 5, 0, 40, 100, 0, 0], [844, 8, 3, 40, 100, 0, 0], [845, 3, 13, 40, 100, 0, 0], [846, 4, 0, 40, 100, 0, 0], [846, 5, 0, 40, 100, 0, 0], [848, 0, 12, 35, 100, 0, 0], [848, 1, 13, 35, 100, 0, 0], [848, 4, 0, 40, 100, 0, 0], [848, 5, 0, 40, 100, 0, 0], [848, 7, 2, 43, 100, 0, 0], [848, 10, 1, 35, 100, 0, 0], [849, 10, 1, 35, 100, 0, 0], [850, 4, 0, 42, 100, 0, 0], [850, 5, 0, 42, 100, 0, 0], [850, 10, 1, 35, 100, 0, 0], [852, 2, 13, 39, 100, 0, 0], [852, 4, 0, 42, 100, 0, 0], [852, 5, 0, 42, 100, 0, 0], [852, 8, 3, 40, 100, 0, 0], [853, 3, 13, 39, 100, 0, 0], [854, 2, 13, 40, 100, 0, 0], [854, 10, 1, 35, 100, 0, 0], [855, 3, 13, 40, 100, 0, 0], [855, 10, 1, 35, 100, 0, 0], [856, 7, 2, 43, 100, 0, 0], [856, 10, 1, 35, 100, 0, 0], [858, 4, 6, 47, 100, 0, 0], [860, 2, 13, 35, 100, 0, 0], [860, 4, 6, 51, 100, 0, 0], [860, 8, 3, 40, 100, 0, 0], [860, 10, 1, 35, 100, 0, 0], [861, 3, 13, 35, 100, 0, 0], [861, 10, 1, 35, 100, 0, 0], [862, 4, 6, 49, 100, 0, 0], [862, 10, 1, 36, 100, 0, 0], [863, 10, 1, 36, 100, 0, 0], [864, 0, 12, 37, 100, 0, 0], [864, 1, 13, 37, 100, 0, 0], [864, 7, 2, 43, 100, 0, 0], [864, 10, 1, 37, 100, 0, 0], [865, 10, 1, 37, 100, 0, 0], [866, 2, 13, 39, 100, 0, 0], [866, 4, 0, 37, 100, 0, 0], [866, 5, 0, 37, 100, 0, 0], [866, 10, 1, 37, 100, 0, 0], [867, 3, 13, 39, 100, 0, 0], [868, 2, 13, 40, 100, 0, 0], [868, 4, 0, 44, 100, 0, 0], [868, 5, 0, 44, 100, 0, 0], [868, 8, 3, 40, 100, 0, 0], [869, 3, 13, 40, 100, 0, 0], [870, 2, 13, 47, 100, 0, 0], [870, 4, 0, 44, 100, 0, 0], [870, 5, 0, 44, 100, 0, 0], [870, 10, 1, 37, 100, 0, 0], [871, 3, 13, 47, 100, 0, 0], [871, 10, 1, 37, 100, 0, 0], [872, 4, 0, 44, 100, 0, 0], [872, 5, 0, 44, 100, 0, 0], [872, 7, 2, 43, 100, 0, 0], [872, 10, 1, 37, 100, 0, 0], [874, 4, 0, 40, 100, 0, 0], [874, 5, 0, 40, 100, 0, 0], [876, 2, 13, 40, 100, 0, 0], [876, 4, 0, 40, 100, 0, 0], [876, 5, 0, 40, 100, 0, 0], [876, 8, 3, 40, 100, 0, 0], [877, 3, 13, 40, 100, 0, 0], [878, 4, 0, 40, 100, 0, 0], [878, 5, 0, 40, 100, 0, 0], [880, 0, 12, 32, 100, 0, 0], [880, 1, 13, 32, 100, 0, 0], [880, 4, 0, 40, 100, 0, 0], [880, 5, 0, 40, 100, 0, 0], [880, 7, 2, 43, 100, 0, 0], [880, 10, 1, 32, 100, 0, 0], [881, 10, 1, 32, 100, 0, 0], [882, 4, 0, 42, 100, 0, 0], [882, 5, 0, 42, 100, 0, 0], [882, 10, 1, 32, 100, 0, 0], [884, 2, 13, 39, 100, 0, 0], [884, 4, 0, 42, 100, 0, 0], [884, 5, 0, 42, 100, 0, 0], [884, 8, 3, 40, 100, 0, 0], [885, 3, 13, 39, 100, 0, 0], [885, 4, 0, 42, 100, 0, 0], [885, 5, 0, 42, 100, 0, 0], [886, 2, 13, 40, 100, 0, 0], [886, 4, 0, 42, 100, 0, 0], [886, 5, 0, 42, 100, 0, 0], [886, 10, 1, 32, 100, 0, 0], [887, 3, 13, 40, 100, 0, 0], [887, 4, 0, 42, 100, 0, 0], [887, 5, 0, 42, 100, 0, 0], [887, 10, 1, 32, 100, 0, 0], [888, 2, 13, 39, 100, 0, 0], [888, 4, 0, 42, 100, 0, 0], [888, 5, 0, 42, 100, 0, 0], [888, 7, 2, 43, 100, 0, 0], [888, 10, 1, 32, 100, 0, 0], [889, 3, 13, 39, 100, 0, 0], [889, 4, 0, 42, 100, 0, 0], [889, 5, 0, 42, 100, 0, 0], [889, 10, 1, 36, 100, 0, 0], [890, 2, 13, 35, 100, 0, 0], [890, 4, 0, 40, 100, 0, 0], [890, 5, 0, 40, 100, 0, 0], [890, 7, 2, 43, 100, 0, 0], [890, 10, 1, 38, 100, 0, 0], [891, 3, 13, 35, 100, 0, 0], [891, 4, 0, 40, 100, 0, 0], [891, 5, 0, 40, 100, 0, 0], [891, 10, 1, 34, 100, 0, 0], [892, 2, 13, 37, 100, 0, 0], [892, 4, 0, 42, 100, 0, 0], [892, 5, 0, 42, 100, 0, 0], [892, 8, 3, 40, 100, 0, 0], [892, 10, 1, 32, 100, 0, 0], [893, 3, 13, 37, 100, 0, 0], [893, 4, 0, 42, 100, 0, 0], [893, 5, 0, 42, 100, 0, 0], [894, 4, 0, 40, 100, 0, 0], [894, 5, 0, 40, 100, 0, 0], [894, 7, 2, 43, 100, 0, 0], [895, 4, 0, 40, 100, 0, 0], [895, 5, 0, 40, 100, 0, 0], [896, 0, 12, 33, 100, 0, 0], [896, 1, 13, 33, 100, 0, 0], [896, 7, 2, 43, 100, 0, 0], [896, 10, 1, 33, 100, 0, 0], [897, 3, 13, 33, 100, 0, 0], [897, 10, 1, 33, 100, 0, 0], [898, 2, 13, 39, 100, 0, 0], [898, 4, 0, 51, 100, 0, 0], [898, 5, 0, 51, 100, 0, 0], [898, 10, 1, 33, 100, 0, 0], [899, 3, 13, 39, 100, 0, 0], [900, 2, 13, 40, 100, 0, 0], [900, 4, 0, 51, 100, 0, 0], [900, 5, 0, 51, 100, 0, 0], [900, 8, 3, 40, 100, 0, 0], [901, 3, 13, 40, 100, 0, 0], [902, 2, 13, 47, 100, 0, 0], [902, 4, 0, 52, 100, 0, 0], [902, 5, 0, 52, 100, 0, 0], [902, 10, 1, 33, 100, 0, 0], [903, 3, 13, 47, 100, 0, 0], [903, 10, 1, 33, 100, 0, 0], [904, 7, 2, 43, 100, 0, 0], [904, 10, 1, 33, 100, 0, 0], [906, 4, 0, 42, 100, 0, 0], [906, 5, 0, 42, 100, 0, 0], [908, 2, 13, 40, 100, 0, 0], [908, 4, 0, 42, 100, 0, 0], [908, 5, 0, 42, 100, 0, 0], [908, 8, 3, 40, 100, 0, 0], [909, 3, 13, 40, 100, 0, 0], [910, 4, 0, 40, 100, 0, 0], [910, 5, 0, 40, 100, 0, 0], [912, 0, 12, 35, 100, 0, 0], [912, 1, 13, 35, 100, 0, 0], [912, 4, 0, 42, 100, 0, 0], [912, 5, 0, 42, 100, 0, 0], [912, 7, 2, 43, 100, 0, 0], [912, 10, 1, 35, 100, 0, 0], [913, 3, 13, 35, 100, 0, 0], [913, 10, 1, 35, 100, 0, 0], [914, 10, 1, 35, 100, 0, 0], [916, 2, 13, 39, 100, 0, 0], [916, 4, 0, 42, 100, 0, 0], [916, 5, 0, 42, 100, 0, 0], [916, 8, 3, 40, 100, 0, 0], [917, 3, 13, 39, 100, 0, 0], [918, 2, 13, 40, 100, 0, 0], [918, 4, 0, 40, 100, 0, 0], [918, 5, 0, 40, 100, 0, 0], [918, 10, 1, 35, 100, 0, 0], [919, 3, 13, 40, 100, 0, 0], [919, 10, 1, 35, 100, 0, 0], [920, 4, 0, 42, 100, 0, 0], [920, 5, 0, 42, 100, 0, 0], [920, 7, 2, 43, 100, 0, 0], [920, 10, 1, 35, 100, 0, 0], [924, 2, 13, 35, 100, 0, 0], [924, 4, 0, 44, 100, 0, 0], [924, 5, 0, 44, 100, 0, 0], [924, 8, 3, 40, 100, 0, 0], [925, 3, 13, 35, 100, 0, 0], [928, 0, 12, 37, 100, 0, 0], [928, 1, 13, 37, 100, 0, 0], [928, 7, 2, 43, 100, 0, 0], [928, 10, 1, 37, 100, 0, 0], [929, 3, 13, 37, 100, 0, 0], [929, 10, 1, 37, 100, 0, 0], [930, 2, 13, 39, 100, 0, 0], [930, 4, 0, 42, 100, 0, 0], [930, 5, 0, 42, 100, 0, 0], [930, 10, 1, 37, 100, 0, 0], [931, 3, 13, 39, 100, 0, 0], [932, 2, 13, 40, 100, 0, 0], [932, 4, 0, 42, 100, 0, 0], [932, 5, 0, 42, 100, 0, 0], [932, 8, 3, 40, 100, 0, 0], [933, 3, 13, 40, 100, 0, 0], [934, 2, 13, 47, 100, 0, 0], [934, 4, 0, 40, 100, 0, 0], [934, 5, 0, 40, 100, 0, 0], [934, 10, 1, 37, 100, 0, 0], [935, 3, 13, 47, 100, 0, 0], [935, 10, 1, 37, 100, 0, 0], [936, 4, 0, 42, 100, 0, 0], [936, 5, 0, 42, 100, 0, 0], [936, 7, 2, 43, 100, 0, 0], [936, 10, 1, 37, 100, 0, 0], [938, 4, 0, 42, 100, 0, 0], [938, 5, 0, 42, 100, 0, 0], [940, 2, 13, 40, 100, 0, 0], [940, 4, 0, 42, 100, 0, 0], [940, 5, 0, 42, 100, 0, 0], [940, 8, 3, 40, 100, 0, 0], [941, 3, 13, 40, 100, 0, 0], [942, 4, 0, 40, 100, 0, 0], [942, 5, 0, 40, 100, 0, 0], [944, 0, 12, 32, 100, 0, 0], [944, 1, 13, 32, 100, 0, 0], [944, 4, 0, 42, 100, 0, 0], [944, 5, 0, 42, 100, 0, 0], [944, 7, 2, 43, 100, 0, 0], [944, 10, 1, 32, 100, 0, 0], [945, 3, 13, 32, 100, 0, 0], [945, 10, 1, 32, 100, 0, 0], [946, 10, 1, 32, 100, 0, 0], [948, 2, 13, 39, 100, 0, 0], [948, 4, 0, 44, 100, 0, 0], [948, 5, 0, 44, 100, 0, 0], [948, 8, 3, 40, 100, 0, 0], [949, 3, 13, 39, 100, 0, 0], [950, 2, 13, 40, 100, 0, 0], [950, 10, 1, 32, 100, 0, 0], [951, 3, 13, 40, 100, 0, 0], [951, 10, 1, 32, 100, 0, 0], [952, 4, 0, 39, 100, 0, 0], [952, 5, 0, 39, 100, 0, 0], [952, 7, 2, 43, 100, 0, 0], [952, 10, 1, 32, 100, 0, 0], [954, 7, 2, 43, 100, 0, 0], [956, 2, 13, 35, 100, 0, 0], [956, 4, 0, 40, 100, 0, 0], [956, 5, 0, 40, 100, 0, 0], [956, 8, 3, 40, 100, 0, 0], [957, 3, 13, 35, 100, 0, 0], [958, 2, 13, 37, 100, 0, 0], [959, 3, 13, 37, 100, 0, 0], [960, 0, 12, 33, 100, 0, 0], [960, 1, 13, 33, 100, 0, 0], [960, 7, 2, 43, 100, 0, 0], [960, 10, 1, 33, 100, 0, 0], [961, 3, 13, 33, 100, 0, 0], [961, 10, 1, 33, 100, 0, 0], [962, 2, 13, 39, 100, 0, 0], [962, 4, 0, 37, 100, 0, 0], [962, 5, 0, 37, 100, 0, 0], [962, 10, 1, 33, 100, 0, 0], [963, 3, 13, 39, 100, 0, 0], [964, 2, 13, 40, 100, 0, 0], [964, 4, 0, 44, 100, 0, 0], [964, 5, 0, 44, 100, 0, 0], [964, 8, 3, 40, 100, 0, 0], [965, 3, 13, 40, 100, 0, 0], [966, 2, 13, 47, 100, 0, 0], [966, 4, 0, 42, 100, 0, 0], [966, 5, 0, 42, 100, 0, 0], [966, 10, 1, 33, 100, 0, 0], [967, 3, 13, 47, 100, 0, 0], [967, 10, 1, 33, 100, 0, 0], [968, 7, 2, 43, 100, 0, 0], [968, 10, 1, 33, 100, 0, 0], [970, 4, 0, 40, 100, 0, 0], [970, 5, 0, 40, 100, 0, 0], [972, 2, 13, 40, 100, 0, 0], [972, 4, 0, 44, 100, 0, 0], [972, 5, 0, 44, 100, 0, 0], [972, 8, 3, 40, 100, 0, 0], [973, 3, 13, 40, 100, 0, 0], [974, 4, 0, 42, 100, 0, 0], [974, 5, 0, 42, 100, 0, 0], [976, 0, 12, 35, 100, 0, 0], [976, 1, 13, 35, 100, 0, 0], [976, 7, 2, 43, 100, 0, 0], [976, 10, 1, 35, 100, 0, 0], [977, 3, 13, 35, 100, 0, 0], [977, 10, 1, 35, 100, 0, 0], [978, 4, 0, 40, 100, 0, 0], [978, 5, 0, 40, 100, 0, 0], [978, 10, 1, 35, 100, 0, 0], [980, 2, 13, 39, 100, 0, 0], [980, 4, 0, 44, 100, 0, 0], [980, 5, 0, 44, 100, 0, 0], [980, 8, 3, 40, 100, 0, 0], [981, 3, 13, 39, 100, 0, 0], [982, 2, 13, 40, 100, 0, 0], [982, 4, 0, 42, 100, 0, 0], [982, 5, 0, 42, 100, 0, 0], [982, 10, 1, 35, 100, 0, 0], [983, 3, 13, 40, 100, 0, 0], [983, 10, 1, 35, 100, 0, 0], [984, 7, 2, 43, 100, 0, 0], [984, 10, 1, 35, 100, 0, 0], [986, 4, 0, 40, 100, 0, 0], [986, 5, 0, 40, 100, 0, 0], [988, 2, 13, 35, 100, 0, 0], [988, 4, 0, 44, 100, 0, 0], [988, 5, 0, 44, 100, 0, 0], [988, 8, 3, 40, 100, 0, 0], [988, 10, 1, 35, 100, 0, 0], [989, 3, 13, 35, 100, 0, 0], [989, 10, 1, 35, 100, 0, 0], [990, 4, 0, 42, 100, 0, 0], [990, 5, 0, 42, 100, 0, 0], [990, 10, 1, 36, 100, 0, 0], [991, 10, 1, 36, 100, 0, 0], [992, 0, 12, 37, 100, 0, 0], [992, 1, 13, 37, 100, 0, 0], [992, 7, 2, 43, 100, 0, 0], [992, 10, 1, 37, 100, 0, 0], [993, 3, 13, 37, 100, 0, 0], [993, 10, 1, 37, 100, 0, 0], [994, 2, 13, 39, 100, 0, 0], [994, 10, 1, 37, 100, 0, 0], [995, 3, 13, 39, 100, 0, 0], [996, 2, 13, 40, 100, 0, 0], [996, 4, 0, 37, 100, 0, 0], [996, 5, 0, 37, 100, 0, 0], [996, 8, 3, 40, 100, 0, 0], [997, 3, 13, 40, 100, 0, 0], [998, 2, 13, 47, 100, 0, 0], [998, 10, 1, 37, 100, 0, 0], [999, 3, 13, 47, 100, 0, 0], [999, 10, 1, 37, 100, 0, 0], [1000, 7, 2, 43, 100, 0, 0], [1000, 10, 1, 37, 100, 0, 0], [1002, 4, 0, 40, 100, 0, 0], [1002, 5, 0, 40, 100, 0, 0], [1004, 2, 13, 40, 100, 0, 0], [1004, 4, 0, 40, 100, 0, 0], [1004, 5, 0, 40, 100, 0, 0], [1004, 8, 3, 40, 100, 0, 0], [1005, 3, 13, 40, 100, 0, 0], [1006, 4, 0, 40, 100, 0, 0], [1006, 5, 0, 40, 100, 0, 0], [1008, 4, 0, 42, 100, 0, 0], [1008, 5, 0, 42, 100, 0, 0], [1009, 4, 0, 42, 100, 0, 0], [1009, 5, 0, 42, 100, 0, 0], [1012, 4, 0, 40, 100, 0, 0], [1012, 5, 0, 40, 100, 0, 0], [1014, 4, 0, 51, 100, 0, 0], [1014, 5, 0, 51, 100, 0, 0], [1016, 4, 0, 49, 100, 0, 0], [1016, 5, 0, 49, 100, 0, 0], [1018, 4, 0, 47, 100, 0, 0], [1018, 5, 0, 47, 100, 0, 0], [1018, 8, 3, 44, 100, 0, 0], [1018, 10, 4, 44, 100, 0, 0], [1020, 8, 3, 44, 100, 0, 0], [1020, 10, 4, 44, 100, 0, 0], [1022, 15, 4, 56, 100, 0, 0], [1024, 0, 12, 33, 100, 0, 0], [1024, 1, 13, 33, 100, 0, 0], [1024, 4, 0, 40, 100, 0, 0], [1024, 5, 0, 40, 100, 0, 0], [1024, 8, 2, 43, 100, 0, 0], [1024, 10, 1, 33, 100, 0, 0], [1024, 15, 3, 56, 100, 0, 0], [1025, 3, 13, 33, 100, 0, 0], [1025, 4, 0, 40, 100, 0, 0], [1025, 5, 0, 40, 100, 0, 0], [1025, 10, 1, 33, 100, 0, 0], [1026, 2, 13, 39, 100, 0, 0], [1026, 4, 0, 40, 100, 0, 0], [1026, 5, 0, 40, 100, 0, 0], [1026, 10, 1, 33, 100, 0, 0], [1026, 15, 3, 56, 100, 0, 0], [1027, 3, 13, 39, 100, 0, 0], [1027, 4, 0, 40, 100, 0, 0], [1027, 5, 0, 40, 100, 0, 0], [1027, 10, 1, 33, 100, 0, 0], [1028, 2, 13, 40, 100, 0, 0], [1028, 4, 0, 40, 100, 0, 0], [1028, 5, 0, 40, 100, 0, 0], [1028, 9, 3, 40, 100, 0, 0], [1028, 10, 1, 33, 100, 0, 0], [1028, 15, 3, 56, 100, 0, 0], [1028, 16, 5, 56, 100, 0, 0], [1029, 3, 13, 40, 100, 0, 0], [1029, 4, 0, 40, 100, 0, 0], [1029, 5, 0, 40, 100, 0, 0], [1029, 10, 1, 33, 100, 0, 0], [1030, 2, 13, 47, 100, 0, 0], [1030, 4, 0, 40, 100, 0, 0], [1030, 5, 0, 40, 100, 0, 0], [1030, 10, 1, 33, 100, 0, 0], [1030, 15, 4, 56, 100, 0, 0], [1031, 3, 13, 47, 100, 0, 0], [1031, 4, 0, 40, 100, 0, 0], [1031, 5, 0, 40, 100, 0, 0], [1031, 10, 1, 33, 100, 0, 0], [1032, 4, 0, 40, 100, 0, 0], [1032, 5, 0, 40, 100, 0, 0], [1032, 8, 2, 43, 100, 0, 0], [1032, 10, 1, 33, 100, 0, 0], [1032, 15, 3, 56, 100, 0, 0], [1032, 16, 5, 56, 100, 0, 0], [1033, 4, 0, 40, 100, 0, 0], [1033, 5, 0, 40, 100, 0, 0], [1033, 10, 1, 33, 100, 0, 0], [1034, 4, 0, 37, 100, 0, 0], [1034, 5, 0, 37, 100, 0, 0], [1034, 10, 1, 33, 100, 0, 0], [1034, 15, 3, 56, 100, 0, 0], [1034, 16, 5, 54, 100, 0, 0], [1035, 4, 0, 37, 100, 0, 0], [1035, 5, 0, 37, 100, 0, 0], [1035, 10, 1, 33, 100, 0, 0], [1036, 2, 13, 40, 100, 0, 0], [1036, 4, 0, 44, 100, 0, 0], [1036, 5, 0, 44, 100, 0, 0], [1036, 9, 3, 40, 100, 0, 0], [1036, 10, 1, 33, 100, 0, 0], [1036, 15, 3, 56, 100, 0, 0], [1037, 3, 13, 40, 100, 0, 0], [1037, 4, 0, 44, 100, 0, 0], [1037, 5, 0, 44, 100, 0, 0], [1037, 10, 1, 33, 100, 0, 0], [1038, 4, 0, 44, 100, 0, 0], [1038, 5, 0, 44, 100, 0, 0], [1038, 10, 1, 33, 100, 0, 0], [1038, 15, 4, 56, 100, 0, 0], [1039, 4, 0, 44, 100, 0, 0], [1039, 5, 0, 44, 100, 0, 0], [1039, 10, 1, 33, 100, 0, 0], [1040, 0, 12, 35, 100, 0, 0], [1040, 1, 13, 35, 100, 0, 0], [1040, 4, 0, 47, 100, 0, 0], [1040, 8, 2, 43, 100, 0, 0], [1040, 10, 1, 35, 100, 0, 0], [1040, 15, 3, 56, 100, 0, 0], [1040, 16, 5, 56, 100, 0, 0], [1041, 3, 13, 35, 100, 0, 0], [1041, 4, 0, 47, 100, 0, 0], [1041, 10, 1, 35, 100, 0, 0], [1042, 4, 0, 47, 100, 0, 0], [1042, 10, 1, 35, 100, 0, 0], [1042, 15, 3, 56, 100, 0, 0], [1043, 4, 0, 47, 100, 0, 0], [1043, 10, 1, 35, 100, 0, 0], [1044, 2, 13, 39, 100, 0, 0], [1044, 4, 0, 45, 100, 0, 0], [1044, 9, 3, 40, 100, 0, 0], [1044, 10, 1, 35, 100, 0, 0], [1044, 15, 3, 56, 100, 0, 0], [1044, 16, 5, 56, 100, 0, 0], [1045, 3, 13, 39, 100, 0, 0], [1045, 4, 0, 45, 100, 0, 0], [1045, 10, 1, 35, 100, 0, 0], [1046, 2, 13, 40, 100, 0, 0], [1046, 4, 0, 44, 100, 0, 0], [1046, 10, 1, 35, 100, 0, 0], [1046, 15, 4, 56, 100, 0, 0], [1046, 16, 5, 54, 100, 0, 0], [1047, 3, 13, 40, 100, 0, 0], [1047, 4, 0, 44, 100, 0, 0], [1047, 10, 1, 35, 100, 0, 0], [1048, 4, 0, 44, 100, 0, 0], [1048, 8, 2, 43, 100, 0, 0], [1048, 10, 1, 35, 100, 0, 0], [1048, 15, 3, 56, 100, 0, 0], [1049, 4, 0, 44, 100, 0, 0], [1049, 10, 1, 35, 100, 0, 0], [1050, 4, 0, 44, 100, 0, 0], [1050, 10, 1, 35, 100, 0, 0], [1050, 15, 3, 56, 100, 0, 0], [1051, 4, 0, 44, 100, 0, 0], [1051, 10, 1, 35, 100, 0, 0], [1052, 2, 13, 35, 100, 0, 0], [1052, 4, 0, 42, 100, 0, 0], [1052, 9, 3, 40, 100, 0, 0], [1052, 10, 1, 35, 100, 0, 0], [1052, 15, 3, 56, 100, 0, 0], [1053, 3, 13, 35, 100, 0, 0], [1053, 4, 0, 42, 100, 0, 0], [1053, 10, 1, 35, 100, 0, 0], [1054, 4, 0, 44, 100, 0, 0], [1054, 10, 1, 35, 100, 0, 0], [1054, 15, 4, 56, 100, 0, 0], [1055, 4, 0, 44, 100, 0, 0], [1055, 10, 1, 35, 100, 0, 0], [1056, 0, 12, 37, 100, 0, 0], [1056, 1, 13, 37, 100, 0, 0], [1056, 4, 0, 40, 100, 0, 0], [1056, 5, 0, 40, 100, 0, 0], [1056, 8, 2, 43, 100, 0, 0], [1056, 10, 1, 37, 100, 0, 0], [1056, 15, 3, 56, 100, 0, 0], [1057, 3, 13, 37, 100, 0, 0], [1057, 4, 0, 40, 100, 0, 0], [1057, 5, 0, 40, 100, 0, 0], [1057, 10, 1, 37, 100, 0, 0], [1058, 2, 13, 39, 100, 0, 0], [1058, 4, 0, 40, 100, 0, 0], [1058, 5, 0, 40, 100, 0, 0], [1058, 10, 1, 37, 100, 0, 0], [1058, 15, 3, 56, 100, 0, 0], [1059, 3, 13, 39, 100, 0, 0], [1059, 4, 0, 40, 100, 0, 0], [1059, 5, 0, 40, 100, 0, 0], [1059, 10, 1, 37, 100, 0, 0], [1060, 2, 13, 40, 100, 0, 0], [1060, 4, 0, 40, 100, 0, 0], [1060, 5, 0, 40, 100, 0, 0], [1060, 9, 3, 40, 100, 0, 0], [1060, 10, 1, 37, 100, 0, 0], [1060, 15, 3, 56, 100, 0, 0], [1060, 16, 5, 56, 100, 0, 0], [1061, 3, 13, 40, 100, 0, 0], [1061, 4, 0, 40, 100, 0, 0], [1061, 5, 0, 40, 100, 0, 0], [1061, 10, 1, 37, 100, 0, 0], [1062, 2, 13, 47, 100, 0, 0], [1062, 4, 0, 40, 100, 0, 0], [1062, 5, 0, 40, 100, 0, 0], [1062, 10, 1, 37, 100, 0, 0], [1062, 15, 4, 56, 100, 0, 0], [1063, 3, 13, 47, 100, 0, 0], [1063, 4, 0, 40, 100, 0, 0], [1063, 5, 0, 40, 100, 0, 0], [1063, 10, 1, 37, 100, 0, 0], [1064, 4, 0, 40, 100, 0, 0], [1064, 5, 0, 40, 100, 0, 0], [1064, 8, 2, 43, 100, 0, 0], [1064, 10, 1, 37, 100, 0, 0], [1064, 15, 3, 56, 100, 0, 0], [1064, 16, 5, 56, 100, 0, 0], [1065, 4, 0, 40, 100, 0, 0], [1065, 5, 0, 40, 100, 0, 0], [1065, 10, 1, 37, 100, 0, 0], [1066, 4, 0, 37, 100, 0, 0], [1066, 5, 0, 37, 100, 0, 0], [1066, 10, 1, 37, 100, 0, 0], [1066, 15, 3, 56, 100, 0, 0], [1066, 16, 5, 54, 100, 0, 0], [1067, 4, 0, 37, 100, 0, 0], [1067, 5, 0, 37, 100, 0, 0], [1067, 10, 1, 37, 100, 0, 0], [1068, 2, 13, 40, 100, 0, 0], [1068, 4, 0, 44, 100, 0, 0], [1068, 5, 0, 44, 100, 0, 0], [1068, 9, 3, 40, 100, 0, 0], [1068, 10, 1, 37, 100, 0, 0], [1068, 15, 3, 56, 100, 0, 0], [1069, 3, 13, 40, 100, 0, 0], [1069, 4, 0, 44, 100, 0, 0], [1069, 5, 0, 44, 100, 0, 0], [1069, 10, 1, 37, 100, 0, 0], [1070, 4, 0, 44, 100, 0, 0], [1070, 5, 0, 44, 100, 0, 0], [1070, 10, 1, 37, 100, 0, 0], [1070, 15, 4, 56, 100, 0, 0], [1071, 4, 0, 44, 100, 0, 0], [1071, 5, 0, 44, 100, 0, 0], [1071, 10, 1, 37, 100, 0, 0], [1072, 0, 12, 32, 100, 0, 0], [1072, 1, 13, 32, 100, 0, 0], [1072, 4, 0, 47, 100, 0, 0], [1072, 8, 2, 43, 100, 0, 0], [1072, 10, 1, 32, 100, 0, 0], [1072, 15, 3, 56, 100, 0, 0], [1072, 16, 5, 56, 100, 0, 0], [1073, 3, 13, 32, 100, 0, 0], [1073, 4, 0, 47, 100, 0, 0], [1073, 10, 1, 32, 100, 0, 0], [1074, 4, 0, 47, 100, 0, 0], [1074, 10, 1, 32, 100, 0, 0], [1074, 15, 3, 56, 100, 0, 0], [1075, 4, 0, 47, 100, 0, 0], [1075, 10, 1, 32, 100, 0, 0], [1076, 2, 13, 39, 100, 0, 0], [1076, 4, 0, 45, 100, 0, 0], [1076, 9, 3, 40, 100, 0, 0], [1076, 10, 1, 32, 100, 0, 0], [1076, 15, 3, 56, 100, 0, 0], [1076, 16, 5, 56, 100, 0, 0], [1077, 3, 13, 39, 100, 0, 0], [1077, 4, 0, 45, 100, 0, 0], [1077, 10, 1, 32, 100, 0, 0], [1078, 2, 13, 40, 100, 0, 0], [1078, 4, 0, 44, 100, 0, 0], [1078, 10, 1, 32, 100, 0, 0], [1078, 15, 4, 56, 100, 0, 0], [1078, 16, 5, 54, 100, 0, 0], [1079, 3, 13, 40, 100, 0, 0], [1079, 4, 0, 44, 100, 0, 0], [1079, 10, 1, 32, 100, 0, 0], [1080, 4, 0, 44, 100, 0, 0], [1080, 8, 2, 43, 100, 0, 0], [1080, 10, 1, 32, 100, 0, 0], [1080, 15, 3, 56, 100, 0, 0], [1081, 4, 0, 44, 100, 0, 0], [1081, 10, 1, 32, 100, 0, 0], [1082, 4, 0, 44, 100, 0, 0], [1082, 8, 2, 43, 100, 0, 0], [1082, 10, 1, 32, 100, 0, 0], [1082, 15, 3, 56, 100, 0, 0], [1083, 4, 0, 44, 100, 0, 0], [1083, 10, 1, 32, 100, 0, 0], [1084, 2, 13, 35, 100, 0, 0], [1084, 4, 0, 42, 100, 0, 0], [1084, 9, 3, 40, 100, 0, 0], [1084, 10, 1, 32, 100, 0, 0], [1084, 15, 3, 56, 100, 0, 0], [1085, 3, 13, 35, 100, 0, 0], [1085, 4, 0, 42, 100, 0, 0], [1085, 10, 1, 32, 100, 0, 0], [1086, 2, 13, 37, 100, 0, 0], [1086, 4, 0, 44, 100, 0, 0], [1086, 10, 1, 32, 100, 0, 0], [1086, 15, 4, 56, 100, 0, 0], [1087, 3, 13, 37, 100, 0, 0], [1087, 4, 0, 44, 100, 0, 0], [1087, 10, 1, 32, 100, 0, 0], [1088, 0, 12, 33, 100, 0, 0], [1088, 1, 13, 33, 100, 0, 0], [1088, 4, 0, 40, 100, 0, 0], [1088, 5, 0, 40, 100, 0, 0], [1088, 10, 1, 33, 100, 0, 0], [1088, 15, 3, 56, 100, 0, 0], [1089, 3, 13, 33, 100, 0, 0], [1089, 4, 0, 40, 100, 0, 0], [1089, 5, 0, 40, 100, 0, 0], [1089, 10, 1, 33, 100, 0, 0], [1090, 2, 13, 39, 100, 0, 0], [1090, 4, 0, 40, 100, 0, 0], [1090, 5, 0, 40, 100, 0, 0], [1090, 10, 1, 33, 100, 0, 0], [1090, 15, 3, 56, 100, 0, 0], [1091, 3, 13, 39, 100, 0, 0], [1091, 4, 0, 40, 100, 0, 0], [1091, 5, 0, 40, 100, 0, 0], [1091, 10, 1, 33, 100, 0, 0], [1092, 2, 13, 40, 100, 0, 0], [1092, 4, 0, 40, 100, 0, 0], [1092, 5, 0, 40, 100, 0, 0], [1092, 10, 1, 33, 100, 0, 0], [1092, 15, 3, 40, 100, 0, 0], [1093, 3, 13, 40, 100, 0, 0], [1093, 4, 0, 40, 100, 0, 0], [1093, 5, 0, 40, 100, 0, 0], [1093, 10, 1, 33, 100, 0, 0], [1094, 2, 13, 47, 100, 0, 0], [1094, 4, 0, 40, 100, 0, 0], [1094, 5, 0, 40, 100, 0, 0], [1094, 10, 1, 33, 100, 0, 0], [1094, 15, 4, 56, 100, 0, 0], [1095, 3, 13, 47, 100, 0, 0], [1095, 4, 0, 40, 100, 0, 0], [1095, 5, 0, 40, 100, 0, 0], [1095, 10, 1, 33, 100, 0, 0], [1096, 4, 0, 40, 100, 0, 0], [1096, 5, 0, 40, 100, 0, 0], [1096, 10, 1, 33, 100, 0, 0], [1096, 15, 3, 56, 100, 0, 0], [1097, 4, 0, 40, 100, 0, 0], [1097, 5, 0, 40, 100, 0, 0], [1097, 10, 1, 33, 100, 0, 0], [1098, 4, 0, 37, 100, 0, 0], [1098, 5, 0, 37, 100, 0, 0], [1098, 10, 1, 33, 100, 0, 0], [1098, 15, 3, 56, 100, 0, 0], [1099, 4, 0, 37, 100, 0, 0], [1099, 5, 0, 37, 100, 0, 0], [1099, 10, 1, 33, 100, 0, 0], [1100, 2, 13, 40, 100, 0, 0], [1100, 4, 0, 44, 100, 0, 0], [1100, 5, 0, 44, 100, 0, 0], [1100, 10, 1, 33, 100, 0, 0], [1100, 15, 3, 40, 100, 0, 0], [1101, 3, 13, 40, 100, 0, 0], [1101, 4, 0, 44, 100, 0, 0], [1101, 5, 0, 44, 100, 0, 0], [1101, 10, 1, 33, 100, 0, 0], [1102, 4, 0, 44, 100, 0, 0], [1102, 5, 0, 44, 100, 0, 0], [1102, 10, 1, 33, 100, 0, 0], [1102, 15, 4, 56, 100, 0, 0], [1103, 4, 0, 44, 100, 0, 0], [1103, 5, 0, 44, 100, 0, 0], [1103, 10, 1, 33, 100, 0, 0], [1104, 0, 12, 35, 100, 0, 0], [1104, 1, 13, 35, 100, 0, 0], [1104, 4, 0, 47, 100, 0, 0], [1104, 10, 1, 35, 100, 0, 0], [1104, 15, 3, 56, 100, 0, 0], [1105, 3, 13, 35, 100, 0, 0], [1105, 4, 0, 47, 100, 0, 0], [1105, 10, 1, 35, 100, 0, 0], [1106, 4, 0, 47, 100, 0, 0], [1106, 10, 1, 35, 100, 0, 0], [1106, 15, 3, 56, 100, 0, 0], [1107, 4, 0, 47, 100, 0, 0], [1107, 10, 1, 35, 100, 0, 0], [1108, 2, 13, 39, 100, 0, 0], [1108, 4, 0, 45, 100, 0, 0], [1108, 10, 1, 35, 100, 0, 0], [1108, 15, 3, 40, 100, 0, 0], [1109, 3, 13, 39, 100, 0, 0], [1109, 4, 0, 45, 100, 0, 0], [1109, 10, 1, 35, 100, 0, 0], [1110, 2, 13, 40, 100, 0, 0], [1110, 4, 0, 44, 100, 0, 0], [1110, 10, 1, 35, 100, 0, 0], [1110, 15, 4, 56, 100, 0, 0], [1111, 3, 13, 40, 100, 0, 0], [1111, 4, 0, 44, 100, 0, 0], [1111, 10, 1, 35, 100, 0, 0], [1112, 4, 0, 44, 100, 0, 0], [1112, 10, 1, 35, 100, 0, 0], [1112, 15, 3, 56, 100, 0, 0], [1113, 4, 0, 44, 100, 0, 0], [1113, 10, 1, 35, 100, 0, 0], [1114, 4, 0, 44, 100, 0, 0], [1114, 10, 1, 35, 100, 0, 0], [1114, 15, 3, 56, 100, 0, 0], [1115, 4, 0, 44, 100, 0, 0], [1115, 10, 1, 35, 100, 0, 0], [1116, 2, 13, 35, 100, 0, 0], [1116, 4, 0, 42, 100, 0, 0], [1116, 10, 1, 35, 100, 0, 0], [1116, 15, 3, 40, 100, 0, 0], [1117, 3, 13, 35, 100, 0, 0], [1117, 4, 0, 42, 100, 0, 0], [1117, 10, 1, 35, 100, 0, 0], [1118, 4, 0, 44, 100, 0, 0], [1118, 10, 1, 35, 100, 0, 0], [1118, 15, 4, 56, 100, 0, 0], [1119, 4, 0, 44, 100, 0, 0], [1119, 10, 1, 35, 100, 0, 0], [1120, 0, 12, 37, 100, 0, 0], [1120, 1, 13, 37, 100, 0, 0], [1120, 4, 0, 47, 100, 0, 0], [1120, 5, 0, 47, 100, 0, 0], [1120, 10, 1, 37, 100, 0, 0], [1120, 15, 3, 56, 100, 0, 0], [1121, 3, 13, 37, 100, 0, 0], [1121, 10, 1, 37, 100, 0, 0], [1122, 2, 13, 39, 100, 0, 0], [1122, 10, 1, 37, 100, 0, 0], [1122, 15, 3, 56, 100, 0, 0], [1123, 3, 13, 39, 100, 0, 0], [1123, 10, 1, 37, 100, 0, 0], [1124, 2, 13, 40, 100, 0, 0], [1124, 4, 0, 44, 100, 0, 0], [1124, 5, 0, 44, 100, 0, 0], [1124, 10, 1, 37, 100, 0, 0], [1124, 15, 3, 40, 100, 0, 0], [1125, 3, 13, 40, 100, 0, 0], [1125, 10, 1, 37, 100, 0, 0], [1126, 2, 13, 47, 100, 0, 0], [1126, 10, 1, 37, 100, 0, 0], [1126, 15, 4, 56, 100, 0, 0], [1127, 3, 13, 47, 100, 0, 0], [1127, 10, 1, 37, 100, 0, 0], [1128, 4, 0, 47, 100, 0, 0], [1128, 5, 0, 47, 100, 0, 0], [1128, 10, 1, 37, 100, 0, 0], [1128, 15, 3, 56, 100, 0, 0], [1129, 10, 1, 37, 100, 0, 0], [1130, 10, 1, 37, 100, 0, 0], [1130, 15, 3, 56, 100, 0, 0], [1131, 10, 1, 37, 100, 0, 0], [1132, 2, 13, 40, 100, 0, 0], [1132, 4, 0, 44, 100, 0, 0], [1132, 5, 0, 44, 100, 0, 0], [1132, 10, 1, 37, 100, 0, 0], [1132, 15, 3, 40, 100, 0, 0], [1133, 3, 13, 40, 100, 0, 0], [1133, 10, 1, 37, 100, 0, 0], [1134, 10, 1, 37, 100, 0, 0], [1134, 15, 4, 56, 100, 0, 0], [1135, 10, 1, 37, 100, 0, 0], [1136, 4, 0, 42, 100, 0, 0], [1136, 5, 0, 42, 100, 0, 0], [1136, 14, 8, 44, 1, 0, 0], [1137, 14, 8, 44, 4, 0, 0], [1138, 4, 0, 42, 100, 0, 0], [1138, 5, 0, 42, 100, 0, 0], [1138, 14, 8, 44, 12, 0, 0], [1139, 14, 8, 44, 16, 0, 0], [1140, 4, 0, 42, 100, 0, 0], [1140, 5, 0, 42, 100, 0, 0], [1140, 14, 8, 44, 21, 0, 0], [1141, 14, 8, 44, 23, 0, 0], [1142, 4, 0, 44, 100, 0, 0], [1142, 5, 0, 44, 100, 0, 0], [1142, 14, 8, 44, 26, 0, 0], [1143, 14, 8, 44, 30, 0, 0], [1144, 4, 0, 42, 100, 0, 0], [1144, 5, 0, 42, 100, 0, 0], [1144, 14, 8, 44, 33, 0, 0], [1145, 14, 8, 44, 39, 0, 0], [1146, 14, 8, 44, 42, 0, 0], [1147, 14, 8, 44, 45, 0, 0], [1148, 4, 0, 40, 100, 0, 0], [1148, 5, 0, 40, 100, 0, 0], [1148, 14, 8, 44, 53, 0, 0], [1149, 14, 8, 44, 59, 0, 0], [1150, 14, 8, 44, 70, 0, 0], [1151, 14, 8, 44, 96, 0, 0], [1152, 4, 0, 39, 100, 0, 0], [1152, 5, 0, 39, 100, 0, 0], [1152, 8, 2, 43, 100, 0, 0], [1152, 9, 2, 43, 100, 0, 0], [1152, 10, 1, 33, 100, 0, 0], [1152, 16, 13, 49, 100, 0, 0], [1152, 17, 13, 33, 100, 0, 0], [1153, 10, 1, 33, 100, 0, 0], [1153, 16, 13, 49, 100, 0, 0], [1153, 17, 13, 33, 100, 0, 0], [1154, 4, 0, 40, 100, 0, 0], [1154, 5, 0, 40, 100, 0, 0], [1154, 10, 1, 33, 100, 0, 0], [1154, 16, 13, 49, 100, 0, 0], [1154, 17, 13, 33, 100, 0, 0], [1155, 10, 1, 33, 100, 0, 0], [1155, 16, 13, 49, 100, 0, 0], [1155, 17, 13, 33, 100, 0, 0], [1156, 4, 0, 40, 100, 0, 0], [1156, 5, 0, 40, 100, 0, 0], [1156, 10, 1, 33, 100, 0, 0], [1156, 16, 13, 49, 100, 0, 0], [1156, 17, 13, 33, 100, 0, 0], [1157, 10, 1, 33, 100, 0, 0], [1157, 16, 13, 49, 100, 0, 0], [1157, 17, 13, 33, 100, 0, 0], [1158, 4, 0, 47, 100, 0, 0], [1158, 5, 0, 47, 100, 0, 0], [1158, 10, 1, 33, 100, 0, 0], [1158, 16, 13, 49, 100, 0, 0], [1158, 17, 13, 33, 100, 0, 0], [1159, 10, 1, 33, 100, 0, 0], [1159, 16, 13, 49, 100, 0, 0], [1159, 17, 13, 33, 100, 0, 0], [1164, 4, 0, 40, 100, 0, 0], [1164, 5, 0, 40, 100, 0, 0], [1166, 4, 0, 40, 100, 0, 0], [1166, 5, 0, 40, 100, 0, 0], [1168, 4, 0, 39, 100, 0, 0], [1168, 5, 0, 39, 100, 0, 0], [1168, 8, 2, 43, 100, 0, 0], [1168, 9, 2, 43, 100, 0, 0], [1168, 10, 1, 35, 100, 0, 0], [1168, 16, 13, 51, 100, 0, 0], [1168, 17, 13, 35, 100, 0, 0], [1169, 10, 1, 35, 100, 0, 0], [1169, 16, 13, 51, 100, 0, 0], [1169, 17, 13, 35, 100, 0, 0], [1170, 4, 0, 39, 100, 0, 0], [1170, 5, 0, 39, 100, 0, 0], [1170, 10, 1, 35, 100, 0, 0], [1170, 16, 13, 51, 100, 0, 0], [1170, 17, 13, 35, 100, 0, 0], [1171, 10, 1, 35, 100, 0, 0], [1171, 16, 13, 51, 100, 0, 0], [1171, 17, 13, 35, 100, 0, 0], [1172, 4, 0, 39, 100, 0, 0], [1172, 5, 0, 39, 100, 0, 0], [1172, 10, 1, 35, 100, 0, 0], [1172, 16, 13, 51, 100, 0, 0], [1172, 17, 13, 35, 100, 0, 0], [1173, 10, 1, 35, 100, 0, 0], [1173, 16, 13, 51, 100, 0, 0], [1173, 17, 13, 35, 100, 0, 0], [1174, 4, 0, 39, 100, 0, 0], [1174, 5, 0, 39, 100, 0, 0], [1174, 10, 1, 35, 100, 0, 0], [1174, 16, 13, 51, 100, 0, 0], [1174, 17, 13, 35, 100, 0, 0], [1175, 10, 1, 35, 100, 0, 0], [1175, 16, 13, 51, 100, 0, 0], [1175, 17, 13, 35, 100, 0, 0], [1176, 4, 0, 39, 100, 0, 0], [1176, 5, 0, 39, 100, 0, 0], [1176, 8, 2, 43, 100, 0, 0], [1176, 9, 2, 43, 100, 0, 0], [1176, 10, 1, 35, 100, 0, 0], [1176, 16, 13, 51, 100, 0, 0], [1176, 17, 13, 35, 100, 0, 0], [1177, 10, 1, 35, 100, 0, 0], [1177, 16, 13, 51, 100, 0, 0], [1177, 17, 13, 35, 100, 0, 0], [1178, 4, 0, 40, 100, 0, 0], [1178, 5, 0, 40, 100, 0, 0], [1178, 10, 1, 35, 100, 0, 0], [1178, 16, 13, 51, 100, 0, 0], [1178, 17, 13, 35, 100, 0, 0], [1179, 10, 1, 35, 100, 0, 0], [1179, 16, 13, 51, 100, 0, 0], [1179, 17, 13, 35, 100, 0, 0], [1180, 4, 0, 40, 100, 0, 0], [1180, 5, 0, 40, 100, 0, 0], [1180, 10, 1, 35, 100, 0, 0], [1180, 16, 13, 51, 100, 0, 0], [1180, 17, 13, 35, 100, 0, 0], [1181, 10, 1, 35, 100, 0, 0], [1181, 16, 13, 51, 100, 0, 0], [1181, 17, 13, 35, 100, 0, 0], [1182, 4, 0, 40, 100, 0, 0], [1182, 5, 0, 40, 100, 0, 0], [1182, 10, 1, 35, 100, 0, 0], [1182, 16, 13, 51, 100, 0, 0], [1182, 17, 13, 35, 100, 0, 0], [1183, 10, 1, 35, 100, 0, 0], [1183, 16, 13, 51, 100, 0, 0], [1183, 17, 13, 35, 100, 0, 0], [1184, 4, 0, 39, 100, 0, 0], [1184, 5, 0, 39, 100, 0, 0], [1184, 8, 2, 43, 100, 0, 0], [1184, 9, 2, 43, 100, 0, 0], [1184, 10, 1, 37, 100, 0, 0], [1184, 16, 13, 49, 100, 0, 0], [1184, 17, 13, 37, 100, 0, 0], [1185, 10, 1, 37, 100, 0, 0], [1185, 16, 13, 49, 100, 0, 0], [1185, 17, 13, 37, 100, 0, 0], [1186, 4, 0, 40, 100, 0, 0], [1186, 5, 0, 40, 100, 0, 0], [1186, 10, 1, 37, 100, 0, 0], [1186, 16, 13, 49, 100, 0, 0], [1186, 17, 13, 37, 100, 0, 0], [1187, 10, 1, 37, 100, 0, 0], [1187, 16, 13, 49, 100, 0, 0], [1187, 17, 13, 37, 100, 0, 0], [1188, 4, 0, 40, 100, 0, 0], [1188, 5, 0, 40, 100, 0, 0], [1188, 10, 1, 37, 100, 0, 0], [1188, 16, 13, 49, 100, 0, 0], [1188, 17, 13, 37, 100, 0, 0], [1189, 10, 1, 37, 100, 0, 0], [1189, 16, 13, 49, 100, 0, 0], [1189, 17, 13, 37, 100, 0, 0], [1190, 4, 0, 47, 100, 0, 0], [1190, 5, 0, 47, 100, 0, 0], [1190, 10, 1, 37, 100, 0, 0], [1190, 16, 13, 49, 100, 0, 0], [1190, 17, 13, 37, 100, 0, 0], [1191, 10, 1, 37, 100, 0, 0], [1191, 16, 13, 49, 100, 0, 0], [1191, 17, 13, 37, 100, 0, 0], [1196, 4, 0, 40, 100, 0, 0], [1196, 5, 0, 40, 100, 0, 0], [1198, 4, 0, 40, 100, 0, 0], [1198, 5, 0, 40, 100, 0, 0], [1200, 4, 0, 39, 100, 0, 0], [1200, 5, 0, 39, 100, 0, 0], [1200, 6, 6, 59, 100, 0, 0], [1201, 6, 6, 59, 100, 0, 0], [1202, 4, 0, 39, 100, 0, 0], [1202, 5, 0, 39, 100, 0, 0], [1202, 6, 6, 59, 100, 0, 0], [1203, 6, 6, 59, 100, 0, 0], [1204, 4, 0, 39, 100, 0, 0], [1204, 5, 0, 39, 100, 0, 0], [1204, 6, 6, 59, 100, 0, 0], [1205, 6, 6, 59, 100, 0, 0], [1206, 4, 0, 39, 100, 0, 0], [1206, 5, 0, 39, 100, 0, 0], [1206, 6, 6, 59, 100, 0, 0], [1207, 6, 6, 59, 100, 0, 0], [1208, 4, 0, 39, 100, 0, 0], [1208, 5, 0, 39, 100, 0, 0], [1208, 6, 6, 57, 100, 0, 0], [1208, 7, 2, 43, 100, 0, 0], [1208, 8, 2, 43, 100, 0, 0], [1208, 10, 1, 32, 100, 0, 0], [1208, 16, 13, 32, 100, 0, 0], [1208, 17, 13, 32, 100, 0, 0], [1209, 6, 6, 57, 100, 0, 0], [1209, 10, 1, 32, 100, 0, 0], [1209, 16, 13, 32, 100, 0, 0], [1209, 17, 13, 32, 100, 0, 0], [1210, 4, 0, 40, 100, 0, 0], [1210, 5, 0, 40, 100, 0, 0], [1210, 6, 6, 56, 100, 0, 0], [1210, 10, 1, 32, 100, 0, 0], [1210, 16, 13, 32, 100, 0, 0], [1210, 17, 13, 32, 100, 0, 0], [1211, 6, 6, 56, 100, 0, 0], [1211, 10, 1, 32, 100, 0, 0], [1211, 16, 13, 32, 100, 0, 0], [1211, 17, 13, 32, 100, 0, 0], [1212, 4, 0, 40, 100, 0, 0], [1212, 5, 0, 40, 100, 0, 0], [1212, 10, 1, 32, 100, 0, 0], [1212, 16, 13, 32, 100, 0, 0], [1212, 17, 13, 32, 100, 0, 0], [1213, 10, 1, 32, 100, 0, 0], [1213, 16, 13, 32, 100, 0, 0], [1213, 17, 13, 32, 100, 0, 0], [1214, 10, 1, 32, 100, 0, 0], [1214, 16, 13, 32, 100, 0, 0], [1214, 17, 13, 32, 100, 0, 0], [1215, 10, 1, 32, 100, 0, 0], [1215, 16, 13, 32, 100, 0, 0], [1215, 17, 13, 32, 100, 0, 0], [1216, 0, 12, 33, 35, 0, 0], [1216, 1, 13, 33, 35, 0, 0], [1216, 4, 0, 39, 100, 0, 0], [1216, 5, 0, 39, 100, 0, 0], [1216, 7, 2, 43, 100, 0, 0], [1216, 8, 2, 43, 100, 0, 0], [1216, 10, 1, 33, 100, 0, 0], [1216, 16, 13, 49, 100, 0, 0], [1216, 17, 13, 33, 100, 0, 0], [1217, 3, 13, 33, 35, 0, 0], [1217, 10, 1, 33, 100, 0, 0], [1217, 16, 13, 49, 100, 0, 0], [1217, 17, 13, 33, 100, 0, 0], [1218, 2, 13, 39, 55, 0, 0], [1218, 4, 0, 40, 100, 0, 0], [1218, 5, 0, 40, 100, 0, 0], [1218, 10, 1, 33, 100, 0, 0], [1218, 16, 13, 49, 100, 0, 0], [1218, 17, 13, 33, 100, 0, 0], [1219, 3, 13, 39, 55, 0, 0], [1219, 10, 1, 33, 100, 0, 0], [1219, 16, 13, 49, 100, 0, 0], [1219, 17, 13, 33, 100, 0, 0], [1220, 2, 13, 40, 60, 0, 0], [1220, 4, 0, 40, 100, 0, 0], [1220, 5, 0, 40, 100, 0, 0], [1220, 10, 1, 33, 100, 0, 0], [1220, 16, 13, 49, 100, 0, 0], [1220, 17, 13, 33, 100, 0, 0], [1221, 3, 13, 40, 80, 0, 0], [1221, 10, 1, 33, 100, 0, 0], [1221, 16, 13, 49, 100, 0, 0], [1221, 17, 13, 33, 100, 0, 0], [1222, 2, 13, 47, 80, 0, 0], [1222, 4, 0, 47, 100, 0, 0], [1222, 5, 0, 47, 100, 0, 0], [1222, 10, 1, 33, 100, 0, 0], [1222, 16, 13, 49, 100, 0, 0], [1222, 17, 13, 33, 100, 0, 0], [1223, 3, 13, 47, 80, 0, 0], [1223, 10, 1, 33, 100, 0, 0], [1223, 16, 13, 49, 100, 0, 0], [1223, 17, 13, 33, 100, 0, 0], [1228, 2, 13, 40, 90, 0, 0], [1228, 4, 0, 40, 100, 0, 0], [1228, 5, 0, 40, 100, 0, 0], [1229, 3, 13, 40, 95, 0, 0], [1230, 4, 0, 40, 100, 0, 0], [1230, 5, 0, 40, 100, 0, 0], [1232, 0, 12, 35, 100, 0, 0], [1232, 1, 13, 35, 100, 0, 0], [1232, 4, 0, 39, 100, 0, 0], [1232, 5, 0, 39, 100, 0, 0], [1232, 7, 2, 43, 100, 0, 0], [1232, 8, 2, 43, 100, 0, 0], [1232, 10, 1, 35, 100, 0, 0], [1232, 16, 13, 51, 100, 0, 0], [1232, 17, 13, 35, 100, 0, 0], [1232, 18, 12, 35, 5, 0, 0], [1232, 19, 13, 35, 5, 0, 0], [1233, 3, 13, 35, 100, 0, 0], [1233, 10, 1, 35, 100, 0, 0], [1233, 16, 13, 51, 100, 0, 0], [1233, 17, 13, 35, 100, 0, 0], [1233, 21, 13, 35, 10, 0, 0], [1234, 4, 0, 39, 100, 0, 0], [1234, 5, 0, 39, 100, 0, 0], [1234, 10, 1, 35, 100, 0, 0], [1234, 16, 13, 51, 100, 0, 0], [1234, 17, 13, 35, 100, 0, 0], [1235, 10, 1, 35, 100, 0, 0], [1235, 16, 13, 51, 100, 0, 0], [1235, 17, 13, 35, 100, 0, 0], [1236, 2, 13, 39, 100, 0, 0], [1236, 4, 0, 39, 100, 0, 0], [1236, 5, 0, 39, 100, 0, 0], [1236, 10, 1, 35, 100, 0, 0], [1236, 16, 13, 51, 100, 0, 0], [1236, 17, 13, 35, 100, 0, 0], [1236, 20, 13, 39, 20, 0, 0], [1237, 3, 13, 39, 100, 0, 0], [1237, 10, 1, 35, 100, 0, 0], [1237, 16, 13, 51, 100, 0, 0], [1237, 17, 13, 35, 100, 0, 0], [1237, 21, 13, 39, 20, 0, 0], [1238, 2, 13, 40, 100, 0, 0], [1238, 4, 0, 39, 100, 0, 0], [1238, 5, 0, 39, 100, 0, 0], [1238, 10, 1, 35, 100, 0, 0], [1238, 16, 13, 51, 100, 0, 0], [1238, 17, 13, 35, 100, 0, 0], [1238, 20, 13, 40, 40, 0, 0], [1239, 3, 13, 40, 100, 0, 0], [1239, 10, 1, 35, 100, 0, 0], [1239, 16, 13, 51, 100, 0, 0], [1239, 17, 13, 35, 100, 0, 0], [1239, 21, 13, 40, 40, 0, 0], [1240, 4, 0, 39, 100, 0, 0], [1240, 5, 0, 39, 100, 0, 0], [1240, 7, 2, 43, 100, 0, 0], [1240, 8, 2, 43, 100, 0, 0], [1240, 10, 1, 35, 100, 0, 0], [1240, 16, 13, 51, 100, 0, 0], [1240, 17, 13, 35, 100, 0, 0], [1241, 10, 1, 35, 100, 0, 0], [1241, 16, 13, 51, 100, 0, 0], [1241, 17, 13, 35, 100, 0, 0], [1242, 4, 0, 40, 100, 0, 0], [1242, 5, 0, 40, 100, 0, 0], [1242, 10, 1, 35, 100, 0, 0], [1242, 16, 13, 51, 100, 0, 0], [1242, 17, 13, 35, 100, 0, 0], [1243, 10, 1, 35, 100, 0, 0], [1243, 16, 13, 51, 100, 0, 0], [1243, 17, 13, 35, 100, 0, 0], [1244, 2, 13, 35, 100, 0, 0], [1244, 4, 0, 40, 100, 0, 0], [1244, 5, 0, 40, 100, 0, 0], [1244, 10, 1, 35, 100, 0, 0], [1244, 16, 13, 51, 100, 0, 0], [1244, 17, 13, 35, 100, 0, 0], [1244, 20, 13, 35, 50, 0, 0], [1245, 3, 13, 35, 100, 0, 0], [1245, 10, 1, 35, 100, 0, 0], [1245, 16, 13, 51, 100, 0, 0], [1245, 17, 13, 35, 100, 0, 0], [1245, 21, 13, 35, 50, 0, 0], [1246, 4, 0, 40, 100, 0, 0], [1246, 5, 0, 40, 100, 0, 0], [1246, 10, 1, 35, 100, 0, 0], [1246, 16, 13, 51, 100, 0, 0], [1246, 17, 13, 35, 100, 0, 0], [1247, 10, 1, 35, 100, 0, 0], [1247, 16, 13, 51, 100, 0, 0], [1247, 17, 13, 35, 100, 0, 0], [1248, 0, 12, 37, 100, 0, 0], [1248, 1, 13, 37, 100, 0, 0], [1248, 4, 0, 39, 100, 0, 0], [1248, 5, 0, 39, 100, 0, 0], [1248, 7, 2, 43, 100, 0, 0], [1248, 8, 2, 43, 100, 0, 0], [1248, 10, 1, 37, 100, 0, 0], [1248, 16, 13, 49, 100, 0, 0], [1248, 17, 13, 37, 100, 0, 0], [1248, 18, 12, 37, 60, 0, 0], [1248, 19, 13, 37, 60, 0, 0], [1249, 3, 13, 37, 100, 0, 0], [1249, 10, 1, 37, 100, 0, 0], [1249, 16, 13, 49, 100, 0, 0], [1249, 17, 13, 37, 100, 0, 0], [1249, 21, 13, 37, 80, 0, 0], [1250, 2, 13, 39, 100, 0, 0], [1250, 4, 0, 40, 100, 0, 0], [1250, 5, 0, 40, 100, 0, 0], [1250, 10, 1, 37, 100, 0, 0], [1250, 16, 13, 49, 100, 0, 0], [1250, 17, 13, 37, 100, 0, 0], [1250, 20, 13, 39, 90, 0, 0], [1251, 3, 13, 39, 100, 0, 0], [1251, 10, 1, 37, 100, 0, 0], [1251, 16, 13, 49, 100, 0, 0], [1251, 17, 13, 37, 100, 0, 0], [1251, 21, 13, 39, 100, 0, 0], [1252, 2, 13, 40, 100, 0, 0], [1252, 4, 0, 40, 100, 0, 0], [1252, 5, 0, 40, 100, 0, 0], [1252, 10, 1, 37, 100, 0, 0], [1252, 16, 13, 49, 100, 0, 0], [1252, 17, 13, 37, 100, 0, 0], [1252, 20, 13, 40, 100, 0, 0], [1253, 3, 13, 40, 100, 0, 0], [1253, 10, 1, 37, 100, 0, 0], [1253, 16, 13, 49, 100, 0, 0], [1253, 17, 13, 37, 100, 0, 0], [1253, 21, 13, 40, 100, 0, 0], [1254, 2, 13, 47, 100, 0, 0], [1254, 4, 0, 47, 100, 0, 0], [1254, 5, 0, 47, 100, 0, 0], [1254, 10, 1, 37, 100, 0, 0], [1254, 16, 13, 49, 100, 0, 0], [1254, 17, 13, 37, 100, 0, 0], [1254, 20, 13, 47, 100, 0, 0], [1255, 3, 13, 47, 100, 0, 0], [1255, 10, 1, 37, 100, 0, 0], [1255, 16, 13, 49, 100, 0, 0], [1255, 17, 13, 37, 100, 0, 0], [1255, 21, 13, 47, 100, 0, 0], [1256, 10, 1, 37, 100, 0, 0], [1257, 10, 1, 37, 100, 0, 0], [1258, 10, 1, 37, 100, 0, 0], [1259, 10, 1, 37, 100, 0, 0], [1260, 2, 13, 40, 100, 0, 0], [1260, 4, 0, 42, 100, 0, 0], [1260, 5, 0, 42, 100, 0, 0], [1260, 10, 1, 37, 100, 0, 0], [1260, 20, 13, 40, 100, 0, 0], [1261, 3, 13, 40, 100, 0, 0], [1261, 10, 1, 37, 100, 0, 0], [1261, 21, 13, 40, 100, 0, 0], [1262, 4, 0, 44, 100, 0, 0], [1262, 5, 0, 44, 100, 0, 0], [1262, 10, 1, 37, 100, 0, 0], [1263, 10, 1, 37, 100, 0, 0], [1264, 4, 0, 44, 100, 0, 0], [1264, 5, 0, 44, 100, 0, 0], [1266, 4, 0, 51, 100, 0, 0], [1266, 5, 0, 51, 100, 0, 0], [1272, 4, 0, 47, 100, 0, 0], [1272, 5, 0, 47, 100, 0, 0], [1272, 7, 2, 43, 100, 0, 0], [1272, 8, 2, 49, 100, 0, 0], [1273, 4, 0, 47, 100, 0, 0], [1273, 5, 0, 47, 100, 0, 0], [1274, 4, 0, 47, 100, 0, 0], [1274, 5, 0, 47, 100, 0, 0], [1274, 7, 2, 43, 100, 0, 0], [1274, 8, 2, 47, 100, 0, 0], [1275, 4, 0, 47, 100, 0, 0], [1275, 5, 0, 47, 100, 0, 0], [1276, 4, 0, 47, 100, 0, 0], [1276, 5, 0, 47, 100, 0, 0], [1276, 7, 2, 43, 100, 0, 0], [1276, 8, 2, 45, 100, 0, 0], [1278, 4, 0, 49, 100, 0, 0], [1278, 5, 0, 49, 100, 0, 0], [1278, 7, 2, 43, 100, 0, 0], [1278, 8, 2, 43, 100, 0, 0], [1280, 0, 12, 33, 100, 0, 0], [1280, 1, 13, 33, 100, 0, 0], [1280, 4, 0, 39, 100, 0, 0], [1280, 5, 0, 39, 100, 0, 0], [1280, 7, 2, 43, 100, 0, 0], [1280, 10, 1, 33, 100, 0, 0], [1280, 11, 7, 44, 100, 0, 0], [1280, 12, 8, 44, 100, 0, 0], [1280, 15, 3, 56, 100, 0, 0], [1281, 3, 13, 33, 100, 0, 0], [1281, 10, 1, 33, 100, 0, 0], [1282, 2, 13, 39, 100, 0, 0], [1282, 4, 0, 40, 100, 0, 0], [1282, 5, 0, 40, 100, 0, 0], [1282, 10, 1, 33, 100, 0, 0], [1282, 15, 3, 56, 100, 0, 0], [1283, 3, 13, 39, 100, 0, 0], [1284, 2, 13, 40, 100, 0, 0], [1284, 4, 0, 40, 100, 0, 0], [1284, 5, 0, 40, 100, 0, 0], [1284, 8, 3, 40, 100, 0, 0], [1284, 12, 8, 40, 100, 0, 0], [1284, 15, 3, 56, 100, 0, 0], [1285, 3, 13, 40, 100, 0, 0], [1286, 2, 13, 47, 100, 0, 0], [1286, 4, 0, 47, 100, 0, 0], [1286, 5, 0, 47, 100, 0, 0], [1286, 10, 1, 33, 100, 0, 0], [1286, 11, 7, 40, 100, 0, 0], [1286, 15, 4, 56, 100, 0, 0], [1287, 3, 13, 47, 100, 0, 0], [1287, 10, 1, 33, 100, 0, 0], [1288, 7, 2, 43, 100, 0, 0], [1288, 10, 1, 33, 100, 0, 0], [1288, 15, 3, 56, 100, 0, 0], [1290, 15, 3, 56, 100, 0, 0], [1292, 2, 13, 40, 100, 0, 0], [1292, 4, 0, 40, 100, 0, 0], [1292, 5, 0, 40, 100, 0, 0], [1292, 8, 3, 40, 100, 0, 0], [1292, 15, 3, 56, 100, 0, 0], [1293, 3, 13, 40, 100, 0, 0], [1294, 4, 0, 40, 100, 0, 0], [1294, 5, 0, 40, 100, 0, 0], [1294, 15, 4, 56, 100, 0, 0], [1296, 0, 12, 35, 100, 0, 0], [1296, 1, 13, 35, 100, 0, 0], [1296, 4, 0, 39, 100, 0, 0], [1296, 5, 0, 39, 100, 0, 0], [1296, 7, 2, 43, 100, 0, 0], [1296, 10, 1, 35, 100, 0, 0], [1296, 11, 7, 42, 100, 0, 0], [1296, 12, 8, 42, 100, 0, 0], [1296, 15, 3, 56, 100, 0, 0], [1297, 3, 13, 35, 100, 0, 0], [1297, 10, 1, 35, 100, 0, 0], [1298, 4, 0, 39, 100, 0, 0], [1298, 5, 0, 39, 100, 0, 0], [1298, 10, 1, 35, 100, 0, 0], [1298, 15, 3, 56, 100, 0, 0], [1300, 2, 13, 39, 100, 0, 0], [1300, 4, 0, 39, 100, 0, 0], [1300, 5, 0, 39, 100, 0, 0], [1300, 8, 3, 40, 100, 0, 0], [1300, 15, 3, 56, 100, 0, 0], [1301, 3, 13, 39, 100, 0, 0], [1302, 2, 13, 40, 100, 0, 0], [1302, 4, 0, 39, 100, 0, 0], [1302, 5, 0, 39, 100, 0, 0], [1302, 10, 1, 35, 100, 0, 0], [1302, 15, 4, 56, 100, 0, 0], [1303, 3, 13, 40, 100, 0, 0], [1303, 10, 1, 35, 100, 0, 0], [1304, 4, 0, 39, 100, 0, 0], [1304, 5, 0, 39, 100, 0, 0], [1304, 7, 2, 43, 100, 0, 0], [1304, 10, 1, 35, 100, 0, 0], [1304, 15, 3, 56, 100, 0, 0], [1306, 4, 0, 40, 100, 0, 0], [1306, 5, 0, 40, 100, 0, 0], [1306, 15, 3, 56, 100, 0, 0], [1308, 2, 13, 35, 100, 0, 0], [1308, 4, 0, 40, 100, 0, 0], [1308, 5, 0, 40, 100, 0, 0], [1308, 8, 3, 40, 100, 0, 0], [1308, 10, 1, 35, 100, 0, 0], [1308, 15, 3, 56, 100, 0, 0], [1309, 3, 13, 35, 100, 0, 0], [1309, 10, 1, 35, 100, 0, 0], [1310, 4, 0, 40, 100, 0, 0], [1310, 5, 0, 40, 100, 0, 0], [1310, 10, 1, 36, 100, 0, 0], [1310, 15, 4, 56, 100, 0, 0], [1311, 10, 1, 36, 100, 0, 0], [1312, 0, 12, 37, 100, 0, 0], [1312, 1, 13, 37, 100, 0, 0], [1312, 4, 0, 39, 100, 0, 0], [1312, 5, 0, 39, 100, 0, 0], [1312, 7, 2, 43, 100, 0, 0], [1312, 10, 1, 37, 100, 0, 0], [1312, 11, 7, 44, 100, 0, 0], [1312, 12, 8, 44, 100, 0, 0], [1312, 15, 3, 56, 100, 0, 0], [1313, 3, 13, 37, 100, 0, 0], [1313, 10, 1, 37, 100, 0, 0], [1314, 2, 13, 39, 100, 0, 0], [1314, 4, 0, 40, 100, 0, 0], [1314, 5, 0, 40, 100, 0, 0], [1314, 10, 1, 37, 100, 0, 0], [1314, 15, 3, 56, 100, 0, 0], [1315, 3, 13, 39, 100, 0, 0], [1316, 2, 13, 40, 100, 0, 0], [1316, 4, 0, 40, 100, 0, 0], [1316, 5, 0, 40, 100, 0, 0], [1316, 8, 3, 40, 100, 0, 0], [1316, 12, 8, 40, 100, 0, 0], [1316, 15, 3, 56, 100, 0, 0], [1317, 3, 13, 40, 100, 0, 0], [1318, 2, 13, 47, 100, 0, 0], [1318, 4, 0, 47, 100, 0, 0], [1318, 5, 0, 47, 100, 0, 0], [1318, 10, 1, 37, 100, 0, 0], [1318, 11, 7, 40, 100, 0, 0], [1318, 15, 4, 56, 100, 0, 0], [1319, 3, 13, 47, 100, 0, 0], [1319, 10, 1, 37, 100, 0, 0], [1320, 7, 2, 43, 100, 0, 0], [1320, 10, 1, 37, 100, 0, 0], [1320, 15, 3, 56, 100, 0, 0], [1322, 15, 3, 56, 100, 0, 0], [1324, 2, 13, 40, 100, 0, 0], [1324, 4, 0, 40, 100, 0, 0], [1324, 5, 0, 40, 100, 0, 0], [1324, 6, 6, 52, 100, 0, 0], [1324, 8, 3, 40, 100, 0, 0], [1324, 15, 3, 56, 100, 0, 0], [1325, 3, 13, 40, 100, 0, 0], [1326, 4, 0, 40, 100, 0, 0], [1326, 5, 0, 40, 100, 0, 0], [1326, 6, 6, 54, 100, 0, 0], [1326, 15, 4, 56, 100, 0, 0], [1328, 0, 12, 32, 100, 0, 0], [1328, 1, 13, 32, 100, 0, 0], [1328, 4, 0, 39, 100, 0, 0], [1328, 5, 0, 39, 100, 0, 0], [1328, 6, 6, 54, 100, 0, 0], [1328, 7, 2, 43, 100, 0, 0], [1328, 10, 1, 32, 100, 0, 0], [1328, 11, 7, 39, 100, 0, 0], [1328, 12, 8, 39, 100, 0, 0], [1328, 13, 8, 42, 100, 0, 0], [1328, 14, 8, 35, 100, 0, 0], [1328, 15, 3, 56, 100, 0, 0], [1329, 3, 13, 32, 100, 0, 0], [1329, 10, 1, 32, 100, 0, 0], [1330, 4, 0, 39, 100, 0, 0], [1330, 5, 0, 39, 100, 0, 0], [1330, 6, 6, 54, 100, 0, 0], [1330, 10, 1, 32, 100, 0, 0], [1330, 15, 3, 56, 100, 0, 0], [1332, 2, 13, 39, 100, 0, 0], [1332, 4, 0, 39, 100, 0, 0], [1332, 5, 0, 39, 100, 0, 0], [1332, 6, 6, 54, 100, 0, 0], [1332, 8, 3, 40, 100, 0, 0], [1332, 15, 3, 56, 100, 0, 0], [1333, 3, 13, 39, 100, 0, 0], [1334, 2, 13, 40, 100, 0, 0], [1334, 4, 0, 39, 100, 0, 0], [1334, 5, 0, 39, 100, 0, 0], [1334, 6, 6, 54, 100, 0, 0], [1334, 10, 1, 32, 100, 0, 0], [1334, 15, 4, 56, 100, 0, 0], [1335, 3, 13, 40, 100, 0, 0], [1335, 10, 1, 32, 100, 0, 0], [1336, 4, 0, 39, 100, 0, 0], [1336, 5, 0, 39, 100, 0, 0], [1336, 6, 6, 57, 100, 0, 0], [1336, 7, 2, 43, 100, 0, 0], [1336, 10, 1, 32, 100, 0, 0], [1336, 15, 3, 56, 100, 0, 0], [1338, 4, 0, 40, 100, 0, 0], [1338, 5, 0, 40, 100, 0, 0], [1338, 6, 6, 56, 100, 0, 0], [1338, 7, 2, 43, 100, 0, 0], [1338, 15, 3, 56, 100, 0, 0], [1340, 2, 13, 35, 100, 0, 0], [1340, 4, 0, 40, 100, 0, 0], [1340, 5, 0, 40, 100, 0, 0], [1340, 6, 6, 54, 100, 0, 0], [1340, 8, 3, 40, 100, 0, 0], [1340, 15, 3, 56, 100, 0, 0], [1341, 3, 13, 35, 100, 0, 0], [1342, 2, 13, 37, 100, 0, 0], [1342, 6, 6, 52, 100, 0, 0], [1342, 15, 4, 56, 100, 0, 0], [1343, 3, 13, 37, 100, 0, 0], [1344, 0, 12, 33, 100, 0, 0], [1344, 1, 13, 33, 100, 0, 0], [1344, 4, 0, 39, 100, 0, 0], [1344, 5, 0, 39, 100, 0, 0], [1344, 7, 2, 43, 100, 0, 0], [1344, 10, 1, 33, 100, 0, 0], [1344, 11, 7, 44, 100, 0, 0], [1344, 12, 8, 44, 100, 0, 0], [1344, 15, 3, 56, 100, 0, 0], [1345, 3, 13, 33, 100, 0, 0], [1345, 10, 1, 33, 100, 0, 0], [1346, 2, 13, 39, 100, 0, 0], [1346, 4, 0, 40, 100, 0, 0], [1346, 5, 0, 40, 100, 0, 0], [1346, 10, 1, 33, 100, 0, 0], [1346, 15, 3, 56, 100, 0, 0], [1347, 3, 13, 39, 100, 0, 0], [1348, 2, 13, 40, 100, 0, 0], [1348, 4, 0, 40, 100, 0, 0], [1348, 5, 0, 40, 100, 0, 0], [1348, 8, 3, 40, 100, 0, 0], [1348, 12, 8, 40, 100, 0, 0], [1348, 15, 3, 56, 100, 0, 0], [1349, 3, 13, 40, 100, 0, 0], [1350, 2, 13, 47, 100, 0, 0], [1350, 4, 0, 47, 100, 0, 0], [1350, 5, 0, 47, 100, 0, 0], [1350, 10, 1, 33, 100, 0, 0], [1350, 11, 7, 40, 100, 0, 0], [1350, 15, 4, 56, 100, 0, 0], [1351, 3, 13, 47, 100, 0, 0], [1351, 10, 1, 33, 100, 0, 0], [1352, 7, 2, 43, 100, 0, 0], [1352, 10, 1, 33, 100, 0, 0], [1352, 15, 3, 56, 100, 0, 0], [1354, 15, 3, 56, 100, 0, 0], [1356, 2, 13, 40, 100, 0, 0], [1356, 4, 0, 40, 100, 0, 0], [1356, 5, 0, 40, 100, 0, 0], [1356, 8, 3, 40, 100, 0, 0], [1356, 15, 3, 56, 100, 0, 0], [1357, 3, 13, 40, 100, 0, 0], [1358, 4, 0, 40, 100, 0, 0], [1358, 5, 0, 40, 100, 0, 0], [1358, 15, 4, 56, 100, 0, 0], [1360, 0, 12, 35, 100, 0, 0], [1360, 1, 13, 35, 100, 0, 0], [1360, 4, 0, 39, 100, 0, 0], [1360, 5, 0, 39, 100, 0, 0], [1360, 7, 2, 43, 100, 0, 0], [1360, 10, 1, 35, 100, 0, 0], [1360, 11, 7, 42, 100, 0, 0], [1360, 12, 8, 42, 100, 0, 0], [1360, 15, 3, 56, 100, 0, 0], [1361, 3, 13, 35, 100, 0, 0], [1361, 10, 1, 35, 100, 0, 0], [1362, 4, 0, 39, 100, 0, 0], [1362, 5, 0, 39, 100, 0, 0], [1362, 10, 1, 35, 100, 0, 0], [1362, 15, 3, 56, 100, 0, 0], [1364, 2, 13, 39, 100, 0, 0], [1364, 4, 0, 39, 100, 0, 0], [1364, 5, 0, 39, 100, 0, 0], [1364, 8, 3, 40, 100, 0, 0], [1364, 15, 3, 56, 100, 0, 0], [1365, 3, 13, 39, 100, 0, 0], [1366, 2, 13, 40, 100, 0, 0], [1366, 4, 0, 39, 100, 0, 0], [1366, 5, 0, 39, 100, 0, 0], [1366, 10, 1, 35, 100, 0, 0], [1366, 15, 4, 56, 100, 0, 0], [1367, 3, 13, 40, 100, 0, 0], [1367, 10, 1, 35, 100, 0, 0], [1368, 4, 0, 39, 100, 0, 0], [1368, 5, 0, 39, 100, 0, 0], [1368, 7, 2, 43, 100, 0, 0], [1368, 10, 1, 35, 100, 0, 0], [1368, 15, 3, 56, 100, 0, 0], [1370, 4, 0, 40, 100, 0, 0], [1370, 5, 0, 40, 100, 0, 0], [1370, 15, 3, 56, 100, 0, 0], [1372, 2, 13, 35, 100, 0, 0], [1372, 4, 0, 40, 100, 0, 0], [1372, 5, 0, 40, 100, 0, 0], [1372, 8, 3, 40, 100, 0, 0], [1372, 10, 1, 35, 100, 0, 0], [1372, 15, 3, 56, 100, 0, 0], [1373, 3, 13, 35, 100, 0, 0], [1373, 10, 1, 35, 100, 0, 0], [1374, 4, 0, 40, 100, 0, 0], [1374, 5, 0, 40, 100, 0, 0], [1374, 10, 1, 36, 100, 0, 0], [1374, 15, 4, 56, 100, 0, 0], [1375, 10, 1, 36, 100, 0, 0], [1376, 0, 12, 37, 100, 0, 0], [1376, 1, 13, 37, 100, 0, 0], [1376, 4, 0, 39, 100, 0, 0], [1376, 5, 0, 39, 100, 0, 0], [1376, 7, 2, 43, 100, 0, 0], [1376, 10, 1, 37, 100, 0, 0], [1376, 11, 7, 44, 100, 0, 0], [1376, 12, 8, 44, 100, 0, 0], [1376, 15, 3, 56, 100, 0, 0], [1377, 3, 13, 37, 100, 0, 0], [1377, 10, 1, 37, 100, 0, 0], [1378, 2, 13, 39, 100, 0, 0], [1378, 4, 0, 40, 100, 0, 0], [1378, 5, 0, 40, 100, 0, 0], [1378, 10, 1, 37, 100, 0, 0], [1378, 15, 3, 56, 100, 0, 0], [1379, 3, 13, 39, 100, 0, 0], [1380, 2, 13, 40, 100, 0, 0], [1380, 4, 0, 40, 100, 0, 0], [1380, 5, 0, 40, 100, 0, 0], [1380, 8, 3, 40, 100, 0, 0], [1380, 12, 8, 40, 100, 0, 0], [1380, 15, 3, 56, 100, 0, 0], [1381, 3, 13, 40, 100, 0, 0], [1382, 2, 13, 47, 100, 0, 0], [1382, 4, 0, 47, 100, 0, 0], [1382, 5, 0, 47, 100, 0, 0], [1382, 10, 1, 37, 100, 0, 0], [1382, 11, 7, 40, 100, 0, 0], [1382, 15, 4, 56, 100, 0, 0], [1383, 3, 13, 47, 100, 0, 0], [1383, 10, 1, 37, 100, 0, 0], [1384, 7, 2, 43, 100, 0, 0], [1384, 10, 1, 37, 100, 0, 0], [1384, 15, 3, 56, 100, 0, 0], [1386, 15, 3, 56, 100, 0, 0], [1388, 2, 13, 40, 100, 0, 0], [1388, 4, 0, 42, 100, 0, 0], [1388, 5, 0, 42, 100, 0, 0], [1388, 8, 3, 40, 100, 0, 0], [1388, 15, 3, 56, 100, 0, 0], [1389, 3, 13, 40, 100, 0, 0], [1390, 4, 0, 44, 100, 0, 0], [1390, 5, 0, 44, 100, 0, 0], [1390, 15, 4, 56, 100, 0, 0], [1392, 0, 12, 32, 100, 0, 0], [1392, 1, 13, 32, 100, 0, 0], [1392, 4, 0, 44, 100, 0, 0], [1392, 5, 0, 44, 100, 0, 0], [1392, 7, 2, 43, 100, 0, 0], [1392, 10, 1, 32, 100, 0, 0], [1392, 11, 7, 39, 100, 0, 0], [1392, 12, 8, 39, 100, 0, 0], [1392, 13, 8, 42, 100, 0, 0], [1392, 14, 8, 35, 100, 0, 0], [1392, 15, 3, 56, 100, 0, 0], [1393, 3, 13, 32, 100, 0, 0], [1393, 10, 1, 32, 100, 0, 0], [1394, 4, 0, 51, 100, 0, 0], [1394, 5, 0, 51, 100, 0, 0], [1394, 10, 1, 32, 100, 0, 0], [1394, 15, 3, 56, 100, 0, 0], [1396, 2, 13, 39, 100, 0, 0], [1396, 8, 3, 40, 100, 0, 0], [1396, 15, 3, 56, 100, 0, 0], [1397, 3, 13, 39, 100, 0, 0], [1398, 2, 13, 40, 100, 0, 0], [1398, 10, 1, 32, 100, 0, 0], [1398, 15, 4, 56, 100, 0, 0], [1399, 3, 13, 40, 100, 0, 0], [1399, 10, 1, 32, 100, 0, 0], [1400, 2, 13, 39, 100, 0, 0], [1400, 4, 0, 47, 100, 0, 0], [1400, 5, 0, 47, 100, 0, 0], [1400, 7, 2, 43, 100, 0, 0], [1400, 10, 1, 32, 100, 0, 0], [1400, 15, 3, 56, 100, 0, 0], [1401, 3, 13, 39, 100, 0, 0], [1401, 4, 0, 47, 100, 0, 0], [1401, 5, 0, 47, 100, 0, 0], [1401, 10, 1, 44, 100, 0, 0], [1402, 2, 13, 35, 100, 0, 0], [1402, 4, 0, 47, 100, 0, 0], [1402, 5, 0, 47, 100, 0, 0], [1402, 7, 2, 43, 100, 0, 0], [1402, 10, 1, 44, 100, 0, 0], [1402, 15, 3, 56, 100, 0, 0], [1403, 3, 13, 35, 100, 0, 0], [1403, 4, 0, 47, 100, 0, 0], [1403, 5, 0, 47, 100, 0, 0], [1404, 2, 13, 37, 100, 0, 0], [1404, 4, 0, 47, 100, 0, 0], [1404, 5, 0, 47, 100, 0, 0], [1404, 8, 3, 40, 100, 0, 0], [1404, 10, 1, 40, 100, 0, 0], [1404, 15, 3, 56, 100, 0, 0], [1405, 3, 13, 37, 100, 0, 0], [1405, 10, 1, 40, 100, 0, 0], [1406, 4, 0, 49, 100, 0, 0], [1406, 5, 0, 49, 100, 0, 0], [1406, 15, 4, 56, 100, 0, 0], [1408, 0, 12, 33, 100, 0, 0], [1408, 1, 13, 33, 100, 0, 0], [1409, 3, 13, 33, 100, 0, 0], [1410, 2, 13, 39, 100, 0, 0], [1411, 3, 13, 39, 100, 0, 0], [1412, 2, 13, 40, 100, 0, 0], [1413, 3, 13, 40, 100, 0, 0], [1414, 2, 13, 47, 100, 0, 0], [1415, 3, 13, 47, 100, 0, 0], [1420, 2, 13, 40, 100, 0, 0], [1421, 3, 13, 40, 100, 0, 0], [1424, 0, 12, 35, 100, 0, 0], [1424, 1, 13, 35, 100, 0, 0], [1425, 3, 13, 35, 100, 0, 0], [1428, 2, 13, 39, 100, 0, 0], [1429, 3, 13, 39, 100, 0, 0], [1430, 2, 13, 40, 100, 0, 0], [1431, 3, 13, 40, 100, 0, 0], [1436, 2, 13, 35, 100, 0, 0], [1437, 3, 13, 35, 100, 0, 0], [1440, 0, 12, 37, 100, 0, 0], [1440, 1, 13, 37, 100, 0, 0], [1441, 3, 13, 37, 100, 0, 0], [1442, 2, 13, 39, 100, 0, 0], [1443, 3, 13, 39, 100, 0, 0], [1444, 2, 13, 40, 100, 0, 0], [1445, 3, 13, 40, 100, 0, 0], [1446, 2, 13, 47, 100, 0, 0], [1447, 3, 13, 47, 100, 0, 0], [1452, 2, 13, 40, 100, 0, 0], [1453, 3, 13, 40, 100, 0, 0], [1456, 0, 12, 32, 100, 0, 0], [1456, 1, 13, 32, 100, 0, 0], [1457, 3, 13, 32, 100, 0, 0], [1460, 2, 13, 39, 100, 0, 0], [1461, 3, 13, 39, 100, 0, 0], [1462, 2, 13, 40, 100, 0, 0], [1462, 4, 0, 40, 100, 0, 0], [1462, 6, 6, 40, 100, 0, 0], [1463, 3, 13, 40, 100, 0, 0], [1463, 4, 0, 40, 100, 0, 0], [1463, 6, 6, 40, 100, 0, 0], [1464, 4, 0, 40, 100, 0, 0], [1464, 6, 6, 40, 100, 0, 0], [1465, 4, 0, 40, 100, 0, 0], [1465, 6, 6, 40, 100, 0, 0], [1466, 4, 0, 42, 100, 0, 0], [1466, 6, 6, 42, 100, 0, 0], [1467, 4, 0, 42, 100, 0, 0], [1467, 6, 6, 42, 100, 0, 0], [1468, 2, 13, 35, 100, 0, 0], [1468, 4, 0, 40, 100, 0, 0], [1468, 6, 6, 40, 100, 0, 0], [1469, 3, 13, 35, 100, 0, 0], [1469, 4, 0, 40, 100, 0, 0], [1469, 6, 6, 40, 100, 0, 0], [1470, 2, 13, 37, 100, 0, 0], [1470, 4, 0, 47, 100, 0, 0], [1470, 6, 6, 47, 100, 0, 0], [1471, 3, 13, 37, 100, 0, 0], [1471, 4, 0, 47, 100, 0, 0], [1471, 6, 6, 47, 100, 0, 0], [1472, 0, 12, 33, 100, 0, 0], [1472, 1, 13, 33, 100, 0, 0], [1473, 3, 13, 33, 100, 0, 0], [1474, 2, 13, 39, 100, 0, 0], [1475, 3, 13, 39, 100, 0, 0], [1476, 2, 13, 40, 100, 0, 0], [1477, 3, 13, 40, 100, 0, 0], [1478, 2, 13, 47, 100, 0, 0], [1479, 3, 13, 47, 100, 0, 0], [1484, 2, 13, 40, 100, 0, 0], [1485, 3, 13, 40, 100, 0, 0], [1488, 0, 12, 35, 100, 0, 0], [1488, 1, 13, 35, 100, 0, 0], [1489, 3, 13, 35, 100, 0, 0], [1492, 2, 13, 39, 100, 0, 0], [1493, 3, 13, 39, 100, 0, 0], [1494, 2, 13, 40, 100, 0, 0], [1495, 3, 13, 40, 100, 0, 0], [1500, 2, 13, 35, 100, 0, 0], [1501, 3, 13, 35, 100, 0, 0], [1502, 4, 0, 40, 100, 0, 0], [1502, 6, 6, 40, 100, 0, 0], [1504, 0, 12, 37, 100, 0, 0], [1504, 1, 13, 37, 100, 0, 0], [1504, 4, 0, 39, 100, 0, 0], [1504, 6, 6, 39, 100, 0, 0], [1505, 3, 13, 37, 100, 0, 0], [1506, 2, 13, 39, 100, 0, 0], [1506, 4, 0, 40, 100, 0, 0], [1506, 6, 6, 40, 100, 0, 0], [1507, 3, 13, 39, 100, 0, 0], [1508, 2, 13, 40, 100, 0, 0], [1508, 4, 0, 40, 100, 0, 0], [1508, 6, 6, 40, 100, 0, 0], [1509, 3, 13, 40, 100, 0, 0], [1510, 2, 13, 47, 100, 0, 0], [1510, 4, 0, 47, 100, 0, 0], [1510, 6, 6, 47, 100, 0, 0], [1511, 3, 13, 47, 100, 0, 0], [1516, 2, 13, 40, 100, 0, 0], [1516, 4, 0, 42, 100, 0, 0], [1516, 6, 6, 42, 100, 0, 0], [1517, 3, 13, 40, 100, 0, 0], [1518, 4, 0, 44, 100, 0, 0], [1518, 6, 6, 44, 100, 0, 0], [1520, 0, 12, 32, 100, 0, 0], [1520, 1, 13, 32, 100, 0, 0], [1520, 4, 0, 44, 100, 0, 0], [1520, 6, 6, 44, 100, 0, 0], [1521, 3, 13, 32, 100, 0, 0], [1522, 4, 0, 51, 100, 0, 0], [1522, 6, 6, 51, 100, 0, 0], [1524, 2, 13, 39, 100, 0, 0], [1525, 3, 13, 39, 100, 0, 0], [1526, 2, 13, 40, 100, 0, 0], [1527, 3, 13, 40, 100, 0, 0], [1528, 2, 13, 39, 100, 0, 0], [1528, 4, 0, 47, 100, 0, 0], [1528, 6, 6, 47, 100, 0, 0], [1529, 3, 13, 39, 100, 0, 0], [1529, 4, 0, 47, 100, 0, 0], [1529, 6, 6, 47, 100, 0, 0], [1530, 2, 13, 35, 100, 0, 0], [1530, 4, 0, 47, 100, 0, 0], [1530, 6, 6, 47, 100, 0, 0], [1531, 3, 13, 35, 100, 0, 0], [1531, 4, 0, 47, 100, 0, 0], [1531, 6, 6, 47, 100, 0, 0], [1532, 2, 13, 37, 100, 0, 0], [1532, 4, 0, 47, 100, 0, 0], [1532, 6, 6, 47, 100, 0, 0], [1533, 3, 13, 37, 100, 0, 0], [1534, 4, 0, 49, 100, 0, 0], [1534, 6, 6, 49, 100, 0, 0]]"#;
    const DATASET: &str = r#"[[0, 201108], [0, 217492], [1, 217492], [2, 218092], [3, 218092], [4, 218192], [5, 218192], [6, 218892], [7, 218892], [12, 218192], [13, 218192], [16, 201308], [16, 217692], [17, 217692], [20, 218092], [21, 218092], [22, 218192], [23, 218192], [28, 217692], [29, 217692], [32, 201508], [32, 217892], [33, 217892], [34, 218092], [35, 218092], [36, 218192], [37, 218192], [38, 218892], [39, 218892], [44, 218192], [45, 218192], [48, 201008], [48, 217392], [49, 217392], [52, 218092], [53, 218092], [54, 218192], [55, 218192], [60, 217692], [61, 217692], [62, 217892], [63, 217892], [64, 201108], [64, 217492], [65, 217492], [66, 218092], [67, 218092], [68, 218192], [69, 218192], [70, 218892], [71, 218892], [76, 218192], [77, 218192], [80, 201308], [80, 217692], [81, 217692], [84, 218092], [85, 218092], [86, 218192], [87, 218192], [92, 217692], [93, 217692], [96, 201508], [96, 217892], [97, 217892], [98, 218092], [99, 218092], [100, 218192], [101, 218192], [102, 218892], [103, 218892], [108, 218192], [109, 218192], [112, 201008], [112, 217392], [113, 217392], [116, 218092], [117, 218092], [118, 218192], [119, 218192], [120, 218092], [121, 218092], [122, 217692], [123, 217692], [124, 217892], [125, 217892], [128, 201108], [128, 217492], [128, 5100], [128, 5100], [129, 217492], [130, 218092], [130, 5200], [130, 5200], [131, 218092], [132, 218192], [132, 5200], [132, 5200], [133, 218192], [134, 218892], [134, 5900], [134, 5900], [135, 218892], [140, 218192], [140, 5200], [140, 5200], [141, 218192], [142, 5200], [142, 5200], [144, 201308], [144, 217692], [144, 5100], [144, 5100], [145, 217692], [146, 5100], [146, 5100], [148, 218092], [148, 5100], [148, 5100], [149, 218092], [150, 218192], [150, 5100], [150, 5100], [151, 218192], [152, 5100], [152, 5100], [154, 5200], [154, 5200], [156, 217692], [156, 5200], [156, 5200], [157, 217692], [158, 5200], [158, 5200], [160, 201508], [160, 217892], [160, 5100], [160, 5100], [161, 217892], [162, 218092], [162, 5200], [162, 5200], [163, 218092], [164, 218192], [164, 5200], [164, 5200], [165, 218192], [166, 218892], [166, 5900], [166, 5900], [167, 218892], [172, 218192], [172, 5200], [172, 5200], [173, 218192], [174, 5200], [174, 5200], [176, 201008], [176, 217392], [176, 5100], [176, 5100], [177, 217392], [178, 5100], [178, 5100], [180, 218092], [180, 5100], [180, 5100], [181, 218092], [182, 218192], [182, 5100], [182, 5100], [183, 218192], [184, 5100], [184, 5100], [186, 5200], [186, 5200], [188, 217692], [188, 5200], [188, 5200], [189, 217692], [190, 217892], [191, 217892], [192, 201108], [192, 217492], [192, 5100], [192, 5100], [193, 217492], [194, 218092], [194, 5200], [194, 5200], [195, 218092], [196, 218192], [196, 5200], [196, 5200], [197, 218192], [198, 218892], [198, 5900], [198, 5900], [199, 218892], [204, 218192], [204, 5200], [204, 5200], [205, 218192], [206, 5100], [206, 5100], [208, 201308], [208, 217692], [208, 5100], [208, 5100], [209, 217692], [210, 5100], [210, 5100], [212, 218092], [212, 5100], [212, 5100], [213, 218092], [214, 218192], [214, 5100], [214, 5100], [215, 218192], [216, 5100], [216, 5100], [218, 5200], [218, 5200], [220, 217692], [220, 5200], [220, 5200], [221, 217692], [222, 5200], [222, 5200], [224, 201508], [224, 217892], [224, 5100], [224, 5100], [225, 217892], [226, 218092], [226, 5200], [226, 5200], [227, 218092], [228, 218192], [228, 5200], [228, 5200], [229, 218192], [230, 218892], [230, 5900], [230, 5900], [231, 5900], [231, 5900], [236, 5400], [236, 5400], [238, 5600], [238, 5600], [240, 5600], [240, 5600], [242, 6300], [242, 6300], [243, 6300], [243, 6300], [248, 5900], [248, 5900], [248, 103904], [249, 5900], [249, 5900], [249, 103904], [250, 5900], [250, 5900], [250, 103904], [251, 5900], [251, 5900], [251, 103904], [252, 5900], [252, 5900], [252, 103904], [254, 6100], [254, 6100], [254, 104204], [256, 201108], [256, 217492], [256, 38268], [256, 20884], [257, 217492], [257, 20884], [258, 218092], [258, 4900], [258, 4900], [258, 20884], [259, 218092], [260, 218192], [260, 5600], [260, 5600], [260, 54352], [261, 218192], [262, 218892], [262, 20884], [263, 218892], [263, 20884], [264, 5400], [264, 5400], [264, 38268], [264, 20884], [268, 218192], [268, 54352], [269, 218192], [270, 5400], [270, 5400], [272, 201308], [272, 217692], [272, 38268], [272, 21084], [273, 217692], [273, 21084], [274, 5400], [274, 5400], [274, 21084], [276, 218092], [276, 54352], [277, 218092], [278, 218192], [278, 5200], [278, 5200], [278, 21084], [279, 218192], [279, 21084], [280, 5400], [280, 5400], [280, 38268], [280, 21084], [284, 217692], [284, 5400], [284, 5400], [284, 54352], [285, 217692], [288, 201508], [288, 217892], [288, 4900], [288, 4900], [288, 38268], [288, 21284], [289, 217892], [289, 21284], [290, 218092], [290, 4900], [290, 4900], [290, 21284], [291, 218092], [292, 218192], [292, 5600], [292, 5600], [292, 54352], [293, 218192], [294, 218892], [294, 5200], [294, 5200], [294, 21284], [295, 218892], [295, 21284], [296, 5400], [296, 5400], [296, 38268], [296, 21284], [300, 218192], [300, 54352], [301, 218192], [302, 5400], [302, 5400], [304, 201008], [304, 217392], [304, 38268], [304, 20784], [305, 217392], [305, 20784], [306, 5400], [306, 5400], [306, 20784], [308, 218092], [308, 54352], [309, 218092], [310, 218192], [310, 5200], [310, 5200], [310, 20784], [311, 218192], [311, 20784], [312, 5400], [312, 5400], [312, 38268], [312, 20784], [314, 38268], [316, 217692], [316, 5400], [316, 5400], [316, 54352], [317, 217692], [318, 217892], [319, 217892], [320, 201108], [320, 217492], [320, 4900], [320, 4900], [320, 38268], [320, 20884], [321, 217492], [321, 20884], [322, 218092], [322, 4900], [322, 4900], [322, 20884], [323, 218092], [324, 218192], [324, 5600], [324, 5600], [324, 54352], [325, 218192], [326, 218892], [326, 5200], [326, 5200], [326, 20884], [327, 218892], [327, 20884], [328, 5400], [328, 5400], [328, 38268], [328, 20884], [332, 218192], [332, 54352], [333, 218192], [334, 5400], [334, 5400], [336, 201308], [336, 217692], [336, 38268], [336, 21084], [337, 217692], [337, 21084], [338, 5400], [338, 5400], [338, 21084], [340, 218092], [340, 54352], [341, 218092], [342, 218192], [342, 5200], [342, 5200], [342, 21084], [343, 218192], [343, 21084], [344, 5400], [344, 5400], [344, 38268], [344, 21084], [348, 217692], [348, 5400], [348, 5400], [348, 54352], [348, 21084], [349, 217692], [349, 21084], [350, 21184], [351, 21184], [352, 201508], [352, 217892], [352, 5900], [352, 5900], [352, 38268], [352, 21284], [353, 217892], [353, 21284], [354, 218092], [354, 21284], [355, 218092], [356, 218192], [356, 5600], [356, 5600], [356, 54352], [357, 218192], [358, 218892], [358, 21284], [359, 218892], [359, 21284], [360, 5900], [360, 5900], [360, 38268], [360, 21284], [364, 218192], [364, 5600], [364, 5600], [364, 54352], [365, 218192], [368, 201008], [368, 217392], [368, 5400], [368, 5400], [368, 38268], [368, 20784], [369, 217392], [369, 20784], [370, 5400], [370, 5400], [370, 20784], [372, 218092], [372, 5400], [372, 5400], [372, 54352], [373, 218092], [374, 218192], [374, 5600], [374, 5600], [374, 20784], [375, 218192], [375, 20784], [376, 218092], [376, 5400], [376, 5400], [376, 38268], [376, 20784], [377, 218092], [377, 21184], [378, 217692], [378, 38268], [378, 21384], [379, 217692], [379, 20984], [380, 217892], [380, 5200], [380, 5200], [380, 54352], [380, 20784], [381, 217892], [382, 38268], [384, 201108], [384, 217492], [384, 5200], [384, 5200], [384, 38268], [384, 20884], [385, 217492], [385, 5200], [385, 5200], [385, 20884], [386, 218092], [386, 5200], [386, 5200], [386, 20884], [387, 218092], [387, 5200], [387, 5200], [387, 20884], [388, 218192], [388, 5200], [388, 5200], [388, 54352], [388, 20884], [389, 218192], [389, 5200], [389, 5200], [389, 20884], [390, 218892], [390, 5200], [390, 5200], [390, 20884], [391, 218892], [391, 5200], [391, 5200], [391, 20884], [392, 5200], [392, 5200], [392, 38268], [392, 20884], [393, 5200], [393, 5200], [393, 20884], [394, 4900], [394, 4900], [394, 20884], [395, 4900], [395, 4900], [395, 20884], [396, 218192], [396, 5600], [396, 5600], [396, 54352], [396, 20884], [397, 218192], [397, 5600], [397, 5600], [397, 20884], [398, 5600], [398, 5600], [398, 20884], [399, 5600], [399, 5600], [399, 20884], [400, 201308], [400, 217692], [400, 5900], [400, 38268], [400, 21084], [401, 217692], [401, 5900], [401, 21084], [402, 5900], [402, 21084], [403, 5900], [403, 21084], [404, 218092], [404, 5700], [404, 54352], [404, 21084], [405, 218092], [405, 5700], [405, 21084], [406, 218192], [406, 5600], [406, 21084], [407, 218192], [407, 5600], [407, 21084], [408, 5600], [408, 38268], [408, 21084], [409, 5600], [409, 21084], [410, 5600], [410, 21084], [411, 5600], [411, 21084], [412, 217692], [412, 5400], [412, 54352], [412, 21084], [413, 217692], [413, 5400], [413, 21084], [414, 5600], [414, 21084], [415, 5600], [415, 21084], [416, 201508], [416, 217892], [416, 5200], [416, 5200], [416, 38268], [416, 21284], [417, 217892], [417, 5200], [417, 5200], [417, 21284], [418, 218092], [418, 5200], [418, 5200], [418, 21284], [419, 218092], [419, 5200], [419, 5200], [419, 21284], [420, 218192], [420, 5200], [420, 5200], [420, 54352], [420, 21284], [421, 218192], [421, 5200], [421, 5200], [421, 21284], [422, 218892], [422, 5200], [422, 5200], [422, 21284], [423, 218892], [423, 5200], [423, 5200], [423, 21284], [424, 5200], [424, 5200], [424, 38268], [424, 21284], [425, 5200], [425, 5200], [425, 21284], [426, 4900], [426, 4900], [426, 21284], [427, 4900], [427, 4900], [427, 21284], [428, 218192], [428, 5600], [428, 5600], [428, 54352], [428, 21284], [429, 218192], [429, 5600], [429, 5600], [429, 21284], [430, 5600], [430, 5600], [430, 21284], [431, 5600], [431, 5600], [431, 21284], [432, 201008], [432, 217392], [432, 5900], [432, 38268], [432, 20784], [433, 217392], [433, 5900], [433, 20784], [434, 5900], [434, 20784], [435, 5900], [435, 20784], [436, 218092], [436, 5700], [436, 54352], [436, 20784], [437, 218092], [437, 5700], [437, 20784], [438, 218192], [438, 5600], [438, 20784], [439, 218192], [439, 5600], [439, 20784], [440, 5600], [440, 38268], [440, 20784], [441, 5600], [441, 20784], [442, 5600], [442, 38268], [442, 20784], [443, 5600], [443, 20784], [444, 217692], [444, 5400], [444, 54352], [444, 20784], [445, 217692], [445, 5400], [445, 20784], [446, 217892], [446, 5600], [446, 20784], [447, 217892], [447, 5600], [447, 20784], [448, 201108], [448, 217492], [448, 5200], [448, 5200], [448, 20884], [449, 217492], [449, 5200], [449, 5200], [449, 20884], [450, 218092], [450, 5200], [450, 5200], [450, 20884], [451, 218092], [451, 5200], [451, 5200], [451, 20884], [452, 218192], [452, 5200], [452, 5200], [452, 20884], [453, 218192], [453, 5200], [453, 5200], [453, 20884], [454, 218892], [454, 5200], [454, 5200], [454, 20884], [455, 218892], [455, 5200], [455, 5200], [455, 20884], [456, 5200], [456, 5200], [456, 20884], [457, 5200], [457, 5200], [457, 20884], [458, 4900], [458, 4900], [458, 20884], [459, 4900], [459, 4900], [459, 20884], [460, 218192], [460, 5600], [460, 5600], [460, 20884], [461, 218192], [461, 5600], [461, 5600], [461, 20884], [462, 5600], [462, 5600], [462, 20884], [463, 5600], [463, 5600], [463, 20884], [464, 201308], [464, 217692], [464, 5900], [464, 21084], [465, 217692], [465, 5900], [465, 21084], [466, 5900], [466, 21084], [467, 5900], [467, 21084], [468, 218092], [468, 5700], [468, 21084], [469, 218092], [469, 5700], [469, 21084], [470, 218192], [470, 5600], [470, 21084], [471, 218192], [471, 5600], [471, 21084], [472, 5600], [472, 21084], [473, 5600], [473, 21084], [474, 5600], [474, 21084], [475, 5600], [475, 21084], [476, 217692], [476, 5400], [476, 21084], [477, 217692], [477, 5400], [477, 21084], [478, 5600], [478, 21084], [479, 5600], [479, 21084], [480, 201508], [480, 217892], [480, 5900], [480, 5900], [480, 21284], [481, 217892], [481, 21284], [482, 218092], [482, 21284], [483, 218092], [483, 21284], [484, 218192], [484, 5600], [484, 5600], [484, 21284], [485, 218192], [485, 21284], [486, 218892], [486, 21284], [487, 218892], [487, 21284], [488, 5900], [488, 5900], [488, 21284], [489, 21284], [490, 21284], [491, 21284], [492, 218192], [492, 5600], [492, 5600], [492, 21284], [493, 218192], [493, 21284], [494, 21284], [495, 21284], [496, 5400], [496, 5400], [498, 5400], [498, 5400], [500, 5400], [500, 5400], [502, 5600], [502, 5600], [504, 5400], [504, 5400], [506, 54352], [508, 5200], [508, 5200], [508, 38268], [508, 54352], [510, 54352], [512, 201108], [512, 217492], [512, 5100], [512, 5100], [512, 38268], [512, 20884], [513, 217492], [513, 20884], [514, 218092], [514, 5200], [514, 5200], [514, 20884], [515, 218092], [516, 218192], [516, 5200], [516, 5200], [516, 54352], [517, 218192], [518, 218892], [518, 5900], [518, 5900], [518, 20884], [519, 218892], [519, 20884], [520, 38268], [520, 20884], [524, 218192], [524, 5200], [524, 5200], [524, 54352], [525, 218192], [526, 5200], [526, 5200], [528, 201308], [528, 217692], [528, 5100], [528, 5100], [528, 38268], [528, 21084], [529, 217692], [529, 21084], [530, 5100], [530, 5100], [530, 21084], [532, 218092], [532, 5100], [532, 5100], [532, 54352], [533, 218092], [534, 218192], [534, 5100], [534, 5100], [534, 21084], [535, 218192], [535, 21084], [536, 5100], [536, 5100], [536, 38268], [536, 21084], [538, 5200], [538, 5200], [540, 217692], [540, 5200], [540, 5200], [540, 54352], [540, 21084], [541, 217692], [541, 21084], [542, 5200], [542, 5200], [542, 21184], [543, 21184], [544, 201508], [544, 217892], [544, 5100], [544, 5100], [544, 38268], [544, 21284], [545, 217892], [545, 21284], [546, 218092], [546, 5200], [546, 5200], [546, 21284], [547, 218092], [548, 218192], [548, 5200], [548, 5200], [548, 54352], [549, 218192], [550, 218892], [550, 5900], [550, 5900], [550, 21284], [551, 218892], [551, 21284], [552, 38268], [552, 21284], [556, 218192], [556, 5200], [556, 5200], [556, 54352], [557, 218192], [558, 5200], [558, 5200], [560, 201008], [560, 217392], [560, 5100], [560, 5100], [560, 38268], [560, 20784], [561, 217392], [561, 20784], [562, 5100], [562, 5100], [562, 20784], [564, 218092], [564, 5100], [564, 5100], [564, 54352], [565, 218092], [566, 218192], [566, 5100], [566, 5100], [566, 20784], [567, 218192], [567, 20784], [568, 5100], [568, 5100], [568, 38268], [568, 20784], [570, 5200], [570, 5200], [570, 38268], [572, 217692], [572, 5200], [572, 5200], [572, 54352], [573, 217692], [574, 217892], [575, 217892], [576, 201108], [576, 217492], [576, 5100], [576, 5100], [576, 38268], [576, 20884], [577, 217492], [577, 20884], [578, 218092], [578, 5200], [578, 5200], [578, 20884], [579, 218092], [580, 218192], [580, 5200], [580, 5200], [580, 54352], [581, 218192], [582, 218892], [582, 5900], [582, 5900], [582, 20884], [583, 218892], [583, 20884], [584, 38268], [584, 20884], [588, 218192], [588, 5200], [588, 5200], [588, 54352], [589, 218192], [590, 5200], [590, 5200], [592, 201308], [592, 217692], [592, 5100], [592, 5100], [592, 38268], [592, 21084], [593, 217692], [593, 21084], [594, 5100], [594, 5100], [594, 21084], [596, 218092], [596, 5100], [596, 5100], [596, 54352], [597, 218092], [598, 218192], [598, 5100], [598, 5100], [598, 21084], [599, 218192], [599, 21084], [600, 5100], [600, 5100], [600, 38268], [600, 21084], [602, 5200], [602, 5200], [604, 217692], [604, 5200], [604, 5200], [604, 54352], [604, 21084], [605, 217692], [605, 21084], [606, 5200], [606, 5200], [606, 21184], [607, 21184], [608, 201508], [608, 217892], [608, 5100], [608, 5100], [608, 38268], [608, 21284], [609, 217892], [609, 21284], [610, 218092], [610, 5200], [610, 5200], [610, 21284], [611, 218092], [612, 218192], [612, 5200], [612, 5200], [612, 54352], [613, 218192], [614, 218892], [614, 5900], [614, 5900], [614, 21284], [615, 218892], [615, 21284], [616, 38268], [616, 21284], [620, 218192], [620, 5400], [620, 5400], [620, 54352], [621, 218192], [622, 5600], [622, 5600], [624, 201008], [624, 217392], [624, 5600], [624, 5600], [624, 38268], [624, 20784], [625, 217392], [625, 20784], [626, 6300], [626, 6300], [626, 20784], [628, 218092], [628, 54352], [629, 218092], [630, 218192], [630, 20784], [631, 218192], [631, 20784], [632, 218092], [632, 5900], [632, 5900], [632, 38268], [632, 20784], [633, 218092], [633, 5900], [633, 5900], [633, 21984], [634, 217692], [634, 5900], [634, 5900], [634, 38268], [634, 21984], [635, 217692], [635, 5900], [635, 5900], [636, 217892], [636, 5900], [636, 5900], [636, 38268], [636, 54352], [636, 21584], [637, 217892], [637, 21584], [638, 6100], [638, 6100], [638, 38268], [640, 201108], [640, 217492], [640, 5100], [640, 5100], [640, 38268], [640, 20884], [640, 120288], [640, 136672], [641, 217492], [641, 20884], [642, 218092], [642, 5200], [642, 5200], [642, 20884], [643, 218092], [644, 218192], [644, 5200], [644, 5200], [644, 54352], [644, 136272], [645, 218192], [646, 218892], [646, 5900], [646, 5900], [646, 20884], [646, 119888], [647, 218892], [647, 20884], [648, 38268], [648, 20884], [652, 218192], [652, 5200], [652, 5200], [652, 54352], [653, 218192], [654, 5200], [654, 5200], [656, 201308], [656, 217692], [656, 5100], [656, 5100], [656, 38268], [656, 21084], [656, 120088], [656, 136472], [657, 217692], [657, 21084], [658, 5100], [658, 5100], [658, 21084], [660, 218092], [660, 5100], [660, 5100], [660, 54352], [661, 218092], [662, 218192], [662, 5100], [662, 5100], [662, 21084], [663, 218192], [663, 21084], [664, 5100], [664, 5100], [664, 38268], [664, 21084], [666, 5200], [666, 5200], [668, 217692], [668, 5200], [668, 5200], [668, 54352], [668, 21084], [669, 217692], [669, 21084], [670, 5200], [670, 5200], [670, 21184], [671, 21184], [672, 201508], [672, 217892], [672, 5100], [672, 5100], [672, 38268], [672, 21284], [672, 120288], [672, 136672], [673, 217892], [673, 21284], [674, 218092], [674, 5200], [674, 5200], [674, 21284], [675, 218092], [676, 218192], [676, 5200], [676, 5200], [676, 54352], [676, 136272], [677, 218192], [678, 218892], [678, 5900], [678, 5900], [678, 21284], [678, 119888], [679, 218892], [679, 21284], [680, 38268], [680, 21284], [684, 218192], [684, 5200], [684, 5200], [684, 54352], [685, 218192], [686, 5200], [686, 5200], [688, 201008], [688, 217392], [688, 5100], [688, 5100], [688, 38268], [688, 20784], [688, 119788], [688, 136172], [688, 136472], [688, 135772], [689, 217392], [689, 20784], [690, 5100], [690, 5100], [690, 20784], [692, 218092], [692, 5100], [692, 5100], [692, 54352], [693, 218092], [694, 218192], [694, 5100], [694, 5100], [694, 20784], [695, 218192], [695, 20784], [696, 5100], [696, 5100], [696, 38268], [696, 20784], [697, 21184], [698, 5200], [698, 5200], [698, 38268], [698, 21384], [699, 20984], [700, 217692], [700, 5200], [700, 5200], [700, 38268], [700, 54352], [700, 20784], [701, 217692], [702, 217892], [702, 38268], [703, 217892], [704, 201108], [704, 217492], [704, 5100], [704, 5100], [704, 38268], [704, 20884], [704, 120288], [704, 136672], [705, 217492], [705, 20884], [706, 218092], [706, 5200], [706, 5200], [706, 20884], [707, 218092], [708, 218192], [708, 5200], [708, 5200], [708, 54352], [708, 136272], [709, 218192], [710, 218892], [710, 5900], [710, 5900], [710, 20884], [710, 119888], [711, 218892], [711, 20884], [712, 38268], [712, 20884], [716, 218192], [716, 5200], [716, 5200], [716, 54352], [717, 218192], [718, 5200], [718, 5200], [720, 201308], [720, 217692], [720, 5100], [720, 5100], [720, 38268], [720, 21084], [720, 120088], [720, 136472], [721, 217692], [721, 21084], [722, 5100], [722, 5100], [722, 21084], [724, 218092], [724, 5100], [724, 5100], [724, 54352], [725, 218092], [726, 218192], [726, 5100], [726, 5100], [726, 21084], [727, 218192], [727, 21084], [728, 5100], [728, 5100], [728, 38268], [728, 21084], [730, 5200], [730, 5200], [732, 217692], [732, 5200], [732, 5200], [732, 54352], [732, 21084], [733, 217692], [733, 21084], [734, 5200], [734, 5200], [734, 21184], [735, 21184], [736, 201508], [736, 217892], [736, 5100], [736, 5100], [736, 38268], [736, 21284], [736, 120288], [736, 136672], [737, 217892], [737, 21284], [738, 218092], [738, 5200], [738, 5200], [738, 21284], [739, 218092], [740, 218192], [740, 5200], [740, 5200], [740, 54352], [740, 136272], [741, 218192], [742, 218892], [742, 5900], [742, 5900], [742, 21284], [742, 119888], [743, 218892], [743, 21284], [744, 38268], [744, 21284], [748, 218192], [748, 5400], [748, 5400], [748, 54352], [749, 218192], [750, 5600], [750, 5600], [752, 201008], [752, 217392], [752, 5600], [752, 5600], [752, 38268], [752, 20784], [752, 119788], [752, 136172], [752, 136472], [752, 135772], [753, 217392], [753, 20784], [754, 6300], [754, 6300], [754, 20784], [756, 218092], [756, 54352], [757, 218092], [758, 218192], [758, 20784], [759, 218192], [759, 20784], [760, 218092], [760, 5900], [760, 5900], [760, 38268], [760, 20784], [761, 218092], [761, 5900], [761, 5900], [761, 21984], [762, 217692], [762, 5900], [762, 5900], [762, 38268], [762, 21984], [763, 217692], [763, 5900], [763, 5900], [764, 217892], [764, 5900], [764, 5900], [764, 38268], [764, 54352], [764, 21584], [765, 217892], [765, 21584], [766, 6100], [766, 6100], [766, 38268], [770, 5600], [770, 5600], [772, 5600], [772, 5600], [774, 5600], [774, 5600], [776, 5600], [776, 5600], [778, 5200], [778, 5200], [780, 5200], [780, 5200], [782, 5200], [782, 5200], [784, 5200], [784, 5200], [786, 5400], [786, 5400], [788, 5400], [788, 5400], [792, 54352], [796, 104604], [796, 54352], [798, 104404], [800, 201508], [800, 217892], [800, 38268], [800, 21284], [801, 21284], [802, 218092], [802, 21284], [803, 218092], [804, 218192], [804, 5400], [804, 5400], [804, 54352], [805, 218192], [806, 218892], [806, 5600], [806, 5600], [806, 21284], [807, 218892], [807, 21284], [808, 5600], [808, 5600], [808, 38268], [808, 21284], [810, 5200], [810, 5200], [812, 218192], [812, 5200], [812, 5200], [812, 54352], [813, 218192], [814, 5200], [814, 5200], [816, 201008], [816, 217392], [816, 5200], [816, 5200], [816, 38268], [816, 20784], [817, 20784], [818, 5400], [818, 5400], [818, 20784], [820, 218092], [820, 5400], [820, 5400], [820, 54352], [821, 218092], [821, 5400], [821, 5400], [822, 218192], [822, 5400], [822, 5400], [822, 20784], [823, 218192], [823, 5400], [823, 5400], [823, 20784], [824, 5400], [824, 5400], [824, 38268], [824, 20784], [825, 5400], [825, 5400], [826, 5200], [826, 5200], [826, 38268], [827, 5200], [827, 5200], [828, 217692], [828, 5400], [828, 5400], [828, 54352], [829, 217692], [829, 5400], [829, 5400], [830, 217892], [830, 5200], [830, 5200], [831, 217892], [831, 5200], [831, 5200], [832, 201108], [832, 217492], [832, 38268], [832, 20884], [833, 20884], [834, 218092], [834, 20884], [835, 218092], [836, 218192], [836, 5600], [836, 5600], [836, 54352], [837, 218192], [838, 218892], [838, 5600], [838, 5600], [838, 20884], [839, 218892], [839, 20884], [840, 5600], [840, 5600], [840, 38268], [840, 20884], [842, 5900], [842, 5900], [844, 218192], [844, 5200], [844, 5200], [844, 54352], [845, 218192], [846, 5200], [846, 5200], [848, 201308], [848, 217692], [848, 5200], [848, 5200], [848, 38268], [848, 21084], [849, 21084], [850, 5400], [850, 5400], [850, 21084], [852, 218092], [852, 5400], [852, 5400], [852, 54352], [853, 218092], [854, 218192], [854, 21084], [855, 218192], [855, 21084], [856, 38268], [856, 21084], [858, 104204], [860, 217692], [860, 104604], [860, 54352], [860, 21084], [861, 217692], [861, 21084], [862, 104404], [862, 21184], [863, 21184], [864, 201508], [864, 217892], [864, 38268], [864, 21284], [865, 21284], [866, 218092], [866, 4900], [866, 4900], [866, 21284], [867, 218092], [868, 218192], [868, 5600], [868, 5600], [868, 54352], [869, 218192], [870, 218892], [870, 5600], [870, 5600], [870, 21284], [871, 218892], [871, 21284], [872, 5600], [872, 5600], [872, 38268], [872, 21284], [874, 5200], [874, 5200], [876, 218192], [876, 5200], [876, 5200], [876, 54352], [877, 218192], [878, 5200], [878, 5200], [880, 201008], [880, 217392], [880, 5200], [880, 5200], [880, 38268], [880, 20784], [881, 20784], [882, 5400], [882, 5400], [882, 20784], [884, 218092], [884, 5400], [884, 5400], [884, 54352], [885, 218092], [885, 5400], [885, 5400], [886, 218192], [886, 5400], [886, 5400], [886, 20784], [887, 218192], [887, 5400], [887, 5400], [887, 20784], [888, 218092], [888, 5400], [888, 5400], [888, 38268], [888, 20784], [889, 218092], [889, 5400], [889, 5400], [889, 21184], [890, 217692], [890, 5200], [890, 5200], [890, 38268], [890, 21384], [891, 217692], [891, 5200], [891, 5200], [891, 20984], [892, 217892], [892, 5400], [892, 5400], [892, 54352], [892, 20784], [893, 217892], [893, 5400], [893, 5400], [894, 5200], [894, 5200], [894, 38268], [895, 5200], [895, 5200], [896, 201108], [896, 217492], [896, 38268], [896, 20884], [897, 217492], [897, 20884], [898, 218092], [898, 6300], [898, 6300], [898, 20884], [899, 218092], [900, 218192], [900, 6300], [900, 6300], [900, 54352], [901, 218192], [902, 218892], [902, 6400], [902, 6400], [902, 20884], [903, 218892], [903, 20884], [904, 38268], [904, 20884], [906, 5400], [906, 5400], [908, 218192], [908, 5400], [908, 5400], [908, 54352], [909, 218192], [910, 5200], [910, 5200], [912, 201308], [912, 217692], [912, 5400], [912, 5400], [912, 38268], [912, 21084], [913, 217692], [913, 21084], [914, 21084], [916, 218092], [916, 5400], [916, 5400], [916, 54352], [917, 218092], [918, 218192], [918, 5200], [918, 5200], [918, 21084], [919, 218192], [919, 21084], [920, 5400], [920, 5400], [920, 38268], [920, 21084], [924, 217692], [924, 5600], [924, 5600], [924, 54352], [925, 217692], [928, 201508], [928, 217892], [928, 38268], [928, 21284], [929, 217892], [929, 21284], [930, 218092], [930, 5400], [930, 5400], [930, 21284], [931, 218092], [932, 218192], [932, 5400], [932, 5400], [932, 54352], [933, 218192], [934, 218892], [934, 5200], [934, 5200], [934, 21284], [935, 218892], [935, 21284], [936, 5400], [936, 5400], [936, 38268], [936, 21284], [938, 5400], [938, 5400], [940, 218192], [940, 5400], [940, 5400], [940, 54352], [941, 218192], [942, 5200], [942, 5200], [944, 201008], [944, 217392], [944, 5400], [944, 5400], [944, 38268], [944, 20784], [945, 217392], [945, 20784], [946, 20784], [948, 218092], [948, 5600], [948, 5600], [948, 54352], [949, 218092], [950, 218192], [950, 20784], [951, 218192], [951, 20784], [952, 5100], [952, 5100], [952, 38268], [952, 20784], [954, 38268], [956, 217692], [956, 5200], [956, 5200], [956, 54352], [957, 217692], [958, 217892], [959, 217892], [960, 201108], [960, 217492], [960, 38268], [960, 20884], [961, 217492], [961, 20884], [962, 218092], [962, 4900], [962, 4900], [962, 20884], [963, 218092], [964, 218192], [964, 5600], [964, 5600], [964, 54352], [965, 218192], [966, 218892], [966, 5400], [966, 5400], [966, 20884], [967, 218892], [967, 20884], [968, 38268], [968, 20884], [970, 5200], [970, 5200], [972, 218192], [972, 5600], [972, 5600], [972, 54352], [973, 218192], [974, 5400], [974, 5400], [976, 201308], [976, 217692], [976, 38268], [976, 21084], [977, 217692], [977, 21084], [978, 5200], [978, 5200], [978, 21084], [980, 218092], [980, 5600], [980, 5600], [980, 54352], [981, 218092], [982, 218192], [982, 5400], [982, 5400], [982, 21084], [983, 218192], [983, 21084], [984, 38268], [984, 21084], [986, 5200], [986, 5200], [988, 217692], [988, 5600], [988, 5600], [988, 54352], [988, 21084], [989, 217692], [989, 21084], [990, 5400], [990, 5400], [990, 21184], [991, 21184], [992, 201508], [992, 217892], [992, 38268], [992, 21284], [993, 217892], [993, 21284], [994, 218092], [994, 21284], [995, 218092], [996, 218192], [996, 4900], [996, 4900], [996, 54352], [997, 218192], [998, 218892], [998, 21284], [999, 218892], [999, 21284], [1000, 38268], [1000, 21284], [1002, 5200], [1002, 5200], [1004, 218192], [1004, 5200], [1004, 5200], [1004, 54352], [1005, 218192], [1006, 5200], [1006, 5200], [1008, 5400], [1008, 5400], [1009, 5400], [1009, 5400], [1012, 5200], [1012, 5200], [1014, 6300], [1014, 6300], [1016, 6100], [1016, 6100], [1018, 5900], [1018, 5900], [1018, 54752], [1018, 71136], [1020, 54752], [1020, 71136], [1022, 72336], [1024, 201108], [1024, 217492], [1024, 5200], [1024, 5200], [1024, 38268], [1024, 20884], [1024, 55952], [1025, 217492], [1025, 5200], [1025, 5200], [1025, 20884], [1026, 218092], [1026, 5200], [1026, 5200], [1026, 20884], [1026, 55952], [1027, 218092], [1027, 5200], [1027, 5200], [1027, 20884], [1028, 218192], [1028, 5200], [1028, 5200], [1028, 54352], [1028, 20884], [1028, 55952], [1028, 88720], [1029, 218192], [1029, 5200], [1029, 5200], [1029, 20884], [1030, 218892], [1030, 5200], [1030, 5200], [1030, 20884], [1030, 72336], [1031, 218892], [1031, 5200], [1031, 5200], [1031, 20884], [1032, 5200], [1032, 5200], [1032, 38268], [1032, 20884], [1032, 55952], [1032, 88720], [1033, 5200], [1033, 5200], [1033, 20884], [1034, 4900], [1034, 4900], [1034, 20884], [1034, 55952], [1034, 88520], [1035, 4900], [1035, 4900], [1035, 20884], [1036, 218192], [1036, 5600], [1036, 5600], [1036, 54352], [1036, 20884], [1036, 55952], [1037, 218192], [1037, 5600], [1037, 5600], [1037, 20884], [1038, 5600], [1038, 5600], [1038, 20884], [1038, 72336], [1039, 5600], [1039, 5600], [1039, 20884], [1040, 201308], [1040, 217692], [1040, 5900], [1040, 38268], [1040, 21084], [1040, 55952], [1040, 88720], [1041, 217692], [1041, 5900], [1041, 21084], [1042, 5900], [1042, 21084], [1042, 55952], [1043, 5900], [1043, 21084], [1044, 218092], [1044, 5700], [1044, 54352], [1044, 21084], [1044, 55952], [1044, 88720], [1045, 218092], [1045, 5700], [1045, 21084], [1046, 218192], [1046, 5600], [1046, 21084], [1046, 72336], [1046, 88520], [1047, 218192], [1047, 5600], [1047, 21084], [1048, 5600], [1048, 38268], [1048, 21084], [1048, 55952], [1049, 5600], [1049, 21084], [1050, 5600], [1050, 21084], [1050, 55952], [1051, 5600], [1051, 21084], [1052, 217692], [1052, 5400], [1052, 54352], [1052, 21084], [1052, 55952], [1053, 217692], [1053, 5400], [1053, 21084], [1054, 5600], [1054, 21084], [1054, 72336], [1055, 5600], [1055, 21084], [1056, 201508], [1056, 217892], [1056, 5200], [1056, 5200], [1056, 38268], [1056, 21284], [1056, 55952], [1057, 217892], [1057, 5200], [1057, 5200], [1057, 21284], [1058, 218092], [1058, 5200], [1058, 5200], [1058, 21284], [1058, 55952], [1059, 218092], [1059, 5200], [1059, 5200], [1059, 21284], [1060, 218192], [1060, 5200], [1060, 5200], [1060, 54352], [1060, 21284], [1060, 55952], [1060, 88720], [1061, 218192], [1061, 5200], [1061, 5200], [1061, 21284], [1062, 218892], [1062, 5200], [1062, 5200], [1062, 21284], [1062, 72336], [1063, 218892], [1063, 5200], [1063, 5200], [1063, 21284], [1064, 5200], [1064, 5200], [1064, 38268], [1064, 21284], [1064, 55952], [1064, 88720], [1065, 5200], [1065, 5200], [1065, 21284], [1066, 4900], [1066, 4900], [1066, 21284], [1066, 55952], [1066, 88520], [1067, 4900], [1067, 4900], [1067, 21284], [1068, 218192], [1068, 5600], [1068, 5600], [1068, 54352], [1068, 21284], [1068, 55952], [1069, 218192], [1069, 5600], [1069, 5600], [1069, 21284], [1070, 5600], [1070, 5600], [1070, 21284], [1070, 72336], [1071, 5600], [1071, 5600], [1071, 21284], [1072, 201008], [1072, 217392], [1072, 5900], [1072, 38268], [1072, 20784], [1072, 55952], [1072, 88720], [1073, 217392], [1073, 5900], [1073, 20784], [1074, 5900], [1074, 20784], [1074, 55952], [1075, 5900], [1075, 20784], [1076, 218092], [1076, 5700], [1076, 54352], [1076, 20784], [1076, 55952], [1076, 88720], [1077, 218092], [1077, 5700], [1077, 20784], [1078, 218192], [1078, 5600], [1078, 20784], [1078, 72336], [1078, 88520], [1079, 218192], [1079, 5600], [1079, 20784], [1080, 5600], [1080, 38268], [1080, 20784], [1080, 55952], [1081, 5600], [1081, 20784], [1082, 5600], [1082, 38268], [1082, 20784], [1082, 55952], [1083, 5600], [1083, 20784], [1084, 217692], [1084, 5400], [1084, 54352], [1084, 20784], [1084, 55952], [1085, 217692], [1085, 5400], [1085, 20784], [1086, 217892], [1086, 5600], [1086, 20784], [1086, 72336], [1087, 217892], [1087, 5600], [1087, 20784], [1088, 201108], [1088, 217492], [1088, 5200], [1088, 5200], [1088, 20884], [1088, 55952], [1089, 217492], [1089, 5200], [1089, 5200], [1089, 20884], [1090, 218092], [1090, 5200], [1090, 5200], [1090, 20884], [1090, 55952], [1091, 218092], [1091, 5200], [1091, 5200], [1091, 20884], [1092, 218192], [1092, 5200], [1092, 5200], [1092, 20884], [1092, 54352], [1093, 218192], [1093, 5200], [1093, 5200], [1093, 20884], [1094, 218892], [1094, 5200], [1094, 5200], [1094, 20884], [1094, 72336], [1095, 218892], [1095, 5200], [1095, 5200], [1095, 20884], [1096, 5200], [1096, 5200], [1096, 20884], [1096, 55952], [1097, 5200], [1097, 5200], [1097, 20884], [1098, 4900], [1098, 4900], [1098, 20884], [1098, 55952], [1099, 4900], [1099, 4900], [1099, 20884], [1100, 218192], [1100, 5600], [1100, 5600], [1100, 20884], [1100, 54352], [1101, 218192], [1101, 5600], [1101, 5600], [1101, 20884], [1102, 5600], [1102, 5600], [1102, 20884], [1102, 72336], [1103, 5600], [1103, 5600], [1103, 20884], [1104, 201308], [1104, 217692], [1104, 5900], [1104, 21084], [1104, 55952], [1105, 217692], [1105, 5900], [1105, 21084], [1106, 5900], [1106, 21084], [1106, 55952], [1107, 5900], [1107, 21084], [1108, 218092], [1108, 5700], [1108, 21084], [1108, 54352], [1109, 218092], [1109, 5700], [1109, 21084], [1110, 218192], [1110, 5600], [1110, 21084], [1110, 72336], [1111, 218192], [1111, 5600], [1111, 21084], [1112, 5600], [1112, 21084], [1112, 55952], [1113, 5600], [1113, 21084], [1114, 5600], [1114, 21084], [1114, 55952], [1115, 5600], [1115, 21084], [1116, 217692], [1116, 5400], [1116, 21084], [1116, 54352], [1117, 217692], [1117, 5400], [1117, 21084], [1118, 5600], [1118, 21084], [1118, 72336], [1119, 5600], [1119, 21084], [1120, 201508], [1120, 217892], [1120, 5900], [1120, 5900], [1120, 21284], [1120, 55952], [1121, 217892], [1121, 21284], [1122, 218092], [1122, 21284], [1122, 55952], [1123, 218092], [1123, 21284], [1124, 218192], [1124, 5600], [1124, 5600], [1124, 21284], [1124, 54352], [1125, 218192], [1125, 21284], [1126, 218892], [1126, 21284], [1126, 72336], [1127, 218892], [1127, 21284], [1128, 5900], [1128, 5900], [1128, 21284], [1128, 55952], [1129, 21284], [1130, 21284], [1130, 55952], [1131, 21284], [1132, 218192], [1132, 5600], [1132, 5600], [1132, 21284], [1132, 54352], [1133, 218192], [1133, 21284], [1134, 21284], [1134, 72336], [1135, 21284], [1136, 5400], [1136, 5400], [1136, 136672], [1137, 136672], [1138, 5400], [1138, 5400], [1138, 136672], [1139, 136672], [1140, 5400], [1140, 5400], [1140, 136672], [1141, 136672], [1142, 5600], [1142, 5600], [1142, 136672], [1143, 136672], [1144, 5400], [1144, 5400], [1144, 136672], [1145, 136672], [1146, 136672], [1147, 136672], [1148, 5200], [1148, 5200], [1148, 136672], [1149, 136672], [1150, 136672], [1151, 136672], [1152, 5100], [1152, 5100], [1152, 38268], [1152, 38268], [1152, 20884], [1152, 219092], [1152, 217492], [1153, 20884], [1153, 219092], [1153, 217492], [1154, 5200], [1154, 5200], [1154, 20884], [1154, 219092], [1154, 217492], [1155, 20884], [1155, 219092], [1155, 217492], [1156, 5200], [1156, 5200], [1156, 20884], [1156, 219092], [1156, 217492], [1157, 20884], [1157, 219092], [1157, 217492], [1158, 5900], [1158, 5900], [1158, 20884], [1158, 219092], [1158, 217492], [1159, 20884], [1159, 219092], [1159, 217492], [1164, 5200], [1164, 5200], [1166, 5200], [1166, 5200], [1168, 5100], [1168, 5100], [1168, 38268], [1168, 38268], [1168, 21084], [1168, 219292], [1168, 217692], [1169, 21084], [1169, 219292], [1169, 217692], [1170, 5100], [1170, 5100], [1170, 21084], [1170, 219292], [1170, 217692], [1171, 21084], [1171, 219292], [1171, 217692], [1172, 5100], [1172, 5100], [1172, 21084], [1172, 219292], [1172, 217692], [1173, 21084], [1173, 219292], [1173, 217692], [1174, 5100], [1174, 5100], [1174, 21084], [1174, 219292], [1174, 217692], [1175, 21084], [1175, 219292], [1175, 217692], [1176, 5100], [1176, 5100], [1176, 38268], [1176, 38268], [1176, 21084], [1176, 219292], [1176, 217692], [1177, 21084], [1177, 219292], [1177, 217692], [1178, 5200], [1178, 5200], [1178, 21084], [1178, 219292], [1178, 217692], [1179, 21084], [1179, 219292], [1179, 217692], [1180, 5200], [1180, 5200], [1180, 21084], [1180, 219292], [1180, 217692], [1181, 21084], [1181, 219292], [1181, 217692], [1182, 5200], [1182, 5200], [1182, 21084], [1182, 219292], [1182, 217692], [1183, 21084], [1183, 219292], [1183, 217692], [1184, 5100], [1184, 5100], [1184, 38268], [1184, 38268], [1184, 21284], [1184, 219092], [1184, 217892], [1185, 21284], [1185, 219092], [1185, 217892], [1186, 5200], [1186, 5200], [1186, 21284], [1186, 219092], [1186, 217892], [1187, 21284], [1187, 219092], [1187, 217892], [1188, 5200], [1188, 5200], [1188, 21284], [1188, 219092], [1188, 217892], [1189, 21284], [1189, 219092], [1189, 217892], [1190, 5900], [1190, 5900], [1190, 21284], [1190, 219092], [1190, 217892], [1191, 21284], [1191, 219092], [1191, 217892], [1196, 5200], [1196, 5200], [1198, 5200], [1198, 5200], [1200, 5100], [1200, 5100], [1200, 105404], [1201, 105404], [1202, 5100], [1202, 5100], [1202, 105404], [1203, 105404], [1204, 5100], [1204, 5100], [1204, 105404], [1205, 105404], [1206, 5100], [1206, 5100], [1206, 105404], [1207, 105404], [1208, 5100], [1208, 5100], [1208, 105204], [1208, 38268], [1208, 38268], [1208, 20784], [1208, 217392], [1208, 217392], [1209, 105204], [1209, 20784], [1209, 217392], [1209, 217392], [1210, 5200], [1210, 5200], [1210, 105104], [1210, 20784], [1210, 217392], [1210, 217392], [1211, 105104], [1211, 20784], [1211, 217392], [1211, 217392], [1212, 5200], [1212, 5200], [1212, 20784], [1212, 217392], [1212, 217392], [1213, 20784], [1213, 217392], [1213, 217392], [1214, 20784], [1214, 217392], [1214, 217392], [1215, 20784], [1215, 217392], [1215, 217392], [1216, 201108], [1216, 217492], [1216, 5100], [1216, 5100], [1216, 38268], [1216, 38268], [1216, 20884], [1216, 219092], [1216, 217492], [1217, 217492], [1217, 20884], [1217, 219092], [1217, 217492], [1218, 218092], [1218, 5200], [1218, 5200], [1218, 20884], [1218, 219092], [1218, 217492], [1219, 218092], [1219, 20884], [1219, 219092], [1219, 217492], [1220, 218192], [1220, 5200], [1220, 5200], [1220, 20884], [1220, 219092], [1220, 217492], [1221, 218192], [1221, 20884], [1221, 219092], [1221, 217492], [1222, 218892], [1222, 5900], [1222, 5900], [1222, 20884], [1222, 219092], [1222, 217492], [1223, 218892], [1223, 20884], [1223, 219092], [1223, 217492], [1228, 218192], [1228, 5200], [1228, 5200], [1229, 218192], [1230, 5200], [1230, 5200], [1232, 201308], [1232, 217692], [1232, 5100], [1232, 5100], [1232, 38268], [1232, 38268], [1232, 21084], [1232, 219292], [1232, 217692], [1232, 201308], [1232, 217692], [1233, 217692], [1233, 21084], [1233, 219292], [1233, 217692], [1233, 217692], [1234, 5100], [1234, 5100], [1234, 21084], [1234, 219292], [1234, 217692], [1235, 21084], [1235, 219292], [1235, 217692], [1236, 218092], [1236, 5100], [1236, 5100], [1236, 21084], [1236, 219292], [1236, 217692], [1236, 218092], [1237, 218092], [1237, 21084], [1237, 219292], [1237, 217692], [1237, 218092], [1238, 218192], [1238, 5100], [1238, 5100], [1238, 21084], [1238, 219292], [1238, 217692], [1238, 218192], [1239, 218192], [1239, 21084], [1239, 219292], [1239, 217692], [1239, 218192], [1240, 5100], [1240, 5100], [1240, 38268], [1240, 38268], [1240, 21084], [1240, 219292], [1240, 217692], [1241, 21084], [1241, 219292], [1241, 217692], [1242, 5200], [1242, 5200], [1242, 21084], [1242, 219292], [1242, 217692], [1243, 21084], [1243, 219292], [1243, 217692], [1244, 217692], [1244, 5200], [1244, 5200], [1244, 21084], [1244, 219292], [1244, 217692], [1244, 217692], [1245, 217692], [1245, 21084], [1245, 219292], [1245, 217692], [1245, 217692], [1246, 5200], [1246, 5200], [1246, 21084], [1246, 219292], [1246, 217692], [1247, 21084], [1247, 219292], [1247, 217692], [1248, 201508], [1248, 217892], [1248, 5100], [1248, 5100], [1248, 38268], [1248, 38268], [1248, 21284], [1248, 219092], [1248, 217892], [1248, 201508], [1248, 217892], [1249, 217892], [1249, 21284], [1249, 219092], [1249, 217892], [1249, 217892], [1250, 218092], [1250, 5200], [1250, 5200], [1250, 21284], [1250, 219092], [1250, 217892], [1250, 218092], [1251, 218092], [1251, 21284], [1251, 219092], [1251, 217892], [1251, 218092], [1252, 218192], [1252, 5200], [1252, 5200], [1252, 21284], [1252, 219092], [1252, 217892], [1252, 218192], [1253, 218192], [1253, 21284], [1253, 219092], [1253, 217892], [1253, 218192], [1254, 218892], [1254, 5900], [1254, 5900], [1254, 21284], [1254, 219092], [1254, 217892], [1254, 218892], [1255, 218892], [1255, 21284], [1255, 219092], [1255, 217892], [1255, 218892], [1256, 21284], [1257, 21284], [1258, 21284], [1259, 21284], [1260, 218192], [1260, 5400], [1260, 5400], [1260, 21284], [1260, 218192], [1261, 218192], [1261, 21284], [1261, 218192], [1262, 5600], [1262, 5600], [1262, 21284], [1263, 21284], [1264, 5600], [1264, 5600], [1266, 6300], [1266, 6300], [1272, 5900], [1272, 5900], [1272, 38268], [1272, 38868], [1273, 5900], [1273, 5900], [1274, 5900], [1274, 5900], [1274, 38268], [1274, 38668], [1275, 5900], [1275, 5900], [1276, 5900], [1276, 5900], [1276, 38268], [1276, 38468], [1278, 6100], [1278, 6100], [1278, 38268], [1278, 38268], [1280, 201108], [1280, 217492], [1280, 5100], [1280, 5100], [1280, 38268], [1280, 20884], [1280, 120288], [1280, 136672], [1280, 55952], [1281, 217492], [1281, 20884], [1282, 218092], [1282, 5200], [1282, 5200], [1282, 20884], [1282, 55952], [1283, 218092], [1284, 218192], [1284, 5200], [1284, 5200], [1284, 54352], [1284, 136272], [1284, 55952], [1285, 218192], [1286, 218892], [1286, 5900], [1286, 5900], [1286, 20884], [1286, 119888], [1286, 72336], [1287, 218892], [1287, 20884], [1288, 38268], [1288, 20884], [1288, 55952], [1290, 55952], [1292, 218192], [1292, 5200], [1292, 5200], [1292, 54352], [1292, 55952], [1293, 218192], [1294, 5200], [1294, 5200], [1294, 72336], [1296, 201308], [1296, 217692], [1296, 5100], [1296, 5100], [1296, 38268], [1296, 21084], [1296, 120088], [1296, 136472], [1296, 55952], [1297, 217692], [1297, 21084], [1298, 5100], [1298, 5100], [1298, 21084], [1298, 55952], [1300, 218092], [1300, 5100], [1300, 5100], [1300, 54352], [1300, 55952], [1301, 218092], [1302, 218192], [1302, 5100], [1302, 5100], [1302, 21084], [1302, 72336], [1303, 218192], [1303, 21084], [1304, 5100], [1304, 5100], [1304, 38268], [1304, 21084], [1304, 55952], [1306, 5200], [1306, 5200], [1306, 55952], [1308, 217692], [1308, 5200], [1308, 5200], [1308, 54352], [1308, 21084], [1308, 55952], [1309, 217692], [1309, 21084], [1310, 5200], [1310, 5200], [1310, 21184], [1310, 72336], [1311, 21184], [1312, 201508], [1312, 217892], [1312, 5100], [1312, 5100], [1312, 38268], [1312, 21284], [1312, 120288], [1312, 136672], [1312, 55952], [1313, 217892], [1313, 21284], [1314, 218092], [1314, 5200], [1314, 5200], [1314, 21284], [1314, 55952], [1315, 218092], [1316, 218192], [1316, 5200], [1316, 5200], [1316, 54352], [1316, 136272], [1316, 55952], [1317, 218192], [1318, 218892], [1318, 5900], [1318, 5900], [1318, 21284], [1318, 119888], [1318, 72336], [1319, 218892], [1319, 21284], [1320, 38268], [1320, 21284], [1320, 55952], [1322, 55952], [1324, 218192], [1324, 5200], [1324, 5200], [1324, 104704], [1324, 54352], [1324, 55952], [1325, 218192], [1326, 5200], [1326, 5200], [1326, 104904], [1326, 72336], [1328, 201008], [1328, 217392], [1328, 5100], [1328, 5100], [1328, 104904], [1328, 38268], [1328, 20784], [1328, 119788], [1328, 136172], [1328, 136472], [1328, 135772], [1328, 55952], [1329, 217392], [1329, 20784], [1330, 5100], [1330, 5100], [1330, 104904], [1330, 20784], [1330, 55952], [1332, 218092], [1332, 5100], [1332, 5100], [1332, 104904], [1332, 54352], [1332, 55952], [1333, 218092], [1334, 218192], [1334, 5100], [1334, 5100], [1334, 104904], [1334, 20784], [1334, 72336], [1335, 218192], [1335, 20784], [1336, 5100], [1336, 5100], [1336, 105204], [1336, 38268], [1336, 20784], [1336, 55952], [1338, 5200], [1338, 5200], [1338, 105104], [1338, 38268], [1338, 55952], [1340, 217692], [1340, 5200], [1340, 5200], [1340, 104904], [1340, 54352], [1340, 55952], [1341, 217692], [1342, 217892], [1342, 104704], [1342, 72336], [1343, 217892], [1344, 201108], [1344, 217492], [1344, 5100], [1344, 5100], [1344, 38268], [1344, 20884], [1344, 120288], [1344, 136672], [1344, 55952], [1345, 217492], [1345, 20884], [1346, 218092], [1346, 5200], [1346, 5200], [1346, 20884], [1346, 55952], [1347, 218092], [1348, 218192], [1348, 5200], [1348, 5200], [1348, 54352], [1348, 136272], [1348, 55952], [1349, 218192], [1350, 218892], [1350, 5900], [1350, 5900], [1350, 20884], [1350, 119888], [1350, 72336], [1351, 218892], [1351, 20884], [1352, 38268], [1352, 20884], [1352, 55952], [1354, 55952], [1356, 218192], [1356, 5200], [1356, 5200], [1356, 54352], [1356, 55952], [1357, 218192], [1358, 5200], [1358, 5200], [1358, 72336], [1360, 201308], [1360, 217692], [1360, 5100], [1360, 5100], [1360, 38268], [1360, 21084], [1360, 120088], [1360, 136472], [1360, 55952], [1361, 217692], [1361, 21084], [1362, 5100], [1362, 5100], [1362, 21084], [1362, 55952], [1364, 218092], [1364, 5100], [1364, 5100], [1364, 54352], [1364, 55952], [1365, 218092], [1366, 218192], [1366, 5100], [1366, 5100], [1366, 21084], [1366, 72336], [1367, 218192], [1367, 21084], [1368, 5100], [1368, 5100], [1368, 38268], [1368, 21084], [1368, 55952], [1370, 5200], [1370, 5200], [1370, 55952], [1372, 217692], [1372, 5200], [1372, 5200], [1372, 54352], [1372, 21084], [1372, 55952], [1373, 217692], [1373, 21084], [1374, 5200], [1374, 5200], [1374, 21184], [1374, 72336], [1375, 21184], [1376, 201508], [1376, 217892], [1376, 5100], [1376, 5100], [1376, 38268], [1376, 21284], [1376, 120288], [1376, 136672], [1376, 55952], [1377, 217892], [1377, 21284], [1378, 218092], [1378, 5200], [1378, 5200], [1378, 21284], [1378, 55952], [1379, 218092], [1380, 218192], [1380, 5200], [1380, 5200], [1380, 54352], [1380, 136272], [1380, 55952], [1381, 218192], [1382, 218892], [1382, 5900], [1382, 5900], [1382, 21284], [1382, 119888], [1382, 72336], [1383, 218892], [1383, 21284], [1384, 38268], [1384, 21284], [1384, 55952], [1386, 55952], [1388, 218192], [1388, 5400], [1388, 5400], [1388, 54352], [1388, 55952], [1389, 218192], [1390, 5600], [1390, 5600], [1390, 72336], [1392, 201008], [1392, 217392], [1392, 5600], [1392, 5600], [1392, 38268], [1392, 20784], [1392, 119788], [1392, 136172], [1392, 136472], [1392, 135772], [1392, 55952], [1393, 217392], [1393, 20784], [1394, 6300], [1394, 6300], [1394, 20784], [1394, 55952], [1396, 218092], [1396, 54352], [1396, 55952], [1397, 218092], [1398, 218192], [1398, 20784], [1398, 72336], [1399, 218192], [1399, 20784], [1400, 218092], [1400, 5900], [1400, 5900], [1400, 38268], [1400, 20784], [1400, 55952], [1401, 218092], [1401, 5900], [1401, 5900], [1401, 21984], [1402, 217692], [1402, 5900], [1402, 5900], [1402, 38268], [1402, 21984], [1402, 55952], [1403, 217692], [1403, 5900], [1403, 5900], [1404, 217892], [1404, 5900], [1404, 5900], [1404, 54352], [1404, 21584], [1404, 55952], [1405, 217892], [1405, 21584], [1406, 6100], [1406, 6100], [1406, 72336], [1408, 201108], [1408, 217492], [1409, 217492], [1410, 218092], [1411, 218092], [1412, 218192], [1413, 218192], [1414, 218892], [1415, 218892], [1420, 218192], [1421, 218192], [1424, 201308], [1424, 217692], [1425, 217692], [1428, 218092], [1429, 218092], [1430, 218192], [1431, 218192], [1436, 217692], [1437, 217692], [1440, 201508], [1440, 217892], [1441, 217892], [1442, 218092], [1443, 218092], [1444, 218192], [1445, 218192], [1446, 218892], [1447, 218892], [1452, 218192], [1453, 218192], [1456, 201008], [1456, 217392], [1457, 217392], [1460, 218092], [1461, 218092], [1462, 218192], [1462, 5200], [1462, 103504], [1463, 218192], [1463, 5200], [1463, 103504], [1464, 5200], [1464, 103504], [1465, 5200], [1465, 103504], [1466, 5400], [1466, 103704], [1467, 5400], [1467, 103704], [1468, 217692], [1468, 5200], [1468, 103504], [1469, 217692], [1469, 5200], [1469, 103504], [1470, 217892], [1470, 5900], [1470, 104204], [1471, 217892], [1471, 5900], [1471, 104204], [1472, 201108], [1472, 217492], [1473, 217492], [1474, 218092], [1475, 218092], [1476, 218192], [1477, 218192], [1478, 218892], [1479, 218892], [1484, 218192], [1485, 218192], [1488, 201308], [1488, 217692], [1489, 217692], [1492, 218092], [1493, 218092], [1494, 218192], [1495, 218192], [1500, 217692], [1501, 217692], [1502, 5200], [1502, 103504], [1504, 201508], [1504, 217892], [1504, 5100], [1504, 103404], [1505, 217892], [1506, 218092], [1506, 5200], [1506, 103504], [1507, 218092], [1508, 218192], [1508, 5200], [1508, 103504], [1509, 218192], [1510, 218892], [1510, 5900], [1510, 104204], [1511, 218892], [1516, 218192], [1516, 5400], [1516, 103704], [1517, 218192], [1518, 5600], [1518, 103904], [1520, 201008], [1520, 217392], [1520, 5600], [1520, 103904], [1521, 217392], [1522, 6300], [1522, 104604], [1524, 218092], [1525, 218092], [1526, 218192], [1527, 218192], [1528, 218092], [1528, 5900], [1528, 104204], [1529, 218092], [1529, 5900], [1529, 104204], [1530, 217692], [1530, 5900], [1530, 104204], [1531, 217692], [1531, 5900], [1531, 104204], [1532, 217892], [1532, 5900], [1532, 104204], [1533, 217892], [1534, 6100], [1534, 104404]]"#;

    fn load_test_data() -> (Vec<(usize, usize, usize, usize, usize, i64, i64)>, Vec<(u32, u32)>) {
        let parsed_notes: Vec<[i64; 7]> = serde_json::from_str(NOTES).unwrap();
        let parsed_dataset: Vec<[u32; 2]> = serde_json::from_str(DATASET).unwrap();
        (
            parsed_notes
                .into_iter()
                .map(|[a, b, c, d, e, f, g]| (a as usize, b as usize, c as usize, d as usize, e as usize, f as i64, g as i64))
                .collect(), 
            parsed_dataset.into_iter().map(|[a, b]| (a, b)).collect()
        )
    }
    
    fn overall_coverage(tecs: Vec<TranslationalEquivalence>) -> HashSet<(u32, u32)> {
        let mut all_points = HashSet::new();
        for tec in tecs {
            all_points.extend(tec.coverage());
        }
        all_points
    }

    #[test]
    fn test_recursive_cosiatec_compress() {
        let (mut notes, data) = load_test_data();
        let (points, mapping) = notes_to_points(&notes);
        assert_eq!(points, data);

        let tecs = recursive_cosiatec_compress(&data, true, 2);
        assert!(compression_stats(&tecs, &data).2 > 1.0);

        let rebuilt = points_to_notes(&tecs, &mapping);
        notes.sort();
        assert_eq!(rebuilt, notes);

        let dataset: HashSet<_> = data.into_iter().collect();
        let coverage: HashSet<_> = overall_coverage(tecs);
        assert_eq!(dataset, coverage);
    }

    #[test]
    fn test_cosiatec_compress() {
        let (mut notes, data) = load_test_data();
        let (points, mapping) = notes_to_points(&notes);
        assert_eq!(points, data);

        let tecs = cosiatec_compress(&data, true);
        assert!(compression_stats(&tecs, &data).2 > 1.0);

        let rebuilt = points_to_notes(&tecs, &mapping);
        notes.sort();
        assert_eq!(rebuilt, notes);

        let dataset: HashSet<_> = data.into_iter().collect();
        let coverage: HashSet<_> = overall_coverage(tecs);
        assert_eq!(dataset, coverage);
    }
}