explain.depesz.com

PostgreSQL's explain analyze made readable

Result: 73zW : Optimization for: plan #2PY3

Settings

Optimization path:

# exclusive inclusive rows x rows loops node
1. 8.605 1,495.904 ↓ 3,818.8 15,275 1

Nested Loop (cost=75,007.78..205,477.12 rows=4 width=60) (actual time=516.218..1,495.904 rows=15,275 loops=1)

2. 335.283 1,349.824 ↑ 1.1 15,275 1

Hash Join (cost=75,007.21..159,269.30 rows=16,760 width=37) (actual time=516.159..1,349.824 rows=15,275 loops=1)

  • Hash Cond: (pi.id_processo = (p.id_processo)::integer)
3. 583.447 922.738 ↓ 1.1 967,802 1

Bitmap Heap Scan on tb_processo_instance pi (cost=28,694.17..102,473.88 rows=916,870 width=12) (actual time=373.597..922.738 rows=967,802 loops=1)

  • Filter: in_ativo
4. 339.291 339.291 ↓ 1.7 1,558,873 1

Bitmap Index Scan on tb_processo_instance_in_ativo_idx (cost=0.00..28,464.96 rows=916,870 width=0) (actual time=339.291..339.291 rows=1,558,873 loops=1)

  • Index Cond: (in_ativo = true)
5. 6.660 91.803 ↑ 1.0 15,275 1

Hash (cost=46,122.10..46,122.10 rows=15,275 width=29) (actual time=91.803..91.803 rows=15,275 loops=1)

  • Buckets: 2048 Batches: 1 Memory Usage: 925kB
6. 85.143 85.143 ↑ 1.0 15,275 1

Index Scan using sys_c005762 on tb_processo p (cost=19.52..46,122.10 rows=15,275 width=29) (actual time=0.042..85.143 rows=15,275 loops=1)

  • Index Cond: ((id_processo)::integer = ANY ('{476422,476437,507965,506984,510932,511041,508152,518895,519869,515024,427400,490845,490858,512196,442729,448238,511184,511240,605943,511297,509946,473806,610308,514428,608390,496957,591342,511704,606770,546865,591475,609458,608501,601384,601308,591521,553543,591525,601410,600989,613395,608696,608747,609586,506184,612616,616724,604873,624865,553745,502368,617945,609444,602270,607533,602544,607617,620676,620699,610905,611788,619760,615306,615198,616161,616832,619804,618135,617033,605068,605294,618886,619033,619019,619121,620983,603972,625251,521209,806407,837365,495934,837462,621064,608580,435795,630033,876697,509292,604545,520896,509999,628349,630041,843394,609425,620690,445283,628387,515096,517073,504981,491247,514187,493091,511374,511406,512327,511439,465608,522231,496846,495793,472762,523543,523630,510948,604381,604494,607335,604570,608393,610434,608577,576459,601031,605117,628379,613401,795460,601047,613394,613409,629821,594321,623224,602154,629168,614159,751210,614183,610944,610628,629784,618156,607838,607987,610959,612515,614463,614283,615196,615230,615304,617998,616943,753412,604904,604944,618994,621182,895322,621860,511261,539335,624957,566599,809809,875824,625422,607894,625346,625307,625314,498164,628327,751990,787137,629883,788515,628717,628426,790878,628502,627236,629483,630101,628724,628932,628948,604011,604037,604098,604115,606541,604610,611253,611310,590609,610412,601278,591486,592760,610447,601373,795075,591589,600982,607495,594324,593100,609518,602152,602158,594680,594775,602296,602359,602532,608725,607568,607702,610640,609711,610720,796779,607795,607970,609949,798365,536039,886799,837497,540958,580330,527981,529839,541109,542968,542977,539679,851365,544704,544801,544927,544969,550508,553738,551264,811686,508981,507897,611724,519581,812012,520668,508138,498175,529828,519917,553521,507036,507039,507053,413839,510989,510990,508142,414891,508239,508278,412954,506868,442718,476407,504271,526671,543848,878973,511265,511222,498271,442645,526676,443595,451834,492140,492180,500591,493104,617878,511425,465671,879012,615161,621338,512467,615948,494012,612320,508162,846120,889441,618086,542974,605098,573536,446116,515026,512250,619114,510104,502299,620853,500119,521192,620936,895334,614117,748749,602517,602570,574744,614265,609755,751787,605268,752043,511043,544797,847308,847367,608497,847467,607494,611452,610875,451951,497313,441905,614867,610897,848482,611692,481642,840574,510179,496864,496879,495772,837383,510256,510277,495906,510319,497047,560413,837410,497156,837429,762870,474643,474741,500310,500365,790943,605081,579642,895327,502336,528242,566630,560528,560681,565596,576615,608411,816475,566603,756544,508308,438265,514140,791699,760879,511177,750330,510286,798840,604379,823385,609390,790837,601660,888940,888966,614013,613347,600988,592844,888926,888936,888932,614121,888947,888952,787425,888971,889098,602351,593184,889037,895342,810622,889039,811702,519963,889105,814417,602379,815657,602525,560567,560610,608743,607556,889228,820138,456139,829198,891346,889783,889797,889806,574714,889840,614229,615056,610752,610761,608995,620738,607931,609959,844217,612504,612509,615125,615137,889789,615979,616021,616010,616158,619775,616800,616793,617975,629809,618028,604851,604856,605406,604898,604905,604943,605100,605182,605206,605198,605245,605237,605251,605282,619016,795352,620826,620867,752304,621167,889807,629836,621185,621209,621303,621378,889854,889821,621908,498040,629856,889828,625462,625497,844808,806410,512441,628332,889867,805797,805937,605784,889901,807034,889882,605802,611289,889910,609414,601287,601372,611460,889915,608509,839222,611702,551304,535739,540469,890026,507971,507043,614131,514816,510983,511007,891357,429753,511394,493228,511445,464735,891361,496229,841622,843380,500501,843446,842533,891365,891369,843388,843441,843359,843362,843371,843375,615053,801734,613894,891373,512185,817942,610430,760299,843399,843401,749839,752895,754900,754914,756347,755054,594671,756527,602287,614127,614173,614180,760523,614222,760902,611669,761095,761172,615779,619660,610646,615829,615978,823304,809745,816649,785397,627241,603656,813810,629796,629797,607913,823282,611761,608011,612425,619734,616026,617897,823308,604994,605261,629817,619130,623902,783160,891378,782484,751889,752127,751648,624774,751911,752115,751675,752027,811268,786343,787279,752078,752108,752079,628337,809897,630153,796189,891412,574703,511171,613877,604934,629910,627070,628853,605940,609440,611473,590893,602391,608741,580114,521928,510269,474343,540987,539459,815637,506856,506872,506892,804760,507939,510941,511003,508199,491033,512182,505120,512168,441914,529614,560510,891390,752163,843429,610681,607783,516954,512140,517072,428843,509941,492946,494628,501209,601367,610669,607841,609876,610898,612614,616783,618159,618997,621717,624846,625042,625058,625059,625443,625494,625503,497063,628439,628517,627129,628731,628761,628888,628876,629098,629079,629256,629425,629315,629318,629459,630113,604116,603712,891397,521619,606567,605789,607330,607293,608375,609369,611265,590549,608531,608468,610423,608556,601314,601391,590948,590956,608658,594341,594399,602146,594798,607561,611546,607564,574701,608803,576547,611633,608830,612370,607750,608980,607874,610870,610925,608003,609957,505162,521845,501124,539355,565181,543863,543322,544840,541917,546741,565229,553425,552844,574603,891406,515901,516018,520772,519961,522607,508193,512114,504940,843405,447019,443329,441927,509953,452859,452864,493198,509300,482678,506241,512425,561310,503011,503032,465708,574627,678733,573491,574753,843432,500993,501601,502016,522829,526856,560471,561222,563463,562806,562933,580280,563679,563802,566760,573561,574834,573616,573646,576786,579844,580303,582353,843390,553445,607500,617038,613862,608454,497987,498142,512896,605933,591411,608422,542761,608423,610374,608431,522643,608439,608444,607381,529794,607384,610396,608487,611351,608485,613876,613879,613138,606908,613881,520666,505091,613887,613889,610351,609374,591362,607361,608537,610410,613882,608460,608528,613268,543024,891423,608553,601280,607441,613410,613313,600972,600975,613362,601015,613371,601044,601052,601059,592872,613391,614847,594368,614855,593133,560429,608673,602076,614917,602113,614101,602160,602167,602184,602223,602237,602273,614116,602295,602306,602336,602372,602439,602460,614137,619636,614141,614889,619637,843426,607583,614147,563363,611542,614150,614900,608746,614902,614156,607566,611557,614164,614932,843454,565627,614225,611594,611626,607637,611652,609634,620712,607700,608853,620680,620682,607725,620684,619672,614999,614250,614257,614259,619678,607773,610693,614267,610710,609720,612376,614276,619680,591630,615033,620697,619681,620693,611711,614290,615043,620703,620729,614292,619692,619704,610747,620708,619696,620706,620711,610756,610758,607794,609752,620726,607798,607799,615837,609760,615840,629798,611740,620735,607806,607811,609765,608964,609768,620736,618654,607842,608974,607846,611746,607886,607875,607906,619723,610800,607899,610837,610834,610832,607921,610863,607942,610884,619724,609845,607983,611762,609839,610899,608012,608022,610920,609933,616696,620742,616698,615855,612534,619741,612520,615858,615121,617665,612545,619746,616700,615860,629818,617668,612600,619749,615134,612610,612604,615865,614412,615148,615869,619757,629803,615178,615875,615873,618681,615183,615197,615906,620792,615205,615200,615208,615221,615214,615242,615247,615253,618687,615914,615281,615935,616721,615957,615971,615995,616734,616056,616054,616082,616101,616113,616166,616148,616778,616174,616784,616801,616821,616816,616824,616857,616855,629807,617904,616853,617882,617890,616883,617914,617941,616909,617946,617977,617966,617993,616917,619794,616930,616924,618019,618014,619799,618033,619805,618049,619817,604847,604845,604920,629812,604897,604894,604887,618132,604926,605422,605427,604956,604969,604989,605056,605070,605054,617026,605134,605045,605064,605085,605060,605089,605105,605078,605087,605096,605118,605176,592829,605163,605185,605194,605209,605219,605200,605273,605235,605227,605292,605297,605311,605326,605318,605385,605360,605352,605361,623846,620801,620810,620808,619007,619026,619063,619069,623858,620831,620824,620829,620849,620857,619123,623860,620851,621677,620899,621683,620939,620897,620946,620919,629825,620934,620947,629827,629828,623916,620970,621022,621041,628231,621713,623933,621727,623102,621743,621241,621245,621306,621316,621312,621297,629840,624002,621790,629842,624738,624747,629845,621853,621844,621847,621878,621875,621905,629848,621921,624775,624800,629849,629851,535210,624808,624812,629860,546860,629862,552128,629864,624925,624955,624973,508992,625008,629870,629869,519859,625083,514853,520904,489397,625199,520869,625168,625215,625260,629874,625247,625280,495920,625295,625318,625328,625427,625436,625407,625463,625508,507868,629879,510998,628282,628274,628292,628309,511427,629909,628313,629920,628306,628303,628308,506212,628312,510190,628335,603781,843347,628399,628374,628397,628393,629925,628467,628398,628434,628428,628424,451760,629929,628454,408993,628461,628484,627062,627063,627074,627065,627071,627073,628515,627126,627094,627123,629947,627139,627134,627141,627150,627164,628560,627206,627202,627250,627242,628570,627984,629952,628604,627974,629956,628700,628032,629958,628042,629965,629966,629960,628732,629980,629970,629974,628759,628834,629991,629992,628845,628902,628957,628917,630004,628976,628983,560591,630005,629027,630011,629074,629135,629088,630025,629105,629097,629095,564312,629195,629163,629174,629203,629197,629246,629231,629239,629278,630071,629293,629307,629330,843341,629337,629335,629377,629370,629469,630082,630123,629403,629405,629447,629437,629466,579733,630102,630120,630127,582671,630135,603820,603881,604107,604421,843344,843368,608345,606767,608371,608452,611312,546772,611367,611372,609442,607421,609457,608586,553750,610462,843345,592202,593119,602086,602099,594642,594677,602222,602315,602332,602457,608837,609647,612335,608823,607668,612347,607671,611726,608860,611689,608864,610698,610711,611714,609838,607986,609998,510335,497251,498155,527697,501144,540878,526839,527922,539555,541136,546833,553711,843350,565293,516794,507087,519780,519805,519830,514795,516973,519957,504922,520911,450661,511419,512444,472449,497848,499021,501357,507093,843355,477139,509174,511218,512249,510012,510099,497874,497853,409944,501575,501487,522759,562752,562989,564399,565571,573555,574819,574881,580109,582629,843358,515003,515048,511091,445525,519949,508320,519951,515130,613883,511180,511499,566607,510180,574617,523951,566609,604089,605725,613172,607317,608540,611409,607463,614014,600990,614129,614928,610620,607742,835231,615830,612561,615892,616121,891430,619771,616797,618007,605120,605130,620780,605252,628605,602083,573516,566618,504233,512210,604357,843456,613101,604419,843457,609274,604581,613826,613113,540862,607339,605871,613853,613857,523488,613867,524046,613131,613870,611263,613871,608464,609376,613873,613874,521836,613885,606005,613145,613898,606771,608374,607315,607321,608381,608396,613203,610463,608493,610358,611333,609383,752164,613261,609408,608652,610397,613280,613198,613277,553507,601416,607477,613405,591594,590973,600962,601013,601062,613380,614033,611449,613385,592882,613382,611465,614052,611477,610490,608661,602057,614078,614085,602096,610499,602166,602173,614109,602207,752397,614112,614869,602280,611518,614872,602368,607538,602416,614922,607543,614887,619638,614152,614916,574707,611613,620673,609625,608818,607688,614227,579851,607701,610608,612363,610663,615007,618619,614263,615023,607775,610705,610709,591599,619679,614277,614279,609729,614291,619690,615060,620717,615833,620730,615843,620734,607919,610878,620741,616737,616041,617933,618005,604861,604961,604999,605140,618148,605389,605072,620916,621712,623947,621332,621749,623996,621783,621901,623492,550533,625200,493005,629944,628628,752180,628841,492782,495203,752402,496852,495914,472675,498291,502952,500391,441809,851268,501136,503208,526852,560542,574641,561274,563445,573657,574814,576686,580265,516951,516955,516957,516958,516960,406700,516182,504884,507269,508225,508229,516972,409891,516975,508241,504901,516979,516982,519947,516983,508245,508246,516985,508249,519933,516195,519948,576470,407840,407730,410249,508325,515032,508326,515017,515018,515021,515040,515028,515053,511079,515037,515035,515043,515044,446100,504952,515045,446123,760194,515055,515057,434586,445812,434595,511089,508263,489403,508270,508275,508276,508280,418095,520862,520863,519967,445481,516978,519968,412218,519971,509106,519972,522141,520860,465687,520868,445495,515079,515080,517000,520876,445538,508310,508311,508315,508318,508319,490966,477110,490904,515095,520866,512152,477173,515100,520872,526921,520874,515103,515104,515105,520879,477237,477378,515117,477246,477290,477254,891442,517041,517043,509874,477319,517053,515129,477340,563278,508343,435624,515143,435758,515134,515135,515138,515139,515140,515141,520905,508353,517061,517062,508361,517064,515149,508364,517066,517070,517071,438037,505064,511145,505069,512202,515167,441815,441840,447031,447149,438979,512191,509142,516292,442741,512160,520893,511130,520898,491028,520901,520903,441768,511140,514143,509190,426835,514148,516303,439849,448732,448746,505215,522176,505220,512232,509893,448929,512208,448964,511165,457603,511176,514179,514176,511190,512216,515270,441540,530850,505295,441850,509910,516335,511201,505326,514201,515276,511205,472656,515223,511208,511210,511211,515229,509917,511226,514216,511251,515242,515246,491312,511283,511284,511289,511290,509928,527616,512282,443517,443561,509933,511305,451826,451817,514241,451902,514247,509265,462791,512255,512267,514261,512272,514268,512275,452724,452717,452893,520966,520971,520972,520973,508658,520977,493098,514300,492041,514320,509984,512401,511340,464582,511342,511343,512414,511351,509989,511357,509988,492151,511364,512404,511393,851258,492319,514364,510005,511383,510010,512319,522195,493354,512320,510015,514376,511405,563279,512330,512333,511422,512335,514405,493207,511430,511437,512406,492745,492769,511449,514409,511452,511451,576471,492902,492923,492945,492960,492977,511476,492970,492981,493382,505705,512407,512380,514451,473740,492000,491879,522211,491901,491924,512408,491961,512420,512442,492007,512447,512446,512465,512452,493429,512464,493419,482645,522221,465631,465637,465647,522219,456218,456245,456255,456264,456271,512531,522224,509445,494595,527633,494685,494705,494684,494724,510109,493766,493792,510112,472455,472457,472459,510113,480916,494909,493922,494973,494997,506188,494075,494089,494094,495014,506259,523448,523472,517312,481645,481762,481687,481732,458294,458281,481946,456305,512422,512432,512416,482065,512429,482075,482651,510203,510176,510177,510193,510195,510199,510196,510197,496722,510211,496834,496784,496833,615850,496866,496772,496820,496793,496799,496830,496863,496843,510249,496871,496855,496856,496860,496994,496874,496932,496967,496933,496973,497012,496885,496919,495840,512857,510260,496937,510259,510288,496964,510281,510283,495927,510301,510295,496963,495937,510332,496978,495936,496986,510322,495944,510325,510334,510324,510336,495953,510343,495966,495968,510354,510351,502415,496012,497028,495998,496010,496011,497081,497110,497130,908455,497202,497184,496253,497239,497274,496272,496323,497855,496735,473828,497859,497860,497909,497915,497921,497945,497949,497960,517487,497964,486921,498020,498100,498105,498177,498165,498156,474345,498204,474374,498247,498250,498245,498249,498243,498240,498241,498396,474541,474549,474652,474618,753547,474634,752186,474671,487110,474733,611384,474691,474703,474718,474747,488442,488402,500071,500049,512910,523536,500082,500107,500092,523533,523540,475281,487790,487768,521064,475369,475491,499185,500188,521100,488742,500199,523571,521108,500326,500319,500349,523586,521133,500405,500465,500487,500513,610378,521159,523628,521838,521061,521186,523639,521849,523633,563282,523641,523649,523647,526659,515525,515555,515548,613884,523741,523708,523721,523977,523767,523788,523777,808506,523810,448694,523854,501376,500938,500951,500982,523901,501634,501015,762907,489778,507769,507771,851262,506841,605685,605686,603711,603758,603988,603867,603876,605697,613097,613100,605676,605703,515895,605705,605699,605700,605694,605719,537583,606605,606620,604477,605716,606551,606565,605759,605751,606581,606573,605753,508345,605775,605804,606610,604453,606600,604454,605807,606625,605761,605822,605767,604478,508363,605837,605841,605838,604484,604490,609286,604497,613117,613819,604502,609268,604505,613103,604492,613106,607250,611248,607267,609272,613831,613823,604498,613108,606030,609321,604510,607297,613822,613839,514351,613832,613833,607329,604528,605861,613838,607325,613824,607328,608426,606841,613848,611335,604546,604547,613849,613850,613841,613843,613844,613845,613846,608427,613847,604589,610360,608414,613125,613854,613858,546658,495978,760271,613165,606757,607300,609323,608360,607319,613188,613190,608492,613191,608495,611339,541924,607368,613238,546744,607373,546867,601262,522869,592667,609436,591381,613243,613228,610459,613253,592682,611356,613242,591512,613245,608526,592689,591401,613251,608472,613967,613262,611469,613264,613267,608503,611341,590592,591433,608507,613955,601303,608508,613278,608521,566591,591457,546839,601401,611498,589830,601269,611359,591529,601277,601289,589853,607471,516017,608558,609447,609448,550526,553449,608564,608568,611391,613972,553493,609462,611401,610448,610455,613981,611402,603364,592780,608620,601359,609515,619642,601654,601386,601400,589805,601418,607467,744987,749284,601294,613340,752135,613342,614827,601674,609483,590913,590938,609491,590943,613402,591624,590965,613353,613354,600968,613356,600970,613350,613358,600979,601667,601000,611444,601004,609494,613407,472708,745339,608751,620719,746491,601051,613390,601057,516953,613369,508316,509979,514491,498197,745553,613377,613860,441545,501250,613232,613323,560547,602540,563711,620688,607497,613381,607932,610941,746657,611776,605169,605295,621117,621214,621257,749406,625121,613384,609497,628418,512413,629365,603752,448985,604487,536035,611240,611318,613398,602070,610506,602212,602421,607446,610635,611701,613392,607936,592896,496807,536857,540914,537188,522531,613414,749602,542965,545078,749780,749722,749725,613352,611471,566597,613363,809667,515962,407986,752796,594292,594294,505383,752800,601060,563290,678139,512881,613412,593018,472619,594333,593025,614178,891451,594340,754165,748742,602109,811067,754235,502287,614857,602346,593333,614065,593386,614077,609536,602064,756654,614082,602077,614083,602081,602122,614095,614099,614107,602143,614102,602170,602177,614105,614865,602185,614108,614899,607532,594678,614868,757002,614115,602274,602286,608705,602309,594768,614120,757081,602334,760921,602339,602201,613863,752237,613388,611681,758008,616135,895373,618114,758002,628555,629313,748777,510253,542989,521617,758127,605673,611288,607837,619662,758236,600973,511227,511464,614938,851314,762952,604474,613825,891445,611396,761042,602358,602360,602364,614875,611521,612541,614123,602384,618006,602388,604964,605133,614126,614919,602400,602407,602373,602449,602451,614132,614136,851291,563312,607540,628925,614883,629442,602511,748758,611531,602528,602535,606008,610369,602541,602542,609388,515101,602558,614139,602559,602567,602269,761105,609859,752258,614894,590796,437987,818097,540966,614924,614898,748783,508103,520757,507959,748787,748781,512174,611544,512294,563371,607559,563382,512458,458171,510105,510189,510202,611547,607562,608826,614158,772224,782994,608834,434938,851305,619657,611554,441542,750248,579709,619639,750275,614912,750645,750610,614161,748790,611676,614915,747218,607707,614913,748816,563671,607579,614934,796698,823256,563794,608836,608776,619646,620679,609645,614936,614198,752274,614200,607606,573588,619649,607609,614228,749671,614208,607629,607636,614223,607641,607642,611642,607643,611645,579669,607655,612344,576616,579667,611662,607666,614217,607670,579694,608844,748807,608846,607685,608848,607691,579872,579871,609656,619663,579838,614234,580160,607710,609664,607715,608861,582346,614986,608862,590870,582675,582727,614992,619670,615824,620686,614995,791686,610763,615000,615001,612393,609745,619674,614252,629794,590934,607758,614256,590959,614266,610714,614270,610716,614271,610717,614273,609719,614275,607777,611729,607780,629787,610738,614286,610739,615041,619695,540854,619688,610744,615046,618635,620704,620707,610748,629790,619697,619698,618634,610754,615058,609740,609742,612391,620716,618646,620727,612401,608962,607809,607814,608955,610774,607817,609748,608966,607917,610784,610780,607835,610782,607868,607839,607848,616692,610793,607861,620785,610827,610822,607882,610815,607891,607895,607929,610830,610840,607907,607952,610866,607930,610852,607933,607935,615845,609834,607948,610877,607963,607968,611758,609843,611757,607969,608018,607981,609842,611770,610892,607985,607978,608008,607993,608007,607997,608004,608014,608019,609860,608015,608010,608009,619725,608024,608028,610913,610919,610945,821774,610954,610073,610946,609937,610963,610969,610047,611793,629800,753421,612426,612438,619732,620789,617661,612447,612472,612439,615853,618669,612446,612559,612562,612475,612507,615112,612501,615145,823242,615114,612516,615116,612529,615857,612511,612524,612568,612563,615032,612576,612535,612581,612591,615130,639080,612550,615131,612590,612597,612557,612572,601026,601027,612565,612588,614363,612570,612612,614357,629786,612599,614371,614440,615146,615877,615141,614378,612615,612617,612613,614399,612621,616704,614390,614417,601028,619754,785421,614447,614472,615179,614480,615175,615187,615915,615194,615895,615203,616709,615209,805225,615218,615888,615217,615038,615226,615896,615223,615270,615250,620701,615240,615928,615248,615917,615299,615925,615284,615933,616728,616006,616725,615963,620753,616013,615965,615996,617697,616004,619764,615999,616001,616732,616008,616019,616043,616079,616088,616051,616058,616049,805215,616037,616061,616040,616064,616047,617700,616097,616108,616175,616091,616152,616089,616103,616131,616081,617072,616084,616750,616118,616132,616157,616099,616115,616136,616761,616144,616160,616138,616170,616162,616127,616154,616155,616958,805224,616787,617785,617757,616795,616806,616827,616807,616811,616829,616880,616834,607787,612387,617911,748827,617879,617907,617876,617893,616862,616908,617899,617874,820937,617884,617885,617901,616876,616864,616894,617917,617968,616870,617944,617990,617994,617980,617929,617950,616920,616886,619788,617940,618000,616902,617978,617962,616913,616932,619791,618003,618102,618042,618024,619795,617995,616939,618040,618050,618017,618097,618031,619802,616947,618038,618054,805219,818135,617021,616953,617080,618798,618106,618131,617014,604852,604855,604859,628209,604849,617012,618098,604848,604869,604858,604865,604868,604915,851317,604888,604874,605425,604878,604893,604912,604940,591669,605417,604892,605413,604907,605409,604909,605408,604918,604932,604929,604933,605441,600974,618115,604916,604938,604931,605439,604942,604954,604959,605453,605467,604946,604949,604948,604981,604996,604998,605448,605450,604983,604984,605000,604986,600986,605030,605028,605066,620774,605025,618139,617051,605067,605107,605057,553488,605102,605114,617031,605131,605116,605092,605095,605115,605111,617040,605080,605104,605103,605122,605129,605125,629813,605158,605166,600987,748870,605189,605220,605187,605226,605181,605214,605175,605183,605156,617043,605173,605162,600993,607491,600995,605213,605164,605165,605196,605202,605208,605207,605184,605234,605215,605217,605228,605229,605230,620782,605244,605221,617067,605300,617059,605210,605212,605223,605246,605236,605263,605240,605247,605281,605283,605298,605270,605231,605267,605238,605256,629815,605287,605260,605257,617058,605274,605308,605310,605264,605286,605333,605335,605278,605285,605307,605362,605289,605324,605306,605313,605325,605330,605353,617062,605347,605314,617077,620787,605355,605386,605348,605356,605332,605407,600997,605358,605338,620835,619024,618988,619012,619003,619034,618992,619005,619000,619015,620814,620822,619037,619029,619025,617228,619045,619047,619062,620817,620804,619053,619059,619076,620823,619074,748880,619073,619139,619080,619084,620840,619110,619112,620844,619108,620885,620842,619143,619999,620841,623864,620891,620903,629820,620873,620929,620924,620942,796711,620895,620913,805237,629904,620961,620912,620937,620930,620926,620938,753417,609051,620944,621132,805238,621065,629826,748840,621017,621045,621004,621007,565188,748848,621016,621069,621009,621035,629831,629832,621056,629898,621120,601054,621146,624708,623067,621148,621162,621722,621151,748853,621715,621732,746147,623939,621746,621168,621742,621180,621187,621178,621174,629835,621193,621183,623966,629837,607836,621329,775373,610797,621216,621772,621250,629838,621748,621345,621780,607901,621314,621381,621340,623119,621350,621764,621968,621979,621357,621299,608005,621355,621335,601065,621372,621376,621778,621788,624012,623195,624733,628239,618664,615848,621805,621886,623247,621832,623244,629843,811149,629891,621825,517790,624766,621811,621899,621857,629846,621858,621953,621855,621935,621866,621871,621928,621973,624792,748860,621947,621922,621964,621917,621910,621892,621956,621985,621943,621932,621933,621960,621963,621955,623550,621989,621999,622007,622011,623514,623519,622023,623564,623536,624887,628280,629850,509030,614407,551202,551253,496943,534953,615188,624777,746154,535168,505202,502112,482655,628243,629854,474587,537255,473654,542800,503565,526740,526845,528869,624859,749682,624898,629857,539479,624864,624875,539660,540497,617913,624840,541925,624818,546732,546814,629861,624829,624853,624946,624863,616961,624871,550517,624916,624867,624873,624882,624893,624881,624897,553154,624909,624915,553592,553075,553655,628290,576475,628295,625029,625020,624959,617041,625069,625007,625175,625112,412881,629867,625038,625105,617047,605222,624967,624971,624990,605354,624966,624975,625003,625039,625116,624985,748899,625031,629894,624997,625061,519615,625004,467512,625046,625052,624996,625060,625017,625089,625142,628252,516019,619106,620837,619116,625137,625098,625150,625118,625122,625095,625141,625085,625145,625094,625099,508159,625152,625173,516910,514810,625126,514959,520833,620879,625097,514898,507262,625158,516964,625147,515046,629823,515162,625234,515136,625218,625249,509884,625242,522175,805290,625272,511259,625227,625286,625310,625230,510026,805296,509305,625283,625261,625292,625282,805311,512563,625304,625330,625349,625355,625450,625268,625301,625358,625374,625362,625398,625357,495830,625384,628260,805308,625311,625331,625333,625299,625313,625319,563294,748913,497955,625377,625345,625324,625326,625442,625435,625411,625370,625389,625441,625473,625352,625431,625453,625383,625430,625484,625388,625543,625444,625496,625455,626219,805321,625466,625477,625452,625468,501129,625489,625501,625540,625524,625510,625537,751963,625523,629877,628276,625531,507821,625529,626167,625533,626170,625539,625526,625515,625535,626252,626222,626227,752120,626244,628267,748917,752084,626224,751901,752062,791731,752048,811005,508210,626235,626214,626238,805338,629886,752093,434606,629888,626248,511142,511132,805353,751665,628284,784787,805375,628291,511292,811192,813825,628296,629855,751728,805396,628302,785561,629454,629936,629906,628297,751712,748946,805440,628310,492839,748961,751726,805464,806456,806512,492941,806427,629486,791745,476353,806452,482673,628319,806432,751998,751770,629916,495237,629901,628333,629919,510205,787358,805616,496884,752256,786117,496941,510250,809871,510331,806460,625082,813887,805629,628372,625077,628435,805613,495999,805610,805635,629918,497144,625131,751783,805626,625136,805620,628339,805627,805641,805659,496248,805643,496283,805647,806485,628351,752086,628343,752129,805669,751791,851322,753436,805660,805672,805668,751880,751981,805681,516348,805688,629872,787099,805692,805691,805701,751813,805703,805708,805816,806514,752057,805724,628355,805726,629951,751976,805761,805768,805827,805872,628258,805825,805801,805781,629876,625338,805782,806555,805812,806542,628345,805808,806553,805789,793000,751913,806551,805839,752097,805838,805841,752041,805869,806562,805857,625395,805859,805862,805874,805919,805900,805897,625500,805931,805920,805904,625491,805907,625520,805928,805938,805940,626216,629880,508360,629905,433948,629903,790387,512097,753492,752352,628322,752353,496360,810986,498260,629931,791797,821878,806838,806767,810989,806753,806756,806765,790478,806783,806784,806833,798900,806870,806885,806853,806842,806843,806860,806857,806932,806887,627046,806926,810991,806893,752322,806907,627118,627130,806902,628543,806989,627223,628572,806957,806967,806944,806973,806949,806961,807015,807002,629963,806985,789603,810992,806992,807019,807060,807071,474606,628681,628354,499881,790769,628360,500099,628369,807065,807058,807047,807040,753441,807080,807085,749697,851332,628388,503014,628367,628371,628414,628361,628493,628394,628405,628409,789765,629926,628402,502269,628445,628446,628479,629928,628839,790886,629938,789847,629934,628455,628449,628452,790898,628486,628489,628457,789913,628472,628494,629218,628000,627040,627056,627043,628592,627068,627055,627032,627060,628594,627030,629942,628580,627034,627050,629946,629953,627095,627142,628528,627078,627098,628497,627051,628004,627041,627084,627103,627038,627075,627049,627054,628574,627147,628531,627064,627061,628512,628523,627087,627090,627101,627196,627217,627226,627086,627088,627140,791893,627159,627163,627081,627105,628536,627114,627120,627178,627210,627107,627097,627092,627102,628533,627100,627187,627244,628545,627128,627109,627116,628554,628588,627132,627151,627157,627185,627124,627131,627145,628529,627981,627162,627177,627148,627175,628562,628029,627169,627179,628565,628542,628619,627158,627167,627191,627188,627215,627219,629948,627957,627193,627199,627192,627170,627212,801587,627255,628585,628593,627200,627209,627216,627222,627228,627230,627203,627208,627220,628556,627221,627235,628587,627227,627237,630078,627239,627256,627247,628018,628693,628581,627962,628578,628006,628684,628611,628008,628616,627979,628614,627971,628596,628602,628025,628030,628041,628049,629976,628718,628689,630076,629962,628683,628695,628690,628747,628730,628720,628705,629984,628726,628725,628748,628714,628742,628752,628757,628763,628830,628778,628753,628813,628768,628769,628772,629981,629982,628781,628775,629977,628882,628780,628900,628858,628857,628806,629023,628837,628883,628872,628975,630050,630086,629189,628915,628923,628868,501245,628817,628815,628828,629024,630063,628894,629026,630045,501402,628903,628809,629985,628930,628818,628811,628847,628836,628859,628885,628825,628826,628827,628833,606555,628835,628881,628889,628973,503036,628933,503093,630143,628860,630021,628875,628944,629128,628842,503947,628909,629034,628886,628941,628920,628991,526775,630000,628892,628950,629015,628927,628924,630062,630065,628952,628890,629005,628963,628997,629013,629052,527851,629028,628945,628984,629103,628907,529775,628958,628922,629000,628956,628960,628990,629031,629041,629001,629009,628954,628971,629002,628993,629120,629159,628921,629092,628940,628964,629082,628972,628994,629049,629124,629033,630012,629075,629045,628977,629060,563318,629127,628981,628985,629016,629067,560543,629065,629022,629019,629056,629091,629115,629017,560647,560668,560675,560662,629069,629050,629054,629117,630020,629042,630010,629140,630125,629152,629066,629046,630093,566641,630019,630007,561296,561336,630023,629118,629150,561326,630057,629130,629209,629233,629284,629148,629076,629179,630132,629151,629172,629137,629160,629279,629306,629100,629122,629102,564302,629244,629149,630026,629170,629138,629141,629267,629356,562930,629188,563482,629165,562921,630034,629304,564354,629310,630038,629176,629190,629191,629240,629351,629245,629311,629340,629180,629216,629173,629249,563650,566671,563731,629390,629215,563806,629238,629290,629204,629193,629224,629269,629237,629227,629280,630052,629219,629223,629212,629251,629264,791985,630047,629263,629345,629382,629398,629289,629271,630040,629242,565587,565593,629229,629257,565574,629252,565683,629273,566762,629274,566789,566782,629282,629323,629393,629276,629383,629391,630081,629428,629414,630053,629353,629298,630054,629364,576518,629348,629346,629321,607427,573543,630070,567377,629371,629410,629430,630092,573550,629402,629415,629339,629362,629412,573585,629446,629418,629450,574779,629347,629366,574792,629374,629433,629463,573653,630074,629461,629492,630096,629392,629378,629423,629380,629464,629416,629475,629448,629408,629445,630133,629431,629465,630137,574889,629441,629420,629460,629489,629470,629494,629474,630107,611416,630116,630099,579786,579904,580296,630119,580284,580112,580164,630118,580130,630109,630106,582647,630141,630144,792136,630150,630154,603789,603791,603793,603794,603796,603994,603821,603823,603824,603825,603996,603827,603828,603834,603835,603836,603838,603999,603840,603841,603847,603848,603849,603851,603858,603859,603860,603861,603862,604000,603863,603864,603865,603869,603870,603872,603874,603875,603878,603879,604005,603883,604006,603888,603890,604013,604019,604025,604028,604034,604035,604039,604041,604049,604058,604062,604063,604064,604065,604068,604069,604070,604073,604075,604077,604079,604080,604081,604083,604085,604086,604087,604093,604094,593318,604096,604099,604100,604101,604102,604104,604108,604109,792302,604110,604111,604113,604114,507882,603654,603642,603643,603648,603650,603651,603655,603657,603658,603660,603661,603665,603666,603686,603689,603668,603672,603674,603675,603676,603359,603361,603687,603693,603694,603698,603700,603701,603703,603706,603707,603365,603709,603366,603367,603368,603369,603370,603714,603374,603375,603376,603959,603952,603974,603976,603961,603962,603963,603966,603970,603971,603973,603756,603986,476303,603534,603537,603762,603764,603543,603767,603769,605669,605668,605682,605683,604343,604372,604377,604344,604373,604348,604350,604364,604354,604375,604322,604319,604316,604317,604326,605675,604323,604367,605677,604329,605684,604370,604327,604331,604338,605678,604361,604347,605681,604385,604387,605698,605702,605704,605706,605708,605710,796468,537588,564294,606550,520771,606557,606558,605745,606560,606562,605744,604416,604411,604412,604414,606563,605756,606577,606578,606570,606571,606580,606572,606574,605755,605758,606589,606602,455944,605764,606601,605765,605777,605768,611612,606596,605769,605771,606582,605774,606583,606598,605781,606606,605783,609265,604447,605786,605788,606612,604455,605792,606613,605795,606615,605805,606603,606616,605798,605800,605801,605810,606623,606626,609264,605816,609267,605817,609270,605820,605825,606621,605840,604486,604488,604500,604514,520976,511392,610302,609271,605850,610307,604524,604525,609269,605858,605859,604536,605888,536003,604539,604537,604538,604540,604542,604543,604544,609273,604573,604556,458288,605875,605872,604555,604554,604559,604562,604563,609277,604564,605884,604568,609292,604588,605894,604579,604583,607256,604584,605898,604590,604596,605899,604595,605903,604591,604592,605902,604597,605904,609295,609280,609281,604622,604623,610314,610319,510266,605930,607774,610316,605928,495975,551292,605922,605927,605931,536854,605932,605936,608368,608370,605937,605938,605942,607261,609303,605945,607332,611239,609351,607264,611250,609354,609304,607337,610326,607270,606025,607272,606011,606006,607275,607276,606015,606023,606018,611254,608338,607277,606740,607279,608341,606733,608342,607283,610328,607289,608348,608349,609320,607295,608350,610329,609322,608353,606759,608355,607302,607304,611242,607306,608361,606769,608363,607309,609327,606772,606773,607310,606774,606775,607312,608372,607313,610332,607316,608378,608380,608382,607322,608385,607323,609336,609339,607324,607327,501148,608389,609343,610346,609342,607359,608430,541008,607333,608402,416676,540857,592656,607360,607334,610352,610353,608403,609355,609356,512263,610349,610355,610356,607340,609381,611258,609360,796058,607343,610359,609362,608409,609364,607344,608410,609365,551258,610364,611267,591347,611269,591359,608417,609371,607349,611271,608418,610366,537194,611272,608420,607353,591350,608421,537232,609373,611286,540939,591354,542759,608428,608424,607357,609377,590479,608429,607388,608432,607365,611313,608434,608456,611314,608440,609384,524744,609385,608442,611292,522807,611317,522903,607376,608446,540144,540172,611295,607378,590504,608447,611296,607380,527985,529757,611299,611301,608462,591390,608450,527200,608451,611303,591383,609392,607386,607387,611307,591387,608457,592730,611349,611354,607389,608518,530900,591397,539446,611360,608465,590540,565223,590543,608527,590544,542967,590546,591404,542962,592739,797499,609438,542996,591406,611319,608471,611321,540339,590557,591454,608474,609453,611322,590562,540518,590564,609407,608520,591416,608484,543276,543295,590578,606912,543894,608489,821917,611336,608500,609419,591430,609421,544966,611343,591437,592719,591438,611346,591441,611348,591442,591460,590602,609430,608513,608516,608529,546779,608587,609433,608533,546862,601264,546885,592733,608538,609470,591463,546926,608536,611386,610416,591469,610417,611357,610450,610418,591471,608548,610421,608549,608550,611392,610422,601271,591478,590636,601272,591479,601283,601284,609445,609446,611363,608557,590646,591490,610433,608563,601298,609450,601299,609451,610436,608565,550690,609452,608571,609454,608572,601306,608575,601310,591508,601312,609455,601315,552783,591509,608581,608583,610443,601318,553513,609459,608584,794728,552932,608585,609463,610446,553549,591527,609466,607438,611387,611470,608597,611390,608603,609508,608604,608606,592769,610453,607505,608608,611398,608610,609512,610456,611472,608612,610458,607436,554882,608614,611403,607450,608615,611405,611406,608619,611412,607452,609477,611414,610467,607455,601356,601357,601358,601360,601363,601364,592101,601369,609481,610469,611417,611466,601379,601380,601381,601383,592789,601387,589782,601388,601392,601655,611487,601394,607460,611419,601404,601405,566622,601409,601411,611422,601413,601414,751866,601661,608630,601419,601420,601422,601423,601429,611510,851347,601432,601435,601666,594301,601668,611432,607474,508233,607476,407789,591553,591555,611515,601673,590906,590793,590781,607480,813916,592835,601679,590801,590795,601685,608636,591606,590834,601687,590945,493393,511354,611436,607482,590825,590866,811295,493968,591565,496950,591633,590914,590883,590939,609489,590874,607483,590889,590918,498013,590869,591580,474554,611437,591585,590897,590905,591582,590896,591576,590930,590923,590949,611439,591584,591587,590975,591618,590954,592833,591602,591629,607472,591617,590972,590991,600961,591623,600966,592852,607487,611549,507921,607489,600976,600978,553032,611443,601003,455123,601008,601009,601010,601012,601018,592842,601021,592838,601023,601034,601035,601036,601042,601043,601050,592851,512199,591225,609495,601064,505184,795921,512252,592867,611451,592873,592877,611456,611459,592880,592887,592889,611468,592891,611461,515879,610487,611464,510115,594319,607503,496757,496847,608656,593011,594314,594331,594338,594344,474348,487504,594305,594342,593017,608659,560416,592994,594357,611478,593014,593008,594347,823370,593013,594317,594329,594365,593027,611480,594343,594358,594350,594370,503207,593130,594393,611482,593125,594356,593147,593137,612328,593101,593179,593106,593301,593312,593330,593365,593309,593181,611484,611485,752367,593193,593276,593389,593359,593392,594386,593336,608663,593237,607516,593354,593348,593342,593299,593378,593403,608665,593322,593397,594396,748902,608668,593406,607520,593358,593350,593381,593369,593380,593383,608670,594413,611488,608671,611490,602062,602066,602073,602075,602079,602080,608679,608681,611496,602105,611500,602111,608683,602114,602117,602116,602119,602120,602124,602126,602127,611504,798955,602130,602131,608684,602135,602147,796048,602151,602165,602188,602161,611508,608689,602176,602180,602178,594636,602179,594659,594652,594669,602187,610504,602190,602194,611511,594649,602197,594640,594661,602198,594650,594634,594667,602202,602205,594637,602204,609529,602214,594651,602199,602208,594665,608701,594662,602221,594654,602225,594674,594683,602228,602230,602238,602247,594682,602241,602233,611513,594690,602235,796051,602243,594685,602246,594692,602244,608703,602278,608704,607534,602277,602282,602293,602308,602289,602292,602294,602298,602300,602302,594772,602304,594778,602310,608707,602312,594790,602314,594783,494592,602317,602328,602329,602330,602343,602331,602333,594794,602338,607536,602344,501266,608708,602348,602350,602353,602363,602366,602370,608709,602375,602378,602380,602386,602382,602385,602392,602395,602394,602396,608711,602401,602403,602409,602410,602427,602411,602412,602414,602418,602419,602422,602420,602423,576478,611522,602434,602445,528000,602444,611523,608713,602447,602452,602461,602462,602464,608715,611524,608717,560466,560461,611525,610513,560512,560482,611530,602518,602520,602521,602522,602524,602527,602529,602531,610516,607541,602534,602536,602537,602539,602545,602550,851340,602551,602553,602554,602555,602557,611532,602563,602564,608722,602572,602574,595019,574637,611534,561228,560638,560651,611535,608726,611537,608729,607547,607548,576485,607551,608732,608734,561240,608765,561248,796232,608735,561260,561316,608768,561301,608740,607554,611541,611545,563406,609557,608748,563409,607563,610673,610523,609559,612323,608753,564300,498149,609574,607565,563455,562758,562966,611556,562736,610527,607570,607572,611562,608766,611565,564340,611566,611568,607584,612326,607580,563706,607581,563823,611682,563842,608770,608774,608779,608778,607587,612349,607588,608780,608783,798965,610539,608784,610586,608788,608791,574689,566712,612327,609590,607595,610590,573502,579681,608792,573507,611590,576515,608794,612329,608795,612331,611595,573519,611596,796609,801869,611598,574720,612333,611600,611603,574733,610592,573577,611610,611611,607607,573614,574768,573628,609604,612356,611615,573643,611619,607614,607680,608804,611621,608806,612334,607621,607622,574822,576536,574876,607624,611624,574837,607625,574890,576544,611672,607626,611628,608838,611629,612336,611673,607634,611631,607630,611637,611639,611640,611641,611670,608839,607639,607640,609621,612339,610567,608815,610569,607644,611646,576585,607646,611647,609626,607649,611648,611651,609628,611653,607653,611655,576595,611657,611677,607654,607656,611659,607657,610578,607658,611660,608825,607659,607661,608827,608849,608828,607663,607664,610580,608829,579673,607665,579670,611663,611665,579672,612346,608833,610582,611667,608840,611668,607673,579678,610583,608835,607674,607676,579687,579699,607681,607682,579777,796590,580161,607684,607697,609746,607687,579772,579817,579842,579875,610593,609738,580261,610596,608855,607704,608852,607703,611678,607705,610598,607706,611680,580289,608856,607708,580096,610601,607711,608890,580332,611686,610604,607712,609666,607720,609667,607716,609668,607647,611687,610605,609670,607718,612359,612374,608863,611694,610611,610613,610615,610618,582632,607726,608872,610626,609676,609679,607730,610638,609680,610641,607733,610643,612369,610645,609744,607729,610649,610650,608882,609688,610653,607744,610655,607745,609691,610657,610659,609694,608887,608888,609695,610665,607749,609700,608893,610667,607753,609701,608897,508279,610668,502184,607755,610670,610671,607756,610675,610678,610679,611722,607759,608904,607763,609699,607764,607767,607766,610686,610688,610689,610692,610695,821899,610704,610703,611728,609717,610706,609715,610712,610729,508342,610723,607776,610726,609721,607778,607779,611708,609713,612377,611710,609723,610737,609726,612380,610745,610746,611715,607782,611716,610750,609722,611717,610751,607786,610753,609736,607788,612388,607790,607792,607791,612396,612398,609750,611734,607797,609754,612402,609759,609767,608957,607815,608981,608986,607813,607820,609848,608949,608945,610805,608953,610773,608956,607822,610779,610786,607923,607818,609772,610778,608960,608977,609800,607884,607908,610783,609796,610791,607843,608972,607872,608982,610814,610846,607854,607890,608976,610801,607849,610788,609849,609874,607844,609804,607855,609797,607852,607878,607847,607858,610810,607853,608989,611754,610809,610796,607889,607905,607880,610802,607862,610819,610824,608979,607883,607927,610826,609833,607904,607877,610806,610833,610841,610821,609826,610861,610836,610860,610829,607902,610839,610848,607910,607918,610845,610858,607915,610854,610871,609846,610867,607926,610859,610862,610835,609851,610849,607939,610851,610857,610885,610855,607956,607960,796844,607941,610902,610872,610874,607953,610869,607966,610879,610887,607957,609818,607955,610893,609853,610883,610904,607979,607984,610896,610923,609870,607990,610901,798154,609867,610912,608001,608020,610907,609869,608013,751870,610915,610956,610917,609927,796899,610918,610922,609932,610927,610937,610932,609923,609935,610960,799054,609934,609924,609983,610962,609941,610037,610947,610952,611769,610949,609176,610958,609968,610021,611772,609967,610082,502342,612495,612466,511213,612482,612477,611908,612595,604843,604886,604884,604910,605451,605452,604927,604980,604951,604958,604965,604935,605007,605126,605132,605161,605211,605216,605304,605315,605249,605280,605271,605276,605344,574649,605342,799039,799043,507948,519537,510952,519574,519579,519580,515880,515892,515878,507086,516001,519690,516812,511000,516814,516021,537573,490415,537576,520712,537590,516041,537598,508099,516847,514927,519920,514728,514727,514762,514777,520835,514791,514806,514801,514827,514864,514842,514962,514856,514868,519863,519875,797915,508198,519909,514905,508187,407931,445261,516177,408924,811317,508247,516990,407874,515033,798009,811319,508403,517047,517058,515154,438041,519003,535914,512192,509156,551187,512206,516315,511179,522206,511189,515259,515263,551199,522187,491410,505361,511212,511221,511224,551212,515248,752139,451852,451879,509948,514254,551219,551224,491823,535952,535986,535958,798335,535994,535963,493094,509990,535998,512306,492338,512311,510003,551240,536002,551248,510017,510022,535973,514395,493240,535976,536005,535981,492926,535983,535987,473763,493087,456277,512549,512555,494725,517303,536822,494019,494988,536026,798402,536828,799206,536028,536018,798435,481676,512418,536030,510170,496782,495763,496854,496938,512774,510254,495904,510265,510282,510280,495929,543433,495991,536040,798480,496004,496049,496063,536044,536045,497237,497233,497186,497219,534960,551309,473782,497902,498158,498136,498176,498169,534968,523531,523527,534972,536859,534978,488398,487513,521060,523553,519420,521078,536867,521148,523604,521170,523637,523934,521204,523650,536121,536122,799499,536127,515535,536134,515565,536137,536139,536142,536145,523749,536152,536153,523886,501286,501365,500930,500905,501010,501067,799517,501622,799626,536192,799679,506838,476360,799563,413941,535184,535201,535166,535163,542812,535174,535182,535192,540861,535205,540125,504996,508377,508402,540868,447227,511178,511262,450692,491377,800783,540872,502042,540873,493099,511352,540875,511363,510004,511391,512350,540879,506152,506175,506265,458187,510168,496889,536981,496926,510252,497017,510275,487742,475404,475511,488698,500235,511733,442724,450711,538214,538231,538217,800773,538222,538225,432067,538235,538229,538232,538241,541011,538331,540911,540916,540915,537175,537208,540919,540922,540142,537200,540937,537218,539147,537228,540923,540140,803330,542753,537249,540927,540138,539132,539122,540928,538502,821938,539124,537265,540933,540932,537275,537281,539134,539136,541014,542819,540952,540942,540072,539141,540946,821951,540948,540955,540133,537302,540954,537291,537308,540953,540951,539167,540101,541016,539162,540109,540088,539170,540104,540107,540120,540962,540103,540965,540114,542772,542765,542784,542763,540112,542768,540969,540115,540971,540135,540117,540980,542777,540123,542774,801834,540976,540116,540984,542781,540989,501283,542797,542785,540991,541022,542789,542798,542792,502006,542794,540130,542801,542804,542810,503370,546661,529626,580336,809986,540147,546664,526735,580337,526743,526745,522547,526771,522585,541767,540151,541034,540153,541035,546666,527785,526820,540157,524772,522835,522844,524835,526847,524799,522891,522920,522936,526854,524860,540165,526858,540168,802061,540174,527843,527855,528922,528938,529746,529738,529797,527957,529745,529754,527949,565171,527952,529750,527974,527980,546672,529763,527993,529799,529817,540183,529814,527225,565179,528206,529863,529845,529851,540190,539302,539313,539321,539315,539327,500641,802240,540197,539331,821252,530700,539330,822109,539342,529419,539344,546678,539345,565220,822116,540220,539353,539362,539368,539371,539379,539418,539436,539492,539420,539467,565185,539454,559907,542963,542952,821266,530863,530880,530926,530922,541768,539498,539488,564288,542956,563758,539506,539513,539519,541113,539609,539598,539541,541116,566872,541122,541138,541125,541135,541134,542972,574751,565189,541142,539628,539643,541144,532106,574808,752330,541151,541150,565228,542988,541154,541164,541161,542998,543023,821358,565193,540301,543095,540302,543109,540321,540306,821391,541802,543104,822291,543113,543118,543134,543129,541806,822252,540388,565568,543214,546720,543265,540412,540537,540426,543252,543221,540498,543284,544685,540538,543835,540545,822269,543237,543851,543840,543900,543340,543836,543856,544730,543846,543841,543853,543300,543854,543871,543308,543348,543353,543379,543889,544694,543372,543389,543887,543879,544692,543896,544695,543890,543914,544707,543907,543902,544698,543904,544700,544710,544708,565204,544764,544754,543952,544712,544759,544716,544769,544757,544723,544744,544771,544727,544750,546698,544748,541423,541411,544800,544828,544760,544766,544807,541426,544794,544793,544783,544868,544785,544811,544791,544795,541451,544804,544805,544816,544875,541904,544830,544946,541933,544849,544869,544833,546705,544836,544866,541888,544843,544852,544860,541482,544138,822414,541559,541909,544917,544937,544264,544967,544153,541556,544909,541896,544955,541939,541929,544943,541900,544933,544923,544911,544277,544919,544935,544971,544979,544987,544269,546713,544298,822392,822429,544287,544960,544305,544910,541936,545018,541927,541930,541934,544977,545077,541946,541944,544996,545023,544975,544990,544980,545041,544993,545000,545073,542029,545053,545017,545020,545080,546715,545034,545079,546723,545043,545031,545091,545092,545060,545070,545098,545063,545075,545072,545094,545101,565218,546718,565216,822488,546721,546729,546766,546734,546769,546725,546728,546751,546736,546754,546758,546806,546776,546852,546781,546802,546780,546800,546805,546891,546836,546828,546857,546838,546841,546856,546848,546845,546889,546873,546875,546869,546897,546962,546987,546936,565231,514995,565233,508271,512127,565234,517049,508355,553426,508359,548696,553574,548685,548672,553430,565237,823879,501702,553435,527627,553437,502450,550495,550486,548977,553442,521122,550522,523601,550500,550540,818259,553446,523800,550565,550549,553450,553452,565243,553455,550680,550749,553456,553085,550741,553457,553459,824057,824072,553460,553461,565245,553466,549959,553472,553473,615024,619700,553474,553476,552827,552885,553475,615863,614386,553477,552151,552870,616874,553481,553486,553137,618039,552135,552155,553148,565250,566568,576451,553189,553205,552860,553497,605190,605193,605349,617061,553518,553564,565252,552894,553511,552960,818265,552901,553515,553533,553516,552923,553195,553172,553523,553209,552926,552931,552937,553525,566571,553527,553535,552942,552954,553530,553538,553570,553233,553245,553542,566573,553575,552966,552997,553578,553053,553120,553581,553598,553646,553659,553747,582642,553752,565261,553756,553744,553763,553760,553766,574583,553803,565265,553828,553822,553972,553952,554055,565275,624844,574588,812495,624918,554760,566580,576456,625254,565278,554822,554898,625309,554904,554941,574596,574595,566583,628326,566616,574597,566587,812506,628416,628438,566590,574600,576460,574598,574601,627110,627232,628558,810185,565287,566593,628751,628911,576461,574607,628829,628874,628871,563271,574610,576463,629053,629059,560410,812520,565297,563273,629208,629375,811498,630058,629472,629480,629476,810272,811513,629436,603829,603832,603882,576468,604088,604091,603956,603957,551279,476274,606834,606835,606845,507801,476338,476331,608455,506850,607391,608481,611353,508963,607435,506845,506859,507823,476381,591522,506873,504237,506883,506886,601390,601669,590823,506901,506902,506904,473773,590926,590881,592843,504256,601005,601040,507875,507876,506940,508975,510937,507881,507850,506954,594290,517742,519538,810665,506974,519546,510944,507955,810690,507960,510956,602169,507966,507967,602209,566601,602281,507907,490088,507908,519541,506969,602454,609541,608721,507020,509004,507026,566755,510946,574860,611627,510949,579719,607696,610762,609671,582637,507047,607731,583967,609697,507974,519568,519569,519571,610755,607800,519572,507985,519575,519577,507988,610843,516762,607946,516765,610910,811809,563276,510962,608016,507017,609921,515843,490197,519660,515898,516791,516796,515889,515900,515888,515887,515884,515896,515907,515966,515897,515893,515899,515982,612427,515903,574612,519668,510994,519612,811915,519618,519619,519621,507078,507088,748977,824957,519637,519641,515991,519642,519622,516819,516820,509039,518718,507117,467601,518720,518713,818308,518671,519662,519663,513280,515983,515955,518673,519664,519665,515985,518714,518674,515986,519672,516962,518676,518677,515988,518678,518679,515989,518680,515990,467668,515992,815167,518725,518708,515997,516000,515998,509027,511186,515999,514206,510986,519684,519686,416742,519687,519688,519689,516004,518697,519691,518700,518701,576469,518726,518702,518727,811955,519695,518704,816361,518705,467565,518716,516811,467578,516813,467585,511001,518717,467574,815177,467596,536008,812056,520670,510294,516046,518742,516002,520692,511035,523558,511026,523635,508130,508132,516020,511029,516024,511030,516026,519775,519777,516028,519856,519778,516029,519782,520703,511032,508144,519785,516032,519787,519788,508076,851374,512348,509042,511038,509044,511039,516038,512079,516031,516042,516045,455111,519806,455113,455119,455121,563277,519811,519817,507202,519816,519818,526826,516054,516848,508112,516850,519833,520755,508118,519850,508119,519844,519845,433932,508120,433911,511019,508122,521614,508125,519854,434190,521616,518838,516052,541147,518877,520674,518845,511022,519849,520672,518853,514928,519903,519928,519904,512091,519905,514931,519930,519911,519912,519913,519914,519931,546710,541923,544310,519935,545025,508156,518894,815258,518896,508167,514960,514731,514723,514734,514735,508169,514741,514729,546884,514794,508172,553422,514726,514739,514733,514967,514737,508173,514774,514766,514772,514773,516120,514953,514760,514764,508143,514768,514958,514770,514769,514776,514818,514820,514814,514950,514793,514948,514803,514945,514792,511040,514957,516139,514860,514830,516141,514826,514812,514813,514828,514845,514854,514824,514822,514851,514857,514859,514839,514954,514955,514840,514843,514848,514867,514869,514855,514890,514872,514862,514865,514870,514895,514894,514965,520818,519860,519864,519888,520822,519865,520836,520823,520824,520830,520828,520758,520765,508188,520760,520763,519927,520766,520769,519885,519872,520827,519873,508190,519877,519879,519880,519881,521634,519886,519887,553566,514897,514903,508195,514892,514901,514896,514906,514899,514908,553118,508200,514964,514929,508201,514947,530823,514969,519955,519956,511081,508258,506840,507849,476398,476443,506925,490031,507865,508984,507871,490048,507880,510945,507884,507886,507887,816363,507888,507848,506962,507854,507855,490071,506957,563283,490079,507916,507919,507926,510933,507928,507931,510934,507935,507936,507937,510935,507933,507941,510938,506979,507945,510940,507950,510943,507951,507952,507953,507958,507961,507987,506987,510928,506998,490062,510930,506963,507911,816872,507913,507994,507024,510968,527712,507025,507028,515996,518703,510950,510951,508003,511033,507055,508008,507978,507015,510963,509037,511002,511004,510971,507084,508259,516163,508012,508215,816896,816903,508217,445246,507121,815564,513273,816912,502049,502060,511020,511024,501999,509015,511042,815786,510985,502074,502086,510987,490309,510991,510993,510995,510996,504653,502129,518951,511005,476308,802794,508134,508135,508137,508141,527717,508075,414841,656916,815934,508097,455115,455116,455117,455118,455122,507200,508101,508104,507203,509049,476314,817008,502151,508111,434123,508116,508205,502189,508206,476322,508207,508150,508151,508154,508155,508157,508160,508165,408050,803352,407995,508257,504212,445219,502168,508203,445230,507261,508214,508277,507264,406733,445325,409015,508226,507273,508228,508231,508234,508242,445411,508248,817083,508251,817098,509093,445433,508328,446102,566611,446107,446113,446124,508336,445807,434612,434638,508260,508261,434658,434689,434703,508264,508266,504968,508274,511094,817227,489423,489412,817186,410147,412257,846095,574625,434918,434944,811004,445504,445515,408943,508307,506839,508312,508313,817371,508317,476281,477092,818735,477103,477120,509121,818577,490920,477152,818636,477162,490932,606842,506849,477366,477276,455948,506858,818923,505020,476366,509140,512135,819007,819049,508398,506862,490794,490870,507819,490813,435677,435727,490833,476376,435817,504224,506865,506866,502279,508350,508352,508356,563289,504229,428930,490880,509878,508333,441791,512170,438043,438045,506890,507825,506878,509163,574623,512203,491050,512204,803858,505074,506880,476389,505080,509173,441843,441852,447190,512180,447241,441862,447208,447157,447022,438964,476348,447006,438974,443325,512188,512187,506888,505107,512193,489976,512195,443317,506895,505126,476415,512198,506899,505135,508415,508416,505155,505148,490974,505153,511127,491019,511131,511133,442712,511139,448128,437982,804389,437992,505058,505197,512221,425061,804452,426864,426940,509193,431347,505207,439827,439840,505211,439852,439859,439855,448733,448736,507846,512200,505242,512207,448943,511164,505261,510954,507912,422141,507991,505275,507992,511172,511175,510997,502131,508105,505171,505174,511185,505179,511191,508272,509898,412032,435050,445549,477226,438033,511146,512189,512190,447758,511194,511260,448950,511168,505282,448253,574621,511181,491217,441554,449893,511263,505310,509902,511247,511266,511248,450676,511214,449860,441544,449831,449804,449870,509918,441574,509905,472780,511286,511302,509934,511307,509951,512270,511255,511273,511244,441880,450730,511355,819527,450745,512251,472627,472649,510013,574620,505353,493181,757508,450780,491867,450784,512545,512559,494664,494792,450798,510122,511215,511250,511217,511219,512257,496811,496865,500554,502433,472757,511229,497965,442572,442614,442738,442697,442725,488943,512239,502361,505424,752193,512241,509924,511291,511294,511295,443358,509929,443410,443430,443386,451648,511298,451725,443475,451805,443506,511300,443539,509262,451786,451774,451799,509937,509940,451855,451883,451939,451962,509942,462809,512254,846147,462830,509952,462819,512274,462881,512259,462865,509956,512265,566613,512266,512273,511246,452805,512276,452784,452731,452832,511253,452773,452764,452816,452748,452826,511257,452850,452884,509966,511267,526680,491791,529611,512288,491989,492048,492043,502252,512412,512402,473788,511339,509985,493092,511348,511349,846056,464602,493116,509996,511358,502951,511361,511362,526768,511366,492308,522938,512411,511378,509994,846265,559806,527723,509997,511375,562345,564303,509998,493122,492421,510000,492265,563713,510001,566793,509287,574724,574735,574841,512309,492352,492356,579856,580116,511388,582715,492367,512312,492368,511377,512313,510006,492410,511380,492436,493173,511385,512317,510009,512301,493132,576472,492459,511397,493144,493182,512321,511399,511400,510018,511404,512324,510020,512336,512325,493164,846098,512326,511421,511429,493199,512331,493189,511418,511417,493401,510024,512328,829025,493212,493213,511416,493220,511436,511424,512343,493237,512338,493281,511431,511434,511432,493285,511433,493363,492700,492693,464615,463761,492791,493293,492802,463825,492827,492817,463855,492825,463875,492866,492860,492917,492871,511462,492896,509309,456103,512417,464772,757520,492966,492959,511474,492951,492994,493318,492987,473734,511491,511501,511488,493081,493323,491829,491851,473758,511490,491887,491894,491947,502243,491934,511494,846072,493337,492014,493083,512445,512449,512451,512455,493436,512456,512457,512468,512541,512471,526684,846075,482322,465595,482667,482695,482690,465823,456260,456131,512543,456249,846078,456293,846346,512564,510117,613865,610365,846080,618015,629927,512546,566645,508236,512539,512547,508309,510101,494574,494608,457648,494623,511204,512544,511209,509927,494642,496023,512554,512550,494654,497986,512551,498172,498154,512552,512561,510094,510097,494714,512556,512560,512565,494683,512562,476285,494754,604320,494730,494741,494700,606585,494713,846097,510102,609341,613263,592711,494745,494757,601426,510107,510106,601408,601662,613330,510108,590951,614024,593371,614087,614931,480877,607652,619668,612553,510110,493777,615160,617069,472452,472453,616096,616774,494833,493808,604896,605420,480934,617056,472463,472470,619027,619125,472468,621002,620998,494859,629834,621738,510114,621266,621359,494877,494986,625222,494894,625449,625369,498162,494926,506160,494970,493936,493933,496947,506145,500389,629922,480950,493939,494914,502305,510121,627057,628856,628884,628849,629143,579742,604118,603653,495008,605762,606599,493988,494008,607358,608435,591374,493960,607390,609405,608479,610415,591468,610451,610465,493993,846111,611509,590964,600992,494007,510124,509993,593110,611491,494938,494025,506266,494030,602560,561215,607544,494052,506194,607560,607648,608857,608892,610831,519613,494057,494067,519857,551180,514233,535971,511478,492998,498123,541017,522884,540176,529780,543227,566673,552880,494081,846276,519539,413282,518870,514841,846123,846151,508347,846162,511192,443613,512529,510118,496800,495020,506221,446127,564358,846206,846411,846412,846211,846419,846260,506278,846226,846239,846353,846340,846193,611330,591425,611262,846330,591548,614097,602191,561227,566720,609672,614993,846272,610722,614285,609739,611736,619719,846319,615846,608021,608023,610909,619738,592884,846322,616791,604842,846234,846231,623989,621880,624950,846268,846316,516194,508191,628285,628294,629915,496745,628365,628362,628380,628421,628466,628584,628597,527996,630022,629327,593240,611486,608816,608819,609686,495220,607781,609966,535925,536024,846338,846307,529841,530915,540519,515994,516003,462855,474598,505195,579826,508238,477202,520909,511148,496970,474575,609423,591446,609709,607893,615871,846373,448753,613827,613836,611331,553219,613270,613403,614870,607575,607577,607578,563838,619654,590879,614282,610908,620743,605186,498254,515047,515054,520861,511090,434711,520867,515099,490945,477187,517046,508365,515164,512179,522168,509165,509204,511173,514194,847949,514224,515255,511285,511288,509958,520963,520975,511497,511359,408970,512466,512480,517269,523473,510182,512789,510267,510270,510297,510284,496975,510279,496984,510302,496992,510320,495947,497073,523494,498094,474371,475356,495254,521178,521177,523757,604337,603766,603798,604382,606566,613828,613829,609325,607307,613835,605876,613896,613258,608506,609424,613286,554770,601399,601403,601406,613331,613341,590919,496916,605275,629287,608946,509931,593005,592998,607515,602102,602299,602430,614877,614885,590799,607582,610823,537595,805218,496881,614144,608738,553657,497042,488460,566676,563803,619661,574828,848005,614224,607589,614194,620689,611635,610572,607662,608831,611664,579704,619664,614233,614989,607737,610648,614254,615010,607770,610741,614274,614278,610749,610757,618652,609803,609798,607950,610921,609930,611795,612431,615143,615124,601024,615135,612623,614452,615174,615180,615912,615245,615298,615936,615969,616045,619768,618693,616111,616146,616169,617895,617071,617932,617903,617949,616922,617985,617984,617996,616937,616950,618152,618121,618162,618091,618108,604839,604840,604846,604853,604854,618116,604890,604901,604862,604877,604876,604866,604871,604924,605061,605099,620776,605069,605091,605112,605174,617063,605272,605258,605265,605291,605290,605255,605321,617074,618985,618989,620812,619061,619051,619056,620870,620892,628217,621060,621062,623925,624728,621211,621255,621253,621959,539308,539351,565222,624912,544862,629859,628245,847283,625113,625063,625079,625026,516053,625240,625244,498280,625478,625469,625401,625414,847356,628288,805423,472447,629912,805617,628324,805611,847279,806521,847304,805636,805740,498173,805896,847428,847458,847309,806775,806772,847272,806916,807001,628419,629930,847420,847313,847343,628470,847359,627106,847371,627121,627182,629969,628754,629058,629089,630017,629132,629236,629166,629384,563000,629258,629277,630043,629259,629439,847473,603691,603692,604353,604360,606597,604473,604511,847351,611252,607296,611241,606760,609347,610357,847364,607363,611315,590605,591400,608476,611337,610437,608617,601361,609485,520826,517069,601682,590877,590885,611448,592858,464708,594318,593023,593366,611495,847449,602321,607535,607552,611559,564316,611684,608773,611592,607613,611617,607627,612353,608869,610633,607739,605309,462776,491805,514458,502420,498215,523529,521113,537240,524805,529731,542980,544745,541465,544110,546708,546842,565277,847633,565289,507866,516849,508166,519954,444165,507879,507917,508011,508268,529629,451870,512410,495263,481715,496896,496073,848401,848407,848374,848389,848341,848355,848365,848403,848417,848436,848348,848350,481698,848360,409047,848377,848363,848385,848369,848384,848372,848408,848416,848413,848470,848398,848434,848476,848418,848432,848451,529615,848479,848443,848505,848466,848462,848477,848484,458291,481664,481706,481722,481690,481741,458293,481826,481836,481800,512436,560695,564286,850802,563814,512428,566814,573655,482100,512431,510166,496777,496815,510185,502370,510183,496831,496812,510187,496728,496822,496828,496858,510209,496685,496826,496775,510213,496892,496903,496958,496876,497008,496770,496808,496825,496901,496888,496840,496924,496817,496804,496832,496786,497024,496739,496836,496818,496802,496835,496819,495767,496850,495761,496944,496887,497039,497015,497040,496910,496969,510237,496859,497079,497065,512845,496872,496878,496907,495895,496898,496930,510268,496891,496915,510264,510258,510296,510263,495891,495881,496934,496965,495916,495905,502392,495938,510289,496028,510300,495925,510290,510291,495926,510299,510298,510337,512834,495930,496993,497000,510315,510318,495961,510316,510321,510333,510326,510328,497035,497086,497055,495957,510340,486769,486816,495964,496003,495958,495970,496976,495983,496018,495997,495993,497038,495996,496002,497101,496025,496078,497083,496089,496096,496108,496123,497171,497214,497200,497225,497177,497221,497232,496221,496350,496291,496270,496252,496303,496271,486841,472691,497246,529620,472638,496332,472747,472718,472728,472739,496380,472772,502447,524020,472788,472817,497318,497851,473412,473415,473416,473660,473670,473648,473724,473750,473835,473837,496676,560415,486884,497918,497872,497876,497877,497903,497952,498007,497962,498018,498015,498096,498130,498102,498095,498217,498185,498111,498163,498133,498191,474355,474367,474377,474376,498252,498221,498232,498233,498248,498257,500374,852234,498277,498285,498381,500394,751171,474560,474579,474594,474625,474611,474699,474679,512903,474727,502912,500246,758432,502911,818091,502905,500060,487344,488409,499984,500030,529624,488427,502930,502950,502946,487526,487562,475279,500262,502926,502942,475283,487681,487711,475291,475292,487786,488486,499005,503129,809788,499083,475361,475364,475380,500145,475373,475393,475384,475401,475442,475412,475477,475418,475423,475426,502972,475433,475499,503069,502983,499214,503046,488723,500350,500351,503095,501151,500411,500407,489272,501156,501167,488920,500446,503053,500406,500426,503065,489268,500529,501242,503084,563296,787096,454176,412977,853686,793674,413109,795334,503161,503121,503159,467542,413961,819495,819721,819776,503167,503148,795358,560419,527730,455114,434164,503195,503214,445347,445396,445424,407817,446108,418199,560422,468868,435649,447026,429772,442739,443321,426779,427014,560423,449814,441558,450763,563297,500569,443445,443461,443645,451843,451889,451908,451915,835756,452839,473819,431947,431959,560426,748980,560427,413888,835793,433930,409023,836686,835833,446106,446111,411198,560431,434906,434905,410238,835886,574632,835839,413159,753499,835858,560434,891468,566625,563302,527750,500585,560438,836743,560440,563305,836062,560442,836078,573484,566627,836133,836311,811019,579644,410207,409907,412188,435698,435661,574631,429010,438969,438977,442721,442706,441878,442682,441773,452876,473593,473682,475484,475520,489263,501247,501210,501230,501233,501239,501561,501256,501259,501296,563307,501308,501640,501626,501338,501319,501333,501382,501368,501647,500954,500958,500957,500976,501524,501061,500999,501456,501109,753451,501108,501125,501536,501595,501549,501155,527744,502126,501990,501943,502058,501977,502036,502121,502088,502104,502124,502137,503116,502245,502221,502240,560451,502260,502345,502354,502329,502338,502422,502360,502365,502356,502367,502374,502401,502375,502383,502408,502482,502443,502545,502461,502441,502472,502553,502469,502460,502512,502562,502571,502538,502921,502976,502922,502968,502878,502955,502958,503026,502978,503044,503038,503002,503076,503142,503034,503008,503021,503043,503074,503088,503188,503109,503048,503055,503157,503090,503144,503146,503087,503080,503112,503119,503190,503132,503154,503124,503139,503150,503170,503245,503182,503211,503179,503227,503215,503234,503221,503408,503396,503393,503410,503385,503401,503421,503559,503969,503919,527753,529640,526747,563309,522609,526764,522766,522637,560453,526817,522777,531420,524782,524787,524796,524790,522822,522818,522846,524898,524804,527796,526841,527800,522871,522863,524884,524810,524818,522882,522904,522917,522912,524825,526853,524851,524844,524912,526855,524877,528862,528865,528874,528921,528937,528941,529748,527962,527978,527966,527989,560455,529792,529833,529812,529825,529836,528175,836465,527313,527329,527339,527367,527371,530956,560491,560464,579645,560521,560479,560509,560489,560484,560459,560473,560474,560505,560476,560508,560485,560475,560486,560599,560526,560481,576480,560517,560504,560515,560539,560520,560606,560519,560522,559650,560614,563316,560530,560541,560525,560532,560535,560609,560587,566633,559724,560560,560563,560601,560566,560588,560612,560625,560622,560639,560621,560631,576481,561225,560596,559742,560603,560589,560645,559761,560593,560597,560602,559789,561223,560649,560699,560634,560623,563320,560689,560644,560655,560659,560636,560652,560640,560641,560663,560643,559894,560693,561207,560661,560692,560664,563326,560697,560684,560670,560673,576483,560683,560686,560691,566636,574640,560698,816339,574642,563329,561234,563332,561241,561236,561238,564237,561251,574645,560775,561262,560976,576487,561283,561286,563344,561306,563356,561315,561270,561268,561332,561324,561272,561313,561328,561346,561275,561271,561353,561304,561358,561281,561303,563373,564282,561329,561307,561364,561350,561288,563357,561357,563381,566643,561318,561339,564283,563359,563361,564285,563366,563388,563368,562377,563402,562444,564292,563378,563387,563392,563407,562557,562482,562570,563404,564295,836845,563442,562766,562770,564305,562728,562722,562726,562786,563447,562764,562733,563460,563451,564306,562749,563479,562724,562783,562802,562743,562794,562756,562761,562800,562748,562791,562753,562808,562780,563469,562777,563474,562815,562811,574651,564320,564313,562950,562975,564342,562959,564319,562979,562948,562967,562982,562926,562898,562983,562997,562903,562957,562940,564322,562932,564328,564335,562961,574653,562992,564357,562986,564336,564378,564330,562993,564343,566659,564341,564367,564345,564347,564360,566663,564372,564395,564382,564391,563665,564398,563652,563717,563724,563645,566667,563684,563690,563750,566664,563658,566674,563667,563627,563703,563704,563712,563725,563662,563693,563670,563687,563696,563700,563710,563708,563771,563824,563791,563781,563851,563737,563840,563749,563848,563767,563796,563821,563792,563804,563799,563845,563816,563773,563755,563785,563777,563786,563789,563830,563835,563809,563787,563850,563859,563827,563856,563853,563869,573485,565547,748921,574671,576499,579683,566685,574673,574676,566687,573488,574679,566691,574684,566696,574687,565616,573494,566708,565542,566704,566716,566700,565618,565603,565630,566747,566743,565679,576795,566724,565623,565600,566711,566719,565606,565636,565686,566802,574692,566718,566714,565641,565668,573495,565664,565689,565673,566721,565674,576503,566797,574698,566757,566768,566819,566779,566786,566866,566818,566870,565872,574704,573503,573510,576517,573520,573522,573530,573525,573538,573527,574722,573533,576520,579685,573562,573549,574728,574731,573546,573544,573551,574737,573554,573575,573630,576523,574840,573587,573584,573592,574738,574749,573580,574742,573574,573578,574752,573606,573598,573594,574748,574839,574754,573627,574756,574798,574771,573634,574874,573625,574803,573635,573640,573644,576528,573656,573647,574788,576533,574797,574806,574802,574858,576534,574807,574810,574813,574887,574815,574843,574870,574851,574826,576538,574830,574856,574831,574849,574862,574883,574867,574864,576546,574891,574885,576564,576550,576548,576562,576560,576577,576101,579663,584566,576619,576776,576752,576791,579675,576793,579677,576781,576753,576787,576749,579682,576782,579689,579692,579730,579785,579706,579697,579708,579711,579712,579728,579724,579725,579759,579761,579743,579737,579744,579778,579774,579781,579834,579791,579836,579858,579820,579805,579773,580323,579802,579827,579909,579862,579830,579897,579881,579868,579938,579831,579892,579846,579853,579927,579925,579860,579915,579908,580259,579890,579866,580268,579947,579948,579945,579894,579907,580295,579889,579940,579921,579919,580310,579933,580278,580262,580264,580313,580300,580275,580144,580169,580291,580081,580288,580142,580272,580309,580134,580157,580304,580126,580132,580122,580139,580140,580137,580165,580297,580311,580346,582344,582334,582368,582365,582370,582369,582343,582347,582361,582634,582645,582692,582719,582654,582657,582690,582669,582674,582713,582723,582684,582680,582728,584107,584103,583985,584114,584345,584320,816340,891475,748988,425077,628463,508163,617710,600983,496015,574661,687673,753460,816343,786315,746159,748936,747263,502492,511230,519973,748938,816353,497835,756065,749015,760213,752393,816367,808467,811045,816355,817901,816354,714584,714608,714623,749700,760200,748983,816368,756092,811018,752388,811024,816374,817868,795383,816375,816376,749051,809627,752447,816379,749060,785321,816382,752469,816384,752471,798248,801730,749028,817860,749032,747737,602426,795387,756087,816392,762804,749036,752412,752413,817876,749040,752417,809604,795388,757533,772109,809607,746213,808483,758853,760329,817900,808484,764001,753519,752437,836863,798256,772142,725712,760210,787436,553547,752493,609805,809644,749129,749083,757541,752457,801741,749087,758832,811029,758895,746238,758926,817886,758836,796685,763990,786330,753554,749088,817891,765310,808498,817893,809622,817894,758847,749112,817905,753540,749161,749105,752479,756216,809652,808501,749144,817904,747283,747299,817910,760247,795413,760281,760280,749154,764015,749221,760250,752504,610777,756150,817914,817915,827178,809632,795414,749225,756153,760254,749745,749763,744892,749170,760284,817919,758874,817945,817921,749877,749220,756161,760260,817924,739673,787442,756187,811053,758880,809639,762818,817929,752579,749179,546807,753567,817936,756173,817932,792768,801758,772149,765325,808511,739724,760333,739754,817934,823172,749207,816455,758909,749213,816453,753579,753601,827200,816457,816463,817943,746351,821683,816461,811041,811066,756195,816465,756240,811042,765336,744994,746372,749566,749250,744979,817952,750214,744974,817953,746371,823179,795424,760292,795423,746387,750254,749277,745007,818047,753605,816472,782962,756208,811090,745003,811102,758920,745025,745082,745097,795443,746414,817958,823180,746410,746443,774750,817959,816479,749308,760339,816480,746423,745800,760301,745761,745094,745838,785355,745100,785347,745851,745104,746446,745810,745770,745786,745816,817964,745307,827172,745799,745186,745165,749309,745777,745791,745828,745865,745167,745172,745174,823182,745311,747011,745665,745283,746472,748004,746469,745217,817965,745222,745234,745330,747205,811050,749319,745351,745386,745390,745361,745373,745732,827183,745720,745713,745689,745714,745437,745658,745814,745642,811189,749328,745421,745444,745823,745427,747023,745436,747024,745826,745447,745473,745853,745815,811190,827173,745485,745467,745470,745831,745848,745731,745793,745487,745698,749691,745737,745876,795430,745780,745510,823184,745841,745754,745514,746558,785377,817971,746858,749373,746581,746718,749338,746905,746771,747043,816568,747208,747049,747060,746950,747215,746731,747074,746896,746930,746947,747094,798262,760317,746677,817973,746713,746729,746754,746828,747091,747097,746820,746844,746847,746833,746870,746806,746790,823200,749363,747198,785349,746867,746875,746981,746925,747119,817977,747170,746944,746966,747040,747132,746968,747155,746980,746991,749379,746974,747195,747142,747152,746986,816536,749573,749574,817980,760324,747260,748056,756221,749402,747241,747254,747990,747992,817982,748175,749419,748028,749632,749641,748044,747273,795444,747293,748190,748236,816503,747337,817985,747323,758934,795435,747318,748122,748209,748278,748205,748194,748199,816509,747357,811057,749582,817989,749817,749585,817991,749550,756224,753629,750708,752585,750719,749723,748280,817998,748259,748290,818010,798263,818000,749557,749534,748255,749690,748276,818002,748267,750734,749511,748269,765360,749596,749518,749543,749604,748283,749570,748288,749647,818032,749522,748298,749531,782958,795439,749710,823191,749706,749670,749674,749684,818006,749547,749575,749658,749629,749600,749618,749664,749622,818033,818011,816525,758958,818038,818014,818040,749709,818021,818017,749812,749795,818022,749824,749855,749898,818057,818051,749771,816644,818029,818054,749828,816564,749765,749858,818036,818044,816561,749739,818025,749742,749845,749887,749750,749773,749786,749759,443373,749760,749861,753646,749874,752707,752677,752700,749829,749792,749789,752647,752659,752646,821681,749801,749804,752666,752681,752648,760335,752673,752663,749831,753659,752682,749870,749880,749872,749928,760907,749895,749910,749913,752698,749930,749925,752879,752706,753729,752731,752785,752817,752720,752787,752742,785352,752825,752858,821701,756247,756260,756251,752804,752831,752844,752928,752808,756276,818060,752925,752813,752948,750942,752862,752821,753785,753804,752829,752838,752871,753791,753860,818061,753961,752856,752866,753776,753890,752875,752944,752886,753921,753826,753903,753810,753837,752920,752897,752901,811061,754866,751069,751145,753847,753870,753877,753884,811062,753897,753952,809707,754887,760349,753983,809672,753045,756290,754906,754134,754912,750979,811096,754943,754919,823198,755086,754925,756310,756325,756318,754962,754940,754985,756336,818064,760358,754974,821685,782959,754178,754197,755008,754980,754115,758983,754105,755041,754109,756575,754122,754183,754139,755016,754127,758986,756340,754143,755013,754137,756456,754150,755022,754161,823223,754141,754174,756350,754153,754205,754155,756355,755059,756424,755051,754169,756370,754180,756378,754190,754192,756368,754195,754211,759008,754218,756532,754226,756405,756389,754239,754312,754260,756434,756455,756401,754285,754304,754320,754256,754344,754292,754301,754265,756398,754268,754281,754326,754331,754276,823219,754329,756410,756435,756535,756440,785353,760393,759110,818067,756468,795447,756472,759025,756491,756552,756579,755277,789137,756556,821705,811069,756546,756619,759037,755325,755322,756587,821688,755336,756604,755367,755334,755345,755415,764118,756609,755347,755378,755418,755383,755340,755359,756636,755351,755354,755365,755358,755384,755386,755374,755381,755427,756687,755370,755393,756662,759044,756696,756671,755402,755392,755429,762896,759118,755405,759164,755397,755399,755404,755409,755425,818098,755421,755436,755434,759053,759080,759260,759061,759104,759155,759167,759112,825950,759073,759248,759141,823202,759093,759183,759089,759133,759119,795454,760409,759224,759177,759202,759203,809680,759190,756930,756958,801565,759198,756934,756993,759269,759304,756938,811077,756974,756948,756963,759212,756960,759213,756965,756972,756970,792790,759226,759225,756977,823204,759234,759281,759300,757005,759266,625211,760462,757019,784894,757026,757032,757088,757100,759295,760445,757072,757043,757047,757070,760985,761000,757059,760486,823207,795459,786700,760503,758021,818080,827188,758004,809689,758031,758017,758019,795463,760527,758025,823211,758040,818081,760539,821691,758080,809690,760560,759479,758100,758105,759511,758111,759491,758202,758119,759513,760588,759497,758167,758201,758184,759502,759504,821711,758185,758165,758189,764148,758173,758133,758223,758132,759521,758146,759555,758242,758195,758248,759525,758246,758212,758231,759544,759578,758255,758258,759554,759559,758372,759568,758364,758396,818084,760608,758285,758320,758358,758406,760625,758277,758312,760764,758399,758413,760612,758300,758351,758278,811084,758316,760619,823213,759570,758292,758340,759574,758411,758293,758301,758339,758304,758334,758361,758389,759576,758331,758425,760977,758342,811091,758423,761135,813852,759588,758455,809693,760763,760773,758436,760995,760793,760798,811085,759684,763029,761015,760789,759671,760960,759667,761011,761082,760981,759660,760780,759701,821693,759703,759690,764169,759706,760769,760801,760781,818087,784891,759866,811086,759741,823235,759804,760802,759751,759822,759874,759886,759852,759775,759884,761141,759871,759811,759784,759801,759858,823217,761064,759853,759839,759835,760908,759892,809700,761021,761029,761033,759895,759903,761052,760885,760894,821698,818088,760937,761100,760876,760924,760888,760916,760932,761049,761119,761157,761165,772212,761086,761126,761182,761192,761112,761128,761143,761188,761161,761186,818127,789131,816593,762046,818101,809716,823226,811106,811105,808586,818107,813801,791680,750197,750172,750182,750192,750220,750212,750184,750240,750681,750193,750199,750207,750204,750210,750221,750224,750231,750242,750568,750287,750255,750285,750289,750344,809719,750298,750314,750272,750299,750263,750315,750426,750329,750466,750520,750700,750305,750673,750311,750370,750392,811107,750360,750416,785384,750418,750450,750484,750602,750588,786739,750477,750518,750564,750664,751013,750869,750620,821724,750686,751136,782975,809722,786787,750918,811129,750882,751105,750969,750956,750889,751140,751178,750929,751100,751122,751083,751056,751079,751220,751274,751190,751229,787449,777533,811114,809727,811115,821713,772249,793868,809732,782982,823237,821718,811120,820928,827204,798273,772265,811133,823240,777545,828459,809736,785381,574846,809737,811136,786697,818123,811123,768192,823290,768816,785386,809781,789068,823253,809746,792829,818160,771558,818134,795841,777570,812412,827213,809786,823258,809804,821729,777574,796700,809753,791691,821731,785402,627047,827215,823260,818148,796704,811156,827249,821732,786746,818157,823294,820939,777585,818141,809761,827265,821773,809764,827274,791693,782996,785409,609396,783750,813791,816629,823265,777594,813838,823289,809765,785410,791711,821745,813799,788062,823266,816636,823279,818145,823270,786727,775249,784108,823275,828474,821757,809770,821758,820947,796716,818147,777633,811145,775398,809772,821761,801571,796717,811180,818150,777655,821766,775686,775661,809776,823284,791706,823287,783007,827229,785535,784111,790312,811151,818180,809791,795805,809854,816642,777179,821783,809862,790339,809794,828480,786751,812427,785433,791714,797437,809799,786753,823303,821789,790319,789160,812415,791717,823331,601396,809805,821792,823309,811202,781813,780720,813843,821794,798875,811167,784137,809808,821797,809850,791721,823313,785556,811246,820950,816667,811207,811208,795789,789164,811171,825941,812417,783061,781301,818166,789769,811212,821804,783050,811176,790328,798877,784162,784155,798846,821808,811179,797438,784251,809819,811249,784151,791726,813851,788045,809820,821812,795815,783153,811223,811225,784156,783081,809824,789894,824649,811185,783101,813830,811236,784164,827240,787596,782391,783164,811237,821817,787617,813818,791781,784186,809827,784182,798856,784238,790337,818170,798859,809831,809853,798861,784257,784231,823356,786789,820960,785466,811242,809834,784729,798882,785473,785475,784822,785598,785476,784271,784400,784297,784274,784378,812422,784333,784303,784311,818174,784289,784855,784356,784329,784344,784367,785510,816660,784432,785498,789176,785494,784803,786792,791736,784397,784728,821852,818178,797435,784861,785507,811243,784854,785555,785541,784795,788041,785553,784721,784865,784884,784780,784796,786803,786808,785518,795818,784829,784862,784834,784931,784875,798344,785579,795856,785575,785569,798379,785636,784925,785605,785624,786135,786282,785967,785610,784913,784991,794579,784897,785589,784902,784926,785692,785604,785748,786265,786169,786274,786339,786157,786234,786289,784976,785723,785630,785703,785009,784967,784987,785728,785805,785989,786159,784971,785618,785784,816702,786077,786040,786056,785994,809859,785686,785718,798413,795807,785650,785969,785653,785971,811198,785717,785764,785975,785690,813878,785755,785988,786033,786037,785985,785745,785721,785696,785700,787235,785706,785735,785766,791747,785712,785794,785772,785998,786145,786170,786202,786213,786336,785775,785753,786000,816672,785802,786003,786036,786053,786206,785785,801581,786121,786226,786050,786142,785792,786015,786249,796809,786181,785810,786059,786255,786067,786295,786186,786232,809863,786130,786225,798917,796816,786318,786107,786049,786260,823376,786043,786064,786032,823377,786152,786162,786097,790360,786104,786149,786244,786078,786090,786115,786264,786286,788054,786079,786194,785954,786113,785982,786269,787400,786195,809895,786094,786236,786273,786312,786281,786128,785924,796889,786317,827258,785930,787246,791755,785947,786174,786239,786256,786027,785920,786292,786024,786044,786246,796934,791760,818187,787277,787380,786348,786354,787287,787394,787347,787364,812432,809874,791764,786937,798884,787264,788085,788112,791765,787273,797442,787106,787127,787432,788076,787388,787282,787451,787348,809876,788090,788101,787393,809877,787414,791769,818191,787403,787405,787501,795847,787180,787147,787191,816685,787102,787132,788593,787108,787123,787113,788118,818194,787142,811216,787163,787210,787294,787157,787214,794580,787172,787171,787177,787188,787228,787183,787271,787377,787404,795820,787202,787201,809880,787295,787350,787222,787218,787219,787455,811270,787516,790377,787477,787492,787528,787512,791777,787529,811224,787556,795823,788266,788334,787611,788155,787606,798890,790376,809884,821864,797448,790380,787641,788660,816701,818201,809912,812435,790410,825975,788202,809890,788223,788647,823341,788261,788246,790389,788296,788243,788659,790468,788663,788274,788691,821868,788685,788321,788514,788683,788324,795830,821835,809893,788353,813857,788591,790403,798897,790400,790414,821875,788581,788568,788588,811264,821837,818203,790525,790413,795833,821887,790453,790428,791793,790524,791886,790620,790675,809899,790609,790646,792916,790439,790483,790423,790447,791813,791826,790726,790553,790570,790460,790514,790631,790504,790830,790650,791809,790523,809921,790547,790596,792941,790541,790505,790528,790611,825959,790559,790746,791844,790556,790614,790536,790586,790564,791811,790580,813864,790618,809903,797458,790738,790585,790593,791857,789569,789548,790730,789554,790699,790759,789546,789596,789551,789568,790660,790706,790734,789639,791817,790628,792925,791840,789573,789630,789595,789616,789577,821843,790803,790718,789602,790655,791829,790694,790661,790666,790747,790760,790690,789654,789638,821855,790710,792929,792931,790765,821894,790815,789740,789750,789752,789717,789736,789724,789762,790772,790793,789794,789803,790806,813867,790844,790879,789801,790824,789783,792937,789773,789798,791888,789782,792939,789786,816714,789906,809905,789866,789825,789899,789918,789830,789888,789835,791853,791883,789891,789904,789898,789864,789855,790870,798921,789884,790913,789876,789895,790936,809907,790906,790911,791867,791870,790908,791873,790907,790928,790925,823350,821904,797465,792945,792947,790935,811274,818207,790937,790939,790941,811282,790947,791898,821918,795842,792953,811254,811252,791892,811299,792961,811311,797467,809913,792979,791908,791986,791918,791927,811259,791929,791943,792976,792984,791933,827291,791944,809915,792980,798283,792063,792079,792053,792994,809919,797479,793500,793501,792170,793035,793012,825968,793028,792286,793011,818211,792109,792121,796467,811267,793034,793063,793540,793056,793007,792296,793017,791458,794585,793041,793515,793541,793517,792189,793027,793071,792180,793067,793070,793029,792196,792211,792303,793528,797485,792201,792312,825994,793556,792215,795355,792222,793047,792254,792245,792257,793049,792269,793552,793733,793739,821862,793092,795857,793083,793086,793096,793125,793100,793563,793103,793115,793118,793136,793162,793742,795013,793148,793149,793209,793134,793220,793216,793559,793210,793142,793242,797492,793164,793243,793234,793154,793169,793198,793231,793252,793185,793246,793211,793186,793178,793221,793197,793201,793236,793255,793567,794673,793570,818217,796079,794639,793263,795010,793589,793596,794625,794636,795867,794664,798930,795222,812445,793617,793760,793759,793603,793643,793605,825996,793611,793642,794759,793624,793770,793632,793633,793636,793652,793649,794690,793781,793654,793657,793782,793799,793824,793783,793784,793846,793795,793797,811287,794738,793825,793811,793845,793680,793719,793703,794687,793696,811289,793828,793842,794679,793707,793856,793489,793714,793464,793477,793446,794727,793465,793722,793725,794700,793843,793476,793490,794747,795039,794713,794733,794774,794715,794756,795941,793875,795887,795286,795422,796054,794763,795882,795948,796018,795049,796529,795304,794779,818221,794781,794852,794842,825978,812448,794802,795080,794794,794855,794798,795249,794814,794806,794826,794831,794816,794838,813893,794836,809931,795089,795258,795092,795379,796485,795308,813922,798944,795101,795115,795108,795221,795140,801633,795239,795264,795928,795332,795130,795149,795204,795200,795246,795296,795340,795133,795260,795925,795119,795170,795237,796008,795189,795134,795337,795345,795191,795273,795362,796002,796023,795175,795218,795169,795196,795312,795916,795209,795226,795280,795404,795978,796053,795159,795180,795318,816717,795910,798947,795913,795939,795182,795231,795270,795932,795235,795056,795979,796480,796539,794986,795361,813897,795375,796481,794989,795294,794994,794999,794993,795023,795993,795418,795946,809935,821886,795942,795966,795399,798953,796071,795963,796495,796515,795457,796501,796521,796522,796022,796041,796021,796036,796086,796050,796082,796083,798976,796085,796537,796563,809969,796206,796211,796169,796101,796197,796138,796159,798961,796575,796125,796145,796119,796209,796234,796127,796328,796331,796184,796123,796160,796171,796196,798989,796158,796180,796541,796540,796559,796564,796543,796166,796193,796304,796706,796256,796547,811298,796655,796306,796656,796682,796242,796243,796584,796246,796259,799022,796293,796572,796573,796625,796577,796329,812457,796330,796395,796354,796360,796639,796687,796383,796436,796454,798970,796368,796385,809944,811344,796386,796388,796587,796623,796352,796353,796375,796382,796592,796377,796677,796744,796641,796748,796666,796680,800295,825981,796600,796604,796618,796466,796498,796648,796617,796658,796500,796470,796630,796513,796451,796443,798985,796459,796554,796675,796734,798987,796692,811335,809947,796724,796721,798992,796730,797740,796759,796777,796740,796749,796760,796762,796773,796784,798041,796791,796876,796955,796964,797012,797039,796797,796815,796914,797055,802877,796944,796946,796821,799002,796991,796888,797061,797016,799007,796936,797014,796868,796912,796928,796947,796846,796854,797051,811305,821901,796807,796836,797032,797718,796919,796938,796835,797022,797072,797031,796874,796986,796830,796847,797752,796993,797000,797006,799013,796858,796952,796979,797013,799018,797060,811306,796960,796900,797034,796894,797005,798050,796985,796905,798101,797026,796929,797029,796975,796982,797010,797044,798047,796984,797002,797040,797759,811308,799162,798092,799031,799029,799033,813904,798065,798140,818233,798172,813905,799243,799256,799238,799047,799051,799058,799075,799061,799190,798241,799066,798153,798192,812453,799070,811315,799072,799214,799246,797967,799078,799142,813906,799083,799095,798430,798020,798085,798112,798216,797924,797930,799180,799094,799283,797976,799100,799101,798166,799183,798161,798228,798001,798223,799108,798180,798209,799134,799255,799113,799130,798159,798135,798185,799153,799176,799122,799194,799124,798017,799167,799125,798243,798143,798007,798149,798233,798033,799138,798311,811348,798299,811325,799147,798297,798352,798327,799156,799179,799193,799152,798294,799171,798331,798339,800284,798321,798290,798369,798376,798300,798308,798313,798472,798317,799164,811346,798355,798368,798347,799203,813930,825989,798389,799199,798383,798411,798418,798395,813910,799207,798436,799292,799305,799219,799227,799278,798408,799228,799279,799335,799215,799288,799301,799296,798421,821907,799241,799254,799226,799325,799328,799347,798444,798448,798456,802093,798467,798490,798486,799311,799320,799354,811328,799503,799706,799745,799684,800299,811329,799586,799363,800276,799334,799352,799613,799636,799663,799344,799520,799593,799474,827301,821910,799523,799481,799488,799567,799668,799694,799701,799713,799577,799711,811337,799598,799646,799634,799662,799733,799650,799628,799674,799750,799538,799680,799772,799605,799658,821052,799756,799571,799606,799560,799716,799728,799738,799737,799826,799690,799755,799793,799761,800837,800311,799804,799778,799783,800329,799818,799802,799796,799800,799767,799771,799782,800318,799814,799791,799823,800342,800765,800938,826085,800707,801673,800949,800931,800684,800790,800373,800799,800771,800361,800686,800375,800392,800788,800397,800406,800817,800858,800889,821064,800941,809977,800840,800820,800871,813933,821069,800890,800928,800952,800692,800963,800954,800958,800833,800847,800900,800701,800755,800796,800822,800846,800855,800673,800910,803248,803249,800698,800866,800759,800828,800685,800688,800687,800887,800695,800689,801082,800700,800782,800750,803272,800735,800712,800721,800921,800894,801646,800813,803297,800719,800870,800732,800756,800780,800830,800742,800728,800730,800930,800762,800738,800789,800806,800768,800791,800737,800744,800803,800814,800908,800805,800911,813936,801682,801773,801679,801651,813937,801748,821932,801685,801659,801663,801725,801715,801664,801672,801696,801708,801711,801693,801698,801753,801719,801737,824658,812461,801824,801768,803354,801837,801817,801850,821971,827318,821959,821961,822024,813986,803363,811418,818236,818273,822076,811354,822003,812463,824646,802106,803415,822069,802063,802086,802066,802081,802112,802050,802076,822017,802116,822021,822036,802072,803444,822034,822059,822038,822039,822148,822051,813945,821159,822057,822061,822193,803598,802273,822137,803467,803466,803465,818239,803496,813988,821222,821185,821187,802303,821193,802294,802317,802242,802241,802305,821350,803489,821278,809992,803518,821213,822141,822120,802315,802292,821229,822155,821240,821234,822171,821336,822200,822206,813949,821244,821251,821274,821263,821320,803601,821330,824220,821293,822186,821366,821302,803531,803535,803540,803579,821478,803542,821343,821438,803543,803589,821399,822219,824674,821346,821354,812467,803566,821363,824680,821417,821359,813958,821367,821459,821511,821416,821384,821407,821392,821411,821439,821426,821408,822247,821434,821458,821483,821490,821472,821484,821435,821479,821447,821443,822260,821488,821497,821457,821492,821523,821464,821469,822265,822270,824693,821507,821509,824169,818249,822308,822333,822359,822365,813962,824172,812490,822311,822314,822326,822320,822338,824199,822341,822343,824183,822349,822394,822378,822352,822354,822422,822369,822441,822460,822364,822423,822380,822368,824709,822373,822390,822412,822382,822386,822428,822446,822439,822458,822468,824711,822452,822432,822397,822402,822406,822419,822482,822438,822491,826026,824215,824217,822471,822480,822483,822494,824865,822506,822504,822516,822508,822523,822589,822592,822662,824878,822637,822654,823878,818292,822665,824832,826056,822697,822699,822742,822731,822749,824887,823846,811375,823854,823856,813975,823864,823882,823869,823875,823967,826046,813969,823896,823897,823903,823905,823973,823910,824807,823924,823961,823983,823949,823921,824033,823955,823931,823954,823942,824211,823946,824149,824841,812477,824813,811362,824801,823977,826078,813973,824044,823996,824059,824852,824064,824207,824004,824086,824008,824132,824155,824012,824014,824052,824020,824042,824061,824084,824032,824819,824095,824210,824203,824092,824849,824106,824099,824125,810004,824192,824904,824116,824117,824177,824135,810033,824171,824186,826072,812484,824146,808876,809092,809066,602206,810030,810076,808934,808980,810079,810036,810045,810086,810155,810192,809030,811387,811407,811478,810058,810050,810053,810074,810102,810093,810062,810080,812499,812509,811400,808994,810095,810158,810121,810128,809142,810112,810144,810120,809157,812504,812631,810136,810188,811420,810135,810146,810165,811456,810187,813995,811430,811433,810228,810173,810175,811448,810171,811470,811445,810201,810181,810197,810209,811477,811467,818282,817013,810196,810215,810203,812621,810236,810234,810211,810263,811549,811555,810218,810221,810227,810248,810245,810241,810252,810308,811497,810255,812523,810269,810283,811574,812542,812592,812602,810369,810417,810387,810333,812532,811522,810288,810292,811514,811551,810313,810337,810324,810326,812556,810357,810433,810403,810413,810444,810424,810426,810379,810362,812538,810370,810396,810405,810372,810382,810394,810445,811572,810402,810415,810450,810423,810455,810457,810434,810437,814024,810454,814009,810589,810679,810609,810653,811719,810560,811711,810633,811622,811633,812565,811717,811631,810661,814015,812569,810554,810599,810541,811726,810550,811640,810583,810639,810619,810648,810675,812585,812560,812668,812689,811654,810539,811664,810546,810567,811681,810626,812647,810595,815148,810688,812576,810706,811701,811724,810614,811704,811709,810713,814034,810654,812594,812587,810722,812626,810685,812671,810709,811802,812725,811733,811865,811954,812032,814031,812610,811705,811713,815138,812604,811785,815141,814037,811768,811969,811735,811731,811967,815199,811817,811827,815144,811770,824951,811753,811739,811744,811932,811935,811883,811754,811771,811867,811762,811904,812692,814048,811767,811778,811781,811839,814052,811868,814054,811892,811881,811896,811828,811922,811947,812662,811908,812000,812001,811933,814062,811837,812059,815153,812022,811918,815156,812699,815169,815163,815172,811949,812712,811920,812754,815192,812770,815307,811917,811945,811976,812786,812013,812106,812063,824966,818313,812805,812099,815184,434236,817020,815266,815287,815353,815357,818323,817000,815200,815364,815347,815395,818333,818330,816825,816833,815249,814424,816834,814432,815375,815334,815290,804517,815303,815270,816843,816845,815382,815282,816967,818350,815315,815294,815309,815329,814461,818340,816850,816876,816869,815410,815363,816870,815388,815390,825001,816879,816885,816887,817002,816907,816976,815617,815705,816904,815576,815790,815643,815681,815759,816930,816958,816934,815562,815613,816919,815608,815689,815587,815645,816927,815651,815753,815662,815717,815745,815780,815624,815627,816953,815669,815724,816929,815725,816961,815768,816946,816936,815663,815686,815728,815694,815711,815733,815712,815774,804401,804435,804440,815761,804492,804740,817065,817073,816980,804465,804372,804394,815766,815770,804397,815792,817061,817023,817053,816971,815797,816992,815812,802810,817045,804384,804468,804545,815826,804477,804555,815807,817003,815835,816986,802801,815890,816989,815876,815893,804562,817040,815901,802873,802891,817021,802865,825023,802880,804480,804491,802918,815929,817051,817057,803234,803293,803255,803250,803271,803254,803294,803284,803318,803413,803416,803590,803456,803522,804868,803572,817078,817082,803580,817076,817071,817077,804509,804544,804643,804533,817088,804775,817092,817101,804565,804577,804706,817163,817103,817111,804541,817117,817148,817129,804792,817128,817152,817138,817141,817160,817173,817181,817202,817218,817196,804683,817239,817233,804732,804585,804639,804649,804660,817208,817213,817230,817210,817232,804676,804719,604476,818542,818544,817254,817264,817273,817269,817282,817292,817295,817309,817312,817323,818556,817340,818506,818507,817342,817356,818514,818593,818615,817362,818519,818592,818606,818686,818524,818537,818547,818726,818744,818754,818588,818528,818538,818589,818573,818559,818561,818591,818581,818568,818602,818612,818624,818775,818674,818675,818719,818765,818576,818899,818698,818646,818597,818816,818608,818617,818739,818746,818961,818621,818625,818752,818780,818891,818632,818638,818716,818649,818650,818653,818704,621294,818659,818663,818682,818694,818709,818664,818672,818952,818896,818911,818683,818692,818700,818798,818842,818733,818762,818924,818736,818837,818756,818770,818794,818793,818832,818774,818761,818838,818828,818906,818818,818788,818791,818808,818821,818807,818801,818854,818834,818866,818824,818918,818931,818853,818873,818856,818861,819073,819085,818864,818885,818917,818937,818910,819057,818904,818878,818976,818994,819014,818889,819045,818978,818962,818939,818951,818956,819050,819067,818934,818944,819029,818945,818987,818971,819005,819021,819023,819003,818968,819110,818982,819034,818988,819041,818999,819016,819006,819071,819081,819012,819174,819068,819064,819065,819086,819094,819133,819135,819184,819165,819146,819139,819150,819156,803872,803868,803867,804148,804493,804618,804637,804631,804546,804596,804432,804608,804610,804847,804455,804571,804383,804648,804427,804407,804405,804446,804424,804525,804512,804519,804576,804700,804799,804638,804713,804782,804518,804429,804442,804488,804564,804510,804579,804627,804616,804623,804816,804578,804668,804607,804695,804733,804812,804735,804758,804869,804805,819481,819487,819485,819564,819569,819497,819603,819520,819502,819543,819505,819526,819507,819597,819708,819513,819589,819542,819596,819732,819537,819642,819535,819572,819551,819675,819574,819563,819651,819627,819685,819645,819591,819616,826288,819694,819653,819728,819621,819614,819612,819633,819658,819623,819670,819640,819700,819726,819743,819760,819701,819680,819711,819684,819715,819736,819748,819689,819751,826306,826292,819724,819725,819746,819767,819771,826312,826365,826336,826327,826354,826390,826367,819985,819958,819966,819968,819975,819980,820024,820200,820015,820011,820036,820048,820072,820030,820038,820141,820035,820019,820042,820054,820032,820074,820051,826518,820053,820086,826508,820068,820059,820063,820089,820078,820111,820081,820095,820100,820103,820109,820115,820116,820132,820123,820125,820131,820134,820148,820185,820151,826536,826544,826572,820152,820174,820158,826551,820177,826539,826540,820220,820190,820193,820202,820198,820214,820213,826593,826587,831232,828987,828994,828989,829057,828996,829021,829035,829003,831196,829040,829009,829085,829002,829012,829031,831253,829060,829028,829113,829048,829033,829044,829050,829063,829076,829154,829216,829133,829068,829091,829139,829271,829103,829114,829117,829131,829208,829160,829246,829087,829108,829137,829122,831197,829213,829170,829232,829204,829159,829143,829247,829147,829151,829195,829164,829179,829181,829240,833831,831213,829174,829187,829203,829188,829220,829223,829269,829286,829276,827929,827945,827854,827858,827867,827885,827889,827898,827920,827958,827934,827965,833961,834037,833903,833872,833927,834073,834104,834097,834052,830545,836717,836761,835751,835768,836626,836627,836957,835818,835754,835763,835769,835759,835778,836971,835770,835774,835796,835781,835785,835812,835788,835816,835786,835893,835801,836684,835798,835808,835845,836948,835802,836955,835805,835811,836914,835815,835831,835834,835868,835881,835835,835866,836012,835847,835908,835917,835872,835888,835900,835952,835989,835865,835876,835903,836898,836961,836974,835895,835922,836764,835913,836001,835977,836015,835927,835974,835964,835921,835957,835961,836696,836072,835949,836920,836714,835981,836746,836042,836721,836020,835993,835996,836027,836003,836030,836109,836988,836872,836982,836058,836800,836034,836050,836757,836891,836046,836055,836079,836877,836890,836924,836087,836068,836083,836124,836262,836166,836315,836780,836809,836131,836172,836785,836145,836230,836208,836280,836258,836294,836848,836902,836959,836221,836242,836171,836312,836276,836928,836219,836244,836265,836374,836384,836235,836268,836246,836214,836292,836334,836188,836335,836346,836190,836300,836324,836195,836178,836184,836306,836263,836354,836405,836180,836200,836367,836278,836241,836396,836285,836305,836256,836322,836375,836443,836458,836282,836338,836359,836428,836433,836318,836818,836355,836422,836351,836932,836344,836542,836380,836388,836515,836520,836570,836505,836399,836455,836487,836564,836402,836417,836509,836826,836482,836532,836426,836573,836586,836468,836502,836598,836587,836483,836496,836837,836473,836511,836472,836524,836497,836522,836538,836616,836622,836550,836557,836579,836568,836592,836608,836942,836604,836867,836605,830523,830555,830553,830633,553485,830520,830550,830534,844194,844200,856517,844192,844207,844195,844203,844210,844220,844224,844230,844237,857298,857295,857364,844745,844862,844731,844740,844793,844768,844831,844746,844764,844766,844759,844796,844748,844749,844753,844755,844803,844917,844940,844778,844781,844782,844822,844872,844824,844894,844864,844811,844812,844821,844870,844835,844868,844848,844933,844853,844855,844924,844899,844994,845000,862410,860871,860893,860690,547502,860926,861524,860936,861660,861666,861752,861800,861727,861759,861716,861733,861743,861770,861790,861768,862880,867987,867287,787373,868385,902807,835076,835134,835391,835409,835387,835216,835020,835125,835174,835063,835061,835067,835072,835221,835027,835038,835032,835099,835395,835050,835303,835077,835412,835408,835415,835137,835205,835091,835297,835113,870403,835164,835117,835259,835118,835145,835192,835247,835126,835289,835149,835188,835172,835214,835179,835238,835404,835282,835380,835209,835356,835481,835241,835371,835358,835266,835361,835405,835417,835475,835310,870524,835318,835345,835422,835461,835381,835397,835469,835454,835539,835525,835512,835502,835521,835495,835545,835533,406671,866301,868931,868913,893719,893750,893722,893744,893757,893764,893777,893780,893796,893791,893806,893815,893822,893902,893827,895446,893897,893842,893862,893868,893880,895500,895532,895541,895456,895519,894671,894645,895467,894665,894662,894654,895480,895486,894714,894736,894679,894684,895494,895508,894689,894699,894747,894753,894717,894727,895570,895613,894761,895556,895575,895589,895609,895599,898890,896538,897814,896504,896492,896486,896546,896571,896554,896496,896562,896578,899828,900755,900765,900025,900049,900016,900012,900020,900034,900040,900056,900070,900309,900830,900353,900324,900343,896943,900334,900368,900360,900377,900875,903130,902138,872127,872456,903577,872520,816682,906220,903823,909325,912721,911692,912900,912885,913199}'::integer[]))
7. 137.475 137.475 ↑ 1.0 1 15,275

Index Scan using idx_tskinst_vwprocesso on jbpm_taskinstance ti (cost=0.56..2.75 rows=1 width=39) (actual time=0.009..0.009 rows=1 loops=15,275)

  • Index Cond: ((procinst_ = pi.id_proc_inst) AND (isopen_ = true) AND (issuspended_ = false))
  • Filter: ((end_ IS NULL) AND isopen_ AND issignalling_ AND (NOT issuspended_) AND (NOT isblocking_))