--- ground height and high-ground level at a point of the dota map. the data is the map's own
--- collision mesh sampled on the gridnav grid (`data/dota.lua`, regenerated by
--- tools/gen_ground.py whenever the map in the installed vpk changes, chained into redump).
--- every call answers nil when the data does not match the running map, never a guess.
---@class ground
local M = {}

local floor, abs = math.floor, math.abs

local S = { cols = {}, live = nil, checked = -1e9, warned = false }

local function clock()
    local ok, t = pcall(function() return globals.realtime() end)
    return (ok and type(t) == "number") and t or os.clock()
end

local function xyz(p)
    if type(p) ~= "table" and type(p) ~= "userdata" then return nil end
    local ok, x, y, z = pcall(function()
        if p.GetX then return p:GetX(), p:GetY(), p:GetZ() end
        return p.x, p.y, p.z
    end)
    if ok and type(x) == "number" and type(y) == "number" then return x, y, z end
    return nil
end

local function data()
    if S.data == nil then
        local ok, D = pcall(require, "lib/ground/data/dota")
        S.data = (ok and type(D) == "table" and D.cols) and D or false
    end
    return S.data or nil
end

-- z at grid index ix, iy, nil off the map or where the mesh has no ground
local function cell(D, ix, iy)
    if ix < 0 or iy < 0 or ix >= D.size or iy >= D.size then return nil end
    local col = S.cols[ix]
    if not col then
        col = {}
        local i = 0
        for tok in D.cols[ix + 1]:gmatch("[^,]+") do
            local v, n = tok:match("^([^*]+)%*?(%d*)$")
            v = v ~= "." and tonumber(v) or false
            for _ = 1, (n == "" and 1 or tonumber(n)) do col[i] = v; i = i + 1 end
        end
        S.cols[ix] = col
    end
    return col[iy] or nil
end

--- level of a height: `floor((z + 32) / 128)`.
--- level 0 is the river bed, 1 the lanes and most of the jungle, 2 and up the high ground.
--- matched server GetGroundHeight on every walkable spot sampled (#208, #209).
---@param z number
---@return integer|nil
function M.level_of_z(z)
    if type(z) ~= "number" then return nil end
    return floor((z + 32) / 128)
end

--- true when the data is the running map.
--- 12 cells deep inside its cliffs must read unwalkable in the live gridnav (3 misses
--- allowed). checked again every 30 s; false on another map (the lab map is flat), with no
--- data file, or before gridnav is mapped.
---@return boolean
function M.live()
    local now = clock()
    if S.live ~= nil and abs(now - S.checked) < 30 then return S.live end
    S.checked = now
    local D = data()
    if not D then S.live = false; return false end
    local hits = 0
    for _, p in ipairs(D.probes) do
        local ok, w = pcall(gridnav.is_traversable, Vector(p[1], p[2], 0))
        if ok and w == false then hits = hits + 1 end
    end
    S.live = hits >= #D.probes - 3
    if not S.live and not S.warned then
        S.warned = true
        pcall(log.warn, ("[ground] data is not this map (%d/%d probes blocked), every call answers nil")
            :format(hits, #D.probes))
    end
    return S.live
end

--- ground z at a world point, the top of the map's collision mesh.
--- linear between the four nearest cells on slopes and ramps; at a cliff edge (cells more
--- than 96 apart) the nearest cell's z, so a point never reads halfway up a wall. nil off the
--- map or when not `live()`.
---@param x number
---@param y number
---@return number|nil
function M.z(x, y)
    if not M.live() then return nil end
    local D = S.data
    local fx, fy = (x - D.min) / D.cell, (y - D.min) / D.cell
    local ix, iy = floor(fx), floor(fy)
    local a, b = cell(D, ix, iy), cell(D, ix + 1, iy)
    local c, d = cell(D, ix, iy + 1), cell(D, ix + 1, iy + 1)
    if a and b and c and d then
        local lo, hi = math.min(a, b, c, d), math.max(a, b, c, d)
        if hi - lo <= 96 then
            local tx, ty = fx - ix, fy - iy
            return (a * (1 - tx) + b * tx) * (1 - ty) + (c * (1 - tx) + d * tx) * ty
        end
    end
    return cell(D, floor(fx + 0.5), floor(fy + 0.5))
end

--- ground level at a world point, `level_of_z` of the nearest cell.
--- nil off the map or when not `live()`.
---@param x number
---@param y number
---@return integer|nil
function M.level(x, y)
    if not M.live() then return nil end
    local D = S.data
    return M.level_of_z(cell(D, floor((x - D.min) / D.cell + 0.5), floor((y - D.min) / D.cell + 0.5)))
end

--- level a unit stands on, from its own z.
--- pass `Entity.GetAbsOrigin(unit)`, a Vector or {x,y,z}. nil when the data disagrees at that
--- spot, so a stale table or a unit in the air reads unknown.
---@param pos table position with z
---@return integer|nil
function M.level_of(pos)
    local x, y, z = xyz(pos)
    local lz = x and M.level_of_z(z)
    if not lz then return nil end
    if M.level(x, y) ~= lz then return nil end
    return lz
end

--- is `a` on higher ground than `b`.
--- a position with z is read by its own z (`level_of`), one without z by the table at its
--- x,y. nil when either level is unknown.
---@param a table position
---@param b table position
---@return boolean|nil
---@return integer|nil la level of a
---@return integer|nil lb level of b
function M.higher(a, b)
    local function lv(p)
        local x, y, z = xyz(p)
        if not x then return nil end
        if type(z) == "number" then return M.level_of(p) end
        return M.level(x, y)
    end
    local la, lb = lv(a), lv(b)
    if not (la and lb) then return nil, la, lb end
    return la > lb, la, lb
end

--- where the data came from.
--- fields: `map`, `build` (steam build id it was made on), `phys_sha` (sha256 of
--- world_physics.vmdl_c), `cell`, `size`, `live`.
---@return table
function M.info()
    local D = data()
    if not D then return { live = false } end
    return { map = D.map, build = D.build, phys_sha = D.phys_sha, cell = D.cell, size = D.size,
             live = M.live() }
end

return M

{ "kind": "lib", "version": "1.0.0" }

-- generated by tools/gen_ground.py from maps/dota.vpk (maps/dota/world_physics.vmdl_c), do not edit.
-- top of the collision mesh at each gridnav cell centre, rounded; one RLE string per x
-- column: comma-separated z, '.' where no ground, '*n' repeats.
return {
    map = "dota", build = 25971480,
    phys_sha = "61f250d75fd2bf34393d96b14e338468f42e51fe599da3fcfaecc45b87bf676e", gen = 2,
    min = -10720, cell = 64, size = 328,
    probes = { { -3552, -8032 }, { 7328, 6880 }, { -8160, -4896 }, { -7904, -5472 }, { 2912, 7648 }, { -7584, -5792 }, { -8032, -5792 }, { 6880, 7136 }, { 7520, 7200 }, { -7904, -3744 }, { -8032, -7584 }, { -6624, -7840 } },
    cols = {
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
        ".*116,640,611,512*198,.*12",
        ".*116,640,577,512*86,504*8,512*4,504*4,512*96,.*12",
        ".*116,640,577,512*84,493,407,392*3,192,136*2,320,136,146,212*2,146,192,392*3,411,496,512*94,.*12",
        ".*116,640,611,512*84,407,384*3,169,128*10,169,384*3,411,512*94,.*12",
        ".*116,640,632,520,512*82,504,384*3,376,136,128*10,136,376,384*2,392,495,512*93,.*12",
        ".*116,640,632,520,512*69,483,449*2,483,504*4,510,512*2,510,504,403,384*3,376,136,128,99,65*2,99*2,65*2,99,128,136,376,384*2,392,495,512*37,510,512*2,510,512*52,.*12",
        ".*116,640,632,520,512*67,493,407,384*4,392*4,394,417*2,394,384*5,376,136,23,0*8,27,106,376,384*2,392,510,512*35,496,411,399,421*2,399,411,496,512*50,.*12",
        ".*116,640,632,520,512*67,407,384*18,376,54,0*10,56,376,384*2,392,510,512*35,411,384*6,411,512*50,.*12",
        ".*116,640,638,522,512*66,504,384*19,376,8,0*10,8,376,384*3,504,512*34,504,384*7,411,512*50,.*12",
        ".*116,640*2,545,512*5,510,512*2,510,481,407*2,481*2,407*2,481,504*16,481,407*2,481,504*12,481,407*2,481,510,512*2,510,481,407*2,481,504*5,288,275,376*18,264,8,0*10,8,136,376*3,392,504,470,372*2,470*2,372*2,470,512*4,481*2,508*2,481*2,508*2,512*4,470,372*2,470,481*2,508*2,504,392,376*2,384*4,411,496,512*50,.*12",
        ".*116,640*2,545,512*3,480,297,274,344*2,274,256*8,264*7,182*2,264*7,256*4,264*7,182*2,264*3,256*4,274,344*2,274,256*4,264*3,182,186,237,256*2,264*3,169,136*3,54*2,136*3,169,264*3,256,248,8,0*10,8,120,128,136*4,128*8,159,273*2,159,136*8,146,212*2,146,128*4,136*8,176,359,403,504,512*52,.*12",
        ".*116,640,638,522,512*3,297,256*19,151,128*2,151,256*16,151,128*2,151,256*16,151,128*2,151,256*4,151,128*3,23,0*2,23,128*3,151,256*3,248,8,0*10,8,120,128*42,185,504,512*53,.*12",
        ".*116,640,632,520,512*2,510,274,256*19,151,128*2,151,256*16,151,128*2,151,256*15,248,128*4,248,256*2,248,128*3,120,0*4,120,128*3,240,256*2,248,8,0*10,27,128*44,504,512*53,.*12",
        ".*116,640,632,520,512*3,344,256*19,237,151*2,237,256*16,237,151*2,237,256*10,225,151*2,225,248,136,120*2,128*2,147,248*2,147,128*2,120,19,0*4,19,120,128*2,144,240,248,136,8,0*9,27,112,128*44,173,504,512*4,504*4,495*2,508*2,512*40,.*12",
        ".*116,640,632,520,512*3,344,256*51,224,41,0*4,8*4,23,109,128*4,109,23,0*8,48,96,112,125,128,120,8,0*6,313,19,120,128*48,159,273*2,159,184,234,264*6,304,487,512*38,.*12",
        ".*116,640,632,520,512*2,510,274,256*51,41,0*10,23,128*4,23,0*9,16,48,80,112,128,336,136,115,139,136,137,101,110,119,125,128*54,155,256*7,304,512*38,.*12",
        ".*44,640*73,638,522,512*2,481,256*51,248,0*12,120,128*2,120,0*10,16,48,80,112,128,129,136,101,138,137,139,119,118,125,144,128*55,248,256*7,504,512*37,.*12",
        ".*44,640*4,648*8,640*62,545,512*2,407,256*46,248*5,32,0*12,19,120*2,19,0*10,16,48,80,112,128,129,136,101,137,139,141,128,127,131,130,146,128*44,126,128*2,126,111*2,126*2,120*2,136,248,239*2,252*2,256*2,288,504,468,396*2,468*2,396*2,468,495*2,508*2,512*24,.*12",
        ".*44,640*2,685,1016*2,904,888*3,776,760*3,659,640*60,545,512*2,407,256*44,237,151,136*3,41,0*28,16,48,80,112,128,129,136,122,137,140,143,138,136*2,404,128,149,128*41,112,27,15,37*2,15,8*12,48,231,256*10,264*4,304,487,512*22,.*12",
        ".*44,640*2,1016,1024*2,1016,896*3,888,768*3,760,640*59,638,522,512*2,481,256*44,151,128*3,23,0*30,28,100,128*2,120,8,0*3,198,0*2,142,120,128,164,128*41,27,0*18,48,256*15,304,512*22,.*12",
        ".*44,640,648,1016,1024*2,1016,896*3,888,768*3,760,640*59,632,512*3,510,274,256*42,228,156,128*2,100,28,0*31,120,128*2,120,0*8,120,128*41,96,64,0*20,248,256*15,504,512*21,.*12",
        ".*44,640,648,904,1016*2,915,896*2,888,787,768*2,760,659,640*6,632*24,611,577*2,611,632*8,611,577*2,611*2,577*2,611,638,640*2,638*2,640*2,638,632,531,512*4,344,256*41,240,208,176,144,112,80,48,16,0*30,19,120*2,19,0*8,19,120,128*39,96,64,32,0*20,32,248,256*14,288,504,512*20,.*12",
        ".*44,640,648,888,896*3,877,791,768*2,749,663,640*6,608,425*2,520*6,425,392*4,425,520*11,512*4,520*8,512*8,522,545*2,522*2,545*2,522,512*6,344,256*41,240,208,176,144,112,80,48,16,0*44,27,112,128*36,96,64,32,0*23,23,81*2,23,48,231,256*10,304,487,512*18,.*12",
        ".*44,640,648,888,896*3,791,768*3,663,640*7,425,384*2,407,512*4,407,384*6,407,512*43,510,274,256*41,240,208,176,144,112,80,48,16,0*45,27,128*35,96,64,32,0*29,48,256*11,304,512*18,.*12",
        ".*44,640,648,888,896*2,888,768*3,760,640*7,632,392,384*3,504,512*2,504,384*8,504,512*42,504,256*42,240,208,176,144,112,80,48,16,0*45,8,111,128*33,112,72,40,8,0*30,248,256*11,468,512*17,.*12",
        ".*44,640,648,776,888*2,787,768*2,760,659,640*6,632,520,392,384*3,403,504*2,403,384*8,403,504*9,510,512*2,510,504*4,510,512*2,510,504*4,510,512*2,510*2,512*2,510,481,407*2,481,510,512*2,510,504,288,256*42,240,208,176,144,112,80,48,16,0*45,8,111,128*33,104,56,16,0*31,32,248,256*10,396,512*17,.*12",
        ".*44,640,648,760,768*3,749,663,640*6,621,535,512,504,392,384*15,376,297,264*8,274,344*2,274,264*4,274,344*2,274,264*4,274,344*2,274*2,344*2,274,256*4,274,344*2,274,256*44,240,208,176,144,112,80,48,16,0*38,19,120*2,19,0*3,8,126,128*33,126,53,6,0*33,48,231,256*8,396,512*17,.*12",
        ".*44,640,648,760,768*3,663,640*7,535,512*2,504,392,384*15,279,256*86,228,156,128*2,100,28,0*39,120,128*2,120,0*3,8,126,128*34,94,0*35,48,256*8,468,512*17,.*12",
        ".*44,640*2,760,768*2,760,640*7,632,512*3,504,384*15,382,266,256*87,151,128*2,120,8,0*23,2,8,16,8*2,0*11,120,128*2,120,0*3,8,111,128*34,126,15,0*35,248,256*6,279,512*18,.*12",
        ".*44,640*2,659,760*2,659,640*6,632,531,512*2,504,403,384*16,289,256*87,237,151,128,120,8,0*13,8*4,0*5,2,16,35,48*2,33,11,0*10,19,120*2,19,0*3,8,111,128*35,37,0*35,32,248,256*5,337,512*18,.*12",
        ".*44,640*10,621,535,512*2,493,407,384*18,289,256*89,248,136,8,0*11,19,120*6,19,0*3,12,38,64,88,110,128,124,120,19,0*15,8,126,128*35,37,0*27,19,120*2,19,0*6,48,231,256*3,337,512*18,.*12",
        ".*44,640*10,535,512*3,407,384*18,382,266,256*90,248,8,0*11,120,128*6,120,0*2,4,35,64,96,120,128*4,120,0*15,8,126,128*34,126,15,0*27,120,128*2,120,0*7,48,256*3,279,512*18,.*12",
        ".*44,640*9,632,520,512*2,504,384*19,376,264,256*64,240*8,256*18,248,41,0*2,16*6,0*2,23,128*8,23,0,16,64,96,128*7,23,0*15,108,128*34,108,0*26,32,42,116,128*3,27,0*6,48,256*4,468,512*17,.*12",
        ".*44,640*9,632,520,512,504,403,384*19,376,264,256*45,227,193*2,227*2,193*2,227*2,193*2,227,248*6,228,208*8,228,227,193*2,227,248*4,227,193*2,227*2,193*2,227,248,147,120,23,28,48*6,28,23,109,128*8,109,23,42,96,128*8,109,23,0*14,81,128*34,81,0*25,32,64,96,128,140,136*2,106,43,8*4,48,231,256*4,396,512*17,.*12",
        ".*44,640*2,659,760*2,659,640*3,632,520,407,384*7,393*2,384*12,376,264,256*43,237,151,128*12,136*6,156,176*8,156,128*4,136*4,128*12,100,80*6,100,128*12,118,128*11,120,19,0*12,81,128*34,81,0*24,32,64,96,128,160,212,248*4,252*2,239*2,256*6,396,512*17,.*12",
        ".*44,640*2,760,768*2,760,640*3,632,425,384*7,393*4,384*11,376,264,256*43,151,128*20,144*8,128*22,112*6,128*26,120,0*12,108,128*34,108,0*23,32,64,96,128,160,192,224,256*14,468,512*17,.*12",
        ".*44,640*2,739,768*2,766,650,640*2,609,384*7,385,393*4,384*11,376,264,256*42,248,136,128*82,120,8,0*10,8,111,128*34,99,0*22,32,64,96,128,160,192,224,256*15,504,512*17,.*12",
        ".*44,640*2,705,768*3,673,640*2,535,384*8,385,393*2,384*12,376,264,256*42,248,136,128*82,120,8,0*10,8,111,128*34,65,0*22,44,96,128,160,192,224,256*16,288,504,512*16,.*12",
        ".*44,640*2,705,768*3,673,640*2,535,384*9,385,384*13,376,264,256*42,228,156,128*82,120,8,0*10,8,126,128*34,65,0*20,19,120,116,128,160,192,224,256*19,304,487,512*14,.*12",
        ".*44,640*2,739,768*2,766,650,640*2,609,384*23,376,264,256*41,240,208,176,144,128*81,120,8,0*10,8,126,128*34,99,0*20,120,128*2,140,192,224,256*21,304,512*14,.*12",
        ".*44,640*2,760,768*2,760,640*3,638,402,384*21,352,340,266,256*41,240,208,176,144,128*82,48,16*5,11,7,8,11,16,48,128*36,27,0*8,16*6,0*4,8,120,128*2,155,256*24,468,512*13,.*12",
        ".*44,640*2,659,760*2,659,640*4,472,384*20,352,320,288,256*42,240,208,176,144,128*82,96,48*6,43*2,48*2,96,128*36,112,27,0*4,8*2,28,48*6,16,0*3,8,120,128,155,240,256*24,396,512*13,.*12",
        ".*44,640*10,472,384*19,352,320,288,256*43,240,208,176,144,128*82,112,80*6,84*2,80*2,112,128*38,108,81*2,108,120*2,100,80*6,32,0*3,8,136,248,256*26,396,512*13,.*12",
        ".*44,640*9,638,402,384*18,352,320,288,256*44,240,208,176,144,128*5,129*2,128*76,112*5,116,118*2,116,112,128*46,112*6,80,0*3,8,248,256*27,468,512*13,.*12",
        ".*44,640*10,425,384*17,352,320,288,256*22,260*2,256*21,240,208,176,144,128*5,137*2,128*139,27,0*2,43,248,256*27,504,512*13,.*12",
        ".*44,640*10,608,425,384*15,352,320,288,256*23,260*2,256*21,240,208,176,144,128*5,137*2,128*139,112,27*2,106,248,256*27,288,504,512*12,.*12",
        ".*44,640*12,632,416,384*12,352,320,288,256*47,240,208,176,144,128*5,131*2,128*142,136,248,256*29,304,487,512*10,.*12",
        ".*44,640*13,632,384*11,352,320,288,256*48,240,208,176,144,128*149,136,248,256*30,304,512*10,.*12",
        ".*44,640*13,632,384*10,352,320,288,256*49,240,208,176,144,128*149,140,192,224,256*29,279,512*10,.*12",
        ".*44,640*8,632*5,392,376*10,320,288,256*50,240,208,176,144,128*150,160,192,224,256*28,337,512*10,.*12",
        ".*44,640*6,608,425,392*3,310,264*12,266,256*51,240,208,176,144,128*151,160,192,224,256*27,337,512*10,.*12",
        ".*44,640*6,425,384*3,279,256*66,228,156,128*153,160,192,224,256*26,279,512*10,.*12",
        ".*44,640*5,632,392,384*2,376,264,256*66,248,136,128*153,136,168,200,240,256*25,264,504,512*9,.*12",
        ".*44,640*5,632,392,384*2,376,264,256*66,248,136,128*154,144,184,232,256*20,239*2,252*2,256,264,411,504,512*8,.*12",
        ".*44,640*5,632,392,384*2,376,264,256*66,248,136,128*7,109,23*2,109,128*143,134,181,254,256*18,231,48,8*4,48,218,376,384,411,496,512*6,.*12",
        ".*44,640*5,632,392,384*2,376,264,256*66,248,136,128*7,23,0*2,23,128*144,222,256*19,48,0*6,57,376,384*2,411,512*6,.*12",
        ".*44,640*5,609,384*3,355,256*67,248,136,128*7,23,0*2,23,128*144,248,256*18,248,0*8,342,384*2,399,510,512*5,.*12",
        ".*44,640*5,535,384*3,321,256*67,248,136,128*7,109,23*2,109,128*18,120*4,126,128*2,126*2,128*2,126,128*114,147,248,256*12,248*5,32,0*8,244,384*2,421,512*6,.*12",
        ".*44,640*5,535,384*3,321,256*67,248,136,128*23,147,248*2,150,120,23,8*4,10,33*2,10*2,33*2,10,23,109,128*114,155,240,256*8,240,155,136*2,106,43,0*10,244,384*2,421,512*6,.*12",
        ".*44,640*5,609,384*3,355,256*67,248,136,128*23,248,256*2,248,41,0*14,23,128*115,155,256*8,155,128*3,27,0*11,342,384*2,399,510,512*5,.*12",
        ".*44,640*5,638,402,384*2,376,264,256*33,260*2,256*31,248,128*22,144,170,246,256*3,41,0*14,23,128*115,136,239,256*5,224,192,140,128*2,120,0*11,31,376,384*2,411,512*6,.*12",
        ".*44,640*6,472,384*2,376,264,256*33,260*2,256*30,248,147,128*21,160,192,224,256*4,224,41,8*4,18,88*2,18*2,88*2,18,41,136*3,128*113,136,239,256*4,224,192,160,128,116,120,19,0*10,27,106,376,384,411,496,512*6,.*12",
        ".*44,640*6,472,384*2,376,264,256*63,237,151,128*22,160,192,224,256*7,248*4,254,256*2,254*2,256*2,254,248*5,147,128*111,136,254,256*3,224,192,160,128,96,44,0*10,19,120,128,136,411,504,512*8,.*12",
        ".*44,640*5,638,402,384*2,376,264,256*36,260*2,256*25,151,128*22,160,192,224,256*25,248,128*111,136,254,256*2,224,192,160,128,96,64,32,0*10,120,128*2,136,504,512*9,.*12",
        ".*44,640*6,425,384*2,376,264,256*36,260*2,256*24,248,136,128*21,144,192,224,256*27,151,128*38,112*6,128*67,248,256,224,192,160,128,96,64,32,1,0*9,15,126,128*2,159,512*10,.*12",
        ".*44,640*6,608,425,384,376,264,256*62,248,136,128*21,170,224,256*28,237,151,136*4,128*32,100,80*6,100,128*66,147,248,212,160,128,96,64,34,5,0*10,37,128*3,273,512*10,.*12",
        ".*44,535,632,672,888*2,672,640*2,632,376,264,256*62,248,136,128*19,147,248,246,256*31,248*5,147,128*28,109,23,28,48*6,28,23,109,128*66,140,128,96,64,34,11,1,0*10,37,128*3,273,512*10,.*12",
        ".*44,512,570,888,896*2,888,640*3,632,264,256*62,248,136,128*19,248,256*38,248,128*28,23,0*2,16*6,0*2,23,128*67,116,42,32,7,1,0*11,15,126,128*2,159,512*10,.*12",
        ".*44,512,520,888,896*2,888,640*4,274,256*17,260*2,256*43,248,136,128*18,138,254,256*38,246,170,144,128*25,126,10,0*10,15,126,128*66,120,0*15,27,128*4,470,512*9,.*12",
        ".*44,512,520,648,888*2,672,640*4,340,256*17,260*2,256*43,248,136,128*18,161,256*40,224,192,160,128*25,33,0*10,37,128*66,120,19,0*14,27,112,128*4,372,512*9,.*12",
        ".*44,407,504,632,640*7,340,256*62,248,136,128*18,161,256*41,224,192,160,128*24,33,0*10,37,128*64,112,27,0*14,19,120,128*6,372,512*9,.*12",
        ".*44,384,420,632,640*7,274,256*62,248,136,128*18,138,254,256*41,224,192,160,128*22,126,10,0*10,15,126,128*63,27,0*15,120,128*7,470,512*9,.*12",
        ".*36,640*5,638,402,384*3,632,640*6,632,256*63,248,128*19,138,254,256*42,224,192,144,128*21,120,0*11,8,111,128*62,120,0*16,120,128*6,136,481,512*9,.*12",
        ".*36,640*6,472,384*3,416,632*6,301,256*62,248,147,128*19,161,256*44,224,170,128*20,120,19,0*11,8,111,128*61,120,19,0*12,3,7,8,5,19,120,128*5,136,481,512*9,.*12",
        ".*36,640*6,472,384*3,376,314,264*2,448,264,256*62,237,151,128*21,161,256*12,275,376*2,275,256*29,246,248,147,128*16,109,23,0*13,8,126,128*59,112,27,0*13,2,14,19*2,20,19,20,23,109,128*3,136,508,512*9,.*12",
        ".*36,640*5,638,402,384*3,279,256*67,151,128*22,138,254,256*11,376,384*2,376,256*31,248,128*16,23,0*14,8,126,128*59,27,0*14,7,19,12,5,7*2,5,0,23,128*3,136,508,512*9,.*12",
        ".*36,640*5,638,402,384*2,376,264,262*6,264,276,261,256*56,224,212,138,128*22,136,248,256*10,264,376,384*2,376,264,256*31,151,128*13,96,84,10,0*15,108,128*59,27,0*14,9,17,4,0*5,10,126,128*2,136,481,512*9,.*12",
        ".*36,640*6,472,384*2,376,264,262*7,275,263,256*55,224,192,160,128*23,136,248,256*10,264,376,384*2,376,264,256*31,237,151,128*11,96,64,32,0*16,81,128*59,112,27,0*10,3,7,9,19,13,4,0*5,33,128*3,136,481,512*9,.*12",
        ".*36,640*6,472,384*2,376,264,262*7,276,263,256*54,224,192,160,128*24,156,228,256*10,264,392,504*2,392,264,256*33,248,147,128*8,96,64,32,0*17,81,128*61,120,19,0*7,2,14,19,17,13,7,1,0*5,33,128*3,136,508,512*9,.*12",
        ".*36,640*5,638,402,384*2,376,264,262*6,264,275,261,256*53,224,192,160,128*24,144,176,208,240,256*9,264,504,512*2,504,264,256*34,248,128*7,96,64,32,0*18,108,128*62,120,0*7,7,19,12,4*2,1,0*6,10,126,128*2,136,508,512*9,.*12",
        ".*36,640*5,609,384*3,376,264,262*6,264,276,261,256*52,224,192,160,128*25,144,176,208,240,256*9,264,504,512*2,504,264,256*34,248,136,128*5,96,64,32,0*18,15,126,128*62,120,8,0*6,7,19,12,4*2,1,0*6,8,120,128*2,136,481,512*9,.*12",
        ".*36,640*5,535,384*3,376,264,262*7,275,263,256*51,224,192,160,128*26,144,176,208,240,256*9,264,392,504*2,392,264,256*34,248,136,128,126,128*2,126,64,32,0*19,37,128*63,120,8,0*6,3,14,19,17,13,7,1,0*5,8,120,128*2,136,481,512*9,.*12",
        ".*36,640*5,535,384*3,376,264,262*7,276,263,256*50,224,192,160,128*27,144,176,208,240,256*9,264,376,384*2,376,264,256*34,248,136,23,10,33*2,10*2,0*20,37,128*63,100,28,0*7,2,7,9,19,13,4,0*5,8,120,128*2,136,508,512*9,.*12",
        ".*36,640*5,609,384*3,376,264,262*6,264,275,261,256*49,224,192,160,128*28,144,176,208,240,256*9,264,376,384*2,376,264,256*34,248,41,0*26,15,126,128*61,112,80,48,16,0*9,9,17,4,0*5,8,120,128*2,136,508,512*9,.*12",
        ".*36,640*5,609,384*3,376,264,262*6,264,276,261,256*48,224,192,160,128*6,133,136,128*21,144,176,208,240,256*10,376,384*2,376,256*35,225,0*27,10,84,112,128*60,112,80,48,16,0*9,7,19,12,5,7*2,5*2,8,120,128*2,136,481,512*9,.*12",
        ".*36,640*5,535,384*3,376,264,262*7,275,263,256*48,192,160,128*6,133,137*2,136,128*21,156,228,256*11,275,376*2,275,256*35,151,0*28,32,64,96,128*59,112,80,48,16,0*9,3,14,19,20,19,20,19,20,19,120,128*2,136,481,512*9,.*12",
        ".*36,640*5,535,384*3,376,264,262*7,276,263,256*46,237,151,138,128*7,137*3,133,128*21,136,248,256*50,151,0*29,32,64,96,128*58,112,80,48,16,0*10,2,7,8,5*2,8*3,120,128*2,136,508,512*9,.*12",
        ".*36,640*5,609,384*3,376,264,262*6,264,275,261,256*46,151,128*10,137,133,128*22,136,248,256*50,225,0*30,32,64,96,128*57,112,80,48,16,0*17,8,120,128*2,136,508,512*9,.*12",
        ".*20,640*21,632,392,384*2,376,264,262*6,264,276,261,256*45,248,128*35,138,254,256*50,248,0*30,2,32,64,96,128*56,112,80,48,16,0*17,8,111,128*2,136,481,512*9,.*12",
        ".*20,640*21,632,392,384*2,376,264,262*7,275,263,256*36,254,256*2,254,248*5,147,128*35,161,256*50,248,32,0*31,9,34,64,96,128*56,100,28,0*18,8,111,128*2,136,481,512*9,.*12",
        ".*20,640*21,632,392,384*2,376,264,262*7,276,263,256*34,237,151,138,161*2,138,136*4,128*37,161,256*48,224,41,0*33,2,17,34,64,96,128*55,120,8,0*18,8,126,128*2,136,508,512*9,.*12",
        ".*20,640*21,632,392,384*2,376,264,262*6,264,275,261,256*34,151,128*46,138,254,256*47,41,0*35,2,10,16,42,118,128*54,120,8,0*18,8,126,128*2,136,508,512*9,.*12",
        ".*20,640*21,632,392,384*2,376,264,262*6,264,276,261,256*11,240*12,256*10,248,128*48,248,256*46,248,8,0*15,7*7,0,7*2,0*13,8,120,128*2,144*8,128*45,27,0*18,15,126,128*2,159,512*10,.*12",
        ".*20,632*12,638,640*2,638,611,577*2,611,632,504,392,384*2,376,264,262*7,275,263,256*4,227,193*2,227,248*2,228,208*12,228,248*9,147,128*48,147,248,256*43,246,248,136,8,0*13,7*9,139,145*2,0*13,8,120,128,156,176*8,156,136*2,138,161*2,138,143,165*2,143,128*34,112,27,0*17,37,128*3,273,512*10,.*12",
        ".*20,520*3,425*2,520*7,522,545*2,522,512*5,504,392,384*2,376,264,262*6,265,276,265,261,256,237,151,128*4,136*2,156,176*12,156,136*8,128*52,151,237,256*40,224,170,128,120,8,0*13,7*8,130,141,151*2,7,0*12,8,136,248,228,208*8,228,248*2,254,256*2,254*2,256*2,254,248,147,128*34,120,19,0*4,19,120*2,19,0*7,37,128*3,273,512*10,.*12",
        ".*20,512*2,407,384*2,407,512*15,504,392,384*2,376,264,262*6,264,275,265,264,256,151,128*8,144*12,128*62,151,256*39,224,192,144,128,120,8,0*13,7*8,112,133,149,155,147,7,0*11,8,248,256*2,240*8,256*12,248,128*35,120,0*4,120,128*2,120,0*7,15,126,128*2,159,512*10,.*12",
        ".*20,512*2,407,384*2,407,512*15,504,392,384*2,368,255,250,248,250,248,250,253,262,271,264,256,248,128*84,248,256*37,224,192,160,128,96,84,10,0*12,7*9,87,121,142,148,137,7,0*11,8,239,256*23,155,128*34,120,0*3,8,111,128*2,126,8,0*6,15,126,128*3,470,512*9,.*12",
        ".*20,512*2,493,407*2,493,512*15,504,392,384,368,272,240,199,197*4,199*2,253,250,248,147,128*84,147,248,246,256*34,224,192,160,128,96,64,32,0*13,7*9,55,100,125,151,7,0*12,8,239,256*23,240,155,128*28,126,128*2,126,120,19,0*3,8,111,128*2,126,8,0*6,37,128*4,372,512*9,.*12",
        ".*20,512*21,504,376,279,256*2,215,159,160,162*2,160,159*2,153,136,128*88,170,224,256*32,224,192,160,128,96,64,32,0*14,5,7*9,48,141,7*2,0*12,8,252,256*25,248,147,128*24,112,27,15,37*2,15,0*5,8,126,128*2,111,8,0*6,37,128*4,372,512*9,.*12",
        ".*20,512*21,504,297,256*3,168,132,134,135*2,134*2,137,145,132,128*88,144,192,224,256*30,246,170,144,128,96,64,32,0*14,2,7*12,0*14,8,252,256*26,248,128*24,27,0*10,8,126,128*2,111,8,0*6,15,126,128*3,470,512*9,.*12",
        ".*20,512*21,504,256*3,248,135,134*6,136,148,133,128*89,160,192,224,256*15,240*6,256*8,248,128*2,96,64,32,0*15,4,7*11,0*15,48,256*27,228,156,128*22,126,15,0*11,120,128*2,120,0*7,15,126,128*2,159,512*10,.*12",
        ".*20,512*20,504,264,248*3,147,134*8,147,135,128*15,131,137*2,129,128*71,160,192,224,256*7,254,256*2,254,248*2,228,208*6,228,248*2,254,256*2,254,248,147,128*2,64,32,0*17,7*10,0*15,48,231,256*26,240,208,176,144,128*22,37,0*11,19,120*2,19,0*7,37,128*3,273,512*10,.*12",
        ".*20,512*14,467,186,146,212*2,146,136,141,147,137,135,134*9,148,135,128*15,131,137*2,129,128*72,160,192,224,256*4,237,151,138,161*2,138,136*2,156,176*6,156,136*2,138,161*2,138,128*2,109,23,10,0*18,5,7*9,0*13,32,248,256*28,240,208,176,144,128*22,37,0*22,37,128*3,273,512*10,.*12",
        ".*20,512*14,186,128*5,132,145,137,134*10,136,147,133,128*92,144,170,246,256*3,151,128*8,144*6,128*9,23,0*20,2,7*2,6,5,7*3,0*15,248,256*29,240,208,176,144,128*21,126,15,0*22,15,126,128*2,159,512*10,.*12",
        ".*20,512*13,504,128*6,133,147,136,134*10,136,148,133,128*94,248,256*2,248,128*23,120,0*22,2*2,0*19,23,256*30,240,208,176,144,128*22,27,0*22,27,128*4,470,512*9,.*12",
        ".*20,512*12,504,173,128*6,135,148,134*12,147,135,128*94,147,248*2,147,128*22,120,19,0*43,81,256*30,240,208,176,144,128*22,112,27,0*20,27,112,128*4,372,512*9,.*12",
        ".*20,512*10,467,186,128*8,135,147,134*12,148,135,128*2,109,23*2,109,128*112,109,23,0*45,81,256*30,240,208,176,144,128*24,120,19,0*16,19,120,128*6,372,512*9,.*12",
        ".*20,512*10,186,128*9,133,148,136,134*10,136,147,133,128*2,23,0*2,23,128*112,23,0*46,23,256*31,228,156,128*26,120,0*16,120,128*7,470,512*9,.*12",
        ".*20,512*10,146,128*9,133,147,136,134*10,137,145,132,128,120,8,0*3,99,128*110,99,0*47,43,248,256*30,248,128*26,96,64,10,0*15,108,128*6,197,512*10,.*12",
        ".*20,512*10,212,128*9,135,148,134*9,135,137,147,141,132,128,120,8,0*3,65,128*110,65,0*46,27,106,248,256*29,248,147,128*25,96,64,32,0*16,81,128*5,197,478,512*10,.*12",
        ".*20,512*10,212,128*9,135,147,134*8,142,147,145,141,135,129,128,120,8,0*3,65,128*110,65,0*44,19,120,128,136,248,256*27,240,155,128*26,96,64,32,0*17,81,128*3,173,504,512*12,.*12",
        ".*20,512*10,146,128*9,133,148,136,134*6,135,147,140,132*2,129,128*2,120,8,0*3,99,128*110,99,0*44,120,128*2,136,248,256*27,155,128*26,96,64,32,0*18,108,128*3,504,512*13,.*12",
        ".*20,512*9,467,128*7,129,132*2,140,147,135,134*6,136,148,133,128*5,120,8,0*3,99,128*110,120,8,0*42,27,128*3,155,256*27,240,128*9,112*5,116,118*2,116,112,128*7,112,64,32,0*18,8,111,128*2,159,512*14,.*12",
        ".*20,512*9,335,128*6,129,135,141,145,147,142,134*8,147,135,128*5,120,8,0*3,65,128*110,120,8,0*37,8*4,43,106,136*2,155,240,256*22,248*4,240,144,128*2,111*2,126*2,120*2,100,80*6,84*2,80*2,100,120*2,108,81*2,108,84,32,0*19,8,111,128*2,273,512*14,.*12",
        ".*20,512*9,335,128*6,132,141,147,137,135,134*9,148,135,128*5,120,8,0*3,65,128*11,109,23*2,109,128*95,100,28,0*35,19,120*3,136,248*5,256*22,237,151,136*4,127,112,88,40,8*6,28,48*6,45*2,48*2,28,8*2,0*4,10,0*20,8,126,128*2,273,512*14,.*12",
        ".*20,512*9,467,128*6,132,145,137,134*10,136,147,133,128*5,120,8,0*3,99,128*11,23,0*2,23,128*94,112,80,48,16,0*34,120,128*3,248,256*27,151,134*5,122,71,31,4,0*7,16*5,13,12*2,13,16,0*28,8,126,128*2,159,512*14,.*12",
        ".*20,512*10,146,128*5,133,147,136,134*10,135,147,140,132*2,129,128*2,99,0*3,8,120,128*11,23,0*2,23,128*94,116,80,48,11,0*30,1,7,32,42,116,128*2,155,256*26,224,192,134*6,122,69,32,6,0*46,108,128*2,159,512*14,.*12",
        ".*20,512*10,212,128*5,135,148,134*12,142,147,145,141,135,129,128,65,0*3,8,120,128*11,109,23*2,109,128*94,118,85,43,7,0*29,1,11,34,64,96,128,140,155,240,256*25,224,192,160,134*6,121,69,34,7,0*46,81,128*2,273,512*14,.*12",
        ".*20,512*10,212,128*5,135,147,134*13,135,137,147,141,132,128,65,0*3,8,120,128*109,119,85,43,8,0*29,5,34,64,96,128,160,212,256*26,224,192,160,134*7,122,69,34,7,0*46,81,128*2,273,512*14,.*12",
        ".*20,512*10,146,128*5,133,148,136,134*14,137,145,132,128,99,0*3,8,120,128*109,117,80,48,11,0*28,1,32,64,96,128,160,192,224,256*25,224,192,160,134*8,121,69,32,6,0*46,108,128*2,159,512*14,.*12",
        ".*20,512*9,467,128*6,132,145,137,134*14,137,145,132,128*2,23,0*2,23,128*110,112,80,48,16,0*28,32,64,96,128,160,192,224,256*25,224,192,160,134*9,122,69,32,6,0*31,8*2,0*12,8,111,128*2,136,481,512*13,.*12",
        ".*20,512*9,335,128*6,132,141,147,137,135,134*10,135,137,147,141,132,128*2,109,23*2,109,128*110,80,32,16,0*25,8*4,44,96,128,160,192,224,256*25,224,192,160,134*10,121,69,34,7,0*31,8*2,0*12,8,111,128*2,136,481,512*13,.*12",
        ".*20,512*9,335,128*6,129,135,141,145,147,142,134*8,142,147,145,141,135,129,128*114,109,23,10,0*21,32,248,212,140*2,212,248,136,120*2,116,128,160,192,224,256*25,224,192,160,134*11,122,69,34,7,0*22,19,120*2,19,0*8,19,120*2,19,0*7,8,126,128*2,136,508,512*13,.*12",
        ".*20,512*9,467,128*7,129,132*2,140,147,135,134*6,135,147,140,132*2,129,128*115,23,0*23,248,256*6,248,128*3,140,192,224,256*13,255,256*11,246,192,160,134*12,120,69,32,6,0*22,120,128*2,120,0*8,120,128*2,120,0*7,8,126,128*2,136,508,512*13,.*12",
        ".*20,512*10,146,128*9,133,147,136,134*6,136,148,133,128*117,120,0*23,43,248,256*7,155,128*2,155,256*15,255,256*11,248,134*14,122,71,31,4,0*7,16,13,12*2,13,16*5,0*4,27,128*4,43,4,6,7*2,6,4,40,128*4,40,4,6,7*2,6,4,43,128*3,159,512*14,.*12",
        ".*20,512*10,212,128*9,135,148,134*8,147,135,128*116,120,19,0*22,27,106,248,256*7,240,155*2,240,256*14,255*2,256*10,248,147,134*13,135,127,112,87,40,8*6,28,48*2,45*2,48*6,28,8*2,27,112,128*2,130*2,72,31,32,34*2,32,31,87,128*4,88,31,32,34*2,32,31,72,130,131,128,273,512*14,.*12",
        ".*20,512*10,212,128*9,135,147,134*8,148,135,128*46,160,376*2,160,128*64,109,23,0*22,19,120,128,136,248,256*24,255,256*2,255,256*7,237,151,134*14,147,248,240,144,128*2,126*2,111*2,120*2,100,80*2,84*2,80*6,100,120*2,128*4,136,144,112,71,69*4,71,112,144,240*2,144,112,71,69*4,71,112,144,142,128,273,512*14,.*12",
        ".*20,512*10,146,128*9,133,148,136,134*6,136,147,133,128*46,376,384*2,376,128*64,23,0*23,120,128*2,136,248,256*35,151,134*14,135,248,256*2,240,128*9,112,116,118*2,116,112*5,128*7,140,147,136,122*2,120,122,120,122,127,240,256*2,240,127,122*2,120,122,120,122,136,147,140,128,159,512*14,.*12",
        ".*20,512*9,504,136,128*6,129,132*2,140,147,135,134*6,136,148,133,128*46,376,384*2,376,128*3,129,132*2,133,135*2,133,132*2,129,128*50,120,0*21,2,16,64,118,128*3,248,256*34,248,136,134*14,135,248,256*3,151,128*25,133,147,136,134*6,135,248,256*2,248,135,134*5,128*5,197,512*14,.*12",
        ".*20,512*9,504,320,128*5,129,135,141,145,147,142,134*8,147,135,128*46,160,376*2,160,128*2,129,135,141,145,148,147,148,147,145,141,135,129,128*48,120,19,0*19,2,9,32,64,96,128*4,147,248,256*33,248,136,134*15,147,248,256*2,237,151,128*24,135,148,134*8,147,248*2,147,134*5,135,128*4,197,478,512*14,.*12",
        ".*20,512*9,504,136,128*5,132,141,147,137,135,134*9,148,135,128*52,132,141,147,137,136,134*2,136,137,147,141,132,128*46,109,23,0*20,2,17,34,64,96,128*7,155,240,256*31,248,136,134*16,135,151,237,256*2,248,147,128*22,135,147,134*9,135*2,134*5,142,147,128*2,173,504,512*16,.*12",
        ".*20,512*9,504,136,128*5,132,145,137,134*10,136,147,133,128*52,132,145,137,134*6,137,145,132,128*46,23,0*21,10,34,64,96,128*9,155,256*31,248,136,134*18,151,256*3,248,128*22,133,148,136,134*14,135,147,140,128*2,504,512*17,.*12",
        ".*20,512*9,504,136,128*2,129,132*2,140,147,135,134*10,135,147,140,132*2,129,128*38,129,132*2,133,135*2,133*2,135*2,133,140,147,135,134*6,135,147,140,133,135*2,133,132*2,129,128*37,96,84,10,0*21,32,64,96,128*11,248,256*30,228,156,134*18,136,248,256*2,254,136,128*21,132,145,137,134*14,136,148,133,128,159,512*18,.*12",
        ".*20,512*9,504,320,128,129,135,141,145,147,142,134*12,142,147,145,141,135,129,128*36,129,135,141,145,148,147,148,147,148,147,148,147*2,142,134*8,142,147,148,147,148,147,145,141,135,129,128*35,96,64,32,7,0*20,32,64,96,128*12,147,248,256*28,240,208,176,144,134*17,136,248,256*2,254,136,128*21,132,141,147,137,135,134*13,147,135,128,273,512*18,.*12",
        ".*20,512*9,504,136,128,132,141,147,137,135,134*14,135,137,147,141,132,128*36,132,141,147,137,136,134*2,136*2,134*2,135*2,134*10,135,136,134*2,136,137,147,141,132,128*34,96,64,33,18,6,0*19,32,64,96,128*15,155,240,256*26,240,208,176,144,134*17,136,248,256*2,239,136,128*21,129,135,141,145,147,142,134*12,148,135,128,273,512*18,.*12",
        ".*20,512*9,504,136,128,132,145,137,134*18,137,145,132,128*36,132,145,137,134*26,137,145,132,128*33,96,64,43,24,10,4,0*18,10,64,96,128*17,155,256*26,240,208,176,144,134*17,136,248,256*2,239,136,128*22,129,132*2,140,147,135,134*10,136,147,133,128,159,512*18,.*12",
        ".*20,512*9,467,128*2,133,147,136,134*18,137,145,132,128*36,133,147,136,134*26,136,148,133,128*32,96,68,41,28,12,6,0*19,27,128*19,156,228,256*25,240,208,176,144,134*17,151,256*3,248,128*26,133,147,135,134*10,136,148,133,128*2,504,512*17,.*12",
        ".*20,512*9,335,128*2,135,148,134*17,135,137,147,141,132,128*36,135,148,134*28,147,135,128*31,96,64,39,23,11,8,3,0*10,8*8,27,112,128*18,144,176,208,240,256*24,240,208,176,144,134*15,135,151,237,256*2,248,147,128*26,135,148,134*12,147,135,128*2,173,504,512*16,.*12",
        ".*20,512*9,335,128*2,135,147,134*16,142,147,145,141,135,129,128*36,135,147,134*28,148,135,128*30,96,64,39,21,10,6,2,0*8,9,19,120,126*2,111*2,126*2,111*2,128*20,144,176,208,240,256*24,240,208,176,144,134*14,147,248,256*2,237,151,128*28,135,147,134*12,148,135,128*4,197,478,512*14,.*12",
        ".*20,512*9,467,128*2,133,148,136,134*14,135,147,140,132*2,129,128*37,133,148,136,134*26,135,147,133,128*29,118,54,34,20,8,3,0*8,1,19,30,120,128*29,144,176,208,240,256*25,228,156,134*14,135,248,256*3,151,128*29,133,148,136,134*10,136,147,133,128*5,197,512*14,.*12",
        ".*20,512*9,467,128*2,133,147,135,134*14,137,145,132,128*37,129,132*2,140,147,135,134*26,136,148,133,128*29,99,35,17,8,0*10,23,41,64,118,128*29,144,176,208,240,256*25,236,134*15,151,256*3,248,128*27,129,132*2,140,147,135,134*10,137,145,132,128*5,136,481,512*13,.*12",
        ".*20,512*9,335,128*2,135,148,134*13,135,137,147,141,132,128*36,129,135,141,145,147,142,134*28,147,135,128*4,138,161*2,138,128*21,65,17,5,0*9,3,22,43,64,96,128*30,144,176,208,240,256*25,209,134*13,135,151,237,256*2,248,147,128*26,129,135,141,145,147,142,134*9,135,137,147,141,132,128*5,136,481,512*13,.*12",
        ".*20,512*9,335,128*2,135,147,134*12,142,147,145,141,135,129,128*30,147,248*2,147,128*2,132,141,147,137,135,134*29,148,135,128*2,147,248,254,256*2,254,248,147,128*19,65,0*9,2,11,22,37,64,96,128*31,144,176,208,240,256*25,209,134*12,147,248,256*2,237,151,128*28,132,141,147,137,135,134*9,142,147,145,141,135,129,128*5,136,508,512*13,.*12",
        ".*20,512*9,467,128*2,133,148,136,134*10,135,147,140,132*2,129,128*31,248,256*2,248,128*2,132,145,137,134*30,135,147,133,128*2,248,256*6,248,128*19,99,0*9,12,24,37,64,96,128*33,156,228,256*26,236,134*11,135,248,256*3,151,128*29,132,145,137,134*10,135,147,140,132*2,129,128*6,136,508,512*13,.*12",
        ".*20,512*10,146,128,132,145,137,134*10,136,148,133,128*33,151,256*3,248,135,133,140,147,135,134*18,144*6,134*6,136,148,133,128,151,256*7,254,138,128*18,120,0*8,7,23,38,64,96,128*34,143,254,256*12,240*6,256*8,248,135,134*10,136,248,256*2,248,128*30,133,147,136,134*10,136,148,133,128*10,470,512*13,.*12",
        ".*20,512*10,212,128,132,141,147,137,135,134*9,147,135,128*32,151,237,256*2,248,147,148,147*2,142,134*17,135,156,176*6,156,135,134*5,147,135,151,237,256*8,161,128*17,120,19,0*8,14,35,64,96,128*35,165,256*6,248*6,228,208*6,228,248*7,147,134*12,147,248*2,147,128*30,135,148,134*12,147,135,128*10,372,512*13,.*12",
        ".*20,512*10,212,128,129,135,141,145,147,142,134*8,148,135,128*30,147,248,256*2,237,151,136,134*2,135*2,134*17,147,248,228,208*6,228,248,147,134*4,148,248,256*10,161,128*15,109,23,0*9,7,34,64,96,128*36,165,256*4,237,151,136*6,156,176*6,156,136*6,135,134*13,148,135,128*32,135,147,134*12,148,135,128*10,372,512*13,.*12",
        ".*20,512*10,146,128*2,129,132*2,140,147,135,134*6,136,147,133,128*30,248,256*3,151,134*22,135,248,256*2,240*6,256*2,248,135,134*2,135,248,256*10,254,138,128*15,23,0*10,24,64,96,128*37,143,254,256*3,151,134*8,144*6,134*20,136,147,133,128*32,133,148,136,134*10,136,147,133,128*10,470,512*13,.*12",
        ".*20,512*10,146,128*2,129,132*2,140,147,135,134*6,136,148,133,128*29,138,254,256*2,254,138,134*22,151,256*12,151,134*2,151,256*11,228,156,128*14,120,8,0*10,8,111,128*39,248,256*2,248,135,134*34,136,148,133,128*32,133,147,135,134*10,135,147,140,132*2,129,128*7,504,512*13,.*12",
        ".*20,512*10,212,128,129,135,141,145,147,142,134*8,147,135,128*29,161,256*4,161,134*21,151,237,256*12,237,151*2,237,256*10,240,208,176,144,128*13,120,8,0*10,8,111,128*39,147,248*2,148,134*36,147,135,128*32,135,148,134*12,142,147,145,141,135,129,128*6,173,504,512*12,.*12",
        ".*20,512*10,212,128,132,141,147,137,135,134*9,148,135,128*29,161,256*4,161,134*18,144,160,208,256*28,240,208,176,144,128*13,120,8,0*10,8,126,128*41,135,147,134*36,148,135,128*32,135,147,134*13,135,137,147,141,132,128*8,197,478,512*10,.*12",
        ".*20,512*10,146,128,132,145,137,134*10,136,147,133,128*29,138,254,256*2,254,138,134*17,144,176,208,240,256*28,240,208,176,144,128*13,120,8,0*10,8,126,128*41,133,148,136,134*34,136,147,133,128*32,133,148,136,134*14,137,145,132,128*9,197,512*10,.*12",
        ".*20,512*9,504,136,128,133,147,136,134*10,136,148,133,128*29,136,248,256*2,254,138,134*17,144,176,208,240,256*28,240,208,176,144,128*13,120,0*11,8,111,128*41,133,147,136,134*34,137,145,132,128*32,133,147,135,134*14,136,148,133,128*10,470,512*9,.*12",
        ".*20,512*9,504,320,128,135,148,134*12,147,135,128*29,136,248,256*3,161,134*17,144,176,208,240,256*28,240,208,176,144,128*12,120,19,0*11,8,111,128*41,135,148,134*33,135,137,147,141,132,128*32,135,148,134*16,147,135,128*10,372,512*9,.*12",
        ".*20,512*9,504,136,128,135,147,134*12,148,135,128*29,136,248,256*3,161,134*17,144,176,208,240,256*6,237,151*2,237,256*18,240,208,176,144,128*10,109,23,0*13,8,126,128*41,135,147,134*32,142,147,145,141,135,129,128*32,135,147,134*16,148,135,128*10,372,512*9,.*12",
        ".*20,512*9,504,136,128,133,148,136,134*10,136,147,133,128*29,136,248,256*2,254,138,134*17,144,176,208,240,256*6,151,128*2,151,256*19,228,156,128*11,23,0*14,8,126,128*41,133,148,136,134*30,135,147,140,132*2,129,128*33,133,148,136,134*14,136,147,133,128*10,470,512*9,.*12",
        ".*20,512*9,504,136,128,133,147,135,134*10,136,148,133,128*30,248,256*3,151,134*17,144,176,208,240,256*6,151,128*2,151,256*20,151,128*9,96,84,10,0*14,27,128*42,132,145,137,134*30,137,145,132,128*33,129,132*2,140,147,135,134*14,137,145,132,128*9,197,512*10,.*12",
        ".*20,512*9,504,320,128,135,148,134*12,147,135,128*30,147,248,256*2,237,151,135,134*16,156,228,256*7,237,151*2,237,256*20,237,151,128*7,96,64,32,0*14,27,112,128*42,132,141,147,137,136,134*2,136,135,134*6,135,136,134*2,136*2,134*2,136*2,134*2,136*2,134*2,136,137,147,141,132,128*32,129,135,141,145,147,142,134*13,135,137,147,141,132,128*8,197,478,512*10,.*12",
        ".*20,512*9,504,136,128,135,147,134*12,148,135,128*32,151,237,256*2,248,147,134*15,136,248,256*33,248,147,128*4,96,64,32,0*13,19,120,128*44,129,135,141,145,147,148,147,148,147,142,134*4,142,147*2,148,147,148,147,148,147,148,147,148,147,148,147,148,147,148,145,141,135,129,128*32,132,141,147,137,135,134*13,142,147,145,141,135,129,128*6,173,504,512*12,.*12",
        ".*20,512*9,504,136,128,133,148,136,134*10,136,147,133,128*33,151,256*3,248,135,134*14,136,248,256*34,248,128*3,96,64,32,0*14,120,128*46,129,132*2,133,135*2,133,140,147,135,134*2,135,147,140,133,135*2,133*2,135*2,133*2,135*2,133*2,135*2,133,132*2,129,128*33,132,145,137,134*14,135,147,140,132*2,129,128*7,504,512*13,.*12",
        ".*20,512*9,467,128*2,133,147,136,134*10,136,148,133,128*15,112,116,118*2,116,112*5,128*9,240,256*2,248,135,134*14,151,256*35,248,128*2,96,64,32,0*14,8,120,128*53,132,145,137,134*2,137,145,132,128*52,133,147,136,134*14,137,145,132,128*9,136,504,512*13,.*12",
        ".*20,512*9,335,128*2,135,148,134*12,147,135,128*12,120*2,100,80*2,84*2,80*6,100,120*2,99,65*2,99,128*2,144,240,248,147,134*14,151,237,256*30,225,151*2,225,248,136,120*2,64,32,0*15,8,120,128*53,132,141,147,137*2,147,141,132,128*52,135,148,134*13,135,137,147,141,132,128*9,136,264,504,512*12,.*12",
        ".*20,512*9,335,128*2,135,147,134*12,148,135,128*10,109,23,8*2,28,48*2,43*2,48*6,28,8*2,0*4,40,87,112,127,135,134*13,147,248,256*30,224,41,0*4,8*4,10,0*16,28,100,128*53,129,135,141,145*2,141,135,129,128*2,160,376*2,160,128*46,135,147,134*12,142,147,145,141,135,129,128*9,136,248,256,304,487,512*10,.*12",
        ".*20,512*9,467,128*2,133,148,136,134*10,136,147,133,128*10,23,0*4,16,11,8,7,11,16*5,0*7,4,31,71,122,134*14,248,256*31,41,0*25,16,48,80,112,128*53,129,132*4,129,128*3,376,384*2,376,128*46,133,148,136,134*10,135,147,140,132*2,129,128*10,136,248,256*2,304,512*10,.*12",
        ".*20,512*9,504,182,128,133,147,136,134*10,136,148,133,128*9,120,0*22,6,32,69,120,134*12,144,170,246,256*30,248,0*26,16,48,80,112,128*62,376,384*2,376,128*46,133,147,135,134*10,136,148,133,128*13,136,248,256*2,304,512*10,.*12",
        ".*20,512*9,504,248,151,135,148,134*12,147,135,128*8,120,19,0*22,7,34,69,122,134*11,160,192,224,256*25,246,248*5,32,0*26,16,48,80,112,128*62,160,376*2,160,128*46,135,148,134*12,147,135,128*13,136,248,256,304,487,512*10,.*12",
        ".*20,512*9,504,264,256,248,147,134*12,148,135,128*6,109,23,0*24,7,34,69,120,134*10,160,192,224,256*25,224,170,136*3,41,0*28,16,48,80,112,128*112,135,147,134*12,148,135,128*13,136,264,504,512*12,.*12",
        ".*20,512*9,504,264,256*2,248,136,134*10,136,147,133,128*6,23,0*25,6,32,69,122,134*9,160,192,224,256*25,224,192,144,128*2,23,0*29,16,48,80,112,128*112,133,148,136,134*10,136,147,133,128*13,136,504,512*13,.*12",
        ".*20,512*9,504,264,256*2,240,127,122,120,122,120,122,120,122,120,122,125,134,143,136,128*5,120,0*26,6,32,69,120,134*8,160,192,224,256*25,224,192,160,128,96,84,10,0*29,16,48,80,112,128*109,129,132*2,140,147,135,134*10,137,145,132,128*14,470,512*13,.*12",
        ".*20,512*9,504,264,256,240,144,112,71,69*8,71*2,125,122,99,65*2,99,120,19,0*26,7,34,69,122,134*7,160,192,224,256*25,224,192,160,128,96,64,32,0*31,28,100,128*109,129,135,141,145,147,142,134*9,135,137,147,141,132,128*14,372,512*13,.*12",
        ".*20,512*9,504,264,151,128*2,87,31,32,34*2,32*2,34*2,32,31*2,25,8,0*32,7,34,69,120,134*6,160,192,224,256*25,224,192,160,128,96,64,32,0*32,8,120,128*109,132,141,147,137,135,134*9,142,147,145,141,135,129,128*14,372,512*13,.*12",
        ".*20,512*9,504,182,128*3,40,4,6,7*2,6*2,7*2,6,4*2,3,0*33,6,32,69,122,134*5,138,212,224,256*25,246,170,144,128,96,64,32,0*33,8,120,128*109,132,145,137,134*10,135,147,140,132*2,129,128*15,470,512*13,.*12",
        ".*20,512*9,504,182,128*2,120,8,0*28,16*5,11,7,8,11,16,0*7,4,31,71,122,134*5,151,256*27,248,136,128,96,64,32,0*34,27,128*110,132,145,137,134*10,136,148,133,128*17,197,512*14,.*12",
        ".*20,512*9,504,248,151,128,120,8,0*25,8*2,28,48*6,43*2,48*2,28,8*2,0*4,40,88,112,127,136*4,151,237,256*27,248,136,128,64,32,0*34,27,112,128*110,132,141,147,137,135,134*9,147,135,128*16,197,478,512*14,.*12",
        ".*20,512*9,504,264,256,248,120,8,0*23,19,120*3,100,80*6,84*2,80*2,100,120*2,99,65*2,99,128*2,144,240,248*4,256*29,248,136,23,10,0*33,19,120,128*112,129,135,141,145,147,142,134*8,148,135,128*14,173,504,512*16,.*12",
        ".*20,512*9,504,264,256*2,248,8,0*23,120,128*4,112*5,116,118*2,116,112,128*9,240,256*34,248,41,0*35,120,128*114,129,132*2,140,147,135,134*6,136,147,133,128*14,504,512*17,.*12",
        ".*20,512*9,504,264,256*2,248,8,0*22,23,128*23,151,256*35,248,0*35,27,128*118,133,147,135,134*6,135,147,140,132*2,129,128*10,159,512*18,.*12",
        ".*20,512*9,504,264,256*2,248,8,0*21,23,109,128*22,151,237,256*34,248,32,0*34,43,106,136*2,128*116,135,148,134*8,142,147,145,141,135,129,128*9,273,512*18,.*12",
        ".*20,512*9,504,264,256*2,248,8,0*19,19,120,128*22,147,248,256*34,224,41,0*34,32,248*6,147,128*114,135,147,134*9,135,137,147,141,132,128*9,273,512*18,.*12",
        ".*20,512*9,504,264,256*2,248,8,0*19,120,128*23,248,256*35,41,0*35,248,256*6,248,128*114,133,148,136,134*10,137,145,132,128*9,159,512*18,.*12",
        ".*20,512*10,297,256*2,248,36,0*18,8,120,128*22,156,228,256*34,248,0*35,43,248,256*6,254,143,128*113,133,147,135,134*10,136,148,133,128*10,470,512*17,.*12",
        ".*20,512*10,480,297,256,248,120,23,0*17,8,120,128*21,144,176,208,240,256*32,248,32,0*33,10,27,106,248,256*7,165,128*113,135,148,134*12,147,135,128*10,372,512*17,.*12",
        ".*20,512*12,504,248,136,128,120,19,0*15,28,100,128*21,144,176,208,240,256*30,224,41,0*34,32,84,128,136,248,256*7,165,128*97,132*4,128*12,135,147,134*12,148,135,128*10,372,512*17,.*12",
        ".*20,512*13,504,136,128*2,120,0*14,16,48,80,112,128*20,144,176,208,240,256*30,41,0*34,32,64,112,128,136,248,256*6,254,143,128*97,132,136*2,132,128*12,133,148,136,134*10,136,147,133,128*10,470,512*17,.*12",
        ".*20,512*13,504,128*3,120,0*14,16,48,80,112,128*20,144,176,208,240,256*29,248,0*34,32,64,96,128,160,192,246,256*7,155,128*97,132,136*2,132,128*12,132,145,137,134*10,137,145,132,128*9,197,512*18,.*12",
        ".*20,512*12,504,173,128*2,120,19,0*14,16,48,80,112,128*20,144,176,208,240,256*28,248,32,0*33,32,64,96,128,160,192,224,256*8,240,155,143,165*2,143,128*92,132*4,128*12,132,141,147,137,135,134*7,137,147,141,132,136*4,128*4,197,478,512*18,.*12",
        ".*20,512*10,467,186,128*2,109,23,0*16,16,48,80,112,128*20,144,176,208,240,256*26,224,41,0*18,1,4,2,0*13,32,64,96,128,160,192,224,256*11,254,256*2,254,248,147,128*106,129,135,141,145,147,142,134*6,145,141,147,248*3,264,504,470,372*2,470,512*20,.*12",
        ".*20,512*10,186,128*3,23,0*17,16,48,80,112,128*21,156,228,256*27,41,0*16,7,6,4,6,7*2,2,0*11,10,64,96,128,160,192,224,256*17,248,128*107,129,132*2,140,147,135,134*5,132*2,248,256*3,504,512*25,.*12",
        ".*20,512*9,467,128*3,99,0*18,16,48,80,112,128*22,248,256*26,248,8,0*14,7*8,5,0*11,8,120,128,160,192,224,256*18,244,172,160,128*109,131,132*2,134,135*2,134,132,168,256*3,299,504,512*25,.*12",
        ".*20,512*9,335,128*3,65,0*18,16,48,80,112,128*22,147,248,256*25,248,8,0*13,7*10,3,0*10,8,120,128,172,224,256*20,224,192,160,128*107,136,153,159*2,160,162*2,160,159,215,256*2,283,362,504,512*25,.*12",
        ".*20,512*9,335,128*3,65,0*18,16,48,80,112,128*24,151,237,256*23,248,8,0*13,7*10,4,0*10,8,136,248,244,256*22,224,192,160,128*104,147,248,250,253,199*2,197*4,199,240,272,368,384,392,504,512*25,.*12",
        ".*20,512*9,467,128*3,99,0*19,28,100,128*26,151,256*23,248,8,0*12,7*11,2,0*10,8,248,256*25,224,192,160,128*103,248,256,264,271,262,253,250,248,250,248,250,255,368,384*2,392,504,512*25,.*12",
        ".*20,512*9,467,128*3,120,8,0*19,99,128*27,248,256*22,254,18,0*11,7*12,4,0*11,212,256*26,224,192,160,128*79,144*14,128*8,155,256*2,261,275,264,262*6,264,376,384*3,483,512*25,.*12",
        ".*20,512*9,335,128*3,120,8,0*19,65,128*27,147,248,256*22,88,0*10,7*13,0*12,140,256*27,224,192,136*4,143,165*2,143,128*60,143,165*2,143,136*6,156,176*14,156,136*6,155,240,256*2,263,276,262*7,264,376,384*3,449,512*25,.*12",
        ".*20,512*9,335,128*3,120,8,0*19,65,128*29,151,237,256*20,88,0*10,7*13,0*12,140,256*28,246,254*2,239*2,254,256*2,254,248,147,128*56,147,248,254,256*2,254*3,239*2,248*2,228,208*14,228,248*2,254*2,239*2,256*4,263,275,262*7,264,376,384*3,449,512*25,.*12",
        ".*20,512*9,467,128*3,120,8,0*19,99,128*30,151,256*19,254,18,0*10,7*13,0*12,212,256*38,248,128*56,248,256*12,240*14,256*11,261,276,264,262*6,264,376,384*3,483,512*25,.*12",
        ".*20,512*9,467,128*3,269*2,0*19,120,128*31,248,256*2,240*8,256*8,248,0*10,7*14,0*11,8,239,256*39,155,128*54,155,256*38,261,275,263,262*6,264,376,384*2,392,504,512*25,.*12",
        ".*20,512*9,335,128*3,269*2,0*19,19,120,128*30,147,248,228,208*8,228,248*7,32,0*11,7*13,0*11,8,239,256*39,240,155,128*48,136*4,155,240,256*38,263,276,262*7,264,376,384*2,392,504,512*25,.*12",
        ".*20,512*9,335,128*3,269,8,34,0*6,19,120*2,19,0*10,23,109,128*30,156,176*8,156,136*5,41,0*13,7*11,0*13,8,252,256*41,248,147,128*44,147,248,254*2,239*2,256*40,263,275,262*7,264,376,384*2,392,520,632*2,531,512*22,.*12",
        ".*20,512*9,467,128*3,120,8,0*7,120,128*2,120,0*11,23,128*31,144*8,128*5,23,0*16,7,0,7*2,0*18,8,252,256*42,248,128*44,248,256*45,261,276,264,262*6,264,376,384*2,392,632,640*2,632,512*22,.*12",
        ".*20,512*9,467,128*3,120,8,0*7,120,128*2,120,0*12,99,128*43,23,0*38,8,239,256*42,228,156,128*26,135*2,128*14,155,256*46,261,275,264,262*6,264,376,384*3,596,640,.*36",
        ".*20,512*9,335,128*3,120,8,0*7,19,120*2,19,0*12,65,128*43,109,23,10,0*36,8,239,256*41,240,208,176,144,128*24,135,136*2,135,128*12,155,240,256*46,263,276,262*7,264,376,384*3,524,640,.*36",
        ".*20,512*9,335,128*3,120,8,0*23,65,128*45,84,32,0*35,8,252,256*41,240,208,176,144,128*24,135,136*2,135,128*10,147,248,256*48,263,275,262*7,264,376,384*3,524,640,.*36",
        ".*20,512*9,467,128*3,120,8,0*23,99,128*45,96,64,32,0*34,8,252,256*41,240,208,176,144,128*25,135*2,128*11,248,256*49,261,276,264,262*6,264,376,384*3,596,640,.*36",
        ".*20,512*9,504,136,128*2,126,10,0*23,99,128*46,96,64,32,0*33,8,248,256*41,240,208,176,144,128*36,160,192,246,256*49,261,275,264,262*6,264,376,384*2,392,632,640,.*36",
        ".*20,512*9,504,136,128*3,33,0*23,65,128*47,96,64,32,0*32,8,136,248,256*40,240,208,176,144,128*35,160,192,224,256*50,263,276,262*7,264,376,384*2,392,520,632,.*36",
        ".*20,512*9,320,136,128*3,33,0*23,65,128*48,96,64,32,0*31,8,120,128,155,240,256*38,240,208,176,144,128*34,160,192,224,256*51,263,275,262*7,264,376,384*2,392,504,512,.*36",
        ".*20,512*9,504,136,128*2,126,10,0*23,99,128*49,96,64,32,0*30,8,120,128*2,155,256*39,228,156,128*34,160,192,224,256*52,261,276,264,262*6,264,376,384*2,392,504,512,301,397*5,420*4,416*3,437*10,416*2,456,460,545,568,670,802,935,1198,1553,.*2",
        ".*20,512*10,146,128*2,120,8,0*22,23,128*50,120,88,48,16,0*29,15,126,128*2,140,192,224,256*38,155,128*33,160,192,224,256*53,260,273,265,262*7,376,384*3,504,512,256,301*3,328*3,351,324,388,384*4,418*8,384*5,465,585,712,879,1023,1195,1550,.*2",
        ".*20,512*10,212,128*2,120,8*2,7,2,0*17,10,23,109,128*51,110,48,8,0*29,37,128*4,160,192,224,256*37,240,155,128*31,160,192,224,256*54,260,269,275,265,264,262*2,264*2,262,275,376*3,411,504,256*4,311*4,256,297,384*4,411*7,398,384*5,465,585,712,879,1023,1201,1557,.*2",
        ".*20,512*10,212,128*2,120,19,20,19,14,3,0*15,32,64,128*54,33,8,0*29,37,128*5,160,192,224,256*38,248,147,128*28,160,192,224,256*55,257,263,269,273,275,276,275,276,275,276,275,276,173,234,264*2,256*3,283,318*3,283,256,297,361,384*2,411*8,398,384*5,465,585,712,879,1029,1242,1589,.*2",
        ".*20,512*10,146,128*2,120,8,5,12,19,7,0*14,32,64,96,128*53,124,11,0*30,15,126,128*5,160,192,224,256*38,248,128*27,160,192,224,256*57,257,260*2,261,263*2,261*2,263*2,261,128,155,256*6,325*2,291,256*2,286,361,384,398,411*8,398,384*6,591,718,897,1115,1317,1631,.*2",
        ".*20,512*9,504,136,128*2,99,0*2,4,17,9,0*13,32,64,96,128*55,23,0*30,27,128*7,160,192,224,256*37,254,143,128*25,160,192,224,256*10,265*4,256*52,248,128*2,258,143,254,256*3,278*2,313*3,278*2,309,350,384*2,411*8,384*7,484,713,930,1139,1322,1571,.*2",
        ".*20,512*9,504,136,128*2,65,0*2,4,13,19,9,7,2,0*9,32,64,96,128*56,109,23,10,33*2,10,0*23,10,27,112,128*8,160,192,256*38,165,128*25,172,224,256*11,265*4,256*51,262,255,252,260,258,165,256*3,278,301*7,309,350,384*2,398,411*6,384*8,484,713,938,1229,1347,1558,.*2",
        ".*20,512*9,320,136,128*2,65,0*2,1,7,13,17,19,14,3,0*7,32,64,96,128*59,126,128*2,126,120,19,0*20,32,84,128*12,155,240,256*36,165,128*23,147,248,244,256*12,265*4,256*45,275,376*2,275,248,246,275,266,254,268,267,165,256*3,278,301*7,309,350,384*3,398,411*2,398*2,384*9,447,679,927,1209,1324,1518,.*2",
        ".*20,512*9,504,136,128*2,99,0*3,1,4*2,12,19,7,0*6,10,84,96,128*65,120,0*19,32,64,112,128*13,155,256*35,254,143,128*23,248,256*14,265*4,256*45,376,384*2,376,249,259,277,265,251,278,272,143,254,256*2,278,301*7,309,384*18,427,588,819,1083,1273,1482,.*2",
        ".*20,512*9,504,136,128*2,99,0*6,5,19,8,0*7,99,128*66,120,8,0*17,32,64,96,128*15,236,256*34,254,136,128*22,155,256*63,271,382,384*3,256,264,275,265,257,280,274,128,236,256*3,301*7,342,384*9,350*3,384*6,414,560,783,1049,1256,1475,.*2",
        ".*20,512*9,504,136,128*2,65,0*6,7,20,5,0*7,65,128*66,120,8,0*16,32,64,96,128*16,209,256*34,254,136,128*21,155,240,256*63,293,384*4,254,267,270,259,261,278,274,128,209,256*4,301*5,278,308,384*2,357*3,384*3,316*5,384*5,414,559,829,1121,1277,1509,.*2",
        ".*20,512*9,320,136,128*2,65,0*6,7,19,5,0*7,65,128*66,120,8,0*15,32,64,96,128*17,209,256*23,288,504*2,288,256*7,239,136,128*19,147,248,256*45,264*2,256*18,293,384*4,249,262,265,254,259,281,473*4,256*4,278*3,256*2,269,349,357,330*3,384*2,316*6,350,384*4,403,554,799,1039,1260,1501,.*2",
        ".*20,512*9,504,136,128*2,99,0*6,5,20,8,0*7,99,128*66,120,8,0*14,10,64,96,128*18,236,256*23,504,512*2,504,256*7,239,136,128*19,248,256*46,264*2,256*18,271,382,384*3,249*2,252,251,250,128,340,251,473*2,256*9,269*2,293*4,320,286*4,316*4,384*4,401,521,749,935,1174,1524,.*2",
        ".*20,512*9,504,136,128*2,99,0*3,1,4*2,12,19,7,0*6,8,120,128*66,126,10,0*14,27,128*19,143,254,256*22,264,504,512*2,504,264,256*6,254,136,128*19,236,256*46,264*2,256*19,364,384*2,340,249*4,255,278,332,305,236,256*10,303,279,256*9,286,316*3,384*4,401,537,783,955,1195,1588,.*2",
        ".*20,512*9,504,136,128*2,65,0*2,1,7,13,17,19,14,2,0*6,8,120,128*67,33,0*13,27,112,128*19,165,256*23,264,392,504*2,376,264,256*6,254,136,128*19,209,256*67,337,384*2,268,249*4,252,265,291,273,209,256*9,279,303,279,256*7,283*2,313,316*2,384*5,418,607,866,987,1240,1651,.*2",
        ".*20,512*9,320,136,128*2,65,0*2,4,13,19,9,7,3,0*7,8,120,128*67,33,0*11,19,120,128*21,165,256*23,264,376,384*2,376,264,256*6,239,136,128*19,209,256*67,337,384*2,268,249*5,252,284,276,209,256*5,275,292,320*2,343*3,294,278,256*4,283,310*2,313,350,384*6,445,643,878,999,1223,1726,.*2",
        ".*20,512*9,504,136,128*2,99,0*2,4,17,9,0*10,8,120,128*66,126,10,0*11,120,128*22,143,254,256*22,264,376,384*2,376,264,256*6,239,136,128*19,236,256*67,364,384*2,340,249*5,251,267,265,236,256*4,275,317,384*6,358,331,278,256*3,283,310*2,347,384*7,415,611,871,1010,1232,1755,.*2",
        ".*20,512*9,504,136,128*2,120,8,5,12,19,7,0*11,99,128*67,23,0*2,16*6,0*2,27,128*23,155,256*24,376,384*2,376,256*7,254,136,128*18,136,239,256*25,264*2,256*39,271,382,384*2,380,249*3,250,251,254,267,265,254,256*3,277,310,346,384*7,358,294,256*4,310*2,328,365,384*6,412,572,826,996,1233,1751,.*2",
        ".*20,512*9,504,136,128*2,120,20,19*2,14,2,0*11,65,128*67,109,23,28,48*6,28,27,112,128*22,155,240,256*24,275,376*2,275,256*7,254,136,128*18,136,239,256*25,264*2,256*39,293,384*3,380,249*3,251,255,262,278,267,256*3,277,297,299,372,384*8,346,282*3,256*2,283,328,346*2,384*5,412,605,886,1070,1285,1810,.*2",
        ".*20,512*9,320,136,128*2,120,8*2,7,3,0*12,65,128*69,100,80*6,100,128*22,147,248,256*37,239,136,128*18,136,254,256*66,293,384*3,367,249*3,248,257,279,324,296,256*3,277,297,328,384*9,346,307*4,256*2,301,346*2,365,384*4,448,672,977,1133,1344,1874,.*2",
        ".*20,512*9,504,136,128*2,120,8,0*15,99,128*70,112*6,128*23,248,256*38,239,136,128*18,136,254,256*28,264*2,256*36,271,382,384*2,367,249,259,257,246,253,292,351,318,254,256*3,297,341,384*4,394,416*4,375,337*3,314*2,288,333*3,384*5,449,701,1022,1147,1416,1933,.*2",
        ".*20,512*10,146,128*2,120,8,0*14,8,120,128*98,155,256*11,240*6,256*22,252,139,128*18,155,256*29,264*2,256*36,271,382,384*3,254,255,233,234,247,266,327,295,239,256*4,322,384*3,394,448*5,407,366*3,343,320*3,352,383*2,384*4,470,719,1027,1202,1440,1968,.*2",
        ".*20,512*10,212,128*2,120,8,0*14,8,120,128*97,155,240,256*6,254,256*2,254,228,208*6,228,239*2,254*2,256*18,161,136,128*16,155,240,256*67,293,384*4,276,242,245,243,250,261,296,282,239,256*4,287,366,384*2,416,448*5,407,366,343*2,320*3,383*4,384*4,486,765,1017,1240,1499,1986,.*2",
        ".*20,512*10,212,128*2,120,8,0*14,8,120,128*95,147,248,256*6,240,155,143,165*2,143,156,176*6,156,136*4,155,240,256*15,232,168,136,128*14,147,248,256*69,293,384*4,239*2,248,256,257,263,291,282,254,256*4,287,353,384*2,401,448*3,425,422,370,320*5,383*5,384*4,516,806,1080,1271,1512,1905,.*2",
        ".*20,512*10,146,128*2,120,8,0*14,8,120,128*95,248,256*7,155,128*6,144*6,128*6,155,256*14,248,208,176,144,128*14,248,256*70,271,382,384*3,229,247,263,269,258,261,289,279,254,256*5,319,352,354,352,369,384,361,358,348,320*5,352,383*5,415,416,384*2,532,911,1214,1372,1540,1820,.*2",
        ".*20,512*9,467,128*3,120,8,0*14,8,120,128*95,248,256*6,248,128*20,248,256*12,248,224,192,160,128*15,236,256*71,364,384*2,380,248,276,268,261,250,265,293,279,236,256*6,286,318,322,320*10,352,383*5,396,397,384*2,587,977,1226,1387,1531,1858,.*2",
        ".*20,512*9,335,128*3,120,8,0*14,8,120,128*95,147,248,254,256*2,254,248,147,128*20,147,248,236,209*2,236,239*2,254*2,252,256,232,208,192,160,128*16,209,256*71,337,384*2,380,249,263*2,253,249,256,290,276,209,256*7,276,318,320*9,344,376,383*5,396,397,384*2,494,834,1127,1312,1577,1934,.*2",
        ".*20,512*9,335,128*3,120,8,0*14,8,120,128*97,143,165*2,143,128*28,136*4,139,161,168,176,160,128*17,209,256*71,337,384*2,367,249,251,244,259,251,261,284,275,209,256*8,308,320*5,344*3,369*3,376,383*4,365,347,384*2,483,729,1057,1391,1609,2127,.*2",
        ".*20,512*9,467,128*3,120,8,0*14,8,120,128*134,136*2,144,128*18,236,256*71,364,384*2,367,249,252,258,253,252,258,281,265,236,256*8,288,320*4,369*7,376,352*4,334,347,366,384,466,742,1145,1433,1827,2283,.*2",
        ".*20,512*9,504,136,128*2,120,8,0*10,1*2,5,32,64,116,128*154,136,239,256*70,264,367,384*2,380,249,251,260,251,250,256,273,255,236,256*8,288,320*3,369*8,320*5,334,347,366,384,456,696,1071,1467,1940,2284,.*2",
        ".*20,512*8,504,376,136,128*2,120,8,0*9,2,3,15,34,64,96,128,140,138,161*2,138,128*149,136,239,256*70,264,367,384*2,380,251,255,249,264,252,257,260,255,209,256*8,288,320*2,369*8,320*6,334,347,366,384,456,726,1124,1489,1957,2355,.*2",
        ".*20,512*6,493,407,384,376,136,128*2,120,8,0*9,2,18,38,64,96,128,160,192,254,256*2,254,227,193*2,227,248,147,128*143,136,254,256*70,264,382,384*2,367,236,223,268,283,272,262,261,259,209,256*8,288,320,344,369*7,320*7,334,347,366,384,496,891,1286,1564,2016,2515,.*2",
        ".*20,512*6,407,384*2,376,136,128*2,120,8,0*9,8,35,64,96,128,160,192,224,256*9,248,128*143,136,254,256*70,264,382,384*2,367,241,247,285,283,273,263,253,252,236,256*8,288,320*2,369*4,357,333,309,320*7,325,347,366,384,579,1000,1350,1604,2147,2548,.*2",
        ".*20,512*5,510,394,384*2,353,128*3,126,10,0*9,32,64,96,128,160,192,224,256*10,228,156,128*142,156,228,256*71,364,384*2,340,259,262,269,273,258,249,253*2,236,256*8,288,320*3,344,333,322,298*3,320*7,325,366,384*2,519,889,1244,1541,2074,2473,.*2",
        ".*20,512*6,417,384*2,279,128*4,33,0*9,64,96,128,160,192,224,256*10,240,208,176,144,128*140,144,176,208,240,256*70,337,384*2,268,249,252,260*2,252,249*2,250,209,256*8,288,320*3,298*6,309,320*6,352,384*3,506,786,1066,1409,1992,2405,.*2",
        ".*20,512*6,417,384*2,279,128*4,33,0*7,19,120,116,128,160,192,224,256*11,240,208,176,144,128*140,144,176,208,240,256*70,337,384*2,268,249*8,209,256*8,288,320*2,309,298*6,320*7,352,384*3,498,758,1045,1366,1789,2317,.*2",
        ".*20,512*5,510,394,384*2,353,128*3,126,10,0*7,120,128*2,140,192,224,256*12,240,208,176,144,128*140,144,176,208,240,256*70,364,384*2,340,249*3,239,249*4,236,256*8,288,320*3,309*5,320*8,352,384*3,498,715,1005,1319,1714,2068,.*2",
        ".*20,512*6,407,384*2,376,136,128*2,120,8,0*6,23,128*3,151,256*14,240,208,176,144,128*140,144,176,208,240,256*56,272,264*2,256*10,283,384*3,376,249*2,241,233,249,252,254,249,236,256*8,288,320*12,346*2,320*2,352,384*3,498,730,997,1264,1632,1963,.*2",
        ".*20,512*6,493,407,384,376,136,128*2,120,8,0*5,41,136*3,151,237,256*14,240,208,176,144,128*130,132*4,128*6,144,176,208,240,256*21,264*2,256*32,288,304,296,289,267,256*4,271,293*2,271,283,368,384*3,376,249*2,254,243,259,275,258,253,209,256*8,288,320*10,346,371*3,346,320,352,384*3,471,751,968,1223,1575,1901,.*2",
        ".*20,512*8,504,392,136,128*2,120,8,0*3,32,248*5,256*16,240,208,176,144,128*130,132,136*2,132,128*6,144,176,208,240,256*21,264*4,256*29,288,320,336,360,384,380,364,337*2,364,382,384*2,382,384*2,403,504*2,392,249*2,254,259,258,285,254,250,209,256*8,288,320*6,321,346*2,371*5,320*2,352,384*3,471,715,936,1180,1511,1828,.*2",
        ".*20,512*9,504,136,128*2,120,8,0*3,248,256*22,228,156,128*131,132,136*2,132,128*6,144,176,208,240,256*23,264*2,256*28,288,320,352,376,384*13,504,512*2,504,249*2,254,245,248,280,244,250,236,256*9,288*2,312*3,313,363*3,338,339*2,338,288*3,312,344,384*2,440,646,910,1134,1454,1757,.*2",
        ".*20,512*9,504,192,128*3,23,0*2,41,256*23,254,138,128*131,132*4,128*6,144,176,208,240,256*52,288,320,352,384*15,504,512*2,504,249,257,239,226,238,246,222,246,239,256*11,281,305*2,307,333,356,351,327,307*2,259,256*3,281,305,345,384,405,549,826,1103,1422,1712,.*2",
        ".*20,512*9,504,392,169,136*2,120,41*2,224,256*24,161,128*141,144,176,208,240,256*51,288,320,352,384*10,382,384*2,382,376*2,392,504*2,264,256*2,222,208,239,229,230,249,239,256*11,281,305*4,314,340,315,291,266,256*4,265,289,304,344,391,501,759,1085,1413,1703,.*2",
        ".*20,512*9,504,392,384,376,264,248*2,256*26,161,128*141,144,176,208,240,256*50,288,320,352,384*9,368,283,271,293*2,271,264*4,256,249,265,263,225,203,219,225,237,241,254,256*11,281,305*6,281,256*10,324,481,744,1093,1481,1733,.*2",
        ".*20,512*9,504,392,384*2,376,256*27,254,138,128*141,144,176,208,240,256*49,288,320,352,384*10,283,256*10,248,273,259,225,192,185,205,219,239,254,256*11,281,305*6,281,256*10,324,480,760,1173,1492,1784,.*2",
        ".*20,512*10,407,384*2,376,264,256*26,254,138,128*4,112*6,128*44,112*3,116,118*2,116,112,128*79,144,176,208,240,256*48,272,304,336,376,384*10,283,256*10,248,267,236,218,196,170,167,209,231,239,256*11,281,305*6,281,256*10,316,442,675,1064,1429,1742,.*2",
        ".*20,512*10,493,407,384,376,264,256*27,161,128*3,112,80*6,100,120*2,128*40,100,80*4,84*2,80*2,112,128*79,156,228,256*49,264,296,360,384*11,368,283,256*9,248,258,218,210,192,167,168,208,242,239,256*11,274,305*6,274,256*4,275,286*2,275,260*2,283,362,535,879,1269,1646,.*2",
        ".*20,512*12,504,392,264,256*27,161,128*3,96,48*6,28,8*2,23,109,128*36,109,23,28,48*4,45*2,48*2,96,128*79,136,248,256*49,264,289,384*14,364,337*2,364*2,337*2,364,376,264,249,215,199,191,171,186,217,240,254,256*12,281,305*4,281,256*4,282,286*6,281,317,455,763,1230,1612,.*2",
        ".*20,512*13,504,264,256*26,254,138,128*3,48,16*6,0*4,23,128*36,23,0*2,16*3,13,12*2,13,16,48,128*79,136,248,256*50,267,380,384*8,391*2,384*12,376,243,241,203,202,195,209,231,246,254,256*12,258,282,305*3,258,256*3,285,286*2,318*3,286*2,278,303,434,720,1173,1662,.*2",
        ".*20,512*13,510,274,256*26,248,128*3,120,0*12,120,128*34,99,0*11,8,111,128*78,155,256*51,264,367,384*7,391,392*2,391,384*11,380,234,251,211,217,231*2,247*2,239,256*14,257,281,257,256*3,271,286*2,320,354*3,320,286,291,321,458,761,1304,1818,.*2",
        ".*20,512*14,344,256*24,246,248,147,128*2,120,19,0*12,19,120,128*33,65,0*11,8,111,128*69,143,165*2,143,128*4,155,240,256*51,264,367,384*7,391,392*2,391,384*11,380,249,231,239,235,248,249,247*2,239,256*20,271,286*2,354*4,320,286,291,327,465,794,1377,1896,.*2",
        ".*20,512*14,344,256*23,224,170,128*2,109,23,0*16,23,109,128*31,65,0*11,8,126,128*67,147,248,254,256*2,254,236,209*2,236,256*53,264,382,384*8,391*2,384*12,367,249*5,248,247,249,254,256*20,271,286,320,354*2,355*2,320,286,281,317,453,779,1348,1923,.*2",
        ".*20,512*13,510,274,256*22,224,192,144,128*2,23,0*18,23,128*31,99,0*11,8,126,128*67,248,256*62,264,382,384*22,367,249*8,254,256*19,257,286*2,320,354,355,437,396,320,286,287,326,487,839,1374,1923,.*2",
        ".*20,512*13,481,256*21,244,224,192,160,128,96,84,10,0*18,8,120,128*30,126,10,0*10,8,111,128*66,155,256*64,364,384*22,376,249*8,236,256*19,271,286*2,354,355,437*2,396,320,286,287,316,507,865,1394,1841,.*2",
        ".*20,512*13,407,256*18,252,256,236,216,192,160,128,96,64,32,0*19,8,120,128*31,33,0*10,8,111,128*65,155,240,256*64,337,384*22,376,249*8,209,256*19,271,286,320,354,396,484,461,354,320,286,276,304,473,836,1357,1808,.*2",
        ".*20,512*13,407,256*16,237,151,139,161,176*2,160,128,96,64,32,0*20,8,120,128*31,33,0*10,8,126,128*59,147,248,236,209*2,236,256*66,337,384*19,403,504*2,411,264,256,249*6,209,256*19,271,286,320,354,396,461,396,354,320,286,283,313,478,837,1355,1786,.*2",
        ".*20,512*13,481,256*16,151,128*2,136*2,144,128,96,64,32,0*21,8,120,128*30,126,10,0*10,8,126,128*59,248,256*71,364,384*19,504,512*2,504,264,256,249*6,236,256*13,277,299,256*4,271,286,320,354,396,437,396,354,320,286,281,306,499,861,1368,1764,.*2",
        ".*20,512*14,297,256*14,248,136,128*5,112,72,40,8,0*21,8,120,128*30,99,0*12,120,128*9,112,104,126,128*10,112*6,128*20,144*6,128*4,155,256*69,259,258,256,376,384*18,411,512*4,279,256,249*6,256*14,277,299*2,256*3,271,286,320,354,396,437,354*2,286*2,281,301,507,890,1376,1766,.*2",
        ".*20,512*14,480,297,256*13,248,136,128*5,104,56,16,0*22,8,120,128*30,65,0*12,19,120,128*7,96,72,56,53,94,128*8,100,80*6,100,128*4,143,165*2,143,128*4,143,165*2,143,136*2,156,176*6,156,136*2,155,240,256*18,264*4,256*8,264*4,256*12,264*4,256*4,271,293*2,271,256*11,259,262,258,275,376,384*16,411,496,512*4,337,256,249*2,252*4,256*13,258,299*3,277,256*2,271,286,320,354*3,351,286*3,280,339,539,918,1400,1776,.*2",
        ".*20,512*16,504,288,256*11,248,136,23*2,109,128*2,126,53,6,0*22,8,120,128*30,65,0*4,19,120*2,19,0*6,27,112,128*4,96,64,40,16,6,0,27,112,128*4,112,27,28,48*6,28,27,112,147,248,254,256*2,254,236,209*2,236,254,256*2,254,248*2,228,208*6,228,248*2,256*18,288,504*2,392,376*2,364,337*2,364*2,337*2,364,382*2,367*2,364,337*2,364*2,337*2,364*2,337*2,364,382*2,367*2,364,337*2,364,382,384*2,382,376,275,256*4,288,504*2,288,256,259,262,259,256,259,283,368,384*12,403,504,512*6,337,256,249*2,252*4,256*13,277,299*4,260,256*2,284,286,315*3,286*3,284,291,344,505,881,1399,1748,.*2",
        ".*20,512*17,504,256*11,248,41,0*2,23,128*3,94,0*23,8,120,128*30,99,0*4,120,128*2,120,0*7,27,128*3,96,64,32,8,0*4,27,128*4,27,0*2,16*6,0*2,40,248,256*16,240*6,256*21,504,512*2,504,384*39,376,256*4,504,512*2,504,256,259,262,271,273,277,272,283,384*12,504,512*7,279,256*21,296,299*3,277,256*3,284,286*5,284,256,262,318,481,806,1318,1730,.*2",
        ".*20,512*17,504,264,256*10,248,8,0*3,120,128*2,120,0*23,8,120,128*30,120,8,0*3,120,128*2,120,0*8,120,128,112,64,32,0*7,120,128*2,120,0*11,8,248,256*42,279,512*4,411,384*38,376,256*3,264,495,512*2,504,264,259,262,271,290,291,269,275,376,384*11,504,512*6,504,264,256*21,277,299*4,257,256*3,271,285,286*2,285,256*2,262,296,452,800,1303,1712,.*2",
        ".*20,512*17,504,264,256*10,248,8,0*3,19,120*2,19,0*23,8,120,128*30,120,8,0*3,19,120*2,19,0*8,19,120,84,32,0*8,19,120*2,19,0*11,8,136,248,256*41,337,512*4,496,411,384*4,376*4,340,268*2,340*2,273,284,340,367*2,380*2,340,268*2,340*2,268*2,340*2,268*2,340,384*4,376,275,256,260,262,264,495,512*2,504,264,259,262,274,296,285,266,278,282,376,384*10,403,504,512*5,504,264,256*21,277,299*4,277,256*4,257,272*2,257,256*2,260,294,470,833,1343,1739,.*2",
        ".*20,512*17,504,264,256*10,248,8,0*30,8,120,128*30,120,8,0*17,10,0*24,8,120,128,155,240,256*39,337,512*6,504,403,370,283,276,272,268,270,276,265,263,258,256,260,275,280,283,295,302,304,295,279,260,252,250,252,250,247,249*3,251,249*2,255,257,255,256,257,260,267,268,508,512*2,504,242,259,262,259,264,265,267,277,285,286*2,368,416,632*2,416,384*6,411,496,531,632*2,520,264,256*21,277,299*5,256*10,260,314,482,852,1382,1836,.*2",
        ".*20,512*17,504,264,256*10,248,8,0*30,8,120,128*30,120,8,0*42,8,120,128*2,155,256*39,279,512*7,504,296,275,277,273,272,287,286,269,263,248,239,238,243,252,258,270,282,288,285,277,263,255,253,255,252,247,248,250,251,253,255,257,267,272,266,256*3,260,268,508,512*2,504,242,259,262,259,256,259,268,277,283,284,283,288,632,640*2,632,384*7,424,632,640,665,632,264,256*21,277,299*5,277,256*9,272,318,509,886,1485,1906,.*2",
        ".*20,512*18,297,256*11,41,0*29,16,42,118,128*31,23,0*42,8,120,128*2,136,248,256*38,264,495,512*6,508,264,260,274,278,279,283,275,257,251,243,228,217,216,225,242,253*2,263,276,277,271,259,257,259,254,247,249,251,255,260,264,271,291,294,271,243,248,256,271,281,504,512*2,504,247,260,258,251,243,237,243,258,266,276,275*2,632,640*2,632,384*2,224,230,310,377,318,316,328,633,665,473,256*22,277,299*6,256*9,272,358,548,1001,1644,2077,.*2",
        ".*20,512*18,480,297,264*4,256*6,224,41,0*27,32,64,96,128*32,109,23,0*41,8,120,128*2,136,248,256*38,264,495,512*6,508,264,256,262,267,257,247,236,237,247,237,213,199,200,227,257,242,230,253,274,265,258,257*3,253,251,255,258,262,266,269,273,285,281,254,229,224,251,266,264,288,504*2,248,263*2,255,238,227,224*2,237,238,252,268,262,301,632*2,392,376*2,223,242,273,377*2,462,608,634,665,473,256*22,277,299*6,277,256*8,266,367,623,1125,1786,2120,.*2",
        ".*20,512*20,504,392,376*3,275,256*6,248,32,0*24,32,64,96,128*35,120,19,0*39,28,100,128*2,156,228,256*38,264,508,512*6,495,264,256*3,230,232,226,232,233,219,205,203,225,249,258,242,243,246,254,248*2,250,252,254*2,258,261,258*2,261,264,263,264,252,237,234,244,260,264,253,256*3,253,269,271,254,245,235,231,226,222,238,251,257*2,256*2,264*4,246,244*2,310,377,510,608,633,659,466,256*23,299*6,277,256*8,266,328,619,1131,1796,2108,.*2",
        ".*20,512*21,504,384*3,376,256*7,248,0*23,32,64,96,128*37,120,0*38,16,48,80,112,144,176,208,240,256*37,264,508,512*6,495,264,258,256,254,209,216,225,231,236,234,225*2,240,256,260,259,266,256,246,238,239,242,248,250,245,239,235,236,243,250,252,248,238,236,244,263,266,261,259,263,270,271,269,265,262,268,263,256,248,249,239,221,231,248,252,247,256*7,250,239*2,314,377,500,635,652,460,256*23,277,299*5,277,256*8,269,331,611,1144,1814,2147,.*2",
        ".*20,512*22,407,384*3,279,256*7,41,0*21,16,64,96,128*38,126,15,0*37,16,48,80,112,144,176,208,240,256*37,279,512*7,468,262*2,256,254,237,233,232,240,246,249,250,256,258,264,267,275,284,279,261,248,238,239,246,249,242,233,230,233,240,245,246,241,228,237,260,274,270,262,260,267,276,280,281,273,269,264,269,271,270,274,252,231,237,243,249,253,250,252,249,248,250,255,251,238,229,237,243,309,368,485,640,444,256*24,299*3,297*2,260,262*3,253,256*4,269,349,622,1218,1891,2153,.*2",
        ".*20,512*22,493,407,392*3,297,264*7,64,8*4,0*12,10,33*2,10,42,96,128*40,37,0*37,16,48,80,112,144,176,208,240,256*37,337,512*7,396,281,296,279*2,280,274,253,250,257,271,281,280,269*2,271,283,298,302,284,263,251,246,251,259,255,241,239,243,245,249,255,245,235,245,270,279,268,259,258,268,279,283,272,265,250,241,249,268,281,277,265,253,259,257,259,268*2,261,252,244*2,243,241,236,249,259,250,243,292,338,470,359,256*24,257,294*2,313,346,336,345,316,295,286,251,256*3,278,390,727,1334,1958,2102,.*2",
        ".*20,512*24,504*5,392,376*7,264,248*3,32,0*8,19,120,126,128*2,126,118,128*41,37,0*7,19,120,80,32,16,0*25,16,48,80,112,144,176,208,240,256*37,337,512*7,396,285,309,291,296,308,305,281,259,262,273,283,277,269,262,263,268,283,287,276,267,265,250,249,267,266,252,254,259*2,265,268,255,247,248,263,266,258,248,245,249,271,274,259,256,238,228,246,266,267,263*2,266,262,266*2,270,273,268,264,256,249,242,239,251,271,270,244,231,233,273,303,269,256*25,288,348,410,467,510,537,511,450,363,316,264,266*2,338,517,856,1468,1998,2143,.*2",
        ".*20,512*29,504,384*7,376,256*3,248,0*8,120,128*57,112,80,48,16,0*24,16,48,80,112,144,176,208,240,256*37,279,512*7,468,286,307,286,296,305,301,291,270,263,268,267,262,264,257,250,257,258,264,263,258,255,250*2,264,260,250,254,258,259,262,263,254,250,251,255,256,240,236,238,240,254,256*2,254,232,234,255,263,257,255,264,268,266,257,262*2,265,261,263,266,253,244,245,264,280,273,242,219,221,227,277,268,256*24,273,333,414,498,573,625,647,659,633,589,510,465,437,452,565,667,985,1544,2039,2166,.*2",
        ".*20,512*30,407,384*6,376,264,256*3,41,0*6,23,128*58,112,80,48,16,0*24,16,48,80,112,144,176,208,240,256*37,264,495,512*5,.*2,286,322,301,306,304,309,301,279,274,275,268,264,269,262,259,260,257,251*3,254,256,249,254,251,249,251,252,250,253,251*2,250,249,247,242,226,231,249,255,245,238,232,233*2,238,249,254,249*2,258,262,256*2,259,266*2,263,267,260,257,251,258,270,281,268,240,225,222,217,253,265,256*24,278,335,411,494,572,623,662,690,706,707,689,675,667,651,683,787,1083,1613,2019,2146,.*2",
        ".*20,512*30,493,407,384*5,376,264,256*3,224,41,18,88*2,18,41,120,128*58,112,80,48,16,0*24,48,96,112,128,172,224,240,256*38,264,495,512*5,.*2,249,286,281,280*2,284,275,266*3,259*2,262,256*3,252,249*4,251,250,251,250,249*8,252*2,251,243,250,262,259,251,240*2,242,243,245,248,249*4,250,252,253,262,279,285,277,259,260,257,252,255,262,273,267,263,253,239,240,265*2,256*24,278,344,420,504,585,654,709,768,790,794,791,793,792,805,823,943,1253,1784,2169,2168,.*2",
        ".*20,512*32,483,449*2,483,504,376,264,256*5,254,256*2,254,248,147,128*58,112,80,48,16,0*6,32,248*2,32,0*12,19,120,128*2,144,240,256*41,264,508,512*3,531,632,.*2,249*18,252,249*14,250,252*3,254*2,255,253,247*2,249,248,249*9,256,268,271,265,256*2,257,252,250,252,257,262,258*2,249*4,256*24,287,354,437,524,614,697,797,893,900,888,885,886,892,903,966,1117,1484,1962,2213,2176,.*2",
        ".*20,512*37,504,264,256*10,248,128*47,108,0*6,5,8,120,128*2,100,28,0*7,248,256*2,248,0*12,120,128*3,239,256*42,264,508,512*3,632,640,.*2,249*18,252,249*53,256*24,296,356,438,534,639,746,878,971,985,961,941,949,956,979,1056,1214,1546,1970,2211,2173,.*2",
        ".*20,512*38,297,256*11,151,128*46,120,0*7,8,120,128*3,27,0*6,48,256*4,48,0*10,27,128*3,155,256*43,304,512*4,620,640*3,287,256*33,263*3,260,258,256,254,253,251,250,249,248,247*2,246*4,247,248,249,250,252,253,255,257,259,260,263,269,275,278,291*2,288*4,272,263,256*3,259,256*17,265,338,379,448,563,662,743,870,965,991,975,989,1010,1022,1054,1136,1285,1566,1930,2206,2224,.*2",
        ".*20,512*38,480,297,256*4,274,344*2,274,264*3,182,128*4,146,212*2,146*2,212*2,146,136,320,136*3,320,136*2,146,212*2,146,136,320,136*6,128*12,120,19,0*7,8,120,128*3,112,48,0*4,68,218,264*4,218,68,8*8,56,106,136*2,184,234,264*6,256*4,279,337*2,279*2,337*2,279,256*8,279,337*2,279*2,337*2,279*2,337*2,279,256*4,304,487,512*4,593,640*3,401,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,352,320*2,303,278,263,256,259*2,256*3,259,263,259*2,275,293,295,294,287,285,275,271,269*2,344,357,383,469,577,657,735,848,955,993,999,1033,1073,1096,1138,1213,1351,1596,1905,2152,2227,.*2",
        ".*20,512*40,481,407*2,481,510,512*2,510,504*4,467,335*2,467,512*8,504*8,512*4,504*5,392,376*3,160,128*4,147,248*2,150,120,23,0*9,8,136,248*2,147,160,376,342,244*2,342,376*8,380*2,353*2,380*2,353*2,376*2,392,504*5,508*2,495*2,468,396*2,468,512*8,468,396*2,468*2,396*2,468,512*12,468,396*2,468,512*6,593,640*3,401,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,384,352,320,303,278,263,256,259*2,256*2,259,266,281,296*2,339,357,376,375,342,333,322,304,283,308,344,357,383,469,577,657,726,821,926,979,1013,1060,1126,1171,1216,1291,1409,1590,1921,2127,2221,.*2",
        ".*20,512*81,504,384*3,376,128*4,248,256*2,248,41,0*10,8,248,256*3,376,384*23,504,512*51,620,640*3,287,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,416,352,320,303,278,263,256,259*2,256*2,259,266,281,296,350,381,399,408,397,385,354,344,322,297,308,344,357,383,469,577,657,707,788,882,948,999,1081,1161,1214,1267,1344,1441,1588,1881,2163,2261,.*2",
        ".*20,512*82,407,384*3,169,128*2,151,256*4,48,0*10,48,256*3,283,384*23,411,512*52,620,640*2,636,264,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,405,448,384,320,303,278,263,256,259*2,256*2,259,266,281,322,363,397,415,413,408,391,371,344,322,315,326,344,357,383,469,577,629,688,748,838,915,984,1073,1173,1232,1288,1364,1453,1612,1893,2200,2344,.*2",
        ".*20,512*82,493,407,392*3,192,186,248,256*4,231,57,31,145*2,31,0*4,68,218,264*2,283,368,384*2,392*4,384*4,392*8,384*4,411,496,512*52,593,640*2,636,264,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,416,352,320,303,278,263,256,259*2,256*2,259,266,281,322,363,409,433,439,409,398,371,344,322,315,326,344,357,383,422,536,621,647,702,797,887,977,1083,1188,1244,1302,1389,1498,1666,1984,2240,2401,.*2",
        ".*20,512*84,504*5,288,256*4,275,376,384*4,342,244*2,342,376*4,384*2,403,504,510*2,495*2,492,465*2,492,510*2,495*2,510*2,495*2,483,449*2,483,512*54,593,640*2,609,264,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,384,352,320,303,278,263,256,259*2,256*2,259,266,281,322,360,429,452,449,428,398,371,344,322,297,308,344,357,383,414,460,553,607,681,766,863,974,1103,1204,1256,1319,1424,1535,1715,2039,2286,2397,.*2",
        ".*20,512*89,504,256*4,376,384*15,504,512*75,620,640*2,609,264,256*32,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,352,320*2,303,278,263,256,259*2,256*2,259,266,281,322,360,418,459,453,428,398,371,344,322,297,308,344,357,383,414,453,511,568,641,750,879,990,1113,1188,1267,1339,1435,1552,1767,2088,2271,2395,.*2",
        ".*20,512*90,304,256*2,283,384*15,411,512*76,620,640*2,598,256*33,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,341,320*3,303,278,263,256,259*2,256*2,259,266,281,322,367,429,491,467,428,398,371,344,322,310,321,344,357,383,414,453,511,568,664,795,917,1025,1141,1211,1302,1359,1473,1624,1850,2160,2347,2467,.*2",
        ".*20,512*90,487,304,299,362,392*14,411,496,512*76,593,640*2,500,256*33,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,352,320*2,303,278,263,256,259*2,256*2,259,266,281,322,374,461,484,467,428,398,371,344,322,311,322,344,357,383,414,470,563,635,703,864,980,1090,1202,1299,1321,1448,1593,1787,2080,2437,2536,2628,.*2",
        ".*20,512*92,504*4,510*2,495*2,510*2,495*2,510*2,495*2,512*78,593,640*2,500,256*33,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,373,414,392,320,303,278,263,256,259*2,256*2,259,266,281,322,387,466,484,467,428,398,371,344,322,310,322,344,357,383,431,546,627,672,800,939,1060,1177,1291,1357,1423,1578,1766,2001,2390,2634,2658,2736,.*2",
        ".*20,512*186,620,640*2,598,256*33,263,272*2,267,263,259,255,252,248,245,243,241,239,237,236*4,237,238,240,242,245,248,251,254,258,262,267,275,288,297,313,325,344,403,446,424,359,303,278,263,256,259*2,256*2,259,266,281,322,400,466,503,467,428,398,371,344,322,310,332,344,357,383,469,577,657,731,876,1010,1139,1267,1388,1451,1556,1689,1869,2105,2450,2653,2684,2790,.*2",
        ".*212,352,325,312,296,275*4,309*3,362,369,366,356,331,295,274*2,269,263,256*6,259*2,256*2,266,284,294,287,283,278,274,269,266,263,260,258,257,256,255*2,256,257,258,260,262,264,267,271,274,277,281,285,289,297,303,313,328,344,363,416,469,459,372,313,281,269,263,266*2,256*2,259,269,284,334,409,504,543,529,474,448,420,388,364,347,358,382,393,418,505,613,692,799,940,1080,1216,1347,1472,1569,1639,1768,1952,2180,2493,2682,2736,2826,.*2",
        ".*212,520,480,453,440,424,403*2,437,448,444,485,488,494,484,475,425,397,332,290,284,269,256,263*2,256*2,259,263,278,275,272,294,331,344,336,330,323,318,313,309,306,304,303,302,303*2,305,307,309,312,315,318,321,324,327,330,333,336,338,341*2,363,347,366*2,394,450,497,538,434,356,313,291,288,297,288,266,259,263,278,306,366,463,553,589,596,581,559,558,529,497,479,485,496,504,529,612,704,780,905,1061,1209,1347,1474,1593,1680,1754,1899,2104,2335,2628,2783,2832,2909,.*2",
        ".*212,568,544*7,519,517,508,516,506,488,463,419,381,353,306,275,259*2,269,275,269*3,284,303,309,313,353,416,428,416,409,404,399,395,392,390,389,388*2,389,390,392,395,397,400,403,406,409,411,413,415,417,418,419*2,425,403,388,369,397,469,544,603,647,550,441,372,347,344,356,334,297,284,297,309,356,431,519,591,637,635*2,664,683,694,664,635,632,647,658,687,751,828,917,1061,1254,1401,1533,1647,1747,1819,1898,2042,2268,2493,2692,2846,2900,2982,.*2",
        ".*212,576,608*7,610,500,494,500,491,425,450,425,391,366,309,288,275,278,288,300,297,309,313,334,375,391,400,463,550,572,549,516,486,485,484,483,481,479,477,482,495,500,517,527,525,524,526*3,527,528,530,533,536,539,542,550,491,438,422,481,572,594,610,654,619,521,483,445,461,478,459,407,391,410,431,487,592,645,688,726,710,719,764,820,859,842,814,811,828,855,900,939,1002,1092,1283,1483,1624,1737,1832,1914,1975,2036,2180,2389,2549,2738,2851,2917,3015,.*2",
        ".*212,624,645*2,639*2,647,649,672,667,581,478,484,450,388,422,425,409,384,344,313,316*2,344,378,384,413,425,450,519,497,519,575,652,633,650,652,593,595*2,594,593,592,590,608*2,624,640,639,637,633,632,631*4,633,635,638,643,647,650,656,579,563,627,700,651,642,669,663,612,585,602,631,668,662,623,615,646,687,765,871,912,950,954,930,937,985,1080,1135,1109,1062,1060,1087,1145,1174,1216,1258,1353,1556,1745,1866,1956,2040,2118,2183,2239,2363,2521,2641,2769,2853,2945,3038,.*2",
        ".*212,637,656,680*2,679,681,704*2,748,691,578,547,466,419,441,459,444,406,363,356,363,378,425,450,497,547,553,606,609,616,581,633,656,657,704*26,720,727,701,710,753,786,741,687,754,785,769,765,805,830,833,827,843,914,981,1031,1131,1292,1348,1411,1436,1411,1400,1480,1586,1584,1543,1453,1438,1461,1518,1566,1557,1588,1666,1870,2038,2110,2190,2276,2362,2452,2517,2618,2717,2807,2882,2945,3015,3107,.*2",
        ".*212,670,704*2,736,726*2,745,809,876,856,741,719,603,525,566,578,528,513,456,450,484,500,541,606,697,784,716,713,650,606,600,620,705,785,826*15,803,787,784*3,800,826*5,863,889,861,866,875,885,866,873,924,972,989,1022,1061,1072,1068,1118,1177,1294,1376,1414,1551,1739,1790,1953,1949,1962,1987,2033,2111,2110,2027,1947,1872,1826,1888,1921,1915,1874,1961,2153,2300,2340,2416,2500,2617,2734,2814,2933,2957,3010,3060,3088,3145,3208,.*2",
        ".*212,727,768,800,818,800,809,856,960,1022,1081,1019,990,962,862,987,1047,962,944,919,928,959,978,1022,1075,1128,1184,1172,1103,1015,912,872,954,955,1002*2,1082,1111,1082,1002*2,954,955,986,1018,1034,1043,1001,986,965,944,902,880*2,919,952,970,1001,1038,1065,1085,1147,1123,1101,1135,1114,1086,1105,1058,1126,1200,1228,1276,1318,1309,1350,1439,1511,1657,1681,1715,1867,2008,2123,2237,2286,2325,2350,2395,2446,2422,2315,2247,2202,2141,2116,2152,2146,2190,2264,2352,2442,2479,2557,2668,2800,2935,3086,3121,3130,3177,3209,3229,3260,3300,.*2",
        ".*328",
        ".*328",
        ".*328",
        ".*328",
    },
}