-- Run with psql in a disposable test database:
--   psql -X -v ON_ERROR_STOP=1 -f partition_in_repro.sql DBNAME
-- This script creates its own schema and leaves it in place for inspection.
-- The two ordinary IN lists are from the original reproduction.
-- Case A: 953 distinct IDs in one partition.
-- Case B: 1000 distinct IDs in 1000 different partitions.
-- No VALUES subquery, prepared statement, or array parameter is used.
\set ON_ERROR_STOP on
\pset pager off
CREATE SCHEMA partition_in_case;
SET search_path = partition_in_case, pg_catalog;

CREATE TABLE prune_repro (
    id bigint NOT NULL,
    PRIMARY KEY (id)
) PARTITION BY HASH (id);

DO $$
BEGIN
    FOR i IN 0..1023 LOOP
        EXECUTE format(
            'CREATE TABLE prune_repro_p%s PARTITION OF prune_repro
             FOR VALUES WITH (MODULUS 1024, REMAINDER %s)', i, i);
    END LOOP;
END
$$;

INSERT INTO prune_repro (id)
SELECT g FROM generate_series(1, 1000000) AS g;
VACUUM (ANALYZE) prune_repro;
SET enable_partition_pruning = on;
SET max_parallel_workers_per_gather = 0;
SET jit = off;
SELECT version();
SHOW shared_buffers;
SHOW max_files_per_process;

\echo A: all IDs in one partition
SELECT count(*) AS matched_rows, count(DISTINCT tableoid) AS matched_partitions FROM prune_repro WHERE id IN (1,1365,2523,2593,2667,2797,3272,3538,6387,8289,8808,13966,15795,19943,20094,20102,20187,20561,20942,21121,22295,23976,26050,29888,30848,31717,32073,32207,34805,36081,38796,39922,39926,40033,40312,40824,43390,43914,44073,46162,46601,46835,47238,49019,53747,54758,55245,56135,56781,58657,59466,63734,63836,66047,66383,66735,67220,68564,68616,70646,71204,73085,74929,76153,76641,77706,77939,80211,81840,81896,83753,85021,86294,91388,92556,93819,93865,94348,94953,95263,97530,98146,100597,102393,103029,103090,103919,105152,107380,107530,108682,111600,112320,112604,112921,112963,115071,115316,116576,117261,119594,120093,125783,126454,129100,131330,132385,132828,133107,133140,133194,135017,136236,139924,140460,142671,143095,143565,144886,145203,145215,145744,149952,150001,150309,151197,152277,154021,159294,160458,161252,162283,162929,163534,164567,165248,166046,166196,167745,168284,170065,170250,171596,171840,172003,173444,174584,176169,176477,178029,179196,179268,180600,181788,183269,184194,186095,187597,188586,189955,190978,191259,191569,191774,192450,193303,195873,196068,197257,198330,199273,199367,200757,200989,204352,204362,205571,205628,206402,207695,207892,210504,210849,211524,212091,212721,212770,213081,213205,213705,215155,223892,224028,224215,224475,224986,225029,225152,225483,227210,227324,228817,229276,229604,229845,229873,230238,230579,230908,231156,231979,233403,235296,237529,238419,240419,240455,240476,241606,241621,241995,242238,242654,242732,243767,245292,245930,246225,246393,248080,249087,250407,250974,251336,252373,252571,253262,253536,254510,255181,255431,255583,256257,258263,258733,259153,259953,260103,261632,261668,263537,265790,266292,267701,267973,268151,269152,269244,269965,270018,270160,270303,271703,272258,272800,273914,274873,275215,276527,279877,280645,281398,281774,285237,285549,285877,287520,289727,290268,292182,293529,294847,295078,296372,298653,299231,299679,299800,303481,304916,306059,308101,310227,311699,311708,312783,312841,315581,317114,317565,318342,320477,320935,321763,323499,324138,324690,324922,324959,324967,325219,325458,327079,328705,329768,329976,331350,332134,332231,333511,333791,335240,335875,336038,336473,338037,338748,341645,341925,342636,343466,344769,345514,346070,347357,347466,349435,349468,349604,352168,352671,354556,354642,355883,356164,356848,358566,359450,360729,361724,362908,363117,363134,364124,364253,364818,369525,372698,373694,375371,375874,377461,378104,378182,378349,380003,382684,385045,386007,387638,389226,389588,391529,391912,392263,392531,392856,393029,393961,394169,395154,397075,398968,399515,405914,409389,414217,414315,414450,415937,416596,417378,417442,417755,419045,419721,420722,423477,424922,425874,426831,426855,427523,428690,429012,429399,429570,430759,430770,430781,430851,431017,432812,433648,434699,435202,436398,437047,438763,443353,447103,448890,448942,450915,451943,451953,455040,456958,457499,458967,459041,460040,461414,461898,461902,462838,463234,465930,466018,466310,467759,468076,468183,469121,469681,470153,470304,472159,475654,476592,477113,477616,478548,478816,479646,480839,481162,481349,482071,484975,485174,485179,487438,487832,489467,490288,490613,493415,497038,498207,498966,499328,499742,500012,500459,501668,501806,502031,506305,507190,508404,508578,509161,509613,510214,510327,511229,511851,513152,513473,513726,513820,515446,515485,516321,516814,517703,519299,519935,520094,520316,521676,524477,526565,526679,528771,529395,531473,532636,533535,533737,533794,533853,534253,536650,536697,537515,537588,539053,540214,540727,540983,542632,542755,544328,544631,546440,546807,549839,549985,551327,551953,552598,552696,553188,554161,554195,554583,558665,562252,562584,562967,564101,564769,567130,567206,567270,567836,568659,568873,569452,569931,570392,571016,572051,573535,573703,578584,580966,586372,588444,589393,590628,591136,591497,592216,593422,593935,594142,596178,597622,598105,601064,601787,602535,603037,604927,605370,607097,608735,608862,610538,611848,612709,615300,615365,615410,615866,617232,618061,619020,619989,620486,620985,621647,622953,623265,624319,625036,625313,627066,628952,630031,630135,630748,631153,633842,634239,635709,636329,637754,638203,638218,641844,643246,645636,645941,647950,649025,650488,650643,652755,653149,655478,655762,655797,656693,658216,659218,659432,661004,662053,662176,662189,664160,665197,666722,667762,668907,669827,669999,670517,670576,671013,671635,671899,673305,675436,676321,676396,678557,679329,680459,681756,682666,682723,684624,684695,685660,686178,686250,686489,688220,689206,690569,693721,696996,697401,697447,697475,698359,698456,700948,701500,702279,702638,702857,702919,703222,703273,704636,705431,705745,706104,707902,709632,709884,710528,711318,712388,712671,712867,713236,713579,714442,714649,715496,716623,717060,719507,720175,720498,721291,721483,721560,724084,725647,727312,728001,728221,728341,729042,729831,729838,730490,730502,731319,731539,731705,736171,736423,737891,738574,738987,739623,744186,744333,744348,744762,745164,745246,745921,747276,747570,748668,748722,749542,750465,752367,753989,754941,755031,755302,755514,759322,759422,760383,761058,763205,764063,764490,765576,766866,766871,768095,768376,768522,768895,769145,772947,774544,775231,775613,775965,777379,777792,778585,778836,779094,779570,780236,780486,781015,784089,787702,789987,790485,792030,793156,794284,795918,799965,800697,803417,805448,805580,814149,814346,814583,819582,819728,821011,821135,821191,821927,824375,826688,827447,829095,829817,830299,831888,832090,834206,835054,837192,838402,838533,842254,843562,844117,844742,845083,846998,856253,858652,860480,860992,861218,861232,861385,862565,862626,865238,866156,869941,869971,870989,871829,874093,876573,876586,877727,878565,878940,879140,879234,879239,880422,881120,882573,882668,884817,885427,886498,887373,892037,892494,892606,892613,893859,895113,895234,896621,897305,897803,897864,898136,898406,899127,900942,901693,902322,903516,903520,904034,904791,905057,905070,905636,906968,909139,909177,910098,911850,913456,914246,915695,916922,917288,918734,919103,919680,919867,920891,921691,925821,926923,927958,928222,934602,934875,935659,938464,938627,943466,943814,943889,944548,944976,945887,946612,946998,948020,948243,951225,951846,952386,954259,954495,954822,956081,956358,956397,956897,958248,958485,961806,962527,963981,964610,966956,970729,975824,976863,977279,977783,978223,981016,982203,982569,983357,986104,986692,987837,987844,988071,988451,989902,990292,993252,993588,994918,995394,995481,995803,996206,996583,996757,997349,998127,998941,999606);

EXPLAIN (ANALYZE, BUFFERS, TIMING OFF) SELECT count(*) FROM prune_repro WHERE id IN (1,1365,2523,2593,2667,2797,3272,3538,6387,8289,8808,13966,15795,19943,20094,20102,20187,20561,20942,21121,22295,23976,26050,29888,30848,31717,32073,32207,34805,36081,38796,39922,39926,40033,40312,40824,43390,43914,44073,46162,46601,46835,47238,49019,53747,54758,55245,56135,56781,58657,59466,63734,63836,66047,66383,66735,67220,68564,68616,70646,71204,73085,74929,76153,76641,77706,77939,80211,81840,81896,83753,85021,86294,91388,92556,93819,93865,94348,94953,95263,97530,98146,100597,102393,103029,103090,103919,105152,107380,107530,108682,111600,112320,112604,112921,112963,115071,115316,116576,117261,119594,120093,125783,126454,129100,131330,132385,132828,133107,133140,133194,135017,136236,139924,140460,142671,143095,143565,144886,145203,145215,145744,149952,150001,150309,151197,152277,154021,159294,160458,161252,162283,162929,163534,164567,165248,166046,166196,167745,168284,170065,170250,171596,171840,172003,173444,174584,176169,176477,178029,179196,179268,180600,181788,183269,184194,186095,187597,188586,189955,190978,191259,191569,191774,192450,193303,195873,196068,197257,198330,199273,199367,200757,200989,204352,204362,205571,205628,206402,207695,207892,210504,210849,211524,212091,212721,212770,213081,213205,213705,215155,223892,224028,224215,224475,224986,225029,225152,225483,227210,227324,228817,229276,229604,229845,229873,230238,230579,230908,231156,231979,233403,235296,237529,238419,240419,240455,240476,241606,241621,241995,242238,242654,242732,243767,245292,245930,246225,246393,248080,249087,250407,250974,251336,252373,252571,253262,253536,254510,255181,255431,255583,256257,258263,258733,259153,259953,260103,261632,261668,263537,265790,266292,267701,267973,268151,269152,269244,269965,270018,270160,270303,271703,272258,272800,273914,274873,275215,276527,279877,280645,281398,281774,285237,285549,285877,287520,289727,290268,292182,293529,294847,295078,296372,298653,299231,299679,299800,303481,304916,306059,308101,310227,311699,311708,312783,312841,315581,317114,317565,318342,320477,320935,321763,323499,324138,324690,324922,324959,324967,325219,325458,327079,328705,329768,329976,331350,332134,332231,333511,333791,335240,335875,336038,336473,338037,338748,341645,341925,342636,343466,344769,345514,346070,347357,347466,349435,349468,349604,352168,352671,354556,354642,355883,356164,356848,358566,359450,360729,361724,362908,363117,363134,364124,364253,364818,369525,372698,373694,375371,375874,377461,378104,378182,378349,380003,382684,385045,386007,387638,389226,389588,391529,391912,392263,392531,392856,393029,393961,394169,395154,397075,398968,399515,405914,409389,414217,414315,414450,415937,416596,417378,417442,417755,419045,419721,420722,423477,424922,425874,426831,426855,427523,428690,429012,429399,429570,430759,430770,430781,430851,431017,432812,433648,434699,435202,436398,437047,438763,443353,447103,448890,448942,450915,451943,451953,455040,456958,457499,458967,459041,460040,461414,461898,461902,462838,463234,465930,466018,466310,467759,468076,468183,469121,469681,470153,470304,472159,475654,476592,477113,477616,478548,478816,479646,480839,481162,481349,482071,484975,485174,485179,487438,487832,489467,490288,490613,493415,497038,498207,498966,499328,499742,500012,500459,501668,501806,502031,506305,507190,508404,508578,509161,509613,510214,510327,511229,511851,513152,513473,513726,513820,515446,515485,516321,516814,517703,519299,519935,520094,520316,521676,524477,526565,526679,528771,529395,531473,532636,533535,533737,533794,533853,534253,536650,536697,537515,537588,539053,540214,540727,540983,542632,542755,544328,544631,546440,546807,549839,549985,551327,551953,552598,552696,553188,554161,554195,554583,558665,562252,562584,562967,564101,564769,567130,567206,567270,567836,568659,568873,569452,569931,570392,571016,572051,573535,573703,578584,580966,586372,588444,589393,590628,591136,591497,592216,593422,593935,594142,596178,597622,598105,601064,601787,602535,603037,604927,605370,607097,608735,608862,610538,611848,612709,615300,615365,615410,615866,617232,618061,619020,619989,620486,620985,621647,622953,623265,624319,625036,625313,627066,628952,630031,630135,630748,631153,633842,634239,635709,636329,637754,638203,638218,641844,643246,645636,645941,647950,649025,650488,650643,652755,653149,655478,655762,655797,656693,658216,659218,659432,661004,662053,662176,662189,664160,665197,666722,667762,668907,669827,669999,670517,670576,671013,671635,671899,673305,675436,676321,676396,678557,679329,680459,681756,682666,682723,684624,684695,685660,686178,686250,686489,688220,689206,690569,693721,696996,697401,697447,697475,698359,698456,700948,701500,702279,702638,702857,702919,703222,703273,704636,705431,705745,706104,707902,709632,709884,710528,711318,712388,712671,712867,713236,713579,714442,714649,715496,716623,717060,719507,720175,720498,721291,721483,721560,724084,725647,727312,728001,728221,728341,729042,729831,729838,730490,730502,731319,731539,731705,736171,736423,737891,738574,738987,739623,744186,744333,744348,744762,745164,745246,745921,747276,747570,748668,748722,749542,750465,752367,753989,754941,755031,755302,755514,759322,759422,760383,761058,763205,764063,764490,765576,766866,766871,768095,768376,768522,768895,769145,772947,774544,775231,775613,775965,777379,777792,778585,778836,779094,779570,780236,780486,781015,784089,787702,789987,790485,792030,793156,794284,795918,799965,800697,803417,805448,805580,814149,814346,814583,819582,819728,821011,821135,821191,821927,824375,826688,827447,829095,829817,830299,831888,832090,834206,835054,837192,838402,838533,842254,843562,844117,844742,845083,846998,856253,858652,860480,860992,861218,861232,861385,862565,862626,865238,866156,869941,869971,870989,871829,874093,876573,876586,877727,878565,878940,879140,879234,879239,880422,881120,882573,882668,884817,885427,886498,887373,892037,892494,892606,892613,893859,895113,895234,896621,897305,897803,897864,898136,898406,899127,900942,901693,902322,903516,903520,904034,904791,905057,905070,905636,906968,909139,909177,910098,911850,913456,914246,915695,916922,917288,918734,919103,919680,919867,920891,921691,925821,926923,927958,928222,934602,934875,935659,938464,938627,943466,943814,943889,944548,944976,945887,946612,946998,948020,948243,951225,951846,952386,954259,954495,954822,956081,956358,956397,956897,958248,958485,961806,962527,963981,964610,966956,970729,975824,976863,977279,977783,978223,981016,982203,982569,983357,986104,986692,987837,987844,988071,988451,989902,990292,993252,993588,994918,995394,995481,995803,996206,996583,996757,997349,998127,998941,999606);

\echo B: one ID per target partition
SELECT count(*) AS matched_rows, count(DISTINCT tableoid) AS matched_partitions FROM prune_repro WHERE id IN (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,19,21,22,23,25,26,27,28,29,30,31,32,33,35,36,37,38,39,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,60,61,62,63,64,65,66,67,68,69,71,72,73,74,75,76,77,80,81,82,83,84,86,87,88,89,90,91,92,93,94,95,96,97,99,100,101,102,103,104,105,106,107,109,111,112,113,114,115,116,117,119,120,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,141,142,143,145,146,147,148,149,150,151,153,154,155,156,157,158,160,161,163,164,165,167,168,169,170,172,175,176,178,180,181,182,185,186,187,188,190,191,192,193,194,195,196,197,198,199,200,201,203,204,205,206,207,208,209,211,213,214,215,216,217,218,219,220,221,223,224,225,227,229,231,233,234,235,236,237,238,240,241,242,243,244,245,248,249,251,252,253,254,257,258,259,260,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,279,280,281,284,285,286,288,289,290,293,297,299,300,301,302,304,305,306,307,308,309,310,312,314,315,316,318,319,321,322,324,326,327,329,330,331,332,333,336,337,339,340,341,344,346,347,350,351,352,353,354,355,357,359,360,361,362,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,400,405,406,407,408,410,411,412,413,414,415,416,417,418,420,421,422,423,424,426,427,428,429,431,432,436,437,440,441,443,446,450,451,453,454,455,456,458,459,460,461,462,464,466,468,469,470,475,476,478,480,481,484,485,487,488,489,490,491,493,494,495,496,499,500,501,503,505,506,507,508,509,510,512,513,514,516,518,519,520,523,524,528,530,531,532,533,534,536,539,540,542,543,544,546,547,549,550,551,553,554,555,556,557,558,561,564,565,566,570,571,573,576,578,579,580,581,582,583,585,586,587,589,590,591,592,593,595,596,597,598,600,603,604,605,608,609,610,612,615,618,619,621,622,624,629,630,632,637,639,640,641,642,643,644,645,646,648,649,651,652,655,659,666,669,670,673,674,675,676,679,681,688,689,690,691,694,696,698,701,703,704,707,708,709,711,714,715,717,720,726,727,729,731,734,737,738,739,740,742,745,747,749,750,752,757,759,760,761,762,765,766,767,769,770,771,773,774,775,777,780,783,786,789,792,795,797,798,804,807,808,812,816,817,818,822,824,825,831,834,835,837,838,839,840,845,848,851,853,856,861,865,868,869,873,874,878,879,890,893,895,899,905,906,907,908,909,910,911,913,914,915,919,920,923,931,933,935,938,947,949,950,954,956,960,961,967,969,970,972,976,981,984,985,988,992,994,999,1000,1003,1008,1009,1012,1013,1015,1016,1024,1027,1028,1029,1030,1034,1035,1037,1038,1047,1048,1052,1053,1054,1055,1056,1057,1058,1067,1068,1070,1073,1077,1082,1084,1086,1089,1091,1092,1093,1095,1098,1103,1111,1116,1121,1123,1125,1126,1127,1128,1130,1131,1137,1146,1148,1149,1152,1154,1160,1161,1164,1165,1170,1176,1177,1178,1182,1200,1204,1205,1206,1211,1212,1221,1222,1227,1230,1231,1233,1234,1236,1244,1245,1247,1251,1266,1270,1271,1273,1279,1281,1282,1287,1288,1292,1303,1306,1308,1309,1310,1315,1316,1317,1320,1322,1324,1328,1330,1337,1338,1341,1345,1351,1352,1359,1367,1370,1371,1377,1385,1387,1389,1395,1397,1404,1413,1414,1419,1420,1421,1424,1430,1435,1440,1441,1446,1447,1453,1455,1460,1475,1478,1479,1480,1485,1488,1489,1492,1497,1498,1499,1500,1501,1503,1506,1507,1511,1520,1522,1523,1524,1529,1531,1535,1543,1544,1556,1557,1562,1567,1569,1570,1571,1582,1585,1586,1589,1590,1593,1600,1603,1612,1613,1620,1621,1626,1630,1636,1639,1642,1644,1656,1669,1671,1682,1686,1697,1699,1700,1713,1731,1732,1734,1740,1741,1753,1755,1772,1774,1778,1779,1786,1790,1792,1793,1795,1797,1799,1804,1806,1817,1824,1830,1831,1835,1838,1849,1854,1862,1871,1872,1873,1875,1885,1887,1903,1907,1908,1922,1926,1927,1932,1936,1948,1950,1952,1968,1989,1990,2001,2004,2014,2016,2036,2040,2047,2053,2060,2063,2067,2070,2076,2079,2092,2101,2104,2109,2128,2144,2165,2176,2189,2195,2197,2207,2217,2225,2231,2237,2240,2248,2277,2286,2303,2308,2324,2332,2337,2342,2350,2357,2368,2376,2377,2394,2399,2414,2417,2428,2439,2452,2461,2471,2472,2481,2502,2503,2528,2537,2538,2545,2547,2558,2581,2591,2599,2612,2614,2625,2626,2634,2643,2646,2647,2696,2735,2742,2747,2752,2787,2796,2800,2836,2845,2860,2868,2874,2881,2911,2939,3036,3045,3047,3075,3083,3096,3097,3101,3106,3110,3120,3128,3233,3250,3261,3307,3320,3337,3440,3474,3522,3590,3751,3764,3830,4041,4214,4315,4335,4358,4397,4406,4418,4658,4669,4765,4860,4904,4939,5002,5097,5227);

EXPLAIN (ANALYZE, BUFFERS, TIMING OFF) SELECT count(*) FROM prune_repro WHERE id IN (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,19,21,22,23,25,26,27,28,29,30,31,32,33,35,36,37,38,39,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,60,61,62,63,64,65,66,67,68,69,71,72,73,74,75,76,77,80,81,82,83,84,86,87,88,89,90,91,92,93,94,95,96,97,99,100,101,102,103,104,105,106,107,109,111,112,113,114,115,116,117,119,120,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,141,142,143,145,146,147,148,149,150,151,153,154,155,156,157,158,160,161,163,164,165,167,168,169,170,172,175,176,178,180,181,182,185,186,187,188,190,191,192,193,194,195,196,197,198,199,200,201,203,204,205,206,207,208,209,211,213,214,215,216,217,218,219,220,221,223,224,225,227,229,231,233,234,235,236,237,238,240,241,242,243,244,245,248,249,251,252,253,254,257,258,259,260,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,279,280,281,284,285,286,288,289,290,293,297,299,300,301,302,304,305,306,307,308,309,310,312,314,315,316,318,319,321,322,324,326,327,329,330,331,332,333,336,337,339,340,341,344,346,347,350,351,352,353,354,355,357,359,360,361,362,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,400,405,406,407,408,410,411,412,413,414,415,416,417,418,420,421,422,423,424,426,427,428,429,431,432,436,437,440,441,443,446,450,451,453,454,455,456,458,459,460,461,462,464,466,468,469,470,475,476,478,480,481,484,485,487,488,489,490,491,493,494,495,496,499,500,501,503,505,506,507,508,509,510,512,513,514,516,518,519,520,523,524,528,530,531,532,533,534,536,539,540,542,543,544,546,547,549,550,551,553,554,555,556,557,558,561,564,565,566,570,571,573,576,578,579,580,581,582,583,585,586,587,589,590,591,592,593,595,596,597,598,600,603,604,605,608,609,610,612,615,618,619,621,622,624,629,630,632,637,639,640,641,642,643,644,645,646,648,649,651,652,655,659,666,669,670,673,674,675,676,679,681,688,689,690,691,694,696,698,701,703,704,707,708,709,711,714,715,717,720,726,727,729,731,734,737,738,739,740,742,745,747,749,750,752,757,759,760,761,762,765,766,767,769,770,771,773,774,775,777,780,783,786,789,792,795,797,798,804,807,808,812,816,817,818,822,824,825,831,834,835,837,838,839,840,845,848,851,853,856,861,865,868,869,873,874,878,879,890,893,895,899,905,906,907,908,909,910,911,913,914,915,919,920,923,931,933,935,938,947,949,950,954,956,960,961,967,969,970,972,976,981,984,985,988,992,994,999,1000,1003,1008,1009,1012,1013,1015,1016,1024,1027,1028,1029,1030,1034,1035,1037,1038,1047,1048,1052,1053,1054,1055,1056,1057,1058,1067,1068,1070,1073,1077,1082,1084,1086,1089,1091,1092,1093,1095,1098,1103,1111,1116,1121,1123,1125,1126,1127,1128,1130,1131,1137,1146,1148,1149,1152,1154,1160,1161,1164,1165,1170,1176,1177,1178,1182,1200,1204,1205,1206,1211,1212,1221,1222,1227,1230,1231,1233,1234,1236,1244,1245,1247,1251,1266,1270,1271,1273,1279,1281,1282,1287,1288,1292,1303,1306,1308,1309,1310,1315,1316,1317,1320,1322,1324,1328,1330,1337,1338,1341,1345,1351,1352,1359,1367,1370,1371,1377,1385,1387,1389,1395,1397,1404,1413,1414,1419,1420,1421,1424,1430,1435,1440,1441,1446,1447,1453,1455,1460,1475,1478,1479,1480,1485,1488,1489,1492,1497,1498,1499,1500,1501,1503,1506,1507,1511,1520,1522,1523,1524,1529,1531,1535,1543,1544,1556,1557,1562,1567,1569,1570,1571,1582,1585,1586,1589,1590,1593,1600,1603,1612,1613,1620,1621,1626,1630,1636,1639,1642,1644,1656,1669,1671,1682,1686,1697,1699,1700,1713,1731,1732,1734,1740,1741,1753,1755,1772,1774,1778,1779,1786,1790,1792,1793,1795,1797,1799,1804,1806,1817,1824,1830,1831,1835,1838,1849,1854,1862,1871,1872,1873,1875,1885,1887,1903,1907,1908,1922,1926,1927,1932,1936,1948,1950,1952,1968,1989,1990,2001,2004,2014,2016,2036,2040,2047,2053,2060,2063,2067,2070,2076,2079,2092,2101,2104,2109,2128,2144,2165,2176,2189,2195,2197,2207,2217,2225,2231,2237,2240,2248,2277,2286,2303,2308,2324,2332,2337,2342,2350,2357,2368,2376,2377,2394,2399,2414,2417,2428,2439,2452,2461,2471,2472,2481,2502,2503,2528,2537,2538,2545,2547,2558,2581,2591,2599,2612,2614,2625,2626,2634,2643,2646,2647,2696,2735,2742,2747,2752,2787,2796,2800,2836,2845,2860,2868,2874,2881,2911,2939,3036,3045,3047,3075,3083,3096,3097,3101,3106,3110,3120,3128,3233,3250,3261,3307,3320,3337,3440,3474,3522,3590,3751,3764,3830,4041,4214,4315,4335,4358,4397,4406,4418,4658,4669,4765,4860,4904,4939,5002,5097,5227);