Example #1
0
function SubWikiLexer_DFA2_static()
{
    $eot = array(2, 65535, 1, 13, 3, 65535, 1, 19, 5, 13, 11, 65535, 1, 27, 1, 29, 5, 65535);
    $eof = array(30, 65535);
    $min = array(1, 0, 1, 65535, 1, 10, 3, 65535, 1, 42, 1, 47, 1, 91, 1, 93, 1, 123, 1, 125, 11, 65535, 1, 123, 1, 125, 5, 65535);
    $max = array(1, 65535, 1, 65535, 1, 10, 3, 65535, 1, 42, 1, 47, 1, 91, 1, 93, 1, 123, 1, 125, 11, 65535, 1, 123, 1, 125, 5, 65535);
    $accept = array(1, 65535, 1, 1, 1, 65535, 1, 2, 1, 3, 1, 4, 6, 65535, 1, 14, 1, 15, 1, 1, 1, 2, 1, 3, 1, 4, 1, 6, 1, 5, 1, 7, 1, 8, 1, 9, 2, 65535, 1, 14, 1, 12, 1, 10, 1, 13, 1, 11);
    $special = array(1, 0, 29, 65535);
    $transitionS = array(array(10, 13, 1, 3, 2, 13, 1, 2, 18, 13, 1, 1, 2, 13, 1, 5, 6, 13, 1, 6, 4, 13, 1, 7, 13, 13, 1, 4, 29, 13, 1, 8, 1, 13, 1, 9, 3, 13, 26, 12, 1, 10, 1, 13, 1, 11, 65410, 13), array(), array(1, 15), array(), array(), array(), array(1, 18), array(1, 20), array(1, 21), array(1, 22), array(1, 23), array(1, 24), array(), array(), array(), array(), array(), array(), array(), array(), array(), array(), array(), array(1, 26), array(1, 28), array(), array(), array(), array(), array());
    $arr = array();
    $arr['eot'] = DFA::unpackRLE($eot);
    $arr['eof'] = DFA::unpackRLE($eof);
    $arr['min'] = DFA::unpackRLE($min, true);
    $arr['max'] = DFA::unpackRLE($max, true);
    $arr['accept'] = DFA::unpackRLE($accept);
    $arr['special'] = DFA::unpackRLE($special);
    $numStates = sizeof($transitionS);
    $arr['transition'] = array();
    for ($i = 0; $i < $numStates; $i++) {
        $arr['transition'][$i] = DFA::unpackRLE($transitionS[$i]);
    }
    return $arr;
}
Example #2
0
 static function getValues()
 {
     $eot = array(10, 65535);
     $eof = array(10, 65535);
     $min = array(1, 56, 9, 65535);
     $max = array(1, 68, 9, 65535);
     $accept = array(1, 65535, 1, 1, 2, 65535, 1, 2, 2, 65535, 1, 3, 2, 65535);
     $special = array(10, 65535);
     $transitionS = array(array(1, 1, 1, 65535, 1, 1, 2, 65535, 1, 1, 1, 65535, 3, 4, 3, 7), array(), array(), array(), array(), array(), array(), array(), array(), array());
     $arr = array();
     $arr['eot'] = DFA::unpackRLE($eot);
     $arr['eof'] = DFA::unpackRLE($eof);
     $arr['min'] = DFA::unpackRLE($min, true);
     $arr['max'] = DFA::unpackRLE($max, true);
     $arr['accept'] = DFA::unpackRLE($accept);
     $arr['special'] = DFA::unpackRLE($special);
     $numStates = sizeof($transitionS);
     $arr['transition'] = array();
     for ($i = 0; $i < $numStates; $i++) {
         $arr['transition'][$i] = DFA::unpackRLE($transitionS[$i]);
     }
     return $arr;
 }
Example #3
0
<?php

session_start();
require_once 'DFA.php';
$data = null;
if (isset($_GET['input'])) {
    $objDFA = new DFA();
    $objDFA->getFromString($_SESSION['states']);
    //echo $_SESSION['states'];
    if ($objDFA->isAccepted($_GET['input'])) {
        $data['output'] = "ACCEPTED";
    } else {
        $data['output'] = "REJECTED";
    }
    $data['cur_state'] = $objDFA->cur_state;
    $data['sequence'] = $objDFA->getStateSequence($_GET['input']);
}
echo json_encode($data);
Example #4
0
function Erfurt_Sparql_Parser_Sparql11_Update_Tokenizer11_DFA36_static()
{
    $eot = array(14, 65535, 1, 87, 5, 65535, 1, 98, 1, 65535, 1, 100, 1, 103, 2, 65535, 1, 104, 1, 107, 1, 109, 1, 112, 4, 65535, 1, 120, 8, 65535, 1, 122, 2, 65535, 1, 124, 17, 65535, 1, 134, 15, 65535, 1, 156, 5, 65535, 1, 165, 10, 65535, 1, 176, 8, 65535, 1, 177, 1, 65535, 1, 177, 1, 65535, 1, 179, 2, 65535, 1, 183, 1, 65535, 1, 116, 1, 65535, 1, 118, 31, 65535, 1, 212, 9, 65535, 1, 221, 3, 65535, 1, 225, 1, 226, 13, 65535, 1, 177, 1, 65535, 1, 237, 1, 65535, 1, 237, 2, 65535, 2, 239, 2, 65535, 1, 242, 2, 65535, 1, 246, 1, 247, 3, 65535, 1, 251, 4, 65535, 1, 256, 1, 65535, 1, 259, 13, 65535, 1, 272, 8, 65535, 1, 278, 8, 65535, 1, 287, 1, 65535, 1, 237, 1, 65535, 1, 239, 11, 65535, 1, 295, 1, 296, 3, 65535, 1, 299, 2, 65535, 1, 301, 1, 65535, 1, 303, 7, 65535, 1, 311, 2, 65535, 1, 313, 1, 65535, 1, 315, 1, 65535, 1, 317, 2, 65535, 1, 319, 1, 320, 1, 321, 2, 65535, 1, 324, 1, 325, 2, 65535, 1, 327, 1, 328, 2, 65535, 1, 331, 1, 332, 7, 65535, 1, 336, 3, 65535, 1, 339, 1, 340, 1, 65535, 1, 342, 1, 343, 1, 65535, 1, 344, 1, 65535, 1, 345, 3, 65535, 1, 347, 3, 65535, 1, 348, 10, 65535, 1, 353, 12, 65535, 1, 359, 3, 65535, 1, 361, 1, 362, 1, 363, 3, 65535, 1, 366, 1, 65535, 1, 368, 1, 65535, 1, 369, 3, 65535, 1, 370, 2, 65535, 1, 372, 5, 65535, 1, 374, 1, 65535);
    $eof = array(375, 65535);
    $min = array(1, 9, 19, 45, 1, 33, 1, 45, 2, 48, 2, 65535, 1, 46, 1, 48, 2, 46, 2, 0, 2, 65535, 1, 94, 8, 65535, 1, 61, 2, 65535, 1, 61, 4, 65535, 36, 45, 1, 65535, 9, 45, 1, 33, 8, 65535, 1, 48, 1, 65535, 1, 48, 1, 65535, 1, 46, 1, 48, 1, 65535, 1, 46, 1, 48, 1, 39, 1, 65535, 1, 34, 7, 65535, 9, 45, 1, 65535, 21, 45, 1, 65535, 8, 45, 1, 65535, 10, 45, 2, 65535, 1, 48, 1, 65535, 1, 48, 1, 65535, 1, 48, 2, 65535, 2, 48, 2, 65535, 23, 45, 1, 65535, 8, 45, 1, 65535, 3, 45, 2, 65535, 10, 45, 1, 65535, 1, 48, 1, 65535, 1, 48, 1, 45, 1, 65535, 3, 45, 2, 65535, 3, 45, 1, 65535, 4, 45, 1, 65535, 2, 45, 1, 65535, 12, 45, 1, 65535, 5, 45, 1, 65535, 8, 45, 1, 65535, 7, 45, 2, 65535, 2, 45, 1, 65535, 1, 45, 1, 65535, 1, 45, 1, 65535, 7, 45, 1, 65535, 1, 45, 1, 65535, 1, 45, 1, 65535, 1, 45, 1, 65535, 1, 45, 3, 65535, 2, 45, 2, 65535, 1, 45, 2, 65535, 2, 45, 2, 65535, 3, 45, 1, 65535, 2, 45, 2, 65535, 1, 45, 4, 65535, 1, 45, 2, 65535, 4, 45, 1, 65535, 5, 45, 1, 65535, 1, 45, 3, 65535, 2, 45, 1, 65535, 1, 45, 3, 65535, 1, 45, 1, 65535, 1, 45, 1, 65535);
    $max = array(20, 65533, 1, 65535, 3, 65533, 2, 65535, 1, 101, 3, 57, 2, 65535, 2, 65535, 1, 94, 8, 65535, 1, 61, 2, 65535, 1, 61, 4, 65535, 36, 65533, 1, 65535, 9, 65533, 1, 65535, 8, 65535, 1, 101, 1, 65535, 1, 101, 1, 65535, 1, 101, 1, 57, 1, 65535, 1, 101, 1, 57, 1, 39, 1, 65535, 1, 34, 7, 65535, 9, 65533, 1, 65535, 21, 65533, 1, 65535, 8, 65533, 1, 65535, 10, 65533, 2, 65535, 1, 101, 1, 65535, 1, 101, 1, 65535, 1, 101, 2, 65535, 2, 101, 2, 65535, 23, 65533, 1, 65535, 8, 65533, 1, 65535, 3, 65533, 2, 65535, 10, 65533, 1, 65535, 1, 101, 1, 65535, 1, 101, 1, 65533, 1, 65535, 3, 65533, 2, 65535, 3, 65533, 1, 65535, 4, 65533, 1, 65535, 2, 65533, 1, 65535, 12, 65533, 1, 65535, 5, 65533, 1, 65535, 8, 65533, 1, 65535, 7, 65533, 2, 65535, 2, 65533, 1, 65535, 1, 65533, 1, 65535, 1, 65533, 1, 65535, 7, 65533, 1, 65535, 1, 65533, 1, 65535, 1, 65533, 1, 65535, 1, 65533, 1, 65535, 1, 65533, 3, 65535, 2, 65533, 2, 65535, 1, 65533, 2, 65535, 2, 65533, 2, 65535, 3, 65533, 1, 65535, 2, 65533, 2, 65535, 1, 65533, 4, 65535, 1, 65533, 2, 65535, 4, 65533, 1, 65535, 5, 65533, 1, 65535, 1, 65533, 3, 65535, 2, 65533, 1, 65535, 1, 65533, 3, 65535, 1, 65533, 1, 65535, 1, 65533, 1, 65535);
    $accept = array(24, 65535, 1, 60, 1, 61, 6, 65535, 1, 75, 1, 76, 1, 65535, 1, 78, 1, 79, 1, 80, 1, 81, 1, 82, 1, 83, 1, 87, 1, 88, 1, 65535, 1, 90, 1, 91, 1, 65535, 1, 94, 1, 95, 1, 99, 1, 100, 36, 65535, 1, 41, 10, 65535, 1, 92, 1, 56, 1, 57, 1, 58, 1, 59, 1, 102, 1, 62, 1, 64, 1, 65535, 1, 84, 1, 65535, 1, 85, 2, 65535, 1, 86, 3, 65535, 1, 71, 1, 65535, 1, 72, 1, 77, 1, 101, 1, 98, 1, 89, 1, 97, 1, 93, 9, 65535, 1, 17, 21, 65535, 1, 32, 8, 65535, 1, 42, 10, 65535, 1, 96, 1, 63, 1, 65535, 1, 65, 1, 65535, 1, 67, 1, 65535, 1, 68, 1, 70, 2, 65535, 1, 73, 1, 74, 23, 65535, 1, 43, 8, 65535, 1, 20, 3, 65535, 1, 26, 1, 33, 10, 65535, 1, 66, 1, 65535, 1, 69, 2, 65535, 1, 1, 3, 65535, 1, 34, 1, 10, 3, 65535, 1, 5, 4, 65535, 1, 6, 2, 65535, 1, 44, 12, 65535, 1, 18, 5, 65535, 1, 27, 8, 65535, 1, 54, 7, 65535, 1, 49, 1, 50, 2, 65535, 1, 35, 1, 65535, 1, 7, 1, 65535, 1, 14, 7, 65535, 1, 39, 1, 65535, 1, 47, 1, 65535, 1, 28, 1, 65535, 1, 53, 1, 65535, 1, 55, 1, 29, 1, 30, 2, 65535, 1, 31, 1, 38, 1, 65535, 1, 3, 1, 16, 2, 65535, 1, 2, 1, 4, 3, 65535, 1, 8, 2, 65535, 1, 9, 1, 21, 1, 65535, 1, 11, 1, 12, 1, 13, 1, 19, 1, 65535, 1, 40, 1, 36, 4, 65535, 1, 51, 5, 65535, 1, 23, 1, 65535, 1, 46, 1, 25, 1, 22, 2, 65535, 1, 15, 1, 65535, 1, 48, 1, 37, 1, 52, 1, 65535, 1, 24, 1, 65535, 1, 45);
    $special = array(30, 65535, 1, 1, 1, 0, 343, 65535);
    $transitionS = array(array(2, 32, 2, 65535, 1, 32, 18, 65535, 1, 32, 1, 43, 1, 31, 1, 37, 1, 24, 1, 65535, 1, 35, 1, 30, 1, 47, 1, 48, 1, 41, 1, 28, 1, 42, 1, 29, 1, 27, 1, 44, 10, 26, 1, 22, 1, 40, 1, 20, 1, 45, 1, 46, 1, 23, 1, 25, 26, 65535, 1, 49, 1, 65535, 1, 50, 1, 34, 1, 33, 1, 65535, 1, 14, 1, 10, 1, 5, 1, 1, 1, 7, 1, 15, 1, 18, 1, 9, 1, 3, 2, 21, 1, 4, 1, 2, 1, 12, 1, 17, 1, 11, 1, 21, 1, 13, 1, 6, 1, 19, 1, 8, 1, 21, 1, 16, 3, 21, 1, 38, 1, 36, 1, 39, 66, 65535, 23, 21, 1, 65535, 31, 21, 1, 65535, 520, 21, 112, 65535, 14, 21, 1, 65535, 7297, 21, 12, 65535, 2, 21, 98, 65535, 288, 21, 2672, 65535, 1008, 21, 17, 65535, 43007, 21, 8448, 65535, 1232, 21, 32, 65535, 526, 21), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 51, 3, 55, 1, 52, 3, 55, 1, 54, 8, 55, 1, 53, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 62, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 64, 7, 55, 1, 63, 4, 55, 1, 65, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 68, 7, 55, 1, 67, 5, 55, 1, 66, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 69, 2, 55, 1, 71, 2, 55, 1, 70, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 75, 3, 55, 1, 73, 3, 55, 1, 72, 10, 55, 1, 74, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 23, 55, 1, 76, 2, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 77, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 78, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 79, 13, 55, 1, 81, 9, 55, 1, 80, 1, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 82, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 84, 13, 55, 1, 83, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 85, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 86, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 90, 7, 55, 1, 89, 8, 55, 1, 88, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 7, 55, 1, 91, 18, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 93, 9, 55, 1, 94, 1, 55, 1, 92, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 95, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 96, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 99, 1, 65535, 25, 99, 1, 65535, 1, 97, 30, 99, 1, 65535, 1, 99, 1, 65535, 1, 99, 1, 65535, 26, 99, 3, 65535, 65410, 99), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(10, 101, 37, 65535, 1, 101, 1, 65535, 26, 101, 69, 65535, 23, 101, 1, 65535, 31, 101, 1, 65535, 520, 101, 112, 65535, 14, 101, 1, 65535, 7297, 101, 12, 65535, 2, 101, 98, 65535, 288, 101, 2672, 65535, 1008, 101, 17, 65535, 43007, 101, 8448, 65535, 1232, 101, 32, 65535, 526, 101), array(10, 102, 37, 65535, 1, 102, 1, 65535, 26, 102, 69, 65535, 23, 102, 1, 65535, 31, 102, 1, 65535, 520, 102, 112, 65535, 14, 102, 1, 65535, 7297, 102, 12, 65535, 2, 102, 98, 65535, 288, 102, 2672, 65535, 1008, 102, 17, 65535, 43007, 102, 8448, 65535, 1232, 102, 32, 65535, 526, 102), array(), array(), array(1, 106, 1, 65535, 10, 26, 43, 65535, 1, 105), array(10, 108), array(1, 111, 1, 65535, 10, 110), array(1, 114, 1, 65535, 10, 113), array(10, 116, 1, 65535, 2, 116, 1, 65535, 25, 116, 1, 115, 65496, 116), array(10, 118, 1, 65535, 2, 118, 1, 65535, 20, 118, 1, 117, 65501, 118), array(), array(), array(1, 119), array(), array(), array(), array(), array(), array(), array(), array(), array(1, 121), array(), array(), array(1, 123), array(), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 125, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 127, 5, 55, 1, 126, 6, 55, 1, 128, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 129, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 130, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 37, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 131, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 132, 1, 133, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 55, 1, 137, 6, 55, 1, 135, 2, 55, 1, 138, 8, 55, 1, 136, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 139, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 140, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 141, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 142, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 143, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 145, 12, 55, 1, 146, 6, 55, 1, 144, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 147, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 148, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 149, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 150, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 151, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 153, 9, 55, 1, 152, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 21, 55, 1, 154, 4, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 155, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 20, 55, 1, 157, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 158, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 159, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 160, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 161, 2, 55, 1, 162, 19, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 164, 7, 55, 1, 163, 15, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 166, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 167, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 168, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 169, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 170, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 171, 20, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 172, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 174, 13, 55, 1, 173, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 20, 55, 1, 175, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 99, 1, 65535, 25, 99, 1, 65535, 31, 99, 1, 65535, 1, 99, 1, 65535, 1, 99, 1, 65535, 26, 99, 3, 65535, 65410, 99), array(), array(), array(), array(), array(), array(), array(), array(), array(10, 178, 43, 65535, 1, 105), array(), array(10, 108, 43, 65535, 1, 105), array(), array(1, 180, 1, 65535, 10, 110, 43, 65535, 1, 181), array(10, 182), array(), array(1, 185, 1, 65535, 10, 113, 43, 65535, 1, 184), array(10, 186), array(1, 187), array(), array(1, 188), array(), array(), array(), array(), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 189, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 190, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 191, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 192, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 15, 55, 1, 193, 10, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 194, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 195, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 196, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 197, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 198, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 199, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 200, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 201, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 202, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 203, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 6, 55, 1, 204, 19, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 205, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 206, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 207, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 208, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 209, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 210, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 211, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 213, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 214, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 215, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 216, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 217, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 218, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 219, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 220, 20, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 222, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 20, 55, 1, 223, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 224, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 227, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 228, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 229, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 230, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 231, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 232, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 233, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 20, 55, 1, 234, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 15, 55, 1, 235, 10, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 236, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(10, 178, 43, 65535, 1, 105), array(), array(10, 238, 43, 65535, 1, 181), array(), array(10, 182, 43, 65535, 1, 181), array(), array(), array(10, 240, 43, 65535, 1, 184), array(10, 186, 43, 65535, 1, 184), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 241, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 243, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 244, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 245, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 248, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 5, 55, 1, 249, 20, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 250, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 252, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 253, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 254, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 255, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 257, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 258, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 260, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 261, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 262, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 263, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 264, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 265, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 266, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 267, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 268, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 269, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 270, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 271, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 273, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 274, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 275, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 276, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 23, 55, 1, 277, 2, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 279, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 280, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 281, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 282, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 283, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 14, 55, 1, 284, 11, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 15, 55, 1, 285, 10, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 7, 55, 1, 286, 18, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(10, 238, 43, 65535, 1, 181), array(), array(10, 240, 43, 65535, 1, 184), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 24, 55, 1, 288, 1, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 289, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 290, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 8, 55, 1, 291, 17, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 292, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 24, 55, 1, 293, 1, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 294, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 297, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 298, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 300, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 302, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 304, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 305, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 306, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 307, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 308, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 309, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 310, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 6, 55, 1, 312, 19, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 23, 55, 1, 314, 2, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 316, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 318, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 322, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 13, 55, 1, 323, 12, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 15, 55, 1, 326, 10, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 55, 1, 329, 24, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 330, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 10, 55, 1, 333, 15, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 334, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 335, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 337, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 20, 55, 1, 338, 5, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 17, 55, 1, 341, 8, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 3, 55, 1, 346, 22, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 349, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 350, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 351, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 352, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 1, 354, 25, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 355, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 356, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 2, 55, 1, 357, 23, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 12, 55, 1, 358, 13, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 360, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 11, 55, 1, 364, 14, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 7, 55, 1, 365, 18, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 19, 55, 1, 367, 6, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 4, 55, 1, 371, 21, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 18, 55, 1, 373, 7, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array(), array(1, 56, 1, 61, 1, 65535, 10, 57, 1, 22, 36, 65535, 1, 55, 1, 65535, 26, 55, 60, 65535, 1, 58, 8, 65535, 23, 55, 1, 65535, 31, 55, 1, 65535, 520, 55, 112, 59, 14, 55, 1, 65535, 7297, 55, 12, 65535, 2, 55, 49, 65535, 2, 60, 47, 65535, 288, 55, 2672, 65535, 1008, 55, 17, 65535, 43007, 55, 8448, 65535, 1232, 55, 32, 65535, 526, 55), array());
    $arr = array();
    $arr['eot'] = DFA::unpackRLE($eot);
    $arr['eof'] = DFA::unpackRLE($eof);
    $arr['min'] = DFA::unpackRLE($min, true);
    $arr['max'] = DFA::unpackRLE($max, true);
    $arr['accept'] = DFA::unpackRLE($accept);
    $arr['special'] = DFA::unpackRLE($special);
    $numStates = sizeof($transitionS);
    $arr['transition'] = array();
    for ($i = 0; $i < $numStates; $i++) {
        $arr['transition'][$i] = DFA::unpackRLE($transitionS[$i]);
    }
    return $arr;
}
Example #5
0
function SubWikiParser_DFA14_static()
{
    $eot = array(25, 65535);
    $eof = array(1, 2, 2, 65535, 2, 8, 1, 65535, 2, 8, 1, 65535, 1, 8, 2, 15, 1, 17, 2, 19, 1, 65535, 1, 2, 1, 65535, 1, 2, 2, 65535, 2, 2, 2, 20);
    $min = array(1, 4, 2, 65535, 2, 4, 1, 65535, 2, 4, 1, 65535, 6, 4, 1, 65535, 1, 4, 1, 65535, 1, 4, 2, 65535, 4, 4);
    $max = array(1, 18, 2, 65535, 2, 18, 1, 65535, 2, 18, 1, 65535, 6, 18, 1, 65535, 1, 18, 1, 65535, 1, 18, 2, 65535, 4, 18);
    $accept = array(1, 65535, 1, 1, 1, 2, 2, 65535, 1, 1, 2, 65535, 1, 1, 6, 65535, 1, 1, 1, 65535, 1, 1, 1, 65535, 2, 1, 4, 65535);
    $special = array(25, 65535);
    $transitionS = array(array(1, 1, 2, 8, 1, 3, 1, 4, 1, 8, 1, 2, 1, 6, 1, 8, 1, 7, 3, 8, 2, 5), array(), array(), array(6, 8, 1, 10, 6, 8, 2, 9), array(6, 8, 1, 12, 6, 8, 2, 11), array(), array(13, 8, 1, 13, 1, 8), array(13, 8, 1, 14, 1, 8), array(), array(1, 8, 5, 15, 1, 10, 6, 15, 2, 9), array(1, 15, 1, 65535, 1, 15, 1, 16, 1, 15, 1, 65535, 1, 10, 1, 15, 1, 65535, 1, 15, 3, 65535, 2, 10), array(1, 15, 2, 17, 1, 15, 2, 17, 1, 12, 6, 17, 2, 11), array(1, 17, 1, 65535, 2, 17, 1, 18, 1, 65535, 1, 12, 1, 17, 1, 65535, 1, 17, 3, 65535, 2, 12), array(13, 19, 1, 13, 1, 19), array(1, 19, 1, 20, 3, 19, 2, 20, 1, 19, 1, 20, 1, 19, 3, 20, 1, 14, 1, 20), array(), array(1, 2, 1, 65535, 3, 2, 1, 65535, 1, 21, 1, 2, 1, 65535, 1, 2, 3, 65535, 2, 21), array(), array(1, 2, 1, 65535, 3, 2, 1, 65535, 1, 22, 1, 2, 1, 65535, 1, 2, 3, 65535, 2, 22), array(), array(), array(1, 2, 1, 65535, 1, 2, 1, 23, 1, 2, 1, 65535, 1, 21, 1, 2, 1, 65535, 1, 2, 3, 65535, 2, 21), array(1, 2, 1, 65535, 2, 2, 1, 24, 1, 65535, 1, 22, 1, 2, 1, 65535, 1, 2, 3, 65535, 2, 22), array(1, 20, 1, 65535, 3, 20, 1, 65535, 1, 10, 1, 20, 1, 65535, 1, 20, 3, 65535, 2, 10), array(1, 20, 1, 65535, 3, 20, 1, 65535, 1, 12, 1, 20, 1, 65535, 1, 20, 3, 65535, 2, 12));
    $arr = array();
    $arr['eot'] = DFA::unpackRLE($eot);
    $arr['eof'] = DFA::unpackRLE($eof);
    $arr['min'] = DFA::unpackRLE($min, true);
    $arr['max'] = DFA::unpackRLE($max, true);
    $arr['accept'] = DFA::unpackRLE($accept);
    $arr['special'] = DFA::unpackRLE($special);
    $numStates = sizeof($transitionS);
    $arr['transition'] = array();
    for ($i = 0; $i < $numStates; $i++) {
        $arr['transition'][$i] = DFA::unpackRLE($transitionS[$i]);
    }
    return $arr;
}
Example #6
0
 public function test1()
 {
     self::assertEquals(DFA::unpackRLE(array(1, 3, 1, 4, 2, 65535, 1, 5, 18, 65535, 1, 2, 25, 65535, 1, 6, 6, 65535, 26, 6, 4, 65535, 1, 6, 1, 65535, 26, 6)), array(3, 4, -1, -1, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 6, -1, -1, -1, -1, -1, -1, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, -1, -1, -1, -1, 6, -1, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6));
 }
Example #7
0
function pluginSeoBossRender()
{
    $app =& JFactory::getApplication();
    if ($app->getName() != 'site') {
        return true;
    }
    $queryData = $_GET;
    ksort($queryData);
    $url = http_build_query($queryData);
    $buffer = JResponse::getBody();
    //Metatags processing
    require_once JPATH_ADMINISTRATOR . DS . "components" . DS . "com_seoboss" . DS . "classes" . DS . "MetatagsContainerFactory.php";
    $buffer = MetatagsContainerFactory::processBody($buffer, $url);
    $db =& JFactory::getDBO();
    $db->setQuery("SELECT sa_enable, sa_users from  #__seoboss_settings ");
    $settings =& $db->loadObject();
    if ($settings->sa_enable == "1") {
        $user =& JFactory::getUser();
        $sa_users = explode(",", $settings->sa_users);
        if (in_array($user->username, $sa_users)) {
            $metadata = MetatagsContainerFactory::getMetadata($url);
            //insert the SEO Boss Metatags Anywhere feature
            $buffer = preg_replace("/<\\/head[^>]*>/i", '<link rel="stylesheet" href="' . JURI::base() . 'components/com_seoboss/css/anywhere.css" type="text/css" />$0', $buffer);
            $buffer = preg_replace("/<body[^>]*>/i", '$0
        <script language="javascript">
        function toggleSeobossAnywhere(){
        if( document.getElementById("seobossAnywhereForm").style.display==\'none\'){
          document.getElementById("seobossAnywhereForm").style.display = \'block\';
        }else{
        document.getElementById("seobossAnywhereForm").style.display = \'none\';
        }
        }
        </script>
                <div id="seobossAnywhereForm">
        <strong>SEO Boss Anywhere is fully available in Pro version only :(</strong>
        <form method="POST" action="' . JURI::base() . '">
        <ol>
        <li>
          <label for="seoboss_title">Title</label>
          <input type="text" name="seoboss_title" id="seoboss_title" value="' . (isset($metadata['title_tag']) ? htmlspecialchars($metadata['title_tag']) : '') . '"
        disabled="true"
        />
        </li>
        <li>
          <label for="seoboss_meta_title">Meta Title</label>
          <input type="text" name="seoboss_meta_title" id="seoboss_meta_title" value="' . (isset($metadata['metatitle']) ? htmlspecialchars($metadata['metatitle']) : '') . '"
        disabled="true"
        />
        </li>
        <li>
          <label for="seoboss_meta_keywords">Meta Keywords</label>
          <input type="text" name="seoboss_meta_keywords" id="seoboss_meta_keywords" value="' . (isset($metadata['metakeywords']) ? htmlspecialchars($metadata['metakeywords']) : '') . '"
        disabled="true"
        />
        </li>
        <li>
          <label for="seoboss_meta_description">Meta Description</label>
          <input type="text" name="seoboss_meta_description" id="seoboss_meta_description" value="' . (isset($metadata['metadescription']) ? htmlspecialchars($metadata['metadescription']) : '') . '"
        disabled="true"
        />
        </li>
        <li>
      <input type="submit" value="Save" />
      <input type="submit" value="Cancel" onclick="toggleSeobossAnywhere();return false;" />    
   </li>
</ol>     
        <input type="hidden" name="option" value="com_seoboss"/>
        <input type="hidden" name="task" value="saveMetadata"/>
        <input type="hidden" name="url" value="' . $url . '"/>
        </form>   
        </div>
        <a id="seoboss_anywhere_toggle_link" href="#" onclick="toggleSeobossAnywhere();return false;">SEO Boss Anywhere</a>
', $buffer);
        }
    }
    //Redirect processing
    require_once JPATH_ADMINISTRATOR . "/components/com_seoboss/classes/RedirectFactory.php";
    $redirect = new RedirectFactory();
    $buffer = $redirect->Redirect($buffer);
    //
    $db =& JFactory::getDBO();
    //set default metatags
    $db->setQuery("SELECT `name`, `value` from  #__seoboss_default_tags");
    $defaultMetaTags =& $db->loadObjectList();
    foreach ($defaultMetaTags as $metaTag) {
        preg_match("/<meta[\\s]+name[\\s]*=[\\s]*\"" . $metaTag->name . "\"[\\s]+content[\\s]*=[\\s]*\"[^\"]*\"[\\s]*\\/>/i", $buffer, $match);
        if ($match && isset($match[0])) {
            $buffer = str_replace($match[0], "<meta name=\"" . $metaTag->name . "\" content=\"" . $metaTag->value . "\"/>", $buffer);
        } else {
            $buffer = str_replace("<head>", "<head>\n" . "<meta name=\"" . $metaTag->name . "\" content=\"" . $metaTag->value . "\"/>", $buffer);
        }
    }
    //Retreive settings
    $db->setQuery("SELECT hilight_keywords, hilight_tag, hilight_class, hilight_skip from  #__seoboss_settings ");
    $settings =& $db->loadObject();
    if ($settings->hilight_keywords) {
        preg_match("/<meta\\sname=\"keywords\"\\scontent=\"([^\"]*)\"/i", $buffer, $match);
        if ($match && isset($match[1])) {
            $keywords = explode(",", $match[1]);
            require_once JPATH_ADMINISTRATOR . "/components/com_seoboss/algorithm/DFA.php";
            $dfa = new DFA();
            $omitTags = array('title', 'textarea', 'style', 'script');
            if ($settings->hilight_skip) {
                $omitTags = array_merge($omitTags, explode(",", $settings->hilight_skip));
            }
            $buffer =& $dfa->hilight($buffer, $keywords, $omitTags, $settings->hilight_tag, $settings->hilight_class);
        }
    }
    JResponse::setBody($buffer);
}
Example #8
0
 static function getValues()
 {
     $eot = array(1, 65535, 7, 51, 1, 68, 8, 51, 1, 83, 1, 51, 1, 85, 3, 65535, 1, 87, 1, 91, 1, 93, 1, 96, 3, 65535, 1, 51, 1, 105, 1, 65535, 1, 107, 6, 65535, 1, 109, 2, 65535, 1, 111, 4, 65535, 1, 51, 1, 113, 1, 51, 1, 65535, 3, 51, 1, 65535, 11, 51, 1, 129, 1, 65535, 13, 51, 1, 147, 5, 65535, 1, 51, 1, 87, 1, 151, 1, 65535, 1, 151, 1, 65535, 1, 155, 2, 65535, 1, 158, 1, 65535, 1, 100, 1, 65535, 1, 102, 10, 65535, 1, 51, 1, 65535, 2, 51, 1, 167, 2, 51, 1, 170, 7, 51, 1, 178, 1, 179, 1, 65535, 17, 51, 1, 65535, 1, 51, 1, 150, 2, 65535, 1, 151, 1, 51, 1, 199, 2, 65535, 1, 199, 1, 65535, 1, 201, 1, 65535, 1, 201, 2, 65535, 1, 203, 2, 51, 1, 65535, 2, 51, 1, 65535, 2, 51, 1, 211, 4, 51, 2, 65535, 1, 216, 9, 51, 1, 227, 5, 51, 1, 233, 1, 51, 1, 150, 1, 65535, 1, 199, 1, 65535, 1, 201, 1, 65535, 1, 234, 1, 51, 1, 236, 4, 51, 1, 65535, 2, 51, 1, 243, 1, 51, 1, 65535, 1, 51, 1, 246, 1, 247, 1, 248, 2, 51, 1, 251, 1, 252, 1, 253, 1, 51, 1, 65535, 1, 255, 1, 256, 1, 257, 2, 51, 2, 65535, 1, 260, 1, 65535, 1, 261, 5, 51, 1, 65535, 1, 51, 1, 268, 3, 65535, 1, 269, 1, 51, 3, 65535, 1, 51, 3, 65535, 2, 51, 2, 65535, 4, 51, 1, 278, 1, 51, 2, 65535, 2, 51, 1, 282, 1, 51, 1, 284, 1, 285, 1, 286, 1, 287, 1, 65535, 1, 51, 1, 289, 1, 51, 1, 65535, 1, 51, 4, 65535, 1, 292, 1, 65535, 1, 51, 1, 294, 1, 65535, 1, 51, 1, 65535, 1, 296, 1, 65535);
     $eof = array(297, 65535);
     $min = array(1, 9, 16, 45, 1, 33, 1, 45, 1, 48, 3, 65535, 1, 45, 1, 48, 2, 46, 2, 0, 1, 65535, 1, 58, 1, 94, 1, 65535, 1, 124, 6, 65535, 1, 61, 2, 65535, 1, 61, 4, 65535, 3, 45, 1, 65535, 16, 45, 1, 65535, 13, 45, 1, 33, 5, 65535, 1, 43, 2, 45, 1, 65535, 1, 48, 1, 65535, 1, 46, 1, 48, 1, 65535, 1, 46, 1, 48, 1, 39, 1, 65535, 1, 34, 10, 65535, 1, 45, 1, 65535, 15, 45, 1, 65535, 17, 45, 1, 65535, 1, 48, 1, 45, 2, 65535, 1, 45, 1, 43, 1, 48, 2, 65535, 1, 48, 1, 65535, 1, 48, 1, 65535, 1, 48, 2, 65535, 3, 45, 1, 65535, 2, 45, 1, 65535, 7, 45, 2, 65535, 17, 45, 1, 48, 1, 45, 1, 65535, 1, 48, 1, 65535, 1, 48, 1, 65535, 7, 45, 1, 65535, 4, 45, 1, 65535, 10, 45, 1, 65535, 5, 45, 2, 65535, 1, 45, 1, 65535, 6, 45, 1, 65535, 2, 45, 3, 65535, 2, 45, 3, 65535, 1, 45, 3, 65535, 2, 45, 2, 65535, 6, 45, 2, 65535, 8, 45, 1, 65535, 3, 45, 1, 65535, 1, 45, 4, 65535, 1, 45, 1, 65535, 2, 45, 1, 65535, 1, 45, 1, 65535, 1, 45, 1, 65535);
     $max = array(1, 125, 16, 122, 1, 65535, 2, 122, 3, 65535, 1, 122, 3, 57, 2, 65535, 1, 65535, 1, 58, 1, 94, 1, 65535, 1, 124, 6, 65535, 1, 61, 2, 65535, 1, 61, 4, 65535, 3, 122, 1, 65535, 16, 122, 1, 65535, 13, 122, 1, 65535, 5, 65535, 1, 57, 2, 122, 1, 65535, 1, 101, 1, 65535, 1, 101, 1, 57, 1, 65535, 1, 101, 1, 57, 1, 39, 1, 65535, 1, 34, 10, 65535, 1, 122, 1, 65535, 15, 122, 1, 65535, 17, 122, 1, 65535, 1, 57, 1, 122, 2, 65535, 1, 122, 1, 57, 1, 101, 2, 65535, 1, 101, 1, 65535, 1, 101, 1, 65535, 1, 101, 2, 65535, 3, 122, 1, 65535, 2, 122, 1, 65535, 7, 122, 2, 65535, 17, 122, 1, 57, 1, 122, 1, 65535, 1, 101, 1, 65535, 1, 101, 1, 65535, 7, 122, 1, 65535, 4, 122, 1, 65535, 10, 122, 1, 65535, 5, 122, 2, 65535, 1, 122, 1, 65535, 6, 122, 1, 65535, 2, 122, 3, 65535, 2, 122, 3, 65535, 1, 122, 3, 65535, 2, 122, 2, 65535, 6, 122, 2, 65535, 8, 122, 1, 65535, 3, 122, 1, 65535, 1, 122, 4, 65535, 1, 122, 1, 65535, 2, 122, 1, 65535, 1, 122, 1, 65535, 1, 122, 1, 65535);
     $accept = array(20, 65535, 1, 42, 1, 43, 1, 44, 6, 65535, 1, 58, 2, 65535, 1, 62, 1, 65535, 1, 65, 1, 66, 1, 67, 1, 68, 1, 72, 1, 73, 1, 65535, 1, 75, 1, 76, 1, 65535, 1, 79, 1, 80, 1, 84, 1, 85, 3, 65535, 1, 59, 16, 65535, 1, 24, 14, 65535, 1, 77, 1, 39, 1, 40, 1, 41, 1, 45, 3, 65535, 1, 69, 1, 65535, 1, 70, 2, 65535, 1, 71, 3, 65535, 1, 54, 1, 65535, 1, 55, 1, 60, 1, 61, 1, 86, 1, 63, 1, 64, 1, 83, 1, 74, 1, 82, 1, 78, 1, 65535, 1, 15, 15, 65535, 1, 25, 17, 65535, 1, 81, 2, 65535, 1, 47, 1, 46, 3, 65535, 1, 48, 1, 50, 1, 65535, 1, 51, 1, 65535, 1, 53, 1, 65535, 1, 56, 1, 57, 3, 65535, 1, 3, 2, 65535, 1, 26, 7, 65535, 1, 9, 1, 16, 19, 65535, 1, 49, 1, 65535, 1, 52, 1, 65535, 1, 1, 7, 65535, 1, 17, 4, 65535, 1, 10, 10, 65535, 1, 27, 5, 65535, 1, 37, 1, 30, 1, 65535, 1, 11, 6, 65535, 1, 36, 2, 65535, 1, 38, 1, 12, 1, 13, 2, 65535, 1, 14, 1, 21, 1, 18, 1, 65535, 1, 22, 1, 32, 1, 33, 2, 65535, 1, 2, 1, 4, 6, 65535, 1, 23, 1, 19, 8, 65535, 1, 6, 3, 65535, 1, 34, 1, 65535, 1, 31, 1, 5, 1, 8, 1, 29, 1, 65535, 1, 20, 2, 65535, 1, 7, 1, 65535, 1, 35, 1, 65535, 1, 28);
     $special = array(27, 65535, 1, 1, 1, 0, 268, 65535);
     $transitionS = array(array(2, 29, 2, 65535, 1, 29, 18, 65535, 1, 29, 1, 40, 1, 28, 1, 34, 1, 21, 1, 65535, 1, 32, 1, 27, 1, 44, 1, 45, 1, 38, 1, 25, 1, 39, 1, 26, 1, 24, 1, 41, 10, 23, 1, 19, 1, 37, 1, 17, 1, 42, 1, 43, 1, 20, 1, 22, 26, 65535, 1, 46, 1, 65535, 1, 47, 1, 31, 1, 30, 1, 65535, 1, 8, 1, 1, 1, 7, 1, 5, 1, 18, 1, 9, 1, 12, 1, 18, 1, 15, 2, 18, 1, 13, 1, 18, 1, 3, 1, 11, 1, 2, 1, 18, 1, 6, 1, 4, 1, 16, 1, 14, 1, 18, 1, 10, 3, 18, 1, 35, 1, 33, 1, 36), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 48, 13, 52, 1, 50, 9, 52, 1, 49, 1, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 56, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 58, 13, 52, 1, 57, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 61, 3, 52, 1, 59, 14, 52, 1, 60, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 64, 3, 52, 1, 63, 3, 52, 1, 62, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 65, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 14, 52, 1, 66, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 67, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 71, 7, 52, 1, 70, 8, 52, 1, 69, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 7, 52, 1, 72, 18, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 5, 52, 1, 74, 9, 52, 1, 75, 1, 52, 1, 73, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 76, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 78, 7, 52, 1, 77, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 79, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 80, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 81, 8, 52), array(1, 84, 1, 65535, 25, 84, 1, 65535, 1, 82, 30, 84, 1, 65535, 1, 84, 1, 65535, 1, 84, 1, 65535, 26, 84, 3, 65535, 65410, 84), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(10, 86, 37, 65535, 1, 86, 1, 65535, 26, 86), array(), array(), array(), array(1, 51, 1, 90, 1, 65535, 10, 89, 37, 65535, 1, 51, 1, 65535, 4, 51, 1, 88, 21, 51), array(10, 92), array(1, 95, 1, 65535, 10, 94), array(1, 98, 1, 65535, 10, 97), array(10, 100, 1, 65535, 2, 100, 1, 65535, 25, 100, 1, 99, 65496, 100), array(10, 102, 1, 65535, 2, 102, 1, 65535, 20, 102, 1, 101, 65501, 102), array(), array(1, 103), array(1, 104), array(), array(1, 106), array(), array(), array(), array(), array(), array(), array(1, 108), array(), array(), array(1, 110), array(), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 112, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 20, 52, 1, 114, 5, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 37, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 115, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 116, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 117, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 118, 14, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 119, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 120, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 121, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 122, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 123, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 3, 52, 1, 124, 2, 52, 1, 125, 19, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 126, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 128, 7, 52, 1, 127, 15, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 14, 52, 1, 130, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 131, 14, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 132, 14, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 133, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 3, 52, 1, 134, 22, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 5, 52, 1, 135, 20, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 136, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 138, 13, 52, 1, 137, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 139, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 140, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 141, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 52, 1, 144, 6, 52, 1, 142, 2, 52, 1, 145, 8, 52, 1, 143, 5, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 20, 52, 1, 146, 5, 52), array(1, 84, 1, 65535, 25, 84, 1, 65535, 31, 84, 1, 65535, 1, 84, 1, 65535, 1, 84, 1, 65535, 26, 84, 3, 65535, 65410, 84), array(), array(), array(), array(), array(), array(1, 150, 1, 65535, 1, 148, 2, 65535, 10, 149), array(1, 51, 1, 90, 1, 65535, 10, 89, 37, 65535, 1, 51, 1, 65535, 4, 51, 1, 88, 21, 51), array(2, 51, 1, 65535, 10, 152, 37, 65535, 1, 51, 1, 65535, 4, 51, 1, 153, 21, 51), array(), array(10, 92, 43, 65535, 1, 150), array(), array(1, 154, 1, 65535, 10, 94, 43, 65535, 1, 156), array(10, 157), array(), array(1, 159, 1, 65535, 10, 97, 43, 65535, 1, 160), array(10, 161), array(1, 162), array(), array(1, 163), array(), array(), array(), array(), array(), array(), array(), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 164, 21, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 165, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 5, 52, 1, 166, 20, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 168, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 169, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 171, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 172, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 173, 23, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 174, 25, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 20, 52, 1, 175, 5, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 176, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 177, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 180, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 181, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 182, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 183, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 184, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 185, 7, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 186, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 20, 52, 1, 187, 5, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 15, 52, 1, 188, 10, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 189, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 6, 52, 1, 190, 19, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 14, 52, 1, 191, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 192, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 193, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 194, 14, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 195, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 196, 21, 52), array(), array(10, 149), array(2, 51, 1, 65535, 10, 149, 37, 65535, 1, 51, 1, 65535, 26, 51), array(), array(), array(2, 51, 1, 65535, 10, 152, 37, 65535, 1, 51, 1, 65535, 4, 51, 1, 153, 21, 51), array(1, 150, 1, 65535, 1, 197, 2, 65535, 10, 198), array(10, 200, 43, 65535, 1, 156), array(), array(), array(10, 157, 43, 65535, 1, 156), array(), array(10, 202, 43, 65535, 1, 160), array(), array(10, 161, 43, 65535, 1, 160), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 3, 52, 1, 204, 22, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 205, 17, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 3, 52, 1, 206, 22, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 207, 23, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 208, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 209, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 210, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 212, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 213, 23, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 23, 52, 1, 214, 2, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 215, 6, 52), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 217, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 218, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 219, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 220, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 221, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 14, 52, 1, 222, 11, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 15, 52, 1, 223, 10, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 7, 52, 1, 224, 18, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 225, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 226, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 228, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 229, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 230, 17, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 231, 25, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 232, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(10, 198), array(2, 51, 1, 65535, 10, 198, 37, 65535, 1, 51, 1, 65535, 26, 51), array(), array(10, 200, 43, 65535, 1, 156), array(), array(10, 202, 43, 65535, 1, 160), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 23, 52, 1, 235, 2, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 237, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 238, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 239, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 8, 52, 1, 240, 17, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 24, 52, 1, 241, 1, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 242, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 244, 8, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 245, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 249, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 250, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 254, 25, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 13, 52, 1, 258, 12, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 259, 21, 52), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 262, 8, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 263, 23, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 52, 1, 264, 24, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 15, 52, 1, 265, 10, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 3, 52, 1, 266, 22, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 20, 52, 1, 267, 5, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 270, 25, 52), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 271, 6, 52), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 10, 52, 1, 272, 15, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 17, 52, 1, 273, 8, 52), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 12, 52, 1, 274, 13, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 275, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 276, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 277, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 279, 23, 52), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 280, 14, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 2, 52, 1, 281, 23, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 1, 283, 25, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 19, 52, 1, 288, 6, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 7, 52, 1, 290, 18, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 11, 52, 1, 291, 14, 52), array(), array(), array(), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 4, 52, 1, 293, 21, 52), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 18, 52, 1, 295, 7, 52), array(), array(1, 53, 1, 55, 1, 65535, 10, 54, 1, 19, 36, 65535, 1, 52, 1, 65535, 26, 52), array());
     $arr = array();
     $arr['eot'] = DFA::unpackRLE($eot);
     $arr['eof'] = DFA::unpackRLE($eof);
     $arr['min'] = DFA::unpackRLE($min, true);
     $arr['max'] = DFA::unpackRLE($max, true);
     $arr['accept'] = DFA::unpackRLE($accept);
     $arr['special'] = DFA::unpackRLE($special);
     $numStates = sizeof($transitionS);
     $arr['transition'] = array();
     for ($i = 0; $i < $numStates; $i++) {
         $arr['transition'][$i] = DFA::unpackRLE($transitionS[$i]);
     }
     return $arr;
 }
Example #9
0
<?php

session_start();
require_once "DFA.php";
if (isset($_POST['submit'])) {
    $_SESSION['states'] = file_get_contents($_FILES['inputFile']['tmp_name']);
    $objDFA = new DFA();
    $objDFA->getFromFile($_FILES['inputFile']['tmp_name']);
    //echo $objDFA->getStateSequence("011");
    //$objDFA->displayTransition();
    //echo '<br />';
    /*
    if ($objDFA->isAccepted("011"))
      echo "ACCEPTED";
    else
      echo "REJECTED";
    */
}
?>
<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8" />
    <link rel="stylesheet" type="text/css" href="libs/bootstrap-3.3.7-dist/css/bootstrap.min.css">
    <link rel="stylesheet" type="text/css" href="style.css" />
    <title>DFA Simulator</title>
  </head>

  <body>
    <div class="container">